FGH page 5

hectargum-tritetrom = f_(ω^ω^ω)(100)

balumargum-tritetrom = f_(ω^ω^ω)(f_2(10))

zeraddomargum-tritetrom = f_(ω^ω^ω)(f_ω(10))

bultomargum-tritetrom = f_(ω^ω^ω)(f_ω2(10))

bexomargum-tritetrom = f_(ω^ω^ω)(f_ω^2(10))

trexomargum-tritetrom = f_(ω^ω^ω)(f_ω^3(10))

quadrexomargum-tritetrom = f_(ω^ω^ω)(f_ω^4(10))

quintexomargum-tritetrom = f_(ω^ω^ω)(f_ω^5(10))

sextexomargum-tritetrom = f_(ω^ω^ω)(f_ω^6(10))

septexomargum-tritetrom = f_(ω^ω^ω)(f_ω^7(10))

octexomargum-tritetrom = f_(ω^ω^ω)(f_ω^8(10))

nonexomargum-tritetrom = f_(ω^ω^ω)(f_ω^9(10))

bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω(10))

bult-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω2(10))

trult-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω3(10))

quadrult-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω4(10))

quintult-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω5(10))

bex-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω^2(10))

trex-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω^3(10))

quadrex-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω^4(10))

quintex-bitetromargum-tritetrom = f_(ω^ω^ω)(f_ω^ω^5(10))

grand tritetrom = f_(ω^ω^ω)(f_ω^ω^ω(10)) = f_(ω^ω^ω)(f_ω^ω^10(10))

unadd-tritetrom = f_(ω^ω^ω+1)(10)

badd-tritetrom = f_(ω^ω^ω+2)(10)

tradd-tritetrom = f_(ω^ω^ω+3)(10)

quadradd-tritetrom = f_(ω^ω^ω+4)(10)

quintadd-tritetrom = f_(ω^ω^ω+5)(10)

sextadd-tritetrom = f_(ω^ω^ω+6)(10)

septadd-tritetrom = f_(ω^ω^ω+7)(10)

octadd-tritetrom = f_(ω^ω^ω+8)(10)

nonadd-tritetrom = f_(ω^ω^ω+9)(10)

zeraddomadd-tritetrom = f_(ω^ω^ω+ω)(10)

unaddomadd-tritetrom = f_(ω^ω^ω+ω+1)(10)

baddomadd-tritetrom = f_(ω^ω^ω+ω+2)(10)

traddomadd-tritetrom = f_(ω^ω^ω+ω+3)(10)

bultomadd-tritetrom = f_(ω^ω^ω+ω2)(10)

trultomadd-tritetrom = f_(ω^ω^ω+ω3)(10)

quadrultomadd-tritetrom = f_(ω^ω^ω+ω4)(10)

quintultomadd-tritetrom = f_(ω^ω^ω+ω5)(10)

sextultomadd-tritetrom = f_(ω^ω^ω+ω6)(10)

bexomadd-tritetrom = f_(ω^ω^ω+ω^2)(10)

bult-bexomadd-tritetrom = f_(ω^ω^ω+ω^2.2)(10)

trexomadd-tritetrom = f_(ω^ω^ω+ω^3)(10)

quadrexomadd-tritetrom = f_(ω^ω^ω+ω^4)(10)

quintexomadd-tritetrom = f_(ω^ω^ω+ω^5)(10)

sextexomadd-tritetrom = f_(ω^ω^ω+ω^6)(10)

septexomadd-tritetrom = f_(ω^ω^ω+ω^7)(10)

octexomadd-tritetrom = f_(ω^ω^ω+ω^8)(10)

nonexomadd-tritetrom = f_(ω^ω^ω+ω^9)(10)

bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω)(10)

bult-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω2)(10)

trult-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω3)(10)

quadrult-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω4)(10)

quintult-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω5)(10)

bex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^2)(10)

trex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^3)(10)

quadrex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^4)(10)

quintex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^5)(10)

sestex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^6)(10)

septex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^7)(10)

octex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^8)(10)

nonex-bitetromadd-tritetrom = f_(ω^ω^ω+ω^ω^9)(10)

