# filelist

dirname: /usr/src/debug/xsd-4.1.0-0.8.a11.el9.aarch64/libxsd-frontend/xsd-frontend/semantic-graph
filetypes: fffffffffffffffffffffffffffffffff
filenames:
  annotation.hxx/any-attribute.cxx/any-attribute.hxx/any.cxx/any.hxx/attribute-group.cxx/attribute-group.hxx/attribute.cxx/attribute.hxx/complex.cxx/complex.hxx/compositors.cxx/compositors.hxx/element-group.cxx/element-group.hxx/element.cxx/element.hxx/elements.cxx/elements.hxx/enumeration.cxx/enumeration.hxx/fundamental.cxx/fundamental.hxx/list.cxx/list.hxx/namespace.cxx/namespace.hxx/particle.cxx/particle.hxx/schema.cxx/schema.hxx/union.cxx/union.hxx


dirname: /usr/src/debug/xsettingsd-1.0.2-2.el9.aarch64
filetypes: dffffffffffffff
filenames:
  aarch64-redhat-linux-gnu/common.cc/common.h/config_parser.cc/config_parser.h/data_reader.cc/data_reader.h/data_writer.cc/data_writer.h/dump_xsettings.cc/setting.cc/setting.h/settings_manager.cc/settings_manager.h/xsettingsd.cc


dirname: /usr/src/debug/xxhash-0.8.1-1.el9.aarch64/cli
filetypes: ffffffffff
filenames:
  xsum_bench.c/xsum_bench.h/xsum_config.h/xsum_os_specific.c/xsum_os_specific.h/xsum_output.c/xsum_output.h/xsum_sanity_check.c/xsum_sanity_check.h/xxhsum.c


dirname: /usr/src/debug/yadifa-2.5.4-1.el9.aarch64/sbin/yadifad
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  axfr.c/axfr.h/config-denial.c/config-dnssec-policy.c/config-dnssec-policy.h/config-key-roll-parser.c/config-key-roll-parser.h/config-key-roll.c/config-key-suite.c/config-key-template.c/config-nsid.c/config_control.c/config_main.c/config_zone.c/confs.c/confs.h/ctrl.c/ctrl.h/ctrl_notify.c/ctrl_query.c/ctrl_query.h/ctrl_query_axfr.c/ctrl_query_message.c/ctrl_update.c/ctrl_zone.c/ctrl_zone.h/database-service-zone-desc-load.c/database-service-zone-desc-load.h/database-service-zone-desc-unload.c/database-service-zone-desc-unload.h/database-service-zone-download.c/database-service-zone-download.h/database-service-zone-freeze.c/database-service-zone-freeze.h/database-service-zone-load.c/database-service-zone-load.h/database-service-zone-mount.c/database-service-zone-mount.h/database-service-zone-resignature.c/database-service-zone-resignature.h/database-service-zone-store.c/database-service-zone-store.h/database-service-zone-unfreeze.c/database-service-zone-unfreeze.h/database-service-zone-unload.c/database-service-zone-unload.h/database-service-zone-unmount.c/database-service-zone-unmount.h/database-service.c/database-service.h/database.c/database.h/dnssec-policy.h/dynupdate_query_service.c/dynupdate_query_service.h/ixfr.c/ixfr.h/log_query.c/log_query.h/log_statistics.c/log_statistics.h/main.c/notify.c/notify.h/poll-util.c/poll-util.h/process_class_ch.c/process_class_ch.h/rrl.c/rrl.h/server-mm.c/server-mm.h/server-rw.c/server-rw.h/server-sm.c/server-sm.h/server.c/server.h/server_context.c/server_context.h/server_error.h/server_process_message_udp.c/signals.c/signals.h/zone-signature-date-next.c/zone-signature-date-prev.c/zone-signature-policy.c/zone-signature-policy.h/zone-source.h/zone.c/zone.h/zone_desc.h


dirname: /usr/src/debug/yadifa-2.5.4-1.el9.aarch64/lib/dnsdb/include/dnsdb
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  avl.h/btree.h/chain-replay.h/dictionary-node.h/dictionary.h/dnsrdata.h/dnssec-keystore.h/dnssec.h/dynupdate-diff.h/dynupdate-message.h/dynupdate.h/htable.h/htbt.h/journal-cjf-common.h/journal-cjf-page-cache.h/journal-cjf.h/journal-jnl.h/journal.h/nsec-chain-replay.h/nsec.h/nsec3-chain-replay.h/nsec3-forall-label.h/nsec3.h/nsec3_collection.h/nsec3_item.h/nsec3_load.h/nsec3_name_error.h/nsec3_nodata_error.h/nsec3_owner.h/nsec3_types.h/nsec3_zone.h/nsec_collection.h/nsec_common.h/rrsig.h/xfr_copy.h/zdb-lock.h/zdb-packed-ttlrdata.h/zdb-zone-answer-axfr.h/zdb-zone-answer-ixfr.h/zdb-zone-arc.h/zdb-zone-dnssec.h/zdb-zone-find.h/zdb-zone-garbage.h/zdb-zone-journal.h/zdb-zone-lock.h/zdb-zone-maintenance.h/zdb-zone-path-provider.h/zdb-zone-reader-filter.h/zdb.h/zdb_error.h/zdb_icmtl.h/zdb_record.h/zdb_rr_label.h/zdb_sanitize.h/zdb_types.h/zdb_zone.h/zdb_zone_axfr_input_stream.h/zdb_zone_label.h/zdb_zone_label_iterator.h/zdb_zone_label_iterator_ex.h/zdb_zone_load.h/zdb_zone_process.h/zdb_zone_write.h


dirname: /usr/src/debug/yadifa-2.5.4-1.el9.aarch64/lib/dnscore/src
filenames:
  acl-config.c/acl.c/alarm.c/allocator.c/async.c/base16.c/base32.c/base32hex.c/base64.c/basic-priority-queue.c/buffer_input_stream.c/buffer_output_stream.c/buffered-file.c/bytearray_input_stream.c/bytearray_output_stream.c/bytezarray_output_stream.c/chroot.c/circular-file.c/clone_input_output_stream.c/cmdline.c/concat_input_stream.c/config-cmdline.c/config_file_reader.c/config_key.c/config_logger.c/config_settings.c/config_struct.c/counter_output_stream.c/debug.c/digest_rawdata.c/digest_sha1.c/digest_sha256.c/digest_sha384.c/digest_sha512.c/dns-udp.c/dns_resource_record.c/dnscore.c/dnsformat.c/dnskey-keyring.c/dnskey-signature.c/dnskey.c/dnskey_dsa.c/dnskey_ecdsa.c/dnskey_eddsa.c/dnskey_rsa.c/dnsname.c/empty-input-stream.c/error_state.c/fdtools.c/file-pool.c/file_input_stream.c/file_output_stream.c/filesystem-file.c/format.c/hash-table-values.c/hash.c/hmac-openssl.c/host_address.c/hsdllist.c/identity.c/input_stream.c/json.c/limited_input_stream.c/limiter.c/list-dl.c/list-sl-debug.c/list-sl.c/logger-output-stream.c/logger.c/logger_channel_file.c/logger_channel_pipe.c/logger_channel_stream.c/logger_channel_syslog.c/logger_handle.c/mapped-file.c/message-buffer.c/message-viewer.c/message.c/message_dnsupdate.c/message_print_format_dig.c/message_verify_rrsig.c/mt_output_stream.c/mutex.c/network.c/nsec3-hash.c/nsid.c/output_stream.c/pace.c/packet_reader.c/packet_writer.c/parser.c/parsing.c/pid.c/pipe_stream.c/pool.c/popen-output-stream.c/process.c/ptr_set.c/ptr_set_debug.c/ptr_vector.c/queue-sl.c/random.c/rc.c/rewind-input-stream.c/rfc.c/serial.c/server-setup.c/service.c/shared-circular-buffer.c/shared-heap-bytearray-output-stream.c/shared-heap.c/signals.c/simple-http-server.c/socket-server.c/string_set.c/sys_error.c/sys_get_cpu_count.c/tcp_io_stream.c/thread-tag.c/thread.c/thread_pool.c/threaded-qsl-cw.c/threaded_dll_cw.c/threaded_nb_mm.c/threaded_nbrb.c/threaded_queue_slg.c/threaded_ringbuffer.c/threaded_ringbuffer_cw.c/threaded_ringlist.c/timeformat.c/timems.c/tsig.c/tsig_algorithms.c/typebitmap.c/u32_set.c/u64_set.c/u64_set_debug.c/xfr_input_stream.c/zalloc.c/zone_reader_axfr.c/zone_reader_text.c

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/yadifa-2.5.4-1.el9.aarch64/lib/dnsdb/src
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  avl.c/dictionary.c/dictionary_btree.c/dictionary_htbt.c/dnssec-keystore.c/dnssec.c/dynupdate-diff-nochain.c/dynupdate-diff-nsec.c/dynupdate-diff-nsec3.c/dynupdate-diff.c/dynupdate-message.c/dynupdate_check_prerequisites.c/htable.c/htbt.c/journal-cjf-idxt.c/journal-cjf-page-cache.c/journal-cjf-page-output-stream.c/journal-cjf-page.c/journal-cjf-ro.c/journal-cjf.c/journal-jnl.c/journal.c/journal_ix.c/nsec-chain-replay.c/nsec.c/nsec3-chain-replay.c/nsec3-forall-label.c/nsec3.c/nsec3_collection.c/nsec3_item.c/nsec3_load.c/nsec3_name_error.c/nsec3_nodata_error.c/nsec3_owner.c/nsec3_zone.c/nsec_collection.c/nsec_common.c/rrsig.c/xfr_copy.c/zdb-packed-ttlrdata.c/zdb-zone-answer-axfr.c/zdb-zone-answer-ixfr.c/zdb-zone-arc.c/zdb-zone-dnssec.c/zdb-zone-find.c/zdb-zone-garbage.c/zdb-zone-image.c/zdb-zone-journal.c/zdb-zone-lock-monitor.c/zdb-zone-lock.c/zdb-zone-maintenance-nsec.c/zdb-zone-maintenance-nsec3.c/zdb-zone-maintenance-rrsig.c/zdb-zone-maintenance.c/zdb-zone-path-provider.c/zdb-zone-reader-filter.c/zdb.c/zdb_cache.c/zdb_error.c/zdb_icmtl.c/zdb_query_ex.c/zdb_query_ex_wire.c/zdb_record.c/zdb_rr_label.c/zdb_sanitize.c/zdb_utils.c/zdb_zone.c/zdb_zone_axfr_input_stream.c/zdb_zone_label.c/zdb_zone_label_iterator.c/zdb_zone_label_iterator_ex.c/zdb_zone_load.c/zdb_zone_process.c/zdb_zone_store_axfr.c/zdb_zone_write_text.c/zdb_zone_write_unbound.c


