activefxmarkffxchknofxfchkmatffffffffffXxmatfxfyfmatxychknocactivecmatfxcnocfactivexactivefxfnoxnofxfmarkxmarkfxtpmarkxtpchkmatffffffffffXxactive1f1mark1chk1no1mat2X0y0c0tp1FULL./TRS/AProVE/Liveness_WRS.trs