activefxmarkxtopactivectopmarkctopmarkxtopcheckxcheckfxfcheckxcheckxstartmatchfXxmatchfxfyfmatchxymatchXxproperxpropercokcproperfxfproperxfokxokfxstartokxfoundxffoundxfoundfxtopfoundxtopactivexactivefxfactivexfmarkxmarkfxactive1f1mark1top1c0check1start1match2X0proper1ok1found1FULL./TRS/AProVE/Liveness8.trs