plus0XXplussYUsplusYUmapHnilnilmapIconsPX1consIPmapIX1curryZ1U1V1Z1U1V1incmapcurrypluss0XbYbUbHbbIbbPbX1aZ1bbbU1bV1b0bconsbaacurrybbbbbbincaamapbbaanilaplusbbbsbbFULLbenchmarks/applicative/AotoYamada_05__011.atrs