[
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:0684fbbba22698b8874acd5de02e14d60e571595ed5667001b1eac2c65712112",
      "obligation": "b3:8c38bdd6981befcc0b784b8b2861b77682fa66493ec48e80e6815e5b063940f6",
      "artifact": "b3:456b08df8833870546a773201f86bf36f22c85d792ff14d2de1886247827b7f9",
      "footprint": [],
      "evidence": {
        "kind": "proved",
        "goal": "b3:bbc98522dfcf0bb13e1772dcecc655fa0c92eabacbc7a226e38ff74e5f0606ce",
        "tier": "corpus",
        "formalization": {
          "statement": "forall x. p(x)",
          "grounding": {
            "cross-checked": {
              "by": [
                237,
                73,
                40,
                198,
                40,
                209,
                194,
                198,
                234,
                233,
                3,
                56,
                144,
                89,
                149,
                97,
                41,
                89,
                39,
                58,
                92,
                99,
                249,
                54,
                54,
                193,
                70,
                20,
                172,
                135,
                55,
                209
              ]
            }
          }
        },
        "vacuity": {
          "kind": "unchecked"
        }
      },
      "energy": {
        "uj": 1000,
        "provenance": "estimator"
      },
      "author": [
        129,
        57,
        119,
        14,
        168,
        125,
        23,
        95,
        86,
        163,
        84,
        102,
        195,
        76,
        126,
        204,
        203,
        141,
        138,
        145,
        180,
        238,
        55,
        162,
        93,
        246,
        15,
        91,
        143,
        201,
        179,
        148
      ]
    },
    "sig": [
      219,
      188,
      206,
      146,
      168,
      110,
      89,
      117,
      145,
      154,
      6,
      148,
      185,
      190,
      229,
      110,
      164,
      234,
      106,
      100,
      135,
      158,
      55,
      114,
      107,
      7,
      8,
      66,
      186,
      255,
      210,
      171,
      150,
      88,
      119,
      148,
      246,
      243,
      196,
      37,
      217,
      70,
      36,
      113,
      200,
      248,
      159,
      141,
      36,
      116,
      167,
      96,
      105,
      40,
      228,
      228,
      44,
      169,
      239,
      32,
      115,
      127,
      96,
      2
    ]
  }
]