# filelist

dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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/array_peq.cpp/array_peq.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/converters/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/polymorphism_inst.cpp/polymorphism_inst.h/polymorphism_util.cpp/polymorphism_util.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/simplifiers/sls/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:
  ffffffffffffffffffffffffffffffffffdffffffffffdfffffffffffffffffffffdffffffffffddffffdffffffffdffffffffdfffffddffffdfffffff


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/sat
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffdd
filenames:
  dimacs.cpp/dimacs.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_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_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.16.0-1.fc44.s390x/src/nlsat
filetypes: fffffffffffffffffffffffffd
filenames:
  levelwise.cpp/levelwise.h/nlsat_assignment.h/nlsat_clause.cpp/nlsat_clause.h/nlsat_common.cpp/nlsat_common.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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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/bv_slice_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.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/redhat-linux-build/src/params
filetypes: ffffffffffffffff
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_parallel_params.hpp/smt_params_helper.hpp/solver_params.hpp/tactic_params.hpp


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/src/sat/smt
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arith_axioms.cpp/arith_diagnostics.cpp/arith_internalize.cpp/arith_solver.cpp/arith_solver.h/arith_theory_checker.h/arith_value.cpp/arith_value.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/bv_theory_checker.cpp/bv_theory_checker.h/distinct_theory_checker.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_proof_checker.cpp/euf_proof_checker.h/euf_relevancy.cpp/euf_relevancy.h/euf_solver.cpp/euf_solver.h/fpa_solver.cpp/fpa_solver.h/intblast_solver.cpp/intblast_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_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/q_theory_checker.cpp/q_theory_checker.h/recfun_solver.cpp/recfun_solver.h/sat_internalizer.h/sat_smt.h/sat_th.cpp/sat_th.h/sls_solver.cpp/sls_solver.h/specrel_solver.cpp/specrel_solver.h/tseitin_theory_checker.cpp/tseitin_theory_checker.h/user_solver.cpp/user_solver.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/src/math/simplex
filetypes: ffffffffff
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/sparse_matrix_ops.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/src/ast/substitution
filetypes: fffffffffffff
filenames:
  demodulator_rewriter.cpp/demodulator_rewriter.h/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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/lim_vector.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/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/sat_sls.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/search_tree.h/sexpr.cpp/sexpr.h/sign.h/small_object_allocator.cpp/small_object_allocator.h/smt2_util.cpp/smt2_util.h/sorting_network.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/tbv.cpp/tbv.h/timeit.cpp/timeit.h/timeout.cpp/timeout.h/timer.h/top_sort.h/trace.cpp/trace.h/trace_tags.h/trail.h/uint_set.h/union_find.h/util.cpp/util.h/var_queue.h/vector.h/visit_helper.h/warning.cpp/warning.h/z3_exception.cpp/z3_exception.h/zstring.cpp/zstring.h

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/tactic/ufbv
filetypes: ffffffff
filenames:
  macro_finder_tactic.cpp/macro_finder_tactic.h/quasi_macros_tactic.cpp/quasi_macros_tactic.h/ufbv_rewriter_tactic.cpp/ufbv_rewriter_tactic.h/ufbv_tactic.cpp/ufbv_tactic.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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_coi.cpp/nla_coi.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_pp.cpp/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: 114 characters]


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/src/qe/mbp
filetypes: fffffffffffffffffffffffff
filenames:
  mbp_arith.cpp/mbp_arith.h/mbp_arrays.cpp/mbp_arrays.h/mbp_arrays_tg.cpp/mbp_arrays_tg.h/mbp_basic_tg.cpp/mbp_basic_tg.h/mbp_datatypes.cpp/mbp_datatypes.h/mbp_dt_tg.cpp/mbp_dt_tg.h/mbp_euf.cpp/mbp_euf.h/mbp_plugin.cpp/mbp_plugin.h/mbp_qel.cpp/mbp_qel.h/mbp_qel_util.cpp/mbp_qel_util.h/mbp_solve_plugin.cpp/mbp_solve_plugin.h/mbp_term_graph.cpp/mbp_term_graph.h/mbp_tg_plugins.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/src/solver
filetypes: dffffffffffffffffffffffffffffff
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_tactical.cpp/parallel_tactical.h/preferred_value_propagator.h/progress_callback.h/simplifier_solver.cpp/simplifier_solver.h/slice_solver.cpp/slice_solver.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/solver_preprocess.cpp/solver_preprocess.h/tactic2solver.cpp/tactic2solver.h


