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