Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u19
,
u17
.
The subproof is completed by applying unknownprop_32fcde6d6628590d28c897f95483ceb307c8a8eac9a3b2d966c497d2eb1adc19.
■