1508 51 0.2488 7.7129 ((2 . 1) (3 . 3) (4 . 4) (5 . 6)) 77 0.1250 9.0362 ((1 . 10) (2 . 13) (5 . 15) (6 . 16)) 91 0.2488 8.8770 ((1 . 23) (3 . 26) (4 . 27) (6 . 30)) 136 0.2969 10.4979 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 147 0.6636 8.8318 ((1 . 5) (3 . 6) (4 . 8) (6 . 9)) 155 0.4663 8.6114 ((1 . 4) (3 . 5) (4 . 6) (6 . 7)) 157 0.2488 6.5733 ((1 . 10) (3 . 12) (4 . 13) (5 . 16)) 162 0.6656 6.8198 ((1 . 16) (2 . 17) (5 . 18) (6 . 19)) 305 0.6627 9.4539 ((2 . 11) (4 . 13) (5 . 15) (6 . 14)) 317 0.6637 8.7587 ((1 . 6) (3 . 7) (4 . 9) (6 . 10)) 329 0.5287 6.0501 ((1 . 3) (2 . 4) (4 . 7) (6 . 8)) 350 0.6655 6.9838 ((1 . 3) (2 . 4) (5 . 8) (6 . 9)) 361 0.6661 5.9179 ((1 . 3) (2 . 4) (4 . 5) (6 . 6)) 367 0.2487 9.4726 ((2 . 38) (3 . 39) (4 . 41) (5 . 42)) 433 0.4656 10.8358 ((1 . 2) (2 . 5) (3 . 4) (5 . 6)) 442 0.3879 6.5497 ((1 . 13) (2 . 14) (4 . 15) (6 . 16)) 472 0.4667 5.4097 ((2 . 25) (4 . 23) (5 . 27) (6 . 28)) 495 0.4657 10.7528 ((1 . 6) (2 . 9) (3 . 10) (4 . 12)) 541 0.4667 6.2276 ((1 . 1) (2 . 3) (3 . 4) (5 . 5)) 543 0.2488 9.2829 ((2 . 6) (4 . 7) (5 . 8) (6 . 9)) 553 0.5269 10.6469 ((1 . 10) (2 . 12) (4 . 14) (6 . 15)) 561 0.1499 4.7323 ((2 . 1) (4 . 2) (5 . 4) (6 . 5)) 619 0.4641 13.3606 ((1 . 3) (3 . 5) (5 . 7) (6 . 10)) 624 0.2970 7.9102 ((1 . 23) (2 . 24) (4 . 25) (5 . 26)) 672 0.4667 6.1659 ((1 . 17) (2 . 18) (4 . 19) (5 . 21)) 729 0.1499 4.3428 ((2 . 24) (4 . 26) (5 . 31) (6 . 32)) 767 0.5280 8.7931 ((1 . 27) (2 . 29) (5 . 32) (6 . 33)) 782 0.2487 11.9843 ((1 . 6) (3 . 8) (4 . 9) (6 . 11)) 796 0.1998 5.3133 ((1 . 1) (2 . 3) (4 . 4) (5 . 6) (6 . 7)) 818 0.2488 7.4211 ((1 . 3) (2 . 4) (3 . 5) (4 . 9)) 834 0.6659 6.2932 ((1 . 36) (3 . 39) (4 . 40) (6 . 41)) 861 0.6650 7.6085 ((1 . 6) (2 . 7) (5 . 8) (6 . 10)) 901 0.3879 6.3232 ((1 . 11) (2 . 17) (3 . 16) (6 . 19)) 904 0.2969 8.8449 ((1 . 4) (2 . 6) (3 . 5) (5 . 7)) 960 0.6666 3.7032 ((1 . 30) (3 . 31) (4 . 32) (6 . 33)) 978 0.1996 7.2552 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 1007 0.3876 10.3361 ((1 . 5) (2 . 7) (3 . 6) (5 . 8)) 1034 0.2487 12.0675 ((1 . 19) (2 . 22) (3 . 23) (4 . 24)) 1043 0.2488 6.1477 ((1 . 9) (2 . 10) (5 . 14) (6 . 15)) 1082 0.6666 3.7588 ((1 . 25) (3 . 26) (4 . 27) (6 . 28)) 1165 0.4667 6.0530 ((1 . 14) (3 . 15) (4 . 16) (6 . 17)) 1167 0.4655 11.0749 ((1 . 25) (2 . 27) (3 . 26) (6 . 28)) 1201 0.4666 6.6255 ((2 . 7) (3 . 8) (4 . 10) (5 . 11)) 1217 0.1996 9.0849 ((1 . 2) (2 . 3) (5 . 9) (6 . 8)) 1224 0.2970 7.5212 ((2 . 10) (3 . 11) (4 . 13) (5 . 15)) 1268 0.3879 7.7750 ((2 . 13) (3 . 14) (4 . 15) (6 . 16)) 1301 0.8332 2.7567 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 6)) 1345 0.3879 8.1046 ((2 . 14) (3 . 15) (5 . 16) (6 . 17)) 1366 0.3877 10.0871 ((1 . 18) (2 . 20) (5 . 22) (6 . 25)) 1388 0.3879 7.9452 ((1 . 3) (2 . 5) (3 . 6) (6 . 10)) 1447 0.2970 6.7161 ((2 . 7) (3 . 6) (4 . 8) (5 . 9)) 1472 0.2970 7.7699 ((1 . 5) (2 . 7) (3 . 9) (4 . 10)) 1476 0.2488 8.5025 ((1 . 13) (2 . 15) (3 . 16) (6 . 19)) 1497 0.3879 6.8822 ((1 . 20) (3 . 22) (4 . 23) (6 . 25)) 1508 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 1591 0.3879 7.7990 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 1595 0.6647 7.9267 ((1 . 4) (3 . 6) (5 . 8) (6 . 9)) 1604 0.6658 6.5160 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 1622 0.1996 7.6327 ((1 . 17) (3 . 19) (5 . 20) (6 . 21)) 1643 0.2969 8.8611 ((1 . 19) (2 . 20) (3 . 21) (5 . 25)) 1690 0.5284 7.6653 ((2 . 20) (4 . 22) (5 . 24) (6 . 23)) 1736 0.1499 7.0576 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 1747 0.2488 9.3886 ((2 . 19) (3 . 20) (4 . 22) (6 . 23)) 1763 0.5285 7.2939 ((1 . 4) (3 . 6) (4 . 8) (5 . 9)) 1793 0.4665 7.9677 ((2 . 14) (3 . 15) (4 . 16) (6 . 18)) 1796 0.4663 8.5119 ((1 . 1) (3 . 2) (4 . 4) (6 . 5)) 1896 0.3874 11.7508 ((3 . 10) (4 . 12) (5 . 14) (6 . 13)) 1909 0.2970 5.7236 ((1 . 33) (2 . 37) (4 . 38) (5 . 39)) 1944 0.2488 6.4211 ((2 . 1) (3 . 2) (4 . 4) (6 . 6)) 1967 0.2488 6.0890 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 2003 0.6663 5.0475 ((1 . 1) (3 . 2) (4 . 6) (5 . 7)) 2048 0.1996 11.8280 ((1 . 2) (3 . 3) (4 . 5) (6 . 9)) 2054 0.3880 5.7546 ((1 . 11) (2 . 13) (3 . 15) (6 . 16)) 2067 0.6655 6.8990 ((3 . 61) (4 . 62) (5 . 63) (6 . 64)) 2097 0.1665 6.9966 ((1 . 10) (2 . 14) (4 . 15) (5 . 16)) 2117 0.3879 7.3201 ((2 . 17) (4 . 21) (5 . 22) (6 . 24)) 2118 0.1665 10.3502 ((1 . 6) (3 . 8) (4 . 9) (6 . 10)) 2122 0.6605 10.5670 ((1 . 11) (4 . 13) (5 . 15) (6 . 16)) 2179 0.2487 9.9518 ((1 . 15) (3 . 16) (4 . 18) (6 . 19)) 2205 0.5288 5.3206 ((2 . 21) (4 . 24) (5 . 18) (6 . 25)) 2233 0.2488 8.5868 ((1 . 1) (3 . 2) (4 . 5) (6 . 6)) 2249 0.2488 8.6475 ((1 . 8) (3 . 9) (4 . 10) (5 . 11)) 2279 0.1665 9.1541 ((1 . 14) (3 . 15) (5 . 20) (6 . 21)) 2298 0.1665 6.5562 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 2308 0.2488 8.6767 ((1 . 7) (3 . 10) (4 . 12) (6 . 14)) 2340 0.1996 9.8908 ((2 . 9) (4 . 10) (5 . 11) (6 . 12)) 2344 0.5289 4.1297 ((2 . 14) (4 . 17) (5 . 18) (6 . 19)) 2410 0.6663 5.2074 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 2447 0.6658 6.4739 ((1 . 2) (3 . 3) (4 . 4) (6 . 7)) 2462 0.1996 3.2345 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 2525 0.5282 8.1409 ((2 . 38) (4 . 42) (5 . 43) (6 . 44)) 2529 0.6615 10.1123 ((2 . 1) (3 . 2) (4 . 4) (6 . 7)) 2533 0.1996 8.6593 ((1 . 2) (3 . 3) (4 . 5) (6 . 7)) 2544 0.5287 5.6499 ((1 . 18) (3 . 19) (4 . 21) (5 . 23)) 2551 0.3878 8.2460 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 2557 0.3875 11.3097 ((3 . 4) (4 . 5) (5 . 6) (6 . 8)) 2658 0.3876 10.4750 ((1 . 5) (3 . 6) (4 . 8) (6 . 9)) 2682 0.2970 7.8959 ((1 . 10) (2 . 11) (5 . 15) (6 . 16)) 2703 0.2487 11.0241 ((1 . 2) (3 . 3) (4 . 4) (6 . 6)) 2733 0.6623 9.6683 ((1 . 12) (2 . 11) (3 . 13) (6 . 14)) 2821 0.3879 6.7272 ((2 . 4) (3 . 6) (5 . 7) (6 . 10)) 2840 0.6633 9.0933 ((1 . 3) (2 . 5) (3 . 7) (5 . 8)) 2867 0.4664 8.2603 ((1 . 3) (3 . 5) (5 . 7) (6 . 10)) 2929 0.3880 3.4214 ((2 . 36) (3 . 37) (4 . 38) (5 . 40)) 2947 0.3879 7.6721 ((1 . 17) (3 . 19) (4 . 20) (6 . 22)) 2966 0.1996 9.1510 ((2 . 4) (3 . 5) (4 . 7) (5 . 9)) 3014 0.2488 7.0782 ((1 . 18) (2 . 22) (5 . 25) (6 . 26)) 3019 0.1665 9.8048 ((2 . 11) (4 . 12) (5 . 14) (6 . 13)) 3041 0.1665 7.6302 ((1 . 19) (2 . 22) (5 . 24) (6 . 27)) 3070 0.4664 8.4065 ((1 . 31) (2 . 33) (5 . 36) (6 . 37)) 3084 0.6650 7.5676 ((2 . 21) (3 . 22) (5 . 24) (6 . 25)) 3114 0.4659 10.2289 ((2 . 25) (3 . 27) (4 . 28) (5 . 29)) 3200 0.2969 11.2013 ((1 . 2) (3 . 5) (4 . 7) (6 . 8)) 3202 0.4661 9.4517 ((1 . 23) (3 . 24) (4 . 25) (6 . 27)) 3212 0.6653 7.2846 ((1 . 7) (2 . 9) (4 . 10) (6 . 11)) 3222 0.5288 4.7599 ((1 . 9) (2 . 10) (5 . 14) (6 . 17)) 3286 0.2488 9.0813 ((1 . 2) (2 . 5) (4 . 8) (5 . 3)) 3334 0.1996 10.5303 ((3 . 11) (4 . 12) (5 . 14) (6 . 13)) 3339 0.6646 8.0437 ((1 . 14) (3 . 16) (5 . 17) (6 . 18)) 3358 0.3878 8.1758 ((2 . 8) (3 . 9) (5 . 10) (6 . 11)) 3362 0.1996 8.9326 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 3410 0.1996 8.9946 ((2 . 21) (4 . 23) (5 . 24) (6 . 27)) 3470 0.6663 5.3459 ((1 . 9) (3 . 10) (4 . 11) (6 . 12)) 3495 0.1499 12.1778 ((1 . 5) (2 . 7) (3 . 6) (5 . 8)) 3538 0.2488 7.9350 ((1 . 17) (2 . 18) (5 . 20) (6 . 21)) 3549 0.5284 7.4227 ((1 . 4) (2 . 5) (3 . 7) (5 . 8)) 3561 0.2487 10.5738 ((1 . 25) (3 . 27) (4 . 29) (6 . 32)) 3651 0.1996 8.5985 ((1 . 10) (2 . 13) (4 . 14) (6 . 15)) 3656 0.2487 9.9294 ((2 . 22) (3 . 21) (5 . 23) (6 . 25)) 3659 0.3880 5.8434 ((1 . 3) (2 . 5) (3 . 6) (5 . 8)) 3661 0.6631 9.2008 ((1 . 10) (3 . 13) (4 . 14) (6 . 17)) 3732 0.3878 8.7428 ((1 . 4) (3 . 6) (5 . 7) (6 . 8)) 3776 0.2969 10.9583 ((1 . 18) (2 . 21) (4 . 23) (6 . 25)) 3787 0.4662 9.2347 ((1 . 24) (4 . 26) (5 . 29) (6 . 37)) 3790 0.4664 7.9773 ((1 . 20) (2 . 22) (3 . 23) (5 . 26)) 3829 0.9275 3.1135 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 3831 0.2488 7.5240 ((1 . 4) (2 . 5) (5 . 9) (6 . 11)) 3847 0.4664 8.2718 ((2 . 9) (3 . 10) (5 . 13) (6 . 15)) 3849 0.5284 7.4442 ((1 . 4) (2 . 5) (3 . 7) (5 . 8)) 3870 0.2969 9.2640 ((1 . 2) (2 . 3) (4 . 6) (6 . 7)) 3942 0.2488 5.7894 ((2 . 3) (3 . 4) (4 . 5) (6 . 8)) 3986 0.2488 5.8690 ((1 . 19) (2 . 21) (3 . 20) (5 . 25)) 4005 0.6856 5.0246 ((1 . 28) (2 . 30) (3 . 31) (5 . 36) (6 . 39)) 4009 0.4662 8.9916 ((1 . 10) (2 . 13) (5 . 15) (6 . 17)) 4082 0.4640 13.5534 ((1 . 3) (3 . 4) (5 . 6) (6 . 9)) 4115 0.1499 6.5916 ((1 . 4) (2 . 5) (3 . 7) (4 . 9)) 4134 0.6658 6.4799 ((1 . 23) (3 . 24) (4 . 25) (6 . 26)) 4190 0.3865 14.5639 ((1 . 2) (3 . 4) (4 . 6) (6 . 7)) 4192 0.6631 9.2347 ((1 . 11) (3 . 14) (5 . 15) (6 . 18)) 4195 0.2488 9.3330 ((2 . 6) (4 . 8) (5 . 9) (6 . 10)) 4209 0.2969 9.3994 ((2 . 4) (4 . 6) (5 . 8) (6 . 11)) 4210 0.6597 10.9334 ((1 . 1) (2 . 4) (3 . 3) (5 . 5)) 4243 0.6666 3.2800 ((1 . 1) (3 . 2) (4 . 3) (6 . 4)) 4254 0.1996 7.1886 ((1 . 10) (2 . 13) (4 . 14) (5 . 17)) 4266 0.3876 10.3859 ((1 . 9) (2 . 11) (4 . 14) (6 . 16)) 4281 0.6636 8.8587 ((1 . 11) (3 . 13) (4 . 14) (6 . 16)) 4299 0.3877 9.3300 ((3 . 5) (4 . 7) (5 . 6) (6 . 8)) 4352 0.6552 12.4382 ((1 . 4) (3 . 6) (5 . 10) (6 . 12)) 4380 0.4663 8.7649 ((2 . 24) (4 . 27) (5 . 29) (6 . 28)) 4386 0.6635 8.9273 ((1 . 17) (2 . 18) (5 . 19) (6 . 20)) 4388 0.6639 8.6237 ((2 . 3) (3 . 2) (5 . 5) (6 . 4)) 4419 0.6661 5.8465 ((1 . 1) (3 . 2) (4 . 5) (5 . 6)) 4426 0.1996 6.0936 ((2 . 2) (4 . 3) (5 . 4) (6 . 5)) 4516 0.6661 5.8254 ((1 . 11) (2 . 14) (4 . 15) (5 . 16)) 4560 0.2487 9.8404 ((1 . 10) (2 . 13) (3 . 12) (5 . 16)) 4562 0.2969 10.3601 ((1 . 23) (2 . 25) (4 . 26) (6 . 28)) 4563 0.1996 12.3590 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 4579 0.1665 9.4987 ((1 . 16) (3 . 21) (4 . 22) (6 . 23)) 4589 0.1996 9.1734 ((1 . 17) (2 . 19) (5 . 22) (6 . 21)) 4607 0.6553 12.3840 ((1 . 9) (3 . 11) (4 . 13) (6 . 15)) 4648 0.6661 5.6715 ((1 . 3) (2 . 5) (4 . 7) (5 . 8)) 4671 0.2488 6.5773 ((1 . 9) (3 . 10) (5 . 14) (6 . 16)) 4674 0.1499 8.9640 ((2 . 1) (4 . 3) (5 . 2) (6 . 4)) 4715 0.6665 4.4032 ((1 . 9) (3 . 10) (4 . 13) (6 . 14)) 4716 0.2487 10.1956 ((1 . 1) (3 . 2) (4 . 3) (6 . 4)) 4731 0.2488 9.2980 ((1 . 12) (2 . 14) (4 . 15) (5 . 18)) 4764 0.6639 8.6389 ((1 . 3) (3 . 5) (4 . 6) (6 . 7)) 4888 0.6665 4.4512 ((1 . 2) (2 . 4) (4 . 5) (6 . 6)) 4889 0.1996 11.1763 ((1 . 19) (3 . 20) (4 . 21) (6 . 23)) 4907 0.5279 8.9983 ((1 . 2) (2 . 3) (5 . 7) (6 . 10)) 4914 0.5286 6.7242 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 4921 0.2487 10.5599 ((2 . 9) (3 . 11) (5 . 12) (6 . 13)) 4932 0.6565 12.0565 ((2 . 1) (3 . 3) (5 . 6) (6 . 7)) 4961 0.2488 9.1725 ((2 . 17) (3 . 16) (4 . 18) (5 . 20)) 4998 0.6665 4.3281 ((3 . 27) (4 . 28) (5 . 29) (6 . 30)) 5053 0.6615 10.1314 ((1 . 8) (2 . 10) (4 . 13) (6 . 14)) 5068 0.2487 12.1325 ((2 . 20) (3 . 21) (5 . 24) (6 . 25)) 5080 0.6666 3.2704 ((1 . 1) (2 . 2) (5 . 3) (6 . 6)) 5092 0.1996 7.3417 ((1 . 1) (3 . 2) (4 . 3) (6 . 5)) 5101 0.1996 8.5578 ((2 . 15) (3 . 14) (5 . 18) (6 . 17)) 5103 0.1499 6.1502 ((2 . 6) (3 . 5) (4 . 8) (5 . 9)) 5121 0.1996 7.8580 ((1 . 14) (2 . 16) (3 . 17) (5 . 18)) 5132 0.6640 8.5427 ((1 . 27) (3 . 32) (4 . 33) (6 . 34)) 5134 0.2969 10.3167 ((1 . 5) (3 . 7) (4 . 8) (5 . 10)) 5145 0.6653 7.2901 ((2 . 5) (4 . 9) (5 . 10) (6 . 11)) 5192 0.6613 10.2046 ((1 . 13) (3 . 15) (4 . 16) (6 . 19)) 5212 0.1996 9.5716 ((1 . 20) (2 . 21) (4 . 25) (5 . 24)) 5215 0.6618 9.9807 ((1 . 8) (2 . 10) (4 . 13) (6 . 14)) 5223 0.1996 8.2717 ((2 . 1) (3 . 2) (4 . 4) (6 . 5)) 5231 0.3879 6.8894 ((2 . 8) (4 . 9) (5 . 12) (6 . 15)) 5266 0.6641 8.4580 ((1 . 9) (2 . 10) (4 . 12) (6 . 16)) 5318 0.4616 15.8394 ((1 . 13) (3 . 14) (4 . 16) (6 . 17)) 5323 0.6632 9.1726 ((1 . 14) (3 . 15) (4 . 16) (6 . 17)) 5324 0.4662 9.1932 ((1 . 21) (4 . 26) (5 . 25) (6 . 27)) 5368 0.2488 6.5300 ((2 . 39) (4 . 40) (5 . 41) (6 . 44)) 5442 0.3879 7.7982 ((1 . 32) (3 . 33) (4 . 34) (6 . 35)) 5500 0.4667 6.0145 ((2 . 4) (3 . 6) (5 . 7) (6 . 10)) 5501 0.4656 10.8166 ((1 . 22) (2 . 24) (4 . 26) (5 . 25)) 5525 0.4664 8.2444 ((1 . 5) (2 . 7) (3 . 9) (4 . 10)) 5540 0.5287 5.6952 ((1 . 9) (2 . 10) (5 . 14) (6 . 17)) 5560 0.2487 12.0980 ((1 . 16) (2 . 17) (3 . 19) (4 . 21)) 5562 0.0999 11.4248 ((1 . 12) (2 . 14) (4 . 15) (6 . 16)) 5600 0.4665 7.7852 ((1 . 1) (2 . 3) (4 . 4) (6 . 7)) 5656 0.2970 6.3184 ((1 . 17) (3 . 19) (4 . 20) (5 . 23)) 5689 0.1996 8.1568 ((1 . 11) (3 . 12) (4 . 13) (6 . 14)) 5718 0.2488 6.1736 ((1 . 15) (2 . 16) (5 . 21) (6 . 22)) 5731 0.2488 6.3359 ((1 . 6) (2 . 7) (3 . 8) (5 . 11)) 5761 0.6607 10.5128 ((2 . 30) (3 . 29) (5 . 32) (6 . 33)) 5782 0.4668 3.6296 ((1 . 6) (3 . 7) (4 . 8) (6 . 9)) 5794 0.2488 7.5384 ((1 . 13) (2 . 15) (5 . 16) (6 . 17)) 5795 0.2488 7.2817 ((1 . 11) (3 . 14) (4 . 15) (5 . 16)) 5809 0.1996 9.4419 ((2 . 9) (4 . 10) (5 . 12) (6 . 11)) 5830 0.4662 9.0830 ((2 . 8) (3 . 9) (4 . 11) (5 . 13)) 5896 0.1996 5.5677 ((2 . 26) (4 . 27) (5 . 29) (6 . 30)) 5913 0.4665 7.6182 ((1 . 8) (2 . 10) (3 . 11) (6 . 14)) 5930 0.2969 9.3558 ((3 . 3) (4 . 5) (5 . 4) (6 . 6)) 5939 0.3878 8.1918 ((3 . 12) (4 . 13) (5 . 14) (6 . 15)) 5945 0.2970 7.9851 ((1 . 27) (3 . 30) (4 . 31) (5 . 32)) 5972 0.6663 5.1646 ((1 . 1) (3 . 4) (4 . 5) (5 . 7)) 6000 0.1996 12.1267 ((1 . 8) (3 . 11) (5 . 14) (6 . 16)) 6029 0.6634 9.0217 ((1 . 34) (3 . 37) (4 . 38) (6 . 39)) 6041 0.1665 9.8278 ((1 . 3) (3 . 4) (4 . 5) (6 . 6)) 6061 0.2970 8.3503 ((2 . 17) (3 . 18) (5 . 21) (6 . 22)) 6074 0.2969 9.2155 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 6075 0.6649 7.6638 ((1 . 18) (3 . 19) (5 . 21) (6 . 23)) 6079 0.4665 7.9077 ((1 . 18) (2 . 20) (5 . 21) (6 . 22)) 6089 0.2487 10.9525 ((3 . 13) (4 . 15) (5 . 17) (6 . 19)) 6192 0.6628 9.3747 ((1 . 4) (2 . 5) (3 . 7) (4 . 9)) 6228 0.6640 8.5948 ((1 . 8) (2 . 9) (4 . 10) (5 . 12)) 6294 0.2968 12.4848 ((1 . 5) (4 . 7) (5 . 9) (6 . 10)) 6306 0.2969 11.3268 ((1 . 18) (2 . 20) (5 . 22) (6 . 23)) 6344 0.2487 10.9812 ((1 . 9) (4 . 10) (5 . 12) (6 . 11)) 6348 0.2487 11.7673 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 6356 0.1996 7.6726 ((1 . 3) (2 . 6) (4 . 8) (5 . 9)) 6376 0.3878 8.1820 ((1 . 18) (3 . 20) (5 . 24) (6 . 23)) 6391 0.4667 6.1363 ((1 . 1) (3 . 2) (4 . 3) (6 . 4)) 6462 0.6653 7.2058 ((3 . 21) (4 . 23) (5 . 24) (6 . 26)) 6476 0.6662 5.3989 ((1 . 2) (2 . 4) (4 . 7) (5 . 9)) 6498 0.1996 6.0335 ((1 . 15) (2 . 16) (4 . 18) (5 . 19)) 6520 0.6634 9.0209 ((1 . 18) (3 . 21) (4 . 22) (6 . 23)) 6539 0.6640 8.5502 ((1 . 1) (2 . 2) (4 . 3) (6 . 7)) 6540 0.2970 7.7254 ((1 . 4) (2 . 6) (4 . 8) (5 . 9)) 6548 0.6652 7.3731 ((2 . 9) (3 . 10) (4 . 14) (6 . 15)) 6553 0.1996 7.6871 ((1 . 16) (2 . 17) (4 . 19) (5 . 20)) 6573 0.6656 6.7792 ((1 . 15) (2 . 17) (4 . 18) (5 . 19)) 6578 0.6643 8.3000 ((1 . 33) (2 . 37) (5 . 38) (6 . 39)) 6585 0.1665 8.5617 ((1 . 4) (3 . 5) (5 . 8) (6 . 9)) 6587 0.2487 11.2962 ((1 . 28) (4 . 32) (5 . 33) (6 . 35)) 6605 0.6641 8.4510 ((1 . 1) (3 . 4) (4 . 5) (6 . 6)) 6635 0.6663 5.0697 ((2 . 1) (4 . 3) (5 . 5) (6 . 6)) END