4242 25 0.4192 12.6500 ((5 . 2) (6 . 4) (8 . 5) (10 . 9)) 77 0.3670 8.6684 ((3 . 10) (5 . 12) (8 . 16) (10 . 17)) 91 0.4994 8.5264 ((3 . 22) (6 . 27) (8 . 30) (10 . 32)) 136 0.4977 11.7780 ((2 . 2) (3 . 4) (5 . 6) (6 . 9)) 147 0.4999 5.6646 ((2 . 3) (3 . 5) (5 . 7) (6 . 8)) 155 0.4997 6.7858 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 157 0.4934 15.4907 ((1 . 12) (2 . 13) (6 . 21) (8 . 22)) 207 0.4997 6.7853 ((3 . 6) (5 . 10) (6 . 11) (8 . 12)) 305 0.4193 12.4362 ((2 . 10) (3 . 13) (5 . 14) (10 . 20)) 307 0.4201 9.3293 ((2 . 2) (5 . 6) (6 . 8) (8 . 10)) 317 0.4999 5.3389 ((2 . 4) (3 . 6) (5 . 8) (6 . 9)) 329 0.3671 5.2523 ((1 . 1) (2 . 3) (5 . 7) (6 . 8)) 351 0.4999 5.4395 ((1 . 4) (3 . 5) (5 . 7) (6 . 8)) 361 0.6246 5.7387 ((2 . 5) (3 . 6) (5 . 7) (6 . 8) (8 . 9)) 442 0.2461 15.2043 ((1 . 9) (3 . 11) (6 . 13) (8 . 15)) 472 0.4990 9.6250 ((5 . 23) (6 . 24) (8 . 28) (10 . 29)) 619 0.4187 13.7318 ((2 . 3) (3 . 5) (8 . 10) (10 . 14)) 635 0.1987 11.0554 ((2 . 2) (6 . 7) (8 . 9) (10 . 11)) 672 0.4203 7.8927 ((2 . 8) (3 . 9) (5 . 12) (8 . 17)) 678 0.4995 7.9845 ((1 . 31) (2 . 32) (5 . 36) (6 . 38)) 782 0.4988 9.9444 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 792 0.4991 9.3222 ((1 . 16) (3 . 17) (5 . 19) (8 . 21)) 834 0.6245 6.1989 ((3 . 40) (4 . 41) (5 . 42) (6 . 43) (8 . 44)) 901 0.4202 8.3202 ((5 . 2) (6 . 3) (8 . 4) (10 . 6)) 943 0.1987 8.2692 ((2 . 3) (3 . 5) (5 . 7) (10 . 13)) 945 0.4196 11.4608 ((2 . 20) (5 . 23) (6 . 24) (8 . 25)) 960 0.4985 10.6390 ((5 . 32) (6 . 33) (8 . 34) (10 . 37)) 980 0.2909 9.7701 ((1 . 2) (2 . 4) (5 . 6) (6 . 8)) 1007 0.4200 9.9884 ((2 . 2) (3 . 4) (4 . 5) (6 . 6)) 1034 0.3669 9.3853 ((2 . 23) (3 . 24) (6 . 27) (10 . 36)) 1043 0.4943 14.8681 ((3 . 9) (5 . 11) (8 . 15) (10 . 18)) 1082 0.4986 10.4726 ((5 . 27) (6 . 28) (8 . 29) (10 . 32)) 1084 0.2462 10.7953 ((2 . 4) (3 . 5) (4 . 6) (8 . 15)) 1124 0.3670 8.2535 ((1 . 9) (3 . 11) (4 . 13) (6 . 14)) 1165 0.4530 6.1201 ((1 . 13) (4 . 14) (5 . 15) (6 . 16)) 1167 0.1661 17.0402 ((5 . 25) (6 . 26) (8 . 28) (10 . 29)) 1204 0.4981 11.2204 ((2 . 21) (6 . 26) (8 . 28) (10 . 30)) 1210 0.4994 8.4086 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 1267 0.1249 13.9219 ((1 . 27) (5 . 34) (6 . 37) (10 . 41)) 1268 0.4991 9.3952 ((2 . 15) (3 . 16) (5 . 17) (8 . 19)) 1301 0.4990 9.5031 ((2 . 2) (3 . 3) (5 . 6) (6 . 7)) 1345 0.4197 10.9943 ((2 . 8) (5 . 10) (6 . 11) (8 . 15)) 1388 0.1332 8.1051 ((1 . 2) (2 . 3) (5 . 6) (6 . 7)) 1395 0.2909 11.0094 ((4 . 2) (5 . 3) (8 . 4) (10 . 5)) 1415 0.4993 8.7571 ((1 . 2) (3 . 4) (5 . 5) (6 . 6)) 1470 0.4996 7.7027 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 1472 0.4997 7.1467 ((1 . 9) (2 . 10) (3 . 11) (6 . 13)) 1476 0.1987 9.2273 ((2 . 13) (4 . 16) (5 . 17) (6 . 19)) 1497 0.4987 10.2100 ((2 . 28) (4 . 29) (5 . 30) (6 . 31)) 1513 0.4979 11.5207 ((1 . 1) (3 . 4) (8 . 9) (10 . 12)) 1591 0.4981 11.2854 ((5 . 2) (6 . 3) (8 . 5) (10 . 7)) 1604 0.4997 6.9309 ((1 . 11) (3 . 13) (5 . 14) (6 . 15)) 1724 0.3667 11.2336 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 1776 0.2462 9.4406 ((2 . 6) (5 . 10) (6 . 11) (8 . 13)) 1793 0.4999 5.6352 ((2 . 15) (3 . 16) (4 . 17) (5 . 18)) 1796 0.5767 7.3327 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 6)) 1894 0.4987 10.2630 ((3 . 1) (5 . 4) (8 . 8) (10 . 9)) 1896 0.2462 10.8696 ((5 . 10) (6 . 12) (8 . 15) (10 . 18)) 1908 0.1987 10.0719 ((2 . 6) (4 . 9) (6 . 14) (8 . 16)) 1909 0.4974 12.2433 ((2 . 24) (3 . 26) (6 . 30) (10 . 36)) 1944 0.4986 10.3745 ((3 . 4) (6 . 6) (8 . 8) (10 . 12)) 1957 0.2462 10.3328 ((3 . 4) (5 . 6) (6 . 8) (10 . 12)) 1967 0.4995 7.9521 ((1 . 9) (2 . 11) (3 . 12) (5 . 15)) 2048 0.4977 11.8510 ((1 . 2) (3 . 5) (6 . 9) (10 . 14)) 2054 0.4981 11.2123 ((5 . 4) (6 . 7) (8 . 9) (10 . 11)) 2067 0.4186 13.8027 ((2 . 3) (3 . 5) (5 . 6) (8 . 8)) 2081 0.4989 9.8649 ((1 . 11) (4 . 15) (6 . 16) (8 . 18)) 2114 0.3670 7.8334 ((2 . 35) (3 . 37) (4 . 38) (5 . 39)) 2118 0.1661 11.2233 ((3 . 6) (5 . 8) (6 . 9) (8 . 10)) 2122 0.3666 12.0823 ((1 . 2) (2 . 5) (6 . 9) (8 . 11)) 2166 0.4183 14.3832 ((1 . 10) (5 . 14) (8 . 18) (10 . 22)) 2179 0.4191 12.9092 ((1 . 12) (3 . 16) (6 . 19) (8 . 21)) 2233 0.4988 9.9514 ((3 . 1) (5 . 2) (6 . 5) (8 . 6)) 2248 0.2462 11.4228 ((1 . 17) (3 . 20) (6 . 23) (8 . 26)) 2249 0.4982 11.1613 ((1 . 8) (3 . 9) (4 . 10) (10 . 19)) 2269 0.4201 9.2964 ((2 . 1) (4 . 3) (5 . 4) (10 . 9)) 2295 0.4971 12.4801 ((3 . 3) (4 . 4) (8 . 6) (10 . 7)) 2298 0.4995 8.1628 ((1 . 7) (2 . 9) (5 . 13) (6 . 14)) 2342 0.4992 9.1557 ((4 . 6) (6 . 7) (8 . 9) (10 . 10)) 2344 0.4998 6.0704 ((2 . 16) (3 . 17) (5 . 19) (8 . 22)) 2364 0.4996 7.7016 ((3 . 1) (6 . 6) (8 . 8) (10 . 10)) 2443 0.4990 9.5037 ((4 . 1) (5 . 2) (8 . 4) (10 . 6)) 2447 0.4994 8.5740 ((5 . 20) (6 . 22) (8 . 26) (10 . 27)) 2465 0.5522 7.0108 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 2519 0.1987 7.4549 ((2 . 1) (4 . 3) (6 . 4) (8 . 6)) 2525 0.4991 9.4053 ((2 . 42) (3 . 44) (5 . 46) (10 . 52)) 2533 0.4997 6.8193 ((3 . 2) (4 . 3) (6 . 5) (8 . 7)) 2544 0.3670 6.9055 ((3 . 18) (5 . 19) (6 . 21) (8 . 24)) 2551 0.4988 9.9338 ((5 . 4) (6 . 5) (8 . 7) (10 . 10)) 2552 0.4992 9.1870 ((1 . 2) (2 . 4) (3 . 6) (5 . 7)) 2556 0.4990 9.6407 ((5 . 15) (6 . 14) (8 . 17) (10 . 21)) 2634 0.4196 11.5707 ((3 . 3) (5 . 5) (6 . 6) (8 . 8)) 2658 0.4991 9.3240 ((3 . 4) (5 . 6) (6 . 8) (8 . 9)) 2682 0.1987 10.8877 ((3 . 16) (5 . 18) (8 . 21) (10 . 22)) 2703 0.4999 5.1716 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 2753 0.4197 11.1196 ((3 . 2) (5 . 3) (6 . 4) (8 . 7)) 2804 0.2909 9.7454 ((2 . 26) (3 . 27) (4 . 28) (10 . 37)) 2821 0.3668 10.2272 ((1 . 6) (3 . 10) (6 . 12) (8 . 14)) 2840 0.4198 10.5711 ((2 . 2) (3 . 3) (6 . 7) (8 . 10)) 2842 0.4991 9.3504 ((1 . 3) (4 . 6) (5 . 7) (10 . 10)) 2947 0.4995 7.9167 ((4 . 16) (5 . 17) (6 . 18) (8 . 19)) 2950 0.4999 5.5885 ((2 . 7) (3 . 8) (5 . 10) (6 . 11)) 3014 0.4985 10.5581 ((3 . 14) (5 . 15) (8 . 17) (10 . 18)) 3041 0.2462 8.6585 ((2 . 10) (3 . 11) (4 . 15) (8 . 17)) 3084 0.4976 11.9039 ((4 . 1) (5 . 2) (8 . 4) (10 . 6)) 3197 0.2462 9.8548 ((3 . 22) (5 . 25) (6 . 27) (8 . 29)) 3200 0.4985 10.6219 ((1 . 2) (2 . 5) (8 . 12) (10 . 14)) 3202 0.6219 9.6678 ((2 . 24) (3 . 25) (5 . 27) (6 . 28) (8 . 30)) 3212 0.2907 14.4265 ((2 . 1) (5 . 6) (8 . 10) (10 . 11)) 3300 0.3669 8.8376 ((1 . 3) (4 . 9) (5 . 10) (6 . 11)) 3310 0.4988 10.1117 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 3334 0.1987 5.2289 ((1 . 7) (2 . 9) (5 . 11) (6 . 12)) 3339 0.4958 13.7464 ((2 . 25) (6 . 30) (8 . 34) (10 . 36)) 3358 0.4195 11.8448 ((2 . 3) (3 . 5) (6 . 9) (8 . 11)) 3391 0.4991 9.3067 ((1 . 2) (3 . 3) (6 . 5) (8 . 7)) 3410 0.1987 12.5354 ((2 . 20) (4 . 23) (6 . 27) (8 . 29)) 3415 0.6240 7.2429 ((3 . 18) (4 . 19) (5 . 20) (6 . 21) (8 . 22)) 3446 0.4993 8.8489 ((3 . 9) (5 . 10) (6 . 11) (8 . 12)) 3470 0.4998 6.4341 ((1 . 10) (2 . 11) (3 . 12) (8 . 16)) 3495 0.4992 8.9188 ((2 . 5) (6 . 9) (8 . 10) (10 . 11)) 3496 0.4994 8.3191 ((2 . 20) (6 . 24) (8 . 25) (10 . 26)) 3538 0.2908 11.9794 ((3 . 16) (4 . 17) (8 . 21) (10 . 22)) 3561 0.4975 12.0255 ((2 . 23) (4 . 25) (6 . 27) (10 . 32)) 3585 0.4987 10.2510 ((2 . 15) (5 . 17) (6 . 18) (10 . 21)) 3613 0.4997 7.0526 ((3 . 42) (4 . 43) (6 . 44) (8 . 45)) 3628 0.1987 13.8827 ((1 . 1) (3 . 5) (5 . 7) (10 . 11)) 3651 0.4999 4.9911 ((4 . 19) (5 . 20) (8 . 25) (10 . 26)) 3661 0.4998 6.4700 ((3 . 10) (5 . 13) (6 . 14) (8 . 18)) 3778 0.3668 10.3765 ((4 . 17) (5 . 19) (6 . 20) (10 . 23)) 3787 0.4975 12.0515 ((2 . 22) (6 . 25) (8 . 28) (10 . 30)) 3829 0.4996 7.6745 ((2 . 3) (3 . 4) (5 . 6) (8 . 10)) 3830 0.1662 8.1076 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 3834 0.4993 8.6261 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 3847 0.0999 10.7559 ((2 . 10) (3 . 11) (4 . 12) (5 . 15)) 3853 0.1987 12.4031 ((1 . 9) (3 . 11) (5 . 13) (10 . 20)) 3870 0.4991 9.3588 ((2 . 4) (3 . 6) (5 . 7) (8 . 11)) 3968 0.4972 12.3704 ((1 . 2) (3 . 7) (5 . 8) (8 . 12)) 4009 0.4991 9.3505 ((5 . 3) (6 . 6) (8 . 8) (10 . 10)) 4030 0.2906 15.2979 ((2 . 15) (6 . 18) (8 . 19) (10 . 20)) 4037 0.4987 10.1717 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 4062 0.2462 10.7834 ((1 . 34) (5 . 38) (6 . 39) (10 . 40)) 4067 0.4981 11.2159 ((5 . 12) (6 . 13) (8 . 15) (10 . 17)) 4077 0.6233 8.3360 ((3 . 4) (4 . 14) (5 . 16) (6 . 17) (8 . 18)) 4087 0.4975 12.0155 ((1 . 2) (2 . 4) (8 . 9) (10 . 10)) 4115 0.4999 4.7030 ((2 . 2) (3 . 4) (4 . 7) (10 . 12)) 4134 0.4999 5.8802 ((1 . 24) (2 . 25) (3 . 26) (8 . 31)) 4151 0.2461 13.2072 ((2 . 11) (3 . 14) (6 . 16) (8 . 18)) 4190 0.2461 14.6273 ((1 . 2) (3 . 4) (4 . 6) (6 . 7)) 4195 0.4180 14.9183 ((1 . 1) (3 . 3) (6 . 4) (10 . 7)) 4204 0.4994 8.5362 ((2 . 1) (4 . 2) (6 . 4) (8 . 6)) 4226 0.3669 9.8432 ((1 . 5) (3 . 10) (6 . 13) (10 . 20)) 4242 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (10 . 10)) 4243 0.1987 11.2284 ((3 . 2) (5 . 4) (6 . 5) (8 . 6)) 4261 0.2910 8.1553 ((1 . 13) (2 . 14) (5 . 16) (6 . 17)) 4265 0.4188 13.4164 ((1 . 22) (3 . 28) (6 . 30) (8 . 31)) 4266 0.4999 5.8545 ((2 . 9) (3 . 10) (6 . 16) (8 . 17)) 4275 0.1987 13.1695 ((2 . 22) (3 . 24) (5 . 26) (8 . 29)) 4299 0.3669 9.3344 ((2 . 5) (5 . 7) (6 . 8) (8 . 10)) 4326 0.4194 11.9994 ((3 . 4) (4 . 5) (6 . 6) (8 . 8)) 4352 0.4190 13.1241 ((2 . 11) (3 . 12) (6 . 14) (10 . 16)) 4386 0.4925 15.9896 ((3 . 12) (4 . 13) (6 . 15) (8 . 17)) 4408 0.4997 7.1473 ((1 . 19) (2 . 20) (4 . 21) (6 . 23)) 4419 0.4984 10.7278 ((2 . 1) (3 . 2) (5 . 5) (10 . 11)) 4470 0.4993 8.6471 ((1 . 17) (3 . 22) (5 . 23) (6 . 24)) 4492 0.3665 12.6618 ((1 . 10) (2 . 12) (4 . 14) (6 . 19)) 4495 0.4995 7.9265 ((4 . 1) (6 . 5) (8 . 7) (10 . 9)) 4502 0.3665 12.4729 ((3 . 7) (6 . 13) (8 . 16) (10 . 21)) 4504 0.4986 10.3742 ((1 . 2) (5 . 10) (8 . 12) (10 . 16)) 4505 0.1497 8.6876 ((1 . 27) (2 . 29) (5 . 31) (6 . 33)) 4538 0.4999 5.2407 ((1 . 27) (2 . 29) (4 . 36) (6 . 39)) 4560 0.2462 12.2102 ((2 . 5) (3 . 7) (6 . 10) (8 . 12)) 4579 0.4998 6.0421 ((1 . 11) (2 . 13) (5 . 16) (6 . 21)) 4607 0.4991 9.3835 ((2 . 16) (3 . 17) (5 . 18) (8 . 20)) 4669 0.2909 9.3764 ((1 . 16) (5 . 20) (6 . 22) (8 . 23)) 4678 0.4196 11.4417 ((5 . 1) (6 . 2) (8 . 5) (10 . 7)) 4699 0.1987 6.9493 ((1 . 10) (2 . 11) (4 . 12) (5 . 13)) 4715 0.5000 4.3881 ((1 . 4) (2 . 5) (3 . 7) (6 . 10)) 4716 0.3670 8.0061 ((4 . 5) (5 . 6) (6 . 7) (8 . 9)) 4731 0.4195 11.7439 ((1 . 12) (3 . 15) (4 . 17) (6 . 19)) 4764 0.7238 1.3071 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 4783 0.4178 15.2268 ((2 . 7) (3 . 8) (5 . 9) (10 . 12)) 4817 0.3670 6.7266 ((2 . 9) (4 . 11) (5 . 12) (6 . 13)) 4857 0.4999 5.6207 ((1 . 12) (3 . 14) (5 . 15) (6 . 16)) 4888 0.4998 6.7163 ((3 . 5) (4 . 6) (8 . 11) (10 . 19)) 4889 0.3669 9.8164 ((4 . 18) (5 . 19) (6 . 20) (10 . 23)) 4963 0.4993 8.7531 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 4998 0.4891 17.6446 ((1 . 21) (2 . 22) (6 . 27) (8 . 30)) 5016 0.4997 7.2446 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 5068 0.2909 11.1245 ((1 . 3) (5 . 9) (6 . 11) (8 . 14)) 5073 0.4978 11.6673 ((1 . 33) (3 . 35) (8 . 41) (10 . 43)) 5080 0.5000 3.6597 ((2 . 8) (3 . 9) (4 . 11) (6 . 13)) 5092 0.4996 7.7342 ((2 . 2) (3 . 3) (6 . 7) (8 . 8)) 5101 0.4193 12.2746 ((1 . 19) (3 . 22) (6 . 27) (8 . 28)) 5103 0.4199 10.1173 ((2 . 3) (4 . 5) (5 . 7) (10 . 11)) 5132 0.5000 4.2850 ((1 . 32) (2 . 33) (3 . 34) (4 . 35)) 5134 0.4998 6.0540 ((3 . 11) (5 . 12) (8 . 16) (10 . 18)) 5167 0.0999 12.0200 ((1 . 7) (2 . 8) (3 . 10) (6 . 13)) 5192 0.4952 14.2402 ((2 . 16) (6 . 22) (8 . 23) (10 . 25)) 5212 0.4996 7.7783 ((1 . 14) (2 . 15) (8 . 17) (10 . 18)) 5223 0.4987 10.3057 ((5 . 4) (6 . 5) (8 . 7) (10 . 9)) 5285 0.4996 7.4792 ((4 . 1) (5 . 2) (6 . 3) (8 . 5)) 5307 0.4988 10.0886 ((1 . 52) (2 . 54) (3 . 56) (6 . 59)) 5318 0.4984 10.8582 ((3 . 9) (4 . 10) (8 . 14) (10 . 16)) 5323 0.4997 6.7941 ((4 . 12) (5 . 13) (8 . 15) (10 . 17)) 5324 0.4986 10.4792 ((2 . 1) (6 . 4) (8 . 6) (10 . 9)) 5442 0.4989 9.7764 ((1 . 36) (2 . 37) (3 . 38) (5 . 39)) 5501 0.4997 7.1582 ((2 . 21) (3 . 22) (5 . 23) (6 . 26)) 5525 0.4976 11.9409 ((1 . 2) (2 . 3) (3 . 5) (8 . 10)) 5560 0.3667 10.8861 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 5562 0.2909 10.5832 ((2 . 5) (6 . 9) (8 . 12) (10 . 15)) 5594 0.4984 10.8593 ((1 . 2) (3 . 5) (6 . 7) (10 . 13)) 5648 0.2462 9.0852 ((5 . 1) (6 . 2) (8 . 4) (10 . 5)) 5656 0.4994 8.5721 ((1 . 20) (3 . 25) (5 . 26) (6 . 28)) 5689 0.4988 10.0027 ((1 . 3) (2 . 4) (5 . 8) (10 . 11)) 5702 0.4984 10.7725 ((2 . 3) (3 . 4) (5 . 7) (6 . 8)) 5704 0.2461 13.5235 ((1 . 1) (5 . 4) (6 . 5) (10 . 7)) 5770 0.3664 12.8589 ((5 . 2) (6 . 5) (8 . 7) (10 . 10)) 5782 0.4999 5.1247 ((2 . 7) (3 . 8) (4 . 9) (8 . 17)) 5789 0.2910 8.5722 ((2 . 1) (4 . 3) (6 . 4) (8 . 6)) 5795 0.4932 15.5833 ((1 . 5) (3 . 7) (6 . 11) (10 . 15)) 5830 0.3665 12.1825 ((1 . 9) (2 . 11) (5 . 15) (6 . 16)) 5878 0.4203 6.9953 ((2 . 13) (5 . 21) (6 . 22) (8 . 24)) 5904 0.2462 9.3374 ((5 . 5) (6 . 6) (8 . 8) (10 . 10)) 5939 0.4201 9.3265 ((1 . 7) (5 . 12) (6 . 13) (8 . 15)) 5945 0.4990 9.6026 ((4 . 4) (6 . 6) (8 . 8) (10 . 10)) 5949 0.4962 13.4496 ((2 . 11) (3 . 13) (5 . 15) (10 . 19)) 5955 0.2909 10.4603 ((2 . 12) (4 . 13) (8 . 18) (10 . 19)) 5972 0.2462 10.0298 ((2 . 1) (3 . 4) (4 . 5) (6 . 8)) 6000 0.3667 11.2917 ((2 . 11) (5 . 16) (6 . 18) (8 . 22)) 6029 0.4997 7.0401 ((4 . 36) (5 . 37) (6 . 38) (8 . 39)) 6033 0.3667 10.8525 ((3 . 3) (4 . 4) (6 . 5) (10 . 9)) 6041 0.2462 11.2526 ((2 . 3) (5 . 5) (6 . 6) (8 . 9)) 6075 0.1987 9.7764 ((1 . 18) (5 . 22) (6 . 23) (10 . 29)) 6089 0.4170 16.3045 ((2 . 19) (3 . 20) (6 . 22) (10 . 26)) 6169 0.4972 12.4555 ((5 . 8) (6 . 9) (8 . 10) (10 . 11)) 6192 0.3667 11.4962 ((1 . 4) (3 . 9) (6 . 12) (10 . 16)) 6243 0.4998 6.0480 ((1 . 9) (3 . 11) (5 . 12) (6 . 13)) 6261 0.2462 9.8745 ((2 . 17) (3 . 18) (8 . 23) (10 . 24)) 6266 0.4191 12.9327 ((2 . 2) (5 . 4) (8 . 7) (10 . 9)) 6268 0.4999 4.7539 ((2 . 9) (3 . 11) (6 . 13) (8 . 14)) 6294 0.3666 11.7340 ((3 . 15) (5 . 19) (6 . 21) (8 . 24)) 6329 0.4998 6.1495 ((1 . 11) (5 . 14) (6 . 15) (8 . 17)) 6348 0.4196 11.4965 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 6356 0.4979 11.6177 ((2 . 5) (4 . 8) (6 . 10) (10 . 16)) 6369 0.2461 14.9247 ((2 . 23) (5 . 27) (6 . 28) (8 . 30)) 6376 0.4954 14.0777 ((3 . 20) (5 . 23) (8 . 29) (10 . 30)) 6384 0.2909 9.4157 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 6391 0.4999 5.9396 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 6392 0.2461 13.4300 ((2 . 5) (3 . 6) (5 . 8) (10 . 14)) 6462 0.4195 11.6247 ((2 . 11) (5 . 14) (8 . 17) (10 . 19)) 6476 0.1987 5.4579 ((2 . 1) (3 . 2) (5 . 5) (6 . 7)) 6498 0.4961 13.4974 ((5 . 23) (6 . 26) (8 . 28) (10 . 30)) 6506 0.4993 8.7914 ((3 . 23) (5 . 24) (6 . 25) (10 . 28)) 6536 0.2462 10.7207 ((2 . 28) (3 . 29) (4 . 30) (6 . 32)) 6585 0.3668 10.3890 ((3 . 4) (5 . 5) (6 . 7) (8 . 9)) 6605 0.4997 6.7787 ((2 . 2) (5 . 4) (6 . 5) (8 . 7)) 6622 0.2910 8.6786 ((1 . 2) (3 . 5) (4 . 6) (6 . 8)) 6635 0.1987 7.1491 ((2 . 2) (3 . 3) (5 . 6) (6 . 9)) END