appappappsortfgnilnilappappappsortfgappappconsxyappappappappinsertfgappappappsortfgyxappappappappinsertfgnilyappappconsynilappappappappinsertfgappappconsxzyappappconsappappfxyappappappappinsertfgzappappgxyappappmax0yyappappmaxx0xappappmaxappsxappsyappappmaxxyappappmin0y0appappminx00appappminappsxappsyappappminxyappasortzappappappsortminmaxzappdsortzappappappsortmaxminzapp2sort0nil0cons0insert0max000s0min0asort0dsort0FULL./TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs