# filelist

dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/ast/normal_forms
filetypes: ffffffffff
filenames:
  defined_names.cpp/defined_names.h/elim_term_ite.cpp/elim_term_ite.h/name_exprs.cpp/name_exprs.h/nnf.cpp/nnf.h/pull_quant.cpp/pull_quant.h


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/redhat-linux-build/src/params
filetypes: ffffffffff
filenames:
  arith_rewriter_params.hpp/array_rewriter_params.hpp/bool_rewriter_params.hpp/bv_rewriter_params.hpp/fpa2bv_rewriter_params.hpp/fpa_rewriter_params.hpp/pattern_inference_params_helper.hpp/poly_rewriter_params.hpp/rewriter_params.hpp/seq_rewriter_params.hpp


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/opt
filetypes: fffffffffffffffffffffff
filenames:
  maxlex.cpp/maxlex.h/maxres.cpp/maxres.h/maxsmt.cpp/maxsmt.h/opt_cmds.cpp/opt_cmds.h/opt_context.cpp/opt_context.h/opt_pareto.cpp/opt_pareto.h/opt_parse.cpp/opt_parse.h/opt_solver.cpp/opt_solver.h/optsmt.cpp/optsmt.h/pb_sls.cpp/pb_sls.h/sortmax.cpp/wmax.cpp/wmax.h


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/muz/base
filetypes: fffffffffffffffffffffff
filenames:
  bind_variables.cpp/bind_variables.h/dl_boogie_proof.cpp/dl_boogie_proof.h/dl_context.cpp/dl_context.h/dl_costs.cpp/dl_costs.h/dl_engine_base.h/dl_rule.cpp/dl_rule.h/dl_rule_set.cpp/dl_rule_set.h/dl_rule_subsumption_index.cpp/dl_rule_subsumption_index.h/dl_rule_transformer.cpp/dl_rule_transformer.h/dl_util.cpp/dl_util.h/hnf.cpp/hnf.h/rule_properties.cpp/rule_properties.h


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/tactic
filetypes: dddfdffffddffffffffffffffdffffffffddfffffd
filenames:
  aig/arith/bv/converter.h/core/dependency_converter.cpp/dependency_converter.h/equiv_proof_converter.cpp/equiv_proof_converter.h/fd_solver/fpa/generic_model_converter.cpp/generic_model_converter.h/goal.cpp/goal.h/goal_num_occurs.cpp/goal_num_occurs.h/goal_shared_occs.cpp/goal_shared_occs.h/goal_util.cpp/goal_util.h/horn_subsume_model_converter.cpp/horn_subsume_model_converter.h/model_converter.cpp/model_converter.h/portfolio/probe.cpp/probe.h/proof_converter.cpp/proof_converter.h/replace_proof_converter.cpp/replace_proof_converter.h/sine_filter.cpp/sine_filter.h/sls/smtlogics/tactic.cpp/tactic.h/tactic_exception.h/tactical.cpp/tactical.h/ufbv


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/tactic/fd_solver
filetypes: ffffffffff
filenames:
  bounded_int2bv_solver.cpp/bounded_int2bv_solver.h/enum2bv_solver.cpp/enum2bv_solver.h/fd_solver.cpp/fd_solver.h/pb2bv_solver.cpp/pb2bv_solver.h/smtfd_solver.cpp/smtfd_solver.h


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/math/simplex
filetypes: fffffffff
filenames:
  bit_matrix.cpp/bit_matrix.h/model_based_opt.cpp/model_based_opt.h/simplex.cpp/simplex.h/simplex_def.h/sparse_matrix.h/sparse_matrix_def.h


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/nlsat
filetypes: fffffffffffffffd
filenames:
  nlsat_assignment.h/nlsat_clause.cpp/nlsat_clause.h/nlsat_evaluator.cpp/nlsat_evaluator.h/nlsat_explain.cpp/nlsat_explain.h/nlsat_interval_set.cpp/nlsat_interval_set.h/nlsat_justification.h/nlsat_scoped_literal_vector.h/nlsat_solver.cpp/nlsat_solver.h/nlsat_types.cpp/nlsat_types.h/tactic


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/ast/macros
filetypes: fffffffffff
filenames:
  cond_macro.h/macro_finder.cpp/macro_finder.h/macro_manager.cpp/macro_manager.h/macro_util.cpp/macro_util.h/quantifier_macro_info.cpp/quantifier_macro_info.h/quasi_macros.cpp/quasi_macros.h


