3533 51 0.4992 9.0480 ((1 . 1) (3 . 2) (8 . 7) (11 . 10)) 62 0.4995 7.9927 ((1 . 12) (3 . 13) (6 . 15) (7 . 16)) 64 0.4999 5.8341 ((1 . 9) (3 . 10) (5 . 12) (10 . 15)) 77 0.4996 7.7281 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 91 0.2909 8.8212 ((1 . 16) (3 . 19) (6 . 22) (11 . 28)) 96 0.4994 8.5019 ((5 . 3) (6 . 2) (8 . 5) (10 . 6)) 129 0.4998 6.4551 ((1 . 1) (3 . 2) (5 . 3) (11 . 12)) 136 0.2910 7.3675 ((1 . 3) (5 . 5) (6 . 6) (8 . 7)) 150 0.4996 7.6781 ((3 . 20) (6 . 21) (7 . 23) (10 . 25)) 153 0.4994 8.5616 ((3 . 4) (5 . 5) (8 . 8) (11 . 9)) 157 0.4983 11.0162 ((3 . 3) (6 . 4) (8 . 8) (11 . 11)) 161 0.4986 10.3918 ((3 . 6) (6 . 7) (7 . 9) (8 . 10)) 162 0.6248 5.0120 ((1 . 12) (6 . 16) (7 . 17) (10 . 20) (11 . 22)) 169 0.6230 8.6751 ((1 . 1) (3 . 3) (5 . 4) (10 . 8) (11 . 9)) 177 0.4990 9.5609 ((1 . 4) (3 . 5) (7 . 8) (10 . 10)) 191 0.4988 10.0555 ((1 . 1) (3 . 2) (7 . 4) (11 . 6)) 198 0.4996 7.7416 ((1 . 4) (3 . 5) (7 . 10) (8 . 12)) 207 0.4990 9.4862 ((1 . 7) (3 . 8) (6 . 11) (7 . 13)) 300 0.5000 3.9677 ((6 . 5) (7 . 6) (8 . 7) (11 . 9)) 305 0.4991 9.2087 ((1 . 16) (3 . 18) (6 . 20) (7 . 21)) 307 0.4994 8.4614 ((3 . 3) (6 . 6) (7 . 7) (8 . 9)) 315 0.3669 9.1548 ((3 . 4) (5 . 5) (6 . 7) (10 . 9)) 340 0.4204 5.6819 ((3 . 2) (5 . 4) (6 . 5) (8 . 9)) 350 0.6238 7.5509 ((1 . 11) (3 . 13) (6 . 14) (8 . 15) (11 . 18)) 360 0.4997 6.8110 ((1 . 10) (3 . 12) (6 . 13) (7 . 14)) 365 0.4998 6.6434 ((3 . 1) (5 . 2) (8 . 6) (11 . 8)) 367 0.7479 6.9177 ((3 . 38) (5 . 40) (6 . 41) (8 . 42) (10 . 47) (11 . 48)) 372 0.4998 6.5829 ((3 . 6) (5 . 7) (8 . 11) (11 . 14)) 387 0.4994 8.4199 ((3 . 7) (5 . 8) (8 . 11) (11 . 12)) 405 0.4986 10.4097 ((5 . 32) (8 . 37) (10 . 39) (11 . 40)) 417 0.4993 8.6044 ((3 . 1) (5 . 2) (7 . 3) (11 . 7)) 420 0.4994 8.5253 ((3 . 1) (8 . 4) (10 . 5) (11 . 8)) 433 0.4997 7.1589 ((1 . 5) (3 . 6) (5 . 7) (10 . 10)) 442 0.4993 8.7001 ((1 . 4) (3 . 6) (6 . 9) (7 . 10)) 491 0.4995 8.0483 ((1 . 1) (6 . 5) (7 . 6) (11 . 8)) 495 0.2909 9.6928 ((1 . 5) (5 . 9) (6 . 10) (7 . 11)) 541 0.4995 8.2012 ((1 . 3) (3 . 5) (6 . 6) (7 . 7)) 543 0.4999 5.1354 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 561 0.4993 8.7439 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 584 0.4990 9.6427 ((1 . 3) (3 . 4) (5 . 5) (11 . 13)) 587 0.4999 5.3852 ((1 . 10) (3 . 11) (8 . 14) (10 . 16)) 609 0.1987 6.6457 ((1 . 3) (3 . 6) (6 . 7) (7 . 8)) 619 0.4994 8.3163 ((1 . 11) (3 . 12) (6 . 14) (7 . 15)) 624 0.6238 7.6584 ((3 . 7) (6 . 12) (7 . 13) (8 . 15) (11 . 16)) 635 0.4998 6.7552 ((1 . 14) (3 . 15) (6 . 17) (7 . 18)) 672 0.4997 7.2819 ((1 . 18) (3 . 21) (7 . 24) (8 . 26)) 678 0.1987 6.9328 ((1 . 24) (3 . 26) (6 . 28) (7 . 29)) 683 0.4200 9.8314 ((3 . 1) (5 . 2) (6 . 4) (8 . 6)) 719 0.4995 8.2078 ((1 . 25) (3 . 27) (6 . 29) (7 . 30)) 729 0.4996 7.4142 ((3 . 7) (6 . 14) (7 . 17) (11 . 20)) 735 0.4996 7.6283 ((1 . 29) (3 . 31) (10 . 37) (11 . 39)) 740 0.4986 10.4984 ((6 . 1) (7 . 2) (10 . 5) (11 . 6)) 765 0.5000 4.4343 ((3 . 7) (5 . 9) (10 . 17) (11 . 19)) 767 0.4991 9.4072 ((1 . 3) (3 . 8) (5 . 9) (7 . 13)) 795 0.4991 9.2964 ((3 . 1) (6 . 2) (7 . 3) (8 . 5)) 801 0.4987 10.1810 ((5 . 1) (7 . 4) (8 . 5) (10 . 6)) 812 0.3847 6.8972 ((1 . 8) (3 . 9) (6 . 12) (7 . 16) (11 . 19)) 818 0.4996 7.4467 ((3 . 1) (6 . 3) (8 . 7) (11 . 10)) 819 0.4998 6.1993 ((1 . 3) (5 . 5) (10 . 8) (11 . 9)) 824 0.4990 9.5672 ((3 . 43) (7 . 46) (10 . 49) (11 . 51)) 861 0.3668 10.8177 ((1 . 12) (5 . 15) (7 . 17) (10 . 19)) 901 0.4994 8.4494 ((3 . 15) (6 . 16) (7 . 17) (10 . 20)) 904 0.3670 7.8947 ((1 . 2) (6 . 5) (7 . 6) (11 . 7)) 913 0.3670 8.3690 ((3 . 16) (5 . 17) (6 . 18) (10 . 20)) 928 0.4997 6.9695 ((3 . 3) (6 . 4) (8 . 7) (10 . 8)) 937 0.4994 8.5925 ((3 . 1) (6 . 3) (7 . 4) (8 . 5)) 943 0.4997 7.1538 ((3 . 9) (5 . 12) (6 . 13) (10 . 15)) 945 0.2910 7.9839 ((1 . 14) (3 . 17) (6 . 18) (10 . 22)) 960 0.4994 8.4577 ((1 . 8) (3 . 9) (6 . 11) (7 . 12)) 978 0.1987 9.7737 ((3 . 13) (6 . 15) (7 . 16) (11 . 19)) 980 0.2910 7.3374 ((1 . 1) (3 . 3) (6 . 4) (10 . 7)) 1007 0.4996 7.5736 ((1 . 7) (3 . 8) (5 . 9) (10 . 14)) 1008 0.4998 6.1001 ((3 . 5) (5 . 8) (10 . 13) (11 . 15)) 1034 0.4179 15.0656 ((1 . 25) (6 . 27) (7 . 29) (8 . 32)) 1043 0.4996 7.4738 ((3 . 6) (6 . 9) (7 . 10) (11 . 14)) 1082 0.4995 8.2414 ((1 . 8) (3 . 9) (6 . 11) (7 . 12)) 1084 0.4998 6.5995 ((3 . 11) (5 . 12) (8 . 17) (10 . 18)) 1165 0.4997 6.9717 ((3 . 7) (6 . 9) (8 . 10) (10 . 12)) 1167 0.4994 8.4805 ((1 . 21) (3 . 22) (6 . 24) (8 . 27)) 1169 0.4198 10.4627 ((1 . 29) (3 . 30) (7 . 34) (10 . 37)) 1195 0.3669 8.8071 ((6 . 1) (7 . 2) (10 . 5) (11 . 6)) 1201 0.3668 10.4344 ((3 . 4) (6 . 5) (7 . 7) (11 . 11)) 1204 0.3663 13.1646 ((3 . 20) (5 . 22) (6 . 21) (7 . 24)) 1211 0.4989 9.8442 ((1 . 8) (3 . 9) (7 . 11) (10 . 15)) 1217 0.4989 9.7246 ((3 . 3) (5 . 5) (7 . 9) (10 . 11)) 1224 0.4996 7.6478 ((1 . 6) (3 . 7) (5 . 9) (8 . 14)) 1233 0.4985 10.5263 ((3 . 17) (6 . 19) (8 . 22) (11 . 23)) 1267 0.4997 7.1038 ((3 . 31) (5 . 33) (6 . 34) (7 . 36)) 1294 0.4996 7.7546 ((3 . 39) (5 . 40) (10 . 44) (11 . 46)) 1345 0.4988 9.9278 ((1 . 9) (5 . 12) (8 . 13) (10 . 16)) 1366 0.4993 8.6548 ((1 . 14) (3 . 16) (5 . 17) (11 . 23)) 1388 0.4997 7.0289 ((1 . 4) (3 . 5) (6 . 7) (8 . 8)) 1410 0.4200 9.8515 ((3 . 19) (5 . 21) (7 . 23) (10 . 25)) 1425 0.4999 5.0095 ((3 . 2) (7 . 6) (10 . 10) (11 . 12)) 1447 0.4993 8.8239 ((3 . 1) (6 . 2) (7 . 3) (10 . 5)) 1451 0.2462 11.9245 ((3 . 1) (6 . 2) (7 . 4) (10 . 6)) 1464 0.4997 6.9812 ((5 . 7) (6 . 9) (8 . 10) (11 . 13)) 1476 0.4998 6.6071 ((3 . 9) (6 . 13) (8 . 14) (10 . 15)) 1481 0.6243 6.6344 ((1 . 1) (3 . 2) (6 . 3) (7 . 4) (11 . 7)) 1501 0.4200 9.5963 ((3 . 1) (5 . 2) (7 . 4) (10 . 6)) 1513 0.4988 10.0572 ((3 . 2) (5 . 3) (6 . 4) (7 . 5)) 1514 0.4997 7.3440 ((1 . 3) (3 . 4) (6 . 5) (7 . 6)) 1591 0.4991 9.3984 ((3 . 1) (6 . 3) (7 . 4) (10 . 6)) 1604 0.4994 8.3815 ((3 . 3) (6 . 6) (7 . 7) (8 . 10)) 1622 0.4989 9.7970 ((3 . 18) (6 . 19) (7 . 20) (10 . 22)) 1624 0.2910 4.7256 ((3 . 2) (5 . 3) (10 . 8) (11 . 9)) 1643 0.4996 7.4032 ((1 . 34) (3 . 36) (5 . 37) (10 . 40)) 1644 0.6234 8.1891 ((3 . 43) (5 . 44) (8 . 48) (10 . 50) (11 . 51)) 1690 0.4997 7.2226 ((3 . 14) (5 . 16) (7 . 18) (10 . 21)) 1692 0.4994 8.4533 ((1 . 1) (6 . 4) (7 . 5) (11 . 8)) 1731 0.2909 10.5525 ((3 . 3) (6 . 5) (7 . 6) (10 . 8)) 1736 0.4995 7.9301 ((3 . 1) (6 . 2) (7 . 3) (10 . 5)) 1738 0.4995 7.8884 ((1 . 13) (3 . 14) (6 . 16) (8 . 21)) 1747 0.4996 7.6207 ((1 . 16) (3 . 18) (10 . 24) (11 . 25)) 1756 0.4994 8.5230 ((1 . 21) (3 . 23) (5 . 25) (10 . 31)) 1759 0.4999 5.0794 ((1 . 6) (3 . 8) (5 . 9) (8 . 13)) 1761 0.4996 7.5401 ((3 . 11) (6 . 14) (7 . 16) (11 . 20)) 1776 0.4998 6.6599 ((3 . 1) (6 . 6) (8 . 7) (10 . 9)) 1777 0.1987 9.8926 ((1 . 45) (3 . 47) (5 . 49) (7 . 52)) 1778 0.4999 5.8446 ((1 . 4) (3 . 5) (6 . 6) (7 . 8)) 1793 0.4997 6.8318 ((3 . 8) (6 . 9) (8 . 11) (10 . 12)) 1805 0.4985 10.5450 ((3 . 3) (5 . 4) (8 . 10) (11 . 11)) 1808 0.4994 8.2532 ((3 . 4) (5 . 5) (10 . 9) (11 . 10)) 1867 0.4995 7.9462 ((3 . 3) (5 . 6) (6 . 8) (7 . 7)) 1894 0.4995 7.9796 ((7 . 18) (8 . 19) (10 . 21) (11 . 23)) 1896 0.4997 7.0592 ((1 . 23) (3 . 25) (5 . 27) (6 . 28)) 1897 0.3668 10.3144 ((1 . 39) (3 . 40) (6 . 44) (10 . 46)) 1908 0.4996 7.7495 ((3 . 10) (6 . 14) (7 . 15) (8 . 17)) 1909 0.4995 7.9352 ((3 . 29) (6 . 30) (7 . 31) (10 . 34)) 1913 0.4999 5.1570 ((3 . 10) (5 . 12) (8 . 16) (10 . 19)) 1944 0.4993 8.8865 ((3 . 7) (6 . 8) (7 . 9) (10 . 13)) 1957 0.4997 6.9735 ((3 . 3) (6 . 4) (8 . 7) (10 . 9)) 1961 0.4995 7.9138 ((1 . 15) (3 . 16) (6 . 18) (7 . 19)) 1967 0.4991 9.3441 ((1 . 1) (3 . 3) (6 . 6) (7 . 7)) 1992 0.4991 9.3941 ((5 . 9) (6 . 10) (8 . 12) (11 . 14)) 1995 0.4988 10.0067 ((1 . 3) (5 . 7) (7 . 9) (8 . 11)) 2003 0.4968 12.8420 ((1 . 7) (3 . 9) (5 . 10) (7 . 12)) 2006 0.4994 8.4834 ((1 . 11) (3 . 12) (7 . 14) (11 . 15)) 2048 0.4992 9.0933 ((3 . 1) (6 . 3) (7 . 4) (10 . 6)) 2063 0.4999 5.1252 ((3 . 42) (6 . 46) (8 . 47) (10 . 49)) 2065 0.5000 3.5799 ((3 . 17) (5 . 18) (8 . 25) (10 . 27)) 2067 0.4997 6.8853 ((5 . 54) (6 . 56) (7 . 57) (10 . 60)) 2072 0.4996 7.8169 ((1 . 1) (3 . 2) (6 . 3) (7 . 5)) 2081 0.4994 8.3766 ((1 . 9) (3 . 10) (6 . 11) (7 . 12)) 2083 0.4996 7.4858 ((1 . 1) (3 . 2) (6 . 3) (10 . 7)) 2097 0.1987 10.2236 ((1 . 5) (6 . 10) (8 . 14) (11 . 16)) 2116 0.4997 6.7736 ((3 . 4) (5 . 5) (10 . 9) (11 . 10)) 2117 0.4997 7.2958 ((1 . 11) (3 . 12) (5 . 14) (8 . 20)) 2118 0.4986 10.4185 ((3 . 7) (6 . 8) (10 . 11) (11 . 12)) 2122 0.4999 4.9965 ((1 . 12) (7 . 17) (8 . 18) (11 . 22)) 2166 0.4995 8.1119 ((1 . 12) (3 . 13) (6 . 14) (7 . 15)) 2179 0.4998 6.2545 ((1 . 1) (8 . 6) (10 . 9) (11 . 10)) 2196 0.4998 6.5700 ((5 . 12) (8 . 15) (10 . 17) (11 . 18)) 2203 0.4995 7.9186 ((3 . 1) (6 . 3) (7 . 5) (8 . 6)) 2205 0.4998 6.6206 ((1 . 16) (3 . 17) (8 . 23) (11 . 26)) 2209 0.4995 7.9867 ((3 . 5) (6 . 8) (8 . 9) (10 . 10)) 2243 0.7484 6.4557 ((1 . 53) (3 . 54) (5 . 55) (8 . 61) (10 . 65) (11 . 67)) 2244 0.4996 7.8368 ((5 . 69) (7 . 73) (8 . 74) (11 . 76)) 2249 0.4998 6.5442 ((3 . 12) (5 . 16) (6 . 19) (7 . 20)) 2269 0.4992 9.1371 ((1 . 7) (3 . 8) (6 . 9) (7 . 10)) 2279 0.4994 8.5801 ((1 . 3) (3 . 5) (6 . 6) (7 . 9)) 2308 0.4990 9.4998 ((1 . 5) (3 . 6) (6 . 7) (7 . 8)) 2314 0.4989 9.7981 ((3 . 11) (5 . 13) (8 . 17) (10 . 18)) 2340 0.2910 7.4235 ((1 . 9) (5 . 11) (6 . 12) (8 . 13)) 2344 0.4991 9.4233 ((3 . 6) (5 . 7) (7 . 10) (11 . 14)) 2364 0.4994 8.5141 ((3 . 7) (5 . 9) (6 . 10) (10 . 15)) 2389 0.4995 7.9723 ((1 . 8) (3 . 9) (5 . 10) (8 . 14)) 2408 0.4998 6.5074 ((3 . 39) (5 . 40) (10 . 45) (11 . 46)) 2409 0.4198 10.4677 ((3 . 2) (7 . 6) (10 . 8) (11 . 9)) 2422 0.4969 12.7831 ((3 . 1) (5 . 4) (6 . 2) (7 . 6)) 2423 0.4991 9.4225 ((1 . 21) (3 . 22) (5 . 25) (7 . 26)) 2440 0.4988 10.0122 ((3 . 4) (6 . 5) (8 . 7) (10 . 9)) 2447 0.2910 7.7443 ((3 . 15) (6 . 19) (7 . 21) (11 . 24)) 2462 0.4997 6.8864 ((5 . 1) (6 . 2) (8 . 3) (10 . 4)) 2510 0.4996 7.5505 ((3 . 19) (5 . 21) (6 . 22) (8 . 25)) 2525 0.4996 7.4941 ((5 . 43) (6 . 44) (7 . 45) (10 . 48)) 2529 0.4996 7.5710 ((5 . 1) (6 . 2) (7 . 3) (10 . 5)) 2533 0.4992 8.9697 ((3 . 4) (5 . 6) (6 . 7) (10 . 9)) 2551 0.3670 7.5247 ((5 . 9) (6 . 10) (7 . 11) (11 . 14)) 2556 0.4997 7.0877 ((3 . 16) (6 . 17) (8 . 20) (10 . 22)) 2561 0.1497 9.4318 ((6 . 5) (7 . 6) (8 . 7) (11 . 9)) 2595 0.4994 8.3474 ((3 . 4) (6 . 5) (7 . 6) (8 . 9)) 2619 0.6234 8.1550 ((1 . 2) (3 . 3) (6 . 4) (7 . 5) (10 . 7)) 2627 0.2909 9.9367 ((6 . 59) (7 . 60) (10 . 64) (11 . 65)) 2650 0.1332 4.9658 ((3 . 2) (6 . 4) (7 . 5) (11 . 7)) 2658 0.1987 10.8576 ((1 . 10) (3 . 12) (5 . 13) (7 . 14)) 2675 0.4996 7.8065 ((3 . 1) (5 . 3) (10 . 8) (11 . 10)) 2682 0.4994 8.4573 ((1 . 13) (5 . 17) (6 . 18) (7 . 19)) 2696 0.4999 5.5363 ((1 . 32) (3 . 34) (5 . 35) (10 . 39)) 2731 0.2909 9.0537 ((3 . 1) (6 . 3) (7 . 4) (8 . 5)) 2733 0.4999 5.6856 ((1 . 2) (3 . 4) (6 . 7) (7 . 8)) 2755 0.4996 7.7328 ((3 . 5) (6 . 7) (8 . 8) (10 . 10)) 2773 0.4994 8.3082 ((1 . 2) (3 . 3) (6 . 4) (7 . 5)) 2783 0.4988 10.0097 ((1 . 1) (6 . 4) (7 . 6) (10 . 8)) 2804 0.3668 10.7368 ((1 . 29) (3 . 31) (5 . 34) (7 . 36)) 2821 0.4982 11.0420 ((1 . 1) (3 . 2) (7 . 5) (11 . 11)) 2830 0.4998 6.1988 ((3 . 3) (6 . 4) (8 . 7) (10 . 9)) 2834 0.5512 9.3631 ((1 . 1) (6 . 11) (7 . 12) (10 . 14) (11 . 16)) 2840 0.3668 10.6708 ((1 . 1) (3 . 5) (5 . 6) (7 . 8)) 2842 0.4996 7.5836 ((1 . 5) (6 . 8) (7 . 9) (10 . 11)) 2867 0.3671 4.7940 ((6 . 3) (7 . 8) (8 . 9) (11 . 12)) 2879 0.6241 7.1200 ((3 . 51) (6 . 55) (8 . 56) (10 . 58) (11 . 59)) 2886 0.4997 7.2944 ((3 . 35) (5 . 37) (10 . 41) (11 . 43)) 2929 0.2910 5.2236 ((5 . 36) (6 . 37) (8 . 39) (10 . 40)) 2940 0.4997 7.1415 ((6 . 2) (7 . 3) (8 . 4) (11 . 5)) 2947 0.4997 7.1511 ((1 . 3) (3 . 4) (6 . 5) (7 . 6)) 2955 0.4989 9.7903 ((5 . 3) (6 . 2) (7 . 4) (11 . 6)) 2966 0.6196 11.0948 ((1 . 1) (3 . 3) (5 . 4) (8 . 9) (11 . 11)) 2990 0.4996 7.3874 ((1 . 9) (3 . 12) (6 . 13) (7 . 14)) 2999 0.2909 10.2549 ((6 . 3) (7 . 4) (10 . 6) (11 . 7)) 3014 0.2910 7.9863 ((6 . 31) (7 . 32) (10 . 34) (11 . 35)) 3019 0.4994 8.5978 ((1 . 19) (3 . 20) (6 . 21) (7 . 22)) 3034 0.4991 9.3451 ((3 . 5) (6 . 6) (7 . 7) (10 . 9)) 3041 0.4994 8.2798 ((3 . 9) (6 . 10) (8 . 12) (10 . 14)) 3055 0.4996 7.7705 ((3 . 7) (8 . 12) (10 . 13) (11 . 15)) 3063 0.4992 9.1500 ((3 . 41) (5 . 42) (8 . 45) (10 . 46)) 3084 0.4997 7.1407 ((3 . 5) (6 . 6) (8 . 9) (10 . 11)) 3102 0.4997 7.1059 ((3 . 69) (5 . 70) (7 . 71) (11 . 75)) 3103 0.2909 10.4231 ((1 . 1) (3 . 2) (5 . 3) (7 . 5)) 3114 0.4987 10.3096 ((1 . 22) (3 . 23) (5 . 25) (10 . 29)) 3120 0.4995 7.9741 ((1 . 21) (3 . 22) (6 . 24) (7 . 25)) 3127 0.4996 7.5759 ((3 . 8) (6 . 9) (7 . 11) (8 . 13)) 3147 0.4998 6.6743 ((1 . 5) (3 . 6) (5 . 7) (8 . 12)) 3187 0.4998 6.4317 ((3 . 1) (5 . 2) (10 . 5) (11 . 6)) 3190 0.2910 7.4044 ((1 . 1) (3 . 3) (6 . 4) (10 . 9)) 3197 0.4997 6.9311 ((3 . 12) (5 . 14) (6 . 15) (7 . 16)) 3200 0.4990 9.6406 ((1 . 6) (3 . 9) (6 . 12) (7 . 13)) 3212 0.1987 11.2299 ((1 . 2) (3 . 5) (6 . 7) (7 . 9)) 3222 0.3669 9.7796 ((1 . 1) (3 . 3) (5 . 4) (7 . 6)) 3256 0.4997 6.8436 ((3 . 18) (5 . 19) (10 . 25) (11 . 26)) 3261 0.2462 11.6179 ((1 . 3) (6 . 5) (7 . 6) (10 . 9)) 3286 0.4992 8.9726 ((1 . 4) (5 . 7) (6 . 8) (7 . 9)) 3297 0.4984 10.7406 ((1 . 9) (3 . 11) (5 . 12) (7 . 13)) 3300 0.4203 7.6400 ((1 . 1) (3 . 2) (5 . 4) (7 . 5)) 3322 0.4997 7.3234 ((1 . 1) (3 . 3) (6 . 6) (7 . 7)) 3334 0.4980 11.3737 ((3 . 10) (6 . 11) (10 . 14) (11 . 15)) 3339 0.4997 7.1865 ((3 . 17) (6 . 18) (7 . 19) (8 . 21)) 3344 0.6248 5.0497 ((3 . 20) (5 . 21) (7 . 22) (10 . 24) (11 . 26)) 3358 0.4998 6.2324 ((1 . 4) (3 . 7) (6 . 9) (7 . 10)) 3362 0.3668 10.0362 ((3 . 6) (6 . 7) (7 . 8) (10 . 11)) 3366 0.4997 6.9513 ((1 . 23) (3 . 24) (5 . 26) (10 . 29)) 3391 0.1987 6.2297 ((1 . 13) (6 . 16) (7 . 17) (11 . 21)) 3418 0.3669 9.4518 ((6 . 1) (7 . 2) (10 . 6) (11 . 7)) 3472 0.4998 6.5632 ((3 . 2) (5 . 3) (10 . 9) (11 . 11)) 3481 0.4997 7.3424 ((1 . 4) (3 . 8) (6 . 11) (7 . 12)) 3489 0.4994 8.5753 ((3 . 3) (5 . 4) (10 . 10) (11 . 12)) 3496 0.6224 9.2342 ((1 . 22) (3 . 23) (5 . 19) (6 . 24) (7 . 29)) 3533 1.0000 0.0000 ((1 . 1) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 3537 0.4995 7.9144 ((3 . 2) (6 . 3) (7 . 7) (11 . 9)) 3538 0.4969 12.7101 ((3 . 20) (6 . 21) (10 . 24) (11 . 25)) 3548 0.3670 8.2307 ((1 . 2) (3 . 3) (8 . 8) (11 . 10)) 3549 0.4996 7.6483 ((3 . 1) (6 . 4) (8 . 5) (11 . 8)) 3561 0.4991 9.3587 ((3 . 22) (6 . 25) (7 . 26) (10 . 28)) 3570 0.4995 8.1538 ((3 . 4) (5 . 7) (7 . 8) (10 . 10)) 3585 0.4997 6.9103 ((1 . 11) (3 . 12) (5 . 13) (10 . 16)) 3626 0.2910 8.2454 ((6 . 1) (7 . 3) (10 . 8) (11 . 11)) 3628 0.3668 10.2106 ((6 . 5) (7 . 6) (10 . 8) (11 . 9)) 3651 0.4995 8.0042 ((3 . 1) (6 . 2) (7 . 3) (8 . 5)) 3658 0.4988 9.9267 ((3 . 1) (6 . 2) (10 . 7) (11 . 8)) 3659 0.4994 8.2863 ((5 . 8) (7 . 10) (8 . 12) (10 . 13)) 3661 0.2910 8.2392 ((6 . 18) (8 . 23) (10 . 24) (11 . 26)) 3688 0.4999 5.6436 ((3 . 12) (5 . 14) (10 . 17) (11 . 18)) 3697 0.4993 8.7957 ((1 . 6) (3 . 7) (6 . 8) (7 . 10)) 3703 0.3663 13.1319 ((3 . 4) (6 . 5) (7 . 6) (10 . 8)) 3732 0.4991 9.2571 ((3 . 5) (7 . 7) (10 . 9) (11 . 11)) 3733 0.4992 9.0022 ((3 . 3) (6 . 4) (7 . 6) (10 . 8)) 3740 0.4995 8.2002 ((1 . 2) (3 . 3) (8 . 7) (11 . 9)) 3741 0.6229 8.7478 ((1 . 27) (3 . 28) (5 . 32) (6 . 33) (8 . 35)) 3778 0.4996 7.5839 ((1 . 3) (3 . 4) (6 . 5) (7 . 6)) 3787 0.4997 7.1295 ((1 . 27) (5 . 31) (6 . 32) (7 . 33)) 3790 0.4997 6.9508 ((1 . 21) (5 . 24) (8 . 27) (11 . 30)) 3807 0.4992 8.9236 ((1 . 46) (3 . 47) (6 . 49) (7 . 50)) 3810 0.4201 8.9414 ((3 . 4) (5 . 6) (7 . 8) (10 . 11)) 3817 0.4995 7.9999 ((3 . 7) (6 . 8) (7 . 9) (8 . 10)) 3818 0.4995 7.9415 ((3 . 20) (6 . 21) (7 . 23) (11 . 28)) 3829 0.3664 13.1194 ((1 . 5) (5 . 9) (6 . 10) (10 . 12)) 3831 0.4994 8.4616 ((3 . 3) (6 . 4) (7 . 5) (11 . 9)) 3849 0.4996 7.5064 ((3 . 1) (6 . 4) (8 . 5) (11 . 8)) 3853 0.4994 8.3720 ((3 . 3) (6 . 4) (7 . 6) (8 . 8)) 3856 0.4995 8.0165 ((1 . 3) (3 . 6) (5 . 7) (8 . 10)) 3870 0.0999 9.1517 ((1 . 3) (3 . 5) (6 . 7) (11 . 10)) 3933 0.4996 7.7879 ((1 . 5) (3 . 6) (7 . 11) (8 . 13)) 3938 0.4994 8.3076 ((1 . 2) (3 . 4) (6 . 5) (7 . 9)) 3942 0.4990 9.6646 ((5 . 2) (6 . 4) (7 . 3) (11 . 9)) 3968 0.4994 8.3055 ((3 . 5) (6 . 8) (7 . 9) (8 . 11)) 3986 0.4999 5.9450 ((5 . 25) (7 . 27) (8 . 28) (11 . 29)) 3990 0.4997 7.1693 ((3 . 16) (6 . 19) (8 . 20) (10 . 22)) 4005 0.4997 7.0120 ((1 . 9) (3 . 12) (5 . 14) (6 . 16)) 4009 0.4988 10.0517 ((3 . 7) (6 . 8) (7 . 12) (10 . 13)) 4019 0.4998 6.4034 ((1 . 43) (3 . 44) (5 . 45) (8 . 47)) 4034 0.4991 9.2018 ((1 . 5) (3 . 6) (10 . 9) (11 . 10)) 4067 0.4993 8.7830 ((3 . 20) (6 . 21) (7 . 22) (8 . 24)) 4087 0.4999 5.3734 ((3 . 1) (5 . 3) (6 . 4) (11 . 8)) 4115 0.2910 7.8774 ((3 . 5) (6 . 7) (7 . 8) (8 . 10)) 4151 0.4996 7.3951 ((3 . 15) (6 . 16) (7 . 17) (8 . 19)) 4154 0.4990 9.6664 ((7 . 52) (8 . 51) (10 . 53) (11 . 54)) 4177 0.4992 9.1953 ((1 . 1) (3 . 2) (6 . 4) (8 . 7)) 4192 0.0999 8.4894 ((1 . 10) (3 . 13) (6 . 14) (7 . 15)) 4194 0.4994 8.5270 ((5 . 1) (6 . 2) (7 . 3) (11 . 6)) 4204 0.5523 6.4506 ((3 . 5) (6 . 10) (7 . 13) (8 . 14) (11 . 15)) 4209 0.4995 8.2157 ((3 . 2) (5 . 4) (8 . 7) (10 . 10)) 4210 0.6210 10.2707 ((1 . 5) (3 . 6) (6 . 7) (7 . 8) (8 . 10)) 4226 0.4982 11.0652 ((3 . 12) (6 . 13) (10 . 18) (11 . 19)) 4232 0.4995 7.8956 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 4236 0.4994 8.4495 ((1 . 5) (3 . 6) (6 . 11) (7 . 10)) 4246 0.4995 8.0451 ((1 . 2) (3 . 3) (7 . 6) (8 . 7)) 4254 0.6228 8.8137 ((1 . 9) (3 . 11) (6 . 12) (7 . 13) (8 . 15)) 4255 0.4997 7.2398 ((1 . 21) (3 . 24) (6 . 25) (7 . 26)) 4265 0.4995 8.1010 ((3 . 23) (6 . 25) (7 . 26) (10 . 29)) 4266 0.4971 12.5603 ((3 . 4) (6 . 5) (10 . 8) (11 . 11)) 4274 0.4999 5.8408 ((3 . 36) (6 . 37) (8 . 40) (11 . 41)) 4275 0.1987 8.6669 ((3 . 23) (6 . 24) (7 . 27) (8 . 28)) 4281 0.4988 10.0797 ((5 . 4) (6 . 6) (7 . 5) (8 . 8)) 4284 0.4993 8.6270 ((5 . 1) (8 . 4) (10 . 5) (11 . 6)) 4299 0.4993 8.8251 ((6 . 13) (7 . 14) (8 . 16) (11 . 19)) 4301 0.4998 6.2525 ((3 . 2) (5 . 3) (7 . 4) (10 . 8)) 4326 0.4999 5.9215 ((3 . 10) (6 . 14) (8 . 15) (10 . 17)) 4332 0.4994 8.4034 ((3 . 4) (6 . 5) (7 . 6) (8 . 9)) 4338 0.4986 10.4300 ((3 . 4) (6 . 5) (7 . 6) (10 . 8)) 4359 0.4998 6.2466 ((1 . 8) (3 . 9) (5 . 10) (10 . 14)) 4380 0.4995 8.1284 ((1 . 31) (3 . 32) (5 . 36) (8 . 39)) 4383 0.6247 5.1771 ((3 . 15) (5 . 16) (8 . 19) (10 . 21) (11 . 22)) 4386 0.3669 9.5633 ((3 . 16) (6 . 17) (8 . 19) (11 . 21)) 4388 0.4997 6.9483 ((5 . 3) (8 . 5) (10 . 6) (11 . 8)) 4398 0.4992 9.1900 ((3 . 4) (6 . 5) (8 . 8) (10 . 10)) 4405 0.5000 3.3230 ((6 . 20) (7 . 21) (8 . 22) (11 . 25)) 4408 0.3668 9.9826 ((3 . 1) (7 . 4) (10 . 6) (11 . 7)) 4415 0.4997 6.8283 ((1 . 3) (3 . 4) (6 . 5) (7 . 9)) 4419 0.3670 8.0652 ((3 . 3) (7 . 7) (8 . 8) (11 . 10)) 4470 0.3669 9.9736 ((3 . 2) (5 . 3) (7 . 5) (11 . 10)) 4491 0.4993 8.6675 ((1 . 5) (3 . 6) (6 . 7) (7 . 8)) 4492 0.4998 6.5811 ((3 . 13) (6 . 19) (7 . 23) (11 . 26)) 4495 0.1987 8.9203 ((1 . 14) (3 . 16) (6 . 19) (11 . 21)) 4497 0.4998 6.2960 ((3 . 23) (5 . 24) (10 . 27) (11 . 28)) 4502 0.4996 7.4589 ((3 . 11) (6 . 13) (7 . 14) (8 . 17)) 4503 0.4992 9.1551 ((6 . 2) (8 . 6) (10 . 8) (11 . 9)) 4504 0.4997 7.3225 ((1 . 8) (6 . 12) (7 . 13) (10 . 15)) 4505 0.4997 6.9101 ((1 . 28) (3 . 30) (6 . 33) (7 . 34)) 4516 0.4994 8.4634 ((3 . 28) (6 . 31) (7 . 32) (11 . 36)) 4527 0.4999 5.9549 ((1 . 1) (6 . 4) (7 . 7) (8 . 8)) 4538 0.5000 4.2043 ((3 . 30) (5 . 31) (10 . 37) (11 . 38)) 4560 0.4989 9.7218 ((1 . 4) (3 . 6) (6 . 7) (10 . 11)) 4561 0.4997 6.8366 ((3 . 5) (6 . 8) (8 . 9) (10 . 12)) 4562 0.4997 6.9693 ((3 . 22) (6 . 26) (8 . 27) (10 . 29)) 4563 0.4995 7.8525 ((3 . 26) (6 . 33) (7 . 34) (11 . 35)) 4577 0.4987 10.2570 ((1 . 30) (5 . 34) (10 . 38) (11 . 39)) 4588 0.4995 8.0799 ((3 . 11) (6 . 12) (7 . 13) (8 . 16)) 4589 0.4996 7.7164 ((1 . 22) (3 . 23) (7 . 27) (8 . 29)) 4621 0.4997 6.8647 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 4630 0.5142 6.8703 ((1 . 33) (3 . 35) (5 . 36) (8 . 38) (10 . 41)) 4648 0.6246 5.5728 ((1 . 1) (3 . 2) (6 . 3) (7 . 5) (11 . 8)) 4653 0.4988 10.1347 ((1 . 1) (3 . 3) (7 . 6) (11 . 9)) 4668 0.4994 8.5465 ((3 . 3) (6 . 6) (7 . 7) (8 . 9)) 4669 0.4996 7.7423 ((3 . 17) (6 . 18) (7 . 19) (8 . 21)) 4671 0.4995 8.0491 ((1 . 1) (3 . 2) (6 . 3) (7 . 4)) 4674 0.4986 10.4174 ((1 . 1) (3 . 2) (6 . 4) (8 . 6)) 4678 0.3669 9.3292 ((6 . 5) (7 . 6) (10 . 10) (11 . 11)) 4713 0.4998 6.4776 ((5 . 3) (8 . 6) (10 . 8) (11 . 9)) 4734 0.4997 7.0533 ((3 . 2) (5 . 3) (7 . 6) (8 . 7)) 4857 0.4997 6.9029 ((1 . 9) (3 . 11) (6 . 12) (7 . 13)) 4886 0.4995 8.2071 ((3 . 19) (6 . 20) (8 . 22) (11 . 24)) 4888 0.4995 8.1014 ((3 . 1) (6 . 2) (7 . 4) (11 . 9)) 4907 0.4981 11.3319 ((1 . 1) (5 . 3) (7 . 7) (10 . 9)) 4914 0.4994 8.3542 ((3 . 5) (8 . 9) (10 . 11) (11 . 12)) 4921 0.4998 6.0324 ((3 . 7) (5 . 8) (10 . 12) (11 . 14)) 4929 0.4192 12.6852 ((1 . 32) (3 . 33) (5 . 34) (7 . 35)) 4932 0.4999 5.2755 ((1 . 5) (6 . 7) (7 . 8) (8 . 10)) 4940 0.4996 7.7464 ((1 . 1) (3 . 2) (8 . 6) (10 . 8)) 4944 0.3669 9.7264 ((1 . 14) (3 . 15) (5 . 16) (6 . 17)) 4961 0.4992 9.0274 ((3 . 1) (6 . 2) (7 . 3) (10 . 6)) 4978 0.4992 9.0658 ((1 . 25) (6 . 27) (7 . 28) (10 . 30)) 4982 0.4995 8.1817 ((1 . 9) (3 . 10) (6 . 13) (7 . 14)) 4992 0.4992 9.1818 ((3 . 3) (6 . 4) (7 . 6) (11 . 9)) 5029 0.4995 8.0716 ((3 . 4) (6 . 7) (7 . 8) (8 . 10)) 5036 0.4997 7.2309 ((3 . 2) (7 . 6) (10 . 8) (11 . 9)) 5038 0.4202 8.3240 ((3 . 12) (5 . 14) (7 . 16) (10 . 18)) 5039 0.4994 8.5449 ((3 . 37) (6 . 38) (7 . 39) (8 . 41)) 5046 0.4998 6.5088 ((1 . 1) (3 . 3) (5 . 4) (8 . 7)) 5053 0.4994 8.5296 ((1 . 3) (3 . 5) (5 . 6) (11 . 10)) 5065 0.4994 8.5646 ((6 . 5) (8 . 8) (10 . 9) (11 . 10)) 5068 0.4917 16.4021 ((1 . 16) (5 . 20) (6 . 21) (8 . 24)) 5069 0.3671 5.8624 ((3 . 15) (6 . 16) (8 . 17) (10 . 19)) 5073 0.4994 8.3161 ((3 . 34) (6 . 35) (7 . 36) (10 . 39)) 5083 0.4997 7.1624 ((1 . 1) (6 . 4) (7 . 8) (8 . 9)) 5101 0.4995 7.9552 ((3 . 15) (6 . 17) (7 . 18) (8 . 21)) 5103 0.4996 7.6044 ((3 . 13) (5 . 15) (6 . 16) (10 . 19)) 5121 0.4989 9.8069 ((1 . 16) (3 . 19) (10 . 25) (11 . 26)) 5132 0.4995 7.9199 ((3 . 16) (6 . 17) (7 . 18) (10 . 20)) 5134 0.4996 7.4888 ((1 . 2) (3 . 3) (6 . 5) (7 . 6)) 5145 0.1987 7.4341 ((3 . 3) (5 . 5) (6 . 7) (10 . 10)) 5167 0.2910 7.9482 ((1 . 1) (5 . 3) (7 . 4) (11 . 9)) 5176 0.4989 9.7559 ((1 . 82) (3 . 84) (6 . 85) (7 . 87)) 5183 0.4987 10.1507 ((7 . 34) (8 . 35) (10 . 37) (11 . 38)) 5192 0.2909 9.5905 ((1 . 9) (6 . 13) (10 . 17) (11 . 20)) 5198 0.4968 12.9009 ((6 . 23) (7 . 24) (10 . 26) (11 . 30)) 5209 0.4996 7.4484 ((1 . 3) (3 . 4) (6 . 6) (7 . 7)) 5215 0.4998 6.0786 ((1 . 3) (3 . 4) (5 . 5) (10 . 9)) 5223 0.4997 7.2654 ((3 . 12) (6 . 14) (7 . 15) (8 . 17)) 5231 0.3669 9.2133 ((1 . 8) (3 . 12) (5 . 13) (7 . 14)) 5266 0.4995 7.9660 ((3 . 8) (5 . 10) (6 . 11) (10 . 15)) 5278 0.7474 7.3389 ((1 . 2) (3 . 5) (5 . 6) (8 . 7) (10 . 9) (11 . 10)) 5307 0.4994 8.2475 ((5 . 51) (6 . 52) (7 . 53) (11 . 57)) 5312 0.4996 7.8417 ((1 . 1) (3 . 2) (5 . 3) (10 . 7)) 5318 0.3670 8.3148 ((3 . 19) (6 . 20) (8 . 22) (11 . 24)) 5324 0.4998 6.3717 ((1 . 22) (5 . 25) (6 . 26) (8 . 28)) 5344 0.4998 6.4354 ((3 . 2) (5 . 3) (10 . 8) (11 . 9)) 5345 0.4998 6.4923 ((3 . 8) (5 . 9) (8 . 13) (11 . 16)) 5368 0.4998 6.1385 ((1 . 25) (5 . 27) (8 . 30) (10 . 33)) 5378 0.4993 8.7637 ((1 . 3) (6 . 5) (7 . 6) (8 . 7)) 5411 0.4995 8.2008 ((5 . 3) (6 . 5) (7 . 6) (10 . 8)) 5414 0.4999 5.1303 ((1 . 16) (3 . 18) (5 . 19) (8 . 22)) 5421 0.1662 9.5782 ((3 . 1) (5 . 2) (7 . 4) (8 . 5)) 5433 0.4993 8.6104 ((1 . 8) (7 . 16) (8 . 18) (10 . 20)) 5479 0.4997 6.8964 ((1 . 36) (3 . 38) (7 . 41) (8 . 42)) 5487 0.4996 7.7362 ((3 . 4) (5 . 7) (6 . 8) (10 . 11)) 5489 0.6243 6.5118 ((3 . 5) (5 . 6) (8 . 10) (10 . 12) (11 . 13)) 5500 0.3669 9.8694 ((3 . 1) (5 . 2) (7 . 4) (8 . 7)) 5501 0.4966 13.0133 ((3 . 24) (5 . 25) (6 . 26) (10 . 30)) 5535 0.4998 6.3758 ((1 . 2) (5 . 6) (8 . 9) (11 . 11)) 5540 0.4986 10.4982 ((6 . 13) (7 . 14) (8 . 15) (11 . 18)) 5557 0.4996 7.6457 ((1 . 3) (3 . 4) (6 . 5) (7 . 6)) 5560 0.6209 10.3315 ((1 . 11) (3 . 13) (6 . 14) (7 . 15) (10 . 17)) 5562 0.4992 9.0186 ((1 . 6) (3 . 7) (6 . 9) (7 . 11)) 5567 0.4995 7.8961 ((3 . 11) (6 . 14) (7 . 15) (11 . 18)) 5594 0.4992 9.0831 ((1 . 3) (3 . 4) (6 . 5) (10 . 9)) 5600 0.4996 7.5403 ((1 . 5) (3 . 6) (6 . 7) (7 . 9)) 5601 0.4996 7.4203 ((3 . 1) (6 . 4) (8 . 7) (10 . 8)) 5640 0.4998 6.3646 ((3 . 10) (5 . 11) (8 . 14) (10 . 17)) 5644 0.4995 7.9387 ((1 . 1) (3 . 3) (5 . 4) (10 . 10)) 5656 0.4999 5.8825 ((1 . 3) (6 . 6) (7 . 8) (8 . 9)) 5700 0.4997 7.2205 ((1 . 2) (3 . 3) (5 . 4) (10 . 8)) 5701 0.4993 8.7972 ((3 . 5) (5 . 6) (10 . 8) (11 . 11)) 5703 0.4996 7.6745 ((3 . 1) (5 . 2) (6 . 3) (11 . 7)) 5711 0.4998 6.0662 ((3 . 38) (5 . 39) (8 . 44) (11 . 46)) 5713 0.4998 6.6248 ((3 . 11) (5 . 13) (8 . 16) (11 . 20)) 5718 0.4995 7.9706 ((3 . 14) (5 . 16) (10 . 21) (11 . 23)) 5731 0.4996 7.5788 ((3 . 5) (5 . 7) (10 . 11) (11 . 13)) 5746 0.3670 7.8895 ((3 . 3) (6 . 4) (7 . 6) (10 . 9)) 5749 0.3670 7.5345 ((1 . 3) (3 . 4) (5 . 5) (7 . 6)) 5761 0.4996 7.7204 ((1 . 31) (3 . 32) (6 . 34) (7 . 36)) 5770 0.4998 6.3476 ((6 . 7) (7 . 8) (8 . 9) (11 . 12)) 5782 0.4997 7.2062 ((1 . 21) (3 . 22) (6 . 23) (8 . 27)) 5794 0.4996 7.7649 ((3 . 18) (5 . 19) (10 . 24) (11 . 25)) 5795 0.4988 9.9345 ((1 . 9) (3 . 10) (6 . 12) (10 . 16)) 5809 0.4995 8.0689 ((3 . 7) (6 . 8) (7 . 9) (10 . 12)) 5822 0.4991 9.4571 ((1 . 1) (3 . 2) (6 . 5) (8 . 6)) 5827 0.4999 5.9229 ((1 . 14) (3 . 15) (5 . 16) (10 . 19)) 5830 0.4996 7.7444 ((1 . 7) (5 . 10) (8 . 13) (11 . 17)) 5847 0.4995 7.8755 ((3 . 3) (8 . 9) (10 . 10) (11 . 12)) 5861 0.4998 6.2483 ((1 . 5) (3 . 6) (5 . 7) (8 . 11)) 5865 0.4987 10.1654 ((1 . 2) (3 . 5) (6 . 6) (7 . 7)) 5878 0.3668 10.6018 ((6 . 24) (7 . 28) (8 . 29) (10 . 30)) 5888 0.4998 6.3841 ((3 . 5) (5 . 6) (8 . 9) (11 . 12)) 5896 0.4997 7.2989 ((1 . 28) (3 . 29) (6 . 30) (7 . 31)) 5904 0.4995 8.0894 ((3 . 7) (6 . 8) (7 . 9) (8 . 11)) 5913 0.4996 7.4015 ((1 . 6) (5 . 9) (6 . 11) (8 . 13)) 5922 0.4996 7.4578 ((1 . 5) (5 . 8) (10 . 11) (11 . 13)) 5930 0.3670 7.0395 ((3 . 2) (5 . 4) (6 . 5) (10 . 7)) 5945 0.4997 7.0786 ((1 . 32) (3 . 33) (6 . 34) (10 . 37)) 5949 0.3670 7.9309 ((3 . 4) (6 . 8) (8 . 9) (11 . 12)) 5955 0.3667 11.0844 ((3 . 3) (5 . 5) (7 . 7) (10 . 9)) 5977 0.4994 8.5687 ((3 . 1) (6 . 2) (7 . 3) (8 . 5)) 6011 0.4998 6.6050 ((1 . 4) (3 . 7) (5 . 8) (8 . 11)) 6022 0.2910 8.3813 ((3 . 1) (8 . 4) (10 . 5) (11 . 7)) 6028 0.3670 8.7424 ((3 . 1) (5 . 2) (6 . 4) (11 . 9)) 6029 0.4996 7.5177 ((1 . 18) (3 . 19) (6 . 20) (7 . 21)) 6041 0.4999 5.9004 ((3 . 8) (6 . 9) (7 . 12) (11 . 15)) 6046 0.4991 9.4259 ((1 . 2) (3 . 3) (5 . 5) (7 . 6)) 6061 0.4999 4.6130 ((3 . 15) (6 . 16) (7 . 17) (11 . 21)) 6074 0.4996 7.4261 ((3 . 8) (6 . 10) (7 . 11) (10 . 13)) 6075 0.4994 8.4660 ((3 . 17) (6 . 19) (7 . 20) (8 . 21)) 6079 0.4995 8.2376 ((1 . 6) (3 . 7) (6 . 10) (7 . 11)) 6089 0.0999 8.2427 ((3 . 1) (6 . 2) (7 . 3) (10 . 5)) 6094 0.4996 7.7260 ((3 . 5) (5 . 7) (10 . 12) (11 . 14)) 6099 0.6220 9.5230 ((1 . 5) (3 . 6) (5 . 7) (8 . 11) (11 . 13)) 6142 0.4995 7.8527 ((1 . 2) (5 . 4) (8 . 7) (11 . 10)) 6148 0.4996 7.4547 ((3 . 32) (5 . 33) (6 . 35) (8 . 36)) 6173 0.4998 6.3225 ((1 . 4) (3 . 5) (8 . 11) (10 . 13)) 6191 0.4983 11.0106 ((1 . 4) (6 . 7) (7 . 10) (11 . 12)) 6192 0.4988 9.9956 ((3 . 3) (6 . 4) (7 . 5) (11 . 10)) 6215 0.4992 9.1632 ((1 . 17) (3 . 18) (6 . 22) (10 . 24)) 6225 0.4995 8.1329 ((1 . 3) (3 . 4) (5 . 5) (11 . 10)) 6228 0.4999 5.7491 ((1 . 9) (7 . 14) (8 . 15) (11 . 19)) 6234 0.4204 5.9450 ((1 . 9) (3 . 10) (5 . 13) (6 . 14)) 6238 0.4995 8.1277 ((1 . 3) (3 . 4) (6 . 6) (7 . 7)) 6243 0.4986 10.3421 ((5 . 3) (6 . 5) (7 . 6) (10 . 8)) 6251 0.1987 9.5691 ((1 . 8) (3 . 10) (6 . 11) (10 . 15)) 6258 0.2910 7.9346 ((1 . 10) (3 . 12) (5 . 13) (6 . 14)) 6261 0.4996 7.4325 ((1 . 1) (3 . 3) (6 . 7) (8 . 9)) 6266 0.4995 7.8911 ((3 . 5) (6 . 7) (8 . 8) (10 . 10)) 6270 0.4995 8.0259 ((3 . 15) (6 . 16) (7 . 17) (11 . 20)) 6271 0.4997 7.1159 ((1 . 4) (3 . 5) (6 . 9) (8 . 10)) 6294 0.4997 7.1866 ((3 . 2) (6 . 24) (7 . 25) (8 . 27)) 6306 0.4989 9.7053 ((1 . 15) (3 . 16) (6 . 18) (7 . 20)) 6309 0.4988 9.9491 ((1 . 17) (3 . 18) (8 . 25) (11 . 27)) 6311 0.4991 9.4444 ((1 . 5) (5 . 9) (8 . 11) (11 . 13)) 6326 0.2909 11.5504 ((1 . 1) (5 . 3) (7 . 4) (11 . 9)) 6338 0.4987 10.1559 ((1 . 4) (3 . 5) (5 . 7) (7 . 8)) 6344 0.4990 9.5380 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 6348 0.1987 9.2600 ((3 . 1) (6 . 3) (7 . 4) (11 . 9)) 6355 0.4991 9.4005 ((5 . 7) (7 . 9) (10 . 11) (11 . 12)) 6356 0.4993 8.7545 ((3 . 6) (6 . 8) (7 . 9) (10 . 11)) 6369 0.4997 7.2798 ((3 . 26) (6 . 28) (7 . 29) (8 . 31)) 6376 0.4993 8.7423 ((3 . 17) (6 . 18) (7 . 19) (8 . 21)) 6391 0.4201 9.2192 ((3 . 6) (6 . 7) (10 . 10) (11 . 12)) 6399 0.4998 6.7291 ((3 . 11) (5 . 12) (8 . 15) (10 . 17)) 6403 0.4995 8.1773 ((3 . 5) (6 . 6) (7 . 7) (8 . 10)) 6462 0.4996 7.5288 ((3 . 12) (6 . 19) (7 . 20) (11 . 24)) 6520 0.4997 7.0705 ((3 . 10) (5 . 14) (7 . 15) (11 . 16)) 6539 0.6241 7.1356 ((1 . 4) (3 . 5) (6 . 7) (7 . 8) (8 . 10)) 6540 0.4996 7.5791 ((3 . 5) (5 . 6) (10 . 9) (11 . 11)) 6548 0.4999 5.8388 ((1 . 9) (3 . 12) (5 . 13) (6 . 14)) 6553 0.4994 8.4873 ((3 . 17) (6 . 19) (8 . 22) (10 . 23)) 6555 0.4995 8.1886 ((1 . 17) (5 . 20) (10 . 24) (11 . 25)) 6561 0.4994 8.4534 ((3 . 3) (6 . 5) (7 . 8) (8 . 9)) 6573 0.4202 8.0896 ((3 . 21) (5 . 22) (7 . 24) (8 . 25)) 6578 0.4987 10.2896 ((1 . 31) (3 . 32) (5 . 34) (7 . 37)) 6584 0.4995 8.2328 ((3 . 2) (5 . 3) (8 . 6) (11 . 9)) 6585 0.4992 9.0415 ((3 . 2) (6 . 4) (7 . 6) (10 . 8)) 6587 0.4990 9.5861 ((3 . 29) (6 . 32) (7 . 33) (8 . 34)) 6598 0.4996 7.6910 ((1 . 24) (5 . 26) (8 . 29) (10 . 30)) 6613 0.4982 11.0755 ((1 . 21) (3 . 22) (10 . 27) (11 . 28)) 6635 0.4994 8.3648 ((7 . 1) (8 . 4) (10 . 5) (11 . 7)) END