duplicated block id: 1
size: 75 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (194:309)
 - amzn-smt-ir/src/fold/intra.rs (235:350)

duplicated block id: 2
size: 13 cleaned lines of code
in 2 files:
 - amzn-smt-eager-arithmetic/Cargo.toml (3:17)
 - amzn-smt-ir/Cargo.toml (3:17)

duplicated block id: 3
size: 13 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/term/args.rs (162:177)
 - amzn-smt-ir/src/term/args.rs (208:223)

duplicated block id: 4
size: 12 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/string_mappings.rs (428:439)
 - amzn-smt-string-transformer/src/transpiler.rs (981:992)

duplicated block id: 5
size: 12 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/term/args.rs (164:177)
 - amzn-smt-ir/src/term/args.rs (262:275)

duplicated block id: 6
size: 12 cleaned lines of code
in 2 files:
 - amzn-smt-string-fct-updater/Cargo.toml (7:19)
 - amzn-smt-string-transformer/Cargo.toml (7:19)

duplicated block id: 7
size: 12 cleaned lines of code
in 2 files:
 - amzn-smt-eager-arithmetic/Cargo.toml (3:15)
 - amzn-smt-ir-derive/Cargo.toml (3:15)

duplicated block id: 8
size: 12 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/term/args.rs (210:223)
 - amzn-smt-ir/src/term/args.rs (262:275)

duplicated block id: 9
size: 12 cleaned lines of code
in 2 files:
 - amzn-smt-ir-derive/Cargo.toml (3:15)
 - amzn-smt-ir/Cargo.toml (3:15)

duplicated block id: 10
size: 11 cleaned lines of code
in 2 files:
 - amzn-smt-eager-arithmetic/Cargo.toml (5:17)
 - amzn-smt-prediction/Cargo.toml (5:17)

duplicated block id: 11
size: 11 cleaned lines of code
in 2 files:
 - amzn-smt-eager-arithmetic/Cargo.toml (7:18)
 - amzn-smt-string-fct-updater/Cargo.toml (7:18)

duplicated block id: 12
size: 11 cleaned lines of code
in 2 files:
 - amzn-smt-ir/Cargo.toml (5:17)
 - amzn-smt-prediction/Cargo.toml (5:17)

duplicated block id: 13
size: 11 cleaned lines of code
in 2 files:
 - amzn-smt-eager-arithmetic/Cargo.toml (7:18)
 - amzn-smt-string-transformer/Cargo.toml (7:18)

duplicated block id: 14
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-prediction/Cargo.toml (7:17)
 - amzn-smt-string-fct-updater/Cargo.toml (7:17)

duplicated block id: 15
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (241:254)
 - amzn-smt-ir/src/fold/inter.rs (159:172)

duplicated block id: 16
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-ir/Cargo.toml (7:17)
 - amzn-smt-string-fct-updater/Cargo.toml (7:17)

duplicated block id: 17
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-ir-derive/Cargo.toml (5:15)
 - amzn-smt-prediction/Cargo.toml (5:15)

duplicated block id: 18
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-prediction/Cargo.toml (7:17)
 - amzn-smt-string-transformer/Cargo.toml (7:17)

duplicated block id: 19
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-ir/Cargo.toml (7:17)
 - amzn-smt-string-transformer/Cargo.toml (7:17)

duplicated block id: 20
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (241:254)
 - amzn-smt-ir/src/fold/intra.rs (203:216)

duplicated block id: 21
size: 10 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (159:172)
 - amzn-smt-ir/src/fold/intra.rs (203:216)

duplicated block id: 22
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (113:132)
 - amzn-smt-ir/src/fold/intra.rs (51:70)

duplicated block id: 23
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (196:208)
 - amzn-smt-ir/src/fold/inter.rs (114:126)

duplicated block id: 24
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir-derive/Cargo.toml (7:15)
 - amzn-smt-string-fct-updater/Cargo.toml (7:15)

duplicated block id: 25
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (19:38)
 - amzn-smt-ir/src/fold/intra.rs (51:70)

duplicated block id: 26
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (196:208)
 - amzn-smt-ir/src/fold/intra.rs (158:170)

duplicated block id: 27
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (114:126)
 - amzn-smt-ir/src/fold/intra.rs (158:170)

duplicated block id: 28
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/transpiler_visitors.rs (203:213)
 - amzn-smt-string-transformer/src/transpiler_visitors.rs (230:240)

duplicated block id: 29
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (113:132)
 - amzn-smt-ir/src/fold/inter.rs (19:38)

duplicated block id: 30
size: 9 cleaned lines of code
in 2 files:
 - amzn-smt-ir-derive/Cargo.toml (7:15)
 - amzn-smt-string-transformer/Cargo.toml (7:15)

duplicated block id: 31
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-prediction/scripts/clean_eager_lazy_data.py (157:168)
 - amzn-smt-prediction/scripts/generate_predictions.py (91:99)

duplicated block id: 32
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (119:132)
 - amzn-smt-ir/src/visit.rs (103:116)

duplicated block id: 33
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (25:38)
 - amzn-smt-ir/src/visit.rs (103:116)

