{
  "params": {
    "degree": 20,
    "num_advice": 17,
    "num_lookup_advice": 2,
    "num_fixed": 1,
    "lookup_bits": 19
  },
  "break_points": [
    [
      1048565,
      1048566,
      1048565,
      1048566,
      1048565,
      1048565,
      1048565,
      1048564,
      1048566,
      1048565,
      1048566,
      1048566,
      1048565,
      1048566,
      1048565,
      1048564
    ]
  ]
}