6536 25 0.2499 11.8720 ((28 . 10) (29 . 12) (33 . 13) (34 . 15)) 41 0.2500 10.2356 ((33 . 2) (35 . 3) (36 . 5) (37 . 4)) 51 0.2500 8.7383 ((30 . 3) (32 . 4) (35 . 10) (36 . 11)) 77 0.2500 8.4636 ((28 . 3) (33 . 10) (35 . 13) (36 . 15)) 91 0.2500 9.2436 ((22 . 25) (24 . 30) (28 . 36) (34 . 47)) 96 0.2500 7.2864 ((33 . 2) (35 . 5) (36 . 6) (37 . 7)) 136 0.2500 7.8793 ((32 . 2) (35 . 7) (36 . 8) (37 . 9)) 147 0.2462 8.0375 ((29 . 3) (32 . 7) (33 . 8) (34 . 9)) 155 0.2481 11.2834 ((28 . 4) (29 . 6) (30 . 7) (32 . 8)) 157 0.2500 8.4358 ((21 . 4) (25 . 12) (27 . 17) (29 . 22)) 207 0.2500 9.1252 ((28 . 10) (30 . 14) (33 . 16) (34 . 17)) 259 0.2500 8.9925 ((22 . 1) (24 . 5) (25 . 6) (27 . 8)) 293 0.2500 9.6018 ((29 . 1) (33 . 3) (34 . 4) (37 . 5)) 300 0.2500 7.2808 ((22 . 3) (23 . 4) (28 . 11) (29 . 12)) 305 0.2481 10.4195 ((34 . 20) (35 . 21) (36 . 22) (37 . 25)) 317 0.2462 8.1025 ((29 . 4) (32 . 8) (33 . 9) (34 . 10)) 329 0.2462 7.0943 ((33 . 1) (34 . 3) (35 . 4) (36 . 5)) 350 0.2500 8.4258 ((30 . 9) (34 . 14) (35 . 17) (36 . 18)) 351 0.2500 7.4381 ((27 . 1) (28 . 4) (29 . 5) (34 . 9)) 361 0.2480 13.0869 ((30 . 6) (32 . 8) (33 . 9) (35 . 11)) 433 0.2481 8.0622 ((29 . 2) (30 . 4) (34 . 8) (36 . 10)) 442 0.2500 8.8742 ((27 . 9) (33 . 15) (34 . 16) (37 . 18)) 472 0.2500 9.6557 ((34 . 24) (35 . 25) (36 . 27) (37 . 28)) 495 0.2413 9.1776 ((30 . 2) (35 . 8) (36 . 9) (37 . 10)) 541 0.2500 9.4963 ((30 . 9) (34 . 13) (35 . 14) (36 . 16)) 543 0.2500 10.6879 ((28 . 3) (32 . 9) (35 . 15) (36 . 16)) 553 0.6868 5.8986 ((1 . 2) (21 . 3) (22 . 4) (24 . 6) (25 . 7) (27 . 9) (28 . 10) (29 . 14) (30 . 15) (33 . 21) (34 . 22)) 584 0.2499 12.2688 ((28 . 1) (29 . 2) (33 . 6) (37 . 12)) 609 0.2412 12.8767 ((25 . 2) (27 . 4) (28 . 5) (29 . 7)) 619 0.2462 9.2085 ((29 . 3) (35 . 11) (36 . 12) (37 . 14)) 624 0.2500 8.1110 ((23 . 8) (28 . 17) (35 . 24) (36 . 26)) 635 0.2500 5.1337 ((28 . 4) (32 . 7) (35 . 14) (36 . 15)) 672 0.2500 10.0725 ((25 . 4) (28 . 8) (29 . 12) (35 . 21)) 678 0.2500 6.5520 ((22 . 25) (24 . 28) (27 . 33) (33 . 42)) 729 0.2496 18.3534 ((21 . 3) (23 . 6) (32 . 23) (37 . 32)) 767 0.2265 13.4365 ((23 . 2) (35 . 31) (36 . 32) (37 . 33)) 782 0.2500 10.5198 ((25 . 1) (27 . 4) (28 . 6) (34 . 14)) 792 0.7499 3.4770 ((1 . 1) (21 . 3) (22 . 5) (24 . 8) (25 . 10) (27 . 11) (28 . 13) (29 . 14) (30 . 16) (33 . 17) (34 . 19) (37 . 20)) 818 0.2500 10.4835 ((33 . 3) (34 . 5) (36 . 8) (37 . 11)) 819 0.2481 5.8045 ((28 . 1) (29 . 4) (35 . 8) (36 . 9)) 834 0.3094 9.6870 ((27 . 36) (28 . 38) (29 . 40) (32 . 43) (33 . 44)) 861 0.2460 15.7119 ((28 . 4) (29 . 5) (32 . 6) (37 . 11)) 901 0.2499 11.6901 ((24 . 3) (30 . 13) (32 . 14) (33 . 16)) 928 0.2411 16.2653 ((25 . 6) (27 . 11) (32 . 17) (33 . 19)) 943 0.2498 14.5987 ((32 . 5) (33 . 7) (36 . 12) (37 . 13)) 945 0.2461 13.1039 ((27 . 13) (29 . 16) (34 . 23) (37 . 25)) 960 0.2500 8.0245 ((21 . 16) (23 . 23) (25 . 26) (32 . 34)) 978 0.2500 3.6898 ((23 . 9) (24 . 11) (25 . 12) (29 . 18)) 1005 0.2461 13.0874 ((28 . 3) (29 . 4) (30 . 6) (34 . 8)) 1007 0.2500 8.1270 ((29 . 5) (30 . 6) (35 . 13) (36 . 14)) 1034 0.2101 14.7625 ((27 . 19) (29 . 24) (35 . 32) (37 . 36)) 1043 0.2460 16.1865 ((29 . 5) (32 . 9) (34 . 11) (37 . 15)) 1082 0.2500 8.7664 ((27 . 14) (28 . 17) (29 . 18) (32 . 21)) 1084 0.2481 10.7458 ((29 . 6) (33 . 15) (35 . 18) (36 . 19)) 1124 0.3117 7.4586 ((21 . 9) (22 . 10) (24 . 11) (25 . 13) (27 . 15) (29 . 16)) 1165 0.2498 14.4031 ((22 . 11) (23 . 13) (28 . 20) (29 . 23)) 1167 0.2102 10.2919 ((28 . 19) (30 . 24) (32 . 25) (37 . 29)) 1201 0.3105 11.6167 ((27 . 2) (33 . 13) (35 . 16) (36 . 17) (37 . 19)) 1204 0.2499 10.9891 ((32 . 2) (33 . 4) (34 . 6) (37 . 8)) 1210 0.4374 5.7317 ((27 . 1) (28 . 2) (29 . 3) (30 . 4) (33 . 5) (34 . 6) (37 . 7)) 1211 0.2461 12.8641 ((30 . 1) (34 . 7) (35 . 9) (36 . 10)) 1224 0.2500 6.0812 ((28 . 1) (29 . 2) (35 . 9) (36 . 10)) 1233 0.2265 10.2237 ((30 . 13) (33 . 19) (34 . 21) (36 . 23)) 1267 0.2500 9.4333 ((27 . 23) (29 . 25) (30 . 27) (36 . 38)) 1268 0.2500 10.1341 ((25 . 10) (33 . 20) (34 . 21) (37 . 26)) 1345 0.2500 8.0818 ((21 . 1) (23 . 6) (29 . 17) (30 . 19)) 1366 0.2499 13.7742 ((30 . 13) (34 . 18) (35 . 21) (36 . 22)) 1388 0.2500 9.3899 ((33 . 2) (34 . 3) (35 . 4) (36 . 5)) 1395 0.2499 12.9031 ((22 . 1) (23 . 2) (25 . 4) (27 . 6)) 1435 0.2499 14.1099 ((22 . 7) (23 . 9) (34 . 32) (35 . 33)) 1447 0.2499 11.8153 ((21 . 2) (22 . 4) (23 . 6) (27 . 13)) 1451 0.2500 9.2666 ((33 . 2) (35 . 4) (36 . 5) (37 . 7)) 1470 0.3749 7.4808 ((22 . 3) (24 . 6) (25 . 7) (27 . 10) (28 . 11) (29 . 12)) 1472 0.2412 11.5906 ((23 . 3) (27 . 11) (28 . 12) (29 . 13)) 1476 0.2500 9.9732 ((29 . 13) (30 . 16) (32 . 17) (34 . 19)) 1497 0.2500 6.9966 ((24 . 8) (28 . 15) (33 . 21) (34 . 23)) 1513 0.2499 11.6097 ((23 . 1) (25 . 7) (29 . 14) (33 . 19)) 1577 0.2413 8.0540 ((33 . 26) (34 . 27) (36 . 30) (37 . 31)) 1591 0.2462 9.0712 ((28 . 7) (30 . 10) (33 . 12) (35 . 16)) 1595 0.2266 9.3160 ((21 . 1) (22 . 2) (23 . 3) (24 . 6)) 1604 0.2102 9.2770 ((28 . 6) (30 . 11) (33 . 13) (34 . 14)) 1622 0.2462 7.8177 ((29 . 17) (33 . 21) (35 . 24) (36 . 25)) 1643 0.2500 7.5888 ((25 . 19) (33 . 35) (35 . 38) (36 . 39)) 1690 0.2500 7.6600 ((21 . 15) (25 . 26) (27 . 28) (28 . 29)) 1692 0.1835 7.8742 ((33 . 2) (34 . 4) (35 . 6) (36 . 7)) 1724 0.2500 10.4416 ((28 . 1) (29 . 4) (30 . 5) (33 . 8)) 1731 0.2500 10.5745 ((30 . 7) (33 . 10) (35 . 12) (36 . 13)) 1736 0.2500 6.4814 ((30 . 6) (33 . 8) (34 . 9) (35 . 12)) 1738 0.2500 8.8674 ((27 . 5) (30 . 15) (32 . 16) (34 . 20)) 1747 0.2500 9.0028 ((28 . 1) (33 . 9) (35 . 12) (36 . 13)) 1761 0.2481 11.1980 ((29 . 8) (30 . 10) (32 . 12) (37 . 18)) 1763 0.2500 7.1825 ((28 . 1) (30 . 6) (34 . 11) (37 . 12)) 1776 0.2461 13.6882 ((28 . 11) (33 . 21) (35 . 23) (37 . 25)) 1778 0.1308 11.3469 ((30 . 6) (33 . 10) (34 . 11) (35 . 12)) 1793 0.1593 8.4536 ((30 . 7) (33 . 9) (35 . 11) (36 . 12)) 1796 0.2500 8.8055 ((22 . 1) (24 . 4) (25 . 5) (27 . 7)) 1805 0.2462 7.9579 ((27 . 5) (35 . 15) (36 . 16) (37 . 18)) 1867 0.2102 11.6962 ((33 . 2) (34 . 4) (36 . 7) (37 . 8)) 1894 0.2500 8.5248 ((30 . 4) (33 . 8) (35 . 11) (36 . 12)) 1896 0.2462 8.5525 ((28 . 12) (34 . 21) (35 . 23) (36 . 24)) 1897 0.1835 9.1462 ((27 . 37) (28 . 38) (30 . 44) (32 . 45)) 1908 0.2500 7.7215 ((27 . 4) (30 . 8) (32 . 9) (34 . 14)) 1909 0.2462 9.6364 ((29 . 32) (30 . 33) (33 . 36) (34 . 38)) 1944 0.2498 14.4781 ((23 . 2) (27 . 8) (29 . 12) (37 . 25)) 1957 0.2498 15.7973 ((27 . 2) (29 . 4) (32 . 8) (33 . 10)) 1961 0.2265 10.6651 ((22 . 12) (23 . 13) (25 . 18) (29 . 25)) 1967 0.2499 11.1190 ((25 . 4) (28 . 8) (29 . 11) (32 . 15)) 1987 0.2500 4.9901 ((29 . 9) (30 . 10) (33 . 12) (34 . 13)) 2003 0.1835 9.3183 ((29 . 1) (30 . 2) (32 . 6) (35 . 10)) 2045 0.2102 7.2806 ((29 . 4) (30 . 5) (35 . 13) (36 . 11)) 2048 0.2499 12.9743 ((28 . 5) (29 . 9) (34 . 15) (35 . 17)) 2054 0.2499 12.2506 ((30 . 4) (33 . 9) (35 . 13) (36 . 14)) 2067 0.2887 8.3888 ((23 . 1) (25 . 6) (27 . 47) (28 . 49) (29 . 52)) 2072 0.2481 10.4831 ((34 . 3) (35 . 5) (36 . 6) (37 . 8)) 2081 0.2499 11.5262 ((25 . 7) (30 . 16) (36 . 23) (37 . 24)) 2094 0.1455 10.8285 ((29 . 1) (30 . 2) (32 . 3) (34 . 6)) 2097 0.2413 9.5572 ((33 . 10) (35 . 14) (36 . 16) (37 . 15)) 2114 0.2461 13.7089 ((27 . 30) (28 . 33) (30 . 38) (32 . 39)) 2117 0.2500 8.0649 ((29 . 2) (34 . 8) (35 . 11) (36 . 12)) 2118 0.1835 11.9153 ((25 . 2) (28 . 8) (29 . 9) (30 . 10)) 2122 0.2500 9.2341 ((25 . 2) (33 . 19) (34 . 20) (35 . 22)) 2166 0.1835 8.9130 ((21 . 1) (22 . 2) (23 . 5) (28 . 14)) 2179 0.2499 13.5372 ((30 . 2) (32 . 3) (35 . 10) (37 . 12)) 2233 0.2500 9.7697 ((22 . 1) (24 . 6) (25 . 7) (27 . 9)) 2243 0.2462 6.7676 ((29 . 46) (30 . 48) (35 . 53) (36 . 54)) 2248 0.1835 7.9315 ((28 . 17) (32 . 23) (34 . 26) (36 . 28)) 2249 0.2500 8.2286 ((22 . 1) (25 . 8) (27 . 10) (33 . 19)) 2269 0.2462 10.3686 ((22 . 2) (23 . 3) (25 . 9) (29 . 13)) 2279 0.2265 11.7007 ((27 . 6) (30 . 12) (32 . 15) (35 . 22)) 2295 0.2265 12.2797 ((30 . 1) (33 . 3) (34 . 4) (37 . 6)) 2298 0.2500 10.4956 ((22 . 3) (24 . 5) (35 . 15) (36 . 17)) 2308 0.2481 11.3074 ((25 . 1) (28 . 7) (33 . 12) (34 . 14)) 2314 0.2462 12.3433 ((25 . 1) (29 . 9) (35 . 17) (36 . 18)) 2342 0.5665 10.2590 ((1 . 2) (21 . 3) (22 . 4) (24 . 5) (25 . 6) (27 . 7) (28 . 10) (29 . 11) (30 . 12) (33 . 13) (37 . 14)) 2344 0.2500 8.5516 ((29 . 12) (30 . 15) (33 . 17) (34 . 19)) 2364 0.2500 8.6657 ((30 . 10) (32 . 11) (35 . 18) (36 . 19)) 2389 0.2266 8.5534 ((29 . 2) (35 . 10) (36 . 11) (37 . 12)) 2409 0.2265 11.1395 ((30 . 1) (35 . 9) (36 . 8) (37 . 10)) 2423 0.2481 7.0454 ((29 . 13) (35 . 21) (36 . 22) (37 . 23)) 2443 0.2500 6.1537 ((30 . 1) (32 . 2) (33 . 3) (34 . 4)) 2447 0.2500 8.5461 ((23 . 19) (25 . 26) (30 . 34) (37 . 41)) 2465 0.2499 13.1926 ((23 . 1) (25 . 4) (27 . 7) (28 . 8)) 2510 0.3123 11.0150 ((1 . 2) (21 . 4) (22 . 6) (29 . 22) (32 . 29)) 2519 0.2412 10.9771 ((28 . 1) (30 . 3) (32 . 4) (33 . 6)) 2525 0.2266 9.7562 ((29 . 39) (30 . 42) (36 . 48) (37 . 49)) 2533 0.2481 9.0223 ((23 . 1) (24 . 3) (25 . 5) (30 . 14)) 2551 0.2481 8.5544 ((29 . 4) (30 . 5) (33 . 7) (35 . 11)) 2556 0.2102 12.0553 ((30 . 14) (32 . 15) (33 . 17) (35 . 20)) 2557 0.1593 13.6509 ((34 . 4) (35 . 7) (36 . 6) (37 . 8)) 2561 0.1835 9.1090 ((29 . 2) (32 . 5) (35 . 8) (36 . 9)) 2591 0.2499 12.7140 ((30 . 34) (33 . 36) (34 . 37) (37 . 39)) 2595 0.2462 9.8757 ((29 . 2) (30 . 5) (35 . 11) (37 . 14)) 2627 0.3123 10.9678 ((21 . 53) (22 . 54) (24 . 56) (25 . 57) (28 . 62)) 2634 0.2500 8.2413 ((30 . 1) (33 . 3) (34 . 5) (37 . 7)) 2658 0.2462 11.9531 ((30 . 6) (33 . 9) (35 . 12) (36 . 13)) 2682 0.2499 12.6937 ((28 . 6) (29 . 10) (34 . 18) (36 . 19)) 2703 0.2266 7.2258 ((28 . 2) (29 . 4) (30 . 5) (32 . 6)) 2733 0.2412 13.1725 ((33 . 7) (34 . 9) (36 . 11) (37 . 12)) 2753 0.2499 12.6035 ((29 . 3) (30 . 6) (34 . 8) (37 . 11)) 2773 0.2102 9.5375 ((27 . 4) (28 . 7) (29 . 8) (30 . 9)) 2804 0.2500 10.6803 ((27 . 26) (32 . 35) (34 . 37) (35 . 39)) 2821 0.2500 10.2515 ((30 . 6) (33 . 10) (36 . 13) (37 . 14)) 2830 0.2266 10.0057 ((25 . 12) (29 . 18) (35 . 25) (36 . 26)) 2834 0.2500 10.0099 ((28 . 2) (33 . 10) (36 . 14) (37 . 15)) 2842 0.2499 12.6789 ((32 . 6) (33 . 7) (35 . 9) (37 . 10)) 2867 0.2462 11.1051 ((29 . 1) (30 . 3) (34 . 10) (37 . 11)) 2947 0.2500 6.1056 ((23 . 5) (28 . 9) (29 . 17) (30 . 20)) 2950 0.2266 9.6305 ((29 . 7) (30 . 8) (33 . 11) (34 . 12)) 2966 0.2102 10.8117 ((29 . 2) (33 . 7) (35 . 11) (36 . 12)) 2990 0.2462 8.9005 ((33 . 10) (35 . 14) (36 . 15) (37 . 17)) 3014 0.2500 7.5987 ((21 . 8) (28 . 16) (32 . 20) (34 . 26)) 3019 0.2413 8.1060 ((27 . 8) (29 . 12) (30 . 13) (37 . 18)) 3041 0.3112 10.7153 ((21 . 7) (27 . 19) (28 . 20) (35 . 32) (36 . 33)) 3070 0.2500 10.4688 ((33 . 30) (34 . 31) (35 . 33) (37 . 34)) 3084 0.2499 11.8529 ((25 . 4) (28 . 8) (32 . 14) (37 . 20)) 3102 0.2500 7.8766 ((28 . 64) (35 . 74) (36 . 75) (37 . 78)) 3127 0.2499 11.0873 ((29 . 5) (30 . 7) (32 . 9) (37 . 16)) 3176 0.2499 13.0192 ((21 . 21) (23 . 23) (27 . 31) (29 . 33)) 3197 0.2496 18.5903 ((27 . 22) (28 . 23) (30 . 27) (34 . 33)) 3200 0.2497 16.2901 ((29 . 2) (33 . 8) (36 . 13) (37 . 14)) 3202 0.2499 12.0912 ((25 . 7) (27 . 10) (30 . 15) (33 . 20)) 3212 0.2265 10.8535 ((29 . 1) (32 . 6) (33 . 7) (34 . 10)) 3222 0.2500 9.8848 ((27 . 2) (32 . 13) (35 . 18) (37 . 22)) 3286 0.2500 9.3810 ((28 . 2) (30 . 6) (33 . 8) (37 . 15)) 3300 0.2265 10.4961 ((28 . 3) (30 . 9) (32 . 10) (34 . 12)) 3310 0.2412 12.1628 ((30 . 6) (32 . 7) (34 . 10) (37 . 11)) 3334 0.2413 7.2514 ((25 . 7) (27 . 11) (28 . 12) (29 . 13)) 3339 0.2500 9.9816 ((22 . 24) (23 . 25) (27 . 35) (28 . 36)) 3358 0.2500 9.4536 ((28 . 3) (29 . 5) (32 . 9) (34 . 11)) 3362 0.2499 11.5929 ((33 . 7) (35 . 10) (36 . 11) (37 . 13)) 3366 0.2462 6.8355 ((29 . 25) (35 . 31) (36 . 32) (37 . 33)) 3391 0.2500 7.5603 ((23 . 7) (25 . 12) (28 . 18) (29 . 20)) 3410 0.2102 11.4708 ((23 . 20) (24 . 23) (25 . 27) (27 . 29)) 3415 0.2500 9.2855 ((24 . 18) (27 . 22) (28 . 23) (29 . 24)) 3446 0.2500 8.4820 ((22 . 1) (27 . 8) (30 . 12) (32 . 13)) 3470 0.2499 12.0515 ((22 . 11) (24 . 14) (27 . 17) (28 . 18)) 3481 0.2499 12.8327 ((32 . 3) (33 . 5) (35 . 8) (37 . 11)) 3495 0.2500 9.3407 ((28 . 6) (29 . 9) (30 . 10) (34 . 14)) 3496 0.2481 10.6776 ((29 . 24) (30 . 25) (32 . 26) (34 . 28)) 3538 0.2480 14.3569 ((24 . 16) (28 . 21) (33 . 27) (34 . 28)) 3548 0.2461 15.0654 ((34 . 7) (35 . 8) (36 . 9) (37 . 11)) 3561 0.2500 9.4487 ((29 . 17) (30 . 21) (34 . 25) (37 . 29)) 3570 0.2413 7.4395 ((33 . 2) (35 . 7) (36 . 8) (37 . 9)) 3585 0.2500 9.2232 ((32 . 7) (35 . 13) (36 . 14) (37 . 15)) 3613 0.7495 4.7751 ((1 . 23) (21 . 26) (22 . 27) (24 . 28) (25 . 30) (27 . 31) (28 . 32) (29 . 38) (30 . 39) (33 . 42) (34 . 43) (37 . 44)) 3626 0.2266 7.5610 ((33 . 1) (34 . 5) (35 . 6) (36 . 8)) 3628 0.2500 7.3486 ((21 . 1) (22 . 5) (28 . 15) (29 . 16)) 3651 0.2500 10.0742 ((30 . 2) (32 . 4) (36 . 9) (37 . 10)) 3658 0.2500 6.1070 ((30 . 13) (33 . 14) (35 . 17) (36 . 18)) 3661 0.2500 10.3584 ((28 . 9) (29 . 10) (33 . 17) (34 . 18)) 3663 0.2481 9.5236 ((28 . 3) (29 . 4) (30 . 6) (32 . 7)) 3688 0.2477 19.1580 ((27 . 10) (35 . 22) (36 . 23) (37 . 24)) 3732 0.2500 9.7306 ((33 . 8) (35 . 11) (36 . 12) (37 . 13)) 3741 0.1835 8.5656 ((24 . 5) (35 . 28) (36 . 32) (37 . 33)) 3778 0.2500 9.1253 ((24 . 5) (30 . 19) (33 . 21) (34 . 23)) 3787 0.2581 8.7006 ((24 . 5) (27 . 6) (28 . 20) (30 . 24) (32 . 25) (34 . 28)) 3790 0.2500 6.2862 ((30 . 17) (33 . 20) (35 . 24) (36 . 25)) 3817 0.2462 8.1432 ((22 . 3) (25 . 8) (28 . 13) (32 . 17)) 3818 0.1835 10.4545 ((32 . 24) (34 . 27) (35 . 28) (36 . 29)) 3829 0.2462 7.9750 ((28 . 4) (29 . 7) (30 . 8) (32 . 11)) 3830 0.2499 12.7287 ((23 . 1) (24 . 2) (25 . 4) (27 . 6)) 3831 0.1835 8.8958 ((27 . 1) (29 . 4) (32 . 7) (34 . 11)) 3834 0.2500 10.6324 ((27 . 2) (29 . 4) (30 . 5) (34 . 8)) 3847 0.2500 9.0560 ((24 . 10) (27 . 11) (29 . 12) (36 . 16)) 3853 0.2500 9.5794 ((21 . 4) (25 . 11) (28 . 19) (29 . 20)) 3870 0.1835 14.1440 ((32 . 9) (34 . 12) (36 . 13) (37 . 14)) 3938 0.2462 7.9803 ((33 . 1) (34 . 3) (35 . 6) (36 . 8)) 3990 0.2413 8.4412 ((32 . 19) (33 . 21) (35 . 24) (36 . 25)) 4005 0.2500 6.6185 ((25 . 16) (30 . 28) (35 . 40) (36 . 41)) 4009 0.2500 8.6150 ((27 . 8) (30 . 16) (35 . 23) (37 . 25)) 4011 0.2500 8.3079 ((21 . 1) (22 . 2) (24 . 5) (25 . 6)) 4019 0.2500 8.3819 ((32 . 40) (33 . 41) (35 . 45) (36 . 46)) 4030 0.3124 9.3593 ((21 . 7) (22 . 9) (24 . 13) (25 . 15) (27 . 17)) 4034 0.2500 9.0880 ((32 . 7) (33 . 8) (35 . 10) (36 . 11)) 4062 0.2499 11.6579 ((23 . 33) (27 . 39) (29 . 40) (30 . 44)) 4067 0.2461 13.3404 ((27 . 11) (28 . 13) (30 . 17) (35 . 24)) 4077 0.2500 7.7854 ((29 . 5) (33 . 9) (34 . 12) (37 . 14)) 4082 0.2481 7.9048 ((30 . 1) (33 . 3) (34 . 4) (36 . 7)) 4087 0.2481 11.2663 ((33 . 2) (34 . 4) (35 . 5) (36 . 6)) 4115 0.2500 9.9464 ((28 . 2) (33 . 11) (34 . 12) (36 . 15)) 4134 0.2500 10.2694 ((27 . 25) (28 . 26) (29 . 27) (34 . 32)) 4151 0.2462 10.7555 ((28 . 2) (29 . 4) (32 . 8) (34 . 11)) 4190 0.2500 8.5042 ((30 . 2) (33 . 6) (35 . 8) (36 . 9)) 4192 0.2462 11.7904 ((29 . 11) (32 . 14) (33 . 16) (35 . 19)) 4195 0.7498 3.7436 ((1 . 1) (21 . 2) (22 . 3) (24 . 4) (25 . 5) (27 . 7) (28 . 8) (29 . 10) (30 . 11) (33 . 12) (34 . 13) (37 . 19)) 4204 0.2500 9.7028 ((30 . 2) (33 . 4) (35 . 7) (37 . 10)) 4209 0.2481 11.5926 ((32 . 3) (34 . 6) (35 . 10) (37 . 11)) 4210 0.1835 12.9269 ((28 . 1) (29 . 3) (32 . 7) (33 . 9)) 4216 0.2500 6.1961 ((30 . 10) (33 . 13) (34 . 14) (37 . 16)) 4226 0.2498 14.8950 ((29 . 2) (30 . 3) (34 . 10) (37 . 15)) 4243 0.1593 10.6189 ((22 . 2) (23 . 3) (24 . 5) (25 . 6)) 4254 0.2500 10.4951 ((23 . 2) (25 . 5) (28 . 12) (29 . 16)) 4261 0.2500 4.0150 ((29 . 12) (30 . 14) (33 . 15) (34 . 17)) 4265 0.1593 11.2937 ((28 . 22) (30 . 27) (32 . 28) (34 . 31)) 4266 0.2500 10.0075 ((25 . 3) (28 . 7) (29 . 9) (30 . 10)) 4275 0.2500 7.5500 ((32 . 22) (35 . 27) (36 . 28) (37 . 29)) 4281 0.2499 11.3896 ((28 . 7) (29 . 11) (32 . 14) (33 . 16)) 4284 0.1835 11.0022 ((34 . 2) (35 . 4) (36 . 5) (37 . 7)) 4299 0.2500 8.2208 ((28 . 7) (30 . 10) (35 . 16) (36 . 19)) 4326 0.2499 12.0697 ((25 . 1) (29 . 8) (32 . 14) (34 . 18)) 4332 0.1835 9.5059 ((28 . 1) (29 . 3) (32 . 5) (33 . 8)) 4352 0.2887 7.2225 ((21 . 2) (25 . 4) (28 . 6) (29 . 13) (30 . 14)) 4380 0.2500 7.4928 ((30 . 6) (34 . 16) (35 . 17) (36 . 18)) 4386 0.2500 10.0646 ((21 . 8) (24 . 11) (25 . 13) (27 . 17)) 4388 0.2500 7.9641 ((29 . 2) (32 . 4) (35 . 9) (36 . 10)) 4408 0.2500 9.1572 ((23 . 5) (25 . 10) (28 . 19) (29 . 20)) 4415 0.1835 10.6746 ((29 . 2) (32 . 5) (34 . 10) (35 . 12)) 4419 0.2413 8.4029 ((33 . 5) (35 . 9) (36 . 10) (37 . 11)) 4470 0.2500 10.6578 ((27 . 15) (29 . 17) (32 . 22) (35 . 25)) 4492 0.2411 14.8032 ((32 . 12) (33 . 14) (35 . 18) (37 . 22)) 4495 0.2500 7.3160 ((22 . 1) (24 . 5) (34 . 19) (36 . 21)) 4502 0.2500 7.7729 ((29 . 2) (30 . 3) (35 . 9) (36 . 10)) 4504 0.2462 5.8276 ((30 . 16) (34 . 18) (35 . 20) (36 . 21)) 4505 0.2499 12.3417 ((27 . 27) (30 . 31) (32 . 33) (33 . 35)) 4516 0.2500 8.7198 ((25 . 9) (28 . 15) (30 . 19) (34 . 25)) 4538 0.2266 6.9223 ((30 . 27) (35 . 37) (36 . 38) (37 . 39)) 4560 0.1835 7.3727 ((32 . 5) (34 . 10) (35 . 13) (36 . 16)) 4561 0.2499 13.1926 ((32 . 4) (33 . 6) (36 . 9) (37 . 11)) 4562 0.2461 14.6293 ((28 . 21) (29 . 23) (33 . 28) (34 . 30)) 4563 0.2499 13.3966 ((25 . 25) (28 . 30) (30 . 33) (34 . 37)) 4577 0.2500 8.7715 ((24 . 36) (35 . 52) (36 . 54) (37 . 56)) 4579 0.2500 8.1085 ((25 . 2) (28 . 6) (29 . 7) (32 . 11)) 4588 0.2462 7.6290 ((32 . 2) (35 . 8) (36 . 9) (37 . 12)) 4589 0.2499 12.7081 ((33 . 20) (34 . 21) (35 . 23) (37 . 26)) 4607 0.2500 9.0083 ((21 . 2) (27 . 17) (28 . 18) (30 . 20)) 4621 0.2102 13.7961 ((30 . 1) (33 . 2) (36 . 8) (37 . 10)) 4648 0.2481 11.1145 ((34 . 3) (35 . 5) (36 . 8) (37 . 7)) 4671 0.2499 12.7743 ((32 . 3) (33 . 5) (36 . 7) (37 . 9)) 4674 0.2500 9.6629 ((32 . 4) (33 . 5) (35 . 8) (36 . 9)) 4678 0.2499 12.0276 ((25 . 1) (29 . 8) (30 . 9) (35 . 16)) 4699 0.3125 7.2261 ((27 . 8) (28 . 10) (29 . 11) (30 . 12) (32 . 13)) 4713 0.1835 12.4310 ((30 . 1) (35 . 7) (36 . 8) (37 . 10)) 4715 0.2500 8.5283 ((22 . 1) (25 . 7) (28 . 13) (29 . 15)) 4716 0.2500 8.9036 ((29 . 4) (30 . 5) (33 . 7) (34 . 8)) 4731 0.2500 9.4380 ((33 . 19) (34 . 20) (35 . 22) (36 . 23)) 4764 0.2462 10.3057 ((23 . 5) (24 . 7) (25 . 8) (27 . 11)) 4783 0.2500 8.7055 ((24 . 2) (27 . 6) (29 . 8) (34 . 12)) 4817 0.3722 5.4786 ((27 . 6) (28 . 7) (29 . 9) (30 . 11) (32 . 12) (33 . 13)) 4857 0.2500 7.6352 ((32 . 4) (35 . 9) (36 . 11) (37 . 12)) 4886 0.2499 10.9888 ((25 . 18) (30 . 27) (33 . 28) (35 . 31)) 4888 0.2500 10.5724 ((21 . 2) (22 . 5) (29 . 19) (32 . 23)) 4889 0.2500 8.3138 ((21 . 9) (23 . 13) (25 . 19) (27 . 21)) 4907 0.2412 11.9019 ((33 . 2) (35 . 7) (36 . 8) (37 . 10)) 4914 0.2462 7.7876 ((33 . 2) (34 . 3) (35 . 5) (36 . 6)) 4961 0.2499 11.0096 ((25 . 4) (28 . 11) (30 . 16) (33 . 18)) 4963 0.2500 9.4733 ((22 . 2) (24 . 5) (27 . 8) (29 . 10)) 4978 0.2500 7.4424 ((32 . 19) (33 . 20) (35 . 22) (36 . 24)) 4998 0.2500 9.6770 ((25 . 16) (28 . 21) (32 . 27) (34 . 30)) 5000 0.2500 6.7828 ((21 . 32) (22 . 33) (24 . 35) (25 . 36)) 5016 0.2500 7.6595 ((21 . 5) (22 . 6) (24 . 8) (25 . 9)) 5039 0.2500 7.0125 ((28 . 35) (29 . 36) (35 . 44) (36 . 45)) 5044 0.2412 12.0568 ((30 . 4) (33 . 11) (35 . 14) (36 . 16)) 5053 0.2412 12.3612 ((25 . 1) (28 . 8) (32 . 13) (33 . 14)) 5065 0.2763 7.0845 ((27 . 1) (30 . 5) (32 . 6) (35 . 9) (37 . 12)) 5068 0.2500 6.6475 ((27 . 1) (28 . 3) (30 . 9) (34 . 14)) 5069 0.2500 9.3501 ((25 . 1) (28 . 8) (33 . 16) (35 . 19)) 5073 0.2462 10.9235 ((28 . 31) (30 . 35) (33 . 40) (35 . 42)) 5080 0.2500 8.2201 ((27 . 5) (30 . 9) (33 . 13) (34 . 14)) 5092 0.2500 8.8789 ((24 . 3) (28 . 8) (29 . 9) (30 . 11)) 5101 0.2500 9.8818 ((23 . 6) (32 . 22) (33 . 24) (37 . 28)) 5103 0.2413 9.6811 ((23 . 3) (25 . 5) (28 . 11) (34 . 18)) 5121 0.3500 6.8853 ((21 . 13) (24 . 14) (28 . 17) (30 . 22) (35 . 25) (36 . 26)) 5132 0.2500 9.6782 ((28 . 14) (29 . 17) (33 . 21) (37 . 24)) 5134 0.2462 10.1663 ((21 . 9) (23 . 11) (24 . 15) (25 . 16)) 5145 0.2102 9.7893 ((22 . 2) (23 . 4) (25 . 9) (27 . 11)) 5167 0.2266 7.7142 ((27 . 7) (28 . 8) (29 . 10) (32 . 13)) 5192 0.2499 12.0025 ((32 . 2) (34 . 6) (36 . 9) (37 . 10)) 5198 0.2462 9.0320 ((30 . 23) (33 . 25) (35 . 31) (36 . 32)) 5199 0.1835 7.7789 ((29 . 2) (30 . 6) (35 . 9) (36 . 10)) 5209 0.2412 10.2550 ((30 . 2) (33 . 6) (35 . 8) (36 . 9)) 5212 0.3107 15.8414 ((21 . 10) (25 . 15) (28 . 19) (29 . 20) (30 . 25)) 5215 0.1593 16.4364 ((22 . 6) (23 . 8) (25 . 13) (28 . 17)) 5223 0.2500 10.5106 ((24 . 2) (25 . 4) (29 . 13) (30 . 14)) 5266 0.2499 10.8082 ((23 . 1) (27 . 9) (29 . 12) (34 . 19)) 5285 0.2413 5.1336 ((27 . 1) (28 . 2) (29 . 4) (30 . 5)) 5307 0.2265 11.3140 ((29 . 52) (30 . 54) (33 . 56) (34 . 59)) 5318 0.2498 14.8730 ((22 . 5) (25 . 9) (28 . 14) (29 . 16)) 5323 0.2500 8.4534 ((21 . 2) (25 . 9) (27 . 13) (32 . 18)) 5324 0.2500 9.5017 ((21 . 4) (23 . 8) (29 . 18) (35 . 25)) 5344 0.2500 7.0238 ((32 . 5) (33 . 6) (35 . 9) (36 . 10)) 5368 0.2412 13.6312 ((33 . 44) (35 . 46) (36 . 47) (37 . 50)) 5378 0.2500 9.4265 ((25 . 1) (27 . 5) (32 . 13) (37 . 20)) 5411 0.2266 9.4343 ((30 . 1) (34 . 5) (35 . 6) (36 . 8)) 5418 0.2499 10.9092 ((33 . 4) (35 . 9) (36 . 8) (37 . 10)) 5442 0.2500 10.7097 ((24 . 33) (27 . 38) (28 . 39) (29 . 40)) 5487 0.2481 9.4349 ((30 . 3) (32 . 5) (33 . 8) (34 . 10)) 5489 0.2102 11.1458 ((29 . 4) (35 . 12) (36 . 13) (37 . 15)) 5501 0.2499 13.0063 ((29 . 23) (30 . 26) (32 . 27) (37 . 34)) 5525 0.2500 9.1390 ((22 . 1) (23 . 2) (28 . 11) (29 . 12)) 5535 0.2500 8.2072 ((29 . 1) (32 . 5) (35 . 10) (36 . 11)) 5540 0.2498 15.1623 ((28 . 2) (30 . 5) (33 . 9) (35 . 14)) 5560 0.2500 10.1889 ((25 . 1) (28 . 6) (30 . 10) (36 . 17)) 5562 0.2462 8.8967 ((29 . 5) (30 . 9) (32 . 10) (34 . 13)) 5567 0.2481 8.9217 ((30 . 10) (34 . 16) (35 . 17) (36 . 18)) 5594 0.2500 9.7415 ((25 . 2) (27 . 7) (28 . 8) (29 . 10)) 5600 0.2500 7.0484 ((27 . 1) (32 . 7) (33 . 10) (34 . 12)) 5601 0.2481 8.5347 ((30 . 4) (32 . 6) (33 . 9) (34 . 11)) 5648 0.3248 10.6142 ((27 . 3) (29 . 4) (30 . 5) (33 . 6) (34 . 7) (37 . 8)) 5656 0.2500 6.3357 ((28 . 11) (30 . 15) (35 . 21) (36 . 23)) 5689 0.3747 9.7596 ((24 . 4) (25 . 8) (27 . 9) (29 . 12) (32 . 18) (33 . 19)) 5701 0.2500 9.1556 ((27 . 2) (28 . 3) (35 . 11) (36 . 12)) 5702 0.2500 8.5784 ((28 . 1) (29 . 2) (33 . 7) (37 . 10)) 5704 0.2500 9.3014 ((30 . 2) (33 . 4) (34 . 5) (37 . 6)) 5718 0.2413 7.4855 ((34 . 15) (35 . 16) (36 . 17) (37 . 22)) 5746 0.2500 10.1483 ((28 . 1) (30 . 4) (32 . 5) (36 . 13)) 5749 0.2462 9.9135 ((23 . 1) (24 . 2) (27 . 8) (28 . 9)) 5770 0.2481 11.3180 ((23 . 2) (25 . 7) (28 . 18) (33 . 22)) 5771 0.2500 9.6450 ((25 . 2) (27 . 8) (28 . 10) (35 . 21)) 5782 0.2498 14.3554 ((23 . 3) (27 . 11) (29 . 17) (33 . 23)) 5794 0.2500 9.1924 ((28 . 13) (33 . 22) (35 . 24) (36 . 25)) 5795 0.2481 10.6595 ((30 . 2) (32 . 3) (34 . 5) (35 . 6)) 5809 0.2481 11.8130 ((30 . 2) (32 . 4) (34 . 6) (37 . 8)) 5827 0.2500 8.1025 ((28 . 10) (29 . 12) (34 . 18) (37 . 22)) 5830 0.2500 10.7088 ((28 . 5) (32 . 11) (35 . 17) (36 . 18)) 5878 0.2500 9.4644 ((32 . 22) (33 . 23) (34 . 24) (37 . 31)) 5888 0.2266 7.5883 ((22 . 1) (23 . 2) (35 . 24) (36 . 25)) 5904 0.1835 10.5142 ((29 . 2) (30 . 3) (34 . 8) (36 . 9)) 5913 0.2481 11.0290 ((30 . 8) (32 . 11) (33 . 12) (34 . 14)) 5914 0.2462 12.2570 ((34 . 4) (35 . 5) (36 . 6) (37 . 7)) 5930 0.2500 3.6114 ((33 . 5) (34 . 6) (35 . 8) (36 . 9)) 5939 0.2462 10.0353 ((25 . 1) (27 . 5) (28 . 7) (30 . 12)) 5945 0.2500 7.8695 ((23 . 12) (28 . 25) (29 . 27) (32 . 31)) 5949 0.2500 9.9389 ((23 . 3) (25 . 8) (28 . 15) (32 . 19)) 5955 0.2500 9.9398 ((28 . 8) (29 . 10) (32 . 13) (34 . 18)) 5967 0.2102 11.2822 ((30 . 2) (32 . 6) (33 . 8) (34 . 10)) 5972 0.2499 11.7289 ((33 . 1) (35 . 7) (36 . 6) (37 . 8)) 6000 0.2887 6.0836 ((25 . 2) (28 . 8) (33 . 16) (35 . 17) (36 . 21)) 6029 0.2500 8.4436 ((23 . 28) (27 . 36) (28 . 38) (29 . 39)) 6033 0.3125 6.5853 ((29 . 4) (30 . 5) (33 . 7) (34 . 9) (37 . 10)) 6041 0.2462 7.4076 ((29 . 5) (30 . 6) (35 . 12) (36 . 13)) 6074 0.2499 11.3323 ((25 . 1) (28 . 5) (32 . 10) (34 . 14)) 6075 0.2265 11.9827 ((23 . 16) (24 . 18) (29 . 29) (30 . 30)) 6079 0.3070 7.8754 ((21 . 2) (27 . 14) (28 . 15) (29 . 16) (30 . 19)) 6087 0.2499 12.4003 ((28 . 2) (29 . 4) (32 . 7) (34 . 9)) 6089 0.2500 6.0812 ((28 . 4) (35 . 16) (36 . 18) (37 . 19)) 6099 0.2887 5.9962 ((27 . 12) (28 . 15) (30 . 19) (35 . 24) (36 . 25)) 6169 0.3124 9.1115 ((24 . 2) (27 . 4) (28 . 8) (29 . 9) (30 . 11)) 6191 0.2481 7.8297 ((30 . 1) (34 . 5) (35 . 6) (36 . 9)) 6192 0.2462 7.0854 ((33 . 7) (34 . 9) (35 . 10) (36 . 11)) 6225 0.2413 9.1160 ((29 . 1) (30 . 2) (35 . 8) (37 . 9)) 6228 0.2500 5.9059 ((22 . 4) (27 . 6) (29 . 16) (34 . 17)) 6238 0.2500 9.2290 ((33 . 1) (34 . 2) (35 . 3) (36 . 4)) 6243 0.2499 11.4077 ((32 . 5) (33 . 7) (34 . 9) (37 . 11)) 6251 0.2500 10.3337 ((30 . 9) (32 . 11) (33 . 14) (37 . 18)) 6258 0.2462 11.9892 ((28 . 1) (30 . 5) (33 . 8) (37 . 11)) 6261 0.2499 12.7987 ((28 . 2) (30 . 7) (32 . 10) (37 . 18)) 6266 0.2498 15.0562 ((27 . 1) (28 . 4) (30 . 7) (34 . 12)) 6268 0.2500 6.8673 ((27 . 8) (29 . 11) (30 . 13) (32 . 14)) 6270 0.2462 11.0420 ((28 . 11) (29 . 14) (35 . 20) (37 . 23)) 6271 0.2499 10.8243 ((30 . 6) (32 . 9) (35 . 12) (37 . 14)) 6273 0.2102 9.4695 ((33 . 5) (35 . 6) (36 . 7) (37 . 9)) 6294 0.2500 10.0711 ((22 . 5) (24 . 7) (28 . 19) (30 . 24)) 6329 0.2500 6.6349 ((28 . 1) (32 . 5) (33 . 6) (34 . 7)) 6344 0.2500 9.0572 ((27 . 2) (28 . 5) (32 . 10) (37 . 16)) 6345 0.1593 8.2510 ((22 . 2) (27 . 9) (35 . 23) (36 . 24)) 6348 0.2500 7.2602 ((23 . 2) (24 . 5) (27 . 10) (28 . 13)) 6355 0.1593 11.8123 ((29 . 3) (30 . 5) (34 . 13) (35 . 12)) 6356 0.2499 11.3191 ((25 . 3) (28 . 8) (33 . 16) (34 . 17)) 6359 0.2500 8.2128 ((30 . 2) (33 . 4) (34 . 5) (37 . 8)) 6369 0.2500 8.8827 ((21 . 10) (30 . 27) (35 . 32) (36 . 33)) 6376 0.2462 8.6981 ((29 . 16) (30 . 18) (32 . 20) (37 . 29)) 6384 0.2500 9.0716 ((27 . 3) (28 . 4) (29 . 5) (30 . 6)) 6391 0.2481 10.6001 ((27 . 3) (28 . 4) (33 . 9) (34 . 11)) 6392 0.2500 10.7639 ((32 . 2) (33 . 4) (35 . 7) (37 . 8)) 6403 0.2500 7.3974 ((33 . 9) (34 . 11) (35 . 13) (36 . 14)) 6461 0.2462 10.3138 ((23 . 1) (24 . 2) (25 . 4) (27 . 7)) 6462 0.3069 9.8727 ((1 . 1) (23 . 11) (24 . 14) (32 . 27) (34 . 34)) 6476 0.1593 10.0124 ((32 . 1) (33 . 2) (34 . 6) (36 . 9)) 6498 0.2500 9.1981 ((30 . 15) (34 . 22) (36 . 24) (37 . 26)) 6506 0.3124 10.5717 ((24 . 20) (25 . 21) (28 . 24) (29 . 25) (30 . 27)) 6520 0.2459 17.0806 ((29 . 11) (34 . 18) (35 . 19) (36 . 20)) 6536 1.0000 0.0000 ((1 . 1) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (27 . 27) (28 . 28) (29 . 29) (30 . 30) (32 . 32) (33 . 33) (34 . 34) (35 . 35) (36 . 36) (37 . 37)) 6548 0.2495 19.2752 ((23 . 3) (24 . 4) (25 . 6) (28 . 14)) 6553 0.1593 9.4695 ((28 . 12) (30 . 16) (35 . 24) (36 . 25)) 6555 0.1593 7.9454 ((28 . 8) (29 . 12) (35 . 22) (36 . 23)) 6561 0.2497 16.2577 ((25 . 2) (27 . 4) (30 . 11) (37 . 16)) 6573 0.2500 10.7099 ((32 . 15) (33 . 16) (34 . 18) (35 . 19)) 6578 0.2499 12.7308 ((27 . 33) (28 . 36) (30 . 40) (32 . 41)) 6584 0.2462 10.2122 ((30 . 1) (33 . 4) (35 . 6) (36 . 7)) 6585 0.2500 10.3283 ((23 . 3) (24 . 5) (25 . 7) (28 . 12)) 6586 0.1835 7.1908 ((27 . 16) (28 . 17) (32 . 23) (35 . 25)) 6587 0.2500 5.2334 ((32 . 27) (33 . 28) (35 . 33) (36 . 34)) 6605 0.1835 7.0945 ((24 . 2) (25 . 5) (28 . 6) (29 . 7)) 6613 0.2500 9.8767 ((30 . 19) (34 . 23) (35 . 24) (37 . 25)) 6622 0.5000 3.8729 ((25 . 1) (27 . 2) (28 . 4) (29 . 5) (30 . 6) (33 . 8) (34 . 10) (37 . 11)) 6635 0.2462 9.6833 ((30 . 2) (32 . 3) (34 . 6) (37 . 10)) END