strip-nondeterminism/.gitignore