# File: DDP.dat

param n := 6;
param m := 6;
param l := 9;

param a :=
1 1
2 2
3 2
4 3
5 3
6 4;

param b :=
1 1
2 1
3 2
4 2
5 4
6 5;

param c :=
1 1
2 1
3 1
4 1
5 1
6 2
7 2
8 3
9 3;