Small Residuated Lattices of order 6.1.71
list:=[
[# 1
[ 1, 2, 3, 4, 5, 6 ],
[ 2, 6, 6, 6, 6, 6 ],
[ 3, 6, 6, 6, 6, 6 ],
[ 4, 6, 6, 6, 6, 6 ],
[ 5, 6, 6, 6, 6, 6 ],
[ 6, 6, 6, 6, 6, 6 ]
],
[# 2
[ 1, 2, 3, 4, 5, 6 ],
[ 2, 3, 3, 6, 6, 6 ],
[ 3, 3, 3, 6, 6, 6 ],
[ 4, 6, 6, 6, 6, 6 ],
[ 5, 6, 6, 6, 6, 6 ],
[ 6, 6, 6, 6, 6, 6 ]
],
[# 3
[ 1, 2, 3, 4, 5, 6 ],
[ 2, 5, 6, 5, 5, 6 ],
[ 3, 6, 6, 6, 6, 6 ],
[ 4, 5, 6, 5, 5, 6 ],
[ 5, 5, 6, 5, 5, 6 ],
[ 6, 6, 6, 6, 6, 6 ]
],
[# 4
[ 1, 2, 3, 4, 5, 6 ],
[ 2, 2, 3, 5, 5, 6 ],
[ 3, 3, 3, 6, 6, 6 ],
[ 4, 5, 6, 5, 5, 6 ],
[ 5, 5, 6, 5, 5, 6 ],
[ 6, 6, 6, 6, 6, 6 ]
]
];
Computed by Peter Jipsen
using GAP 4.1
(this list can be copied and read into GAP)