5045 42 0.5383 5.1412 ((19 . 11) (20 . 12) (22 . 14) (24 . 16) (26 . 18) (27 . 19) (29 . 21)) 265 0.6154 2.9752 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (28 . 11)) 312 0.4495 5.4539 ((17 . 2) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (28 . 14)) 319 0.7670 3.9612 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (28 . 12)) 352 0.6154 2.3296 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (28 . 12)) 377 0.7218 4.1252 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 7) (24 . 9) (25 . 10) (26 . 11) (27 . 12) (28 . 13)) 506 0.6152 4.7020 ((17 . 12) (18 . 13) (19 . 14) (20 . 15) (21 . 16) (24 . 19) (25 . 20) (27 . 22)) 707 0.4614 5.8957 ((17 . 2) (18 . 3) (20 . 5) (25 . 10) (26 . 11) (28 . 14)) 781 0.5384 2.9299 ((18 . 1) (19 . 2) (20 . 3) (22 . 4) (23 . 5) (24 . 6) (28 . 9)) 847 0.5384 4.0340 ((18 . 1) (19 . 2) (24 . 6) (25 . 7) (26 . 8) (27 . 9) (28 . 10)) 873 0.6923 2.5325 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (24 . 8) (25 . 11) (26 . 12) (28 . 14)) 906 0.5384 3.4338 ((18 . 3) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (28 . 13)) 972 0.6154 3.1363 ((18 . 14) (19 . 15) (20 . 16) (24 . 19) (25 . 21) (26 . 22) (27 . 23) (28 . 24)) 1053 0.3846 4.7833 ((20 . 1) (22 . 3) (23 . 4) (24 . 5) (25 . 7)) 1071 0.5385 2.4442 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (26 . 7)) 1094 0.3846 3.5368 ((18 . 1) (19 . 2) (25 . 6) (26 . 7) (28 . 10)) 1117 0.5384 4.1482 ((17 . 10) (18 . 11) (19 . 12) (22 . 15) (24 . 17) (26 . 18) (28 . 20)) 1189 0.6153 3.3549 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (28 . 10)) 1219 0.5384 4.3237 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (25 . 10) (26 . 11)) 1221 0.6154 2.6052 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (28 . 13)) 1242 0.3846 3.8525 ((19 . 2) (21 . 4) (24 . 7) (27 . 9) (28 . 10)) 1355 0.7471 3.7098 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (28 . 13)) 1436 0.9999 2.3234 ((17 . 15) (18 . 16) (19 . 17) (20 . 18) (21 . 19) (22 . 20) (23 . 21) (24 . 22) (25 . 23) (26 . 25) (27 . 26) (28 . 27) (29 . 29)) 1487 0.6152 4.7100 ((20 . 1) (21 . 2) (22 . 3) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11)) 1531 0.5382 6.2683 ((18 . 1) (19 . 2) (20 . 3) (21 . 5) (24 . 6) (25 . 7) (26 . 8)) 1560 0.6142 7.6879 ((18 . 2) (19 . 3) (20 . 4) (21 . 5) (22 . 6) (25 . 7) (26 . 8) (27 . 9)) 1804 0.6154 2.9005 ((18 . 12) (19 . 13) (20 . 14) (21 . 15) (24 . 18) (26 . 20) (27 . 22) (28 . 23)) 1807 0.6154 2.5680 ((18 . 2) (19 . 3) (20 . 4) (21 . 5) (22 . 6) (23 . 7) (24 . 8) (28 . 12)) 1809 0.5385 2.4157 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (26 . 7)) 1899 0.6152 4.5497 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 15) (25 . 19) (26 . 20) (28 . 22)) 1922 0.4615 4.6817 ((17 . 2) (24 . 11) (25 . 12) (26 . 13) (27 . 14) (28 . 15)) 1948 0.5385 2.7292 ((18 . 16) (19 . 17) (22 . 22) (24 . 24) (26 . 26) (27 . 27) (28 . 28)) 1956 0.9928 3.1821 ((17 . 14) (18 . 15) (19 . 16) (20 . 17) (21 . 18) (22 . 19) (23 . 21) (24 . 22) (25 . 23) (26 . 24) (27 . 26) (28 . 27) (29 . 29)) 2004 0.5385 2.6610 ((18 . 1) (19 . 2) (20 . 3) (22 . 5) (23 . 6) (24 . 7) (28 . 10)) 2016 0.7683 5.4715 ((17 . 21) (18 . 22) (19 . 23) (20 . 25) (23 . 28) (24 . 29) (25 . 30) (26 . 31) (28 . 34) (29 . 38)) 2017 0.5385 2.6976 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (26 . 7)) 2046 0.9997 2.9588 ((17 . 15) (18 . 16) (19 . 17) (20 . 18) (21 . 19) (22 . 20) (23 . 21) (24 . 22) (25 . 23) (26 . 25) (27 . 26) (28 . 27) (29 . 28)) 2090 0.5381 6.8869 ((19 . 3) (20 . 4) (21 . 5) (22 . 6) (23 . 7) (26 . 8) (27 . 10)) 2095 0.4613 7.4823 ((20 . 2) (21 . 4) (23 . 6) (24 . 10) (25 . 11) (27 . 13)) 2180 0.5385 2.1482 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (23 . 7) (26 . 8)) 2189 0.5385 2.3624 ((18 . 1) (19 . 2) (20 . 3) (22 . 5) (24 . 7) (25 . 8) (28 . 9)) 2194 0.9991 2.4899 ((17 . 15) (18 . 16) (19 . 17) (20 . 18) (21 . 19) (22 . 20) (23 . 22) (24 . 23) (25 . 24) (26 . 25) (27 . 27) (28 . 28) (29 . 30)) 2270 0.4615 4.5707 ((17 . 18) (22 . 23) (24 . 24) (25 . 25) (26 . 26) (28 . 28)) 2309 0.5323 8.5185 ((17 . 17) (18 . 18) (19 . 19) (24 . 24) (26 . 26) (27 . 27) (28 . 28)) 2316 0.5385 2.3658 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (26 . 7)) 2328 0.7653 4.7989 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11)) 2330 0.7287 4.7175 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 9) (26 . 10) (27 . 11) (28 . 13)) 2368 0.6154 2.7089 ((18 . 1) (19 . 2) (20 . 3) (21 . 5) (22 . 6) (23 . 7) (24 . 8) (28 . 11)) 2376 0.6154 2.9042 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (24 . 7) (25 . 8) (26 . 9) (28 . 11)) 2463 0.7692 2.3694 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (28 . 11)) 2615 0.6822 3.9380 ((18 . 2) (19 . 3) (20 . 4) (21 . 5) (24 . 9) (25 . 11) (26 . 12) (27 . 13) (28 . 14)) 2657 0.6148 6.4308 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (26 . 7) (27 . 9)) 2674 0.9998 2.8366 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 16) (22 . 17) (23 . 18) (24 . 19) (25 . 20) (26 . 22) (27 . 23) (28 . 24) (29 . 26)) 2725 0.6922 3.8466 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11)) 2736 0.6153 3.8919 ((18 . 1) (19 . 2) (20 . 3) (24 . 5) (25 . 6) (26 . 7) (27 . 9) (28 . 10)) 2781 0.6911 6.7355 ((18 . 1) (19 . 2) (20 . 3) (21 . 6) (24 . 7) (25 . 10) (26 . 12) (27 . 14) (28 . 15)) 2789 0.4614 5.8464 ((18 . 1) (19 . 2) (20 . 3) (23 . 4) (24 . 7) (26 . 10)) 3017 0.9909 3.0643 ((17 . 14) (18 . 15) (19 . 16) (20 . 17) (21 . 18) (22 . 19) (23 . 21) (24 . 22) (25 . 23) (26 . 25) (27 . 27) (28 . 28) (29 . 29)) 3059 0.6153 3.4680 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (28 . 11)) 3072 0.9230 2.6464 ((17 . 19) (18 . 20) (19 . 21) (20 . 22) (21 . 23) (22 . 24) (23 . 25) (24 . 26) (26 . 30) (27 . 31) (28 . 32) (29 . 33)) 3144 0.6145 7.1317 ((18 . 1) (19 . 2) (21 . 6) (24 . 7) (25 . 10) (26 . 11) (27 . 13) (28 . 14)) 3192 0.4615 4.3554 ((17 . 6) (19 . 8) (20 . 9) (21 . 11) (22 . 12) (25 . 18)) 3257 0.5384 3.7386 ((18 . 1) (19 . 2) (20 . 3) (23 . 4) (24 . 5) (25 . 8) (26 . 9)) 3385 0.9935 2.8015 ((17 . 16) (18 . 17) (19 . 18) (20 . 19) (21 . 20) (22 . 21) (23 . 22) (24 . 23) (25 . 25) (26 . 27) (27 . 29) (28 . 30) (29 . 31)) 3414 0.5385 2.5245 ((18 . 1) (19 . 2) (20 . 3) (24 . 7) (25 . 8) (26 . 9) (28 . 11)) 3481 0.5857 2.8115 ((18 . 2) (19 . 3) (20 . 4) (21 . 5) (22 . 8) (24 . 10) (25 . 11) (26 . 12)) 3561 0.6154 2.5512 ((18 . 20) (19 . 21) (20 . 22) (21 . 23) (24 . 26) (25 . 27) (26 . 28) (28 . 31)) 3593 0.5224 3.7580 ((20 . 1) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (27 . 11) (28 . 12)) 3606 0.6922 3.6842 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 8) (26 . 9) (28 . 12)) 3610 0.6153 4.2679 ((17 . 12) (18 . 13) (19 . 14) (20 . 15) (21 . 16) (24 . 19) (25 . 20) (27 . 22)) 3633 0.6153 3.3344 ((17 . 19) (18 . 20) (19 . 21) (20 . 22) (21 . 23) (24 . 26) (25 . 27) (26 . 28)) 3637 0.6140 5.4872 ((18 . 3) (19 . 4) (20 . 5) (21 . 6) (22 . 9) (23 . 11) (24 . 12) (25 . 16) (26 . 17) (28 . 20)) 3677 0.7904 4.2040 ((18 . 5) (19 . 6) (20 . 8) (21 . 9) (22 . 10) (23 . 11) (24 . 12) (25 . 13) (26 . 14) (28 . 16) (29 . 18)) 3722 0.8437 5.4449 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (28 . 11) (29 . 12)) 3724 0.8457 4.0150 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 8) (25 . 9) (26 . 10) (27 . 11) (28 . 12)) 3734 0.3846 4.0516 ((20 . 10) (23 . 11) (24 . 12) (25 . 13) (26 . 14)) 3854 0.6891 3.9623 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 9) (26 . 10) (28 . 13)) 4047 0.6153 3.1861 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (24 . 8) (25 . 9) (28 . 10)) 4067 0.6923 2.8477 ((18 . 14) (19 . 15) (20 . 16) (21 . 17) (23 . 19) (24 . 20) (26 . 22) (27 . 23) (28 . 24)) 4131 0.6147 6.7624 ((18 . 1) (19 . 2) (21 . 6) (24 . 7) (25 . 9) (26 . 11) (27 . 15) (28 . 17)) 4341 0.4614 6.1358 ((18 . 4) (19 . 5) (20 . 6) (21 . 7) (22 . 10) (23 . 11)) 4351 0.8455 4.4047 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 15) (22 . 16) (24 . 17) (25 . 18) (26 . 19) (27 . 20) (28 . 21)) 4404 0.4614 6.3831 ((18 . 1) (19 . 2) (23 . 4) (24 . 8) (25 . 9) (26 . 10)) 4409 0.7690 4.0497 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 15) (22 . 17) (24 . 18) (26 . 19) (27 . 20) (28 . 21)) 4417 0.4615 3.4874 ((20 . 1) (22 . 4) (24 . 7) (25 . 8) (26 . 9) (28 . 10)) 4430 0.5385 2.0566 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (26 . 7)) 4447 0.7687 4.7805 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 15) (22 . 16) (24 . 18) (26 . 21) (28 . 23) (29 . 24)) 4499 0.4614 6.8249 ((18 . 3) (20 . 5) (21 . 6) (25 . 10) (26 . 11) (28 . 14)) 4520 0.6922 4.0019 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 8) (26 . 9) (28 . 12)) 4549 0.9227 3.5650 ((17 . 12) (18 . 14) (19 . 15) (20 . 16) (21 . 17) (22 . 18) (24 . 20) (25 . 21) (26 . 23) (27 . 24) (28 . 25) (29 . 26)) 4573 0.6149 6.2014 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (27 . 9)) 4585 0.7438 3.2199 ((18 . 1) (19 . 2) (20 . 4) (21 . 5) (22 . 6) (23 . 7) (24 . 8) (25 . 10) (26 . 11) (28 . 13)) 4588 0.3846 3.0305 ((18 . 1) (19 . 2) (21 . 4) (26 . 11) (28 . 13)) 4668 0.7691 3.4875 ((18 . 1) (19 . 2) (20 . 3) (22 . 5) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11)) 4730 0.4615 3.4897 ((19 . 4) (20 . 5) (21 . 6) (22 . 7) (24 . 9) (25 . 10)) 4739 0.7681 5.7303 ((18 . 1) (19 . 2) (20 . 3) (22 . 4) (23 . 5) (24 . 6) (25 . 7) (26 . 9) (27 . 11) (28 . 12)) 4765 0.4615 5.2474 ((18 . 1) (19 . 2) (20 . 3) (24 . 5) (25 . 6) (26 . 7)) 4863 0.5381 6.7423 ((18 . 5) (19 . 19) (24 . 20) (25 . 22) (26 . 23) (27 . 24) (28 . 25)) 4943 0.4615 3.4294 ((20 . 1) (21 . 2) (22 . 3) (23 . 4) (24 . 5) (25 . 6)) 5029 0.6154 2.3027 ((18 . 2) (19 . 3) (20 . 4) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 10)) 5045 1.0000 0.0000 ((17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29)) 5082 0.9987 2.5134 ((17 . 1) (18 . 2) (19 . 3) (20 . 4) (21 . 5) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 11) (27 . 14) (28 . 15) (29 . 17)) 5097 0.6153 3.4077 ((17 . 10) (18 . 13) (19 . 14) (20 . 15) (24 . 18) (25 . 19) (26 . 20) (28 . 22)) 5140 0.4615 2.9850 ((18 . 1) (19 . 2) (20 . 3) (21 . 5) (23 . 7) (26 . 8)) 5227 0.6140 7.9924 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (25 . 6) (26 . 7) (27 . 9)) 5362 0.5383 5.2867 ((17 . 2) (18 . 3) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (28 . 13)) 5387 0.6151 5.2665 ((17 . 3) (18 . 4) (19 . 5) (20 . 6) (21 . 7) (24 . 11) (26 . 14) (28 . 16)) 5406 0.9622 2.5475 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 15) (22 . 16) (23 . 17) (24 . 18) (25 . 19) (26 . 21) (27 . 22) (28 . 23) (29 . 25)) 5409 0.6153 3.4387 ((17 . 7) (18 . 9) (19 . 10) (20 . 11) (24 . 13) (26 . 15) (27 . 17) (28 . 18)) 5444 0.6154 2.9662 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (28 . 13)) 5493 0.3846 2.6927 ((18 . 1) (19 . 2) (20 . 3) (24 . 7) (28 . 10)) 5571 0.5379 7.4150 ((18 . 1) (19 . 6) (20 . 7) (21 . 9) (22 . 10) (23 . 12) (25 . 18)) 5654 0.9998 2.7058 ((17 . 16) (18 . 17) (19 . 18) (20 . 19) (21 . 20) (22 . 21) (23 . 22) (24 . 23) (25 . 24) (26 . 26) (27 . 28) (28 . 29) (29 . 30)) 5665 0.4615 5.1869 ((18 . 2) (19 . 3) (20 . 4) (23 . 7) (24 . 8) (27 . 10)) 5786 0.7691 3.0217 ((17 . 15) (18 . 17) (19 . 18) (20 . 19) (21 . 20) (22 . 21) (24 . 23) (25 . 24) (26 . 25) (28 . 27)) 5838 0.5385 2.1551 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (23 . 7) (26 . 8)) 5877 0.7217 4.5368 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 12)) 5942 0.6921 4.0423 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 9) (26 . 10) (28 . 12)) 5954 0.6910 6.8096 ((18 . 1) (19 . 2) (20 . 3) (21 . 5) (24 . 6) (25 . 8) (26 . 9) (27 . 11) (28 . 12)) 6085 0.6923 2.9899 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (24 . 8) (25 . 9) (26 . 10) (28 . 13)) 6114 0.8231 2.9664 ((17 . 15) (18 . 16) (19 . 17) (20 . 18) (21 . 19) (22 . 20) (23 . 21) (24 . 22) (25 . 23) (26 . 25) (27 . 26) (28 . 27) (29 . 28)) 6257 0.7686 4.9276 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 15) (22 . 16) (24 . 18) (26 . 20) (28 . 22) (29 . 23)) 6274 0.9993 2.7808 ((17 . 15) (18 . 16) (19 . 17) (20 . 18) (21 . 19) (22 . 20) (23 . 21) (24 . 22) (25 . 23) (26 . 25) (27 . 27) (28 . 28) (29 . 29)) 6276 0.9998 2.7003 ((17 . 14) (18 . 15) (19 . 16) (20 . 17) (21 . 18) (22 . 19) (23 . 20) (24 . 21) (25 . 22) (26 . 24) (27 . 25) (28 . 26) (29 . 28)) 6292 0.3846 5.0973 ((18 . 1) (19 . 2) (20 . 4) (25 . 8) (28 . 9)) 6341 0.5384 3.5623 ((18 . 7) (19 . 8) (20 . 9) (24 . 12) (25 . 13) (26 . 14) (28 . 15)) 6388 0.6149 6.0568 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (23 . 6) (26 . 7) (27 . 9)) 6420 0.6923 2.6368 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 9) (26 . 10) (28 . 13)) 6426 0.7688 4.5138 ((18 . 1) (19 . 2) (20 . 3) (22 . 4) (23 . 5) (24 . 6) (25 . 7) (26 . 8) (27 . 9) (28 . 10)) 6497 0.7655 4.0511 ((17 . 11) (18 . 14) (19 . 15) (20 . 16) (21 . 17) (23 . 19) (24 . 20) (26 . 22) (27 . 24) (28 . 25)) 6505 0.6153 3.3489 ((18 . 1) (19 . 2) (20 . 3) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (28 . 11)) 6627 0.6923 2.4132 ((18 . 2) (19 . 3) (20 . 4) (21 . 5) (22 . 6) (24 . 8) (25 . 10) (26 . 11) (28 . 14)) END