f01XfsXXXfYUsVsf01VmapInilnilmapJconsX1Y1consJX1mapJY1filterG1nilnilfilterH1consW1P1filter2H1W1H1W1P1filter2trueF2Y2U2consY2filterF2U2filter2falseH2W2P2filterH2P2XaYaUaVaIccJccX1cY1dG1cbH1cbW1cP1dF2cbY2cU2dH2cbW2cP2d0a1aconscddfaaaafalsebfiltercbddfilter2bcbcddmapccddnildsaatruebFULLbenchmarks/applicative/Applicative_first_order_05__#3.52.atrs