3017 42 0.4666 4.9851 ((16 . 11) (17 . 12) (19 . 14) (21 . 15) (22 . 16) (25 . 18) (29 . 21)) 265 0.5333 3.2025 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 312 0.3999 7.1508 ((14 . 7) (15 . 8) (16 . 9) (17 . 10) (18 . 13) (19 . 14)) 319 0.6665 4.0330 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 12)) 352 0.5333 2.7673 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 12)) 377 0.6000 3.2686 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 7) (22 . 9) (23 . 10) (25 . 11) (28 . 13)) 506 0.5098 4.4841 ((14 . 12) (15 . 13) (16 . 14) (17 . 15) (18 . 16) (22 . 19) (23 . 20) (27 . 22)) 707 0.5333 3.2023 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 781 0.4667 3.0081 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (21 . 5) (22 . 6) (28 . 9)) 847 0.4666 5.1120 ((15 . 1) (16 . 2) (17 . 6) (21 . 7) (22 . 8) (23 . 9) (25 . 10)) 873 0.6000 2.9271 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 6) (22 . 8) (23 . 11) (25 . 12) (28 . 14)) 906 0.4665 6.1365 ((15 . 1) (16 . 2) (17 . 3) (22 . 6) (23 . 7) (25 . 8) (28 . 10)) 972 0.4667 2.9914 ((15 . 14) (16 . 15) (17 . 16) (22 . 19) (23 . 21) (25 . 22) (28 . 24)) 1053 0.3333 4.4771 ((15 . 1) (17 . 3) (21 . 4) (22 . 5) (23 . 7)) 1071 0.4666 4.3009 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (23 . 6) (25 . 7)) 1094 0.3333 3.8599 ((15 . 1) (16 . 2) (23 . 6) (25 . 7) (28 . 10)) 1117 0.4667 3.2304 ((15 . 11) (16 . 12) (17 . 13) (19 . 15) (21 . 16) (22 . 17) (25 . 18)) 1189 0.5333 3.0864 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 10)) 1219 0.4666 5.0897 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 6) (23 . 10) (25 . 11)) 1221 0.5333 3.1526 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 13)) 1242 0.4667 2.8409 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (22 . 7) (28 . 10)) 1355 0.6654 3.5471 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 6) (21 . 7) (22 . 8) (23 . 9) (25 . 10) (28 . 13)) 1436 0.9331 2.3488 ((13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (21 . 21) (22 . 22) (23 . 23) (25 . 25) (27 . 26) (28 . 27) (29 . 29)) 1487 0.5333 2.5030 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 1531 0.4000 3.7895 ((15 . 1) (16 . 2) (17 . 3) (21 . 5) (22 . 6) (23 . 7)) 1560 0.5333 3.2261 ((15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 6) (21 . 7) (22 . 8) (28 . 11)) 1804 0.4667 2.4016 ((15 . 12) (16 . 13) (17 . 14) (18 . 15) (22 . 18) (25 . 20) (28 . 23)) 1807 0.5333 3.1022 ((15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 6) (21 . 7) (22 . 8) (28 . 12)) 1809 0.5333 3.1341 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 1899 0.6489 4.2344 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 15) (21 . 17) (22 . 18) (23 . 19) (25 . 20) (28 . 22)) 1922 0.3543 6.4589 ((13 . 9) (14 . 10) (15 . 11) (16 . 12) (17 . 13) (19 . 15)) 1948 0.4667 3.4169 ((15 . 16) (16 . 17) (19 . 22) (22 . 24) (23 . 25) (25 . 26) (28 . 28)) 1956 0.9903 3.3429 ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (21 . 21) (22 . 22) (23 . 23) (25 . 24) (26 . 25) (27 . 26) (28 . 27) (29 . 29)) 2004 0.4000 4.1520 ((14 . 2) (15 . 3) (19 . 5) (21 . 6) (22 . 7) (28 . 10)) 2016 0.6664 4.8069 ((14 . 21) (15 . 22) (16 . 23) (17 . 25) (21 . 28) (22 . 29) (23 . 30) (25 . 31) (28 . 34) (29 . 38)) 2017 0.4667 3.1170 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (25 . 7)) 2046 0.9201 2.3384 ((13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (21 . 21) (22 . 22) (23 . 23) (25 . 25) (27 . 26) (28 . 27) (29 . 28)) 2090 0.5333 3.1155 ((15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 6) (21 . 7) (22 . 8) (28 . 12)) 2095 0.4000 5.6127 ((15 . 2) (16 . 4) (18 . 6) (19 . 10) (21 . 11) (22 . 12)) 2180 0.5333 2.9070 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 6) (21 . 7) (22 . 8) (28 . 12)) 2189 0.6000 2.4530 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 12)) 2194 0.9998 2.2476 ((13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (21 . 22) (22 . 23) (23 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 30)) 2270 0.4021 4.6291 ((14 . 16) (15 . 17) (16 . 18) (17 . 20) (18 . 22) (19 . 23) (22 . 24) (23 . 25) (25 . 26) (28 . 28)) 2309 0.3333 4.9942 ((14 . 16) (17 . 18) (19 . 20) (25 . 24) (28 . 26)) 2316 0.5333 3.2793 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (25 . 7) (28 . 10)) 2328 0.6652 3.7959 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 2330 0.6458 3.6140 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 9) (25 . 10) (28 . 13)) 2368 0.5333 3.0594 ((15 . 1) (16 . 2) (17 . 3) (18 . 5) (19 . 6) (21 . 7) (22 . 8) (28 . 11)) 2376 0.5255 8.2369 ((15 . 1) (16 . 4) (17 . 7) (21 . 8) (22 . 9) (23 . 12) (26 . 13) (27 . 14)) 2463 0.6666 2.5326 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 2615 0.5332 4.9869 ((15 . 2) (16 . 3) (17 . 4) (21 . 5) (22 . 9) (23 . 10) (25 . 12) (28 . 14)) 2657 0.5333 3.1617 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (25 . 7) (28 . 11)) 2674 0.8666 2.4188 ((13 . 10) (14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 16) (19 . 17) (21 . 18) (22 . 19) (23 . 20) (25 . 22) (28 . 24) (29 . 26)) 2725 0.5333 2.5247 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 2736 0.4000 3.4871 ((17 . 1) (18 . 2) (19 . 3) (22 . 5) (23 . 6) (28 . 10)) 2781 0.4667 3.1457 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (25 . 7)) 2789 0.3333 7.1474 ((14 . 2) (15 . 3) (16 . 4) (17 . 5) (21 . 8)) 3017 1.0000 0.0000 ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (21 . 21) (22 . 22) (23 . 23) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29)) 3059 0.5333 3.9091 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 3072 0.8639 2.5716 ((13 . 18) (14 . 19) (15 . 20) (16 . 21) (17 . 22) (18 . 23) (19 . 24) (21 . 25) (22 . 26) (25 . 30) (27 . 31) (28 . 32) (29 . 33)) 3144 0.5333 3.2639 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 3192 0.5333 2.9186 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (22 . 7) (23 . 8) (25 . 9) (28 . 12)) 3257 0.4664 7.2246 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (23 . 8) (25 . 9) (28 . 12)) 3385 0.9217 2.6681 ((13 . 15) (14 . 16) (15 . 17) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (21 . 22) (22 . 23) (23 . 25) (25 . 27) (27 . 29) (28 . 30) (29 . 31)) 3414 0.4667 2.7265 ((15 . 1) (16 . 2) (17 . 3) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 3481 0.4000 2.4014 ((15 . 2) (16 . 3) (17 . 4) (19 . 8) (22 . 10) (23 . 11)) 3561 0.5995 6.4592 ((14 . 17) (15 . 20) (16 . 21) (17 . 22) (21 . 23) (22 . 26) (23 . 27) (25 . 28) (28 . 31)) 3593 0.4665 6.6290 ((15 . 1) (16 . 2) (18 . 3) (22 . 8) (23 . 9) (25 . 10) (28 . 12)) 3606 0.6458 3.4777 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 12)) 3610 0.4667 3.2696 ((14 . 12) (15 . 13) (16 . 14) (17 . 15) (18 . 16) (22 . 19) (23 . 20)) 3633 0.6000 3.4645 ((14 . 19) (15 . 20) (16 . 21) (17 . 22) (18 . 23) (22 . 26) (23 . 27) (25 . 28) (28 . 32)) 3637 0.6654 4.8784 ((15 . 3) (16 . 4) (17 . 5) (18 . 6) (19 . 9) (21 . 11) (22 . 12) (23 . 16) (25 . 17) (27 . 19)) 3677 0.6929 3.6404 ((15 . 5) (16 . 6) (17 . 8) (18 . 9) (19 . 10) (21 . 11) (22 . 12) (23 . 13) (25 . 14) (28 . 16) (29 . 18)) 3722 0.6666 2.8612 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 3724 0.6641 2.6731 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 8) (23 . 9) (25 . 10) (28 . 12)) 3734 0.7993 4.8229 ((14 . 9) (15 . 10) (16 . 11) (17 . 12) (18 . 13) (19 . 14) (21 . 15) (22 . 16) (23 . 17) (25 . 18) (28 . 20) (29 . 21)) 3854 0.6457 4.4072 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 10) (28 . 13)) 4047 0.6652 3.3333 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 6) (21 . 7) (22 . 8) (23 . 9) (25 . 10) (28 . 13)) 4067 0.6000 3.1576 ((14 . 11) (15 . 14) (16 . 15) (17 . 16) (18 . 17) (22 . 20) (23 . 21) (25 . 22) (28 . 24)) 4131 0.5333 3.1793 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (25 . 7) (28 . 11)) 4341 0.4000 3.9473 ((17 . 4) (19 . 6) (22 . 10) (23 . 11) (25 . 13) (28 . 15)) 4351 0.7329 4.7148 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 15) (19 . 16) (22 . 17) (23 . 18) (25 . 19) (28 . 21) (29 . 22)) 4404 0.4000 3.7238 ((15 . 1) (16 . 2) (19 . 3) (22 . 8) (23 . 9) (28 . 12)) 4409 0.6661 4.3141 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 15) (19 . 17) (22 . 18) (25 . 19) (28 . 21) (29 . 22)) 4417 0.4667 3.4245 ((15 . 1) (16 . 2) (19 . 4) (22 . 7) (23 . 8) (25 . 9) (28 . 12)) 4430 0.5333 3.1064 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 10)) 4447 0.6655 2.9850 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 15) (19 . 16) (21 . 17) (22 . 18) (25 . 21) (28 . 23)) 4499 0.5333 3.2013 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 4520 0.6458 3.8168 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 12)) 4549 0.7944 2.8294 ((14 . 12) (15 . 14) (16 . 15) (17 . 16) (18 . 17) (19 . 18) (22 . 20) (23 . 21) (25 . 23) (27 . 24) (28 . 25) (29 . 26)) 4573 0.4667 3.7215 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (25 . 7)) 4585 0.6420 3.0227 ((15 . 1) (16 . 2) (17 . 4) (18 . 5) (19 . 6) (21 . 7) (22 . 8) (23 . 10) (25 . 11) (28 . 13)) 4588 0.3333 3.7842 ((15 . 1) (16 . 2) (17 . 3) (25 . 11) (28 . 13)) 4668 0.6000 2.2322 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 4730 0.4000 3.5114 ((16 . 4) (17 . 5) (18 . 6) (19 . 7) (22 . 9) (23 . 10)) 4739 0.4667 3.6380 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (21 . 5) (22 . 6) (28 . 9)) 4765 0.5327 7.8070 ((15 . 1) (16 . 6) (17 . 7) (18 . 9) (19 . 10) (21 . 14) (23 . 21) (27 . 29)) 4863 0.3309 4.5232 ((18 . 18) (21 . 21) (25 . 23) (27 . 24) (28 . 25)) 4943 0.4667 2.9095 ((17 . 1) (19 . 3) (21 . 4) (22 . 5) (23 . 6) (25 . 7) (28 . 9)) 5029 0.5333 2.5544 ((15 . 2) (16 . 3) (17 . 4) (19 . 6) (21 . 7) (22 . 8) (23 . 9) (25 . 10)) 5045 0.8622 3.0643 ((14 . 17) (15 . 18) (16 . 19) (17 . 20) (18 . 21) (19 . 22) (21 . 23) (22 . 24) (23 . 25) (25 . 26) (27 . 27) (28 . 28) (29 . 29)) 5082 0.8665 3.0793 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 6) (21 . 7) (22 . 8) (23 . 9) (25 . 11) (26 . 13) (28 . 15) (29 . 17)) 5097 0.4667 2.8340 ((15 . 13) (16 . 14) (17 . 15) (22 . 18) (23 . 19) (25 . 20) (28 . 22)) 5140 0.4667 3.4378 ((15 . 1) (16 . 2) (17 . 3) (18 . 5) (21 . 7) (22 . 8) (28 . 11)) 5227 0.5333 3.2223 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 5362 0.4000 3.2787 ((15 . 3) (21 . 7) (22 . 8) (23 . 9) (25 . 10) (28 . 13)) 5387 0.3760 7.6049 ((13 . 7) (14 . 10) (15 . 11) (16 . 13) (17 . 14) (19 . 16)) 5406 0.7999 3.1201 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 15) (19 . 16) (21 . 17) (22 . 18) (23 . 19) (25 . 21) (28 . 23) (29 . 25)) 5409 0.4667 3.5292 ((15 . 9) (16 . 10) (17 . 11) (21 . 14) (22 . 15) (25 . 18) (28 . 20)) 5444 0.5333 3.3347 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 13)) 5493 0.4667 3.7339 ((15 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (25 . 10) (28 . 12)) 5571 0.4667 2.9703 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (21 . 6) (22 . 7) (28 . 10)) 5654 0.9981 2.2876 ((13 . 15) (14 . 16) (15 . 17) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (21 . 22) (22 . 23) (23 . 24) (25 . 26) (26 . 27) (27 . 28) (28 . 29) (29 . 30)) 5665 0.4667 2.9403 ((15 . 2) (16 . 3) (17 . 4) (19 . 6) (21 . 7) (22 . 8) (28 . 11)) 5786 0.7200 3.7358 ((14 . 15) (15 . 17) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (21 . 22) (22 . 23) (23 . 24) (25 . 25) (28 . 27)) 5838 0.5333 2.9129 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 6) (21 . 7) (22 . 8) (28 . 11)) 5877 0.6420 3.2763 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 9) (28 . 12)) 5942 0.6665 4.1171 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 9) (25 . 10) (28 . 12)) 5954 0.4667 2.8027 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (21 . 5) (22 . 6) (28 . 9)) 6085 0.6459 3.1297 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 6) (21 . 7) (22 . 8) (23 . 9) (25 . 10) (28 . 13)) 6114 0.8544 2.8422 ((13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (21 . 21) (22 . 22) (23 . 23) (25 . 25) (28 . 27) (29 . 28)) 6257 0.7280 4.5769 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 15) (19 . 16) (21 . 17) (22 . 18) (25 . 20) (28 . 22) (29 . 23)) 6274 0.9331 2.1746 ((13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (21 . 21) (22 . 22) (23 . 23) (25 . 25) (26 . 26) (28 . 28) (29 . 29)) 6276 0.9224 2.7582 ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (21 . 20) (22 . 21) (23 . 22) (25 . 24) (27 . 25) (28 . 26) (29 . 28)) 6292 0.3333 4.5110 ((17 . 9) (21 . 11) (22 . 12) (23 . 13) (25 . 14)) 6341 0.5332 5.5008 ((15 . 7) (16 . 8) (17 . 9) (22 . 12) (23 . 13) (25 . 14) (28 . 15) (29 . 16)) 6388 0.5333 3.1039 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (28 . 11)) 6420 0.6420 2.8138 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (19 . 5) (21 . 6) (22 . 7) (23 . 9) (25 . 10) (28 . 13)) 6426 0.6000 3.4398 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (21 . 5) (22 . 6) (23 . 7) (25 . 8) (28 . 10)) 6497 0.6645 3.7508 ((14 . 11) (15 . 14) (16 . 15) (17 . 16) (18 . 17) (21 . 19) (22 . 20) (23 . 21) (25 . 22) (28 . 25)) 6505 0.4667 2.6686 ((15 . 1) (16 . 2) (17 . 3) (22 . 7) (23 . 8) (25 . 9) (28 . 11)) 6627 0.6652 2.9940 ((15 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 6) (21 . 7) (22 . 8) (23 . 10) (25 . 11) (28 . 14)) END