@Dolfin: 1255 3872 5877 6885 5447 6893 3473 7678 2153 1548 7505 175 7690 5756 5117 6430 5378 5401 1940 5553 1556 7204 5632 2724 378 2958 2379 5601 3248 1239 3095 2277 2513 7432 5843 4436 6817 5838 3771 2344 1340 6588 3505 434 1268 1395 557 2671 5808 88 4556 6614 3680 4929 6214 5777 1323 6522 3562 1185 4190 4057 4021 5572 617 6439 1566 806 275 2634 4241 1466 6029 1066 4258 3347 5623 6483 6854 3131 4632 6318 5901 2938 4441 4664 2082 5807 7053 3186 5409 4153 1672 5241 3963 3628 2719 3688 3232 1087 , 0 successes) = 0
100d7777=7777 = ( 