dirname: /usr/src/debug/z3-4.8.10-3.el9.aarch64/src/parsers/util
filetypes: ffffffff
filenames:
  cost_parser.cpp/cost_parser.h/pattern_validation.cpp/pattern_validation.h/scanner.cpp/scanner.h/simple_parser.cpp/simple_parser.h


dirname: /usr/src/debug/zenity-3.32.0-8.el9.aarch64/src
filetypes: fffffffffffffffffff
filenames:
  about.c/calendar.c/color.c/entry.c/fileselection.c/forms.c/main.c/msg.c/notification.c/option.c/option.h/password.c/progress.c/scale.c/text.c/tree.c/util.c/util.h/zenity.h


dirname: /usr/lib/debug/usr/bin
filetypes: ffff
filenames:
  zip-3.0-35.el9.aarch64.debug/zipcloak-3.0-35.el9.aarch64.debug/zipnote-3.0-35.el9.aarch64.debug/zipsplit-3.0-35.el9.aarch64.debug


dirname: /usr/src/debug/zip-3.0-35.el9.aarch64
filetypes: ffffffffffffdffffffffff
filenames:
  crc32.c/crc32.h/crypt.c/crypt.h/deflate.c/fileio.c/globals.c/revision.h/tailor.h/trees.c/ttyio.c/ttyio.h/unix/util.c/zbz2err.c/zip.c/zip.h/zipcloak.c/ziperr.h/zipfile.c/zipnote.c/zipsplit.c/zipup.c


dirname: /usr/src/debug/zlib-1.2.11-40.el9.aarch64
filetypes: ffdffffffffffffffffffffffff
filenames:
  adler32.c/compress.c/contrib/crc32.c/crc32.h/deflate.c/deflate.h/gzclose.c/gzguts.h/gzlib.c/gzread.c/gzwrite.c/infback.c/inffast.c/inffast.h/inffixed.h/inflate.c/inflate.h/inftrees.c/inftrees.h/trees.c/trees.h/uncompr.c/zconf.h/zlib.h/zutil.c/zutil.h


dirname: /usr/lib/debug/.build-id
filetypes: dddddddddddddddddddddddddddddddddd
filenames:
  02/11/21/32/3e/45/4f/50/56/5a/5b/60/68/6a/6b/77/78/79/7d/89/9b/9f/a7/b1/c3/ca/cf/d6/da/dd/e6/f3/f7/fb


dirname: /usr/lib/debug/.build-id/02
filetypes: ffff
filenames:
  786a580afda0ec5b7c716fd4a6050ccfe744db/786a580afda0ec5b7c716fd4a6050ccfe744db.debug/f7221288451341895d69e2a1b065abfc9a7301/f7221288451341895d69e2a1b065abfc9a7301.debug


dirname: /usr/lib/debug/.build-id/f7
filetypes: ffff
filenames:
  1f1709c85f64cdd76d5a72d75cdec02a4a7fb0/1f1709c85f64cdd76d5a72d75cdec02a4a7fb0.debug/88dd4b5789d6ed926b79aa618318f0b1a5d53a/88dd4b5789d6ed926b79aa618318f0b1a5d53a.debug


dirname: /usr/lib/debug/.build-id/dd
filetypes: ffff
filenames:
  4c08f9654dfa0c5a71f2c3397f03b63e4e52e9/4c08f9654dfa0c5a71f2c3397f03b63e4e52e9.debug/75fc6bd1118652ba4f64e58a43960d71523b4d/75fc6bd1118652ba4f64e58a43960d71523b4d.debug


dirname: /usr/lib/debug/.build-id/7d
filetypes: ffff
filenames:
  6c8a3d0a072972d8f272b964048ab1372ae525/6c8a3d0a072972d8f272b964048ab1372ae525.debug/f3c6d1b66d82c01df074001de03c1561aa1b0a/f3c6d1b66d82c01df074001de03c1561aa1b0a.debug


