1796 25 0.5707 7.4919 ((2 . 9) (4 . 10) (5 . 12) (6 . 13)) 91 0.5684 10.7322 ((1 . 14) (2 . 15) (5 . 20) (6 . 22)) 136 0.2477 11.8193 ((4 . 2) (5 . 4) (6 . 6) (7 . 9)) 147 0.8550 5.8953 ((1 . 2) (2 . 3) (4 . 5) (5 . 7) (6 . 8) (7 . 9)) 155 0.5703 8.4328 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 157 0.2942 14.7025 ((2 . 10) (3 . 12) (5 . 15) (6 . 17)) 207 0.1992 13.1590 ((1 . 12) (2 . 14) (4 . 16) (5 . 17)) 259 0.9998 2.8146 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 293 0.2945 7.9069 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 317 0.7919 4.6159 ((1 . 3) (2 . 4) (4 . 6) (5 . 8) (6 . 9) (7 . 10)) 329 0.5702 8.5752 ((2 . 1) (4 . 3) (6 . 7) (7 . 8)) 351 0.5706 7.6490 ((1 . 5) (2 . 6) (4 . 8) (5 . 10)) 361 0.2477 7.6988 ((1 . 3) (4 . 6) (5 . 7) (6 . 9)) 433 0.4454 6.7864 ((2 . 2) (3 . 3) (4 . 4) (7 . 8)) 442 0.4890 12.7223 ((1 . 9) (2 . 11) (5 . 13) (7 . 15)) 495 0.2945 10.1076 ((2 . 2) (4 . 4) (5 . 6) (7 . 10)) 543 0.4904 10.6729 ((2 . 7) (3 . 9) (4 . 13) (5 . 14)) 553 0.5705 8.0558 ((1 . 1) (2 . 2) (6 . 4) (7 . 6)) 624 0.4451 9.0035 ((1 . 8) (5 . 14) (6 . 17) (7 . 18)) 678 0.6544 8.6993 ((2 . 25) (4 . 27) (5 . 28) (6 . 30) (7 . 33)) 782 0.5707 7.4754 ((1 . 2) (5 . 6) (6 . 7) (7 . 9)) 792 0.2944 12.5175 ((3 . 1) (4 . 3) (5 . 5) (7 . 8)) 818 0.2943 12.8749 ((2 . 3) (3 . 5) (5 . 9) (6 . 11)) 834 0.5680 11.0609 ((2 . 34) (4 . 35) (6 . 39) (7 . 40)) 901 0.5553 16.5301 ((1 . 8) (4 . 11) (5 . 14) (7 . 16)) 928 0.3789 8.4573 ((2 . 9) (4 . 11) (5 . 13) (7 . 17)) 945 0.5659 12.5081 ((1 . 13) (2 . 16) (5 . 20) (7 . 23)) 960 0.5594 15.2758 ((2 . 25) (3 . 26) (6 . 30) (7 . 31)) 978 0.4451 8.7636 ((1 . 11) (4 . 15) (5 . 17) (6 . 18)) 1005 0.3790 6.4489 ((1 . 3) (4 . 4) (6 . 6) (7 . 8)) 1007 0.2477 9.2691 ((1 . 4) (2 . 5) (3 . 6) (7 . 15)) 1082 0.4907 9.9427 ((1 . 25) (2 . 26) (4 . 27) (5 . 29)) 1084 0.4902 10.9926 ((2 . 5) (3 . 4) (4 . 6) (7 . 15)) 1124 0.5690 10.1000 ((4 . 11) (5 . 13) (6 . 15) (7 . 16)) 1165 0.4911 9.0737 ((1 . 11) (2 . 14) (5 . 16) (6 . 17)) 1204 0.4445 11.2989 ((4 . 13) (5 . 15) (6 . 18) (7 . 19)) 1210 0.5698 9.1185 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 1267 0.4450 9.5855 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 1268 0.5693 9.7505 ((3 . 12) (5 . 15) (6 . 16) (7 . 17)) 1301 0.4911 8.9664 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 1388 0.5547 16.6832 ((2 . 3) (4 . 6) (6 . 10) (7 . 12)) 1395 0.4450 9.4609 ((1 . 1) (2 . 2) (3 . 3) (7 . 6)) 1415 0.3788 9.8578 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 1470 0.5703 8.4480 ((1 . 7) (4 . 10) (5 . 11) (7 . 14)) 1472 0.5711 6.3398 ((2 . 10) (4 . 11) (5 . 12) (6 . 13)) 1497 0.5690 10.1573 ((1 . 5) (5 . 11) (6 . 12) (7 . 15)) 1508 0.4452 8.5119 ((1 . 1) (2 . 3) (4 . 4) (5 . 6)) 1513 0.1992 8.8426 ((2 . 4) (4 . 7) (5 . 9) (7 . 12)) 1595 0.4915 7.0944 ((3 . 2) (4 . 3) (5 . 4) (6 . 6)) 1604 0.1498 12.9118 ((1 . 6) (2 . 8) (6 . 13) (7 . 14)) 1690 0.2477 10.5798 ((1 . 12) (3 . 15) (6 . 22) (7 . 23)) 1731 0.4449 9.9825 ((1 . 7) (2 . 9) (3 . 10) (4 . 11)) 1763 0.5710 6.6641 ((1 . 4) (2 . 6) (6 . 11) (7 . 12)) 1793 0.4451 9.2001 ((2 . 1) (3 . 2) (5 . 5) (7 . 7)) 1796 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 1894 0.1992 13.3964 ((1 . 6) (3 . 8) (4 . 9) (7 . 15)) 1896 0.2944 11.1972 ((1 . 10) (2 . 12) (4 . 13) (5 . 15)) 1897 0.5699 9.0425 ((3 . 35) (4 . 36) (5 . 37) (6 . 38)) 1908 0.5700 8.8032 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 1957 0.2945 8.0999 ((2 . 10) (4 . 12) (5 . 14) (7 . 18)) 1987 0.5702 8.5808 ((3 . 8) (4 . 9) (5 . 10) (7 . 12)) 2048 0.3780 13.6367 ((3 . 2) (4 . 3) (6 . 5) (7 . 10)) 2054 0.5613 14.6291 ((2 . 7) (5 . 11) (6 . 15) (7 . 16)) 2067 0.4444 11.5460 ((3 . 1) (5 . 3) (6 . 5) (7 . 6)) 2081 0.1992 12.1200 ((2 . 13) (3 . 14) (4 . 16) (6 . 18)) 2114 0.5688 10.3238 ((2 . 30) (4 . 35) (5 . 37) (7 . 39)) 2117 0.4451 9.0885 ((3 . 19) (4 . 21) (5 . 24) (6 . 26)) 2118 0.5709 6.8959 ((2 . 6) (5 . 8) (6 . 9) (7 . 10)) 2122 0.3779 14.1454 ((1 . 16) (2 . 19) (3 . 20) (4 . 21)) 2166 0.1664 9.0269 ((1 . 2) (2 . 5) (5 . 10) (7 . 14)) 2179 0.4906 10.2121 ((1 . 15) (2 . 16) (3 . 18) (4 . 19)) 2233 0.8571 2.5679 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 2249 0.2945 10.3525 ((3 . 1) (4 . 2) (5 . 3) (7 . 8)) 2269 0.4454 5.9752 ((2 . 2) (3 . 3) (4 . 5) (7 . 9)) 2279 0.4902 11.0190 ((2 . 12) (3 . 14) (4 . 15) (6 . 21)) 2295 0.5611 14.6872 ((2 . 2) (5 . 5) (6 . 6) (7 . 7)) 2342 0.5677 11.3357 ((3 . 1) (5 . 3) (6 . 4) (7 . 5)) 2344 0.1663 13.6840 ((3 . 12) (4 . 15) (5 . 16) (7 . 21)) 2364 0.4444 11.3812 ((1 . 1) (2 . 2) (4 . 6) (6 . 8)) 2443 0.5687 10.4594 ((1 . 4) (5 . 7) (6 . 9) (7 . 10)) 2447 0.5525 17.2533 ((3 . 35) (4 . 37) (6 . 39) (7 . 41)) 2465 0.8568 3.6938 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 2510 0.5656 12.6832 ((2 . 18) (5 . 24) (6 . 26) (7 . 28)) 2525 0.5678 11.2010 ((1 . 39) (5 . 44) (6 . 46) (7 . 49)) 2533 0.4908 9.7174 ((1 . 2) (2 . 3) (5 . 7) (7 . 11)) 2544 0.1664 8.5229 ((2 . 19) (3 . 20) (4 . 21) (5 . 24)) 2591 0.4444 11.3982 ((2 . 36) (4 . 37) (5 . 39) (6 . 40)) 2627 0.5627 14.0679 ((1 . 53) (4 . 55) (5 . 56) (7 . 59)) 2634 0.3788 9.4853 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 2682 0.1992 11.9358 ((1 . 6) (4 . 10) (6 . 16) (7 . 18)) 2703 0.2945 7.4632 ((2 . 1) (3 . 2) (4 . 3) (6 . 6)) 2733 0.5678 11.2470 ((3 . 5) (4 . 6) (6 . 9) (7 . 12)) 2753 0.4441 12.1490 ((1 . 3) (4 . 7) (5 . 8) (6 . 10)) 2804 0.5694 9.7187 ((3 . 26) (4 . 27) (5 . 28) (7 . 35)) 2840 0.3788 9.1198 ((4 . 2) (5 . 3) (6 . 7) (7 . 10)) 2842 0.4451 8.7855 ((1 . 7) (2 . 8) (4 . 10) (5 . 12)) 2867 0.5708 7.0685 ((1 . 3) (2 . 5) (6 . 10) (7 . 11)) 2947 0.2945 8.4860 ((2 . 16) (3 . 17) (4 . 18) (5 . 19)) 2950 0.6305 7.3150 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 2990 0.5543 16.7867 ((2 . 13) (5 . 17) (6 . 18) (7 . 21)) 3014 0.5700 8.8189 ((1 . 17) (2 . 18) (3 . 19) (7 . 26)) 3041 0.3785 11.7048 ((1 . 17) (2 . 19) (3 . 20) (5 . 25)) 3070 0.3789 8.1119 ((4 . 30) (5 . 31) (6 . 34) (7 . 37)) 3084 0.5702 8.4967 ((2 . 1) (3 . 2) (5 . 4) (7 . 6)) 3127 0.4444 11.3935 ((1 . 7) (2 . 9) (5 . 16) (6 . 18)) 3197 0.2477 7.8634 ((1 . 6) (2 . 7) (6 . 11) (7 . 13)) 3200 0.3788 9.2673 ((1 . 2) (2 . 5) (4 . 7) (7 . 12)) 3202 0.5710 6.6749 ((3 . 1) (4 . 3) (6 . 5) (7 . 6)) 3212 0.3787 10.3321 ((1 . 1) (3 . 6) (4 . 7) (7 . 11)) 3286 0.2477 11.7745 ((2 . 6) (3 . 8) (5 . 11) (6 . 12)) 3334 0.5709 6.7994 ((2 . 9) (5 . 11) (6 . 12) (7 . 13)) 3339 0.4452 8.2474 ((1 . 14) (5 . 20) (6 . 23) (7 . 24)) 3358 0.2943 12.9268 ((2 . 3) (3 . 5) (5 . 9) (6 . 11)) 3391 0.2477 8.7788 ((3 . 2) (4 . 3) (6 . 5) (7 . 7)) 3415 0.1993 7.9195 ((1 . 19) (2 . 20) (4 . 21) (6 . 24)) 3446 0.5707 7.4624 ((2 . 8) (4 . 9) (5 . 10) (6 . 12)) 3470 0.7127 6.9258 ((1 . 9) (2 . 10) (4 . 11) (5 . 12) (6 . 14)) 3495 0.1664 11.3187 ((1 . 6) (4 . 9) (5 . 10) (7 . 14)) 3496 0.4447 10.4271 ((2 . 21) (4 . 24) (6 . 25) (7 . 27)) 3538 0.2477 12.5963 ((1 . 13) (2 . 16) (4 . 17) (7 . 22)) 3561 0.3788 10.0021 ((3 . 23) (4 . 25) (6 . 29) (7 . 32)) 3613 0.5702 8.5948 ((1 . 39) (4 . 42) (5 . 43) (7 . 44)) 3658 0.2945 10.2957 ((1 . 10) (2 . 12) (4 . 13) (5 . 15)) 3661 0.7133 6.1226 ((3 . 6) (4 . 17) (5 . 18) (6 . 21) (7 . 22)) 3663 0.4913 7.9914 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 3733 0.1992 10.9413 ((4 . 2) (5 . 4) (6 . 5) (7 . 7)) 3778 0.2477 8.9300 ((2 . 17) (3 . 19) (4 . 20) (5 . 21)) 3787 0.5708 7.3192 ((2 . 8) (4 . 10) (5 . 11) (7 . 16)) 3817 0.5676 11.3573 ((1 . 8) (5 . 13) (6 . 14) (7 . 17)) 3830 0.1992 8.7005 ((3 . 2) (4 . 3) (5 . 5) (7 . 6)) 3834 0.3785 11.6168 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 3870 0.4907 10.1045 ((1 . 4) (2 . 6) (5 . 11) (7 . 14)) 3938 0.1992 10.6267 ((2 . 1) (3 . 3) (4 . 5) (7 . 12)) 3968 0.5654 12.7618 ((3 . 2) (5 . 4) (6 . 7) (7 . 8)) 3986 0.1992 10.5648 ((1 . 10) (3 . 16) (4 . 19) (5 . 20)) 4009 0.4898 11.6160 ((3 . 17) (4 . 18) (5 . 20) (7 . 25)) 4011 0.5710 6.4627 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 4030 0.5687 10.4022 ((1 . 9) (4 . 11) (5 . 13) (7 . 15)) 4037 0.5709 6.8187 ((3 . 4) (5 . 6) (6 . 7) (7 . 8)) 4062 0.4440 12.3340 ((2 . 45) (4 . 47) (6 . 52) (7 . 53)) 4077 0.5684 10.6765 ((1 . 6) (4 . 9) (5 . 12) (7 . 14)) 4115 0.4449 9.7970 ((1 . 11) (2 . 12) (4 . 14) (7 . 20)) 4134 0.5701 8.6971 ((1 . 23) (2 . 24) (4 . 25) (6 . 28)) 4151 0.4890 12.6604 ((1 . 1) (2 . 2) (3 . 4) (6 . 8)) 4195 0.5702 8.4669 ((1 . 11) (4 . 12) (5 . 13) (7 . 19)) 4210 0.2945 10.0142 ((1 . 1) (2 . 3) (5 . 7) (7 . 9)) 4216 0.7132 6.2168 ((3 . 12) (4 . 13) (5 . 14) (6 . 15) (7 . 16)) 4226 0.4446 10.7421 ((1 . 17) (2 . 20) (3 . 23) (5 . 27)) 4242 0.6305 7.3327 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8)) 4243 0.4454 6.9105 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 4254 0.5649 13.0347 ((1 . 7) (3 . 10) (5 . 14) (7 . 20)) 4265 0.2742 9.3520 ((2 . 27) (3 . 28) (4 . 30) (5 . 31) (6 . 25) (7 . 22)) 4266 0.5634 13.7422 ((1 . 9) (4 . 14) (5 . 17) (6 . 18)) 4281 0.4441 12.1065 ((1 . 11) (2 . 13) (4 . 14) (5 . 16)) 4299 0.2477 10.7564 ((1 . 5) (4 . 8) (5 . 10) (7 . 13)) 4326 0.5703 8.2890 ((1 . 4) (2 . 5) (3 . 6) (7 . 16)) 4352 0.5710 6.5257 ((2 . 12) (4 . 13) (5 . 14) (6 . 15)) 4386 0.6540 8.9779 ((1 . 7) (2 . 11) (3 . 12) (4 . 13) (6 . 17)) 4408 0.5651 12.9277 ((1 . 20) (2 . 21) (3 . 23) (4 . 24)) 4495 0.2477 11.1279 ((2 . 1) (5 . 5) (6 . 7) (7 . 9)) 4516 0.2477 10.7023 ((2 . 3) (4 . 5) (6 . 9) (7 . 11)) 4538 0.2477 10.9386 ((2 . 27) (4 . 29) (6 . 36) (7 . 39)) 4560 0.2477 7.6540 ((2 . 5) (4 . 7) (5 . 10) (7 . 12)) 4562 0.5691 10.0102 ((2 . 21) (3 . 23) (5 . 26) (6 . 30)) 4563 0.5710 6.6008 ((2 . 27) (5 . 30) (6 . 32) (7 . 33)) 4579 0.5695 9.5916 ((2 . 1) (3 . 2) (6 . 5) (7 . 6)) 4607 0.5686 10.5232 ((3 . 13) (5 . 16) (6 . 17) (7 . 18)) 4621 0.4910 9.1953 ((1 . 1) (2 . 2) (4 . 5) (6 . 10)) 4678 0.2943 13.1690 ((1 . 3) (2 . 5) (4 . 8) (5 . 9)) 4715 0.4912 8.5479 ((1 . 9) (2 . 10) (4 . 13) (5 . 14)) 4731 0.2944 11.6320 ((3 . 12) (4 . 15) (5 . 16) (7 . 19)) 4764 0.4448 10.1221 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 4783 0.5636 13.6715 ((1 . 6) (4 . 8) (5 . 9) (6 . 10)) 4817 0.1498 11.9088 ((3 . 6) (4 . 7) (5 . 9) (6 . 11)) 4886 0.2477 8.2819 ((1 . 3) (2 . 6) (3 . 7) (5 . 8)) 4889 0.5638 13.5713 ((1 . 19) (2 . 20) (4 . 23) (5 . 24)) 4961 0.3788 9.7216 ((1 . 4) (4 . 8) (5 . 11) (6 . 16)) 4963 0.4445 11.0985 ((1 . 5) (4 . 8) (5 . 9) (6 . 10)) 4998 0.1992 10.8113 ((1 . 24) (2 . 27) (4 . 28) (5 . 30)) 5016 0.5699 9.0462 ((4 . 6) (5 . 7) (6 . 8) (7 . 10)) 5053 0.2943 13.7954 ((2 . 7) (4 . 8) (6 . 13) (7 . 14)) 5068 0.4445 11.1116 ((1 . 21) (4 . 25) (5 . 26) (6 . 28)) 5069 0.2477 8.7116 ((2 . 1) (3 . 3) (5 . 6) (7 . 14)) 5073 0.5692 9.9353 ((2 . 33) (5 . 38) (6 . 40) (7 . 41)) 5080 0.5702 8.5343 ((1 . 9) (2 . 11) (4 . 13) (5 . 14)) 5092 0.4443 11.6956 ((2 . 11) (4 . 13) (5 . 15) (6 . 16)) 5103 0.4452 8.6387 ((2 . 5) (3 . 7) (6 . 11) (7 . 12)) 5132 0.4434 13.3412 ((4 . 27) (5 . 29) (6 . 33) (7 . 34)) 5134 0.2945 8.9913 ((1 . 5) (3 . 8) (5 . 11) (7 . 16)) 5192 0.5689 10.2389 ((1 . 13) (4 . 18) (5 . 19) (7 . 23)) 5215 0.1498 14.1046 ((2 . 6) (4 . 8) (6 . 13) (7 . 14)) 5223 0.4909 9.3796 ((1 . 4) (2 . 5) (5 . 9) (7 . 14)) 5266 0.1992 11.5904 ((2 . 12) (5 . 16) (6 . 18) (7 . 19)) 5285 0.2477 11.5605 ((3 . 1) (4 . 3) (5 . 4) (6 . 6)) 5318 0.5713 4.5222 ((3 . 13) (4 . 14) (5 . 15) (6 . 16)) 5323 0.1664 11.4712 ((2 . 12) (3 . 13) (4 . 14) (5 . 15)) 5324 0.5659 12.4828 ((1 . 13) (5 . 17) (6 . 19) (7 . 21)) 5442 0.5660 12.4496 ((2 . 34) (3 . 35) (6 . 39) (7 . 40)) 5487 0.4416 15.6438 ((1 . 1) (3 . 5) (4 . 8) (6 . 10)) 5501 0.3789 8.7623 ((2 . 21) (4 . 22) (5 . 23) (6 . 26)) 5525 0.5710 6.4851 ((2 . 10) (4 . 11) (5 . 12) (6 . 13)) 5560 0.4836 16.6951 ((1 . 8) (3 . 10) (5 . 14) (7 . 16)) 5562 0.4909 9.4988 ((1 . 12) (2 . 13) (5 . 18) (6 . 20)) 5594 0.2478 6.5688 ((2 . 7) (3 . 8) (4 . 10) (5 . 13)) 5601 0.4890 12.6304 ((2 . 4) (3 . 6) (5 . 9) (6 . 11)) 5648 0.5698 9.2345 ((1 . 2) (2 . 4) (6 . 7) (7 . 8)) 5656 0.5691 10.0260 ((4 . 17) (5 . 19) (6 . 20) (7 . 25)) 5689 0.5710 6.5691 ((1 . 3) (5 . 17) (6 . 18) (7 . 19)) 5702 0.5698 9.0954 ((4 . 13) (5 . 14) (6 . 15) (7 . 16)) 5770 0.2945 9.6676 ((1 . 5) (2 . 7) (4 . 10) (7 . 19)) 5771 0.3788 10.0123 ((3 . 2) (5 . 7) (6 . 8) (7 . 10)) 5782 0.5682 10.9111 ((2 . 2) (4 . 4) (6 . 8) (7 . 9)) 5795 0.5545 16.7532 ((2 . 7) (5 . 11) (6 . 14) (7 . 15)) 5809 0.1992 14.3540 ((1 . 8) (2 . 10) (3 . 11) (6 . 16)) 5827 0.2478 6.9295 ((1 . 18) (2 . 20) (3 . 21) (4 . 22)) 5830 0.1992 11.7075 ((4 . 5) (5 . 11) (6 . 15) (7 . 16)) 5904 0.5683 10.7985 ((2 . 2) (4 . 3) (6 . 6) (7 . 8)) 5939 0.2477 12.8529 ((2 . 1) (3 . 3) (5 . 5) (7 . 12)) 5945 0.5694 9.6951 ((2 . 27) (4 . 30) (5 . 31) (6 . 34)) 5949 0.5705 8.0599 ((2 . 2) (3 . 3) (5 . 8) (7 . 11)) 5955 0.5687 10.4490 ((4 . 10) (5 . 12) (6 . 13) (7 . 18)) 6000 0.4883 13.4460 ((1 . 5) (3 . 7) (4 . 8) (6 . 11)) 6029 0.5699 9.0888 ((1 . 22) (3 . 25) (5 . 28) (7 . 32)) 6033 0.3790 5.8917 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6041 0.1993 7.8647 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 6074 0.2477 7.8020 ((2 . 5) (4 . 7) (5 . 10) (7 . 14)) 6075 0.2477 10.0171 ((1 . 18) (2 . 19) (5 . 23) (7 . 29)) 6079 0.5674 11.5147 ((1 . 12) (2 . 14) (3 . 15) (5 . 18)) 6087 0.5703 8.3831 ((1 . 2) (3 . 4) (6 . 9) (7 . 11)) 6169 0.5695 9.5049 ((4 . 4) (5 . 7) (6 . 8) (7 . 9)) 6192 0.3789 8.7930 ((2 . 4) (4 . 7) (5 . 9) (7 . 12)) 6228 0.1992 12.3890 ((1 . 8) (3 . 10) (6 . 16) (7 . 18)) 6243 0.4450 9.6562 ((1 . 1) (2 . 5) (5 . 9) (7 . 11)) 6258 0.5696 9.3919 ((2 . 1) (3 . 2) (4 . 5) (5 . 8)) 6261 0.4434 13.3226 ((1 . 18) (5 . 23) (6 . 24) (7 . 25)) 6266 0.3784 12.1466 ((1 . 2) (5 . 7) (6 . 9) (7 . 12)) 6268 0.5712 5.5855 ((2 . 9) (4 . 11) (5 . 12) (6 . 13)) 6270 0.2476 13.6534 ((1 . 14) (2 . 16) (4 . 19) (6 . 23)) 6329 0.5712 5.6527 ((4 . 2) (5 . 3) (6 . 4) (7 . 6)) 6348 0.4451 9.2274 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 6356 0.4450 9.4893 ((2 . 2) (3 . 3) (4 . 5) (7 . 10)) 6359 0.5703 8.2827 ((1 . 1) (2 . 2) (4 . 4) (5 . 6)) 6376 0.2945 9.7844 ((1 . 18) (2 . 20) (4 . 23) (7 . 30)) 6384 0.5672 11.6851 ((2 . 2) (4 . 3) (5 . 4) (7 . 7)) 6391 0.4917 4.7279 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 6392 0.2477 9.8057 ((1 . 2) (2 . 4) (3 . 5) (4 . 6)) 6476 0.5689 10.2625 ((1 . 2) (2 . 5) (3 . 6) (4 . 7)) 6498 0.5692 9.9413 ((1 . 22) (3 . 26) (4 . 27) (6 . 30)) 6506 0.2476 13.4162 ((2 . 23) (3 . 24) (4 . 25) (5 . 27)) 6520 0.4452 8.3639 ((4 . 18) (5 . 21) (6 . 22) (7 . 23)) 6536 0.5700 8.8055 ((1 . 22) (4 . 24) (5 . 25) (7 . 27)) 6585 0.5587 15.5168 ((1 . 4) (2 . 5) (3 . 7) (4 . 9)) 6586 0.1663 14.8989 ((1 . 17) (2 . 19) (4 . 22) (5 . 23)) 6605 0.2495 7.0339 ((1 . 1) (2 . 2) (4 . 5) (5 . 4) (6 . 7) (7 . 6)) 6622 0.5681 11.0126 ((2 . 4) (3 . 5) (6 . 10) (7 . 11)) 6635 0.4906 10.2044 ((2 . 2) (3 . 3) (5 . 6) (6 . 9)) END