@Dolfin: 7460 2836 7570 6133 7340 669 6521 6860 7751 2184 6923 246 1121 6519 1490 6180 1770 6928 3127 1329 6337 2658 4300 5869 5935 7075 4162 3563 5082 3442 2390 4177 786 1970 680 6228 2872 4142 484 6372 6110 6447 5854 3292 297 612 3361 7303 6051 6921 7109 3571 3944 4975 6782 1928 2661 348 3068 6070 214 2676 6514 137 3713 166 7181 3020 7276 7650 3263 6058 2742 6701 2731 6080 5069 5586 2725 6481 5266 2183 7495 2662 4596 5371 5534 3821 723 3959 6436 885 1740 1900 3654 4410 1114 2451 5270 55 , 0 successes) = 0
100d7777=7777 = ( 