# filelist

dirname: /usr/src/debug/z3-4.15.3-2.fc43.aarch64/src/sat
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffdd
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_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_wrapper.cpp/sat_ddfw_wrapper.h/sat_drat.cpp/sat_drat.h/sat_elim_eqs.cpp/sat_elim_eqs.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_proof_trim.cpp/sat_proof_trim.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.15.3-2.fc43.aarch64/src/cmd_context/extra_cmds
filetypes: ffffffff
filenames:
  dbg_cmds.cpp/dbg_cmds.h/polynomial_cmds.cpp/polynomial_cmds.h/proof_cmds.cpp/proof_cmds.h/subpaving_cmds.cpp/subpaving_cmds.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.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.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/tactic
filetypes: ddddfffddfffffffffdffddfffffdf
filenames:
  aig/arith/bv/core/dependency_converter.cpp/dependency_converter.h/dependent_expr_state_tactic.h/fd_solver/fpa/goal.cpp/goal.h/goal_num_occurs.cpp/goal_num_occurs.h/goal_proof_converter.h/goal_shared_occs.cpp/goal_shared_occs.h/goal_util.cpp/goal_util.h/portfolio/probe.cpp/probe.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.15.3-2.fc43.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.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/ast/rewriter
filetypes: ffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
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/bv2int_translator.cpp/bv2int_translator.h/bv_bounds.cpp/bv_bounds.h/bv_bounds_base.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/dom_simplifier.cpp/dom_simplifier.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/inj_axiom.cpp/inj_axiom.h/label_rewriter.cpp/label_rewriter.h/macro_replacer.cpp/macro_replacer.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.15.3-2.fc43.aarch64/src/ast/euf
filetypes: ffffffffffffffffffffff
filenames:
  euf_ac_plugin.cpp/euf_ac_plugin.h/euf_arith_plugin.cpp/euf_arith_plugin.h/euf_bv_plugin.cpp/euf_bv_plugin.h/euf_egraph.cpp/euf_egraph.h/euf_enode.cpp/euf_enode.h/euf_etable.cpp/euf_etable.h/euf_justification.cpp/euf_justification.h/euf_mam.cpp/euf_mam.h/euf_plugin.cpp/euf_plugin.h/euf_specrel_plugin.cpp/euf_specrel_plugin.h/ho_matcher.cpp/ho_matcher.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.aarch64/src/tactic/core
filetypes: fffffffffffffffffffffffffffffffffffffffffffffff
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/demodulator_tactic.h/der_tactic.cpp/der_tactic.h/distribute_forall_tactic.h/dom_simplify_tactic.h/elim_term_ite_tactic.cpp/elim_term_ite_tactic.h/elim_uncnstr2_tactic.h/elim_uncnstr_tactic.cpp/elim_uncnstr_tactic.h/eliminate_predicates_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_values2_tactic.h/propagate_values_tactic.cpp/propagate_values_tactic.h/reduce_args_tactic.cpp/reduce_args_tactic.h/simplify_tactic.cpp/simplify_tactic.h/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.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/math/lp
filenames:
  bound_analyzer_on_row.h/column.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/dioph_eq.cpp/dioph_eq.h/emonics.cpp/emonics.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_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_primal_core_solver.cpp/lp_primal_core_solver.h/lp_primal_core_solver_def.h/lp_primal_core_solver_tableau_def.h/lp_settings.cpp/lp_settings.h/lp_settings_def.h/lp_types.h/lp_utils.h/matrix.cpp/matrix_def.h/mon_eq.cpp/monic.h/monomial_bounds.cpp/monomial_bounds.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_divisions.cpp/nla_divisions.h/nla_grobner.cpp/nla_grobner.h/nla_intervals.cpp/nla_intervals.h/nla_monotone_lemmas.cpp/nla_monotone_lemmas.h/nla_order_lemmas.cpp/nla_order_lemmas.h/nla_powers.cpp/nla_powers.h/nla_solver.cpp/nla_solver.h/nla_tangent_lemmas.cpp/nla_tangent_lemmas.h/nla_throttle.cpp/nla_throttle.h/nla_types.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/stacked_vector.h/static_matrix.cpp/static_matrix.h/static_matrix_def.h/var_eqs.h/var_register.h

filetypes:
[cell repeats an earlier one in this file: 111 characters]


dirname: /usr/src/debug/z3-4.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/ast/converters
filetypes: fffffffffffffff
filenames:
  converter.h/equiv_proof_converter.cpp/equiv_proof_converter.h/expr_inverter.cpp/expr_inverter.h/generic_model_converter.cpp/generic_model_converter.h/horn_subsume_model_converter.cpp/horn_subsume_model_converter.h/model_converter.cpp/model_converter.h/proof_converter.cpp/proof_converter.h/replace_proof_converter.cpp/replace_proof_converter.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.aarch64/src/tactic/arith
