4898 233 0.6664 4.6524 ((20 . 1) (23 . 3) (27 . 7) (28 . 8)) 291 0.6658 6.4852 ((20 . 1) (23 . 3) (27 . 6) (28 . 7)) 349 0.6647 7.8761 ((22 . 2) (23 . 3) (27 . 5) (28 . 7)) 388 0.6517 13.3182 ((19 . 18) (20 . 19) (23 . 21) (27 . 22)) 402 0.6595 11.0026 ((19 . 2) (22 . 5) (27 . 9) (28 . 10)) 403 0.7340 3.9673 ((19 . 11) (20 . 12) (22 . 14) (23 . 15) (27 . 20) (28 . 21)) 404 0.6593 11.0811 ((20 . 22) (23 . 25) (27 . 30) (28 . 31)) 405 0.9959 5.7419 ((19 . 31) (20 . 32) (22 . 34) (23 . 35) (27 . 39) (28 . 40)) 445 0.1996 9.6349 ((20 . 1) (23 . 3) (27 . 5) (28 . 6)) 450 0.6607 10.4857 ((22 . 13) (23 . 15) (27 . 18) (28 . 19)) 564 0.6614 10.1716 ((22 . 1) (23 . 2) (27 . 5) (28 . 7)) 565 0.6665 4.0255 ((20 . 12) (23 . 14) (27 . 17) (28 . 18)) 567 0.6631 9.2131 ((22 . 1) (23 . 2) (27 . 3) (28 . 5)) 568 0.6638 8.7378 ((22 . 12) (23 . 13) (27 . 15) (28 . 16)) 571 0.3948 5.9155 ((19 . 12) (20 . 13) (23 . 15) (27 . 16) (28 . 17)) 578 0.6641 8.4932 ((22 . 1) (23 . 2) (27 . 3) (28 . 4)) 579 0.6647 7.8969 ((22 . 9) (23 . 10) (27 . 12) (28 . 13)) 599 0.6649 7.7614 ((20 . 2) (23 . 4) (27 . 5) (28 . 7)) 600 0.2969 8.7687 ((20 . 13) (22 . 14) (23 . 15) (27 . 16)) 626 0.2969 9.7461 ((20 . 3) (22 . 4) (23 . 5) (28 . 8)) 668 0.2994 6.5873 ((19 . 1) (20 . 2) (22 . 4) (23 . 5) (27 . 11) (28 . 10)) 670 0.6667 1.6238 ((20 . 24) (22 . 26) (23 . 27) (27 . 30)) 671 0.9901 7.1838 ((19 . 31) (20 . 32) (22 . 34) (23 . 35) (27 . 40) (28 . 41)) 693 0.3875 10.7717 ((20 . 33) (22 . 34) (23 . 35) (27 . 36)) 695 0.6652 7.3563 ((20 . 1) (23 . 4) (27 . 5) (28 . 7)) 696 0.6666 3.2520 ((20 . 11) (23 . 13) (27 . 17) (28 . 19)) 697 0.6655 6.9086 ((20 . 21) (22 . 22) (23 . 23) (28 . 27)) 698 0.6654 7.1388 ((22 . 34) (23 . 36) (27 . 39) (28 . 40)) 828 0.6664 4.6808 ((20 . 7) (23 . 9) (27 . 12) (28 . 13)) 888 0.6662 5.5996 ((20 . 13) (23 . 15) (27 . 20) (28 . 21)) 919 0.6651 7.4771 ((22 . 3) (23 . 4) (27 . 5) (28 . 6)) 922 0.6648 7.8648 ((22 . 2) (23 . 3) (27 . 5) (28 . 7)) 926 0.6634 9.0092 ((19 . 4) (23 . 9) (27 . 11) (28 . 12)) 927 0.6595 11.0035 ((19 . 15) (20 . 17) (23 . 19) (27 . 20)) 1025 0.6650 7.5917 ((22 . 1) (23 . 3) (27 . 4) (28 . 5)) 1086 0.6658 6.3581 ((20 . 6) (23 . 8) (27 . 10) (28 . 12)) 1110 0.6629 9.3142 ((22 . 10) (23 . 11) (27 . 13) (28 . 14)) 1112 0.2486 13.8587 ((19 . 8) (20 . 9) (22 . 10) (23 . 11)) 1126 0.6606 10.5261 ((19 . 3) (20 . 4) (27 . 9) (28 . 10)) 1127 0.6658 6.3971 ((20 . 13) (23 . 16) (27 . 17) (28 . 19)) 1149 0.6643 8.2738 ((22 . 1) (23 . 2) (27 . 3) (28 . 4)) 1164 0.6605 10.5982 ((19 . 2) (23 . 7) (27 . 9) (28 . 10)) 1181 0.6656 6.7268 ((22 . 8) (23 . 9) (27 . 11) (28 . 13)) 1235 0.8309 6.3405 ((20 . 2) (22 . 3) (23 . 4) (27 . 9) (28 . 10)) 1236 0.6659 6.2473 ((20 . 11) (23 . 15) (27 . 21) (28 . 23)) 1270 0.6667 1.8711 ((20 . 34) (23 . 36) (27 . 39) (28 . 40)) 1293 0.6650 7.6513 ((20 . 3) (23 . 5) (27 . 9) (28 . 10)) 1294 0.6629 9.3406 ((22 . 39) (23 . 40) (27 . 41) (28 . 43)) 1295 0.6657 6.6722 ((22 . 48) (23 . 49) (27 . 50) (28 . 51)) 1341 0.6635 8.9389 ((19 . 5) (22 . 8) (23 . 9) (27 . 12)) 1342 0.6649 7.7458 ((22 . 17) (23 . 19) (27 . 22) (28 . 23)) 1363 0.6666 3.4268 ((20 . 1) (23 . 3) (27 . 7) (28 . 8)) 1374 0.6664 4.6203 ((20 . 2) (23 . 4) (27 . 8) (28 . 9)) 1375 0.6648 7.7690 ((20 . 11) (23 . 14) (27 . 18) (28 . 19)) 1390 0.8289 7.3389 ((20 . 2) (22 . 3) (23 . 4) (27 . 8) (28 . 9)) 1391 0.1499 10.3438 ((20 . 14) (23 . 16) (27 . 18) (28 . 17)) 1392 0.6663 5.2049 ((20 . 20) (23 . 22) (27 . 25) (28 . 26)) 1418 0.6654 7.0639 ((20 . 1) (23 . 3) (27 . 6) (28 . 7)) 1419 0.6656 6.7305 ((20 . 10) (23 . 12) (27 . 13) (28 . 15)) 1445 0.6598 10.8811 ((20 . 3) (23 . 6) (27 . 10) (28 . 12)) 1446 0.6597 10.9257 ((20 . 19) (22 . 20) (23 . 22) (27 . 24)) 1555 0.6667 2.2804 ((20 . 1) (23 . 3) (27 . 8) (28 . 9)) 1566 0.6513 13.4089 ((19 . 5) (20 . 6) (23 . 10) (27 . 12)) 1568 0.3877 9.4155 ((20 . 4) (22 . 5) (23 . 6) (27 . 7)) 1569 0.6638 8.7103 ((22 . 1) (23 . 2) (27 . 3) (28 . 4)) 1570 0.3877 9.4127 ((20 . 12) (22 . 13) (23 . 14) (27 . 16)) 1572 0.1996 11.0935 ((20 . 1) (23 . 3) (27 . 5) (28 . 6)) 1573 0.3877 9.9895 ((20 . 12) (22 . 13) (23 . 14) (27 . 16)) 1579 0.6519 13.2837 ((19 . 6) (20 . 8) (23 . 12) (27 . 14)) 1580 0.6619 9.8953 ((22 . 3) (23 . 4) (27 . 6) (28 . 7)) 1600 0.0999 11.4963 ((19 . 3) (20 . 4) (27 . 8) (28 . 9)) 1601 0.6627 9.4814 ((22 . 10) (23 . 11) (27 . 12) (28 . 15)) 1660 0.6638 8.7363 ((22 . 1) (23 . 2) (27 . 3) (28 . 4)) 1661 0.6642 8.4032 ((22 . 11) (23 . 12) (27 . 14) (28 . 15)) 1666 0.6653 7.2337 ((20 . 3) (23 . 5) (27 . 7) (28 . 8)) 1667 0.6648 7.8101 ((22 . 41) (23 . 42) (27 . 44) (28 . 45)) 1668 0.6638 8.7013 ((22 . 46) (23 . 48) (27 . 50) (28 . 51)) 1688 0.3974 5.4481 ((19 . 1) (20 . 2) (22 . 3) (23 . 4) (27 . 9) (28 . 10)) 1722 0.6638 8.7301 ((20 . 3) (22 . 4) (23 . 6) (27 . 7)) 1723 0.6652 7.3908 ((20 . 18) (22 . 19) (23 . 20) (27 . 21)) 1826 0.2487 10.8643 ((19 . 6) (20 . 7) (22 . 8) (23 . 9)) 1827 0.6640 8.5755 ((22 . 13) (23 . 14) (27 . 16) (28 . 18)) 1828 0.2487 10.9246 ((19 . 26) (20 . 27) (22 . 28) (23 . 29)) 1864 0.4923 6.2051 ((19 . 1) (20 . 2) (22 . 3) (23 . 4) (27 . 9) (28 . 10)) 1928 0.6500 13.7116 ((19 . 3) (20 . 4) (27 . 9) (28 . 11)) 1938 0.6647 7.9538 ((20 . 5) (22 . 6) (23 . 8) (27 . 9)) 1939 0.2969 9.9769 ((20 . 11) (22 . 12) (23 . 15) (27 . 16)) 2009 0.6567 11.9754 ((20 . 5) (22 . 7) (23 . 8) (27 . 9)) 2022 0.2969 9.2217 ((19 . 16) (20 . 19) (23 . 22) (27 . 24)) 2061 0.2969 11.3573 ((20 . 1) (22 . 3) (23 . 5) (28 . 8)) 2110 0.6652 7.3081 ((19 . 21) (23 . 24) (27 . 28) (28 . 29)) 2165 0.6662 5.5635 ((19 . 25) (23 . 29) (27 . 30) (28 . 31)) 2186 0.2969 9.2078 ((19 . 9) (20 . 11) (23 . 13) (27 . 14)) 2188 0.6602 10.7289 ((22 . 10) (23 . 11) (27 . 14) (28 . 15)) 2191 0.0999 12.9565 ((19 . 1) (20 . 2) (27 . 7) (28 . 8)) 2221 0.6636 8.8730 ((22 . 1) (23 . 2) (27 . 4) (28 . 5)) 2246 0.6646 8.0354 ((22 . 2) (23 . 3) (27 . 7) (28 . 8)) 2318 0.1996 9.6994 ((19 . 3) (23 . 8) (27 . 10) (28 . 12)) 2319 0.6553 12.3847 ((19 . 17) (20 . 18) (23 . 21) (27 . 22)) 2320 0.6648 7.8720 ((22 . 2) (23 . 3) (27 . 5) (28 . 7)) 2321 0.6622 9.7692 ((20 . 14) (23 . 18) (27 . 20) (28 . 22)) 2338 0.6543 12.6690 ((19 . 14) (20 . 15) (27 . 21) (28 . 22)) 2365 0.6667 2.2066 ((20 . 2) (23 . 6) (27 . 11) (28 . 12)) 2428 0.6662 5.4553 ((22 . 4) (23 . 5) (27 . 6) (28 . 8)) 2441 0.6647 7.9176 ((22 . 1) (23 . 2) (27 . 5) (28 . 6)) 2442 0.3877 9.8749 ((20 . 15) (22 . 16) (23 . 17) (27 . 19)) 2444 0.6627 9.4779 ((19 . 4) (22 . 7) (23 . 8) (27 . 9)) 2445 0.6629 9.3337 ((22 . 11) (23 . 12) (27 . 14) (28 . 15)) 2473 0.1996 8.1691 ((19 . 6) (22 . 9) (23 . 10) (27 . 11)) 2507 0.6665 4.2865 ((20 . 3) (22 . 5) (23 . 6) (28 . 13)) 2508 0.6634 8.9792 ((20 . 16) (22 . 17) (23 . 19) (28 . 24)) 2531 0.3877 9.7305 ((20 . 4) (22 . 7) (23 . 8) (27 . 9)) 2534 0.6580 11.5664 ((19 . 19) (22 . 22) (23 . 23) (27 . 25)) 2577 0.6639 8.6242 ((22 . 2) (23 . 3) (27 . 5) (28 . 6)) 2578 0.6635 8.9329 ((22 . 12) (23 . 13) (27 . 15) (28 . 17)) 2579 0.6657 6.6701 ((22 . 23) (23 . 24) (27 . 25) (28 . 27)) 2641 0.6608 10.4636 ((19 . 5) (22 . 8) (23 . 9) (27 . 10)) 2686 0.6652 7.3312 ((20 . 2) (23 . 4) (27 . 7) (28 . 9)) 2728 0.6638 8.7139 ((22 . 6) (23 . 7) (27 . 9) (28 . 10)) 2767 0.6665 4.2556 ((20 . 1) (23 . 3) (27 . 6) (28 . 7)) 2812 0.8197 9.8032 ((20 . 1) (22 . 2) (23 . 3) (27 . 6) (28 . 7)) 2813 0.6653 7.2166 ((22 . 9) (23 . 10) (27 . 13) (28 . 14)) 2877 0.6601 10.7661 ((22 . 2) (23 . 3) (27 . 6) (28 . 7)) 2880 0.6655 6.8890 ((20 . 2) (23 . 4) (27 . 5) (28 . 7)) 2987 0.6652 7.3446 ((22 . 26) (23 . 27) (27 . 30) (28 . 31)) 3099 0.6628 9.4157 ((22 . 23) (23 . 24) (27 . 25) (28 . 26)) 3101 0.6616 10.0535 ((20 . 50) (22 . 51) (23 . 52) (28 . 55)) 3159 0.6584 11.4203 ((19 . 55) (22 . 59) (23 . 60) (27 . 61)) 3185 0.1996 11.2208 ((20 . 14) (23 . 16) (27 . 21) (28 . 23)) 3186 0.6621 9.7995 ((19 . 3) (22 . 7) (23 . 8) (27 . 9)) 3205 0.6652 7.3303 ((20 . 1) (23 . 3) (27 . 6) (28 . 8)) 3292 0.6644 8.2583 ((22 . 2) (23 . 3) (27 . 5) (28 . 7)) 3342 0.6651 7.4780 ((22 . 2) (23 . 3) (27 . 4) (28 . 6)) 3357 0.3879 7.6373 ((20 . 4) (22 . 5) (23 . 6) (27 . 7)) 3378 0.6639 8.6405 ((20 . 33) (22 . 34) (23 . 35) (28 . 39)) 3417 0.6652 7.4080 ((22 . 4) (23 . 6) (27 . 7) (28 . 8)) 3430 0.1996 10.7483 ((19 . 6) (22 . 8) (23 . 9) (27 . 10)) 3431 0.6542 12.6989 ((19 . 5) (20 . 6) (22 . 7) (23 . 8)) 3443 0.6645 8.1321 ((20 . 2) (23 . 4) (27 . 6) (28 . 7)) 3444 0.6658 6.5278 ((22 . 42) (23 . 43) (27 . 45) (28 . 46)) 3445 0.6646 7.9952 ((22 . 47) (23 . 48) (27 . 49) (28 . 50)) 3472 0.2969 9.6677 ((20 . 2) (23 . 4) (27 . 6) (28 . 9)) 3478 0.6585 11.3742 ((20 . 2) (23 . 4) (27 . 5) (28 . 7)) 3507 0.8303 6.7072 ((20 . 32) (22 . 33) (23 . 34) (27 . 37) (28 . 38)) 3530 0.6637 8.7905 ((19 . 21) (23 . 24) (27 . 25) (28 . 27)) 3531 0.6614 10.1666 ((22 . 32) (23 . 33) (27 . 34) (28 . 35)) 3550 0.6616 10.0566 ((20 . 3) (23 . 6) (27 . 9) (28 . 10)) 3554 0.6614 10.1811 ((19 . 4) (22 . 8) (23 . 10) (27 . 11)) 3555 0.6614 10.1698 ((22 . 12) (23 . 14) (27 . 15) (28 . 17)) 3556 0.6581 11.5324 ((20 . 1) (23 . 2) (27 . 5) (28 . 7)) 3655 0.6652 7.3393 ((19 . 29) (23 . 31) (27 . 32) (28 . 34)) 3667 0.6658 6.3973 ((22 . 2) (23 . 3) (27 . 4) (28 . 6)) 3690 0.6649 7.6885 ((19 . 2) (20 . 4) (23 . 6) (28 . 11)) 3700 0.6640 8.5228 ((22 . 13) (23 . 14) (27 . 16) (28 . 17)) 3762 0.6624 9.6361 ((19 . 3) (22 . 5) (23 . 6) (27 . 7)) 3791 0.6630 9.2451 ((19 . 45) (23 . 48) (27 . 50) (28 . 52)) 3792 0.3877 10.0373 ((20 . 59) (22 . 60) (23 . 61) (27 . 62)) 3794 0.2969 11.0256 ((20 . 23) (22 . 24) (23 . 26) (28 . 30)) 3876 0.6631 9.1805 ((19 . 4) (22 . 6) (23 . 7) (27 . 8)) 3948 0.6591 11.1397 ((20 . 1) (22 . 3) (23 . 5) (27 . 6)) 3949 0.6566 12.0170 ((19 . 17) (20 . 19) (23 . 22) (27 . 24)) 3950 0.6652 7.3145 ((22 . 2) (23 . 3) (27 . 4) (28 . 5)) 3951 0.0999 12.3504 ((19 . 15) (20 . 16) (27 . 21) (28 . 22)) 4079 0.3869 13.5394 ((19 . 1) (20 . 3) (23 . 5) (28 . 8)) 4109 0.6634 9.0380 ((20 . 1) (22 . 2) (23 . 3) (28 . 7)) 4110 0.6647 7.8746 ((22 . 9) (23 . 10) (27 . 11) (28 . 12)) 4111 0.6636 8.8445 ((22 . 17) (23 . 18) (27 . 19) (28 . 20)) 4145 0.6665 4.2128 ((20 . 1) (23 . 3) (27 . 7) (28 . 9)) 4178 0.6654 7.1237 ((22 . 6) (23 . 7) (27 . 9) (28 . 10)) 4197 0.1996 8.4583 ((19 . 2) (23 . 7) (27 . 8) (28 . 10)) 4199 0.6609 10.3892 ((20 . 4) (22 . 5) (23 . 6) (27 . 7)) 4219 0.6603 10.6622 ((20 . 4) (23 . 6) (27 . 8) (28 . 9)) 4221 0.1996 10.4550 ((20 . 2) (23 . 5) (27 . 7) (28 . 8)) 4224 0.1499 10.3439 ((20 . 2) (23 . 4) (27 . 6) (28 . 8)) 4230 0.6531 12.9925 ((19 . 1) (20 . 3) (23 . 5) (27 . 6)) 4286 0.6638 8.7520 ((22 . 3) (23 . 4) (27 . 6) (28 . 9)) 4289 0.3874 11.5311 ((20 . 5) (22 . 7) (23 . 9) (27 . 10)) 4290 0.6623 9.7025 ((19 . 10) (23 . 14) (27 . 17) (28 . 18)) 4349 0.6645 8.0866 ((22 . 2) (23 . 3) (27 . 5) (28 . 7)) 4464 0.6583 11.4657 ((22 . 2) (23 . 3) (27 . 7) (28 . 9)) 4512 0.6648 7.7755 ((19 . 2) (23 . 7) (27 . 8) (28 . 9)) 4525 0.3877 9.6377 ((20 . 24) (22 . 26) (23 . 28) (27 . 29)) 4526 0.6608 10.4475 ((19 . 32) (22 . 34) (23 . 35) (27 . 36)) 4581 0.6481 14.1219 ((19 . 1) (20 . 2) (22 . 3) (23 . 4)) 4584 0.6633 9.0960 ((22 . 2) (23 . 3) (27 . 6) (28 . 8)) 4637 0.6571 11.8569 ((20 . 1) (23 . 3) (27 . 5) (28 . 7)) 4639 0.6649 7.6823 ((19 . 2) (23 . 8) (27 . 9) (28 . 10)) 4640 0.6647 7.9351 ((22 . 16) (23 . 17) (27 . 23) (28 . 24)) 4687 0.6655 6.8881 ((20 . 27) (23 . 30) (27 . 34) (28 . 35)) 4708 0.6667 1.8851 ((20 . 48) (23 . 50) (27 . 53) (28 . 54)) 4744 0.6613 10.2179 ((20 . 1) (22 . 2) (23 . 3) (28 . 6)) 4777 0.6596 10.9500 ((20 . 2) (22 . 4) (23 . 5) (28 . 7)) 4800 0.6631 9.2189 ((19 . 3) (23 . 5) (27 . 7) (28 . 8)) 4809 0.6623 9.6739 ((22 . 1) (23 . 2) (27 . 3) (28 . 4)) 4892 0.6661 5.8420 ((19 . 6) (22 . 7) (23 . 8) (27 . 9)) 4897 0.2969 9.1349 ((19 . 12) (20 . 13) (23 . 15) (28 . 19)) 4898 1.0000 0.0000 ((19 . 19) (20 . 20) (22 . 22) (23 . 23) (27 . 27) (28 . 28)) 4908 0.6653 7.2330 ((20 . 2) (22 . 3) (23 . 4) (28 . 8)) 4923 0.6632 9.1683 ((19 . 15) (20 . 16) (23 . 18) (28 . 20)) 4951 0.1499 9.5899 ((20 . 49) (23 . 51) (27 . 55) (28 . 56)) 4967 0.6652 7.3420 ((22 . 24) (23 . 25) (27 . 28) (28 . 29)) 4968 0.6618 9.9424 ((19 . 37) (22 . 40) (23 . 42) (27 . 43)) 5040 0.6579 11.6020 ((20 . 1) (22 . 3) (23 . 4) (27 . 5)) 5043 0.6659 6.3496 ((20 . 4) (23 . 6) (27 . 7) (28 . 9)) 5166 0.6587 11.3038 ((19 . 4) (23 . 6) (27 . 7) (28 . 8)) 5246 0.6558 12.2516 ((19 . 8) (20 . 9) (23 . 12) (27 . 14)) 5281 0.6624 9.6111 ((20 . 65) (22 . 66) (23 . 67) (27 . 69)) 5310 0.6654 7.1414 ((20 . 3) (22 . 4) (23 . 5) (28 . 10)) 5311 0.6653 7.2333 ((20 . 16) (23 . 18) (27 . 20) (28 . 22)) 5316 0.1996 8.8956 ((19 . 3) (23 . 8) (27 . 10) (28 . 12)) 5320 0.6647 7.9339 ((22 . 9) (23 . 10) (27 . 11) (28 . 12)) 5342 0.8299 6.9146 ((19 . 45) (22 . 47) (23 . 48) (27 . 52) (28 . 54)) 5413 0.6659 6.2100 ((22 . 7) (23 . 8) (27 . 10) (28 . 11)) 5431 0.6599 10.8251 ((20 . 1) (22 . 2) (23 . 3) (28 . 6)) 5497 0.2969 10.9469 ((19 . 20) (20 . 21) (27 . 25) (28 . 26)) 5552 0.6656 6.7428 ((19 . 9) (22 . 11) (23 . 12) (27 . 13)) 5615 0.6639 8.6367 ((22 . 28) (23 . 29) (27 . 30) (28 . 32)) 5633 0.2968 12.7687 ((19 . 3) (20 . 5) (23 . 8) (27 . 10)) 5634 0.6654 7.0739 ((20 . 12) (23 . 14) (27 . 18) (28 . 19)) 5682 0.6621 9.8244 ((22 . 1) (23 . 3) (27 . 4) (28 . 5)) 5683 0.6641 8.4594 ((20 . 2) (22 . 3) (23 . 4) (28 . 8)) 5733 0.6620 9.8819 ((22 . 12) (23 . 14) (27 . 15) (28 . 17)) 5835 0.6622 9.7264 ((19 . 37) (23 . 41) (27 . 42) (28 . 44)) 5863 0.6656 6.8656 ((20 . 30) (23 . 33) (27 . 38) (28 . 39)) 5899 0.6605 10.5730 ((20 . 1) (22 . 2) (23 . 3) (28 . 6)) 5916 0.6576 11.7008 ((20 . 3) (22 . 4) (23 . 5) (27 . 8)) 5974 0.6663 5.1182 ((20 . 3) (23 . 5) (27 . 10) (28 . 12)) 5988 0.3877 9.8118 ((20 . 4) (22 . 6) (23 . 7) (27 . 8)) 5989 0.6647 7.9333 ((22 . 1) (23 . 2) (27 . 4) (28 . 5)) 6012 0.6659 6.2765 ((20 . 48) (23 . 51) (27 . 54) (28 . 55)) 6013 0.6606 10.5223 ((19 . 56) (23 . 57) (27 . 58) (28 . 59)) 6037 0.6642 8.3517 ((19 . 3) (23 . 6) (27 . 7) (28 . 8)) 6105 0.6592 11.1356 ((22 . 3) (23 . 4) (27 . 6) (28 . 7)) 6124 0.6625 9.5826 ((22 . 8) (23 . 9) (27 . 10) (28 . 12)) 6126 0.6609 10.4004 ((22 . 10) (23 . 11) (27 . 15) (28 . 16)) 6206 0.6645 8.1198 ((20 . 2) (22 . 3) (23 . 4) (28 . 8)) 6207 0.6648 7.8015 ((22 . 10) (23 . 12) (27 . 14) (28 . 15)) 6285 0.6652 7.3233 ((20 . 3) (23 . 5) (27 . 7) (28 . 8)) 6287 0.6628 9.4207 ((22 . 38) (23 . 39) (27 . 40) (28 . 41)) 6288 0.6641 8.4735 ((22 . 46) (23 . 47) (27 . 48) (28 . 49)) 6334 0.6667 1.5507 ((20 . 2) (23 . 4) (27 . 8) (28 . 9)) 6379 0.8273 7.9614 ((20 . 2) (22 . 3) (23 . 4) (27 . 7) (28 . 8)) 6380 0.6646 8.0299 ((22 . 9) (23 . 11) (27 . 13) (28 . 14)) 6443 0.6627 9.4887 ((22 . 1) (23 . 3) (27 . 4) (28 . 5)) 6444 0.6618 9.9872 ((22 . 14) (23 . 15) (27 . 16) (28 . 17)) 6445 0.6659 6.3524 ((20 . 2) (22 . 3) (23 . 4) (27 . 8)) 6446 0.6550 12.4876 ((20 . 12) (23 . 16) (27 . 19) (28 . 20)) 6449 0.6610 10.3749 ((20 . 4) (22 . 5) (23 . 6) (27 . 8)) 6466 0.3877 9.4855 ((20 . 4) (22 . 5) (23 . 7) (27 . 8)) 6467 0.6645 8.0757 ((20 . 10) (22 . 12) (27 . 16) (28 . 17)) 6485 0.6645 8.0891 ((22 . 6) (23 . 7) (27 . 9) (28 . 10)) 6570 0.2969 9.6413 ((19 . 17) (20 . 19) (23 . 22) (27 . 23)) 6612 0.6609 10.4061 ((19 . 4) (22 . 7) (23 . 8) (27 . 9)) END