/* www-ATLAS of Group Representations. U3(5):2 represented as 84 x 84 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,84,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "121111000010202110011010110020011012220122202122000220011222221211001012202010211200", "020120222010121121122212122012100101000012001022201220110022011021120210112020211021", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "210122212012211022121100121202222121211212121221112212200221011222122021102022211012", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000212222212021102002110012120102002011211220201122210211122020111120001022212111112", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "012222111011010120201210111001121210122020021020001000002011021101022212110220112222", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "212201212120121220221212221010200211101120222110210000210100122222110010201220000120", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "212121020212021112111112211010210020110222212120120002021121201112122021220012111122", "021111121120222112220201220100212222100210022120202200101110002122121022011012112110", "000011120202122221201021220121211210000212102102111112021111111111122121120210112102", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "222002001121220111112112120201110201221201010101121220112021112102211112120021021020", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "011122220102010212201210110021201102200021021110010222202221202210222101120002001101", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "101010121001020022010210112212211012012020122000100222012211200211111112100102122012"]); y:=CambridgeMatrix(1,F,84,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "100212010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "121201020100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "112021011021002002010000000020001000000100000001000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "202022020010100020010002000000002000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "221020101002010000000200000000000000000000200000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "120202212201000100000000000001000000000020000000000020000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "200001221102121020000000220202020022121211202202020100212222102010211210221211222202", "220101202100111021101220012100012000021212201201211022210021201000001011212210121101", "021202102021222200000020222220110000010221122121210200210222001122211120211100201222", "001100011011010102012200111002110101010002221001111010201101120110201021010001110020", "010020122000011120121122112200110012010010222202111001010101211211222100000212100210", "221012022011021010112110101211001222221121110222112222211100222111102122021000120001", "222121121222101020201210212000210001120012211212011111121100022220212122221112121222", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "212122020211012210012210112021122101121002020120210222211021012112020020100001121202", "012111021220201021100201220100121000211202001221012011111210121220210102202100110102", "011000122022001202111111120001222010210222100201112000011210020102202112012122100002", "102211210001120120210001120102001021021210012100022210122012220221212000020000211112", "002100020202020222210210212212211012012010122000100212012211200212111122100102122012", "202012112100020122011121112122012202001012102220112120012001111211110012210022202021", "012020210020211100102011212001222212010020210201221000100222212201012212102211100220", "101111001220111111112010121022002221101000020221211221001101100111220212210221120102", "012222001120221021100122102022111221211110220201222101112102012100012110122110002220", "220200010200211220002220220011102010002221112010102001001211200010001210202221111102", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "211100122112002022121121012021010011020201110022111220010222012222112022220020202110", "200022021212010201110022000000112011121212111000111221020120222220000010101220002002", "221100121020121221020112210000221222221221110021011112210022212100210020220011110101", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000"]); G:=MatrixGroup<84,F|x,y>; print "Group G is U3(5):2 < GL(84,GF(3))";