1724 25 0.3660 14.3626 ((1 . 9) (2 . 10) (4 . 12) (8 . 13)) 77 0.2462 8.6685 ((1 . 10) (4 . 12) (6 . 16) (7 . 17)) 91 0.4998 6.2273 ((4 . 22) (5 . 25) (6 . 26) (8 . 30)) 155 0.4197 11.2084 ((1 . 4) (4 . 6) (5 . 7) (6 . 8)) 157 0.1987 8.3842 ((4 . 12) (5 . 13) (6 . 15) (7 . 17)) 207 0.4186 13.8778 ((1 . 10) (3 . 11) (4 . 12) (6 . 14)) 259 0.4200 9.5018 ((2 . 3) (6 . 6) (7 . 7) (8 . 8)) 293 0.4994 8.5973 ((1 . 3) (4 . 4) (5 . 5) (8 . 6)) 317 0.4972 12.4634 ((2 . 3) (5 . 6) (6 . 7) (8 . 9)) 351 0.4987 10.2808 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 472 0.1987 14.0534 ((1 . 23) (4 . 24) (6 . 28) (8 . 33)) 543 0.1497 13.2005 ((1 . 3) (5 . 7) (7 . 9) (8 . 13)) 553 0.4999 5.2130 ((1 . 4) (3 . 5) (4 . 6) (5 . 7)) 584 0.1987 10.6877 ((1 . 1) (3 . 2) (7 . 6) (8 . 9)) 609 0.4996 7.4853 ((1 . 2) (4 . 4) (5 . 5) (7 . 7)) 624 0.2908 13.2714 ((1 . 17) (3 . 18) (4 . 19) (5 . 21)) 635 0.4989 9.8693 ((1 . 7) (4 . 9) (5 . 11) (6 . 12)) 672 0.1249 14.5629 ((1 . 4) (4 . 8) (7 . 12) (8 . 17)) 678 0.4988 9.9657 ((1 . 28) (2 . 30) (3 . 31) (5 . 33)) 782 0.4998 6.3567 ((3 . 10) (4 . 11) (5 . 12) (6 . 14)) 792 0.4989 9.8361 ((1 . 8) (3 . 11) (4 . 13) (5 . 14)) 818 0.4200 9.9896 ((1 . 3) (2 . 5) (6 . 9) (7 . 11)) 834 0.4198 10.7088 ((5 . 35) (6 . 36) (7 . 37) (8 . 38)) 901 0.2908 11.9564 ((1 . 11) (2 . 13) (4 . 14) (6 . 16)) 960 0.3669 9.0015 ((1 . 13) (2 . 15) (5 . 20) (8 . 23)) 1005 0.2462 9.4171 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 1007 0.4203 7.1498 ((2 . 1) (5 . 4) (6 . 5) (7 . 6)) 1043 0.1987 9.7482 ((2 . 9) (4 . 11) (7 . 15) (8 . 16)) 1082 0.4969 12.7550 ((1 . 13) (2 . 14) (5 . 17) (8 . 20)) 1124 0.4994 8.3956 ((1 . 9) (4 . 10) (5 . 11) (8 . 15)) 1165 0.4999 5.7520 ((2 . 13) (3 . 14) (4 . 15) (7 . 17)) 1204 0.2906 15.3152 ((1 . 18) (3 . 19) (4 . 21) (8 . 27)) 1210 0.1987 11.2917 ((1 . 1) (2 . 2) (5 . 3) (6 . 4)) 1267 0.3665 12.1803 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 1345 0.3665 12.3835 ((1 . 6) (5 . 10) (6 . 11) (8 . 15)) 1388 0.3663 13.3339 ((4 . 3) (6 . 6) (7 . 7) (8 . 10)) 1395 0.1497 9.9899 ((1 . 1) (5 . 4) (6 . 5) (8 . 6)) 1415 0.1661 11.5249 ((2 . 2) (4 . 3) (6 . 5) (8 . 6)) 1447 0.4928 15.8179 ((1 . 4) (5 . 8) (6 . 10) (8 . 13)) 1470 0.4999 5.7902 ((1 . 14) (4 . 15) (5 . 16) (6 . 18)) 1472 0.4176 15.4550 ((2 . 11) (4 . 12) (7 . 13) (8 . 14)) 1497 0.4994 8.3191 ((3 . 20) (5 . 23) (6 . 24) (7 . 25)) 1595 0.4992 8.9411 ((1 . 2) (2 . 3) (4 . 6) (7 . 9)) 1604 0.1661 11.5236 ((1 . 6) (2 . 8) (6 . 11) (8 . 13)) 1690 0.4990 9.6982 ((1 . 26) (3 . 27) (4 . 28) (5 . 29)) 1724 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 1736 0.4994 8.2587 ((1 . 6) (4 . 8) (5 . 9) (7 . 11)) 1738 0.4990 9.4836 ((2 . 15) (3 . 16) (6 . 20) (8 . 25)) 1894 0.1661 11.3172 ((2 . 1) (4 . 3) (5 . 4) (8 . 8)) 1908 0.4978 11.7166 ((1 . 6) (4 . 8) (5 . 9) (8 . 14)) 1909 0.3668 10.1033 ((1 . 32) (2 . 33) (5 . 36) (6 . 38)) 1944 0.1662 9.3822 ((1 . 12) (2 . 14) (6 . 20) (8 . 25)) 1987 0.4998 6.1878 ((1 . 9) (4 . 10) (5 . 11) (6 . 12)) 2054 0.4201 9.0930 ((4 . 7) (5 . 9) (6 . 11) (7 . 12)) 2067 0.4497 14.8032 ((2 . 1) (6 . 3) (7 . 5) (8 . 6)) 2081 0.2909 10.4208 ((4 . 13) (5 . 14) (6 . 15) (7 . 16)) 2094 0.2737 8.7572 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 6) (8 . 7)) 2114 0.1987 11.5547 ((2 . 33) (4 . 35) (5 . 37) (7 . 39)) 2122 0.2908 13.0291 ((1 . 9) (2 . 11) (4 . 13) (8 . 19)) 2233 0.4198 10.8197 ((2 . 1) (5 . 5) (7 . 6) (8 . 7)) 2249 0.4991 9.4312 ((1 . 3) (4 . 8) (5 . 9) (6 . 10)) 2269 0.1987 9.0792 ((4 . 2) (5 . 4) (6 . 5) (8 . 9)) 2295 0.1987 8.7187 ((4 . 1) (5 . 2) (7 . 3) (8 . 4)) 2342 0.4994 8.5687 ((1 . 1) (4 . 2) (5 . 3) (8 . 4)) 2344 0.4992 8.9473 ((2 . 4) (3 . 5) (7 . 9) (8 . 12)) 2443 0.3669 9.2547 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 2447 0.1661 12.9008 ((1 . 29) (6 . 35) (7 . 34) (8 . 37)) 2465 0.4202 8.5438 ((4 . 3) (5 . 4) (6 . 5) (8 . 7)) 2510 0.4972 12.4453 ((1 . 16) (3 . 18) (5 . 22) (8 . 26)) 2519 0.1497 8.2243 ((1 . 1) (5 . 3) (6 . 4) (8 . 6)) 2551 0.1987 12.0417 ((1 . 2) (5 . 4) (6 . 6) (8 . 7)) 2591 0.4998 6.7472 ((1 . 36) (4 . 37) (5 . 39) (6 . 40)) 2627 0.4956 13.9229 ((1 . 53) (4 . 54) (5 . 56) (8 . 59)) 2634 0.4993 8.6936 ((1 . 3) (4 . 5) (7 . 7) (8 . 8)) 2703 0.2462 9.1704 ((4 . 3) (5 . 4) (6 . 5) (8 . 6)) 2733 0.4199 10.3768 ((5 . 5) (6 . 6) (7 . 7) (8 . 9)) 2804 0.3667 10.8614 ((1 . 26) (2 . 27) (3 . 28) (8 . 35)) 2834 0.4965 13.1209 ((4 . 11) (5 . 13) (7 . 15) (8 . 17)) 2842 0.1497 10.0794 ((1 . 3) (5 . 6) (6 . 7) (7 . 8)) 2947 0.4202 8.6936 ((4 . 16) (5 . 17) (6 . 18) (8 . 20)) 2950 0.4204 6.4528 ((4 . 8) (5 . 9) (6 . 10) (8 . 12)) 3014 0.2906 15.0619 ((1 . 3) (2 . 6) (5 . 9) (8 . 12)) 3041 0.4908 16.8420 ((1 . 5) (2 . 7) (5 . 10) (6 . 11)) 3084 0.4968 12.8705 ((1 . 18) (3 . 20) (5 . 22) (7 . 25)) 3127 0.4993 8.9126 ((1 . 12) (3 . 14) (4 . 16) (5 . 17)) 3176 0.4979 11.4925 ((2 . 21) (4 . 22) (5 . 23) (8 . 30)) 3202 0.4202 8.3507 ((2 . 23) (4 . 24) (5 . 25) (8 . 29)) 3286 0.4988 10.0311 ((1 . 6) (4 . 10) (7 . 12) (8 . 15)) 3310 0.4969 12.7813 ((3 . 3) (5 . 5) (6 . 6) (8 . 7)) 3322 0.1987 10.3203 ((1 . 4) (3 . 6) (4 . 8) (5 . 10)) 3339 0.4971 12.5838 ((1 . 20) (4 . 23) (7 . 24) (8 . 25)) 3415 0.4991 9.4114 ((1 . 18) (4 . 20) (7 . 22) (8 . 23)) 3446 0.4963 13.3769 ((1 . 4) (3 . 7) (5 . 9) (8 . 10)) 3470 0.4990 9.5383 ((4 . 15) (5 . 16) (6 . 17) (8 . 18)) 3495 0.4188 13.4784 ((5 . 11) (6 . 13) (7 . 14) (8 . 17)) 3496 0.3667 10.9388 ((1 . 24) (5 . 26) (6 . 27) (8 . 28)) 3613 0.4985 10.5429 ((1 . 27) (4 . 28) (5 . 30) (8 . 31)) 3658 0.4990 9.5614 ((1 . 12) (4 . 13) (5 . 14) (7 . 16)) 3661 0.5524 6.2099 ((2 . 6) (4 . 9) (6 . 10) (7 . 14) (8 . 25)) 3663 0.4201 8.9390 ((3 . 3) (4 . 4) (6 . 6) (8 . 7)) 3778 0.4993 8.7249 ((4 . 17) (5 . 19) (6 . 20) (8 . 21)) 3787 0.4196 11.2824 ((1 . 8) (2 . 10) (5 . 13) (6 . 14)) 3829 0.2462 9.1281 ((4 . 3) (5 . 4) (6 . 6) (7 . 7)) 3830 0.2908 13.1575 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 3834 0.4990 9.5441 ((4 . 5) (5 . 6) (7 . 7) (8 . 8)) 3847 0.4992 8.9696 ((1 . 10) (3 . 11) (4 . 12) (5 . 15)) 3853 0.4190 13.1334 ((1 . 11) (2 . 13) (5 . 16) (6 . 19)) 3968 0.4170 16.3155 ((1 . 4) (3 . 8) (4 . 10) (6 . 12)) 3986 0.4966 13.0491 ((1 . 10) (3 . 16) (4 . 19) (5 . 20)) 4009 0.4183 14.3582 ((2 . 14) (5 . 17) (6 . 18) (8 . 20)) 4011 0.4997 7.2219 ((1 . 1) (4 . 2) (6 . 5) (8 . 6)) 4030 0.6236 7.8401 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15)) 4034 0.4527 9.0035 ((1 . 1) (2 . 3) (6 . 7) (8 . 8)) 4062 0.3670 7.4325 ((3 . 47) (6 . 51) (7 . 52) (8 . 53)) 4077 0.4998 6.2754 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 4082 0.1662 7.3819 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 4115 0.1987 10.7494 ((1 . 14) (5 . 18) (6 . 20) (7 . 21)) 4134 0.3669 9.4429 ((1 . 24) (4 . 26) (5 . 27) (6 . 28)) 4151 0.2461 13.0131 ((2 . 1) (4 . 2) (5 . 4) (8 . 8)) 4192 0.4990 9.5516 ((1 . 11) (5 . 16) (6 . 18) (7 . 20)) 4195 0.4987 10.3146 ((1 . 8) (4 . 10) (5 . 11) (8 . 12)) 4216 0.4984 10.8249 ((1 . 9) (5 . 12) (6 . 13) (8 . 15)) 4242 0.3667 11.2336 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 4254 0.4508 13.4185 ((2 . 5) (4 . 7) (6 . 10) (8 . 12)) 4261 0.4979 11.4865 ((1 . 11) (4 . 14) (6 . 15) (8 . 17)) 4265 0.1987 16.1246 ((1 . 27) (2 . 28) (3 . 30) (4 . 31)) 4266 0.3664 12.8843 ((1 . 10) (2 . 14) (4 . 16) (5 . 18)) 4281 0.2910 5.3141 ((2 . 6) (3 . 7) (5 . 11) (8 . 16)) 4326 0.3668 10.0747 ((1 . 3) (2 . 4) (5 . 6) (6 . 8)) 4352 0.4188 13.5977 ((1 . 2) (2 . 3) (4 . 4) (7 . 6)) 4386 0.4989 9.7578 ((1 . 15) (4 . 17) (7 . 20) (8 . 23)) 4408 0.4203 6.6675 ((4 . 21) (5 . 22) (6 . 23) (7 . 24)) 4504 0.2909 11.4027 ((1 . 1) (2 . 2) (5 . 5) (8 . 10)) 4516 0.4988 9.9557 ((1 . 13) (4 . 15) (5 . 17) (7 . 19)) 4579 0.4955 14.0305 ((1 . 26) (4 . 27) (6 . 30) (7 . 32)) 4607 0.4957 13.8847 ((2 . 5) (4 . 8) (5 . 9) (8 . 13)) 4699 0.4997 6.8878 ((1 . 8) (3 . 9) (4 . 10) (6 . 11)) 4716 0.6244 6.4788 ((1 . 4) (3 . 5) (4 . 6) (6 . 7) (8 . 8)) 4731 0.4967 12.9871 ((4 . 16) (5 . 15) (6 . 17) (8 . 19)) 4764 0.4966 13.0344 ((2 . 4) (3 . 5) (5 . 7) (8 . 10)) 4783 0.2909 10.0460 ((1 . 1) (4 . 2) (5 . 3) (8 . 6)) 4817 0.4999 5.7745 ((1 . 9) (4 . 11) (5 . 12) (6 . 13)) 4889 0.4202 8.6157 ((4 . 18) (5 . 19) (6 . 20) (8 . 21)) 4978 0.4984 10.8018 ((1 . 26) (3 . 27) (6 . 29) (8 . 31)) 4998 0.2462 12.5443 ((2 . 2) (5 . 4) (6 . 5) (8 . 7)) 5000 0.4997 7.1170 ((1 . 32) (4 . 33) (5 . 35) (8 . 37)) 5016 0.4999 5.8622 ((1 . 6) (4 . 8) (5 . 9) (6 . 10)) 5073 0.3666 11.8704 ((1 . 33) (4 . 37) (7 . 40) (8 . 41)) 5080 0.4990 9.6890 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 5092 0.6217 9.8113 ((1 . 5) (3 . 7) (4 . 8) (5 . 9) (8 . 11)) 5121 0.3661 14.1920 ((1 . 13) (2 . 14) (4 . 17) (8 . 22)) 5132 0.4964 13.2862 ((1 . 19) (4 . 21) (5 . 23) (8 . 24)) 5134 0.5000 4.5250 ((3 . 7) (4 . 8) (5 . 9) (7 . 15)) 5145 0.2462 9.1189 ((2 . 2) (6 . 7) (7 . 9) (8 . 11)) 5192 0.4969 12.7338 ((1 . 2) (3 . 4) (4 . 6) (5 . 7)) 5212 0.4190 13.1023 ((2 . 4) (4 . 7) (5 . 8) (8 . 10)) 5266 0.4993 8.8156 ((3 . 9) (4 . 11) (5 . 12) (8 . 16)) 5285 0.4999 4.9112 ((4 . 1) (5 . 2) (6 . 3) (8 . 6)) 5318 0.4968 12.9004 ((1 . 9) (5 . 13) (6 . 14) (8 . 16)) 5323 0.3666 11.8893 ((3 . 8) (6 . 12) (7 . 13) (8 . 14)) 5324 0.4959 13.6489 ((1 . 4) (3 . 6) (4 . 9) (8 . 13)) 5442 0.2462 9.1862 ((2 . 37) (4 . 38) (5 . 39) (6 . 40)) 5501 0.2904 16.8217 ((1 . 22) (2 . 23) (7 . 29) (8 . 32)) 5525 0.3661 14.0922 ((4 . 11) (5 . 12) (7 . 13) (8 . 14)) 5560 0.4943 14.8880 ((3 . 3) (5 . 5) (7 . 7) (8 . 8)) 5562 0.2910 8.7752 ((1 . 9) (4 . 12) (5 . 13) (7 . 16)) 5648 0.4994 8.5520 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 5656 0.3300 9.5132 ((1 . 4) (2 . 11) (3 . 12) (4 . 13) (5 . 15) (8 . 25)) 5689 0.6239 7.4911 ((1 . 4) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 5702 0.4980 11.4748 ((1 . 12) (4 . 13) (5 . 15) (7 . 16)) 5704 0.4990 9.6039 ((1 . 4) (4 . 5) (5 . 6) (8 . 7)) 5746 0.4990 9.5548 ((1 . 1) (3 . 4) (4 . 5) (8 . 12)) 5770 0.4987 10.2725 ((1 . 7) (2 . 10) (7 . 19) (8 . 22)) 5771 0.2461 13.2685 ((2 . 2) (5 . 7) (7 . 8) (8 . 10)) 5782 0.1661 12.3069 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 5789 0.3669 9.3020 ((1 . 1) (4 . 3) (5 . 4) (6 . 6)) 5830 0.1497 13.3562 ((1 . 5) (5 . 9) (7 . 11) (8 . 15)) 5878 0.2908 12.4261 ((1 . 13) (5 . 21) (7 . 23) (8 . 24)) 5913 0.4967 12.9608 ((1 . 8) (2 . 11) (4 . 12) (5 . 14)) 5945 0.3664 12.6868 ((1 . 34) (2 . 35) (4 . 36) (7 . 39)) 5949 0.4963 13.3672 ((2 . 15) (6 . 19) (7 . 20) (8 . 21)) 6000 0.4997 7.1682 ((2 . 5) (4 . 6) (5 . 7) (7 . 8)) 6029 0.2910 7.3516 ((4 . 7) (5 . 8) (6 . 9) (7 . 12)) 6033 0.4999 5.0987 ((1 . 5) (3 . 6) (4 . 7) (5 . 9)) 6079 0.4529 7.3399 ((2 . 17) (3 . 18) (4 . 19) (6 . 22)) 6089 0.2904 16.5515 ((1 . 19) (3 . 20) (4 . 22) (8 . 26)) 6169 0.4987 10.1947 ((1 . 4) (4 . 8) (5 . 9) (8 . 11)) 6228 0.4508 13.3682 ((1 . 6) (2 . 8) (4 . 10) (8 . 16)) 6261 0.1661 12.1641 ((5 . 14) (6 . 15) (7 . 17) (8 . 18)) 6266 0.2461 13.9138 ((1 . 9) (4 . 11) (5 . 12) (6 . 13)) 6268 0.5140 7.8991 ((3 . 8) (4 . 9) (5 . 10) (6 . 11) (8 . 13)) 6329 0.4995 8.1521 ((1 . 4) (2 . 5) (4 . 6) (5 . 7)) 6359 0.4985 10.6091 ((1 . 2) (3 . 3) (4 . 4) (5 . 5)) 6384 0.4987 10.2790 ((1 . 3) (4 . 4) (5 . 5) (8 . 7)) 6392 0.4993 8.8811 ((2 . 2) (4 . 4) (5 . 5) (8 . 8)) 6461 0.1987 6.9389 ((1 . 1) (2 . 2) (5 . 4) (8 . 7)) 6462 0.4938 15.2336 ((1 . 21) (2 . 23) (4 . 25) (8 . 27)) 6476 0.4203 6.8593 ((3 . 1) (4 . 2) (5 . 5) (6 . 7)) 6498 0.3668 10.4149 ((4 . 22) (5 . 23) (6 . 26) (8 . 28)) 6506 0.4989 9.8653 ((1 . 25) (3 . 27) (4 . 28) (5 . 29)) 6536 0.4986 10.4416 ((1 . 28) (4 . 29) (5 . 30) (8 . 33)) 6548 0.4952 14.2287 ((1 . 4) (3 . 6) (5 . 8) (6 . 10)) 6578 0.1497 10.3052 ((1 . 36) (3 . 39) (4 . 40) (5 . 41)) 6605 0.2910 5.8738 ((3 . 1) (4 . 2) (5 . 3) (8 . 6)) 6622 0.6218 9.6941 ((1 . 2) (3 . 5) (4 . 6) (5 . 8) (8 . 12)) END