{
  "k3_examples": [
    {
      "data": "ABCABCD",
      "n": 7,
      "residual_counters": {
        "D": 1
      },
      "actual_full_counts": {
        "A": 2,
        "B": 2,
        "C": 2,
        "D": 1
      },
      "verified_strict_heavy": [],
      "trace": [
        {
          "index": 0,
          "item": "A",
          "before": {},
          "action": "new candidate",
          "after": {
            "A": 1
          }
        },
        {
          "index": 1,
          "item": "B",
          "before": {
            "A": 1
          },
          "action": "new candidate",
          "after": {
            "A": 1,
            "B": 1
          }
        },
        {
          "index": 2,
          "item": "C",
          "before": {
            "A": 1,
            "B": 1
          },
          "action": "cancel k distinct occurrences",
          "after": {}
        },
        {
          "index": 3,
          "item": "A",
          "before": {},
          "action": "new candidate",
          "after": {
            "A": 1
          }
        },
        {
          "index": 4,
          "item": "B",
          "before": {
            "A": 1
          },
          "action": "new candidate",
          "after": {
            "A": 1,
            "B": 1
          }
        },
        {
          "index": 5,
          "item": "C",
          "before": {
            "A": 1,
            "B": 1
          },
          "action": "cancel k distinct occurrences",
          "after": {}
        },
        {
          "index": 6,
          "item": "D",
          "before": {},
          "action": "new candidate",
          "after": {
            "D": 1
          }
        }
      ]
    },
    {
      "data": "AAABBCDAA",
      "n": 9,
      "residual_counters": {
        "A": 3
      },
      "actual_full_counts": {
        "A": 5,
        "B": 2,
        "C": 1,
        "D": 1
      },
      "verified_strict_heavy": [
        "A"
      ],
      "trace": [
        {
          "index": 0,
          "item": "A",
          "before": {},
          "action": "new candidate",
          "after": {
            "A": 1
          }
        },
        {
          "index": 1,
          "item": "A",
          "before": {
            "A": 1
          },
          "action": "increment",
          "after": {
            "A": 2
          }
        },
        {
          "index": 2,
          "item": "A",
          "before": {
            "A": 2
          },
          "action": "increment",
          "after": {
            "A": 3
          }
        },
        {
          "index": 3,
          "item": "B",
          "before": {
            "A": 3
          },
          "action": "new candidate",
          "after": {
            "A": 3,
            "B": 1
          }
        },
        {
          "index": 4,
          "item": "B",
          "before": {
            "A": 3,
            "B": 1
          },
          "action": "increment",
          "after": {
            "A": 3,
            "B": 2
          }
        },
        {
          "index": 5,
          "item": "C",
          "before": {
            "A": 3,
            "B": 2
          },
          "action": "cancel k distinct occurrences",
          "after": {
            "A": 2,
            "B": 1
          }
        },
        {
          "index": 6,
          "item": "D",
          "before": {
            "A": 2,
            "B": 1
          },
          "action": "cancel k distinct occurrences",
          "after": {
            "A": 1
          }
        },
        {
          "index": 7,
          "item": "A",
          "before": {
            "A": 1
          },
          "action": "increment",
          "after": {
            "A": 2
          }
        },
        {
          "index": 8,
          "item": "A",
          "before": {
            "A": 2
          },
          "action": "increment",
          "after": {
            "A": 3
          }
        }
      ]
    },
    {
      "data": "AABBCC",
      "n": 6,
      "residual_counters": {},
      "actual_full_counts": {
        "A": 2,
        "B": 2,
        "C": 2
      },
      "verified_strict_heavy": [],
      "trace": [
        {
          "index": 0,
          "item": "A",
          "before": {},
          "action": "new candidate",
          "after": {
            "A": 1
          }
        },
        {
          "index": 1,
          "item": "A",
          "before": {
            "A": 1
          },
          "action": "increment",
          "after": {
            "A": 2
          }
        },
        {
          "index": 2,
          "item": "B",
          "before": {
            "A": 2
          },
          "action": "new candidate",
          "after": {
            "A": 2,
            "B": 1
          }
        },
        {
          "index": 3,
          "item": "B",
          "before": {
            "A": 2,
            "B": 1
          },
          "action": "increment",
          "after": {
            "A": 2,
            "B": 2
          }
        },
        {
          "index": 4,
          "item": "C",
          "before": {
            "A": 2,
            "B": 2
          },
          "action": "cancel k distinct occurrences",
          "after": {
            "A": 1,
            "B": 1
          }
        },
        {
          "index": 5,
          "item": "C",
          "before": {
            "A": 1,
            "B": 1
          },
          "action": "cancel k distinct occurrences",
          "after": {}
        }
      ]
    },
    {
      "data": "",
      "n": 0,
      "residual_counters": {},
      "actual_full_counts": {},
      "verified_strict_heavy": [],
      "trace": []
    }
  ],
  "finite_sequence_k_checks": 9840,
  "oracle": "separate full Counter; not sketch memory",
  "strict_threshold": "frequency*k > n",
  "max_sketch_counters": "k-1",
  "replay_required_for_exact_verification": true,
  "invalid_k_rejected": [
    "True",
    "1",
    "9",
    "2.5"
  ],
  "real_customer_stream": false
}