2950 25 0.4900 11.3250 ((7 . 2) (8 . 4) (11 . 9) (12 . 10)) 77 0.5431 19.3045 ((7 . 1) (8 . 2) (10 . 3) (13 . 10)) 91 0.4450 9.4421 ((7 . 23) (8 . 26) (9 . 27) (11 . 30)) 147 0.5708 7.1832 ((8 . 3) (10 . 5) (11 . 6) (12 . 8)) 155 0.3784 11.9884 ((7 . 1) (10 . 4) (11 . 5) (12 . 6)) 157 0.4446 10.8880 ((7 . 12) (8 . 13) (9 . 15) (13 . 22)) 207 0.5692 9.9526 ((7 . 6) (8 . 10) (10 . 11) (12 . 14)) 259 0.4447 10.6940 ((7 . 5) (8 . 6) (10 . 7) (11 . 8)) 305 0.4891 12.5483 ((8 . 8) (11 . 13) (12 . 14) (13 . 20)) 317 0.5709 6.7836 ((8 . 4) (10 . 6) (11 . 7) (12 . 9)) 329 0.5641 13.4421 ((7 . 1) (8 . 3) (11 . 7) (13 . 9)) 361 0.5700 8.8516 ((7 . 5) (8 . 6) (10 . 7) (11 . 9)) 433 0.5706 7.7255 ((7 . 2) (8 . 3) (9 . 4) (12 . 8)) 553 0.3788 9.8243 ((7 . 9) (8 . 10) (11 . 14) (12 . 15)) 672 0.3788 9.9597 ((8 . 7) (10 . 8) (11 . 9) (12 . 12)) 678 0.5669 11.8606 ((8 . 25) (10 . 27) (11 . 28) (12 . 30)) 729 0.4444 11.4729 ((7 . 23) (9 . 26) (10 . 30) (12 . 32)) 782 0.5688 10.3484 ((8 . 1) (11 . 4) (12 . 5) (13 . 7)) 792 0.4452 8.1416 ((8 . 1) (9 . 2) (10 . 3) (13 . 10)) 834 0.5713 4.6835 ((8 . 34) (10 . 35) (11 . 37) (12 . 38)) 901 0.5476 18.3843 ((7 . 6) (10 . 8) (11 . 10) (12 . 11)) 945 0.2477 10.3567 ((7 . 18) (8 . 20) (10 . 21) (12 . 24)) 960 0.4389 17.8979 ((9 . 27) (11 . 30) (12 . 31) (13 . 32)) 978 0.3786 11.1537 ((7 . 12) (10 . 15) (11 . 17) (12 . 18)) 1082 0.5698 9.2015 ((7 . 11) (10 . 14) (12 . 18) (13 . 20)) 1124 0.5692 9.8897 ((7 . 8) (8 . 10) (12 . 13) (13 . 15)) 1165 0.3786 11.0044 ((7 . 5) (10 . 9) (12 . 11) (13 . 14)) 1167 0.4439 12.6213 ((8 . 24) (9 . 25) (10 . 26) (13 . 28)) 1204 0.5647 13.1288 ((8 . 19) (9 . 21) (12 . 26) (13 . 28)) 1267 0.5657 12.6070 ((7 . 14) (10 . 16) (12 . 20) (13 . 23)) 1268 0.5699 8.9652 ((7 . 12) (8 . 14) (9 . 15) (10 . 16)) 1301 0.5702 8.5428 ((7 . 2) (8 . 3) (10 . 6) (11 . 7)) 1345 0.3778 14.4200 ((7 . 8) (9 . 11) (10 . 10) (13 . 17)) 1388 0.4417 15.5563 ((7 . 3) (9 . 6) (12 . 11) (13 . 12)) 1415 0.0999 11.8833 ((7 . 1) (9 . 4) (10 . 5) (12 . 6)) 1470 0.4434 13.3274 ((7 . 5) (10 . 8) (11 . 9) (12 . 10)) 1472 0.5702 8.5128 ((8 . 3) (10 . 5) (11 . 9) (12 . 10)) 1497 0.5699 8.9926 ((7 . 11) (8 . 12) (10 . 15) (11 . 16)) 1577 0.5709 6.8490 ((8 . 25) (9 . 26) (10 . 27) (12 . 31)) 1604 0.4450 9.4417 ((7 . 8) (8 . 9) (10 . 11) (12 . 13)) 1690 0.1332 11.7672 ((7 . 15) (10 . 22) (12 . 23) (13 . 26)) 1724 0.4454 6.4528 ((8 . 4) (9 . 5) (10 . 6) (12 . 8)) 1763 0.3787 10.7604 ((8 . 1) (9 . 2) (10 . 4) (13 . 8)) 1776 0.1992 11.1606 ((7 . 6) (8 . 8) (9 . 10) (13 . 18)) 1778 0.5703 8.3767 ((7 . 6) (9 . 10) (10 . 11) (12 . 13)) 1793 0.2478 5.9783 ((7 . 15) (8 . 16) (9 . 17) (10 . 18)) 1796 0.6305 7.3150 ((8 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 6)) 1896 0.5655 12.7263 ((8 . 10) (10 . 12) (11 . 13) (13 . 18)) 1897 0.2945 6.3552 ((9 . 35) (10 . 36) (11 . 37) (12 . 38)) 1908 0.5674 11.5097 ((7 . 1) (8 . 2) (11 . 4) (12 . 5)) 1987 0.5691 9.9901 ((7 . 9) (8 . 10) (10 . 11) (12 . 13)) 2054 0.4454 6.7282 ((7 . 9) (8 . 11) (9 . 12) (10 . 15)) 2067 0.1992 14.5408 ((7 . 47) (9 . 49) (10 . 52) (13 . 56)) 2094 0.4455 4.9800 ((7 . 1) (10 . 2) (11 . 4) (12 . 6)) 2114 0.1992 13.7348 ((7 . 33) (10 . 37) (11 . 38) (12 . 39)) 2118 0.5712 5.4647 ((7 . 6) (10 . 8) (11 . 9) (12 . 10)) 2122 0.1992 11.9498 ((8 . 5) (10 . 7) (11 . 9) (13 . 13)) 2233 0.4449 9.9834 ((7 . 6) (8 . 7) (10 . 8) (11 . 9)) 2269 0.5658 12.5695 ((7 . 1) (8 . 2) (10 . 5) (13 . 9)) 2279 0.2945 9.3936 ((8 . 12) (9 . 15) (10 . 14) (12 . 21)) 2295 0.2945 7.4077 ((9 . 3) (10 . 4) (11 . 5) (12 . 6)) 2298 0.5659 12.5039 ((7 . 2) (8 . 3) (11 . 7) (13 . 11)) 2308 0.3786 11.2200 ((8 . 1) (9 . 2) (10 . 3) (13 . 7)) 2340 0.4433 13.5579 ((7 . 8) (10 . 10) (11 . 12) (12 . 15)) 2342 0.1992 14.0687 ((8 . 9) (9 . 10) (12 . 13) (13 . 14)) 2344 0.4454 6.7973 ((8 . 4) (9 . 5) (11 . 8) (12 . 9)) 2364 0.5712 5.4543 ((7 . 1) (8 . 2) (10 . 6) (12 . 8)) 2443 0.5616 14.5014 ((7 . 6) (10 . 8) (11 . 9) (12 . 10)) 2447 0.4429 14.1436 ((7 . 20) (8 . 22) (9 . 26) (10 . 27)) 2465 0.5712 5.3093 ((7 . 3) (8 . 5) (11 . 7) (12 . 8)) 2525 0.4444 11.3884 ((7 . 42) (9 . 44) (10 . 46) (12 . 49)) 2533 0.2944 11.7613 ((7 . 5) (8 . 7) (12 . 11) (13 . 14)) 2544 0.5662 12.3246 ((10 . 18) (11 . 19) (12 . 21) (13 . 24)) 2551 0.5695 9.5690 ((9 . 4) (10 . 5) (11 . 6) (12 . 7)) 2591 0.5705 7.9127 ((8 . 36) (10 . 37) (11 . 38) (12 . 39)) 2627 0.5662 12.2970 ((7 . 53) (8 . 54) (12 . 57) (13 . 59)) 2658 0.5713 4.5084 ((7 . 4) (8 . 6) (9 . 7) (10 . 8)) 2703 0.5713 4.7128 ((8 . 1) (10 . 3) (11 . 4) (12 . 5)) 2773 0.1664 8.6701 ((7 . 4) (10 . 7) (11 . 8) (12 . 9)) 2834 0.1664 8.6340 ((7 . 11) (8 . 13) (9 . 15) (11 . 17)) 2842 0.1992 12.6762 ((7 . 3) (10 . 6) (11 . 7) (13 . 10)) 2950 1.0000 0.0000 ((7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13)) 2990 0.4394 17.5625 ((8 . 13) (11 . 17) (12 . 18) (13 . 21)) 3014 0.1992 11.1670 ((7 . 17) (8 . 18) (9 . 19) (10 . 20)) 3041 0.2477 12.1476 ((8 . 17) (9 . 19) (12 . 25) (13 . 27)) 3197 0.5676 11.4003 ((7 . 20) (10 . 22) (11 . 23) (12 . 25)) 3202 0.5713 4.4272 ((7 . 3) (8 . 4) (10 . 5) (11 . 6)) 3212 0.3789 8.9830 ((8 . 6) (9 . 7) (11 . 10) (12 . 11)) 3222 0.4433 13.5239 ((7 . 2) (8 . 5) (12 . 9) (13 . 13)) 3310 0.5685 10.6382 ((8 . 2) (10 . 4) (11 . 5) (12 . 6)) 3334 0.5713 5.1463 ((7 . 9) (10 . 11) (11 . 12) (12 . 13)) 3339 0.5695 9.5406 ((7 . 25) (9 . 30) (11 . 34) (12 . 35)) 3391 0.2941 14.9761 ((7 . 14) (8 . 15) (12 . 18) (13 . 20)) 3415 0.5692 9.9072 ((7 . 18) (8 . 20) (10 . 21) (12 . 23)) 3446 0.5909 10.6072 ((8 . 2) (10 . 4) (11 . 7) (12 . 8) (13 . 9)) 3470 0.5686 10.5739 ((7 . 10) (8 . 11) (10 . 16) (12 . 18)) 3495 0.1992 13.8396 ((7 . 9) (8 . 10) (10 . 11) (12 . 14)) 3585 0.5709 6.8889 ((7 . 15) (10 . 17) (11 . 18) (12 . 19)) 3613 0.4451 8.9723 ((7 . 28) (8 . 30) (11 . 31) (12 . 32)) 3651 0.1249 14.6467 ((7 . 2) (10 . 6) (11 . 7) (12 . 10)) 3658 0.1992 14.5872 ((8 . 9) (11 . 12) (12 . 13) (13 . 14)) 3661 0.7113 8.0464 ((7 . 14) (8 . 17) (10 . 18) (11 . 21) (12 . 22)) 3663 0.2945 9.0650 ((8 . 3) (9 . 4) (10 . 6) (12 . 7)) 3733 0.3778 14.3918 ((7 . 4) (8 . 5) (10 . 7) (11 . 9)) 3778 0.3783 12.4620 ((7 . 19) (8 . 20) (9 . 21) (10 . 23)) 3787 0.1249 14.0996 ((7 . 1) (8 . 2) (10 . 5) (12 . 8)) 3829 0.3785 11.4895 ((10 . 3) (11 . 4) (12 . 6) (13 . 8)) 3853 0.5690 10.1150 ((8 . 11) (9 . 13) (11 . 16) (12 . 19)) 3870 0.5705 7.9236 ((7 . 4) (8 . 6) (10 . 7) (12 . 9)) 3942 0.3788 9.7683 ((8 . 4) (9 . 5) (10 . 6) (11 . 8)) 3968 0.2944 12.1344 ((8 . 4) (10 . 7) (11 . 8) (13 . 12)) 4009 0.1664 10.8210 ((7 . 16) (8 . 17) (9 . 18) (13 . 25)) 4030 0.4439 12.5105 ((8 . 10) (9 . 11) (12 . 15) (13 . 16)) 4037 0.5705 7.8724 ((8 . 4) (9 . 5) (10 . 6) (11 . 7)) 4062 0.5678 11.1865 ((8 . 39) (10 . 40) (11 . 44) (12 . 45)) 4067 0.1664 12.1730 ((8 . 11) (9 . 12) (10 . 13) (13 . 19)) 4082 0.5714 4.2630 ((8 . 1) (10 . 2) (11 . 3) (12 . 4)) 4115 0.1993 8.0100 ((7 . 16) (8 . 18) (9 . 20) (10 . 21)) 4134 0.2477 12.6752 ((7 . 23) (10 . 25) (11 . 26) (12 . 27)) 4195 0.4450 9.4525 ((7 . 4) (8 . 5) (11 . 7) (12 . 8)) 4204 0.5668 11.9346 ((7 . 1) (8 . 2) (11 . 6) (13 . 10)) 4216 0.5712 5.3752 ((7 . 9) (9 . 12) (10 . 13) (11 . 14)) 4226 0.2477 12.6258 ((8 . 13) (9 . 15) (11 . 17) (12 . 20)) 4242 0.5712 5.5885 ((7 . 2) (8 . 3) (10 . 5) (11 . 6)) 4243 0.5708 7.3106 ((9 . 2) (10 . 3) (11 . 4) (12 . 5)) 4254 0.2943 13.4965 ((8 . 10) (9 . 12) (12 . 16) (13 . 20)) 4261 0.3788 9.6646 ((7 . 12) (8 . 14) (11 . 15) (12 . 17)) 4266 0.1992 15.0300 ((7 . 9) (8 . 10) (11 . 16) (13 . 18)) 4281 0.2477 8.9281 ((7 . 9) (8 . 11) (11 . 14) (12 . 16)) 4299 0.5680 11.0703 ((8 . 5) (11 . 7) (12 . 8) (13 . 10)) 4352 0.5708 7.3030 ((8 . 4) (10 . 7) (11 . 11) (12 . 12)) 4386 0.2396 7.2040 ((7 . 8) (8 . 2) (9 . 7) (10 . 11) (11 . 12) (12 . 13)) 4408 0.5665 12.1527 ((7 . 20) (8 . 21) (9 . 23) (10 . 24)) 4492 0.4445 11.1139 ((7 . 9) (8 . 10) (11 . 14) (13 . 19)) 4495 0.5657 12.6295 ((7 . 11) (8 . 12) (9 . 13) (13 . 19)) 4504 0.4450 9.6616 ((8 . 10) (9 . 11) (10 . 12) (12 . 16)) 4579 0.5708 7.0957 ((7 . 11) (8 . 13) (11 . 16) (12 . 21)) 4589 0.5573 15.9527 ((7 . 17) (10 . 20) (11 . 21) (13 . 24)) 4607 0.5703 8.3900 ((7 . 17) (8 . 18) (9 . 19) (10 . 20)) 4621 0.3783 12.5175 ((8 . 1) (10 . 2) (11 . 5) (13 . 10)) 4678 0.5683 10.7904 ((8 . 2) (9 . 3) (11 . 5) (13 . 9)) 4699 0.3787 10.2529 ((7 . 8) (8 . 10) (11 . 11) (12 . 12)) 4715 0.5710 6.3884 ((7 . 1) (8 . 2) (10 . 4) (11 . 5)) 4764 0.5712 5.5438 ((7 . 2) (8 . 3) (10 . 5) (11 . 6)) 4783 0.2943 13.5740 ((7 . 6) (10 . 8) (12 . 10) (13 . 12)) 4857 0.5711 6.1219 ((7 . 12) (10 . 14) (11 . 15) (12 . 16)) 4888 0.2477 8.7047 ((8 . 2) (9 . 5) (10 . 6) (13 . 11)) 4889 0.5712 5.4466 ((7 . 19) (8 . 21) (10 . 23) (11 . 24)) 4963 0.5519 17.4024 ((8 . 6) (10 . 7) (11 . 8) (13 . 10)) 4998 0.2477 10.9571 ((7 . 21) (8 . 22) (11 . 27) (12 . 28)) 5016 0.5708 7.2683 ((7 . 2) (8 . 5) (11 . 7) (12 . 8)) 5053 0.5608 14.7791 ((7 . 1) (10 . 7) (11 . 8) (13 . 13)) 5068 0.4442 11.8647 ((8 . 3) (9 . 6) (12 . 11) (13 . 14)) 5080 0.5708 7.3293 ((7 . 7) (8 . 9) (10 . 11) (11 . 13)) 5092 0.8067 6.4582 ((7 . 2) (8 . 3) (9 . 4) (10 . 5) (11 . 8) (12 . 13)) 5101 0.1664 10.8103 ((8 . 17) (10 . 19) (11 . 20) (12 . 22)) 5121 0.3782 12.9347 ((7 . 13) (8 . 14) (9 . 17) (12 . 22)) 5132 0.5686 10.4958 ((7 . 23) (8 . 24) (11 . 27) (12 . 29)) 5145 0.1992 8.9450 ((7 . 4) (8 . 7) (9 . 9) (11 . 11)) 5192 0.5682 10.9204 ((8 . 11) (10 . 13) (11 . 15) (12 . 16)) 5212 0.5689 10.2198 ((7 . 10) (8 . 13) (10 . 14) (11 . 15)) 5215 0.5618 14.4196 ((7 . 1) (10 . 6) (11 . 8) (13 . 13)) 5223 0.5666 12.0779 ((7 . 13) (8 . 14) (9 . 16) (11 . 19)) 5266 0.1498 8.8872 ((7 . 9) (9 . 12) (12 . 16) (13 . 18)) 5285 0.5712 5.7327 ((7 . 1) (10 . 3) (11 . 4) (12 . 5)) 5318 0.5573 15.9506 ((7 . 5) (8 . 7) (11 . 9) (12 . 10)) 5323 0.5713 4.6793 ((7 . 15) (8 . 16) (10 . 17) (11 . 18)) 5324 0.5661 12.3963 ((8 . 23) (9 . 26) (10 . 27) (12 . 29)) 5442 0.4447 10.6754 ((7 . 31) (8 . 32) (11 . 34) (13 . 37)) 5501 0.5694 9.7000 ((8 . 21) (10 . 22) (12 . 26) (13 . 28)) 5525 0.5699 8.9698 ((8 . 3) (10 . 5) (11 . 9) (12 . 10)) 5540 0.3779 13.9818 ((7 . 2) (8 . 5) (12 . 9) (13 . 13)) 5560 0.5635 13.7181 ((7 . 14) (10 . 16) (12 . 19) (13 . 21)) 5562 0.5693 9.7538 ((8 . 15) (9 . 16) (10 . 18) (13 . 21)) 5601 0.2477 10.0515 ((8 . 4) (10 . 6) (11 . 9) (12 . 11)) 5648 0.5704 8.1499 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 5656 0.4454 6.7005 ((8 . 15) (10 . 17) (11 . 19) (12 . 20)) 5689 0.5686 10.5155 ((8 . 16) (9 . 17) (10 . 18) (11 . 19)) 5702 0.5608 14.8146 ((9 . 7) (10 . 8) (11 . 9) (13 . 11)) 5771 0.1992 13.0887 ((8 . 6) (9 . 7) (10 . 8) (11 . 10)) 5782 0.1249 11.8639 ((7 . 4) (8 . 6) (10 . 7) (11 . 8)) 5795 0.5625 14.1464 ((7 . 5) (8 . 7) (11 . 11) (12 . 12)) 5878 0.5701 8.7645 ((7 . 13) (8 . 22) (9 . 23) (13 . 31)) 5904 0.5693 9.8244 ((7 . 2) (8 . 3) (11 . 6) (12 . 8)) 5913 0.4450 9.4409 ((8 . 8) (10 . 11) (11 . 12) (12 . 14)) 5939 0.4394 17.5628 ((8 . 1) (9 . 3) (11 . 5) (13 . 12)) 5949 0.3785 11.4395 ((7 . 2) (8 . 3) (12 . 11) (13 . 13)) 5972 0.3789 8.7698 ((7 . 1) (8 . 4) (10 . 5) (11 . 8)) 6000 0.3784 12.2275 ((8 . 3) (10 . 5) (11 . 6) (12 . 7)) 6029 0.3786 10.8403 ((8 . 34) (9 . 36) (10 . 37) (11 . 38)) 6033 0.4455 5.7906 ((7 . 2) (10 . 4) (11 . 5) (12 . 6)) 6041 0.5697 9.2755 ((7 . 3) (8 . 5) (10 . 6) (12 . 9)) 6075 0.1663 16.6900 ((7 . 19) (8 . 22) (9 . 23) (13 . 29)) 6079 0.4409 16.3481 ((8 . 10) (9 . 12) (11 . 14) (13 . 17)) 6089 0.4447 10.5120 ((7 . 15) (8 . 19) (9 . 20) (13 . 25)) 6169 0.8442 9.3358 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 8) (12 . 9)) 6192 0.2944 10.8389 ((8 . 7) (9 . 9) (12 . 12) (13 . 15)) 6228 0.4888 12.8881 ((7 . 13) (8 . 16) (9 . 17) (10 . 18)) 6243 0.1332 6.1415 ((8 . 9) (10 . 11) (11 . 12) (12 . 13)) 6266 0.2477 9.3419 ((7 . 2) (8 . 4) (12 . 7) (13 . 11)) 6268 0.8570 3.1478 ((7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 13)) 6270 0.3775 15.0715 ((7 . 14) (9 . 16) (12 . 19) (13 . 23)) 6294 0.1992 12.4475 ((7 . 19) (8 . 21) (9 . 24) (12 . 28)) 6329 0.5697 9.2985 ((7 . 2) (8 . 3) (10 . 4) (11 . 6)) 6348 0.5688 10.3747 ((8 . 2) (10 . 3) (11 . 5) (12 . 6)) 6356 0.5687 10.4818 ((7 . 2) (8 . 3) (11 . 5) (12 . 8)) 6369 0.5701 8.7184 ((7 . 25) (9 . 27) (10 . 28) (12 . 30)) 6391 0.3907 4.0920 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5)) 6392 0.3787 10.2040 ((8 . 4) (10 . 5) (12 . 8) (13 . 10)) 6462 0.1992 15.7900 ((7 . 17) (11 . 21) (12 . 23) (13 . 26)) 6476 0.5705 7.9057 ((8 . 1) (9 . 2) (10 . 5) (11 . 7)) 6498 0.3787 10.2708 ((8 . 22) (9 . 23) (11 . 27) (12 . 28)) 6506 0.5690 10.1042 ((7 . 21) (10 . 23) (11 . 24) (12 . 25)) 6520 0.5687 10.4654 ((8 . 18) (10 . 21) (11 . 22) (12 . 23)) 6536 0.2945 9.6305 ((7 . 29) (8 . 30) (11 . 33) (12 . 34)) 6548 0.2945 8.9894 ((7 . 8) (8 . 10) (9 . 14) (10 . 15)) 6585 0.1992 13.5838 ((8 . 3) (9 . 4) (11 . 7) (13 . 9)) 6605 0.5709 6.9810 ((9 . 3) (10 . 4) (11 . 5) (12 . 6)) 6635 0.2477 12.8900 ((7 . 2) (8 . 3) (11 . 9) (12 . 10)) END