!3220XXe!3220eYY!3220U!dotUVV!3220!divWPWP!divX1X1e!divY1eY1!div!dotV1U1U1V1!divW1!3220P1W1P1!doteX2X2!dotY2eY2!dotU2!3220U2V2V2!dot!divP2W2W2P2mapF3nilnilmapZ3consU3V3consZ3U3mapZ3V3filterI3nilnilfilterJ3consX4Y4filter2J3X4J3X4Y4filter2trueG4V4W4consV4filterG4W4filter2falseJ4X5Y5filterJ4Y5XaYaUaVaWaPaX1aY1aU1aV1aW1aP1aX2aY2aU2aV2aW2aP2aF3ccZ3ccU3cV3dI3cbJ3cbX4cY4dG4cbV4cW4dJ4cbX5cY5d!3220aaa!divaaa!dotaaaconscddeafalsebfiltercbddfilter2bcbcddmapccddnildtruebFULLbenchmarks/applicative/Applicative_first_order_05__01.atrs