timesX00timesYsUplustimesYUYplusV0Vplus0WWplusPsX1splusPX1plussY1U1splusY1U1mapH1nilnilmapI1consP1X2consI1P1mapI1X2filterZ2nilnilfilterG2consV2W2filter2G2V2G2V2W2filter2trueJ2X3Y3consX3filterJ2Y3filter2falseG3V3W3filterG3W3XaYaUaVaWaPaX1aY1aU1aH1ccI1ccP1cX2dZ2cbG2cbV2cW2dJ2cbX3cY3dG3cbV3cW3d0aconscddfalsebfiltercbddfilter2bcbcddmapccddnildplusaaasaatimesaaatruebFULLbenchmarks/applicative/Applicative_first_order_05__#3.16.atrs