{ "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 ] } }