6309 25 0.2908 12.0653 ((16 . 9) (19 . 10) (20 . 11) (26 . 13)) 41 0.4999 5.8197 ((16 . 4) (17 . 5) (19 . 6) (20 . 7)) 51 0.4999 5.9250 ((16 . 4) (17 . 6) (18 . 7) (27 . 13)) 62 0.4980 11.3512 ((18 . 10) (25 . 16) (26 . 15) (27 . 17)) 77 0.4997 7.1538 ((19 . 12) (20 . 13) (25 . 15) (26 . 17)) 91 0.4998 6.1412 ((16 . 18) (17 . 19) (19 . 22) (26 . 27)) 96 0.4999 4.8101 ((17 . 1) (19 . 2) (20 . 3) (25 . 5)) 129 0.1987 7.5470 ((17 . 1) (18 . 2) (20 . 3) (27 . 12)) 136 0.4995 8.1718 ((19 . 2) (20 . 3) (25 . 7) (26 . 9)) 150 0.4997 6.9417 ((17 . 20) (19 . 21) (20 . 23) (25 . 25)) 153 0.4999 5.7610 ((18 . 6) (20 . 7) (25 . 10) (27 . 12)) 157 0.4999 5.4156 ((17 . 9) (18 . 11) (25 . 16) (26 . 17)) 161 0.2910 4.6642 ((16 . 7) (17 . 10) (20 . 2) (25 . 8)) 162 0.4996 7.3859 ((17 . 15) (19 . 16) (20 . 17) (25 . 20)) 169 0.6247 5.3643 ((17 . 3) (18 . 4) (20 . 5) (25 . 9) (27 . 11)) 177 0.4999 5.6657 ((20 . 5) (25 . 8) (26 . 9) (27 . 10)) 191 0.3670 7.0183 ((16 . 3) (17 . 4) (20 . 6) (25 . 7)) 207 0.2910 6.2040 ((16 . 12) (17 . 13) (19 . 14) (20 . 15)) 300 0.1332 9.6974 ((16 . 4) (19 . 5) (20 . 6) (25 . 9)) 305 0.4994 8.3159 ((17 . 17) (18 . 19) (19 . 20) (26 . 25)) 307 0.4997 7.0474 ((16 . 2) (17 . 3) (19 . 6) (20 . 7)) 315 0.4989 9.8938 ((17 . 4) (18 . 5) (20 . 6) (25 . 10)) 350 0.4994 8.3784 ((17 . 7) (18 . 8) (20 . 10) (25 . 16)) 360 0.6246 5.7098 ((17 . 3) (18 . 9) (20 . 10) (25 . 12) (26 . 13)) 361 0.1332 13.8535 ((16 . 3) (18 . 4) (26 . 9) (27 . 10)) 365 0.2462 6.4533 ((17 . 4) (18 . 6) (19 . 7) (20 . 8)) 367 0.3671 4.3428 ((16 . 41) (17 . 42) (20 . 44) (25 . 48)) 387 0.2961 3.7705 ((17 . 7) (18 . 8) (20 . 9) (25 . 12) (27 . 15)) 405 0.4996 7.8327 ((17 . 33) (18 . 35) (20 . 37) (25 . 40)) 417 0.4998 5.9878 ((17 . 1) (18 . 2) (25 . 7) (27 . 9)) 420 0.4999 5.9341 ((17 . 2) (18 . 3) (25 . 8) (27 . 12)) 433 0.4986 10.4440 ((17 . 1) (19 . 3) (25 . 7) (26 . 8)) 442 0.4999 5.1222 ((17 . 6) (19 . 9) (20 . 10) (25 . 12)) 460 0.4996 7.4030 ((17 . 2) (18 . 3) (25 . 8) (26 . 9)) 472 0.4954 14.1122 ((19 . 24) (20 . 25) (25 . 31) (26 . 33)) 495 0.4990 9.5577 ((16 . 6) (17 . 7) (18 . 8) (20 . 9)) 541 0.4973 12.2923 ((16 . 1) (18 . 2) (20 . 3) (26 . 6)) 543 0.4997 6.9936 ((17 . 2) (20 . 6) (25 . 8) (27 . 10)) 561 0.4999 4.7756 ((17 . 1) (19 . 2) (20 . 3) (25 . 6)) 584 0.4995 8.1804 ((19 . 27) (20 . 28) (25 . 32) (26 . 33)) 609 0.4997 7.2005 ((17 . 1) (19 . 2) (20 . 3) (26 . 7)) 619 0.4202 8.7648 ((16 . 14) (17 . 15) (19 . 17) (20 . 18)) 624 0.7493 5.3503 ((16 . 21) (17 . 22) (19 . 23) (20 . 24) (25 . 26) (26 . 27)) 635 0.4998 6.6157 ((16 . 2) (17 . 3) (19 . 4) (20 . 5)) 672 0.1987 8.1656 ((17 . 16) (19 . 17) (20 . 18) (27 . 24)) 678 0.4995 8.1916 ((16 . 27) (18 . 29) (19 . 30) (25 . 34)) 683 0.4196 11.5578 ((16 . 4) (17 . 3) (18 . 5) (20 . 6)) 719 0.2910 7.9880 ((20 . 23) (25 . 27) (26 . 29) (27 . 30)) 729 0.6249 3.4892 ((17 . 5) (19 . 6) (20 . 17) (25 . 20) (26 . 21)) 735 0.4991 9.2770 ((19 . 30) (20 . 31) (25 . 36) (27 . 37)) 740 0.4984 10.7602 ((16 . 1) (17 . 2) (18 . 3) (20 . 5)) 765 0.4994 8.5945 ((17 . 7) (18 . 9) (25 . 18) (27 . 20)) 767 0.4998 6.3536 ((17 . 1) (19 . 2) (20 . 3) (25 . 9)) 795 0.4999 5.2973 ((17 . 1) (19 . 2) (20 . 3) (25 . 6)) 796 0.7491 5.6145 ((16 . 1) (17 . 3) (19 . 4) (20 . 5) (25 . 6) (26 . 7)) 801 0.2910 7.8427 ((17 . 1) (18 . 2) (20 . 4) (25 . 7)) 812 0.3670 7.9655 ((16 . 10) (17 . 11) (19 . 12) (20 . 13)) 818 0.4991 9.3201 ((17 . 7) (19 . 9) (20 . 10) (27 . 16)) 861 0.4999 5.9375 ((16 . 11) (17 . 12) (20 . 15) (25 . 19)) 901 0.4997 6.8909 ((16 . 4) (17 . 5) (19 . 6) (20 . 7)) 904 0.4202 8.7426 ((16 . 1) (17 . 3) (19 . 5) (20 . 6)) 928 0.4998 6.1042 ((16 . 2) (17 . 3) (19 . 4) (20 . 5)) 937 0.6250 2.4997 ((17 . 1) (19 . 3) (20 . 4) (25 . 5) (26 . 6)) 943 0.4999 5.4010 ((17 . 9) (19 . 10) (20 . 12) (25 . 15)) 945 0.4998 6.7316 ((17 . 14) (19 . 18) (20 . 19) (25 . 22)) 949 0.5000 2.5822 ((17 . 27) (20 . 30) (25 . 32) (26 . 33)) 960 0.4997 7.2030 ((17 . 9) (19 . 11) (20 . 12) (27 . 19)) 978 0.4999 5.5717 ((17 . 6) (19 . 9) (20 . 10) (25 . 13)) 980 0.4998 6.6077 ((16 . 2) (17 . 3) (19 . 4) (20 . 5)) 1007 0.0999 10.4536 ((16 . 1) (19 . 2) (25 . 7) (26 . 6)) 1008 0.4999 5.3613 ((17 . 5) (18 . 8) (25 . 15) (27 . 16)) 1034 0.4991 9.3543 ((16 . 19) (17 . 20) (18 . 21) (20 . 22)) 1043 0.6241 7.1474 ((16 . 5) (17 . 6) (19 . 9) (20 . 10) (25 . 14)) 1082 0.4995 8.2178 ((16 . 35) (17 . 36) (18 . 37) (19 . 38)) 1084 0.4963 13.3179 ((17 . 12) (19 . 15) (25 . 20) (26 . 21)) 1165 0.3671 4.7642 ((16 . 6) (17 . 7) (19 . 9) (20 . 10)) 1195 0.4995 8.0971 ((19 . 1) (20 . 2) (25 . 4) (27 . 6)) 1201 0.4997 6.9342 ((16 . 13) (17 . 14) (18 . 15) (20 . 17)) 1204 0.4999 5.4357 ((17 . 1) (19 . 2) (20 . 3) (27 . 11)) 1211 0.4969 12.7965 ((17 . 10) (18 . 11) (20 . 14) (26 . 17)) 1217 0.2908 11.7786 ((19 . 2) (20 . 3) (25 . 7) (26 . 8)) 1224 0.4990 9.4806 ((17 . 5) (20 . 7) (26 . 13) (27 . 14)) 1233 0.4999 5.2709 ((16 . 16) (17 . 17) (19 . 19) (20 . 20)) 1267 0.4998 6.6669 ((16 . 34) (17 . 36) (19 . 37) (20 . 38)) 1268 0.1332 13.3322 ((16 . 19) (19 . 21) (20 . 22) (25 . 25)) 1294 0.3670 7.8397 ((17 . 43) (18 . 44) (19 . 45) (20 . 46)) 1345 0.4997 7.0663 ((17 . 12) (18 . 13) (25 . 18) (26 . 19)) 1366 0.4998 5.9787 ((17 . 12) (19 . 13) (20 . 14) (25 . 17)) 1388 0.6246 5.6690 ((17 . 1) (19 . 3) (20 . 4) (25 . 5) (26 . 7)) 1410 0.2910 6.5573 ((17 . 19) (18 . 21) (20 . 22) (25 . 26)) 1425 0.2910 4.6391 ((17 . 2) (18 . 4) (20 . 6) (25 . 12)) 1435 0.1987 8.5475 ((17 . 1) (18 . 2) (20 . 3) (25 . 5)) 1447 0.4994 8.4830 ((17 . 3) (19 . 4) (20 . 5) (25 . 9)) 1451 0.4996 7.6898 ((17 . 1) (19 . 2) (20 . 3) (26 . 7)) 1464 0.3669 9.3131 ((18 . 7) (20 . 8) (26 . 12) (27 . 14)) 1476 0.4999 4.6902 ((16 . 13) (17 . 14) (19 . 16) (20 . 18)) 1513 0.4994 8.5964 ((17 . 11) (20 . 15) (25 . 18) (26 . 19)) 1514 0.6243 6.6621 ((19 . 2) (20 . 3) (25 . 4) (26 . 5) (27 . 6)) 1577 0.4986 10.3381 ((16 . 9) (17 . 10) (19 . 11) (25 . 15)) 1591 0.4998 6.3290 ((17 . 1) (19 . 3) (20 . 4) (25 . 6)) 1622 0.4997 7.1575 ((17 . 18) (19 . 19) (20 . 20) (25 . 22)) 1624 0.2910 4.7023 ((17 . 2) (18 . 3) (20 . 4) (25 . 9)) 1643 0.4994 8.4091 ((17 . 32) (20 . 34) (25 . 38) (27 . 39)) 1644 0.2909 9.2669 ((16 . 42) (17 . 44) (20 . 47) (25 . 51)) 1665 0.4999 5.3796 ((17 . 6) (19 . 7) (20 . 8) (25 . 10)) 1690 0.5508 9.8355 ((16 . 12) (19 . 15) (20 . 16) (25 . 21) (26 . 22)) 1692 0.4997 6.9506 ((20 . 1) (25 . 5) (26 . 4) (27 . 6)) 1731 0.4965 13.1209 ((17 . 3) (19 . 5) (20 . 6) (26 . 10)) 1738 0.4996 7.4098 ((19 . 16) (20 . 17) (25 . 21) (27 . 23)) 1747 0.4990 9.6434 ((17 . 24) (18 . 25) (20 . 27) (27 . 31)) 1759 0.6239 7.5035 ((17 . 2) (18 . 4) (20 . 5) (25 . 9) (27 . 13)) 1761 0.4996 7.4526 ((16 . 14) (17 . 16) (19 . 18) (20 . 19)) 1763 0.1987 6.8551 ((16 . 6) (17 . 7) (20 . 10) (25 . 13)) 1776 0.5516 8.5756 ((16 . 11) (17 . 12) (19 . 13) (20 . 14) (26 . 21)) 1793 0.4998 6.4393 ((16 . 5) (17 . 6) (19 . 7) (20 . 8)) 1808 0.4999 5.2747 ((17 . 5) (18 . 6) (19 . 7) (20 . 8)) 1867 0.4991 9.3987 ((17 . 1) (20 . 3) (25 . 7) (26 . 8)) 1894 0.4997 6.9866 ((17 . 22) (18 . 23) (19 . 24) (20 . 25)) 1896 0.4983 10.9604 ((16 . 13) (17 . 14) (25 . 19) (26 . 21)) 1897 0.4964 13.2779 ((16 . 36) (19 . 38) (20 . 39) (26 . 44)) 1908 0.4996 7.4084 ((16 . 9) (17 . 10) (19 . 14) (20 . 15)) 1909 0.4998 6.4334 ((16 . 33) (17 . 34) (19 . 36) (20 . 37)) 1913 0.4999 5.8119 ((17 . 1) (19 . 2) (20 . 3) (27 . 10)) 1944 0.4997 6.8340 ((16 . 12) (17 . 13) (26 . 20) (27 . 22)) 1957 0.4999 5.9210 ((16 . 2) (17 . 3) (19 . 4) (20 . 5)) 1961 0.3668 10.0828 ((16 . 12) (19 . 13) (20 . 15) (26 . 18)) 1967 0.4987 10.2218 ((17 . 7) (19 . 9) (25 . 14) (27 . 16)) 1972 0.4996 7.8396 ((17 . 18) (25 . 24) (26 . 25) (27 . 27)) 1992 0.4987 10.3094 ((16 . 5) (19 . 8) (20 . 9) (25 . 14)) 2006 0.4993 8.8518 ((17 . 11) (20 . 13) (25 . 16) (27 . 18)) 2045 0.2910 8.5577 ((17 . 1) (18 . 2) (20 . 3) (25 . 7)) 2048 0.4995 7.9879 ((18 . 1) (19 . 2) (25 . 4) (26 . 5)) 2063 0.4204 4.2809 ((17 . 44) (18 . 45) (19 . 46) (20 . 47)) 2065 0.4999 4.5930 ((16 . 15) (17 . 18) (20 . 26) (25 . 27)) 2067 0.4960 13.5800 ((17 . 2) (19 . 3) (20 . 4) (26 . 8)) 2072 0.4997 7.2984 ((17 . 1) (18 . 2) (25 . 7) (26 . 8)) 2081 0.4993 8.6269 ((19 . 7) (20 . 9) (25 . 10) (26 . 11)) 2097 0.4988 10.0537 ((16 . 2) (17 . 4) (18 . 5) (27 . 14)) 2114 0.4996 7.4218 ((17 . 29) (18 . 32) (20 . 34) (26 . 39)) 2116 0.4998 6.7422 ((17 . 5) (20 . 7) (25 . 11) (27 . 12)) 2117 0.4994 8.3448 ((16 . 13) (20 . 16) (25 . 23) (27 . 25)) 2118 0.4997 6.7742 ((17 . 4) (19 . 6) (20 . 7) (26 . 9)) 2122 0.4999 5.8400 ((17 . 1) (19 . 5) (20 . 6) (25 . 10)) 2166 0.4998 6.7335 ((17 . 13) (19 . 14) (20 . 15) (25 . 17)) 2179 0.4998 6.1868 ((16 . 12) (17 . 13) (25 . 20) (26 . 21)) 2203 0.4999 5.1299 ((17 . 1) (19 . 3) (20 . 5) (26 . 8)) 2205 0.0999 9.8577 ((17 . 15) (20 . 17) (25 . 22) (27 . 23)) 2209 0.4986 10.3414 ((18 . 7) (19 . 8) (20 . 9) (25 . 10)) 2243 0.4999 4.6189 ((20 . 45) (25 . 47) (26 . 48) (27 . 49)) 2248 0.4996 7.4036 ((18 . 16) (19 . 17) (25 . 22) (26 . 23)) 2249 0.6240 7.3308 ((16 . 14) (17 . 16) (19 . 19) (20 . 20) (25 . 23)) 2269 0.4991 9.2164 ((18 . 6) (20 . 7) (25 . 10) (26 . 11)) 2279 0.4996 7.8174 ((19 . 1) (20 . 3) (26 . 6) (27 . 9)) 2298 0.4996 7.6825 ((16 . 5) (17 . 6) (19 . 7) (20 . 8)) 2308 0.4977 11.8354 ((16 . 3) (18 . 4) (20 . 5) (26 . 10)) 2314 0.4987 10.3027 ((17 . 3) (18 . 4) (20 . 5) (27 . 11)) 2340 0.3669 8.8143 ((16 . 8) (17 . 9) (19 . 10) (20 . 11)) 2344 0.4996 7.4010 ((17 . 3) (19 . 5) (20 . 6) (27 . 11)) 2364 0.4998 6.1922 ((16 . 10) (17 . 12) (19 . 16) (20 . 18)) 2389 0.4992 9.0631 ((17 . 6) (20 . 8) (26 . 12) (27 . 14)) 2408 0.4999 5.4411 ((17 . 39) (18 . 40) (20 . 41) (25 . 46)) 2409 0.2910 6.0679 ((16 . 1) (17 . 4) (18 . 5) (25 . 9)) 2422 0.4999 5.6758 ((17 . 1) (19 . 2) (20 . 4) (25 . 9)) 2423 0.4996 7.6340 ((16 . 18) (17 . 19) (18 . 20) (25 . 25)) 2440 0.4965 13.1272 ((17 . 4) (19 . 5) (20 . 7) (26 . 12)) 2447 0.4997 6.8026 ((16 . 19) (17 . 21) (19 . 22) (20 . 24)) 2462 0.4994 8.5536 ((17 . 1) (19 . 2) (20 . 3) (25 . 7)) 2510 0.4997 6.7960 ((17 . 17) (19 . 18) (20 . 19) (27 . 27)) 2525 0.4999 4.7328 ((18 . 43) (20 . 45) (25 . 48) (27 . 50)) 2529 0.0999 6.6970 ((17 . 1) (19 . 2) (20 . 3) (26 . 7)) 2533 0.4998 6.6609 ((16 . 5) (17 . 6) (19 . 7) (20 . 8)) 2551 0.4999 5.2997 ((17 . 9) (19 . 10) (20 . 11) (25 . 14)) 2552 0.4993 8.6568 ((17 . 1) (19 . 2) (20 . 3) (26 . 7)) 2556 0.4997 7.0473 ((17 . 11) (19 . 12) (20 . 13) (25 . 18)) 2557 0.4997 7.1516 ((19 . 1) (25 . 3) (26 . 5) (27 . 6)) 2561 0.1987 9.3847 ((16 . 4) (19 . 5) (20 . 6) (25 . 9)) 2595 0.4998 6.4454 ((16 . 2) (17 . 4) (19 . 5) (20 . 6)) 2619 0.4996 7.7383 ((17 . 3) (19 . 4) (20 . 5) (25 . 7)) 2650 0.4997 6.8592 ((17 . 2) (19 . 4) (20 . 5) (25 . 8)) 2675 0.4994 8.4797 ((17 . 1) (19 . 2) (25 . 10) (27 . 11)) 2682 0.4993 8.6606 ((18 . 11) (20 . 13) (25 . 17) (26 . 18)) 2696 0.4995 8.1332 ((16 . 33) (17 . 34) (20 . 36) (25 . 39)) 2731 0.6249 3.4563 ((17 . 1) (19 . 3) (20 . 4) (25 . 5) (26 . 6)) 2733 0.3670 8.2718 ((16 . 7) (17 . 8) (19 . 9) (20 . 11)) 2755 0.4977 11.8451 ((16 . 2) (18 . 3) (19 . 4) (20 . 5)) 2773 0.6246 5.6502 ((17 . 3) (19 . 4) (20 . 5) (25 . 6) (26 . 7)) 2783 0.4986 10.4834 ((17 . 6) (18 . 7) (19 . 9) (20 . 8)) 2804 0.1987 9.5485 ((16 . 26) (20 . 29) (25 . 34) (26 . 35)) 2821 0.4995 8.1595 ((17 . 2) (18 . 3) (19 . 6) (26 . 12)) 2830 0.4998 6.1027 ((16 . 12) (17 . 13) (19 . 14) (20 . 15)) 2834 0.4994 8.5099 ((17 . 1) (19 . 2) (20 . 3) (25 . 8)) 2840 0.4999 5.3918 ((17 . 1) (19 . 3) (20 . 5) (25 . 8)) 2842 0.4996 7.7967 ((17 . 1) (20 . 4) (25 . 5) (26 . 7)) 2879 0.1987 4.7191 ((17 . 53) (18 . 54) (19 . 55) (20 . 56)) 2886 0.4998 6.0352 ((17 . 35) (18 . 37) (25 . 43) (27 . 44)) 2929 0.3848 4.1562 ((17 . 36) (19 . 38) (20 . 39) (25 . 40) (26 . 41)) 2940 0.4994 8.4522 ((17 . 1) (19 . 2) (20 . 3) (25 . 5)) 2947 0.5000 2.7624 ((17 . 4) (19 . 5) (20 . 6) (25 . 7)) 2955 0.4993 8.7053 ((16 . 1) (19 . 2) (20 . 3) (27 . 7)) 2966 0.4999 5.9469 ((17 . 1) (20 . 4) (25 . 9) (27 . 10)) 2990 0.4998 6.4171 ((19 . 8) (20 . 9) (26 . 13) (27 . 14)) 2999 0.5000 3.1904 ((17 . 4) (19 . 5) (20 . 6) (25 . 7)) 3014 0.4974 12.1792 ((16 . 6) (17 . 5) (19 . 8) (26 . 12)) 3019 0.6245 6.0793 ((17 . 20) (19 . 21) (20 . 22) (25 . 25) (26 . 26)) 3034 0.4998 6.4462 ((17 . 5) (19 . 6) (20 . 7) (25 . 9)) 3041 0.4999 5.3967 ((16 . 13) (17 . 14) (19 . 15) (20 . 16)) 3055 0.4992 8.9307 ((17 . 13) (18 . 15) (20 . 17) (27 . 23)) 3063 0.6249 3.8553 ((17 . 35) (18 . 36) (20 . 38) (25 . 42) (27 . 46)) 3070 0.2910 8.3145 ((16 . 31) (17 . 33) (19 . 34) (20 . 35)) 3084 0.4998 6.4400 ((17 . 3) (19 . 4) (20 . 5) (27 . 11)) 3102 0.4948 14.5601 ((17 . 68) (20 . 70) (25 . 72) (27 . 76)) 3103 0.4997 6.8770 ((17 . 1) (20 . 3) (25 . 9) (27 . 11)) 3114 0.4986 10.4967 ((17 . 22) (18 . 23) (20 . 24) (25 . 29)) 3120 0.5000 4.4108 ((19 . 20) (20 . 21) (25 . 25) (26 . 24)) 3127 0.4999 4.7217 ((16 . 5) (17 . 6) (19 . 9) (20 . 11)) 3187 0.2910 7.5957 ((17 . 3) (18 . 4) (20 . 5) (26 . 8)) 3190 0.4998 6.0441 ((16 . 2) (17 . 3) (19 . 4) (20 . 6)) 3197 0.4999 5.7262 ((16 . 13) (17 . 14) (19 . 15) (20 . 16)) 3200 0.4979 11.5092 ((16 . 2) (17 . 3) (18 . 4) (25 . 9)) 3212 0.2909 9.9883 ((16 . 1) (17 . 2) (19 . 6) (26 . 11)) 3222 0.6249 3.7201 ((17 . 6) (19 . 9) (20 . 15) (25 . 16) (26 . 17)) 3256 0.4999 4.9042 ((20 . 20) (25 . 26) (26 . 27) (27 . 28)) 3261 0.4996 7.8340 ((19 . 5) (20 . 6) (25 . 9) (26 . 11)) 3286 0.4994 8.3124 ((16 . 6) (17 . 7) (19 . 8) (20 . 9)) 3297 0.2909 8.9340 ((17 . 5) (18 . 7) (20 . 8) (25 . 9)) 3322 0.4999 5.1281 ((16 . 2) (17 . 3) (19 . 6) (20 . 7)) 3334 0.4994 8.4498 ((17 . 5) (18 . 6) (19 . 9) (26 . 12)) 3339 0.5000 2.9800 ((17 . 9) (20 . 21) (25 . 22) (26 . 23)) 3344 0.6248 4.8431 ((17 . 19) (18 . 21) (20 . 22) (25 . 26) (27 . 27)) 3358 0.4998 6.4334 ((16 . 5) (17 . 7) (19 . 9) (20 . 10)) 3362 0.4999 5.3558 ((17 . 4) (19 . 5) (20 . 6) (25 . 10)) 3366 0.2910 8.7522 ((17 . 22) (18 . 24) (20 . 26) (25 . 28)) 3391 0.4996 7.4995 ((16 . 15) (19 . 16) (20 . 17) (25 . 21)) 3410 0.4996 7.3975 ((17 . 19) (18 . 21) (25 . 28) (26 . 29)) 3418 0.4996 7.7446 ((19 . 1) (20 . 2) (25 . 5) (27 . 7)) 3472 0.4999 5.6614 ((17 . 4) (20 . 6) (25 . 11) (27 . 12)) 3481 0.4997 7.0690 ((16 . 5) (17 . 8) (19 . 11) (20 . 10)) 3489 0.4997 7.2061 ((17 . 3) (18 . 4) (25 . 10) (27 . 14)) 3495 0.6246 5.5898 ((17 . 3) (19 . 5) (20 . 7) (25 . 8) (26 . 9)) 3496 0.6247 5.1968 ((17 . 19) (19 . 21) (20 . 22) (25 . 23) (26 . 24)) 3533 0.4988 9.9491 ((17 . 1) (18 . 3) (25 . 8) (27 . 11)) 3537 0.4999 5.7582 ((17 . 2) (20 . 7) (25 . 10) (26 . 11)) 3538 0.4996 7.5841 ((16 . 22) (17 . 23) (18 . 24) (20 . 25)) 3548 0.4981 11.3360 ((17 . 6) (18 . 8) (20 . 9) (26 . 11)) 3561 0.4996 7.7842 ((16 . 25) (17 . 26) (19 . 27) (20 . 28)) 3570 0.4998 6.6175 ((17 . 1) (19 . 2) (20 . 3) (26 . 9)) 3585 0.4995 7.9642 ((17 . 6) (19 . 7) (20 . 8) (25 . 13)) 3628 0.4997 7.0125 ((16 . 11) (17 . 12) (19 . 13) (20 . 14)) 3651 0.4998 6.0454 ((17 . 1) (19 . 4) (20 . 5) (25 . 8)) 3658 0.4999 5.4309 ((16 . 2) (17 . 5) (20 . 7) (26 . 12)) 3659 0.0999 7.7269 ((18 . 7) (20 . 8) (25 . 13) (26 . 14)) 3661 0.4204 5.8707 ((16 . 6) (17 . 7) (19 . 10) (20 . 11)) 3688 0.4988 10.0252 ((18 . 1) (20 . 3) (25 . 8) (27 . 11)) 3697 0.4998 6.6390 ((19 . 5) (20 . 6) (25 . 7) (26 . 8)) 3703 0.4982 11.0875 ((17 . 2) (18 . 3) (19 . 5) (25 . 6)) 3732 0.4996 7.7697 ((16 . 6) (17 . 7) (19 . 8) (20 . 9)) 3733 0.4999 5.3290 ((16 . 2) (17 . 3) (19 . 4) (20 . 6)) 3741 0.4985 10.5304 ((17 . 2) (18 . 3) (20 . 4) (25 . 13)) 3776 0.4992 9.1557 ((17 . 15) (19 . 16) (20 . 17) (26 . 23)) 3778 0.4981 11.3186 ((16 . 5) (19 . 8) (25 . 12) (27 . 13)) 3787 0.4999 5.2923 ((16 . 30) (17 . 31) (19 . 32) (20 . 33)) 3790 0.4997 6.9500 ((17 . 21) (19 . 23) (20 . 24) (27 . 30)) 3807 0.4955 14.0297 ((17 . 47) (19 . 49) (20 . 50) (26 . 52)) 3817 0.4965 13.1624 ((17 . 7) (19 . 8) (20 . 9) (26 . 13)) 3818 0.2910 7.7339 ((16 . 24) (17 . 23) (19 . 27) (25 . 29)) 3831 0.4996 7.6626 ((17 . 3) (19 . 4) (20 . 5) (25 . 9)) 3847 0.4992 8.9419 ((17 . 9) (19 . 10) (25 . 16) (26 . 15)) 3853 0.4983 11.0147 ((18 . 6) (19 . 7) (20 . 8) (26 . 11)) 3856 0.1987 9.8062 ((17 . 7) (18 . 9) (20 . 10) (25 . 14)) 3870 0.4997 7.1574 ((16 . 4) (17 . 5) (19 . 7) (20 . 8)) 3933 0.3670 6.9920 ((16 . 4) (17 . 7) (20 . 10) (25 . 16)) 3938 0.0999 8.9925 ((17 . 2) (19 . 5) (20 . 6) (26 . 12)) 3968 0.4999 5.4711 ((16 . 4) (17 . 5) (19 . 8) (20 . 9)) 3990 0.4999 5.8207 ((17 . 18) (19 . 19) (20 . 20) (25 . 25)) 4005 0.4998 6.2864 ((17 . 25) (18 . 26) (19 . 28) (25 . 33)) 4009 0.5000 4.4746 ((17 . 1) (19 . 6) (20 . 7) (27 . 12)) 4019 0.4995 8.0306 ((17 . 46) (20 . 50) (25 . 51) (26 . 52)) 4034 0.4998 6.0966 ((17 . 6) (19 . 7) (25 . 10) (27 . 12)) 4067 0.4999 5.8297 ((16 . 15) (17 . 16) (19 . 19) (20 . 20)) 4082 0.4994 8.2598 ((16 . 4) (17 . 7) (18 . 8) (19 . 9)) 4087 0.4994 8.4943 ((19 . 2) (20 . 3) (25 . 7) (27 . 8)) 4112 0.1987 8.6560 ((17 . 2) (18 . 3) (19 . 7) (20 . 6)) 4115 0.4989 9.8767 ((16 . 11) (18 . 13) (25 . 17) (26 . 18)) 4151 0.4998 6.4185 ((16 . 2) (17 . 3) (19 . 4) (20 . 5)) 4177 0.4997 7.1014 ((18 . 1) (19 . 3) (25 . 7) (27 . 8)) 4192 0.4999 5.2497 ((17 . 10) (19 . 14) (20 . 15) (25 . 19)) 4194 0.4998 6.1702 ((17 . 1) (19 . 2) (20 . 3) (25 . 6)) 4204 0.6226 9.0531 ((16 . 6) (17 . 7) (19 . 10) (20 . 11) (25 . 15)) 4209 0.4997 6.7932 ((16 . 3) (17 . 4) (19 . 6) (26 . 11)) 4210 0.4959 13.6770 ((16 . 1) (18 . 4) (25 . 8) (26 . 9)) 4226 0.5000 3.8894 ((19 . 10) (20 . 11) (25 . 16) (26 . 17)) 4236 0.4996 7.6992 ((18 . 7) (20 . 5) (25 . 6) (27 . 8)) 4254 0.4997 7.0238 ((16 . 12) (17 . 13) (19 . 16) (20 . 17)) 4255 0.6248 4.6068 ((17 . 21) (19 . 22) (20 . 23) (25 . 24) (26 . 25)) 4257 0.4997 6.8987 ((17 . 3) (20 . 7) (25 . 11) (27 . 12)) 4265 0.4998 5.9851 ((16 . 22) (17 . 23) (19 . 25) (20 . 26)) 4266 0.4997 6.9841 ((16 . 3) (17 . 4) (19 . 5) (20 . 6)) 4274 0.4999 4.8233 ((17 . 36) (19 . 37) (20 . 38) (25 . 41)) 4275 0.4997 7.1750 ((16 . 22) (17 . 23) (19 . 24) (20 . 25)) 4299 0.4999 5.7717 ((17 . 6) (19 . 7) (20 . 9) (25 . 11)) 4301 0.4999 5.1098 ((17 . 2) (20 . 4) (25 . 9) (27 . 10)) 4326 0.4997 7.3272 ((16 . 14) (17 . 15) (19 . 16) (20 . 17)) 4332 0.5000 3.5187 ((19 . 1) (20 . 2) (25 . 4) (26 . 5)) 4338 0.4994 8.3732 ((17 . 4) (19 . 5) (20 . 6) (26 . 9)) 4352 0.3666 12.0892 ((16 . 2) (19 . 4) (26 . 11) (27 . 10)) 4359 0.4984 10.7335 ((17 . 12) (20 . 15) (25 . 19) (27 . 21)) 4380 0.4195 11.6262 ((16 . 6) (20 . 11) (25 . 15) (26 . 16)) 4383 0.6250 3.2255 ((17 . 16) (18 . 17) (20 . 18) (25 . 21) (27 . 22)) 4386 0.4943 14.9110 ((16 . 11) (17 . 10) (19 . 12) (26 . 17)) 4388 0.4999 5.7183 ((17 . 3) (19 . 4) (20 . 5) (25 . 9)) 4398 0.4992 9.1624 ((17 . 8) (18 . 10) (19 . 11) (20 . 12)) 4405 0.6239 7.4445 ((17 . 14) (19 . 17) (20 . 18) (25 . 19) (26 . 20)) 4408 0.4973 12.3337 ((16 . 5) (17 . 4) (25 . 13) (27 . 14)) 4415 0.6250 2.9283 ((17 . 1) (19 . 2) (20 . 3) (25 . 4) (26 . 5)) 4419 0.3670 8.5801 ((17 . 3) (18 . 6) (20 . 8) (26 . 11)) 4426 0.4985 10.6010 ((16 . 1) (18 . 2) (19 . 3) (26 . 5)) 4470 0.3671 6.3396 ((16 . 4) (17 . 5) (19 . 6) (20 . 7)) 4491 0.6248 4.7451 ((17 . 1) (19 . 4) (20 . 5) (25 . 6) (26 . 7)) 4492 0.5000 3.0014 ((17 . 21) (19 . 22) (20 . 23) (25 . 26)) 4495 0.4997 7.0666 ((16 . 7) (17 . 8) (19 . 9) (20 . 10)) 4497 0.4996 7.6238 ((17 . 24) (18 . 25) (20 . 26) (25 . 30)) 4502 0.4996 7.3976 ((16 . 13) (17 . 14) (19 . 16) (20 . 17)) 4503 0.2910 7.5593 ((17 . 3) (18 . 4) (20 . 6) (25 . 10)) 4504 0.4999 4.9257 ((16 . 2) (17 . 4) (19 . 5) (20 . 6)) 4505 0.4999 5.4564 ((16 . 29) (17 . 30) (19 . 33) (20 . 34)) 4516 0.4999 5.3944 ((17 . 30) (19 . 31) (20 . 32) (27 . 37)) 4538 0.4999 4.9978 ((17 . 30) (18 . 31) (20 . 32) (25 . 38)) 4560 0.4998 6.7099 ((16 . 5) (17 . 6) (19 . 7) (20 . 8)) 4561 0.4998 6.3188 ((17 . 1) (19 . 4) (20 . 5) (25 . 9)) 4562 0.4997 7.0172 ((17 . 19) (19 . 21) (20 . 22) (27 . 29)) 4563 0.6228 8.8823 ((16 . 30) (17 . 31) (19 . 33) (20 . 34) (25 . 35)) 4577 0.4995 7.8564 ((18 . 55) (25 . 58) (26 . 59) (27 . 60)) 4588 0.4998 6.6933 ((17 . 1) (18 . 3) (25 . 11) (26 . 12)) 4589 0.4998 6.5755 ((19 . 20) (20 . 22) (25 . 23) (27 . 25)) 4607 0.1332 9.9596 ((16 . 20) (19 . 23) (20 . 24) (25 . 27)) 4621 0.4992 9.0499 ((16 . 5) (17 . 7) (19 . 10) (20 . 9)) 4630 0.4996 7.4236 ((17 . 16) (20 . 18) (25 . 22) (27 . 25)) 4665 0.4199 10.2527 ((17 . 12) (18 . 13) (19 . 16) (20 . 14)) 4668 0.4999 5.8856 ((16 . 2) (17 . 3) (19 . 6) (20 . 7)) 4669 0.4999 5.5592 ((16 . 16) (17 . 17) (19 . 18) (20 . 19)) 4671 0.6248 4.5235 ((18 . 8) (20 . 11) (25 . 15) (26 . 16) (27 . 18)) 4674 0.4996 7.6589 ((20 . 1) (25 . 6) (26 . 5) (27 . 7)) 4678 0.4990 9.6739 ((17 . 6) (19 . 9) (25 . 12) (27 . 15)) 4713 0.3670 7.9642 ((17 . 7) (18 . 8) (20 . 9) (26 . 11)) 4731 0.3669 9.4372 ((16 . 20) (17 . 22) (18 . 23) (20 . 24)) 4857 0.5000 4.2464 ((17 . 3) (19 . 4) (20 . 5) (25 . 13)) 4886 0.4994 8.3873 ((16 . 8) (17 . 9) (18 . 11) (27 . 16)) 4888 0.6244 6.2478 ((17 . 9) (19 . 11) (20 . 14) (25 . 15) (26 . 18)) 4889 0.3667 11.0183 ((16 . 9) (17 . 11) (18 . 12) (19 . 13)) 4907 0.4982 11.0484 ((17 . 3) (18 . 4) (20 . 5) (26 . 10)) 4929 0.4999 5.7922 ((17 . 28) (20 . 31) (25 . 34) (27 . 35)) 4932 0.4993 8.6648 ((17 . 1) (20 . 5) (25 . 8) (27 . 10)) 4940 0.4997 7.2785 ((17 . 3) (19 . 5) (20 . 6) (25 . 9)) 4941 0.4975 12.1046 ((18 . 1) (20 . 5) (25 . 9) (27 . 13)) 4944 0.4993 8.7332 ((16 . 10) (17 . 11) (19 . 12) (25 . 15)) 4961 0.1987 9.6521 ((17 . 6) (18 . 7) (25 . 12) (26 . 13)) 4978 0.4992 8.9167 ((16 . 20) (17 . 21) (18 . 22) (20 . 24)) 4982 0.4998 6.2566 ((16 . 11) (17 . 12) (19 . 13) (20 . 14)) 4992 0.4999 5.5791 ((17 . 3) (19 . 4) (20 . 6) (25 . 9)) 4998 0.4996 7.7789 ((16 . 2) (17 . 3) (19 . 5) (20 . 6)) 5029 0.4999 5.5845 ((16 . 3) (17 . 4) (19 . 7) (20 . 8)) 5036 0.6237 7.7550 ((17 . 2) (18 . 5) (20 . 6) (25 . 9) (27 . 10)) 5038 0.1987 6.6417 ((17 . 9) (18 . 10) (20 . 12) (25 . 17)) 5039 0.4998 6.2215 ((16 . 38) (17 . 39) (19 . 40) (20 . 41)) 5044 0.2910 8.7362 ((17 . 1) (18 . 2) (20 . 3) (25 . 8)) 5046 0.4992 9.1682 ((17 . 3) (18 . 4) (25 . 8) (26 . 9)) 5053 0.3669 9.0572 ((16 . 1) (18 . 5) (20 . 6) (26 . 8)) 5065 0.4991 9.3904 ((16 . 6) (17 . 8) (18 . 9) (20 . 10)) 5068 0.4989 9.7345 ((16 . 9) (17 . 10) (25 . 17) (27 . 20)) 5069 0.4993 8.8728 ((16 . 3) (17 . 4) (18 . 5) (20 . 7)) 5073 0.5000 3.3936 ((17 . 39) (19 . 41) (20 . 42) (25 . 44)) 5080 0.4990 9.6680 ((16 . 1) (17 . 3) (19 . 5) (26 . 9)) 5083 0.2910 6.9186 ((20 . 1) (25 . 5) (26 . 4) (27 . 8)) 5101 0.4997 6.9077 ((16 . 4) (17 . 5) (19 . 6) (20 . 7)) 5103 0.4995 8.2000 ((16 . 8) (17 . 9) (19 . 11) (27 . 13)) 5121 0.4973 12.3489 ((18 . 18) (25 . 25) (26 . 23) (27 . 26)) 5132 0.4998 6.5508 ((16 . 19) (17 . 20) (19 . 21) (20 . 22)) 5134 0.4993 8.6437 ((17 . 3) (19 . 5) (20 . 6) (26 . 11)) 5145 0.4996 7.4254 ((16 . 4) (17 . 5) (19 . 7) (20 . 8)) 5167 0.6228 8.8449 ((17 . 1) (19 . 2) (20 . 3) (25 . 4) (27 . 9)) 5176 0.2909 8.8444 ((17 . 84) (18 . 86) (20 . 87) (27 . 91)) 5183 0.4986 10.4373 ((17 . 35) (18 . 36) (20 . 38) (26 . 41)) 5192 0.4999 5.3302 ((16 . 2) (17 . 3) (19 . 4) (20 . 5)) 5199 0.4990 9.6373 ((19 . 6) (20 . 7) (25 . 8) (27 . 9)) 5209 0.4997 7.2585 ((17 . 4) (19 . 6) (20 . 7) (25 . 8)) 5212 0.1987 10.5852 ((16 . 17) (19 . 20) (20 . 21) (25 . 24)) 5215 0.4992 9.1330 ((16 . 1) (19 . 6) (20 . 5) (26 . 8)) 5223 0.4998 6.3201 ((18 . 3) (19 . 4) (25 . 8) (26 . 9)) 5231 0.1987 7.2378 ((17 . 8) (19 . 9) (20 . 13) (25 . 16)) 5266 0.5000 3.9805 ((17 . 8) (19 . 11) (20 . 13) (25 . 15)) 5278 0.4998 6.5261 ((17 . 6) (18 . 7) (20 . 8) (25 . 12)) 5307 0.4997 6.8458 ((16 . 52) (17 . 53) (19 . 54) (20 . 55)) 5318 0.4874 18.3318 ((16 . 7) (19 . 9) (20 . 11) (26 . 13)) 5324 0.7491 5.5444 ((16 . 21) (17 . 22) (19 . 23) (20 . 25) (25 . 28) (26 . 29)) 5344 0.4992 8.9672 ((17 . 1) (18 . 2) (20 . 3) (27 . 9)) 5368 0.4995 8.0133 ((17 . 22) (18 . 25) (20 . 26) (27 . 33)) 5378 0.4999 4.7807 ((17 . 4) (20 . 6) (25 . 7) (27 . 21)) 5411 0.6240 7.2215 ((17 . 3) (19 . 5) (20 . 6) (25 . 8) (26 . 9)) 5414 0.4998 6.2256 ((18 . 14) (20 . 16) (25 . 20) (27 . 22)) 5418 0.4996 7.8296 ((17 . 2) (18 . 3) (25 . 9) (26 . 10)) 5433 0.0999 10.1452 ((17 . 4) (18 . 5) (25 . 14) (27 . 16)) 5479 0.4998 6.0993 ((17 . 54) (18 . 55) (25 . 62) (27 . 63)) 5487 0.4997 7.3193 ((16 . 5) (17 . 7) (19 . 8) (20 . 9)) 5489 0.4990 9.4761 ((17 . 1) (20 . 5) (25 . 6) (27 . 9)) 5500 0.4996 7.7866 ((17 . 2) (18 . 3) (25 . 12) (26 . 13)) 5501 0.4994 8.3536 ((18 . 20) (19 . 21) (25 . 24) (26 . 26)) 5535 0.4998 6.0440 ((16 . 1) (20 . 8) (25 . 12) (26 . 13)) 5540 0.4996 7.7362 ((17 . 8) (19 . 9) (25 . 16) (26 . 17)) 5557 0.4984 10.7547 ((17 . 1) (18 . 2) (20 . 3) (26 . 7)) 5560 0.4994 8.5907 ((17 . 13) (19 . 14) (20 . 15) (27 . 20)) 5562 0.4941 15.0119 ((16 . 13) (19 . 15) (20 . 17) (26 . 21)) 5567 0.4998 6.6018 ((17 . 11) (19 . 14) (20 . 15) (25 . 18)) 5594 0.4995 7.9015 ((16 . 7) (17 . 9) (19 . 10) (20 . 12)) 5600 0.6249 4.4261 ((17 . 3) (19 . 4) (20 . 5) (25 . 6) (26 . 7)) 5601 0.4991 9.3325 ((17 . 7) (19 . 9) (20 . 10) (27 . 16)) 5638 0.4996 7.5439 ((18 . 7) (20 . 8) (25 . 13) (26 . 14)) 5644 0.4992 8.9167 ((17 . 4) (19 . 5) (25 . 11) (27 . 13)) 5656 0.4997 6.8137 ((16 . 15) (17 . 16) (25 . 23) (27 . 24)) 5700 0.1332 12.0081 ((16 . 1) (17 . 2) (20 . 4) (27 . 9)) 5701 0.4999 5.2055 ((17 . 12) (19 . 13) (20 . 14) (26 . 20)) 5703 0.3665 12.4987 ((16 . 3) (17 . 5) (18 . 6) (20 . 7)) 5711 0.4989 9.7756 ((17 . 39) (20 . 43) (25 . 46) (26 . 48)) 5713 0.4989 9.8318 ((17 . 8) (20 . 10) (25 . 16) (27 . 19)) 5718 0.4996 7.4757 ((17 . 14) (19 . 15) (25 . 23) (27 . 24)) 5731 0.4996 7.7287 ((17 . 3) (18 . 4) (19 . 6) (27 . 12)) 5746 0.6241 6.9958 ((17 . 3) (19 . 4) (20 . 6) (25 . 10) (26 . 12)) 5749 0.3670 7.8906 ((17 . 4) (18 . 5) (20 . 6) (26 . 9)) 5761 0.4997 6.8528 ((17 . 28) (18 . 30) (20 . 31) (25 . 36)) 5770 0.4997 6.9041 ((17 . 6) (19 . 7) (20 . 8) (25 . 15)) 5771 0.4992 9.0114 ((16 . 2) (25 . 9) (26 . 10) (27 . 14)) 5782 0.6231 8.5701 ((17 . 22) (19 . 23) (20 . 24) (25 . 29) (26 . 31)) 5789 0.4997 7.0612 ((16 . 1) (17 . 2) (25 . 5) (26 . 6)) 5794 0.4994 8.4634 ((17 . 16) (19 . 17) (20 . 18) (26 . 22)) 5795 0.4999 5.5991 ((16 . 12) (17 . 13) (19 . 15) (20 . 16)) 5809 0.4998 6.1020 ((17 . 3) (19 . 4) (20 . 5) (25 . 7)) 5822 0.4998 6.4457 ((17 . 1) (18 . 2) (25 . 8) (27 . 9)) 5827 0.4996 7.8180 ((19 . 6) (20 . 8) (25 . 11) (27 . 14)) 5830 0.4998 6.7232 ((17 . 3) (20 . 8) (25 . 10) (27 . 13)) 5847 0.4998 6.1552 ((18 . 15) (20 . 16) (25 . 20) (26 . 21)) 5861 0.4979 11.4872 ((17 . 11) (18 . 12) (25 . 20) (27 . 21)) 5878 0.2462 11.0961 ((16 . 24) (17 . 26) (18 . 29) (20 . 30)) 5888 0.4988 10.1083 ((17 . 10) (20 . 12) (25 . 17) (27 . 19)) 5896 0.6249 3.5384 ((17 . 26) (19 . 27) (20 . 28) (25 . 29) (26 . 30)) 5904 0.4997 7.2425 ((16 . 8) (17 . 9) (19 . 10) (20 . 11)) 5913 0.4991 9.4393 ((17 . 5) (18 . 6) (20 . 7) (27 . 13)) 5922 0.4991 9.4081 ((17 . 6) (18 . 8) (20 . 9) (25 . 13)) 5930 0.4998 6.4669 ((16 . 6) (17 . 7) (18 . 8) (20 . 10)) 5939 0.4997 6.7910 ((16 . 1) (17 . 2) (19 . 3) (20 . 4)) 5945 0.4998 6.0068 ((17 . 33) (19 . 34) (25 . 38) (26 . 39)) 5949 0.4987 10.2936 ((17 . 4) (19 . 8) (20 . 9) (26 . 13)) 5955 0.4999 5.7709 ((16 . 2) (17 . 3) (19 . 6) (20 . 7)) 5967 0.4996 7.7324 ((17 . 1) (18 . 3) (19 . 6) (20 . 7)) 5977 0.4999 5.6588 ((17 . 1) (19 . 2) (20 . 3) (25 . 6)) 6000 0.4981 11.2419 ((16 . 2) (19 . 3) (26 . 7) (27 . 9)) 6011 0.4994 8.5108 ((17 . 4) (18 . 7) (20 . 8) (25 . 11)) 6028 0.0999 7.2770 ((17 . 1) (18 . 2) (19 . 4) (25 . 9)) 6029 0.6249 4.3090 ((17 . 6) (19 . 7) (20 . 10) (25 . 11) (26 . 12)) 6041 0.2462 8.0865 ((17 . 11) (18 . 13) (19 . 14) (20 . 15)) 6046 0.1987 5.2225 ((19 . 1) (20 . 2) (25 . 6) (26 . 7)) 6061 0.4996 7.5413 ((17 . 15) (19 . 16) (20 . 17) (25 . 21)) 6074 0.4997 7.3147 ((16 . 7) (17 . 8) (19 . 10) (20 . 11)) 6075 0.4998 6.6010 ((16 . 16) (17 . 17) (19 . 19) (20 . 20)) 6079 0.4999 5.5746 ((16 . 2) (17 . 6) (20 . 8) (26 . 14)) 6087 0.3670 8.0877 ((16 . 7) (17 . 8) (19 . 9) (20 . 10)) 6089 0.4997 6.8306 ((16 . 20) (17 . 21) (19 . 22) (20 . 23)) 6094 0.4996 7.5194 ((17 . 3) (18 . 4) (19 . 6) (27 . 13)) 6099 0.4990 9.6661 ((17 . 29) (20 . 31) (25 . 34) (27 . 35)) 6142 0.4991 9.3415 ((17 . 8) (20 . 10) (25 . 13) (27 . 14)) 6173 0.4998 6.6539 ((17 . 7) (18 . 8) (25 . 15) (26 . 16)) 6191 0.4970 12.5981 ((18 . 3) (20 . 4) (25 . 6) (26 . 7)) 6192 0.4996 7.4465 ((16 . 2) (19 . 4) (20 . 5) (25 . 10)) 6215 0.4994 8.4817 ((17 . 17) (18 . 18) (20 . 19) (25 . 24)) 6225 0.4995 7.9097 ((19 . 25) (20 . 26) (25 . 29) (26 . 30)) 6228 0.4998 6.3497 ((16 . 2) (17 . 3) (19 . 4) (20 . 5)) 6234 0.2909 10.6604 ((17 . 6) (19 . 8) (20 . 9) (26 . 14)) 6238 0.4995 7.9846 ((17 . 3) (18 . 4) (25 . 9) (26 . 10)) 6243 0.2910 6.5504 ((16 . 5) (17 . 6) (19 . 7) (20 . 8)) 6251 0.4994 8.2728 ((16 . 14) (17 . 15) (20 . 17) (26 . 20)) 6258 0.3670 7.2414 ((16 . 5) (17 . 7) (19 . 8) (20 . 10)) 6261 0.4997 6.9281 ((16 . 2) (17 . 3) (18 . 6) (19 . 7)) 6266 0.4966 13.0540 ((17 . 5) (19 . 7) (25 . 10) (26 . 12)) 6270 0.6250 2.6855 ((17 . 15) (19 . 16) (20 . 17) (25 . 18) (26 . 19)) 6271 0.4203 7.3343 ((16 . 6) (17 . 8) (19 . 9) (20 . 10)) 6273 0.4967 12.9031 ((17 . 2) (18 . 4) (19 . 5) (26 . 9)) 6294 0.4998 6.1992 ((16 . 24) (17 . 25) (19 . 26) (20 . 27)) 6306 0.4997 7.1392 ((17 . 16) (19 . 18) (20 . 19) (25 . 22)) 6309 1.0000 0.0000 ((16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (25 . 25) (26 . 26) (27 . 27)) 6311 0.4991 9.3707 ((17 . 9) (18 . 10) (20 . 11) (25 . 14)) 6326 0.4977 11.7578 ((17 . 2) (18 . 3) (25 . 9) (27 . 10)) 6344 0.5000 4.3982 ((17 . 1) (19 . 2) (20 . 3) (25 . 6)) 6345 0.4979 11.5736 ((16 . 1) (18 . 4) (20 . 5) (26 . 8)) 6348 0.4997 6.9464 ((16 . 8) (17 . 9) (19 . 10) (20 . 11)) 6356 0.3671 6.1976 ((16 . 3) (17 . 4) (19 . 8) (20 . 9)) 6369 0.4998 6.1649 ((17 . 20) (19 . 21) (20 . 22) (25 . 24)) 6376 0.4983 10.9030 ((16 . 16) (18 . 17) (19 . 18) (20 . 19)) 6391 0.4996 7.6367 ((16 . 9) (18 . 10) (19 . 11) (20 . 12)) 6392 0.4995 8.0855 ((18 . 3) (19 . 4) (25 . 7) (26 . 8)) 6399 0.4994 8.3649 ((16 . 23) (17 . 25) (20 . 27) (27 . 33)) 6403 0.4998 6.3840 ((17 . 5) (19 . 6) (20 . 7) (25 . 12)) 6434 0.0999 8.1698 ((16 . 1) (17 . 3) (20 . 4) (26 . 7)) 6462 0.5525 4.9946 ((16 . 9) (17 . 10) (20 . 22) (25 . 24) (26 . 25)) 6498 0.4998 6.1994 ((16 . 8) (17 . 10) (19 . 11) (20 . 12)) 6520 0.4984 10.7500 ((17 . 6) (18 . 8) (20 . 9) (26 . 12)) 6539 0.6249 4.4726 ((17 . 2) (19 . 3) (20 . 4) (25 . 5) (26 . 7)) 6540 0.4995 7.9660 ((17 . 17) (18 . 18) (20 . 19) (25 . 22)) 6548 0.4999 5.9124 ((17 . 5) (19 . 6) (20 . 7) (25 . 12)) 6553 0.4999 5.9116 ((17 . 11) (19 . 12) (20 . 13) (25 . 17)) 6555 0.6248 5.0764 ((17 . 19) (18 . 20) (20 . 22) (25 . 25) (27 . 27)) 6561 0.4968 12.8611 ((17 . 10) (19 . 11) (25 . 15) (26 . 16)) 6573 0.4996 7.6725 ((16 . 20) (17 . 21) (18 . 22) (20 . 24)) 6578 0.4994 8.5746 ((18 . 34) (19 . 36) (20 . 37) (26 . 41)) 6584 0.4998 6.4415 ((17 . 2) (18 . 3) (25 . 9) (26 . 10)) 6585 0.4997 6.9540 ((16 . 7) (17 . 8) (19 . 9) (20 . 10)) 6586 0.2910 8.6501 ((16 . 17) (17 . 18) (19 . 19) (25 . 25)) 6587 0.4999 5.1759 ((16 . 30) (17 . 31) (19 . 32) (20 . 33)) 6598 0.4994 8.4375 ((17 . 3) (20 . 5) (25 . 8) (27 . 10)) 6613 0.4996 7.7822 ((16 . 23) (17 . 24) (19 . 25) (20 . 27)) END