duplicated block id: 1
size: 23 cleaned lines of code
in 2 files:
 - src/repl.lean (251:273)
 - src/repl.lean (390:412)

duplicated block id: 2
size: 10 cleaned lines of code
in 2 files:
 - src/repl.lean (475:484)
 - src/repl.lean (497:506)

duplicated block id: 3
size: 9 cleaned lines of code
in 2 files:
 - src/repl.lean (351:359)
 - src/repl.lean (390:398)

duplicated block id: 4
size: 9 cleaned lines of code
in 2 files:
 - src/repl.lean (251:259)
 - src/repl.lean (351:359)

duplicated block id: 5
size: 8 cleaned lines of code
in 2 files:
 - leanpkg.toml (1:9)
 - leanpkg_miniF2F.toml (1:9)

duplicated block id: 6
size: 8 cleaned lines of code
in 2 files:
 - src/repl.lean (251:258)
 - src/repl.lean (328:335)

duplicated block id: 7
size: 8 cleaned lines of code
in 2 files:
 - src/repl.lean (328:335)
 - src/repl.lean (390:397)

duplicated block id: 8
size: 8 cleaned lines of code
in 2 files:
 - src/repl.lean (328:335)
 - src/repl.lean (351:358)

duplicated block id: 9
size: 7 cleaned lines of code
in 2 files:
 - leanpkg.toml (1:8)
 - leanpkg_mathlib.toml (1:8)

duplicated block id: 10
size: 7 cleaned lines of code
in 2 files:
 - src/repl.lean (297:303)
 - src/repl.lean (436:442)

duplicated block id: 11
size: 7 cleaned lines of code
in 2 files:
 - leanpkg_mathlib.toml (1:8)
 - leanpkg_miniF2F.toml (1:8)

duplicated block id: 12
size: 7 cleaned lines of code
in 2 files:
 - src/util/io.lean (17:23)
 - src/util/io.lean (32:38)

duplicated block id: 13
size: 6 cleaned lines of code
in 2 files:
 - src/repl.lean (279:284)
 - src/repl.lean (418:423)