Create spfa_better.txt