gens:=[ Matrix(GF(3),6,6,[2, 2, 1, 0, 2, 1, 0, 1, 1, 0, 1, 1, 0, 0, 2, 0, 2, 0, 0, 2, 1, 2, 2, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 2, 2 ]), Matrix(GF(3),6,6,[2, 0, 2, 2, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 2, 1, 2, 0, 2, 1, 2, 1, 0, 1, 2, 1, 0, 2, 2, 0, 1, 1, 0, 2, 2 ]), Matrix(GF(3),6,6,[0, 1, 0, 0, 2, 1, 0, 1, 0, 0, 2, 0, 2, 1, 1, 0, 2, 1, 2, 0, 2, 2, 1, 1, 0, 0, 0, 0, 2, 0, 1, 2, 0, 0, 0, 0 ]) ]; NG:=PermutationGroup<22|(1, 3)(4, 16)(6, 13)(7, 8)(9, 14)(12, 22)(15, 19)(18, 20),(2, 8, 12, 21)(3, 4, 17, 18)(5, 15, 9, 19)(6, 16, 20, 13)(7, 22)(10, 14), (4, 6)(5, 21)(7, 14)(8, 9)(13, 16)(15, 19)(18, 20)>; V231_2:=GModule(NG,gens); print("Green correspondent V231_2 of the simple M22:2-module D231_2 in NG (normalizer of vertex P in M22:2) over GF(3)");