duplicated block id: 1
size: 20 cleaned lines of code
in 2 files:
 - smt2parser/src/lexer.rs (146:173)
 - z3tracer/src/lexer.rs (53:80)

duplicated block id: 2
size: 18 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (96:117)
 - z3tracer/src/report.rs (274:295)

duplicated block id: 3
size: 14 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (164:178)
 - z3tracer/src/report.rs (239:253)

duplicated block id: 4
size: 14 cleaned lines of code
in 2 files:
 - smt2patch/Cargo.toml (7:21)
 - smt2proxy/Cargo.toml (7:21)

duplicated block id: 5
size: 12 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (542:553)
 - smt2parser/src/concrete.rs (557:568)

duplicated block id: 6
size: 11 cleaned lines of code
in 2 files:
 - smt2parser/Cargo.toml (7:18)
 - smt2patch/Cargo.toml (7:18)

duplicated block id: 7
size: 11 cleaned lines of code
in 2 files:
 - smt2parser/Cargo.toml (7:18)
 - smt2proxy/Cargo.toml (7:18)

duplicated block id: 8
size: 11 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (115:126)
 - z3tracer/src/report.rs (225:236)

duplicated block id: 9
size: 10 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (932:941)
 - smt2parser/src/concrete.rs (952:961)

duplicated block id: 10
size: 10 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (180:190)
 - z3tracer/src/report.rs (255:265)

duplicated block id: 11
size: 9 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (228:236)
 - z3tracer/src/report.rs (307:315)

duplicated block id: 12
size: 9 cleaned lines of code
in 2 files:
 - smt2parser/src/rewriter.rs (942:950)
 - smt2parser/src/rewriter.rs (998:1006)

duplicated block id: 13
size: 9 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (118:126)
 - z3tracer/src/report.rs (307:315)

duplicated block id: 14
size: 8 cleaned lines of code
in 2 files:
 - smt2parser/src/rewriter.rs (936:943)
 - smt2parser/src/rewriter.rs (952:959)

duplicated block id: 15
size: 8 cleaned lines of code
in 2 files:
 - smt2parser/src/rewriter.rs (992:999)
 - smt2parser/src/rewriter.rs (1008:1015)

duplicated block id: 16
size: 8 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (126:135)
 - z3tracer/src/report.rs (257:265)

duplicated block id: 17
size: 8 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (126:135)
 - z3tracer/src/report.rs (182:190)

duplicated block id: 18
size: 8 cleaned lines of code
in 2 files:
 - smt2parser/src/rewriter.rs (485:492)
 - smt2parser/src/rewriter.rs (504:511)

duplicated block id: 19
size: 7 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (496:502)
 - smt2parser/src/concrete.rs (810:816)

duplicated block id: 20
size: 7 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (129:135)
 - z3tracer/src/report.rs (327:333)

duplicated block id: 21
size: 7 cleaned lines of code
in 2 files:
 - smt2parser/src/rewriter.rs (958:964)
 - smt2parser/src/rewriter.rs (1014:1020)

duplicated block id: 22
size: 7 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (1021:1027)
 - smt2parser/src/concrete.rs (1035:1041)

duplicated block id: 23
size: 7 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (184:190)
 - z3tracer/src/report.rs (327:333)

duplicated block id: 24
size: 7 cleaned lines of code
in 2 files:
 - smt2parser/src/lib.rs (147:153)
 - smt2parser/src/lib.rs (167:173)

duplicated block id: 25
size: 7 cleaned lines of code
in 2 files:
 - smt2proxy/Cargo.toml (11:18)
 - z3tracer/Cargo.toml (11:18)

duplicated block id: 26
size: 7 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (259:265)
 - z3tracer/src/report.rs (327:333)

duplicated block id: 27
size: 7 cleaned lines of code
in 2 files:
 - smt2parser/Cargo.toml (11:18)
 - z3tracer/Cargo.toml (11:18)

duplicated block id: 28
size: 7 cleaned lines of code
in 2 files:
 - smt2patch/Cargo.toml (11:18)
 - z3tracer/Cargo.toml (11:18)

duplicated block id: 29
size: 7 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (921:927)
 - smt2parser/src/concrete.rs (939:945)

duplicated block id: 30
size: 7 cleaned lines of code
in 2 files:
 - smt2parser/src/rewriter.rs (258:264)
 - smt2parser/src/rewriter.rs (269:275)

duplicated block id: 31
size: 7 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (148:155)
 - z3tracer/src/report.rs (205:212)

duplicated block id: 32
size: 6 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (103:108)
 - z3tracer/src/report.rs (207:212)

duplicated block id: 33
size: 6 cleaned lines of code
in 2 files:
 - smt2parser/src/lib.rs (156:161)
 - smt2parser/src/lib.rs (175:180)

duplicated block id: 34
size: 6 cleaned lines of code
in 2 files:
 - z3tracer/src/main.rs (252:257)
 - z3tracer/src/main.rs (269:274)

duplicated block id: 35
size: 6 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (8:13)
 - smt2parser/src/stats.rs (8:13)

duplicated block id: 36
size: 6 cleaned lines of code
in 2 files:
 - smt2parser/src/parser.rs (423:428)
 - smt2parser/src/rewriter.rs (929:934)

duplicated block id: 37
size: 6 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (915:920)
 - smt2parser/src/concrete.rs (952:957)

duplicated block id: 38
size: 6 cleaned lines of code
in 2 files:
 - z3tracer/src/lexer.rs (131:136)
 - z3tracer/src/lexer.rs (150:155)

duplicated block id: 39
size: 6 cleaned lines of code
in 2 files:
 - smt2parser/src/concrete.rs (915:920)
 - smt2parser/src/concrete.rs (932:937)

duplicated block id: 40
size: 6 cleaned lines of code
in 2 files:
 - z3tracer/src/main.rs (345:351)
 - z3tracer/src/main.rs (367:373)

duplicated block id: 41
size: 6 cleaned lines of code
in 2 files:
 - smt2parser/src/parser.rs (431:437)
 - smt2parser/src/parser.rs (447:453)

duplicated block id: 42
size: 6 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (103:108)
 - z3tracer/src/report.rs (150:155)

duplicated block id: 43
size: 6 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (150:155)
 - z3tracer/src/report.rs (281:286)

duplicated block id: 44
size: 6 cleaned lines of code
in 2 files:
 - z3tracer/src/report.rs (207:212)
 - z3tracer/src/report.rs (281:286)