Alternating_sign_matrix loading ...