{
  "type": "file",
  "name": "/home/lively4/lively4/lively4-petrinet/doc/_navigation.html",
  "size": 1119,
  "version": "60c0633469476bb7820e664444a6ef2471708904",
  "modified": "2020-04-29 17:02:08"
}