Breaking out Rayo’s number into expanded Knuth’s up-arrow notation by hand would be easier than jumping into this.