{
    "version": "0.2.0",
    "configurations": [
        {
            "name": "Debug",
            "python": "${workspaceFolder}/.venv/Scripts/python.exe",
            "type": "python",
            "request": "launch",
            "module": "hyper_etable.runpy",
            "args": [
                "calculate",
                "main.xlsx",
                "main.py"
            ],
            "console": "integratedTerminal",
            "preLaunchTask": "unpackEnv",
            "env": {
                "PYTHON": "./.pypy3/bin/pypy3",
                "HYPERC_SEARCH_CONFIG": "lmcount_alt5",
                // "HYPERC_SPLIT_OFF": "1",
                "HYPERC_SOLVER_MAX_TIME": "999900",
                "DOWNWARD_TOTAL_PUSHES": "1500000000",
                "HYPERC_MAX_PROC": "1",
                "HYPERC_USE_CACHE": "0",
                "HYPERC_TEMPDIR": "./.tmp",
                // "HYPERC_DONT_REMOVE_ACTIONS": "1",
                // "HYPERC_IGNORE_EQ_BRANCH": "1",
                "HYPERC_LOGLEVEL": "info",
                "HYPERC_LIN_COUNT": "20",
                // "HYPERC_FORCE_LIN_COUNT": "1",
                "HYPERC_DOWNWARD_FOLDER": ".venv/",
                "HYPERC_SOLVER_LOGLEVEL": "info"
            },
            "justMyCode": true
        }
    ]
}