@Dolfin: 6387 6881 6970 1547 7575 4730 3082 7760 1303 1617 2438 4693 7050 6338 5349 997 2596 809 3252 5102 4839 3322 6622 2896 7736 7326 7118 4853 6709 3626 1807 6874 5807 921 3780 410 1624 6381 2452 4841 7377 7629 5379 903 4655 1120 1485 6242 5389 5347 2777 1578 3953 4684 7750 3801 7051 5553 1502 4480 38 2463 57 7705 6292 2728 6596 4615 5441 3919 3161 3189 4646 1683 1353 5325 7627 5784 348 4251 1046 5505 2644 1127 1112 7220 1410 2452 2195 2451 4827 5672 3703 7439 2784 6221 1510 5854 5308 5175 , 0 successes) = 0
100d7777=7777 = ( 