eq00trueeq0sXfalseeqsY0falseeqsUsVeqUVortrueWtrueorfalsePPunionemptyX1X1unionedgeV1W1U1Y1edgeV1W1unionU1Y1reachX2Y2emptyP1falsereachX3Y3edgeW2P2V2U2if!6220reach!62201eqX3W2X3Y3edgeW2P2V2U2if!6220reach!62201trueX4Y4edgeW3P3V3U3if!6220reach!62202eqY4P3X4Y4edgeW3P3V3U3if!6220reach!62201falseX5Y5edgeW4P4V4U4reachX5Y5V4edgeW4P4U4if!6220reach!62202trueX6Y6edgeW5P5V5U5trueif!6220reach!62202falseX7Y7edgeW6P6V6U6orreachX7Y7V6U6reachP6Y7unionV6U6emptymapG7nilnilmapH7consW7P7consH7W7mapH7P7filterF8nilnilfilterZ8consU8V8filter2Z8U8Z8U8V8filter2trueI8P8X9consP8filterI8X9filter2falseZ9U9V9filterZ9V9XaYaUaVaWcPcX1bY1bU1bV1aW1aP1bX2aY2aU2bV2bW2aP2aX3aY3aU3bV3bW3aP3aX4aY4aU4bV4bW4aP4aX5aY5aU5bV5bW5aP5aX6aY6aU6bV6bW6aP6aX7aY7aG7ddH7ddW7dP7eF8dcZ8dcU8dV8eI8dcP8dX9eZ9dcU9dV9e0aconsdeeedgeaabbemptybeqaacfalsecfilterdceefilter2cdcdeeif!6220reach!62201caabbcif!6220reach!62202caabbcmapddeenileorcccreachaabbcsaatruecunionbbbFULLbenchmarks/applicative/Applicative_first_order_05__#3.13.atrs