4619 162 0.6665 4.5401 ((1 . 12) (3 . 16) (5 . 17) (8 . 22)) 239 0.8333 2.0065 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 10)) 330 0.6667 2.1894 ((1 . 1) (2 . 2) (3 . 3) (8 . 8)) 508 0.9271 3.8620 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 8) (8 . 9)) 715 0.9269 4.1574 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 6) (8 . 10)) 746 0.8333 2.5396 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 6)) 896 0.8332 3.0599 ((1 . 1) (2 . 4) (3 . 5) (5 . 6) (8 . 12)) 1067 0.9991 3.8853 ((1 . 5) (2 . 6) (3 . 7) (5 . 8) (7 . 10) (8 . 11)) 1218 0.6664 4.8725 ((1 . 14) (2 . 16) (3 . 18) (5 . 19)) 1257 0.9967 5.4351 ((1 . 10) (2 . 12) (3 . 14) (5 . 15) (7 . 17) (8 . 19)) 1263 0.6664 4.9777 ((1 . 13) (2 . 14) (3 . 17) (5 . 18)) 1354 0.6325 5.0794 ((1 . 1) (3 . 3) (5 . 4) (7 . 6) (8 . 7)) 1481 0.8333 2.5212 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7)) 1556 0.8333 2.3137 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (8 . 8)) 1582 0.8331 3.6548 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7)) 1815 0.6238 2.8924 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 5) (8 . 6)) 1881 0.6237 4.2774 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (7 . 7) (8 . 8)) 2078 0.8332 2.8816 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8)) 2385 0.8328 4.4144 ((1 . 11) (2 . 12) (3 . 15) (5 . 17) (8 . 21)) 2421 0.8333 2.6082 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 8)) 2554 0.8774 4.1874 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 5) (8 . 6)) 2764 0.8333 2.2262 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7)) 2786 0.8331 3.3513 ((1 . 20) (2 . 21) (3 . 22) (5 . 24) (8 . 28)) 3015 0.8327 4.4490 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6)) 3219 0.8332 3.2217 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6)) 3282 0.8332 2.8843 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 8)) 3408 0.9272 3.7796 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 7) (8 . 10)) 3533 0.8316 5.8098 ((1 . 1) (2 . 3) (3 . 6) (5 . 7) (8 . 11)) 3544 0.8333 2.6157 ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (8 . 11)) 3565 0.8331 3.5239 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7)) 3616 0.8331 3.4698 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8)) 3626 0.2987 5.8800 ((1 . 2) (2 . 3) (3 . 5) (5 . 8) (8 . 11)) 3837 0.8325 4.7997 ((1 . 10) (2 . 11) (3 . 13) (5 . 14) (8 . 19)) 3886 0.6238 2.9225 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 6) (8 . 7)) 3919 0.8333 2.5046 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6)) 4135 0.8332 3.1834 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 8)) 4215 0.8333 2.6934 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6)) 4619 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7) (8 . 8)) 4620 0.9995 3.3053 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 6) (8 . 7)) 4648 0.8333 2.1274 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8)) 4754 0.8333 1.8166 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 9)) 5081 0.8332 3.1832 ((2 . 1) (3 . 2) (5 . 3) (7 . 5) (8 . 6)) 5304 0.6666 2.9142 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 5373 0.8333 2.5452 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 8)) 5427 0.8311 6.1766 ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (8 . 11)) 5872 0.8332 3.1173 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6)) 5914 0.6327 3.7544 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (8 . 6)) 5987 0.8333 2.3176 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7)) 6159 0.8330 3.7394 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8)) 6195 0.8332 2.7812 ((1 . 1) (2 . 3) (3 . 4) (5 . 8) (8 . 12)) 6509 0.8332 2.8885 ((1 . 19) (2 . 20) (3 . 21) (5 . 22) (8 . 26)) 6526 0.8331 3.6209 ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (8 . 9)) 6597 0.8316 5.7981 ((1 . 11) (2 . 12) (3 . 14) (5 . 15) (8 . 16)) 6602 0.8323 5.0721 ((1 . 11) (2 . 12) (3 . 15) (5 . 16) (8 . 21)) END