Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u18
,
u13
.
The subproof is completed by applying unknownprop_55a4bd2310f77fb91ce1c695cbcbd0ba303847354ff21ca10926c1dd661d3b19.
■