{
  "C": {
    "raw": {
      "compare": {
        "C|long-write|L16|r0|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q10": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q11": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q12": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q13": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q14": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q15": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q8": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r0|q9": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q10": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q11": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q12": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q13": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q14": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q15": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q8": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r1|q9": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q10": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q11": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q12": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q13": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q14": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q15": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q8": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r2|q9": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q10": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q11": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q12": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q13": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q14": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q15": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q8": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L16|r3|q9": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r0|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r10|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r1|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r2|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r3|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r4|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r5|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r6|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r7|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r8|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L1|r9|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r0|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r0|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r10|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r10|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r1|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r1|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r2|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r2|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r3|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r3|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r4|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r4|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r5|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r5|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r6|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r6|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r7|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r7|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r8|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r8|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r9|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L2|r9|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r0|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r0|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r0|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r0|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r1|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r1|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r1|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r1|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r2|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r2|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r2|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r2|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r3|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r3|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r3|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L4|r3|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r0|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r1|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r2|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q0": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q1": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q2": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q3": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q4": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q5": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q6": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|long-write|L8|r3|q7": {
          "verdict": "ok",
          "count": 2612,
          "problems": []
        },
        "C|series-p512|L16|r0|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q10": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q11": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q12": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q13": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q14": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q15": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q8": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r0|q9": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q10": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q11": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q12": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q13": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q14": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q15": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q8": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r1|q9": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q10": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q11": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q12": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q13": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q14": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q15": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q8": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r2|q9": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q10": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q11": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q12": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q13": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q14": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q15": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q8": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L16|r3|q9": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r0|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r10|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r1|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r2|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r3|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r4|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r5|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r6|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r7|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r8|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L1|r9|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r0|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r0|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r10|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r10|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r1|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r1|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r2|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r2|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r3|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r3|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r4|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r4|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r5|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r5|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r6|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r6|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r7|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r7|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r8|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r8|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r9|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L2|r9|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r0|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r0|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r0|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r0|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r1|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r1|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r1|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r1|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r2|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r2|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r2|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r2|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r3|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r3|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r3|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L4|r3|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r0|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r1|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r2|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q0": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q1": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q2": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q3": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q4": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q5": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q6": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        },
        "C|series-p512|L8|r3|q7": {
          "verdict": "ok",
          "count": 548,
          "problems": []
        }
      },
      "refused_prompts": {}
    },
    "rule": "SPEC \u03946, R-P2 (a gate): every string an arm sends on the raw path tokenizes to the same IDs (count and sha256 of the list) on every engine the arm uses, with BOS first exactly once; otherwise that prompt is REFUSED for that engine pair and carries no scored row"
  },
  "os": {
    "pretty_name": "Ubuntu 26.04 LTS",
    "id": "ubuntu",
    "version_id": "26.04",
    "kernel": "7.0.0-31-generic",
    "arch": "x86_64",
    "source": "/etc/os-release"
  },
  "withheld": []
}