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