comp F Z U F Z U twice H comp H H F a a Z a a U a H a a comp a a a a a a twice a a a a FULL benchmarks/applicative/AotoYamada_05__019.atrs