Unusually long tetratri

Unusually long tetratri is equal to \((0,0,0,0)(1,1,1,1)(2,2,2,2)(3,3,3,3)[3]\) using the Bashicu matrix system, with respect to version 4. The term was coined by .AR Googol - Vast Irregulars of Goals numbers. Retrieved 2023-11-19. It is the 117th number of Vast Irregulars of Goals series.
Since the BMS beyond the Pair sequence number has no proof of termination or formalisation, this number is ill-defined.
==Sources==
Category:Numbers
Category:Numbers by ARsygo
Category:Higher computable level
Category:Unformalised
Category:Bashicu matrix system numbers