  OK   G62: lead data file has the same edge set as referee-2 construction (114 edges)
  OK   G62: 115 certified elementary collapses of X replay under referee-2 code; final cell [((2, 2, 2), ())]
  OK   G62: 21/21 piece certificates replay; all 21 pieces of all sections covered
  OK   H73: lead data file has the same edge set as referee-2 construction (132 edges)
  OK   H73: 132 certified elementary collapses of X replay under referee-2 code; final cell [((2, 2, 2), ())]
  OK   H73: 27/27 piece certificates replay; all 27 pieces of all sections covered
  OK   T12: lead data file has the same edge set as referee-2 construction (19 edges)
  OK   T12: 19 certified elementary collapses of X replay under referee-2 code; final cell [((2, 1, 1), ())]
   T12: non-collapsible piece axis=y alpha=0.0 listed as it is; H_1 != 0: True
   T12: non-collapsible piece axis=y alpha=0.5 listed as it is; H_1 != 0: True
  OK   T12: 11/11 piece certificates replay; all 11 pieces of all sections covered
  OK   G62sub: lead data file has the same edge set as referee-2 construction (450 edges)
  OK   G62sub: 458 certified elementary collapses of X replay under referee-2 code; final cell [((4, 4, 4), ())]
  OK   G62sub: 39/39 piece certificates replay; all 39 pieces of all sections covered
  OK   T12sub: lead data file has the same edge set as referee-2 construction (70 edges)
  OK   T12sub: 70 certified elementary collapses of X replay under referee-2 code; final cell [((4, 2, 2), ())]
   T12sub: non-collapsible piece axis=y alpha=0.0 listed as it is; H_1 != 0: True
   T12sub: non-collapsible piece axis=y alpha=0.5 listed as it is; H_1 != 0: True
   T12sub: non-collapsible piece axis=y alpha=1.0 listed as it is; H_1 != 0: True
   T12sub: non-collapsible piece axis=y alpha=1.5 listed as it is; H_1 != 0: True
  OK   T12sub: 19/19 piece certificates replay; all 19 pieces of all sections covered
min62: counts (62, 114, 54, 1)
  OK   min62 has cell counts (62,114,54,1)
  OK   min62 differs from G62
  OK   min62 is Gamma-invariant
  min62 congruent to G62 under a symmetry of [0,3]^3: True
  OK   min62 has no corner
  OK   min62 acyclic over GF(2), GF(10007)
  OK   all pieces of min62 have chi = 1 (hence collapsible, planar lemma)
  OK   min62: 115 certified elementary collapses of X replay under referee-2 code; final cell [((2, 2, 2), ())]
  OK   min62: 21/21 piece certificates replay; all 21 pieces of all sections covered
  min62 is induced: False ; non-edges: 24
FAILURES: 0
