{
  "type": "file",
  "name": "src/components/demo/lively-petrinet-code-transition.html",
  "size": 343,
  "version": "b208363e25fe1dfc3d5f3bce73808f03d6b94f66",
  "modified": "2020-07-26 23:20:12"
}