// This is the constraint file for the group 3Excl.

excludes
  0, ..., 1, ..., 2