@Dolfin: 2236 3780 5530 6735 3864 1754 186 2661 787 2363 5900 5191 7085 3137 7086 1171 711 7032 4412 5328 4824 4426 4472 1057 5393 6862 1310 398 6077 7000 1589 7278 587 1646 5545 100 1786 4447 4024 31 7742 1847 2796 6145 4273 7317 2142 7372 3652 5028 1903 199 3485 1549 5449 5606 2619 5298 3883 2443 5937 5281 6221 5217 5613 4621 5172 998 3628 4322 6865 4948 2188 556 998 2143 4854 5293 5953 3688 5943 3971 1781 4540 6280 6260 3761 6510 1062 4327 227 6514 5229 4168 3265 2084 256 1409 4596 418 , 0 successes) = 0
100d7777=7777 = ( 