sortFZnilnilsortGHconsWPinsertGHsortGHPWinsertF1Z1nilU1consU1nilinsertH1I1consP1Y2X2consH1P1X2insertH1I1Y2I1P1X2max0U2U2maxV20V2maxsW2sP2maxW2P2min0X30minY300minsU3sV3minU3V3asortW3sortminmaxW3dsortP3sortmaxminP3FaaaZaaaGaaaHaaaWaPbF1aaaZ1aaaU1aH1aaaI1aaaP1aX2aY2bU2aV2aW2aP2aX3aY3aU3aV3aW3bP3b0aasortbbconsabbdsortbbinsertaaaaaababmaxaaaminaaanilbsaasortaaaaaabbFULLbenchmarks/applicative/Applicative_05__Ex7Sorting.atrs