@Dolfin: 1928 6268 5138 332 5376 2300 4491 2581 6451 1567 4961 6562 7279 5026 4653 6633 7315 5685 2212 7168 1711 3233 3784 3219 7448 2679 5363 6635 7148 5537 5705 565 3530 4066 1412 2924 6679 1896 7061 1235 3488 4214 3899 6148 2311 4811 5465 2590 3804 3279 4868 7088 749 5279 5672 6552 3580 1939 3572 1450 7194 2774 7572 4922 4616 6158 4150 427 7015 1214 5739 4814 2270 6628 1017 3161 6133 4810 6695 1076 378 6398 6667 2164 2737 7161 4698 6644 5381 698 3694 3145 1044 1229 1341 3742 3925 5673 7661 2037 , 0 successes) = 0
100d7777=7777 = ( 