SAT
0101001111111101111111101010000110001110000100101010101110010010010111100111101010110101011010011110100111010111011011010011000011001101000000001110000000100000110000101111110001001111111001011101111010010000101001111100100000110001100110000110010000011011110110101100000110101011001100001011100000000110110011110001101000001001000001010011010011101010110010011001100000001110001100111111010110010111110001100010100101000111100110111100101010111111011110111100000100100101111000101011100101001011110100100000101100011111011101110111100011001111011001111010100001001110001110100110110111010000110011110011010010110100001000011010001010000100110010010010111111111111110011001010011010010001100110011110011110000101011001011111110001111011101100000100100101001000101101010100010010100011011100100011011010111100001010000110000101001111100101110001101101101010111111001001100101011011100100000011011000110111101000001001100111011111001100000111101001010011101100000010011101001101101101001110101000101010100011001011001110010110101100000001111011001110011000100101011001010001101100000111001101001111110011101001101100100000000101010111010100100010001111110100110010011011011101001100111010100101000101111001100100101101110100001110001000111101101111000001111000011011000111001010111000001011001100000110000000010100100000011101110001100100010000101011001011110100101100001000100011111011010010001101001110100101101001100101010010011000011100110001101100110101110110011100111100011011101110011000100110000000100101111011110001111100011011111000100110000000111000111000101010010001111101011100111011000000010010011101101001001000011110011100001000111010000100000101101001000001100010011000101111011101110101111010001101010100000001011001110011011101101111100000010110001100100000010111001010111100000101010100101010101110001111011110011011101011101110111111100011000011100110011001101010110000010011000011100000100001111111110000101101011110111011001101110000110011110000101000001100010010110001110101111011110010111100010011111001101110000001010000110100111010010000111111000101011010000101001111110000110001001000110110110000111011100111101010001000100011000011100001111011001101110111110111000000101100000110101101110100001010000110001011111001110000101010011010110000101010011011100101101010000100011101100011111100111011001100101101011111110110001101010100100010010010111101101110111100110000101101101010110101110100000100111111001010010000100001011110110000111111000001000001111101100101000010110110011101001011101101101101101011011011111010000100111111111110010110000110011011101100110011100010100000010101010110100111001111111001011101001010111110010000001100101001001101110111110101001110111010100111111100111110110100011110110001111010000001011001010100001101001100010010100100111110111001010100011001111101000011010100101100001111101100100101010100111101101100110000000010001111101011110000011011001011011100010100101111100010010111011101111001000110101000001000001100111001101100000111010000000000010100110011011111110111101100001001001110000100111101111000000010011110011010001001010111101110010101101011101001000000111110011001000101011100000110101001000100000101000010001000110000010001011101001010011101110001000011100111011110000100011101001010111000100101000110110100000101000100011001001001110101111100101110001111001001111000110011011100011100010011110011000101001100101011000001010011011100000110011110010001000111011100110000001010000100011010010110011010001000000001100001001000101111101101100000110010011101010100000110000001010001101001111010010001110101000011001001001100111000001001100000110110011101001100001100100011000011110111101000110111110001001000011010011111101011100110010111011100001110011010001100101001100000100010001101011100101101010000111011011011110101111001011011010110001101110010000110111011010101101001101100111100011110001110001101100011110000011111101110110011001000100101100001011110100001101010100011101011111100110111101000111100101001000010000101011000111010100000010011100110000100111110100111010001010111010011010010000100001101000000001101111110110000010001111101101110101000001000011110010110100010111111110000111101100100111011000101111101110100001001010101010100000111010011100001111100110001101100001111111111010011000100011011000110111100011111011100000000110111100000111100010000011110101100110101110100100000011000111011000010111101000000101110001000100010001000000010001000010100001100110110101100001101001000100011101111011101000100001001000101010110011100000001111011111010101010010000011111000101110010000011110111010101101111001000011000011001100100010001111010101101000111000101110101100011001000001110001111100011101101010010110001110011011011011101001010000001010000001011100000001000000101001011011000101000011011110110111010000001011111000100010000110000101000101001000011100010100001001001010100101010111100010000110100010000000111011111011001101100000011111111110011100010110111010001111100011011101010110100101101010111110100101100011010000010000011101011011100111110101001001100100001000111110011100000110010001111011100010010001010011010101010101011101111011111110000100010110010000111010000001000000110101010001110000100110111110011001101100110000001010101110111001010011111101101010000110000110100110000110010010000110111110000011100110001100110000110010010000010111100010111011001001011101100110110111100101110110111011100011110000101010011010100001011011100010100000101110000110110111011000010101110111010000101111000011000111010101100111001111011110000110101111101100100010100011101110100101010110000110100111110011100110110011010101100110111110101100000011100111001101100111100101101000111010111001101111100011011111001110100000001000101001110001010001001010100001001011100111110101000101101001110110101100010101110100010001010101010100010110101110001101011010001010111110000101101111111110001110101011011111000011000000100101011001001010000010110010010110100010001110111011001000000000110000000111010110010010011001000000000100000111100100101000100010110001110001000110110111110111110010011010100111000111001000001000101111101101001000001111111000101111000011001011111011000011011100000100110111100111010111000100101011011110001110011000001000111010010101010110101000011100110001101110010100110011011101001111101011110001010100101110100011000101101100111111111001101110101101101010001110010011111010101001111111111110010111110111100011100011101000111101100111100101011100111001100010110101001011100010100110000110010001011100010100100110011010011110111001111001111010010001000000010011010110000010101001000000111111110001110111110110011011111010110001100100101110100010100000100010011101111101011011010001110110101011010011010110011111010100100000011010111011001010111000000101100011000111101000100011111101000001111000010100000011101010110111010010001111100001101100100111000000001011001011101110100101101111110100010111111101111111110010000110110000111111000001111100000001000001011010111111100010101101011100010111101010111011011101011000000001111101010100100000001001110111011101001001011011111010011000010100101001110011100110101011010011101000111110101111101101010100010110011110000011110100000111000010000111001010010000100010100011011011111001100111100001001000010011111100011110100101100000110110101001001000011101110100111011111011100100101001011000100101111110011011000000111111100000001111011010000001000011001010010011001111101001000111110010110101100001111001000000101110000000111111011001000101100011111111001111100010010001100111001010001111001010100010001011101001000110001100011110010110100000111000100000010010101110001000111100010010110100110111101111101001000110101101001010101000010101101011111111011110001011111011100101011100011010010000111010100111110001011100100000001100010000101000100010111111101001101011101110100111100001010100110001001011101000111001100100111111010011110010100000111101010100000111000111001011100001100000001010100101100001000101001001000100001001001010010001101110000101011101000010010110011000110000010100010011110100011110011010011010010010001100101111110001101100111010011001011001110100100011000110010110111010101010000100010100101110001011011011010111111101111001010001111010010000110110010001100000011000100111001001110100101100001110000001001100000110100010001011011001001100100110010010101101001011111111100101110111011100110010101110011001000000101111100100100011101001100000001101110111101110101000101000100110100100011110000111011011001111111101011110011100001110110010101110001110101111100011001001100011011010011110000011111010000010101010101011111100011001001100110100110001110101111111001011101101011010111000101010100101110010111111100100100001010000111010011100001010100100111111111010101110110101111110111111110000011100110110000010000011100100101010100100000001101111001011101100110110110001010001101011001011101010010100001100000001001010001110011001110100100100111010111111011000011001001110001100110011011110101010100011011100001111101000010010011010100101111100011111010100111010111011100100100100010100110000101000101111110100111111001100110110111000010001101001001100100110011111010000011111000011111110111101001001101111001100010000100110010111100101001110001000000011110101000010000110100111101011101011101100110100100000011110110011111010101000000100101001000100001000101001111111110110100111111100110000110101000100100101101011001000101110101001000010110100110111101100100001101101000111100110101010100011111000000001110101110011000000111000000001010010000010110001010100101011011100101100101001110100010110101111011111011110101101001100101001010101100101111111110010101110011011001110001000100110000101111000100101111011100100111111101000011010001111000100000001111011101000001110110111101101010010011010010101010111001001110100101100111110010101111010101001000110011100110111110000111011001001010011111000011101111001001011101100100001010100100100010101001110000010111011101110111000010011010001100001010000001000011010010100010100100100110