)]}'
{
  "id": "7f4d301fc97f9e04272d119da8aea16ef9a75355",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3313396344556d97e96bc1126fd0e6840059aa73",
      "name": "module.make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4830b12ed3ea77be9e25cc440b7523cd983b9031",
      "name": "msat.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6ac27e2cf060c358c5ec5491dc4f9e776a8d127c",
      "name": "msatActivity.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b1b9e98893887b093be1c9489c29e44cdb721ce",
      "name": "msatClause.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "718957110ba4864187e2f7f79dc79137cef66340",
      "name": "msatClauseVec.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d1e71371f764ec68fc5f88bfd4f863dbc2fc9876",
      "name": "msatInt.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7e0dc0dd12d979e76fd51a0c124e3950a7e1c5fc",
      "name": "msatMem.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "90568ec2a935aa55d65672386c773e120cc13571",
      "name": "msatOrderH.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82e12ec61650cab23881bbb3884984fc6a51c2f7",
      "name": "msatOrderJ.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f025920b601793fd82920ddaf69aa99a4f717a25",
      "name": "msatQueue.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cd7650fef6ee9e473c7fff8b7259412d032c1c59",
      "name": "msatRead.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "622e94aa358e02a816b11994fb19dd5d75ccb1a8",
      "name": "msatSolverApi.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "352a4a5a06a31e253ae4aa2068e2ee4682d2e3d3",
      "name": "msatSolverCore.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "38610b4d25a289a41cf93479c188174740e52aee",
      "name": "msatSolverIo.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b3190e39c2b28414acb476b5d45e575652055a13",
      "name": "msatSolverSearch.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a4b34030197bbbc8dc226364effa7f6a97946b6c",
      "name": "msatSort.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7144b2134afcea3d482aacc310e5e10538d925d9",
      "name": "msatVec.c"
    }
  ]
}