Update Automato_Long.svg