LibreOJ #6036.「雅礼集训 2017 Day4」编码 可持久化字典树+2-SAT