{
    "path": "../../notebooks/proof.ipynb"
}