0

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1
		L : 1
	Transitions:	0	
	Weight Matrix : 
	
			0,0	


	Push done at L : 0
1

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2
		L : 1
	Transitions:	0	1	
	Weight Matrix : 
	
			0,0	16384,0	
			-5,0	0,0	


	Push done at L : 0
2

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2
		L : 1
	Transitions:	0	2	
	Weight Matrix : 
	
			0,0	16384,0	
			-3,0	0,0	


	Push done at L : 0
3

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3
		L : 1
	Transitions:	0	1	3	
	Weight Matrix : 
	
			0,0	16382,0	16384,0	
			-5,0	0,0	2,0	
			-7,0	-2,0	0,0	


	Push done at L : 0
4

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3
		L : 1
	Transitions:	0	2	4	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	
			-3,0	0,0	2,0	
			-3,0	0,0	0,0	


	Push done at L : 0
5

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	2	4	5	
	Weight Matrix : 
	
			0,0	3,0	3,0	3,0	
			-3,0	0,0	0,0	0,0	
			-3,0	0,0	0,0	0,0	
			-3,0	0,0	0,0	0,0	


	Push done at L : 0
6

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3
		L : 1
	Transitions:	0	2	6	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	
			-3,0	0,0	3,0	
			-3,0	0,0	0,0	


	Push done at L : 0
7

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	2	6	8	
	Weight Matrix : 
	
			0,0	16383,0	16383,0	16384,0	
			-3,0	0,0	3,0	4,0	
			-3,0	0,0	0,0	1,0	
			-4,0	-1,0	-1,0	0,0	


	Push done at L : 0
8

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5
		L : 1
	Transitions:	0	2	6	8	4	
	Weight Matrix : 
	
			0,0	16383,0	16383,0	16384,0	16384,0	
			-3,0	0,0	1,0	2,0	2,0	
			-3,0	0,0	0,0	1,0	2,0	
			-4,0	-1,0	-1,0	0,0	1,0	
			-4,0	-1,0	-1,0	0,0	0,0	


	Push done at L : 0
9

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5
		L : 1
	Transitions:	0	2	8	4	5	
	Weight Matrix : 
	
			0,0	16381,0	16382,0	16383,0	16384,0	
			-3,0	0,0	2,0	2,0	4,0	
			-4,0	-1,0	0,0	1,0	2,0	
			-4,0	-1,0	0,0	0,0	2,0	
			-6,0	-3,0	-2,0	-1,0	0,0	


	Push done at L : 0
10

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	2	8	6	
	Weight Matrix : 
	
			0,0	16383,0	16384,0	16384,0	
			-3,0	0,0	2,0	3,0	
			-4,0	-1,0	0,0	2,0	
			-4,0	-1,0	0,0	0,0	


	Push done at L : 0
11

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	2	6	8	
	Weight Matrix : 
	
			0,0	16382,0	16383,0	16384,0	
			-3,0	0,0	3,0	4,0	
			-4,0	-1,0	0,0	1,0	
			-5,0	-2,0	-1,0	0,0	


	Push done at L : 0
12

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5
		L : 1
	Transitions:	0	2	6	8	4	
	Weight Matrix : 
	
			0,0	16382,0	16383,0	16384,0	16384,0	
			-3,0	0,0	1,0	2,0	2,0	
			-4,0	-1,0	0,0	1,0	1,0	
			-5,0	-2,0	-1,0	0,0	0,0	
			-5,0	-2,0	-1,0	0,0	0,0	


	Push done at L : 0
13

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5
		L : 1
	Transitions:	0	2	8	4	5	
	Weight Matrix : 
	
			0,0	16380,0	16382,0	16382,0	16384,0	
			-3,0	0,0	2,0	2,0	4,0	
			-5,0	-2,0	0,0	0,0	2,0	
			-5,0	-2,0	0,0	0,0	2,0	
			-7,0	-4,0	-2,0	-2,0	0,0	


	Push done at L : 0
14

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	2	8	6	
	Weight Matrix : 
	
			0,0	16382,0	16384,0	16384,0	
			-3,0	0,0	2,0	3,0	
			-5,0	-2,0	0,0	1,0	
			-5,0	-2,0	0,0	0,0	


	Push done at L : 0
15

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	2	6	8	
	Weight Matrix : 
	
			0,0	16381,0	16383,0	16384,0	
			-3,0	0,0	3,0	4,0	
			-5,0	-2,0	0,0	1,0	
			-6,0	-3,0	-1,0	0,0	


	Push done at L : 0
Correct!
#stacks : 0
#clocks : 4
#states : 7
#transitions : 8
Maximum constant(M) : 6
Tree-Width(K) : 5

---END OF EXECUTION---

Execution time : 0.000645 seconds.

