plus0XXplussYUsplusYUtimes0V0timessWPplustimesWPPcurryF1Y1U1F1Y1U1mapH1nilnilmapI1consP1X2consI1P1mapI1X2incmapcurrypluss0doublemapcurrytimesss0XbYbUbVbWbPbF1bbbY1bU1bH1bbI1bbP1bX2a0bconsbaacurrybbbbbbdoubleaaincaamapbbaanilaplusbbbsbbtimesbbbFULLbenchmarks/applicative/AotoYamada_05__010.atrs