dirname: /usr/lib/debug/usr/bin
filetypes: fff
filenames:
  zabbix_get-7.4.8-1.fc44.s390x.debug/zabbix_js-7.4.8-1.fc44.s390x.debug/zabbix_sender-7.4.8-1.fc44.s390x.debug


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/build-frontend/src/libs
filetypes: ddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd
filenames:
  zbxagentget/zbxalgo/zbxasynchttppoller/zbxasyncpoller/zbxaudit/zbxautoreg/zbxavailability/zbxbincommon/zbxcacheconfig/zbxcachehistory/zbxcachevalue/zbxcfg/zbxcommon/zbxcomms/zbxcommshigh/zbxcompress/zbxconnector/zbxcrypto/zbxcurl/zbxdb/zbxdbhigh/zbxdbschema/zbxdbsyncer/zbxdbupgrade/zbxdbwrap/zbxdiag/zbxdiscoverer/zbxdiscovery/zbxembed/zbxeval/zbxevent/zbxexec/zbxexport/zbxexpr/zbxexpression/zbxfile/zbxgetopt/zbxhash/zbxhistory/zbxhttp/zbxhttppoller/zbxicmpping/zbxinterface/zbxip/zbxipcservice/zbxipmi/zbxjson/zbxkvs/zbxlog/zbxmodules/zbxmutexs/zbxnix/zbxnum/zbxodbc/zbxparam/zbxpgservice/zbxpinger/zbxpoller/zbxpreproc/zbxpreprocbase/zbxprof/zbxprometheus/zbxproxybuffer/zbxregexp/zbxrtc/zbxscripts/zbxself/zbxserialize/zbxshmem/zbxsnmptrapper/zbxstats/zbxstr/zbxsysinfo/zbxtagfilter/zbxtasks/zbxthreads/zbxtime/zbxtimekeeper/zbxtrapper/zbxtrends/zbxvariant/zbxvault/zbxversion/zbxvmware/zbxxml


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/build-server-postgresql/src/zabbix_server
filetypes: dddddddddddddddddddddddddddd
filenames:
  actions/audit/autoreg/cachehistory/connector/dbconfig/dbconfigworker/diag/discovery/escalator/events/ha/housekeeper/lld/operations/pgmanager/poller/postinit/preproc/proxyconfigread/proxypoller/reporter/rtc/service/stats/taskmanager/timer/trapper


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/zabbix_server/lld
filetypes: ffffffffffffffffff
filenames:
  lld.c/lld.h/lld_audit.c/lld_audit.h/lld_common.c/lld_entry.c/lld_graph.c/lld_host.c/lld_item.c/lld_macro.c/lld_manager.c/lld_manager.h/lld_protocol.c/lld_protocol.h/lld_rule.c/lld_trigger.c/lld_worker.c/lld_worker.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/zabbix_proxy
filetypes: ddddddddfdddddd
filenames:
  autoreg/cachehistory/datasender/diag/discovery/housekeeper/poller/preproc/proxy.c/proxyconfig/proxyconfigwrite/rtc/stats/taskmanager/trapper


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxalgo
filetypes: ffffffffff
filenames:
  algodefs.c/algodefs.h/binaryheap.c/hashmap.c/hashset.c/int128.c/linked_list.c/prediction.c/queue.c/vector.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxvmware
filetypes: fffffffffffffffffff
filenames:
  vmware.c/vmware_ds.c/vmware_ds.h/vmware_event.c/vmware_event.h/vmware_hv.c/vmware_hv.h/vmware_internal.h/vmware_manager.c/vmware_perfcntr.c/vmware_perfcntr.h/vmware_rest.c/vmware_service_cfglists.c/vmware_service_cfglists.h/vmware_shmem.c/vmware_shmem.h/vmware_stats.c/vmware_vm.c/vmware_vm.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxdbhigh
filetypes: fffffffffff
filenames:
  db.c/db_settings.c/item.c/item_param.c/lld_override.c/maintenance.c/mediatype.c/proxy.c/sync.c/tag.c/trigger.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/zabbix_server
filetypes: dddddddddddddddddddddddfddddd
filenames:
  actions/audit/autoreg/cachehistory/connector/dbconfig/dbconfigworker/diag/discovery/escalator/events/ha/housekeeper/lld/operations/pgmanager/poller/postinit/preproc/proxyconfigread/proxypoller/reporter/rtc/server.c/service/stats/taskmanager/timer/trapper


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/zabbix_server/housekeeper
filetypes: fffff
filenames:
  history_compress.c/history_compress.h/housekeeper_server.c/housekeeper_server.h/trigger_housekeeper.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxexpression
