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