Proof Tree Outline for {{ proofId }}

{{ treeContents }}