psXXfact0s0factsY!timessYfactpsY!times0U0!timessVW!plus!timesVWW!plusP0P!plusX1sY1s!plusX1Y1mapG1nilnilmapH1consW1P1consH1W1mapH1P1filterF2nilnilfilterZ2consU2V2filter2Z2U2Z2U2V2filter2trueI2P2X3consP2filterI2X3filter2falseZ3U3V3filterZ3V3XaYaUaVaWaPaX1aY1aG1ccH1ccW1cP1dF2cbZ2cbU2cV2dI2cbP2cX3dZ3cbU3cV3d!plusaaa!timesaaa0aconscddfactaafalsebfiltercbddfilter2bcbcddmapccddnildpaasaatruebFULLbenchmarks/applicative/Applicative_first_order_05__21.atrs