**Saving results**
-------------------------

.. image:: a2e4586e8dc145d5bfdcaec7c21ac926/media/image8.png
   :width: 6.30139in
   :height: 3.40345in
   

- “Save As” saves the deformations in a new JSON file. This file is compatible with Nutil Quantifier for QUINT analysis.