{"documentJSONFilename":"Document.json","undoHistoryJSONFilename":"UndoHistory.json","fileFormatVersion":2,"thumbnailImageFilename":"Thumbnail.png"}