{
  "input_bitwidth": 32,
  "input_size": 8,
  "modulus": 8017
}