{ lines {line {iexpr {iexpr {iexpr {INTEGER {LEAF "5"}}} {TIMES {LEAF "*"}} {iexpr {OPENPAREN {LEAF "("}} {iexpr {iexpr {INTEGER {LEAF "1"}}} {PLUS {LEAF "+"}} {iexpr {INTEGER {LEAF "2"}}}} {CLOSEPAREN {LEAF ")"}}}} {PLUS {LEAF "+"}} {iexpr {INTEGER {LEAF "8"}}}} {NL {LEAF "
"}}}
}