recrecxsentrecxrecsentxsentrecxrecnoxsentrecxrecbotupsentbotrecupxuprecxsentupxupsentxnoupxupnoxtoprecupxtopcheckrecxtopsentupxtopcheckrecxtopnoupxtopcheckrecxcheckupxupcheckxchecksentxsentcheckxcheckrecxreccheckxchecknoxnocheckxchecknoxnoxrec1sent1no1bot0up1top1check1INNERMOST./TRS/AProVE/Liveness6.3.trs