100644 blob b0dcdc7486e0795238d38c943f28792236583217	mod.rs
040000 tree 98d0e0d253707a512db5e644d1cc4927dfd90483	program_clauses
100644 blob b8893d65ced0d9ddcec3a874d800b622c269e9f7	resolvent_ops.rs
100644 blob 5959c2ea5ca147b90f30bda166af2fdb529510e8	unify.rs