3854 42 0.3125 5.5922 ((1 . 12) (2 . 13) (3 . 14) (5 . 16) (7 . 18)) 265 0.3923 5.2455 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 11) (11 . 13) (13 . 14) (15 . 20) (17 . 21)) 312 0.6868 5.4216 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (11 . 13) (13 . 14) (16 . 30)) 319 0.6871 3.5984 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 12)) 352 0.3750 4.6661 ((1 . 3) (2 . 4) (3 . 5) (8 . 10) (9 . 11) (13 . 15)) 377 0.8748 3.1034 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (10 . 11) (11 . 12) (13 . 13) (15 . 16) (16 . 17) (17 . 18)) 506 0.4375 3.3604 ((1 . 13) (2 . 14) (3 . 15) (4 . 16) (6 . 18) (7 . 19) (9 . 20)) 707 0.3898 6.0797 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (9 . 9)) 781 0.6154 4.9605 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (10 . 9) (11 . 11) (13 . 12)) 847 0.4222 3.6865 ((1 . 1) (2 . 2) (7 . 6) (8 . 7) (10 . 8) (11 . 9) (13 . 10)) 873 0.9364 3.4294 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 11) (10 . 12) (11 . 13) (13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18)) 906 0.4375 4.2824 ((1 . 3) (3 . 6) (7 . 8) (8 . 9) (10 . 10) (11 . 11) (13 . 13)) 972 0.3750 4.1012 ((1 . 14) (2 . 15) (3 . 16) (7 . 22) (9 . 23) (10 . 24)) 1053 0.3125 6.1864 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (10 . 8)) 1071 0.3125 2.9263 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (10 . 7)) 1094 0.2910 6.4242 ((1 . 1) (2 . 2) (3 . 3) (7 . 4) (9 . 6) (10 . 7) (13 . 10) (14 . 30)) 1117 0.4111 2.6809 ((1 . 11) (2 . 12) (3 . 13) (5 . 15) (6 . 16) (7 . 17) (10 . 18)) 1189 0.3748 8.6767 ((1 . 3) (2 . 4) (5 . 5) (8 . 9) (11 . 12) (17 . 16)) 1219 0.3750 3.7919 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (10 . 11)) 1221 0.4110 7.3535 ((1 . 7) (4 . 10) (6 . 11) (7 . 13) (9 . 14) (10 . 15) (13 . 19)) 1242 0.6116 5.9896 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 10) (13 . 14)) 1355 0.8708 4.2334 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (11 . 11) (13 . 13) (15 . 14) (16 . 15) (17 . 16)) 1436 0.6031 4.3772 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (9 . 23) (10 . 25) (13 . 27)) 1487 0.6679 5.0889 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (13 . 11) (16 . 33)) 1531 0.4221 6.6293 ((2 . 2) (3 . 6) (6 . 7) (7 . 8) (9 . 13) (10 . 15) (13 . 18)) 1560 0.3125 5.0020 ((1 . 4) (2 . 5) (3 . 6) (10 . 11) (13 . 14)) 1804 0.3750 2.9555 ((1 . 12) (2 . 13) (3 . 14) (6 . 17) (10 . 20) (13 . 25)) 1807 0.3750 5.5420 ((1 . 4) (2 . 5) (3 . 6) (8 . 11) (10 . 12) (13 . 15)) 1809 0.3125 5.0383 ((1 . 3) (2 . 4) (3 . 5) (10 . 11) (13 . 14)) 1899 0.3750 2.9625 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (6 . 17) (10 . 22)) 1922 0.5624 4.9011 ((1 . 1) (2 . 2) (3 . 6) (7 . 11) (8 . 12) (10 . 13) (11 . 14) (13 . 15) (16 . 27)) 1948 0.4994 4.0607 ((1 . 16) (2 . 17) (3 . 18) (5 . 22) (6 . 23) (7 . 24) (10 . 26) (13 . 28)) 1956 0.3749 7.1387 ((1 . 15) (3 . 17) (5 . 19) (10 . 24) (13 . 27) (16 . 29)) 2004 0.5462 5.8845 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 12) (13 . 13)) 2016 0.3124 9.3762 ((1 . 25) (5 . 31) (8 . 33) (10 . 34) (14 . 39)) 2017 0.5212 5.5801 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 10) (10 . 11) (13 . 14) (14 . 17) (17 . 19)) 2046 0.6237 3.8084 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 23) (10 . 25) (13 . 27)) 2090 0.3125 5.5138 ((1 . 4) (2 . 5) (3 . 6) (8 . 11) (10 . 12)) 2095 0.6239 4.2025 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (6 . 9) (7 . 10) (8 . 11) (10 . 12) (11 . 13) (13 . 14)) 2180 0.5615 5.3255 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 11) (7 . 12) (8 . 14) (10 . 15) (13 . 19)) 2189 0.6867 4.5831 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 11) (13 . 12) (15 . 14)) 2194 0.3750 3.8620 ((1 . 16) (2 . 17) (4 . 19) (7 . 25) (9 . 27) (10 . 28)) 2270 0.3750 4.1239 ((1 . 17) (2 . 18) (3 . 19) (5 . 23) (7 . 24) (10 . 26)) 2309 0.3125 4.4681 ((1 . 18) (2 . 19) (7 . 24) (8 . 25) (10 . 28)) 2316 0.3125 5.1685 ((1 . 3) (2 . 4) (3 . 5) (10 . 10) (13 . 13)) 2328 0.6872 4.0341 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11)) 2330 0.6874 3.5747 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (10 . 10) (11 . 11) (13 . 13)) 2368 0.3502 5.5875 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (10 . 11) (11 . 15) (13 . 16) (15 . 24)) 2376 0.8737 3.1724 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 12) (15 . 13) (16 . 14) (17 . 15)) 2463 0.6822 4.2976 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11)) 2615 0.3722 2.9814 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (7 . 12) (10 . 14)) 2657 0.3125 4.4197 ((1 . 3) (2 . 4) (3 . 5) (10 . 11) (13 . 14)) 2674 0.6119 4.4610 ((1 . 12) (2 . 13) (3 . 14) (4 . 16) (5 . 17) (6 . 18) (7 . 19) (8 . 20) (10 . 22) (13 . 24)) 2725 0.8747 3.4151 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 13) (15 . 14) (16 . 15) (17 . 16)) 2736 0.3898 4.5869 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (9 . 6) (10 . 7) (13 . 10)) 2781 0.3125 4.4884 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (11 . 10)) 2789 0.9661 3.1725 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 13) (13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18)) 3017 0.6096 4.4072 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 21) (7 . 22) (8 . 23) (10 . 25) (13 . 28)) 3059 0.3750 3.7569 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 7)) 3072 0.6183 6.6374 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (5 . 24) (6 . 25) (7 . 26) (10 . 30) (13 . 32) (16 . 33)) 3144 0.3750 5.5598 ((1 . 3) (2 . 4) (3 . 5) (8 . 10) (10 . 11) (13 . 14)) 3192 0.4988 2.6282 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (13 . 12)) 3257 0.3125 6.1118 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (13 . 12)) 3385 0.4347 6.2740 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (7 . 23) (16 . 31)) 3414 0.8060 3.9788 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11) (15 . 14) (16 . 16) (17 . 17)) 3481 0.3750 3.2356 ((1 . 2) (2 . 3) (3 . 4) (5 . 8) (7 . 10) (10 . 12)) 3561 0.4375 3.1644 ((1 . 20) (2 . 21) (3 . 22) (6 . 25) (7 . 26) (10 . 28) (13 . 31)) 3593 0.5624 4.0740 ((1 . 1) (2 . 2) (3 . 4) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (11 . 11) (13 . 12)) 3606 0.6872 3.6103 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 12)) 3610 0.4978 6.3733 ((1 . 13) (2 . 14) (3 . 15) (4 . 16) (6 . 18) (7 . 19) (9 . 22) (11 . 26)) 3633 0.3750 3.6812 ((1 . 20) (2 . 21) (3 . 22) (6 . 25) (7 . 26) (13 . 32)) 3637 0.7931 4.6705 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 9) (6 . 11) (7 . 12) (8 . 15) (9 . 16) (10 . 17) (11 . 18) (13 . 20) (15 . 23)) 3677 0.6822 4.3678 ((1 . 5) (2 . 6) (3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12) (8 . 13) (10 . 14) (11 . 15) (13 . 16)) 3722 0.6799 4.4172 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11)) 3724 0.6242 3.8120 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 8) (8 . 9) (10 . 10) (11 . 11) (13 . 12)) 3734 0.3399 3.9365 ((3 . 10) (5 . 14) (6 . 15) (9 . 17) (10 . 18) (13 . 20)) 3854 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 4047 0.9333 3.5986 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (11 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 4067 0.4361 3.3086 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (6 . 19) (10 . 22) (13 . 25)) 4131 0.3750 6.1589 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (10 . 11)) 4341 0.9515 3.9442 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11) (9 . 12) (10 . 13) (11 . 14) (13 . 15) (14 . 16) (15 . 17) (16 . 18) (17 . 20)) 4351 0.6168 3.9042 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 17) (9 . 18) (10 . 19) (11 . 20) (13 . 21)) 4404 0.5000 2.8964 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (13 . 12)) 4409 0.5625 3.5199 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 17) (7 . 18) (10 . 19) (11 . 20) (13 . 21)) 4417 0.3125 3.5206 ((3 . 1) (5 . 4) (9 . 8) (10 . 9) (13 . 10)) 4430 0.3750 5.9966 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (10 . 10)) 4447 0.6244 3.2773 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 18) (10 . 21) (11 . 22) (13 . 23)) 4499 0.3750 5.8014 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (10 . 11)) 4520 0.6874 3.8010 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 12)) 4549 0.5624 4.1356 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (7 . 20) (8 . 21) (10 . 23) (13 . 25)) 4573 0.3125 5.2434 ((1 . 3) (2 . 4) (3 . 5) (8 . 10) (10 . 11)) 4585 0.6870 4.3275 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (10 . 11) (11 . 12) (13 . 13)) 4588 0.4375 2.8775 ((1 . 1) (3 . 3) (4 . 4) (5 . 9) (7 . 11) (10 . 13) (13 . 16)) 4668 0.6180 3.6041 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11)) 4730 0.5772 5.2669 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8) (7 . 9) (9 . 10) (10 . 11) (14 . 25)) 4739 0.6865 5.5197 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 9) (11 . 11) (13 . 12) (15 . 18)) 4765 0.3125 6.2266 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (10 . 10)) 4863 0.4983 5.4393 ((1 . 5) (2 . 6) (3 . 14) (6 . 19) (7 . 20) (8 . 22) (10 . 23) (11 . 24) (13 . 25)) 4943 0.3125 2.9326 ((1 . 1) (2 . 2) (3 . 3) (7 . 7) (10 . 9)) 5029 0.3125 5.6195 ((3 . 1) (8 . 7) (10 . 8) (11 . 9) (13 . 10)) 5045 0.5614 3.9623 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (5 . 22) (7 . 24) (9 . 25) (10 . 26) (13 . 28)) 5082 0.6873 4.2019 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (10 . 11) (11 . 12) (13 . 15)) 5097 0.3706 3.0293 ((1 . 13) (2 . 14) (3 . 15) (6 . 17) (7 . 20) (10 . 22)) 5140 0.4374 7.0104 ((1 . 1) (2 . 7) (7 . 8) (8 . 10) (10 . 11) (11 . 13) (13 . 14)) 5227 0.3750 4.7252 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7) (11 . 12)) 5362 0.5611 4.2860 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (11 . 11) (13 . 13)) 5387 0.9469 4.6550 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (11 . 15) (13 . 16) (14 . 17) (15 . 18) (16 . 19) (17 . 20)) 5406 0.6869 4.2468 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 18) (8 . 19) (10 . 21) (11 . 22) (13 . 23)) 5409 0.3750 3.3575 ((1 . 9) (2 . 10) (3 . 11) (7 . 15) (9 . 17) (10 . 18)) 5444 0.3750 6.0777 ((1 . 3) (3 . 5) (8 . 11) (10 . 13) (11 . 15) (13 . 16)) 5493 0.4908 2.8138 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (10 . 10) (13 . 12)) 5571 0.4375 4.3947 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7) (9 . 9) (10 . 10)) 5654 0.6627 6.4225 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (7 . 23) (8 . 24) (10 . 26) (13 . 29) (16 . 30)) 5665 0.5830 5.3533 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 10) (10 . 11) (11 . 13) (13 . 15)) 5786 0.6244 3.4727 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (7 . 23) (9 . 24) (10 . 25) (13 . 27)) 5838 0.3750 3.9504 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (10 . 8)) 5877 0.6873 4.0780 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 12)) 5942 0.6870 4.3168 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (10 . 10) (11 . 11) (13 . 12)) 5954 0.3749 6.8609 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (7 . 6) (9 . 7)) 6085 0.6874 3.0626 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (10 . 10) (11 . 11) (13 . 13)) 6114 0.6197 3.7528 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (9 . 23) (10 . 25) (13 . 27)) 6257 0.6249 3.5417 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 18) (10 . 20) (11 . 21) (13 . 22)) 6274 0.6241 3.9208 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 23) (10 . 25) (13 . 28)) 6276 0.5881 6.9847 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 22) (7 . 24) (9 . 25) (10 . 26) (16 . 28)) 6292 0.3125 5.5458 ((1 . 4) (6 . 8) (8 . 10) (10 . 12) (13 . 14)) 6341 0.4375 3.5008 ((1 . 7) (2 . 8) (3 . 9) (7 . 12) (8 . 13) (10 . 14) (13 . 15)) 6388 0.3125 5.0486 ((1 . 3) (2 . 4) (3 . 5) (7 . 7) (10 . 11)) 6420 0.7468 5.2060 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13)) 6426 0.6243 4.1129 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (11 . 9) (13 . 10)) 6497 0.4375 2.7531 ((1 . 14) (2 . 15) (3 . 16) (6 . 19) (7 . 20) (10 . 22) (13 . 25)) 6505 0.8052 3.4275 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 12) (15 . 13) (16 . 14)) 6627 0.7141 3.6241 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (13 . 14)) END