duplicated block id: 1
size: 10 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/ExtMeta.java (44:59)
 - meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java (47:62)

duplicated block id: 2
size: 10 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java (114:125)
 - meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java (155:166)

duplicated block id: 3
size: 9 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/util/Utils.java (352:363)
 - meta/src/main/java/org/arend/lib/util/Utils.java (381:392)

duplicated block id: 4
size: 9 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/UnfoldLetMeta.java (17:29)
 - meta/src/main/java/org/arend/lib/meta/UnfoldsMeta.java (18:30)

duplicated block id: 5
size: 8 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/UnfoldMeta.java (40:53)
 - meta/src/main/java/org/arend/lib/meta/debug/PrintMeta.java (22:35)

duplicated block id: 6
size: 8 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java (44:57)
 - meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java (34:49)

duplicated block id: 7
size: 8 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/ExtMeta.java (490:497)
 - meta/src/main/java/org/arend/lib/meta/ExtMeta.java (618:625)

duplicated block id: 8
size: 8 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/debug/PrintMeta.java (25:36)
 - meta/src/main/java/org/arend/lib/meta/debug/RandomMeta.java (30:41)

duplicated block id: 9
size: 8 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/ClassExtResolver.java (23:36)
 - meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java (44:57)

duplicated block id: 10
size: 8 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/ClassExtResolver.java (23:36)
 - meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java (34:49)

duplicated block id: 11
size: 7 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/UnfoldMeta.java (43:53)
 - meta/src/main/java/org/arend/lib/meta/debug/RandomMeta.java (30:40)

duplicated block id: 12
size: 7 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/ClassExtResolver.java (26:36)
 - meta/src/main/java/org/arend/lib/meta/ExtMeta.java (44:54)

duplicated block id: 13
size: 7 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java (99:107)
 - meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java (144:152)

duplicated block id: 14
size: 7 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/ExtMeta.java (44:54)
 - meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java (37:49)

duplicated block id: 15
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/simplify/MonoidIdentityRule.java (40:45)
 - meta/src/main/java/org/arend/lib/meta/simplify/MulOfNegativesRule.java (26:31)

duplicated block id: 16
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/simplify/MulOfNegativesRule.java (26:31)
 - meta/src/main/java/org/arend/lib/meta/simplify/MultiplicationByZeroRule.java (25:30)

duplicated block id: 17
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/AssumptionMeta.java (29:38)
 - meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java (39:48)

duplicated block id: 18
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/CasesMeta.java (71:78)
 - meta/src/main/java/org/arend/lib/meta/ExtMeta.java (49:56)

duplicated block id: 19
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/simplify/MonoidIdentityRule.java (40:45)
 - meta/src/main/java/org/arend/lib/meta/simplify/MultiplicationByZeroRule.java (25:30)

duplicated block id: 20
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/CasesMeta.java (71:78)
 - meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java (52:59)

duplicated block id: 21
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java (578:586)
 - meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java (1048:1056)

duplicated block id: 22
size: 6 cleaned lines of code
in 2 files:
 - meta/src/main/java/org/arend/lib/meta/InMeta.java (22:31)
 - meta/src/main/java/org/arend/lib/meta/OrElseMeta.java (21:30)