@Dolfin: 2 , 0 successes) = 0
d100d7777=7777 = (
d100d7777=7777 = ( 100d7777=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 = (