User blog comment:P進大好きbot/Elementary Large Number beyond PTO(Π11-CA0)/@comment-24923514-20190604150105/@comment-24923514-20190604191338

Also, wouldn't a0 be equal to 0 for all x>=20? That would just make d0 = 0 as well.