5362 42 0.4166 6.6216 ((7 . 11) (8 . 12) (9 . 13) (10 . 14) (13 . 16)) 265 0.8331 3.3892 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 9) (10 . 11) (11 . 13) (13 . 14) (31 . 19)) 312 0.7499 3.1529 ((1 . 1) (2 . 2) (3 . 3) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (13 . 14) (31 . 29)) 319 0.8326 4.7037 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12)) 352 0.9114 3.7866 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 10) (10 . 12) (11 . 14) (13 . 15) (31 . 19)) 377 0.7453 4.0974 ((1 . 1) (2 . 2) (3 . 3) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (13 . 13)) 506 0.5830 6.0056 ((1 . 13) (2 . 14) (3 . 15) (8 . 19) (9 . 20) (11 . 22) (31 . 26)) 707 0.8324 4.9484 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 781 0.8288 3.8912 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6) (9 . 8) (10 . 9) (11 . 11) (13 . 12) (31 . 18)) 847 0.5481 2.6428 ((1 . 1) (2 . 2) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 10)) 873 0.5000 3.3075 ((3 . 1) (8 . 8) (9 . 11) (10 . 12) (11 . 13) (13 . 14)) 906 0.9992 2.5177 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (31 . 33)) 972 0.5833 4.0989 ((1 . 14) (2 . 15) (3 . 16) (7 . 21) (8 . 22) (10 . 24) (13 . 27)) 1053 0.8279 3.8080 ((1 . 1) (2 . 2) (3 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (11 . 11) (13 . 12) (31 . 18)) 1071 0.9074 4.6427 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 9) (10 . 11) (11 . 12) (13 . 13) (31 . 16)) 1094 0.7350 4.2970 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 12) (31 . 30)) 1117 0.5000 3.7543 ((1 . 11) (2 . 12) (3 . 13) (8 . 18) (9 . 19) (10 . 20)) 1189 0.8331 3.6115 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 12) (13 . 13) (31 . 19)) 1219 0.8330 3.7961 ((1 . 1) (2 . 2) (3 . 3) (7 . 10) (8 . 11) (9 . 14) (10 . 16) (11 . 18) (13 . 19) (31 . 21)) 1221 0.9131 3.7903 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 11) (10 . 13) (11 . 14) (13 . 15) (31 . 18)) 1242 0.6306 4.0051 ((1 . 1) (2 . 2) (3 . 3) (8 . 7) (9 . 9) (10 . 10) (11 . 13) (13 . 14) (31 . 19)) 1355 0.5267 4.8554 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (31 . 15)) 1436 0.5000 3.0758 ((3 . 16) (7 . 21) (8 . 22) (9 . 23) (10 . 25) (13 . 27)) 1487 0.8669 4.1480 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11) (31 . 31)) 1531 0.8328 4.2215 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 13) (13 . 15) (31 . 16)) 1560 0.8328 4.2978 ((1 . 2) (2 . 3) (3 . 4) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 1804 0.5000 3.9803 ((2 . 13) (3 . 14) (7 . 19) (8 . 20) (10 . 23) (13 . 25)) 1807 0.9107 4.7220 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (7 . 7) (8 . 8) (9 . 11) (10 . 12) (11 . 14) (13 . 15) (31 . 18)) 1809 0.8328 4.2357 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 1899 0.5832 4.6580 ((1 . 12) (2 . 13) (3 . 14) (7 . 19) (8 . 20) (9 . 21) (10 . 22)) 1922 0.9138 4.0289 ((1 . 1) (2 . 2) (3 . 6) (4 . 7) (7 . 10) (8 . 11) (9 . 12) (10 . 13) (11 . 14) (13 . 15) (31 . 25)) 1948 0.5000 4.2142 ((1 . 16) (2 . 17) (3 . 18) (7 . 23) (8 . 26) (10 . 28)) 1956 0.5000 3.2443 ((3 . 15) (7 . 21) (8 . 22) (9 . 23) (10 . 24) (13 . 27)) 2004 0.5000 3.1657 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (13 . 10)) 2016 0.5832 4.8719 ((1 . 22) (2 . 23) (3 . 25) (7 . 28) (8 . 31) (9 . 33) (10 . 34)) 2017 0.8327 4.4576 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 2046 0.5000 3.0331 ((3 . 16) (7 . 21) (8 . 22) (9 . 23) (10 . 25) (13 . 27)) 2090 0.9107 4.7187 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (7 . 7) (8 . 8) (9 . 11) (10 . 12) (11 . 16) (13 . 17) (31 . 20)) 2095 0.8329 4.1363 ((1 . 2) (2 . 4) (3 . 5) (7 . 9) (8 . 10) (9 . 11) (10 . 12) (11 . 13) (13 . 14) (31 . 29)) 2180 0.9078 4.2615 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7) (8 . 8) (9 . 11) (10 . 12) (11 . 14) (13 . 15) (31 . 17)) 2189 0.8331 3.4777 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 11) (13 . 12) (31 . 16)) 2194 0.5000 3.3932 ((3 . 16) (7 . 22) (8 . 23) (9 . 24) (10 . 25) (13 . 28)) 2270 0.4167 3.4510 ((1 . 17) (2 . 18) (3 . 19) (8 . 24) (10 . 28)) 2309 0.4999 4.7220 ((1 . 18) (2 . 19) (3 . 20) (7 . 25) (8 . 26) (10 . 28)) 2316 0.9077 4.3124 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 12) (13 . 13) (31 . 18)) 2328 0.7498 3.9918 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11)) 2330 0.7903 4.7141 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13)) 2368 0.9119 4.0388 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 15) (13 . 16) (31 . 23)) 2376 0.7837 4.3805 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11)) 2463 0.8330 3.7148 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11)) 2615 0.7409 5.7728 ((1 . 2) (2 . 3) (3 . 4) (7 . 5) (8 . 9) (9 . 11) (10 . 12) (11 . 13) (13 . 14) (31 . 15)) 2657 0.8329 4.1000 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 2674 0.5000 4.3005 ((2 . 11) (3 . 12) (7 . 18) (8 . 19) (9 . 20) (10 . 24)) 2725 0.7493 5.2899 ((1 . 1) (2 . 2) (3 . 3) (7 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11)) 2736 0.7430 2.9537 ((1 . 1) (2 . 2) (3 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 9) (13 . 10) (31 . 21)) 2781 0.8331 3.6500 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 12) (11 . 14) (13 . 15) (31 . 18)) 2789 0.5000 3.7520 ((3 . 1) (8 . 7) (9 . 8) (10 . 10) (11 . 13) (13 . 14)) 3017 0.5000 3.2787 ((3 . 15) (7 . 21) (8 . 22) (9 . 23) (10 . 25) (13 . 28)) 3059 0.8264 4.7559 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 3072 0.5000 4.2179 ((2 . 19) (3 . 20) (7 . 25) (8 . 26) (10 . 30) (13 . 32)) 3144 0.8329 4.0918 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 3192 0.8419 3.6586 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 11) (13 . 12) (31 . 18)) 3257 0.8328 4.2337 ((1 . 1) (2 . 2) (3 . 3) (7 . 4) (8 . 5) (9 . 8) (10 . 9) (11 . 11) (13 . 12) (31 . 18)) 3385 0.7485 6.3804 ((1 . 17) (2 . 18) (3 . 19) (7 . 20) (8 . 23) (9 . 25) (10 . 27) (11 . 29) (13 . 30)) 3414 0.4167 3.7612 ((3 . 1) (8 . 7) (9 . 8) (10 . 9) (11 . 10)) 3481 0.5000 2.5863 ((1 . 2) (2 . 3) (3 . 4) (8 . 10) (9 . 11) (10 . 12)) 3561 0.4999 4.7873 ((1 . 20) (2 . 21) (3 . 22) (7 . 27) (8 . 28) (10 . 31)) 3593 0.7838 4.0732 ((1 . 1) (2 . 2) (3 . 4) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 12) (31 . 25)) 3606 0.7904 4.6254 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12)) 3610 0.4166 6.6575 ((7 . 12) (8 . 13) (9 . 14) (10 . 15) (13 . 19)) 3633 0.4999 4.6730 ((1 . 20) (2 . 21) (3 . 22) (7 . 27) (8 . 28) (10 . 32)) 3637 0.4167 3.2741 ((1 . 3) (2 . 4) (3 . 5) (8 . 12) (13 . 17)) 3677 0.8329 4.0351 ((1 . 5) (2 . 6) (3 . 8) (4 . 9) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (11 . 15) (13 . 16)) 3722 0.8331 3.6648 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11)) 3724 0.6662 3.0819 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 12)) 3734 0.4167 3.3746 ((1 . 10) (2 . 11) (3 . 12) (8 . 18) (10 . 20)) 3854 0.7442 4.2860 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 10) (11 . 11) (13 . 13)) 4047 0.7497 4.1725 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 12) (13 . 13)) 4067 0.5000 4.2343 ((1 . 14) (2 . 15) (3 . 16) (7 . 21) (8 . 22) (10 . 24)) 4131 0.9103 4.0438 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 9) (10 . 11) (11 . 15) (13 . 17) (31 . 18)) 4341 0.4998 6.5133 ((3 . 4) (7 . 7) (8 . 10) (9 . 11) (10 . 13) (13 . 15)) 4351 0.4998 6.1432 ((2 . 11) (3 . 12) (7 . 15) (8 . 17) (10 . 19) (13 . 21)) 4404 0.7758 4.0823 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 8) (9 . 9) (10 . 10) (13 . 12) (31 . 26)) 4409 0.5000 3.6519 ((1 . 12) (2 . 13) (3 . 14) (8 . 19) (9 . 20) (10 . 21)) 4417 0.7454 3.5571 ((1 . 1) (2 . 2) (3 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (13 . 10) (31 . 30)) 4430 0.9109 4.4229 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 12) (13 . 13) (31 . 16)) 4447 0.5000 3.2434 ((1 . 12) (2 . 13) (3 . 14) (8 . 21) (9 . 22) (10 . 23)) 4499 0.9005 4.9328 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 4520 0.7497 4.4040 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12)) 4549 0.4998 6.3903 ((3 . 14) (7 . 17) (8 . 20) (9 . 21) (10 . 23) (13 . 25)) 4573 0.8329 4.0418 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 4585 0.5000 2.9712 ((1 . 1) (3 . 6) (9 . 10) (10 . 11) (11 . 12) (13 . 13)) 4588 0.7469 3.2002 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 11) (9 . 12) (10 . 13) (13 . 16) (31 . 31)) 4668 0.7499 2.9062 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11)) 4730 0.5737 3.9752 ((1 . 1) (2 . 2) (3 . 3) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (31 . 25)) 4739 0.8330 3.9634 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6) (9 . 7) (10 . 9) (11 . 11) (13 . 12) (31 . 15)) 4765 0.7417 3.5073 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 14) (13 . 15) (31 . 21)) 4863 0.9862 4.3811 ((1 . 5) (2 . 6) (3 . 14) (4 . 15) (5 . 16) (7 . 19) (8 . 20) (9 . 22) (10 . 23) (11 . 24) (13 . 25) (31 . 36)) 4943 0.8332 3.2105 ((1 . 1) (2 . 2) (3 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (13 . 9) (31 . 17)) 5029 0.5481 3.3601 ((1 . 2) (2 . 3) (3 . 4) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 5045 0.5831 5.2867 ((2 . 17) (3 . 18) (7 . 23) (8 . 24) (9 . 25) (10 . 26) (13 . 28)) 5082 0.5000 4.3368 ((1 . 2) (2 . 3) (3 . 4) (7 . 9) (8 . 11) (10 . 15)) 5097 0.5000 4.1088 ((2 . 14) (3 . 15) (7 . 19) (8 . 20) (10 . 22) (13 . 24)) 5140 0.8329 4.0496 ((1 . 1) (2 . 2) (3 . 3) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 5227 0.8328 4.3530 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 17)) 5362 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (31 . 31)) 5387 0.4167 3.7512 ((3 . 4) (8 . 11) (9 . 12) (10 . 14) (13 . 16)) 5406 0.5832 4.6158 ((2 . 11) (3 . 12) (7 . 17) (8 . 18) (9 . 19) (10 . 21) (13 . 23)) 5409 0.5000 4.4130 ((1 . 9) (2 . 10) (3 . 11) (7 . 14) (8 . 15) (10 . 20)) 5444 0.9122 4.4720 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 11) (10 . 13) (11 . 15) (13 . 16) (31 . 19)) 5493 0.9111 4.2095 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 12) (31 . 17)) 5571 0.8599 3.7107 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 12) (13 . 13) (31 . 18)) 5654 0.5000 3.2317 ((3 . 17) (7 . 22) (8 . 23) (9 . 24) (10 . 26) (13 . 29)) 5665 0.8332 3.2136 ((1 . 2) (2 . 3) (3 . 4) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 13) (13 . 15) (31 . 21)) 5786 0.4166 4.3456 ((1 . 17) (2 . 18) (3 . 23) (7 . 24) (8 . 25)) 5838 0.8328 4.2251 ((1 . 1) (2 . 2) (3 . 3) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 12) (13 . 13) (31 . 15)) 5877 0.7904 4.5716 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12)) 5942 0.7498 3.8876 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 12)) 5954 0.8330 3.9365 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6) (9 . 8) (10 . 9) (11 . 11) (13 . 12) (31 . 15)) 6085 0.7498 3.6606 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13)) 6114 0.4167 3.7519 ((2 . 15) (3 . 16) (7 . 21) (8 . 25) (10 . 27)) 6257 0.5000 3.5530 ((1 . 12) (2 . 13) (3 . 14) (8 . 20) (9 . 21) (10 . 22)) 6274 0.5833 4.1455 ((2 . 15) (3 . 16) (7 . 21) (8 . 22) (9 . 23) (10 . 25) (13 . 28)) 6276 0.5832 4.2874 ((2 . 14) (3 . 15) (7 . 20) (8 . 21) (9 . 22) (10 . 24) (13 . 26)) 6292 0.8926 4.5587 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (7 . 8) (8 . 9) (9 . 11) (10 . 12) (11 . 13) (13 . 14) (31 . 26)) 6341 0.5833 3.3171 ((1 . 7) (2 . 8) (3 . 9) (8 . 12) (9 . 13) (10 . 14) (13 . 15)) 6388 0.9056 4.7411 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (31 . 16)) 6420 0.7443 3.5952 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13)) 6426 0.7499 3.4833 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (13 . 10)) 6497 0.5000 4.1916 ((1 . 14) (2 . 15) (3 . 16) (7 . 21) (8 . 22) (10 . 25)) 6505 0.7498 3.7587 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 11)) 6627 0.7497 4.1673 ((1 . 2) (2 . 3) (3 . 4) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 12) (13 . 14)) END