1476 25 0.2727 7.5195 ((10 . 10) (11 . 11) (13 . 12) (19 . 15)) 41 0.4545 4.3824 ((11 . 3) (13 . 4) (14 . 5) (18 . 7) (19 . 8)) 51 0.3636 5.9462 ((9 . 2) (11 . 7) (18 . 13) (20 . 14)) 62 0.3636 4.1843 ((9 . 10) (11 . 13) (13 . 15) (14 . 16)) 64 0.3632 11.2462 ((11 . 2) (14 . 4) (18 . 7) (20 . 9)) 77 0.3636 5.9200 ((11 . 8) (13 . 10) (18 . 15) (19 . 17)) 91 0.5995 3.9273 ((9 . 16) (11 . 19) (13 . 20) (14 . 21) (16 . 22) (18 . 28) (19 . 30) (20 . 31)) 96 0.3636 3.8127 ((9 . 1) (10 . 2) (11 . 3) (18 . 6)) 136 0.4543 7.3027 ((9 . 3) (10 . 4) (11 . 5) (15 . 8) (16 . 9)) 147 0.1956 15.0292 ((10 . 2) (13 . 3) (17 . 6) (19 . 8)) 150 0.4545 3.8498 ((14 . 20) (17 . 21) (18 . 23) (19 . 24) (20 . 25)) 153 0.3636 6.0123 ((14 . 1) (15 . 4) (18 . 6) (20 . 8)) 157 0.4545 5.9902 ((13 . 2) (14 . 3) (15 . 5) (16 . 6) (18 . 8)) 161 0.3636 6.4292 ((13 . 1) (18 . 6) (19 . 7) (20 . 9)) 162 0.3636 6.6442 ((9 . 12) (14 . 18) (16 . 19) (18 . 22)) 169 0.4543 7.6511 ((9 . 1) (11 . 4) (14 . 7) (18 . 9) (20 . 11)) 177 0.3634 9.7534 ((11 . 1) (14 . 4) (19 . 9) (20 . 10)) 191 0.2727 8.9967 ((9 . 1) (10 . 3) (18 . 6) (20 . 8)) 198 0.1957 7.9673 ((14 . 4) (15 . 5) (18 . 9) (20 . 13)) 207 0.4544 6.4946 ((16 . 11) (17 . 12) (18 . 13) (19 . 14) (20 . 15)) 233 0.3636 6.7617 ((11 . 1) (14 . 3) (15 . 5) (18 . 8)) 300 0.4542 8.5307 ((13 . 5) (14 . 7) (18 . 10) (19 . 11) (20 . 13)) 305 0.4544 6.5988 ((10 . 8) (11 . 9) (13 . 10) (14 . 15) (18 . 22)) 307 0.5453 5.1861 ((11 . 1) (13 . 2) (14 . 3) (16 . 6) (18 . 7) (19 . 8)) 315 0.3635 9.3080 ((11 . 4) (13 . 7) (14 . 6) (18 . 10)) 350 0.3634 9.7546 ((14 . 2) (16 . 3) (19 . 9) (20 . 10)) 351 0.3634 9.5926 ((10 . 4) (16 . 7) (17 . 8) (19 . 9)) 360 0.3636 5.4148 ((9 . 9) (11 . 12) (13 . 13) (14 . 14)) 361 0.3636 7.0400 ((14 . 2) (16 . 3) (18 . 4) (19 . 5)) 365 0.2728 6.0762 ((14 . 3) (15 . 4) (17 . 7) (18 . 8)) 367 0.3636 6.8578 ((14 . 38) (17 . 41) (18 . 42) (20 . 44)) 387 0.3635 8.5985 ((11 . 7) (14 . 9) (18 . 12) (20 . 15)) 405 0.3623 15.3204 ((9 . 31) (11 . 33) (14 . 37) (15 . 39)) 417 0.3633 11.0350 ((11 . 1) (14 . 2) (18 . 7) (20 . 9)) 420 0.3636 5.8083 ((9 . 1) (11 . 3) (14 . 5) (20 . 13)) 433 0.3636 5.5343 ((14 . 5) (18 . 7) (19 . 8) (20 . 9)) 442 0.4228 9.9470 ((10 . 11) (13 . 13) (16 . 15) (19 . 18) (20 . 20)) 460 0.3192 9.0498 ((11 . 1) (14 . 3) (16 . 4) (19 . 9)) 472 0.3636 4.9185 ((9 . 20) (11 . 22) (19 . 29) (20 . 31)) 491 0.3636 6.0536 ((10 . 5) (11 . 6) (15 . 9) (18 . 10)) 495 0.4545 5.0116 ((9 . 3) (10 . 4) (11 . 5) (13 . 6) (14 . 7)) 541 0.4545 4.4561 ((11 . 7) (14 . 11) (16 . 13) (18 . 14) (20 . 17)) 543 0.3636 7.4712 ((14 . 2) (15 . 4) (18 . 6) (20 . 10)) 561 0.3636 3.9652 ((9 . 1) (11 . 4) (16 . 5) (18 . 6)) 584 0.5449 7.5152 ((9 . 5) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (17 . 29)) 587 0.3636 6.1379 ((9 . 2) (11 . 4) (14 . 7) (15 . 8)) 609 0.6646 6.4110 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (14 . 6) (17 . 7) (18 . 8) (20 . 35)) 619 0.3636 7.5398 ((9 . 6) (14 . 12) (17 . 14) (20 . 18)) 624 0.5454 3.2812 ((11 . 7) (13 . 8) (14 . 9) (16 . 10) (18 . 11) (19 . 12)) 635 0.4540 9.0988 ((10 . 2) (14 . 3) (15 . 5) (17 . 7) (19 . 9)) 672 0.3635 8.4711 ((10 . 7) (13 . 8) (16 . 12) (20 . 18)) 678 0.8172 5.1960 ((9 . 22) (10 . 23) (11 . 24) (13 . 25) (14 . 26) (16 . 28) (18 . 29) (19 . 33) (20 . 34)) 719 0.3636 4.5734 ((14 . 22) (18 . 27) (19 . 29) (20 . 30)) 729 0.4545 3.3215 ((11 . 7) (14 . 9) (18 . 13) (19 . 14) (20 . 15)) 735 0.1957 10.5732 ((11 . 29) (14 . 32) (15 . 33) (18 . 39)) 740 0.3635 8.5496 ((10 . 1) (11 . 3) (14 . 7) (15 . 9)) 765 0.3635 8.6559 ((9 . 7) (11 . 9) (14 . 12) (15 . 17)) 767 0.6018 3.6561 ((9 . 1) (10 . 2) (11 . 3) (14 . 8) (18 . 12) (19 . 27) (20 . 29)) 795 0.3636 4.2862 ((9 . 1) (11 . 3) (13 . 4) (14 . 5)) 796 0.3636 5.1604 ((17 . 1) (18 . 3) (19 . 4) (20 . 5)) 812 0.4545 4.8418 ((9 . 9) (17 . 10) (18 . 11) (19 . 12) (20 . 13)) 818 0.5454 4.5200 ((11 . 4) (14 . 7) (15 . 8) (17 . 9) (18 . 10) (19 . 11)) 819 0.3634 9.8237 ((9 . 3) (14 . 5) (18 . 9) (19 . 11)) 824 0.3192 8.0735 ((11 . 43) (14 . 45) (15 . 46) (20 . 53)) 834 0.1957 9.6989 ((10 . 34) (13 . 35) (17 . 39) (19 . 40)) 861 0.3635 8.4250 ((10 . 6) (11 . 7) (19 . 11) (20 . 12)) 901 0.6362 4.5695 ((9 . 12) (13 . 14) (14 . 15) (16 . 16) (18 . 17) (19 . 19) (20 . 20)) 904 0.3634 9.5596 ((13 . 1) (15 . 3) (17 . 5) (18 . 6)) 913 0.1957 9.7522 ((11 . 16) (14 . 17) (16 . 18) (18 . 20)) 928 0.6360 5.3558 ((11 . 10) (13 . 11) (14 . 12) (16 . 13) (18 . 16) (19 . 17) (20 . 18)) 937 0.2728 5.7180 ((14 . 1) (16 . 2) (17 . 3) (18 . 4)) 943 0.6384 4.3434 ((9 . 4) (10 . 5) (11 . 6) (13 . 7) (14 . 8) (18 . 9) (19 . 10) (20 . 12)) 945 0.7272 3.3552 ((9 . 12) (10 . 13) (11 . 14) (13 . 16) (14 . 17) (18 . 19) (19 . 21) (20 . 22)) 949 0.3636 6.3120 ((9 . 27) (11 . 30) (16 . 35) (17 . 36)) 960 0.6362 4.1295 ((9 . 9) (10 . 11) (11 . 12) (16 . 16) (18 . 19) (19 . 20) (20 . 21)) 978 0.4545 5.0800 ((9 . 4) (11 . 6) (16 . 9) (18 . 10) (20 . 13)) 980 0.5454 3.9341 ((11 . 1) (13 . 2) (14 . 3) (16 . 4) (18 . 5) (19 . 6)) 1007 0.3636 5.4671 ((13 . 6) (14 . 7) (18 . 9) (20 . 13)) 1008 0.3636 6.5665 ((9 . 5) (11 . 8) (14 . 13) (18 . 16)) 1034 0.3857 6.7174 ((9 . 20) (11 . 21) (14 . 22) (17 . 27) (18 . 29) (19 . 31) (20 . 32)) 1043 0.6235 6.9287 ((9 . 1) (10 . 5) (11 . 6) (13 . 7) (17 . 9) (18 . 10) (19 . 11)) 1082 0.5454 4.3697 ((11 . 9) (14 . 12) (17 . 14) (18 . 16) (19 . 17) (20 . 19)) 1084 0.3635 8.8786 ((9 . 3) (14 . 11) (18 . 17) (20 . 18)) 1124 0.3191 10.5926 ((13 . 10) (16 . 11) (17 . 13) (19 . 14)) 1165 0.5454 4.0773 ((11 . 4) (13 . 6) (14 . 7) (16 . 9) (18 . 10) (19 . 11)) 1167 0.3636 6.3356 ((14 . 20) (18 . 22) (19 . 24) (20 . 27)) 1169 0.3635 7.8243 ((9 . 29) (11 . 31) (14 . 34) (15 . 35)) 1201 0.5124 4.7370 ((9 . 1) (10 . 2) (11 . 3) (13 . 13) (14 . 14) (18 . 18) (19 . 19) (20 . 32)) 1204 0.4545 5.3632 ((11 . 1) (13 . 2) (18 . 5) (19 . 6) (20 . 11)) 1211 0.3636 6.8267 ((10 . 7) (11 . 8) (14 . 10) (18 . 14)) 1224 0.3636 6.5266 ((11 . 7) (14 . 10) (16 . 11) (18 . 14)) 1233 0.6801 3.1377 ((9 . 11) (10 . 13) (11 . 14) (13 . 16) (14 . 17) (16 . 19) (18 . 20) (19 . 21) (20 . 22)) 1267 0.8921 5.9712 ((9 . 22) (10 . 23) (11 . 24) (13 . 25) (14 . 31) (15 . 33) (16 . 34) (18 . 36) (19 . 37) (20 . 38)) 1268 0.3520 11.2147 ((10 . 12) (13 . 15) (17 . 17) (19 . 18)) 1294 0.3634 9.8245 ((11 . 40) (14 . 42) (17 . 45) (18 . 46)) 1345 0.4544 6.5020 ((11 . 7) (13 . 8) (14 . 9) (17 . 10) (18 . 12)) 1366 0.2728 6.7833 ((11 . 12) (14 . 14) (18 . 17) (20 . 21)) 1388 0.3636 5.4290 ((14 . 5) (16 . 6) (17 . 7) (18 . 8)) 1395 0.3189 12.7364 ((13 . 1) (16 . 3) (17 . 2) (19 . 4)) 1415 0.2727 8.1246 ((13 . 3) (16 . 4) (17 . 5) (19 . 6)) 1425 0.3635 7.7574 ((9 . 4) (11 . 8) (14 . 11) (15 . 12)) 1435 0.3416 11.3302 ((9 . 1) (15 . 6) (17 . 7) (19 . 9)) 1447 0.7955 4.3825 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (14 . 5) (16 . 6) (18 . 7) (19 . 8) (20 . 9)) 1451 0.3636 5.4776 ((14 . 1) (15 . 5) (18 . 6) (20 . 10)) 1464 0.3192 6.4025 ((11 . 7) (13 . 9) (15 . 10) (17 . 12)) 1472 0.3417 10.4808 ((10 . 3) (15 . 8) (16 . 9) (19 . 11)) 1476 1.0000 0.0000 ((9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20)) 1481 0.3192 9.1038 ((14 . 4) (15 . 7) (17 . 8) (19 . 9)) 1497 0.3636 6.0233 ((10 . 22) (13 . 24) (16 . 26) (17 . 27)) 1501 0.2727 8.3485 ((9 . 1) (14 . 5) (15 . 6) (18 . 9)) 1508 0.2377 8.5025 ((13 . 1) (15 . 2) (16 . 3) (19 . 6)) 1513 0.6018 4.0991 ((9 . 3) (10 . 4) (11 . 5) (16 . 9) (18 . 11) (19 . 12) (20 . 13)) 1514 0.1957 8.8377 ((9 . 1) (11 . 3) (14 . 4) (16 . 5)) 1577 0.3636 7.3800 ((13 . 9) (14 . 10) (16 . 11) (18 . 15)) 1591 0.4545 5.4522 ((11 . 1) (14 . 4) (16 . 5) (18 . 6) (20 . 8)) 1604 0.5454 4.3406 ((9 . 3) (11 . 7) (13 . 9) (14 . 10) (18 . 12) (19 . 13)) 1622 0.4545 4.5116 ((14 . 18) (16 . 19) (18 . 20) (19 . 21) (20 . 22)) 1624 0.3628 13.7357 ((14 . 6) (15 . 8) (17 . 10) (19 . 11)) 1643 0.3636 5.9121 ((14 . 8) (15 . 10) (18 . 12) (20 . 16)) 1644 0.3636 7.4675 ((11 . 46) (14 . 48) (15 . 50) (18 . 52)) 1665 0.4545 4.0968 ((9 . 6) (17 . 7) (18 . 8) (19 . 9) (20 . 10)) 1690 0.4543 7.2409 ((9 . 1) (14 . 8) (17 . 12) (18 . 13) (19 . 15)) 1692 0.3635 8.5276 ((10 . 4) (11 . 6) (15 . 9) (18 . 10)) 1731 0.5454 4.6693 ((9 . 3) (14 . 6) (16 . 7) (18 . 8) (19 . 11) (20 . 12)) 1736 0.5453 5.2315 ((9 . 5) (10 . 6) (11 . 7) (13 . 9) (14 . 10) (15 . 12)) 1738 0.4363 5.8066 ((11 . 9) (13 . 10) (16 . 15) (17 . 16) (20 . 21)) 1747 0.4543 7.7576 ((9 . 5) (11 . 6) (14 . 7) (18 . 11) (20 . 12)) 1756 0.3635 8.1388 ((11 . 23) (14 . 26) (15 . 27) (18 . 31)) 1759 0.3636 5.8751 ((9 . 1) (11 . 4) (14 . 6) (20 . 14)) 1761 0.7883 4.8226 ((9 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (16 . 12) (18 . 13) (19 . 14) (20 . 16)) 1763 0.3635 7.7689 ((9 . 3) (10 . 4) (14 . 9) (19 . 12)) 1776 0.5454 4.5377 ((9 . 1) (13 . 6) (14 . 7) (15 . 9) (16 . 10) (18 . 12)) 1777 0.3635 8.4702 ((11 . 31) (14 . 34) (15 . 37) (20 . 47)) 1778 0.4545 4.5440 ((11 . 1) (14 . 3) (15 . 5) (17 . 6) (18 . 8)) 1793 0.5454 4.0116 ((9 . 3) (11 . 4) (14 . 6) (18 . 8) (19 . 9) (20 . 10)) 1805 0.3636 6.1564 ((9 . 2) (11 . 4) (14 . 8) (15 . 9)) 1808 0.3636 6.0411 ((13 . 1) (14 . 5) (17 . 7) (18 . 8)) 1867 0.4541 8.5891 ((9 . 1) (10 . 2) (11 . 3) (15 . 7) (17 . 8)) 1894 0.3635 8.1422 ((9 . 18) (14 . 23) (15 . 25) (18 . 26)) 1896 0.7268 4.9211 ((9 . 3) (10 . 4) (11 . 5) (13 . 21) (14 . 22) (18 . 27) (19 . 28) (20 . 51)) 1897 0.3631 12.0284 ((9 . 32) (13 . 37) (15 . 39) (20 . 43)) 1908 0.5193 5.4130 ((10 . 6) (11 . 7) (13 . 9) (14 . 10) (15 . 15) (17 . 16)) 1909 0.5848 4.8131 ((9 . 25) (10 . 26) (11 . 29) (16 . 30) (18 . 31) (19 . 33) (20 . 34)) 1913 0.3636 5.0108 ((9 . 19) (11 . 22) (18 . 28) (20 . 30)) 1944 0.4545 3.8204 ((9 . 3) (14 . 7) (18 . 9) (19 . 12) (20 . 13)) 1957 0.5454 3.5451 ((9 . 3) (10 . 4) (11 . 5) (13 . 6) (14 . 7) (15 . 9)) 1961 0.3636 5.9067 ((14 . 14) (18 . 16) (19 . 18) (20 . 19)) 1967 0.3636 5.7821 ((9 . 7) (13 . 9) (14 . 10) (15 . 13)) 1972 0.7273 2.0866 ((9 . 16) (10 . 17) (11 . 18) (13 . 19) (14 . 20) (18 . 24) (19 . 25) (20 . 27)) 1987 0.3191 10.1933 ((13 . 11) (16 . 13) (17 . 14) (19 . 15)) 1992 0.4544 6.0420 ((9 . 1) (16 . 8) (18 . 9) (19 . 10) (20 . 12)) 1995 0.3636 5.5960 ((9 . 2) (11 . 7) (15 . 11) (18 . 13)) 2003 0.3635 8.3264 ((9 . 5) (10 . 6) (11 . 8) (14 . 10)) 2006 0.3636 5.7290 ((11 . 7) (14 . 9) (18 . 11) (20 . 13)) 2048 0.4545 4.5101 ((9 . 4) (10 . 5) (11 . 6) (16 . 12) (18 . 13)) 2054 0.3628 13.6184 ((13 . 4) (16 . 9) (17 . 10) (18 . 13)) 2063 0.3636 4.7343 ((9 . 42) (11 . 44) (13 . 46) (15 . 49)) 2065 0.3636 7.3814 ((10 . 20) (11 . 22) (14 . 25) (15 . 26)) 2067 0.4373 7.5785 ((9 . 2) (10 . 6) (16 . 47) (17 . 48) (18 . 50) (19 . 52)) 2072 0.3634 9.9265 ((15 . 2) (17 . 3) (18 . 4) (20 . 7)) 2081 0.3636 6.9717 ((10 . 1) (15 . 6) (17 . 7) (18 . 9)) 2083 0.3636 5.8296 ((17 . 3) (18 . 4) (19 . 6) (20 . 7)) 2097 0.3189 12.7036 ((10 . 2) (11 . 4) (15 . 7) (20 . 14)) 2114 0.3636 7.3301 ((14 . 28) (16 . 30) (18 . 32) (20 . 36)) 2116 0.3635 8.1926 ((11 . 5) (14 . 7) (18 . 11) (20 . 12)) 2117 0.3636 3.6805 ((9 . 1) (10 . 3) (11 . 4) (16 . 8)) 2118 0.3636 6.3295 ((11 . 5) (14 . 7) (16 . 8) (19 . 10)) 2122 0.7264 5.7770 ((9 . 1) (10 . 2) (11 . 6) (13 . 7) (14 . 8) (16 . 9) (18 . 10) (19 . 19)) 2166 0.3635 7.9643 ((10 . 5) (13 . 10) (14 . 12) (20 . 16)) 2179 0.4545 5.8492 ((11 . 1) (13 . 3) (14 . 4) (15 . 5) (20 . 10)) 2196 0.3633 10.9114 ((9 . 10) (11 . 12) (14 . 15) (18 . 19)) 2203 0.3635 9.2527 ((14 . 1) (16 . 3) (18 . 7) (20 . 10)) 2205 0.3636 6.4523 ((9 . 16) (11 . 18) (14 . 22) (18 . 26)) 2209 0.4545 3.9050 ((9 . 3) (10 . 4) (11 . 5) (16 . 8) (18 . 9)) 2220 0.3636 7.6772 ((10 . 1) (11 . 2) (14 . 5) (15 . 7)) 2233 0.2376 13.3434 ((10 . 2) (13 . 6) (17 . 8) (19 . 9)) 2243 0.3635 7.9706 ((9 . 47) (15 . 51) (18 . 53) (20 . 56)) 2244 0.3636 5.9767 ((9 . 69) (11 . 71) (14 . 74) (15 . 75)) 2248 0.3636 5.5113 ((10 . 20) (11 . 22) (16 . 26) (18 . 27)) 2249 0.6361 4.8863 ((9 . 4) (11 . 7) (13 . 8) (14 . 11) (18 . 12) (19 . 14) (20 . 16)) 2269 0.4545 4.0778 ((11 . 8) (14 . 10) (16 . 11) (18 . 12) (19 . 13)) 2279 0.3985 10.8760 ((10 . 6) (11 . 7) (14 . 9) (17 . 12) (19 . 15)) 2298 0.5454 4.5016 ((10 . 7) (11 . 8) (14 . 10) (16 . 11) (18 . 12) (19 . 14)) 2308 0.4545 4.2758 ((11 . 6) (14 . 8) (16 . 10) (18 . 11) (19 . 12)) 2314 0.3636 6.8291 ((9 . 2) (14 . 7) (15 . 8) (16 . 9)) 2340 0.4545 3.7967 ((9 . 9) (10 . 10) (11 . 11) (18 . 13) (20 . 14)) 2344 0.4363 5.8711 ((9 . 10) (11 . 13) (15 . 18) (17 . 19) (19 . 21)) 2364 0.6363 3.4671 ((9 . 7) (11 . 9) (13 . 10) (14 . 12) (18 . 15) (19 . 16) (20 . 18)) 2381 0.4545 4.1571 ((10 . 2) (11 . 3) (14 . 4) (15 . 5) (17 . 8)) 2389 0.3636 6.7544 ((11 . 9) (14 . 11) (16 . 12) (18 . 14)) 2408 0.3635 9.1230 ((11 . 34) (14 . 38) (18 . 42) (20 . 46)) 2409 0.3632 11.8805 ((9 . 2) (14 . 6) (15 . 8) (19 . 11)) 2410 0.0999 6.5424 ((10 . 12) (11 . 13) (13 . 15) (14 . 16)) 2422 0.4545 3.8834 ((9 . 1) (10 . 2) (11 . 4) (18 . 9) (19 . 10)) 2423 0.3635 8.7411 ((9 . 14) (11 . 16) (14 . 19) (20 . 25)) 2440 0.3636 4.2350 ((9 . 4) (11 . 7) (14 . 9) (16 . 10)) 2443 0.3192 8.8863 ((13 . 1) (16 . 3) (17 . 4) (19 . 5)) 2447 0.4545 3.7289 ((9 . 15) (11 . 18) (13 . 19) (14 . 21) (15 . 24)) 2462 0.3636 4.5810 ((9 . 6) (11 . 7) (13 . 10) (14 . 11)) 2510 0.7783 5.2441 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (14 . 5) (16 . 6) (18 . 7) (19 . 8) (20 . 9)) 2525 0.3636 5.5846 ((9 . 41) (10 . 42) (11 . 43) (17 . 49)) 2529 0.3989 8.0229 ((11 . 1) (13 . 2) (14 . 5) (15 . 6) (17 . 7)) 2533 0.7269 4.7310 ((9 . 4) (10 . 5) (11 . 6) (13 . 7) (14 . 8) (18 . 9) (19 . 11) (20 . 13)) 2544 0.1956 13.5907 ((13 . 18) (16 . 19) (18 . 22) (19 . 24)) 2551 0.3635 8.2590 ((9 . 3) (13 . 6) (18 . 11) (20 . 12)) 2552 0.5454 3.4542 ((9 . 1) (10 . 2) (11 . 3) (16 . 4) (18 . 5) (19 . 6)) 2556 0.4545 4.9697 ((11 . 11) (13 . 12) (14 . 13) (18 . 18) (20 . 20)) 2557 0.3636 6.5606 ((10 . 1) (11 . 3) (13 . 4) (14 . 7)) 2561 0.3636 7.1173 ((11 . 1) (16 . 5) (18 . 6) (20 . 8)) 2591 0.1956 13.3203 ((13 . 35) (16 . 36) (17 . 37) (19 . 38)) 2595 0.4545 3.9482 ((11 . 1) (14 . 4) (18 . 6) (19 . 7) (20 . 11)) 2619 0.5454 4.3035 ((11 . 1) (14 . 3) (16 . 4) (18 . 5) (19 . 6) (20 . 7)) 2627 0.3635 8.0285 ((13 . 59) (16 . 61) (17 . 62) (18 . 64)) 2650 0.3636 7.4733 ((9 . 2) (10 . 4) (11 . 5) (14 . 7)) 2658 0.3635 8.1375 ((9 . 3) (13 . 6) (18 . 12) (20 . 13)) 2675 0.3635 7.9552 ((14 . 1) (16 . 2) (18 . 4) (20 . 8)) 2682 0.3989 8.2878 ((9 . 1) (10 . 16) (18 . 17) (19 . 18) (20 . 19)) 2696 0.3636 6.0206 ((9 . 32) (10 . 33) (11 . 35) (14 . 38)) 2731 0.3419 5.0159 ((14 . 1) (16 . 2) (17 . 3) (18 . 4)) 2733 0.3636 4.2061 ((11 . 1) (14 . 4) (18 . 8) (20 . 11)) 2753 0.3413 13.5809 ((10 . 2) (13 . 4) (17 . 7) (19 . 8)) 2755 0.4545 4.6635 ((11 . 3) (14 . 5) (18 . 6) (19 . 7) (20 . 10)) 2773 0.2727 9.2144 ((14 . 3) (16 . 4) (18 . 5) (19 . 7)) 2783 0.4540 9.4398 ((10 . 4) (11 . 6) (14 . 8) (16 . 9) (18 . 12)) 2804 0.3636 6.7439 ((9 . 29) (13 . 35) (14 . 36) (20 . 40)) 2821 0.4545 4.8360 ((9 . 1) (11 . 3) (17 . 10) (18 . 11) (19 . 12)) 2830 0.5454 3.6152 ((9 . 11) (10 . 12) (11 . 13) (16 . 16) (18 . 17) (20 . 19)) 2834 0.4545 5.7622 ((11 . 1) (13 . 2) (14 . 6) (16 . 7) (18 . 8)) 2840 0.3636 4.3146 ((9 . 6) (10 . 7) (11 . 9) (14 . 11)) 2842 0.3636 4.3188 ((9 . 1) (13 . 3) (14 . 4) (19 . 8)) 2867 0.3635 7.9514 ((9 . 2) (10 . 3) (14 . 7) (19 . 11)) 2879 0.3636 4.4433 ((9 . 51) (11 . 53) (13 . 55) (15 . 58)) 2886 0.3635 8.3344 ((9 . 30) (11 . 34) (14 . 37) (15 . 39)) 2929 0.1957 7.3393 ((15 . 36) (16 . 37) (17 . 38) (18 . 39)) 2940 0.4543 7.5505 ((9 . 1) (11 . 4) (14 . 6) (16 . 9) (19 . 10)) 2947 0.3636 6.7058 ((15 . 2) (18 . 4) (19 . 5) (20 . 6)) 2955 0.3636 4.7491 ((10 . 2) (11 . 3) (14 . 4) (15 . 5)) 2966 0.3636 5.3927 ((9 . 4) (14 . 10) (15 . 11) (18 . 16)) 2990 0.4545 5.2593 ((9 . 9) (11 . 12) (13 . 13) (14 . 16) (16 . 17)) 2999 0.3636 5.1901 ((9 . 2) (11 . 4) (13 . 5) (14 . 6)) 3014 0.3633 11.0424 ((13 . 3) (15 . 7) (16 . 8) (19 . 10)) 3019 0.4538 10.0348 ((13 . 8) (14 . 9) (18 . 11) (19 . 12) (20 . 14)) 3034 0.4545 5.4299 ((11 . 1) (13 . 4) (17 . 6) (18 . 7) (20 . 9)) 3041 0.5454 4.1110 ((11 . 12) (14 . 14) (16 . 15) (18 . 16) (19 . 17) (20 . 18)) 3055 0.3636 6.7048 ((9 . 15) (11 . 17) (14 . 20) (15 . 21)) 3063 0.3636 5.5808 ((13 . 34) (14 . 35) (18 . 38) (20 . 41)) 3070 0.3636 5.2867 ((16 . 30) (17 . 31) (19 . 34) (20 . 35)) 3084 0.5454 3.8411 ((9 . 5) (10 . 6) (11 . 7) (13 . 8) (14 . 9) (15 . 11)) 3102 0.4539 9.8110 ((9 . 58) (11 . 59) (14 . 60) (18 . 68) (20 . 69)) 3103 0.3636 6.0751 ((9 . 1) (11 . 3) (18 . 11) (19 . 12)) 3114 0.3635 8.1772 ((9 . 23) (11 . 25) (13 . 27) (15 . 29)) 3120 0.3636 5.7419 ((16 . 20) (18 . 22) (19 . 23) (20 . 25)) 3127 0.7785 4.8490 ((9 . 2) (10 . 5) (11 . 6) (13 . 7) (14 . 8) (17 . 9) (18 . 11) (19 . 12) (20 . 13)) 3147 0.3636 7.5449 ((9 . 7) (11 . 11) (14 . 13) (20 . 20)) 3176 0.3634 10.1879 ((13 . 21) (16 . 22) (17 . 23) (20 . 26)) 3187 0.3636 5.2767 ((9 . 1) (11 . 3) (14 . 5) (18 . 7)) 3190 0.5454 3.9807 ((11 . 1) (13 . 2) (14 . 3) (16 . 4) (18 . 6) (19 . 7)) 3197 0.7270 4.2431 ((9 . 10) (10 . 11) (11 . 12) (13 . 13) (14 . 14) (16 . 15) (18 . 16) (19 . 17)) 3200 0.3636 6.3400 ((9 . 1) (10 . 2) (11 . 3) (14 . 6)) 3202 0.2375 16.1913 ((10 . 1) (13 . 4) (16 . 5) (19 . 7)) 3212 0.3635 8.8481 ((9 . 3) (13 . 7) (14 . 9) (16 . 10)) 3222 0.3415 12.0310 ((10 . 2) (15 . 8) (19 . 13) (20 . 14)) 3256 0.3636 6.8651 ((14 . 21) (15 . 24) (18 . 26) (19 . 27)) 3261 0.3636 5.7299 ((9 . 1) (11 . 3) (18 . 7) (20 . 9)) 3286 0.4229 9.4323 ((10 . 2) (11 . 3) (15 . 5) (18 . 7) (20 . 9)) 3289 0.3635 8.8691 ((9 . 25) (11 . 27) (14 . 30) (15 . 31)) 3297 0.3636 6.4500 ((9 . 7) (11 . 8) (14 . 9) (18 . 12)) 3300 0.2728 6.4761 ((9 . 1) (11 . 4) (16 . 10) (19 . 11)) 3322 0.5454 4.7989 ((11 . 1) (13 . 2) (14 . 3) (15 . 5) (17 . 6) (18 . 7)) 3334 0.4543 7.4545 ((13 . 9) (15 . 10) (17 . 11) (19 . 13) (20 . 14)) 3339 0.4545 3.5773 ((9 . 15) (11 . 17) (13 . 18) (14 . 19) (15 . 21)) 3344 0.3635 8.6644 ((9 . 20) (11 . 22) (14 . 24) (18 . 27)) 3358 0.5454 4.4776 ((11 . 4) (14 . 7) (15 . 8) (17 . 9) (18 . 10) (19 . 11)) 3362 0.5450 7.0136 ((9 . 4) (10 . 5) (11 . 6) (14 . 8) (18 . 11) (19 . 13)) 3366 0.3633 10.9709 ((9 . 24) (11 . 27) (15 . 29) (19 . 33)) 3391 0.7268 4.8649 ((9 . 4) (10 . 5) (11 . 6) (13 . 7) (14 . 8) (18 . 10) (19 . 12) (20 . 13)) 3410 0.7273 1.9969 ((9 . 19) (10 . 20) (11 . 21) (13 . 23) (14 . 24) (18 . 28) (19 . 29) (20 . 30)) 3415 0.2377 7.5303 ((10 . 19) (13 . 21) (16 . 22) (17 . 23)) 3446 0.3189 12.7134 ((10 . 3) (11 . 5) (16 . 8) (19 . 10)) 3470 0.3633 11.2314 ((10 . 11) (13 . 13) (17 . 15) (19 . 17)) 3472 0.3636 7.1776 ((11 . 3) (14 . 5) (15 . 8) (18 . 11)) 3481 0.7271 3.7444 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (14 . 8) (18 . 10) (19 . 11) (20 . 12)) 3495 0.3636 6.7455 ((14 . 1) (18 . 3) (19 . 5) (20 . 7)) 3496 0.3624 14.9899 ((14 . 23) (16 . 24) (17 . 25) (19 . 26)) 3533 0.3636 6.6071 ((9 . 3) (13 . 6) (14 . 8) (15 . 10)) 3537 0.3636 5.3764 ((9 . 2) (10 . 3) (14 . 7) (16 . 8)) 3538 0.4545 4.7643 ((10 . 17) (11 . 18) (17 . 22) (18 . 23) (20 . 25)) 3548 0.3636 4.6760 ((13 . 7) (14 . 8) (18 . 10) (19 . 11)) 3549 0.2377 5.8569 ((14 . 1) (17 . 4) (18 . 5) (19 . 7)) 3561 0.4545 4.0669 ((9 . 20) (10 . 21) (11 . 22) (18 . 28) (20 . 31)) 3570 0.4545 4.9094 ((11 . 1) (13 . 2) (14 . 3) (18 . 8) (20 . 10)) 3585 0.4545 4.5270 ((9 . 8) (14 . 14) (16 . 15) (18 . 16) (19 . 17)) 3613 0.3417 9.8721 ((9 . 41) (10 . 42) (16 . 44) (17 . 45)) 3626 0.3635 8.5725 ((10 . 1) (11 . 2) (14 . 6) (18 . 11)) 3628 0.4545 4.9807 ((10 . 5) (11 . 6) (18 . 10) (19 . 11) (20 . 12)) 3651 0.8172 5.1366 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (14 . 5) (16 . 7) (18 . 8) (19 . 15) (20 . 21)) 3656 0.1649 11.5188 ((10 . 12) (17 . 20) (19 . 21) (20 . 22)) 3658 0.4545 5.3256 ((9 . 1) (10 . 2) (11 . 5) (14 . 6) (15 . 7)) 3661 0.2728 7.0805 ((14 . 7) (16 . 9) (18 . 11) (19 . 13)) 3663 0.3636 6.1169 ((14 . 1) (16 . 3) (17 . 4) (19 . 6)) 3688 0.3635 9.3487 ((14 . 29) (15 . 30) (17 . 33) (20 . 35)) 3697 0.1649 10.0899 ((13 . 5) (15 . 7) (17 . 8) (19 . 9)) 3703 0.3633 10.5078 ((14 . 4) (17 . 5) (18 . 6) (20 . 8)) 3732 0.5448 7.8503 ((9 . 5) (10 . 6) (11 . 7) (14 . 9) (18 . 12) (19 . 13)) 3733 0.5454 4.0412 ((11 . 1) (14 . 3) (16 . 4) (18 . 6) (19 . 7) (20 . 8)) 3740 0.3635 8.7672 ((9 . 3) (11 . 5) (15 . 7) (16 . 8)) 3741 0.3635 7.9733 ((9 . 1) (13 . 5) (18 . 13) (20 . 16)) 3776 0.4612 3.8710 ((9 . 15) (10 . 16) (11 . 17) (16 . 18) (18 . 21) (19 . 23) (20 . 24)) 3778 0.3636 5.5338 ((14 . 2) (18 . 4) (19 . 5) (20 . 6)) 3787 0.8175 4.6902 ((9 . 27) (10 . 28) (11 . 29) (13 . 30) (14 . 31) (16 . 32) (18 . 33) (19 . 34) (20 . 35)) 3790 0.4545 4.3901 ((9 . 9) (11 . 10) (14 . 13) (18 . 15) (20 . 21)) 3807 0.3636 4.5565 ((14 . 43) (18 . 47) (19 . 49) (20 . 50)) 3810 0.3635 8.5103 ((9 . 4) (11 . 6) (14 . 11) (18 . 15)) 3817 0.4544 6.1189 ((9 . 1) (13 . 3) (14 . 5) (15 . 7) (17 . 8)) 3818 0.4544 6.2558 ((14 . 20) (16 . 21) (18 . 23) (19 . 24) (20 . 28)) 3829 0.2726 13.0220 ((13 . 4) (16 . 6) (17 . 7) (19 . 10)) 3831 0.4542 8.5110 ((10 . 1) (11 . 2) (18 . 6) (19 . 7) (20 . 9)) 3847 0.3192 8.8880 ((14 . 9) (16 . 10) (17 . 11) (18 . 13)) 3849 0.3417 9.8332 ((11 . 1) (15 . 5) (16 . 4) (19 . 7)) 3853 0.7248 7.5144 ((9 . 3) (10 . 4) (11 . 6) (13 . 7) (14 . 8) (17 . 9) (18 . 14) (19 . 16)) 3856 0.3636 4.7553 ((9 . 3) (10 . 4) (11 . 6) (14 . 9)) 3870 0.5454 4.2955 ((9 . 3) (10 . 4) (11 . 5) (14 . 8) (18 . 10) (20 . 13)) 3933 0.3635 7.9022 ((10 . 4) (14 . 7) (18 . 13) (20 . 17)) 3938 0.3636 6.9258 ((9 . 4) (11 . 6) (14 . 9) (16 . 12)) 3942 0.3192 7.3657 ((14 . 2) (17 . 5) (18 . 9) (19 . 8)) 3968 0.6362 4.4533 ((11 . 3) (13 . 4) (14 . 5) (16 . 8) (18 . 9) (19 . 10) (20 . 11)) 3986 0.3636 6.8809 ((9 . 9) (16 . 19) (17 . 20) (20 . 26)) 3990 0.5454 4.4072 ((9 . 18) (10 . 19) (11 . 20) (13 . 21) (14 . 22) (18 . 26)) 4005 0.3636 5.8188 ((15 . 27) (16 . 28) (19 . 31) (20 . 35)) 4009 0.4545 4.9408 ((11 . 1) (13 . 6) (14 . 7) (16 . 8) (19 . 10)) 4019 0.3636 5.5966 ((14 . 36) (17 . 40) (18 . 42) (20 . 44)) 4030 0.1956 13.4457 ((10 . 10) (16 . 15) (17 . 16) (19 . 17)) 4034 0.3635 7.8367 ((9 . 5) (13 . 8) (19 . 14) (20 . 15)) 4037 0.1957 10.5931 ((11 . 1) (16 . 5) (17 . 6) (19 . 7)) 4062 0.3632 11.6768 ((13 . 39) (16 . 40) (17 . 44) (20 . 48)) 4067 0.5454 4.1347 ((11 . 14) (13 . 15) (14 . 16) (18 . 22) (19 . 23) (20 . 24)) 4077 0.3189 12.6781 ((10 . 14) (13 . 16) (17 . 17) (19 . 18)) 4082 0.3635 8.0759 ((9 . 5) (11 . 7) (13 . 9) (15 . 10)) 4087 0.3192 7.0193 ((13 . 2) (15 . 3) (16 . 4) (18 . 6)) 4112 0.3636 6.8568 ((11 . 1) (14 . 3) (16 . 7) (17 . 8)) 4115 0.5453 4.9171 ((9 . 13) (13 . 14) (14 . 15) (16 . 16) (18 . 17) (20 . 19)) 4134 0.3634 10.1677 ((10 . 25) (13 . 27) (17 . 30) (19 . 32)) 4140 0.1957 9.3161 ((11 . 23) (13 . 25) (16 . 26) (17 . 27)) 4151 0.5452 6.1206 ((11 . 5) (13 . 6) (16 . 8) (18 . 9) (19 . 11) (20 . 12)) 4154 0.3636 6.8040 ((9 . 51) (11 . 53) (14 . 56) (15 . 57)) 4177 0.3636 7.6217 ((10 . 6) (11 . 7) (14 . 8) (15 . 9)) 4190 0.3191 9.7177 ((9 . 1) (10 . 2) (16 . 7) (18 . 8)) 4192 0.3636 3.3511 ((10 . 11) (11 . 13) (13 . 14) (14 . 15)) 4194 0.4545 5.5728 ((9 . 1) (11 . 3) (13 . 4) (14 . 5) (17 . 8)) 4195 0.3628 13.7914 ((13 . 13) (15 . 15) (17 . 17) (19 . 19)) 4204 0.5454 4.5418 ((9 . 3) (10 . 4) (11 . 5) (14 . 7) (16 . 10) (18 . 11)) 4209 0.3636 7.4854 ((11 . 2) (13 . 3) (16 . 6) (18 . 10)) 4210 0.3636 4.2337 ((11 . 6) (13 . 7) (14 . 8) (15 . 10)) 4226 0.4545 5.6300 ((9 . 1) (10 . 3) (11 . 4) (14 . 6) (15 . 9)) 4232 0.3636 7.4385 ((9 . 3) (11 . 5) (13 . 7) (18 . 8)) 4242 0.1957 9.2273 ((13 . 2) (16 . 4) (17 . 5) (19 . 6)) 4246 0.3635 9.0579 ((9 . 2) (15 . 8) (17 . 10) (18 . 11)) 4254 0.4612 5.3376 ((10 . 7) (11 . 11) (14 . 13) (16 . 14) (18 . 15) (19 . 16) (20 . 18)) 4255 0.3636 7.5150 ((13 . 20) (18 . 24) (19 . 25) (20 . 26)) 4257 0.6357 6.5060 ((9 . 1) (10 . 2) (11 . 3) (13 . 6) (14 . 7) (18 . 11) (20 . 12)) 4261 0.3192 8.7300 ((10 . 13) (13 . 15) (16 . 16) (17 . 17)) 4265 0.4545 5.7286 ((13 . 22) (14 . 23) (15 . 24) (18 . 26) (20 . 29)) 4266 0.7268 5.0693 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (14 . 6) (16 . 7) (18 . 8) (20 . 12)) 4274 0.3636 4.3149 ((11 . 36) (13 . 37) (14 . 38) (15 . 40)) 4275 0.4543 7.5489 ((9 . 21) (10 . 22) (11 . 23) (13 . 24) (14 . 25)) 4281 0.3636 6.0693 ((11 . 3) (13 . 6) (17 . 9) (18 . 10)) 4284 0.3636 7.5031 ((9 . 5) (11 . 6) (13 . 7) (14 . 10)) 4299 0.5453 5.3287 ((11 . 6) (14 . 9) (16 . 10) (18 . 11) (19 . 13) (20 . 14)) 4301 0.3636 7.3845 ((9 . 2) (11 . 4) (14 . 8) (18 . 10)) 4326 0.7645 5.4008 ((9 . 2) (10 . 6) (11 . 7) (13 . 8) (15 . 10) (16 . 14) (18 . 15) (19 . 16) (20 . 17)) 4332 0.3634 10.1239 ((13 . 1) (15 . 4) (17 . 5) (20 . 9)) 4338 0.4544 6.0103 ((11 . 4) (13 . 5) (14 . 6) (18 . 8) (20 . 11)) 4352 0.3631 12.2802 ((10 . 1) (16 . 6) (17 . 7) (18 . 9)) 4359 0.3636 6.1820 ((9 . 13) (11 . 15) (14 . 17) (15 . 19)) 4380 0.3636 6.6433 ((9 . 2) (13 . 6) (18 . 14) (20 . 17)) 4383 0.3636 6.9946 ((11 . 14) (14 . 16) (18 . 18) (20 . 22)) 4386 0.3636 6.1638 ((11 . 1) (16 . 3) (18 . 4) (19 . 5)) 4388 0.4545 4.7181 ((9 . 1) (11 . 3) (13 . 4) (14 . 5) (20 . 12)) 4398 0.4545 5.3790 ((10 . 2) (14 . 4) (15 . 6) (18 . 8) (20 . 12)) 4405 0.3636 5.2975 ((16 . 13) (18 . 14) (19 . 17) (20 . 18)) 4408 0.3636 6.3995 ((14 . 1) (15 . 2) (18 . 4) (19 . 5)) 4415 0.4545 3.0553 ((14 . 4) (16 . 5) (18 . 9) (19 . 10) (20 . 11)) 4419 0.3635 8.4769 ((10 . 1) (14 . 6) (18 . 9) (19 . 11)) 4426 0.3632 11.7675 ((13 . 1) (15 . 2) (17 . 3) (20 . 4)) 4470 0.8172 5.0999 ((9 . 1) (10 . 4) (11 . 5) (13 . 6) (14 . 7) (16 . 11) (18 . 12) (19 . 13) (20 . 14)) 4491 0.3636 4.9092 ((9 . 1) (14 . 6) (16 . 7) (18 . 8)) 4492 0.4545 3.8846 ((11 . 11) (14 . 13) (15 . 16) (18 . 18) (20 . 21)) 4495 0.5454 4.4442 ((9 . 6) (10 . 7) (11 . 8) (13 . 9) (14 . 10) (16 . 11)) 4497 0.3635 9.0709 ((11 . 18) (14 . 23) (18 . 25) (20 . 28)) 4502 0.4545 5.5053 ((10 . 3) (11 . 6) (14 . 9) (18 . 14) (20 . 17)) 4503 0.3636 6.7493 ((11 . 1) (13 . 2) (14 . 5) (15 . 6)) 4504 0.4545 4.4793 ((9 . 4) (10 . 5) (11 . 6) (18 . 13) (20 . 15)) 4505 0.5449 7.3577 ((11 . 28) (13 . 29) (14 . 30) (17 . 31) (18 . 34) (19 . 35)) 4516 0.4545 4.3853 ((9 . 12) (10 . 13) (11 . 14) (13 . 15) (14 . 16)) 4538 0.3633 10.5820 ((10 . 27) (11 . 32) (14 . 33) (15 . 34)) 4551 0.3636 4.2799 ((9 . 1) (11 . 4) (13 . 7) (14 . 8)) 4560 0.7885 4.2153 ((9 . 1) (10 . 5) (11 . 6) (13 . 7) (14 . 8) (16 . 10) (18 . 11) (19 . 12) (20 . 17)) 4561 0.6362 4.7669 ((11 . 1) (14 . 5) (15 . 7) (17 . 8) (18 . 9) (19 . 11) (20 . 12)) 4562 0.4545 4.0176 ((11 . 19) (13 . 21) (14 . 22) (18 . 25) (20 . 29)) 4563 0.5453 5.1626 ((9 . 26) (10 . 27) (11 . 28) (16 . 30) (19 . 33) (20 . 34)) 4577 0.3634 10.0070 ((9 . 37) (11 . 41) (14 . 42) (15 . 43)) 4579 0.3635 9.0970 ((10 . 7) (16 . 11) (19 . 16) (20 . 18)) 4588 0.4545 4.1424 ((11 . 1) (13 . 2) (14 . 3) (19 . 12) (20 . 13)) 4589 0.3636 5.2491 ((16 . 17) (18 . 18) (19 . 20) (20 . 22)) 4607 0.3636 7.6924 ((10 . 2) (13 . 5) (16 . 8) (17 . 9)) 4621 0.1957 9.9999 ((10 . 1) (13 . 5) (18 . 9) (19 . 10)) 4630 0.4544 6.9748 ((9 . 8) (11 . 11) (14 . 14) (18 . 17) (20 . 20)) 4648 0.3635 9.1927 ((11 . 1) (13 . 3) (17 . 7) (18 . 8)) 4653 0.4542 7.9628 ((11 . 1) (13 . 2) (14 . 4) (15 . 5) (20 . 9)) 4668 0.6361 4.9528 ((11 . 1) (13 . 2) (14 . 3) (15 . 5) (16 . 6) (18 . 9) (19 . 10)) 4669 0.4545 3.4515 ((9 . 17) (11 . 19) (13 . 20) (14 . 21) (17 . 23)) 4671 0.3636 5.4818 ((11 . 2) (14 . 4) (16 . 5) (18 . 7)) 4674 0.3634 9.5253 ((9 . 1) (10 . 3) (14 . 6) (18 . 9)) 4678 0.3636 7.5413 ((13 . 2) (16 . 3) (17 . 5) (20 . 10)) 4713 0.3632 11.2608 ((11 . 4) (15 . 8) (17 . 10) (19 . 11)) 4715 0.3417 10.6745 ((9 . 3) (10 . 5) (13 . 9) (17 . 13)) 4731 0.3636 3.6336 ((9 . 18) (13 . 20) (14 . 22) (18 . 24)) 4764 0.2377 8.5389 ((13 . 2) (16 . 4) (17 . 5) (19 . 6)) 4817 0.3635 8.7179 ((10 . 6) (13 . 9) (16 . 11) (17 . 12)) 4857 0.4545 4.6296 ((9 . 5) (14 . 11) (16 . 12) (18 . 13) (19 . 14)) 4886 0.3636 4.6445 ((9 . 9) (11 . 11) (19 . 18) (20 . 19)) 4888 0.3636 5.2717 ((15 . 1) (17 . 2) (18 . 4) (19 . 5)) 4889 0.3636 7.1804 ((11 . 2) (14 . 4) (16 . 5) (18 . 6)) 4907 0.3635 8.0334 ((13 . 2) (15 . 3) (18 . 7) (20 . 9)) 4914 0.3636 6.2851 ((11 . 4) (14 . 6) (18 . 10) (20 . 12)) 4921 0.3636 6.0346 ((11 . 7) (15 . 12) (19 . 13) (20 . 17)) 4929 0.3633 10.4779 ((11 . 26) (14 . 28) (18 . 31) (20 . 34)) 4932 0.3636 4.6397 ((14 . 1) (18 . 6) (19 . 7) (20 . 8)) 4940 0.4545 5.1657 ((11 . 2) (14 . 3) (16 . 5) (18 . 8) (20 . 9)) 4944 0.3636 3.8797 ((9 . 11) (13 . 12) (14 . 14) (18 . 16)) 4961 0.5033 9.5184 ((11 . 12) (13 . 13) (17 . 16) (18 . 17) (19 . 18) (20 . 20)) 4978 0.5454 4.3002 ((9 . 18) (10 . 20) (11 . 21) (17 . 27) (18 . 28) (20 . 30)) 4982 0.4545 5.5829 ((11 . 1) (13 . 2) (14 . 3) (16 . 5) (18 . 6)) 4992 0.4545 4.8372 ((14 . 3) (16 . 4) (18 . 6) (19 . 7) (20 . 8)) 4998 0.8076 6.2612 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (14 . 6) (17 . 21) (18 . 23) (19 . 24) (20 . 25)) 5016 0.3632 11.3640 ((13 . 5) (16 . 6) (17 . 7) (19 . 9)) 5029 0.6837 3.7763 ((9 . 2) (10 . 3) (14 . 4) (15 . 6) (16 . 7) (18 . 8) (19 . 9) (20 . 10)) 5036 0.3632 11.6722 ((11 . 2) (14 . 5) (18 . 9) (20 . 10)) 5039 0.4545 4.6533 ((11 . 37) (14 . 39) (15 . 41) (17 . 43) (18 . 44)) 5046 0.1957 7.4531 ((11 . 3) (15 . 7) (17 . 9) (18 . 10)) 5053 0.3636 6.7917 ((9 . 3) (13 . 7) (18 . 10) (19 . 13)) 5065 0.3635 7.9203 ((10 . 5) (11 . 7) (15 . 11) (17 . 12)) 5068 0.5041 6.0050 ((13 . 3) (14 . 4) (15 . 7) (16 . 19) (18 . 20) (20 . 24)) 5069 0.4233 4.9394 ((11 . 4) (14 . 7) (16 . 8) (19 . 14) (20 . 15)) 5073 0.6361 5.2026 ((11 . 32) (13 . 33) (14 . 34) (16 . 35) (18 . 36) (19 . 38) (20 . 39)) 5080 0.2727 10.4831 ((10 . 6) (16 . 10) (17 . 11) (19 . 14)) 5092 0.3188 14.1704 ((13 . 13) (16 . 14) (17 . 15) (19 . 16)) 5101 0.7650 4.4145 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (14 . 5) (16 . 6) (18 . 7) (19 . 8) (20 . 9)) 5103 0.6362 4.1639 ((9 . 13) (13 . 14) (14 . 15) (16 . 16) (18 . 17) (19 . 18) (20 . 19)) 5121 0.3636 4.5117 ((9 . 16) (10 . 17) (11 . 21) (13 . 22)) 5132 0.5454 4.7401 ((11 . 18) (13 . 19) (14 . 20) (18 . 22) (19 . 24) (20 . 26)) 5134 0.3636 7.4535 ((15 . 3) (17 . 5) (18 . 6) (19 . 7)) 5145 0.4545 3.9175 ((9 . 3) (10 . 4) (11 . 5) (13 . 7) (14 . 8)) 5167 0.6359 5.8174 ((9 . 1) (10 . 2) (11 . 3) (14 . 9) (16 . 10) (18 . 12) (20 . 14)) 5176 0.3635 8.2033 ((11 . 82) (13 . 83) (15 . 86) (18 . 88)) 5183 0.3635 9.0738 ((9 . 34) (14 . 38) (16 . 39) (17 . 40)) 5192 0.4545 4.4526 ((11 . 1) (13 . 2) (14 . 3) (16 . 4) (18 . 5)) 5198 0.3636 7.3698 ((9 . 24) (10 . 25) (11 . 26) (14 . 30)) 5199 0.3636 7.4590 ((9 . 4) (11 . 7) (14 . 8) (18 . 10)) 5209 0.3635 8.3848 ((14 . 4) (17 . 6) (18 . 7) (20 . 9)) 5212 0.3416 11.4357 ((10 . 10) (13 . 13) (17 . 15) (19 . 16)) 5215 0.4545 5.4598 ((9 . 3) (11 . 5) (13 . 6) (18 . 10) (19 . 13)) 5223 0.5454 4.1333 ((9 . 6) (10 . 7) (11 . 8) (13 . 9) (14 . 10) (15 . 12)) 5231 0.3635 8.7599 ((10 . 9) (11 . 14) (13 . 15) (16 . 17)) 5266 0.6362 4.4480 ((9 . 2) (11 . 4) (13 . 5) (14 . 6) (18 . 8) (19 . 9) (20 . 10)) 5278 0.3635 9.3216 ((9 . 5) (11 . 7) (14 . 9) (18 . 12)) 5307 0.4545 4.8899 ((9 . 51) (11 . 53) (13 . 54) (14 . 55) (15 . 58)) 5318 0.3636 6.0369 ((9 . 3) (16 . 7) (18 . 8) (19 . 9)) 5323 0.2377 8.8488 ((10 . 8) (13 . 12) (16 . 14) (19 . 16)) 5324 0.5450 6.9667 ((9 . 7) (10 . 8) (11 . 10) (13 . 11) (14 . 12) (15 . 14)) 5344 0.3636 7.5631 ((14 . 4) (17 . 5) (18 . 8) (20 . 10)) 5345 0.3636 6.3065 ((9 . 3) (11 . 7) (14 . 9) (20 . 18)) 5368 0.4542 8.4291 ((9 . 20) (11 . 22) (14 . 26) (15 . 28) (18 . 30)) 5378 0.3245 9.8093 ((10 . 5) (11 . 6) (14 . 7) (15 . 8) (19 . 13)) 5411 0.3636 4.0463 ((17 . 2) (18 . 3) (19 . 5) (20 . 6)) 5414 0.3636 6.9968 ((9 . 14) (11 . 16) (13 . 17) (15 . 21)) 5418 0.2727 9.4673 ((11 . 1) (14 . 3) (16 . 4) (19 . 10)) 5433 0.3635 8.1557 ((11 . 4) (14 . 7) (18 . 12) (20 . 18)) 5479 0.4543 7.6576 ((9 . 38) (14 . 43) (15 . 44) (18 . 46) (20 . 48)) 5487 0.4545 4.9031 ((14 . 4) (17 . 8) (18 . 9) (19 . 10) (20 . 11)) 5489 0.3636 7.4644 ((11 . 1) (14 . 2) (18 . 6) (20 . 9)) 5500 0.4545 4.1237 ((11 . 1) (17 . 10) (18 . 12) (19 . 13) (20 . 14)) 5501 0.3628 13.5989 ((13 . 23) (16 . 27) (17 . 28) (18 . 30)) 5525 0.2726 12.3115 ((10 . 3) (13 . 5) (15 . 7) (19 . 11)) 5535 0.3636 7.6054 ((9 . 7) (11 . 9) (14 . 12) (16 . 13)) 5540 0.2726 13.2466 ((14 . 16) (16 . 17) (18 . 18) (19 . 21)) 5557 0.3633 11.1933 ((11 . 2) (14 . 4) (16 . 5) (17 . 7)) 5560 0.6363 3.7676 ((9 . 2) (10 . 3) (11 . 4) (16 . 8) (18 . 9) (19 . 10) (20 . 23)) 5562 0.4545 4.5257 ((11 . 7) (16 . 13) (18 . 14) (19 . 15) (20 . 17)) 5567 0.4545 4.3720 ((9 . 8) (11 . 11) (13 . 14) (14 . 15) (15 . 17)) 5594 0.4545 4.2797 ((9 . 4) (11 . 6) (14 . 9) (15 . 12) (17 . 13)) 5600 0.3636 7.4770 ((9 . 6) (11 . 9) (13 . 10) (14 . 11)) 5601 0.5453 5.4014 ((9 . 1) (13 . 4) (14 . 5) (15 . 7) (17 . 9) (20 . 12)) 5638 0.3636 5.4732 ((14 . 7) (18 . 9) (19 . 12) (20 . 13)) 5640 0.3636 6.5436 ((9 . 14) (11 . 18) (14 . 21) (15 . 22)) 5644 0.3634 9.4244 ((11 . 3) (13 . 5) (15 . 8) (20 . 14)) 5656 0.6362 4.6565 ((9 . 1) (10 . 4) (11 . 5) (13 . 6) (14 . 8) (18 . 14) (20 . 16)) 5689 0.1649 13.5686 ((10 . 1) (13 . 4) (17 . 7) (19 . 8)) 5700 0.3636 5.8379 ((9 . 2) (11 . 4) (14 . 6) (18 . 9)) 5701 0.4542 8.3830 ((9 . 6) (10 . 7) (11 . 8) (13 . 10) (15 . 11)) 5702 0.3406 16.3679 ((10 . 8) (13 . 10) (17 . 13) (19 . 14)) 5703 0.3635 9.1855 ((9 . 2) (11 . 6) (14 . 7) (15 . 8)) 5711 0.3635 8.8786 ((11 . 29) (15 . 32) (18 . 35) (20 . 38)) 5713 0.4542 8.2149 ((11 . 1) (14 . 3) (15 . 5) (18 . 7) (20 . 11)) 5718 0.3635 7.8457 ((14 . 16) (15 . 18) (19 . 22) (20 . 25)) 5731 0.3635 9.1323 ((9 . 5) (10 . 6) (11 . 7) (13 . 8)) 5746 0.4544 6.6445 ((11 . 3) (13 . 5) (14 . 6) (15 . 8) (20 . 14)) 5749 0.1957 10.0649 ((13 . 2) (14 . 3) (15 . 4) (18 . 5)) 5761 0.3636 5.4159 ((14 . 30) (18 . 32) (19 . 34) (20 . 36)) 5770 0.1957 6.6213 ((10 . 2) (14 . 6) (16 . 7) (20 . 15)) 5771 0.3636 4.1485 ((10 . 8) (11 . 9) (18 . 17) (20 . 21)) 5782 0.4545 5.9427 ((11 . 15) (13 . 17) (14 . 18) (18 . 22) (19 . 23)) 5789 0.1957 10.8966 ((10 . 3) (13 . 4) (15 . 5) (16 . 6)) 5794 0.3635 8.4710 ((9 . 19) (11 . 23) (14 . 24) (15 . 25)) 5795 0.4545 2.8499 ((10 . 5) (16 . 11) (18 . 13) (19 . 15) (20 . 16)) 5809 0.4545 5.4716 ((9 . 5) (11 . 7) (16 . 10) (18 . 12) (20 . 14)) 5822 0.3635 8.6436 ((9 . 2) (11 . 4) (14 . 7) (19 . 11)) 5827 0.5451 6.6052 ((9 . 4) (11 . 5) (13 . 6) (14 . 8) (18 . 14) (20 . 15)) 5830 0.3636 7.1212 ((9 . 1) (13 . 5) (14 . 7) (15 . 8)) 5847 0.3636 6.4614 ((11 . 1) (14 . 5) (15 . 8) (18 . 10)) 5861 0.3636 6.1904 ((9 . 15) (11 . 17) (18 . 25) (20 . 30)) 5865 0.3636 4.0069 ((14 . 1) (18 . 5) (19 . 6) (20 . 7)) 5878 0.3192 8.2266 ((10 . 22) (13 . 24) (14 . 25) (15 . 28)) 5888 0.3636 7.0784 ((9 . 4) (11 . 6) (14 . 9) (15 . 10)) 5896 0.3636 4.8686 ((11 . 26) (14 . 29) (16 . 30) (18 . 31)) 5904 0.7043 4.7237 ((9 . 1) (10 . 3) (11 . 4) (15 . 7) (16 . 8) (18 . 9) (19 . 10) (20 . 11)) 5913 0.5454 4.5771 ((11 . 7) (16 . 11) (17 . 12) (18 . 13) (19 . 14) (20 . 15)) 5914 0.3417 10.6609 ((14 . 3) (15 . 5) (16 . 4) (19 . 7)) 5922 0.3636 6.1417 ((11 . 1) (15 . 4) (18 . 6) (20 . 9)) 5930 0.5454 4.7429 ((9 . 2) (10 . 3) (11 . 4) (13 . 6) (14 . 7) (18 . 11)) 5939 0.6357 6.3910 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (14 . 6) (15 . 8) (17 . 15)) 5945 0.4545 4.6092 ((9 . 11) (17 . 22) (18 . 23) (19 . 25) (20 . 26)) 5949 0.4545 5.6068 ((9 . 9) (11 . 12) (13 . 13) (14 . 14) (16 . 15)) 5955 0.6363 3.7541 ((9 . 1) (10 . 2) (11 . 3) (16 . 6) (18 . 7) (19 . 8) (20 . 9)) 5967 0.4544 6.3064 ((9 . 1) (10 . 2) (11 . 3) (13 . 6) (16 . 8)) 5972 0.2377 6.8947 ((10 . 1) (13 . 5) (15 . 7) (16 . 8)) 5977 0.3636 4.3951 ((9 . 1) (11 . 3) (13 . 4) (14 . 5)) 6000 0.4543 7.6218 ((10 . 8) (11 . 9) (17 . 16) (18 . 17) (20 . 21)) 6011 0.3636 7.5851 ((9 . 2) (11 . 4) (14 . 8) (20 . 15)) 6022 0.3634 9.8671 ((11 . 4) (14 . 7) (15 . 8) (18 . 9)) 6028 0.1327 8.6813 ((14 . 1) (17 . 4) (19 . 8) (20 . 9)) 6029 0.4232 6.3969 ((10 . 32) (14 . 35) (16 . 36) (17 . 37) (20 . 40)) 6033 0.3635 8.5100 ((10 . 4) (13 . 7) (16 . 9) (17 . 10)) 6041 0.3636 4.7938 ((14 . 11) (15 . 13) (17 . 14) (18 . 15)) 6061 0.4545 3.8667 ((14 . 13) (17 . 16) (18 . 17) (19 . 18) (20 . 20)) 6074 0.5443 8.8655 ((10 . 5) (11 . 6) (17 . 10) (18 . 11) (19 . 12) (20 . 13)) 6075 0.6362 4.7795 ((9 . 17) (10 . 19) (11 . 20) (14 . 21) (17 . 22) (18 . 24) (20 . 27)) 6079 0.3636 5.6617 ((9 . 7) (11 . 9) (14 . 11) (17 . 14)) 6087 0.4545 2.9986 ((9 . 3) (17 . 7) (18 . 8) (19 . 9) (20 . 10)) 6089 0.5453 5.2100 ((11 . 1) (13 . 2) (14 . 3) (16 . 4) (18 . 5) (20 . 11)) 6094 0.3635 9.2395 ((10 . 6) (11 . 7) (13 . 8) (18 . 14)) 6099 0.3636 5.9466 ((11 . 5) (14 . 7) (18 . 10) (20 . 13)) 6123 0.3629 13.2084 ((14 . 3) (15 . 5) (16 . 6) (19 . 7)) 6142 0.3636 6.1527 ((9 . 10) (11 . 12) (14 . 14) (15 . 16)) 6148 0.3636 7.0621 ((11 . 32) (13 . 35) (14 . 34) (15 . 36)) 6167 0.3632 11.7761 ((9 . 1) (11 . 6) (14 . 9) (20 . 21)) 6169 0.3415 11.9216 ((10 . 1) (13 . 4) (17 . 7) (19 . 9)) 6173 0.3636 5.4859 ((11 . 3) (14 . 5) (18 . 11) (19 . 14)) 6191 0.3636 6.9719 ((10 . 1) (14 . 6) (16 . 7) (18 . 10)) 6192 0.3636 5.8591 ((9 . 1) (10 . 2) (11 . 3) (20 . 11)) 6215 0.3636 6.7499 ((11 . 18) (14 . 20) (17 . 22) (18 . 24)) 6225 0.3636 4.2826 ((9 . 5) (13 . 9) (14 . 10) (18 . 12)) 6228 0.5453 5.2751 ((11 . 1) (13 . 2) (14 . 3) (15 . 5) (17 . 6) (18 . 7)) 6234 0.2377 7.6574 ((9 . 6) (11 . 9) (15 . 13) (16 . 14)) 6238 0.3636 6.5950 ((10 . 6) (11 . 8) (14 . 9) (16 . 10)) 6243 0.4545 3.6394 ((11 . 6) (13 . 7) (14 . 8) (18 . 10) (19 . 11)) 6251 0.4545 4.2138 ((9 . 8) (11 . 10) (13 . 11) (18 . 15) (19 . 18)) 6258 0.5450 7.0272 ((11 . 7) (13 . 8) (14 . 9) (15 . 10) (18 . 12) (20 . 13)) 6261 0.6363 3.3702 ((9 . 1) (10 . 2) (11 . 3) (16 . 7) (18 . 9) (19 . 10) (20 . 11)) 6266 0.4545 4.8531 ((9 . 3) (11 . 6) (14 . 8) (15 . 10) (19 . 12)) 6268 0.1956 12.0391 ((13 . 10) (16 . 12) (17 . 13) (19 . 14)) 6270 0.3635 7.7446 ((9 . 13) (10 . 14) (17 . 19) (20 . 22)) 6271 0.3636 7.0559 ((13 . 6) (15 . 8) (17 . 9) (18 . 10)) 6273 0.1957 7.4972 ((9 . 1) (11 . 4) (14 . 6) (15 . 7)) 6294 0.7270 4.2310 ((9 . 2) (10 . 5) (11 . 6) (14 . 9) (17 . 21) (18 . 23) (19 . 24) (20 . 25)) 6306 0.3635 8.9816 ((11 . 17) (14 . 19) (15 . 20) (19 . 23)) 6309 0.3636 4.6902 ((13 . 16) (14 . 17) (16 . 19) (18 . 20)) 6311 0.3636 5.5236 ((11 . 9) (14 . 10) (15 . 11) (18 . 13)) 6338 0.2727 8.6623 ((11 . 1) (14 . 2) (15 . 4) (18 . 7)) 6344 0.3636 4.4933 ((11 . 8) (13 . 9) (18 . 13) (19 . 16)) 6345 0.3636 5.4269 ((13 . 2) (14 . 4) (18 . 7) (19 . 8)) 6348 0.6361 5.1578 ((9 . 1) (11 . 4) (13 . 6) (16 . 8) (18 . 9) (19 . 10) (20 . 11)) 6355 0.3635 9.2183 ((10 . 3) (11 . 4) (14 . 7) (15 . 9)) 6356 0.5587 3.8781 ((9 . 1) (11 . 4) (13 . 5) (14 . 6) (18 . 9) (19 . 10) (20 . 11)) 6359 0.3636 7.7075 ((10 . 2) (13 . 4) (16 . 6) (19 . 8)) 6369 0.4545 3.4050 ((9 . 24) (11 . 26) (13 . 28) (14 . 29) (15 . 31)) 6376 0.4545 4.6028 ((11 . 17) (13 . 18) (14 . 19) (15 . 21) (18 . 24)) 6391 0.1956 14.9052 ((13 . 2) (16 . 4) (17 . 5) (20 . 8)) 6392 0.4545 5.2743 ((9 . 1) (11 . 3) (16 . 6) (18 . 7) (19 . 8)) 6399 0.4545 5.4096 ((9 . 18) (11 . 19) (14 . 20) (18 . 29) (20 . 33)) 6403 0.5123 5.7529 ((9 . 4) (11 . 5) (13 . 6) (14 . 7) (15 . 10) (18 . 15) (19 . 16) (20 . 17)) 6434 0.3636 6.1674 ((10 . 1) (11 . 2) (14 . 4) (19 . 7)) 6461 0.3629 13.1365 ((10 . 1) (11 . 3) (13 . 4) (16 . 5)) 6462 0.4545 3.8121 ((9 . 16) (11 . 18) (13 . 19) (14 . 20) (15 . 22)) 6476 0.3635 8.5787 ((16 . 2) (17 . 1) (18 . 4) (19 . 7)) 6498 0.7645 5.4249 ((9 . 16) (10 . 18) (11 . 19) (13 . 20) (14 . 21) (16 . 27) (18 . 29) (19 . 30) (20 . 31)) 6506 0.3191 10.2741 ((10 . 17) (16 . 20) (17 . 21) (19 . 23)) 6520 0.3636 5.5141 ((11 . 8) (16 . 12) (18 . 14) (20 . 16)) 6536 0.3634 9.9732 ((13 . 29) (16 . 30) (17 . 32) (19 . 34)) 6539 0.3636 4.2121 ((11 . 5) (13 . 7) (14 . 8) (16 . 9)) 6540 0.3631 12.2720 ((9 . 2) (14 . 6) (18 . 9) (20 . 12)) 6548 0.4542 8.2981 ((9 . 7) (10 . 8) (11 . 9) (14 . 13) (16 . 15)) 6553 0.4545 4.6929 ((13 . 12) (14 . 13) (18 . 17) (19 . 19) (20 . 20)) 6555 0.3636 6.4439 ((14 . 7) (16 . 9) (18 . 10) (19 . 12)) 6561 0.3636 6.0024 ((11 . 3) (16 . 5) (18 . 9) (20 . 12)) 6573 0.5454 4.3595 ((9 . 17) (10 . 18) (11 . 19) (13 . 20) (14 . 21) (18 . 25)) 6575 0.3636 6.8474 ((9 . 1) (14 . 5) (16 . 6) (17 . 7)) 6578 0.3635 8.0512 ((11 . 32) (13 . 33) (14 . 34) (19 . 40)) 6584 0.3635 8.4880 ((11 . 3) (13 . 4) (18 . 9) (19 . 10)) 6585 0.4545 5.6267 ((14 . 2) (16 . 4) (18 . 6) (19 . 7) (20 . 10)) 6586 0.3636 6.5739 ((13 . 16) (16 . 19) (19 . 23) (20 . 24)) 6587 0.3636 4.5872 ((9 . 29) (11 . 31) (13 . 32) (14 . 33)) 6598 0.3636 6.1075 ((11 . 4) (14 . 6) (18 . 8) (20 . 11)) 6613 0.5447 8.1118 ((9 . 10) (11 . 12) (13 . 19) (16 . 25) (18 . 33) (20 . 34)) 6635 0.3636 6.5597 ((11 . 1) (13 . 3) (14 . 4) (19 . 9)) END