filetypes: ffffffffffffffffffffffffffffffffffffffff
filenames:
  add_bounds_tactic.cpp/add_bounds_tactic.h/arith_bounds_tactic.cpp/arith_bounds_tactic.h/bv2int_rewriter.cpp/bv2int_rewriter.h/bv2real_rewriter.cpp/bv2real_rewriter.h/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/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.h/purify_arith_tactic.cpp/purify_arith_tactic.h/recover_01_tactic.cpp/recover_01_tactic.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/shell
filetypes: fffffffffffff
filenames:
  datalog_frontend.cpp/datalog_frontend.h/dimacs_frontend.cpp/dimacs_frontend.h/drat_frontend.cpp/drat_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.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/tactic/portfolio
filetypes: ffffffff
filenames:
  default_tactic.cpp/default_tactic.h/euf_completion_tactic.cpp/euf_completion_tactic.h/smt_strategic_solver.cpp/solver2lookahead.cpp/solver_subsumption_tactic.cpp/solver_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/params
filetypes: ffffffffffffffffffffffff
filenames:
  bit_blaster_params.h/context_params.cpp/context_params.h/dyn_ack_params.cpp/dyn_ack_params.h/pattern_inference_params.cpp/pattern_inference_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


dirname: /usr/src/debug/z3-4.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/opt
filetypes: fffffffffffffffffffffffffffffff
filenames:
  maxcore.cpp/maxcore.h/maxlex.cpp/maxlex.h/maxsmt.cpp/maxsmt.h/opt_cmds.cpp/opt_cmds.h/opt_context.cpp/opt_context.h/opt_cores.cpp/opt_cores.h/opt_lns.cpp/opt_lns.h/opt_pareto.cpp/opt_pareto.h/opt_parse.cpp/opt_parse.h/opt_preprocess.cpp/opt_preprocess.h/opt_solver.cpp/opt_solver.h/optsmt.cpp/optsmt.h/pb_sls.cpp/pb_sls.h/sortmax.cpp/totalizer.cpp/totalizer.h/wmax.cpp/wmax.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.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.15.3-2.fc43.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.15.3-2.fc43.aarch64/src/ast/simplifiers
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  bit2int.h/bit_blaster.cpp/bit_blaster.h/bound_manager.cpp/bound_manager.h/bound_propagator.cpp/bound_propagator.h/bound_simplifier.cpp/bound_simplifier.h/bv_bounds_simplifier.cpp/bv_bounds_simplifier.h/bv_elim.h/bv_slice.cpp/bv_slice.h/card2bv.cpp/card2bv.h/cnf_nnf.h/demodulator_simplifier.cpp/demodulator_simplifier.h/dependent_expr.h/dependent_expr_state.cpp/dependent_expr_state.h/distribute_forall.cpp/distribute_forall.h/dominator_simplifier.cpp/dominator_simplifier.h/elim_bounds.h/elim_term_ite.h/elim_unconstrained.cpp/elim_unconstrained.h/eliminate_predicates.cpp/eliminate_predicates.h/euf_completion.cpp/euf_completion.h/extract_eqs.cpp/extract_eqs.h/flatten_clauses.h/linear_equation.cpp/linear_equation.h/max_bv_sharing.cpp/max_bv_sharing.h/model_reconstruction_trail.cpp/model_reconstruction_trail.h/propagate_values.cpp/propagate_values.h/pull_nested_quantifiers.h/push_ite.h/randomizer.h/reduce_args_simplifier.cpp/reduce_args_simplifier.h/refine_inj_axiom.h/rewriter_simplifier.h/solve_context_eqs.cpp/solve_context_eqs.h/solve_eqs.cpp/solve_eqs.h/then_simplifier.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.aarch64/redhat-linux-build/src/params
filetypes: fffffffffffffff
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/sat_params.hpp/seq_rewriter_params.hpp/sls_params.hpp/smt_params_helper.hpp/solver_params.hpp/tactic_params.hpp


