/*
www-ATLAS of Group Representations.
2.U6(2) represented as 56 x 56 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00144210330004200000110000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"32010041200440300010000100000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000104444110111440000040110000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000404112110433044000020000110000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00203000302100223340002031024000103000400010000000000000",
"00411141444440111010004040000000011000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"14203202432431123312042030024031003100000010040000000000",
"32302204131011414303043043023024002010200020010000000000",
"00411342222330333020000024000000000001100000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"23223331422244103432014003014033001000210010020000000000",
"23104200032301003123044001043020001000401020000000000000",
"00322334224110311040000040004000000000000110000000000000",
"00000000000000000000000000001000000000000000000000000000",
"32010443211221314434043044014014002000100011010000000000",
"00411444110110400040000000000004000000000000110000000000",
"00000000000000000000000000000001000000000000000000000000",
"14401104342411223110040034041002000000100040031000000000",
"14243413412323113321024042024041001000300010040100000000",
"14134221332240213231000040034043000000000010020010000000",
"32203100341304244022013010003032002000000020030001000000",
"00401303224121331342041021020034004000400000010000100000",
"23124130040200030131002021044042003000400010030000010000",
"32030121243343332422022021011033003000400040020000001000",
"32144313220221320230041033033002004000200020030000000100",
"23203300020301010024042044003012003000100020030000000010",
"41020331021043034104020021040010000000400000000000000001"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"03444400400000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"43230202304000000400003000002000000200000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"02342143104221010433402104102203030101000300200000000000",
"40024104100004000400002000001000000400000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"01013203421211344044400310000103000000010000200000000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000100",
"40022144133312210341304103104401040202000300400000000000",
"00000000000000000000000000000000000000000000000000000010",
"00322104430023030203043022122004001434132024021020200200",
"01012110002022030132302301404300030004000100001000000000",
"00000000000000000000000000000000000000000000000000000001",
"12432401334321423402000321333043200002124144303121333323",
"13410122043144231011400111102133224023340404200220244231",
"41012432341241212010424043002002413210314024440104310312",
"40112203313014133132041234140140312422303303124002402323",
"34112311300314434320431433323000430033443432204030114234",
"02040411300040011014414304301043024332321413022421330332",
"40003012121222332231232120010313442223431433240231332203",
"01021132432222344031403040442044322202324340010204400014",
"14000414344332441124004010013012002200000000030000000000"]);

G<x,y>:=MatrixGroup<56,F|x,y>;
print "Group G is 2.U6(2) < GL(56,GF(5))";