@Dolfin: 7055 4913 1881 2756 5887 2022 4219 4744 17 5569 6136 4641 2541 1511 5634 7404 5365 6439 3172 725 2923 4267 2454 7631 7127 5889 6248 3481 6114 2863 5504 3665 3874 2127 5492 3312 3723 2999 3750 1868 3539 2570 2949 3125 5415 2521 5092 1602 436 1573 1834 5369 5117 7628 6427 5282 2148 750 817 4700 7358 3291 6788 3638 1280 3184 6552 6039 1146 2105 1707 2786 1760 5555 6392 835 6759 3977 3420 2676 2073 5300 1744 2367 5299 3402 1303 1528 2400 607 7488 1605 371 3259 1481 7212 941 3951 5830 5278 , 0 successes) = 0
100d7777=7777 = ( 