Proofgold Term Root Disambiguation

λ x0 x1 : (ι → ι) → ι → ι . λ x2 : ι → ι . x0 (x1 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x0 (x0 (x1 (x0 x2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

as obj
a5931..

as prop
-

theory
HotG

stx
5a516..

address
TMLSk..