duplicated block id: 1
size: 15 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/psi/ext/ArendDefFunction.kt (52:72)
 - src/main/kotlin/org/arend/psi/ext/ArendDefInstance.kt (45:65)

duplicated block id: 2
size: 13 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/module/ArendModuleBuilder.kt (128:146)
 - src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt (171:189)

duplicated block id: 3
size: 8 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/module/ArendModuleBuilder.kt (110:119)
 - src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt (159:168)

duplicated block id: 4
size: 8 cleaned lines of code
in 2 files:
 - src/main/grammars/ArendDocLexer.flex (214:221)
 - src/main/grammars/ArendDocLexer.flex (230:237)

duplicated block id: 5
size: 8 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/module/ArendModuleBuilder.kt (150:159)
 - src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt (196:205)

duplicated block id: 6
size: 7 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/intention/AddClarifyingParensIntention.kt (41:48)
 - src/main/kotlin/org/arend/intention/RemoveClarifyingParensIntention.kt (113:120)

duplicated block id: 7
size: 7 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/actions/mark/ArendMarkSourceRootAction.kt (8:17)
 - src/main/kotlin/org/arend/actions/mark/ArendMarkTestSourceRootAction.kt (8:17)

duplicated block id: 8
size: 7 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt (165:171)
 - src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt (179:185)

duplicated block id: 9
size: 7 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/actions/mark/ArendMarkBinRootAction.kt (13:22)
 - src/main/kotlin/org/arend/actions/mark/ArendMarkSourceRootAction.kt (8:17)

duplicated block id: 10
size: 7 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/actions/mark/ArendMarkBinRootAction.kt (13:22)
 - src/main/kotlin/org/arend/actions/mark/ArendMarkTestSourceRootAction.kt (8:17)

duplicated block id: 11
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt (145:150)
 - src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt (166:171)

duplicated block id: 12
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/actions/mark/ArendMarkExcludeRootAction.kt (12:17)
 - src/main/kotlin/org/arend/actions/mark/ArendMarkResourceRootAction.kt (8:13)

duplicated block id: 13
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/navigation/ArendFileNavigationContributor.kt (27:32)
 - src/main/kotlin/org/arend/navigation/ArendNavigationContributorBase.kt (25:30)

duplicated block id: 14
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/actions/mark/ArendMarkExcludeRootAction.kt (12:17)
 - src/main/kotlin/org/arend/actions/mark/ArendMarkResourceTestRootAction.kt (8:13)

duplicated block id: 15
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/actions/mark/ArendMarkResourceRootAction.kt (8:13)
 - src/main/kotlin/org/arend/actions/mark/ArendMarkResourceTestRootAction.kt (8:13)

duplicated block id: 16
size: 6 cleaned lines of code
in 2 files:
 - src/main/grammars/ArendDocLexer.flex (181:186)
 - src/main/grammars/ArendDocLexer.flex (200:205)

duplicated block id: 17
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/refactoring/changeSignature/entries/AbstractExpressionEntry.kt (102:107)
 - src/main/kotlin/org/arend/refactoring/changeSignature/entries/CoClauseEntry.kt (68:73)

duplicated block id: 18
size: 6 cleaned lines of code
in 2 files:
 - src/main/kotlin/org/arend/injection/actions/HideImplicitInformationAction.kt (12:20)
 - src/main/kotlin/org/arend/injection/actions/RevealImplicitInformationAction.kt (12:20)