applyFYFYFabYaapplyababFULLbenchmarks/applicative/AotoYamada_05__025.atrs