topfreextopchecknewxnewfreexfreenewxoldfreexfreeoldxnewservefreeserveoldservefreeservecheckfreexfreecheckxchecknewxnewcheckxcheckoldxoldcheckxcheckoldxoldxtop1free1check1new1old1serve0FULL./TRS/AProVE/Liveness6.1.trs