@Dolfin: 1348 2555 7353 1493 4538 2387 6995 4060 2877 4057 5137 2641 7503 7208 1536 5777 2735 5240 2422 5267 824 6391 7533 3393 2144 261 1277 3385 1328 1878 449 1200 582 7468 4506 2091 5105 5841 5758 2853 2913 3271 2094 4535 1605 4875 865 6526 4540 155 3249 3103 5717 6622 228 1073 6064 6651 2965 5964 6846 2340 3397 5258 3368 6337 4171 7066 2944 4767 4495 7137 7481 996 159 6679 6138 3199 2769 2698 1366 7775 1161 6037 3270 5474 5078 7009 4336 6788 3143 4554 4193 1171 5706 321 3368 7623 6402 4227 , 0 successes) = 0
100d7777=7777 = ( 