CF1007D. Ants（树链剖分＋线段树＋2-SAT及前缀优化建图）