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

Sorry, the conditions in 5.2 and 5.3 were wrong. I corrected it.