sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
sortSu
cons
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
te
a
sortSu
t
sortSu
cons
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
sop
lift
sortSu
t
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
circ
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
id
sortSu
s
sortSu
circ
sortSu
id
sortSu
s
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
te
subst
te
a
sortSu
id
te
a
te
msubst
te
a
sortSu
id
te
a
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
2.2
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
te
a
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
circ
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
sop
lift
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
t
sortSu
u
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
sortSu
cons
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
te
a
sortSu
t
sortSu
cons
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
sop
lift
sortSu
t
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
true
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
sop
lift
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
circ
sortSu
t
sortSu
u
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
t
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
te
a
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
true
sortSu
1
1
2
sop
1
1
1
te
1
1
41379
sortSu
1
1
0
lift
0
1
msubst
2
1
2
2
subst
2
1
0
te
1
1
0
cons
2
1
41379
2
82759
0
id
0
14661
circ
2
1
2
0
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
circ
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
circ
sortSu
t
sortSu
u
te
subst
te
a
sortSu
id
te
a
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
sortSu
cons
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
sop
lift
sortSu
t
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
s
sortSu
id
sortSu
s
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
te
msubst
te
a
sortSu
id
te
a
sortSu
circ
sortSu
id
sortSu
s
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
te
a
sortSu
t
sortSu
cons
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
circ
sortSu
t
sortSu
u
true
sortSu
1
1
te
1
1
sortSu
1
1
msubst
2
1
sop
1
4
1
lift
0
4
subst
2
0
1
2
te
1
2
cons
2
4
id
0
0
circ
2
1
1
2
sop
1
1
0
lift
0
0
subst
2
1
0
2
0
0
te
1
0
cons
2
0
id
0
0
circ
2
1
0
2
0
0
sortSu
circ
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
sortSu
circ
sortSu
s
sortSu
circ
sortSu
t
sortSu
u
te
subst
te
a
sortSu
id
te
a
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
sortSu
cons
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
sop
lift
sortSu
t
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
s
sortSu
id
sortSu
s
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
circ
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
sortSu
u
te
msubst
te
a
sortSu
id
te
a
sortSu
circ
sortSu
id
sortSu
s
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
te
a
sortSu
t
sortSu
cons
te
a
sortSu
circ
sortSu
s
sortSu
t
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
t
false
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
true
sortSu
1
1
1
sop
1
1
te
1
1
2
sortSu
1
0
lift
0
1
msubst
2
1
0
subst
2
1
0
te
1
1
1
cons
2
2
id
0
31122
circ
2
1
te
subst
te
a
sortSu
id
te
a
te
msubst
te
msubst
te
a
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
circ
sortSu
s
sortSu
t
te
msubst
te
a
sortSu
id
te
a
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
te
a
sortSu
t
sortSu
cons
te
a
sortSu
circ
sortSu
s
sortSu
t
false
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
circ
sortSu
cons
sop
lift
sortSu
t
sortSu
u
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
false
sortSu
circ
sortSu
cons
sop
lift
sortSu
s
sortSu
cons
sop
lift
sortSu
t
sortSu
cons
sop
lift
sortSu
circ
sortSu
s
sortSu
t
false
sortSu
circ
sortSu
cons
te
a
sortSu
s
sortSu
t
sortSu
cons
te
msubst
te
a
sortSu
t
sortSu
circ
sortSu
s
sortSu
t
false
NaTT
certifiable-1.6