SAT
10000001111100000001110100111110110010111001101100001010001110111010001000110111111000000101110011101000011100010100100100010101011011001111011001011001101111000001101010011111010100111000100100000000001011110010001101010000100101111111000001111001000010001111010101000100011000100001001111110110110100110110100100110000111110100110001010001001010011010001001010111010111011110001100101111010100011001100010010000001110011100101011101010010010000111101111100001101000000001101101111000110110000000010010001101010111100100000001110111010110011010100000001001110110111100100001001001101000101010001111001000100010000100110110110110010011001000000000010101101110111010110010111111000011101010011111100100011111011010100011010011101100101110011110111110001100011001001110011100011101101011100000100011010110111101010111001001011111010101100110011001001100101011100011101010001001101001011011111110000100110010101001110111000111100110111110010111010001101010100110011100001011110110010111001000001110010100011011010011111011101011010110110001100111000010100101011000111111010001011010000011010100111000001000101010110100001011000100000101111000010100110011001011110110000010011001010000100001011010010011001101111111111111111010001001011101010110001100110011011110011101111100110000111110011011010111000110111010001011000001101110010011100000010010110110100001000011100000011010000011000000100001101100001100010011100100101001111111111000001000100111011111000011100101101000000111010101010011000010101101111101000111010011011001011100111001111000101110010110011010001100001101111000001010000001001111111001110110110100100100000101110000011000101111100100101101010010010100110101000010110000111111000010011100000011000101110101001001110000000011011001100111111010101111111000100100000111000110100001111111111101001011011010001111000110011101101011110111100011111011010110001100001110000011101100001010010111111000110111110000001100000001110001010101010010110010011011110010101110011101110011010100011110100111101011100001110000010101110001111000111111010111110100111110011011011100111100011011001010011111100010001001001010110011110010100101000100110011001010100101101111111110101100100001011000100011101110100000010010011101111101111001011011010001001111010000110010110111011111011100011110101101000010111001110001110001011011111110100110001010101101010111100011110101101100100011100111101110101111001110000001111111001110000111110011010010010101011000001100010011000001000001100000111001000011111110110100011001110010111100011010001011101001110011000110100001001000110011110110010110100110010110010011110001011000010011011010111111010110011111101000111010101011100111010111101000001100011100010011111100110011011111011101110011110001010100001100001110001100001100011001000010010011011100110100101001011010010011110001000010100000001100000001111101001010000001101000100101010100111010100100011001011001100000011111101101001101000110000000011001101011110000101110110011000000110010001010000100111011101101110011011110101011010110000110001000100101111011110011011010010101111101101000100101000101101011100001011111111101011101001100011111010101000011100110010010011101000011001000110101011010111010110000100000001110011100111110110110100100100110101011010100011000000010010100110011010000001100100101110000011010111000000001011010101001000001001001001001101100100001101100010110010011111000010110000111110111110011110010001010010101001010111111000101111110101010110011000011111100001010000001000001111010100110110011000100000101010011011000111111111101111001100100011111100001110001110010100011010101010000111101010000010110011000101101111011110000000011011011010100100001100100001000110011010001011011101001001100011000101001101010101101011001000100100000111010100011100000101111001001110001010011101101011100000010100000101100100010011101010011101101101011001011010101000011101010100001000101000110011000110001011001001011101110111011001001110010110010100011010011101001100000001101101101010011101010100000010101011001100101010011001000001101000100010100011010110111111001100110100110111000011000110110001010100111101101100111100110000100110000100011101010111100100011010011001110000100011111100001100111010101101000001110001001010011010011101001001010001101101110011010101101010011011110100011010111011100001000011100110011110010111101101010011101001000010011010100010011010101001111010010101111100101100110011110011110100010100110000001000101100011101100110100100100011101001101011010001100110111010100010101000001010100111000100110111011110110111111100001111101100101011000110001011000111100010000011111101111011011010100101100101010011100011110011001001010010110111001010101010111101000001111100011110010111001111001001010100101001000111011101001111011001110000100111001011100011100000011001010011111011001000100101100000000001100100000101111001110100001001111100100011110011100110010110000000011010101000100110011001111111111010111011101111110101010101110001010111101001110000101101011011110011100100001000110000001100010011111101101101110100000110010011100000110101010110110001000001010010111100001110111010110001100100111111111001100001010110010001000111001001111101001010111100000101001101111001001111100110101111011110001100000011111101011100001110110111111111100000101011011000001110000111000010000111010110100111111101111110101110001011011100011011100010100011011111010100111010000001011010011110010010001010010111000000001000000011111010101111011111100000100111001100010111011100110100111100100010010111010111000010101011001001010001101000100101011110111011100000101001011001101000110011111010000110011101110000011010001100111100111001011011000101101100111011000011110010110100011001000101010111000011000000101000100110101110011010100100111011000001111000101001011001111010101101110000110010111011000101101010101111100101100000100111111010011000100010110011011001110001100001001000011111010100010000010011111011110000101101001011010011110011100011001101100001100101000000100101000010100100010000000001011111011010011001011011110100000111000100011111000100111111110111011110111000100001010101111110011000011111110010111101110001011111011100111110101000111110111000101001110000110010001010001100100000111101110011001001001010000000110000001000000100010011011011000011011111011010111110111010001000111000100111100010001111111011010111011000110110110101010100001100001101010001000110010100100010010010111010100011010000010110101000011011011010111100101111111111110110011110101011000001110001101110110001010011100100111110100011010010001000110110101110100100011010010110110001001010001111110010011101110110000101001110001100111001111110010010011100001111000110100001000101100000101010111010000000100011111011001101000101101111000001100100000001101111101010011001111001010010100011101110110010001100101110100111000111110111111110100011000011111101010011101110100101101100001111000001000111100110001111111011111101101110000010110000111110000110000011001100111111110101101110111110000111100010111101011110001101101000110101110010110011011001110010001001111000011000101101011010011011110010010000010001110010101001110101000000010010101011001101010000101001000011100001101001100010001101110111101110000110001000010101110111000111111000001101100001110101001010111111111011000000111001111110111100010001101100101000111000101011111111011101101101101001011000110001100011011101111010111111110110110110011111100001010000101010001101100001111111001001011111001111000100011000100000010101001000100110101001111100001011100100110010000010101111111011111101110011000001011100110011110000100001101101001111001010101010000000000110100011110011111010011001001011001000000001110001101011111100001111111110101101110011110000001110101000010000110111000100110001010100101101001010101011000111010010001101101001011110100111011100100000010110010111101010100010000110111000010001001100010001000011110010111100000110111011110101010011101011011000000001111111110101110011101001011011001100011001110110100000111110011101100100000111100100101111110011101110000011100110000111011110010100100101101110110010111000001100110111001110100101100001111001011100000111101110010110001111110000000011111001010001100011000001101101110000101111101101001010100111000010001000110100001100100011110111011111110100100011011010001010111001010000100101010111111011000011110111101101000100011001101100011101011101010100101001110110110100000110101111100000000011000011111111101110000000100101010011101110010101101111100010111111111001000010100011101100001111000000100101111110110001101000101101110100010111100001111001010110100100100101111111001001110101010000000010100001000100001010011010000001100100000011111000000001001000110100111010100010010010010110110100001101111110110101101110011000000010111000101111011101000100111110101000010001110101001000011110000110110110111100000000000101101110110101010110110010011001111100101110111110000001111011111001011011000111010000111011000100001000100100101101110101001011010110001001011001110000100101001000101001110010101100000011011101111010101100110101101110011001110101111011000011101000001001101011100101000101000100010111101000100110110100000001000111001100110111100111111001101111011100111100010101001101111001100111110001110101101