profile sorted time over character

tests/ring.lean                                   0.009182509505703422
data/complex/basic.lean                           0.008525798525798526
analysis/normed_space.lean                        0.00674729471674093
analysis/probability_mass_function.lean           0.00673688830370858
data/finset.lean                                  0.006419353685565168
order/conditionally_complete_lattice.lean         0.005851397931826888
data/real/ennreal.lean                            0.005842760990978089
analysis/measure_theory/lebesgue_measure.lean     0.005112338156892613
linear_algebra/multivariate_polynomial.lean       0.004994525393750526
category_theory/yoneda.lean                       0.004487722269263336
data/polynomial.lean                              0.0043921971252566736
ring_theory/matrix.lean                           0.00431828476521214
data/set/enumerate.lean                           0.004154175588865096
data/finsupp.lean                                 0.0038285371323877816
analysis/topology/infinite_sum.lean               0.0038227540052727643
set_theory/cofinality.lean                        0.0037584928968499073
group_theory/perm.lean                            0.0037503238461823168
data/padics/padic_norm.lean                       0.0036694105629994597
analysis/measure_theory/outer_measure.lean        0.0036093045057713716
tests/norm_num.lean                               0.0035397653194263363
set_theory/ordinal.lean                           0.0035314912023590647
linear_algebra/basic.lean                         0.003494660304476255
data/real/nnreal.lean                             0.0034930215013202564
data/padics/padic_rationals.lean                  0.003404608573153552
algebra/module.lean                               0.0032834764138419325
linear_algebra/subtype_module.lean                0.0030957586357673807
ring_theory/localization.lean                     0.0030897949563987743
linear_algebra/tensor_product.lean                0.0028519656503584656
analysis/topology/topological_space.lean          0.00285079521811193
set_theory/ordinal_notation.lean                  0.002691126078222852
data/rat.lean                                     0.0026575187583513207
linear_algebra/submodule.lean                     0.0026097534004202146
data/real/cau_seq_completion.lean                 0.0026024844720496897
data/real/basic.lean                              0.0025163889108285285
data/set/finite.lean                              0.002484055052030883
computability/turing_machine.lean                 0.0024261665939816837
data/set/countable.lean                           0.0024160938131823693
analysis/bounded_linear_maps.lean                 0.002415143603133159
ring_theory/associated.lean                       0.0023780759203916833
analysis/metric_space.lean                        0.00236772873428822
category_theory/natural_isomorphism.lean          0.002285714285714286
order/filter.lean                                 0.0022767647824954414
data/analysis/topology.lean                       0.0022667714884696015
data/set/basic.lean                               0.002224644185151943
data/fintype.lean                                 0.0022049611626158857
order/lattice.lean                                0.002183068328319725
set_theory/cardinal.lean                          0.0021593757723405004
group_theory/order_of_element.lean                0.0021010724731881703
category/traversable/instances.lean               0.0020722108145106092
analysis/ennreal.lean                             0.0020615403437939683
data/buffer/basic.lean                            0.002003338898163606
data/nat/pairing.lean                             0.0019419822723609993
data/vector2.lean                                 0.0019321612502219852
analysis/real.lean                                0.001859407397498495
group_theory/free_group.lean                      0.00184667435029929
computability/partrec_code.lean                   0.0018409589079104352
analysis/topology/uniform_space.lean              0.0018168637924456312
analysis/topology/compact_open.lean               0.0018043684710351377
data/equiv/list.lean                              0.0017591069330199767
category_theory/products.lean                     0.0017354474370112945
analysis/limits.lean                              0.001732007021650088
ring_theory/unique_factorization_domain.lean      0.0017081669074530468
computability/halting.lean                        0.0017070316016926264
data/zmod.lean                                    0.0016758000876808416
linear_algebra/linear_map_module.lean             0.0016592372461614658
data/seq/wseq.lean                                0.0016382304091801297
data/int/gcd.lean                                 0.001633603588062791
data/set/disjointed.lean                          0.001632716049382716
analysis/measure_theory/measure_space.lean        0.0015893596553599064
data/real/cau_seq.lean                            0.001566963857731761
linear_algebra/prod_module.lean                   0.0015561868686868685
data/list/basic.lean                              0.0015465251107581151
data/multiset.lean                                0.0015228916451222306
data/int/modeq.lean                               0.0015060625398851308
data/nat/modeq.lean                               0.0014746659944542475
tactic/ring2.lean                                 0.0014109911322917295
number_theory/dioph.lean                          0.0013737734165923284
tests/examples.lean                               0.001371967654986523
analysis/topology/topological_structures.lean     0.0013419933013487824
order/boolean_algebra.lean                        0.0013229018492176387
data/set/lattice.lean                             0.0013207232730605783
data/set/intervals.lean                           0.0013194994455884683
data/analysis/filter.lean                         0.0013147226828818868
computability/partrec.lean                        0.0013035012027032187
order/liminf_limsup.lean                          0.0012998648936926689
tests/finish3.lean                                0.0012814731304021045
group_theory/coset.lean                           0.0012753850681840478
tests/finish2.lean                                0.0012738853503184713
data/num/lemmas.lean                              0.001238891902040135
number_theory/pell.lean                           0.0012279583242454238
data/equiv/denumerable.lean                       0.0011781127861529871
data/int/basic.lean                               0.001170944511125473
category_theory/isomorphism.lean                  0.001152614727854856
analysis/topology/continuity.lean                 0.0011268871682771865
data/padics/padic_integers.lean                   0.001097666378565255
analysis/nnreal.lean                              0.0010795606750602733
analysis/measure_theory/measurable_space.lean     0.0010674181290295035
ring_theory/subring.lean                          0.0010508757297748124
data/seq/seq.lean                                 0.0010100883775220942
tests/linarith.lean                               0.001008186126669539
tactic/norm_num.lean                              0.0009952355743779778
data/seq/parallel.lean                            0.0009802575107296138
data/real/irrational.lean                         0.0009541284403669725
set_theory/lists.lean                             0.000952516619183286
data/array/lemmas.lean                            0.0009449520837976377
data/hash_map.lean                                0.0009419417913815146
ring_theory/principal_ideal_domain.lean           0.0009366130558183538
data/lazy_list2.lean                              0.0009046454767726161
algebra/ring.lean                                 0.0008983301627562883
order/complete_lattice.lean                       0.0008910359634997316
linear_algebra/quotient_module.lean               0.0008830694275274056
tactic/abel.lean                                  0.000877268426937301
data/nat/sqrt.lean                                0.0008701594533029614
data/nat/binomial.lean                            0.0008550913838120105
data/nat/cast.lean                                0.0008426804716709808
analysis/complex.lean                             0.0008323042726599161
ring_theory/noetherian.lean                       0.0008173865500273374
algebra/pi_instances.lean                         0.0008037739272430373
data/list/sort.lean                               0.000793259350595972
data/list/perm.lean                               0.00078566111206551
group_theory/free_abelian_group.lean              0.0007439353099730458
ring_theory/ideals.lean                           0.0007413616466424512
computability/primrec.lean                        0.0007410211119522246
tactic/ring.lean                                  0.0007329352534831986
category/traversable/equiv.lean                   0.0007217618839947668
category_theory/types.lean                        0.0007132867132867133
algebra/ordered_ring.lean                         0.0006906995641574943
data/semiquot.lean                                0.0006697530864197531
category_theory/natural_transformation.lean       0.0006526172671651937
analysis/measure_theory/borel_space.lean          0.0006230779515978073
group_theory/subgroup.lean                        0.0006182086070354227
algebra/order_functions.lean                      0.0006065904505716207
category_theory/examples/topological_spaces.lean  0.0005753646677471636
tactic/linarith.lean                              0.000571323394073256
order/zorn.lean                                   0.0005688946571490374
category_theory/opposites.lean                    0.0005417118093174431
data/equiv/encodable.lean                         0.0005284084963900806
algebra/big_operators.lean                        0.0005255597384584902
data/pfun.lean                                    0.0005244561452126923
category_theory/embedding.lean                    0.0005144440047487139
group_theory/abelianization.lean                  0.0005120056497175141
group_theory/group_action.lean                    0.000508209538702111
data/option.lean                                  0.0004977691020635806
order/order_iso.lean                              0.0004914787398863832
tests/tactics.lean                                0.0004873054873054873
data/nat/prime.lean                               0.0004804282368685179
data/string.lean                                  0.0004712260216847372
tests/finish1.lean                                0.0004478280340349306
algebra/ordered_group.lean                        0.00044261361146413075
data/nat/basic.lean                               0.00042458009679124817
algebra/ordered_field.lean                        0.0004201362604087812
set_theory/zfc.lean                               0.0004183121252011116
data/seq/computation.lean                         0.0003966632618318011
algebra/field_power.lean                          0.00038645800063877354
data/bool.lean                                    0.00038554216867469883
data/nat/choose.lean                              0.00036308203991130823
logic/schroeder_bernstein.lean                    0.0003506674636381749
category/traversable/lemmas.lean                  0.00033418295100538087
category/applicative.lean                         0.00031426775612822125
data/equiv/basic.lean                             0.00031345505838100465
group_theory/submonoid.lean                       0.0002982954545454545
order/bounded_lattice.lean                        0.000288345478117037
algebra/archimedean.lean                          0.0002562923801861855
data/fp/basic.lean                                0.0002557108762359359
order/bounds.lean                                 0.00022688918057378585
category_theory/category.lean                     0.00022386803568422826
logic/embedding.lean                              0.00019589014787785674
group_theory/quotient_group.lean                  0.00017480314960629923
order/galois_connection.lean                      0.00016730114205570025
algebra/gcd_domain.lean                           0.00015486414191186824
algebra/group.lean                                0.00014420410427066
tactic/tauto.lean                                 0.00014123511492661312
algebra/group_power.lean                          0.00014052411697683252
algebra/euclidean_domain.lean                     0.00012393767705382437
order/basic.lean                                  0.00010601915184678523
logic/relation.lean                               9.693959301394007e-05
logic/basic.lean                                  7.957441101524431e-05
tests/tidy.lean                                   0.0
tests/split_ifs.lean                              0.0
tests/restate_axiom.lean                          0.0
tests/replacer.lean                               0.0
tests/mk_iff_of_inductive.lean                    0.0
tactic/wlog.lean                                  0.0
tactic/tidy.lean                                  0.0
tactic/subtype_instance.lean                      0.0
tactic/split_ifs.lean                             0.0
tactic/rewrite.lean                               0.0
tactic/restate_axiom.lean                         0.0
tactic/replacer.lean                              0.0
tactic/rcases.lean                                0.0
tactic/pi_instances.lean                          0.0
tactic/mk_iff_of_inductive_prop.lean              0.0
tactic/interactive.lean                           0.0
tactic/generalize_proofs.lean                     0.0
tactic/finish.lean                                0.0
tactic/find.lean                                  0.0
tactic/ext.lean                                   0.0
tactic/explode.lean                               0.0
tactic/default.lean                               0.0
tactic/converter/old_conv.lean                    0.0
tactic/converter/interactive.lean                 0.0
tactic/converter/binders.lean                     0.0
tactic/chain.lean                                 0.0
tactic/cache.lean                                 0.0
tactic/basic.lean                                 0.0
tactic/auto_cases.lean                            0.0
tactic/alias.lean                                 0.0
tactic/algebra.lean                               0.0
pending/default.lean                              0.0
order/fixed_points.lean                           0.0
order/default.lean                                0.0
order/complete_boolean_algebra.lean               0.0
meta/rb_map.lean                                  0.0
logic/relator.lean                                0.0
logic/function.lean                               0.0
linear_algebra/dimension.lean                     0.0
linear_algebra/default.lean                       0.0
field_theory/subfield.lean                        0.0
data/sum.lean                                     0.0
data/subtype.lean                                 0.0
data/stream/basic.lean                            0.0
data/sigma/default.lean                           0.0
data/sigma/basic.lean                             0.0
data/set/function.lean                            0.0
data/set/default.lean                             0.0
data/quot.lean                                    0.0
data/prod.lean                                    0.0
data/pnat.lean                                    0.0
data/num/bitwise.lean                             0.0
data/num/basic.lean                               0.0
data/nat/gcd.lean                                 0.0
data/nat/dist.lean                                0.0
data/list/default.lean                            0.0
data/fin.lean                                     0.0
data/erased.lean                                  0.0
data/equiv/nat.lean                               0.0
data/dlist/instances.lean                         0.0
data/dlist/basic.lean                             0.0
data/char.lean                                    0.0
core/default.lean                                 0.0
core/data/list.lean                               0.0
category_theory/functor_category.lean             0.0
category_theory/functor.lean                      0.0
category_theory/full_subcategory.lean             0.0
category_theory/examples/rings.lean               0.0
category_theory/examples/monoids.lean             0.0
category_theory/examples/measurable_space.lean    0.0
category/traversable/derive.lean                  0.0
category/traversable/default.lean                 0.0
category/traversable/basic.lean                   0.0
category/functor.lean                             0.0
category/basic.lean                               0.0
algebra/order.lean                                0.0
algebra/field.lean                                0.0
algebra/default.lean                              0.0
algebra/char_zero.lean                            0.0