Atcoder Grand Contest 039C（容斥原理，计数DP）