5065 25 0.3635 8.6876 ((1 . 9) (5 . 10) (6 . 12) (12 . 13)) 41 0.3635 8.5149 ((6 . 4) (9 . 5) (11 . 7) (12 . 8)) 51 0.4540 9.4233 ((2 . 6) (3 . 7) (8 . 10) (10 . 13) (11 . 14)) 62 0.4542 8.2738 ((1 . 9) (2 . 10) (3 . 12) (8 . 16) (9 . 17)) 64 0.4545 5.0836 ((7 . 2) (8 . 3) (9 . 4) (10 . 6) (11 . 7)) 77 0.3636 6.5041 ((1 . 12) (2 . 13) (3 . 15) (5 . 17)) 91 0.3634 9.9594 ((5 . 35) (6 . 36) (8 . 37) (12 . 46)) 96 0.3636 6.2300 ((1 . 2) (2 . 3) (5 . 4) (8 . 6)) 129 0.4544 6.3643 ((2 . 1) (3 . 2) (7 . 5) (8 . 8) (9 . 9)) 136 0.3636 5.1094 ((6 . 4) (8 . 5) (9 . 7) (10 . 8)) 150 0.3636 6.7908 ((1 . 18) (2 . 19) (3 . 20) (5 . 21)) 153 0.4543 7.3070 ((3 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10)) 155 0.1649 12.5252 ((1 . 1) (3 . 2) (6 . 5) (12 . 8)) 157 0.3635 8.7948 ((3 . 3) (5 . 4) (7 . 5) (9 . 8)) 161 0.3636 5.2699 ((8 . 3) (9 . 4) (10 . 6) (11 . 8)) 162 0.3636 7.0066 ((3 . 12) (6 . 16) (10 . 17) (11 . 18)) 169 0.3636 4.6153 ((3 . 1) (9 . 7) (10 . 8) (11 . 9)) 177 0.3636 5.0167 ((2 . 1) (3 . 2) (7 . 5) (9 . 7)) 191 0.3636 6.4497 ((7 . 6) (8 . 7) (9 . 8) (10 . 9)) 198 0.4433 6.0276 ((3 . 8) (7 . 10) (8 . 12) (10 . 16) (11 . 17)) 207 0.3636 5.4879 ((1 . 12) (2 . 13) (6 . 16) (8 . 18)) 233 0.4544 7.0656 ((2 . 1) (3 . 2) (8 . 5) (9 . 7) (10 . 8)) 300 0.3635 7.7804 ((1 . 12) (2 . 16) (3 . 17) (7 . 18)) 305 0.3636 5.8700 ((2 . 16) (3 . 17) (9 . 21) (10 . 22)) 307 0.3636 7.5815 ((2 . 1) (8 . 7) (10 . 9) (12 . 10)) 315 0.3636 7.6707 ((6 . 2) (9 . 5) (10 . 6) (12 . 7)) 340 0.3636 2.7030 ((7 . 1) (8 . 2) (9 . 4) (10 . 7)) 350 0.4432 7.1400 ((2 . 11) (3 . 13) (5 . 14) (7 . 17) (9 . 20)) 360 0.5454 4.0594 ((3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10)) 361 0.3635 8.2977 ((1 . 9) (2 . 10) (3 . 11) (5 . 13)) 365 0.4545 5.7413 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 7)) 367 0.4232 7.3951 ((1 . 41) (2 . 42) (3 . 43) (7 . 46) (9 . 48)) 372 0.4545 3.8268 ((7 . 2) (8 . 5) (9 . 6) (10 . 7) (11 . 8)) 387 0.3636 7.2341 ((8 . 9) (9 . 10) (10 . 11) (11 . 12)) 405 0.3635 8.2245 ((2 . 35) (3 . 37) (7 . 39) (8 . 40)) 420 0.3636 4.3011 ((8 . 2) (9 . 3) (10 . 4) (11 . 5)) 433 0.4542 8.2550 ((5 . 2) (9 . 5) (10 . 6) (11 . 7) (12 . 8)) 442 0.3636 7.3609 ((1 . 9) (2 . 10) (3 . 12) (12 . 18)) 460 0.4545 5.7822 ((7 . 1) (8 . 2) (9 . 3) (10 . 6) (11 . 7)) 472 0.3632 11.3777 ((2 . 21) (3 . 22) (9 . 25) (12 . 29)) 491 0.3636 4.7406 ((5 . 5) (7 . 6) (10 . 8) (11 . 9)) 495 0.3636 3.8239 ((2 . 1) (6 . 6) (10 . 9) (11 . 11)) 541 0.3636 5.4130 ((5 . 1) (8 . 2) (9 . 3) (10 . 5)) 543 0.3636 6.7249 ((2 . 2) (7 . 5) (8 . 6) (9 . 8)) 553 0.3634 9.7630 ((1 . 1) (5 . 2) (6 . 3) (12 . 6)) 561 0.3636 4.4868 ((6 . 2) (8 . 3) (9 . 4) (11 . 6)) 584 0.3636 6.0909 ((6 . 2) (8 . 3) (9 . 4) (10 . 5)) 587 0.4545 4.6268 ((7 . 2) (8 . 3) (9 . 4) (10 . 6) (11 . 7)) 619 0.4543 7.2913 ((7 . 7) (8 . 8) (9 . 9) (10 . 11) (11 . 12)) 624 0.4543 7.7387 ((3 . 7) (7 . 9) (9 . 11) (11 . 13) (12 . 14)) 635 0.3635 8.2367 ((1 . 12) (2 . 13) (3 . 14) (6 . 17)) 672 0.3636 6.1177 ((6 . 19) (8 . 20) (10 . 22) (11 . 23)) 678 0.3636 6.0329 ((1 . 25) (2 . 26) (5 . 27) (8 . 29)) 683 0.4544 6.2476 ((7 . 1) (8 . 2) (9 . 3) (10 . 5) (11 . 6)) 719 0.4542 8.1377 ((7 . 22) (8 . 23) (10 . 25) (11 . 27) (12 . 29)) 729 0.3636 5.7995 ((1 . 12) (2 . 13) (8 . 17) (9 . 20)) 735 0.3636 6.2532 ((2 . 32) (3 . 33) (7 . 37) (8 . 39)) 740 0.4545 3.9044 ((6 . 1) (7 . 2) (8 . 3) (9 . 4) (10 . 7)) 765 0.3635 8.3058 ((3 . 3) (8 . 7) (9 . 9) (10 . 12)) 767 0.3636 7.2129 ((3 . 3) (9 . 9) (10 . 10) (11 . 12)) 782 0.1649 10.4647 ((1 . 4) (5 . 7) (6 . 8) (12 . 13)) 792 0.3628 13.7890 ((1 . 13) (5 . 16) (6 . 17) (12 . 20)) 795 0.3636 4.6493 ((5 . 2) (7 . 3) (9 . 5) (10 . 6)) 796 0.3633 10.8354 ((6 . 1) (9 . 3) (11 . 5) (12 . 7)) 801 0.3636 6.8173 ((8 . 1) (9 . 2) (10 . 4) (11 . 5)) 812 0.3634 9.4428 ((1 . 12) (2 . 13) (8 . 16) (11 . 19)) 818 0.3636 6.5146 ((2 . 1) (6 . 5) (8 . 7) (10 . 10)) 819 0.3636 4.7865 ((2 . 5) (7 . 8) (8 . 9) (9 . 10)) 824 0.3634 9.7009 ((2 . 46) (3 . 49) (7 . 51) (8 . 53)) 834 0.3417 9.5848 ((1 . 35) (5 . 38) (6 . 39) (12 . 44)) 861 0.4542 8.3115 ((1 . 11) (2 . 12) (7 . 16) (8 . 17) (9 . 18)) 901 0.3636 6.6565 ((1 . 14) (2 . 15) (6 . 18) (8 . 20)) 904 0.3417 9.9906 ((1 . 1) (6 . 5) (8 . 6) (9 . 7)) 913 0.3192 8.9627 ((2 . 16) (3 . 17) (5 . 18) (7 . 20)) 928 0.3636 7.2880 ((1 . 11) (6 . 15) (8 . 16) (10 . 18)) 937 0.3635 8.1127 ((8 . 1) (10 . 4) (11 . 5) (12 . 6)) 943 0.3636 6.2459 ((2 . 9) (6 . 13) (8 . 14) (9 . 15)) 945 0.3635 8.3614 ((3 . 14) (5 . 16) (7 . 17) (11 . 22)) 949 0.3635 7.9105 ((8 . 27) (10 . 30) (11 . 32) (12 . 33)) 960 0.4539 9.8092 ((2 . 3) (3 . 4) (10 . 8) (11 . 9) (12 . 11)) 978 0.3988 9.2124 ((3 . 10) (5 . 11) (6 . 12) (10 . 13) (11 . 16)) 980 0.3636 6.2775 ((2 . 3) (6 . 6) (8 . 7) (10 . 9)) 1005 0.2727 8.0564 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 1007 0.4543 7.5755 ((1 . 6) (2 . 7) (7 . 12) (8 . 13) (9 . 14)) 1008 0.3636 7.4387 ((1 . 2) (2 . 3) (3 . 5) (11 . 13)) 1034 0.3636 4.4336 ((2 . 21) (3 . 22) (11 . 29) (12 . 31)) 1043 0.3636 5.5649 ((1 . 5) (2 . 6) (10 . 12) (11 . 14)) 1082 0.3634 9.5698 ((2 . 3) (3 . 4) (11 . 9) (12 . 11)) 1084 0.4544 6.3326 ((1 . 6) (2 . 10) (3 . 12) (10 . 18) (12 . 21)) 1121 0.3636 6.5585 ((8 . 2) (9 . 3) (10 . 4) (11 . 6)) 1165 0.3636 5.0292 ((9 . 2) (10 . 3) (11 . 4) (12 . 6)) 1167 0.3636 6.3601 ((3 . 20) (7 . 22) (11 . 27) (12 . 28)) 1169 0.4542 8.1507 ((2 . 29) (3 . 30) (7 . 34) (8 . 35) (9 . 37)) 1195 0.3635 8.0246 ((1 . 1) (2 . 2) (3 . 4) (7 . 6)) 1201 0.3636 7.6809 ((6 . 13) (8 . 14) (9 . 16) (10 . 18)) 1204 0.3636 5.6720 ((1 . 2) (2 . 3) (6 . 6) (10 . 11)) 1211 0.5437 9.9060 ((5 . 7) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 14)) 1217 0.3636 4.7299 ((7 . 5) (8 . 7) (9 . 9) (10 . 12)) 1224 0.4433 6.5488 ((2 . 7) (3 . 9) (6 . 11) (8 . 14) (9 . 15)) 1233 0.3636 6.5945 ((1 . 19) (2 . 20) (7 . 23) (8 . 24)) 1267 0.3636 6.6074 ((2 . 13) (6 . 16) (8 . 17) (10 . 19)) 1268 0.3635 9.2048 ((1 . 14) (5 . 16) (6 . 17) (12 . 19)) 1294 0.3636 6.5288 ((8 . 39) (9 . 40) (11 . 42) (12 . 45)) 1345 0.3636 5.0855 ((6 . 11) (9 . 13) (10 . 14) (11 . 16)) 1366 0.4544 6.2109 ((3 . 16) (6 . 18) (8 . 20) (9 . 21) (10 . 22)) 1388 0.3636 5.3082 ((2 . 1) (8 . 4) (9 . 5) (11 . 8)) 1410 0.3636 5.3743 ((3 . 20) (7 . 22) (8 . 23) (9 . 25)) 1425 0.3636 5.4424 ((7 . 4) (9 . 8) (10 . 10) (11 . 11)) 1435 0.3636 5.5817 ((2 . 3) (3 . 5) (6 . 7) (11 . 11)) 1447 0.3636 4.6327 ((1 . 4) (2 . 5) (6 . 8) (8 . 9)) 1451 0.4541 8.5936 ((1 . 2) (2 . 3) (9 . 8) (10 . 9) (11 . 10)) 1464 0.3636 5.6152 ((3 . 7) (5 . 9) (10 . 13) (11 . 14)) 1472 0.3192 8.3490 ((5 . 3) (8 . 7) (9 . 8) (12 . 11)) 1476 0.3635 7.9203 ((5 . 10) (7 . 11) (11 . 15) (12 . 17)) 1481 0.4433 6.2248 ((2 . 1) (3 . 2) (5 . 3) (7 . 4) (8 . 5)) 1497 0.3635 9.0169 ((1 . 17) (5 . 20) (6 . 21) (12 . 26)) 1501 0.3636 4.8329 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 1513 0.3636 6.9756 ((5 . 9) (8 . 11) (9 . 13) (12 . 16)) 1514 0.3636 6.7901 ((1 . 2) (2 . 3) (3 . 4) (7 . 6)) 1577 0.3636 5.7552 ((6 . 2) (8 . 3) (9 . 4) (10 . 5)) 1591 0.3636 7.1194 ((1 . 3) (2 . 4) (6 . 7) (10 . 8)) 1595 0.3634 10.2876 ((1 . 1) (6 . 6) (8 . 7) (9 . 8)) 1604 0.3636 4.4288 ((2 . 3) (6 . 9) (8 . 10) (10 . 12)) 1622 0.3418 7.5390 ((1 . 17) (5 . 19) (9 . 22) (10 . 23)) 1624 0.2727 7.6566 ((2 . 2) (7 . 7) (8 . 8) (9 . 9)) 1643 0.6361 5.0554 ((2 . 1) (3 . 2) (7 . 32) (8 . 33) (9 . 37) (10 . 38) (11 . 39)) 1644 0.3636 4.9175 ((2 . 48) (3 . 49) (7 . 51) (8 . 52)) 1665 0.3634 10.0407 ((3 . 4) (6 . 7) (8 . 8) (10 . 10)) 1690 0.3636 6.9930 ((2 . 18) (3 . 19) (7 . 21) (10 . 25)) 1692 0.4543 7.4702 ((5 . 4) (7 . 5) (8 . 7) (10 . 8) (11 . 9)) 1731 0.3636 6.7965 ((3 . 3) (5 . 5) (9 . 8) (12 . 11)) 1736 0.3636 5.6554 ((3 . 1) (7 . 3) (9 . 5) (11 . 7)) 1738 0.3636 5.5777 ((7 . 1) (9 . 4) (11 . 6) (12 . 10)) 1747 0.4544 6.7373 ((3 . 6) (8 . 10) (9 . 11) (10 . 12) (11 . 13)) 1756 0.3636 3.3948 ((7 . 22) (8 . 23) (10 . 27) (11 . 28)) 1759 0.3636 4.2019 ((8 . 4) (9 . 5) (10 . 6) (11 . 8)) 1761 0.4544 6.8038 ((7 . 1) (8 . 2) (9 . 3) (10 . 5) (12 . 6)) 1763 0.3636 6.3016 ((1 . 4) (7 . 9) (8 . 10) (11 . 13)) 1776 0.3635 7.8887 ((1 . 6) (2 . 7) (8 . 12) (10 . 14)) 1777 0.3636 7.2579 ((7 . 43) (8 . 45) (9 . 47) (11 . 50)) 1778 0.4544 6.3082 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5)) 1793 0.3636 7.4208 ((2 . 6) (6 . 9) (8 . 10) (10 . 11)) 1805 0.4545 4.8631 ((7 . 2) (8 . 3) (9 . 4) (10 . 7) (11 . 8)) 1808 0.4545 5.7340 ((7 . 4) (8 . 5) (9 . 6) (10 . 8) (11 . 9)) 1817 0.4542 8.1087 ((7 . 14) (9 . 18) (10 . 19) (11 . 20) (12 . 21)) 1867 0.3636 4.2459 ((9 . 3) (10 . 6) (11 . 7) (12 . 8)) 1894 0.4361 7.6143 ((3 . 18) (8 . 21) (9 . 22) (10 . 23) (11 . 25)) 1896 0.3635 8.0689 ((1 . 13) (3 . 17) (6 . 18) (8 . 19)) 1897 0.4543 7.4028 ((2 . 32) (3 . 34) (10 . 39) (11 . 40) (12 . 44)) 1908 0.3636 4.9031 ((6 . 8) (9 . 10) (11 . 15) (12 . 16)) 1909 0.4540 9.1658 ((3 . 25) (5 . 26) (9 . 31) (11 . 34) (12 . 36)) 1913 0.3636 5.1902 ((5 . 2) (7 . 3) (9 . 6) (10 . 7)) 1944 0.4471 8.5884 ((3 . 13) (5 . 14) (7 . 16) (8 . 17) (11 . 22)) 1957 0.3636 5.9735 ((1 . 2) (2 . 3) (6 . 6) (8 . 7)) 1961 0.3636 6.3408 ((5 . 12) (8 . 14) (9 . 15) (10 . 16)) 1967 0.4544 6.6859 ((2 . 1) (3 . 3) (5 . 4) (11 . 10) (12 . 11)) 1972 0.0999 10.0679 ((1 . 17) (9 . 24) (11 . 27) (12 . 25)) 1992 0.3634 9.6398 ((2 . 3) (6 . 8) (9 . 9) (11 . 12)) 1995 0.3636 5.5849 ((3 . 1) (7 . 3) (10 . 7) (11 . 8)) 2003 0.4545 4.2626 ((3 . 4) (8 . 7) (9 . 9) (10 . 10) (11 . 12)) 2006 0.6356 6.6656 ((2 . 2) (3 . 4) (8 . 20) (9 . 21) (10 . 22) (11 . 24) (12 . 27)) 2045 0.2377 7.4638 ((2 . 1) (3 . 2) (7 . 3) (9 . 7)) 2048 0.3635 7.9006 ((1 . 12) (2 . 13) (5 . 15) (8 . 17)) 2054 0.3635 9.2781 ((1 . 4) (5 . 9) (8 . 13) (9 . 14)) 2063 0.4544 6.6071 ((7 . 43) (8 . 44) (9 . 45) (10 . 47) (11 . 48)) 2065 0.3636 4.7457 ((1 . 15) (6 . 20) (8 . 22) (9 . 23)) 2067 0.3636 6.1791 ((2 . 38) (3 . 39) (8 . 44) (9 . 45)) 2072 0.3636 3.6396 ((9 . 5) (10 . 6) (11 . 7) (12 . 8)) 2081 0.4785 8.1432 ((1 . 11) (2 . 12) (5 . 15) (6 . 16) (11 . 20) (12 . 22)) 2083 0.3636 7.2164 ((8 . 1) (9 . 2) (11 . 4) (12 . 6)) 2097 0.3635 9.1599 ((2 . 4) (3 . 5) (10 . 14) (11 . 16)) 2114 0.3636 5.8593 ((8 . 28) (9 . 29) (10 . 32) (11 . 34)) 2116 0.4544 6.4601 ((2 . 3) (3 . 4) (7 . 6) (8 . 7) (9 . 8)) 2117 0.3636 6.3724 ((2 . 16) (3 . 17) (8 . 23) (9 . 25)) 2118 0.4541 8.8302 ((3 . 1) (8 . 4) (9 . 5) (11 . 7) (12 . 8)) 2122 0.3636 4.9930 ((1 . 11) (2 . 12) (7 . 17) (10 . 22)) 2166 0.4544 6.8861 ((2 . 12) (3 . 13) (9 . 15) (10 . 16) (11 . 17)) 2179 0.3636 6.0575 ((1 . 3) (2 . 5) (3 . 6) (10 . 13)) 2196 0.3636 5.3098 ((3 . 12) (8 . 17) (9 . 18) (10 . 19)) 2203 0.3632 11.6342 ((1 . 3) (2 . 6) (3 . 7) (7 . 10)) 2205 0.3636 4.2100 ((3 . 16) (7 . 18) (8 . 19) (9 . 20)) 2209 0.3636 5.6085 ((1 . 2) (2 . 3) (7 . 6) (10 . 9)) 2220 0.3636 6.1921 ((7 . 2) (8 . 3) (9 . 4) (10 . 7)) 2243 0.4540 9.3609 ((2 . 45) (3 . 47) (5 . 48) (9 . 51) (10 . 52)) 2244 0.4544 6.5549 ((2 . 74) (3 . 75) (8 . 78) (9 . 79) (10 . 80)) 2248 0.3635 8.3200 ((1 . 20) (2 . 22) (6 . 26) (9 . 28)) 2249 0.3636 6.4444 ((6 . 10) (7 . 11) (9 . 12) (12 . 14)) 2269 0.4542 8.2419 ((2 . 7) (3 . 8) (5 . 9) (11 . 12) (12 . 13)) 2279 0.3636 5.0193 ((6 . 12) (10 . 19) (11 . 20) (12 . 21)) 2298 0.3636 6.5554 ((5 . 3) (9 . 6) (11 . 8) (12 . 9)) 2308 0.3636 5.6786 ((9 . 4) (10 . 5) (11 . 6) (12 . 7)) 2340 0.3636 4.4422 ((9 . 11) (10 . 13) (11 . 14) (12 . 15)) 2344 0.3636 6.8875 ((2 . 1) (3 . 3) (11 . 10) (12 . 12)) 2364 0.3636 5.6625 ((1 . 6) (2 . 7) (10 . 18) (11 . 19)) 2381 0.3636 4.8491 ((1 . 2) (2 . 3) (3 . 4) (7 . 6)) 2389 0.5452 6.0829 ((2 . 5) (3 . 6) (7 . 8) (8 . 9) (9 . 10) (10 . 11)) 2408 0.4543 7.1828 ((2 . 37) (3 . 38) (8 . 41) (9 . 42) (11 . 46)) 2409 0.3636 5.5407 ((3 . 2) (8 . 5) (9 . 6) (11 . 8)) 2410 0.3419 6.1378 ((5 . 12) (7 . 13) (9 . 16) (10 . 17)) 2422 0.3636 7.6611 ((1 . 2) (2 . 4) (3 . 7) (6 . 10)) 2423 0.3636 4.7494 ((2 . 21) (3 . 22) (8 . 25) (9 . 26)) 2440 0.3636 5.7568 ((9 . 7) (10 . 8) (11 . 9) (12 . 10)) 2443 0.3631 11.9124 ((1 . 3) (5 . 5) (6 . 6) (12 . 9)) 2447 0.4359 9.3653 ((3 . 13) (5 . 14) (9 . 18) (11 . 21) (12 . 22)) 2462 0.3636 4.8565 ((1 . 5) (2 . 6) (9 . 11) (10 . 12)) 2510 0.3636 7.3964 ((1 . 18) (2 . 19) (5 . 22) (8 . 25)) 2525 0.3636 3.7823 ((2 . 41) (8 . 45) (10 . 47) (11 . 48)) 2529 0.3636 5.1025 ((9 . 3) (10 . 5) (11 . 6) (12 . 7)) 2533 0.3636 5.7368 ((5 . 3) (7 . 4) (9 . 6) (11 . 8)) 2544 0.3192 6.3489 ((5 . 18) (9 . 22) (10 . 23) (12 . 24)) 2551 0.3192 5.4235 ((1 . 5) (5 . 8) (6 . 10) (9 . 12)) 2552 0.3635 7.9131 ((6 . 2) (8 . 3) (10 . 5) (12 . 7)) 2556 0.3636 5.8693 ((2 . 11) (3 . 13) (11 . 20) (12 . 21)) 2557 0.3635 8.3622 ((6 . 1) (9 . 3) (11 . 6) (12 . 8)) 2561 0.4544 7.0862 ((2 . 1) (8 . 6) (9 . 7) (10 . 8) (11 . 9)) 2595 0.3636 5.9749 ((1 . 2) (2 . 4) (8 . 9) (10 . 11)) 2619 0.3636 4.0934 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 2627 0.3625 14.6868 ((1 . 57) (5 . 59) (9 . 64) (10 . 65)) 2650 0.3636 7.1402 ((7 . 5) (8 . 6) (9 . 7) (10 . 8)) 2658 0.3419 5.0199 ((1 . 6) (5 . 9) (6 . 11) (9 . 13)) 2675 0.4545 5.6017 ((2 . 3) (3 . 4) (8 . 10) (9 . 11) (10 . 12)) 2682 0.3636 6.3593 ((2 . 12) (3 . 13) (8 . 17) (10 . 19)) 2696 0.4545 5.2798 ((7 . 34) (8 . 35) (9 . 36) (10 . 38) (11 . 39)) 2731 0.3635 8.1800 ((6 . 2) (8 . 4) (9 . 5) (12 . 6)) 2733 0.3636 6.9161 ((2 . 2) (3 . 4) (9 . 8) (11 . 11)) 2755 0.3636 7.3852 ((1 . 4) (2 . 5) (6 . 7) (8 . 8)) 2773 0.3635 9.1370 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 2783 0.4542 7.9876 ((6 . 4) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 2804 0.3636 6.4773 ((2 . 34) (3 . 36) (8 . 38) (9 . 39)) 2821 0.3636 6.3639 ((2 . 2) (3 . 3) (5 . 6) (7 . 7)) 2830 0.3986 10.4604 ((2 . 19) (5 . 21) (9 . 23) (10 . 24) (11 . 25)) 2834 0.3636 5.3906 ((6 . 2) (8 . 3) (9 . 5) (10 . 6)) 2840 0.3636 7.1583 ((2 . 1) (7 . 6) (9 . 8) (11 . 11)) 2842 0.3636 5.1793 ((1 . 3) (2 . 4) (3 . 5) (10 . 9)) 2867 0.3636 5.5577 ((1 . 3) (7 . 7) (8 . 8) (11 . 12)) 2879 0.3636 5.0083 ((3 . 51) (9 . 56) (10 . 57) (11 . 58)) 2886 0.4544 6.4789 ((2 . 33) (3 . 34) (7 . 37) (8 . 38) (9 . 39)) 2929 0.3636 7.5105 ((8 . 36) (10 . 39) (11 . 40) (12 . 41)) 2940 0.4544 7.0654 ((3 . 1) (5 . 2) (10 . 5) (11 . 6) (12 . 9)) 2947 0.4544 6.6785 ((1 . 5) (2 . 6) (3 . 7) (9 . 12) (10 . 13)) 2966 0.4544 6.4837 ((1 . 2) (2 . 3) (3 . 4) (9 . 10) (10 . 12)) 2990 0.3636 7.6852 ((2 . 15) (3 . 16) (6 . 18) (8 . 19)) 2999 0.3636 4.8136 ((5 . 3) (7 . 4) (9 . 6) (10 . 7)) 3014 0.3634 9.8592 ((1 . 12) (5 . 14) (6 . 15) (12 . 18)) 3019 0.3636 4.8135 ((9 . 9) (10 . 10) (11 . 11) (12 . 12)) 3034 0.3635 8.7302 ((7 . 1) (9 . 5) (11 . 7) (12 . 8)) 3041 0.4229 9.5802 ((3 . 14) (7 . 16) (8 . 18) (9 . 22) (10 . 24)) 3055 0.3636 6.0532 ((2 . 11) (3 . 12) (10 . 19) (11 . 20)) 3063 0.3636 5.5815 ((5 . 34) (9 . 37) (10 . 38) (11 . 39)) 3070 0.3636 5.6405 ((6 . 31) (8 . 32) (9 . 33) (11 . 35)) 3084 0.3636 5.7522 ((1 . 4) (2 . 5) (6 . 8) (10 . 11)) 3102 0.4545 5.6205 ((3 . 62) (8 . 65) (9 . 67) (10 . 68) (11 . 69)) 3103 0.4540 9.2117 ((2 . 2) (3 . 3) (6 . 6) (11 . 11) (12 . 12)) 3114 0.3636 7.1198 ((7 . 22) (9 . 24) (10 . 25) (12 . 28)) 3120 0.3635 9.3421 ((1 . 20) (2 . 21) (3 . 22) (5 . 24)) 3127 0.3636 5.4315 ((1 . 7) (2 . 8) (6 . 12) (8 . 13)) 3147 0.4545 4.7278 ((7 . 4) (8 . 5) (9 . 6) (10 . 7) (11 . 8)) 3176 0.3636 6.6383 ((1 . 22) (8 . 27) (9 . 29) (12 . 31)) 3187 0.4545 5.5405 ((2 . 1) (3 . 2) (7 . 4) (9 . 6) (12 . 8)) 3190 0.3636 6.1443 ((1 . 2) (2 . 3) (6 . 7) (10 . 11)) 3197 0.3635 8.1540 ((3 . 21) (5 . 22) (9 . 26) (11 . 28)) 3200 0.4545 5.5285 ((1 . 8) (2 . 9) (3 . 11) (10 . 16) (11 . 18)) 3202 0.3606 18.9275 ((6 . 14) (10 . 18) (11 . 19) (12 . 20)) 3212 0.3636 5.5629 ((2 . 2) (3 . 3) (6 . 7) (9 . 9)) 3222 0.4542 8.4259 ((2 . 6) (7 . 10) (10 . 15) (11 . 16) (12 . 17)) 3256 0.3636 5.2111 ((2 . 18) (7 . 24) (9 . 26) (10 . 28)) 3261 0.4542 8.3674 ((2 . 3) (5 . 5) (8 . 7) (9 . 8) (10 . 9)) 3286 0.3636 7.0937 ((7 . 4) (8 . 5) (10 . 7) (12 . 10)) 3289 0.3636 4.5274 ((7 . 25) (8 . 27) (10 . 29) (11 . 30)) 3297 0.4543 7.7155 ((7 . 3) (8 . 4) (9 . 5) (10 . 7) (11 . 8)) 3300 0.3636 2.9664 ((7 . 1) (8 . 2) (9 . 4) (10 . 5)) 3322 0.3636 5.8958 ((6 . 4) (8 . 5) (10 . 7) (12 . 10)) 3334 0.4542 8.0403 ((3 . 1) (8 . 4) (9 . 5) (10 . 6) (12 . 9)) 3339 0.3636 5.4771 ((1 . 16) (2 . 17) (8 . 21) (9 . 22)) 3344 0.3636 6.7315 ((2 . 18) (3 . 20) (9 . 24) (11 . 27)) 3358 0.3636 7.0980 ((7 . 2) (9 . 4) (11 . 7) (12 . 9)) 3362 0.3636 6.6397 ((1 . 9) (2 . 10) (3 . 11) (5 . 13)) 3366 0.3636 7.2919 ((3 . 22) (9 . 26) (10 . 27) (11 . 28)) 3391 0.3636 6.6797 ((1 . 7) (2 . 8) (6 . 12) (8 . 13)) 3410 0.3636 6.2415 ((2 . 19) (6 . 23) (8 . 24) (10 . 28)) 3418 0.3635 7.9400 ((1 . 1) (2 . 2) (3 . 5) (7 . 7)) 3446 0.3635 7.9543 ((1 . 4) (2 . 5) (3 . 6) (12 . 12)) 3472 0.4363 3.1922 ((3 . 1) (8 . 5) (9 . 6) (10 . 8) (11 . 9)) 3481 0.3636 6.0016 ((1 . 3) (2 . 4) (3 . 7) (10 . 12)) 3489 0.3636 5.4343 ((2 . 1) (3 . 2) (7 . 4) (11 . 10)) 3495 0.3636 6.6459 ((2 . 7) (3 . 8) (11 . 16) (12 . 17)) 3496 0.3636 6.6000 ((1 . 21) (2 . 22) (3 . 23) (11 . 29)) 3533 0.3635 8.5646 ((5 . 6) (8 . 8) (9 . 10) (10 . 11)) 3537 0.3418 9.2982 ((2 . 9) (3 . 10) (5 . 11) (6 . 12)) 3538 0.3636 6.5522 ((1 . 16) (5 . 17) (7 . 18) (8 . 20)) 3548 0.4545 5.6820 ((2 . 3) (3 . 4) (7 . 6) (8 . 8) (9 . 9)) 3549 0.3636 5.2723 ((2 . 1) (7 . 3) (8 . 5) (11 . 8)) 3561 0.4545 5.0637 ((5 . 25) (7 . 26) (9 . 28) (10 . 30) (11 . 31)) 3570 0.3636 5.8870 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 3585 0.5438 9.7691 ((3 . 6) (5 . 7) (8 . 11) (9 . 12) (10 . 13) (11 . 14)) 3613 0.3632 11.4233 ((1 . 31) (8 . 35) (9 . 36) (12 . 39)) 3625 0.3636 5.6084 ((8 . 1) (9 . 2) (10 . 3) (11 . 5)) 3626 0.4545 5.8082 ((7 . 2) (8 . 3) (9 . 6) (10 . 8) (11 . 11)) 3628 0.4542 8.4206 ((5 . 7) (7 . 8) (9 . 10) (11 . 12) (12 . 13)) 3651 0.3636 7.6214 ((2 . 9) (3 . 11) (6 . 14) (11 . 21)) 3656 0.3634 9.3765 ((1 . 20) (3 . 22) (7 . 24) (8 . 23)) 3658 0.4543 7.5610 ((8 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 3659 0.4544 7.0806 ((6 . 3) (9 . 5) (10 . 7) (11 . 8) (12 . 14)) 3661 0.3635 9.0340 ((6 . 21) (9 . 23) (10 . 24) (12 . 25)) 3663 0.3636 5.6306 ((9 . 1) (10 . 2) (11 . 5) (12 . 6)) 3688 0.3635 8.7817 ((2 . 30) (3 . 32) (9 . 37) (11 . 38)) 3697 0.3636 5.9566 ((9 . 1) (10 . 3) (11 . 4) (12 . 5)) 3703 0.4544 7.0319 ((8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 3732 0.3636 5.5845 ((8 . 2) (9 . 3) (11 . 7) (12 . 8)) 3733 0.3636 7.1985 ((3 . 1) (5 . 2) (9 . 6) (11 . 8)) 3740 0.5438 9.6975 ((2 . 1) (3 . 2) (8 . 5) (9 . 6) (10 . 7) (11 . 9)) 3741 0.3636 5.0363 ((9 . 1) (10 . 2) (11 . 3) (12 . 5)) 3776 0.3636 6.7067 ((1 . 16) (2 . 17) (6 . 23) (8 . 24)) 3778 0.4537 10.4617 ((7 . 2) (8 . 3) (9 . 4) (11 . 6) (12 . 8)) 3787 0.4541 9.0046 ((5 . 18) (7 . 19) (9 . 21) (11 . 23) (12 . 24)) 3790 0.4545 4.4332 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5)) 3807 0.3636 7.5043 ((8 . 43) (9 . 46) (10 . 47) (12 . 49)) 3810 0.4545 3.5188 ((7 . 4) (8 . 8) (9 . 9) (10 . 10) (11 . 11)) 3817 0.3635 8.6198 ((1 . 6) (2 . 7) (8 . 10) (9 . 11)) 3818 0.3635 8.8778 ((1 . 21) (2 . 23) (8 . 28) (9 . 29)) 3829 0.1649 13.3586 ((3 . 2) (5 . 3) (8 . 5) (12 . 10)) 3831 0.3635 8.4207 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 3834 0.3633 10.9327 ((1 . 2) (5 . 4) (6 . 5) (12 . 8)) 3847 0.0999 5.8317 ((2 . 9) (5 . 10) (10 . 16) (11 . 17)) 3849 0.2726 12.4085 ((2 . 3) (3 . 5) (6 . 7) (8 . 8)) 3853 0.3636 6.5832 ((1 . 13) (2 . 14) (5 . 19) (6 . 20)) 3870 0.3635 7.7672 ((6 . 4) (9 . 5) (11 . 8) (12 . 9)) 3933 0.4474 5.8312 ((1 . 4) (7 . 11) (8 . 13) (10 . 17) (11 . 18)) 3938 0.4545 5.1407 ((3 . 2) (6 . 5) (8 . 6) (9 . 8) (10 . 9)) 3942 0.3635 9.2304 ((2 . 2) (3 . 3) (5 . 6) (8 . 9)) 3968 0.3636 6.6776 ((1 . 4) (2 . 5) (6 . 10) (8 . 11)) 3986 0.3636 6.2080 ((5 . 19) (6 . 20) (8 . 21) (10 . 26)) 3990 0.3636 6.3588 ((2 . 18) (8 . 23) (9 . 24) (10 . 26)) 4005 0.4545 5.6638 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 14)) 4009 0.3636 5.2842 ((1 . 6) (2 . 7) (6 . 10) (8 . 11)) 4019 0.4544 6.0322 ((2 . 42) (3 . 43) (9 . 46) (10 . 47) (12 . 52)) 4034 0.4545 5.5388 ((1 . 3) (2 . 5) (3 . 6) (9 . 9) (10 . 10)) 4037 0.3636 6.0094 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 4062 0.4544 7.0640 ((1 . 34) (9 . 48) (10 . 49) (11 . 50) (12 . 52)) 4067 0.3636 6.3518 ((1 . 15) (2 . 16) (8 . 22) (10 . 24)) 4077 0.3634 10.1461 ((1 . 13) (5 . 14) (6 . 15) (12 . 18)) 4082 0.3636 5.2090 ((8 . 5) (9 . 6) (10 . 7) (11 . 8)) 4087 0.4544 6.9907 ((7 . 1) (8 . 3) (9 . 5) (10 . 6) (11 . 7)) 4112 0.3636 4.7352 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 4115 0.4540 9.1124 ((5 . 14) (7 . 15) (9 . 17) (11 . 19) (12 . 21)) 4140 0.3636 5.5518 ((8 . 21) (9 . 22) (10 . 23) (12 . 26)) 4151 0.4544 6.0242 ((6 . 2) (7 . 3) (9 . 5) (11 . 7) (12 . 8)) 4154 0.3636 2.7687 ((8 . 52) (9 . 53) (10 . 56) (11 . 57)) 4177 0.5453 5.4377 ((2 . 1) (3 . 2) (5 . 4) (9 . 7) (10 . 8) (11 . 9)) 4190 0.3636 6.8886 ((2 . 1) (3 . 3) (10 . 8) (11 . 9)) 4192 0.3636 4.8312 ((1 . 14) (2 . 15) (5 . 18) (7 . 19)) 4194 0.3636 5.8058 ((7 . 1) (9 . 3) (11 . 5) (12 . 8)) 4195 0.3626 14.5009 ((1 . 7) (5 . 8) (6 . 10) (12 . 12)) 4204 0.4230 8.5079 ((1 . 6) (2 . 9) (6 . 12) (8 . 14) (9 . 15)) 4209 0.3636 5.7910 ((2 . 1) (3 . 2) (8 . 5) (9 . 7)) 4210 0.4541 8.9774 ((5 . 1) (9 . 4) (10 . 5) (11 . 6) (12 . 7)) 4226 0.4545 4.4815 ((1 . 10) (2 . 11) (3 . 12) (9 . 18) (10 . 19)) 4232 0.3634 10.3310 ((2 . 3) (3 . 4) (8 . 6) (11 . 8)) 4236 0.3636 5.4883 ((7 . 6) (8 . 7) (9 . 8) (12 . 13)) 4246 0.3636 7.3005 ((8 . 5) (9 . 6) (10 . 8) (12 . 10)) 4254 0.3636 7.3110 ((8 . 9) (9 . 11) (11 . 13) (12 . 14)) 4255 0.3636 6.0850 ((6 . 22) (8 . 23) (9 . 24) (11 . 26)) 4257 0.3636 5.5095 ((1 . 2) (2 . 3) (8 . 8) (10 . 11)) 4261 0.3417 9.4527 ((1 . 10) (5 . 13) (6 . 14) (12 . 17)) 4265 0.3635 8.9238 ((3 . 21) (5 . 22) (11 . 29) (12 . 30)) 4266 0.3636 5.3212 ((1 . 1) (2 . 2) (8 . 6) (10 . 8)) 4274 0.3636 4.8100 ((5 . 37) (7 . 38) (9 . 40) (10 . 41)) 4275 0.3636 4.7365 ((5 . 24) (7 . 25) (8 . 27) (9 . 28)) 4281 0.4543 7.8090 ((2 . 3) (3 . 4) (5 . 7) (10 . 10) (12 . 14)) 4284 0.3636 6.1081 ((6 . 7) (8 . 8) (9 . 9) (10 . 10)) 4299 0.3635 8.3314 ((1 . 10) (2 . 11) (9 . 19) (10 . 20)) 4301 0.4231 7.6960 ((2 . 1) (8 . 6) (9 . 8) (10 . 9) (11 . 10)) 4326 0.3636 6.8951 ((1 . 8) (2 . 10) (8 . 17) (10 . 19)) 4332 0.3636 5.8521 ((2 . 2) (3 . 4) (7 . 6) (11 . 9)) 4338 0.3636 5.1956 ((9 . 6) (10 . 7) (11 . 8) (12 . 9)) 4352 0.3630 12.9123 ((5 . 5) (6 . 6) (8 . 9) (12 . 13)) 4359 0.5453 5.1139 ((2 . 3) (3 . 4) (8 . 22) (9 . 23) (10 . 27) (11 . 28)) 4380 0.4545 5.8421 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 6)) 4383 0.3636 4.8417 ((2 . 14) (3 . 15) (9 . 19) (11 . 21)) 4386 0.3635 9.2936 ((6 . 17) (9 . 18) (10 . 19) (12 . 20)) 4388 0.3636 5.3805 ((6 . 4) (8 . 5) (9 . 6) (11 . 9)) 4398 0.3636 6.0412 ((1 . 5) (2 . 6) (3 . 7) (6 . 11)) 4405 0.4539 9.6454 ((1 . 17) (2 . 18) (3 . 19) (7 . 21) (10 . 25)) 4408 0.4544 6.6488 ((1 . 5) (2 . 6) (3 . 7) (9 . 13) (10 . 14)) 4415 0.4543 7.7454 ((1 . 2) (2 . 3) (3 . 4) (9 . 9) (11 . 11)) 4419 0.4542 8.4382 ((1 . 2) (2 . 3) (8 . 8) (9 . 9) (10 . 10)) 4426 0.3635 8.9336 ((6 . 1) (9 . 2) (11 . 4) (12 . 5)) 4470 0.4545 5.9330 ((2 . 14) (8 . 18) (9 . 19) (10 . 20) (12 . 23)) 4491 0.3635 9.2289 ((8 . 1) (10 . 5) (11 . 6) (12 . 7)) 4492 0.3636 3.6589 ((7 . 4) (8 . 5) (9 . 7) (10 . 8)) 4495 0.3635 7.8449 ((5 . 5) (9 . 8) (11 . 10) (12 . 11)) 4497 0.4545 5.7864 ((3 . 18) (5 . 20) (9 . 24) (10 . 25) (11 . 26)) 4502 0.4540 9.0728 ((3 . 6) (5 . 7) (9 . 11) (11 . 14) (12 . 16)) 4503 0.3636 6.4110 ((2 . 3) (3 . 4) (7 . 8) (9 . 10)) 4504 0.3988 9.4459 ((6 . 18) (8 . 20) (9 . 21) (10 . 22) (12 . 24)) 4505 0.3636 6.2361 ((7 . 26) (9 . 28) (11 . 30) (12 . 31)) 4516 0.3633 10.7715 ((1 . 31) (2 . 32) (5 . 35) (7 . 37)) 4527 0.3635 8.5898 ((3 . 1) (5 . 2) (9 . 6) (10 . 7)) 4538 0.3636 6.1917 ((3 . 30) (8 . 33) (9 . 37) (10 . 38)) 4551 0.3636 6.1708 ((1 . 7) (2 . 8) (10 . 17) (11 . 18)) 4560 0.4541 8.7806 ((3 . 6) (5 . 7) (7 . 8) (9 . 11) (12 . 12)) 4561 0.3636 5.8476 ((1 . 6) (2 . 7) (6 . 11) (8 . 12)) 4562 0.3636 5.7436 ((1 . 21) (2 . 22) (6 . 28) (8 . 29)) 4563 0.3636 6.9999 ((6 . 25) (9 . 26) (11 . 28) (12 . 30)) 4577 0.4541 9.0115 ((2 . 37) (3 . 38) (8 . 41) (9 . 42) (10 . 43)) 4579 0.3630 12.8538 ((1 . 11) (8 . 17) (9 . 18) (12 . 23)) 4588 0.3636 6.2836 ((5 . 4) (7 . 7) (8 . 8) (9 . 9)) 4589 0.4544 6.9036 ((3 . 22) (6 . 24) (8 . 25) (10 . 29) (11 . 30)) 4607 0.3635 7.7452 ((6 . 2) (9 . 3) (10 . 4) (12 . 8)) 4621 0.3636 4.6758 ((2 . 3) (3 . 4) (9 . 9) (10 . 11)) 4630 0.3636 6.0621 ((3 . 35) (7 . 38) (9 . 41) (10 . 42)) 4648 0.3636 6.4074 ((7 . 1) (8 . 2) (10 . 5) (12 . 7)) 4653 0.4544 6.1138 ((2 . 1) (3 . 3) (8 . 7) (9 . 8) (10 . 9)) 4665 0.3636 1.8371 ((7 . 11) (8 . 12) (9 . 13) (10 . 14)) 4668 0.3636 5.3959 ((9 . 1) (10 . 3) (11 . 5) (12 . 6)) 4669 0.3636 6.1327 ((3 . 15) (5 . 16) (11 . 21) (12 . 22)) 4671 0.3636 7.2104 ((8 . 1) (9 . 2) (11 . 4) (12 . 5)) 4674 0.4545 5.2431 ((2 . 1) (3 . 2) (5 . 4) (10 . 8) (11 . 9)) 4678 0.3635 9.0110 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 4713 0.3636 5.8920 ((3 . 6) (7 . 8) (8 . 9) (12 . 11)) 4715 0.2727 7.8379 ((1 . 2) (2 . 6) (5 . 7) (6 . 9)) 4716 0.1957 9.6766 ((1 . 3) (5 . 5) (6 . 6) (12 . 10)) 4731 0.4543 7.4858 ((1 . 17) (2 . 18) (8 . 22) (9 . 23) (10 . 24)) 4764 0.3410 15.0639 ((1 . 5) (5 . 8) (6 . 9) (12 . 14)) 4857 0.3636 7.0297 ((8 . 9) (9 . 11) (11 . 13) (12 . 14)) 4886 0.3636 4.0211 ((8 . 29) (9 . 30) (10 . 31) (11 . 32)) 4888 0.3636 5.0705 ((5 . 2) (6 . 3) (11 . 9) (12 . 11)) 4889 0.3636 5.8672 ((7 . 2) (8 . 3) (9 . 4) (11 . 6)) 4907 0.4545 5.4667 ((7 . 1) (8 . 3) (9 . 4) (10 . 7) (11 . 8)) 4914 0.4542 8.1546 ((2 . 5) (3 . 6) (7 . 10) (8 . 11) (9 . 12)) 4921 0.3636 7.0283 ((1 . 11) (2 . 12) (3 . 14) (8 . 17)) 4929 0.3636 7.2083 ((3 . 26) (7 . 29) (8 . 31) (9 . 32)) 4932 0.3636 7.1280 ((2 . 4) (6 . 7) (8 . 8) (10 . 10)) 4940 0.3636 6.5142 ((1 . 5) (2 . 6) (3 . 7) (8 . 9)) 4944 0.4544 7.0142 ((2 . 11) (7 . 13) (8 . 14) (9 . 15) (10 . 16)) 4961 0.4540 9.4505 ((1 . 13) (2 . 14) (3 . 15) (6 . 18) (8 . 20)) 4978 0.4542 8.0284 ((2 . 18) (6 . 20) (10 . 21) (11 . 22) (12 . 26)) 4982 0.3636 5.7513 ((1 . 5) (2 . 8) (11 . 18) (12 . 19)) 4992 0.3636 5.5884 ((2 . 3) (6 . 7) (10 . 8) (11 . 9)) 4998 0.3631 11.9517 ((5 . 17) (8 . 20) (11 . 23) (12 . 24)) 5000 0.3621 15.9036 ((1 . 32) (5 . 35) (6 . 36) (12 . 38)) 5029 0.3636 6.1786 ((9 . 2) (10 . 4) (11 . 6) (12 . 7)) 5036 0.4545 5.0005 ((2 . 1) (3 . 2) (8 . 7) (9 . 8) (11 . 10)) 5038 0.4543 7.6726 ((7 . 12) (8 . 14) (9 . 15) (10 . 16) (11 . 18)) 5039 0.3636 5.4214 ((1 . 36) (2 . 37) (10 . 44) (11 . 45)) 5044 0.1327 8.0023 ((2 . 3) (3 . 8) (7 . 9) (10 . 14)) 5046 0.4543 7.6130 ((3 . 1) (7 . 4) (8 . 7) (10 . 8) (12 . 9)) 5053 0.3636 5.5620 ((1 . 8) (2 . 9) (3 . 10) (10 . 15)) 5065 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 5068 0.3635 8.4844 ((8 . 4) (9 . 7) (11 . 10) (12 . 11)) 5069 0.4544 6.5083 ((1 . 1) (2 . 2) (7 . 5) (8 . 7) (10 . 9)) 5073 0.3636 6.0277 ((6 . 31) (9 . 32) (11 . 34) (12 . 35)) 5080 0.2727 9.2883 ((2 . 3) (5 . 6) (6 . 7) (12 . 13)) 5083 0.3419 6.0660 ((7 . 1) (8 . 2) (10 . 5) (11 . 6)) 5101 0.4538 9.8845 ((3 . 3) (5 . 4) (9 . 7) (11 . 9) (12 . 11)) 5103 0.4542 8.2831 ((3 . 13) (5 . 14) (9 . 17) (11 . 19) (12 . 20)) 5121 0.3636 6.6652 ((6 . 23) (9 . 25) (10 . 26) (11 . 27)) 5132 0.3636 6.1016 ((2 . 16) (6 . 19) (8 . 20) (10 . 22)) 5134 0.4544 6.0781 ((1 . 5) (2 . 6) (7 . 10) (10 . 14) (12 . 16)) 5145 0.3636 6.3815 ((2 . 3) (6 . 7) (8 . 8) (9 . 10)) 5167 0.3636 7.1947 ((6 . 2) (9 . 3) (10 . 4) (12 . 7)) 5176 0.3636 5.1329 ((1 . 85) (2 . 86) (3 . 87) (11 . 91)) 5183 0.3636 4.8966 ((9 . 34) (10 . 35) (11 . 36) (12 . 39)) 5192 0.3636 7.4399 ((7 . 1) (9 . 3) (11 . 5) (12 . 6)) 5198 0.3636 4.6204 ((6 . 25) (7 . 26) (10 . 31) (11 . 32)) 5199 0.3635 8.9568 ((2 . 7) (3 . 8) (8 . 9) (9 . 10)) 5209 0.4543 7.8493 ((5 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 5212 0.3635 8.9183 ((1 . 12) (5 . 14) (6 . 15) (12 . 18)) 5215 0.3636 4.9622 ((2 . 2) (3 . 12) (8 . 15) (9 . 16)) 5223 0.3636 6.0476 ((7 . 8) (9 . 10) (11 . 12) (12 . 14)) 5231 0.4544 6.8585 ((7 . 12) (8 . 13) (9 . 14) (10 . 16) (12 . 17)) 5266 0.3636 5.6951 ((6 . 9) (8 . 10) (10 . 13) (11 . 15)) 5278 0.4544 6.2514 ((2 . 2) (3 . 5) (8 . 8) (9 . 9) (10 . 10)) 5307 0.4543 7.8795 ((5 . 52) (7 . 53) (9 . 55) (10 . 57) (11 . 58)) 5312 0.3636 4.9972 ((2 . 1) (3 . 2) (7 . 4) (9 . 7)) 5318 0.3418 9.0243 ((1 . 17) (5 . 20) (9 . 22) (10 . 23)) 5323 0.3629 13.3513 ((1 . 9) (2 . 10) (3 . 11) (12 . 18)) 5324 0.3636 5.1984 ((1 . 11) (2 . 12) (8 . 15) (9 . 16)) 5344 0.4538 9.9738 ((2 . 3) (3 . 4) (8 . 7) (10 . 9) (11 . 10)) 5345 0.3636 3.6298 ((7 . 12) (8 . 13) (9 . 14) (10 . 15)) 5368 0.4545 4.0655 ((5 . 40) (8 . 45) (9 . 46) (10 . 47) (11 . 48)) 5378 0.3636 6.0235 ((6 . 1) (8 . 3) (10 . 4) (11 . 6)) 5411 0.3636 5.3009 ((1 . 1) (8 . 6) (9 . 8) (12 . 9)) 5414 0.5453 5.4023 ((2 . 14) (3 . 15) (7 . 18) (9 . 20) (10 . 21) (11 . 22)) 5418 0.1957 8.7485 ((8 . 2) (9 . 3) (11 . 5) (12 . 10)) 5421 0.3556 7.2246 ((7 . 1) (8 . 2) (9 . 3) (10 . 5) (11 . 4)) 5433 0.3636 6.0185 ((7 . 14) (8 . 16) (10 . 18) (12 . 24)) 5442 0.3418 8.6366 ((1 . 32) (5 . 35) (6 . 36) (12 . 39)) 5479 0.4543 7.3897 ((2 . 68) (3 . 69) (7 . 71) (8 . 72) (10 . 74)) 5487 0.3636 6.9845 ((1 . 5) (2 . 7) (6 . 10) (8 . 11)) 5489 0.3636 5.5288 ((2 . 5) (3 . 6) (7 . 9) (8 . 10)) 5500 0.3636 6.3467 ((2 . 2) (3 . 3) (5 . 6) (7 . 7)) 5501 0.3636 5.1247 ((1 . 21) (9 . 24) (10 . 25) (12 . 26)) 5525 0.3418 8.5463 ((5 . 3) (8 . 7) (9 . 8) (12 . 11)) 5535 0.3989 7.6593 ((3 . 4) (9 . 10) (10 . 11) (11 . 12) (12 . 13)) 5540 0.3635 8.8643 ((7 . 6) (8 . 7) (9 . 8) (12 . 13)) 5557 0.4544 6.4770 ((7 . 2) (8 . 3) (9 . 4) (11 . 6) (12 . 7)) 5560 0.3636 5.3333 ((1 . 21) (2 . 22) (3 . 23) (5 . 24)) 5562 0.3636 6.7871 ((2 . 6) (3 . 7) (11 . 14) (12 . 15)) 5567 0.3636 7.1195 ((1 . 14) (2 . 15) (7 . 18) (8 . 19)) 5594 0.4540 9.1771 ((2 . 3) (3 . 4) (9 . 9) (11 . 12) (12 . 13)) 5600 0.3636 5.7611 ((6 . 4) (8 . 5) (9 . 6) (11 . 9)) 5601 0.3636 6.0321 ((7 . 3) (9 . 5) (11 . 7) (12 . 9)) 5638 0.3636 7.7138 ((8 . 7) (9 . 8) (10 . 9) (12 . 12)) 5640 0.5453 5.2387 ((2 . 21) (3 . 22) (8 . 23) (9 . 24) (10 . 25) (11 . 26)) 5644 0.3636 6.4786 ((3 . 8) (7 . 10) (8 . 11) (9 . 12)) 5656 0.3636 5.8473 ((9 . 21) (10 . 23) (11 . 24) (12 . 25)) 5689 0.3190 11.3908 ((1 . 8) (5 . 11) (6 . 12) (12 . 16)) 5700 0.4545 4.7189 ((2 . 2) (8 . 4) (9 . 8) (10 . 9) (11 . 11)) 5701 0.3636 5.2803 ((9 . 4) (10 . 5) (11 . 6) (12 . 7)) 5703 0.3636 5.9255 ((3 . 1) (5 . 3) (8 . 5) (9 . 6)) 5711 0.4544 6.2475 ((2 . 33) (3 . 35) (8 . 39) (9 . 42) (10 . 43)) 5713 0.4545 5.1174 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5)) 5718 0.4544 6.7695 ((2 . 14) (8 . 21) (9 . 23) (10 . 24) (11 . 25)) 5731 0.3636 6.4307 ((7 . 9) (8 . 10) (9 . 11) (10 . 13)) 5746 0.3636 4.7356 ((1 . 4) (2 . 6) (3 . 7) (9 . 13)) 5749 0.5032 9.7648 ((6 . 2) (8 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 8)) 5761 0.2728 6.2626 ((5 . 29) (8 . 31) (9 . 32) (11 . 36)) 5770 0.3636 5.1177 ((5 . 5) (8 . 6) (10 . 9) (11 . 12)) 5771 0.3635 8.0162 ((1 . 8) (2 . 9) (7 . 14) (10 . 17)) 5782 0.4537 10.3937 ((2 . 26) (3 . 27) (5 . 28) (10 . 34) (12 . 36)) 5794 0.4543 7.7476 ((7 . 15) (8 . 16) (10 . 18) (11 . 19) (12 . 22)) 5795 0.3635 8.0281 ((3 . 6) (9 . 10) (11 . 13) (12 . 15)) 5809 0.3636 4.6892 ((1 . 8) (2 . 9) (8 . 14) (9 . 15)) 5822 0.3636 5.5324 ((2 . 1) (3 . 2) (9 . 7) (10 . 8)) 5827 0.4544 6.5887 ((7 . 15) (8 . 16) (9 . 17) (11 . 19) (12 . 20)) 5830 0.2728 5.8418 ((1 . 9) (2 . 10) (5 . 11) (10 . 17)) 5847 0.4545 5.0490 ((2 . 1) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 5861 0.4545 5.4485 ((2 . 6) (3 . 7) (8 . 11) (9 . 12) (11 . 15)) 5878 0.3635 9.0151 ((6 . 24) (9 . 26) (10 . 29) (11 . 30)) 5888 0.4545 4.6910 ((7 . 19) (8 . 20) (9 . 21) (10 . 22) (11 . 23)) 5896 0.3636 5.3827 ((6 . 27) (8 . 28) (9 . 29) (11 . 31)) 5904 0.3636 6.3678 ((3 . 7) (5 . 8) (7 . 9) (9 . 11)) 5913 0.3636 3.9602 ((5 . 1) (6 . 4) (9 . 6) (10 . 7)) 5914 0.2377 8.2450 ((3 . 2) (6 . 4) (8 . 5) (9 . 6)) 5922 0.3636 6.1873 ((3 . 4) (8 . 8) (9 . 9) (11 . 11)) 5930 0.3636 7.0825 ((3 . 4) (9 . 8) (10 . 9) (11 . 11)) 5939 0.3635 8.3391 ((1 . 3) (2 . 4) (5 . 7) (7 . 9)) 5945 0.3636 4.9612 ((6 . 10) (8 . 11) (10 . 13) (11 . 14)) 5949 0.4542 8.2476 ((3 . 1) (5 . 2) (7 . 4) (11 . 9) (12 . 11)) 5955 0.4544 5.9999 ((2 . 9) (6 . 13) (9 . 16) (10 . 17) (12 . 19)) 5967 0.3636 6.3142 ((6 . 2) (8 . 3) (10 . 7) (12 . 10)) 5972 0.3636 6.8309 ((6 . 4) (10 . 6) (11 . 7) (12 . 8)) 5977 0.3636 7.1674 ((6 . 2) (8 . 3) (10 . 5) (11 . 6)) 6000 0.3635 8.0657 ((1 . 2) (3 . 4) (11 . 9) (12 . 11)) 6011 0.4544 6.8713 ((2 . 8) (3 . 9) (8 . 13) (9 . 14) (10 . 15)) 6022 0.3636 4.7011 ((7 . 1) (9 . 2) (10 . 4) (11 . 5)) 6028 0.2377 9.3392 ((2 . 3) (5 . 4) (6 . 8) (8 . 9)) 6029 0.3636 5.4032 ((2 . 17) (3 . 18) (6 . 20) (8 . 21)) 6041 0.4544 6.2010 ((1 . 6) (2 . 8) (8 . 12) (9 . 13) (11 . 15)) 6046 0.5445 8.3962 ((6 . 1) (8 . 2) (9 . 3) (10 . 5) (11 . 6) (12 . 7)) 6061 0.3636 3.4508 ((2 . 13) (3 . 14) (10 . 20) (11 . 21)) 6074 0.4358 9.8561 ((5 . 3) (7 . 4) (9 . 6) (11 . 8) (12 . 10)) 6075 0.3636 7.5069 ((1 . 16) (6 . 22) (9 . 24) (11 . 28)) 6079 0.3636 5.7103 ((1 . 16) (5 . 19) (7 . 20) (8 . 21)) 6087 0.1957 8.3234 ((5 . 2) (7 . 3) (11 . 8) (12 . 9)) 6089 0.3636 6.4233 ((1 . 2) (2 . 3) (6 . 6) (10 . 11)) 6094 0.4542 8.2907 ((2 . 10) (3 . 11) (7 . 14) (8 . 15) (9 . 16)) 6099 0.6362 4.5928 ((1 . 19) (2 . 22) (3 . 23) (8 . 24) (9 . 25) (10 . 26) (11 . 27)) 6123 0.3636 6.5980 ((7 . 3) (8 . 4) (9 . 5) (12 . 7)) 6142 0.4545 5.0257 ((7 . 13) (8 . 14) (9 . 15) (10 . 16) (11 . 18)) 6148 0.3636 7.4510 ((2 . 33) (3 . 34) (7 . 36) (8 . 37)) 6167 0.3636 5.3968 ((7 . 12) (8 . 14) (10 . 20) (11 . 21)) 6173 0.4542 8.5077 ((3 . 3) (9 . 8) (10 . 9) (11 . 11) (12 . 14)) 6191 0.4537 10.2768 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (10 . 10)) 6192 0.3636 7.4723 ((1 . 2) (2 . 3) (9 . 10) (10 . 11)) 6215 0.3636 6.6712 ((7 . 17) (9 . 19) (10 . 20) (12 . 23)) 6225 0.3636 5.9659 ((3 . 3) (7 . 5) (11 . 10) (12 . 11)) 6228 0.3636 6.7299 ((3 . 1) (7 . 3) (11 . 7) (12 . 8)) 6234 0.4545 5.7889 ((7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 13)) 6238 0.7271 3.7747 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 6243 0.3636 5.2418 ((8 . 2) (9 . 3) (11 . 8) (12 . 9)) 6251 0.3636 4.4315 ((1 . 9) (2 . 10) (8 . 15) (10 . 17)) 6258 0.3635 8.2806 ((1 . 2) (9 . 10) (11 . 12) (12 . 14)) 6261 0.3636 6.2392 ((1 . 18) (2 . 19) (3 . 21) (6 . 23)) 6266 0.3636 6.6463 ((1 . 4) (2 . 5) (6 . 9) (8 . 10)) 6270 0.3636 6.8809 ((8 . 15) (10 . 17) (11 . 18) (12 . 19)) 6271 0.4544 6.9855 ((2 . 5) (3 . 7) (8 . 10) (9 . 11) (11 . 12)) 6273 0.3636 5.9250 ((2 . 3) (7 . 6) (8 . 7) (11 . 12)) 6294 0.3635 7.8652 ((5 . 21) (9 . 25) (11 . 27) (12 . 28)) 6306 0.3635 8.6344 ((1 . 18) (2 . 19) (3 . 21) (7 . 22)) 6309 0.3634 9.3904 ((6 . 16) (8 . 17) (9 . 18) (10 . 20)) 6311 0.4545 4.7972 ((2 . 4) (3 . 5) (8 . 9) (9 . 10) (10 . 11)) 6326 0.4542 8.2423 ((2 . 4) (8 . 9) (9 . 10) (10 . 11) (11 . 12)) 6338 0.3636 4.6330 ((8 . 4) (9 . 5) (10 . 7) (11 . 8)) 6344 0.4544 6.6800 ((1 . 10) (3 . 12) (6 . 16) (9 . 18) (10 . 19)) 6345 0.3635 8.1959 ((2 . 6) (3 . 7) (6 . 9) (11 . 13)) 6348 0.3636 6.4188 ((1 . 3) (2 . 4) (6 . 8) (10 . 11)) 6355 0.4545 5.6983 ((1 . 3) (2 . 4) (3 . 6) (8 . 9) (9 . 10)) 6356 0.3636 6.7103 ((1 . 8) (2 . 9) (6 . 12) (8 . 13)) 6369 0.4540 9.1133 ((1 . 27) (5 . 30) (8 . 32) (9 . 33) (10 . 35)) 6376 0.3636 7.0907 ((1 . 20) (2 . 21) (5 . 23) (8 . 26)) 6391 0.4545 5.2497 ((1 . 3) (7 . 6) (8 . 8) (9 . 10) (10 . 12)) 6392 0.3635 7.7591 ((3 . 9) (5 . 10) (11 . 15) (12 . 16)) 6399 0.4545 5.7619 ((3 . 6) (8 . 10) (9 . 11) (10 . 12) (11 . 13)) 6403 0.4543 7.3919 ((2 . 7) (9 . 12) (10 . 13) (11 . 14) (12 . 18)) 6434 0.4786 7.4123 ((6 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 6)) 6462 0.3990 6.1178 ((1 . 11) (5 . 15) (6 . 17) (9 . 18) (10 . 20)) 6498 0.3636 6.0103 ((2 . 2) (3 . 3) (5 . 5) (11 . 44)) 6520 0.4544 6.1374 ((6 . 11) (8 . 13) (9 . 14) (10 . 15) (11 . 16)) 6536 0.3418 9.0794 ((1 . 28) (5 . 30) (6 . 32) (12 . 37)) 6539 0.4543 7.6097 ((6 . 1) (8 . 2) (10 . 4) (11 . 5) (12 . 7)) 6540 0.3636 5.9607 ((7 . 17) (9 . 19) (10 . 20) (11 . 21)) 6548 0.3636 5.3755 ((6 . 8) (8 . 9) (9 . 12) (10 . 13)) 6553 0.3636 7.0666 ((9 . 22) (10 . 24) (11 . 25) (12 . 27)) 6555 0.3636 6.1072 ((6 . 21) (9 . 22) (10 . 23) (11 . 24)) 6561 0.5451 6.5654 ((1 . 5) (2 . 9) (3 . 10) (10 . 13) (11 . 15) (12 . 16)) 6573 0.3636 5.3491 ((2 . 19) (8 . 22) (9 . 23) (10 . 24)) 6575 0.1957 11.4165 ((3 . 1) (6 . 3) (9 . 5) (12 . 7)) 6578 0.3636 5.8438 ((6 . 33) (8 . 34) (9 . 37) (10 . 38)) 6584 0.9090 2.4680 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 6585 0.4544 6.6608 ((1 . 9) (2 . 10) (3 . 11) (8 . 13) (9 . 14)) 6586 0.3635 7.7767 ((2 . 18) (5 . 22) (8 . 24) (9 . 25)) 6587 0.3636 4.9602 ((1 . 32) (2 . 33) (3 . 34) (5 . 35)) 6598 0.4545 5.6052 ((3 . 1) (8 . 3) (9 . 4) (10 . 5) (11 . 6)) 6605 0.3635 7.9242 ((1 . 1) (5 . 3) (6 . 4) (12 . 7)) 6613 0.3636 3.4269 ((8 . 10) (9 . 33) (10 . 34) (11 . 35)) 6635 0.3418 8.7969 ((1 . 2) (3 . 4) (6 . 6) (8 . 7)) END