818 25 0.2854 9.1973 ((3 . 4) (5 . 5) (9 . 9) (12 . 11)) 41 0.4420 4.9734 ((3 . 2) (4 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8)) 51 0.3077 6.3912 ((11 . 4) (12 . 6) (14 . 7) (16 . 10)) 62 0.3077 7.0851 ((4 . 12) (7 . 13) (9 . 15) (10 . 16)) 64 0.3077 6.5441 ((4 . 4) (8 . 7) (14 . 9) (16 . 10)) 77 0.1919 11.6917 ((9 . 3) (12 . 6) (14 . 8) (16 . 9)) 91 0.3846 4.8821 ((4 . 16) (7 . 19) (8 . 21) (9 . 22) (11 . 30)) 96 0.3077 5.2009 ((4 . 1) (5 . 2) (7 . 3) (9 . 4)) 129 0.3077 6.8239 ((1 . 2) (4 . 5) (8 . 9) (10 . 11)) 136 0.3077 6.4477 ((4 . 3) (5 . 4) (8 . 5) (11 . 9)) 150 0.3077 5.2832 ((1 . 20) (3 . 21) (4 . 23) (7 . 25)) 153 0.3845 7.0272 ((7 . 1) (10 . 4) (12 . 6) (14 . 8) (16 . 9)) 155 0.2975 7.8673 ((2 . 3) (3 . 4) (5 . 5) (9 . 7)) 157 0.4615 4.8823 ((3 . 10) (5 . 12) (8 . 14) (9 . 15) (11 . 17) (12 . 18)) 161 0.2975 5.7864 ((1 . 2) (2 . 3) (4 . 6) (7 . 9)) 162 0.3076 10.4587 ((4 . 12) (10 . 17) (12 . 18) (14 . 22)) 169 0.3076 8.1646 ((8 . 1) (12 . 4) (14 . 7) (16 . 8)) 177 0.3076 8.3434 ((4 . 1) (10 . 4) (14 . 8) (16 . 10)) 191 0.3076 8.1767 ((1 . 1) (3 . 3) (14 . 8) (16 . 9)) 198 0.3077 6.9377 ((2 . 1) (7 . 6) (12 . 12) (16 . 17)) 207 0.3077 6.2009 ((4 . 8) (9 . 12) (10 . 13) (12 . 15)) 233 0.3077 7.4979 ((2 . 1) (4 . 3) (7 . 5) (10 . 8)) 259 0.2553 11.9961 ((3 . 2) (5 . 3) (9 . 6) (11 . 7)) 293 0.2553 12.0517 ((3 . 2) (5 . 3) (9 . 4) (11 . 5)) 300 0.3077 6.3153 ((4 . 2) (5 . 3) (14 . 9) (16 . 10)) 305 0.3846 5.4740 ((5 . 8) (8 . 9) (9 . 10) (10 . 11) (16 . 18)) 307 0.3698 7.9807 ((1 . 3) (3 . 6) (4 . 7) (7 . 9) (9 . 10)) 315 0.2974 11.4821 ((8 . 5) (10 . 6) (11 . 7) (12 . 8)) 329 0.2975 8.0545 ((3 . 1) (5 . 3) (8 . 5) (11 . 7)) 350 0.3077 6.1795 ((10 . 2) (12 . 4) (14 . 7) (16 . 8)) 360 0.3845 7.0217 ((4 . 5) (7 . 7) (10 . 9) (12 . 12) (14 . 14)) 361 0.3845 6.7289 ((1 . 2) (2 . 4) (5 . 6) (12 . 10) (16 . 11)) 365 0.2554 10.3712 ((7 . 1) (8 . 2) (10 . 3) (12 . 6)) 367 0.3696 10.6516 ((1 . 38) (3 . 41) (4 . 42) (8 . 44) (12 . 48)) 372 0.3077 6.3346 ((1 . 1) (2 . 2) (4 . 6) (7 . 8)) 387 0.3077 7.8725 ((10 . 7) (12 . 9) (14 . 11) (16 . 12)) 405 0.3076 10.0124 ((10 . 32) (12 . 34) (14 . 38) (16 . 39)) 417 0.1919 10.0614 ((4 . 2) (8 . 7) (9 . 6) (12 . 9)) 420 0.3077 6.9613 ((4 . 3) (7 . 5) (10 . 8) (12 . 10)) 433 0.3077 6.6997 ((4 . 6) (7 . 7) (9 . 8) (10 . 9)) 442 0.3845 7.8629 ((3 . 11) (4 . 12) (7 . 14) (14 . 19) (16 . 21)) 460 0.3077 7.1848 ((1 . 1) (4 . 3) (5 . 4) (11 . 9)) 472 0.3076 9.1112 ((7 . 20) (8 . 22) (14 . 25) (16 . 27)) 491 0.2974 12.1363 ((2 . 1) (5 . 5) (7 . 6) (12 . 9)) 495 0.3077 5.2322 ((10 . 3) (11 . 4) (12 . 5) (14 . 7)) 541 0.3763 4.1508 ((1 . 5) (3 . 6) (4 . 7) (5 . 9) (8 . 11)) 543 0.3077 6.7338 ((11 . 3) (12 . 5) (14 . 6) (16 . 8)) 553 0.3074 12.7847 ((1 . 12) (3 . 14) (5 . 15) (11 . 21)) 561 0.3077 7.9004 ((4 . 1) (7 . 3) (8 . 4) (9 . 5)) 584 0.3077 5.2168 ((1 . 3) (4 . 5) (9 . 9) (10 . 10)) 587 0.3077 5.8879 ((4 . 4) (8 . 8) (14 . 10) (16 . 11)) 609 0.3077 3.7094 ((4 . 3) (7 . 6) (9 . 7) (10 . 8)) 619 0.3846 6.0944 ((1 . 6) (3 . 14) (10 . 15) (12 . 18) (16 . 20)) 624 0.4562 7.1955 ((2 . 5) (3 . 6) (4 . 7) (7 . 9) (10 . 11) (16 . 16)) 635 0.3077 6.4070 ((4 . 13) (8 . 15) (11 . 17) (12 . 18)) 672 0.3077 6.5008 ((7 . 16) (10 . 18) (14 . 23) (16 . 24)) 678 0.5787 6.6838 ((1 . 22) (3 . 23) (4 . 24) (5 . 25) (7 . 26) (11 . 28) (12 . 29) (14 . 34)) 683 0.2284 10.3098 ((8 . 2) (10 . 3) (11 . 4) (12 . 5)) 719 0.3077 6.1634 ((4 . 25) (7 . 27) (9 . 29) (10 . 30)) 729 0.3846 4.7129 ((2 . 5) (7 . 7) (8 . 9) (9 . 12) (10 . 13)) 735 0.3077 7.0590 ((4 . 29) (7 . 32) (10 . 36) (12 . 39)) 740 0.3075 11.2839 ((1 . 2) (2 . 3) (4 . 5) (7 . 9)) 765 0.3077 5.7144 ((1 . 7) (2 . 8) (4 . 12) (12 . 20)) 767 0.3077 4.8471 ((1 . 1) (3 . 2) (4 . 3) (7 . 8)) 782 0.1632 14.1373 ((3 . 4) (5 . 5) (9 . 8) (11 . 11)) 792 0.3025 9.3516 ((3 . 8) (5 . 10) (9 . 13) (11 . 14)) 795 0.3846 4.6925 ((1 . 1) (11 . 2) (12 . 3) (14 . 5) (16 . 6)) 796 0.3077 5.0945 ((11 . 1) (12 . 3) (14 . 5) (16 . 6)) 801 0.2975 9.1996 ((1 . 1) (2 . 2) (4 . 4) (7 . 6)) 812 0.3077 5.0800 ((4 . 9) (7 . 11) (9 . 12) (10 . 13)) 818 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 14) (16 . 16)) 819 0.2554 8.8046 ((5 . 4) (12 . 5) (14 . 8) (16 . 9)) 824 0.2554 7.2806 ((2 . 43) (4 . 46) (7 . 49) (10 . 51)) 834 0.3025 9.0375 ((2 . 33) (3 . 34) (9 . 38) (11 . 39)) 861 0.3077 6.8461 ((5 . 11) (7 . 12) (9 . 14) (12 . 17)) 901 0.4495 6.1809 ((1 . 1) (3 . 4) (4 . 5) (11 . 6) (12 . 7) (14 . 9)) 904 0.3077 7.2319 ((11 . 1) (12 . 2) (14 . 3) (16 . 6)) 913 0.3076 8.0702 ((3 . 15) (4 . 16) (7 . 17) (12 . 20)) 928 0.4613 7.4394 ((1 . 10) (2 . 12) (4 . 14) (5 . 15) (7 . 16) (9 . 17)) 937 0.3076 8.4114 ((4 . 1) (7 . 4) (8 . 5) (9 . 6)) 943 0.3846 2.8084 ((4 . 6) (7 . 8) (10 . 9) (12 . 12) (16 . 15)) 945 0.3846 5.2641 ((4 . 14) (5 . 16) (8 . 17) (9 . 18) (10 . 19)) 949 0.2853 12.3630 ((1 . 27) (4 . 30) (9 . 35) (11 . 36)) 960 0.3568 6.6435 ((1 . 9) (4 . 12) (9 . 16) (10 . 19) (11 . 20)) 978 0.3077 5.9926 ((4 . 4) (5 . 5) (7 . 6) (8 . 10)) 980 0.3845 7.0777 ((2 . 3) (4 . 5) (7 . 7) (9 . 8) (10 . 9)) 1007 0.3791 11.4113 ((3 . 5) (7 . 7) (10 . 9) (12 . 11) (14 . 13)) 1008 0.3076 8.9138 ((3 . 2) (10 . 8) (14 . 15) (16 . 16)) 1034 0.3077 4.3316 ((4 . 20) (7 . 29) (9 . 31) (10 . 32)) 1043 0.3845 8.1380 ((7 . 6) (9 . 7) (12 . 10) (14 . 12) (16 . 14)) 1082 0.3077 5.7726 ((4 . 2) (8 . 6) (12 . 8) (16 . 12)) 1084 0.3076 8.4481 ((1 . 3) (7 . 11) (14 . 18) (16 . 20)) 1121 0.2975 8.2894 ((9 . 1) (10 . 2) (12 . 4) (14 . 6)) 1165 0.3846 5.4346 ((4 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 1167 0.2552 14.5978 ((3 . 24) (5 . 25) (7 . 27) (11 . 28)) 1169 0.3077 6.7303 ((7 . 30) (8 . 32) (10 . 34) (12 . 37)) 1195 0.3076 10.4852 ((9 . 1) (10 . 2) (14 . 5) (16 . 6)) 1201 0.3077 4.2944 ((7 . 4) (12 . 7) (14 . 9) (16 . 11)) 1204 0.4351 5.1616 ((1 . 12) (3 . 13) (5 . 15) (9 . 19) (10 . 20) (11 . 21) (12 . 22)) 1210 0.3076 9.8082 ((3 . 3) (5 . 4) (9 . 6) (11 . 7)) 1211 0.3842 10.8197 ((4 . 3) (8 . 5) (12 . 8) (14 . 10) (16 . 11)) 1217 0.2854 6.9503 ((1 . 3) (2 . 5) (4 . 7) (7 . 11)) 1224 0.3077 6.8969 ((4 . 5) (12 . 10) (14 . 14) (16 . 15)) 1233 0.3846 4.2236 ((3 . 13) (4 . 14) (7 . 17) (10 . 20) (11 . 21)) 1267 0.4615 4.7663 ((4 . 22) (5 . 23) (7 . 24) (8 . 33) (9 . 34) (10 . 38)) 1268 0.2974 10.5376 ((3 . 10) (8 . 13) (9 . 15) (11 . 16)) 1294 0.3077 7.9190 ((1 . 39) (4 . 41) (10 . 46) (12 . 47)) 1345 0.3077 5.7474 ((4 . 7) (7 . 9) (9 . 10) (10 . 12)) 1366 0.3845 7.7102 ((4 . 12) (7 . 14) (10 . 16) (14 . 21) (16 . 22)) 1388 0.3294 10.4740 ((1 . 5) (3 . 7) (4 . 8) (5 . 10) (9 . 12)) 1410 0.2283 11.2339 ((1 . 21) (2 . 22) (4 . 23) (7 . 26)) 1425 0.3077 7.2162 ((4 . 4) (7 . 8) (10 . 11) (12 . 12)) 1435 0.2854 9.4603 ((10 . 2) (11 . 4) (14 . 5) (16 . 6)) 1447 0.5223 5.7676 ((1 . 1) (3 . 2) (4 . 3) (7 . 5) (10 . 7) (11 . 8) (12 . 9)) 1451 0.3077 5.7230 ((4 . 6) (5 . 7) (8 . 8) (10 . 10)) 1464 0.3025 10.5884 ((2 . 7) (5 . 9) (7 . 10) (10 . 14)) 1470 0.2975 9.4890 ((3 . 2) (5 . 3) (9 . 5) (11 . 6)) 1472 0.2554 10.1923 ((3 . 3) (5 . 5) (10 . 8) (11 . 10)) 1476 0.4615 4.5200 ((4 . 11) (7 . 14) (8 . 15) (9 . 17) (10 . 18) (11 . 19)) 1481 0.2284 7.1100 ((2 . 2) (3 . 3) (4 . 4) (9 . 8)) 1497 0.2854 10.4683 ((3 . 16) (5 . 17) (9 . 19) (11 . 20)) 1501 0.3077 6.8927 ((7 . 1) (10 . 3) (14 . 7) (16 . 8)) 1508 0.2284 7.4211 ((3 . 1) (4 . 2) (5 . 3) (9 . 4)) 1513 0.3077 4.9735 ((4 . 15) (5 . 16) (7 . 18) (9 . 19)) 1514 0.3076 9.5390 ((4 . 1) (5 . 2) (8 . 4) (9 . 5)) 1577 0.3076 8.5776 ((1 . 10) (3 . 11) (4 . 12) (7 . 15)) 1591 0.5343 6.3321 ((1 . 1) (3 . 3) (4 . 4) (7 . 6) (8 . 8) (10 . 16) (12 . 19)) 1595 0.2854 10.2059 ((3 . 4) (5 . 6) (7 . 7) (9 . 9)) 1604 0.3568 5.0515 ((1 . 3) (4 . 10) (9 . 11) (10 . 12) (11 . 13)) 1622 0.3568 5.5077 ((1 . 18) (4 . 20) (7 . 22) (10 . 23) (14 . 25)) 1624 0.3072 14.6042 ((2 . 4) (4 . 6) (9 . 10) (11 . 11)) 1643 0.3761 9.0993 ((2 . 31) (4 . 33) (7 . 36) (10 . 38) (16 . 41)) 1644 0.3077 6.8701 ((10 . 44) (12 . 47) (14 . 49) (16 . 50)) 1665 0.3077 4.4295 ((7 . 6) (9 . 7) (10 . 8) (11 . 9)) 1690 0.3846 4.7369 ((4 . 8) (7 . 11) (10 . 13) (12 . 16) (16 . 20)) 1692 0.3076 8.7765 ((4 . 1) (5 . 2) (10 . 7) (12 . 8)) 1731 0.3077 4.7255 ((4 . 3) (8 . 6) (9 . 7) (10 . 8)) 1736 0.3846 5.3683 ((1 . 1) (4 . 3) (7 . 5) (9 . 6) (10 . 7)) 1738 0.3077 4.0427 ((4 . 4) (7 . 6) (11 . 10) (12 . 11)) 1747 0.3840 11.7996 ((1 . 18) (7 . 24) (10 . 27) (14 . 29) (16 . 30)) 1756 0.3077 4.6134 ((1 . 21) (2 . 22) (4 . 25) (10 . 31)) 1759 0.3077 5.4507 ((1 . 2) (4 . 5) (7 . 8) (12 . 13)) 1761 0.3846 3.8729 ((4 . 9) (7 . 11) (10 . 13) (11 . 14) (12 . 16)) 1763 0.3077 5.1421 ((2 . 3) (3 . 4) (12 . 10) (16 . 13)) 1776 0.3699 4.3687 ((4 . 7) (7 . 9) (9 . 11) (10 . 12) (12 . 14)) 1777 0.3077 4.8061 ((4 . 34) (7 . 37) (12 . 47) (14 . 50)) 1778 0.3077 5.4285 ((4 . 3) (7 . 5) (9 . 6) (12 . 8)) 1793 0.3846 4.3799 ((1 . 6) (3 . 7) (4 . 8) (7 . 10) (8 . 11)) 1796 0.2553 12.8749 ((3 . 2) (5 . 3) (9 . 5) (11 . 6)) 1805 0.3845 7.9795 ((1 . 3) (2 . 4) (7 . 10) (14 . 12) (16 . 14)) 1808 0.3077 4.9120 ((10 . 2) (12 . 5) (14 . 8) (16 . 9)) 1817 0.3077 7.0404 ((10 . 13) (12 . 15) (14 . 19) (16 . 20)) 1867 0.3077 4.9383 ((4 . 1) (5 . 2) (7 . 3) (10 . 7)) 1894 0.3568 5.1891 ((1 . 5) (11 . 6) (12 . 7) (14 . 20) (16 . 23)) 1896 0.3076 8.6488 ((4 . 14) (7 . 17) (14 . 23) (16 . 24)) 1897 0.3077 7.7226 ((1 . 32) (2 . 34) (3 . 35) (16 . 46)) 1908 0.3846 5.0290 ((1 . 7) (3 . 9) (7 . 15) (9 . 16) (10 . 17)) 1909 0.4419 5.7662 ((1 . 29) (3 . 33) (4 . 34) (7 . 37) (9 . 38) (10 . 39)) 1913 0.3845 7.2449 ((1 . 4) (2 . 5) (4 . 7) (7 . 10) (10 . 14)) 1944 0.3846 5.9480 ((1 . 3) (3 . 4) (4 . 5) (12 . 9) (14 . 13)) 1957 0.3846 4.2612 ((4 . 11) (7 . 13) (10 . 15) (11 . 16) (12 . 17)) 1961 0.3295 6.5573 ((2 . 14) (4 . 16) (5 . 18) (7 . 19) (10 . 20)) 1967 0.3598 5.8199 ((1 . 1) (4 . 3) (5 . 4) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 13) (16 . 14)) 1972 0.3077 3.8043 ((4 . 18) (7 . 20) (10 . 24) (11 . 25)) 1992 0.3576 7.1155 ((1 . 1) (3 . 5) (11 . 8) (12 . 9) (14 . 12) (16 . 14)) 1995 0.3845 7.4797 ((1 . 2) (3 . 5) (7 . 9) (8 . 11) (10 . 13)) 2003 0.3077 7.3010 ((3 . 2) (4 . 4) (5 . 6) (12 . 11)) 2006 0.3844 8.7171 ((3 . 6) (4 . 7) (7 . 9) (14 . 13) (16 . 14)) 2045 0.3076 9.9382 ((2 . 1) (5 . 4) (11 . 9) (16 . 13)) 2048 0.3846 5.7878 ((1 . 1) (3 . 3) (4 . 4) (7 . 6) (16 . 16)) 2054 0.2283 11.3146 ((3 . 4) (10 . 13) (11 . 12) (12 . 14)) 2063 0.3077 5.7719 ((2 . 42) (4 . 44) (7 . 47) (8 . 49)) 2065 0.3077 7.6734 ((1 . 18) (2 . 19) (7 . 26) (10 . 28)) 2067 0.3295 6.7466 ((4 . 54) (5 . 56) (8 . 57) (9 . 58) (10 . 60)) 2072 0.3076 10.4750 ((7 . 2) (10 . 4) (12 . 5) (14 . 7)) 2081 0.3077 5.0858 ((1 . 12) (10 . 19) (14 . 21) (16 . 23)) 2083 0.3077 6.0704 ((7 . 2) (9 . 3) (10 . 4) (11 . 6)) 2097 0.3076 8.9058 ((1 . 1) (2 . 3) (4 . 5) (14 . 16)) 2114 0.3077 5.6378 ((3 . 30) (4 . 32) (10 . 36) (11 . 37)) 2116 0.3077 5.6485 ((4 . 1) (12 . 6) (14 . 8) (16 . 10)) 2117 0.3846 6.2016 ((4 . 1) (5 . 3) (7 . 4) (9 . 8) (11 . 26)) 2118 0.3077 6.2051 ((1 . 1) (4 . 5) (7 . 7) (14 . 11)) 2122 0.3846 5.0115 ((1 . 1) (3 . 5) (4 . 6) (7 . 8) (14 . 12)) 2166 0.3076 9.8888 ((1 . 16) (2 . 17) (3 . 18) (4 . 21)) 2179 0.3845 6.7309 ((1 . 1) (3 . 3) (4 . 5) (10 . 10) (12 . 13)) 2196 0.3077 4.9787 ((1 . 10) (4 . 14) (7 . 16) (8 . 18)) 2203 0.3076 8.9126 ((4 . 1) (5 . 3) (8 . 5) (16 . 12)) 2205 0.3076 8.0549 ((1 . 16) (4 . 20) (7 . 22) (10 . 26)) 2209 0.3846 4.7469 ((3 . 2) (4 . 3) (7 . 5) (11 . 8) (12 . 9)) 2220 0.3077 6.7265 ((11 . 1) (12 . 2) (14 . 4) (16 . 7)) 2243 0.3077 7.1412 ((1 . 52) (12 . 53) (14 . 54) (16 . 67)) 2244 0.3077 6.4222 ((4 . 69) (10 . 73) (12 . 75) (14 . 77)) 2248 0.3076 8.3506 ((1 . 16) (9 . 23) (11 . 26) (12 . 27)) 2249 0.3077 5.2339 ((4 . 11) (11 . 14) (12 . 16) (14 . 20)) 2269 0.3295 6.4071 ((4 . 8) (5 . 9) (7 . 10) (10 . 12) (11 . 13)) 2279 0.3077 5.0053 ((4 . 5) (5 . 6) (7 . 7) (8 . 9)) 2298 0.3846 5.7488 ((1 . 6) (4 . 8) (7 . 10) (12 . 15) (14 . 17)) 2308 0.3296 5.9915 ((4 . 6) (5 . 7) (7 . 8) (10 . 11) (11 . 12)) 2314 0.3077 5.7033 ((1 . 4) (4 . 7) (7 . 8) (11 . 9)) 2340 0.3845 6.8526 ((4 . 9) (5 . 10) (7 . 11) (10 . 14) (11 . 15)) 2342 0.2975 10.2322 ((3 . 7) (5 . 8) (9 . 10) (11 . 11)) 2344 0.3844 9.0500 ((3 . 12) (4 . 13) (5 . 15) (8 . 18) (11 . 21)) 2364 0.3846 4.6519 ((4 . 7) (5 . 8) (7 . 9) (8 . 12) (10 . 15)) 2381 0.3077 5.4747 ((4 . 3) (7 . 4) (8 . 5) (11 . 8)) 2389 0.3077 4.7713 ((7 . 9) (10 . 11) (11 . 12) (12 . 14)) 2408 0.3846 6.5264 ((2 . 32) (7 . 37) (12 . 41) (14 . 45) (16 . 46)) 2409 0.3077 6.7818 ((9 . 1) (10 . 3) (12 . 5) (16 . 8)) 2410 0.3076 8.0664 ((9 . 12) (12 . 13) (14 . 16) (16 . 17)) 2422 0.3077 4.6753 ((4 . 1) (7 . 4) (10 . 9) (11 . 10)) 2423 0.3077 5.4058 ((7 . 16) (12 . 20) (14 . 22) (16 . 25)) 2440 0.3077 5.2393 ((2 . 6) (4 . 7) (7 . 9) (11 . 10)) 2443 0.3026 8.0542 ((3 . 2) (5 . 3) (9 . 5) (11 . 6)) 2447 0.3077 3.7550 ((3 . 29) (4 . 30) (7 . 33) (9 . 35)) 2462 0.3077 6.4799 ((3 . 2) (4 . 3) (10 . 6) (16 . 11)) 2465 0.2973 13.0251 ((3 . 3) (5 . 4) (9 . 6) (11 . 7)) 2510 0.3846 4.1553 ((4 . 3) (7 . 5) (10 . 7) (11 . 8) (12 . 9)) 2519 0.3077 7.2746 ((5 . 1) (8 . 2) (9 . 3) (11 . 4)) 2525 0.3077 6.8226 ((4 . 41) (8 . 45) (9 . 46) (10 . 47)) 2529 0.3076 10.2942 ((1 . 1) (3 . 2) (4 . 3) (8 . 6)) 2533 0.3077 4.5905 ((4 . 6) (7 . 8) (10 . 9) (11 . 11)) 2544 0.2975 8.6701 ((3 . 18) (5 . 20) (7 . 22) (9 . 24)) 2551 0.3077 7.5707 ((2 . 1) (3 . 2) (9 . 5) (11 . 6)) 2552 0.4026 4.7106 ((4 . 1) (5 . 2) (7 . 3) (9 . 4) (10 . 5) (11 . 6)) 2556 0.4615 5.7458 ((1 . 11) (4 . 13) (7 . 16) (10 . 20) (11 . 21) (12 . 22)) 2557 0.3076 8.9287 ((10 . 3) (11 . 4) (12 . 6) (14 . 7)) 2561 0.3077 7.5696 ((4 . 1) (12 . 6) (14 . 8) (16 . 9)) 2595 0.3846 5.0882 ((7 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 9)) 2619 0.3846 4.2147 ((4 . 1) (7 . 3) (9 . 4) (10 . 5) (11 . 6)) 2627 0.3076 10.5442 ((3 . 56) (12 . 60) (14 . 64) (16 . 65)) 2634 0.2854 8.6073 ((3 . 2) (5 . 3) (9 . 5) (11 . 6)) 2650 0.3076 9.3151 ((1 . 2) (4 . 5) (7 . 6) (8 . 7)) 2658 0.3075 11.0800 ((1 . 3) (9 . 8) (14 . 13) (16 . 14)) 2675 0.3077 6.3876 ((4 . 3) (7 . 5) (12 . 10) (14 . 12)) 2682 0.3077 4.1966 ((7 . 1) (9 . 2) (10 . 3) (11 . 4)) 2696 0.3077 7.8401 ((1 . 31) (4 . 34) (7 . 36) (10 . 39)) 2731 0.3076 8.5229 ((4 . 1) (7 . 4) (8 . 5) (9 . 6)) 2733 0.4281 4.8219 ((1 . 4) (3 . 7) (4 . 8) (5 . 9) (7 . 11) (11 . 14)) 2755 0.3846 5.2955 ((3 . 2) (4 . 3) (8 . 5) (10 . 6) (11 . 7)) 2773 0.3074 12.7200 ((1 . 2) (3 . 4) (8 . 6) (9 . 7)) 2783 0.3077 6.4252 ((3 . 4) (7 . 6) (8 . 8) (9 . 9)) 2804 0.3076 10.0863 ((2 . 25) (10 . 34) (11 . 35) (12 . 36)) 2821 0.3077 7.3828 ((7 . 1) (8 . 3) (11 . 6) (12 . 7)) 2830 0.3698 8.1917 ((2 . 13) (3 . 14) (4 . 15) (7 . 17) (10 . 19)) 2834 0.3845 7.8309 ((1 . 9) (3 . 11) (4 . 12) (5 . 13) (8 . 14)) 2840 0.3077 6.9543 ((1 . 6) (3 . 7) (4 . 8) (7 . 11)) 2842 0.3077 7.3843 ((3 . 8) (4 . 9) (5 . 10) (7 . 11)) 2867 0.3077 6.9452 ((2 . 2) (3 . 3) (12 . 9) (16 . 12)) 2879 0.3845 8.4661 ((7 . 51) (10 . 53) (12 . 56) (14 . 58) (16 . 59)) 2886 0.3077 6.5957 ((1 . 34) (4 . 37) (7 . 39) (10 . 43)) 2929 0.2975 9.4575 ((8 . 36) (9 . 37) (11 . 38) (12 . 39)) 2940 0.3077 5.9427 ((4 . 1) (5 . 2) (7 . 3) (12 . 6)) 2947 0.3077 4.9935 ((1 . 4) (3 . 5) (4 . 6) (14 . 13)) 2966 0.3077 5.7368 ((1 . 1) (4 . 4) (5 . 5) (10 . 9)) 2990 0.3077 6.1033 ((4 . 12) (5 . 13) (7 . 14) (10 . 16)) 2999 0.3568 5.8714 ((10 . 2) (11 . 3) (12 . 4) (14 . 6) (16 . 7)) 3014 0.3077 6.1630 ((5 . 3) (7 . 5) (8 . 7) (11 . 8)) 3019 0.3077 5.3077 ((1 . 11) (5 . 15) (11 . 18) (12 . 19)) 3034 0.4281 5.0432 ((1 . 1) (3 . 4) (10 . 5) (11 . 6) (12 . 7) (14 . 9)) 3041 0.3846 4.9313 ((3 . 10) (4 . 12) (7 . 14) (10 . 16) (11 . 17)) 3055 0.3845 7.4238 ((1 . 12) (10 . 13) (12 . 15) (14 . 19) (16 . 20)) 3063 0.3077 5.0078 ((1 . 31) (2 . 32) (14 . 39) (16 . 41)) 3070 0.3077 4.5697 ((11 . 30) (12 . 33) (14 . 35) (16 . 36)) 3084 0.6097 4.2580 ((3 . 12) (4 . 13) (7 . 15) (9 . 16) (10 . 17) (11 . 18) (12 . 21) (16 . 24)) 3102 0.3077 6.9912 ((1 . 65) (2 . 66) (4 . 68) (7 . 70)) 3103 0.3077 7.8628 ((1 . 2) (5 . 6) (11 . 12) (12 . 13)) 3114 0.3076 8.8680 ((1 . 22) (2 . 23) (12 . 25) (16 . 29)) 3120 0.1480 8.5010 ((1 . 21) (4 . 22) (5 . 23) (7 . 25)) 3127 0.4420 4.1721 ((3 . 5) (4 . 6) (7 . 8) (10 . 11) (11 . 12) (12 . 13)) 3147 0.3845 7.6439 ((7 . 11) (10 . 13) (12 . 16) (14 . 18) (16 . 19)) 3176 0.3074 12.6277 ((1 . 26) (4 . 29) (5 . 31) (9 . 32)) 3187 0.3077 6.4853 ((1 . 4) (4 . 6) (9 . 8) (11 . 10)) 3190 0.3846 4.6975 ((4 . 1) (7 . 3) (10 . 6) (11 . 7) (14 . 11)) 3197 0.3846 3.7933 ((4 . 12) (8 . 14) (9 . 15) (10 . 16) (11 . 17)) 3200 0.3077 7.3321 ((2 . 4) (4 . 6) (5 . 7) (10 . 11)) 3202 0.1919 8.9526 ((4 . 9) (11 . 15) (14 . 18) (16 . 19)) 3212 0.3077 6.7129 ((11 . 1) (12 . 2) (14 . 3) (16 . 5)) 3222 0.3076 9.0188 ((1 . 6) (10 . 15) (12 . 16) (14 . 19)) 3256 0.3139 5.7708 ((1 . 13) (8 . 14) (10 . 16) (12 . 20) (14 . 24) (16 . 26)) 3261 0.3077 4.1374 ((1 . 1) (4 . 3) (12 . 7) (14 . 9)) 3286 0.3814 5.6797 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (8 . 9)) 3289 0.3077 7.4153 ((4 . 25) (7 . 29) (8 . 30) (10 . 31)) 3297 0.3077 7.9210 ((7 . 4) (10 . 7) (14 . 9) (16 . 11)) 3300 0.1919 8.8752 ((2 . 1) (3 . 3) (5 . 9) (11 . 11)) 3322 0.4615 3.9345 ((4 . 1) (7 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 8)) 3334 0.3072 14.4849 ((5 . 2) (7 . 3) (8 . 4) (10 . 6)) 3339 0.3846 5.4485 ((4 . 15) (7 . 17) (9 . 18) (10 . 19) (12 . 21)) 3344 0.3076 10.5533 ((1 . 19) (4 . 22) (7 . 24) (12 . 27)) 3358 0.9066 2.1945 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (16 . 16)) 3362 0.3077 5.1573 ((10 . 4) (11 . 5) (12 . 6) (14 . 8)) 3366 0.3077 4.3569 ((1 . 22) (4 . 26) (8 . 28) (14 . 32)) 3391 0.3077 4.4665 ((4 . 6) (5 . 7) (8 . 8) (10 . 10)) 3410 0.3077 4.6437 ((1 . 24) (4 . 28) (5 . 29) (7 . 30)) 3418 0.3076 10.1916 ((9 . 1) (10 . 2) (14 . 6) (16 . 7)) 3446 0.2975 8.3891 ((2 . 6) (3 . 8) (5 . 9) (11 . 12)) 3470 0.2975 8.1173 ((3 . 10) (5 . 11) (9 . 13) (11 . 14)) 3472 0.3077 7.2968 ((1 . 1) (4 . 4) (7 . 6) (12 . 12)) 3481 0.3845 7.6857 ((4 . 2) (7 . 4) (10 . 8) (12 . 10) (14 . 12)) 3489 0.3077 7.6492 ((1 . 2) (4 . 4) (10 . 10) (12 . 14)) 3495 0.3077 7.3119 ((1 . 1) (4 . 3) (5 . 5) (8 . 7)) 3496 0.3077 7.0133 ((1 . 19) (3 . 21) (4 . 22) (16 . 29)) 3533 0.3077 7.4467 ((1 . 3) (3 . 6) (7 . 8) (10 . 11)) 3537 0.3077 6.3661 ((1 . 2) (3 . 3) (7 . 7) (10 . 9)) 3538 0.3077 5.4241 ((3 . 17) (12 . 23) (14 . 25) (16 . 26)) 3548 0.3077 7.3440 ((7 . 5) (9 . 7) (10 . 8) (12 . 10)) 3549 0.2853 11.6023 ((8 . 1) (11 . 4) (14 . 5) (16 . 8)) 3561 0.3077 3.5390 ((3 . 21) (4 . 22) (12 . 28) (14 . 31)) 3570 0.3077 4.2363 ((4 . 1) (7 . 3) (12 . 8) (14 . 10)) 3585 0.3699 5.9818 ((1 . 6) (3 . 7) (7 . 12) (10 . 14) (12 . 16)) 3613 0.2554 9.3529 ((3 . 38) (5 . 39) (7 . 41) (11 . 42)) 3625 0.3076 8.3925 ((7 . 2) (10 . 5) (14 . 7) (16 . 9)) 3626 0.3076 8.1532 ((3 . 1) (4 . 2) (8 . 6) (12 . 11)) 3628 0.3844 9.2475 ((4 . 8) (8 . 10) (11 . 11) (12 . 12) (14 . 14)) 3651 0.3077 3.5906 ((4 . 3) (7 . 5) (10 . 8) (12 . 11)) 3656 0.2854 6.5191 ((3 . 12) (11 . 21) (14 . 22) (16 . 23)) 3658 0.3077 7.1978 ((9 . 2) (12 . 5) (14 . 7) (16 . 8)) 3659 0.2284 7.6808 ((9 . 6) (10 . 7) (14 . 12) (16 . 13)) 3661 0.3077 5.8709 ((1 . 7) (3 . 10) (4 . 11) (16 . 23)) 3663 0.3076 8.3828 ((4 . 1) (8 . 5) (9 . 6) (11 . 7)) 3688 0.3075 11.6686 ((1 . 32) (7 . 37) (8 . 38) (10 . 39)) 3697 0.3077 7.7524 ((7 . 1) (10 . 4) (14 . 6) (16 . 7)) 3703 0.3077 5.1342 ((1 . 1) (4 . 3) (12 . 7) (14 . 9)) 3732 0.3259 4.7139 ((4 . 5) (5 . 6) (7 . 7) (8 . 9) (9 . 10) (10 . 12)) 3733 0.3846 3.1528 ((4 . 1) (7 . 3) (9 . 4) (10 . 6) (11 . 7)) 3740 0.3076 9.1779 ((1 . 2) (4 . 4) (7 . 6) (12 . 9)) 3741 0.3792 10.9585 ((2 . 9) (4 . 10) (8 . 16) (14 . 22) (16 . 23)) 3776 0.3077 3.8189 ((4 . 15) (7 . 17) (10 . 21) (11 . 23)) 3778 0.3077 5.5606 ((1 . 2) (4 . 4) (5 . 5) (7 . 6)) 3787 0.4615 4.2766 ((1 . 17) (3 . 18) (10 . 19) (11 . 20) (12 . 21) (14 . 23)) 3790 0.3077 5.3408 ((1 . 26) (4 . 30) (14 . 38) (16 . 39)) 3807 0.3077 5.7948 ((1 . 43) (4 . 47) (5 . 48) (8 . 50)) 3810 0.3076 9.0621 ((4 . 4) (8 . 9) (10 . 11) (14 . 16)) 3817 0.3844 8.6156 ((1 . 5) (3 . 8) (12 . 9) (14 . 15) (16 . 18)) 3818 0.3077 6.1662 ((1 . 20) (3 . 21) (4 . 23) (10 . 28)) 3829 0.2973 13.5565 ((3 . 6) (5 . 7) (7 . 9) (11 . 13)) 3831 0.3077 7.6917 ((1 . 6) (3 . 7) (4 . 9) (5 . 11)) 3847 0.3077 7.6267 ((4 . 9) (9 . 12) (10 . 13) (11 . 15)) 3849 0.2554 9.6106 ((7 . 1) (8 . 2) (10 . 3) (11 . 4)) 3853 0.3077 4.1075 ((4 . 3) (5 . 4) (7 . 6) (8 . 8)) 3856 0.1920 6.8508 ((10 . 3) (11 . 4) (12 . 6) (16 . 10)) 3870 0.3077 5.0422 ((1 . 8) (4 . 10) (8 . 13) (9 . 14)) 3933 0.3077 7.4209 ((2 . 3) (3 . 4) (7 . 8) (8 . 10)) 3938 0.3077 5.1161 ((4 . 4) (5 . 5) (8 . 9) (11 . 12)) 3942 0.2854 7.5014 ((4 . 2) (5 . 4) (9 . 6) (11 . 8)) 3968 0.3846 3.9777 ((4 . 3) (7 . 5) (9 . 8) (10 . 9) (11 . 10)) 3986 0.3076 9.9015 ((4 . 2) (10 . 8) (14 . 13) (16 . 15)) 3990 0.3077 5.0600 ((1 . 16) (4 . 20) (7 . 22) (12 . 26)) 4005 0.3794 9.6866 ((1 . 22) (2 . 24) (9 . 31) (14 . 40) (16 . 41)) 4009 0.3815 4.1819 ((3 . 14) (5 . 16) (9 . 18) (10 . 19) (11 . 20)) 4011 0.1919 11.5917 ((3 . 1) (5 . 2) (9 . 4) (11 . 5)) 4019 0.3077 5.4972 ((4 . 34) (12 . 42) (14 . 44) (16 . 45)) 4030 0.2853 12.6583 ((3 . 7) (5 . 9) (9 . 10) (11 . 11)) 4034 0.3077 6.3641 ((1 . 6) (3 . 8) (8 . 11) (14 . 16)) 4062 0.3026 6.5397 ((5 . 45) (9 . 47) (10 . 48) (11 . 51)) 4067 0.3846 3.7636 ((1 . 16) (3 . 19) (4 . 20) (7 . 22) (8 . 24)) 4077 0.3063 19.1139 ((3 . 3) (5 . 4) (11 . 7) (16 . 11)) 4082 0.3076 8.9215 ((9 . 4) (12 . 6) (14 . 8) (16 . 10)) 4087 0.3077 7.2751 ((1 . 1) (3 . 4) (4 . 5) (8 . 7)) 4112 0.3077 4.4281 ((1 . 2) (2 . 3) (3 . 7) (5 . 8)) 4115 0.3846 6.1719 ((1 . 13) (3 . 16) (4 . 17) (5 . 18) (8 . 19)) 4134 0.2975 8.1400 ((3 . 24) (5 . 25) (9 . 27) (11 . 28)) 4140 0.2854 8.8020 ((1 . 21) (4 . 23) (5 . 25) (11 . 27)) 4151 0.5329 6.2782 ((1 . 3) (3 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 9) (10 . 19)) 4154 0.3077 7.1675 ((4 . 51) (7 . 53) (8 . 55) (10 . 57)) 4177 0.3025 10.2034 ((2 . 2) (3 . 4) (5 . 6) (7 . 7)) 4190 0.2975 8.1337 ((4 . 1) (11 . 7) (14 . 8) (16 . 9)) 4192 0.3077 5.2410 ((4 . 13) (5 . 14) (7 . 15) (9 . 18)) 4194 0.3842 10.4271 ((7 . 1) (9 . 2) (10 . 3) (12 . 5) (14 . 7)) 4195 0.3076 10.2905 ((3 . 7) (5 . 8) (8 . 9) (11 . 10)) 4204 0.4419 5.5381 ((4 . 5) (10 . 9) (11 . 10) (12 . 11) (14 . 14) (16 . 15)) 4209 0.3075 10.9307 ((1 . 2) (3 . 6) (4 . 7) (7 . 10)) 4210 0.3812 9.7844 ((4 . 4) (8 . 6) (11 . 7) (12 . 8) (14 . 10)) 4226 0.3845 7.9321 ((4 . 8) (11 . 15) (12 . 16) (14 . 18) (16 . 19)) 4232 0.3075 11.5985 ((1 . 2) (2 . 3) (4 . 5) (10 . 8)) 4236 0.3076 9.8430 ((4 . 6) (7 . 8) (9 . 11) (11 . 13)) 4246 0.3076 9.8831 ((1 . 2) (4 . 5) (7 . 8) (9 . 10)) 4254 0.3846 5.1189 ((5 . 2) (8 . 4) (9 . 5) (11 . 7) (12 . 8)) 4255 0.2553 11.4807 ((7 . 21) (10 . 23) (12 . 24) (14 . 26)) 4257 0.3077 4.5340 ((1 . 1) (3 . 2) (4 . 3) (12 . 11)) 4265 0.4564 5.5139 ((4 . 21) (7 . 23) (8 . 24) (9 . 25) (10 . 26) (11 . 27)) 4266 0.3698 7.7125 ((3 . 1) (4 . 2) (7 . 4) (9 . 5) (16 . 11)) 4274 0.3699 4.2994 ((10 . 36) (11 . 37) (12 . 38) (14 . 40) (16 . 41)) 4275 0.3077 3.9237 ((4 . 21) (8 . 23) (9 . 24) (10 . 25)) 4281 0.3915 6.6558 ((1 . 3) (2 . 5) (3 . 7) (4 . 8) (5 . 9) (7 . 10) (11 . 16)) 4284 0.3077 5.9930 ((4 . 1) (5 . 2) (8 . 3) (10 . 5)) 4299 0.3846 3.7005 ((1 . 4) (4 . 6) (7 . 9) (9 . 10) (10 . 11)) 4301 0.3076 8.2968 ((7 . 1) (10 . 3) (12 . 6) (14 . 9)) 4326 0.3846 3.6300 ((1 . 10) (3 . 14) (4 . 15) (7 . 17) (8 . 19)) 4332 0.3077 4.1927 ((4 . 4) (5 . 5) (7 . 6) (10 . 9)) 4338 0.3076 8.9979 ((1 . 4) (3 . 5) (8 . 8) (9 . 9)) 4352 0.3025 10.1380 ((3 . 4) (5 . 6) (10 . 10) (11 . 12)) 4359 0.3846 5.9940 ((4 . 3) (7 . 5) (10 . 7) (12 . 9) (16 . 12)) 4380 0.3698 7.0141 ((1 . 23) (2 . 24) (5 . 27) (10 . 31) (16 . 39)) 4383 0.3077 6.7050 ((10 . 14) (12 . 16) (14 . 18) (16 . 19)) 4386 0.3076 9.7060 ((5 . 2) (9 . 3) (10 . 4) (11 . 5)) 4388 0.3077 5.3965 ((9 . 2) (10 . 3) (11 . 4) (12 . 5)) 4398 0.3077 4.1178 ((7 . 8) (9 . 9) (10 . 10) (11 . 11)) 4405 0.3077 7.7701 ((1 . 14) (3 . 17) (4 . 18) (12 . 25)) 4408 0.3843 10.2635 ((8 . 1) (10 . 2) (12 . 4) (14 . 6) (16 . 7)) 4415 0.3077 4.9370 ((1 . 4) (4 . 9) (5 . 10) (7 . 11)) 4419 0.3076 9.0459 ((11 . 5) (12 . 7) (14 . 9) (16 . 10)) 4426 0.3076 10.7504 ((3 . 1) (4 . 2) (10 . 4) (12 . 6)) 4470 0.4026 4.9442 ((1 . 2) (2 . 3) (5 . 6) (8 . 8) (12 . 9) (16 . 10)) 4491 0.3076 8.8684 ((1 . 1) (4 . 5) (7 . 6) (10 . 8)) 4492 0.3077 3.2255 ((3 . 10) (4 . 13) (8 . 16) (10 . 18)) 4495 0.3846 5.8548 ((4 . 6) (7 . 8) (8 . 10) (9 . 11) (14 . 14)) 4497 0.3077 6.5964 ((4 . 18) (12 . 24) (14 . 26) (16 . 27)) 4502 0.3840 11.7011 ((1 . 1) (7 . 6) (9 . 7) (10 . 9) (14 . 14)) 4503 0.3076 8.3697 ((1 . 1) (12 . 5) (14 . 8) (16 . 10)) 4504 0.3846 4.2956 ((1 . 4) (3 . 5) (10 . 13) (12 . 15) (14 . 17)) 4505 0.3846 5.0686 ((1 . 26) (4 . 30) (9 . 33) (10 . 34) (11 . 35)) 4516 0.3846 3.8208 ((3 . 5) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 4527 0.3077 6.9817 ((4 . 1) (5 . 2) (9 . 4) (10 . 6)) 4538 0.3295 7.2924 ((9 . 27) (11 . 29) (12 . 30) (14 . 32) (16 . 38)) 4551 0.3076 8.0409 ((7 . 1) (8 . 2) (10 . 4) (14 . 8)) 4560 0.3846 4.8691 ((4 . 6) (7 . 8) (9 . 10) (11 . 12) (16 . 16)) 4561 0.3846 4.7836 ((9 . 8) (10 . 9) (11 . 11) (12 . 12) (16 . 15)) 4562 0.3846 4.5411 ((1 . 22) (4 . 25) (7 . 27) (8 . 29) (9 . 30)) 4563 0.5627 5.8049 ((1 . 1) (3 . 25) (4 . 26) (5 . 27) (7 . 28) (9 . 30) (10 . 31) (11 . 33) (12 . 34)) 4577 0.3077 6.4822 ((1 . 34) (4 . 37) (12 . 43) (16 . 48)) 4579 0.2284 10.4459 ((3 . 8) (9 . 11) (11 . 13) (16 . 18)) 4588 0.4580 4.8496 ((1 . 3) (2 . 9) (4 . 11) (7 . 13) (8 . 16) (9 . 31)) 4589 0.3846 6.4960 ((3 . 21) (4 . 23) (5 . 24) (7 . 25) (8 . 27)) 4607 0.3075 11.2727 ((3 . 23) (5 . 28) (11 . 29) (14 . 31)) 4621 0.3076 8.8797 ((11 . 5) (12 . 7) (14 . 9) (16 . 11)) 4630 0.3846 6.2421 ((1 . 3) (2 . 4) (4 . 6) (7 . 9) (10 . 12)) 4648 0.2358 7.5542 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (10 . 8)) 4653 0.3077 7.8173 ((2 . 4) (4 . 5) (7 . 7) (10 . 9)) 4668 0.3845 8.1856 ((4 . 3) (7 . 5) (8 . 7) (11 . 8) (12 . 9)) 4669 0.3077 4.1446 ((4 . 15) (8 . 17) (9 . 18) (11 . 20)) 4671 0.3815 4.2836 ((7 . 2) (9 . 3) (10 . 4) (11 . 5) (14 . 6)) 4674 0.3076 10.6786 ((7 . 1) (9 . 3) (14 . 8) (16 . 9)) 4678 0.2854 5.7679 ((2 . 10) (4 . 12) (7 . 14) (10 . 16)) 4713 0.3077 6.9172 ((9 . 1) (10 . 3) (12 . 5) (16 . 8)) 4715 0.2554 10.1339 ((3 . 7) (5 . 9) (9 . 11) (11 . 13)) 4716 0.2975 9.0831 ((3 . 3) (5 . 4) (9 . 7) (11 . 8)) 4731 0.3075 11.2904 ((3 . 12) (5 . 13) (11 . 19) (16 . 23)) 4734 0.3076 8.5116 ((1 . 2) (2 . 3) (4 . 6) (7 . 8)) 4764 0.2284 9.8379 ((3 . 6) (5 . 8) (9 . 10) (11 . 11)) 4857 0.3077 7.9060 ((8 . 3) (9 . 4) (12 . 5) (16 . 9)) 4886 0.3077 6.7522 ((1 . 1) (4 . 4) (11 . 8) (12 . 9)) 4888 0.3076 9.1624 ((3 . 2) (4 . 4) (14 . 12) (16 . 13)) 4889 0.3077 5.4864 ((1 . 2) (4 . 4) (5 . 5) (7 . 6)) 4907 0.3076 8.3872 ((7 . 3) (8 . 5) (10 . 7) (12 . 9)) 4914 0.3843 9.9200 ((4 . 4) (8 . 6) (10 . 8) (12 . 10) (14 . 12)) 4921 0.3845 7.9926 ((1 . 9) (3 . 11) (4 . 12) (5 . 13) (8 . 17)) 4929 0.3077 6.4009 ((7 . 26) (12 . 29) (14 . 32) (16 . 33)) 4932 0.3845 7.3587 ((4 . 1) (5 . 3) (7 . 4) (11 . 7) (12 . 8)) 4940 0.3077 4.9832 ((4 . 2) (7 . 3) (9 . 5) (10 . 6)) 4944 0.3075 11.1246 ((1 . 11) (3 . 12) (7 . 15) (11 . 17)) 4961 0.3077 4.3540 ((7 . 3) (9 . 4) (10 . 6) (11 . 8)) 4978 0.3077 4.4405 ((4 . 18) (9 . 20) (10 . 21) (12 . 24)) 4982 0.3077 4.7014 ((7 . 10) (8 . 12) (9 . 13) (10 . 14)) 4992 0.3843 9.8052 ((4 . 1) (9 . 4) (12 . 6) (14 . 8) (16 . 9)) 4998 0.3077 6.4709 ((1 . 1) (3 . 2) (4 . 3) (8 . 6)) 5000 0.2553 13.6597 ((3 . 35) (5 . 36) (9 . 37) (11 . 38)) 5016 0.1633 11.2583 ((3 . 5) (5 . 6) (9 . 7) (11 . 8)) 5029 0.4615 2.7192 ((4 . 2) (7 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9)) 5036 0.3077 7.0441 ((7 . 1) (12 . 5) (14 . 7) (16 . 8)) 5038 0.3077 6.2927 ((11 . 13) (12 . 14) (14 . 16) (16 . 18)) 5039 0.3077 4.0499 ((4 . 39) (7 . 41) (9 . 43) (10 . 44)) 5044 0.2283 15.1878 ((2 . 1) (5 . 4) (8 . 8) (16 . 16)) 5046 0.3076 8.1209 ((7 . 1) (10 . 4) (14 . 8) (16 . 10)) 5053 0.3077 6.3204 ((11 . 8) (12 . 9) (14 . 11) (16 . 12)) 5065 0.3077 6.5146 ((1 . 2) (5 . 6) (7 . 8) (10 . 10)) 5068 0.3838 12.8311 ((3 . 1) (4 . 2) (7 . 4) (8 . 7) (12 . 10)) 5069 0.3846 5.0177 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (14 . 7)) 5073 0.3846 3.7197 ((3 . 31) (4 . 32) (7 . 34) (10 . 36) (12 . 39)) 5080 0.3076 8.3944 ((3 . 8) (5 . 10) (9 . 13) (11 . 14)) 5083 0.3811 10.8203 ((2 . 2) (3 . 4) (4 . 5) (7 . 8) (8 . 9)) 5101 0.4564 5.0735 ((1 . 3) (2 . 5) (4 . 7) (7 . 9) (8 . 10) (9 . 11)) 5103 0.4615 4.4148 ((1 . 2) (3 . 3) (10 . 4) (11 . 5) (12 . 6) (14 . 9)) 5121 0.2854 8.5214 ((3 . 17) (11 . 22) (14 . 25) (16 . 26)) 5132 0.3846 4.6349 ((1 . 16) (4 . 18) (7 . 20) (9 . 21) (10 . 22)) 5134 0.3076 8.3961 ((5 . 15) (8 . 17) (11 . 18) (12 . 19)) 5145 0.3846 6.1166 ((10 . 3) (11 . 4) (12 . 5) (14 . 8) (16 . 10)) 5167 0.3077 3.9405 ((1 . 1) (3 . 2) (12 . 9) (14 . 12)) 5176 0.2975 9.3273 ((10 . 82) (11 . 83) (14 . 86) (16 . 87)) 5183 0.3077 7.8158 ((4 . 34) (7 . 36) (10 . 38) (11 . 39)) 5192 0.3815 5.1756 ((3 . 10) (5 . 13) (10 . 17) (11 . 18) (12 . 20)) 5198 0.3762 7.0067 ((1 . 19) (2 . 21) (11 . 27) (14 . 31) (16 . 32)) 5199 0.3077 7.6947 ((1 . 4) (4 . 8) (10 . 9) (12 . 10)) 5209 0.3077 7.0107 ((5 . 2) (12 . 7) (14 . 9) (16 . 10)) 5212 0.2974 12.0433 ((3 . 20) (5 . 25) (11 . 27) (14 . 31)) 5215 0.3077 6.0203 ((11 . 8) (12 . 9) (14 . 11) (16 . 12)) 5223 0.4889 4.9245 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 6) (8 . 8) (10 . 17)) 5231 0.3076 8.3838 ((7 . 8) (10 . 13) (11 . 15) (12 . 16)) 5266 0.3846 4.6739 ((1 . 2) (3 . 3) (4 . 4) (14 . 13) (16 . 15)) 5278 0.3077 6.1288 ((1 . 2) (4 . 6) (7 . 8) (10 . 10)) 5285 0.2854 8.6269 ((3 . 1) (5 . 3) (9 . 5) (11 . 6)) 5307 0.3077 3.9120 ((1 . 51) (3 . 54) (4 . 55) (7 . 58)) 5312 0.3024 11.5240 ((1 . 2) (2 . 3) (5 . 6) (7 . 7)) 5318 0.3075 11.8523 ((5 . 13) (9 . 14) (11 . 16) (16 . 19)) 5323 0.3025 10.7971 ((3 . 4) (5 . 8) (9 . 12) (11 . 13)) 5324 0.4496 4.1156 ((3 . 6) (4 . 7) (7 . 10) (10 . 12) (11 . 13) (16 . 16)) 5344 0.3077 7.8008 ((2 . 2) (4 . 4) (10 . 8) (12 . 10)) 5345 0.3845 7.2014 ((4 . 2) (10 . 9) (12 . 12) (14 . 14) (16 . 15)) 5368 0.3846 6.2918 ((7 . 27) (10 . 29) (12 . 32) (14 . 34) (16 . 35)) 5378 0.3077 4.7449 ((4 . 4) (5 . 5) (7 . 6) (8 . 7)) 5411 0.3077 6.0993 ((9 . 2) (10 . 3) (11 . 5) (12 . 6)) 5414 0.3077 6.9366 ((4 . 15) (7 . 18) (10 . 20) (12 . 22)) 5418 0.3076 8.1067 ((7 . 1) (10 . 3) (14 . 8) (16 . 9)) 5421 0.2284 9.4695 ((1 . 2) (2 . 3) (4 . 5) (12 . 13)) 5433 0.2975 6.9726 ((2 . 4) (7 . 10) (8 . 12) (10 . 16)) 5442 0.3025 10.0540 ((3 . 34) (5 . 35) (9 . 38) (11 . 39)) 5479 0.3077 3.7947 ((7 . 43) (8 . 44) (10 . 46) (12 . 48)) 5487 0.4281 4.7335 ((2 . 2) (3 . 3) (4 . 4) (7 . 7) (10 . 9) (11 . 10)) 5489 0.3846 5.9655 ((4 . 2) (10 . 6) (12 . 9) (14 . 11) (16 . 12)) 5500 0.3814 7.6658 ((2 . 7) (3 . 10) (7 . 12) (8 . 14) (11 . 15)) 5501 0.3025 10.2767 ((1 . 20) (9 . 26) (11 . 27) (14 . 30)) 5525 0.2283 12.4009 ((3 . 2) (5 . 3) (9 . 5) (11 . 9)) 5535 0.2854 9.8728 ((2 . 2) (4 . 4) (5 . 5) (8 . 9)) 5540 0.3077 7.6790 ((4 . 1) (5 . 2) (8 . 4) (9 . 5)) 5557 0.3846 6.6322 ((4 . 2) (7 . 4) (9 . 5) (10 . 6) (11 . 7)) 5560 0.4538 5.2274 ((1 . 13) (4 . 15) (7 . 17) (10 . 20) (11 . 21) (12 . 22)) 5562 0.3077 4.6642 ((3 . 13) (4 . 14) (8 . 17) (9 . 18)) 5567 0.3077 4.3531 ((1 . 11) (3 . 14) (4 . 15) (7 . 17)) 5594 0.3568 6.5059 ((1 . 4) (3 . 5) (4 . 6) (7 . 9) (10 . 12)) 5600 0.3295 7.4284 ((4 . 3) (7 . 5) (8 . 6) (9 . 7) (10 . 9)) 5601 0.9975 2.3339 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 15) (16 . 16)) 5640 0.3845 6.8050 ((4 . 14) (7 . 18) (10 . 20) (12 . 22) (16 . 25)) 5644 0.3076 9.0867 ((1 . 3) (2 . 4) (3 . 5) (4 . 8)) 5656 0.3077 3.8362 ((3 . 4) (11 . 13) (12 . 14) (14 . 16)) 5700 0.3077 6.9616 ((1 . 2) (4 . 4) (7 . 6) (10 . 9)) 5701 0.3695 11.3806 ((1 . 5) (5 . 7) (8 . 8) (9 . 10) (16 . 14)) 5702 0.3025 10.9743 ((3 . 10) (5 . 11) (9 . 13) (11 . 14)) 5703 0.3076 10.5292 ((8 . 2) (12 . 5) (14 . 7) (16 . 8)) 5704 0.2973 12.7083 ((3 . 6) (5 . 7) (9 . 8) (11 . 9)) 5711 0.3077 5.9431 ((1 . 29) (7 . 32) (14 . 42) (16 . 43)) 5713 0.3845 8.4497 ((1 . 6) (4 . 10) (7 . 13) (10 . 15) (12 . 18)) 5718 0.3077 7.3186 ((1 . 14) (4 . 17) (7 . 21) (10 . 24)) 5731 0.3077 6.0907 ((1 . 3) (3 . 6) (4 . 7) (10 . 11)) 5746 0.3077 5.4813 ((1 . 2) (7 . 7) (10 . 10) (12 . 13)) 5749 0.3076 8.9516 ((3 . 2) (4 . 3) (7 . 4) (8 . 5)) 5761 0.3077 6.7217 ((4 . 28) (5 . 29) (7 . 31) (10 . 32)) 5770 0.3076 8.9549 ((3 . 7) (4 . 8) (7 . 9) (9 . 10)) 5771 0.5309 5.3466 ((1 . 1) (3 . 8) (10 . 9) (11 . 16) (12 . 17) (14 . 20) (16 . 21)) 5782 0.3077 3.6065 ((4 . 15) (11 . 23) (12 . 24) (16 . 29)) 5789 0.3077 7.4069 ((5 . 1) (7 . 2) (9 . 3) (11 . 4)) 5794 0.3844 9.4559 ((4 . 16) (5 . 17) (8 . 18) (14 . 24) (16 . 25)) 5795 0.3077 3.9687 ((1 . 6) (4 . 10) (5 . 11) (7 . 13)) 5809 0.3567 7.1307 ((1 . 5) (3 . 6) (4 . 7) (7 . 9) (10 . 12)) 5822 0.3077 5.6323 ((4 . 1) (8 . 4) (9 . 5) (10 . 6)) 5827 0.3846 5.8042 ((9 . 6) (10 . 8) (11 . 10) (12 . 11) (16 . 14)) 5830 0.3077 6.7715 ((7 . 1) (9 . 5) (14 . 8) (16 . 10)) 5847 0.3077 7.2027 ((1 . 5) (2 . 7) (14 . 18) (16 . 20)) 5861 0.3845 7.8157 ((4 . 7) (7 . 10) (10 . 12) (12 . 15) (14 . 17)) 5865 0.3076 9.3417 ((4 . 1) (8 . 5) (11 . 6) (12 . 7)) 5878 0.3077 7.4338 ((3 . 13) (11 . 24) (12 . 25) (14 . 28)) 5888 0.3845 7.1203 ((4 . 4) (7 . 6) (10 . 8) (12 . 10) (14 . 12)) 5896 0.3077 4.5056 ((4 . 29) (5 . 30) (7 . 31) (9 . 32)) 5904 0.3699 6.5281 ((1 . 1) (3 . 3) (4 . 4) (10 . 7) (14 . 11)) 5913 0.3844 8.8184 ((2 . 5) (4 . 7) (9 . 12) (10 . 13) (11 . 14)) 5914 0.3075 11.0204 ((2 . 2) (4 . 3) (5 . 4) (9 . 7)) 5922 0.3077 7.0430 ((8 . 3) (12 . 6) (14 . 9) (16 . 10)) 5930 0.3568 6.6027 ((4 . 2) (7 . 4) (8 . 7) (10 . 8) (12 . 12)) 5939 0.3077 4.9640 ((10 . 4) (11 . 5) (12 . 6) (14 . 8)) 5945 0.3846 6.1742 ((4 . 23) (7 . 26) (9 . 27) (11 . 29) (16 . 33)) 5949 0.3565 11.0706 ((3 . 8) (4 . 9) (8 . 12) (9 . 13) (10 . 14)) 5955 0.3845 8.4328 ((1 . 1) (2 . 5) (4 . 7) (7 . 9) (9 . 10)) 5967 0.3846 2.2069 ((4 . 1) (7 . 3) (9 . 6) (10 . 7) (11 . 8)) 5972 0.2975 7.3643 ((9 . 1) (11 . 5) (12 . 6) (14 . 7)) 5977 0.3296 4.6777 ((1 . 1) (11 . 2) (12 . 3) (14 . 5) (16 . 6)) 6000 0.3796 5.3002 ((4 . 4) (5 . 5) (10 . 9) (12 . 17) (14 . 21)) 6011 0.3845 6.8662 ((7 . 7) (10 . 9) (12 . 11) (14 . 14) (16 . 15)) 6022 0.3076 10.2847 ((8 . 1) (10 . 2) (14 . 5) (16 . 7)) 6029 0.3845 8.1247 ((4 . 17) (7 . 19) (10 . 21) (11 . 22) (12 . 23)) 6041 0.3843 10.0751 ((1 . 2) (10 . 8) (12 . 10) (14 . 12) (16 . 13)) 6046 0.3076 8.5647 ((11 . 1) (12 . 2) (14 . 3) (16 . 5)) 6061 0.3077 4.6987 ((3 . 16) (4 . 17) (5 . 18) (7 . 20)) 6074 0.4615 4.2477 ((3 . 1) (4 . 2) (7 . 4) (10 . 6) (11 . 7) (12 . 8)) 6075 0.4615 4.1598 ((3 . 19) (4 . 20) (7 . 21) (9 . 23) (10 . 24) (12 . 27)) 6079 0.3077 4.1219 ((1 . 1) (3 . 2) (4 . 6) (8 . 8)) 6087 0.3077 5.1192 ((3 . 7) (4 . 8) (5 . 9) (7 . 10)) 6089 0.3831 5.6190 ((1 . 12) (3 . 13) (5 . 15) (10 . 21) (11 . 22) (12 . 23)) 6094 0.3077 7.1863 ((1 . 3) (2 . 4) (4 . 7) (8 . 11)) 6099 0.3077 5.4025 ((4 . 25) (7 . 27) (12 . 30) (16 . 33)) 6123 0.2973 12.5052 ((7 . 3) (8 . 5) (9 . 6) (11 . 7)) 6142 0.3845 8.3439 ((7 . 10) (10 . 12) (12 . 14) (14 . 16) (16 . 18)) 6148 0.3077 5.1873 ((4 . 32) (8 . 34) (9 . 35) (10 . 36)) 6167 0.3077 6.3105 ((7 . 1) (10 . 6) (12 . 7) (16 . 14)) 6169 0.2974 11.4892 ((3 . 9) (5 . 10) (9 . 12) (11 . 13)) 6173 0.3077 5.2297 ((4 . 3) (7 . 5) (10 . 8) (12 . 11)) 6191 0.3813 8.4906 ((2 . 3) (3 . 5) (7 . 6) (10 . 10) (14 . 13)) 6192 0.3077 4.9241 ((4 . 1) (7 . 3) (12 . 5) (16 . 10)) 6215 0.3077 6.3038 ((1 . 18) (4 . 20) (5 . 22) (8 . 24)) 6225 0.3077 5.4756 ((1 . 3) (4 . 5) (9 . 9) (10 . 10)) 6228 0.3846 5.8598 ((4 . 1) (7 . 3) (8 . 5) (11 . 6) (14 . 9)) 6234 0.2975 7.6218 ((2 . 6) (3 . 8) (9 . 14) (12 . 15)) 6238 0.3077 5.2523 ((3 . 2) (4 . 3) (7 . 5) (10 . 8)) 6243 0.3699 4.9001 ((1 . 3) (3 . 5) (4 . 8) (9 . 9) (11 . 11)) 6251 0.3567 8.7908 ((5 . 14) (7 . 15) (8 . 17) (9 . 18) (10 . 19)) 6258 0.4614 5.8215 ((1 . 9) (4 . 10) (5 . 11) (7 . 12) (8 . 13) (9 . 14)) 6261 0.3077 3.8169 ((2 . 6) (3 . 7) (4 . 9) (7 . 11)) 6266 0.4417 8.0304 ((3 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 10) (9 . 12)) 6270 0.3077 7.4958 ((2 . 9) (3 . 11) (8 . 20) (11 . 23)) 6271 0.3076 8.8455 ((4 . 1) (8 . 3) (11 . 6) (14 . 8)) 6273 0.3075 11.8523 ((2 . 4) (3 . 5) (4 . 6) (12 . 12)) 6294 0.3792 11.2511 ((3 . 5) (4 . 6) (5 . 7) (8 . 9) (14 . 16)) 6306 0.3076 8.6845 ((8 . 17) (9 . 18) (10 . 19) (12 . 20)) 6309 0.3076 9.3201 ((7 . 17) (9 . 19) (10 . 20) (16 . 27)) 6311 0.3077 7.0244 ((1 . 4) (7 . 9) (10 . 11) (12 . 13)) 6326 0.3791 11.5182 ((1 . 1) (2 . 2) (4 . 3) (14 . 11) (16 . 13)) 6338 0.3076 9.1582 ((10 . 1) (12 . 4) (14 . 7) (16 . 8)) 6344 0.3846 5.7559 ((4 . 7) (11 . 11) (12 . 12) (14 . 14) (16 . 15)) 6345 0.3077 5.5726 ((1 . 7) (3 . 8) (10 . 13) (12 . 14)) 6348 0.4419 5.0355 ((1 . 1) (3 . 3) (4 . 4) (11 . 8) (12 . 9) (14 . 11)) 6355 0.3077 6.5816 ((9 . 3) (10 . 4) (14 . 9) (16 . 10)) 6356 0.4615 3.8476 ((1 . 6) (3 . 8) (4 . 9) (7 . 11) (8 . 13) (9 . 14)) 6369 0.3763 6.8380 ((4 . 24) (7 . 26) (11 . 30) (14 . 33) (16 . 35)) 6376 0.4615 3.7494 ((3 . 18) (4 . 19) (5 . 20) (7 . 21) (10 . 24) (12 . 26)) 6384 0.2554 9.8661 ((3 . 2) (5 . 3) (9 . 5) (11 . 6)) 6391 0.3076 8.0874 ((1 . 8) (2 . 10) (3 . 11) (4 . 12)) 6392 0.6152 4.7229 ((1 . 1) (3 . 2) (4 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (14 . 15)) 6399 0.3845 7.6279 ((4 . 3) (10 . 7) (12 . 10) (14 . 12) (16 . 13)) 6403 0.3841 11.0462 ((1 . 3) (4 . 5) (7 . 7) (8 . 10) (12 . 12)) 6434 0.3077 7.3794 ((11 . 1) (12 . 2) (14 . 3) (16 . 4)) 6461 0.3076 8.2491 ((5 . 1) (7 . 3) (9 . 4) (11 . 5)) 6462 0.3846 4.1403 ((3 . 11) (4 . 12) (8 . 16) (10 . 18) (11 . 19)) 6476 0.2853 12.0455 ((5 . 1) (10 . 4) (11 . 6) (14 . 9)) 6498 0.3762 7.8069 ((3 . 20) (4 . 21) (5 . 22) (11 . 28) (12 . 29)) 6506 0.2553 13.8137 ((3 . 20) (5 . 21) (9 . 22) (11 . 23)) 6520 0.3077 6.0507 ((1 . 14) (4 . 16) (14 . 24) (16 . 25)) 6536 0.3076 10.4835 ((3 . 33) (5 . 34) (8 . 36) (11 . 37)) 6539 0.3077 6.9116 ((7 . 2) (9 . 3) (10 . 4) (16 . 10)) 6540 0.3077 6.1708 ((1 . 16) (4 . 18) (7 . 20) (10 . 21)) 6548 0.3077 4.7879 ((1 . 5) (4 . 9) (5 . 10) (8 . 13)) 6553 0.3846 6.3628 ((1 . 15) (3 . 19) (4 . 20) (7 . 22) (8 . 23)) 6555 0.3830 7.4107 ((1 . 6) (4 . 7) (5 . 8) (7 . 10) (8 . 28) (10 . 33)) 6561 0.3077 6.0081 ((3 . 5) (12 . 12) (14 . 13) (16 . 15)) 6573 0.3846 4.1792 ((4 . 17) (5 . 18) (7 . 19) (8 . 21) (10 . 25)) 6575 0.3077 7.7891 ((4 . 1) (8 . 5) (9 . 6) (11 . 7)) 6578 0.3566 9.4344 ((4 . 34) (5 . 36) (7 . 38) (9 . 39) (11 . 41)) 6584 0.3077 6.8547 ((2 . 5) (4 . 7) (7 . 9) (9 . 10)) 6585 0.3846 5.4647 ((7 . 2) (9 . 4) (10 . 6) (11 . 7) (12 . 8)) 6586 0.3845 6.9059 ((3 . 17) (10 . 18) (11 . 22) (12 . 24) (16 . 25)) 6587 0.3077 4.4082 ((5 . 27) (7 . 29) (8 . 31) (9 . 32)) 6598 0.3841 11.3445 ((1 . 13) (4 . 17) (7 . 20) (8 . 22) (12 . 24)) 6613 0.3077 5.2837 ((5 . 11) (9 . 15) (14 . 21) (16 . 22)) 6622 0.2975 10.2301 ((3 . 5) (5 . 6) (9 . 10) (11 . 11)) 6635 0.2975 10.0830 ((3 . 2) (5 . 3) (7 . 5) (9 . 6)) END