== M1  Proposition 6.1 identities
   primes [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31]: all identities hold: True
== M2  Proposition 7.1 over Q
   a = ['0', '-1', '2', '1/3'], primes [11, 13, 17, 19], y0 = 529087636; v_{p_m}(y0 - a_l) = delta_{ml}: True
   c' = gamma0.c                           : gamma in GL_2(Z), |entries|<=3, with c'(y0) = gamma.c(y0): [[[2, 1], [1, 1]]] (expected [[[2, 1], [1, 1]]]) -> True
   c'' = c^2                               : gamma in GL_2(Z), |entries|<=3, with c'(y0) = gamma.c(y0): [] (expected []) -> True
   c''' = gamma0.c with constant changed   : gamma in GL_2(Z), |entries|<=3, with c'(y0) = gamma.c(y0): [] (expected []) -> True
   (232 matrices tested)
== SUMMARY {'M1': True, 'M2': True}
