{
  "jobname": "main",
  "md5": "FAD58DE7366495DB4650CFEFAC2FCD61",
  "timestamp": "19800101010000",
  "cachefiles": [
    "BCF8625992B8001B176979179EDDED90.highlight.minted",
    "_FAD58DE7366495DB4650CFEFAC2FCD61.index.minted",
    "default.style.minted"
  ]
}