

12

# r1
4 4
1 0 0 0
1 1 0 +3
0 0 1 0
0 0 0 1

# r2
4 4
1 1 0 0
0 1 0 0
0 0 1 0
0 0 0 1

# domain
5 5
1 1 0  1 0
1 -1 0 1 0
1 0 1  1 0
1 0 -1 1 0
1 0 0 1 -5	#context

# context
1 3
1 1 -5
