{
 "samples": 100000,
 "seed": 2810,
 "counts": {
  "case_a": 47348,
  "succ_S1": 98629,
  "case_H": 34982,
  "H_succ_S1": 34699,
  "case_b": 15268,
  "case_c": 2402,
  "succ_empty": 604,
  "H_s_ge_1": 1836,
  "succ_S2": 767
 },
 "viol": {}
}