Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsuccI1 with u16, u13. The subproof is completed by applying unknownprop_279fe6eb4b3ee21a0be2650377dfae573b176ecc12970f64812a6be52f3acfb9. ■