Proofgold Proof

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