dirname: /usr/src/debug/z3-4.15.3-2.fc43.aarch64/src/ast/sls
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  bvsls_opt_engine.cpp/bvsls_opt_engine.h/sat_ddfw.cpp/sat_ddfw.h/sls_arith_base.cpp/sls_arith_base.h/sls_arith_clausal.cpp/sls_arith_clausal.h/sls_arith_lookahead.cpp/sls_arith_lookahead.h/sls_arith_plugin.cpp/sls_arith_plugin.h/sls_array_plugin.cpp/sls_array_plugin.h/sls_basic_plugin.cpp/sls_basic_plugin.h/sls_bv_engine.cpp/sls_bv_engine.h/sls_bv_eval.cpp/sls_bv_eval.h/sls_bv_evaluator.h/sls_bv_fixed.cpp/sls_bv_fixed.h/sls_bv_lookahead.cpp/sls_bv_lookahead.h/sls_bv_plugin.cpp/sls_bv_plugin.h/sls_bv_terms.cpp/sls_bv_terms.h/sls_bv_tracker.h/sls_bv_valuation.cpp/sls_bv_valuation.h/sls_context.cpp/sls_context.h/sls_datatype_plugin.cpp/sls_datatype_plugin.h/sls_euf_plugin.cpp/sls_euf_plugin.h/sls_powers.h/sls_seq_plugin.cpp/sls_seq_plugin.h/sls_smt_plugin.cpp/sls_smt_plugin.h/sls_smt_solver.cpp/sls_smt_solver.h/sls_stats.h


dirname: /usr/src/debug/z3-4.15.3-2.fc43.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/z3-4.15.3-2.fc43.aarch64/src/nlsat
filetypes: fffffffffffffffffffffd
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_simple_checker.cpp/nlsat_simple_checker.h/nlsat_simplify.cpp/nlsat_simplify.h/nlsat_solver.cpp/nlsat_solver.h/nlsat_types.cpp/nlsat_types.h/nlsat_variable_ordering_strategy.cpp/nlsat_variable_ordering_strategy.h/tactic


dirname: /usr/src/debug/z3-4.15.3-2.fc43.aarch64/src/cmd_context
filetypes: ffffffffffffdffffffffffff
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/simplifier_cmds.cpp/simplifier_cmds.h/simplify_cmd.cpp/simplify_cmd.h/tactic_cmds.cpp/tactic_cmds.h/tactic_manager.cpp/tactic_manager.h


filenames: kontact_plugin.moc/moc_kontact_plugin.cpp
filetypes: ff
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen/include


dirname: /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/src/akonadi
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  akonadiapplicationselectedattribute.cpp/akonadiapplicationselectedattribute.h/akonadicache.cpp/akonadicache.h/akonadicachingstorage.cpp/akonadicachingstorage.h/akonadicollectionfetchjobinterface.cpp/akonadicollectionfetchjobinterface.h/akonadiconfigdialog.cpp/akonadiconfigdialog.h/akonadicontextqueries.cpp/akonadicontextqueries.h/akonadicontextrepository.cpp/akonadicontextrepository.h/akonadidatasourcequeries.cpp/akonadidatasourcequeries.h/akonadidatasourcerepository.cpp/akonadidatasourcerepository.h/akonadiitemfetchjobinterface.cpp/akonadiitemfetchjobinterface.h/akonadilivequeryhelpers.cpp/akonadilivequeryhelpers.h/akonadilivequeryintegrator.cpp/akonadilivequeryintegrator.h/akonadimonitorimpl.cpp/akonadimonitorimpl.h/akonadimonitorinterface.cpp/akonadimonitorinterface.h/akonadiprojectqueries.cpp/akonadiprojectqueries.h/akonadiprojectrepository.cpp/akonadiprojectrepository.h/akonadiserializer.cpp/akonadiserializer.h/akonadiserializerinterface.cpp/akonadiserializerinterface.h/akonadistorage.cpp/akonadistorage.h/akonadistorageinterface.cpp/akonadistorageinterface.h/akonadistoragesettings.cpp/akonadistoragesettings.h/akonaditaskqueries.cpp/akonaditaskqueries.h/akonaditaskrepository.cpp/akonaditaskrepository.h/akonaditimestampattribute.cpp/akonaditimestampattribute.h


filenames: include/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/kontact/kontact_zanshinplugin_autogen


filenames: qrc_kontact_plugins.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/EWIEGA46WW


dirname: /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/src/domain
filetypes: ffffffffffffffffffffffffffff
filenames:
  context.cpp/context.h/contextqueries.cpp/contextqueries.h/contextrepository.cpp/contextrepository.h/datasource.cpp/datasource.h/datasourcequeries.cpp/datasourcequeries.h/datasourcerepository.cpp/datasourcerepository.h/livequery.h/project.cpp/project.h/projectqueries.cpp/projectqueries.h/projectrepository.cpp/projectrepository.h/queryresult.h/queryresultinterface.h/queryresultprovider.h/task.cpp/task.h/taskqueries.cpp/taskqueries.h/taskrepository.cpp/taskrepository.h


