comp
s
id
s
cons
one
shift
id
cons
comp
one
s
comp
shift
s
s
comp
one
cons
s
t
s
comp
shift
cons
s
t
t
comp
abs
s
t
abs
comp
s
cons
one
comp
t
shift
comp
cons
s
t
u
cons
comp
s
u
comp
t
u
comp
id
s
s
comp
comp
s
t
u
comp
s
comp
t
u
2.2
comp
abs
s
t
cons
one
comp
t
shift
comp
cons
s
t
u
cons
comp
s
u
comp
t
u
comp
cons
s
t
u
comp
s
u
comp
comp
s
t
u
comp
t
u
comp
abs
s
t
comp
t
shift
comp
abs
s
t
comp
s
cons
one
comp
t
shift
comp
cons
s
t
u
comp
t
u
comp
comp
s
t
u
comp
s
comp
t
u
true
comp
comp
s
t
u
comp
s
comp
t
u
comp
cons
s
t
u
comp
t
u
comp
abs
s
t
comp
s
cons
one
comp
t
shift
comp
abs
s
t
comp
t
shift
comp
comp
s
t
u
comp
t
u
comp
cons
s
t
u
comp
s
u
true
cons
2
0
one
0
0
abs
1
1
1
comp
2
1
2
0
cons
2
1
0
2
0
0
id
0
0
shift
0
0
comp
2
1
2
0
comp
cons
s
t
u
comp
s
u
comp
comp
s
t
u
comp
t
u
comp
cons
s
t
u
comp
t
u
comp
comp
s
t
u
comp
s
comp
t
u
comp
one
cons
s
t
s
comp
id
s
s
comp
s
id
s
cons
comp
one
s
comp
shift
s
s
comp
shift
cons
s
t
t
comp
cons
s
t
u
cons
comp
s
u
comp
t
u
comp
comp
s
t
u
comp
s
comp
t
u
comp
abs
s
t
abs
comp
s
cons
one
comp
t
shift
cons
one
shift
id
comp
cons
s
t
u
comp
t
u
comp
cons
s
t
u
comp
s
u
comp
comp
s
t
u
comp
t
u
comp
comp
s
t
u
comp
s
comp
t
u
true
cons
2
0
one
0
1
abs
1
1
23676
comp
2
1
0
cons
2
1
2
1
id
0
4
shift
0
1
comp
2
1
2
1
comp
cons
s
t
u
cons
comp
s
u
comp
t
u
false
comp
abs
s
t
cons
one
comp
t
shift
false
NaTT
certifiable-1.6