2634 25 0.1970 13.2074 ((8 . 4) (9 . 5) (12 . 9) (13 . 10)) 41 0.3988 13.3989 ((7 . 2) (9 . 4) (12 . 6) (13 . 8)) 91 0.3999 7.0496 ((1 . 14) (5 . 18) (7 . 27) (13 . 30)) 147 0.1493 12.0848 ((1 . 2) (2 . 3) (7 . 8) (8 . 9)) 157 0.3984 14.2559 ((3 . 4) (7 . 10) (8 . 12) (12 . 17)) 207 0.3353 15.9136 ((7 . 12) (8 . 14) (9 . 16) (12 . 17)) 259 0.3362 9.3375 ((2 . 3) (3 . 5) (5 . 6) (6 . 7)) 293 0.4998 6.4191 ((2 . 2) (3 . 3) (5 . 4) (7 . 5) (8 . 6)) 317 0.3997 9.5067 ((7 . 1) (8 . 2) (9 . 3) (13 . 7)) 351 0.0999 13.3644 ((3 . 1) (5 . 2) (8 . 6) (13 . 10)) 361 0.3984 14.3252 ((8 . 3) (9 . 5) (12 . 6) (13 . 7)) 442 0.3993 11.6600 ((6 . 9) (8 . 11) (9 . 13) (13 . 15)) 472 0.3990 12.6071 ((5 . 23) (7 . 24) (8 . 28) (13 . 33)) 495 0.3994 11.3315 ((7 . 2) (9 . 4) (12 . 6) (13 . 10)) 541 0.3991 12.3791 ((2 . 4) (3 . 6) (6 . 9) (9 . 13)) 543 0.1493 11.6954 ((1 . 7) (2 . 9) (3 . 13) (5 . 14)) 553 0.4979 11.5839 ((3 . 6) (5 . 7) (7 . 9) (8 . 10) (12 . 14)) 584 0.2800 9.7801 ((5 . 1) (7 . 2) (12 . 6) (13 . 9)) 624 0.3996 10.0126 ((1 . 19) (2 . 21) (3 . 23) (5 . 25)) 635 0.3999 7.7035 ((1 . 4) (5 . 11) (6 . 12) (12 . 17)) 672 0.3993 11.5267 ((1 . 7) (5 . 12) (8 . 17) (9 . 19)) 678 0.1970 10.5101 ((7 . 27) (8 . 28) (12 . 32) (13 . 33)) 729 0.3990 12.7733 ((1 . 6) (7 . 14) (12 . 21) (13 . 22)) 782 0.3997 8.9629 ((1 . 4) (7 . 11) (8 . 12) (9 . 13)) 792 0.3995 10.5463 ((2 . 16) (3 . 17) (5 . 19) (7 . 20)) 818 0.3363 8.6073 ((2 . 3) (3 . 5) (5 . 9) (6 . 11)) 834 0.3998 8.5097 ((3 . 35) (5 . 37) (6 . 38) (7 . 39)) 861 0.2800 10.4469 ((2 . 4) (3 . 5) (12 . 11) (13 . 14)) 901 0.3999 7.7887 ((2 . 13) (3 . 14) (6 . 18) (7 . 19)) 945 0.3980 15.0525 ((5 . 13) (8 . 18) (9 . 20) (13 . 23)) 960 0.3996 9.9989 ((1 . 15) (2 . 16) (7 . 25) (8 . 26)) 978 0.3997 9.6810 ((2 . 9) (3 . 11) (5 . 12) (7 . 15)) 1034 0.1493 11.4019 ((2 . 23) (3 . 24) (7 . 27) (12 . 36)) 1082 0.3992 11.8929 ((1 . 23) (6 . 28) (7 . 29) (12 . 35)) 1084 0.3995 10.7541 ((7 . 2) (9 . 4) (12 . 6) (13 . 15)) 1124 0.2799 12.7500 ((5 . 8) (9 . 11) (12 . 13) (13 . 15)) 1165 0.3989 12.8495 ((3 . 13) (5 . 15) (6 . 16) (13 . 23)) 1167 0.3996 9.9670 ((3 . 19) (8 . 24) (9 . 25) (13 . 28)) 1201 0.2798 13.7418 ((1 . 5) (5 . 10) (7 . 13) (12 . 19)) 1204 0.3996 10.1632 ((2 . 6) (7 . 13) (8 . 15) (12 . 19)) 1210 0.3995 10.5616 ((3 . 1) (5 . 2) (7 . 3) (12 . 7)) 1267 0.2799 12.7220 ((1 . 23) (2 . 25) (3 . 27) (9 . 37)) 1268 0.3997 9.1849 ((1 . 11) (2 . 12) (8 . 19) (12 . 21)) 1345 0.3991 12.3128 ((1 . 8) (3 . 10) (8 . 17) (12 . 19)) 1388 0.3999 7.6809 ((5 . 3) (8 . 6) (9 . 7) (12 . 11)) 1395 0.3999 6.5845 ((2 . 2) (3 . 4) (5 . 5) (8 . 6)) 1415 0.1970 8.0143 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 1447 0.3986 13.9003 ((1 . 2) (3 . 4) (7 . 10) (9 . 13)) 1470 0.3998 8.8402 ((2 . 6) (7 . 11) (8 . 12) (12 . 15)) 1472 0.3998 8.6010 ((3 . 3) (8 . 11) (12 . 12) (13 . 13)) 1497 0.3999 7.4252 ((5 . 16) (7 . 18) (8 . 19) (9 . 20)) 1513 0.3997 9.1852 ((2 . 1) (5 . 7) (8 . 9) (12 . 14)) 1595 0.3361 10.8806 ((7 . 1) (8 . 2) (12 . 6) (13 . 9)) 1690 0.3353 15.9313 ((3 . 12) (5 . 15) (8 . 22) (12 . 26)) 1724 0.3987 13.6625 ((1 . 2) (2 . 4) (3 . 5) (5 . 8)) 1763 0.3997 9.2498 ((5 . 1) (6 . 2) (7 . 4) (9 . 8)) 1776 0.3987 13.4127 ((5 . 8) (8 . 11) (9 . 13) (12 . 18)) 1778 0.1493 8.9215 ((2 . 6) (3 . 10) (5 . 11) (7 . 13)) 1793 0.2800 10.3892 ((1 . 9) (5 . 15) (8 . 17) (9 . 18)) 1796 0.3362 9.8657 ((7 . 2) (8 . 3) (12 . 5) (13 . 6)) 1896 0.3996 9.9293 ((3 . 10) (5 . 12) (6 . 13) (13 . 21)) 1897 0.3991 12.3480 ((5 . 37) (7 . 38) (12 . 44) (13 . 48)) 1908 0.3991 12.4201 ((2 . 6) (5 . 9) (8 . 16) (12 . 19)) 1909 0.2799 11.9106 ((2 . 23) (3 . 24) (12 . 36) (13 . 38)) 1944 0.4988 10.0767 ((1 . 6) (3 . 8) (5 . 12) (7 . 14) (13 . 25)) 1957 0.3987 13.6623 ((1 . 6) (3 . 10) (6 . 12) (13 . 20)) 1961 0.1969 14.0508 ((3 . 12) (5 . 13) (8 . 18) (12 . 23)) 1967 0.3991 12.1673 ((3 . 4) (8 . 9) (9 . 11) (12 . 15)) 1987 0.3990 12.5558 ((3 . 9) (5 . 10) (7 . 12) (8 . 13)) 1992 0.1970 11.1941 ((5 . 5) (7 . 8) (9 . 10) (12 . 13)) 2048 0.2800 11.6488 ((3 . 9) (5 . 10) (8 . 14) (9 . 15)) 2054 0.2798 13.7855 ((1 . 9) (3 . 11) (5 . 15) (6 . 16)) 2067 0.1970 10.3305 ((2 . 47) (3 . 48) (5 . 49) (6 . 52)) 2117 0.3991 12.4923 ((5 . 13) (8 . 19) (12 . 24) (13 . 26)) 2122 0.3999 6.6370 ((5 . 13) (6 . 16) (9 . 21) (12 . 23)) 2166 0.1329 13.3629 ((1 . 10) (3 . 14) (8 . 18) (12 . 22)) 2179 0.1493 11.5488 ((1 . 12) (2 . 15) (3 . 16) (5 . 19)) 2233 0.3992 11.7896 ((3 . 1) (8 . 6) (9 . 7) (12 . 8)) 2248 0.3988 13.2301 ((1 . 17) (2 . 20) (3 . 23) (6 . 26)) 2249 0.3363 8.0332 ((2 . 2) (3 . 3) (6 . 8) (7 . 9)) 2295 0.3998 8.0168 ((5 . 1) (6 . 2) (8 . 4) (12 . 6)) 2298 0.2800 10.0471 ((3 . 7) (5 . 9) (6 . 11) (7 . 13)) 2308 0.3992 12.0305 ((5 . 2) (6 . 3) (9 . 7) (13 . 10)) 2342 0.3998 8.5706 ((2 . 2) (3 . 3) (5 . 4) (7 . 5)) 2344 0.3997 9.1434 ((2 . 19) (5 . 22) (6 . 23) (7 . 24)) 2364 0.1493 10.1377 ((3 . 6) (5 . 8) (6 . 10) (9 . 16)) 2443 0.3999 7.5292 ((3 . 3) (7 . 5) (8 . 6) (9 . 7)) 2447 0.3999 7.8614 ((1 . 14) (5 . 19) (6 . 20) (8 . 26)) 2465 0.3666 11.7715 ((6 . 3) (7 . 4) (8 . 5) (12 . 8)) 2510 0.3996 10.2282 ((3 . 22) (6 . 26) (8 . 29) (9 . 30)) 2519 0.3990 12.6711 ((5 . 1) (8 . 3) (9 . 4) (12 . 6)) 2525 0.3998 8.4844 ((1 . 37) (3 . 39) (9 . 49) (12 . 52)) 2533 0.3997 9.5871 ((2 . 1) (3 . 3) (6 . 5) (13 . 14)) 2544 0.3999 7.3840 ((3 . 18) (5 . 19) (6 . 20) (8 . 24)) 2551 0.3998 8.2734 ((2 . 2) (5 . 4) (6 . 5) (12 . 10)) 2591 0.3999 7.2251 ((7 . 36) (8 . 37) (9 . 38) (12 . 39)) 2627 0.3997 9.4803 ((1 . 52) (3 . 53) (7 . 56) (8 . 57)) 2634 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (12 . 12) (13 . 13)) 2658 0.3999 7.4351 ((5 . 5) (6 . 6) (8 . 8) (9 . 9)) 2682 0.3358 13.5440 ((1 . 2) (2 . 4) (6 . 8) (13 . 18)) 2753 0.5989 7.7654 ((3 . 3) (5 . 5) (8 . 7) (9 . 8) (12 . 10) (13 . 11)) 2804 0.0999 13.3626 ((5 . 26) (7 . 28) (12 . 35) (13 . 37)) 2834 0.3991 12.2538 ((1 . 7) (3 . 10) (8 . 15) (9 . 17)) 2842 0.3983 14.4578 ((3 . 7) (5 . 8) (7 . 10) (12 . 13)) 2867 0.2800 10.6645 ((1 . 1) (3 . 5) (9 . 11) (12 . 13)) 2947 0.3999 7.2861 ((3 . 16) (5 . 17) (6 . 18) (9 . 22)) 3014 0.3994 11.2520 ((1 . 15) (2 . 16) (7 . 20) (8 . 21)) 3019 0.3991 12.1886 ((2 . 8) (6 . 12) (7 . 13) (13 . 18)) 3034 0.2800 11.3113 ((1 . 4) (5 . 8) (7 . 11) (8 . 13)) 3041 0.3994 11.0207 ((3 . 11) (5 . 13) (7 . 15) (9 . 19)) 3070 0.3996 10.0578 ((7 . 30) (8 . 31) (12 . 34) (13 . 37)) 3084 0.3993 11.7196 ((1 . 4) (2 . 6) (5 . 10) (12 . 16)) 3127 0.3360 12.1128 ((6 . 7) (7 . 9) (12 . 16) (13 . 18)) 3176 0.3983 14.3924 ((1 . 34) (6 . 36) (7 . 37) (8 . 39)) 3197 0.3997 9.4366 ((2 . 20) (3 . 22) (5 . 23) (9 . 29)) 3202 0.3995 10.8055 ((1 . 2) (2 . 3) (3 . 4) (6 . 6)) 3212 0.3997 9.2636 ((3 . 1) (6 . 6) (7 . 7) (8 . 10)) 3222 0.3992 12.0922 ((5 . 2) (7 . 5) (9 . 9) (12 . 13)) 3286 0.3993 11.4944 ((2 . 2) (9 . 10) (12 . 12) (13 . 15)) 3300 0.1970 11.4254 ((7 . 9) (8 . 10) (9 . 11) (12 . 12)) 3310 0.3995 10.5555 ((5 . 3) (7 . 4) (9 . 6) (13 . 10)) 3322 0.1970 8.0318 ((2 . 4) (3 . 6) (5 . 8) (6 . 10)) 3339 0.3994 10.9605 ((2 . 18) (3 . 20) (7 . 24) (8 . 25)) 3358 0.3362 10.3615 ((2 . 3) (3 . 5) (6 . 9) (7 . 11)) 3362 0.3979 15.2587 ((2 . 5) (3 . 7) (5 . 9) (8 . 13)) 3391 0.3995 10.8467 ((1 . 5) (5 . 12) (7 . 15) (13 . 20)) 3415 0.4996 7.7015 ((3 . 18) (5 . 20) (6 . 21) (7 . 22) (8 . 23)) 3446 0.5363 10.7779 ((2 . 2) (3 . 9) (5 . 10) (6 . 11) (7 . 12) (13 . 13)) 3470 0.3980 15.1602 ((5 . 11) (7 . 12) (8 . 13) (13 . 17)) 3495 0.3998 8.1841 ((1 . 5) (2 . 6) (7 . 13) (8 . 14)) 3496 0.3360 11.8945 ((1 . 20) (6 . 25) (7 . 26) (8 . 27)) 3537 0.2796 16.6122 ((5 . 3) (7 . 8) (12 . 11) (13 . 12)) 3538 0.3982 14.6117 ((3 . 13) (5 . 16) (6 . 17) (9 . 21)) 3561 0.3990 12.5253 ((2 . 17) (3 . 21) (8 . 27) (9 . 29)) 3585 0.2799 13.3490 ((6 . 15) (8 . 17) (12 . 19) (13 . 22)) 3613 0.3998 8.8563 ((3 . 42) (5 . 43) (7 . 44) (8 . 45)) 3628 0.2800 8.6494 ((1 . 1) (3 . 7) (9 . 13) (12 . 15)) 3651 0.3995 10.7040 ((2 . 2) (7 . 10) (12 . 15) (13 . 20)) 3658 0.3989 12.9951 ((3 . 10) (5 . 13) (7 . 14) (12 . 19)) 3661 0.3999 7.2344 ((1 . 6) (5 . 14) (9 . 21) (12 . 25)) 3732 0.3985 14.0925 ((2 . 6) (3 . 8) (5 . 10) (8 . 13)) 3778 0.3993 11.3799 ((2 . 9) (5 . 17) (7 . 19) (12 . 23)) 3787 0.3992 11.8224 ((3 . 24) (5 . 25) (6 . 26) (9 . 32)) 3807 0.1492 17.2171 ((7 . 48) (8 . 49) (9 . 51) (13 . 52)) 3817 0.3985 14.1419 ((1 . 6) (2 . 8) (5 . 12) (13 . 19)) 3829 0.3997 9.0900 ((3 . 3) (5 . 4) (6 . 6) (12 . 13)) 3830 0.3987 13.4054 ((3 . 1) (7 . 3) (8 . 5) (12 . 6)) 3834 0.3998 8.3679 ((3 . 4) (5 . 5) (7 . 6) (8 . 8)) 3853 0.2799 12.1796 ((1 . 2) (2 . 4) (5 . 7) (13 . 19)) 3870 0.3995 10.6518 ((2 . 2) (3 . 4) (7 . 7) (8 . 9)) 3968 0.1970 13.1914 ((7 . 2) (9 . 4) (12 . 8) (13 . 10)) 4009 0.3992 12.0814 ((1 . 6) (2 . 8) (6 . 16) (7 . 17)) 4011 0.2800 10.9484 ((1 . 2) (2 . 4) (3 . 5) (5 . 6)) 4030 0.4988 10.0156 ((3 . 4) (5 . 8) (7 . 9) (12 . 13) (13 . 15)) 4034 0.3995 10.5622 ((1 . 1) (3 . 3) (8 . 8) (13 . 14)) 4062 0.3997 9.0507 ((1 . 39) (3 . 44) (9 . 51) (12 . 53)) 4067 0.3992 11.8145 ((5 . 12) (6 . 13) (8 . 17) (9 . 19)) 4077 0.3999 7.5398 ((8 . 4) (9 . 5) (12 . 6) (13 . 7)) 4115 0.3992 12.0611 ((3 . 2) (7 . 9) (9 . 12) (12 . 14)) 4134 0.3994 11.0574 ((2 . 25) (5 . 27) (7 . 30) (8 . 31)) 4151 0.3994 11.0449 ((5 . 1) (6 . 2) (7 . 4) (13 . 11)) 4195 0.3997 9.7195 ((2 . 3) (3 . 4) (5 . 5) (7 . 7)) 4204 0.2799 12.6779 ((6 . 1) (7 . 2) (9 . 4) (13 . 10)) 4216 0.3362 9.9996 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 4226 0.2800 10.2212 ((3 . 2) (7 . 5) (9 . 10) (12 . 13)) 4242 0.3361 11.1291 ((3 . 2) (6 . 5) (9 . 8) (12 . 10)) 4243 0.3362 10.2057 ((5 . 1) (6 . 2) (8 . 4) (9 . 6)) 4254 0.2800 10.8773 ((1 . 7) (2 . 10) (5 . 16) (7 . 20)) 4261 0.3998 8.2056 ((2 . 12) (3 . 14) (5 . 15) (6 . 16)) 4266 0.3998 7.9758 ((1 . 5) (5 . 9) (6 . 10) (7 . 14)) 4281 0.3994 11.1392 ((7 . 7) (8 . 9) (12 . 13) (13 . 16)) 4299 0.3993 11.4069 ((7 . 5) (9 . 7) (12 . 8) (13 . 10)) 4326 0.1970 10.6873 ((6 . 3) (7 . 4) (9 . 6) (13 . 14)) 4332 0.3997 9.5154 ((3 . 1) (5 . 3) (7 . 5) (9 . 8)) 4352 0.3995 10.8484 ((1 . 1) (3 . 4) (5 . 5) (7 . 7)) 4386 0.3993 11.6187 ((2 . 7) (3 . 8) (8 . 13) (13 . 17)) 4408 0.3993 11.4791 ((5 . 20) (7 . 21) (8 . 22) (12 . 24)) 4419 0.1970 12.9278 ((2 . 1) (3 . 2) (5 . 5) (8 . 11)) 4470 0.2800 8.3672 ((1 . 17) (3 . 22) (5 . 23) (6 . 24)) 4492 0.3982 14.6795 ((1 . 6) (3 . 10) (5 . 12) (9 . 19)) 4495 0.3999 7.5689 ((3 . 1) (5 . 5) (9 . 11) (12 . 19)) 4504 0.3979 15.3393 ((3 . 2) (5 . 5) (9 . 12) (13 . 16)) 4505 0.3358 13.4129 ((3 . 27) (8 . 31) (9 . 33) (12 . 35)) 4516 0.2800 11.1866 ((1 . 3) (2 . 5) (3 . 7) (7 . 11)) 4538 0.2412 11.5583 ((5 . 27) (6 . 29) (12 . 36) (13 . 39)) 4560 0.1970 13.2947 ((5 . 5) (8 . 7) (9 . 10) (12 . 12)) 4563 0.3997 9.5405 ((5 . 25) (7 . 27) (12 . 32) (13 . 33)) 4579 0.3998 8.0616 ((3 . 1) (5 . 2) (9 . 5) (12 . 7)) 4589 0.3986 13.8366 ((1 . 17) (3 . 20) (5 . 21) (7 . 24)) 4607 0.3998 8.7955 ((6 . 8) (7 . 9) (12 . 15) (13 . 17)) 4699 0.3988 13.3421 ((5 . 8) (7 . 10) (8 . 11) (13 . 13)) 4715 0.3998 8.4746 ((5 . 13) (6 . 14) (7 . 15) (8 . 16)) 4716 0.3999 7.3674 ((3 . 4) (5 . 6) (7 . 7) (8 . 8)) 4731 0.3998 7.9660 ((2 . 13) (5 . 17) (7 . 19) (8 . 20)) 4764 0.3997 9.4694 ((2 . 4) (3 . 6) (5 . 7) (6 . 8)) 4783 0.3997 9.0223 ((7 . 7) (8 . 8) (9 . 9) (12 . 10)) 4817 0.3997 9.4045 ((1 . 5) (3 . 7) (5 . 9) (7 . 11)) 4886 0.3970 16.7131 ((5 . 6) (6 . 7) (8 . 8) (12 . 13)) 4888 0.3989 12.9645 ((2 . 2) (3 . 5) (7 . 10) (8 . 11)) 4889 0.3993 11.6192 ((1 . 8) (3 . 9) (8 . 19) (13 . 23)) 4963 0.3997 9.6992 ((3 . 2) (8 . 5) (12 . 8) (13 . 9)) 4978 0.3997 9.6640 ((1 . 19) (2 . 20) (8 . 27) (13 . 31)) 4982 0.3981 14.9813 ((3 . 5) (8 . 11) (9 . 13) (13 . 19)) 4998 0.3995 10.3872 ((1 . 7) (7 . 16) (8 . 17) (12 . 21)) 5000 0.4988 10.0823 ((3 . 31) (5 . 33) (7 . 34) (8 . 35) (12 . 37)) 5016 0.3998 8.0370 ((3 . 2) (7 . 5) (8 . 6) (12 . 8)) 5039 0.1493 8.7040 ((3 . 35) (5 . 36) (8 . 38) (9 . 43)) 5068 0.3996 10.2105 ((1 . 1) (2 . 3) (5 . 9) (13 . 19)) 5069 0.3994 11.1565 ((2 . 8) (5 . 14) (7 . 16) (12 . 20)) 5073 0.3993 11.4995 ((1 . 31) (5 . 37) (9 . 41) (13 . 45)) 5080 0.3999 7.4632 ((5 . 6) (7 . 7) (8 . 8) (12 . 13)) 5092 0.3999 7.3381 ((1 . 5) (8 . 13) (9 . 14) (12 . 16)) 5101 0.3996 10.2720 ((3 . 14) (5 . 17) (8 . 22) (9 . 24)) 5103 0.2798 14.7732 ((7 . 5) (8 . 7) (12 . 11) (13 . 12)) 5121 0.3984 14.1955 ((1 . 13) (5 . 17) (8 . 22) (9 . 23)) 5132 0.3996 10.2520 ((1 . 17) (9 . 27) (12 . 29) (13 . 33)) 5134 0.3996 10.3181 ((3 . 5) (5 . 8) (9 . 12) (12 . 16)) 5145 0.1970 9.0575 ((3 . 2) (5 . 7) (7 . 9) (8 . 11)) 5192 0.3983 14.4736 ((2 . 10) (3 . 13) (5 . 16) (13 . 25)) 5212 0.3992 11.9477 ((2 . 7) (5 . 10) (12 . 16) (13 . 17)) 5223 0.2800 11.4434 ((5 . 2) (6 . 4) (9 . 9) (13 . 11)) 5266 0.2799 12.4924 ((3 . 9) (7 . 12) (9 . 16) (12 . 18)) 5318 0.3985 13.9634 ((1 . 9) (5 . 13) (6 . 14) (9 . 17)) 5323 0.3996 9.7670 ((3 . 13) (5 . 15) (6 . 16) (9 . 19)) 5324 0.3996 10.1211 ((3 . 19) (5 . 21) (7 . 23) (8 . 26)) 5378 0.3362 9.9205 ((2 . 5) (6 . 10) (8 . 13) (13 . 20)) 5442 0.3996 9.8045 ((5 . 31) (6 . 32) (8 . 33) (13 . 37)) 5487 0.3970 16.7178 ((1 . 5) (2 . 8) (3 . 10) (5 . 12)) 5501 0.3986 13.7319 ((7 . 26) (8 . 27) (9 . 28) (13 . 34)) 5525 0.3997 9.0343 ((3 . 3) (8 . 11) (12 . 12) (13 . 13)) 5540 0.3992 12.0339 ((5 . 2) (7 . 5) (9 . 9) (12 . 13)) 5560 0.3991 12.3470 ((5 . 5) (8 . 7) (12 . 10) (13 . 14)) 5562 0.3996 10.1635 ((1 . 5) (3 . 9) (7 . 15) (12 . 21)) 5594 0.3988 13.3226 ((5 . 2) (8 . 5) (9 . 7) (13 . 13)) 5648 0.3997 9.0775 ((1 . 2) (3 . 5) (5 . 6) (8 . 8)) 5656 0.3996 10.0391 ((1 . 4) (5 . 12) (7 . 15) (13 . 25)) 5689 0.3999 7.3523 ((7 . 3) (8 . 4) (12 . 8) (13 . 9)) 5701 0.3360 12.4131 ((5 . 7) (8 . 10) (12 . 13) (13 . 15)) 5702 0.3998 8.0142 ((1 . 12) (3 . 13) (5 . 15) (7 . 16)) 5704 0.8676 7.2815 ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (7 . 6) (8 . 7) (9 . 8) (12 . 9) (13 . 10)) 5749 0.1493 12.5589 ((1 . 1) (2 . 2) (7 . 8) (8 . 9)) 5770 0.3991 12.4758 ((1 . 2) (3 . 5) (6 . 10) (13 . 22)) 5771 0.1970 9.5243 ((2 . 2) (5 . 7) (7 . 10) (12 . 16)) 5782 0.3999 7.4721 ((5 . 2) (6 . 3) (7 . 4) (9 . 7)) 5795 0.3986 13.7473 ((7 . 2) (8 . 3) (12 . 5) (13 . 8)) 5827 0.3995 10.6146 ((3 . 12) (8 . 18) (9 . 20) (12 . 22)) 5830 0.3659 14.7534 ((3 . 5) (6 . 9) (9 . 15) (12 . 16)) 5904 0.3996 10.2950 ((5 . 2) (9 . 6) (12 . 8) (13 . 10)) 5913 0.1493 9.5913 ((1 . 1) (8 . 11) (9 . 12) (13 . 16)) 5939 0.3996 10.2625 ((1 . 5) (2 . 7) (5 . 12) (6 . 13)) 5945 0.3997 9.0817 ((3 . 31) (5 . 34) (6 . 35) (7 . 36)) 5949 0.3350 16.9821 ((6 . 11) (8 . 13) (9 . 15) (13 . 19)) 5955 0.3996 10.2701 ((1 . 2) (2 . 6) (5 . 10) (7 . 12)) 6000 0.3995 10.5852 ((1 . 2) (2 . 3) (3 . 6) (5 . 7)) 6029 0.3363 8.1759 ((1 . 25) (2 . 26) (3 . 28) (12 . 37)) 6033 0.3993 11.4684 ((3 . 2) (5 . 3) (7 . 5) (8 . 6)) 6041 0.1493 11.7759 ((1 . 4) (2 . 5) (3 . 6) (9 . 14)) 6074 0.3977 15.5758 ((2 . 1) (3 . 3) (6 . 7) (8 . 10)) 6075 0.1493 13.2901 ((3 . 16) (7 . 23) (12 . 29) (13 . 30)) 6079 0.3998 8.3502 ((2 . 10) (6 . 15) (7 . 17) (8 . 18)) 6087 0.1497 6.1310 ((2 . 2) (5 . 4) (7 . 7) (8 . 9) (9 . 11)) 6089 0.3996 10.0271 ((2 . 15) (7 . 22) (12 . 26) (13 . 30)) 6169 0.4524 10.0945 ((1 . 3) (3 . 4) (5 . 8) (7 . 9) (8 . 10) (13 . 11)) 6192 0.3999 7.0323 ((2 . 7) (5 . 12) (6 . 15) (7 . 16)) 6228 0.1969 13.9912 ((2 . 4) (3 . 6) (6 . 8) (12 . 16)) 6243 0.3998 8.6059 ((2 . 9) (3 . 11) (5 . 12) (7 . 13)) 6258 0.3994 11.1837 ((1 . 5) (3 . 8) (5 . 11) (8 . 14)) 6261 0.3997 9.0459 ((1 . 2) (3 . 10) (7 . 15) (13 . 23)) 6266 0.3989 13.0480 ((1 . 2) (2 . 4) (5 . 7) (8 . 12)) 6268 0.3998 8.0539 ((3 . 11) (5 . 12) (6 . 13) (7 . 14)) 6270 0.3983 14.4965 ((7 . 11) (9 . 14) (12 . 16) (13 . 19)) 6294 0.3987 13.4432 ((6 . 19) (8 . 21) (9 . 24) (13 . 28)) 6329 0.3998 8.2195 ((8 . 9) (9 . 11) (12 . 13) (13 . 15)) 6348 0.3357 14.1367 ((5 . 2) (6 . 3) (8 . 6) (13 . 13)) 6356 0.3998 8.0543 ((2 . 2) (7 . 8) (8 . 10) (12 . 14)) 6359 0.3992 12.0166 ((1 . 2) (3 . 5) (5 . 6) (7 . 8)) 6369 0.3990 12.7776 ((3 . 25) (5 . 27) (8 . 30) (13 . 36)) 6376 0.3992 12.1015 ((1 . 16) (2 . 18) (5 . 23) (8 . 29)) 6384 0.3997 9.4257 ((3 . 3) (5 . 4) (7 . 5) (8 . 6)) 6392 0.3997 8.9927 ((2 . 2) (3 . 4) (5 . 6) (13 . 14)) 6434 0.3998 8.9263 ((2 . 1) (7 . 6) (8 . 7) (12 . 9)) 6462 0.3995 10.6881 ((1 . 11) (7 . 19) (8 . 21) (12 . 25)) 6498 0.3999 6.7735 ((5 . 15) (8 . 22) (12 . 26) (13 . 28)) 6506 0.4000 5.7567 ((3 . 20) (5 . 21) (8 . 24) (12 . 25)) 6520 0.3984 14.1882 ((1 . 11) (7 . 18) (9 . 22) (12 . 23)) 6536 0.3998 8.2413 ((1 . 30) (3 . 33) (5 . 34) (7 . 37)) 6548 0.3360 12.1066 ((7 . 6) (8 . 8) (12 . 14) (13 . 15)) 6553 0.2800 9.8298 ((1 . 12) (3 . 16) (5 . 19) (12 . 27)) 6561 0.1970 11.2987 ((2 . 4) (3 . 5) (8 . 11) (13 . 16)) 6573 0.1970 8.7594 ((6 . 15) (7 . 16) (8 . 18) (12 . 20)) 6578 0.3362 10.1822 ((2 . 33) (3 . 36) (5 . 39) (8 . 41)) 6585 0.3998 8.5741 ((5 . 4) (6 . 5) (7 . 7) (9 . 9)) 6586 0.2800 9.2723 ((1 . 16) (2 . 17) (3 . 19) (5 . 23)) 6587 0.2800 11.5022 ((2 . 30) (3 . 32) (5 . 35) (6 . 36)) 6605 0.2800 10.7693 ((7 . 2) (8 . 1) (12 . 5) (13 . 7)) 6613 0.3977 15.5722 ((1 . 11) (3 . 15) (5 . 19) (8 . 23)) 6622 0.3997 9.4502 ((1 . 5) (3 . 8) (5 . 10) (7 . 12)) 6635 0.2798 14.6644 ((1 . 2) (2 . 3) (3 . 6) (6 . 10)) END