[2, [Mat(-1)]]
78382080
78382080
78382080
78382080
78382080
78382080
339738624
339738624
339738624
339738624
OK
OK
OK
OK
OK
3840
OK
3840
OK
OK
[0, 0]
"Group([[-1, 0, 0, 0], [0, -1, 0, 0], [0, 0, -1, 0], [0, 0, 0, -1]], [[0, 0,
 0, 1], [0, 1, 1, 0], [0, -1, 0, 0], [1, -1, -1, 0]], [[-1, 0, 0, 0], [0, 0,
 -1, 1], [-1, 0, 1, 0], [-1, 1, 1, 0]])"
"MatrixGroup<4, Integers() |[[-1, 0, 0, 0], [0, -1, 0, 0], [0, 0, -1, 0], [0
, 0, 0, -1]], [[0, 0, 0, 1], [0, 1, 1, 0], [0, -1, 0, 0], [1, -1, -1, 0]], [
[-1, 0, 0, 0], [0, 0, -1, 1], [-1, 0, 1, 0], [-1, 1, 1, 0]]>"
[12, 4]
[12, 4]
[12, 4]
Total time spent: 1040
