Petinet

Petinet is equal to \(f_{\varphi(4,0)[10^{15}+1]}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov.