)]}'
{
  "id": "03778623ee5f329a48d6503bf0a3eb12381aede8",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "dd839e97d826547d58fadd22a2aa73d06bf72ea9",
      "name": "bounded_coefficients.sc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6ce339c1bc31ad3afe9d0adbb1c45c5cd4a823c0",
      "name": "bounded_coefficients.st"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "70037c0f5b1999a87aca932edb42cd7cf175620d",
      "name": "carry_bounded_coefficients.sc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cdcf12c431574cd10733a34b390d055b3ed4d290",
      "name": "carry_bounded_coefficients.st"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "47eedb24cbd0997016e086b8ed810f4fbe9cb3e5",
      "name": "disjunctive_domain.sc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "05d0b89c7d0efc4da4f8028578a7e35365249521",
      "name": "disjunctive_domain.st"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f90bd883d77a237f09c23fbb381e0bcb9aed74e9",
      "name": "feautrier_compressed.sc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fb2a4257cd24ed6d033db4db88a7d3d1f80786b7",
      "name": "feautrier_compressed.st"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cabe9b4e5df335a2e350a948926e5f46bbdff905",
      "name": "max_coincidence.sc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2b29baf7a9ab8ba70859697d4ad6ab62ad677819",
      "name": "max_coincidence.st"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c37ad5ba7ddbc13e5796f492f93fbf9dc052c720",
      "name": "nomax_coincidence.sc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d3af702d52e5d8dc02e0941c6c504943096da41",
      "name": "nomax_coincidence.st"
    }
  ]
}