filenames: include/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen


dirname: /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/src/presentation
filetypes: ffffffffffffffffffffffffffffffffffffff
filenames:
  alltaskspagemodel.cpp/alltaskspagemodel.h/applicationmodel.cpp/applicationmodel.h/availablepagesmodel.cpp/availablepagesmodel.h/availablepagessortfilterproxymodel.cpp/availablepagessortfilterproxymodel.h/availablesourcesmodel.cpp/availablesourcesmodel.h/contextpagemodel.cpp/contextpagemodel.h/editormodel.cpp/editormodel.h/errorhandler.cpp/errorhandler.h/errorhandlingmodelbase.cpp/errorhandlingmodelbase.h/inboxpagemodel.cpp/inboxpagemodel.h/metatypes.cpp/metatypes.h/pagemodel.cpp/pagemodel.h/projectpagemodel.cpp/projectpagemodel.h/querytreemodel.h/querytreemodelbase.cpp/querytreemodelbase.h/querytreenode.h/runningtaskmodel.cpp/runningtaskmodel.h/runningtaskmodelinterface.cpp/runningtaskmodelinterface.h/taskfilterproxymodel.cpp/taskfilterproxymodel.h/workdaypagemodel.cpp/workdaypagemodel.h


filenames: moc_zanshinrunner.cpp/zanshinrunner.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen/include


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen


dirname: /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/src/widgets
filetypes: ffffffffffffffffffffffffffffffff
filenames:
  applicationcomponents.cpp/applicationcomponents.h/availablepagesview.cpp/availablepagesview.h/availablesourcesview.cpp/availablesourcesview.h/datasourcedelegate.cpp/datasourcedelegate.h/editorview.cpp/editorview.h/filterwidget.cpp/filterwidget.h/itemdelegate.cpp/itemdelegate.h/messagebox.cpp/messagebox.h/messageboxinterface.cpp/messageboxinterface.h/nameanddatasourcedialog.cpp/nameanddatasourcedialog.h/nameanddatasourcedialoginterface.cpp/nameanddatasourcedialoginterface.h/pageview.cpp/pageview.h/pageviewerrorhandler.cpp/pageviewerrorhandler.h/quickselectdialog.cpp/quickselectdialog.h/quickselectdialoginterface.cpp/quickselectdialoginterface.h/runningtaskwidget.cpp/runningtaskwidget.h


filenames: include
filetypes: d
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/presentation/presentation_autogen


dirname: /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/src/zanshin/migrator
filetypes: fffff
filenames:
  main.cpp/zanshin021migrator.cpp/zanshin021migrator.h/zanshincontextitemsmigrator.cpp/zanshincontextitemsmigrator.h


filenames: moc_part.cpp/part.moc
filetypes: ff
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/include


filenames: mocs_compilation.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/zanshin/migrator/zanshin-migrator_autogen


filetypes: ffffffffffffffff
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/akonadi/akonadi_autogen/include

filenames:
  akonadicachingstorage.moc/akonadistorage.moc/moc_akonadicache.cpp/moc_akonadiconfigdialog.cpp/moc_akonadicontextqueries.cpp/moc_akonadicontextrepository.cpp/moc_akonadidatasourcequeries.cpp/moc_akonadidatasourcerepository.cpp/moc_akonadilivequeryintegrator.cpp/moc_akonadimonitorimpl.cpp/moc_akonadimonitorinterface.cpp/moc_akonadiprojectqueries.cpp/moc_akonadiprojectrepository.cpp/moc_akonadistoragesettings.cpp/moc_akonaditaskqueries.cpp/moc_akonaditaskrepository.cpp


filetypes: fffffffffffff
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/widgets/widgets_autogen/include

filenames:
  moc_applicationcomponents.cpp/moc_availablepagesview.cpp/moc_availablesourcesview.cpp/moc_datasourcedelegate.cpp/moc_editorview.cpp/moc_filterwidget.cpp/moc_itemdelegate.cpp/moc_nameanddatasourcedialog.cpp/moc_pageview.cpp/moc_quickselectdialog.cpp/moc_runningtaskwidget.cpp/nameanddatasourcedialog.moc/pageview.moc


filetypes: ffffffffffffffff
dirname:
  /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/redhat-linux-build/src/presentation/presentation_autogen/include

