SAT
1011011101000010001110011001101010010100110111111100101110000001000001010001110101101110110111101101010010110000110001111110000011100001000000110110100001001100000001101011000011100100010101101001111010100100010001000110010110001101011001001111010001000011011111010110101010111110110110111000011001111010011100111010001101000111000100101011011110110000001000100000010101000101110101001101100100101111010110001101001110100110100011010001010100100011001010000011110011110100110101000111110101010111010000000010100111111101010000101101101101111010101010111011001111001001110011011010011110010101000100011011000101000111010000001011011110010010010001000010110011110000111110011000000001110111110111100101101101101111101110101101011001001110000111001101011101011011111100100110100010111110011110110000111100110000011000010101110100011100101001001101000011110000001010010110110001101001100100001100101100111010100001111111011100100110111110101101001110011001001011100011101001101001000101101010100100010110111011101010100011001000001101110011111111101100101001011001110100011000110010100000111011001011010111100111101100011110110001100100010111001001000110101101010010011100011011111000011101101100111000101000101001000110100010001111100000010110010010000000100011011011000111101000010010000111010010110001101000001000011000001000001000010100100010111001000100110010010010000011101001001011000100111110101000110000100001001011010000000100110100110100000100111111111111001001010010010011000111110001000100001000100111011010101000100111111100110101011110010110101000110000001111000110111110000100110100100010000011011100100011010000101100100110111011000001110011001101010011000101100100001101001101001000110000110100010100001011111001010011010001100100000101000100010111000001111111110100000111110101101110001000111111011000100110101000000000000011110101111110001101111110010011111101010111011100011100101101110010111110111001000111111100011010000101010110100111010001000100000010111111101110001101001011011111100111001111101111011010100111000011010101001110011111011000100100101100000001000000101001011011000010010010101101111011110011001000000001111001100001100100100000100110001001111010100010001011000011011111010011001000001100100101000110001000100001001100110101001111111011001001101101110110010001110011111001110000011010110110100101111011000011010111001000011001011100001000101010111011100000100010110000010111111010100101001001010010010001100000100111011011111110010010110011001000100001011110110111000000100010101111011100011010110011011010101010101011010111110010111010101000000100011001000001010111000100100011010100000000111101101110110010111101111010011001110001000101110001010111100001010011101011100000101101011101000001111010110111101111011101001011100110101000110001000111011110011000010110100110011100000111010110100111010001010100000011110001011011010010111111111111000001110111010011001010101110010011110001101000101000001110110011110110000100001101111000101101010101101000000110101010100010111101001001001000011010000011000101001101101001110010010011110100000111001010101000001000011001011000111110100000000110111011110011010101111110110101110011000000101101010011000000011000000000000110000001101101101011011011001111101101001011110011100001011101011111011111110111011010111111010111011010101111010011001110011000010111101110011010110000001010011000110001000100101000010111110000010000101001011110111010101011011001111011111110100001001100100010101001010101110110010010001000010010111100101111100001001111110110101100110001111011100111010100100010001001001100110100011001011110100101001101010001000100111000110101011101000110010011000100111010111011010001100101001010011010000101000011101010100100111010110100001010100101101110101000011001101010001011101100110001000111001100001100011001010110011000100100100010111010101111010111111101111100110011001010111101010000111101110101101001110011110111110101010110001001111100011111000010101010010111100000000111011001011010001111001001100101001111010110100111010110101111011110010111101110011011101011110011111100010000011010100001111000111000001100111010101101101001010100100111100011001111101001101101111101011010100010000101111001111011111100110000000011100101010101111001000100100100000111010010000100000010100101101010111100000010011110101001111011000100000001100010010110000001100110010000010010011110110110100101101101100111110001001010001011001111000001110101101010011100001110111111000010101000111001011100011100000010100011000100101000101010110111100001101101111111101010001111011010100010101111001010010000111010010111111101001100010010001101110101010000101001100101111100001011100001011111101110111001001101011111000111100001010110100010100011111101111101000100110011011010011100011001110000011010101101100100100000001001001100110101001011000000100000000110110000100001001010000101101011010010100100100001011100010110001000010010001101010000000011001100111110000111010110110101101000011010010101001010010000110100100001010100000100001001011001111110001011011011011111110011100010010111010101000101010110000000011001110000111001110001001001010011110110001100001001101001110010101110110101101001111011110011001111100111001100011111110111111000110000110001010000111110001101100100111010101101111000000110000010111011001111110010000011001100111100000100011010010010110000000010010100101000001100110110110111100010000000000010001010110101101100000000111110011100011000110110110011000101000110111110111100111111001011111001000010001111000110000001101101001000000101001111101101011101100010111111111000110000010100111100111000110000110100001010001111110111110110000000000001000101110100001110111111101101101111001101101011010100000110000011100010000100001101101101101101001000000100100010101111001110000100111101111011001111011011011011000100011010101010100101000101000100101101111000110100000010001011001110011111001011110101001100001110101111011101110100000010010110000111001011100110001000100101101111101000111100100010101111011100010110001110110011001111010110010011110001010110000010101110110101110110001111111110100110111101010000010001110000000110101001001011010010101000010001011111110001100010000001000010111010000000110111100000101100111010010010000101011011101011000100011011101111011000111110011101100010100111010110011100101010000011001010100011010000001000001010010100010011101001001100000111111101100100100000100101101110101010110101111111111001111000110010001101011110001101110001110110100010010101101110001111000010010111110100000011010101101110111101000011001000001010100001011011111101001111111110101101100001111111011110001110100000111011101010111100101110111011010111101011000111011101110011100111000001101101000010101111001100001001110110010011001110001111011100011000000001100101101000100110111000100111001011010110010001010110101010100000001000001001100110010110100100101001101001011010011100110101101000110001100001110000111100010000010000110000111011000000000000001011001001100001000000100101111010001101011001100100111001110000100010110110000000110010100010000001010001011011101100101100100100001010111100011101011111101101100011000110001111011000110100011000100000000011111011011101101011001101111110000111110000101000110101010001001000010010100011000010101101001011010011100101001011001101001000111011101100000011110010110011110011100100100101111110101111000001001011000010000111100001101111011010110110010000110100011110111010111100100000000010101010000111100011011010110111101001101110000100011110101110101011100111110000001101111011001100100111001001100010101100010101011000010111001011001010011111011111110100010011100001001110111000110010011011001011111011000101010011011000101000111000100000100101101001011111100110101001011011001100001101011000101001101010110000000010110010100000111010001011011110101110001001111000001110011101101010010100110010010101101111001101000000111110111111101010110110011011100011100001010111001010111000111110001011010001101011000100011101101000101100000001111101000110010011011000010010001110110110011010101100101100100101111100101011101011001111110100111001000101011101001101110110101001101110001011100010101110100000000110100101011011011001001100100001011001110110001101001010010010110110001111111011111111110111010001001011100001101010100111010010101100011011001100100110101101001111110011011101001011001001101010101111010101001010111011101100110101000011101000110011100010010000001000100100111110101100101111011110110000010011000110001100101010001001111110010011111001011100101111000111111100011011111101111000010001001111100001110000101100101011111001111111000011001011010111000010101000100111010111110101010011001101110101110100011100001000100110001001110001000111101000000010010100111111010111001110110001000000110001011000100111111111011011100111010110100011100011110100010101000001010011110011111001000010010010010011110110101001101111110110011011110001011110000111000100101001110110010001000001000010000010101101100101101111010011000001011001110110001010111100100110011111101100100001000110001010111011001111100110010010110010001110010001110101000001010110110011110110111101001010011001010101011100111100000011011111001111010100000110111010111010010101011001001000110011011110111000101001010110001001100011011011000110011001001000100100011110110101100111011110100010001110101111110101000010010010010001010001110110010110111110101101100100000111100010001111111001111100110101011110110000111011101111110100010001011111111010111000011000101101010101110010001111010110100011100110101100110001100100110000110111100010011010010000000100111100010010111010011100100110101111100001010101101111111101101011101101001011111001110100010111000110111010101011100110011010010011000101010111111101000111011010010010011000111010110001100011011010011111001110101001100001110011001110111010000101001001110100100001011110110001101011100000011011110011000100010111010010111010101110011001001010011000011110101010111010110010111011110001111000011110101011000100111100111011110001100001