{
  "a0": {
    "bitwidth": 32,
    "data": [
      426,
      245,
      434,
      367,
      452,
      3,
      89,
      478,
      202,
      249,
      502,
      987,
      308,
      551,
      807,
      411,
      107,
      868,
      821,
      925,
      533,
      645,
      317,
      479,
      136,
      393,
      369,
      487,
      240,
      208,
      200,
      736
    ]
  },
  "omegas0": {
    "bitwidth": 32,
    "data": [
      1,
      28,
      8,
      30,
      64,
      46,
      27,
      77,
      22,
      34,
      79,
      78,
      50,
      42,
      12,
      45,
      96,
      69,
      89,
      67,
      33,
      51,
      70,
      20,
      75,
      63,
      18,
      19,
      47,
      55,
      85,
      52
    ]
  },
  "prime0": {
    "bitwidth": 32,
    "data": [
      97
    ]
  },
  "a_ntt0": {
    "bitwidth": 32,
    "data": [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  }
}