active
f
x
mark
x
top
active
c
top
mark
c
top
mark
x
top
check
x
check
f
x
f
check
x
check
x
start
match
f
X
x
match
f
x
f
y
f
match
x
y
match
X
x
proper
x
proper
c
ok
c
proper
f
x
f
proper
x
f
ok
x
ok
f
x
start
ok
x
found
x
f
found
x
found
f
x
top
found
x
top
active
x
active
f
x
f
active
x
f
mark
x
mark
f
x
active
1
f
1
mark
1
top
1
c
0
check
1
start
1
match
2
X
0
proper
1
ok
1
found
1
FULL
./TRS/AProVE/Liveness8.trs