duplicated block id: 1
size: 14 cleaned lines of code
in 2 files:
 - theories/adequacy.v (77:90)
 - theories/adequacy.v (93:106)

duplicated block id: 2
size: 11 cleaned lines of code
in 2 files:
 - theories/adequacy.v (1:11)
 - theories/interp.v (1:11)

duplicated block id: 3
size: 9 cleaned lines of code
in 2 files:
 - theories/adequacy.v (15:25)
 - theories/interp.v (62:73)

duplicated block id: 4
size: 7 cleaned lines of code
in 2 files:
 - theories/examples.v (1:7)
 - theories/lang.v (1:7)

duplicated block id: 5
size: 7 cleaned lines of code
in 2 files:
 - theories/interp.v (1:7)
 - theories/lang.v (1:7)

duplicated block id: 6
size: 7 cleaned lines of code
in 2 files:
 - theories/adequacy.v (212:218)
 - theories/adequacy.v (242:248)

duplicated block id: 7
size: 7 cleaned lines of code
in 2 files:
 - theories/examples.v (1:7)
 - theories/interp.v (1:7)

duplicated block id: 8
size: 7 cleaned lines of code
in 2 files:
 - theories/adequacy.v (1:7)
 - theories/examples.v (1:7)

duplicated block id: 9
size: 7 cleaned lines of code
in 2 files:
 - theories/adequacy.v (1:7)
 - theories/lang.v (1:7)

duplicated block id: 10
size: 6 cleaned lines of code
in 2 files:
 - theories/adequacy.v (1:6)
 - theories/heap.v (1:6)

duplicated block id: 11
size: 6 cleaned lines of code
in 2 files:
 - theories/heap.v (1:6)
 - theories/interp.v (1:6)

duplicated block id: 12
size: 6 cleaned lines of code
in 2 files:
 - theories/examples.v (1:6)
 - theories/modality.v (1:6)

duplicated block id: 13
size: 6 cleaned lines of code
in 2 files:
 - theories/lang.v (1:6)
 - theories/modality.v (1:6)

duplicated block id: 14
size: 6 cleaned lines of code
in 2 files:
 - theories/heap.v (1:6)
 - theories/lang.v (1:6)

duplicated block id: 15
size: 6 cleaned lines of code
in 2 files:
 - theories/examples.v (1:6)
 - theories/heap.v (1:6)

duplicated block id: 16
size: 6 cleaned lines of code
in 2 files:
 - theories/heap.v (1:6)
 - theories/modality.v (1:6)

duplicated block id: 17
size: 6 cleaned lines of code
in 2 files:
 - theories/interp.v (1:6)
 - theories/modality.v (1:6)

duplicated block id: 18
size: 6 cleaned lines of code
in 2 files:
 - theories/adequacy.v (1:6)
 - theories/modality.v (1:6)