1005 25 0.5710 6.6768 ((1 . 6) (2 . 7) (4 . 9) (5 . 10)) 51 0.4454 6.7837 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 77 0.1664 10.0574 ((1 . 13) (2 . 15) (3 . 17) (4 . 16)) 91 0.4448 10.1178 ((3 . 32) (4 . 35) (5 . 36) (6 . 39)) 136 0.3790 5.7766 ((1 . 3) (2 . 5) (3 . 6) (5 . 9)) 155 0.4452 8.4758 ((1 . 2) (2 . 3) (5 . 5) (6 . 7)) 157 0.5681 10.9870 ((1 . 8) (5 . 12) (6 . 13) (8 . 17)) 300 0.1992 12.8266 ((1 . 2) (3 . 3) (4 . 4) (6 . 5)) 305 0.2477 10.9037 ((1 . 18) (2 . 19) (4 . 20) (8 . 25)) 317 0.1249 11.7882 ((3 . 1) (5 . 3) (6 . 4) (8 . 6)) 351 0.1992 13.6947 ((3 . 2) (5 . 5) (6 . 6) (8 . 8)) 360 0.3788 9.0612 ((1 . 9) (2 . 10) (4 . 13) (6 . 15)) 367 0.3784 11.9582 ((1 . 38) (2 . 40) (3 . 39) (4 . 41)) 442 0.5672 11.6774 ((1 . 10) (2 . 12) (5 . 13) (8 . 17)) 460 0.2477 9.0994 ((1 . 2) (2 . 3) (3 . 4) (6 . 9)) 472 0.4452 8.1914 ((1 . 25) (2 . 27) (3 . 28) (4 . 29)) 495 0.2944 11.2861 ((1 . 7) (2 . 8) (4 . 10) (5 . 12)) 553 0.3778 14.3218 ((3 . 4) (5 . 6) (6 . 7) (8 . 10)) 619 0.4445 11.1659 ((1 . 7) (2 . 8) (6 . 14) (8 . 17)) 624 0.2478 7.3644 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 635 0.3789 7.8215 ((1 . 5) (4 . 9) (5 . 11) (6 . 12)) 672 0.3789 7.9983 ((3 . 7) (4 . 8) (5 . 9) (6 . 12)) 678 0.2945 9.4978 ((2 . 22) (5 . 25) (6 . 27) (8 . 28)) 719 0.1332 10.1609 ((1 . 25) (2 . 27) (4 . 29) (6 . 31)) 729 0.5606 14.8604 ((3 . 22) (4 . 23) (6 . 26) (8 . 32)) 782 0.4446 10.8525 ((4 . 5) (5 . 6) (6 . 7) (8 . 11)) 792 0.4436 13.1155 ((3 . 5) (4 . 8) (6 . 10) (8 . 13)) 834 0.5702 8.4735 ((1 . 32) (2 . 33) (3 . 34) (8 . 40)) 901 0.4440 12.3749 ((2 . 1) (4 . 2) (5 . 3) (8 . 6)) 913 0.1664 8.2064 ((1 . 16) (2 . 17) (4 . 18) (6 . 21)) 943 0.1993 7.6442 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 945 0.2943 13.4105 ((3 . 21) (5 . 23) (6 . 24) (8 . 25)) 949 0.2944 10.9621 ((1 . 27) (5 . 33) (6 . 35) (8 . 37)) 1005 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 1007 0.3790 7.4913 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 1043 0.3787 10.6983 ((1 . 1) (4 . 5) (6 . 7) (8 . 11)) 1082 0.2477 11.2719 ((3 . 17) (4 . 18) (6 . 20) (8 . 22)) 1084 0.4905 10.3831 ((2 . 3) (4 . 5) (5 . 6) (8 . 15)) 1165 0.4454 6.8415 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 1167 0.2477 10.2086 ((4 . 25) (5 . 26) (6 . 28) (8 . 29)) 1204 0.3775 15.1582 ((2 . 22) (3 . 21) (6 . 27) (8 . 32)) 1211 0.1993 7.2228 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 1268 0.2944 11.3193 ((3 . 19) (4 . 20) (5 . 21) (8 . 26)) 1366 0.4452 8.4630 ((1 . 15) (2 . 16) (4 . 18) (8 . 25)) 1388 0.5671 11.7641 ((1 . 1) (3 . 3) (6 . 6) (8 . 11)) 1435 0.4449 9.7418 ((1 . 2) (2 . 3) (4 . 4) (8 . 9)) 1470 0.5696 9.4182 ((3 . 5) (4 . 6) (6 . 7) (8 . 10)) 1472 0.5710 6.4559 ((1 . 7) (2 . 8) (4 . 10) (5 . 11)) 1481 0.5699 8.9997 ((1 . 4) (2 . 5) (4 . 8) (6 . 9)) 1497 0.4904 10.5996 ((3 . 25) (5 . 26) (6 . 27) (8 . 28)) 1513 0.4899 11.5471 ((2 . 5) (3 . 7) (5 . 9) (8 . 14)) 1595 0.4451 8.9510 ((3 . 1) (4 . 2) (5 . 3) (8 . 9)) 1604 0.5697 9.2504 ((2 . 3) (4 . 6) (5 . 8) (6 . 9)) 1624 0.2945 7.9706 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 1643 0.4446 10.7617 ((1 . 12) (2 . 15) (6 . 19) (8 . 21)) 1690 0.5711 6.1231 ((1 . 18) (2 . 19) (4 . 22) (5 . 23)) 1724 0.2477 9.4171 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 1736 0.5693 9.7532 ((1 . 3) (4 . 6) (6 . 8) (8 . 11)) 1747 0.5702 8.4855 ((1 . 18) (2 . 19) (3 . 20) (5 . 23)) 1761 0.5703 8.4294 ((1 . 2) (2 . 3) (5 . 6) (6 . 8)) 1763 0.2478 6.3837 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 1776 0.5686 10.5621 ((1 . 15) (2 . 16) (3 . 18) (4 . 21)) 1778 0.5693 9.7876 ((1 . 3) (2 . 4) (4 . 6) (8 . 11)) 1793 0.5695 9.5411 ((2 . 12) (5 . 15) (6 . 16) (8 . 18)) 1796 0.3790 6.4489 ((3 . 1) (4 . 4) (6 . 6) (8 . 7)) 1896 0.2945 8.0293 ((1 . 23) (2 . 24) (5 . 28) (6 . 30)) 1897 0.3787 10.0764 ((1 . 39) (2 . 40) (5 . 44) (8 . 48)) 1913 0.2944 11.7416 ((1 . 21) (2 . 22) (4 . 24) (8 . 31)) 1944 0.5703 8.4420 ((1 . 16) (2 . 17) (4 . 20) (8 . 26)) 1992 0.2477 7.7889 ((1 . 2) (2 . 3) (4 . 5) (8 . 10)) 2006 0.4453 7.5173 ((1 . 18) (2 . 20) (5 . 23) (6 . 27)) 2045 0.1664 7.8333 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 2054 0.7140 4.4278 ((3 . 9) (4 . 10) (5 . 12) (6 . 15) (8 . 16)) 2067 0.5680 11.0544 ((1 . 44) (2 . 45) (3 . 47) (5 . 49)) 2072 0.4450 9.5636 ((1 . 5) (2 . 6) (4 . 8) (6 . 9)) 2081 0.2477 11.0289 ((1 . 20) (2 . 21) (3 . 22) (4 . 24)) 2094 0.1993 8.0504 ((3 . 3) (4 . 4) (5 . 6) (6 . 7)) 2114 0.5708 7.1255 ((1 . 28) (2 . 29) (5 . 33) (8 . 39)) 2117 0.2945 6.6928 ((1 . 16) (2 . 17) (4 . 21) (5 . 24)) 2122 0.5626 14.0861 ((1 . 14) (2 . 15) (3 . 16) (4 . 19)) 2166 0.4445 11.2391 ((1 . 12) (2 . 13) (5 . 14) (8 . 18)) 2179 0.2477 11.6131 ((2 . 13) (4 . 15) (5 . 16) (8 . 21)) 2249 0.1664 7.7246 ((1 . 4) (2 . 7) (4 . 8) (5 . 9)) 2269 0.5658 12.5508 ((1 . 6) (2 . 7) (4 . 9) (8 . 13)) 2279 0.5707 7.3787 ((1 . 10) (2 . 11) (3 . 12) (4 . 14)) 2295 0.3788 9.5290 ((4 . 3) (5 . 4) (6 . 5) (8 . 7)) 2298 0.5692 9.9698 ((1 . 6) (4 . 9) (6 . 13) (8 . 16)) 2340 0.2477 12.1624 ((2 . 9) (3 . 8) (4 . 10) (8 . 15)) 2342 0.4439 12.6088 ((3 . 12) (4 . 13) (5 . 14) (8 . 18)) 2344 0.5692 9.8890 ((1 . 1) (2 . 3) (4 . 5) (8 . 12)) 2364 0.3785 11.6462 ((1 . 5) (2 . 7) (4 . 8) (5 . 10)) 2409 0.2945 8.0785 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 2447 0.4442 11.8228 ((4 . 2) (5 . 3) (6 . 4) (8 . 8)) 2510 0.5707 7.4453 ((1 . 23) (2 . 25) (3 . 26) (6 . 29)) 2525 0.2945 10.0013 ((2 . 41) (3 . 42) (5 . 44) (6 . 46)) 2533 0.4901 11.1825 ((3 . 2) (4 . 1) (5 . 3) (8 . 7)) 2556 0.1992 10.8542 ((2 . 11) (4 . 12) (5 . 14) (6 . 15)) 2561 0.2945 10.1571 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 2619 0.2945 8.0968 ((1 . 2) (2 . 3) (3 . 4) (5 . 6)) 2733 0.5692 9.9384 ((3 . 7) (4 . 9) (5 . 12) (6 . 13)) 2753 0.5711 5.9058 ((3 . 1) (4 . 2) (5 . 3) (8 . 7)) 2773 0.4911 8.7591 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 2830 0.5668 11.9179 ((1 . 13) (3 . 14) (4 . 16) (6 . 18)) 2842 0.2477 13.2457 ((1 . 5) (3 . 7) (5 . 8) (8 . 12)) 2867 0.2945 6.7088 ((2 . 9) (3 . 10) (4 . 11) (5 . 13)) 2990 0.5692 9.9532 ((1 . 14) (2 . 15) (4 . 17) (5 . 18)) 2999 0.2477 12.3187 ((2 . 2) (3 . 1) (4 . 3) (5 . 5)) 3014 0.4452 8.6128 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 3019 0.2944 10.8833 ((2 . 9) (5 . 12) (6 . 13) (8 . 15)) 3041 0.5710 6.4436 ((1 . 16) (2 . 18) (3 . 19) (4 . 20)) 3070 0.1993 5.8094 ((1 . 32) (2 . 33) (3 . 34) (6 . 37)) 3103 0.5690 10.1400 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 3127 0.4450 9.6521 ((1 . 13) (3 . 16) (4 . 17) (5 . 18)) 3176 0.2477 9.4557 ((1 . 27) (2 . 29) (3 . 30) (6 . 32)) 3200 0.1664 11.9711 ((1 . 4) (3 . 7) (6 . 12) (8 . 14)) 3256 0.2477 11.3982 ((1 . 14) (2 . 16) (3 . 15) (8 . 27)) 3261 0.4448 10.3730 ((1 . 1) (2 . 2) (5 . 5) (8 . 10)) 3286 0.4449 9.9098 ((1 . 9) (3 . 11) (4 . 12) (6 . 15)) 3334 0.4454 6.3339 ((1 . 5) (2 . 6) (3 . 7) (4 . 9)) 3339 0.5707 7.4121 ((1 . 28) (4 . 34) (5 . 35) (6 . 36)) 3362 0.5712 5.8159 ((2 . 8) (3 . 9) (5 . 12) (6 . 13)) 3415 0.1664 7.7681 ((3 . 20) (4 . 21) (5 . 22) (6 . 23)) 3446 0.4454 6.9574 ((1 . 5) (3 . 7) (4 . 8) (5 . 9)) 3470 0.3789 8.9434 ((3 . 15) (4 . 16) (5 . 17) (6 . 18)) 3538 0.5706 7.7144 ((1 . 18) (2 . 20) (5 . 21) (6 . 22)) 3549 0.4453 7.3566 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 3561 0.2945 9.7759 ((2 . 20) (3 . 21) (5 . 23) (6 . 25)) 3585 0.4436 13.1210 ((3 . 15) (4 . 17) (5 . 18) (8 . 22)) 3613 0.4438 12.7909 ((3 . 27) (4 . 28) (6 . 30) (8 . 32)) 3651 0.2477 8.4500 ((1 . 3) (2 . 5) (5 . 7) (6 . 10)) 3658 0.2945 6.6910 ((3 . 14) (4 . 15) (5 . 16) (8 . 19)) 3661 0.3789 7.7796 ((4 . 18) (5 . 21) (6 . 22) (8 . 25)) 3663 0.4455 4.7956 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 3688 0.4441 12.1511 ((1 . 21) (2 . 23) (3 . 24) (8 . 33)) 3703 0.4448 10.2168 ((1 . 6) (2 . 7) (5 . 10) (6 . 12)) 3733 0.5631 13.8918 ((1 . 1) (4 . 4) (5 . 5) (8 . 9)) 3787 0.2945 10.1312 ((2 . 27) (3 . 26) (4 . 28) (5 . 30)) 3790 0.2945 5.9485 ((1 . 16) (2 . 18) (4 . 20) (6 . 23)) 3807 0.3789 8.3033 ((1 . 43) (2 . 46) (4 . 48) (6 . 51)) 3817 0.5558 16.4000 ((1 . 10) (3 . 12) (6 . 14) (8 . 17)) 3829 0.2944 11.4357 ((3 . 4) (5 . 7) (6 . 8) (8 . 13)) 3830 0.1992 9.3041 ((3 . 1) (4 . 2) (6 . 4) (8 . 6)) 3834 0.4910 9.1145 ((3 . 2) (4 . 3) (5 . 4) (8 . 7)) 3849 0.4454 6.8069 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 3942 0.4454 6.2634 ((1 . 2) (2 . 3) (3 . 4) (5 . 8)) 4005 0.2477 9.9647 ((1 . 12) (2 . 14) (3 . 16) (4 . 17)) 4009 0.5694 9.6495 ((2 . 15) (3 . 16) (4 . 17) (5 . 18)) 4011 0.5687 10.4453 ((3 . 2) (4 . 4) (5 . 5) (6 . 6)) 4019 0.2945 6.6231 ((1 . 37) (2 . 38) (3 . 40) (4 . 41)) 4030 0.4451 8.9606 ((3 . 10) (5 . 12) (6 . 13) (8 . 15)) 4034 0.2477 8.4200 ((3 . 1) (4 . 3) (6 . 7) (8 . 8)) 4037 0.3788 9.5431 ((1 . 1) (2 . 2) (6 . 5) (8 . 7)) 4062 0.4454 7.0337 ((4 . 44) (5 . 45) (6 . 47) (8 . 51)) 4067 0.1498 9.3352 ((2 . 14) (3 . 15) (5 . 17) (6 . 19)) 4077 0.3788 9.1565 ((4 . 14) (5 . 15) (6 . 16) (8 . 17)) 4082 0.4454 6.9229 ((4 . 1) (5 . 2) (6 . 3) (8 . 4)) 4112 0.4455 5.6034 ((1 . 3) (2 . 4) (3 . 7) (4 . 8)) 4115 0.2477 9.7687 ((4 . 2) (5 . 4) (6 . 7) (8 . 11)) 4134 0.3789 7.6940 ((3 . 30) (4 . 31) (5 . 32) (6 . 33)) 4140 0.5708 7.0766 ((1 . 21) (2 . 22) (4 . 25) (5 . 26)) 4151 0.2477 11.6464 ((2 . 3) (3 . 2) (4 . 4) (5 . 6)) 4190 0.5705 7.9737 ((1 . 1) (2 . 3) (4 . 4) (5 . 6)) 4195 0.4436 13.0656 ((3 . 1) (4 . 2) (6 . 3) (8 . 5)) 4209 0.4915 6.9869 ((1 . 1) (2 . 2) (3 . 3) (5 . 6)) 4216 0.1664 8.8572 ((3 . 12) (4 . 13) (5 . 14) (8 . 16)) 4254 0.3789 8.9425 ((3 . 10) (4 . 12) (6 . 14) (8 . 16)) 4265 0.2477 10.2885 ((1 . 23) (2 . 24) (3 . 25) (4 . 27)) 4266 0.1498 10.2780 ((1 . 11) (2 . 12) (3 . 14) (6 . 18)) 4281 0.5713 4.7702 ((1 . 4) (2 . 5) (3 . 7) (5 . 13)) 4284 0.2476 13.6612 ((1 . 3) (2 . 4) (5 . 7) (8 . 11)) 4326 0.2477 9.5158 ((1 . 2) (4 . 4) (5 . 5) (8 . 8)) 4332 0.1992 8.9377 ((1 . 2) (2 . 4) (3 . 3) (6 . 8)) 4338 0.2477 8.4382 ((1 . 1) (2 . 2) (4 . 5) (8 . 9)) 4352 0.4453 7.2854 ((1 . 9) (3 . 11) (4 . 12) (5 . 13)) 4380 0.1664 13.2415 ((1 . 2) (2 . 3) (4 . 6) (8 . 16)) 4408 0.2944 10.8204 ((3 . 20) (5 . 21) (6 . 22) (8 . 24)) 4470 0.1332 8.3253 ((1 . 19) (2 . 20) (4 . 22) (6 . 24)) 4492 0.4439 12.5945 ((2 . 5) (4 . 9) (5 . 10) (6 . 12)) 4504 0.3783 12.3945 ((1 . 4) (3 . 5) (5 . 10) (6 . 11)) 4505 0.1993 8.4429 ((1 . 25) (2 . 26) (3 . 27) (5 . 29)) 4563 0.4884 13.2791 ((2 . 4) (3 . 3) (4 . 5) (5 . 6)) 4579 0.4906 10.2388 ((1 . 17) (2 . 18) (4 . 21) (5 . 23)) 4589 0.2477 8.2972 ((3 . 20) (4 . 24) (6 . 26) (8 . 17)) 4607 0.3789 7.5999 ((4 . 16) (5 . 17) (6 . 18) (8 . 20)) 4621 0.1992 11.7532 ((3 . 1) (4 . 2) (5 . 5) (8 . 10)) 4671 0.4455 5.8678 ((2 . 8) (3 . 9) (4 . 10) (6 . 16)) 4674 0.1664 7.7309 ((1 . 1) (2 . 2) (4 . 4) (5 . 5)) 4678 0.3790 5.8186 ((2 . 6) (3 . 7) (4 . 8) (6 . 9)) 4713 0.4453 7.7681 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 4715 0.5699 9.0877 ((4 . 2) (5 . 4) (6 . 5) (8 . 9)) 4731 0.2476 13.6805 ((2 . 18) (3 . 17) (4 . 19) (5 . 20)) 4764 0.1993 5.5975 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 4888 0.5647 13.1548 ((1 . 14) (2 . 15) (5 . 19) (8 . 24)) 4889 0.5681 11.0001 ((1 . 11) (2 . 12) (3 . 13) (8 . 21)) 4932 0.1498 10.6640 ((1 . 5) (2 . 6) (4 . 7) (6 . 9)) 4961 0.2478 6.2939 ((1 . 14) (2 . 15) (3 . 16) (4 . 18)) 4963 0.5711 5.9655 ((3 . 7) (5 . 8) (6 . 9) (8 . 10)) 4978 0.3788 9.6548 ((1 . 22) (2 . 24) (4 . 26) (6 . 27)) 4998 0.1993 8.5522 ((1 . 19) (2 . 20) (4 . 21) (5 . 22)) 5000 0.5689 10.2653 ((3 . 31) (4 . 32) (6 . 33) (8 . 35)) 5044 0.4438 12.6288 ((1 . 1) (2 . 2) (5 . 4) (8 . 11)) 5053 0.3789 7.9883 ((1 . 10) (2 . 11) (4 . 13) (5 . 14)) 5065 0.2945 8.0564 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 5068 0.4895 12.0783 ((2 . 7) (3 . 6) (4 . 9) (5 . 11)) 5069 0.1664 7.7944 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 5073 0.4450 9.5728 ((1 . 34) (3 . 35) (4 . 37) (6 . 40)) 5080 0.2945 9.1577 ((2 . 2) (5 . 5) (6 . 6) (8 . 9)) 5092 0.5645 13.2608 ((3 . 15) (5 . 16) (6 . 17) (8 . 19)) 5132 0.4453 7.8326 ((1 . 18) (2 . 20) (6 . 23) (8 . 27)) 5134 0.2944 12.2088 ((1 . 6) (3 . 8) (4 . 9) (8 . 16)) 5145 0.2477 9.6305 ((1 . 3) (2 . 5) (5 . 9) (6 . 11)) 5167 0.2944 12.5135 ((3 . 6) (4 . 7) (5 . 8) (8 . 13)) 5192 0.2945 10.2276 ((1 . 9) (3 . 10) (4 . 11) (8 . 18)) 5212 0.4915 7.2648 ((1 . 2) (2 . 3) (3 . 4) (4 . 7)) 5215 0.5709 6.9798 ((1 . 10) (2 . 11) (4 . 13) (5 . 14)) 5223 0.4454 6.3478 ((1 . 1) (2 . 3) (3 . 4) (5 . 7)) 5231 0.3784 12.2679 ((2 . 8) (4 . 9) (6 . 15) (8 . 17)) 5266 0.3784 12.0240 ((1 . 13) (2 . 15) (6 . 18) (8 . 19)) 5285 0.1992 11.2002 ((3 . 2) (4 . 1) (5 . 3) (8 . 6)) 5318 0.4888 12.9232 ((3 . 12) (5 . 13) (6 . 14) (8 . 16)) 5323 0.3788 9.8303 ((4 . 15) (5 . 16) (6 . 17) (8 . 19)) 5324 0.5681 10.9797 ((1 . 20) (3 . 21) (6 . 26) (8 . 29)) 5344 0.2477 10.5889 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 5368 0.5697 9.3232 ((1 . 36) (2 . 37) (5 . 40) (6 . 44)) 5418 0.4450 9.5690 ((1 . 3) (2 . 5) (3 . 4) (6 . 10)) 5442 0.5669 11.8607 ((3 . 33) (5 . 35) (6 . 36) (8 . 39)) 5487 0.5696 9.3880 ((3 . 3) (4 . 5) (6 . 10) (8 . 12)) 5489 0.2944 12.2137 ((1 . 2) (2 . 5) (3 . 4) (8 . 15)) 5500 0.4444 11.5317 ((1 . 2) (2 . 3) (5 . 10) (8 . 15)) 5501 0.4426 14.5896 ((1 . 24) (2 . 25) (3 . 26) (8 . 34)) 5525 0.4453 7.4540 ((1 . 7) (3 . 9) (4 . 10) (5 . 11)) 5557 0.1993 7.9802 ((1 . 2) (2 . 3) (4 . 5) (6 . 7)) 5560 0.1664 13.5333 ((1 . 17) (3 . 19) (4 . 21) (6 . 24)) 5562 0.4887 12.9622 ((2 . 6) (3 . 5) (6 . 10) (8 . 15)) 5594 0.3787 10.3764 ((1 . 4) (4 . 7) (6 . 10) (8 . 13)) 5600 0.3788 9.9022 ((3 . 1) (4 . 4) (6 . 7) (8 . 10)) 5656 0.2945 9.7983 ((2 . 16) (3 . 17) (4 . 19) (5 . 20)) 5689 0.5705 7.8774 ((3 . 11) (4 . 12) (6 . 14) (8 . 18)) 5701 0.5687 10.4055 ((1 . 4) (2 . 5) (6 . 7) (8 . 10)) 5702 0.5701 8.7797 ((3 . 2) (4 . 3) (6 . 4) (8 . 8)) 5704 0.5690 10.1418 ((3 . 6) (4 . 7) (6 . 9) (8 . 10)) 5731 0.3789 9.0271 ((1 . 2) (2 . 3) (4 . 6) (6 . 8)) 5749 0.1993 7.9639 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 5761 0.4453 7.3446 ((1 . 31) (2 . 32) (4 . 33) (5 . 34)) 5770 0.4916 6.4275 ((1 . 9) (2 . 12) (5 . 18) (8 . 22)) 5771 0.2943 12.9379 ((1 . 13) (2 . 14) (4 . 16) (8 . 22)) 5782 0.2945 10.0717 ((1 . 26) (3 . 28) (5 . 31) (6 . 33)) 5795 0.3789 8.4160 ((3 . 2) (4 . 3) (5 . 5) (8 . 12)) 5827 0.0999 8.2494 ((1 . 4) (2 . 5) (3 . 6) (5 . 10)) 5865 0.2945 8.0486 ((1 . 4) (2 . 5) (3 . 6) (6 . 8)) 5896 0.1249 7.7725 ((1 . 28) (2 . 29) (3 . 30) (5 . 32)) 5913 0.4451 8.7325 ((1 . 5) (2 . 6) (4 . 8) (8 . 14)) 5914 0.1664 6.5620 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 5930 0.5685 10.6232 ((1 . 2) (3 . 3) (4 . 5) (6 . 6)) 5939 0.2477 8.4849 ((2 . 9) (4 . 12) (5 . 13) (6 . 15)) 5945 0.5710 6.6351 ((1 . 32) (2 . 33) (4 . 35) (8 . 39)) 5949 0.2477 12.9714 ((2 . 10) (3 . 11) (6 . 15) (8 . 19)) 5955 0.2477 9.2349 ((2 . 9) (3 . 10) (4 . 12) (5 . 13)) 6000 0.2946 5.2410 ((1 . 14) (2 . 15) (3 . 16) (4 . 18)) 6011 0.2477 10.2767 ((1 . 13) (2 . 14) (5 . 17) (8 . 21)) 6029 0.5621 14.3192 ((1 . 17) (2 . 18) (4 . 20) (8 . 26)) 6061 0.2478 7.4652 ((1 . 14) (2 . 15) (3 . 16) (5 . 18)) 6074 0.3787 10.1000 ((3 . 1) (4 . 3) (6 . 5) (8 . 7)) 6075 0.4444 11.3941 ((3 . 19) (4 . 22) (5 . 23) (8 . 29)) 6079 0.4453 7.6977 ((1 . 8) (2 . 9) (5 . 12) (6 . 14)) 6087 0.4445 11.1454 ((2 . 3) (3 . 2) (6 . 7) (8 . 11)) 6089 0.4404 16.7364 ((3 . 26) (5 . 30) (6 . 32) (8 . 34)) 6094 0.3788 9.7161 ((1 . 2) (2 . 3) (4 . 6) (6 . 8)) 6099 0.3785 11.8639 ((2 . 10) (4 . 12) (6 . 15) (8 . 19)) 6123 0.2945 8.3839 ((1 . 3) (2 . 4) (3 . 6) (5 . 7)) 6142 0.5713 4.9504 ((1 . 19) (2 . 20) (3 . 21) (4 . 22)) 6169 0.5682 10.8978 ((3 . 8) (4 . 9) (6 . 11) (8 . 12)) 6173 0.5704 8.1277 ((1 . 9) (2 . 11) (5 . 14) (6 . 16)) 6192 0.5673 11.5850 ((1 . 3) (3 . 4) (5 . 7) (6 . 9)) 6215 0.2945 8.1891 ((1 . 17) (2 . 18) (5 . 22) (6 . 23)) 6225 0.5688 10.3062 ((1 . 3) (2 . 4) (6 . 9) (8 . 11)) 6228 0.2946 5.1024 ((1 . 12) (2 . 14) (4 . 16) (5 . 18)) 6234 0.4915 7.1875 ((1 . 7) (2 . 9) (3 . 8) (5 . 14)) 6243 0.5701 8.6744 ((1 . 2) (2 . 3) (5 . 7) (8 . 11)) 6261 0.4910 9.3057 ((2 . 11) (3 . 14) (5 . 17) (6 . 18)) 6266 0.5694 9.6967 ((2 . 8) (3 . 9) (5 . 11) (6 . 12)) 6271 0.4863 15.0735 ((1 . 3) (2 . 4) (4 . 6) (8 . 13)) 6344 0.2478 7.2354 ((2 . 6) (5 . 9) (6 . 10) (8 . 11)) 6369 0.2477 9.3400 ((1 . 6) (2 . 7) (3 . 8) (5 . 10)) 6376 0.4448 10.0990 ((3 . 18) (4 . 20) (5 . 23) (8 . 29)) 6384 0.4909 9.5640 ((3 . 1) (4 . 2) (5 . 3) (8 . 6)) 6391 0.4894 12.2387 ((3 . 2) (4 . 3) (5 . 4) (8 . 7)) 6392 0.3790 6.8432 ((2 . 3) (3 . 4) (4 . 5) (6 . 6)) 6403 0.2942 14.0325 ((1 . 7) (3 . 9) (4 . 11) (8 . 16)) 6461 0.2478 7.1891 ((3 . 1) (4 . 2) (6 . 4) (8 . 7)) 6462 0.4449 9.6987 ((1 . 18) (3 . 19) (4 . 21) (5 . 23)) 6498 0.4448 10.1378 ((3 . 32) (4 . 35) (5 . 36) (6 . 39)) 6506 0.3786 10.9074 ((3 . 20) (4 . 21) (6 . 23) (8 . 24)) 6520 0.4450 9.3660 ((1 . 3) (2 . 6) (6 . 11) (8 . 12)) 6536 0.4436 13.0874 ((3 . 28) (4 . 29) (6 . 30) (8 . 34)) 6548 0.4453 8.0702 ((1 . 7) (3 . 8) (6 . 14) (8 . 15)) 6553 0.5707 7.3953 ((1 . 23) (2 . 24) (4 . 27) (5 . 28)) 6561 0.5598 15.1572 ((2 . 1) (4 . 2) (6 . 5) (8 . 11)) 6575 0.2945 6.3061 ((1 . 1) (2 . 2) (3 . 3) (5 . 6)) 6578 0.5710 6.4621 ((1 . 31) (2 . 32) (4 . 36) (6 . 39)) 6586 0.4448 10.1383 ((2 . 18) (3 . 17) (4 . 19) (5 . 22)) 6587 0.4906 10.1789 ((1 . 31) (3 . 32) (5 . 35) (6 . 36)) 6622 0.4445 11.0365 ((3 . 4) (4 . 5) (5 . 6) (8 . 11)) 6635 0.3788 9.5493 ((3 . 2) (4 . 3) (6 . 6) (8 . 10)) END