[
  {"type":"Name","value":"S"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"="},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"H"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"@"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"beta"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"-"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"r"},
  {"type":"Punctuation","value":")"},
  {"type":"Operator","value":"."},
  {"type":"Name","value":"T"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"@"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"inv"},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"H"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"@"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"V"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"@"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"H"},
  {"type":"Operator","value":"."},
  {"type":"Name","value":"T"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"@"},
  {"type":"Text","value":" "},
  {"type":"Punctuation","value":"("},
  {"type":"Name","value":"H"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"@"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"beta"},
  {"type":"Text","value":" "},
  {"type":"Operator","value":"-"},
  {"type":"Text","value":" "},
  {"type":"Name","value":"r"},
  {"type":"Punctuation","value":")"},
  {"type":"Text","value":"\n"}
]