{
  "n": 15,
  "m": 16,
  "manufactured": true
}