dirname: /usr/src/debug/yadifa-2.5.4-1.el9.aarch64/bin/yadifa
filetypes: ffffffffffffffdffffff
filenames:
  common.c/common.h/main.c/main.h/message-viewer-dig.c/message-viewer-dig.h/message-viewer-json.c/message-viewer-json.h/message-viewer-parse.c/message-viewer-parse.h/message-viewer-wire.c/message-viewer-wire.h/message-viewer-xml.c/message-viewer-xml.h/module/module.c/module.h/query-result.c/query-result.h/ya-conf.c/ya-conf.h


dirname: /usr/src/debug/yadifa-2.5.4-1.el9.aarch64/sbin/yakeyrolld
filetypes: ffffffffffffff
filenames:
  config-dnssec-policy.c/config-dnssec-policy.h/config-key-roll-parser.c/config-key-roll-parser.h/config-key-roll.c/config-key-suite.c/config-key-template.c/date-next.c/date-prev.c/dnssec-policy.c/dnssec-policy.h/keyroll.c/keyroll.h/main.c


dirname: /usr/src/debug/yadifa-2.5.4-1.el9.aarch64/lib/dnscore/include/dnscore
filenames:
  acl-config.h/acl.h/alarm.h/allocator.h/async.h/avl.c.inc/avl.h.inc/base16.h/base32.h/base32hex.h/base64.h/basic-priority-queue.h/buffer_input_stream.h/buffer_output_stream.h/bytearray_input_stream.h/bytearray_output_stream.h/bytezarray_output_stream.h/chroot.h/circular-file.h/cmdline.h/config-cmdline.h/config_file_reader.h/config_settings.h/counter_output_stream.h/debug.h/digest.h/dns-udp.h/dns_resource_record.h/dnscore.h/dnsformat.h/dnskey-keyring.h/dnskey-signature.h/dnskey.h/dnskey_dsa.h/dnskey_ecdsa.h/dnskey_eddsa.h/dnskey_rsa.h/dnsname.h/dnsname_set.h/empty-input-stream.h/error_state.h/fdtools.h/file-pool.h/file.h/file_input_stream.h/file_output_stream.h/filesystem-file.h/fingerprint.h/format.h/hash.h/hmac.h/host_address.h/hsdllist.h/identity.h/input_stream.h/io_stream.h/json.h/limiter.h/list-dl.h/list-sl-debug.h/list-sl.h/logger_channel_file.h/logger_channel_pipe.h/logger_channel_stream.h/logger_channel_syslog.h/logger_handle.h/message-buffer.h/message-viewer.h/message.h/message_verify_rrsig.h/mt_output_stream.h/mutex.h/network.h/nsec3-hash.h/nsid.h/output_stream.h/pace.h/packet_reader.h/packet_writer.h/parser.h/parsing.h/pid.h/pipe_stream.h/pool.h/popen-output-stream.h/process.h/ptr_set.h/ptr_set_debug.h/ptr_vector.h/queue-sl.h/random.h/rc.h/rfc.h/serial.h/server-setup.h/service.h/shared-circular-buffer.h/shared-heap-bytearray-output-stream.h/shared-heap.h/signals.h/simple-http-server.h/socket-server.h/string_set.h/sys_error.h/sys_get_cpu_count.h/sys_types.h/tcp_io_stream.h/thread-tag.h/thread.h/thread_pool.h/threaded-qsl-cw.h/threaded_dll_cw.h/threaded_nb_mm.h/threaded_queue.h/threaded_queue_slg.h/threaded_ringbuffer.h/threaded_ringbuffer_cw.h/threaded_ringlist.h/timeformat.h/timems.h/tsig.h/typebitmap.h/u32_set.h/u64_set.h/u64_set_debug.h/xfr_input_stream.h/zalloc.h/zone_reader.h/zone_reader_axfr.h/zone_reader_text.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/lib/debug/usr/lib64
filetypes: fff
filenames:
  libdnscore.so.7.0.4-2.5.4-1.el9.aarch64.debug/libdnsdb.so.7.0.4-2.5.4-1.el9.aarch64.debug/libdnslg.so.7.0.4-2.5.4-1.el9.aarch64.debug


filenames: moc_appearancesettings.cpp/moc_windowsettings.cpp
filetypes: ff
dirname:
  /usr/src/debug/yakuake-21.08.3-1.el9.aarch64/aarch64-redhat-linux-gnu/app/yakuake_autogen/IJHAR2IVER


filetypes: ffffffffff
dirname:
  /usr/src/debug/yakuake-21.08.3-1.el9.aarch64/aarch64-redhat-linux-gnu/app/yakuake_autogen/EWIEGA46WW

filenames:
  moc_firstrundialog.cpp/moc_mainwindow.cpp/moc_session.cpp/moc_sessionstack.cpp/moc_skin.cpp/moc_splitter.cpp/moc_tabbar.cpp/moc_terminal.cpp/moc_titlebar.cpp/moc_visualeventoverlay.cpp


dirname: /usr/src/debug/yakuake-21.08.3-1.el9.aarch64/aarch64-redhat-linux-gnu/app
filetypes: ffffffd
filenames:
  settings.cpp/settings.h/ui_appearancesettings.h/ui_behaviorsettings.h/ui_firstrundialog.h/ui_windowsettings.h/yakuake_autogen


dirname: /usr/src/debug/yakuake-21.08.3-1.el9.aarch64/app
filetypes: dfffffffffffffffffffff
filenames:
  config/firstrundialog.cpp/firstrundialog.h/main.cpp/mainwindow.cpp/mainwindow.h/session.cpp/session.h/sessionstack.cpp/sessionstack.h/skin.cpp/skin.h/splitter.cpp/splitter.h/tabbar.cpp/tabbar.h/terminal.cpp/terminal.h/titlebar.cpp/titlebar.h/visualeventoverlay.cpp/visualeventoverlay.h


dirname: /usr/src/debug/yakuake-21.08.3-1.el9.aarch64/app/config
filetypes: ffffff
filenames:
  appearancesettings.cpp/appearancesettings.h/skinlistdelegate.cpp/skinlistdelegate.h/windowsettings.cpp/windowsettings.h


dirname: /usr/src/debug/yaml-cpp-0.6.3-5.el9.aarch64/include/yaml-cpp
filetypes: ffdfffffffffdffff
filenames:
  anchor.h/binary.h/contrib/depthguard.h/emitfromevents.h/emitter.h/emitterdef.h/emittermanip.h/emitterstyle.h/eventhandler.h/exceptions.h/mark.h/node/null.h/ostream_wrapper.h/parser.h/traits.h


dirname: /usr/src/debug/yaml-cpp-0.6.3-5.el9.aarch64/src
filetypes: ffdffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  binary.cpp/collectionstack.h/contrib/convert.cpp/depthguard.cpp/directives.cpp/directives.h/emit.cpp/emitfromevents.cpp/emitter.cpp/emitterstate.cpp/emitterstate.h/emitterutils.cpp/emitterutils.h/exceptions.cpp/exp.cpp/exp.h/indentation.h/memory.cpp/node.cpp/node_data.cpp/nodebuilder.cpp/nodebuilder.h/nodeevents.cpp/nodeevents.h/null.cpp/ostream_wrapper.cpp/parse.cpp/parser.cpp/ptr_vector.h/regex_yaml.cpp/regex_yaml.h/regeximpl.h/scanner.cpp/scanner.h/scanscalar.cpp/scanscalar.h/scantag.cpp/scantag.h/scantoken.cpp/setting.h/simplekey.cpp/singledocparser.cpp/singledocparser.h/stream.cpp/stream.h/streamcharsource.h/stringsource.h/tag.cpp/tag.h/token.h


dirname: /usr/src/debug/yasm-1.3.0-14.el9.aarch64/libyasm
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arch.h/assocdat.c/assocdat.h/bc-align.c/bc-data.c/bc-incbin.c/bc-org.c/bc-reserve.c/bitvect.c/bitvect.h/bytecode.c/bytecode.h/coretype.h/dbgfmt.h/errwarn.c/errwarn.h/expr.c/expr.h/file.c/file.h/floatnum.c/floatnum.h/hamt.c/hamt.h/insn.c/insn.h/intnum.c/intnum.h/inttree.c/inttree.h/linemap.c/linemap.h/listfmt.h/md5.c/md5.h/mergesort.c/module.h/objfmt.h/parser.h/phash.c/phash.h/preproc.h/section.c/section.h/strcasecmp.c/symrec.c/symrec.h/valparam.c/valparam.h/value.c/value.h/xmalloc.c/xstrdup.c


dirname: /usr/src/debug/yasm-1.3.0-14.el9.aarch64
filetypes: dffdffdffffffffff
filenames:
  frontends/gas-token.c/lc3bid.c/libyasm/license.c/module.c/modules/nasm-macros.c/nasm-token.c/nasm-version.c/win64-gas.c/win64-nasm.c/x86cpu.c/x86insn_gas.gperf/x86insn_nasm.gperf/x86insns.c/x86regtmod.c


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/model
filetypes: fffffffffffffffffffffffffffffffff
filenames:
  array_factory.cpp/array_factory.h/char_factory.h/datatype_factory.cpp/datatype_factory.h/fpa_factory.h/func_interp.cpp/func_interp.h/model.cpp/model.h/model2expr.cpp/model2expr.h/model_core.cpp/model_core.h/model_evaluator.cpp/model_evaluator.h/model_implicant.cpp/model_implicant.h/model_macro_solver.cpp/model_macro_solver.h/model_pp.cpp/model_pp.h/model_smt2_pp.cpp/model_smt2_pp.h/model_v2_pp.cpp/model_v2_pp.h/numeral_factory.cpp/numeral_factory.h/seq_factory.h/struct_factory.cpp/struct_factory.h/value_factory.cpp/value_factory.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/tactic