filetypes: ffffffffffffff
filenames:
  anomalystl.c/anomalystl.h/datafunc.c/datafunc.h/evalfunc.c/evalfunc.h/evalsimple.c/expr_eval.c/expression.c/expression.h/expression_names.c/funcparam.c/funcparam.h/triggerfunc.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxdbwrap
filetypes: fffffffffffffffff
filenames:
  event.c/graph_linking.c/graph_linking.h/host.c/item.c/macro_ctx_trigger.c/permission.c/proxy.c/template.h/template_item.c/template_item_audit.c/trigger.c/trigger_dep_linking.c/trigger_dep_linking.h/trigger_linking.c/trigger_linking.h/user.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxpreproc
filetypes: ffffffffffffffffffffff
filenames:
  item_preproc.c/item_preproc.h/pp_cache.c/pp_cache.h/pp_diag.c/pp_error.c/pp_error.h/pp_execute.c/pp_execute.h/pp_manager.c/pp_manager.h/pp_protocol.c/pp_protocol.h/pp_queue.c/pp_queue.h/pp_stats.c/pp_task.c/pp_task.h/pp_worker.c/pp_worker.h/preproc_snmp.c/preproc_snmp.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/zabbix_server/trapper
filetypes: ffffff
filenames:
  proxydata.c/proxydata.h/trapper_history_push.c/trapper_history_push.h/trapper_server.c/trapper_server.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxpoller
filetypes: fffffffffffffffffffffffffffffffffffffffff
filenames:
  async_agent.c/async_httpagent.c/async_httpagent.h/async_manager.c/async_manager.h/async_poller.c/async_queue.c/async_queue.h/async_worker.c/async_worker.h/checks_agent.c/checks_browser.c/checks_browser.h/checks_calculated.c/checks_calculated.h/checks_db.c/checks_db.h/checks_external.c/checks_external.h/checks_http.c/checks_http.h/checks_internal.c/checks_internal.h/checks_java.c/checks_java.h/checks_script.c/checks_script.h/checks_simple.c/checks_simple.h/checks_simple_vmware.c/checks_simple_vmware.h/checks_snmp.c/checks_snmp.h/checks_ssh.c/checks_telnet.c/poller.c/poller_thread.c/ssh2_run.c/ssh_run.h/telnet_run.c/telnet_run.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/build-server-postgresql/src/libs
filetypes: ddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd
filenames:
  zbxagentget/zbxalerter/zbxalgo/zbxasynchttppoller/zbxasyncpoller/zbxaudit/zbxautoreg/zbxavailability/zbxbincommon/zbxcacheconfig/zbxcachehistory/zbxcachevalue/zbxcfg/zbxcommon/zbxcomms/zbxcommshigh/zbxcompress/zbxconnector/zbxcrypto/zbxcurl/zbxdb/zbxdbhigh/zbxdbschema/zbxdbsyncer/zbxdbupgrade/zbxdbwrap/zbxdiag/zbxdiscoverer/zbxdiscovery/zbxembed/zbxescalations/zbxeval/zbxevent/zbxexec/zbxexport/zbxexpr/zbxexpression/zbxfile/zbxgetopt/zbxhash/zbxhistory/zbxhttp/zbxhttppoller/zbxicmpping/zbxinterface/zbxip/zbxipcservice/zbxipmi/zbxjson/zbxkvs/zbxlog/zbxmedia/zbxmodules/zbxmutexs/zbxnix/zbxnum/zbxodbc/zbxparam/zbxpgservice/zbxpinger/zbxpoller/zbxpreproc/zbxpreprocbase/zbxprof/zbxprometheus/zbxproxybuffer/zbxregexp/zbxrtc/zbxscripts/zbxself/zbxserialize/zbxservice/zbxshmem/zbxsnmptrapper/zbxstats/zbxstr/zbxsysinfo/zbxtagfilter/zbxtasks/zbxthreads/zbxtime/zbxtimekeeper/zbxtrapper/zbxtrends/zbxvariant/zbxvault/zbxversion/zbxvmware/zbxxml


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxdbupgrade
filetypes: ffffffffffffffffffffffffffffffffffffffff
filenames:
  dbupgrade.c/dbupgrade.h/dbupgrade_2010.c/dbupgrade_2020.c/dbupgrade_2030.c/dbupgrade_2040.c/dbupgrade_2050.c/dbupgrade_3000.c/dbupgrade_3010.c/dbupgrade_3020.c/dbupgrade_3030.c/dbupgrade_3040.c/dbupgrade_3050.c/dbupgrade_4000.c/dbupgrade_4010.c/dbupgrade_4020.c/dbupgrade_4030.c/dbupgrade_4040.c/dbupgrade_4050.c/dbupgrade_5000.c/dbupgrade_5010.c/dbupgrade_5020.c/dbupgrade_5030.c/dbupgrade_5040.c/dbupgrade_5050.c/dbupgrade_6000.c/dbupgrade_6010.c/dbupgrade_6020.c/dbupgrade_6030.c/dbupgrade_6040.c/dbupgrade_6050.c/dbupgrade_7000.c/dbupgrade_7010.c/dbupgrade_7020.c/dbupgrade_7030.c/dbupgrade_7040.c/dbupgrade_common.c/dbupgrade_common.h/dbupgrade_macros.c/dbupgrade_macros.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/include
