// This is the constraint file for the group 2Excl. excludes 0, ..., 1