{
  "spec": {
    "profile": "joulespec/1",
    "alg": 1,
    "intent": "A corpus case: the clauses exist to be graded, not to be implemented.",
    "clauses": [
      {
        "label": "C1",
        "kind": "requirement",
        "text": "The obligation is discharged as a proof nobody checked for vacuity."
      }
    ],
    "parent": null,
    "author": [
      138,
      136,
      227,
      221,
      116,
      9,
      241,
      149,
      253,
      82,
      219,
      45,
      60,
      186,
      93,
      114,
      202,
      103,
      9,
      191,
      29,
      148,
      18,
      27,
      243,
      116,
      136,
      1,
      180,
      15,
      111,
      92
    ]
  },
  "sig": [
    113,
    95,
    117,
    58,
    54,
    173,
    175,
    188,
    219,
    96,
    201,
    130,
    85,
    193,
    40,
    235,
    114,
    127,
    56,
    130,
    232,
    129,
    196,
    116,
    222,
    78,
    28,
    230,
    187,
    100,
    191,
    84,
    73,
    174,
    219,
    166,
    138,
    218,
    9,
    209,
    167,
    43,
    243,
    124,
    36,
    53,
    115,
    129,
    203,
    95,
    97,
    140,
    147,
    238,
    49,
    226,
    96,
    172,
    32,
    217,
    198,
    126,
    81,
    0
  ]
}