/* www-ATLAS of Group Representations. 4b.L3(4):2a represented as 120 x 120 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,120,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000020000010000000200000000100000200000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000010000010000000200000000200000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "002210001200002201120220021121112001010020202111122012122220010112112020111121110200220001002222020212200020112010111021", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "001212000100010000000000000000200000100000020000000010000000000000000000000000000000000020000000000000000000000000000000", "010200202020020011001201200202100022012122211022002121120202201200102001120101210212210112210102111000112212010222011222", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "120201000100222100212012022012020102222200220210201120110210112202001201102212122121222111021011020221200221222201102211", "201011010022101121101020021110020101212220212110212200112102122220111010212002202011201000102010210001112101111010020102", "110020102212210120212122012111010120211210000221202220122120012012010211220000002201110010010210022200121012211101100001", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "111111022121110212110121101210110121200220021201112102011120022121012210121220211110021020201011212100021020220202220020", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "201202212100122102200011110111101112120201111000202021112112102001101221110020022000012102121021122001121001210100212002", "000022200022000100112102111010101011200220221121122100101102201212220001121110210200220221110112011101111222212122000121", "201000001211210012011011022202010220221112110000011222010010001100100120201112100012112100000021221110001012001200202111", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "221022002110010211002022121010210001201222211100002101010122211010020110212101221220022202121110020010011212001212200212", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "001122000002000010000000000000200000200000010000000010000000000000000000000000000000000000000000000000010000000000000000", "111000102001202022112100020100100020211012011211110112102000100121112011121111111012111202200101002122102000011002112022", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "010121021221002122110111212200002020022020120011212110110000200122211122001220201001211202120121011210221021211110000011", "220102110001000022001021001122112101220001211221121111211222000200120212021101121121021221200001210221022000200002200202", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "120222122202210022200112222201010011202200201110110222200122111211221121210111212200011201110011100220121222102102210220", "201000201200202212002122111211000100010001011222000202122221021100112022202212111212101212001210021122220021010202020222", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000110201021210220100021202000101221011111110021011002122012121200222201020100111110112000000221002102012021101201211220", "112222210000222220100011111102011011010001202221220101002111220221202010021110111002221011200012012002112122100200111102", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "001200101001020011100210022112111121200201122122002111102122210002212201210212000120212001111120100010222112001021020022", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "121120012202111100222111002111120010211102102000221202022020221221002101020200201201001200210122120000112100210120020121", "012120121222220110222121220201220110212122110211010220211220211211110010121001012012211001222002020112010000211111212212"]); y:=CambridgeMatrix(1,F,120,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "211200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "222200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "010012000000000000000200010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "122000000000001000000000000000000000001000000002000000000000000000000000000000000000000000000000000000000000000000000000", "100022000000000000000100010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "220200000000000001000000000000000000002000000002000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "021102010112012202012120001100101002210101010212121211121220211200220112110221002201121011111212111221200221120101211021", "011222000011202111000220111021222101211200111221011022222112122210002012100010101101101011200102202202201021022122120210", "021012111200212220220001100012212200101222220022201212202121120100011112110000111200111001202012202102002012122100120012", "222112001110000110010210010122211121121111012120212202121102110002100111112110221201122000102102121001201110001221211221", "110102212011020210021001022021021000202012120001010112220010222000202011111001101112110102111102022011202020121202010010", "200011122120210012111222001112121000201221121122201112201202112120221000112111211001211222000101110202112122001001002201", "221000021221110102201020221220000100122212120012020200122212010020001002102211101202210120012120000001200110222121112012", "222200021020121210220012012102000211020220122120012011122101222200102200120221012222112200002120102212111012100102110012", "112001211012102221211112101202012001102221121021222221211100200111002101222201000020012111200211102102112012110012012211", "211200002012201212212201021220100111221121221022101101211111221202122202001102221101211202022020211200202111120100112000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "012122210111120000110212220111100121111110001110221022202022121210120120022100001220020102211010200220212120001102120102", "201220212120001201100111110020012001000221101102020201122001122012211022212210210001012012210021011012200022101020210210", "020212212220002011012011120001210020210000211110001121101121220101020112012102221210010211012010212102112101202112000021", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010022201120211202101020200010012001110011221101110201210200022200010210122222112020222102111212201221211012100222021011", "010201021012011220010221210220121201021210000022012021211002111221101221201202201222000011210011200222200000102001100101", "120211001121020121121201200222122021221101101120222222200012021210012200212112210010002021121120112122201011012002220100", "121111021110122121101001022211212111002211211221112212211100100102112012110220221001111222002102200121020100020001122002", "112111111100001101101200101220012002212001221220111012120010220020011122012010000200020000120211211111021210122222012012", "220202100212012001210020120010001110211020222011021201100201200012200022001112121111100220211211100000020122120012200120", "002120211222100221011012222222121212021102120112201102010201010222102221112020101101002200220011222210021201002001202110", "020020100100022022112101220210221001120211122101011222020210110020020111001222222201120012200211101211221010022202110101", "222200122000012102002101220012012211002102122011211120202100221112001101001121000211010202011121220212010022121212002110", "202100220210111110020012221010121020102021012002010011110012212211220211221112102012011011101100020211100212200211002211", "210011210111121022121022021211100202021202012011221020020002010002022220122120120111012112112200101201022021000200102221", "021120121021102211021120020011122222220120102101112212221210012121121000112201211020100220100202010221201020122200001120", "222122012011102020200011002100222110002221002020021020001121021112000212011101101012201101000002221202211111122220110202", "122201220021200210122121212121102100111002220102122202001201221102210202000200200222122212112101200022021102010011200211", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "001200101001020011100210022112111121200201122122002111102122210002212201210212000120212001111120100010222112001021020022", "000122202120002211222002020020202212111201022111021221100100100100020011021120110022101200112112020111222212001010212012", "111100101110010010122212211011221211010020210102112202002002110211022012010210120211101120211211111212010221002201212000"]); G:=MatrixGroup<120,F|x,y>; print "Group G is 4b.L3(4):2a < GL(120,GF(3))";