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----3
		L : 1
	Transitions:	0	1	2	
	Weight Matrix : 
	
			0,0	16383,0	16384,0	
			0,0	0,0	1,0	
			-1,0	-1,0	0,0	


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

---END OF EXECUTION---

Execution time : 0.000173 seconds.

