User blog comment:Allam948736/Last digits of tetrations - proof/@comment-39128220-20200212044240

That will be faster.