@Dolfin: 3836 6090 2190 7487 1475 5137 6774 4040 5267 2084 4823 900 6417 6771 5572 3406 2047 6796 2338 2360 5053 4316 7246 616 1513 2209 1558 1489 2765 1547 6874 1686 75 2154 5120 7044 3310 6219 5247 1568 7569 4792 7029 686 7634 2673 348 3777 1378 555 2490 4592 7711 2780 935 6905 2169 3420 1391 1337 2832 5335 6069 1903 3898 4823 792 7076 1718 6056 3319 4897 6927 562 1151 100 3382 5167 6028 2711 7288 288 7724 5397 1794 6021 1558 201 2374 4446 2321 3821 2565 4981 51 2607 6049 1213 2985 1224 , 0 successes) = 0
100d7777=7777 = ( 