@Dolfin: 566 , 0 successes) = 0
d1000d7777=7777 = (
d1000d7777=7777 = ( 100d7777=7777 = ( d100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( d7777 = (3125) = 3125100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( d7777 = (2649) = 2649100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( d7777 = (7538) = 7538100d7777=7777 = ( 100d7777=7777 = ( d7777 = (54) = 54100d7777=7777 = ( d7777 = (1917) = 1917100d7777=7777 = ( 100d7777=7777 = ( 100d7777=7777 = ( d7777 = (6453) = 6453100d7777=7777 = ( 100d7777=7777 = ( d7777 = (1435) = 1435d777 = (23) = 23