Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u20
,
u15
.
The subproof is completed by applying unknownprop_f703fb538aecade9bbcd74b2d58067c36af9442600dcf1664ff329cddb056261.
■