Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u16
,
u3
.
The subproof is completed by applying unknownprop_2af8bf40bf7eaefd36fa12e21921eb2aeb029dbe2775546e49d5225f179719d9.
■