FFZUUFGFZUZUZaaUaFaaaaaGaaaaFULLbenchmarks/applicative/Applicative_05__Ex6_11.atrs