Create Constraints1.crash.txt