Referenced by:

• 03488909920381267698r
• 11854508583294260104r
• 42007523468419960371r
• 47366779347182530983r
• 48647866403187493577r
• 87368551144702784712r
• busy-beaver