• File size measurements show the distribution of size of files.
• Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
• It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.

• There are 137 files with 15,213 lines of code.
• 1 very long files (1,123 lines of code)
• 4 long files (2,579 lines of code)
• 15 medium size files (5,151 lines of codeclsfd_ftr_w_mp_ins)
• 19 small files (2,442 lines of code)
• 98 very small files (3,918 lines of code)

There are 110 files with lines longer than 120 characters. In total, there are 1171 long lines.

File	# lines	# units	# long lines
ExtMeta.java in meta/src/main/java/org/arend/lib/meta	735	19	82
SimpCoeMeta.java in meta/src/main/java/org/arend/lib/meta	477	20	69
StdExtension.java in meta/src/main/java/org/arend/lib	334	7	64
MatchingCasesMeta.java in meta/src/main/java/org/arend/lib/meta	1123	10	57
MonoidSolver.java in meta/src/main/java/org/arend/lib/meta/equation	771	26	49
EquationMeta.java in meta/src/main/java/org/arend/lib/meta/equation	296	2	49
ContradictionMeta.java in meta/src/main/java/org/arend/lib/meta	518	15	47
LinearSolver.java in meta/src/main/java/org/arend/lib/meta/linear	555	25	45
CasesMeta.java in meta/src/main/java/org/arend/lib/meta	373	12	41
SIPMeta.java in meta/src/main/java/org/arend/lib/meta	165	2	37
CongVisitor.java in meta/src/main/java/org/arend/lib/meta/cong	379	23	29
Utils.java in meta/src/main/java/org/arend/lib/util	435	32	28
TermCompiler.java in meta/src/main/java/org/arend/lib/meta/linear	306	23	24
RewriteMeta.java in meta/src/main/java/org/arend/lib/meta	377	9	24
ExistsMeta.java in meta/src/main/java/org/arend/lib/meta	285	5	23
CongruenceMeta.java in meta/src/main/java/org/arend/lib/meta/cong	126	6	21
PatternUtils.java in meta/src/main/java/org/arend/lib/pattern	418	22	20
RingSolver.java in meta/src/main/java/org/arend/lib/meta/equation	310	20	19
PiTreeMaker.java in meta/src/main/java/org/arend/lib/meta/pi_tree	287	11	18
NamedParameter.java in meta/src/main/java/org/arend/lib/util	142	9	18
BaseTermCompiler.java in meta/src/main/java/org/arend/lib/meta/solver	109	5	17
Simplifier.java in meta/src/main/java/org/arend/lib/meta/simplify	226	6	15
LinearSolverMeta.java in meta/src/main/java/org/arend/lib/meta/linear	56	3	14
StdLevelProver.java in meta/src/main/java/org/arend/lib/level	142	3	14
EqualitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	145	14	13
TransitivitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	209	14	13
UnfoldMeta.java in meta/src/main/java/org/arend/lib/meta	124	3	11
ConstructorMeta.java in meta/src/main/java/org/arend/lib/meta	148	2	11
StdNumberTypechecker.java in meta/src/main/java/org/arend/lib	64	2	10
NegationPropagationRule.java in meta/src/main/java/org/arend/lib/meta/simplify	49	2	10
RunMeta.java in meta/src/main/java/org/arend/lib/meta	75	3	10
TermCompiler.java in meta/src/main/java/org/arend/lib/meta/equation	147	12	9
GroupRuleBase.java in meta/src/main/java/org/arend/lib/meta/simplify	53	2	9
CategoryDataFactory.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	70	4	8
CongruenceClosure.java in meta/src/main/java/org/arend/lib/meta/closure	439	28	8
DataFactoryBase.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	61	4	7
AbGroupInverseRule.java in meta/src/main/java/org/arend/lib/meta/simplify	120	4	7
RepeatMeta.java in meta/src/main/java/org/arend/lib/meta	84	5	7
AtMeta.java in meta/src/main/java/org/arend/lib/meta	57	2	7
ConstructorGoalSolver.java in meta/src/main/java/org/arend/lib/goal	117	3	7
RandomMeta.java in meta/src/main/java/org/arend/lib/meta/debug	56	3	6
BaseEqualitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	103	13	6
MonoidIdentityRule.java in meta/src/main/java/org/arend/lib/meta/simplify	58	3	6
SubstitutionMeta.java in meta/src/main/java/org/arend/lib/meta/util	66	6	6
FieldKey.java in meta/src/main/java/org/arend/lib/key	111	6	6
FailsMeta.java in meta/src/main/java/org/arend/lib/meta	59	3	5
EquivSolver.java in meta/src/main/java/org/arend/lib/meta/equation	90	12	5
EquationSolver.java in meta/src/main/java/org/arend/lib/meta/equation	57	4	5
LocalSimplificationRuleBase.java in meta/src/main/java/org/arend/lib/meta/simplify	127	2	5
MulOfNegativesRule.java in meta/src/main/java/org/arend/lib/meta/simplify	52	2	5