@Dolfin: 4379 6190 2513 6192 882 4578 3989 6946 1451 5312 5604 7174 6589 75 6250 6731 2019 4729 77 5775 57 6410 5361 5604 4015 3091 6845 5847 7559 5068 5752 4098 4873 6152 6247 1902 7124 6536 4924 3232 710 7282 6961 4778 6256 5164 5758 7007 6153 5179 157 2762 2247 6223 7064 758 5767 3401 1621 5543 3985 3973 3738 3755 3862 2283 6903 6282 2841 2549 7132 2316 2689 5241 2444 2789 4407 1308 7231 932 689 107 5660 5874 5950 5454 163 7162 2468 6662 1628 5124 3672 6524 4918 2060 2397 2903 7433 3643 , 0 successes) = 0
100d7777=7777 = ( 