bult-tritetrom = f_(ω^ω^ω * 2)(10)

trult-tritetrom = f_(ω^ω^ω * 3)(10)

quadrult-tritetrom = f_(ω^ω^ω * 4)(10)

quintult-tritetrom = f_(ω^ω^ω * 5)(10)

unadd-bitetrom-exom = f_(ω^(ω^ω+1))(10)

bult-unadd-bitetrom-exom = f_(ω^(ω^ω+1)*2)(10)

trult-unadd-bitetrom-exom = f_(ω^(ω^ω+1)*3)(10)

badd-bitetrom-exom = f_(ω^(ω^ω+2))(10)

tradd-bitetrom-exom = f_(ω^(ω^ω+3))(10)

quadradd-bitetrom-exom = f_(ω^(ω^ω+4))(10)

quintadd-bitetrom-exom = f_(ω^(ω^ω+5))(10)

omadd-bitetrom-exom = f_(ω^(ω^ω+ω))(10)

unaddomadd-bitetrom-exom = f_(ω^(ω^ω+ω+1))(10)

baddomadd-bitetrom-exom = f_(ω^(ω^ω+ω+2))(10)

traddomadd-bitetrom-exom = f_(ω^(ω^ω+ω+3))(10)

quadraddomadd-bitetrom-exom = f_(ω^(ω^ω+ω+4))(10)

quintaddomadd-bitetrom-exom = f_(ω^(ω^ω+ω+5))(10)

bultomadd-bitetrom-exom = f_(ω^(ω^ω+ω2))(10)

trultomadd-bitetrom-exom = f_(ω^(ω^ω+ω3))(10)

quadrultomadd-bitetrom-exom = f_(ω^(ω^ω+ω4))(10)

quintultomadd-bitetrom-exom = f_(ω^(ω^ω+ω5))(10)

bexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^2))(10)

trexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^3))(10)

quadrexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^4))(10)

quintexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^5))(10)

sestexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^6))(10)

septexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^7))(10)

octexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^8))(10)

nonexomadd-bitetrom-exom = f_(ω^(ω^ω+ω^9))(10)

bult-bitetrom-exom = f_(ω^(ω^ω+ω^ω))(10)

trult-bitetrom-exom = f_(ω^(ω^ω.3))(10)

quadrult-bitetrom-exom = f_(ω^(ω^ω.4))(10)

quintult-bitetrom-exom = f_(ω^(ω^ω.5))(10)

sextult-bitetrom-exom = f_(ω^(ω^ω.6))(10)

septult-bitetrom-exom = f_(ω^(ω^ω.7))(10)

octult-bitetrom-exom = f_(ω^(ω^ω.8))(10)

nonult-bitetrom-exom = f_(ω^(ω^ω.9))(10)

hyper-unadd-exom = f_(ω^ω^(ω+1))(10)

hyper-bult-unadd-exom = f_(ω^(ω^(ω+1).2))(10)

hyper-trult-unadd-exom = f_(ω^(ω^(ω+1).3))(10)

hyper-quadrult-unadd-exom = f_(ω^(ω^(ω+1).4))(10)

hyper-quintult-unadd-exom = f_(ω^(ω^(ω+1).5))(10)

hyper-sextult-unadd-exom = f_(ω^(ω^(ω+1).6))(10)

hyper-septult-unadd-exom = f_(ω^(ω^(ω+1).7))(10)

hyper-octult-unadd-exom = f_(ω^(ω^(ω+1).8))(10)

hyper-nonult-unadd-exom = f_(ω^(ω^(ω+1).9))(10)

hyper-badd-exom = f_(ω^ω^(ω+2))(10)

hyper-bult-badd-exom = f_(ω^(ω^(ω+2).2))(10)

hyper-trult-badd-exom = f_(ω^(ω^(ω+2).3))(10)

hyper-quadrult-badd-exom = f_(ω^(ω^(ω+2).4))(10)

hyper-quintult-badd-exom = f_(ω^(ω^(ω+2).5))(10)

hyper-tradd-exom = f_(ω^ω^(ω+3))(10)

hyper-bult-tradd-exom = f_(ω^(ω^(ω+3).2))(10)

