{
  "input_bitwidth": 32,
  "input_size": 16,
  "modulus": 16001
}