/*
www-ATLAS of Group Representations.
4b.L3(4) represented as 20 x 20 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,20,[
"01000000000000000000",
"10000000000000000000",
"00001000000000000000",
"00000010000000000000",
"00100000000000000000",
"00000000010000000000",
"00010000000000000000",
"00000000000100000000",
"00000000000010000000",
"00000100000000000000",
"00000000000000100000",
"00000001000000000000",
"00000000100000000000",
"00000000000000000010",
"00000000001000000000",
"30001122040033304444",
"01230241313021231242",
"24240011314212032241",
"00000000000001000000",
"33200203241021332102"]);

y:=CambridgeMatrix(1,F,20,[
"00100000000000000000",
"00010000000000000000",
"00000100000000000000",
"00000001000000000000",
"00000000100000000000",
"10041001400000000000",
"00000000001000000000",
"14404401300000000000",
"04004400400000000000",
"00000000000001000000",
"00000000000000010000",
"00000000000000001000",
"00000000000000000100",
"00000000000000000001",
"43320114114011341414",
"20103402414112020022",
"14122413234433334213",
"10232034210112044212",
"20231432003433212013",
"33242203343012300224"]);

G<x,y>:=MatrixGroup<20,F|x,y>;
print "Group G is 4b.L3(4) < GL(20,GF(5))";