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