symmetry c3inv equivalences: 1448
RESULT SAT box=(5, 5, 5) skipdir=-1 induced=True iterations=8 chi=1 |V|=73 |E|=132 time=8.0s
edges: [[[0, 0, 3], 0], [[0, 0, 3], 1], [[0, 0, 3], 2], [[0, 0, 4], 0], [[0, 0, 4], 1], [[0, 1, 3], 0], [[0, 1, 3], 1], [[0, 1, 3], 2], [[0, 1, 4], 1], [[0, 2, 3], 0], [[0, 2, 3], 2], [[0, 2, 4], 0], [[0, 2, 4], 1], [[0, 3, 0], 0], [[0, 3, 0], 1], [[0, 3, 0], 2], [[0, 3, 1], 0], [[0, 3, 1], 1], [[0, 3, 1], 2], [[0, 3, 2], 0], [[0, 3, 2], 1], [[0, 3, 4], 0], [[0, 3, 4], 1], [[0, 4, 0], 0], [[0, 4, 0], 2], [[0, 4, 1], 2], [[0, 4, 2], 0], [[0, 4, 2], 2], [[0, 4, 3], 0], [[0, 4, 3], 2], [[0, 4, 4], 0], [[1, 0, 3], 0], [[1, 0, 3], 1], [[1, 0, 3], 2], [[1, 0, 4], 0], [[1, 1, 3], 0], [[1, 1, 3], 1], [[1, 2, 2], 0], [[1, 2, 2], 1], [[1, 2, 2], 2], [[1, 2, 3], 0], [[1, 2, 3], 1], [[1, 2, 3], 2], [[1, 2, 4], 1], [[1, 3, 0], 0], [[1, 3, 0], 1], [[1, 3, 0], 2], [[1, 3, 1], 0], [[1, 3, 1], 2], [[1, 3, 2], 0], [[1, 3, 2], 1], [[1, 3, 2], 2], [[1, 3, 3], 1], [[1, 3, 3], 2], [[1, 3, 4], 1], [[1, 4, 0], 0], [[1, 4, 2], 2], [[1, 4, 3], 2], [[2, 0, 3], 1], [[2, 0, 3], 2], [[2, 0, 4], 0], [[2, 0, 4], 1], [[2, 1, 2], 0], [[2, 1, 2], 1], [[2, 1, 2], 2], [[2, 1, 3], 0], [[2, 1, 3], 1], [[2, 1, 3], 2], [[2, 1, 4], 0], [[2, 2, 1], 0], [[2, 2, 1], 1], [[2, 2, 1], 2], [[2, 2, 2], 0], [[2, 2, 2], 1], [[2, 2, 2], 2], [[2, 3, 0], 1], [[2, 3, 0], 2], [[2, 3, 1], 0], [[2, 3, 1], 1], [[2, 3, 1], 2], [[2, 4, 0], 0], [[2, 4, 0], 2], [[2, 4, 1], 0], [[3, 0, 0], 0], [[3, 0, 0], 1], [[3, 0, 0], 2], [[3, 0, 1], 0], [[3, 0, 1], 1], [[3, 0, 1], 2], [[3, 0, 2], 0], [[3, 0, 2], 1], [[3, 0, 4], 0], [[3, 0, 4], 1], [[3, 1, 0], 0], [[3, 1, 0], 1], [[3, 1, 0], 2], [[3, 1, 1], 1], [[3, 1, 1], 2], [[3, 1, 2], 0], [[3, 1, 2], 1], [[3, 1, 2], 2], [[3, 1, 3], 0], [[3, 1, 3], 2], [[3, 1, 4], 0], [[3, 2, 0], 0], [[3, 2, 0], 2], [[3, 2, 1], 0], [[3, 2, 1], 1], [[3, 2, 1], 2], [[3, 3, 1], 0], [[3, 3, 1], 1], [[3, 4, 0], 0], [[3, 4, 0], 2], [[3, 4, 1], 0], [[4, 0, 0], 1], [[4, 0, 0], 2], [[4, 0, 1], 2], [[4, 0, 2], 1], [[4, 0, 2], 2], [[4, 0, 3], 1], [[4, 0, 3], 2], [[4, 0, 4], 1], [[4, 1, 0], 1], [[4, 1, 2], 2], [[4, 1, 3], 2], [[4, 2, 0], 1], [[4, 2, 0], 2], [[4, 2, 1], 1], [[4, 3, 0], 1], [[4, 3, 0], 2], [[4, 3, 1], 1], [[4, 4, 0], 2]]
