@Dolfin: 5030 471 3468 3286 4858 3041 6183 3671 7654 3037 389 7259 1591 6587 4339 528 5686 6727 7307 2131 7604 4833 1374 2691 5303 2475 2429 3194 5075 5477 2032 2976 1181 5768 7546 6441 64 2155 6694 822 1687 5736 6101 7186 4204 135 2546 2880 7656 5272 3555 3777 6175 5787 2161 1298 2206 122 5845 4805 6616 1155 5339 7514 6198 638 4444 340 753 1889 656 6694 2651 455 6900 3635 3137 2640 1078 6659 6819 491 6471 2990 4481 3155 7738 7302 3467 2143 425 3626 3340 177 3889 1302 3208 4044 6969 4314 , 0 successes) = 0
100d7777=7777 = ( 