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