appappmax0xxappappmaxx0xappappmaxappsxappsyappappmaxxyappappmin0x0appappminx00appappminappsxappsyappappminxyappappappappinsertfgnilxappappconsxnilappappappappinsertfgappappconshtxappappconsappappfxhappappappappinsertfgtappappgxhappappappsortfgnilnilappappappsortfgappappconshtappappappappinsertfgappappappsortfgthappascending_sortlappappappsortminmaxlappdescending_sortlappappappsortmaxminlapp2max000s0min0insert0nil0cons0sort0ascending_sort0descending_sort0FULL./TRS/higher-order/Lifantsev/Ex5Sorting.trs