100644 blob dd839e97d826547d58fadd22a2aa73d06bf72ea9	bounded_coefficients.sc
100644 blob 6ce339c1bc31ad3afe9d0adbb1c45c5cd4a823c0	bounded_coefficients.st
100644 blob 70037c0f5b1999a87aca932edb42cd7cf175620d	carry_bounded_coefficients.sc
100644 blob cdcf12c431574cd10733a34b390d055b3ed4d290	carry_bounded_coefficients.st
100644 blob 47eedb24cbd0997016e086b8ed810f4fbe9cb3e5	disjunctive_domain.sc
100644 blob 05d0b89c7d0efc4da4f8028578a7e35365249521	disjunctive_domain.st
100644 blob f90bd883d77a237f09c23fbb381e0bcb9aed74e9	feautrier_compressed.sc
100644 blob fb2a4257cd24ed6d033db4db88a7d3d1f80786b7	feautrier_compressed.st
100644 blob cabe9b4e5df335a2e350a948926e5f46bbdff905	max_coincidence.sc
100644 blob 2b29baf7a9ab8ba70859697d4ad6ab62ad677819	max_coincidence.st
100644 blob c37ad5ba7ddbc13e5796f492f93fbf9dc052c720	nomax_coincidence.sc
100644 blob 3d3af702d52e5d8dc02e0941c6c504943096da41	nomax_coincidence.st