Path	Lines of Code
hollight/valid/aime-1983-p9.ml	3
hollight/valid/aime-1984-p15.ml	24
hollight/valid/aime-1984-p5.ml	6
hollight/valid/algebra-2complexrootspoly-xsqp49eqxp7itxpn7i.ml	1
hollight/valid/algebra-2rootsintpoly-am10tap11eqasqpam110.ml	1
hollight/valid/algebra-2rootspoly-apatapbeq2asqp2ab.ml	1
hollight/valid/algebra-2varlineareq-xpeeq7-2xpeeq3-eeq11-xeqn4.ml	6
hollight/valid/algebra-3rootspoly-amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta.ml	1
hollight/valid/algebra-amgm-faxinrrp2msqrt2geq2mxm1div2x.ml	5
hollight/valid/algebra-amgm-prod1toneq1-sum1tongeqn.ml	6
hollight/valid/algebra-amgm-sqrtxymulxmyeqxpy-xpygeq4.ml	7
hollight/valid/algebra-amgm-sumasqdivbsqgeqsumbdiva.ml	5
hollight/valid/algebra-binomnegdiscrineq-10alt28asqp1.ml	1
hollight/valid/algebra-manipexpr-2erprsqpesqeqnrpnesq.ml	1
hollight/valid/algebra-manipexpr-apbeq2cceqiacpbceqm2.ml	6
hollight/valid/algebra-sqineq-2at2pclta2c2p41pc.ml	1
hollight/valid/algebra-sqineq-2unitcircatblt1.ml	1
hollight/valid/algebra-sqineq-36azm9asqle36zsq.ml	1
hollight/valid/algebra-sqineq-4bap1lt4bsqpap1sq.ml	1
hollight/valid/amc12-2000-p11.ml	4
hollight/valid/amc12-2000-p15.ml	6
hollight/valid/amc12-2000-p5.ml	6
hollight/valid/amc12-2001-p2.ml	6
hollight/valid/amc12-2001-p9.ml	6
hollight/valid/amc12a-2002-p1.ml	6
hollight/valid/amc12a-2002-p12.ml	6
hollight/valid/amc12a-2002-p21.ml	7
hollight/valid/amc12a-2003-p1.ml	6
hollight/valid/amc12a-2003-p24.ml	4
hollight/valid/amc12a-2003-p25.ml	7
hollight/valid/amc12a-2020-p13.ml	8
hollight/valid/amc12a-2020-p22.ml	1
hollight/valid/amc12a-2021-p7.ml	1
hollight/valid/amc12b-2002-p11.ml	6
hollight/valid/amc12b-2002-p3.ml	6
hollight/valid/amc12b-2002-p6.ml	4
hollight/valid/amc12b-2003-p17.ml	7
hollight/valid/amc12b-2003-p6.ml	7
hollight/valid/amc12b-2003-p9.ml	4
hollight/valid/amc12b-2004-p3.ml	1
hollight/valid/amc12b-2020-p5.ml	7
hollight/valid/amc12b-2021-p21.ml	5
hollight/valid/imo-1990-p3.ml	4
hollight/valid/imo-2006-a6.ml	5
hollight/valid/induction-divisibility-3div2tooddnp1.ml	1
hollight/valid/induction-divisibility-3divnto3m2n.ml	1
hollight/valid/induction-divisibility-9div10tonm1.ml	1
hollight/valid/induction-ineq-nsqlefactn.ml	1
hollight/valid/induction-seq-mul2pnp1.ml	6
hollight/valid/induction-sum-1oktkp1.ml	1
hollight/valid/induction-sum-odd.ml	1
hollight/valid/induction-sum2kp1npqsqm1.ml	1
hollight/valid/mathd-algebra-10.ml	1
hollight/valid/mathd-algebra-101.ml	1
hollight/valid/mathd-algebra-104.ml	5
hollight/valid/mathd-algebra-109.ml	6
hollight/valid/mathd-algebra-11.ml	7
hollight/valid/mathd-algebra-110.ml	6
hollight/valid/mathd-algebra-116.ml	6
hollight/valid/mathd-algebra-119.ml	6
hollight/valid/mathd-algebra-123.ml	7
hollight/valid/mathd-algebra-126.ml	7
hollight/valid/mathd-algebra-13.ml	5
hollight/valid/mathd-algebra-131.ml	8
hollight/valid/mathd-algebra-132.ml	7
hollight/valid/mathd-algebra-140.ml	6
hollight/valid/mathd-algebra-144.ml	9
hollight/valid/mathd-algebra-149.ml	7
hollight/valid/mathd-algebra-15.ml	5
hollight/valid/mathd-algebra-151.ml	6
hollight/valid/mathd-algebra-159.ml	6
hollight/valid/mathd-algebra-181.ml	6
hollight/valid/mathd-algebra-182.ml	1
hollight/valid/mathd-algebra-185.ml	6
hollight/valid/mathd-algebra-190.ml	1
hollight/valid/mathd-algebra-192.ml	7
hollight/valid/mathd-algebra-206.ml	8
hollight/valid/mathd-algebra-214.ml	6
hollight/valid/mathd-algebra-22.ml	1
hollight/valid/mathd-algebra-224.ml	1
hollight/valid/mathd-algebra-234.ml	5
hollight/valid/mathd-algebra-245.ml	5
hollight/valid/mathd-algebra-247.ml	7
hollight/valid/mathd-algebra-251.ml	6
hollight/valid/mathd-algebra-267.ml	7
hollight/valid/mathd-algebra-28.ml	6
hollight/valid/mathd-algebra-282.ml	12
hollight/valid/mathd-algebra-327.ml	5
hollight/valid/mathd-algebra-35.ml	6
hollight/valid/mathd-algebra-37.ml	6
hollight/valid/mathd-algebra-421.ml	9
hollight/valid/mathd-algebra-43.ml	7
hollight/valid/mathd-algebra-455.ml	5
hollight/valid/mathd-algebra-48.ml	6
hollight/valid/mathd-algebra-51.ml	7
hollight/valid/mathd-algebra-55.ml	6
hollight/valid/mathd-algebra-59.ml	1
hollight/valid/mathd-algebra-67.ml	5
hollight/valid/mathd-algebra-69.ml	7
hollight/valid/mathd-algebra-73.ml	6
hollight/valid/mathd-algebra-77.ml	8
hollight/valid/mathd-algebra-89.ml	5
hollight/valid/mathd-algebra-96.ml	8
hollight/valid/mathd-numbertheory-101.ml	1
hollight/valid/mathd-numbertheory-102.ml	1
hollight/valid/mathd-numbertheory-109.ml	1
hollight/valid/mathd-numbertheory-110.ml	7
hollight/valid/mathd-numbertheory-126.ml	14
hollight/valid/mathd-numbertheory-13.ml	10
hollight/valid/mathd-numbertheory-132.ml	1
hollight/valid/mathd-numbertheory-133.ml	1
hollight/valid/mathd-numbertheory-136.ml	1
hollight/valid/mathd-numbertheory-149.ml	1
hollight/valid/mathd-numbertheory-155.ml	1
hollight/valid/mathd-numbertheory-156.ml	5
hollight/valid/mathd-numbertheory-169.ml	1
hollight/valid/mathd-numbertheory-198.ml	1
hollight/valid/mathd-numbertheory-200.ml	1
hollight/valid/mathd-numbertheory-202.ml	1
hollight/valid/mathd-numbertheory-211.ml	1
hollight/valid/mathd-numbertheory-22.ml	6
hollight/valid/mathd-numbertheory-221.ml	1
hollight/valid/mathd-numbertheory-232.ml	10
hollight/valid/mathd-numbertheory-236.ml	1
hollight/valid/mathd-numbertheory-24.ml	1
hollight/valid/mathd-numbertheory-252.ml	1
hollight/valid/mathd-numbertheory-257.ml	6
hollight/valid/mathd-numbertheory-284.ml	6
hollight/valid/mathd-numbertheory-30.ml	1
hollight/valid/mathd-numbertheory-301.ml	5
hollight/valid/mathd-numbertheory-303.ml	1
hollight/valid/mathd-numbertheory-32.ml	1
hollight/valid/mathd-numbertheory-326.ml	5
hollight/valid/mathd-numbertheory-33.ml	6
hollight/valid/mathd-numbertheory-335.ml	5
hollight/valid/mathd-numbertheory-35.ml	5
hollight/valid/mathd-numbertheory-37.ml	1
hollight/valid/mathd-numbertheory-370.ml	5
hollight/valid/mathd-numbertheory-403.ml	1
hollight/valid/mathd-numbertheory-405.ml	10
hollight/valid/mathd-numbertheory-412.ml	6
hollight/valid/mathd-numbertheory-42.ml	10
hollight/valid/mathd-numbertheory-43.ml	6
hollight/valid/mathd-numbertheory-45.ml	1
hollight/valid/mathd-numbertheory-458.ml	5
hollight/valid/mathd-numbertheory-466.ml	1
hollight/valid/mathd-numbertheory-48.ml	6
hollight/valid/mathd-numbertheory-530.ml	7
hollight/valid/mathd-numbertheory-629.ml	1
hollight/valid/mathd-numbertheory-64.ml	8
hollight/valid/mathd-numbertheory-640.ml	1
hollight/valid/mathd-numbertheory-668.ml	14
hollight/valid/mathd-numbertheory-690.ml	8
hollight/valid/mathd-numbertheory-709.ml	7
hollight/valid/mathd-numbertheory-739.ml	1
hollight/valid/mathd-numbertheory-81.ml	1
hollight/valid/mathd-numbertheory-84.ml	1
hollight/valid/mathd-numbertheory-92.ml	5
hollight/valid/numbertheory-2dvd4expn.ml	1
hollight/valid/numbertheory-prmdvsneqnsqmodpeq0.ml	7
hollight/valid/numbertheory-sqmod3in01d.ml	4
hollight/valid/numbertheory-sqmod4in01d.ml	4
hollight/valid/numbertheory-xsqpysqintdenomeq.ml	6