recXZG0XrecVIJsX1IX1recVIJX1recU1H1I1limZ1I1Z1rectuvU1H1I1Z1nrectuvP1F2Z2nrecP1F2Z2nXbZabbGaabbVbIabbJaabbX1aZ1aaU1bH1abbI1aabbP1bF2abbZ2aabb0alimaaanarecbabbaabbabrectuvbabbaabbabsaaFULLbenchmarks/applicative/Applicative_05__Ex7OrdinalRec.atrs