duplicated block id: 34
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/logic/arith.rs (13:20)
 - amzn-smt-ir/src/logic/arith.rs (42:49)

duplicated block id: 35
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/intra.rs (57:70)
 - amzn-smt-ir/src/visit.rs (103:116)

duplicated block id: 36
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/string_mappings.rs (537:544)
 - amzn-smt-string-transformer/src/string_mappings.rs (806:813)

duplicated block id: 37
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (256:267)
 - amzn-smt-ir/src/fold/inter.rs (174:185)

duplicated block id: 38
size: 8 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/logic/arith.rs (21:28)
 - amzn-smt-ir/src/logic/arith.rs (57:64)

duplicated block id: 39
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/string_fcts.rs (93:99)
 - amzn-smt-string-transformer/src/string_fcts.rs (167:173)

duplicated block id: 40
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/subformula_parser.rs (136:147)
 - amzn-smt-string-transformer/src/transpiler_visitors.rs (220:229)

duplicated block id: 41
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/string_mappings.rs (223:229)
 - amzn-smt-string-transformer/src/string_mappings.rs (458:464)

duplicated block id: 42
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-prediction/scripts/get_solver_output.py (53:61)
 - amzn-smt-prediction/scripts/get_word_counts.py (23:31)

duplicated block id: 43
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/callgraph.rs (308:316)
 - amzn-smt-string-transformer/src/callgraph.rs (440:448)

duplicated block id: 44
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-eager-arithmetic/src/lib.rs (332:340)
 - amzn-smt-eager-arithmetic/src/lib.rs (350:358)

duplicated block id: 45
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/term/args.rs (74:81)
 - amzn-smt-ir/src/term/args.rs (136:143)

duplicated block id: 46
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-prediction/scripts/find_faster_fmf.py (29:36)
 - amzn-smt-prediction/scripts/get_solver_output.py (76:83)

duplicated block id: 47
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/term/args.rs (74:81)
 - amzn-smt-ir/src/term/args.rs (101:108)

duplicated block id: 48
size: 7 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/term/args.rs (101:108)
 - amzn-smt-ir/src/term/args.rs (136:143)

duplicated block id: 49
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (190:195)
 - amzn-smt-ir/src/fold/intra.rs (297:302)

duplicated block id: 50
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-prediction/scripts/get_word_count_features.py (69:75)
 - amzn-smt-prediction/scripts/get_word_counts.py (23:29)

duplicated block id: 51
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (138:147)
 - amzn-smt-ir/src/fold/intra.rs (182:191)

duplicated block id: 52
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/string_fcts.rs (224:229)
 - amzn-smt-string-transformer/src/transpiler.rs (615:620)

duplicated block id: 53
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-string-fct-updater/src/transpiler.rs (17:27)
 - amzn-smt-string-transformer/src/transpiler.rs (35:42)

duplicated block id: 54
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/types.rs (176:184)
 - amzn-smt-ir/src/types.rs (213:221)

duplicated block id: 55
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (92:101)
 - amzn-smt-ir/src/fold/intra.rs (136:145)

duplicated block id: 56
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (3:9)
 - amzn-smt-ir/src/fold/intra.rs (3:9)

duplicated block id: 57
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (220:229)
 - amzn-smt-ir/src/fold/intra.rs (182:191)

duplicated block id: 58
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (185:194)
 - amzn-smt-ir/src/fold/inter.rs (103:112)

duplicated block id: 59
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-prediction/scripts/get_solver_output.py (53:59)
 - amzn-smt-prediction/scripts/get_word_count_features.py (69:75)

duplicated block id: 60
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (250:255)
 - amzn-smt-ir/src/fold/intra.rs (337:342)

duplicated block id: 61
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/term/fmt.rs (27:32)
 - amzn-smt-ir/src/term/fmt.rs (45:50)

duplicated block id: 62
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (174:183)
 - amzn-smt-ir/src/fold/intra.rs (136:145)

duplicated block id: 63
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (250:255)
 - amzn-smt-ir/src/fold/inter.rs (296:301)

duplicated block id: 64
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (174:183)
 - amzn-smt-ir/src/fold/inter.rs (92:101)

duplicated block id: 65
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-string-transformer/src/transpiler.rs (529:534)
 - amzn-smt-string-transformer/src/transpiler.rs (540:545)

duplicated block id: 66
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-eager-arithmetic/src/encoding.rs (445:452)
 - amzn-smt-eager-arithmetic/src/encoding.rs (497:504)

duplicated block id: 67
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (185:194)
 - amzn-smt-ir/src/fold/intra.rs (147:156)

duplicated block id: 68
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (190:195)
 - amzn-smt-ir/src/fold/inter.rs (256:261)

duplicated block id: 69
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold/inter.rs (103:112)
 - amzn-smt-ir/src/fold/intra.rs (147:156)

duplicated block id: 70
size: 6 cleaned lines of code
in 2 files:
 - amzn-smt-ir/src/fold.rs (220:229)
 - amzn-smt-ir/src/fold/inter.rs (138:147)