=== python3 indep.py counterexample_G62.json
cells per dim: [62, 114, 54, 1] chi = 1
|V| = 62 |E| = 114 G connected: True
adjacent vertex pairs of Z^3 in V without an edge of G (non-induced): 24
number of maximal cells: 49 by dim: [0, 0, 48, 1]
corners: []
Betti over Q [1, 0, 0, 0]
Betti over GF(2) [1, 0, 0, 0]
Betti over GF(3) [1, 0, 0, 0]
collapse: smallest residue after greedy elementary collapses: 1 cells (collapsible to a point)
axis 0 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1)]
axis 1 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1)]
axis 2 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1)]
pieces with nonzero H1 or H2: []
condition (3): (#half-integer pieces violating, #total) per axis: {0: (2, 3), 1: (2, 3), 2: (2, 3)}
sigma invariant: True
iota invariant: True
=== python3 indep.py min62_c3inv.json
cells per dim: [62, 114, 54, 1] chi = 1
|V| = 62 |E| = 114 G connected: True
adjacent vertex pairs of Z^3 in V without an edge of G (non-induced): 24
number of maximal cells: 49 by dim: [0, 0, 48, 1]
corners: []
Betti over Q [1, 0, 0, 0]
Betti over GF(2) [1, 0, 0, 0]
Betti over GF(3) [1, 0, 0, 0]
collapse: smallest residue after greedy elementary collapses: 1 cells (collapsible to a point)
axis 0 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1)]
axis 1 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1)]
axis 2 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1)]
pieces with nonzero H1 or H2: []
condition (3): (#half-integer pieces violating, #total) per axis: {0: (2, 3), 1: (2, 3), 2: (2, 3)}
sigma invariant: True
iota invariant: True
=== python3 indep.py H73.json
cells per dim: [73, 132, 60, 0] chi = 1
|V| = 73 |E| = 132 G connected: True
adjacent vertex pairs of Z^3 in V without an edge of G (non-induced): 0
number of maximal cells: 60 by dim: [0, 0, 60, 0]
corners: []
Betti over Q [1, 0, 0, 0]
Betti over GF(2) [1, 0, 0, 0]
Betti over GF(3) [1, 0, 0, 0]
collapse: smallest residue after greedy elementary collapses: 1 cells (collapsible to a point)
axis 0 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1), (4.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1), (3.5, 1)]
axis 1 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1), (4.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1), (3.5, 1)]
axis 2 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1), (3.0, 1), (4.0, 1)]  half: [(0.5, 1), (1.5, 1), (2.5, 1), (3.5, 1)]
pieces with nonzero H1 or H2: []
condition (3): (#half-integer pieces violating, #total) per axis: {0: (2, 4), 1: (2, 4), 2: (2, 4)}
sigma invariant: True
iota invariant: False
=== python3 indep.py trough_t2.json
cells per dim: [12, 19, 8, 0] chi = 1
|V| = 12 |E| = 19 G connected: True
adjacent vertex pairs of Z^3 in V without an edge of G (non-induced): 1
number of maximal cells: 8 by dim: [0, 0, 8, 0]
corners: []
Betti over Q [1, 0, 0, 0]
Betti over GF(2) [1, 0, 0, 0]
Betti over GF(3) [1, 0, 0, 0]
collapse: smallest residue after greedy elementary collapses: 1 cells (collapsible to a point)
axis 0 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1), (2.0, 1)]  half: [(0.5, 1), (1.5, 1)]
axis 1 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1)]  half: [(0.5, 1)]
axis 2 integer sections (alpha,#pieces): [(0.0, 1), (1.0, 1)]  half: [(0.5, 1)]
pieces with nonzero H1 or H2: [(1, 0.0, 0, 1, 0), (1, 0.5, 0, 1, 0)]
condition (3): (#half-integer pieces violating, #total) per axis: {0: (2, 2), 1: (1, 1), 2: (1, 1)}
sigma invariant: False
iota invariant: False
