2410 41 0.6627 9.4777 ((12 . 4) (13 . 5) (15 . 6) (16 . 7)) 51 0.1665 8.4054 ((12 . 3) (13 . 6) (15 . 9) (17 . 10)) 91 0.6660 6.0711 ((12 . 36) (13 . 37) (15 . 41) (16 . 42)) 96 0.2660 6.6582 ((13 . 3) (14 . 4) (15 . 7) (16 . 6) (17 . 5)) 136 0.6665 4.3299 ((12 . 2) (13 . 3) (15 . 6) (17 . 7)) 150 0.2488 7.8425 ((12 . 18) (13 . 20) (14 . 21) (16 . 23)) 157 0.6658 6.4747 ((13 . 3) (14 . 4) (15 . 6) (16 . 8)) 162 0.3879 7.9068 ((12 . 16) (13 . 17) (16 . 20) (17 . 22)) 207 0.6662 5.5501 ((12 . 6) (13 . 8) (14 . 10) (15 . 11)) 305 0.5274 9.9245 ((12 . 8) (13 . 11) (14 . 10) (17 . 15)) 307 0.6665 4.1821 ((12 . 6) (13 . 7) (15 . 8) (16 . 9)) 315 0.3879 7.1413 ((12 . 2) (13 . 3) (16 . 6) (17 . 8)) 329 0.4666 7.1795 ((14 . 1) (15 . 3) (16 . 5) (17 . 4)) 350 0.6625 9.5844 ((13 . 7) (14 . 9) (16 . 11) (17 . 13)) 367 0.2970 6.7090 ((13 . 38) (15 . 39) (16 . 40) (17 . 42)) 387 0.2487 10.1335 ((12 . 6) (13 . 8) (16 . 10) (17 . 11)) 433 0.4666 7.0560 ((12 . 2) (15 . 4) (16 . 5) (17 . 6)) 491 0.1996 8.6091 ((12 . 2) (13 . 6) (14 . 5) (17 . 8)) 495 0.6657 6.5628 ((13 . 5) (15 . 6) (16 . 7) (17 . 8)) 541 0.6648 7.8490 ((12 . 6) (13 . 7) (15 . 10) (16 . 11)) 543 0.6658 6.4657 ((13 . 6) (15 . 7) (16 . 8) (17 . 10)) 561 0.6666 3.5742 ((13 . 1) (15 . 2) (16 . 3) (17 . 4)) 587 0.6664 4.7941 ((13 . 11) (14 . 12) (16 . 14) (17 . 15)) 619 0.6655 6.9248 ((12 . 10) (13 . 12) (15 . 14) (16 . 15)) 624 0.6661 5.8091 ((12 . 12) (13 . 13) (16 . 15) (17 . 16)) 635 0.2487 11.2416 ((12 . 2) (13 . 5) (14 . 4) (15 . 7)) 672 0.2488 7.8564 ((12 . 17) (13 . 20) (16 . 23) (17 . 24)) 678 0.5273 10.0920 ((12 . 25) (14 . 27) (15 . 28) (16 . 29)) 729 0.3878 9.0190 ((12 . 23) (13 . 24) (14 . 26) (17 . 31)) 735 0.6633 9.1091 ((12 . 30) (13 . 31) (16 . 33) (17 . 36)) 740 0.3879 7.4558 ((12 . 1) (13 . 2) (16 . 5) (17 . 6)) 795 0.8328 4.2673 ((12 . 2) (13 . 3) (15 . 4) (16 . 5) (17 . 6)) 796 0.6666 3.8014 ((13 . 3) (15 . 4) (16 . 5) (17 . 6)) 812 0.1665 5.3903 ((13 . 9) (14 . 10) (15 . 12) (16 . 11)) 818 0.6646 8.0664 ((12 . 9) (13 . 12) (16 . 14) (17 . 16)) 819 0.1250 5.1575 ((14 . 1) (15 . 4) (16 . 3) (17 . 2)) 861 0.6665 4.4843 ((13 . 12) (15 . 14) (16 . 15) (17 . 19)) 901 0.2970 7.8757 ((12 . 14) (13 . 17) (15 . 18) (17 . 20)) 904 0.7259 4.0224 ((12 . 1) (13 . 3) (14 . 4) (15 . 5) (17 . 7)) 913 0.6664 4.8835 ((12 . 15) (13 . 17) (15 . 18) (17 . 20)) 928 0.6662 5.4874 ((12 . 13) (13 . 14) (15 . 17) (16 . 18)) 937 0.6663 5.1485 ((13 . 1) (14 . 3) (16 . 4) (17 . 5)) 943 0.6663 5.2519 ((13 . 12) (15 . 13) (16 . 14) (17 . 15)) 945 0.3879 7.1783 ((12 . 18) (13 . 19) (14 . 20) (15 . 21)) 960 0.6664 4.9653 ((12 . 16) (13 . 19) (15 . 20) (16 . 21)) 978 0.3879 6.5531 ((12 . 12) (13 . 13) (15 . 15) (16 . 16)) 1007 0.0999 6.9306 ((12 . 2) (15 . 6) (16 . 7) (17 . 8)) 1008 0.2970 8.2296 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 1034 0.3868 13.7114 ((12 . 19) (13 . 22) (14 . 23) (15 . 24)) 1043 0.6666 3.4957 ((12 . 9) (13 . 10) (16 . 12) (17 . 14)) 1082 0.6663 5.0823 ((12 . 14) (13 . 16) (15 . 17) (16 . 19)) 1084 0.4659 10.0223 ((13 . 8) (14 . 6) (16 . 11) (17 . 12)) 1165 0.1996 5.1709 ((13 . 4) (14 . 5) (15 . 6) (16 . 7)) 1167 0.6559 12.2311 ((12 . 24) (13 . 27) (14 . 26) (15 . 28)) 1201 0.8301 6.8068 ((12 . 5) (13 . 7) (15 . 8) (16 . 9) (17 . 11)) 1204 0.6630 9.2784 ((12 . 2) (13 . 3) (15 . 4) (16 . 5)) 1211 0.1996 7.4175 ((12 . 6) (14 . 7) (16 . 9) (17 . 10)) 1217 0.3875 10.9796 ((12 . 2) (15 . 8) (16 . 9) (17 . 11)) 1224 0.4667 6.1172 ((13 . 10) (14 . 11) (16 . 14) (17 . 15)) 1233 0.6658 6.3614 ((12 . 13) (13 . 14) (15 . 16) (16 . 17)) 1267 0.6664 4.6591 ((12 . 14) (13 . 15) (15 . 16) (16 . 17)) 1294 0.6599 10.8491 ((13 . 41) (15 . 45) (16 . 44) (17 . 46)) 1301 0.4668 3.4398 ((13 . 1) (14 . 2) (15 . 3) (17 . 5)) 1345 0.6654 7.1219 ((13 . 9) (14 . 10) (15 . 11) (17 . 13)) 1366 0.6664 4.6041 ((13 . 17) (15 . 18) (16 . 20) (17 . 21)) 1388 0.3880 5.9294 ((13 . 1) (14 . 2) (16 . 4) (17 . 5)) 1425 0.6666 3.0144 ((13 . 4) (15 . 7) (16 . 8) (17 . 10)) 1447 0.2970 7.0472 ((12 . 6) (13 . 7) (14 . 8) (16 . 9)) 1451 0.6664 4.6673 ((13 . 6) (15 . 7) (16 . 8) (17 . 9)) 1464 0.1333 6.7880 ((13 . 10) (15 . 12) (16 . 13) (17 . 14)) 1476 0.0999 6.5424 ((12 . 10) (13 . 11) (15 . 13) (16 . 14)) 1481 0.4667 5.8624 ((13 . 2) (14 . 3) (16 . 5) (17 . 7)) 1508 0.6663 5.2074 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 1513 0.6663 5.2113 ((12 . 9) (13 . 11) (15 . 12) (16 . 13)) 1514 0.2970 7.3422 ((12 . 2) (13 . 4) (14 . 5) (16 . 6)) 1577 0.6654 7.0559 ((12 . 1) (15 . 2) (16 . 3) (17 . 4)) 1591 0.4667 5.9792 ((12 . 10) (13 . 11) (15 . 12) (16 . 14)) 1595 0.7259 3.7103 ((12 . 3) (14 . 4) (15 . 6) (16 . 7) (17 . 8)) 1604 0.6633 9.0570 ((12 . 9) (13 . 10) (14 . 11) (16 . 12)) 1622 0.6662 5.6102 ((12 . 19) (13 . 20) (16 . 22) (17 . 23)) 1624 0.6638 8.7212 ((12 . 1) (13 . 3) (16 . 7) (17 . 8)) 1643 0.6663 5.0714 ((13 . 34) (14 . 35) (16 . 37) (17 . 38)) 1644 0.6661 5.8917 ((12 . 42) (13 . 43) (16 . 46) (17 . 47)) 1665 0.6662 5.4447 ((12 . 7) (13 . 8) (15 . 9) (16 . 10)) 1690 0.4667 6.2947 ((13 . 21) (14 . 22) (15 . 23) (16 . 24)) 1692 0.2488 8.6775 ((12 . 4) (13 . 7) (16 . 8) (17 . 9)) 1736 0.6655 7.0098 ((12 . 6) (13 . 7) (15 . 9) (16 . 10)) 1747 0.3879 6.4599 ((12 . 20) (14 . 23) (16 . 25) (17 . 27)) 1761 0.8323 5.0888 ((12 . 14) (13 . 16) (15 . 18) (16 . 19) (17 . 20)) 1763 0.6653 7.2617 ((12 . 4) (15 . 8) (16 . 10) (17 . 9)) 1776 0.4666 6.4470 ((13 . 20) (14 . 21) (15 . 22) (16 . 23)) 1793 0.6663 5.1749 ((12 . 7) (13 . 8) (15 . 9) (16 . 10)) 1805 0.6661 5.7308 ((12 . 13) (13 . 14) (16 . 16) (17 . 17)) 1808 0.6645 8.0992 ((12 . 1) (13 . 5) (16 . 8) (17 . 9)) 1867 0.6662 5.3701 ((13 . 1) (14 . 2) (16 . 3) (17 . 6)) 1894 0.6513 13.4145 ((12 . 6) (15 . 9) (16 . 11) (17 . 12)) 1897 0.2488 9.2520 ((12 . 35) (15 . 38) (16 . 39) (17 . 40)) 1908 0.6657 6.6531 ((12 . 6) (13 . 7) (15 . 9) (16 . 10)) 1909 0.6666 3.6149 ((13 . 34) (15 . 36) (16 . 37) (17 . 39)) 1944 0.6664 4.9533 ((12 . 8) (13 . 9) (15 . 12) (16 . 13)) 1957 0.6663 5.2515 ((12 . 14) (13 . 15) (15 . 18) (16 . 19)) 1961 0.4666 6.4142 ((14 . 12) (15 . 13) (16 . 14) (17 . 15)) 1967 0.6649 7.6794 ((12 . 6) (14 . 8) (15 . 9) (16 . 10)) 1992 0.6648 7.8636 ((12 . 8) (13 . 9) (16 . 12) (17 . 14)) 2003 0.1499 8.5687 ((13 . 7) (14 . 6) (16 . 9) (17 . 10)) 2006 0.6647 7.8898 ((13 . 20) (15 . 23) (16 . 22) (17 . 24)) 2048 0.6665 4.1675 ((12 . 12) (13 . 13) (15 . 14) (17 . 16)) 2054 0.3880 6.1065 ((12 . 11) (13 . 14) (14 . 15) (15 . 16)) 2063 0.1996 7.9771 ((13 . 44) (15 . 46) (16 . 48) (17 . 49)) 2065 0.6627 9.4920 ((12 . 15) (15 . 20) (16 . 22) (17 . 23)) 2067 0.6660 6.0022 ((13 . 54) (15 . 58) (16 . 59) (17 . 60)) 2072 0.3878 8.5214 ((12 . 3) (13 . 4) (15 . 8) (16 . 7)) 2083 0.6662 5.5654 ((12 . 3) (13 . 4) (15 . 6) (16 . 7)) 2097 0.1996 8.4613 ((13 . 1) (14 . 2) (16 . 4) (17 . 5)) 2117 0.2970 4.6822 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 2118 0.4667 5.3286 ((12 . 8) (14 . 9) (16 . 11) (17 . 12)) 2122 0.4666 6.4158 ((13 . 18) (14 . 19) (15 . 21) (16 . 22)) 2166 0.4667 4.7383 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 2179 0.6653 7.2320 ((12 . 2) (13 . 4) (16 . 7) (17 . 9)) 2205 0.6644 8.1814 ((13 . 21) (15 . 24) (16 . 23) (17 . 26)) 2209 0.6659 6.3510 ((12 . 2) (13 . 3) (15 . 4) (16 . 5)) 2249 0.3880 4.5305 ((12 . 14) (13 . 16) (15 . 19) (16 . 20)) 2279 0.6665 4.5018 ((13 . 11) (15 . 15) (16 . 19) (17 . 22)) 2298 0.2970 4.8856 ((13 . 6) (14 . 7) (16 . 8) (17 . 10)) 2308 0.6643 8.2956 ((12 . 7) (13 . 8) (15 . 10) (16 . 11)) 2340 0.3879 6.3563 ((12 . 8) (13 . 9) (15 . 10) (16 . 11)) 2344 0.4660 9.6981 ((12 . 2) (13 . 3) (14 . 5) (17 . 7)) 2364 0.3878 8.6078 ((12 . 8) (13 . 9) (14 . 11) (16 . 15)) 2381 0.6656 6.8335 ((12 . 2) (13 . 3) (16 . 5) (17 . 6)) 2389 0.6650 7.6531 ((12 . 2) (13 . 3) (16 . 6) (17 . 7)) 2409 0.1665 10.3623 ((13 . 2) (14 . 1) (16 . 5) (17 . 6)) 2410 1.0000 0.0000 ((12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 2422 0.1333 6.4227 ((13 . 1) (14 . 2) (16 . 7) (17 . 8)) 2423 0.2487 10.5052 ((12 . 12) (14 . 13) (16 . 16) (17 . 17)) 2440 0.4634 14.2252 ((12 . 5) (13 . 9) (15 . 10) (17 . 13)) 2447 0.6662 5.6198 ((12 . 12) (13 . 13) (15 . 14) (16 . 15)) 2462 0.3948 5.6991 ((12 . 5) (13 . 7) (15 . 10) (16 . 11) (17 . 12)) 2510 0.4848 6.3324 ((12 . 22) (13 . 23) (14 . 24) (15 . 26) (16 . 27)) 2519 0.4665 7.6380 ((13 . 2) (14 . 3) (15 . 4) (17 . 5)) 2525 0.6652 7.3742 ((12 . 42) (13 . 45) (16 . 47) (17 . 48)) 2529 0.6664 4.6378 ((13 . 1) (15 . 2) (16 . 3) (17 . 5)) 2533 0.6626 9.4996 ((12 . 7) (13 . 8) (15 . 11) (16 . 9)) 2544 0.7260 2.8257 ((12 . 18) (14 . 19) (15 . 21) (16 . 22) (17 . 23)) 2551 0.5289 2.8478 ((12 . 8) (13 . 9) (14 . 10) (17 . 14)) 2552 0.6623 9.7057 ((12 . 2) (13 . 3) (15 . 4) (16 . 5)) 2556 0.6664 4.6066 ((13 . 11) (15 . 17) (16 . 18) (17 . 20)) 2557 0.1996 4.4079 ((13 . 3) (15 . 5) (16 . 6) (17 . 7)) 2595 0.6664 4.9338 ((12 . 5) (13 . 6) (15 . 7) (16 . 9)) 2619 0.1996 6.3538 ((13 . 3) (14 . 4) (15 . 6) (16 . 5)) 2658 0.5289 3.0087 ((12 . 9) (13 . 10) (14 . 11) (17 . 14)) 2675 0.6653 7.1701 ((13 . 8) (14 . 9) (16 . 11) (17 . 12)) 2682 0.2488 9.4542 ((12 . 6) (13 . 7) (14 . 8) (17 . 11)) 2696 0.4664 8.0695 ((12 . 33) (13 . 34) (16 . 36) (17 . 37)) 2731 0.6665 4.3911 ((13 . 1) (14 . 2) (16 . 4) (17 . 5)) 2733 0.2488 5.6178 ((12 . 7) (13 . 8) (14 . 9) (16 . 11)) 2755 0.6652 7.3874 ((12 . 4) (13 . 6) (15 . 7) (16 . 8)) 2773 0.3878 8.5761 ((12 . 4) (13 . 6) (14 . 7) (15 . 8)) 2821 0.3880 4.9251 ((12 . 10) (13 . 11) (15 . 12) (16 . 13)) 2830 0.6664 4.9054 ((12 . 4) (13 . 5) (15 . 6) (16 . 7)) 2834 0.6665 4.2117 ((13 . 1) (15 . 2) (16 . 3) (17 . 5)) 2840 0.6615 10.1158 ((12 . 7) (13 . 8) (15 . 10) (16 . 11)) 2842 0.6663 5.1171 ((12 . 8) (13 . 9) (15 . 10) (16 . 11)) 2879 0.2970 4.2108 ((13 . 54) (14 . 55) (16 . 59) (17 . 58)) 2929 0.6327 2.1125 ((13 . 36) (14 . 37) (15 . 38) (16 . 39) (17 . 40)) 2947 0.6666 3.3727 ((13 . 4) (15 . 5) (16 . 6) (17 . 7)) 2966 0.1333 6.9652 ((12 . 7) (13 . 9) (16 . 12) (17 . 13)) 2990 0.6665 4.2570 ((13 . 12) (15 . 13) (16 . 14) (17 . 15)) 2999 0.8329 4.0505 ((12 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 3014 0.2488 7.1505 ((14 . 3) (15 . 6) (16 . 5) (17 . 4)) 3041 0.6662 5.5054 ((12 . 15) (13 . 16) (15 . 17) (16 . 18)) 3063 0.6653 7.2482 ((12 . 34) (13 . 37) (16 . 39) (17 . 41)) 3070 0.8329 4.1001 ((12 . 31) (13 . 33) (15 . 34) (16 . 35) (17 . 36)) 3084 0.6663 5.1877 ((12 . 6) (13 . 7) (15 . 8) (16 . 9)) 3127 0.6665 4.3330 ((12 . 9) (13 . 11) (15 . 12) (16 . 13)) 3190 0.6663 5.0352 ((12 . 7) (13 . 9) (15 . 10) (16 . 11)) 3197 0.0999 9.5123 ((12 . 23) (13 . 26) (15 . 27) (16 . 28)) 3200 0.2970 5.8294 ((13 . 1) (15 . 2) (16 . 3) (17 . 4)) 3222 0.1499 5.0535 ((13 . 1) (15 . 2) (16 . 3) (17 . 4)) 3256 0.1333 10.6184 ((12 . 15) (13 . 19) (16 . 24) (17 . 25)) 3286 0.1996 6.1358 ((12 . 6) (13 . 7) (14 . 8) (16 . 9)) 3289 0.4667 5.3786 ((13 . 27) (14 . 28) (16 . 31) (17 . 30)) 3322 0.6661 5.6791 ((12 . 2) (13 . 3) (15 . 4) (16 . 5)) 3334 0.4666 6.4787 ((12 . 11) (14 . 12) (15 . 13) (16 . 14)) 3339 0.6662 5.6104 ((12 . 10) (13 . 11) (15 . 14) (16 . 15)) 3358 0.6662 5.5428 ((12 . 9) (13 . 10) (15 . 11) (16 . 12)) 3362 0.1996 6.2089 ((12 . 5) (13 . 6) (15 . 7) (16 . 8)) 3391 0.6662 5.5167 ((12 . 3) (13 . 4) (15 . 5) (16 . 6)) 3410 0.2487 9.7153 ((12 . 23) (13 . 24) (14 . 27) (16 . 28)) 3446 0.2487 9.7422 ((12 . 2) (14 . 4) (15 . 7) (17 . 5)) 3481 0.6659 6.2063 ((13 . 2) (14 . 3) (15 . 5) (17 . 7)) 3495 0.2970 7.6211 ((14 . 5) (15 . 6) (16 . 7) (17 . 8)) 3538 0.6637 8.8131 ((12 . 22) (13 . 23) (16 . 25) (17 . 26)) 3548 0.4666 6.7458 ((13 . 3) (14 . 7) (16 . 8) (17 . 9)) 3549 0.2970 8.5727 ((12 . 4) (13 . 5) (14 . 7) (16 . 8)) 3561 0.2970 8.4028 ((12 . 21) (13 . 22) (15 . 25) (16 . 26)) 3585 0.6665 4.5087 ((12 . 7) (13 . 8) (16 . 12) (17 . 13)) 3626 0.4666 6.9443 ((12 . 1) (13 . 2) (16 . 6) (17 . 8)) 3628 0.6663 5.0915 ((12 . 5) (13 . 6) (16 . 8) (17 . 9)) 3651 0.6664 4.6267 ((12 . 7) (13 . 8) (16 . 11) (17 . 13)) 3656 0.2488 8.5485 ((12 . 20) (15 . 21) (16 . 22) (17 . 23)) 3658 0.6649 7.7348 ((12 . 2) (13 . 5) (16 . 7) (17 . 8)) 3659 0.5287 5.8422 ((12 . 3) (13 . 5) (14 . 6) (16 . 9)) 3661 0.6645 8.1333 ((12 . 10) (13 . 11) (14 . 13) (15 . 14)) 3697 0.2488 9.3042 ((12 . 5) (13 . 7) (14 . 8) (15 . 9)) 3732 0.6662 5.5907 ((12 . 6) (13 . 7) (15 . 8) (16 . 9)) 3740 0.6627 9.4630 ((13 . 5) (15 . 8) (16 . 7) (17 . 9)) 3776 0.2969 9.7409 ((12 . 16) (13 . 17) (14 . 18) (16 . 21)) 3778 0.4667 5.0136 ((13 . 4) (14 . 5) (16 . 6) (17 . 7)) 3787 0.6653 7.2830 ((12 . 18) (13 . 21) (15 . 22) (16 . 23)) 3790 0.6663 5.0987 ((12 . 23) (13 . 24) (16 . 26) (17 . 27)) 3807 0.6666 3.6636 ((13 . 43) (15 . 49) (16 . 47) (17 . 46)) 3817 0.3879 6.4323 ((12 . 3) (13 . 5) (15 . 6) (16 . 7)) 3829 0.6858 4.5723 ((12 . 8) (13 . 9) (14 . 10) (15 . 11) (17 . 12)) 3831 0.6658 6.3929 ((13 . 3) (14 . 4) (16 . 5) (17 . 6)) 3847 0.3877 9.6530 ((12 . 11) (13 . 13) (14 . 15) (16 . 17)) 3849 0.2970 8.3252 ((12 . 4) (13 . 5) (14 . 7) (16 . 8)) 3853 0.6661 5.7384 ((12 . 9) (13 . 12) (15 . 13) (16 . 14)) 3856 0.6653 7.1697 ((13 . 3) (15 . 4) (16 . 6) (17 . 7)) 3870 0.2970 4.2113 ((13 . 5) (14 . 6) (15 . 7) (16 . 8)) 3933 0.1250 8.2398 ((13 . 5) (14 . 4) (16 . 8) (17 . 9)) 3938 0.1996 9.9031 ((12 . 3) (13 . 4) (14 . 5) (16 . 9)) 3942 0.3880 5.2886 ((13 . 3) (14 . 4) (15 . 5) (17 . 9)) 3990 0.1996 5.2646 ((12 . 19) (13 . 20) (15 . 21) (16 . 22)) 4005 0.6626 9.4957 ((13 . 25) (15 . 28) (16 . 29) (17 . 30)) 4009 0.3877 9.8692 ((12 . 6) (14 . 8) (15 . 10) (16 . 11)) 4019 0.6643 8.2704 ((12 . 40) (13 . 42) (16 . 44) (17 . 45)) 4062 0.6592 11.1073 ((12 . 44) (14 . 45) (15 . 47) (17 . 49)) 4067 0.6665 4.0526 ((12 . 21) (13 . 22) (15 . 23) (16 . 24)) 4082 0.7260 2.7939 ((12 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6)) 4087 0.6658 6.4527 ((12 . 4) (13 . 5) (16 . 7) (17 . 8)) 4115 0.4666 7.1858 ((12 . 2) (14 . 4) (15 . 7) (16 . 8)) 4151 0.6650 7.5809 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 4177 0.2488 8.5737 ((13 . 2) (14 . 3) (15 . 4) (17 . 7)) 4192 0.6658 6.4737 ((13 . 19) (14 . 20) (15 . 21) (17 . 22)) 4194 0.1996 6.3175 ((13 . 3) (15 . 4) (16 . 5) (17 . 6)) 4195 0.2488 7.4222 ((14 . 12) (15 . 13) (16 . 14) (17 . 15)) 4204 0.8310 6.2646 ((12 . 10) (13 . 11) (15 . 12) (16 . 13) (17 . 15)) 4210 0.4668 3.8124 ((12 . 7) (13 . 8) (15 . 9) (16 . 10)) 4226 0.8286 7.4643 ((12 . 13) (13 . 16) (15 . 17) (16 . 18) (17 . 19)) 4254 0.4667 5.9274 ((12 . 10) (13 . 13) (14 . 14) (16 . 15)) 4255 0.6662 5.3843 ((13 . 21) (15 . 22) (16 . 23) (17 . 24)) 4257 0.6661 5.6782 ((12 . 2) (13 . 3) (15 . 6) (16 . 7)) 4265 0.6663 5.0143 ((12 . 25) (13 . 26) (15 . 27) (16 . 29)) 4266 0.4666 6.8818 ((12 . 7) (13 . 8) (14 . 9) (16 . 12)) 4274 0.4668 4.0621 ((13 . 38) (14 . 39) (16 . 40) (17 . 41)) 4275 0.6663 5.3333 ((13 . 23) (14 . 24) (16 . 25) (17 . 27)) 4281 0.3880 5.0724 ((13 . 5) (14 . 6) (15 . 7) (16 . 8)) 4284 0.6665 3.9056 ((13 . 6) (15 . 7) (16 . 8) (17 . 9)) 4299 0.6652 7.3823 ((12 . 13) (13 . 14) (16 . 16) (17 . 19)) 4326 0.6660 5.9519 ((12 . 14) (13 . 15) (15 . 18) (16 . 19)) 4352 0.2969 10.4232 ((12 . 4) (14 . 7) (15 . 11) (17 . 9)) 4380 0.2486 14.4002 ((13 . 4) (14 . 6) (16 . 10) (17 . 11)) 4388 0.8327 4.5539 ((12 . 2) (13 . 3) (15 . 4) (16 . 5) (17 . 6)) 4398 0.6659 6.1510 ((13 . 8) (14 . 9) (15 . 11) (16 . 12)) 4408 0.6666 3.8013 ((13 . 4) (15 . 5) (16 . 6) (17 . 7)) 4415 0.6664 4.6542 ((13 . 1) (14 . 2) (16 . 3) (17 . 4)) 4419 0.1996 8.2867 ((12 . 5) (13 . 6) (16 . 8) (17 . 9)) 4470 0.2969 9.5911 ((12 . 22) (14 . 23) (15 . 24) (17 . 25)) 4491 0.6662 5.5189 ((13 . 1) (14 . 4) (16 . 5) (17 . 6)) 4492 0.8329 4.1673 ((12 . 19) (13 . 21) (15 . 22) (16 . 23) (17 . 26)) 4495 0.6652 7.3317 ((12 . 12) (13 . 14) (15 . 15) (16 . 16)) 4497 0.6658 6.3882 ((12 . 20) (13 . 24) (16 . 26) (17 . 27)) 4502 0.3879 6.3372 ((13 . 6) (14 . 7) (16 . 9) (17 . 10)) 4503 0.6649 7.6960 ((12 . 2) (13 . 4) (16 . 8) (17 . 9)) 4504 0.6662 5.6434 ((13 . 4) (15 . 5) (16 . 6) (17 . 8)) 4516 0.6663 5.1232 ((12 . 5) (13 . 8) (15 . 9) (16 . 10)) 4538 0.5271 10.3376 ((12 . 27) (13 . 30) (14 . 29) (16 . 32)) 4560 0.2970 8.2404 ((12 . 10) (14 . 12) (16 . 14) (17 . 16)) 4561 0.6665 4.3099 ((13 . 9) (15 . 11) (16 . 12) (17 . 16)) 4562 0.1996 5.2674 ((13 . 25) (14 . 26) (15 . 28) (16 . 29)) 4563 0.8322 5.2015 ((13 . 1) (14 . 6) (15 . 25) (16 . 26) (17 . 31)) 4577 0.1664 21.1604 ((12 . 45) (13 . 46) (16 . 49) (17 . 50)) 4588 0.6664 4.8753 ((12 . 2) (13 . 3) (16 . 7) (17 . 8)) 4589 0.6659 6.3518 ((12 . 21) (13 . 23) (15 . 24) (16 . 25)) 4621 0.2488 9.1892 ((14 . 1) (15 . 2) (16 . 4) (17 . 3)) 4648 0.4665 7.8370 ((13 . 5) (14 . 3) (15 . 7) (17 . 8)) 4653 0.2970 7.9764 ((13 . 1) (15 . 2) (16 . 4) (17 . 5)) 4668 0.6664 5.0082 ((12 . 8) (13 . 9) (15 . 10) (16 . 11)) 4669 0.6664 4.7942 ((12 . 18) (13 . 19) (15 . 20) (16 . 21)) 4671 0.2488 8.2368 ((12 . 3) (13 . 4) (15 . 5) (17 . 6)) 4713 0.6649 7.6942 ((12 . 1) (13 . 3) (16 . 5) (17 . 6)) 4715 0.6654 7.0356 ((12 . 5) (13 . 6) (14 . 9) (15 . 10)) 4731 0.4667 6.1976 ((12 . 17) (14 . 20) (16 . 22) (17 . 23)) 4886 0.6641 8.4991 ((12 . 6) (14 . 7) (15 . 8) (16 . 9)) 4888 0.1996 10.0471 ((12 . 6) (13 . 9) (16 . 12) (17 . 13)) 4889 0.4667 5.9840 ((13 . 4) (14 . 5) (16 . 6) (17 . 7)) 4907 0.4667 6.2117 ((12 . 2) (13 . 4) (16 . 8) (17 . 9)) 4914 0.2488 6.9921 ((13 . 1) (14 . 3) (16 . 5) (17 . 6)) 4921 0.3878 9.0224 ((13 . 9) (14 . 11) (16 . 12) (17 . 14)) 4932 0.6650 7.6335 ((12 . 3) (13 . 6) (15 . 7) (16 . 8)) 4961 0.6665 4.2295 ((12 . 2) (13 . 3) (15 . 4) (16 . 6)) 4978 0.6652 7.3025 ((12 . 20) (13 . 21) (16 . 24) (17 . 25)) 4992 0.6660 6.0040 ((13 . 6) (14 . 7) (16 . 8) (17 . 9)) 4998 0.6658 6.3853 ((12 . 21) (13 . 23) (15 . 24) (16 . 25)) 5029 0.2970 5.3946 ((12 . 3) (13 . 4) (15 . 5) (16 . 6)) 5053 0.1499 7.5614 ((12 . 7) (14 . 8) (16 . 9) (17 . 10)) 5065 0.4667 6.1378 ((12 . 5) (13 . 7) (16 . 9) (17 . 10)) 5068 0.6665 4.4949 ((12 . 11) (13 . 12) (16 . 15) (17 . 16)) 5069 0.3879 6.5247 ((12 . 14) (13 . 15) (16 . 17) (17 . 18)) 5073 0.6662 5.4705 ((13 . 36) (14 . 37) (15 . 38) (16 . 39)) 5083 0.3878 8.1623 ((12 . 3) (13 . 5) (16 . 9) (17 . 8)) 5101 0.4663 8.8028 ((12 . 14) (13 . 15) (15 . 17) (16 . 18)) 5103 0.4663 8.9443 ((12 . 3) (13 . 4) (14 . 5) (16 . 6)) 5121 0.1996 9.5762 ((12 . 14) (13 . 16) (14 . 17) (16 . 21)) 5132 0.6664 4.8265 ((12 . 14) (13 . 16) (15 . 17) (16 . 18)) 5145 0.6663 5.1012 ((13 . 5) (15 . 7) (16 . 8) (17 . 10)) 5167 0.6657 6.5427 ((13 . 1) (14 . 2) (16 . 3) (17 . 4)) 5176 0.6659 6.2765 ((13 . 84) (14 . 85) (16 . 87) (17 . 88)) 5192 0.6629 9.3353 ((12 . 13) (14 . 15) (15 . 16) (16 . 17)) 5198 0.6657 6.6787 ((12 . 23) (13 . 24) (15 . 25) (16 . 26)) 5215 0.3879 6.5667 ((12 . 6) (14 . 8) (16 . 10) (17 . 11)) 5223 0.6662 5.3973 ((12 . 9) (13 . 10) (15 . 11) (16 . 12)) 5231 0.2970 8.3786 ((12 . 9) (13 . 14) (14 . 15) (16 . 16)) 5266 0.3948 5.9562 ((12 . 9) (13 . 10) (15 . 12) (16 . 13) (17 . 15)) 5278 0.6648 7.7730 ((12 . 3) (13 . 5) (16 . 9) (17 . 10)) 5307 0.2970 5.5671 ((13 . 53) (15 . 54) (16 . 55) (17 . 57)) 5312 0.3879 6.3080 ((13 . 3) (15 . 6) (16 . 5) (17 . 7)) 5318 0.3870 13.1146 ((12 . 7) (13 . 11) (14 . 10) (15 . 12)) 5323 0.2970 4.3363 ((14 . 8) (15 . 9) (16 . 10) (17 . 11)) 5324 0.6662 5.4374 ((12 . 13) (13 . 14) (16 . 15) (17 . 16)) 5368 0.6616 10.0571 ((12 . 40) (13 . 43) (14 . 44) (16 . 46)) 5378 0.6664 4.8726 ((13 . 4) (14 . 5) (16 . 6) (17 . 7)) 5411 0.6666 3.8249 ((13 . 3) (15 . 5) (16 . 6) (17 . 8)) 5414 0.6661 5.8329 ((13 . 15) (15 . 17) (16 . 18) (17 . 19)) 5418 0.1665 6.7245 ((13 . 3) (14 . 4) (16 . 7) (17 . 8)) 5487 0.3873 12.2109 ((12 . 1) (13 . 4) (14 . 5) (16 . 7)) 5501 0.2487 11.2071 ((12 . 21) (14 . 22) (15 . 23) (17 . 24)) 5540 0.1499 5.0685 ((13 . 1) (15 . 2) (16 . 3) (17 . 4)) 5557 0.1996 7.7356 ((13 . 4) (14 . 5) (15 . 7) (16 . 6)) 5560 0.6664 4.9542 ((12 . 18) (13 . 20) (15 . 21) (16 . 22)) 5562 0.6662 5.5880 ((12 . 5) (13 . 7) (15 . 9) (16 . 11)) 5567 0.3880 4.4791 ((12 . 10) (13 . 11) (15 . 14) (16 . 15)) 5594 0.6629 9.3350 ((13 . 1) (14 . 2) (15 . 5) (16 . 4)) 5600 0.8230 9.1385 ((12 . 1) (13 . 3) (15 . 4) (16 . 5) (17 . 6)) 5601 0.6648 7.8463 ((12 . 6) (13 . 10) (15 . 11) (16 . 12)) 5656 0.2488 6.7101 ((12 . 17) (15 . 20) (16 . 21) (17 . 23)) 5700 0.1996 8.7049 ((13 . 4) (15 . 7) (16 . 6) (17 . 8)) 5701 0.0999 9.6170 ((12 . 1) (15 . 3) (16 . 4) (17 . 5)) 5703 0.4666 6.9662 ((13 . 2) (14 . 3) (16 . 5) (17 . 6)) 5718 0.6651 7.4679 ((13 . 14) (14 . 15) (16 . 17) (17 . 18)) 5731 0.4667 5.3788 ((12 . 6) (13 . 7) (14 . 8) (17 . 11)) 5746 0.6657 6.6603 ((13 . 10) (15 . 12) (16 . 13) (17 . 14)) 5761 0.6663 5.0787 ((13 . 28) (15 . 29) (16 . 31) (17 . 32)) 5771 0.6657 6.7063 ((13 . 17) (15 . 19) (16 . 20) (17 . 21)) 5782 0.4656 10.8463 ((12 . 28) (13 . 30) (14 . 31) (15 . 33)) 5794 0.6626 9.5215 ((12 . 13) (13 . 15) (15 . 17) (17 . 18)) 5795 0.6655 6.9822 ((13 . 10) (14 . 11) (15 . 12) (16 . 13)) 5809 0.6664 4.7598 ((12 . 8) (13 . 9) (15 . 10) (16 . 12)) 5827 0.6663 5.0268 ((12 . 6) (13 . 8) (15 . 10) (16 . 11)) 5830 0.6665 4.5176 ((13 . 7) (15 . 9) (16 . 10) (17 . 13)) 5878 0.6661 5.7021 ((12 . 24) (13 . 30) (15 . 31) (16 . 26)) 5896 0.6666 3.8990 ((13 . 26) (14 . 27) (16 . 28) (17 . 29)) 5904 0.6666 3.8985 ((12 . 3) (13 . 4) (15 . 6) (16 . 7)) 5913 0.6658 6.3598 ((12 . 11) (13 . 13) (15 . 14) (16 . 15)) 5922 0.1499 10.2098 ((13 . 6) (14 . 7) (16 . 9) (17 . 10)) 5939 0.2970 6.7881 ((12 . 1) (13 . 4) (15 . 5) (17 . 6)) 5945 0.6665 4.1440 ((12 . 22) (13 . 23) (15 . 25) (16 . 26)) 5949 0.6645 8.1107 ((12 . 11) (13 . 12) (14 . 13) (15 . 15)) 5955 0.6664 4.6187 ((12 . 6) (13 . 7) (15 . 8) (16 . 9)) 5967 0.6652 7.3082 ((13 . 1) (14 . 2) (15 . 6) (16 . 3)) 5972 0.7260 3.1480 ((12 . 1) (14 . 4) (15 . 5) (16 . 6) (17 . 7)) 5977 0.6660 6.0809 ((13 . 3) (15 . 4) (16 . 5) (17 . 6)) 6000 0.6662 5.6077 ((12 . 27) (13 . 28) (15 . 30) (16 . 31)) 6029 0.6665 4.0792 ((13 . 6) (14 . 7) (16 . 10) (17 . 11)) 6041 0.6661 5.8042 ((12 . 9) (13 . 10) (16 . 12) (17 . 13)) 6061 0.3879 7.8666 ((12 . 16) (13 . 17) (14 . 18) (17 . 21)) 6074 0.6663 5.1170 ((13 . 8) (15 . 10) (16 . 11) (17 . 13)) 6075 0.2488 5.1641 ((13 . 17) (14 . 18) (15 . 19) (16 . 20)) 6079 0.6654 7.0894 ((12 . 2) (13 . 6) (16 . 8) (17 . 9)) 6087 0.6664 4.7984 ((12 . 7) (13 . 8) (15 . 9) (16 . 10)) 6089 0.6619 9.9064 ((12 . 2) (13 . 3) (15 . 4) (16 . 5)) 6094 0.2488 5.8951 ((12 . 6) (13 . 7) (14 . 8) (17 . 12)) 6191 0.4662 9.1514 ((12 . 5) (13 . 6) (14 . 7) (16 . 10)) 6192 0.6637 8.8122 ((12 . 9) (13 . 10) (15 . 12) (16 . 13)) 6215 0.2488 8.4477 ((13 . 20) (14 . 22) (15 . 23) (16 . 24)) 6225 0.6661 5.7701 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 6228 0.6605 10.5748 ((12 . 10) (13 . 12) (15 . 13) (16 . 14)) 6234 0.1665 11.4129 ((12 . 8) (13 . 10) (15 . 14) (16 . 15)) 6243 0.6664 4.6897 ((12 . 5) (13 . 6) (15 . 7) (16 . 8)) 6251 0.6665 4.1497 ((12 . 14) (13 . 17) (15 . 18) (16 . 19)) 6258 0.2488 6.9062 ((12 . 1) (15 . 2) (16 . 3) (17 . 4)) 6261 0.2488 9.2695 ((12 . 15) (14 . 18) (16 . 19) (17 . 21)) 6266 0.6663 5.2015 ((13 . 6) (14 . 7) (15 . 9) (16 . 10)) 6270 0.6665 4.5180 ((13 . 15) (14 . 16) (16 . 17) (17 . 18)) 6271 0.3875 10.7589 ((12 . 9) (13 . 10) (16 . 11) (17 . 12)) 6294 0.6652 7.3975 ((12 . 21) (13 . 23) (15 . 26) (16 . 27)) 6344 0.6664 4.7758 ((13 . 13) (15 . 16) (16 . 17) (17 . 18)) 6348 0.3880 4.6780 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 6355 0.1665 7.0266 ((14 . 3) (15 . 5) (16 . 6) (17 . 7)) 6356 0.6665 4.3682 ((12 . 10) (13 . 11) (15 . 12) (16 . 13)) 6369 0.6664 4.8196 ((12 . 21) (13 . 22) (15 . 23) (16 . 24)) 6376 0.6654 7.1540 ((12 . 20) (13 . 24) (16 . 26) (17 . 27)) 6391 0.3879 6.5026 ((12 . 7) (13 . 10) (15 . 11) (17 . 12)) 6399 0.6648 7.8119 ((12 . 23) (13 . 27) (16 . 29) (17 . 30)) 6403 0.6665 4.4171 ((12 . 6) (13 . 7) (15 . 9) (16 . 10)) 6462 0.4667 6.3060 ((12 . 19) (15 . 21) (16 . 22) (17 . 24)) 6476 0.8331 3.4903 ((12 . 1) (13 . 4) (14 . 5) (15 . 7) (17 . 9)) 6498 0.3880 5.7236 ((12 . 36) (13 . 37) (15 . 41) (16 . 42)) 6520 0.6665 4.3976 ((13 . 10) (14 . 11) (15 . 12) (16 . 13)) 6539 0.6664 4.9514 ((13 . 2) (15 . 3) (16 . 4) (17 . 5)) 6540 0.1996 9.3932 ((12 . 4) (13 . 6) (15 . 8) (17 . 9)) 6548 0.6662 5.4294 ((12 . 6) (13 . 7) (15 . 10) (17 . 12)) 6553 0.1996 8.4710 ((12 . 12) (13 . 15) (15 . 16) (16 . 17)) 6555 0.6660 6.0027 ((13 . 20) (14 . 21) (16 . 23) (17 . 24)) 6561 0.6647 7.8876 ((12 . 4) (14 . 5) (16 . 10) (17 . 9)) 6573 0.6664 4.8556 ((12 . 18) (13 . 19) (15 . 20) (16 . 21)) 6575 0.1665 8.4229 ((13 . 2) (14 . 3) (15 . 6) (16 . 5)) 6578 0.6653 7.2142 ((13 . 31) (15 . 33) (16 . 34) (17 . 37)) 6584 0.4666 6.3929 ((12 . 4) (13 . 5) (16 . 7) (17 . 8)) 6585 0.6654 7.1427 ((13 . 8) (15 . 9) (16 . 10) (17 . 11)) 6586 0.4665 7.8967 ((12 . 19) (14 . 22) (16 . 24) (17 . 25)) 6587 0.3876 10.4321 ((12 . 32) (13 . 34) (14 . 35) (15 . 36)) 6598 0.6655 6.9208 ((12 . 12) (13 . 17) (16 . 20) (17 . 21)) 6613 0.1996 6.2211 ((13 . 24) (14 . 25) (15 . 26) (16 . 27)) 6635 0.6665 4.1355 ((13 . 1) (15 . 3) (16 . 4) (17 . 5)) END