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	
			0,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	5	
	Weight Matrix : 
	
			0,0	16384,0	
			0,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
		L : 1
	Transitions:	-40	1	
	Weight Matrix : 
	
			0,0	17616,0	
			0,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	5	6	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	
			0,0	0,0	1,0	
			0,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
		L : 1
	Transitions:	-40	-40	1	
	Weight Matrix : 
	
			0,0	4294917714,1	0,0	
			-32767,1	0,0	152,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	5	3	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	
			0,0	0,0	16384,0	
			0,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
		L : 1
	Transitions:	-40	-40	1	
	Weight Matrix : 
	
			0,0	4294917714,1	4294917714,1	
			-15954,1	0,0	0,0	
			-33,0	0,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
		L : 1
	Transitions:	0	5	4	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	
			0,0	0,0	16384,0	
			0,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
		L : 1
	Transitions:	-40	-40	1	
	Weight Matrix : 
	
			0,0	0,0	0,0	
			-27137,1	0,0	256,0	
			0,0	0,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
		L : 1
	Transitions:	0	-40	1	
	Weight Matrix : 
	
			0,0	0,0	0,0	
			0,0	0,0	0,0	
			0,0	0,0	0,0	


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

---END OF EXECUTION---

Execution time : 0.000349 seconds.

