maptFleafYleafFYmaptGnodeVnodemaptlistGVmaptlistInilnilmaptlistJconsX1Y1consmaptJX1maptlistJY1FaaYaGaaVcIaaJaaX1bY1cconsbccleafabmaptaabbmaptlistaaccnilcnodecbFULLbenchmarks/applicative/AotoYamada_05__022.atrs