filetypes: ddffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  audit/common/module.h/zbx_discoverer_constants.h/zbxagentget.h/zbxalerter.h/zbxalgo.h/zbxasynchttppoller.h/zbxasyncpoller.h/zbxautoreg.h/zbxavailability.h/zbxbincommon.h/zbxcacheconfig.h/zbxcachehistory.h/zbxcachevalue.h/zbxcfg.h/zbxcommon.h/zbxcomms.h/zbxcommshigh.h/zbxcompress.h/zbxconnector.h/zbxcrypto.h/zbxcurl.h/zbxdb.h/zbxdbhigh.h/zbxdbschema.h/zbxdbsyncer.h/zbxdbupgrade.h/zbxdbwrap.h/zbxdiag.h/zbxdiscoverer.h/zbxdiscovery.h/zbxembed.h/zbxescalations.h/zbxeval.h/zbxevent.h/zbxexec.h/zbxexport.h/zbxexpr.h/zbxexpression.h/zbxfile.h/zbxgetopt.h/zbxhash.h/zbxhistory.h/zbxhttp.h/zbxhttppoller.h/zbxicmpping.h/zbxinterface.h/zbxip.h/zbxipcservice.h/zbxipmi.h/zbxjson.h/zbxkvs.h/zbxlog.h/zbxmedia.h/zbxmodules.h/zbxmutexs.h/zbxnix.h/zbxnum.h/zbxodbc.h/zbxparam.h/zbxpgservice.h/zbxpinger.h/zbxpoller.h/zbxpreproc.h/zbxpreprocbase.h/zbxprof.h/zbxprometheus.h/zbxproxybuffer.h/zbxregexp.h/zbxrtc.h/zbxscripts.h/zbxself.h/zbxserialize.h/zbxservice.h/zbxshmem.h/zbxsnmptrapper.h/zbxstats.h/zbxstr.h/zbxsysinfo.h/zbxtagfilter.h/zbxtasks.h/zbxthreads.h/zbxtime.h/zbxtimekeeper.h/zbxtrapper.h/zbxtrends.h/zbxvariant.h/zbxvault.h/zbxversion.h/zbxvmware.h/zbxxml.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxsysinfo/common
filetypes: fffffffffffffffffffffffffffff
filenames:
  cpu.c/cpustat.c/cpustat.h/dir.c/dir.h/diskdevices.c/diskdevices.h/dns.c/dns.h/http.c/http.h/http_metrics.c/http_metrics.h/ip_reverse.c/ip_reverse.h/net.c/net.h/procstat.c/procstat.h/stats.c/stats.h/system.c/system.h/vfs_file.c/vfs_file.h/zabbix_stats.c/zabbix_stats.h/zbxsysinfo_common.c/zbxsysinfo_common.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxcommon
filetypes: fffffff
filenames:
  common_log.c/common_str.c/components_strings_representations.c/cuid.c/libc_wrappers.c/misc.c/setproctitle.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxdiscoverer
filetypes: ffffffffffffffff
filenames:
  async_http.c/async_http.h/async_tcpsvc.c/async_tcpsvc.h/async_telnet.c/async_telnet.h/discoverer.c/discoverer_async.c/discoverer_async.h/discoverer_int.h/discoverer_job.c/discoverer_job.h/discoverer_queue.c/discoverer_queue.h/discoverer_taskprep.c/discoverer_taskprep.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxtrapper
filetypes: fffffffffff
filenames:
  active.c/active.h/nodecommand.c/nodecommand.h/trapper.c/trapper_auth.c/trapper_expressions_evaluate.c/trapper_expressions_evaluate.h/trapper_item_test.c/trapper_item_test.h/trapper_preproc.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxipmi
