main.* !main.tex filtered_sage.txt _minted-main/* sage-plots-for-main.tex