profile processed data

algebra/archimedean.lean                          [2.23]
algebra/big_operators.lean                        [3.63, 4.83, 2.15]
algebra/char_zero.lean                            []
algebra/default.lean                              []
algebra/euclidean_domain.lean                     [1.05]
algebra/field.lean                                []
algebra/field_power.lean                          [1.21]
algebra/gcd_domain.lean                           [2.2]
algebra/group.lean                                [1.96, 1.68]
algebra/group_power.lean                          [2.59]
algebra/module.lean                               [21.4, 15.7]
algebra/order.lean                                []
algebra/order_functions.lean                      [2.87, 1.64]
algebra/ordered_field.lean                        [2.31, 1.02]
algebra/ordered_group.lean                        [7.07, 3.03]
algebra/ordered_ring.lean                         [6.03, 3.32]
algebra/pi_instances.lean                         [2.87, 4.17, 1.82]
algebra/ring.lean                                 [5.4, 3.1]
analysis/bounded_linear_maps.lean                 [6.96, 5.99]
analysis/complex.lean                             [2.19, 1.18]
analysis/ennreal.lean                             [17.5, 16.2]
analysis/limits.lean                              [10.8, 6.96]
analysis/measure_theory/borel_space.lean          [2.72, 1.94]
analysis/measure_theory/lebesgue_measure.lean     [26.4, 27.3]
analysis/measure_theory/measurable_space.lean     [14.3, 10.7]
analysis/measure_theory/measure_space.lean        [21.4, 16.6]
analysis/measure_theory/outer_measure.lean        [34.6, 27]
analysis/metric_space.lean                        [27.1, 21.5]
analysis/nnreal.lean                              [2.68, 1.35]
analysis/normed_space.lean                        [43.7, 30.5]
analysis/probability_mass_function.lean           [17, 13.7]
analysis/real.lean                                [17.5, 10.3]
analysis/topology/compact_open.lean               [5.99, 3.51]
analysis/topology/continuity.lean                 [31.3, 1.24, 20.7, 1.92]
analysis/topology/infinite_sum.lean               [43.6, 31.8]
analysis/topology/topological_space.lean          [86.2, 1.5, 71.7, 2.28]
analysis/topology/topological_structures.lean     [32.9, 26.4]
analysis/topology/uniform_space.lean              [81, 1.49, 58.2, 2.17]
category/applicative.lean                         [1.5]
category/basic.lean                               []
category/functor.lean                             []
category/traversable/basic.lean                   []
category/traversable/default.lean                 []
category/traversable/derive.lean                  []
category/traversable/equiv.lean                   [2.22, 1.09]
category/traversable/instances.lean               [6.87, 5.24]
category/traversable/lemmas.lean                  [1.18]
category_theory/category.lean                     [1.33]
category_theory/embedding.lean                    [1.3]
category_theory/examples/measurable_space.lean    []
category_theory/examples/monoids.lean             []
category_theory/examples/rings.lean               []
category_theory/examples/topological_spaces.lean  [1.42]
category_theory/full_subcategory.lean             []
category_theory/functor.lean                      []
category_theory/functor_category.lean             []
category_theory/isomorphism.lean                  [4.6, 2.96]
category_theory/natural_isomorphism.lean          [7.51, 4.33]
category_theory/natural_transformation.lean       [1.87, 1.01]
category_theory/opposites.lean                    [1]
category_theory/products.lean                     [5.08, 2.91]
category_theory/types.lean                        [1.53]
category_theory/yoneda.lean                       [13.4, 7.8]
computability/halting.lean                        [11.2, 7.76]
computability/partrec.lean                        [20.2, 12.7, 1.24]
computability/partrec_code.lean                   [37.4, 24.9, 4.05]
computability/primrec.lean                        [19.7, 1.24, 11.5, 2.8]
computability/turing_machine.lean                 [73.9, 1.5, 59.4, 4.28]
core/data/list.lean                               []
core/default.lean                                 []
data/analysis/filter.lean                         [8.93, 5.34]
data/analysis/topology.lean                       [10.7, 6.6]
data/array/lemmas.lean                            [5.21, 3.27]
data/bool.lean                                    [1.6]
data/buffer/basic.lean                            [2.16, 1.44]
data/char.lean                                    []
data/complex/basic.lean                           [56.2, 47.9]
data/dlist/basic.lean                             []
data/dlist/instances.lean                         []
data/equiv/basic.lean                             [5.49, 2.51]
data/equiv/denumerable.lean                       [2.67, 1.55]
data/equiv/encodable.lean                         [3.28, 1.77]
data/equiv/list.lean                              [9.07, 5.9]
data/equiv/nat.lean                               []
data/erased.lean                                  []
data/fin.lean                                     []
data/finset.lean                                  [173, 1.83, 182, 2.32]
data/finsupp.lean                                 [2.53, 68.2, 49.3, 1.17]
data/fintype.lean                                 [31.8, 21]
data/fp/basic.lean                                [1.5]
data/hash_map.lean                                [14, 9.06, 1.99]
data/int/basic.lean                               [28.4, 1.73, 18.5, 2.1]
data/int/gcd.lean                                 [10.7, 8.24]
data/int/modeq.lean                               [2.63, 2.09]
data/lazy_list2.lean                              [1.48]
data/list/basic.lean                              [1.17, 126, 4.88, 90.9, 7.79]
data/list/default.lean                            []
data/list/perm.lean                               [14.8, 1.09, 9.27, 2.28]
data/list/sort.lean                               [4.72, 3]
data/multiset.lean                                [1.72, 99.3, 2.91, 77.9, 4.31]
data/nat/basic.lean                               [6.3, 3.1, 1.04]
data/nat/binomial.lean                            [1.31]
data/nat/cast.lean                                [1.85, 1.08]
data/nat/choose.lean                              [1.31]
data/nat/dist.lean                                []
data/nat/gcd.lean                                 []
data/nat/modeq.lean                               [3.29, 2.56]
data/nat/pairing.lean                             [4.13, 3.1]
data/nat/prime.lean                               [4.92, 2.26]
data/nat/sqrt.lean                                [3.48, 2.25]
data/num/basic.lean                               []
data/num/bitwise.lean                             []
data/num/lemmas.lean                              [34.3, 2.51, 19.5, 3.08]
data/option.lean                                  [2.22, 1.35]
data/padics/padic_integers.lean                   [1.27]
data/padics/padic_norm.lean                       [33.2, 26.6, 1.27]
data/padics/padic_rationals.lean                  [38.1, 28.2, 1.37]
data/pfun.lean                                    [4.73, 2.84]
data/pnat.lean                                    []
data/polynomial.lean                              [115, 2.03, 94.1, 2.77]
data/prod.lean                                    []
data/quot.lean                                    []
data/rat.lean                                     [55.4, 1.64, 43.4, 2.98]
data/real/basic.lean                              [36.6, 25.7, 1.42]
data/real/cau_seq.lean                            [19, 12.5, 1.19]
data/real/cau_seq_completion.lean                 [8, 4.57]
data/real/ennreal.lean                            [44.4, 37.2]
data/real/irrational.lean                         [1.04]
data/real/nnreal.lean                             [26.4, 19.9]
data/semiquot.lean                                [2.68, 1.66]
data/seq/computation.lean                         [8.1, 4.69, 1.19]
data/seq/parallel.lean                            [5.76, 4.42, 1.24]
data/seq/seq.lean                                 [12.8, 10.1, 1.33]
data/seq/wseq.lean                                [44.1, 1.72, 38.1, 2.88]
data/set/basic.lean                               [47.5, 1.14, 37.1, 1.01]
data/set/countable.lean                           [5.59, 6.36]
data/set/default.lean                             []
data/set/disjointed.lean                          [3.13, 2.16]
data/set/enumerate.lean                           [5.46, 4.24]
data/set/finite.lean                              [15.3, 14.3]
data/set/function.lean                            []
data/set/intervals.lean                           [4.94, 3.39]
data/set/lattice.lean                             [18.4, 13.3]
data/sigma/basic.lean                             []
data/sigma/default.lean                           []
data/stream/basic.lean                            []
data/string.lean                                  [1.13]
data/subtype.lean                                 []
data/sum.lean                                     []
data/vector2.lean                                 [6.42, 4.46]
data/zmod.lean                                    [9.12, 6.17]
field_theory/subfield.lean                        []
group_theory/abelianization.lean                  [1.45]
group_theory/coset.lean                           [5.61, 4.79, 2.6]
group_theory/free_abelian_group.lean              [1.74, 1.02]
group_theory/free_group.lean                      [26.5, 22, 1.17]
group_theory/group_action.lean                    [1.95]
group_theory/order_of_element.lean                [6.43, 6.5]
group_theory/perm.lean                            [55.7, 1.15, 42.7, 1.78]
group_theory/quotient_group.lean                  [1.11]
group_theory/subgroup.lean                        [1.85, 5.73, 2.49]
group_theory/submonoid.lean                       [1.68]
linear_algebra/basic.lean                         [67.3, 1.23, 53.1, 1.41]
linear_algebra/default.lean                       []
linear_algebra/dimension.lean                     []
linear_algebra/linear_map_module.lean             [8.87, 4.53]
linear_algebra/multivariate_polynomial.lean       [32.5, 26.8]
linear_algebra/prod_module.lean                   [2.75, 2.18]
linear_algebra/quotient_module.lean               [3.89, 1.91]
linear_algebra/submodule.lean                     [13.4, 10.2]
linear_algebra/subtype_module.lean                [4.35, 2.73]
linear_algebra/tensor_product.lean                [21.6, 14.6]
logic/basic.lean                                  [1.78]
logic/embedding.lean                              [1.02]
logic/function.lean                               []
logic/relation.lean                               [1.21]
logic/relator.lean                                []
logic/schroeder_bernstein.lean                    [1.76]
meta/rb_map.lean                                  []
number_theory/dioph.lean                          [25.2, 21]
number_theory/pell.lean                           [39.1, 2.49, 28.6, 3]
order/basic.lean                                  [1.86]
order/boolean_algebra.lean                        [2.78, 1.87]
order/bounded_lattice.lean                        [4.65, 1.8]
order/bounds.lean                                 [1.21]
order/complete_boolean_algebra.lean               []
order/complete_lattice.lean                       [14.8, 10.1]
order/conditionally_complete_lattice.lean         [80.4, 1.48, 70.9]
order/default.lean                                []
order/filter.lean                                 [94.3, 1.72, 76.4, 2.39]
order/fixed_points.lean                           []
order/galois_connection.lean                      [1.67]
order/lattice.lean                                [14.6, 10.8]
order/liminf_limsup.lean                          [10.3, 7.98]
order/order_iso.lean                              [3.75, 1.96]
order/zorn.lean                                   [3.19, 2.07]
pending/default.lean                              []
ring_theory/associated.lean                       [21.6, 15.8]
ring_theory/ideals.lean                           [5.35, 2.61]
ring_theory/localization.lean                     [16.4, 9.82]
ring_theory/matrix.lean                           [15.3, 13.3]
ring_theory/noetherian.lean                       [1.91, 1.08]
ring_theory/principal_ideal_domain.lean           [2.22, 1.74]
ring_theory/subring.lean                          [1.26]
ring_theory/unique_factorization_domain.lean      [11.9, 8.2]
set_theory/cardinal.lean                          [30.9, 29.1, 1.16]
set_theory/cofinality.lean                        [30.4, 29.1, 1.35]
set_theory/lists.lean                             [5.44, 4.59]
set_theory/ordinal.lean                           [208, 3.75, 179, 6.85]
set_theory/ordinal_notation.lean                  [49.4, 38.4, 3.3]
set_theory/zfc.lean                               [7.72, 3.72]
tactic/abel.lean                                  [5.9, 4.3]
tactic/algebra.lean                               []
tactic/alias.lean                                 []
tactic/auto_cases.lean                            []
tactic/basic.lean                                 []
tactic/cache.lean                                 []
tactic/chain.lean                                 []
tactic/converter/binders.lean                     []
tactic/converter/interactive.lean                 []
tactic/converter/old_conv.lean                    []
tactic/default.lean                               []
tactic/explode.lean                               []
tactic/ext.lean                                   []
tactic/find.lean                                  []
tactic/finish.lean                                []
tactic/generalize_proofs.lean                     []
tactic/interactive.lean                           []
tactic/linarith.lean                              [1.57, 10.2, 3.75]
tactic/mk_iff_of_inductive_prop.lean              []
tactic/norm_num.lean                              [1.51, 9.96, 5.45]
tactic/pi_instances.lean                          []
tactic/rcases.lean                                []
tactic/replacer.lean                              []
tactic/restate_axiom.lean                         []
tactic/rewrite.lean                               []
tactic/ring.lean                                  [7.8, 4.72]
tactic/ring2.lean                                 [13.5, 9.89]
tactic/split_ifs.lean                             []
tactic/subtype_instance.lean                      []
tactic/tauto.lean                                 [1.02]
tactic/tidy.lean                                  []
tactic/wlog.lean                                  []
tests/examples.lean                               [1.55, 3.54]
tests/finish1.lean                                [2]
tests/finish2.lean                                [13.4]
tests/finish3.lean                                [3.41]
tests/linarith.lean                               [2.34]
tests/mk_iff_of_inductive.lean                    []
tests/norm_num.lean                               [5.43]
tests/replacer.lean                               []
tests/restate_axiom.lean                          []
tests/ring.lean                                   [4.83]
tests/split_ifs.lean                              []
tests/tactics.lean                                [5.31, 1.83]
tests/tidy.lean                                   []