predsXXminusY0YminusUsVpredminusUVquot0sW0quotsPsX1squotminusPX1sX1mapZ1nilnilmapG1consV1W1consG1V1mapG1W1filterJ1nilnilfilterF2consY2U2filter2F2Y2F2Y2U2filter2trueH2W2P2consW2filterH2P2filter2falseF3Y3U3filterF3U3XaYaUaVaWaPaX1aZ1ccG1ccV1cW1dJ1cbF2cbY2cU2dH2cbW2cP2dF3cbY3cU3d0aconscddfalsebfiltercbddfilter2bcbcddmapccddminusaaanildpredaaquotaaasaatruebFULLbenchmarks/applicative/Applicative_first_order_05__#3.2.atrs