@Dolfin: 1509 4460 4580 4028 323 7016 7692 1795 3023 6248 5907 3909 3254 2097 4003 450 7021 2420 6655 7183 16 5818 2817 2902 348 3945 5758 3474 3382 4658 1466 6587 2047 4165 4664 3268 4749 38 3678 4082 7056 7093 7007 6548 4216 3509 1014 5023 6901 7594 4215 2403 5118 6395 5737 502 2065 484 756 3275 4372 2045 1932 2932 6358 5902 4365 2412 3215 3370 355 3923 6962 7130 1075 4537 3541 4850 3860 6147 6581 5775 2375 3407 3740 3965 6882 6291 408 4350 5587 6107 4997 54 6752 2734 482 343 1095 7284 , 0 successes) = 0
100d7777=7777 = ( 