{
  "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 under the prover's own formalization."
      }
    ],
    "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": [
    230,
    223,
    192,
    92,
    86,
    73,
    29,
    122,
    19,
    51,
    241,
    40,
    231,
    16,
    76,
    150,
    148,
    103,
    16,
    62,
    242,
    129,
    100,
    44,
    166,
    222,
    27,
    231,
    71,
    35,
    103,
    15,
    120,
    141,
    76,
    15,
    72,
    148,
    166,
    177,
    220,
    220,
    140,
    43,
    144,
    170,
    178,
    240,
    14,
    79,
    146,
    87,
    125,
    29,
    218,
    36,
    240,
    91,
    137,
    161,
    25,
    30,
    227,
    4
  ]
}