@Dolfin: 5640 495 5519 4893 4073 3957 7691 3611 2649 4559 914 2637 7562 6897 6687 1312 3636 4588 5694 1812 3773 2567 4857 1207 4188 2927 2541 164 5703 7162 3487 6126 156 4483 7389 3984 2385 6911 3803 657 7049 2022 2045 4808 475 808 358 34 4810 2415 1454 5712 6330 3650 2123 4298 3636 6404 4905 2910 113 262 889 1439 501 6827 1856 1689 7750 7038 756 5872 5490 4799 1912 5157 6562 1189 326 6786 7513 4456 5908 5438 2935 6243 7774 2887 5562 293 201 5042 4992 5702 4949 5851 2275 6212 7450 3091 , 0 successes) = 0
100d7777=7777 = ( 