Small Residuated Lattices of order 2.1.1
list:=[ [# 1 strictly simple [ 1, 2 ], [ 2, 2 ] ] ];
Computed by
Peter Jipsen
using
GAP
4.1 (this list can be copied and read into GAP)