appappappapprectuv0tappappappapprectuvappsxappappuxappappappapprectuvxappappappapprectuvapplimfappappvfappappappapprectuvtuvappfnappappappapprectuvtuvnappappappapprectuvnapp2rec000s0lim0rectuv0n0FULL./TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs