.vscode
model.smt
table-2/outputs/
table-2.csv