active
zeros
mark
cons
0
zeros
active
U11
tt
L
mark
U12
tt
L
active
U12
tt
L
mark
s
length
L
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
active
length
nil
mark
0
active
length
cons
N
L
mark
U11
tt
L
active
take
0
IL
mark
nil
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
mark
zeros
active
zeros
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
0
active
0
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
tt
active
tt
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
s
X
active
s
mark
X
mark
length
X
active
length
mark
X
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
nil
active
nil
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U11
active
X1
X2
U11
X1
X2
U11
X1
active
X2
U11
X1
X2
U12
mark
X1
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
s
mark
X
s
X
s
active
X
s
X
length
mark
X
length
X
length
active
X
length
X
U21
mark
X1
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
mark
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
mark
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
X3
mark
X4
U21
X1
X2
X3
X4
U21
active
X1
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
active
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
active
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
X3
active
X4
U21
X1
X2
X3
X4
U22
mark
X1
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
mark
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
X2
mark
X3
X4
U22
X1
X2
X3
X4
U22
X1
X2
X3
mark
X4
U22
X1
X2
X3
X4
U22
active
X1
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
active
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
X2
active
X3
X4
U22
X1
X2
X3
X4
U22
X1
X2
X3
active
X4
U22
X1
X2
X3
X4
U23
mark
X1
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
mark
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
mark
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
X3
mark
X4
U23
X1
X2
X3
X4
U23
active
X1
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
active
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
active
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
X3
active
X4
U23
X1
X2
X3
X4
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
2.2
active
U11
tt
L
U12
tt
L
active
zeros
cons
0
zeros
U22
X1
mark
X2
X3
X4
U22
X1
X2
X3
X4
cons
mark
X1
X2
cons
X1
X2
U11
X1
active
X2
U11
X1
X2
active
U12
tt
L
s
length
L
mark
s
X
active
s
mark
X
mark
U22
X1
X2
X3
X4
U22
mark
X1
X2
X3
X4
U22
active
X1
X2
X3
X4
U22
X1
X2
X3
X4
mark
length
X
length
mark
X
U11
active
X1
X2
U11
X1
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
U23
X1
X2
X3
active
X4
U23
X1
X2
X3
X4
mark
U22
X1
X2
X3
X4
mark
X1
U12
X1
mark
X2
U12
X1
X2
mark
U21
X1
X2
X3
X4
U21
mark
X1
X2
X3
X4
active
length
nil
mark
0
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
U11
mark
X1
X2
U11
X1
X2
mark
take
X1
X2
mark
X1
mark
U11
X1
X2
U11
mark
X1
X2
take
active
X1
X2
take
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
U22
tt
IL
M
N
U23
tt
IL
M
N
mark
s
X
s
mark
X
U23
X1
X2
active
X3
X4
U23
X1
X2
X3
X4
mark
tt
active
tt
active
take
s
M
cons
N
IL
U21
tt
IL
M
N
U22
mark
X1
X2
X3
X4
U22
X1
X2
X3
X4
U21
X1
mark
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
X3
active
X4
U21
X1
X2
X3
X4
take
X1
mark
X2
take
X1
X2
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
length
X
active
length
mark
X
U22
X1
X2
X3
mark
X4
U22
X1
X2
X3
X4
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
U21
mark
X1
X2
X3
X4
U21
X1
X2
X3
X4
mark
U12
X1
X2
mark
X1
mark
U23
X1
X2
X3
X4
mark
X1
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
mark
length
X
mark
X
U12
mark
X1
X2
U12
X1
X2
U22
X1
active
X2
X3
X4
U22
X1
X2
X3
X4
U21
X1
active
X2
X3
X4
U21
X1
X2
X3
X4
mark
U12
X1
X2
active
U12
mark
X1
X2
U21
active
X1
X2
X3
X4
U21
X1
X2
X3
X4
active
length
cons
N
L
U11
tt
L
active
U12
tt
L
mark
s
length
L
U23
X1
X2
mark
X3
X4
U23
X1
X2
X3
X4
mark
take
X1
X2
mark
X2
mark
nil
active
nil
take
mark
X1
X2
take
X1
X2
length
active
X
length
X
mark
0
active
0
U23
X1
X2
X3
mark
X4
U23
X1
X2
X3
X4
active
length
cons
N
L
mark
U11
tt
L
U21
X1
X2
active
X3
X4
U21
X1
X2
X3
X4
mark
U11
X1
X2
mark
X1
s
active
X
s
X
active
U21
tt
IL
M
N
U22
tt
IL
M
N
U22
X1
X2
mark
X3
X4
U22
X1
X2
X3
X4
cons
X1
active
X2
cons
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
U21
X1
X2
X3
X4
mark
X1
U12
X1
active
X2
U12
X1
X2
cons
X1
mark
X2
cons
X1
X2
U23
active
X1
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
mark
X2
X3
X4
U23
X1
X2
X3
X4
take
X1
active
X2
take
X1
X2
mark
cons
X1
X2
mark
X1
active
U12
tt
L
length
L
U22
X1
X2
active
X3
X4
U22
X1
X2
X3
X4
mark
zeros
active
zeros
mark
take
X1
X2
take
mark
X1
mark
X2
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
mark
cons
X1
X2
active
cons
mark
X1
X2
active
U23
tt
IL
M
N
take
M
IL
U12
active
X1
X2
U12
X1
X2
active
take
0
IL
mark
nil
active
zeros
mark
cons
0
zeros
mark
s
X
mark
X
U23
mark
X1
X2
X3
X4
U23
X1
X2
X3
X4
U22
X1
X2
X3
active
X4
U22
X1
X2
X3
X4
length
mark
X
length
X
U21
X1
X2
X3
mark
X4
U21
X1
X2
X3
X4
mark
U23
X1
X2
X3
X4
U23
mark
X1
X2
X3
X4
active
U11
tt
L
mark
U12
tt
L
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
U21
X1
X2
mark
X3
X4
U21
X1
X2
X3
X4
U23
X1
active
X2
X3
X4
U23
X1
X2
X3
X4
U11
X1
mark
X2
U11
X1
X2
mark
U12
X1
X2
U12
mark
X1
X2
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
active
U23
tt
IL
M
N
cons
N
take
M
IL
true
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
mark
take
X1
X2
mark
X2
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
length
X
mark
X
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
mark
U23
X1
X2
X3
X4
mark
X1
mark
U12
X1
X2
mark
X1
active
U11
tt
L
mark
U12
tt
L
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
mark
length
X
active
length
mark
X
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
s
X
mark
X
active
zeros
mark
cons
0
zeros
mark
cons
X1
X2
active
cons
mark
X1
X2
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
zeros
active
zeros
mark
take
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
mark
U22
X1
X2
X3
X4
mark
X1
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
mark
U21
X1
X2
X3
X4
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
s
X
active
s
mark
X
mark
U11
X1
X2
mark
X1
active
length
cons
N
L
mark
U11
tt
L
true
U21
4
36230
U11
2
36230
cons
2
0
s
1
1
take
2
0
take
2
36230
U23
4
0
U23
4
36230
zeros
0
36230
U12
2
36230
U12
2
0
mark
1
36230
0
0
1
s
1
0
nil
0
1
mark
1
1
U11
2
0
active
1
1
cons
2
36229
active
1
1
0
U21
4
0
U22
4
0
tt
0
1
U22
4
36230
length
1
36230
length
1
0
active
length
cons
N
L
mark
U11
tt
L
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U21
X1
X2
X3
X4
mark
X1
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
mark
U22
X1
X2
X3
X4
mark
X1
mark
cons
X1
X2
mark
X1
mark
take
X1
X2
mark
X1
mark
zeros
active
zeros
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
active
zeros
mark
cons
0
zeros
mark
s
X
mark
X
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
length
X
active
length
mark
X
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
active
U11
tt
L
mark
U12
tt
L
mark
U12
X1
X2
mark
X1
mark
U23
X1
X2
X3
X4
mark
X1
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
mark
length
X
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
active
U12
tt
L
mark
s
length
L
mark
take
X1
X2
mark
X2
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
mark
length
X
active
length
mark
X
U22
X1
X2
mark
X3
X4
U22
X1
X2
X3
X4
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
mark
tt
active
tt
active
length
cons
N
L
mark
U11
tt
L
U22
X1
X2
active
X3
X4
U22
X1
X2
X3
X4
active
zeros
mark
cons
0
zeros
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
U23
X1
X2
X3
active
X4
U23
X1
X2
X3
X4
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
U12
mark
X1
X2
U12
X1
X2
mark
s
X
active
s
mark
X
U23
active
X1
X2
X3
X4
U23
X1
X2
X3
X4
cons
X1
active
X2
cons
X1
X2
U12
active
X1
X2
U12
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
U11
mark
X1
X2
U11
X1
X2
take
X1
mark
X2
take
X1
X2
U21
active
X1
X2
X3
X4
U21
X1
X2
X3
X4
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
U12
X1
mark
X2
U12
X1
X2
take
mark
X1
X2
take
X1
X2
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
length
active
X
length
X
active
length
nil
mark
0
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
U22
X1
mark
X2
X3
X4
U22
X1
X2
X3
X4
U22
active
X1
X2
X3
X4
U22
X1
X2
X3
X4
U11
active
X1
X2
U11
X1
X2
U23
X1
X2
active
X3
X4
U23
X1
X2
X3
X4
mark
U11
X1
X2
active
U11
mark
X1
X2
U23
mark
X1
X2
X3
X4
U23
X1
X2
X3
X4
U11
X1
active
X2
U11
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
U21
X1
active
X2
X3
X4
U21
X1
X2
X3
X4
mark
nil
active
nil
cons
mark
X1
X2
cons
X1
X2
U23
X1
mark
X2
X3
X4
U23
X1
X2
X3
X4
mark
zeros
active
zeros
active
take
0
IL
mark
nil
mark
0
active
0
U22
X1
X2
X3
mark
X4
U22
X1
X2
X3
X4
U21
mark
X1
X2
X3
X4
U21
X1
X2
X3
X4
take
X1
active
X2
take
X1
X2
U22
X1
X2
X3
active
X4
U22
X1
X2
X3
X4
U23
X1
X2
X3
mark
X4
U23
X1
X2
X3
X4
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
length
mark
X
length
X
U23
X1
active
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
mark
X3
X4
U23
X1
X2
X3
X4
U22
mark
X1
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
active
X2
X3
X4
U22
X1
X2
X3
X4
U21
X1
X2
X3
active
X4
U21
X1
X2
X3
X4
s
active
X
s
X
U21
X1
mark
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
mark
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
active
X3
X4
U21
X1
X2
X3
X4
take
active
X1
X2
take
X1
X2
U12
X1
active
X2
U12
X1
X2
U11
X1
mark
X2
U11
X1
X2
U21
X1
X2
X3
mark
X4
U21
X1
X2
X3
X4
active
U11
tt
L
mark
U12
tt
L
mark
length
X
mark
X
mark
length
X
active
length
mark
X
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
active
length
cons
N
L
mark
U11
tt
L
active
zeros
mark
cons
0
zeros
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U23
X1
X2
X3
X4
mark
X1
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
U21
X1
X2
X3
X4
mark
X1
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
mark
s
X
mark
X
mark
take
X1
X2
mark
X2
mark
take
X1
X2
mark
X1
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
mark
U22
X1
X2
X3
X4
mark
X1
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
cons
X1
X2
mark
X1
mark
zeros
active
zeros
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
active
U11
tt
L
mark
U12
tt
L
true
U21
4
1
2
3
4
14137
U11
2
1
2
23217
cons
2
0
s
1
1
0
take
2
0
take
2
1
2
46879
U23
4
0
U23
4
1
2
3
4
14137
zeros
0
32527
U12
2
1
2
23217
U12
2
0
mark
1
1
0
0
0
0
s
1
0
nil
0
27857
mark
1
1
0
U11
2
0
active
1
1
0
cons
2
1
2
0
active
1
1
0
U21
4
0
U22
4
0
tt
0
32742
U22
4
1
2
3
4
14137
length
1
1
55959
length
1
0
active
U11
tt
L
mark
U12
tt
L
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
mark
zeros
active
zeros
mark
cons
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
s
X
mark
X
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
U12
X1
X2
active
U12
mark
X1
X2
active
U12
tt
L
mark
s
length
L
active
zeros
mark
cons
0
zeros
active
length
cons
N
L
mark
U11
tt
L
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
mark
length
X
active
length
mark
X
mark
length
X
active
length
mark
X
U22
X1
X2
mark
X3
X4
U22
X1
X2
X3
X4
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
mark
tt
active
tt
active
length
cons
N
L
mark
U11
tt
L
U22
X1
X2
active
X3
X4
U22
X1
X2
X3
X4
active
zeros
mark
cons
0
zeros
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
U23
X1
X2
X3
active
X4
U23
X1
X2
X3
X4
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
U12
mark
X1
X2
U12
X1
X2
mark
s
X
active
s
mark
X
U23
active
X1
X2
X3
X4
U23
X1
X2
X3
X4
cons
X1
active
X2
cons
X1
X2
U12
active
X1
X2
U12
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
U11
mark
X1
X2
U11
X1
X2
take
X1
mark
X2
take
X1
X2
U21
active
X1
X2
X3
X4
U21
X1
X2
X3
X4
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
U12
X1
mark
X2
U12
X1
X2
take
mark
X1
X2
take
X1
X2
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
length
active
X
length
X
active
length
nil
mark
0
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
U22
X1
mark
X2
X3
X4
U22
X1
X2
X3
X4
U22
active
X1
X2
X3
X4
U22
X1
X2
X3
X4
U11
active
X1
X2
U11
X1
X2
U23
X1
X2
active
X3
X4
U23
X1
X2
X3
X4
mark
U11
X1
X2
active
U11
mark
X1
X2
U23
mark
X1
X2
X3
X4
U23
X1
X2
X3
X4
U11
X1
active
X2
U11
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
U21
X1
active
X2
X3
X4
U21
X1
X2
X3
X4
mark
nil
active
nil
cons
mark
X1
X2
cons
X1
X2
U23
X1
mark
X2
X3
X4
U23
X1
X2
X3
X4
mark
zeros
active
zeros
active
take
0
IL
mark
nil
mark
0
active
0
U22
X1
X2
X3
mark
X4
U22
X1
X2
X3
X4
U21
mark
X1
X2
X3
X4
U21
X1
X2
X3
X4
take
X1
active
X2
take
X1
X2
U22
X1
X2
X3
active
X4
U22
X1
X2
X3
X4
U23
X1
X2
X3
mark
X4
U23
X1
X2
X3
X4
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
length
mark
X
length
X
U23
X1
active
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
mark
X3
X4
U23
X1
X2
X3
X4
U22
mark
X1
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
active
X2
X3
X4
U22
X1
X2
X3
X4
U21
X1
X2
X3
active
X4
U21
X1
X2
X3
X4
s
active
X
s
X
U21
X1
mark
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
mark
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
active
X3
X4
U21
X1
X2
X3
X4
take
active
X1
X2
take
X1
X2
U12
X1
active
X2
U12
X1
X2
U11
X1
mark
X2
U11
X1
X2
U21
X1
X2
X3
mark
X4
U21
X1
X2
X3
X4
active
U11
tt
L
mark
U12
tt
L
mark
length
X
active
length
mark
X
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
active
length
cons
N
L
mark
U11
tt
L
active
zeros
mark
cons
0
zeros
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
mark
s
X
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
cons
X1
X2
mark
X1
mark
zeros
active
zeros
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
active
U11
tt
L
mark
U12
tt
L
true
U21
4
4
58033
U11
2
49659
cons
2
0
s
1
1
0
take
2
0
take
2
2
58033
U23
4
0
U23
4
4
26532
zeros
0
11750
U12
2
49659
U12
2
0
mark
1
1
0
0
0
11748
s
1
0
nil
0
1
mark
1
1
0
U11
2
0
active
1
1
0
cons
2
1
1
active
1
1
0
U21
4
0
U22
4
0
tt
0
29505
U22
4
4
52064
length
1
49659
length
1
0
active
U11
tt
L
mark
U12
tt
L
mark
zeros
active
zeros
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
s
X
mark
X
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
U12
X1
X2
active
U12
mark
X1
X2
active
U12
tt
L
mark
s
length
L
active
length
cons
N
L
mark
U11
tt
L
mark
length
X
active
length
mark
X
mark
length
X
active
length
mark
X
U22
X1
X2
mark
X3
X4
U22
X1
X2
X3
X4
active
U21
tt
IL
M
N
mark
U22
tt
IL
M
N
mark
tt
active
tt
active
length
cons
N
L
mark
U11
tt
L
U22
X1
X2
active
X3
X4
U22
X1
X2
X3
X4
active
zeros
mark
cons
0
zeros
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
U23
X1
X2
X3
active
X4
U23
X1
X2
X3
X4
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
U12
mark
X1
X2
U12
X1
X2
mark
s
X
active
s
mark
X
U23
active
X1
X2
X3
X4
U23
X1
X2
X3
X4
cons
X1
active
X2
cons
X1
X2
U12
active
X1
X2
U12
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
U11
mark
X1
X2
U11
X1
X2
take
X1
mark
X2
take
X1
X2
U21
active
X1
X2
X3
X4
U21
X1
X2
X3
X4
active
U22
tt
IL
M
N
mark
U23
tt
IL
M
N
U12
X1
mark
X2
U12
X1
X2
take
mark
X1
X2
take
X1
X2
active
take
s
M
cons
N
IL
mark
U21
tt
IL
M
N
length
active
X
length
X
active
length
nil
mark
0
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
cons
X1
mark
X2
cons
X1
X2
U22
X1
mark
X2
X3
X4
U22
X1
X2
X3
X4
U22
active
X1
X2
X3
X4
U22
X1
X2
X3
X4
U11
active
X1
X2
U11
X1
X2
U23
X1
X2
active
X3
X4
U23
X1
X2
X3
X4
mark
U11
X1
X2
active
U11
mark
X1
X2
U23
mark
X1
X2
X3
X4
U23
X1
X2
X3
X4
U11
X1
active
X2
U11
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
U21
X1
active
X2
X3
X4
U21
X1
X2
X3
X4
mark
nil
active
nil
cons
mark
X1
X2
cons
X1
X2
U23
X1
mark
X2
X3
X4
U23
X1
X2
X3
X4
mark
zeros
active
zeros
active
take
0
IL
mark
nil
mark
0
active
0
U22
X1
X2
X3
mark
X4
U22
X1
X2
X3
X4
U21
mark
X1
X2
X3
X4
U21
X1
X2
X3
X4
take
X1
active
X2
take
X1
X2
U22
X1
X2
X3
active
X4
U22
X1
X2
X3
X4
U23
X1
X2
X3
mark
X4
U23
X1
X2
X3
X4
active
U23
tt
IL
M
N
mark
cons
N
take
M
IL
length
mark
X
length
X
U23
X1
active
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
mark
X3
X4
U23
X1
X2
X3
X4
U22
mark
X1
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
active
X2
X3
X4
U22
X1
X2
X3
X4
U21
X1
X2
X3
active
X4
U21
X1
X2
X3
X4
s
active
X
s
X
U21
X1
mark
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
mark
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
active
X3
X4
U21
X1
X2
X3
X4
take
active
X1
X2
take
X1
X2
U12
X1
active
X2
U12
X1
X2
U11
X1
mark
X2
U11
X1
X2
U21
X1
X2
X3
mark
X4
U21
X1
X2
X3
X4
active
U11
tt
L
mark
U12
tt
L
mark
length
X
active
length
mark
X
active
length
cons
N
L
mark
U11
tt
L
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U23
X1
X2
X3
X4
active
U23
mark
X1
X2
X3
X4
mark
U21
X1
X2
X3
X4
active
U21
mark
X1
X2
X3
X4
mark
s
X
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
U22
X1
X2
X3
X4
active
U22
mark
X1
X2
X3
X4
mark
U11
X1
X2
active
U11
mark
X1
X2
active
U11
tt
L
mark
U12
tt
L
true
U21
4
1
U11
2
2
cons
2
0
s
1
4
take
2
0
take
2
2
U23
4
0
U23
4
1
zeros
0
4
U12
2
2
U12
2
0
mark
1
2
0
0
31678
s
1
0
nil
0
4
mark
1
3
U11
2
0
active
1
1
0
cons
2
4
active
1
1
0
U21
4
0
U22
4
0
tt
0
4
U22
4
1
length
1
2
length
1
0
active
U11
tt
L
mark
U12
tt
L
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
s
X
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
active
U12
tt
L
mark
s
length
L
active
length
cons
N
L
mark
U11
tt
L
mark
length
X
active
length
mark
X
U22
X1
X2
mark
X3
X4
U22
X1
X2
X3
X4
U22
X1
X2
active
X3
X4
U22
X1
X2
X3
X4
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
U23
X1
X2
X3
active
X4
U23
X1
X2
X3
X4
U12
mark
X1
X2
U12
X1
X2
U23
active
X1
X2
X3
X4
U23
X1
X2
X3
X4
cons
X1
active
X2
cons
X1
X2
U12
active
X1
X2
U12
X1
X2
U11
mark
X1
X2
U11
X1
X2
take
X1
mark
X2
take
X1
X2
U21
active
X1
X2
X3
X4
U21
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
take
mark
X1
X2
take
X1
X2
length
active
X
length
X
cons
X1
mark
X2
cons
X1
X2
U22
X1
mark
X2
X3
X4
U22
X1
X2
X3
X4
U22
active
X1
X2
X3
X4
U22
X1
X2
X3
X4
U11
active
X1
X2
U11
X1
X2
U23
X1
X2
active
X3
X4
U23
X1
X2
X3
X4
U23
mark
X1
X2
X3
X4
U23
X1
X2
X3
X4
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
X4
U21
X1
X2
X3
X4
cons
mark
X1
X2
cons
X1
X2
U23
X1
mark
X2
X3
X4
U23
X1
X2
X3
X4
U22
X1
X2
X3
mark
X4
U22
X1
X2
X3
X4
U21
mark
X1
X2
X3
X4
U21
X1
X2
X3
X4
take
X1
active
X2
take
X1
X2
U22
X1
X2
X3
active
X4
U22
X1
X2
X3
X4
U23
X1
X2
X3
mark
X4
U23
X1
X2
X3
X4
length
mark
X
length
X
U23
X1
active
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
mark
X3
X4
U23
X1
X2
X3
X4
U22
mark
X1
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
active
X2
X3
X4
U22
X1
X2
X3
X4
U21
X1
X2
X3
active
X4
U21
X1
X2
X3
X4
s
active
X
s
X
U21
X1
mark
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
mark
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
active
X3
X4
U21
X1
X2
X3
X4
take
active
X1
X2
take
X1
X2
U12
X1
active
X2
U12
X1
X2
U11
X1
mark
X2
U11
X1
X2
U21
X1
X2
X3
mark
X4
U21
X1
X2
X3
X4
mark
length
X
active
length
mark
X
active
length
cons
N
L
mark
U11
tt
L
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
s
X
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
active
U11
tt
L
mark
U12
tt
L
true
U21
4
2
U11
2
2
cons
2
0
s
1
22145
take
2
0
take
2
1
U23
4
0
U23
4
2
zeros
0
4
U12
2
2
U12
2
0
mark
1
5
0
0
31678
s
1
0
nil
0
19459
mark
1
3
U11
2
0
active
1
1
0
cons
2
8944
active
1
1
3
U21
4
0
U22
4
0
tt
0
20261
U22
4
1
length
1
2
length
1
0
active
U11
tt
L
mark
U12
tt
L
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
s
X
mark
X
mark
U12
X1
X2
active
U12
mark
X1
X2
active
U12
tt
L
mark
s
length
L
active
length
cons
N
L
mark
U11
tt
L
mark
length
X
active
length
mark
X
U22
X1
X2
mark
X3
X4
U22
X1
X2
X3
X4
U22
X1
X2
active
X3
X4
U22
X1
X2
X3
X4
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
U23
X1
X2
X3
active
X4
U23
X1
X2
X3
X4
U12
mark
X1
X2
U12
X1
X2
U23
active
X1
X2
X3
X4
U23
X1
X2
X3
X4
cons
X1
active
X2
cons
X1
X2
U12
active
X1
X2
U12
X1
X2
U11
mark
X1
X2
U11
X1
X2
take
X1
mark
X2
take
X1
X2
U21
active
X1
X2
X3
X4
U21
X1
X2
X3
X4
U12
X1
mark
X2
U12
X1
X2
take
mark
X1
X2
take
X1
X2
length
active
X
length
X
cons
X1
mark
X2
cons
X1
X2
U22
X1
mark
X2
X3
X4
U22
X1
X2
X3
X4
U22
active
X1
X2
X3
X4
U22
X1
X2
X3
X4
U11
active
X1
X2
U11
X1
X2
U23
X1
X2
active
X3
X4
U23
X1
X2
X3
X4
U23
mark
X1
X2
X3
X4
U23
X1
X2
X3
X4
U11
X1
active
X2
U11
X1
X2
U21
X1
active
X2
X3
X4
U21
X1
X2
X3
X4
cons
mark
X1
X2
cons
X1
X2
U23
X1
mark
X2
X3
X4
U23
X1
X2
X3
X4
U22
X1
X2
X3
mark
X4
U22
X1
X2
X3
X4
U21
mark
X1
X2
X3
X4
U21
X1
X2
X3
X4
take
X1
active
X2
take
X1
X2
U22
X1
X2
X3
active
X4
U22
X1
X2
X3
X4
U23
X1
X2
X3
mark
X4
U23
X1
X2
X3
X4
length
mark
X
length
X
U23
X1
active
X2
X3
X4
U23
X1
X2
X3
X4
U23
X1
X2
mark
X3
X4
U23
X1
X2
X3
X4
U22
mark
X1
X2
X3
X4
U22
X1
X2
X3
X4
U22
X1
active
X2
X3
X4
U22
X1
X2
X3
X4
U21
X1
X2
X3
active
X4
U21
X1
X2
X3
X4
s
active
X
s
X
U21
X1
mark
X2
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
mark
X3
X4
U21
X1
X2
X3
X4
U21
X1
X2
active
X3
X4
U21
X1
X2
X3
X4
take
active
X1
X2
take
X1
X2
U12
X1
active
X2
U12
X1
X2
U11
X1
mark
X2
U11
X1
X2
U21
X1
X2
X3
mark
X4
U21
X1
X2
X3
X4
mark
length
X
active
length
mark
X
active
length
cons
N
L
mark
U11
tt
L
active
U12
tt
L
mark
s
length
L
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
s
X
mark
X
mark
U11
X1
X2
active
U11
mark
X1
X2
active
U11
tt
L
mark
U12
tt
L
true
Failed!
NaTT
certifiable-1.6