le0XtruelesY0falselesUsVleUVpredsWWminusP0PminusX1sY1predminusX1Y1gcd0U1U1gcdsV10sV1gcdsW1sP1if!6220gcdleP1W1sW1sP1if!6220gcdtruesX2sY2gcdminusX2Y2sY2if!6220gcdfalsesU2sV2gcdminusV2U2sU2mapI2nilnilmapJ2consX3Y3consJ2X3mapJ2Y3filterG3nilnilfilterH3consW3P3filter2H3W3H3W3P3filter2trueF4Y4U4consY4filterF4U4filter2falseH4W4P4filterH4P4XbYbUbVbWbPbX1bY1bU1bV1bW1bP1bX2bY2bU2bV2bI2ccJ2ccX3cY3dG3caH3caW3cP3dF4caY4cU4dH4caW4cP4d0bconscddfalseafiltercaddfilter2acacddgcdbbbif!6220gcdabbblebbamapccddminusbbbnildpredbbsbbtrueaFULLbenchmarks/applicative/Applicative_first_order_05__#3.6.atrs