filenames:
  editormodel.moc/moc_alltaskspagemodel.cpp/moc_applicationmodel.cpp/moc_availablepagesmodel.cpp/moc_availablepagessortfilterproxymodel.cpp/moc_availablesourcesmodel.cpp/moc_contextpagemodel.cpp/moc_editormodel.cpp/moc_inboxpagemodel.cpp/moc_pagemodel.cpp/moc_projectpagemodel.cpp/moc_querytreemodelbase.cpp/moc_runningtaskmodel.cpp/moc_runningtaskmodelinterface.cpp/moc_taskfilterproxymodel.cpp/moc_workdaypagemodel.cpp


dirname: /usr/src/debug/zanshin-25.08.2-1.fc43.aarch64/src/utils
filetypes: fffffffff
filenames:
  compositejob.cpp/compositejob.h/datetime.cpp/datetime.h/dependencymanager.cpp/dependencymanager.h/jobhandler.cpp/jobhandler.h/mem_fn.h


dirname: /usr/src/debug/zathura-pdf-mupdf-0.4.4-7.fc43.aarch64/zathura-pdf-mupdf
filetypes: ffffffffffff
filenames:
  document.c/image.c/index.c/links.c/page.c/plugin.c/plugin.h/render.c/search.c/select.c/utils.c/utils.h


dirname: /usr/src/debug/zbar-0.23.93-9.fc43.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.93-9.fc43.aarch64/zbar/decoder
filetypes: fffffffffffffffffffff
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/pdf417.c/pdf417.h/pdf417_hash.h/qr_finder.c/qr_finder.h/sq_finder.c/sq_finder.h


dirname: /usr/src/debug/zbar-0.23.93-9.fc43.aarch64/zbar
filetypes: ffdfffffffffffffdffdffffffffffdffdff
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/jpeg.c/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.93-9.fc43.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/zeitgeist-1.0.4-22.fc43.aarch64/datahub
filetypes: ffffffff
filenames:
  data-provider.c/desktop-launch-listener.c/downloads-directory-provider.c/kde-recent-document-provider.c/recent-manager-provider.c/telepathy-observer.c/utils.c/zeitgeist-datahub.c


dirname: /usr/src/debug/zeitgeist-1.0.4-22.fc43.aarch64/src
filetypes: ffffffffffffff
filenames:
  engine.c/ext-benchmark.c/ext-blacklist.c/ext-data-source-registry.c/ext-fts.c/ext-histogram.c/ext-storage-monitor.c/extension-collection.c/extension-store.c/extension.c/logging.c/notify.c/zeitgeist-daemon.c/zeitgeist-engine.h


dirname: /usr/src/debug/zeitgeist-1.0.4-22.fc43.aarch64/extensions/fts++
filetypes: fffffffffff
filenames:
  controller.cpp/controller.h/fts.cpp/fts.h/indexer.cpp/indexer.h/stringutils.cpp/stringutils.h/task.cpp/task.h/zeitgeist-fts.c


dirname: /usr/src/debug/zeitgeist-1.0.4-22.fc43.aarch64/libzeitgeist
filetypes: fffffffffffffffffffffffffff
filenames:
  data-source-registry.c/data-source.c/db-reader.c/enumerations.c/errors.c/event.c/index.c/log.c/mimetype.c/monitor.c/ontology-uris.c/ontology.c/queued-proxy-wrapper.c/remote.c/result-set.c/simple-result-set.c/sql-schema.c/sql.c/subject.c/table-lookup.c/timerange.c/timestamp.c/utils.c/where-clause.c/zeitgeist-datamodel.h/zeitgeist-internal.h/zeitgeist.h


dirname: /usr/src/debug/zenity-4.2.0-1.fc43.aarch64/src
filetypes: fffffffffffffffffffff
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-tree-column-view.c/zenity-tree-column-view.h/zenity.h


dirname: /usr/src/debug/zinnia-0.07-7.fc43.aarch64
filetypes: fffffffffddffffffffffff
filenames:
  character.cpp/common.h/feature.cpp/feature.h/freelist.h/libzinnia.cpp/mmap.h/param.cpp/param.h/perl/python/recognizer.cpp/scoped_ptr.h/sexp.cpp/sexp.h/stream_wrapper.h/svm.cpp/svm.h/trainer.cpp/zinnia.cpp/zinnia.h/zinnia_convert.cpp/zinnia_learn.cpp


dirname: /usr/lib/debug/usr/bin
filetypes: fff
filenames:
  zinnia-0.07-7.fc43.aarch64.debug/zinnia_convert-0.07-7.fc43.aarch64.debug/zinnia_learn-0.07-7.fc43.aarch64.debug


