MathNetwork/MathlibGraph
MathlibGraph: The Multinetwork of Mathlib Dependency graph of Mathlib (commit 534cf0b, 2 Feb 2026), the largest formal mathematics library for Lean 4 (v4.28.0-rc1). Three dependency layers (declarations, modules, namespaces), each with nodes, edges, and precomputed network metrics. Quick Stats Declarations Modules Namespaces (k=2) Nodes 308,129 7,564 10,097 Edges 8,436,366 20,881 332,081 (weighted) DAG depth 83 154 7 (after SCC condensation)… See the full description on the dataset page: https://huggingface.co/datasets/MathNetwork/MathlibGraph.
0474
1namespace,decl_count,in_degree,out_degree,edge_weight_sum,pagerank,betweenness,community_id,cross_ns_ratio,in_cycle,scc_id2ADEInequality,25,1,68,572,1.548252232840049e-05,0.0,1,0.8148148148148148,True,313ADEInequality.Admissible,1,1,61,132,1.4924711289200284e-05,0.0,1,1.0,True,314AEMeasurable,119,40,152,2339,4.479421557654672e-05,0.0001296281777069,3,0.9190569744597248,True,05AEMeasurable.mk,1,0,4,5,1.490145864394503e-05,0.0,3,1.0,False,-16AEStronglyMeasurable,1,0,7,12,1.490145864394503e-05,0.0,1,1.0,False,-17AList,95,10,40,896,3.249094610305232e-05,0.0002654457315339,1,0.6256983240223464,True,08AList.insertRec,1,0,8,26,1.490145864394503e-05,0.0,1,1.0,False,-19AList.lookup,1,0,5,6,1.490145864394503e-05,0.0,1,1.0,False,-110AList.mk,3,1,7,25,1.5025820593855003e-05,0.0,1,1.0,True,011Abelianization,23,14,43,428,2.38238419488605e-05,2.4278570818275186e-05,1,0.7867647058823529,True,012Abelianization.lift,2,0,11,36,1.490145864394503e-05,0.0,1,1.0,False,-113AbsConvex,9,2,41,171,1.6491314433348772e-05,2.837666325116121e-05,1,0.9771428571428572,True,014AbsConvexOpenSets,7,1,14,150,1.6154925707420398e-05,0.0,1,0.974025974025974,True,015AbsoluteValue,90,38,172,3262,3.556554659746023e-05,0.000375824114683,0,0.8811453268503512,True,016AbsoluteValue.Completion,7,1,44,383,1.4904879264224407e-05,0.0,3,1.0,True,017AbsoluteValue.IsAdmissible,10,3,54,482,1.4946386408639116e-05,7.895594876415841e-07,1,0.964,True,018AbsoluteValue.IsEquiv,18,2,121,736,1.5043564975211964e-05,0.0,0,0.9709762532981532,True,019AbsoluteValue.IsEuclidean,4,2,18,73,1.4933180563306353e-05,3.622995322840244e-07,0,0.948051948051948,True,020AbsoluteValue.IsNontrivial,2,1,45,132,1.4922794907173885e-05,0.0,0,0.9850746268656716,True,021AbsoluteValue.LiesOver,4,2,10,73,1.4915547395838835e-05,0.0,0,0.9733333333333334,True,022AbsoluteValue.Simps,1,0,3,5,1.490145864394503e-05,0.0,1,1.0,False,-123AbsoluteValue.abs,1,0,7,11,1.490145864394503e-05,0.0,1,1.0,False,-124AbsoluteValue.comp,1,0,7,10,1.490145864394503e-05,0.0,0,1.0,False,-125AbsoluteValue.mk,3,0,16,69,1.490145864394503e-05,0.0,0,1.0,False,-126AbsoluteValue.trivial,1,0,10,16,1.490145864394503e-05,0.0,0,1.0,False,-127AbsolutelyContinuousOnInterval,35,3,195,2262,1.651197985581915e-05,0.0001981178801386,3,0.9496221662468514,True,028Absorbent,10,6,81,366,1.6962875337487293e-05,3.019080030864365e-06,0,0.9786096256684492,True,029Absorbs,26,13,76,547,1.7083687355778437e-05,1.092246886049725e-05,1,0.9820466786355476,True,030AbstractCompletion,52,5,21,453,1.832930157266412e-05,1.4822751936326013e-05,1,0.4793650793650794,True,031AbstractCompletion.mk,2,0,8,29,1.490145864394503e-05,0.0,1,1.0,False,-132Acc,27,27,51,277,5.010000842218764e-05,0.0002509019122181,1,0.7891737891737892,True,033Acc.below,1,1,1,4,1.5313282742080766e-05,0.0,1,1.0,True,034AccPt,6,7,50,182,1.8302534244064784e-05,1.7841944290718492e-05,1,1.0,True,035Action,190,59,116,6264,8.016223658244441e-05,0.0002955455666751,2,0.8274768824306473,True,036Action.FintypeCat,11,2,42,363,1.4980893088481506e-05,0.0,1,0.9236641221374046,True,037Action.Functor,8,1,5,122,1.4913359097726607e-05,0.0,2,0.9104477611940298,False,-138Action.FunctorCategoryEquivalence,20,1,25,412,1.5293000822430673e-05,0.0,2,0.865546218487395,True,039Action.Hom,15,25,18,629,2.180421712137448e-05,0.0,2,0.9458646616541352,True,040Action.Iso,1,0,17,37,1.490145864394503e-05,0.0,2,1.0,False,-141Action.diagonalSuccIsoTensorTrivial,1,0,19,49,1.490145864394503e-05,0.0,2,1.0,False,-142Action.mk,2,0,12,33,1.490145864394503e-05,0.0,1,1.0,False,-143Action.mkIso,1,1,13,23,1.4942673610101414e-05,0.0,2,1.0,True,044Action.resCongr,1,0,7,13,1.490145864394503e-05,0.0,2,1.0,False,-145Add,4,164,2,220,0.0012145937897906,3.3389999325954784e-06,0,0.990990990990991,True,046AddAction,40,121,103,1710,0.000136250212279,0.001244420808974,1,0.9510567296996664,True,047AddAction.IsBlock,2,0,37,93,1.490145864394503e-05,0.0,1,0.9789473684210528,False,-148AddAction.IsMinimal,2,1,4,17,1.503144238061367e-05,0.0,1,1.0,True,049AddAction.IsMultiplyPreprimitive,3,1,21,69,1.516142611728231e-05,0.0,1,1.0,True,050AddAction.IsPreprimitive,3,1,2,11,1.503144238061367e-05,0.0,1,1.0,True,051AddAction.IsPretransitive,2,2,3,9,1.5359366332207126e-05,0.0,1,1.0,True,052AddAction.IsQuasiPreprimitive,3,1,10,42,1.503144238061367e-05,2.603621228899939e-07,1,1.0,True,053AddAction.IsTopologicallyTransitive,2,1,7,27,1.503144238061367e-05,0.0,1,1.0,True,054AddAction.QuotientAction,2,1,14,39,1.503144238061367e-05,7.678987602274515e-09,1,1.0,True,055AddAction.stabilizerEquivStabilizer,1,1,10,15,1.503144238061367e-05,1.2999660983214369e-05,1,1.0,True,056AddActionHom,11,3,8,53,1.7431512040730962e-05,1.5980049820978946e-07,1,0.9636363636363636,True,057AddActionHom.mk,2,0,6,16,1.490145864394503e-05,0.0,1,1.0,False,-158AddActionSemiHomClass,2,1,3,13,1.5214825409813871e-05,0.0,1,1.0,True,059AddAut,34,9,58,594,2.757897018226862e-05,1.4228974002975187e-05,1,0.8735294117647059,True,060AddCancelCommMonoid,6,336,11,1400,0.0001306798126382,3.415777804818084e-06,1,0.9943181818181818,True,061AddCancelCommMonoid.mk,1,0,6,9,1.490145864394503e-05,0.0,1,1.0,False,-162AddCancelMonoid,6,322,11,3226,0.000130088386438,1.6136990647854923e-05,2,0.9975262832405688,True,063AddChar,172,38,203,5151,4.670562967713539e-05,0.001056610892638,0,0.8426304596761001,True,064AddChar.FiniteField,3,2,42,131,1.523677272661137e-05,0.0003560128499995,0,0.9562043795620438,True,065AddChar.IsPrimitive,3,2,51,160,1.5005460059479985e-05,8.9524466691381e-07,0,1.0,True,066AddChar.PrimitiveAddChar,7,5,19,128,1.6738071800180115e-05,0.0,0,0.927536231884058,True,067AddChar.complexBasis,1,0,19,25,1.490145864394503e-05,0.0,3,1.0,False,-168AddChar.instFintype,1,0,14,18,1.490145864394503e-05,0.0,3,1.0,False,-169AddChar.mk,3,0,16,70,1.490145864394503e-05,0.0,1,1.0,False,-170AddChar.zmod,1,0,14,17,1.490145864394503e-05,0.0,0,1.0,False,-171AddCircle,164,29,298,10524,5.061044923383658e-05,0.0003806390120421,3,0.9460625674217908,True,072AddCircle.EndpointIdent,1,1,28,41,1.4909866926567472e-05,0.0,1,1.0,True,073AddCircle.equivIccQuot,1,0,20,30,1.490145864394503e-05,0.0,1,1.0,False,-174AddCircle.equivIco,1,0,20,29,1.490145864394503e-05,0.0,1,1.0,False,-175AddCircle.equivIoc,1,0,20,29,1.490145864394503e-05,0.0,1,1.0,False,-176AddCircle.haarAddCircle,1,0,9,14,1.490145864394503e-05,0.0,3,1.0,False,-177AddCircle.homeomorphCircle,1,0,9,16,1.490145864394503e-05,0.0,3,1.0,False,-178AddCircle.instDivisibleByInt,1,0,26,36,1.490145864394503e-05,0.0,0,1.0,False,-179AddCircle.liftIco,1,0,15,21,1.490145864394503e-05,0.0,1,1.0,False,-180AddCircle.liftIoc,1,0,15,21,1.490145864394503e-05,0.0,1,1.0,False,-181AddCircle.measurableEquivIoc,1,0,12,24,1.490145864394503e-05,0.0,1,1.0,False,-182AddCircle.measureSpace,1,0,8,12,1.490145864394503e-05,0.0,3,1.0,False,-183AddCommGroup,73,1817,138,40719,0.0036099490477817,0.0049319219097369,0,0.9909469226837994,True,084AddCommGroup.DirectLimit,26,0,34,393,1.490145864394503e-05,0.0,0,0.751434034416826,False,-185AddCommGroup.ModEq,42,1,43,628,2.4914456962912177e-05,0.0,0,0.940119760479042,True,086AddCommGroup.toAddCommMonoid,1,0,3,5,1.490145864394503e-05,0.0,1,1.0,False,-187AddCommGroupWithOne,14,199,25,1329,0.0001538324402483,6.971851425399917e-05,0,0.947255880256593,True,088AddCommGrpCat,112,62,126,3432,6.932388865069181e-05,0.0005739410423795,2,0.849925705794948,True,089AddCommGrpCat.Colimits,25,1,38,589,1.5526189185821008e-05,0.0,2,0.7503184713375797,True,090AddCommGrpCat.HasLimit,6,2,21,135,1.5271619095438963e-05,2.628022371013284e-06,2,0.9183673469387756,True,091AddCommGrpCat.Hom,4,2,10,41,1.5243222252626416e-05,7.426816701482216e-08,2,0.8723404255319149,True,092AddCommGrpCat.image,4,1,21,87,1.5015046015195207e-05,0.0,2,0.935483870967742,True,093AddCommGrpCat.leftExactFunctorForgetEquivalence,6,1,26,193,1.495825232957012e-05,2.6476467784045793e-06,2,0.9507389162561576,True,094AddCommGrpCat.mk,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-195AddCommMagma,6,1174,6,9162,0.0008975906553905,4.61710510782836e-06,0,0.9989097252507632,True,096AddCommMonCat,33,8,42,530,2.1823952670349723e-05,0.0002607971224288,2,0.803030303030303,True,097AddCommMonCat.Hom,4,0,8,33,1.490145864394503e-05,0.0,2,0.8461538461538461,False,-198AddCommMonCat.mk,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-199AddCommMonoid,14,2122,45,33719,0.0039531193279333,0.0064331778367536,0,0.9991702966189588,True,0100AddCommMonoid.mk,1,0,6,8,1.490145864394503e-05,0.0,0,1.0,False,-1101AddCommMonoidWithOne,8,1320,14,15936,0.0014712935897762,0.0016107202212027,0,0.9986213811254544,True,0102AddCommSemigroup,7,1176,8,9220,0.0008986262144494,4.7656935179323716e-06,0,0.99848386398094,True,0103AddCon,11,30,14,146,1.9308758981521422e-05,0.0,0,0.9605263157894736,True,0104AddCon.Quotient,2,1,9,26,1.4918703080583706e-05,0.0,0,1.0,True,0105AddCon.ker,1,0,2,5,1.490145864394503e-05,0.0,1,1.0,False,-1106AddCon.lift,1,0,6,8,1.490145864394503e-05,0.0,0,1.0,False,-1107AddCon.liftOn,1,0,3,4,1.490145864394503e-05,0.0,1,1.0,False,-1108AddCon.mk,2,0,7,24,1.490145864394503e-05,0.0,1,1.0,False,-1109AddConGen,1,2,2,19,2.922929749115747e-05,0.0,8,1.0,True,0110AddConGen.Rel,12,6,3,47,3.825186066724194e-05,0.0,8,0.5280898876404494,True,0111AddConstEquiv,44,3,32,313,2.053854485466651e-05,4.859064383255599e-06,1,0.6173570019723866,True,0112AddConstEquiv.Simps,1,0,4,6,1.490145864394503e-05,0.0,1,1.0,False,-1113AddConstEquiv.mk,2,0,7,23,1.490145864394503e-05,0.0,1,1.0,False,-1114AddConstMap,43,3,64,334,1.753542270478741e-05,2.628714576777841e-05,1,0.6816326530612244,True,0115AddConstMap.mk,3,0,6,24,1.490145864394503e-05,0.0,1,1.0,False,-1116AddConstMapClass,44,3,80,1113,1.5318576203811225e-05,8.40237028787379e-05,0,0.9282735613010842,True,0117AddDissociated,1,0,96,240,1.490145864394503e-05,0.0,3,1.0,False,-1118AddEquiv,149,99,115,2428,5.65003620420709e-05,0.0006833588204516,0,0.9381761978361668,True,0119AddEquiv.addSubgroupCongr,1,0,4,6,1.490145864394503e-05,0.0,1,1.0,False,-1120AddEquiv.lpBCF,1,0,18,29,1.490145864394503e-05,0.0,3,1.0,False,-1121AddEquiv.mk,3,1,7,32,1.503144238061367e-05,2.902977271476529e-07,1,1.0,True,0122AddEquiv.ofBijective,1,0,4,7,1.490145864394503e-05,0.0,1,1.0,False,-1123AddEquivClass,2,13,4,29,1.658452813513856e-05,1.192376130464293e-07,0,1.0,True,0124AddEquivClass.toAddEquiv,1,0,2,5,1.490145864394503e-05,0.0,1,1.0,False,-1125AddGroup,17,1572,44,19488,0.002263561721528,0.0029489089346576,3,0.9985652797704448,True,0126AddGroup.FG,2,2,3,16,8.427947542374383e-05,0.0,3,1.0,True,0127AddGroupCone,4,3,17,54,1.5747948201273663e-05,0.0,3,0.9642857142857144,True,0128AddGroupCone.mk,2,0,21,54,1.490145864394503e-05,0.0,3,1.0,False,-1129AddGroupCone.nonneg,1,0,8,13,1.490145864394503e-05,0.0,1,1.0,False,-1130AddGroupConeClass,3,3,13,43,1.5705578422266816e-05,0.0,3,1.0,True,0131AddGroupExtension,10,5,10,107,2.200912701712958e-05,0.000297176820208,0,0.9304347826086956,True,0132AddGroupExtension.Equiv,12,1,14,132,1.5213466229753472e-05,0.0,0,0.9428571428571428,True,0133AddGroupExtension.Section,7,2,12,67,1.5357178078899285e-05,0.0,0,0.9178082191780822,True,0134AddGroupExtension.Splitting,7,1,16,91,1.5213466229753472e-05,0.0,0,0.900990099009901,True,0135AddGroupExtension.mk,2,0,13,37,1.490145864394503e-05,0.0,1,1.0,False,-1136AddGroupFilterBasis,10,15,28,177,1.847817022216891e-05,4.462114417537895e-09,1,0.9267015706806284,True,0137AddGroupFilterBasis.mk,1,1,17,25,1.493796233486174e-05,0.0,1,1.0,False,-1138AddGroupNorm,9,10,13,81,1.6829744040445094e-05,0.0,3,0.8901098901098901,True,0139AddGroupNorm.mk,2,0,11,32,1.490145864394503e-05,0.0,3,1.0,False,-1140AddGroupNormClass,3,4,10,42,1.594295533998202e-05,0.0,1,1.0,True,0141AddGroupSeminorm,14,30,38,325,4.321028213513306e-05,2.908625212335288e-06,3,0.9420289855072465,True,0142AddGroupSeminorm.mk,3,0,16,70,1.490145864394503e-05,0.0,3,1.0,False,-1143AddGroupSeminormClass,6,16,30,177,1.956265477364792e-05,1.1664595913300324e-05,3,0.988826815642458,True,0144AddGroupSeminormClass.toSeminormedAddGroup,1,0,3,8,1.490145864394503e-05,0.0,1,1.0,False,-1145AddGroupTopology,5,3,5,24,1.6514458994972057e-05,2.8381270316080173e-05,1,0.8571428571428571,True,0146AddGroupTopology.mk,2,0,6,22,1.490145864394503e-05,0.0,1,1.0,False,-1147AddGroupWithOne,17,1315,19,23149,0.0017443948684752,0.0007362392483252,0,0.9964702337394,True,0148AddGrpCat,24,11,45,360,2.5765855762687473e-05,0.0,2,0.782608695652174,True,0149AddGrpCat.Hom,4,0,9,36,1.490145864394503e-05,0.0,2,0.8571428571428571,False,-1150AddGrpCat.mk,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-1151AddHom,34,293,29,1433,8.467224966357667e-05,3.302021777345788e-05,0,0.979494190020506,True,0152AddHom.mk,3,15,6,48,1.6487305802382467e-05,9.523984328575828e-07,0,1.0,True,0153AddHomClass,2,43,3,58,1.7985855738969423e-05,2.358546192127173e-08,0,1.0,True,0154AddHomClass.toAddHom,1,0,2,5,1.490145864394503e-05,0.0,1,1.0,False,-1155AddIrreducible,3,1,4,15,1.5214825409813871e-05,0.0,1,1.0,True,0156AddLECancellable,49,5,31,1064,2.9904441197824474e-05,1.039115191159996e-06,1,0.910958904109589,True,0157AddLeftCancelMonoid,6,325,10,1118,0.0001322510874883,4.344249469397503e-06,1,0.9928952042628776,True,0158AddLeftCancelSemigroup,6,400,8,1645,0.0001718137390841,2.019135180962588e-05,3,0.9939577039274924,True,0159AddLocalization,2,0,14,29,1.490145864394503e-05,0.0,1,1.0,False,-1160AddMagma,1,1,2,5,2.0766265967027476e-05,0.0,1,1.0,True,34161AddMagma.AssocRel,2,1,3,10,2.7188049426224653e-05,0.0,1,1.0,True,34162AddMagma.FreeAddSemigroup,2,0,8,18,1.490145864394503e-05,0.0,1,1.0,False,-1163AddMagmaCat,7,4,9,42,2.1946814547525783e-05,3.0350760039272354e-06,1,0.8076923076923077,True,0164AddMagmaCat.Hom,4,0,5,24,1.490145864394503e-05,0.0,1,0.8,False,-1165AddMagmaCat.mk,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-1166AddMemClass,2,92,4,200,3.1659912638338514e-05,1.0886594150187713e-07,0,1.0,True,0167AddMemClass.add,1,0,4,6,1.490145864394503e-05,0.0,1,1.0,False,-1168AddMemClass.toAddCommSemigroup,1,0,6,8,1.490145864394503e-05,0.0,0,1.0,False,-1169AddMonCat,20,7,31,272,2.1235239675025597e-05,1.5303348398641377e-05,2,0.8143712574850299,True,0170AddMonCat.Hom,4,0,7,30,1.490145864394503e-05,0.0,2,0.8333333333333334,False,-1171AddMonCat.mk,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-1172AddMonoid,27,2541,65,42584,0.0070893923628179,0.0042310999174921,0,0.9981248828051752,True,0173AddMonoid.Coprod,1,0,6,8,1.490145864394503e-05,0.0,1,1.0,False,-1174AddMonoid.End,30,9,43,410,0.0001681028043117,1.1326543697153185e-05,0,0.8471074380165289,True,0175AddMonoid.FG,4,15,12,61,0.0001081763120683,2.924601969448774e-05,0,1.0,True,0176AddMonoid.IsTorsion,2,0,27,49,1.490145864394503e-05,0.0,0,0.9607843137254902,False,-1177AddMonoidAlgebra,185,19,183,5578,2.8876025610628292e-05,0.0004771976066319,0,0.8941968579672972,True,0178AddMonoidAlgebra.GradesBy,1,0,20,32,1.490145864394503e-05,0.0,0,1.0,False,-1179AddMonoidAlgebra.Monic,10,1,46,474,1.4930932833899156e-05,0.0,1,0.9556451612903226,True,0180AddMonoidAlgebra.divOf,1,1,6,9,1.490608157572137e-05,0.0,0,1.0,True,0181AddMonoidAlgebra.grade,5,0,24,74,1.490145864394503e-05,0.0,0,0.925,False,-1182AddMonoidAlgebra.gradeBy,4,3,41,112,1.5662755626829035e-05,0.0,0,0.9491525423728814,True,0183AddMonoidAlgebra.leadingCoeff,1,2,8,14,1.4933140141402104e-05,0.0,1,1.0,True,0184AddMonoidAlgebra.liftNCAlgHom,1,0,14,22,1.490145864394503e-05,0.0,0,1.0,False,-1185AddMonoidAlgebra.tensorEquiv,2,0,40,107,1.490145864394503e-05,0.0,0,0.981651376146789,False,-1186AddMonoidHom,171,202,167,3323,8.918182586502541e-05,0.003481142542851,0,0.9161841742486904,True,0187AddMonoidHom.codRestrict,1,0,6,9,1.490145864394503e-05,0.0,1,1.0,False,-1188AddMonoidHom.compLeftContinuous,1,0,6,11,1.490145864394503e-05,0.0,0,1.0,False,-1189AddMonoidHom.completion,1,0,10,15,1.490145864394503e-05,0.0,0,1.0,False,-1190AddMonoidHom.mk,3,4,8,42,1.4940917200017965e-05,3.313008029074959e-08,0,1.0,True,0191AddMonoidHom.mk',1,1,8,12,1.4912013044123286e-05,7.257065206545147e-08,0,1.0,True,0192AddMonoidHom.mker,1,0,3,6,1.490145864394503e-05,0.0,1,1.0,False,-1193AddMonoidHom.mrange,1,0,3,6,1.490145864394503e-05,0.0,1,1.0,False,-1194AddMonoidHom.ofMapMidpoint,1,0,21,34,1.490145864394503e-05,0.0,0,1.0,False,-1195AddMonoidHom.toAddEquiv,1,0,4,6,1.490145864394503e-05,0.0,0,1.0,False,-1196AddMonoidHom.toRealLinearMap,1,0,19,30,1.490145864394503e-05,0.0,0,1.0,False,-1197AddMonoidHomClass,3,308,2,1173,8.026744942779211e-05,0.0,0,1.0,True,0198AddMonoidHomClass.toAddMonoidHom,1,2,2,7,1.4903691785809709e-05,0.0,2,1.0,True,0199AddMonoidWithOne,12,1656,20,32896,0.0048080423247061,0.002162590642343,0,0.9988461772028906,True,0200AddOpposite,74,3,89,597,1.6581495688459106e-05,2.774760226031968e-09,1,0.7361282367447596,True,0201AddOreLocalization,1,1,3,10,1.6828925316996892e-05,0.0,0,1.0,True,28202AddOreLocalization.AddOreSet,6,1,8,50,1.8485561962939036e-05,0.0,0,0.925925925925926,True,28203AddQuantale,4,2,10,38,1.648150348462364e-05,0.0,1,1.0,True,0204AddQuantale.mk,1,0,5,10,1.490145864394503e-05,0.0,1,1.0,False,-1205AddRightCancelMonoid,6,324,10,3223,0.0001391590577489,1.5435909054164417e-05,2,0.9975239863819252,True,0206AddRightCancelSemigroup,6,384,8,5403,0.0001976114100961,2.3882910598563054e-05,2,0.9981525956031776,True,0207AddSemigroup,6,835,6,6612,0.0022680574063038,0.001955061389042,2,0.9984898822108124,True,0208AddSemigroupAction,6,119,8,849,0.0001213479895062,4.697775153332938e-08,1,0.9883585564610012,True,0209AddSemigrp,7,5,10,47,2.158254581207522e-05,3.0350760039272354e-06,2,0.8245614035087719,True,0210AddSemigrp.Hom,4,0,6,27,1.490145864394503e-05,0.0,2,0.8181818181818182,False,-1211AddSemigrp.mk,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-1212AddSubgroup,117,68,175,2740,6.744186183141958e-05,0.000560404438772,1,0.9422283356258596,True,0213AddSubgroup.Characteristic,2,1,6,20,1.4945730097554706e-05,0.0,0,1.0,True,0214AddSubgroup.FiniteIndex,2,3,3,15,1.49691015682926e-05,0.0,1,1.0,True,0215AddSubgroup.IsFiniteRelIndex,2,1,3,13,1.4923594370749868e-05,0.0,1,1.0,True,0216AddSubgroup.MapSubtype,1,0,10,13,1.490145864394503e-05,0.0,1,1.0,False,-1217AddSubgroup.Normal,2,1,12,30,1.4945730097554706e-05,0.0,3,1.0,True,0218AddSubgroup.addSubgroupOfEquivOfLe,1,0,7,9,1.490145864394503e-05,0.0,1,1.0,False,-1219AddSubgroup.mk,3,3,18,68,1.4919125103175102e-05,1.6116732312869012e-07,0,1.0,True,0220AddSubgroup.normedMk,1,0,11,14,1.490145864394503e-05,0.0,3,1.0,False,-1221AddSubgroup.torsionBy,6,0,37,169,1.490145864394503e-05,0.0,0,0.9657142857142856,False,-1222AddSubgroupClass,8,86,26,584,3.195872044119328e-05,0.0001069119089056,2,0.9931972789115646,True,0223AddSubgroupClass.sub,1,0,4,7,1.490145864394503e-05,0.0,1,1.0,False,-1224AddSubgroupClass.toAddCommGroup,1,0,6,8,1.490145864394503e-05,0.0,1,1.0,False,-1225AddSubgroupClass.zsmul,1,0,5,8,1.490145864394503e-05,0.0,1,1.0,False,-1226AddSubmonoid,121,123,118,2814,7.9047180888292e-05,0.0003087977702904,0,0.9136363636363636,True,0227AddSubmonoid.FG,1,0,2,3,1.490145864394503e-05,0.0,1,1.0,False,-1228AddSubmonoid.IsLocalizationMap,4,1,11,53,1.4960973570767984e-05,0.0,0,1.0,True,0229AddSubmonoid.LocalizationMap,12,2,20,125,1.5015647311732086e-05,1.5603686534442059e-07,0,0.9124087591240876,True,0230AddSubmonoid.comap,1,1,3,7,1.5107047401821832e-05,0.0,1,1.0,True,0231AddSubmonoid.inclusion,1,0,8,10,1.490145864394503e-05,0.0,1,1.0,False,-1232AddSubmonoid.map,1,1,3,7,1.495289760776029e-05,0.0,1,1.0,True,0233AddSubmonoid.mk,3,9,12,63,1.509795449230282e-05,4.477086943654551e-07,0,1.0,True,0234AddSubmonoid.nonneg,1,0,6,9,1.490145864394503e-05,0.0,0,1.0,False,-1235AddSubmonoidClass,5,180,10,702,6.816198911400737e-05,2.4471858047310697e-05,0,1.0,True,0236AddSubmonoidClass.nSMul,1,0,6,9,1.490145864394503e-05,0.0,1,1.0,False,-1237AddSubmonoidClass.toAddCommMonoid,1,0,6,8,1.490145864394503e-05,0.0,0,1.0,False,-1238AddSubmonoidWithOneClass,4,45,10,136,2.1278709036345023e-05,5.879217051245621e-05,0,0.9855072463768116,True,0239AddSubsemigroup,24,115,25,754,3.9621010314247305e-05,2.004232396609882e-05,0,0.9817708333333334,True,0240AddSubsemigroup.mk,3,9,8,45,1.509795449230282e-05,3.9941805667412404e-07,1,1.0,True,0241AddTorsor,9,94,20,1613,0.0001734994398644,5.998965275268897e-05,1,0.9913952059004304,True,0242AddUnits,27,12,35,286,1.9691592365724772e-05,9.034967426622142e-06,0,0.7606382978723404,True,0243AddUnits.mk,3,0,12,47,1.490145864394503e-05,0.0,0,1.0,False,-1244AddValuation,57,12,86,1239,1.8179861011665055e-05,0.0,1,0.8907260963335729,True,0245AddValuation.IsEquiv,8,0,31,119,1.490145864394503e-05,0.0,1,1.0,False,-1246AddValuation.of,1,0,33,44,1.490145864394503e-05,0.0,0,1.0,False,-1247AddZero,6,2246,7,33657,0.0045078154750422,0.0021934014135796,0,0.999643589058184,True,0248AddZeroClass,6,2337,9,32171,0.0036517729946738,7.033172553925938e-05,0,0.9998135314044192,True,0249Additive,82,70,108,1723,0.0001688910988222,0.0004387266856661,1,0.8759532282663955,True,0250AdicCompletion,183,16,160,7932,3.480781710968022e-05,0.000297176820208,0,0.8206083178150217,True,0251AdicCompletion.AdicCauchySequence,29,1,64,620,1.51436158077896e-05,0.0,0,0.9011627906976744,True,0252AdicCompletion.Ideal,1,1,30,62,1.49053024084505e-05,0.0,0,1.0,True,0253AdicCompletion.instModuleOfIsScalarTower,1,0,17,26,1.490145864394503e-05,0.0,0,1.0,False,-1254AdicCompletion.instSMul,1,0,17,24,1.490145864394503e-05,0.0,0,1.0,False,-1255AdicCompletion.kerProj,1,0,12,19,1.490145864394503e-05,0.0,0,1.0,False,-1256AdicCompletion.lift,1,0,27,49,1.490145864394503e-05,0.0,0,1.0,False,-1257AdicCompletion.liftAlgHom,1,0,22,42,1.490145864394503e-05,0.0,0,1.0,False,-1258AdicCompletion.liftRingHom,1,0,24,41,1.490145864394503e-05,0.0,0,1.0,False,-1259AdicCompletion.ofAlgEquiv,1,0,8,15,1.490145864394503e-05,0.0,0,1.0,False,-1260AdicCompletion.ofLinearEquiv,1,0,15,25,1.490145864394503e-05,0.0,0,1.0,False,-1261AdicCompletion.ofTensorProductEquivOfFiniteNoetherian,1,0,18,36,1.490145864394503e-05,0.0,0,1.0,False,-1262AdicCompletion.transitionMap,1,0,24,40,1.490145864394503e-05,0.0,0,1.0,False,-1263AdjoinRoot,157,41,163,4895,7.42299337315627e-05,0.0002000023654425,0,0.806823800890061,True,0264AdjoinRoot.Minpoly,7,4,29,254,1.522736695507342e-05,0.0,0,0.9338235294117648,True,0265AdjoinRoot.Polynomial,3,1,22,140,1.4945349101476747e-05,0.0,0,0.9722222222222222,True,0266AdjoinRoot.equiv',1,0,17,31,1.490145864394503e-05,0.0,0,1.0,False,-1267AdjoinRoot.instDistribMulActionOfIsScalarTower,1,0,15,23,1.490145864394503e-05,0.0,0,1.0,False,-1268AdjoinRoot.instField,1,0,10,15,1.490145864394503e-05,0.0,0,1.0,False,-1269AdjoinRoot.instSMulAdjoinRoot,1,0,14,21,1.490145864394503e-05,0.0,0,1.0,False,-1270AdjoinRoot.isAdjoinRootMonic,1,0,7,12,1.490145864394503e-05,0.0,0,1.0,False,-1271AdjoinRoot.lift,1,0,14,19,1.490145864394503e-05,0.0,0,1.0,False,-1272AdjoinRoot.liftAlgHom,1,0,17,25,1.490145864394503e-05,0.0,0,1.0,False,-1273AdjoinRoot.map,1,0,12,19,1.490145864394503e-05,0.0,0,1.0,False,-1274AdjoinRoot.mapAlgHom,1,0,15,25,1.490145864394503e-05,0.0,0,1.0,False,-1275AdjoinRoot.modByMonicHom,1,0,13,23,1.490145864394503e-05,0.0,0,1.0,False,-1276AdjoinRoot.of,1,1,39,74,1.4916088796455604e-05,0.0,0,1.0,True,0277AdjoinRoot.powerBasis',1,0,7,13,1.490145864394503e-05,0.0,0,1.0,False,-1278AdjoinRoot.powerBasisAux,1,0,18,29,1.490145864394503e-05,0.0,0,1.0,False,-1279AdjoinRootXPowSubCEquivToRootsOfUnity,1,0,27,50,1.490145864394503e-05,0.0,0,1.0,False,-1280Affine,3,6,5,560,1.5878020393643127e-05,0.0002517952862505,1,0.99644128113879,True,0281Affine.Simplex,493,6,273,29803,1.7618623556133817e-05,0.0004045316324318,1,0.8799492160973161,True,0282Affine.Triangle,51,2,187,3875,1.528853089613746e-05,9.905894006934126e-05,1,0.9758247292873332,True,0283AffineAddMonoid,4,1,47,159,1.5693132440701134e-05,0.0,0,0.9298245614035088,False,-1284AffineBasis,71,5,168,2757,2.0200354109973193e-05,2.1177173527406783e-05,0,0.8683464566929134,True,0285AffineBasis.instSMul,1,0,18,27,1.490145864394503e-05,0.0,0,1.0,False,-1286AffineBasis.mk,2,0,18,58,1.490145864394503e-05,0.0,1,1.0,False,-1287AffineEquiv,154,21,120,3058,3.816710473418046e-05,9.928580975067918e-05,0,0.8060094886663153,True,0288AffineEquiv.Simps,2,0,6,23,1.490145864394503e-05,0.0,0,1.0,False,-1289AffineEquiv.mk,3,1,23,89,1.4913060639956807e-05,0.0,0,1.0,True,0290AffineEquiv.ofBijective,1,0,8,17,1.490145864394503e-05,0.0,0,1.0,False,-1291AffineIndependent,52,8,176,2848,1.615383162605002e-05,9.752911180125122e-05,1,0.974674880219028,True,0292AffineIsometry,54,10,80,1231,1.6425452630529994e-05,0.0004248841345311,1,0.8437285812200137,True,0293AffineIsometry.mk,3,0,20,87,1.490145864394503e-05,0.0,3,1.0,False,-1294AffineIsometryEquiv,112,13,115,2166,1.723947439126164e-05,2.6279658228222816e-05,3,0.8161266013564431,True,0295AffineIsometryEquiv.mk,2,0,22,65,1.490145864394503e-05,0.0,3,1.0,False,-1296AffineMap,201,61,197,6970,0.0001663958929543,0.0001785566871096,0,0.8583743842364532,True,0297AffineMap.distribMulAction,1,0,16,26,1.490145864394503e-05,0.0,0,1.0,False,-1298AffineMap.instModule,1,0,16,25,1.490145864394503e-05,0.0,0,1.0,False,-1299AffineMap.mk,3,3,20,81,1.4978369321384752e-05,1.936498515054861e-07,0,1.0,True,0300AffineMap.mk',1,0,17,24,1.490145864394503e-05,0.0,0,1.0,False,-1301AffineMap.restrict,7,1,21,209,1.4901966479283896e-05,0.0,1,0.972093023255814,True,0302AffineMonoid,1,0,10,16,1.490145864394503e-05,0.0,1,1.0,False,-1303AffineSpace,13,4,130,1189,2.1995754795949737e-05,9.905894006934126e-05,1,0.9580983078162773,True,0304AffineSubspace,313,43,253,13312,0.0001112562019111,0.0001586331752645,1,0.8607267554635976,True,0305AffineSubspace.Parallel,5,3,27,148,1.49285358532541e-05,1.031863959055638e-08,0,0.9866666666666668,True,0306AffineSubspace.SOppSide,14,2,46,380,1.4938072971825785e-05,0.0,1,0.9547738693467336,True,0307AffineSubspace.SSameSide,13,4,50,395,1.5090150991480223e-05,2.5530788343977546e-05,1,0.9705159705159704,True,0308AffineSubspace.WOppSide,9,4,44,264,1.5112942823899084e-05,0.0002236633832222,1,0.9777777777777776,True,0309AffineSubspace.WSameSide,9,7,38,296,1.5404846396261435e-05,9.496152741462024e-05,1,0.9866666666666668,True,0310AffineSubspace.isometryEquivMap,3,1,31,164,1.4940030511419467e-05,0.0,0,1.0,True,0311AffineSubspace.mk,2,0,26,72,1.490145864394503e-05,0.0,0,1.0,False,-1312AffineSubspace.pointwiseSMul,1,0,16,24,1.490145864394503e-05,0.0,0,1.0,False,-1313AffineSubspace.signedInfDist,1,1,20,36,1.4901966479283896e-05,0.0,3,1.0,True,0314AffineSubspace.toAddTorsor,1,0,8,18,1.490145864394503e-05,0.0,1,1.0,False,-1315AffineSubspace.toNormedAddTorsor,1,0,11,21,1.490145864394503e-05,0.0,1,1.0,False,-1316AhlswedeZhang,8,2,79,547,1.6604304169043064e-05,0.0,1,0.957968476357268,False,-1317AhlswedeZhang.IsAntichain,1,0,55,106,1.490145864394503e-05,0.0,1,1.0,False,-1318AhlswedeZhang.supSum,1,0,5,8,1.490145864394503e-05,0.0,1,1.0,False,-1319AkraBazziRecurrence,110,5,169,7000,2.0993658085658355e-05,0.000310226833102,3,0.920568122041031,True,0320AkraBazziRecurrence.GrowsPolynomially,25,1,118,1775,1.4945030574875515e-05,0.0,3,0.969415619879847,True,0321AkraBazziRecurrence.max_bi,1,0,3,5,1.490145864394503e-05,0.0,1,1.0,False,-1322AkraBazziRecurrence.min_bi,1,0,3,5,1.490145864394503e-05,0.0,1,1.0,False,-1323AkraBazziRecurrence.mk,2,0,22,98,1.490145864394503e-05,0.0,3,1.0,False,-1324AlexDisc,14,3,12,158,2.769744081016907e-05,0.0,2,0.7383177570093458,True,0325AlexDisc.Iso,3,1,11,55,1.5528192175682714e-05,9.905894006934126e-05,2,0.9322033898305084,True,0326AlexDisc.mk,2,0,7,22,1.490145864394503e-05,0.0,2,1.0,False,-1327Alexandrov,18,4,32,450,1.9109306043185697e-05,0.0,2,0.8458646616541353,True,0328Alexandrov.principalOpen,1,0,5,6,1.490145864394503e-05,0.0,2,1.0,False,-1329Alexandrov.principals,1,0,10,12,1.490145864394503e-05,0.0,2,1.0,False,-1330Alexandrov.principalsKanExtension,1,0,11,14,1.490145864394503e-05,0.0,2,1.0,False,-1331AlexandrovDiscrete,6,8,29,134,1.7154198411300456e-05,7.023543824407975e-05,1,0.9852941176470588,True,0332AlgCat,70,15,68,1607,4.536089160412408e-05,0.0001981178801386,0,0.6996081845885939,True,0333AlgCat.HasLimits,2,1,26,97,1.5129508195668294e-05,0.0,2,0.9797979797979798,True,0334AlgCat.Hom,6,4,9,88,1.6151715199155644e-05,1.3143065977284628e-05,0,0.9166666666666666,True,0335AlgCat.instMonoidalCategory,3,1,14,55,1.4958471031875849e-05,0.0,0,0.9322033898305084,True,0336AlgEquiv,304,273,195,9269,0.0002529495236204,0.0007277414641884,0,0.8545219876463538,True,0337AlgEquiv.Algebra,2,2,8,26,1.4930719400660571e-05,0.0,0,0.9285714285714286,True,0338AlgEquiv.Simps,3,0,4,20,1.490145864394503e-05,0.0,1,1.0,False,-1339AlgEquiv.fintype,1,0,9,15,1.490145864394503e-05,0.0,0,1.0,False,-1340AlgEquiv.liftNormal,1,0,7,12,1.490145864394503e-05,0.0,3,1.0,False,-1341AlgEquiv.mk,3,0,15,73,1.490145864394503e-05,0.0,0,1.0,False,-1342AlgEquiv.ofAlgHom,1,1,4,10,1.498080386127178e-05,0.0,0,1.0,True,0343AlgEquiv.ofBijective,1,0,6,10,1.490145864394503e-05,0.0,1,1.0,False,-1344AlgEquiv.ofInjective,1,0,9,17,1.490145864394503e-05,0.0,0,1.0,False,-1345AlgEquiv.ofInjectiveField,1,0,9,18,1.490145864394503e-05,0.0,0,1.0,False,-1346AlgEquiv.ofLinearEquiv,1,0,19,26,1.490145864394503e-05,0.0,0,1.0,False,-1347AlgEquiv.ofLinearEquiv_symm,1,2,18,29,1.496171028898861e-05,1.271300505625505e-06,0,1.0,True,0348AlgEquiv.ofRingEquiv,1,0,12,19,1.490145864394503e-05,0.0,0,1.0,False,-1349AlgEquiv.restrictNormal,1,0,7,12,1.490145864394503e-05,0.0,3,1.0,False,-1350AlgEquiv.restrictNormalHom,1,0,11,18,1.490145864394503e-05,0.0,1,1.0,False,-1351AlgEquiv.restrictScalars,1,0,5,9,1.490145864394503e-05,0.0,0,1.0,False,-1352AlgEquiv.symm_mk,1,1,13,25,1.4943904648841327e-05,0.0,0,1.0,True,0353AlgEquivClass,7,110,42,570,3.7879498840855987e-05,0.0001446642993196,0,0.976027397260274,True,0354AlgEquivClass.toAlgEquiv,1,0,3,8,1.490145864394503e-05,0.0,1,1.0,False,-1355AlgHom,247,424,223,12715,0.0003908113144882,0.001482470338852,0,0.9202431786929144,True,0356AlgHom.Finite,5,0,9,51,1.490145864394503e-05,0.0,0,1.0,False,-1357AlgHom.FinitePresentation,6,0,13,84,1.490145864394503e-05,0.0,0,1.0,False,-1358AlgHom.FiniteType,6,0,9,65,1.490145864394503e-05,0.0,0,1.0,False,-1359AlgHom.IsArithFrobAt,15,0,116,886,1.490145864394503e-05,0.0,0,0.9506437768240344,False,-1360AlgHom.NonUnitalAlgHom,1,0,13,20,1.490145864394503e-05,0.0,0,1.0,False,-1361AlgHom.Simps,1,0,3,6,1.490145864394503e-05,0.0,1,1.0,False,-1362AlgHom.codRestrict,1,0,7,14,1.490145864394503e-05,0.0,0,1.0,False,-1363AlgHom.compLeftContinuous,1,0,7,16,1.490145864394503e-05,0.0,1,1.0,False,-1364AlgHom.equalizer,1,0,3,8,1.490145864394503e-05,0.0,1,1.0,False,-1365AlgHom.liftOfSurjective,1,0,15,24,1.490145864394503e-05,0.0,0,1.0,False,-1366AlgHom.mk,3,5,16,75,1.5451351792184286e-05,6.984330714181525e-07,0,1.0,True,0367AlgHom.mk',1,0,8,13,1.490145864394503e-05,0.0,0,1.0,False,-1368AlgHom.mulLeftRightMatrix,2,1,60,289,1.4950728010023357e-05,0.0,0,1.0,True,0369AlgHom.ofLinearMap,1,0,17,24,1.490145864394503e-05,0.0,0,1.0,False,-1370AlgHom.restrictDomain,1,0,5,8,1.490145864394503e-05,0.0,0,1.0,False,-1371AlgHom.restrictNormal,1,0,7,12,1.490145864394503e-05,0.0,3,1.0,False,-1372AlgHom.restrictScalars,1,2,5,11,1.4917739138068323e-05,2.9550045839716085e-06,0,1.0,True,0373AlgHom.toContinuousLinearMap,1,0,21,32,1.490145864394503e-05,0.0,3,1.0,False,-1374AlgHomClass,11,216,99,1580,7.206324758210214e-05,0.0014164924152707,0,0.9862671660424468,True,0375AlgHomClass.toAlgHom,1,0,3,8,1.490145864394503e-05,0.0,1,1.0,False,-1376Algebra,546,1373,434,57344,0.0022480283254195,0.0072050491685413,0,0.939757456571616,True,0377Algebra.EssFiniteType,20,16,96,913,1.8607758126082084e-05,0.0001330978778788,0,0.9500520291363164,True,0378Algebra.Etale,11,7,71,278,1.6528489985723255e-05,0.0001726079358355,0,0.896774193548387,True,0379Algebra.Extension,157,10,126,6293,3.092139808325523e-05,0.0,0,0.7113145699107042,True,0380Algebra.FinitePresentation,23,18,139,1486,1.7404585407681926e-05,0.0001861643807917,0,0.9501278772378516,True,0381Algebra.FiniteType,26,28,116,1216,2.2485780020958607e-05,0.000535982479469,0,0.9382716049382716,True,0382Algebra.FormallyEtale,29,9,144,963,1.7348895649949938e-05,0.0002243056100107,0,0.900841908325538,True,0383Algebra.FormallySmooth,46,7,176,2902,1.6653742763679614e-05,4.785456041997162e-09,0,0.9583883751651256,True,0384Algebra.FormallyUnramified,50,10,218,3887,1.9685284674272354e-05,2.1361499967581137e-05,0,0.9590426844312856,True,0385Algebra.Generators,196,14,187,9156,2.3092147475343137e-05,2.9843108316905485e-08,0,0.8263537906137184,True,0386Algebra.GrothendieckAddGroup,1,0,12,17,1.490145864394503e-05,0.0,0,1.0,False,-1387Algebra.GrothendieckGroup,10,0,40,264,1.490145864394503e-05,0.0,1,0.9428571428571428,False,-1388Algebra.H1Cotangent,7,1,36,254,1.5704773035316305e-05,0.0,0,0.9548872180451128,True,0389Algebra.HasGoingDown,6,8,44,248,1.5434614083700053e-05,0.0002367368525606,0,0.96875,True,0390Algebra.IsAlgebraic,69,69,154,2932,4.348344886294493e-05,0.0014153663766025,0,0.951948051948052,True,0391Algebra.IsCentral,16,3,93,712,1.5057770759253998e-05,1.533489685647959e-05,0,0.936842105263158,True,0392Algebra.IsEpi,2,1,12,45,1.5169230107735456e-05,0.0,0,1.0,True,0393Algebra.IsEtaleAt,1,0,19,35,1.490145864394503e-05,0.0,0,1.0,False,-1394Algebra.IsGeometricallyReduced,4,1,40,184,1.5258487262332264e-05,0.0,0,0.968421052631579,True,0395Algebra.IsIntegral,23,62,68,718,3.128620011261658e-05,0.0001303758900729,0,0.9522546419098143,True,0396Algebra.IsInvariant,8,6,113,645,1.6290158745217328e-05,0.0002771915982424,0,0.9817351598173516,True,0397Algebra.IsPushout,23,12,77,1111,2.0576500285415987e-05,2.2662735683860785e-06,0,0.945531914893617,True,0398Algebra.IsQuadraticExtension,9,3,52,269,1.526697330067383e-05,4.687223810321875e-05,0,0.950530035335689,True,0399Algebra.IsSeparable,12,41,53,384,2.7925328079074932e-05,0.0001521711269629,0,0.9458128078817734,True,0400Algebra.IsSmoothAt,2,1,100,301,1.4930208932206864e-05,0.0,0,0.9933993399339934,True,0401Algebra.IsStandardEtale,5,1,96,342,1.5258487262332264e-05,0.0,0,0.9715909090909092,True,0402Algebra.IsStandardOpenImmersion,3,3,16,45,1.5686542238559794e-05,0.0,0,0.9183673469387756,True,0403Algebra.IsStandardSmooth,13,9,71,400,1.64844064392985e-05,0.0001787074044008,0,0.966183574879227,True,0404Algebra.IsStandardSmoothOfRelationDimension,1,1,16,31,1.499071579854184e-05,7.277711474304586e-05,0,1.0,True,0405Algebra.IsStandardSmoothOfRelativeDimension,13,9,87,542,1.7237943389487742e-05,0.0004711864855929,0,0.9575971731448764,True,0406Algebra.IsUnramifiedAt,4,0,30,107,1.490145864394503e-05,0.0,0,1.0,False,-1407Algebra.Norm,17,1,98,1003,1.4945972744313235e-05,9.905894006934126e-05,0,0.9489120151371808,True,0408Algebra.PowerBasis,3,4,73,216,1.5967849099782884e-05,5.361642237099598e-05,0,0.9908256880733946,True,0409Algebra.PreSubmersivePresentation,68,10,119,2426,1.7619831496463237e-05,0.0,0,0.8651925820256776,True,0410Algebra.Presentation,102,11,124,3259,1.8678754439185013e-05,0.0001211350240744,0,0.8533647551715109,True,0411Algebra.QuasiFinite,27,5,136,1600,1.5763198853260533e-05,6.77727927945507e-05,0,0.9512485136741974,True,0412Algebra.QuasiFiniteAt,8,2,112,703,1.4971367249513682e-05,1.1638577614745197e-07,0,0.991537376586742,True,0413Algebra.RingHom,5,2,22,133,1.518027711281474e-05,7.711865730538111e-06,0,0.9432624113475178,True,0414Algebra.Smooth,13,4,94,514,1.6753956646683714e-05,0.0001981178801386,0,0.9244604316546764,True,0415Algebra.Subalgebra,1,1,32,61,1.4914047222750246e-05,0.0,0,1.0,True,0416Algebra.SubmersivePresentation,74,7,138,2602,1.7149251876178722e-05,9.362502131015642e-07,0,0.8766846361185984,True,0417Algebra.TensorProduct,222,109,175,9020,9.9003668169705e-05,8.008248144742004e-05,0,0.8538432411965164,True,0418Algebra.Transcendental,6,4,35,127,1.55449101173593e-05,7.05744690590975e-05,0,1.0,True,0419Algebra.Unramified,7,1,16,73,1.499071579854184e-05,2.244783444380907e-05,0,0.7849462365591398,True,0420Algebra.ZariskisMainProperty,3,0,61,200,1.490145864394503e-05,0.0,0,1.0,False,-1421Algebra.adjoin,10,5,49,424,1.5642130027148384e-05,0.0001228757140472,0,0.9680365296803652,True,0422Algebra.algHom,1,0,4,9,1.490145864394503e-05,0.0,0,1.0,False,-1423Algebra.discr,1,2,7,12,1.4994392329881752e-05,2.5373441405667073e-06,0,1.0,True,0424Algebra.elemental,9,0,23,183,1.490145864394503e-05,0.0,1,0.9682539682539684,False,-1425Algebra.id,3,0,11,27,1.490145864394503e-05,0.0,0,1.0,False,-1426Algebra.intNorm,1,0,14,22,1.490145864394503e-05,0.0,0,1.0,False,-1427Algebra.intTrace,1,0,12,20,1.490145864394503e-05,0.0,0,1.0,False,-1428Algebra.lsmul,1,0,16,26,1.490145864394503e-05,0.0,0,1.0,False,-1429Algebra.mk,1,0,12,18,1.490145864394503e-05,0.0,0,1.0,False,-1430Algebra.normalizedTrace,1,0,17,26,1.490145864394503e-05,0.0,0,1.0,False,-1431Algebra.pushoutDesc,1,0,11,18,1.490145864394503e-05,0.0,0,1.0,False,-1432Algebra.tensorH1CotangentOfIsLocalization,1,0,19,37,1.490145864394503e-05,0.0,0,1.0,False,-1433AlgebraNorm,15,3,56,374,3.041445229620156e-05,0.0,1,0.8990384615384616,True,0434AlgebraNorm.mk,2,0,21,63,1.490145864394503e-05,0.0,1,1.0,False,-1435AlgebraNormClass,4,3,16,96,1.875123472368894e-05,1.3104414103028309e-06,1,0.96,True,0436Algebraic,10,0,58,400,1.490145864394503e-05,0.0,1,0.9569377990430622,False,-1437AlgebraicClosure,25,31,113,1464,9.763810860003328e-05,0.0001981178801386,0,0.9014778325123152,True,0438AlgebraicClosure.Monics,2,1,45,142,1.5134620593471328e-05,0.0,0,1.0,True,0439AlgebraicClosure.finEquivRoots,1,0,14,26,1.490145864394503e-05,0.0,0,1.0,False,-1440AlgebraicClosure.instSMulOfIsScalarTower,1,0,16,22,1.490145864394503e-05,0.0,0,1.0,False,-1441AlgebraicClosure.maxIdeal,1,1,16,25,1.497917929378713e-05,0.0,0,1.0,True,0442AlgebraicGeometry,782,70,406,40039,0.0001144347536672,0.0046683994268005,2,0.8754947193492664,True,0443AlgebraicGeometry.AffineScheme,23,1,20,318,1.5227864332936891e-05,0.0,2,0.8502673796791443,True,0444AlgebraicGeometry.AffineSpace,71,0,100,3541,1.490145864394503e-05,0.0,2,0.8917149332661798,False,-1445AlgebraicGeometry.AffineTargetMorphismProperty,22,6,58,635,1.5385837990319276e-05,3.2217459403144175e-05,2,0.8931082981715893,True,0446AlgebraicGeometry.ExistsHomHomCompEqCompAux,28,2,56,991,1.4920173205837705e-05,7.528723792593357e-05,2,0.8462852263023057,True,0447AlgebraicGeometry.Flat,23,4,82,918,1.5083942833863778e-05,0.0003955095373568,2,0.9483471074380164,True,0448AlgebraicGeometry.FormallyUnramified,10,3,96,578,1.5142452648113866e-05,0.000172673110339,2,0.9665551839464884,True,0449AlgebraicGeometry.HasAffineProperty,35,12,81,1949,1.59205033569544e-05,1.7989882696225073e-07,2,0.9401833092137,True,0450AlgebraicGeometry.HasRingHomProperty,36,14,89,2458,1.5960755622963044e-05,0.0001048110975967,2,0.9439324116743472,True,0451AlgebraicGeometry.Ideal,1,1,45,85,1.4904517637467673e-05,1.3543761577732423e-06,0,1.0,True,0452AlgebraicGeometry.IsAffine,4,6,28,139,1.5085478128482866e-05,0.0,2,0.9858156028368794,True,0453AlgebraicGeometry.IsAffineHom,4,3,18,82,1.4939533450386116e-05,0.0001051657936249,2,0.9761904761904762,True,0454AlgebraicGeometry.IsAffineOpen,89,9,150,5026,1.6072905904731778e-05,0.0001660129877128,2,0.9401421623643846,True,0455AlgebraicGeometry.IsArtinianScheme,6,1,12,70,1.491063562451296e-05,0.0001641202237647,2,0.8974358974358975,True,0456AlgebraicGeometry.IsClosedImmersion,40,8,106,1721,1.5484546923152498e-05,8.66716556721381e-05,2,0.9409513395297976,True,0457AlgebraicGeometry.IsDominant,7,2,27,199,1.4927640389265902e-05,0.0,2,0.9802955665024632,True,0458AlgebraicGeometry.IsEtale,6,1,46,170,1.4912417541804052e-05,0.0,2,0.9444444444444444,True,0459AlgebraicGeometry.IsFinite,26,5,69,704,1.5093925311379643e-05,1.1043360096916529e-07,2,0.9312169312169312,True,0460AlgebraicGeometry.IsImmersion,26,5,79,909,1.5104597876714064e-05,0.0002361156069968,2,0.9191102123356926,True,0461AlgebraicGeometry.IsIntegral,3,2,17,79,1.4944085880594395e-05,0.0,2,1.0,True,0462AlgebraicGeometry.IsIntegralHom,22,5,84,818,1.5018820281428967e-05,5.3021759133179894e-05,2,0.9295454545454546,True,0463AlgebraicGeometry.IsLocalAtSource,12,0,34,268,1.490145864394503e-05,0.0,2,1.0,False,-1464AlgebraicGeometry.IsLocalAtTarget,10,0,40,299,1.490145864394503e-05,0.0,2,1.0,False,-1465AlgebraicGeometry.IsLocalIso,9,2,31,194,1.4949888122289734e-05,9.905894006934126e-05,2,0.923809523809524,True,0466AlgebraicGeometry.IsLocallyArtinian,10,3,67,396,1.530130483912168e-05,0.0001618251105667,2,0.9428571428571428,True,0467AlgebraicGeometry.IsLocallyNoetherian,3,3,33,151,1.5127946911704218e-05,0.0,2,0.9869281045751634,True,0468AlgebraicGeometry.IsNoetherian,4,2,26,109,1.5115111152309564e-05,6.491889389044021e-05,2,0.9646017699115044,True,0469AlgebraicGeometry.IsOpenImmersion,82,25,100,3721,1.7413319647961577e-05,6.922561419065678e-05,2,0.9384615384615383,True,0470AlgebraicGeometry.IsPreimmersion,17,5,53,526,1.5020488822075205e-05,0.0,2,0.9392857142857144,True,0471AlgebraicGeometry.IsProper,19,2,34,328,1.492488702500966e-05,2.0962442561186714e-06,2,0.8817204301075269,True,0472AlgebraicGeometry.IsReduced,3,2,40,147,1.4933686256159823e-05,0.0,2,1.0,True,0473AlgebraicGeometry.IsSeparated,26,8,94,853,1.5728513815966858e-05,7.1932887521451e-06,2,0.9221621621621622,True,0474AlgebraicGeometry.IsSmooth,2,2,24,91,1.500061903388248e-05,0.0,2,1.0,True,0475AlgebraicGeometry.IsSmoothOfRelativeDimension,3,2,27,143,1.4994523764987093e-05,0.0,2,0.986206896551724,True,0476AlgebraicGeometry.IsStableUnderBaseChange,1,0,28,62,1.490145864394503e-05,0.0,2,1.0,False,-1477AlgebraicGeometry.IsZariskiLocalAtSource,12,8,42,508,1.5748436132545693e-05,5.368692935015937e-06,2,0.951310861423221,True,0478AlgebraicGeometry.IsZariskiLocalAtTarget,12,16,62,890,1.5838793667004672e-05,0.0001723954705169,2,0.973741794310722,True,0479AlgebraicGeometry.LocallyOfFinitePresentation,3,2,20,115,1.490914218782732e-05,0.0,2,1.0,True,0480AlgebraicGeometry.LocallyOfFiniteType,6,3,61,376,1.4945900863380683e-05,0.0004341590915204,2,1.0,True,0481AlgebraicGeometry.LocallyQuasiFinite,3,1,25,92,1.4907576630990317e-05,0.0002494079614205,2,1.0,True,0482AlgebraicGeometry.LocallyRingedSpace,250,60,144,11530,4.1380017044906e-05,0.0042221867819672,2,0.8124295377677565,True,0483AlgebraicGeometry.Polynomial,5,0,28,165,1.490145864394503e-05,0.0,0,0.9322033898305084,False,-1484AlgebraicGeometry.PresheafedSpace,234,65,88,12718,5.600238887634201e-05,0.000202154319202,2,0.8005791262747073,True,0485AlgebraicGeometry.PrimeSpectrum,1,11,4,238,1.6022191251414587e-05,0.0,2,1.0,True,0486AlgebraicGeometry.Proj,88,3,250,6410,1.5092659109743532e-05,0.0001596082679399,2,0.931415286253996,True,0487AlgebraicGeometry.ProjIsoSpecTopComponent,35,2,138,2933,1.493957264802887e-05,6.439684724338712e-06,0,0.9532011699707508,True,0488AlgebraicGeometry.ProjectiveSpectrum,35,2,161,2840,1.5014967893130416e-05,0.0,2,0.9441489361702128,True,0489AlgebraicGeometry.QuasiCompact,5,4,19,164,1.4977379167551991e-05,3.0806846557218024e-06,2,0.9879518072289156,True,0490AlgebraicGeometry.QuasiCompactCover,16,3,60,633,1.4921395849704352e-05,9.935462423706896e-05,2,0.9547511312217196,True,0491AlgebraicGeometry.QuasiSeparated,5,3,34,148,1.4951630154933635e-05,3.507169122106591e-07,2,0.9736842105263158,True,0492AlgebraicGeometry.RingedSpace,21,3,93,1102,1.5078951389580424e-05,0.0,2,0.9483648881239244,True,0493AlgebraicGeometry.Scheme,1932,62,354,66151,0.000106899815987,0.003353684466936,2,0.7026800225194124,True,0494AlgebraicGeometry.SheafedSpace,129,63,81,7414,4.394792701111241e-05,2.6194774211846275e-05,2,0.8769813106221906,True,0495AlgebraicGeometry.Spec,71,32,60,2129,1.9303532260209223e-05,0.0002466797184428,2,0.8665038665038665,True,0496AlgebraicGeometry.StructureSheaf,117,10,153,5810,1.5598180339550454e-05,3.7767569743212896e-08,2,0.885670731707317,True,0497AlgebraicGeometry.Surjective,9,7,30,289,1.543571277679674e-05,8.508908954674184e-07,2,0.9665551839464884,True,0498AlgebraicGeometry.SurjectiveOnStalks,16,4,88,765,1.5156084217833072e-05,0.0001446758645227,2,0.9598494353826852,True,0499AlgebraicGeometry.UniversallyClosed,7,6,28,128,1.49926801672778e-05,0.000157816642536,2,0.9411764705882352,True,0500AlgebraicGeometry.UniversallyInjective,5,2,13,73,1.4915260174872605e-05,4.783136053936831e-05,2,1.0,True,0501AlgebraicGeometry.UniversallyOpen,16,3,33,287,1.4935243207079405e-05,4.236556735297527e-05,2,0.9111111111111112,True,0502AlgebraicGeometry.ValuativeCommSq,15,4,20,288,1.648615682020702e-05,0.0,2,0.8323699421965318,True,0503AlgebraicGeometry.ValuativeCriterion,11,4,85,607,1.5415094548086886e-05,6.533244580227073e-05,2,0.9440124416796268,True,0504AlgebraicGeometry.affineAnd,1,0,10,13,1.490145864394503e-05,0.0,2,1.0,False,-1505AlgebraicGeometry.instAlgebraCarrierObjOppositeOpensCarrierCarrierCommRingCatPresheafOpOpensFunctionFieldOfNonemptyToScheme,1,0,18,31,1.490145864394503e-05,0.0,2,1.0,False,-1506AlgebraicGeometry.sourceAffineLocally,1,0,10,13,1.490145864394503e-05,0.0,2,1.0,False,-1507AlgebraicGeometry.sourceLocalClosure,12,1,39,354,1.517330645829074e-05,0.0,2,0.9619565217391304,True,0508AlgebraicGeometry.ΓSpec,20,4,58,761,1.5026823972474931e-05,0.0,2,0.9500624219725344,True,0509AlgebraicIndepOn,5,2,31,147,1.5548729071762012e-05,0.0,1,0.9865771812080536,True,0510AlgebraicIndependent,87,14,142,3403,2.665839983225599e-05,0.0005518416404099,0,0.939795636564485,True,0511AlgebraicIndependent.aevalEquiv,1,0,11,20,1.490145864394503e-05,0.0,0,1.0,False,-1512AlgebraicIndependent.aevalEquivField,1,0,26,46,1.490145864394503e-05,0.0,0,1.0,False,-1513AlgebraicIndependent.matroid,1,0,12,18,1.490145864394503e-05,0.0,0,1.0,False,-1514AlgebraicIndependent.mvPolynomialOptionEquivPolynomialAdjoin,1,0,17,27,1.490145864394503e-05,0.0,0,1.0,False,-1515AlgebraicTopology,24,8,53,870,1.563777547614975e-05,0.0003243777559696,2,0.925531914893617,True,0516AlgebraicTopology.AlternatingCofaceMapComplex,5,1,39,172,1.49840370065131e-05,0.0,2,0.9148936170212766,True,0517AlgebraicTopology.AlternatingFaceMapComplex,10,8,86,650,1.5648268092835773e-05,0.0,2,0.9587020648967552,True,0518AlgebraicTopology.DoldKan,294,5,140,10582,1.625516075433669e-05,0.0,2,0.8517385705086928,True,0519AlgebraicTopology.NormalizedMooreComplex,10,3,35,410,1.5182887939935788e-05,1.650982334489021e-07,2,0.9151785714285714,True,0520AlgebraicTopology.SSet,1,1,15,28,1.4917974316458644e-05,1.3874207179194622e-05,2,1.0,True,0521Alignment,6,6,2,18,3.1545696624865917e-05,0.0,1,0.6923076923076923,True,0522Alignment.center,1,0,5,6,1.490145864394503e-05,0.0,1,1.0,False,-1523Alignment.left,1,0,5,6,1.490145864394503e-05,0.0,1,1.0,False,-1524Alignment.right,1,0,5,6,1.490145864394503e-05,0.0,1,1.0,False,-1525AlternatingGroup,8,1,50,366,1.4906652487538022e-05,0.0,1,0.9838709677419356,True,0526AlternatingMap,183,41,168,5491,3.325693301694739e-05,0.0001346486881913,0,0.834625322997416,True,0527AlternatingMap.constLinearEquivOfIsEmpty,1,0,11,20,1.490145864394503e-05,0.0,0,1.0,False,-1528AlternatingMap.constOfIsEmpty,1,0,3,7,1.490145864394503e-05,0.0,1,1.0,False,-1529AlternatingMap.domCoprod,4,2,65,341,1.4924747349655915e-05,1.927625220627414e-07,1,0.9827089337175792,True,0530AlternatingMap.instDistribMulAction,1,0,13,20,1.490145864394503e-05,0.0,0,1.0,False,-1531AlternatingMap.instModule,1,0,13,18,1.490145864394503e-05,0.0,0,1.0,False,-1532AlternatingMap.instSMul,1,0,13,20,1.490145864394503e-05,0.0,0,1.0,False,-1533AlternatingMap.measure,1,0,19,32,1.490145864394503e-05,0.0,3,1.0,False,-1534AlternatingMap.mk,3,1,12,54,1.4907373958056874e-05,0.0,0,1.0,True,0535AlternatingMap.mkContinuous,1,0,19,32,1.490145864394503e-05,0.0,3,1.0,False,-1536AlternatingMap.ofSubsingleton,1,0,5,11,1.490145864394503e-05,0.0,1,1.0,False,-1537Alternative,5,45,1,316,6.369826619183787e-05,0.0,1,1.0,True,0538AlternativeMonad,5,16,3,79,4.027629696779815e-05,1.3975305539731417e-06,1,0.9518072289156626,True,0539AmpleSet,8,0,72,294,1.490145864394503e-05,0.0,1,0.9607843137254902,False,-1540AnalyticAt,102,28,232,5381,5.049715421298521e-05,0.0001924178581284,3,0.96106447579925,True,0541AnalyticAtWithin,1,1,21,29,1.4910371415854743e-05,1.804256901445229e-05,3,1.0,True,0542AnalyticOn,53,9,162,2015,2.0558364116801735e-05,0.0001781972476852,3,0.977680737506065,True,0543AnalyticOnNhd,91,25,199,3672,2.6212035239890462e-05,0.0003095496874439,3,0.9719428268925356,True,0544AnalyticWithinAt,48,7,154,1791,1.5968089099451917e-05,1.7010465184677794e-05,3,0.961352657004831,True,0545And,11,2407,3,24466,0.0041585092682356,0.0742755457669738,1,0.9990200081665986,True,0546AndOp,4,5,2,22,1.8862806187287456e-05,3.9275622482230765e-05,1,0.9166666666666666,True,0547AndThen,4,1,2,8,1.5528192175682714e-05,9.069650393005934e-06,1,0.8,True,0548AntilipschitzWith,46,22,147,1424,1.803979373016934e-05,0.0001620731023688,1,0.9557046979865772,True,0549AntisymmRel,38,13,15,287,0.0003728858226039,0.0006192540791392,1,0.841642228739003,True,0550Antisymmetrization,5,1,14,65,1.4907964350684524e-05,0.0,1,0.9420289855072465,True,0551Antitone,179,32,192,4092,2.730206412171458e-05,0.0005250898023653,1,0.9402573529411764,True,0552AntitoneOn,90,13,155,2425,1.8649801418911293e-05,0.0003288880154585,1,0.9506076048608388,True,0553Antivary,52,3,89,1519,1.5229332453837555e-05,5.491948410627694e-05,1,0.9743425272610649,True,0554AntivaryOn,55,5,93,1717,1.5291866917214742e-05,6.696220316456047e-05,1,0.9750141964792732,True,0555Append,4,6,2,18,1.6263753918217037e-05,2.358546192127173e-08,1,0.9,True,0556Applicative,10,268,10,3076,0.0004251129394869,7.0295913799808275e-06,1,0.9928986442866364,True,0557ApplicativeTransformation,24,15,12,149,2.3267102911554908e-05,0.0,1,0.6622222222222223,True,0558ApplicativeTransformation.mk,2,0,8,22,1.490145864394503e-05,0.0,1,1.0,False,-1559ApproximatesLinearOn,31,4,181,2299,1.5314979069885833e-05,0.0004641174658768,3,0.968,True,0560Archimedean,22,14,108,1291,1.8149191468528307e-05,0.000107348739298,1,0.9254480286738352,True,0561ArchimedeanClass,100,7,174,4950,1.8613319700206497e-05,0.0003223514277904,0,0.9059297218155198,True,0562ArchimedeanClass.FiniteElement,31,2,68,1221,1.569238335081039e-05,0.0,0,0.9327731092436976,True,0563ArchimedeanClass.FiniteResidueField,19,1,112,1085,1.5136913545787878e-05,0.0,0,0.8944765045342127,True,0564ArchimedeanClass.ball,1,0,24,36,1.490145864394503e-05,0.0,0,1.0,False,-1565ArchimedeanClass.closedBall,1,0,24,36,1.490145864394503e-05,0.0,0,1.0,False,-1566ArchimedeanClass.lift,1,0,6,9,1.490145864394503e-05,0.0,1,1.0,False,-1567ArchimedeanClass.liftOrderHom,1,0,9,14,1.490145864394503e-05,0.0,1,1.0,False,-1568ArchimedeanClass.stdPart,1,1,9,15,1.4908091176391309e-05,0.0,1,1.0,True,0569ArithmeticFunction,234,13,219,7244,2.7817886522882652e-05,1.7802840355769777e-05,1,0.8229947739150193,True,0570ArithmeticFunction.IsMultiplicative,27,5,122,1362,1.5329530587190234e-05,1.3345045232162811e-05,1,0.9632248939179632,True,0571ArithmeticFunction.Moebius,1,0,2,2,1.490145864394503e-05,0.0,1,1.0,False,-1572ArithmeticFunction.Omega,1,0,2,2,1.490145864394503e-05,0.0,1,1.0,False,-1573ArithmeticFunction.omega,1,0,2,2,1.490145864394503e-05,0.0,1,1.0,False,-1574ArithmeticFunction.sigma,1,0,2,2,1.490145864394503e-05,0.0,1,1.0,False,-1575ArithmeticFunction.vonMangoldt,19,1,155,1707,1.5315800451774817e-05,0.0001003237551278,3,0.9606077658975802,True,0576ArithmeticFunction.zeta,1,0,2,2,1.490145864394503e-05,0.0,1,1.0,False,-1577Array,1999,159,132,34461,0.0004672387733637,0.0047460914668185,1,0.6882701871417444,True,0578Array.Array,1,1,6,14,1.49155559457309e-05,2.081319959563653e-06,1,1.0,True,0579Array.Matcher,19,3,15,150,1.6033541495279114e-05,2.1757251788983437e-05,1,0.7211538461538461,True,0580Array.Mem,2,1,3,11,1.4943750549302634e-05,0.0,1,1.0,True,0581Array.Perm,13,3,14,154,1.5590282775586433e-05,0.0,1,0.9506172839506172,True,0582Array.PrefixTable,10,3,17,147,1.631434288797955e-05,0.0,1,0.84,True,0583Array.Subarray,1,1,4,8,1.49155559457309e-05,1.1546039546794058e-05,1,1.0,True,0584Array.anyM,4,1,16,100,1.507062626537544e-05,0.0,1,0.9615384615384616,True,0585Array.appendCore,1,1,6,13,1.49155559457309e-05,4.002425333392955e-07,1,1.0,True,0586Array.attachWith,1,1,3,8,1.4957847851088502e-05,0.0,1,1.0,True,0587Array.back,1,1,5,15,1.501423705823197e-05,0.0,1,1.0,True,0588Array.cyclicPermute!,1,1,2,5,1.49155559457309e-05,0.0,1,1.0,True,0589Array.eraseIdx,2,2,7,23,1.5003021635711904e-05,1.3207858675912168e-07,1,1.0,True,0590Array.extract,2,1,8,46,1.5112918170733045e-05,0.0,1,0.9583333333333334,True,0591Array.findIdx?,2,1,12,44,1.49155559457309e-05,6.603929337956084e-08,1,0.9565217391304348,True,0592Array.foldlM,4,2,15,79,1.6031863812706795e-05,0.0,1,0.9518072289156626,True,0593Array.foldlM_toList,1,1,8,14,1.49155559457309e-05,0.0001246535082821,1,1.0,True,0594Array.foldrM,4,2,17,93,1.5451037492387502e-05,0.0,1,0.9587628865979382,True,0595Array.foldrM_eq_reverse_foldlM_toList,1,0,20,62,1.490145864394503e-05,0.0,1,1.0,False,-1596Array.forIn',4,2,17,85,1.5012176098108216e-05,1.5824184365197172e-06,1,0.9550561797752808,True,0597Array.getElem_zero_flatten,1,1,15,43,1.49155559457309e-05,0.0001140257870869,1,1.0,True,0598Array.getInternal,1,0,4,5,1.490145864394503e-05,0.0,1,1.0,False,-1599Array.getLit,1,0,4,5,1.490145864394503e-05,0.0,1,1.0,False,-1600Array.insertIdx,1,1,4,9,1.4957847851088502e-05,0.0,1,1.0,True,0601Array.isEqvAux,1,1,4,8,1.491010428174243e-05,0.0,1,1.0,True,0602Array.isPrefixOfAux,1,1,4,8,1.4998078796322348e-05,0.0,1,1.0,True,0603Array.mapFinIdxM,4,2,14,68,1.4935417006048368e-05,0.0,1,0.9444444444444444,True,0604Array.merge,2,1,12,24,1.49155559457309e-05,3.7130220909665335e-05,1,0.9230769230769232,True,0605Array.mergeAdjacentDups,2,1,10,20,1.49155559457309e-05,2.583054662494847e-05,1,0.9090909090909092,True,0606Array.mergeDedupWith,2,1,12,26,1.49155559457309e-05,3.642288058907828e-05,1,0.9285714285714286,True,0607Array.mergeUnsortedDedup,1,1,5,11,1.49155559457309e-05,1.955144613318678e-06,1,1.0,True,0608Array.mk,2,6,6,145,1.7311893068109266e-05,0.0001005830665814,1,1.0,True,0609Array.mkPrefixTableOfStream,1,1,3,6,1.49155559457309e-05,0.0,1,1.0,True,0610Array.pmap,1,2,3,11,1.49664934888859e-05,0.0,1,1.0,True,0611Array.qpartition,1,0,5,7,1.490145864394503e-05,0.0,1,1.0,False,-1612Array.reverse,3,1,9,33,1.4943750549302634e-05,0.0,1,0.9428571428571428,True,0613Array.set,1,2,4,16,1.5048034408665228e-05,0.0,1,1.0,True,0614Array.swap,1,0,4,5,1.490145864394503e-05,0.0,1,1.0,False,-1615Array.swapAt,1,0,4,5,1.490145864394503e-05,0.0,1,1.0,False,-1616Array.toListLitAux,2,0,10,25,1.490145864394503e-05,0.0,1,1.0,False,-1617Array.uset,1,0,5,6,1.490145864394503e-05,0.0,1,1.0,False,-1618ArzelaAscoli,4,1,32,180,1.4920520984704484e-05,9.905894006934126e-05,1,0.9782608695652174,True,0619AsLinearOrder,1,0,9,17,1.490145864394503e-05,0.0,1,1.0,False,-1620AssociatePrimes,1,1,5,12,1.4912939787778192e-05,0.0,1,1.0,True,0621Associated,53,38,78,1220,4.609035421639997e-05,0.0002392996236629,1,0.9200603318250375,True,0622Associates,175,26,122,4252,8.052787361261244e-05,0.0003962357602773,1,0.7379382158972579,True,0623Associates.FactorSet,6,1,27,204,1.552801928854693e-05,0.0,1,0.9622641509433962,True,0624Associates.Prime,1,1,14,27,1.4920445330145088e-05,0.0,1,1.0,True,0625Associates.bcount,2,1,10,27,1.4920445330145088e-05,0.0,1,1.0,True,0626Associates.count,1,2,7,21,1.5040220722397574e-05,0.0,1,1.0,True,0627Associates.factors,1,1,5,12,1.4977405388745262e-05,0.0,1,1.0,True,0628Associates.factors',1,0,5,10,1.490145864394503e-05,0.0,1,1.0,False,-1629Associates.instLattice,1,0,5,8,1.490145864394503e-05,0.0,1,1.0,False,-1630Associates.instMax,1,0,5,8,1.490145864394503e-05,0.0,1,1.0,False,-1631Associates.instMin,1,0,5,8,1.490145864394503e-05,0.0,1,1.0,False,-1632Associates.out,1,0,7,12,1.490145864394503e-05,0.0,0,1.0,False,-1633Asymptotics,292,95,205,11189,0.0001182965494999,0.0005091984274928,3,0.9041616161616162,True,0634Asymptotics.Filter,1,1,104,216,1.4908122901896526e-05,7.382775828987127e-08,3,1.0,True,0635Asymptotics.IsBigO,106,50,176,3348,4.04863686159437e-05,0.0002615421898188,3,0.9479048697621744,True,0636Asymptotics.IsBigOTVS,26,6,112,1407,1.53928758311481e-05,0.000114706787944,3,0.9656829100892244,True,0637Asymptotics.IsBigOWith,66,9,116,1865,1.8150878707265425e-05,0.0,3,0.9357752132463624,True,0638Asymptotics.IsEquivalent,41,11,140,1467,1.8397262748135336e-05,1.4056820793748771e-06,3,0.940987812700449,True,0639Asymptotics.IsLittleO,95,35,133,2504,3.3802681437799145e-05,7.298253270386625e-05,3,0.9385307346326835,True,0640Asymptotics.IsLittleOTVS,33,7,129,2015,1.776604364934884e-05,5.340524380950965e-06,3,0.9767329132331556,True,0641Asymptotics.IsTheta,50,9,93,943,1.668575489238728e-05,2.6389455921387304e-05,3,0.943943943943944,True,0642Asymptotics.IsThetaTVS,7,3,32,273,1.4950309465602593e-05,0.0,3,0.978494623655914,True,0643Asymptotics.SuperpolynomialDecay,19,1,75,709,1.4975390015955934e-05,0.0,0,0.9516778523489932,True,0644Asymptotics.isBigOTVS,1,0,32,40,1.490145864394503e-05,0.0,3,1.0,False,-1645Asymptotics.isLittleOTVS,1,0,33,42,1.490145864394503e-05,0.0,3,1.0,False,-1646AugmentedSimplexCategory,96,0,44,2563,1.490145864394503e-05,0.0,2,0.8714722883373003,False,-1647BAll,2,1,0,2,1.4998078796322348e-05,0.0,1,1.0,False,-1648BEq,13,121,8,1009,0.0001733733103956,0.0001964578729087,1,0.9582146248812916,True,0649BEx,4,0,1,3,1.490145864394503e-05,0.0,1,1.0,False,-1650BaireMeasurableSet,16,1,17,181,1.5133238457557186e-05,0.0,1,0.9783783783783784,True,0651BaireSpace,5,5,92,341,1.7684361844454094e-05,0.0001146689113398,1,0.9884057971014492,True,0652Balanced,27,5,120,1320,2.125873003886384e-05,3.942192615566181e-05,3,0.9777777777777776,True,0653BarrelledSpace,2,3,6,33,1.526456422972165e-05,4.238060549847798e-06,1,1.0,True,0654BaseIO,8,2,8,48,1.580972725174469e-05,0.0003187587700704,1,0.96,True,0655Basis,14,4,96,768,1.7139656932680007e-05,0.0001122211606414,0,0.9820971867007672,True,0656Basis.multilinearMap,1,0,9,17,1.490145864394503e-05,0.0,0,1.0,False,-1657Basis.piTensorProduct,1,0,6,11,1.490145864394503e-05,0.0,0,1.0,False,-1658Batteries,49,37,39,1705,9.831484015930167e-05,0.0029707540273556,1,0.959482273494654,True,0659Batteries.AssocList,85,4,32,685,2.4509802476974182e-05,9.185677537579884e-07,1,0.5941023417172593,True,0660Batteries.BEqCmp,4,3,8,52,1.5750516167980577e-05,1.7790750627191534e-06,1,0.9629629629629628,True,0661Batteries.BinaryHeap,26,3,25,200,2.0451953967330347e-05,6.56521920343885e-05,1,0.6410256410256411,True,0662Batteries.BinomialHeap,135,1,42,674,1.717940074681763e-05,0.0,1,0.3756967670011148,True,0663Batteries.ByteSubarray,23,2,24,142,1.5390228508309835e-05,8.589740870917976e-05,1,0.6228070175438597,True,0664Batteries.CodeAction,49,1,55,813,1.5214825409813871e-05,0.0006080359910648,1,0.8424870466321244,True,0665Batteries.DList,29,2,13,152,1.6287374592149517e-05,9.905894006934126e-05,1,0.628099173553719,True,0666Batteries.ExtendedBinder,4,2,2,4,1.5011906080942247e-05,5.7929204718913014e-09,1,0.3333333333333333,True,0667Batteries.HashMap,31,1,15,136,1.581263548509407e-05,1.7378761415673904e-08,1,0.6938775510204082,True,0668Batteries.LECmp,5,2,9,52,1.5881462359513004e-05,9.872874360244344e-05,1,0.896551724137931,True,0669Batteries.LTCmp,7,2,10,66,1.5881462359513004e-05,9.905894006934126e-05,1,0.868421052631579,True,0670Batteries.LawfulCmp,8,1,10,76,1.535704706451955e-05,0.0,1,0.8837209302325582,True,0671Batteries.Linter,27,0,41,216,1.490145864394503e-05,0.0,1,0.7605633802816901,False,-1672Batteries.OrientedCmp,8,5,5,77,2.1668968928124637e-05,0.0,1,0.8461538461538461,True,0673Batteries.OrientedOrd,5,1,6,40,1.5182942660569425e-05,0.0,1,0.9523809523809524,False,-1674Batteries.PairingHeap,19,0,10,92,1.490145864394503e-05,0.0,1,0.8363636363636363,False,-1675Batteries.PairingHeapImp,62,2,34,369,2.2866920345954227e-05,0.0,1,0.4141414141414141,True,0676Batteries.RBColor,7,3,6,215,1.6919286369794172e-05,0.0,1,0.9555555555555556,True,0677Batteries.RBMap,108,2,26,726,1.5405357140708208e-05,9.951882809477594e-05,1,0.7515527950310559,True,0678Batteries.RBNode,434,4,51,3897,2.3199834636812747e-05,1.2305112063655896e-05,1,0.4529815180750901,True,0679Batteries.RBSet,141,1,35,1204,1.5610002368555467e-05,0.0,1,0.6872146118721462,True,0680Batteries.Random,30,0,19,128,1.490145864394503e-05,0.0,1,0.4210526315789473,False,-1681Batteries.RunningStats,11,1,15,67,1.535704706451955e-05,0.0001740610225737,1,0.7528089887640449,True,0682Batteries.TotalBLE,2,2,2,6,1.5417903534388345e-05,0.0,1,1.0,True,0683Batteries.TransCmp,13,5,9,130,2.2721336648903054e-05,0.0,1,0.7831325301204819,True,0684Batteries.TransOrd,5,0,8,45,1.490145864394503e-05,0.0,1,0.9574468085106383,False,-1685Batteries.UFNode,6,2,7,84,1.6007148669883334e-05,1.650982334489021e-08,1,0.9545454545454546,True,0686Batteries.UnionFind,117,1,36,1332,1.535704706451955e-05,9.91690055583072e-05,1,0.5967741935483871,True,0687Batteries.Util,10,1,7,72,2.3345979142676797e-05,0.0,4,0.9230769230769232,False,-1688Batteries.Vector,1,0,4,5,1.490145864394503e-05,0.0,1,1.0,False,-1689Batteries.instInhabitedAssocList,1,1,2,3,1.535704706451955e-05,4.983420178773641e-05,1,1.0,True,0690Batteries.instReprRBColor,1,1,6,9,1.535704706451955e-05,0.0,1,1.0,True,0691Batteries.instReprRBNode,1,1,8,17,1.535704706451955e-05,9.905894006934126e-05,1,1.0,True,0692BddAbove,36,20,134,1054,2.215968598078974e-05,0.0002871129874489,1,0.9795539033457248,True,0693BddBelow,26,11,68,390,1.6077208165569213e-05,7.624031110286206e-05,1,0.9798994974874372,True,0694BddDistLat,41,11,38,608,3.969288558338394e-05,0.0001981178801386,1,0.6637554585152838,True,0695BddDistLat.Hom,6,1,9,67,1.5959499030110377e-05,0.0,1,0.8933333333333333,True,0696BddDistLat.Iso,3,1,17,79,1.4977032957242555e-05,0.0,1,0.9518072289156626,True,0697BddDistLat.mk,2,0,13,34,1.490145864394503e-05,0.0,1,1.0,False,-1698BddLat,36,6,45,634,4.124218633170168e-05,0.0001981178801386,2,0.7458823529411764,True,0699BddLat.Hom,6,1,8,59,1.563721835869233e-05,0.0,2,0.8805970149253731,True,0700BddLat.Iso,3,1,16,73,1.496834589074024e-05,0.0,2,0.948051948051948,True,0701BddLat.mk,2,0,12,32,1.490145864394503e-05,0.0,1,1.0,False,-1702BddOrd,37,5,41,484,3.191402854209866e-05,0.0001981178801386,2,0.6740947075208914,True,0703BddOrd.Hom,6,1,9,66,1.5774865886308315e-05,0.0,2,0.8918918918918919,True,0704BddOrd.Iso,3,1,10,49,1.4968643816434514e-05,0.0,2,0.9245283018867924,True,0705BddOrd.mk,2,0,10,28,1.490145864394503e-05,0.0,1,1.0,False,-1706Behrend,49,1,162,4323,1.5214825409813871e-05,0.0003779110673174,3,0.9591746172620368,True,0707Bertrand,1,1,105,310,1.5214825409813871e-05,0.0002672072689349,3,1.0,True,0708Besicovitch,28,10,201,2463,2.088564801246998e-05,0.000297420037414,1,0.956504854368932,True,0709Besicovitch.BallPackage,10,2,12,98,1.5519391008915863e-05,0.0,1,0.9074074074074074,True,0710Besicovitch.SatelliteConfig,21,2,132,1401,1.4965734486212868e-05,0.0,3,0.935871743486974,True,0711Besicovitch.TauPackage,24,1,93,659,1.4968509566520675e-05,0.0,1,0.8659658344283837,True,0712Besicovitch.goodδ,1,0,6,10,1.490145864394503e-05,0.0,3,1.0,False,-1713BestFirstNode,5,3,7,21,1.813036769675064e-05,0.0,1,0.7777777777777778,True,0714BestFirstNode.mk,2,0,7,16,1.490145864394503e-05,0.0,1,1.0,False,-1715BestFirstQueue,7,1,22,166,1.568564743558111e-05,9.856364536899454e-05,1,0.9651162790697676,True,0716BialgCat,40,8,50,842,2.7580403638744617e-05,0.0003321376563669,0,0.7196581196581197,True,0717BialgCat.Hom,9,2,21,181,1.6030026346946195e-05,3.2547420552548317e-06,0,0.9187817258883249,True,0718BialgCat.MonoidalCategory,3,1,17,82,1.496672936189284e-05,0.0,0,0.9534883720930232,True,0719BialgCat.mk,2,0,9,27,1.490145864394503e-05,0.0,1,1.0,False,-1720BialgEquiv,74,9,65,1367,2.121484533905359e-05,0.0003017648347984,0,0.798947983635301,True,0721BialgEquiv.Simps,2,0,8,25,1.490145864394503e-05,0.0,0,1.0,False,-1722BialgEquiv.mk,2,1,21,60,1.491549231284117e-05,0.0,0,1.0,True,0723BialgEquivClass,7,4,45,198,1.6160055521039244e-05,0.0002650518370956,0,0.9428571428571428,True,0724BialgHom,55,18,65,1188,2.7048666003151665e-05,9.905894006934126e-05,0,0.8497854077253219,True,0725BialgHom.Simps,1,0,7,11,1.490145864394503e-05,0.0,0,1.0,False,-1726BialgHom.mk,3,0,23,96,1.490145864394503e-05,0.0,0,1.0,False,-1727BialgHomClass,8,10,47,257,1.966199731096283e-05,3.857863148207251e-06,0,0.9345454545454546,True,0728BialgHomClass.toBialgHom,1,0,7,13,1.490145864394503e-05,0.0,0,1.0,False,-1729Bialgebra,36,23,56,1306,7.299534301888894e-05,2.5399728222908018e-08,0,0.8824324324324324,True,0730Bialgebra.TensorProduct,24,3,35,774,1.5468908665192706e-05,0.0,0,0.9602977667493796,True,0731Bicategory.Opposite,46,1,14,652,2.2753157282075483e-05,0.0,2,0.7375565610859729,True,0732Bicompl,1,1,4,7,1.5214825409813871e-05,0.0004400281398222,1,1.0,True,0733Bicompr,1,1,4,7,1.5214825409813871e-05,0.0004400281398222,1,1.0,True,0734Bifunctor,25,9,10,161,3.006012099839506e-05,2.2013097793186945e-08,1,0.6518218623481782,True,0735Bifunctor.mapEquiv,1,0,3,5,1.490145864394503e-05,0.0,1,1.0,False,-1736BigOperators,14,0,20,163,1.490145864394503e-05,0.0,1,0.9106145251396648,False,-1737BiheytingAlgebra,9,144,21,1402,0.0002379889415921,8.601888073016161e-06,1,0.979050279329609,True,0738BiheytingHom,27,2,27,203,1.6091160208931498e-05,9.40219498474896e-07,1,0.66996699669967,True,0739BiheytingHom.mk,2,0,17,45,1.490145864394503e-05,0.0,1,1.0,False,-1740BiheytingHomClass,6,5,20,99,1.5449532889126876e-05,0.0001154800167293,1,0.8918918918918919,True,0741BilinForm,15,0,28,581,1.490145864394503e-05,0.0,0,1.0,False,-1742BilinearForm,1,0,19,36,1.490145864394503e-05,0.0,0,1.0,False,-1743Bimod,59,7,23,1588,2.3255495905865065e-05,0.0007422026478217,2,0.7590822179732314,True,0744Bimod.AssociatorBimod,8,1,15,392,1.551200366522474e-05,0.0,2,0.9607843137254902,True,0745Bimod.Hom,11,1,15,217,1.538711945632662e-05,0.0,2,0.9004149377593361,True,0746Bimod.LeftUnitorBimod,6,1,16,277,1.5151227061741275e-05,4.952947003467063e-05,2,0.9584775086505192,True,0747Bimod.RightUnitorBimod,6,1,16,274,1.5151227061741275e-05,4.952947003467063e-05,2,0.958041958041958,True,0748Bimod.TensorBimod,12,4,15,549,1.6898762801129702e-05,0.0,2,0.9104477611940298,True,0749Bimod.mk,2,0,16,61,1.490145864394503e-05,0.0,2,1.0,False,-1750Bind,6,233,1,1667,0.0002338877639597,0.0,1,0.9964136282127914,True,0751BinomialRing,5,5,7,58,2.5939458152754663e-05,1.016288673968275e-05,0,0.9666666666666668,True,0752Bipointed,29,7,18,326,5.67729757051604e-05,3.2867814421038427e-06,2,0.6848739495798319,True,0753Bipointed.Hom,15,5,11,131,2.691857969385426e-05,0.0,2,0.793939393939394,True,0754Bipointed.mk,2,0,7,16,1.490145864394503e-05,0.0,1,1.0,False,-1755BitVec,1472,39,147,34463,0.0001641200399329,0.0011206934589485,1,0.6983525502036515,True,0756BitVec.BitVec,1,1,3,7,1.490631016696447e-05,1.0651498932187233e-08,1,1.0,True,0757BitVec.DivModArgs,6,2,7,55,1.5803985558352988e-05,0.0,1,0.9322033898305084,True,0758BitVec.DivModState,27,1,19,299,1.5197401548130832e-05,0.0,1,0.7239709443099274,True,0759BitVec.Literal,6,3,7,61,1.9190129566002913e-05,0.0,1,0.9104477611940298,True,0760BitVec.aandRec,1,1,4,6,1.490631016696447e-05,0.0,1,1.0,True,0761BitVec.cast,1,1,3,16,1.4964528443197742e-05,0.0,1,1.0,True,0762BitVec.hash,1,0,10,22,1.490145864394503e-05,0.0,1,1.0,False,-1763BitVec.instDecidableEqLiteral,1,1,4,8,1.490631016696447e-05,9.905894006934126e-05,1,1.0,True,0764BitVec.instReprLiteral,1,1,5,12,1.490631016696447e-05,1.0651498932187233e-08,1,1.0,True,0765BitVec.iunfoldr,1,0,7,19,1.490145864394503e-05,0.0,1,1.0,False,-1766BitVec.mulRec,1,0,9,20,1.490145864394503e-05,0.0,1,1.0,False,-1767BitVec.ofBoolListBE,1,0,6,15,1.490145864394503e-05,0.0,1,1.0,False,-1768BitVec.ofBoolListLE,1,0,6,15,1.490145864394503e-05,0.0,1,1.0,False,-1769BitVec.ofFin,2,0,7,26,1.490145864394503e-05,0.0,1,1.0,False,-1770BitVec.ofNatLT,1,1,6,12,1.490631016696447e-05,0.0,1,1.0,True,0771BitVec.replicate,1,0,9,21,1.490145864394503e-05,0.0,1,1.0,False,-1772BitVec.resRec,2,1,11,29,1.490631016696447e-05,1.1006548896593473e-07,1,1.0,True,0773BitVec.reverse,1,0,8,19,1.490145864394503e-05,0.0,1,1.0,False,-1774BitVec.setWidth',1,0,4,5,1.490145864394503e-05,0.0,1,1.0,False,-1775BitVec.shiftLeftRec,1,0,8,17,1.490145864394503e-05,0.0,1,1.0,False,-1776BitVec.sshiftRightRec,1,0,7,16,1.490145864394503e-05,0.0,1,1.0,False,-1777BitVec.uppcRec,2,0,12,30,1.490145864394503e-05,0.0,1,1.0,False,-1778BitVec.ushiftRightRec,1,0,8,17,1.490145864394503e-05,0.0,1,1.0,False,-1779Bitraversable,26,5,17,300,2.9606263046578085e-05,0.0003013717140775,1,0.746268656716418,True,0780Bool,392,617,81,15099,0.0016660990073799,0.0036854840331001,1,0.8631452581032413,True,0781Bool.false,1,0,5,5,1.490145864394503e-05,0.0,1,1.0,False,-1782Bool.true,1,0,5,5,1.490145864394503e-05,0.0,1,1.0,False,-1783BoolAlg,43,8,50,740,4.216505750363685e-05,0.0,1,0.7184466019417476,True,0784BoolAlg.Hom,6,2,11,85,1.6169746575897495e-05,0.0,1,0.913978494623656,True,0785BoolAlg.Iso,3,2,19,83,1.527645844473951e-05,0.0005740193761267,1,0.9540229885057472,True,0786BoolAlg.of,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-1787BoolRing,17,5,26,246,2.798326411954945e-05,0.0,0,0.75,True,0788BoolRing.Hom,5,2,11,59,1.6292915200605024e-05,0.0,0,0.9076923076923076,True,0789BoolRing.Iso,3,1,18,70,1.5214825409813871e-05,0.00063842764916,0,0.945945945945946,True,0790BoolRing.of,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-1791BooleanAlgebra,22,315,55,3004,0.0003570102841098,0.0033754189202667,1,0.9702842377260982,True,0792BooleanRing,24,9,70,626,2.843012372748008e-05,2.237624452632459e-05,0,0.8324468085106383,True,0793BooleanSubalgebra,129,5,72,1837,1.7347805020723204e-05,5.1237813842467495e-05,1,0.7195456325891109,True,0794BooleanSubalgebra.mk,2,0,15,44,1.490145864394503e-05,0.0,1,1.0,False,-1795Booleanisation,46,3,35,392,2.1279483378451057e-05,0.0001981178801386,1,0.6533333333333333,True,0796Booleanisation.LE,3,1,9,42,1.5483558900516966e-05,0.0,1,1.0,True,0797Booleanisation.LT,3,1,9,42,1.5483558900516966e-05,0.0,1,1.0,True,0798BorelSpace,4,164,13,1182,0.0001075948686914,0.0004469763071002,3,0.9966273187183812,True,0799Born,8,2,9,32,1.6622245492935833e-05,3.714226860924089e-06,1,0.6666666666666666,True,0800Born.of,2,0,7,18,1.490145864394503e-05,0.0,1,1.0,False,-1801Bornology,86,124,112,2418,0.0001760572311565,0.0003337910093034,1,0.8876651982378855,True,0802Bornology.IsBounded,41,40,136,1036,2.402875412991568e-05,0.0004077335947264,1,0.9592592592592591,True,0803Bornology.IsCobounded,6,3,13,56,1.5034526939980572e-05,9.664645762585433e-07,1,1.0,True,0804Bornology.IsVonNBounded,24,9,174,1456,1.6308670212290194e-05,3.430897546206385e-05,3,0.981132075471698,True,0805Bornology.inCompact,1,0,8,21,1.490145864394503e-05,0.0,1,1.0,False,-1806Bornology.ofDist,1,0,6,9,1.490145864394503e-05,0.0,1,1.0,False,-1807Bornology.relativelyCompact,1,1,3,9,1.4939669949542047e-05,5.679265384684657e-07,1,1.0,True,0808Bot,6,818,22,5922,0.0007368393564806,0.0036841082845824,1,0.9983142279163856,True,0809BotHom,46,7,26,365,1.84106399213478e-05,0.0002111936078065,1,0.6746765249537893,True,0810BotHom.mk,2,0,7,20,1.490145864394503e-05,0.0,1,1.0,False,-1811BotHomClass,3,10,4,35,1.8030241853670753e-05,0.0001941045205544,1,0.945945945945946,True,0812Bound,6,0,33,147,1.490145864394503e-05,0.0,1,1.0,False,-1813BoundarylessManifold,3,4,3,38,1.7370483358412335e-05,0.0,1,0.95,True,0814BoundedAdd,2,1,3,15,1.5214825409813871e-05,0.0,1,1.0,True,0815BoundedContinuousFunction,315,63,326,11043,0.000109638194587,0.0021850660258265,3,0.8522806205140079,True,0816BoundedContinuousFunction.AlgHom,3,3,28,140,1.4960934909822298e-05,9.028231530426996e-06,3,0.9722222222222222,True,0817BoundedContinuousFunction.NNReal,1,1,12,20,1.4910696847520032e-05,1.960237703859168e-05,1,1.0,True,0818BoundedContinuousFunction.Simps,1,0,3,5,1.490145864394503e-05,0.0,1,1.0,False,-1819BoundedContinuousFunction.char,1,1,29,53,1.4910696847520032e-05,8.773009741200776e-05,3,1.0,True,0820BoundedContinuousFunction.charAlgHom,1,0,44,80,1.490145864394503e-05,0.0,3,1.0,False,-1821BoundedContinuousFunction.charMonoidHom,1,0,43,76,1.490145864394503e-05,0.0,3,1.0,False,-1822BoundedContinuousFunction.charPoly,1,0,47,91,1.490145864394503e-05,0.0,3,1.0,False,-1823BoundedContinuousFunction.comp,1,0,4,8,1.490145864394503e-05,0.0,1,1.0,False,-1824BoundedContinuousFunction.extend,1,0,4,7,1.490145864394503e-05,0.0,1,1.0,False,-1825BoundedContinuousFunction.instAdd,1,0,4,10,1.490145864394503e-05,0.0,1,1.0,False,-1826BoundedContinuousFunction.instAddCommMonoid,1,0,8,14,1.490145864394503e-05,0.0,0,1.0,False,-1827BoundedContinuousFunction.instCommMonoid,1,0,9,15,1.490145864394503e-05,0.0,1,1.0,False,-1828BoundedContinuousFunction.instDistribMulAction,1,0,15,26,1.490145864394503e-05,0.0,0,1.0,False,-1829BoundedContinuousFunction.instModule,1,0,20,31,1.490145864394503e-05,0.0,0,1.0,False,-1830BoundedContinuousFunction.instMonoid,1,0,8,14,1.490145864394503e-05,0.0,1,1.0,False,-1831BoundedContinuousFunction.instMul,1,0,5,11,1.490145864394503e-05,0.0,3,1.0,False,-1832BoundedContinuousFunction.instSMul,1,0,3,8,1.490145864394503e-05,0.0,1,1.0,False,-1833BoundedContinuousFunction.instSMulNat,1,0,7,14,1.490145864394503e-05,0.0,3,1.0,False,-1834BoundedContinuousFunction.instSemiring,1,0,9,18,1.490145864394503e-05,0.0,0,1.0,False,-1835BoundedContinuousFunction.instStarAddMonoid,1,0,10,14,1.490145864394503e-05,0.0,3,1.0,False,-1836BoundedContinuousFunction.instSub,1,0,5,11,1.490145864394503e-05,0.0,3,1.0,False,-1837BoundedContinuousFunction.mk,3,2,12,54,1.4912741336980776e-05,0.0,3,1.0,True,0838BoundedContinuousFunction.mkOfBound,1,0,10,15,1.490145864394503e-05,0.0,3,1.0,False,-1839BoundedContinuousFunction.mkOfCompact,1,0,5,9,1.490145864394503e-05,0.0,3,1.0,False,-1840BoundedContinuousFunction.ofNormedAddCommGroup,1,0,9,14,1.490145864394503e-05,0.0,3,1.0,False,-1841BoundedContinuousFunction.toLp,1,0,46,69,1.490145864394503e-05,0.0,3,1.0,False,-1842BoundedContinuousMapClass,3,12,7,65,1.80126842733745e-05,0.0,3,1.0,True,0843BoundedGENhdsClass,3,5,10,39,2.2456862395883163e-05,2.7865605794111775e-05,1,1.0,True,0844BoundedLENhdsClass,3,19,13,75,2.409058359077894e-05,2.3868065938608966e-06,1,0.974025974025974,True,0845BoundedLatticeHom,53,23,53,955,3.496825260238119e-05,8.66765725606736e-08,1,0.8155422715627668,True,0846BoundedLatticeHom.mk,3,0,18,70,1.490145864394503e-05,0.0,1,1.0,False,-1847BoundedLatticeHomClass,8,10,33,174,1.8753219726059072e-05,2.030712516214013e-05,1,0.8969072164948454,True,0848BoundedMul,2,1,4,21,1.646829247328924e-05,0.0,1,1.0,True,0849BoundedOrder,7,643,10,4445,0.0005702262158146,0.0003549886050032,2,0.9968602825745684,True,0850BoundedOrderHom,36,7,26,363,1.938418498478992e-05,0.0,1,0.6994219653179191,True,0851BoundedOrderHom.mk,2,0,13,38,1.490145864394503e-05,0.0,1,1.0,False,-1852BoundedOrderHomClass,7,6,14,79,1.6929279182652982e-05,0.0001003148745502,1,0.9518072289156626,True,0853BoundedRandom,3,2,3,21,1.568533868479552e-05,0.0,1,1.0,True,0854BoundedSpace,3,7,6,27,1.5539275216927723e-05,1.5143195789381666e-05,1,0.9310344827586208,True,0855BoundedSub,2,1,3,17,1.5841558941551557e-05,0.0,1,1.0,True,0856BoundedVariationOn,6,1,86,332,1.4913948944266688e-05,0.0,3,0.976470588235294,True,0857BoundingSieve,31,2,59,576,1.5659273857115543e-05,5.6950735910270224e-05,1,0.7912087912087912,True,0858BoundingSieve.mk,2,0,16,57,1.490145864394503e-05,0.0,1,1.0,False,-1859BoxIntegral,44,14,220,4169,3.0641141115769433e-05,0.0,1,0.9037502709733364,True,0860BoxIntegral.Box,122,15,180,3514,2.2361460432317945e-05,5.647379472750529e-05,1,0.7861297539149888,True,0861BoxIntegral.BoxAdditiveMap,31,11,82,608,1.596748739354514e-05,0.0001223310097754,1,0.8611898016997167,True,0862BoxIntegral.HasIntegral,16,6,158,1313,1.559613707633098e-05,4.089583224808388e-06,1,0.9864763335837716,True,0863BoxIntegral.Integrable,24,3,134,1328,1.504473417815793e-05,0.0,1,0.9540229885057472,True,0864BoxIntegral.IntegrationParams,62,8,89,1475,1.8950473768647665e-05,0.0,1,0.7968665586169638,True,0865BoxIntegral.Prepartition,176,11,93,3284,1.960838241471581e-05,5.3889043198507066e-08,1,0.7170305676855895,True,0866BoxIntegral.TaggedPrepartition,80,9,52,1428,1.8395039072942075e-05,0.0,1,0.7760869565217391,True,0867BoxIntegral.unitPartition,38,1,163,1917,1.646829247328924e-05,0.0,3,0.894540363975735,True,0868Bracket,3,71,1,619,6.750648833636324e-05,0.0,0,1.0,True,0869Brauer,1,1,3,7,1.5214825409813871e-05,0.0001006530533568,1,1.0,True,0870Btw,3,13,1,53,0.0002477439697484,0.0,1,1.0,True,0871Btw.btw,5,1,5,31,1.6781659239158082e-05,0.0,1,1.0,True,0872BumpCovering,45,8,94,1339,1.970228121826424e-05,0.0003460110440012,1,0.8723127035830619,True,0873BumpCovering.IsSubordinate,3,4,17,76,1.5168683107706114e-05,4.952947003467063e-05,1,0.9743589743589745,True,0874BumpCovering.ind,1,0,5,7,1.490145864394503e-05,0.0,1,1.0,False,-1875BumpCovering.mk,2,0,19,67,1.490145864394503e-05,0.0,1,1.0,False,-1876Bundle,39,83,98,2014,0.0001538625161663,0.0002727622408462,1,0.9402427637721756,True,0877Bundle.ContMDiffRiemannianMetric,11,2,69,874,1.6034133704194203e-05,0.000147326073937,3,0.9754464285714286,True,0878Bundle.ContinuousLinearMap,7,21,57,603,3.040176490843791e-05,4.82896061770875e-05,3,0.9648,True,0879Bundle.ContinuousRiemannianMetric,10,2,70,802,1.5438813632534495e-05,5.0011701662180485e-05,3,0.975669099756691,True,0880Bundle.Prod,1,0,48,94,1.490145864394503e-05,0.0,1,1.0,False,-1881Bundle.Pullback,4,3,3,26,1.603445011197731e-05,0.0,1,0.8125,True,0882Bundle.RiemannianBundle,3,2,4,29,1.5847252320453233e-05,0.0,1,1.0,True,0883Bundle.RiemannianMetric,10,2,57,630,1.5297391548408726e-05,0.0,3,0.9752321981424148,True,0884Bundle.TotalSpace,21,70,59,1248,0.0001382056133397,0.0004197272875934,1,0.9440242057488654,True,0885Bundle.Trivial,28,9,78,654,2.348307891535976e-05,6.324327490986169e-08,1,0.8114143920595533,True,0886Bundle.instNormedAddCommGroupOfRiemannianBundle,1,0,14,23,1.490145864394503e-05,0.0,0,1.0,False,-1887ByteArray,160,30,63,2441,7.630266130266465e-05,0.0010176379891185,1,0.6862524599381501,True,0888ByteArray.IsValidUTF8,4,4,13,92,1.5188504719973712e-05,8.505060511004048e-08,1,0.9583333333333334,True,0889ByteArray.Iterator,21,2,16,116,1.715027158915999e-05,0.0,1,0.7945205479452054,True,0890ByteArray.findFinIdx?,2,1,13,50,1.4934640087735316e-05,0.0,1,0.9615384615384616,True,0891ByteArray.findIdx?,2,1,12,46,1.4934640087735316e-05,0.0,1,0.9583333333333334,True,0892ByteArray.foldlM,1,1,12,22,1.4934640087735316e-05,0.0,1,1.0,True,0893ByteArray.forIn,1,1,13,25,1.4934640087735316e-05,0.0,1,1.0,True,0894ByteArray.get,1,0,4,6,1.490145864394503e-05,0.0,1,1.0,False,-1895ByteArray.instBEq,1,1,4,7,1.4934640087735316e-05,4.525892906279236e-06,1,1.0,True,0896ByteArray.instInhabitedIterator,1,1,4,7,1.4934640087735316e-05,9.905894006934126e-05,1,1.0,True,0897ByteArray.mk,2,0,6,13,1.490145864394503e-05,0.0,1,1.0,False,-1898ByteArray.set,1,0,4,6,1.490145864394503e-05,0.0,1,1.0,False,-1899ByteArray.toList,2,1,8,18,1.4967821531525604e-05,0.0,1,0.9,True,0900ByteArray.utf8Decode?,7,1,11,79,1.5133728750477036e-05,0.0,1,0.8494623655913979,True,0901ByteArray.utf8DecodeChar,1,2,5,8,1.495674273960459e-05,7.421293835170448e-05,1,1.0,True,0902ByteArray.utf8DecodeChar?,44,4,20,407,1.801548536563585e-05,0.0,1,0.5676429567642957,True,0903ByteArray.validateUTF8,3,1,11,31,1.500100297531589e-05,0.0,1,0.8857142857142857,True,0904ByteSlice,33,2,28,193,2.160495362977204e-05,9.905894006934126e-05,1,0.6678200692041523,True,0905ByteSlice.forIn,1,1,13,25,1.500824015495444e-05,0.0,1,1.0,True,0906CFC,208,22,273,18206,2.7283660262196902e-05,0.0004123252312448,3,0.9580088402441592,True,0907CFC.abs,1,1,29,58,1.4909206145902483e-05,0.0,3,1.0,True,0908CFC.instPowNNReal,1,0,29,54,1.490145864394503e-05,0.0,3,1.0,False,-1909CFC.instPowReal,1,0,22,40,1.490145864394503e-05,0.0,3,1.0,False,-1910CFC.log,1,0,23,35,1.490145864394503e-05,0.0,3,1.0,False,-1911CFC.nnrpow,1,0,29,53,1.490145864394503e-05,0.0,3,1.0,False,-1912CFC.rpow,1,0,22,39,1.490145864394503e-05,0.0,3,1.0,False,-1913CFC.sqrt,1,1,29,59,1.4910497396228729e-05,0.0,3,1.0,True,0914CFilter,14,5,19,135,1.9187717825935297e-05,0.0,1,0.8181818181818182,True,0915CFilter.mk,3,0,10,31,1.490145864394503e-05,0.0,1,1.0,False,-1916CPolynomialAt,15,5,71,333,1.545305248060107e-05,0.0001106113121581,3,0.9487179487179488,True,0917CPolynomialOn,16,4,87,502,1.5630082156076224e-05,0.00017154729718,3,0.9616858237547892,True,0918CSA,6,3,8,68,1.666850164578331e-05,0.0,0,0.918918918918919,True,0919CSA.mk,2,0,13,52,1.490145864394503e-05,0.0,0,1.0,False,-1920CStarAlgebra,95,38,243,8045,6.547603615994545e-05,0.0002101647131254,3,0.934921557234166,True,0921CStarAlgebra.instNegPart,1,0,29,48,1.490145864394503e-05,0.0,3,1.0,False,-1922CStarAlgebra.instPosPart,1,0,29,48,1.490145864394503e-05,0.0,3,1.0,False,-1923CStarMatrix,142,10,163,3445,2.472542245798037e-05,9.905894006934126e-05,3,0.8542028266798909,True,0924CStarMatrix.instNonUnitalNormedRing,1,0,6,12,1.490145864394503e-05,0.0,3,1.0,False,-1925CStarMatrix.instNorm,1,0,6,12,1.490145864394503e-05,0.0,3,1.0,False,-1926CStarMatrix.instNormedAddCommGroup,1,0,6,12,1.490145864394503e-05,0.0,3,1.0,False,-1927CStarMatrix.instNormedRing,1,0,7,13,1.490145864394503e-05,0.0,3,1.0,False,-1928CStarMatrix.instPartialOrder,1,0,6,11,1.490145864394503e-05,0.0,3,1.0,False,-1929CStarModule,41,5,147,2438,1.5949418316323542e-05,0.0002376586952572,3,0.9255884586180714,True,0930CStarModule.innerSL,1,0,42,74,1.490145864394503e-05,0.0,3,1.0,False,-1931CStarModule.innerₛₗ,1,0,34,57,1.490145864394503e-05,0.0,0,1.0,False,-1932CStarRing,23,48,148,1315,3.0601145107318916e-05,2.305929960655716e-05,3,0.9619604974396488,True,0933CStarRing.MulOpposite,1,0,17,30,1.490145864394503e-05,0.0,3,1.0,False,-1934CalcPanel,1,0,3,7,1.490145864394503e-05,0.0,1,1.0,False,-1935CalcParams,5,2,1,13,1.7645135207196592e-05,0.0,1,1.0,True,0936CalcParams.mk,2,0,7,17,1.490145864394503e-05,0.0,1,1.0,False,-1937CanLift,2,178,1,548,6.617821201812426e-05,0.0,3,1.0,True,0938CancelCommMonoid,9,41,18,205,4.790221347934106e-05,2.016056695287283e-06,1,0.9030837004405288,True,0939CancelCommMonoid.mk,2,0,7,17,1.490145864394503e-05,0.0,1,1.0,False,-1940CancelCommMonoidWithZero,4,2,5,21,1.6059277459687048e-05,0.0,1,0.9130434782608696,True,0941CancelCommMonoidWithZero.mk,2,0,10,30,1.490145864394503e-05,0.0,1,1.0,False,-1942CancelDenoms,22,67,94,1155,7.237040284538704e-05,0.0001207222250972,3,0.9846547314578004,True,0943CancelDenoms.CancelResult,6,1,8,32,1.5225268135266188e-05,0.0,1,0.8421052631578947,True,0944CancelMonoid,9,72,15,438,7.806258936992306e-05,4.1618828567041726e-05,1,0.948051948051948,True,0945CancelMonoidWithZero,4,2,4,19,1.611959546324942e-05,0.0,1,0.9047619047619048,True,0946CancelMonoidWithZero.mk,2,0,9,28,1.490145864394503e-05,0.0,1,1.0,False,-1947CanonicallyOrderedAdd,18,140,69,902,6.724497860053735e-05,0.0005794119894818,1,0.9783080260303688,True,0948CanonicallyOrderedAddCommMonoid,2,0,13,26,1.490145864394503e-05,0.0,1,1.0,False,-1949CanonicallyOrderedCommMonoid,2,1,12,28,1.5214825409813871e-05,5.5157385944899744e-05,1,1.0,True,0950CanonicallyOrderedMul,6,10,16,78,1.898987746849357e-05,3.0165140110333866e-06,1,0.951219512195122,True,0951CantorScheme,6,5,24,81,1.9025068963637892e-05,0.0,1,0.9759036144578314,True,0952CantorScheme.Antitone,1,1,7,13,1.4953236231503796e-05,9.905894006934126e-05,1,1.0,True,0953CantorScheme.ClosureAntitone,2,1,34,80,1.4953236231503796e-05,4.952947003467063e-05,1,0.975609756097561,True,0954CantorScheme.Disjoint,1,1,29,55,1.4953236231503796e-05,5.5032744482967365e-08,1,1.0,True,0955CantorScheme.VanishingDiam,2,2,75,220,1.5114127540389352e-05,3.0290131471763114e-08,3,0.990990990990991,True,0956Caratheodory,7,1,100,479,1.6154925707420398e-05,0.0,1,0.9560878243512974,True,0957Cardinal,983,178,299,22028,0.0006985041542011,0.0016744528178145,1,0.6757055214723926,True,0958Cardinal.Categorical,1,3,14,54,1.4954070056437776e-05,1.650982334489021e-07,1,1.0,True,0959Cardinal.IsInaccessible,7,1,15,142,1.5015449241175894e-05,9.905894006934126e-05,1,0.9594594594594594,True,0960Cardinal.IsRegular,8,14,16,149,1.742730883313262e-05,2.782481682525007e-05,1,0.9490445859872612,True,0961Cardinal.IsStrongLimit,7,2,17,125,1.55948986414582e-05,0.0,1,0.925925925925926,True,0962Cardinal.Real,4,0,13,150,1.490145864394503e-05,0.0,1,1.0,False,-1963Cardinal.ord,2,0,8,25,1.490145864394503e-05,0.0,1,0.925925925925926,False,-1964Cardinal.preBeth,1,0,15,31,1.490145864394503e-05,0.0,1,1.0,False,-1965CardinalInterFilter,5,3,12,85,1.7630012294806316e-05,0.0,1,0.913978494623656,True,0966CartanMatrix,67,4,41,1299,1.8705237365014062e-05,9.905894006934126e-05,1,0.898961937716263,True,0967CartanMatrix.Generators,11,2,7,61,1.569833140146856e-05,0.0,1,0.7721518987341772,True,0968CartanMatrix.Relations,8,1,32,174,1.4937069924239595e-05,0.0,0,0.925531914893617,True,0969CasesAltInfo,4,4,2,16,2.2888148679536664e-05,0.0,1,0.8,True,0970CasesAltInfo.ctor,2,0,7,15,1.490145864394503e-05,0.0,1,1.0,False,-1971CasesAltInfo.default,2,0,6,14,1.490145864394503e-05,0.0,1,1.0,False,-1972CasesInfo,9,2,2,17,1.7018401675458908e-05,1.2123992285700208e-05,1,0.8947368421052632,True,0973CasesInfo.mk,2,0,7,17,1.490145864394503e-05,0.0,1,1.0,False,-1974CategoryTheory,3428,1194,656,221198,0.0115733241671149,0.0266790841982698,2,0.8684580411618283,True,0975CategoryTheory.AB4,1,3,8,26,1.553925839448775e-05,0.0001349261851828,2,1.0,True,0976CategoryTheory.AB4OfSize,2,3,2,18,1.636074219132827e-05,0.0,2,1.0,True,0977CategoryTheory.AB4Star,1,0,9,25,1.490145864394503e-05,0.0,2,1.0,False,-1978CategoryTheory.AB4StarOfSize,2,4,2,21,1.6899513150170338e-05,0.0,2,1.0,True,0979CategoryTheory.AB5OfSize,2,10,2,37,1.7398329075338378e-05,0.0,2,1.0,True,0980CategoryTheory.AB5StarOfSize,2,2,2,16,1.604644539038614e-05,0.0,2,1.0,True,0981CategoryTheory.Abelian,418,70,169,14698,0.0001415402339824,0.0008197522494481,2,0.8064303741907165,True,0982CategoryTheory.AbelianOfAdjunction,2,1,16,98,1.5327002321623167e-05,2.205240689638907e-07,2,1.0,True,0983CategoryTheory.ActionCategory,29,2,48,628,1.629735537278537e-05,0.0,2,0.9154518950437318,True,0984CategoryTheory.AdditiveFunctor,20,2,10,276,1.542759724865294e-05,0.0,2,0.8789808917197452,True,0985CategoryTheory.Adhesive,10,3,11,104,1.7207850484539202e-05,0.0001853861104652,2,0.8813559322033898,True,0986CategoryTheory.Adjunction,558,124,107,12555,0.000158726925308,0.0009487493337856,2,0.7864077669902912,True,0987CategoryTheory.Algebra,1,0,14,22,1.490145864394503e-05,0.0,2,1.0,False,-1988CategoryTheory.AreEqualizedByLocalization,3,1,13,54,1.4953693249587682e-05,0.0,2,0.9642857142857144,True,0989CategoryTheory.Arrow,130,67,50,3174,4.1796967932678146e-05,3.1928016644510026e-05,2,0.8991501416430595,True,0990CategoryTheory.Artinian,3,1,1,11,1.5114230482784098e-05,0.0,2,1.0,True,0991CategoryTheory.AsSmall,17,8,14,188,1.736767852832746e-05,0.0005489323533138,2,0.7768595041322314,True,0992CategoryTheory.Aut,12,7,35,313,1.87101428544025e-05,0.0,2,0.9233038348082596,True,0993CategoryTheory.Balanced,2,5,4,26,1.6373935769368772e-05,1.5354135710747896e-06,2,1.0,True,0994CategoryTheory.BasedCategory,17,4,15,222,2.0324437568971275e-05,9.905894006934126e-05,2,0.8671875,True,0995CategoryTheory.BasedFunctor,18,4,13,233,1.8110903438765816e-05,6.718016531521976e-08,2,0.8062283737024222,True,0996CategoryTheory.BasedNatIso,5,1,11,68,1.5018907995147377e-05,0.0,2,0.9444444444444444,True,0997CategoryTheory.BasedNatTrans,25,3,19,355,1.812136087183442e-05,1.0193768814656757e-07,2,0.7802197802197802,True,0998CategoryTheory.BicartesianSq,10,1,12,139,1.5114230482784098e-05,1.9261460569038578e-07,2,0.8633540372670807,True,0999CategoryTheory.BicategoricalCoherence,25,5,6,564,1.923595524522767e-05,0.0,2,0.8676923076923077,True,01000CategoryTheory.Bicategory,846,39,68,13181,0.0001150245623353,0.0001477634750745,2,0.5466345954464397,True,01001CategoryTheory.Bicone,9,4,7,83,2.9919961732705913e-05,0.0,2,0.8556701030927835,True,01002CategoryTheory.BiconeHom,14,2,13,155,2.2291772915311757e-05,0.0,2,0.8288770053475936,True,01003CategoryTheory.Bifunctor,5,1,8,102,1.5082955498421969e-05,0.0,2,1.0,True,01004CategoryTheory.Bimon,105,2,24,1826,1.5396282680687428e-05,0.0,2,0.7770212765957447,True,01005CategoryTheory.BimonObj,12,4,12,224,1.7574193176128578e-05,4.952947003467063e-05,2,0.8484848484848485,True,01006CategoryTheory.BinaryCofan,4,5,19,237,1.5614860522090278e-05,2.430797757531976e-05,2,0.99163179916318,True,01007CategoryTheory.Biprod,19,1,33,573,1.5114230482784098e-05,4.229715059309712e-06,2,0.9168,True,01008CategoryTheory.Biproduct,2,0,15,61,1.490145864394503e-05,0.0,2,1.0,False,-11009CategoryTheory.BraidedCategory,127,47,29,2298,3.8442420780227456e-05,0.0002608282153752,2,0.8498520710059172,True,01010CategoryTheory.Bundled,11,49,10,999,4.200758231908247e-05,0.0010121408752432,2,0.9765395894428152,True,01011CategoryTheory.BundledHom,20,2,16,91,1.7172879033048714e-05,1.4189382518046586e-07,2,0.5723270440251572,True,01012CategoryTheory.CanonicallyOverClass,6,4,7,117,1.617125685965337e-05,7.622076688058918e-06,2,0.936,True,01013CategoryTheory.CartesianClosed,24,0,25,344,1.490145864394503e-05,0.0,2,1.0,False,-11014CategoryTheory.CartesianCopyDiscard,4,0,18,76,1.490145864394503e-05,0.0,2,0.9047619047619048,False,-11015CategoryTheory.CartesianMonoidalCategory,190,77,37,5371,0.0001249200510575,5.009602894623556e-05,2,0.8216307174544898,True,01016CategoryTheory.Cat,204,44,76,5546,8.447434250702076e-05,0.0003450609690143,2,0.767718715393134,True,01017CategoryTheory.CatCenter,35,4,77,688,1.5579738068615252e-05,0.0,2,0.8171021377672208,True,01018CategoryTheory.CatCommSq,33,9,14,659,1.936173843425765e-05,2.539952497677548e-06,2,0.8437900128040973,True,01019CategoryTheory.CatEnriched,19,1,23,471,1.5782697688544923e-05,0.0,2,0.8023850085178875,False,-11020CategoryTheory.CatEnrichedOrdinary,41,1,25,828,1.5291205743886497e-05,0.0,2,0.6764705882352942,False,-11021CategoryTheory.Category,8,981,5,60357,0.0029848873210014,0.0013786099191022,2,0.9997681005780922,True,01022CategoryTheory.CategoryOfElements,79,5,35,1680,1.5247463921823564e-05,8.886338059267748e-06,2,0.8695652173913043,True,01023CategoryTheory.CategoryStruct,8,914,6,67143,0.0043377480313393,5.281515618295029e-05,2,0.999702216994476,True,01024CategoryTheory.CategoryWithHomology,2,33,3,279,2.199794415094339e-05,0.0003589141024289,2,1.0,True,01025CategoryTheory.CechNerveTerminalFrom,12,1,22,249,1.5083381102743894e-05,0.0,2,0.8217821782178217,True,01026CategoryTheory.Center,76,1,20,988,1.6603633354657572e-05,0.0,2,0.672108843537415,True,01027CategoryTheory.ChosenPullbacksAlong,141,3,29,3071,2.1277192992195334e-05,0.0,2,0.7820218996689585,True,01028CategoryTheory.Classifier,49,2,34,815,1.727977892361157e-05,1.2576525902038954e-05,2,0.7415832575068244,True,01029CategoryTheory.Closed,4,12,2,53,1.952221822617728e-05,0.0,2,0.9636363636363636,True,01030CategoryTheory.Coalgebra,1,0,14,22,1.490145864394503e-05,0.0,2,1.0,False,-11031CategoryTheory.Codiscrete,27,1,23,185,1.596531783814037e-05,0.0,2,0.6146179401993356,True,01032CategoryTheory.Cokleisli,10,0,14,116,1.490145864394503e-05,0.0,2,0.7837837837837838,False,-11033CategoryTheory.CommComon,24,1,22,237,1.5114230482784098e-05,3.126121152973698e-05,2,0.7429467084639498,True,01034CategoryTheory.CommGrp,65,8,28,1145,3.4952634194681295e-05,0.0,2,0.7618097139055223,True,01035CategoryTheory.CommGrpObj,5,2,20,82,1.5583370510491418e-05,0.0001149430241397,2,0.9534883720930232,True,01036CategoryTheory.CommGrp_Class,1,0,15,27,1.490145864394503e-05,0.0,2,1.0,False,-11037CategoryTheory.CommMon,73,9,35,1315,2.8935955003574668e-05,6.455638362049618e-06,2,0.7317751808569839,True,01038CategoryTheory.CommShift₂Setup,13,3,28,356,1.572335100622927e-05,2.6867617573251513e-08,2,0.936842105263158,True,01039CategoryTheory.CommSq,89,64,36,1725,4.280738678290952e-05,0.0004672660639798,2,0.8110014104372355,True,01040CategoryTheory.Comma,279,116,39,10441,0.0001769489951508,0.0001695559324352,2,0.8528138528138528,True,01041CategoryTheory.CommaMorphism,12,80,15,2048,6.118280827996225e-05,2.55209672884618e-07,2,0.985563041385948,True,01042CategoryTheory.Comon,102,10,30,1763,2.7083964638907864e-05,0.0,2,0.7270103092783505,True,01043CategoryTheory.ComonObj,22,18,10,489,2.8413722866711764e-05,0.0,2,0.8747763864042933,True,01044CategoryTheory.Comonad,198,10,59,2662,5.8155219088120694e-05,0.0004696489380654,2,0.5754431474275832,True,01045CategoryTheory.ComonadHom,15,3,14,225,1.7426102485470396e-05,0.0,2,0.8620689655172413,True,01046CategoryTheory.ComonadIso,6,2,11,109,1.5340397766180713e-05,0.0,2,0.9316239316239316,True,01047CategoryTheory.ComonadicLeftAdjoint,5,2,4,35,1.6221916179912165e-05,0.0,2,0.8536585365853658,True,01048CategoryTheory.CompatiblePreserving,3,4,12,86,1.573291256841383e-05,3.3845137857024925e-07,2,0.9772727272727272,True,01049CategoryTheory.ComposableArrows,319,17,56,7644,2.883640798566941e-05,0.0,2,0.8029411764705883,True,01050CategoryTheory.ConcreteCategory,45,358,25,5846,0.0002267413808814,0.0001767871233784,2,0.9805434417980544,True,01051CategoryTheory.Congruence,6,4,6,50,1.5594384236535516e-05,0.0,2,1.0,True,01052CategoryTheory.ConnectedComponents,7,2,11,83,2.201121766490676e-05,0.0,2,0.8924731182795699,True,01053CategoryTheory.Conv,5,1,14,85,1.5300328272954775e-05,0.0,2,0.913978494623656,True,01054CategoryTheory.CopyDiscardCategory,9,4,10,100,1.7540073842208245e-05,0.0,2,0.8771929824561403,True,01055CategoryTheory.Core,30,6,21,485,2.890359972801407e-05,0.0,2,0.8206429780033841,True,01056CategoryTheory.CoreHom,7,6,9,148,2.3670640038649184e-05,1.1147267597942705e-06,2,0.925,True,01057CategoryTheory.CoreSmallCategoryOfSet,20,3,20,231,1.6151385693159334e-05,5.216915172191319e-05,2,0.6695652173913044,True,01058CategoryTheory.Coreflective,10,4,15,155,1.8107481154622897e-05,2.2765583235782857e-05,2,0.9627329192546584,True,01059CategoryTheory.CosimplicialObject,127,18,39,2517,2.9634351739556875e-05,2.6669714634053413e-07,2,0.7515676321289937,True,01060CategoryTheory.CostructuredArrow,302,33,59,6808,4.919489216813019e-05,0.0006857121267594,2,0.8565676899849018,True,01061CategoryTheory.CountableAB4,5,1,15,87,1.5327002321623167e-05,0.0,2,0.935483870967742,True,01062CategoryTheory.CountableAB4Star,5,2,16,92,1.5331463115493423e-05,0.0,2,0.9387755102040816,True,01063CategoryTheory.CountableCategory,15,2,14,186,1.781771441896772e-05,0.0,2,0.744,True,01064CategoryTheory.CoverPreserving,3,6,9,50,1.5942013697338183e-05,2.262985604124499e-07,2,0.925925925925926,True,01065CategoryTheory.Coverage,35,11,37,513,2.04696579312353e-05,0.0,2,0.7760968229954615,True,01066CategoryTheory.Coyoneda,23,5,18,366,1.7377601614739447e-05,6.235923204992106e-06,2,0.8970588235294118,True,01067CategoryTheory.CreatesColimit,4,5,3,41,1.7642056616937597e-05,0.0,2,1.0,True,01068CategoryTheory.CreatesColimitsOfShape,3,18,2,65,1.9321885581499504e-05,0.0001170915946444,2,1.0,True,01069CategoryTheory.CreatesColimitsOfSize,3,12,2,48,1.8701071726622986e-05,4.91807451364407e-05,2,1.0,True,01070CategoryTheory.CreatesLimit,4,8,3,44,1.7823663517331975e-05,2.9568416772769176e-07,2,1.0,True,01071CategoryTheory.CreatesLimitsOfShape,3,31,2,79,1.989404389403457e-05,0.0,2,1.0,True,01072CategoryTheory.CreatesLimitsOfSize,3,18,2,54,1.889319820128252e-05,0.000255172244042,2,1.0,True,01073CategoryTheory.Deterministic,2,0,9,27,1.490145864394503e-05,0.0,2,1.0,False,-11074CategoryTheory.Dial,104,1,33,2003,1.5114230482784098e-05,3.314787914327642e-05,2,0.6438444230151077,True,01075CategoryTheory.DifferentialObject,70,3,53,1302,1.734314457213009e-05,3.352133797252385e-05,2,0.735593220338983,True,01076CategoryTheory.DinatTrans,11,1,12,163,1.5114230482784098e-05,4.50480778042318e-08,2,0.8624338624338624,True,01077CategoryTheory.Discrete,102,160,60,4137,0.0001861870811493,0.0003510044717961,2,0.8944864864864864,True,01078CategoryTheory.EffectiveEpi,8,11,8,81,1.79223627762387e-05,1.7378761415673904e-08,2,0.8181818181818182,True,01079CategoryTheory.EffectiveEpiFamily,11,3,26,176,1.8370759657861754e-05,0.0001084893380893,2,0.8712871287128713,True,01080CategoryTheory.EffectiveEpiFamilyStruct,8,2,11,73,1.743475642387392e-05,0.0,2,0.8588235294117647,True,01081CategoryTheory.EffectiveEpiStruct,8,5,11,80,1.7415934054406563e-05,4.61428087586216e-05,2,0.8888888888888888,True,01082CategoryTheory.End,15,47,25,405,3.612028089751072e-05,9.280032902424086e-06,2,0.9353348729792148,True,01083CategoryTheory.Endofunctor,173,2,45,1784,1.950756073416236e-05,0.0,2,0.488232074438971,False,-11084CategoryTheory.EnoughInjectives,4,8,7,56,1.5970020126950102e-05,1.767914561169921e-05,2,0.9032258064516128,True,01085CategoryTheory.EnoughProjectives,2,7,2,21,1.5544605864912895e-05,0.0,2,1.0,True,01086CategoryTheory.Enriched,95,5,28,1738,1.5575851336334856e-05,0.0,2,0.7247706422018348,True,01087CategoryTheory.EnrichedCat,19,0,19,479,1.490145864394503e-05,0.0,2,0.9229287090558768,False,-11088CategoryTheory.EnrichedCategory,9,16,10,286,3.76780484437232e-05,5.857056377115812e-08,2,0.910828025477707,True,01089CategoryTheory.EnrichedFunctor,35,5,22,614,2.1829073910275595e-05,0.0,2,0.8078947368421052,True,01090CategoryTheory.EnrichedNatTrans,5,3,11,95,1.5899810498359533e-05,9.912612023465649e-05,2,0.9595959595959596,True,01091CategoryTheory.EnrichedOrdinaryCategory,7,13,14,221,2.6784215291072824e-05,0.0,2,0.9324894514767932,True,01092CategoryTheory.Epi,2,31,4,85,2.0834205690289705e-05,6.003572125414623e-08,2,1.0,True,01093CategoryTheory.Equalizer,40,2,35,1195,1.5191764518173848e-05,0.0,2,0.854181558255897,True,01094CategoryTheory.Equivalence,440,198,99,11473,0.0002952832819588,0.0004631765025776,2,0.7568441190052114,True,01095CategoryTheory.EssentiallySmall,3,3,4,29,1.7781019977398704e-05,0.0,2,0.935483870967742,True,01096CategoryTheory.ExactFunctor,14,0,10,201,1.490145864394503e-05,0.0,2,0.8553191489361702,False,-11097CategoryTheory.ExactPairing,18,4,13,377,3.07674099209379e-05,0.0,2,0.8627002288329519,True,01098CategoryTheory.Exponentiable,1,0,3,7,1.490145864394503e-05,0.0,2,1.0,False,-11099CategoryTheory.ExponentiableMorphism,39,1,18,625,1.5114230482784098e-05,1.363179512862785e-07,2,0.7431629013079667,True,01100CategoryTheory.ExponentialIdeal,4,1,9,60,1.57525459993013e-05,0.0,2,0.9375,True,01101CategoryTheory.ExtremalEpi,5,2,14,93,1.5816258602456132e-05,0.0,2,0.9587628865979382,True,01102CategoryTheory.Factorisation,44,1,16,311,1.5114230482784098e-05,0.0,2,0.5644283121597096,True,01103CategoryTheory.FinCategory,20,12,16,396,2.417675932751516e-05,4.0975693153999435e-05,2,0.782608695652174,True,01104CategoryTheory.FinalModel,1,0,2,4,1.490145864394503e-05,0.0,2,1.0,False,-11105CategoryTheory.FinallySmall,10,4,27,210,1.732614263961535e-05,7.527798255789008e-06,2,0.8823529411764706,True,01106CategoryTheory.FinitaryExtensive,14,30,28,465,2.6425086776841157e-05,6.055991199010749e-05,2,0.9171597633136096,True,01107CategoryTheory.FinitaryPreExtensive,11,7,39,473,1.8116609215942444e-05,2.128292878837832e-06,2,0.9366336633663368,True,01108CategoryTheory.FintypeCat,15,1,56,570,1.493026434637333e-05,0.0,2,0.9253246753246752,True,01109CategoryTheory.ForgetEnrichment,24,5,18,378,1.929807230635578e-05,0.0,2,0.7875,True,01110CategoryTheory.Free,16,0,53,446,1.490145864394503e-05,0.0,2,0.8991935483870968,False,-11111CategoryTheory.FreeBicategory,147,0,30,1207,1.490145864394503e-05,0.0,2,0.3813586097946287,False,-11112CategoryTheory.FreeGroupoid,40,2,26,592,1.5882572257684437e-05,0.0,2,0.7201946472019465,True,01113CategoryTheory.FreeMonoidalCategory,162,2,31,955,2.1973050880039163e-05,3.982072251343124e-06,2,0.3260498463639467,True,01114CategoryTheory.FullSubcategory,3,8,11,106,1.6333844234730627e-05,0.0,2,0.9814814814814816,True,01115CategoryTheory.Functor,4160,817,345,142816,0.005346460774343,0.003965977912844,2,0.7441976801142226,True,01116CategoryTheory.FunctorCategory,1,0,8,45,1.490145864394503e-05,0.0,2,1.0,False,-11117CategoryTheory.FunctorToTypes,103,28,39,1912,2.3538112148497487e-05,0.0002429052806753,2,0.8385964912280702,True,01118CategoryTheory.Functorial,5,2,5,36,1.6428508562182004e-05,0.0,2,0.9,True,01119CategoryTheory.GaloisCategory,3,3,4,114,1.534530297897931e-05,0.0001191281189066,2,0.9827586206896552,True,01120CategoryTheory.GlueData,70,6,34,1919,1.8996505444178447e-05,0.0001100371747824,2,0.6970577551761714,True,01121CategoryTheory.GlueData',20,2,14,209,1.8815359101788157e-05,0.0,2,0.6238805970149254,True,01122CategoryTheory.GradedNatTrans,10,1,17,213,1.6178089676979438e-05,0.0,2,0.9141630901287554,True,01123CategoryTheory.GradedObject,352,14,61,5715,3.06238883585014e-05,0.0,2,0.564221542106822,True,01124CategoryTheory.Grothendieck,129,4,38,2322,2.4049087251936497e-05,0.0,2,0.6726535341830823,True,01125CategoryTheory.GrothendieckTopology,667,52,131,15306,0.000114612326706,0.0002245228935277,2,0.6981390257252327,True,01126CategoryTheory.Groupoid,44,30,41,945,7.3396306199855e-05,9.810607588212416e-06,2,0.8296751536435469,True,01127CategoryTheory.Grp,117,11,49,2240,4.4828256404085625e-05,0.0,2,0.7030759573132455,True,01128CategoryTheory.GrpObj,67,11,56,1524,2.5080508735971803e-05,3.742689194866232e-06,2,0.8202368137782562,True,01129CategoryTheory.Grp_Class,9,0,23,137,1.490145864394503e-05,0.0,2,1.0,False,-11130CategoryTheory.Grpd,29,5,26,423,1.684323879212827e-05,4.188089888809811e-05,2,0.7280550774526678,True,01131CategoryTheory.HalfBraiding,9,3,11,157,1.5932455329898906e-05,4.50480778042318e-08,2,0.907514450867052,True,01132CategoryTheory.HasCardinalFilteredColimits,3,4,5,31,1.5583248887113965e-05,0.0,2,1.0,True,01133CategoryTheory.HasCardinalFilteredGenerator,5,6,14,83,1.6736841914040573e-05,0.0,2,0.9325842696629212,True,01134CategoryTheory.HasClassifier,17,1,15,156,1.5327002321623167e-05,8.412892883458313e-05,2,0.6190476190476191,True,01135CategoryTheory.HasCodetector,5,2,7,35,1.6326415602885632e-05,0.0,2,1.0,True,01136CategoryTheory.HasCoseparator,6,3,9,47,1.645571146421508e-05,9.905894006934126e-05,2,0.9591836734693876,True,01137CategoryTheory.HasDetector,6,2,8,45,1.6576567906554196e-05,0.0,2,1.0,True,01138CategoryTheory.HasExactColimitsOfShape,5,11,13,158,1.8181140464214317e-05,2.875055605820655e-07,2,0.9294117647058824,True,01139CategoryTheory.HasExactLimitsOfShape,5,5,17,161,1.7629579190159128e-05,0.0001349663672601,2,0.930635838150289,True,01140CategoryTheory.HasExt,3,8,33,165,1.892091215689028e-05,5.6106120353370885e-06,2,0.9880239520958084,True,01141CategoryTheory.HasForget,9,74,9,592,3.975313884480512e-05,5.911831339897115e-06,2,0.9899665551839464,True,01142CategoryTheory.HasForget₂,6,59,7,150,2.4114291150308608e-05,0.0004046695934918,2,0.9615384615384616,True,01143CategoryTheory.HasInjectiveDimensionLT,4,2,13,56,1.5763100399479557e-05,1.315343068686308e-07,2,0.9333333333333332,True,01144CategoryTheory.HasInjectiveResolution,2,2,3,14,1.5117246600970033e-05,0.0,2,1.0,True,01145CategoryTheory.HasInjectiveResolutions,3,2,3,18,1.5120262719155967e-05,1.1561722617500154e-06,2,1.0,True,01146CategoryTheory.HasLeftDual,4,4,1,62,2.353411047563408e-05,0.0,2,0.96875,True,01147CategoryTheory.HasLiftingProperty,47,14,44,1372,1.847894934959613e-05,2.553335557249656e-06,2,0.8694550063371356,True,01148CategoryTheory.HasProjectiveDimensionLT,4,2,13,56,1.5763100399479557e-05,1.315343068686308e-07,2,0.9333333333333332,True,01149CategoryTheory.HasProjectiveResolution,2,2,3,15,1.5330495556474725e-05,0.0,2,1.0,True,01150CategoryTheory.HasProjectiveResolutions,3,2,3,18,1.5121216952487217e-05,1.1561722617500154e-06,2,1.0,True,01151CategoryTheory.HasPullbacksOfInclusions,6,6,13,144,1.6341791781338754e-05,6.090856422390006e-06,2,0.9473684210526316,True,01152CategoryTheory.HasRightDual,4,5,1,61,2.3119808625267044e-05,0.0,2,0.9682539682539684,True,01153CategoryTheory.HasSeparator,7,8,11,61,1.6776389156130748e-05,0.0008443792863308,2,0.9384615384615383,True,01154CategoryTheory.HasSheafify,4,2,9,60,1.600588920231608e-05,4.7396622042747016e-08,2,0.9375,True,01155CategoryTheory.HasShift,18,9,22,418,1.8627709021691127e-05,9.04706038708931e-07,2,0.9414414414414416,True,01156CategoryTheory.HasSplitCoequalizer,5,3,7,49,1.6257076437156267e-05,0.0,2,0.8305084745762712,True,01157CategoryTheory.HasSplitEqualizer,5,3,7,49,1.625947637132214e-05,0.0,2,0.8305084745762712,True,01158CategoryTheory.Hom,12,8,37,329,2.1402002883439983e-05,0.0,2,0.9267605633802816,True,01159CategoryTheory.HomIsOver,2,5,5,50,1.7158979607318455e-05,0.0,2,1.0,True,01160CategoryTheory.HomOrthogonal,14,0,61,636,1.490145864394503e-05,0.0,2,0.9492537313432836,False,-11161CategoryTheory.HomRel,13,16,8,211,2.394951810737021e-05,0.0,2,0.7902621722846442,True,01162CategoryTheory.Hopf,9,1,10,63,1.5114230482784098e-05,0.0001119301693774,2,0.8181818181818182,True,01163CategoryTheory.HopfObj,21,2,26,656,1.5321755538254323e-05,0.0004283415270236,2,0.8608923884514436,True,01164CategoryTheory.Idempotents,276,6,72,4180,1.82835077075679e-05,3.115699995343383e-07,2,0.5779867256637168,True,01165CategoryTheory.Ind,15,4,26,368,2.44043210703049e-05,0.0,2,0.863849765258216,True,01166CategoryTheory.IndParallelPairPresentation,19,4,15,334,1.8287445821218948e-05,5.227464894476434e-06,2,0.7229437229437229,True,01167CategoryTheory.InducedCategory,40,126,36,1470,8.050151395666654e-05,0.0005399415043,2,0.8876811594202898,True,01168CategoryTheory.InducedWideCategory,6,3,12,89,1.7538540236187254e-05,0.0,2,0.936842105263158,True,01169CategoryTheory.Initial,1,0,4,11,1.490145864394503e-05,0.0,2,1.0,False,-11170CategoryTheory.InitiallySmall,10,1,15,123,1.7029177032335706e-05,0.0,2,0.8145695364238411,True,01171CategoryTheory.Injective,41,14,50,738,1.9478889726725413e-05,0.0003984429871742,2,0.8386363636363636,True,01172CategoryTheory.InjectivePresentation,10,5,15,100,1.556846220096872e-05,5.515941577977296e-06,2,0.8064516129032258,True,01173CategoryTheory.InjectiveResolution,140,2,84,5505,1.9057064720977815e-05,0.0,2,0.846792801107522,True,01174CategoryTheory.InternallyProjective,2,1,5,22,1.5114230482784098e-05,5.525252973711953e-05,2,1.0,True,01175CategoryTheory.IsAccessibleCategory,2,2,3,17,1.562091688881366e-05,6.082566495485867e-08,2,1.0,True,01176CategoryTheory.IsBimonHom,3,2,5,35,1.5154117445685072e-05,0.0,2,1.0,True,01177CategoryTheory.IsCardinalAccessibleCategory,7,7,24,196,1.6889979580749135e-05,7.113601641545122e-05,2,0.98,True,01178CategoryTheory.IsCardinalFiltered,102,9,64,1418,2.1399850779332217e-05,0.0001899328587191,2,0.6246696035242291,True,01179CategoryTheory.IsCardinalFilteredGenerator,2,1,21,97,1.5056166703464832e-05,0.0,2,0.9797979797979798,True,01180CategoryTheory.IsCardinalLocallyPresentable,5,4,19,94,1.5583248887113965e-05,0.0001017883676501,2,0.94,True,01181CategoryTheory.IsCardinalPresentable,4,6,13,123,1.5397799924673892e-05,0.0,2,1.0,True,01182CategoryTheory.IsCartesianDistributive,3,0,21,85,1.490145864394503e-05,0.0,2,1.0,False,-11183CategoryTheory.IsCodetecting,3,0,14,35,1.490145864394503e-05,0.0,2,1.0,False,-11184CategoryTheory.IsCodetector,2,1,8,19,1.5327002321623167e-05,1.815202653035788e-06,2,1.0,True,01185CategoryTheory.IsCofiltered,60,23,47,862,3.133448459073467e-05,0.000310170245773,2,0.7710196779964222,True,01186CategoryTheory.IsCofilteredOrEmpty,9,10,22,149,1.8351878096775143e-05,0.0003428013827554,2,0.9612903225806452,True,01187CategoryTheory.IsCommComonObj,3,3,11,50,1.5335417944755927e-05,0.0001050886763501,2,0.9615384615384616,True,01188CategoryTheory.IsCommMon,1,0,15,33,1.490145864394503e-05,0.0,2,1.0,False,-11189CategoryTheory.IsCommMonObj,7,9,31,207,1.6857043513714047e-05,0.0001529027880978,2,0.9539170506912442,True,01190CategoryTheory.IsComonHom,5,6,9,93,1.887873872530573e-05,0.0,2,0.9587628865979382,True,01191CategoryTheory.IsConnected,7,13,11,102,2.1735955243483233e-05,9.35113337339596e-05,2,0.8947368421052632,True,01192CategoryTheory.IsCoreflexivePair,5,4,6,46,1.591120273062429e-05,4.315891263572502e-07,2,0.8846153846153846,True,01193CategoryTheory.IsCoseparating,3,0,7,23,1.490145864394503e-05,0.0,2,1.0,False,-11194CategoryTheory.IsCoseparator,3,3,9,33,1.5977336248637393e-05,7.422854417455326e-06,2,1.0,True,01195CategoryTheory.IsDetecting,3,0,13,34,1.490145864394503e-05,0.0,2,1.0,False,-11196CategoryTheory.IsDetector,2,1,8,19,1.5327002321623167e-05,1.815202653035788e-06,2,1.0,True,01197CategoryTheory.IsDiscrete,5,6,13,66,1.658753263430888e-05,5.505315117778785e-05,2,0.8461538461538461,True,01198CategoryTheory.IsFiltered,77,25,55,1134,4.412185546751291e-05,4.188392886737435e-05,2,0.7539893617021277,True,01199CategoryTheory.IsFilteredOrEmpty,10,6,23,199,1.8850748050428767e-05,1.7329388889480304e-06,2,0.9521531100478468,True,01200CategoryTheory.IsFinitelyAccessibleCategory,3,1,8,55,1.4965171247099864e-05,0.0,2,1.0,True,0