@Dolfin: 5235 2838 2533 2525 2424 3647 7304 3680 3402 2005 274 6153 5454 7680 2523 1746 812 7159 4316 6305 3820 2293 6924 2991 5330 651 851 5576 3778 2898 4352 7145 361 2837 7628 861 6745 6497 3093 1352 7223 4766 3139 2243 3196 4918 6341 7384 3497 6198 2709 4537 633 6639 7211 2028 1690 5628 7731 2540 6118 1306 3358 1001 3583 7173 1397 282 5781 2770 893 5490 5172 6432 2574 1174 1121 1058 173 7499 413 3559 6838 5591 3960 6319 5674 4037 3532 5985 1351 1916 3307 1848 6910 1158 7390 7081 7542 7773 , 0 successes) = 0
100d7777=7777 = ( 