4 11 2 9 1

1

4


1 2 1 0 0
0

2 3 2 1 1
1 1 0 2 0
2
0

3 4 3 1 0
2 0 0 1 0
1 1

4 2 4 1 0
1 1 0 2 0
0

2 4 5 1 2
2 1 0 2 0
1 2
0

4 3 6 0 1
1
0

3 2 7 0 0
2 1 2 0 2 0

2 1 8 0 0
0

1 4 9 2 0
1 0 0 2 0
2 1 0 1 0
0

1 1 0 0 1
2
0

3 3 0 0 1
1
0





//TPDA corresponding to this file used to demonstrate the example in the report
