f0truef1falsefsXfXiftruesYsUsYiffalsesVsWsWgPcX1cgPX1gY1cU1gY1iffY1cgsY1U1cU1mapH1nilnilmapI1consP1X2consI1P1mapI1X2filterZ2nilnilfilterG2consV2W2filter2G2V2G2V2W2filter2trueJ2X3Y3consX3filterJ2Y3filter2falseG3V3W3filterG3W3XbYbUbVbWbPbX1bY1bU1bH1ccI1ccP1cX2dZ2caG2caV2cW2dJ2caX3cY3dG3caV3cW3d0b1bcbbconscddfbafalseafiltercaddfilter2acacddgbbbifabbbmapccddnildsbbtrueaFULLbenchmarks/applicative/Applicative_first_order_05__#3.48.atrs