SAT
1011100010101111101001110011000011111111000111111010000000011011000011100010101110110001000011001101011011010101011111001101011000000100111100011111001000111011111110101110101110001000110010111101101111101011001011011111110000100011000110010110101011100101101011111000001000010011111010100100001001011111000100000001010100111011110111010110000000111000111010111100101101011000001111010111000100011010110010011111010111010110010111100011010011101110111110011000110011101000011010100110010100011011001101001110100100010110111110010011011110001011111111100001101100010101101110001001110101110011110000011110000000000011010101010101001110110110000010111101111101001010101001001000110010000011000111100101110010101111011011110111101100110010111100001101101100011111110000010101111001100010011111001100101100011101100101110001110101010010111000000000100100110100100011100011111010100100101001110101010111000110101110010110100111101100101100010111100101010011000001110000001010011010011011110000111111000100011010011100010010001101101001010110111001110110101001110011010011010011000100110000110011111100101111010110001001001011001101010101011001000011111000101010111110010010111110011000010101011000001001011010110010000011011011000000111010100111011001010110010010111001111111011011110101011000010000010000111001111111111011100110010010001001110011001100111110011000000010100110110001111010000111110101000001010001010111100110100110011000100110010100000011100111011111011110111010011000010011101011011100000101110101100010101111111111010011110000111000001011000000001010111111011111101100000010011000100110011011111101100001111001011001011010101001111110101001001011111010001001100001011001100000110111100100011011000001101100011001101011111100101001101001000000100001011101110100010100000000111001100100010010110000100111001101000010110000111101010110011111011001011011001001011010111000111111011110000010110011000001001011000111101101010001001100001001111101111101000000110001011010101111001111011111100011110011111001101011100110101010100111100000111001101010001100010011101001001101001100011111111000101001101110101000101000010101111011010001110100110100100010111110100110010010000111101001101011101010100111010000101111000101110000110101111011010100100100110110101100111000011001010010101111111011000101010100100001001001100101011000011001001100000011101101000111010001110101101000001111101000101000111000100101111110000100000000011011011001011100100001001000111011110100001110111011110000001011110001001010010111110100001000101001010010001001100011010010000001010010010101010010101101111010011011011011011010100011110000001101100111010101010111001111100000111100110110101111001011001101011110001101110101011111011100111000011001100110111100000000101101000111111110001001100001111010010001001110001001111011101010111000000000011011110000010011011000111100011111000010010110110100001100101110011100101011000000111011010001111011010100001111001110101101110111011111101010011110100010100111001110010110010111011001110011011111110011001001100001111100001011010110010011001010101001010111010110111001100000001101100100001100110110001100011000010010001010000111011100111111111111100000100111011010101010101101011101001101100011000101100110010100010110001100100100010101101110000011100011100110101111100110111000111100111100001000110011011110000100111001011111111010011000101011000101110100001011000110011110010111010001011110011010000111111000100100011000001101010010101101101010000001001010011100011001101101110000111110100100111000000010110011000111001010000110110010001110010000100001100000001101010110000101001110011101111010111000110101011001000111110011010011101110010001110100010000101000110010010110001001011001010010010011100111110011011000100101000010100101111101100000001011010011001000111001100011011110101101001000011100000101010100100110001001001101011000101110010001011111010010111111100000001001100001111011000100011111011101111100101100000111110001011101011011111001101010110010010010100001000110100100111000010011001010111110101001001001101110010000111011001100110000011110101010001110111110111011001010010010110101111100011111001100001100101111110000100010010111011000010011000000100101111000111110101101001000000111000111100111100110001101110101010001111100110101101010010000111101010101100110100010010010110000111100001101111010101101110011000101011011010110000010111100001101010010001000001101111100011101010000000000110010111000100010010100110011011110111111001010111010001001000111110010111010111010011000100100011100111100100111001100100110100010010100011000100111100101011111111101010111110001110010011010100001100011000110101110110011110110010011101110111100001100001010100100000111011111011100110010110110110110100011011101000010001001111110000000110001001100011111000110010111111110000011000101001101101111000010000000011001100100110001011111011001100010001001011011100000011111110110001101101000100010100100011100100100010101101100010011000110000000111000100000000101111100001011100000001011010011110010011111100001110111010110111011011111101110101000101010011010010111100011100101100001111100100101111111001001010100000010001000110111010100110101111100011111010000101010011101010111010101000111101100110000101111010110011110110001110100110111111001101010011100110100101010001100001100111111101111111010111110110000010101111011000111001110101101111110000001000100001110001111110101111110001001111011111111100110001010001110101110000011101000011011110011101010111100011110001100111110010010110000100000000100110101010111101111110100110111000111110100010011101000011111010110001110101110110010010101100101101101110010000101011001100010011101010101011000001100110111011110011111010101011101110110011000010101100100000110000110101001101101011000110111000010010111100000101110100101001110101111100100100010100011000111001100111101111000011100000111011011010111100111010110100111010000001100001110110101101100010111111000100010111100000110001110110111110011100111001001101011111111100110010100010000111011011000001011010010000100110011100011011111101100110011000011010011000110000010110111100100111111011100111101010111001110101010110001000010101110010011001101010011111110000111001001011001110110011110001001001001111011100011011001110000101000000100010101101110101001111000000100100110101000100001111011011011000000010100110011000000011110111001000001110001001100001001101011101011101101111000111111000100011110101001110100101010000000000001110110010100100111110001001000011011110101101110111011010100101010000000101110111100100001111000100111001111010001001111001011000101101101000000111100110110101111000110100100100010101010011100101001100111111111111101010100101010110001100110111111011101011110110100111001000111101000000100101101010110010010000100011000001011110010010101111000001001011101111111001101010010000101101001110010010100010010010011001111001000001111000001000010110001001100111000100111100100100000100001010111000000111010010110101101010101010111010011100011101010000011000011101001111000110100010110010001011110111010110000001000011111100010001100001001000101000100111111001101001101101110110110111111011011111101111111010011011000111010011100111000000011000101100101011000001011010100000111011000111111111110111011011011000100111010101100010011111100000000010011000100100001111100000000011000001001111111100000001101110000001101011101011100100011110100000111010011110000010111011001000011100001011101011100001101110111011110001110011100000101110111011000010101111111110100000011010111110111111000111110111000101001110111100101000010011110101101100110100001101010001110010101011110100110000001000101000010010101110111011001001111100101011011011010110011000100111110011001100011000111110101110111001011100111000001001000110111111110101010101010010110101110010111101101011100101100100010101110010000000001011101110101001010011110001000101110101010000111101110111001101111100111110001101010100110010001011100111100110011010000111110011110001101010010001010101011000111010110010101000011000100001001000010101111100001101111010100000011010111101101101001111111011000001100101011001101101010110010110111001001000100111110100011011001001000100101010000100100101111011110101011001000000110010101101100111011011101110111011011010100100101110111100000001101100100010101000111101111011110001010010000011010100000010101000111011001000101111001100101000111100011110111010010111001111100111011001101010111100001100001010110110010110001100111101001100111101010110100011001100000110010011110101111100101011000111100001110001101011100110010000000010101000010101010001101111110110001110011001100110001110101000101000011101100111101001000110101110110011001001111111001111011101110100000000100011111101010001100000001101101100101110001101101010000111101001111101101110010010010111001111100111011101110011111101101000011100000110111111110011101101110000110111001110100011111001010000011101101001111111000110111110101100111001111101011010001001000101101111110001101110111101101011000100001101100011011111011010011000010001111010011111010001101011010111110111111110001100010011101010111100101011011000011111011110111111011101000001011110000011110001101111010000101011101011010010011110010110110100011000101011011100111100001010101001001100101001001111110101011111110110110111100010010010111010011001000111001100100101100001001000110101001111000000110110001001011011011101111100001011111011001100000001110111111000110001001010001100100011101011001001011001011100000001010100001111010111110001011011111100001010010111001101110111010101001110000010110001000110111010010010110101010101011100110111101000010010011000101100001010000101110110111101011110111000101001110110101001011010101100110110101100001111111010000000110000011010010110101001001001100101101010011011011011111010100000011110110110000100011010011001100010101110100010101101100110101110110010100000100110010110110111111000010110100110111001001011100000010100110000101100001000101010010101100001001011001000110011101111101011110