hyper-trult-tradd-exom = f_(ω^(ω^(ω+3).3))(10)

hyper-quadrult-tradd-exom = f_(ω^(ω^(ω+3).4))(10)

hyper-quintult-tradd-exom = f_(ω^(ω^(ω+3).5))(10)

hyper-quadradd-exom = f_(ω^ω^(ω+4))(10)

hyper-bult-quadradd-exom = f_(ω^(ω^(ω+4).2))(10)

hyper-trult-quadradd-exom = f_(ω^(ω^(ω+4).3))(10)

hyper-quadrult-quadradd-exom = f_(ω^(ω^(ω+4).4))(10)

hyper-quintult-quadradd-exom = f_(ω^(ω^(ω+4).5))(10)

hyper-quintadd-exom = f_(ω^ω^(ω+5))(10)

hyper-bult-quintadd-exom = f_(ω^(ω^(ω+5).2))(10)

hyper-trult-quintadd-exom = f_(ω^(ω^(ω+5).3))(10)

hyper-quadrult-quintadd-exom = f_(ω^(ω^(ω+5).4))(10)

hyper-quintult-quintadd-exom = f_(ω^(ω^(ω+5).5))(10)

hyper-sextadd-exom = f_(ω^ω^(ω+6))(10)

hyper-bult-sextadd-exom = f_(ω^(ω^(ω+6).2))(10)

hyper-trult-sextadd-exom = f_(ω^(ω^(ω+6).3))(10)

hyper-quadrult-sextadd-exom = f_(ω^(ω^(ω+6).4))(10)

hyper-quintult-sextadd-exom = f_(ω^(ω^(ω+6).5))(10)

hyper-septadd-exom = f_(ω^ω^(ω+7))(10)

hyper-bult-septadd-exom = f_(ω^(ω^(ω+7).2))(10)

hyper-trult-septadd-exom = f_(ω^(ω^(ω+7).3))(10)

hyper-quadrult-septadd-exom = f_(ω^(ω^(ω+7).4))(10)

hyper-quintult-septadd-exom = f_(ω^(ω^(ω+7).5))(10)

hyper-octadd-exom = f_(ω^ω^(ω+8))(10)

hyper-bult-octadd-exom = f_(ω^(ω^(ω+8).2))(10)

hyper-trult-octadd-exom = f_(ω^(ω^(ω+8).3))(10)

hyper-quadrult-octadd-exom = f_(ω^(ω^(ω+8).4))(10)

hyper-quintult-octadd-exom = f_(ω^(ω^(ω+8).5))(10)

hyper-nonadd-exom = f_(ω^ω^(ω+9))(10)

hyper-bult-nonadd-exom = f_(ω^(ω^(ω+9).2))(10)

hyper-trult-nonadd-exom = f_(ω^(ω^(ω+9).3))(10)

hyper-quadrult-nonadd-exom = f_(ω^(ω^(ω+9).4))(10)

hyper-quintult-nonadd-exom = f_(ω^(ω^(ω+9).5))(10)

hyper-bultom-exom / hyper-dekadd-exom = f_(ω^ω^(ω2))(10) = f_(ω^ω^(ω+10))(10)

hyper-bult-bultom-exom = f_(ω^(ω^(ω2).2))(10)

hyper-trult-bultom-exom = f_(ω^(ω^(ω2).3))(10)

hyper-quadrult-bultom-exom = f_(ω^(ω^(ω2).4))(10)

hyper-quintult-bultom-exom = f_(ω^(ω^(ω2).5))(10)

hyper-unadd-bultom-exom = f_(ω^(ω^(ω2+1)))(10)

hyper-bult-unaddbultom-exom = f_(ω^(ω^(ω2+1).2))(10)

hyper-trult-unaddbultom-exom = f_(ω^(ω^(ω2+1).3))(10)

hyper-quadrult-unaddbultom-exom = f_(ω^(ω^(ω2+1).4))(10)

hyper-quintult-unaddbultom-exom = f_(ω^(ω^(ω2+1).5))(10)

hyper-badd-bultom-exom = f_(ω^(ω^(ω2+2)))(10)

hyper-bult-baddbultom-exom = f_(ω^(ω^(ω2+2).2))(10)

