6622 25 0.3766 10.1994 ((4 . 1) (5 . 2) (8 . 5) (11 . 9) (12 . 13)) 77 0.4437 10.4071 ((1 . 10) (2 . 12) (4 . 16) (5 . 17)) 91 0.4441 8.5757 ((4 . 15) (6 . 20) (11 . 26) (12 . 27)) 157 0.4430 12.1220 ((4 . 4) (8 . 10) (11 . 13) (12 . 17)) 207 0.4438 9.8953 ((5 . 14) (6 . 16) (8 . 17) (10 . 19)) 259 0.4439 9.5998 ((5 . 1) (6 . 2) (10 . 5) (11 . 6)) 293 0.4436 10.6705 ((2 . 2) (5 . 4) (6 . 5) (8 . 6)) 307 0.3523 11.0767 ((2 . 2) (5 . 6) (6 . 8) (8 . 10)) 317 0.4442 8.1282 ((5 . 1) (6 . 2) (11 . 6) (12 . 8)) 329 0.4424 13.3090 ((1 . 1) (2 . 3) (6 . 7) (8 . 9)) 351 0.4444 4.4457 ((5 . 2) (8 . 4) (10 . 5) (11 . 6)) 442 0.4442 7.6003 ((4 . 11) (8 . 15) (10 . 16) (11 . 18)) 495 0.2861 10.1586 ((2 . 2) (4 . 4) (5 . 6) (10 . 12)) 541 0.3522 12.0547 ((2 . 1) (5 . 4) (10 . 9) (12 . 13)) 543 0.3930 11.8114 ((2 . 3) (5 . 7) (8 . 13) (10 . 14)) 553 0.8860 6.0741 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (6 . 7) (8 . 9) (10 . 10) (11 . 14)) 609 0.4436 10.6075 ((6 . 2) (8 . 4) (10 . 5) (12 . 7)) 624 0.4433 11.4622 ((1 . 8) (2 . 10) (11 . 19) (12 . 21)) 635 0.3525 8.9019 ((1 . 4) (5 . 9) (6 . 11) (12 . 17)) 672 0.2861 9.0890 ((2 . 8) (4 . 9) (6 . 12) (10 . 17)) 678 0.4426 12.9775 ((1 . 25) (5 . 28) (6 . 30) (8 . 32)) 729 0.3522 11.9392 ((1 . 22) (2 . 23) (6 . 30) (8 . 32)) 782 0.2861 11.5502 ((1 . 3) (5 . 6) (10 . 11) (11 . 12)) 792 0.8880 4.4835 ((1 . 10) (2 . 11) (4 . 13) (5 . 14) (6 . 16) (8 . 17) (10 . 19) (11 . 20)) 818 0.3933 10.2301 ((5 . 3) (6 . 5) (10 . 9) (11 . 11)) 834 0.4157 9.7123 ((4 . 37) (6 . 39) (10 . 43) (11 . 44)) 861 0.3930 11.8381 ((1 . 4) (2 . 5) (5 . 6) (11 . 11)) 901 0.3524 10.2675 ((1 . 3) (2 . 4) (4 . 6) (11 . 13)) 945 0.4432 11.7109 ((5 . 13) (8 . 16) (11 . 20) (12 . 21)) 960 0.4438 10.0705 ((6 . 13) (8 . 15) (10 . 16) (11 . 20)) 978 0.4434 11.2621 ((1 . 8) (2 . 11) (4 . 12) (11 . 18)) 1005 0.3932 11.0365 ((4 . 3) (5 . 4) (6 . 5) (11 . 8)) 1082 0.2862 8.0042 ((4 . 20) (5 . 22) (10 . 25) (11 . 26)) 1124 0.4442 7.8776 ((2 . 9) (4 . 10) (10 . 15) (11 . 16)) 1165 0.4436 10.6918 ((1 . 13) (2 . 15) (5 . 17) (11 . 23)) 1167 0.3521 12.3647 ((2 . 19) (8 . 25) (10 . 26) (12 . 28)) 1201 0.4416 14.4432 ((1 . 2) (4 . 5) (10 . 13) (12 . 19)) 1204 0.4428 12.5693 ((1 . 26) (4 . 28) (5 . 30) (6 . 32)) 1210 0.5555 4.4536 ((5 . 1) (6 . 2) (8 . 3) (10 . 4) (11 . 5)) 1267 0.3928 12.5571 ((1 . 14) (4 . 18) (8 . 23) (10 . 25)) 1268 0.3934 9.5695 ((2 . 16) (4 . 17) (10 . 20) (11 . 21)) 1345 0.1980 10.4044 ((2 . 10) (4 . 11) (8 . 17) (10 . 19)) 1388 0.4431 11.9371 ((2 . 2) (4 . 3) (8 . 7) (11 . 12)) 1395 0.2860 11.6935 ((4 . 2) (5 . 3) (6 . 4) (8 . 5)) 1415 0.4436 10.6496 ((4 . 1) (5 . 2) (8 . 5) (10 . 6)) 1470 0.8864 5.8850 ((1 . 9) (2 . 10) (4 . 11) (5 . 12) (6 . 13) (8 . 14) (10 . 15) (11 . 16)) 1472 0.3933 10.3865 ((2 . 3) (4 . 5) (8 . 10) (12 . 13)) 1497 0.4441 8.4511 ((1 . 11) (4 . 16) (10 . 22) (11 . 23)) 1513 0.4442 8.1572 ((2 . 9) (6 . 14) (10 . 16) (12 . 19)) 1591 0.4430 12.2520 ((1 . 7) (4 . 10) (5 . 12) (8 . 15)) 1604 0.4439 9.3379 ((1 . 8) (4 . 11) (5 . 13) (6 . 14)) 1690 0.4442 7.8210 ((1 . 15) (8 . 27) (10 . 28) (11 . 29)) 1724 0.3525 9.1042 ((5 . 1) (6 . 2) (8 . 4) (10 . 6)) 1736 0.4441 8.3550 ((2 . 2) (4 . 4) (8 . 8) (10 . 9)) 1747 0.2441 7.6976 ((1 . 9) (8 . 20) (10 . 22) (11 . 23)) 1763 0.4430 12.2698 ((2 . 1) (5 . 4) (11 . 11) (12 . 12)) 1776 0.4404 15.8110 ((1 . 8) (4 . 13) (11 . 22) (12 . 25)) 1778 0.1980 14.0956 ((1 . 6) (5 . 10) (6 . 11) (8 . 13)) 1793 0.4439 9.6745 ((1 . 5) (4 . 7) (5 . 9) (12 . 16)) 1796 0.4435 11.0126 ((4 . 2) (5 . 3) (10 . 6) (11 . 7)) 1894 0.2440 13.2733 ((2 . 6) (4 . 8) (10 . 15) (11 . 16)) 1896 0.1659 8.0700 ((2 . 4) (5 . 10) (10 . 12) (11 . 52)) 1897 0.2440 12.5145 ((4 . 35) (6 . 37) (8 . 38) (12 . 44)) 1908 0.4441 8.2034 ((8 . 8) (10 . 9) (11 . 14) (12 . 16)) 1909 0.4441 8.4926 ((2 . 32) (4 . 33) (5 . 36) (6 . 38)) 1944 0.4392 16.9145 ((1 . 12) (2 . 14) (6 . 20) (12 . 26)) 1957 0.1495 16.4163 ((4 . 2) (5 . 4) (8 . 6) (10 . 10)) 1967 0.1980 7.7276 ((6 . 8) (8 . 9) (10 . 11) (11 . 15)) 1987 0.4442 7.9059 ((6 . 9) (8 . 10) (10 . 12) (11 . 13)) 2048 0.4413 14.8218 ((2 . 3) (4 . 5) (5 . 10) (11 . 14)) 2054 0.3520 12.8190 ((4 . 4) (6 . 9) (10 . 15) (11 . 16)) 2067 0.4425 13.0440 ((4 . 47) (6 . 49) (8 . 52) (12 . 58)) 2081 0.4441 8.7197 ((1 . 1) (10 . 13) (11 . 14) (12 . 15)) 2094 0.1980 10.4081 ((5 . 2) (6 . 3) (8 . 4) (11 . 7)) 2097 0.4412 14.9249 ((4 . 10) (8 . 15) (10 . 19) (11 . 20)) 2117 0.4443 7.2614 ((4 . 8) (6 . 13) (10 . 19) (12 . 24)) 2122 0.3510 16.7189 ((1 . 7) (5 . 13) (10 . 20) (12 . 23)) 2179 0.2440 12.6629 ((4 . 12) (5 . 15) (8 . 18) (10 . 19)) 2233 0.3936 6.5434 ((2 . 2) (4 . 5) (8 . 8) (10 . 9)) 2249 0.4437 10.3476 ((1 . 1) (2 . 2) (4 . 3) (8 . 9)) 2269 0.1331 12.4563 ((1 . 2) (2 . 4) (4 . 5) (10 . 11)) 2279 0.2441 9.3898 ((2 . 6) (6 . 12) (8 . 14) (10 . 15)) 2298 0.1980 8.1579 ((4 . 3) (6 . 5) (8 . 7) (12 . 13)) 2342 0.8857 6.2294 ((1 . 8) (2 . 9) (4 . 10) (5 . 11) (6 . 12) (8 . 13) (10 . 14) (11 . 15)) 2344 0.4442 7.9507 ((2 . 9) (6 . 15) (8 . 17) (10 . 19)) 2364 0.4444 5.7803 ((5 . 6) (8 . 8) (10 . 10) (11 . 11)) 2443 0.4444 4.8560 ((8 . 1) (10 . 2) (11 . 3) (12 . 4)) 2447 0.4437 10.1565 ((1 . 20) (4 . 27) (8 . 32) (11 . 34)) 2465 0.4436 10.6227 ((4 . 3) (5 . 4) (10 . 7) (11 . 8)) 2510 0.4430 12.2382 ((1 . 18) (4 . 22) (5 . 24) (8 . 28)) 2519 0.4440 9.1502 ((5 . 1) (8 . 3) (10 . 4) (12 . 6)) 2525 0.3935 8.7910 ((2 . 44) (4 . 46) (6 . 49) (10 . 52)) 2533 0.1331 13.1731 ((1 . 7) (5 . 14) (6 . 16) (8 . 17)) 2591 0.4433 11.5983 ((2 . 34) (4 . 36) (5 . 37) (10 . 40)) 2627 0.5520 11.5536 ((5 . 53) (6 . 54) (8 . 56) (10 . 57) (12 . 59)) 2634 0.4439 9.4502 ((5 . 1) (8 . 3) (10 . 5) (12 . 7)) 2682 0.3513 15.8298 ((1 . 10) (4 . 16) (5 . 18) (11 . 22)) 2703 0.3935 8.3384 ((6 . 2) (8 . 4) (10 . 5) (11 . 6)) 2733 0.4441 8.2589 ((2 . 5) (6 . 9) (8 . 12) (11 . 14)) 2753 0.4435 11.0293 ((4 . 1) (6 . 3) (8 . 5) (11 . 7)) 2821 0.4431 12.0695 ((1 . 6) (2 . 10) (4 . 12) (5 . 14)) 2842 0.3525 7.7643 ((4 . 6) (5 . 7) (10 . 10) (12 . 13)) 2947 0.4431 11.8534 ((1 . 8) (2 . 9) (11 . 20) (12 . 22)) 2990 0.2861 9.9822 ((1 . 13) (4 . 17) (5 . 18) (8 . 21)) 3014 0.4438 9.8609 ((8 . 14) (10 . 15) (11 . 16) (12 . 17)) 3019 0.4434 11.0902 ((4 . 12) (5 . 15) (10 . 18) (12 . 21)) 3034 0.4439 9.4775 ((5 . 6) (8 . 8) (11 . 13) (12 . 15)) 3041 0.4440 9.2496 ((1 . 7) (4 . 10) (8 . 13) (12 . 19)) 3070 0.4440 8.8740 ((6 . 30) (8 . 31) (10 . 34) (12 . 37)) 3084 0.4443 6.1906 ((4 . 2) (6 . 4) (10 . 6) (12 . 10)) 3127 0.4442 7.7907 ((4 . 12) (6 . 16) (8 . 17) (10 . 18)) 3176 0.3924 13.7107 ((2 . 22) (4 . 23) (8 . 30) (12 . 32)) 3197 0.4438 10.0359 ((1 . 13) (4 . 17) (10 . 22) (11 . 23)) 3200 0.2441 8.3222 ((2 . 7) (4 . 8) (8 . 12) (10 . 14)) 3202 0.4415 14.5259 ((1 . 10) (4 . 14) (10 . 20) (11 . 21)) 3212 0.4436 10.5057 ((1 . 1) (4 . 6) (5 . 7) (8 . 11)) 3222 0.3924 13.7120 ((4 . 13) (6 . 17) (10 . 22) (12 . 24)) 3286 0.4424 13.3161 ((1 . 8) (2 . 10) (4 . 12) (5 . 15)) 3310 0.4411 15.1017 ((2 . 2) (5 . 4) (8 . 6) (11 . 10)) 3322 0.4443 7.0450 ((2 . 2) (4 . 4) (6 . 8) (8 . 10)) 3334 0.1980 9.6901 ((5 . 7) (10 . 11) (11 . 12) (12 . 13)) 3339 0.4426 12.8841 ((1 . 8) (4 . 14) (8 . 18) (12 . 23)) 3362 0.3524 9.3865 ((1 . 3) (2 . 5) (4 . 7) (8 . 12)) 3391 0.4428 12.5722 ((1 . 14) (2 . 15) (5 . 18) (6 . 20)) 3415 0.4443 6.7336 ((5 . 20) (6 . 21) (8 . 23) (10 . 24)) 3446 0.4442 7.8970 ((5 . 9) (6 . 10) (10 . 12) (11 . 13)) 3470 0.4442 7.8503 ((2 . 11) (4 . 12) (5 . 13) (10 . 17)) 3495 0.3523 10.7437 ((6 . 6) (8 . 9) (10 . 10) (11 . 11)) 3496 0.3934 9.5520 ((2 . 21) (5 . 24) (6 . 25) (10 . 28)) 3537 0.3519 13.5827 ((1 . 1) (5 . 8) (8 . 11) (11 . 12)) 3538 0.4438 10.0232 ((1 . 16) (5 . 21) (6 . 22) (12 . 27)) 3561 0.4442 8.0446 ((4 . 21) (6 . 25) (11 . 29) (12 . 32)) 3613 0.8850 6.5614 ((1 . 27) (2 . 28) (4 . 30) (5 . 31) (6 . 32) (8 . 38) (10 . 39) (11 . 42)) 3628 0.4436 10.4856 ((2 . 1) (5 . 13) (6 . 15) (8 . 16)) 3651 0.4440 9.1772 ((1 . 7) (8 . 19) (10 . 20) (12 . 25)) 3658 0.4441 8.5999 ((2 . 13) (4 . 14) (5 . 15) (6 . 16)) 3661 0.4444 4.9041 ((5 . 14) (6 . 17) (8 . 18) (10 . 22)) 3663 0.4439 9.3884 ((4 . 3) (5 . 4) (6 . 6) (8 . 7)) 3732 0.3930 11.9606 ((4 . 6) (5 . 8) (6 . 10) (10 . 13)) 3778 0.4438 10.0988 ((1 . 5) (4 . 8) (11 . 19) (12 . 20)) 3787 0.3935 8.6086 ((2 . 8) (6 . 13) (10 . 16) (12 . 18)) 3817 0.4427 12.7492 ((2 . 6) (4 . 8) (6 . 12) (10 . 14)) 3829 0.4443 7.0230 ((5 . 3) (6 . 4) (8 . 7) (12 . 13)) 3830 0.4427 12.8115 ((5 . 2) (6 . 3) (8 . 5) (11 . 6)) 3834 0.4441 8.6171 ((5 . 2) (8 . 4) (10 . 5) (11 . 6)) 3853 0.4429 12.4308 ((1 . 11) (4 . 13) (6 . 19) (8 . 20)) 3870 0.4438 9.8442 ((4 . 6) (8 . 11) (10 . 12) (12 . 14)) 3968 0.3933 10.3543 ((2 . 2) (5 . 4) (6 . 7) (11 . 12)) 3986 0.4426 12.9487 ((5 . 10) (8 . 16) (10 . 19) (11 . 20)) 4009 0.4439 9.4723 ((2 . 16) (4 . 17) (6 . 20) (10 . 24)) 4011 0.4440 8.8659 ((2 . 1) (5 . 2) (8 . 5) (10 . 6)) 4030 0.4442 8.0793 ((1 . 4) (2 . 7) (8 . 11) (10 . 12)) 4062 0.4440 9.2282 ((2 . 34) (4 . 38) (11 . 44) (12 . 45)) 4067 0.3925 13.4779 ((2 . 11) (4 . 13) (10 . 21) (12 . 23)) 4077 0.4432 11.8416 ((1 . 3) (2 . 4) (5 . 6) (12 . 13)) 4115 0.4437 10.3866 ((4 . 16) (5 . 18) (6 . 20) (8 . 21)) 4134 0.4440 8.9036 ((4 . 23) (8 . 25) (10 . 26) (11 . 27)) 4151 0.4430 12.0868 ((1 . 8) (4 . 11) (8 . 16) (11 . 20)) 4195 0.8878 4.7594 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 7) (10 . 8) (11 . 10)) 4216 0.1980 9.4315 ((6 . 12) (8 . 13) (10 . 14) (12 . 16)) 4226 0.3522 11.9737 ((2 . 2) (4 . 3) (5 . 5) (8 . 10)) 4242 0.2861 8.6786 ((2 . 1) (5 . 3) (6 . 4) (8 . 6)) 4243 0.4443 6.4818 ((5 . 2) (6 . 3) (8 . 5) (10 . 6)) 4254 0.4441 8.2233 ((4 . 2) (6 . 5) (8 . 7) (12 . 12)) 4261 0.4438 10.1015 ((6 . 13) (8 . 14) (10 . 15) (11 . 17)) 4266 0.4441 8.7741 ((1 . 7) (2 . 9) (4 . 10) (8 . 17)) 4281 0.4441 8.7281 ((6 . 7) (8 . 9) (11 . 14) (12 . 16)) 4326 0.4429 12.3893 ((4 . 1) (8 . 5) (11 . 8) (12 . 14)) 4332 0.1495 12.5998 ((1 . 1) (2 . 3) (4 . 5) (5 . 8)) 4352 0.4436 10.5539 ((2 . 7) (6 . 13) (8 . 14) (12 . 17)) 4386 0.4435 10.8096 ((1 . 7) (6 . 11) (8 . 13) (12 . 17)) 4408 0.4444 5.7066 ((2 . 10) (10 . 21) (11 . 23) (12 . 24)) 4419 0.1495 6.8648 ((2 . 1) (4 . 2) (5 . 5) (11 . 11)) 4470 0.4438 9.9570 ((1 . 6) (4 . 11) (8 . 15) (11 . 17)) 4495 0.4436 10.7138 ((4 . 5) (5 . 7) (8 . 9) (12 . 15)) 4502 0.3925 13.5325 ((1 . 2) (2 . 3) (10 . 13) (12 . 21)) 4516 0.4443 7.2317 ((6 . 11) (8 . 13) (11 . 17) (12 . 19)) 4560 0.4441 8.4087 ((4 . 7) (5 . 10) (8 . 12) (12 . 19)) 4562 0.4437 10.3058 ((2 . 21) (4 . 23) (6 . 26) (8 . 30)) 4579 0.4443 7.1944 ((1 . 5) (2 . 6) (4 . 7) (12 . 13)) 4589 0.3930 11.8240 ((4 . 17) (8 . 20) (10 . 21) (12 . 26)) 4607 0.4439 9.3171 ((2 . 9) (10 . 18) (11 . 19) (12 . 20)) 4671 0.4437 10.2828 ((1 . 5) (4 . 9) (5 . 10) (10 . 16)) 4678 0.4432 11.6692 ((1 . 5) (2 . 7) (4 . 8) (5 . 9)) 4699 0.1979 15.5008 ((1 . 8) (2 . 9) (4 . 10) (6 . 11)) 4715 0.4441 8.7468 ((4 . 4) (8 . 9) (10 . 13) (11 . 15)) 4716 0.5536 9.9145 ((4 . 3) (5 . 4) (6 . 5) (8 . 7) (10 . 8)) 4731 0.4438 9.8800 ((4 . 12) (5 . 13) (6 . 16) (8 . 17)) 4764 0.2441 10.2850 ((2 . 9) (4 . 10) (5 . 11) (8 . 14)) 4783 0.4433 11.5944 ((2 . 2) (5 . 6) (10 . 8) (11 . 9)) 4817 0.5554 5.4664 ((5 . 6) (6 . 7) (8 . 9) (10 . 11) (11 . 13)) 4857 0.3526 5.7771 ((4 . 12) (5 . 14) (6 . 15) (8 . 16)) 4886 0.4425 13.0689 ((1 . 18) (4 . 20) (10 . 27) (11 . 28)) 4888 0.4150 12.5443 ((2 . 3) (4 . 5) (6 . 10) (8 . 11)) 4889 0.4441 8.5964 ((1 . 13) (5 . 21) (6 . 23) (8 . 24)) 4961 0.4434 11.2532 ((1 . 8) (4 . 11) (5 . 13) (8 . 18)) 4963 0.4429 12.3443 ((2 . 3) (5 . 6) (6 . 7) (10 . 9)) 4998 0.3525 8.1447 ((1 . 4) (4 . 7) (10 . 16) (11 . 17)) 5000 0.4443 7.3416 ((5 . 32) (6 . 33) (8 . 35) (10 . 36)) 5016 0.2861 10.0579 ((4 . 1) (10 . 5) (11 . 6) (12 . 7)) 5053 0.4439 9.4264 ((1 . 8) (5 . 13) (6 . 14) (8 . 17)) 5068 0.4421 13.7866 ((1 . 14) (10 . 25) (11 . 26) (12 . 27)) 5069 0.1980 11.0013 ((4 . 3) (5 . 6) (6 . 8) (11 . 14)) 5073 0.4443 6.5757 ((2 . 33) (6 . 37) (10 . 41) (12 . 43)) 5080 0.4840 5.5274 ((2 . 7) (5 . 10) (6 . 11) (8 . 13) (10 . 14)) 5092 0.4438 10.1062 ((2 . 13) (5 . 16) (6 . 17) (10 . 19)) 5101 0.2441 9.5943 ((4 . 20) (5 . 22) (6 . 24) (10 . 27)) 5103 0.3519 13.5768 ((4 . 3) (5 . 5) (11 . 11) (12 . 12)) 5121 0.4436 10.5175 ((5 . 13) (8 . 14) (10 . 17) (12 . 22)) 5132 0.3932 10.5787 ((1 . 23) (4 . 27) (5 . 29) (10 . 34)) 5134 0.4440 8.9553 ((1 . 11) (4 . 15) (5 . 16) (8 . 20)) 5167 0.4442 7.9579 ((5 . 7) (6 . 8) (8 . 10) (11 . 13)) 5192 0.5100 9.4670 ((2 . 6) (4 . 10) (5 . 13) (6 . 15) (8 . 27)) 5212 0.4443 6.9918 ((1 . 7) (2 . 8) (11 . 16) (12 . 17)) 5215 0.3519 13.7019 ((4 . 1) (8 . 6) (10 . 8) (12 . 13)) 5223 0.4437 10.2145 ((4 . 2) (5 . 4) (11 . 11) (12 . 13)) 5266 0.3511 16.3842 ((1 . 5) (10 . 16) (11 . 18) (12 . 19)) 5285 0.4437 10.3529 ((6 . 1) (8 . 2) (10 . 4) (12 . 6)) 5307 0.0999 11.2624 ((8 . 52) (10 . 54) (11 . 56) (12 . 59)) 5318 0.2858 15.1481 ((1 . 7) (4 . 9) (11 . 16) (12 . 17)) 5323 0.4440 9.2780 ((2 . 13) (5 . 15) (8 . 17) (10 . 18)) 5324 0.4435 10.8417 ((1 . 17) (4 . 19) (5 . 21) (11 . 27)) 5378 0.4441 8.5890 ((1 . 5) (6 . 10) (8 . 13) (12 . 20)) 5442 0.4441 8.3792 ((2 . 31) (5 . 33) (6 . 34) (12 . 39)) 5487 0.4438 10.0716 ((5 . 1) (10 . 8) (11 . 10) (12 . 12)) 5501 0.4441 8.6366 ((2 . 23) (4 . 26) (6 . 29) (8 . 32)) 5525 0.4441 8.6646 ((4 . 2) (5 . 3) (8 . 5) (12 . 11)) 5540 0.4429 12.4018 ((1 . 5) (6 . 13) (10 . 17) (12 . 21)) 5560 0.4416 14.4751 ((1 . 14) (4 . 18) (5 . 19) (10 . 24)) 5562 0.4443 6.9335 ((2 . 5) (5 . 12) (6 . 15) (12 . 20)) 5594 0.4441 8.3436 ((4 . 2) (6 . 5) (8 . 7) (11 . 10)) 5600 0.4426 12.8880 ((1 . 1) (4 . 4) (6 . 7) (11 . 12)) 5601 0.4437 10.2234 ((5 . 4) (6 . 6) (10 . 9) (11 . 11)) 5648 0.4442 7.5151 ((2 . 1) (8 . 6) (10 . 7) (11 . 8)) 5656 0.4442 7.5787 ((1 . 6) (4 . 13) (6 . 17) (8 . 19)) 5689 0.4440 9.0214 ((4 . 7) (8 . 10) (10 . 11) (12 . 14)) 5701 0.3524 10.2635 ((2 . 7) (8 . 13) (10 . 15) (12 . 20)) 5702 0.4442 7.7530 ((1 . 1) (2 . 2) (11 . 10) (12 . 11)) 5704 0.4434 11.1743 ((6 . 6) (8 . 7) (10 . 9) (12 . 10)) 5770 0.4437 10.3689 ((2 . 2) (4 . 5) (8 . 10) (11 . 18)) 5771 0.4437 10.1489 ((6 . 7) (8 . 8) (10 . 10) (12 . 16)) 5782 0.4437 10.3134 ((4 . 4) (6 . 7) (10 . 9) (11 . 11)) 5789 0.4441 8.2139 ((5 . 1) (8 . 3) (10 . 4) (12 . 6)) 5795 0.4438 9.9560 ((4 . 2) (5 . 3) (10 . 8) (12 . 11)) 5809 0.4442 8.0144 ((1 . 6) (2 . 8) (4 . 10) (5 . 11)) 5827 0.3525 8.0185 ((4 . 6) (6 . 10) (8 . 12) (12 . 18)) 5830 0.1495 12.0465 ((4 . 5) (8 . 9) (11 . 15) (12 . 16)) 5904 0.3927 12.7328 ((4 . 2) (8 . 5) (10 . 6) (12 . 8)) 5939 0.1980 7.6339 ((4 . 3) (5 . 5) (8 . 7) (11 . 12)) 5945 0.4435 10.9471 ((4 . 30) (5 . 31) (8 . 34) (12 . 39)) 5949 0.4439 9.6371 ((4 . 2) (5 . 3) (8 . 8) (11 . 13)) 5955 0.3523 11.3452 ((1 . 6) (4 . 10) (5 . 12) (10 . 18)) 5967 0.4441 8.4267 ((4 . 2) (6 . 6) (8 . 8) (10 . 10)) 6000 0.3518 13.9182 ((4 . 3) (8 . 6) (10 . 7) (12 . 11)) 6029 0.4443 6.2889 ((5 . 2) (10 . 8) (11 . 9) (12 . 12)) 6033 0.5553 6.0740 ((4 . 3) (5 . 5) (6 . 6) (8 . 9) (10 . 10)) 6074 0.4428 12.5417 ((1 . 1) (2 . 3) (6 . 7) (12 . 14)) 6079 0.4440 9.1535 ((4 . 10) (8 . 14) (10 . 15) (12 . 18)) 6087 0.4436 10.5083 ((5 . 2) (6 . 4) (10 . 7) (11 . 9)) 6089 0.3521 12.6881 ((1 . 8) (4 . 15) (5 . 19) (8 . 22)) 6099 0.0999 9.2246 ((5 . 12) (8 . 15) (11 . 19) (12 . 20)) 6169 0.5540 9.4561 ((2 . 2) (5 . 4) (6 . 8) (8 . 9) (10 . 11)) 6192 0.4160 7.2310 ((2 . 7) (4 . 9) (8 . 12) (10 . 16)) 6228 0.4432 11.7259 ((1 . 4) (5 . 8) (11 . 16) (12 . 17)) 6243 0.4439 9.4853 ((1 . 7) (4 . 9) (5 . 11) (8 . 13)) 6258 0.4439 9.4568 ((5 . 1) (8 . 5) (10 . 8) (12 . 11)) 6261 0.4442 7.9284 ((5 . 10) (6 . 14) (8 . 15) (10 . 18)) 6266 0.3935 8.2428 ((2 . 2) (4 . 4) (6 . 7) (8 . 9)) 6270 0.1980 12.9304 ((8 . 11) (10 . 14) (11 . 16) (12 . 19)) 6271 0.4429 12.4695 ((1 . 6) (4 . 9) (6 . 13) (8 . 14)) 6294 0.2861 8.7157 ((1 . 7) (2 . 10) (4 . 12) (8 . 19)) 6329 0.4432 11.7874 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 6348 0.4442 7.6220 ((1 . 6) (4 . 8) (5 . 10) (6 . 13)) 6356 0.4438 10.0832 ((1 . 5) (4 . 10) (8 . 16) (10 . 17)) 6359 0.5552 6.4197 ((2 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 5)) 6369 0.3521 12.5277 ((1 . 25) (4 . 28) (11 . 36) (12 . 39)) 6376 0.4437 10.2645 ((1 . 16) (4 . 18) (5 . 20) (6 . 23)) 6384 0.5514 12.0692 ((5 . 1) (8 . 3) (10 . 4) (11 . 5) (12 . 7)) 6391 0.1980 6.7104 ((2 . 1) (5 . 4) (6 . 5) (12 . 9)) 6392 0.3923 14.0376 ((1 . 5) (2 . 6) (5 . 10) (10 . 14)) 6403 0.4440 9.2108 ((1 . 6) (4 . 9) (5 . 11) (10 . 16)) 6461 0.4433 11.4240 ((5 . 2) (6 . 4) (8 . 5) (11 . 7)) 6462 0.4438 9.9807 ((4 . 17) (6 . 19) (8 . 21) (10 . 25)) 6498 0.4441 8.6197 ((4 . 15) (6 . 20) (11 . 27) (12 . 28)) 6506 0.4441 8.2527 ((1 . 20) (4 . 22) (11 . 28) (12 . 29)) 6520 0.1495 8.5692 ((1 . 11) (10 . 21) (11 . 22) (12 . 23)) 6536 0.8884 3.8729 ((1 . 25) (2 . 27) (4 . 28) (5 . 29) (6 . 30) (8 . 33) (10 . 34) (11 . 37)) 6553 0.1495 14.5374 ((1 . 10) (4 . 12) (6 . 16) (8 . 19)) 6578 0.4433 11.4728 ((8 . 33) (10 . 36) (11 . 39) (12 . 40)) 6585 0.4429 12.3746 ((6 . 3) (8 . 5) (10 . 7) (12 . 9)) 6587 0.3521 12.6193 ((6 . 28) (8 . 30) (10 . 32) (12 . 35)) 6605 0.3513 15.8732 ((1 . 1) (2 . 3) (5 . 6) (6 . 7)) 6613 0.4437 10.1730 ((1 . 15) (4 . 19) (6 . 23) (8 . 25)) 6622 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (10 . 10) (11 . 11) (12 . 12)) 6635 0.3936 7.3258 ((2 . 2) (4 . 3) (5 . 6) (8 . 9)) END