DIR CVS
  TEXT bounded_coefficients.sc
  TEXT bounded_coefficients.st
  TEXT carry_bounded_coefficients.sc
  TEXT carry_bounded_coefficients.st
  TEXT disjunctive_domain.sc
  TEXT disjunctive_domain.st
  TEXT feautrier_compressed.sc
  TEXT feautrier_compressed.st
  TEXT flat1.sc
  TEXT flat1.st
  TEXT flat2.sc
  TEXT flat2.st
  TEXT flat3.sc
  TEXT flat3.st
  TEXT flat4.sc
  TEXT flat4.st
  TEXT flat5.sc
  TEXT flat5.st
  TEXT flat6.sc
  TEXT flat6.st
  TEXT fork1.sc
  TEXT fork1.st
  TEXT fork2.sc
  TEXT fork2.st
  TEXT fork3.sc
  TEXT fork3.st
  TEXT leyin1.sc
  TEXT leyin1.st
  TEXT leyin2a.sc
  TEXT leyin2a.st
  TEXT leyin2b.sc
  TEXT leyin2b.st
  TEXT max_coincidence.sc
  TEXT max_coincidence.st
  TEXT nana.sc
  TEXT nana.st
  TEXT niewang.sc
  TEXT niewang.st
  TEXT nomax_coincidence.sc
  TEXT nomax_coincidence.st
  TEXT poliwoda.sc
  TEXT poliwoda.st