duplicated block id: 1
size: 12 cleaned lines of code
in 2 files:
 - summary/stubs.py (154:165)
 - summary/summary.py (55:66)

duplicated block id: 2
size: 11 cleaned lines of code
in 2 files:
 - cbmc_viewer/tracet.py (582:592)
 - cbmc_viewer/tracet.py (599:609)

duplicated block id: 3
size: 11 cleaned lines of code
in 2 files:
 - cbmc_viewer/tracet.py (433:443)
 - cbmc_viewer/tracet.py (450:460)

duplicated block id: 4
size: 10 cleaned lines of code
in 2 files:
 - summary/stubs.py (181:201)
 - summary/summary.py (79:95)

duplicated block id: 5
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_property.py (30:49)
 - cbmc_viewer/make_result.py (26:48)

duplicated block id: 6
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_loop.py (31:50)
 - cbmc_viewer/make_property.py (30:49)

duplicated block id: 7
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_loop.py (31:50)
 - cbmc_viewer/make_trace.py (29:49)

duplicated block id: 8
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_reachable.py (31:50)
 - cbmc_viewer/make_trace.py (29:49)

duplicated block id: 9
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_result.py (26:48)
 - cbmc_viewer/make_trace.py (29:49)

duplicated block id: 10
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_loop.py (31:50)
 - cbmc_viewer/make_result.py (26:48)

duplicated block id: 11
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_reachable.py (31:50)
 - cbmc_viewer/make_result.py (26:48)

duplicated block id: 12
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_coverage.py (29:49)
 - cbmc_viewer/make_result.py (26:48)

duplicated block id: 13
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_property.py (30:49)
 - cbmc_viewer/make_trace.py (29:49)

duplicated block id: 14
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_coverage.py (29:49)
 - cbmc_viewer/make_property.py (30:49)

duplicated block id: 15
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/tracet.py (47:55)
 - cbmc_viewer/tracet.py (59:67)

duplicated block id: 16
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_coverage.py (29:49)
 - cbmc_viewer/make_reachable.py (31:50)

duplicated block id: 17
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_coverage.py (29:49)
 - cbmc_viewer/make_trace.py (29:49)

duplicated block id: 18
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_property.py (30:49)
 - cbmc_viewer/make_reachable.py (31:50)

duplicated block id: 19
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_coverage.py (29:49)
 - cbmc_viewer/make_loop.py (31:50)

duplicated block id: 20
size: 9 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_loop.py (31:50)
 - cbmc_viewer/make_reachable.py (31:50)

duplicated block id: 21
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/loopt.py (53:69)
 - cbmc_viewer/propertyt.py (75:91)

duplicated block id: 22
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/loopt.py (53:69)
 - cbmc_viewer/tracet.py (122:138)

duplicated block id: 23
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_coverage.py (30:49)
 - cbmc_viewer/make_symbol.py (36:55)

duplicated block id: 24
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/reachablet.py (45:61)
 - cbmc_viewer/tracet.py (122:138)

duplicated block id: 25
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_symbol.py (36:55)
 - cbmc_viewer/make_trace.py (30:49)

duplicated block id: 26
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_result.py (27:48)
 - cbmc_viewer/make_symbol.py (36:55)

duplicated block id: 27
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_loop.py (32:50)
 - cbmc_viewer/make_symbol.py (36:55)

duplicated block id: 28
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/loopt.py (53:69)
 - cbmc_viewer/reachablet.py (45:61)

duplicated block id: 29
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/propertyt.py (75:91)
 - cbmc_viewer/reachablet.py (45:61)

duplicated block id: 30
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/propertyt.py (75:91)
 - cbmc_viewer/tracet.py (122:138)

duplicated block id: 31
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_property.py (31:49)
 - cbmc_viewer/make_symbol.py (36:55)

duplicated block id: 32
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/tracet.py (25:32)
 - cbmc_viewer/tracet.py (36:43)

duplicated block id: 33
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_reachable.py (32:50)
 - cbmc_viewer/make_symbol.py (36:55)

duplicated block id: 34
size: 8 cleaned lines of code
in 2 files:
 - cbmc_viewer/tracet.py (377:388)
 - cbmc_viewer/tracet.py (519:530)

duplicated block id: 35
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/sourcet.py (81:92)
 - cbmc_viewer/tracet.py (122:133)

duplicated block id: 36
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_coverage.py (37:49)
 - cbmc_viewer/make_source.py (31:43)

duplicated block id: 37
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_result.py (36:48)
 - cbmc_viewer/make_source.py (31:43)

duplicated block id: 38
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/loopt.py (53:64)
 - cbmc_viewer/resultt.py (83:94)

duplicated block id: 39
size: 6 cleaned lines of code
in 2 files:
 - summary/stubs.py (171:176)
 - summary/summary.py (69:74)

duplicated block id: 40
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/loopt.py (53:64)
 - cbmc_viewer/sourcet.py (81:92)

duplicated block id: 41
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/reachablet.py (45:56)
 - cbmc_viewer/resultt.py (83:94)

duplicated block id: 42
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_source.py (31:43)
 - cbmc_viewer/make_trace.py (37:49)

duplicated block id: 43
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/resultt.py (83:94)
 - cbmc_viewer/tracet.py (122:133)

duplicated block id: 44
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_source.py (31:43)
 - cbmc_viewer/make_symbol.py (43:55)

duplicated block id: 45
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/propertyt.py (75:86)
 - cbmc_viewer/resultt.py (83:94)

duplicated block id: 46
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/resultt.py (83:94)
 - cbmc_viewer/sourcet.py (81:92)

duplicated block id: 47
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/markup_link.py (55:63)
 - cbmc_viewer/markup_link.py (70:78)

duplicated block id: 48
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/reachablet.py (45:56)
 - cbmc_viewer/sourcet.py (81:92)

duplicated block id: 49
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_loop.py (38:50)
 - cbmc_viewer/make_source.py (31:43)

duplicated block id: 50
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/propertyt.py (75:86)
 - cbmc_viewer/sourcet.py (81:92)

duplicated block id: 51
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_property.py (37:49)
 - cbmc_viewer/make_source.py (31:43)

duplicated block id: 52
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/tracet.py (399:404)
 - cbmc_viewer/tracet.py (541:546)

duplicated block id: 53
size: 6 cleaned lines of code
in 2 files:
 - cbmc_viewer/make_reachable.py (38:50)
 - cbmc_viewer/make_source.py (31:43)