filetypes: dddfdffffddffffffffffffffdffffffddfffffdf
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/sls/smtlogics/tactic.cpp/tactic.h/tactic_exception.h/tactical.cpp/tactical.h/ufbv/user_propagator_base.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/qe
filetypes: ddfffffffffffffffffffff
filenames:
  lite/mbp/nlarith_util.cpp/nlarith_util.h/nlqsat.cpp/nlqsat.h/qe.cpp/qe.h/qe_arith_plugin.cpp/qe_array_plugin.cpp/qe_bool_plugin.cpp/qe_bv_plugin.cpp/qe_cmd.cpp/qe_datatype_plugin.cpp/qe_dl_plugin.cpp/qe_mbi.cpp/qe_mbi.h/qe_mbp.cpp/qe_mbp.h/qe_tactic.cpp/qe_tactic.h/qsat.cpp/qsat.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/tactic/fpa
filetypes: ffffffff
filenames:
  fpa2bv_model_converter.cpp/fpa2bv_model_converter.h/fpa2bv_tactic.cpp/fpa2bv_tactic.h/qffp_tactic.cpp/qffp_tactic.h/qffplra_tactic.cpp/qffplra_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/muz/rel
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aig_exporter.cpp/aig_exporter.h/check_relation.cpp/check_relation.h/dl_base.cpp/dl_base.h/dl_bound_relation.cpp/dl_bound_relation.h/dl_check_table.cpp/dl_check_table.h/dl_compiler.cpp/dl_compiler.h/dl_external_relation.cpp/dl_external_relation.h/dl_finite_product_relation.cpp/dl_finite_product_relation.h/dl_instruction.cpp/dl_instruction.h/dl_interval_relation.cpp/dl_interval_relation.h/dl_lazy_table.cpp/dl_lazy_table.h/dl_mk_explanations.cpp/dl_mk_explanations.h/dl_mk_similarity_compressor.cpp/dl_mk_similarity_compressor.h/dl_mk_simple_joins.cpp/dl_mk_simple_joins.h/dl_product_relation.cpp/dl_product_relation.h/dl_relation_manager.cpp/dl_relation_manager.h/dl_sieve_relation.cpp/dl_sieve_relation.h/dl_sparse_table.cpp/dl_sparse_table.h/dl_table.cpp/dl_table.h/dl_table_relation.cpp/dl_table_relation.h/dl_vector_relation.h/doc.cpp/doc.h/karr_relation.cpp/karr_relation.h/rel_context.cpp/rel_context.h/tbv.cpp/tbv.h/udoc_relation.cpp/udoc_relation.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/muz/fp
filetypes: ffffffff
filenames:
  datalog_parser.cpp/datalog_parser.h/dl_cmds.cpp/dl_cmds.h/dl_register_engine.cpp/dl_register_engine.h/horn_tactic.cpp/horn_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.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.15-2.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.15-2.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/z3-4.8.15-2.el9.aarch64/src/ackermannization
filetypes: ffffffffffffffff
filenames:
  ackermannize_bv_model_converter.cpp/ackermannize_bv_model_converter.h/ackermannize_bv_tactic.cpp/ackermannize_bv_tactic.h/ackr_bound_probe.cpp/ackr_bound_probe.h/ackr_helper.cpp/ackr_helper.h/ackr_info.h/ackr_model_converter.cpp/ackr_model_converter.h/lackr.cpp/lackr.h/lackr_model_constructor.cpp/lackr_model_constructor.h/lackr_model_converter_lazy.cpp


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/tactic/bv
filetypes: ffffffffffffffffffffff
filenames:
  bit_blaster_model_converter.cpp/bit_blaster_model_converter.h/bit_blaster_tactic.cpp/bit_blaster_tactic.h/bv1_blaster_tactic.cpp/bv1_blaster_tactic.h/bv_bound_chk_tactic.cpp/bv_bound_chk_tactic.h/bv_bounds_tactic.cpp/bv_bounds_tactic.h/bv_size_reduction_tactic.cpp/bv_size_reduction_tactic.h/bvarray2uf_rewriter.cpp/bvarray2uf_rewriter.h/bvarray2uf_tactic.cpp/bvarray2uf_tactic.h/dt2bv_tactic.cpp/dt2bv_tactic.h/elim_small_bv_tactic.cpp/elim_small_bv_tactic.h/max_bv_sharing_tactic.cpp/max_bv_sharing_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/params
filetypes: fffff
filenames:
  bit_blaster_params.h/context_params.cpp/context_params.h/pattern_inference_params.cpp/pattern_inference_params.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/shell
filetypes: fffffffffffffff
filenames:
  datalog_frontend.cpp/datalog_frontend.h/dimacs_frontend.cpp/dimacs_frontend.h/drat_frontend.cpp/drat_frontend.h/lp_frontend.cpp/lp_frontend.h/main.cpp/opt_frontend.cpp/opt_frontend.h/smtlib_frontend.cpp/smtlib_frontend.h/z3_log_frontend.cpp/z3_log_frontend.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/smt
filenames:
  arith_eq_adapter.cpp/arith_eq_adapter.h/arith_eq_solver.cpp/arith_eq_solver.h/diff_logic.h/dyn_ack.cpp/dyn_ack.h/expr_context_simplifier.cpp/expr_context_simplifier.h/fingerprints.cpp/fingerprints.h/mam.cpp/mam.h/old_interval.cpp/old_interval.h/params/proto_model/qi_queue.cpp/qi_queue.h/seq_axioms.cpp/seq_axioms.h/seq_eq_solver.cpp/seq_ne_solver.cpp/seq_offset_eq.cpp/seq_offset_eq.h/seq_regex.cpp/seq_regex.h/smt2_extra_cmds.cpp/smt2_extra_cmds.h/smt_almost_cg_table.cpp/smt_almost_cg_table.h/smt_arith_value.cpp/smt_arith_value.h/smt_b_justification.h/smt_bool_var_data.h/smt_case_split_queue.cpp/smt_case_split_queue.h/smt_cg_table.cpp/smt_cg_table.h/smt_checker.cpp/smt_checker.h/smt_clause.cpp/smt_clause.h/smt_clause_proof.cpp/smt_clause_proof.h/smt_conflict_resolution.cpp/smt_conflict_resolution.h/smt_consequences.cpp/smt_context.cpp/smt_context.h/smt_context_inv.cpp/smt_context_pp.cpp/smt_context_stat.cpp/smt_enode.cpp/smt_enode.h/smt_eq_justification.h/smt_failure.h/smt_farkas_util.cpp/smt_farkas_util.h/smt_for_each_relevant_expr.cpp/smt_for_each_relevant_expr.h/smt_implied_equalities.cpp/smt_implied_equalities.h/smt_internalizer.cpp/smt_justification.cpp/smt_justification.h/smt_kernel.cpp/smt_kernel.h/smt_literal.cpp/smt_literal.h/smt_lookahead.cpp/smt_lookahead.h/smt_model_checker.cpp/smt_model_checker.h/smt_model_finder.cpp/smt_model_finder.h/smt_model_generator.cpp/smt_model_generator.h/smt_parallel.cpp/smt_parallel.h/smt_quantifier.cpp/smt_quantifier.h/smt_quick_checker.cpp/smt_quick_checker.h/smt_relevancy.cpp/smt_relevancy.h/smt_setup.cpp/smt_setup.h/smt_solver.cpp/smt_solver.h/smt_statistics.cpp/smt_statistics.h/smt_theory.cpp/smt_theory.h/smt_types.h/smt_value_sort.cpp/smt_value_sort.h/tactic/theory_arith.cpp/theory_arith.h/theory_arith_aux.h/theory_arith_core.h/theory_arith_eq.h/theory_arith_int.h/theory_arith_nl.h/theory_arith_pp.h/theory_array.cpp/theory_array.h/theory_array_bapa.cpp/theory_array_bapa.h/theory_array_base.cpp/theory_array_base.h/theory_array_full.cpp/theory_array_full.h/theory_bv.cpp/theory_bv.h/theory_char.cpp/theory_char.h/theory_datatype.cpp/theory_datatype.h/theory_dense_diff_logic.cpp/theory_dense_diff_logic.h/theory_dense_diff_logic_def.h/theory_diff_logic.cpp/theory_diff_logic.h/theory_diff_logic_def.h/theory_dl.cpp/theory_dl.h/theory_dummy.cpp/theory_dummy.h/theory_fpa.cpp/theory_fpa.h/theory_lra.cpp/theory_lra.h/theory_opt.cpp/theory_opt.h/theory_pb.cpp/theory_pb.h/theory_recfun.cpp/theory_recfun.h/theory_seq.cpp/theory_seq.h/theory_special_relations.cpp/theory_special_relations.h/theory_str.cpp/theory_str.h/theory_str_mc.cpp/theory_str_regex.cpp/theory_user_propagator.cpp/theory_user_propagator.h/theory_utvpi.cpp/theory_utvpi.h/theory_utvpi_def.h/theory_wmaxsat.cpp/theory_wmaxsat.h/uses_theory.cpp/watch_list.cpp/watch_list.h

filetypes:
  fffffffffffffffddffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.8.15-2.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.15-2.el9.aarch64/src/smt/params
filetypes: fffffffffffffffffffff
filenames:
  dyn_ack_params.cpp/dyn_ack_params.h/preprocessor_params.cpp/preprocessor_params.h/qi_params.cpp/qi_params.h/smt_params.cpp/smt_params.h/theory_arith_params.cpp/theory_arith_params.h/theory_array_params.cpp/theory_array_params.h/theory_bv_params.cpp/theory_bv_params.h/theory_datatype_params.h/theory_pb_params.cpp/theory_pb_params.h/theory_seq_params.cpp/theory_seq_params.h/theory_str_params.cpp/theory_str_params.h


dirname: /usr/src/debug/z3-4.8.15-2.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.15-2.el9.aarch64/src/cmd_context
filetypes: ffffffffffffdffffffffff
filenames:
  basic_cmds.cpp/basic_cmds.h/cmd_context.cpp/cmd_context.h/cmd_context_to_goal.cpp/cmd_context_to_goal.h/cmd_util.cpp/cmd_util.h/echo_tactic.cpp/echo_tactic.h/eval_cmd.cpp/eval_cmd.h/extra_cmds/parametric_cmd.cpp/parametric_cmd.h/pdecl.cpp/pdecl.h/simplify_cmd.cpp/simplify_cmd.h/tactic_cmds.cpp/tactic_cmds.h/tactic_manager.cpp/tactic_manager.h


