|
# number of elements: 27
poset {
xmax08000808080 xmax08008080800 xmax080080808080 xmax08080080080 xmax080800808080 xmax08080808000 xmax080808080080 xmax080808080800 xmax0808080808080 xmax80800008080 xmax808000808080 xmax80800800800 xmax808008008080 xmax808008080800 xmax8080080808080 xmax80808000080 xmax808080008080 xmax808080080080 xmax8080800808080 xmax80808080000 xmax808080800080 xmax808080800800 xmax8080808008080 xmax808080808000 xmax8080808080080 xmax8080808080800 xmax80808080808080
xmax08000808080 <= xmax080080808080
xmax08000808080 <= xmax080800808080
xmax08000808080 <= xmax0808080808080
xmax08000808080 <= xmax808000808080
xmax08000808080 <= xmax8080080808080
xmax08000808080 <= xmax8080800808080
xmax08000808080 <= xmax80808080808080
xmax08008080800 <= xmax080080808080
xmax08008080800 <= xmax080808080800
xmax08008080800 <= xmax0808080808080
xmax08008080800 <= xmax808008080800
xmax08008080800 <= xmax8080080808080
xmax08008080800 <= xmax8080808080800
xmax08008080800 <= xmax80808080808080
xmax080080808080 <= xmax0808080808080
xmax080080808080 <= xmax8080080808080
xmax080080808080 <= xmax80808080808080
xmax08080080080 <= xmax080800808080
xmax08080080080 <= xmax080808080080
xmax08080080080 <= xmax0808080808080
xmax08080080080 <= xmax808080080080
xmax08080080080 <= xmax8080800808080
xmax08080080080 <= xmax8080808080080
xmax08080080080 <= xmax80808080808080
xmax080800808080 <= xmax0808080808080
xmax080800808080 <= xmax8080800808080
xmax080800808080 <= xmax80808080808080
xmax08080808000 <= xmax080808080080
xmax08080808000 <= xmax080808080800
xmax08080808000 <= xmax0808080808080
xmax08080808000 <= xmax808080808000
xmax08080808000 <= xmax8080808080080
xmax08080808000 <= xmax8080808080800
xmax08080808000 <= xmax80808080808080
xmax080808080080 <= xmax0808080808080
xmax080808080080 <= xmax8080808080080
xmax080808080080 <= xmax80808080808080
xmax080808080800 <= xmax0808080808080
xmax080808080800 <= xmax8080808080800
xmax080808080800 <= xmax80808080808080
xmax0808080808080 <= xmax80808080808080
xmax80800008080 <= xmax808000808080
xmax80800008080 <= xmax808008008080
xmax80800008080 <= xmax8080080808080
xmax80800008080 <= xmax808080008080
xmax80800008080 <= xmax8080800808080
xmax80800008080 <= xmax8080808008080
xmax80800008080 <= xmax80808080808080
xmax808000808080 <= xmax8080080808080
xmax808000808080 <= xmax8080800808080
xmax808000808080 <= xmax80808080808080
xmax80800800800 <= xmax808008008080
xmax80800800800 <= xmax808008080800
xmax80800800800 <= xmax8080080808080
xmax80800800800 <= xmax808080800800
xmax80800800800 <= xmax8080808008080
xmax80800800800 <= xmax8080808080800
xmax80800800800 <= xmax80808080808080
xmax808008008080 <= xmax8080080808080
xmax808008008080 <= xmax8080808008080
xmax808008008080 <= xmax80808080808080
xmax808008080800 <= xmax8080080808080
xmax808008080800 <= xmax8080808080800
xmax808008080800 <= xmax80808080808080
xmax8080080808080 <= xmax80808080808080
xmax80808000080 <= xmax808080008080
xmax80808000080 <= xmax808080080080
xmax80808000080 <= xmax8080800808080
xmax80808000080 <= xmax808080800080
xmax80808000080 <= xmax8080808008080
xmax80808000080 <= xmax8080808080080
xmax80808000080 <= xmax80808080808080
xmax808080008080 <= xmax8080800808080
xmax808080008080 <= xmax8080808008080
xmax808080008080 <= xmax80808080808080
xmax808080080080 <= xmax8080800808080
xmax808080080080 <= xmax8080808080080
xmax808080080080 <= xmax80808080808080
xmax8080800808080 <= xmax80808080808080
xmax80808080000 <= xmax808080800080
xmax80808080000 <= xmax808080800800
xmax80808080000 <= xmax8080808008080
xmax80808080000 <= xmax808080808000
xmax80808080000 <= xmax8080808080080
xmax80808080000 <= xmax8080808080800
xmax80808080000 <= xmax80808080808080
xmax808080800080 <= xmax8080808008080
xmax808080800080 <= xmax8080808080080
xmax808080800080 <= xmax80808080808080
xmax808080800800 <= xmax8080808008080
xmax808080800800 <= xmax8080808080800
xmax808080800800 <= xmax80808080808080
xmax8080808008080 <= xmax80808080808080
xmax808080808000 <= xmax8080808080080
xmax808080808000 <= xmax8080808080800
xmax808080808000 <= xmax80808080808080
xmax8080808080080 <= xmax80808080808080
xmax8080808080800 <= xmax80808080808080
}
|
|
|
|
|
