5 2 0 3 1
1: d(x1,0,eq)
0: d(x0,3,lt)
-999: d(x1,1,eq)

0 0
0 0

0 1
0 0

1 1
1 1
1 1
0 0
1 1