{
  "wff-998": 1,
  "wff-ke": 1,
  "wff-org": 0
}