h0: fixed point p mod 2^16 = 56600, v2(p) = 3, v2(lambda) = 1, lambda/2 mod 2^12 = 4071, v2(tr) = 0, v2(det) = 1
h1: fixed point p mod 2^16 = 32075, v2(p) = 0, v2(lambda) = 1, lambda/2 mod 2^12 = 1839, v2(tr) = 0, v2(det) = 1
h0: identity lambda + 2 + 1/lambda = tr^2/det holds mod 2^190: True
h1: identity lambda + 2 + 1/lambda = tr^2/det holds mod 2^190: True
lambda_1/lambda_0 mod 2^10 = 377 (claim s6: 377); lambda_0 == lambda_1: False
v2(lambda_1/lambda_0 - 1) = 3
tau' isometry on 20000 random pairs at level 22: True
tau' o h0 = h1 o tau' on Z/2^22: True; tau'(p0) = p1 mod 2^22: True
difference quotients q_j mod 16 (j, q_j mod 16, known bits): [(1, 3, 21), (2, 3, 20), (3, 11, 19), (4, 3, 18), (5, 11, 17), (6, 3, 16), (7, 11, 15), (8, 3, 14), (9, 11, 13), (10, 3, 12), (11, 11, 11), (12, 3, 10), (13, 11, 9), (14, 3, 8), (15, 11, 7)]
