!timesX!plusYU!plus!timesXY!timesXUmapHnilnilmapIconsPX1consIPmapIX1filterZ1nilnilfilterG1consV1W1filter2G1V1G1V1W1filter2trueJ1X2Y2consX2filterJ1Y2filter2falseG2V2W2filterG2W2XaYbUbHddIddPdX1eZ1dcG1dcV1dW1eJ1dcX2dY2eG2dcV2dW2e!plusbbb!timesabbconsdeefalsecfilterdceefilter2cdcdeemapddeeniletruecFULLbenchmarks/applicative/Applicative_first_order_05__18.atrs