{
  "rans": {
    "input": "ABCABAA",
    "file_hex": "52 41 4e 31 04 02 00 10 00 03 00 00 00 07 00 4c 00 00 00 02 41 02 42 01 43 01 30",
    "file_bytes": 27,
    "state": 76,
    "digits": [
      3,
      0
    ],
    "encode_trace": [
      {
        "index": 6,
        "symbol": "A",
        "before": 16,
        "threshold": 128,
        "extracted": [],
        "normalized": 16,
        "after": 32
      },
      {
        "index": 5,
        "symbol": "A",
        "before": 32,
        "threshold": 128,
        "extracted": [],
        "normalized": 32,
        "after": 64
      },
      {
        "index": 4,
        "symbol": "B",
        "before": 64,
        "threshold": 64,
        "extracted": [
          0
        ],
        "normalized": 4,
        "after": 18
      },
      {
        "index": 3,
        "symbol": "A",
        "before": 18,
        "threshold": 128,
        "extracted": [],
        "normalized": 18,
        "after": 36
      },
      {
        "index": 2,
        "symbol": "C",
        "before": 36,
        "threshold": 64,
        "extracted": [],
        "normalized": 36,
        "after": 147
      },
      {
        "index": 1,
        "symbol": "B",
        "before": 147,
        "threshold": 64,
        "extracted": [
          3
        ],
        "normalized": 9,
        "after": 38
      },
      {
        "index": 0,
        "symbol": "A",
        "before": 38,
        "threshold": 128,
        "extracted": [],
        "normalized": 38,
        "after": 76
      }
    ],
    "model": [
      [
        65,
        2
      ],
      [
        66,
        1
      ],
      [
        67,
        1
      ]
    ],
    "decode_trace": [
      {
        "index": 0,
        "symbol": "A",
        "before": 76,
        "raw": 38,
        "consumed": [],
        "after": 38
      },
      {
        "index": 1,
        "symbol": "B",
        "before": 38,
        "raw": 9,
        "consumed": [
          3
        ],
        "after": 147
      },
      {
        "index": 2,
        "symbol": "C",
        "before": 147,
        "raw": 36,
        "consumed": [],
        "after": 36
      },
      {
        "index": 3,
        "symbol": "A",
        "before": 36,
        "raw": 18,
        "consumed": [],
        "after": 18
      },
      {
        "index": 4,
        "symbol": "B",
        "before": 18,
        "raw": 4,
        "consumed": [
          0
        ],
        "after": 64
      },
      {
        "index": 5,
        "symbol": "A",
        "before": 64,
        "raw": 32,
        "consumed": [],
        "after": 32
      },
      {
        "index": 6,
        "symbol": "A",
        "before": 32,
        "raw": 16,
        "consumed": [],
        "after": 16
      }
    ],
    "ternary_roundtrips": 3280,
    "independent_one_steps": 240,
    "negative_cases": 48,
    "migration_roundtrips": 524,
    "odd_nibble_file_hex": "52 41 4e 31 04 02 00 10 00 03 00 00 00 05 00 20 00 00 00 01 41 02 42 01 43 01 00",
    "split_block_bytes": [
      27,
      27
    ],
    "byte_base_endpoint": {
      "state": 33558604,
      "digits": [
        0
      ]
    }
  },
  "package_merge": {
    "weights": [
      1,
      1,
      2,
      3,
      5,
      8
    ],
    "limit": 3,
    "lengths": [
      3,
      3,
      3,
      3,
      2,
      2
    ],
    "canonical": {
      "4": "00",
      "5": "01",
      "0": "100",
      "1": "101",
      "2": "110",
      "3": "111"
    },
    "unbounded": [
      5,
      5,
      4,
      3,
      2,
      1
    ],
    "unbounded_cost": 45,
    "clipped": [
      3,
      3,
      3,
      3,
      2,
      1
    ],
    "clipped_kraft_eighths": 10,
    "oracle": {
      "cost": 47,
      "winners": [
        [
          3,
          3,
          3,
          3,
          2,
          2
        ]
      ],
      "feasible_vectors": 22
    },
    "cross_checked_instances": 486,
    "migration": [
      {
        "limit": 2,
        "feasible": false
      },
      {
        "limit": 3,
        "feasible": true,
        "lengths": [
          3,
          3,
          3,
          3,
          2,
          2
        ],
        "cost": 47,
        "optimal_vectors": 1
      },
      {
        "limit": 4,
        "feasible": true,
        "lengths": [
          4,
          4,
          3,
          2,
          2,
          2
        ],
        "cost": 46,
        "optimal_vectors": 3
      },
      {
        "limit": 5,
        "feasible": true,
        "lengths": [
          5,
          5,
          4,
          3,
          2,
          1
        ],
        "cost": 45,
        "optimal_vectors": 1
      }
    ],
    "equal_weight_example": [
      2,
      2,
      1
    ],
    "equal_weight_optimal_vectors": 3,
    "cost": 47,
    "nodeset": [
      [
        0,
        1
      ],
      [
        0,
        2
      ],
      [
        0,
        3
      ],
      [
        1,
        1
      ],
      [
        1,
        2
      ],
      [
        1,
        3
      ],
      [
        2,
        1
      ],
      [
        2,
        2
      ],
      [
        2,
        3
      ],
      [
        3,
        1
      ],
      [
        3,
        2
      ],
      [
        3,
        3
      ],
      [
        4,
        1
      ],
      [
        4,
        2
      ],
      [
        5,
        1
      ],
      [
        5,
        2
      ]
    ],
    "layers": [
      {
        "level": 3,
        "width_denominator": 8,
        "items": [
          {
            "weight": 1,
            "tie": 1,
            "serial": 0,
            "leaf": [
              0,
              3
            ],
            "children": null
          },
          {
            "weight": 1,
            "tie": 2,
            "serial": 1,
            "leaf": [
              1,
              3
            ],
            "children": null
          },
          {
            "weight": 2,
            "tie": 3,
            "serial": 2,
            "leaf": [
              2,
              3
            ],
            "children": null
          },
          {
            "weight": 3,
            "tie": 4,
            "serial": 3,
            "leaf": [
              3,
              3
            ],
            "children": null
          },
          {
            "weight": 5,
            "tie": 5,
            "serial": 4,
            "leaf": [
              4,
              3
            ],
            "children": null
          },
          {
            "weight": 8,
            "tie": 6,
            "serial": 5,
            "leaf": [
              5,
              3
            ],
            "children": null
          }
        ]
      },
      {
        "level": 2,
        "width_denominator": 4,
        "items": [
          {
            "weight": 1,
            "tie": 1,
            "serial": 6,
            "leaf": [
              0,
              2
            ],
            "children": null
          },
          {
            "weight": 1,
            "tie": 2,
            "serial": 7,
            "leaf": [
              1,
              2
            ],
            "children": null
          },
          {
            "weight": 2,
            "tie": 3,
            "serial": 8,
            "leaf": [
              2,
              2
            ],
            "children": null
          },
          {
            "weight": 2,
            "tie": 3,
            "serial": 12,
            "leaf": null,
            "children": [
              0,
              1
            ]
          },
          {
            "weight": 3,
            "tie": 4,
            "serial": 9,
            "leaf": [
              3,
              2
            ],
            "children": null
          },
          {
            "weight": 5,
            "tie": 5,
            "serial": 10,
            "leaf": [
              4,
              2
            ],
            "children": null
          },
          {
            "weight": 5,
            "tie": 7,
            "serial": 13,
            "leaf": null,
            "children": [
              2,
              3
            ]
          },
          {
            "weight": 8,
            "tie": 6,
            "serial": 11,
            "leaf": [
              5,
              2
            ],
            "children": null
          },
          {
            "weight": 13,
            "tie": 11,
            "serial": 14,
            "leaf": null,
            "children": [
              4,
              5
            ]
          }
        ]
      },
      {
        "level": 1,
        "width_denominator": 2,
        "items": [
          {
            "weight": 1,
            "tie": 1,
            "serial": 15,
            "leaf": [
              0,
              1
            ],
            "children": null
          },
          {
            "weight": 1,
            "tie": 2,
            "serial": 16,
            "leaf": [
              1,
              1
            ],
            "children": null
          },
          {
            "weight": 2,
            "tie": 3,
            "serial": 17,
            "leaf": [
              2,
              1
            ],
            "children": null
          },
          {
            "weight": 2,
            "tie": 3,
            "serial": 21,
            "leaf": null,
            "children": [
              6,
              7
            ]
          },
          {
            "weight": 3,
            "tie": 4,
            "serial": 18,
            "leaf": [
              3,
              1
            ],
            "children": null
          },
          {
            "weight": 4,
            "tie": 6,
            "serial": 22,
            "leaf": null,
            "children": [
              8,
              12
            ]
          },
          {
            "weight": 5,
            "tie": 5,
            "serial": 19,
            "leaf": [
              4,
              1
            ],
            "children": null
          },
          {
            "weight": 8,
            "tie": 6,
            "serial": 20,
            "leaf": [
              5,
              1
            ],
            "children": null
          },
          {
            "weight": 8,
            "tie": 9,
            "serial": 23,
            "leaf": null,
            "children": [
              9,
              10
            ]
          },
          {
            "weight": 13,
            "tie": 13,
            "serial": 24,
            "leaf": null,
            "children": [
              13,
              11
            ]
          }
        ]
      }
    ],
    "selected_top_serials": [
      15,
      16,
      17,
      21,
      18,
      22,
      19,
      20,
      23,
      24
    ],
    "created_nodes": 25,
    "singleton_convention": false
  }
}