{
  "type": "file",
  "name": "src/components/demo/lively-petrinet-token.html",
  "size": 274,
  "version": "50820794f8e50bc727a000be6802907b51227049",
  "modified": "2020-07-30 20:54:57"
}