Ignoring a .DS_Store file...
AUT format now generates a mapping for its numerical states