@Dolfin: 5860 3573 4341 1461 5852 2796 7450 7121 1313 1475 2994 4983 4755 1842 3289 4372 1113 4666 901 2822 5646 6692 6745 881 7344 766 2741 2031 1893 4633 2202 7222 7279 2089 6036 3239 7691 1142 188 5932 916 1910 2247 5518 1137 1885 1440 4245 1239 6289 6955 4695 2599 3874 2361 7364 1725 5334 2939 1875 2686 3828 5740 3735 778 6057 6290 30 5261 1818 947 4429 3216 4554 4854 929 964 8 4096 2458 4712 3402 3764 642 2893 988 5554 33 1955 5702 1914 6673 2047 7500 6982 6771 2374 5765 2810 1895 , 0 successes) = 0
100d7777=7777 = ( 