!colon!colon!colon!colonCYUVX!colon!colonYV!colon!colon!colonYUVXmapInilnilmapJconsX1Y1consJX1mapJY1filterG1nilnilfilterH1consW1P1filter2H1W1H1W1P1filter2trueF2Y2U2consY2filterF2U2filter2falseH2W2P2filterH2P2XaYaUaVaIccJccX1cY1dG1cbH1cbW1cP1dF2cbY2cU2dH2cbW2cP2d!colonaaaCaconscddfalsebfiltercbddfilter2bcbcddmapccddnildtruebFULLbenchmarks/applicative/Applicative_first_order_05__30.atrs