dirname: /usr/lib/debug/usr/lib64/zsh/5.8/zsh
filetypes: fffffffffdfffffffdfdffffffffffffffff
filenames:
  attr.so-5.8-9.el9.aarch64.debug/cap.so-5.8-9.el9.aarch64.debug/clone.so-5.8-9.el9.aarch64.debug/compctl.so-5.8-9.el9.aarch64.debug/complete.so-5.8-9.el9.aarch64.debug/complist.so-5.8-9.el9.aarch64.debug/computil.so-5.8-9.el9.aarch64.debug/curses.so-5.8-9.el9.aarch64.debug/datetime.so-5.8-9.el9.aarch64.debug/db/deltochar.so-5.8-9.el9.aarch64.debug/example.so-5.8-9.el9.aarch64.debug/files.so-5.8-9.el9.aarch64.debug/langinfo.so-5.8-9.el9.aarch64.debug/mapfile.so-5.8-9.el9.aarch64.debug/mathfunc.so-5.8-9.el9.aarch64.debug/nearcolor.so-5.8-9.el9.aarch64.debug/net/newuser.so-5.8-9.el9.aarch64.debug/param/parameter.so-5.8-9.el9.aarch64.debug/pcre.so-5.8-9.el9.aarch64.debug/regex.so-5.8-9.el9.aarch64.debug/rlimits.so-5.8-9.el9.aarch64.debug/sched.so-5.8-9.el9.aarch64.debug/stat.so-5.8-9.el9.aarch64.debug/system.so-5.8-9.el9.aarch64.debug/termcap.so-5.8-9.el9.aarch64.debug/terminfo.so-5.8-9.el9.aarch64.debug/zftp.so-5.8-9.el9.aarch64.debug/zle.so-5.8-9.el9.aarch64.debug/zleparameter.so-5.8-9.el9.aarch64.debug/zprof.so-5.8-9.el9.aarch64.debug/zpty.so-5.8-9.el9.aarch64.debug/zselect.so-5.8-9.el9.aarch64.debug/zutil.so-5.8-9.el9.aarch64.debug


dirname: /usr/src/debug/zsh-5.8-9.el9.aarch64/Src
filetypes: dddfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  Builtins/Modules/Zle/bltinmods.list/builtin.c/builtin.epro/compat.c/compat.epro/cond.c/cond.epro/context.c/context.epro/exec.c/exec.epro/glob.c/glob.epro/hashnameddir.c/hashnameddir.epro/hashtable.c/hashtable.epro/hist.c/hist.epro/init.c/init.epro/input.c/input.epro/jobs.c/jobs.epro/jobs.pro/lex.c/lex.epro/linklist.c/linklist.epro/loop.c/loop.epro/main.c/math.c/math.epro/mem.c/mem.epro/module.c/module.epro/openssh_bsd_setres_id.c/options.c/options.epro/options.pro/params.c/params.epro/parse.c/parse.epro/pattern.c/pattern.epro/prompt.c/prompt.epro/signals.c/signals.epro/signals.pro/signames.c/signames.epro/sort.c/sort.epro/string.c/string.epro/subst.c/subst.epro/text.c/text.epro/utils.c/utils.epro/watch.c/watch.epro/zsh.h


dirname: /usr/src/debug/zsh-5.8-9.el9.aarch64/Src/Zle
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  comp.h/compcore.c/compcore.epro/compctl.c/compctl.epro/compctl.h/compctl.pro/complete.c/complete.epro/complist.c/compmatch.c/compmatch.epro/compresult.c/compresult.epro/computil.c/deltochar.c/textobjects.c/textobjects.epro/zle.h/zle_bindings.c/zle_bindings.epro/zle_hist.c/zle_hist.epro/zle_keymap.c/zle_keymap.epro/zle_main.c/zle_main.epro/zle_main.pro/zle_misc.c/zle_misc.epro/zle_misc.pro/zle_move.c/zle_move.epro/zle_params.c/zle_params.epro/zle_refresh.c/zle_refresh.epro/zle_things.h/zle_thingy.c/zle_thingy.epro/zle_tricky.c/zle_tricky.epro/zle_utils.c/zle_utils.epro/zle_vi.c/zle_vi.epro/zle_widget.h/zle_word.c/zle_word.epro/zleparameter.c


