@Dolfin: 1755 6830 6120 7304 4197 2528 5094 7421 7173 2111 5707 3513 2779 979 6064 6039 7113 5900 1132 3675 3635 6932 7338 1844 3341 4060 2808 5623 1662 211 6123 7416 5158 1921 4893 7715 927 6470 6908 187 766 425 5995 1516 2911 4474 2662 3958 2084 3708 3893 4710 1224 2174 5310 806 919 2357 3982 2928 5586 3120 3723 5503 1594 4049 3197 1536 2505 5732 5686 4444 2237 5268 105 6131 4146 1223 1511 5890 3718 2264 1309 1450 3464 4485 2753 3464 6922 6099 2892 3562 1561 1421 5132 5207 1460 5967 1932 1246 , 0 successes) = 0
100d7777=7777 = ( 