dirname: /usr/src/debug/zlib-ng-2.2.5-2.fc43.aarch64
filetypes: ffdffffffffffffffffffffffffffffffffffffffddfffffffff
filenames:
  adler32.c/adler32_p.h/arch/chunkset_tpl.h/compare256_rle.h/compress.c/cpu_features.c/cpu_features.h/crc32.c/crc32.h/crc32_braid_comb.c/crc32_braid_comb_p.h/crc32_braid_p.h/crc32_braid_tbl.h/deflate.c/deflate.h/deflate_fast.c/deflate_huff.c/deflate_medium.c/deflate_p.h/deflate_quick.c/deflate_rle.c/deflate_slow.c/deflate_stored.c/functable.c/functable.h/gzguts.h/gzlib.c/gzwrite.c/infback.c/inffast_tpl.h/inffixed_tbl.h/inflate.c/inflate.h/inflate_p.h/inftrees.c/inftrees.h/insert_string.c/insert_string_roll.c/insert_string_tpl.h/match_tpl.h/redhat-linux-build/redhat-linux-build-compat/trees.c/trees.h/trees_emit.h/trees_tbl.h/uncompr.c/zmemory.h/zutil.c/zutil.h/zutil_p.h


dirname: /usr/src/debug/zlib-ng-2.2.5-2.fc43.aarch64/arch/arm
filetypes: ffffffff
filenames:
  adler32_neon.c/arm_features.c/arm_features.h/arm_functions.h/chunkset_neon.c/compare256_neon.c/crc32_acle.c/slide_hash_neon.c


dirname: /usr/src/debug/zlib-ng-2.2.5-2.fc43.aarch64/arch/generic
filetypes: ffffffffff
filenames:
  adler32_c.c/adler32_fold_c.c/chunk_permute_table.h/chunkset_c.c/compare256_c.c/compare256_p.h/crc32_braid_c.c/crc32_fold_c.c/generic_functions.h/slide_hash_c.c


dirname: /usr/lib/debug/.build-id/ae
filetypes: ffff
filenames:
  6c9e5f33524335ed8dd2e9e2a9496e6c521be7/6c9e5f33524335ed8dd2e9e2a9496e6c521be7.debug/c37ecf1c8d9afb327edc1e70d7d5e6294a9c75/c37ecf1c8d9afb327edc1e70d7d5e6294a9c75.debug


dirname: /usr/lib/debug/.build-id/17
filetypes: ffff
filenames:
  236aff1f2cead7601e701b505f5066344cd271/236aff1f2cead7601e701b505f5066344cd271.debug/e1b8151f4dd5cfb142f6d9af2632ac64c1a246/e1b8151f4dd5cfb142f6d9af2632ac64c1a246.debug


dirname: /usr/lib/debug/.build-id/94
filetypes: ffffff
filenames:
  a5a4988b8fce16972a555fb636aea310d89dce/a5a4988b8fce16972a555fb636aea310d89dce.debug/a8824da927628c540f2cce64b1bde8e5f752f7/a8824da927628c540f2cce64b1bde8e5f752f7.debug/c96e418ca32a523ab509e959b7a061d9d49ec1/c96e418ca32a523ab509e959b7a061d9d49ec1.debug


dirname: /usr/lib/debug/.build-id
filetypes: dddddddddddddddddddddddddddddddddddddddddddddddddddddd
filenames:
  00/02/03/0a/0b/10/16/17/18/1e/1f/23/26/28/38/39/43/4f/50/5d/5e/64/66/6a/6d/72/77/7e/83/8a/94/96/a3/a5/a6/ae/c0/c2/c3/c4/c6/c7/cc/cf/d1/d3/d5/d9/dd/de/e1/e5/ea/f2


