== characteristic 3: p=3, Q = F_3[t]/(t^2+0t+1) of order 9
  B0 = F_3*(0, 1): |H| = 120, H cap U12 = t12(A0), H cap U21 = t21(B0), closed = True, A0*B0*A0 in A0: False
     element orders: {1: 1, 2: 1, 3: 20, 4: 30, 5: 24, 6: 20, 10: 24}
  B0 = F_3*(1, 0): |H| = 24, H cap U12 = t12(A0), H cap U21 = t21(B0), closed = True, A0*B0*A0 in A0: True
  B0 = F_3*(1, 1): |H| = 720, H cap U12 = t12(9 elts), H cap U21 = t21(9 elts), closed = False, A0*B0*A0 in A0: False
  B0 = F_3*(1, 2): |H| = 720, H cap U12 = t12(9 elts), H cap U21 = t21(9 elts), closed = False, A0*B0*A0 in A0: False
== characteristic 2: p=2, Q = F_2[t]/(t^2+1t+1) of order 4
  B0 = F_2*(0, 1): |H| = 10, H cap U12 = t12(A0), H cap U21 = t21(B0), closed = True, A0*B0*A0 in A0: False
     element orders: {1: 1, 2: 5, 5: 4}
  B0 = F_2*(1, 0): |H| = 6, H cap U12 = t12(A0), H cap U21 = t21(B0), closed = True, A0*B0*A0 in A0: True
  B0 = F_2*(1, 1): |H| = 10, H cap U12 = t12(A0), H cap U21 = t21(B0), closed = True, A0*B0*A0 in A0: False
