/* www-ATLAS of Group Representations. U5(2) represented as 100 x 100 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,100,[ "0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "1110120022020220210212102112022111120211202000211101212012100200000000001100000201000100000000000000", "0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "1100002111121101211110211221110122002112001112101202210210120010010102000100000221010100000000000000", "1110102210201021001122210111211210022011021221212120012200102012000201001200200021000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "0012111020000022020012022101102102100211221120020022000000100202020200002000200020020000000000000000", "0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "0000002011020112220221020002220212120000102222101112022020000110220202000100100022020200000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "1120220020020022200202022200120010022212100112011120002200100100002102001100200000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "2200000001011121111022010211202200010012211221210020101020100201000221001000200100000200000000000000", "0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "2211102122111202111110020100211120220021100201000200222020200120020001200000000212020200000000000000", "2210120220201020021022101220001211122112020012122111202220100002000102022200100200000200000000000000", "0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "1121200112100210020201101100120002220101200100120002222000000210010000002020000222010000000000000000", "0000011101122122202202020022122012222020022100100122222220200022000000000002200212000200000000000000", "0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "2210120020001010011111000211110112010022021120012102001010200002000200001200020000000100000000000000", "1110121112122211222011210011200122101020201201202202210110200220000001000200002211000100000000000000", "0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "0011122010000022000012122121100102000211221120220022000000100222020200002000200000020000000000000000", "0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "2211121221210122100012221002101100220120002101121010212000200000000001002100100201200000000000000000", "0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "2220212120110012110001021020100012110100210121122102021020000211020201002200000022022200000000000000", "0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "0021221122122221212022211210200210220122210202021100222020200201010002002100000202010220000000000000", "1102011121121102211000121221100012211102101122111112111120000110020202001100100121020202000000000000", "0020221112102201002220011021022211221100001001112111002100000020000001001200100010000000200000000000", "0001012200222011202001112222101001021222022120000011212120200022010200000000100211010200020000000000", "1121200111101112001101221110110020011101110102120210211100000111020002002000100221020000002000000000", "2202022020021012211011220012101121220020002112121221012020200000000102002100200001000200000200000000", "1120211000012020122102200211210001111002001221201011001110000020020201000100100010020100000020000000", "2222200220221022221122122211112221000212011101111221100010100021010001001100200110010100000002000000", "0012121201220110220121100100111212212011000122222102211200100010000202002200000221000000000000200000", "1121222011011110111211101201122120012122211100111200111210200221020000001100000111020100000000020000", "2211100211201111011001111221102012222122221122002102202210200212000202000200000220000100000000002000", "2210101120121002201210220122220111120011002212222111102010100020010102002200100110010100000000000200", "1111121020000022000012122101101102100211221120120022000000100202020200002000200000020000000000000020", "2221200212211221111202210221120012012012001100101102121210100010010000000100000122010100000000000002"]); y:=CambridgeMatrix(1,F,100,[ "0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0222000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "1102010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "1120210010002020022222000120220221010011011210021201001020110001000100002100000000000200000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "2122011121100102010101122002002021020210202010111211102010100220110100001100100110110100000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "0021212221112110012121020000011002211022211011210000122112012022020222120010022002010110222120221012", "2211222010202222000221121221000012020021111011110101011002002220222021010200212200221122002210000202", "1122220211021222021201022220210020111112211010020022110100202020011022020111021001211020221222121002", "2200100111011001020122120011210212122111002122202221022220211001021021210201120221021120011021022102", "0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "2102100211200122022221022212202101001022000210212200000222112102211210202101001001021020002201211110", "0022000110121020210110122102112221020201000200020121102222222222101100111212022201221110121101012221", "1120202112011211121012201002100112112220002020000112001220011022010200021220122120010200100211212110", "1202202210212221202102102012020002210002211222022000220211101020120102220021220111221020211112202212", "1112111110211022012120111122120110111201222010212121111102212121112202120111220112222011220001021221", "1001011220201000200000220110020010121110020112012022120202221220201100122200210011221200002210111201", "1201022012102020210222020202112100111100211110111022201211101021010010000202022201100111210210220100", "1101210111210110011021220002210021211022001000212020222112020022102202120022020002020100022100222011", "1202012011100010122120021211111200200011000211010022201212122020212221102200112121111012110202002121", "2211000111112121020202021002202022222101012110120101011122211211212101211222110110022111002211102002", "0211012210222020101122201100002110211020122001010210100112222221120011210010021021202212012100002012", "0111010222001122101210202012202111112010022110002102220121202002111202011102122112001020022220100220", "1101012201111002022220211112021011011012011002221121020001012102021200102112122002221211012012010122", "0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "1010102021221021011202120012020200202111201212200222112122120210201100211001020022101100202200121220", "1201221122211100201210200010000020010120012210220222121201100002211201021100001020102102120021112200", "2121102122101120120121020121101202201122201000101202200121100002200002011011110010022001222000002120", "0010022100102022212202020001022110112212012022012021001210121122111111000220120210212020022201211002", "0110001001222221200222111000001021112210200211122110010021120100002201000001022010120011010200011100", "2120000201012100022020020202101102200010211011220112220120021122220221012012022000220221000111012001", "0122101212012111212200010210100122200211111212211221020022212220001000221011121112101222110220210011", "0012220201121102010022022012021020121101021110022010012110211100100101210100012210100020220000022021"]); G:=MatrixGroup<100,F|x,y>; print "Group G is U5(2) < GL(100,GF(3))";