Files
spectre_project/output.txt