{
  "title" : "Duplication",
  "timestamp" : "2026-01-18 16:42:47",
  "duplicates" : [ {
    "blockSize" : 16,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/scope/LexicalScope.java",
        "extension" : "java",
        "linesOfCode" : 304,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 207,
      "startLine" : 128,
      "endLine" : 148,
      "cleanedStartLine" : 74,
      "cleanedEndLine" : 89
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/scope/LexicalScope.java",
        "extension" : "java",
        "linesOfCode" : 304,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 207,
      "startLine" : 278,
      "endLine" : 299,
      "cleanedStartLine" : 165,
      "cleanedEndLine" : 180
    } ]
  }, {
    "blockSize" : 14,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 2293,
      "endLine" : 2312,
      "cleanedStartLine" : 1387,
      "cleanedEndLine" : 1400
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 2374,
      "endLine" : 2393,
      "cleanedStartLine" : 1438,
      "cleanedEndLine" : 1451
    } ]
  }, {
    "blockSize" : 13,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 186,
      "endLine" : 206,
      "cleanedStartLine" : 102,
      "cleanedEndLine" : 114
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 169,
      "endLine" : 189,
      "cleanedStartLine" : 92,
      "cleanedEndLine" : 104
    } ]
  }, {
    "blockSize" : 12,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/DummyEquations.java",
        "extension" : "java",
        "linesOfCode" : 76,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 23,
      "endLine" : 43,
      "cleanedStartLine" : 6,
      "cleanedEndLine" : 17
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsWrapper.java",
        "extension" : "java",
        "linesOfCode" : 80,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 51,
      "startLine" : 21,
      "endLine" : 41,
      "cleanedStartLine" : 5,
      "cleanedEndLine" : 16
    } ]
  }, {
    "blockSize" : 11,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/TypedDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 110,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 80,
      "startLine" : 57,
      "endLine" : 73,
      "cleanedStartLine" : 33,
      "cleanedEndLine" : 43
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 107,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 75,
      "startLine" : 52,
      "endLine" : 68,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 34
    } ]
  }, {
    "blockSize" : 11,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/Constructor.java",
        "extension" : "java",
        "linesOfCode" : 220,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 151,
      "startLine" : 171,
      "endLine" : 189,
      "cleanedStartLine" : 93,
      "cleanedEndLine" : 103
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 72,
      "endLine" : 90,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 11,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/pattern/BindingPattern.java",
        "extension" : "java",
        "linesOfCode" : 114,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 73,
      "startLine" : 40,
      "endLine" : 56,
      "cleanedStartLine" : 12,
      "cleanedEndLine" : 22
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/pattern/EmptyPattern.java",
        "extension" : "java",
        "linesOfCode" : 98,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 58,
      "startLine" : 42,
      "endLine" : 58,
      "cleanedStartLine" : 11,
      "cleanedEndLine" : 21
    } ]
  }, {
    "blockSize" : 10,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/Constructor.java",
        "extension" : "java",
        "linesOfCode" : 220,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 151,
      "startLine" : 204,
      "endLine" : 219,
      "cleanedStartLine" : 112,
      "cleanedEndLine" : 121
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 201,
      "endLine" : 216,
      "cleanedStartLine" : 111,
      "cleanedEndLine" : 120
    } ]
  }, {
    "blockSize" : 10,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/pattern/BindingPattern.java",
        "extension" : "java",
        "linesOfCode" : 114,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 73,
      "startLine" : 120,
      "endLine" : 132,
      "cleanedStartLine" : 64,
      "cleanedEndLine" : 73
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/pattern/EmptyPattern.java",
        "extension" : "java",
        "linesOfCode" : 98,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 58,
      "startLine" : 104,
      "endLine" : 116,
      "cleanedStartLine" : 49,
      "cleanedEndLine" : 58
    } ]
  }, {
    "blockSize" : 10,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/module/serialization/DefinitionSerialization.java",
        "extension" : "java",
        "linesOfCode" : 461,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 336,
      "startLine" : 256,
      "endLine" : 267,
      "cleanedStartLine" : 152,
      "cleanedEndLine" : 161
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/module/serialization/DefinitionSerialization.java",
        "extension" : "java",
        "linesOfCode" : 461,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 336,
      "startLine" : 378,
      "endLine" : 389,
      "cleanedStartLine" : 237,
      "cleanedEndLine" : 246
    } ]
  }, {
    "blockSize" : 9,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 107,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 75,
      "startLine" : 105,
      "endLine" : 117,
      "cleanedStartLine" : 61,
      "cleanedEndLine" : 69
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 53,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 37,
      "startLine" : 42,
      "endLine" : 54,
      "cleanedStartLine" : 25,
      "cleanedEndLine" : 33
    } ]
  }, {
    "blockSize" : 9,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/source/FileBinarySource.java",
        "extension" : "java",
        "linesOfCode" : 57,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 50,
      "endLine" : 61,
      "cleanedStartLine" : 20,
      "cleanedEndLine" : 28
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/source/FileRawSource.java",
        "extension" : "java",
        "linesOfCode" : 32,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 18,
      "startLine" : 33,
      "endLine" : 44,
      "cleanedStartLine" : 10,
      "cleanedEndLine" : 18
    } ]
  }, {
    "blockSize" : 9,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/TypedDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 110,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 80,
      "startLine" : 87,
      "endLine" : 99,
      "cleanedStartLine" : 53,
      "cleanedEndLine" : 61
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 107,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 75,
      "startLine" : 105,
      "endLine" : 117,
      "cleanedStartLine" : 61,
      "cleanedEndLine" : 69
    } ]
  }, {
    "blockSize" : 9,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/TypedDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 110,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 80,
      "startLine" : 87,
      "endLine" : 99,
      "cleanedStartLine" : 53,
      "cleanedEndLine" : 61
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 53,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 37,
      "startLine" : 42,
      "endLine" : 54,
      "cleanedStartLine" : 25,
      "cleanedEndLine" : 33
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java",
        "extension" : "java",
        "linesOfCode" : 3749,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 2794,
      "startLine" : 754,
      "endLine" : 765,
      "cleanedStartLine" : 442,
      "cleanedEndLine" : 449
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java",
        "extension" : "java",
        "linesOfCode" : 3749,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 2794,
      "startLine" : 2354,
      "endLine" : 2365,
      "cleanedStartLine" : 1529,
      "cleanedEndLine" : 1536
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 56,
      "endLine" : 67,
      "cleanedStartLine" : 29,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 90,
      "endLine" : 101,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 54
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/repl/action/PrintCommand.java",
        "extension" : "java",
        "linesOfCode" : 36,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 23,
      "endLine" : 30,
      "cleanedStartLine" : 7,
      "cleanedEndLine" : 14
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/repl/action/SizeCommand.java",
        "extension" : "java",
        "linesOfCode" : 34,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 20,
      "startLine" : 23,
      "endLine" : 30,
      "cleanedStartLine" : 7,
      "cleanedEndLine" : 14
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/error/ParsingError.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 38,
      "startLine" : 18,
      "endLine" : 28,
      "cleanedStartLine" : 11,
      "cleanedEndLine" : 18
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/CertainTypecheckingError.java",
        "extension" : "java",
        "linesOfCode" : 39,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 31,
      "startLine" : 26,
      "endLine" : 36,
      "cleanedStartLine" : 20,
      "cleanedEndLine" : 27
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java",
        "extension" : "java",
        "linesOfCode" : 459,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 335,
      "startLine" : 472,
      "endLine" : 483,
      "cleanedStartLine" : 295,
      "cleanedEndLine" : 302
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/subst/SubstVisitor.java",
        "extension" : "java",
        "linesOfCode" : 306,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 222,
      "startLine" : 309,
      "endLine" : 320,
      "cleanedStartLine" : 195,
      "cleanedEndLine" : 202
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/BigIntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 94,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 66,
      "startLine" : 102,
      "endLine" : 109,
      "cleanedStartLine" : 55,
      "cleanedEndLine" : 62
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SmallIntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 140,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 100,
      "startLine" : 148,
      "endLine" : 155,
      "cleanedStartLine" : 84,
      "cleanedEndLine" : 91
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/Completers.java",
        "extension" : "java",
        "linesOfCode" : 163,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 111,
      "startLine" : 54,
      "endLine" : 65,
      "cleanedStartLine" : 18,
      "cleanedEndLine" : 25
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/Completers.java",
        "extension" : "java",
        "linesOfCode" : 163,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 111,
      "startLine" : 101,
      "endLine" : 112,
      "cleanedStartLine" : 44,
      "cleanedEndLine" : 51
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/binding/LevelVariable.java",
        "extension" : "java",
        "linesOfCode" : 91,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 64,
      "startLine" : 55,
      "endLine" : 66,
      "cleanedStartLine" : 29,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/binding/LevelVariable.java",
        "extension" : "java",
        "linesOfCode" : 91,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 64,
      "startLine" : 87,
      "endLine" : 98,
      "cleanedStartLine" : 49,
      "cleanedEndLine" : 56
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/elimtree/IntervalElim.java",
        "extension" : "java",
        "linesOfCode" : 115,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 74,
      "startLine" : 118,
      "endLine" : 131,
      "cleanedStartLine" : 67,
      "cleanedEndLine" : 74
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/AtExpression.java",
        "extension" : "java",
        "linesOfCode" : 97,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 63,
      "startLine" : 98,
      "endLine" : 110,
      "cleanedStartLine" : 56,
      "cleanedEndLine" : 63
    } ]
  }, {
    "blockSize" : 8,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/module/serialization/DefinitionDeserialization.java",
        "extension" : "java",
        "linesOfCode" : 486,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 343,
      "startLine" : 502,
      "endLine" : 512,
      "cleanedStartLine" : 323,
      "cleanedEndLine" : 330
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/module/serialization/ExpressionDeserialization.java",
        "extension" : "java",
        "linesOfCode" : 506,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 367,
      "startLine" : 222,
      "endLine" : 232,
      "cleanedStartLine" : 126,
      "cleanedEndLine" : 133
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java",
        "extension" : "java",
        "linesOfCode" : 803,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 578,
      "startLine" : 330,
      "endLine" : 339,
      "cleanedStartLine" : 199,
      "cleanedEndLine" : 205
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java",
        "extension" : "java",
        "linesOfCode" : 803,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 578,
      "startLine" : 344,
      "endLine" : 353,
      "cleanedStartLine" : 208,
      "cleanedEndLine" : 214
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 125,
      "endLine" : 135,
      "cleanedStartLine" : 67,
      "cleanedEndLine" : 73
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 132,
      "endLine" : 142,
      "cleanedStartLine" : 71,
      "cleanedEndLine" : 77
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 2048,
      "endLine" : 2056,
      "cleanedStartLine" : 1231,
      "cleanedEndLine" : 1237
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 2235,
      "endLine" : 2243,
      "cleanedStartLine" : 1347,
      "cleanedEndLine" : 1353
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java",
        "extension" : "java",
        "linesOfCode" : 275,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 209,
      "startLine" : 249,
      "endLine" : 255,
      "cleanedStartLine" : 164,
      "cleanedEndLine" : 170
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java",
        "extension" : "java",
        "linesOfCode" : 275,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 209,
      "startLine" : 261,
      "endLine" : 267,
      "cleanedStartLine" : 175,
      "cleanedEndLine" : 181
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 228,
      "endLine" : 236,
      "cleanedStartLine" : 126,
      "cleanedEndLine" : 132
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/MetaTopDefinition.java",
        "extension" : "java",
        "linesOfCode" : 76,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 73,
      "endLine" : 81,
      "cleanedStartLine" : 35,
      "cleanedEndLine" : 41
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1123,
      "endLine" : 1132,
      "cleanedStartLine" : 779,
      "cleanedEndLine" : 785
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1484,
      "endLine" : 1493,
      "cleanedStartLine" : 1024,
      "cleanedEndLine" : 1030
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/Constructor.java",
        "extension" : "java",
        "linesOfCode" : 220,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 151,
      "startLine" : 161,
      "endLine" : 171,
      "cleanedStartLine" : 87,
      "cleanedEndLine" : 93
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 186,
      "endLine" : 196,
      "cleanedStartLine" : 102,
      "cleanedEndLine" : 108
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/Constructor.java",
        "extension" : "java",
        "linesOfCode" : 220,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 151,
      "startLine" : 161,
      "endLine" : 171,
      "cleanedStartLine" : 87,
      "cleanedEndLine" : 93
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 169,
      "endLine" : 179,
      "cleanedStartLine" : 92,
      "cleanedEndLine" : 98
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java",
        "extension" : "java",
        "linesOfCode" : 115,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 77,
      "startLine" : 51,
      "endLine" : 59,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 34
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java",
        "extension" : "java",
        "linesOfCode" : 115,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 77,
      "startLine" : 67,
      "endLine" : 75,
      "cleanedStartLine" : 38,
      "cleanedEndLine" : 44
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 107,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 75,
      "startLine" : 96,
      "endLine" : 103,
      "cleanedStartLine" : 53,
      "cleanedEndLine" : 59
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java",
        "extension" : "java",
        "linesOfCode" : 53,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 37,
      "startLine" : 33,
      "endLine" : 40,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 23
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/BoxExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 38,
      "startLine" : 53,
      "endLine" : 63,
      "cleanedStartLine" : 27,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/ErrorExpression.java",
        "extension" : "java",
        "linesOfCode" : 148,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 97,
      "startLine" : 138,
      "endLine" : 148,
      "cleanedStartLine" : 74,
      "cleanedEndLine" : 80
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 216,
      "endLine" : 226,
      "cleanedStartLine" : 120,
      "cleanedEndLine" : 126
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 214,
      "endLine" : 224,
      "cleanedStartLine" : 118,
      "cleanedEndLine" : 124
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java",
        "extension" : "java",
        "linesOfCode" : 963,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 680,
      "startLine" : 150,
      "endLine" : 160,
      "cleanedStartLine" : 78,
      "cleanedEndLine" : 84
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java",
        "extension" : "java",
        "linesOfCode" : 963,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 680,
      "startLine" : 615,
      "endLine" : 625,
      "cleanedStartLine" : 375,
      "cleanedEndLine" : 381
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/source/ZipFileBinarySource.java",
        "extension" : "java",
        "linesOfCode" : 44,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 26,
      "startLine" : 30,
      "endLine" : 40,
      "cleanedStartLine" : 12,
      "cleanedEndLine" : 18
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java",
        "extension" : "java",
        "linesOfCode" : 28,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 16,
      "startLine" : 21,
      "endLine" : 31,
      "cleanedStartLine" : 8,
      "cleanedEndLine" : 14
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/MinimizedRepresentation.java",
        "extension" : "java",
        "linesOfCode" : 379,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 275,
      "startLine" : 147,
      "endLine" : 156,
      "cleanedStartLine" : 78,
      "cleanedEndLine" : 84
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/MinimizedRepresentation.java",
        "extension" : "java",
        "linesOfCode" : 379,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 275,
      "startLine" : 163,
      "endLine" : 172,
      "cleanedStartLine" : 89,
      "cleanedEndLine" : 95
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/prelude/PreludeResourceSource.java",
        "extension" : "java",
        "linesOfCode" : 43,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 25,
      "startLine" : 38,
      "endLine" : 48,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 23
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/source/ZipFileBinarySource.java",
        "extension" : "java",
        "linesOfCode" : 44,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 26,
      "startLine" : 30,
      "endLine" : 40,
      "cleanedStartLine" : 12,
      "cleanedEndLine" : 18
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/prelude/PreludeResourceSource.java",
        "extension" : "java",
        "linesOfCode" : 43,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 25,
      "startLine" : 38,
      "endLine" : 48,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 23
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java",
        "extension" : "java",
        "linesOfCode" : 28,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 16,
      "startLine" : 21,
      "endLine" : 31,
      "cleanedStartLine" : 8,
      "cleanedEndLine" : 14
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1091,
      "endLine" : 1099,
      "cleanedStartLine" : 758,
      "cleanedEndLine" : 764
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1157,
      "endLine" : 1165,
      "cleanedStartLine" : 801,
      "cleanedEndLine" : 807
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/context/binding/PersistentEvaluatingBinding.java",
        "extension" : "java",
        "linesOfCode" : 31,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 19,
      "startLine" : 13,
      "endLine" : 23,
      "cleanedStartLine" : 5,
      "cleanedEndLine" : 11
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/let/HaveClause.java",
        "extension" : "java",
        "linesOfCode" : 40,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 25,
      "startLine" : 38,
      "endLine" : 48,
      "cleanedStartLine" : 19,
      "cleanedEndLine" : 25
    } ]
  }, {
    "blockSize" : 7,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/LongUnresolvedReference.java",
        "extension" : "java",
        "linesOfCode" : 273,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 199,
      "startLine" : 32,
      "endLine" : 40,
      "cleanedStartLine" : 13,
      "cleanedEndLine" : 19
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/NamedUnresolvedReference.java",
        "extension" : "java",
        "linesOfCode" : 82,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 59,
      "startLine" : 20,
      "endLine" : 28,
      "cleanedStartLine" : 8,
      "cleanedEndLine" : 14
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/Constructor.java",
        "extension" : "java",
        "linesOfCode" : 220,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 151,
      "startLine" : 209,
      "endLine" : 216,
      "cleanedStartLine" : 115,
      "cleanedEndLine" : 120
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 198,
      "endLine" : 205,
      "cleanedStartLine" : 109,
      "cleanedEndLine" : 114
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 206,
      "endLine" : 213,
      "cleanedStartLine" : 114,
      "cleanedEndLine" : 119
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 198,
      "endLine" : 205,
      "cleanedStartLine" : 109,
      "cleanedEndLine" : 114
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/ClassFieldChecker.java",
        "extension" : "java",
        "linesOfCode" : 133,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 91,
      "startLine" : 117,
      "endLine" : 127,
      "cleanedStartLine" : 74,
      "cleanedEndLine" : 79
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/DesugarVisitor.java",
        "extension" : "java",
        "linesOfCode" : 504,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 367,
      "startLine" : 546,
      "endLine" : 557,
      "cleanedStartLine" : 357,
      "cleanedEndLine" : 362
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/EmptyLocatedReferable.java",
        "extension" : "java",
        "linesOfCode" : 33,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 21,
      "startLine" : 22,
      "endLine" : 29,
      "cleanedStartLine" : 10,
      "cleanedEndLine" : 15
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/GlobalReferableImpl.java",
        "extension" : "java",
        "linesOfCode" : 23,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 15,
      "startLine" : 20,
      "endLine" : 27,
      "cleanedStartLine" : 10,
      "cleanedEndLine" : 15
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java",
        "extension" : "java",
        "linesOfCode" : 2131,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1612,
      "startLine" : 711,
      "endLine" : 716,
      "cleanedStartLine" : 441,
      "cleanedEndLine" : 446
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java",
        "extension" : "java",
        "linesOfCode" : 2131,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1612,
      "startLine" : 938,
      "endLine" : 943,
      "cleanedStartLine" : 605,
      "cleanedEndLine" : 610
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 2622,
      "endLine" : 2629,
      "cleanedStartLine" : 1591,
      "cleanedEndLine" : 1596
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 2731,
      "endLine" : 2738,
      "cleanedStartLine" : 1659,
      "cleanedEndLine" : 1664
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java",
        "extension" : "java",
        "linesOfCode" : 147,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 106,
      "startLine" : 55,
      "endLine" : 62,
      "cleanedStartLine" : 29,
      "cleanedEndLine" : 34
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java",
        "extension" : "java",
        "linesOfCode" : 147,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 106,
      "startLine" : 78,
      "endLine" : 85,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java",
        "extension" : "java",
        "linesOfCode" : 321,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 227,
      "startLine" : 323,
      "endLine" : 332,
      "cleanedStartLine" : 197,
      "cleanedEndLine" : 202
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/subst/SubstVisitor.java",
        "extension" : "java",
        "linesOfCode" : 306,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 222,
      "startLine" : 311,
      "endLine" : 320,
      "cleanedStartLine" : 197,
      "cleanedEndLine" : 202
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java",
        "extension" : "java",
        "linesOfCode" : 321,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 227,
      "startLine" : 362,
      "endLine" : 369,
      "cleanedStartLine" : 222,
      "cleanedEndLine" : 227
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/subst/SubstVisitor.java",
        "extension" : "java",
        "linesOfCode" : 306,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 222,
      "startLine" : 241,
      "endLine" : 248,
      "cleanedStartLine" : 148,
      "cleanedEndLine" : 153
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java",
        "extension" : "java",
        "linesOfCode" : 115,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 79,
      "startLine" : 126,
      "endLine" : 133,
      "cleanedStartLine" : 74,
      "cleanedEndLine" : 79
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java",
        "extension" : "java",
        "linesOfCode" : 23,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 13,
      "startLine" : 20,
      "endLine" : 27,
      "cleanedStartLine" : 8,
      "cleanedEndLine" : 13
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/PatternDoc.java",
        "extension" : "java",
        "linesOfCode" : 35,
        "components" : [ "primary::api" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 24,
      "startLine" : 34,
      "endLine" : 41,
      "cleanedStartLine" : 19,
      "cleanedEndLine" : 24
    }, {
      "file" : {
        "relativePath" : "api/src/main/java/org/arend/ext/prettyprinting/doc/TermLineDoc.java",
        "extension" : "java",
        "linesOfCode" : 44,
        "components" : [ "primary::api" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 30,
      "startLine" : 44,
      "endLine" : 51,
      "cleanedStartLine" : 25,
      "cleanedEndLine" : 30
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java",
        "extension" : "java",
        "linesOfCode" : 115,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 79,
      "startLine" : 74,
      "endLine" : 81,
      "cleanedStartLine" : 39,
      "cleanedEndLine" : 44
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java",
        "extension" : "java",
        "linesOfCode" : 23,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 13,
      "startLine" : 20,
      "endLine" : 27,
      "cleanedStartLine" : 8,
      "cleanedEndLine" : 13
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/ModuleReferable.java",
        "extension" : "java",
        "linesOfCode" : 41,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 28,
      "startLine" : 22,
      "endLine" : 29,
      "cleanedStartLine" : 9,
      "cleanedEndLine" : 14
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/TCDefReferable.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 53,
      "startLine" : 73,
      "endLine" : 80,
      "cleanedStartLine" : 40,
      "cleanedEndLine" : 45
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/pattern/BindingPattern.java",
        "extension" : "java",
        "linesOfCode" : 114,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 73,
      "startLine" : 80,
      "endLine" : 89,
      "cleanedStartLine" : 39,
      "cleanedEndLine" : 44
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/pattern/EmptyPattern.java",
        "extension" : "java",
        "linesOfCode" : 98,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 58,
      "startLine" : 81,
      "endLine" : 90,
      "cleanedStartLine" : 36,
      "cleanedEndLine" : 41
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/scope/ScopeFactory.java",
        "extension" : "java",
        "linesOfCode" : 312,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 211,
      "startLine" : 98,
      "endLine" : 104,
      "cleanedStartLine" : 48,
      "cleanedEndLine" : 53
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/scope/ScopeFactory.java",
        "extension" : "java",
        "linesOfCode" : 312,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 211,
      "startLine" : 190,
      "endLine" : 196,
      "cleanedStartLine" : 100,
      "cleanedEndLine" : 105
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/group/EmptyGroup.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 24,
      "startLine" : 25,
      "endLine" : 32,
      "cleanedStartLine" : 11,
      "cleanedEndLine" : 16
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/group/StaticGroup.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 31,
      "startLine" : 24,
      "endLine" : 31,
      "cleanedStartLine" : 11,
      "cleanedEndLine" : 16
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/ConcreteClassFieldReferable.java",
        "extension" : "java",
        "linesOfCode" : 22,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 13,
      "startLine" : 18,
      "endLine" : 25,
      "cleanedStartLine" : 8,
      "cleanedEndLine" : 13
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/FieldReferableImpl.java",
        "extension" : "java",
        "linesOfCode" : 29,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 20,
      "startLine" : 22,
      "endLine" : 29,
      "cleanedStartLine" : 12,
      "cleanedEndLine" : 17
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 1433,
      "endLine" : 1442,
      "cleanedStartLine" : 866,
      "cleanedEndLine" : 871
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 1456,
      "endLine" : 1465,
      "cleanedStartLine" : 879,
      "cleanedEndLine" : 884
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java",
        "extension" : "java",
        "linesOfCode" : 61,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 55,
      "endLine" : 62,
      "cleanedStartLine" : 29,
      "cleanedEndLine" : 34
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java",
        "extension" : "java",
        "linesOfCode" : 145,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 101,
      "startLine" : 129,
      "endLine" : 136,
      "cleanedStartLine" : 77,
      "cleanedEndLine" : 82
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/FindMissingBindingVisitor.java",
        "extension" : "java",
        "linesOfCode" : 165,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 111,
      "startLine" : 67,
      "endLine" : 77,
      "cleanedStartLine" : 36,
      "cleanedEndLine" : 41
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/NormalizingFindBindingVisitor.java",
        "extension" : "java",
        "linesOfCode" : 187,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 123,
      "startLine" : 92,
      "endLine" : 102,
      "cleanedStartLine" : 49,
      "cleanedEndLine" : 54
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/ClassField.java",
        "extension" : "java",
        "linesOfCode" : 148,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 103,
      "startLine" : 152,
      "endLine" : 161,
      "cleanedStartLine" : 84,
      "cleanedEndLine" : 89
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/TopLevelDefinition.java",
        "extension" : "java",
        "linesOfCode" : 92,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 62,
      "startLine" : 32,
      "endLine" : 41,
      "cleanedStartLine" : 16,
      "cleanedEndLine" : 21
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java",
        "extension" : "java",
        "linesOfCode" : 147,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 106,
      "startLine" : 30,
      "endLine" : 37,
      "cleanedStartLine" : 14,
      "cleanedEndLine" : 19
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java",
        "extension" : "java",
        "linesOfCode" : 147,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 106,
      "startLine" : 78,
      "endLine" : 85,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/FunctionDefinition.java",
        "extension" : "java",
        "linesOfCode" : 196,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 136,
      "startLine" : 122,
      "endLine" : 129,
      "cleanedStartLine" : 65,
      "cleanedEndLine" : 70
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/LocatedReferableImpl.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 58,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 35,
      "cleanedEndLine" : 40
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java",
        "extension" : "java",
        "linesOfCode" : 459,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 335,
      "startLine" : 474,
      "endLine" : 483,
      "cleanedStartLine" : 297,
      "cleanedEndLine" : 302
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java",
        "extension" : "java",
        "linesOfCode" : 321,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 227,
      "startLine" : 323,
      "endLine" : 332,
      "cleanedStartLine" : 197,
      "cleanedEndLine" : 202
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/ConCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 93,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 61,
      "startLine" : 65,
      "endLine" : 72,
      "cleanedStartLine" : 34,
      "cleanedEndLine" : 39
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DataCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 211,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 44,
      "endLine" : 51,
      "cleanedStartLine" : 10,
      "cleanedEndLine" : 15
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/ConcreteLocatedReferable.java",
        "extension" : "java",
        "linesOfCode" : 61,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 41,
      "startLine" : 31,
      "endLine" : 38,
      "cleanedStartLine" : 16,
      "cleanedEndLine" : 21
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/MetaReferable.java",
        "extension" : "java",
        "linesOfCode" : 122,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 85,
      "startLine" : 97,
      "endLine" : 104,
      "cleanedStartLine" : 56,
      "cleanedEndLine" : 61
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java",
        "extension" : "java",
        "linesOfCode" : 3381,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 2468,
      "startLine" : 3531,
      "endLine" : 3536,
      "cleanedStartLine" : 2363,
      "cleanedEndLine" : 2368
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java",
        "extension" : "java",
        "linesOfCode" : 3381,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 2468,
      "startLine" : 3543,
      "endLine" : 3548,
      "cleanedStartLine" : 2371,
      "cleanedEndLine" : 2376
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java",
        "extension" : "java",
        "linesOfCode" : 458,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 334,
      "startLine" : 274,
      "endLine" : 279,
      "cleanedStartLine" : 176,
      "cleanedEndLine" : 181
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/doubleChecker/CoreExpressionChecker.java",
        "extension" : "java",
        "linesOfCode" : 874,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 641,
      "startLine" : 131,
      "endLine" : 136,
      "cleanedStartLine" : 66,
      "cleanedEndLine" : 71
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/ClassDefinition.java",
        "extension" : "java",
        "linesOfCode" : 432,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 304,
      "startLine" : 211,
      "endLine" : 220,
      "cleanedStartLine" : 120,
      "cleanedEndLine" : 125
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/definition/DataDefinition.java",
        "extension" : "java",
        "linesOfCode" : 202,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 137,
      "startLine" : 42,
      "endLine" : 51,
      "cleanedStartLine" : 21,
      "cleanedEndLine" : 26
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/IntegerExpression.java",
        "extension" : "java",
        "linesOfCode" : 51,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 35,
      "startLine" : 61,
      "endLine" : 68,
      "cleanedStartLine" : 28,
      "cleanedEndLine" : 33
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 38,
      "endLine" : 45,
      "cleanedStartLine" : 15,
      "cleanedEndLine" : 20
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 66,
      "endLine" : 73,
      "cleanedStartLine" : 25,
      "cleanedEndLine" : 30
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 765,
      "endLine" : 772,
      "cleanedStartLine" : 518,
      "cleanedEndLine" : 523
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1197,
      "endLine" : 1204,
      "cleanedStartLine" : 831,
      "cleanedEndLine" : 836
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TupleExpression.java",
        "extension" : "java",
        "linesOfCode" : 46,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 48,
      "endLine" : 55,
      "cleanedStartLine" : 24,
      "cleanedEndLine" : 29
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java",
        "extension" : "java",
        "linesOfCode" : 115,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 79,
      "startLine" : 74,
      "endLine" : 81,
      "cleanedStartLine" : 39,
      "cleanedEndLine" : 44
    }, {
      "file" : {
        "relativePath" : "cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java",
        "extension" : "java",
        "linesOfCode" : 115,
        "components" : [ "primary::cli" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 79,
      "startLine" : 126,
      "endLine" : 133,
      "cleanedStartLine" : 74,
      "cleanedEndLine" : 79
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/CaseExpression.java",
        "extension" : "java",
        "linesOfCode" : 86,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 59,
      "startLine" : 39,
      "endLine" : 48,
      "cleanedStartLine" : 21,
      "cleanedEndLine" : 26
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/concrete/Concrete.java",
        "extension" : "java",
        "linesOfCode" : 2482,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 1858,
      "startLine" : 2371,
      "endLine" : 2380,
      "cleanedStartLine" : 1437,
      "cleanedEndLine" : 1442
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/DefCallExpression.java",
        "extension" : "java",
        "linesOfCode" : 84,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 89,
      "endLine" : 96,
      "cleanedStartLine" : 47,
      "cleanedEndLine" : 52
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/LongUnresolvedReference.java",
        "extension" : "java",
        "linesOfCode" : 273,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 199,
      "startLine" : 169,
      "endLine" : 176,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/NamedUnresolvedReference.java",
        "extension" : "java",
        "linesOfCode" : 82,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 59,
      "startLine" : 91,
      "endLine" : 98,
      "cleanedStartLine" : 54,
      "cleanedEndLine" : 59
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1159,
      "endLine" : 1165,
      "cleanedStartLine" : 802,
      "cleanedEndLine" : 807
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1417,
      "endLine" : 1423,
      "cleanedStartLine" : 977,
      "cleanedEndLine" : 982
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/NotEqualExpressionsError.java",
        "extension" : "java",
        "linesOfCode" : 30,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 17,
      "startLine" : 20,
      "endLine" : 27,
      "cleanedStartLine" : 7,
      "cleanedEndLine" : 12
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/error/local/SolveEquationError.java",
        "extension" : "java",
        "linesOfCode" : 29,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 17,
      "startLine" : 19,
      "endLine" : 26,
      "cleanedStartLine" : 7,
      "cleanedEndLine" : 12
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PEvalExpression.java",
        "extension" : "java",
        "linesOfCode" : 72,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 42,
      "startLine" : 79,
      "endLine" : 86,
      "cleanedStartLine" : 37,
      "cleanedEndLine" : 42
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/SigmaExpression.java",
        "extension" : "java",
        "linesOfCode" : 79,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 48,
      "startLine" : 87,
      "endLine" : 94,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1093,
      "endLine" : 1099,
      "cleanedStartLine" : 759,
      "cleanedEndLine" : 764
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1417,
      "endLine" : 1423,
      "cleanedStartLine" : 977,
      "cleanedEndLine" : 982
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1103,
      "endLine" : 1110,
      "cleanedStartLine" : 766,
      "cleanedEndLine" : 771
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java",
        "extension" : "java",
        "linesOfCode" : 1500,
        "components" : [ "primary::base" ],
        "concerns" : [ "::TODOs" ]
      },
      "sourceFileCleanedLinesOfCode" : 1170,
      "startLine" : 1465,
      "endLine" : 1472,
      "cleanedStartLine" : 1012,
      "cleanedEndLine" : 1017
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/LamExpression.java",
        "extension" : "java",
        "linesOfCode" : 81,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 52,
      "startLine" : 82,
      "endLine" : 89,
      "cleanedStartLine" : 43,
      "cleanedEndLine" : 48
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/StringExpression.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 37,
      "endLine" : 44,
      "cleanedStartLine" : 17,
      "cleanedEndLine" : 22
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PiExpression.java",
        "extension" : "java",
        "linesOfCode" : 179,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 116,
      "startLine" : 187,
      "endLine" : 194,
      "cleanedStartLine" : 103,
      "cleanedEndLine" : 108
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/UniverseExpression.java",
        "extension" : "java",
        "linesOfCode" : 77,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 47,
      "startLine" : 85,
      "endLine" : 92,
      "cleanedStartLine" : 42,
      "cleanedEndLine" : 47
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/PathExpression.java",
        "extension" : "java",
        "linesOfCode" : 58,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 36,
      "startLine" : 62,
      "endLine" : 69,
      "cleanedStartLine" : 31,
      "cleanedEndLine" : 36
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java",
        "extension" : "java",
        "linesOfCode" : 167,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 112,
      "startLine" : 186,
      "endLine" : 193,
      "cleanedStartLine" : 107,
      "cleanedEndLine" : 112
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java",
        "extension" : "java",
        "linesOfCode" : 147,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 106,
      "startLine" : 30,
      "endLine" : 37,
      "cleanedStartLine" : 14,
      "cleanedEndLine" : 19
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java",
        "extension" : "java",
        "linesOfCode" : 147,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 106,
      "startLine" : 55,
      "endLine" : 62,
      "cleanedStartLine" : 29,
      "cleanedEndLine" : 34
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/RedirectingReferableImpl.java",
        "extension" : "java",
        "linesOfCode" : 37,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 27,
      "startLine" : 17,
      "endLine" : 24,
      "cleanedStartLine" : 9,
      "cleanedEndLine" : 14
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/naming/reference/TypedRedirectingReferable.java",
        "extension" : "java",
        "linesOfCode" : 41,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 29,
      "startLine" : 16,
      "endLine" : 23,
      "cleanedStartLine" : 7,
      "cleanedEndLine" : 12
    } ]
  }, {
    "blockSize" : 6,
    "duplicatedFileBlocks" : [ {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/elimtree/LeafElimTree.java",
        "extension" : "java",
        "linesOfCode" : 35,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 22,
      "startLine" : 31,
      "endLine" : 38,
      "cleanedStartLine" : 14,
      "cleanedEndLine" : 19
    }, {
      "file" : {
        "relativePath" : "base/src/main/java/org/arend/core/expr/Expression.java",
        "extension" : "java",
        "linesOfCode" : 632,
        "components" : [ "primary::base" ],
        "concerns" : [ "::Unclassified" ]
      },
      "sourceFileCleanedLinesOfCode" : 425,
      "startLine" : 675,
      "endLine" : 682,
      "cleanedStartLine" : 392,
      "cleanedEndLine" : 397
    } ]
  } ],
  "overallDuplication" : null
}