ack0XsuccXacksuccYUackYsucc0acksuccVsuccWackVacksuccVWmapJnilnilmapF1consY1U1consF1Y1mapF1U1filterH1nilnilfilterI1consP1X2filter2I1P1I1P1X2filter2trueZ2U2V2consU2filterZ2V2filter2falseI2P2X3filterI2X3XaYaUaVaWaJccF1ccY1cU1dH1cbI1cbP1cX2dZ2cbU2cV2dI2cbP2cX3d0aackaaaconscddfalsebfiltercbddfilter2bcbcddmapccddnildsuccaatruebFULLbenchmarks/applicative/Applicative_first_order_05__29.atrs