{
  "schema_version": 1,
  "evidence_class": "synthetic-representation-accounting",
  "model_sha256": "72cc9ecd10d8be722e7294c022ed9ce804da1287c662ea4e169fb89a53ea8149",
  "assumptions": {
    "ppn_bytes": 4,
    "bitmap_packing": "byte-rounded",
    "head_payload": "PPNs only, in bitmap order",
    "excluded": [
      "directory",
      "allocation headers",
      "pointers",
      "alignment",
      "dirty state",
      "replacement metadata",
      "flash IO",
      "CPU time"
    ],
    "labels": "supplied witness inputs, not a general label-selection policy",
    "claim": "lossless address reconstruction and idealized payload counts only"
  },
  "cases": [
    {
      "id": "contiguous",
      "mapping_ppn": [
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107
      ],
      "labels": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            100
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            100
          ]
        ]
      },
      "one_bit_payload_bytes": 5,
      "two_bit_payload_bytes": 6,
      "flat_ppn_bytes": 32
    },
    {
      "id": "one_interior_patch",
      "mapping_ppn": [
        100,
        101,
        102,
        900,
        901,
        105,
        106,
        107
      ],
      "labels": [
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          0,
          0,
          1,
          0,
          1,
          0,
          0
        ],
        "heads": [
          [
            0,
            100
          ],
          [
            3,
            900
          ],
          [
            5,
            105
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          0,
          0,
          3,
          1,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            100
          ],
          [
            3,
            900
          ]
        ]
      },
      "one_bit_payload_bytes": 13,
      "two_bit_payload_bytes": 10,
      "flat_ppn_bytes": 32
    },
    {
      "id": "logical_order_without_physical_adjacency",
      "mapping_ppn": [
        100,
        110,
        120,
        130,
        140,
        150,
        160,
        170
      ],
      "labels": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1
        ],
        "heads": [
          [
            0,
            100
          ],
          [
            1,
            110
          ],
          [
            2,
            120
          ],
          [
            3,
            130
          ],
          [
            4,
            140
          ],
          [
            5,
            150
          ],
          [
            6,
            160
          ],
          [
            7,
            170
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          2,
          2,
          2,
          2,
          2,
          2,
          2
        ],
        "heads": [
          [
            0,
            100
          ],
          [
            1,
            110
          ],
          [
            2,
            120
          ],
          [
            3,
            130
          ],
          [
            4,
            140
          ],
          [
            5,
            150
          ],
          [
            6,
            160
          ],
          [
            7,
            170
          ]
        ]
      },
      "one_bit_payload_bytes": 33,
      "two_bit_payload_bytes": 34,
      "flat_ppn_bytes": 32
    },
    {
      "id": "two_local_runs",
      "mapping_ppn": [
        100,
        900,
        901,
        103,
        904,
        905,
        106,
        107
      ],
      "labels": [
        0,
        1,
        1,
        0,
        1,
        1,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          1,
          0,
          1,
          1,
          0,
          1,
          0
        ],
        "heads": [
          [
            0,
            100
          ],
          [
            1,
            900
          ],
          [
            3,
            103
          ],
          [
            4,
            904
          ],
          [
            6,
            106
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          3,
          1,
          0,
          3,
          1,
          0,
          0
        ],
        "heads": [
          [
            0,
            100
          ],
          [
            1,
            900
          ],
          [
            4,
            904
          ]
        ]
      },
      "one_bit_payload_bytes": 21,
      "two_bit_payload_bytes": 14,
      "flat_ppn_bytes": 32
    },
    {
      "id": "512_entries_0_patches",
      "mapping_ppn": [
        10000,
        10001,
        10002,
        10003,
        10004,
        10005,
        10006,
        10007,
        10008,
        10009,
        10010,
        10011,
        10012,
        10013,
        10014,
        10015,
        10016,
        10017,
        10018,
        10019,
        10020,
        10021,
        10022,
        10023,
        10024,
        10025,
        10026,
        10027,
        10028,
        10029,
        10030,
        10031,
        10032,
        10033,
        10034,
        10035,
        10036,
        10037,
        10038,
        10039,
        10040,
        10041,
        10042,
        10043,
        10044,
        10045,
        10046,
        10047,
        10048,
        10049,
        10050,
        10051,
        10052,
        10053,
        10054,
        10055,
        10056,
        10057,
        10058,
        10059,
        10060,
        10061,
        10062,
        10063,
        10064,
        10065,
        10066,
        10067,
        10068,
        10069,
        10070,
        10071,
        10072,
        10073,
        10074,
        10075,
        10076,
        10077,
        10078,
        10079,
        10080,
        10081,
        10082,
        10083,
        10084,
        10085,
        10086,
        10087,
        10088,
        10089,
        10090,
        10091,
        10092,
        10093,
        10094,
        10095,
        10096,
        10097,
        10098,
        10099,
        10100,
        10101,
        10102,
        10103,
        10104,
        10105,
        10106,
        10107,
        10108,
        10109,
        10110,
        10111,
        10112,
        10113,
        10114,
        10115,
        10116,
        10117,
        10118,
        10119,
        10120,
        10121,
        10122,
        10123,
        10124,
        10125,
        10126,
        10127,
        10128,
        10129,
        10130,
        10131,
        10132,
        10133,
        10134,
        10135,
        10136,
        10137,
        10138,
        10139,
        10140,
        10141,
        10142,
        10143,
        10144,
        10145,
        10146,
        10147,
        10148,
        10149,
        10150,
        10151,
        10152,
        10153,
        10154,
        10155,
        10156,
        10157,
        10158,
        10159,
        10160,
        10161,
        10162,
        10163,
        10164,
        10165,
        10166,
        10167,
        10168,
        10169,
        10170,
        10171,
        10172,
        10173,
        10174,
        10175,
        10176,
        10177,
        10178,
        10179,
        10180,
        10181,
        10182,
        10183,
        10184,
        10185,
        10186,
        10187,
        10188,
        10189,
        10190,
        10191,
        10192,
        10193,
        10194,
        10195,
        10196,
        10197,
        10198,
        10199,
        10200,
        10201,
        10202,
        10203,
        10204,
        10205,
        10206,
        10207,
        10208,
        10209,
        10210,
        10211,
        10212,
        10213,
        10214,
        10215,
        10216,
        10217,
        10218,
        10219,
        10220,
        10221,
        10222,
        10223,
        10224,
        10225,
        10226,
        10227,
        10228,
        10229,
        10230,
        10231,
        10232,
        10233,
        10234,
        10235,
        10236,
        10237,
        10238,
        10239,
        10240,
        10241,
        10242,
        10243,
        10244,
        10245,
        10246,
        10247,
        10248,
        10249,
        10250,
        10251,
        10252,
        10253,
        10254,
        10255,
        10256,
        10257,
        10258,
        10259,
        10260,
        10261,
        10262,
        10263,
        10264,
        10265,
        10266,
        10267,
        10268,
        10269,
        10270,
        10271,
        10272,
        10273,
        10274,
        10275,
        10276,
        10277,
        10278,
        10279,
        10280,
        10281,
        10282,
        10283,
        10284,
        10285,
        10286,
        10287,
        10288,
        10289,
        10290,
        10291,
        10292,
        10293,
        10294,
        10295,
        10296,
        10297,
        10298,
        10299,
        10300,
        10301,
        10302,
        10303,
        10304,
        10305,
        10306,
        10307,
        10308,
        10309,
        10310,
        10311,
        10312,
        10313,
        10314,
        10315,
        10316,
        10317,
        10318,
        10319,
        10320,
        10321,
        10322,
        10323,
        10324,
        10325,
        10326,
        10327,
        10328,
        10329,
        10330,
        10331,
        10332,
        10333,
        10334,
        10335,
        10336,
        10337,
        10338,
        10339,
        10340,
        10341,
        10342,
        10343,
        10344,
        10345,
        10346,
        10347,
        10348,
        10349,
        10350,
        10351,
        10352,
        10353,
        10354,
        10355,
        10356,
        10357,
        10358,
        10359,
        10360,
        10361,
        10362,
        10363,
        10364,
        10365,
        10366,
        10367,
        10368,
        10369,
        10370,
        10371,
        10372,
        10373,
        10374,
        10375,
        10376,
        10377,
        10378,
        10379,
        10380,
        10381,
        10382,
        10383,
        10384,
        10385,
        10386,
        10387,
        10388,
        10389,
        10390,
        10391,
        10392,
        10393,
        10394,
        10395,
        10396,
        10397,
        10398,
        10399,
        10400,
        10401,
        10402,
        10403,
        10404,
        10405,
        10406,
        10407,
        10408,
        10409,
        10410,
        10411,
        10412,
        10413,
        10414,
        10415,
        10416,
        10417,
        10418,
        10419,
        10420,
        10421,
        10422,
        10423,
        10424,
        10425,
        10426,
        10427,
        10428,
        10429,
        10430,
        10431,
        10432,
        10433,
        10434,
        10435,
        10436,
        10437,
        10438,
        10439,
        10440,
        10441,
        10442,
        10443,
        10444,
        10445,
        10446,
        10447,
        10448,
        10449,
        10450,
        10451,
        10452,
        10453,
        10454,
        10455,
        10456,
        10457,
        10458,
        10459,
        10460,
        10461,
        10462,
        10463,
        10464,
        10465,
        10466,
        10467,
        10468,
        10469,
        10470,
        10471,
        10472,
        10473,
        10474,
        10475,
        10476,
        10477,
        10478,
        10479,
        10480,
        10481,
        10482,
        10483,
        10484,
        10485,
        10486,
        10487,
        10488,
        10489,
        10490,
        10491,
        10492,
        10493,
        10494,
        10495,
        10496,
        10497,
        10498,
        10499,
        10500,
        10501,
        10502,
        10503,
        10504,
        10505,
        10506,
        10507,
        10508,
        10509,
        10510,
        10511
      ],
      "labels": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ]
        ]
      },
      "one_bit_payload_bytes": 68,
      "two_bit_payload_bytes": 132,
      "flat_ppn_bytes": 2048
    },
    {
      "id": "512_entries_1_patches",
      "mapping_ppn": [
        10000,
        10001,
        20000,
        10003,
        10004,
        10005,
        10006,
        10007,
        10008,
        10009,
        10010,
        10011,
        10012,
        10013,
        10014,
        10015,
        10016,
        10017,
        10018,
        10019,
        10020,
        10021,
        10022,
        10023,
        10024,
        10025,
        10026,
        10027,
        10028,
        10029,
        10030,
        10031,
        10032,
        10033,
        10034,
        10035,
        10036,
        10037,
        10038,
        10039,
        10040,
        10041,
        10042,
        10043,
        10044,
        10045,
        10046,
        10047,
        10048,
        10049,
        10050,
        10051,
        10052,
        10053,
        10054,
        10055,
        10056,
        10057,
        10058,
        10059,
        10060,
        10061,
        10062,
        10063,
        10064,
        10065,
        10066,
        10067,
        10068,
        10069,
        10070,
        10071,
        10072,
        10073,
        10074,
        10075,
        10076,
        10077,
        10078,
        10079,
        10080,
        10081,
        10082,
        10083,
        10084,
        10085,
        10086,
        10087,
        10088,
        10089,
        10090,
        10091,
        10092,
        10093,
        10094,
        10095,
        10096,
        10097,
        10098,
        10099,
        10100,
        10101,
        10102,
        10103,
        10104,
        10105,
        10106,
        10107,
        10108,
        10109,
        10110,
        10111,
        10112,
        10113,
        10114,
        10115,
        10116,
        10117,
        10118,
        10119,
        10120,
        10121,
        10122,
        10123,
        10124,
        10125,
        10126,
        10127,
        10128,
        10129,
        10130,
        10131,
        10132,
        10133,
        10134,
        10135,
        10136,
        10137,
        10138,
        10139,
        10140,
        10141,
        10142,
        10143,
        10144,
        10145,
        10146,
        10147,
        10148,
        10149,
        10150,
        10151,
        10152,
        10153,
        10154,
        10155,
        10156,
        10157,
        10158,
        10159,
        10160,
        10161,
        10162,
        10163,
        10164,
        10165,
        10166,
        10167,
        10168,
        10169,
        10170,
        10171,
        10172,
        10173,
        10174,
        10175,
        10176,
        10177,
        10178,
        10179,
        10180,
        10181,
        10182,
        10183,
        10184,
        10185,
        10186,
        10187,
        10188,
        10189,
        10190,
        10191,
        10192,
        10193,
        10194,
        10195,
        10196,
        10197,
        10198,
        10199,
        10200,
        10201,
        10202,
        10203,
        10204,
        10205,
        10206,
        10207,
        10208,
        10209,
        10210,
        10211,
        10212,
        10213,
        10214,
        10215,
        10216,
        10217,
        10218,
        10219,
        10220,
        10221,
        10222,
        10223,
        10224,
        10225,
        10226,
        10227,
        10228,
        10229,
        10230,
        10231,
        10232,
        10233,
        10234,
        10235,
        10236,
        10237,
        10238,
        10239,
        10240,
        10241,
        10242,
        10243,
        10244,
        10245,
        10246,
        10247,
        10248,
        10249,
        10250,
        10251,
        10252,
        10253,
        10254,
        10255,
        10256,
        10257,
        10258,
        10259,
        10260,
        10261,
        10262,
        10263,
        10264,
        10265,
        10266,
        10267,
        10268,
        10269,
        10270,
        10271,
        10272,
        10273,
        10274,
        10275,
        10276,
        10277,
        10278,
        10279,
        10280,
        10281,
        10282,
        10283,
        10284,
        10285,
        10286,
        10287,
        10288,
        10289,
        10290,
        10291,
        10292,
        10293,
        10294,
        10295,
        10296,
        10297,
        10298,
        10299,
        10300,
        10301,
        10302,
        10303,
        10304,
        10305,
        10306,
        10307,
        10308,
        10309,
        10310,
        10311,
        10312,
        10313,
        10314,
        10315,
        10316,
        10317,
        10318,
        10319,
        10320,
        10321,
        10322,
        10323,
        10324,
        10325,
        10326,
        10327,
        10328,
        10329,
        10330,
        10331,
        10332,
        10333,
        10334,
        10335,
        10336,
        10337,
        10338,
        10339,
        10340,
        10341,
        10342,
        10343,
        10344,
        10345,
        10346,
        10347,
        10348,
        10349,
        10350,
        10351,
        10352,
        10353,
        10354,
        10355,
        10356,
        10357,
        10358,
        10359,
        10360,
        10361,
        10362,
        10363,
        10364,
        10365,
        10366,
        10367,
        10368,
        10369,
        10370,
        10371,
        10372,
        10373,
        10374,
        10375,
        10376,
        10377,
        10378,
        10379,
        10380,
        10381,
        10382,
        10383,
        10384,
        10385,
        10386,
        10387,
        10388,
        10389,
        10390,
        10391,
        10392,
        10393,
        10394,
        10395,
        10396,
        10397,
        10398,
        10399,
        10400,
        10401,
        10402,
        10403,
        10404,
        10405,
        10406,
        10407,
        10408,
        10409,
        10410,
        10411,
        10412,
        10413,
        10414,
        10415,
        10416,
        10417,
        10418,
        10419,
        10420,
        10421,
        10422,
        10423,
        10424,
        10425,
        10426,
        10427,
        10428,
        10429,
        10430,
        10431,
        10432,
        10433,
        10434,
        10435,
        10436,
        10437,
        10438,
        10439,
        10440,
        10441,
        10442,
        10443,
        10444,
        10445,
        10446,
        10447,
        10448,
        10449,
        10450,
        10451,
        10452,
        10453,
        10454,
        10455,
        10456,
        10457,
        10458,
        10459,
        10460,
        10461,
        10462,
        10463,
        10464,
        10465,
        10466,
        10467,
        10468,
        10469,
        10470,
        10471,
        10472,
        10473,
        10474,
        10475,
        10476,
        10477,
        10478,
        10479,
        10480,
        10481,
        10482,
        10483,
        10484,
        10485,
        10486,
        10487,
        10488,
        10489,
        10490,
        10491,
        10492,
        10493,
        10494,
        10495,
        10496,
        10497,
        10498,
        10499,
        10500,
        10501,
        10502,
        10503,
        10504,
        10505,
        10506,
        10507,
        10508,
        10509,
        10510,
        10511
      ],
      "labels": [
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          0,
          1,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ],
          [
            2,
            20000
          ],
          [
            3,
            10003
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          0,
          3,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ],
          [
            2,
            20000
          ]
        ]
      },
      "one_bit_payload_bytes": 76,
      "two_bit_payload_bytes": 136,
      "flat_ppn_bytes": 2048
    },
    {
      "id": "512_entries_16_patches",
      "mapping_ppn": [
        10000,
        10001,
        20000,
        10003,
        10004,
        10005,
        20004,
        10007,
        10008,
        10009,
        20008,
        10011,
        10012,
        10013,
        20012,
        10015,
        10016,
        10017,
        20016,
        10019,
        10020,
        10021,
        20020,
        10023,
        10024,
        10025,
        20024,
        10027,
        10028,
        10029,
        20028,
        10031,
        10032,
        10033,
        20032,
        10035,
        10036,
        10037,
        20036,
        10039,
        10040,
        10041,
        20040,
        10043,
        10044,
        10045,
        20044,
        10047,
        10048,
        10049,
        20048,
        10051,
        10052,
        10053,
        20052,
        10055,
        10056,
        10057,
        20056,
        10059,
        10060,
        10061,
        20060,
        10063,
        10064,
        10065,
        10066,
        10067,
        10068,
        10069,
        10070,
        10071,
        10072,
        10073,
        10074,
        10075,
        10076,
        10077,
        10078,
        10079,
        10080,
        10081,
        10082,
        10083,
        10084,
        10085,
        10086,
        10087,
        10088,
        10089,
        10090,
        10091,
        10092,
        10093,
        10094,
        10095,
        10096,
        10097,
        10098,
        10099,
        10100,
        10101,
        10102,
        10103,
        10104,
        10105,
        10106,
        10107,
        10108,
        10109,
        10110,
        10111,
        10112,
        10113,
        10114,
        10115,
        10116,
        10117,
        10118,
        10119,
        10120,
        10121,
        10122,
        10123,
        10124,
        10125,
        10126,
        10127,
        10128,
        10129,
        10130,
        10131,
        10132,
        10133,
        10134,
        10135,
        10136,
        10137,
        10138,
        10139,
        10140,
        10141,
        10142,
        10143,
        10144,
        10145,
        10146,
        10147,
        10148,
        10149,
        10150,
        10151,
        10152,
        10153,
        10154,
        10155,
        10156,
        10157,
        10158,
        10159,
        10160,
        10161,
        10162,
        10163,
        10164,
        10165,
        10166,
        10167,
        10168,
        10169,
        10170,
        10171,
        10172,
        10173,
        10174,
        10175,
        10176,
        10177,
        10178,
        10179,
        10180,
        10181,
        10182,
        10183,
        10184,
        10185,
        10186,
        10187,
        10188,
        10189,
        10190,
        10191,
        10192,
        10193,
        10194,
        10195,
        10196,
        10197,
        10198,
        10199,
        10200,
        10201,
        10202,
        10203,
        10204,
        10205,
        10206,
        10207,
        10208,
        10209,
        10210,
        10211,
        10212,
        10213,
        10214,
        10215,
        10216,
        10217,
        10218,
        10219,
        10220,
        10221,
        10222,
        10223,
        10224,
        10225,
        10226,
        10227,
        10228,
        10229,
        10230,
        10231,
        10232,
        10233,
        10234,
        10235,
        10236,
        10237,
        10238,
        10239,
        10240,
        10241,
        10242,
        10243,
        10244,
        10245,
        10246,
        10247,
        10248,
        10249,
        10250,
        10251,
        10252,
        10253,
        10254,
        10255,
        10256,
        10257,
        10258,
        10259,
        10260,
        10261,
        10262,
        10263,
        10264,
        10265,
        10266,
        10267,
        10268,
        10269,
        10270,
        10271,
        10272,
        10273,
        10274,
        10275,
        10276,
        10277,
        10278,
        10279,
        10280,
        10281,
        10282,
        10283,
        10284,
        10285,
        10286,
        10287,
        10288,
        10289,
        10290,
        10291,
        10292,
        10293,
        10294,
        10295,
        10296,
        10297,
        10298,
        10299,
        10300,
        10301,
        10302,
        10303,
        10304,
        10305,
        10306,
        10307,
        10308,
        10309,
        10310,
        10311,
        10312,
        10313,
        10314,
        10315,
        10316,
        10317,
        10318,
        10319,
        10320,
        10321,
        10322,
        10323,
        10324,
        10325,
        10326,
        10327,
        10328,
        10329,
        10330,
        10331,
        10332,
        10333,
        10334,
        10335,
        10336,
        10337,
        10338,
        10339,
        10340,
        10341,
        10342,
        10343,
        10344,
        10345,
        10346,
        10347,
        10348,
        10349,
        10350,
        10351,
        10352,
        10353,
        10354,
        10355,
        10356,
        10357,
        10358,
        10359,
        10360,
        10361,
        10362,
        10363,
        10364,
        10365,
        10366,
        10367,
        10368,
        10369,
        10370,
        10371,
        10372,
        10373,
        10374,
        10375,
        10376,
        10377,
        10378,
        10379,
        10380,
        10381,
        10382,
        10383,
        10384,
        10385,
        10386,
        10387,
        10388,
        10389,
        10390,
        10391,
        10392,
        10393,
        10394,
        10395,
        10396,
        10397,
        10398,
        10399,
        10400,
        10401,
        10402,
        10403,
        10404,
        10405,
        10406,
        10407,
        10408,
        10409,
        10410,
        10411,
        10412,
        10413,
        10414,
        10415,
        10416,
        10417,
        10418,
        10419,
        10420,
        10421,
        10422,
        10423,
        10424,
        10425,
        10426,
        10427,
        10428,
        10429,
        10430,
        10431,
        10432,
        10433,
        10434,
        10435,
        10436,
        10437,
        10438,
        10439,
        10440,
        10441,
        10442,
        10443,
        10444,
        10445,
        10446,
        10447,
        10448,
        10449,
        10450,
        10451,
        10452,
        10453,
        10454,
        10455,
        10456,
        10457,
        10458,
        10459,
        10460,
        10461,
        10462,
        10463,
        10464,
        10465,
        10466,
        10467,
        10468,
        10469,
        10470,
        10471,
        10472,
        10473,
        10474,
        10475,
        10476,
        10477,
        10478,
        10479,
        10480,
        10481,
        10482,
        10483,
        10484,
        10485,
        10486,
        10487,
        10488,
        10489,
        10490,
        10491,
        10492,
        10493,
        10494,
        10495,
        10496,
        10497,
        10498,
        10499,
        10500,
        10501,
        10502,
        10503,
        10504,
        10505,
        10506,
        10507,
        10508,
        10509,
        10510,
        10511
      ],
      "labels": [
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ],
          [
            2,
            20000
          ],
          [
            3,
            10003
          ],
          [
            6,
            20004
          ],
          [
            7,
            10007
          ],
          [
            10,
            20008
          ],
          [
            11,
            10011
          ],
          [
            14,
            20012
          ],
          [
            15,
            10015
          ],
          [
            18,
            20016
          ],
          [
            19,
            10019
          ],
          [
            22,
            20020
          ],
          [
            23,
            10023
          ],
          [
            26,
            20024
          ],
          [
            27,
            10027
          ],
          [
            30,
            20028
          ],
          [
            31,
            10031
          ],
          [
            34,
            20032
          ],
          [
            35,
            10035
          ],
          [
            38,
            20036
          ],
          [
            39,
            10039
          ],
          [
            42,
            20040
          ],
          [
            43,
            10043
          ],
          [
            46,
            20044
          ],
          [
            47,
            10047
          ],
          [
            50,
            20048
          ],
          [
            51,
            10051
          ],
          [
            54,
            20052
          ],
          [
            55,
            10055
          ],
          [
            58,
            20056
          ],
          [
            59,
            10059
          ],
          [
            62,
            20060
          ],
          [
            63,
            10063
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ],
          [
            2,
            20000
          ],
          [
            6,
            20004
          ],
          [
            10,
            20008
          ],
          [
            14,
            20012
          ],
          [
            18,
            20016
          ],
          [
            22,
            20020
          ],
          [
            26,
            20024
          ],
          [
            30,
            20028
          ],
          [
            34,
            20032
          ],
          [
            38,
            20036
          ],
          [
            42,
            20040
          ],
          [
            46,
            20044
          ],
          [
            50,
            20048
          ],
          [
            54,
            20052
          ],
          [
            58,
            20056
          ],
          [
            62,
            20060
          ]
        ]
      },
      "one_bit_payload_bytes": 196,
      "two_bit_payload_bytes": 196,
      "flat_ppn_bytes": 2048
    },
    {
      "id": "512_entries_17_patches",
      "mapping_ppn": [
        10000,
        10001,
        20000,
        10003,
        10004,
        10005,
        20004,
        10007,
        10008,
        10009,
        20008,
        10011,
        10012,
        10013,
        20012,
        10015,
        10016,
        10017,
        20016,
        10019,
        10020,
        10021,
        20020,
        10023,
        10024,
        10025,
        20024,
        10027,
        10028,
        10029,
        20028,
        10031,
        10032,
        10033,
        20032,
        10035,
        10036,
        10037,
        20036,
        10039,
        10040,
        10041,
        20040,
        10043,
        10044,
        10045,
        20044,
        10047,
        10048,
        10049,
        20048,
        10051,
        10052,
        10053,
        20052,
        10055,
        10056,
        10057,
        20056,
        10059,
        10060,
        10061,
        20060,
        10063,
        10064,
        10065,
        20064,
        10067,
        10068,
        10069,
        10070,
        10071,
        10072,
        10073,
        10074,
        10075,
        10076,
        10077,
        10078,
        10079,
        10080,
        10081,
        10082,
        10083,
        10084,
        10085,
        10086,
        10087,
        10088,
        10089,
        10090,
        10091,
        10092,
        10093,
        10094,
        10095,
        10096,
        10097,
        10098,
        10099,
        10100,
        10101,
        10102,
        10103,
        10104,
        10105,
        10106,
        10107,
        10108,
        10109,
        10110,
        10111,
        10112,
        10113,
        10114,
        10115,
        10116,
        10117,
        10118,
        10119,
        10120,
        10121,
        10122,
        10123,
        10124,
        10125,
        10126,
        10127,
        10128,
        10129,
        10130,
        10131,
        10132,
        10133,
        10134,
        10135,
        10136,
        10137,
        10138,
        10139,
        10140,
        10141,
        10142,
        10143,
        10144,
        10145,
        10146,
        10147,
        10148,
        10149,
        10150,
        10151,
        10152,
        10153,
        10154,
        10155,
        10156,
        10157,
        10158,
        10159,
        10160,
        10161,
        10162,
        10163,
        10164,
        10165,
        10166,
        10167,
        10168,
        10169,
        10170,
        10171,
        10172,
        10173,
        10174,
        10175,
        10176,
        10177,
        10178,
        10179,
        10180,
        10181,
        10182,
        10183,
        10184,
        10185,
        10186,
        10187,
        10188,
        10189,
        10190,
        10191,
        10192,
        10193,
        10194,
        10195,
        10196,
        10197,
        10198,
        10199,
        10200,
        10201,
        10202,
        10203,
        10204,
        10205,
        10206,
        10207,
        10208,
        10209,
        10210,
        10211,
        10212,
        10213,
        10214,
        10215,
        10216,
        10217,
        10218,
        10219,
        10220,
        10221,
        10222,
        10223,
        10224,
        10225,
        10226,
        10227,
        10228,
        10229,
        10230,
        10231,
        10232,
        10233,
        10234,
        10235,
        10236,
        10237,
        10238,
        10239,
        10240,
        10241,
        10242,
        10243,
        10244,
        10245,
        10246,
        10247,
        10248,
        10249,
        10250,
        10251,
        10252,
        10253,
        10254,
        10255,
        10256,
        10257,
        10258,
        10259,
        10260,
        10261,
        10262,
        10263,
        10264,
        10265,
        10266,
        10267,
        10268,
        10269,
        10270,
        10271,
        10272,
        10273,
        10274,
        10275,
        10276,
        10277,
        10278,
        10279,
        10280,
        10281,
        10282,
        10283,
        10284,
        10285,
        10286,
        10287,
        10288,
        10289,
        10290,
        10291,
        10292,
        10293,
        10294,
        10295,
        10296,
        10297,
        10298,
        10299,
        10300,
        10301,
        10302,
        10303,
        10304,
        10305,
        10306,
        10307,
        10308,
        10309,
        10310,
        10311,
        10312,
        10313,
        10314,
        10315,
        10316,
        10317,
        10318,
        10319,
        10320,
        10321,
        10322,
        10323,
        10324,
        10325,
        10326,
        10327,
        10328,
        10329,
        10330,
        10331,
        10332,
        10333,
        10334,
        10335,
        10336,
        10337,
        10338,
        10339,
        10340,
        10341,
        10342,
        10343,
        10344,
        10345,
        10346,
        10347,
        10348,
        10349,
        10350,
        10351,
        10352,
        10353,
        10354,
        10355,
        10356,
        10357,
        10358,
        10359,
        10360,
        10361,
        10362,
        10363,
        10364,
        10365,
        10366,
        10367,
        10368,
        10369,
        10370,
        10371,
        10372,
        10373,
        10374,
        10375,
        10376,
        10377,
        10378,
        10379,
        10380,
        10381,
        10382,
        10383,
        10384,
        10385,
        10386,
        10387,
        10388,
        10389,
        10390,
        10391,
        10392,
        10393,
        10394,
        10395,
        10396,
        10397,
        10398,
        10399,
        10400,
        10401,
        10402,
        10403,
        10404,
        10405,
        10406,
        10407,
        10408,
        10409,
        10410,
        10411,
        10412,
        10413,
        10414,
        10415,
        10416,
        10417,
        10418,
        10419,
        10420,
        10421,
        10422,
        10423,
        10424,
        10425,
        10426,
        10427,
        10428,
        10429,
        10430,
        10431,
        10432,
        10433,
        10434,
        10435,
        10436,
        10437,
        10438,
        10439,
        10440,
        10441,
        10442,
        10443,
        10444,
        10445,
        10446,
        10447,
        10448,
        10449,
        10450,
        10451,
        10452,
        10453,
        10454,
        10455,
        10456,
        10457,
        10458,
        10459,
        10460,
        10461,
        10462,
        10463,
        10464,
        10465,
        10466,
        10467,
        10468,
        10469,
        10470,
        10471,
        10472,
        10473,
        10474,
        10475,
        10476,
        10477,
        10478,
        10479,
        10480,
        10481,
        10482,
        10483,
        10484,
        10485,
        10486,
        10487,
        10488,
        10489,
        10490,
        10491,
        10492,
        10493,
        10494,
        10495,
        10496,
        10497,
        10498,
        10499,
        10500,
        10501,
        10502,
        10503,
        10504,
        10505,
        10506,
        10507,
        10508,
        10509,
        10510,
        10511
      ],
      "labels": [
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "one_bit": {
        "bits_per_entry": 1,
        "symbols": [
          1,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          1,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ],
          [
            2,
            20000
          ],
          [
            3,
            10003
          ],
          [
            6,
            20004
          ],
          [
            7,
            10007
          ],
          [
            10,
            20008
          ],
          [
            11,
            10011
          ],
          [
            14,
            20012
          ],
          [
            15,
            10015
          ],
          [
            18,
            20016
          ],
          [
            19,
            10019
          ],
          [
            22,
            20020
          ],
          [
            23,
            10023
          ],
          [
            26,
            20024
          ],
          [
            27,
            10027
          ],
          [
            30,
            20028
          ],
          [
            31,
            10031
          ],
          [
            34,
            20032
          ],
          [
            35,
            10035
          ],
          [
            38,
            20036
          ],
          [
            39,
            10039
          ],
          [
            42,
            20040
          ],
          [
            43,
            10043
          ],
          [
            46,
            20044
          ],
          [
            47,
            10047
          ],
          [
            50,
            20048
          ],
          [
            51,
            10051
          ],
          [
            54,
            20052
          ],
          [
            55,
            10055
          ],
          [
            58,
            20056
          ],
          [
            59,
            10059
          ],
          [
            62,
            20060
          ],
          [
            63,
            10063
          ],
          [
            66,
            20064
          ],
          [
            67,
            10067
          ]
        ]
      },
      "two_bit": {
        "bits_per_entry": 2,
        "symbols": [
          2,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          3,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "heads": [
          [
            0,
            10000
          ],
          [
            2,
            20000
          ],
          [
            6,
            20004
          ],
          [
            10,
            20008
          ],
          [
            14,
            20012
          ],
          [
            18,
            20016
          ],
          [
            22,
            20020
          ],
          [
            26,
            20024
          ],
          [
            30,
            20028
          ],
          [
            34,
            20032
          ],
          [
            38,
            20036
          ],
          [
            42,
            20040
          ],
          [
            46,
            20044
          ],
          [
            50,
            20048
          ],
          [
            54,
            20052
          ],
          [
            58,
            20056
          ],
          [
            62,
            20060
          ],
          [
            66,
            20064
          ]
        ]
      },
      "one_bit_payload_bytes": 204,
      "two_bit_payload_bytes": 200,
      "flat_ppn_bytes": 2048
    }
  ],
  "hysteresis": [
    {
      "current": "flat",
      "bitmap_bytes": 79,
      "flat_bytes": 100,
      "next": "bitmap"
    },
    {
      "current": "flat",
      "bitmap_bytes": 80,
      "flat_bytes": 100,
      "next": "flat"
    },
    {
      "current": "flat",
      "bitmap_bytes": 85,
      "flat_bytes": 100,
      "next": "flat"
    },
    {
      "current": "flat",
      "bitmap_bytes": 90,
      "flat_bytes": 100,
      "next": "flat"
    },
    {
      "current": "flat",
      "bitmap_bytes": 91,
      "flat_bytes": 100,
      "next": "flat"
    },
    {
      "current": "bitmap",
      "bitmap_bytes": 79,
      "flat_bytes": 100,
      "next": "bitmap"
    },
    {
      "current": "bitmap",
      "bitmap_bytes": 80,
      "flat_bytes": 100,
      "next": "bitmap"
    },
    {
      "current": "bitmap",
      "bitmap_bytes": 85,
      "flat_bytes": 100,
      "next": "bitmap"
    },
    {
      "current": "bitmap",
      "bitmap_bytes": 90,
      "flat_bytes": 100,
      "next": "bitmap"
    },
    {
      "current": "bitmap",
      "bitmap_bytes": 91,
      "flat_bytes": 100,
      "next": "flat"
    }
  ]
}