Constraints file for Lab 3