@Dolfin: 2717 7179 4666 6415 822 5189 1065 4887 1578 5201 6636 5004 7403 1461 6027 7321 3391 60 6629 5552 1442 3406 1421 5075 4877 3379 1557 5170 438 7673 797 7724 614 7570 4951 3858 1333 6148 1912 3536 6391 5703 963 7102 4747 1612 850 7690 744 2533 7768 639 3864 7091 214 6007 1728 2574 907 5564 6304 6357 343 1621 4645 4946 2597 4092 5418 5990 6486 5441 4912 1384 6042 2279 4171 2584 6383 6321 2598 1240 543 6560 1919 7485 4917 4677 3694 4784 7446 5663 498 4600 618 4114 1151 1822 827 3489 , 0 successes) = 0
100d7777=7777 = ( 