Dt1Dconstant0D!plusXY!plusDXDYD!timesUV!plus!timesVDU!timesUDVD!minusWP!minusDWDPmapF1nilnilmapZ1consU1V1consZ1U1mapZ1V1filterI1nilnilfilterJ1consX2Y2filter2J1X2J1X2Y2filter2trueG2V2W2consV2filterG2W2filter2falseJ2X3Y3filterJ2Y3XaYaUaVaWaPaF1ccZ1ccU1cV1dI1cbJ1cbX2cY2dG2cbV2cW2dJ2cbX3cY3d!minusaaa!plusaaa!timesaaa0a1aDaaconscddconstantafalsebfiltercbddfilter2bcbcddmapccddnildtatruebFULLbenchmarks/applicative/Applicative_first_order_05__08.atrs