{
  "type": "file",
  "name": "src/components/demo/lively-petrinet-edge.html",
  "size": 771,
  "version": "91e3b62211be745e10083f1143aa11dc4b057347",
  "modified": "2020-07-30 18:16:36"
}