Tree: Depth-First Search - Balanced Binary Tree
Given the following memo dictionary after running an optimized recursive balance check on a binary tree:
```python
heights = {None: 0, node4: 1, node5: 1, node2: 2, node3: 1, node1: 3}
```
Which of the following trees corresponds to this memo state?
