quot0sXsY0quotsUsVWquotUVWquotP0sX1squotPsX1sX1mapZ1nilnilmapG1consV1W1consG1V1mapG1W1filterJ1nilnilfilterF2consY2U2filter2F2Y2F2Y2U2filter2trueH2W2P2consW2filterH2P2filter2falseF3Y3U3filterF3U3XaYaUaVaWaPaX1aZ1ccG1ccV1cW1dJ1cbF2cbY2cU2dH2cbW2cP2dF3cbY3cU3d0aconscddfalsebfiltercbddfilter2bcbcddmapccddnildquotaaaasaatruebFULLbenchmarks/applicative/Applicative_AG01_innermost__#4.22.atrs