Proofgold Proof

pf
Apply unknownprop_4c4b27a97d7f3e81d4abb7629b850d6c55c186f55f30e3dfae132a3ddf1e0a30 with 4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))), 4ae4a.. 4a7ef... The subproof is completed by applying unknownprop_0d106f71868864661e83bc0a2d56eb37ce1d35c8eb0429b88d5f5c42054109b1. ■