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