plus0XXplussYUsplusYUtimes0V0timessWPplustimesWPPincX1mappluss0X1doubleY1maptimesss0Y1mapG1nilnilmapH1consW1P1consH1W1mapH1P1XaYaUaVaWaPaX1bY1bG1aaH1aaW1aP1b0aconsabbdoublebbincbbmapaabbnilbplusaaasaatimesaaaFULLbenchmarks/applicative/AotoYamada_05__021.atrs