ICode9

CF1713F 利用lucas定理，\(b_S\)表示下标\(T\)与\(S\)无交的\(a_T\)的异或，由于部分\(b_S\)未知，不能直接iFWT。回顾容斥：\([S=\emptyset]=\sum_{T\subseteq S}(-1)^|T|\)，\([n=0]=\sum_{i=0}^{n}C(n,i)(-1)^i\)，\([n=1]=\sum_{d|n}\mu(d)\)，利用这种思想构造：令\(A=S\cap T\)，\([A=\emptys