Show proof
/SKELETON/CNF/cnf+fcd/3559/b67a/fbc858a659073d6490585e11064065b9757cafcaf126077da0220+oo/f7e1ca9d69/proof/cnf_proof.jsn
(the path must start with '/SKELETON/CNF/' and end with 'cnf_proof.jsn').
LOAD FILE