dirname: /usr/src/debug/z3-4.8.15-2.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.15-2.el9.aarch64/src/sat
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffdd
filenames:
  dimacs.cpp/dimacs.h/sat_aig_cuts.cpp/sat_aig_cuts.h/sat_aig_finder.cpp/sat_aig_finder.h/sat_allocator.h/sat_anf_simplifier.cpp/sat_anf_simplifier.h/sat_asymm_branch.cpp/sat_asymm_branch.h/sat_bcd.cpp/sat_bcd.h/sat_big.cpp/sat_big.h/sat_binspr.cpp/sat_binspr.h/sat_clause.cpp/sat_clause.h/sat_clause_set.cpp/sat_clause_set.h/sat_clause_use_list.cpp/sat_clause_use_list.h/sat_cleaner.cpp/sat_cleaner.h/sat_config.cpp/sat_config.h/sat_cut_simplifier.cpp/sat_cut_simplifier.h/sat_cutset.cpp/sat_cutset.h/sat_cutset_compute_shift.h/sat_ddfw.cpp/sat_ddfw.h/sat_drat.cpp/sat_drat.h/sat_elim_eqs.cpp/sat_elim_eqs.h/sat_elim_vars.cpp/sat_elim_vars.h/sat_extension.h/sat_gc.cpp/sat_integrity_checker.cpp/sat_integrity_checker.h/sat_justification.h/sat_local_search.cpp/sat_local_search.h/sat_lookahead.cpp/sat_lookahead.h/sat_lut_finder.cpp/sat_lut_finder.h/sat_model_converter.cpp/sat_model_converter.h/sat_mus.cpp/sat_mus.h/sat_npn3_finder.cpp/sat_npn3_finder.h/sat_parallel.cpp/sat_parallel.h/sat_prob.cpp/sat_prob.h/sat_probing.cpp/sat_probing.h/sat_scc.cpp/sat_scc.h/sat_simplifier.cpp/sat_simplifier.h/sat_solver/sat_solver.cpp/sat_solver.h/sat_solver_core.h/sat_types.h/sat_watched.cpp/sat_watched.h/sat_xor_finder.cpp/sat_xor_finder.h/smt/tactic


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/tactic/ufbv
filetypes: ffffffffff
filenames:
  macro_finder_tactic.cpp/macro_finder_tactic.h/quasi_macros_tactic.cpp/quasi_macros_tactic.h/ufbv_rewriter.cpp/ufbv_rewriter.h/ufbv_rewriter_tactic.cpp/ufbv_rewriter_tactic.h/ufbv_tactic.cpp/ufbv_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/ast
filenames:
  act_cache.cpp/act_cache.h/arith_decl_plugin.cpp/arith_decl_plugin.h/array_decl_plugin.cpp/array_decl_plugin.h/ast.cpp/ast.h/ast_ll_pp.cpp/ast_ll_pp.h/ast_lt.cpp/ast_lt.h/ast_pp.h/ast_pp_dot.cpp/ast_pp_dot.h/ast_pp_util.cpp/ast_pp_util.h/ast_printer.cpp/ast_printer.h/ast_smt2_pp.cpp/ast_smt2_pp.h/ast_smt_pp.cpp/ast_smt_pp.h/ast_trail.h/ast_translation.cpp/ast_translation.h/ast_util.cpp/ast_util.h/bv_decl_plugin.cpp/bv_decl_plugin.h/char_decl_plugin.cpp/char_decl_plugin.h/cost_evaluator.cpp/cost_evaluator.h/datatype_decl_plugin.cpp/datatype_decl_plugin.h/decl_collector.cpp/decl_collector.h/display_dimacs.cpp/display_dimacs.h/dl_decl_plugin.cpp/dl_decl_plugin.h/euf/expr2polynomial.cpp/expr2polynomial.h/expr2var.cpp/expr2var.h/expr_abstract.cpp/expr_abstract.h/expr_delta_pair.h/expr_functors.cpp/expr_functors.h/expr_map.cpp/expr_map.h/expr_stat.cpp/expr_stat.h/expr_substitution.cpp/expr_substitution.h/for_each_ast.cpp/for_each_ast.h/for_each_expr.cpp/for_each_expr.h/format.cpp/format.h/fpa/fpa_decl_plugin.cpp/fpa_decl_plugin.h/func_decl_dependencies.cpp/func_decl_dependencies.h/has_free_vars.cpp/has_free_vars.h/is_variable_test.h/justified_expr.h/macro_substitution.cpp/macro_substitution.h/macros/normal_forms/num_occurs.cpp/num_occurs.h/occurs.cpp/occurs.h/pattern/pb_decl_plugin.cpp/pb_decl_plugin.h/pp.cpp/pp.h/proofs/quantifier_stat.cpp/quantifier_stat.h/recfun_decl_plugin.cpp/recfun_decl_plugin.h/recurse_expr.h/recurse_expr_def.h/reg_decl_plugins.cpp/reg_decl_plugins.h/rewriter/scoped_proof.h/seq_decl_plugin.cpp/seq_decl_plugin.h/shared_occs.cpp/shared_occs.h/special_relations_decl_plugin.cpp/special_relations_decl_plugin.h/static_features.cpp/static_features.h/substitution/used_symbols.h/used_vars.cpp/used_vars.h/value_generator.cpp/value_generator.h/well_sorted.cpp/well_sorted.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffdffffffffffddffffdffffdffffffffdfffffffffdfffffff


dirname: /usr/src/debug/z3-4.8.15-2.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.15-2.el9.aarch64/src/tactic/portfolio
filetypes: ffffff
filenames:
  default_tactic.cpp/default_tactic.h/smt_strategic_solver.cpp/solver2lookahead.cpp/solver_subsumption_tactic.cpp/solver_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/smt/tactic
filetypes: ffffff
filenames:
  ctx_solver_simplify_tactic.cpp/ctx_solver_simplify_tactic.h/smt_tactic_core.cpp/smt_tactic_core.h/unit_subsumption_tactic.cpp/unit_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src
filetypes: dddddddddddddddddd
filenames:
  ackermannization/api/ast/cmd_context/math/model/muz/nlsat/opt/params/parsers/qe/sat/shell/smt/solver/tactic/util


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/ast/rewriter/bit_blaster
filetypes: ffffff
filenames:
  bit_blaster.cpp/bit_blaster.h/bit_blaster_rewriter.cpp/bit_blaster_rewriter.h/bit_blaster_tpl.h/bit_blaster_tpl_def.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/nlsat/tactic
filetypes: ffffff
filenames:
  goal2nlsat.cpp/goal2nlsat.h/nlsat_tactic.cpp/nlsat_tactic.h/qfnra_nlsat_tactic.cpp/qfnra_nlsat_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/ast/fpa
filetypes: ffffff
filenames:
  bv2fpa_converter.cpp/bv2fpa_converter.h/fpa2bv_converter.cpp/fpa2bv_converter.h/fpa2bv_rewriter.cpp/fpa2bv_rewriter.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/ast/rewriter
