)]}'
{
  "id": "600c5bd009aed7edffa9c591cb2f5a8b4fccf0fd",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "a2af064b3918bdfbb0ed768d0e3aef5b4162390c",
      "name": "GNUmakefile"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eb224159159c556a7c86d2b7ef711394363d40c4",
      "name": "GUI1.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a6927f1c1fb5abb5415930e56bda1ec61975cbd7",
      "name": "GUI2.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aaf1e0c21ccfc76d4223f257f5c0c44284b728e3",
      "name": "JustIce.lyx"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ace1359ab5d55f407085c1f70b1586fa172e4d7b",
      "name": "V_API_SD.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9bf549a28122a96265407cbf32dce472b7c35e20",
      "name": "VennDiag.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2fca77561e85e8870761937e1bfc12c1ed22bc42",
      "name": "VerificationAPI.bmp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2eb5f4ff3e9d0c7a135011731307e0dc7b9336de",
      "name": "VerificationAPI.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6d250866dc5db3c02907d97deeeab42b29bb608b",
      "name": "chap1.bmp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f17038579519d895a828fa9a1c241b7dd16bb87a",
      "name": "chap1.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5896e457f4d8c50645a50178e50aad475e80707b",
      "name": "classfile.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fd245b7a4d63c25c320c1cda8e0ec9299d03475b",
      "name": "conventcfg.bmp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0f8ecde19fa2a4b1d6189292e375c88bb530d625",
      "name": "conventcfg.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "134b61666a8493de382a39895b440857bb77c74a",
      "name": "exframe.bmp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6a730a67a2b004ed96031e6788f93703bcd8b490",
      "name": "exframe.eps"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "71510d2029ade27b3f659e08f86c16dbd1568059",
      "name": "justicecfg.bmp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "177d5a0dbeaef8a2d0003c0b0ae25ac3217bc711",
      "name": "justicecfg.eps"
    }
  ]
}