1992 25 0.1970 11.2564 ((5 . 1) (12 . 6) (13 . 9) (14 . 7)) 41 0.3998 8.8104 ((2 . 3) (5 . 4) (9 . 7) (10 . 8)) 51 0.3999 6.1543 ((1 . 1) (2 . 2) (12 . 13) (14 . 14)) 62 0.4995 8.2209 ((5 . 9) (9 . 13) (10 . 15) (12 . 16) (14 . 17)) 77 0.3994 11.3298 ((9 . 9) (10 . 12) (12 . 13) (14 . 15)) 91 0.4530 6.8283 ((1 . 21) (8 . 27) (9 . 28) (10 . 30) (12 . 31)) 96 0.2800 8.9246 ((9 . 1) (10 . 2) (13 . 4) (14 . 5)) 129 0.0999 8.2228 ((2 . 2) (3 . 1) (9 . 10) (12 . 12)) 136 0.3998 8.8758 ((8 . 2) (9 . 3) (10 . 6) (14 . 8)) 150 0.3999 7.6807 ((8 . 17) (10 . 18) (12 . 19) (13 . 21)) 153 0.3999 6.6869 ((3 . 1) (9 . 7) (12 . 9) (14 . 10)) 155 0.3998 7.9371 ((2 . 3) (3 . 2) (5 . 4) (10 . 8)) 157 0.3998 8.3168 ((8 . 2) (9 . 5) (10 . 6) (12 . 8)) 161 0.2800 9.2251 ((1 . 2) (2 . 3) (3 . 4) (9 . 10)) 162 0.3996 9.9069 ((9 . 12) (10 . 16) (12 . 17) (14 . 18)) 169 0.4983 10.8925 ((1 . 2) (2 . 3) (3 . 4) (9 . 9) (12 . 11)) 177 0.3996 9.9931 ((1 . 3) (2 . 4) (3 . 5) (9 . 10)) 191 0.3996 10.0332 ((1 . 1) (5 . 3) (12 . 8) (14 . 9)) 207 0.4000 5.3434 ((8 . 11) (9 . 13) (10 . 14) (12 . 15)) 233 0.3363 8.2678 ((1 . 1) (2 . 2) (3 . 3) (9 . 8)) 300 0.3997 9.2791 ((2 . 10) (5 . 11) (9 . 17) (12 . 18)) 305 0.4984 10.7431 ((2 . 11) (3 . 12) (10 . 20) (12 . 21) (14 . 22)) 307 0.4996 7.5997 ((5 . 2) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 315 0.2800 11.1906 ((1 . 3) (2 . 4) (5 . 7) (9 . 10)) 350 0.3996 9.7928 ((2 . 1) (3 . 2) (12 . 15) (14 . 16)) 351 0.3995 10.5249 ((5 . 4) (8 . 6) (10 . 8) (13 . 9)) 360 0.3999 7.4153 ((1 . 5) (9 . 12) (10 . 13) (12 . 14)) 361 0.3995 10.3809 ((1 . 1) (8 . 6) (12 . 10) (14 . 11)) 367 0.3999 6.0912 ((3 . 38) (9 . 44) (12 . 47) (14 . 48)) 387 0.3998 8.0066 ((1 . 8) (2 . 9) (3 . 10) (9 . 15)) 405 0.3992 12.0014 ((1 . 32) (2 . 34) (3 . 35) (9 . 40)) 417 0.3999 6.0396 ((9 . 2) (10 . 6) (12 . 7) (14 . 9)) 420 0.3992 11.9644 ((1 . 1) (2 . 2) (12 . 12) (14 . 13)) 433 0.3999 7.1899 ((9 . 7) (10 . 8) (12 . 9) (14 . 10)) 442 0.4990 9.6055 ((2 . 6) (8 . 11) (9 . 12) (10 . 13) (12 . 14)) 472 0.3996 9.9829 ((5 . 28) (8 . 29) (9 . 31) (10 . 33)) 491 0.3995 10.4959 ((9 . 1) (10 . 2) (13 . 5) (14 . 6)) 495 0.3996 9.7449 ((5 . 2) (10 . 6) (12 . 8) (13 . 10)) 541 0.4996 7.7387 ((1 . 5) (5 . 6) (10 . 13) (12 . 14) (14 . 16)) 543 0.3999 7.1277 ((8 . 3) (9 . 5) (12 . 8) (14 . 10)) 553 0.1654 10.6585 ((5 . 6) (8 . 7) (10 . 10) (12 . 12)) 561 0.4991 9.2148 ((9 . 1) (10 . 2) (12 . 3) (13 . 5) (14 . 6)) 584 0.3999 6.5632 ((1 . 3) (9 . 10) (10 . 12) (12 . 13)) 587 0.3998 7.9138 ((2 . 8) (3 . 9) (8 . 12) (12 . 14)) 609 0.3997 9.1401 ((9 . 1) (10 . 2) (12 . 3) (13 . 5)) 619 0.3999 7.8555 ((1 . 6) (2 . 7) (3 . 8) (14 . 18)) 624 0.5980 9.0811 ((1 . 5) (8 . 12) (9 . 13) (10 . 14) (12 . 15) (14 . 16)) 635 0.3999 7.4945 ((1 . 5) (5 . 7) (8 . 11) (13 . 17)) 672 0.1970 7.2464 ((8 . 12) (10 . 17) (12 . 18) (14 . 21)) 678 0.4998 6.2978 ((5 . 23) (8 . 25) (9 . 29) (10 . 33) (12 . 34)) 719 0.3998 8.3803 ((9 . 27) (10 . 29) (12 . 30) (13 . 31)) 729 0.4998 6.4181 ((1 . 7) (5 . 12) (8 . 14) (9 . 15) (12 . 17)) 735 0.3992 12.0570 ((3 . 29) (5 . 30) (9 . 36) (12 . 39)) 740 0.1970 5.9921 ((8 . 1) (9 . 2) (12 . 5) (14 . 9)) 765 0.3999 7.4236 ((3 . 3) (9 . 12) (12 . 17) (14 . 19)) 795 0.3999 6.4061 ((8 . 2) (9 . 3) (10 . 4) (14 . 6)) 796 0.4000 5.6230 ((9 . 3) (10 . 4) (12 . 5) (14 . 6)) 812 0.4000 5.2857 ((8 . 10) (9 . 11) (10 . 12) (12 . 13)) 818 0.3999 7.0800 ((8 . 9) (9 . 12) (12 . 14) (14 . 16)) 819 0.3999 7.6069 ((2 . 2) (3 . 3) (12 . 9) (14 . 10)) 861 0.3990 12.7482 ((2 . 1) (3 . 2) (8 . 5) (14 . 8)) 901 0.4999 5.3478 ((1 . 1) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 904 0.4000 5.8702 ((8 . 1) (9 . 3) (10 . 5) (12 . 6)) 913 0.1654 10.6087 ((10 . 15) (12 . 16) (13 . 18) (14 . 17)) 928 0.4997 6.8859 ((5 . 11) (8 . 13) (9 . 14) (10 . 15) (12 . 18)) 937 0.0999 7.1958 ((9 . 1) (10 . 2) (12 . 4) (14 . 5)) 943 0.5994 6.7287 ((1 . 4) (8 . 10) (9 . 12) (10 . 13) (12 . 14) (14 . 15)) 945 0.4997 6.8364 ((1 . 12) (8 . 18) (9 . 19) (10 . 21) (12 . 22)) 949 0.3995 10.8541 ((1 . 30) (5 . 33) (8 . 36) (9 . 27)) 960 0.4531 6.0357 ((1 . 9) (8 . 16) (9 . 19) (10 . 20) (12 . 21)) 978 0.4997 7.1630 ((1 . 10) (8 . 15) (9 . 16) (10 . 18) (12 . 19)) 980 0.4999 5.4072 ((5 . 2) (8 . 4) (9 . 7) (10 . 8) (12 . 9)) 1005 0.2413 7.7889 ((2 . 1) (3 . 2) (5 . 4) (10 . 8)) 1007 0.3998 8.7705 ((5 . 1) (10 . 6) (12 . 7) (14 . 8)) 1008 0.1970 8.2277 ((8 . 1) (9 . 3) (12 . 5) (14 . 8)) 1034 0.4995 7.9730 ((1 . 22) (8 . 27) (9 . 29) (10 . 31) (12 . 32)) 1043 0.4989 9.8124 ((1 . 1) (5 . 5) (8 . 9) (9 . 10) (10 . 11)) 1082 0.4998 6.3548 ((1 . 9) (8 . 14) (9 . 16) (10 . 18) (12 . 19)) 1084 0.4996 7.4080 ((1 . 3) (5 . 6) (9 . 17) (12 . 18) (14 . 20)) 1121 0.1970 9.2355 ((9 . 2) (10 . 1) (12 . 4) (14 . 6)) 1124 0.3998 8.0592 ((5 . 11) (8 . 13) (10 . 14) (13 . 16)) 1165 0.3999 6.4648 ((1 . 12) (9 . 19) (10 . 20) (12 . 21)) 1167 0.4000 5.8738 ((5 . 19) (9 . 22) (10 . 24) (12 . 27)) 1195 0.4000 4.5900 ((10 . 1) (12 . 2) (13 . 3) (14 . 4)) 1201 0.3999 6.4658 ((8 . 5) (9 . 7) (12 . 9) (14 . 11)) 1204 0.3997 9.2490 ((5 . 15) (8 . 18) (10 . 21) (12 . 22)) 1211 0.3999 7.0848 ((5 . 7) (9 . 10) (12 . 14) (14 . 15)) 1217 0.1493 9.6602 ((5 . 2) (9 . 7) (10 . 8) (12 . 11)) 1224 0.3997 9.3061 ((9 . 9) (10 . 11) (12 . 14) (14 . 15)) 1233 0.4000 5.4475 ((5 . 13) (8 . 16) (9 . 20) (12 . 22)) 1267 0.4000 5.8225 ((5 . 14) (8 . 16) (9 . 19) (12 . 21)) 1268 0.3985 14.0527 ((3 . 3) (8 . 8) (10 . 10) (13 . 12)) 1294 0.3999 6.8359 ((2 . 39) (3 . 40) (8 . 45) (9 . 46)) 1345 0.4999 4.9651 ((8 . 8) (9 . 9) (10 . 10) (12 . 12) (14 . 13)) 1366 0.4000 5.1893 ((9 . 12) (10 . 13) (12 . 15) (14 . 17)) 1388 0.3360 12.1019 ((1 . 1) (8 . 7) (9 . 8) (13 . 12)) 1425 0.0999 6.8831 ((9 . 4) (10 . 7) (12 . 8) (14 . 10)) 1435 0.3363 8.0811 ((8 . 4) (9 . 5) (12 . 6) (13 . 7)) 1447 0.4995 7.8934 ((1 . 1) (5 . 2) (9 . 7) (10 . 8) (12 . 9)) 1451 0.3999 7.4404 ((2 . 4) (3 . 5) (5 . 7) (9 . 10)) 1464 0.3997 8.9483 ((9 . 7) (10 . 9) (12 . 10) (14 . 13)) 1470 0.3996 10.2859 ((5 . 7) (8 . 9) (10 . 10) (13 . 12)) 1476 0.4998 6.0420 ((1 . 9) (8 . 16) (9 . 18) (10 . 19) (12 . 20)) 1497 0.3966 17.2719 ((5 . 24) (8 . 26) (10 . 27) (13 . 28)) 1501 0.2800 7.8300 ((2 . 2) (3 . 3) (9 . 9) (10 . 10)) 1513 0.4998 6.3936 ((1 . 3) (8 . 9) (9 . 11) (10 . 12) (12 . 13)) 1514 0.4199 10.3592 ((9 . 1) (10 . 2) (12 . 3) (13 . 5) (14 . 4)) 1577 0.3999 6.5104 ((5 . 1) (12 . 6) (13 . 9) (14 . 10)) 1591 0.5594 7.7087 ((1 . 8) (8 . 10) (9 . 11) (10 . 12) (12 . 14) (14 . 16)) 1604 0.5995 6.5282 ((1 . 3) (8 . 6) (9 . 7) (10 . 9) (12 . 10) (14 . 12)) 1622 0.5998 5.1547 ((1 . 18) (5 . 19) (9 . 20) (10 . 21) (12 . 22) (14 . 23)) 1643 0.4000 5.9798 ((2 . 26) (3 . 27) (12 . 38) (14 . 39)) 1644 0.3997 9.0513 ((1 . 46) (2 . 47) (3 . 48) (9 . 52)) 1665 0.4000 4.4513 ((8 . 7) (9 . 8) (10 . 9) (12 . 10)) 1690 0.4987 10.2696 ((1 . 1) (5 . 7) (9 . 11) (10 . 12) (12 . 16)) 1692 0.3994 11.1247 ((9 . 1) (10 . 2) (13 . 4) (14 . 6)) 1731 0.4995 7.9277 ((1 . 3) (5 . 7) (10 . 11) (12 . 12) (14 . 13)) 1736 0.3998 8.0720 ((1 . 5) (5 . 6) (8 . 9) (9 . 10)) 1738 0.4000 5.2274 ((8 . 5) (9 . 9) (10 . 10) (12 . 11)) 1747 0.4526 9.5182 ((2 . 18) (3 . 19) (5 . 20) (8 . 23) (12 . 28)) 1759 0.3994 11.2906 ((1 . 1) (2 . 2) (9 . 9) (12 . 14)) 1761 0.5994 6.8395 ((1 . 7) (8 . 14) (9 . 16) (10 . 18) (12 . 19) (14 . 20)) 1763 0.1493 15.0874 ((5 . 6) (9 . 10) (10 . 11) (13 . 12)) 1776 0.5967 10.3206 ((1 . 1) (5 . 6) (8 . 10) (9 . 12) (10 . 13) (12 . 14)) 1778 0.4999 5.5600 ((1 . 1) (8 . 6) (9 . 8) (10 . 11) (12 . 12)) 1793 0.4995 7.9545 ((1 . 3) (5 . 5) (8 . 7) (9 . 8) (12 . 10)) 1805 0.3999 7.7886 ((2 . 9) (3 . 10) (8 . 13) (12 . 15)) 1808 0.4000 5.0051 ((5 . 1) (9 . 5) (10 . 7) (12 . 8)) 1867 0.3997 9.6756 ((3 . 1) (5 . 2) (9 . 7) (10 . 8)) 1894 0.3999 6.9577 ((1 . 20) (2 . 21) (3 . 22) (5 . 24)) 1896 0.3987 13.4890 ((1 . 17) (8 . 21) (9 . 23) (12 . 27)) 1897 0.1970 7.1268 ((1 . 40) (3 . 43) (5 . 44) (8 . 48)) 1908 0.3999 6.5922 ((1 . 3) (8 . 6) (9 . 7) (12 . 10)) 1909 0.4992 9.1818 ((1 . 25) (5 . 30) (8 . 32) (9 . 34) (12 . 37)) 1913 0.3994 11.3006 ((1 . 6) (2 . 7) (9 . 16) (14 . 22)) 1944 0.4994 8.4576 ((1 . 3) (5 . 6) (8 . 8) (9 . 9) (12 . 13)) 1957 0.4998 6.6229 ((5 . 12) (8 . 14) (9 . 15) (10 . 16) (12 . 19)) 1961 0.3998 8.7389 ((1 . 14) (2 . 15) (3 . 16) (5 . 18)) 1967 0.4995 8.0002 ((5 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1972 0.4000 5.2041 ((1 . 16) (9 . 24) (10 . 25) (12 . 27)) 1992 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 1995 0.3997 9.0960 ((8 . 5) (9 . 7) (12 . 9) (14 . 12)) 2003 0.3998 8.5190 ((5 . 2) (8 . 6) (9 . 9) (12 . 12)) 2006 0.3999 6.0111 ((2 . 1) (3 . 2) (12 . 11) (14 . 12)) 2045 0.3362 9.8763 ((2 . 7) (3 . 8) (5 . 9) (9 . 13)) 2048 0.5383 6.3841 ((1 . 1) (8 . 3) (9 . 4) (10 . 5) (12 . 6) (14 . 13)) 2054 0.3996 10.3185 ((2 . 1) (3 . 2) (8 . 9) (13 . 16)) 2063 0.4000 5.3835 ((9 . 44) (10 . 46) (12 . 49) (14 . 50)) 2065 0.3995 10.4101 ((5 . 15) (8 . 20) (12 . 26) (14 . 27)) 2067 0.3998 8.1427 ((5 . 47) (8 . 48) (9 . 50) (10 . 52)) 2072 0.3995 10.4786 ((5 . 3) (9 . 7) (10 . 8) (13 . 9)) 2081 0.3998 7.9419 ((1 . 10) (10 . 18) (12 . 19) (14 . 20)) 2083 0.3998 8.6776 ((2 . 1) (5 . 3) (8 . 6) (10 . 11)) 2097 0.3995 10.5327 ((1 . 4) (2 . 5) (9 . 14) (10 . 15)) 2114 0.3997 8.9745 ((1 . 28) (2 . 29) (3 . 32) (10 . 39)) 2116 0.4000 5.9771 ((2 . 3) (3 . 4) (12 . 11) (14 . 12)) 2117 0.4000 5.9674 ((8 . 8) (9 . 12) (10 . 13) (12 . 14)) 2118 0.3999 6.7565 ((8 . 8) (10 . 10) (12 . 11) (14 . 12)) 2122 0.4988 10.0319 ((1 . 1) (5 . 5) (8 . 9) (10 . 11) (12 . 12)) 2166 0.3998 8.0840 ((8 . 14) (9 . 15) (12 . 17) (14 . 21)) 2179 0.4993 8.7305 ((1 . 1) (5 . 3) (9 . 10) (10 . 12) (12 . 13)) 2203 0.4000 4.3619 ((9 . 1) (10 . 3) (12 . 5) (14 . 7)) 2205 0.3998 8.0910 ((3 . 13) (9 . 18) (12 . 22) (14 . 23)) 2209 0.4995 8.2385 ((5 . 2) (8 . 4) (9 . 7) (10 . 8) (12 . 9)) 2233 0.3992 12.0278 ((5 . 2) (8 . 6) (10 . 7) (13 . 8)) 2243 0.3999 6.3606 ((1 . 52) (9 . 61) (12 . 65) (14 . 67)) 2244 0.3999 6.8090 ((3 . 69) (9 . 75) (12 . 79) (14 . 80)) 2248 0.4998 6.4808 ((1 . 16) (5 . 20) (8 . 23) (9 . 27) (14 . 28)) 2249 0.4998 6.0572 ((8 . 14) (9 . 16) (10 . 19) (12 . 20) (14 . 23)) 2269 0.4991 9.2159 ((1 . 8) (5 . 9) (8 . 11) (9 . 12) (10 . 13)) 2279 0.3994 11.3234 ((1 . 7) (3 . 10) (10 . 21) (12 . 22)) 2298 0.4998 6.5227 ((1 . 6) (8 . 14) (9 . 15) (10 . 16) (12 . 17)) 2308 0.4994 8.4748 ((1 . 4) (2 . 5) (9 . 8) (10 . 10) (12 . 11)) 2314 0.3996 9.9654 ((1 . 3) (2 . 4) (12 . 11) (14 . 13)) 2340 0.3995 10.8870 ((3 . 9) (5 . 10) (9 . 14) (10 . 15)) 2344 0.3999 6.7694 ((2 . 7) (8 . 12) (9 . 13) (12 . 18)) 2364 0.4996 7.6722 ((2 . 5) (3 . 7) (10 . 16) (12 . 18) (14 . 19)) 2381 0.3998 8.4281 ((8 . 2) (9 . 3) (12 . 5) (14 . 6)) 2389 0.3999 7.3659 ((1 . 4) (9 . 11) (10 . 12) (12 . 14)) 2408 0.4000 4.5355 ((3 . 33) (9 . 41) (12 . 45) (14 . 46)) 2410 0.3999 7.8636 ((8 . 12) (9 . 13) (12 . 16) (14 . 17)) 2422 0.3998 8.2899 ((1 . 1) (5 . 2) (9 . 9) (10 . 10)) 2423 0.4989 9.8936 ((2 . 16) (3 . 17) (10 . 23) (12 . 25) (14 . 26)) 2440 0.3985 14.0796 ((8 . 5) (9 . 7) (12 . 9) (14 . 13)) 2443 0.1970 12.0932 ((5 . 4) (8 . 6) (10 . 7) (13 . 9)) 2447 0.4988 9.9648 ((5 . 27) (8 . 29) (9 . 30) (10 . 32) (12 . 33)) 2462 0.3998 8.9419 ((2 . 1) (5 . 2) (8 . 5) (13 . 10)) 2510 0.4995 8.2313 ((5 . 2) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 2519 0.2800 10.6391 ((8 . 3) (9 . 2) (10 . 4) (14 . 5)) 2525 0.3999 6.7973 ((9 . 41) (10 . 46) (12 . 47) (14 . 48)) 2529 0.3670 7.2449 ((9 . 1) (10 . 2) (12 . 3) (13 . 4) (14 . 5)) 2533 0.4998 6.4896 ((5 . 5) (8 . 7) (9 . 9) (10 . 11) (12 . 13)) 2544 0.3363 8.4379 ((8 . 18) (10 . 19) (12 . 22) (14 . 23)) 2551 0.3995 10.7426 ((1 . 3) (9 . 9) (12 . 12) (14 . 14)) 2552 0.2800 9.3708 ((8 . 2) (9 . 5) (10 . 6) (13 . 7)) 2556 0.3998 8.0011 ((5 . 12) (8 . 14) (9 . 16) (12 . 20)) 2557 0.3999 7.2528 ((9 . 3) (10 . 5) (12 . 6) (14 . 7)) 2561 0.3361 11.6837 ((2 . 1) (5 . 4) (9 . 7) (12 . 9)) 2595 0.4000 5.7814 ((5 . 2) (8 . 5) (9 . 6) (12 . 11)) 2619 0.3998 8.7817 ((3 . 1) (8 . 4) (9 . 5) (10 . 6)) 2627 0.4989 9.7514 ((8 . 59) (9 . 60) (10 . 62) (12 . 64) (14 . 65)) 2634 0.1970 11.1941 ((5 . 5) (8 . 7) (10 . 9) (13 . 12)) 2650 0.3999 7.1483 ((9 . 2) (10 . 4) (12 . 5) (14 . 6)) 2658 0.3994 11.1751 ((1 . 3) (9 . 10) (12 . 13) (14 . 14)) 2675 0.3997 9.5779 ((2 . 1) (8 . 9) (9 . 10) (12 . 12)) 2682 0.3999 6.9309 ((3 . 11) (8 . 16) (9 . 17) (10 . 18)) 2696 0.1970 7.2262 ((9 . 31) (10 . 33) (12 . 34) (14 . 35)) 2731 0.4000 5.0389 ((9 . 1) (10 . 3) (12 . 4) (14 . 5)) 2733 0.3999 6.6584 ((1 . 1) (9 . 8) (10 . 9) (12 . 11)) 2753 0.3358 13.6090 ((5 . 2) (8 . 4) (10 . 7) (13 . 8)) 2755 0.4994 8.4971 ((5 . 2) (8 . 4) (9 . 6) (10 . 7) (12 . 8)) 2773 0.4000 5.5326 ((9 . 3) (10 . 4) (12 . 5) (14 . 6)) 2783 0.3998 8.1401 ((9 . 1) (10 . 4) (12 . 6) (14 . 7)) 2804 0.3998 8.5746 ((9 . 29) (12 . 34) (13 . 35) (14 . 36)) 2821 0.4999 5.4450 ((1 . 1) (8 . 10) (9 . 11) (10 . 12) (12 . 13)) 2830 0.4998 6.1880 ((1 . 1) (8 . 4) (9 . 5) (10 . 6) (12 . 9)) 2834 0.4994 8.4440 ((1 . 1) (8 . 7) (9 . 8) (10 . 10) (14 . 16)) 2840 0.3999 7.7405 ((9 . 1) (10 . 3) (12 . 5) (14 . 8)) 2842 0.3999 6.6380 ((5 . 3) (8 . 6) (10 . 8) (12 . 9)) 2867 0.3363 6.6609 ((5 . 3) (12 . 9) (13 . 10) (14 . 12)) 2879 0.3999 7.5965 ((1 . 51) (2 . 52) (3 . 53) (5 . 55)) 2886 0.3998 8.2523 ((1 . 30) (9 . 39) (12 . 43) (14 . 44)) 2940 0.3999 6.3983 ((9 . 1) (10 . 2) (12 . 4) (14 . 5)) 2947 0.4000 5.6161 ((9 . 4) (10 . 5) (12 . 6) (14 . 7)) 2955 0.3998 8.1580 ((8 . 1) (10 . 2) (12 . 3) (14 . 4)) 2966 0.3997 9.3565 ((5 . 2) (8 . 5) (12 . 9) (14 . 11)) 2990 0.3967 17.1540 ((5 . 13) (9 . 16) (10 . 18) (14 . 20)) 2999 0.4999 5.5783 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (14 . 7)) 3014 0.3670 7.1398 ((8 . 3) (9 . 4) (12 . 7) (13 . 8)) 3019 0.4999 5.5257 ((9 . 20) (10 . 21) (12 . 22) (13 . 24) (14 . 25)) 3034 0.4997 7.1334 ((1 . 1) (5 . 6) (8 . 8) (9 . 9) (10 . 11)) 3041 0.4999 5.7328 ((5 . 13) (8 . 15) (9 . 16) (10 . 17) (12 . 18)) 3055 0.3999 6.9486 ((2 . 12) (3 . 13) (9 . 20) (12 . 23)) 3063 0.3999 7.4257 ((1 . 32) (9 . 38) (12 . 41) (14 . 42)) 3070 0.3999 6.6519 ((8 . 30) (10 . 34) (12 . 35) (14 . 36)) 3084 0.4998 6.7047 ((5 . 14) (8 . 16) (9 . 17) (10 . 18) (12 . 21)) 3102 0.3998 8.1523 ((2 . 60) (3 . 62) (9 . 67) (12 . 69)) 3103 0.3993 11.5223 ((1 . 1) (3 . 2) (5 . 6) (12 . 13)) 3120 0.3667 10.8649 ((10 . 20) (12 . 21) (13 . 23) (14 . 22)) 3127 0.4993 8.7965 ((5 . 5) (8 . 7) (9 . 8) (10 . 9) (12 . 11)) 3147 0.5992 7.2514 ((1 . 1) (2 . 11) (3 . 12) (9 . 20) (12 . 21) (14 . 24)) 3176 0.1329 11.9839 ((2 . 27) (3 . 29) (5 . 30) (10 . 33)) 3187 0.3999 7.5519 ((1 . 1) (2 . 2) (12 . 7) (14 . 9)) 3190 0.3999 6.6398 ((5 . 2) (8 . 4) (9 . 6) (12 . 11)) 3197 0.4991 9.4082 ((5 . 11) (8 . 13) (9 . 14) (10 . 15) (12 . 16)) 3200 0.3999 7.8389 ((2 . 4) (9 . 11) (10 . 12) (12 . 13)) 3202 0.3996 9.7357 ((2 . 8) (3 . 9) (12 . 18) (14 . 19)) 3212 0.1994 9.0605 ((5 . 1) (9 . 5) (10 . 7) (12 . 9) (13 . 11) (14 . 3)) 3222 0.4000 5.4832 ((9 . 1) (10 . 2) (12 . 3) (14 . 4)) 3256 0.3999 6.9093 ((1 . 13) (9 . 18) (12 . 26) (14 . 28)) 3261 0.3998 8.4050 ((8 . 5) (9 . 6) (12 . 8) (14 . 9)) 3286 0.4717 6.9292 ((1 . 3) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 3297 0.3998 8.0916 ((3 . 3) (9 . 8) (12 . 11) (14 . 12)) 3300 0.2413 7.0993 ((2 . 1) (3 . 2) (8 . 9) (13 . 12)) 3322 0.3998 8.2613 ((8 . 2) (9 . 3) (10 . 6) (12 . 7)) 3334 0.4959 13.7087 ((1 . 5) (8 . 11) (10 . 13) (12 . 14) (14 . 15)) 3339 0.4994 8.2739 ((5 . 10) (8 . 16) (9 . 17) (10 . 18) (12 . 19)) 3344 0.0999 9.8423 ((2 . 18) (3 . 19) (9 . 24) (12 . 27)) 3358 0.3998 8.6350 ((1 . 1) (5 . 3) (10 . 9) (12 . 10)) 3362 0.4999 5.6115 ((8 . 5) (9 . 6) (10 . 7) (12 . 8) (14 . 10)) 3366 0.3362 9.2456 ((1 . 22) (2 . 23) (3 . 24) (9 . 28)) 3391 0.4993 8.7896 ((1 . 10) (2 . 13) (8 . 16) (9 . 17) (14 . 21)) 3410 0.4000 5.5818 ((1 . 19) (9 . 28) (10 . 29) (12 . 30)) 3418 0.4000 4.5886 ((10 . 1) (12 . 2) (13 . 3) (14 . 5)) 3481 0.3999 6.7760 ((2 . 4) (9 . 10) (10 . 11) (12 . 12)) 3495 0.3999 6.1792 ((2 . 7) (3 . 8) (8 . 11) (12 . 16)) 3496 0.3999 6.4755 ((9 . 19) (10 . 20) (12 . 22) (14 . 23)) 3533 0.3997 9.3941 ((9 . 5) (10 . 6) (12 . 8) (14 . 11)) 3537 0.3999 6.4951 ((8 . 3) (9 . 7) (12 . 9) (14 . 10)) 3538 0.2800 9.4837 ((1 . 15) (5 . 17) (8 . 21) (12 . 23)) 3548 0.3995 10.6549 ((9 . 4) (10 . 7) (12 . 8) (14 . 9)) 3549 0.3997 9.1134 ((9 . 2) (10 . 4) (12 . 5) (14 . 8)) 3561 0.4997 7.0181 ((5 . 21) (8 . 23) (9 . 26) (10 . 27) (12 . 28)) 3570 0.4998 6.4185 ((9 . 1) (10 . 2) (12 . 4) (13 . 6) (14 . 7)) 3585 0.3999 7.3821 ((1 . 8) (8 . 15) (9 . 16) (10 . 17)) 3613 0.3977 15.5894 ((5 . 31) (9 . 35) (13 . 39) (14 . 40)) 3626 0.3999 6.1068 ((8 . 1) (9 . 2) (12 . 8) (14 . 11)) 3628 0.4998 6.1332 ((1 . 6) (8 . 11) (9 . 12) (10 . 13) (12 . 14)) 3651 0.4994 8.5761 ((5 . 2) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 3656 0.3992 11.8743 ((8 . 20) (12 . 23) (13 . 25) (14 . 24)) 3658 0.3998 8.1480 ((8 . 2) (9 . 5) (12 . 7) (14 . 8)) 3659 0.2800 10.4048 ((5 . 3) (9 . 5) (12 . 9) (14 . 12)) 3661 0.3999 6.8689 ((8 . 6) (10 . 10) (12 . 11) (14 . 12)) 3663 0.1970 9.9044 ((2 . 1) (3 . 2) (8 . 6) (10 . 7)) 3688 0.3999 7.1864 ((2 . 5) (3 . 7) (9 . 14) (14 . 17)) 3697 0.3998 8.3011 ((3 . 1) (8 . 5) (9 . 6) (14 . 10)) 3703 0.4988 10.0973 ((2 . 1) (8 . 5) (9 . 6) (12 . 8) (14 . 9)) 3732 0.4000 4.4343 ((8 . 6) (9 . 7) (10 . 8) (12 . 9)) 3733 0.4996 7.4461 ((5 . 2) (8 . 4) (9 . 6) (10 . 7) (12 . 8)) 3740 0.3991 12.4538 ((1 . 3) (2 . 4) (3 . 5) (8 . 8)) 3741 0.3999 6.6562 ((2 . 2) (3 . 3) (12 . 16) (14 . 17)) 3776 0.3999 7.1119 ((9 . 15) (10 . 16) (12 . 17) (14 . 20)) 3778 0.3997 9.3753 ((3 . 4) (8 . 8) (10 . 9) (12 . 12)) 3787 0.4997 6.9430 ((1 . 7) (5 . 11) (8 . 14) (9 . 15) (10 . 16)) 3790 0.4999 5.8581 ((2 . 16) (3 . 18) (8 . 23) (9 . 24) (12 . 26)) 3807 0.3997 9.1725 ((9 . 47) (10 . 49) (12 . 50) (13 . 51)) 3817 0.3998 8.0344 ((1 . 9) (2 . 10) (3 . 11) (14 . 18)) 3818 0.3995 10.6671 ((3 . 20) (5 . 21) (8 . 24) (10 . 27)) 3831 0.4000 5.8080 ((5 . 1) (9 . 6) (10 . 7) (12 . 9)) 3847 0.3999 7.5556 ((10 . 11) (12 . 13) (13 . 15) (14 . 16)) 3849 0.3999 7.1410 ((9 . 1) (10 . 4) (12 . 5) (14 . 8)) 3853 0.5993 6.9485 ((1 . 3) (5 . 4) (8 . 7) (9 . 8) (10 . 9) (12 . 12)) 3856 0.3995 10.6580 ((1 . 6) (2 . 7) (3 . 9) (9 . 14)) 3870 0.4999 5.5836 ((8 . 7) (9 . 8) (10 . 9) (12 . 10) (13 . 12)) 3933 0.3999 7.2356 ((2 . 2) (3 . 3) (9 . 11) (12 . 16)) 3938 0.3993 11.5847 ((10 . 1) (12 . 2) (13 . 5) (14 . 6)) 3968 0.3999 6.7710 ((9 . 3) (10 . 4) (12 . 5) (13 . 7)) 3986 0.3996 9.9401 ((1 . 6) (3 . 9) (8 . 16) (10 . 20)) 3990 0.5381 7.3173 ((1 . 16) (5 . 17) (9 . 18) (10 . 19) (12 . 20) (14 . 26)) 4005 0.3999 7.1016 ((1 . 21) (2 . 24) (3 . 25) (14 . 41)) 4009 0.3997 9.5116 ((1 . 1) (3 . 7) (5 . 8) (8 . 10)) 4019 0.4000 5.5500 ((3 . 34) (9 . 42) (12 . 44) (14 . 46)) 4034 0.3998 8.4430 ((5 . 7) (9 . 9) (12 . 11) (14 . 13)) 4037 0.4988 9.9417 ((1 . 1) (2 . 2) (5 . 4) (8 . 5) (10 . 7)) 4062 0.2412 10.8175 ((5 . 45) (10 . 51) (12 . 50) (13 . 53)) 4067 0.4997 6.9452 ((1 . 14) (5 . 19) (8 . 21) (9 . 22) (12 . 25)) 4077 0.2413 7.3490 ((2 . 10) (3 . 11) (5 . 12) (10 . 15)) 4082 0.3998 8.3276 ((8 . 3) (9 . 5) (12 . 7) (14 . 8)) 4087 0.3999 6.7229 ((8 . 4) (9 . 5) (12 . 7) (14 . 8)) 4112 0.3999 6.9721 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 4115 0.4998 6.2171 ((5 . 14) (8 . 16) (9 . 17) (10 . 18) (12 . 19)) 4140 0.1970 9.7365 ((2 . 21) (3 . 22) (5 . 25) (10 . 27)) 4151 0.5067 8.5192 ((1 . 7) (5 . 11) (8 . 14) (9 . 15) (10 . 16) (12 . 17) (14 . 19)) 4177 0.2800 8.2602 ((2 . 1) (3 . 2) (5 . 4) (12 . 9)) 4190 0.3360 11.7877 ((9 . 3) (10 . 4) (13 . 6) (14 . 8)) 4192 0.3996 9.9514 ((1 . 10) (5 . 14) (10 . 21) (12 . 22)) 4194 0.3999 7.4626 ((5 . 2) (8 . 4) (9 . 5) (12 . 7)) 4195 0.2799 12.8288 ((5 . 2) (8 . 3) (13 . 5) (14 . 6)) 4204 0.4999 5.1722 ((8 . 10) (9 . 11) (10 . 12) (12 . 14) (14 . 15)) 4209 0.1654 7.0766 ((2 . 1) (3 . 2) (5 . 3) (10 . 11)) 4210 0.3999 7.4269 ((8 . 3) (9 . 5) (10 . 7) (12 . 8)) 4226 0.4989 9.7093 ((1 . 6) (2 . 8) (3 . 9) (12 . 11) (14 . 19)) 4236 0.2800 7.9284 ((9 . 5) (12 . 8) (13 . 11) (14 . 10)) 4246 0.1970 12.2337 ((1 . 5) (2 . 6) (3 . 7) (5 . 10)) 4254 0.3997 9.1320 ((2 . 6) (8 . 12) (9 . 15) (10 . 16)) 4255 0.4000 5.0246 ((9 . 21) (10 . 22) (12 . 23) (14 . 24)) 4257 0.3999 7.1500 ((9 . 1) (10 . 2) (12 . 3) (13 . 4)) 4265 0.4993 8.8744 ((1 . 21) (5 . 25) (8 . 27) (9 . 29) (10 . 31)) 4266 0.4993 8.6653 ((5 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 4274 0.4999 5.1719 ((8 . 37) (9 . 38) (10 . 39) (12 . 40) (14 . 41)) 4275 0.4988 10.0633 ((8 . 22) (9 . 23) (10 . 24) (12 . 25) (14 . 27)) 4281 0.3998 8.4580 ((1 . 4) (2 . 5) (5 . 9) (10 . 14)) 4284 0.3999 7.4632 ((9 . 1) (10 . 2) (12 . 5) (14 . 6)) 4299 0.4992 9.1532 ((3 . 6) (8 . 10) (9 . 11) (10 . 13) (12 . 14)) 4326 0.4996 7.7733 ((1 . 7) (5 . 8) (8 . 14) (9 . 17) (12 . 19)) 4332 0.4991 9.3334 ((5 . 1) (9 . 2) (12 . 4) (13 . 5) (14 . 6)) 4338 0.4000 5.8678 ((9 . 4) (10 . 5) (12 . 6) (14 . 7)) 4352 0.3667 10.9021 ((5 . 2) (8 . 4) (10 . 7) (12 . 9)) 4359 0.3997 9.2991 ((3 . 1) (9 . 6) (12 . 10) (14 . 11)) 4380 0.4997 6.7927 ((2 . 3) (3 . 4) (9 . 14) (12 . 17) (14 . 18)) 4386 0.3987 13.5863 ((5 . 2) (8 . 3) (9 . 4) (10 . 5)) 4388 0.4999 5.9019 ((8 . 2) (9 . 3) (10 . 4) (12 . 5) (14 . 6)) 4398 0.4997 7.0967 ((1 . 4) (5 . 5) (9 . 10) (10 . 11) (12 . 12)) 4405 0.4000 5.4868 ((9 . 19) (10 . 20) (12 . 22) (14 . 25)) 4408 0.4000 5.4707 ((9 . 4) (10 . 5) (12 . 6) (14 . 7)) 4415 0.4000 5.2449 ((9 . 1) (10 . 2) (12 . 3) (14 . 4)) 4419 0.3998 8.8918 ((8 . 5) (9 . 7) (12 . 9) (14 . 10)) 4426 0.3999 6.3420 ((8 . 1) (9 . 2) (10 . 3) (14 . 4)) 4470 0.4999 5.8871 ((1 . 5) (8 . 11) (9 . 12) (10 . 13) (12 . 14)) 4491 0.3997 9.5481 ((9 . 1) (10 . 4) (13 . 7) (14 . 8)) 4492 0.4997 7.0164 ((1 . 11) (8 . 19) (9 . 21) (10 . 22) (14 . 26)) 4495 0.4997 7.3174 ((1 . 14) (5 . 15) (9 . 16) (12 . 18) (14 . 21)) 4497 0.3999 7.1967 ((5 . 20) (9 . 24) (12 . 26) (14 . 27)) 4502 0.3999 7.7000 ((1 . 9) (5 . 13) (8 . 16) (9 . 17)) 4504 0.4986 10.4484 ((8 . 2) (9 . 4) (10 . 5) (12 . 6) (14 . 8)) 4505 0.5994 6.7856 ((1 . 26) (8 . 27) (9 . 28) (10 . 29) (12 . 30) (14 . 34)) 4516 0.4000 5.8846 ((5 . 3) (9 . 6) (10 . 9) (12 . 10)) 4538 0.3997 9.4024 ((1 . 30) (2 . 31) (5 . 36) (8 . 39)) 4551 0.3997 9.4686 ((1 . 4) (5 . 7) (12 . 17) (14 . 18)) 4560 0.4994 8.5910 ((3 . 1) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 4561 0.3999 6.6815 ((5 . 4) (8 . 8) (9 . 9) (12 . 12)) 4562 0.4000 5.7427 ((5 . 21) (9 . 25) (10 . 26) (12 . 27)) 4563 0.4993 8.8333 ((5 . 27) (9 . 31) (10 . 33) (12 . 34) (14 . 35)) 4577 0.3999 6.4839 ((2 . 28) (3 . 29) (12 . 39) (14 . 41)) 4579 0.2800 10.5477 ((5 . 26) (8 . 27) (10 . 28) (13 . 31)) 4588 0.4992 9.0507 ((1 . 1) (5 . 4) (9 . 11) (10 . 12) (12 . 13)) 4589 0.4999 4.8058 ((8 . 17) (9 . 18) (10 . 20) (12 . 22) (14 . 23)) 4607 0.2413 8.0711 ((5 . 21) (8 . 23) (10 . 28) (12 . 27)) 4621 0.3998 8.4448 ((5 . 1) (9 . 6) (12 . 9) (14 . 11)) 4630 0.3999 7.5572 ((1 . 23) (2 . 24) (9 . 33) (12 . 36)) 4653 0.1970 7.6379 ((9 . 1) (10 . 2) (12 . 4) (14 . 6)) 4665 0.3360 12.5257 ((8 . 9) (12 . 13) (13 . 16) (14 . 14)) 4668 0.4998 6.1672 ((5 . 2) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 4669 0.4994 8.4916 ((2 . 12) (5 . 16) (8 . 18) (9 . 19) (12 . 21)) 4671 0.4000 4.7314 ((8 . 3) (9 . 4) (10 . 5) (12 . 7)) 4674 0.3994 11.0528 ((1 . 1) (5 . 4) (8 . 5) (9 . 9)) 4678 0.2800 9.7730 ((3 . 6) (5 . 7) (8 . 9) (14 . 16)) 4713 0.3996 9.8585 ((5 . 1) (9 . 7) (12 . 9) (13 . 11)) 4715 0.2799 13.4743 ((5 . 1) (8 . 4) (10 . 7) (13 . 9)) 4731 0.3998 8.0234 ((2 . 14) (8 . 19) (12 . 23) (14 . 24)) 4857 0.3999 6.9970 ((1 . 5) (8 . 12) (9 . 13) (10 . 14)) 4886 0.4000 5.3189 ((1 . 1) (8 . 8) (9 . 9) (12 . 11)) 4888 0.3998 8.8369 ((3 . 4) (8 . 10) (10 . 11) (14 . 15)) 4889 0.3997 9.3604 ((2 . 4) (10 . 9) (12 . 11) (14 . 12)) 4921 0.3999 7.6495 ((9 . 9) (10 . 11) (12 . 12) (14 . 14)) 4932 0.3998 8.3633 ((9 . 6) (10 . 7) (12 . 8) (13 . 9)) 4940 0.3998 8.9212 ((1 . 3) (2 . 4) (9 . 10) (12 . 11)) 4944 0.3999 7.6088 ((8 . 10) (9 . 11) (10 . 12) (14 . 14)) 4961 0.4993 8.6938 ((8 . 11) (9 . 12) (10 . 13) (12 . 14) (14 . 15)) 4978 0.4000 5.0234 ((1 . 21) (9 . 28) (10 . 29) (12 . 30)) 4982 0.3999 7.8390 ((5 . 2) (9 . 3) (10 . 5) (12 . 8)) 4992 0.5996 5.9188 ((1 . 3) (5 . 4) (9 . 6) (10 . 7) (12 . 8) (14 . 9)) 4998 0.4530 7.0305 ((8 . 2) (9 . 3) (10 . 5) (12 . 6) (13 . 7)) 5029 0.4000 5.4949 ((5 . 3) (8 . 5) (9 . 8) (12 . 10)) 5036 0.3999 6.1216 ((2 . 1) (3 . 2) (9 . 8) (12 . 10)) 5038 0.1970 10.0312 ((9 . 9) (10 . 13) (12 . 14) (14 . 15)) 5039 0.4993 8.7716 ((5 . 36) (8 . 40) (10 . 43) (12 . 44) (14 . 45)) 5044 0.3362 9.8828 ((2 . 8) (3 . 9) (5 . 11) (9 . 16)) 5046 0.1493 11.5812 ((9 . 4) (12 . 7) (13 . 9) (14 . 8)) 5053 0.3997 9.0931 ((1 . 2) (8 . 8) (9 . 9) (12 . 11)) 5065 0.3997 9.6398 ((3 . 2) (8 . 6) (9 . 9) (12 . 11)) 5068 0.3999 7.3975 ((5 . 1) (8 . 3) (9 . 4) (12 . 10)) 5069 0.3997 9.1367 ((8 . 1) (10 . 3) (12 . 4) (14 . 5)) 5073 0.4997 7.0899 ((1 . 32) (5 . 35) (8 . 38) (9 . 39) (12 . 42)) 5080 0.1493 8.9767 ((2 . 2) (3 . 3) (8 . 6) (10 . 9)) 5092 0.3974 16.1513 ((5 . 4) (8 . 7) (10 . 8) (13 . 9)) 5101 0.4997 7.0958 ((1 . 1) (8 . 6) (9 . 7) (10 . 8) (12 . 10)) 5103 0.3999 7.1746 ((8 . 14) (9 . 17) (10 . 18) (12 . 19)) 5121 0.3998 8.0876 ((5 . 22) (8 . 23) (12 . 30) (14 . 31)) 5132 0.4000 3.8969 ((8 . 17) (9 . 18) (10 . 19) (12 . 20)) 5134 0.3995 10.4123 ((1 . 10) (8 . 16) (9 . 17) (10 . 18)) 5145 0.3823 7.0753 ((1 . 3) (8 . 4) (9 . 5) (10 . 7) (12 . 8) (14 . 10)) 5167 0.5000 4.0615 ((5 . 7) (8 . 10) (9 . 12) (10 . 13) (12 . 14)) 5183 0.3998 7.9854 ((2 . 36) (3 . 37) (5 . 39) (8 . 41)) 5192 0.3999 6.8422 ((2 . 9) (5 . 10) (8 . 15) (12 . 20)) 5198 0.3991 12.3322 ((8 . 23) (9 . 24) (10 . 25) (14 . 31)) 5199 0.1970 10.3968 ((5 . 1) (8 . 2) (10 . 6) (12 . 8)) 5209 0.3999 7.5251 ((9 . 4) (10 . 6) (12 . 7) (14 . 8)) 5212 0.1329 7.9626 ((8 . 1) (9 . 2) (10 . 4) (13 . 7)) 5215 0.3999 6.5632 ((1 . 2) (9 . 9) (12 . 11) (14 . 12)) 5223 0.4999 5.1799 ((5 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 5231 0.3999 7.3155 ((9 . 8) (10 . 9) (13 . 15) (14 . 16)) 5266 0.4000 4.8908 ((5 . 3) (9 . 8) (10 . 9) (12 . 10)) 5278 0.3996 10.0718 ((5 . 1) (9 . 5) (12 . 9) (14 . 10)) 5307 0.4000 5.8865 ((9 . 51) (10 . 52) (12 . 55) (14 . 57)) 5318 0.5384 6.2331 ((1 . 3) (8 . 7) (9 . 8) (10 . 9) (12 . 11) (14 . 19)) 5323 0.2800 9.7474 ((5 . 4) (8 . 9) (9 . 10) (13 . 14)) 5324 0.4993 8.8464 ((1 . 5) (8 . 13) (9 . 14) (12 . 15) (14 . 16)) 5344 0.3992 11.8236 ((1 . 1) (2 . 2) (5 . 5) (12 . 10)) 5345 0.3998 8.0808 ((1 . 7) (2 . 8) (3 . 9) (9 . 16)) 5368 0.3999 6.0276 ((2 . 35) (3 . 36) (9 . 41) (12 . 45)) 5378 0.3999 7.7360 ((5 . 1) (9 . 4) (10 . 5) (12 . 7)) 5411 0.4999 5.4933 ((8 . 2) (9 . 3) (10 . 5) (12 . 6) (14 . 8)) 5414 0.0999 7.4978 ((9 . 16) (10 . 17) (12 . 20) (14 . 21)) 5418 0.1970 7.6017 ((2 . 1) (3 . 2) (9 . 9) (10 . 10)) 5433 0.2800 8.2203 ((2 . 5) (3 . 7) (9 . 16) (12 . 20)) 5479 0.4000 5.9132 ((3 . 33) (9 . 36) (12 . 40) (14 . 41)) 5487 0.3998 8.0463 ((5 . 5) (8 . 8) (9 . 9) (10 . 10)) 5489 0.3999 7.2662 ((3 . 1) (9 . 6) (12 . 9) (14 . 12)) 5500 0.4999 5.9388 ((1 . 1) (8 . 10) (9 . 12) (10 . 13) (12 . 14)) 5501 0.3998 8.8710 ((5 . 26) (8 . 28) (9 . 30) (10 . 32)) 5535 0.3996 10.1109 ((5 . 1) (9 . 8) (12 . 11) (14 . 12)) 5540 0.4000 5.5663 ((9 . 1) (10 . 2) (12 . 3) (14 . 4)) 5557 0.3362 10.4070 ((9 . 4) (10 . 5) (12 . 6) (13 . 8)) 5560 0.5380 7.7160 ((1 . 13) (8 . 14) (9 . 15) (10 . 16) (12 . 17) (14 . 20)) 5562 0.4000 5.6914 ((5 . 9) (9 . 11) (10 . 13) (12 . 14)) 5567 0.3999 6.7142 ((8 . 10) (9 . 11) (10 . 14) (12 . 17)) 5594 0.4998 6.1951 ((5 . 2) (8 . 5) (9 . 6) (10 . 7) (12 . 9)) 5600 0.4000 5.8332 ((9 . 3) (10 . 4) (12 . 6) (14 . 9)) 5601 0.3997 9.0151 ((1 . 1) (8 . 9) (9 . 10) (14 . 16)) 5638 0.3990 12.5974 ((1 . 8) (2 . 9) (5 . 12) (8 . 14)) 5640 0.3997 9.5213 ((1 . 8) (2 . 9) (3 . 10) (12 . 20)) 5644 0.3361 11.4364 ((1 . 1) (2 . 3) (3 . 4) (9 . 11)) 5656 0.4000 5.8723 ((5 . 15) (8 . 17) (10 . 20) (12 . 21)) 5689 0.1970 9.8303 ((5 . 10) (8 . 12) (10 . 14) (13 . 17)) 5700 0.3996 10.0882 ((3 . 2) (9 . 6) (12 . 9) (14 . 11)) 5701 0.3997 9.2508 ((1 . 11) (2 . 12) (8 . 15) (10 . 20)) 5703 0.2955 5.7023 ((2 . 2) (3 . 1) (5 . 3) (9 . 7) (12 . 8) (14 . 6)) 5711 0.4000 5.5478 ((2 . 27) (3 . 28) (12 . 35) (14 . 36)) 5713 0.4000 5.0157 ((2 . 11) (3 . 13) (9 . 20) (12 . 24)) 5718 0.3997 9.3746 ((2 . 14) (8 . 22) (9 . 23) (12 . 25)) 5731 0.3999 6.0663 ((10 . 6) (12 . 7) (13 . 8) (14 . 9)) 5746 0.3998 8.2952 ((8 . 1) (9 . 2) (13 . 5) (14 . 6)) 5749 0.3996 10.1118 ((8 . 2) (9 . 3) (12 . 5) (14 . 6)) 5761 0.2413 8.3197 ((10 . 29) (12 . 31) (13 . 33) (14 . 32)) 5770 0.3999 6.7818 ((9 . 6) (10 . 7) (12 . 8) (14 . 12)) 5771 0.3999 6.5036 ((1 . 9) (8 . 16) (9 . 20) (12 . 21)) 5782 0.4999 5.2715 ((2 . 14) (3 . 15) (9 . 22) (10 . 23) (12 . 24)) 5789 0.1970 11.8030 ((2 . 2) (5 . 3) (8 . 4) (9 . 5)) 5794 0.3997 9.2907 ((9 . 16) (10 . 17) (12 . 18) (14 . 19)) 5795 0.4000 3.9876 ((8 . 12) (9 . 13) (10 . 15) (12 . 16)) 5809 0.4000 4.2868 ((8 . 4) (9 . 5) (10 . 6) (12 . 7)) 5822 0.3999 7.6637 ((9 . 4) (10 . 5) (12 . 6) (14 . 8)) 5827 0.3363 4.9832 ((8 . 6) (9 . 8) (10 . 10) (12 . 11)) 5830 0.4715 8.2561 ((1 . 3) (2 . 6) (8 . 11) (9 . 13) (13 . 16)) 5847 0.1970 7.7214 ((1 . 1) (2 . 3) (9 . 12) (14 . 17)) 5861 0.3999 7.1838 ((2 . 5) (3 . 6) (12 . 16) (14 . 20)) 5865 0.3998 8.0428 ((9 . 5) (10 . 6) (12 . 7) (13 . 8)) 5878 0.2412 9.9370 ((5 . 13) (10 . 24) (12 . 25) (14 . 29)) 5888 0.4000 5.6121 ((2 . 9) (3 . 10) (9 . 16) (12 . 20)) 5896 0.3999 7.0196 ((9 . 26) (10 . 27) (12 . 29) (14 . 31)) 5904 0.3999 6.9257 ((9 . 1) (10 . 3) (12 . 4) (13 . 5)) 5913 0.4999 4.9860 ((1 . 5) (8 . 12) (9 . 13) (10 . 14) (12 . 15)) 5914 0.3998 8.2571 ((9 . 2) (10 . 4) (12 . 5) (14 . 6)) 5922 0.3998 8.8237 ((1 . 1) (9 . 9) (12 . 11) (14 . 13)) 5930 0.3363 6.5261 ((5 . 3) (8 . 6) (9 . 7) (12 . 10)) 5939 0.4000 5.7988 ((5 . 1) (8 . 3) (9 . 4) (12 . 6)) 5945 0.4203 7.0886 ((8 . 27) (9 . 28) (10 . 31) (12 . 32) (14 . 33)) 5949 0.4000 5.5460 ((5 . 8) (9 . 12) (10 . 13) (12 . 14)) 5955 0.4000 5.8018 ((1 . 1) (8 . 6) (9 . 7) (10 . 10)) 5967 0.3999 6.2783 ((5 . 2) (8 . 6) (9 . 7) (10 . 8)) 5977 0.4999 5.0778 ((8 . 2) (9 . 3) (10 . 4) (12 . 5) (14 . 6)) 6000 0.4995 8.0028 ((1 . 9) (5 . 11) (8 . 16) (9 . 17) (12 . 21)) 6011 0.3999 6.6879 ((1 . 11) (2 . 13) (3 . 14) (10 . 21)) 6028 0.1970 8.1925 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 6029 0.3999 6.1391 ((9 . 6) (10 . 7) (12 . 10) (14 . 11)) 6041 0.3999 6.4465 ((5 . 3) (10 . 9) (12 . 10) (14 . 11)) 6061 0.5999 4.3458 ((1 . 13) (5 . 16) (9 . 17) (10 . 18) (12 . 20) (14 . 21)) 6074 0.4998 6.2800 ((5 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 11)) 6075 0.3999 7.8376 ((1 . 17) (5 . 19) (9 . 24) (12 . 28)) 6079 0.3998 8.6016 ((8 . 2) (9 . 6) (12 . 8) (14 . 9)) 6087 0.3999 6.4772 ((5 . 4) (9 . 8) (10 . 9) (12 . 10)) 6089 0.3997 9.0746 ((3 . 1) (5 . 2) (9 . 5) (12 . 11)) 6094 0.3998 8.7773 ((9 . 5) (10 . 6) (13 . 8) (14 . 10)) 6099 0.3999 7.3848 ((2 . 24) (3 . 25) (9 . 29) (14 . 33)) 6123 0.2799 12.0172 ((9 . 1) (12 . 4) (13 . 6) (14 . 5)) 6142 0.3998 8.2508 ((1 . 14) (2 . 15) (3 . 16) (8 . 21)) 6173 0.3997 9.5800 ((2 . 7) (3 . 8) (8 . 14) (9 . 15)) 6191 0.3998 7.9065 ((9 . 6) (10 . 7) (12 . 9) (14 . 10)) 6192 0.3998 8.5082 ((5 . 2) (8 . 4) (9 . 5) (14 . 10)) 6225 0.4994 8.3842 ((1 . 3) (2 . 4) (9 . 10) (10 . 11) (12 . 12)) 6228 0.4993 8.7554 ((5 . 2) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 6234 0.2800 9.9268 ((9 . 7) (10 . 8) (13 . 14) (14 . 13)) 6238 0.3998 8.5579 ((3 . 4) (5 . 6) (9 . 9) (10 . 10)) 6243 0.5994 6.6251 ((1 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 8) (14 . 10)) 6251 0.3999 6.2107 ((5 . 9) (8 . 11) (10 . 14) (12 . 17)) 6258 0.3998 8.6272 ((2 . 3) (3 . 4) (8 . 8) (9 . 10)) 6261 0.4996 7.4514 ((1 . 1) (5 . 2) (8 . 7) (9 . 9) (12 . 11)) 6266 0.3997 9.7338 ((1 . 3) (3 . 5) (5 . 7) (8 . 9)) 6270 0.4000 5.3362 ((9 . 15) (10 . 16) (12 . 18) (14 . 20)) 6271 0.3998 7.8879 ((9 . 8) (10 . 9) (12 . 10) (14 . 11)) 6273 0.2800 7.9605 ((9 . 1) (12 . 4) (13 . 5) (14 . 6)) 6294 0.4000 4.5468 ((8 . 21) (9 . 23) (10 . 24) (12 . 27)) 6306 0.3999 7.4102 ((9 . 17) (10 . 18) (12 . 19) (14 . 21)) 6309 0.3996 10.3094 ((5 . 16) (8 . 19) (9 . 20) (14 . 25)) 6311 0.3999 7.5264 ((1 . 1) (3 . 4) (12 . 13) (14 . 14)) 6344 0.3999 7.1982 ((9 . 1) (10 . 2) (12 . 4) (14 . 6)) 6345 0.4976 11.9700 ((1 . 5) (3 . 6) (8 . 9) (9 . 11) (14 . 14)) 6348 0.4999 5.8842 ((1 . 1) (8 . 8) (9 . 9) (10 . 10) (12 . 11)) 6355 0.2413 8.9613 ((10 . 3) (12 . 4) (13 . 5) (14 . 6)) 6356 0.4999 5.6229 ((1 . 1) (8 . 8) (9 . 9) (10 . 10) (12 . 11)) 6359 0.3992 11.7956 ((5 . 1) (8 . 3) (10 . 5) (13 . 6)) 6369 0.5000 4.3057 ((8 . 21) (9 . 24) (10 . 25) (12 . 26) (13 . 27)) 6376 0.3999 7.6007 ((5 . 18) (8 . 20) (9 . 24) (12 . 26)) 6391 0.3360 12.3528 ((5 . 3) (9 . 6) (13 . 9) (14 . 10)) 6392 0.4000 5.2446 ((8 . 6) (9 . 7) (10 . 8) (12 . 9)) 6399 0.3999 7.7875 ((3 . 18) (8 . 23) (12 . 29) (14 . 31)) 6403 0.3998 7.9168 ((1 . 7) (9 . 15) (10 . 16) (12 . 17)) 6434 0.1970 9.7681 ((2 . 2) (3 . 3) (8 . 6) (10 . 8)) 6462 0.4995 8.1492 ((1 . 12) (8 . 19) (9 . 20) (12 . 22) (14 . 24)) 6498 0.4530 7.0906 ((1 . 21) (8 . 28) (9 . 29) (10 . 30) (12 . 31)) 6520 0.4990 9.5436 ((1 . 14) (8 . 21) (10 . 23) (12 . 24) (14 . 25)) 6539 0.4992 9.1227 ((8 . 1) (9 . 2) (10 . 3) (12 . 4) (14 . 5)) 6540 0.4000 5.9455 ((1 . 2) (2 . 3) (12 . 11) (14 . 12)) 6548 0.4000 4.8002 ((9 . 7) (10 . 8) (12 . 9) (14 . 12)) 6553 0.3999 7.6181 ((9 . 11) (10 . 12) (12 . 13) (14 . 15)) 6555 0.4994 8.5063 ((1 . 19) (3 . 20) (9 . 22) (12 . 24) (14 . 25)) 6561 0.4998 6.5475 ((1 . 3) (5 . 5) (9 . 12) (12 . 13) (14 . 15)) 6573 0.3999 6.4846 ((8 . 16) (9 . 19) (12 . 21) (14 . 23)) 6575 0.2800 9.6943 ((1 . 2) (3 . 5) (5 . 6) (8 . 7)) 6578 0.3999 7.2956 ((9 . 32) (10 . 36) (12 . 37) (14 . 38)) 6584 0.3999 7.2664 ((2 . 2) (3 . 3) (9 . 9) (10 . 10)) 6585 0.4990 9.6641 ((8 . 7) (9 . 8) (10 . 9) (12 . 10) (14 . 11)) 6586 0.3998 7.8824 ((8 . 16) (9 . 18) (10 . 19) (13 . 22)) 6587 0.4998 6.4827 ((8 . 27) (9 . 29) (10 . 30) (12 . 31) (14 . 34)) 6598 0.3999 7.0705 ((3 . 10) (5 . 12) (9 . 17) (12 . 22)) 6613 0.4993 8.8001 ((8 . 23) (9 . 24) (10 . 25) (12 . 27) (14 . 28)) 6635 0.3996 9.9516 ((8 . 3) (9 . 5) (10 . 9) (13 . 10)) END