filetypes: ffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arith_rewriter.cpp/arith_rewriter.h/array_rewriter.cpp/array_rewriter.h/ast_counter.cpp/ast_counter.h/bit2int.cpp/bit2int.h/bit_blaster/bool_rewriter.cpp/bool_rewriter.h/bv_bounds.cpp/bv_bounds.h/bv_elim.cpp/bv_elim.h/bv_rewriter.cpp/bv_rewriter.h/cached_var_subst.cpp/cached_var_subst.h/char_rewriter.cpp/char_rewriter.h/datatype_rewriter.cpp/datatype_rewriter.h/der.cpp/der.h/distribute_forall.cpp/distribute_forall.h/dl_rewriter.cpp/dl_rewriter.h/elim_bounds.cpp/elim_bounds.h/enum2bv_rewriter.cpp/enum2bv_rewriter.h/expr_replacer.cpp/expr_replacer.h/expr_safe_replace.cpp/expr_safe_replace.h/factor_equivs.cpp/factor_equivs.h/factor_rewriter.cpp/factor_rewriter.h/fpa_rewriter.cpp/fpa_rewriter.h/func_decl_replace.cpp/func_decl_replace.h/hoist_rewriter.cpp/hoist_rewriter.h/inj_axiom.cpp/inj_axiom.h/label_rewriter.cpp/label_rewriter.h/maximize_ac_sharing.cpp/maximize_ac_sharing.h/mk_extract_proc.cpp/mk_extract_proc.h/mk_simplified_app.cpp/mk_simplified_app.h/pb2bv_rewriter.cpp/pb2bv_rewriter.h/pb_rewriter.cpp/pb_rewriter.h/pb_rewriter_def.h/poly_rewriter.h/poly_rewriter_def.h/push_app_ite.cpp/push_app_ite.h/quant_hoist.cpp/quant_hoist.h/recfun_replace.h/recfun_rewriter.cpp/recfun_rewriter.h/rewriter.cpp/rewriter.h/rewriter_def.h/rewriter_types.h/seq_axioms.cpp/seq_axioms.h/seq_eq_solver.cpp/seq_eq_solver.h/seq_rewriter.cpp/seq_rewriter.h/seq_skolem.cpp/seq_skolem.h/th_rewriter.cpp/th_rewriter.h/value_sweep.cpp/value_sweep.h/var_subst.cpp/var_subst.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/tactic/sls
filetypes: fffffffff
filenames:
  bvsls_opt_engine.cpp/bvsls_opt_engine.h/sls_engine.cpp/sls_engine.h/sls_evaluator.h/sls_powers.h/sls_tactic.cpp/sls_tactic.h/sls_tracker.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/sat/smt
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arith_axioms.cpp/arith_diagnostics.cpp/arith_internalize.cpp/arith_solver.cpp/arith_solver.h/array_axioms.cpp/array_diagnostics.cpp/array_internalize.cpp/array_model.cpp/array_solver.cpp/array_solver.h/atom2bool_var.cpp/atom2bool_var.h/bv_ackerman.cpp/bv_ackerman.h/bv_delay_internalize.cpp/bv_internalize.cpp/bv_invariant.cpp/bv_solver.cpp/bv_solver.h/dt_solver.cpp/dt_solver.h/euf_ackerman.cpp/euf_ackerman.h/euf_internalize.cpp/euf_invariant.cpp/euf_model.cpp/euf_proof.cpp/euf_relevancy.cpp/euf_relevancy.h/euf_solver.cpp/euf_solver.h/fpa_solver.cpp/fpa_solver.h/pb_card.cpp/pb_card.h/pb_constraint.cpp/pb_constraint.h/pb_internalize.cpp/pb_pb.cpp/pb_pb.h/pb_solver.cpp/pb_solver.h/pb_solver_interface.h/q_clause.cpp/q_clause.h/q_ematch.cpp/q_ematch.h/q_eval.cpp/q_eval.h/q_mam.cpp/q_mam.h/q_mbi.cpp/q_mbi.h/q_model_fixer.cpp/q_model_fixer.h/q_queue.cpp/q_queue.h/q_solver.cpp/q_solver.h/recfun_solver.cpp/recfun_solver.h/sat_internalizer.h/sat_smt.h/sat_th.cpp/sat_th.h/user_solver.cpp/user_solver.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/opt
filetypes: fffffffffffffffffffffffff
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_lns.cpp/opt_lns.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.15-2.el9.aarch64/src/tactic/arith
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  add_bounds_tactic.cpp/add_bounds_tactic.h/arith_bounds_tactic.cpp/arith_bounds_tactic.h/bound_manager.cpp/bound_manager.h/bound_propagator.cpp/bound_propagator.h/bv2int_rewriter.cpp/bv2int_rewriter.h/bv2real_rewriter.cpp/bv2real_rewriter.h/card2bv_tactic.cpp/card2bv_tactic.h/degree_shift_tactic.cpp/degree_shift_tactic.h/diff_neq_tactic.cpp/diff_neq_tactic.h/eq2bv_tactic.cpp/eq2bv_tactic.h/factor_tactic.cpp/factor_tactic.h/fix_dl_var_tactic.cpp/fix_dl_var_tactic.h/fm_tactic.cpp/fm_tactic.h/lia2card_tactic.cpp/lia2card_tactic.h/lia2pb_tactic.cpp/lia2pb_tactic.h/linear_equation.cpp/linear_equation.h/nla2bv_tactic.cpp/nla2bv_tactic.h/normalize_bounds_tactic.cpp/normalize_bounds_tactic.h/pb2bv_model_converter.cpp/pb2bv_model_converter.h/pb2bv_tactic.cpp/pb2bv_tactic.h/probe_arith.cpp/probe_arith.h/propagate_ineqs_tactic.cpp/propagate_ineqs_tactic.h/purify_arith_tactic.cpp/purify_arith_tactic.h/recover_01_tactic.cpp/recover_01_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/qe/mbp
filetypes: ffffffffffff
filenames:
  mbp_arith.cpp/mbp_arith.h/mbp_arrays.cpp/mbp_arrays.h/mbp_datatypes.cpp/mbp_datatypes.h/mbp_plugin.cpp/mbp_plugin.h/mbp_solve_plugin.cpp/mbp_solve_plugin.h/mbp_term_graph.cpp/mbp_term_graph.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/muz/spacer
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  spacer_antiunify.cpp/spacer_antiunify.h/spacer_arith_generalizers.cpp/spacer_callback.cpp/spacer_callback.h/spacer_context.cpp/spacer_context.h/spacer_dl_interface.cpp/spacer_dl_interface.h/spacer_farkas_learner.cpp/spacer_farkas_learner.h/spacer_generalizers.cpp/spacer_generalizers.h/spacer_iuc_proof.cpp/spacer_iuc_proof.h/spacer_iuc_solver.cpp/spacer_iuc_solver.h/spacer_json.cpp/spacer_json.h/spacer_legacy_frames.cpp/spacer_legacy_frames.h/spacer_legacy_mbp.cpp/spacer_legacy_mev.cpp/spacer_legacy_mev.h/spacer_manager.cpp/spacer_manager.h/spacer_matrix.cpp/spacer_matrix.h/spacer_mbc.cpp/spacer_mbc.h/spacer_mev_array.cpp/spacer_mev_array.h/spacer_pdr.cpp/spacer_pdr.h/spacer_proof_utils.cpp/spacer_proof_utils.h/spacer_prop_solver.cpp/spacer_prop_solver.h/spacer_qe_project.cpp/spacer_qe_project.h/spacer_quant_generalizer.cpp/spacer_sat_answer.cpp/spacer_sat_answer.h/spacer_sem_matcher.cpp/spacer_sem_matcher.h/spacer_sym_mux.cpp/spacer_sym_mux.h/spacer_unsat_core_learner.cpp/spacer_unsat_core_learner.h/spacer_unsat_core_plugin.cpp/spacer_unsat_core_plugin.h/spacer_util.cpp/spacer_util.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/solver
filetypes: dfffffffffffffffffffffff
filenames:
  assertions/check_logic.cpp/check_logic.h/check_sat_result.cpp/check_sat_result.h/combined_solver.cpp/combined_solver.h/mus.cpp/mus.h/parallel_tactic.cpp/parallel_tactic.h/progress_callback.h/smt_logics.cpp/smt_logics.h/solver.cpp/solver.h/solver2tactic.cpp/solver2tactic.h/solver_na2as.cpp/solver_na2as.h/solver_pool.cpp/solver_pool.h/tactic2solver.cpp/tactic2solver.h


dirname: /usr/src/debug/z3-4.8.15-2.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.15-2.el9.aarch64/src/tactic/core
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  blast_term_ite_tactic.cpp/blast_term_ite_tactic.h/cofactor_elim_term_ite.cpp/cofactor_elim_term_ite.h/cofactor_term_ite_tactic.cpp/cofactor_term_ite_tactic.h/collect_occs.cpp/collect_occs.h/collect_statistics_tactic.cpp/collect_statistics_tactic.h/ctx_simplify_tactic.cpp/ctx_simplify_tactic.h/der_tactic.cpp/der_tactic.h/distribute_forall_tactic.cpp/distribute_forall_tactic.h/dom_simplify_tactic.cpp/dom_simplify_tactic.h/elim_term_ite_tactic.cpp/elim_term_ite_tactic.h/elim_uncnstr_tactic.cpp/elim_uncnstr_tactic.h/injectivity_tactic.cpp/injectivity_tactic.h/nnf_tactic.cpp/nnf_tactic.h/occf_tactic.cpp/occf_tactic.h/pb_preprocess_tactic.cpp/pb_preprocess_tactic.h/propagate_values_tactic.cpp/propagate_values_tactic.h/reduce_args_tactic.cpp/reduce_args_tactic.h/reduce_invertible_tactic.cpp/reduce_invertible_tactic.h/simplify_tactic.cpp/simplify_tactic.h/solve_eqs_tactic.cpp/solve_eqs_tactic.h/special_relations_tactic.cpp/special_relations_tactic.h/split_clause_tactic.cpp/split_clause_tactic.h/symmetry_reduce_tactic.cpp/symmetry_reduce_tactic.h/tseitin_cnf_tactic.cpp/tseitin_cnf_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/util
filenames:
  approx_nat.cpp/approx_nat.h/approx_set.cpp/approx_set.h/array.h/array_map.h/backtrackable_set.h/basic_interval.h/bit_util.cpp/bit_util.h/bit_vector.cpp/bit_vector.h/buffer.h/cancel_eh.h/chashtable.h/checked_int64.h/cmd_context_types.cpp/cmd_context_types.h/common_msgs.cpp/common_msgs.h/container_util.h/debug.cpp/debug.h/dec_ref_util.h/dependency.h/dictionary.h/dlist.h/double_manager.h/ema.h/env_params.cpp/env_params.h/event_handler.h/ext_numeral.h/f2n.h/file_path.h/fixed_bit_vector.cpp/fixed_bit_vector.h/gparams.cpp/gparams.h/hash.cpp/hash.h/hashtable.h/heap.h/hwf.cpp/hwf.h/id_gen.h/id_var_list.h/inf_eps_rational.h/inf_int_rational.cpp/inf_int_rational.h/inf_rational.cpp/inf_rational.h/inf_s_integer.cpp/inf_s_integer.h/lbool.cpp/lbool.h/list.h/luby.cpp/luby.h/map.h/max_cliques.h/memory_manager.cpp/memory_manager.h/min_cut.cpp/min_cut.h/mpbq.cpp/mpbq.h/mpbqi.h/mpf.cpp/mpf.h/mpff.cpp/mpff.h/mpfx.cpp/mpfx.h/mpn.cpp/mpn.h/mpq.cpp/mpq.h/mpq_inf.cpp/mpq_inf.h/mpz.cpp/mpz.h/mpzzp.h/mutex.h/nat_set.h/numeral_buffer.h/obj_hashtable.h/obj_mark.h/obj_pair_hashtable.h/obj_pair_set.h/obj_ref.h/obj_ref_hashtable.h/obj_triple_hashtable.h/optional.h/page.cpp/page.h/params.cpp/params.h/parray.h/permutation.cpp/permutation.h/plugin_manager.h/pool.h/prime_generator.cpp/prime_generator.h/rational.cpp/rational.h/ref.h/ref_buffer.h/ref_pair_vector.h/ref_util.h/ref_vector.h/region.cpp/region.h/rlimit.cpp/rlimit.h/s_integer.cpp/s_integer.h/sat_literal.h/scoped_ctrl_c.cpp/scoped_ctrl_c.h/scoped_limit_trail.h/scoped_numeral.h/scoped_numeral_buffer.h/scoped_numeral_vector.h/scoped_ptr_vector.h/scoped_timer.cpp/scoped_timer.h/scoped_vector.h/sexpr.cpp/sexpr.h/sign.h/small_object_allocator.cpp/small_object_allocator.h/smt2_util.cpp/smt2_util.h/sorting_network.h/sstream.h/stack.cpp/stack.h/stacked_value.h/state_graph.cpp/state_graph.h/statistics.cpp/statistics.h/stopwatch.h/str_hashtable.h/string_buffer.h/symbol.cpp/symbol.h/symbol_table.h/timeit.cpp/timeit.h/timeout.cpp/timeout.h/timer.h/top_sort.h/trace.cpp/trace.h/trail.h/uint_set.h/union_find.h/util.cpp/util.h/var_queue.h/vector.h/warning.cpp/warning.h/z3_exception.cpp/z3_exception.h/zstring.cpp/zstring.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/ast/euf
filetypes: fffffff
filenames:
  euf_egraph.cpp/euf_egraph.h/euf_enode.cpp/euf_enode.h/euf_etable.cpp/euf_etable.h/euf_justification.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/tactic/smtlogics
