eq00trueeq0sXfalseeqsY0falseeqsVsUeqVUle0WtruelesP0falselesY1sX1leY1X1mincons0nil0minconssU1nilsU1minconsW1consV1P1if!6220minleW1V1consW1consV1P1if!6220mintrueconsY2consX2U2minconsY2U2if!6220minfalseconsW2consV2P2minconsV2P2replaceY3X3nilnilreplaceW3V3consU3P3if!6220replaceeqW3U3W3V3consU3P3if!6220replacetrueU4Y4consX4V4consY4V4if!6220replacefalseX5P4consW4Y5consW4replaceX5P4Y5sortnilnilsortconsU5V5consminconsU5V5sortreplaceminconsU5V5U5V5mapI5nilnilmapJ5consX6Y6consJ5X6mapJ5Y6filterG6nilnilfilterH6consW6P6filter2H6W6H6W6P6filter2trueF7Y7U7consY7filterF7U7filter2falseH7W7P7filterH7P7XbYbUbVbWbPbX1bY1bU1bV1bW1bP1cX2bY2bU2cV2bW2bP2cX3bY3bU3bV3bW3bP3cX4bY4bU4bV4cW4bP4bX5bY5cU5bV5cI5bbJ5bbX6bY6cG6baH6baW6bP6cF7baY7bU7cH7baW7bP7c0bconsbcceqbbafalseafilterbaccfilter2ababccif!6220minacbif!6220replaceabbcclebbamapbbccmincbnilcreplacebbccsbbsortcctrueaFULLbenchmarks/applicative/Applicative_AG01_innermost__#4.36.atrs