[
  18,
  "\\\"$\\/\b\f\n\r\t ∀(a : Type) → a"
]