revnilnilrevconsYXconsrev1YXrev2YXrev10nil0rev1sUnilsUrev1WconsPVrev1PVrev2X1nilnilrev2U1consV1Y1revconsU1rev2V1Y1mapI1nilnilmapJ1consX2Y2consJ1X2mapJ1Y2filterG2nilnilfilterH2consW2P2filter2H2W2H2W2P2filter2trueF3Y3U3consY3filterF3U3filter2falseH3W3P3filterH3P3XdYcUaVdWcPcX1cY1dU1cV1cI1ccJ1ccX2cY2dG2cbH2cbW2cP2dF3cbY3cU3dH3cbW3cP3d0cconscddfalsebfiltercbddfilter2bcbcddmapccddnildrevddrev1cdcrev2cddsactruebFULLbenchmarks/applicative/Applicative_first_order_05__#3.38.atrs