{
  "copyright": "Jacob Chvatal"
}