3362 25 0.3191 10.3412 ((3 . 4) (5 . 5) (7 . 9) (13 . 12)) 41 0.4541 8.6788 ((4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 51 0.3636 7.2157 ((4 . 7) (5 . 9) (10 . 13) (11 . 14)) 62 0.3636 4.5364 ((4 . 10) (6 . 13) (7 . 15) (8 . 16)) 64 0.3634 10.2339 ((4 . 10) (6 . 12) (9 . 16) (10 . 15)) 77 0.3636 4.8093 ((6 . 8) (7 . 10) (10 . 13) (11 . 15)) 91 0.4541 8.5841 ((3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22)) 96 0.6363 2.9189 ((4 . 1) (5 . 2) (6 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7)) 129 0.3634 10.4221 ((4 . 1) (6 . 5) (10 . 10) (11 . 12)) 136 0.7272 2.6015 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 150 0.4545 4.4377 ((4 . 20) (5 . 21) (6 . 23) (7 . 24) (8 . 25)) 153 0.3636 7.2578 ((6 . 1) (8 . 4) (10 . 5) (11 . 6)) 157 0.4545 4.4114 ((4 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 8)) 161 0.1957 8.0731 ((4 . 2) (6 . 4) (10 . 9) (11 . 10)) 162 0.3636 5.2675 ((6 . 12) (10 . 17) (11 . 18) (13 . 19)) 169 0.3635 8.0099 ((6 . 1) (8 . 4) (10 . 5) (11 . 7)) 177 0.3636 6.5117 ((4 . 3) (6 . 5) (10 . 8) (11 . 10)) 198 0.3636 7.4507 ((6 . 10) (8 . 14) (10 . 16) (11 . 17)) 207 0.3636 5.6011 ((3 . 14) (4 . 15) (6 . 18) (7 . 19)) 233 0.4545 5.8945 ((4 . 1) (6 . 3) (8 . 5) (10 . 7) (11 . 8)) 259 0.2377 10.9102 ((3 . 1) (5 . 2) (12 . 7) (13 . 8)) 300 0.4542 8.5320 ((5 . 5) (6 . 6) (10 . 9) (11 . 10) (13 . 11)) 305 0.3636 7.6214 ((5 . 8) (6 . 9) (8 . 11) (10 . 12)) 307 0.5442 9.1310 ((4 . 1) (5 . 2) (6 . 3) (7 . 6) (8 . 7) (11 . 9)) 315 0.3192 6.0355 ((4 . 3) (8 . 6) (9 . 7) (10 . 8)) 329 0.3635 7.8041 ((7 . 1) (9 . 3) (10 . 4) (11 . 5)) 340 0.1327 6.9693 ((4 . 1) (6 . 2) (9 . 5) (10 . 9)) 350 0.3636 6.6745 ((6 . 5) (8 . 8) (9 . 9) (10 . 10)) 351 0.1956 13.2388 ((3 . 4) (5 . 5) (9 . 8) (13 . 9)) 360 0.4545 5.5167 ((4 . 9) (6 . 12) (7 . 13) (8 . 14) (9 . 15)) 361 0.7235 5.3727 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (9 . 9) (10 . 10) (11 . 11) (13 . 13)) 365 0.3636 5.0762 ((8 . 2) (10 . 3) (11 . 4) (13 . 7)) 367 0.3636 6.4129 ((3 . 39) (4 . 40) (6 . 43) (10 . 48)) 387 0.3636 5.8532 ((4 . 7) (6 . 9) (8 . 11) (10 . 12)) 405 0.3626 14.3641 ((4 . 31) (8 . 38) (10 . 39) (11 . 40)) 417 0.3636 6.2066 ((4 . 1) (8 . 5) (9 . 6) (10 . 7)) 420 0.4544 6.1468 ((4 . 2) (6 . 3) (8 . 4) (10 . 8) (11 . 9)) 433 0.3636 7.1365 ((6 . 7) (7 . 8) (8 . 9) (10 . 10)) 442 0.3636 6.7864 ((5 . 15) (7 . 17) (10 . 20) (11 . 21)) 460 0.3635 7.8290 ((4 . 1) (6 . 3) (10 . 8) (12 . 9)) 472 0.3632 11.7204 ((3 . 24) (7 . 29) (8 . 31) (12 . 33)) 491 0.3636 6.3831 ((3 . 5) (4 . 6) (6 . 8) (8 . 10)) 495 0.3636 6.3013 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 541 0.3636 5.4110 ((4 . 7) (5 . 9) (6 . 11) (9 . 13)) 543 0.3636 5.3669 ((3 . 7) (4 . 8) (5 . 9) (8 . 15)) 553 0.3415 11.8004 ((3 . 7) (7 . 10) (8 . 12) (9 . 14)) 561 0.3636 3.5470 ((4 . 1) (5 . 2) (6 . 3) (10 . 6)) 584 0.3636 6.1795 ((3 . 9) (4 . 10) (5 . 12) (6 . 13)) 587 0.3636 7.2421 ((4 . 2) (6 . 4) (8 . 7) (10 . 9)) 609 0.4545 3.0578 ((4 . 1) (5 . 2) (6 . 3) (8 . 6) (11 . 8)) 619 0.3635 8.3428 ((3 . 14) (4 . 15) (5 . 17) (6 . 18)) 624 0.5446 8.1770 ((4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11) (11 . 13)) 635 0.3636 5.8722 ((7 . 11) (10 . 14) (11 . 15) (13 . 17)) 672 0.3634 10.2910 ((3 . 1) (5 . 2) (6 . 3) (7 . 4)) 678 0.4544 6.4031 ((4 . 22) (5 . 23) (6 . 24) (8 . 26) (13 . 33)) 683 0.3192 7.5862 ((6 . 1) (9 . 4) (10 . 5) (11 . 6)) 719 0.3636 4.5837 ((6 . 27) (7 . 29) (8 . 30) (9 . 31)) 729 0.4545 5.9368 ((4 . 7) (5 . 8) (6 . 9) (8 . 13) (11 . 15)) 735 0.3636 5.4044 ((6 . 31) (8 . 33) (10 . 36) (11 . 37)) 740 0.2728 6.2589 ((3 . 1) (4 . 2) (6 . 4) (10 . 9)) 765 0.3635 8.5859 ((6 . 5) (8 . 7) (10 . 9) (11 . 11)) 767 0.4545 3.0163 ((4 . 1) (5 . 2) (6 . 3) (8 . 8) (11 . 12)) 782 0.3417 10.6986 ((3 . 3) (5 . 4) (7 . 6) (9 . 7)) 795 0.4545 3.9184 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 796 0.3636 6.2503 ((6 . 3) (7 . 4) (8 . 5) (10 . 6)) 812 0.4545 5.1999 ((4 . 9) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 818 0.3636 5.1573 ((4 . 10) (5 . 11) (6 . 12) (8 . 14)) 819 0.2728 5.9143 ((8 . 8) (10 . 9) (11 . 10) (12 . 11)) 834 0.2727 10.4864 ((5 . 34) (7 . 36) (9 . 38) (12 . 40)) 861 0.3636 3.8699 ((3 . 11) (4 . 12) (5 . 14) (6 . 15)) 901 0.4544 6.7014 ((5 . 10) (6 . 12) (7 . 14) (8 . 15) (13 . 18)) 904 0.3636 5.3664 ((5 . 1) (6 . 3) (7 . 5) (8 . 6)) 913 0.3523 5.1070 ((3 . 15) (4 . 16) (8 . 20) (9 . 21)) 928 0.5444 8.7492 ((4 . 10) (5 . 11) (6 . 12) (7 . 13) (8 . 14) (11 . 16)) 937 0.3636 6.6025 ((6 . 1) (7 . 3) (8 . 4) (10 . 5)) 943 0.5451 6.7996 ((4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (13 . 13)) 945 0.4783 8.7845 ((4 . 12) (5 . 13) (6 . 14) (8 . 17) (12 . 20) (13 . 21)) 949 0.3636 4.2679 ((4 . 27) (6 . 30) (12 . 35) (13 . 36)) 960 0.4232 6.9485 ((4 . 4) (7 . 7) (10 . 8) (11 . 9) (13 . 11)) 978 0.3989 8.4891 ((5 . 3) (6 . 4) (7 . 5) (8 . 6) (13 . 23)) 980 0.5449 7.5120 ((4 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (11 . 9)) 1005 0.3636 5.8159 ((8 . 2) (9 . 3) (12 . 5) (13 . 6)) 1007 0.3635 8.1406 ((6 . 13) (10 . 17) (11 . 18) (13 . 21)) 1008 0.3636 6.8576 ((3 . 2) (6 . 8) (10 . 13) (11 . 15)) 1034 0.3633 10.9471 ((6 . 20) (8 . 22) (9 . 23) (11 . 25)) 1043 0.4545 3.5483 ((4 . 1) (5 . 5) (6 . 6) (7 . 7) (13 . 11)) 1082 0.3636 3.8167 ((4 . 4) (10 . 8) (11 . 9) (13 . 11)) 1084 0.3192 9.6346 ((3 . 6) (6 . 12) (7 . 15) (10 . 17)) 1121 0.3636 6.6711 ((7 . 1) (8 . 2) (10 . 3) (11 . 4)) 1124 0.3633 10.9664 ((3 . 8) (5 . 9) (7 . 10) (12 . 14)) 1165 0.4540 9.4665 ((4 . 7) (7 . 9) (8 . 10) (12 . 14) (13 . 15)) 1167 0.3636 7.3865 ((3 . 19) (6 . 22) (11 . 27) (13 . 28)) 1169 0.3636 4.5206 ((6 . 30) (8 . 32) (10 . 35) (11 . 37)) 1195 0.3636 6.9932 ((7 . 1) (8 . 2) (10 . 4) (11 . 5)) 1201 0.3635 8.5148 ((9 . 13) (10 . 15) (11 . 16) (13 . 19)) 1204 0.4544 7.1361 ((3 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 22)) 1211 0.3636 5.5602 ((5 . 7) (6 . 8) (10 . 11) (11 . 14)) 1217 0.3636 6.6076 ((3 . 2) (6 . 7) (7 . 8) (8 . 11)) 1224 0.3636 6.9744 ((5 . 2) (8 . 5) (10 . 6) (11 . 7)) 1233 0.4543 7.6500 ((4 . 14) (5 . 16) (6 . 17) (8 . 20) (11 . 22)) 1267 0.5446 8.3558 ((4 . 13) (6 . 15) (7 . 16) (8 . 17) (11 . 19) (12 . 20)) 1268 0.3636 6.4517 ((9 . 2) (10 . 3) (11 . 4) (12 . 5)) 1294 0.5039 7.3475 ((4 . 39) (6 . 40) (8 . 44) (9 . 45) (10 . 46) (11 . 47)) 1301 0.2726 13.3701 ((5 . 2) (7 . 6) (9 . 7) (13 . 8)) 1345 0.4543 7.4716 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 1366 0.4544 6.2102 ((4 . 12) (5 . 13) (6 . 14) (8 . 16) (10 . 17)) 1388 0.3636 5.8520 ((4 . 1) (7 . 3) (8 . 4) (10 . 5)) 1395 0.3414 12.8848 ((5 . 1) (7 . 3) (9 . 4) (12 . 5)) 1410 0.3636 5.9933 ((4 . 19) (6 . 22) (8 . 25) (10 . 26)) 1425 0.3636 6.0845 ((4 . 2) (6 . 6) (8 . 10) (10 . 12)) 1435 0.2727 7.7041 ((4 . 6) (5 . 7) (7 . 9) (10 . 13)) 1447 0.6357 6.3236 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (11 . 7) (13 . 8)) 1451 0.3636 6.3578 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 1464 0.3636 5.0717 ((8 . 8) (9 . 9) (10 . 10) (11 . 13)) 1472 0.3417 10.1057 ((3 . 9) (7 . 12) (9 . 13) (13 . 14)) 1476 0.5450 7.0136 ((4 . 9) (5 . 10) (6 . 11) (8 . 14) (11 . 18) (13 . 19)) 1497 0.3635 8.2035 ((5 . 22) (9 . 25) (12 . 26) (13 . 27)) 1501 0.3635 8.9591 ((4 . 3) (6 . 5) (8 . 7) (12 . 10)) 1508 0.1957 8.9326 ((3 . 1) (5 . 3) (6 . 5) (7 . 6)) 1513 0.4543 7.3634 ((4 . 3) (5 . 4) (6 . 5) (11 . 11) (13 . 12)) 1514 0.3636 6.4621 ((6 . 1) (7 . 2) (8 . 3) (10 . 4)) 1577 0.3636 7.0684 ((5 . 2) (8 . 5) (10 . 6) (11 . 10)) 1591 0.4539 9.7648 ((6 . 8) (7 . 10) (8 . 11) (11 . 14) (13 . 15)) 1595 0.3416 11.1662 ((5 . 1) (7 . 2) (9 . 4) (11 . 7)) 1604 0.4545 4.6837 ((3 . 9) (4 . 10) (5 . 11) (6 . 12) (7 . 13)) 1622 0.4545 5.0442 ((4 . 18) (6 . 20) (7 . 21) (8 . 22) (10 . 23)) 1643 0.4541 8.7896 ((4 . 18) (7 . 21) (8 . 23) (10 . 26) (11 . 27)) 1644 0.4545 5.5386 ((4 . 46) (6 . 47) (8 . 50) (10 . 51) (11 . 52)) 1665 0.4545 2.9754 ((4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 1690 0.4545 3.6454 ((4 . 1) (6 . 8) (7 . 9) (8 . 11) (13 . 15)) 1692 0.3634 9.7104 ((5 . 4) (6 . 6) (10 . 8) (11 . 9)) 1731 0.3632 11.3835 ((9 . 1) (11 . 3) (12 . 5) (13 . 7)) 1736 0.4545 5.2495 ((3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 10)) 1738 0.5452 5.9983 ((6 . 9) (7 . 10) (8 . 11) (10 . 14) (11 . 17) (13 . 20)) 1747 0.3636 4.7140 ((6 . 6) (8 . 8) (10 . 10) (11 . 11)) 1759 0.3636 5.0873 ((4 . 2) (6 . 5) (8 . 8) (10 . 9)) 1761 0.5453 5.5314 ((4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 13) (11 . 16)) 1763 0.3631 11.9641 ((7 . 8) (8 . 9) (10 . 10) (13 . 12)) 1776 0.5454 4.1854 ((4 . 1) (6 . 7) (7 . 8) (8 . 9) (11 . 12) (13 . 13)) 1777 0.3636 6.1825 ((6 . 34) (8 . 37) (10 . 42) (11 . 43)) 1778 0.4544 7.0398 ((6 . 1) (8 . 3) (10 . 4) (11 . 5) (12 . 6)) 1793 0.4543 7.5641 ((4 . 8) (5 . 9) (6 . 10) (8 . 11) (13 . 15)) 1805 0.3636 7.2581 ((4 . 12) (5 . 13) (6 . 14) (8 . 15)) 1808 0.3192 8.0946 ((3 . 1) (6 . 5) (9 . 7) (10 . 9)) 1817 0.3636 5.9477 ((6 . 14) (8 . 16) (10 . 19) (11 . 20)) 1867 0.5454 2.8873 ((4 . 1) (5 . 2) (6 . 3) (10 . 6) (11 . 7) (12 . 8)) 1894 0.3635 8.6917 ((4 . 18) (6 . 21) (10 . 25) (11 . 26)) 1896 0.3636 6.7932 ((3 . 12) (4 . 14) (6 . 17) (12 . 21)) 1897 0.3636 6.4156 ((4 . 40) (9 . 45) (10 . 46) (12 . 48)) 1908 0.4545 3.5313 ((4 . 7) (5 . 9) (6 . 10) (7 . 14) (8 . 15)) 1909 0.4545 4.7292 ((4 . 31) (5 . 33) (6 . 34) (7 . 36) (8 . 37)) 1913 0.4540 9.1406 ((4 . 4) (6 . 7) (8 . 10) (10 . 12) (11 . 14)) 1944 0.4540 9.0549 ((6 . 5) (7 . 6) (8 . 7) (11 . 9) (13 . 12)) 1957 0.5444 8.6967 ((4 . 11) (5 . 12) (6 . 13) (7 . 14) (8 . 15) (11 . 17)) 1961 0.3636 5.6707 ((9 . 13) (10 . 15) (11 . 16) (13 . 18)) 1967 0.3636 4.3259 ((5 . 9) (6 . 10) (7 . 11) (8 . 13)) 1972 0.4543 7.6292 ((4 . 18) (5 . 19) (6 . 20) (8 . 24) (11 . 27)) 1992 0.4545 5.6115 ((5 . 8) (6 . 9) (7 . 10) (8 . 12) (10 . 14)) 1995 0.2377 8.8864 ((6 . 3) (7 . 5) (8 . 7) (11 . 9)) 2003 0.3636 7.1010 ((5 . 1) (8 . 7) (10 . 9) (11 . 10)) 2006 0.3636 4.4600 ((6 . 8) (8 . 10) (10 . 11) (11 . 12)) 2048 0.4545 4.1268 ((4 . 1) (5 . 3) (6 . 4) (7 . 5) (8 . 6)) 2054 0.3633 10.5811 ((4 . 2) (7 . 9) (11 . 14) (12 . 15)) 2063 0.3636 3.9732 ((8 . 45) (9 . 46) (10 . 47) (11 . 48)) 2065 0.3635 8.3025 ((4 . 18) (5 . 20) (6 . 22) (10 . 27)) 2067 0.3635 8.4579 ((7 . 56) (8 . 59) (10 . 60) (12 . 62)) 2072 0.3635 8.0984 ((6 . 2) (7 . 3) (10 . 6) (11 . 7)) 2081 0.3636 5.7606 ((8 . 19) (10 . 20) (11 . 21) (13 . 24)) 2083 0.4540 9.3420 ((4 . 2) (5 . 3) (6 . 4) (8 . 7) (12 . 11)) 2097 0.3636 6.4691 ((6 . 1) (7 . 2) (10 . 4) (11 . 5)) 2114 0.3636 4.2110 ((3 . 30) (4 . 32) (6 . 36) (7 . 37)) 2116 0.3636 7.2434 ((6 . 2) (8 . 4) (10 . 5) (11 . 6)) 2117 0.4544 6.7628 ((5 . 21) (6 . 23) (7 . 24) (8 . 25) (9 . 26)) 2118 0.3635 8.0074 ((4 . 1) (6 . 5) (7 . 6) (8 . 7)) 2122 0.5454 3.9446 ((4 . 1) (6 . 6) (7 . 7) (8 . 8) (11 . 10) (13 . 11)) 2166 0.3635 8.6521 ((4 . 16) (6 . 17) (8 . 21) (9 . 22)) 2179 0.4542 8.5312 ((5 . 3) (6 . 5) (10 . 9) (11 . 10) (13 . 12)) 2196 0.3636 4.9278 ((6 . 13) (8 . 15) (10 . 18) (11 . 19)) 2203 0.3636 5.4954 ((6 . 1) (7 . 3) (8 . 5) (10 . 7)) 2205 0.4545 5.4302 ((4 . 16) (6 . 17) (8 . 22) (10 . 23) (11 . 26)) 2209 0.4544 6.8448 ((4 . 3) (5 . 4) (6 . 5) (8 . 7) (11 . 9)) 2220 0.0999 5.1351 ((5 . 1) (6 . 2) (8 . 5) (10 . 7)) 2233 0.1649 10.1169 ((3 . 2) (7 . 6) (9 . 7) (13 . 9)) 2243 0.3636 5.3480 ((4 . 54) (6 . 55) (8 . 65) (10 . 67)) 2244 0.3636 5.5907 ((6 . 69) (8 . 71) (10 . 74) (11 . 75)) 2248 0.4543 7.8969 ((4 . 22) (5 . 23) (7 . 26) (8 . 27) (10 . 28)) 2249 0.3636 6.5210 ((4 . 4) (6 . 7) (7 . 9) (13 . 14)) 2269 0.4541 8.7081 ((4 . 6) (6 . 8) (7 . 9) (8 . 10) (13 . 13)) 2279 0.3636 6.2397 ((3 . 6) (4 . 7) (6 . 9) (12 . 15)) 2295 0.3624 15.1217 ((3 . 2) (5 . 3) (7 . 5) (13 . 7)) 2298 0.4545 3.5464 ((4 . 12) (5 . 14) (6 . 15) (7 . 16) (8 . 17)) 2308 0.3636 4.1845 ((4 . 8) (5 . 10) (6 . 11) (7 . 12)) 2314 0.3634 10.3156 ((3 . 9) (6 . 11) (10 . 13) (11 . 17)) 2340 0.6364 1.9242 ((4 . 9) (5 . 10) (6 . 11) (9 . 12) (10 . 13) (11 . 14) (12 . 15)) 2344 0.3636 7.2054 ((4 . 10) (5 . 12) (11 . 20) (12 . 21)) 2364 0.4544 6.2264 ((5 . 6) (6 . 7) (7 . 8) (8 . 9) (11 . 15)) 2381 0.3635 8.5026 ((5 . 2) (6 . 3) (8 . 5) (10 . 6)) 2389 0.3636 4.5518 ((4 . 9) (6 . 11) (7 . 12) (8 . 14)) 2393 0.1327 8.4278 ((6 . 15) (7 . 17) (10 . 18) (13 . 19)) 2408 0.3635 8.7624 ((6 . 41) (8 . 45) (10 . 46) (11 . 47)) 2410 0.1957 6.2089 ((5 . 12) (6 . 13) (7 . 15) (8 . 16)) 2422 0.4543 7.9412 ((4 . 1) (5 . 2) (6 . 4) (11 . 9) (13 . 10)) 2423 0.3636 7.5599 ((4 . 17) (5 . 18) (6 . 19) (11 . 25)) 2440 0.3636 7.0702 ((6 . 4) (7 . 5) (8 . 7) (12 . 10)) 2443 0.1956 11.5940 ((3 . 2) (5 . 3) (7 . 4) (9 . 5)) 2447 0.4544 6.2312 ((3 . 14) (4 . 15) (5 . 16) (6 . 18) (7 . 19)) 2462 0.3636 6.2586 ((4 . 7) (5 . 10) (6 . 11) (8 . 12)) 2510 0.5451 6.6881 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (11 . 7) (13 . 8)) 2519 0.3417 10.1755 ((3 . 1) (5 . 3) (9 . 6) (10 . 2)) 2525 0.3635 7.9115 ((4 . 41) (5 . 42) (8 . 45) (11 . 47)) 2529 0.6364 2.2679 ((4 . 1) (5 . 2) (6 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7)) 2533 0.5452 6.0268 ((4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (11 . 13)) 2544 0.3636 3.5779 ((3 . 18) (9 . 21) (10 . 23) (11 . 22)) 2551 0.3635 8.9077 ((3 . 4) (7 . 8) (10 . 11) (11 . 12)) 2552 0.3636 4.7590 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 2556 0.5454 3.7248 ((4 . 11) (5 . 12) (6 . 13) (7 . 14) (8 . 16) (11 . 20)) 2557 0.3192 8.7130 ((6 . 3) (7 . 5) (8 . 6) (9 . 8)) 2561 0.3636 7.4563 ((4 . 1) (8 . 6) (10 . 7) (11 . 8)) 2591 0.2726 12.5284 ((5 . 37) (7 . 39) (9 . 40) (12 . 42)) 2595 0.4542 8.4393 ((4 . 6) (5 . 7) (6 . 9) (8 . 11) (13 . 15)) 2619 0.3636 6.3111 ((8 . 1) (10 . 2) (11 . 3) (12 . 4)) 2627 0.3636 7.6864 ((5 . 59) (6 . 60) (7 . 62) (8 . 64)) 2634 0.3623 15.2587 ((5 . 2) (7 . 3) (9 . 5) (13 . 8)) 2650 0.3635 8.0617 ((6 . 2) (8 . 5) (10 . 6) (11 . 7)) 2658 0.3635 7.8336 ((6 . 3) (7 . 4) (9 . 6) (13 . 9)) 2675 0.3636 5.3431 ((4 . 1) (8 . 8) (10 . 10) (11 . 11)) 2682 0.4544 6.9968 ((5 . 16) (6 . 17) (7 . 18) (8 . 19) (13 . 22)) 2696 0.3636 5.1217 ((6 . 32) (8 . 35) (10 . 36) (11 . 37)) 2731 0.3636 6.6214 ((6 . 1) (7 . 3) (8 . 4) (10 . 5)) 2733 0.3635 8.0050 ((4 . 1) (8 . 4) (9 . 6) (11 . 8)) 2753 0.3633 10.9498 ((3 . 6) (5 . 7) (9 . 10) (12 . 11)) 2755 0.3636 3.5442 ((4 . 3) (5 . 4) (6 . 5) (11 . 8)) 2773 0.3636 6.0435 ((4 . 2) (10 . 5) (11 . 6) (13 . 7)) 2783 0.3636 5.9550 ((5 . 4) (6 . 6) (8 . 8) (11 . 12)) 2804 0.3636 7.5446 ((8 . 31) (10 . 34) (11 . 36) (13 . 37)) 2821 0.3636 6.6704 ((8 . 2) (10 . 4) (11 . 5) (12 . 6)) 2830 0.4545 4.4147 ((4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 2834 0.3636 5.1521 ((4 . 3) (6 . 6) (7 . 7) (8 . 8)) 2840 0.3636 6.6260 ((3 . 2) (6 . 5) (10 . 9) (11 . 11)) 2842 0.3636 4.1100 ((4 . 9) (5 . 10) (6 . 11) (7 . 12)) 2867 0.3418 7.4205 ((5 . 3) (7 . 5) (10 . 7) (11 . 8)) 2879 0.3635 8.0362 ((6 . 51) (8 . 53) (10 . 54) (11 . 56)) 2886 0.3635 8.0776 ((4 . 30) (8 . 37) (10 . 38) (11 . 39)) 2929 0.3635 8.6742 ((4 . 36) (5 . 38) (6 . 39) (9 . 41)) 2940 0.3636 3.7574 ((4 . 1) (5 . 2) (6 . 3) (12 . 9)) 2947 0.3636 6.5388 ((4 . 4) (5 . 5) (6 . 6) (8 . 7)) 2955 0.3636 7.0785 ((4 . 10) (6 . 11) (8 . 12) (11 . 15)) 2966 0.3636 7.4720 ((5 . 5) (8 . 9) (10 . 11) (11 . 12)) 2990 0.3636 5.1544 ((5 . 8) (6 . 9) (10 . 14) (11 . 15)) 2999 0.4545 4.5410 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6)) 3014 0.3629 13.4082 ((5 . 15) (7 . 16) (9 . 18) (13 . 20)) 3019 0.3636 3.4016 ((4 . 20) (5 . 21) (6 . 22) (10 . 25)) 3034 0.4545 4.5433 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 3041 0.5448 7.6566 ((4 . 16) (5 . 17) (6 . 18) (7 . 20) (8 . 22) (9 . 25)) 3055 0.3636 5.0353 ((6 . 15) (8 . 19) (10 . 20) (11 . 21)) 3063 0.3634 10.2145 ((4 . 33) (7 . 34) (10 . 38) (11 . 39)) 3070 0.3636 5.5184 ((3 . 31) (4 . 32) (8 . 36) (9 . 37)) 3084 0.4545 5.5451 ((4 . 3) (5 . 4) (6 . 5) (8 . 7) (11 . 11)) 3102 0.3636 7.4031 ((4 . 62) (7 . 64) (10 . 68) (11 . 69)) 3103 0.3636 6.2445 ((6 . 1) (8 . 3) (10 . 5) (12 . 7)) 3114 0.3635 7.8107 ((6 . 22) (8 . 24) (10 . 25) (12 . 28)) 3120 0.3634 10.4227 ((3 . 20) (6 . 22) (7 . 24) (8 . 25)) 3127 0.4545 3.4311 ((4 . 2) (5 . 5) (6 . 6) (8 . 8) (11 . 11)) 3147 0.3636 4.0672 ((4 . 11) (6 . 12) (10 . 16) (11 . 17)) 3176 0.3192 8.0426 ((3 . 23) (6 . 26) (8 . 29) (9 . 30)) 3187 0.4545 5.7729 ((4 . 1) (6 . 3) (8 . 5) (10 . 6) (11 . 7)) 3190 0.4544 6.0688 ((4 . 1) (5 . 2) (6 . 3) (8 . 6) (11 . 9)) 3197 0.5454 3.6382 ((4 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 24) (11 . 26)) 3200 0.3636 6.2641 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 3212 0.3636 4.4391 ((3 . 1) (6 . 5) (9 . 7) (10 . 9)) 3222 0.3636 6.8705 ((6 . 1) (7 . 2) (8 . 3) (10 . 4)) 3256 0.3636 6.0019 ((4 . 18) (8 . 25) (10 . 26) (11 . 28)) 3261 0.4545 5.7858 ((4 . 1) (6 . 3) (9 . 5) (10 . 6) (11 . 7)) 3286 0.4363 4.7083 ((3 . 2) (4 . 3) (6 . 5) (9 . 6) (11 . 9)) 3289 0.1957 6.9490 ((6 . 25) (9 . 28) (10 . 30) (11 . 31)) 3297 0.3635 8.4002 ((4 . 7) (6 . 8) (8 . 9) (11 . 11)) 3300 0.3636 5.7144 ((9 . 3) (10 . 4) (11 . 5) (13 . 9)) 3310 0.3189 12.6554 ((3 . 3) (5 . 4) (7 . 6) (9 . 7)) 3322 0.4544 6.7983 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (12 . 8)) 3334 0.3635 8.2724 ((7 . 12) (9 . 13) (10 . 14) (11 . 15)) 3339 0.4543 7.3412 ((5 . 25) (10 . 28) (11 . 33) (12 . 35) (13 . 36)) 3344 0.3635 8.6861 ((4 . 21) (6 . 22) (8 . 24) (11 . 27)) 3358 0.4542 8.4579 ((4 . 4) (5 . 5) (6 . 7) (7 . 9) (8 . 10)) 3362 1.0000 0.0000 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13)) 3366 0.3635 8.9230 ((3 . 25) (10 . 31) (11 . 32) (12 . 33)) 3391 0.4544 7.1503 ((4 . 4) (5 . 5) (6 . 6) (8 . 10) (11 . 13)) 3410 0.5182 9.6582 ((4 . 19) (5 . 20) (6 . 21) (9 . 27) (11 . 28) (12 . 29)) 3418 0.3636 4.5292 ((5 . 1) (6 . 2) (10 . 5) (11 . 6)) 3446 0.3636 6.4846 ((7 . 3) (9 . 4) (10 . 5) (11 . 6)) 3470 0.2376 13.2295 ((5 . 13) (7 . 14) (9 . 16) (13 . 18)) 3472 0.3635 8.0411 ((4 . 3) (6 . 6) (8 . 9) (10 . 11)) 3481 0.5450 7.1815 ((4 . 2) (5 . 3) (6 . 4) (8 . 8) (11 . 10) (12 . 11)) 3495 0.3636 7.4549 ((4 . 3) (5 . 5) (8 . 7) (10 . 8)) 3496 0.3636 7.2476 ((4 . 19) (7 . 21) (8 . 22) (10 . 23)) 3533 0.3191 10.0362 ((6 . 3) (7 . 6) (8 . 7) (11 . 10)) 3537 0.3635 7.8371 ((4 . 2) (5 . 3) (8 . 7) (11 . 9)) 3538 0.3636 6.3989 ((7 . 16) (10 . 18) (11 . 20) (13 . 21)) 3548 0.3636 6.7559 ((6 . 3) (8 . 5) (10 . 6) (11 . 8)) 3549 0.3419 6.2271 ((4 . 1) (7 . 4) (9 . 7) (10 . 8)) 3561 0.5453 5.4192 ((4 . 20) (5 . 21) (6 . 22) (7 . 23) (8 . 26) (11 . 28)) 3570 0.4545 4.3877 ((4 . 1) (5 . 2) (6 . 3) (11 . 8) (12 . 9)) 3585 0.4540 9.1837 ((4 . 8) (6 . 12) (8 . 14) (11 . 16) (13 . 17)) 3613 0.1327 7.1571 ((3 . 39) (5 . 42) (7 . 43) (13 . 45)) 3626 0.3636 7.5962 ((9 . 1) (10 . 2) (11 . 3) (12 . 5)) 3628 0.4543 7.3886 ((4 . 6) (5 . 7) (6 . 8) (11 . 12) (13 . 13)) 3651 0.4542 8.5422 ((4 . 3) (5 . 4) (6 . 5) (7 . 7) (8 . 8)) 3656 0.1649 9.7533 ((3 . 12) (7 . 20) (9 . 21) (11 . 22)) 3658 0.4541 8.5923 ((4 . 1) (5 . 2) (8 . 5) (10 . 6) (11 . 7)) 3659 0.3193 4.3857 ((4 . 9) (6 . 12) (8 . 13) (9 . 14)) 3661 0.3636 4.9376 ((6 . 8) (9 . 10) (10 . 11) (11 . 12)) 3663 0.3636 6.3509 ((4 . 1) (5 . 4) (6 . 5) (7 . 6)) 3688 0.1955 18.4313 ((6 . 23) (8 . 26) (10 . 27) (11 . 28)) 3697 0.2726 12.3229 ((3 . 5) (6 . 7) (7 . 8) (10 . 10)) 3703 0.3636 7.5142 ((7 . 5) (8 . 6) (10 . 7) (11 . 8)) 3732 0.9071 2.2787 ((3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (13 . 13)) 3733 0.4545 3.5597 ((4 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8)) 3740 0.3636 6.3479 ((6 . 2) (8 . 4) (10 . 5) (11 . 6)) 3741 0.3636 5.0928 ((8 . 1) (10 . 2) (11 . 3) (13 . 5)) 3776 0.4545 3.0666 ((4 . 15) (5 . 16) (6 . 17) (9 . 23) (11 . 24)) 3778 0.3636 6.4321 ((4 . 2) (6 . 4) (7 . 5) (12 . 8)) 3787 0.5454 5.0626 ((4 . 27) (5 . 28) (6 . 29) (7 . 30) (8 . 31) (10 . 33) (11 . 35) (13 . 37)) 3790 0.3636 3.8958 ((6 . 10) (8 . 14) (10 . 15) (11 . 16)) 3807 0.3636 5.4944 ((4 . 47) (7 . 49) (8 . 50) (9 . 51)) 3810 0.2727 7.9707 ((4 . 6) (6 . 10) (10 . 15) (11 . 16)) 3817 0.3636 5.1059 ((4 . 5) (6 . 7) (7 . 8) (8 . 9)) 3818 0.3636 5.2613 ((4 . 20) (5 . 21) (6 . 23) (7 . 24)) 3829 0.3635 9.2296 ((3 . 8) (5 . 10) (6 . 12) (7 . 13)) 3831 0.4527 12.6691 ((5 . 1) (6 . 2) (10 . 5) (11 . 6) (13 . 7)) 3847 0.3636 6.0434 ((4 . 9) (5 . 10) (8 . 16) (10 . 17)) 3849 0.3419 6.2452 ((4 . 1) (7 . 4) (9 . 7) (10 . 8)) 3853 0.3635 7.9624 ((4 . 3) (10 . 6) (11 . 8) (12 . 19)) 3856 0.3636 6.8964 ((3 . 4) (4 . 6) (8 . 10) (10 . 12)) 3870 0.4541 8.9183 ((4 . 5) (6 . 8) (7 . 9) (8 . 10) (13 . 14)) 3933 0.3636 6.9305 ((6 . 11) (8 . 15) (10 . 17) (11 . 18)) 3938 0.3636 5.4610 ((3 . 3) (4 . 4) (5 . 5) (6 . 9)) 3942 0.3636 4.3751 ((10 . 2) (11 . 3) (12 . 4) (13 . 5)) 3968 0.4544 6.3262 ((4 . 3) (5 . 4) (6 . 5) (8 . 9) (11 . 11)) 3986 0.3190 11.6123 ((6 . 4) (8 . 5) (10 . 8) (11 . 9)) 3990 0.4545 5.1699 ((4 . 18) (5 . 19) (6 . 20) (8 . 22) (10 . 24)) 4005 0.3636 5.0120 ((5 . 28) (6 . 29) (10 . 35) (11 . 36)) 4009 0.3636 5.1444 ((4 . 1) (7 . 6) (8 . 7) (12 . 10)) 4011 0.3191 11.1179 ((5 . 1) (7 . 2) (9 . 4) (13 . 6)) 4019 0.3990 5.9145 ((3 . 41) (4 . 42) (10 . 46) (11 . 47) (13 . 52)) 4030 0.3636 6.0576 ((3 . 6) (9 . 10) (12 . 12) (13 . 13)) 4034 0.3417 10.4110 ((5 . 7) (7 . 8) (8 . 9) (11 . 12)) 4037 0.4545 4.6017 ((4 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5)) 4062 0.3417 10.2186 ((6 . 48) (9 . 51) (12 . 52) (13 . 53)) 4067 0.5453 5.5589 ((4 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 20) (11 . 22)) 4077 0.3413 13.5909 ((5 . 6) (9 . 9) (10 . 10) (11 . 11)) 4082 0.3636 6.0015 ((7 . 4) (8 . 6) (10 . 7) (11 . 8)) 4087 0.3636 5.9875 ((7 . 2) (9 . 4) (10 . 5) (11 . 6)) 4112 0.3636 5.4091 ((4 . 2) (10 . 3) (11 . 4) (12 . 7)) 4115 0.4545 4.7581 ((4 . 1) (5 . 2) (6 . 5) (11 . 10) (12 . 11)) 4151 0.5448 7.6371 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (11 . 12)) 4154 0.3636 5.9587 ((6 . 51) (8 . 53) (10 . 56) (11 . 57)) 4177 0.3635 7.7283 ((4 . 1) (5 . 3) (10 . 7) (11 . 8)) 4190 0.3636 5.4372 ((6 . 3) (7 . 6) (10 . 8) (11 . 9)) 4192 0.4545 2.5425 ((4 . 13) (5 . 14) (6 . 15) (7 . 16) (9 . 18)) 4194 0.5454 4.1576 ((4 . 1) (5 . 2) (6 . 3) (10 . 6) (11 . 7) (13 . 8)) 4195 0.3626 14.4832 ((3 . 11) (7 . 13) (12 . 17) (13 . 19)) 4204 0.6352 7.3903 ((4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (11 . 11) (12 . 12)) 4209 0.3634 9.5978 ((4 . 1) (8 . 4) (9 . 6) (10 . 7)) 4210 0.3636 5.8377 ((4 . 4) (6 . 6) (7 . 7) (8 . 8)) 4226 0.4545 4.6910 ((4 . 1) (5 . 3) (6 . 4) (7 . 5) (8 . 9)) 4232 0.3636 7.3127 ((4 . 3) (6 . 4) (8 . 5) (10 . 6)) 4254 0.3636 3.5037 ((3 . 10) (4 . 11) (6 . 15) (7 . 16)) 4255 0.3636 3.6448 ((4 . 21) (5 . 22) (6 . 23) (10 . 26)) 4257 0.4545 5.7276 ((4 . 1) (5 . 2) (6 . 3) (8 . 7) (10 . 9)) 4265 0.4545 3.4108 ((4 . 23) (5 . 25) (6 . 26) (7 . 27) (8 . 29)) 4266 0.5454 3.2450 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (11 . 8)) 4274 0.4545 3.3601 ((4 . 36) (5 . 37) (6 . 38) (7 . 39) (8 . 40)) 4275 0.4543 7.5842 ((4 . 21) (5 . 22) (6 . 23) (7 . 24) (9 . 26)) 4281 0.3636 4.7689 ((6 . 3) (8 . 5) (9 . 7) (11 . 10)) 4284 0.3636 6.9935 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 4299 0.4544 6.6012 ((5 . 5) (6 . 6) (7 . 7) (8 . 9) (13 . 13)) 4301 0.3636 5.4664 ((4 . 2) (6 . 4) (8 . 8) (10 . 9)) 4326 0.4545 3.7220 ((5 . 6) (6 . 7) (7 . 8) (8 . 10) (11 . 15)) 4332 0.4545 4.5621 ((6 . 4) (7 . 5) (8 . 6) (9 . 8) (11 . 9)) 4338 0.4545 5.9529 ((6 . 4) (7 . 5) (8 . 6) (10 . 7) (11 . 8)) 4352 0.3633 10.5056 ((3 . 1) (5 . 2) (9 . 6) (11 . 9)) 4359 0.3636 4.2446 ((6 . 18) (8 . 20) (10 . 21) (11 . 22)) 4380 0.4359 8.9076 ((4 . 23) (7 . 27) (8 . 29) (10 . 30) (11 . 31)) 4383 0.3635 7.8328 ((6 . 14) (8 . 16) (10 . 17) (11 . 18)) 4386 0.3636 7.3594 ((5 . 15) (6 . 16) (7 . 17) (8 . 18)) 4388 0.4543 7.4213 ((4 . 1) (6 . 3) (7 . 4) (8 . 5) (10 . 6)) 4398 0.4544 6.2242 ((5 . 2) (6 . 4) (7 . 5) (8 . 6) (13 . 11)) 4405 0.3636 4.7350 ((5 . 13) (6 . 14) (7 . 17) (8 . 18)) 4408 0.3636 5.9888 ((8 . 1) (10 . 3) (11 . 4) (13 . 5)) 4415 0.4545 3.8574 ((4 . 4) (5 . 5) (6 . 9) (7 . 10) (8 . 11)) 4419 0.3635 8.0772 ((4 . 3) (8 . 8) (10 . 9) (11 . 10)) 4426 0.3635 9.2994 ((4 . 2) (5 . 3) (9 . 5) (10 . 6)) 4470 0.4541 8.6707 ((4 . 5) (5 . 6) (6 . 7) (11 . 12) (13 . 13)) 4491 0.3636 6.2859 ((4 . 1) (7 . 4) (8 . 5) (10 . 6)) 4492 0.5453 5.6411 ((4 . 11) (5 . 12) (6 . 13) (7 . 14) (8 . 18) (11 . 21)) 4495 0.4542 8.0302 ((4 . 14) (5 . 15) (6 . 16) (11 . 18) (13 . 20)) 4497 0.3636 7.7003 ((6 . 18) (7 . 20) (10 . 23) (11 . 24)) 4502 0.4540 9.0518 ((4 . 6) (5 . 7) (6 . 9) (11 . 14) (12 . 16)) 4503 0.3636 7.4872 ((8 . 1) (9 . 2) (10 . 4) (11 . 5)) 4504 0.4542 8.3893 ((4 . 15) (5 . 16) (6 . 17) (8 . 19) (13 . 23)) 4505 0.4545 5.3850 ((4 . 28) (5 . 29) (6 . 30) (7 . 31) (8 . 34)) 4516 0.4545 4.2078 ((4 . 28) (5 . 29) (6 . 30) (7 . 31) (8 . 32)) 4527 0.3635 8.5706 ((6 . 1) (7 . 2) (9 . 4) (11 . 6)) 4538 0.3636 6.9000 ((6 . 30) (10 . 33) (11 . 34) (12 . 36)) 4551 0.3636 7.4920 ((6 . 2) (8 . 4) (9 . 7) (11 . 8)) 4560 0.5451 6.6199 ((5 . 5) (6 . 6) (7 . 7) (8 . 8) (11 . 11) (13 . 12)) 4561 0.6350 7.5920 ((4 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (11 . 9) (13 . 11)) 4562 0.4545 5.9132 ((4 . 19) (5 . 21) (6 . 22) (8 . 25) (11 . 29)) 4563 0.4545 4.5331 ((3 . 25) (4 . 26) (6 . 28) (7 . 30) (8 . 31)) 4577 0.3633 10.6102 ((6 . 33) (8 . 34) (9 . 36) (11 . 37)) 4579 0.3192 8.4685 ((7 . 3) (9 . 5) (12 . 7) (13 . 8)) 4588 0.5449 7.3855 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (11 . 11) (13 . 12)) 4589 0.4539 9.4825 ((5 . 24) (6 . 25) (7 . 26) (8 . 27) (10 . 30)) 4607 0.3631 11.9916 ((3 . 20) (5 . 21) (8 . 24) (12 . 28)) 4621 0.3636 4.1627 ((7 . 1) (10 . 3) (11 . 4) (12 . 5)) 4630 0.4542 8.1902 ((4 . 25) (6 . 28) (8 . 31) (10 . 33) (11 . 34)) 4648 0.3522 7.6661 ((6 . 2) (7 . 3) (9 . 7) (10 . 8)) 4653 0.3636 4.5357 ((4 . 1) (5 . 2) (6 . 4) (11 . 7)) 4668 0.5439 9.6634 ((4 . 1) (5 . 2) (6 . 3) (8 . 7) (11 . 9) (12 . 10)) 4669 0.4544 6.2370 ((4 . 15) (5 . 16) (6 . 17) (8 . 19) (11 . 21)) 4671 0.3636 3.2137 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 4674 0.3635 7.8071 ((4 . 1) (5 . 3) (10 . 6) (11 . 8)) 4678 0.3635 8.1315 ((3 . 9) (6 . 12) (10 . 15) (11 . 16)) 4713 0.3192 7.0690 ((4 . 5) (6 . 7) (8 . 9) (9 . 10)) 4715 0.3635 8.1934 ((3 . 2) (5 . 4) (6 . 6) (7 . 7)) 4731 0.5454 4.3341 ((5 . 15) (6 . 18) (7 . 20) (8 . 22) (10 . 23) (11 . 24)) 4764 0.3416 11.0063 ((5 . 2) (7 . 4) (9 . 6) (12 . 7)) 4783 0.2724 15.5304 ((5 . 7) (7 . 8) (12 . 10) (13 . 12)) 4857 0.4541 8.8960 ((4 . 3) (5 . 4) (10 . 9) (11 . 11) (13 . 12)) 4886 0.3635 7.7518 ((5 . 20) (6 . 22) (10 . 24) (13 . 27)) 4888 0.3636 7.1267 ((4 . 9) (5 . 11) (8 . 14) (10 . 15)) 4889 0.3636 7.5364 ((3 . 9) (7 . 13) (12 . 20) (13 . 21)) 4907 0.3636 5.5097 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 4914 0.3636 5.9135 ((6 . 6) (8 . 8) (10 . 11) (11 . 12)) 4921 0.3635 8.4321 ((4 . 7) (6 . 9) (8 . 12) (12 . 13)) 4929 0.3636 7.2273 ((6 . 26) (8 . 29) (10 . 31) (11 . 32)) 4932 0.4231 7.5311 ((6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10)) 4940 0.3636 4.6344 ((4 . 3) (5 . 5) (6 . 6) (8 . 8)) 4941 0.3635 8.6347 ((4 . 1) (6 . 5) (8 . 7) (10 . 11)) 4944 0.4545 4.4193 ((4 . 11) (5 . 12) (8 . 14) (10 . 15) (11 . 16)) 4961 0.5284 4.9842 ((4 . 3) (5 . 4) (6 . 6) (7 . 8) (9 . 11) (11 . 12)) 4963 0.3627 14.0481 ((5 . 5) (7 . 6) (12 . 8) (13 . 9)) 4978 0.4545 5.9029 ((4 . 18) (5 . 20) (6 . 21) (8 . 24) (10 . 25)) 4982 0.3636 4.2382 ((4 . 1) (6 . 3) (7 . 5) (8 . 6)) 4992 0.4545 4.5916 ((5 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 9)) 4998 0.5003 6.2334 ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (8 . 6) (10 . 23) (11 . 25) (12 . 28)) 5000 0.3416 11.3369 ((3 . 30) (5 . 31) (9 . 33) (12 . 35)) 5029 0.4545 4.2134 ((4 . 4) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 5036 0.3635 8.1141 ((4 . 4) (6 . 7) (8 . 9) (10 . 10)) 5038 0.3635 7.8956 ((4 . 10) (5 . 13) (6 . 14) (10 . 18)) 5039 0.5454 3.5659 ((4 . 37) (5 . 38) (6 . 39) (7 . 40) (8 . 41) (11 . 44)) 5046 0.3636 4.7669 ((4 . 3) (8 . 7) (10 . 8) (11 . 10)) 5053 0.3636 6.4121 ((6 . 6) (7 . 7) (10 . 9) (11 . 10)) 5065 0.3636 6.6397 ((9 . 1) (10 . 2) (11 . 3) (13 . 5)) 5068 0.4543 7.6027 ((4 . 17) (5 . 19) (6 . 20) (8 . 24) (13 . 26)) 5069 0.5284 4.1949 ((4 . 2) (5 . 3) (6 . 4) (8 . 7) (9 . 8) (11 . 9)) 5073 0.5448 7.6183 ((4 . 36) (5 . 38) (6 . 39) (7 . 41) (8 . 42) (11 . 44)) 5080 0.3636 6.4073 ((9 . 1) (10 . 2) (11 . 3) (13 . 5)) 5083 0.2727 7.6995 ((4 . 1) (5 . 3) (8 . 6) (10 . 9)) 5092 0.3636 7.6162 ((3 . 4) (9 . 8) (12 . 10) (13 . 11)) 5101 0.5454 3.2885 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (11 . 7)) 5103 0.4545 3.7929 ((4 . 4) (5 . 5) (6 . 6) (7 . 8) (8 . 9)) 5121 0.3636 6.5649 ((5 . 23) (6 . 25) (10 . 28) (11 . 29)) 5132 0.4543 7.2919 ((4 . 18) (5 . 19) (6 . 20) (8 . 22) (11 . 26)) 5134 0.3635 8.8072 ((4 . 3) (5 . 5) (6 . 6) (7 . 8)) 5145 0.3636 7.2548 ((3 . 4) (4 . 5) (5 . 7) (6 . 8)) 5167 0.4544 7.0252 ((4 . 1) (5 . 2) (6 . 3) (11 . 9) (13 . 10)) 5176 0.2727 11.1955 ((6 . 82) (7 . 83) (9 . 85) (11 . 87)) 5183 0.3636 5.4894 ((6 . 34) (10 . 37) (11 . 38) (12 . 39)) 5192 0.4543 7.5028 ((6 . 1) (7 . 2) (8 . 3) (11 . 5) (12 . 6)) 5198 0.5183 7.4032 ((4 . 21) (5 . 23) (6 . 24) (7 . 25) (8 . 26) (9 . 27) (10 . 30)) 5199 0.3192 7.5203 ((5 . 2) (6 . 4) (10 . 7) (11 . 8)) 5209 0.3635 9.1693 ((7 . 6) (8 . 7) (10 . 8) (11 . 9)) 5212 0.3636 5.9142 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 5215 0.4540 9.4430 ((4 . 5) (5 . 6) (10 . 9) (11 . 10) (13 . 13)) 5223 0.5441 9.3336 ((4 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (13 . 14)) 5231 0.3636 5.7555 ((6 . 8) (8 . 13) (10 . 14) (11 . 16)) 5266 0.4544 6.3521 ((4 . 8) (5 . 9) (6 . 10) (8 . 13) (10 . 15)) 5278 0.3636 5.9353 ((4 . 5) (6 . 7) (8 . 9) (10 . 10)) 5285 0.2377 9.6723 ((5 . 2) (7 . 4) (9 . 5) (12 . 6)) 5307 0.4545 5.7118 ((4 . 51) (6 . 53) (7 . 54) (8 . 55) (9 . 56)) 5312 0.3636 6.7380 ((4 . 1) (6 . 4) (8 . 5) (9 . 6)) 5318 0.3636 6.6722 ((3 . 17) (6 . 19) (10 . 22) (11 . 23)) 5323 0.3191 10.6886 ((7 . 13) (9 . 15) (12 . 16) (13 . 17)) 5324 0.4545 3.8638 ((3 . 9) (4 . 10) (6 . 12) (7 . 13) (8 . 14)) 5344 0.3636 5.8294 ((6 . 1) (8 . 3) (10 . 4) (11 . 7)) 5345 0.3636 3.9571 ((4 . 7) (6 . 8) (10 . 12) (11 . 13)) 5368 0.3636 4.3749 ((6 . 20) (8 . 22) (10 . 25) (11 . 26)) 5378 0.3634 10.3372 ((5 . 1) (6 . 3) (9 . 5) (10 . 6)) 5411 0.3629 13.0322 ((5 . 1) (7 . 2) (8 . 3) (11 . 6)) 5414 0.4544 6.2893 ((4 . 14) (6 . 16) (8 . 19) (10 . 20) (11 . 21)) 5421 0.3636 6.0400 ((6 . 1) (8 . 2) (10 . 4) (11 . 5)) 5433 0.3636 6.8194 ((4 . 4) (6 . 7) (8 . 10) (10 . 13)) 5442 0.1957 9.0416 ((5 . 32) (7 . 33) (12 . 36) (13 . 37)) 5479 0.3636 6.0818 ((4 . 43) (6 . 45) (10 . 50) (11 . 51)) 5487 0.4545 4.2755 ((3 . 3) (4 . 4) (6 . 7) (7 . 8) (8 . 9)) 5489 0.3636 5.9722 ((6 . 6) (8 . 9) (10 . 10) (11 . 11)) 5500 0.3635 8.9957 ((3 . 6) (4 . 7) (5 . 10) (8 . 12)) 5501 0.3633 10.4354 ((6 . 16) (8 . 20) (9 . 21) (12 . 22)) 5525 0.3628 13.5488 ((5 . 5) (7 . 10) (9 . 11) (12 . 12)) 5535 0.3636 5.0227 ((6 . 7) (8 . 9) (11 . 12) (12 . 13)) 5540 0.3636 6.8516 ((6 . 1) (7 . 2) (8 . 3) (10 . 4)) 5557 0.3636 7.4429 ((4 . 2) (6 . 4) (7 . 5) (8 . 6)) 5560 0.4543 7.2548 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (13 . 10)) 5562 0.4533 11.3869 ((6 . 7) (7 . 9) (8 . 11) (11 . 14) (13 . 15)) 5567 0.4545 5.9149 ((4 . 8) (5 . 10) (6 . 11) (7 . 14) (8 . 15)) 5594 0.4544 6.3025 ((4 . 6) (5 . 8) (6 . 9) (7 . 10) (8 . 12)) 5600 0.4545 4.8819 ((6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11)) 5601 0.4545 5.7441 ((3 . 4) (4 . 5) (6 . 7) (7 . 9) (8 . 10)) 5638 0.3636 6.0820 ((4 . 7) (6 . 9) (7 . 12) (8 . 13)) 5640 0.3636 3.7882 ((6 . 6) (8 . 8) (10 . 9) (11 . 10)) 5644 0.4545 5.5570 ((4 . 4) (6 . 8) (8 . 10) (10 . 13) (11 . 14)) 5656 0.4543 7.8166 ((4 . 5) (5 . 6) (6 . 8) (11 . 14) (13 . 15)) 5689 0.3633 11.1158 ((3 . 12) (7 . 16) (9 . 18) (12 . 19)) 5700 0.4545 5.8299 ((4 . 2) (6 . 4) (8 . 6) (10 . 8) (11 . 9)) 5701 0.3988 9.1583 ((5 . 7) (6 . 8) (7 . 10) (8 . 11) (10 . 12)) 5702 0.3418 9.1610 ((7 . 7) (9 . 8) (12 . 10) (13 . 11)) 5703 0.3635 7.7633 ((4 . 1) (5 . 3) (10 . 7) (11 . 8)) 5704 0.3623 15.4757 ((5 . 3) (7 . 4) (9 . 5) (13 . 7)) 5711 0.3636 7.0509 ((4 . 38) (8 . 44) (10 . 46) (13 . 48)) 5713 0.3636 5.7310 ((6 . 15) (8 . 19) (10 . 20) (11 . 21)) 5718 0.4545 5.3478 ((4 . 14) (6 . 17) (8 . 21) (10 . 23) (11 . 24)) 5731 0.3636 6.7897 ((4 . 7) (5 . 8) (6 . 10) (8 . 13)) 5746 0.3636 3.8351 ((5 . 1) (6 . 2) (10 . 6) (11 . 7)) 5749 0.3635 8.1260 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 5761 0.3636 5.3029 ((4 . 30) (6 . 32) (7 . 34) (8 . 36)) 5770 0.3636 5.7298 ((6 . 6) (7 . 7) (9 . 10) (10 . 12)) 5771 0.4360 8.6663 ((4 . 9) (5 . 10) (9 . 16) (11 . 17) (13 . 19)) 5782 0.3636 6.0593 ((4 . 15) (5 . 17) (6 . 18) (11 . 24)) 5789 0.3636 5.9498 ((3 . 1) (4 . 2) (5 . 3) (10 . 5)) 5794 0.3636 6.4914 ((4 . 19) (5 . 22) (6 . 23) (8 . 25)) 5795 0.4545 4.0729 ((4 . 10) (5 . 12) (6 . 13) (7 . 15) (8 . 16)) 5809 0.4542 8.3194 ((4 . 7) (5 . 8) (6 . 9) (8 . 12) (11 . 14)) 5822 0.3636 6.8678 ((4 . 2) (6 . 4) (10 . 8) (13 . 11)) 5827 0.4544 6.4009 ((4 . 8) (5 . 10) (6 . 11) (7 . 12) (11 . 15)) 5830 0.4544 6.9584 ((4 . 7) (8 . 10) (9 . 11) (10 . 13) (13 . 16)) 5847 0.3634 10.3366 ((6 . 12) (8 . 15) (10 . 17) (13 . 21)) 5861 0.4544 6.8747 ((4 . 15) (6 . 17) (8 . 20) (10 . 21) (11 . 22)) 5865 0.4544 6.2668 ((4 . 1) (6 . 5) (7 . 6) (8 . 7) (9 . 8)) 5878 0.3634 9.4032 ((3 . 22) (6 . 26) (8 . 30) (9 . 31)) 5888 0.3636 5.7637 ((6 . 20) (8 . 23) (10 . 24) (11 . 25)) 5896 0.3636 3.7570 ((4 . 26) (5 . 27) (6 . 28) (10 . 31)) 5904 0.3636 6.6285 ((3 . 6) (4 . 7) (5 . 8) (7 . 10)) 5913 0.4540 9.1541 ((4 . 13) (5 . 14) (6 . 15) (8 . 17) (11 . 20)) 5914 0.3636 5.8965 ((9 . 4) (10 . 5) (11 . 6) (12 . 7)) 5922 0.3635 7.8589 ((4 . 6) (6 . 8) (10 . 11) (11 . 13)) 5930 0.3636 6.8291 ((6 . 2) (8 . 4) (9 . 6) (11 . 7)) 5939 0.4543 7.9050 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (11 . 6)) 5945 0.4540 9.1026 ((4 . 23) (5 . 25) (6 . 26) (8 . 28) (11 . 32)) 5949 0.4541 8.6948 ((4 . 1) (5 . 2) (6 . 4) (11 . 9) (13 . 13)) 5955 0.4545 3.6090 ((4 . 3) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 5967 0.3636 6.2111 ((6 . 1) (7 . 2) (8 . 3) (9 . 6)) 5972 0.3636 3.4660 ((3 . 1) (9 . 5) (10 . 7) (11 . 6)) 5977 0.4545 4.5836 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 6000 0.3633 11.2178 ((5 . 16) (6 . 17) (8 . 21) (13 . 27)) 6011 0.4544 6.0047 ((6 . 16) (8 . 18) (10 . 19) (11 . 20) (12 . 21)) 6022 0.4544 6.6718 ((4 . 2) (6 . 4) (8 . 5) (10 . 8) (11 . 9)) 6029 0.4432 7.7525 ((6 . 31) (7 . 32) (9 . 34) (11 . 35) (12 . 36)) 6033 0.1956 11.7984 ((3 . 3) (5 . 4) (12 . 9) (13 . 10)) 6041 0.3636 6.9541 ((5 . 6) (8 . 10) (10 . 11) (11 . 12)) 6046 0.3636 6.8976 ((5 . 1) (6 . 2) (8 . 5) (10 . 6)) 6061 0.4545 4.7912 ((5 . 16) (6 . 17) (7 . 18) (8 . 20) (10 . 21)) 6074 0.4545 3.5329 ((4 . 6) (5 . 7) (6 . 8) (7 . 10) (8 . 11)) 6075 0.5283 5.5941 ((4 . 17) (5 . 19) (6 . 20) (8 . 21) (9 . 23) (11 . 27)) 6079 0.4543 7.8194 ((4 . 7) (6 . 9) (7 . 10) (8 . 11) (12 . 14)) 6087 0.5284 3.8732 ((3 . 2) (4 . 3) (6 . 8) (7 . 9) (8 . 10) (9 . 11)) 6089 0.4543 7.5101 ((3 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 23)) 6094 0.3636 6.8058 ((3 . 6) (4 . 7) (5 . 8) (8 . 12)) 6099 0.3636 3.9779 ((4 . 18) (8 . 23) (10 . 24) (11 . 25)) 6142 0.3636 4.3097 ((6 . 11) (8 . 13) (10 . 14) (11 . 15)) 6148 0.3636 5.5036 ((4 . 32) (7 . 35) (8 . 36) (10 . 37)) 6167 0.3636 7.3910 ((4 . 9) (6 . 12) (10 . 20) (11 . 21)) 6169 0.3630 12.8662 ((3 . 9) (7 . 11) (9 . 12) (13 . 14)) 6173 0.4544 6.1734 ((6 . 9) (8 . 12) (10 . 13) (11 . 15) (12 . 16)) 6191 0.3635 8.2096 ((3 . 1) (9 . 7) (10 . 9) (11 . 10)) 6192 0.3636 6.2914 ((4 . 1) (6 . 3) (7 . 4) (8 . 5)) 6215 0.1649 7.6177 ((6 . 18) (8 . 20) (9 . 22) (11 . 24)) 6225 0.4230 8.9781 ((5 . 9) (6 . 10) (7 . 11) (8 . 12) (10 . 13)) 6228 0.4545 3.1877 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 6234 0.3636 7.4437 ((6 . 7) (7 . 8) (10 . 13) (11 . 15)) 6238 0.3636 5.8445 ((5 . 2) (8 . 5) (10 . 7) (11 . 8)) 6243 0.4545 4.2415 ((4 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 6251 0.5451 6.6630 ((4 . 8) (5 . 9) (6 . 10) (7 . 11) (8 . 17) (13 . 20)) 6258 0.4785 8.2315 ((3 . 5) (4 . 7) (5 . 8) (6 . 10) (8 . 12) (12 . 14)) 6261 0.4542 8.1536 ((4 . 11) (5 . 15) (7 . 18) (8 . 19) (13 . 23)) 6266 0.4544 6.4438 ((4 . 3) (5 . 4) (6 . 5) (8 . 6) (11 . 8)) 6268 0.3628 13.4974 ((5 . 8) (7 . 11) (9 . 12) (13 . 14)) 6270 0.3636 4.7335 ((4 . 15) (5 . 16) (6 . 17) (10 . 20)) 6271 0.3636 6.5087 ((4 . 4) (6 . 7) (10 . 10) (11 . 11)) 6294 0.4545 5.3967 ((5 . 10) (6 . 11) (7 . 12) (8 . 14) (9 . 15)) 6306 0.3635 8.9192 ((6 . 17) (7 . 18) (8 . 19) (10 . 21)) 6309 0.3636 5.3558 ((4 . 17) (5 . 19) (6 . 20) (10 . 25)) 6311 0.3636 5.7293 ((4 . 4) (8 . 9) (10 . 10) (11 . 11)) 6326 0.3636 6.5467 ((6 . 1) (8 . 2) (10 . 4) (11 . 5)) 6329 0.3627 13.9112 ((3 . 7) (5 . 9) (7 . 11) (9 . 12)) 6344 0.4544 6.3801 ((3 . 10) (6 . 13) (9 . 16) (10 . 18) (11 . 19)) 6345 0.4539 9.6071 ((5 . 2) (6 . 4) (10 . 6) (11 . 7) (13 . 8)) 6348 0.4544 6.8100 ((4 . 1) (5 . 3) (6 . 4) (11 . 9) (13 . 10)) 6355 0.3417 9.4775 ((6 . 9) (8 . 12) (9 . 13) (11 . 15)) 6356 0.5040 6.8527 ((4 . 1) (5 . 3) (6 . 4) (8 . 6) (11 . 9) (13 . 10)) 6369 0.5448 7.7284 ((4 . 22) (5 . 23) (6 . 24) (7 . 25) (8 . 26) (11 . 29)) 6376 0.5453 5.0227 ((4 . 17) (5 . 18) (6 . 19) (8 . 21) (9 . 23) (11 . 24)) 6391 0.3192 6.4589 ((4 . 6) (6 . 8) (9 . 11) (10 . 14)) 6392 0.4545 5.2717 ((3 . 8) (4 . 9) (9 . 14) (11 . 15) (12 . 16)) 6399 0.3990 5.4689 ((4 . 5) (6 . 6) (8 . 8) (10 . 10) (11 . 11)) 6403 0.3636 3.7123 ((4 . 13) (6 . 15) (7 . 16) (8 . 17)) 6434 0.4544 6.1247 ((5 . 1) (6 . 2) (8 . 4) (10 . 5) (13 . 7)) 6461 0.2728 5.9587 ((3 . 2) (4 . 3) (5 . 4) (8 . 6)) 6462 0.4542 8.2307 ((4 . 18) (5 . 19) (6 . 20) (8 . 22) (9 . 25)) 6498 0.4541 8.6995 ((3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22)) 6506 0.3516 13.7474 ((3 . 16) (5 . 17) (9 . 20) (12 . 22)) 6520 0.3636 5.8336 ((4 . 10) (5 . 11) (6 . 13) (8 . 15)) 6536 0.3632 11.5929 ((7 . 33) (10 . 35) (11 . 36) (13 . 37)) 6539 0.3636 3.8557 ((4 . 2) (5 . 3) (6 . 4) (10 . 8)) 6540 0.3635 7.9520 ((4 . 6) (6 . 9) (10 . 11) (11 . 12)) 6548 0.4088 9.1072 ((5 . 6) (6 . 7) (8 . 9) (9 . 10) (10 . 12) (11 . 13)) 6553 0.4545 4.6766 ((3 . 10) (4 . 11) (5 . 12) (6 . 13) (11 . 20)) 6555 0.3636 7.0048 ((4 . 17) (6 . 20) (7 . 21) (10 . 24)) 6561 0.3633 10.8923 ((4 . 3) (7 . 5) (8 . 9) (10 . 10)) 6573 0.4543 7.6412 ((3 . 16) (4 . 17) (5 . 18) (6 . 19) (8 . 21)) 6575 0.2727 7.6253 ((6 . 1) (8 . 2) (10 . 5) (13 . 7)) 6578 0.3636 7.3757 ((6 . 32) (10 . 37) (11 . 38) (12 . 39)) 6584 0.3636 5.8182 ((9 . 1) (10 . 2) (11 . 3) (13 . 4)) 6585 0.4541 8.6670 ((4 . 2) (5 . 4) (6 . 6) (7 . 7) (11 . 10)) 6586 0.3635 7.7383 ((4 . 18) (7 . 23) (8 . 24) (10 . 25)) 6587 0.4541 8.8966 ((4 . 29) (5 . 30) (6 . 31) (7 . 32) (9 . 35)) 6598 0.3636 5.2211 ((6 . 4) (8 . 6) (10 . 7) (11 . 8)) 6613 0.4545 2.8197 ((4 . 22) (5 . 23) (6 . 24) (7 . 25) (8 . 27)) 6622 0.3192 9.3865 ((3 . 1) (5 . 2) (7 . 4) (12 . 8)) 6635 0.3634 9.3721 ((4 . 1) (6 . 4) (10 . 7) (13 . 10)) END