filetypes: ffffffffffffffffffffffffffff
filenames:
  nra_tactic.cpp/nra_tactic.h/qfaufbv_tactic.cpp/qfaufbv_tactic.h/qfauflia_tactic.cpp/qfauflia_tactic.h/qfbv_tactic.cpp/qfbv_tactic.h/qfidl_tactic.cpp/qfidl_tactic.h/qflia_tactic.cpp/qflia_tactic.h/qflra_tactic.cpp/qflra_tactic.h/qfnia_tactic.cpp/qfnia_tactic.h/qfnra_tactic.cpp/qfnra_tactic.h/qfuf_tactic.cpp/qfuf_tactic.h/qfufbv_ackr_model_converter.cpp/qfufbv_ackr_model_converter.h/qfufbv_tactic.cpp/qfufbv_tactic.h/quant_tactics.cpp/quant_tactics.h/smt_tactic.cpp/smt_tactic.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/math/lp
filenames:
  binary_heap_priority_queue.cpp/binary_heap_priority_queue.h/binary_heap_priority_queue_def.h/binary_heap_upair_queue.cpp/binary_heap_upair_queue.h/binary_heap_upair_queue_def.h/bound_analyzer_on_row.h/breakpoint.h/column_info.h/column_namer.h/core_solver_pretty_printer.cpp/core_solver_pretty_printer.h/core_solver_pretty_printer_def.h/cross_nested.h/dense_matrix.cpp/emonics.cpp/emonics.h/eta_matrix.cpp/eta_matrix.h/eta_matrix_def.h/explanation.h/factorization.cpp/factorization.h/factorization_factory_imp.cpp/factorization_factory_imp.h/general_matrix.h/gomory.cpp/gomory.h/hnf.h/hnf_cutter.cpp/hnf_cutter.h/horner.cpp/horner.h/implied_bound.h/incremental_vector.h/indexed_value.h/indexed_vector.cpp/indexed_vector.h/indexed_vector_def.h/int_branch.cpp/int_branch.h/int_cube.cpp/int_cube.h/int_gcd_test.cpp/int_gcd_test.h/int_solver.cpp/int_solver.h/lar_constraints.h/lar_core_solver.cpp/lar_core_solver.h/lar_core_solver_def.h/lar_solution_signature.h/lar_solver.cpp/lar_solver.h/lar_term.h/lia_move.h/lp_api.h/lp_bound_propagator.h/lp_core_solver_base.cpp/lp_core_solver_base.h/lp_core_solver_base_def.h/lp_dual_core_solver.cpp/lp_dual_core_solver.h/lp_dual_core_solver_def.h/lp_dual_simplex.cpp/lp_dual_simplex.h/lp_dual_simplex_def.h/lp_primal_core_solver.cpp/lp_primal_core_solver.h/lp_primal_core_solver_def.h/lp_primal_core_solver_tableau_def.h/lp_primal_simplex.cpp/lp_primal_simplex.h/lp_primal_simplex_def.h/lp_settings.cpp/lp_settings.h/lp_settings_def.h/lp_solver.cpp/lp_solver.h/lp_solver_def.h/lp_types.h/lp_utils.cpp/lp_utils.h/lu.cpp/lu.h/lu_def.h/matrix.cpp/matrix.h/matrix_def.h/mon_eq.cpp/monic.h/monomial_bounds.cpp/monomial_bounds.h/mps_reader.h/nex.h/nex_creator.cpp/nex_creator.h/nla_basics_lemmas.cpp/nla_basics_lemmas.h/nla_common.cpp/nla_common.h/nla_core.cpp/nla_core.h/nla_defs.h/nla_intervals.cpp/nla_intervals.h/nla_monotone_lemmas.cpp/nla_monotone_lemmas.h/nla_order_lemmas.cpp/nla_order_lemmas.h/nla_settings.h/nla_solver.cpp/nla_solver.h/nla_tangent_lemmas.cpp/nla_tangent_lemmas.h/nra_solver.cpp/nra_solver.h/numeric_pair.h/permutation_matrix.cpp/permutation_matrix.h/permutation_matrix_def.h/random_updater.cpp/random_updater.h/random_updater_def.h/row_eta_matrix.cpp/row_eta_matrix.h/row_eta_matrix_def.h/scaler.cpp/scaler.h/scaler_def.h/sparse_vector.h/square_dense_submatrix.cpp/square_dense_submatrix.h/square_dense_submatrix_def.h/square_sparse_matrix.cpp/square_sparse_matrix.h/square_sparse_matrix_def.h/stacked_vector.h/static_matrix.cpp/static_matrix.h/static_matrix_def.h/tail_matrix.h/u_set.h/ul_pair.h/var_eqs.h/var_register.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/muz/transforms
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  dl_mk_array_blast.cpp/dl_mk_array_blast.h/dl_mk_array_eq_rewrite.cpp/dl_mk_array_eq_rewrite.h/dl_mk_array_instantiation.cpp/dl_mk_array_instantiation.h/dl_mk_backwards.cpp/dl_mk_backwards.h/dl_mk_bit_blast.cpp/dl_mk_bit_blast.h/dl_mk_coalesce.cpp/dl_mk_coalesce.h/dl_mk_coi_filter.cpp/dl_mk_coi_filter.h/dl_mk_elim_term_ite.cpp/dl_mk_elim_term_ite.h/dl_mk_filter_rules.cpp/dl_mk_filter_rules.h/dl_mk_interp_tail_simplifier.cpp/dl_mk_interp_tail_simplifier.h/dl_mk_karr_invariants.cpp/dl_mk_karr_invariants.h/dl_mk_loop_counter.cpp/dl_mk_loop_counter.h/dl_mk_magic_sets.cpp/dl_mk_magic_sets.h/dl_mk_magic_symbolic.cpp/dl_mk_magic_symbolic.h/dl_mk_quantifier_abstraction.cpp/dl_mk_quantifier_abstraction.h/dl_mk_quantifier_instantiation.cpp/dl_mk_quantifier_instantiation.h/dl_mk_rule_inliner.cpp/dl_mk_rule_inliner.h/dl_mk_scale.cpp/dl_mk_scale.h/dl_mk_separate_negated_tails.cpp/dl_mk_separate_negated_tails.h/dl_mk_slice.cpp/dl_mk_slice.h/dl_mk_subsumption_checker.cpp/dl_mk_subsumption_checker.h/dl_mk_synchronize.cpp/dl_mk_synchronize.h/dl_mk_unbound_compressor.cpp/dl_mk_unbound_compressor.h/dl_mk_unfold.cpp/dl_mk_unfold.h/dl_transforms.cpp/dl_transforms.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/ast/substitution
filetypes: fffffffffff
filenames:
  expr_offset.h/expr_offset_map.h/matcher.cpp/matcher.h/substitution.cpp/substitution.h/substitution_tree.cpp/substitution_tree.h/unifier.cpp/unifier.h/var_offset_map.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/math/polynomial
filetypes: fffffffffffffffff
filenames:
  algebraic_numbers.cpp/algebraic_numbers.h/linear_eq_solver.h/polynomial.cpp/polynomial.h/polynomial_cache.cpp/polynomial_cache.h/polynomial_primes.h/rpolynomial.cpp/rpolynomial.h/sexpr2upolynomial.cpp/sexpr2upolynomial.h/upolynomial.cpp/upolynomial.h/upolynomial_factorization.cpp/upolynomial_factorization.h/upolynomial_factorization_int.h


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/math/subpaving
filetypes: fffffffffffffffd
filenames:
  subpaving.cpp/subpaving.h/subpaving_hwf.cpp/subpaving_hwf.h/subpaving_mpf.cpp/subpaving_mpf.h/subpaving_mpff.cpp/subpaving_mpff.h/subpaving_mpfx.cpp/subpaving_mpfx.h/subpaving_mpq.cpp/subpaving_mpq.h/subpaving_t.h/subpaving_t_def.h/subpaving_types.h/tactic


dirname: /usr/src/debug/z3-4.8.15-2.el9.aarch64/src/api
filetypes: ffffffffffffffffffffffffffffffffffffffffddffffffffffff
filenames:
  api_algebraic.cpp/api_arith.cpp/api_array.cpp/api_ast.cpp/api_ast_map.cpp/api_ast_map.h/api_ast_vector.cpp/api_ast_vector.h/api_bv.cpp/api_config_params.cpp/api_context.cpp/api_context.h/api_datalog.cpp/api_datalog.h/api_datatype.cpp/api_fpa.cpp/api_goal.cpp/api_goal.h/api_log.cpp/api_model.cpp/api_model.h/api_numeral.cpp/api_opt.cpp/api_params.cpp/api_parsers.cpp/api_pb.cpp/api_polynomial.cpp/api_polynomial.h/api_qe.cpp/api_quant.cpp/api_rcf.cpp/api_seq.cpp/api_solver.cpp/api_solver.h/api_special_relations.cpp/api_stats.cpp/api_stats.h/api_tactic.cpp/api_tactic.h/api_util.h/dll/ml/z3_algebraic.h/z3_api.h/z3_ast_containers.h/z3_fixedpoint.h/z3_fpa.h/z3_logger.h/z3_optimization.h/z3_polynomial.h/z3_rcf.h/z3_replayer.cpp/z3_replayer.h/z3_spacer.h


dirname: /usr/src/debug/zbar-0.23-13.el9.aarch64/zbar/decoder
filetypes: ffffffffffffffffff
filenames:
  codabar.c/codabar.h/code128.c/code128.h/code39.c/code39.h/code93.c/code93.h/databar.c/databar.h/ean.c/ean.h/i25.c/i25.h/qr_finder.c/qr_finder.h/sq_finder.c/sq_finder.h


dirname: /usr/src/debug/zbar-0.23-13.el9.aarch64/zbar
filetypes: ffdffffffffffffdffdffffffffffdffdff
filenames:
  config.c/convert.c/decoder/decoder.c/decoder.h/error.c/error.h/event.h/image.c/image.h/img_scanner.c/img_scanner.h/misc.c/misc.h/mutex.h/processor/processor.c/processor.h/qrcode/qrcode.h/refcnt.c/refcnt.h/scanner.c/sqcode.c/sqcode.h/symbol.c/symbol.h/thread.h/timer.h/video/video.c/video.h/window/window.c/window.h


dirname: /usr/src/debug/zbar-0.23-13.el9.aarch64/zbar/qrcode
filetypes: fffffffffffff
filenames:
  bch15_5.c/bch15_5.h/binarize.c/binarize.h/isaac.c/isaac.h/qrdec.c/qrdec.h/qrdectxt.c/rs.c/rs.h/util.c/util.h


