5789 25 0.6530 13.0055 ((1 . 12) (3 . 13) (4 . 14) (6 . 15)) 51 0.3878 8.5751 ((1 . 3) (2 . 6) (4 . 9) (5 . 11)) 62 0.1665 10.7242 ((1 . 9) (2 . 12) (3 . 15) (5 . 17)) 91 0.1996 10.0344 ((3 . 15) (4 . 18) (5 . 21) (6 . 22)) 136 0.6661 5.7638 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 157 0.6656 6.7742 ((1 . 12) (2 . 14) (3 . 15) (4 . 17)) 162 0.2969 9.2215 ((2 . 15) (3 . 16) (4 . 19) (5 . 22)) 293 0.6594 11.0336 ((1 . 1) (3 . 3) (4 . 4) (6 . 5)) 300 0.1996 13.5404 ((1 . 11) (2 . 10) (3 . 12) (5 . 17)) 305 0.4661 9.5501 ((2 . 17) (3 . 20) (5 . 22) (6 . 25)) 350 0.4600 16.9921 ((1 . 3) (2 . 5) (5 . 13) (6 . 14)) 361 0.6640 8.5759 ((2 . 2) (3 . 3) (4 . 6) (6 . 7)) 541 0.1994 19.7231 ((1 . 10) (2 . 11) (3 . 13) (6 . 19)) 543 0.6652 7.4096 ((1 . 3) (2 . 5) (4 . 9) (5 . 10)) 553 0.6621 9.7887 ((1 . 6) (3 . 9) (4 . 10) (5 . 12)) 584 0.2966 14.1521 ((2 . 4) (3 . 6) (4 . 9) (5 . 10)) 609 0.1499 9.5476 ((2 . 1) (3 . 2) (4 . 4) (6 . 5)) 619 0.2487 11.5234 ((1 . 5) (2 . 6) (5 . 12) (6 . 14)) 624 0.4649 12.3275 ((1 . 1) (3 . 3) (5 . 5) (6 . 6)) 672 0.6536 12.8618 ((1 . 12) (3 . 17) (4 . 19) (5 . 21)) 678 0.1499 10.2796 ((1 . 27) (3 . 30) (4 . 32) (5 . 34)) 729 0.2484 17.6869 ((2 . 20) (3 . 21) (5 . 24) (6 . 26)) 795 0.6649 7.7025 ((2 . 1) (3 . 2) (4 . 4) (5 . 6)) 818 0.6652 7.4069 ((1 . 5) (2 . 7) (3 . 9) (4 . 11)) 861 0.6565 12.0279 ((2 . 3) (3 . 4) (4 . 5) (6 . 6)) 928 0.6630 9.2752 ((2 . 10) (3 . 13) (4 . 15) (6 . 17)) 937 0.1996 10.4648 ((1 . 2) (2 . 4) (3 . 3) (4 . 6)) 949 0.6648 7.8037 ((2 . 32) (3 . 33) (4 . 35) (6 . 37)) 960 0.6654 7.0867 ((1 . 7) (2 . 8) (4 . 11) (5 . 12)) 980 0.6630 9.2630 ((2 . 1) (3 . 4) (4 . 6) (6 . 8)) 1007 0.6655 6.9928 ((1 . 6) (2 . 7) (5 . 14) (6 . 15)) 1043 0.4652 11.7467 ((1 . 7) (3 . 11) (5 . 14) (6 . 16)) 1082 0.2970 6.9947 ((1 . 7) (2 . 8) (4 . 11) (5 . 12)) 1084 0.2968 12.1461 ((1 . 6) (2 . 9) (3 . 15) (5 . 17)) 1165 0.3872 12.2357 ((2 . 7) (3 . 6) (4 . 9) (5 . 12)) 1167 0.3879 7.0381 ((2 . 21) (4 . 26) (5 . 27) (6 . 28)) 1204 0.3875 10.8634 ((2 . 1) (3 . 2) (5 . 5) (6 . 6)) 1210 0.6605 10.6065 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 1267 0.3877 9.9872 ((1 . 23) (2 . 24) (3 . 25) (4 . 27)) 1268 0.6607 10.4833 ((1 . 14) (3 . 16) (4 . 17) (6 . 19)) 1345 0.4661 9.5818 ((1 . 15) (2 . 16) (3 . 17) (4 . 19)) 1366 0.2487 11.5495 ((2 . 12) (3 . 13) (5 . 17) (6 . 18)) 1388 0.6589 11.2217 ((1 . 3) (3 . 6) (4 . 7) (5 . 8)) 1395 0.6660 5.9360 ((1 . 1) (3 . 4) (4 . 5) (6 . 6)) 1447 0.3878 9.2633 ((2 . 1) (3 . 2) (5 . 7) (6 . 6)) 1464 0.2969 9.9471 ((1 . 9) (2 . 8) (3 . 12) (5 . 14)) 1470 0.6638 8.6856 ((1 . 13) (3 . 15) (4 . 16) (6 . 18)) 1472 0.6615 10.1084 ((1 . 10) (3 . 11) (4 . 12) (6 . 13)) 1476 0.1996 10.8966 ((3 . 10) (4 . 13) (5 . 15) (6 . 16)) 1513 0.1996 11.6908 ((1 . 9) (3 . 12) (4 . 14) (6 . 16)) 1577 0.1996 11.2579 ((1 . 2) (2 . 4) (5 . 10) (6 . 11)) 1591 0.1665 7.6958 ((1 . 2) (2 . 1) (3 . 3) (5 . 6)) 1595 0.5279 9.0128 ((1 . 2) (3 . 4) (4 . 6) (5 . 8)) 1622 0.3879 7.5225 ((2 . 18) (3 . 19) (4 . 21) (5 . 23)) 1690 0.5271 10.3643 ((2 . 8) (3 . 9) (5 . 14) (6 . 15)) 1736 0.2487 9.5067 ((1 . 6) (3 . 8) (4 . 9) (5 . 12)) 1738 0.6588 11.2709 ((2 . 6) (3 . 10) (5 . 14) (6 . 15)) 1761 0.2487 12.0596 ((1 . 6) (3 . 8) (5 . 11) (6 . 12)) 1763 0.4665 7.3329 ((1 . 1) (2 . 3) (3 . 4) (5 . 7)) 1776 0.2968 11.6615 ((2 . 7) (3 . 8) (5 . 12) (6 . 13)) 1793 0.6556 12.3011 ((2 . 4) (3 . 5) (4 . 7) (6 . 9)) 1894 0.2969 10.7707 ((1 . 9) (2 . 12) (4 . 15) (5 . 18)) 1896 0.6654 7.1281 ((1 . 2) (2 . 3) (3 . 4) (4 . 10)) 1897 0.1499 9.6160 ((2 . 34) (3 . 36) (4 . 38) (5 . 39)) 1908 0.6559 12.2299 ((1 . 8) (2 . 10) (3 . 14) (4 . 16)) 1909 0.4665 7.3340 ((1 . 24) (2 . 29) (3 . 30) (4 . 32)) 1944 0.6523 13.1953 ((2 . 5) (3 . 6) (4 . 8) (6 . 12)) 1957 0.6629 9.3492 ((2 . 11) (3 . 14) (4 . 16) (6 . 18)) 1961 0.3874 11.3532 ((1 . 12) (3 . 13) (5 . 16) (6 . 18)) 1967 0.4656 10.9030 ((2 . 3) (3 . 6) (5 . 10) (6 . 11)) 1987 0.6603 10.6558 ((1 . 8) (3 . 10) (4 . 11) (6 . 12)) 1992 0.1996 11.8030 ((2 . 2) (3 . 5) (4 . 8) (5 . 9)) 2045 0.1996 8.6415 ((1 . 4) (2 . 3) (4 . 9) (5 . 11)) 2048 0.1996 13.0976 ((1 . 10) (3 . 12) (4 . 15) (5 . 16)) 2067 0.6500 13.7115 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 2094 0.2487 9.8126 ((1 . 1) (3 . 2) (4 . 4) (6 . 6)) 2097 0.1333 9.1207 ((2 . 5) (4 . 10) (5 . 14) (6 . 15)) 2117 0.3877 9.3522 ((1 . 19) (2 . 20) (3 . 21) (4 . 26)) 2118 0.2968 11.7856 ((2 . 7) (3 . 8) (5 . 11) (6 . 10)) 2122 0.2968 12.9064 ((2 . 6) (3 . 9) (5 . 12) (6 . 13)) 2179 0.2969 8.7708 ((2 . 13) (3 . 16) (5 . 20) (6 . 21)) 2249 0.6563 12.0958 ((1 . 10) (2 . 12) (3 . 14) (6 . 19)) 2295 0.6656 6.8463 ((1 . 1) (3 . 4) (4 . 6) (6 . 7)) 2298 0.6638 8.6801 ((1 . 7) (2 . 8) (3 . 9) (4 . 13)) 2342 0.6616 10.0685 ((1 . 11) (3 . 13) (4 . 14) (6 . 16)) 2344 0.3876 10.1277 ((1 . 9) (2 . 11) (5 . 18) (6 . 19)) 2364 0.2969 10.4296 ((1 . 2) (2 . 5) (4 . 10) (5 . 12)) 2393 0.1996 11.6131 ((2 . 15) (4 . 17) (5 . 18) (6 . 19)) 2409 0.1665 8.3769 ((1 . 1) (2 . 2) (5 . 8) (6 . 10)) 2443 0.1996 10.1851 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 2447 0.6560 12.1878 ((1 . 35) (2 . 36) (3 . 37) (6 . 41)) 2462 0.6657 6.6628 ((1 . 5) (2 . 7) (4 . 10) (5 . 12)) 2510 0.2944 23.3668 ((1 . 12) (3 . 13) (4 . 16) (5 . 17)) 2519 0.9980 4.7870 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 2525 0.3878 8.8769 ((1 . 42) (3 . 44) (5 . 48) (6 . 49)) 2529 0.2488 8.3695 ((2 . 1) (3 . 2) (5 . 6) (6 . 7)) 2544 0.1665 8.1585 ((3 . 18) (4 . 19) (5 . 22) (6 . 24)) 2556 0.2487 10.2526 ((3 . 12) (4 . 14) (5 . 16) (6 . 17)) 2561 0.4662 9.2361 ((1 . 2) (2 . 1) (3 . 5) (5 . 7)) 2675 0.2970 6.1701 ((2 . 1) (3 . 2) (4 . 9) (5 . 10)) 2731 0.1996 10.9627 ((1 . 2) (2 . 4) (3 . 3) (4 . 6)) 2733 0.6661 5.8555 ((1 . 5) (2 . 4) (3 . 7) (4 . 9)) 2753 0.6627 9.4527 ((1 . 6) (3 . 7) (4 . 10) (6 . 11)) 2804 0.1665 9.9273 ((1 . 35) (2 . 36) (3 . 37) (5 . 40)) 2834 0.2968 11.7420 ((2 . 1) (3 . 2) (4 . 7) (5 . 8)) 2842 0.0999 8.1266 ((2 . 1) (3 . 3) (4 . 6) (6 . 7)) 2990 0.2487 9.9279 ((3 . 17) (4 . 18) (5 . 19) (6 . 21)) 3014 0.6597 10.9115 ((1 . 12) (3 . 14) (4 . 15) (6 . 17)) 3041 0.1665 11.1615 ((1 . 11) (3 . 13) (4 . 15) (5 . 18)) 3084 0.6626 9.5432 ((2 . 13) (3 . 16) (4 . 18) (6 . 20)) 3103 0.2970 5.9937 ((2 . 5) (3 . 6) (5 . 11) (6 . 12)) 3127 0.1499 11.7762 ((2 . 6) (3 . 7) (4 . 9) (5 . 13)) 3176 0.3873 12.0511 ((1 . 21) (3 . 23) (5 . 27) (6 . 30)) 3190 0.6625 9.6039 ((2 . 3) (3 . 4) (4 . 7) (6 . 10)) 3197 0.3877 9.9305 ((1 . 7) (4 . 11) (5 . 14) (6 . 15)) 3200 0.1996 7.6413 ((2 . 6) (4 . 12) (5 . 13) (6 . 14)) 3212 0.1499 9.9226 ((2 . 5) (3 . 7) (4 . 10) (6 . 11)) 3222 0.2969 11.0924 ((1 . 9) (3 . 13) (5 . 16) (6 . 17)) 3261 0.5611 11.8208 ((1 . 5) (2 . 7) (3 . 10) (4 . 11) (6 . 12)) 3286 0.2488 7.2432 ((1 . 2) (2 . 3) (5 . 7) (6 . 8)) 3339 0.6648 7.8133 ((1 . 14) (2 . 15) (3 . 16) (4 . 18)) 3358 0.4664 8.0267 ((1 . 5) (2 . 7) (3 . 9) (4 . 11)) 3362 0.6660 5.9498 ((1 . 3) (2 . 4) (3 . 5) (5 . 10)) 3391 0.2968 12.0260 ((1 . 1) (3 . 2) (4 . 3) (5 . 6)) 3496 0.3876 10.4707 ((1 . 20) (3 . 21) (5 . 23) (6 . 24)) 3538 0.2487 11.6806 ((1 . 17) (3 . 21) (4 . 22) (5 . 23)) 3549 0.1996 8.8873 ((2 . 1) (3 . 4) (4 . 7) (5 . 8)) 3561 0.2969 11.3790 ((2 . 20) (3 . 23) (4 . 25) (5 . 28)) 3570 0.6663 5.3290 ((2 . 1) (4 . 2) (5 . 4) (6 . 9)) 3651 0.5251 12.4989 ((1 . 10) (3 . 15) (4 . 19) (5 . 21)) 3658 0.6649 7.6733 ((1 . 10) (3 . 12) (4 . 13) (6 . 15)) 3661 0.2488 8.5505 ((3 . 9) (4 . 10) (5 . 12) (6 . 13)) 3697 0.2487 10.6619 ((1 . 5) (2 . 6) (3 . 8) (4 . 9)) 3732 0.6661 5.8081 ((1 . 4) (2 . 5) (3 . 6) (5 . 11)) 3787 0.6649 7.7573 ((1 . 20) (2 . 21) (3 . 24) (4 . 25)) 3790 0.5285 7.3224 ((3 . 17) (4 . 20) (5 . 21) (6 . 23)) 3817 0.2970 8.7007 ((2 . 1) (3 . 3) (5 . 7) (6 . 6)) 3818 0.6587 11.3035 ((2 . 23) (3 . 24) (4 . 27) (5 . 29)) 3830 0.6658 6.3835 ((1 . 1) (3 . 3) (4 . 5) (6 . 6)) 3834 0.6666 3.7036 ((1 . 2) (3 . 4) (4 . 5) (6 . 8)) 3849 0.1996 8.9576 ((2 . 1) (3 . 4) (4 . 7) (5 . 8)) 3942 0.6609 10.3914 ((1 . 4) (2 . 3) (3 . 6) (4 . 8)) 3968 0.6610 10.3515 ((1 . 2) (2 . 3) (3 . 4) (6 . 10)) 3986 0.5279 9.0490 ((1 . 16) (3 . 19) (4 . 20) (5 . 25)) 4005 0.3875 11.2036 ((1 . 28) (3 . 31) (5 . 38) (6 . 39)) 4009 0.6569 11.9284 ((2 . 1) (3 . 6) (4 . 8) (6 . 10)) 4030 0.6507 13.5605 ((1 . 9) (3 . 12) (4 . 14) (6 . 15)) 4034 0.3877 10.0669 ((1 . 3) (2 . 5) (3 . 7) (4 . 8)) 4062 0.4664 8.1980 ((1 . 45) (3 . 47) (4 . 51) (6 . 52)) 4067 0.1665 13.5355 ((1 . 12) (4 . 17) (5 . 20) (6 . 19)) 4077 0.1996 12.3712 ((1 . 1) (3 . 4) (4 . 5) (6 . 6)) 4087 0.2488 8.8109 ((2 . 1) (3 . 4) (5 . 8) (6 . 9)) 4115 0.8260 8.3526 ((1 . 4) (2 . 10) (3 . 11) (4 . 12) (6 . 21)) 4151 0.6656 6.7352 ((1 . 2) (2 . 12) (3 . 16) (6 . 20)) 4177 0.1665 8.7289 ((3 . 3) (4 . 4) (5 . 7) (6 . 6)) 4190 0.1996 8.0551 ((1 . 2) (2 . 3) (3 . 6) (5 . 9)) 4195 0.1996 10.8741 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 4226 0.3873 11.8896 ((3 . 10) (4 . 13) (5 . 14) (6 . 15)) 4242 0.2970 8.5722 ((1 . 2) (3 . 4) (4 . 6) (6 . 8)) 4254 0.6596 10.9494 ((1 . 5) (4 . 10) (5 . 13) (6 . 14)) 4265 0.0999 11.5720 ((2 . 21) (3 . 22) (4 . 25) (6 . 28)) 4274 0.3878 8.5589 ((2 . 36) (3 . 37) (4 . 39) (5 . 41)) 4275 0.2487 10.7729 ((3 . 22) (4 . 24) (5 . 27) (6 . 26)) 4299 0.4664 8.2870 ((2 . 2) (3 . 5) (5 . 6) (6 . 7)) 4326 0.6621 9.8115 ((2 . 10) (3 . 14) (4 . 16) (6 . 18)) 4332 0.2969 10.1602 ((1 . 3) (2 . 4) (3 . 5) (4 . 8)) 4338 0.1499 7.4518 ((2 . 4) (3 . 5) (5 . 8) (6 . 9)) 4386 0.6561 12.1549 ((1 . 8) (3 . 11) (4 . 13) (6 . 14)) 4388 0.6630 9.2779 ((2 . 1) (3 . 2) (4 . 4) (5 . 6)) 4405 0.2487 11.5936 ((1 . 17) (2 . 18) (4 . 20) (5 . 22)) 4408 0.3872 12.2842 ((1 . 5) (2 . 4) (4 . 10) (5 . 13)) 4415 0.1499 7.4327 ((1 . 2) (2 . 1) (4 . 5) (5 . 9)) 4470 0.3877 9.8586 ((1 . 15) (3 . 17) (5 . 20) (6 . 22)) 4492 0.3869 13.4964 ((1 . 9) (2 . 8) (3 . 10) (6 . 14)) 4495 0.2969 10.3886 ((3 . 5) (4 . 7) (5 . 10) (6 . 11)) 4504 0.1996 11.1594 ((2 . 15) (3 . 16) (5 . 20) (6 . 23)) 4516 0.6532 12.9495 ((1 . 11) (2 . 14) (4 . 17) (6 . 21)) 4560 0.3876 10.3882 ((2 . 6) (3 . 7) (5 . 13) (6 . 12)) 4561 0.2487 13.3609 ((2 . 5) (3 . 6) (4 . 8) (5 . 12)) 4562 0.2970 8.5199 ((1 . 21) (4 . 26) (5 . 29) (6 . 30)) 4589 0.1665 9.7946 ((1 . 20) (3 . 24) (4 . 26) (5 . 29)) 4621 0.2970 8.2447 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 4671 0.6629 9.3284 ((1 . 10) (2 . 12) (4 . 16) (5 . 19)) 4674 0.6585 11.3905 ((2 . 2) (3 . 4) (4 . 5) (5 . 8)) 4713 0.2488 6.8427 ((1 . 1) (2 . 3) (5 . 8) (6 . 10)) 4715 0.4666 7.3075 ((1 . 1) (3 . 2) (5 . 6) (6 . 7)) 4716 0.6539 12.7891 ((1 . 1) (3 . 4) (4 . 6) (6 . 8)) 4731 0.1333 7.0631 ((1 . 17) (2 . 18) (4 . 20) (5 . 23)) 4783 0.3877 9.7125 ((1 . 2) (3 . 6) (4 . 7) (6 . 8)) 4817 0.1996 9.0473 ((1 . 5) (3 . 6) (4 . 7) (6 . 9)) 4888 0.4656 10.9459 ((3 . 5) (4 . 6) (5 . 9) (6 . 11)) 4889 0.2487 9.8923 ((1 . 5) (4 . 9) (5 . 11) (6 . 13)) 4907 0.2488 9.3137 ((1 . 2) (2 . 3) (5 . 9) (6 . 10)) 4932 0.1333 11.7845 ((1 . 3) (2 . 6) (3 . 7) (4 . 9)) 4961 0.6620 9.8367 ((1 . 4) (2 . 7) (3 . 11) (4 . 13)) 4978 0.6498 13.7525 ((1 . 26) (2 . 25) (4 . 29) (5 . 30)) 5029 0.3877 9.3628 ((1 . 5) (2 . 6) (3 . 7) (4 . 9)) 5039 0.6597 10.9112 ((1 . 35) (3 . 38) (5 . 41) (6 . 43)) 5068 0.1499 7.3117 ((1 . 3) (2 . 4) (5 . 10) (6 . 11)) 5101 0.6561 12.1741 ((2 . 1) (3 . 2) (4 . 6) (5 . 7)) 5103 0.6636 8.8389 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 5121 0.3875 10.9513 ((1 . 17) (3 . 22) (4 . 23) (5 . 25)) 5132 0.6557 12.2860 ((2 . 18) (3 . 19) (4 . 21) (6 . 24)) 5134 0.5287 6.2795 ((2 . 10) (3 . 11) (5 . 14) (6 . 16)) 5145 0.6641 8.4806 ((1 . 2) (2 . 3) (3 . 7) (6 . 11)) 5167 0.6662 5.5829 ((2 . 1) (3 . 2) (5 . 4) (6 . 6)) 5212 0.6623 9.6762 ((1 . 12) (3 . 14) (4 . 15) (6 . 17)) 5223 0.1996 9.5396 ((2 . 1) (3 . 2) (4 . 5) (5 . 8)) 5266 0.6449 14.7376 ((2 . 4) (3 . 5) (4 . 9) (6 . 12)) 5307 0.2969 9.3611 ((2 . 51) (3 . 52) (4 . 54) (5 . 57)) 5323 0.2487 13.7057 ((1 . 8) (2 . 10) (3 . 12) (4 . 14)) 5324 0.3876 10.6747 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 5378 0.3867 14.0557 ((2 . 4) (3 . 5) (5 . 9) (6 . 10)) 5487 0.4662 8.9907 ((1 . 5) (2 . 7) (3 . 8) (4 . 10)) 5525 0.6596 10.9742 ((1 . 10) (3 . 11) (4 . 12) (6 . 13)) 5540 0.4653 11.4970 ((2 . 8) (3 . 13) (5 . 16) (6 . 17)) 5560 0.3876 10.2168 ((2 . 15) (3 . 16) (5 . 20) (6 . 21)) 5562 0.1499 8.2052 ((2 . 7) (3 . 9) (4 . 13) (5 . 14)) 5594 0.1665 10.6164 ((1 . 2) (4 . 5) (5 . 6) (6 . 8)) 5600 0.2970 5.7746 ((2 . 3) (3 . 4) (5 . 9) (6 . 10)) 5601 0.6650 7.6318 ((1 . 6) (2 . 7) (3 . 9) (4 . 11)) 5656 0.6590 11.1857 ((1 . 4) (2 . 5) (3 . 6) (6 . 15)) 5689 0.6631 9.2180 ((1 . 12) (3 . 14) (4 . 18) (6 . 19)) 5701 0.3872 12.3514 ((1 . 7) (3 . 10) (5 . 12) (6 . 13)) 5702 0.6631 9.1970 ((1 . 12) (3 . 13) (4 . 15) (6 . 16)) 5704 0.6628 9.3730 ((1 . 5) (3 . 7) (4 . 9) (6 . 10)) 5718 0.3879 6.2537 ((2 . 14) (3 . 15) (4 . 22) (5 . 23)) 5731 0.4663 8.5352 ((2 . 2) (4 . 6) (5 . 7) (6 . 8)) 5746 0.4665 7.5860 ((1 . 1) (3 . 4) (4 . 5) (5 . 9)) 5770 0.2487 10.0720 ((1 . 7) (2 . 8) (3 . 10) (5 . 15)) 5771 0.3875 10.9589 ((1 . 6) (3 . 7) (4 . 10) (5 . 13)) 5782 0.2967 13.5155 ((1 . 9) (2 . 12) (4 . 17) (5 . 18)) 5789 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 5794 0.6551 12.4446 ((1 . 17) (2 . 19) (3 . 22) (5 . 26)) 5795 0.4604 16.7290 ((1 . 2) (2 . 1) (3 . 3) (6 . 8)) 5809 0.3878 8.8822 ((2 . 5) (3 . 6) (4 . 8) (6 . 11)) 5822 0.2488 8.1601 ((2 . 2) (3 . 5) (5 . 9) (6 . 10)) 5827 0.2969 9.3097 ((2 . 3) (3 . 6) (5 . 11) (6 . 12)) 5878 0.1995 14.6470 ((3 . 23) (4 . 24) (5 . 28) (6 . 31)) 5896 0.4666 6.7032 ((2 . 26) (3 . 27) (5 . 31) (6 . 32)) 5904 0.6613 10.2176 ((1 . 6) (2 . 7) (3 . 8) (4 . 10)) 5913 0.5266 11.0755 ((1 . 8) (3 . 11) (4 . 12) (5 . 15)) 5939 0.6593 11.0905 ((1 . 7) (2 . 10) (3 . 12) (4 . 15)) 5945 0.5277 9.4586 ((1 . 27) (3 . 30) (4 . 31) (5 . 33)) 5955 0.0999 11.7056 ((2 . 3) (3 . 2) (4 . 6) (5 . 9)) 5967 0.0999 8.1771 ((1 . 2) (2 . 7) (3 . 8) (4 . 10)) 5972 0.4653 11.5823 ((3 . 1) (4 . 5) (5 . 7) (6 . 8)) 5977 0.6624 9.6411 ((2 . 1) (3 . 2) (4 . 4) (5 . 6)) 6000 0.2969 9.9543 ((2 . 9) (3 . 11) (5 . 17) (6 . 18)) 6028 0.1996 8.1469 ((2 . 1) (3 . 4) (4 . 8) (5 . 9)) 6029 0.6659 6.2163 ((2 . 24) (3 . 25) (4 . 28) (5 . 35)) 6033 0.2969 10.1110 ((1 . 4) (3 . 7) (4 . 9) (6 . 10)) 6041 0.1996 6.9497 ((2 . 8) (3 . 9) (4 . 14) (5 . 15)) 6061 0.3879 7.6610 ((2 . 17) (3 . 18) (5 . 21) (6 . 22)) 6074 0.6630 9.2876 ((2 . 6) (3 . 7) (4 . 10) (6 . 12)) 6075 0.1996 8.5110 ((1 . 18) (2 . 20) (5 . 27) (6 . 29)) 6079 0.2487 10.7617 ((1 . 15) (3 . 18) (5 . 21) (6 . 22)) 6089 0.6611 10.3035 ((2 . 1) (3 . 2) (5 . 5) (6 . 6)) 6094 0.2488 8.9064 ((2 . 2) (4 . 6) (5 . 7) (6 . 8)) 6099 0.4663 8.8312 ((1 . 12) (2 . 13) (3 . 15) (5 . 18)) 6225 0.2969 8.9419 ((2 . 4) (4 . 9) (5 . 10) (6 . 11)) 6228 0.2487 9.7206 ((2 . 1) (3 . 2) (5 . 7) (6 . 8)) 6243 0.6632 9.1635 ((2 . 6) (3 . 7) (5 . 10) (6 . 11)) 6258 0.3876 10.1845 ((1 . 1) (4 . 8) (5 . 9) (6 . 11)) 6261 0.2487 9.6561 ((1 . 14) (3 . 18) (5 . 22) (6 . 23)) 6266 0.1996 8.9121 ((1 . 2) (2 . 3) (4 . 7) (6 . 9)) 6270 0.2969 10.9253 ((1 . 14) (2 . 13) (5 . 18) (6 . 19)) 6294 0.3867 13.9309 ((1 . 12) (3 . 15) (5 . 23) (6 . 21)) 6309 0.6654 7.0612 ((1 . 16) (2 . 17) (5 . 25) (6 . 26)) 6329 0.2486 14.2146 ((1 . 1) (3 . 4) (4 . 6) (6 . 7)) 6344 0.6664 5.0082 ((2 . 1) (3 . 2) (4 . 5) (5 . 15)) 6356 0.3878 8.9171 ((1 . 5) (2 . 6) (3 . 8) (4 . 10)) 6359 0.6631 9.2400 ((1 . 3) (3 . 5) (4 . 6) (6 . 8)) 6369 0.1499 9.8117 ((2 . 20) (3 . 21) (4 . 23) (5 . 26)) 6376 0.1665 9.7163 ((1 . 18) (3 . 23) (5 . 28) (6 . 29)) 6384 0.2970 7.5285 ((1 . 1) (3 . 3) (4 . 4) (6 . 5)) 6392 0.1499 9.2252 ((2 . 3) (3 . 6) (4 . 8) (5 . 9)) 6403 0.2487 9.6045 ((2 . 3) (3 . 6) (5 . 10) (6 . 11)) 6461 0.8332 2.9414 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 6462 0.2970 8.4926 ((2 . 16) (3 . 17) (5 . 20) (6 . 21)) 6476 0.4660 9.7777 ((1 . 1) (3 . 5) (4 . 7) (5 . 9)) 6498 0.6605 10.6090 ((1 . 18) (2 . 19) (3 . 22) (4 . 26)) 6520 0.2487 10.8509 ((2 . 9) (3 . 11) (5 . 15) (6 . 18)) 6539 0.6663 5.0348 ((2 . 2) (3 . 3) (5 . 8) (6 . 9)) 6548 0.4667 5.9315 ((2 . 5) (3 . 6) (5 . 9) (6 . 10)) 6553 0.1996 11.6069 ((1 . 16) (2 . 17) (5 . 25) (6 . 27)) 6555 0.3871 12.9111 ((1 . 9) (2 . 10) (3 . 12) (5 . 19)) 6561 0.2487 13.4818 ((1 . 2) (3 . 5) (5 . 10) (6 . 11)) 6578 0.6643 8.2653 ((1 . 36) (2 . 38) (3 . 39) (4 . 41)) 6585 0.2968 11.8030 ((1 . 3) (2 . 6) (3 . 7) (4 . 9)) 6586 0.1499 10.4065 ((1 . 17) (2 . 18) (3 . 19) (4 . 23)) 6587 0.2487 9.8161 ((1 . 28) (2 . 31) (3 . 32) (4 . 35)) 6613 0.1665 9.0720 ((1 . 25) (2 . 27) (3 . 26) (5 . 32)) 6622 0.6644 8.2139 ((1 . 5) (3 . 8) (4 . 10) (6 . 12)) 6635 0.4666 7.1326 ((2 . 1) (3 . 3) (5 . 7) (6 . 9)) END