Small Residuated Lattices of order 4.2.7

list:=[
[# 1 strictly simple
[ 1, 1, 3, 4 ],
[ 1, 2, 3, 4 ],
[ 3, 3, 4, 4 ],
[ 4, 4, 4, 4 ]
],
[# 2
[ 1, 1, 3, 4 ],
[ 1, 2, 3, 4 ],
[ 3, 3, 3, 4 ],
[ 4, 4, 4, 4 ]
],
[# 3
[ 1, 1, 1, 4 ],
[ 1, 2, 3, 4 ],
[ 3, 3, 3, 4 ],
[ 4, 4, 4, 4 ]
],
[# 4
[ 1, 1, 3, 4 ],
[ 1, 2, 3, 4 ],
[ 1, 3, 3, 4 ],
[ 4, 4, 4, 4 ]
],
[# 5
[ 1, 1, 1, 4 ],
[ 1, 2, 3, 4 ],
[ 1, 3, 3, 4 ],
[ 4, 4, 4, 4 ]
]
];

Computed by Peter Jipsen using GAP 4.1 (this list can be copied and read into GAP)