2482 288 0.5286 6.5463 ((3 . 1) (5 . 2) (6 . 3) (7 . 6)) 328 0.6463 14.4626 ((1 . 4) (3 . 5) (5 . 8) (6 . 9)) 410 0.6665 3.9920 ((1 . 1) (3 . 2) (5 . 3) (6 . 4)) 509 0.7002 2.6755 ((1 . 2) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 997 0.2970 8.7022 ((3 . 1) (4 . 4) (5 . 3) (6 . 5)) 1461 0.7547 4.8687 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 1576 0.4667 5.1991 ((1 . 20) (3 . 21) (5 . 23) (6 . 24)) 1595 0.6660 6.0009 ((3 . 2) (4 . 3) (5 . 4) (6 . 6)) 1597 0.6658 6.4789 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 1664 0.6619 9.9176 ((1 . 1) (3 . 2) (6 . 4) (7 . 5)) 1973 0.5285 7.1281 ((1 . 2) (3 . 4) (5 . 7) (6 . 8)) 1999 0.5288 4.4207 ((3 . 5) (5 . 7) (6 . 8) (7 . 9)) 2162 0.5288 5.2325 ((3 . 1) (4 . 2) (5 . 5) (6 . 6)) 2224 0.5288 4.8892 ((1 . 1) (3 . 2) (5 . 5) (6 . 6)) 2278 0.7248 6.4376 ((1 . 33) (3 . 34) (5 . 36) (6 . 37) (7 . 40)) 2482 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2544 0.6657 6.6396 ((4 . 18) (5 . 19) (6 . 20) (7 . 21)) 2703 0.8291 7.2688 ((1 . 1) (3 . 3) (5 . 4) (6 . 5) (7 . 6)) 2862 0.4666 7.2417 ((4 . 2) (5 . 3) (6 . 4) (7 . 7)) 2871 0.5268 10.8389 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 3338 0.4665 7.6052 ((1 . 1) (5 . 3) (6 . 5) (7 . 6)) 3438 0.6660 5.9599 ((1 . 1) (3 . 2) (5 . 4) (6 . 5)) 3639 0.6639 8.6102 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 3681 0.6614 10.1519 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 3746 0.4666 6.7818 ((3 . 1) (5 . 3) (6 . 4) (7 . 7)) 3748 0.6660 6.0921 ((3 . 13) (5 . 14) (6 . 15) (7 . 18)) 3934 0.3871 12.6539 ((1 . 2) (3 . 3) (4 . 4) (6 . 5)) 3960 0.5288 4.6989 ((3 . 1) (5 . 2) (6 . 3) (7 . 6)) 4082 0.6666 3.2996 ((1 . 1) (3 . 2) (5 . 3) (6 . 4)) 4537 0.5282 8.2546 ((1 . 16) (3 . 20) (5 . 21) (7 . 25)) 4697 0.6562 12.1306 ((1 . 3) (3 . 4) (5 . 7) (6 . 8)) 4714 0.4659 10.0029 ((1 . 15) (3 . 16) (4 . 19) (6 . 21)) 4840 0.4664 8.1779 ((1 . 34) (3 . 36) (4 . 38) (5 . 40)) 4894 0.6657 6.6554 ((1 . 1) (3 . 2) (5 . 4) (6 . 5)) 4895 0.7242 7.0796 ((1 . 9) (3 . 10) (5 . 12) (6 . 13) (7 . 16)) 4986 0.6597 10.9303 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 5074 0.6640 8.5287 ((1 . 2) (3 . 4) (5 . 8) (6 . 9)) 5180 0.2488 8.8058 ((1 . 1) (3 . 3) (5 . 4) (6 . 7)) 5508 0.7253 5.6087 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 8)) 5612 0.6660 6.0582 ((1 . 2) (3 . 3) (5 . 5) (6 . 6)) 5613 0.6664 5.0075 ((3 . 14) (5 . 16) (6 . 18) (7 . 19)) 5750 0.2488 6.8464 ((1 . 1) (4 . 3) (5 . 5) (6 . 7)) 5764 0.5281 8.3728 ((1 . 1) (4 . 2) (5 . 4) (6 . 5)) 5776 0.4667 6.0907 ((3 . 1) (4 . 3) (5 . 5) (6 . 7)) 5829 0.4667 4.7685 ((1 . 1) (3 . 2) (5 . 3) (6 . 4)) 5959 0.6662 5.4702 ((1 . 1) (3 . 3) (5 . 5) (6 . 6)) 5972 0.6665 3.9502 ((3 . 1) (5 . 4) (6 . 5) (7 . 8)) 6025 0.4660 9.8856 ((1 . 1) (3 . 4) (5 . 5) (6 . 7)) 6450 0.2488 8.0332 ((1 . 1) (3 . 4) (6 . 7) (7 . 8)) 6451 0.2970 7.3800 ((1 . 13) (3 . 15) (4 . 16) (6 . 18)) 6476 0.1996 5.9641 ((1 . 1) (3 . 2) (5 . 5) (6 . 7)) END