gap> RequirePackage("carat"); true gap> names := []; [ ] gap> GROUPS := []; [ ] gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(2)^1(6)^1(72)^1/min.321"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P1 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(2)^1(6)^1(72)^1/words.min.321"]); gap> Append(GROUPS,[P1]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(2)^1(6)^1(72)^1/min.322"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P2 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(2)^1(6)^1(72)^1/words.min.322"]); gap> Append(GROUPS,[P2]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(2)^1(6)^1(72)^1/min.323"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P3 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(2)^1(6)^1(72)^1/words.min.323"]); gap> Append(GROUPS,[P3]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(2)^2(24)^1/min.324"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P4 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(2)^2(24)^1/words.min.324"]); gap> Append(GROUPS,[P4]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(2)^2(24)^1/min.325"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P5 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(2)^2(24)^1/words.min.325"]); gap> Append(GROUPS,[P5]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(2)^2(24)^1/min.326"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P6 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(2)^2(24)^1/words.min.326"]); gap> Append(GROUPS,[P6]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(3)^2(6)^2(72)^1/min.327"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P7 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.327"]); gap> Append(GROUPS,[P7]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(3)^2(6)^2(72)^1/min.328"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P8 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.328"]); gap> Append(GROUPS,[P8]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(3)^2(6)^2(72)^1/min.329"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P9 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.329"]); gap> Append(GROUPS,[P9]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(3)^2(6)^2(72)^1/min.330"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P10 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.330"]); gap> Append(GROUPS,[P10]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(6)^2(24)^1/min.331"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P11 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(6)^2(24)^1/words.min.331"]); gap> Append(GROUPS,[P11]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(6)^2(24)^1/min.332"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P12 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(6)^2(24)^1/words.min.332"]); gap> Append(GROUPS,[P12]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(6)^2(24)^1/min.333"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P13 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(6)^2(24)^1/words.min.333"]); gap> Append(GROUPS,[P13]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^2(6)^2(24)^1/min.334"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P14 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^2(6)^2(24)^1/words.min.334"]); gap> Append(GROUPS,[P14]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/min.335"); rec( generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P15 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/words.min.335"]); gap> Append(GROUPS,[P15]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/min.336"); rec( generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P16 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/words.min.336"]); gap> Append(GROUPS,[P16]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/min.337"); rec( generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P17 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/words.min.337"]); gap> Append(GROUPS,[P17]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^3(3)^1(6)^2(24)^1/min.338"); rec( generators := [ [ [ 1, 1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P18 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^3(3)^1(6)^2(24)^1/words.min.338"]); gap> Append(GROUPS,[P18]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^3(3)^1(6)^2(24)^1/min.339"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P19 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^3(3)^1(6)^2(24)^1/words.min.339"]); gap> Append(GROUPS,[P19]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^3(3)^1(6)^2(24)^1/min.340"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P20 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^3(3)^1(6)^2(24)^1/words.min.340"]); gap> Append(GROUPS,[P20]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^4(6)^2(72)^1/min.341"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P21 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^4(6)^2(72)^1/words.min.341"]); gap> Append(GROUPS,[P21]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^4(6)^2(72)^1/min.342"); rec( generators := [ [ [ 1, 1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 12 ) gap> P22 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^4(6)^2(72)^1/words.min.342"]); gap> Append(GROUPS,[P22]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^4(6)^2(72)^1/min.343"); rec( generators := [ [ [ 1, 1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P23 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^4(6)^2(72)^1/words.min.343"]); gap> Append(GROUPS,[P23]); gap> R := CaratReadBravaisFile("ordnung.12/(1)^4(6)^2(72)^1/min.344"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 12 ) gap> P24 := Group(R.generators); gap> Append(names,["ordnung.12/(1)^4(6)^2(72)^1/words.min.344"]); gap> Append(GROUPS,[P24]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^1(6)^1(72)^1/group.1746"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P25 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^1(6)^1(72)^1/words.group.1746"]); gap> Append(GROUPS,[P25]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^2(24)^1/group.1747"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P26 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^2(24)^1/words.group.1747"]); gap> Append(GROUPS,[P26]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^2(24)^1/group.1748"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P27 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^2(24)^1/words.group.1748"]); gap> Append(GROUPS,[P27]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^2(24)^1/group.1749"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P28 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^2(24)^1/words.group.1749"]); gap> Append(GROUPS,[P28]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^2(24)^1/group.1750"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P29 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^2(24)^1/words.group.1750"]); gap> Append(GROUPS,[P29]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^2(24)^1/group.1751"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P30 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^2(24)^1/words.group.1751"]); gap> Append(GROUPS,[P30]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^2(24)^1/group.1752"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P31 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^2(24)^1/words.group.1752"]); gap> Append(GROUPS,[P31]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(2)^2(24)^1/group.1753"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P32 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(2)^2(24)^1/words.group.1753"]); gap> Append(GROUPS,[P32]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(3)^2(6)^2(72)^1/group.1754"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P33 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(3)^2(6)^2(72)^1/words.group.1754"]); gap> Append(GROUPS,[P33]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^2(6)^2(24)^1/group.1755"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P34 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^2(6)^2(24)^1/words.group.1755"]); gap> Append(GROUPS,[P34]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^1(18)^1(72)^1/group.1756"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P35 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^1(18)^1(72)^1/words.group.1756"]); gap> Append(GROUPS,[P35]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^2(24)^1/group.1757"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P36 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1757"]); gap> Append(GROUPS,[P36]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^2(24)^1/group.1758"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P37 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1758"]); gap> Append(GROUPS,[P37]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^2(24)^1/group.1759"); rec( generators := [ [ [ 1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P38 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1759"]); gap> Append(GROUPS,[P38]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^2(24)^1/group.1760"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P39 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1760"]); gap> Append(GROUPS,[P39]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^2(24)^1/group.1761"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P40 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1761"]); gap> Append(GROUPS,[P40]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^2(24)^1/group.1762"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P41 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1762"]); gap> Append(GROUPS,[P41]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^3(3)^1(6)^2(24)^1/group.1763"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P42 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1763"]); gap> Append(GROUPS,[P42]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1764"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P43 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1764"]); gap> Append(GROUPS,[P43]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1765"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P44 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1765"]); gap> Append(GROUPS,[P44]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1766"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P45 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1766"]); gap> Append(GROUPS,[P45]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1767"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P46 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1767"]); gap> Append(GROUPS,[P46]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1768"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P47 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1768"]); gap> Append(GROUPS,[P47]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1769"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P48 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1769"]); gap> Append(GROUPS,[P48]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1770"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P49 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1770"]); gap> Append(GROUPS,[P49]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1771"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P50 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1771"]); gap> Append(GROUPS,[P50]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1772"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P51 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1772"]); gap> Append(GROUPS,[P51]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1773"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P52 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1773"]); gap> Append(GROUPS,[P52]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1774"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P53 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1774"]); gap> Append(GROUPS,[P53]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1775"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P54 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1775"]); gap> Append(GROUPS,[P54]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1776"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P55 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1776"]); gap> Append(GROUPS,[P55]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1777"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P56 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1777"]); gap> Append(GROUPS,[P56]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1778"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P57 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1778"]); gap> Append(GROUPS,[P57]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1779"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 1, -1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P58 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1779"]); gap> Append(GROUPS,[P58]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(2)^1(6)^1(24)^1/group.1780"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P59 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1780"]); gap> Append(GROUPS,[P59]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1781"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P60 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1781"]); gap> Append(GROUPS,[P60]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1782"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P61 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1782"]); gap> Append(GROUPS,[P61]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1783"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P62 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1783"]); gap> Append(GROUPS,[P62]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1784"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P63 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1784"]); gap> Append(GROUPS,[P63]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1785"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 24 ) gap> P64 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1785"]); gap> Append(GROUPS,[P64]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1786"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P65 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1786"]); gap> Append(GROUPS,[P65]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1787"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P66 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1787"]); gap> Append(GROUPS,[P66]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1788"); rec( generators := [ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P67 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1788"]); gap> Append(GROUPS,[P67]); gap> R := CaratReadBravaisFile("ordnung.24/(1)^4(6)^2(72)^1/group.1789"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 24 ) gap> P68 := Group(R.generators); gap> Append(names,["ordnung.24/(1)^4(6)^2(72)^1/words.group.1789"]); gap> Append(GROUPS,[P68]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^2(2)^2(24)^1/group.1790"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 48 ) gap> P69 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^2(2)^2(24)^1/words.group.1790"]); gap> Append(GROUPS,[P69]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^3(3)^1(6)^2(24)^1/group.1791"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P70 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^3(3)^1(6)^2(24)^1/words.group.1791"]); gap> Append(GROUPS,[P70]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1792"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 48 ) gap> P71 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1792"]); gap> Append(GROUPS,[P71]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1793"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 48 ) gap> P72 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1793"]); gap> Append(GROUPS,[P72]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1794"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P73 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1794"]); gap> Append(GROUPS,[P73]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1795"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 48 ) gap> P74 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1795"]); gap> Append(GROUPS,[P74]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1796"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P75 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1796"]); gap> Append(GROUPS,[P75]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1797"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P76 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1797"]); gap> Append(GROUPS,[P76]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1798"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P77 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1798"]); gap> Append(GROUPS,[P77]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1799"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P78 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1799"]); gap> Append(GROUPS,[P78]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1800"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P79 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1800"]); gap> Append(GROUPS,[P79]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1801"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 48 ) gap> P80 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1801"]); gap> Append(GROUPS,[P80]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1802"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 48 ) gap> P81 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1802"]); gap> Append(GROUPS,[P81]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(2)^1(6)^1(24)^1/group.1803"); rec( generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 48 ) gap> P82 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1803"]); gap> Append(GROUPS,[P82]); gap> R := CaratReadBravaisFile("ordnung.48/(1)^4(6)^2(72)^1/group.1804"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ], size := 48 ) gap> P83 := Group(R.generators); gap> Append(names,["ordnung.48/(1)^4(6)^2(72)^1/words.group.1804"]); gap> Append(GROUPS,[P83]); gap> R := CaratReadBravaisFile("ordnung.96/(1)^4(2)^1(6)^1(24)^1/group.1805"); rec( generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ], size := 96 ) gap> P84 := Group(R.generators); gap> Append(names,["ordnung.96/(1)^4(2)^1(6)^1(24)^1/words.group.1805"]); gap> Append(GROUPS,[P84]); gap> Print(GROUPS,"\n"); [ Group( [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ] , [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ] , [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ] , [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 1, -1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ] , [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] , [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ -1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] ]), Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ], [ [ -1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], [ 0, 0, 0, 0, 0, -1 ] ] , [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]) ] gap> Print(names,"\n"); [ "ordnung.12/(1)^2(2)^1(6)^1(72)^1/words.min.321", "ordnung.12/(1)^2(2)^1(6)^1(72)^1/words.min.322", "ordnung.12/(1)^2(2)^1(6)^1(72)^1/words.min.323", "ordnung.12/(1)^2(2)^2(24)^1/words.min.324", "ordnung.12/(1)^2(2)^2(24)^1/words.min.325", "ordnung.12/(1)^2(2)^2(24)^1/words.min.326", "ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.327", "ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.328", "ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.329", "ordnung.12/(1)^2(3)^2(6)^2(72)^1/words.min.330", "ordnung.12/(1)^2(6)^2(24)^1/words.min.331", "ordnung.12/(1)^2(6)^2(24)^1/words.min.332", "ordnung.12/(1)^2(6)^2(24)^1/words.min.333", "ordnung.12/(1)^2(6)^2(24)^1/words.min.334", "ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/words.min.335", "ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/words.min.336", "ordnung.12/(1)^3(3)^1(6)^1(18)^1(72)^1/words.min.337", "ordnung.12/(1)^3(3)^1(6)^2(24)^1/words.min.338", "ordnung.12/(1)^3(3)^1(6)^2(24)^1/words.min.339", "ordnung.12/(1)^3(3)^1(6)^2(24)^1/words.min.340", "ordnung.12/(1)^4(6)^2(72)^1/words.min.341", "ordnung.12/(1)^4(6)^2(72)^1/words.min.342", "ordnung.12/(1)^4(6)^2(72)^1/words.min.343", "ordnung.12/(1)^4(6)^2(72)^1/words.min.344", "ordnung.24/(1)^2(2)^1(6)^1(72)^1/words.group.1746", "ordnung.24/(1)^2(2)^2(24)^1/words.group.1747", "ordnung.24/(1)^2(2)^2(24)^1/words.group.1748", "ordnung.24/(1)^2(2)^2(24)^1/words.group.1749", "ordnung.24/(1)^2(2)^2(24)^1/words.group.1750", "ordnung.24/(1)^2(2)^2(24)^1/words.group.1751", "ordnung.24/(1)^2(2)^2(24)^1/words.group.1752", "ordnung.24/(1)^2(2)^2(24)^1/words.group.1753", "ordnung.24/(1)^2(3)^2(6)^2(72)^1/words.group.1754", "ordnung.24/(1)^2(6)^2(24)^1/words.group.1755", "ordnung.24/(1)^3(3)^1(6)^1(18)^1(72)^1/words.group.1756", "ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1757", "ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1758", "ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1759", "ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1760", "ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1761", "ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1762", "ordnung.24/(1)^3(3)^1(6)^2(24)^1/words.group.1763", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1764", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1765", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1766", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1767", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1768", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1769", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1770", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1771", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1772", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1773", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1774", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1775", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1776", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1777", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1778", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1779", "ordnung.24/(1)^4(2)^1(6)^1(24)^1/words.group.1780", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1781", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1782", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1783", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1784", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1785", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1786", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1787", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1788", "ordnung.24/(1)^4(6)^2(72)^1/words.group.1789", "ordnung.48/(1)^2(2)^2(24)^1/words.group.1790", "ordnung.48/(1)^3(3)^1(6)^2(24)^1/words.group.1791", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1792", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1793", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1794", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1795", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1796", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1797", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1798", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1799", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1800", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1801", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1802", "ordnung.48/(1)^4(2)^1(6)^1(24)^1/words.group.1803", "ordnung.48/(1)^4(6)^2(72)^1/words.group.1804", "ordnung.96/(1)^4(2)^1(6)^1(24)^1/words.group.1805" ] gap> Size(GROUPS); 84 gap> Size(names); 84 gap> Read("../../TGROUPS.GAP"); gap> for i in [1..Size(GROUPS)] do > SubgroupWords(GROUPS[i], names[i]); > od; [ x2^3, x2^4 ] [ x1, x2^4 ] [ x1*x2^3, x2^4 ] [ x2^3, x1 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x2^3, x2^4 ] [ x1, x2^4 ] [ x1*x2^3, x2^4 ] [ x2^3, x1 ] [ x2^3, x2^4 ] [ x1, x2^4 ] [ x1*x2^3, x2^4 ] [ x2^3, x1 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x1*x2^3, x2^2 ] [ x1, x2^2 ] [ x2^3, x2^2 ] [ x1*x2^3, x1 ] [ x1*x2^3, x2^2 ] [ x1, x2^2 ] [ x2^3, x2^2 ] [ x1*x2^3, x1 ] [ x2^3, x2^2 ] [ x1*x2^2, x2^2 ] [ x2*x1, x2^2 ] [ x2^3, x1*x2^2 ] [ x2^3, x2^4 ] [ x1, x2^4 ] [ x1*x2^3, x2^4 ] [ x2^3, x1 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x1*x2^3, x2^2 ] [ x1, x2^2 ] [ x2^3, x2^2 ] [ x1*x2^3, x1 ] [ x2^3, x2^4 ] [ x1, x2^4 ] [ x1*x2^3, x2^4 ] [ x2^3, x1 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x1*x2*x1, x1*x2*x1*x2 ] [ x2*x1*x2, x1*x2*x1*x2 ] [ x1*x2*x1*x2*x1*x2, x1*x2*x1*x2 ] [ x1*x2*x1, x2*x1*x2 ] [ x1*x2*x1, x1*x2*x1*x2 ] [ x2*x1*x2, x1*x2*x1*x2 ] [ x1*x2*x1*x2*x1*x2, x1*x2*x1*x2 ] [ x1*x2*x1, x2*x1*x2 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x2^3, x2^2 ] [ x2^2*x1, x2^2 ] [ x1*x2, x2^2 ] [ x2^3, x2^2*x1 ] [ x1*x2^3, x2^2 ] [ x1, x2^2 ] [ x2^3, x2^2 ] [ x1*x2^3, x1 ] [ x2^3, x2^2 ] [ x1*x2^2, x2^2 ] [ x2*x1, x2^2 ] [ x2^3, x1*x2^2 ] [ x1*x2^3, x2^2 ] [ x1, x2^2 ] [ x2^3, x2^2 ] [ x1*x2^3, x1 ] [ x2^3, x2^2 ] [ x1, x2^2 ] [ x1*x2^3, x2^2 ] [ x2^3, x1 ] [ x1*x2^3, x2^2 ] [ x1, x2^2 ] [ x2^3, x2^2 ] [ x1*x2^3, x1 ] [ x3^3, x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x1*x2, x3^4 ] [ x2, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x2*x3^3, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x3^3, x2, x1 ] [ x3^3, x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x1*x2, x3^4 ] [ x2, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x2*x3^3, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x3^3, x2, x1 ] [ x3^3, x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x1*x2, x3^4 ] [ x2, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x2*x3^3, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x3^3, x2, x1 ] [ x3^3, x1*x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x2, x3^4 ] [ x1*x2, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x1*x2*x3^3, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x3^3, x1*x2, x1 ] [ x3^3, x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x1*x2, x3^4 ] [ x2, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x2*x3^3, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x3^3, x2, x1 ] [ x3^3, x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x1*x2, x3^4 ] [ x2, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x2*x3^3, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x3^3, x2, x1 ] [ x3^3, x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x1*x2, x3^4 ] [ x2, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x2*x3^3, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x3^3, x2, x1 ] [ x1*x3, x2^3, x2^4 ] [ x1*x3, x1, x2^4 ] [ x1*x3, x1*x2^3, x2^4 ] [ x2^3, x1, x2^4 ] [ x3, x2^3, x2^4 ] [ x1*x2^3*x3, x1, x2^4 ] [ x3, x1*x2^3, x2^4 ] [ x1*x3, x2^3, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^4 ] [ x3^3, x1, x3^4 ] [ x3^3, x2, x3^4 ] [ x1*x2, x1, x3^4 ] [ x1*x3^3, x1*x2, x3^4 ] [ x1*x2*x3^3, x1, x3^4 ] [ x1*x3^3, x2, x3^4 ] [ x3^3, x1*x2, x1 ] [ x1*x3, x2^3, x2^2 ] [ x1*x3, x1, x2^2 ] [ x1*x3, x1*x2^3, x2^2 ] [ x2^3, x1, x2^2 ] [ x3, x2^3, x2^2 ] [ x1*x2^3*x3, x1, x2^2 ] [ x3, x1*x2^3, x2^2 ] [ x1*x3, x2^3, x1 ] [ x3^3, x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x2*x3^3, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x3^3, x2, x1 ] [ x1*x2*x3^3, x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x2*x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x2*x3^3, x2, x3^2 ] [ x1*x3^3, x1, x3^2 ] [ x2*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x2, x1 ] [ x3, x1^5*x2, x1^2 ] [ x3, x1^3, x1^2 ] [ x3, x1^2*x2, x1^2 ] [ x1^5*x2, x1^3, x1^2 ] [ x1^3*x3, x1^5*x2, x1^2 ] [ x1^5*x2*x3, x1^3, x1^2 ] [ x1^3*x3, x1^2*x2, x1^2 ] [ x3, x1^5*x2, x1^3 ] [ x3, x2, x1*x3*x1*x3 ] [ x3, x1*x3*x1*x3*x1, x1*x3*x1*x3 ] [ x3, x1*x2*x3*x1*x3*x1, x1*x3*x1*x3 ] [ x2, x1*x3*x1*x3*x1, x1*x3*x1*x3 ] [ x1*x3*x1*x3*x1*x3, x2, x1*x3*x1*x3 ] [ x2*x3, x1*x3*x1*x3*x1, x1*x3*x1*x3 ] [ x1*x3*x1*x3*x1*x3, x1*x2*x3*x1*x3*x1, x1*x3*x1*x3 ] [ x3, x2, x1*x3*x1*x3*x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x2*x3^3, x2, x3^2 ] [ x2*x3^3, x1, x3^2 ] [ x2*x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x1*x2*x3^3, x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x1*x2*x3^3, x1*x2, x3^2 ] [ x2*x3^3, x2, x1 ] [ x3^3, x1*x2*x3^2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2*x3^2, x3^2 ] [ x1*x2*x3^2, x1, x3^2 ] [ x1*x3^3, x1*x2*x3^2, x3^2 ] [ x1*x3*x2, x1, x3^2 ] [ x1*x3^3, x2*x3^2, x3^2 ] [ x3^3, x1*x2*x3^2, x1 ] [ x1*x3^3, x2, x3^2 ] [ x1*x3^3, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x3^3, x1*x2, x3^2 ] [ x1*x3^3, x2, x1 ] [ x3^3, x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x2*x3^3, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x3^3, x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x1*x3*x1*x3*x1*x3, x2, x1*x3*x1*x3 ] [ x1*x3*x1*x3*x1*x3, x1, x1*x3*x1*x3 ] [ x1*x3*x1*x3*x1*x3, x1*x2, x1*x3*x1*x3 ] [ x2, x1, x1*x3*x1*x3 ] [ x3*x1*x3*x1*x3, x2, x1*x3*x1*x3 ] [ x1*x2*x3*x1*x3*x1*x3, x1, x1*x3*x1*x3 ] [ x3*x1*x3*x1*x3, x1*x2, x1*x3*x1*x3 ] [ x1*x3*x1*x3*x1*x3, x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x1*x3, x2^3, x2^2 ] [ x1*x3, x1, x2^2 ] [ x1*x3, x1*x2^3, x2^2 ] [ x2^3, x1, x2^2 ] [ x3, x2^3, x2^2 ] [ x1*x2^3*x3, x1, x2^2 ] [ x3, x1*x2^3, x2^2 ] [ x1*x3, x2^3, x1 ] [ x3^3, x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x2*x3^3, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x3^3, x2, x1 ] [ x3*x1*x3*x1*x3, x2, x1*x3*x1*x3 ] [ x3*x1*x3*x1*x3, x1, x1*x3*x1*x3 ] [ x3*x1*x3*x1*x3, x1*x2, x1*x3*x1*x3 ] [ x2, x1, x1*x3*x1*x3 ] [ x1*x3*x1*x3*x1*x3, x2, x1*x3*x1*x3 ] [ x2*x3*x1*x3*x1*x3, x1, x1*x3*x1*x3 ] [ x1*x3*x1*x3*x1*x3, x1*x2, x1*x3*x1*x3 ] [ x3*x1*x3*x1*x3, x2, x1 ] [ x3^3, x2, x3^2 ] [ x3^3, x1*x3^2, x3^2 ] [ x3^3, x1*x2*x3^2, x3^2 ] [ x2, x1*x3^2, x3^2 ] [ x3*x1, x2, x3^2 ] [ x2*x3^3, x1*x3^2, x3^2 ] [ x3*x1, x1*x2*x3^2, x3^2 ] [ x3^3, x2, x1*x3^2 ] [ x1*x3, x2^3, x2^2 ] [ x1*x3, x1, x2^2 ] [ x1*x3, x1*x2^3, x2^2 ] [ x2^3, x1, x2^2 ] [ x3, x2^3, x2^2 ] [ x1*x2^3*x3, x1, x2^2 ] [ x3, x1*x2^3, x2^2 ] [ x1*x3, x2^3, x1 ] [ x1*x2^3*x3, x2^3, x2^2 ] [ x1*x2^3*x3, x1, x2^2 ] [ x1*x2^3*x3, x1*x2^3, x2^2 ] [ x2^3, x1, x2^2 ] [ x2^3*x3, x2^3, x2^2 ] [ x1*x3, x1, x2^2 ] [ x2^3*x3, x1*x2^3, x2^2 ] [ x1*x2^3*x3, x2^3, x1 ] [ x3^3, x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x2*x3^3, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x3^3, x2, x1 ] [ x1*x2*x3^3, x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x2*x3^3, x1*x2, x3^2 ] [ x2, x1, x3^2 ] [ x2*x3^3, x2, x3^2 ] [ x1*x3^3, x1, x3^2 ] [ x2*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x2, x1 ] [ x1*x3, x2^3, x2^2 ] [ x1*x3, x1, x2^2 ] [ x1*x3, x1*x2^3, x2^2 ] [ x2^3, x1, x2^2 ] [ x3, x2^3, x2^2 ] [ x1*x2^3*x3, x1, x2^2 ] [ x3, x1*x2^3, x2^2 ] [ x1*x3, x2^3, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2, x3^2 ] [ x1*x2, x1, x3^2 ] [ x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3, x1, x3^2 ] [ x1*x3^3, x2, x3^2 ] [ x3^3, x1*x2, x1 ] [ x3^3, x1*x2*x3^2, x3^2 ] [ x3^3, x1, x3^2 ] [ x3^3, x2*x3^2, x3^2 ] [ x1*x2*x3^2, x1, x3^2 ] [ x1*x3^3, x1*x2*x3^2, x3^2 ] [ x1*x3*x2, x1, x3^2 ] [ x1*x3^3, x2*x3^2, x3^2 ] [ x3^3, x1*x2*x3^2, x1 ] [ x3, x2^3, x2^2 ] [ x3, x1, x2^2 ] [ x3, x1*x2^3, x2^2 ] [ x2^3, x1, x2^2 ] [ x1*x3, x2^3, x2^2 ] [ x2^3*x3, x1, x2^2 ] [ x1*x3, x1*x2^3, x2^2 ] [ x3, x2^3, x1 ] [ x4^3, x1*x3, x2, x4^4 ] [ x4^3, x1*x3, x1, x4^4 ] [ x4^3, x1*x3, x1*x2, x4^4 ] [ x4^3, x2, x1, x4^4 ] [ x4^3, x3, x2, x4^4 ] [ x4^3, x1*x2*x3, x1, x4^4 ] [ x4^3, x3, x1*x2, x4^4 ] [ x1*x3, x2, x1, x4^4 ] [ x1*x4^3, x1*x3, x2, x4^4 ] [ x2*x4^3, x1*x3, x1, x4^4 ] [ x1*x4^3, x1*x3, x1*x2, x4^4 ] [ x1*x3*x4^3, x2, x1, x4^4 ] [ x1*x4^3, x3, x2, x4^4 ] [ x2*x4^3, x1*x2*x3, x1, x4^4 ] [ x1*x4^3, x3, x1*x2, x4^4 ] [ x4^3, x1*x3, x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x4^3, x2*x3, x2, x4^2 ] [ x4^3, x2*x3, x1, x4^2 ] [ x4^3, x2*x3, x1*x2, x4^2 ] [ x4^3, x2, x1, x4^2 ] [ x4^3, x1*x2*x3, x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x1*x2*x3, x1*x2, x4^2 ] [ x2*x3, x2, x1, x4^2 ] [ x1*x4^3, x2*x3, x2, x4^2 ] [ x2*x4^3, x2*x3, x1, x4^2 ] [ x1*x4^3, x2*x3, x1*x2, x4^2 ] [ x2*x3*x4^3, x2, x1, x4^2 ] [ x1*x4^3, x1*x2*x3, x2, x4^2 ] [ x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x1*x2*x3, x1*x2, x4^2 ] [ x4^3, x2*x3, x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x4^3, x3, x1*x2, x4^2 ] [ x4^3, x3, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x3, x1*x2, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x3*x4^3, x1*x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x4^3, x3, x1*x2, x1 ] [ x1*x2*x4, x3^3, x2, x3^2 ] [ x1*x2*x4, x3^3, x1, x3^2 ] [ x1*x2*x4, x3^3, x1*x2, x3^2 ] [ x1*x2*x4, x2, x1, x3^2 ] [ x1*x2*x4, x1*x3^3, x2, x3^2 ] [ x1*x2*x4, x2*x3^3, x1, x3^2 ] [ x1*x2*x4, x1*x3^3, x1*x2, x3^2 ] [ x3^3, x2, x1, x3^2 ] [ x2*x4, x3^3, x2, x3^2 ] [ x1*x4, x3^3, x1, x3^2 ] [ x2*x4, x3^3, x1*x2, x3^2 ] [ x1*x2*x3^3*x4, x2, x1, x3^2 ] [ x2*x4, x1*x3^3, x2, x3^2 ] [ x1*x4, x2*x3^3, x1, x3^2 ] [ x2*x4, x1*x3^3, x1*x2, x3^2 ] [ x1*x2*x4, x3^3, x2, x1 ] [ x4^3, x1*x3, x2, x4^2 ] [ x4^3, x1*x3, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x2, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x3, x1*x2, x4^2 ] [ x1*x3, x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x2*x4^3, x1*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x3*x4^3, x2, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x4^3, x1*x3, x2, x1 ] [ x4^3, x1*x3, x2, x4^2 ] [ x4^3, x1*x3, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x4^3, x2, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x3, x1*x2, x4^2 ] [ x1*x3, x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x2*x4^3, x1*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x3*x4^3, x2, x1, x4^2 ] [ x1*x4^3, x3, x2, x4^2 ] [ x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x4^3, x1*x3, x2, x1 ] [ x4^3, x1*x2*x3, x2, x4^2 ] [ x4^3, x1*x2*x3, x1, x4^2 ] [ x4^3, x1*x2*x3, x1*x2, x4^2 ] [ x4^3, x2, x1, x4^2 ] [ x4^3, x2*x3, x2, x4^2 ] [ x4^3, x1*x3, x1, x4^2 ] [ x4^3, x2*x3, x1*x2, x4^2 ] [ x1*x2*x3, x2, x1, x4^2 ] [ x1*x4^3, x1*x2*x3, x2, x4^2 ] [ x2*x4^3, x1*x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x2*x3, x1*x2, x4^2 ] [ x1*x2*x3*x4^3, x2, x1, x4^2 ] [ x1*x4^3, x2*x3, x2, x4^2 ] [ x2*x4^3, x1*x3, x1, x4^2 ] [ x1*x4^3, x2*x3, x1*x2, x4^2 ] [ x4^3, x1*x2*x3, x2, x1 ] [ x1*x4^3, x3, x2, x4^2 ] [ x1*x4^3, x3, x1, x4^2 ] [ x1*x4^3, x3, x1*x2, x4^2 ] [ x1*x4^3, x2, x1, x4^2 ] [ x1*x4^3, x1*x3, x2, x4^2 ] [ x1*x4^3, x2*x3, x1, x4^2 ] [ x1*x4^3, x1*x3, x1*x2, x4^2 ] [ x3, x2, x1, x4^2 ] [ x4^3, x3, x2, x4^2 ] [ x1*x2*x4^3, x3, x1, x4^2 ] [ x4^3, x3, x1*x2, x4^2 ] [ x1*x3*x4^3, x2, x1, x4^2 ] [ x4^3, x1*x3, x2, x4^2 ] [ x1*x2*x4^3, x2*x3, x1, x4^2 ] [ x4^3, x1*x3, x1*x2, x4^2 ] [ x1*x4^3, x3, x2, x1 ] [ x5^3, x2*x4, x1*x3, x2, x5^2 ] [ x5^3, x2*x4, x1*x3, x1, x5^2 ] [ x5^3, x2*x4, x1*x3, x1*x2, x5^2 ] [ x5^3, x2*x4, x2, x1, x5^2 ] [ x5^3, x2*x4, x3, x2, x5^2 ] [ x5^3, x2*x4, x1*x2*x3, x1, x5^2 ] [ x5^3, x2*x4, x3, x1*x2, x5^2 ] [ x5^3, x1*x3, x2, x1, x5^2 ] [ x5^3, x1*x2*x4, x1*x3, x2, x5^2 ] [ x5^3, x4, x1*x3, x1, x5^2 ] [ x5^3, x1*x2*x4, x1*x3, x1*x2, x5^2 ] [ x5^3, x1*x2*x3*x4, x2, x1, x5^2 ] [ x5^3, x1*x2*x4, x3, x2, x5^2 ] [ x5^3, x4, x1*x2*x3, x1, x5^2 ] [ x5^3, x1*x2*x4, x3, x1*x2, x5^2 ] [ x2*x4, x1*x3, x2, x1, x5^2 ] [ x1*x5^3, x2*x4, x1*x3, x2, x5^2 ] [ x2*x5^3, x2*x4, x1*x3, x1, x5^2 ] [ x1*x5^3, x2*x4, x1*x3, x1*x2, x5^2 ] [ x1*x3*x5^3, x2*x4, x2, x1, x5^2 ] [ x1*x5^3, x2*x4, x3, x2, x5^2 ] [ x2*x5^3, x2*x4, x1*x2*x3, x1, x5^2 ] [ x1*x5^3, x2*x4, x3, x1*x2, x5^2 ] [ x2*x4*x5^3, x1*x3, x2, x1, x5^2 ] [ x1*x5^3, x1*x2*x4, x1*x3, x2, x5^2 ] [ x2*x5^3, x4, x1*x3, x1, x5^2 ] [ x1*x5^3, x1*x2*x4, x1*x3, x1*x2, x5^2 ] [ x1*x3*x5^3, x1*x2*x3*x4, x2, x1, x5^2 ] [ x1*x5^3, x1*x2*x4, x3, x2, x5^2 ] [ x2*x5^3, x4, x1*x2*x3, x1, x5^2 ] [ x1*x5^3, x1*x2*x4, x3, x1*x2, x5^2 ] [ x5^3, x2*x4, x1*x3, x2, x1 ] gap> LogTo();