cps-lab-exercises-2021/lab3/exercise/ex1.1/lake_regions.txt

region = lake.{
single & 10*x + 7*t <= 257 & 10*x + 52*t >= 257 & x >= 0
};