1167 25 0.3360 12.3786 ((19 . 4) (25 . 10) (28 . 12) (29 . 13)) 41 0.3998 8.3610 ((19 . 4) (20 . 5) (22 . 7) (24 . 8)) 51 0.3998 8.9275 ((19 . 3) (21 . 6) (24 . 9) (27 . 11)) 62 0.4996 7.5156 ((19 . 9) (20 . 10) (21 . 12) (22 . 13) (24 . 15)) 77 0.3998 7.9933 ((19 . 10) (21 . 13) (22 . 15) (24 . 17)) 91 0.3997 9.5553 ((24 . 14) (27 . 19) (28 . 22) (29 . 23)) 96 0.2800 9.8751 ((19 . 2) (21 . 5) (22 . 6) (24 . 7)) 129 0.3998 8.8821 ((20 . 1) (21 . 2) (22 . 3) (27 . 10)) 136 0.3998 7.8793 ((22 . 3) (24 . 4) (27 . 5) (28 . 9)) 147 0.3664 13.0869 ((19 . 1) (24 . 5) (28 . 8) (29 . 9)) 150 0.4000 5.6549 ((20 . 20) (22 . 23) (24 . 24) (27 . 25)) 153 0.3999 6.2494 ((20 . 5) (21 . 6) (22 . 7) (27 . 10)) 155 0.2413 9.1773 ((20 . 2) (21 . 3) (24 . 5) (26 . 7)) 157 0.3999 7.7290 ((19 . 2) (20 . 3) (22 . 5) (24 . 6)) 161 0.3998 8.6445 ((20 . 2) (21 . 3) (22 . 4) (27 . 10)) 162 0.3363 5.6613 ((19 . 16) (20 . 15) (22 . 17) (24 . 19)) 169 0.4000 4.8951 ((20 . 2) (21 . 3) (22 . 4) (27 . 9)) 177 0.3994 10.9258 ((20 . 2) (22 . 4) (26 . 9) (27 . 8)) 207 0.3999 6.7550 ((21 . 7) (22 . 8) (24 . 11) (27 . 13)) 233 0.4000 4.6725 ((20 . 1) (21 . 2) (22 . 3) (27 . 8)) 259 0.3819 11.2231 ((24 . 2) (25 . 3) (26 . 5) (28 . 6)) 300 0.3999 6.4534 ((20 . 9) (21 . 10) (24 . 12) (27 . 16)) 305 0.3999 7.6805 ((20 . 15) (21 . 16) (24 . 20) (27 . 21)) 307 0.3999 7.8491 ((19 . 2) (20 . 3) (22 . 7) (24 . 8)) 315 0.3997 9.3561 ((20 . 3) (21 . 4) (22 . 5) (27 . 10)) 317 0.3817 12.0500 ((19 . 1) (24 . 4) (26 . 6) (29 . 10)) 329 0.3820 10.1744 ((19 . 1) (22 . 4) (26 . 8) (28 . 9)) 350 0.3998 8.8536 ((20 . 5) (21 . 7) (26 . 14) (27 . 15)) 360 0.4528 8.4007 ((20 . 9) (21 . 10) (22 . 12) (24 . 13) (26 . 15)) 361 0.2412 11.1847 ((21 . 1) (24 . 3) (26 . 5) (29 . 9)) 365 0.4000 4.6419 ((20 . 1) (21 . 2) (22 . 3) (27 . 8)) 367 0.3999 7.2932 ((20 . 38) (21 . 40) (22 . 42) (27 . 47)) 387 0.3998 7.9027 ((20 . 9) (21 . 10) (22 . 11) (27 . 15)) 405 0.4000 5.6929 ((20 . 32) (21 . 33) (22 . 35) (27 . 40)) 417 0.2801 6.3056 ((21 . 1) (22 . 2) (26 . 6) (27 . 7)) 420 0.3999 6.0447 ((20 . 2) (21 . 3) (22 . 4) (27 . 9)) 433 0.4000 4.2135 ((20 . 5) (21 . 6) (22 . 7) (24 . 8)) 442 0.3997 9.2957 ((19 . 11) (22 . 14) (24 . 15) (28 . 18)) 460 0.3996 9.7367 ((21 . 2) (22 . 3) (24 . 4) (26 . 9)) 472 0.3989 12.8826 ((19 . 24) (20 . 25) (21 . 27) (24 . 29)) 495 0.3999 7.6765 ((19 . 6) (21 . 8) (22 . 9) (24 . 12)) 541 0.4000 5.1933 ((20 . 2) (21 . 3) (22 . 5) (24 . 6)) 543 0.3999 6.6980 ((21 . 5) (22 . 6) (24 . 9) (27 . 10)) 553 0.3817 12.2849 ((19 . 3) (26 . 7) (28 . 10) (29 . 14)) 561 0.0999 6.9325 ((19 . 2) (20 . 3) (21 . 4) (22 . 6)) 584 0.3998 8.5157 ((19 . 2) (20 . 4) (21 . 5) (27 . 10)) 587 0.3983 14.4631 ((21 . 8) (22 . 9) (27 . 11) (29 . 17)) 609 0.2411 15.5751 ((25 . 36) (26 . 37) (28 . 38) (29 . 39)) 619 0.3993 11.3801 ((21 . 7) (22 . 8) (27 . 12) (29 . 17)) 624 0.4993 8.8781 ((19 . 14) (20 . 15) (21 . 16) (24 . 19) (29 . 21)) 635 0.3998 8.3651 ((19 . 2) (20 . 3) (22 . 5) (24 . 7)) 672 0.2800 9.7346 ((19 . 12) (22 . 18) (24 . 19) (27 . 24)) 678 0.3998 8.5607 ((19 . 25) (22 . 29) (26 . 33) (27 . 34)) 719 0.3999 7.7099 ((20 . 22) (21 . 23) (24 . 29) (27 . 30)) 729 0.3999 6.5354 ((19 . 8) (20 . 9) (22 . 13) (24 . 14)) 740 0.3997 8.9658 ((19 . 1) (20 . 5) (21 . 6) (22 . 9)) 765 0.3994 10.9043 ((20 . 11) (21 . 12) (22 . 17) (27 . 20)) 782 0.2412 13.2380 ((19 . 3) (24 . 6) (25 . 7) (26 . 8)) 792 0.3821 9.2635 ((24 . 1) (25 . 2) (26 . 3) (29 . 8)) 795 0.3999 7.0753 ((20 . 1) (22 . 3) (24 . 4) (27 . 6)) 796 0.3993 11.5455 ((19 . 1) (21 . 5) (22 . 6) (24 . 7)) 801 0.3997 9.2359 ((20 . 1) (21 . 2) (22 . 4) (27 . 7)) 812 0.3997 9.0126 ((19 . 10) (20 . 11) (22 . 13) (27 . 16)) 818 0.2798 14.5978 ((24 . 3) (25 . 5) (27 . 7) (28 . 11)) 819 0.1970 11.6716 ((21 . 2) (22 . 3) (24 . 4) (29 . 11)) 834 0.3812 14.0238 ((24 . 38) (26 . 39) (28 . 43) (29 . 44)) 861 0.3999 6.0311 ((19 . 11) (20 . 12) (22 . 15) (27 . 19)) 901 0.4693 13.0805 ((19 . 4) (20 . 5) (22 . 7) (24 . 8) (29 . 14)) 904 0.3999 7.1857 ((21 . 2) (22 . 3) (24 . 5) (27 . 7)) 928 0.3999 7.1207 ((19 . 11) (20 . 12) (22 . 14) (24 . 15)) 937 0.3357 13.9892 ((26 . 2) (27 . 1) (28 . 3) (29 . 6)) 943 0.4990 9.6160 ((19 . 3) (20 . 4) (22 . 6) (24 . 7) (27 . 9)) 945 0.3997 9.4983 ((19 . 13) (20 . 14) (22 . 17) (29 . 25)) 949 0.3999 7.2663 ((21 . 30) (22 . 32) (24 . 33) (26 . 35)) 960 0.3999 6.1474 ((20 . 3) (21 . 4) (27 . 8) (29 . 13)) 978 0.3999 6.8399 ((19 . 12) (22 . 16) (24 . 18) (27 . 19)) 980 0.3999 7.3485 ((19 . 2) (22 . 5) (24 . 6) (26 . 8)) 1005 0.2412 10.2086 ((25 . 4) (26 . 5) (28 . 6) (29 . 8)) 1007 0.4000 4.9381 ((19 . 6) (20 . 7) (21 . 8) (22 . 9)) 1008 0.3996 9.9212 ((19 . 2) (20 . 3) (21 . 5) (25 . 11)) 1034 0.3997 9.3850 ((20 . 22) (24 . 27) (27 . 29) (28 . 31)) 1043 0.3994 11.1381 ((20 . 1) (24 . 7) (27 . 10) (28 . 11)) 1082 0.3995 10.6279 ((21 . 8) (22 . 9) (24 . 11) (28 . 17)) 1084 0.4922 7.2727 ((22 . 3) (24 . 4) (25 . 5) (26 . 6) (29 . 15)) 1121 0.4000 4.6292 ((19 . 1) (20 . 2) (21 . 3) (22 . 4)) 1124 0.3998 8.2817 ((19 . 9) (24 . 13) (25 . 14) (26 . 15)) 1165 0.3998 8.8279 ((22 . 2) (24 . 5) (27 . 7) (28 . 9)) 1167 1.0000 0.0000 ((19 . 19) (20 . 20) (21 . 21) (22 . 22) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29)) 1169 0.3998 8.1825 ((20 . 29) (21 . 30) (22 . 31) (27 . 37)) 1195 0.4000 5.5046 ((19 . 1) (20 . 2) (21 . 4) (22 . 5)) 1201 0.1970 8.9284 ((19 . 13) (20 . 16) (21 . 17) (24 . 19)) 1204 0.3999 6.3001 ((19 . 2) (22 . 5) (24 . 6) (27 . 11)) 1211 0.4000 4.9596 ((19 . 7) (20 . 8) (21 . 9) (27 . 10)) 1217 0.3999 7.5964 ((21 . 3) (22 . 5) (24 . 8) (27 . 11)) 1224 0.3997 9.2353 ((20 . 7) (21 . 9) (22 . 10) (24 . 11)) 1233 0.3999 7.3492 ((21 . 11) (22 . 14) (27 . 17) (28 . 21)) 1267 0.3999 7.3961 ((19 . 5) (24 . 8) (27 . 13) (28 . 14)) 1268 0.3814 13.3193 ((24 . 20) (25 . 21) (27 . 23) (29 . 28)) 1294 0.3999 5.9822 ((20 . 39) (21 . 40) (22 . 41) (27 . 46)) 1345 0.4528 8.1483 ((19 . 6) (20 . 7) (22 . 9) (24 . 10) (27 . 12)) 1366 0.4000 4.6597 ((19 . 13) (20 . 14) (21 . 15) (22 . 16)) 1388 0.3999 6.2232 ((19 . 3) (20 . 4) (21 . 5) (26 . 10)) 1425 0.3998 8.6833 ((20 . 2) (21 . 3) (22 . 4) (24 . 7)) 1435 0.3992 11.8255 ((21 . 1) (22 . 2) (24 . 4) (29 . 9)) 1447 0.4983 10.8918 ((20 . 1) (22 . 3) (24 . 4) (27 . 5) (28 . 8)) 1451 0.4000 4.1159 ((19 . 2) (20 . 3) (21 . 4) (22 . 5)) 1470 0.3663 13.1595 ((19 . 4) (26 . 9) (28 . 11) (29 . 12)) 1472 0.3993 11.6956 ((19 . 1) (24 . 3) (26 . 5) (29 . 11)) 1476 0.3999 6.3356 ((20 . 14) (22 . 18) (24 . 19) (27 . 20)) 1481 0.3669 9.5575 ((21 . 1) (22 . 2) (24 . 3) (29 . 9)) 1497 0.3985 14.1320 ((24 . 16) (25 . 17) (28 . 20) (29 . 23)) 1501 0.3998 7.9065 ((20 . 7) (21 . 8) (22 . 9) (24 . 10)) 1508 0.3667 11.0749 ((25 . 1) (26 . 3) (27 . 2) (28 . 6)) 1513 0.3998 8.3590 ((19 . 4) (20 . 5) (24 . 9) (27 . 11)) 1514 0.1970 5.9445 ((19 . 2) (20 . 3) (21 . 4) (22 . 6)) 1577 0.4998 6.7394 ((19 . 2) (20 . 3) (21 . 4) (22 . 5) (27 . 12)) 1591 0.4990 9.6493 ((20 . 4) (22 . 6) (24 . 7) (27 . 8) (28 . 10)) 1595 0.2413 9.8577 ((24 . 4) (26 . 6) (27 . 7) (28 . 9)) 1604 0.3999 7.3034 ((19 . 9) (20 . 10) (22 . 12) (24 . 13)) 1622 0.3997 9.1795 ((19 . 21) (20 . 22) (21 . 23) (22 . 25)) 1624 0.3996 10.1009 ((20 . 3) (21 . 4) (22 . 6) (26 . 11)) 1643 0.4994 8.2723 ((20 . 17) (21 . 18) (22 . 20) (27 . 26) (29 . 35)) 1644 0.3999 6.2836 ((20 . 46) (21 . 47) (22 . 48) (27 . 52)) 1665 0.2800 9.9597 ((20 . 4) (24 . 7) (26 . 9) (27 . 10)) 1690 0.3998 7.9565 ((20 . 1) (24 . 7) (27 . 11) (28 . 12)) 1692 0.3997 9.3162 ((19 . 4) (20 . 5) (21 . 7) (27 . 10)) 1731 0.3998 8.3469 ((19 . 5) (22 . 8) (25 . 10) (26 . 11)) 1736 0.3999 7.0297 ((20 . 3) (24 . 6) (26 . 9) (27 . 10)) 1738 0.3999 6.9129 ((20 . 17) (21 . 18) (22 . 19) (24 . 20)) 1747 0.3999 6.9175 ((20 . 16) (21 . 18) (22 . 19) (27 . 25)) 1759 0.3999 6.1486 ((20 . 2) (21 . 4) (22 . 5) (27 . 10)) 1761 0.3999 6.2079 ((19 . 8) (20 . 9) (22 . 13) (27 . 16)) 1763 0.3998 8.7376 ((19 . 8) (20 . 9) (21 . 10) (24 . 12)) 1776 0.4702 11.8518 ((19 . 6) (22 . 9) (24 . 10) (27 . 12) (29 . 18)) 1778 0.4981 11.2637 ((20 . 3) (21 . 4) (22 . 5) (24 . 6) (29 . 13)) 1793 0.3999 7.1750 ((22 . 4) (24 . 5) (27 . 6) (28 . 7)) 1805 0.3981 14.8923 ((21 . 9) (22 . 10) (27 . 12) (29 . 18)) 1808 0.4996 7.5016 ((19 . 1) (20 . 2) (21 . 4) (22 . 5) (24 . 7)) 1817 0.3999 6.2247 ((20 . 15) (21 . 16) (22 . 18) (24 . 21)) 1867 0.4000 5.7602 ((22 . 1) (24 . 2) (27 . 7) (28 . 8)) 1894 0.3999 7.8631 ((20 . 18) (21 . 19) (27 . 25) (29 . 30)) 1896 0.3995 10.7018 ((19 . 15) (20 . 17) (22 . 19) (24 . 21)) 1897 0.3997 9.4320 ((21 . 41) (22 . 43) (24 . 44) (26 . 48)) 1908 0.3999 6.6665 ((19 . 2) (20 . 3) (24 . 6) (27 . 7)) 1909 0.4979 11.5348 ((20 . 25) (24 . 32) (25 . 33) (27 . 34) (28 . 38)) 1913 0.3998 8.1596 ((20 . 23) (21 . 25) (22 . 26) (27 . 30)) 1944 0.3999 6.9369 ((19 . 6) (20 . 7) (22 . 9) (27 . 13)) 1957 0.3999 7.4701 ((19 . 12) (20 . 13) (22 . 15) (24 . 16)) 1961 0.3999 7.6743 ((19 . 13) (20 . 15) (21 . 16) (28 . 25)) 1967 0.3999 6.8048 ((21 . 1) (22 . 3) (24 . 4) (27 . 7)) 1972 0.3999 6.1350 ((20 . 20) (22 . 24) (24 . 25) (27 . 27)) 1987 0.3989 12.8531 ((24 . 8) (26 . 10) (28 . 11) (29 . 13)) 1992 0.4000 5.8738 ((19 . 5) (22 . 9) (24 . 10) (27 . 12)) 1995 0.4000 5.0509 ((20 . 7) (21 . 8) (22 . 9) (27 . 11)) 2003 0.3999 6.6079 ((19 . 2) (20 . 4) (21 . 5) (27 . 12)) 2006 0.4000 5.0382 ((19 . 6) (20 . 7) (21 . 8) (22 . 9)) 2048 0.3991 12.3349 ((19 . 3) (20 . 4) (24 . 10) (29 . 15)) 2054 0.3994 11.1032 ((19 . 9) (22 . 13) (24 . 15) (26 . 16)) 2063 0.3999 6.1839 ((20 . 42) (21 . 43) (22 . 44) (24 . 46)) 2065 0.3997 9.4027 ((20 . 16) (21 . 17) (22 . 18) (24 . 20)) 2067 0.3959 18.1397 ((21 . 50) (27 . 55) (28 . 58) (29 . 62)) 2072 0.4992 9.1562 ((19 . 3) (20 . 5) (21 . 6) (22 . 7) (24 . 8)) 2081 0.3999 7.5422 ((19 . 18) (21 . 20) (22 . 21) (25 . 24)) 2083 0.1970 8.2685 ((19 . 3) (20 . 4) (22 . 7) (24 . 8)) 2094 0.3669 8.8940 ((24 . 2) (25 . 3) (26 . 4) (28 . 7)) 2097 0.3998 8.9185 ((20 . 4) (21 . 5) (27 . 14) (28 . 15)) 2114 0.4000 3.4243 ((19 . 30) (20 . 32) (21 . 34) (22 . 36)) 2116 0.4000 5.3273 ((20 . 2) (21 . 5) (22 . 6) (27 . 11)) 2117 0.3999 7.1962 ((20 . 9) (21 . 11) (22 . 12) (24 . 13)) 2118 0.5999 3.7872 ((20 . 1) (21 . 4) (22 . 5) (24 . 6) (27 . 7) (28 . 8)) 2122 0.3997 9.4480 ((19 . 5) (20 . 6) (22 . 10) (24 . 11)) 2166 0.3999 6.5338 ((19 . 14) (20 . 15) (21 . 16) (22 . 17)) 2179 0.4000 5.1521 ((20 . 7) (21 . 9) (22 . 10) (27 . 13)) 2203 0.2800 9.2779 ((21 . 5) (22 . 6) (24 . 8) (27 . 10)) 2205 0.3999 6.2300 ((20 . 16) (21 . 17) (22 . 18) (27 . 23)) 2209 0.4000 5.7761 ((19 . 4) (20 . 5) (22 . 7) (24 . 8)) 2233 0.2412 10.7399 ((24 . 2) (26 . 6) (28 . 8) (29 . 9)) 2243 0.3999 7.4665 ((20 . 59) (21 . 60) (22 . 61) (26 . 68)) 2244 0.4000 5.4831 ((20 . 74) (21 . 75) (22 . 76) (27 . 80)) 2248 0.3999 7.8600 ((19 . 20) (22 . 22) (24 . 23) (27 . 27)) 2249 0.4990 9.5362 ((19 . 3) (20 . 4) (22 . 7) (24 . 8) (27 . 11)) 2269 0.5998 5.3320 ((19 . 2) (20 . 6) (21 . 7) (22 . 8) (27 . 10) (28 . 11)) 2279 0.4000 5.4723 ((19 . 1) (20 . 3) (21 . 5) (27 . 9)) 2298 0.4994 8.5731 ((19 . 3) (20 . 4) (22 . 6) (24 . 7) (27 . 10)) 2308 0.4999 5.9200 ((20 . 4) (21 . 5) (22 . 6) (27 . 8) (28 . 12)) 2314 0.3998 8.7182 ((21 . 2) (22 . 3) (27 . 7) (28 . 9)) 2340 0.3999 6.5689 ((22 . 9) (24 . 10) (27 . 14) (28 . 15)) 2342 0.3667 11.3652 ((19 . 7) (26 . 12) (28 . 14) (29 . 15)) 2344 0.3997 9.0289 ((20 . 3) (22 . 6) (27 . 10) (29 . 16)) 2364 0.4992 9.0309 ((19 . 6) (20 . 7) (22 . 9) (24 . 10) (27 . 15)) 2381 0.3999 7.0107 ((19 . 2) (20 . 5) (21 . 6) (24 . 8)) 2389 0.3999 6.5719 ((20 . 9) (21 . 10) (22 . 11) (24 . 12)) 2393 0.3994 11.3643 ((21 . 15) (24 . 17) (27 . 18) (28 . 19)) 2408 0.3999 6.0766 ((20 . 38) (21 . 39) (22 . 40) (27 . 46)) 2409 0.3670 7.0876 ((20 . 5) (21 . 6) (25 . 10) (26 . 11)) 2410 0.3991 12.2311 ((24 . 12) (26 . 14) (27 . 13) (28 . 15)) 2422 0.1970 6.9091 ((19 . 2) (20 . 7) (21 . 8) (22 . 9)) 2423 0.4985 10.5232 ((19 . 18) (21 . 20) (22 . 21) (24 . 23) (27 . 25)) 2440 0.4000 5.6056 ((22 . 4) (24 . 5) (27 . 7) (28 . 10)) 2447 0.3997 9.5008 ((19 . 12) (25 . 19) (26 . 20) (28 . 26)) 2462 0.4999 5.2812 ((19 . 5) (20 . 6) (21 . 7) (22 . 11) (27 . 12)) 2510 0.3999 6.7848 ((19 . 18) (21 . 23) (22 . 25) (26 . 29)) 2519 0.3362 9.8067 ((26 . 1) (27 . 2) (28 . 3) (29 . 4)) 2525 0.3998 8.8335 ((19 . 42) (20 . 43) (21 . 45) (24 . 49)) 2529 0.4985 10.6642 ((19 . 2) (20 . 3) (21 . 5) (22 . 6) (24 . 7)) 2533 0.3995 10.4187 ((19 . 2) (22 . 6) (24 . 7) (27 . 9)) 2544 0.2412 11.4031 ((24 . 19) (25 . 20) (27 . 22) (28 . 24)) 2551 0.3999 7.2858 ((19 . 10) (20 . 11) (21 . 12) (22 . 14)) 2552 0.3997 9.6224 ((19 . 2) (20 . 3) (22 . 5) (24 . 6)) 2556 0.3993 11.5278 ((20 . 11) (22 . 13) (24 . 14) (28 . 21)) 2557 0.3669 9.6117 ((24 . 1) (25 . 4) (26 . 5) (28 . 8)) 2561 0.3998 8.2036 ((19 . 5) (20 . 6) (21 . 7) (22 . 8)) 2595 0.3998 8.0384 ((19 . 5) (21 . 6) (22 . 9) (28 . 15)) 2619 0.3999 6.9138 ((20 . 1) (21 . 2) (24 . 4) (27 . 7)) 2627 0.2412 11.8450 ((19 . 55) (24 . 59) (27 . 60) (28 . 62)) 2634 0.3996 9.9670 ((19 . 3) (24 . 8) (25 . 9) (28 . 13)) 2650 0.3998 8.2562 ((19 . 4) (20 . 5) (21 . 6) (22 . 7)) 2658 0.3999 7.7025 ((19 . 11) (20 . 12) (21 . 13) (22 . 14)) 2675 0.4000 5.0596 ((19 . 9) (20 . 10) (21 . 11) (22 . 12)) 2682 0.3998 8.7449 ((20 . 12) (21 . 13) (24 . 16) (27 . 19)) 2696 0.1970 4.9566 ((19 . 33) (20 . 34) (21 . 35) (22 . 36)) 2731 0.3361 10.9713 ((20 . 1) (22 . 4) (24 . 3) (25 . 6)) 2733 0.3996 9.9397 ((22 . 8) (24 . 9) (27 . 11) (28 . 14)) 2753 0.3362 10.4481 ((19 . 3) (24 . 7) (25 . 8) (28 . 11)) 2755 0.3999 6.6181 ((19 . 4) (20 . 5) (22 . 6) (24 . 7)) 2773 0.3997 9.6613 ((19 . 4) (20 . 5) (21 . 6) (24 . 8)) 2783 0.4987 10.1911 ((19 . 4) (21 . 7) (22 . 8) (24 . 9) (27 . 12)) 2804 0.3998 8.2424 ((21 . 34) (22 . 36) (24 . 37) (27 . 39)) 2821 0.3999 6.3252 ((20 . 1) (21 . 2) (27 . 11) (28 . 12)) 2830 0.4500 14.4935 ((19 . 12) (22 . 15) (24 . 16) (27 . 17) (29 . 21)) 2834 0.3999 6.8461 ((22 . 9) (26 . 11) (27 . 12) (29 . 17)) 2840 0.3996 9.8877 ((20 . 1) (22 . 5) (27 . 9) (28 . 10)) 2842 0.3999 6.0945 ((19 . 3) (20 . 4) (21 . 5) (27 . 9)) 2867 0.3363 8.6426 ((19 . 3) (25 . 10) (26 . 11) (27 . 12)) 2879 0.4000 4.6889 ((20 . 52) (21 . 53) (22 . 54) (27 . 59)) 2886 0.4000 5.6277 ((20 . 38) (21 . 39) (22 . 41) (27 . 44)) 2940 0.4994 8.5964 ((19 . 2) (20 . 4) (21 . 5) (22 . 6) (24 . 9)) 2947 0.3999 7.3806 ((20 . 2) (21 . 3) (22 . 4) (24 . 5)) 2950 0.2799 12.5827 ((24 . 7) (25 . 8) (28 . 10) (29 . 12)) 2955 0.3995 10.4095 ((19 . 1) (21 . 3) (22 . 4) (27 . 6)) 2966 0.3999 7.4891 ((19 . 2) (20 . 3) (21 . 4) (27 . 11)) 2990 0.4000 5.8480 ((21 . 9) (22 . 12) (24 . 13) (27 . 16)) 2999 0.2798 14.3151 ((22 . 2) (24 . 3) (25 . 5) (27 . 6)) 3014 0.3999 7.3204 ((19 . 14) (24 . 15) (25 . 16) (26 . 17)) 3019 0.3999 7.1580 ((21 . 19) (22 . 20) (24 . 21) (27 . 22)) 3034 0.3999 7.6678 ((20 . 5) (22 . 7) (24 . 8) (27 . 9)) 3041 0.4000 5.4537 ((19 . 10) (20 . 12) (24 . 15) (27 . 18)) 3055 0.3998 7.9568 ((20 . 11) (21 . 12) (22 . 13) (27 . 19)) 3063 0.4000 5.6606 ((20 . 37) (21 . 38) (22 . 39) (27 . 42)) 3084 0.3999 7.5151 ((19 . 14) (20 . 15) (22 . 17) (24 . 18)) 3102 0.3999 6.7882 ((20 . 75) (21 . 76) (22 . 77) (27 . 82)) 3103 0.3998 8.1322 ((20 . 1) (21 . 2) (22 . 3) (28 . 12)) 3114 0.3999 6.7475 ((20 . 23) (21 . 24) (22 . 25) (24 . 27)) 3120 0.2800 11.3466 ((26 . 20) (27 . 21) (28 . 23) (29 . 24)) 3127 0.3999 7.2416 ((19 . 9) (22 . 13) (24 . 16) (25 . 17)) 3147 0.3999 7.7883 ((20 . 16) (21 . 17) (22 . 18) (27 . 22)) 3176 0.3991 12.1676 ((20 . 26) (21 . 27) (22 . 29) (29 . 34)) 3187 0.3999 6.3198 ((20 . 2) (21 . 3) (22 . 4) (28 . 10)) 3190 0.3999 7.8355 ((19 . 2) (20 . 3) (22 . 6) (24 . 7)) 3197 0.4993 8.6506 ((20 . 19) (22 . 21) (24 . 22) (27 . 26) (28 . 29)) 3200 0.3999 6.1868 ((19 . 8) (20 . 9) (21 . 11) (27 . 16)) 3212 0.4000 5.5771 ((20 . 2) (21 . 3) (22 . 5) (26 . 10)) 3222 0.3994 10.9264 ((21 . 3) (22 . 4) (26 . 9) (29 . 17)) 3256 0.3998 8.8668 ((20 . 24) (21 . 25) (22 . 26) (24 . 27)) 3261 0.4000 5.0692 ((20 . 7) (21 . 8) (22 . 9) (24 . 11)) 3286 0.3998 8.9460 ((22 . 3) (27 . 5) (28 . 8) (29 . 10)) 3289 0.0999 5.6307 ((19 . 28) (20 . 29) (21 . 30) (22 . 31)) 3297 0.4000 5.8014 ((20 . 8) (21 . 9) (22 . 11) (27 . 13)) 3300 0.1654 9.6986 ((20 . 5) (24 . 10) (25 . 11) (26 . 12)) 3322 0.3997 9.6439 ((22 . 1) (24 . 2) (27 . 7) (28 . 10)) 3334 0.3997 9.2969 ((20 . 5) (21 . 6) (24 . 9) (28 . 13)) 3339 0.3999 6.0199 ((19 . 10) (20 . 11) (24 . 16) (27 . 19)) 3358 0.3997 9.0484 ((22 . 4) (24 . 5) (27 . 8) (28 . 11)) 3362 0.3999 7.3865 ((19 . 3) (22 . 6) (27 . 11) (28 . 13)) 3366 0.3999 6.9343 ((20 . 23) (21 . 24) (22 . 26) (27 . 28)) 3391 0.3997 8.9834 ((19 . 2) (22 . 4) (24 . 5) (27 . 8)) 3410 0.3999 6.4364 ((19 . 20) (20 . 21) (24 . 29) (27 . 30)) 3415 0.3995 10.4889 ((24 . 18) (26 . 20) (28 . 22) (29 . 23)) 3418 0.4000 5.5793 ((19 . 1) (20 . 2) (21 . 5) (22 . 6)) 3446 0.3965 17.4325 ((19 . 2) (26 . 7) (28 . 9) (29 . 10)) 3470 0.3998 8.0932 ((24 . 12) (25 . 13) (26 . 14) (28 . 16)) 3472 0.4000 5.0510 ((20 . 3) (21 . 4) (22 . 5) (27 . 11)) 3481 0.3999 7.6141 ((20 . 2) (21 . 4) (22 . 7) (27 . 8)) 3489 0.3999 6.8080 ((20 . 2) (21 . 3) (22 . 4) (27 . 10)) 3495 0.4990 9.5807 ((20 . 1) (21 . 2) (22 . 3) (24 . 5) (25 . 6)) 3496 0.3999 7.4915 ((19 . 21) (20 . 22) (21 . 23) (28 . 28)) 3533 0.3998 8.4805 ((21 . 1) (22 . 3) (24 . 6) (27 . 8)) 3537 0.3990 12.5634 ((21 . 5) (22 . 6) (27 . 10) (28 . 11)) 3538 0.3998 8.7962 ((19 . 17) (20 . 18) (21 . 20) (29 . 27)) 3548 0.3999 6.8222 ((19 . 7) (20 . 8) (21 . 9) (24 . 11)) 3549 0.3670 8.1267 ((22 . 1) (26 . 4) (27 . 5) (28 . 7)) 3561 0.3999 7.8566 ((19 . 27) (20 . 28) (21 . 30) (22 . 31)) 3570 0.4990 9.6318 ((19 . 2) (20 . 4) (21 . 7) (22 . 8) (24 . 9)) 3585 0.4997 7.2727 ((19 . 7) (20 . 12) (21 . 13) (24 . 15) (27 . 16)) 3613 0.2413 8.7709 ((20 . 40) (21 . 41) (24 . 42) (29 . 45)) 3625 0.3987 13.4931 ((20 . 2) (21 . 3) (22 . 5) (27 . 7)) 3628 0.4996 7.6383 ((19 . 7) (20 . 8) (21 . 9) (22 . 10) (24 . 11)) 3651 0.3992 12.1221 ((19 . 7) (20 . 8) (22 . 11) (29 . 25)) 3658 0.4996 7.6971 ((19 . 2) (20 . 5) (21 . 6) (22 . 7) (28 . 13)) 3661 0.3992 11.9637 ((21 . 7) (22 . 8) (27 . 12) (29 . 18)) 3663 0.3670 7.5165 ((22 . 1) (26 . 6) (27 . 5) (28 . 7)) 3697 0.4995 8.0277 ((21 . 6) (22 . 7) (24 . 8) (25 . 9) (27 . 10)) 3703 0.4994 8.3456 ((20 . 2) (21 . 3) (22 . 4) (24 . 5) (27 . 6)) 3732 0.3998 8.5814 ((20 . 5) (22 . 7) (27 . 12) (28 . 13)) 3733 0.3999 7.4519 ((19 . 2) (20 . 3) (22 . 6) (24 . 7)) 3740 0.3999 7.4743 ((20 . 2) (21 . 3) (22 . 4) (27 . 7)) 3741 0.4000 5.3531 ((20 . 26) (21 . 27) (22 . 28) (27 . 32)) 3776 0.3985 13.9540 ((22 . 15) (24 . 16) (25 . 18) (27 . 21)) 3778 0.3996 10.2625 ((21 . 6) (22 . 7) (24 . 9) (27 . 12)) 3787 0.4996 7.8337 ((19 . 16) (22 . 17) (24 . 18) (27 . 21) (28 . 24)) 3790 0.3999 6.7126 ((20 . 33) (21 . 35) (22 . 37) (27 . 39)) 3807 0.4000 4.3651 ((20 . 43) (21 . 46) (22 . 47) (27 . 50)) 3817 0.3999 6.3611 ((19 . 3) (22 . 5) (24 . 6) (27 . 9)) 3818 0.3989 12.8664 ((19 . 21) (24 . 24) (25 . 27) (27 . 28)) 3829 0.3817 12.3243 ((19 . 6) (22 . 9) (24 . 11) (26 . 13)) 3831 0.3995 10.5693 ((19 . 4) (20 . 5) (21 . 6) (25 . 11)) 3847 0.2800 10.1644 ((19 . 10) (20 . 9) (24 . 15) (27 . 17)) 3849 0.3670 8.0029 ((22 . 1) (26 . 4) (27 . 5) (28 . 7)) 3853 0.3999 7.6057 ((22 . 3) (24 . 4) (26 . 7) (27 . 8)) 3870 0.2799 12.1902 ((19 . 4) (24 . 7) (27 . 10) (29 . 14)) 3938 0.3998 8.3788 ((20 . 6) (21 . 8) (22 . 9) (24 . 12)) 3968 0.3999 7.2338 ((19 . 4) (20 . 5) (22 . 9) (24 . 10)) 3986 0.3991 12.4658 ((21 . 4) (22 . 6) (25 . 10) (29 . 19)) 3990 0.3999 7.3392 ((19 . 17) (20 . 18) (21 . 20) (27 . 26)) 4005 0.3996 10.0947 ((20 . 24) (21 . 25) (27 . 33) (28 . 39)) 4009 0.4526 9.5181 ((21 . 13) (22 . 15) (24 . 16) (27 . 19) (28 . 20)) 4011 0.3997 9.2616 ((24 . 2) (25 . 4) (26 . 5) (28 . 6)) 4019 0.3999 6.2984 ((20 . 42) (21 . 43) (22 . 44) (27 . 47)) 4034 0.3996 9.7867 ((22 . 6) (24 . 7) (25 . 8) (27 . 9)) 4037 0.3997 9.3268 ((20 . 2) (21 . 3) (24 . 6) (26 . 7)) 4062 0.1970 8.4974 ((21 . 48) (22 . 49) (24 . 52) (25 . 53)) 4067 0.3998 8.1900 ((19 . 15) (21 . 16) (24 . 21) (27 . 22)) 4077 0.3647 17.5437 ((20 . 11) (24 . 14) (26 . 15) (29 . 18)) 4082 0.3999 7.1987 ((20 . 5) (21 . 6) (22 . 7) (24 . 9)) 4087 0.3999 6.1896 ((21 . 5) (22 . 6) (27 . 8) (28 . 10)) 4112 0.2800 8.8197 ((20 . 3) (21 . 4) (22 . 6) (24 . 8)) 4115 0.3999 6.8139 ((19 . 16) (20 . 17) (21 . 19) (24 . 21)) 4140 0.4999 5.5014 ((20 . 21) (21 . 22) (22 . 23) (24 . 25) (28 . 27)) 4151 0.4993 8.8510 ((19 . 8) (20 . 9) (22 . 12) (24 . 14) (27 . 15)) 4177 0.3997 8.9886 ((21 . 1) (22 . 2) (24 . 6) (27 . 8)) 4190 0.2800 8.8453 ((22 . 1) (25 . 4) (26 . 6) (28 . 7)) 4192 0.3984 14.3653 ((20 . 10) (22 . 15) (24 . 16) (28 . 21)) 4194 0.4000 5.2988 ((22 . 1) (24 . 2) (27 . 5) (28 . 8)) 4195 0.3996 9.8961 ((19 . 12) (21 . 14) (22 . 15) (24 . 17)) 4204 0.4989 9.8467 ((19 . 2) (20 . 3) (22 . 5) (24 . 6) (27 . 11)) 4209 0.4000 5.9224 ((20 . 5) (21 . 7) (22 . 10) (24 . 11)) 4210 0.4999 4.7021 ((19 . 3) (20 . 4) (21 . 5) (27 . 6) (28 . 7)) 4216 0.1970 10.7207 ((24 . 9) (26 . 12) (28 . 14) (29 . 15)) 4226 0.3999 6.8640 ((19 . 10) (20 . 11) (21 . 12) (27 . 19)) 4232 0.3999 6.6355 ((20 . 2) (21 . 3) (22 . 4) (27 . 8)) 4242 0.1654 17.0402 ((25 . 5) (26 . 6) (28 . 8) (29 . 10)) 4246 0.3998 8.7342 ((20 . 3) (21 . 2) (26 . 10) (27 . 11)) 4254 0.4192 12.4989 ((21 . 9) (22 . 11) (24 . 12) (25 . 14) (27 . 15)) 4255 0.3989 12.9701 ((19 . 20) (21 . 23) (22 . 24) (24 . 25)) 4265 0.3999 6.7638 ((19 . 22) (20 . 23) (22 . 26) (24 . 27)) 4266 0.4196 11.2592 ((19 . 3) (22 . 6) (24 . 7) (27 . 8) (29 . 14)) 4274 0.3362 9.9079 ((22 . 36) (24 . 37) (26 . 39) (27 . 40)) 4275 0.3999 7.0428 ((19 . 24) (20 . 25) (21 . 27) (24 . 29)) 4281 0.3998 8.0604 ((20 . 3) (21 . 4) (27 . 5) (29 . 11)) 4284 0.4997 7.0540 ((19 . 2) (20 . 5) (21 . 6) (22 . 9) (27 . 10)) 4299 0.4978 11.6946 ((20 . 4) (22 . 6) (24 . 7) (27 . 11) (28 . 13)) 4326 0.3997 9.1559 ((20 . 7) (22 . 10) (24 . 14) (27 . 15)) 4332 0.3999 7.4909 ((19 . 1) (20 . 2) (21 . 4) (24 . 8)) 4338 0.4990 9.6697 ((19 . 5) (20 . 6) (21 . 7) (22 . 8) (24 . 9)) 4352 0.3669 9.5108 ((24 . 1) (25 . 2) (28 . 6) (29 . 7)) 4359 0.3999 6.8417 ((20 . 21) (21 . 22) (22 . 23) (27 . 28)) 4380 0.3999 6.1607 ((20 . 30) (21 . 31) (22 . 32) (27 . 36)) 4383 0.3999 6.5525 ((20 . 15) (21 . 16) (22 . 17) (27 . 22)) 4386 0.3998 8.5298 ((20 . 1) (24 . 3) (27 . 4) (28 . 5)) 4388 0.3998 8.4224 ((20 . 8) (21 . 9) (22 . 10) (28 . 15)) 4398 0.4997 7.2167 ((19 . 5) (20 . 6) (21 . 7) (22 . 8) (24 . 9)) 4405 0.4000 5.9674 ((19 . 17) (20 . 18) (21 . 19) (27 . 25)) 4408 0.3994 11.1531 ((21 . 6) (22 . 7) (24 . 10) (27 . 13)) 4415 0.3999 7.6648 ((20 . 4) (22 . 9) (24 . 10) (27 . 12)) 4419 0.3997 9.7175 ((20 . 8) (21 . 9) (22 . 10) (24 . 11)) 4426 0.3999 7.1089 ((19 . 1) (22 . 2) (24 . 3) (27 . 4)) 4470 0.4000 3.8561 ((20 . 19) (21 . 20) (24 . 23) (27 . 25)) 4491 0.0999 6.4988 ((19 . 4) (20 . 5) (21 . 6) (22 . 8)) 4492 0.4993 8.6792 ((19 . 10) (20 . 11) (22 . 13) (24 . 14) (27 . 18)) 4495 0.3998 7.9786 ((19 . 15) (20 . 16) (22 . 18) (27 . 21)) 4497 0.3998 8.5394 ((20 . 24) (21 . 25) (22 . 26) (27 . 30)) 4502 0.4999 5.8104 ((19 . 7) (20 . 9) (21 . 10) (22 . 11) (24 . 13)) 4503 0.3998 8.6228 ((20 . 1) (21 . 3) (22 . 4) (27 . 10)) 4504 0.3999 6.6875 ((19 . 5) (20 . 6) (21 . 8) (27 . 13)) 4505 0.4992 8.9993 ((19 . 27) (20 . 28) (22 . 30) (24 . 31) (27 . 34)) 4516 0.3999 7.0386 ((19 . 3) (22 . 6) (27 . 8) (28 . 9)) 4538 0.3998 7.9861 ((19 . 29) (20 . 31) (21 . 32) (27 . 38)) 4551 0.0999 7.8327 ((20 . 1) (22 . 4) (24 . 7) (27 . 8)) 4560 0.3999 6.8787 ((20 . 2) (21 . 4) (22 . 6) (24 . 7)) 4561 0.3999 6.3634 ((19 . 4) (21 . 5) (24 . 8) (27 . 9)) 4562 0.3999 7.3453 ((19 . 21) (20 . 22) (22 . 25) (24 . 26)) 4563 0.3996 10.0257 ((22 . 26) (24 . 27) (27 . 31) (28 . 33)) 4577 0.3995 10.8362 ((20 . 30) (21 . 31) (22 . 33) (27 . 37)) 4579 0.3999 7.7520 ((19 . 6) (24 . 11) (26 . 13) (29 . 21)) 4588 0.4982 11.0937 ((20 . 1) (22 . 3) (24 . 4) (27 . 9) (28 . 12)) 4589 0.4000 5.0271 ((19 . 20) (20 . 22) (21 . 23) (27 . 30)) 4607 0.3996 9.8189 ((24 . 21) (25 . 22) (26 . 23) (29 . 29)) 4621 0.3999 6.6319 ((19 . 2) (20 . 3) (21 . 4) (27 . 11)) 4630 0.3998 8.6993 ((19 . 2) (21 . 3) (22 . 5) (27 . 11)) 4648 0.3999 7.5343 ((20 . 1) (21 . 2) (24 . 7) (27 . 8)) 4653 0.3999 6.6876 ((19 . 2) (20 . 5) (21 . 6) (22 . 7)) 4668 0.3999 7.7831 ((19 . 2) (20 . 3) (22 . 7) (24 . 8)) 4669 0.3999 6.5635 ((19 . 16) (20 . 17) (22 . 19) (24 . 20)) 4671 0.3997 9.2265 ((20 . 1) (21 . 2) (24 . 3) (25 . 5)) 4674 0.1970 5.6810 ((19 . 5) (20 . 7) (21 . 8) (22 . 9)) 4678 0.1654 12.0520 ((24 . 3) (25 . 5) (26 . 7) (28 . 9)) 4699 0.3360 12.1092 ((19 . 8) (24 . 10) (25 . 11) (26 . 12)) 4713 0.3998 8.4048 ((20 . 5) (21 . 6) (22 . 7) (25 . 10)) 4715 0.3669 9.8928 ((19 . 4) (21 . 6) (24 . 10) (29 . 16)) 4716 0.2412 13.2453 ((24 . 4) (26 . 5) (28 . 8) (29 . 10)) 4731 0.3999 6.1417 ((19 . 20) (20 . 22) (21 . 23) (22 . 24)) 4764 0.3665 12.3049 ((19 . 1) (25 . 5) (26 . 6) (28 . 8)) 4857 0.3999 6.5424 ((19 . 4) (20 . 5) (27 . 13) (28 . 14)) 4886 0.2801 7.0461 ((19 . 20) (22 . 22) (27 . 24) (28 . 28)) 4888 0.3361 10.8730 ((19 . 6) (20 . 9) (24 . 11) (29 . 19)) 4889 0.3999 7.7804 ((20 . 2) (21 . 3) (22 . 4) (24 . 5)) 4907 0.4000 5.1486 ((19 . 2) (20 . 3) (21 . 4) (22 . 5)) 4914 0.4000 5.6437 ((19 . 2) (20 . 4) (21 . 5) (22 . 6)) 4921 0.3999 7.0910 ((20 . 8) (21 . 9) (25 . 13) (27 . 14)) 4929 0.3999 6.8731 ((20 . 31) (21 . 32) (22 . 33) (27 . 35)) 4932 0.3999 7.4699 ((20 . 4) (21 . 5) (22 . 6) (24 . 7)) 4940 0.3998 8.6689 ((20 . 2) (22 . 4) (24 . 5) (27 . 9)) 4944 0.3995 10.7433 ((19 . 10) (21 . 11) (27 . 15) (28 . 17)) 4961 0.4992 8.9788 ((19 . 2) (20 . 3) (22 . 6) (24 . 8) (27 . 12)) 4978 0.3999 7.1532 ((19 . 20) (20 . 21) (27 . 28) (28 . 29)) 4982 0.3996 9.9808 ((19 . 2) (22 . 3) (24 . 5) (29 . 13)) 4992 0.4993 8.6227 ((20 . 1) (21 . 2) (22 . 3) (24 . 4) (27 . 6)) 4998 0.3999 7.5168 ((19 . 2) (22 . 3) (24 . 5) (27 . 6)) 5016 0.1970 9.9235 ((19 . 5) (24 . 6) (25 . 7) (26 . 8)) 5029 0.2799 11.8683 ((22 . 6) (24 . 7) (26 . 9) (27 . 10)) 5036 0.3996 10.0010 ((20 . 5) (21 . 6) (22 . 7) (27 . 10)) 5039 0.3999 7.6939 ((19 . 36) (20 . 37) (24 . 40) (27 . 44)) 5044 0.1329 15.6891 ((20 . 2) (21 . 1) (24 . 4) (28 . 11)) 5046 0.2801 6.5508 ((20 . 3) (21 . 4) (26 . 9) (27 . 10)) 5053 0.3999 6.7718 ((20 . 10) (21 . 12) (24 . 14) (27 . 15)) 5065 0.3999 6.3601 ((20 . 3) (22 . 7) (27 . 11) (28 . 12)) 5068 0.3996 10.1190 ((19 . 1) (20 . 2) (24 . 6) (26 . 9)) 5069 0.4000 5.9440 ((20 . 17) (21 . 18) (22 . 19) (24 . 20)) 5073 0.4997 7.1749 ((19 . 35) (20 . 36) (22 . 39) (24 . 41) (27 . 44)) 5080 0.3999 7.3771 ((24 . 1) (25 . 5) (26 . 6) (28 . 8)) 5083 0.3999 7.3845 ((19 . 3) (20 . 5) (21 . 6) (22 . 9)) 5092 0.3998 8.4185 ((24 . 10) (25 . 11) (26 . 13) (29 . 16)) 5101 0.3998 7.9592 ((19 . 14) (20 . 15) (24 . 19) (27 . 23)) 5103 0.4000 5.6884 ((19 . 14) (20 . 15) (22 . 17) (24 . 18)) 5121 0.3999 7.2490 ((19 . 14) (20 . 16) (24 . 22) (25 . 23)) 5132 0.4988 10.0803 ((19 . 14) (20 . 16) (22 . 18) (24 . 19) (27 . 22)) 5134 0.3998 8.8164 ((19 . 11) (21 . 14) (22 . 17) (24 . 18)) 5145 0.3668 10.1948 ((25 . 2) (26 . 4) (28 . 7) (29 . 9)) 5167 0.4996 7.3975 ((19 . 2) (20 . 3) (21 . 4) (24 . 7) (27 . 9)) 5183 0.4000 5.6045 ((20 . 36) (21 . 37) (22 . 38) (24 . 39)) 5192 0.3999 7.5473 ((19 . 2) (20 . 3) (22 . 5) (24 . 6)) 5198 0.3984 14.1598 ((20 . 21) (22 . 22) (24 . 23) (27 . 26)) 5199 0.3999 6.8403 ((19 . 6) (20 . 7) (21 . 8) (27 . 10)) 5209 0.3998 8.2852 ((19 . 6) (20 . 7) (21 . 8) (22 . 9)) 5212 0.3981 14.9156 ((19 . 14) (25 . 17) (26 . 18) (28 . 20)) 5215 0.3999 7.4296 ((19 . 8) (20 . 11) (21 . 12) (24 . 14)) 5223 0.3999 7.5342 ((19 . 2) (22 . 6) (24 . 7) (27 . 10)) 5231 0.3999 7.6652 ((19 . 9) (21 . 13) (22 . 14) (24 . 17)) 5266 0.4989 9.7566 ((19 . 1) (20 . 2) (22 . 4) (24 . 5) (27 . 8)) 5278 0.4000 5.6799 ((19 . 1) (20 . 2) (21 . 5) (27 . 10)) 5285 0.1970 6.4984 ((25 . 1) (26 . 2) (28 . 5) (29 . 6)) 5307 0.3999 7.4956 ((19 . 54) (20 . 55) (21 . 57) (22 . 58)) 5318 0.3996 10.0586 ((19 . 7) (20 . 8) (22 . 11) (25 . 14)) 5323 0.3647 17.6004 ((19 . 4) (24 . 9) (28 . 15) (29 . 17)) 5324 0.3999 7.1980 ((19 . 19) (24 . 26) (26 . 27) (27 . 28)) 5344 0.3998 8.1460 ((21 . 1) (22 . 2) (26 . 6) (27 . 7)) 5345 0.3999 7.8138 ((20 . 12) (21 . 13) (22 . 14) (26 . 20)) 5368 0.4000 4.3736 ((19 . 44) (20 . 45) (21 . 46) (22 . 47)) 5378 0.3999 7.0287 ((19 . 13) (21 . 15) (22 . 16) (27 . 21)) 5411 0.2799 12.2205 ((24 . 1) (27 . 3) (28 . 5) (29 . 9)) 5414 0.3999 6.0076 ((20 . 14) (21 . 15) (22 . 16) (27 . 21)) 5418 0.3999 6.4661 ((20 . 3) (21 . 5) (22 . 7) (24 . 10)) 5433 0.2800 7.8970 ((21 . 8) (22 . 10) (27 . 16) (29 . 25)) 5442 0.3997 9.7076 ((19 . 32) (24 . 36) (26 . 38) (28 . 40)) 5479 0.3999 6.2693 ((21 . 60) (22 . 61) (27 . 63) (28 . 65)) 5487 0.3987 13.5616 ((24 . 3) (25 . 5) (27 . 7) (29 . 12)) 5489 0.3998 8.3889 ((20 . 10) (21 . 11) (22 . 12) (27 . 17)) 5500 0.3999 6.1930 ((20 . 1) (21 . 2) (27 . 12) (28 . 13)) 5501 0.3981 14.8403 ((19 . 22) (20 . 24) (21 . 25) (24 . 28)) 5525 0.3994 11.1500 ((24 . 3) (26 . 5) (28 . 9) (29 . 11)) 5535 0.3999 6.8547 ((19 . 5) (20 . 6) (21 . 7) (26 . 13)) 5540 0.3994 11.2827 ((20 . 4) (21 . 6) (26 . 13) (28 . 17)) 5557 0.4000 3.9643 ((20 . 2) (21 . 3) (22 . 4) (24 . 5)) 5560 0.4819 9.0488 ((19 . 14) (22 . 15) (27 . 20) (28 . 21) (29 . 24)) 5562 0.3999 6.0147 ((21 . 6) (22 . 7) (24 . 9) (27 . 11)) 5567 0.3999 7.2230 ((20 . 8) (22 . 11) (24 . 14) (27 . 17)) 5594 0.4995 8.2446 ((19 . 5) (20 . 6) (22 . 9) (24 . 10) (27 . 12)) 5600 0.3669 8.8019 ((19 . 7) (20 . 9) (22 . 11) (24 . 12)) 5601 0.3666 12.0906 ((22 . 1) (24 . 4) (26 . 6) (28 . 9)) 5638 0.5999 4.2093 ((20 . 7) (21 . 8) (22 . 9) (24 . 12) (27 . 13) (28 . 14)) 5640 0.3999 7.0592 ((20 . 19) (21 . 20) (22 . 21) (27 . 25)) 5656 0.4000 4.7656 ((20 . 23) (21 . 24) (24 . 26) (26 . 28)) 5689 0.3666 12.0191 ((19 . 7) (24 . 10) (25 . 11) (28 . 14)) 5700 0.4000 4.3858 ((20 . 2) (21 . 3) (22 . 4) (27 . 8)) 5701 0.4997 7.0539 ((19 . 3) (21 . 5) (22 . 6) (27 . 8) (28 . 10)) 5702 0.3997 9.4404 ((19 . 10) (24 . 13) (25 . 14) (26 . 15)) 5703 0.2800 10.1118 ((21 . 1) (22 . 2) (24 . 3) (27 . 6)) 5711 0.3999 7.3172 ((20 . 39) (21 . 42) (22 . 43) (27 . 47)) 5713 0.3999 6.9469 ((20 . 2) (21 . 3) (22 . 4) (27 . 7)) 5718 0.4000 4.2947 ((19 . 15) (20 . 16) (21 . 17) (22 . 18)) 5731 0.1970 10.3878 ((24 . 1) (26 . 6) (27 . 7) (28 . 8)) 5746 0.4999 5.2451 ((19 . 1) (20 . 2) (21 . 3) (22 . 6) (27 . 10)) 5749 0.3999 6.9734 ((20 . 4) (21 . 5) (22 . 6) (24 . 8)) 5761 0.4998 6.7574 ((20 . 30) (21 . 31) (22 . 32) (24 . 34) (27 . 36)) 5770 0.3997 8.9645 ((19 . 5) (21 . 6) (24 . 10) (28 . 19)) 5771 0.3985 14.0020 ((19 . 10) (21 . 15) (24 . 19) (27 . 21)) 5782 0.4519 11.5284 ((20 . 24) (21 . 26) (22 . 27) (24 . 31) (26 . 33)) 5789 0.3363 7.0381 ((21 . 2) (26 . 4) (27 . 5) (28 . 6)) 5794 0.3989 13.1147 ((22 . 15) (25 . 17) (27 . 19) (28 . 22)) 5795 0.3999 7.3203 ((20 . 10) (22 . 13) (24 . 15) (27 . 16)) 5809 0.3999 7.0370 ((20 . 5) (22 . 7) (24 . 8) (27 . 9)) 5822 0.2412 13.0190 ((22 . 6) (24 . 5) (27 . 9) (28 . 11)) 5827 0.4997 7.1675 ((20 . 3) (21 . 4) (22 . 5) (24 . 6) (27 . 11)) 5830 0.3999 7.5506 ((21 . 7) (22 . 8) (24 . 9) (27 . 13)) 5847 0.2800 8.2679 ((21 . 12) (22 . 13) (27 . 18) (28 . 21)) 5861 0.4000 4.4186 ((20 . 12) (21 . 11) (22 . 15) (27 . 20)) 5865 0.3999 6.9273 ((20 . 1) (21 . 2) (24 . 6) (26 . 8)) 5878 0.3363 8.6549 ((19 . 24) (21 . 29) (22 . 30) (24 . 31)) 5888 0.3997 9.7038 ((20 . 9) (21 . 10) (22 . 11) (27 . 16)) 5896 0.3999 6.7983 ((19 . 27) (20 . 28) (21 . 29) (24 . 32)) 5904 0.3999 7.7556 ((19 . 3) (20 . 4) (24 . 8) (27 . 9)) 5913 0.5728 7.5482 ((20 . 5) (21 . 6) (22 . 7) (24 . 11) (27 . 13) (28 . 14)) 5914 0.2413 8.1471 ((21 . 2) (22 . 3) (24 . 4) (25 . 7)) 5922 0.3999 6.7957 ((20 . 5) (21 . 6) (22 . 8) (27 . 11)) 5930 0.2800 8.6030 ((20 . 2) (22 . 4) (24 . 5) (27 . 7)) 5939 0.3998 8.0265 ((19 . 3) (20 . 4) (22 . 6) (28 . 15)) 5945 0.4000 5.3426 ((19 . 31) (20 . 32) (21 . 33) (28 . 39)) 5949 0.3999 7.0261 ((19 . 2) (21 . 4) (26 . 11) (27 . 12)) 5955 0.4000 5.8223 ((19 . 2) (20 . 3) (22 . 7) (27 . 9)) 5967 0.3999 7.1904 ((19 . 2) (20 . 3) (22 . 7) (24 . 8)) 6000 0.3815 12.8405 ((22 . 9) (24 . 11) (28 . 16) (29 . 18)) 6011 0.4995 8.0411 ((20 . 3) (21 . 4) (22 . 8) (27 . 9) (29 . 17)) 6029 0.3998 7.8933 ((20 . 17) (21 . 18) (22 . 19) (24 . 20)) 6041 0.4000 4.3506 ((19 . 6) (20 . 8) (22 . 10) (27 . 15)) 6046 0.4000 3.6823 ((20 . 3) (21 . 5) (27 . 6) (28 . 7)) 6061 0.3998 8.6560 ((19 . 18) (20 . 20) (21 . 21) (24 . 22)) 6074 0.3999 7.5915 ((19 . 5) (20 . 6) (22 . 8) (27 . 13)) 6075 0.3994 11.0829 ((20 . 17) (24 . 22) (27 . 27) (28 . 29)) 6079 0.4996 7.7921 ((19 . 2) (20 . 6) (21 . 7) (22 . 8) (28 . 15)) 6087 0.3998 8.2344 ((19 . 2) (24 . 4) (26 . 7) (27 . 8)) 6089 0.3999 7.6851 ((19 . 2) (20 . 3) (22 . 5) (24 . 6)) 6094 0.3999 7.1911 ((20 . 2) (21 . 3) (24 . 8) (27 . 11)) 6099 0.4000 5.7707 ((20 . 10) (21 . 11) (22 . 13) (24 . 15)) 6123 0.4000 5.7077 ((20 . 3) (21 . 4) (22 . 5) (24 . 7)) 6142 0.3998 8.2147 ((20 . 4) (21 . 5) (22 . 6) (27 . 10)) 6167 0.2800 10.0574 ((20 . 1) (21 . 4) (22 . 6) (29 . 22)) 6169 0.3974 16.0519 ((24 . 11) (25 . 12) (28 . 14) (29 . 16)) 6173 0.3999 6.8230 ((20 . 7) (21 . 8) (22 . 9) (27 . 15)) 6191 0.1970 7.0410 ((19 . 5) (20 . 6) (21 . 9) (22 . 10)) 6192 0.3362 10.4470 ((20 . 1) (22 . 3) (24 . 4) (29 . 12)) 6215 0.3999 6.5992 ((20 . 18) (21 . 19) (22 . 20) (24 . 22)) 6225 0.5000 4.1919 ((20 . 3) (21 . 4) (22 . 5) (27 . 10) (28 . 11)) 6228 0.3997 9.4098 ((19 . 2) (20 . 5) (22 . 7) (24 . 8)) 6234 0.3999 6.5063 ((20 . 7) (21 . 9) (22 . 10) (27 . 15)) 6238 0.3999 6.1824 ((21 . 3) (22 . 4) (24 . 6) (28 . 10)) 6243 0.3999 6.4138 ((20 . 3) (22 . 6) (24 . 7) (27 . 10)) 6251 0.3999 6.8695 ((19 . 9) (20 . 10) (27 . 17) (28 . 18)) 6258 0.3999 6.4638 ((24 . 8) (26 . 11) (27 . 12) (28 . 14)) 6261 0.3998 7.9833 ((19 . 2) (20 . 3) (24 . 7) (27 . 11)) 6266 0.3996 10.1453 ((19 . 1) (22 . 3) (24 . 4) (27 . 6)) 6268 0.3996 10.1689 ((24 . 8) (26 . 9) (28 . 11) (29 . 13)) 6270 0.3980 15.0499 ((24 . 11) (25 . 14) (26 . 16) (29 . 19)) 6271 0.3999 7.7281 ((20 . 10) (21 . 11) (22 . 12) (24 . 13)) 6273 0.3998 8.9464 ((20 . 1) (21 . 2) (22 . 4) (27 . 7)) 6294 0.3997 9.0767 ((19 . 12) (20 . 14) (24 . 19) (26 . 24)) 6306 0.3361 11.4927 ((21 . 15) (24 . 18) (27 . 21) (29 . 23)) 6311 0.3998 8.2095 ((20 . 9) (21 . 10) (22 . 11) (27 . 14)) 6329 0.3362 9.3522 ((19 . 2) (24 . 6) (25 . 7) (28 . 11)) 6344 0.3999 6.4654 ((19 . 2) (20 . 3) (21 . 4) (22 . 6)) 6345 0.3999 7.1405 ((20 . 6) (21 . 7) (24 . 9) (27 . 11)) 6348 0.3999 7.4469 ((19 . 3) (20 . 4) (24 . 8) (27 . 11)) 6355 0.3996 10.2405 ((21 . 4) (22 . 6) (27 . 10) (28 . 13)) 6356 0.3998 8.0052 ((20 . 6) (22 . 9) (24 . 10) (27 . 13)) 6369 0.4990 9.5551 ((19 . 25) (20 . 26) (22 . 29) (24 . 30) (28 . 36)) 6376 0.3998 8.7943 ((19 . 16) (20 . 17) (27 . 26) (29 . 30)) 6391 0.3969 16.8196 ((19 . 2) (24 . 5) (26 . 7) (29 . 11)) 6392 0.3993 11.6328 ((19 . 2) (25 . 8) (27 . 9) (29 . 14)) 6399 0.3999 6.9871 ((20 . 27) (21 . 28) (22 . 29) (27 . 33)) 6403 0.4998 6.7638 ((20 . 3) (21 . 4) (22 . 5) (24 . 6) (27 . 10)) 6434 0.3993 11.6270 ((19 . 1) (22 . 4) (25 . 6) (28 . 9)) 6461 0.3362 9.1804 ((24 . 4) (26 . 5) (27 . 6) (28 . 7)) 6462 0.3998 8.6980 ((19 . 17) (20 . 18) (22 . 20) (24 . 21)) 6476 0.3818 11.4356 ((24 . 1) (25 . 2) (26 . 5) (27 . 4)) 6498 0.3996 10.0541 ((19 . 14) (20 . 16) (22 . 19) (24 . 22)) 6506 0.3990 12.7531 ((19 . 17) (24 . 21) (28 . 23) (29 . 25)) 6520 0.4000 5.7078 ((19 . 11) (21 . 14) (22 . 15) (24 . 18)) 6536 0.2412 10.2919 ((19 . 28) (24 . 30) (25 . 32) (29 . 37)) 6539 0.3999 6.1836 ((19 . 1) (21 . 2) (22 . 4) (27 . 8)) 6548 0.3999 7.1307 ((19 . 6) (22 . 9) (27 . 13) (28 . 15)) 6553 0.3998 8.4168 ((19 . 12) (20 . 13) (22 . 17) (24 . 19)) 6555 0.3999 7.2683 ((20 . 19) (21 . 20) (22 . 22) (27 . 25)) 6561 0.4000 5.4999 ((19 . 5) (20 . 9) (21 . 10) (27 . 13)) 6575 0.3999 7.1699 ((22 . 1) (24 . 3) (27 . 5) (28 . 7)) 6578 0.4000 5.2413 ((20 . 34) (21 . 37) (22 . 38) (24 . 39)) 6584 0.4990 9.4637 ((21 . 2) (22 . 3) (24 . 4) (27 . 7) (28 . 10)) 6585 0.3999 7.7222 ((19 . 9) (20 . 10) (21 . 11) (27 . 15)) 6586 0.3996 9.7689 ((22 . 18) (24 . 19) (26 . 23) (27 . 24)) 6587 0.3999 6.0709 ((24 . 27) (26 . 30) (27 . 31) (28 . 32)) 6598 0.4000 5.2635 ((20 . 7) (21 . 8) (22 . 10) (24 . 12)) 6605 0.3670 8.4649 ((24 . 1) (25 . 2) (26 . 3) (28 . 6)) 6613 0.3996 9.7900 ((20 . 21) (21 . 22) (24 . 23) (25 . 25)) 6622 0.3360 12.3647 ((19 . 2) (25 . 8) (26 . 10) (28 . 12)) 6635 0.3821 9.5831 ((22 . 4) (24 . 6) (26 . 9) (28 . 10)) END