たぶんそんなに大きくない。
おそらく２重リストアッカーマンくらい。