ffXgfXggYfYmapGnilnilmapHconsWPconsHWmapHPfilterF1nilnilfilterZ1consU1V1filter2Z1U1Z1U1V1filter2trueI1P1X2consP1filterI1X2filter2falseZ2U2V2filterZ2V2XaYaGccHccWcPdF1cbZ1cbU1cV1dI1cbP1cX2dZ2cbU2cV2dconscddfaafalsebfiltercbddfilter2bcbcddgaamapccddnildtruebFULLbenchmarks/applicative/Applicative_first_order_05__#3.27.atrs