713 247 0.4000 4.1838 ((7 . 2) (13 . 9) (14 . 10) (15 . 11)) 345 0.6987 6.7813 ((5 . 1) (6 . 4) (7 . 5) (9 . 6) (10 . 8) (13 . 9) (14 . 10)) 463 0.7992 4.9570 ((5 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 7) (13 . 15) (14 . 23) (15 . 25)) 464 0.7223 4.0621 ((5 . 26) (6 . 27) (7 . 29) (9 . 34) (10 . 35) (13 . 37) (14 . 38) (15 . 39)) 471 0.7996 4.1229 ((5 . 1) (6 . 2) (7 . 3) (9 . 15) (10 . 16) (13 . 17) (14 . 18) (15 . 19)) 472 0.2799 12.0466 ((7 . 25) (9 . 28) (13 . 33) (15 . 34)) 592 0.7218 5.6372 ((5 . 3) (6 . 5) (7 . 6) (9 . 10) (10 . 11) (13 . 12) (14 . 13) (15 . 14)) 703 0.6991 6.1397 ((5 . 1) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (13 . 8) (14 . 9)) 713 1.0000 0.0000 ((1 . 1) (2 . 2) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (13 . 13) (14 . 14) (15 . 15)) 714 0.5348 8.5364 ((5 . 16) (6 . 17) (7 . 19) (9 . 27) (10 . 28) (13 . 30) (14 . 31) (15 . 32)) 934 0.6999 3.8439 ((5 . 10) (6 . 11) (7 . 12) (9 . 14) (10 . 15) (13 . 16) (14 . 17)) 1021 0.4718 5.1051 ((5 . 12) (6 . 13) (7 . 14) (9 . 15) (10 . 16) (14 . 18) (15 . 20)) 1033 0.7999 3.2439 ((5 . 1) (6 . 2) (7 . 3) (9 . 6) (10 . 7) (13 . 16) (14 . 17) (15 . 18)) 1034 0.7964 3.1513 ((5 . 20) (6 . 21) (7 . 22) (9 . 27) (10 . 29) (13 . 31) (14 . 32) (15 . 36)) 1191 0.7938 5.6014 ((5 . 1) (6 . 2) (7 . 5) (9 . 7) (10 . 8) (13 . 9) (14 . 10) (15 . 11)) 1223 0.6998 3.9565 ((5 . 1) (6 . 2) (7 . 3) (9 . 4) (10 . 5) (13 . 6) (14 . 7)) 1289 0.6996 4.9192 ((5 . 13) (6 . 14) (7 . 15) (9 . 16) (10 . 17) (13 . 19) (14 . 20)) 1305 0.5994 6.5668 ((5 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6) (13 . 8)) 1522 0.6992 6.0136 ((5 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 6) (13 . 7) (14 . 8)) 1656 0.3960 17.9497 ((2 . 6) (9 . 13) (13 . 18) (15 . 21)) 1778 0.6000 3.5204 ((5 . 1) (6 . 2) (7 . 3) (9 . 6) (10 . 8) (14 . 12)) 1779 0.7336 5.2296 ((5 . 18) (6 . 19) (7 . 20) (9 . 25) (10 . 26) (13 . 28) (14 . 32) (15 . 33)) 2218 0.7083 4.5859 ((5 . 1) (6 . 2) (7 . 3) (9 . 4) (10 . 5) (13 . 6) (14 . 7) (15 . 8)) 2296 0.6998 4.1637 ((5 . 1) (6 . 2) (7 . 3) (9 . 4) (10 . 6) (14 . 7) (15 . 8)) 2378 0.6998 4.1861 ((5 . 1) (6 . 2) (7 . 5) (9 . 7) (10 . 8) (13 . 9) (14 . 10)) 2483 0.9716 3.4753 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (7 . 6) (9 . 8) (10 . 9) (13 . 12) (14 . 13) (15 . 14)) 2484 0.7978 6.5104 ((5 . 15) (6 . 16) (7 . 19) (9 . 26) (10 . 27) (13 . 29) (14 . 31) (15 . 32)) 2491 0.7904 6.4014 ((5 . 10) (6 . 11) (7 . 12) (9 . 16) (10 . 17) (13 . 18) (14 . 22) (15 . 24)) 2619 0.5998 5.0073 ((5 . 1) (6 . 2) (7 . 3) (9 . 4) (10 . 5) (14 . 7)) 2733 0.6913 5.6477 ((5 . 1) (6 . 2) (7 . 4) (10 . 8) (13 . 9) (14 . 11) (15 . 13)) 2775 0.7329 6.2906 ((5 . 1) (6 . 2) (7 . 3) (9 . 7) (10 . 8) (13 . 9) (14 . 11) (15 . 14)) 2821 0.7997 3.9874 ((5 . 1) (6 . 2) (7 . 3) (9 . 10) (10 . 11) (13 . 12) (14 . 13) (15 . 14)) 2822 0.7964 3.2744 ((5 . 15) (6 . 16) (7 . 17) (9 . 24) (10 . 26) (13 . 28) (14 . 29) (15 . 30)) 2910 0.4999 5.0601 ((5 . 3) (6 . 4) (7 . 5) (9 . 7) (10 . 8)) 2954 0.5996 6.2193 ((5 . 1) (6 . 2) (7 . 3) (10 . 5) (13 . 7) (14 . 9)) 3210 0.6989 6.3942 ((5 . 17) (6 . 18) (7 . 21) (9 . 30) (10 . 33) (13 . 35) (15 . 37)) 3260 0.6918 4.8916 ((5 . 3) (6 . 4) (7 . 5) (9 . 6) (10 . 7) (13 . 8) (14 . 9) (15 . 10)) 3286 0.6996 4.8646 ((5 . 3) (6 . 4) (7 . 5) (10 . 7) (13 . 8) (14 . 9) (15 . 11)) 3925 0.3999 7.7095 ((5 . 1) (6 . 2) (7 . 3) (9 . 4)) 4043 0.6985 6.9532 ((5 . 6) (6 . 8) (7 . 9) (9 . 11) (10 . 13) (13 . 15) (14 . 16)) 4057 0.7958 4.9632 ((5 . 1) (6 . 2) (7 . 3) (9 . 8) (10 . 9) (13 . 11) (14 . 13) (15 . 14)) 4058 0.4994 8.3626 ((5 . 15) (6 . 16) (7 . 18) (9 . 20) (15 . 27)) 4191 0.7934 4.3577 ((5 . 1) (6 . 2) (7 . 3) (9 . 4) (10 . 6) (13 . 33) (14 . 34) (15 . 35)) 4193 0.7943 4.8807 ((5 . 36) (6 . 37) (7 . 38) (9 . 47) (10 . 48) (13 . 50) (14 . 51) (15 . 53)) 4281 0.6856 5.0473 ((5 . 3) (6 . 4) (7 . 5) (10 . 8) (13 . 9) (14 . 10) (15 . 13)) 4391 0.6993 5.8300 ((5 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 6) (13 . 7) (14 . 8)) 4469 0.6918 4.1144 ((5 . 1) (6 . 3) (7 . 4) (9 . 6) (10 . 7) (13 . 8) (14 . 9)) 4935 0.6999 3.5335 ((5 . 1) (6 . 3) (7 . 4) (9 . 6) (10 . 7) (13 . 8) (14 . 9)) 5120 0.6994 5.4638 ((5 . 2) (6 . 4) (7 . 5) (9 . 8) (10 . 9) (13 . 10) (14 . 11)) 5243 0.6733 5.9334 ((5 . 13) (6 . 14) (7 . 15) (9 . 17) (10 . 18) (14 . 22) (15 . 24)) 5447 0.3999 7.3462 ((5 . 2) (6 . 3) (7 . 4) (9 . 6)) 5500 0.7934 4.3331 ((5 . 1) (6 . 2) (7 . 3) (9 . 10) (10 . 12) (13 . 13) (14 . 14) (15 . 15)) 5501 0.3999 7.4659 ((5 . 16) (6 . 17) (7 . 20) (9 . 22)) 5883 0.5998 4.9956 ((5 . 1) (6 . 3) (7 . 4) (10 . 6) (13 . 7) (14 . 9)) 5906 0.7921 6.1625 ((5 . 13) (6 . 14) (7 . 15) (9 . 17) (10 . 18) (13 . 19) (14 . 22) (15 . 24)) 6064 0.6890 5.2352 ((5 . 4) (6 . 6) (7 . 7) (10 . 11) (13 . 13) (14 . 14) (15 . 16)) 6249 0.6990 6.2783 ((5 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 6) (13 . 7) (14 . 8)) 6299 0.5654 5.8093 ((5 . 4) (6 . 6) (7 . 7) (10 . 9) (13 . 10) (14 . 11) (15 . 14)) 6323 0.6624 6.5573 ((5 . 33) (6 . 34) (7 . 35) (9 . 36) (10 . 37) (13 . 40) (14 . 41)) END