gistfile1.txt

44	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/leanpkg/leanpkg
50	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/leanpkg
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/tools/debugger
15	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/tools
31	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/algebra
40	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/meta/smt
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/meta/converter
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/meta/lean
44	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/meta/widget
437	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/meta
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/ordering
10	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/option
10	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/rbmap
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/subtype
18	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/array
60	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/nat
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/fin
19	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/char
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/sigma
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/bool
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/string
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/sum
39	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/list
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/unsigned
51	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/int
10	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data/rbtree
380	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/data
80	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init/control
1022	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/init
19	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/smt
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/data/buffer
44	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/data/rbtree
9	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/data/rbmap
101	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/data
18	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library/system
1187	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean/library
1237	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib/lean
1237	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/lib
7506	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/bin
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/kernel/quotient
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/kernel/inductive
161	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/kernel
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/cmake/Modules
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/cmake
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/util/numerics
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/util
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/shell
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/frontends/lean
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/frontends
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/library/rewriter
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/library
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests/kernel
13	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/tests
58	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/constructions
94	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/compiler
49	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/tactic/smt
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/tactic/backward
260	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/tactic
160	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/vm
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/native_compiler
49	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/inductive_compiler
54	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library/equations_compiler
1150	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/library
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/init/CMakeFiles/init.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/init/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/init
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/shell/CMakeFiles/lean_js.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/shell/CMakeFiles/bin_lean.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/shell/CMakeFiles/lean.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/shell/CMakeFiles/shell_js.dir
3	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/shell/CMakeFiles
3	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/shell
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/inductive_compiler/CMakeFiles/inductive_compiler.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/inductive_compiler/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/inductive_compiler
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/equations_compiler/CMakeFiles/equations_compiler.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/equations_compiler/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/equations_compiler
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/CMakeFiles/tactic.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/CMakeFiles
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/backward/CMakeFiles/backward.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/backward/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/backward
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/smt/CMakeFiles/smt.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/smt/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic/smt
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/tactic
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/CMakeFiles/library.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/CMakeFiles
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/constructions/CMakeFiles/constructions.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/constructions/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/constructions
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/vm/CMakeFiles/vm.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/vm/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/vm
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/compiler/CMakeFiles/compiler.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/compiler/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library/compiler
22	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/library
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdCXX/tmp
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdCXX
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdC/tmp
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdC
3	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/3.17.3
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/clean-leanpkg.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/clean-olean.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/CMakeTmp
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/leanstatic.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles/clean-std-lib.dir
14	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/CMakeFiles
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/tests/shell/CMakeFiles/shell_test.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/tests/shell/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/tests/shell
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/tests
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/sexpr/CMakeFiles/sexpr.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/sexpr/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/sexpr
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/CMakeFiles/util.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/CMakeFiles
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/numerics/CMakeFiles/numerics.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/numerics/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util/numerics
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/util
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/checker/CMakeFiles/leanchecker.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/checker/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/checker
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/frontends/lean/CMakeFiles/lean_frontend.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/frontends/lean/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/frontends/lean
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/frontends
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/quotient/CMakeFiles/quotient.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/quotient/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/quotient
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/CMakeFiles/kernel.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/CMakeFiles
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/inductive/CMakeFiles/inductive.dir
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/inductive/CMakeFiles
2	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel/inductive
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build/kernel
68	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/build
1	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/shared
218	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/frontends/lean
218	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/frontends
31	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/shell
5	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/init
10	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/checker
40	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/util/sexpr
10	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/util/numerics
381	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext/util
2045	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include/lean_ext
2045	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5/include
10789	/nix/store/h8dfw9mi182gfic8ai213q9prpq4z6nx-lean-3.16.5