minusX0XminussYsUminusYUquot0sV0quotsWsPsquotminusWPsPplus0X1X1plussY1U1splusY1U1plusminusV1s0minusW1ssP1plusminusW1ssP1minusV1s0plusplusX2s0plusY2ssU2plusplusY2ssU2plusX2s0mapH2nilnilmapI2consP2X3consI2P2mapI2X3filterZ3nilnilfilterG3consV3W3filter2G3V3G3V3W3filter2trueJ3X4Y4consX4filterJ3Y4filter2falseG4V4W4filterG4W4XaYaUaVaWaPaX1aY1aU1aV1aW1aP1aX2aY2aU2aH2ccI2ccP2cX3dZ3cbG3cbV3cW3dJ3cbX4cY4dG4cbV4cW4d0aconscddfalsebfiltercbddfilter2bcbcddmapccddminusaaanildplusaaaquotaaasaatruebFULLbenchmarks/applicative/Applicative_first_order_05__#3.40.atrs