minusX0XminussYsUminusYUdouble00doublesVssdoubleVplus0WWplussPX1splusPX1plussY1U1plusY1sU1plussV1W1splusminusV1W1doubleW1mapJ1nilnilmapF2consY2U2consF2Y2mapF2U2filterH2nilnilfilterI2consP2X3filter2I2P2I2P2X3filter2trueZ3U3V3consU3filterZ3V3filter2falseI3P3X4filterI3X4XaYaUaVaWaPaX1aY1aU1aV1aW1aJ1ccF2ccY2cU2dH2cbI2cbP2cX3dZ3cbU3cV3dI3cbP3cX4d0aconscdddoubleaafalsebfiltercbddfilter2bcbcddmapccddminusaaanildplusaaasaatruebFULLbenchmarks/applicative/Applicative_first_order_05__#3.18.atrs