iftrueXYXiffalseUVVsubW0WsubsPsX1subPX1gtr0Y1falsegtrsU10truegtrsV1sW1gtrV1W1dP10truedsX2sY2ifgtrX2Y2falsedsX2subY2X2lennil0lenconsU2V2slenV2filterI2nilnilfilterJ2consX3Y3ifJ2X3consX3filterJ2Y3filterJ2Y3XcYcUcVcWaPaX1aY1aU1aV1aW1aP1aX2aY2aU2bV2cI2bcJ2bcX3bY3c0aconsbccdaacfalsecfilterbcccgtraacifcccclencanilcsaasubaaatruecFULLbenchmarks/applicative/Applicative_05__Ex7_9.atrs