128312

Appears in sequences

• Decimal Goedelization of antitheorems from propositional calculus, in Richard C. Schroeppel's metatheory of A101273.at n=33A100200
• Erroneous version of A100200.at n=24A151996