/* www-ATLAS of Group Representations. Co3 represented as 231 x 231 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,231,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "021220110021020202111000001012120202112010022011011100102120221010011001012020022101200102010110200110110221201221012111122001111100002100001220102010100101012111202122101222010020102221220020001102211122120000110010211111002110101", "120221211110122100200120020110100101120122011110002012122200102101112010000201111021202012202211012000202121112212212122221111121212221200022002201022211021000202100001211112012221112020001101200101111022010020001201020010000120122", "221000200010112111020111222002101012012110222201101210211122010210202220021201210121000001202201001212010001000200222121101202011020220201002002111010011102112121001021120010220121200102011211201211212210121000220112001102201012122", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "212222012202121021120022100012102211201221210022020211222201110220100220022022002100121020112221011121012212200210110020200102221210002201022021222220210111022001001201222212222002122200010201112022001020211002220002110121110022101", "001021220212122211201012222221100011012001100220021212102022100102011121101220200121221010020221102101121002200021012211120200020220210121021122201010020010221021220112100210111200110121212010010012122002111101112121100212110021122", "011002221012112211120012021200220021100200012200201110212221111200000212112220210111021201111022222220010202201020221101222221121200022220122022202102212001021220110021202102121220002220120012212122222022222102210102200210201112100", "212211222101001001010012220111021211121121221000102222222111012121102001202222111210112122201012121010210200112012202111110120222011120202202101122021002122201221121222212010212000012020202001210210022120010022120112101011022211001", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "211210122011102001112102211002020102221210121111211010100200022122010020012011110120222210022200010000100001000202220110101110221110000021102212111112022000101011112101102121202121010120122020202100211222020212200200021222022212020", "021212221210212222222212111200200220111221111200010022102212111121012202222012011122012122200222201222001222212011220100000112000021011021012102210121122211102212002121001022121200011021110122110001101201200102022011011202100100020", "110112101222111211211111001221012200200000221110212222222211200000122112101111100202020020000212010010212011211020020021112020002001100102120211102212021220200111122000211202112001222222121202112001020210000012111122012201211200101", "010110212020212111122120011212020002212122022010002012010201121212101201220020100222110021212122220101011222112011120000211212101222201102101100012011020001101221012120002221220012212021200010022222020200001012222110211102021111022", "222020220201201120222020202010021010120122200102122212211222111012120220001010122102022021200220020201221002101221001021010000001221002221220102202002112121121102212110220121110002211021001221100121012012120102110001012212202011212", "020212122010220021121110122002010010010010020011210100010022202020121212111200212000110100212120122120120112001210022110110211202202121021002122122010120000120021002221022021001110102221212222221211212112120100112122010120101121210", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002010102000010111021212200220110202002222120001010101111012022010210222100212211200001211011211121221211000210210121122121201110022111200211122111202122010101210121020002102211122210112002211001111222222021000210220001121121022201", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "212212012101020221001010211122111021010212020002011122020222022201202121002100001201002010211222220211121001211102210111011202211201012022212200212121011110211122212000200222010022020111101002120200100022202110210020020100112001101", "000110022211102011122100220102100110101100220111021010111021012002101020011200012010202212112200110002021012222011212201212102222021121222002001200220011202011021211020120100021002120022201211221202002011010220100112201211210221201", "000120112020221102112102120102210001100000201011111121201120122112001211122110221021202101001201121222021201121201221122210102202020200102120111201220011121220000002200212222020020201122112000101111100222001210001121100112211000220", "101110021102110120122112202212101120102110011221120222011012212212120222201201121200002121202200002010011200012000010200101120211020121202112001102020121112102002000021121200210020101220102220101212220201010210021220221010011222202", "211121021010200121121121201221221220000210002101020102201021012120222210010001012200222110200122110012112122110221022122102202002011000210101102010201211020220112102102002210200022110221210221122210211012120122220020111101212020001", "102101210010001201112211022110012221112020222110020110020000000212201110212212202100210100202002121221122100000101012001101211111022002000222000010000020121020000120211222002112110021121101111000221020021100112110112222010222110220", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "110101022222121120121021022002011021010012100112121222000122021210010110211001112221021121021001122200200120211102200100010210112211020111222122211212222022010121000110120112021201102022220220222112202122200111010210120100012011121", "002212002201101020112011120221020012100111021211011222102021022012120210022222101100101102000202010112020001110010110200012210111211212100220200211211100210102122221212010211221101212221101012210220201100110022101211100001111010012", "120102111222101012101210010210001210210021122000220111010022021221011101201111002210202122112010102002222210202201010020200000210202110022112010122021200102221212120002012012110221222002121002210122000210122201222000102222012011121", "222121221211210122112110111011122020100111012222212022022012201202110020100101020222020222010201001102000012222021110102002022111100111011222212110200221102222001211101010202212222011021212211110212220011012012100112110021101101201", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "110210010120011002112122001102001002012011021122211200100001112120120210122201222020010011010100012212112022202200221202002201220101111102210210100022010002212211100212102102002122011102000011101121011012111120020100222110112122002", "022222211011220220010010210102020100102010221221022110102211010001110101100200021012020212210021112011221101011000212222010210122020020111121102022011222212202110122001100110021102100102022111122020221211122122121122101102200222212", "000022121221202110202022212010120001000120100102211110022020210210002202201111222211210101121002221120111200211121202111012211012110220122201010200101212200200010202112012010000221212102021220210100102210202211001200022201101122111", "010021212122122002000202102222001011002212210222020202102002222102020220022122022122210121022120120021221200021002010211120010220022112100022110020102001210200021110101121112121200200000010122210221210201202211120012121201202011122", "011122020102222021022202010200221022010100200010000212211220220012021222210101112001101100202221120111000021110210101102001000221120211222102022112012100002100221222100002101111021101202110212122210000111111110200202221102111221002", "122212001201000010222220000010112111220020002210211110210212101120121220002100112002102201121211020022020121111011220120220120022011120112012002000022000111120121200222120101001222201212212111100001020102201202021210221100221210010", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "110100222211110020101011110200020111221211112022010202101220101121110000002021122122211111212202210010200102210022221222121110020010120212012211122120112211220202210001111120011001120112202111100100121022002220010101220212220202212", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "211021212200102002220112222111121201210221010112022111102001202202222120020220122011001120012010002101211022202110101021212201210000001011122020002202001210100210021120022102222211122110011100200202210221111020110110200210111100021", "011202000101201002202101100100010101212202020110221111211000212010120120122100212011000000020120202111100000200112210212100210212212212100100021112212220221220100011200100201011110021022202001210202121000021100221222221221001221212", "121202221011122002202101210202220020100200010202121011100210121202022101002101221221100101112100000201211200020221221010012012010202121220102220220111022212110010001100010012201021201101001010002220000222100212220210222110222002022", "222202102220112112022112222202221221200010201010200111021111101100222211012200001122002122022201110120100020102210021211122022221010102000020111201221101222210021011021101200202011210102202212202210211210000211000002221022000200021", "012112100000220022122100210121112120202020101012221221121211020122001002212002022202010220012210122012221001200121212210020212110000022220210112012121002112101210021111021012022212101221200111100112102000122002020121000212212122020", "002221200012100012000112122212221111220001212122220102022220020000012202122000220112221011222121100001200110012201120110020010122000120110021102120101000101112111201111000011222220111021101212122202202010101110221210112022002101202", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "022022012100212010002110122012210001001000222102222110001020021121011012201100120110201010011011200121110221201121201010012102201220200002220121111011221220102000211221011010111001112020200102022122002221021221000000020210120210101", "112110120121010221102112201021111210111012221010002200002121220200201202121012021121121200011212222221222200112122222211012122212202211210220000202112022221001121202010011201111111212200210002001001010000100021221101010122000021222", "120002211202211011002001122121010211011210101210110122001200112110222022011112201020021110201102002110020120022101001110221012210010010112121122221201110100002012211200021120111101010122111101222100102122000120010000101211200100100", "101221120212022120120110112211121122001220101220201021120002101210021022020112011100111212220222022012120112121210011121122201101002021122100011112220011011101121202000012212112020102001100110221201022001112101222201101110112221012", "022221000112020012211100111020200112020112010102200202020120211001220201022020211022012110222101122222022020121011011221211110002111221212200021102212200112001201211102012211012212211021201011111000102200222020201210212200220020121", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "121011212111222010012112211010102011220010122212111212121002210120111200010221011000201102000210120120022221022201022220000000022111012211000222020211021120210100122111121011200200212220111102002211102110212020011120211110100211201", "220121022221010200002121001012101000200202222222200000220120110122220002122102122000102120201122222011121012102221110021012202010210021220121220222221200221110011111002200022021010101100201200222100212100201110101121020212002121121", "021020011210022110120101212100002112212100200221120010110000122202120002212022022202202010112112022002222201011202212002202001020022211122010020200212211221210102010200121201011101002001100101000011121001002211121120011002110112210", "121120221011212210010221112012210010002201212022220012121012111110222020201002122001012222221110100220102220000100210201110012201121022121211022011021122211122121111112001102101101011001111010220112211120200211201112110101200000211", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "220110211100212010112022100101011120022102002102202212010111011111002002212022000012000011022200122100101011120212001012111020211202021101111222212222111120012200210111120020022121020020220102010212221111111102212110202211020120212", "001120010211020122011222212022101122110221010000011112221100102020001111200102011112122111001201211202021021002210222201110122002012110222001101021122122022121020012112101210120110211200011222102201221121120122222200121011020021100", "212210001100002221121010012221112002200222112021020110021120000210001120000200200200122010021120122001100212122211100102002020002020201210010212011222212011002012002211010201210010210122202101100220112121110101120202212022100012012", "211021212200121011120220021212012022021102112222100212210020000020202212012011211221202011002211122210210101010021100100000010212222021111200212000002001202001101001012000110112100101112101210201220202110121222111111220200200202202", "200012201221100220001201102120012212011010122012200210212110220022222220211000112112102102200101220220122001221000021222102101221110012001211101111010210221002221222221100110002101200212201011102100211012100102120210101010002120212", "020100100122212012110220011021212220012121102101222022102101001201010201012201100120110112000202002000011021112001220221220012122212212002211202211021220010010120001122211011021112000012020001122000212220222000101012211220002221021", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "110000002210000010222110110010211211120202102122122112001021110100011112200022111110120121221101020011222210111110022121001212110100012020121012100012102021220012012002212220020220212002002112211010102200102221210021112020222101022", "000011011210001122212112122121010122021220012110020022002011102212200102200010110000221201120201102222112110211210020201120111010112001001022200010112011212121011020002100210120022112201211201120202002111120001022010010200120120202", "222021220010200211011020211020002212222020121112020010022220020202220210002100202200001222012112220110010020111012211111021000111202200011000222201101220110022012012220012010221000201120020200100220100022120010201211112011211002102", "220001010102111202201101212220010221221121012101021020011121122201211021100112001202210210210222101121002210020122222022212021120200000100220200002101220011201200101020011022020212000121211112101021221101020010220210212221020021102", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "111100011201100121022210001221121012122111020110220200022221001102000020010100001202112121000101122020120101001012100012010001212110102121001011201101100002022212110200221010102201212011010201021022022101010011010021212122000210122", "222102202021011102200021220100212121101001210120101220211102210022121001100010202201020220222110202122211211001022110022011100021001010021210220102010222112102021210002112100010212002122212122221022012221002211222001000012011000120", "001011122211201022022112011002121120200120020121021201002012200202201000000021202122021222000120122011111020102002012112210001000120102202001120201002100220111021221000000200002201021111121012112021221010122221012211222121102021200", "222200200102001211111100012002021222212200120102112011211200202001222111201201011121221221020202000001022021021201021100100201000212222212221102212110102112000022210200102012110002120202121222120212112200202110022200122102211220202", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "102020002211211202010202020012112102220020102000121122221001001212121000101111222101010101001000010201102100221020102111101120010022012222020000122102100112100200012000022020122222122112102022110201220122012200001002211101200210102", "122201122020220121121011001202212220201011210222210102001002222000210221001110000222100102211021122011002212111122221000012221222012000200102110022211011110021201201002220020011010002012202201222021100000101020221010001222120101000", "001002211200210222201112012210101010201100010001012211001021000201221020201001221102001202212020220201220210101201100100201211110000020022002100000012121200222201121011022020200100122221121110002020001221111121222100002020012202210", "100112122200102220122001201020001120210011210121002120221010010221101220022012000211222102202120201101220221200011200000011112020001121022000022021210111200020021111111002220121122222102110122110012221122101202211222200221000121202", "202102200210100201200111000002011002120012220011111100111220101122021012210102111021101200011101220200211201021111220120111202210201201220022120100201000121202221021202110000100122200011212220210102012201222220000100102120000010020", "100021112220020220222210210012212210010111000220000212222000022000001120202212202020021101010101112012102111110202110212102120120011001102101201100222000122020201012122201021222101021111120120201110202020212012201211120220022011101", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "110100000021122220000110111121002111000201210122001200212020010200200202111020120002221222012100121112122201222011221111010022001022002220011220102000000210022111220121112101202120222221011110011001101102002202011010010020020112222", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "101202212100122121110100211101121121012200111210101022111120220222112200100121022122011000212210200022211112220011000022020001021012211200212121200202101210212221110100102011102211122010200021000211110110022001202021201002011122010", "122211112211011021120110210010000200021211001021011101112120222212111210212011002222000012201111222112002112200011022011102120102012112202122221110121211111210000221121201121211100022202112221101202221120120211002211020000111112120", "011120122220100222012102211201210222211210111010022002101222122200120200102121100021022011001201201202012022002202011100200010012122000211200210010221110122220200010222101020120012202102100111101211020201211222101002211211201020222", "002021022000022212022220010012122222102100002002121212222122112022100021120202221202211000120121201222021222021212022112222020121202121221111212021022211112020010001200101200122021011202200101011101110010100221110100102212211011120", "002002121022100100010000110220022002001002002122110221101022220212212221011222220220100010011200010122100222112221120201211102220100121200021201212110021002210001000110012022201001022212121220010111220011220210111221220002211221002", "202111200001200201221112020202212112100011222122202012210210201211001200212222112201211010021112201021021022211001122211212212001010022201201201111010221011121122220021010110010201011111011002000120120112222200202201212012020211111", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "202202221112202122112111220120210002221212011011201100110222002102221022122100020121012100121002221200210120110021220220022020121120000201000012111021020122222111202202220221022200112002212122020122122022120010002100001120102200111", "120212110211202200102012020021011120011010222210121102022010101121020001100122002102011120001002220211000012220121012001012202001122120011020120121010221221101201110212010100110210100101001101120102120111221201121111202101120210111", "101211112100012002222112110012010010120022212122102001110211210202011010211222022021222101101110120100001020210022200221022122110011010210211202011111012221021011112101201102201100021200011001102222112202100121110212101002211102111", "110202010200220122200202210200121102002120200210022110210002020020202012022101121221020020200202110001120201200200201022112211210112102020220010221102012001011001011121220202001021021212112200221200201200212102201110222102112110001", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "210200101001222212021020010211201122001100012211020000022112011111022220210100121212112021202211200121222222202010102002022012110110000201111020022101212111110101101012020211100210221212012022011220101102200201212011021121121121120", "001010121212110012201000221221021111002110210212211111022221000112012122222200110120112211110110001011102200110210202210022021010011221101001010200210220000111212001101200221122110012100220100010110100002000200020210212012202202100"]); y:=CambridgeMatrix(1,F,231,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "202000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "200022100201000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "012022200002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "000122201021022221100101020111002211112112200011002012201010000201011001002210021122001201000001111012201122101121102010121010110002211111211022221211220010021120000011021001122202112221002111101200120022010210112221122220021121220", "110221212001222000111110220101202010020220201200202222102120122110112002122020022212102101022220202112101120201211110121200202212020020200220012201121102101010110201222200011012011002002012222000122222101102212220002022202211121221", "101111210022002022120021110000112210010200211112220222101221001110110222021120001100100102012002000211220001201210122112011111121201121012222001202201111100112020100200200100022002110010102100002112002022122222221122010101010110220", "212101010002111100002220120101221211110202210021022212002212010111000210121120122012021010001211202100111221212120112210000010110222010022221012012122100021221221120101110100011210211222012222020122110011212220211012111001001221212", "110000211020010001120002021122211000110200010120111210100110011000011000100001122211110101001222102111201202201021121021200220220122010102110111200222002111202012121202200220002001012000210200221010010012120012112000101100121220100", "100001121022120201210021222121020000022111211201210121202120012012110110000112021002211121012101211012201121200010100212022210022100010120220001102000011111110112111221101211212120122210002222001002000212211221000000021122010121120", "100112101012121110220012201211010121022212211210010221210201122200200011221102001210002121011121221022020102211010202102111221200002110211222210122212012012211000112211001200002011110022120100110201010201000212220001111102101002012", "100010102212102212001201101010100021020020021101222221112011012021002101101220010122101110122120212122222100020210212011222202111110210022102222221222102001111202102121211022021202012101122002111221110121112120102221101200222011220", "121102020002210002002121212022000011201221111012002221011002100022221102102211012010011120001122001121102211101202121102122202120022121021201011000111201020211012022110001120021012210021120201022012210001111122022202102121021021020", "220212211201002121012011102121211002012111210210202112221100022102001212200212021021110220121121022220001201111120010210211101011011200220122220200011012202021222202020020200202010010120000002211102121220011000012102122012022122001", "020022212210011021001221001001111222012000001001221122122202120111210000121011212020111110012021022101002211200100200021012110101012000002210111212000001021021011002000111001020222200020220202220121011212112022001220200200111200122", "101102022101220221111221002022122102110122221120002002120002121212210212221200021111100020200102110101100010111120022010121201201002220000112110101201211010210001001010121010222211010120021212102222200100000012102010220021001012220", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "212120002001101011021010212221001202110111111011112211022022011102022220200121100210101012111000122020000111120022222120012000120211100001210111200110012200101102202121000202111101111002111211221112210102011010120221020000121222200", "100011112210021101222021121122001100220100221221000202021221022221102010220111000221112110021212120222012021211101212201200201010012212211011021111002120221112020020000020002011001201112221202110100121012200111012121001020220010222", "201120211201200222021212021202222012020121111200220202110020112122001011112012120001121111022021020202021111122222110121121101210222211201102220111111002000111212011211120101211212011210000010100200012202102210202022220120020022211", "212221021122101001211202220102201111102101210102020010210011102022210200221201210000100212001111000012100221220200001120012021122021011210201201002110122012000201221221001010220202210000221022211200102212200012011122100121022221201", "000020220211212021101122122010122002122110222100221220020002110011022202211111222022201102121102000202121001122020022220202001022000121202010112002022120000202011101010100001122222000002200211212022010200001021210202120012222112010", "022101200001220001210011012211021111122112210010202120011202001010211102211010101102201012020112012012001211000102000100022110002020221012100100012122022110001111220001021201022001121021100022122112102100200010000112212000012200122", "001112002112112220022022021211100021120200102222020101011020122112121120101212221201101220100022212112011111212012001100212012222211021211121210012001121001122002211020011200221201012110221021111200012020111221122002102002212121101", "001020201202111011010102021012021002121120221202120200101110110011012000112212021202002101000102122210010210201011021002211021212222011000010211221211122000020212120122011020111201011001200201011002200121102210021012222001122001212", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "101120101012012000110000012122010101212011200122011110012111021012020022211102010202121022101022101121121011121012111001001002221010112000122111121211022222222102100101201002102121221022010022022200122101112100201120010202221111001", "020101111210012211122121212211201010002202202022120002210000211110010011111001222121000122120002000212122022110121111122112021220102002200020110010022111120112100221021001211110212201201210122110202000202100221100111022202111122012", "200121021100201000121020122010020010102020100201212011221221010221222200021001012012210002201010000021111212201201120210012122102112222010002212201021220211121202100000112020112120121110122210121101111011112011102010111202220020102", "222200101122001221010121011121100211222201202122112112120110100200210101020200120202110211211102121010111210102012011011000122102202220211012222102111210020020211000212020121100110222101001220212002210021202210012221121121022210212", "020200200220120102001120200012211010212221122200111102110110000001100212200020122111112221020010202221200200012122101120201111111221002202121020101220221001101102011122012111012120121002101100010220102012011021010212100210222020211", "102000012222211020010202100122000010022100220122112001100000002221011110010212001000220012011011011101100102212022112010212121110022201122020200011121201011120100020100022000200222220201202110200211100012002201111012002102221122211", "212012212020202201011102010001222001202120022121021012122101210012001112112102121101120011221121000011121011102002210222002111211211210020012110212110222112220110122210222200112202001211222121220021211121111012100010202020020110200", "101021112002211201021110020001021220201110011000002000000022000110022111000012101222122101121012112010222222010222110020020211121101012200111020120110120211101012110100212022221112212202012121122021200101211022001121122020210122212", "101022010121012000002221121200020010001202021121120021101100001111010210111111010120010021200212200222121220002211202111111010101210111212010221000100111201100010000202222001100111102122122112122200212000112212000021100020102112020", "121221101212001021021101211112002222102011211000201100010010212002012022211221210011112220021022001111222100102110201110022001222221111020211201011220000101210111210021120021012201220222222120211001210121011101100011101200101000212", "002102200120200011122100110120002120101220212202112001201110221011020022122122101122022102212112102201121120021020201101112221112122122211010122012110002010002000100020020210010002221222112120022210010002111020120010222000120002102", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "102112212220112000010100122111011011200102010220022121112200220202020110011220222001000102100112120102212212021201112012220211122110200201022000100022111211111121012110011200200010000011012012000001102222102210020022122201202101001", "021001120110200020000220000002200111110100001122222001102200201221012221221222211022110112020022122020100000100211221200010001212022212010011200012000022211221222201200012011220111021201022012012101222112200010022112120111100100200", "012001012010200021002212002021020010021002012202210020122001122102012120201002122022201110111222020011000110112100210122202011212110201122210201202201020002111000000122012010120210202110202210011010100221020201002212022101002200022", "111120001121021001222100011100222012221221101021222020221001110200101212122221221202002210120012212212020002021211210000222221022201022001220210021020120202000021221011021212120212020200100100101220000102002111201222102110110110102", "210100111110002100021002122022012112021201102102011121102010212012100121200102200220012211020102202211020221212022220221112020111211022202011122122121022211011021100200020200012221100210010210222212222110011022221022101022110212101", "021002110100122022122021101202121122202121000200112120111212210012001022210101212121222022102000201111102120100210102220120102012021002220212210002110220100012000121110222102121110112200110210222220111010011211000200200101120101220", "102021122002012000211111102012211222002122122111010011111011120210121100102110202020221210112012122202210122211201211120210010121121011020210101122000020000202112110022120001021020202112012202100110020210121100201200222120012010010", "021011011022020112010121021121002010210020011222012120120000021220210001210102210101110212020212220211221120002210011000012102020010102121121211000211002110200011112102202021122122210210020100120202012011100220211200012221211221110", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "121122122100220111002101122001111020022120222202120021000211220212112221120222100222102201220012010021102212112112020000000011010011110100001120012022111000122121022220120211002110222012202122220101100022222120000120120200210121121", "201211001200120000201222210120112200120122221210102012010001102202212221201100200011120212020100012200020011222010000012212021021212200021100120200101011102101201112122220120021202022110012110202001121100101012020001202022201201012", "121220101021222112211020121200200112222210120211101112001011200121221012010012220220000110010002011121212220110022201101010212111101100002221212210101001012210221120120000211212020002221102000010120102010122212102010020102000210120", "222110001020000011212011201011020221010010100101202112210200220002011122001211021111022221012101101021002022002211011222111220222021102020012002111110001020012210200002210121110202220120112200122021002002101200220102020012101001010", "122120201210012022002002012002221210122111021111000110012010211100111222100112222100110000021020221111220000210122010220120122201020002121111002121121102220110011212111100212101012001121021010201121002110121122002000102010221221200", "001112120111101020010200111200010220021010212001002112220201000220012022100122212010012121111010102111101220210000212011212212201200000011211202021020012211112012112102022021210221001010022000111021021022110100001221110100011002222", "120101001022200212111000020010112011021122122001020122001212020120010210222020102002111002102021022020101001221002001222110120200001200121120021202121220010001201021010120122110001110002011002200202022220121210222100111120222002021", "021002210012010101021002011111020220010211100102110101011111112002021010111211100012122000100002210011210100202122102200120111102212001102121110201012202002121201101101202212110112221102210212222110012122111002212100120120010211010", "210010221100000022120111010111011102011021120221002010121221210021010212101222011110022201220220000112120200122012102122112022102221122010122121011021211122100020221101220102112120001102021001122202011010021110200021221212102221211", "012011001211102012010211110020012212010020022011112021020202011210022211000201100122120202202122100012010111001211210100110010020120221120212121210001110221122021221110010122112221012202000100010221001222111112222121021012012122201", "220021101212212000021122021222210122121000022221120101201121220000002210002101210012001010200022111120211002021102000121200112221112212101021011212220001021012012112202211211022012202211012220121120210200112121201210020212000221220", "201211121210221111220110122010211111102211002200210120121110102220201120021212101100212000202212000122011020111021020101021021011201020222120000120202122110010222112120202021200021120000112110000000102220111200121100110102220122112", "100021010102220002222110120001220201011221222002212022111012001200001110110121120210100100110102212201222022002201221220222002011210212022101012021201022012101200211122202221212102201202222012020111101210101000121012210020200101010", "021111021200100021112111020001101011021212211111010202111220212100012110202121010111100210202010100201000210200201212210020122111111022120112120122121021021201210002220210121222112101111112200120111021210011211210110000111000200201", "201000111101211222120200001011012211010122112122220001210001210212002200122110202200102222100122100201110000002210222120012220022212020011202010221220020021020100121121201102202111210011211101020012120122201121102222001110112201200", "120121201201011201012022220012102220022001100211122201020211202220112010021111010110222201110011220111220011220120120210201222000011101100010212000222022012101220120022111111202121011022021212022022012110201111200102211002222022220", "011021210001201122021112101120210100211112220100012100121122222122210222020200110000011210011220002102210102012121022110220110012221112121020122020121111020010202021102100221112020021020201221100000102101112112122121012210101012222", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020112001021110111022110001021210011000100112200010200102211010202202012110201112201110011010202112101112200110220102201001211002121212121211002101011011121020010011112010111211001110002010000102211220212101201200220110001102122112", "211211012022011102020220202210211220102202110121011201011002122221122121211101211220110122222011101121200212021000011210122012120111022201120122202120002012112120101221210102211202020000010202000011201210020102122110221021121120202", "120222020111012111221120001212121220201001101002102202121202100020120122120211120100201210020012112221101111100011211211010201011111221221210221022112200012011021021000202201102101112210020022012221010110120022112022110222200120010", "200011112120001121111112212200021020020101021112021212202022102201021011120000221112220020020202212120101002201222202222220111002101221021101100201110121100010020221101222120020020221022001002220110021020200112000102022012000201021", "110012110112110020010010001002000220020202122200212110110110220012001001121102202100102220100120012021021201122002210011220120011002021210221102022110110010220221221122002211002021112022121202112210011101112112022021120101022221112", "011102100122221120011212202200211221111101122020101202200112222212100010112021101001100002111122220220102021010202022211001202212121011000112200200022012120120220212101022211101010100100010100121211111120201012020212201110200111221", "222100001111110001001111122000210120010011221121202200112110022022122100022211102221012002110201110111110111011222121011000202011221112222200102020202202010012020202222122002022202210110220022110001220010000211012221110000112021001", "002001210202010011112020200101220012200000220020222201002200212111212021101021020110222201022020201210202212220102200020000201211022121001101200021101002110000111012121102210010122210020002111221122122100200000212211200222020001102", "012102001122121111221001201120220201101220121022212201122122021012100012200121020101110121110022000010121120100121210010220121211221110102221121202210221211110201002111121102202001201112020102022011202010121002100120000011022020210", "022012201210221011100221010011221112010100120102100020101212012010022112120021200001010110220000021120110101210211020121102101002120210012121222010120112002002201101102002212012000200101111122021202100000012202222221121201001212102", "022212100021002210101112212122100002102121000021211011122022021212022112221010002011222121120221010102220121012021210110211021120021001221111110212211000212210111100201221020122221121021220011202220011100022101122222201102012002000", "000010120110002200112211020121210012211102221211220022122000220202002022112101120122201122202121001021020212101020022221200012221020022201212012201211002211120220021222021021020022010122100001210101121202100002220012021012220102100", "200210112010011020122212200122012112010112202201012022101222020010202011122022000011101001102100112110000210120002101100011021100001020021110020201222202201122112001101020102011222012011210101111110011222221010121110102001212212222", "000122000222012101012112212121111101101022000000021001100222210021112100202120222122002120212002011121212202002020012110102222002100120010121210112210112022111102011210022221100111101222201221220121210002220112022001222200221221101", "211211112201102212022001102202022001012110011121202111111112221011110012112121202222012222200020122102002201101220111121102212011122212221102101011001101100122111211121010220012222120012102201101201012100001102222210222012122211020", "202102211000010111010212210100122110010020011101200121102022101022200022211100211102120121000021101102121012102200100021021210022112220012212021020111221022010211200011022111222202021201100122122012120011112200201201012220120222010", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "121101120200100102202122111001001022202202212012221101000010020201012111210220121110102221110010010200102112220221200201211020121020010202010011110211111022111012221122212201011002211010200101222021110022101211121010201001110212020", "021010012122212002001210011200111021200021221212101020210020122001221202000212110000210102211121220101101121101011122212022201001122020021002111110210210222102000201112001200020201020201000002011200220110210200112200121112220112011", "121020102201122001101121201211012110201000220000222221220221210111022222212112010001120112221000211201002120112221011000102102001211221020110212121120111020210112020212120212020112201210122010022111120210122210012202110211212222010", "022122102022000211122201202222111221121021110210222222101221000121022111110121022010010020111211121202022210122121122202010111121001001020221200102202012021200211012021211022020000221212212100110120022120122000001002210211101020122", "112102122011001100222022210000121022202000212001210200111121020110210202010110100212012202001001222121222012221010102002111120101000212212210002111202210002112022021110202120111212112222001111200202210200011011122212000211022010220", "222122002001010002221011001020121101210220010110102022110222211010110212021001120210201112222201102210201022000202110200100222010001210212212122110012210112010220111100020111220010001102010102000200202210201112100110021100022221001", "211022011211110102121222022110122212211200110212000011201211022202000211021000111111010110121002001110212221101211021201122111012002000020100222022200202201020122100120210222002201122200010210102200112020102002202222222200120020021", "210200201122222100200012200001110220112012020102110002120122022211012111000010020002111201112002100111121021012220111211021201211102021110221200111022222221111221221021001102021200220020200110122102220112010110210000221222221020221", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100101020001022020100212210112011210021210201002112122210021000120101120201000012020200202022001112122212121220112000211100122212110202121202101212121202012022222220100002000200102222212021011121021221001220022020022212211112220200", "011001201022121211110201222222120012111111010210122111112121212111001012112001102122111102121202112002010201012101220010020200020001120202102211202001222001212002021222020021111211021212122101110021221022200102000000000120200001022", "010001001100020202211210221012012120021021200111121201210201121200002001012102210021111100001102021210201220011012011100122102011001202021200211000202210000121101111002121222212221110201021202020111122221000001011122021012210221202", "001111022111111111000221012221121120100101111102221001020202211012120002110021011200101221011221100112121221022011210001012201022200200021202111122200121100010120012212021220111001101020100002201200020222211221020122200010201020000", "200211122222000002200121112020002202010101000022222201222011102212002010100201121202220202100022021001010201211001012212112002021102120121022101110022010200202111112212121011222211121122100000201010200020110111021022100210211012020", "000212120112202020110222001111210022011222210011201222021000121010001201110011211022002020001210021211121002121120222022111012110212112122212010110100210110222022020122021122112211200002222211002220021110010010010122210122021011020", "010202212210012010212221111122102210021222110021022111012021200000110201110100011222101100022111102002000011111021202102002010121122100120211211120220211201001122022211102012120012120201212102100110111100100210200212100210021111100", "001221210220220221000101101211121120211002202021021112121212112100011022121120000202000122102120212101002111200120210002120221021122200121201121221001211020211101102001120200001220110102010202100122120221110100112222202122000112022", "122102020101021222112202210211101002012101001000022200001010201220021212010101100200221210102102000100222212201020112121021111101011002100022212011200201010222102200122201120112000101020120210120020202202012220212121010112010222102", "012210220101121012001221010110021211201020000121110211121101110100120110010121220002212112020022212002120210211000122002111102012101102121102000100101121211220121020200112221220221211012020210201220210012010101120100012200121022202", "000010220200010111200120110000110210221110001021120000112122111002011111101211222001222121012001101202001010100222221010200100200212112201111202210010010102010121220212010211212212211210121110200111021101011122200212011001000022012"]); G:=MatrixGroup<231,F|x,y>; print "Group G is Co3 < GL(231,GF(3))";