Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsuccI1 with u20, u7. The subproof is completed by applying unknownprop_8fd6e71cc1517a57314d59ba44b2c4db5cff7f78f048cfbeaa69b7222edfdd0c. ■