Search for blocks/addresses/...
Proofgold Term Root Disambiguation
Loop
2
(
b97a8..
0
1
1
0
)
(
b97a8..
0
1
1
0
)
(
b97a8..
0
1
1
0
)
0
as obj
-
as prop
e7c7b..
Z2_Loop
theory
HF
stx
1efa1..
address
TMdHh..
Z2_Loop