fconsnilXXfconsfconsnilYUcopynYUcopy0VWfWcopysPX1Y1copyPX1consfX1Y1mapG1nilnilmapH1consW1P1consH1W1mapH1P1filterF2nilnilfilterZ2consU2V2filter2Z2U2Z2U2V2filter2trueI2P2X3consP2filterI2X3filter2falseZ3U3V3filterZ3V3XcYcUcVcWcPaX1cY1cG1ccH1ccW1cP1cF2cbZ2cbU2cV2cI2cbP2cX3cZ3cbU3cV3c0aconsccccopyacccfccfalsebfiltercbccfilter2bcbcccmapccccnanilcsaatruebFULLbenchmarks/applicative/Applicative_first_order_05__hydra.atrs