100644 blob ce4668736b570deb2c34c7011a1c8bdca3f53416	constraints.rs
100644 blob 2e1746473695970ef3c6af2f04cf0690f3b5b171	dump.rs
100644 blob 0666b335e093b46f6dfd5180d7d04fe123cddd4a	mod.rs
100644 blob 4106c1a5b6355e7e0b06b4f6b3525f3841024a24	solve.rs
100644 blob 9c7680b9212059e5b88cc747e30a83199d0e97d4	terms.rs