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