gistfile1.txt

7506	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/bin
9	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/data/rbmap
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/data/buffer
44	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/data/rbtree
101	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/data
19	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/smt
23	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/algebra
40	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/meta/smt
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/meta/converter
40	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/meta/widget
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/meta/lean
433	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/meta
19	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/char
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/ordering
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/sigma
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/string
51	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/int
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/sum
10	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/rbtree
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/subtype
39	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/list
18	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/array
10	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/option
60	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/nat
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/fin
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/bool
10	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/rbmap
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data/unsigned
380	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/data
80	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init/control
1010	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/init
18	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/system
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/tools/debugger
15	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library/tools
1175	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/library
44	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/leanpkg/leanpkg
50	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean/leanpkg
1225	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib/lean
1225	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/lib
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/init
58	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/constructions
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/native_compiler
49	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/inductive_compiler
54	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/equations_compiler
94	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/compiler
160	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/vm
49	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/tactic/smt
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/tactic/backward
260	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library/tactic
1155	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/library
218	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/frontends/lean
218	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/frontends
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/tests/shell/CMakeFiles/shell_test.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/tests/shell/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/tests/shell
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/tests
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/frontends/lean/CMakeFiles/lean_frontend.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/frontends/lean/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/frontends/lean
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/frontends
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/api/CMakeFiles/api.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/api/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/api
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/init/CMakeFiles/init.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/init/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/init
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/checker/CMakeFiles/leanchecker.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/checker/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/checker
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/shell/CMakeFiles/lean.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/shell/CMakeFiles/lean_js.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/shell/CMakeFiles/bin_lean.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/shell/CMakeFiles/shell_js.dir
3	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/shell/CMakeFiles
3	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/shell
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/clean-leanpkg.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/leanstatic.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/clean-std-lib.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/CMakeTmp
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/clean-olean.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/3.17.2/CompilerIdCXX/tmp
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/3.17.2/CompilerIdCXX
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/3.17.2/CompilerIdC/tmp
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/3.17.2/CompilerIdC
3	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles/3.17.2
14	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/CMakeFiles
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/constructions/CMakeFiles/constructions.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/constructions/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/constructions
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/equations_compiler/CMakeFiles/equations_compiler.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/equations_compiler/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/equations_compiler
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/compiler/CMakeFiles/compiler.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/compiler/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/compiler
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/inductive_compiler/CMakeFiles/inductive_compiler.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/inductive_compiler/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/inductive_compiler
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/vm/CMakeFiles/vm.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/vm/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/vm
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/CMakeFiles/library.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/CMakeFiles
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/CMakeFiles/tactic.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/CMakeFiles
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/smt/CMakeFiles/smt.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/smt/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/smt
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/backward/CMakeFiles/backward.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/backward/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic/backward
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library/tactic
22	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/library
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/numerics/CMakeFiles/numerics.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/numerics/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/numerics
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/sexpr/CMakeFiles/sexpr.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/sexpr/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/sexpr
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/CMakeFiles/util.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util/CMakeFiles
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/util
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/CMakeFiles/kernel.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/CMakeFiles
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/quotient/CMakeFiles/quotient.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/quotient/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/quotient
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/inductive/CMakeFiles/inductive.dir
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/inductive/CMakeFiles
2	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel/inductive
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build/kernel
69	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/build
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/shared
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/kernel
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/shell
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/frontends/lean
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/frontends
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/library/rewriter
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/library
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/util/numerics
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/util/interval
6	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests/util
18	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/tests
85	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/api
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/cmake/Modules
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/cmake
1	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/shared
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/util/polynomial
80	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/util/numerics
44	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/util/sexpr
460	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/util
10	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/checker
31	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/shell
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/kernel/quotient
5	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/kernel/inductive
161	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext/kernel
2221	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include/lean_ext
2270	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2/include
11001	/nix/store/qhbycb66zz7qzk4x9klpwdsclf6d2f3j-lean-3.16.2