5421 64 0.5287 6.2344 ((1 . 9) (2 . 10) (3 . 12) (5 . 13)) 77 0.6622 9.7436 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 129 0.8324 4.9268 ((1 . 5) (2 . 8) (3 . 9) (4 . 10) (13 . 12)) 161 0.4666 6.5550 ((1 . 3) (2 . 4) (3 . 6) (5 . 8)) 169 0.2968 11.5538 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 198 0.9539 5.0821 ((1 . 8) (2 . 9) (3 . 10) (4 . 12) (5 . 13) (13 . 16)) 300 0.6659 6.2465 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 305 0.4666 7.0285 ((1 . 17) (2 . 18) (3 . 19) (5 . 21)) 340 0.2970 8.6227 ((1 . 1) (2 . 2) (4 . 4) (5 . 7)) 350 0.1250 9.9122 ((1 . 7) (3 . 10) (4 . 11) (5 . 13)) 360 0.6665 4.0047 ((1 . 3) (4 . 5) (5 . 6) (13 . 12)) 372 0.9998 2.6195 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (13 . 14)) 417 0.6653 7.2476 ((2 . 1) (4 . 2) (5 . 3) (13 . 9)) 460 0.5286 6.5953 ((1 . 1) (2 . 2) (3 . 3) (5 . 6)) 495 0.6616 10.0642 ((1 . 1) (3 . 3) (5 . 5) (13 . 11)) 587 0.6846 7.0428 ((1 . 4) (2 . 6) (3 . 7) (4 . 8) (5 . 9)) 619 0.4666 6.6891 ((1 . 7) (2 . 8) (3 . 9) (5 . 11)) 672 0.5284 7.3678 ((1 . 21) (2 . 22) (3 . 23) (5 . 24)) 683 0.2970 6.6812 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 735 0.6657 6.6774 ((1 . 29) (2 . 31) (3 . 32) (4 . 33)) 740 0.5289 4.0043 ((1 . 4) (2 . 5) (3 . 6) (4 . 9)) 767 0.1996 7.1457 ((1 . 9) (2 . 10) (3 . 11) (4 . 13)) 801 0.6665 4.4983 ((1 . 1) (2 . 2) (3 . 4) (5 . 6)) 812 0.4664 8.0479 ((1 . 8) (2 . 9) (5 . 13) (13 . 16)) 818 0.2487 9.4695 ((2 . 1) (3 . 2) (5 . 4) (13 . 12)) 824 0.6659 6.3052 ((1 . 43) (2 . 45) (3 . 46) (5 . 49)) 861 0.6660 6.0618 ((1 . 15) (2 . 16) (3 . 17) (5 . 19)) 960 0.2969 9.6498 ((1 . 2) (3 . 3) (4 . 4) (13 . 9)) 1007 0.4656 10.9003 ((1 . 7) (2 . 8) (3 . 9) (13 . 18)) 1034 0.4647 12.5970 ((1 . 21) (2 . 22) (5 . 25) (13 . 29)) 1082 0.6661 5.7873 ((2 . 1) (3 . 2) (4 . 8) (5 . 4)) 1084 0.6657 6.6534 ((2 . 8) (3 . 9) (4 . 10) (5 . 12)) 1121 0.3877 9.5517 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 1165 0.6647 7.9560 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 1169 0.6661 5.7040 ((2 . 31) (3 . 32) (4 . 34) (5 . 35)) 1211 0.6649 7.6918 ((1 . 5) (4 . 9) (5 . 10) (13 . 15)) 1217 0.6656 6.8700 ((1 . 3) (2 . 5) (3 . 7) (5 . 9)) 1233 0.6643 8.2757 ((1 . 20) (2 . 22) (4 . 23) (5 . 24)) 1267 0.6664 4.6712 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 1294 0.4664 8.0782 ((1 . 42) (2 . 43) (3 . 44) (5 . 46)) 1410 0.4405 8.7788 ((1 . 19) (2 . 21) (3 . 20) (4 . 22) (5 . 23)) 1425 0.4664 8.4567 ((1 . 8) (2 . 10) (3 . 11) (4 . 12)) 1451 0.6647 7.9098 ((1 . 6) (3 . 8) (4 . 9) (5 . 10)) 1501 0.6667 2.2843 ((1 . 1) (4 . 2) (5 . 3) (13 . 9)) 1622 0.6634 8.9952 ((2 . 22) (3 . 23) (4 . 24) (5 . 25)) 1624 0.4407 7.4106 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 9)) 1643 0.6649 7.6691 ((1 . 10) (2 . 11) (3 . 12) (13 . 22)) 1690 0.4664 8.1826 ((2 . 13) (3 . 14) (5 . 16) (13 . 24)) 1747 0.6618 9.9641 ((1 . 30) (2 . 31) (4 . 33) (5 . 34)) 1756 0.5286 6.5182 ((1 . 22) (2 . 23) (3 . 25) (5 . 27)) 1761 0.6658 6.3871 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 1776 0.4667 6.1657 ((3 . 14) (4 . 15) (5 . 16) (13 . 23)) 1793 0.6601 10.7520 ((1 . 6) (3 . 8) (5 . 10) (13 . 14)) 1805 0.6660 6.0871 ((1 . 7) (3 . 8) (4 . 9) (5 . 10)) 1817 0.6663 5.0242 ((2 . 15) (3 . 16) (4 . 18) (5 . 19)) 1867 0.6660 6.0610 ((1 . 1) (2 . 3) (4 . 6) (5 . 7)) 1894 0.3880 4.8880 ((1 . 20) (2 . 21) (3 . 22) (4 . 23)) 1896 0.2970 7.8134 ((1 . 23) (2 . 24) (3 . 26) (4 . 27)) 1913 0.2969 10.2019 ((2 . 13) (3 . 14) (4 . 16) (5 . 18)) 1995 0.3879 7.9303 ((2 . 7) (3 . 8) (4 . 9) (5 . 11)) 2003 0.6645 8.1492 ((1 . 8) (2 . 9) (4 . 10) (5 . 12)) 2006 0.6643 8.3170 ((1 . 2) (2 . 4) (3 . 5) (5 . 7)) 2045 0.2970 6.0297 ((2 . 1) (3 . 2) (4 . 3) (13 . 11)) 2063 0.5282 8.0789 ((1 . 45) (2 . 47) (3 . 48) (4 . 50)) 2065 0.6662 5.5401 ((1 . 23) (3 . 25) (4 . 26) (5 . 27)) 2067 0.7241 7.1530 ((1 . 54) (2 . 55) (3 . 57) (4 . 59) (5 . 60)) 2072 0.2970 8.5871 ((2 . 5) (3 . 4) (4 . 6) (5 . 7)) 2081 0.2969 10.2240 ((1 . 19) (2 . 20) (3 . 21) (5 . 23)) 2097 0.6612 10.2666 ((1 . 1) (4 . 4) (5 . 5) (13 . 14)) 2116 0.6651 7.4740 ((3 . 1) (4 . 2) (5 . 3) (13 . 9)) 2118 0.6659 6.2350 ((2 . 1) (3 . 3) (4 . 4) (5 . 7)) 2122 0.4666 6.9964 ((3 . 12) (4 . 14) (5 . 15) (13 . 22)) 2166 0.4661 9.3706 ((2 . 3) (3 . 4) (5 . 7) (13 . 13)) 2196 0.6662 5.5354 ((2 . 15) (3 . 16) (4 . 18) (5 . 19)) 2205 0.6659 6.3418 ((1 . 18) (2 . 19) (3 . 20) (5 . 23)) 2209 0.2488 8.4001 ((1 . 5) (2 . 6) (4 . 7) (5 . 9)) 2220 0.6663 5.1235 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 2243 0.6659 6.1562 ((2 . 57) (3 . 58) (4 . 60) (5 . 61)) 2279 0.1996 7.5970 ((1 . 5) (3 . 7) (4 . 8) (5 . 9)) 2308 0.4663 8.8487 ((2 . 4) (3 . 5) (5 . 6) (13 . 11)) 2340 0.6656 6.7211 ((1 . 9) (2 . 11) (4 . 13) (5 . 14)) 2389 0.4665 7.8743 ((2 . 3) (4 . 5) (5 . 6) (13 . 11)) 2408 0.2969 9.7126 ((1 . 32) (3 . 34) (4 . 37) (5 . 38)) 2422 0.3879 6.7971 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 2423 0.2488 7.6913 ((1 . 21) (2 . 22) (4 . 25) (5 . 26)) 2462 0.6647 7.9095 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 2525 0.3877 9.3907 ((1 . 45) (3 . 47) (4 . 48) (5 . 50)) 2650 0.2970 8.4440 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 2675 0.6660 6.0200 ((1 . 1) (2 . 3) (3 . 4) (5 . 7)) 2682 0.6657 6.6252 ((1 . 11) (2 . 12) (3 . 13) (4 . 15)) 2696 0.5283 7.8502 ((1 . 35) (2 . 36) (3 . 37) (5 . 39)) 2804 0.6653 7.2848 ((1 . 29) (3 . 32) (4 . 34) (5 . 36)) 2821 0.2488 8.0026 ((2 . 1) (4 . 4) (5 . 5) (13 . 13)) 2830 0.2488 7.2053 ((2 . 23) (3 . 24) (4 . 25) (5 . 26)) 2834 0.2970 7.2723 ((1 . 1) (3 . 3) (4 . 5) (5 . 6)) 2879 0.6657 6.5621 ((1 . 54) (2 . 56) (3 . 57) (4 . 59)) 2886 0.6655 6.8983 ((1 . 38) (2 . 39) (3 . 41) (5 . 43)) 2966 0.6661 5.7391 ((2 . 4) (4 . 6) (5 . 8) (13 . 16)) 2990 0.1996 8.1230 ((1 . 12) (3 . 14) (4 . 15) (5 . 16)) 2999 0.6655 7.0145 ((1 . 2) (2 . 4) (4 . 7) (5 . 6)) 3014 0.3880 4.2256 ((1 . 22) (2 . 23) (3 . 24) (4 . 25)) 3041 0.2970 8.4630 ((1 . 29) (2 . 30) (4 . 33) (5 . 32)) 3055 0.6662 5.5983 ((2 . 16) (3 . 17) (4 . 19) (5 . 20)) 3063 0.6637 8.7952 ((1 . 37) (2 . 38) (3 . 39) (13 . 46)) 3102 0.6658 6.5031 ((1 . 74) (2 . 75) (4 . 77) (5 . 80)) 3147 0.6661 5.8304 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 3187 0.4666 7.1387 ((2 . 1) (3 . 2) (5 . 3) (13 . 7)) 3200 0.6652 7.3075 ((1 . 6) (4 . 9) (5 . 11) (13 . 16)) 3222 0.2488 6.6531 ((1 . 10) (3 . 14) (4 . 15) (5 . 16)) 3256 0.3876 10.1449 ((1 . 18) (2 . 19) (3 . 20) (5 . 24)) 3289 0.3880 6.0971 ((1 . 25) (2 . 27) (4 . 30) (5 . 31)) 3297 0.4664 8.0568 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 3358 0.4666 7.1399 ((1 . 1) (2 . 2) (5 . 4) (13 . 10)) 3362 0.6660 6.0400 ((1 . 6) (2 . 8) (4 . 10) (5 . 11)) 3366 0.5285 7.1974 ((1 . 22) (2 . 23) (3 . 24) (5 . 26)) 3472 0.3878 8.3817 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 3533 0.1665 9.5782 ((1 . 3) (2 . 5) (4 . 7) (5 . 8)) 3548 0.4665 7.7215 ((2 . 2) (4 . 3) (5 . 4) (13 . 10)) 3549 0.2970 7.4564 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 3585 0.3877 9.8434 ((1 . 11) (2 . 12) (3 . 13) (5 . 14)) 3626 0.5282 8.2236 ((1 . 3) (2 . 6) (3 . 8) (5 . 11)) 3628 0.2488 6.8997 ((2 . 6) (4 . 8) (5 . 9) (13 . 14)) 3651 0.6651 7.4413 ((1 . 8) (2 . 9) (4 . 11) (5 . 13)) 3658 0.2487 11.7244 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 3659 0.2488 4.7540 ((1 . 9) (2 . 10) (4 . 12) (5 . 13)) 3688 0.6583 11.4540 ((1 . 3) (2 . 5) (3 . 7) (13 . 16)) 3697 0.6579 11.5960 ((1 . 1) (2 . 3) (3 . 4) (13 . 10)) 3732 0.6660 6.0068 ((1 . 7) (2 . 9) (4 . 11) (5 . 12)) 3740 0.6665 4.1549 ((1 . 1) (4 . 2) (5 . 3) (13 . 9)) 3741 0.2970 5.6226 ((1 . 25) (2 . 26) (3 . 27) (4 . 28)) 3776 0.2488 5.0532 ((2 . 15) (3 . 17) (4 . 19) (5 . 20)) 3790 0.6858 4.2778 ((1 . 27) (2 . 28) (3 . 29) (4 . 30) (5 . 31)) 3810 0.6666 2.8938 ((2 . 4) (3 . 6) (4 . 8) (5 . 9)) 3849 0.2970 6.6609 ((1 . 2) (2 . 3) (4 . 5) (5 . 8)) 3933 0.8330 3.9443 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (13 . 16)) 3938 0.4666 7.0806 ((1 . 4) (3 . 6) (4 . 8) (5 . 9)) 3986 0.6625 9.5998 ((1 . 9) (4 . 13) (5 . 15) (13 . 26)) 3990 0.4666 7.0498 ((1 . 22) (2 . 23) (3 . 24) (5 . 26)) 4005 0.7551 3.4218 ((1 . 24) (2 . 25) (4 . 26) (5 . 27) (13 . 32)) 4009 0.2968 12.3726 ((1 . 19) (3 . 21) (4 . 22) (5 . 23)) 4019 0.6646 8.0380 ((1 . 39) (4 . 42) (5 . 43) (13 . 50)) 4034 0.6658 6.4699 ((1 . 9) (2 . 10) (3 . 11) (5 . 13)) 4087 0.5278 9.2418 ((1 . 3) (2 . 5) (3 . 6) (5 . 7)) 4112 0.5287 6.0563 ((1 . 2) (2 . 3) (3 . 4) (4 . 6)) 4194 0.3878 9.0478 ((1 . 3) (3 . 5) (4 . 6) (5 . 7)) 4204 0.2488 8.7925 ((1 . 11) (3 . 13) (4 . 14) (5 . 15)) 4209 0.5284 7.6245 ((1 . 2) (3 . 4) (4 . 5) (5 . 7)) 4226 0.2970 7.0831 ((1 . 4) (3 . 6) (4 . 8) (5 . 9)) 4236 0.6665 4.5146 ((1 . 5) (2 . 6) (3 . 7) (13 . 10)) 4254 0.3873 12.1844 ((1 . 1) (4 . 3) (5 . 4) (13 . 13)) 4257 0.2488 7.9223 ((2 . 8) (3 . 9) (4 . 10) (5 . 11)) 4265 0.4665 7.3462 ((1 . 20) (2 . 21) (4 . 23) (5 . 24)) 4284 0.6643 8.3414 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 4299 0.4663 8.6413 ((1 . 14) (2 . 16) (4 . 19) (5 . 20)) 4359 0.6655 7.0020 ((1 . 18) (2 . 19) (3 . 20) (5 . 21)) 4380 0.6630 9.2744 ((1 . 31) (2 . 32) (4 . 36) (5 . 39)) 4383 0.1499 7.6033 ((1 . 15) (3 . 17) (4 . 19) (5 . 18)) 4398 0.2488 6.2473 ((2 . 6) (3 . 7) (4 . 8) (5 . 10)) 4408 0.4662 8.9889 ((1 . 1) (2 . 3) (5 . 6) (13 . 13)) 4415 0.3879 8.0836 ((1 . 1) (3 . 3) (5 . 4) (13 . 11)) 4419 0.2969 9.1309 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 4492 0.6661 5.7323 ((2 . 2) (3 . 3) (4 . 5) (5 . 7)) 4502 0.2488 5.5682 ((2 . 6) (4 . 9) (5 . 10) (13 . 17)) 4503 0.6653 7.2149 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 4505 0.2970 8.3401 ((1 . 25) (2 . 26) (5 . 28) (13 . 34)) 4538 0.2970 8.1987 ((2 . 30) (3 . 31) (4 . 32) (5 . 34)) 4561 0.3879 7.4372 ((1 . 12) (2 . 13) (3 . 14) (5 . 16)) 4577 0.6643 8.2691 ((2 . 28) (3 . 29) (4 . 31) (13 . 39)) 4588 0.2488 6.8630 ((1 . 3) (2 . 7) (3 . 8) (5 . 11)) 4589 0.6656 6.8573 ((1 . 18) (4 . 19) (5 . 22) (13 . 27)) 4630 0.3878 9.0706 ((1 . 30) (2 . 31) (5 . 34) (13 . 42)) 4653 0.6661 5.7304 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 4665 0.2970 7.4137 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 4671 0.6660 6.0556 ((1 . 11) (2 . 12) (3 . 13) (5 . 15)) 4713 0.6629 9.3429 ((1 . 3) (3 . 5) (4 . 6) (5 . 7)) 4734 0.4664 8.3550 ((1 . 4) (2 . 6) (3 . 5) (5 . 8)) 4886 0.2970 8.5916 ((1 . 29) (2 . 30) (3 . 31) (5 . 32)) 4888 0.6628 9.3744 ((2 . 12) (3 . 13) (4 . 14) (5 . 15)) 4889 0.6633 9.0838 ((1 . 2) (2 . 3) (3 . 4) (13 . 11)) 4907 0.6661 5.7183 ((2 . 4) (3 . 5) (4 . 7) (5 . 8)) 4914 0.6666 3.4985 ((1 . 1) (4 . 4) (5 . 5) (13 . 12)) 4921 0.5280 8.6142 ((2 . 7) (3 . 8) (5 . 9) (13 . 17)) 4929 0.6656 6.8080 ((1 . 31) (2 . 32) (3 . 33) (5 . 34)) 4932 0.3874 11.4766 ((1 . 2) (2 . 4) (3 . 5) (4 . 6)) 4978 0.6666 2.9469 ((1 . 21) (2 . 22) (3 . 24) (4 . 25)) 4982 0.2487 10.8982 ((1 . 6) (3 . 8) (4 . 9) (13 . 18)) 4992 0.2969 9.3929 ((2 . 1) (4 . 2) (5 . 3) (13 . 9)) 4998 0.2967 13.3011 ((1 . 15) (4 . 19) (5 . 20) (13 . 25)) 5038 0.6661 5.7890 ((1 . 14) (2 . 15) (3 . 16) (5 . 18)) 5044 0.2970 6.7950 ((2 . 1) (3 . 2) (4 . 3) (13 . 14)) 5065 0.3948 7.2246 ((1 . 7) (2 . 8) (3 . 9) (4 . 11) (5 . 10)) 5069 0.3878 8.3126 ((1 . 2) (3 . 4) (4 . 5) (5 . 7)) 5083 0.5288 5.3991 ((1 . 5) (2 . 6) (3 . 8) (4 . 9)) 5121 0.6653 7.2964 ((2 . 27) (3 . 28) (4 . 30) (5 . 31)) 5134 0.1665 10.6784 ((3 . 2) (4 . 3) (5 . 6) (13 . 10)) 5176 0.2969 9.8772 ((1 . 82) (3 . 84) (5 . 86) (13 . 91)) 5209 0.6631 9.2073 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 5212 0.6665 4.5279 ((1 . 21) (2 . 22) (3 . 23) (4 . 24)) 5223 0.2488 6.7247 ((2 . 6) (4 . 8) (5 . 10) (13 . 15)) 5231 0.5278 9.1471 ((1 . 12) (2 . 13) (3 . 14) (5 . 16)) 5278 0.6655 6.9071 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 5312 0.5287 6.3365 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 5344 0.3876 10.2490 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 5345 0.4665 7.3374 ((1 . 14) (3 . 16) (4 . 17) (5 . 18)) 5368 0.6664 4.9451 ((1 . 12) (2 . 47) (3 . 48) (13 . 49)) 5414 0.4665 7.9243 ((1 . 14) (2 . 15) (3 . 16) (5 . 18)) 5418 0.6659 6.3245 ((1 . 3) (3 . 5) (4 . 7) (5 . 8)) 5421 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (13 . 13)) 5433 0.5285 7.2861 ((1 . 10) (3 . 12) (4 . 14) (5 . 16)) 5479 0.6660 5.9766 ((1 . 54) (2 . 55) (3 . 56) (4 . 58)) 5500 0.5279 8.8432 ((3 . 2) (4 . 4) (5 . 7) (13 . 14)) 5535 0.3880 4.7563 ((1 . 2) (2 . 4) (5 . 7) (13 . 10)) 5567 0.2488 8.5812 ((1 . 15) (3 . 17) (4 . 18) (5 . 19)) 5640 0.6651 7.4678 ((1 . 20) (2 . 21) (3 . 22) (5 . 23)) 5644 0.6663 5.3511 ((1 . 1) (2 . 3) (3 . 4) (13 . 14)) 5700 0.6649 7.6866 ((2 . 2) (4 . 3) (5 . 4) (13 . 11)) 5701 0.6642 8.4062 ((2 . 4) (3 . 5) (5 . 6) (13 . 11)) 5703 0.6849 6.6572 ((1 . 7) (2 . 1) (3 . 2) (4 . 5) (5 . 6)) 5711 0.6658 6.4601 ((1 . 38) (2 . 39) (4 . 42) (5 . 43)) 5713 0.6664 4.6519 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 5718 0.4665 7.8813 ((2 . 14) (4 . 16) (5 . 17) (13 . 25)) 5731 0.6622 9.7415 ((1 . 2) (2 . 4) (3 . 5) (13 . 14)) 5746 0.2970 6.1558 ((1 . 6) (2 . 7) (3 . 9) (4 . 10)) 5770 0.4665 7.5005 ((1 . 6) (3 . 8) (4 . 9) (5 . 12)) 5782 0.3874 11.7202 ((1 . 24) (2 . 26) (4 . 27) (5 . 29)) 5794 0.1996 9.1726 ((1 . 15) (2 . 16) (5 . 18) (13 . 25)) 5822 0.2969 9.4590 ((1 . 4) (2 . 6) (3 . 7) (4 . 8)) 5827 0.4662 9.1533 ((1 . 2) (2 . 3) (3 . 4) (5 . 8)) 5847 0.6662 5.5636 ((1 . 3) (2 . 4) (4 . 8) (5 . 9)) 5865 0.6664 4.5868 ((2 . 1) (3 . 2) (4 . 4) (5 . 5)) 5888 0.3879 7.0588 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 5922 0.2968 11.7652 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 5930 0.2970 7.7728 ((1 . 8) (2 . 9) (3 . 10) (4 . 12)) 5945 0.6623 9.6722 ((2 . 13) (3 . 14) (4 . 16) (5 . 19)) 6011 0.6642 8.4162 ((1 . 10) (4 . 14) (5 . 15) (13 . 20)) 6022 0.3878 8.6122 ((1 . 2) (2 . 4) (3 . 5) (5 . 7)) 6041 0.3878 8.2228 ((1 . 8) (3 . 10) (4 . 11) (5 . 12)) 6046 0.3877 10.0136 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 6061 0.6656 6.8356 ((1 . 13) (4 . 14) (5 . 15) (13 . 21)) 6074 0.1996 11.2387 ((1 . 4) (3 . 6) (5 . 8) (13 . 13)) 6079 0.2969 9.3781 ((1 . 6) (2 . 7) (3 . 8) (5 . 11)) 6094 0.6631 9.2211 ((1 . 2) (2 . 4) (3 . 5) (13 . 14)) 6099 0.6655 7.0150 ((1 . 13) (2 . 14) (4 . 16) (5 . 18)) 6123 0.6634 9.0398 ((2 . 2) (3 . 1) (4 . 3) (5 . 4)) 6142 0.6662 5.5609 ((1 . 18) (2 . 19) (3 . 20) (5 . 24)) 6148 0.2969 8.7912 ((1 . 32) (2 . 33) (3 . 34) (5 . 36)) 6173 0.3877 9.9272 ((1 . 11) (2 . 12) (3 . 13) (5 . 15)) 6215 0.6656 6.8570 ((1 . 17) (2 . 18) (3 . 19) (4 . 20)) 6225 0.3870 13.2066 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 6228 0.4666 6.6849 ((3 . 9) (4 . 11) (5 . 12) (13 . 19)) 6234 0.5281 8.4058 ((1 . 7) (2 . 9) (3 . 10) (5 . 13)) 6238 0.4662 9.2260 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 6270 0.3879 7.8065 ((1 . 15) (3 . 17) (4 . 18) (5 . 20)) 6271 0.3880 5.3664 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 6273 0.3880 6.0747 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 6306 0.2488 8.2663 ((1 . 15) (2 . 16) (4 . 17) (5 . 19)) 6326 0.9998 2.5679 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (13 . 13)) 6338 0.6655 6.9648 ((1 . 2) (2 . 4) (3 . 5) (5 . 7)) 6344 0.3880 5.1627 ((2 . 12) (3 . 13) (4 . 14) (5 . 15)) 6355 0.6638 8.7126 ((1 . 6) (3 . 7) (4 . 9) (5 . 10)) 6369 0.5270 10.4710 ((1 . 31) (2 . 32) (3 . 33) (5 . 35)) 6391 0.1665 9.2773 ((1 . 8) (3 . 10) (4 . 12) (5 . 14)) 6399 0.6662 5.3933 ((2 . 19) (3 . 20) (5 . 24) (13 . 30)) 6403 0.4666 7.2889 ((1 . 4) (2 . 5) (4 . 7) (13 . 15)) 6434 0.1499 6.9646 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 6520 0.4665 7.5370 ((1 . 10) (2 . 13) (4 . 14) (5 . 15)) 6548 0.6661 5.8506 ((1 . 7) (2 . 9) (4 . 12) (5 . 13)) 6553 0.4664 8.1193 ((1 . 20) (2 . 22) (4 . 24) (5 . 25)) 6555 0.4652 11.6893 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 6561 0.6659 6.2406 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 6573 0.4666 6.9260 ((1 . 21) (2 . 22) (3 . 23) (5 . 25)) 6584 0.6648 7.8011 ((2 . 6) (3 . 5) (4 . 7) (5 . 8)) 6598 0.6656 6.8582 ((1 . 10) (2 . 11) (4 . 13) (5 . 16)) END