[ {
  "relativePath" : "meta/settings.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 2,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/StdNumberTypechecker.java",
  "extension" : "java",
  "linesOfCode" : 64,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/linear/CompiledTerms.java",
  "extension" : "java",
  "linesOfCode" : 12,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java",
  "extension" : "java",
  "linesOfCode" : 306,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/linear/Equation.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/linear/CompiledTerm.java",
  "extension" : "java",
  "linesOfCode" : 10,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java",
  "extension" : "java",
  "linesOfCode" : 555,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/FailsMeta.java",
  "extension" : "java",
  "linesOfCode" : 59,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java",
  "extension" : "java",
  "linesOfCode" : 109,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/solver/RingKind.java",
  "extension" : "java",
  "linesOfCode" : 2,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/ApplyMeta.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/MakeConstructorMeta.java",
  "extension" : "java",
  "linesOfCode" : 49,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/ExistsMeta.java",
  "extension" : "java",
  "linesOfCode" : 285,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java",
  "extension" : "java",
  "linesOfCode" : 518,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/SIPMeta.java",
  "extension" : "java",
  "linesOfCode" : 165,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/ExtMeta.java",
  "extension" : "java",
  "linesOfCode" : 735,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/debug/TimeMeta.java",
  "extension" : "java",
  "linesOfCode" : 27,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/debug/PrintMeta.java",
  "extension" : "java",
  "linesOfCode" : 42,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/debug/RandomMeta.java",
  "extension" : "java",
  "linesOfCode" : 56,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/UnfoldMeta.java",
  "extension" : "java",
  "linesOfCode" : 124,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java",
  "extension" : "java",
  "linesOfCode" : 103,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java",
  "extension" : "java",
  "linesOfCode" : 310,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java",
  "extension" : "java",
  "linesOfCode" : 147,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java",
  "extension" : "java",
  "linesOfCode" : 771,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java",
  "extension" : "java",
  "linesOfCode" : 145,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/datafactory/MonoidDataFactory.java",
  "extension" : "java",
  "linesOfCode" : 35,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactoryBase.java",
  "extension" : "java",
  "linesOfCode" : 61,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/datafactory/CategoryDataFactory.java",
  "extension" : "java",
  "linesOfCode" : 70,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/datafactory/RingDataFactory.java",
  "extension" : "java",
  "linesOfCode" : 29,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/datafactory/GroupDataFactory.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactory.java",
  "extension" : "java",
  "linesOfCode" : 5,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/NatFunctionMatcher.java",
  "extension" : "java",
  "linesOfCode" : 39,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/FunctionMatcher.java",
  "extension" : "java",
  "linesOfCode" : 44,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ListFunctionMatcher.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/DefinitionFunctionMatcher.java",
  "extension" : "java",
  "linesOfCode" : 38,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ExpressionFunctionMatcher.java",
  "extension" : "java",
  "linesOfCode" : 59,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java",
  "extension" : "java",
  "linesOfCode" : 90,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/EquationSolver.java",
  "extension" : "java",
  "linesOfCode" : 57,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/EquationMeta.java",
  "extension" : "java",
  "linesOfCode" : 296,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java",
  "extension" : "java",
  "linesOfCode" : 209,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/term/CompiledTerm.java",
  "extension" : "java",
  "linesOfCode" : 43,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/term/VarTerm.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/equation/term/CompositeTerm.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/MonoidIdentityRule.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java",
  "extension" : "java",
  "linesOfCode" : 64,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/LocalSimplificationRuleBase.java",
  "extension" : "java",
  "linesOfCode" : 127,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/MulOfNegativesRule.java",
  "extension" : "java",
  "linesOfCode" : 52,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/GroupRuleBase.java",
  "extension" : "java",
  "linesOfCode" : 53,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/DoubleNegationRule.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/MultiplicationByZeroRule.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/NegationPropagationRule.java",
  "extension" : "java",
  "linesOfCode" : 49,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/IdentityInverseRule.java",
  "extension" : "java",
  "linesOfCode" : 41,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java",
  "extension" : "java",
  "linesOfCode" : 226,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/SimplificationRule.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java",
  "extension" : "java",
  "linesOfCode" : 120,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java",
  "extension" : "java",
  "linesOfCode" : 154,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/ClassExtResolver.java",
  "extension" : "java",
  "linesOfCode" : 53,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/AssumptionMeta.java",
  "extension" : "java",
  "linesOfCode" : 76,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java",
  "extension" : "java",
  "linesOfCode" : 379,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java",
  "extension" : "java",
  "linesOfCode" : 126,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java",
  "extension" : "java",
  "linesOfCode" : 477,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/RepeatMeta.java",
  "extension" : "java",
  "linesOfCode" : 84,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeRoot.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/pi_tree/PathExpression.java",
  "extension" : "java",
  "linesOfCode" : 18,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeNode.java",
  "extension" : "java",
  "linesOfCode" : 11,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/pi_tree/BasePiTree.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java",
  "extension" : "java",
  "linesOfCode" : 287,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/OrElseMeta.java",
  "extension" : "java",
  "linesOfCode" : 37,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/UsingMeta.java",
  "extension" : "java",
  "linesOfCode" : 68,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/UnfoldLetMeta.java",
  "extension" : "java",
  "linesOfCode" : 38,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/InMeta.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/RunMeta.java",
  "extension" : "java",
  "linesOfCode" : 75,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java",
  "extension" : "java",
  "linesOfCode" : 89,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/closure/BinaryRelationClosure.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/closure/ValuesRelationClosure.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/closure/EquivalenceClosure.java",
  "extension" : "java",
  "linesOfCode" : 66,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java",
  "extension" : "java",
  "linesOfCode" : 439,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/HidingMeta.java",
  "extension" : "java",
  "linesOfCode" : 49,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/ConstructorMeta.java",
  "extension" : "java",
  "linesOfCode" : 148,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/CasesMeta.java",
  "extension" : "java",
  "linesOfCode" : 373,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/DefaultImplMeta.java",
  "extension" : "java",
  "linesOfCode" : 78,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/AtMeta.java",
  "extension" : "java",
  "linesOfCode" : 57,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/NormalizationMeta.java",
  "extension" : "java",
  "linesOfCode" : 23,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/LaterMeta.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/RewriteMeta.java",
  "extension" : "java",
  "linesOfCode" : 377,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java",
  "extension" : "java",
  "linesOfCode" : 66,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java",
  "extension" : "java",
  "linesOfCode" : 114,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/util/ReplaceSubexpressionsMeta.java",
  "extension" : "java",
  "linesOfCode" : 61,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java",
  "extension" : "java",
  "linesOfCode" : 1123,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/meta/UnfoldsMeta.java",
  "extension" : "java",
  "linesOfCode" : 50,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/key/TransitivityKey.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/key/ReflexivityKey.java",
  "extension" : "java",
  "linesOfCode" : 31,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/key/IrreflexivityKey.java",
  "extension" : "java",
  "linesOfCode" : 40,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/key/FieldKey.java",
  "extension" : "java",
  "linesOfCode" : 111,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/context/ContextHelper.java",
  "extension" : "java",
  "linesOfCode" : 58,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/context/HidingContext.java",
  "extension" : "java",
  "linesOfCode" : 33,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/context/Context.java",
  "extension" : "java",
  "linesOfCode" : 24,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/ring/IntRing.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/ring/BigRational.java",
  "extension" : "java",
  "linesOfCode" : 35,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/ring/Ring.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/ring/Monomial.java",
  "extension" : "java",
  "linesOfCode" : 88,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/MetaDidNotFailError.java",
  "extension" : "java",
  "linesOfCode" : 22,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/IgnoredArgumentError.java",
  "extension" : "java",
  "linesOfCode" : 13,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/EquationSolverError.java",
  "extension" : "java",
  "linesOfCode" : 86,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/SubclassError.java",
  "extension" : "java",
  "linesOfCode" : 21,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/SubexprError.java",
  "extension" : "java",
  "linesOfCode" : 34,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/SimplifyError.java",
  "extension" : "java",
  "linesOfCode" : 32,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/MonoidSolverError.java",
  "extension" : "java",
  "linesOfCode" : 64,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/LinearSolverError.java",
  "extension" : "java",
  "linesOfCode" : 45,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/TypeError.java",
  "extension" : "java",
  "linesOfCode" : 26,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/error/FieldNotPropError.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/level/StdLevelProver.java",
  "extension" : "java",
  "linesOfCode" : 142,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/pattern/PatternUtils.java",
  "extension" : "java",
  "linesOfCode" : 418,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/pattern/ArendPattern.java",
  "extension" : "java",
  "linesOfCode" : 62,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/StdExtension.java",
  "extension" : "java",
  "linesOfCode" : 334,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/goal/StdGoalSolver.java",
  "extension" : "java",
  "linesOfCode" : 50,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/goal/ConstructorGoalSolver.java",
  "extension" : "java",
  "linesOfCode" : 117,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/NamedParameter.java",
  "extension" : "java",
  "linesOfCode" : 142,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/groebner/GroebnerBasisAlgorithm.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/groebner/Buchberger.java",
  "extension" : "java",
  "linesOfCode" : 67,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java",
  "extension" : "java",
  "linesOfCode" : 112,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/idealmem/GroebnerIM.java",
  "extension" : "java",
  "linesOfCode" : 30,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/idealmem/IdealMembership.java",
  "extension" : "java",
  "linesOfCode" : 7,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java",
  "extension" : "java",
  "linesOfCode" : 130,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/polynomials/DegLexMonomialOrder.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java",
  "extension" : "java",
  "linesOfCode" : 50,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java",
  "extension" : "java",
  "linesOfCode" : 106,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java",
  "extension" : "java",
  "linesOfCode" : 67,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/Maybe.java",
  "extension" : "java",
  "linesOfCode" : 19,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/Lazy.java",
  "extension" : "java",
  "linesOfCode" : 15,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/CountingSort.java",
  "extension" : "java",
  "linesOfCode" : 28,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/RelationData.java",
  "extension" : "java",
  "linesOfCode" : 42,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/Values.java",
  "extension" : "java",
  "linesOfCode" : 42,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/src/main/java/org/arend/lib/util/Utils.java",
  "extension" : "java",
  "linesOfCode" : 435,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "meta/build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 31,
  "components" : [ "primary::meta" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "arend.yaml",
  "extension" : "yaml",
  "linesOfCode" : 7,
  "components" : [ "primary::ROOT" ],
  "concerns" : [ "::Unclassified" ]
} ]