@Dolfin: 6695 63 6476 1619 112 2338 3495 361 4837 2839 3504 5833 5527 2695 1301 1028 3704 5742 7452 5894 3416 6604 6958 4892 7403 4526 3801 3505 7246 2776 4423 3328 6104 6870 5102 6323 3753 5758 6381 1732 2677 4185 2403 2792 5993 5002 6519 3646 3245 6676 1076 3979 721 7608 3249 6714 3952 3627 625 5199 5974 4600 3662 976 5982 600 5250 4204 7519 187 7003 2552 679 4820 1 4385 3933 5149 1168 613 7692 1787 5184 7323 4487 937 1287 6812 4069 6574 2304 4246 1764 6312 6062 800 6658 1564 5425 6323 , 0 successes) = 0
100d7777=7777 = ( 