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 f3cb57f1f68a2fc956f1d771344899f9f3175b3d	flat1.sc
100644 blob 6b0b54f263c90ffc8fd5b236dd3ab01b68fb8513	flat1.st
100644 blob bf5042cfb4e2ca3dcaf7d67ea90e0cab4180571c	flat2.sc
100644 blob 83f0838d44a411bc2964379336986be67a912e7f	flat2.st
100644 blob 86e296ef786377e0808a9f6d18d0b76a5b42bee8	flat3.sc
100644 blob eea2ea4dc0176056a96db9de1bb2d144df0b0a5f	flat3.st
100644 blob 3c094b06b4e268170b0da76688e740893ef30127	flat4.sc
100644 blob bef33ca20058972000a6e647dcb9012b39b7b0bf	flat4.st
100644 blob fdee69a46d72b8c0e8b4bb40665bc58b4ae3b5bc	flat5.sc
100644 blob de01551c3ed11f6c35ba2852472c4eb3ea61c87b	flat5.st
100644 blob c78919c7f02a30b9ad4334ce832a1cb915302d43	flat6.sc
100644 blob 9ee10273ca6b5d845c4b2a89ca72d65859770d4a	flat6.st
100644 blob cabe9b4e5df335a2e350a948926e5f46bbdff905	max_coincidence.sc
100644 blob 2b29baf7a9ab8ba70859697d4ad6ab62ad677819	max_coincidence.st
100644 blob 816cd234c748bffcd62d4d4826277561d93a83d1	niewang.sc
100644 blob 741ed9c5de20f13fc14e2437608802434388daba	niewang.st
100644 blob c37ad5ba7ddbc13e5796f492f93fbf9dc052c720	nomax_coincidence.sc
100644 blob 3d3af702d52e5d8dc02e0941c6c504943096da41	nomax_coincidence.st
100644 blob cd669fa247d144e8d0150a369d3a690340b257ed	poliwoda.sc
100644 blob d9a07a61e167089795ef2dddad1d8baa6e8cce8a	poliwoda.st