/*
www-ATLAS of Group Representations.
G2(4).2 represented as 65 x 65 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,65,[
"01000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000001000000000000000000000000000000000",
"02204000433341203010441444042240332102313323134434143332012313111",
"00000000000000000000000000000000100000000000000000000000000000000",
"44440214441313341242434022241144002200120233321134102404404144201",
"32133243244133310413414442434343314300204421233334432321241142321",
"00000000000000000000000000000000001000000000000000000000000000000",
"44223044124333131140322001414432031034342231101144042244424144204",
"03000240434030411221100333312012401110324143302004010141331420344",
"00000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000",
"30323432032211201142110430031314300044010310113201144403204030210",
"03304314010313242211020323011303211001420003143443413400110212040",
"00000000000000000000000000000000000000010000000000000000000000000",
"04230113300012110214101320124311042130304033044124134020124134022",
"00000000000000000000000000000000000000000100000000000000000000000",
"22211143142443021020032210231201411142302200134311203021121304303",
"00000000000000000000000000000000000000000010000000000000000000000",
"11134140323244433123202021220322001200410144413322301202202322003",
"41142024410324233232131041400111021143343310314040141343113421400",
"00000000000000000000000000000000000000000000100000000000000000000"]);

y:=CambridgeMatrix(1,F,65,[
"00100000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000",
"10041001400000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000",
"14404401300000000000000000000000000000000000000000000000000000000",
"04004400400000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000001000000000000",
"00000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000100000000",
"00000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000010",
"43244430112442341404140314431233130034111122224230303130224010202",
"33201130344333433424334022040402244002211310314033023104344203423",
"00000000000000100000000000000000000000000000000000000000000000000",
"20222021333104243103240302013022121230201432012312221403140221234",
"24211243140341223420404014144303004313311342423010240031121424130",
"24403441323434120424320320110303020130321211023122402223420342242",
"12440103304200324010434313442414314301301002444414313143342443002",
"30110432114201020100404340112323024200101102331004332121244204341",
"11134140323244433123202021220322001200410144413322301202202322003",
"33231112330401240131442433234202404202200433034141400420401332114",
"22213342430002430033340303003001224134211411430334144203001323220",
"03232301010101340324334322204133111112131041444111403144130120313",
"31230130233224443240304243441231124403130321230041012223033341342",
"22332311004042102041322034021134044400201203311444104430244302402",
"10411221432223043243440331232124343041201441314020020013131311422",
"41134002140434203440242140032423412030422343224324021403324313413",
"00000000000000000010000000000000000000000000000000000000000000000",
"30300413424200221341131230003430232144140200341432232144041022343",
"30141232131412424334021200424044421434004311111444233440030244000",
"40140020132312112213104344041104423321031141334320320422033033041",
"14322022120031432213424013220014033030203013331232120232120143433"]);

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