Edge set from JSON == edge set from the 19 orbit reps in RESULT.md: True 114 114
======================================================================
Instance: counterexample_G62.json claimant/out/counterexample_G62.json
|V| = 62  |E| = 114  squares = 54  cubes = 1
cubes: [((1, 1, 1), (0, 1, 2))]
connected: True
 coord 0 range 0 3
 coord 1 range 0 3
 coord 2 range 0 3
Z^3 edges between vertices of G that are NOT in G: 24 -> NOT induced (partial subgraph)
  e.g. [((0, 0, 2), 0), ((0, 1, 1), 1), ((0, 1, 2), 1), ((0, 1, 3), 1), ((0, 2, 0), 2), ((0, 3, 1), 2)]
number of maximal cells: 49  corners (raw definition): []
H_k(X;Z) (betti, torsion): [(1, []), (0, []), (0, []), (0, [])]
chi(X) = 1
X(G) collapses to a point by elementary collapses: True (remaining cells: 1 , steps: 115 )
  dir 0  alpha=0    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 0  alpha=1/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 0  alpha=1    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 0  alpha=3/2  pieces=1 : V10 E10 F1 H=[1, 0, 0] collapsible=True
  dir 0  alpha=2    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 0  alpha=5/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 0  alpha=3    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 1  alpha=0    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 1  alpha=1/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 1  alpha=1    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 1  alpha=3/2  pieces=1 : V10 E10 F1 H=[1, 0, 0] collapsible=True
  dir 1  alpha=2    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 1  alpha=5/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 1  alpha=3    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 2  alpha=0    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 2  alpha=1/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 2  alpha=1    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 2  alpha=3/2  pieces=1 : V10 E10 F1 H=[1, 0, 0] collapsible=True
  dir 2  alpha=2    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 2  alpha=5/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 2  alpha=3    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
ALL PIECES contractible (H=Z in deg 0, 0 else, and collapsible): True
======================================================================
Instance: min62_c3inv.json claimant/out/min62_c3inv.json
|V| = 62  |E| = 114  squares = 54  cubes = 1
cubes: [((1, 1, 1), (0, 1, 2))]
connected: True
 coord 0 range 0 3
 coord 1 range 0 3
 coord 2 range 0 3
Z^3 edges between vertices of G that are NOT in G: 24 -> NOT induced (partial subgraph)
  e.g. [((0, 0, 2), 1), ((0, 1, 1), 2), ((0, 1, 3), 1), ((0, 2, 0), 0), ((0, 2, 1), 2), ((0, 3, 1), 2)]
number of maximal cells: 49  corners (raw definition): []
H_k(X;Z) (betti, torsion): [(1, []), (0, []), (0, []), (0, [])]
chi(X) = 1
X(G) collapses to a point by elementary collapses: True (remaining cells: 1 , steps: 115 )
  dir 0  alpha=0    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 0  alpha=1/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 0  alpha=1    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 0  alpha=3/2  pieces=1 : V10 E10 F1 H=[1, 0, 0] collapsible=True
  dir 0  alpha=2    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 0  alpha=5/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 0  alpha=3    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 1  alpha=0    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 1  alpha=1/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 1  alpha=1    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 1  alpha=3/2  pieces=1 : V10 E10 F1 H=[1, 0, 0] collapsible=True
  dir 1  alpha=2    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 1  alpha=5/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 1  alpha=3    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 2  alpha=0    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
  dir 2  alpha=1/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 2  alpha=1    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 2  alpha=3/2  pieces=1 : V10 E10 F1 H=[1, 0, 0] collapsible=True
  dir 2  alpha=2    pieces=1 : V16 E21 F6 H=[1, 0, 0] collapsible=True
  dir 2  alpha=5/2  pieces=1 : V14 E13 F0 H=[1, 0] collapsible=True
  dir 2  alpha=3    pieces=1 : V15 E17 F3 H=[1, 0, 0] collapsible=True
ALL PIECES contractible (H=Z in deg 0, 0 else, and collapsible): True
