100644 blob cfab2ed340910fe697de5a50d8062e6d2c3e6e5f	constraints.rs
100644 blob aa05e512dc2af72912bdd2db91a2c7e8c2a5b0b9	dump.rs
100644 blob dd5b602241d234012df48edbd9ef3f929d0b7b78	mod.rs
100644 blob 06e8bc84e447476cd0b6c04a40e6d7454f07a7cd	solve.rs
100644 blob d22eb01467ebe9659ee68ad0d6650de49a152c9b	terms.rs