@Dolfin: 5965 2728 6736 2579 5006 4466 4911 7350 212 978 1149 4078 4717 4481 3869 6214 4236 7145 6662 1205 535 3899 6152 4613 5860 3218 1713 375 1040 6634 6559 1221 5780 3192 4537 4682 7458 5011 1695 6890 793 2447 5726 7569 3275 7238 1408 3890 3493 3310 2010 5170 2136 726 4109 2443 5509 304 6654 7269 1280 1802 888 6147 2125 6845 1440 4650 3069 5200 7239 4670 6443 7269 6472 1315 4898 2855 3875 2056 4410 1249 5253 1126 474 1384 1586 4890 3820 6534 733 5671 3694 1631 6629 6786 2286 548 6135 5894 , 0 successes) = 0
100d7777=7777 = ( 