{
  "n": 31,
  "m": 40,
  "manufactured": false
}