
echo Example1

D 2 4
1  0 -1  0
0  1  1 -1

m0 2
0 0

L 2 2
0 0
1 0

H 2 4
0 1 0 0
0 0 0 0

b 2
0 0

LB 2
0 0

UB 2
1 3

done

quit
