% UPPER-COVERS of Lattice 1
(
(0 (2 3 4 5 6 7))
(1 ())
(2 (1))
(3 (1))
(4 (1))
(5 (1))
(6 (1))
(7 (1))
)
% end of upper-covers
% UPPER-COVERS of Lattice 2
(
(0 (2 3 5 7))
(1 ())
(2 (1))
(3 (1))
(4 (1))
(5 (6))
(6 (1))
(7 (4))
)
% end of upper-covers
% UPPER-COVERS of Lattice 3
(
(0 (3 4 7))
(1 ())
(2 (1))
(3 (6))
(4 (6))
(5 (1))
(6 (1))
(7 (2 5))
)
% end of upper-covers
% UPPER-COVERS of Lattice 4
(
(0 (5 7))
(1 ())
(2 (6))
(3 (4))
(4 (1))
(5 (2))
(6 (1))
(7 (3))
)
% end of upper-covers
% UPPER-COVERS of Lattice 5
(
(0 (2 4 7))
(1 ())
(2 (5 6))
(3 (1))
(4 (3 6))
(5 (1))
(6 (1))
(7 (3 5))
)
% end of upper-covers
% upper-covers: translated=5