!colon!colonXYU!colonX!colonYU!colon!plusVWP!plus!colonVP!colonWP!colonV1!plusY1F1U1!colongV1U1!plusY1amapI1nilnilmapJ1consX2Y2consJ1X2mapJ1Y2filterG2nilnilfilterH2consW2P2filter2H2W2H2W2P2filter2trueF3Y3U3consY3filterF3U3filter2falseH3W3P3filterH3P3XbYbUbVbWbPbF1abY1bU1aV1bI1ddJ1ddX2dY2eG2dcH2dcW2dP2eF3dcY3dU3eH3dcW3dP3e!colonbbb!plusbbbabconsdeefalsecfilterdceefilter2cdcdeegbabmapddeeniletruecFULLbenchmarks/applicative/Applicative_first_order_05__31.atrs