s
p
x
x
p
s
x
x
plus
0
y
y
plus
s
x
y
s
plus
x
y
plus
p
x
y
p
plus
x
y
plus
i
x
x
0
plus
x
plus
i
x
y
y
i
0
0
i
s
x
p
i
x
i
p
x
s
i
x
i
i
x
x
i
plus
x
y
plus
i
y
i
x
times
0
y
0
times
s
x
y
plus
times
x
y
y
times
p
x
y
plus
times
x
y
i
y
s
1
p
1
plus
2
AC
0
0
i
1
times
2
AC
FULL
./TRS/AProVE_AC/AC06.trs