S1 A H0 = -H0 B: True
S1 B H0 = -H0 C: True
S1 C H0 = H1 A: True
S1 A H1 = H1 C: True
S1 B H1 = H1 B: True
S1 C H1 = H0 A: True
trd(A)=0: True; nrd(A)=rho: True
trd(B)=0: True; nrd(B)=rho: True
trd(C)=0: True; nrd(C)=rho: True
trd(H0) = -6 alpha: True; trd(H1) = -12: True
nrd(H0) = 36(rho+1): True; nrd(H1) = 36(rho+1): True
control A H0 = +H0 B (must be False): False
control B H0 = H0 B (must be False): False
I^2=-1: True; J^2=-3: True; IJ=-JI: True
six identities as matrices over Q(alpha,z): [True, True, True, True, True, True]
alpha mod 16 = 10, z mod 8 = 2; (2alpha+3)^2 = 17 mod 2^PREC: True
psi(A): entry valuations [0, 3, 1, 0], entries mod 8 [3, 0, 6, 5], v2(det) = 0, det/2^v mod 8 = 7
psi(B): entry valuations [0, 2, 3, 0], entries mod 8 [5, 4, 0, 3], v2(det) = 0, det/2^v mod 8 = 7
psi(C): entry valuations [0, 1, 2, 0], entries mod 8 [7, 2, 4, 1], v2(det) = 0, det/2^v mod 8 = 7
psi(H0/4): entry valuations [1, 4, 1, 0], entries mod 8 [2, 0, 6, 7], v2(det) = 1, det/2^v mod 8 = 7
psi(H1/4): entry valuations [1, 1, 2, 0], entries mod 8 [2, 6, 4, 3], v2(det) = 1, det/2^v mod 8 = 7
t-coord A: a,b,c,d mod 16 = [11, 4, 12, 5], v2(c) = 2, v2(det) = 0
t-coord B: a,b,c,d mod 16 = [13, 2, 0, 3], v2(c) = 4, v2(det) = 0
t-coord C: a,b,c,d mod 16 = [7, 9, 8, 9], v2(c) = 3, v2(det) = 0
t-coord h0: a,b,c,d mod 16 = [2, 8, 12, 15], v2(c) = 2, v2(det) = 1
t-coord h1: a,b,c,d mod 16 = [2, 11, 8, 11], v2(c) = 3, v2(det) = 1
n=1: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=2: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=3: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=4: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=5: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=6: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=7: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=8: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=9: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=10: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=11: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=12: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=13: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=14: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=15: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
n=16: kappa bijective True, prefix-compatible True, kappa o s = S_t o kappa {'a': True, 'b': True, 'c': True}
