@name lean-3.51.1_0
@portname lean
@portepoch 0
@portversion 3.51.1
@portrevision 0
@archs arm64
@pkgdep gmp-6.3.0_0
@macports_version 2.11.5
@os.subplatform macosx
@os.version 20.6.0
@macos_version 11.7.10
@xcodecltversion 13.0.0.0.1.1630607135
@ports_commit 88820fffc5c1785bd7420c72ae00585d1f5cbf03
@source_date_epoch 1754397609
opt/local/bin/lean
@comment MD5:a7aaf94d9876396c8b85b74a3abcd623
@comment binary:1
opt/local/bin/leanchecker
@comment MD5:d308d6b2d60d51501788aafbc384444f
@comment binary:1
opt/local/bin/leanpkg
@comment MD5:99f8f173e94faa3b20edff1896fbbe53
@comment binary:0
opt/local/include/lean_ext/checker/simple_pp.h
@comment MD5:8ed6fb6f5229da1b0cad807702a724fa
@comment binary:0
opt/local/include/lean_ext/checker/text_import.h
@comment MD5:932d90686bde00cff7b20c32b09ab746
@comment binary:0
opt/local/include/lean_ext/frontends/lean/brackets.h
@comment MD5:2d63cb56fc4bb15ab63115735d300b55
@comment binary:0
opt/local/include/lean_ext/frontends/lean/builtin_cmds.h
@comment MD5:e26858d231888f259870b856ab78d2c9
@comment binary:0
opt/local/include/lean_ext/frontends/lean/builtin_exprs.h
@comment MD5:00fceca10ffa20e3dce19f6a80a6c23b
@comment binary:0
opt/local/include/lean_ext/frontends/lean/calc.h
@comment MD5:6288c59d619ff18289c5cfefa85fb213
@comment binary:0
opt/local/include/lean_ext/frontends/lean/cmd_table.h
@comment MD5:a0361708195da286d385a2ac858e68af
@comment binary:0
opt/local/include/lean_ext/frontends/lean/completion.h
@comment MD5:ed4e35e5f37ca04f5d534e8dbf404294
@comment binary:0
opt/local/include/lean_ext/frontends/lean/decl_attributes.h
@comment MD5:4fbcb4470b13ff718db3eacf1c69e92f
@comment binary:0
opt/local/include/lean_ext/frontends/lean/decl_cmds.h
@comment MD5:225a8d391e37d1044172b058612169a9
@comment binary:0
opt/local/include/lean_ext/frontends/lean/decl_util.h
@comment MD5:9e794fcccf21571990c55768bcbc945a
@comment binary:0
opt/local/include/lean_ext/frontends/lean/definition_cmds.h
@comment MD5:d3251e447d8af661f7a743ca20360da2
@comment binary:0
opt/local/include/lean_ext/frontends/lean/dependencies.h
@comment MD5:b97da12f55e043461cf169af5045aa21
@comment binary:0
opt/local/include/lean_ext/frontends/lean/elaborator.h
@comment MD5:8b5d1deafee423bd28bce5aa45a81a86
@comment binary:0
opt/local/include/lean_ext/frontends/lean/inductive_cmds.h
@comment MD5:bfe93af74cc5f829d9922a8c5f53f9db
@comment binary:0
opt/local/include/lean_ext/frontends/lean/info_manager.h
@comment MD5:75d18117f701471b0dbe4306e5b5514c
@comment binary:0
opt/local/include/lean_ext/frontends/lean/init_module.h
@comment MD5:f89eb2f53cc3141c8d6fc17180aead08
@comment binary:0
opt/local/include/lean_ext/frontends/lean/interactive.h
@comment MD5:4f3ed01591fab75706df6cfa93b6a4e3
@comment binary:0
opt/local/include/lean_ext/frontends/lean/json.h
@comment MD5:e47f2edf513288cfd55df10ddde87d49
@comment binary:0
opt/local/include/lean_ext/frontends/lean/local_context_adapter.h
@comment MD5:0d341c411531339e5a8f8f6d1ee4aada
@comment binary:0
opt/local/include/lean_ext/frontends/lean/local_decls.h
@comment MD5:3c2fd9391f8c3ab1c58753457e1c55e6
@comment binary:0
opt/local/include/lean_ext/frontends/lean/local_level_decls.h
@comment MD5:edf0ea6e4df89978813e8cf5c70a3fa8
@comment binary:0
opt/local/include/lean_ext/frontends/lean/match_expr.h
@comment MD5:e953a2566b86585df8d5130f2e4e458e
@comment binary:0
opt/local/include/lean_ext/frontends/lean/module_parser.h
@comment MD5:53e9f55da0d3e0ba0015bf5cfca964aa
@comment binary:0
opt/local/include/lean_ext/frontends/lean/notation_cmd.h
@comment MD5:82b44501d1a8682362b0115f6cdabc57
@comment binary:0
opt/local/include/lean_ext/frontends/lean/parse_table.h
@comment MD5:536631a10f973d517dc57d570fefb44a
@comment binary:0
opt/local/include/lean_ext/frontends/lean/parser.h
@comment MD5:560b5926cb3573a0311151dbcf6062d3
@comment binary:0
opt/local/include/lean_ext/frontends/lean/parser_config.h
@comment MD5:044f2bf06af687c56b25fa80244c4378
@comment binary:0
opt/local/include/lean_ext/frontends/lean/parser_pos_provider.h
@comment MD5:ba9190b5f702c53fb975b01526902181
@comment binary:0
opt/local/include/lean_ext/frontends/lean/parser_state.h
@comment MD5:f3312faf7a4e39621dc9812421a25f8b
@comment binary:0
opt/local/include/lean_ext/frontends/lean/pp.h
@comment MD5:9c8059f7a900a476ec4eb1048f10fefa
@comment binary:0
opt/local/include/lean_ext/frontends/lean/prenum.h
@comment MD5:2e9446c816748a53742e04daa95722a4
@comment binary:0
opt/local/include/lean_ext/frontends/lean/print_cmd.h
@comment MD5:f2f0774629e21ef83e9f638adfd855b7
@comment binary:0
opt/local/include/lean_ext/frontends/lean/scanner.h
@comment MD5:169c903b24874d5f88097e7a3ba8473f
@comment binary:0
opt/local/include/lean_ext/frontends/lean/structure_cmd.h
@comment MD5:3034dbab2b87b1d72896a80903b4f1dc
@comment binary:0
opt/local/include/lean_ext/frontends/lean/structure_instance.h
@comment MD5:fc95a169fd8d794cc10d0a0e8543aa3f
@comment binary:0
opt/local/include/lean_ext/frontends/lean/tactic_notation.h
@comment MD5:317d9e2e35dd03496a2d4fd5b62ec09f
@comment binary:0
opt/local/include/lean_ext/frontends/lean/token_table.h
@comment MD5:8b5f156d6bb85809c3ea8d350d778c48
@comment binary:0
opt/local/include/lean_ext/frontends/lean/tokens.h
@comment MD5:3c74966ffc238eddc1b2d0461394c1b4
@comment binary:0
opt/local/include/lean_ext/frontends/lean/type_util.h
@comment MD5:46ccf76ca0d1e805ebfce53b8c09c4ab
@comment binary:0
opt/local/include/lean_ext/frontends/lean/user_command.h
@comment MD5:22b1ce6edc61b63649ec4c72f0c159f5
@comment binary:0
opt/local/include/lean_ext/frontends/lean/user_notation.h
@comment MD5:ee1bb797592d062d5cdfd669f651e253
@comment binary:0
opt/local/include/lean_ext/frontends/lean/util.h
@comment MD5:1d062c7a96785f0019bcb17f618bf395
@comment binary:0
opt/local/include/lean_ext/frontends/lean/widget.h
@comment MD5:50aec63cd17e94ebe404012b341cdf2e
@comment binary:0
opt/local/include/lean_ext/init/init.h
@comment MD5:877037d92369ccd824e942e986e4c781
@comment binary:0
opt/local/include/lean_ext/kernel/abstract.h
@comment MD5:1a5abfa4b2a03b8f3cd7b58064cb25d7
@comment binary:0
opt/local/include/lean_ext/kernel/abstract_type_context.h
@comment MD5:ea6d22113e761eeedbafb3e0b7d7964e
@comment binary:0
opt/local/include/lean_ext/kernel/cache_stack.h
@comment MD5:cfa4b985b026e743f163d2745911361c
@comment binary:0
opt/local/include/lean_ext/kernel/declaration.h
@comment MD5:3e4b9f04c8ea96f27f746c372711f21f
@comment binary:0
opt/local/include/lean_ext/kernel/environment.h
@comment MD5:9dcd563da5196130dea5d61c4e1f7afb
@comment binary:0
opt/local/include/lean_ext/kernel/equiv_manager.h
@comment MD5:5c43c9131e913e9d0bcd30781e1043ff
@comment binary:0
opt/local/include/lean_ext/kernel/error_msgs.h
@comment MD5:9a9e16c6ac64bf26dd87153490e51cba
@comment binary:0
opt/local/include/lean_ext/kernel/expr.h
@comment MD5:f35a60e9bd71837fa77c3f8c8ba5ee7b
@comment binary:0
opt/local/include/lean_ext/kernel/expr_cache.h
@comment MD5:f5eff4c764359abc55a30b8b04e5d270
@comment binary:0
opt/local/include/lean_ext/kernel/expr_eq_fn.h
@comment MD5:487319fcec6f3f3d9d45365b48049198
@comment binary:0
opt/local/include/lean_ext/kernel/expr_maps.h
@comment MD5:dab5fb34c4727dce045ee3e6ccdc43be
@comment binary:0
opt/local/include/lean_ext/kernel/expr_pair.h
@comment MD5:c0d6f1accd01ccac80741f84ca769236
@comment binary:0
opt/local/include/lean_ext/kernel/expr_sets.h
@comment MD5:7ef6fcb7ea6c5e61b7a8fcd4433280f3
@comment binary:0
opt/local/include/lean_ext/kernel/ext_exception.h
@comment MD5:d06b0e0bc77de489ff21b912ea875503
@comment binary:0
opt/local/include/lean_ext/kernel/find_fn.h
@comment MD5:e3a26075a4ec16fd6fb0d5c3a851b4f7
@comment binary:0
opt/local/include/lean_ext/kernel/for_each_fn.h
@comment MD5:a20cb546e900e935a636b8e907ecde05
@comment binary:0
opt/local/include/lean_ext/kernel/formatter.h
@comment MD5:7975a425bbeb5c54eddb77ee3623d709
@comment binary:0
opt/local/include/lean_ext/kernel/free_vars.h
@comment MD5:2bb076eeb584b918bdf105301942a258
@comment binary:0
opt/local/include/lean_ext/kernel/inductive/inductive.h
@comment MD5:f050312294081be293da34306015845a
@comment binary:0
opt/local/include/lean_ext/kernel/init_module.h
@comment MD5:7c922dd8f844d87e19aab9ed8f39fafb
@comment binary:0
opt/local/include/lean_ext/kernel/instantiate.h
@comment MD5:5dbb4573f62a8934d785d822169835c9
@comment binary:0
opt/local/include/lean_ext/kernel/kernel_exception.h
@comment MD5:e098e395be070e8f02f8695f43ba9721
@comment binary:0
opt/local/include/lean_ext/kernel/level.h
@comment MD5:27b8709ee423eef9c07694ab1a8c4b77
@comment binary:0
opt/local/include/lean_ext/kernel/normalizer_extension.h
@comment MD5:18fb4c1633c81c16db6bee7de0f7a32b
@comment binary:0
opt/local/include/lean_ext/kernel/pos_info_provider.h
@comment MD5:0eab5398c61627efc5e0b278610d8ad0
@comment binary:0
opt/local/include/lean_ext/kernel/quotient/quotient.h
@comment MD5:e2a32684fb47440d96798fb7b9682b10
@comment binary:0
opt/local/include/lean_ext/kernel/replace_fn.h
@comment MD5:73ae4675968a5b6896f703c40dc26416
@comment binary:0
opt/local/include/lean_ext/kernel/scope_pos_info_provider.h
@comment MD5:e7607ff18e48dc8f96f52d6391ddbfd8
@comment binary:0
opt/local/include/lean_ext/kernel/standard_kernel.h
@comment MD5:568c1f209ce31f7eee44bdf85ecd3c47
@comment binary:0
opt/local/include/lean_ext/kernel/type_checker.h
@comment MD5:a7c9cc09736ee639ccee9f2677dcb473
@comment binary:0
opt/local/include/lean_ext/library/abstract_context_cache.h
@comment MD5:4757bf5b064f07784d2a9e8e5c685b28
@comment binary:0
opt/local/include/lean_ext/library/abstract_parser.h
@comment MD5:42f1d8e6e79a601c2dc2c12cc9fd96a6
@comment binary:0
opt/local/include/lean_ext/library/ac_match.h
@comment MD5:26f2ed9223d8ed88362a0a20f9211f82
@comment binary:0
opt/local/include/lean_ext/library/aliases.h
@comment MD5:71d5fc68e41fc4599542b8cb056ef072
@comment binary:0
opt/local/include/lean_ext/library/annotation.h
@comment MD5:4e57917c0d2214c129a356f0a8c65fcf
@comment binary:0
opt/local/include/lean_ext/library/app_builder.h
@comment MD5:3c9af63b59d4006e6811cb6fa84ddc6c
@comment binary:0
opt/local/include/lean_ext/library/ast_exporter.h
@comment MD5:35588381bcd59c93631e45cba5da561a
@comment binary:0
opt/local/include/lean_ext/library/attribute_manager.h
@comment MD5:46a7cef730f6fdcaddd7fb8a56a0d382
@comment binary:0
opt/local/include/lean_ext/library/aux_definition.h
@comment MD5:98d2830077e8bdc869c9d1c9849e84ac
@comment binary:0
opt/local/include/lean_ext/library/aux_recursors.h
@comment MD5:342555d6ad455ab00ab194f59f2cdf6b
@comment binary:0
opt/local/include/lean_ext/library/bin_app.h
@comment MD5:6c7f4bfb7fe0fe466b10fd12fb464741
@comment binary:0
opt/local/include/lean_ext/library/cache_helper.h
@comment MD5:4a12652e8b6935da10659667f545e036
@comment binary:0
opt/local/include/lean_ext/library/check.h
@comment MD5:7f191301eef9623d41203386c0bd0473
@comment binary:0
opt/local/include/lean_ext/library/choice.h
@comment MD5:4d3965d3463486992e089b4895e8ce2b
@comment binary:0
opt/local/include/lean_ext/library/class.h
@comment MD5:aaf84ebc4e7231f45a6fee364ceed920
@comment binary:0
opt/local/include/lean_ext/library/comp_val.h
@comment MD5:af4b9c3b5ca01eda4d2b5b101ee41434
@comment binary:0
opt/local/include/lean_ext/library/compiler/comp_irrelevant.h
@comment MD5:1bec41e44d85b4b5b077c52489e1688f
@comment binary:0
opt/local/include/lean_ext/library/compiler/compiler_step_visitor.h
@comment MD5:1b45d8b561fdd31e888414141959b688
@comment binary:0
opt/local/include/lean_ext/library/compiler/cse.h
@comment MD5:4e8e1be6d28e5bf80af4395f0a5459a9
@comment binary:0
opt/local/include/lean_ext/library/compiler/elim_recursors.h
@comment MD5:ab5c29bd82923a71ee3c4d014f86b2b5
@comment binary:0
opt/local/include/lean_ext/library/compiler/elim_unused_lets.h
@comment MD5:dac049c7761f7a425277389b0028f831
@comment binary:0
opt/local/include/lean_ext/library/compiler/erase_irrelevant.h
@comment MD5:5218b83748a7baa9797e6f61a7ec792b
@comment binary:0
opt/local/include/lean_ext/library/compiler/eta_expansion.h
@comment MD5:8cdfb22e91aea72d8462a515020df95d
@comment binary:0
opt/local/include/lean_ext/library/compiler/extract_values.h
@comment MD5:b92306e4ab2067769cbc045ac39b552c
@comment binary:0
opt/local/include/lean_ext/library/compiler/init_module.h
@comment MD5:e51a3b8435e230288c03e5948effcfef
@comment binary:0
opt/local/include/lean_ext/library/compiler/inliner.h
@comment MD5:77cee5580c72c512cf4ac3e4e5bb2b51
@comment binary:0
opt/local/include/lean_ext/library/compiler/lambda_lifting.h
@comment MD5:7a337e4a001f98adda794bcb83ee9254
@comment binary:0
opt/local/include/lean_ext/library/compiler/nat_value.h
@comment MD5:91640bf00660ea5d36840ebe697f6254
@comment binary:0
opt/local/include/lean_ext/library/compiler/preprocess.h
@comment MD5:ca0a589a36638d5b75edff815377a424
@comment binary:0
opt/local/include/lean_ext/library/compiler/procedure.h
@comment MD5:d81bb34c5d38cb5212dcbadeee0072de
@comment binary:0
opt/local/include/lean_ext/library/compiler/rec_fn_macro.h
@comment MD5:3489f84632fa4849544798094d88e30a
@comment binary:0
opt/local/include/lean_ext/library/compiler/reduce_arity.h
@comment MD5:d23bbc8c6b75aae184e8c80892c62a64
@comment binary:0
opt/local/include/lean_ext/library/compiler/simp_inductive.h
@comment MD5:918e53fd32acfc71b3fb7ce2a41c41ef
@comment binary:0
opt/local/include/lean_ext/library/compiler/util.h
@comment MD5:0a0aa79ce6c895f9b3ed82cf3519dd33
@comment binary:0
opt/local/include/lean_ext/library/compiler/vm_compiler.h
@comment MD5:316f2c2e5bd09eb6d4e96da72bde5f68
@comment binary:0
opt/local/include/lean_ext/library/congr_lemma.h
@comment MD5:0398b8204b9a53a248ce6cb6e2922cae
@comment binary:0
opt/local/include/lean_ext/library/constants.h
@comment MD5:08bc9e41f2e6a79547da0f782b092d0b
@comment binary:0
opt/local/include/lean_ext/library/constructions/brec_on.h
@comment MD5:fb91581fe10f681bb12267db98a4489c
@comment binary:0
opt/local/include/lean_ext/library/constructions/cases_on.h
@comment MD5:b84e602038f7d9ed2b59c6da43083259
@comment binary:0
opt/local/include/lean_ext/library/constructions/constructor.h
@comment MD5:2036d4ca07341471249520060ceb9404
@comment binary:0
opt/local/include/lean_ext/library/constructions/drec.h
@comment MD5:7496c2b9760be14884808c9067a19a77
@comment binary:0
opt/local/include/lean_ext/library/constructions/has_sizeof.h
@comment MD5:844cb3d9097537463137a9de461b8e8b
@comment binary:0
opt/local/include/lean_ext/library/constructions/init_module.h
@comment MD5:d5c05e41507fcc9ed8593381802a1da5
@comment binary:0
opt/local/include/lean_ext/library/constructions/injective.h
@comment MD5:8aa10a66ec3a505a947f5183588aa28e
@comment binary:0
opt/local/include/lean_ext/library/constructions/no_confusion.h
@comment MD5:9d76042efc22e026a59ad768aa4105d8
@comment binary:0
opt/local/include/lean_ext/library/constructions/projection.h
@comment MD5:eba79c11bc8c945bbcef4a75c3c48d6b
@comment binary:0
opt/local/include/lean_ext/library/constructions/rec_on.h
@comment MD5:2a72fa0fc47bef22f4fbb59d6d6c87d7
@comment binary:0
opt/local/include/lean_ext/library/constructions/util.h
@comment MD5:4ed2c1c73ebf49bb87b20a97af0a1708
@comment binary:0
opt/local/include/lean_ext/library/context_cache.h
@comment MD5:9eb13ef280dfa5f91a5fed5edf7b6695
@comment binary:0
opt/local/include/lean_ext/library/deep_copy.h
@comment MD5:af97667e3bd190421ac6af2b4d9f5aaa
@comment binary:0
opt/local/include/lean_ext/library/defeq_canonizer.h
@comment MD5:2eed1743a803824e723bfed3eb5232b9
@comment binary:0
opt/local/include/lean_ext/library/delayed_abstraction.h
@comment MD5:be91334d0142471e2adb3b017d9a93b8
@comment binary:0
opt/local/include/lean_ext/library/discr_tree.h
@comment MD5:307aceb625097fc24d237bb4b1ff5470
@comment binary:0
opt/local/include/lean_ext/library/documentation.h
@comment MD5:e9420631f68f68d7bc71aa8ab8766e79
@comment binary:0
opt/local/include/lean_ext/library/elab_context.h
@comment MD5:44ec38d24c34e969bce643ef3ea78357
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/compiler.h
@comment MD5:69e253e3474f5154e4ef3a1bb695c5f7
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/elim_match.h
@comment MD5:6c29b8fb87e43aa142edd115b3f3a348
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/equations.h
@comment MD5:afe8f5baa24d4798f372ce631cdddea3
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/init_module.h
@comment MD5:162146c8cfb6d2c9789bfd111eebe2f0
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/pack_domain.h
@comment MD5:3d7572c3c80c59f935640ea02076df86
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/pack_mutual.h
@comment MD5:ea70669b0a54c587ce63c939b2212927
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/structural_rec.h
@comment MD5:ab84881bebf9a41210e3fcebddb38108
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/unbounded_rec.h
@comment MD5:75856fe688688b65d15a4dcdbaf56ee7
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/util.h
@comment MD5:cde3abfbd1268273b3cbd1c64d5de341
@comment binary:0
opt/local/include/lean_ext/library/equations_compiler/wf_rec.h
@comment MD5:c6080fd7be698fe5d622f9afb68c3b60
@comment binary:0
opt/local/include/lean_ext/library/eval_helper.h
@comment MD5:1b9f445d329d89a08a872551225281fe
@comment binary:0
opt/local/include/lean_ext/library/exception.h
@comment MD5:90ecb64e25edca63001f5485fd5bc6a1
@comment binary:0
opt/local/include/lean_ext/library/explicit.h
@comment MD5:142d6a32b5271a31fbf6fbd9320351f5
@comment binary:0
opt/local/include/lean_ext/library/export.h
@comment MD5:6f9484128f0aa794be0e3bfdae2248fd
@comment binary:0
opt/local/include/lean_ext/library/export_decl.h
@comment MD5:af8cf0ad2ac5f01d11e797e74d208df9
@comment binary:0
opt/local/include/lean_ext/library/expr_address.h
@comment MD5:e282e93de5189657fafb6d40a4c72c03
@comment binary:0
opt/local/include/lean_ext/library/expr_lt.h
@comment MD5:9f5996753702294a58316dd36759776a
@comment binary:0
opt/local/include/lean_ext/library/expr_pair.h
@comment MD5:a66cc58ba6d7214f79902f4cd67f350e
@comment binary:0
opt/local/include/lean_ext/library/expr_pair_maps.h
@comment MD5:adf1f19ba28beb5335cc23b2ab6e21fc
@comment binary:0
opt/local/include/lean_ext/library/expr_unsigned_map.h
@comment MD5:fbb55b1efb8f73bf2df05a7fe05b30aa
@comment binary:0
opt/local/include/lean_ext/library/feature_search.h
@comment MD5:f6a9caed00ded01a9a704bfe15de0cf8
@comment binary:0
opt/local/include/lean_ext/library/fingerprint.h
@comment MD5:15d96b1900afcc8accc24afa10df9b9d
@comment binary:0
opt/local/include/lean_ext/library/fun_info.h
@comment MD5:c7365ef04f95c2c8a0d0d7c926c63b34
@comment binary:0
opt/local/include/lean_ext/library/handle.h
@comment MD5:ff5ce485410b3861ee248f4af3d845ed
@comment binary:0
opt/local/include/lean_ext/library/head_map.h
@comment MD5:801fb48eeb64742c25504e4fb73d0137
@comment binary:0
opt/local/include/lean_ext/library/idx_metavar.h
@comment MD5:f165442bb20154666c3771c3d3d55340
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/add_decl.h
@comment MD5:06e8902883c8e8963e001794a076b161
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/basic.h
@comment MD5:0f72f4c6cdc6ba0560416e03042b4b75
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/compiler.h
@comment MD5:35174e108c4a31f3e514df9a92638984
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/ginductive.h
@comment MD5:ba62b899a16850b4bb82de61d3f99b13
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/ginductive_decl.h
@comment MD5:08cb7a96ce1d6ea5cd1f12e41ac2adc3
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/init_module.h
@comment MD5:2234b141570cc24b1721b2faa0616094
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/mutual.h
@comment MD5:5994f6fc952c8ee98b76b27e3f3837a2
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/nested.h
@comment MD5:d4dba69f5e49de44d8e82d7d3e9aebbe
@comment binary:0
opt/local/include/lean_ext/library/inductive_compiler/util.h
@comment MD5:ce8e0f61b225bed4e94c5adc927507f4
@comment binary:0
opt/local/include/lean_ext/library/init_module.h
@comment MD5:5a5719ff5e1f2afd9bb7e59a557bffd2
@comment binary:0
opt/local/include/lean_ext/library/inverse.h
@comment MD5:d515d50b539f7c9a61d0904ebc9e0ef0
@comment binary:0
opt/local/include/lean_ext/library/io_state.h
@comment MD5:2ccb50a7019f969db5d771e252fd8b68
@comment binary:0
opt/local/include/lean_ext/library/io_state_stream.h
@comment MD5:4a3aa73cde2e0c67ee561bff8c513bec
@comment binary:0
opt/local/include/lean_ext/library/kernel_serializer.h
@comment MD5:12195e5c8e788aabdb3ab3087cbde67e
@comment binary:0
opt/local/include/lean_ext/library/library_task_builder.h
@comment MD5:1c239f116fe81132d1cbf0030d9b4a4d
@comment binary:0
opt/local/include/lean_ext/library/local_context.h
@comment MD5:551211483b4c2f49485bb32852a4ff29
@comment binary:0
opt/local/include/lean_ext/library/local_instances.h
@comment MD5:973431f44e71045421dfb528bc269f57
@comment binary:0
opt/local/include/lean_ext/library/locals.h
@comment MD5:9ca61ebf0ebbdbdb4a01239f724dfb04
@comment binary:0
opt/local/include/lean_ext/library/max_sharing.h
@comment MD5:3043b238f61e2ccf5085bb4801f7f32d
@comment binary:0
opt/local/include/lean_ext/library/message_builder.h
@comment MD5:870e2d28fb1041e3cd5d6b23c026e329
@comment binary:0
opt/local/include/lean_ext/library/messages.h
@comment MD5:55ad896ed3f5cf3cba19541317bd0073
@comment binary:0
opt/local/include/lean_ext/library/metavar_context.h
@comment MD5:73aae99520d5200bdcf3912f7e6f8e7e
@comment binary:0
opt/local/include/lean_ext/library/metavar_util.h
@comment MD5:a34b27d786caa5ac6760c713ebf3d00f
@comment binary:0
opt/local/include/lean_ext/library/module.h
@comment MD5:3d3d860e9c1366a18f909239c0a1d715
@comment binary:0
opt/local/include/lean_ext/library/module_mgr.h
@comment MD5:37f04c3f97a8412652ec5a20e566e676
@comment binary:0
opt/local/include/lean_ext/library/mt_task_queue.h
@comment MD5:4f7f20ba54a82f0f6b60bedd1fa430f2
@comment binary:0
opt/local/include/lean_ext/library/native_compiler/cpp_compiler.h
@comment MD5:ae57a25d7267f30da94bddc09e5750a5
@comment binary:0
opt/local/include/lean_ext/library/noncomputable.h
@comment MD5:f32f1526c55a11c79642279a7823f2e8
@comment binary:0
opt/local/include/lean_ext/library/normalize.h
@comment MD5:6972968097808bcd39f92ee829901d01
@comment binary:0
opt/local/include/lean_ext/library/num.h
@comment MD5:655005bce65ccab158a0a55fd0ff1cbc
@comment binary:0
opt/local/include/lean_ext/library/parray.h
@comment MD5:b72b3a38045fd2915344c818445894d4
@comment binary:0
opt/local/include/lean_ext/library/pattern_attribute.h
@comment MD5:817caff0db59246d1a73fcecf236f2df
@comment binary:0
opt/local/include/lean_ext/library/persistent_context_cache.h
@comment MD5:631e5963f6af3a2246e8d540f7a56ace
@comment binary:0
opt/local/include/lean_ext/library/phash_map.h
@comment MD5:7363b7461e0ba2ce18760d6a4adda99c
@comment binary:0
opt/local/include/lean_ext/library/phashtable.h
@comment MD5:8d4de6b457a43bc1043a4b76c1d08f44
@comment binary:0
opt/local/include/lean_ext/library/pipe.h
@comment MD5:8b19165ca7a8ebd56a0b0ddd68f6767b
@comment binary:0
opt/local/include/lean_ext/library/placeholder.h
@comment MD5:baeeba5a25f7674101ea1d2dc8a7004c
@comment binary:0
opt/local/include/lean_ext/library/pp_options.h
@comment MD5:7c598257294b55e31b9f113f92321ece
@comment binary:0
opt/local/include/lean_ext/library/predict/predict.h
@comment MD5:afc804c9830ae66f263fb06108ebe7f5
@comment binary:0
opt/local/include/lean_ext/library/print.h
@comment MD5:60236b95690510dd9fcadb92203c31a7
@comment binary:0
opt/local/include/lean_ext/library/private.h
@comment MD5:e82cd15ea59093a193beffeea2632d52
@comment binary:0
opt/local/include/lean_ext/library/process.h
@comment MD5:2f3ba04e299be672012d7c7be3b8ef71
@comment binary:0
opt/local/include/lean_ext/library/profiling.h
@comment MD5:b3b204f0960a95333aed239e02c7af98
@comment binary:0
opt/local/include/lean_ext/library/projection.h
@comment MD5:e9d85de0018a815a94f91ca508bc8cdb
@comment binary:0
opt/local/include/lean_ext/library/protected.h
@comment MD5:d110c27dbf772a92171e4ff1c0910068
@comment binary:0
opt/local/include/lean_ext/library/quote.h
@comment MD5:eae451070e1257579de489bf3bf5bee6
@comment binary:0
opt/local/include/lean_ext/library/reducible.h
@comment MD5:84e3fffd6518990d05b356efa74b95cc
@comment binary:0
opt/local/include/lean_ext/library/relation_manager.h
@comment MD5:a91fac2c2078a42a184a6febbbaede6e
@comment binary:0
opt/local/include/lean_ext/library/replace_visitor.h
@comment MD5:463750cbc5b6f0d590b541e6ea9fa052
@comment binary:0
opt/local/include/lean_ext/library/replace_visitor_with_tc.h
@comment MD5:5534d50398aa1993b22f53dc88fd247b
@comment binary:0
opt/local/include/lean_ext/library/scoped_ext.h
@comment MD5:4c4f63a19a4cce57a09f2514246eacda
@comment binary:0
opt/local/include/lean_ext/library/shared_environment.h
@comment MD5:a0ba95859cc5740db83f319eeb868b9d
@comment binary:0
opt/local/include/lean_ext/library/sorry.h
@comment MD5:f2f215f1b94d52dfaebd4bf6a20c8b05
@comment binary:0
opt/local/include/lean_ext/library/st_task_queue.h
@comment MD5:829f953e13ad1ce9d13ba7c1d7aed6e7
@comment binary:0
opt/local/include/lean_ext/library/string.h
@comment MD5:08d2a1d52528f103a3156aced76585ca
@comment binary:0
opt/local/include/lean_ext/library/tactic/ac_tactics.h
@comment MD5:13ef4b3e23e0c8c72b4d58d84ebdd47a
@comment binary:0
opt/local/include/lean_ext/library/tactic/algebraic_normalizer.h
@comment MD5:f99d0d1cef292633ee8e0ad535649173
@comment binary:0
opt/local/include/lean_ext/library/tactic/app_builder_tactics.h
@comment MD5:5b25a176c8cb1aa3fd21b835e7b7a98e
@comment binary:0
opt/local/include/lean_ext/library/tactic/apply_tactic.h
@comment MD5:c0cab7c9c957cdd590ef985a6fc77561
@comment binary:0
opt/local/include/lean_ext/library/tactic/assert_tactic.h
@comment MD5:da4c7978b2675f80ca7075a91464a1ef
@comment binary:0
opt/local/include/lean_ext/library/tactic/backward/backward_chaining.h
@comment MD5:7a6206bb3ef657c17d05ba7815f8cc39
@comment binary:0
opt/local/include/lean_ext/library/tactic/backward/backward_lemmas.h
@comment MD5:16e4946d00449cd56874fbdfd445a9ce
@comment binary:0
opt/local/include/lean_ext/library/tactic/backward/init_module.h
@comment MD5:9cc3e852ffc7073f7c255c1d6236e031
@comment binary:0
opt/local/include/lean_ext/library/tactic/cases_tactic.h
@comment MD5:51786d98474873feea89bb319840a7d5
@comment binary:0
opt/local/include/lean_ext/library/tactic/change_tactic.h
@comment MD5:02d11266c204bd5a01b856535c38a9ab
@comment binary:0
opt/local/include/lean_ext/library/tactic/clear_tactic.h
@comment MD5:503d7e1d788c06047e38c6bd91c1cce6
@comment binary:0
opt/local/include/lean_ext/library/tactic/congr_lemma_tactics.h
@comment MD5:8dabbb4596ead74fd0e31c3e77b4a3fa
@comment binary:0
opt/local/include/lean_ext/library/tactic/destruct_tactic.h
@comment MD5:60636c73ac9f906b5bfd035c9e013edb
@comment binary:0
opt/local/include/lean_ext/library/tactic/dsimplify.h
@comment MD5:b418686c97f11c9fd77de28c96da44a4
@comment binary:0
opt/local/include/lean_ext/library/tactic/elaborate.h
@comment MD5:f3e46976215ad7f230ea6da127f6e4eb
@comment binary:0
opt/local/include/lean_ext/library/tactic/elaborator_exception.h
@comment MD5:209e9260556ae9575fc9c8c31ce90d40
@comment binary:0
opt/local/include/lean_ext/library/tactic/eqn_lemmas.h
@comment MD5:54f43c009c50fa434c57ed84464d6916
@comment binary:0
opt/local/include/lean_ext/library/tactic/eval.h
@comment MD5:023b60867bbeb1abcfb22a57252c1d71
@comment binary:0
opt/local/include/lean_ext/library/tactic/exact_tactic.h
@comment MD5:b8b78505e542def526030f88821e76b5
@comment binary:0
opt/local/include/lean_ext/library/tactic/fun_info_tactics.h
@comment MD5:e348d2d6d1441457be99802843cc8b97
@comment binary:0
opt/local/include/lean_ext/library/tactic/generalize_tactic.h
@comment MD5:2f209efb5380157f8081915cb9347699
@comment binary:0
opt/local/include/lean_ext/library/tactic/gexpr.h
@comment MD5:2d0237bee9f2ea0a97b7c0cb035b4f03
@comment binary:0
opt/local/include/lean_ext/library/tactic/hole_command.h
@comment MD5:c6353438a10d96658d9e3de4b258044f
@comment binary:0
opt/local/include/lean_ext/library/tactic/hsubstitution.h
@comment MD5:530f5f741ed23991ed6ff3e469f39023
@comment binary:0
opt/local/include/lean_ext/library/tactic/induction_tactic.h
@comment MD5:5afa4f2c059910cd7dbbb1a052f3009f
@comment binary:0
opt/local/include/lean_ext/library/tactic/init_module.h
@comment MD5:46e6d390ec9b3ea359e50c85058b2c0c
@comment binary:0
opt/local/include/lean_ext/library/tactic/intro_tactic.h
@comment MD5:fbad11b4afe57242c1cf5ca5cf8cbc5c
@comment binary:0
opt/local/include/lean_ext/library/tactic/kabstract.h
@comment MD5:aef6addd7bc78f8353028760ea4f3c35
@comment binary:0
opt/local/include/lean_ext/library/tactic/match_tactic.h
@comment MD5:065aa1550d8373bd3e6743760a8c25bc
@comment binary:0
opt/local/include/lean_ext/library/tactic/occurrences.h
@comment MD5:f6ee5f3b850717fe29edcf5a441f16cd
@comment binary:0
opt/local/include/lean_ext/library/tactic/revert_tactic.h
@comment MD5:91d059f8f43452eaad8ec8c07eb11cb8
@comment binary:0
opt/local/include/lean_ext/library/tactic/rewrite_tactic.h
@comment MD5:7ee0487b76e2ee7376f8c9e3864aa370
@comment binary:0
opt/local/include/lean_ext/library/tactic/simp_lemmas.h
@comment MD5:2ed789a7b8f172148e84d5a1f5c0fc26
@comment binary:0
opt/local/include/lean_ext/library/tactic/simp_result.h
@comment MD5:7a6946bd3252f37836892a9e205235f7
@comment binary:0
opt/local/include/lean_ext/library/tactic/simp_util.h
@comment MD5:f00b487aaba37732d894db84654c0d80
@comment binary:0
opt/local/include/lean_ext/library/tactic/simplify.h
@comment MD5:18c1d8e33cd08dc5ae94b82bab6f72d8
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/congruence_closure.h
@comment MD5:a0859e5d8d606f34fd33808c7fbf84d8
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/congruence_tactics.h
@comment MD5:9452cabf8beb8ae60a952546a2820cbe
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/ematch.h
@comment MD5:6a3b8f6cd841e2b8dce8b5f042427adf
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/hinst_lemmas.h
@comment MD5:69eda28758ce3070a987da0a4e4cc0c1
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/init_module.h
@comment MD5:bf797505d6931a7ace77b62351625a56
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/smt_state.h
@comment MD5:373eefeed2ce09bff606272713d7411f
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/theory_ac.h
@comment MD5:5ab861ca1d836b441b648842502f440c
@comment binary:0
opt/local/include/lean_ext/library/tactic/smt/util.h
@comment MD5:ea3d81a3ff8dc995204c11166833b27e
@comment binary:0
opt/local/include/lean_ext/library/tactic/subst_tactic.h
@comment MD5:adf8886efd829d36cc92142387493f0b
@comment binary:0
opt/local/include/lean_ext/library/tactic/tactic_evaluator.h
@comment MD5:befcfe8582692b2b6fcadc3d49b54ed6
@comment binary:0
opt/local/include/lean_ext/library/tactic/tactic_log.h
@comment MD5:2dc2c9c9e530c90e7733e52b4bb0514b
@comment binary:0
opt/local/include/lean_ext/library/tactic/tactic_state.h
@comment MD5:4448fcf17e4c73f12d39092953502e3b
@comment binary:0
opt/local/include/lean_ext/library/tactic/unfold_tactic.h
@comment MD5:c31b4d930094622904c7b553114906ca
@comment binary:0
opt/local/include/lean_ext/library/tactic/user_attribute.h
@comment MD5:2022934d3d1b63191047a04ba361e753
@comment binary:0
opt/local/include/lean_ext/library/tactic/vm_local_context.h
@comment MD5:a1d1402048aa0ea0afdf6bf5c8de87bc
@comment binary:0
opt/local/include/lean_ext/library/tactic/vm_monitor.h
@comment MD5:64b632ede806db2d5c388633cf8410d0
@comment binary:0
opt/local/include/lean_ext/library/tactic/vm_type_context.h
@comment MD5:5e761f46f1871219ca088e94fda6001b
@comment binary:0
opt/local/include/lean_ext/library/time_task.h
@comment MD5:61df5fc05f57803e640179744cf0beef
@comment binary:0
opt/local/include/lean_ext/library/tlean_exporter.h
@comment MD5:9f04d277d7554ac1dc8007049350c397
@comment binary:0
opt/local/include/lean_ext/library/trace.h
@comment MD5:7818506463c0df47d5ec4089fa788f67
@comment binary:0
opt/local/include/lean_ext/library/type_context.h
@comment MD5:40a7487a80bc0ddfcb22a71199863a7b
@comment binary:0
opt/local/include/lean_ext/library/typed_expr.h
@comment MD5:82fa49647e759a31beb91d84dafae031
@comment binary:0
opt/local/include/lean_ext/library/unfold_macros.h
@comment MD5:4edb1693c2f771fab8931476b5eac373
@comment binary:0
opt/local/include/lean_ext/library/unification_hint.h
@comment MD5:bfc7b1208945832a381681995592e17a
@comment binary:0
opt/local/include/lean_ext/library/unique_id.h
@comment MD5:ee3bddeb408de6697698358c24657f7c
@comment binary:0
opt/local/include/lean_ext/library/update_declaration.h
@comment MD5:7f2e1cee1742c1ec138d52d99680326d
@comment binary:0
opt/local/include/lean_ext/library/user_recursors.h
@comment MD5:933f5b3f1cc8960b2c12e9f34bd85b2a
@comment binary:0
opt/local/include/lean_ext/library/util.h
@comment MD5:70cd001ec39a4323573cc99d69443921
@comment binary:0
opt/local/include/lean_ext/library/vm/init_module.h
@comment MD5:7cfe51e9ccad3fabb1047a9d441f529d
@comment binary:0
opt/local/include/lean_ext/library/vm/interaction_state.h
@comment MD5:66a0696d8e2adb10e132ea302bf3eaca
@comment binary:0
opt/local/include/lean_ext/library/vm/interaction_state_imp.h
@comment MD5:6482d7118dc67f6e3ccc7fda673f6160
@comment binary:0
opt/local/include/lean_ext/library/vm/optimize.h
@comment MD5:f2444aed022dd81eca9ec0ae2ec47802
@comment binary:0
opt/local/include/lean_ext/library/vm/vm.h
@comment MD5:53a9c04a46a4a656e938de6b0f8b8131
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_array.h
@comment MD5:5fd10dd96f7a9c8ad90e9f0a3faeff32
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_aux.h
@comment MD5:7f09e1612af1d41790ff85e0bf255ba8
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_declaration.h
@comment MD5:d3e1943db54628a4fe81547e72c56c45
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_eformat.h
@comment MD5:7935dc73a8f399df43aad63dfda68915
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_environment.h
@comment MD5:6d60fbe2fc98b4ea770c10890ce84b20
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_exceptional.h
@comment MD5:26b5337dfe766f38d638eaa25b6764be
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_expr.h
@comment MD5:e5f78e85f49c008db376ed0990fe4e85
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_float.h
@comment MD5:50523265ae7713eb64fac6fef4419095
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_format.h
@comment MD5:5b7ae848b4ffc6af395950b4fb74102d
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_int.h
@comment MD5:48a9f3ab90a2602fedb7f41077e59737
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_io.h
@comment MD5:50189e4c472eda79cbdc199928998994
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_json.h
@comment MD5:312dc74c7c64b0daf07222ca699b9664
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_level.h
@comment MD5:e8800c74b57564ecfd50ae311e2e517b
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_list.h
@comment MD5:c0dcce2e2c4db10c9f3d195597110b66
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_module_info.h
@comment MD5:2d951dfcc6b2bd517c571fa1ee4360b1
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_name.h
@comment MD5:028ca3dc1cf83b39e464f73fbd8161f0
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_nat.h
@comment MD5:3e8722b7d6f25a3d76db597edc69834c
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_option.h
@comment MD5:b6f98885ff37c9571ae0553e7332fd5c
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_options.h
@comment MD5:5565628cdc83b1b73a146205e2caa0fe
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_ordering.h
@comment MD5:39d6d5ab9659fbfc9342f6011ea79821
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_override.h
@comment MD5:33e76128a315459dfb5cad8b35c5b14a
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_parser.h
@comment MD5:8f07e5ae6fa78b04475c19eb1638a6ce
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_pexpr.h
@comment MD5:094b0f9a09f65fe84c1987f868790887
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_pos_info.h
@comment MD5:8d6b5cd445b181229ae4ac141508c767
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_rb_map.h
@comment MD5:81e67e311da94f2fada80f4ad9457eb5
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_string.h
@comment MD5:281ebab85102ed231fe8e4e763fe771b
@comment binary:0
opt/local/include/lean_ext/library/vm/vm_task.h
@comment MD5:8d734c622674aea6caa6db2a90553422
@comment binary:0
opt/local/include/lean_ext/shell/emscripten.h
@comment MD5:4b88709bf1ba48dc1fd64281ff12c5a0
@comment binary:0
opt/local/include/lean_ext/shell/lean_js.h
@comment MD5:314d790a6072946b3057f01786ae8205
@comment binary:0
opt/local/include/lean_ext/shell/server.h
@comment MD5:ec8acca303c80b2c09b3d15a31975ef0
@comment binary:0
opt/local/include/lean_ext/shell/simple_pos_info_provider.h
@comment MD5:a3beca5793e3832c26e3b738b4ced136
@comment binary:0
opt/local/include/lean_ext/util/ascii.h
@comment MD5:fb103c29c070ec5528de36772cbda48d
@comment binary:0
opt/local/include/lean_ext/util/bit_tricks.h
@comment MD5:dfef9f1324dd249e5dd8c30b2616fc34
@comment binary:0
opt/local/include/lean_ext/util/bitap_fuzzy_search.h
@comment MD5:1a710703f86aab57e6325ff82da15a3e
@comment binary:0
opt/local/include/lean_ext/util/buffer.h
@comment MD5:3093814e1dca35fa3140324592d6cf85
@comment binary:0
opt/local/include/lean_ext/util/cancellable.h
@comment MD5:8a265d608f3c046acd241aca97aa3f7a
@comment binary:0
opt/local/include/lean_ext/util/compiler_hints.h
@comment MD5:7df3957aee4435b9ba52b5034a863e4d
@comment binary:0
opt/local/include/lean_ext/util/debug.h
@comment MD5:562ee856faef06a40d7a910766583dc1
@comment binary:0
opt/local/include/lean_ext/util/escaped.h
@comment MD5:0dbc70d4e89d97f6254df8c8e43cc986
@comment binary:0
opt/local/include/lean_ext/util/exception.h
@comment MD5:5938a143d3ce08960ff409bc4db2a4f6
@comment binary:0
opt/local/include/lean_ext/util/exception_with_pos.h
@comment MD5:9333889bb7b42b02fd5d70e6d5f93368
@comment binary:0
opt/local/include/lean_ext/util/extensible_object.h
@comment MD5:a044c4fd29d532ea510bffca9afa6382
@comment binary:0
opt/local/include/lean_ext/util/file_lock.h
@comment MD5:1a6707280a6e4ea1015f6b75fbd0ea09
@comment binary:0
opt/local/include/lean_ext/util/flet.h
@comment MD5:016a334fb7f7f007dd45eec1c61da831
@comment binary:0
opt/local/include/lean_ext/util/freset.h
@comment MD5:600956f1c264b5d41311d45d24c91f7d
@comment binary:0
opt/local/include/lean_ext/util/fresh_name.h
@comment MD5:7037ec9b97e9811da5045b63ded38d6f
@comment binary:0
opt/local/include/lean_ext/util/hash.h
@comment MD5:128fe9ab2de0895ca192a1a6661e87f4
@comment binary:0
opt/local/include/lean_ext/util/init_module.h
@comment MD5:4e75f28fd87ad39aad16b544b634f5dc
@comment binary:0
opt/local/include/lean_ext/util/int64.h
@comment MD5:a969f58dc71aa174f025af6cf56610d5
@comment binary:0
opt/local/include/lean_ext/util/interrupt.h
@comment MD5:0d6f16da31ca0acb75e302d3f7d9df9e
@comment binary:0
opt/local/include/lean_ext/util/lbool.h
@comment MD5:2cf76d0e1f88bf2f0a93f6752a40245a
@comment binary:0
opt/local/include/lean_ext/util/lean_json.h
@comment MD5:832e2a04bb204167a70a7ba79a601b8e
@comment binary:0
opt/local/include/lean_ext/util/lean_path.h
@comment MD5:727f4df78b8c587535e1d6af0d0949df
@comment binary:0
opt/local/include/lean_ext/util/line_endings.h
@comment MD5:c6b1c6291699ec15c3cd965e0422a8f4
@comment binary:0
opt/local/include/lean_ext/util/list.h
@comment MD5:8beb9cb3431f7c71405fa18a9d5bfa79
@comment binary:0
opt/local/include/lean_ext/util/list_fn.h
@comment MD5:0fe5d8af6b6f69acd3ce678f71b510cc
@comment binary:0
opt/local/include/lean_ext/util/log_tree.h
@comment MD5:5625e002c601cc9e7aa22d32bd7e96fa
@comment binary:0
opt/local/include/lean_ext/util/lru_cache.h
@comment MD5:86a0f5ea028027f8d93f7d7ec453e7f3
@comment binary:0
opt/local/include/lean_ext/util/macros.h
@comment MD5:eb9fbe57edb6599723fd96faa0edcc1a
@comment binary:0
opt/local/include/lean_ext/util/map.h
@comment MD5:9cb641dd7768b0b67350bfc86db36875
@comment binary:0
opt/local/include/lean_ext/util/memory.h
@comment MD5:d3862acf3e8e3bdf15d96de5b52e68f4
@comment binary:0
opt/local/include/lean_ext/util/memory_pool.h
@comment MD5:6b8e096f2780d5e0e827aa8607a3ba10
@comment binary:0
opt/local/include/lean_ext/util/message_definitions.h
@comment MD5:0febb2ec5e6e20e7da5bf5f47f62971d
@comment binary:0
opt/local/include/lean_ext/util/name.h
@comment MD5:7e193c509ca51f3f95291e9805095c39
@comment binary:0
opt/local/include/lean_ext/util/name_generator.h
@comment MD5:77e768cc15c508a644ece93f7a04f1bd
@comment binary:0
opt/local/include/lean_ext/util/name_hash_map.h
@comment MD5:b489fe326e43f998fb441a07d2024586
@comment binary:0
opt/local/include/lean_ext/util/name_hash_set.h
@comment MD5:c74caae875b2a4f27b64fbf94c3a33e0
@comment binary:0
opt/local/include/lean_ext/util/name_map.h
@comment MD5:380ef3d860e41615353aa63866f2319d
@comment binary:0
opt/local/include/lean_ext/util/name_set.h
@comment MD5:3e1f00ab1f4ea5c6b4668ea0b013467d
@comment binary:0
opt/local/include/lean_ext/util/null_ostream.h
@comment MD5:031c9cc12cc28373dd046ee2b3566527
@comment binary:0
opt/local/include/lean_ext/util/numerics/mpq.h
@comment MD5:f599686f609f789f1543e9c151bb9411
@comment binary:0
opt/local/include/lean_ext/util/numerics/mpz.h
@comment MD5:46871f706207f1370b77738e40c01946
@comment binary:0
opt/local/include/lean_ext/util/object_serializer.h
@comment MD5:066fcb31912e2b8101f1b7d7870483bf
@comment binary:0
opt/local/include/lean_ext/util/optional.h
@comment MD5:56cd3c14d77c87114624d6d9d702be2c
@comment binary:0
opt/local/include/lean_ext/util/output_channel.h
@comment MD5:c6bdf76d55b06392285ca97617aaf7bb
@comment binary:0
opt/local/include/lean_ext/util/pair.h
@comment MD5:d65ac2d76efd1065eefecf8380223d69
@comment binary:0
opt/local/include/lean_ext/util/parser_exception.h
@comment MD5:4b2c814131b9c319c0f0252d99da4291
@comment binary:0
opt/local/include/lean_ext/util/path.h
@comment MD5:305a7e6754f14e617ea4de4a819bc687
@comment binary:0
opt/local/include/lean_ext/util/priority_queue.h
@comment MD5:5f2fd7239ef025aa49174c70ef54ca56
@comment binary:0
opt/local/include/lean_ext/util/rb_map.h
@comment MD5:0a51a7fabc534fcc6d437f55fe3854ae
@comment binary:0
opt/local/include/lean_ext/util/rb_multi_map.h
@comment MD5:9ca6a0eb1d6b1e025305ac105965e160
@comment binary:0
opt/local/include/lean_ext/util/rb_tree.h
@comment MD5:e5010ab4471ae2b782ba3be72cd4516d
@comment binary:0
opt/local/include/lean_ext/util/rc.h
@comment MD5:e73f49fa322700d6b05ffc1dd6b79384
@comment binary:0
opt/local/include/lean_ext/util/safe_arith.h
@comment MD5:253b9458727547aa5984bcf50ab4c5b1
@comment binary:0
opt/local/include/lean_ext/util/scoped_map.h
@comment MD5:a56d7b4aded19e3f237f5974ff8c2195
@comment binary:0
opt/local/include/lean_ext/util/scoped_set.h
@comment MD5:e2a884c0b56f515dfd06d89d0a70b356
@comment binary:0
opt/local/include/lean_ext/util/sequence.h
@comment MD5:77983be17948253f34673493e70748ad
@comment binary:0
opt/local/include/lean_ext/util/serializer.h
@comment MD5:15e1aaad53ae68a29add369a713da47f
@comment binary:0
opt/local/include/lean_ext/util/sexpr/format.h
@comment MD5:fc195fcccd37749fa8f975a97fbc36b9
@comment binary:0
opt/local/include/lean_ext/util/sexpr/init_module.h
@comment MD5:dbc8a4f697ed54e788f09ce09ef021da
@comment binary:0
opt/local/include/lean_ext/util/sexpr/option_declarations.h
@comment MD5:1894713de56f6087c3a3ea8f4305a4a1
@comment binary:0
opt/local/include/lean_ext/util/sexpr/options.h
@comment MD5:7e05087b0732360a2591a4bfdd2d0ed9
@comment binary:0
opt/local/include/lean_ext/util/sexpr/sexpr.h
@comment MD5:958f8c278a6957594b4e8f5090f3bc3a
@comment binary:0
opt/local/include/lean_ext/util/sexpr/sexpr_fn.h
@comment MD5:1dbd5cd067788ca8237b001b9d7bd56d
@comment binary:0
opt/local/include/lean_ext/util/shared_mutex.h
@comment MD5:9494fc90dc60a926c8776423dd0a37a2
@comment binary:0
opt/local/include/lean_ext/util/small_object_allocator.h
@comment MD5:74c5c663c21a8c1187c5ff4137b39b7c
@comment binary:0
opt/local/include/lean_ext/util/sstream.h
@comment MD5:b1a928290ad8727dfb9d559187e44d5e
@comment binary:0
opt/local/include/lean_ext/util/stackinfo.h
@comment MD5:14b36d73545ddeece951c0ebead9ac1a
@comment binary:0
opt/local/include/lean_ext/util/subscripted_name_set.h
@comment MD5:d35fa166518ff3a4ae3576eb70986fa1
@comment binary:0
opt/local/include/lean_ext/util/task.h
@comment MD5:b92c9fd6e1ad04f7688f66580b1e7bcf
@comment binary:0
opt/local/include/lean_ext/util/task_builder.h
@comment MD5:f9176aef53a3b27dd80bc58760c56ae3
@comment binary:0
opt/local/include/lean_ext/util/test.h
@comment MD5:e354b4ec816cbb4a1ffb4644d6947fca
@comment binary:0
opt/local/include/lean_ext/util/thread.h
@comment MD5:5610f01ae03651660367abeaa6054453
@comment binary:0
opt/local/include/lean_ext/util/timeit.h
@comment MD5:642d54679a7f021edaae5f1c32f46e5f
@comment binary:0
opt/local/include/lean_ext/util/timer.h
@comment MD5:7edb6bbd48af587418abf829be34961f
@comment binary:0
opt/local/include/lean_ext/util/trie.h
@comment MD5:cc38f87956a505c22134df8c99616f7c
@comment binary:0
opt/local/include/lean_ext/util/unit.h
@comment MD5:5714d922e9d7e9a68d2e4234281d21df
@comment binary:0
opt/local/include/lean_ext/util/unlock_guard.h
@comment MD5:97766138c04a00d50dc521213247214b
@comment binary:0
opt/local/include/lean_ext/util/utf8.h
@comment MD5:66eeac38a13cd4febcd67ee9e8bef621
@comment binary:0
opt/local/include/lean_ext/util/worker_queue.h
@comment MD5:c02041918e6cf323798dc09d68565743
@comment binary:0
opt/local/lib/lean/leanpkg/README.md
@comment MD5:883b7920ff04ab2a98cd44f2611d96cd
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/git.lean
@comment MD5:cb8f81b086feea5d8f243e25e03e1785
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/git.olean
@comment MD5:360d207062bc9a137cd349f9af5a91d0
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/lean_version.lean
@comment MD5:e1ea90338dbe36c2402c9540bf0c23a3
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/lean_version.olean
@comment MD5:70accffca6069b851f62b82f8b478f06
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/main.lean
@comment MD5:402c970419e3f62df4016b147a3555b3
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/main.olean
@comment MD5:3993e95da337ec71132116565696adb2
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/manifest.lean
@comment MD5:19e57a7c63cc3e1d5a8a97fc3ba84bb3
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/manifest.olean
@comment MD5:005f90bde3417c598ed4c39bdcf4f9f7
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/proc.lean
@comment MD5:4f3a80b43787b74ef0f179c8abeb52e4
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/proc.olean
@comment MD5:254251bd39ddf66df0cb8cb4429f31d9
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/resolve.lean
@comment MD5:cfd7fb9132e112f650626bfb1e0523c4
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/resolve.olean
@comment MD5:2a4a9281629767d273d220ba11b7dc97
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/toml.lean
@comment MD5:f96bd6d20295854720d4c24f4249d3e4
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg/toml.olean
@comment MD5:68509ca21048dd9803f1310173cba837
@comment binary:0
opt/local/lib/lean/leanpkg/leanpkg.toml
@comment MD5:e9962fa0b6af5da99f87eb98c153c456
@comment binary:0
opt/local/lib/lean/library/data/buffer/parser.lean
@comment MD5:4c4820192206305d6042302b3336e3fa
@comment binary:0
opt/local/lib/lean/library/data/buffer/parser.olean
@comment MD5:89ff2232f723a8619bf7ba40ea211757
@comment binary:0
opt/local/lib/lean/library/data/buffer.lean
@comment MD5:d7eb53edb5fe84c2f8d70611f9cd493e
@comment binary:0
opt/local/lib/lean/library/data/buffer.olean
@comment MD5:fa198ddb4680ba79b6fa9c46e7c416b7
@comment binary:0
opt/local/lib/lean/library/data/dlist.lean
@comment MD5:2f2570c0e319adc04d499a4fcbaf599a
@comment binary:0
opt/local/lib/lean/library/data/dlist.olean
@comment MD5:3dad8e01e462c06b8c2efe8b1019c3da
@comment binary:0
opt/local/lib/lean/library/data/vector.lean
@comment MD5:9c82e9d8505f8fdad41dc284817f5f41
@comment binary:0
opt/local/lib/lean/library/data/vector.olean
@comment MD5:f5fb169bbf76bb807bd8a32e2afac281
@comment binary:0
opt/local/lib/lean/library/init/algebra/classes.lean
@comment MD5:948c34a2740613ed6a8dd3957841e144
@comment binary:0
opt/local/lib/lean/library/init/algebra/classes.olean
@comment MD5:19c16124a717d09a32dce4b828525eb3
@comment binary:0
opt/local/lib/lean/library/init/algebra/default.lean
@comment MD5:8102ab753cc9ddf3d3384013673f7ff7
@comment binary:0
opt/local/lib/lean/library/init/algebra/default.olean
@comment MD5:ead671e6d41d6102f098481640342eb2
@comment binary:0
opt/local/lib/lean/library/init/algebra/functions.lean
@comment MD5:d8ca29ea71713da9e4b06180025ed1ac
@comment binary:0
opt/local/lib/lean/library/init/algebra/functions.olean
@comment MD5:3748d124cc7c7eb1637c4c46d91e45fe
@comment binary:0
opt/local/lib/lean/library/init/algebra/order.lean
@comment MD5:d1e9e5eac42ef92c33f52ad497e82a64
@comment binary:0
opt/local/lib/lean/library/init/algebra/order.olean
@comment MD5:2c774a8dc23651a18b80e0768fdb99ac
@comment binary:0
opt/local/lib/lean/library/init/cc_lemmas.lean
@comment MD5:750f5f9926ab7c5cb1300128e65c2e8d
@comment binary:0
opt/local/lib/lean/library/init/cc_lemmas.olean
@comment MD5:7d70bfe4852b5f0cc2495a9d843987ff
@comment binary:0
opt/local/lib/lean/library/init/classical.lean
@comment MD5:1c0a8ed7c1c265fba6da2156dae5c205
@comment binary:0
opt/local/lib/lean/library/init/classical.olean
@comment MD5:4283ff75ce6458fed6739727dfb3cc5c
@comment binary:0
opt/local/lib/lean/library/init/coe.lean
@comment MD5:d5df668526f675eef86736d9df8ef385
@comment binary:0
opt/local/lib/lean/library/init/coe.olean
@comment MD5:a6b79c4dca973714cca5039791a8118a
@comment binary:0
opt/local/lib/lean/library/init/control/alternative.lean
@comment MD5:170e7522e9c728e2913f12cab080175e
@comment binary:0
opt/local/lib/lean/library/init/control/alternative.olean
@comment MD5:78aee82a1a7446a04f8ca27a7d2dcec6
@comment binary:0
opt/local/lib/lean/library/init/control/applicative.lean
@comment MD5:a16b91bcb045fa0a1d45f51f32d5679c
@comment binary:0
opt/local/lib/lean/library/init/control/applicative.olean
@comment MD5:e5133a4f8e63499e1587f40cebcd52e9
@comment binary:0
opt/local/lib/lean/library/init/control/combinators.lean
@comment MD5:2951c87ee213caa1b06e66b05904c0bd
@comment binary:0
opt/local/lib/lean/library/init/control/combinators.olean
@comment MD5:a9248aba16a31c29866921165f9fc9b5
@comment binary:0
opt/local/lib/lean/library/init/control/default.lean
@comment MD5:89a6343365f622a337ff08214ebc7b1d
@comment binary:0
opt/local/lib/lean/library/init/control/default.olean
@comment MD5:b8c8f499a9db5326c642819cf1c91e3d
@comment binary:0
opt/local/lib/lean/library/init/control/except.lean
@comment MD5:cf048c3241c5c53163faab0197cefb4a
@comment binary:0
opt/local/lib/lean/library/init/control/except.olean
@comment MD5:cd659ff175323f61ffc54cf7905bcf40
@comment binary:0
opt/local/lib/lean/library/init/control/functor.lean
@comment MD5:d5c887024e342a73ea82a84a01ee0f36
@comment binary:0
opt/local/lib/lean/library/init/control/functor.olean
@comment MD5:f3c67903d985634e5778fab7e8446cf2
@comment binary:0
opt/local/lib/lean/library/init/control/id.lean
@comment MD5:5a2460db1b2c8c948832b5359794e80e
@comment binary:0
opt/local/lib/lean/library/init/control/id.olean
@comment MD5:ce0d998f924984e32f8e9c1751ce4ac2
@comment binary:0
opt/local/lib/lean/library/init/control/lawful.lean
@comment MD5:6c2e6b439420c6754edab349a21623c4
@comment binary:0
opt/local/lib/lean/library/init/control/lawful.olean
@comment MD5:a3c32b3a2a6aefe15012d5dc667215eb
@comment binary:0
opt/local/lib/lean/library/init/control/lift.lean
@comment MD5:b8289b8e63ad6c182d4ecaf5d5ff8c62
@comment binary:0
opt/local/lib/lean/library/init/control/lift.olean
@comment MD5:e2f316c632535c1ca475d8c7ad2cebe0
@comment binary:0
opt/local/lib/lean/library/init/control/monad.lean
@comment MD5:3750795b5bae466c02fe056bddc12350
@comment binary:0
opt/local/lib/lean/library/init/control/monad.olean
@comment MD5:c73dad7b41315c91cc4624ebb64f7bb4
@comment binary:0
opt/local/lib/lean/library/init/control/monad_fail.lean
@comment MD5:a89f52e71ad6e52f024fc900b57437d6
@comment binary:0
opt/local/lib/lean/library/init/control/monad_fail.olean
@comment MD5:a48f23366164ba0bb2462f866e37f2c9
@comment binary:0
opt/local/lib/lean/library/init/control/option.lean
@comment MD5:b493891fe3364fcfea89901ce9760801
@comment binary:0
opt/local/lib/lean/library/init/control/option.olean
@comment MD5:873e51361452ff9ebc7b34487cf338b5
@comment binary:0
opt/local/lib/lean/library/init/control/reader.lean
@comment MD5:3a31aa219769e460f37d18039ff2274d
@comment binary:0
opt/local/lib/lean/library/init/control/reader.olean
@comment MD5:f724184b40b19ae88b959db8ff8efbc1
@comment binary:0
opt/local/lib/lean/library/init/control/state.lean
@comment MD5:46897f0b8197b090da8b62957ecbb1e5
@comment binary:0
opt/local/lib/lean/library/init/control/state.olean
@comment MD5:a6d33222bc71c288a4323264c11f1ba9
@comment binary:0
opt/local/lib/lean/library/init/core.lean
@comment MD5:430a6f7f65fdba65487528f601fe0b55
@comment binary:0
opt/local/lib/lean/library/init/core.olean
@comment MD5:17b2e4b4a860a6fd4064720119fd0c1d
@comment binary:0
opt/local/lib/lean/library/init/data/array/basic.lean
@comment MD5:4bd4985b4fcc68d28f3d643f4ff7e3f2
@comment binary:0
opt/local/lib/lean/library/init/data/array/basic.olean
@comment MD5:d3b6bd1665bba941627b825d171bec03
@comment binary:0
opt/local/lib/lean/library/init/data/array/default.lean
@comment MD5:952a70a901515dea52fdefe95e2ee26f
@comment binary:0
opt/local/lib/lean/library/init/data/array/default.olean
@comment MD5:e81fb704892049149cd179cbbb2927dc
@comment binary:0
opt/local/lib/lean/library/init/data/array/slice.lean
@comment MD5:aeb597b6d607d29057a94eac2d083da3
@comment binary:0
opt/local/lib/lean/library/init/data/array/slice.olean
@comment MD5:09562a3a9fac95fc99cce476c5964695
@comment binary:0
opt/local/lib/lean/library/init/data/basic.lean
@comment MD5:ce5e4d1f807426195472050afb3b1f36
@comment binary:0
opt/local/lib/lean/library/init/data/basic.olean
@comment MD5:fce87dcbcaacf602608ff1a4b120152f
@comment binary:0
opt/local/lib/lean/library/init/data/bool/basic.lean
@comment MD5:743c3091bf908b8a07723b7a4fec49a8
@comment binary:0
opt/local/lib/lean/library/init/data/bool/basic.olean
@comment MD5:67d6ff507279e6dddb0fc4bc649c2185
@comment binary:0
opt/local/lib/lean/library/init/data/bool/default.lean
@comment MD5:312489d756042c673bbfac48636d0c5e
@comment binary:0
opt/local/lib/lean/library/init/data/bool/default.olean
@comment MD5:412d8a031a2debc2be3e69548711d53c
@comment binary:0
opt/local/lib/lean/library/init/data/bool/lemmas.lean
@comment MD5:55e9143edb1c4cb6dca1476576486826
@comment binary:0
opt/local/lib/lean/library/init/data/bool/lemmas.olean
@comment MD5:ac49b9263d975d41040cea9ad95fcfc5
@comment binary:0
opt/local/lib/lean/library/init/data/char/basic.lean
@comment MD5:aaded7ca326b4013880c67a5023f59f7
@comment binary:0
opt/local/lib/lean/library/init/data/char/basic.olean
@comment MD5:a9b149a5b8c8d2c94b5220603361eca2
@comment binary:0
opt/local/lib/lean/library/init/data/char/classes.lean
@comment MD5:b7a7b3e25c2881325da666d815aa722b
@comment binary:0
opt/local/lib/lean/library/init/data/char/classes.olean
@comment MD5:4691a7669c64f7c78a3b01d4ef4b529e
@comment binary:0
opt/local/lib/lean/library/init/data/char/default.lean
@comment MD5:5992effbc8f1ee5071965794b0fe9860
@comment binary:0
opt/local/lib/lean/library/init/data/char/default.olean
@comment MD5:ecbd2093c070a76907e901f5fbbda41e
@comment binary:0
opt/local/lib/lean/library/init/data/char/lemmas.lean
@comment MD5:1b6593fa0af58c82fc6292fb103def67
@comment binary:0
opt/local/lib/lean/library/init/data/char/lemmas.olean
@comment MD5:d8322b6906a5e30d45351b96cba47924
@comment binary:0
opt/local/lib/lean/library/init/data/default.lean
@comment MD5:4f74ee98c6259ae807059eea8919b911
@comment binary:0
opt/local/lib/lean/library/init/data/default.olean
@comment MD5:e63794dc55d8de4f898cc05f36cb9bc5
@comment binary:0
opt/local/lib/lean/library/init/data/fin/basic.lean
@comment MD5:32b4295e255e68e51018807c78b941f0
@comment binary:0
opt/local/lib/lean/library/init/data/fin/basic.olean
@comment MD5:51228bb922d52128bc63c3c23777e347
@comment binary:0
opt/local/lib/lean/library/init/data/fin/default.lean
@comment MD5:222e53fb2287bb998b0b9a51ad92629b
@comment binary:0
opt/local/lib/lean/library/init/data/fin/default.olean
@comment MD5:1c10120698cd560bc003468b62a25ffd
@comment binary:0
opt/local/lib/lean/library/init/data/fin/ops.lean
@comment MD5:33f279c0a1fac856cb787da2f18914fb
@comment binary:0
opt/local/lib/lean/library/init/data/fin/ops.olean
@comment MD5:9a1c7ce555361ec89050fc08c14aa6ae
@comment binary:0
opt/local/lib/lean/library/init/data/int/basic.lean
@comment MD5:51f3c46ec2349f6c77a976cb190f878a
@comment binary:0
opt/local/lib/lean/library/init/data/int/basic.olean
@comment MD5:503309b3b90f4339a5b31c70bc86db5c
@comment binary:0
opt/local/lib/lean/library/init/data/int/bitwise.lean
@comment MD5:b5d4aa93a0b810aeb6ba3092ae9bbee0
@comment binary:0
opt/local/lib/lean/library/init/data/int/bitwise.olean
@comment MD5:a87138ed644a9c1052a56e26f1401905
@comment binary:0
opt/local/lib/lean/library/init/data/int/comp_lemmas.lean
@comment MD5:95691bcc8b615a45019d476ab5dc8cff
@comment binary:0
opt/local/lib/lean/library/init/data/int/comp_lemmas.olean
@comment MD5:dfdbd4d182a940d75a6ddd6f9ed26106
@comment binary:0
opt/local/lib/lean/library/init/data/int/default.lean
@comment MD5:526027f0adc1e41dee00c766556383db
@comment binary:0
opt/local/lib/lean/library/init/data/int/default.olean
@comment MD5:7d0df8fa183b8d2981024630e041907c
@comment binary:0
opt/local/lib/lean/library/init/data/int/order.lean
@comment MD5:8886dfb28c618c3e8823f4015d489857
@comment binary:0
opt/local/lib/lean/library/init/data/int/order.olean
@comment MD5:9358f04c3c568550df196fb4df9e0234
@comment binary:0
opt/local/lib/lean/library/init/data/list/basic.lean
@comment MD5:fc78867a6eab87456d2959bec9793f35
@comment binary:0
opt/local/lib/lean/library/init/data/list/basic.olean
@comment MD5:9fc3dc38c60a27d238ff29153fee38d5
@comment binary:0
opt/local/lib/lean/library/init/data/list/default.lean
@comment MD5:725af713655fb412fcf862af32d5a04e
@comment binary:0
opt/local/lib/lean/library/init/data/list/default.olean
@comment MD5:cb120ed2ca593c6f5a6fe91cef24023b
@comment binary:0
opt/local/lib/lean/library/init/data/list/instances.lean
@comment MD5:0fb72c0bbaf0e8dd4b451d49e8ea1f51
@comment binary:0
opt/local/lib/lean/library/init/data/list/instances.olean
@comment MD5:08080a29ada5614c6e242ca893c9b45a
@comment binary:0
opt/local/lib/lean/library/init/data/list/lemmas.lean
@comment MD5:8e2d783a0ee97734763f2e1f5bdb7b4f
@comment binary:0
opt/local/lib/lean/library/init/data/list/lemmas.olean
@comment MD5:fa319ad2eb669791fcb04c01106d2242
@comment binary:0
opt/local/lib/lean/library/init/data/list/qsort.lean
@comment MD5:7af09fddb8555253eeaeda7f52e953e8
@comment binary:0
opt/local/lib/lean/library/init/data/list/qsort.olean
@comment MD5:822607fad388740a4b31bd3409c5cbd3
@comment binary:0
opt/local/lib/lean/library/init/data/nat/basic.lean
@comment MD5:b62fa55caf026f1256bd9904f3f17395
@comment binary:0
opt/local/lib/lean/library/init/data/nat/basic.olean
@comment MD5:ba28e2ab3f1e6cb34d841f0c53e1a115
@comment binary:0
opt/local/lib/lean/library/init/data/nat/bitwise.lean
@comment MD5:e5015cb2e8ddde1ee3c919899d9c0f96
@comment binary:0
opt/local/lib/lean/library/init/data/nat/bitwise.olean
@comment MD5:daea4b9da66d58c9a3e6e78328257316
@comment binary:0
opt/local/lib/lean/library/init/data/nat/default.lean
@comment MD5:87386cebf1b289b4fdf26ad9792ca1cf
@comment binary:0
opt/local/lib/lean/library/init/data/nat/default.olean
@comment MD5:0a6ad357590dee8e3d1ecd710f44b48e
@comment binary:0
opt/local/lib/lean/library/init/data/nat/div.lean
@comment MD5:9d1c5c13870fbb73c727863bc3640bd9
@comment binary:0
opt/local/lib/lean/library/init/data/nat/div.olean
@comment MD5:5c89153bba70784df263c61fd7951380
@comment binary:0
opt/local/lib/lean/library/init/data/nat/gcd.lean
@comment MD5:0ee42d8923ddd7aaadea160271d68900
@comment binary:0
opt/local/lib/lean/library/init/data/nat/gcd.olean
@comment MD5:452a7c79cae124bfae4cf53d8035063c
@comment binary:0
opt/local/lib/lean/library/init/data/nat/lemmas.lean
@comment MD5:631f373d75e74fa6743d4a71dc75934f
@comment binary:0
opt/local/lib/lean/library/init/data/nat/lemmas.olean
@comment MD5:5d70d535b95abc8ccae8fcad22ced57a
@comment binary:0
opt/local/lib/lean/library/init/data/option/basic.lean
@comment MD5:56c68814215b3dd0290abfc603081ca3
@comment binary:0
opt/local/lib/lean/library/init/data/option/basic.olean
@comment MD5:4748206e8e2298d1499c05de2f78e25f
@comment binary:0
opt/local/lib/lean/library/init/data/option/instances.lean
@comment MD5:67db4230c5a97ffec218c50595ca5649
@comment binary:0
opt/local/lib/lean/library/init/data/option/instances.olean
@comment MD5:da71da0dffe91866fcd62f53b66077b5
@comment binary:0
opt/local/lib/lean/library/init/data/ordering/basic.lean
@comment MD5:ac6f35db723affb2980a8f2f1bcf99dd
@comment binary:0
opt/local/lib/lean/library/init/data/ordering/basic.olean
@comment MD5:a09a9ab5b649b22e2e3f7768133d0911
@comment binary:0
opt/local/lib/lean/library/init/data/ordering/default.lean
@comment MD5:3f8a2bcf988abe6f299f37b9ef52c12b
@comment binary:0
opt/local/lib/lean/library/init/data/ordering/default.olean
@comment MD5:cb87b6d122760101f9ce6df050c5e49f
@comment binary:0
opt/local/lib/lean/library/init/data/ordering/lemmas.lean
@comment MD5:29413c234aa237999624e5b324630913
@comment binary:0
opt/local/lib/lean/library/init/data/ordering/lemmas.olean
@comment MD5:bc967812836e61b50d0159e967ac7ba7
@comment binary:0
opt/local/lib/lean/library/init/data/prod.lean
@comment MD5:bc67d4bfcf3e2b88b7ffcb711c8e25cf
@comment binary:0
opt/local/lib/lean/library/init/data/prod.olean
@comment MD5:0561b4fdb57fb3d4be05ba257b91bc39
@comment binary:0
opt/local/lib/lean/library/init/data/punit.lean
@comment MD5:ceaa6505c64b38bc5ec81c38cb539b1f
@comment binary:0
opt/local/lib/lean/library/init/data/punit.olean
@comment MD5:3b85b3c3a2115c47f3818ed69d980707
@comment binary:0
opt/local/lib/lean/library/init/data/quot.lean
@comment MD5:bd2c4510ccfb53c7a9356c404095d9a7
@comment binary:0
opt/local/lib/lean/library/init/data/quot.olean
@comment MD5:4543fd2965d125e4d58984701b8265f9
@comment binary:0
opt/local/lib/lean/library/init/data/repr.lean
@comment MD5:92a51a9f81454aca83a2f03221411358
@comment binary:0
opt/local/lib/lean/library/init/data/repr.olean
@comment MD5:79659383e95ec28452ff9463bd60d63a
@comment binary:0
opt/local/lib/lean/library/init/data/set.lean
@comment MD5:0cdaf4e97c4eae064383c301b89a5ed6
@comment binary:0
opt/local/lib/lean/library/init/data/set.olean
@comment MD5:dc1073c187b2e6b4616840284069fcc0
@comment binary:0
opt/local/lib/lean/library/init/data/setoid.lean
@comment MD5:53ff3cd5387237d60400db754878d386
@comment binary:0
opt/local/lib/lean/library/init/data/setoid.olean
@comment MD5:ce51e15b7bf0f096b690ac721fd1df19
@comment binary:0
opt/local/lib/lean/library/init/data/sigma/basic.lean
@comment MD5:598db99b649f6e4f2948da3f06d21a8b
@comment binary:0
opt/local/lib/lean/library/init/data/sigma/basic.olean
@comment MD5:ca19158ab2fde28b58c15edca04e9b37
@comment binary:0
opt/local/lib/lean/library/init/data/sigma/default.lean
@comment MD5:4672d8b4fd634be208c22d2aa9393f0e
@comment binary:0
opt/local/lib/lean/library/init/data/sigma/default.olean
@comment MD5:d12b83c2f1a4235a65d3befa2d13281a
@comment binary:0
opt/local/lib/lean/library/init/data/sigma/lex.lean
@comment MD5:5752c976594f381c72ee20fbc3d077bb
@comment binary:0
opt/local/lib/lean/library/init/data/sigma/lex.olean
@comment MD5:6600153fba3d740257a07cf57a711f7a
@comment binary:0
opt/local/lib/lean/library/init/data/string/basic.lean
@comment MD5:333418e7420a7ef09af35ed3e5f2af7a
@comment binary:0
opt/local/lib/lean/library/init/data/string/basic.olean
@comment MD5:1bb3ca2251e383d0f900f3a714554f7c
@comment binary:0
opt/local/lib/lean/library/init/data/string/default.lean
@comment MD5:da605d772b2415d4b3b3ef12c9e446d1
@comment binary:0
opt/local/lib/lean/library/init/data/string/default.olean
@comment MD5:1206dba5f1b4e82b2b02a1bc6afb9ec4
@comment binary:0
opt/local/lib/lean/library/init/data/string/ops.lean
@comment MD5:7072ffc498c13c8bb91b1e2068000ed2
@comment binary:0
opt/local/lib/lean/library/init/data/string/ops.olean
@comment MD5:cd11bae76d70e8e7ab174b4d07f6d0f2
@comment binary:0
opt/local/lib/lean/library/init/data/subtype/basic.lean
@comment MD5:83cc6e88e3a0363fd92e64b956209ab4
@comment binary:0
opt/local/lib/lean/library/init/data/subtype/basic.olean
@comment MD5:5c0fbacd070307fb76f72c842998ecb1
@comment binary:0
opt/local/lib/lean/library/init/data/subtype/default.lean
@comment MD5:bcb8fefc917932f51a69f03cd4319502
@comment binary:0
opt/local/lib/lean/library/init/data/subtype/default.olean
@comment MD5:978f7dbc6285f82f214c696fbcda46c1
@comment binary:0
opt/local/lib/lean/library/init/data/subtype/instances.lean
@comment MD5:522f789444930848a5ecc43dd4c44996
@comment binary:0
opt/local/lib/lean/library/init/data/subtype/instances.olean
@comment MD5:ef485b907e51432055b535a5b19b8c78
@comment binary:0
opt/local/lib/lean/library/init/data/sum/basic.lean
@comment MD5:9791f2244b9013c2cf236adb82c89e4a
@comment binary:0
opt/local/lib/lean/library/init/data/sum/basic.olean
@comment MD5:51bf70b616d00e51f984228657855dc5
@comment binary:0
opt/local/lib/lean/library/init/data/sum/default.lean
@comment MD5:8684c412e8cc8016580ba70ca155a672
@comment binary:0
opt/local/lib/lean/library/init/data/sum/default.olean
@comment MD5:99cd1c5a43c6500104c97098883eb292
@comment binary:0
opt/local/lib/lean/library/init/data/sum/instances.lean
@comment MD5:ef70c42db01a4a8163844fccafdc86e6
@comment binary:0
opt/local/lib/lean/library/init/data/sum/instances.olean
@comment MD5:b51ea4401e6ee9fcd3dc83b2a080ff9b
@comment binary:0
opt/local/lib/lean/library/init/data/to_string.lean
@comment MD5:794df0c1921d9f4bf0a998320304f40d
@comment binary:0
opt/local/lib/lean/library/init/data/to_string.olean
@comment MD5:6986aedeca3c5e57da07d3c96dc20083
@comment binary:0
opt/local/lib/lean/library/init/data/unsigned/basic.lean
@comment MD5:5ac24376ce5091d31b07c3cfd905a621
@comment binary:0
opt/local/lib/lean/library/init/data/unsigned/basic.olean
@comment MD5:7b9758b1544d8ea99924ee06d95ef8fd
@comment binary:0
opt/local/lib/lean/library/init/data/unsigned/default.lean
@comment MD5:3fdf9ce3be688256ab46289289e33ae1
@comment binary:0
opt/local/lib/lean/library/init/data/unsigned/default.olean
@comment MD5:d28678c1f0cec34cda7f07cbe693e850
@comment binary:0
opt/local/lib/lean/library/init/data/unsigned/ops.lean
@comment MD5:8ed508fa69a84e9459090ccb0ec08d36
@comment binary:0
opt/local/lib/lean/library/init/data/unsigned/ops.olean
@comment MD5:470c9353310c44d5ca52c3383ee50ec6
@comment binary:0
opt/local/lib/lean/library/init/default.lean
@comment MD5:25450ae74623ac71c171f7265f118403
@comment binary:0
opt/local/lib/lean/library/init/default.olean
@comment MD5:4cf538e92e700a889a620114617ab753
@comment binary:0
opt/local/lib/lean/library/init/function.lean
@comment MD5:011fe60a90875d136a1323936639aa9b
@comment binary:0
opt/local/lib/lean/library/init/function.olean
@comment MD5:044dc791f93b337efef8af8c5e3a3a9b
@comment binary:0
opt/local/lib/lean/library/init/funext.lean
@comment MD5:5f1e280328f6325b006020abc179144d
@comment binary:0
opt/local/lib/lean/library/init/funext.olean
@comment MD5:6de31306a15cef7f9c83b7d632284b0d
@comment binary:0
opt/local/lib/lean/library/init/init.md
@comment MD5:8d9497712473ee0c3624329e7a43a841
@comment binary:0
opt/local/lib/lean/library/init/ite_simp.lean
@comment MD5:aa8e26fc98557e0db2fac18e761b5866
@comment binary:0
opt/local/lib/lean/library/init/ite_simp.olean
@comment MD5:5253872533a88e60d2de7e4d0145bd0c
@comment binary:0
opt/local/lib/lean/library/init/logic.lean
@comment MD5:af900060ce63cfbf654ac7983e917604
@comment binary:0
opt/local/lib/lean/library/init/logic.olean
@comment MD5:9ef28e713cd17204fdc9660ad22d7e4f
@comment binary:0
opt/local/lib/lean/library/init/meta/ac_tactics.lean
@comment MD5:2af6a4f7c94a32ad5d31e539bf637b45
@comment binary:0
opt/local/lib/lean/library/init/meta/ac_tactics.olean
@comment MD5:e86bcb1a1e73b30968ca823b08e914b0
@comment binary:0
opt/local/lib/lean/library/init/meta/async_tactic.lean
@comment MD5:200fc4eb2ab0071cce75076a2b51bb24
@comment binary:0
opt/local/lib/lean/library/init/meta/async_tactic.olean
@comment MD5:2f4bc8b21c53b8686dcb1b0f8dabd636
@comment binary:0
opt/local/lib/lean/library/init/meta/attribute.lean
@comment MD5:ebde9eea74decc63fd5f18f55524825a
@comment binary:0
opt/local/lib/lean/library/init/meta/attribute.olean
@comment MD5:b0ff0377dc26b559ae71d60ce6b32520
@comment binary:0
opt/local/lib/lean/library/init/meta/backward.lean
@comment MD5:ae5451028ab31870150113c050c9f49c
@comment binary:0
opt/local/lib/lean/library/init/meta/backward.olean
@comment MD5:cccf83c31b74bbd62972d296876f0194
@comment binary:0
opt/local/lib/lean/library/init/meta/case_tag.lean
@comment MD5:c883b2286fe231ee0342e75fdd1103c7
@comment binary:0
opt/local/lib/lean/library/init/meta/case_tag.olean
@comment MD5:548e9f687a65fedf23a700af9935f800
@comment binary:0
opt/local/lib/lean/library/init/meta/comp_value_tactics.lean
@comment MD5:45390b22edaf0d5f136ae8733a72ac2a
@comment binary:0
opt/local/lib/lean/library/init/meta/comp_value_tactics.olean
@comment MD5:bdf0aeb22049787b8b66177765a5c2d1
@comment binary:0
opt/local/lib/lean/library/init/meta/congr_lemma.lean
@comment MD5:955b0635b937d076d576974755a5eaef
@comment binary:0
opt/local/lib/lean/library/init/meta/congr_lemma.olean
@comment MD5:964d73fb8acf155aed70c91f6e75f471
@comment binary:0
opt/local/lib/lean/library/init/meta/congr_tactic.lean
@comment MD5:c701cfa126e1999d6e938169bfef2f8f
@comment binary:0
opt/local/lib/lean/library/init/meta/congr_tactic.olean
@comment MD5:b3628326160036d99ee058038658552e
@comment binary:0
opt/local/lib/lean/library/init/meta/constructor_tactic.lean
@comment MD5:7416d8810ad0d179877038ce512c9d79
@comment binary:0
opt/local/lib/lean/library/init/meta/constructor_tactic.olean
@comment MD5:c1f5216daa9bdba2178202bb30de235c
@comment binary:0
opt/local/lib/lean/library/init/meta/contradiction_tactic.lean
@comment MD5:075862541c84aa4f729e239e9995efe4
@comment binary:0
opt/local/lib/lean/library/init/meta/contradiction_tactic.olean
@comment MD5:7f5fb1f269f858d87c28c1d657a7393a
@comment binary:0
opt/local/lib/lean/library/init/meta/converter/conv.lean
@comment MD5:3304b8f6c0a6b4cdabb0cefeaf73bf37
@comment binary:0
opt/local/lib/lean/library/init/meta/converter/conv.olean
@comment MD5:56573e87eeef4af6d873271106536a7b
@comment binary:0
opt/local/lib/lean/library/init/meta/converter/default.lean
@comment MD5:460ffd66dac53b37958f3890c12ef155
@comment binary:0
opt/local/lib/lean/library/init/meta/converter/default.olean
@comment MD5:34d6e84ea43ff2f9dd39bcfd6be49379
@comment binary:0
opt/local/lib/lean/library/init/meta/converter/interactive.lean
@comment MD5:bc8dbfc22e5469c7953ba0ebf72c14c2
@comment binary:0
opt/local/lib/lean/library/init/meta/converter/interactive.olean
@comment MD5:1ed0ef060641d6006b001abe52000a2f
@comment binary:0
opt/local/lib/lean/library/init/meta/decl_cmds.lean
@comment MD5:e233c0828333a2edba13362c3be798af
@comment binary:0
opt/local/lib/lean/library/init/meta/decl_cmds.olean
@comment MD5:3cd6cd396d818109e37b4e6ad9429dea
@comment binary:0
opt/local/lib/lean/library/init/meta/declaration.lean
@comment MD5:b4415ff7ee2b32ec5d768ea969f58372
@comment binary:0
opt/local/lib/lean/library/init/meta/declaration.olean
@comment MD5:32bab6e95ed67584935244be8ce4bf1d
@comment binary:0
opt/local/lib/lean/library/init/meta/default.lean
@comment MD5:0977f84ca217d01e9b922876f3fdf0ed
@comment binary:0
opt/local/lib/lean/library/init/meta/default.olean
@comment MD5:3513aed923ee7499906c53c0b121b735
@comment binary:0
opt/local/lib/lean/library/init/meta/derive.lean
@comment MD5:4d6f5c93fc6272fd11ad68cecca81c46
@comment binary:0
opt/local/lib/lean/library/init/meta/derive.olean
@comment MD5:91478262497e53e3c948a9984a37dfd9
@comment binary:0
opt/local/lib/lean/library/init/meta/environment.lean
@comment MD5:fdf5ea85df5091e5237b45287e6ab134
@comment binary:0
opt/local/lib/lean/library/init/meta/environment.olean
@comment MD5:7b35f303b348b9c7338aabaa13af3c13
@comment binary:0
opt/local/lib/lean/library/init/meta/exceptional.lean
@comment MD5:b7889e5ddc8b43f53bf12f8b391d9efc
@comment binary:0
opt/local/lib/lean/library/init/meta/exceptional.olean
@comment MD5:4232971856d056af1dfada7f75c47740
@comment binary:0
opt/local/lib/lean/library/init/meta/expr.lean
@comment MD5:4df12741999a7bd2fb4310f9936bbf5f
@comment binary:0
opt/local/lib/lean/library/init/meta/expr.olean
@comment MD5:31c297e934902ea91974624c24d6e168
@comment binary:0
opt/local/lib/lean/library/init/meta/expr_address.lean
@comment MD5:2508be7fe1a62b72d8493b0bb4a96fbd
@comment binary:0
opt/local/lib/lean/library/init/meta/expr_address.olean
@comment MD5:3056453176fb39e3cd98b653ea059cf6
@comment binary:0
opt/local/lib/lean/library/init/meta/feature_search.lean
@comment MD5:64c63e202778ef593c4d9e145a8226ff
@comment binary:0
opt/local/lib/lean/library/init/meta/feature_search.olean
@comment MD5:796713c844f437c908c1ec5dcd5dd06a
@comment binary:0
opt/local/lib/lean/library/init/meta/float.lean
@comment MD5:bfbf5e63c105b89350df25835ecac806
@comment binary:0
opt/local/lib/lean/library/init/meta/float.olean
@comment MD5:d4e5dd760bb93ba5471b0bac27b26b4a
@comment binary:0
opt/local/lib/lean/library/init/meta/format.lean
@comment MD5:2b6a89ea614ec1ba2a0d27af98d85c8f
@comment binary:0
opt/local/lib/lean/library/init/meta/format.olean
@comment MD5:17192a5a7c6239c2179404b9688bbb30
@comment binary:0
opt/local/lib/lean/library/init/meta/fun_info.lean
@comment MD5:28cfc00768dd1b1583cd0c0dec4f73cc
@comment binary:0
opt/local/lib/lean/library/init/meta/fun_info.olean
@comment MD5:11be62bb9b0fa65b0a2123f5bddf85a6
@comment binary:0
opt/local/lib/lean/library/init/meta/has_reflect.lean
@comment MD5:d183a6416bfae965e48d8d6660b0139d
@comment binary:0
opt/local/lib/lean/library/init/meta/has_reflect.olean
@comment MD5:415343002305c94f16b27f7b5294559b
@comment binary:0
opt/local/lib/lean/library/init/meta/hole_command.lean
@comment MD5:a20883a13f1985ee13db7c4b028dc579
@comment binary:0
opt/local/lib/lean/library/init/meta/hole_command.olean
@comment MD5:bd18604b4577de5d8e5bae6cef29c7fe
@comment binary:0
opt/local/lib/lean/library/init/meta/injection_tactic.lean
@comment MD5:db1f423af154dd8a89c27534d396c61c
@comment binary:0
opt/local/lib/lean/library/init/meta/injection_tactic.olean
@comment MD5:769f308713c582d9dbaede51e7704daa
@comment binary:0
opt/local/lib/lean/library/init/meta/instance_cache.lean
@comment MD5:217aae4e5eb9872171a81dcec97c3662
@comment binary:0
opt/local/lib/lean/library/init/meta/instance_cache.olean
@comment MD5:fe488c1bd584fda213850aec3bbd5919
@comment binary:0
opt/local/lib/lean/library/init/meta/interaction_monad.lean
@comment MD5:298abf846da561d65057ed7118ba9782
@comment binary:0
opt/local/lib/lean/library/init/meta/interaction_monad.olean
@comment MD5:4abfcc034a77dfa8fc62d51d7642430b
@comment binary:0
opt/local/lib/lean/library/init/meta/interactive.lean
@comment MD5:6191b07ad986c0a5d77d72da8b33b534
@comment binary:0
opt/local/lib/lean/library/init/meta/interactive.olean
@comment MD5:a626c5f33f9a37c8179a53918911391b
@comment binary:0
opt/local/lib/lean/library/init/meta/interactive_base.lean
@comment MD5:a8899c3dd3f10f8a9071bf1ae7821616
@comment binary:0
opt/local/lib/lean/library/init/meta/interactive_base.olean
@comment MD5:46a88cef512beee27448a794d99fff76
@comment binary:0
opt/local/lib/lean/library/init/meta/json.lean
@comment MD5:6e0212fb79bde02e052e3bdb29201511
@comment binary:0
opt/local/lib/lean/library/init/meta/json.olean
@comment MD5:ddb025993aad88c36f6228ec3b975da8
@comment binary:0
opt/local/lib/lean/library/init/meta/lean/parser.lean
@comment MD5:f0418b5e879142c860d815b731edde73
@comment binary:0
opt/local/lib/lean/library/init/meta/lean/parser.olean
@comment MD5:6599df62013dcf46bb758d2c5c7e4dd2
@comment binary:0
opt/local/lib/lean/library/init/meta/level.lean
@comment MD5:760d245c8e35f604604f0fb0df656ce3
@comment binary:0
opt/local/lib/lean/library/init/meta/level.olean
@comment MD5:f4aabc87fcf6a5319afa7805bf405dc4
@comment binary:0
opt/local/lib/lean/library/init/meta/local_context.lean
@comment MD5:2d552a43c89f42271b621b93938267e0
@comment binary:0
opt/local/lib/lean/library/init/meta/local_context.olean
@comment MD5:1d50f0267e18d2d05b5847490ec3814c
@comment binary:0
opt/local/lib/lean/library/init/meta/match_tactic.lean
@comment MD5:dee96705a837c1d6c0eab1c5f6f32dba
@comment binary:0
opt/local/lib/lean/library/init/meta/match_tactic.olean
@comment MD5:0600d3561a6615376908a1e66fd8a8c3
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_dec_eq_instance.lean
@comment MD5:bd3e5a95998f336f72f58be0fe5ff051
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_dec_eq_instance.olean
@comment MD5:d6129b47a0c78ffe6ca107c0faa3caea
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_has_reflect_instance.lean
@comment MD5:09ebf4e278184014e74c7d6ebdb0f6c0
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_has_reflect_instance.olean
@comment MD5:54cd4b205c0a654af3243cce877182d9
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_has_sizeof_instance.lean
@comment MD5:13f8d2a79d5a6646dfceb266a3fcb514
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_has_sizeof_instance.olean
@comment MD5:cb1eb4eaf65cd5cb115cf5cb3c5a09a4
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_inhabited_instance.lean
@comment MD5:a1da8fb8dd934847bdacab154f52a9ad
@comment binary:0
opt/local/lib/lean/library/init/meta/mk_inhabited_instance.olean
@comment MD5:09d8facb683df8e903063fd10a18402c
@comment binary:0
opt/local/lib/lean/library/init/meta/module_info.lean
@comment MD5:feba6920024a4ea4389df62e092e8375
@comment binary:0
opt/local/lib/lean/library/init/meta/module_info.olean
@comment MD5:4326c32d4ffe9d87245f5129f9309043
@comment binary:0
opt/local/lib/lean/library/init/meta/name.lean
@comment MD5:a369780598d9077c0984cf1d64b1fdb5
@comment binary:0
opt/local/lib/lean/library/init/meta/name.olean
@comment MD5:3dd06dd9c44b12d439c691d58e11ae41
@comment binary:0
opt/local/lib/lean/library/init/meta/occurrences.lean
@comment MD5:52ec39e2d5bc11c2c1623a24353f6d1d
@comment binary:0
opt/local/lib/lean/library/init/meta/occurrences.olean
@comment MD5:e9a9a63d7674d67e31c1c5736f0b4816
@comment binary:0
opt/local/lib/lean/library/init/meta/options.lean
@comment MD5:6f10a15bec99b304b6c4c40b2278ec37
@comment binary:0
opt/local/lib/lean/library/init/meta/options.olean
@comment MD5:aeaa7ba64ca5f6bc1b5231cd0050f986
@comment binary:0
opt/local/lib/lean/library/init/meta/pexpr.lean
@comment MD5:52acb284bbc005969e73d3ebccf2416f
@comment binary:0
opt/local/lib/lean/library/init/meta/pexpr.olean
@comment MD5:5d86197c2bf72321c43efab2883225ec
@comment binary:0
opt/local/lib/lean/library/init/meta/rb_map.lean
@comment MD5:4c0d21d3f4f7eff01606295761cf35db
@comment binary:0
opt/local/lib/lean/library/init/meta/rb_map.olean
@comment MD5:32f7cf08219ed23c0addcf8a135fdd2d
@comment binary:0
opt/local/lib/lean/library/init/meta/rec_util.lean
@comment MD5:49d0aef82578a1ea1679a91a091828fc
@comment binary:0
opt/local/lib/lean/library/init/meta/rec_util.olean
@comment MD5:20b8a4e59254f4483687c6d160b04de9
@comment binary:0
opt/local/lib/lean/library/init/meta/ref.lean
@comment MD5:582a0fa411cfd2a8202c36aa0e03b2ed
@comment binary:0
opt/local/lib/lean/library/init/meta/ref.olean
@comment MD5:077de93d5d1d146b38c9474e0830df56
@comment binary:0
opt/local/lib/lean/library/init/meta/relation_tactics.lean
@comment MD5:7942c5f89f154cb8b32b683e7f261d24
@comment binary:0
opt/local/lib/lean/library/init/meta/relation_tactics.olean
@comment MD5:4aca91ef62236277a665a775b4ad30c0
@comment binary:0
opt/local/lib/lean/library/init/meta/rewrite_tactic.lean
@comment MD5:23f2c8592d455dccfc3ca02397fc4681
@comment binary:0
opt/local/lib/lean/library/init/meta/rewrite_tactic.olean
@comment MD5:7517536689a5ab9c4f2febe6b0af9271
@comment binary:0
opt/local/lib/lean/library/init/meta/set_get_option_tactics.lean
@comment MD5:84f035fa427b06e709c621d54ce4e9de
@comment binary:0
opt/local/lib/lean/library/init/meta/set_get_option_tactics.olean
@comment MD5:eaad3235e3d79a5823722985219a7e59
@comment binary:0
opt/local/lib/lean/library/init/meta/simp_tactic.lean
@comment MD5:40eb61fd81d2b42c00de624e993a6ebc
@comment binary:0
opt/local/lib/lean/library/init/meta/simp_tactic.olean
@comment MD5:16bcfee6fb87308db3e46648bdf317be
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/congruence_closure.lean
@comment MD5:f7a3d694583720595aecc2c7e956886e
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/congruence_closure.olean
@comment MD5:d2b79adb84f0dcb374b708d928c2c2f4
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/default.lean
@comment MD5:01eab7a09a19a69bc1c7275785845017
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/default.olean
@comment MD5:5927cc16a820d5123d47b23963aa8722
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/ematch.lean
@comment MD5:9c95ea5d55b6c2c03c590d4a4052d084
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/ematch.olean
@comment MD5:79d91506efe03d2c6d652cf9f5d68c57
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/interactive.lean
@comment MD5:cb7b56556b34637e69716648cc442d65
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/interactive.olean
@comment MD5:c459103784fb29f102fdc20ae93556a6
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/rsimp.lean
@comment MD5:d5520132329f9d7437af453c2e6a815e
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/rsimp.olean
@comment MD5:a460fde18f4f4cec1427b3161a814752
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/smt_tactic.lean
@comment MD5:28a63afed5dc29ecd360bbea962afdbe
@comment binary:0
opt/local/lib/lean/library/init/meta/smt/smt_tactic.olean
@comment MD5:3931a6701ae28ff512cce9dc93e400f6
@comment binary:0
opt/local/lib/lean/library/init/meta/tactic.lean
@comment MD5:085ea103edafbd5c381c5969c7cb0933
@comment binary:0
opt/local/lib/lean/library/init/meta/tactic.olean
@comment MD5:b8949a9a097bb0f10b07abf0c644a58f
@comment binary:0
opt/local/lib/lean/library/init/meta/tagged_format.lean
@comment MD5:f709fc1425badf40e843aa32948a70eb
@comment binary:0
opt/local/lib/lean/library/init/meta/tagged_format.olean
@comment MD5:8facf6c56b4b53ea54ff15e153e8e6d9
@comment binary:0
opt/local/lib/lean/library/init/meta/task.lean
@comment MD5:073da0c87f182877eb9cbb2140c1377a
@comment binary:0
opt/local/lib/lean/library/init/meta/task.olean
@comment MD5:802beb2ecba9b1f09d2d3d14e546654d
@comment binary:0
opt/local/lib/lean/library/init/meta/type_context.lean
@comment MD5:5a5e6a5c50363ee325c07c7e4018faf3
@comment binary:0
opt/local/lib/lean/library/init/meta/type_context.olean
@comment MD5:4c7ced8fb6a5ad1ba7fbba196af78d39
@comment binary:0
opt/local/lib/lean/library/init/meta/vm.lean
@comment MD5:9f76ee3827bd2f1c51489c4de547c242
@comment binary:0
opt/local/lib/lean/library/init/meta/vm.olean
@comment MD5:551984513cc08b909c2515111723e5c7
@comment binary:0
opt/local/lib/lean/library/init/meta/well_founded_tactics.lean
@comment MD5:60bd6e5eecb3b42193c9a0edbaa96f57
@comment binary:0
opt/local/lib/lean/library/init/meta/well_founded_tactics.olean
@comment MD5:2ba652e9d410fe0cba4eaee4fb16e5b7
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/basic.lean
@comment MD5:e68eeb336e74e8116a42b144d9c3aadb
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/basic.olean
@comment MD5:ff263a1ab5de0bae9f0a3247d7375c6b
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/default.lean
@comment MD5:4fd1d0859dfaf917f3ca6f3a2c6db1be
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/default.olean
@comment MD5:c83475726b39dfd52ff04ece47ba8ac5
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/html_cmd.lean
@comment MD5:f0137ffd78867e216f89a70d18cb8cbe
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/html_cmd.olean
@comment MD5:baae5b7236c8e7dff5f465a61287be0b
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/interactive_expr.lean
@comment MD5:ec4b1c03a434c8a67c8c988edcef298c
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/interactive_expr.olean
@comment MD5:6cec736c567aab7059ef580767fa8964
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/replace_save_info.lean
@comment MD5:248510cd2eee88ca305424b0f7587a80
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/replace_save_info.olean
@comment MD5:c589525fdd52c7b7afd9fd05a5b76df9
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/tactic_component.lean
@comment MD5:06b04643032929ef118974f16fe380ad
@comment binary:0
opt/local/lib/lean/library/init/meta/widget/tactic_component.olean
@comment MD5:50880e3b4e302fff83e36956c7af23a9
@comment binary:0
opt/local/lib/lean/library/init/propext.lean
@comment MD5:fbaa76a5392791eada5b1c58a4a4611f
@comment binary:0
opt/local/lib/lean/library/init/propext.olean
@comment MD5:940c4b0ad08ddaf46686f9ca9bcf2a65
@comment binary:0
opt/local/lib/lean/library/init/util.lean
@comment MD5:e9b36ed4113c09217e33cdb5bc6ccd02
@comment binary:0
opt/local/lib/lean/library/init/util.olean
@comment MD5:235529a2e36665a8d3fea7c41ed02961
@comment binary:0
opt/local/lib/lean/library/init/version.lean
@comment MD5:0e7eb968ba9495891fbd357c3ccf5f55
@comment binary:0
opt/local/lib/lean/library/init/version.olean
@comment MD5:7ae7e1a434896b2180dc59de8b627d88
@comment binary:0
opt/local/lib/lean/library/init/wf.lean
@comment MD5:54a30a8bd62115a9e8ca749cdb48b57e
@comment binary:0
opt/local/lib/lean/library/init/wf.olean
@comment MD5:1880d3adb0da58bb8e08991ac80c90d9
@comment binary:0
opt/local/lib/lean/library/library.md
@comment MD5:4267db42e682cb8e9ffbf0aa200b8b36
@comment binary:0
opt/local/lib/lean/library/smt/arith.lean
@comment MD5:d7622d5b689c10af719c222106706823
@comment binary:0
opt/local/lib/lean/library/smt/arith.olean
@comment MD5:5f9061a41672f74d9f4fc2cf81e55541
@comment binary:0
opt/local/lib/lean/library/smt/array.lean
@comment MD5:c38953a65dc67c455386cc1fbe240e1a
@comment binary:0
opt/local/lib/lean/library/smt/array.olean
@comment MD5:738c7c495fbbb52c2c3c00361d90de39
@comment binary:0
opt/local/lib/lean/library/smt/default.lean
@comment MD5:59897234ab64842585661ce861dc5e4c
@comment binary:0
opt/local/lib/lean/library/smt/default.olean
@comment MD5:8cc2796cf5366615cf3fcb9e28b3f46f
@comment binary:0
opt/local/lib/lean/library/smt/prove.lean
@comment MD5:66aabae1adc2286ae607e0a856ede4e5
@comment binary:0
opt/local/lib/lean/library/smt/prove.olean
@comment MD5:90afecb2ff141479769ab561f54f8953
@comment binary:0
opt/local/lib/lean/library/system/io.lean
@comment MD5:a9cf6f6d745f4b55d18fb5204ef6205c
@comment binary:0
opt/local/lib/lean/library/system/io.olean
@comment MD5:f5a45fe20a036f2f289a1306efe7c371
@comment binary:0
opt/local/lib/lean/library/system/io_interface.lean
@comment MD5:78a5f8ad7fa868cf6bcacd408ce00c53
@comment binary:0
opt/local/lib/lean/library/system/io_interface.olean
@comment MD5:32e3d9d4ac527cca49db4eb0dc4db762
@comment binary:0
opt/local/lib/lean/library/system/random.lean
@comment MD5:94339289bc946663fcfb9e60c81506ad
@comment binary:0
opt/local/lib/lean/library/system/random.olean
@comment MD5:1fc1fb32e1087ab19dd1118a447d9edc
@comment binary:0
opt/local/lib/lean/library/tools/debugger/cli.lean
@comment MD5:95b10c7a5e73c0ed500ca63d8a033267
@comment binary:0
opt/local/lib/lean/library/tools/debugger/cli.olean
@comment MD5:db42c58514370305bf81108583a326bf
@comment binary:0
opt/local/lib/lean/library/tools/debugger/default.lean
@comment MD5:69415abf46d22b5e07f4601d02d72d69
@comment binary:0
opt/local/lib/lean/library/tools/debugger/default.olean
@comment MD5:b633fd1f49aad42491a2be6d24202f25
@comment binary:0
opt/local/lib/lean/library/tools/debugger/util.lean
@comment MD5:b924acb235036b42728490f210678afe
@comment binary:0
opt/local/lib/lean/library/tools/debugger/util.olean
@comment MD5:aad71f077c9c9bc40babc089bb6852a2
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
