2544 25 0.5702 8.5373 ((19 . 9) (21 . 10) (22 . 11) (24 . 12)) 51 0.2945 10.1198 ((18 . 4) (20 . 9) (22 . 10) (23 . 11)) 91 0.5705 7.9229 ((19 . 14) (21 . 15) (22 . 16) (24 . 18)) 96 0.4453 7.7637 ((18 . 2) (20 . 4) (22 . 6) (23 . 5)) 136 0.5709 6.7616 ((18 . 2) (19 . 4) (21 . 6) (23 . 7)) 150 0.1498 8.0146 ((19 . 18) (22 . 20) (23 . 19) (24 . 21)) 155 0.4913 8.3523 ((18 . 4) (19 . 5) (20 . 6) (21 . 7)) 157 0.2477 13.1757 ((18 . 6) (20 . 10) (22 . 11) (24 . 12)) 161 0.4445 11.2929 ((19 . 1) (22 . 3) (23 . 4) (24 . 7)) 162 0.5707 7.3660 ((19 . 16) (22 . 17) (23 . 18) (24 . 19)) 207 0.5685 10.6450 ((18 . 14) (20 . 16) (22 . 18) (24 . 19)) 300 0.1993 6.9190 ((18 . 4) (19 . 5) (22 . 7) (23 . 8)) 305 0.2478 5.4528 ((19 . 8) (21 . 10) (22 . 11) (23 . 12)) 315 0.1498 8.7714 ((19 . 2) (22 . 6) (23 . 5) (24 . 7)) 329 0.5704 8.2090 ((19 . 1) (21 . 3) (22 . 5) (23 . 4)) 350 0.4453 7.5211 ((20 . 3) (22 . 5) (23 . 7) (24 . 9)) 361 0.5713 4.7715 ((18 . 6) (19 . 7) (20 . 8) (21 . 9)) 367 0.4449 9.7914 ((20 . 39) (21 . 41) (22 . 40) (23 . 42)) 433 0.4454 7.0538 ((18 . 2) (21 . 4) (22 . 5) (23 . 6)) 460 0.5701 8.6595 ((19 . 4) (22 . 6) (23 . 7) (24 . 9)) 472 0.1663 13.8626 ((18 . 28) (19 . 29) (21 . 33) (24 . 34)) 541 0.5709 6.9687 ((20 . 1) (22 . 2) (23 . 3) (24 . 4)) 543 0.4449 10.0015 ((20 . 7) (21 . 9) (22 . 8) (23 . 10)) 561 0.1992 8.9649 ((19 . 2) (22 . 4) (23 . 3) (24 . 5)) 584 0.2940 15.7667 ((18 . 6) (19 . 9) (22 . 10) (24 . 12)) 587 0.2477 8.2354 ((18 . 12) (22 . 15) (23 . 16) (24 . 17)) 619 0.5660 12.4099 ((18 . 10) (20 . 14) (22 . 15) (24 . 17)) 624 0.3790 6.6200 ((18 . 12) (21 . 14) (22 . 15) (23 . 16)) 672 0.2477 9.0942 ((18 . 17) (19 . 19) (22 . 22) (23 . 23)) 678 0.5703 8.2793 ((19 . 27) (20 . 28) (23 . 29) (24 . 30)) 729 0.5658 12.5295 ((18 . 8) (19 . 12) (22 . 13) (24 . 14)) 767 0.4454 6.0654 ((19 . 27) (22 . 31) (23 . 32) (24 . 33)) 782 0.5714 3.2030 ((18 . 2) (19 . 8) (20 . 9) (21 . 10)) 796 0.5690 10.1134 ((19 . 4) (22 . 6) (23 . 5) (24 . 7)) 818 0.4452 8.6701 ((18 . 3) (20 . 5) (22 . 7) (24 . 9)) 834 0.5713 4.4231 ((18 . 40) (19 . 42) (20 . 43) (21 . 44)) 861 0.2945 7.5486 ((18 . 11) (21 . 14) (22 . 15) (23 . 16)) 904 0.4916 6.2350 ((18 . 1) (19 . 4) (21 . 5) (23 . 6)) 913 0.5714 3.5718 ((18 . 15) (21 . 18) (23 . 20) (24 . 21)) 928 0.5643 13.3561 ((18 . 2) (19 . 4) (22 . 5) (24 . 6)) 937 0.3451 5.0726 ((20 . 2) (21 . 3) (22 . 4) (23 . 5) (24 . 6)) 943 0.2945 9.8978 ((18 . 5) (19 . 7) (22 . 9) (24 . 10)) 949 0.5693 9.8416 ((19 . 33) (20 . 36) (21 . 35) (24 . 37)) 960 0.5683 10.8352 ((18 . 31) (19 . 32) (20 . 33) (21 . 34)) 1007 0.3788 9.4955 ((18 . 5) (19 . 6) (22 . 7) (23 . 8)) 1008 0.1498 7.5092 ((19 . 1) (20 . 2) (22 . 3) (23 . 5)) 1034 0.4452 8.5367 ((20 . 19) (22 . 20) (23 . 21) (24 . 23)) 1043 0.4455 4.3437 ((18 . 9) (22 . 12) (23 . 14) (24 . 15)) 1082 0.4454 6.9504 ((18 . 25) (19 . 26) (20 . 27) (24 . 28)) 1084 0.2244 7.5975 ((18 . 6) (19 . 21) (20 . 4) (22 . 17) (23 . 18)) 1124 0.5712 5.4587 ((18 . 11) (20 . 13) (21 . 14) (24 . 15)) 1165 0.4916 6.4597 ((18 . 13) (20 . 15) (21 . 16) (24 . 17)) 1167 0.2477 11.4031 ((19 . 24) (20 . 25) (22 . 27) (24 . 28)) 1201 0.5666 12.0776 ((18 . 5) (21 . 10) (22 . 12) (23 . 11)) 1211 0.4453 7.8062 ((19 . 1) (22 . 4) (23 . 5) (24 . 6)) 1217 0.4446 10.9282 ((18 . 2) (20 . 8) (22 . 9) (23 . 11)) 1224 0.4917 5.2466 ((19 . 11) (21 . 13) (22 . 14) (23 . 15)) 1233 0.5690 10.1184 ((18 . 19) (19 . 21) (22 . 24) (23 . 23)) 1267 0.4451 9.0920 ((18 . 16) (20 . 18) (21 . 20) (22 . 21)) 1268 0.5701 8.7031 ((19 . 12) (20 . 14) (21 . 15) (24 . 16)) 1301 0.5691 9.9955 ((18 . 2) (19 . 3) (22 . 5) (24 . 6)) 1345 0.5709 7.0047 ((19 . 10) (20 . 11) (22 . 12) (23 . 13)) 1388 0.4453 7.2687 ((19 . 2) (21 . 3) (23 . 4) (24 . 6)) 1464 0.4913 8.2960 ((21 . 9) (22 . 8) (23 . 10) (24 . 12)) 1470 0.1992 10.6982 ((18 . 8) (19 . 9) (21 . 10) (24 . 11)) 1472 0.2478 7.3154 ((18 . 5) (20 . 9) (21 . 10) (24 . 11)) 1476 0.1992 13.5907 ((18 . 13) (19 . 16) (22 . 18) (24 . 19)) 1497 0.3790 7.3251 ((18 . 12) (19 . 15) (20 . 16) (21 . 17)) 1508 0.4917 5.6499 ((18 . 1) (19 . 3) (21 . 4) (23 . 5)) 1513 0.3790 5.5158 ((18 . 1) (22 . 6) (23 . 8) (24 . 9)) 1514 0.1664 4.8225 ((21 . 2) (22 . 3) (23 . 4) (24 . 5)) 1591 0.5703 8.4225 ((19 . 15) (21 . 17) (22 . 16) (24 . 18)) 1595 0.8568 3.7586 ((18 . 3) (19 . 4) (21 . 6) (22 . 7) (23 . 8) (24 . 9)) 1604 0.5714 3.9067 ((18 . 13) (19 . 14) (21 . 15) (24 . 16)) 1622 0.3789 7.7382 ((18 . 19) (19 . 21) (22 . 22) (23 . 23)) 1643 0.4907 10.0170 ((20 . 19) (21 . 21) (22 . 22) (23 . 23)) 1690 0.1992 12.4008 ((18 . 22) (19 . 23) (22 . 25) (24 . 26)) 1692 0.5709 6.9073 ((18 . 2) (19 . 4) (22 . 7) (23 . 6)) 1736 0.5699 8.9578 ((18 . 2) (20 . 4) (22 . 5) (24 . 6)) 1738 0.2945 8.3097 ((20 . 15) (22 . 17) (23 . 18) (24 . 20)) 1747 0.3788 9.6881 ((18 . 20) (19 . 22) (20 . 23) (23 . 25)) 1763 0.5705 8.0049 ((19 . 1) (20 . 2) (22 . 3) (24 . 4)) 1778 0.1992 8.7057 ((18 . 6) (20 . 10) (21 . 11) (23 . 12)) 1793 0.1992 9.2437 ((18 . 15) (19 . 16) (21 . 17) (24 . 18)) 1796 0.1992 11.5326 ((18 . 2) (20 . 3) (21 . 4) (24 . 5)) 1805 0.3790 5.5128 ((19 . 13) (22 . 16) (23 . 17) (24 . 18)) 1808 0.2477 7.6531 ((18 . 1) (21 . 7) (22 . 8) (23 . 9)) 1867 0.5710 6.6517 ((19 . 2) (21 . 4) (22 . 7) (23 . 6)) 1894 0.1664 6.1269 ((19 . 8) (20 . 9) (22 . 11) (23 . 12)) 1896 0.5686 10.5270 ((19 . 10) (21 . 12) (23 . 14) (24 . 13)) 1908 0.3789 8.0709 ((18 . 6) (21 . 8) (22 . 7) (24 . 9)) 1909 0.4452 8.2013 ((18 . 30) (20 . 32) (22 . 34) (24 . 36)) 1944 0.5647 13.1404 ((18 . 6) (19 . 8) (22 . 9) (24 . 12)) 1957 0.1993 8.3978 ((19 . 14) (21 . 16) (22 . 15) (24 . 18)) 1961 0.2478 6.7868 ((19 . 12) (21 . 13) (22 . 14) (23 . 15)) 1967 0.3790 6.9327 ((19 . 9) (22 . 13) (23 . 14) (24 . 15)) 1987 0.5714 4.1564 ((18 . 12) (20 . 13) (21 . 14) (24 . 15)) 1992 0.3789 8.4379 ((18 . 8) (19 . 10) (22 . 12) (23 . 14)) 2003 0.4445 11.1168 ((19 . 1) (20 . 2) (22 . 5) (23 . 7)) 2006 0.3789 8.7368 ((21 . 23) (22 . 22) (23 . 24) (24 . 27)) 2048 0.3790 7.4982 ((19 . 14) (20 . 15) (22 . 16) (23 . 17)) 2054 0.3789 7.9943 ((19 . 7) (20 . 9) (21 . 10) (24 . 12)) 2065 0.5699 9.0222 ((18 . 15) (21 . 20) (22 . 22) (23 . 23)) 2067 0.5714 4.0674 ((19 . 56) (21 . 58) (22 . 59) (23 . 60)) 2072 0.4454 7.1591 ((18 . 3) (22 . 7) (23 . 6) (24 . 8)) 2081 0.4449 9.8500 ((18 . 18) (22 . 21) (23 . 23) (24 . 24)) 2114 0.1498 9.3809 ((18 . 30) (21 . 35) (22 . 34) (23 . 36)) 2117 0.5706 7.6917 ((20 . 19) (22 . 20) (23 . 22) (24 . 24)) 2118 0.4916 6.6160 ((18 . 8) (19 . 9) (21 . 10) (22 . 12)) 2122 0.5707 7.3664 ((18 . 11) (20 . 13) (22 . 14) (23 . 15)) 2166 0.5712 5.3852 ((21 . 2) (22 . 3) (23 . 4) (24 . 5)) 2179 0.1664 5.9124 ((19 . 3) (20 . 2) (22 . 5) (23 . 6)) 2248 0.2945 10.0639 ((18 . 23) (19 . 26) (22 . 27) (23 . 28)) 2249 0.2945 8.0281 ((18 . 14) (19 . 19) (22 . 21) (23 . 23)) 2269 0.2944 12.4496 ((19 . 3) (20 . 5) (22 . 6) (23 . 7)) 2279 0.5708 7.1246 ((18 . 12) (20 . 15) (22 . 19) (23 . 20)) 2298 0.5690 10.1345 ((18 . 9) (20 . 11) (22 . 12) (24 . 14)) 2340 0.7113 8.0515 ((19 . 10) (21 . 12) (22 . 14) (23 . 13) (24 . 15)) 2344 0.4451 9.1495 ((20 . 8) (22 . 10) (23 . 11) (24 . 12)) 2364 0.4916 6.6018 ((18 . 1) (22 . 4) (23 . 5) (24 . 6)) 2410 0.6570 2.8257 ((18 . 12) (19 . 14) (21 . 15) (22 . 16) (23 . 17)) 2423 0.3790 7.4005 ((19 . 23) (22 . 25) (23 . 26) (24 . 27)) 2440 0.5707 7.3997 ((19 . 5) (22 . 7) (23 . 8) (24 . 10)) 2447 0.5710 6.5949 ((19 . 19) (21 . 20) (22 . 21) (23 . 24)) 2510 0.5704 8.2544 ((18 . 24) (19 . 26) (20 . 28) (24 . 29)) 2525 0.5702 8.5103 ((19 . 44) (21 . 46) (23 . 47) (24 . 49)) 2529 0.5712 5.3709 ((19 . 2) (21 . 4) (22 . 6) (23 . 5)) 2533 0.5693 9.8030 ((18 . 5) (19 . 7) (22 . 9) (24 . 11)) 2544 1.0000 0.0000 ((18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24)) 2551 0.5708 7.2948 ((19 . 6) (20 . 7) (21 . 8) (24 . 10)) 2552 0.5704 8.1934 ((19 . 2) (21 . 4) (22 . 5) (24 . 6)) 2556 0.5709 7.0453 ((19 . 12) (21 . 15) (22 . 13) (24 . 17)) 2557 0.3790 6.1598 ((19 . 4) (20 . 5) (22 . 6) (24 . 8)) 2595 0.4439 12.4471 ((18 . 2) (19 . 5) (22 . 6) (24 . 7)) 2627 0.4451 8.7345 ((18 . 59) (19 . 61) (22 . 64) (23 . 65)) 2634 0.5707 7.3840 ((18 . 3) (19 . 5) (20 . 6) (24 . 8)) 2658 0.5711 6.0399 ((19 . 5) (20 . 6) (21 . 7) (24 . 8)) 2682 0.4450 9.5370 ((19 . 10) (22 . 13) (23 . 15) (24 . 16)) 2703 0.5710 6.5055 ((18 . 3) (19 . 4) (20 . 5) (21 . 6)) 2731 0.1664 9.0221 ((18 . 2) (19 . 3) (21 . 6) (22 . 5)) 2773 0.2945 6.8546 ((21 . 4) (22 . 5) (23 . 6) (24 . 7)) 2830 0.5623 14.2023 ((18 . 21) (19 . 22) (22 . 25) (23 . 26)) 2834 0.1498 8.7152 ((20 . 2) (22 . 3) (23 . 5) (24 . 7)) 2842 0.3788 9.1360 ((18 . 8) (21 . 10) (22 . 11) (24 . 12)) 2929 0.5714 2.7343 ((19 . 37) (21 . 38) (22 . 39) (23 . 40)) 2950 0.5662 12.3246 ((18 . 10) (19 . 11) (21 . 12) (24 . 13)) 2966 0.5703 8.4150 ((18 . 2) (21 . 7) (22 . 6) (23 . 8)) 2990 0.2946 4.7009 ((21 . 8) (22 . 9) (23 . 12) (24 . 13)) 2999 0.5714 4.2339 ((18 . 3) (21 . 5) (22 . 6) (23 . 7)) 3034 0.5668 11.9092 ((18 . 6) (19 . 8) (22 . 9) (24 . 11)) 3041 0.5712 5.4726 ((21 . 31) (22 . 32) (23 . 33) (24 . 34)) 3070 0.5713 4.2961 ((18 . 31) (21 . 34) (22 . 35) (23 . 36)) 3084 0.5669 11.8965 ((18 . 20) (19 . 22) (22 . 24) (24 . 25)) 3120 0.1664 5.0950 ((21 . 20) (22 . 21) (23 . 22) (24 . 23)) 3127 0.5646 13.1897 ((18 . 7) (19 . 9) (22 . 11) (24 . 14)) 3176 0.4453 7.7633 ((18 . 23) (22 . 26) (23 . 27) (24 . 30)) 3197 0.5636 13.6619 ((18 . 13) (19 . 15) (22 . 16) (24 . 17)) 3200 0.4454 6.0837 ((21 . 2) (22 . 3) (23 . 4) (24 . 5)) 3202 0.5683 10.8508 ((18 . 4) (19 . 5) (20 . 6) (24 . 7)) 3286 0.3790 5.7413 ((18 . 2) (22 . 4) (23 . 5) (24 . 6)) 3322 0.1498 6.3541 ((19 . 4) (21 . 6) (23 . 7) (24 . 8)) 3334 0.4453 7.5010 ((18 . 11) (19 . 12) (20 . 13) (22 . 15)) 3339 0.5710 6.4387 ((18 . 18) (20 . 20) (22 . 21) (23 . 22)) 3358 0.2945 9.0492 ((18 . 3) (20 . 5) (22 . 7) (24 . 9)) 3362 0.5714 3.5779 ((18 . 3) (21 . 9) (22 . 11) (23 . 10)) 3415 0.3790 7.4302 ((18 . 18) (19 . 20) (21 . 21) (24 . 22)) 3446 0.5711 6.0434 ((18 . 4) (19 . 7) (21 . 8) (24 . 9)) 3470 0.3788 9.7129 ((18 . 9) (19 . 10) (21 . 11) (24 . 12)) 3481 0.5705 7.8706 ((20 . 3) (21 . 5) (22 . 4) (23 . 7)) 3495 0.5704 8.1587 ((20 . 6) (22 . 7) (23 . 8) (24 . 9)) 3537 0.1992 9.4843 ((19 . 8) (22 . 10) (23 . 9) (24 . 11)) 3561 0.2945 9.0416 ((19 . 23) (20 . 25) (22 . 26) (24 . 27)) 3570 0.2945 6.6195 ((21 . 6) (22 . 7) (23 . 8) (24 . 9)) 3585 0.4450 9.5611 ((18 . 17) (19 . 18) (21 . 19) (24 . 21)) 3626 0.2477 9.6260 ((18 . 1) (19 . 5) (22 . 8) (23 . 11)) 3656 0.2945 9.6375 ((18 . 20) (20 . 21) (22 . 22) (23 . 23)) 3658 0.2477 12.6568 ((18 . 12) (19 . 13) (20 . 14) (24 . 16)) 3661 0.5709 6.8002 ((18 . 18) (19 . 21) (20 . 22) (22 . 23)) 3697 0.1498 8.6619 ((18 . 5) (21 . 8) (22 . 7) (24 . 9)) 3732 0.5706 7.7730 ((19 . 8) (21 . 10) (23 . 11) (24 . 13)) 3733 0.3788 9.9394 ((18 . 2) (19 . 4) (21 . 5) (22 . 6)) 3778 0.2477 7.8896 ((20 . 5) (22 . 6) (23 . 7) (24 . 8)) 3787 0.5708 7.2313 ((19 . 28) (21 . 30) (22 . 31) (24 . 32)) 3790 0.2945 7.6662 ((18 . 20) (19 . 23) (22 . 25) (23 . 26)) 3807 0.4451 9.1072 ((18 . 48) (20 . 49) (23 . 50) (24 . 51)) 3817 0.2944 11.7852 ((18 . 8) (22 . 10) (23 . 11) (24 . 12)) 3829 0.5713 4.9741 ((19 . 3) (21 . 4) (23 . 5) (24 . 6)) 3831 0.1993 5.1872 ((20 . 1) (22 . 2) (23 . 3) (24 . 4)) 3834 0.2945 8.5509 ((18 . 4) (19 . 5) (21 . 6) (24 . 7)) 3849 0.4913 8.0154 ((21 . 4) (22 . 3) (23 . 5) (24 . 7)) 3853 0.4451 9.0068 ((18 . 9) (21 . 11) (22 . 12) (24 . 13)) 3870 0.2477 10.6089 ((18 . 2) (19 . 4) (21 . 6) (24 . 7)) 3938 0.2477 11.3404 ((18 . 3) (19 . 5) (22 . 9) (23 . 8)) 3986 0.5712 5.3313 ((18 . 19) (20 . 20) (22 . 21) (23 . 25)) 4005 0.4454 7.0753 ((19 . 28) (21 . 31) (22 . 32) (23 . 33)) 4009 0.4907 10.0758 ((20 . 14) (21 . 16) (22 . 15) (24 . 17)) 4034 0.1498 10.2692 ((18 . 1) (19 . 3) (22 . 5) (23 . 6)) 4037 0.1664 10.9969 ((18 . 4) (20 . 6) (21 . 7) (24 . 8)) 4062 0.4916 6.6255 ((18 . 45) (21 . 47) (22 . 48) (23 . 49)) 4067 0.4434 13.3343 ((18 . 17) (19 . 19) (22 . 22) (24 . 23)) 4077 0.7089 9.3682 ((18 . 4) (19 . 6) (20 . 7) (21 . 8) (24 . 12)) 4082 0.7143 2.6111 ((18 . 2) (19 . 3) (21 . 4) (22 . 5) (23 . 6)) 4087 0.5709 6.9242 ((19 . 2) (21 . 4) (22 . 6) (23 . 5)) 4115 0.5714 3.2590 ((19 . 2) (20 . 4) (22 . 5) (24 . 9)) 4134 0.1992 9.9292 ((18 . 30) (19 . 31) (21 . 32) (24 . 33)) 4192 0.4450 9.2959 ((19 . 20) (20 . 21) (22 . 22) (23 . 23)) 4204 0.5696 9.3810 ((18 . 4) (19 . 6) (22 . 9) (24 . 10)) 4209 0.2478 7.3040 ((21 . 6) (22 . 5) (23 . 7) (24 . 11)) 4210 0.5711 6.1094 ((19 . 1) (21 . 3) (22 . 4) (23 . 5)) 4226 0.2478 7.3447 ((18 . 3) (20 . 5) (22 . 6) (23 . 8)) 4242 0.3790 6.9055 ((18 . 3) (19 . 5) (21 . 6) (24 . 8)) 4243 0.3787 10.1660 ((18 . 1) (19 . 2) (20 . 3) (24 . 5)) 4254 0.2945 8.7064 ((20 . 2) (22 . 4) (23 . 3) (24 . 5)) 4255 0.1498 10.3515 ((18 . 20) (19 . 22) (22 . 23) (23 . 24)) 4266 0.5711 6.1964 ((18 . 7) (20 . 9) (22 . 12) (23 . 11)) 4274 0.4454 6.9272 ((18 . 37) (19 . 39) (22 . 40) (23 . 41)) 4275 0.5695 9.5705 ((19 . 22) (20 . 24) (22 . 23) (24 . 26)) 4281 0.2477 7.7986 ((19 . 7) (21 . 9) (23 . 10) (24 . 11)) 4284 0.4453 7.5213 ((20 . 7) (22 . 8) (23 . 9) (24 . 11)) 4299 0.5705 7.8936 ((19 . 7) (21 . 8) (22 . 9) (24 . 10)) 4326 0.4895 12.0713 ((18 . 4) (19 . 5) (20 . 6) (22 . 7)) 4332 0.2945 7.3826 ((18 . 3) (19 . 5) (22 . 6) (24 . 8)) 4352 0.4915 7.0399 ((18 . 4) (22 . 9) (23 . 10) (24 . 11)) 4386 0.3789 8.0155 ((18 . 17) (22 . 18) (23 . 19) (24 . 20)) 4388 0.5713 4.3927 ((18 . 2) (21 . 4) (22 . 5) (23 . 6)) 4398 0.2477 8.9689 ((18 . 2) (21 . 5) (22 . 7) (23 . 6)) 4405 0.5704 8.1877 ((18 . 13) (19 . 17) (22 . 18) (23 . 19)) 4470 0.2945 8.6407 ((18 . 22) (19 . 23) (20 . 24) (23 . 25)) 4495 0.5697 9.2691 ((18 . 5) (21 . 7) (22 . 8) (24 . 9)) 4504 0.2945 7.4025 ((20 . 5) (22 . 6) (23 . 8) (24 . 10)) 4516 0.5706 7.7466 ((18 . 5) (21 . 9) (22 . 10) (24 . 11)) 4538 0.4451 8.9678 ((18 . 27) (19 . 29) (22 . 32) (24 . 36)) 4561 0.3787 10.2783 ((18 . 6) (21 . 8) (22 . 9) (24 . 11)) 4562 0.5690 10.1689 ((18 . 21) (20 . 23) (23 . 25) (24 . 26)) 4579 0.1992 9.2080 ((18 . 16) (19 . 21) (20 . 22) (21 . 23)) 4588 0.3790 7.1575 ((18 . 2) (19 . 4) (22 . 9) (23 . 8)) 4589 0.4454 6.6115 ((19 . 20) (20 . 21) (22 . 22) (23 . 23)) 4607 0.4446 11.0083 ((18 . 21) (19 . 23) (23 . 27) (24 . 28)) 4621 0.5711 6.2544 ((18 . 1) (20 . 2) (22 . 4) (23 . 3)) 4648 0.4916 6.5645 ((19 . 3) (21 . 7) (22 . 5) (23 . 8)) 4715 0.5702 8.4690 ((18 . 9) (19 . 10) (21 . 11) (24 . 13)) 4731 0.2945 8.9599 ((20 . 13) (21 . 15) (22 . 14) (24 . 16)) 4764 0.5705 7.9694 ((18 . 7) (19 . 8) (21 . 9) (24 . 10)) 4783 0.5681 10.9481 ((18 . 1) (19 . 2) (21 . 3) (24 . 6)) 4886 0.5685 10.6028 ((18 . 27) (20 . 28) (22 . 29) (23 . 30)) 4888 0.2477 8.4368 ((18 . 5) (19 . 6) (22 . 9) (24 . 11)) 4889 0.2477 8.7337 ((20 . 5) (22 . 6) (23 . 7) (24 . 8)) 4932 0.5712 5.6829 ((18 . 3) (20 . 7) (22 . 8) (24 . 9)) 4944 0.5697 9.2957 ((18 . 10) (19 . 12) (22 . 14) (23 . 13)) 4963 0.5709 6.7616 ((18 . 6) (19 . 7) (21 . 8) (24 . 9)) 4978 0.5699 9.0270 ((18 . 29) (19 . 31) (22 . 32) (24 . 33)) 4982 0.2476 15.0372 ((18 . 13) (20 . 15) (23 . 18) (24 . 19)) 4992 0.2945 8.2207 ((18 . 4) (19 . 7) (22 . 8) (23 . 9)) 4998 0.5675 11.4601 ((18 . 27) (19 . 28) (22 . 29) (24 . 30)) 5029 0.5710 6.4699 ((19 . 3) (21 . 5) (22 . 6) (24 . 7)) 5039 0.4446 10.9507 ((18 . 40) (19 . 43) (22 . 44) (23 . 45)) 5053 0.5709 6.7935 ((18 . 7) (19 . 8) (22 . 10) (23 . 11)) 5065 0.3790 6.3489 ((18 . 5) (22 . 9) (23 . 10) (24 . 12)) 5068 0.5706 7.8071 ((18 . 1) (21 . 3) (22 . 4) (24 . 6)) 5069 0.3788 9.3618 ((18 . 1) (22 . 4) (23 . 5) (24 . 6)) 5073 0.5713 5.1832 ((19 . 31) (22 . 32) (23 . 36) (24 . 35)) 5080 0.4453 7.5116 ((18 . 9) (19 . 11) (20 . 12) (21 . 13)) 5092 0.4454 6.7335 ((19 . 2) (20 . 3) (21 . 4) (24 . 5)) 5101 0.5709 7.0122 ((19 . 19) (21 . 20) (22 . 21) (24 . 22)) 5103 0.5664 12.2124 ((18 . 14) (19 . 16) (22 . 17) (24 . 18)) 5121 0.5709 7.0323 ((19 . 14) (22 . 16) (23 . 18) (24 . 23)) 5132 0.5704 8.1452 ((18 . 17) (19 . 19) (22 . 20) (24 . 21)) 5134 0.4454 5.9741 ((21 . 1) (22 . 2) (23 . 3) (24 . 5)) 5145 0.5685 10.6688 ((18 . 7) (19 . 9) (22 . 10) (24 . 11)) 5167 0.5701 8.7743 ((18 . 6) (19 . 7) (21 . 8) (22 . 9)) 5192 0.3788 9.0641 ((18 . 11) (19 . 13) (21 . 15) (24 . 16)) 5198 0.5694 9.6988 ((20 . 23) (22 . 19) (23 . 24) (24 . 27)) 5209 0.4442 11.9458 ((18 . 2) (19 . 6) (22 . 7) (23 . 8)) 5215 0.1498 7.5167 ((18 . 6) (19 . 8) (22 . 9) (23 . 10)) 5223 0.1992 9.7203 ((19 . 13) (20 . 14) (21 . 16) (24 . 18)) 5266 0.3790 4.5546 ((20 . 11) (21 . 12) (22 . 13) (23 . 15)) 5285 0.5709 6.8203 ((18 . 3) (19 . 4) (20 . 5) (24 . 6)) 5307 0.1993 4.2559 ((19 . 54) (22 . 58) (23 . 57) (24 . 59)) 5318 0.3789 8.2769 ((19 . 7) (21 . 9) (22 . 8) (24 . 10)) 5323 0.3790 3.6269 ((21 . 9) (22 . 10) (23 . 11) (24 . 12)) 5324 0.5712 5.7174 ((19 . 9) (21 . 11) (22 . 12) (24 . 13)) 5368 0.2477 9.1148 ((18 . 40) (19 . 44) (22 . 46) (23 . 47)) 5378 0.5706 7.7225 ((18 . 10) (20 . 13) (22 . 15) (23 . 16)) 5418 0.0999 8.9517 ((19 . 4) (22 . 7) (23 . 8) (24 . 10)) 5442 0.3787 10.0781 ((18 . 35) (19 . 36) (21 . 37) (24 . 38)) 5487 0.2941 15.0192 ((18 . 1) (19 . 3) (22 . 7) (24 . 8)) 5501 0.2477 11.1431 ((18 . 28) (20 . 29) (21 . 32) (24 . 34)) 5525 0.1992 9.9037 ((18 . 11) (19 . 12) (21 . 13) (24 . 14)) 5557 0.4915 7.0060 ((19 . 5) (20 . 7) (21 . 8) (22 . 6)) 5560 0.1664 8.6173 ((20 . 10) (22 . 11) (23 . 13) (24 . 14)) 5562 0.3781 13.3615 ((18 . 10) (19 . 13) (22 . 14) (24 . 15)) 5594 0.1249 7.9778 ((19 . 2) (22 . 6) (23 . 12) (24 . 5)) 5600 0.5712 5.6850 ((18 . 4) (19 . 7) (22 . 9) (24 . 10)) 5601 0.5703 8.3664 ((18 . 4) (20 . 6) (22 . 7) (24 . 9)) 5648 0.2477 9.8340 ((18 . 1) (19 . 2) (20 . 3) (21 . 4)) 5656 0.5712 5.5772 ((18 . 17) (20 . 19) (22 . 21) (23 . 23)) 5689 0.5703 8.3239 ((18 . 14) (20 . 16) (21 . 17) (24 . 18)) 5731 0.2477 13.1779 ((18 . 1) (22 . 5) (23 . 4) (24 . 6)) 5770 0.2945 7.1178 ((18 . 5) (19 . 7) (22 . 9) (23 . 12)) 5771 0.1664 8.2867 ((18 . 16) (19 . 19) (22 . 21) (24 . 22)) 5782 0.4907 9.9331 ((18 . 28) (21 . 33) (23 . 34) (24 . 36)) 5789 0.1664 8.1585 ((18 . 3) (19 . 4) (22 . 5) (24 . 6)) 5794 0.4451 9.1951 ((19 . 13) (22 . 15) (23 . 16) (24 . 17)) 5795 0.2478 6.2591 ((18 . 11) (20 . 14) (21 . 15) (23 . 16)) 5809 0.1664 8.3891 ((18 . 8) (21 . 10) (23 . 12) (24 . 11)) 5830 0.4450 9.6558 ((20 . 9) (21 . 11) (22 . 10) (23 . 13)) 5896 0.4448 10.3608 ((18 . 27) (19 . 30) (20 . 32) (22 . 31)) 5904 0.4448 10.3437 ((18 . 2) (19 . 3) (22 . 4) (24 . 5)) 5913 0.2478 6.5953 ((18 . 1) (21 . 4) (22 . 5) (23 . 6)) 5939 0.4445 11.2665 ((18 . 12) (19 . 13) (20 . 15) (22 . 14)) 5945 0.5692 9.9019 ((18 . 22) (21 . 25) (22 . 26) (24 . 27)) 5955 0.5709 6.8645 ((18 . 10) (20 . 12) (22 . 14) (23 . 16)) 5972 0.4338 2.7551 ((18 . 1) (19 . 4) (21 . 5) (22 . 6) (23 . 7)) 5977 0.5710 6.6782 ((18 . 2) (21 . 4) (22 . 5) (23 . 6)) 6029 0.4453 7.3779 ((20 . 7) (21 . 8) (23 . 10) (24 . 12)) 6033 0.1664 9.5825 ((18 . 4) (19 . 5) (20 . 7) (21 . 6)) 6041 0.2944 10.8217 ((18 . 6) (19 . 9) (22 . 10) (23 . 11)) 6075 0.4887 12.9683 ((18 . 16) (20 . 18) (22 . 20) (24 . 22)) 6079 0.2944 11.2990 ((18 . 15) (19 . 16) (20 . 17) (24 . 19)) 6089 0.4916 6.3047 ((21 . 15) (22 . 16) (23 . 17) (24 . 19)) 6099 0.1332 10.1211 ((18 . 20) (19 . 21) (22 . 24) (23 . 25)) 6191 0.5700 8.8791 ((20 . 7) (21 . 1) (23 . 3) (24 . 5)) 6192 0.3789 8.8046 ((19 . 4) (21 . 7) (22 . 5) (24 . 9)) 6228 0.5664 12.2175 ((18 . 8) (22 . 11) (23 . 12) (24 . 13)) 6238 0.1664 6.0909 ((20 . 2) (22 . 3) (23 . 4) (24 . 6)) 6243 0.5704 8.1682 ((18 . 5) (21 . 7) (22 . 8) (24 . 9)) 6258 0.5714 3.3620 ((21 . 2) (22 . 3) (23 . 4) (24 . 5)) 6261 0.4449 9.9324 ((18 . 10) (20 . 14) (21 . 15) (24 . 18)) 6266 0.1332 9.0933 ((18 . 2) (19 . 4) (22 . 6) (24 . 7)) 6268 0.3790 6.8505 ((18 . 11) (19 . 12) (21 . 13) (24 . 14)) 6270 0.3786 11.1118 ((18 . 14) (22 . 18) (23 . 17) (24 . 19)) 6271 0.4445 11.1681 ((18 . 6) (19 . 9) (22 . 10) (23 . 11)) 6294 0.1992 9.1149 ((18 . 10) (19 . 12) (22 . 14) (24 . 15)) 6329 0.4916 6.0423 ((18 . 3) (19 . 4) (20 . 5) (21 . 6)) 6344 0.5696 9.4124 ((18 . 10) (19 . 11) (22 . 13) (24 . 16)) 6348 0.5684 10.6816 ((19 . 2) (21 . 3) (23 . 4) (24 . 5)) 6355 0.2478 5.0188 ((21 . 3) (22 . 6) (23 . 4) (24 . 5)) 6356 0.5693 9.7795 ((18 . 8) (21 . 10) (22 . 11) (24 . 12)) 6376 0.5702 8.5845 ((18 . 20) (22 . 26) (23 . 27) (24 . 29)) 6391 0.5713 5.2579 ((20 . 7) (22 . 8) (23 . 10) (24 . 11)) 6392 0.4453 7.9322 ((19 . 4) (20 . 5) (21 . 6) (23 . 7)) 6461 0.1498 7.8091 ((18 . 4) (19 . 5) (22 . 6) (24 . 7)) 6462 0.4454 6.9696 ((18 . 19) (20 . 21) (22 . 22) (23 . 24)) 6476 0.5714 3.2889 ((18 . 1) (19 . 5) (21 . 7) (23 . 9)) 6498 0.5704 8.2446 ((19 . 14) (21 . 15) (22 . 16) (24 . 18)) 6506 0.3789 8.7306 ((18 . 23) (19 . 24) (21 . 25) (24 . 27)) 6520 0.2945 6.6338 ((18 . 11) (19 . 12) (22 . 14) (23 . 15)) 6539 0.3788 9.3005 ((19 . 3) (22 . 6) (23 . 8) (24 . 7)) 6548 0.5712 5.8392 ((19 . 8) (21 . 10) (22 . 13) (23 . 12)) 6553 0.2945 10.2290 ((18 . 12) (21 . 16) (22 . 17) (24 . 19)) 6561 0.4886 13.1046 ((19 . 4) (21 . 5) (22 . 8) (23 . 7)) 6575 0.2478 7.1336 ((21 . 3) (22 . 2) (23 . 5) (24 . 6)) 6578 0.5709 6.9006 ((19 . 33) (22 . 37) (23 . 38) (24 . 39)) 6584 0.1664 6.1446 ((20 . 1) (22 . 2) (23 . 3) (24 . 4)) 6585 0.4454 6.5235 ((19 . 4) (20 . 5) (22 . 6) (23 . 8)) 6586 0.4445 11.1075 ((18 . 16) (19 . 17) (21 . 19) (24 . 22)) 6613 0.5631 13.8962 ((18 . 15) (22 . 22) (23 . 21) (24 . 23)) 6635 0.5714 3.7703 ((20 . 2) (21 . 3) (22 . 4) (23 . 5)) END