dirname: /usr/lib/debug/usr/lib64/znc
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  admindebug.so-1.9.1-13.fc43.aarch64.debug/adminlog.so-1.9.1-13.fc43.aarch64.debug/alias.so-1.9.1-13.fc43.aarch64.debug/autoattach.so-1.9.1-13.fc43.aarch64.debug/autocycle.so-1.9.1-13.fc43.aarch64.debug/autoop.so-1.9.1-13.fc43.aarch64.debug/autoreply.so-1.9.1-13.fc43.aarch64.debug/autovoice.so-1.9.1-13.fc43.aarch64.debug/awaynick.so-1.9.1-13.fc43.aarch64.debug/awaystore.so-1.9.1-13.fc43.aarch64.debug/block_motd.so-1.9.1-13.fc43.aarch64.debug/blockuser.so-1.9.1-13.fc43.aarch64.debug/bouncedcc.so-1.9.1-13.fc43.aarch64.debug/buffextras.so-1.9.1-13.fc43.aarch64.debug/cert.so-1.9.1-13.fc43.aarch64.debug/certauth.so-1.9.1-13.fc43.aarch64.debug/chansaver.so-1.9.1-13.fc43.aarch64.debug/clearbufferonmsg.so-1.9.1-13.fc43.aarch64.debug/clientnotify.so-1.9.1-13.fc43.aarch64.debug/controlpanel.so-1.9.1-13.fc43.aarch64.debug/corecaps.so-1.9.1-13.fc43.aarch64.debug/crypt.so-1.9.1-13.fc43.aarch64.debug/ctcpflood.so-1.9.1-13.fc43.aarch64.debug/cyrusauth.so-1.9.1-13.fc43.aarch64.debug/dcc.so-1.9.1-13.fc43.aarch64.debug/disconkick.so-1.9.1-13.fc43.aarch64.debug/fail2ban.so-1.9.1-13.fc43.aarch64.debug/flooddetach.so-1.9.1-13.fc43.aarch64.debug/identfile.so-1.9.1-13.fc43.aarch64.debug/imapauth.so-1.9.1-13.fc43.aarch64.debug/keepnick.so-1.9.1-13.fc43.aarch64.debug/kickrejoin.so-1.9.1-13.fc43.aarch64.debug/lastseen.so-1.9.1-13.fc43.aarch64.debug/listsockets.so-1.9.1-13.fc43.aarch64.debug/log.so-1.9.1-13.fc43.aarch64.debug/missingmotd.so-1.9.1-13.fc43.aarch64.debug/modules_online.so-1.9.1-13.fc43.aarch64.debug/nickserv.so-1.9.1-13.fc43.aarch64.debug/notes.so-1.9.1-13.fc43.aarch64.debug/notify_connect.so-1.9.1-13.fc43.aarch64.debug/perform.so-1.9.1-13.fc43.aarch64.debug/raw.so-1.9.1-13.fc43.aarch64.debug/route_replies.so-1.9.1-13.fc43.aarch64.debug/sample.so-1.9.1-13.fc43.aarch64.debug/samplewebapi.so-1.9.1-13.fc43.aarch64.debug/sasl.so-1.9.1-13.fc43.aarch64.debug/savebuff.so-1.9.1-13.fc43.aarch64.debug/schat.so-1.9.1-13.fc43.aarch64.debug/send_raw.so-1.9.1-13.fc43.aarch64.debug/shell.so-1.9.1-13.fc43.aarch64.debug/simple_away.so-1.9.1-13.fc43.aarch64.debug/stickychan.so-1.9.1-13.fc43.aarch64.debug/stripcontrols.so-1.9.1-13.fc43.aarch64.debug/watch.so-1.9.1-13.fc43.aarch64.debug/webadmin.so-1.9.1-13.fc43.aarch64.debug


dirname: /usr/lib/debug/.build-id/00
filetypes: ffff
filenames:
  22aed61766282e988dae706c40621fce743ec2/22aed61766282e988dae706c40621fce743ec2.debug/f9de66f8973fd3a2acc1936c42a0eda5534174/f9de66f8973fd3a2acc1936c42a0eda5534174.debug


dirname: /usr/lib/debug/.build-id/e1
filetypes: ffff
filenames:
  bce150151a2c94b7908f263918b74021601ca2/bce150151a2c94b7908f263918b74021601ca2.debug/f43f75ff237bfecc53a608c094f74fe2867389/f43f75ff237bfecc53a608c094f74fe2867389.debug


dirname: /usr/lib/debug/.build-id/c3
filetypes: ffff
filenames:
  64344a8670582c2ae71eaf489c6b824dbfc4e7/64344a8670582c2ae71eaf489c6b824dbfc4e7.debug/ef35ac09333acb74699399393fdcc1e9f9f5b8/ef35ac09333acb74699399393fdcc1e9f9f5b8.debug


dirname: /usr/src/debug/znc-1.9.1-13.fc43.aarch64/include/znc
filetypes: ffffffffffffffffffffffffffffff
filenames:
  Buffer.h/Chan.h/Client.h/Config.h/ExecSock.h/FileUtils.h/HTTPSock.h/IRCNetwork.h/IRCSock.h/Listener.h/MD5.h/Message.h/Modules.h/Nick.h/Query.h/SHA256.h/SSLVerifyHost.h/Server.h/Socket.h/Template.h/Threads.h/Translation.h/User.h/Utils.h/WebModules.h/ZNCDebug.h/ZNCString.h/main.h/version.h/znc.h


