minusX0XminussYsUminusYUminusminusVWPminusVplusWPquot0sX10quotsY1sU1squotminusY1U1sU1plus0V1V1plussW1P1splusW1P1appnilX2X2appY2nilY2appconsW2V2U2consW2appV2U2sumconsP2nilconsP2nilsumconsY3consU3X3sumconsplusY3U3X3sumappW3consP3consX4V3sumappW3sumconsP3consX4V3mapZ4nilnilmapG4consV4W4consG4V4mapG4W4filterJ4nilnilfilterF5consY5U5filter2F5Y5F5Y5U5filter2trueH5W5P5consW5filterH5P5filter2falseF6Y6U6filterF6U6XbYbUbVbWbPbX1bY1bU1bV1bW1bP1bX2cY2cU2cV2cW2bP2bX3cY3bU3bV3cW3cP3bX4bZ4bbG4bbV4bW4cJ4baF5baY5bU5cH5baW5bP5cF6baY6bU6c0bappcccconsbccfalseafilterbaccfilter2ababccmapbbccminusbbbnilcplusbbbquotbbbsbbsumcctrueaFULLbenchmarks/applicative/Applicative_first_order_05__#3.57.atrs