dirname: /usr/src/debug/zbar-0.23-13.el9.aarch64/python
filetypes: ffffffffffff
filenames:
  decoder.c/enum.c/exception.c/image.c/imagescanner.c/processor.c/scanner.c/symbol.c/symboliter.c/symbolset.c/zbarmodule.c/zbarmodule.h


dirname: /usr/src/debug/zeromq-4.3.4-1.el9.aarch64/src
filenames:
  address.cpp/address.hpp/array.hpp/atomic_counter.hpp/atomic_ptr.hpp/blob.hpp/channel.cpp/channel.hpp/client.cpp/client.hpp/clock.cpp/clock.hpp/command.hpp/compat.hpp/condition_variable.hpp/config.hpp/ctx.cpp/ctx.hpp/curve_client.cpp/curve_client.hpp/curve_client_tools.hpp/curve_mechanism_base.cpp/curve_mechanism_base.hpp/curve_server.cpp/curve_server.hpp/dbuffer.hpp/dealer.cpp/dealer.hpp/decoder.hpp/decoder_allocators.cpp/decoder_allocators.hpp/devpoll.cpp/dgram.cpp/dgram.hpp/dish.cpp/dish.hpp/dist.cpp/dist.hpp/encoder.hpp/endpoint.cpp/endpoint.hpp/epoll.cpp/epoll.hpp/err.cpp/err.hpp/fd.hpp/fq.cpp/fq.hpp/gather.cpp/gather.hpp/generic_mtrie.hpp/generic_mtrie_impl.hpp/gssapi_client.cpp/gssapi_client.hpp/gssapi_mechanism_base.cpp/gssapi_mechanism_base.hpp/gssapi_server.cpp/gssapi_server.hpp/i_decoder.hpp/i_encoder.hpp/i_engine.hpp/i_mailbox.hpp/i_poll_events.hpp/io_object.cpp/io_object.hpp/io_thread.cpp/io_thread.hpp/ip.cpp/ip.hpp/ip_resolver.cpp/ip_resolver.hpp/ipc_address.cpp/ipc_address.hpp/ipc_connecter.cpp/ipc_connecter.hpp/ipc_listener.cpp/ipc_listener.hpp/kqueue.cpp/lb.cpp/lb.hpp/mailbox.cpp/mailbox.hpp/mailbox_safe.cpp/mailbox_safe.hpp/mechanism.cpp/mechanism.hpp/mechanism_base.cpp/mechanism_base.hpp/metadata.cpp/metadata.hpp/msg.cpp/msg.hpp/mtrie.cpp/mtrie.hpp/mutex.hpp/norm_engine.cpp/null_mechanism.cpp/null_mechanism.hpp/object.cpp/object.hpp/options.cpp/options.hpp/own.cpp/own.hpp/pair.cpp/pair.hpp/peer.cpp/peer.hpp/pgm_receiver.cpp/pgm_receiver.hpp/pgm_sender.cpp/pgm_sender.hpp/pgm_socket.cpp/pgm_socket.hpp/pipe.cpp/pipe.hpp/plain_client.cpp/plain_client.hpp/plain_common.hpp/plain_server.cpp/plain_server.hpp/poll.cpp/poller_base.cpp/poller_base.hpp/polling_util.cpp/polling_util.hpp/pollset.cpp/precompiled.cpp/proxy.cpp/proxy.hpp/pub.cpp/pub.hpp/pull.cpp/pull.hpp/push.cpp/push.hpp/radio.cpp/radio.hpp/radix_tree.cpp/radix_tree.hpp/random.cpp/random.hpp/raw_decoder.cpp/raw_decoder.hpp/raw_encoder.cpp/raw_encoder.hpp/raw_engine.cpp/raw_engine.hpp/reaper.cpp/reaper.hpp/rep.cpp/rep.hpp/req.cpp/req.hpp/router.cpp/router.hpp/scatter.cpp/scatter.hpp/secure_allocator.hpp/select.cpp/server.cpp/server.hpp/session_base.cpp/session_base.hpp/signaler.cpp/signaler.hpp/socket_base.cpp/socket_base.hpp/socket_poller.cpp/socket_poller.hpp/socks.cpp/socks.hpp/socks_connecter.cpp/socks_connecter.hpp/stream.cpp/stream.hpp/stream_connecter_base.cpp/stream_connecter_base.hpp/stream_engine_base.cpp/stream_engine_base.hpp/stream_listener_base.cpp/stream_listener_base.hpp/sub.cpp/sub.hpp/tcp.cpp/tcp.hpp/tcp_address.cpp/tcp_address.hpp/tcp_connecter.cpp/tcp_connecter.hpp/tcp_listener.cpp/tcp_listener.hpp/thread.cpp/thread.hpp/timers.cpp/timers.hpp/tipc_address.cpp/tipc_address.hpp/tipc_connecter.cpp/tipc_connecter.hpp/tipc_listener.cpp/tipc_listener.hpp/trie.cpp/trie.hpp/udp_address.cpp/udp_address.hpp/udp_engine.cpp/udp_engine.hpp/v1_decoder.cpp/v1_decoder.hpp/v1_encoder.cpp/v1_encoder.hpp/v2_decoder.cpp/v2_decoder.hpp/v2_encoder.cpp/v2_encoder.hpp/v2_protocol.hpp/v3_1_encoder.cpp/v3_1_encoder.hpp/vmci.cpp/vmci_address.cpp/vmci_connecter.cpp/vmci_listener.cpp/wire.hpp/ws_address.cpp/ws_address.hpp/ws_connecter.cpp/ws_connecter.hpp/ws_decoder.cpp/ws_decoder.hpp/ws_encoder.cpp/ws_encoder.hpp/ws_engine.cpp/ws_engine.hpp/ws_listener.cpp/ws_listener.hpp/ws_protocol.hpp/wss_address.cpp/wss_address.hpp/xpub.cpp/xpub.hpp/xsub.cpp/xsub.hpp/ypipe.hpp/ypipe_base.hpp/ypipe_conflate.hpp/yqueue.hpp/zap_client.cpp/zap_client.hpp/zmq.cpp/zmq_draft.h/zmq_utils.cpp/zmtp_engine.cpp/zmtp_engine.hpp

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/zimg-3.0.3-1.el9.aarch64/src/zimg/graph
filetypes: ffffffffff
filenames:
  basic_filter.cpp/basic_filter.h/filtergraph.cpp/filtergraph.h/graphbuilder.cpp/graphbuilder.h/graphnode.cpp/graphnode.h/image_buffer.h/image_filter.h


dirname: /usr/src/debug/zimg-3.0.3-1.el9.aarch64/src/zimg/depth/arm
filetypes: ffffffff
filenames:
  depth_convert_arm.cpp/depth_convert_arm.h/depth_convert_neon.cpp/dither_arm.cpp/dither_arm.h/dither_neon.cpp/f16c_arm.h/f16c_neon.cpp


dirname: /usr/src/debug/zimg-3.0.3-1.el9.aarch64/src/testapp
filetypes: ffffffffffffffff
filenames:
  apps.h/colorspaceapp.cpp/cpuinfoapp.cpp/depthapp.cpp/frame.cpp/frame.h/graphapp.cpp/main.cpp/pair_filter.cpp/pair_filter.h/resizeapp.cpp/table.cpp/table.h/unresizeapp.cpp/utils.cpp/utils.h


dirname: /usr/src/debug/zimg-3.0.3-1.el9.aarch64/src/zimg/colorspace
filetypes: dffffffffffffff
filenames:
  arm/colorspace.cpp/colorspace.h/colorspace_param.cpp/colorspace_param.h/gamma.cpp/gamma.h/graph.cpp/graph.h/matrix3.cpp/matrix3.h/operation.cpp/operation.h/operation_impl.cpp/operation_impl.h


dirname: /usr/src/debug/zimg-3.0.3-1.el9.aarch64/src/zimg/common
filetypes: ffdffffffffff
filenames:
  align.h/alloc.h/arm/checked_int.h/cpuinfo.cpp/cpuinfo.h/except.h/libm_wrapper.cpp/libm_wrapper.h/matrix.cpp/matrix.h/pixel.h/static_map.h


dirname: /usr/src/debug/zimg-3.0.3-1.el9.aarch64/src/zimg/depth
filetypes: dffffffffff
filenames:
  arm/blue.cpp/blue.h/depth.cpp/depth.h/depth_convert.cpp/depth_convert.h/dither.cpp/dither.h/quantize.cpp/quantize.h


dirname: /usr/src/debug/zint-2.10.0-1.el9.aarch64/frontend_qt
filetypes: fffffffffff
filenames:
  barcodeitem.cpp/barcodeitem.h/datawindow.cpp/datawindow.h/exportwindow.cpp/exportwindow.h/main.cpp/mainwindow.cpp/mainwindow.h/sequencewindow.cpp/sequencewindow.h


dirname: /usr/src/debug/zint-2.10.0-1.el9.aarch64/redhat-linux-build/frontend_qt
filetypes: ffffffffd
filenames:
  moc_datawindow.cpp/moc_exportwindow.cpp/moc_mainwindow.cpp/moc_sequencewindow.cpp/ui_extData.h/ui_extExport.h/ui_extSequence.h/ui_mainWindow.h/zint-qt_autogen


dirname: /usr/src/debug/zint-2.10.0-1.el9.aarch64/backend
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  2of5.c/auspost.c/aztec.c/aztec.h/big5.h/bmp.c/bmp.h/channel_precalcs.h/codablock.c/code.c/code1.c/code1.h/code128.c/code128.h/code16k.c/code49.c/code49.h/common.c/common.h/composite.c/composite.h/dmatrix.c/dmatrix.h/dotcode.c/eci.c/eci.h/eci_sb.h/emf.c/emf.h/font.h/gb18030.c/gb18030.h/gb2312.c/gb2312.h/general_field.c/general_field.h/gif.c/gridmtx.c/gridmtx.h/gs1.c/gs1.h/gs1_lint.h/hanxin.c/hanxin.h/imail.c/iso3166.h/iso4217.h/ksx1001.h/large.c/large.h/library.c/mailmark.c/maxicode.c/maxicode.h/medical.c/output.c/output.h/pcx.c/pcx.h/pdf417.c/pdf417.h/plessey.c/png.c/postal.c/ps.c/qr.c/qr.h/raster.c/reedsol.c/reedsol.h/reedsol_logs.h/rss.c/rss.h/sjis.c/sjis.h/svg.c/telepen.c/tif.c/tif.h/tif_lzw.h/ultra.c/upcean.c/vector.c/zint.h


