@heir: 1 8 7 8 13 8 9 10 4 11 14 20 9 20 11 1 3 9 2 12 7 , 1 success) = 1
20d20!=4=4 = (
20d20!=4=4 = ( d20!=4=4 = ( d20!=4 = (19) = 19d20!=4 = (13) = 13d20!=4 = (12) = 12d20!=4 = (11) = 11d20!=4 = (8) = 8d20!=4 = (8) = 8d20!=4 = (2) = 2d20!=4 = (6) = 6d20!=4 = (18) = 18d20!=4 = (17) = 17d20!=4 = (10) = 10d20!=4 = (19) = 19d20!=4 = (17) = 17d20!=4 = (16) = 16d20!=4 = (20) = 20d20!=4 = (3) = 3d20!=4 = (14) = 14d20!=4 = (2) = 2d20!=4 = (3) = 3d20!=4 = (11) = 11d20!=4 = (13) = 13d20!=4 = (1) = 1d20!=4 = (7) = 7d20!=4 = (6) = 6d20!=4 = (20) = 20d20!=4 = (6) = 6d20!=4 = (8) = 8d20!=4 = (18) = 18d20!=4 = (8) = 8d20!=4 = (20) = 20d20!=4 = (2) = 2d20!=4 = (3) = 3d20!=4 = (15) = 15d20!=4 = (13) = 13d20!=4 = (17) = 17d20!=4 = (17) = 17d20!=4 = (8) = 8d20!=4 = (12) = 12d20!=4 = (12) = 12