idXXadd0idaddsYUsaddYUmapHnilnilmapIconsPX1consIPmapIX1XaYaUaHbbIbbPbX1c0aaddaaaconsbccidaamapbbccnilcsaaFULLbenchmarks/applicative/AotoYamada_05__Ex1SimplyTyped.atrs