sol7_2 :=[ Group([[[0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 1], [0, 1, 1, 0, 1, 1, 0], [1, 1, 1, 1, 0, 0, 0], [0, 1, 1, 1, 0, 1, 1]]*Z(2), [[0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0], [1, 1, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 1], [0, 1, 1, 0, 1, 1, 0], [0, 1, 0, 0, 0, 1, 0]]*Z(2)]), Group([[[0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0], [1, 1, 1, 1, 0, 1, 1], [0, 0, 0, 0, 1, 1, 1], [0, 1, 1, 1, 1, 0, 1], [0, 0, 0, 0, 1, 0, 0]]*Z(2), [[0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, 1], [1, 0, 1, 0, 0, 0, 1], [1, 1, 1, 1, 0, 0, 0], [0, 0, 1, 1, 1, 0, 1], [1, 0, 0, 0, 0, 1, 0]]*Z(2)])];