@Dolfin: 84 4399 7133 5085 6147 6070 5847 6802 1247 3730 5785 6798 3095 2873 6411 2612 931 728 2445 6110 524 3255 5 3847 1700 5212 7229 6543 1056 1301 7581 5440 209 6236 2876 7517 6082 2594 4058 2531 3530 6929 2701 4752 4980 413 1771 329 5831 6191 2216 898 4377 2681 5898 4698 4679 4151 3590 4454 5741 979 5503 3352 3805 4633 4516 7475 3390 1810 5106 1910 1848 100 2293 5655 3803 1010 4821 5276 1794 3749 2539 4155 6508 7594 1698 1112 488 452 2580 142 2429 4617 4894 6236 7386 5931 883 1434 , 0 successes) = 0
100d7777=7777 = ( 