Z3 定理证明者日志文件文档？

如何解决Z3 定理证明者日志文件文档？

最近，我正在使用 Axiom Profiler，它解析 Z3 日志文件以获取信息。 但是程序在解析不以标题（方括号）开头的行时遇到了问题。 这些行出现在日志文件中的 [assign] 行之后。

  [assign] (not #6339) clause (not p3) p2
    (not (= z3.sk.3 -26::Int)) 
    (= z3.sk.3 -39::Int) 

不幸的是，我没有找到任何相关文档。
这是对 Z3 日志文件的新更改吗？我在哪里可以找到这意味着什么的文档？

我使用的日志文件是通过使用生成的：

z3 trace=true proof=true trace-file-name=foo.log ./input.smt2

感谢任何帮助。
提前致谢。