0000000000000000000000000000000000000000 13495949b33a34443c2c189bbe7c0d9820585192 Tyler Kastner <tyler.kastner@mail.mcgill.ca> 1670941613 -0500	clone: from https://github.com/chrisgrimm/proper_value_equivalence.git
