/*
www-ATLAS of Group Representations.
Co2 represented as 23 x 23 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,23,[
"01221221011100221211120",
"02011121200101120020020",
"01211222000002120222022",
"11200010201021122202020",
"22111110100101211120100",
"12202100221110020122222",
"02111111112021220201021",
"01111110000002001022022",
"11002022102110000021110",
"01011210102111011020002",
"21112012002200211221101",
"10202022100020211122201",
"21020110210020101221211",
"21212001212002012210121",
"10202212222201010000001",
"22001222002110110021000",
"22212122010112100212210",
"10002222210110102020001",
"12021120120122021210122",
"20220122002201121220022",
"10202212222201110000201",
"10221002220020110022111",
"00111220020120022101212"]);

y:=CambridgeMatrix(1,F,23,[
"21000122210220111212210",
"01111211002112012101122",
"00202200011120100200102",
"12012211200111211021200",
"00111111102210110000222",
"00221212021002000020222",
"01110101020201200220100",
"12222011110121212011212",
"11000102020001011202222",
"12012120001111211200222",
"01121220110101221220210",
"12020122121101000122121",
"20121202100201110220000",
"21210100122112221202122",
"21000211110212202110111",
"10111202011022212122201",
"10211202111221011100021",
"21100021021021010110022",
"11022101122000221200221",
"10202011110012121010211",
"00202221221110010111110",
"02022201200222021211212",
"21002010121202020221002"]);

G<x,y>:=MatrixGroup<23,F|x,y>;
print "Group G is Co2 < GL(23,GF(3))";