!dot1XX!dotY1Y!dotiUU1!dotViV1!dotiW!dotWPP!dotX1!dotiX1Y1Y1i11iiU1U1mapH1nilnilmapI1consP1X2consI1P1mapI1X2filterZ2nilnilfilterG2consV2W2filter2G2V2G2V2W2filter2trueJ2X3Y3consX3filterJ2Y3filter2falseG3V3W3filterG3W3XaYaUaVaWaPaX1aY1aU1aH1ccI1ccP1cX2dZ2cbG2cbV2cW2dJ2cbX3cY3dG3cbV3cW3d!dotaaa1aconscddfalsebfiltercbddfilter2bcbcddiaamapccddnildtruebFULLbenchmarks/applicative/Applicative_first_order_05__02.atrs