Small Residuated Lattices of order 5.1.17

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

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