dirname: /usr/src/debug/zsh-5.8-9.el9.aarch64/Src/Modules
filetypes: ffffffffffffffffffffffffffffffffff
filenames:
  attr.c/cap.c/clone.c/curses.c/curses_keys.h/datetime.c/db_gdbm.c/db_gdbm.pro/errnames.c/errnames.epro/example.c/files.c/langinfo.c/mapfile.c/mathfunc.c/nearcolor.c/newuser.c/param_private.c/parameter.c/pcre.c/regex.c/socket.c/stat.c/system.c/tcp.c/tcp.epro/tcp.h/termcap.c/terminfo.c/zftp.c/zprof.c/zpty.c/zselect.c/zutil.c


dirname: /usr/src/debug/zstd-1.5.5-1.el9.aarch64/lib/common
filetypes: ffffffffffffffffffff
filenames:
  allocations.h/bits.h/bitstream.h/cpu.h/debug.c/entropy_common.c/error_private.c/error_private.h/fse.h/fse_decompress.c/huf.h/mem.h/pool.c/pool.h/threading.c/xxhash.c/xxhash.h/zstd_common.c/zstd_internal.h/zstd_trace.h


dirname: /usr/src/debug/zstd-1.5.5-1.el9.aarch64/programs
filetypes: fffffffffffffffffffff
filenames:
  benchfn.c/benchfn.h/benchzstd.c/benchzstd.h/datagen.c/datagen.h/dibio.c/dibio.h/fileio.c/fileio.h/fileio_asyncio.c/fileio_asyncio.h/fileio_common.h/fileio_types.h/timefn.c/timefn.h/util.c/util.h/zstdcli.c/zstdcli_trace.c/zstdcli_trace.h


dirname: /usr/src/debug/zstd-1.5.5-1.el9.aarch64/lib/compress
filetypes: fffffffffffffffffffffffffff
filenames:
  clevels.h/fse_compress.c/hist.c/hist.h/huf_compress.c/zstd_compress.c/zstd_compress_internal.h/zstd_compress_literals.c/zstd_compress_literals.h/zstd_compress_sequences.c/zstd_compress_sequences.h/zstd_compress_superblock.c/zstd_compress_superblock.h/zstd_cwksp.h/zstd_double_fast.c/zstd_double_fast.h/zstd_fast.c/zstd_fast.h/zstd_lazy.c/zstd_lazy.h/zstd_ldm.c/zstd_ldm.h/zstd_ldm_geartab.h/zstd_opt.c/zstd_opt.h/zstdmt_compress.c/zstdmt_compress.h


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libzzip-0.so.13.0.71-0.13.71-12.el9.aarch64.debug/libzzipfseeko-0.so.13.0.71-0.13.71-12.el9.aarch64.debug/libzzipmmapped-0.so.13.0.71-0.13.71-12.el9.aarch64.debug/libzzipwrap-0.so.13.0.71-0.13.71-12.el9.aarch64.debug


dirname: /usr/src/debug/zziplib-0.13.71-12.el9.aarch64/bins
filetypes: fffffffffffffffff
filenames:
  unzip-mem.c/unzzip.c/unzzipcat-big.c/unzzipcat-mem.c/unzzipcat-mix.c/unzzipcat-zip.c/unzzipcat-zip.h/unzzipdir-big.c/unzzipdir-mem.c/unzzipdir-mix.c/unzzipdir-zip.c/unzzipdir-zip.h/zzcat.c/zzdir.c/zzxorcat.c/zzxorcopy.c/zzxordir.c


dirname: /usr/src/debug/zziplib-0.13.71-12.el9.aarch64/zzip
filetypes: ffffffffffffffffffffff
filenames:
  dir.c/err.c/fetch.c/fetch.h/file.c/file.h/format.h/fseeko.c/fseeko.h/info.c/lib.h/memdisk.c/memdisk.h/mmapped.c/mmapped.h/plugin.c/plugin.h/stat.c/types.h/write.c/zip.c/zzip.h


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffff
filenames:
  unzip-mem-0.13.71-12.el9.aarch64.debug/unzzip-0.13.71-12.el9.aarch64.debug/unzzip-big-0.13.71-12.el9.aarch64.debug/unzzip-mem-0.13.71-12.el9.aarch64.debug/unzzip-mix-0.13.71-12.el9.aarch64.debug/zzcat-0.13.71-12.el9.aarch64.debug/zzdir-0.13.71-12.el9.aarch64.debug/zzxorcat-0.13.71-12.el9.aarch64.debug/zzxorcopy-0.13.71-12.el9.aarch64.debug/zzxordir-0.13.71-12.el9.aarch64.debug


