le0XtruelesY0falselesUsVleUVeq00trueeq0sWfalseeqsP0falseeqsX1sY1eqX1Y1iftrueU1V1U1iffalseW1P1P1minsortnilnilminsortconsX2Y2consminX2Y2minsortdelminX2Y2consX2Y2minU2nilU2minV2consW2P2ifleV2W2minV2P2minW2P2delX3nilnildelY3consU3V3ifeqY3U3V3consU3delY3V3mapI3nilnilmapJ3consX4Y4consJ3X4mapJ3Y4filterG4nilnilfilterH4consW4P4filter2H4W4H4W4P4filter2trueF5Y5U5consY5filterF5U5filter2falseH5W5P5filterH5P5XbYbUbVbWbPbX1bY1bU1bV1bW1bP1bX2bY2bU2bV2bW2bP2bX3bY3bU3bV3bI3bbJ3bbX4bY4bG4baH4baW4bP4bF5baY5bU5bH5baW5bP5b0bconsbbbdelbbbeqbbafalseafilterbabbfilter2ababbbifabbblebbamapbbbbminbbbminsortbbnilbsbbtrueaFULLbenchmarks/applicative/Applicative_first_order_05__minsort.atrs