SAT
1010000110100010111010111000111101101111101111001001111111111100011000101000000000111011000010100001001111001000001000101011101110010111010010100101001101010001000110001001001110011010101101110100100100010101111100110010001100110101110101110000011001011011001000111111000001011010101100001110100101101010101100110001001100011000101000010010000000111011111011011011001100101011001010000101011010001011011110111000100111100100000101000001010101011101000101101110010111000000101111011100000011001110010000010110111000100101111000100100011010000010010011000100010111110101001010011100000111100011111110111010100110101010110110011100011011111101011011101100111100111110011111000010111011100001010000001110101000000011000010101000000000010101001000000011011011001000000011100001011110001001111101100110000011010100001111011011101111101010111100101111001000111100101000011110110001011011011111010100101111110100001000111000010100001011111101101011110011110110011011100010101010001110001000111010111111101010000111111001011110101110101111111111010100111000111000101110000110111110101011100111110101001100010001000001100011100111001000011100100001101000101011101100010000000110110110110010010111011001011010110101000110100001001000010111001001010011101110010001000001000110110100111111110011001000001010100101100110010111011010010110011100100010000010011001000010011111011110101100010110010101001101000011101000001011000110001011101101110010110000100010101011101011001110000000000010100111101111001111011000100011001101000110101001101000001100000011101011001011100110110000011110110100000011010011111110101011100000111010100010001111101110000000110001000101011110001110110000010100010000100110001110111001010001001010110000101100111010111001000011000111011010011111100100111110101100001001010001100100011101011111100111010111111101101101011101001010100110000011110100001011100011000001001101000010010011001010111101101110000001010000111110010010000110100100110110010111101110011110110111000011011000011101011100011010011010000100101010101000011011100001001010000000111000011011101111011010000001011001000011100111001100100001100100011010010100001111101101001101110011100110100111011010110001000100111110110100001000011000100010110001010100110011101000000010111111100111100011101000011100011111001010111010100101110011011000110011010011010000100101111001010100011111111110010100001101111100111100011011000001111001001010001100011100000101001100111010011111111101111000000110111110111010001010111001000010001000011101101100101001011101110010001001101010000011001101000001010100110001010111011100010001001101000001110001101010011001100000000100001001111111110010110100010111100110101100001010100000000111011010001111110001111111111111011010010001001001100011110101110010000101001101011001100001010101101001101000000111110100001001010110110111111111101111101100001101110100011010101010100111100110000111101000110011101011101010000110000110101110101000000101011000101100110111101010010000011011001111101100110011010001000000010001010110101111010100011101011001000010101011101111010001110000110011000111101111001100011000010100000101110100010100100010010010000110111100101100010001000011001000110011101001000001111011100100001011111001001101000111111010000011100110011000110010011100011000111000100011000001001101001101100100111010111011110100001110010100101100110001000001111011010100111100100110010111000001110100000111010000111101011010101110000001100101011001100011001101000100101000101000011000001001011010010110000111010100010110010111000001000101011111110101000101111000011000100011000000100100000000111101000000000001100110010000010100100110110001101110110100101011000011001100110001111111101011011010010111000000000010000011110011111010111100001101011110111111010111001101100100011001010011110110100011101101000111010001111000000100011011111000000100001011001101101000101101010001010111110110011110010110111111001100110101100000001010101001010100011000111001011111100110101011111011010111011001101011000110101001100111100010001110010100100000100010100010110101010101110110110010000111100001100010110001010001001101010100111100001001101011100010101001111101101111101011001101101101100010001010101110000001000101111100001110011000001100110010101000011111010000001000010111100100110111010100100111010101100110111100010100111010110011001011010101110100011100001100100001101111011011011010000000000010000100111101001001011111010001011111001110101100111010110101111101101101011001011101011001100110001001110011111000000000100111010100000111010100111100110011111001110011110100000110110111111010001000000100110100110011001110110001100110101011011000010100111001010010101000010100001110111110001000100001110100110101100010010100111001110101010011000000111111000100011111011010110001011001100001001010011101010110101011000011110001000100001011001101100001011001101001111111000100010010100011101010101111011001010111010011101110100100100111010010011011111001001011111100000101000110000001111111011010000110011100111100011001100101111111000010000000011110000101010000100111000101000100111001110101110101101001100111100111000111000000100111101000111000010100110111011110001101110100100000000101001110010101001111111110001011011110000101011011110111101001110101010001111111000000111100011100001101001101111101101110000110100010110110001110110010001100110111010001101001010111000110111101100110101001011111010100110111001001111000000111000110000111011111001011011001111101111101101011001101000000110101110110011001111101011010001101011010110001110010011100100101100110100000100001001000001111000011101111111100110011101010010001110001000101010010100011110010000010110010111111110101011111011010010111000000111000001101101110000010100010011010010011101001101101101001010000000100011101110110000101010110110000000010010100001001100101001101100011111001101000001101101011111010101010100111111001111011111011111110100001111111001011100110011100101011011100001011001111110110000110101010101100010100111100101000011001011111010000011000100111100000110011000010100010101110000101110011010001100111001110011101100010100110101110110001111011110110100101011110100000111011100000001011100101011010100011110010010100100010110101100111101111110010010100001000110011100111011010101100101101101000100111111010101111111011100000010111100010000010101000000000100111100101010010000010100100011000001001101000010010001100101000100000110001110100100110100101011010100110100100110011100111010000011010001011011010000100010110111010100100001111111001110001101000010101101001101111101101111011001111000101101010000110000100110010010000111000100110000011010111011111001110101111111011100011100011110001101010111011101100011100011000111011100011101110011100100111101101011010010101101101110101101011110000000100001111111101101000010000100110100111011111001000101111100111111111110001111111100001110100100011100110001100110000110011001011101110001111110110110011111000110001101011101110011011101111100110101000001110110111000111010000111000101011111100111110011001101001011110011100101010100110010111010100011011011011011001110001100101110111110110011110010011000000111100101010011111111000100110000100010111100100011100100101001000001111011101111101110110011011000100111010011101110101110010011001110000000110001010011100101100011101101010001011011100010001001101111011110000101001100001100100011101100000110000011011111101010111001001001101101010111111111101101010000111110111110101100010001110111010100110011100010000100111110011000111100110110000100010111011101011111000010011110111100100000000111010101011110111110000010110110100110010000000011010000011111110011111011100101010100101101011111110100110110000110110101000110001100110001001011110001010111101111110111001011100011100110010000111101000010101110110110111111101101100001100000111000011001010100101100100101010100111011011010101000010010111000011001000110110100100000001001011011110001001111011111111011100110100111001010101110000100100011000101001101001110011011000001010100110001111001110111011001000001110110111111111100011110100000011001101001000100101100110111100101101100010000111110101000110001101111100010100011010110000010000100100100011100001100101100101011001011101011101011011100101000000100001010001000011000100010000001101000010101000000010011010100001001111011110100010110001110110100110011100011110101111100110110011000100001111101000010000011010000011011010100001001110001111011110001100000100111100100101000100100001011010101101001011110000010100100010011100000111111111001011000011111011000101010111111011100101011000001011100110101001110001110100101000000010000010110011101111110101001010011100111010101010110000101000111001000000111001111111001000011010100000010011001101010000011010010000000010011001001000011110111011110111111011000100001100010110010101100000100110000100000011100111001001100111110010010000010100111001000011111010010100101011010110110110111010011000000000101100100010011110101100010010001110010010101000000011010001111011010000110010110101001011101110011100111000010001000111101010011000000000001111110111000011011000100100111000001010001000111011001010111010100110110110001010111100111001111101100111011100010100011001111111001000100010100110011111111000100100110000010111000100110010000110101001001000101101100101010101100100011011000100110111000011001010001000100011110100010001001111000001110001000101100010110110110110100010010011111001000111100110001001001110000101001110100110110011010011111110011110100011011001100111101011101010000000001111000001011111100101110010011100101111011110001101100101000001011100000111101011010000011010111000111001101011010110110101111101110001111001000110010000011101000100000011100000111011100000111001111110111110101011100001111001110100011100110001101000100000111001001101011101111110100110001110111011110010001010001000001000011100110101111010111111100100011110000110001010001101101110111110000011100001000010100111101110100000110001110001000011011100110010010010010011111100001101011000100110011101