active
zeros
mark
cons
0
zeros
active
tail
cons
X
XS
mark
XS
active
cons
X1
X2
cons
active
X1
X2
active
tail
X
tail
active
X
cons
mark
X1
X2
mark
cons
X1
X2
tail
mark
X
mark
tail
X
proper
zeros
ok
zeros
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
0
ok
0
proper
tail
X
tail
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
tail
ok
X
ok
tail
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
top
mark
X
top
proper
X
top
ok
X
top
active
X
active
zeros
cons
0
zeros
proper
tail
X
proper
X
active
cons
X1
X2
cons
active
X1
X2
active
cons
X1
X2
active
X1
proper
cons
X1
X2
cons
proper
X1
proper
X2
top
ok
X
active
X
cons
mark
X1
X2
cons
X1
X2
tail
ok
X
tail
X
active
tail
X
tail
active
X
proper
cons
X1
X2
proper
X2
top
mark
X
proper
X
tail
mark
X
tail
X
proper
tail
X
tail
proper
X
proper
cons
X1
X2
proper
X1
cons
ok
X1
ok
X2
cons
X1
X2
active
tail
X
active
X
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
proper
1
1
ok
1
1
active
1
1
cons
2
0
top
1
0
top
1
0
1
zeros
0
6
tail
1
3
1
0
0
2
tail
1
0
mark
1
1
1
proper
1
0
cons
2
5
1
active
1
0
cons
2
2
1
top
1
1
top
1
1
1
zeros
0
8946
tail
1
1
15922
0
0
0
tail
1
1
mark
1
1
0
proper
1
1
cons
2
1
2
0
active
1
1
top
ok
X
top
active
X
active
tail
X
tail
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
zeros
mark
cons
0
zeros
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
proper
tail
X
tail
proper
X
proper
zeros
ok
zeros
tail
ok
X
ok
tail
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
0
ok
0
tail
mark
X
mark
tail
X
active
tail
cons
X
XS
mark
XS
top
ok
X
top
active
X
true
cons
2
0
top
1
0
top
1
1
0
zeros
0
1
tail
1
1
0
proper
1
2
ok
1
2
0
0
1
tail
1
0
mark
1
1
proper
1
0
active
1
1
cons
2
1
0
active
1
0
active
tail
X
tail
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
zeros
mark
cons
0
zeros
active
cons
X1
X2
cons
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
proper
tail
X
tail
proper
X
proper
zeros
ok
zeros
tail
ok
X
ok
tail
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
0
ok
0
tail
mark
X
mark
tail
X
active
tail
cons
X
XS
mark
XS
top
mark
X
proper
X
false
proper
cons
X1
X2
proper
X1
proper
cons
X1
X2
proper
X2
proper
tail
X
proper
X
true
cons
2
0
top
1
0
top
1
0
zeros
0
1
tail
1
1
1
proper
1
0
ok
1
25907
0
0
20698
tail
1
0
mark
1
11050
proper
1
1
0
active
1
11049
cons
2
1
2
28882
active
1
0
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
tail
X
tail
proper
X
false
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
top
ok
X
active
X
false
active
tail
X
active
X
active
cons
X1
X2
active
X1
true
cons
2
0
top
1
0
top
1
0
zeros
0
1
tail
1
1
1
proper
1
0
ok
1
2447
0
0
19178
tail
1
0
mark
1
17749
proper
1
0
active
1
17748
cons
2
1
2
28882
active
1
1
0
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
cons
X1
X2
cons
active
X1
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
2
0
top
1
0
top
1
0
zeros
0
1
tail
1
1
29534
proper
1
0
ok
1
1
1
0
0
24766
tail
1
0
mark
1
2
proper
1
0
active
1
1
cons
2
1
2
28224
active
1
0
cons
mark
X1
X2
cons
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
cons
2
1
0
top
1
0
top
1
0
zeros
0
1
tail
1
1
1
proper
1
12280
ok
1
1
30572
0
0
1
tail
1
0
mark
1
1
37035
proper
1
0
active
1
37034
cons
2
1
1
active
1
0
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
zeros
cons
0
zeros
false
active
tail
X
tail
active
X
false
tail
mark
X
tail
X
tail
ok
X
tail
X
true
cons
2
0
top
1
0
top
1
0
zeros
0
1
tail
1
1
1
proper
1
1103
ok
1
1
2332
0
0
40917
tail
1
1
0
mark
1
1
49044
proper
1
0
active
1
49043
cons
2
1
14137
active
1
0
cons
mark
X1
X2
mark
cons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
NaTT
certifiable-1.6