SAT
0101010111000011000011111010011110011100001111000010011100010101110001101011100100000111111110001001111111101100100010100010001001100100110001101000110000011111110100011000110011011110111111000000001000000011110010011001101111111100100111100011001100010001111011000001000101111011000100110111010111001001111110000110111011001110011111010101001111110100100010011100011110011000100100111010000110011000010010100010111011110000110000111110110010001001110000011000011001010111111101011001100100011111001110010110110000000001111110100010011011010011011001011001111010011100001100000010111100011011001001001010010001110000001100111011100011001111001111110011100001010011000111110001110101011001001010011010010101010111011001011100001100000010100111101010111001111000100101110010100001010001000110101101101110111111101100000010100000101011110111111111111010001000011001110011001110111010111111111011110011110001000101001110100000001001000001011000010101111000000101011110111000001001001111011111001110100001000110011011111000000101100100110100111011000101011000001010001010011000101010001000000101101111110110100100111010010010000001110100111101110101101110110010100011001101111111110001000101111111101011001100101100011101000110100010000111101110111001100001010010000111001111000101100100000100111101001100000111111101001101110110011111110100101011010110110000000011101001011101001010101001011011011011110100110000010111111001010100001101101001010101100111000011001111110010001110000101010100000011110111001100011001011001001001110000100000100110111001001011111111000110011010001111010011110001001001100001000011111110011010100100010100000101101011110001010110110100010000010111011011101000011011101011001111010011110010111010011110100010101001001110110101101110100100110101011100010010110000011101000011000100000001000110101010011100001111111000111000001010110100000110111111110111101000111101011011000010100110011110101000001001101100110011100000010000001010111011001010000011010110010100011110011110010100011000010100001111000111001111110001100100010111011111011000110010100110010010001100011110001011001010110111111110011110110111011101011011110101101000001100010000000101001100110010000111000010110111110111000000000101000011000111101000100101011001011010101111100100110011110010110110011110100111010000001000010110001010011100001110010010000010100001110000111010101100101010000000001000110010001101010111100011010001011101100100001001001000110111001011010010001100100101010110110001100101001000011011110011001011101100110111100011101100101011100110100011101100011010100001001111011011101100110101001110010000101000011011001010000011000001011101001100101010001000101011110000111111100000100010111011101000001110111101110110010010010010011110000110001101110001010011110001011001101001111100011010101100111111010100110011010110110010110000100101111010001111101000111011001101000110110101001100111010101010000111110001101001010010110110100010111111000010100101010100100001010010110010000001000111110110111110100011111001100011100111011100010011111111101101111111110010010111010101011011101111010011110110011010111101011001100010100010000101100110010000101110111000110111001100010000110000111110011110110011111100111001000000000111110000110100100101000100110101001111110101001111110100101001100011010110010111000011111001000010111101100011110001110111001000110110100001000001110000111000111100101000100001000101001011001011111001000110000011001110111011100111011000101110111010100110101100001110001100110101100101010100100000100010000011011001110100111001111010010000101000111111010110111000010110110110111111010100101111101110101111110101001000010101000101011010111001100111101111100110010111000110111110010111101010000011010011100000111110110010110101001110010100110011100001001101010100110100010001111110100111110111101101000000101110000001111010010110111101001110010010011101100000000100000110011111110101000001100011101100101010100011011101111011001011011110011110001010110110000000110100111010110100011111101100011000100111001011000010100000001110100001100101001100111100010000000100110010011110011111010110111101110000001111011110010101010101100100100100011011001011110000010111101101101101001010001010101000111001101100001010001000010010000101100011110000010010011011111110101010100110010101100110010001000110011010111111010001110011011011000101101011010000011010010100001000010111001101000100011100110100101010000110001101001111110000000100100010101000000110010010011001011001011010010000001101010100000110011000001001110100101010010001010010000000011101000001000001111000000101100101101100100001011011101111010110000001111001111001101110111100100001100100001010110001010001100110001011000001000011110001110111011001001001110111001100001010111110010011111101111000000111110101111111001000011011000011110101100100001101011011011001101000111001111111110011011110010001011100011111101110111101110110110000011101111010110000011000010101100111111100011111011010101101101111011101101101100000010111011010010100000010000000000101010111001001000111101011100111000100000100100101010011101110111001011001000100010111000101010111110001011101110011100100101101111110001111110110100100110100011001100001000001011001010111101101110100001100001111110100100010110100010101001100111010000100001000001000001111100110010001001001010100010000101100101011110011010010101010001001000100100110011000011000100001001001101100110100100010001111010110011011100010101100101000001001011110001110000110011110110011010101011110110100001010000101101010111001110000010111011101111000010011100001101100000000010111010010001011101101000011010011011110111000101101101110010100100011111010110010101110000010001011000010010101011111011011110101000010110001101110001010100010101100011100010100101010001000110011110100110100011110111101010101011000001111001110001100011101110001010000110010000001000100110100001101001011011101011001011011010111111010000111011100100001110011100110110101001001001001101110110101111111110001101011000101111111100001111011111010100110100011110110101001010100010001111001110101101110101101101111011101000010101011000001111000101100000001011101101101100001001000000001100000101001101010110110100100101101101001100010000101110110100011011010111110001010011000101010101100111101001101100001100011011101010000100000011000110101101001101000010000100010000000111011110010000100111001001101000110000011111100100000010001101010111100110000001101100001101010100000011010000111100000101010101100101100111010101100110101010001101010111010001011000100101101010001010011001100011101011111111111000001001100001001111110000011100100100101101001011101110101101100110000100000100110011000010100110110001001101111100010111110001000100001100111011000011001011110000111001001000100011110010000001110011001101111110011010101101000000100010100101010000010101110111001011111110111111110101110111010000111000011000100100100101010110100110001000010010101011101000111110100101110010011111111011101010100011110010011110101011011111101001100101100001110100001011110110000010111111111101011011010000100110001110111000101100010000011110110001110101110000100110010101100101111101010010100101000011101001101001101111010010110100000000101011000101000101111011001100100001000010011010010111010001001111010100011100101110000001101010010000010001011000000110110101001100111011110010001011010011011000001101110110011010110101111111111111010000111011101111100110011001100011000011101011101001100001000001110011101101000011110100100011000101101110010011101101010101000101011010001101011111111101110100001100110111001010011100010001010101011111001101100100000011000010100111011100010010111011110010010110000010101110000011000101110100110111100101000101001000011101100010110111111111000010011100110110110011100011011010100110100111100101001100000011101111001000101111010100011000011011111011001110100101100010110011101001000001010000101010101101111001000000011010010111101110000100000011110011110110010011011000011000011000100000000010110110100010011011000111111010011000001000010011000110101101110111100001110001100010100101010111101010001110100101100010111100101010011010000011101001011011010111100001011110001000100000100110111111100111100101111101010110101000010100000110010010111111101011001011000011011010110011101001011110100101111001010001101010010110101000111010101001111000011100101010011001001011101110011101111101110110000100101110111001101110011000110000000111011001100011010101011010000101001101111100010110111111001011010110100010101110101000100011011010001100000111100100000001001111101010010100100110010111011110100010101010100000001101010001011110110001000100110000100100001011110100011101110110101110001101010111000110100011011101101101011100000011101100111000100010010100100110001101110101011100000010010000010101000010000010111110111000100011100011101010001111101101100111111010111000111100001111101100001010111000110000101001111001110001111011100101010110010100110110101010101011101100111111100011000111011111000110011101101101100111000110111010010110100110010100000001101011100111111101010100101001011111001000011011110000100000101100001111000100101000010011101011110000111000010010010001110010001010011011001000100100111111110001101111011001011001101110000010101111011011100001011110011001000111101011101111111011010100101000111110000101011001110100001101011101011000010010101101000100100101010000001001011101100100100010100110101111010100101110110011001001100110111000111100101111000000110101010001000111001111101101100111010000110000101001101011001011111011100101111000010101101011010110011011101111111001110101000010000011011101000101001111110110110100101010100011101010001000011010000011011011111001111001001000011110111011010110001000110000110001110101001010000001010001000110001011011000100011110011101010010000010000010101011110011101110010000000010110011100010001010110111110101010000000011000110011101011011001001001000011001010010010100110000101001010011001011111011001011101011100000101110111011011101110111010100