SAT
0010100001010101011000111101011001011101111101010110000110110000100110101010001101001001111110011010000010000110011101011101010100100000101101000100110001111100111001110111010110111010011001001101111010010110101101110010010011000011011100111111000011111000101100111000111110010000001101010110100000011110000111000000100110001001111100010001110000100111101100111010011101111110101010010100110111101111010000001100000111010110000010111011001110000010100110101011010111000011011011011000100000101111001000000001110111100000010101111000100000001110110010011111000000010001011001000000110001100100010010110111001001111101110111110010110111010100010010100011110010111001011100011011000000110100001101000110000001111010111010010001001011101101100100110100111011111010101011111110100000000101011110001110000011000000100110001111010110001000111101110100100100000000101011011101110110011000010100010000101011111101000101100001000100100100101010010000100000001111111010101011010011001001110001101110100111010111010100111110110101111000101001010000101011001111010010100001110111001000011001010111111010011001101100111111011010001111110100001111011110110001000010111100111110010101010011111000011000001111000110010111010110111110100100000101100110001010111001011111100110000100100010001111011100100111100110100101101010110110101110101111101111010111011000110011001010111001010001001111000001001100000101010011010111011100000001101110111110110101010011001001101101010111001011000100100100101111011110110000010000101001011000000101110110110000111101100011110100011010111111011111101010101010011100111010010110000011010011000111010101000010001010001001101010111111110011111001100110000111001000001000010001110110111010011010010100001100010101010001110011010010001010011010110010101111000000110110101000100100100111001110001111001010101110110001011010001100111010010100101111010010010111100011110110101010101000010010010011101010110010000101011110110010111001011011001010001011000100111010111111011100000010110110000111100110011110000011000101101100010100110101101111001010111111110011000101011101001110100010100011100010111101000110011110001000000001010100100110011111110110110100100100010100101110011001111111000010011011000001001011100001001001001110111111100001110000101111010011000110010110001110100001000001101001000001000010001011101001100000111111101101101100001000110010010111101010110101101101101100000001011100011000000011101011101100000011111001001100010100000011001001010101001001001111111110001101001111000100011000011111101010000100101111011100101111110000001110110010011001000111010111101011110100110110111001010101001100010010111100011100001110010101010001010011000100110010011010100101111010110100101101110110100101111010010100011111000111110010110001110110010100011001000001101101000111010101010001101011101000100001110111000111101001001101101010110101110001001000100001110111100100011000111110100110010001100111111100101110101001000011001000001010110100100000011010001101101111000011100101000011011000100101001011101011100101000101100000101100011110100111001100010110101100101011100110010010011100001100100101010011001010000110010001011011011000001110110111010100010111100100001110110111110101100001101000100010111010100010111110000010000000011000110100111010011010100100111000001001010111001001011000110100101001010110110000100111100110100101010000000000100111011111111000111001001110110010011101100000001100011000000001001100110111101101001101000011101000011111011111111000001001101101100100001100001010010111011101010100101000111110110101000010100010101011000011000001011011011010001100001010011001100101000101111101010111011101010101001110011011011100000110001110000110001100111001101111101110111110100101010110100010010101000111110010110111000000001110011001010000111111011110100010001000100010001110100100111000000001010001010001101110100100011110101100111110100011101100100111001000011000010001110101010000111111100101100000001110101001000000110100010011111011011111100001011001111111100000111001001011010101110001111000011100000111111110101110001001010010001000110011000011010000110011111011011011000000110111011010000101010011111010110100111010010001110010001101101111000010111010110111011101111010011001111110110111010101000101001111000010011000011010110010011110010110100101001110010011111010000011011100100010011000010111011001111100100001011100100101101101010101111111111001111010010101001101011111100001010100101000100000000101000000101000001001011100001011111100110100110010100110110010001101111101000001100101010001000110101001000010001001101111111111101010011011110000111110000101110001000110110011011100000000001010001010001001010111110101000010011111100100111101110110101100101111011000001001111111000111011001100000011011101010000010101101010010101100010101001001101111100111101110111111010000101001111110101110100110100010100100000101010100100010001000000011111101110101111100000111101000111011100111001100001010110111100001000111000100000100101011101001111001101101101110000111000100101101011001111010110110010011111011110111011001011000010111001111001111001101011101110000101001000101101011101111011011000110011111001001101011010111001110100011101100000010111111101111100001101010011111101101010001010011101100011001000010101011111101011111111100010010011110110011011110100100101101000101010011011110010001011010010011110011111011010111000110100011100100000001010100001010111010010001111110001111001101110100101000101010011100100011111001001100110001100001111011110011001111111011111110011011111101101010011110011001000111011011001011110010111011100101111010110000111110001111100000110011110010001101100101111101011001110111011101100100011011011111010111010111101111101100100000111100101010100110100010000001010110100000000110101100101011111001100000011100100010101010111100010011010101111110001101000000101100000100110011010010111010000001010010001001000011101001001100101100110000101100110010100001011010010010010100000001011101011100111111100100011001111101100111011001111111010011001000000001011011100011110001110000001100011110011110111111101010001111110110100010101101101010001110010111111101111000110110100011000010111111001000001011011011011001000011011100100000100000101010110111001011001111001110101111001111001100000011000011000111101011100000011100010110001010011111111101100011100010000101000000111011011001011011001101100100111101000110001011111011001110010100001000011110100011101101100110001111010010110101010000111110010011111010011101000010100001111000101011010000010001111100110011110101011110001001100111111111110100110000100000000010101001111110000000001000100110101011111100110100010111100111110000011101011001110001010011111010100010011101111111111111100010101111110010000001000010111111110101011111111100100001000100111101110010111111001000000100111100011100100001101110111111010110000000110111111010110001101101100110011101110100011011100100111010011010011001111010101001111010011001000111110001111011000110011101001101101110000010011011011101110110010001111011010001001101011010111110111100000010010101110011100000011011010011010111010010000001010111000110010101010000010101000001011000000010110010010000101111110100101100000001001100011010001011110000100101101000001101100110101110101010000100101101110101110100100001001101010110101110011000110101011001111000010100011111001001111011010111010001010100001001110011011100001110011001111111110110111000010101101011101100011011001100100011110001111100101110010110100001101101010000001010011100111111111001101011011110010100010111110010000101010011010011011001000011001000101100110010011100010011010100001101010010011011011101001011011111110000000011110100010110001101011111101110010001100011011001100000110000100110001000000000111011110110100101010111101100001010101111011100011000110110110011101101000010011111111010111001110011010000100011011110101100010001001101011110101010010100001111111001010100000001000100101000001100110110100100000010111000001110101111001011011101110000101100111110011101001111011101111001101010111011011111011101000101111001011100001010010011011010111111000010000011110101001000100111000001100001011101101000000011010001000010011100010111001000110110110110110100100001001001000110101011010001000000110011011100100101001101001000001101011100000011011100100001101010001100001001110000010100010010010010110111110011100100101001000101111010101101010010001011110000110011110001010011100110000000101011000101110110000011100110111110010111011011111101101100011110011000110000010101011001001000001100011101000110001000100001011011000100010110110010111001100001100011000011000010011111101111100101010110010101001100111100111111000011111111110010001011001000100011001110100101110000001001100101111001101110110010000101110111000111011111000000010111100110010100011100111111100011100101101010001110111000000100111011001101111001010100001111101011110101000100100100111110010111100001101100011001100100111001111101110000001101110111011111001101110110100001111010011000000100010101110000111011010100000100111100110100110111011010010101000001010010011001101100110100011111010000100011100000001001111010110000010111010010001001100001011111100100110111101100110111100010100001010001011111000100110001010010011001101000001011001101010001101001110000101010011100111011100000000010100011100011010010111001000011011101000111111110101001010011101110011010001111111110111110110101001010011000101011001011100000011110001001111011001110001001000111111101010010011010010111101110111101010111001100101101010110010101110110011001010010110010011011101010001111011000110011001100101000011100100010001111111010110011111011000001111110010101110111001010010000110101001010001011100000100100111101101000000000010100011011000110100100110011010111110011111011011000111111000111010010010011110110101101001010011101000001110010001001100011111111011110011110101000110110110101101010000010001110011101110110001111010110110111110001100000000000111001011001010011110010000100101101100011110100111101001010100110000111