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