n, m = map(int, input().split()) LR = [tuple(map(int, input().split())) for _ in range(n)] from atcoder.twosat import TwoSAT ts = TwoSAT(n) for i in range(n): l, r = LR[i] l_, r_ = m-1-r, m-1-l for j in range(i+1, n): ll, rr = LR[j] if not (r