idXXplus0idplussYUsplusYUXaYaUa0aidaaplusaaasaaFULLbenchmarks/applicative/AotoYamada_05__023.atrs