f0f001mapFnilnilmapZconsUVconsZUmapZVfilterInilnilfilterJconsX1Y1filter2JX1JX1Y1filter2trueG1V1W1consV1filterG1W1filter2falseJ1X2Y2filterJ1Y2FddZddUdVeIdcJdcX1dY1eG1dcV1dW1eJ1dcX2dY2e0b1bconsdeefbafalsecfilterdceefilter2cdcdeemapddeeniletruecFULLbenchmarks/applicative/Applicative_AG01_innermost__#4.5.atrs