{
  "declaredTranscriptCount": 34,
  "decoderCount": 3,
  "formats": [
    "ascii-enum",
    "json-int",
    "cbor-int",
    "compact-binary"
  ],
  "generatedMalformedCount": 96,
  "generatedValidCount": 144,
  "id": "PLP-K12-001",
  "maxEvents": 14,
  "networkAccess": "NONE",
  "seed": 120216,
  "sizeBasis": "CANONICAL UTF-8 TRANSCRIPT BYTES",
  "timingBasis": "DETERMINISTIC_TRANSITION_COUNT; NO WALL-CLOCK PERFORMANCE CLAIM"
}