plus0XXplussYUsplusYUtimes0V0timessWPplustimesWPPcompF1Z1U1F1Z1U1twiceH1compH1H1XaYaUaVaWaPaF1bbZ1bbU1bH1bb0acompbbbbbbplusaaasaatimesaaatwicebbbbFULLbenchmarks/applicative/AotoYamada_05__020.atrs