.vscode
build
*.cpp2c
evaluation/*.csv
evaluation/extracted_programs
evaluation/archived_programs
__pycache__