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

Also, it looks like you defined n3, a3, and b1 all twice at the logic when 0=10, n2>n1, and n0>1. I wasn't sure if that was intentional. I haven't noticed any other redefined variables yet.