5939 25 0.3158 7.8181 ((1 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 16)) 41 0.3570 8.4573 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 51 0.2857 6.4040 ((2 . 1) (4 . 6) (7 . 9) (8 . 10)) 62 0.2857 5.5618 ((2 . 13) (3 . 15) (4 . 16) (6 . 17)) 64 0.2819 14.0251 ((2 . 6) (8 . 10) (10 . 12) (14 . 15)) 77 0.1895 8.7207 ((2 . 7) (3 . 10) (6 . 13) (8 . 15)) 91 0.5000 2.7445 ((2 . 10) (3 . 36) (4 . 37) (5 . 39) (6 . 40) (7 . 41) (8 . 42)) 96 0.2857 7.6970 ((2 . 1) (3 . 2) (4 . 3) (8 . 6)) 129 0.2857 9.3881 ((2 . 1) (4 . 3) (8 . 10) (9 . 9)) 136 0.2857 7.8888 ((9 . 3) (12 . 4) (13 . 6) (14 . 7)) 147 0.2785 11.0261 ((7 . 2) (12 . 3) (13 . 5) (15 . 6)) 150 0.3571 4.0504 ((2 . 20) (3 . 21) (4 . 23) (5 . 24) (6 . 25)) 153 0.2857 7.9997 ((4 . 1) (8 . 6) (9 . 7) (14 . 10)) 155 0.2821 8.7763 ((5 . 1) (12 . 5) (13 . 6) (15 . 7)) 157 0.3570 8.3767 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 161 0.2856 9.9591 ((3 . 1) (6 . 6) (7 . 7) (9 . 8)) 162 0.1473 9.5699 ((2 . 12) (6 . 18) (8 . 20) (9 . 22)) 169 0.2857 6.5438 ((4 . 1) (8 . 4) (9 . 5) (14 . 9)) 177 0.2857 6.8234 ((4 . 1) (8 . 4) (9 . 5) (14 . 8)) 191 0.2821 8.4644 ((1 . 3) (4 . 6) (8 . 8) (9 . 9)) 198 0.2857 7.3129 ((6 . 1) (8 . 2) (9 . 4) (14 . 10)) 207 0.3571 5.1267 ((2 . 8) (3 . 11) (4 . 13) (7 . 14) (8 . 15)) 233 0.2857 7.5144 ((2 . 1) (4 . 3) (6 . 5) (8 . 8)) 259 0.2784 12.9853 ((3 . 1) (5 . 2) (12 . 6) (15 . 8)) 300 0.2857 9.0467 ((2 . 2) (3 . 3) (13 . 11) (15 . 12)) 305 0.3370 9.0500 ((5 . 8) (6 . 9) (7 . 10) (8 . 11) (9 . 12)) 307 0.3571 6.5378 ((1 . 2) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 315 0.2857 8.9481 ((7 . 2) (8 . 3) (9 . 4) (14 . 9)) 317 0.2785 11.6113 ((5 . 4) (12 . 8) (13 . 9) (15 . 10)) 329 0.2856 11.3004 ((5 . 1) (9 . 4) (12 . 7) (15 . 9)) 340 0.2857 6.9695 ((6 . 4) (7 . 5) (8 . 7) (9 . 9)) 350 0.2857 6.1123 ((2 . 1) (6 . 8) (7 . 9) (14 . 17)) 351 0.2857 6.1481 ((1 . 5) (3 . 7) (5 . 9) (7 . 10)) 360 0.2857 6.6858 ((2 . 5) (4 . 7) (6 . 9) (8 . 12)) 361 0.2857 5.3354 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 365 0.2857 8.7366 ((9 . 3) (10 . 4) (12 . 7) (14 . 8)) 367 0.2856 10.0260 ((2 . 38) (5 . 41) (8 . 44) (10 . 46)) 372 0.2857 6.8307 ((6 . 1) (8 . 3) (9 . 5) (14 . 11)) 387 0.2857 7.0169 ((3 . 6) (6 . 9) (8 . 11) (14 . 15)) 405 0.2857 8.6096 ((4 . 33) (6 . 37) (8 . 39) (9 . 40)) 417 0.2857 9.6811 ((2 . 3) (3 . 6) (4 . 7) (6 . 9)) 420 0.2857 6.5962 ((2 . 3) (4 . 5) (6 . 8) (8 . 10)) 433 0.2857 5.3034 ((2 . 7) (3 . 8) (4 . 9) (6 . 10)) 442 0.2857 6.3439 ((2 . 12) (3 . 13) (4 . 14) (7 . 15)) 460 0.2857 7.4681 ((3 . 4) (4 . 6) (6 . 8) (7 . 9)) 472 0.2856 10.3334 ((4 . 22) (13 . 29) (14 . 31) (15 . 33)) 491 0.2785 11.1875 ((5 . 2) (7 . 5) (10 . 6) (14 . 9)) 495 0.4285 4.6458 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 541 0.2857 4.0466 ((2 . 11) (3 . 13) (4 . 14) (6 . 17)) 543 0.2857 7.8056 ((2 . 6) (4 . 8) (5 . 9) (6 . 10)) 553 0.2857 7.1077 ((3 . 6) (7 . 9) (10 . 12) (12 . 14)) 561 0.2857 9.1250 ((2 . 1) (3 . 2) (4 . 3) (5 . 5)) 584 0.2857 7.9057 ((3 . 2) (4 . 3) (6 . 5) (15 . 12)) 587 0.2857 8.0272 ((2 . 2) (4 . 4) (6 . 7) (9 . 9)) 609 0.4285 5.7389 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 6) (7 . 40)) 619 0.2857 7.8290 ((3 . 10) (4 . 12) (7 . 14) (8 . 15)) 624 0.4924 5.7002 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (9 . 16)) 635 0.2857 7.9968 ((3 . 7) (4 . 13) (6 . 14) (13 . 17)) 672 0.2857 8.8552 ((1 . 8) (3 . 12) (7 . 17) (8 . 18)) 678 0.3571 6.4716 ((1 . 23) (2 . 24) (3 . 25) (4 . 26) (8 . 29)) 719 0.2785 10.8700 ((6 . 23) (9 . 27) (12 . 29) (13 . 31)) 729 0.4286 3.2289 ((2 . 7) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (8 . 17)) 735 0.2856 10.0058 ((4 . 29) (6 . 32) (8 . 36) (10 . 37)) 740 0.2857 7.6090 ((1 . 1) (2 . 2) (4 . 5) (6 . 9)) 765 0.2856 10.8723 ((2 . 9) (4 . 12) (6 . 19) (8 . 20)) 767 0.2857 2.7489 ((2 . 1) (3 . 2) (4 . 3) (6 . 8)) 782 0.2459 9.1012 ((1 . 4) (3 . 5) (7 . 10) (13 . 14)) 792 0.1895 12.2403 ((7 . 5) (12 . 10) (13 . 11) (15 . 13)) 795 0.3571 3.7734 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 796 0.2857 6.5053 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 812 0.3571 3.8657 ((2 . 9) (4 . 11) (5 . 12) (6 . 13) (8 . 16)) 818 0.2857 4.9640 ((4 . 10) (5 . 11) (6 . 12) (8 . 14)) 819 0.2857 9.0508 ((3 . 4) (9 . 8) (10 . 9) (12 . 11)) 824 0.1622 10.3192 ((2 . 43) (4 . 45) (9 . 50) (10 . 53)) 834 0.2696 8.8592 ((10 . 32) (12 . 34) (13 . 35) (15 . 36)) 861 0.3570 9.3238 ((3 . 11) (4 . 12) (5 . 14) (6 . 15) (10 . 18)) 901 0.3571 4.1164 ((2 . 1) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 904 0.2459 6.9029 ((4 . 2) (5 . 4) (7 . 5) (9 . 6)) 913 0.2857 9.1698 ((2 . 16) (5 . 18) (6 . 20) (7 . 21)) 928 0.4999 4.6786 ((2 . 10) (3 . 13) (4 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18)) 937 0.2857 7.9129 ((4 . 1) (5 . 2) (6 . 4) (8 . 5)) 943 0.3571 5.0357 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 945 0.4284 7.3536 ((2 . 12) (3 . 13) (4 . 14) (5 . 16) (6 . 17) (15 . 21)) 949 0.2855 12.6728 ((6 . 27) (10 . 32) (12 . 33) (15 . 35)) 960 0.3371 4.1754 ((1 . 11) (2 . 12) (6 . 19) (7 . 20) (8 . 21)) 978 0.4999 5.3701 ((2 . 6) (3 . 9) (4 . 10) (5 . 12) (6 . 13) (8 . 16) (15 . 18)) 980 0.5000 4.1497 ((2 . 1) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 1005 0.2228 8.4849 ((9 . 2) (12 . 4) (13 . 5) (15 . 6)) 1007 0.2857 7.7430 ((1 . 6) (4 . 9) (8 . 13) (9 . 14)) 1008 0.2857 8.5524 ((2 . 3) (6 . 8) (7 . 11) (9 . 13)) 1034 0.2857 8.1976 ((1 . 27) (3 . 31) (4 . 32) (7 . 36)) 1043 0.3569 9.9543 ((2 . 1) (3 . 5) (4 . 6) (8 . 10) (14 . 17)) 1082 0.3682 12.5524 ((2 . 3) (4 . 4) (6 . 8) (10 . 24) (12 . 28) (13 . 35)) 1084 0.2856 11.3265 ((5 . 4) (7 . 5) (10 . 8) (15 . 15)) 1121 0.2696 10.4196 ((5 . 1) (6 . 2) (8 . 4) (9 . 5)) 1124 0.2856 11.4518 ((5 . 10) (12 . 13) (13 . 15) (15 . 16)) 1165 0.4999 5.2431 ((2 . 4) (3 . 9) (4 . 10) (5 . 11) (6 . 12) (8 . 19) (15 . 20)) 1167 0.2857 8.0265 ((3 . 19) (4 . 20) (6 . 22) (15 . 28)) 1169 0.2857 6.4763 ((4 . 29) (6 . 31) (8 . 33) (9 . 34)) 1201 0.2857 5.1174 ((4 . 1) (5 . 2) (6 . 3) (12 . 5)) 1204 0.3571 5.4380 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (6 . 11)) 1210 0.2857 7.8611 ((1 . 3) (3 . 4) (5 . 6) (7 . 7)) 1211 0.2857 8.9492 ((1 . 7) (2 . 8) (4 . 10) (9 . 15)) 1217 0.2459 10.4053 ((3 . 2) (6 . 5) (7 . 8) (9 . 9)) 1224 0.2857 6.1672 ((1 . 2) (4 . 5) (8 . 7) (14 . 14)) 1233 0.3571 2.8271 ((2 . 11) (3 . 13) (4 . 14) (5 . 16) (6 . 17)) 1267 0.3571 7.3507 ((2 . 13) (3 . 14) (4 . 15) (7 . 18) (8 . 19)) 1268 0.2857 8.8827 ((3 . 5) (12 . 15) (13 . 16) (15 . 17)) 1294 0.2856 11.4673 ((2 . 40) (4 . 42) (8 . 46) (9 . 47)) 1301 0.2785 9.4153 ((12 . 2) (13 . 3) (14 . 5) (15 . 6)) 1324 0.2857 3.0689 ((2 . 1) (4 . 2) (6 . 3) (8 . 4)) 1345 0.3571 4.2201 ((3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 12)) 1366 0.2857 7.2397 ((4 . 12) (5 . 13) (6 . 14) (8 . 16)) 1388 0.2857 6.3688 ((3 . 2) (8 . 5) (13 . 10) (15 . 11)) 1410 0.2857 8.6512 ((6 . 19) (8 . 20) (9 . 21) (14 . 25)) 1425 0.2857 9.1022 ((2 . 4) (4 . 8) (6 . 11) (8 . 12)) 1435 0.2228 8.8406 ((4 . 2) (5 . 4) (9 . 6) (12 . 9)) 1447 0.3571 3.7549 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 1451 0.2857 6.9962 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 1464 0.2857 7.5857 ((4 . 8) (7 . 12) (8 . 13) (9 . 14)) 1470 0.2857 7.7484 ((1 . 2) (3 . 3) (5 . 5) (7 . 6)) 1472 0.2854 14.9349 ((3 . 5) (5 . 9) (12 . 12) (15 . 14)) 1476 0.4998 6.3910 ((2 . 9) (3 . 10) (4 . 11) (5 . 13) (6 . 14) (8 . 15) (15 . 17)) 1481 0.2855 12.8047 ((8 . 1) (12 . 3) (14 . 5) (15 . 8)) 1497 0.2856 10.6344 ((1 . 24) (5 . 27) (7 . 28) (15 . 31)) 1501 0.2785 9.5318 ((2 . 1) (4 . 4) (8 . 8) (12 . 10)) 1508 0.2696 8.1918 ((12 . 3) (13 . 4) (14 . 5) (15 . 6)) 1513 0.4999 5.5819 ((2 . 3) (3 . 9) (4 . 11) (5 . 12) (6 . 13) (8 . 15) (15 . 16)) 1514 0.2857 7.8581 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 1577 0.2857 9.6025 ((1 . 2) (4 . 5) (7 . 9) (8 . 10)) 1591 0.5713 4.9736 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 10) (6 . 11) (8 . 14) (15 . 15)) 1595 0.2696 8.8121 ((3 . 1) (7 . 6) (9 . 7) (12 . 9)) 1604 0.3847 6.7121 ((1 . 6) (2 . 7) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 1622 0.2857 5.4663 ((2 . 18) (3 . 19) (4 . 20) (6 . 22)) 1624 0.2856 11.3900 ((4 . 2) (8 . 6) (9 . 7) (13 . 11)) 1643 0.2857 6.2625 ((3 . 29) (4 . 31) (7 . 35) (10 . 37)) 1644 0.2857 8.3763 ((1 . 42) (2 . 44) (4 . 48) (8 . 52)) 1665 0.4285 6.3529 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (7 . 11)) 1690 0.3571 4.7823 ((2 . 1) (3 . 7) (4 . 8) (5 . 9) (6 . 11)) 1692 0.2857 7.8232 ((5 . 2) (7 . 4) (9 . 5) (10 . 6)) 1731 0.3157 10.1798 ((1 . 1) (4 . 3) (6 . 6) (8 . 8) (12 . 10)) 1736 0.4285 5.0834 ((3 . 6) (4 . 7) (5 . 9) (6 . 10) (7 . 11) (8 . 12)) 1738 0.2857 5.2785 ((2 . 19) (3 . 20) (4 . 21) (7 . 25)) 1747 0.3571 5.9152 ((2 . 25) (4 . 30) (6 . 31) (8 . 32) (14 . 33)) 1756 0.2857 7.4865 ((2 . 22) (4 . 26) (6 . 30) (8 . 31)) 1759 0.2857 6.1178 ((2 . 4) (4 . 6) (6 . 9) (8 . 11)) 1761 0.3571 7.5355 ((2 . 7) (3 . 8) (4 . 9) (6 . 11) (8 . 13)) 1763 0.3568 10.8001 ((3 . 1) (4 . 3) (9 . 7) (12 . 8) (15 . 12)) 1776 0.3571 7.7510 ((2 . 1) (3 . 6) (4 . 7) (7 . 11) (8 . 12)) 1777 0.2857 3.9827 ((2 . 31) (4 . 34) (6 . 37) (8 . 43)) 1778 0.2857 4.3910 ((3 . 6) (4 . 8) (7 . 11) (8 . 12)) 1793 0.4285 5.0670 ((1 . 5) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 11)) 1796 0.2227 12.8529 ((1 . 2) (3 . 3) (5 . 5) (12 . 7)) 1805 0.2857 8.9731 ((2 . 11) (3 . 13) (6 . 15) (8 . 16)) 1808 0.2857 8.8230 ((3 . 1) (4 . 2) (6 . 5) (7 . 7)) 1817 0.2857 7.6457 ((2 . 14) (4 . 18) (6 . 20) (7 . 21)) 1867 0.2857 9.3702 ((4 . 1) (5 . 2) (6 . 6) (8 . 7)) 1894 0.2857 6.5963 ((2 . 5) (3 . 6) (9 . 12) (14 . 18)) 1896 0.2854 13.9334 ((4 . 14) (6 . 17) (7 . 18) (10 . 19)) 1897 0.2857 6.0808 ((2 . 40) (5 . 44) (6 . 46) (7 . 48)) 1908 0.4286 3.2887 ((2 . 3) (3 . 6) (4 . 7) (5 . 9) (6 . 10) (8 . 15)) 1909 0.4286 4.3163 ((3 . 30) (4 . 31) (5 . 33) (6 . 34) (7 . 36) (8 . 37)) 1913 0.4232 5.4085 ((2 . 7) (4 . 14) (6 . 17) (8 . 20) (9 . 21) (14 . 26)) 1944 0.3571 5.5166 ((1 . 6) (3 . 8) (4 . 9) (5 . 12) (6 . 13)) 1957 0.4999 4.7143 ((2 . 11) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 18) (8 . 19)) 1961 0.2857 7.5502 ((7 . 13) (9 . 16) (12 . 18) (14 . 20)) 1967 0.3285 7.5975 ((3 . 6) (5 . 9) (8 . 13) (9 . 14) (10 . 16)) 1972 0.3571 3.0105 ((2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20)) 1992 0.2857 5.7988 ((1 . 5) (3 . 8) (4 . 9) (6 . 12)) 1995 0.3370 6.6246 ((2 . 1) (4 . 3) (6 . 7) (8 . 8) (9 . 9)) 2003 0.2857 7.3183 ((5 . 2) (6 . 5) (7 . 6) (14 . 12)) 2006 0.3158 7.7698 ((1 . 6) (2 . 7) (6 . 11) (8 . 13) (9 . 14)) 2045 0.2856 9.7280 ((5 . 4) (6 . 7) (12 . 9) (14 . 13)) 2048 0.3512 9.3913 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (14 . 17)) 2054 0.2785 10.2517 ((4 . 2) (12 . 12) (13 . 15) (15 . 16)) 2063 0.2857 5.2494 ((4 . 42) (6 . 44) (7 . 46) (9 . 48)) 2065 0.2857 7.8202 ((5 . 20) (6 . 22) (8 . 23) (9 . 25)) 2067 0.2857 6.0838 ((6 . 11) (8 . 15) (9 . 16) (12 . 18)) 2072 0.2857 8.8205 ((5 . 3) (6 . 5) (8 . 7) (12 . 9)) 2081 0.2857 8.8132 ((1 . 18) (2 . 19) (4 . 21) (5 . 24)) 2083 0.4285 6.1991 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (5 . 8) (7 . 11)) 2094 0.2228 9.0036 ((7 . 1) (12 . 4) (13 . 6) (15 . 7)) 2097 0.2857 9.3866 ((4 . 1) (5 . 2) (8 . 5) (10 . 7)) 2114 0.2857 6.9277 ((1 . 30) (2 . 32) (4 . 36) (5 . 37)) 2116 0.2857 9.1278 ((2 . 4) (4 . 6) (6 . 9) (8 . 11)) 2117 0.3154 13.8121 ((1 . 3) (4 . 6) (5 . 8) (12 . 19) (14 . 22)) 2118 0.2857 4.8289 ((1 . 2) (2 . 3) (4 . 11) (8 . 12)) 2122 0.4283 8.2660 ((1 . 2) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (15 . 9)) 2166 0.3158 4.7724 ((1 . 2) (2 . 3) (4 . 4) (9 . 8) (14 . 9)) 2179 0.4286 3.8760 ((2 . 10) (3 . 12) (4 . 13) (5 . 16) (6 . 20) (8 . 22)) 2196 0.3571 4.4938 ((4 . 10) (6 . 12) (8 . 14) (9 . 15) (14 . 18)) 2203 0.2785 7.6048 ((6 . 1) (8 . 5) (9 . 6) (12 . 8)) 2205 0.3512 9.3877 ((2 . 13) (6 . 17) (8 . 19) (9 . 20) (12 . 24)) 2209 0.4284 7.7932 ((2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 2220 0.2857 9.0540 ((7 . 1) (9 . 2) (10 . 3) (14 . 7)) 2233 0.2784 12.7179 ((3 . 1) (5 . 2) (12 . 7) (15 . 9)) 2243 0.2857 9.3954 ((2 . 49) (4 . 52) (6 . 54) (10 . 58)) 2244 0.2857 6.0414 ((2 . 70) (4 . 74) (6 . 76) (8 . 78)) 2248 0.2857 7.1833 ((1 . 20) (3 . 23) (5 . 26) (6 . 27)) 2249 0.2857 5.0087 ((2 . 12) (3 . 14) (4 . 16) (8 . 20)) 2269 0.2857 4.9675 ((2 . 8) (3 . 9) (4 . 10) (6 . 12)) 2279 0.2857 4.6272 ((4 . 11) (5 . 12) (7 . 15) (8 . 19)) 2295 0.2852 16.4350 ((3 . 1) (5 . 2) (7 . 3) (15 . 7)) 2298 0.5714 4.0401 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12) (7 . 14) (8 . 15) (15 . 16)) 2308 0.3846 8.0817 ((2 . 4) (4 . 5) (6 . 8) (7 . 10) (8 . 11) (13 . 14)) 2314 0.3569 10.0550 ((2 . 8) (3 . 9) (4 . 11) (9 . 13) (12 . 16)) 2340 0.2857 5.4197 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 2342 0.2857 8.5683 ((1 . 3) (3 . 4) (5 . 6) (7 . 7)) 2344 0.8551 5.5546 ((2 . 3) (3 . 5) (4 . 6) (5 . 9) (6 . 10) (7 . 12) (8 . 13) (9 . 14) (12 . 16) (13 . 17) (14 . 18) (15 . 19)) 2364 0.3571 4.7272 ((2 . 15) (3 . 16) (4 . 18) (6 . 19) (8 . 20)) 2389 0.2857 7.4403 ((3 . 2) (4 . 3) (8 . 6) (9 . 7)) 2408 0.2857 6.8323 ((4 . 34) (8 . 40) (9 . 41) (14 . 46)) 2409 0.2696 9.2528 ((7 . 1) (8 . 3) (9 . 4) (14 . 9)) 2410 0.2459 6.7881 ((1 . 12) (4 . 13) (5 . 15) (6 . 17)) 2422 0.3571 4.6822 ((4 . 1) (5 . 2) (6 . 4) (9 . 7) (14 . 8)) 2423 0.2857 6.6248 ((4 . 17) (5 . 18) (6 . 19) (14 . 26)) 2440 0.2856 10.0351 ((1 . 5) (2 . 6) (7 . 12) (14 . 17)) 2447 0.5000 4.3973 ((2 . 13) (3 . 16) (4 . 18) (5 . 19) (6 . 21) (7 . 22) (8 . 24)) 2462 0.2857 6.0120 ((2 . 7) (3 . 10) (4 . 11) (6 . 12)) 2465 0.2856 11.8825 ((7 . 3) (12 . 6) (13 . 7) (15 . 8)) 2510 0.3847 4.5568 ((1 . 22) (2 . 23) (3 . 24) (4 . 25) (5 . 26) (6 . 27)) 2519 0.2459 9.9269 ((7 . 1) (10 . 2) (12 . 3) (13 . 4)) 2525 0.2857 5.7209 ((2 . 45) (3 . 46) (4 . 47) (6 . 48)) 2529 0.2857 7.8467 ((2 . 1) (3 . 2) (4 . 3) (8 . 6)) 2533 0.4285 5.5037 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 2544 0.2785 11.5356 ((12 . 18) (13 . 19) (14 . 22) (15 . 21)) 2551 0.2856 11.3184 ((2 . 1) (12 . 7) (13 . 8) (14 . 9)) 2552 0.3571 5.5680 ((2 . 1) (3 . 4) (4 . 5) (5 . 6) (7 . 7)) 2556 0.4286 4.1801 ((1 . 12) (2 . 13) (5 . 17) (6 . 20) (7 . 21) (8 . 22)) 2557 0.2857 7.1427 ((3 . 1) (4 . 3) (5 . 5) (6 . 6)) 2561 0.2856 10.4574 ((3 . 5) (4 . 6) (6 . 7) (8 . 8)) 2591 0.1895 14.7997 ((1 . 34) (5 . 36) (7 . 37) (12 . 39)) 2595 0.4285 5.6624 ((1 . 2) (3 . 5) (4 . 6) (5 . 7) (6 . 9) (8 . 11)) 2619 0.3571 2.8598 ((2 . 1) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 2627 0.2857 6.9855 ((3 . 59) (4 . 60) (5 . 62) (6 . 64)) 2634 0.2856 10.2625 ((5 . 1) (7 . 2) (12 . 5) (13 . 6)) 2650 0.2856 9.7111 ((2 . 2) (4 . 5) (6 . 6) (8 . 7)) 2658 0.2785 7.7817 ((1 . 6) (3 . 8) (6 . 12) (10 . 14)) 2675 0.2857 8.1136 ((5 . 2) (6 . 3) (8 . 5) (14 . 12)) 2682 0.3571 4.2082 ((2 . 1) (3 . 16) (4 . 17) (5 . 18) (6 . 19)) 2696 0.2857 5.9572 ((2 . 31) (4 . 34) (6 . 36) (9 . 37)) 2731 0.2854 13.9184 ((6 . 1) (8 . 4) (10 . 5) (12 . 6)) 2733 0.2857 7.1539 ((2 . 8) (3 . 9) (4 . 11) (5 . 12)) 2753 0.2458 11.8221 ((1 . 1) (3 . 2) (7 . 6) (12 . 8)) 2755 0.4044 7.2156 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (15 . 7)) 2773 0.2857 9.5135 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 2783 0.2857 5.0303 ((1 . 4) (2 . 6) (4 . 8) (6 . 12)) 2804 0.2857 8.3415 ((5 . 26) (7 . 27) (9 . 29) (13 . 35)) 2821 0.2857 8.3345 ((6 . 1) (8 . 3) (10 . 5) (15 . 12)) 2830 0.6396 6.4271 ((2 . 11) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 18) (8 . 19) (9 . 25) (14 . 26)) 2834 0.2857 9.3016 ((2 . 1) (4 . 6) (6 . 8) (12 . 11)) 2840 0.2857 7.4026 ((2 . 1) (3 . 3) (4 . 5) (8 . 9)) 2842 0.4286 3.8084 ((2 . 1) (3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12)) 2867 0.2857 6.9524 ((1 . 1) (2 . 2) (9 . 9) (12 . 11)) 2879 0.2857 6.2413 ((2 . 51) (4 . 53) (6 . 56) (8 . 58)) 2886 0.2857 7.6363 ((2 . 30) (4 . 34) (6 . 37) (8 . 39)) 2929 0.2785 10.3449 ((5 . 37) (7 . 38) (8 . 39) (12 . 41)) 2940 0.2696 8.6068 ((6 . 1) (7 . 2) (14 . 6) (15 . 9)) 2947 0.2857 7.2221 ((2 . 2) (7 . 5) (8 . 6) (12 . 9)) 2950 0.2780 17.5628 ((1 . 8) (3 . 9) (5 . 11) (12 . 13)) 2955 0.2857 5.1373 ((2 . 7) (4 . 8) (6 . 10) (9 . 11)) 2966 0.2857 6.6876 ((3 . 2) (4 . 3) (5 . 5) (8 . 9)) 2990 0.2857 7.2165 ((4 . 12) (5 . 13) (6 . 14) (8 . 16)) 2999 0.2857 4.3458 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 3014 0.2856 11.2953 ((4 . 7) (12 . 12) (13 . 14) (15 . 15)) 3019 0.3473 7.9384 ((1 . 8) (4 . 9) (6 . 10) (8 . 14) (13 . 18) (15 . 24)) 3034 0.4285 4.7398 ((2 . 1) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 11)) 3041 0.4999 5.4553 ((2 . 12) (3 . 15) (4 . 16) (5 . 17) (6 . 18) (8 . 22) (9 . 24)) 3055 0.3571 6.3573 ((2 . 7) (4 . 11) (6 . 15) (9 . 16) (14 . 17)) 3063 0.2856 9.7691 ((6 . 31) (10 . 33) (12 . 34) (14 . 36)) 3070 0.2857 6.4744 ((3 . 30) (6 . 33) (7 . 34) (8 . 35)) 3084 0.4998 6.4176 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 11)) 3102 0.2856 10.7009 ((2 . 69) (4 . 71) (8 . 76) (12 . 78)) 3103 0.2857 9.2799 ((4 . 5) (5 . 6) (8 . 9) (12 . 12)) 3114 0.2857 7.4363 ((6 . 22) (8 . 24) (9 . 25) (13 . 28)) 3120 0.2695 13.4652 ((10 . 21) (12 . 23) (13 . 24) (14 . 25)) 3127 0.4285 6.5954 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 11) (8 . 13)) 3147 0.2857 9.4858 ((2 . 18) (6 . 24) (8 . 26) (9 . 27)) 3176 0.2785 11.3038 ((3 . 22) (8 . 27) (9 . 29) (12 . 30)) 3187 0.2857 6.2379 ((2 . 4) (4 . 6) (5 . 8) (7 . 10)) 3190 0.5000 4.3445 ((2 . 1) (3 . 4) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (8 . 11)) 3197 0.3571 2.7745 ((2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14)) 3200 0.3570 9.2029 ((4 . 1) (5 . 2) (6 . 3) (10 . 6) (12 . 7)) 3212 0.2857 6.6440 ((5 . 1) (6 . 2) (8 . 5) (13 . 10)) 3222 0.2857 6.6760 ((3 . 2) (4 . 3) (6 . 4) (7 . 5)) 3256 0.2696 10.5461 ((4 . 13) (9 . 19) (14 . 25) (15 . 27)) 3261 0.2857 8.1257 ((2 . 2) (6 . 6) (10 . 9) (12 . 10)) 3286 0.3571 6.2090 ((2 . 3) (4 . 5) (5 . 6) (6 . 7) (8 . 9)) 3289 0.2857 7.9903 ((2 . 25) (4 . 27) (6 . 30) (8 . 31)) 3297 0.2857 6.8509 ((2 . 5) (4 . 8) (6 . 9) (8 . 11)) 3300 0.2785 10.9848 ((8 . 1) (9 . 2) (13 . 9) (15 . 10)) 3310 0.2784 13.5794 ((3 . 1) (5 . 2) (12 . 6) (13 . 7)) 3322 0.3571 3.0191 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 3334 0.2856 12.1929 ((2 . 1) (4 . 5) (8 . 10) (12 . 12)) 3339 0.4286 3.9514 ((2 . 11) (3 . 16) (4 . 17) (5 . 18) (6 . 19) (8 . 21)) 3358 0.3571 4.6526 ((2 . 1) (5 . 3) (6 . 4) (7 . 5) (8 . 7)) 3362 0.3571 7.9050 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 11)) 3366 0.2857 6.4922 ((2 . 22) (4 . 26) (6 . 27) (8 . 28)) 3391 0.3571 5.8705 ((1 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3410 0.3571 3.5137 ((2 . 19) (3 . 20) (4 . 21) (5 . 23) (6 . 24)) 3446 0.2782 15.1283 ((1 . 2) (5 . 7) (12 . 10) (15 . 13)) 3470 0.2458 14.3028 ((5 . 10) (12 . 14) (13 . 15) (15 . 16)) 3472 0.1895 7.3202 ((4 . 1) (6 . 3) (8 . 4) (9 . 5)) 3481 0.4284 7.1636 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8) (8 . 10)) 3495 0.2856 9.9049 ((1 . 6) (2 . 7) (10 . 16) (12 . 17)) 3496 0.2857 9.1129 ((4 . 19) (5 . 20) (6 . 22) (12 . 25)) 3533 0.1318 8.2813 ((8 . 3) (9 . 5) (12 . 6) (14 . 10)) 3537 0.2972 7.1214 ((2 . 5) (4 . 6) (10 . 7) (12 . 8) (13 . 11)) 3538 0.2857 6.0455 ((1 . 17) (2 . 18) (5 . 22) (6 . 23)) 3548 0.2857 6.6471 ((2 . 3) (4 . 5) (5 . 7) (8 . 10)) 3549 0.2857 8.8524 ((2 . 1) (6 . 5) (7 . 7) (8 . 8)) 3561 0.4286 3.8105 ((2 . 20) (3 . 25) (4 . 26) (5 . 27) (6 . 28) (8 . 31)) 3570 0.2857 5.2814 ((1 . 2) (2 . 4) (4 . 8) (6 . 10)) 3585 0.2857 5.1273 ((4 . 6) (5 . 7) (6 . 8) (15 . 15)) 3613 0.2856 9.7710 ((1 . 32) (5 . 38) (7 . 39) (9 . 40)) 3625 0.2857 6.9329 ((2 . 1) (4 . 3) (6 . 6) (10 . 7)) 3626 0.2228 6.6480 ((4 . 2) (7 . 5) (8 . 6) (9 . 8)) 3628 0.4996 7.4090 ((2 . 6) (4 . 10) (5 . 11) (6 . 12) (7 . 13) (8 . 14) (15 . 16)) 3651 0.3571 3.0182 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 3656 0.2785 11.2684 ((5 . 12) (12 . 20) (14 . 22) (15 . 21)) 3658 0.3571 3.7956 ((2 . 1) (3 . 2) (6 . 5) (8 . 7) (13 . 10)) 3659 0.2856 11.2931 ((1 . 3) (3 . 4) (4 . 5) (12 . 14)) 3661 0.2856 10.8997 ((3 . 17) (7 . 22) (9 . 23) (10 . 24)) 3688 0.2857 6.4340 ((2 . 12) (9 . 14) (10 . 18) (14 . 39)) 3697 0.2857 6.1329 ((2 . 6) (4 . 7) (5 . 9) (6 . 10)) 3703 0.2857 9.4928 ((4 . 3) (5 . 5) (13 . 10) (15 . 11)) 3732 0.3571 7.9051 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (6 . 12)) 3733 0.3571 3.9408 ((2 . 1) (3 . 4) (4 . 6) (5 . 7) (6 . 8)) 3740 0.2857 6.8218 ((2 . 3) (4 . 5) (6 . 6) (8 . 7)) 3741 0.2857 8.1356 ((2 . 26) (4 . 28) (5 . 33) (8 . 35)) 3776 0.3571 6.4738 ((2 . 15) (3 . 16) (6 . 21) (7 . 23) (8 . 24)) 3778 0.2857 8.4411 ((6 . 4) (7 . 5) (8 . 6) (12 . 9)) 3787 0.4999 5.2581 ((2 . 7) (3 . 11) (4 . 12) (5 . 14) (6 . 15) (7 . 16) (15 . 22)) 3790 0.3570 8.8326 ((2 . 10) (4 . 14) (6 . 16) (12 . 20) (13 . 23)) 3807 0.2784 13.1212 ((2 . 43) (5 . 48) (8 . 50) (12 . 52)) 3810 0.2857 9.4277 ((2 . 4) (4 . 8) (6 . 11) (9 . 14)) 3817 0.2857 5.4500 ((2 . 1) (5 . 3) (6 . 5) (8 . 7)) 3818 0.2857 8.1384 ((1 . 21) (3 . 24) (5 . 27) (6 . 28)) 3829 0.2856 9.9341 ((3 . 3) (10 . 9) (12 . 10) (13 . 11)) 3830 0.2855 13.7588 ((3 . 1) (5 . 3) (7 . 5) (12 . 6)) 3831 0.2857 6.8386 ((5 . 1) (6 . 2) (8 . 3) (15 . 7)) 3834 0.2458 13.0466 ((3 . 2) (7 . 4) (12 . 6) (13 . 7)) 3847 0.2856 9.7866 ((2 . 9) (4 . 13) (6 . 16) (8 . 17)) 3853 0.4999 4.5940 ((2 . 8) (3 . 9) (5 . 11) (6 . 12) (7 . 13) (8 . 14) (15 . 16)) 3856 0.2857 4.0849 ((2 . 3) (3 . 4) (4 . 6) (6 . 9)) 3870 0.3571 5.9457 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (6 . 13)) 3933 0.2857 7.3582 ((6 . 2) (8 . 3) (9 . 5) (14 . 11)) 3938 0.2856 11.6236 ((3 . 1) (4 . 2) (5 . 3) (10 . 9)) 3942 0.2857 4.3836 ((2 . 2) (4 . 3) (5 . 8) (6 . 9)) 3968 0.3570 8.3090 ((2 . 3) (3 . 4) (4 . 9) (5 . 10) (6 . 11)) 3986 0.2856 10.2388 ((6 . 4) (8 . 5) (10 . 6) (13 . 10)) 3990 0.3571 3.6806 ((2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22)) 4005 0.2857 5.0172 ((2 . 25) (3 . 28) (4 . 32) (6 . 33)) 4009 0.2857 4.1468 ((2 . 15) (6 . 19) (8 . 21) (10 . 23)) 4011 0.2696 10.3775 ((7 . 1) (12 . 3) (13 . 5) (15 . 6)) 4019 0.2857 5.8917 ((4 . 43) (6 . 45) (8 . 46) (15 . 52)) 4030 0.2857 6.9682 ((3 . 4) (7 . 9) (13 . 11) (15 . 13)) 4034 0.2857 9.3163 ((4 . 6) (7 . 8) (8 . 9) (14 . 13)) 4037 0.2857 9.2241 ((1 . 4) (3 . 5) (5 . 7) (7 . 8)) 4062 0.2857 7.4528 ((3 . 38) (5 . 39) (12 . 45) (13 . 47)) 4067 0.5000 4.2954 ((2 . 14) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (7 . 23) (8 . 24)) 4077 0.2856 10.5926 ((1 . 6) (5 . 9) (7 . 12) (15 . 16)) 4082 0.2786 6.5849 ((1 . 1) (5 . 4) (6 . 6) (9 . 7)) 4087 0.2857 7.3581 ((5 . 2) (6 . 3) (9 . 5) (14 . 8)) 4112 0.2857 8.3469 ((9 . 1) (10 . 2) (14 . 6) (15 . 7)) 4115 0.3571 3.6232 ((2 . 1) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 4134 0.2228 9.1328 ((3 . 23) (5 . 24) (13 . 30) (15 . 31)) 4151 0.5713 4.5652 ((1 . 8) (2 . 9) (3 . 11) (4 . 12) (5 . 14) (6 . 15) (8 . 17) (15 . 18)) 4177 0.2857 8.9167 ((2 . 2) (3 . 4) (6 . 8) (8 . 9)) 4190 0.2227 10.0557 ((1 . 2) (3 . 6) (5 . 7) (8 . 9)) 4192 0.4997 6.8125 ((3 . 11) (4 . 13) (5 . 14) (6 . 15) (7 . 16) (9 . 19) (14 . 22)) 4194 0.3571 7.9691 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 7)) 4195 0.2857 5.6380 ((3 . 2) (5 . 4) (7 . 5) (10 . 6)) 4204 0.3847 5.8029 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4209 0.2857 9.3091 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 4210 0.3571 5.6713 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 4226 0.4718 5.1839 ((2 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 9) (14 . 11)) 4242 0.2785 9.3265 ((7 . 1) (12 . 5) (13 . 6) (15 . 8)) 4246 0.1895 11.3325 ((6 . 5) (8 . 6) (10 . 8) (12 . 10)) 4254 0.3571 7.9779 ((2 . 1) (3 . 2) (5 . 5) (8 . 8) (10 . 9)) 4255 0.2855 12.7560 ((6 . 21) (8 . 23) (10 . 24) (12 . 25)) 4257 0.3571 3.9347 ((2 . 1) (3 . 2) (4 . 3) (5 . 6) (6 . 7)) 4261 0.2857 8.9967 ((5 . 11) (7 . 12) (12 . 15) (13 . 16)) 4265 0.3571 5.8435 ((1 . 22) (2 . 23) (3 . 25) (4 . 26) (6 . 29)) 4266 0.3571 3.7967 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 4274 0.2857 3.8848 ((1 . 37) (2 . 38) (3 . 39) (4 . 40)) 4275 0.3571 4.5626 ((2 . 21) (4 . 23) (5 . 24) (6 . 25) (8 . 28)) 4281 0.2856 10.2555 ((4 . 3) (6 . 5) (8 . 8) (12 . 11)) 4284 0.2857 7.5275 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 4299 0.3571 6.3124 ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (6 . 11)) 4301 0.2857 6.5302 ((6 . 1) (8 . 3) (9 . 4) (14 . 9)) 4326 0.5000 3.8470 ((2 . 2) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 18) (8 . 19)) 4332 0.2856 10.6091 ((7 . 3) (9 . 4) (12 . 5) (13 . 8)) 4338 0.2857 5.1869 ((1 . 5) (2 . 6) (4 . 8) (6 . 11)) 4352 0.2820 11.3332 ((5 . 11) (12 . 15) (13 . 16) (15 . 17)) 4359 0.2857 6.4972 ((2 . 21) (4 . 23) (6 . 27) (8 . 28)) 4380 0.3157 9.6191 ((2 . 2) (6 . 4) (9 . 15) (12 . 16) (14 . 17)) 4383 0.2857 8.5189 ((4 . 17) (6 . 19) (8 . 21) (9 . 22)) 4386 0.2857 6.9774 ((1 . 15) (3 . 17) (4 . 18) (6 . 19)) 4388 0.4285 6.1122 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (8 . 8)) 4398 0.4286 3.8328 ((2 . 4) (4 . 8) (5 . 9) (6 . 10) (7 . 11) (8 . 12)) 4405 0.3570 8.9771 ((1 . 13) (2 . 14) (3 . 17) (4 . 18) (9 . 23)) 4408 0.2857 7.6614 ((6 . 4) (7 . 5) (8 . 6) (12 . 10)) 4415 0.2857 3.3198 ((3 . 5) (4 . 9) (5 . 10) (6 . 11)) 4419 0.2285 8.7350 ((6 . 8) (7 . 1) (8 . 7) (12 . 2) (13 . 5) (14 . 6)) 4426 0.2695 13.8569 ((5 . 1) (8 . 2) (12 . 3) (13 . 5)) 4470 0.3571 4.9003 ((2 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 4491 0.2855 13.7739 ((6 . 1) (8 . 5) (10 . 6) (12 . 7)) 4492 0.3571 3.7828 ((3 . 10) (4 . 11) (5 . 12) (6 . 13) (8 . 16)) 4495 0.4286 3.8664 ((3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 4497 0.2785 8.1580 ((5 . 20) (8 . 24) (9 . 25) (14 . 28)) 4502 0.4285 4.5037 ((2 . 6) (4 . 11) (5 . 13) (6 . 14) (7 . 16) (8 . 17)) 4503 0.2697 5.1175 ((2 . 1) (6 . 7) (8 . 9) (9 . 10)) 4504 0.4285 4.6028 ((2 . 4) (4 . 15) (5 . 16) (6 . 17) (7 . 18) (8 . 19)) 4505 0.3571 5.7743 ((1 . 27) (2 . 28) (3 . 29) (4 . 30) (6 . 34)) 4516 0.7128 6.7933 ((1 . 19) (3 . 21) (4 . 22) (5 . 23) (6 . 24) (7 . 25) (8 . 26) (12 . 27) (13 . 29) (14 . 30)) 4527 0.2459 7.2166 ((4 . 1) (5 . 2) (7 . 4) (9 . 7)) 4538 0.2786 7.1795 ((9 . 32) (10 . 33) (14 . 38) (15 . 39)) 4551 0.3571 4.1102 ((2 . 1) (4 . 4) (5 . 7) (6 . 8) (8 . 17)) 4560 0.3571 4.4200 ((2 . 1) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 4561 0.3571 4.8474 ((1 . 8) (2 . 9) (3 . 11) (4 . 12) (6 . 16)) 4562 0.3571 3.5287 ((2 . 25) (3 . 26) (4 . 27) (5 . 28) (6 . 29)) 4563 0.3571 5.5965 ((2 . 26) (4 . 28) (5 . 30) (6 . 31) (15 . 37)) 4577 0.2857 7.6805 ((4 . 50) (6 . 52) (9 . 54) (13 . 59)) 4579 0.2856 11.3719 ((1 . 3) (3 . 5) (12 . 11) (13 . 13)) 4588 0.3571 4.1513 ((2 . 1) (4 . 11) (5 . 12) (6 . 13) (8 . 16)) 4589 0.2857 9.2772 ((1 . 24) (2 . 25) (3 . 26) (4 . 29)) 4607 0.2696 10.3104 ((1 . 2) (3 . 5) (12 . 16) (13 . 17)) 4621 0.2857 9.2922 ((1 . 5) (4 . 8) (5 . 10) (6 . 11)) 4630 0.3847 5.9498 ((2 . 8) (4 . 11) (6 . 14) (8 . 16) (9 . 17) (14 . 20)) 4648 0.1895 10.7028 ((9 . 2) (12 . 3) (13 . 7) (14 . 8)) 4653 0.3568 11.2223 ((4 . 1) (5 . 2) (6 . 4) (8 . 5) (9 . 6)) 4668 0.4999 4.7258 ((2 . 1) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11)) 4669 0.4286 3.4269 ((2 . 15) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22)) 4671 0.2857 4.2514 ((2 . 2) (3 . 3) (4 . 4) (8 . 7)) 4674 0.2857 8.6927 ((4 . 1) (5 . 3) (7 . 5) (10 . 7)) 4678 0.2857 9.6409 ((3 . 3) (7 . 7) (12 . 9) (14 . 14)) 4713 0.2695 13.1147 ((3 . 1) (6 . 5) (9 . 6) (12 . 10)) 4715 0.2857 6.8092 ((4 . 3) (7 . 5) (12 . 9) (13 . 10)) 4716 0.2695 12.0472 ((5 . 2) (7 . 4) (12 . 7) (15 . 9)) 4731 0.2857 6.2655 ((1 . 15) (2 . 18) (5 . 19) (6 . 22)) 4764 0.2855 12.3168 ((1 . 2) (3 . 4) (12 . 10) (13 . 11)) 4783 0.2459 10.3339 ((3 . 6) (5 . 7) (7 . 8) (15 . 12)) 4817 0.2857 8.2841 ((3 . 6) (5 . 9) (7 . 11) (12 . 13)) 4857 0.2972 5.7045 ((1 . 4) (2 . 5) (6 . 11) (7 . 12) (15 . 16)) 4886 0.2857 4.5297 ((2 . 19) (5 . 20) (6 . 22) (15 . 28)) 4888 0.2856 9.9570 ((2 . 9) (3 . 10) (6 . 14) (8 . 15)) 4889 0.2857 8.7160 ((1 . 18) (3 . 19) (5 . 21) (7 . 23)) 4914 0.2857 8.3188 ((1 . 3) (2 . 4) (6 . 10) (8 . 12)) 4921 0.2857 8.0638 ((2 . 9) (4 . 12) (5 . 13) (8 . 17)) 4929 0.2857 6.5215 ((2 . 26) (4 . 29) (6 . 31) (8 . 32)) 4932 0.2857 5.0813 ((2 . 1) (4 . 6) (5 . 7) (6 . 8)) 4940 0.3571 4.2808 ((2 . 2) (4 . 3) (5 . 5) (6 . 6) (8 . 8)) 4941 0.2857 7.6283 ((2 . 1) (4 . 5) (6 . 9) (10 . 15)) 4944 0.4284 7.6707 ((1 . 10) (2 . 11) (3 . 12) (4 . 14) (6 . 15) (8 . 16)) 4961 0.5639 6.4427 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (5 . 8) (7 . 11) (9 . 14) (14 . 15)) 4963 0.2857 8.9035 ((3 . 2) (5 . 3) (7 . 5) (15 . 9)) 4978 0.5000 4.4988 ((2 . 18) (3 . 27) (4 . 28) (5 . 29) (6 . 30) (7 . 31) (8 . 32)) 4982 0.3570 9.0286 ((5 . 2) (6 . 14) (7 . 15) (10 . 18) (12 . 19)) 4992 0.2857 4.1319 ((3 . 4) (4 . 6) (5 . 7) (6 . 8)) 4998 0.3571 6.5064 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 6)) 5000 0.2855 12.3993 ((5 . 30) (7 . 31) (12 . 33) (15 . 35)) 5016 0.1895 10.2216 ((3 . 1) (5 . 2) (12 . 5) (15 . 7)) 5029 0.4284 7.5088 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8) (8 . 10)) 5036 0.2856 11.0333 ((2 . 5) (4 . 8) (6 . 9) (8 . 10)) 5038 0.2857 8.4052 ((8 . 9) (9 . 10) (12 . 13) (14 . 16)) 5039 0.4285 4.4563 ((1 . 36) (2 . 37) (3 . 38) (4 . 39) (5 . 40) (6 . 41)) 5044 0.2227 12.1229 ((3 . 4) (6 . 9) (9 . 14) (10 . 16)) 5053 0.2857 8.9417 ((1 . 7) (4 . 10) (6 . 12) (12 . 17)) 5065 0.2857 8.3391 ((3 . 1) (4 . 2) (7 . 5) (9 . 7)) 5068 0.3671 4.2548 ((2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 9) (8 . 10)) 5069 0.4286 3.6784 ((2 . 2) (3 . 8) (4 . 9) (5 . 14) (6 . 15) (8 . 17)) 5073 0.4286 3.4423 ((2 . 32) (3 . 35) (4 . 36) (5 . 38) (6 . 39) (8 . 44)) 5080 0.2857 8.1971 ((4 . 2) (7 . 5) (12 . 8) (13 . 9)) 5092 0.2851 16.7444 ((1 . 13) (3 . 14) (7 . 18) (12 . 19)) 5101 0.4286 4.3454 ((2 . 1) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 5103 0.4285 6.3622 ((2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (8 . 19)) 5121 0.2857 6.0713 ((1 . 23) (2 . 25) (4 . 27) (6 . 30)) 5132 0.3571 7.0074 ((1 . 17) (2 . 18) (3 . 19) (5 . 21) (6 . 22)) 5134 0.2857 4.1280 ((4 . 3) (5 . 5) (6 . 6) (14 . 13)) 5145 0.2857 5.6065 ((7 . 4) (9 . 5) (14 . 10) (15 . 11)) 5167 0.4204 4.3740 ((2 . 1) (3 . 7) (4 . 9) (5 . 10) (6 . 12) (7 . 13) (8 . 14)) 5176 0.2857 9.5076 ((2 . 82) (3 . 83) (4 . 86) (6 . 88)) 5183 0.2857 9.4335 ((6 . 35) (8 . 37) (12 . 39) (13 . 41)) 5192 0.3570 8.8710 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 5198 0.3571 6.3779 ((4 . 21) (5 . 23) (6 . 24) (7 . 25) (8 . 26)) 5199 0.2856 10.0340 ((2 . 4) (4 . 7) (6 . 8) (8 . 9)) 5209 0.2857 7.2347 ((2 . 4) (3 . 6) (4 . 7) (6 . 9)) 5212 0.2856 10.0363 ((3 . 17) (6 . 21) (8 . 23) (9 . 24)) 5215 0.2857 8.8812 ((1 . 6) (4 . 10) (6 . 12) (12 . 17)) 5223 0.5713 4.2959 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 10) (15 . 11)) 5231 0.2856 10.5280 ((4 . 12) (6 . 14) (7 . 15) (9 . 16)) 5266 0.3571 4.1458 ((2 . 8) (3 . 9) (4 . 10) (5 . 12) (6 . 13)) 5278 0.2857 7.1378 ((3 . 3) (4 . 5) (6 . 7) (8 . 9)) 5307 0.3571 3.6843 ((2 . 51) (3 . 54) (4 . 55) (6 . 57) (8 . 58)) 5312 0.2696 7.5431 ((8 . 1) (9 . 2) (14 . 5) (15 . 6)) 5318 0.2857 5.9206 ((2 . 8) (4 . 11) (5 . 12) (15 . 20)) 5323 0.2855 12.4007 ((1 . 13) (3 . 14) (5 . 16) (12 . 19)) 5324 0.4286 3.4185 ((2 . 7) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (8 . 15)) 5344 0.2857 5.6857 ((2 . 4) (3 . 5) (6 . 9) (8 . 10)) 5345 0.2857 7.7103 ((2 . 12) (4 . 14) (6 . 17) (8 . 18)) 5368 0.2857 5.1532 ((2 . 19) (4 . 21) (6 . 25) (8 . 27)) 5378 0.2857 5.1814 ((4 . 4) (5 . 5) (6 . 6) (8 . 7)) 5411 0.2857 9.5316 ((1 . 1) (4 . 3) (5 . 5) (6 . 6)) 5414 0.2228 9.5076 ((4 . 15) (5 . 17) (8 . 20) (9 . 22)) 5418 0.2857 6.8539 ((2 . 3) (4 . 7) (6 . 9) (7 . 10)) 5433 0.2857 6.0484 ((2 . 5) (6 . 14) (9 . 16) (13 . 24)) 5442 0.2857 8.7496 ((1 . 34) (3 . 36) (5 . 38) (7 . 39)) 5479 0.3472 8.5282 ((2 . 48) (4 . 51) (6 . 52) (8 . 53) (10 . 56) (12 . 65)) 5487 0.3158 6.5796 ((1 . 3) (2 . 4) (4 . 7) (6 . 9) (7 . 10)) 5489 0.2857 4.4556 ((2 . 2) (6 . 6) (8 . 9) (9 . 10)) 5500 0.2857 8.5356 ((2 . 4) (5 . 10) (6 . 12) (8 . 14)) 5501 0.2857 8.3356 ((5 . 23) (6 . 25) (7 . 26) (13 . 32)) 5525 0.1621 13.9389 ((3 . 1) (5 . 3) (12 . 10) (15 . 11)) 5535 0.2857 8.0603 ((1 . 1) (3 . 5) (4 . 8) (6 . 11)) 5540 0.2857 7.3309 ((2 . 1) (3 . 2) (4 . 3) (10 . 10)) 5557 0.2857 4.2578 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 5560 0.3571 4.6551 ((4 . 2) (5 . 8) (6 . 9) (7 . 10) (8 . 23)) 5562 0.5000 3.8764 ((2 . 7) (3 . 9) (4 . 11) (5 . 13) (6 . 14) (7 . 15) (8 . 17)) 5567 0.3847 5.0503 ((1 . 10) (2 . 11) (3 . 14) (4 . 15) (5 . 16) (6 . 17)) 5594 0.4997 6.9641 ((2 . 1) (3 . 5) (4 . 6) (5 . 7) (6 . 9) (8 . 12) (15 . 13)) 5600 0.2857 7.1561 ((2 . 3) (3 . 4) (4 . 5) (7 . 10)) 5601 0.3571 7.5974 ((1 . 4) (2 . 5) (4 . 7) (7 . 11) (8 . 12)) 5638 0.2857 7.6500 ((2 . 7) (5 . 12) (6 . 13) (7 . 14)) 5640 0.2857 5.3265 ((2 . 19) (4 . 21) (6 . 23) (8 . 25)) 5644 0.2857 7.6544 ((4 . 3) (5 . 5) (8 . 8) (14 . 14)) 5648 0.2854 14.6659 ((5 . 1) (12 . 5) (13 . 6) (15 . 7)) 5656 0.4204 5.4556 ((2 . 1) (3 . 12) (4 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 21)) 5689 0.2856 10.4025 ((3 . 3) (12 . 9) (13 . 10) (15 . 11)) 5700 0.1895 10.5950 ((4 . 2) (8 . 4) (12 . 7) (14 . 11)) 5701 0.2857 7.5544 ((2 . 12) (3 . 13) (4 . 14) (5 . 15)) 5702 0.2856 10.2712 ((1 . 10) (3 . 12) (5 . 13) (7 . 15)) 5703 0.2857 9.2486 ((1 . 3) (2 . 5) (4 . 6) (6 . 8)) 5704 0.2696 11.7687 ((5 . 3) (7 . 4) (13 . 6) (15 . 7)) 5711 0.2857 7.7627 ((2 . 33) (4 . 36) (8 . 43) (10 . 44)) 5713 0.2857 7.3521 ((2 . 15) (4 . 18) (6 . 21) (8 . 22)) 5718 0.2857 6.5601 ((7 . 15) (9 . 17) (13 . 22) (14 . 23)) 5731 0.2857 6.7221 ((2 . 7) (3 . 8) (4 . 11) (6 . 13)) 5746 0.2857 5.9787 ((4 . 3) (5 . 4) (6 . 6) (8 . 9)) 5749 0.2821 9.5477 ((1 . 1) (4 . 4) (8 . 6) (12 . 9)) 5761 0.2459 10.1848 ((3 . 29) (5 . 33) (7 . 34) (10 . 36)) 5770 0.2857 8.5054 ((5 . 2) (9 . 6) (13 . 10) (14 . 12)) 5771 0.4286 2.9818 ((2 . 1) (3 . 16) (4 . 17) (5 . 19) (6 . 20) (8 . 21)) 5782 0.3564 13.5189 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (15 . 17)) 5789 0.2856 11.0905 ((7 . 1) (10 . 2) (12 . 3) (15 . 4)) 5794 0.4044 6.6993 ((3 . 13) (4 . 16) (5 . 17) (6 . 18) (9 . 23) (14 . 24)) 5795 0.3571 4.6300 ((2 . 10) (3 . 12) (4 . 13) (5 . 15) (6 . 16)) 5809 0.4999 5.1722 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 7) (15 . 8)) 5822 0.2856 11.5970 ((2 . 7) (4 . 9) (5 . 10) (7 . 11)) 5827 0.3966 5.7765 ((2 . 4) (4 . 5) (5 . 6) (6 . 8) (7 . 10) (8 . 11) (15 . 12)) 5830 0.2857 9.1667 ((2 . 1) (3 . 5) (7 . 9) (8 . 10)) 5847 0.2857 9.5728 ((4 . 7) (6 . 10) (8 . 11) (9 . 12)) 5861 0.3570 8.2517 ((2 . 6) (4 . 11) (6 . 15) (8 . 20) (9 . 30)) 5865 0.2857 3.9272 ((2 . 1) (4 . 5) (5 . 6) (6 . 7)) 5878 0.2785 11.0880 ((7 . 24) (8 . 25) (9 . 26) (13 . 31)) 5888 0.2857 6.6553 ((4 . 6) (6 . 8) (8 . 10) (14 . 16)) 5896 0.2857 6.4762 ((2 . 26) (3 . 27) (4 . 28) (6 . 29)) 5904 0.3571 5.7135 ((2 . 1) (3 . 3) (4 . 4) (5 . 6) (6 . 7)) 5913 0.4887 5.4712 ((2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (8 . 20) (9 . 22)) 5914 0.2696 9.5488 ((6 . 3) (7 . 4) (9 . 6) (12 . 7)) 5922 0.2857 8.3794 ((4 . 1) (8 . 6) (9 . 8) (14 . 11)) 5930 0.4285 6.5413 ((2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (9 . 9)) 5939 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14) (15 . 15)) 5945 0.5713 4.3111 ((2 . 2) (3 . 22) (4 . 23) (5 . 25) (6 . 26) (7 . 27) (8 . 28) (15 . 31)) 5949 0.2857 4.9382 ((2 . 9) (4 . 12) (5 . 13) (6 . 14)) 5955 0.4285 4.5265 ((1 . 2) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 5967 0.3571 6.2013 ((2 . 1) (3 . 2) (5 . 6) (6 . 7) (7 . 8)) 5972 0.2459 9.0707 ((5 . 1) (7 . 4) (10 . 6) (12 . 8)) 5977 0.2857 3.0351 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 6000 0.2857 5.2252 ((1 . 11) (3 . 16) (4 . 17) (6 . 21)) 6011 0.2857 6.5199 ((4 . 1) (6 . 3) (9 . 4) (14 . 11)) 6022 0.2856 11.0861 ((4 . 1) (6 . 2) (8 . 5) (10 . 7)) 6029 0.2857 3.8575 ((3 . 20) (4 . 21) (5 . 22) (6 . 23)) 6041 0.2857 6.9103 ((1 . 6) (3 . 9) (4 . 10) (6 . 12)) 6046 0.2856 10.0622 ((5 . 1) (6 . 2) (10 . 6) (12 . 7)) 6061 0.2857 4.0501 ((3 . 16) (4 . 17) (5 . 18) (6 . 20)) 6074 0.4285 5.1741 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 11) (8 . 13)) 6075 0.3571 4.3060 ((3 . 16) (4 . 17) (5 . 19) (6 . 20) (8 . 21)) 6079 0.3571 5.6984 ((2 . 1) (3 . 2) (4 . 6) (6 . 8) (15 . 15)) 6087 0.3158 6.4569 ((1 . 2) (2 . 3) (3 . 4) (4 . 8) (7 . 9)) 6089 0.3570 8.9059 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 6094 0.2857 5.8042 ((4 . 3) (7 . 6) (8 . 7) (14 . 14)) 6099 0.2857 6.5487 ((1 . 19) (4 . 22) (6 . 24) (8 . 26)) 6123 0.2227 13.7434 ((8 . 2) (10 . 4) (12 . 6) (13 . 7)) 6142 0.3467 8.0606 ((2 . 10) (4 . 12) (6 . 14) (8 . 16) (9 . 17)) 6167 0.2696 8.3835 ((4 . 4) (6 . 7) (8 . 10) (9 . 12)) 6169 0.2857 8.5249 ((1 . 3) (3 . 4) (5 . 8) (7 . 9)) 6173 0.2857 6.2357 ((2 . 3) (4 . 5) (6 . 8) (8 . 11)) 6191 0.2855 12.5926 ((4 . 4) (5 . 5) (7 . 7) (9 . 10)) 6192 0.2857 9.3162 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 6215 0.2227 11.1519 ((9 . 18) (13 . 22) (14 . 24) (15 . 23)) 6225 0.2857 6.9862 ((3 . 2) (4 . 3) (6 . 5) (15 . 11)) 6228 0.3571 7.2672 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 7)) 6234 0.2458 10.8154 ((1 . 8) (2 . 10) (3 . 14) (4 . 15)) 6238 0.2856 11.2640 ((3 . 2) (4 . 3) (6 . 5) (12 . 10)) 6243 0.3847 6.6261 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 6251 0.4280 9.9626 ((2 . 8) (3 . 9) (4 . 10) (7 . 14) (8 . 15) (15 . 20)) 6258 0.4285 6.6517 ((2 . 7) (3 . 8) (4 . 10) (5 . 11) (6 . 12) (8 . 13)) 6261 0.4285 6.5583 ((1 . 7) (2 . 9) (3 . 10) (4 . 11) (5 . 14) (7 . 15)) 6266 0.4999 5.7917 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 6268 0.2855 12.6590 ((1 . 9) (3 . 10) (5 . 12) (7 . 13)) 6270 0.2459 9.0628 ((1 . 14) (2 . 15) (4 . 17) (6 . 20)) 6271 0.2857 7.3809 ((5 . 6) (6 . 8) (13 . 13) (15 . 14)) 6273 0.2854 13.9791 ((4 . 1) (9 . 3) (10 . 6) (15 . 9)) 6294 0.4284 7.2189 ((3 . 10) (4 . 11) (6 . 14) (7 . 15) (8 . 16) (15 . 19)) 6309 0.2857 6.7910 ((1 . 16) (2 . 17) (3 . 19) (4 . 20)) 6311 0.2857 7.9903 ((2 . 4) (4 . 5) (6 . 9) (8 . 10)) 6326 0.2857 9.1440 ((2 . 2) (6 . 6) (8 . 7) (9 . 9)) 6329 0.2784 12.4997 ((7 . 1) (12 . 3) (13 . 4) (15 . 6)) 6344 0.2857 5.1293 ((2 . 4) (3 . 5) (4 . 6) (15 . 16)) 6345 0.3157 8.6516 ((1 . 2) (2 . 4) (4 . 6) (6 . 7) (12 . 9)) 6348 0.3571 5.1792 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (5 . 13)) 6355 0.2857 8.2422 ((3 . 5) (4 . 8) (6 . 11) (8 . 12)) 6356 0.5000 3.8681 ((2 . 1) (3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 6359 0.3157 8.5970 ((1 . 1) (3 . 3) (5 . 5) (7 . 6) (12 . 8)) 6369 0.6394 4.7461 ((1 . 21) (2 . 22) (3 . 23) (4 . 24) (5 . 25) (6 . 26) (7 . 28) (8 . 29) (15 . 30)) 6376 0.3571 4.3180 ((4 . 17) (5 . 18) (6 . 19) (7 . 20) (8 . 21)) 6391 0.2696 8.1405 ((4 . 8) (6 . 10) (8 . 12) (9 . 14)) 6392 0.3571 5.0512 ((2 . 1) (3 . 8) (4 . 9) (5 . 14) (6 . 15)) 6399 0.3158 7.5418 ((1 . 23) (2 . 24) (4 . 26) (6 . 27) (8 . 30)) 6403 0.3571 4.0349 ((4 . 5) (5 . 6) (6 . 7) (7 . 9) (8 . 10)) 6434 0.2857 7.3721 ((2 . 3) (4 . 5) (5 . 6) (7 . 7)) 6461 0.2857 9.3967 ((7 . 1) (10 . 3) (12 . 4) (13 . 5)) 6462 0.4286 3.2669 ((2 . 12) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (8 . 22)) 6498 0.5000 2.7367 ((2 . 10) (3 . 36) (4 . 37) (5 . 39) (6 . 40) (7 . 41) (8 . 42)) 6506 0.2855 13.6956 ((3 . 18) (5 . 20) (12 . 23) (13 . 24)) 6520 0.3370 6.5319 ((2 . 10) (5 . 11) (6 . 13) (9 . 16) (10 . 24)) 6536 0.2785 10.0353 ((1 . 25) (5 . 27) (7 . 28) (12 . 30)) 6539 0.2857 6.4831 ((4 . 5) (6 . 8) (7 . 9) (8 . 10)) 6540 0.2856 10.3179 ((4 . 17) (6 . 19) (8 . 21) (10 . 22)) 6548 0.3571 7.5375 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (15 . 15)) 6553 0.5498 7.3263 ((1 . 10) (2 . 11) (3 . 16) (4 . 17) (5 . 19) (6 . 20) (8 . 22) (15 . 27)) 6555 0.2857 8.6983 ((2 . 17) (4 . 20) (5 . 21) (9 . 25)) 6561 0.2857 9.4007 ((6 . 12) (9 . 13) (10 . 14) (12 . 16)) 6573 0.3571 3.4093 ((2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21)) 6578 0.2856 9.7010 ((2 . 37) (3 . 39) (4 . 38) (5 . 40)) 6584 0.2857 6.0221 ((5 . 4) (6 . 5) (8 . 7) (9 . 8)) 6585 0.3157 8.6068 ((1 . 4) (2 . 6) (3 . 7) (4 . 8) (5 . 9)) 6586 0.2857 7.6702 ((2 . 18) (3 . 19) (5 . 23) (6 . 24)) 6587 0.3571 6.4355 ((3 . 27) (4 . 29) (5 . 30) (6 . 31) (8 . 33)) 6598 0.2857 5.5156 ((1 . 12) (4 . 17) (6 . 20) (8 . 22)) 6613 0.3571 5.8032 ((1 . 23) (2 . 24) (3 . 25) (4 . 27) (6 . 31)) 6622 0.1895 7.6339 ((3 . 4) (5 . 5) (7 . 8) (12 . 11)) 6635 0.2857 8.0200 ((9 . 1) (12 . 3) (14 . 7) (15 . 9)) END