filetypes: ffffffff
filenames:
  checks_ipmi.c/checks_ipmi.h/ipmi.c/ipmi.h/ipmi_manager.c/ipmi_poller.c/ipmi_protocol.c/ipmi_protocol.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxalerter
filetypes: ffffffff
filenames:
  alert.c/alert_manager.c/alert_syncer.c/alerter.c/alerter_internal.h/alerter_protocol.c/alerter_protocol.h/oauth.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxnix
filetypes: fffffffffffff
filenames:
  control.c/coredump.c/daemon.c/dshm.c/fatal.c/fatal.h/ipc.c/nix_internal.c/nix_internal.h/pid.c/pid.h/sigcommon.h/sighandler.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/build-server-postgresql/src/zabbix_proxy
filetypes: dddddddddddddd
filenames:
  autoreg/cachehistory/datasender/diag/discovery/housekeeper/poller/preproc/proxyconfig/proxyconfigwrite/rtc/stats/taskmanager/trapper


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxproxybuffer
filetypes: ffffffff
filenames:
  pb_autoreg.c/pb_autoreg.h/pb_discovery.c/pb_discovery.h/pb_history.c/pb_history.h/proxybuffer.c/proxybuffer.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxcacheconfig
filetypes: ffffffffffffffffff
filenames:
  dbconfig.c/dbconfig.h/dbconfig_dump.c/dbconfig_maintenance.c/dbhistoryconfig.c/dbsettings.c/dbsync.c/dbsync.h/inventory.c/item.c/macro_ctx.c/proxy_group.c/proxy_group.h/trigger.c/user_macro.c/user_macro.h/vps_monitor.c/vps_monitor.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxembed
filetypes: ffffffffffffffffffffffffff
filenames:
  browser.c/browser_alert.c/browser_alert.h/browser_element.c/browser_element.h/browser_error.c/browser_error.h/browser_perf.c/browser_perf.h/console.c/console.h/duk_config.h/duktape.c/duktape.h/embed.c/embed.h/embed_xml.c/embed_xml.h/global.c/global.h/httprequest.c/httprequest.h/webdriver.c/webdriver.h/zabbix.c/zabbix.h


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/src/libs/zbxsysinfo/linux
filetypes: ffffffffffffffffffff
filenames:
  boottime.c/cpu.c/diskio.c/diskspace.c/hardware.c/hostname.c/inodes.c/inodes.h/kernel.c/linux.c/memory.c/net.c/proc.c/proc.h/sensors.c/software.c/software.h/swap.c/system.c/uptime.c


dirname: /usr/src/debug/zabbix-7.4.8-1.fc44.s390x/include/audit
filetypes: fffffff
filenames:
  zbxaudit.h/zbxaudit_graph.h/zbxaudit_ha.h/zbxaudit_host.h/zbxaudit_httptest.h/zbxaudit_item.h/zbxaudit_trigger.h


dirname: /usr/src/debug/zenity-4.2.2-1.fc44.s390x/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/zlib-ng-2.3.3-3.fc44.s390x/arch/generic
filetypes: ffffffffff
filenames:
  adler32_c.c/adler32_fold_c.c/chunkset_c.c/compare256_c.c/compare256_p.h/crc32_braid_c.c/crc32_chorba_c.c/crc32_fold_c.c/generic_functions.h/slide_hash_c.c


dirname: /usr/src/debug/zlib-ng-2.3.3-3.fc44.s390x/arch/s390
filetypes: ffffffffff
filenames:
  crc32-vx.c/dfltcc_common.h/dfltcc_deflate.c/dfltcc_deflate.h/dfltcc_detail.h/dfltcc_inflate.c/dfltcc_inflate.h/s390_features.c/s390_features.h/s390_functions.h


dirname: /usr/src/debug/zlib-ng-2.3.3-3.fc44.s390x
filetypes: ffdfffffffffffffffffffffffffffffffffffffffddfffffffff
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/gzread.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/zork-1.0.3-12.fc44.s390x
filetypes: ffffffffffffffffffffffffffffffffffff
filenames:
  actors.c/ballop.c/clockr.c/demons.c/dgame.c/dinit.c/dmain.c/dso1.c/dso2.c/dso3.c/dso4.c/dso5.c/dso6.c/dso7.c/dsub.c/dverb1.c/dverb2.c/funcs.h/gdt.c/lightp.c/local.c/nobjs.c/np.c/np1.c/np2.c/np3.c/nrooms.c/objcts.c/parse.h/rooms.c/sobjs.c/supp.c/sverbs.c/vars.h/verbs.c/villns.c


