4261 25 0.4195 11.6256 ((10 . 4) (14 . 9) (15 . 12) (16 . 13)) 77 0.4201 9.2720 ((13 . 10) (14 . 12) (16 . 16) (17 . 17)) 91 0.4978 11.7408 ((11 . 20) (13 . 22) (14 . 25) (15 . 27)) 147 0.3919 10.4656 ((10 . 2) (11 . 6) (14 . 5) (15 . 7) (16 . 8) (17 . 9)) 157 0.2462 9.8480 ((14 . 10) (15 . 12) (16 . 13) (17 . 15)) 207 0.3665 12.1701 ((12 . 6) (14 . 10) (15 . 12) (17 . 14)) 259 0.4996 7.8362 ((10 . 3) (11 . 5) (14 . 6) (15 . 8)) 293 0.4985 10.5724 ((11 . 1) (13 . 2) (14 . 3) (15 . 4)) 307 0.2461 13.8839 ((10 . 2) (13 . 6) (14 . 8) (15 . 10)) 317 0.4991 9.3289 ((11 . 3) (14 . 6) (15 . 8) (16 . 9)) 351 0.4998 6.7658 ((11 . 1) (14 . 4) (15 . 5) (16 . 6)) 361 0.3667 11.2072 ((14 . 5) (15 . 6) (16 . 7) (17 . 8)) 472 0.2909 11.3596 ((11 . 23) (14 . 24) (15 . 28) (16 . 29)) 553 0.5114 12.2682 ((10 . 6) (12 . 9) (14 . 10) (15 . 14) (17 . 15)) 609 0.3669 9.8606 ((13 . 2) (14 . 4) (15 . 5) (16 . 7)) 619 0.4977 11.8122 ((10 . 3) (13 . 5) (15 . 10) (17 . 14)) 624 0.4984 10.7425 ((11 . 8) (12 . 10) (14 . 12) (16 . 14)) 635 0.2462 12.3955 ((14 . 7) (15 . 9) (16 . 11) (17 . 12)) 672 0.4994 8.2600 ((10 . 4) (12 . 7) (14 . 8) (16 . 12)) 678 0.4995 8.0497 ((11 . 28) (12 . 30) (14 . 32) (16 . 36)) 782 0.4966 13.0909 ((11 . 6) (12 . 7) (15 . 11) (17 . 13)) 792 0.4999 5.4458 ((13 . 8) (14 . 10) (15 . 11) (17 . 13)) 834 0.4986 10.3878 ((12 . 37) (13 . 38) (14 . 39) (17 . 44)) 901 0.4452 18.3648 ((14 . 8) (15 . 10) (16 . 11) (17 . 13)) 945 0.4987 10.2221 ((10 . 13) (14 . 18) (15 . 20) (16 . 21)) 960 0.2462 11.1461 ((10 . 26) (14 . 31) (15 . 32) (16 . 33)) 978 0.4998 6.6345 ((13 . 9) (14 . 11) (15 . 12) (17 . 15)) 1082 0.3666 11.6077 ((10 . 20) (11 . 21) (15 . 25) (17 . 26)) 1124 0.6250 2.3093 ((11 . 8) (12 . 9) (14 . 10) (15 . 11) (17 . 13)) 1165 0.4980 11.3551 ((10 . 5) (11 . 6) (16 . 13) (17 . 14)) 1204 0.2909 10.1799 ((14 . 13) (15 . 15) (16 . 18) (17 . 19)) 1210 0.4994 8.2717 ((11 . 3) (12 . 5) (14 . 6) (16 . 7)) 1267 0.4957 13.8878 ((11 . 23) (13 . 25) (14 . 27) (17 . 34)) 1268 0.4995 7.9088 ((10 . 18) (11 . 19) (13 . 20) (16 . 26)) 1345 0.3660 14.5834 ((10 . 8) (12 . 10) (13 . 11) (17 . 17)) 1395 0.4996 7.4707 ((11 . 1) (12 . 2) (14 . 4) (15 . 5)) 1470 0.4998 6.3171 ((11 . 6) (14 . 9) (15 . 10) (17 . 11)) 1472 0.4952 14.2283 ((10 . 10) (11 . 11) (14 . 13) (15 . 14)) 1476 0.3670 8.7300 ((13 . 10) (15 . 13) (16 . 16) (17 . 17)) 1497 0.4999 5.3543 ((13 . 17) (15 . 21) (16 . 22) (17 . 23)) 1513 0.1987 7.9129 ((10 . 1) (12 . 4) (15 . 9) (17 . 12)) 1591 0.1499 6.1763 ((10 . 12) (11 . 15) (12 . 17) (14 . 18) (16 . 20)) 1604 0.2909 10.7728 ((13 . 11) (14 . 13) (15 . 14) (16 . 15)) 1690 0.4997 7.2146 ((11 . 7) (12 . 27) (14 . 28) (15 . 29)) 1724 0.4979 11.4865 ((11 . 1) (14 . 4) (15 . 6) (17 . 8)) 1736 0.4996 7.7018 ((11 . 2) (14 . 6) (15 . 8) (17 . 9)) 1763 0.4996 7.8281 ((11 . 4) (12 . 6) (15 . 11) (17 . 12)) 1776 0.3669 9.6390 ((10 . 10) (11 . 11) (14 . 13) (17 . 21)) 1894 0.3658 15.1391 ((11 . 6) (14 . 8) (15 . 9) (17 . 15)) 1908 0.2909 10.7826 ((11 . 4) (14 . 6) (16 . 9) (17 . 8)) 1909 0.2909 10.4492 ((12 . 32) (14 . 33) (15 . 36) (17 . 38)) 1957 0.4956 13.9381 ((10 . 4) (11 . 6) (14 . 10) (16 . 12)) 1967 0.2910 8.4272 ((10 . 8) (11 . 9) (12 . 11) (14 . 12)) 1987 0.6249 3.8185 ((11 . 8) (12 . 9) (14 . 10) (15 . 11) (17 . 13)) 2048 0.4987 10.2606 ((11 . 5) (13 . 9) (15 . 12) (17 . 14)) 2054 0.2909 9.6954 ((11 . 7) (12 . 9) (15 . 15) (17 . 16)) 2067 0.1987 10.0873 ((12 . 47) (13 . 48) (14 . 49) (15 . 52)) 2081 0.4522 10.7958 ((14 . 13) (15 . 14) (16 . 15) (17 . 16)) 2094 0.4979 11.5271 ((10 . 3) (11 . 4) (13 . 6) (14 . 7)) 2097 0.2904 16.7693 ((10 . 10) (12 . 15) (14 . 19) (15 . 20)) 2114 0.4973 12.2855 ((12 . 33) (15 . 37) (16 . 38) (17 . 39)) 2118 0.3666 11.5711 ((11 . 2) (14 . 6) (16 . 8) (17 . 9)) 2122 0.4998 5.9654 ((11 . 11) (13 . 13) (16 . 20) (17 . 21)) 2179 0.4200 9.7571 ((14 . 12) (15 . 15) (16 . 16) (17 . 18)) 2233 0.1987 8.3254 ((12 . 6) (14 . 7) (15 . 8) (16 . 9)) 2248 0.1987 7.2706 ((12 . 17) (14 . 20) (16 . 23) (17 . 26)) 2269 0.2909 10.3789 ((14 . 1) (15 . 3) (16 . 5) (17 . 4)) 2279 0.4958 13.7883 ((11 . 6) (14 . 12) (15 . 14) (16 . 15)) 2295 0.4987 10.1373 ((11 . 2) (13 . 3) (15 . 5) (16 . 6)) 2298 0.4986 10.3620 ((11 . 5) (14 . 7) (16 . 11) (17 . 13)) 2342 0.6239 7.3767 ((11 . 7) (12 . 9) (14 . 10) (15 . 11) (16 . 12)) 2344 0.3670 7.0888 ((10 . 2) (11 . 5) (14 . 9) (16 . 12)) 2443 0.4992 9.1449 ((11 . 6) (13 . 7) (15 . 9) (17 . 10)) 2447 0.4980 11.4179 ((10 . 26) (11 . 27) (16 . 34) (17 . 35)) 2465 0.4998 6.7600 ((14 . 5) (15 . 6) (16 . 7) (17 . 8)) 2525 0.1987 8.3095 ((10 . 37) (11 . 39) (15 . 44) (16 . 46)) 2551 0.2910 7.1763 ((10 . 6) (11 . 7) (12 . 8) (14 . 10)) 2552 0.4978 11.6435 ((12 . 2) (14 . 4) (15 . 6) (16 . 7)) 2591 0.2909 9.6014 ((10 . 34) (11 . 36) (14 . 37) (15 . 39)) 2627 0.4999 5.6501 ((11 . 54) (12 . 55) (14 . 56) (15 . 57)) 2634 0.4995 8.2056 ((12 . 2) (14 . 3) (15 . 5) (16 . 6)) 2703 0.2910 7.1476 ((14 . 1) (15 . 3) (16 . 4) (17 . 5)) 2753 0.4973 12.2735 ((11 . 4) (12 . 6) (15 . 8) (17 . 11)) 2821 0.4996 7.3729 ((12 . 6) (14 . 10) (16 . 12) (17 . 14)) 2867 0.1987 8.4570 ((11 . 3) (12 . 5) (15 . 10) (17 . 11)) 2950 0.3669 9.6646 ((12 . 7) (14 . 8) (15 . 11) (17 . 12)) 3014 0.4953 14.1908 ((11 . 14) (15 . 16) (16 . 17) (17 . 18)) 3019 0.3665 12.5348 ((10 . 13) (11 . 15) (14 . 18) (17 . 21)) 3041 0.4987 10.2411 ((11 . 11) (13 . 13) (14 . 15) (16 . 17)) 3084 0.4956 13.9412 ((10 . 6) (12 . 8) (14 . 12) (16 . 14)) 3176 0.3663 13.3309 ((10 . 34) (13 . 36) (14 . 37) (15 . 39)) 3202 0.4199 10.3347 ((14 . 3) (15 . 4) (16 . 5) (17 . 6)) 3300 0.1987 8.1042 ((11 . 3) (14 . 10) (16 . 11) (17 . 12)) 3310 0.2906 15.0407 ((10 . 4) (13 . 6) (14 . 7) (17 . 11)) 3322 0.0999 11.8426 ((11 . 2) (12 . 4) (14 . 6) (16 . 10)) 3334 0.1662 8.7971 ((10 . 7) (14 . 11) (15 . 12) (16 . 13)) 3339 0.4990 9.5334 ((10 . 2) (11 . 4) (14 . 8) (16 . 14)) 3391 0.3670 8.2441 ((10 . 1) (11 . 2) (14 . 3) (15 . 7)) 3415 0.4997 7.1222 ((11 . 20) (13 . 22) (14 . 23) (15 . 24)) 3446 0.4985 10.5751 ((11 . 2) (14 . 4) (15 . 7) (16 . 8)) 3470 0.2909 9.6646 ((10 . 12) (11 . 14) (13 . 15) (14 . 16)) 3495 0.4987 10.1641 ((10 . 6) (11 . 9) (15 . 14) (17 . 17)) 3561 0.4990 9.5883 ((11 . 23) (12 . 25) (15 . 29) (16 . 32)) 3585 0.2909 10.5429 ((12 . 15) (14 . 17) (15 . 18) (16 . 19)) 3613 0.5000 3.2310 ((12 . 26) (14 . 27) (15 . 28) (17 . 30)) 3628 0.1497 16.7659 ((10 . 11) (13 . 13) (14 . 15) (15 . 16)) 3651 0.4980 11.3482 ((10 . 15) (13 . 20) (15 . 25) (16 . 26)) 3658 0.4988 10.0142 ((14 . 9) (15 . 10) (16 . 12) (17 . 13)) 3661 0.4996 7.6473 ((10 . 10) (11 . 14) (14 . 17) (17 . 22)) 3778 0.4982 11.0828 ((11 . 8) (14 . 9) (16 . 19) (17 . 17)) 3787 0.4203 7.3269 ((13 . 8) (14 . 10) (15 . 11) (17 . 14)) 3817 0.1987 9.1826 ((10 . 12) (11 . 13) (14 . 14) (15 . 17)) 3830 0.4966 13.0719 ((10 . 3) (11 . 4) (12 . 5) (14 . 6)) 3834 0.4996 7.6951 ((11 . 2) (14 . 4) (15 . 5) (16 . 6)) 3870 0.3668 10.3011 ((10 . 6) (11 . 7) (14 . 11) (15 . 12)) 3986 0.4203 7.8646 ((10 . 10) (13 . 16) (14 . 19) (15 . 20)) 4009 0.4992 9.0432 ((11 . 8) (12 . 10) (15 . 16) (17 . 17)) 4011 0.4982 11.1122 ((11 . 1) (14 . 2) (15 . 5) (17 . 6)) 4030 0.7473 7.4376 ((11 . 12) (12 . 13) (14 . 15) (15 . 17) (16 . 18) (17 . 19)) 4037 0.2462 7.8393 ((14 . 5) (15 . 6) (16 . 7) (17 . 8)) 4062 0.1987 11.4770 ((11 . 44) (14 . 47) (16 . 51) (17 . 52)) 4077 0.4997 6.9464 ((11 . 1) (14 . 4) (15 . 6) (16 . 8)) 4115 0.2910 8.3413 ((10 . 11) (11 . 12) (14 . 14) (17 . 20)) 4134 0.4997 7.2257 ((11 . 23) (14 . 24) (15 . 26) (17 . 27)) 4151 0.3668 10.5698 ((13 . 8) (14 . 11) (16 . 14) (17 . 16)) 4192 0.1987 8.2072 ((10 . 16) (11 . 18) (13 . 20) (14 . 21)) 4195 0.6238 7.5711 ((12 . 2) (13 . 4) (14 . 5) (15 . 7) (17 . 8)) 4216 0.1497 10.9328 ((11 . 9) (13 . 10) (15 . 14) (17 . 15)) 4226 0.4944 14.8149 ((13 . 2) (14 . 3) (15 . 5) (17 . 10)) 4242 0.1662 8.3362 ((14 . 2) (15 . 4) (16 . 5) (17 . 6)) 4243 0.2908 12.8816 ((13 . 1) (14 . 3) (15 . 5) (16 . 6)) 4254 0.4966 13.0900 ((10 . 2) (13 . 5) (16 . 12) (17 . 14)) 4261 1.0000 0.0000 ((10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 4281 0.4996 7.3713 ((11 . 9) (12 . 11) (13 . 13) (15 . 16)) 4299 0.2908 12.9576 ((11 . 1) (14 . 5) (16 . 7) (17 . 8)) 4326 0.4939 15.1766 ((11 . 1) (14 . 4) (16 . 6) (17 . 8)) 4352 0.4993 8.8387 ((11 . 1) (13 . 2) (14 . 4) (17 . 7)) 4386 0.3667 11.4965 ((12 . 7) (14 . 8) (16 . 11) (17 . 12)) 4408 0.1987 13.0432 ((11 . 19) (14 . 21) (15 . 23) (16 . 24)) 4495 0.1987 11.2492 ((13 . 1) (14 . 5) (16 . 7) (17 . 9)) 4504 0.1987 9.4195 ((10 . 16) (11 . 18) (15 . 23) (16 . 24)) 4579 0.4992 9.0534 ((11 . 25) (14 . 26) (15 . 27) (16 . 28)) 4589 0.2909 11.0189 ((10 . 20) (11 . 21) (14 . 24) (15 . 26)) 4607 0.4984 10.7111 ((10 . 11) (13 . 15) (14 . 16) (15 . 18)) 4671 0.2462 11.8303 ((10 . 5) (14 . 9) (15 . 10) (17 . 16)) 4678 0.3663 13.4471 ((10 . 3) (11 . 5) (14 . 8) (15 . 9)) 4699 0.4999 4.9794 ((11 . 9) (12 . 10) (14 . 11) (16 . 13)) 4715 0.4992 8.9242 ((10 . 4) (11 . 5) (15 . 11) (16 . 13)) 4716 0.4993 8.6550 ((12 . 3) (14 . 4) (15 . 5) (17 . 7)) 4731 0.4192 12.5771 ((13 . 15) (14 . 16) (16 . 19) (17 . 20)) 4764 0.2908 12.2042 ((10 . 1) (14 . 5) (15 . 6) (16 . 7)) 4783 0.1987 16.1998 ((10 . 6) (11 . 7) (14 . 8) (15 . 9)) 4817 0.4999 5.8688 ((12 . 6) (14 . 7) (15 . 9) (17 . 11)) 4857 0.2909 10.0428 ((12 . 12) (14 . 14) (15 . 15) (16 . 16)) 4886 0.3670 7.3073 ((10 . 3) (12 . 6) (13 . 7) (14 . 8)) 4888 0.1987 14.2836 ((10 . 2) (12 . 5) (15 . 10) (17 . 11)) 4889 0.3664 12.8254 ((10 . 5) (11 . 8) (14 . 9) (15 . 13)) 4963 0.1497 10.1203 ((10 . 5) (12 . 7) (14 . 8) (15 . 9)) 4982 0.1987 12.5098 ((10 . 5) (14 . 11) (15 . 15) (17 . 19)) 4998 0.4969 12.7850 ((12 . 16) (14 . 17) (15 . 21) (16 . 22)) 5000 0.4997 7.1046 ((11 . 33) (12 . 34) (14 . 35) (15 . 36)) 5016 0.4994 8.5653 ((12 . 5) (14 . 6) (15 . 7) (16 . 8)) 5039 0.3667 10.9172 ((10 . 35) (11 . 36) (14 . 40) (16 . 43)) 5065 0.4200 9.4527 ((10 . 1) (13 . 5) (14 . 6) (17 . 12)) 5068 0.2908 12.0508 ((11 . 19) (14 . 25) (15 . 26) (16 . 27)) 5069 0.4982 11.0647 ((10 . 6) (11 . 8) (15 . 14) (17 . 16)) 5073 0.4198 10.7285 ((14 . 31) (15 . 33) (16 . 35) (17 . 37)) 5080 0.4999 5.9246 ((11 . 6) (15 . 8) (16 . 12) (17 . 13)) 5092 0.4989 9.8679 ((10 . 8) (11 . 9) (12 . 10) (14 . 13)) 5101 0.4981 11.1895 ((10 . 20) (11 . 22) (13 . 24) (15 . 28)) 5121 0.4980 11.3794 ((11 . 14) (13 . 17) (15 . 22) (16 . 23)) 5132 0.4986 10.4308 ((13 . 14) (14 . 17) (16 . 19) (17 . 21)) 5134 0.4996 7.6583 ((10 . 5) (12 . 9) (16 . 15) (17 . 16)) 5167 0.4995 7.9743 ((11 . 2) (15 . 7) (16 . 8) (17 . 10)) 5192 0.4994 8.2476 ((10 . 23) (11 . 25) (12 . 26) (13 . 27)) 5212 0.3666 11.8583 ((10 . 1) (11 . 4) (15 . 10) (16 . 13)) 5223 0.3670 8.5769 ((13 . 2) (14 . 4) (15 . 7) (17 . 9)) 5285 0.4998 6.6421 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 5318 0.4992 8.9289 ((10 . 5) (11 . 6) (13 . 7) (14 . 9)) 5323 0.2908 12.0729 ((11 . 9) (14 . 13) (15 . 15) (16 . 16)) 5324 0.4983 10.8699 ((11 . 2) (13 . 4) (14 . 6) (16 . 9)) 5442 0.4990 9.5346 ((11 . 37) (12 . 38) (14 . 39) (15 . 40)) 5500 0.4200 9.5533 ((13 . 6) (14 . 10) (16 . 13) (17 . 15)) 5501 0.6239 7.4118 ((10 . 23) (11 . 26) (12 . 28) (14 . 29) (15 . 32)) 5525 0.2909 9.6763 ((10 . 2) (11 . 3) (15 . 10) (16 . 11)) 5560 0.4981 11.2913 ((10 . 6) (11 . 7) (14 . 10) (17 . 14)) 5562 0.1987 9.8164 ((11 . 10) (15 . 16) (16 . 18) (17 . 20)) 5594 0.4971 12.4843 ((10 . 2) (13 . 5) (15 . 8) (17 . 10)) 5600 0.3670 8.7309 ((10 . 1) (11 . 4) (15 . 10) (17 . 12)) 5601 0.4985 10.5855 ((14 . 4) (15 . 6) (16 . 9) (17 . 11)) 5648 0.4999 4.9779 ((11 . 5) (12 . 6) (14 . 7) (15 . 8)) 5656 0.4980 11.3844 ((13 . 11) (15 . 15) (16 . 17) (17 . 19)) 5689 0.6236 7.8790 ((11 . 2) (12 . 3) (14 . 4) (15 . 8) (16 . 9)) 5702 0.4996 7.5673 ((11 . 12) (12 . 13) (14 . 15) (15 . 16)) 5704 0.4983 10.9028 ((11 . 2) (14 . 4) (15 . 5) (17 . 6)) 5746 0.4975 12.1157 ((10 . 1) (11 . 4) (12 . 5) (16 . 12)) 5771 0.2461 12.8959 ((14 . 6) (15 . 7) (16 . 8) (17 . 10)) 5782 0.4971 12.5699 ((11 . 7) (12 . 8) (13 . 9) (14 . 11)) 5795 0.3663 13.1994 ((10 . 8) (12 . 11) (14 . 14) (15 . 15)) 5809 0.4988 10.1006 ((11 . 4) (14 . 8) (16 . 10) (17 . 11)) 5904 0.2908 11.9610 ((11 . 2) (14 . 3) (16 . 6) (17 . 8)) 5913 0.2462 11.0618 ((14 . 11) (15 . 12) (16 . 14) (17 . 16)) 5939 0.4983 11.0076 ((11 . 5) (13 . 7) (15 . 12) (16 . 13)) 5945 0.4903 17.1089 ((11 . 1) (14 . 4) (15 . 6) (17 . 10)) 6029 0.4984 10.7867 ((10 . 2) (14 . 7) (15 . 9) (17 . 12)) 6033 0.4999 4.6356 ((11 . 6) (12 . 7) (14 . 9) (15 . 10)) 6074 0.1987 9.8535 ((11 . 3) (14 . 7) (16 . 10) (17 . 12)) 6079 0.4994 8.4144 ((14 . 12) (15 . 15) (16 . 16) (17 . 17)) 6087 0.1987 8.7520 ((10 . 2) (11 . 4) (14 . 7) (15 . 9)) 6089 0.2906 14.5722 ((11 . 8) (14 . 13) (16 . 19) (17 . 20)) 6099 0.4986 10.4415 ((11 . 12) (13 . 15) (15 . 19) (16 . 20)) 6169 0.2909 10.1833 ((12 . 4) (14 . 8) (15 . 9) (17 . 10)) 6192 0.4991 9.3092 ((11 . 7) (15 . 12) (16 . 15) (17 . 16)) 6268 0.3666 11.5536 ((12 . 8) (14 . 9) (15 . 12) (17 . 13)) 6329 0.4987 10.2599 ((13 . 1) (15 . 4) (16 . 5) (17 . 6)) 6348 0.0999 10.8580 ((10 . 6) (11 . 8) (12 . 10) (14 . 13)) 6356 0.4986 10.4424 ((11 . 12) (12 . 14) (14 . 16) (15 . 17)) 6359 0.6225 9.1491 ((11 . 1) (12 . 2) (14 . 3) (15 . 4) (16 . 6)) 6391 0.1987 10.6777 ((13 . 1) (14 . 2) (15 . 4) (16 . 5)) 6392 0.4184 14.1753 ((13 . 5) (14 . 6) (15 . 8) (17 . 10)) 6434 0.1987 13.4871 ((11 . 6) (13 . 7) (14 . 8) (15 . 9)) 6462 0.4972 12.3678 ((10 . 15) (14 . 19) (15 . 21) (16 . 23)) 6498 0.4955 13.9912 ((11 . 18) (14 . 22) (15 . 26) (16 . 28)) 6506 0.5130 10.2313 ((11 . 21) (13 . 25) (14 . 27) (15 . 29) (17 . 30)) 6536 0.5000 4.0150 ((12 . 29) (14 . 30) (15 . 33) (17 . 34)) 6585 0.3667 11.4385 ((11 . 4) (13 . 5) (14 . 7) (17 . 12)) 6587 0.3665 12.4343 ((13 . 28) (14 . 30) (15 . 32) (17 . 35)) 6605 0.0999 9.9885 ((11 . 1) (14 . 5) (15 . 6) (16 . 7)) 6622 0.4988 10.1015 ((13 . 6) (14 . 8) (15 . 10) (17 . 11)) 6635 0.3669 8.9448 ((13 . 2) (14 . 3) (15 . 6) (16 . 9)) END