{
  "type": "file",
  "name": "/home/lively4/lively4/lively4-petrinet/src/external/systemjs/system.src.js",
  "size": 133773,
  "version": "7c5803f02ae318744373480b66591d5096c750d9",
  "modified": "2020-06-25 21:40:17"
}