Path	Lines of Code
z3tracer/src/error.rs	99
z3tracer/src/lexer.rs	470
z3tracer/src/lib.rs	10
z3tracer/src/main.rs	306
z3tracer/src/model.rs	726
z3tracer/src/parser.rs	283
z3tracer/src/report.rs	285
z3tracer/src/syntax.rs	315