6148 51 0.1499 5.6030 ((32 . 6) (33 . 7) (35 . 9) (37 . 11)) 62 0.4665 7.6946 ((32 . 10) (33 . 12) (34 . 13) (35 . 15)) 64 0.6652 7.4133 ((33 . 2) (34 . 3) (36 . 6) (37 . 7)) 96 0.6659 6.2649 ((32 . 1) (35 . 2) (36 . 3) (37 . 5)) 129 0.6646 8.0120 ((32 . 5) (33 . 8) (34 . 9) (37 . 12)) 136 0.6651 7.4842 ((32 . 5) (33 . 7) (34 . 8) (35 . 9)) 150 0.2970 7.8488 ((32 . 20) (34 . 23) (35 . 24) (37 . 25)) 153 0.6661 5.8600 ((32 . 6) (33 . 7) (36 . 8) (37 . 9)) 161 0.6663 5.0683 ((32 . 6) (33 . 8) (34 . 9) (36 . 10)) 177 0.2970 6.7923 ((34 . 7) (35 . 9) (36 . 8) (37 . 10)) 198 0.4659 10.1361 ((32 . 9) (33 . 12) (34 . 13) (36 . 15)) 207 0.1996 7.2045 ((32 . 8) (35 . 12) (36 . 13) (37 . 15)) 233 0.6655 7.0096 ((33 . 2) (34 . 3) (36 . 5) (37 . 7)) 305 0.6663 5.2448 ((34 . 9) (35 . 10) (36 . 11) (37 . 12)) 307 0.6658 6.4003 ((32 . 3) (34 . 7) (35 . 8) (36 . 9)) 315 0.6659 6.2808 ((32 . 3) (33 . 5) (34 . 6) (37 . 8)) 340 0.7252 5.8279 ((32 . 1) (33 . 2) (34 . 4) (35 . 5) (37 . 9)) 350 0.3879 7.4673 ((33 . 11) (35 . 14) (36 . 15) (37 . 16)) 360 0.6660 5.9812 ((32 . 5) (34 . 7) (36 . 9) (37 . 10)) 365 0.6654 7.1091 ((32 . 4) (33 . 6) (35 . 7) (36 . 8)) 367 0.3947 7.4439 ((32 . 47) (33 . 40) (34 . 43) (35 . 39) (36 . 42)) 372 0.6641 8.4518 ((32 . 2) (33 . 5) (34 . 6) (37 . 10)) 387 0.6663 5.1605 ((32 . 7) (33 . 8) (36 . 11) (37 . 12)) 417 0.6662 5.5331 ((32 . 1) (33 . 2) (34 . 3) (37 . 7)) 433 0.6662 5.5634 ((34 . 7) (35 . 8) (36 . 9) (37 . 10)) 442 0.6658 6.4781 ((32 . 6) (35 . 9) (36 . 10) (37 . 12)) 460 0.4666 6.5950 ((32 . 1) (33 . 2) (34 . 3) (35 . 4)) 491 0.1499 9.1901 ((32 . 6) (34 . 8) (36 . 9) (37 . 10)) 495 0.3878 8.7267 ((32 . 1) (34 . 3) (35 . 4) (36 . 5)) 543 0.1499 5.7987 ((32 . 5) (33 . 6) (35 . 7) (36 . 8)) 561 0.6647 7.9386 ((32 . 1) (34 . 3) (35 . 2) (37 . 6)) 584 0.6663 5.1978 ((33 . 5) (34 . 10) (35 . 12) (36 . 13)) 587 0.6656 6.7377 ((32 . 4) (33 . 6) (34 . 7) (37 . 9)) 619 0.6576 11.6985 ((32 . 4) (34 . 6) (36 . 8) (37 . 9)) 624 0.3876 10.2314 ((32 . 5) (34 . 7) (35 . 8) (36 . 9)) 672 0.6655 7.0017 ((33 . 18) (34 . 20) (36 . 21) (37 . 23)) 683 0.6662 5.5955 ((33 . 1) (34 . 2) (36 . 5) (37 . 6)) 719 0.6664 4.9438 ((33 . 22) (34 . 23) (36 . 25) (37 . 27)) 729 0.1996 7.8604 ((32 . 9) (34 . 13) (35 . 14) (37 . 15)) 735 0.1996 9.7671 ((32 . 29) (34 . 32) (36 . 33) (37 . 36)) 740 0.6663 5.2520 ((32 . 2) (33 . 3) (34 . 4) (37 . 9)) 767 0.6658 6.5413 ((32 . 26) (34 . 29) (36 . 31) (37 . 32)) 795 0.0999 9.2075 ((33 . 3) (34 . 5) (35 . 4) (36 . 6)) 801 0.4667 5.7986 ((32 . 1) (34 . 4) (36 . 6) (37 . 7)) 812 0.5284 7.4710 ((32 . 8) (33 . 9) (35 . 12) (36 . 13)) 818 0.6663 5.1873 ((32 . 4) (34 . 8) (35 . 9) (36 . 10)) 824 0.2488 6.5890 ((32 . 46) (34 . 49) (36 . 51) (37 . 53)) 861 0.6656 6.8709 ((32 . 15) (33 . 16) (34 . 17) (37 . 19)) 901 0.6659 6.2589 ((32 . 1) (34 . 7) (35 . 8) (36 . 9)) 904 0.4667 5.4682 ((32 . 3) (35 . 5) (36 . 6) (37 . 7)) 913 0.3878 9.1600 ((32 . 16) (33 . 17) (35 . 18) (36 . 20)) 928 0.6662 5.6315 ((32 . 3) (34 . 5) (35 . 6) (36 . 7)) 945 0.6663 5.1708 ((32 . 14) (34 . 17) (35 . 18) (36 . 19)) 960 0.4648 12.4266 ((32 . 1) (33 . 3) (34 . 4) (35 . 5)) 1043 0.4664 7.9803 ((32 . 12) (33 . 14) (35 . 16) (36 . 17)) 1082 0.6627 9.4917 ((32 . 6) (35 . 7) (36 . 8) (37 . 9)) 1084 0.3875 10.9193 ((32 . 3) (35 . 6) (36 . 8) (37 . 9)) 1165 0.6652 7.3120 ((32 . 2) (33 . 3) (34 . 4) (36 . 7)) 1169 0.6651 7.4826 ((32 . 29) (33 . 30) (34 . 31) (37 . 37)) 1204 0.1665 8.7021 ((32 . 3) (34 . 5) (35 . 6) (37 . 11)) 1211 0.2487 13.0342 ((32 . 3) (34 . 5) (35 . 6) (37 . 8)) 1217 0.6662 5.4198 ((32 . 7) (33 . 9) (34 . 11) (36 . 12)) 1224 0.6666 3.6324 ((32 . 3) (33 . 5) (36 . 6) (37 . 7)) 1233 0.6648 7.7942 ((32 . 17) (34 . 20) (35 . 21) (36 . 22)) 1267 0.6661 5.9086 ((32 . 31) (34 . 33) (35 . 34) (36 . 36)) 1268 0.4659 10.1755 ((32 . 22) (33 . 23) (34 . 24) (35 . 26)) 1294 0.6662 5.3777 ((32 . 40) (33 . 41) (36 . 43) (37 . 44)) 1345 0.2968 11.4441 ((32 . 5) (34 . 7) (35 . 8) (37 . 9)) 1366 0.6658 6.4389 ((32 . 12) (34 . 14) (36 . 16) (37 . 17)) 1388 0.6660 5.9416 ((32 . 1) (35 . 3) (36 . 4) (37 . 5)) 1410 0.6661 5.8241 ((32 . 22) (33 . 23) (34 . 25) (37 . 26)) 1425 0.6660 6.0197 ((32 . 6) (33 . 8) (34 . 10) (37 . 12)) 1435 0.4665 7.9474 ((32 . 3) (33 . 5) (34 . 6) (35 . 7)) 1447 0.6664 5.0091 ((32 . 3) (34 . 5) (35 . 6) (36 . 7)) 1451 0.2969 9.0540 ((32 . 6) (34 . 8) (35 . 7) (36 . 9)) 1476 0.6654 7.0621 ((32 . 11) (34 . 14) (35 . 13) (36 . 15)) 1501 0.2488 9.3645 ((32 . 5) (33 . 6) (34 . 7) (36 . 9)) 1513 0.6661 5.9003 ((33 . 2) (34 . 3) (35 . 4) (36 . 5)) 1514 0.6630 9.3017 ((32 . 1) (34 . 3) (35 . 5) (37 . 6)) 1577 0.1996 6.9461 ((34 . 3) (35 . 2) (36 . 4) (37 . 5)) 1591 0.2970 6.7186 ((32 . 1) (34 . 4) (35 . 5) (37 . 6)) 1604 0.2488 8.9504 ((32 . 3) (35 . 8) (36 . 7) (37 . 10)) 1624 0.4661 9.3904 ((33 . 2) (34 . 3) (36 . 5) (37 . 6)) 1643 0.6648 7.8070 ((32 . 27) (33 . 28) (34 . 31) (37 . 34)) 1665 0.6664 4.6362 ((32 . 6) (34 . 8) (35 . 9) (36 . 10)) 1690 0.6660 5.9369 ((33 . 1) (34 . 8) (35 . 12) (36 . 13)) 1692 0.1499 9.1606 ((32 . 6) (34 . 8) (36 . 9) (37 . 10)) 1747 0.6649 7.7500 ((33 . 18) (34 . 19) (35 . 20) (37 . 24)) 1756 0.6655 6.9548 ((32 . 23) (33 . 25) (34 . 26) (37 . 30)) 1761 0.8282 7.6461 ((32 . 1) (33 . 2) (34 . 3) (36 . 4) (37 . 5)) 1763 0.6645 8.1001 ((32 . 7) (33 . 9) (34 . 10) (37 . 13)) 1776 0.6662 5.5807 ((32 . 1) (34 . 7) (35 . 8) (36 . 9)) 1777 0.6640 8.5882 ((33 . 43) (34 . 45) (36 . 49) (37 . 50)) 1793 0.2970 7.7304 ((32 . 6) (34 . 8) (35 . 9) (37 . 10)) 1805 0.6657 6.6515 ((33 . 2) (34 . 3) (36 . 7) (37 . 8)) 1808 0.3879 7.8568 ((32 . 2) (33 . 4) (34 . 5) (35 . 7)) 1867 0.6663 5.3081 ((33 . 3) (35 . 4) (36 . 6) (37 . 7)) 1896 0.2970 6.8025 ((33 . 23) (34 . 24) (36 . 26) (37 . 27)) 1913 0.6589 11.2494 ((33 . 3) (34 . 5) (36 . 7) (37 . 9)) 1944 0.2970 7.8957 ((32 . 7) (34 . 9) (35 . 12) (37 . 13)) 1957 0.6661 5.7764 ((32 . 3) (34 . 5) (35 . 6) (36 . 7)) 1967 0.6660 6.0654 ((34 . 10) (35 . 11) (36 . 13) (37 . 14)) 2003 0.6650 7.6556 ((32 . 9) (33 . 10) (34 . 11) (36 . 12)) 2006 0.6653 7.1951 ((32 . 16) (33 . 18) (36 . 20) (37 . 21)) 2045 0.4664 8.2862 ((33 . 7) (34 . 8) (35 . 9) (37 . 11)) 2048 0.2970 8.1910 ((32 . 1) (34 . 4) (35 . 5) (37 . 6)) 2063 0.6662 5.4036 ((32 . 44) (33 . 45) (36 . 49) (37 . 50)) 2065 0.5285 7.1084 ((32 . 23) (33 . 26) (36 . 27) (37 . 28)) 2067 0.6653 7.1681 ((32 . 54) (33 . 55) (36 . 59) (37 . 60)) 2083 0.6629 9.3531 ((33 . 1) (34 . 2) (35 . 3) (37 . 5)) 2097 0.5225 14.2738 ((32 . 3) (33 . 4) (34 . 5) (36 . 6)) 2118 0.6646 8.0606 ((33 . 1) (34 . 3) (36 . 4) (37 . 5)) 2122 0.6663 5.0790 ((32 . 1) (34 . 6) (35 . 7) (36 . 8)) 2166 0.5275 9.8072 ((32 . 4) (34 . 7) (36 . 8) (37 . 9)) 2196 0.6657 6.6031 ((32 . 14) (33 . 15) (36 . 18) (37 . 19)) 2205 0.6632 9.1643 ((33 . 16) (34 . 17) (36 . 19) (37 . 20)) 2209 0.6659 6.2368 ((34 . 3) (35 . 4) (36 . 5) (37 . 6)) 2220 0.2488 7.5197 ((32 . 2) (33 . 3) (34 . 4) (36 . 7)) 2243 0.6649 7.7263 ((33 . 57) (34 . 58) (36 . 60) (37 . 62)) 2244 0.6664 4.9194 ((32 . 75) (33 . 76) (36 . 79) (37 . 80)) 2249 0.6661 5.9159 ((32 . 16) (35 . 19) (36 . 20) (37 . 23)) 2279 0.6649 7.7051 ((32 . 5) (34 . 7) (35 . 6) (36 . 9)) 2298 0.6642 8.4318 ((32 . 8) (33 . 10) (35 . 13) (36 . 12)) 2340 0.1996 6.3926 ((32 . 9) (35 . 10) (36 . 11) (37 . 13)) 2344 0.2970 6.9009 ((33 . 14) (35 . 16) (36 . 18) (37 . 20)) 2381 0.6629 9.3401 ((32 . 4) (33 . 5) (34 . 6) (35 . 8)) 2389 0.6649 7.6876 ((32 . 5) (34 . 7) (36 . 9) (37 . 10)) 2409 0.4663 8.7512 ((33 . 5) (34 . 6) (36 . 8) (37 . 9)) 2423 0.6665 4.4316 ((33 . 16) (34 . 17) (35 . 18) (36 . 19)) 2447 0.2970 8.4688 ((32 . 15) (34 . 18) (35 . 19) (37 . 21)) 2510 0.6662 5.4769 ((32 . 19) (34 . 23) (35 . 24) (36 . 25)) 2529 0.6658 6.5355 ((32 . 1) (35 . 2) (36 . 3) (37 . 5)) 2551 0.1665 9.3535 ((33 . 9) (34 . 11) (35 . 10) (37 . 14)) 2556 0.6665 4.4021 ((32 . 11) (34 . 13) (35 . 14) (36 . 16)) 2595 0.6656 6.7229 ((32 . 4) (34 . 6) (35 . 7) (36 . 9)) 2619 0.6664 4.8373 ((32 . 1) (34 . 3) (35 . 4) (36 . 5)) 2658 0.1665 9.1981 ((33 . 10) (34 . 12) (35 . 11) (37 . 14)) 2682 0.5289 3.9807 ((33 . 7) (35 . 10) (36 . 11) (37 . 15)) 2696 0.2488 8.2255 ((32 . 32) (34 . 34) (36 . 36) (37 . 37)) 2755 0.6657 6.5481 ((32 . 5) (34 . 6) (35 . 7) (36 . 8)) 2773 0.6657 6.7073 ((32 . 3) (35 . 4) (36 . 5) (37 . 6)) 2804 0.6657 6.5614 ((33 . 31) (34 . 32) (36 . 34) (37 . 39)) 2830 0.6661 5.8047 ((32 . 3) (34 . 5) (35 . 6) (36 . 7)) 2834 0.8324 4.9303 ((32 . 9) (34 . 12) (35 . 13) (36 . 14) (37 . 16)) 2840 0.6658 6.3729 ((33 . 5) (34 . 6) (35 . 7) (36 . 8)) 2867 0.4664 8.3172 ((33 . 7) (34 . 8) (36 . 9) (37 . 12)) 2886 0.5278 9.1939 ((32 . 30) (34 . 34) (36 . 37) (37 . 38)) 2929 0.6662 5.4469 ((34 . 36) (35 . 37) (36 . 39) (37 . 40)) 2947 0.4666 7.1906 ((32 . 2) (33 . 3) (34 . 4) (35 . 5)) 2966 0.6566 11.9995 ((33 . 10) (34 . 12) (36 . 15) (37 . 16)) 2990 0.3879 7.1508 ((32 . 14) (33 . 15) (34 . 16) (35 . 17)) 3014 0.1499 8.4068 ((33 . 22) (34 . 23) (35 . 26) (36 . 25)) 3019 0.6653 7.2761 ((32 . 20) (35 . 21) (36 . 22) (37 . 25)) 3034 0.2970 7.5097 ((32 . 5) (34 . 7) (35 . 8) (37 . 9)) 3041 0.6649 7.6965 ((33 . 29) (34 . 30) (36 . 32) (37 . 33)) 3063 0.2969 11.4040 ((32 . 32) (33 . 33) (35 . 34) (37 . 36)) 3084 0.2969 9.7981 ((32 . 15) (34 . 17) (35 . 18) (37 . 21)) 3102 0.6661 5.7313 ((33 . 74) (34 . 75) (36 . 77) (37 . 80)) 3103 0.6642 8.4277 ((32 . 3) (33 . 5) (35 . 7) (37 . 9)) 3127 0.6608 10.4460 ((32 . 3) (34 . 6) (35 . 7) (36 . 8)) 3147 0.6658 6.4438 ((32 . 12) (33 . 13) (34 . 15) (36 . 17)) 3190 0.2970 7.5967 ((32 . 3) (34 . 6) (35 . 7) (37 . 9)) 3197 0.6664 4.8353 ((32 . 10) (34 . 12) (35 . 13) (36 . 14)) 3200 0.4666 6.8187 ((33 . 3) (34 . 4) (35 . 5) (36 . 6)) 3212 0.6648 7.8300 ((32 . 2) (34 . 5) (35 . 7) (37 . 9)) 3256 0.4661 9.6756 ((32 . 21) (33 . 24) (35 . 27) (37 . 28)) 3289 0.4665 7.6334 ((33 . 25) (34 . 27) (35 . 28) (37 . 30)) 3297 0.6663 5.0405 ((32 . 7) (33 . 8) (36 . 9) (37 . 11)) 3339 0.6663 5.3041 ((32 . 15) (34 . 17) (35 . 18) (36 . 19)) 3344 0.6658 6.4419 ((33 . 18) (34 . 19) (36 . 20) (37 . 21)) 3358 0.6663 5.1323 ((32 . 4) (34 . 8) (35 . 9) (36 . 10)) 3362 0.6662 5.5036 ((32 . 4) (35 . 7) (36 . 8) (37 . 10)) 3366 0.6665 4.2150 ((32 . 26) (33 . 27) (36 . 28) (37 . 29)) 3472 0.6664 4.5975 ((32 . 3) (34 . 5) (36 . 8) (37 . 9)) 3481 0.6662 5.4683 ((34 . 2) (35 . 3) (36 . 4) (37 . 7)) 3496 0.6663 5.0319 ((32 . 19) (35 . 21) (36 . 22) (37 . 23)) 3533 0.6651 7.4547 ((32 . 3) (33 . 5) (35 . 6) (36 . 8)) 3538 0.6623 9.6843 ((32 . 15) (35 . 17) (36 . 18) (37 . 20)) 3548 0.6656 6.8290 ((32 . 3) (34 . 5) (35 . 7) (36 . 8)) 3549 0.6666 3.8456 ((32 . 1) (33 . 3) (36 . 5) (37 . 8)) 3585 0.6641 8.4604 ((32 . 12) (33 . 13) (34 . 14) (35 . 15)) 3626 0.6651 7.4941 ((32 . 3) (33 . 6) (34 . 8) (37 . 11)) 3651 0.6664 4.7296 ((32 . 1) (34 . 3) (35 . 4) (36 . 5)) 3658 0.2487 9.5722 ((34 . 1) (35 . 2) (36 . 3) (37 . 4)) 3661 0.4665 7.4191 ((32 . 7) (35 . 10) (36 . 11) (37 . 12)) 3688 0.2967 13.1099 ((33 . 5) (34 . 7) (36 . 8) (37 . 11)) 3703 0.1499 13.0562 ((32 . 4) (35 . 5) (36 . 7) (37 . 8)) 3732 0.6661 5.8883 ((32 . 5) (35 . 8) (36 . 9) (37 . 11)) 3733 0.6657 6.6467 ((32 . 3) (34 . 6) (35 . 7) (36 . 8)) 3740 0.3879 8.0552 ((32 . 6) (33 . 7) (35 . 8) (36 . 9)) 3776 0.3878 9.1159 ((32 . 17) (33 . 20) (34 . 21) (35 . 23)) 3778 0.6640 8.5570 ((32 . 7) (35 . 9) (36 . 12) (37 . 13)) 3787 0.6659 6.2610 ((32 . 19) (34 . 21) (35 . 22) (36 . 23)) 3790 0.1996 7.3513 ((32 . 18) (35 . 20) (36 . 22) (37 . 24)) 3810 0.5281 8.5191 ((32 . 10) (33 . 11) (34 . 14) (36 . 16)) 3831 0.1996 8.3404 ((32 . 3) (34 . 5) (35 . 4) (36 . 6)) 3849 0.6659 6.2810 ((32 . 1) (35 . 4) (36 . 5) (37 . 8)) 3853 0.6664 4.8943 ((32 . 3) (34 . 6) (35 . 7) (36 . 8)) 3933 0.4667 5.6517 ((33 . 2) (34 . 3) (35 . 4) (36 . 5)) 3938 0.6648 7.8515 ((33 . 2) (34 . 4) (36 . 6) (37 . 8)) 3942 0.6663 5.2072 ((33 . 2) (34 . 3) (35 . 5) (37 . 9)) 3986 0.6610 10.3838 ((32 . 5) (33 . 6) (36 . 9) (37 . 11)) 3990 0.6653 7.2663 ((32 . 16) (34 . 18) (35 . 19) (36 . 20)) 4005 0.6660 6.0698 ((32 . 24) (33 . 26) (34 . 27) (37 . 32)) 4019 0.4666 6.9327 ((32 . 35) (33 . 37) (34 . 38) (36 . 39)) 4034 0.2969 9.8015 ((32 . 9) (33 . 10) (34 . 11) (36 . 13)) 4067 0.6664 4.9092 ((32 . 16) (34 . 20) (35 . 21) (36 . 22)) 4087 0.6658 6.5149 ((32 . 5) (33 . 6) (34 . 7) (37 . 8)) 4112 0.6663 5.1329 ((32 . 1) (33 . 2) (34 . 3) (37 . 6)) 4115 0.6664 4.8753 ((32 . 13) (34 . 15) (35 . 16) (36 . 17)) 4151 0.6664 4.7550 ((32 . 3) (34 . 5) (35 . 6) (36 . 7)) 4192 0.8328 4.2381 ((32 . 10) (34 . 13) (35 . 14) (36 . 15) (37 . 19)) 4194 0.6663 5.0418 ((32 . 3) (33 . 6) (34 . 1) (36 . 7)) 4204 0.6659 6.2126 ((32 . 5) (34 . 9) (35 . 10) (36 . 11)) 4209 0.6651 7.4970 ((32 . 1) (33 . 2) (34 . 4) (36 . 5)) 4210 0.6663 5.2829 ((32 . 6) (34 . 8) (35 . 9) (36 . 10)) 4226 0.6653 7.2932 ((32 . 12) (34 . 16) (35 . 17) (37 . 19)) 4236 0.6655 6.9539 ((32 . 6) (33 . 7) (34 . 8) (36 . 10)) 4246 0.4657 10.5862 ((33 . 7) (34 . 8) (35 . 10) (36 . 11)) 4254 0.6665 4.5284 ((32 . 11) (34 . 15) (35 . 16) (36 . 17)) 4257 0.6654 7.1070 ((34 . 7) (35 . 6) (36 . 8) (37 . 9)) 4265 0.2970 5.8259 ((33 . 20) (34 . 21) (35 . 22) (36 . 23)) 4266 0.6606 10.5464 ((32 . 6) (35 . 7) (36 . 8) (37 . 11)) 4274 0.6665 4.0705 ((32 . 36) (34 . 38) (35 . 39) (36 . 40)) 4275 0.6633 9.0793 ((32 . 25) (33 . 27) (34 . 28) (35 . 29)) 4281 0.2488 7.7595 ((32 . 3) (33 . 4) (35 . 7) (36 . 8)) 4284 0.3880 6.0313 ((34 . 6) (35 . 7) (36 . 8) (37 . 9)) 4326 0.4658 10.2862 ((33 . 7) (34 . 10) (36 . 11) (37 . 12)) 4332 0.3880 3.5651 ((33 . 2) (34 . 4) (35 . 8) (36 . 9)) 4359 0.6645 8.1388 ((32 . 4) (33 . 5) (34 . 6) (36 . 8)) 4380 0.1995 16.1248 ((32 . 4) (35 . 6) (36 . 10) (37 . 11)) 4398 0.6655 7.0209 ((33 . 8) (35 . 9) (36 . 10) (37 . 12)) 4405 0.4656 10.8688 ((32 . 19) (34 . 21) (36 . 23) (37 . 25)) 4408 0.6654 7.1541 ((32 . 1) (34 . 4) (35 . 5) (37 . 7)) 4415 0.2970 7.8976 ((32 . 4) (34 . 9) (35 . 10) (37 . 11)) 4419 0.6653 7.1768 ((32 . 3) (33 . 6) (36 . 8) (37 . 9)) 4470 0.1665 10.8896 ((33 . 2) (35 . 4) (36 . 3) (37 . 5)) 4491 0.6650 7.5788 ((32 . 1) (34 . 5) (35 . 4) (37 . 8)) 4492 0.2488 7.9968 ((33 . 2) (35 . 6) (36 . 7) (37 . 8)) 4497 0.6664 4.8762 ((32 . 23) (33 . 24) (36 . 27) (37 . 28)) 4502 0.6664 4.5907 ((32 . 11) (34 . 14) (35 . 16) (36 . 17)) 4503 0.6641 8.4782 ((33 . 6) (34 . 7) (36 . 9) (37 . 10)) 4505 0.6662 5.3728 ((32 . 26) (34 . 28) (35 . 29) (36 . 30)) 4538 0.3880 5.5202 ((33 . 33) (34 . 34) (35 . 36) (36 . 37)) 4560 0.6648 7.8693 ((32 . 13) (33 . 14) (34 . 16) (36 . 17)) 4561 0.6659 6.3414 ((32 . 1) (34 . 5) (35 . 6) (36 . 7)) 4562 0.6659 6.2129 ((32 . 22) (34 . 25) (35 . 26) (36 . 27)) 4577 0.6601 10.7438 ((33 . 28) (34 . 29) (36 . 31) (37 . 34)) 4588 0.6638 8.7333 ((32 . 7) (33 . 8) (34 . 9) (36 . 11)) 4589 0.6661 5.8306 ((32 . 18) (33 . 19) (36 . 22) (37 . 23)) 4621 0.6653 7.2001 ((34 . 4) (35 . 5) (36 . 6) (37 . 8)) 4630 0.2970 7.0567 ((33 . 33) (34 . 34) (36 . 35) (37 . 36)) 4648 0.4667 6.2325 ((33 . 1) (34 . 2) (35 . 3) (36 . 5)) 4653 0.6661 5.8607 ((32 . 1) (34 . 4) (36 . 5) (37 . 6)) 4665 0.1499 8.3599 ((33 . 11) (34 . 12) (36 . 13) (37 . 14)) 4668 0.6659 6.3479 ((32 . 3) (34 . 7) (35 . 8) (36 . 9)) 4678 0.1665 7.7296 ((32 . 6) (35 . 9) (36 . 11) (37 . 12)) 4713 0.6640 8.5555 ((33 . 5) (34 . 6) (36 . 8) (37 . 9)) 4731 0.6660 5.9385 ((32 . 18) (35 . 20) (36 . 22) (37 . 23)) 4734 0.3876 10.1349 ((32 . 2) (33 . 3) (34 . 5) (37 . 8)) 4888 0.6651 7.4499 ((32 . 1) (34 . 4) (35 . 5) (37 . 9)) 4889 0.6649 7.7361 ((32 . 7) (35 . 9) (36 . 11) (37 . 12)) 4907 0.6661 5.7803 ((33 . 4) (34 . 3) (36 . 5) (37 . 8)) 4914 0.4660 9.7080 ((32 . 1) (35 . 3) (36 . 5) (37 . 6)) 4921 0.6630 9.2955 ((32 . 9) (34 . 12) (35 . 13) (37 . 14)) 4929 0.1665 11.8261 ((32 . 31) (34 . 33) (36 . 34) (37 . 35)) 4932 0.3880 5.6036 ((33 . 1) (34 . 2) (35 . 3) (36 . 5)) 4944 0.1333 7.0582 ((32 . 11) (34 . 13) (36 . 14) (37 . 15)) 4961 0.2970 7.4778 ((32 . 12) (34 . 14) (35 . 16) (36 . 17)) 4982 0.6657 6.5947 ((32 . 3) (34 . 6) (35 . 5) (36 . 8)) 4992 0.3878 8.3132 ((32 . 1) (33 . 2) (34 . 3) (35 . 4)) 5036 0.6648 7.8196 ((33 . 5) (34 . 6) (36 . 8) (37 . 9)) 5038 0.6666 3.7181 ((32 . 10) (33 . 14) (36 . 15) (37 . 16)) 5039 0.6663 5.2298 ((32 . 37) (34 . 39) (35 . 40) (36 . 41)) 5044 0.4663 8.5235 ((33 . 8) (34 . 9) (35 . 11) (37 . 14)) 5046 0.6644 8.2099 ((32 . 4) (35 . 9) (36 . 8) (37 . 10)) 5053 0.3878 8.3311 ((34 . 2) (35 . 1) (36 . 3) (37 . 5)) 5065 0.6651 7.4510 ((33 . 2) (34 . 3) (36 . 7) (37 . 8)) 5068 0.4666 7.1253 ((32 . 17) (33 . 20) (35 . 21) (36 . 24)) 5069 0.6657 6.7087 ((32 . 15) (35 . 16) (36 . 17) (37 . 18)) 5073 0.2970 7.9600 ((32 . 34) (34 . 36) (35 . 38) (37 . 39)) 5083 0.5283 7.8106 ((33 . 1) (34 . 2) (36 . 5) (37 . 6)) 5101 0.6663 5.2259 ((32 . 1) (34 . 3) (35 . 4) (36 . 5)) 5103 0.6657 6.5937 ((32 . 15) (34 . 17) (35 . 18) (36 . 19)) 5121 0.6663 5.2695 ((33 . 25) (34 . 26) (36 . 27) (37 . 30)) 5132 0.6651 7.4999 ((32 . 16) (34 . 18) (35 . 19) (36 . 20)) 5134 0.4665 7.5167 ((33 . 2) (34 . 3) (35 . 5) (36 . 6)) 5145 0.6664 4.8220 ((32 . 3) (35 . 7) (36 . 8) (37 . 10)) 5176 0.2487 9.9522 ((32 . 84) (33 . 86) (34 . 87) (36 . 88)) 5192 0.3874 11.5540 ((32 . 3) (34 . 5) (35 . 6) (37 . 9)) 5198 0.5283 7.9817 ((33 . 26) (35 . 27) (36 . 30) (37 . 32)) 5215 0.6636 8.8964 ((32 . 11) (35 . 14) (36 . 15) (37 . 16)) 5223 0.6665 4.5131 ((32 . 8) (34 . 10) (35 . 11) (36 . 12)) 5231 0.2488 6.3166 ((32 . 8) (34 . 12) (36 . 14) (37 . 16)) 5266 0.6649 7.6949 ((32 . 6) (34 . 8) (35 . 9) (36 . 10)) 5278 0.6665 4.1599 ((32 . 5) (33 . 6) (36 . 9) (37 . 10)) 5312 0.6663 5.1776 ((32 . 3) (33 . 4) (34 . 5) (37 . 7)) 5318 0.3879 7.9137 ((32 . 22) (33 . 23) (34 . 24) (35 . 27)) 5324 0.3876 10.5494 ((32 . 5) (34 . 7) (35 . 8) (36 . 10)) 5344 0.6311 8.1119 ((32 . 3) (33 . 4) (35 . 6) (36 . 7) (37 . 8)) 5345 0.6650 7.6486 ((32 . 13) (34 . 15) (36 . 17) (37 . 18)) 5368 0.6659 6.2115 ((32 . 35) (34 . 37) (36 . 39) (37 . 41)) 5414 0.6638 8.7402 ((34 . 14) (35 . 17) (36 . 16) (37 . 18)) 5421 0.2969 8.7912 ((32 . 1) (33 . 2) (34 . 3) (36 . 5)) 5433 0.3880 4.9709 ((33 . 5) (34 . 7) (36 . 8) (37 . 10)) 5479 0.6632 9.1112 ((32 . 36) (33 . 38) (36 . 40) (37 . 41)) 5487 0.6658 6.3722 ((32 . 7) (34 . 9) (35 . 10) (36 . 11)) 5489 0.1665 9.1928 ((32 . 12) (35 . 15) (36 . 16) (37 . 17)) 5540 0.6658 6.3791 ((34 . 1) (35 . 2) (36 . 3) (37 . 4)) 5560 0.6650 7.6498 ((32 . 17) (34 . 20) (35 . 21) (36 . 22)) 5567 0.6665 4.1203 ((34 . 15) (35 . 16) (36 . 17) (37 . 18)) 5594 0.2970 7.4876 ((32 . 4) (34 . 6) (35 . 7) (37 . 9)) 5601 0.6663 5.3041 ((32 . 5) (34 . 8) (35 . 9) (36 . 10)) 5640 0.6660 5.9698 ((32 . 7) (34 . 9) (36 . 11) (37 . 12)) 5644 0.2970 7.4419 ((33 . 4) (35 . 5) (36 . 8) (37 . 10)) 5656 0.6623 9.7215 ((32 . 9) (33 . 3) (36 . 5) (37 . 10)) 5700 0.6664 4.9670 ((33 . 4) (35 . 7) (36 . 8) (37 . 9)) 5703 0.2969 10.2937 ((33 . 1) (35 . 3) (36 . 5) (37 . 6)) 5711 0.6652 7.3078 ((32 . 38) (34 . 42) (36 . 44) (37 . 46)) 5718 0.8327 4.5948 ((32 . 14) (33 . 16) (34 . 17) (36 . 21) (37 . 23)) 5731 0.6642 8.4288 ((32 . 3) (33 . 5) (34 . 7) (37 . 9)) 5746 0.6655 6.8887 ((32 . 3) (34 . 6) (36 . 8) (37 . 10)) 5761 0.2969 9.1936 ((32 . 30) (34 . 32) (35 . 33) (37 . 36)) 5770 0.6664 5.0102 ((32 . 6) (34 . 8) (36 . 9) (37 . 12)) 5771 0.5262 11.4903 ((33 . 13) (34 . 14) (36 . 15) (37 . 17)) 5782 0.5283 7.8115 ((33 . 32) (35 . 33) (36 . 34) (37 . 37)) 5794 0.2970 6.5605 ((33 . 16) (35 . 17) (36 . 18) (37 . 19)) 5795 0.1499 9.5645 ((33 . 9) (34 . 10) (35 . 12) (37 . 13)) 5809 0.2970 6.3881 ((32 . 7) (34 . 9) (35 . 10) (37 . 12)) 5822 0.4662 9.0319 ((33 . 2) (34 . 4) (35 . 5) (36 . 6)) 5827 0.6652 7.3022 ((32 . 3) (34 . 5) (35 . 6) (36 . 8)) 5830 0.1499 5.8015 ((32 . 7) (33 . 8) (35 . 9) (36 . 10)) 5847 0.7178 10.2765 ((32 . 3) (33 . 5) (34 . 7) (36 . 9) (37 . 10)) 5878 0.1996 8.1559 ((32 . 25) (33 . 26) (34 . 28) (36 . 30)) 5888 0.6660 6.1099 ((32 . 17) (33 . 18) (34 . 19) (36 . 21)) 5896 0.0999 8.3304 ((33 . 26) (34 . 28) (35 . 27) (36 . 29)) 5904 0.6654 7.1554 ((32 . 7) (34 . 9) (35 . 10) (36 . 11)) 5913 0.6608 10.4327 ((32 . 7) (33 . 9) (34 . 10) (35 . 11)) 5914 0.6663 5.0425 ((34 . 3) (35 . 4) (36 . 5) (37 . 6)) 5930 0.2970 7.1972 ((33 . 1) (34 . 2) (35 . 3) (36 . 4)) 5945 0.4668 4.1467 ((34 . 11) (35 . 12) (36 . 13) (37 . 14)) 5949 0.2488 5.3453 ((33 . 10) (34 . 12) (35 . 13) (36 . 14)) 6011 0.4657 10.5752 ((33 . 1) (34 . 2) (36 . 4) (37 . 5)) 6028 0.2488 7.5479 ((32 . 1) (33 . 2) (35 . 4) (37 . 9)) 6029 0.6666 3.9025 ((32 . 6) (35 . 8) (36 . 10) (37 . 11)) 6046 0.6665 4.4651 ((32 . 6) (33 . 2) (36 . 3) (37 . 5)) 6061 0.6650 7.6002 ((32 . 13) (33 . 14) (34 . 15) (35 . 16)) 6074 0.6657 6.5847 ((32 . 4) (34 . 6) (35 . 7) (36 . 8)) 6075 0.6659 6.1776 ((32 . 20) (34 . 21) (35 . 22) (36 . 24)) 6079 0.6648 7.8159 ((32 . 7) (33 . 8) (35 . 10) (36 . 11)) 6094 0.6659 6.3227 ((32 . 3) (33 . 5) (36 . 7) (37 . 10)) 6099 0.6663 5.2331 ((32 . 22) (34 . 24) (36 . 26) (37 . 27)) 6123 0.3879 7.4477 ((32 . 2) (33 . 3) (34 . 4) (35 . 6)) 6142 0.6659 6.2987 ((32 . 12) (34 . 14) (36 . 16) (37 . 17)) 6148 1.0000 0.0000 ((32 . 32) (33 . 33) (34 . 34) (35 . 35) (36 . 36) (37 . 37)) 6167 0.6658 6.3688 ((32 . 4) (34 . 7) (36 . 10) (37 . 12)) 6215 0.6651 7.4526 ((32 . 17) (33 . 18) (34 . 19) (37 . 24)) 6225 0.1998 4.9909 ((32 . 5) (34 . 10) (35 . 11) (36 . 28) (37 . 12)) 6228 0.6644 8.2553 ((32 . 7) (34 . 9) (36 . 11) (37 . 12)) 6234 0.6661 5.7451 ((32 . 9) (33 . 10) (34 . 13) (37 . 15)) 6238 0.1665 9.5748 ((32 . 3) (33 . 4) (34 . 5) (37 . 8)) 6243 0.2970 5.1670 ((32 . 3) (33 . 6) (35 . 7) (36 . 8)) 6251 0.1996 4.6016 ((32 . 15) (34 . 17) (35 . 18) (36 . 19)) 6261 0.2969 8.7923 ((34 . 1) (35 . 2) (36 . 3) (37 . 4)) 6270 0.1996 9.0198 ((32 . 15) (34 . 17) (35 . 19) (37 . 20)) 6271 0.4661 9.6458 ((33 . 7) (34 . 8) (35 . 9) (36 . 10)) 6294 0.6664 4.8956 ((32 . 23) (34 . 25) (35 . 26) (36 . 27)) 6306 0.7245 6.7591 ((32 . 16) (34 . 17) (35 . 18) (36 . 19) (37 . 21)) 6326 0.5285 7.2694 ((32 . 1) (33 . 2) (34 . 3) (37 . 5)) 6338 0.1665 5.5936 ((32 . 1) (34 . 2) (36 . 4) (37 . 5)) 6344 0.6659 6.3192 ((32 . 14) (33 . 17) (34 . 18) (36 . 21)) 6355 0.6658 6.4925 ((33 . 4) (34 . 6) (35 . 5) (37 . 8)) 6369 0.6664 4.7102 ((32 . 26) (34 . 29) (35 . 30) (36 . 31)) 6376 0.1996 5.6043 ((32 . 19) (34 . 21) (35 . 23) (36 . 24)) 6391 0.1996 6.2311 ((32 . 8) (34 . 10) (35 . 11) (36 . 12)) 6399 0.3879 8.1098 ((32 . 20) (35 . 23) (36 . 26) (37 . 27)) 6403 0.6646 8.0645 ((33 . 1) (34 . 2) (36 . 4) (37 . 5)) 6462 0.1996 8.1630 ((32 . 16) (34 . 18) (35 . 19) (37 . 20)) 6520 0.2969 9.4081 ((32 . 6) (34 . 9) (35 . 11) (36 . 10)) 6539 0.6646 8.0413 ((32 . 2) (34 . 4) (35 . 3) (37 . 8)) 6540 0.6663 5.1047 ((32 . 16) (33 . 17) (36 . 20) (37 . 21)) 6548 0.1499 7.6463 ((32 . 5) (34 . 7) (35 . 8) (37 . 9)) 6555 0.3878 8.8785 ((32 . 17) (34 . 20) (35 . 21) (37 . 23)) 6561 0.5287 5.9246 ((32 . 1) (35 . 5) (36 . 7) (37 . 8)) 6573 0.2488 8.2651 ((32 . 21) (33 . 22) (34 . 23) (37 . 25)) 6578 0.6618 9.9855 ((32 . 31) (34 . 34) (35 . 33) (37 . 37)) 6584 0.6665 4.1157 ((32 . 2) (33 . 7) (36 . 8) (37 . 9)) 6585 0.6611 10.3016 ((32 . 2) (34 . 6) (35 . 7) (36 . 8)) 6598 0.6631 9.1855 ((32 . 7) (33 . 8) (36 . 10) (37 . 13)) 6635 0.1499 4.8939 ((34 . 1) (35 . 3) (36 . 4) (37 . 5)) END