!dot1XX!dotY1Y!dotiUU1!dotViV1!dotiW!dotWPP!dotX1!dotiX1Y1Y1!dot!dotU1V1W1!dotU1!dotV1W1i11iiP1P1i!dotX2Y2!dotiY2iX2mapG2nilnilmapH2consW2P2consH2W2mapH2P2filterF3nilnilfilterZ3consU3V3filter2Z3U3Z3U3V3filter2trueI3P3X4consP3filterI3X4filter2falseZ4U4V4filterZ4V4XaYaUaVaWaPaX1aY1aU1aV1aW1aP1aX2aY2aG2ccH2ccW2cP2dF3cbZ3cbU3cV3dI3cbP3cX4dZ4cbU4cV4d!dotaaa1aconscddfalsebfiltercbddfilter2bcbcddiaamapccddnildtruebFULLbenchmarks/applicative/Applicative_first_order_05__17.atrs