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

Oops! It is an error. I should replace the new n3 by n4, the new a3 by a4, and the new b1 by b2. Thank you for pointing out the error. Now I corrected them.