SAT
0101011101001000000010001011100100111000101101111101011100101110000000001110011011110100010110010111010101111011010001101000000101001011010000001100000101111001101001100111110100111001100000110010101101111110001101111110111010010110100011000010100110111010001111011011100101001101110011001011110011110111110000011111111001110100111000100101100001011111000000001001011110100010111001100100111001011000010011101111101111010101000100111011000111011110111100010111010011010000100000111110110000110011011010000111100001011001110100001011111001111001100111010001001100000010100100001010011000101100000011001110101010010100100110111010101000111010011011011100101101110010101011010001110000101000001101110011110010001011101010000000011000100001000011100101101111001100000001010001001000111101100001101111010101101011110111000110000000111101001000101011010011110010001111101000100011011000111111111111001001011000001111111100000111001000101110010101101001010101011010010001000001111010000111000000001110010110110011110011001001110001010111000100000001001110001010101010000001010000001100001010010111011000000010011010011111010000001111010000011100010011110101101001001101100000100101110111001011111001110111110000110011101000110010001111110110000001011111010011010011101100101011100000001001110110000110100001010100100101000111101110011101111111001110010110000100001111001100000010000111111101110100100000101111110110001010111001101001110001101000010110011110000010100001101110111010000011001111011111110001110011101101011001100000011000100110001000001010100010011111000000010000001100111111111100101001001100101001111000010110101001000100101011000100001010100101101111011001101000100111000000111000001110010010001000000001100101101101110011010000010101011101000100011010110000001001011000101111010101101101000101100000000101001110110110110110000001010010101110111111110101101010111100010101110110001011100011001101101000110101001101011110111011110000001010110000010000000111101110110110101101010010000000110011101100111001110011011101111100111001110000111111110000010110101100100000111111100010110100101110110110100111011010110101001111100111010001101010110100110101011011010010001111100111100000101000100101000001101011011111111010110111010011011111011001011101010101111001000000110011110111010111001001111010111010111000000110000101010000000100111110001011111110111100100100110111001100010110011100010010110001011100000000001101100110001011010001000111111010100000100011011011101010100101111110001010111011011110010000110111100011011011110000111011000011000000011010111000011011000100000101101010110110101100110011100110101000111101011110001011111100001100000100100011010110011101001000100110010010111011000110001011001011110011011100000010100011001110111101111101001011000110001001110100011110011100101001100110000010101010000110100011011001101001111011101110101100000001110101010010101011101000100111100110011110000011100110010101010010110001100010101110101011110001010100011010111101101101000000001001001110011100010100000010111101100000100001000001100111111100111111110010101110111111010100010100110100010011101110001101000001010111110011111101110100011111011000011111111101011000010101100011110011001111110011000100110111001010010100100001000111100100100011011000100100010000011101110000000101101111111001000110010010110101111100110010110110101000010110000100101101100011111010101101101101111110010111001000000010101000010011010000010001101100011010010111010111100000110110011010010011101011111111111000001101100111001110101010111011010100001010101000110010111111110111111011111000111101110111001010100110001111111111001110000101000011010111110001100011001110000100001000111011000001111101101010000100000101100101000010011011010011111110000010100100000111011100011011011010110101100001000100110111011000111101101100001111010000010111101011011000000111010111101000000000101101101110110010010000110010011101111001101101101110011010110011100101100110111111110110000101101001011011101010111101001010111010011110110010000000000000101001001110101000101101111010011011110011100010101001101001000001001000110110001111101011110110010111100001000100100000011001100000111101101000010100101011100000000000111011010101111010011011100100000100011100011111011100111100011100011100101101100110001100111101001101110111010010100010011001100100000110000000011101110001001010100111010000010000101110100010000111111011100101010111101010000011100011100000001011111011011011110011111111111101010011111100011110011001001000100101100010111010101010101001101110010010011001111110010111011101000110101001100110111001110100011000010000110000101100010001010110101011001100100110110111110010110011000100111100011011100100111000000000011110111110000011011111011001111100000111011001010111010000011101011101100010111001111111100001010011101110100000011100111101000100100110000011110010100000111000010111110110000101011010001001011100111010110111010010001011110011100001001111000111101001000010111100000100101100110101001101101011010000001111010000100011001100101010001110010100110010100011110011101001001011010110010010000011101101011111000111110110010111111101010011101111100100101101110001111110101000011011000000101011001010011110011100101011010011001100101101101111101010101001101010111001100010100111111111000111010011111011011001000010101111101101100100101101000101111011101111011000110010011001011011111001001010000011110100000010000110101000011110010000101110110111101101110000111001110001011010100010010100110010001000001100111000100110100110110110010010100000010010000111101110000011100100110011011000010110100111101110001000100001100111010111010001001111001010100000000001010010100111010011000111100111110100110001111110111000001100011000011000011110101110100001000110110100100111111100110011111111010000100110001011110111001010010100110011100101110101100001111110111010100000111001110100100111100001101101000001101011011000011111100000100100000100001011010111000000110111101011001100000111011001111001101001101101111100000110100001111111100110010000010101011101111000101110111110100011100100111011001011000000011110010001000001001000011111011000101010111101000101000101001011000001010101101111111101011100110110110000000101010001000100000101000101011011100001100100001011110111110111010110000010111110100000011101111011111100001100101001011010001001111111011100100101001000010010000000001101101010011111000010110101100110010011001011110111000100010100111011101101111010111101010101110110110000000111101001101001110010000010110100000101111011101000000011110101110111000001000101101010000110101001010010010000101000001010111101001101000111101010110000011111000000001110100111111111100110110100100011110100111011111101011000001011000111000001101101011010110001111101011110000110110000010110011000111100001000110000001011000001100010011001011011010010100001011110101001101010101101111011100010000010100111001001101000010110100111110001111001001111010000000111000001110001101100011100100111011101011101011111011101111100010100110000100101010101000110011010001001001011111001011101101100101011110011000101100001000010111010010001101110100011110100011101000000111110101100011110001001101001000111010101110011000100111011100011010001110100001100111011001001000000110011001000001100100010011010110110111111111100100001000010001110001111001000000101111110011011011011101100110100011010011010110010101111100100101010001010010111000101010000001100011001010001010000000011011110101110001101010000100001101001001111111000101111111001010001101000111000010010110001001101011101011101011000000100010001111011010110101010010011000111010111000110110110101011111110011101101011010000000001011100011101000101110100100000011110011110110011001110011111111010011010100011110110111000010101001001001000001010011101000000001000010011111001000110011101100010011101100010110011011101001110110010001000001000100111001010010001001110100101001011110011001001111111101001111010110011111100110100111111001110011011010100011100001111110011110100000010010011000001011011100001011111101100110110011110010111010101011110100111010110111100011101001010011000100011001001010101100001110010011000111001010100001001010010111110111110111000110011110101001111110100101000101111001000000111010111001010100000100111011110010001011001011111111001111000101110011011101001111111000110101110101001111111000101010101001110100001110111010010011000010100010111011010001010110001100000001110011101100100110100011011110001111101001011011111111000001000011100000000011100110000000000101111100100001100111111001010101100111011100100111011110101110010111001101111101100001111011110001000100000010111101001010110111110100000011001110101101111011110110011010010111111101011001110101111110110110001001011011100011010101111010010010110000110010110110100001010110000000001101110111000000100000101100100010100001101111010010100010000011110100001010111010011010011100111100000100110100101100111111000101110000000110110001010110110001100000111000001001101001010111001001101010111001110000001110000111011011101111101011010110010100010010110011000101011000101100101011000110111101010000011001000011111010001010001001111011100110000101001011011010001101000100001001000111010000000011001011000010111111011101111110100101010001001110101101000010110100101110110011101110001100111011010011100001110100010100100101110110010110100101100010111101011010001010101101000011110011010100101011001001101101100100111101101101011011110111001000001100100011110100110101001111110010010000100010101111011000101111100001011100111000100101110110000110000110110010111101011110110101011111010010001100100011011111111110111100101100110100110011101111100000011000100000001100100110001100110111111111110011001101101010011100000011001010100111001101000101001011111110110101000100101111111010111001100000001001011101010000011101001001000100001100100100101000111101100001001100010000001100110111010100111110111100010000000011111001000011000001010110110111110111110101010010100101001000011100000010101011111110110000101