half00halfs00halfssXshalfXbits00bitssYsbitshalfsYmapGnilnilmapHconsWPconsHWmapHPfilterF1nilnilfilterZ1consU1V1filter2Z1U1Z1U1V1filter2trueI1P1X2consP1filterI1X2filter2falseZ2U2V2filterZ2V2XaYaGccHccWcPdF1cbZ1cbU1cV1dI1cbP1cX2dZ2cbU2cV2d0abitsaaconscddfalsebfiltercbddfilter2bcbcddhalfaamapccddnildsaatruebFULLbenchmarks/applicative/Applicative_AG01_innermost__#4.28.atrs