)]}'
{
  "id": "237b6f71c9167c70aa44ec6799f864e514792849",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "b2a0cdb7a67e246115af78a2d39c30c18dfb1dfc",
      "name": "concept.equalitycomparable"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7ec90c7fd6d0c2fc53f443d21b011ac0c766f203",
      "name": "concepts.totallyordered"
    }
  ]
}
