mapFnilnilmapZconsUVconsZUmapZVFaaZaaUaVbconsabbmapaabbnilbFULLbenchmarks/applicative/AotoYamada_05__024.atrs