dirname: /usr/lib/debug/usr/bin
filetypes: fff
filenames:
  zvbi-atsc-cc-0.2.35-15.el9.aarch64.debug/zvbi-chains-0.2.35-15.el9.aarch64.debug/zvbi-ntsc-cc-0.2.35-15.el9.aarch64.debug


dirname: /usr/src/debug/zvbi-0.2.35-15.el9.aarch64/src
filenames:
  _videodev.h/_videodev2.h/_videodev2k.h/bcd.h/bit_slicer.c/bit_slicer.h/cache-priv.h/cache.c/cache.h/caption.c/cc.h/cc608_decoder.c/cc608_decoder.h/ccfont2.xbm/chains.c/conv.c/conv.h/decoder.c/decoder.h/dlist.h/dvb/dvb.h/dvb_demux.c/dvb_demux.h/dvb_mux.c/dvb_mux.h/event-priv.h/event.c/event.h/exp-gfx.c/exp-html.c/exp-templ.c/exp-txt.c/exp-vtx.c/export.c/export.h/format.h/hamm-tables.h/hamm.c/hamm.h/idl_demux.c/idl_demux.h/intl-priv.h/io-bktr.c/io-dvb.c/io-sim.c/io-v4l.c/io-v4l2.c/io-v4l2k.c/io.c/io.h/lang.c/lang.h/libzvbi.h/macros.h/misc.c/misc.h/network-table.h/network.h/packet-830.c/packet-830.h/packet.c/page_table.c/page_table.h/pdc.c/pdc.h/pfc_demux.c/pfc_demux.h/proxy-client.c/proxy-client.h/proxy-msg.c/proxy-msg.h/raw_decoder.c/raw_decoder.h/sampling_par.c/sampling_par.h/search.c/search.h/sliced.h/sliced_filter.c/sliced_filter.h/tables.c/tables.h/teletext.c/teletext_decoder.h/trigger.c/trigger.h/ure.c/ure.h/vbi.c/vbi.h/videodev.h/videodev2.h/videodev2k.h/vps.c/vps.h/vt.h/wss.c/wss.h/wstfont2.xbm/xds_demux.c/xds_demux.h

filetypes:
  ffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src/qrcode
filetypes: ffffffffffffffffffffffffffffff
filenames:
  QRBitMatrixParser.cpp/QRBitMatrixParser.h/QRCodecMode.cpp/QRCodecMode.h/QRDataBlock.cpp/QRDataBlock.h/QRDataMask.h/QRDecoder.cpp/QRDecoder.h/QRDecoderMetadata.h/QRDetector.cpp/QRDetector.h/QRECB.h/QREncodeResult.h/QREncoder.cpp/QREncoder.h/QRErrorCorrectionLevel.cpp/QRErrorCorrectionLevel.h/QRFormatInformation.cpp/QRFormatInformation.h/QRMaskUtil.cpp/QRMaskUtil.h/QRMatrixUtil.cpp/QRMatrixUtil.h/QRReader.cpp/QRReader.h/QRVersion.cpp/QRVersion.h/QRWriter.cpp/QRWriter.h


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src/pdf417
filetypes: ffffffffffffffffffffffffffffffff
filenames:
  PDFBarcodeMetadata.h/PDFBarcodeValue.cpp/PDFBarcodeValue.h/PDFBoundingBox.cpp/PDFBoundingBox.h/PDFCodeword.h/PDFCodewordDecoder.cpp/PDFCodewordDecoder.h/PDFCompaction.h/PDFDecodedBitStreamParser.cpp/PDFDecodedBitStreamParser.h/PDFDecoderResultExtra.h/PDFDetectionResult.cpp/PDFDetectionResult.h/PDFDetectionResultColumn.cpp/PDFDetectionResultColumn.h/PDFDetector.cpp/PDFDetector.h/PDFEncoder.cpp/PDFEncoder.h/PDFHighLevelEncoder.cpp/PDFHighLevelEncoder.h/PDFModulusGF.cpp/PDFModulusGF.h/PDFModulusPoly.cpp/PDFModulusPoly.h/PDFReader.cpp/PDFReader.h/PDFScanningDecoder.cpp/PDFScanningDecoder.h/PDFWriter.cpp/PDFWriter.h


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src/textcodec
filetypes: ffffffffffffffffffff
filenames:
  Big5MapTable.cpp/Big5MapTable.h/Big5TextDecoder.cpp/Big5TextDecoder.h/Big5TextEncoder.cpp/Big5TextEncoder.h/GBTextDecoder.cpp/GBTextDecoder.h/GBTextEncoder.cpp/GBTextEncoder.h/JPTextDecoder.cpp/JPTextDecoder.h/JPTextEncoder.cpp/JPTextEncoder.h/KRHangulMapping.cpp/KRHangulMapping.h/KRTextDecoder.cpp/KRTextDecoder.h/KRTextEncoder.cpp/KRTextEncoder.h


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src/oned
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  ODCodabarReader.cpp/ODCodabarReader.h/ODCodabarWriter.cpp/ODCodabarWriter.h/ODCode128Patterns.cpp/ODCode128Patterns.h/ODCode128Reader.cpp/ODCode128Reader.h/ODCode128Writer.cpp/ODCode128Writer.h/ODCode39Reader.cpp/ODCode39Reader.h/ODCode39Writer.cpp/ODCode39Writer.h/ODCode93Reader.cpp/ODCode93Reader.h/ODCode93Writer.cpp/ODCode93Writer.h/ODDataBarCommon.cpp/ODDataBarCommon.h/ODDataBarExpandedReader.cpp/ODDataBarExpandedReader.h/ODDataBarReader.cpp/ODDataBarReader.h/ODEAN13Writer.cpp/ODEAN13Writer.h/ODEAN8Writer.cpp/ODEAN8Writer.h/ODITFReader.cpp/ODITFReader.h/ODITFWriter.cpp/ODITFWriter.h/ODMultiUPCEANReader.cpp/ODMultiUPCEANReader.h/ODReader.cpp/ODReader.h/ODRowReader.cpp/ODRowReader.h/ODUPCAWriter.cpp/ODUPCAWriter.h/ODUPCEANCommon.cpp/ODUPCEANCommon.h/ODUPCEWriter.cpp/ODUPCEWriter.h/ODWriterHelper.cpp/ODWriterHelper.h/rss


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src/oned/rss
filetypes: ffffff
filenames:
  ODRSSExpandedBinaryDecoder.cpp/ODRSSExpandedBinaryDecoder.h/ODRSSFieldParser.cpp/ODRSSFieldParser.h/ODRSSGenericAppIdDecoder.cpp/ODRSSGenericAppIdDecoder.h


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src/aztec
filetypes: ffffffffffffffff
filenames:
  AZDecoder.cpp/AZDecoder.h/AZDetector.cpp/AZDetector.h/AZDetectorResult.h/AZEncoder.cpp/AZEncoder.h/AZEncodingState.h/AZHighLevelEncoder.cpp/AZHighLevelEncoder.h/AZReader.cpp/AZReader.h/AZToken.cpp/AZToken.h/AZWriter.cpp/AZWriter.h


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src/datamatrix
filetypes: fffffffffffffffffffff
filenames:
  DMBitLayout.cpp/DMBitLayout.h/DMDataBlock.cpp/DMDataBlock.h/DMDecoder.cpp/DMDecoder.h/DMDetector.cpp/DMDetector.h/DMECEncoder.cpp/DMECEncoder.h/DMEncoderContext.h/DMHighLevelEncoder.cpp/DMHighLevelEncoder.h/DMReader.cpp/DMReader.h/DMSymbolInfo.cpp/DMSymbolInfo.h/DMVersion.cpp/DMVersion.h/DMWriter.cpp/DMWriter.h


dirname: /usr/src/debug/zxing-cpp-1.2.0-1.el9.aarch64/core/src
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffddddddd
filenames:
  BarcodeFormat.cpp/BarcodeFormat.h/BinaryBitmap.cpp/BinaryBitmap.h/BitArray.cpp/BitArray.h/BitHacks.h/BitMatrix.cpp/BitMatrix.h/BitMatrixCursor.h/BitMatrixIO.cpp/BitSource.cpp/BitSource.h/ByteArray.h/ByteMatrix.h/CharacterSet.h/CharacterSetECI.cpp/CharacterSetECI.h/ConcentricFinder.cpp/ConcentricFinder.h/CustomData.h/DecodeHints.cpp/DecodeHints.h/DecodeStatus.cpp/DecodeStatus.h/DecoderResult.h/DetectorResult.h/Flags.h/GTIN.cpp/GTIN.h/GenericGF.cpp/GenericGF.h/GenericGFPoly.cpp/GenericGFPoly.h/GenericLuminanceSource.cpp/GenericLuminanceSource.h/GlobalHistogramBinarizer.cpp/GlobalHistogramBinarizer.h/GridSampler.cpp/GridSampler.h/HybridBinarizer.cpp/HybridBinarizer.h/LogMatrix.h/LuminanceSource.cpp/LuminanceSource.h/Matrix.h/MultiFormatReader.cpp/MultiFormatReader.h/MultiFormatWriter.cpp/MultiFormatWriter.h/Pattern.h/PerspectiveTransform.cpp/PerspectiveTransform.h/Point.h/Quadrilateral.h/ReadBarcode.cpp/ReadBarcode.h/Reader.h/ReedSolomonDecoder.cpp/ReedSolomonDecoder.h/ReedSolomonEncoder.cpp/ReedSolomonEncoder.h/RegressionLine.h/Result.cpp/Result.h/ResultMetadata.cpp/ResultMetadata.h/ResultPoint.cpp/ResultPoint.h/StructuredAppend.h/TextDecoder.cpp/TextDecoder.h/TextEncoder.cpp/TextEncoder.h/TextUtfEncoding.cpp/TextUtfEncoding.h/ThresholdBinarizer.h/TritMatrix.h/WhiteRectDetector.cpp/WhiteRectDetector.h/ZXBigInteger.cpp/ZXBigInteger.h/ZXContainerAlgorithms.h/ZXNullable.h/aztec/datamatrix/maxicode/oned/pdf417/qrcode/textcodec


