Small Residuated Lattices of order 5.2.19
list:=[ ];
Computed by
Peter Jipsen
using
GAP
4.1 (this list can be copied and read into GAP)