perfectp0falseperfectpsXfXs0sXsXf0U0Ytruef0WsPVfalsefsY10U1X1fY1X1minusU1sY1X1fsW1sP1X2V1ifleW1P1fsW1minusP1W1X2V1fW1V1X2V1mapZ2nilnilmapG2consV2W2consG2V2mapG2W2filterJ2nilnilfilterF3consY3U3filter2F3Y3F3Y3U3filter2trueH3W3P3consW3filterH3P3filter2falseF4Y4U4filterF4U4XbYbUbVbWbPbX1bY1bU1bV1bW1bP1bX2bZ2ddG2ddV2dW2eJ2dcF3dcY3dU3eH3dcW3dP3eF4dcY4dU4e0bconsdeefbbbbcfalsecfilterdceefilter2cdcdeeifaccclebbamapddeeminusbbbnileperfectpbcsbbtruecFULLbenchmarks/applicative/Applicative_first_order_05__perfect.atrs