minus0X0minussY0sYminussUsVminusUVle0WtruelesP0falselesX1sY1leX1Y1iftrueU1V1U1iffalseW1P1P1perfectp0falseperfectpsX2fX2s0sX2sX2f0U20Y2truef0W2sP2V2falsefsY30U3X3fY3X3minusU3sY3X3fsW3sP3X4V3ifleW3P3fsW3minusP3W3X4V3fW3V3X4V3mapZ4nilnilmapG4consV4W4consG4V4mapG4W4filterJ4nilnilfilterF5consY5U5filter2F5Y5F5Y5U5filter2trueH5W5P5consW5filterH5P5filter2falseF6Y6U6filterF6U6XaYaUaVaWaPaX1aY1aU1bV1bW1bP1bX2aY2aU2aV2aW2aP2aX3aY3aU3aV3aW3aP3aX4aZ4ccG4ccV4cW4dJ4cbF5cbY5cU5dH5cbW5cP5dF6cbY6cU6d0aconscddfaaaabfalsebfiltercbddfilter2bcbcddifbbbbleaabmapccddminusaaanildperfectpabsaatruebFULLbenchmarks/applicative/Applicative_first_order_05__perfect2.atrs