943 25 0.2855 12.7614 ((2 . 6) (7 . 12) (13 . 14) (15 . 16)) 41 0.4283 8.4742 ((4 . 3) (5 . 4) (6 . 5) (7 . 6) (9 . 7) (10 . 8)) 51 0.2857 6.2272 ((4 . 1) (6 . 2) (9 . 7) (12 . 11)) 62 0.3571 5.9251 ((7 . 9) (8 . 10) (9 . 13) (10 . 15) (12 . 16)) 64 0.2857 6.0534 ((4 . 4) (6 . 7) (14 . 12) (15 . 13)) 77 0.3571 5.6866 ((4 . 7) (9 . 8) (10 . 12) (12 . 13) (15 . 15)) 91 0.3571 4.2904 ((4 . 19) (6 . 21) (12 . 28) (13 . 30) (14 . 31)) 96 0.2857 4.8987 ((6 . 1) (7 . 2) (8 . 3) (12 . 6)) 129 0.2857 5.8072 ((8 . 1) (9 . 3) (12 . 8) (15 . 11)) 136 0.3570 8.4749 ((3 . 2) (4 . 3) (6 . 5) (8 . 8) (10 . 9)) 150 0.3571 3.9872 ((9 . 20) (10 . 21) (12 . 23) (13 . 24) (14 . 25)) 153 0.3158 8.3717 ((6 . 1) (8 . 4) (9 . 6) (12 . 8) (15 . 10)) 155 0.2696 9.9735 ((6 . 2) (8 . 3) (10 . 5) (13 . 8)) 157 0.4285 5.0005 ((6 . 1) (7 . 2) (8 . 3) (9 . 5) (10 . 6) (12 . 8)) 161 0.2459 7.5008 ((4 . 4) (6 . 6) (7 . 7) (8 . 9)) 162 0.2857 7.0420 ((9 . 12) (10 . 16) (14 . 17) (15 . 18)) 169 0.2857 7.2067 ((1 . 5) (2 . 7) (8 . 11) (9 . 12)) 177 0.2857 7.0064 ((6 . 1) (9 . 4) (14 . 8) (15 . 10)) 191 0.2856 10.5648 ((6 . 1) (7 . 3) (12 . 6) (15 . 7)) 198 0.2696 10.7379 ((1 . 5) (4 . 9) (8 . 15) (9 . 17)) 207 0.4279 10.4269 ((4 . 8) (5 . 11) (7 . 12) (10 . 14) (12 . 15) (14 . 18)) 233 0.2857 5.6917 ((4 . 1) (6 . 3) (8 . 5) (9 . 8)) 300 0.3570 8.5452 ((1 . 9) (2 . 10) (3 . 11) (8 . 17) (9 . 18)) 305 0.2857 6.9032 ((6 . 12) (7 . 13) (14 . 21) (15 . 22)) 307 0.3571 3.9378 ((6 . 1) (7 . 2) (8 . 3) (9 . 7) (10 . 8)) 315 0.2857 7.5126 ((4 . 3) (6 . 4) (8 . 6) (12 . 10)) 329 0.2228 7.7422 ((1 . 4) (2 . 5) (3 . 7) (7 . 9)) 350 0.2857 5.2416 ((2 . 10) (4 . 13) (6 . 15) (9 . 20)) 351 0.2856 10.1011 ((3 . 2) (5 . 4) (10 . 8) (13 . 9)) 360 0.2857 4.0186 ((9 . 9) (12 . 12) (13 . 13) (14 . 14)) 361 0.3467 7.0453 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (14 . 11)) 365 0.2857 6.8385 ((4 . 1) (6 . 2) (9 . 6) (12 . 8)) 367 0.2857 5.1757 ((1 . 38) (2 . 40) (4 . 43) (8 . 48)) 372 0.2857 7.2447 ((4 . 2) (8 . 8) (9 . 10) (12 . 14)) 387 0.2857 8.3106 ((2 . 1) (9 . 10) (12 . 12) (15 . 15)) 405 0.2857 7.7402 ((4 . 32) (6 . 35) (8 . 38) (9 . 40)) 417 0.0996 10.1572 ((9 . 3) (10 . 6) (12 . 7) (14 . 9)) 420 0.3570 8.7568 ((2 . 1) (4 . 3) (6 . 5) (8 . 8) (9 . 10)) 433 0.2857 6.0096 ((6 . 5) (9 . 7) (10 . 8) (12 . 9)) 442 0.3571 4.7958 ((3 . 11) (4 . 12) (13 . 18) (14 . 20) (15 . 21)) 460 0.2857 8.0721 ((1 . 1) (4 . 6) (6 . 8) (7 . 9)) 472 0.3465 10.5443 ((4 . 22) (7 . 24) (10 . 29) (12 . 31) (13 . 33)) 491 0.2856 10.2709 ((6 . 1) (7 . 2) (14 . 8) (15 . 9)) 495 0.3571 4.0270 ((8 . 1) (9 . 3) (10 . 4) (12 . 5) (14 . 7)) 541 0.3571 4.9894 ((3 . 6) (4 . 7) (6 . 11) (9 . 14) (12 . 17)) 543 0.2857 5.9306 ((6 . 1) (13 . 7) (14 . 8) (15 . 10)) 553 0.1622 8.5911 ((2 . 12) (3 . 14) (7 . 20) (10 . 22)) 561 0.2857 5.0538 ((9 . 1) (10 . 2) (12 . 3) (15 . 4)) 584 0.3571 6.2859 ((3 . 2) (4 . 3) (12 . 10) (13 . 12) (14 . 13)) 587 0.2857 7.2144 ((4 . 2) (8 . 7) (14 . 10) (15 . 11)) 609 0.2857 4.2704 ((9 . 1) (10 . 2) (12 . 3) (14 . 6)) 619 0.3571 7.7551 ((1 . 8) (4 . 12) (7 . 14) (8 . 15) (9 . 18)) 624 0.5000 4.2047 ((4 . 7) (6 . 9) (10 . 12) (12 . 13) (13 . 14) (14 . 15) (15 . 16)) 635 0.2857 7.0085 ((6 . 13) (8 . 15) (10 . 17) (12 . 18)) 672 0.2857 6.5743 ((5 . 12) (9 . 18) (14 . 23) (15 . 24)) 678 0.4280 10.0037 ((3 . 23) (4 . 24) (5 . 25) (6 . 26) (7 . 28) (13 . 33)) 719 0.2857 4.5502 ((6 . 22) (9 . 27) (10 . 29) (12 . 30)) 729 0.5000 2.9169 ((4 . 7) (5 . 8) (6 . 9) (9 . 13) (10 . 14) (12 . 15) (14 . 17)) 735 0.2857 6.2341 ((4 . 29) (8 . 32) (9 . 36) (12 . 39)) 740 0.2857 5.8223 ((10 . 1) (12 . 2) (14 . 5) (15 . 6)) 765 0.2857 7.0135 ((4 . 7) (8 . 12) (9 . 17) (12 . 20)) 767 0.3571 6.2303 ((4 . 1) (5 . 2) (6 . 3) (9 . 8) (12 . 12)) 795 0.4286 3.3020 ((9 . 1) (10 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6)) 796 0.2857 2.6767 ((12 . 3) (13 . 4) (14 . 5) (15 . 6)) 812 0.3571 5.0575 ((4 . 9) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 818 0.3571 2.8084 ((6 . 4) (8 . 7) (9 . 10) (12 . 12) (15 . 16)) 819 0.1895 10.2100 ((5 . 1) (8 . 3) (12 . 5) (15 . 8)) 834 0.2857 6.6926 ((1 . 32) (2 . 33) (10 . 36) (13 . 44)) 861 0.2857 6.0541 ((1 . 8) (5 . 11) (8 . 12) (9 . 15)) 901 0.4998 5.9798 ((3 . 10) (4 . 12) (5 . 14) (6 . 15) (9 . 17) (10 . 18) (12 . 20)) 904 0.1895 13.9808 ((7 . 1) (9 . 3) (10 . 4) (13 . 5)) 913 0.2857 4.8335 ((9 . 16) (12 . 17) (13 . 18) (15 . 20)) 928 0.5000 4.1493 ((3 . 9) (4 . 10) (5 . 11) (6 . 12) (9 . 14) (12 . 16) (14 . 18)) 937 0.2857 3.9505 ((12 . 1) (13 . 3) (14 . 4) (15 . 5)) 943 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)) 945 0.5614 4.8326 ((4 . 12) (5 . 13) (6 . 14) (7 . 16) (8 . 17) (9 . 19) (10 . 21) (12 . 22)) 949 0.2857 4.2217 ((1 . 30) (2 . 32) (7 . 33) (10 . 37)) 960 0.4286 3.9829 ((4 . 9) (5 . 11) (6 . 12) (10 . 16) (12 . 19) (14 . 21)) 978 0.3571 6.6261 ((5 . 5) (6 . 6) (9 . 10) (12 . 13) (13 . 15)) 980 0.4286 4.2376 ((6 . 1) (7 . 2) (8 . 3) (9 . 5) (10 . 6) (12 . 7)) 1005 0.1895 7.6442 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 1007 0.2857 5.2664 ((1 . 7) (2 . 8) (9 . 17) (12 . 19)) 1008 0.2857 6.6360 ((9 . 3) (12 . 8) (13 . 11) (15 . 13)) 1034 0.3571 5.1693 ((6 . 22) (10 . 27) (12 . 29) (13 . 31) (14 . 32)) 1043 0.4286 3.6919 ((4 . 1) (5 . 5) (6 . 6) (7 . 7) (9 . 10) (12 . 12)) 1082 0.3571 5.2042 ((4 . 9) (5 . 11) (6 . 12) (12 . 16) (13 . 18)) 1084 0.2857 5.0384 ((3 . 6) (6 . 10) (9 . 17) (12 . 18)) 1121 0.2857 8.4726 ((10 . 1) (12 . 2) (14 . 4) (15 . 5)) 1165 0.3571 3.5257 ((4 . 7) (5 . 9) (6 . 10) (7 . 11) (8 . 12)) 1167 0.3570 9.6160 ((3 . 19) (4 . 20) (6 . 22) (7 . 24) (9 . 27)) 1169 0.2857 7.7283 ((1 . 29) (2 . 30) (4 . 34) (6 . 37)) 1195 0.2857 7.9387 ((10 . 1) (12 . 2) (14 . 5) (15 . 6)) 1201 0.3688 6.5952 ((8 . 4) (10 . 5) (12 . 7) (13 . 8) (14 . 9) (15 . 11)) 1204 0.3571 4.8737 ((4 . 1) (5 . 2) (8 . 3) (9 . 5) (12 . 11)) 1211 0.3570 9.1472 ((6 . 3) (9 . 5) (12 . 8) (14 . 10) (15 . 11)) 1217 0.2857 7.0437 ((6 . 7) (7 . 8) (8 . 11) (9 . 12)) 1224 0.3569 10.2548 ((3 . 2) (6 . 5) (9 . 7) (14 . 14) (15 . 15)) 1233 0.4285 4.6681 ((3 . 13) (4 . 14) (5 . 16) (6 . 17) (9 . 20) (10 . 21)) 1267 0.6426 4.7488 ((3 . 8) (4 . 13) (5 . 14) (6 . 15) (7 . 16) (8 . 17) (9 . 19) (10 . 20) (12 . 21)) 1268 0.2857 6.9211 ((1 . 3) (2 . 4) (10 . 15) (13 . 17)) 1294 0.2857 8.1144 ((4 . 39) (6 . 41) (9 . 44) (12 . 47)) 1324 0.2857 7.1645 ((2 . 1) (4 . 3) (6 . 5) (8 . 6)) 1345 0.4285 5.7607 ((6 . 5) (9 . 7) (10 . 8) (12 . 9) (13 . 10) (14 . 12)) 1366 0.3571 6.8112 ((1 . 14) (2 . 15) (4 . 17) (6 . 20) (8 . 22)) 1388 0.2857 6.7399 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 1425 0.2857 7.4231 ((1 . 3) (2 . 4) (3 . 7) (6 . 11)) 1435 0.2857 7.7303 ((1 . 1) (2 . 2) (6 . 5) (12 . 13)) 1447 0.5714 3.7615 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 9)) 1451 0.3570 9.1981 ((1 . 3) (4 . 6) (5 . 7) (6 . 8) (8 . 10)) 1464 0.2857 8.2013 ((2 . 7) (4 . 10) (5 . 12) (8 . 14)) 1472 0.2458 10.9670 ((7 . 1) (13 . 5) (14 . 7) (15 . 8)) 1476 0.5393 4.3434 ((4 . 9) (5 . 10) (6 . 11) (7 . 13) (8 . 14) (9 . 18) (10 . 19) (12 . 20)) 1481 0.2855 12.5192 ((1 . 1) (2 . 2) (4 . 4) (7 . 8)) 1497 0.2695 13.1885 ((3 . 9) (7 . 12) (10 . 16) (13 . 18)) 1501 0.2857 8.2359 ((1 . 1) (2 . 2) (4 . 5) (8 . 9)) 1513 0.4285 4.6592 ((4 . 3) (5 . 4) (6 . 5) (10 . 9) (12 . 11) (14 . 13)) 1514 0.2857 2.8941 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 1577 0.2857 5.9687 ((3 . 1) (5 . 2) (6 . 3) (9 . 5)) 1591 0.4999 4.9708 ((4 . 1) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 16) (12 . 19)) 1604 0.4284 7.0328 ((3 . 6) (4 . 7) (5 . 9) (6 . 10) (9 . 12) (13 . 15)) 1622 0.3571 4.3659 ((9 . 18) (10 . 19) (12 . 20) (13 . 21) (14 . 22)) 1624 0.2857 9.2210 ((1 . 5) (2 . 6) (3 . 10) (5 . 11)) 1643 0.3571 5.7987 ((1 . 15) (2 . 16) (8 . 25) (9 . 27) (15 . 34)) 1644 0.3571 7.6951 ((1 . 43) (2 . 44) (4 . 47) (6 . 49) (8 . 51)) 1665 0.3571 3.3580 ((4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 1690 0.4286 3.7883 ((5 . 7) (6 . 8) (7 . 9) (8 . 11) (9 . 13) (12 . 16)) 1692 0.2857 5.6814 ((9 . 1) (10 . 4) (12 . 5) (15 . 8)) 1731 0.4286 3.1146 ((4 . 3) (6 . 6) (9 . 8) (10 . 11) (12 . 12) (15 . 13)) 1736 0.4283 8.3377 ((2 . 1) (4 . 3) (6 . 5) (9 . 7) (10 . 9) (12 . 10)) 1738 0.4284 7.5740 ((2 . 6) (4 . 9) (5 . 10) (6 . 11) (12 . 19) (13 . 20)) 1747 0.3571 4.8569 ((2 . 6) (6 . 11) (8 . 13) (9 . 16) (15 . 24)) 1756 0.2857 6.1431 ((1 . 21) (2 . 23) (4 . 27) (6 . 29)) 1759 0.3571 7.3945 ((1 . 5) (2 . 6) (4 . 9) (6 . 11) (8 . 14)) 1761 0.8570 2.8643 ((3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11) (9 . 13) (10 . 14) (12 . 16) (13 . 18) (14 . 19) (15 . 20)) 1763 0.2857 8.8820 ((3 . 8) (4 . 9) (7 . 12) (8 . 13)) 1776 0.4285 6.1470 ((4 . 1) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (13 . 13)) 1777 0.2857 5.5132 ((6 . 31) (8 . 34) (9 . 37) (12 . 43)) 1778 0.3570 8.5629 ((1 . 4) (2 . 5) (3 . 6) (4 . 8) (9 . 12)) 1793 0.4286 3.2414 ((5 . 5) (6 . 6) (9 . 8) (10 . 9) (12 . 10) (14 . 11)) 1805 0.2857 5.1630 ((4 . 3) (5 . 5) (6 . 7) (14 . 12)) 1808 0.2857 5.1399 ((4 . 5) (5 . 7) (6 . 8) (8 . 10)) 1817 0.2857 6.1535 ((1 . 13) (2 . 14) (6 . 20) (7 . 21)) 1867 0.2857 4.7586 ((12 . 1) (13 . 2) (14 . 3) (15 . 6)) 1894 0.3371 4.7603 ((6 . 11) (9 . 12) (12 . 18) (14 . 20) (15 . 26)) 1896 0.2857 5.1212 ((4 . 3) (5 . 4) (6 . 5) (13 . 12)) 1897 0.2857 8.9521 ((1 . 39) (2 . 40) (5 . 44) (6 . 46)) 1908 0.4840 4.3278 ((3 . 2) (4 . 3) (5 . 4) (9 . 7) (10 . 9) (12 . 10) (13 . 14) (14 . 15) (15 . 17)) 1909 0.4285 4.9255 ((4 . 25) (5 . 26) (8 . 29) (9 . 31) (10 . 33) (13 . 36)) 1913 0.3571 6.4053 ((2 . 7) (6 . 14) (8 . 17) (9 . 20) (12 . 23)) 1944 0.4284 7.5666 ((3 . 4) (5 . 6) (6 . 7) (9 . 9) (10 . 12) (12 . 13)) 1957 0.4999 5.0802 ((3 . 10) (4 . 11) (5 . 12) (6 . 13) (9 . 15) (12 . 17) (14 . 19)) 1961 0.3571 5.2004 ((9 . 14) (12 . 16) (13 . 18) (14 . 19) (15 . 20)) 1967 0.3569 9.6795 ((2 . 3) (3 . 4) (4 . 7) (7 . 9) (8 . 10)) 1972 0.5714 4.1205 ((4 . 16) (5 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 24) (10 . 25) (12 . 27)) 1992 0.4285 6.7287 ((4 . 1) (10 . 8) (12 . 9) (13 . 10) (14 . 12) (15 . 14)) 1995 0.2857 6.4002 ((4 . 1) (6 . 3) (9 . 8) (12 . 12)) 2003 0.2857 5.7616 ((1 . 4) (2 . 5) (4 . 8) (6 . 10)) 2006 0.3571 6.0168 ((1 . 9) (2 . 10) (9 . 16) (14 . 22) (15 . 24)) 2045 0.2857 9.1537 ((8 . 3) (12 . 8) (13 . 9) (15 . 13)) 2048 0.4285 4.5163 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (10 . 12) (12 . 13)) 2054 0.2857 8.3870 ((1 . 1) (2 . 2) (3 . 7) (10 . 16)) 2063 0.2857 5.6972 ((1 . 42) (2 . 43) (4 . 45) (6 . 48)) 2065 0.2857 7.2472 ((3 . 15) (7 . 20) (8 . 22) (12 . 26)) 2067 0.3570 9.3278 ((2 . 2) (3 . 6) (6 . 50) (7 . 52) (13 . 61)) 2072 0.3571 4.9425 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 8)) 2081 0.3571 7.8722 ((1 . 9) (2 . 10) (3 . 11) (10 . 18) (12 . 19)) 2083 0.3571 5.6575 ((9 . 2) (10 . 3) (12 . 4) (13 . 6) (14 . 7)) 2097 0.2857 7.6819 ((4 . 3) (6 . 18) (10 . 19) (13 . 20)) 2114 0.3569 9.7565 ((1 . 29) (2 . 32) (4 . 36) (5 . 37) (7 . 39)) 2116 0.2857 5.8986 ((1 . 3) (2 . 4) (4 . 6) (8 . 11)) 2117 0.3571 5.4887 ((6 . 6) (8 . 9) (9 . 12) (10 . 13) (12 . 14)) 2118 0.3569 10.3108 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8)) 2122 0.4286 2.7776 ((4 . 1) (6 . 6) (7 . 7) (8 . 8) (9 . 10) (14 . 12)) 2166 0.4225 11.0502 ((1 . 3) (2 . 4) (9 . 13) (13 . 14) (14 . 15) (15 . 16)) 2179 0.3571 4.5716 ((4 . 4) (6 . 5) (9 . 10) (10 . 12) (12 . 13)) 2196 0.2857 5.0448 ((6 . 10) (8 . 12) (9 . 14) (12 . 18)) 2203 0.2857 6.2440 ((6 . 1) (7 . 3) (8 . 5) (9 . 6)) 2205 0.2857 7.3533 ((8 . 13) (12 . 17) (14 . 19) (15 . 20)) 2209 0.4999 4.9246 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 7) (10 . 8) (12 . 9)) 2243 0.3570 8.6836 ((1 . 51) (2 . 52) (4 . 54) (9 . 61) (12 . 65)) 2244 0.3371 5.1080 ((1 . 71) (2 . 74) (4 . 78) (6 . 79) (8 . 80)) 2248 0.2857 4.6131 ((6 . 16) (10 . 20) (12 . 22) (13 . 23)) 2249 0.7856 3.2168 ((3 . 3) (4 . 4) (6 . 7) (7 . 8) (8 . 11) (9 . 12) (10 . 14) (12 . 16) (13 . 19) (14 . 21) (15 . 23)) 2269 0.3571 6.2463 ((6 . 8) (7 . 9) (10 . 11) (12 . 12) (13 . 13)) 2279 0.2857 4.9694 ((4 . 5) (5 . 6) (6 . 7) (8 . 9)) 2295 0.2226 15.7467 ((5 . 2) (7 . 3) (10 . 6) (13 . 7)) 2298 0.5714 3.3855 ((4 . 6) (5 . 7) (6 . 8) (9 . 12) (10 . 14) (12 . 15) (13 . 16) (14 . 17)) 2308 0.3571 6.4030 ((6 . 6) (7 . 7) (10 . 10) (12 . 11) (13 . 12)) 2314 0.2857 9.4615 ((1 . 8) (4 . 11) (6 . 13) (9 . 17)) 2340 0.3571 7.7099 ((4 . 9) (5 . 10) (6 . 11) (8 . 14) (10 . 15)) 2344 0.2857 6.4912 ((6 . 3) (9 . 6) (10 . 9) (13 . 12)) 2364 0.4285 5.4941 ((4 . 9) (5 . 10) (8 . 12) (9 . 15) (10 . 16) (14 . 20)) 2381 0.2857 5.0839 ((5 . 2) (6 . 3) (8 . 5) (10 . 8)) 2389 0.2857 4.3888 ((9 . 9) (12 . 11) (13 . 12) (14 . 14)) 2393 0.2856 9.7387 ((1 . 15) (3 . 17) (6 . 18) (7 . 19)) 2408 0.2857 6.4954 ((8 . 34) (12 . 40) (14 . 42) (15 . 45)) 2409 0.2856 10.7984 ((1 . 5) (2 . 6) (5 . 10) (7 . 11)) 2410 0.2857 5.2519 ((12 . 13) (13 . 15) (14 . 16) (15 . 17)) 2422 0.3571 2.9441 ((4 . 1) (5 . 2) (6 . 4) (9 . 9) (10 . 10)) 2423 0.3513 7.3288 ((7 . 13) (8 . 14) (9 . 16) (14 . 20) (15 . 21)) 2440 0.3571 4.8868 ((6 . 4) (7 . 5) (8 . 6) (9 . 7) (12 . 9)) 2447 0.4286 3.7894 ((4 . 13) (5 . 14) (6 . 15) (12 . 21) (13 . 22) (14 . 24)) 2462 0.3570 8.5123 ((5 . 2) (6 . 3) (7 . 5) (9 . 6) (15 . 11)) 2510 0.5714 2.8945 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 9)) 2519 0.2857 8.4723 ((10 . 3) (12 . 2) (13 . 4) (15 . 5)) 2525 0.2857 5.2290 ((12 . 45) (13 . 46) (14 . 47) (15 . 48)) 2529 0.3570 8.0470 ((4 . 1) (5 . 2) (6 . 3) (8 . 6) (10 . 7)) 2533 0.8571 2.5919 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 11) (12 . 13) (13 . 17) (14 . 18) (15 . 19)) 2544 0.2459 9.8978 ((5 . 18) (7 . 19) (9 . 22) (10 . 24)) 2551 0.2857 3.6226 ((9 . 1) (13 . 10) (14 . 11) (15 . 12)) 2552 0.3571 4.1371 ((6 . 1) (7 . 2) (8 . 3) (9 . 5) (10 . 6)) 2556 0.4286 3.2317 ((4 . 11) (5 . 12) (6 . 13) (8 . 16) (9 . 18) (10 . 21)) 2557 0.2857 5.4065 ((12 . 3) (13 . 5) (14 . 6) (15 . 7)) 2561 0.3571 6.7638 ((6 . 1) (10 . 5) (12 . 6) (14 . 8) (15 . 9)) 2595 0.4286 3.3526 ((4 . 1) (5 . 2) (6 . 4) (9 . 6) (12 . 9) (14 . 11)) 2619 0.3570 9.5469 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7)) 2627 0.3571 8.0219 ((10 . 59) (12 . 60) (13 . 62) (14 . 64) (15 . 65)) 2650 0.2857 7.4046 ((4 . 2) (5 . 4) (6 . 5) (9 . 7)) 2658 0.2857 8.7419 ((3 . 6) (5 . 8) (8 . 12) (9 . 13)) 2675 0.2857 6.6408 ((1 . 4) (2 . 5) (3 . 9) (4 . 10)) 2682 0.4286 4.3689 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (10 . 16) (14 . 19)) 2696 0.2857 6.9397 ((4 . 31) (8 . 34) (9 . 36) (12 . 39)) 2731 0.2857 3.6695 ((12 . 1) (13 . 3) (14 . 4) (15 . 5)) 2733 0.2857 5.3433 ((5 . 7) (6 . 8) (8 . 11) (10 . 14)) 2755 0.4285 4.8543 ((3 . 2) (6 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 2773 0.2857 6.9102 ((4 . 3) (5 . 4) (6 . 5) (13 . 9)) 2783 0.3568 11.0139 ((1 . 1) (3 . 4) (4 . 6) (6 . 8) (7 . 9)) 2804 0.2857 8.1043 ((1 . 34) (2 . 36) (3 . 37) (6 . 39)) 2821 0.3571 3.5727 ((6 . 3) (10 . 10) (12 . 11) (13 . 12) (14 . 13)) 2830 0.4286 4.2966 ((5 . 10) (6 . 11) (7 . 12) (8 . 13) (9 . 15) (10 . 16)) 2834 0.3571 6.6211 ((6 . 1) (7 . 2) (8 . 6) (9 . 8) (13 . 10)) 2840 0.2857 4.0486 ((9 . 1) (10 . 3) (12 . 5) (15 . 8)) 2842 0.3571 5.7174 ((3 . 8) (4 . 9) (6 . 11) (7 . 12) (10 . 13)) 2867 0.2857 8.1749 ((1 . 7) (2 . 8) (3 . 10) (5 . 13)) 2879 0.3570 8.7320 ((8 . 51) (10 . 55) (12 . 56) (14 . 58) (15 . 59)) 2886 0.2857 5.5533 ((1 . 33) (2 . 34) (4 . 37) (6 . 39)) 2929 0.2857 4.4972 ((12 . 36) (13 . 38) (14 . 39) (15 . 40)) 2940 0.3571 5.3342 ((6 . 1) (7 . 2) (8 . 3) (9 . 4) (12 . 6)) 2947 0.3847 4.6683 ((4 . 2) (9 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7)) 2955 0.2857 3.8509 ((3 . 2) (4 . 3) (6 . 4) (8 . 5)) 2966 0.2857 4.7173 ((9 . 1) (12 . 4) (14 . 8) (15 . 9)) 2990 0.2857 4.6472 ((6 . 12) (7 . 13) (8 . 14) (10 . 17)) 2999 0.4285 4.9851 ((9 . 2) (10 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7)) 3014 0.2857 6.5166 ((1 . 4) (2 . 5) (3 . 8) (13 . 15)) 3019 0.2857 4.7556 ((3 . 12) (4 . 14) (10 . 18) (12 . 19)) 3034 0.5000 3.8229 ((4 . 1) (5 . 4) (6 . 5) (9 . 7) (10 . 8) (12 . 9) (13 . 11)) 3041 0.5713 4.2917 ((4 . 12) (5 . 13) (6 . 14) (9 . 16) (10 . 17) (12 . 18) (13 . 20) (14 . 22)) 3055 0.3571 5.5671 ((1 . 1) (6 . 8) (9 . 12) (12 . 16) (15 . 19)) 3063 0.2857 6.4076 ((4 . 31) (12 . 37) (14 . 39) (15 . 41)) 3070 0.3571 4.6945 ((10 . 31) (12 . 33) (13 . 34) (14 . 35) (15 . 36)) 3084 0.4286 3.7417 ((4 . 3) (5 . 4) (6 . 5) (9 . 7) (10 . 8) (12 . 11)) 3102 0.2857 6.8533 ((1 . 71) (2 . 72) (4 . 76) (9 . 82)) 3103 0.2857 6.3270 ((4 . 2) (6 . 5) (7 . 6) (9 . 9)) 3114 0.2459 7.7730 ((8 . 21) (9 . 23) (12 . 25) (13 . 27)) 3120 0.2857 7.0914 ((9 . 21) (12 . 22) (13 . 23) (15 . 25)) 3127 0.3571 3.5326 ((9 . 2) (10 . 5) (12 . 6) (13 . 7) (14 . 8)) 3147 0.3571 4.9007 ((1 . 11) (2 . 12) (8 . 19) (9 . 21) (14 . 27)) 3176 0.2856 11.3869 ((3 . 23) (4 . 26) (8 . 29) (10 . 32)) 3187 0.2857 6.8585 ((4 . 2) (10 . 8) (12 . 9) (13 . 10)) 3190 0.5714 3.1445 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (12 . 9) (13 . 10) (14 . 11)) 3197 0.5713 4.3018 ((4 . 10) (5 . 11) (6 . 12) (7 . 13) (8 . 14) (9 . 16) (10 . 17) (14 . 28)) 3200 0.2857 6.9311 ((9 . 3) (12 . 6) (13 . 7) (15 . 9)) 3202 0.2779 18.1281 ((7 . 4) (10 . 7) (14 . 8) (15 . 9)) 3212 0.2857 8.0511 ((5 . 1) (6 . 2) (9 . 5) (10 . 7)) 3222 0.3466 9.8979 ((1 . 8) (6 . 16) (7 . 17) (8 . 18) (9 . 19)) 3256 0.2857 7.2921 ((2 . 20) (4 . 25) (6 . 26) (8 . 28)) 3261 0.2857 6.5533 ((1 . 3) (3 . 5) (4 . 6) (6 . 8)) 3286 0.2857 4.8819 ((6 . 3) (8 . 5) (9 . 7) (12 . 9)) 3289 0.2857 6.6393 ((4 . 27) (5 . 28) (6 . 29) (8 . 31)) 3297 0.2857 5.4156 ((1 . 3) (2 . 4) (4 . 7) (8 . 9)) 3300 0.2696 6.6132 ((1 . 1) (2 . 2) (3 . 3) (7 . 10)) 3322 0.4286 2.4280 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (9 . 7) (10 . 8)) 3334 0.3570 9.5929 ((1 . 4) (2 . 5) (5 . 9) (6 . 10) (7 . 11)) 3339 0.5000 4.4012 ((3 . 10) (4 . 11) (6 . 15) (9 . 17) (10 . 18) (12 . 19) (14 . 21)) 3344 0.2857 8.0599 ((2 . 20) (4 . 22) (6 . 24) (8 . 27)) 3358 0.3571 6.9720 ((3 . 3) (7 . 9) (9 . 10) (12 . 12) (15 . 16)) 3362 0.3571 3.4020 ((9 . 4) (10 . 5) (12 . 6) (13 . 7) (14 . 8)) 3366 0.1473 12.3321 ((5 . 25) (6 . 26) (9 . 28) (13 . 33)) 3391 0.8569 3.4819 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 10) (10 . 12) (12 . 13) (13 . 16) (14 . 17) (15 . 21)) 3410 0.5212 4.2354 ((4 . 19) (5 . 20) (6 . 21) (7 . 23) (8 . 24) (9 . 28) (10 . 29) (12 . 30)) 3418 0.2857 8.1590 ((10 . 1) (12 . 2) (14 . 6) (15 . 7)) 3446 0.1895 10.6831 ((5 . 4) (7 . 8) (10 . 10) (13 . 11)) 3470 0.2857 8.5855 ((3 . 10) (5 . 11) (7 . 12) (10 . 15)) 3472 0.2857 5.2002 ((9 . 1) (12 . 4) (14 . 6) (15 . 8)) 3481 0.5000 2.9239 ((4 . 2) (5 . 3) (6 . 4) (8 . 8) (9 . 10) (10 . 11) (12 . 12)) 3489 0.2857 6.8330 ((1 . 1) (2 . 2) (4 . 4) (8 . 10)) 3495 0.2857 9.2619 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 3496 0.2856 9.9456 ((4 . 18) (6 . 19) (9 . 22) (10 . 24)) 3533 0.2857 7.1538 ((9 . 3) (12 . 5) (13 . 6) (15 . 10)) 3537 0.2857 5.3711 ((12 . 7) (13 . 8) (14 . 9) (15 . 10)) 3538 0.3571 7.7808 ((5 . 17) (6 . 18) (10 . 22) (12 . 23) (15 . 26)) 3548 0.3569 9.7893 ((4 . 3) (7 . 7) (9 . 8) (12 . 10) (13 . 11)) 3549 0.2857 9.5656 ((4 . 1) (6 . 2) (7 . 4) (8 . 5)) 3561 0.4998 6.3541 ((3 . 17) (4 . 20) (5 . 21) (6 . 22) (7 . 23) (8 . 26) (10 . 27)) 3570 0.3571 6.3676 ((4 . 1) (5 . 2) (8 . 4) (12 . 8) (14 . 10)) 3585 0.3571 4.8682 ((8 . 12) (9 . 14) (10 . 15) (12 . 16) (13 . 17)) 3613 0.2857 6.6971 ((1 . 35) (2 . 36) (10 . 43) (13 . 44)) 3625 0.2857 8.6125 ((9 . 1) (12 . 3) (14 . 5) (15 . 6)) 3626 0.2857 7.6455 ((3 . 1) (4 . 2) (6 . 6) (9 . 11)) 3628 0.4285 4.9794 ((5 . 5) (6 . 6) (9 . 10) (10 . 11) (12 . 12) (13 . 13)) 3651 0.4999 5.0194 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (10 . 7) (12 . 8) (14 . 11)) 3658 0.2857 5.6892 ((10 . 2) (12 . 5) (14 . 7) (15 . 8)) 3659 0.2857 6.8343 ((1 . 5) (2 . 7) (6 . 12) (7 . 14)) 3661 0.2857 7.2010 ((3 . 10) (4 . 12) (5 . 14) (13 . 25)) 3663 0.2857 6.2183 ((9 . 1) (10 . 4) (12 . 5) (13 . 6)) 3688 0.2857 6.5272 ((1 . 30) (2 . 32) (6 . 37) (8 . 38)) 3697 0.2857 9.2379 ((6 . 1) (8 . 4) (10 . 5) (12 . 6)) 3703 0.3571 7.0563 ((1 . 3) (2 . 4) (3 . 5) (6 . 6) (8 . 8)) 3732 0.4204 3.8710 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 11) (12 . 12)) 3733 0.4286 3.6183 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (12 . 8)) 3740 0.2857 6.6417 ((9 . 1) (12 . 3) (14 . 5) (15 . 6)) 3741 0.2857 6.1700 ((1 . 14) (2 . 16) (14 . 28) (15 . 32)) 3776 0.3571 6.7462 ((4 . 15) (5 . 16) (6 . 17) (8 . 21) (12 . 24)) 3778 0.2857 3.5283 ((12 . 4) (13 . 5) (14 . 6) (15 . 7)) 3787 0.5714 3.6082 ((4 . 27) (5 . 28) (6 . 29) (7 . 30) (8 . 31) (9 . 33) (10 . 34) (12 . 35)) 3790 0.3571 5.7888 ((1 . 24) (2 . 25) (9 . 33) (14 . 39) (15 . 40)) 3807 0.3571 6.1054 ((6 . 43) (8 . 46) (9 . 47) (10 . 49) (12 . 50)) 3810 0.2857 8.1363 ((4 . 4) (6 . 8) (8 . 11) (12 . 16)) 3817 0.3571 7.9425 ((2 . 5) (5 . 8) (6 . 9) (14 . 15) (15 . 16)) 3818 0.3571 7.9040 ((4 . 20) (5 . 21) (7 . 24) (10 . 27) (12 . 28)) 3829 0.2695 13.9219 ((3 . 3) (7 . 7) (10 . 11) (12 . 12)) 3831 0.3570 8.5506 ((5 . 1) (6 . 2) (12 . 6) (13 . 7) (14 . 9)) 3847 0.2857 8.7340 ((3 . 12) (4 . 13) (5 . 15) (6 . 16)) 3849 0.2459 9.3299 ((1 . 1) (2 . 2) (3 . 4) (5 . 7)) 3853 0.4283 8.0539 ((4 . 3) (5 . 4) (6 . 6) (9 . 8) (10 . 9) (13 . 11)) 3856 0.2857 5.4872 ((9 . 3) (10 . 4) (12 . 7) (15 . 10)) 3870 0.4286 3.7486 ((4 . 3) (5 . 4) (6 . 5) (9 . 8) (10 . 9) (12 . 10)) 3933 0.2857 5.8039 ((5 . 4) (8 . 7) (14 . 17) (15 . 18)) 3938 0.2857 5.5962 ((7 . 5) (8 . 6) (9 . 9) (13 . 16)) 3968 0.4286 3.4171 ((4 . 3) (5 . 4) (6 . 5) (9 . 9) (10 . 10) (12 . 11)) 3986 0.2857 4.7531 ((7 . 19) (12 . 27) (14 . 28) (15 . 29)) 3990 0.3571 6.0291 ((3 . 17) (4 . 18) (5 . 19) (6 . 20) (9 . 22)) 4005 0.2857 4.9085 ((9 . 25) (10 . 28) (14 . 32) (15 . 33)) 4009 0.2857 3.6538 ((5 . 18) (6 . 19) (7 . 20) (8 . 21)) 4019 0.3568 11.0710 ((1 . 35) (2 . 36) (3 . 40) (4 . 42) (12 . 47)) 4030 0.2855 13.6267 ((5 . 6) (7 . 7) (10 . 9) (13 . 11)) 4034 0.2857 6.7199 ((4 . 6) (5 . 7) (9 . 9) (15 . 15)) 4037 0.3571 5.7848 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (7 . 7)) 4062 0.2857 8.4733 ((3 . 45) (4 . 48) (6 . 49) (8 . 50)) 4067 0.5000 4.1714 ((4 . 14) (5 . 15) (6 . 16) (7 . 17) (9 . 22) (12 . 24) (14 . 25)) 4077 0.1318 8.4327 ((1 . 10) (2 . 11) (3 . 12) (10 . 16)) 4082 0.2857 8.2158 ((7 . 3) (9 . 5) (12 . 7) (13 . 9)) 4087 0.2857 6.8306 ((10 . 2) (12 . 3) (14 . 6) (15 . 7)) 4112 0.2856 11.9383 ((2 . 1) (4 . 3) (5 . 7) (7 . 8)) 4115 0.4284 7.4138 ((4 . 1) (5 . 2) (8 . 5) (9 . 8) (12 . 10) (13 . 11)) 4134 0.1954 8.3346 ((3 . 24) (5 . 25) (7 . 26) (10 . 30) (13 . 32)) 4140 0.2857 4.6553 ((1 . 22) (2 . 23) (3 . 25) (7 . 27)) 4151 0.4999 5.6021 ((4 . 5) (5 . 6) (6 . 7) (9 . 9) (10 . 11) (12 . 12) (13 . 14)) 4154 0.2857 6.7474 ((6 . 51) (8 . 53) (9 . 55) (12 . 57)) 4177 0.2857 7.9056 ((6 . 2) (7 . 4) (9 . 7) (12 . 9)) 4190 0.2857 5.3202 ((1 . 1) (2 . 3) (3 . 6) (8 . 9)) 4192 0.2857 3.4227 ((9 . 13) (10 . 14) (12 . 15) (13 . 16)) 4194 0.3571 5.4672 ((6 . 1) (7 . 2) (8 . 3) (9 . 5) (12 . 7)) 4195 0.2854 14.4474 ((6 . 9) (7 . 10) (13 . 12) (15 . 14)) 4204 0.8568 3.6661 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (12 . 11) (13 . 12) (14 . 14) (15 . 15)) 4209 0.2696 6.6691 ((4 . 1) (6 . 2) (7 . 3) (9 . 7)) 4210 0.3571 6.9437 ((5 . 3) (6 . 4) (8 . 6) (10 . 9) (14 . 11)) 4226 0.3571 4.3004 ((9 . 1) (10 . 3) (12 . 4) (13 . 5) (14 . 6)) 4232 0.2857 8.6456 ((4 . 2) (6 . 3) (8 . 5) (12 . 8)) 4242 0.1895 8.2692 ((3 . 2) (5 . 3) (7 . 5) (13 . 10)) 4246 0.2857 7.7554 ((1 . 3) (2 . 2) (6 . 8) (7 . 10)) 4254 0.3571 5.1268 ((6 . 11) (7 . 12) (8 . 13) (9 . 15) (10 . 16)) 4255 0.2857 5.8888 ((4 . 21) (6 . 24) (7 . 25) (8 . 26)) 4257 0.4286 3.4426 ((4 . 1) (5 . 2) (6 . 3) (7 . 6) (8 . 7) (9 . 11)) 4265 0.4283 7.9762 ((6 . 21) (7 . 22) (8 . 23) (9 . 26) (10 . 27) (13 . 30)) 4266 0.4285 5.0134 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (10 . 7) (12 . 8)) 4274 0.4286 3.1302 ((9 . 36) (10 . 37) (12 . 38) (13 . 39) (14 . 40) (15 . 41)) 4275 0.3571 7.4073 ((4 . 21) (5 . 22) (6 . 23) (7 . 24) (8 . 25)) 4281 0.2857 3.9426 ((6 . 3) (8 . 5) (9 . 8) (12 . 10)) 4284 0.2857 4.2772 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 4299 0.4286 3.6838 ((4 . 6) (6 . 9) (9 . 11) (10 . 13) (12 . 14) (14 . 16)) 4301 0.2857 6.0779 ((2 . 1) (4 . 3) (6 . 6) (8 . 9)) 4326 0.6206 4.2153 ((4 . 2) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (9 . 15) (10 . 16) (12 . 17) (13 . 18) (14 . 19)) 4332 0.2857 3.1587 ((4 . 4) (7 . 5) (8 . 6) (9 . 9)) 4338 0.2857 5.0719 ((6 . 4) (7 . 5) (9 . 6) (12 . 8)) 4352 0.2783 13.9335 ((5 . 12) (7 . 13) (10 . 15) (13 . 16)) 4359 0.3571 5.6075 ((6 . 3) (8 . 5) (12 . 9) (14 . 11) (15 . 12)) 4380 0.2857 5.9794 ((1 . 15) (2 . 17) (14 . 32) (15 . 36)) 4383 0.2857 6.5683 ((9 . 14) (12 . 16) (14 . 18) (15 . 19)) 4386 0.2857 5.1763 ((6 . 1) (10 . 3) (12 . 4) (13 . 5)) 4388 0.4285 5.9290 ((6 . 1) (9 . 3) (10 . 4) (12 . 5) (14 . 8) (15 . 9)) 4398 0.6427 4.1613 ((3 . 2) (4 . 4) (5 . 5) (6 . 6) (9 . 8) (10 . 9) (12 . 10) (13 . 11) (14 . 12)) 4405 0.3571 4.8999 ((10 . 13) (12 . 14) (13 . 17) (14 . 18) (15 . 19)) 4408 0.3571 7.2953 ((1 . 3) (2 . 4) (3 . 5) (9 . 14) (13 . 20)) 4415 0.3571 3.2991 ((4 . 4) (5 . 5) (6 . 9) (7 . 10) (8 . 11)) 4419 0.2857 9.5711 ((3 . 1) (6 . 3) (7 . 5) (9 . 8)) 4426 0.2857 6.1037 ((10 . 1) (12 . 2) (13 . 3) (15 . 4)) 4470 0.4999 5.8156 ((4 . 5) (5 . 6) (6 . 7) (10 . 11) (12 . 12) (13 . 13) (14 . 14)) 4491 0.2857 5.9635 ((3 . 4) (4 . 6) (5 . 7) (6 . 8)) 4492 0.8570 2.8303 ((3 . 10) (4 . 11) (5 . 12) (6 . 13) (7 . 14) (8 . 16) (9 . 18) (10 . 19) (12 . 21) (13 . 22) (14 . 23) (15 . 26)) 4495 0.4999 4.8423 ((3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (10 . 11)) 4497 0.3571 7.7764 ((6 . 18) (7 . 20) (12 . 24) (14 . 26) (15 . 27)) 4502 0.4286 4.0987 ((3 . 3) (9 . 11) (10 . 13) (12 . 14) (13 . 16) (14 . 17)) 4503 0.2857 8.5796 ((10 . 2) (12 . 4) (14 . 6) (15 . 7)) 4504 0.4285 5.4571 ((2 . 6) (7 . 12) (10 . 16) (12 . 17) (13 . 18) (14 . 19)) 4505 0.4285 6.1499 ((3 . 27) (4 . 28) (5 . 29) (6 . 30) (7 . 31) (8 . 34)) 4516 0.4285 4.7594 ((3 . 3) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 4538 0.2857 7.9981 ((9 . 30) (12 . 33) (13 . 36) (15 . 37)) 4551 0.2857 4.1839 ((6 . 1) (9 . 4) (10 . 7) (12 . 8)) 4560 0.4286 3.8624 ((5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 11) (14 . 14)) 4561 0.5000 4.4206 ((4 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (14 . 14)) 4562 0.4286 3.8963 ((4 . 19) (5 . 21) (6 . 22) (9 . 25) (10 . 28) (12 . 29)) 4563 0.4999 4.7063 ((4 . 26) (5 . 27) (6 . 28) (9 . 31) (10 . 33) (12 . 34) (15 . 35)) 4577 0.3569 10.6137 ((2 . 39) (9 . 48) (12 . 50) (14 . 52) (15 . 54)) 4579 0.2856 10.8822 ((3 . 13) (7 . 16) (8 . 18) (13 . 25)) 4588 0.4285 4.9144 ((5 . 2) (6 . 3) (7 . 4) (12 . 11) (13 . 12) (14 . 13)) 4589 0.3571 7.4868 ((3 . 17) (4 . 18) (7 . 20) (8 . 22) (15 . 29)) 4607 0.3571 5.7841 ((1 . 3) (2 . 4) (3 . 9) (10 . 16) (13 . 18)) 4621 0.2857 6.2144 ((5 . 1) (9 . 6) (14 . 9) (15 . 11)) 4630 0.3571 6.6490 ((6 . 20) (9 . 26) (12 . 29) (14 . 33) (15 . 34)) 4653 0.2857 5.7903 ((5 . 2) (8 . 5) (9 . 7) (12 . 9)) 4668 0.5714 3.3584 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (9 . 7) (10 . 8) (12 . 9) (13 . 10)) 4669 0.4285 6.1378 ((1 . 12) (3 . 16) (5 . 18) (6 . 19) (9 . 21) (10 . 22)) 4671 0.3569 10.5072 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (10 . 9)) 4674 0.2857 6.9468 ((6 . 2) (7 . 4) (9 . 6) (12 . 9)) 4678 0.2821 9.5100 ((5 . 3) (7 . 5) (12 . 10) (14 . 12)) 4713 0.2857 7.0724 ((3 . 1) (4 . 3) (8 . 7) (9 . 9)) 4715 0.2857 8.8937 ((5 . 2) (8 . 6) (10 . 9) (13 . 11)) 4731 0.3571 6.1176 ((3 . 15) (12 . 18) (13 . 20) (14 . 22) (15 . 23)) 4764 0.2857 9.2586 ((5 . 2) (7 . 4) (10 . 7) (13 . 9)) 4857 0.3571 5.8472 ((3 . 4) (9 . 11) (10 . 12) (12 . 13) (13 . 14)) 4886 0.3570 8.2499 ((5 . 18) (6 . 19) (10 . 20) (12 . 22) (15 . 24)) 4888 0.2857 8.0574 ((5 . 6) (8 . 9) (12 . 13) (15 . 17)) 4889 0.3571 7.4429 ((4 . 2) (6 . 4) (7 . 5) (8 . 6) (15 . 11)) 4907 0.2857 6.9399 ((1 . 1) (2 . 3) (4 . 7) (6 . 9)) 4914 0.2857 6.4952 ((9 . 4) (12 . 6) (14 . 8) (15 . 9)) 4921 0.2857 8.0136 ((4 . 7) (6 . 9) (9 . 12) (10 . 13)) 4929 0.2857 8.0782 ((1 . 26) (4 . 31) (6 . 33) (9 . 35)) 4932 0.3571 6.5567 ((4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 10)) 4940 0.2857 3.4474 ((4 . 3) (5 . 5) (6 . 6) (8 . 8)) 4941 0.2856 10.5278 ((4 . 1) (6 . 5) (8 . 7) (15 . 19)) 4944 0.3571 4.7804 ((3 . 10) (4 . 11) (5 . 12) (8 . 14) (9 . 16)) 4961 0.3571 4.8532 ((4 . 3) (5 . 4) (6 . 6) (7 . 8) (12 . 12)) 4978 0.4285 5.5275 ((3 . 20) (4 . 21) (10 . 27) (12 . 28) (13 . 29) (14 . 30)) 4982 0.3570 8.1007 ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (8 . 6)) 4992 0.4286 4.1378 ((4 . 1) (9 . 2) (12 . 3) (13 . 4) (14 . 6) (15 . 9)) 4998 0.3571 7.3380 ((7 . 21) (9 . 23) (10 . 24) (12 . 25) (14 . 26)) 5029 0.5000 2.7346 ((4 . 2) (5 . 3) (6 . 4) (8 . 6) (9 . 8) (10 . 9) (12 . 10)) 5036 0.2857 5.4730 ((1 . 1) (2 . 2) (4 . 6) (6 . 8)) 5038 0.2857 9.4610 ((4 . 9) (7 . 13) (8 . 14) (9 . 16)) 5039 0.6425 5.3489 ((3 . 36) (4 . 37) (5 . 38) (6 . 39) (7 . 40) (8 . 41) (10 . 43) (12 . 44) (15 . 45)) 5044 0.2696 10.8241 ((4 . 2) (6 . 3) (7 . 4) (9 . 9)) 5046 0.2857 7.1778 ((8 . 1) (9 . 4) (14 . 8) (15 . 10)) 5053 0.2857 5.5702 ((5 . 8) (9 . 11) (13 . 14) (14 . 15)) 5065 0.2857 6.2459 ((9 . 2) (13 . 6) (14 . 8) (15 . 9)) 5068 0.4285 4.8848 ((3 . 3) (4 . 4) (5 . 6) (6 . 7) (8 . 10) (14 . 17)) 5069 0.3571 4.7459 ((3 . 3) (4 . 4) (8 . 7) (9 . 9) (12 . 15)) 5073 0.5422 5.2321 ((5 . 31) (6 . 32) (7 . 33) (8 . 34) (9 . 36) (10 . 38) (12 . 39) (13 . 41) (14 . 42) (15 . 44)) 5080 0.2785 11.5510 ((2 . 2) (5 . 5) (7 . 6) (10 . 10)) 5083 0.2857 7.2739 ((12 . 2) (13 . 3) (14 . 5) (15 . 6)) 5092 0.2856 11.3836 ((5 . 1) (7 . 3) (10 . 7) (13 . 8)) 5101 0.6428 3.5356 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 9) (14 . 10)) 5103 0.4286 2.9706 ((4 . 2) (5 . 3) (6 . 4) (9 . 6) (10 . 8) (12 . 9)) 5121 0.2972 9.1594 ((1 . 18) (2 . 21) (3 . 22) (8 . 26) (12 . 31)) 5132 0.4282 9.2423 ((2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (9 . 22)) 5134 0.2857 7.5761 ((7 . 11) (8 . 13) (13 . 18) (14 . 19)) 5145 0.2857 4.4531 ((8 . 3) (9 . 5) (10 . 7) (12 . 8)) 5167 0.4285 4.7926 ((3 . 2) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 5176 0.2459 8.2876 ((10 . 83) (12 . 84) (14 . 87) (15 . 88)) 5183 0.2857 8.4163 ((6 . 34) (8 . 36) (9 . 38) (10 . 39)) 5192 0.3571 7.9932 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 5198 0.3571 7.6708 ((4 . 21) (5 . 23) (6 . 24) (8 . 26) (10 . 27)) 5199 0.2857 6.6205 ((7 . 2) (9 . 4) (14 . 8) (15 . 9)) 5209 0.2857 6.9884 ((12 . 4) (13 . 6) (14 . 7) (15 . 8)) 5212 0.2856 10.9340 ((3 . 13) (7 . 15) (13 . 20) (15 . 21)) 5215 0.3158 5.4812 ((5 . 8) (6 . 9) (8 . 11) (10 . 14) (12 . 15)) 5223 0.4995 8.2141 ((3 . 2) (4 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 11)) 5231 0.2857 6.2143 ((12 . 8) (13 . 9) (14 . 13) (15 . 14)) 5266 0.8569 3.3135 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 8) (10 . 9) (12 . 10) (13 . 11) (14 . 13) (15 . 15)) 5278 0.2857 6.3425 ((1 . 2) (2 . 5) (4 . 7) (8 . 12)) 5307 0.3571 4.1830 ((6 . 51) (7 . 52) (8 . 53) (9 . 55) (12 . 58)) 5312 0.2857 7.9745 ((6 . 1) (8 . 3) (9 . 5) (10 . 6)) 5318 0.3571 4.2827 ((4 . 3) (10 . 7) (12 . 8) (13 . 9) (14 . 11)) 5323 0.2857 6.3016 ((7 . 2) (13 . 9) (14 . 10) (15 . 11)) 5324 0.4286 4.2030 ((6 . 7) (8 . 10) (9 . 12) (10 . 13) (12 . 14) (14 . 15)) 5344 0.2857 6.5013 ((4 . 1) (6 . 3) (9 . 7) (12 . 9)) 5345 0.2857 5.1401 ((6 . 7) (8 . 9) (9 . 12) (14 . 18)) 5368 0.4389 6.0366 ((1 . 36) (2 . 37) (4 . 39) (6 . 41) (8 . 43) (9 . 46) (15 . 49)) 5378 0.2857 4.7649 ((10 . 10) (13 . 13) (14 . 15) (15 . 21)) 5411 0.3571 4.6812 ((10 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 8)) 5414 0.2857 6.5618 ((12 . 15) (13 . 17) (14 . 18) (15 . 19)) 5418 0.1895 6.5530 ((1 . 2) (2 . 3) (6 . 9) (7 . 10)) 5433 0.2857 5.3448 ((6 . 4) (8 . 7) (9 . 10) (14 . 18)) 5479 0.3571 6.4741 ((2 . 45) (6 . 50) (8 . 52) (14 . 59) (15 . 60)) 5487 0.3571 4.6832 ((6 . 4) (7 . 5) (8 . 7) (9 . 9) (10 . 10)) 5489 0.3513 5.9528 ((4 . 2) (7 . 4) (12 . 6) (14 . 9) (15 . 14)) 5500 0.3571 3.7133 ((6 . 3) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 5501 0.2857 5.4042 ((5 . 28) (6 . 30) (7 . 32) (13 . 38)) 5525 0.2694 14.7139 ((3 . 9) (7 . 12) (10 . 13) (13 . 14)) 5535 0.2857 6.2095 ((3 . 1) (4 . 2) (7 . 5) (12 . 11)) 5540 0.2857 4.3922 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 5557 0.3571 6.4413 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (9 . 6)) 5560 0.3571 4.1509 ((4 . 2) (5 . 3) (6 . 4) (12 . 9) (13 . 10)) 5562 0.3571 4.3513 ((6 . 7) (9 . 11) (10 . 13) (12 . 14) (13 . 15)) 5567 0.3571 3.1663 ((3 . 10) (4 . 11) (5 . 14) (6 . 15) (8 . 17)) 5594 0.4285 4.8581 ((4 . 1) (7 . 2) (8 . 4) (9 . 6) (10 . 7) (12 . 9)) 5600 0.3570 8.8176 ((10 . 1) (12 . 3) (13 . 4) (14 . 5) (15 . 6)) 5601 0.3570 8.5486 ((8 . 3) (9 . 5) (12 . 7) (13 . 9) (14 . 10)) 5638 0.3569 9.7988 ((6 . 7) (9 . 9) (10 . 12) (12 . 13) (13 . 14)) 5640 0.3571 4.3421 ((6 . 14) (8 . 18) (9 . 20) (14 . 24) (15 . 25)) 5644 0.2857 6.3890 ((9 . 4) (12 . 8) (14 . 10) (15 . 11)) 5656 0.3571 5.2551 ((2 . 5) (9 . 16) (13 . 20) (14 . 21) (15 . 23)) 5700 0.2857 7.3870 ((4 . 2) (8 . 4) (9 . 6) (10 . 7)) 5701 0.3571 7.3238 ((3 . 3) (4 . 4) (12 . 8) (13 . 10) (14 . 11)) 5702 0.2856 10.4330 ((3 . 9) (5 . 10) (10 . 13) (13 . 15)) 5703 0.2459 5.3228 ((1 . 2) (4 . 6) (6 . 7) (8 . 8)) 5711 0.3512 9.2478 ((1 . 27) (2 . 28) (8 . 33) (14 . 39) (15 . 42)) 5713 0.3571 4.7298 ((6 . 10) (8 . 13) (9 . 15) (12 . 20) (14 . 22)) 5718 0.2857 6.4570 ((1 . 17) (2 . 18) (3 . 22) (4 . 23)) 5731 0.2856 9.7814 ((9 . 7) (10 . 8) (14 . 13) (15 . 14)) 5746 0.2857 5.1379 ((9 . 3) (10 . 5) (12 . 6) (14 . 9)) 5749 0.2857 7.7599 ((3 . 2) (4 . 4) (6 . 5) (10 . 9)) 5761 0.2857 7.0487 ((12 . 28) (13 . 29) (14 . 31) (15 . 32)) 5770 0.2857 7.8696 ((1 . 9) (2 . 12) (3 . 18) (5 . 19)) 5771 0.3571 7.8017 ((4 . 9) (9 . 17) (10 . 19) (12 . 20) (13 . 22)) 5782 0.4285 5.0263 ((6 . 15) (8 . 18) (9 . 22) (10 . 23) (12 . 24) (15 . 29)) 5794 0.2857 5.1701 ((1 . 16) (4 . 19) (7 . 22) (8 . 23)) 5795 0.3571 5.0053 ((5 . 5) (9 . 10) (10 . 12) (12 . 13) (13 . 15)) 5809 0.4285 6.8440 ((6 . 1) (7 . 2) (10 . 4) (12 . 5) (13 . 6) (14 . 7)) 5822 0.2857 4.8171 ((9 . 2) (12 . 4) (14 . 7) (15 . 8)) 5827 0.3571 4.7681 ((4 . 5) (5 . 6) (6 . 8) (7 . 10) (8 . 11)) 5830 0.3570 8.2478 ((4 . 1) (6 . 2) (9 . 7) (12 . 10) (15 . 13)) 5847 0.2857 6.5350 ((1 . 11) (2 . 12) (4 . 16) (6 . 18)) 5861 0.3571 4.9987 ((1 . 10) (2 . 11) (6 . 16) (9 . 21) (15 . 27)) 5865 0.2857 4.4536 ((2 . 1) (6 . 5) (7 . 6) (8 . 7)) 5878 0.2458 11.5298 ((5 . 22) (7 . 23) (8 . 25) (9 . 26)) 5888 0.3571 6.6044 ((1 . 12) (2 . 13) (8 . 21) (12 . 25) (14 . 27)) 5896 0.2857 5.8741 ((4 . 26) (5 . 27) (6 . 28) (8 . 29)) 5904 0.3571 4.7794 ((3 . 3) (4 . 4) (8 . 7) (9 . 9) (10 . 10)) 5913 0.4285 6.3895 ((1 . 6) (2 . 7) (7 . 12) (9 . 15) (12 . 17) (14 . 20)) 5914 0.2857 4.7786 ((12 . 3) (13 . 4) (14 . 5) (15 . 6)) 5922 0.2857 6.4150 ((6 . 1) (8 . 4) (9 . 6) (12 . 9)) 5930 0.3158 5.2406 ((4 . 2) (5 . 3) (6 . 4) (8 . 7) (12 . 12)) 5939 0.3571 5.0357 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 5945 0.3571 5.0268 ((2 . 13) (7 . 22) (9 . 26) (10 . 27) (12 . 28)) 5949 0.4285 4.4757 ((4 . 1) (5 . 2) (6 . 4) (10 . 8) (12 . 12) (13 . 13)) 5955 0.4278 10.8528 ((2 . 3) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (12 . 14)) 5967 0.3571 3.8150 ((6 . 1) (7 . 2) (8 . 3) (9 . 7) (10 . 8)) 5977 0.4286 4.2521 ((9 . 1) (10 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6)) 6000 0.2857 5.2410 ((5 . 2) (10 . 11) (13 . 16) (14 . 28)) 6011 0.3570 8.7227 ((2 . 1) (6 . 7) (8 . 9) (12 . 14) (14 . 16)) 6022 0.2857 6.2570 ((2 . 1) (4 . 2) (6 . 5) (8 . 8)) 6028 0.2459 9.8882 ((1 . 1) (2 . 2) (3 . 4) (5 . 8)) 6029 0.3571 6.0431 ((6 . 31) (7 . 32) (8 . 33) (9 . 35) (10 . 36)) 6033 0.2856 9.9301 ((3 . 2) (7 . 4) (10 . 7) (13 . 10)) 6041 0.3571 6.0087 ((3 . 3) (10 . 9) (12 . 10) (14 . 12) (15 . 13)) 6046 0.2857 7.4974 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 6061 0.4285 6.5067 ((8 . 15) (10 . 16) (12 . 17) (13 . 18) (14 . 20) (15 . 21)) 6074 0.4998 6.7087 ((3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 10) (8 . 11) (9 . 13)) 6075 0.4286 2.9588 ((4 . 17) (5 . 19) (6 . 20) (8 . 21) (9 . 24) (12 . 28)) 6079 0.3847 6.7502 ((1 . 6) (2 . 7) (4 . 8) (6 . 9) (7 . 10) (8 . 11)) 6087 0.4045 4.8793 ((3 . 2) (4 . 3) (7 . 4) (9 . 8) (10 . 9) (12 . 10)) 6089 0.3571 4.4480 ((4 . 1) (5 . 2) (6 . 3) (9 . 5) (12 . 11)) 6094 0.2696 7.7248 ((1 . 2) (2 . 3) (8 . 12) (12 . 15)) 6099 0.3571 5.9073 ((1 . 16) (2 . 18) (8 . 23) (9 . 25) (15 . 29)) 6123 0.2972 9.1036 ((1 . 2) (2 . 3) (4 . 5) (6 . 4) (7 . 7)) 6142 0.3571 6.9141 ((1 . 4) (2 . 5) (4 . 7) (14 . 15) (15 . 16)) 6167 0.2857 7.2189 ((8 . 6) (9 . 9) (12 . 12) (15 . 20)) 6169 0.2855 12.6723 ((3 . 4) (5 . 7) (10 . 11) (13 . 12)) 6173 0.2857 5.7765 ((1 . 4) (2 . 5) (4 . 8) (6 . 11)) 6191 0.2228 8.4894 ((3 . 1) (7 . 7) (12 . 12) (14 . 13)) 6192 0.2857 6.5844 ((9 . 1) (12 . 3) (13 . 4) (14 . 5)) 6215 0.2857 5.5448 ((9 . 18) (12 . 20) (13 . 22) (14 . 24)) 6225 0.3368 11.1040 ((4 . 3) (10 . 9) (12 . 10) (13 . 11) (14 . 12)) 6228 0.5000 2.8576 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (14 . 9)) 6234 0.2857 7.4345 ((1 . 6) (2 . 7) (3 . 8) (4 . 10)) 6238 0.3571 6.3778 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (7 . 10)) 6243 0.4285 4.7071 ((4 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 11)) 6251 0.4285 4.8657 ((4 . 8) (5 . 9) (7 . 11) (10 . 14) (12 . 17) (14 . 19)) 6258 0.4285 5.7479 ((3 . 8) (4 . 10) (5 . 11) (6 . 12) (8 . 13) (10 . 14)) 6261 0.5000 4.5211 ((4 . 1) (5 . 2) (6 . 3) (9 . 9) (10 . 10) (12 . 11) (13 . 14)) 6266 0.3571 4.0065 ((8 . 5) (9 . 6) (10 . 7) (12 . 8) (14 . 10)) 6268 0.1895 10.1994 ((3 . 9) (5 . 11) (7 . 12) (10 . 14)) 6270 0.2856 10.6348 ((1 . 13) (6 . 17) (8 . 20) (10 . 23)) 6271 0.2857 5.4848 ((1 . 1) (2 . 2) (9 . 10) (13 . 14)) 6273 0.2857 7.2761 ((1 . 1) (2 . 2) (6 . 6) (12 . 13)) 6294 0.4147 4.9813 ((1 . 9) (5 . 10) (9 . 14) (10 . 15) (12 . 16) (13 . 19)) 6309 0.2857 5.4010 ((9 . 17) (10 . 19) (12 . 20) (15 . 25)) 6311 0.2857 6.8110 ((1 . 10) (2 . 11) (4 . 13) (6 . 14)) 6326 0.2857 6.1878 ((4 . 1) (9 . 5) (14 . 11) (15 . 12)) 6329 0.2854 13.8889 ((5 . 9) (7 . 11) (10 . 15) (13 . 16)) 6338 0.2458 11.7318 ((6 . 1) (8 . 2) (9 . 4) (12 . 7)) 6344 0.3571 6.5716 ((4 . 8) (7 . 10) (12 . 15) (13 . 16) (14 . 19)) 6345 0.2857 5.5384 ((5 . 2) (6 . 4) (9 . 7) (10 . 8)) 6348 0.3571 4.7397 ((4 . 1) (5 . 3) (6 . 4) (10 . 8) (12 . 9)) 6355 0.2857 4.6174 ((1 . 9) (2 . 10) (4 . 12) (5 . 13)) 6356 0.3571 4.7933 ((4 . 1) (5 . 3) (6 . 4) (8 . 6) (12 . 11)) 6359 0.2857 8.8118 ((5 . 2) (7 . 4) (10 . 6) (13 . 8)) 6369 0.4285 4.6767 ((7 . 23) (9 . 26) (10 . 28) (12 . 29) (13 . 30) (14 . 31)) 6376 0.3571 5.7785 ((7 . 18) (8 . 21) (9 . 24) (12 . 26) (14 . 28)) 6391 0.2696 7.8701 ((4 . 8) (7 . 11) (8 . 12) (9 . 14)) 6392 0.3571 4.1587 ((4 . 1) (5 . 2) (6 . 3) (10 . 8) (12 . 9)) 6399 0.3571 5.4876 ((6 . 15) (8 . 17) (9 . 19) (14 . 26) (15 . 27)) 6403 0.3571 5.0343 ((2 . 7) (8 . 13) (9 . 15) (10 . 16) (12 . 17)) 6434 0.2857 5.8497 ((3 . 1) (4 . 2) (6 . 4) (10 . 7)) 6461 0.2857 8.0719 ((9 . 3) (10 . 4) (13 . 5) (15 . 6)) 6462 0.4993 8.8217 ((2 . 10) (4 . 12) (6 . 16) (9 . 18) (10 . 19) (12 . 20) (14 . 22)) 6476 0.2857 6.7534 ((10 . 2) (12 . 4) (13 . 7) (15 . 9)) 6498 0.3571 5.7908 ((4 . 21) (10 . 28) (12 . 29) (13 . 30) (14 . 31)) 6506 0.2458 13.9770 ((3 . 16) (5 . 17) (7 . 18) (13 . 23)) 6520 0.3571 7.0345 ((6 . 3) (8 . 8) (13 . 12) (14 . 14) (15 . 15)) 6536 0.2228 8.6667 ((7 . 30) (10 . 33) (14 . 35) (15 . 36)) 6539 0.3571 7.8748 ((10 . 1) (12 . 2) (13 . 3) (14 . 4) (15 . 5)) 6540 0.2857 7.1252 ((4 . 16) (6 . 18) (8 . 20) (9 . 22)) 6548 0.2857 6.1333 ((10 . 6) (12 . 7) (14 . 9) (15 . 12)) 6553 0.5000 4.0054 ((4 . 11) (5 . 12) (6 . 13) (9 . 17) (10 . 19) (12 . 20) (14 . 23)) 6555 0.4283 8.1255 ((6 . 13) (8 . 15) (9 . 17) (12 . 20) (14 . 23) (15 . 24)) 6561 0.3529 13.6845 ((1 . 1) (2 . 3) (5 . 5) (9 . 12) (12 . 13)) 6573 0.4286 2.9855 ((3 . 16) (4 . 17) (5 . 18) (6 . 19) (8 . 21) (9 . 25)) 6575 0.2857 5.4906 ((4 . 1) (6 . 2) (8 . 5) (10 . 7)) 6578 0.3570 9.4284 ((1 . 32) (2 . 34) (4 . 38) (5 . 39) (7 . 41)) 6584 0.3571 5.7123 ((1 . 2) (2 . 3) (3 . 4) (6 . 7) (7 . 10)) 6585 0.3571 4.5501 ((3 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 10)) 6586 0.2857 5.6144 ((3 . 16) (5 . 17) (6 . 18) (7 . 19)) 6587 0.3571 4.4847 ((5 . 27) (6 . 29) (7 . 30) (8 . 31) (9 . 33)) 6598 0.3571 6.0960 ((1 . 13) (2 . 16) (9 . 25) (14 . 29) (15 . 30)) 6613 0.3571 4.2310 ((4 . 22) (6 . 24) (9 . 27) (12 . 31) (14 . 32)) 6635 0.2857 5.8926 ((12 . 1) (13 . 2) (14 . 4) (15 . 5)) END