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