hyper-trult-baddbultom-exom = f_(ω^(ω^(ω2+2).3))(10)

hyper-quadrult-baddbultom-exom = f_(ω^(ω^(ω2+2).4))(10)

hyper-quintult-baddbultom-exom = f_(ω^(ω^(ω2+2).5))(10)

hyper-tradd-bultom-exom = f_(ω^(ω^(ω2+3)))(10)

hyper-bult-traddbultom-exom = f_(ω^(ω^(ω2+3).2))(10)

hyper-trult-traddbultom-exom = f_(ω^(ω^(ω2+3).3))(10)

hyper-quadrult-traddbultom-exom = f_(ω^(ω^(ω2+3).4))(10)

hyper-quintult-traddbultom-exom = f_(ω^(ω^(ω2+3).5))(10)

hyper-quadradd-bultom-exom = f_(ω^(ω^(ω2+4)))(10)

hyper-quintadd-bultom-exom = f_(ω^(ω^(ω2+5)))(10)

hyper-sestadd-bultom-exom = f_(ω^(ω^(ω2+6)))(10)

hyper-septadd-bultom-exom = f_(ω^(ω^(ω2+7)))(10)***

hyper-octadd-bultom-exom = f_(ω^(ω^(ω2+8)))(10)

hyper-nonadd-bultom-exom = f_(ω^(ω^(ω2+9)))(10)

hyper-trultom-exom / hyper-dekadd-bultom-exom = f_(ω^ω^(ω3))(10) = f_(ω^ω^(ω2+10))(10)

hyper-bult-trultom-exom = f_(ω^(ω^(ω3).2))(10)

hyper-trult-trultom-exom = f_(ω^(ω^(ω3).3))(10)

hyper-quadrult-trultom-exom = f_(ω^(ω^(ω3).4))(10)

hyper-quintult-trultom-exom = f_(ω^(ω^(ω3).5))(10)

hyper-unadd-trultom-exom = f_(ω^(ω^(ω3+1)))(10)

hyper-bult-unaddtrultom-exom = f_(ω^(ω^(ω3+1).2))(10)

hyper-trult-unaddtrultom-exom = f_(ω^(ω^(ω3+1).3))(10)

hyper-quadrult-unaddtrultom-exom = f_(ω^(ω^(ω3+1).4))(10)

hyper-quintult-unaddtrultom-exom = f_(ω^(ω^(ω3+1).5))(10)

hyper-badd-trultom-exom = f_(ω^(ω^(ω3+2)))(10)

hyper-bult-baddtrultom-exom = f_(ω^(ω^(ω3+2).2))(10)

hyper-trult-baddtrultom-exom = f_(ω^(ω^(ω3+2).3))(10)

hyper-quadrult-baddtrultom-exom = f_(ω^(ω^(ω3+2).4))(10)

hyper-quintult-baddtrultom-exom = f_(ω^(ω^(ω3+2).5))(10)

hyper-tradd-trultom-exom = f_(ω^(ω^(ω3+3)))(10)

hyper-bult-traddtrultom-exom = f_(ω^(ω^(ω3+3).2))(10)

hyper-trult-traddtrultom-exom = f_(ω^(ω^(ω3+3).3))(10)

hyper-quadrult-traddtrultom-exom = f_(ω^(ω^(ω3+3).4))(10)

hyper-quintult-traddtrultom-exom = f_(ω^(ω^(ω3+3).5))(10)

hyper-quadradd-trultom-exom = f_(ω^(ω^(ω3+4)))(10)

hyper-quintadd-trultom-exom = f_(ω^(ω^(ω3+5)))(10)

hyper-sestadd-trultom-exom = f_(ω^(ω^(ω3+6)))(10)

hyper-septadd-trultom-exom = f_(ω^(ω^(ω3+7)))(10)

hyper-octadd-trultom-exom = f_(ω^(ω^(ω3+8)))(10)

hyper-nonadd-trultom-exom = f_(ω^(ω^(ω3+9)))(10)

hyper-quadrultom-exom / hyper-dekadd-trultom-exom = f_(ω^ω^(ω4))(10) = f_(ω^ω^(ω3+10))(10)