SAT
0000110111100000011001111110000010110111101100111001010100100101011010100101010000101110110011111010000111100000010000011000011100001110011011010110010100011011111000101000111100100101100111110110100001010111100010011000000110000001001010010010111101101100100111110011010001001111001000010111100100000111111010101101000001010001111101010110010110010011011101010010110110111000001101100100100101011111110011111101101111000001100111000011101000111110101101000111010111110100010010001110100011010000011111101000100110100111011101101011011110100100010011010110110000101010000100100111011110101010000110111101010111010111001100001100111010010001111010110101001011010111010011110011010101101101000001001000111001000010011000110001101001101000001001001001101000110011000111010111111110110100011100001110110001111100010011101011011000001001100011111000011110010010010111111101101011110011010000000100011011100011101100100110000010001100111110011011000111111111001101010100110111101111100000100000101000101111001100011011110100011010000010110000110110001001110110110101111101010001010101010101110110000010111100001111000011100001011000010010000010101000000100111000100110011010010101110000110000111000100011100110110110110110101010010111011011101111011011100011000100111110010101000011101111101110101100100110111010111111001000001111001010010000101010100100100001101101100001011101000110101011111001011010110111011000100000011101001010000111101111100000000011111011101110110001011010100100111101111000111001001110000100111110010101101101011100101111010100101011110100001110011111010110100001001010111111101010101110010001001010110101011100111011000110011100111101101001011010111000001101001101100100011110100011110010010110100111010101000111010111011010000001110111110100001100100011001110100001111001000110111111000011000110011111111101100010100011111101000101011101111011011000011111010100001101111011001000010001110100100100110000100001100101110110101011000111111101110010101110111010001010101101011010000001010100000100101111100010000000000110110101101111000101111111001011010000000011111100111011110111010001001010010000000001111110111111011001000001111011101010000101111101011001110011000101000100111001100011000010001010101101011011000111011100101000000110001100101110110100101001111001001101010101001110010011110110111001110110100010111011110101010011010011000110101010101100011100000011111000011110100010001110001001111011110011000000010110010100111000110011110010011110110110111001111010011011011000110101100011000111110110101001110111000101000001011000111011111000010000101101100011101101110000001001010010100001011111001001101011001000001101001011111010101100011100010000011000111101101000011000001010110011011011011111101111111000111101011111111011011100110010011001100101101110010110000000011111110111111000001000100100100000111101010010110101110110000100101010000000101011001110001001100010100100100001001000000111101111110011001100010110011110010101110011111010101110000110101101011111001011000011010111101000001110001100111110100011000010001100000110001100010000000001110101010010110101100010010111000001011011001001110111100010010111110011110000011011111110101110100101001101100100011000011010101111011010100001100101010100110001011010001111111000001111100111000000001011011010001010101111001101001001010011001110001100011101100110000001011111010100011101000000110100100110010110011100101110001001011010110011100000001100011111001100010001000011111001000000110110011101000101010111010010011010110000110110010001000100011000111110100000100110000001011011000100001001111100101011101010001001101100011000001111111001100011010111100101011110000110100001101000111000001110000010010110011101100111110001101010011001101011111000100101011000100100011010010111101011101001111101001101110111101110100010101000001111011000111010000000100110100010100001100000010101111100001101101110101100111101111010110010110111000010011010101100010110100000000101001100100000110100000001001010000110010011101011011011001000000000101011110011110000000000100001111001010011111001010000100001100100001111100000000001001100010000111110100111001011111111111001100110101000001010110011000011010100110110101000110100011001111000001110101001010100000110001011011000011111000111011010011100101001111001111001100101111101101001010010110010100111100010100011001000111110101001110101100000111010111001111110100010110001010111101001110111110110011011110101100011100110101100101010111000000001101110001111110111110110111110000110011101101111100111010110111111000100011110100110101111101100001101111010000110000001100010011111100010010010110110010011101000110011011000010001100110110000010101101001010010010011001111101010101000111100100101101011110010100001000110000000111011110001010100010100000100100101000000110001010110111100010111111111010011101011101001111110011000110011111011001111001011100000101101001010110001011111011000111100011110100111110010101111010100011110101100010010010000111100101010000101000000011110101011000111110110010101100010000111110101011011100110001111110111001111001010100011101010100011100101001110000000010010010110010000001110010001000011000110101111110101101101011011000011111010001010101100001010100111000011010000000011001101101011101001011010001100000000100000010001100111111011111100010101111011101111011010000100101011101001111101110011010110100111000110010011100101011100010100000001111110000000001111100000001011000111111101100110010010110000110101001011011001000110100000001010100100001110110001010000100111001110111010001111011001011100010000010101110001110011001011001100110110101100001100111010110111100101111101111000111010010101010100001110101111101110001011011101011010001110110000000010001100110011111001110100011010011101010101111011101101110111010011111011101111011101110100110111111010110000101101011110101011100001110111111001111100010001111100011111000001000100110110101100110001111011111100111110000111000011100001101111010100000001000001110001011100010111111110110100100100000110001000111101100110010000101111110101111100010001101010000100011111000111110111110001010110111000010101001011010010110101100111101001011001010010110101000111011100111110000010111000110100110010101111101000000100101110000101001011110110011011001001001001100101000011111010000100011010010001101110001111101000111111010110001110100101010011000100001101101011011101101101111101110101001001000000010011100111100001101001100110111000100111000100010001111101100100110001111001001101010111011001000001000100001000101100101010110000100110001101011011101100100111101010010100010011111100010000101111100011000000111001000010100010100000100010000011100101000111101000011000101100110100000011011010010100000110101000010110101111100111011010111010001111110100010110010111010011011011000100001110110111110001101101000000000100010011001100111011111010001101100111010000010101000001000111010011000011100100010110010010011101110110011001010001011010110110101010100000000100001111110110110000111101101110010101001010011111101000001000100010001111100111000111011011001110010101011000010010110001100011111101101000111110010100010110001101110011000101011100110010001111100100110101111011100100100001110010111010001101011000010010000000100111110000101111110001000000101110101110110001111111101100010110000000001011101000110001100000001100101101011001010101111110101101011101101011010010100000110010101000111110010111101010101000101001000100101110111110111111101000111010000101011101010001010001010001100000100100000010010010010011011010110100101011111100001111010101110100001100110001101010010010100000100001010011100111101010110111100000101111100011010111110001111100110110100010100110001011001101101011011111101010001110110010100010110111111001011100111110011110110111000101100010000101100111111110110111001000101001001001000101001101001100111001101110010110011010111001000001101011000010010111000100110001111010111010001011101110000000111001111110110110010001110110101001111010110010001000010101010011110010110111110010010010011010111001010000111100011110100001100100101001011110001100000001101011000100100101111110010001101001000000011001101100101011010110011011110000111010010000011110010000110011011001000000001100010001000000010011111110100110011000000001111100101011001010010000000011100110000111010100011011010001111100001111001010001010110100000110000110110001001001001111101101101010000010011111100011100100100000100101011110100101100110110101111010111010000110000110011001101000011010000010100010011000110010000001010011000111110110011101101110111110001010111001001111110001010100010110011101110011111101111101110010111010001000110010111110000111100001001101100111001110000111000100101100110011110111111110100101001110111111110100111100101010111100101110010000111100000000001110101110011100010111110010000010010100111110100010111010110100101011011011011100100001001001001001101010110011111010011101011010100000000100011101100110110111101110110010100000110111011001110111100110000010010010111011010001110101101000000010000111010011010000101111000111011011010100101101011101101100010011010100101001000101111010010010001011110000001011000111110000000010100110011011011010010111111011011010100010110011110101011001000011100101110000110001111000111110000001010010110111000111100110101010101111001010111100101110001111010011100000100001111111010101101100111101011111001000101100011111000100001010001100111001110001100110010100000010111011000101011011110100101011001011111001111100011000110011100101000100100111010101101011101100101100011000010101101100001001010000001110111011111000000000111110101110111010100100111110001001011100111011011110101000001000001110101111000111101101010110110100100010010010110101100100100010000001001000001111001001111100100001100011001001101111011001101100100100011111000111110011011101011111110100000001010100001101101010001111100110100010011111101000011101110011011101100000110000101101001011100010101001011001011001100001110001010110100010100101001100001101000100110110000110000111