SAT
0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000010000000000010000000100000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000100000000000010000000000000000000000000000000000010000000000000000000000000000000000010000000000000000000000000000000000000000000000010010000000000000100000000000000000000000000000100000000000000100000000010000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000001000000000000100000001000000000000000000000000000000010000010000000000000000000010000001000000000000000000000000000100000000000000000000000000100000000000000000000000000000000000000000000000000010000000001000000100000000101000000000000001000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000010000000000000100000000000000000000000010000000000000000000010000000000000010000000000000000000100000000001000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000010000000000000000010000000000001000000100000000000000000001000000000000000000000000000000000000000000000000001001000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000100001000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000001000000000000010000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000010000000000010000000000000000000000000000000000000000000000100000010000000010000000000000000000000000000100000000000000000000000000000000000000001000000000000000000001000000001100000000000000001000000000000000000101000000000000000000000000000000000000000000000000100000000000000000000000001000000000000000000000000000000000000010000000000000000000000000000000010000000000000000000000000100001100000000000000000000000000000000100000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000001000000000000000000000000000000000000000000000000000010001000000000000000000000000000000000000000000000000000000100000000000000001001010000000000010000000000000000000000000000000000100000000000000000100000000000000000000000000000000000000000000000000100000001100000000000000000000000001000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000001000000000000000010000000000100000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000001000000000000000000010000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000010000000000000000000100001000000000000000010000100000001000000000000000000000000000000000000000000001000000000000001001010000001000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001100000000000000000000001000000000000000000000000001000000000100000000000000000000000000001000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000100000000000100000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000001001000000000000000000000000001000000001000000010000000000000100000000000000001000000000000000001000000000000000000000100000000000000000000000000000000000000010000000000000010000000000000000000000000000000000000000000010000000010000000000000000000000000000000000001000000000000000000000000000010000000000000000000000001000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000010000000000000000000000000000000000000000000000000000010000000000000000000000100000000000010001100000000000010000000000000000000000000000000000010000000000000000000000001000000000000000000000000000100000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000001000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000001001000000000100000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000100000000000001000000000000000000000000000100001000000000010000000000000000000000000000001000000000000000000000000001100010000000000000000100010000000000000000000000000000100000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000100010000000000000000000000001000000000000000100000000010000001000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000010000000000000000000000000000000000000000000000000000000000001000000000000100000000000000000000000000000000010000000000000000001000000000000000000000000000000000000000000000000010000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000001000000000000000001000000000000000000000001000000010000000000000000000000100000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000001000000000000000000001000000000000000000000000000000000000000000010000010000000000000000000010000000000000000000000000000100000000000000000000000000000000000001000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000001000000000101100010000000000000000100100010000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000001000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000001000000000000000000000000000000000000100001000000000000000000000000000010000000000000000100000000000000000000000010010000000000000000000000000000000000010000000000000000000000000000000000000000000000000000100000000000000000010000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000100000000000100000000001000000000100000000000000000000000000100000001000000000000000000000000000010000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100010000000000000000000000000000000000000100000000000000000100100000010000000000000000000000000000000001000000000000000000000000000000000000000100000000000000000000000001000000000000000000000000000000000000000000000011000000000000000000000000000000000000001000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000100000000000001001000000000000000000000100010000000000000000000000000000000000000000000000100000001000000000000010000000000000000001000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000100000000000000000000010000000000000000000000000000000100000000000000000000000000001000000000000000000000000000000000000100000000000000000000000000000000100000000000000000000000000000000000000000000000000000000010000000000000000100010000000100000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000100000000000000000000000000000000000000000000000100000000000000000000000000000000000000000001000000100000000000000000000000000001000000100000000000000000000000000000001000010000000000000000100000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000010000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000010000000000000000000000000100000000000000001000000000000000000000000000010000000010000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000001000010000000000000000000000000000000000000000000000000000001000000000000100010000000000000000000000000000001000000000000000100000000000000000100100000010000000000000000000000000000000000000000000000000000000100000000100000000000