@Dolfin: 2976 6893 3811 2346 15 407 5679 4770 4967 2560 1781 5094 937 6169 1906 6853 6149 5463 2799 5273 108 5382 7611 7672 7453 4436 3307 1561 5172 4367 2994 4478 1024 2008 5882 4876 1440 6288 6265 2017 1340 452 875 4255 3389 3372 4730 5914 6079 5995 4619 554 938 2943 7103 2097 2899 7111 6364 6788 5154 5699 1732 6111 2719 2546 7367 5072 3111 4375 6953 181 1092 1573 7277 5814 5302 5339 2407 1406 2324 4642 7350 2412 5497 1046 5607 1342 1976 4249 4083 2568 2262 3003 5948 6733 6038 1546 7237 5515 , 0 successes) = 0
100d7777=7777 = ( 