run2_unitary.py: Proposition 3.1(c) with explicit unitary matrices
  Q8: |G|=8, 5 irreducible unitary representations certified, |Aut|=24, pairs (a, chi) with chi o a = conj chi: 72 (non-integral iota: 8), max |tr(U conj U)/d - iota| = 9.77e-15
  D10: |G|=10, 4 irreducible unitary representations certified, |Aut|=20, pairs (a, chi) with chi o a = conj chi: 60 (non-integral iota: 8), max |tr(U conj U)/d - iota| = 3.51e-14
  Q16: |G|=16, 7 irreducible unitary representations certified, |Aut|=32, pairs (a, chi) with chi o a = conj chi: 160 (non-integral iota: 8), max |tr(U conj U)/d - iota| = 8.77e-15
  A4: |G|=12, 4 irreducible unitary representations certified, |Aut|=24, pairs (a, chi) with chi o a = conj chi: 72 (non-integral iota: 6), max |tr(U conj U)/d - iota| = 1.73e-15
  S4: |G|=24, 5 irreducible unitary representations certified, |Aut|=24, pairs (a, chi) with chi o a = conj chi: 120 (non-integral iota: 20), max |tr(U conj U)/d - iota| = 3.11e-15
  D14: |G|=14, 5 irreducible unitary representations certified, |Aut|=42, pairs (a, chi) with chi o a = conj chi: 126 (non-integral iota: 18), max |tr(U conj U)/d - iota| = 2.11e-15
  SL(2,3): |G|=24, 7 irreducible unitary representations certified, |Aut|=24, pairs (a, chi) with chi o a = conj chi: 120 (non-integral iota: 14), max |tr(U conj U)/d - iota| = 3.55e-15
  C7x|C3: |G|=21, 5 irreducible unitary representations certified, |Aut|=42, pairs (a, chi) with chi o a = conj chi: 84 (non-integral iota: 0), max |tr(U conj U)/d - iota| = 4.58e-15
  AGL(1,5): |G|=20, 5 irreducible unitary representations certified, |Aut|=20, pairs (a, chi) with chi o a = conj chi: 60 (non-integral iota: 4), max |tr(U conj U)/d - iota| = 4.11e-15
  Heis(3): |G|=27, 11 irreducible unitary representations certified, |Aut|=432, pairs (a, chi) with chi o a = conj chi: 1296 (non-integral iota: 216), max |tr(U conj U)/d - iota| = 4.55e-15
  C3^2x|C4: |G|=36, 6 irreducible unitary representations certified, |Aut|=144, pairs (a, chi) with chi o a = conj chi: 576 (non-integral iota: 64), max |tr(U conj U)/d - iota| = 6.11e-15
  M16: |G|=16, 10 irreducible unitary representations certified, |Aut|=16, pairs (a, chi) with chi o a = conj chi: 96 (non-integral iota: 0), max |tr(U conj U)/d - iota| = 2.44e-15
  C11x|C5: |G|=55, 7 irreducible unitary representations certified, |Aut|=110, pairs (a, chi) with chi o a = conj chi: 220 (non-integral iota: 0), max |tr(U conj U)/d - iota| = 5.77e-15
  A5: |G|=60, 5 irreducible unitary representations certified, |Aut|=120, pairs (a, chi) with chi o a = conj chi: 480 (non-integral iota: 182), max |tr(U conj U)/d - iota| = 5.47e-15
  GL(2,3): |G|=48, 8 irreducible unitary representations certified, |Aut|=48, pairs (a, chi) with chi o a = conj chi: 336 (non-integral iota: 72), max |tr(U conj U)/d - iota| = 5.44e-15
  C2xQ8: |G|=16, 10 irreducible unitary representations certified, |Aut|=192, pairs (a, chi) with chi o a = conj chi: 768 (non-integral iota: 64), max |tr(U conj U)/d - iota| = 3.11e-15
  GL(3,2): |G|=168, 6 irreducible unitary representations certified, |Aut|=336, pairs (a, chi) with chi o a = conj chi: 1680 (non-integral iota: 656), max |tr(U conj U)/d - iota| = 9.71e-15
total pairs 6326, non-integral 1340, worst deviation 3.51e-14
ALL CHECKS PASSED
