[math-fun] sums of factors in GF(2)