ghgXgXggYghgYhhUhfhUUmapHnilnilmapIconsPX1consIPmapIX1filterZ1nilnilfilterG1consV1W1filter2G1V1G1V1W1filter2trueJ1X2Y2consX2filterJ1Y2filter2falseG2V2W2filterG2W2XaYaUaHccIccPcX1dZ1cbG1cbV1cW1dJ1cbX2cY2dG2cbV2cW2dconscddfaaafalsebfiltercbddfilter2bcbcddgaahaamapccddnildtruebFULLbenchmarks/applicative/Applicative_first_order_05__motivation.atrs