PASS alpha = 10 mod 16 (even root of X^2+3X-2)
PASS z = 2 mod 8 (even root of X^2+X+2)
PASS the other roots are odd
PASS psi(i)^2 = -1
PASS psi(j)^2 = -3
PASS psi(i)psi(j) = -psi(j)psi(i)
PASS psi(xi_a) = 1 mod 2 (KV (4.8))
PASS psi(xi_a) has trace 0
PASS psi(xi_b) = 1 mod 2 (KV (4.8))
PASS psi(xi_b) has trace 0
PASS psi(xi_c) = 1 mod 2 (KV (4.8))
PASS psi(xi_c) has trace 0
PASS psi(eta_0) = 0 mod 4
PASS psi(eta_1) = 0 mod 4
psi(eta_0)/4 mod 8 = [[2, 0], [6, 7]]   psi(eta_1)/4 mod 8 = [[2, 6], [4, 3]]
PASS psi(eta_0)/4 = [[2,0],[6,7]] mod 8 (KV (6.6))
PASS psi(eta_1)/4 = [[2,6],[4,3]] mod 8 (KV (6.6))
M_a mod 8 = [[3, 4], [4, 5]]   mod 16 = [[11, 4], [12, 5]]
M_b mod 8 = [[5, 2], [0, 3]]   mod 16 = [[13, 2], [0, 3]]
M_c mod 8 = [[7, 1], [0, 1]]   mod 16 = [[7, 9], [8, 9]]
h_0 mod 16 = [[2, 8], [12, 15]]
h_1 mod 16 = [[2, 11], [8, 11]]
PASS M_a = [[3,4],[4,5]] mod 8
PASS M_b = [[5,2],[0,3]] mod 8
PASS M_c = [[7,1],[0,1]] mod 8
PASS h_0 = [[2,8],[12,15]] mod 16
PASS h_1 = [[2,11],[8,11]] mod 16
PASS rho = 1 - alpha = 7 mod 8
PASS det M_a = rho
PASS M_a in Iwahori with lower-left = 0 mod 4
PASS det M_b = rho
PASS M_b in Iwahori with lower-left = 0 mod 4
PASS det M_c = rho
PASS M_c in Iwahori with lower-left = 0 mod 4
PASS v_2(det h_0) = 1
PASS h_0 satisfies Lemma 2.2(b) with s=0: a=2 mod 4, b=s mod 2, c=0 mod 4, d odd
PASS v_2(det h_1) = 1
PASS h_1 satisfies Lemma 2.2(b) with s=1: a=2 mod 4, b=s mod 2, c=0 mod 4, d odd
PASS M_a h_0 = - h_0 M_b (mod 2^204)
PASS M_b h_0 = - h_0 M_c (mod 2^204)
PASS M_c h_0 = + h_1 M_a (mod 2^204)
PASS M_a h_1 = + h_1 M_c (mod 2^204)
PASS M_b h_1 = + h_1 M_b (mod 2^204)
PASS M_c h_1 = + h_0 M_a (mod 2^204)
PASS the six identities match the transitions s(xw) = y s'(w) of the right automaton
normalized (a,b,c) mod 16: {'a': (15, 4, 12), 'b': (15, 6, 0), 'c': (15, 1, 8)}
PASS normalized residues (15,4,12), (15,6,0), (15,1,8)
PASS p_0 is a fixed point of h_0 (mod 2^180)
PASS p_0 = 0 mod 2
PASS c p_0 + d is odd
PASS multiplier of h_0 has valuation exactly 1
PASS tr(h_0)^2/det = lambda + 2 + 1/lambda
PASS 2 tr(h_0)^2 = det(h_0) * (1-alpha)
PASS p_1 is a fixed point of h_1 (mod 2^180)
PASS p_1 = 1 mod 2
PASS c p_1 + d is odd
PASS multiplier of h_1 has valuation exactly 1
PASS tr(h_1)^2/det = lambda + 2 + 1/lambda
PASS 2 tr(h_1)^2 = det(h_1) * (5+alpha)
lambda_1/lambda_0 mod 2^10 = 377   mod 2^16 = 13689
PASS lambda_1/lambda_0 = 377 mod 2^10
PASS lambda_0 != lambda_1
p_0 mod 2^16 = 56600   p_1 mod 2^16 = 32075

SUMMARY r2_2_padic: 0 failed
