minusX0XminussYsUminusYUquot0sV0quotsWsPsquotminusWPsPle0X1truelesY10falselesU1sV1leU1V1appnilW1W1appaddP1X2Y2addP1appX2Y2lowU2nilnillowW2addV2P2if!6220lowleV2W2W2addV2P2if!6220lowtrueY3addX3U3addX3lowY3U3if!6220lowfalseW3addV3P3lowW3P3highX4nilnilhighU4addY4V4if!6220highleY4U4U4addY4V4if!6220hightrueP4addW4X5highP4X5if!6220highfalseU5addY5V5addY5highU5V5quicksortnilnilquicksortaddW5P5appquicksortlowW5P5addW5quicksorthighW5P5mapF6nilnilmapZ6addU6V6addZ6U6mapZ6V6filterI6nilnilfilterJ6addX7Y7filter2J6X7J6X7Y7filter2trueG7V7W7addV7filterG7W7filter2falseJ7X8Y8filterJ7Y8XbYbUbVbWbPbX1bY1bU1bV1bW1cP1bX2cY2cU2bV2bW2bP2cX3bY3bU3cV3bW3bP3cX4bY4bU4bV4cW4bP4bX5cY5bU5bV5cW5bP5cF6bbZ6bbU6bV6cI6baJ6baX7bY7cG7baV7bW7cJ7baX8bY8c0baddbccappcccfalseafilterbaccfilter2ababcchighbccif!6220highabccif!6220lowabcclebbalowbccmapbbccminusbbbnilcquicksortccquotbbbsbbtrueaFULLbenchmarks/applicative/Applicative_first_order_05__#3.55.atrs