4714 288 0.3998 8.7287 ((12 . 1) (16 . 3) (18 . 5) (20 . 6)) 328 0.4998 6.1156 ((12 . 3) (16 . 5) (17 . 6) (18 . 7) (19 . 8)) 410 0.5234 4.7852 ((12 . 2) (15 . 3) (16 . 4) (17 . 5) (18 . 6) (19 . 7)) 424 0.5227 8.5164 ((12 . 1) (15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 6)) 509 0.3363 8.8356 ((12 . 1) (15 . 2) (20 . 6) (21 . 7)) 576 0.5999 3.6134 ((12 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5) (18 . 6)) 904 0.5180 6.3033 ((12 . 1) (13 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (18 . 7)) 997 0.4000 4.4381 ((12 . 1) (16 . 5) (17 . 6) (18 . 7)) 1461 0.3999 7.1838 ((12 . 2) (15 . 4) (16 . 5) (20 . 6)) 1576 0.4999 5.0493 ((12 . 21) (15 . 23) (16 . 24) (17 . 25) (18 . 26)) 1595 0.5000 4.2857 ((12 . 3) (16 . 6) (17 . 7) (18 . 8) (19 . 9)) 1597 0.5933 4.3497 ((12 . 3) (15 . 5) (16 . 6) (17 . 7) (18 . 8) (19 . 9)) 1973 0.4825 5.2213 ((12 . 3) (14 . 6) (15 . 7) (19 . 11) (20 . 12)) 1999 0.5000 4.0706 ((12 . 5) (15 . 7) (16 . 8) (17 . 10) (18 . 11)) 2162 0.7517 4.6949 ((12 . 1) (13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7) (18 . 8) (19 . 9)) 2224 0.3993 11.7131 ((12 . 2) (14 . 4) (16 . 6) (18 . 7)) 2278 0.5909 4.2181 ((12 . 34) (14 . 35) (15 . 36) (16 . 37) (18 . 39) (19 . 40)) 2410 0.5933 3.4299 ((12 . 12) (14 . 13) (15 . 14) (16 . 15) (17 . 16) (18 . 17)) 2482 0.3668 10.0029 ((15 . 1) (16 . 3) (19 . 4) (21 . 6)) 2544 0.5235 2.6116 ((12 . 18) (15 . 19) (16 . 21) (17 . 22) (18 . 23) (19 . 24)) 2703 0.2800 8.4621 ((16 . 1) (19 . 2) (20 . 3) (21 . 4)) 2862 0.3671 5.8793 ((12 . 2) (16 . 4) (17 . 5) (18 . 6) (20 . 7)) 2871 0.3999 6.4316 ((15 . 2) (16 . 3) (20 . 5) (21 . 6)) 3237 0.3999 6.0862 ((12 . 1) (13 . 2) (15 . 3) (16 . 4)) 3296 0.5000 3.6337 ((12 . 15) (15 . 17) (16 . 18) (17 . 19) (18 . 20)) 3438 0.3670 6.8427 ((12 . 2) (15 . 5) (17 . 6) (18 . 7)) 3604 0.4996 7.5134 ((12 . 38) (15 . 40) (16 . 41) (17 . 42) (18 . 43)) 3639 0.3671 5.5023 ((12 . 2) (16 . 5) (17 . 6) (18 . 7) (20 . 8)) 3681 0.3671 5.5546 ((12 . 2) (16 . 4) (17 . 5) (18 . 6) (20 . 7)) 3746 0.4819 9.1687 ((12 . 1) (16 . 4) (17 . 5) (18 . 6) (20 . 7)) 3748 0.5923 7.8382 ((12 . 13) (15 . 14) (16 . 15) (17 . 16) (18 . 17) (20 . 18)) 3934 0.4000 5.9061 ((12 . 1) (15 . 2) (16 . 3) (19 . 4)) 3960 0.3967 3.0826 ((12 . 1) (15 . 2) (16 . 3) (17 . 4) (18 . 5)) 4082 0.4993 8.6653 ((12 . 2) (16 . 4) (17 . 5) (18 . 6) (21 . 9)) 4537 0.5000 4.1932 ((12 . 16) (15 . 20) (16 . 21) (17 . 22) (18 . 23)) 4697 0.5233 5.8794 ((12 . 1) (15 . 3) (16 . 4) (17 . 5) (18 . 6) (19 . 7)) 4714 1.0000 0.0000 ((12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21)) 4745 0.4887 3.7856 ((12 . 5) (15 . 7) (16 . 8) (17 . 9) (18 . 10)) 4840 0.5235 3.0532 ((12 . 33) (15 . 34) (16 . 36) (17 . 37) (18 . 39) (19 . 40)) 4872 0.5000 3.6854 ((12 . 15) (15 . 17) (16 . 18) (17 . 19) (18 . 20)) 4894 0.6992 5.9764 ((12 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (18 . 7) (19 . 8)) 4895 0.5999 4.0156 ((12 . 10) (15 . 12) (16 . 13) (17 . 14) (18 . 15) (19 . 16)) 4986 0.2801 7.7353 ((17 . 2) (19 . 3) (20 . 4) (21 . 5)) 5074 0.3966 5.6850 ((12 . 1) (16 . 5) (17 . 6) (18 . 7) (19 . 8)) 5110 0.6958 4.4502 ((12 . 1) (13 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (18 . 7)) 5180 0.4825 4.5116 ((12 . 2) (16 . 4) (17 . 5) (18 . 6) (19 . 7)) 5508 0.4000 4.5321 ((12 . 3) (15 . 4) (16 . 5) (19 . 8)) 5612 0.3997 9.0192 ((12 . 3) (14 . 4) (16 . 6) (18 . 7)) 5613 0.5998 4.8297 ((12 . 14) (14 . 15) (15 . 16) (16 . 19) (17 . 20) (18 . 21)) 5750 0.4994 8.4465 ((12 . 3) (15 . 6) (16 . 7) (17 . 8) (18 . 9)) 5764 0.6994 5.5782 ((12 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (18 . 7) (19 . 8)) 5776 0.4000 4.5715 ((12 . 1) (15 . 5) (16 . 7) (18 . 9)) 5829 0.4080 4.7832 ((12 . 2) (15 . 3) (16 . 4) (17 . 5) (18 . 6) (19 . 7)) 5959 0.6994 5.4694 ((12 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7) (18 . 8) (19 . 9)) 5972 0.5000 3.9384 ((12 . 1) (15 . 4) (16 . 5) (17 . 6) (18 . 7)) 6025 0.4996 7.6010 ((13 . 2) (14 . 3) (16 . 4) (19 . 5) (20 . 7)) 6346 0.4000 5.3070 ((12 . 17) (15 . 19) (16 . 20) (17 . 21)) 6450 0.5999 4.0982 ((12 . 1) (15 . 7) (16 . 8) (17 . 9) (18 . 10) (19 . 11)) 6451 0.3999 7.8009 ((12 . 16) (16 . 18) (17 . 19) (18 . 20)) 6476 0.4719 3.4899 ((12 . 1) (14 . 4) (15 . 5) (16 . 7) (18 . 9)) 6480 0.6953 5.8538 ((12 . 1) (13 . 2) (14 . 3) (15 . 5) (16 . 6) (17 . 7) (18 . 8)) END