/* www-ATLAS of Group Representations. O10+(2) represented as 185 x 185 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,185,[ "01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "12102002201112102220011000012102021220020001112210110122011010212201022201100200112102011102210012101001010020000100002000000000020200200100002020010020000200000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21102000101000222101102211222222200111112111011112101020102112022122021012210211220120111121000202000211120010000200201002000020010100200002002020020000000000000010200000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21112221010221020212021212011212012211111002022101110201212022220000212011111002102100001211200021001210001000100100202002020000020000200000002010020000000100000010200000000000000000000", "00020211212122121121211211220121111201022010101211212222120000012100201202202222122112012022122010000211020100100200001000010010020100200100001000010010100200000010200000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "12122011201020122102002210121110002101210122220200001011000011222020212102012010100122222002022002011001000001110100001002010020020000200101001000010010100000020000000000002000000000000", "12122111121122212022111222101012210211001222021021102200002210101010111021211112100011101102020112012002000001201200102002020020020000000202002020010010000200020000000000002000000000000", "00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00102100022100011222102121012010212102002001112001020221000010200002222221100012111202011202002012021200000011100110102000000020020200100100002010010000100200010010000000002000000000000", "00112021001221012011120120001220202002200200221122000001100021102011101120201111200100202022001011012221000020200201100000020020010000200001001000010000200200020010100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21221212210012100001111102000121212212221000101211211201102201010102002200200222202222202222002110010200020012000100010000000010010000100101001010010000100200020010000000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00020112222010121002201010202210102210220111111110011021112001211120221221210200222020111021202020001102020002100200102102000000010100000002002000020000100100000020000000001000000000000", "12211021202120111022001021001210022200002000121100010121200200100001001221201020202000110112022100012210000020000200102010020010010000000002000020010010100000020010200000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100220002120201011111012120011202202002011200010222110221101101210000210020202000111222220101002112020022100000000002100010010000000002002010010010000000000020200000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21201102120112200122210000122012111020200222210021100202111221200010012112020112100101201020222111021020000000000100201001001020020000200201002000000010100200010000100000000000000000000", "00102101221220122211202212110121120101011021202220200120210210020002221111121100120100212110210102010120000010100200202001020100020100200001001020000020000000020020100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00221211111020202201201001110120122210112121000200021111212202222122120010002010201021120111201100021211020012200000200000010021010000000202000020020000200000010010200000001000000000000", "21221012002210021011000110202022020022010011212021101100021000022100020112111112100222001001100010010121020001000000201002020020120000100100002000020000000200020020100000002000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00211122222012121100211210020201111211000200100111202212002010001210001221002202120210122101011012020212010000000200102000010000021100100002001020020020200200010010200000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00201002001210022111200011121221121000012021221101210112220200020202222102201012202202020111112110020210010012100100001000020020010010100100000020020020100200010010200000001000000000000", "00112022202010111000000020200002001010120211100001101002112112112112020200021012200220001222211212012021020010000000000001020020010001100000002010010020200200020000100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21221212211212112211012221012021010121012102112011212210201210021122211222110222222010220110011102000122020011100200101002000010010100010001000020000020200000000020100000002000000000000", "21020212111011222000020211102000022021102021011022011111121122100000221022222111212220121021110211002200000000100200101001010020010200101002002000020020000200000010000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21010020202102121120010011122102001010012220011210100022022100020011000000212200020001211100112210010000000021000000000002010000000100000211002020000020100200020000000000002000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00122211111120202122202202120211102121201022202112200011201021101101212110112221000001222212022021012122020021100100200002010010000000000201101010010010100100020020100000002000000000000", "00211221110021200001020201000121021001202102202212211122020121202122112111121201022120012200110211001111020012200100202001020000000100200000011010000020000200000020200000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00201102020212000211010100012022002022110002210001111001111222220201011102021022022222201021211111021000010020000200001001020010000100100101002100020020200200010000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21102101220120120021100010002120210020010200210220000210121010222011100102002110200002021221112012001001000020200000001000010020010000000100002011020020100200000000000000000000000000000", "21221011202220101210102202110202220111011120101120100100202220120120000220220100210000200111002101012000020001000000100001000000010200000001000020120000100000020000000000002000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21211022200211120210121211212102212201002010010210110211020010100102101021000220102202121000102012002110020012200200102000000010020000100102002000001000100200000020200000001000000000000", "21122210110201210211122222110120202111101222002222000001112022002112211001102121120201101221201021020121020010100200002000010010020100100202002010020100200100010020100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00020210110202220012011211000212022221122100100120121111101202012222200221021100221122020120012100020011010012100000102001020000010100200100000020000021100000010000200000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21102101121222222210111010210200202200220210102110000011120101210112202222122220010101220221101200001000020012100100101001010010000200200201000010020000210000000000000000001000000000000", "00221111122121221121221212020022102201111201202021110011100022021212020101121112012202022120021001020222010012000000002001020020000200100100001020000010201000010010100000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010220012201021010221212102001110201021021110022201200200200011200020222002121120120202011010110000222010000000000101000010010020100200001001000020020000210000010100000000000000000000", "21010022100210220110101111120202222202202122201102111111110121000021210122201021022020222120220211000220000022100000101000020010000100000001001020000010000201000010100000001000000000000", "21020110022002021202011011211210001200212210022100011012010021120011000012110000212021222201201001012120000021000000201002000000010200000201001010020000200000120020100000002000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "12211122021210002111201102120122110212201022102210111210212201102201110220111210202220021110200110002001010022200000100002020020010000100000002020000000000200001000000000001000000000000", "21201101222121111120120020020002201000110101201001100022210222220220020102222012020100011211210111011110010002000000001001010020000100200000002010020020000200020120200000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "21221011002022021101112010222122221110020010112200112112122010111100100221120020212112220121101002022002020001200000102001000010010200200101000020020000200000010001000000002000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "12211121220021120100121011021100221210202200020212000102212121200111000001021201000202202212202221001100020022000000002001020000000000100101001010010000100100000020010000001000000000000", "21112021201120112220101020011101202210110000022212201011202012120200201012100221100220221210011022022220010001100200201000000010020000100001002010000020200100010010101000002000000000000", "00201002000211020012020112202112012012201111211222111211202011000222021120201101012121122011020022000220010012000200100000020000000200200202001000020010000100000010100100001000000000000", "00211120121002202200011101112001001202202121011000222022200101002222121021210010201110112012001210020111010010200200102002000020010000200002001000010000200200010020200010000000000000000", "21020212110111220122022111222210020112022211210122002110112110010010021111010101020010022020220212010210000000000200202002000000000100000000001000000010000200020010200001000000000000000", "12020111021020002100201000121002111220220220120001121212021001210212201202010002201021222001110000011020010012100200001002000000010000000201001000020020000000020000100000101000000000000", "00221212212210101212000202111212002011221220120111121011112111211011201201021222111021222122211202011012000020100200002001020010020200000201001020010020200000020000200000010000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "21102001002021021102122112021012210102111200022021101220200022222112200000120102020020210211020021021101020012100000000001000000000100000001000010020010000100010020000000001100000000000", "00112120120200200112001001220011012200202011002020212221100011000200222021112120012111212020011012000210010001100100102002010010000200200201001000000020200200000010200000002010000000000", "21020011000222020010111012101200200220011221122110001000101100022212022211110210200021000021001200020121010010000100202002000020010000000200000000020000200000010020100000000001000000000", "12122111021122002122111200120012202221010120102022121021001000020221200210111101021121210001021000010220010020100000200002020000000100200201000000020010200000020010100000000000100000000", "21112120221201122110122112020201210102211202002121212220110121222211011002102112012110012221210221011211010022000200001000010020000200200000001010020020000100020010200000001000010000000", "12221210110100210120101122221002222222121012122020111101201112012102012211120120012021000211011212000111020011000100202001000010000200000200000010020020200200000020200000002000001000000", "12211022101012202201112200212020211101200110010010020212020201202020100002010200001100020202101100001111000002200000001002000000000000200000000010010000200000000020200000001000000100000", "12112120220102120020211011200102120220022110001210110120021200211121001000201220022002110202101110011112020021000200000000020010000100000102000010010000200200020020200000002000000010000", "21000201210021100201021102211221020202021010120120202110210220011002000220011120220110021210200121000112000012000000100002020010010100200000002010000000000100000020200000001000000001000", "12102100022002001200210100111101110012000221221220201210122010200011221120202110000222122022110002001010000021100200100000010020000000100102001000010020000000000000200000002000000000100", "21211222212010121001202011001220111100002001220100001212120120202101122101011020120020220222100221001101020021200100002002020010020100000001000010010000000100000020000000002000000000010", "12010220012101011020120121100200222022222220102120001111021021110010000211110100010122120100120011002220000000000000202002000000000200200102000020000010000200000010100000000000000000001"]); y:=CambridgeMatrix(1,F,185,[ "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "02222200200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "10201111012002100002112001211011201120212201110122101022221222101221000210102012220012110000100120012002201120120220012202102111020122100210212202001111020000112010010000221011100101011", "01211112010122211100222111220210120220201101100102110220012211211002111222222010022002210011220120111112210110012122200110102211111112000201212202220102201011112112000020111212121010100", "02000122221002012221120100211012002012111122220011121000220222010120020202210011001121222121022020010202020202200001201100101020102202010100102022202212010001021001222220200102211012121", "02200102001211201020110011111110011100010111211221102200102222102211120211012221100102022210202000002102101221102011111210021012212121212202221012221012121211220012200220022201211202102", "02111200111100011000000012021100112020022020020220121001220002021211200100110221100102211010001000001200110201212001011102012022102102210011012210000102022202200210111002202210012122022", "02102222200111112100001211201222111101211101022010100001001212102212220001201011211202012220102100012000001211120110221012011022200102110100210101202022210211112011220001201012221111001", "10211120022211210200100202212100222001202201020020012210021220112002202221202120222201120210112101122101210100000010202022211210211020021002010012200211110120102110100201110020110211001", "20211002221202001111002010022120200012202122201210100211022022120121111101212110021220101112200000221221121210200112202200212201002212211022220121102102112221000012002120000120002021200", "22201212002201202201222011011122202220021011111002220211222210101222222111002021110012011202010101110221220110000100021002200222102120101221021011221211022121211100012020011121200022201", "02110212120211112212220021121110122011000002210222210012100122110111121200101010211022121102021022212101010201020020012020100012001210101102020200102012211122010220011211021210100020200", "01202002210012220100111100221211122211212100100202120010222122010112021020000121002012102101200121200102202201120011000001211101200011010110221121020012022010220002220202112211222202002", "02111112211021022101022202020101222021212022010002000121100020221112002220001200101100122021011212202012000222201002011001100202212101211112000100120222202201000002111111211212002021102", "11101010221010000110212102022101101201111002012111020111100010200110212201220210200101002120010201010221012021210222022102222121012212002012122110200210212021021111020120001101121220010", "22001112010202220010102210200222010022122011112122120200022101001010210122210111201012210120122210110202112210112000002021120012122202112111111100020110022020122012012201102220020202001", "21010200012101201021011100101112002111211100202001121220112011210000211010010200202201120112010220200110110212020212002221111020020021220111011002002202201110000221222122012100222100102", "10222220011212110201010102002021010100102222221201222122112210100112021000010000001020100001200101202022200022201210212100221110111120021211121221112012110121202022012020111001121101122", "10010020200112120121021202012001001011200001102100001120110212112101100211101121022110122020102010221210220000212021101211000001000110021202200111012011002112022000212022011112022001200", "22101010102012101101010211210201100011012002010111022112012112200100101222222211212010112022012020020112021002210122210100010220201110020002102121121111222010220221211112112020121022202", "22021210210101112012022011112201222210011120011022021201102212020200020202120012000002001220111020001202101200101010010110111112002012201001101210102011211211220212220120122102110222010", "11022002111101010112212021202010111200122002111021220002212102101212202202200121100012212211220022221020111021012221101122001102112202200111220010102212201112212022021012122011120120222", "10121000201000222012222210021211011100002020221111101212120120010212201121212210110011101110002011222021012221212112122012100000012000221200102101022200122010110222220221221010111102101", "02010202211010212002110001012011012200011211100122001010120001012011010102102020200020002211101100002102200010110100210012120010000121201101010001002211220022222010101012221021020121020", "22002221202110222122201221010202101101102120021120201111210222010020202112021121021100111221112210112121001022010212121102012221210111002200011211202001212101202100021111212200220020101", "11022000202001101002110100111202102112021101120122102201220011220020211201101210121001221121101001120120210201111210111122110120220010210112102121221121200221210201212201022101200202121", "22221210101021101020001122112220102210200120101012221222022021112221220201101001102202122000222021210021220121200000202101011221201100011020121102022201012010210020112102211010001121020", "00222202120212002211222222112111121002001210020102012012102121122202021021010122121021100111011111101202222202210200112022122201120100120122121211112021011112002011111000200010000110011", "21222120021021210011000102100210221212012221102202012020012221122010200200222222021201202022202101021121111022012001221212001011221222121211000112001122202202120002102211100000121120111", "20110210122021102100212101101000222100000122022020200212102220212100120121120021112202100102211211001021012102120102112201122211020021020202200210021220121021200020220121001201102211112", "11202210012110110100101220220121000002101200020200211012200012021011202110120220121221011001001011211100212121120202212200121220102112112220010212200211001021210210020011111022001011210", "10222001100101202121202221211220020122012212222012221001102201110211211202201122112201221010022001220122021000100221112012100220012120011012002020220002102112212011110021021000210112211", "00001201002212111011200102011010201102112220000122122011111100010220022121020211220002010120200102000201221002010101121110012001212122110100221022120122111122201112212200101020220200021", "02110110202200020210001211110210010212001120000002121210010110100001112220221121212112100012110112201201021121201112121222202210001110000012202211220200112112222110001101011222122212101", "10102221122111002110120200221220001021001222102110010021120011120011100021112001011022221202012111202221010112210110111122002001211100002020101212022100220111201201121011211202210012111", "20001212210120120012000120002100011102102101001220210021120000201020111121001201100201201102201011212211110202201201200211122111222120020120110210010210201011010022122200202222022101020", "02202101111002001202010221210112212001120122110222212102112200012222220121010220111100022202221222221220200000011102221102102001021122111022222122000101211200101120100011022121020122010", "10002201020000211221012202021122020202002021002002111221122002110000010001112201222021221012110110002000201002222210122011012001020221011210012110220210200012011211212212111110001121200", "12210211100220222221100100102002210002221121010120021122200011021212121202021102112212120001022220001221212102100002212111022001200100101012210221012010201001111121100202012120100210221", "20110221212000100222222220120022022220220022002021002212122002010102100102202201101021222122000111221120221122220210202100201220121121212011221222112101210010201010012211201122120202012", "22110102202122100100120100100011020022112002121212211010022200210101021022212201122020122011110211202212010210012222112010221012111121201120212121211022222210010111101211202022111001111", "01212201000212210001210002001020211022001001221111100202221110222002110100200211101102011020002112201211212012110112011000100010222012222212011022221121001201100222112011220222221001122", "11011111210202101112201211120221011022210212101221120110221201102011211002101110010110100100022101022202200011202110111120122100000001101201201021122021110102211000112202221102022211010", "01020121120010000021010212011110100110002001220220021102211202110012001012222112222012211010100211002011011022202201102101101202200220120102121100200102212000001202022101111012101022222", "02200100112221111121120220120121010202101122121021011202000022211221102220112210110021122000200202210020121112102202210112012202011111020101200100101001210012121122011210011022110122100", "21010120101202001111012200221121011102012101110201101021200200212220102112220001010011122120220200002201210101111221002202120122001122002010002000012100202100011000102121011100100112022", "02200012111101201000010102210021220111011122120210022211120102021021020012012012210102212202110012222221012211100112210120022111202011200222211101022010100011202210022101022000012220222", "02212002111021022210112111001000202202121200220210011001210112222120100220010102002010201121211121012220221222021221211222211200010112201220202001100212122221012012101100211210022012220", "10101001220200200210010201120122021020122101200001212022211212201111120010000021210010202220001221200020202111201210210200000110021001002020222110210100120122102002121221110111110112212", "02110012102012122000002022200012122012120012212021210101102110021210202121220102122222102210222202100202111220022101202210220021111000011002122112110111102122112020022200112211000122210", "10102212101001110200220221000002212121000220202012020021201122212121120212112011222000220110200102201222021102011120100102021120100012010100210110020210212201201112002112221110000221021", "00000121200001210011121120121120120102001012200020021122201221112000112220100021200212121210022111120212022010000210000002200201212210022211222121211011122210110222220011121111220112010", "02100021211211101220112212000111012022120001021001011120012122002212222122001200220002202001020121200201022102020121012021210022002010201200121011212102012222220121101220222220011000022", "10002201020102210200022020012220121122112200112221021102002010001011000022211010100001122101021010022200010001120020220022221101222012102211022000102100121210002000022100111210212020020", "20122021002122221221120120200001220111001001010111120221110202220101102212120110202122112001011101201110121212110012000022120200022211222200002102202001111122112102201210001121110121211", "10222100201021101112101100210002200102201012120220010112021211221222022021211220222210111020210020121001012001202022221000220211202010102000201222110021022220002201201200021000212011221", "02221101121100200100121001111110201010212022000000202020120202022212200121120010201201002010110020201102121200002000102212220120001002212020102122021021100111200020001221210200201212120", "02202200002002021210021220121011002000112202120101112222020001002120121012000012201210002002002002200212221210120020221001111000202110021000212221121211000111102201002110022001212000110", "21020112112222011102101202222111120221220102202200100221210111002020111200100100210002010210021021012211102201200212100201022001220200111121110200020010200022121000221220220000211021122", "00101212021212020210021021212002021010101001102010202112012000100110121201012212221102021210122220121211200101221211200010122100010112220211201122021001112211002102020021111201220102111", "02011102001011121110210122121000201010100210110002121020110111221110121010121010020020212122002221202001002220012011101002011220200012201021220201120210011221011201221220020110212011021", "22221101221011211000110101112121010122101011101101111112201121012111101110200120020112012121211020002221010220202121012012212010202101220001020222201001110100221001202001020211022012010", "20200101011121102211120021110012222010022111210021110120021100101220012111101122211020020201021002001012120210020111221120112111022001211102121000101110020200101000022112002201022010220", "11120102211212012001120021011211010222201111102202122001122120110202222110111220111022200120022002120000112201101110012000101111202120002111101112122100221012010221121110120200012120102", "20100021200011001001200102022000020001122002022202221122201220000201100020202212000111121111011202101010202100002112022001122221002210221012110222200202221020021002122201222112201021120", "11011222101012201010202111121210212110221211012011022110020100111001120221022110001011011211120110022021101220220102000202222100012212211011001011001200011102021212110222222222222010012"]); G:=MatrixGroup<185,F|x,y>; print "Group G is O10+(2) < GL(185,GF(3))";