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)