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	16384,0	16384,0	
			0,0	0,0	16384,0	
			0,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----3----4
		L : 1
	Transitions:	0	1	2	3	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	
			0,0	0,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----4----5
		L : 1
	Transitions:	0	1	2	3	4	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	
			0,0	0,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----4----5----6
		L : 1
	Transitions:	0	1	2	3	4	5	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,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----4----5----6----7
		L : 1
	Transitions:	0	1	2	3	4	5	6	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,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----4----5----6----7----8
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,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----4----5----6----7----8----9
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,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----4----5----6----7----8----9----10
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,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----4----5----6----7----8----9----10----11
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,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----5----6----7----8----9----10----11----12
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,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----6----7----8----9----10----11----12----13
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,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----6----7----8----9----10----11----12----13----14
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,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----5----6----7----8----9----10----11----12----13----14----15
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,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----5----6----7----8----9----10----11----12----13----14----15----16
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	


	Push done at L : 0
16

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	16384,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	


	Push done at L : 0
17

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	
	Weight Matrix : 
	
			0,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	


	Push done at L : 0
18

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	18	
	Weight Matrix : 
	
			0,0	16382,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	


	Push done at L : 0
19

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	19	
	Weight Matrix : 
	
			0,0	16382,0	16382,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	


	Push done at L : 0
20

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	20	
	Weight Matrix : 
	
			0,0	16382,0	16382,0	16382,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-2,0	-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	


	Push done at L : 0
21

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	21	
	Weight Matrix : 
	
			0,0	16382,0	16382,0	16382,0	16382,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	16384,0	16384,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	


	Push done at L : 0
22

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	22	
	Weight Matrix : 
	
			0,0	16382,0	16382,0	16382,0	16382,0	16382,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	16384,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	


	Push done at L : 0
23

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	23	
	Weight Matrix : 
	
			0,0	16382,0	16382,0	16382,0	16382,0	16382,0	16382,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	


	Push done at L : 0
24

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4----5----6----7----8----9----10----11----12----13----14----15----16----17----18
		L : 1
	Transitions:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	24	
	Weight Matrix : 
	
			0,0	16382,0	16382,0	16382,0	16382,0	16382,0	16382,0	16382,0	16382,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16383,0	16384,0	
			0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	3,0	
			0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	2,0	
			-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	0,0	1,0	
			-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-2,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	-1,0	0,0	


	Push done at L : 0
