plusX0XplusYsUsplusYUf0s0VfVplusVVVgWPWgX1Y1Y1mapG1nilnilmapH1consW1P1consH1W1mapH1P1filterF2nilnilfilterZ2consU2V2filter2Z2U2Z2U2V2filter2trueI2P2X3consP2filterI2X3filter2falseZ3U3V3filterZ3V3XaYaUaVaWcPcX1cY1cG1eeH1eeW1eP1fF2edZ2edU2eV2fI2edP2eX3fZ3edU3eV3f0aconsefffaaabfalsedfilteredfffilter2dedeffgcccmapeeffnilfplusaaasaatruedFULLbenchmarks/applicative/Applicative_AG01_innermost__#4.8.atrs