[math-fun] dgf's and binary sequences