{
 "symbols": [
  " ",
  "a",
  "b",
  "c",
  "d",
  "e",
  "f",
  "g",
  "h",
  "i",
  "j",
  "k",
  "l",
  "m",
  "n",
  "o",
  "p",
  "q",
  "r",
  "s",
  "t",
  "u",
  "v",
  "w",
  "x",
  "y",
  "z",
  "0",
  "1",
  "2",
  "3",
  "4",
  "5",
  "6",
  "7",
  "8",
  "9",
  ".",
  ",",
  ";",
  ":",
  "!",
  "?",
  "'",
  "\"",
  "-",
  "(",
  ")",
  "\n",
  "<r0>",
  "<r1>",
  "<r2>",
  "<r3>",
  "<r4>",
  "<r5>",
  "<r6>",
  "<r7>",
  "<r8>",
  "<r9>",
  "<r10>",
  "<r11>",
  "<r12>",
  "<r13>",
  "<r14>"
 ],
 "bits": 6,
 "contextChars": 32,
 "nIn": 192,
 "nOut": 6,
 "folding": "uppercase folds to lowercase; newline kept; any other character folds to the space symbol (index 0)",
 "codeOfSymbol": "index in the symbols list above; output bit j = bit j of that index",
 "inputOrder": "slot 0 (oldest character) in the low 6 bits, slot 31 (newest) in the high 6 bits; within a slot, symbol bit 0 is the low bit",
 "output": "6 bits = the greedy argmax next character",
 "unknownCharacterCounts": {
  "&": 3,
  "$": 1
 }
}