dirname: /usr/src/debug/znc-1.9.1-13.fc43.aarch64/src
filetypes: fffffffffffffffffffffffffffff
filenames:
  Buffer.cpp/Chan.cpp/Client.cpp/ClientCommand.cpp/Config.cpp/FileUtils.cpp/HTTPSock.cpp/IRCNetwork.cpp/IRCSock.cpp/Listener.cpp/MD5.cpp/Message.cpp/Modules.cpp/Nick.cpp/Query.cpp/SHA256.cpp/SSLVerifyHost.cpp/Server.cpp/Socket.cpp/Template.cpp/Threads.cpp/Translation.cpp/User.cpp/Utils.cpp/WebModules.cpp/ZNCDebug.cpp/ZNCString.cpp/main.cpp/znc.cpp


dirname: /usr/src/debug/znc-1.9.1-13.fc43.aarch64/modules
filetypes: ffffffffffffffffffffffffffffffffffffdfdfffffffffffffffffffff
filenames:
  admindebug.cpp/adminlog.cpp/alias.cpp/autoattach.cpp/autocycle.cpp/autoop.cpp/autoreply.cpp/autovoice.cpp/awaynick.cpp/awaystore.cpp/block_motd.cpp/blockuser.cpp/bouncedcc.cpp/buffextras.cpp/cert.cpp/certauth.cpp/chansaver.cpp/clearbufferonmsg.cpp/clientnotify.cpp/controlpanel.cpp/corecaps.cpp/crypt.cpp/ctcpflood.cpp/cyrusauth.cpp/dcc.cpp/disconkick.cpp/fail2ban.cpp/flooddetach.cpp/identfile.cpp/imapauth.cpp/keepnick.cpp/kickrejoin.cpp/lastseen.cpp/listsockets.cpp/log.cpp/missingmotd.cpp/modperl/modperl.cpp/modpython/modpython.cpp/modtcl.cpp/modules_online.cpp/nickserv.cpp/notes.cpp/notify_connect.cpp/perform.cpp/raw.cpp/route_replies.cpp/sample.cpp/samplewebapi.cpp/sasl.cpp/savebuff.cpp/schat.cpp/send_raw.cpp/shell.cpp/simple_away.cpp/stickychan.cpp/stripcontrols.cpp/watch.cpp/webadmin.cpp


dirname: /usr/lib/debug/.build-id
filetypes: dddddddddddddddddddddddddddddddddd
filenames:
  06/08/0a/0f/10/19/1e/20/29/2b/30/38/3c/42/4b/4f/5d/5e/65/6e/70/73/75/78/84/93/a5/a6/a9/af/b5/c2/d4/f6


dirname: /usr/lib/debug/.build-id/08
filetypes: ffff
filenames:
  12058f1b4e11f6a0b20da3bd45bbdca337cdb1/12058f1b4e11f6a0b20da3bd45bbdca337cdb1.debug/dd7bee259919e23164f9de27d61113f11033e3/dd7bee259919e23164f9de27d61113f11033e3.debug


dirname: /usr/lib/debug/.build-id/6e
filetypes: ffff
filenames:
  00e4f54190ede5d209f09b08339794566c0946/00e4f54190ede5d209f09b08339794566c0946.debug/d5fca963f4f792ff14f442cdd7bf4296188186/d5fca963f4f792ff14f442cdd7bf4296188186.debug


dirname: /usr/lib/debug/.build-id/38
filetypes: ffff
filenames:
  20bbd85f59485f2baf5c6861524e2dbe2e35e5/20bbd85f59485f2baf5c6861524e2dbe2e35e5.debug/4a308befd857bf0d08b0948e7dd29782defe27/4a308befd857bf0d08b0948e7dd29782defe27.debug


dirname: /usr/lib/debug/.build-id/84
filetypes: ffff
filenames:
  307e443646c73ffa0c1ae9c6bbb90e19819826/307e443646c73ffa0c1ae9c6bbb90e19819826.debug/fc9763346cbc72e6b44197c24ea41d3a3e3184/fc9763346cbc72e6b44197c24ea41d3a3e3184.debug


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


dirname: /usr/src/debug/zsh-5.9-18.fc43.aarch64/Src
filetypes: dddfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
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/zsh.h


dirname: /usr/src/debug/zsh-5.9-18.fc43.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.9-18.fc43.aarch64/Src/Modules
filetypes: ffffffffffffffffffffffffffffffffff
filenames:
  attr.c/cap.c/clone.c/curses.c/curses_keys.h/datetime.c/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/watch.c/watch.pro/zftp.c/zprof.c/zpty.c/zselect.c/zutil.c


