571 233 0.8318 5.6058 ((13 . 1) (14 . 2) (15 . 5) (16 . 7) (17 . 8)) 234 0.6621 9.8064 ((14 . 10) (15 . 11) (16 . 12) (17 . 14)) 291 0.8287 7.4352 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 349 0.6663 5.2960 ((13 . 2) (14 . 3) (16 . 7) (17 . 8)) 365 0.2969 9.3662 ((12 . 1) (15 . 4) (16 . 6) (17 . 8)) 388 0.6613 10.2308 ((13 . 18) (14 . 19) (16 . 21) (17 . 22)) 402 0.6568 11.9615 ((12 . 2) (15 . 7) (16 . 9) (17 . 11)) 403 0.8149 10.6265 ((12 . 11) (13 . 12) (14 . 13) (15 . 15) (16 . 17)) 404 0.8294 7.1169 ((12 . 22) (14 . 24) (15 . 28) (16 . 30) (17 . 31)) 405 0.6662 5.4061 ((14 . 34) (15 . 38) (16 . 39) (17 . 40)) 445 0.6655 6.8741 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 449 0.6656 6.8655 ((14 . 1) (15 . 2) (16 . 3) (17 . 6)) 450 0.8272 8.0049 ((12 . 12) (14 . 13) (15 . 18) (16 . 19) (17 . 20)) 564 0.8203 9.7032 ((13 . 2) (14 . 3) (15 . 7) (16 . 8) (17 . 10)) 565 0.8322 5.2753 ((13 . 12) (14 . 13) (15 . 16) (16 . 17) (17 . 18)) 567 0.8230 9.1349 ((12 . 1) (14 . 2) (15 . 6) (16 . 8) (17 . 10)) 568 0.8243 8.8156 ((12 . 12) (14 . 13) (15 . 17) (16 . 18) (17 . 19)) 570 0.6501 13.6833 ((12 . 4) (14 . 9) (15 . 11) (16 . 12)) 571 1.0000 0.0000 ((12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 578 0.8251 8.6169 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 8)) 579 0.8210 9.5621 ((13 . 10) (14 . 12) (15 . 13) (16 . 14) (17 . 15)) 599 0.6655 6.9911 ((14 . 4) (15 . 7) (16 . 9) (17 . 10)) 600 0.8332 3.2358 ((12 . 10) (14 . 11) (15 . 14) (16 . 15) (17 . 16)) 668 0.6656 6.7735 ((14 . 1) (15 . 4) (16 . 5) (17 . 7)) 669 0.6578 11.6400 ((12 . 13) (14 . 16) (16 . 20) (17 . 21)) 670 0.9945 6.1803 ((12 . 23) (13 . 24) (14 . 25) (15 . 28) (16 . 30) (17 . 31)) 671 0.6661 5.8777 ((14 . 34) (15 . 38) (16 . 40) (17 . 41)) 693 0.6666 3.2531 ((14 . 31) (15 . 34) (16 . 35) (17 . 36)) 695 0.8294 7.1292 ((12 . 1) (14 . 3) (15 . 6) (16 . 7) (17 . 8)) 696 0.7893 7.6570 ((12 . 10) (13 . 11) (14 . 12) (15 . 16) (16 . 17) (17 . 19)) 697 0.6653 7.2916 ((14 . 20) (15 . 22) (16 . 23) (17 . 26)) 698 0.8255 8.5123 ((12 . 31) (14 . 34) (15 . 38) (16 . 39) (17 . 40)) 828 0.6586 11.3393 ((12 . 7) (15 . 11) (16 . 12) (17 . 13)) 888 0.8230 9.1252 ((12 . 13) (14 . 14) (15 . 19) (16 . 20) (17 . 21)) 919 0.6662 5.3829 ((14 . 3) (15 . 4) (16 . 5) (17 . 6)) 922 0.8248 8.6839 ((12 . 1) (13 . 2) (14 . 3) (16 . 7) (17 . 8)) 926 0.6654 7.0536 ((13 . 1) (14 . 2) (16 . 8) (17 . 9)) 927 0.8148 10.6340 ((12 . 13) (14 . 14) (15 . 18) (16 . 19) (17 . 20)) 1025 0.2969 10.4721 ((12 . 4) (15 . 7) (16 . 8) (17 . 9)) 1086 0.8264 8.2586 ((13 . 3) (14 . 5) (15 . 6) (16 . 7) (17 . 8)) 1110 0.8227 9.2100 ((12 . 10) (14 . 11) (15 . 15) (16 . 16) (17 . 18)) 1112 0.6656 6.7255 ((14 . 2) (15 . 6) (16 . 7) (17 . 8)) 1126 0.6658 6.5113 ((14 . 2) (15 . 3) (16 . 4) (17 . 6)) 1127 0.8250 8.6470 ((12 . 13) (14 . 14) (15 . 18) (16 . 19) (17 . 21)) 1149 0.8229 9.1437 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 1164 0.8308 6.4100 ((13 . 2) (14 . 3) (15 . 7) (16 . 9) (17 . 10)) 1181 0.6662 5.5842 ((14 . 7) (15 . 9) (16 . 11) (17 . 13)) 1235 0.6657 6.5523 ((14 . 1) (15 . 3) (16 . 4) (17 . 6)) 1236 0.6654 7.1293 ((14 . 11) (15 . 14) (16 . 15) (17 . 18)) 1270 0.6519 13.2888 ((12 . 34) (13 . 35) (14 . 36) (17 . 39)) 1293 0.6649 7.7289 ((14 . 9) (15 . 10) (16 . 11) (17 . 14)) 1294 0.8213 9.4993 ((13 . 40) (14 . 41) (15 . 43) (16 . 44) (17 . 46)) 1295 0.8208 9.5973 ((13 . 49) (14 . 50) (15 . 51) (16 . 52) (17 . 53)) 1341 0.6658 6.3900 ((14 . 1) (15 . 3) (16 . 5) (17 . 7)) 1342 0.8189 9.9657 ((12 . 14) (14 . 17) (15 . 21) (16 . 22) (17 . 23)) 1363 0.1996 5.1116 ((14 . 1) (15 . 6) (16 . 7) (17 . 8)) 1374 0.8240 8.8850 ((12 . 1) (14 . 3) (15 . 6) (16 . 8) (17 . 9)) 1375 0.9873 7.6648 ((12 . 10) (13 . 11) (14 . 12) (15 . 16) (16 . 18) (17 . 20)) 1390 0.8330 3.8917 ((13 . 2) (14 . 3) (15 . 6) (16 . 8) (17 . 9)) 1391 0.6659 6.1709 ((13 . 11) (14 . 12) (16 . 15) (17 . 16)) 1392 0.8238 8.9544 ((12 . 20) (14 . 21) (15 . 24) (16 . 25) (17 . 26)) 1418 0.8252 8.5888 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 8)) 1419 0.8253 8.5608 ((12 . 10) (14 . 11) (15 . 14) (16 . 15) (17 . 16)) 1445 0.6653 7.2789 ((14 . 1) (15 . 4) (16 . 5) (17 . 6)) 1446 0.8276 7.8608 ((12 . 14) (14 . 16) (15 . 20) (16 . 22) (17 . 24)) 1502 0.6645 8.0835 ((14 . 1) (15 . 3) (16 . 4) (17 . 6)) 1555 0.8175 10.1952 ((12 . 1) (14 . 2) (15 . 6) (16 . 8) (17 . 9)) 1566 0.6663 5.3500 ((14 . 1) (15 . 3) (16 . 4) (17 . 5)) 1568 0.8202 9.7241 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 1569 0.6663 5.1211 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 1570 0.8303 6.6568 ((13 . 9) (14 . 10) (15 . 13) (16 . 14) (17 . 16)) 1571 0.8280 7.7235 ((12 . 17) (14 . 18) (15 . 21) (16 . 22) (17 . 24)) 1572 0.8309 6.3253 ((13 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 8)) 1573 0.8306 6.5192 ((13 . 9) (14 . 10) (15 . 13) (16 . 14) (17 . 16)) 1579 0.6662 5.6395 ((14 . 5) (15 . 8) (16 . 10) (17 . 12)) 1580 0.8233 9.0541 ((12 . 1) (13 . 2) (14 . 3) (16 . 7) (17 . 8)) 1600 0.8239 8.9286 ((12 . 1) (14 . 3) (15 . 6) (16 . 8) (17 . 9)) 1601 0.6662 5.4130 ((14 . 12) (15 . 15) (16 . 17) (17 . 20)) 1660 0.6663 5.0734 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 1661 0.8236 8.9932 ((12 . 11) (14 . 12) (15 . 16) (16 . 17) (17 . 18)) 1666 0.6660 6.1142 ((14 . 5) (15 . 7) (16 . 8) (17 . 9)) 1667 0.8226 9.2189 ((13 . 39) (14 . 40) (15 . 41) (16 . 42) (17 . 44)) 1668 0.8238 8.9411 ((13 . 48) (14 . 50) (15 . 51) (16 . 53) (17 . 54)) 1684 0.8255 8.4952 ((12 . 1) (14 . 3) (15 . 7) (16 . 9) (17 . 11)) 1688 0.6648 7.8686 ((14 . 1) (15 . 3) (16 . 4) (17 . 6)) 1722 0.9868 7.7391 ((12 . 2) (13 . 3) (14 . 4) (15 . 10) (16 . 13) (17 . 15)) 1723 0.8194 9.8768 ((13 . 16) (14 . 17) (15 . 19) (16 . 20) (17 . 21)) 1826 0.6654 7.1534 ((14 . 2) (15 . 3) (16 . 5) (17 . 6)) 1827 0.6662 5.4578 ((14 . 13) (15 . 14) (16 . 16) (17 . 18)) 1828 0.6645 8.1318 ((14 . 22) (15 . 23) (16 . 26) (17 . 27)) 1864 0.9959 5.7266 ((12 . 1) (13 . 2) (14 . 3) (15 . 7) (16 . 9) (17 . 10)) 1928 0.8168 10.3119 ((13 . 3) (14 . 4) (15 . 6) (16 . 7) (17 . 9)) 1938 0.6655 6.9195 ((14 . 1) (15 . 3) (16 . 4) (17 . 5)) 1939 0.8250 8.6536 ((13 . 12) (14 . 15) (15 . 16) (16 . 17) (17 . 18)) 1996 0.0999 13.7628 ((12 . 4) (13 . 5) (14 . 6) (15 . 7)) 2009 0.6660 6.0908 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 2022 0.8204 9.6714 ((12 . 14) (14 . 15) (15 . 20) (16 . 22) (17 . 24)) 2061 0.6657 6.5420 ((14 . 1) (15 . 3) (16 . 5) (17 . 6)) 2087 0.8307 6.4729 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7)) 2110 0.8296 7.0536 ((12 . 21) (14 . 23) (15 . 27) (16 . 28) (17 . 29)) 2165 0.6648 7.8535 ((13 . 29) (14 . 30) (15 . 31) (16 . 32)) 2186 0.8197 9.8106 ((12 . 7) (14 . 8) (15 . 12) (16 . 13) (17 . 14)) 2188 0.8225 9.2414 ((12 . 9) (14 . 10) (15 . 14) (16 . 15) (17 . 16)) 2191 0.8225 9.2457 ((13 . 2) (14 . 4) (15 . 5) (16 . 7) (17 . 8)) 2221 0.6661 5.7448 ((13 . 1) (14 . 2) (16 . 5) (17 . 6)) 2246 0.6649 7.6782 ((13 . 1) (14 . 2) (16 . 8) (17 . 9)) 2318 0.6662 5.4889 ((13 . 2) (14 . 3) (16 . 8) (17 . 10)) 2319 0.8122 11.0110 ((12 . 15) (14 . 16) (15 . 20) (16 . 21) (17 . 22)) 2320 0.8270 8.0655 ((12 . 1) (13 . 2) (14 . 3) (16 . 7) (17 . 8)) 2321 0.6602 10.7183 ((12 . 14) (15 . 18) (16 . 20) (17 . 22)) 2338 0.8206 9.6298 ((12 . 13) (14 . 14) (15 . 19) (16 . 21) (17 . 22)) 2365 0.9914 6.9203 ((12 . 1) (13 . 2) (14 . 3) (15 . 10) (16 . 11) (17 . 12)) 2428 0.8284 7.5737 ((13 . 6) (14 . 8) (15 . 9) (16 . 10) (17 . 12)) 2441 0.8322 5.2300 ((13 . 2) (14 . 3) (15 . 6) (16 . 7) (17 . 8)) 2442 0.6599 10.8555 ((12 . 10) (15 . 16) (16 . 17) (17 . 19)) 2444 0.8312 6.1387 ((13 . 1) (14 . 2) (15 . 7) (16 . 8) (17 . 9)) 2445 0.8265 8.2081 ((12 . 11) (14 . 12) (15 . 16) (16 . 17) (17 . 19)) 2473 0.6657 6.6371 ((13 . 3) (14 . 5) (15 . 6) (16 . 8)) 2507 0.8105 11.2482 ((12 . 3) (14 . 4) (15 . 11) (16 . 13) (17 . 14)) 2508 0.8079 11.5739 ((12 . 16) (14 . 17) (15 . 22) (16 . 24) (17 . 25)) 2531 0.6660 6.0582 ((14 . 3) (15 . 6) (16 . 7) (17 . 8)) 2534 0.6633 9.0529 ((13 . 16) (14 . 17) (15 . 19) (17 . 22)) 2577 0.6552 12.4288 ((12 . 2) (15 . 7) (16 . 9) (17 . 10)) 2578 0.6660 5.9339 ((14 . 15) (15 . 17) (16 . 18) (17 . 20)) 2579 0.9860 7.8492 ((12 . 22) (13 . 23) (14 . 24) (15 . 29) (16 . 31) (17 . 32)) 2641 0.6661 5.7932 ((14 . 1) (15 . 3) (16 . 5) (17 . 7)) 2686 0.6635 8.9695 ((13 . 4) (15 . 9) (16 . 10) (17 . 11)) 2728 0.6659 6.2539 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 2767 0.8204 9.6825 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 2812 0.8309 6.3556 ((13 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 2813 0.1996 4.0713 ((14 . 9) (15 . 12) (16 . 13) (17 . 14)) 2877 0.6649 7.6924 ((14 . 2) (15 . 3) (16 . 5) (17 . 6)) 2880 0.6658 6.4909 ((14 . 4) (15 . 6) (16 . 7) (17 . 8)) 2971 0.6637 8.8116 ((12 . 5) (14 . 8) (15 . 10) (16 . 11)) 2987 0.9909 7.0219 ((12 . 26) (13 . 27) (14 . 28) (15 . 31) (16 . 32) (17 . 33)) 3099 0.6659 6.2034 ((14 . 23) (15 . 24) (16 . 25) (17 . 26)) 3101 0.8252 8.5921 ((12 . 50) (14 . 51) (15 . 54) (16 . 55) (17 . 56)) 3159 0.8280 7.7018 ((12 . 52) (14 . 54) (15 . 59) (16 . 60) (17 . 61)) 3185 0.6653 7.1841 ((14 . 14) (15 . 15) (16 . 16) (17 . 21)) 3186 0.6652 7.4091 ((14 . 1) (15 . 2) (16 . 3) (17 . 7)) 3205 0.8284 7.5762 ((13 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 8)) 3292 0.6661 5.8065 ((13 . 2) (14 . 3) (16 . 7) (17 . 8)) 3342 0.8231 9.1111 ((13 . 3) (14 . 4) (15 . 6) (16 . 7) (17 . 8)) 3357 0.8113 11.1342 ((13 . 5) (14 . 6) (15 . 7) (16 . 8) (17 . 10)) 3378 0.7903 7.1484 ((12 . 32) (13 . 33) (14 . 34) (15 . 37) (16 . 39) (17 . 40)) 3417 0.8170 10.2910 ((13 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 3430 0.6621 9.7873 ((14 . 2) (15 . 4) (16 . 5) (17 . 6)) 3431 0.6658 6.4666 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 3443 0.6611 10.3019 ((13 . 4) (14 . 5) (16 . 8) (17 . 9)) 3444 0.6654 7.0578 ((14 . 37) (15 . 38) (16 . 39) (17 . 41)) 3445 0.8242 8.8560 ((13 . 48) (14 . 49) (15 . 50) (16 . 51) (17 . 52)) 3472 0.6662 5.6309 ((14 . 4) (15 . 8) (16 . 9) (17 . 11)) 3478 0.2969 10.3983 ((14 . 2) (15 . 4) (16 . 5) (17 . 7)) 3507 0.7287 9.1165 ((12 . 31) (13 . 32) (14 . 33) (15 . 34) (16 . 37) (17 . 38)) 3530 0.8229 9.1598 ((12 . 20) (14 . 21) (15 . 24) (16 . 25) (17 . 27)) 3531 0.3871 12.9612 ((12 . 33) (13 . 34) (14 . 35) (15 . 36)) 3532 0.6549 12.5141 ((12 . 37) (15 . 39) (16 . 40) (17 . 41)) 3550 0.6577 11.6655 ((12 . 3) (14 . 6) (16 . 9) (17 . 11)) 3554 0.8243 8.8120 ((12 . 1) (14 . 3) (15 . 8) (16 . 10) (17 . 11)) 3555 0.6652 7.3702 ((14 . 12) (15 . 14) (16 . 15) (17 . 17)) 3556 0.8228 9.1687 ((13 . 2) (14 . 3) (15 . 5) (16 . 8) (17 . 10)) 3557 0.6663 5.2321 ((14 . 15) (15 . 19) (16 . 21) (17 . 23)) 3655 0.6641 8.4723 ((13 . 31) (14 . 32) (15 . 34) (16 . 35)) 3667 0.8200 9.7643 ((13 . 2) (14 . 3) (15 . 4) (16 . 6) (17 . 7)) 3690 0.6659 6.2299 ((14 . 1) (15 . 4) (16 . 5) (17 . 6)) 3699 0.8183 10.0680 ((13 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 8)) 3700 0.6663 5.1192 ((14 . 16) (15 . 17) (16 . 18) (17 . 19)) 3762 0.6648 7.8613 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 3791 0.8298 6.9312 ((12 . 42) (14 . 44) (15 . 48) (16 . 50) (17 . 52)) 3792 0.6658 6.5009 ((14 . 56) (15 . 59) (16 . 60) (17 . 61)) 3793 0.8226 9.2231 ((13 . 67) (14 . 69) (15 . 70) (16 . 71) (17 . 72)) 3794 0.8004 12.4203 ((13 . 23) (14 . 24) (15 . 28) (16 . 30) (17 . 31)) 3876 0.6488 13.9608 ((12 . 2) (15 . 6) (16 . 7) (17 . 8)) 3948 0.8255 8.4935 ((12 . 1) (13 . 2) (14 . 3) (16 . 9) (17 . 10)) 3949 0.6651 7.5137 ((14 . 15) (15 . 16) (16 . 17) (17 . 19)) 3950 0.6662 5.5995 ((14 . 4) (15 . 7) (16 . 8) (17 . 10)) 3951 0.8256 8.4728 ((12 . 13) (14 . 15) (15 . 19) (16 . 21) (17 . 22)) 4079 0.8274 7.9363 ((12 . 1) (14 . 3) (15 . 7) (16 . 8) (17 . 10)) 4109 0.8182 10.0806 ((12 . 1) (14 . 2) (15 . 5) (16 . 7) (17 . 8)) 4110 0.6665 4.3179 ((14 . 9) (15 . 10) (16 . 11) (17 . 12)) 4111 0.8235 9.0099 ((12 . 17) (14 . 18) (15 . 22) (16 . 23) (17 . 24)) 4145 0.8145 10.6805 ((12 . 1) (14 . 2) (15 . 6) (16 . 7) (17 . 9)) 4146 0.6649 7.7037 ((14 . 11) (15 . 12) (16 . 14) (17 . 15)) 4178 0.8283 7.5798 ((12 . 5) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 4197 0.8260 8.3530 ((12 . 4) (14 . 7) (15 . 8) (16 . 10) (17 . 11)) 4199 0.9936 6.4232 ((12 . 1) (13 . 2) (14 . 3) (15 . 5) (16 . 6) (17 . 7)) 4219 0.8364 7.3016 ((12 . 2) (13 . 3) (14 . 4) (15 . 8) (16 . 9) (17 . 10)) 4221 0.6661 5.8230 ((14 . 1) (15 . 4) (16 . 5) (17 . 6)) 4224 0.6660 5.9919 ((14 . 4) (15 . 8) (16 . 9) (17 . 11)) 4230 0.6660 6.0511 ((14 . 1) (15 . 3) (16 . 4) (17 . 5)) 4286 0.9887 7.4379 ((12 . 2) (13 . 3) (14 . 4) (15 . 11) (16 . 13) (17 . 15)) 4289 0.8320 5.4169 ((13 . 2) (14 . 3) (15 . 7) (16 . 9) (17 . 10)) 4290 0.8219 9.3764 ((12 . 11) (14 . 13) (15 . 17) (16 . 18) (17 . 20)) 4349 0.8236 9.0013 ((12 . 1) (13 . 2) (14 . 3) (16 . 7) (17 . 8)) 4464 0.8228 9.1741 ((13 . 3) (14 . 6) (15 . 7) (16 . 9) (17 . 10)) 4512 0.8139 10.7636 ((13 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 4525 0.6657 6.6949 ((14 . 23) (15 . 24) (16 . 26) (17 . 28)) 4526 0.6658 6.4732 ((13 . 30) (14 . 31) (16 . 35) (17 . 36)) 4581 0.6656 6.8436 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 4584 0.8233 9.0534 ((12 . 1) (13 . 2) (14 . 3) (16 . 8) (17 . 9)) 4637 0.8305 6.5980 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7)) 4639 0.6659 6.1561 ((14 . 8) (15 . 9) (16 . 10) (17 . 12)) 4640 0.6663 5.0837 ((14 . 17) (15 . 19) (16 . 21) (17 . 23)) 4687 0.8263 8.2802 ((12 . 27) (14 . 28) (15 . 33) (16 . 34) (17 . 35)) 4700 0.8237 8.9649 ((12 . 1) (14 . 3) (15 . 6) (16 . 8) (17 . 10)) 4708 0.6597 10.9363 ((12 . 48) (15 . 51) (16 . 53) (17 . 54)) 4744 0.8203 9.6936 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 4777 0.8311 6.1952 ((12 . 2) (14 . 4) (15 . 7) (16 . 10) (17 . 11)) 4800 0.6665 4.2883 ((14 . 3) (15 . 5) (16 . 7) (17 . 8)) 4809 0.8278 7.7894 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 4892 0.6661 5.6939 ((14 . 2) (15 . 3) (16 . 4) (17 . 5)) 4896 0.8342 8.0765 ((12 . 1) (13 . 2) (14 . 3) (15 . 8) (16 . 10) (17 . 11)) 4897 0.9685 9.7307 ((12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 17) (17 . 18)) 4898 0.3948 5.9155 ((12 . 19) (13 . 20) (15 . 23) (16 . 27) (17 . 28)) 4908 0.6605 10.6038 ((14 . 1) (15 . 3) (16 . 4) (17 . 5)) 4921 0.6654 7.1376 ((14 . 7) (15 . 8) (16 . 9) (17 . 12)) 4923 0.9879 7.5563 ((12 . 14) (13 . 15) (14 . 16) (15 . 19) (16 . 20) (17 . 22)) 4951 0.8281 7.6890 ((12 . 47) (14 . 49) (15 . 54) (16 . 55) (17 . 56)) 4967 0.9901 7.1851 ((12 . 24) (13 . 25) (14 . 26) (15 . 29) (16 . 30) (17 . 31)) 4968 0.9667 9.8784 ((12 . 32) (13 . 33) (14 . 35) (15 . 36) (16 . 42) (17 . 43)) 5040 0.8259 8.3894 ((12 . 1) (13 . 2) (14 . 3) (16 . 8) (17 . 10)) 5043 0.8092 11.4048 ((13 . 7) (14 . 9) (15 . 11) (16 . 12) (17 . 13)) 5166 0.6659 6.1912 ((14 . 6) (15 . 7) (16 . 8) (17 . 10)) 5246 0.8170 10.2823 ((12 . 2) (13 . 3) (14 . 4) (16 . 9) (17 . 10)) 5310 0.8274 7.9071 ((12 . 1) (14 . 4) (15 . 9) (16 . 10) (17 . 12)) 5311 0.6614 10.1456 ((12 . 14) (15 . 17) (16 . 18) (17 . 20)) 5316 0.8299 6.8897 ((13 . 4) (14 . 5) (15 . 8) (16 . 10) (17 . 12)) 5319 0.8263 8.2768 ((12 . 1) (14 . 2) (15 . 6) (16 . 7) (17 . 8)) 5320 0.8169 10.3097 ((13 . 10) (14 . 11) (15 . 12) (16 . 13) (17 . 14)) 5342 0.8281 7.6915 ((12 . 45) (14 . 47) (15 . 51) (16 . 52) (17 . 54)) 5413 0.8241 8.8752 ((13 . 3) (14 . 4) (15 . 7) (16 . 8) (17 . 10)) 5431 0.8293 7.1764 ((13 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 7)) 5432 0.6619 9.9197 ((12 . 8) (15 . 12) (16 . 13) (17 . 15)) 5497 0.6561 12.1739 ((12 . 21) (15 . 26) (16 . 28) (17 . 29)) 5552 0.6658 6.5145 ((14 . 5) (15 . 6) (16 . 8) (17 . 9)) 5615 0.8251 8.6176 ((12 . 28) (14 . 29) (15 . 33) (16 . 34) (17 . 35)) 5633 0.8110 11.1762 ((12 . 1) (14 . 2) (15 . 6) (16 . 8) (17 . 10)) 5634 0.9895 7.2957 ((12 . 11) (13 . 12) (14 . 13) (15 . 17) (16 . 18) (17 . 20)) 5682 0.8222 9.3135 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 9)) 5683 0.8032 12.1226 ((12 . 2) (14 . 3) (15 . 7) (16 . 8) (17 . 10)) 5733 0.6659 6.1518 ((14 . 17) (15 . 19) (16 . 21) (17 . 22)) 5835 0.6602 10.7021 ((13 . 37) (14 . 38) (16 . 41) (17 . 42)) 5863 0.6647 7.9324 ((14 . 30) (15 . 31) (16 . 33) (17 . 35)) 5899 0.8277 7.8256 ((12 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 8)) 5916 0.6583 11.4463 ((12 . 1) (15 . 4) (16 . 5) (17 . 8)) 5936 0.8278 7.7785 ((12 . 1) (13 . 2) (14 . 3) (16 . 9) (17 . 11)) 5948 0.6653 7.2107 ((14 . 1) (15 . 3) (16 . 5) (17 . 8)) 5974 0.6649 7.7111 ((14 . 2) (15 . 4) (16 . 5) (17 . 6)) 5988 0.8212 9.5151 ((13 . 2) (14 . 3) (15 . 5) (16 . 6) (17 . 7)) 5989 0.8197 9.8131 ((13 . 2) (14 . 4) (15 . 5) (16 . 6) (17 . 7)) 5993 0.6661 5.7094 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 6012 0.9878 7.5830 ((12 . 48) (13 . 49) (14 . 50) (15 . 53) (16 . 54) (17 . 55)) 6013 0.6660 6.0497 ((14 . 56) (15 . 57) (16 . 58) (17 . 59)) 6037 0.8296 7.0365 ((12 . 2) (14 . 3) (15 . 6) (16 . 7) (17 . 8)) 6105 0.6647 7.9281 ((14 . 3) (15 . 4) (16 . 6) (17 . 7)) 6124 0.6662 5.3956 ((14 . 9) (15 . 14) (16 . 15) (17 . 16)) 6126 0.6664 4.5620 ((14 . 10) (15 . 15) (16 . 16) (17 . 17)) 6206 0.9930 6.5767 ((12 . 1) (13 . 2) (14 . 3) (15 . 6) (16 . 8) (17 . 9)) 6207 0.6662 5.3881 ((14 . 14) (15 . 15) (16 . 16) (17 . 18)) 6285 0.6658 6.5008 ((14 . 5) (15 . 7) (16 . 8) (17 . 9)) 6287 0.6662 5.6012 ((14 . 38) (15 . 39) (16 . 40) (17 . 41)) 6288 0.8249 8.6624 ((12 . 46) (14 . 47) (15 . 50) (16 . 51) (17 . 52)) 6334 0.6553 12.3860 ((12 . 2) (15 . 6) (16 . 8) (17 . 9)) 6338 0.3867 13.9641 ((12 . 4) (13 . 5) (14 . 7) (15 . 8)) 6379 0.9883 7.5009 ((12 . 1) (13 . 2) (14 . 3) (15 . 6) (16 . 7) (17 . 8)) 6380 0.8186 10.0074 ((13 . 11) (14 . 13) (15 . 14) (16 . 15) (17 . 17)) 6443 0.6661 5.7748 ((14 . 4) (15 . 8) (16 . 10) (17 . 12)) 6444 0.8158 10.4759 ((13 . 16) (14 . 17) (15 . 19) (16 . 21) (17 . 22)) 6445 0.7314 7.6715 ((12 . 1) (13 . 2) (14 . 3) (15 . 6) (16 . 8) (17 . 9)) 6446 0.8277 7.8096 ((12 . 10) (14 . 12) (15 . 16) (16 . 18) (17 . 20)) 6449 0.8307 6.4654 ((13 . 1) (14 . 2) (15 . 5) (16 . 6) (17 . 8)) 6466 0.6588 11.2700 ((12 . 1) (15 . 5) (16 . 7) (17 . 8)) 6467 0.6627 9.4518 ((14 . 10) (15 . 13) (16 . 15) (17 . 16)) 6485 0.6654 7.0295 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 6570 0.8286 7.4807 ((13 . 15) (14 . 16) (15 . 17) (16 . 22) (17 . 23)) 6612 0.6661 5.9141 ((14 . 2) (15 . 3) (16 . 4) (17 . 5)) END