1446 233 0.7488 6.0328 ((14 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 7) (24 . 8)) 234 0.7496 4.4678 ((14 . 10) (16 . 11) (17 . 12) (20 . 14) (22 . 15) (24 . 16)) 291 0.6421 5.4379 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 7)) 349 0.8220 3.2891 ((15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 365 0.7496 4.5406 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 6) (22 . 8)) 388 0.7496 4.6830 ((14 . 16) (16 . 17) (17 . 18) (19 . 19) (22 . 21) (24 . 23)) 402 0.8220 3.5189 ((15 . 2) (16 . 3) (17 . 5) (19 . 6) (20 . 7) (22 . 9) (24 . 11)) 403 0.6997 6.2864 ((15 . 12) (16 . 13) (17 . 15) (19 . 17) (20 . 18) (22 . 20) (24 . 21)) 404 0.8342 4.9690 ((14 . 22) (15 . 23) (16 . 24) (17 . 25) (20 . 28) (22 . 30) (24 . 31)) 405 0.4995 7.9864 ((19 . 35) (20 . 37) (22 . 38) (24 . 39)) 445 0.7480 6.9004 ((15 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 6) (24 . 7)) 449 0.7494 5.0262 ((14 . 1) (16 . 2) (17 . 3) (20 . 6) (22 . 7) (24 . 9)) 450 0.7499 3.1400 ((14 . 12) (16 . 13) (17 . 15) (20 . 18) (22 . 19) (24 . 20)) 564 0.7454 4.8260 ((14 . 1) (16 . 2) (17 . 3) (19 . 7) (20 . 8) (22 . 10) (24 . 11)) 565 0.8718 6.3790 ((15 . 12) (16 . 13) (17 . 14) (19 . 15) (20 . 16) (22 . 17) (24 . 18)) 567 0.8741 4.5857 ((14 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6) (22 . 8) (24 . 10)) 568 0.8743 4.3918 ((14 . 12) (16 . 13) (17 . 15) (19 . 16) (20 . 17) (22 . 18) (24 . 19)) 570 0.8730 5.6323 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 9) (22 . 11) (24 . 12)) 571 0.6484 7.7484 ((14 . 12) (15 . 13) (16 . 14) (20 . 15) (22 . 16) (24 . 17)) 578 0.8744 4.1461 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 8)) 579 0.8739 4.8787 ((14 . 9) (16 . 10) (17 . 12) (19 . 13) (20 . 14) (22 . 15) (24 . 17)) 599 0.8728 5.8200 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 7) (22 . 9) (24 . 10)) 600 0.8696 7.2887 ((14 . 10) (16 . 11) (17 . 12) (19 . 13) (20 . 14) (22 . 15) (24 . 16)) 626 0.7485 6.4153 ((16 . 3) (17 . 4) (19 . 5) (20 . 7) (22 . 8) (24 . 10)) 668 0.9536 5.2713 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 669 0.8042 3.1313 ((15 . 13) (16 . 14) (17 . 16) (19 . 17) (20 . 18) (22 . 20) (24 . 22)) 670 0.6495 5.9142 ((15 . 24) (16 . 25) (17 . 27) (19 . 28) (22 . 30) (24 . 31)) 671 0.4995 7.9805 ((19 . 35) (20 . 37) (22 . 38) (24 . 40)) 693 0.7493 5.3125 ((16 . 31) (17 . 32) (19 . 33) (20 . 34) (22 . 35) (24 . 36)) 695 0.8737 5.0956 ((14 . 1) (16 . 3) (17 . 4) (19 . 5) (20 . 6) (22 . 7) (24 . 8)) 696 0.8746 3.7567 ((14 . 10) (15 . 11) (16 . 12) (17 . 13) (20 . 16) (22 . 17) (24 . 19)) 697 0.8748 3.2136 ((14 . 20) (15 . 21) (16 . 22) (17 . 23) (20 . 26) (22 . 27) (24 . 30)) 698 0.9976 5.0136 ((14 . 31) (15 . 33) (16 . 34) (17 . 36) (19 . 37) (20 . 38) (22 . 39) (24 . 40)) 828 0.7497 4.1169 ((14 . 7) (16 . 8) (17 . 9) (19 . 10) (20 . 11) (22 . 12)) 888 0.8725 5.9986 ((14 . 13) (16 . 14) (17 . 15) (19 . 17) (20 . 19) (22 . 20) (24 . 21)) 919 0.8705 6.9579 ((15 . 3) (16 . 4) (17 . 5) (19 . 6) (20 . 8) (22 . 9) (24 . 10)) 922 0.9556 3.2321 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 926 0.6248 4.5492 ((15 . 1) (19 . 8) (20 . 9) (22 . 11) (24 . 12)) 927 0.8717 6.4406 ((15 . 13) (16 . 14) (17 . 15) (19 . 17) (20 . 18) (22 . 19) (24 . 20)) 1025 0.7473 7.3758 ((14 . 3) (16 . 4) (17 . 5) (20 . 7) (22 . 8) (24 . 9)) 1086 0.6244 6.3267 ((14 . 3) (16 . 5) (17 . 6) (19 . 7) (22 . 10)) 1110 0.8735 5.3035 ((15 . 10) (16 . 11) (17 . 13) (19 . 14) (20 . 15) (22 . 16) (24 . 18)) 1112 0.8745 4.0210 ((15 . 2) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (22 . 10) (24 . 12)) 1126 0.6245 6.0358 ((14 . 2) (16 . 3) (17 . 4) (20 . 7) (22 . 9)) 1127 0.8746 3.8577 ((14 . 13) (16 . 14) (17 . 16) (19 . 17) (20 . 18) (22 . 19) (24 . 21)) 1149 0.7497 4.3228 ((14 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 6) (24 . 7)) 1164 0.7490 5.7951 ((15 . 2) (16 . 3) (19 . 6) (20 . 7) (22 . 9) (24 . 10)) 1181 0.4999 5.7413 ((15 . 7) (16 . 9) (17 . 11) (19 . 13)) 1235 0.9988 4.2254 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 6) (20 . 7) (22 . 9) (24 . 10)) 1236 0.7498 3.7999 ((14 . 11) (16 . 13) (17 . 15) (19 . 18) (20 . 19) (22 . 21)) 1270 0.7496 4.6422 ((15 . 34) (16 . 35) (17 . 36) (19 . 37) (20 . 38) (22 . 39)) 1293 0.9634 4.8137 ((14 . 1) (15 . 3) (16 . 4) (17 . 5) (19 . 9) (20 . 10) (22 . 11) (24 . 14)) 1294 0.8711 6.7116 ((14 . 39) (16 . 40) (17 . 41) (19 . 43) (20 . 44) (22 . 46) (24 . 47)) 1295 0.8720 6.2597 ((15 . 48) (16 . 49) (17 . 50) (19 . 51) (20 . 52) (22 . 53) (24 . 54)) 1341 0.9052 4.6051 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 1342 0.8034 5.1966 ((14 . 14) (15 . 16) (16 . 17) (17 . 19) (20 . 21) (22 . 22) (24 . 24)) 1363 0.4990 9.4983 ((14 . 3) (15 . 5) (16 . 6) (19 . 8)) 1374 0.8748 3.1165 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (20 . 6) (22 . 8) (24 . 9)) 1375 0.8222 1.4510 ((14 . 10) (15 . 11) (16 . 12) (17 . 14) (20 . 16) (22 . 18) (24 . 20)) 1390 0.7497 4.3985 ((15 . 2) (16 . 3) (17 . 4) (20 . 6) (22 . 8) (24 . 9)) 1391 0.8140 8.7564 ((15 . 11) (16 . 12) (17 . 13) (19 . 15) (20 . 16) (22 . 17) (24 . 18)) 1392 0.8739 4.8551 ((14 . 20) (16 . 21) (17 . 22) (19 . 23) (20 . 24) (22 . 25) (24 . 26)) 1418 0.7499 3.3178 ((14 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 6) (24 . 8)) 1419 0.8744 4.2377 ((14 . 10) (16 . 11) (17 . 12) (19 . 13) (20 . 14) (22 . 15) (24 . 16)) 1445 0.9266 4.5436 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (19 . 9) (20 . 10) (22 . 12) (24 . 13)) 1446 1.0000 0.0000 ((14 . 14) (15 . 15) (16 . 16) (17 . 17) (19 . 19) (20 . 20) (22 . 22) (24 . 24)) 1502 0.9979 4.8384 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 6) (20 . 7) (22 . 9) (24 . 10)) 1555 0.8028 5.8715 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6) (22 . 8) (24 . 9)) 1566 0.4999 4.8567 ((19 . 1) (20 . 3) (22 . 4) (24 . 5)) 1568 0.8211 5.3272 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 7)) 1569 0.8738 4.9800 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 8)) 1570 0.8742 4.4273 ((14 . 9) (16 . 10) (17 . 11) (19 . 12) (20 . 13) (22 . 14) (24 . 16)) 1571 0.8743 4.4211 ((14 . 17) (16 . 18) (17 . 19) (19 . 20) (20 . 21) (22 . 22) (24 . 24)) 1572 0.8740 4.7742 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 8)) 1573 0.8738 4.9333 ((14 . 9) (16 . 10) (17 . 11) (19 . 12) (20 . 13) (22 . 14) (24 . 16)) 1579 0.7782 6.0652 ((14 . 2) (16 . 3) (17 . 5) (19 . 8) (20 . 10) (22 . 12) (24 . 14)) 1580 0.9995 3.4104 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 9) (24 . 11)) 1600 0.7488 6.0596 ((14 . 1) (16 . 3) (17 . 4) (20 . 6) (22 . 8) (24 . 9)) 1601 0.7496 4.4968 ((14 . 10) (16 . 11) (17 . 12) (19 . 15) (20 . 17) (22 . 20)) 1660 0.7498 3.9482 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 7)) 1661 0.8738 4.9371 ((14 . 11) (16 . 12) (17 . 14) (19 . 15) (20 . 16) (22 . 17) (24 . 18)) 1666 0.9710 4.2509 ((14 . 1) (15 . 3) (16 . 4) (17 . 5) (19 . 7) (20 . 8) (22 . 9) (24 . 11)) 1667 0.8710 6.7322 ((14 . 38) (16 . 39) (17 . 40) (19 . 41) (20 . 42) (22 . 44) (24 . 45)) 1668 0.8731 5.5908 ((14 . 46) (16 . 48) (17 . 50) (19 . 51) (20 . 53) (22 . 54) (24 . 55)) 1684 0.8750 1.9907 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (20 . 7) (22 . 9) (24 . 11)) 1688 0.9536 5.2448 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 6) (20 . 7) (22 . 9) (24 . 10)) 1722 0.9959 5.7398 ((14 . 2) (15 . 3) (16 . 4) (17 . 6) (19 . 8) (20 . 10) (22 . 13) (24 . 15)) 1723 0.9478 8.6755 ((14 . 17) (15 . 18) (16 . 19) (17 . 20) (19 . 21) (20 . 22) (22 . 26) (24 . 27)) 1826 0.6076 5.1088 ((14 . 2) (16 . 3) (17 . 5) (19 . 7) (20 . 8) (22 . 9)) 1827 0.7794 4.1462 ((14 . 13) (16 . 14) (17 . 16) (19 . 18) (20 . 19) (22 . 20) (24 . 21)) 1828 0.6244 6.3694 ((14 . 22) (16 . 23) (17 . 26) (19 . 28) (22 . 29)) 1864 0.9993 3.7340 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 6) (20 . 7) (22 . 9) (24 . 10)) 1928 0.9991 3.8811 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 7) (22 . 9) (24 . 11)) 1938 0.9980 4.7941 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 6) (22 . 8) (24 . 9)) 1939 0.7424 7.9879 ((14 . 10) (16 . 11) (17 . 12) (19 . 15) (20 . 16) (22 . 17) (24 . 18)) 1996 0.4997 6.8564 ((14 . 2) (16 . 3) (20 . 4) (22 . 5)) 2009 0.6231 8.4963 ((16 . 2) (17 . 3) (20 . 5) (22 . 7) (24 . 8)) 2022 0.7480 6.8787 ((14 . 14) (16 . 15) (17 . 16) (20 . 20) (22 . 22) (24 . 24)) 2061 0.8730 5.6489 ((14 . 1) (16 . 3) (17 . 5) (19 . 6) (20 . 7) (22 . 8) (24 . 9)) 2087 0.9437 2.5102 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 2110 0.4994 8.4148 ((16 . 21) (19 . 26) (20 . 27) (22 . 28)) 2165 0.4925 16.0050 ((16 . 24) (17 . 26) (20 . 29) (22 . 30)) 2186 0.7472 7.5070 ((15 . 7) (16 . 8) (19 . 11) (20 . 12) (22 . 13) (24 . 14)) 2188 0.7487 6.1303 ((14 . 9) (16 . 10) (17 . 11) (20 . 14) (22 . 15) (24 . 16)) 2191 0.6244 6.3543 ((16 . 1) (17 . 2) (20 . 5) (22 . 7) (24 . 8)) 2221 0.6239 7.4749 ((14 . 1) (19 . 5) (20 . 6) (22 . 8) (24 . 9)) 2246 0.6241 7.0542 ((14 . 1) (19 . 8) (20 . 9) (22 . 11) (24 . 12)) 2318 0.9274 3.3194 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (19 . 8) (20 . 10) (22 . 12) (24 . 14)) 2319 0.7494 5.1292 ((14 . 15) (16 . 16) (17 . 17) (19 . 18) (20 . 20) (22 . 21)) 2320 0.8776 3.6969 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 2321 0.6246 5.7753 ((16 . 14) (17 . 15) (20 . 18) (22 . 20) (24 . 22)) 2338 0.7469 7.6436 ((15 . 13) (16 . 14) (17 . 15) (20 . 19) (22 . 21) (24 . 22)) 2365 0.9042 5.4620 ((14 . 1) (15 . 2) (16 . 3) (17 . 6) (19 . 9) (20 . 10) (22 . 11) (24 . 12)) 2428 0.6232 8.3521 ((14 . 5) (17 . 8) (19 . 9) (20 . 10) (22 . 12)) 2441 0.7932 3.5812 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 6) (22 . 7) (24 . 9)) 2442 0.7497 4.1573 ((14 . 10) (16 . 12) (17 . 14) (19 . 15) (20 . 16) (22 . 17)) 2444 0.7478 7.0683 ((14 . 1) (16 . 2) (17 . 4) (20 . 7) (22 . 8) (24 . 9)) 2445 0.8745 3.9127 ((14 . 11) (16 . 12) (17 . 14) (19 . 15) (20 . 16) (22 . 17) (24 . 19)) 2473 0.8721 6.2100 ((14 . 2) (16 . 3) (17 . 5) (19 . 6) (20 . 8) (22 . 10) (24 . 11)) 2507 0.9967 5.4306 ((14 . 1) (15 . 3) (16 . 4) (17 . 6) (19 . 9) (20 . 11) (22 . 13) (24 . 14)) 2508 0.6250 2.4457 ((15 . 16) (16 . 17) (17 . 19) (20 . 22) (22 . 24)) 2531 0.7488 6.0769 ((14 . 1) (16 . 2) (17 . 3) (19 . 6) (20 . 7) (22 . 8)) 2534 0.8744 4.1803 ((14 . 16) (15 . 17) (16 . 18) (17 . 19) (20 . 22) (22 . 23) (24 . 25)) 2577 0.7499 3.1708 ((15 . 2) (16 . 3) (17 . 5) (19 . 6) (20 . 7) (22 . 9)) 2578 0.6795 4.4361 ((15 . 12) (16 . 13) (17 . 15) (19 . 17) (20 . 18) (22 . 20)) 2579 0.9979 4.8385 ((14 . 22) (15 . 23) (16 . 24) (17 . 25) (19 . 27) (20 . 29) (22 . 31) (24 . 32)) 2641 0.7445 6.3856 ((14 . 1) (16 . 3) (17 . 5) (19 . 7) (20 . 8) (22 . 9) (24 . 10)) 2686 0.7497 4.3356 ((15 . 2) (16 . 3) (17 . 4) (20 . 9) (22 . 10) (24 . 13)) 2728 0.7442 6.6453 ((14 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6) (22 . 9) (24 . 10)) 2767 0.6237 7.7315 ((14 . 2) (16 . 3) (17 . 4) (20 . 6) (22 . 7)) 2812 0.7493 5.2579 ((15 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 6) (24 . 7)) 2813 0.4995 8.1986 ((16 . 10) (17 . 12) (19 . 13) (20 . 14)) 2877 0.6223 9.3066 ((14 . 2) (16 . 3) (17 . 4) (20 . 7) (22 . 8)) 2880 0.6223 9.3103 ((14 . 3) (16 . 4) (17 . 5) (20 . 8) (22 . 9)) 2971 0.7442 6.6571 ((14 . 4) (16 . 5) (17 . 8) (19 . 13) (20 . 14) (22 . 16) (24 . 17)) 2987 0.8739 4.8172 ((14 . 26) (15 . 27) (16 . 28) (19 . 30) (20 . 31) (22 . 32) (24 . 33)) 3099 0.8698 7.1983 ((14 . 23) (16 . 24) (17 . 25) (19 . 26) (20 . 27) (22 . 28) (24 . 29)) 3101 0.7482 6.6760 ((14 . 50) (16 . 51) (17 . 52) (19 . 53) (22 . 55) (24 . 56)) 3159 0.8744 4.1683 ((14 . 52) (15 . 53) (16 . 54) (17 . 55) (20 . 59) (22 . 60) (24 . 61)) 3185 0.6244 6.2546 ((14 . 14) (16 . 15) (17 . 16) (20 . 21) (22 . 23)) 3186 0.6248 4.6671 ((14 . 1) (16 . 2) (17 . 3) (20 . 7) (22 . 8)) 3205 0.7795 3.7961 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 8)) 3292 0.8219 3.7839 ((15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 11)) 3342 0.9916 6.8835 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 7) (22 . 8) (24 . 9)) 3357 0.9486 7.0358 ((14 . 1) (15 . 4) (16 . 5) (17 . 6) (19 . 7) (20 . 8) (22 . 10) (24 . 11)) 3378 0.7498 3.6635 ((14 . 32) (15 . 33) (16 . 34) (17 . 35) (20 . 37) (22 . 39)) 3417 0.9196 7.4975 ((14 . 2) (15 . 4) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (22 . 10) (24 . 11)) 3430 0.6232 8.4555 ((16 . 4) (17 . 5) (20 . 8) (22 . 9) (24 . 10)) 3431 0.4999 5.7187 ((19 . 1) (20 . 2) (22 . 3) (24 . 4)) 3443 0.8432 5.3036 ((15 . 2) (16 . 3) (17 . 4) (19 . 6) (20 . 7) (22 . 8) (24 . 9)) 3444 0.8720 6.2719 ((14 . 37) (16 . 38) (17 . 39) (19 . 41) (20 . 43) (22 . 45) (24 . 46)) 3445 0.8730 5.6944 ((15 . 47) (16 . 48) (17 . 49) (19 . 50) (20 . 51) (22 . 52) (24 . 53)) 3472 0.9998 2.8069 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 8) (20 . 9) (22 . 11) (24 . 12)) 3478 0.5518 8.1656 ((15 . 2) (17 . 4) (19 . 5) (20 . 7) (22 . 8)) 3507 0.6245 6.1329 ((14 . 31) (15 . 32) (16 . 33) (17 . 34) (19 . 37)) 3530 0.7495 4.8875 ((15 . 20) (16 . 21) (19 . 23) (20 . 24) (22 . 25) (24 . 27)) 3531 0.7496 4.6515 ((16 . 30) (17 . 32) (19 . 33) (20 . 34) (22 . 35) (24 . 36)) 3532 0.6249 4.2599 ((15 . 37) (16 . 38) (20 . 39) (22 . 40) (24 . 42)) 3550 0.4999 5.5660 ((14 . 2) (17 . 6) (20 . 9) (22 . 10)) 3554 0.7490 5.8070 ((14 . 1) (16 . 3) (17 . 4) (20 . 8) (22 . 10) (24 . 11)) 3555 0.8730 5.6341 ((14 . 12) (16 . 14) (17 . 15) (19 . 17) (20 . 19) (22 . 21) (24 . 23)) 3556 0.8748 3.0611 ((14 . 1) (16 . 2) (17 . 3) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 3557 0.7500 2.0526 ((16 . 15) (17 . 16) (19 . 18) (20 . 19) (22 . 21) (24 . 23)) 3655 0.9498 8.3998 ((14 . 28) (15 . 29) (16 . 31) (17 . 32) (19 . 34) (20 . 35) (22 . 41) (24 . 45)) 3667 0.6242 6.7964 ((14 . 3) (16 . 4) (17 . 6) (20 . 8) (22 . 9)) 3690 0.6237 7.7499 ((14 . 2) (16 . 4) (17 . 5) (20 . 9) (22 . 11)) 3699 0.6248 4.5765 ((15 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 8)) 3700 0.7498 4.0499 ((14 . 13) (16 . 14) (17 . 16) (20 . 18) (22 . 19) (24 . 20)) 3762 0.7477 7.1155 ((14 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 6) (24 . 7)) 3791 0.4999 5.5829 ((14 . 47) (16 . 48) (17 . 50) (22 . 52)) 3792 0.8724 6.0452 ((15 . 54) (16 . 55) (17 . 56) (19 . 59) (20 . 60) (22 . 61) (24 . 62)) 3793 0.6180 11.8676 ((15 . 69) (16 . 70) (20 . 71) (22 . 72) (24 . 73)) 3794 0.4998 6.0118 ((19 . 26) (20 . 27) (22 . 29) (24 . 30)) 3876 0.7136 5.3301 ((15 . 2) (16 . 3) (17 . 4) (20 . 6) (22 . 7) (24 . 10)) 3948 0.6243 6.6633 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (22 . 9)) 3949 0.8708 6.8321 ((15 . 15) (16 . 16) (17 . 17) (19 . 19) (20 . 21) (22 . 22) (24 . 24)) 3950 0.8042 3.2958 ((15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 3951 0.6221 9.4928 ((14 . 15) (16 . 16) (17 . 18) (20 . 21) (22 . 22)) 4079 0.8743 4.4225 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (20 . 7) (22 . 8) (24 . 10)) 4109 0.7498 3.6503 ((15 . 1) (16 . 2) (17 . 3) (20 . 5) (22 . 7) (24 . 8)) 4110 0.8205 5.8561 ((15 . 9) (16 . 10) (17 . 11) (19 . 12) (20 . 13) (22 . 14) (24 . 16)) 4111 0.8742 4.4871 ((14 . 17) (16 . 18) (17 . 19) (19 . 20) (20 . 22) (22 . 23) (24 . 24)) 4145 0.7491 5.6623 ((15 . 1) (16 . 2) (17 . 3) (20 . 6) (22 . 7) (24 . 9)) 4146 0.6248 4.6215 ((14 . 11) (16 . 12) (17 . 14) (20 . 15) (22 . 16)) 4178 0.4995 7.9819 ((14 . 3) (16 . 4) (17 . 5) (24 . 9)) 4197 0.4999 4.9621 ((19 . 7) (20 . 8) (22 . 10) (24 . 11)) 4199 0.8745 4.0878 ((14 . 1) (15 . 2) (16 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 7)) 4219 0.8719 6.3175 ((14 . 2) (15 . 3) (16 . 4) (17 . 5) (20 . 8) (22 . 9) (24 . 10)) 4221 0.6239 7.4411 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (22 . 8)) 4224 0.6248 5.1155 ((14 . 3) (19 . 8) (20 . 9) (22 . 11) (24 . 13)) 4230 0.8748 3.2103 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (20 . 8) (22 . 11) (24 . 13)) 4286 0.9996 3.2513 ((14 . 2) (15 . 3) (16 . 5) (17 . 6) (19 . 9) (20 . 11) (22 . 13) (24 . 15)) 4289 0.9986 4.4175 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 7) (22 . 9) (24 . 10)) 4290 0.8743 4.3748 ((14 . 11) (16 . 13) (17 . 14) (19 . 15) (20 . 17) (22 . 18) (24 . 20)) 4349 0.9557 2.9196 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 4464 0.6229 8.7320 ((16 . 3) (17 . 6) (19 . 7) (20 . 9) (22 . 10)) 4512 0.8747 3.4908 ((15 . 2) (16 . 3) (17 . 6) (19 . 7) (20 . 8) (22 . 9) (24 . 10)) 4525 0.7495 4.7771 ((14 . 20) (16 . 21) (17 . 23) (20 . 26) (22 . 28) (24 . 29)) 4526 0.7448 5.9478 ((14 . 30) (16 . 31) (17 . 32) (19 . 33) (20 . 34) (22 . 35) (24 . 36)) 4581 0.4997 6.8196 ((14 . 9) (16 . 10) (17 . 12) (19 . 14)) 4584 0.9270 3.9741 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (19 . 8) (20 . 9) (22 . 11) (24 . 13)) 4637 0.8778 3.0191 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 7) (20 . 8) (22 . 10) (24 . 12)) 4639 0.8749 2.7820 ((15 . 2) (16 . 3) (17 . 5) (19 . 8) (20 . 9) (22 . 10) (24 . 12)) 4640 0.8728 5.8140 ((14 . 14) (16 . 16) (17 . 17) (19 . 19) (20 . 21) (22 . 23) (24 . 24)) 4687 0.7489 5.8479 ((14 . 27) (16 . 28) (17 . 30) (20 . 33) (22 . 34) (24 . 35)) 4700 0.9993 3.7242 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 6) (22 . 8) (24 . 10)) 4708 0.4999 5.1429 ((15 . 48) (16 . 49) (17 . 50) (22 . 53)) 4744 0.8729 5.7093 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 7)) 4777 0.6790 5.9229 ((15 . 3) (16 . 4) (17 . 5) (19 . 6) (20 . 7) (22 . 10)) 4800 0.6245 6.1088 ((15 . 1) (16 . 3) (20 . 5) (22 . 7) (24 . 8)) 4809 0.8733 5.4357 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 7)) 4892 0.6246 5.8388 ((14 . 2) (16 . 3) (17 . 4) (19 . 5) (22 . 7)) 4896 0.8729 5.7274 ((14 . 1) (15 . 2) (16 . 3) (17 . 5) (20 . 8) (22 . 10) (24 . 11)) 4897 0.4974 12.1330 ((14 . 14) (16 . 15) (17 . 17) (19 . 19)) 4898 0.4983 10.9257 ((19 . 20) (20 . 22) (22 . 23) (24 . 27)) 4908 0.6214 9.9910 ((16 . 3) (17 . 4) (20 . 7) (22 . 8) (24 . 9)) 4921 0.6245 6.2181 ((14 . 7) (16 . 8) (17 . 9) (20 . 12) (22 . 14)) 4923 0.8741 4.6632 ((14 . 14) (15 . 15) (16 . 16) (17 . 17) (20 . 19) (22 . 20) (24 . 22)) 4951 0.7792 4.5363 ((14 . 47) (16 . 49) (17 . 50) (19 . 53) (20 . 54) (22 . 55) (24 . 56)) 4967 0.8739 4.8853 ((14 . 24) (15 . 25) (16 . 26) (19 . 28) (20 . 29) (22 . 30) (24 . 31)) 4968 0.9399 6.0781 ((14 . 32) (15 . 33) (16 . 35) (17 . 37) (19 . 39) (20 . 40) (22 . 42) (24 . 43)) 5040 0.9426 4.4850 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 8) (20 . 10) (22 . 12) (24 . 13)) 5043 0.6247 5.3688 ((14 . 5) (16 . 6) (17 . 7) (19 . 9) (20 . 11)) 5166 0.4999 5.5536 ((14 . 2) (16 . 3) (17 . 4) (22 . 6)) 5246 0.8217 4.3947 ((15 . 3) (16 . 4) (17 . 6) (19 . 9) (20 . 10) (22 . 12) (24 . 14)) 5281 0.4998 6.4818 ((19 . 65) (20 . 66) (22 . 67) (24 . 69)) 5310 0.9990 4.0153 ((14 . 1) (15 . 3) (16 . 4) (17 . 5) (19 . 8) (20 . 9) (22 . 10) (24 . 12)) 5311 0.7495 4.8792 ((16 . 14) (17 . 15) (19 . 16) (20 . 17) (22 . 18) (24 . 20)) 5316 0.9645 3.8040 ((14 . 1) (15 . 2) (16 . 4) (17 . 5) (19 . 8) (20 . 10) (22 . 12) (24 . 14)) 5319 0.8744 4.1081 ((14 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6) (22 . 7) (24 . 8)) 5320 0.8733 5.4189 ((15 . 9) (16 . 10) (17 . 11) (19 . 12) (20 . 13) (22 . 14) (24 . 16)) 5342 0.7794 4.1381 ((14 . 45) (16 . 47) (17 . 48) (19 . 50) (20 . 51) (22 . 52) (24 . 54)) 5413 0.9976 5.0106 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 6) (20 . 8) (22 . 10) (24 . 11)) 5431 0.8742 4.5150 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 7)) 5432 0.8738 4.9526 ((14 . 8) (16 . 9) (17 . 10) (19 . 11) (20 . 12) (22 . 13) (24 . 15)) 5497 0.8744 4.2655 ((15 . 21) (16 . 22) (17 . 23) (19 . 25) (20 . 26) (22 . 28) (24 . 29)) 5552 0.5502 7.0630 ((14 . 5) (16 . 6) (17 . 8) (19 . 10) (20 . 11) (22 . 12)) 5615 0.7445 6.4042 ((14 . 28) (16 . 29) (17 . 30) (19 . 32) (20 . 33) (22 . 34) (24 . 35)) 5633 0.8211 5.2629 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6) (22 . 8) (24 . 10)) 5634 0.6250 2.8472 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (24 . 20)) 5682 0.4998 6.1108 ((19 . 1) (20 . 3) (22 . 4) (24 . 5)) 5683 0.9981 4.7402 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 7) (22 . 8) (24 . 10)) 5733 0.8722 6.1691 ((14 . 12) (16 . 14) (17 . 15) (19 . 17) (20 . 19) (22 . 21) (24 . 22)) 5835 0.7498 3.9738 ((14 . 35) (16 . 37) (17 . 38) (20 . 41) (22 . 42) (24 . 44)) 5863 0.7489 5.8839 ((14 . 30) (16 . 31) (17 . 33) (20 . 37) (22 . 38) (24 . 39)) 5899 0.8741 4.6691 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 8)) 5916 0.7493 5.2391 ((15 . 1) (16 . 2) (19 . 3) (20 . 4) (22 . 5) (24 . 8)) 5936 0.6222 9.3802 ((15 . 3) (17 . 6) (19 . 7) (20 . 9) (22 . 11)) 5948 0.6249 3.6345 ((14 . 1) (16 . 3) (17 . 5) (20 . 9) (22 . 10)) 5974 0.8749 2.4758 ((14 . 2) (15 . 3) (16 . 4) (17 . 5) (20 . 8) (22 . 10) (24 . 12)) 5988 0.7495 4.9123 ((15 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6) (22 . 7)) 5989 0.8732 5.5496 ((14 . 1) (16 . 2) (17 . 4) (19 . 5) (20 . 6) (22 . 7) (24 . 9)) 5993 0.7496 4.7054 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 7)) 6012 0.6630 5.0493 ((14 . 48) (15 . 49) (16 . 50) (17 . 51) (19 . 52) (20 . 53) (22 . 54) (24 . 55)) 6013 0.4998 6.7267 ((15 . 58) (19 . 62) (20 . 63) (22 . 64)) 6037 0.7499 3.4041 ((14 . 2) (16 . 3) (17 . 4) (20 . 6) (22 . 7) (24 . 8)) 6105 0.6245 6.1586 ((16 . 3) (17 . 4) (20 . 7) (22 . 8) (24 . 9)) 6124 0.7496 4.4361 ((14 . 8) (16 . 9) (17 . 10) (19 . 12) (20 . 14) (22 . 15)) 6126 0.8729 5.7631 ((14 . 9) (16 . 10) (17 . 11) (19 . 13) (20 . 15) (22 . 16) (24 . 17)) 6206 0.9990 4.0189 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 6) (22 . 8) (24 . 9)) 6207 0.8716 6.4751 ((14 . 10) (16 . 12) (17 . 14) (19 . 15) (20 . 16) (22 . 18) (24 . 19)) 6285 0.9605 6.1904 ((14 . 1) (15 . 3) (16 . 4) (17 . 5) (19 . 7) (20 . 8) (22 . 9) (24 . 10)) 6287 0.8718 6.3860 ((14 . 38) (16 . 39) (17 . 40) (19 . 41) (20 . 42) (22 . 44) (24 . 45)) 6288 0.8728 5.8109 ((14 . 46) (16 . 47) (17 . 48) (19 . 49) (20 . 50) (22 . 51) (24 . 52)) 6334 0.8743 4.4131 ((15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 6) (22 . 8) (24 . 9)) 6338 0.6224 9.2193 ((14 . 1) (16 . 2) (17 . 4) (20 . 7) (22 . 8)) 6379 0.7926 4.9445 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (19 . 5) (20 . 6) (22 . 7) (24 . 8)) 6380 0.7496 4.6629 ((14 . 9) (16 . 11) (17 . 13) (19 . 14) (20 . 15) (22 . 17)) 6443 0.4999 5.4653 ((19 . 1) (20 . 3) (22 . 4) (24 . 5)) 6444 0.8740 4.7820 ((14 . 14) (16 . 15) (17 . 16) (19 . 17) (20 . 19) (22 . 21) (24 . 22)) 6445 0.8749 2.3909 ((14 . 1) (15 . 2) (16 . 3) (17 . 4) (20 . 6) (22 . 8) (24 . 9)) 6446 0.7500 1.3557 ((14 . 10) (16 . 12) (17 . 14) (20 . 16) (22 . 18) (24 . 20)) 6449 0.8739 4.9088 ((14 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 6) (24 . 8)) 6466 0.7493 5.3005 ((15 . 1) (16 . 2) (17 . 3) (19 . 4) (20 . 5) (22 . 7)) 6467 0.7497 4.0780 ((14 . 10) (16 . 11) (17 . 15) (19 . 16) (20 . 17) (22 . 18)) 6485 0.7444 6.4570 ((14 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6) (22 . 9) (24 . 10)) 6570 0.6212 10.1674 ((14 . 16) (16 . 17) (17 . 19) (20 . 22) (22 . 23)) 6612 0.7481 6.7349 ((14 . 2) (16 . 3) (17 . 4) (20 . 7) (22 . 8) (24 . 9)) END