1
s
0
2
s
1
3
s
2
4
s
3
5
s
4
6
s
5
7
s
6
8
s
7
9
s
8
max'
0
x
x
max'
s
x
s
y
s
max'
x
y
app
empty
X
X
max
singl
x
x
max
app
singl
x
Y
max2
x
Y
max2
x
empty
x
max2
x
singl
y
max'
x
y
max2
x
app
singl
y
Z
max2
max'
x
y
Z
1
0
s
1
0
0
2
0
3
0
4
0
5
0
6
0
7
0
8
0
9
0
max'
2
C
app
2
AC
empty
0
max
1
singl
1
max2
2
FULL
./TRS/AProVE_AC/AC29.trs