/* www-ATLAS of Group Representations. L3(7) represented as 96 x 96 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,96,[ "220000111021111010120020011101110122021002221111110200101111000000220200210011000120212101100011", "211220201012100020102022012221102201221111202202100100220001012000020112120111211221221012212212", "220001200110011210022001000111020220102211000112012002100220222002210122000121122102012100220122", "021212222100020011201221212100000011101120002101221021002222001221100021021212010010102011110221", "210012100000200102211011221002222221100222100222221200121211012112021210122011221100012120001120", "120210022012002122221200222001000002200220011221112210110012221010100200212012210000012212202101", "011210202221011202221200221112100121000112020021020000221220101201001100120210202011210210220211", "020000220000222211111101012220121110020211221101020020012011002020001221022110112022102121211002", "021010202000200121021220021202202011202102111110002020201001010122200000120201212102112111201101", "101120000101212201001010001202122122002002122221200112200221212101122121221000001101112211021101", "200120120012102121100222220100220110212222120022021100222110222122000021012220212020221020211022", "220121122222200212102000002220120211121100012210121100201110010122012121111011221022122022101011", "101002002102121110120111110210221112212210012101001200202022210022020210210211022200201122011102", "120200022111200121001222112021100201110002000202120010120012111020221212112110201120122122012102", "211201212222022210102102102021101221011111211010102012211200001212100211211001221021100111121022", "212010020022021210212221110112121021122112221020012200112112210111010002002021010100201222222221", "022012020111012011001120110011100202021210000020121110100110210000100121002010020110021122200022", "210222020121201221012021011201201120111211120212112110112002000100201011020210220012112110002011", "222100012222000011220102112111200201102010101120211010112011102021201001112102212022020022212010", "011101201110220101021210000100211200102212022000010000110111212021121012110212200020121012212100", "211021221012210102212220122202001101111011120200100021110020100220021211002201022220212212111202", "121222200110200210020020010100210210220210100211100112101011202101102102222121101002210021202111", "222001011111100021122210222212111101211111012012210012221020112020110220000211222010202001011021", "012001021221012112201011002011202212101101011021001210012221012211221200220200000111222121202002", "011210111210121212022211110012110212111201122021211012102010022012021110210001121022010222101101", "211002200021101110222221101120222000000222210101202212212222110010212211112000100120220022220122", "222002020020102010100002221010001002102000021122102202000211011112002112210111120020010112011211", "012200022022200112020200010002002102020221112000022012110110012212220021121120202102010011211211", "001200201121021211012121111202022222111210202011121210210001020012101212200210122212102110101210", "020211100211000221221011200212112212120112221121122120222210201020202212202202121010210100012020", "000112121110021012202122022200120111000212220012112010012202201102210120021201120000112101020202", "201120011112001222010102210202101010211200200220111110011210120112221101010101221122200100222102", "121212000211201110222100221201020222012121000222110000211220001100100122110222111122212102211221", "020022101000211020011221210121121201121100200000200120020111022022210120202212022111122010212001", "201010210011001122201110101202020021111121111221221220010110010210022210222200001122102201111120", "110220200022120022211000212201220202211222002212212021111022120011001210002011112100100121000002", "221110102101001010002002202111100120000121210111112111112011121201221010121202121022110202211101", "220112111021110201010002211220120100111011012112211022022002022102111111112212122001122122220102", "022122112011100000022120020000201222100020020122122222001002121021001121012010120002121200010210", "002110022111110020101022021102222002010121211210100112111120002212221220202220021021122120210022", "221202002112211102210020122222210000100221011021002202002011122100012110010011122021120010201121", "111212001122012020112221121102112122112021212101022222110122000022020111002020100211001111202110", "120222100000000102122222200202220011002020220222101200112201000121010102011000101100111011002102", "222221110212021102001112210111001211000002022221012020201020102020001121112120201012001022200010", "121022200000100211222222112210110222200001021122101001210210110001210002122011001221112211102200", "101212121122020201020111102020112110001021001022120200021212210210200022022112122202112021002022", "102100212021000221122010122222010101111002200211211020211221110200102012001212121211012212020122", "220212012011100010122101121012212120001020202001112200100120011111110011111102112020102120002100", "101111120122100011201020122002200121201000000210000001202122100000100121102100220100201012101001", "210001011000211200221001020202120222201020020012221110110222202220100200101002210021201121021001", "101102210022212021020202110102121110011022011222200100021200002210210011222202110211210022200012", "120011221222000020211200202022100200220201200112010201010122002112011222010010021110001201022020", "200112202200220122021102201000112010222210222121122001002202120201022211021122111000002100201010", "010010010212011020101120201020002221202111112121212101101222012102122000222112102022100021221120", "012200000102201120112002200201002120011021100101101010110112110222200220120010111111200020000220", "222102010000201011211111222121011102111210102120220100000211111000001222001022211112102022022212", "100211102220201011122111200012222220211201201110011210012210000122210002121200100010010020112212", "012022210002110102210211002222221221021210221010022110220121222011210210011212201210012001210220", "011010200102221202002110010201002111210020102000100000211120000012212221002212201012011001221120", "210111211111201222100211210012210010110010111010122121021211100121010200201111221120020220011211", "021222111100020012111212100110222101110121200011111110220101112122222222221012122110020201221221", "110022211012112210101220002010120111020001122002101020212111202112120110102022222011201010111200", "020002022211110002100012102222112111020012102001101201221110220221011122201102002202202112022021", "220200002110102010221112210001210200021112220200110112100222211211222212101121201022110122221011", "020121200010212200011010210200122002111022010021022012220002022110212211212022002120011222110012", "200012201111010221001012221112122220020020211102021001001122221121120012120020210101121122000202", "020221200120121010000202221110022021002201102201012011000101021000012000021201221112022212001121", "010012110122201202220100222022001221022002210101120202210121222021120102002102221210211200001221", "222002122222102001002102022211101201110222102201121011112202110100021121020112121112212201121212", "112222011100211221110100001122202200101222222110102222112210020111121111120112212110211120121121", "210010110010221021120000211022220001002001100211002221020202020221020121202002112122011021012122", "011211022201002012220211200022211122220002011120200011220010110220102121022200002121111221202202", "022000101221211221201001120022222000202211110110100012200022102110102002010221211120110110121121", "012211020020012211122202221110121010211110020111210012101012200200221122122201222020202112221221", "200120201122021100220120112222102211020212102211220102001221010110020012121200210001222020112011", "021011022110021002102201202102020020012102110111212202112000100100120221021100011210101101220100", "211202020022101201000002221100020200010112122210220221212200201200020211012001022120001212001120", "010022120220220021220020200011220021020011102111200221001211002112022121110021220122012220010222", "110010002220202102220222100112022200022021102111101020112111221110200001201200102112202122222100", "200001122111101200201220121122122211100011220112022120222011222202001000001010022110111010110222", "010120222201022012122211200011001200022211122101001101100111122111121110010222120110201112110212", "121222021101002002011021111101202102022221112121100202002211222212221012221200020102200020110110", "010112201122100120221201121101100110000022211210222111010121210011110020220120211120121210111000", "010110110002000101201000222001121121002210022221111110121120221200212111011112210220010002211121", "001220222021010002012121011021020102201022011101012110012001021011012022121102222002220020100020", "122012100220000012221210221220220100120202011022002211202020010120011112120010101120021220200221", "202221010121011211101001222010100220012012002222201022101201010210202000011012022022202222010012", "001021020110001220220020010100112122120022220202210000102202100111110020022112112012112101100221", "220011122020001210100211020110120102112012101222001021100000122022022002121111020222221022012111", "001212122020120222122001222112000110220122120012221122002102221122220200012101010121200111220010", "002012011110212020211100022210100010210022000210120202200220021122112210022112211010011101012211", "022012200200200021200021001020211012112102112012211110220112220000000021200010121202200021022220", "201221210120210222010120121101111220112000012220200111012221201120211022222011210102112212121101", "202112010202122221102002202020121222021000221221000022111002202102201110220022011010222000221021", "120100012222121020002201211212121212021011021111212220001100202110020210120100211011001020120002", "120202100122022121002211212010100121112120111210010110120120010012000210210021010211112122020220"]); y:=CambridgeMatrix(1,F,96,[ "220102100112210200201122202022102112102101010201120110222121122112200002010220220002202222010021", "011200102021210100212212120111221111200000201012202110002220101122101010122021100220222001222222", "220200100122220021212211201100122211021211202011220020201120012121112021000201120100211001020201", "210122202002211220020012201102221020010000111120200220010210020021102102221021222021010120200120", "222101111210110120110201020011122021220110001022222221210212020011022120101002011110102202002100", "012211121121111101212210101011210121222002021120012100202112111200022022100221122002202101101021", "121222102120020121020022211222120122112000022011201102122102201121211101212111011202011200122202", "012011002012121021222022020121221022020202102100020100212221122101100120211021020011201022120221", "021111211010222221221122201210111102101002110220002120112210012110120102010010210112011201221220", "011112002110000002111022222112102010210212100020100220221020221101010200021212101110112202020122", "012112012011121212122211102010010222112222111011011002021001112211102011002200020220222110002001", "022212020112202212112001222110211121000200201211011211012220001010021221202011112001011021012112", "021012202221012111021010021222101121120010111020020221221202101111122021001221102112222102202110", "002011100202101200200121210020220012222101010212022121012112002101102112102210011222102210222120", "222020020011111002201010100001002200000121212110212120202122120001112120000022111210022001011210", "111222010012201020000010222011200110110122011201022102010012100122222220112102210212100002222112", "210201200211122211011102022121202001112210022020011122110111212122011221022000000110122122020010", "012012222111012010101202202122102000222212112111022020110002011011102102101010201202000210022100", "102002010200111112221220022102111202020221022220011202200001202122222010110212121111211102221112", "202101022010200211022212100210202221000110121021020110002122022121002101012122012102111002210020", "110011202120001212221200221202200012020221201212000221222020120010020102211121101210020200110021", "121100202220220021000222122120201111101101222100220022122222120010102210122100122221212020211210", "112012022002202212120200222110211200021101001020120022010001011112122222002201220210221001222111", "202100121110010202110012201201212010111001112002200101211010111220201002100000001110110120011000", "110212021121122122221001012111202020202201121200211011212110211212211021201000200211211210011122", "020122102222111121110202201111210200020110002122212211022210210211202011200011120100122100210000", "122012020100112221020100110100021121011220210110210020212020000202011121112211100002211211001200", "012022222121121110011122022122201122010121002012211001110210111022121200021011211100002100222100", "002001021102110021200022110200100102211000220211002221112121001101200121212102220202000111120222", "121220021012010022120221000220002122221012021200111101212010020001120121102210221002222100010011", "002212221121120020011020100211001200202222120221201002212020111010210111002100001201020221202111", "221122211222001122001222012202111120121022000102211202112021110121012010011202221102122210002120", "012000110202212210001010211010102202000001220220021022111011210021002020212120121222002020220212", "022202022101111222122111201101221012220200221221001010200201100210222112121022122010111121122021", "222121002210221220010021012111010200012020100010012220011221012012011120201000101002022200002000", "112102120022210102101122110120022102212110120212022110102001102122222210020100101220202011201010", "102211001000112202011212220202222200120021102022112111122201111002000002002012221211100120201101", "020000020100220001211001201002002111201002111101200220102100202011112120000011101101010002201201", "221221110001022101110001002221011002011001210112120220201202022211100100012211110221000012001200", "021200102111201020121002002222100010111021010022010112110100000122110202010121110221021100112002", "000220010121012121202110022101001122012122011102100111020200111012202020110222010002202110222111", "002022210100221102022010011110020122020002021120101022212011211010202112100201102002002112101102", "211112110000012010101222020201111212020122121010102222101202221012220202101212111101110011202000", "121011122121201221121220021200101111210202122202120122221020220111200012220222120221002121002000", "000002021121101101112010211101102010102010020221101200002121112110200021201201000110112221020100", "102002021012020101120122012011212212200200122002001110112222220001102022111021101210110211121110", "012202202120010222020012000221011022111101121001202011222002012211222111012202110200220210110112", "111012111212002121012001201212201202020212221112221012222120200012202210121220111100102022021012", "221212102010210111022102112121112111210220111101110110211021200100202020012212211202212001121010", "101221220021110222210012022212121220022211202101120121211121010212202020121100201110112010121001", "210212212112120220201002112011111010221201111000222121000101202021100112012201121101212211010120", "220211120211000202022202201012102021102212121102102222202000201222211000120121101121001222011000", "122112121010121001122121220111020012210202220121221200122210220221020120212000210102011000100120", "012201202110102101122210111012200002110221201000202001221200010201100011221022122111001212122100", "111101110211221020111120122001111201020020021001112220001020112112211110220222122101020220210200", "202020200122011120101001221010010120211022111000012210110212101220220020101002212202202021021121", "110011000211001210220220002120110021001221002210220202211002110001222012110102021021112022201201", "112101220020220200102111202222210220100120100011210022212100102222202200222120120210011212122102", "100222002221112200222000000111112221010200200200212202122022002100210110221022211221102011112110", "101222001222110220012022120211201012121211222221001022122122000211201020110111020012112021101002", "101101100111021000001220111022001222221210012021101002202002211122121122100022121020221010201121", "010002222011011211211100110210021001220000222201002121000112201002201020010210122022001022021102", "022211120010211111212221101022002021102101101100021002211201211122022112111100020002200000022112", "012112112121122102012211220200200212211020222200110000022211221200210120202012022201211110001100", "210210110002212210110212102122221012121211121101101200010122220202021201102000210002211202012101", "201121121112010120102011020201012200101210012010200022200102000221121201201221102122011010202201", "121221202100121202212110202222000002112001201111111121210102122010000021221011111222022102221010", "000120021020120201112020011201102010101221202002111022121100010211110122212222121002100011002121", "010010120211101121122210220120122112102220102012202000011202000101110211202220012020010010020120", "120122100120012222212101120211222012021022110111200101220111112112002010222020021011002111112002", "100111210122021200221010111120110201000021210001002022111010201200021201102211012112120000121100", "221221202101221020122002111000101121002211101011201120010100212212202110120120201002021012101121", "010100201010011110221021101220100200001222122200010112211012222000000022021002220220100021102120", "210002010212101112210202000002121000211111200120122020011200012002020011212212020220210222000100", "010101101111021121220020001111202001021221201111000221120120110110022001220011012210011101220002", "210212122111110022010221210010021002012101210220201200100221012200010121102202221021202202021212", "212010112222120220001201211210111222121100200220221202221222002120010210220221222222200120221101", "100122122101210102111202110101012011121010201111202111120012201201021001222122212102210001212211", "210201221021220102121101011122002011021021001100020011122100220001210012101021110120110112000021", "120102100021212000102120100011120220111211110202020222220022211011020220122011101202001221210002", "021021121220000012021020200122102222101022212220122120111212012200102220000222221020000210000001", "212022222210122102121022200202100220111001221212220221001222120101200020120022102022212210201000", "002000220220000102001212222211001212020202121010201222020202000222220120021210201012110101010101", "222020002210010112110110100222012021212010212001110221000001112120001102010211022222200102020202", "020012211200220202220011011000202101222100202201120202021102111000102021012000212112121120112012", "111112221210002222111112120221100122122222100021000021220022121110002110021202201100201111012111", "102101102102202112122211012121220111200202201000102011101212111221122222101211110010012100222101", "012020102010211001220220221100210000102110022100021020001211120222210221221011220211001000002021", "120011100112000201222220102222021102111202221002112102001212022200122220000212200021020011122200", "002111011200221101002221002022021200111001022121102222120201022212210021211120011111211201212100", "022201202110211002121001022002222112201012211000001110211100202102211000212221002121102122110220", "022110012122002022100011211011100001101010001011110201221022112210222121000111120011212201201211", "210200221220222112112201212200002202020102020221002120111201110200212000122202011212021002012120", "012120120000221102102022202112020101022110021212202022211202210022222210111210020211211102110102", "100102000200201022221221001110122110102011222001221210210022212012201112101110002001110110201021", "022111100101201100111122120021002201021121100021011012010202102212002112112212011221000002012210"]); G:=MatrixGroup<96,F|x,y>; print "Group G is L3(7) < GL(96,GF(3))";