Re: [math-fun] Propp/Asimov sequence problem