(1) (eps1, eps2, eps3) on A_t, B_t, C_t: [(1, 0, 1), (1, 0, 0), (1, 1, 0)]
    determinant over F_2 = 1 (1 means the three characters are independent on Q, so d(Q) >= 3)
(2) k=3: <T,w> mod 2^k has order 32 ; |P_k| = 32 ; equal: True
(2) k=4: <T,w> mod 2^k has order 256 ; |P_k| = 256 ; equal: True
(2) k=5: <T,w> mod 2^k has order 2048 ; |P_k| = 2048 ; equal: True
(2) k=6: <T,w> mod 2^k has order 16384 ; |P_k| = 16384 ; equal: True
(3) characters (chi_-1, chi_5, b mod 2, c/2 mod 2) of I: {'diag(-1,1)': (1, 0, 0, 0), 'diag(5,1)': (0, 1, 0, 0), 'T': (0, 0, 1, 0), 'L': (0, 0, 0, 1)}
