SAT
0000000000000001000000000100000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010001000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000001010000000000000000000000000000000000000010000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000010000000010000001000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000010000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000010001000000000000000000001000000000000010000000000000000000000000000010000000000100000000001000000000000000010010000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100000000000000000000000000000000000000000001000000000000000010000000000000000000000000000000000000000100000000000010000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000110000000000000000000000000000000000000000000000010000000000000000000010001000000000000000000000000000000010000000000000000000000000000000000000000000000011100000000000000000000000000100000000000000000000000000000000000000000000000000000000000000100000000000000000010000000000010000000000000000000000000000000000000000000000000000000000001000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000001000000000000000000000000000000000000010000000000010000000000000000000000000000000000000000000000000000000000000000000010000100000000000000000000100000000000000000000100010000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000010000000001000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000001010000000000000000000000000000000001000000000000010000000000000000000000000000000000000000001000000000000000001000000000000000000000100000000000100000000000000100000010100000000000000000000000000000000000010000000000000000000000000000000000001000000000010000010000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000001010010000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000100000000000000000000000000000000000010000000000000000000000100000000000000000010000000000000000000000000000010000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000001000000000010000000000000000000010000000000000001000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000001000000000100000000001000001000000000000000000000000000000001000001000000000001000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000101000000000100000000000000000000000010000000000000000000000000000000000001001000000000000000000000000001000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100100000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100010000000000100000001001000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000010000010000000000010000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000010000000000100000000000000010000000000000000100000000000001000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000001100000010010100000000000000000000000000010000000000000000000100000000010010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000100000000000000000000000100000000000000001000000010000000000000000000000000010000000000000000000000000000001000000000000000000000000000000000000000010000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000100010010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000001000000000000000000000000000000100000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000001000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001100000000000110000100000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000100000000000000010010000000100000000001000000010001001000000000000000000000000000100000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000010000000000001000000000000000000100000000001000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000100010000000000000000010000000011000000000010100000000100011000000000000000000000000000000000010000000000000000000000000000000000000000100000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000010010000100000000000000000000000100000000000000000000000000001000000000000000000000000000000000000000000000100000000000100000000011000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000010000000000000000000000010000000000001100000000000010010000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100000011010000000000001000000000010010000000000000000000000000010000000000000000010000000000000000000000000000000000000001010000000010000100000000000000000001000000000001000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000100000000000000000000000000000010000000000000000000000000000000000000000000000000000100100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010010100000000000000000000000000000000000000000000000000000000000000000000001110000000000010000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000100000100000000000001000000000001000100000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000100000000000000000000000000011010000000100000000000010000000000000000000000000000000000000000000000000000000000000000010000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000100000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000100000100100000000000000100000000010000000000000000000000000000000000000000000000100100000000001000000000000000000000000000000000000000000000000000000001000000001000000000000000010000010001000010000000000000000000001000000000000000000000000000000000000000001000000000000000000000000010000000010000100000000000000000011000000010000000000000000000000000000000000000000000000000000001000000000000000000100100000000000000000000000000000000000000000000000000000000000010001000010000000000000000000000000000000000000000100000000000000000000000000000000000000001000000000000000000000000000011000100000000000001000000000000000000000000000000000000000000010000000000000000000100000000000100000000000100000000000000000000000000000000000100000000000000000101000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000010000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000001000000000000000000000100100001000000000000000000000000000000000000000000000000000010000000100000100000001000000000000000000000000