Lehmer_matrix loading ...