gistfile1.txt

45	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/smt
403	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/category
139	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/meta/smt
14	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/meta/lean
52	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/meta/converter
1249	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/meta
138	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/int
44	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/bool
44	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/ordering
36	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/subtype
36	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/sum
48	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/sigma
51	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/rbtree
210	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/list
65	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/string
227	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/nat
48	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/fin
23	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/rbmap
35	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/option
36	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/unsigned
68	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/array
49	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data/char
1288	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/data
772	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init/algebra
4029	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/init
64	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/tools/debugger
64	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/tools
38	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/data/buffer
50	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/data/rbmap
471	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/data/rbtree
760	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/data
100	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library/system
5010	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/library
232	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/leanpkg/leanpkg
237	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean/leanpkg
5247	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib/lean
23597	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/lib
31	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/shell
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/shared
10	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/checker
44	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/util/sexpr
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/util/polynomial
80	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/util/numerics
456	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/util
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/frontends/lean
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/frontends
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/shared
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/shell
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/kernel
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/library/rewriter
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/library
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/util/numerics
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/util/interval
6	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests/util
18	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/tests
209	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/frontends/lean
210	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/frontends
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/leanpkg.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/leanshared.dir/shared
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/leanshared.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/clean-std-lib.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/CMakeTmp
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/3.16.4/CompilerIdCXX/tmp
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/3.16.4/CompilerIdCXX
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/3.16.4/CompilerIdC/tmp
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/3.16.4/CompilerIdC
3	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/3.16.4
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/standard_lib.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/clean-leanpkg.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/clean-olean.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles/leanstatic.dir
16	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/CMakeFiles
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/init/CMakeFiles/init.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/init/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/init
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/compiler/CMakeFiles/compiler.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/compiler/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/compiler
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/inductive_compiler/CMakeFiles/inductive_compiler.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/inductive_compiler/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/inductive_compiler
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/equations_compiler/CMakeFiles/equations_compiler.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/equations_compiler/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/equations_compiler
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/CMakeFiles/library.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/CMakeFiles
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/constructions/CMakeFiles/constructions.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/constructions/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/constructions
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/backward/CMakeFiles/backward.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/backward/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/backward
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/CMakeFiles/tactic.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/CMakeFiles
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/smt/CMakeFiles/smt.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/smt/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic/smt
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/tactic
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/vm/CMakeFiles/vm.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/vm/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library/vm
22	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/library
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/frontends/lean/CMakeFiles/lean_frontend.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/frontends/lean/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/frontends/lean
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/frontends
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/quotient/CMakeFiles/quotient.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/quotient/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/quotient
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/inductive/CMakeFiles/inductive.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/inductive/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/inductive
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/CMakeFiles/kernel.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel/CMakeFiles
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/kernel
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/sexpr/CMakeFiles/sexpr.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/sexpr/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/sexpr
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/CMakeFiles/util.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/CMakeFiles
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/numerics/CMakeFiles/numerics.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/numerics/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util/numerics
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/util
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/api/CMakeFiles/api.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/api/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/api
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/shell/CMakeFiles/bin_lean.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/shell/CMakeFiles/shell_js.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/shell/CMakeFiles/lean_js.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/shell/CMakeFiles/lean.dir
3	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/shell/CMakeFiles
3	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/shell
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/checker/CMakeFiles/leanchecker.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/checker/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/checker
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared/CMakeFiles/c_options_test.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared/CMakeFiles/c_univ_test.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared/CMakeFiles/thread_test.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared/CMakeFiles/c_expr_test.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared/CMakeFiles/c_name_test.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared/CMakeFiles/shared_test.dir
12	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared/CMakeFiles
12	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shared
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/hash.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/scoped_set.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/thread.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/options.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/optional.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/name.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/scoped_map.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/buffer.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/format.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/safe_arith.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/stackinfo.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/lru_cache.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/set.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/exception.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/rb_map.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/serializer.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/sequence.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/rb_tree.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/bit_tricks.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/list.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/trie.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/worker_queue.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/bitap_fuzzy_search.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles/sexpr_tst.dir
21	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/CMakeFiles
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/zpz.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/numeric_traits.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/double.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/mpz.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/primes.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/xnumeral.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/float.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/mpbq.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/gcd.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles/mpq.dir
14	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics/CMakeFiles
14	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util/numerics
35	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/util
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles/expr.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles/free_vars.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles/replace.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles/environment.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles/max_sharing.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles/level.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles/instantiate.dir
12	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel/CMakeFiles
13	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/kernel
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shell/CMakeFiles/shell_test.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shell/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/shell
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles/delayed_abstraction.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles/occurs.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles/expr_lt.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles/parray.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles/phashtable.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles/head_map.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles/deep_copy.dir
12	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library/CMakeFiles
13	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/library
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/frontends/lean/CMakeFiles/lean_scanner.dir
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/frontends/lean/CMakeFiles
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/frontends/lean
2	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests/frontends
84	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build/tests
153	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/build
108	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/api
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/cmake/Modules
1	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/cmake
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/kernel/quotient
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/kernel/inductive
161	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/kernel
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/init
54	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/equations_compiler
49	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/inductive_compiler
58	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/constructions
94	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/compiler
151	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/vm
5	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/native_compiler
14	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/tactic/backward
49	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/tactic/smt
264	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library/tactic
1155	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext/library
2314	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include/lean_ext
2341	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/include
7362	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1/bin
33300	/nix/store/3cnfml5ha8pnan2q39qh4w1nxcdj83jd-lean-3.6.1