{
  "a0": [
    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
  ],
  "a_ntt0": [
    7,
    55,
    94,
    46,
    71,
    47,
    39,
    9,
    89,
    20,
    91,
    78,
    61,
    37,
    94,
    52,
    45,
    22,
    40,
    36,
    4,
    81,
    19,
    34,
    66,
    45,
    17,
    8,
    29,
    87,
    2,
    82
  ],
  "omegas0": [
    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": [
    97
  ]
}