plus0XXplussYUsplusYUincVmappluss0VmapInilnilmapJconsX1Y1consJX1mapJY1XaYaUaVbIaaJaaX1aY1b0aconsabbincbbmapaabbnilbplusaaasaaFULLbenchmarks/applicative/AotoYamada_05__027.atrs