/*
www-ATLAS of Group Representations.
Co3 represented as 253 x 253 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,253,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"4265340106111054361065622052123332411451304152551012140655605125346024354311406552353362351214424365205060114625040350506434606065204540066044060665546211442561516043643250330316345514211315200332351363150236355600316043501054241422634440304452556236131",
"3451624236150664036226311003636333563266432041535351331026262316453646251366255021102505442440346436613412416443154611013130541544563402044234325420426353136100041626022643126063230046250313205054142104641060156340031153604455035534244415615145131221412",
"1513545216064166111332113104023323400634041040325431145306511206123512615041055451055410430222506232331211425502124035250002534105021462455022505634463260406543556036623462113662516121043451655541215453045205001303641221625216516106661526142531135400666",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5320065021133332506054650431101123425666606056164450164441321443116263512206511166563145251350241213361631564634032655022420606244222545322052500546240544356426342003343243344656234503111536223434404334031154650316613416024304465632315042403526456564636",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6260232252521162203403534251224155203354454006401611205400154451233260020013553526604441564555636036605616315133456256542562155250102046422334314565553623355302160226515564402062252633364611404113165621143215634621604644202316521454366425622550456460023",
"5345506402442360660113261342352651236455430356321140463621225643163110655342400104143303414362531205510325161406641560444464604260650531605332624326363154260506425246220266164311350346052150323356306244163652034122456224600251334456331561113232255536542",
"1120153164512130343042132000101140111354164462622246462334446364652416404050164455164543651556615510535423040160334306513445060264056312560603326535600151125210120355133354643412000146222462105161101614200004611245535560341331103305024266450056425016423",
"3215046014052166136034414020131334020642325412020311461136426446203252233015040316621363321043453146423163356355220506212036322426021630244653460600431236032035665443334340351516502555331400302333052354346443240260106523626362546150535413043642604315462",
"3454225360203000621063224311030623544522546065436302432333424605311122421644432115206320413602312466000221602012242115632154242616105450651524563564266636221650655524543335623543155031145130546210212022420665545616132514543352562456653360114443312066151",
"3263402453432204431160054020514113203210401156116203146255552652661446356066651356502150235221443546564053614006165211066221622115452450046023211163320144420166160656362663231120361211463036411550216005551064561034143342342022433550220646122202534512133",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3631211426335151405056266364126125450400253615656155301314256421634042436260513325201223512065063052642530454403253061244341354404133334362460625555626261406411440300525550632245366611124646316501316356662663165141404304625544545014050051155316342342311",
"1614663405056223066322120564041252631330050552040054363331312126201501161546011220456004256540105014630466003665236235544066422500611500135565040500133643162354523134235363436213501124415304003442004333211261666616056624654024112154601434064635420315564",
"5350641065264666155221160551513533516112552333524501666046321263555156204110420422656363366644605604414336416356040140233103442453002656314121366601434362020304666156140221561631253020065316254565016213601505161036445661325565121241515042632642115055044",
"6356546111365016554605121256643450001165321335216555424051151322161025516645623016405343452562545632106361636251420005302455301266344302406364010200264205120546140532336263643154543261562635145344625106111633106606026660043212601356252616046015211363035",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3620610303550003434011216435204363616313454021305550066445046562623535203161305636056336623443064663641101223603216052541222326400422366500341653425204445513613124600342116124060510126102564340062454240565520255263035051112360244412504041031045426502313",
"0236034425664022344016063304505233230032346114324424354104161240551536434665611116041356242220304230552261466014262232506043110660221653654341326113040021334534601162564153544532322534152046061136450443025544521031401015153314054130004365004615645035136",
"1410654226464446520642334300164155405125260255032302125406115605154242515231361465604344540636353661126254414333461142635036635152655464104616140642326222361120656321034026523262235040603465221131200433224610515115630240252446320303136463416265313551661",
"4531024065534260310621404162022466664035034032352612603400515120633261256330024145140630210463630043325205610524563442644664164531254440535604151444335542330020031024425563604146622426256310611222155656263550016144060520015040456136234530622463610521605",
"2522442416560025552640511340500451163335356262431134525056643465013335556154605312126143523665225643626015142460434042052154444104260222366451301242023662464324341631512123564524214636554100451223454512546043206336520040645353324364535604623333323121163",
"2026634354135041566213153521251211336401532033063166023403555660333444365111044530543230360346323501306526516011632522664455345600102412416344146565506041336443342001414644662026015645243142255411052633133612431355453444516422110303123645510130654044203",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4026115313621260362461220536413051460614250111633204654662263046601055164551245344600300250542340035234322462525565656120165201534423210366061431106052000253521612300662612101514660220550363546454030346111523553254623231646515431264255350314110106036664",
"2625256325652146626410625065201315321301555052216113523435452205320411054341164000460053244556566432452601256240315224412123156431662144561003401206046045264213661530123646235535142146331514301316116345250564256352146363365023512511015635446532331560522",
"2262125314165246213221314112033343404515162313615055525353163244316004031023662520056102205053604534366441044544263521055463610402122500123006633355534004253513240225146613226044362563552615064512423503344324234401146430532651214042453463260353155354123",
"1211244213612411146155333640562263640010556636216636315201554620665533261026346621511356506165461200114005540510253023651005054152616050053055221306412224465002325121401263100165254450060301514000356144420511465010620444343121134652141100450225340653531",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1133501515436226250655562161030663136053613642164220043413022611006053652452001144405500626223524153134556046126622640104505442215216641464026123351663515132551412444450613306435261612356001030642601553051252061651022236235556254356134251110612350142220",
"6456203402245555543065246200655104042024615641150340015020425503321144420145601550136404131522251625236436133104441065456653640140615416436146236324620454631665415633412064240066404506404334612405105064124605221463244464456500055462455602261550460243111",
"3151462365012431101610310366631342406320116212123262461515435531164225612001662032512435005466121364000350256633655450062506522653302006656054452520605534400256561540101542432153611222054130642363103000323320464111116340252263313354526554520520056131522",
"1640343450603465642153620546165512233315533661516056156445650016252306166324301302051121040146415466122506324336455463624133112340610200464522035424051531636565366304431613623641046551435552515310251225110522453331115342310161136412656036522544645453305",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2120534324531522543565222514202555163142215554320654542345425001200506044055433411163141664406113436546432663512360161363425462321264436212632462022031315521002150102102235061145313230315626615533111022642623350013325425653034410551420143223335425242246",
"2445504511313453345204531602244115033413613034435666514363046516555211316635025634613524224532245345422613333344204215641402330510230234006121536146125435313560434221321146504626213402424040353224604323253220130004542562245335662652052651554320024561622",
"6246264540602343505151400210603254323022203301414363333220542532102513543645423113206515446136543565123162121643030655146350650500332631450012454616156005466113366000113655255623435342555422621154354600462140324045040051361440112652442143252131455566122",
"1200144551306403452101402615251642122664464331001030254002062010055546140235666222021521233110302646060542024322536016201610511055143531515140544414323633636251123130555051313640256564420554234424623140021524334042500250345321134512233323242402051402610",
"1243041320266563226201222256365362106040105602222401641624320406413432066213662433260641346413045640504632500352336411211605065302502154165303242032251016315240354402334614134033131262526324314403020103103410500461530532021545033531164215106312245330310",
"0044021651550563124635434531415224342461661612233504341654561154306334146006565262236111163202255124231431355346226665206431343253454101413241103214623506355560354635101043640430635236121013334500161350636256542133151624550523604160426550224513640203653",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4433125253321615536553350002252502411604531040632221140462426014214113363351663004626042554146500463242133244656530653461660655503133531652421063315436422501340116503052023041536546522300002221224053364141522566345453532126666652426030502550550320316344",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3003152564560456032123166620363130042016111252465344120642561054435525541405102561002335252032145454231026445646114451622303102144126151615003022010223353106054602155655423434456156360510520352653336354240256113446603433342406642226300251222455114653211",
"4226036242615231614405412033026062334606635616164601004333135066030340540404501533534153126353542353025045322643010522036034250640022114160540366444323511453510423556215534554434560251000413355514316040352442035656621262026110401213662153353425426456346",
"3434133606436644062106101001204101011206452461335366360614425066030201436636412553522500042303423345516340025160653533021130641502564565305530641456656230114146456406423540532054021442021203606004423556361221130332561335254402516153244632201123666262110",
"1344356324222522254055166064103652262464512316200343022155644163401054454412142254346125605450341412565630366016113644020515102266302231434615110001431506306664205353040123210664321312061016501014161516151154541641665600505520042614256222064262106411422",
"5633534503154512412460311332213343153453464120534543201636024100546220502120305025601160260421254630422610243306556602162221623416604310204125206431161110101064166542215116133362660003052355620512401212303543660602164363636224615112321123402515046524504",
"5020410106561014543613240633216512626302334446006354132426536254554610414602606456660361213235051313016251230441312124626445120512004603631651152612363324464246342352130265236303623355253324501423035534225322145003200610632312365165342054260166323033536",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0205110033552402653115530661302565511456301334444160616635020446014331325461200350242224064236520566030156146351205623015334245441340055256036316243600321014563151016216215420455304116000031140314310534101134250104354350531462410364235233255160602223152",
"2616321053311226456233615435064130256145424203306446423004022260423360626532022424625134302552342665064062524112466221540601330361525061625611546644462066340220663300026512555022201003013151566136040150556431015261553015644326400435346343630303355266204",
"3503066124525225122550125442162515535445233221026315515666231414153345350012442201325641656145341233326522525551631053540644565256444402640561632500260014016356422106525225505046533635422140406602663152626365220336562342662445425021601301102440345441652",
"2304403413530615213265564113444023565531511562013362454442352231542220500320212466664105261611614102226616315421416036205220256441501010356336611140003161162424052045223344345624434115563340322215140045036304644535203164600145046660613252642564635562413",
"4022230646625516510165641015360110132443362322321505405542131400651624164562150154330434521543554300646203540642560565064446104511130153012611602010321534564505144216660442166050605164642551134256120521405515541256125566246222222052344324600302234264316",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5620463054166450504520524522044430623324406000332544400036632564356510511046444201650325601363163615664035515552534225413055160662626512115235045230642501545521616526524461232252126111651654512112654120242224305321535425232150331501202163054120165334315",
"1144525331335505402604002650312166152655203535646633404233113222640101020143026042265252610060106216313326042622534626622000440615501344164214465546355405463006055135156634655300331202451053140543232320435640455600166426014434364013220031661460634124445",
"6514262225651312404352214601636122151226012324111430500464240416560563422222265000305230124422011524635033213533411122545163645544305501640560113602231012235632623600016344651453124516130624325021161464461620530562142645000200106400464030066351235340140",
"3613564122626045135401545653032260363351363451664023516541633562243261604152512564354644623435205460136560220563631514144664344064215136143333133100633041423603152125064624041325103440153200155565655661014140141644635235634411120643210404325146005340222",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3361463544425205334313601510553102256352644320011026330262526606201235553365262355453053160540114062655356232415143513563321320305435050655665530140242250510435333665452156056302343130446213241540313320441436310254152123600505354055614132151352010620450",
"5162235331642235143240401110166360445140552514320602413033504005102464305355000344051233640453551122312400610564522205115351210563311326462646232016504212034110541343053430542254646562044665423541441023321664606646500316350043534603632011635245300353106",
"3664011064010563054434143305241465240224254300132015104120664062541321650243662604253146230602425366631453643265655625364302622334512350031053636232533661433521445641316505652153404320550162320545243160026560442005214343242152410163223553022603126205405",
"4335643220466224303611544052310125013504406563631260040244255241244515566366051543535226614160400103643540121442662551401054612236541116351542606565114206420416220504535245262136303422220610014205554510320636131236322143502435655455116300660363625056530",
"2615015665033311422511363314555364255151452144466642322206154015661264402132212211163312600021410250656606521410620402003206160141001136602316110205032342364041536315503641660223541333406133313026335110556114252566426601532056036442456413513665640330446",
"6505321636513330642041136602165416526144660512515010065066416125446562154626151110165511021036046144113024613244636025431201604011016400524645232502001053532060363222554314554122265525226220115045354165440104525454433223453121521302201205326605511141160",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1332243546611516003522116545610253062060655164103646626662122553442441534164535124212156135164101565234054102031641460335406220440201042150452226165251240206352354662550166555342431231336403256411561320510135515320615500442232640105261205412136204645263",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3542624026156411060540252633215222160620635265212462154640265631263255340356653656554012526516440062031035560316435212531554230411634113263431223062261456413150342565114062641630350255453441061011133131611066224002302513610164116350430263240532401441646",
"1415020146304101651034056253014212441130012620262033623146650405605440620404426511641534003326614504516546203106532365561204255155313362620141333200101605320033404632125560534450340215246640466131214034626153361651021323365562063016054063245361163161410",
"0240461553320430024616603554025554042001254245006110025260544135306601161621100365431314226631665563010550610102621314232020165010350635165236464326200006251046564146562345165243311403322656231224456350550534240166552634110204162665155352435254315106301",
"0225251366363604630040514212221415021611351254620325406022022612306423011023114156203426264400255640026530023665260021215066532036454536465130320262133515523652452166352121342103651023306020553166360430064453235453425613633423122524013021461526261431560",
"5235133513354642011540053563261451601564215421226025651031324434614040012363524505455651263246542150163635103003366203511100646535534066110400644052504053661650530603144022434352315465245426226535646624340140253063235055354523131556362413451550066431350",
"4301431525623554064534635341316165302001502053302062543404266541555405055665463566141302121546215661310410636261426316523415323106125235554462123001600605656334604462305605152164406540133052215222131265530061061253421244632633430546414404505524566213510",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5233502203631160256133403254034620161444263663663040025553660202221014345531645643265533401513026264445450036435505063441060551165515425423601324431250324325506613014562616656551543401322530656561421040304331532562606400363423112434663305015306015510244",
"6245643321311225212622010055442330223522304330205164304026355314432361545405065145604043020365056616635555655241063523524041114625045516006363125656241153554265131260513366535155612326634036664346044264264221016662502241012466065505366564045621322603523",
"5433636355215633323600532630115200324321224416436360644650422303233511320032260542405643413266060651545230143361131024322356521545016632205360332362414420034605463352045526060565431556413664542264115236556236200105331331553615443214201351313145505016023",
"2206332100534026053364066434406332553552021563535340604600150163003065664351422111503220335061634243666346640243113325054414336263222541120632345400001565244553155442161002352302051362456536056242025632061441431103550523215520423131353052625512266504633",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3230105263555026634000265642312231244004202265153105104361642504001614105654214613112252411463462044405500160100646643244633650641246255135156563606361454106542331426022666253633133404160253350424444161332226412646040302624545365044221450623443056060264",
"4552145155054434305324210236622644604214620460604604462106264535135004234266632062355325546566222561516202421121342025265660650451166105640106113423410256040356634631310024625630544140251136531461354260526451402646161162356333603452325346125110124060044",
"4530014333360260540600653562313542056116355610121326066154046241206201120336031365060610052321265264146161250201341110552302346643465000351302641455014521633325606035421550025122313332624550334225265051125002324465152306213412533646130210024531604534135",
"6504441405354453355362064156620261110125262202220640544121440361601661122354040563162355023515512415103531310336330415356604335524356456310336306602654445213142425216602361505112361041216610063256256001432663513463052200353651031313152441215264512046363",
"1036232003111326046026100334365520503354231124041231466436033325435335423560665125346361226030025215663103446065000306234556461603100432001244154223242536605563312035224205230436231062426624100353415436254012563034564352543443153614305620012220651156116",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4365501143112305443414020450050342444225213010521460410061336513631451236566343042402625231411133404030164206052244220221363363001215001502666550346266111441440266050623012241250521621404514262113143030016213514642550542612133225013032021341623323050423",
"1644424411661155205104211522104163061142351443046550230502245130301305214653511110433045530635332213011462060540062105112251362021633350054562460366150535406652560515321464312315620412230253252043461025400004304144042436461554201641512541413022566101252",
"4015426355622415031554206346102544111024325250256166623211554561450036350612010001240645636330506451453200644001313025461546545326264351552126606041015651501426033632104012112313441565352101441421215550333000454200645211311046153001363051663063661654223",
"4345113541014451205011521340234120101435231663413233361401135245351024212411134634326660662303641630630135050262522340503043152403306002455553361662641062624463336030645042056531611211004164402012150441233045222435151600036020561165524164264442231563140",
"6212346204452142462244240026005664346550436254453402132115611433015261212501423136045323305412244300452221551645552353550622626632465623305140523522011111215305126451640606162150266453311643335436005240456650522402445141145225110601152666335064366003320",
"0050200345552621244032602034130510451105543333111445200061342264211434162645201241042642010561150666221204616212643551652516462531552253122033213133046222131604131364404001541560211125013555351612243402506252566032433505002114632621433426033446051103036",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1425205261134431513263505251164555220302221012216254455122243463134033623516562322056033436144155660244254044161302254220332525223411200643122233330354106056230601202021154361216354365651225641413401116655033451505356150526063361255520425531001010335061",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1521443226635663423235041535603235141115331441121435006006510155004363652342053014246425020555612343600665006556626133223104163135300441620541143344511623614125044132345266260413614633553512353365301115600453661623202362641366113334543110632536315445423",
"5120316446154565263155410451343463641314202222606423614131406164533633511533060253220010446216561261562006412252261436630220023621031064465653255224616354321012405004665125624154566513010444261040363362223260055063433224406136446313132604516136113553110",
"4331545442251132205435441421630006254514462000361263562465211122506553524130130134665364506136555354031363021052352164164232431242551532442343320512600136151340010111501165613534462626152020156504526033440033406251620260533004204644116424441603513262564",
"4613233453561543610410202435556503040622232426225511146156512350634340112150422161544412230453533163143404415215336140555052123542332036555431032530415316430602060326445621365604546652452331545634066633460056334626026211220213264136342225205612441244056",
"0564245540216143215245004661560511525305310212600014303342546041545126011450643341204302135452000323261250102550022622163542415123231121612611062101162345242041303652621612436004110266651505064033023142240565534234236222626661545046314641606205253265656",
"6620350121405105320001022210566342521001243541614550312226246226062405612611023550313353034501361430065121215324320013435110220336430342056206316133152003343121213512051221501224056324524132203526550612323523330145613052413521354222604420613521102062063",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1444663313052301512642601434010461513533645166455635031405026660561350614215024545406305512532663505251240103104515326335644201250632215103025261563005515202603504231236554312662002163443304450043415133056545035002612304412266430132453256010001634666322",
"4236332363636625664224665155152665156051316354350221021241336021366024010106024422543062165606622334262115515663500612232561220605104654061544450561115231231264645320416562463522160213532353644322625650266443554343160062045520456355623646602126113216261"]);

y:=CambridgeMatrix(1,F,253,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000616001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5650241006001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2046424045320256416642214504520304133411522232132664500366212360260241204645255215122311332666602440320002455656100043543266323356531643342005521500640334121461601611520411535352403662511653420534641665631556132136234001315310033326542345336453636653461",
"3635660256112316633361642612041416204054355014643666461112316422004052633516011366622644526125263246536636323264400225266012336612014501366310215652640023533233510306251510322134000511225563331541111461630032266046026644664050464646143456200514345540145",
"5104335054050536022642353143456005420613122566050225630013400336254030212506620362214660101216303151003236202243201223202426114366410221620436113161500256614621135160351164602221034530333241311546632533604412533651554023263446454251060200625232013502616",
"6164632602542245635632535326011246150421664666636136302042444123166502132356325400132565221623360311506620042560216016160505366432124516060226152140624264400602155521554450640402241436531004235542412155326631255553355135354533212364261551142426455342233",
"5544014463443503361510206313603101633041233236452566566145442440625025603621115630251253531124330553616416260315666606055204265600326464443334006460143101420123362455414406560302510116404514516506304645201302136143213451551662665025212262536520210065464",
"3251343553300361632222144202155030034553546134152361420322410143462033106314650300016145042433266302615313605110515610352154655140310240263001642253251055125352222010101044310655125634216064561245410533444352406524653626242462012302061203013331224026524",
"4220665125211556166264144230401013621110410565446142352124623224653131204401204424322243355036646124531134404634665351043230456351136143460134615422036324333513266365431514043621233152663521022455024543412226044030633450113124620031446323133522502642602",
"1020441351255160221242110446325115525030253061543144663442646033636212016201664143302533324553631040136105255131625661660361043120616532313353500625634015144333046300240316225320401030316404540000362306606014366211041451124604361400535526310053513625201",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3246020302346160300144231424041121011145354124512016562316365555106224242506550505361661514505536533626610510050126540633333003111005344366605053635303633206536201435365616051303610231633634415121066060363415644223226333314102241334564315301241124424053",
"2022101154360512215350565461454234366451206312543362312203265236443451541532245404540044250164120211635046406606253643561211236132651442301310636200455615665014236315506101453356166004550310322601324015503142523362012211640223242026360534500232244521403",
"3052061561052443524534563452521266113350062503021214205515456631414216405434613455065154351025035540323411460615116431155643131203126115020411410563662222436030446143013440513130643300304341050520013242303542654450132116606112114411215333023006050602011",
"4550104163506216566522101652653230462052410653044652562035063113256226005150653163216014236130353456561212522503435452434410011152306126131423662564345056042554153001045355636335502605131636063055336526026620005022203532362241001203262220050605431221016",
"3544540513260440643563124502244333111646452455430446143031241462453551434030405524561255101164661266116400452016053634404305222523353364353615424464114451503334501232012623105352210332403110351421320006126043600615624046146663541314560402563540141060662",
"0430156002421061143626132046065001056134414544061546504210023420403425522022566535224566414535426420151642565251310126310511401035553030021431150321602131224222015013126053306411141204326045654046645133614363642642206605002206651115226626041525256121565",
"5031361043261605465623056420461235055646106664253230343246016201230441631525524230461311305145666036330133014414233032163343146556242103530616242526161006141611464500621302420626644661354555461230560225422622650153320620026344552556616651236205255000304",
"2423115214530012056014244032260245531504656463432145541425526136264544363642220355661646105420624466423166344526230412511405062213526365635003215461365461063554434523162412530352522554056301323443161433040410546122441322526354623316606433135053040436525",
"0546406261015410653354240021326033111433631226354220646500401500263651263346665036352101151514426603266435213420530240155410444356144153121336633100530345142046323253326344643453522513643160160662604654654035561616366506603442663305205450300060661010510",
"5530466543416352004164430550052160511344526042656056342235022453563335156365354021042252632350415161325365662252310646532042011355450624414304512242524104565152421554235114130516226353141314032424160110231126103325465463062460040123666322522015255344464",
"0236240465440366466565122223010606660234325644302445506541431204262403141025563656063346002524046530244321143342162336011633100245151313204616316620034116661423556360152132653022246164324555633102646245061414153503063240453420656450523553013254604664326",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3564123056056531060562330653332065356354012261163655565010263106531423004023240006200665241261630360501030363660156315136043555306340033535452232210651451315643001604166030431106211464404416034336445636632443203230131640314522164262130304325013026412312",
"0446156626600342206321623665200435121350543254036004236355311446254013601061326630410506545431625623642503346100222210015664330334224126114433441604633321661002006430352452155033462530560630312504633301660031321511160054635131553562341446014606425134666",
"6536322621141654336342133256551361134424443611122604543445032045462100350112553022041302433045212346333502334405036660242562042312135223410360065240020446512300220121114562204524434420654503343635134244220230321645433110225661026461430532453265631031311",
"4136610165325532645561125443224451236405506431445242125545344402132123340332631524112405013321460311603644220126565216161266222111013263261243636256626625156011102325460164506565136531251445154404130210216625530515363122563036013343333366566536104616346",
"3520431343315652550201300516003612261063316303100355661402063455401503213003303100652463226360203413565245351036034211541021216624133562045403451101414453604114215215312565634044010543320505224550466266344066541652263360231146553205646514016154635034641",
"2666414211320414450633424260565323130411601063544316012210014441311163051642504153415602312542215513546612113634242126555064545256335601465614634616502506362231315265201325035223564045115422216324454646531146256114023064603523661163650664162463155530422",
"2334333135005440062043433254033404523602111202305015636030060051651360340521345010425011402445243110000362345322052450213500522252154332106651264500152021644324132442653044032066146144646641450201115211516116222265253360253536461021011454042335656065311",
"1620511052024635000332023165163065502613466352246324265166235004006366144554523231005234521156660232266631522035622666366313250001630556335410654663042044033521325544646043112644036101553341621510646514406614512435440605543453024634202141030204555616114",
"2200452434615060202231425043624404426352121315304032224053034205556135020531316040022034525065266320521435064320555345232462510524515305666164365153550554613225622654634125062163030536456024635515564056013411323612153004222353340024104304234240422440055",
"1054535565554455240225265250334606353562540125232640104132366660501302503104415406244125553350024442305615315663244110632016256135220130301520004431356341126631216011200666413464003164356030302206211136366636013531446655622521266341542062251635026435640",
"3330264265041343504404115306422330356006165516555052505116055341602240411252565353342201460126250135515632425460320262114362525341330556544413112642251302430206652640555166011102224632663406664150642021444632106050222520414236162431051101512603465040524",
"4644513311416651203512504514614241336315460556420355242216612144405343616335045450656562006132504545140103361415261000062503553515060241423425662544616505153545635100056611460031615251262331052264625613046212453643146055232662443460050656644336416464341",
"5666326565465303510122324153234625566603025651223334000356644260204416436200130300223161234240053503533344124062665304253413215644160345361305345413624026112155334461463343001413231551442425400240550133002012666542063654312442313004055262026362054154136",
"5324534500246653420403351516031525001533244433562433205140604363435254125634446301264335432563421530661003664053231565325240341400621501102054636532003642462522161364212105410004034333423233661323032253506652632224234405020351661210230356031161121301662",
"4506522314664466244441115013303100124063520252541344040446530013243412266213243022251463362210115320432330626243350466530131141104565611400602036012605226521604414516235566242221056160001204540122040564352010533111640442614425445450454434164165141214202",
"1353235434302551115226210232005216232154452513504662522120416564625614034054552050023523143465260156020564233044514363660633602325400225533653240336455645406164540145633103221055344154644661114536355003262560605026353633030635000522101260252616120102211",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3405450620255566610452015022301406430600243366333314363021003215542546502165413251431613025361355536333620302461505322231600155360166516512264212343134144154623603634046562030313441532364021313400133256605504603540633011135546400033565340403160115106645",
"3121404062032212426321165561432500103263330206434064241052026560214312103204435310410000644140300453603052221216216160542433066303505035235150521630415103213525236320203365414466266500313616636204240514611550515055663302051660305550244506453306304300515",
"6513646220456053414260534231562663425633404442111456452130162623321314316625322300243310623542401115431326332044662405046011116655324103640030215262565035235505465034026434116512356324224141055346042245064644350642254453124254134160300315121021353556622",
"5333366361426446243044000252310662144612334010210154421345335361413360516500311050032635204610611320033335215062660522036114651515361603533306001042554133106602123021260536430331066625200055322452223444004052404124655203603243503345250511365511125616464",
"0152444605240104035530504461366365131151106654340116205050163234665540230465261205534434323466235302152000633041111205316430615360010106214661606223632152545001622416432020410535622554525511061013056626161365144416331302263155364060363353503266541462542",
"0113414316222615134502005411123334240521511236214562421023622664340064240105203426633515520030226651324405163503402333614562521664541551564644140563401051503233323311136230005535661112554210512132433246430215530505164450320132302323162212033640546256264",
"6506342530234164134334421512401305541034644310565051151422640510322101351661653562463426565213431446526563200306002140562362514400302063351300262450244441550622064236010154264523330222353306433640441405344561450302200666566323662036321052321544136455225",
"0013145642010561242130502253466510233236255340436355653333445045606255316452053156135423246423303114365525303420546663134021021400144153332434006624446564216006231006302450525003536315344105365550400024031052500346654630535524404204342402305645040310661",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2663534624461622206615461466466615520202422641023060511053224403052664023000140456136264642053154460445152021213443111612360434120260125060222041016036420603534256661362160330060316214132146611323162232402425565325511326354510353541305656062211452451205",
"5411161145222351442463446655054602332546012426140223450453022132054513025250114610032121305601416432406300653102151616662625263204110634460336536556103543435152524260253024351145320341043420056140243625554144240111210251063300440060005621311514262326434",
"6521401301632546034642025013631353501502042031361530624342665162006202443415611546431155211245243121535424664152205005022424120033630502562114243643455346043053611355320662140662435462012120635256102442522211654035136444534634152034151252011353421644044",
"4002164451542366150151014321331103264246610332326202360612356336350545406025140020341155603265664032263210236064656540214341133342040020556162663501202516666526030530530325603443423035051356261110104625563464411641523234206000234651533561541555333316015",
"0330541010255136445542543065343201564200312403462431244253415221564562431100624623601504133122403456423520061206341242526430025165251430051332146600635012351212232350430112410252550466336153452321465334413216552403522005654206022153066403200621553624355",
"3561340032503262641444512126426654112403263142463654404354435022136412555136350066616343656660123054646066612434654655000521136150126520304660312612415623066432604445263252341160432624306326345353113354104626040014163526221535112204315442664466522546613",
"5221214625063634121413046416453550114641341535164626510222330351531511563652634430332221232244623310434450420033651126566551051460534233241213626324424026331541235160336344200441546301123420055614533462431254315554203550220441041345123116006262054513115",
"6640036114001161151165161404440235452153000024231553465304542440015414060542644622653044213336430431162533214660520006204153636512516645652612160040525163533354502664113312204101210000415364314154312643003312155326425611511443423005222302156222366335020",
"3023410346635401545002566556322614614065115615124606356524064533625345551230516643405355130423642416043315140345043642251311662063132220401063562443616431201361566342450430112033250515542466336624465166555024312402061312614260311260641453260102140005044",
"1523016330154135064426412315334100011065231305430623616041441326514202120251042265203254063226544620103256411043262266341224455611044646325321064255312062403561331126655460604161466443245333610330335552604322344466661326456614415445100201355346450612516",
"1541046236416643635316620053314310355120463536460363120305462030132163635056652251005650530314656121653503103564502034402331233434252414012533660330464511250612241603211156526253340511526332150203512005143113140603662052136632411346600200302613030266550",
"0652512352640204543664604232544636255133566306064222355344433051132555023213206143661321233304343002043442162362605530031662430650455360450035412104531312210106666552615424155523014125532552666112146505626134204330264024062502304032410641316454632654002",
"0106322535251354213354553432043141156232405336610445601261555420316226222505412161034031024063135005111240331630660446662011151633265213003224265524432315311651222505406666435332326543151066343420206452354662045421340216043205605336330433423410242043231",
"2352132060304214105301364405013032636515612262251313042264560353622626503506626144652612500425113532316205063011465663305104336424110560223453012626301015513054441112526341415334132652546140324421545213034466456034346543243354533546326020446425502351146",
"6435444316455452011161360554054146123104135063153620233621022330036465403422565503301054611212224251652005354401256466020115622120002600404042602342502350603555033013610650120240300101113604526223552116112511036306160362205401522351052641012133160522163",
"0256360605566420321360555425311305400130051543521223222646616563644650060363646135656131151016456301135531516263161102424444324551321105355521501203054113253463225111050223463264022422451660646350224433251165136514150534024223054114340150323340322123066",
"0135131362212120402065204022023311010332313104505623033050152223313015646154025563441004055400460333404044360536052265546315224315200355351312134101342563013154456344640504563453651431136440454234245265152613630635243334411032512034554103531245636155503",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6302152440403402231456540134323505310023402210020234231614610440561351262416424035645160552366541526210100040451030525331145051066255360150253100543246023464061661143361550250426156014225120064601243266223105212242033412030042405204001212463521266451050",
"2564351200221254461114103443363615153515351644653503235325265525464045460564336003540116112102266124641530621003034633312552354025326424316446260134563053333664546143662653044563225405520221354162416404620623512136411556546316163143603363226406563303000",
"2566625203334320410210613246534321332201603603452435331241555513413154555236346415444105441052321120063431215612651112350051313126234045161606202525165300046603666356551626652316101143013200322254110212360610063241220011210564434066664562132514020426356",
"4013024235211662122455050234003241451001342256155132360024501242235655450363453342250005166224242062555311553334412466252302656444556432306345620621410526030462331205540306166652162264126232216162232354426233203224525446460360623625021300616212516644215",
"5112005012351000303526252413154450326033150160366133302632646666605563003664416546056504242156650664325500145316223360243222364100500641034664425536122615314132124331160511222264156062434124663313221664624124120201520061051001055065653052212334145635143",
"2600550445013211455231320045256305064024351420422111412030606245214516224330343416114351215201423652566066241415306610001660644546301525324556200436112523612112133625635211563136054354205440540206641221332435342411406233055635443512411452313034363530506",
"0200530354253443110615651404206634353406105432410331502411053263364612345100612425132103526154120556020633132624100503104002065622341503036633031250664203116050255301414042164025005230346163530102306026141024043635013046605122120231633632552110432652443",
"0361220310500362053350665424330335316320406612242201356045324252504050065303561260531030423630112505330531250255543636566245055660566411306046402612612605032504500366522544424454203123034314615531433045535544015450111020655616343640061265524052612044441",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1420601141225540431626361065232650242442553510156046561142502642314143266232231536223016610004023324010203631204634504162624535623152620116314465112655115234405306366212106400622243400212151116630041242332403132336200645416541312236210624356305656213560",
"2255562644125600310130314651011121236134233225613060014211562216530664044564531356555135203023634533126134233064653530264600006234311310121212221615501555324241412352540623101326443011225005244034366624366660353653460610501063010611536600051326126366236",
"0114332525242523362234023414322610143413013116003541333443300316200303330564313541035026055142264046554303205655135123435552365015466165643260632222403630105034046554663213053440622623443402610255132430443140032632005123106365216246025310315204453444510",
"3436010665216561435623503546250431331206253064542042155153333421133245305560241641454333356111155122532440466640360666401531556034506050052461552263253322154506146551604340333561225610165021364444031404310523230652042301444036250621441424535464622166645",
"1432230533645404340664210466123253544565551666014161242311544354200442330605052015651140544540611506266354016623435531423405155011033516043141403342361054240134226035522655352063406040010211104136560056130535001351320014504343445222636255003006003121535",
"4601064340340412360103641630521301450345212653233412313430345512160056652634226155266261315422024030161425111426663022333162201546200510202663330206656222221626530645533241462241506346634163245263325433651001020633013233022426110136530001305644642661633",
"6643136416316266504405011211111642521340131063544060102011513124245133025255555000411313400350434356306000264612533101462324641105632463366531323340210405220212230644631163202424654146142052021603015101114244231440434211165621111654611613356605233656051",
"0233216341434152666150306234533561333464033222016150052165513620623510335661364541221304414324111536106225311364426010155413003113121243622440556132431233115314452523510510222206566520632434003242401342523261051436105061606340634321236054466262243424334",
"1330154133605312266230153600202606633462602660205062265211345425053116445301123330116554552321466351542063650234401133046610603266350213005615626014040655400523611431222006622250603126644605352661261322511331261646161300430130424445651614005040562546400",
"3524405414546002655303440056553524000335346640545650316364332216425366514106644246541505654325314534012205143532520500415456250436634332656025211454310201615065616315603533615361310056553236136242405603535162555464020342304256533042566423142013666011116",
"0323252432636042411040350431633031324355512303450014116036535132604611400366565122303216605043610340311021626226313333600536540452565433101154262333155253645566310051511501045232210013440352010056003631201360103226061055321402162400112012040132021411163",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2354603303404123253422510365134344666211466523120014514411555321513004624520435143062600114305406636253361424263535655411102444442550215302224421363001003104330212421034430335563051616252666161653516061256144106502352041310314434626655201624555244323450",
"4642220514024502150324341030105061123125642425203364321204322645450013643242443255663500240003500336555300363036615513052145130436410250040261324605241661512144345403014265132436635332252645616413112225643600413603403535065201630443126610153140554054466",
"0541630243225431462433431336204100063552651025111644421054463256530234605344532133020115411165614215002661030016133115204250464250124651622242046041603520510230121626025066054223464236315510420150603434145104351266542201363455146311632544431023264262666",
"6243540212310542355460261103235661402231143122211163463300620644623252205502550350535125531421552425316066032250325632104050356304461026366615362651511413144650311445501334664065460513232004312115031514066125121001352432362654645464553361410101160526063",
"6055122362550536666346630411046131355330523625406232410414350636533320524303631056026041343203500126332011051433623244034212403036536606026002132335660321032020125054050113653306102163146436314212354230203151453634121412526352230016436326152224212500611",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3051102425226524622641453662242223263310615446451452532224165605230526045606061316226601345016406304414121632654164425414335326412446132005534133613332365264603426434666602450453014561165365200240303212303656552062415345645351254525012464554066546414253",
"6163025156000326352326626236416556041126465214416363163554205336156404462015356256624646016553142110060611043052240062011100063412460336010533212014446425051311100452522424342623513013342146015334312420624463650213552103152245115140144544044006610621143",
"3064324053023540113316314521436105350526234442241300306100036544364041144135632415453441114164313162114655354405413265464062513053236566023561413401665010052653553411121556606633141106104322523202026416420113521420316211143014566656340225343662436665554",
"2142162000121616253026221661521365664120322041554656032523046622040554406453145600224115654204254643031556644665361546263312234640621333530436652504350321114660611326425036442324403250114324006066051256625236605046015614254315463534415553215316545325332",
"0031113233362626626334244314640006630546466634106306355341534510220501615364114662330506450421253615135414651342016331206201605100412156406246511046461102654263353630512634312222606554666322251411000615135113230660264512242040121230626434613243530643103",
"4201420505244610401346634503635631002656340650161656544106161215062203353463046145301133451226323165434110045506264105020460342204116305020045466204332134016510115462210323226164641433162132500434042243134420602513300510503001101616456201313134260644204",
"6343351566313463603511313605606242623212465241505041651302444451212424535305232051262311153630361324214366055250664136523520410041464314643623545664654060253423422236040125551041005146362444555320222654650554601636250523141035565044024002460362532633632",
"4135150105004043650525104613614131461221331624615461006413230160100402431664156603555320044032551434536536303163254035446305450665546235230253625024461520241020124206030220656064660365003543345000144442345310404136063416556163220465335004301625615132214",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1426466342543563324151643510332610466221456652642642051012632235122446021541003624565035102435241412123266615603606005260235314546646454235242266031525534102060201053155006210632320602521225353616336451130535641540356521364663015152445415464036304236630",
"3325255650432141304434113426416565600232342503461530155631224005156612210433120636431034352131134412103203314045602420504220022014245521046351443625252600412665304151503523643342144652521063355241605646243162223662604062103003202105224123301303363311164",
"3316366636600620420400522514661663222153443444114020324644452211516613041655524005031630033115445040143303023146615504063212660106013321254633621015635013040540220431524223415324530115013654166062033033204050264303204141520642123502055123541362340152106",
"2514022646501235152532322601554066263204644456211132656535302464404226152030056016663265151662020012433200104624404544332446213254604045403354204333120530325026515346641361122412603666314030343552546120462040345653600132264211433154362053105336336436146",
"5452122056432622404112553461036234405626420212542302262241021101150130335620012555300665153460526402233111432360210315601500362525651631014311334202630264506001253645133202540625636564254033540642305513066360361205410510140122603213065050643224563500251",
"6251402251452415052366141651002235201524351432650112466404441016102040310022323505500616655620510412402253324102551430321605436256055165530536145152101365663116361054152413103516405102221301412532506643333101065046350130446630616643656221003124112636123"]);

G<x,y>:=MatrixGroup<253,F|x,y>;
print "Group G is Co3 < GL(253,GF(7))";