eq00trueeq0sXfalseeqsY0falseeqsUsVeqUVle0WtruelesP0falselesX1sY1leX1Y1appnilU1U1appaddV1W1P1addV1appW1P1minaddX2nilX2minaddU2addY2V2if!6220minleU2Y2addU2addY2V2if!6220mintrueaddP2addW2X3minaddP2X3if!6220minfalseaddU3addY3V3minaddY3V3rmW3nilnilrmX4addP3Y4if!6220rmeqX4P3X4addP3Y4if!6220rmtrueV4addU4W4rmV4W4if!6220rmfalseX5addP4Y5addP4rmX5Y5minsortnilnilnilminsortaddU5V5W5if!6220minsorteqU5minaddU5V5addU5V5W5if!6220minsorttrueaddP5X6Y6addP5minsortapprmP5X6Y6nilif!6220minsortfalseaddU6V6W6minsortV6addU6W6mapJ6nilnilmapF7addY7U7addF7Y7mapF7U7filterH7nilnilfilterI7addP7X8filter2I7P7I7P7X8filter2trueZ8U8V8addU8filterZ8V8filter2falseI8P8X9filterI8X9XbYbUbVbWbPbX1bY1bU1cV1bW1cP1cX2bY2bU2bV2cW2bP2bX3cY3bU3bV3cW3bP3bX4bY4cU4bV4bW4cP4bX5bY5cU5bV5cW5cP5bX6cY6cU6bV6cW6cJ6bbF7bbY7bU7cH7baI7baP7bX8cZ8baU8bV8cI8baP8bX9c0baddbccappccceqbbafalseafilterbaccfilter2ababccif!6220minacbif!6220minsortacccif!6220rmabcclebbamapbbccmincbminsortcccnilcrmbccsbbtrueaFULLbenchmarks/applicative/Applicative_first_order_05__#3.10.atrs