Integer_matrix loading ...