Integer_lattice loading ...