SAT
1011100101001001010010010100000001011110010000100111000101101100110101111111000011000110010100111000101000001011001110011011110011011101000101001101101000101011100110101111110000110010011010110000010011110000001101110000110010000011110111011100111000000000111110010111010100100011101100111011010101000000110010100000000011100111011001000100110111001000100011100001001111110000110000111011100001101101010010000110100001101000111101010111100111110100011101001011110110100110111101011100001110010111101011000011111110111000111000101100100100000011000101000101100011001101001101011100100011111000010001111100011110010000100010110011111011100010110000011000001110110001011011101101000100101100000100101011011101001010111101111110101010111000001100011110001111011110011011010110110101001000101001000001001010000010001110000011111101011110001011000101110011001110100010110011010110101101001100010011011111011010100100101101100000111000101000100111101001111010001101100011101010010010100101000000110001111010001000101110000001100101110010110101111110110100100110001111110010110001010111101000101110011011100101010011000010110000101110000101011000000011101110100010011100110010010101010001100001011101111110100010010010010011010100101001000001101010011100000111111011101010101000010101111101010101111000110010100000010010111111101011000110001011110111111000011110001110110011110010101011111111001111100110111110111000111111111000110010001101000100001110000110010111110010110000011000011010110100100100000001101000111000101100111000101111101110101011000111111111000111000001010111000100101110010010011011110110110110101010000101000101001100111010110000010010111001111101111000110010010001110111110100111001010011011011101000111101100100101100111001100000010001101111011010101110011010101101111000110011000011010100110010000100001100011110111111101010111100110101010100111100001001010001000011111100111001101000111010110011000000011101110110110000111111000100110110111101001010001011101110100110111001000101011011101110101011001111010000011010100111100011111100010001000011011100101100001010010000011010101011101000100101001011100000111011000010001001010101110110101111010111000100000000011010101110011011111100000111110111011110010110101001010111011001100111010111011000000011110010110100001110000000000101110101110001011011011100010011100101100101011000111101101001101101111111001000010011101000101001101110110000010010101110001101101001011011011010111000000001100000001111111011010110101011100011111010100101001010110000010000110011101110100000011001101001010001100101111101111101110000010011110010100100001111000010101100101100000000111100011000110011110010110101010101010110100010101111001001000001100011010011101101101001101011110110110100010000100011000111100111110001010001110101101110001000111010111011100101011011000100011100111010111001111111010011010100110001010111010001101000101011000000010100001001010010000101101111000010110001000001010000110100010001111111010011011010011100111011000111100111110110111110100010110001110000101101011110111000001011010011001001011110000100100010011111001111110110110100111100100011110011100011000110101011101110101010100010100111001011101000011010011110000001010101010000101001110011111110011001010010011010110011100010001011110010101000011010001010000101100101011101011010010101100000110100010100111000011000000000011100101100010001100010001101110100101111011101110101011100010000110100110010010010111101111110001100111100000000001000001100101111101100100100011010010110000001110111100111010101101100101101100011100111001011001110000100011110010001001111110001100110010000011011000011110111101111010000000101111111000101010111011110011010100111100111110111110001101000000000011111000011101000110011110100100111011100010111110001110111001001100010000010101101010111010110011100000011001001101100011001010111011000111110111001000011001010111010110000100001010101001100110101101000011010101001001111001001101101100100100010111001000100000110000011100101000100010011101111111000010001001010000110010010100010100100001101011000110100011101011011001000111001111010110110110001101101111001011101100000011011100100010110011000100000011110111101000011100001011111010010001101111110000110110001010010000011100011011010100101100110100001110011001100001001100001011010001011010111011100001101010010001110010111011001011000101000100111010001111010011100100001011111011111010100101011111110000011111001000000010000011100010011011111010001110110011100001010001110110000111100001100100001101001111111000101011110100110001000011101010100011111101101010111100111010001000001100001100010110111101000101101110111001111100110110100110011000100100111101101110111001010011111100001010110001110011100100000111101111110000011111011101011111011000100100001111000011010110010101001111110110010100000001010110000110001110010101001011110100001110100111001011111110100100110100110000000100001010101001000110001110110100101000110101101100101110101101100010010110001111000011001010110111000011101010101100101001100101100011111101011111001100011000001000110110010111001010000100001110100110010001111111111010111110000100110111100001001000000000011100101000111100000100111110001111011111000110100111000110110000101110010011101100000111000001011100100011100010100100000100010000001000011000011100111101110111111100101101011101011101011100001110100101100010001111111001001101011001011011011000000110001001100001100100011110010000010100100110011101100110011000000000101100010100001001000010000010001110011000111011000101101010010010011101010110100110011111001001010100101010000010001111111000000001100000100000001001111001000111010000010011010010010110101110100110011100000000101100011110100111100110101011000110011010110000100010110010111110101001101000010100010111010100101100000000001010001111010001111110110110110100110000100110000110100101110001011111110100100101010010000100010100111001000010010111100010111110111110010110101010110111001010011000011001001100111100100110010110111100010100111010101100001010010011010010001011001101101101001010010101011111011011101111011100000101110011011110011100010000100100011011000010110000011110100110101111011100011010101111101111111110000010000110000111001011101110100101001110111111111001011101111111101111100100000111011001100010000011111001100100100001101010011010100100000111111110000101100011101111100010100110110111000011011101101100101000010101011101000000110011101111010111000110010010110101100101011110011011101010100100111100101011010000100001111110001111100000100010010001111111111001011000010011101001111010000010110000010010000100000111110011100101011011001110101110111100110011110000110101011111101101000110001111111101100110100101001111101011000101011110100111111001110101010010110001100011101010110100100110010001111010101011000000110110011011110010100001111110100011011000100100111001000100110110101001111001101000000010011110101001010001111100100110001110001111001101010011001000100000111000000111001100000110000101000000000110010100111100100110000101101111011001110010010001111000111011110001111011010000010011001000101011101100000010001101001000100001000110100101101111010101011010010000010010000010010010011111011011001000011010000011110000101001001111010101000011000011000110111110101111110100100111110111001100010110101101110001110101101001001010011001100001111110111101001001010001101001010101101011111101010110011111010101011010110001100111000111100010111011100100010100000010010011111111001111001110110001001010011111000111101011010011010110111101101110100000101010111000000000010001010110111010011010011011001001000000011010001001010110000001000000011100100110011101101001100101111001000001100100001100110001100101001011001010110011000101011001001000111100110001101001101001111000101011110110001101101000111100110000100010101001011111001111101010000111111001101000001110111011111100010010101111101011110001101111100000000110100001110000011111001100111010000011110010110001110101110000010101000001111111010001111010000010011011001100001111001111111010101001100010000010100111010110110110011110111000010001000010111100011100110000100110111100110010110000100100010011000010110111100111001010001001101000011001100011111001001111011100011110110110000100100001100101100111111100000001100000110100011001000100100011111011100000100011011101001111010001100001010111000011100011100100111111101110001100110100010011110001011101010101000010000100101011110101110011111001010001001001100111110001111101001011001000110010001001010100101010010000011100100000100100010110110100101111100000010000010001111111111010010001010010111110101010001111010111010100001011010110010111111100000010100100001100100101110001010010001111100010101111100101001111010001011001111000111111010011010011101110000100010111101110001101001010100100000011101011000101001111011001110011000111111100011000001110000111010001110101110101001111101011011011010101001000110111001100100011101011101101101110000111000011010111011001110001001100110110011001110000011000011111010000000101001011110101111000000101110001111010001010101110010001000001110000000010001000001000001111101001000001110000100011111100000000000010101100111100010110001001100110010101010101100001001111101111110110011111001001010100110000110001011101010101000010101110011000101010011101011010101000100000001101110010101001111000110111011111010001111100011001011100010101000010000010001001110101010100001010110110110111010101010000100010001100111010110000101011001101110010100100000000000000100101110111111100011011000100101101110011100111100111101111100000111100100010111010100011010010000001011111010101101101110011000000111111010011001100001001001010010001100011100000010010111010100100010111010111101001101001111101001010001010001100011010011110001110010100000110100100101001110001000101110110000010001111100100111000101010010011010101100110000101111010011101000001111101000010110001001011100001010111111111100000011101111101001001100110010111011111001111011101100010001111010101111001011101101101100001101