{
  "a0": {
    "bitwidth": 32,
    "data":  [
              591, 617, 626, 430, 442, 481,
              606, 680, 163, 262, 865, 742,
              468, 296, 105, 818, 106, 52,
              651, 322, 660, 241, 366, 119,
              263, 35, 719, 114, 348, 406,
              998, 708
             ]
  },
  "phis0": {
    "bitwidth": 32,
    "data":    [
                1, 1448, 22738, 22484,
                9560, 27630, 27614, 13608, 20441, 18899,
                28602, 2292, 3054, 29274, 7469, 9017, 15882,
                30152, 7801, 5898, 30478, 27689, 624, 356, 9514,
                2533, 13890, 15648, 10900, 9527, 13669, 19171
                ]
  },
  "Q0": {
    "bitwidth": 32,
    "data": [32257]
  }
}