echo Example 1
D 3 3
-1	0		1
1		-1	0
0		1		-1

L 1 3
0 0 1

B 1 1

m0 3
3 0 0

Tuc 1
1

done

echo Example 2
D 3 3
-1	0		1
1		-1	0
0		1		-1

m0 3
3 0 0

Tuc 1
1

L 1 3
0 0 1

B 1 1

done

echo Example 3
D 4 4
-1	-1	0		1
1		0		-1	0  
0		1		-1	0
0		0		1		-1

m0 4
3 0 0 0
Tuc 1
2

L 1 4
0 0 0 1

B 1 1
done

echo Example 4
D 4 4
-1 0 0 1
0 -1 0 2
2 1 -2 0
0 0 1 -2

m0 4
1 2 0 2

L 1 4
0 0 0 1

B 1 2

Tuc 1 2

done
echo Example 5
D 3 3
-1	1		0
-1	0		1
2		-1	-1

L 2 3
-1	0	 	-1
0		-1	-1

B 2
-1 -1

Tuo 1 0

m0 3
1 1 0

done

echo Example 6
echo This uses the data from Example 5 but supplies no initial marking.
D 3 3
-1	1		0
-1	0		1
2		-1	-1

L 2 3
-1	0	 	-1
0		-1	-1

B 2
-1 -1

Tuo 1 0

done

echo Example 7
echo This reuses the data from Example 2 but supplies no constraint vector.
D 3 3
-1	0		1
1		-1	0
0		1		-1

m0 3
3 0 0

Tuc 1
1

L 1 3
0 0 1

done

echo Example 8
echo This reuses the data from Example 2 but supplies neither constraint vector
echo nor initial marking.
D 3 3
-1	0		1
1		-1	0
0		1		-1

Tuc 1
1

L 1 3
0 0 1

done
quit
