active
f
x
mark
f
f
x
chk
no
f
x
f
chk
mat
f
f
f
f
f
f
f
f
f
f
X
x
mat
f
x
f
y
f
mat
x
y
chk
no
c
active
c
mat
f
x
c
no
c
f
active
x
active
f
x
f
no
x
no
f
x
f
mark
x
mark
f
x
tp
mark
x
tp
chk
mat
f
f
f
f
f
f
f
f
f
f
X
x
active
1
f
1
mark
1
chk
1
no
1
mat
2
X
0
y
0
c
0
tp
1
FULL
./TRS/AProVE/Liveness_WRS.trs