141831domain: NAppears in sequencesExpansion of (1-x)^2/((1-x)^3-5x^3).at n=13A097124Decimal Goedelization of antitheorems from propositional calculus, in Richard C. Schroeppel's metatheory of A101273.at n=35A100200