Proofgold Proof

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