lattice embedding

Input interpretation

lattice embedding