@Dolfin: 4812 790 5664 4723 386 5822 609 7210 7578 3160 4650 3864 5727 3805 2597 7591 6152 1419 3294 6553 1234 2018 4127 4059 7004 3448 3007 1676 5 5496 6745 1960 6656 3869 5532 2893 5716 1411 4576 6409 871 5541 5886 5478 6980 1905 3389 1978 2552 7105 5521 6166 5684 6157 5176 5492 7461 5507 7696 2470 5908 7671 4307 6343 1424 7366 134 7199 5855 3780 6565 1773 1475 5179 2187 5306 1223 1740 6218 3831 6739 4539 7479 3433 3900 627 2362 3167 1662 1470 5639 7749 1035 1839 2933 5225 1608 4586 2691 3506 , 0 successes) = 0
100d7777=7777 = ( 