Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsuccI1 with u19, u12. The subproof is completed by applying unknownprop_bfb28090adef24674c999c3945ffa69095d606c34e4cf025c283dfadb848b512. ■