Related, this came up in yesterday's thread about Graham's number: http://djm.cc/bignum-results.txt http://djm.cc/bignum-results.txt https://news.ycombinator.

Related, this came up in yesterday's thread about Graham's number: http://djm.cc/bignum-results.txt http://djm.cc/bignum-results.txt https://news.ycombinator.com/item?id=9054274 https://news.ycombinator.com/item?id=9054274