{
  "id" : "1cfd77590feb4348948cb49bd5cc6f3f",
  "name" : "nodus_tollens_"
}