sz128_sample.txt: q = 2^7; irreducible polynomials of degree 7 for which x and y have certificates: ['0b10000011']
   certificate x: ('BTB', 59, 88, 48, 9, 49)
   certificate y: ('BTB', 52, 55, 50, 11, 23)
   form preserved: x True, y True
   full storage in G: tail 3759, period 52324   [1.5s]
sz128_quot.txt: q = 2^7; irreducible polynomials of degree 7 for which x and y have certificates: ['0b10000011']
   certificate x: ('BTB', 88, 73, 73, 46, 58)
   certificate y: ('B', 0, 0, 33)
   form preserved: x True, y True
   full storage in G: tail 3554, period 52324   [1.1s]
   H-orbit normal forms (invariant under 50 random conjugations: True): tail 3554, period of orbits 412   [1.2s]
sz512_quot.txt: q = 2^9; irreducible polynomials of degree 9 for which x and y have certificates: ['0b1000010001']
   certificate x: ('BTB', 283, 406, 10, 59, 414)
   certificate y: ('B', 0, 0, 150)
   form preserved: x True, y True
   full storage in G: tail 24814, period 148701   [4.4s]
   H-orbit normal forms (invariant under 50 random conjugations: True): tail 24814, period of orbits 291   [5.1s]
sz2048_quot.txt: q = 2^11; irreducible polynomials of degree 11 for which x and y have certificates: ['0b100000000101']
   certificate x: ('BTB', 1411, 53, 1223, 239, 951)
   certificate y: ('B', 0, 0, 553)
   form preserved: x True, y True
   H-orbit normal forms (invariant under 50 random conjugations: True): tail 183810, period of orbits 10555   [5.0s]
sz8192_quot.txt: q = 2^13; irreducible polynomials of degree 13 for which x and y have certificates: ['0b10000000011011']
   certificate x: ('BTB', 1629, 10, 2747, 353, 1756)
   certificate y: ('B', 0, 0, 3585)
   form preserved: x True, y True
   H-orbit normal forms (invariant under 50 random conjugations: True): tail 792500, period of orbits 279404   [26.6s]
sz8_exact_all.txt: 10 witness pairs; moduli with certificates for a tail-62 pair: ['0b1011']
   certificate x: ('BTB', 1, 1, 1, 0, 1)
   certificate y: ('BTB', 4, 3, 0, 2, 5)
   all 10 recorded witnesses re-iterated in G: mismatches/certificate failures 0; largest tail 62   [0.0s]
sz32_exact_all.txt: 34 witness pairs; moduli with certificates for a tail-527 pair: ['0b100101']
   certificate x: ('BTB', 0, 0, 16, 30, 10)
   certificate y: ('BTB', 28, 18, 12, 27, 28)
   all 34 recorded witnesses re-iterated in G: mismatches/certificate failures 0; largest tail 527   [1.1s]
total 40.4s
exit=0
