max0XXmaxY0YmaxsUsVmaxUVmin0W0minP00minsX1sY1minX1Y1insertG1H1nilW1consW1nilinsertJ1F2consY2U2V2consJ1V2Y2insertJ1F2U2F2V2Y2sortI2J2nilnilsortF3Z3consU3V3insertF3Z3sortF3Z3V3U3ascending!6220sortW3sortminmaxW3descending!6220sortP3sortmaxminP3XaYaUaVaWaPaX1aY1aG1aaaH1aaaW1aJ1aaaF2aaaY2aU2bV2aI2aaaJ2aaaF3aaaZ3aaaU3aV3bW3bP3b0aascending!6220sortbbconsabbdescending!6220sortbbinsertaaaaaababmaxaaaminaaanilbsaasortaaaaaabbFULLbenchmarks/applicative/Applicative_05__Ex5Sorting.atrs