top free x top check new x new free x free new x old free x free old x new serve free serve old serve free serve check free x free check x check new x new check x check old x old check x check old x old x top 1 free 1 check 1 new 1 old 1 serve 0 FULL ./TRS/AProVE/Liveness6.1.trs