5500 25 0.3521 10.2073 ((6 . 1) (10 . 2) (14 . 6) (15 . 9)) 41 0.3634 10.3787 ((2 . 3) (6 . 4) (7 . 5) (10 . 6)) 51 0.3636 6.9617 ((2 . 1) (6 . 4) (12 . 7) (14 . 11)) 62 0.3636 6.3562 ((10 . 9) (12 . 13) (13 . 15) (14 . 16)) 64 0.3633 10.7167 ((2 . 8) (7 . 9) (14 . 14) (15 . 16)) 77 0.3636 7.5648 ((1 . 7) (2 . 8) (6 . 10) (10 . 12)) 91 0.4375 3.6637 ((1 . 16) (2 . 19) (3 . 21) (12 . 28) (13 . 30) (14 . 31)) 96 0.3635 9.0762 ((2 . 1) (6 . 2) (7 . 3) (10 . 4)) 129 0.3636 7.6166 ((1 . 1) (2 . 2) (12 . 11) (14 . 12)) 136 0.3635 9.0061 ((1 . 3) (4 . 7) (7 . 8) (10 . 9)) 147 0.3627 14.0336 ((6 . 3) (10 . 5) (13 . 8) (15 . 9)) 150 0.4543 7.5027 ((6 . 18) (10 . 21) (12 . 23) (13 . 24) (14 . 25)) 153 0.3635 8.1684 ((1 . 5) (2 . 6) (3 . 7) (14 . 12)) 155 0.3418 8.9001 ((3 . 3) (6 . 4) (10 . 5) (13 . 7)) 157 0.3636 7.6214 ((10 . 2) (12 . 5) (13 . 6) (14 . 8)) 161 0.3635 7.8852 ((1 . 2) (2 . 3) (3 . 4) (6 . 7)) 162 0.3634 9.8501 ((1 . 12) (4 . 17) (7 . 18) (12 . 22)) 169 0.3636 7.4947 ((1 . 4) (2 . 5) (3 . 7) (14 . 12)) 177 0.3636 6.9141 ((1 . 3) (2 . 4) (3 . 5) (12 . 10)) 191 0.3632 11.8835 ((2 . 1) (3 . 2) (7 . 4) (14 . 7)) 198 0.3636 6.3117 ((1 . 8) (2 . 9) (3 . 10) (12 . 17)) 207 0.4543 7.2613 ((2 . 7) (3 . 8) (10 . 12) (12 . 13) (14 . 15)) 233 0.3636 3.7486 ((1 . 1) (2 . 2) (3 . 5) (12 . 8)) 300 0.3635 8.3554 ((2 . 10) (6 . 11) (10 . 12) (12 . 16)) 305 0.3636 5.7762 ((2 . 11) (3 . 12) (13 . 20) (14 . 21)) 307 0.4545 5.1374 ((3 . 1) (10 . 6) (12 . 7) (13 . 8) (14 . 9)) 315 0.3635 8.8282 ((1 . 3) (2 . 4) (3 . 5) (6 . 7)) 317 0.3627 14.2144 ((6 . 4) (10 . 6) (13 . 9) (15 . 10)) 329 0.3635 8.3805 ((6 . 1) (10 . 3) (13 . 7) (15 . 9)) 340 0.3635 7.8238 ((3 . 2) (4 . 4) (6 . 5) (7 . 7)) 350 0.3636 6.6025 ((1 . 4) (2 . 5) (3 . 7) (6 . 9)) 360 0.3636 6.1783 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 361 0.2727 8.7590 ((3 . 2) (6 . 3) (10 . 5) (13 . 7)) 367 0.2377 7.9945 ((4 . 38) (6 . 39) (7 . 40) (14 . 46)) 372 0.3636 4.9253 ((2 . 5) (3 . 6) (4 . 7) (7 . 8)) 387 0.3635 7.9922 ((1 . 9) (2 . 10) (3 . 11) (12 . 15)) 405 0.3635 7.8259 ((2 . 37) (3 . 38) (4 . 39) (7 . 40)) 417 0.3189 13.3890 ((4 . 2) (10 . 6) (12 . 7) (14 . 9)) 420 0.4544 6.6327 ((1 . 2) (2 . 3) (3 . 4) (12 . 8) (14 . 9)) 433 0.4545 5.9236 ((1 . 5) (2 . 6) (12 . 7) (13 . 8) (14 . 9)) 442 0.4541 8.9994 ((1 . 4) (10 . 11) (12 . 12) (13 . 13) (14 . 14)) 460 0.3636 6.3705 ((1 . 6) (2 . 7) (3 . 8) (6 . 9)) 472 0.6363 3.5944 ((1 . 20) (2 . 21) (3 . 22) (10 . 29) (12 . 31) (13 . 33) (15 . 34)) 495 0.3990 6.7005 ((1 . 3) (2 . 5) (4 . 9) (7 . 11) (10 . 12)) 541 0.4542 8.3116 ((1 . 7) (7 . 11) (10 . 13) (12 . 14) (14 . 17)) 543 0.4472 7.6698 ((1 . 2) (4 . 6) (6 . 7) (7 . 8) (13 . 13)) 553 0.2727 11.6327 ((6 . 1) (10 . 2) (13 . 4) (15 . 5)) 561 0.3636 5.3287 ((2 . 1) (6 . 2) (10 . 5) (12 . 6)) 584 0.3636 5.6223 ((1 . 3) (2 . 4) (13 . 12) (14 . 13)) 587 0.3523 7.2820 ((4 . 7) (7 . 9) (12 . 10) (15 . 12)) 609 0.3192 7.9680 ((3 . 3) (6 . 4) (10 . 7) (12 . 8)) 619 0.3636 7.0294 ((2 . 11) (3 . 12) (6 . 14) (14 . 20)) 624 0.4545 4.4625 ((1 . 7) (3 . 9) (10 . 12) (12 . 13) (13 . 14)) 635 0.3636 7.5821 ((1 . 13) (2 . 14) (3 . 15) (6 . 17)) 672 0.3635 8.8656 ((1 . 15) (6 . 19) (7 . 20) (14 . 26)) 678 0.4545 5.1341 ((1 . 22) (10 . 25) (12 . 29) (13 . 33) (14 . 34)) 683 0.4362 6.9116 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (7 . 6)) 719 0.3192 9.2175 ((1 . 25) (2 . 27) (7 . 30) (10 . 31)) 729 0.4545 4.5526 ((1 . 7) (3 . 9) (10 . 14) (12 . 15) (14 . 17)) 735 0.3636 6.4778 ((1 . 29) (2 . 31) (3 . 32) (12 . 39)) 765 0.3190 12.4282 ((4 . 3) (7 . 5) (12 . 10) (14 . 12)) 767 0.3636 5.4293 ((2 . 9) (3 . 10) (10 . 27) (15 . 33)) 792 0.3520 10.7901 ((6 . 11) (10 . 13) (13 . 14) (15 . 16)) 795 0.3636 3.1386 ((10 . 2) (12 . 3) (13 . 4) (14 . 5)) 812 0.4514 14.4377 ((3 . 4) (10 . 10) (12 . 11) (13 . 12) (14 . 13)) 818 0.4472 7.6658 ((7 . 2) (10 . 3) (12 . 7) (14 . 8) (15 . 11)) 819 0.3636 4.6623 ((1 . 2) (2 . 3) (14 . 9) (15 . 11)) 824 0.3636 4.6219 ((2 . 49) (3 . 50) (4 . 51) (7 . 53)) 834 0.3521 10.3303 ((7 . 32) (10 . 34) (13 . 36) (15 . 38)) 861 0.3636 6.2932 ((2 . 15) (3 . 16) (4 . 17) (7 . 18)) 901 0.5454 4.6678 ((1 . 12) (3 . 15) (10 . 16) (12 . 17) (13 . 19) (14 . 20)) 904 0.3636 4.1788 ((10 . 1) (12 . 3) (13 . 5) (14 . 6)) 913 0.3635 9.1960 ((3 . 17) (6 . 18) (7 . 20) (10 . 21)) 928 0.3636 3.5988 ((10 . 13) (12 . 14) (13 . 15) (14 . 16)) 937 0.3192 9.2842 ((6 . 2) (7 . 4) (12 . 5) (13 . 6)) 943 0.4545 3.7133 ((3 . 6) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 945 0.4231 8.2887 ((4 . 14) (6 . 16) (7 . 17) (13 . 18) (15 . 20)) 949 0.1957 6.4502 ((2 . 30) (3 . 32) (10 . 35) (13 . 37)) 960 0.4545 3.6584 ((1 . 9) (10 . 16) (12 . 19) (13 . 20) (14 . 21)) 978 0.4545 3.9998 ((1 . 10) (10 . 15) (12 . 16) (13 . 18) (14 . 19)) 980 0.4545 4.8926 ((3 . 1) (10 . 4) (12 . 7) (13 . 8) (14 . 9)) 1005 0.3416 11.5317 ((2 . 1) (3 . 2) (10 . 5) (15 . 8)) 1007 0.3636 6.1211 ((1 . 7) (2 . 8) (3 . 9) (7 . 11)) 1008 0.3636 7.2114 ((1 . 5) (2 . 8) (6 . 11) (12 . 16)) 1034 0.8119 7.1638 ((1 . 20) (2 . 21) (3 . 22) (6 . 23) (10 . 27) (12 . 29) (13 . 31) (14 . 32) (15 . 36)) 1043 0.4541 8.8482 ((1 . 1) (4 . 6) (10 . 9) (12 . 10) (13 . 11)) 1082 0.4545 3.7505 ((1 . 9) (3 . 12) (10 . 14) (12 . 16) (14 . 19)) 1084 0.3635 8.0835 ((3 . 3) (10 . 6) (12 . 10) (15 . 15)) 1121 0.3635 8.4775 ((2 . 2) (3 . 3) (4 . 4) (7 . 6)) 1165 0.3636 2.7684 ((1 . 4) (10 . 9) (12 . 10) (13 . 11)) 1167 0.3636 6.1930 ((1 . 20) (2 . 21) (12 . 27) (13 . 28)) 1169 0.3636 6.5309 ((2 . 29) (3 . 30) (4 . 31) (7 . 32)) 1201 0.3636 6.1566 ((10 . 5) (12 . 7) (13 . 8) (14 . 9)) 1204 0.3636 7.6139 ((3 . 3) (6 . 4) (10 . 6) (12 . 11)) 1211 0.3635 8.2866 ((2 . 8) (3 . 9) (4 . 10) (7 . 11)) 1217 0.3635 8.9950 ((6 . 2) (12 . 7) (13 . 8) (14 . 11)) 1224 0.3635 7.8996 ((2 . 6) (3 . 7) (10 . 11) (12 . 14)) 1233 0.3636 4.2089 ((1 . 11) (3 . 14) (10 . 19) (12 . 22)) 1267 0.5283 5.9945 ((4 . 19) (6 . 20) (7 . 21) (12 . 22) (13 . 23) (14 . 33)) 1268 0.3522 9.0335 ((6 . 12) (10 . 15) (13 . 17) (15 . 18)) 1294 0.3636 6.8323 ((1 . 39) (2 . 40) (3 . 41) (12 . 47)) 1301 0.3633 11.0178 ((6 . 2) (10 . 3) (13 . 7) (15 . 8)) 1345 0.4361 8.2153 ((4 . 3) (10 . 6) (12 . 7) (13 . 8) (14 . 9)) 1366 0.3636 3.9375 ((1 . 14) (2 . 15) (3 . 16) (14 . 23)) 1388 0.3192 8.5943 ((2 . 1) (13 . 7) (14 . 8) (15 . 10)) 1410 0.3635 7.8180 ((2 . 20) (3 . 21) (4 . 22) (7 . 23)) 1425 0.3418 8.1460 ((1 . 3) (2 . 4) (4 . 8) (7 . 10)) 1435 0.1957 8.0975 ((1 . 1) (2 . 2) (4 . 3) (7 . 5)) 1447 0.4127 3.6742 ((1 . 1) (2 . 3) (3 . 5) (10 . 6) (12 . 7) (13 . 8) (14 . 9)) 1451 0.3636 7.0898 ((1 . 4) (2 . 5) (6 . 7) (7 . 8)) 1464 0.3522 8.7958 ((4 . 7) (7 . 8) (10 . 9) (14 . 14)) 1470 0.2728 6.9581 ((6 . 10) (10 . 11) (13 . 13) (15 . 15)) 1472 0.3635 8.6879 ((4 . 7) (7 . 8) (10 . 10) (13 . 12)) 1476 0.4545 4.1237 ((1 . 11) (10 . 17) (12 . 18) (13 . 19) (14 . 20)) 1481 0.3419 6.1595 ((4 . 4) (7 . 7) (10 . 8) (13 . 9)) 1501 0.3636 3.6544 ((1 . 5) (2 . 6) (3 . 9) (10 . 10)) 1508 0.3419 6.0145 ((4 . 2) (6 . 3) (7 . 5) (10 . 6)) 1513 0.3635 8.1697 ((1 . 11) (10 . 16) (12 . 18) (13 . 19)) 1514 0.3636 7.3565 ((2 . 3) (3 . 4) (6 . 5) (7 . 6)) 1577 0.2726 12.7397 ((4 . 4) (7 . 5) (13 . 9) (15 . 11)) 1591 0.4545 4.0423 ((1 . 8) (10 . 12) (12 . 14) (13 . 15) (14 . 16)) 1595 0.1957 10.7926 ((6 . 6) (7 . 7) (10 . 9) (12 . 8)) 1604 0.4230 8.5007 ((1 . 3) (10 . 11) (12 . 12) (13 . 13) (15 . 14)) 1622 0.3634 9.9767 ((1 . 18) (4 . 20) (10 . 21) (14 . 25)) 1624 0.3635 7.8283 ((1 . 4) (2 . 5) (3 . 6) (10 . 11)) 1643 0.5452 6.3693 ((1 . 17) (2 . 18) (3 . 20) (12 . 26) (14 . 28) (15 . 29)) 1644 0.3636 6.7636 ((1 . 46) (2 . 47) (3 . 48) (12 . 52)) 1665 0.3635 8.7346 ((3 . 6) (6 . 7) (7 . 8) (10 . 9)) 1690 0.4091 6.7841 ((1 . 1) (2 . 8) (3 . 11) (10 . 12) (12 . 13) (13 . 15)) 1692 0.3419 5.9033 ((1 . 6) (2 . 7) (4 . 8) (7 . 9)) 1731 0.3636 2.4366 ((1 . 6) (12 . 8) (13 . 11) (14 . 12)) 1736 0.3636 4.3587 ((1 . 3) (3 . 5) (12 . 10) (14 . 12)) 1738 0.4545 5.1865 ((1 . 4) (10 . 5) (12 . 9) (13 . 10) (14 . 11)) 1747 0.4545 5.9175 ((1 . 16) (2 . 18) (3 . 19) (12 . 25) (14 . 28)) 1756 0.2727 11.0616 ((3 . 22) (4 . 21) (7 . 23) (14 . 31)) 1759 0.3636 4.0476 ((1 . 4) (2 . 5) (3 . 6) (12 . 14)) 1761 0.4545 5.7851 ((4 . 11) (10 . 14) (12 . 16) (13 . 18) (14 . 19)) 1763 0.3634 9.7829 ((6 . 2) (7 . 3) (10 . 4) (13 . 8)) 1776 0.3636 6.4986 ((1 . 15) (2 . 16) (6 . 21) (10 . 22)) 1777 0.3192 7.8461 ((2 . 43) (3 . 45) (4 . 46) (7 . 49)) 1778 0.7232 4.2765 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (10 . 6) (12 . 8) (13 . 11) (14 . 12)) 1793 0.4544 7.0698 ((3 . 3) (4 . 6) (10 . 7) (12 . 11) (14 . 12)) 1805 0.3634 10.1894 ((2 . 10) (12 . 14) (14 . 16) (15 . 18)) 1808 0.3636 6.4642 ((10 . 1) (12 . 5) (13 . 7) (14 . 8)) 1817 0.3636 6.3050 ((1 . 14) (2 . 15) (3 . 16) (7 . 20)) 1867 0.3636 5.3806 ((1 . 3) (2 . 6) (3 . 7) (6 . 8)) 1894 0.3636 5.2738 ((1 . 11) (2 . 12) (12 . 18) (14 . 20)) 1896 0.3634 9.7130 ((4 . 24) (7 . 26) (10 . 28) (13 . 30)) 1897 0.3634 10.1785 ((2 . 34) (6 . 37) (10 . 38) (15 . 44)) 1908 0.4542 8.1559 ((1 . 3) (6 . 5) (10 . 6) (12 . 7) (14 . 10)) 1909 0.3636 5.4491 ((10 . 30) (12 . 31) (13 . 32) (14 . 34)) 1913 0.3636 5.1193 ((2 . 18) (3 . 20) (12 . 26) (14 . 28)) 1944 0.3636 4.4467 ((1 . 3) (12 . 7) (13 . 8) (14 . 9)) 1957 0.3636 3.1417 ((10 . 14) (12 . 15) (13 . 16) (14 . 17)) 1961 0.3636 6.5016 ((6 . 13) (12 . 16) (13 . 18) (14 . 19)) 1967 0.3636 5.1624 ((1 . 3) (10 . 9) (12 . 10) (13 . 11)) 1972 0.3636 5.8189 ((1 . 18) (3 . 20) (10 . 25) (12 . 27)) 1992 0.4545 5.9388 ((1 . 1) (10 . 8) (12 . 9) (13 . 10) (14 . 12)) 1995 0.3636 6.9530 ((1 . 7) (2 . 8) (3 . 9) (7 . 13)) 2003 0.2728 6.4982 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 2006 0.4545 5.7700 ((1 . 15) (2 . 16) (3 . 18) (12 . 21) (14 . 24)) 2045 0.3628 13.6547 ((2 . 2) (4 . 3) (12 . 8) (13 . 9)) 2048 0.4545 4.4171 ((1 . 4) (3 . 6) (10 . 12) (12 . 13) (13 . 14)) 2054 0.3632 11.5754 ((2 . 1) (3 . 2) (6 . 4) (14 . 14)) 2063 0.3636 7.1810 ((1 . 42) (2 . 43) (3 . 44) (7 . 47)) 2065 0.3635 9.2933 ((2 . 22) (3 . 23) (7 . 25) (12 . 28)) 2067 0.3802 6.7168 ((3 . 54) (4 . 55) (7 . 57) (10 . 58) (14 . 63)) 2072 0.3636 5.0086 ((2 . 1) (3 . 2) (12 . 7) (13 . 8)) 2081 0.3636 7.1442 ((2 . 9) (3 . 10) (6 . 11) (13 . 15)) 2083 0.3636 5.6412 ((2 . 1) (3 . 2) (12 . 7) (13 . 8)) 2097 0.3517 13.2412 ((3 . 3) (7 . 5) (13 . 10) (15 . 15)) 2114 0.4541 8.6807 ((1 . 28) (2 . 29) (4 . 32) (10 . 37) (13 . 39)) 2116 0.3636 6.3813 ((1 . 2) (2 . 3) (3 . 4) (14 . 11)) 2117 0.4545 5.7240 ((2 . 5) (3 . 6) (10 . 13) (12 . 14) (15 . 19)) 2118 0.3635 8.9699 ((1 . 1) (2 . 3) (10 . 6) (13 . 8)) 2122 0.4541 8.6493 ((1 . 1) (4 . 6) (10 . 9) (12 . 10) (13 . 11)) 2166 0.3636 7.5616 ((2 . 12) (3 . 13) (10 . 14) (15 . 18)) 2179 0.4544 6.6996 ((1 . 5) (2 . 6) (3 . 7) (10 . 12) (12 . 13)) 2196 0.3636 7.4122 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 2203 0.3636 7.0119 ((6 . 3) (12 . 7) (13 . 8) (14 . 10)) 2205 0.3636 6.5355 ((1 . 21) (2 . 22) (3 . 23) (6 . 25)) 2209 0.3636 4.3317 ((1 . 3) (3 . 5) (10 . 8) (12 . 9)) 2233 0.3631 12.3482 ((6 . 2) (10 . 6) (13 . 8) (15 . 9)) 2243 0.4542 8.1570 ((1 . 52) (2 . 53) (3 . 54) (12 . 61) (14 . 65)) 2244 0.3636 6.7031 ((2 . 69) (3 . 70) (4 . 71) (7 . 74)) 2248 0.3636 5.9276 ((1 . 16) (10 . 23) (13 . 26) (14 . 27)) 2249 0.4545 5.1161 ((3 . 11) (10 . 14) (12 . 16) (13 . 19) (14 . 20)) 2269 0.4540 9.1199 ((1 . 6) (2 . 7) (3 . 8) (10 . 11) (12 . 12)) 2279 0.4542 8.4208 ((1 . 10) (2 . 11) (12 . 20) (13 . 21) (14 . 22)) 2298 0.4545 3.4049 ((3 . 10) (10 . 14) (12 . 15) (13 . 16) (14 . 17)) 2308 0.4544 6.4538 ((1 . 4) (2 . 5) (10 . 10) (12 . 11) (13 . 12)) 2314 0.3634 9.8682 ((2 . 2) (3 . 3) (13 . 9) (14 . 11)) 2340 0.3636 5.3426 ((1 . 11) (2 . 13) (3 . 14) (6 . 15)) 2344 0.3636 6.7002 ((1 . 3) (10 . 9) (12 . 10) (13 . 12)) 2364 0.5454 3.7019 ((1 . 7) (2 . 9) (3 . 12) (12 . 15) (13 . 16) (14 . 18)) 2381 0.3636 3.2392 ((1 . 3) (2 . 4) (3 . 5) (10 . 8)) 2389 0.3636 5.8772 ((2 . 3) (3 . 5) (12 . 9) (14 . 11)) 2408 0.3635 7.7751 ((1 . 39) (2 . 40) (3 . 41) (12 . 47)) 2409 0.2727 11.0659 ((2 . 2) (4 . 4) (12 . 9) (13 . 11)) 2422 0.1957 7.5595 ((1 . 6) (2 . 7) (3 . 8) (6 . 10)) 2423 0.3636 5.4103 ((2 . 16) (3 . 17) (13 . 23) (14 . 25)) 2440 0.3635 8.0270 ((1 . 4) (3 . 6) (7 . 9) (10 . 10)) 2447 0.5178 10.3449 ((6 . 26) (10 . 29) (12 . 30) (13 . 32) (14 . 33) (15 . 34)) 2462 0.2727 8.6163 ((4 . 6) (7 . 7) (10 . 10) (12 . 11)) 2510 0.5335 7.2749 ((1 . 3) (10 . 4) (12 . 7) (13 . 8) (14 . 9) (15 . 26)) 2519 0.3416 11.6836 ((6 . 1) (10 . 3) (14 . 5) (15 . 6)) 2525 0.3635 8.5826 ((1 . 38) (10 . 46) (12 . 47) (14 . 50)) 2529 0.3636 5.0810 ((1 . 3) (2 . 5) (3 . 6) (6 . 7)) 2533 0.3636 3.4414 ((10 . 3) (12 . 4) (13 . 5) (14 . 6)) 2551 0.3635 8.8089 ((6 . 4) (10 . 6) (13 . 10) (14 . 11)) 2552 0.3636 4.3630 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 2556 0.3636 5.2763 ((1 . 11) (10 . 17) (12 . 20) (15 . 23)) 2557 0.3635 9.1266 ((3 . 3) (6 . 5) (7 . 6) (10 . 8)) 2561 0.3636 5.9086 ((3 . 1) (10 . 5) (12 . 6) (14 . 8)) 2591 0.3415 11.8020 ((6 . 34) (10 . 36) (13 . 38) (15 . 39)) 2595 0.3636 3.1504 ((10 . 5) (12 . 6) (13 . 7) (14 . 9)) 2619 0.6363 3.2811 ((1 . 1) (2 . 2) (3 . 3) (10 . 4) (12 . 5) (13 . 6) (14 . 7)) 2627 0.3636 7.5451 ((10 . 59) (12 . 60) (13 . 62) (14 . 64)) 2650 0.3636 6.7827 ((3 . 2) (10 . 4) (12 . 5) (14 . 7)) 2658 0.3634 10.3107 ((6 . 5) (10 . 7) (13 . 11) (14 . 12)) 2675 0.3636 6.4332 ((1 . 1) (2 . 3) (3 . 4) (12 . 11)) 2682 0.4542 8.4102 ((3 . 11) (10 . 16) (12 . 17) (13 . 18) (14 . 19)) 2696 0.3636 5.1446 ((1 . 31) (2 . 32) (3 . 34) (12 . 39)) 2731 0.1489 11.3846 ((12 . 1) (13 . 2) (14 . 4) (15 . 3)) 2733 0.6361 4.8986 ((1 . 1) (2 . 2) (3 . 4) (10 . 7) (12 . 8) (14 . 11) (15 . 12)) 2753 0.2377 11.1225 ((6 . 1) (10 . 2) (13 . 4) (15 . 6)) 2755 0.3636 4.1590 ((1 . 3) (3 . 5) (10 . 7) (12 . 8)) 2773 0.3636 7.4445 ((1 . 2) (2 . 3) (12 . 6) (13 . 7)) 2783 0.3636 5.6818 ((2 . 1) (12 . 8) (13 . 9) (14 . 12)) 2804 0.3634 10.2865 ((3 . 25) (6 . 27) (13 . 35) (15 . 37)) 2821 0.6633 2.7589 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (10 . 10) (12 . 11) (13 . 12) (14 . 13) (15 . 14)) 2830 0.4545 4.2060 ((1 . 1) (10 . 4) (12 . 5) (13 . 6) (14 . 9)) 2834 0.3636 5.5896 ((1 . 1) (3 . 6) (10 . 7) (13 . 10)) 2840 0.2377 10.6540 ((6 . 3) (10 . 7) (12 . 9) (13 . 10)) 2842 0.4545 3.7249 ((1 . 4) (2 . 5) (10 . 8) (12 . 9) (14 . 11)) 2879 0.3636 6.1110 ((1 . 53) (2 . 56) (3 . 57) (14 . 59)) 2886 0.3636 7.6142 ((1 . 35) (2 . 37) (3 . 38) (12 . 44)) 2929 0.3192 8.8614 ((2 . 36) (6 . 38) (7 . 40) (10 . 41)) 2940 0.3636 6.7838 ((1 . 4) (2 . 5) (3 . 6) (6 . 9)) 2947 0.3636 7.5370 ((2 . 4) (6 . 5) (13 . 9) (14 . 12)) 2966 0.3636 6.0682 ((2 . 10) (3 . 12) (4 . 13) (7 . 15)) 2990 0.3636 4.9861 ((1 . 14) (2 . 15) (3 . 16) (6 . 17)) 2999 0.4539 9.7698 ((6 . 1) (10 . 3) (12 . 4) (13 . 5) (14 . 6)) 3014 0.3630 12.7210 ((6 . 17) (13 . 21) (14 . 22) (15 . 26)) 3019 0.3636 7.5401 ((1 . 9) (2 . 10) (3 . 11) (12 . 14)) 3034 0.3636 5.2694 ((1 . 1) (10 . 8) (12 . 9) (13 . 11)) 3041 0.4545 5.0058 ((4 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 3055 0.3636 4.2939 ((1 . 3) (2 . 4) (3 . 5) (12 . 11)) 3063 0.3636 7.4973 ((2 . 32) (3 . 33) (12 . 37) (14 . 39)) 3070 0.3636 4.7699 ((10 . 31) (12 . 33) (13 . 34) (14 . 35)) 3084 0.3636 4.0847 ((1 . 3) (10 . 6) (12 . 9) (14 . 11)) 3102 0.3636 4.5617 ((1 . 57) (2 . 58) (3 . 59) (7 . 62)) 3103 0.1957 11.3699 ((3 . 1) (10 . 6) (13 . 7) (14 . 9)) 3114 0.3635 9.0307 ((1 . 23) (2 . 24) (3 . 25) (12 . 29)) 3120 0.3417 10.0050 ((6 . 20) (7 . 22) (10 . 24) (12 . 25)) 3127 0.4612 3.7715 ((1 . 2) (2 . 6) (3 . 8) (10 . 9) (12 . 11) (13 . 12) (14 . 13)) 3147 0.3636 4.3803 ((2 . 13) (3 . 15) (4 . 16) (7 . 17)) 3176 0.3635 9.1316 ((4 . 26) (7 . 27) (13 . 32) (15 . 33)) 3187 0.4543 7.3358 ((1 . 2) (2 . 3) (13 . 8) (14 . 9) (15 . 10)) 3190 0.3636 7.2758 ((1 . 6) (3 . 9) (6 . 10) (10 . 12)) 3197 0.4537 10.2532 ((3 . 10) (10 . 13) (12 . 14) (13 . 15) (14 . 16)) 3200 0.3634 10.1593 ((10 . 12) (12 . 13) (13 . 14) (14 . 15)) 3202 0.3632 11.5552 ((4 . 18) (7 . 19) (13 . 21) (15 . 24)) 3212 0.3636 7.4094 ((1 . 3) (2 . 5) (7 . 9) (10 . 10)) 3222 0.3636 6.6463 ((1 . 6) (2 . 7) (3 . 8) (12 . 15)) 3256 0.4544 6.9414 ((1 . 18) (2 . 19) (3 . 25) (12 . 26) (14 . 28)) 3261 0.4545 5.3911 ((1 . 1) (2 . 2) (3 . 3) (12 . 7) (13 . 10)) 3286 0.3419 5.1170 ((10 . 6) (12 . 7) (14 . 9) (15 . 11)) 3297 0.3631 12.2161 ((1 . 5) (3 . 7) (12 . 11) (14 . 13)) 3300 0.3635 8.1806 ((1 . 1) (2 . 2) (3 . 4) (6 . 10)) 3322 0.5454 3.2178 ((1 . 1) (2 . 3) (3 . 5) (10 . 6) (12 . 7) (13 . 8)) 3334 0.4538 9.8746 ((1 . 1) (2 . 3) (10 . 9) (12 . 10) (13 . 11)) 3339 0.4545 4.6329 ((1 . 11) (3 . 15) (10 . 18) (12 . 19) (14 . 21)) 3344 0.3634 10.3230 ((3 . 19) (4 . 20) (12 . 24) (14 . 27)) 3358 0.4361 8.1664 ((4 . 2) (10 . 5) (12 . 7) (13 . 9) (14 . 10)) 3362 0.3635 8.9957 ((6 . 3) (7 . 4) (10 . 5) (12 . 8)) 3366 0.3419 6.5551 ((1 . 28) (2 . 29) (4 . 31) (7 . 32)) 3391 0.3636 4.6664 ((10 . 3) (12 . 4) (13 . 7) (14 . 8)) 3410 0.4375 3.6289 ((1 . 19) (2 . 21) (3 . 24) (12 . 28) (13 . 29) (14 . 30)) 3446 0.3418 9.2469 ((3 . 6) (6 . 8) (10 . 9) (13 . 11)) 3470 0.3633 10.8389 ((6 . 9) (10 . 10) (13 . 12) (15 . 13)) 3472 0.3636 6.1820 ((1 . 2) (2 . 3) (3 . 9) (12 . 12)) 3481 0.5454 3.9802 ((1 . 2) (2 . 4) (3 . 8) (12 . 10) (13 . 11) (14 . 12)) 3495 0.3635 9.2862 ((2 . 7) (3 . 8) (10 . 10) (14 . 16)) 3496 0.3635 7.8047 ((2 . 18) (3 . 19) (10 . 21) (12 . 22)) 3533 0.3191 9.8694 ((1 . 3) (2 . 5) (4 . 7) (7 . 8)) 3537 0.3636 6.4772 ((12 . 2) (13 . 3) (14 . 7) (15 . 8)) 3538 0.3636 5.4435 ((1 . 18) (10 . 22) (12 . 23) (14 . 25)) 3548 0.3636 6.6638 ((3 . 3) (10 . 7) (12 . 8) (14 . 10)) 3549 0.3636 3.5456 ((1 . 2) (2 . 3) (3 . 5) (10 . 7)) 3561 0.4545 3.7406 ((1 . 20) (3 . 22) (12 . 28) (14 . 31) (15 . 32)) 3570 0.3636 6.7988 ((1 . 4) (2 . 7) (3 . 8) (6 . 9)) 3585 0.4230 8.7066 ((1 . 8) (10 . 15) (12 . 16) (13 . 17) (15 . 18)) 3613 0.3636 6.9058 ((4 . 36) (10 . 39) (12 . 41) (15 . 43)) 3625 0.3636 6.7679 ((1 . 5) (2 . 6) (4 . 7) (7 . 9)) 3626 0.3417 9.6489 ((1 . 2) (2 . 3) (4 . 8) (7 . 11)) 3628 0.4545 3.2718 ((1 . 6) (3 . 8) (10 . 11) (12 . 12) (13 . 13)) 3651 0.4545 5.1769 ((1 . 1) (3 . 3) (10 . 7) (12 . 8) (14 . 11)) 3656 0.1957 8.8056 ((6 . 20) (10 . 21) (12 . 22) (14 . 24)) 3658 0.3636 5.4442 ((1 . 6) (2 . 7) (3 . 8) (10 . 12)) 3659 0.4361 7.6881 ((1 . 5) (2 . 7) (3 . 8) (4 . 9) (7 . 10)) 3661 0.3987 9.6596 ((4 . 11) (6 . 13) (10 . 14) (13 . 18) (15 . 21)) 3663 0.4360 8.5650 ((1 . 1) (2 . 2) (4 . 5) (10 . 6) (13 . 7)) 3688 0.3636 6.9646 ((2 . 1) (3 . 2) (4 . 3) (12 . 11)) 3697 0.3635 7.7973 ((2 . 4) (12 . 7) (13 . 8) (14 . 10)) 3703 0.3636 7.3430 ((1 . 2) (2 . 3) (3 . 4) (15 . 10)) 3732 0.3636 5.1128 ((2 . 2) (3 . 3) (4 . 11) (7 . 12)) 3733 0.4362 6.7735 ((10 . 2) (12 . 6) (13 . 7) (14 . 8) (15 . 9)) 3740 0.3636 6.4974 ((2 . 1) (3 . 2) (12 . 6) (14 . 9)) 3741 0.3636 4.2401 ((1 . 1) (2 . 2) (3 . 3) (12 . 13)) 3776 0.3634 10.2268 ((1 . 15) (3 . 17) (7 . 21) (12 . 24)) 3778 0.3635 8.0775 ((2 . 4) (6 . 5) (13 . 9) (14 . 12)) 3787 0.4545 2.6655 ((1 . 7) (10 . 11) (12 . 12) (13 . 14) (14 . 15)) 3790 0.4545 3.4012 ((1 . 15) (2 . 16) (3 . 18) (12 . 21) (14 . 26)) 3807 0.4544 7.1384 ((1 . 43) (2 . 46) (3 . 47) (10 . 49) (12 . 50)) 3810 0.3636 5.3445 ((2 . 8) (3 . 9) (4 . 10) (7 . 11)) 3817 0.4544 6.8536 ((4 . 1) (10 . 3) (12 . 5) (13 . 6) (14 . 7)) 3818 0.3636 6.3217 ((1 . 20) (3 . 23) (10 . 27) (12 . 28)) 3829 0.3631 12.3741 ((6 . 6) (10 . 8) (14 . 12) (15 . 13)) 3831 0.3636 6.3949 ((3 . 2) (12 . 6) (13 . 7) (14 . 9)) 3847 0.3634 9.5667 ((6 . 10) (10 . 11) (12 . 13) (14 . 17)) 3849 0.3636 3.4714 ((1 . 2) (2 . 3) (3 . 5) (10 . 7)) 3853 0.3753 6.2894 ((2 . 3) (3 . 6) (10 . 7) (12 . 8) (13 . 9) (14 . 12)) 3870 0.4545 4.8213 ((1 . 3) (10 . 7) (12 . 8) (13 . 9) (14 . 10)) 3933 0.3636 5.8066 ((4 . 2) (6 . 4) (7 . 5) (12 . 9)) 3938 0.3636 4.5208 ((1 . 6) (2 . 8) (3 . 9) (6 . 12)) 3942 0.2377 9.1386 ((4 . 2) (7 . 3) (10 . 5) (13 . 8)) 3968 0.4233 5.2313 ((10 . 8) (12 . 9) (13 . 10) (14 . 11) (15 . 12)) 3986 0.3636 5.2117 ((1 . 6) (2 . 9) (3 . 13) (15 . 19)) 3990 0.3636 7.6028 ((1 . 18) (6 . 21) (7 . 22) (12 . 26)) 4005 0.3636 5.9069 ((1 . 2) (2 . 3) (12 . 10) (14 . 11)) 4009 0.3635 8.0565 ((1 . 1) (4 . 7) (10 . 8) (12 . 11)) 4019 0.4545 4.8880 ((1 . 43) (2 . 44) (3 . 45) (12 . 50) (14 . 51)) 4034 0.3636 5.9844 ((2 . 5) (3 . 6) (12 . 9) (14 . 12)) 4037 0.3636 6.9683 ((1 . 1) (2 . 2) (3 . 3) (10 . 5)) 4062 0.3636 3.5490 ((1 . 48) (2 . 49) (3 . 50) (13 . 52)) 4067 0.4545 4.1545 ((1 . 14) (10 . 21) (12 . 22) (13 . 23) (14 . 24)) 4077 0.1956 14.5012 ((10 . 6) (13 . 8) (14 . 10) (15 . 9)) 4082 0.3636 4.8031 ((2 . 5) (3 . 6) (4 . 7) (7 . 8)) 4087 0.3417 10.6499 ((1 . 6) (3 . 7) (4 . 8) (10 . 9)) 4112 0.3636 7.5458 ((2 . 1) (3 . 2) (4 . 3) (7 . 4)) 4115 0.4545 5.2316 ((3 . 13) (10 . 16) (12 . 17) (13 . 18) (14 . 19)) 4140 0.1957 8.5557 ((1 . 22) (2 . 23) (6 . 26) (10 . 27)) 4151 0.4545 4.3370 ((3 . 5) (10 . 8) (12 . 9) (13 . 11) (14 . 12)) 4154 0.3636 6.6244 ((2 . 51) (3 . 52) (4 . 53) (7 . 56)) 4177 0.3634 9.5357 ((1 . 2) (6 . 6) (7 . 7) (12 . 9)) 4190 0.3636 5.7892 ((1 . 1) (2 . 3) (10 . 7) (12 . 8)) 4192 0.4233 4.1539 ((1 . 13) (10 . 14) (12 . 15) (13 . 16) (15 . 18)) 4194 0.3636 4.7557 ((1 . 3) (3 . 5) (7 . 7) (10 . 8)) 4195 0.3417 9.5597 ((6 . 4) (10 . 10) (12 . 6) (13 . 11)) 4204 0.4786 7.1069 ((1 . 3) (2 . 5) (10 . 6) (12 . 9) (13 . 10) (14 . 11)) 4209 0.3635 9.1864 ((1 . 1) (2 . 2) (6 . 3) (13 . 11)) 4210 0.3636 5.3647 ((4 . 4) (10 . 7) (13 . 9) (14 . 10)) 4226 0.3754 3.1225 ((1 . 1) (2 . 4) (3 . 6) (10 . 20) (12 . 22) (14 . 24)) 4232 0.3635 8.2477 ((2 . 3) (3 . 4) (4 . 5) (12 . 8)) 4236 0.3633 10.4463 ((1 . 6) (2 . 7) (6 . 11) (10 . 13)) 4246 0.3192 7.4165 ((2 . 2) (3 . 3) (7 . 6) (12 . 11)) 4254 0.3636 5.7256 ((2 . 9) (3 . 11) (10 . 14) (12 . 17)) 4255 0.1489 8.0800 ((6 . 20) (12 . 24) (13 . 25) (14 . 26)) 4257 0.3635 8.1978 ((1 . 3) (6 . 6) (7 . 7) (12 . 11)) 4261 0.3417 9.5533 ((6 . 13) (10 . 14) (13 . 16) (15 . 17)) 4265 0.5454 3.7268 ((1 . 21) (3 . 23) (10 . 25) (12 . 26) (13 . 27) (14 . 29)) 4266 0.4127 5.5875 ((1 . 2) (2 . 4) (3 . 6) (10 . 7) (12 . 8) (14 . 12) (15 . 14)) 4274 0.3636 3.2724 ((10 . 37) (12 . 38) (13 . 39) (14 . 40)) 4275 0.3635 8.3155 ((10 . 22) (12 . 23) (13 . 24) (14 . 25)) 4281 0.5284 4.3247 ((1 . 3) (2 . 4) (3 . 5) (12 . 8) (14 . 10) (15 . 11)) 4284 0.3636 6.4063 ((4 . 3) (7 . 4) (14 . 10) (15 . 11)) 4299 0.4545 4.9538 ((3 . 6) (10 . 10) (12 . 11) (13 . 13) (14 . 14)) 4301 0.3636 6.9280 ((1 . 2) (2 . 3) (3 . 4) (12 . 10)) 4326 0.4545 4.5809 ((3 . 7) (10 . 14) (12 . 15) (13 . 16) (14 . 17)) 4332 0.3634 9.6214 ((6 . 1) (10 . 5) (12 . 6) (14 . 9)) 4338 0.3636 6.4592 ((10 . 5) (12 . 6) (14 . 8) (15 . 9)) 4352 0.3418 8.3220 ((6 . 4) (10 . 7) (12 . 9) (13 . 12)) 4359 0.4545 3.6022 ((1 . 17) (2 . 18) (3 . 19) (12 . 21) (14 . 26)) 4380 0.3636 3.7843 ((1 . 2) (2 . 3) (3 . 4) (12 . 14)) 4383 0.0999 9.2311 ((2 . 14) (3 . 15) (12 . 21) (14 . 22)) 4386 0.3636 5.1051 ((3 . 1) (10 . 3) (12 . 4) (13 . 5)) 4388 0.3636 3.6623 ((10 . 2) (12 . 3) (13 . 4) (14 . 5)) 4398 0.4233 4.8350 ((7 . 1) (10 . 2) (12 . 4) (13 . 5) (14 . 6)) 4405 0.3636 5.9480 ((2 . 14) (6 . 17) (12 . 19) (13 . 20)) 4408 0.3634 9.6476 ((4 . 1) (7 . 3) (10 . 5) (15 . 10)) 4415 0.4545 3.7630 ((2 . 3) (10 . 5) (12 . 9) (13 . 10) (14 . 11)) 4419 0.3635 7.8859 ((1 . 8) (2 . 9) (3 . 10) (6 . 11)) 4426 0.3636 6.2274 ((2 . 2) (6 . 3) (10 . 5) (12 . 6)) 4470 0.4232 6.6276 ((2 . 18) (3 . 19) (6 . 22) (10 . 23) (12 . 25)) 4491 0.3636 5.6240 ((2 . 1) (6 . 4) (10 . 7) (12 . 8)) 4492 0.4545 3.3132 ((3 . 13) (10 . 19) (12 . 21) (13 . 22) (14 . 23)) 4495 0.3636 3.1060 ((10 . 5) (12 . 6) (13 . 7) (14 . 8)) 4497 0.3629 13.3889 ((3 . 23) (4 . 24) (12 . 27) (14 . 30)) 4502 0.5454 4.5833 ((1 . 6) (3 . 9) (10 . 13) (12 . 14) (13 . 16) (14 . 17)) 4504 0.4545 5.4705 ((1 . 4) (3 . 6) (10 . 12) (12 . 13) (14 . 15)) 4505 0.4540 9.3568 ((2 . 25) (3 . 26) (12 . 30) (13 . 33) (14 . 34)) 4516 0.3636 4.4385 ((10 . 15) (12 . 18) (13 . 19) (14 . 20)) 4538 0.3636 7.3623 ((6 . 29) (7 . 30) (12 . 34) (14 . 37)) 4551 0.2727 10.5324 ((1 . 2) (2 . 4) (6 . 7) (7 . 8)) 4560 0.4544 7.1475 ((1 . 2) (2 . 4) (10 . 7) (13 . 10) (14 . 11)) 4561 0.4545 3.2437 ((1 . 1) (10 . 8) (12 . 9) (13 . 11) (14 . 12)) 4562 0.3636 6.9382 ((10 . 21) (12 . 22) (13 . 23) (14 . 25)) 4563 0.3636 4.2579 ((1 . 26) (10 . 30) (12 . 31) (13 . 33)) 4577 0.4544 6.8607 ((1 . 28) (2 . 29) (3 . 30) (7 . 34) (12 . 37)) 4579 0.3634 10.2041 ((6 . 16) (7 . 18) (10 . 21) (15 . 25)) 4588 0.4545 3.5564 ((1 . 1) (3 . 3) (12 . 11) (13 . 12) (14 . 13)) 4589 0.3635 8.5513 ((2 . 22) (3 . 23) (6 . 24) (7 . 25)) 4607 0.3634 9.4569 ((1 . 3) (2 . 4) (6 . 8) (15 . 16)) 4621 0.3635 8.8046 ((2 . 7) (3 . 8) (4 . 9) (7 . 11)) 4630 0.3636 4.3432 ((3 . 9) (4 . 10) (12 . 15) (14 . 18)) 4648 0.2377 9.0366 ((7 . 1) (10 . 3) (12 . 5) (13 . 7)) 4653 0.3636 4.1804 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 4665 0.3636 7.2882 ((3 . 11) (4 . 12) (7 . 13) (10 . 16)) 4668 0.4545 5.0295 ((3 . 1) (10 . 6) (12 . 7) (13 . 8) (14 . 11)) 4669 0.4545 3.6984 ((2 . 12) (3 . 13) (12 . 19) (13 . 20) (14 . 21)) 4671 0.3636 6.3583 ((1 . 11) (2 . 12) (7 . 18) (14 . 22)) 4674 0.3634 9.6829 ((6 . 3) (10 . 4) (12 . 6) (14 . 9)) 4678 0.3416 11.0297 ((6 . 1) (13 . 5) (14 . 6) (15 . 7)) 4713 0.3192 8.9370 ((7 . 3) (12 . 7) (14 . 9) (15 . 10)) 4715 0.3634 10.0942 ((2 . 3) (6 . 5) (10 . 9) (13 . 11)) 4716 0.3634 10.2717 ((6 . 1) (10 . 2) (13 . 4) (15 . 6)) 4731 0.3636 7.5615 ((3 . 14) (6 . 16) (13 . 20) (14 . 22)) 4734 0.3634 10.2378 ((1 . 2) (2 . 4) (3 . 6) (7 . 8)) 4764 0.1957 10.9514 ((6 . 5) (10 . 6) (13 . 8) (15 . 10)) 4857 0.4360 8.8729 ((1 . 5) (10 . 12) (12 . 13) (13 . 14) (15 . 15)) 4886 0.3636 5.1820 ((2 . 16) (3 . 17) (13 . 20) (14 . 22)) 4888 0.3634 9.7439 ((6 . 2) (10 . 6) (14 . 9) (15 . 11)) 4889 0.3636 6.3274 ((1 . 3) (2 . 4) (13 . 9) (14 . 11)) 4907 0.3636 7.2457 ((2 . 1) (3 . 3) (4 . 4) (7 . 5)) 4914 0.3636 6.1416 ((1 . 4) (2 . 5) (3 . 6) (12 . 12)) 4921 0.4545 5.5831 ((1 . 7) (2 . 8) (3 . 12) (10 . 13) (12 . 17)) 4929 0.3635 8.0199 ((1 . 28) (2 . 29) (3 . 31) (12 . 35)) 4932 0.3636 7.1105 ((1 . 1) (3 . 4) (10 . 7) (12 . 8)) 4940 0.3636 5.4635 ((2 . 1) (3 . 2) (10 . 5) (12 . 8)) 4944 0.0999 5.4070 ((10 . 10) (12 . 11) (13 . 12) (14 . 13)) 4961 0.3636 5.5030 ((4 . 1) (10 . 4) (12 . 6) (13 . 8)) 4963 0.3521 10.1303 ((6 . 2) (10 . 3) (13 . 5) (15 . 6)) 4978 0.5454 4.3587 ((1 . 21) (2 . 22) (3 . 24) (10 . 27) (12 . 28) (14 . 30)) 4982 0.3635 8.5905 ((10 . 11) (12 . 12) (13 . 13) (14 . 14)) 4992 0.4545 4.6621 ((3 . 3) (10 . 4) (12 . 6) (13 . 7) (14 . 8)) 4998 0.4127 4.0505 ((1 . 1) (2 . 3) (3 . 6) (10 . 21) (12 . 23) (13 . 24) (14 . 25)) 5029 0.3857 3.6376 ((1 . 2) (2 . 4) (3 . 6) (10 . 7) (12 . 8) (13 . 9) (14 . 10)) 5036 0.3636 7.2836 ((1 . 4) (2 . 5) (3 . 6) (12 . 10)) 5038 0.3636 6.7909 ((1 . 9) (2 . 10) (6 . 13) (7 . 14)) 5039 0.3636 3.4147 ((1 . 37) (3 . 39) (10 . 43) (12 . 44)) 5044 0.3415 12.0872 ((1 . 1) (2 . 2) (4 . 3) (13 . 11)) 5046 0.0999 8.1992 ((1 . 3) (2 . 4) (10 . 9) (12 . 10)) 5053 0.4543 7.2824 ((1 . 9) (2 . 10) (3 . 11) (6 . 13) (10 . 14)) 5065 0.3636 6.3467 ((2 . 2) (3 . 3) (6 . 5) (7 . 7)) 5068 0.3636 3.8652 ((10 . 1) (12 . 2) (13 . 3) (14 . 4)) 5069 0.3857 4.9728 ((1 . 4) (2 . 5) (3 . 7) (10 . 8) (12 . 9) (13 . 14) (14 . 15)) 5073 0.4541 8.7296 ((1 . 36) (3 . 39) (6 . 40) (10 . 41) (12 . 44)) 5080 0.3636 6.4726 ((1 . 2) (2 . 3) (10 . 5) (15 . 13)) 5083 0.3636 6.6936 ((1 . 2) (2 . 5) (3 . 6) (4 . 8)) 5101 0.4612 3.6798 ((1 . 1) (2 . 3) (3 . 5) (10 . 6) (12 . 7) (13 . 8) (14 . 9)) 5103 0.4544 6.5541 ((1 . 2) (10 . 3) (12 . 6) (13 . 8) (14 . 9)) 5121 0.3636 7.2816 ((4 . 18) (7 . 21) (13 . 23) (14 . 25)) 5132 0.3636 4.7623 ((10 . 14) (12 . 16) (13 . 17) (14 . 18)) 5134 0.3635 7.8922 ((7 . 13) (10 . 16) (12 . 17) (14 . 19)) 5145 0.3636 7.3537 ((1 . 3) (3 . 5) (6 . 7) (7 . 8)) 5167 0.4545 3.9807 ((1 . 3) (2 . 4) (12 . 9) (13 . 10) (14 . 12)) 5176 0.3634 10.1738 ((12 . 82) (13 . 83) (14 . 86) (15 . 85)) 5183 0.3636 5.8024 ((1 . 34) (2 . 35) (3 . 36) (10 . 39)) 5192 0.3636 6.8454 ((10 . 4) (12 . 5) (13 . 6) (15 . 7)) 5198 0.4545 5.7258 ((1 . 21) (10 . 23) (12 . 24) (14 . 26) (15 . 27)) 5209 0.3636 7.3815 ((3 . 4) (10 . 6) (12 . 7) (14 . 9)) 5212 0.3633 10.7807 ((1 . 2) (2 . 3) (6 . 7) (10 . 9)) 5215 0.4544 6.6584 ((1 . 2) (2 . 3) (3 . 4) (6 . 6) (14 . 11)) 5223 0.4545 3.7888 ((3 . 8) (10 . 11) (12 . 12) (13 . 14) (14 . 15)) 5231 0.3418 7.3656 ((4 . 8) (6 . 9) (7 . 12) (15 . 17)) 5266 0.4545 4.4902 ((3 . 4) (10 . 9) (12 . 10) (13 . 11) (14 . 13)) 5307 0.3636 4.7013 ((10 . 54) (12 . 55) (14 . 58) (15 . 59)) 5312 0.3636 7.0864 ((2 . 1) (3 . 2) (4 . 3) (7 . 4)) 5318 0.4545 4.9076 ((1 . 3) (10 . 7) (12 . 8) (13 . 9) (14 . 11)) 5323 0.3636 6.6800 ((6 . 9) (7 . 10) (10 . 12) (15 . 15)) 5324 0.3636 3.1552 ((10 . 11) (12 . 12) (13 . 13) (14 . 14)) 5344 0.3635 8.5981 ((2 . 7) (3 . 8) (4 . 9) (7 . 10)) 5345 0.4545 4.0252 ((1 . 7) (2 . 8) (3 . 9) (12 . 16) (14 . 18)) 5368 0.4545 5.3046 ((1 . 15) (2 . 16) (3 . 17) (12 . 25) (14 . 27)) 5378 0.3636 6.2135 ((1 . 8) (2 . 9) (12 . 16) (15 . 20)) 5411 0.3636 4.9574 ((10 . 2) (12 . 3) (13 . 5) (14 . 6)) 5414 0.3636 6.4798 ((2 . 14) (3 . 15) (4 . 16) (7 . 18)) 5418 0.3636 2.9822 ((1 . 7) (2 . 8) (3 . 9) (10 . 10)) 5421 0.3522 8.8432 ((2 . 3) (4 . 4) (7 . 5) (14 . 13)) 5433 0.3636 6.4496 ((2 . 5) (3 . 7) (12 . 16) (14 . 18)) 5479 0.3636 5.6504 ((2 . 45) (3 . 46) (12 . 51) (14 . 53)) 5487 0.4545 5.2214 ((3 . 4) (10 . 8) (12 . 9) (14 . 11) (15 . 12)) 5489 0.3627 14.0913 ((3 . 1) (10 . 4) (12 . 6) (14 . 9)) 5500 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (10 . 10) (12 . 12) (13 . 13) (14 . 14) (15 . 15)) 5501 0.6275 3.2576 ((1 . 16) (2 . 17) (3 . 20) (10 . 28) (12 . 30) (13 . 32) (15 . 34)) 5525 0.3635 8.4001 ((4 . 7) (7 . 8) (10 . 10) (13 . 12)) 5535 0.3634 9.5086 ((1 . 7) (2 . 8) (7 . 11) (10 . 13)) 5540 0.3636 7.6809 ((4 . 10) (12 . 16) (13 . 17) (14 . 18)) 5557 0.4426 10.6932 ((3 . 2) (10 . 5) (12 . 6) (13 . 7) (15 . 8)) 5560 0.5453 5.4403 ((1 . 13) (3 . 15) (10 . 18) (12 . 20) (13 . 21) (14 . 22)) 5562 0.4545 5.1114 ((1 . 7) (10 . 13) (12 . 14) (13 . 15) (14 . 17)) 5567 0.4511 14.7534 ((2 . 5) (10 . 10) (12 . 11) (13 . 14) (14 . 15)) 5594 0.4545 5.6308 ((3 . 4) (10 . 7) (12 . 9) (13 . 10) (14 . 12)) 5600 0.4534 11.2057 ((2 . 3) (6 . 4) (10 . 7) (12 . 9) (14 . 11)) 5601 0.4543 7.4812 ((3 . 5) (4 . 7) (10 . 9) (12 . 12) (14 . 15)) 5638 0.3630 12.6821 ((7 . 8) (10 . 12) (12 . 13) (13 . 14)) 5640 0.4545 4.4518 ((1 . 9) (2 . 10) (3 . 11) (12 . 19) (14 . 23)) 5644 0.3636 5.1854 ((1 . 1) (2 . 3) (3 . 4) (14 . 13)) 5656 0.5586 4.2642 ((1 . 1) (2 . 5) (3 . 8) (10 . 12) (12 . 14) (13 . 15) (14 . 16)) 5689 0.2377 11.0088 ((6 . 1) (10 . 3) (13 . 4) (15 . 7)) 5700 0.3635 8.3515 ((2 . 2) (3 . 3) (12 . 8) (14 . 11)) 5701 0.4545 5.2738 ((1 . 4) (2 . 5) (12 . 8) (13 . 10) (14 . 11)) 5702 0.2377 10.2876 ((6 . 1) (10 . 3) (13 . 4) (15 . 7)) 5703 0.3635 7.9142 ((2 . 1) (3 . 2) (6 . 3) (12 . 7)) 5711 0.3636 6.1268 ((1 . 39) (2 . 42) (3 . 43) (4 . 44)) 5713 0.4545 3.8870 ((1 . 10) (2 . 11) (3 . 13) (12 . 20) (14 . 24)) 5718 0.3636 5.0885 ((1 . 16) (2 . 17) (3 . 18) (7 . 23)) 5731 0.3636 6.3550 ((1 . 2) (2 . 3) (10 . 8) (12 . 10)) 5746 0.4544 6.0766 ((1 . 2) (2 . 3) (6 . 5) (12 . 10) (14 . 13)) 5749 0.3634 9.8342 ((2 . 3) (3 . 4) (4 . 5) (7 . 6)) 5761 0.3636 6.0592 ((1 . 30) (2 . 31) (10 . 34) (12 . 36)) 5770 0.3517 13.3205 ((2 . 9) (7 . 15) (10 . 18) (15 . 22)) 5771 0.4434 3.5806 ((1 . 9) (4 . 13) (7 . 15) (12 . 17) (14 . 20)) 5782 0.4545 4.3134 ((2 . 14) (3 . 15) (12 . 22) (13 . 23) (14 . 24)) 5794 0.3635 7.8793 ((1 . 15) (2 . 16) (10 . 22) (12 . 23)) 5795 0.3636 4.7578 ((10 . 12) (12 . 13) (13 . 15) (14 . 16)) 5809 0.4545 4.8341 ((3 . 3) (10 . 6) (12 . 7) (13 . 8) (14 . 9)) 5822 0.3636 7.6655 ((2 . 1) (3 . 2) (4 . 4) (10 . 5)) 5827 0.3636 5.1107 ((3 . 3) (10 . 6) (12 . 11) (13 . 12)) 5830 0.4432 7.8777 ((1 . 3) (4 . 8) (6 . 9) (7 . 10) (13 . 15)) 5847 0.3636 5.8515 ((1 . 14) (2 . 15) (3 . 16) (4 . 17)) 5861 0.3636 5.0391 ((2 . 1) (3 . 2) (12 . 10) (14 . 12)) 5865 0.3192 8.8837 ((1 . 4) (2 . 5) (7 . 7) (10 . 8)) 5878 0.2377 8.7282 ((6 . 22) (10 . 24) (12 . 25) (14 . 30)) 5888 0.4545 4.8735 ((1 . 4) (2 . 5) (3 . 6) (12 . 12) (14 . 14)) 5896 0.3636 5.7287 ((2 . 26) (6 . 27) (10 . 30) (12 . 31)) 5904 0.4545 3.7884 ((1 . 4) (10 . 8) (12 . 9) (13 . 10) (14 . 11)) 5913 0.5453 4.9669 ((1 . 5) (2 . 6) (10 . 11) (12 . 13) (13 . 14) (14 . 15)) 5914 0.3418 7.9808 ((1 . 2) (2 . 3) (4 . 5) (7 . 6)) 5922 0.3636 6.9892 ((1 . 1) (2 . 3) (3 . 4) (14 . 11)) 5930 0.2728 4.9355 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 5939 0.3635 8.5356 ((4 . 2) (10 . 5) (12 . 6) (14 . 8)) 5945 0.4545 3.8898 ((1 . 11) (10 . 22) (12 . 23) (13 . 25) (14 . 26)) 5949 0.4545 4.5533 ((1 . 1) (3 . 4) (10 . 8) (12 . 12) (13 . 13)) 5955 0.3636 3.4392 ((10 . 6) (12 . 7) (13 . 8) (14 . 9)) 5967 0.3635 9.1632 ((2 . 1) (6 . 2) (7 . 3) (13 . 10)) 5972 0.3636 7.4622 ((10 . 1) (13 . 5) (14 . 6) (15 . 8)) 5977 0.3989 7.8579 ((7 . 1) (10 . 2) (12 . 3) (13 . 4) (14 . 5)) 6000 0.3636 4.5893 ((2 . 14) (3 . 15) (6 . 16) (7 . 17)) 6011 0.3636 7.1077 ((1 . 4) (2 . 5) (12 . 13) (14 . 15)) 6022 0.0999 6.6979 ((1 . 1) (2 . 2) (3 . 4) (12 . 8) (14 . 9)) 6029 0.3636 6.8147 ((1 . 17) (2 . 18) (6 . 20) (7 . 21)) 6041 0.3636 6.2905 ((2 . 10) (3 . 11) (4 . 12) (10 . 14)) 6046 0.3636 6.9848 ((2 . 2) (3 . 3) (4 . 5) (7 . 6)) 6061 0.4545 4.0734 ((3 . 13) (10 . 16) (12 . 17) (13 . 18) (14 . 20)) 6074 0.3636 3.5825 ((3 . 4) (12 . 8) (13 . 10) (14 . 11)) 6075 0.3636 3.3470 ((1 . 17) (3 . 21) (12 . 27) (14 . 28)) 6079 0.3636 4.9134 ((1 . 7) (2 . 8) (3 . 9) (10 . 14)) 6087 0.5340 3.1374 ((1 . 3) (10 . 7) (12 . 8) (13 . 9) (14 . 10) (15 . 11)) 6089 0.3418 7.6260 ((2 . 11) (10 . 15) (14 . 21) (15 . 22)) 6094 0.3636 6.1085 ((2 . 10) (3 . 11) (4 . 12) (7 . 14)) 6099 0.4545 5.9027 ((2 . 5) (3 . 6) (12 . 11) (14 . 14) (15 . 15)) 6123 0.3634 9.8339 ((1 . 3) (2 . 4) (3 . 5) (6 . 7)) 6142 0.4544 6.1271 ((1 . 6) (2 . 7) (3 . 8) (12 . 14) (14 . 19)) 6169 0.2377 11.7822 ((6 . 10) (10 . 12) (13 . 13) (15 . 15)) 6173 0.4545 4.6141 ((1 . 4) (2 . 5) (12 . 7) (14 . 15) (15 . 16)) 6191 0.3636 6.5336 ((2 . 9) (3 . 10) (4 . 12) (7 . 13)) 6192 0.3635 8.5592 ((6 . 7) (10 . 9) (13 . 12) (15 . 16)) 6215 0.3636 6.5749 ((2 . 17) (3 . 18) (10 . 22) (12 . 24)) 6225 0.4545 4.6796 ((1 . 3) (2 . 4) (12 . 10) (13 . 11) (14 . 12)) 6228 0.4545 5.8476 ((1 . 1) (3 . 3) (10 . 6) (12 . 7) (13 . 8)) 6234 0.3636 7.6469 ((2 . 6) (3 . 7) (4 . 9) (7 . 10)) 6238 0.3636 4.5816 ((2 . 3) (3 . 4) (12 . 9) (13 . 10)) 6243 0.3636 4.7957 ((1 . 3) (10 . 9) (12 . 10) (13 . 11)) 6251 0.3636 4.4578 ((1 . 8) (3 . 10) (12 . 15) (14 . 17)) 6258 0.3636 5.6487 ((4 . 3) (7 . 4) (14 . 10) (15 . 11)) 6261 0.4545 4.1293 ((1 . 1) (7 . 6) (10 . 7) (12 . 9) (14 . 11)) 6266 0.3636 7.5336 ((1 . 6) (3 . 8) (4 . 10) (10 . 12)) 6270 0.3636 4.9513 ((2 . 15) (6 . 16) (10 . 19) (12 . 20)) 6271 0.3636 5.4581 ((2 . 4) (3 . 5) (10 . 9) (12 . 10)) 6273 0.3635 8.7113 ((1 . 1) (2 . 2) (3 . 4) (12 . 7)) 6294 0.4543 7.9424 ((6 . 19) (10 . 21) (12 . 23) (13 . 24) (14 . 25)) 6306 0.3636 7.4510 ((2 . 15) (3 . 16) (4 . 17) (10 . 18)) 6309 0.3635 7.7866 ((2 . 17) (3 . 18) (12 . 25) (13 . 26)) 6311 0.3636 7.1234 ((1 . 10) (2 . 11) (4 . 13) (7 . 14)) 6326 0.3636 5.5692 ((2 . 9) (3 . 10) (4 . 11) (7 . 12)) 6329 0.3417 9.6956 ((6 . 11) (10 . 12) (13 . 15) (15 . 16)) 6338 0.3635 7.7828 ((2 . 4) (3 . 5) (4 . 7) (7 . 8)) 6344 0.3636 6.6461 ((6 . 9) (10 . 11) (12 . 12) (14 . 15)) 6345 0.3635 8.3761 ((2 . 4) (3 . 6) (10 . 9) (12 . 11)) 6348 0.5454 3.7464 ((1 . 1) (3 . 4) (10 . 8) (12 . 9) (13 . 10) (14 . 11)) 6355 0.3636 6.7311 ((1 . 4) (2 . 6) (3 . 8) (7 . 9)) 6356 0.4545 2.6293 ((1 . 1) (10 . 8) (12 . 9) (13 . 10) (14 . 11)) 6369 0.4545 4.3627 ((3 . 22) (10 . 25) (12 . 26) (13 . 28) (14 . 29)) 6376 0.3636 4.0646 ((10 . 16) (12 . 17) (13 . 18) (14 . 19)) 6391 0.3636 6.0936 ((1 . 8) (2 . 10) (3 . 12) (7 . 14)) 6392 0.4545 5.1290 ((1 . 1) (3 . 3) (10 . 6) (12 . 7) (14 . 9)) 6399 0.4545 4.1359 ((1 . 18) (2 . 19) (3 . 20) (12 . 25) (14 . 29)) 6403 0.4542 8.1476 ((1 . 1) (2 . 2) (3 . 3) (10 . 6) (12 . 10)) 6434 0.3633 10.9020 ((2 . 2) (3 . 3) (7 . 5) (15 . 9)) 6462 0.4545 4.8903 ((3 . 16) (10 . 19) (12 . 20) (13 . 21) (14 . 22)) 6498 0.4375 3.6201 ((1 . 16) (2 . 19) (3 . 21) (12 . 29) (13 . 30) (14 . 31)) 6520 0.3636 5.6833 ((6 . 22) (10 . 23) (12 . 24) (14 . 26)) 6539 0.3636 6.2517 ((2 . 2) (6 . 3) (10 . 7) (12 . 8)) 6548 0.3635 8.3178 ((10 . 8) (12 . 9) (14 . 13) (15 . 14)) 6553 0.4545 5.2727 ((1 . 11) (3 . 13) (10 . 19) (12 . 20) (14 . 22)) 6555 0.3635 8.2230 ((1 . 13) (3 . 17) (12 . 23) (14 . 25)) 6561 0.3635 9.1278 ((2 . 10) (6 . 11) (12 . 13) (15 . 16)) 6573 0.3635 7.7466 ((1 . 17) (6 . 20) (12 . 23) (14 . 25)) 6575 0.3418 7.9384 ((3 . 1) (6 . 3) (10 . 6) (13 . 7)) 6578 0.3635 8.8287 ((3 . 31) (6 . 33) (12 . 38) (13 . 39)) 6584 0.3636 3.9732 ((2 . 2) (3 . 3) (12 . 9) (13 . 10)) 6585 0.3636 2.9687 ((10 . 4) (12 . 6) (13 . 7) (14 . 8)) 6586 0.2377 7.4529 ((10 . 16) (12 . 18) (13 . 19) (15 . 22)) 6587 0.3990 5.9485 ((1 . 29) (2 . 31) (12 . 33) (14 . 34) (15 . 35)) 6598 0.4545 3.9401 ((1 . 20) (2 . 21) (3 . 22) (12 . 24) (14 . 28)) 6613 0.3636 4.3074 ((10 . 23) (12 . 24) (13 . 25) (14 . 27)) 6635 0.3636 5.3025 ((2 . 4) (3 . 5) (6 . 6) (7 . 7)) END