See the markdown file with the details of this report [here](https://github.com/code-423n4/2023-01-ondo-findings/blob/main/data/halden-G.md).
