build_galois_lattice.lp 602 Bytes