# Richard J. Mathar, 2021-03-13 # Obtained from McCay's poset tables hassen.txt by counting lines where the second # column equals e. Note that hasse9.txt.gz and hasse10.txt.gz are gzipped twice. # The proper names would be hass9.txt.gz.gz and hasse10.txt.gz.gz. 0 1 1 1 2 1 3 1 4 1 5 1 6 3 7 1 8 1 9 4 10 8 11 2 12 1 13 1 14 4 15 11 16 29 17 12 18 5 19 1 20 1 21 4 22 12 23 43 24 105 25 92 26 45 27 12 28 3 29 1 30 1 31 4 32 12 33 46 34 156 35 460 36 582 37 487 38 204 39 71 40 14 41 7 42 1 43 1 44 4 45 12 46 47 47 170 48 670 49 2097 50 3822 51 4514 52 3271 53 1579 54 561 55 186 56 44 57 16 58 4 59 1 60 1 61 4 62 12 63 47 64 173 65 731 66 2954 67 10513 68 24584 69 40182 70 43365 71 32506 72 17165 73 7361 74 2471 75 830 76 231 77 73 78 18 79 9 80 1 81 1 82 4 83 12 84 47 85 174 86 745 87 3212 88 14196 89 55352 90 160398 91 339849 92 513620 93 558180 94 443481 95 269258 96 129365 97 52171 98 18409 99 6033 100 1908 101 619 102 168 103 56 104 20 105 5