/target
/Cargo.lock
perf.data
perf.data.old
flamegraph.svg
certifaiger.aig
