2519 25 0.4648 12.3654 ((1 . 4) (2 . 6) (3 . 5) (6 . 12)) 51 0.6653 7.2710 ((2 . 1) (3 . 3) (4 . 4) (5 . 7)) 62 0.1499 12.1623 ((1 . 9) (2 . 12) (4 . 15) (5 . 17)) 136 0.6650 7.5562 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 157 0.4659 10.2545 ((1 . 6) (3 . 10) (4 . 12) (5 . 16)) 161 0.2488 8.7731 ((1 . 1) (2 . 6) (3 . 7) (5 . 10)) 293 0.6617 10.0325 ((1 . 1) (3 . 3) (4 . 4) (6 . 5)) 305 0.2969 10.3115 ((1 . 8) (2 . 9) (3 . 10) (4 . 13)) 315 0.1996 9.6600 ((2 . 3) (3 . 2) (5 . 8) (6 . 7)) 350 0.2488 8.5356 ((1 . 9) (2 . 13) (3 . 14) (5 . 20)) 360 0.3876 10.5876 ((2 . 10) (4 . 13) (5 . 14) (6 . 15)) 361 0.2487 9.7348 ((1 . 5) (4 . 7) (5 . 10) (6 . 9)) 472 0.1996 9.3742 ((3 . 23) (4 . 24) (5 . 25) (6 . 28)) 541 0.1996 11.9976 ((1 . 1) (2 . 3) (4 . 6) (5 . 7)) 553 0.1996 10.5854 ((1 . 6) (3 . 9) (4 . 10) (6 . 14)) 609 0.6617 10.0276 ((2 . 1) (3 . 2) (4 . 4) (6 . 7)) 624 0.6592 11.1135 ((1 . 21) (2 . 22) (5 . 26) (6 . 27)) 672 0.6480 14.1419 ((1 . 12) (3 . 17) (4 . 19) (5 . 21)) 729 0.1996 11.7900 ((1 . 8) (2 . 9) (3 . 12) (6 . 14)) 792 0.1996 10.5302 ((1 . 1) (3 . 2) (4 . 3) (6 . 8)) 818 0.6653 7.2746 ((1 . 5) (2 . 8) (3 . 9) (4 . 11)) 834 0.3875 11.1475 ((1 . 38) (3 . 41) (4 . 43) (6 . 44)) 928 0.6633 9.0436 ((2 . 12) (3 . 13) (4 . 15) (6 . 17)) 937 0.2969 9.1818 ((1 . 2) (2 . 4) (3 . 3) (4 . 6)) 943 0.6641 8.4723 ((2 . 12) (3 . 10) (4 . 13) (5 . 15)) 945 0.1996 12.9262 ((1 . 20) (2 . 22) (3 . 21) (6 . 25)) 949 0.6651 7.5336 ((2 . 32) (3 . 33) (4 . 35) (6 . 37)) 960 0.2487 10.5701 ((1 . 7) (2 . 8) (5 . 12) (6 . 13)) 978 0.2969 9.4910 ((1 . 8) (2 . 10) (3 . 11) (4 . 12)) 980 0.6635 8.9127 ((2 . 3) (3 . 4) (4 . 6) (6 . 8)) 1043 0.3878 8.9444 ((1 . 7) (2 . 10) (5 . 14) (6 . 15)) 1082 0.1996 11.6777 ((2 . 4) (3 . 5) (4 . 7) (5 . 8)) 1084 0.1333 10.0169 ((1 . 6) (2 . 11) (4 . 15) (5 . 17)) 1167 0.3877 9.8067 ((1 . 26) (2 . 27) (3 . 28) (4 . 29)) 1204 0.3865 14.4974 ((1 . 18) (2 . 20) (3 . 21) (6 . 27)) 1210 0.6596 10.9799 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 1217 0.3875 11.1537 ((1 . 2) (2 . 5) (4 . 8) (5 . 11)) 1233 0.6638 8.7085 ((1 . 13) (2 . 17) (3 . 19) (4 . 21)) 1267 0.2968 12.8074 ((1 . 23) (2 . 24) (3 . 25) (4 . 27)) 1345 0.3872 12.4692 ((1 . 15) (2 . 16) (3 . 17) (4 . 19)) 1366 0.3875 11.1670 ((2 . 12) (3 . 13) (5 . 17) (6 . 18)) 1388 0.6571 11.8600 ((2 . 4) (4 . 7) (5 . 8) (6 . 11)) 1447 0.1996 10.7669 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 1470 0.6629 9.3686 ((1 . 13) (3 . 15) (4 . 16) (6 . 18)) 1481 0.4667 5.9156 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 1513 0.1665 11.5289 ((2 . 8) (4 . 9) (5 . 13) (6 . 14)) 1591 0.1996 10.2047 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 1595 0.4663 8.8869 ((1 . 2) (3 . 4) (4 . 6) (5 . 8)) 1604 0.6622 9.7271 ((2 . 1) (4 . 6) (5 . 7) (6 . 8)) 1624 0.1996 8.4478 ((1 . 1) (2 . 2) (5 . 8) (6 . 10)) 1690 0.4661 9.4201 ((1 . 12) (3 . 15) (5 . 21) (6 . 22)) 1724 0.1499 8.2243 ((1 . 1) (3 . 5) (4 . 6) (6 . 8)) 1731 0.3876 10.4599 ((2 . 3) (3 . 5) (4 . 7) (5 . 8)) 1736 0.2487 10.7297 ((1 . 6) (3 . 8) (4 . 9) (5 . 12)) 1738 0.6480 14.1315 ((1 . 10) (2 . 14) (3 . 16) (6 . 20)) 1761 0.2487 9.9424 ((2 . 9) (3 . 10) (4 . 12) (5 . 13)) 1763 0.6632 9.1667 ((2 . 10) (3 . 11) (4 . 12) (5 . 13)) 1776 0.4662 9.0394 ((1 . 11) (3 . 13) (5 . 20) (6 . 21)) 1793 0.1499 8.1128 ((2 . 8) (3 . 7) (4 . 9) (5 . 11)) 1894 0.3875 11.1017 ((2 . 12) (4 . 15) (5 . 18) (6 . 16)) 1896 0.6633 9.1012 ((1 . 2) (2 . 3) (3 . 4) (6 . 10)) 1897 0.1333 9.6499 ((2 . 34) (3 . 36) (5 . 39) (6 . 38)) 1908 0.1996 11.2828 ((2 . 3) (3 . 4) (4 . 5) (6 . 6)) 1909 0.6598 10.8671 ((2 . 29) (3 . 30) (4 . 32) (6 . 36)) 1944 0.6545 12.6252 ((1 . 14) (4 . 20) (5 . 23) (6 . 25)) 1957 0.6632 9.1364 ((2 . 13) (3 . 14) (4 . 16) (6 . 18)) 1961 0.3872 12.3156 ((1 . 12) (3 . 13) (5 . 16) (6 . 18)) 1967 0.2488 8.6286 ((2 . 7) (3 . 8) (5 . 10) (6 . 11)) 1987 0.6639 8.6593 ((1 . 8) (3 . 9) (4 . 10) (6 . 11)) 1992 0.2969 10.6391 ((2 . 9) (3 . 8) (4 . 10) (5 . 14)) 2067 0.3879 7.3924 ((1 . 1) (2 . 2) (3 . 3) (6 . 6)) 2081 0.6514 13.3867 ((1 . 18) (4 . 22) (5 . 23) (6 . 24)) 2094 0.3876 10.4652 ((1 . 1) (3 . 2) (4 . 3) (6 . 4)) 2097 0.3871 12.9167 ((1 . 10) (2 . 14) (5 . 18) (6 . 20)) 2114 0.6615 10.1316 ((1 . 33) (2 . 34) (3 . 35) (4 . 37)) 2117 0.2968 11.6184 ((1 . 19) (2 . 23) (3 . 24) (4 . 26)) 2118 0.1499 7.5005 ((2 . 4) (4 . 6) (5 . 7) (6 . 8)) 2122 0.2969 9.9999 ((1 . 2) (2 . 1) (5 . 8) (6 . 9)) 2179 0.1499 8.2072 ((1 . 2) (2 . 4) (3 . 3) (5 . 9)) 2249 0.3865 14.6495 ((1 . 10) (2 . 12) (3 . 14) (6 . 19)) 2279 0.3873 12.1965 ((1 . 6) (3 . 12) (4 . 14) (5 . 19)) 2298 0.6612 10.2812 ((2 . 4) (3 . 5) (4 . 7) (6 . 9)) 2340 0.2969 10.4220 ((2 . 9) (4 . 10) (5 . 13) (6 . 12)) 2342 0.6612 10.2801 ((1 . 11) (3 . 13) (4 . 14) (6 . 16)) 2344 0.6631 9.2254 ((1 . 4) (2 . 6) (4 . 9) (5 . 10)) 2364 0.2970 6.8863 ((1 . 2) (2 . 7) (3 . 6) (5 . 12)) 2393 0.1996 10.2449 ((2 . 15) (4 . 17) (5 . 18) (6 . 19)) 2410 0.4665 7.6380 ((2 . 13) (3 . 14) (4 . 15) (5 . 17)) 2423 0.1996 10.7880 ((1 . 13) (2 . 14) (4 . 18) (5 . 19)) 2443 0.1499 10.2329 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 2447 0.6582 11.4718 ((2 . 30) (3 . 32) (4 . 34) (6 . 37)) 2462 0.6650 7.6397 ((1 . 5) (2 . 7) (4 . 10) (5 . 12)) 2510 0.3877 10.0520 ((1 . 26) (2 . 27) (3 . 28) (4 . 29)) 2519 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 2525 0.4661 9.4875 ((1 . 42) (3 . 44) (5 . 48) (6 . 49)) 2552 0.6627 9.4815 ((1 . 2) (2 . 3) (3 . 4) (4 . 6)) 2556 0.2488 9.2944 ((3 . 12) (4 . 14) (5 . 16) (6 . 17)) 2627 0.2970 4.4061 ((1 . 55) (2 . 65) (4 . 61) (5 . 64)) 2634 0.6543 12.6711 ((1 . 5) (3 . 8) (4 . 9) (6 . 12)) 2675 0.3880 5.0617 ((1 . 2) (2 . 3) (5 . 8) (6 . 9)) 2682 0.1499 15.9036 ((2 . 3) (3 . 4) (5 . 7) (6 . 8)) 2731 0.2969 9.9865 ((1 . 2) (2 . 4) (3 . 3) (4 . 6)) 2733 0.6625 9.5923 ((2 . 8) (3 . 9) (4 . 12) (6 . 14)) 2753 0.6586 11.3412 ((1 . 5) (3 . 7) (4 . 8) (6 . 10)) 2773 0.6600 10.7811 ((1 . 4) (2 . 6) (3 . 7) (4 . 8)) 2804 0.3874 11.3699 ((1 . 35) (2 . 36) (4 . 37) (5 . 40)) 2830 0.1499 14.6473 ((1 . 12) (2 . 15) (3 . 14) (6 . 18)) 2840 0.3880 5.6929 ((2 . 1) (3 . 3) (4 . 7) (5 . 8)) 2929 0.4667 5.6543 ((2 . 36) (3 . 37) (5 . 40) (6 . 41)) 2940 0.6640 8.5757 ((1 . 2) (2 . 5) (4 . 9) (6 . 10)) 2999 0.6642 8.3567 ((2 . 4) (3 . 3) (4 . 5) (5 . 7)) 3014 0.1665 14.8811 ((3 . 19) (4 . 21) (5 . 23) (6 . 26)) 3019 0.1499 6.9394 ((1 . 8) (2 . 11) (3 . 12) (6 . 15)) 3041 0.6639 8.6590 ((2 . 14) (3 . 15) (4 . 17) (6 . 20)) 3070 0.1996 8.3859 ((2 . 32) (3 . 31) (4 . 34) (6 . 37)) 3084 0.6629 9.3142 ((2 . 15) (3 . 16) (4 . 18) (6 . 20)) 3103 0.2970 7.2716 ((2 . 5) (3 . 6) (5 . 11) (6 . 12)) 3127 0.6593 11.0631 ((1 . 12) (2 . 13) (3 . 16) (4 . 17)) 3190 0.6636 8.8502 ((2 . 3) (3 . 4) (4 . 7) (6 . 10)) 3197 0.6608 10.4458 ((2 . 21) (3 . 22) (4 . 23) (6 . 27)) 3200 0.6569 11.9091 ((1 . 2) (2 . 6) (3 . 7) (4 . 8)) 3222 0.1996 7.2043 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 3286 0.6607 10.4928 ((2 . 7) (3 . 8) (4 . 10) (6 . 15)) 3322 0.6609 10.4066 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 3334 0.1996 6.8476 ((2 . 6) (3 . 7) (4 . 9) (6 . 11)) 3339 0.6618 9.9614 ((1 . 14) (2 . 15) (3 . 16) (4 . 18)) 3358 0.3879 7.2567 ((2 . 4) (3 . 5) (5 . 8) (6 . 11)) 3362 0.4659 10.1755 ((1 . 3) (2 . 10) (3 . 5) (6 . 9)) 3391 0.3878 9.1391 ((1 . 15) (2 . 17) (4 . 18) (5 . 21)) 3495 0.1996 13.0172 ((1 . 6) (2 . 7) (4 . 9) (6 . 11)) 3561 0.6623 9.6800 ((1 . 21) (2 . 22) (3 . 25) (6 . 29)) 3628 0.2968 11.6537 ((3 . 1) (4 . 5) (5 . 6) (6 . 7)) 3651 0.6515 13.3791 ((1 . 14) (3 . 19) (4 . 20) (6 . 25)) 3658 0.3879 8.0184 ((1 . 10) (3 . 12) (4 . 13) (6 . 15)) 3663 0.6638 8.6814 ((2 . 1) (3 . 3) (4 . 4) (6 . 7)) 3697 0.1499 10.1924 ((1 . 5) (2 . 6) (4 . 8) (6 . 9)) 3703 0.1333 10.6383 ((1 . 5) (2 . 6) (4 . 10) (6 . 11)) 3733 0.1996 10.1263 ((2 . 3) (3 . 4) (5 . 8) (6 . 9)) 3787 0.2486 14.9082 ((1 . 10) (3 . 13) (5 . 15) (6 . 16)) 3790 0.6658 6.5197 ((2 . 16) (4 . 20) (5 . 21) (6 . 23)) 3817 0.1499 13.2943 ((2 . 9) (3 . 8) (4 . 12) (6 . 13)) 3830 0.6666 3.0184 ((1 . 1) (3 . 3) (4 . 5) (6 . 6)) 3834 0.6654 7.1021 ((1 . 2) (3 . 4) (4 . 5) (6 . 7)) 3853 0.2487 10.7892 ((2 . 8) (3 . 7) (4 . 9) (5 . 12)) 3938 0.6547 12.5686 ((2 . 4) (3 . 5) (4 . 12) (6 . 16)) 3942 0.6604 10.6351 ((1 . 4) (2 . 3) (3 . 6) (4 . 8)) 3968 0.6478 14.1662 ((1 . 2) (3 . 4) (4 . 8) (5 . 11)) 4005 0.4662 9.2912 ((1 . 28) (3 . 31) (5 . 35) (6 . 39)) 4009 0.2963 16.8148 ((1 . 8) (3 . 10) (4 . 14) (6 . 17)) 4030 0.6559 12.2313 ((1 . 9) (3 . 12) (4 . 13) (6 . 15)) 4067 0.3879 6.7702 ((2 . 20) (3 . 19) (4 . 21) (5 . 24)) 4082 0.2487 9.8646 ((1 . 1) (3 . 2) (4 . 3) (5 . 5)) 4087 0.2487 9.5481 ((1 . 2) (2 . 5) (5 . 8) (6 . 9)) 4115 0.6651 7.4495 ((2 . 10) (3 . 11) (4 . 12) (6 . 14)) 4151 0.2488 8.3738 ((2 . 15) (3 . 14) (4 . 16) (5 . 19)) 4177 0.6609 10.4161 ((2 . 2) (3 . 4) (4 . 6) (5 . 8)) 4192 0.3874 11.3790 ((1 . 16) (2 . 19) (3 . 20) (4 . 21)) 4195 0.1996 12.9568 ((1 . 1) (3 . 2) (4 . 3) (6 . 5)) 4204 0.3879 6.7695 ((1 . 1) (2 . 3) (3 . 4) (5 . 7)) 4226 0.6615 10.1118 ((1 . 13) (2 . 14) (3 . 15) (4 . 17)) 4242 0.1996 7.4549 ((1 . 2) (3 . 4) (4 . 6) (6 . 8)) 4254 0.6598 10.8809 ((1 . 7) (2 . 11) (3 . 12) (6 . 16)) 4255 0.3878 8.5183 ((1 . 20) (2 . 21) (3 . 22) (5 . 26)) 4265 0.1333 7.0610 ((2 . 20) (4 . 22) (5 . 24) (6 . 25)) 4281 0.6636 8.8828 ((3 . 7) (4 . 9) (5 . 10) (6 . 13)) 4284 0.6654 7.1563 ((2 . 6) (3 . 7) (5 . 10) (6 . 11)) 4299 0.3843 18.3183 ((1 . 13) (2 . 14) (4 . 17) (5 . 19)) 4326 0.4634 14.1799 ((1 . 3) (3 . 5) (4 . 6) (5 . 10)) 4332 0.2488 6.9219 ((2 . 2) (3 . 3) (5 . 6) (6 . 8)) 4352 0.6587 11.3013 ((1 . 12) (3 . 13) (4 . 14) (6 . 15)) 4388 0.6639 8.6643 ((2 . 1) (3 . 2) (4 . 4) (5 . 6)) 4405 0.3874 11.3912 ((1 . 17) (2 . 18) (4 . 20) (5 . 22)) 4419 0.6630 9.2443 ((3 . 1) (4 . 2) (5 . 6) (6 . 5)) 4426 0.1996 7.9703 ((1 . 1) (2 . 2) (5 . 4) (6 . 5)) 4470 0.6562 12.1452 ((1 . 4) (2 . 5) (3 . 6) (6 . 11)) 4495 0.1995 15.1827 ((1 . 7) (3 . 11) (4 . 12) (5 . 14)) 4502 0.4651 11.8615 ((2 . 10) (4 . 13) (5 . 17) (6 . 21)) 4504 0.6581 11.5287 ((1 . 10) (3 . 11) (4 . 12) (5 . 15)) 4516 0.1996 13.5463 ((1 . 3) (2 . 6) (3 . 7) (6 . 11)) 4560 0.3877 10.0326 ((2 . 8) (3 . 10) (4 . 12) (5 . 13)) 4561 0.2487 12.3948 ((2 . 5) (3 . 6) (4 . 8) (5 . 12)) 4562 0.1996 7.5031 ((1 . 21) (4 . 26) (5 . 29) (6 . 30)) 4588 0.2487 10.2281 ((2 . 3) (3 . 4) (5 . 9) (6 . 12)) 4589 0.4662 9.3021 ((1 . 20) (2 . 23) (3 . 24) (5 . 29)) 4621 0.6636 8.8714 ((2 . 4) (3 . 5) (5 . 9) (6 . 10)) 4648 0.6633 9.0596 ((2 . 2) (3 . 3) (4 . 7) (5 . 8)) 4671 0.1996 10.7465 ((2 . 2) (3 . 3) (4 . 5) (5 . 6)) 4674 0.6592 11.1127 ((2 . 2) (3 . 4) (4 . 5) (5 . 8)) 4678 0.2487 13.6665 ((1 . 1) (4 . 5) (5 . 6) (6 . 7)) 4699 0.0999 9.4448 ((1 . 8) (3 . 9) (4 . 10) (6 . 11)) 4716 0.1499 10.0340 ((1 . 2) (3 . 4) (4 . 5) (6 . 8)) 4731 0.6613 10.2107 ((3 . 12) (4 . 13) (5 . 18) (6 . 17)) 4817 0.0999 12.3654 ((1 . 6) (3 . 7) (4 . 9) (6 . 13)) 4888 0.3874 11.3950 ((3 . 5) (4 . 6) (5 . 9) (6 . 10)) 4932 0.6624 9.6390 ((1 . 3) (2 . 5) (4 . 7) (6 . 9)) 4944 0.3879 7.1737 ((2 . 14) (3 . 10) (4 . 12) (5 . 13)) 4961 0.1996 13.1059 ((1 . 4) (2 . 7) (3 . 8) (4 . 11)) 4978 0.1996 7.9015 ((2 . 28) (3 . 27) (4 . 29) (5 . 30)) 4982 0.3877 9.5265 ((2 . 9) (4 . 11) (5 . 14) (6 . 15)) 4998 0.6599 10.8413 ((2 . 15) (3 . 16) (4 . 17) (5 . 19)) 5016 0.0999 12.8628 ((1 . 2) (3 . 5) (4 . 6) (6 . 8)) 5029 0.1996 8.9136 ((1 . 3) (2 . 6) (3 . 7) (4 . 9)) 5039 0.2488 8.1574 ((1 . 35) (2 . 37) (3 . 38) (5 . 41)) 5068 0.1333 12.6285 ((1 . 3) (2 . 7) (3 . 9) (6 . 14)) 5069 0.6500 13.7082 ((1 . 6) (2 . 9) (5 . 15) (6 . 16)) 5080 0.1499 13.3050 ((1 . 5) (3 . 7) (4 . 8) (6 . 11)) 5092 0.6615 10.1187 ((1 . 5) (3 . 7) (4 . 8) (6 . 9)) 5101 0.2487 10.7096 ((1 . 19) (3 . 22) (5 . 26) (6 . 27)) 5103 0.1499 10.3978 ((2 . 13) (3 . 14) (4 . 16) (5 . 17)) 5132 0.6650 7.5506 ((2 . 18) (3 . 19) (5 . 22) (6 . 23)) 5134 0.6525 13.1335 ((1 . 1) (4 . 8) (5 . 10) (6 . 11)) 5145 0.4663 8.7861 ((1 . 2) (2 . 3) (3 . 4) (6 . 11)) 5176 0.1996 7.2345 ((1 . 83) (2 . 84) (3 . 85) (5 . 88)) 5183 0.6640 8.5785 ((2 . 38) (3 . 39) (4 . 40) (6 . 41)) 5192 0.2967 13.5637 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 5209 0.2487 10.2376 ((1 . 2) (2 . 4) (3 . 6) (5 . 8)) 5223 0.2968 12.0117 ((3 . 13) (4 . 14) (5 . 17) (6 . 19)) 5266 0.3870 13.1769 ((1 . 5) (4 . 9) (5 . 13) (6 . 12)) 5285 0.1499 6.6157 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 5307 0.2969 9.1112 ((2 . 51) (3 . 52) (4 . 54) (5 . 57)) 5318 0.2488 8.3171 ((1 . 17) (3 . 20) (5 . 23) (6 . 27)) 5323 0.6653 7.2633 ((1 . 3) (4 . 8) (5 . 11) (6 . 12)) 5324 0.6623 9.6673 ((1 . 8) (2 . 10) (3 . 11) (4 . 13)) 5344 0.1996 8.8214 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 5411 0.1499 8.6017 ((1 . 1) (2 . 3) (5 . 8) (6 . 9)) 5500 0.4652 11.6836 ((1 . 6) (3 . 10) (5 . 14) (6 . 15)) 5501 0.6625 9.5603 ((1 . 22) (3 . 23) (4 . 26) (5 . 30)) 5525 0.6541 12.7371 ((1 . 10) (3 . 11) (4 . 12) (6 . 13)) 5540 0.1996 13.9234 ((1 . 13) (2 . 16) (3 . 17) (6 . 21)) 5560 0.2487 10.7184 ((2 . 13) (3 . 14) (5 . 17) (6 . 19)) 5594 0.1996 11.9134 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 5600 0.1996 6.1002 ((2 . 3) (3 . 4) (5 . 9) (6 . 10)) 5601 0.6651 7.4610 ((1 . 6) (2 . 8) (3 . 9) (4 . 11)) 5638 0.6653 7.2327 ((2 . 9) (4 . 12) (5 . 13) (6 . 14)) 5648 0.6560 12.2038 ((1 . 4) (3 . 6) (4 . 7) (6 . 8)) 5656 0.6494 13.8423 ((1 . 13) (3 . 17) (4 . 19) (6 . 20)) 5701 0.2970 8.4350 ((1 . 7) (2 . 12) (4 . 15) (6 . 20)) 5704 0.3876 10.2182 ((1 . 5) (3 . 7) (4 . 8) (6 . 9)) 5718 0.4667 5.4843 ((1 . 15) (2 . 16) (5 . 21) (6 . 22)) 5731 0.5287 5.6588 ((1 . 1) (2 . 2) (3 . 6) (5 . 10)) 5746 0.4666 7.2478 ((1 . 1) (3 . 4) (4 . 5) (5 . 9)) 5770 0.6654 7.0526 ((2 . 1) (3 . 2) (5 . 6) (6 . 7)) 5782 0.6623 9.6837 ((2 . 26) (4 . 31) (5 . 32) (6 . 33)) 5789 0.9980 4.7870 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 5794 0.6634 9.0404 ((1 . 17) (2 . 19) (3 . 22) (5 . 24)) 5795 0.1996 9.3494 ((1 . 3) (2 . 6) (5 . 9) (6 . 11)) 5809 0.4660 9.7427 ((1 . 8) (3 . 11) (5 . 15) (6 . 16)) 5822 0.1665 8.9741 ((2 . 4) (3 . 5) (5 . 9) (6 . 10)) 5896 0.3879 6.5778 ((2 . 26) (3 . 27) (5 . 31) (6 . 32)) 5913 0.4660 9.7329 ((1 . 1) (4 . 8) (5 . 10) (6 . 11)) 5939 0.2969 9.9269 ((1 . 7) (2 . 10) (3 . 12) (4 . 13)) 5945 0.4662 9.3209 ((1 . 27) (3 . 30) (4 . 31) (5 . 33)) 5967 0.0999 8.6056 ((1 . 2) (2 . 7) (3 . 8) (4 . 10)) 5977 0.6621 9.8147 ((2 . 3) (3 . 2) (4 . 4) (5 . 6)) 6000 0.2487 10.9429 ((2 . 15) (3 . 18) (5 . 21) (6 . 22)) 6011 0.2487 12.4387 ((2 . 16) (3 . 17) (5 . 20) (6 . 22)) 6029 0.6647 7.9458 ((2 . 6) (3 . 7) (4 . 9) (5 . 11)) 6033 0.6568 11.9522 ((1 . 2) (3 . 3) (4 . 4) (6 . 7)) 6041 0.1996 10.5696 ((1 . 4) (3 . 5) (4 . 6) (5 . 10)) 6061 0.2970 8.1453 ((2 . 17) (3 . 18) (5 . 21) (6 . 22)) 6074 0.6624 9.6518 ((2 . 6) (3 . 7) (4 . 10) (6 . 12)) 6075 0.2487 12.1899 ((3 . 18) (4 . 19) (5 . 21) (6 . 22)) 6089 0.2966 14.6241 ((1 . 19) (2 . 21) (3 . 22) (6 . 26)) 6094 0.2488 9.4325 ((2 . 2) (4 . 6) (5 . 7) (6 . 8)) 6099 0.4662 9.2711 ((1 . 12) (2 . 13) (3 . 15) (5 . 18)) 6215 0.1665 8.7176 ((2 . 20) (3 . 22) (4 . 23) (5 . 24)) 6228 0.6585 11.3881 ((1 . 10) (2 . 11) (5 . 15) (6 . 18)) 6234 0.1996 11.3954 ((1 . 8) (2 . 9) (5 . 15) (6 . 14)) 6243 0.3871 12.6778 ((1 . 1) (2 . 2) (4 . 5) (5 . 8)) 6258 0.3871 12.6352 ((1 . 2) (4 . 8) (5 . 10) (6 . 11)) 6266 0.2969 8.9185 ((1 . 4) (3 . 7) (5 . 10) (6 . 12)) 6271 0.6655 6.9995 ((1 . 9) (2 . 12) (3 . 13) (4 . 14)) 6306 0.3879 7.7126 ((2 . 17) (3 . 18) (5 . 22) (6 . 23)) 6344 0.6659 6.3474 ((2 . 1) (3 . 2) (4 . 5) (5 . 6)) 6356 0.6584 11.4279 ((1 . 5) (2 . 9) (3 . 8) (6 . 14)) 6359 0.0999 10.3279 ((1 . 3) (3 . 5) (4 . 6) (6 . 8)) 6376 0.1665 10.2143 ((2 . 19) (3 . 20) (4 . 23) (5 . 26)) 6384 0.6548 12.5484 ((1 . 2) (3 . 3) (4 . 4) (6 . 6)) 6403 0.3879 6.6106 ((2 . 5) (3 . 6) (4 . 9) (6 . 11)) 6461 0.8330 3.8616 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 7)) 6462 0.3875 11.3066 ((2 . 20) (3 . 21) (4 . 23) (6 . 26)) 6476 0.2970 7.2598 ((2 . 4) (3 . 5) (4 . 7) (5 . 9)) 6498 0.3874 11.6115 ((1 . 18) (2 . 21) (3 . 22) (6 . 27)) 6536 0.3875 10.9771 ((1 . 28) (3 . 30) (4 . 32) (6 . 33)) 6548 0.4660 9.8615 ((2 . 5) (3 . 6) (5 . 12) (6 . 14)) 6553 0.6656 6.8508 ((1 . 10) (2 . 11) (3 . 12) (5 . 17)) 6555 0.2487 12.5788 ((1 . 9) (2 . 10) (3 . 12) (5 . 17)) 6561 0.5283 7.9305 ((1 . 5) (2 . 10) (3 . 11) (5 . 12)) 6585 0.2488 9.0340 ((1 . 3) (2 . 6) (3 . 5) (5 . 10)) 6586 0.1996 10.1749 ((2 . 18) (3 . 19) (4 . 22) (6 . 23)) 6587 0.6645 8.1533 ((3 . 27) (4 . 28) (5 . 31) (6 . 32)) 6613 0.2966 14.4088 ((1 . 19) (2 . 22) (4 . 25) (6 . 26)) 6622 0.6632 9.1502 ((1 . 5) (3 . 8) (4 . 10) (6 . 12)) END