@Dolfin: 3362 1320 3322 1898 3302 5898 2929 1587 6470 3267 3423 6631 6185 218 3369 6582 5569 3130 662 2668 4847 4035 4866 871 2008 4234 7035 6192 811 4296 4942 2728 2871 1546 5514 4197 2217 5205 1050 7299 4294 4676 3586 1811 1806 4117 43 2537 631 128 5520 7605 7213 6832 2966 5917 1061 2604 3144 4743 7760 7222 1316 4736 6342 1693 3369 5581 1582 493 658 629 1612 4513 2090 2693 2580 6285 6121 3607 3018 6539 2831 3694 5339 472 1767 6616 1949 702 6999 4324 497 1818 3850 6864 4602 6083 3786 7032 , 0 successes) = 0
100d7777=7777 = ( 