# filelist

dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/sat/bmc
filetypes: fffffffffffffffffffffffffffffffff
filenames:
  bmc.h/bmcBCore.c/bmcBmc.c/bmcBmc2.c/bmcBmc3.c/bmcBmcAnd.c/bmcBmcG.c/bmcBmcS.c/bmcBmci.c/bmcCexCare.c/bmcCexCut.c/bmcCexDepth.c/bmcCexMin1.c/bmcCexMin2.c/bmcCexTools.c/bmcChain.c/bmcClp.c/bmcEco.c/bmcExpand.c/bmcFault.c/bmcFx.c/bmcGen.c/bmcICheck.c/bmcInse.c/bmcLoad.c/bmcMaj.c/bmcMaj2.c/bmcMaj3.c/bmcMaxi.c/bmcMesh.c/bmcMesh2.c/bmcMulti.c/bmcUnroll.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/map/mpm
filetypes: ffffffffffffff
filenames:
  mpm.h/mpmAbc.c/mpmCore.c/mpmDsd.c/mpmGates.c/mpmInt.h/mpmLib.c/mpmMan.c/mpmMap.c/mpmMig.c/mpmMig.h/mpmPre.c/mpmTruth.c/mpmUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/map/amap
filetypes: fffffffffffffff
filenames:
  amap.h/amapCore.c/amapGraph.c/amapInt.h/amapLib.c/amapLiberty.c/amapMan.c/amapMatch.c/amapMerge.c/amapOutput.c/amapParse.c/amapPerm.c/amapRead.c/amapRule.c/amapUniq.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/map/if/acd
filetypes: ffffffffffff
filenames:
  ac_decomposition.hpp/ac_wrapper.cpp/ac_wrapper.h/acd66.hpp/acdXX.hpp/kitty_algorithm.hpp/kitty_constants.hpp/kitty_constructors.hpp/kitty_dynamic_tt.hpp/kitty_operations.hpp/kitty_operators.hpp/kitty_static_tt.hpp


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/opt/rar
filetypes: fffffffffff
filenames:
  rewire_map.c/rewire_map.h/rewire_miaig.cpp/rewire_miaig.h/rewire_rar.c/rewire_rar.h/rewire_rng.c/rewire_rng.h/rewire_time.h/rewire_tt.h/rewire_vec.h


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/base/cba
filetypes: fffffffffff
filenames:
  cba.h/cbaBlast.c/cbaCba.c/cbaCom.c/cbaNtk.c/cbaPrs.h/cbaReadBlif.c/cbaReadVer.c/cbaTypes.h/cbaWriteBlif.c/cbaWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/base/abci
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  abc.c/abcAttach.c/abcAuto.c/abcBalance.c/abcBidec.c/abcBm.c/abcBmc.c/abcCas.c/abcCascade.c/abcCollapse.c/abcCut.c/abcDar.c/abcDarUnfold2.c/abcDebug.c/abcDec.c/abcDetect.c/abcDress.c/abcDress2.c/abcDress3.c/abcDsd.c/abcEco.c/abcExact.c/abcExtract.c/abcFraig.c/abcFx.c/abcFxu.c/abcGen.c/abcHaig.c/abcIf.c/abcIfMux.c/abcIfif.c/abcIvy.c/abcLog.c/abcLut.c/abcLutmin.c/abcMap.c/abcMerge.c/abcMfs.c/abcMini.c/abcMiter.c/abcMulti.c/abcNpn.c/abcNpnSave.c/abcNtbdd.c/abcOdc.c/abcOrchestration.c/abcOrder.c/abcPart.c/abcPrint.c/abcProve.c/abcQbf.c/abcQuant.c/abcReach.c/abcRec3.c/abcReconv.c/abcRefactor.c/abcRenode.c/abcReorder.c/abcRestruct.c/abcResub.c/abcRewrite.c/abcRpo.c/abcRr.c/abcRunGen.c/abcSat.c/abcSaucy.c/abcScorr.c/abcSense.c/abcSpeedup.c/abcStrash.c/abcSweep.c/abcSymm.c/abcTim.c/abcTiming.c/abcUnate.c/abcUnreach.c/abcVerify.c/abcXsim.c/abciUnfold2.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/sat/bsat
filetypes: fffffffffffffffffffffff
filenames:
  satClause.h/satInter.c/satInterA.c/satInterB.c/satInterP.c/satMem.c/satMem.h/satProof.c/satProof2.h/satSolver.c/satSolver.h/satSolver2.c/satSolver2.h/satSolver2i.c/satSolver3.c/satSolver3.h/satStore.c/satStore.h/satTrace.c/satTruth.c/satTruth.h/satUtil.c/satVec.h


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/sat/glucose2
filetypes: ffffffffffffffffffffffff
filenames:
  AbcGlucose2.cpp/AbcGlucose2.h/AbcGlucoseCmd2.cpp/Alg.h/Alloc.h/BoundedQueue.h/CGlucoseCore.h/Glucose2.cpp/Heap.h/Heap2.h/Map.h/Options.h/Options2.cpp/ParseUtils.h/Queue.h/SimpSolver.h/SimpSolver2.cpp/Solver.h/SolverTypes.h/Sort.h/System.h/System2.cpp/Vec.h/XAlloc.h


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/misc/mvc
filetypes: ffffffffffffffff
filenames:
  mvc.h/mvcApi.c/mvcCompare.c/mvcContain.c/mvcCover.c/mvcCube.c/mvcDivide.c/mvcDivisor.c/mvcList.c/mvcLits.c/mvcMan.c/mvcOpAlg.c/mvcOpBool.c/mvcPrint.c/mvcSort.c/mvcUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/base/cmd
filetypes: ffffffffffff
filenames:
  cmd.c/cmd.h/cmdAlias.c/cmdApi.c/cmdAuto.c/cmdFlag.c/cmdHist.c/cmdInt.h/cmdLoad.c/cmdPlugin.c/cmdStarter.c/cmdUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/opt/sfm
filetypes: ffffffffffff
filenames:
  sfm.h/sfmArea.c/sfmCnf.c/sfmCore.c/sfmDec.c/sfmInt.h/sfmLib.c/sfmMit.c/sfmNtk.c/sfmSat.c/sfmTim.c/sfmWin.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/opt/fxu
filetypes: ffffffffffffff
filenames:
  fxu.c/fxu.h/fxuCreate.c/fxuHeapD.c/fxuHeapS.c/fxuInt.h/fxuList.c/fxuMatrix.c/fxuPair.c/fxuPrint.c/fxuReduce.c/fxuSelect.c/fxuSingle.c/fxuUpdate.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/aig/gia
filenames:
  gia.h/giaAgi.c/giaAig.c/giaAig.h/giaAiger.c/giaAigerExt.c/giaBalAig.c/giaBalLut.c/giaBalMap.c/giaBidec.c/giaBound.c/giaCCof.c/giaCSat.c/giaCSat2.c/giaCSat3.c/giaCSatOld.c/giaCSatP.c/giaCSatP.h/giaCTas.c/giaCex.c/giaClp.c/giaCof.c/giaCone.c/giaCut.c/giaDecs.c/giaDeep.c/giaDfs.c/giaDup.c/giaEdge.c/giaEmbed.c/giaEnable.c/giaEquiv.c/giaEra.c/giaEra2.c/giaEsop.c/giaExist.c/giaFalse.c/giaFanout.c/giaForce.c/giaFrames.c/giaFront.c/giaFx.c/giaGen.c/giaGig.c/giaGlitch.c/giaHash.c/giaIf.c/giaIff.c/giaIiff.c/giaIso.c/giaIso2.c/giaIso3.c/giaJf.c/giaKf.c/giaLf.c/giaMan.c/giaMem.c/giaMf.c/giaMfs.c/giaMinLut.c/giaMinLut2.c/giaMini.c/giaMulFind.c/giaMuxes.c/giaNewBdd.h/giaNewTt.h/giaNf.c/giaOf.c/giaPack.c/giaPat.c/giaPat2.c/giaPf.c/giaQbf.c/giaReshape1.c/giaReshape2.c/giaResub.c/giaResub2.c/giaResub3.c/giaResub6.c/giaRetime.c/giaRex.c/giaRrr.cpp/giaSat3.c/giaSatEdge.c/giaSatLE.c/giaSatLut.c/giaSatMap.c/giaSatSyn.c/giaSatoko.c/giaScl.c/giaScript.c/giaShow.c/giaShrink.c/giaShrink6.c/giaShrink7.c/giaSif.c/giaSim.c/giaSim2.c/giaSimBase.c/giaSort.c/giaSpeedup.c/giaSplit.c/giaStg.c/giaStoch.c/giaStr.c/giaSupMin.c/giaSupp.c/giaSupps.c/giaSweep.c/giaSweeper.c/giaSwitch.c/giaTim.c/giaTis.c/giaTranStoch.c/giaTransduction.cpp/giaTransduction.h/giaTruth.c/giaTsim.c/giaTtopt.cpp/giaUnate.c/giaUtil.c

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


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/proof/live
filetypes: fffffffff
filenames:
  arenaViolation.c/combination.c/disjunctiveMonotone.c/kLiveConstraints.c/kliveness.c/liveness.c/liveness_sim.c/ltl_parser.c/monotone.c


dirname: /usr/src/debug/yosyshq-abc-0.52-1.20250411gite55d316.fc41.aarch64/src/proof/int
filetypes: ffffffffffff
filenames:
  int.h/intCheck.c/intContain.c/intCore.c/intCtrex.c/intDup.c/intFrames.c/intInt.h/intInter.c/intM114.c/intMan.c/intUtil.c


dirname: /usr/src/debug/yq-4.43.1-5.fc41.aarch64/_build/src/github.com/mikefarah/yq/v4/cmd
filetypes: ffffffff
filenames:
  constant.go/evaluate_all_command.go/evaluate_sequence_command.go/root.go/shell-completion.go/unwrap_flag.go/utils.go/version.go


dirname: /usr/src/debug/yq-4.43.1-5.fc41.aarch64/_build/src/github.com/mikefarah/yq/v4/pkg/yqlib
filenames:
  all_at_once_evaluator.go/candidate_node.go/candidate_node_goccy_yaml.go/candidate_node_yaml.go/candidiate_node_json.go/chown_linux.go/color_print.go/context.go/csv.go/data_tree_navigator.go/decoder.go/decoder_base64.go/decoder_csv_object.go/decoder_goccy_yaml.go/decoder_json.go/decoder_lua.go/decoder_properties.go/decoder_toml.go/decoder_uri.go/decoder_xml.go/decoder_yaml.go/encoder.go/encoder_base64.go/encoder_csv.go/encoder_json.go/encoder_lua.go/encoder_properties.go/encoder_sh.go/encoder_shellvariables.go/encoder_toml.go/encoder_uri.go/encoder_xml.go/encoder_yaml.go/expression_parser.go/expression_postfix.go/file_utils.go/format.go/front_matter.go/json.go/lexer.go/lexer_participle.go/lib.go/lua.go/matchKeyString.go/operation.go/operator_add.go/operator_alternative.go/operator_anchors_aliases.go/operator_assign.go/operator_booleans.go/operator_collect.go/operator_collect_object.go/operator_column.go/operator_comments.go/operator_compare.go/operator_contains.go/operator_create_map.go/operator_datetime.go/operator_delete.go/operator_divide.go/operator_document_index.go/operator_encoder_decoder.go/operator_entries.go/operator_env.go/operator_equals.go/operator_error.go/operator_eval.go/operator_expression.go/operator_file.go/operator_filter.go/operator_flatten.go/operator_group_by.go/operator_has.go/operator_keys.go/operator_kind.go/operator_length.go/operator_line.go/operator_load.go/operator_map.go/operator_modulo.go/operator_multiply.go/operator_omit.go/operator_parent.go/operator_path.go/operator_pick.go/operator_pipe.go/operator_recursive_descent.go/operator_reduce.go/operator_reverse.go/operator_select.go/operator_self.go/operator_shuffle.go/operator_slice.go/operator_sort.go/operator_sort_keys.go/operator_split_document.go/operator_strings.go/operator_style.go/operator_subtract.go/operator_tag.go/operator_to_number.go/operator_traverse_path.go/operator_union.go/operator_unique.go/operator_value.go/operator_variables.go/operator_with.go/operators.go/printer.go/printer_writer.go/properties.go/stream_evaluator.go/string_evaluator.go/utils.go/write_in_place_handler.go/xml.go/yaml.go

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


dirname: /usr/lib/debug/usr/bin
filetypes: ffff
filenames:
  mytool-3.1.0-1.fc41.aarch64.debug/uniconv-3.1.0-1.fc41.aarch64.debug/uniprint-3.1.0-1.fc41.aarch64.debug/yudit-3.1.0-1.fc41.aarch64.debug


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/svgicon
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  Best.cpp/BestEmpty.cpp/Cancel.cpp/CaretLR.cpp/CaretLRE.cpp/CaretLRO.cpp/CaretRL.cpp/CaretRLE.cpp/CaretRLO.cpp/Caution.cpp/CheckFinished.cpp/CheckStarted.cpp/CircleOff.cpp/CircleOn.cpp/Clear.cpp/CreateFolder.cpp/Document.cpp/EmbedLeft.cpp/EmbedNone.cpp/EmbedRight.cpp/Error.cpp/Find.cpp/Folder.cpp/Font.cpp/Goto.cpp/GreenLeft.cpp/GreenRight.cpp/Help.cpp/Home.cpp/Inform.cpp/LBDOS.cpp/LBLS.cpp/LBMAC.cpp/LBPS.cpp/LBUNIX.cpp/MagnifyMinus.cpp/MagnifyPlus.cpp/Open.cpp/Preview.cpp/Print.cpp/Redo.cpp/Right.cpp/SVGBase.h/Save.cpp/SaveNotNeeded.cpp/SedyGreen.cpp/SedyRed.cpp/Undo.cpp/Yes.cpp


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/stoolkit/sencoder
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  SBEncoder.cpp/SBEncoder.h/SB_BIG5.cpp/SB_BIG5.h/SB_BiDi.cpp/SB_BiDi.h/SB_DeShape.cpp/SB_DeShape.h/SB_EUC_JP.cpp/SB_EUC_JP.h/SB_EUC_JP0213.cpp/SB_EUC_JP0213.h/SB_EUC_KR.cpp/SB_EUC_KR.h/SB_GB18030.cpp/SB_GB18030.h/SB_GB2312_8.cpp/SB_GB2312_8.h/SB_Generic.cpp/SB_Generic.h/SB_HZ.cpp/SB_HZ.h/SB_ISO2022_JP.cpp/SB_ISO2022_JP.h/SB_ISO2022_JP3.cpp/SB_ISO2022_JP3.h/SB_Java.cpp/SB_Java.h/SB_Johab.cpp/SB_Johab.h/SB_NCR.cpp/SB_NCR.h/SB_S_JIS.cpp/SB_S_JIS.h/SB_S_JIS0213.cpp/SB_S_JIS0213.h/SB_UCS2.cpp/SB_UCS2.h/SB_UHC.cpp/SB_UHC.h/SB_UInput.cpp/SB_UInput.h/SB_UTF7.cpp/SB_UTF7.h/SB_UTF8.cpp/SB_UTF8.h/SB_X11_HZ.cpp/SB_X11_HZ.h/SB_X11_JP.cpp/SB_X11_JP.h/SB_X11_KSC.cpp/SB_X11_KSC.h


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/swindow
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  SAccelerator.cpp/SAccelerator.h/SAwt.cpp/SAwt.h/SCanvas.h/SCanvasBase.h/SColor.cpp/SColor.h/SColorDefs.i/SFont.cpp/SFont.h/SFontBDF.cpp/SFontBDF.h/SFontCFF.cpp/SFontCFF.h/SFontFB.cpp/SFontFB.h/SFontImpl.cpp/SFontImpl.h/SFontLookup.h/SFontNative.cpp/SFontNative.h/SFontOTF.cpp/SFontTTF.cpp/SFontTTF.h/SImage.cpp/SImage.h/SPen.cpp/SPen.h/SPostscript.cpp/SPostscript.h/SPrinter.cpp/SPrinter.h/SRasterizer.cpp/SRasterizer.h/SRedrawEvent.cpp/SRedrawEvent.h/SScriptProcessor.cpp/SScriptProcessor.h/SSyntaxColors.cpp/SSyntaxColors.h/STTables.h/SUniFont.cpp/SUniFont.h/SWindow.cpp/SWindow.h/sx11


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/gui
filetypes: fffffffffffffff
filenames:
  Main.cpp/SHighlightD.cpp/SHighlightD.h/SKMapDialog.cpp/SKMapDialog.h/SKMapPanel.cpp/SKMapPanel.h/SMessageBar.cpp/SMessageBar.h/SMessageLabel.cpp/SMessageLabel.h/SToolBar.cpp/SToolBar.h/SYudit.cpp/SYudit.h


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/swidget
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  SBorder.cpp/SBorder.h/SButton.cpp/SButton.h/SCaret.cpp/SCaret.h/SComponent.cpp/SComponent.h/SDialog.cpp/SDialog.h/SDrawing.cpp/SDrawing.h/SEditor.cpp/SEditor.h/SEditorIF.cpp/SEditorIF.h/SFileDialog.cpp/SFileDialog.h/SFrame.cpp/SFrame.h/SFreeHand.cpp/SFreeHand.h/SIcon.cpp/SIcon.h/SIconFactory.cpp/SIconFactory.h/SLabel.cpp/SLabel.h/SLayout.cpp/SLayout.h/SListBox.cpp/SListBox.h/SOpaqueLabel.cpp/SOpaqueLabel.h/SPanel.cpp/SPanel.h/SPasswordDialog.cpp/SPasswordDialog.h/SSlider.cpp/SSlider.h/STextDialog.cpp/STextDialog.h/STextEdit.cpp/STextEdit.h/STextEditLS.cpp/STextEditLS.h/STextList.cpp/STextList.h/STextTable.cpp/STextTable.h/STextView.cpp/STextView.h/SUndo.cpp/SUndo.h/SUniPrint.cpp/SUniPrint.h/SYuditInput.cpp/SYuditInput.h


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/stoolkit/syntax
filetypes: fffffffffff
filenames:
  SHunspellPattern.cpp/SHunspellPattern.h/SMatcher.cpp/SMatcher.h/SMatcherIterator.h/SPattern.cpp/SPattern.h/SSyntax.cpp/SSyntax.h/SSyntaxMarker.cpp/SSyntaxMarker.h


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/swindow/sx11
filetypes: ffffffffffff
filenames:
  SX11Color.cpp/SX11Color.h/SX11Font.cpp/SX11Font.h/SX11Impl.cpp/SX11Impl.h/SX11Window.cpp/SX11Window.h/SXEventHandler.cpp/SXEventHandler.h/SXInputMethod.cpp/SXInputMethod.h


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/icons
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  SS_Best.xpm/SS_Cancel.xpm/SS_Caution.xpm/SS_CircleOff.xpm/SS_CircleOn.xpm/SS_Clear.xpm/SS_CreateFolder.xpm/SS_Document.xpm/SS_DocumentCX.xpm/SS_DocumentXM.xpm/SS_DocumentXX.xpm/SS_EmbedLeft.xpm/SS_EmbedNone.xpm/SS_EmbedRight.xpm/SS_Error.xpm/SS_Find.xpm/SS_Folder.xpm/SS_Font.xpm/SS_Goto.xpm/SS_GreenLeft.xpm/SS_GreenRight.xpm/SS_Help.xpm/SS_Home.xpm/SS_Inform.xpm/SS_LBDOS.xpm/SS_LBLS.xpm/SS_LBMAC.xpm/SS_LBPS.xpm/SS_LBUNIX.xpm/SS_LRE_XPM.xpm/SS_LRO_XPM.xpm/SS_LR_XPM.xpm/SS_MagnifyMinus.xpm/SS_MagnifyPlus.xpm/SS_Open.xpm/SS_Preview.xpm/SS_Print.xpm/SS_RLE_XPM.xpm/SS_RLO_XPM.xpm/SS_RL_XPM.xpm/SS_Redo.xpm/SS_Right.xpm/SS_Save.xpm/SS_SaveNotNeeded.xpm/SS_SedyGreen.xpm/SS_SedyRed.xpm/SS_Undo.xpm/SS_Yes.xpm/SS_Yudit_XPM.xpm


dirname: /usr/src/debug/yudit-3.1.0-1.fc41.aarch64/stoolkit
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffddd
filenames:
  SAutogen.cpp/SAutogen.h/SBHashtable.cpp/SBHashtable.h/SBMap.cpp/SBMap.h/SBVector.cpp/SBVector.h/SBiDi.cpp/SBiDi.h/SBinHashtable.h/SBinVector.h/SCharClass.cpp/SCharClass.h/SCluster.cpp/SCluster.h/SCursorIndex.cpp/SCursorIndex.h/SDimension.cpp/SDimension.h/SEmbedState.cpp/SEmbedState.h/SEncoder.cpp/SEncoder.h/SEvent.cpp/SEvent.h/SEventBSD.cpp/SEventBSD.h/SExcept.cpp/SExcept.h/SGlyph.cpp/SGlyph.h/SGlyphShared.h/SHShared.cpp/SHShared.h/SHWConverter.cpp/SHWConverter.h/SHashtable.h/SIO.cpp/SIO.h/SIOStream.cpp/SIOStream.h/SLineCurve.cpp/SLineCurve.h/SLineTracker.h/SLocation.cpp/SLocation.h/SMatrix.cpp/SMatrix.h/SObject.h/SParagraph.cpp/SParagraph.h/SProperties.cpp/SProperties.h/SRectangle.cpp/SRectangle.h/SRendClass.cpp/SRendClass.h/SShared.cpp/SShared.h/SString.cpp/SString.h/SStringVector.cpp/SStringVector.h/STextData.cpp/STextData.h/STextIndex.cpp/STextIndex.h/STypes.h/SUniMap.cpp/SUniMap.h/SUniqueID.cpp/SUniqueID.h/SUtil.cpp/SUtil.h/SVector.h/sedy/sencoder/syntax


dirname: /usr/src/debug/z3-4.13.4-1.fc41.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.13.4-1.fc41.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_intblast.cpp/theory_intblast.h/theory_lra.cpp/theory_lra.h/theory_opt.cpp/theory_opt.h/theory_pb.cpp/theory_pb.h/theory_polymorphism.h/theory_recfun.cpp/theory_recfun.h/theory_seq.cpp/theory_seq.h/theory_sls.cpp/theory_sls.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:
  fffffffffffffffddffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.aarch64/src/sat
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffdd
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_wrapper.cpp/sat_ddfw_wrapper.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_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.13.4-1.fc41.aarch64/src/sat/smt
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
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_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/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.13.4-1.fc41.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/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.13.4-1.fc41.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.13.4-1.fc41.aarch64/redhat-linux-build/src/params
filetypes: ffffffffffffff
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/solver_params.hpp/tactic_params.hpp


dirname: /usr/src/debug/z3-4.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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/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/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/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/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/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:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/z3-4.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.aarch64/src/qe/mbp
filetypes: fffffffffffffffffffffff
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_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.13.4-1.fc41.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.13.4-1.fc41.aarch64/src/muz/spacer
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  spacer_antiunify.cpp/spacer_antiunify.h/spacer_arith_generalizers.cpp/spacer_arith_kernel.cpp/spacer_arith_kernel.h/spacer_callback.cpp/spacer_callback.h/spacer_cluster.cpp/spacer_cluster.h/spacer_cluster_util.cpp/spacer_concretize.cpp/spacer_concretize.h/spacer_conjecture.cpp/spacer_context.cpp/spacer_context.h/spacer_convex_closure.cpp/spacer_convex_closure.h/spacer_dl_interface.cpp/spacer_dl_interface.h/spacer_expand_bnd_generalizer.cpp/spacer_expand_bnd_generalizer.h/spacer_farkas_learner.cpp/spacer_farkas_learner.h/spacer_generalizers.cpp/spacer_generalizers.h/spacer_global_generalizer.cpp/spacer_global_generalizer.h/spacer_ind_lemma_generalizer.cpp/spacer_iuc_proof.cpp/spacer_iuc_proof.h/spacer_iuc_solver.cpp/spacer_iuc_solver.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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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/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_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: 107 characters]


dirname: /usr/src/debug/z3-4.13.4-1.fc41.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


dirname: /usr/src/debug/z3-4.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.aarch64/src/ast/euf
filetypes: ffffffffffffffffff
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_plugin.cpp/euf_plugin.h/euf_specrel_plugin.cpp/euf_specrel_plugin.h


dirname: /usr/src/debug/z3-4.13.4-1.fc41.aarch64/src/solver
filetypes: dfffffffffffffffffffffffffffff
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/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/src/debug/z3-4.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.aarch64/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.13.4-1.fc41.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.13.4-1.fc41.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/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.13.4-1.fc41.aarch64/src/muz/rel
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffff
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/udoc_relation.cpp/udoc_relation.h


dirname: /usr/src/debug/z3-4.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.aarch64/src/ast/sls
filetypes: ffffffffffffffffffffffffffffffffffffffff
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_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_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.13.4-1.fc41.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.13.4-1.fc41.aarch64/src/tactic/core
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffff
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/euf_completion_tactic.cpp/euf_completion_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.13.4-1.fc41.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.13.4-1.fc41.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.13.4-1.fc41.aarch64/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.13.4-1.fc41.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.13.4-1.fc41.aarch64/src/ast/simplifiers
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffff
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/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.13.4-1.fc41.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.13.4-1.fc41.aarch64/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.13.4-1.fc41.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.13.4-1.fc41.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/lib/debug/usr/bin
filetypes: fff
filenames:
  zabbix_get-7.0.17-1.fc41.aarch64.debug/zabbix_js-7.0.17-1.fc41.aarch64.debug/zabbix_sender-7.0.17-1.fc41.aarch64.debug


dirname: /usr/src/debug/zabbix-7.0.17-1.fc41.aarch64/build-server-mysql/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/src/libs/zbxexpression
filetypes: fffffffffffffff
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/lldfunc.c/triggerfunc.c


dirname: /usr/src/debug/zabbix-7.0.17-1.fc41.aarch64/src/zabbix_server/lld
filetypes: ffffffffffffffff
filenames:
  lld.c/lld.h/lld_audit.c/lld_audit.h/lld_common.c/lld_graph.c/lld_host.c/lld_item.c/lld_item_dep.c/lld_manager.c/lld_manager.h/lld_protocol.c/lld_protocol.h/lld_trigger.c/lld_worker.c/lld_worker.h


dirname: /usr/src/debug/zabbix-7.0.17-1.fc41.aarch64/src/libs/zbxcacheconfig
filetypes: fffffffffffffff
filenames:
  dbconfig.c/dbconfig.h/dbconfig_dump.c/dbconfig_maintenance.c/dbhistoryconfig.c/dbsync.c/dbsync.h/lld_macro.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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/build-server-mysql/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.0.17-1.fc41.aarch64/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/zabbix-7.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/src/libs/zbxdbwrap
filetypes: fffffffffffffff
filenames:
  event.c/graph_linking.c/graph_linking.h/host.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.0.17-1.fc41.aarch64/src/libs/zbxdbupgrade
filetypes: ffffffffffffffffffffffffffffffffffff
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_common.c/dbupgrade_common.h/dbupgrade_macros.c/dbupgrade_macros.h


dirname: /usr/src/debug/zabbix-7.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/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.0.17-1.fc41.aarch64/src/libs/zbxpoller
filetypes: fffffffffffffffffffffffffffffffffffffffffff
filenames:
  async_agent.c/async_agent.h/async_httpagent.c/async_httpagent.h/async_manager.c/async_manager.h/async_poller.c/async_poller.h/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/zanshin-25.04.3-1.fc41.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.04.3-1.fc41.aarch64/redhat-linux-build/src/zanshin/runner/org.kde.zanshin_autogen


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


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


filetypes: ffffffffffffffff
dirname:
  /usr/src/debug/zanshin-25.04.3-1.fc41.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


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


dirname: /usr/src/debug/zanshin-25.04.3-1.fc41.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


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


filetypes: ffffffffffffffff
dirname:
  /usr/src/debug/zanshin-25.04.3-1.fc41.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.04.3-1.fc41.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


dirname: /usr/src/debug/zanshin-25.04.3-1.fc41.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


dirname: /usr/src/debug/zanshin-25.04.3-1.fc41.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/zanshin-25.04.3-1.fc41.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: qrc_kontact_plugins.cpp
filetypes: f
dirname:
  /usr/src/debug/zanshin-25.04.3-1.fc41.aarch64/redhat-linux-build/src/zanshin/kontact/zanshin_part_autogen/EWIEGA46WW


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


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


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


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


dirname: /usr/src/debug/zathura-0.5.11-2.fc41.aarch64/zathura
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  adjustment.c/adjustment.h/bookmarks.c/bookmarks.h/callbacks.c/callbacks.h/commands.c/commands.h/completion.c/completion.h/config.c/config.h/content-type.c/content-type.h/database-sqlite.c/database-sqlite.h/database.c/database.h/dbus-interface.c/dbus-interface.h/document.c/document.h/file-monitor-glib.c/file-monitor-glib.h/file-monitor-noop.c/file-monitor-noop.h/file-monitor-signal.c/file-monitor-signal.h/file-monitor.c/file-monitor.h/internal.h/jumplist.c/jumplist.h/landlock.c/landlock.h/links.c/links.h/main-sandbox.c/main.c/marks.c/marks.h/page-widget.c/page-widget.h/page.c/page.h/plugin-api.h/plugin.c/plugin.h/print.c/print.h/render.c/render.h/seccomp-filters.c/seccomp-filters.h/shortcuts.c/shortcuts.h/synctex.c/synctex.h/types.c/types.h/utils.c/utils.h/zathura.c/zathura.h


dirname: /usr/src/debug/zathura-pdf-mupdf-0.4.4-3.fc41.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/zathura-pdf-poppler-0.3.3-2.fc41.aarch64/zathura-pdf-poppler
filetypes: ffffffffffffffff
filenames:
  attachments.c/document.c/forms.c/image.c/index.c/links.c/meta.c/page.c/plugin.c/plugin.h/render.c/search.c/select.c/signature.c/utils.c/utils.h


dirname: /usr/src/debug/zenity-4.0.5-1.fc41.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/zenon-0.8.5-29.fc41.aarch64
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  coqterm.ml/enum.ml/eqrel.ml/error.ml/expr.ml/ext_equiv.ml/ext_focal.ml/ext_induct.ml/ext_recfun.ml/ext_tla.ml/extension.ml/globals.ml/heap.ml/index.ml/isar_case.ml/lexcoq.ml/lexcoq.mll/lextptp.ml/lextptp.mll/lexzen.ml/lexzen.mll/llproof.ml/lltocoq.ml/lltoisar.ml/main.ml/misc.ml/mlproof.ml/mltoll.ml/namespace.ml/node.ml/parsecoq.ml/parsecoq.mly/parsetptp.ml/parsetptp.mly/parsezen.ml/parsezen.mly/phrase.ml/print.ml/progress.ml/prove.ml/step.ml/tptp.ml/version.ml/versionnum.ml/watch.ml/zenon.ml


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std
filetypes: fdffdfffdfdffffffffffffdfdfdfffffdfdfdffdfdfdfdffffdfdfffffdffdffdffffdfdfffdffd
filenames:
  BitStack.zig/Build/Build.zig/Progress.zig/Random/Random.zig/RingBuffer.zig/SemanticVersion.zig/Target/Target.zig/Thread/Thread.zig/Uri.zig/array_hash_map.zig/array_list.zig/ascii.zig/atomic.zig/base64.zig/bit_set.zig/bounded_array.zig/builtin.zig/c.zig/coff.zig/compress/compress.zig/crypto/crypto.zig/debug/debug.zig/dwarf.zig/elf.zig/enums.zig/fifo.zig/fmt/fmt.zig/fs/fs.zig/hash/hash.zig/hash_map.zig/heap/heap.zig/http/http.zig/io/io.zig/json/leb128.zig/linked_list.zig/log.zig/macho.zig/math/math.zig/mem/mem.zig/meta.zig/multi_array_list.zig/net.zig/once.zig/os/os.zig/posix.zig/process/process.zig/simd.zig/sort/sort.zig/start.zig/static_string_map.zig/std.zig/tar/tar.zig/time/time.zig/unicode.zig/wasm.zig/zig/zig.zig/zip.zig/zon


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std/fmt/parse_float
filetypes: ffffffff
filenames:
  FloatStream.zig/common.zig/convert_eisel_lemire.zig/convert_fast.zig/convert_hex.zig/convert_slow.zig/decimal.zig/parse.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/src
filetypes: dffdfffdffdffffdfdfffdffffffffdfffffffffffffffffffff
filenames:
  Air/Air.zig/Builtin.zig/Compilation/Compilation.zig/InternPool.zig/Liveness.zig/Package/Package.zig/RangeSet.zig/Sema/Sema.zig/ThreadSafeQueue.zig/Type.zig/Value.zig/Zcu/Zcu.zig/arch/clang.zig/clang_options.zig/clang_options_data.zig/codegen/codegen.zig/dev.zig/fmt.zig/glibc.zig/introspect.zig/libcxx.zig/libtsan.zig/libunwind.zig/link/link.zig/main.zig/mingw.zig/musl.zig/mutable_value.zig/print_env.zig/print_targets.zig/print_value.zig/register_manager.zig/target.zig/tracy.zig/translate_c.zig/wasi_libc.zig/zig_clang.cpp/zig_clang.h/zig_clang_cc1_main.cpp/zig_clang_cc1as_main.cpp/zig_clang_driver.cpp/zig_llvm-ar.cpp/zig_llvm.cpp/zig_llvm.h


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/src/link/Elf
filetypes: ffffffffffffffff
filenames:
  Archive.zig/Atom.zig/AtomList.zig/LinkerDefined.zig/Merge.zig/Object.zig/SharedObject.zig/Symbol.zig/Thunk.zig/ZigObject.zig/eh_frame.zig/file.zig/gc.zig/relocatable.zig/relocation.zig/synthetic_sections.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std/compress/flate
filetypes: fffffff
filenames:
  CircularBuffer.zig/Token.zig/bit_reader.zig/consts.zig/container.zig/huffman_decoder.zig/inflate.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/src/link/MachO
filetypes: ffffffffffffffdffffffff
filenames:
  Archive.zig/Atom.zig/CodeSignature.zig/DebugSymbols.zig/Dwarf.zig/Dylib.zig/InternalObject.zig/Object.zig/Relocation.zig/Symbol.zig/Thunk.zig/UnwindInfo.zig/ZigObject.zig/dead_strip.zig/dyld_info/eh_frame.zig/fat.zig/file.zig/hasher.zig/load_commands.zig/relocatable.zig/synthetic.zig/uuid.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/compiler_rt
filenames:
  aarch64_outline_atomics.zig/absv.zig/absvdi2.zig/absvsi2.zig/absvti2.zig/adddf3.zig/addf3.zig/addhf3.zig/addo.zig/addsf3.zig/addtf3.zig/addxf3.zig/arm.zig/atomics.zig/aulldiv.zig/aullrem.zig/bcmp.zig/bitreverse.zig/bswap.zig/ceil.zig/clear_cache.zig/cmp.zig/cmpdf2.zig/cmphf2.zig/cmpsf2.zig/cmptf2.zig/cmpxf2.zig/common.zig/comparef.zig/cos.zig/count0bits.zig/divc3.zig/divdc3.zig/divdf3.zig/divhc3.zig/divhf3.zig/divmodei4.zig/divsc3.zig/divsf3.zig/divtc3.zig/divtf3.zig/divti3.zig/divxc3.zig/divxf3.zig/exp.zig/exp2.zig/extenddftf2.zig/extenddfxf2.zig/extendf.zig/extendhfdf2.zig/extendhfsf2.zig/extendhftf2.zig/extendhfxf2.zig/extendsfdf2.zig/extendsftf2.zig/extendsfxf2.zig/extendxftf2.zig/fabs.zig/fixdfdi.zig/fixdfei.zig/fixdfsi.zig/fixdfti.zig/fixhfdi.zig/fixhfei.zig/fixhfsi.zig/fixhfti.zig/fixsfdi.zig/fixsfei.zig/fixsfsi.zig/fixsfti.zig/fixtfdi.zig/fixtfei.zig/fixtfsi.zig/fixtfti.zig/fixunsdfdi.zig/fixunsdfei.zig/fixunsdfsi.zig/fixunsdfti.zig/fixunshfdi.zig/fixunshfei.zig/fixunshfsi.zig/fixunshfti.zig/fixunssfdi.zig/fixunssfei.zig/fixunssfsi.zig/fixunssfti.zig/fixunstfdi.zig/fixunstfei.zig/fixunstfsi.zig/fixunstfti.zig/fixunsxfdi.zig/fixunsxfei.zig/fixunsxfsi.zig/fixunsxfti.zig/fixxfdi.zig/fixxfei.zig/fixxfsi.zig/fixxfti.zig/float_from_int.zig/floatdidf.zig/floatdihf.zig/floatdisf.zig/floatditf.zig/floatdixf.zig/floateidf.zig/floateihf.zig/floateisf.zig/floateitf.zig/floateixf.zig/floatsidf.zig/floatsihf.zig/floatsisf.zig/floatsitf.zig/floatsixf.zig/floattidf.zig/floattihf.zig/floattisf.zig/floattitf.zig/floattixf.zig/floatundidf.zig/floatundihf.zig/floatundisf.zig/floatunditf.zig/floatundixf.zig/floatuneidf.zig/floatuneihf.zig/floatuneisf.zig/floatuneitf.zig/floatuneixf.zig/floatunsidf.zig/floatunsihf.zig/floatunsisf.zig/floatunsitf.zig/floatunsixf.zig/floatuntidf.zig/floatuntihf.zig/floatuntisf.zig/floatuntitf.zig/floatuntixf.zig/floor.zig/fma.zig/fmax.zig/fmin.zig/fmod.zig/gedf2.zig/gehf2.zig/gesf2.zig/getf2.zig/gexf2.zig/int.zig/int_from_float.zig/log.zig/log10.zig/log2.zig/memcmp.zig/memcpy.zig/memmove.zig/memset.zig/modti3.zig/mulXi3.zig/mulc3.zig/muldc3.zig/muldf3.zig/mulf3.zig/mulhc3.zig/mulhf3.zig/mulo.zig/mulsc3.zig/mulsf3.zig/multc3.zig/multf3.zig/mulxc3.zig/mulxf3.zig/negXi2.zig/negdf2.zig/neghf2.zig/negsf2.zig/negtf2.zig/negv.zig/negxf2.zig/os_version_check.zig/parity.zig/popcount.zig/powiXf2.zig/rem_pio2.zig/rem_pio2_large.zig/rem_pio2f.zig/round.zig/shift.zig/sin.zig/sincos.zig/sqrt.zig/ssp.zig/stack_probe.zig/subdf3.zig/subhf3.zig/subo.zig/subsf3.zig/subtf3.zig/subxf3.zig/tan.zig/trig.zig/trunc.zig/truncdfhf2.zig/truncdfsf2.zig/truncf.zig/truncsfhf2.zig/trunctfdf2.zig/trunctfhf2.zig/trunctfsf2.zig/trunctfxf2.zig/truncxfdf2.zig/truncxfhf2.zig/truncxfsf2.zig/udivmod.zig/udivmodei4.zig/udivmodti4.zig/udivti3.zig/umodti3.zig/unorddf2.zig/unordhf2.zig/unordsf2.zig/unordtf2.zig/unordxf2.zig

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/compiler/aro/aro
filetypes: dfdffdfffffffffffdffffdfffff
filenames:
  Attribute/Attribute.zig/Builtins/Builtins.zig/Compilation.zig/Diagnostics/Diagnostics.zig/Hideset.zig/InitList.zig/LangOpts.zig/Parser.zig/Pragma.zig/Preprocessor.zig/Source.zig/StringInterner.zig/SymbolStack.zig/Tokenizer.zig/Tree/Tree.zig/Type.zig/Value.zig/annex_g.zig/char_info/char_info.zig/features.zig/record_layout.zig/target.zig/text_literal.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std/io
filetypes: ffffffffffff
filenames:
  Reader.zig/Writer.zig/bit_reader.zig/buffered_reader.zig/buffered_writer.zig/counting_reader.zig/counting_writer.zig/fixed_buffer_stream.zig/limited_reader.zig/multi_writer.zig/seekable_stream.zig/tty.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/src/link
filetypes: fffdffdffdfdffdffffdf
filenames:
  C.zig/Coff.zig/Dwarf.zig/Elf/Elf.zig/LdScript.zig/MachO/MachO.zig/NvPtx.zig/Plan9/Plan9.zig/SpirV/SpirV.zig/StringTable.zig/Wasm/Wasm.zig/aarch64.zig/riscv.zig/table_section.zig/tapi/tapi.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std/math
filetypes: dfffffffffffffff
filenames:
  big/big.zig/copysign.zig/frexp.zig/ilogb.zig/isfinite.zig/isinf.zig/isnan.zig/iszero.zig/ldexp.zig/log.zig/log2.zig/log_int.zig/powi.zig/signbit.zig/sqrt.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std/crypto
filetypes: ddffdfffffffffffffdfffffffdf
filenames:
  25519/Certificate/Certificate.zig/aegis.zig/aes/aes.zig/aes_gcm.zig/blake3.zig/chacha20.zig/ecdsa.zig/ff.zig/ghash_polyval.zig/hkdf.zig/hmac.zig/keccak_p.zig/md5.zig/ml_kem.zig/modes.zig/pcurves/poly1305.zig/sha1.zig/sha2.zig/sha3.zig/siphash.zig/timing_safe.zig/tlcsprng.zig/tls/tls.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std/zig
filetypes: fffffffffffffdffffdfff
filenames:
  Ast.zig/AstGen.zig/AstRlAnnotate.zig/BuiltinFn.zig/Client.zig/ErrorBundle.zig/LibCDirs.zig/LibCInstallation.zig/Parse.zig/Server.zig/Zir.zig/Zoir.zig/ZonGen.zig/llvm/number_literal.zig/primitives.zig/render.zig/string_literal.zig/system/system.zig/target.zig/tokenizer.zig


dirname: /usr/src/debug/zig-0.14.0-4.fc41.aarch64/lib/std/Target
filetypes: ffffffffffffffffffffffffff
filenames:
  Query.zig/aarch64.zig/amdgcn.zig/arc.zig/arm.zig/avr.zig/bpf.zig/csky.zig/hexagon.zig/lanai.zig/loongarch.zig/m68k.zig/mips.zig/msp430.zig/nvptx.zig/powerpc.zig/propeller.zig/riscv.zig/s390x.zig/sparc.zig/spirv.zig/ve.zig/wasm.zig/x86.zig/xcore.zig/xtensa.zig


dirname: /usr/src/debug/zimg-3.0.6-2.fc41.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/zimg-3.0.6-2.fc41.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.6-2.fc41.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.6-2.fc41.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.6-2.fc41.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.6-2.fc41.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/zix-0.6.2-1.fc41.aarch64/src
filetypes: fffffffffffdffffff
filenames:
  allocator.c/btree.c/bump_allocator.c/digest.c/errno_status.c/errno_status.h/filesystem.c/hash.c/index_range.h/path.c/path_iter.h/posix/ring.c/status.c/string_view.c/system.c/system.h/tree.c


dirname: /usr/src/debug/zix-0.6.2-1.fc41.aarch64/include/zix
filetypes: fffffffffff
filenames:
  allocator.h/btree.h/bump_allocator.h/filesystem.h/hash.h/ring.h/sem.h/status.h/string_view.h/thread.h/tree.h


dirname: /usr/src/debug/zlib-ng-2.2.3-2.fc41.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.3-2.fc41.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/src/debug/zlib-ng-2.2.3-2.fc41.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/lib/debug/usr/sbin
filetypes: ffff
filenames:
  zblocklist-4.3.1-1.fc41.aarch64.debug/ziterate-4.3.1-1.fc41.aarch64.debug/zmap-4.3.1-1.fc41.aarch64.debug/ztee-4.3.1-1.fc41.aarch64.debug


dirname: /usr/src/debug/zmap-4.3.1-1.fc41.aarch64/lib
filetypes: fffffffffffffffffffffffffff
filenames:
  aes128.c/aes128.h/blocklist.c/blocklist.h/cachehash.c/cachehash.h/constraint.c/constraint.h/csv.c/csv.h/lockfd.c/lockfd.h/logger.c/logger.h/pbm.c/pbm.h/queue.c/queue.h/random.c/random.h/rijndael-alg-fst.c/rijndael-alg-fst.h/types.h/util.c/util.h/xalloc.c/xalloc.h


dirname: /usr/src/debug/zmap-4.3.1-1.fc41.aarch64/src
filetypes: ffffffffffffffffffffdfffffdfffffffffffffffffffffffffffffffffffff
filenames:
  aesrand.c/aesrand.h/cyclic.c/cyclic.h/expression.c/expression.h/fieldset.c/fieldset.h/filter.c/filter.h/get_gateway-linux.h/get_gateway.c/get_gateway.h/iterator.c/iterator.h/lexer.c/lexer.h/lexer.l/monitor.c/monitor.h/output_modules/parser.c/parser.h/parser.y/ports.c/ports.h/probe_modules/recv-internal.h/recv-pcap.c/recv.c/recv.h/send-internal.h/send-linux.c/send.c/send.h/shard.c/shard.h/socket-linux.c/socket.c/socket.h/state.c/state.h/summary.c/summary.h/topt.c/topt.h/topt_compat.c/utility.c/utility.h/validate.c/validate.h/zblocklist.c/zbopt.c/zbopt.h/zbopt_compat.c/ziterate.c/zitopt.c/zitopt.h/zitopt_compat.c/zmap.c/zopt.c/zopt.h/zopt_compat.c/ztee.c


dirname: /usr/src/debug/zmap-4.3.1-1.fc41.aarch64/src/probe_modules
filetypes: fffffffffffffffffff
filenames:
  module_bacnet.c/module_bacnet.h/module_dns.c/module_dns.h/module_icmp_echo.c/module_icmp_echo_time.c/module_ipip.c/module_ntp.c/module_ntp.h/module_tcp_synackscan.c/module_tcp_synscan.c/module_tcp_synscan.h/module_udp.c/module_udp.h/module_upnp.c/packet.c/packet.h/probe_modules.c/probe_modules.h


dirname: /usr/src/debug/zstd-1.5.7-1.fc41.aarch64/contrib/pzstd
filetypes: fffffffffd
filenames:
  ErrorHolder.h/Logging.h/Options.cpp/Options.h/Pzstd.cpp/Pzstd.h/SkippableFrame.cpp/SkippableFrame.h/main.cpp/utils


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


dirname: /usr/src/debug/zsync-0.6.2-3.fc41.aarch64/zlib
filetypes: fffffffffffffffff
filenames:
  adler32.c/compress.c/crc32.c/crc32.h/deflate.c/deflate.h/inffixed.h/inflate.c/inflate.h/inftrees.c/inftrees.h/trees.c/trees.h/zconf.h/zlib.h/zutil.c/zutil.h


dirname: /usr/src/debug/zsync-0.6.2-3.fc41.aarch64
filetypes: ffffddfffffffd
filenames:
  base64.c/client.c/http.c/http.h/librcksum/libzsync/make.c/makegz.c/makegz.h/progress.c/progress.h/url.c/url.h/zlib


dirname: /usr/lib/debug/usr/lib64/zuluCrypt
filetypes: ffffffff
filenames:
  gpg-7.1.0-1.fc41.aarch64.debug/hmac-7.1.0-1.fc41.aarch64.debug/keydialog-qt-7.1.0-1.fc41.aarch64.debug/keykeyfile-7.1.0-1.fc41.aarch64.debug/keyring-7.1.0-1.fc41.aarch64.debug/steghide-7.1.0-1.fc41.aarch64.debug/tomb-7.1.0-1.fc41.aarch64.debug/zuluCrypt-testKey-7.1.0-1.fc41.aarch64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffff
filenames:
  zuluCrypt-gui-7.1.0-1.fc41.aarch64.debug/zuluMount-gui-7.1.0-1.fc41.aarch64.debug/zuluPolkit-7.1.0-1.fc41.aarch64.debug/zuluSafe-7.1.0-1.fc41.aarch64.debug


filetypes: ffffffff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluCrypt-gui/sharedObjects/sharedObject_autogen/include

filenames:
  ui_debugwindow.h/ui_dialogmsg.h/ui_dialogok.h/ui_favorites2.h/ui_openvolume.h/ui_plugin.h/ui_readonlywarning.h/ui_tcrypt.h


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluCrypt-gui/zuluCrypt-gui_autogen


filenames: moc_zulupolkit.cpp
filetypes: f
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluPolkit/zuluPolkit_autogen/EWIEGA46WW


filetypes: fffffffffffffffffff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluCrypt-gui/zuluCrypt-gui_autogen/include

filenames:
  ui_about.h/ui_createfile.h/ui_createkeyfile.h/ui_createvolume.h/ui_createvolumedialog.h/ui_createvolumeinexistingfile.h/ui_cryptfiles.h/ui_cryptoinfo.h/ui_erasedevice.h/ui_filemanager.h/ui_help.h/ui_luksaddkey.h/ui_luksdeletekey.h/ui_managesystemvolumes.h/ui_managevolumeheader.h/ui_password.h/ui_showluksslots.h/ui_warnwhenextendingcontainerfile.h/ui_zulucrypt.h


filenames: moc_mainwindow.cpp/qrc_icon.cpp
filetypes: ff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/keydialog-qt/keydialog-qt_autogen/EWIEGA46WW


filetypes: ffffff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluMount-gui/zuluMount-gui_autogen/EWIEGA46WW

filenames:
  moc_events.cpp/moc_keydialog.cpp/moc_mountpartition.cpp/moc_veracryptpimdialog.cpp/moc_zulumount.cpp/qrc_icon.cpp


filetypes: ffffffffffffffffffff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluCrypt-gui/zuluCrypt-gui_autogen/EWIEGA46WW

filenames:
  moc_about.cpp/moc_createfile.cpp/moc_createkeyfile.cpp/moc_createvolume.cpp/moc_createvolumedialog.cpp/moc_createvolumeinexistingfile.cpp/moc_cryptfiles.cpp/moc_cryptoinfo.cpp/moc_erasedevice.cpp/moc_filemanager.cpp/moc_help.cpp/moc_luksaddkey.cpp/moc_luksdeletekey.cpp/moc_managesystemvolumes.cpp/moc_managevolumeheader.cpp/moc_password_dialog.cpp/moc_showluksslots.cpp/moc_warnwhenextendingcontainerfile.cpp/moc_zulucrypt.cpp/qrc_icon.cpp


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluMount-gui/zuluMount-gui_autogen


dirname: /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/external_libraries/tcplay
filetypes: ffffffffffffffffff
filenames:
  crc32.c/crc32.h/crypto-gcrypt.c/crypto.c/generic_xts.c/generic_xts.h/hdr.c/humanize.c/humanize.h/io.c/pbkdf2-gcrypt.c/safe_mem.c/tcplay.c/tcplay.h/tcplay_api.c/tcplay_api.h/tcplay_api_internal.h/zuluplay_api.h


dirname: /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64
filetypes: ddddddddd
filenames:
  external_libraries/plugins/redhat-linux-build/zuluCrypt-cli/zuluCrypt-gui/zuluMount-cli/zuluMount-gui/zuluPolkit/zuluSafe


filenames: qrc_icon.cpp
filetypes: f
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/keykeyfile/keykeyfile_autogen/5TB7W6GN3K


filenames: qrc_icon.cpp
filetypes: f
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/hmac/hmac_autogen/5TB7W6GN3K


filenames: qrc_icon.cpp
filetypes: f
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/steghide/steghide_autogen/5TB7W6GN3K


filenames: HFTOFCUSAJ/PYGGDKKSBV/include/mocs_compilation.cpp
filetypes: dddf
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluCrypt-gui/sharedObjects/sharedObject_autogen


filenames: moc_monitor_mountinfo.cpp/moc_oneinstance.cpp
filetypes: ff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluCrypt-gui/sharedObjects/sharedObject_autogen/PYGGDKKSBV


filenames: ui_mainwindow.h
filetypes: f
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/keydialog-qt/keydialog-qt_autogen/include


filenames: EWIEGA46WW/include/mocs_compilation.cpp
filetypes: ddf
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/keydialog-qt/keydialog-qt_autogen


filetypes: fffffffff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluCrypt-gui/sharedObjects/sharedObject_autogen/HFTOFCUSAJ

filenames:
  moc_debugwindow.cpp/moc_dialogmsg.cpp/moc_dialogok.cpp/moc_favorites2.cpp/moc_openvolume.cpp/moc_plugin.cpp/moc_readonlywarning.cpp/moc_tcrypt.cpp/moc_utility.cpp


dirname: /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/zuluCrypt-cli/bin
filetypes: ffffffffffffffffffffffffff
filenames:
  add_key.c/bind.c/check_invalid_key.c/check_opened_mapper.c/clear_dead_mappers.c/close_volume.c/create_mount_point.c/create_volumes.c/crypt_file.c/file_encryption.c/get_opts.c/help.c/includes.h/libzuluCrypt-exe.h/main.c/mount_flags.c/open_volume.c/path_access.c/remove_key.c/save_and_restore_volume_header.c/security.c/security.h/test.c/volume_info.c/volumes.c/write_device_with_junk.c


dirname: /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/zuluCrypt-gui
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  about.cpp/about.h/createfile.cpp/createfile.h/createkeyfile.cpp/createkeyfile.h/createvolume.cpp/createvolume.h/createvolumedialog.cpp/createvolumedialog.h/createvolumeinexistingfile.cpp/createvolumeinexistingfile.h/cryptfiles.cpp/cryptfiles.h/cryptoinfo.cpp/cryptoinfo.h/debugwindow.cpp/debugwindow.h/dialogmsg.cpp/dialogmsg.h/dialogok.cpp/dialogok.h/erasedevice.cpp/erasedevice.h/executablesearchpaths.cpp/executablesearchpaths.h/favorites.cpp/favorites.h/favorites2.cpp/favorites2.h/filemanager.cpp/filemanager.h/help.cpp/help.h/json_parser.hpp/keystrength.cpp/keystrength.h/luksaddkey.cpp/luksaddkey.h/luksdeletekey.cpp/luksdeletekey.h/main.cpp/managesystemvolumes.cpp/managesystemvolumes.h/managevolumeheader.cpp/managevolumeheader.h/openvolume.cpp/openvolume.h/password_dialog.cpp/password_dialog.h/plugin.cpp/plugin.h/readonlywarning.cpp/readonlywarning.h/secrets.cpp/secrets.h/showluksslots.cpp/showluksslots.h/systemsignalhandler.cpp/systemsignalhandler.h/tablewidget.cpp/tablewidget.h/tcrypt.cpp/tcrypt.h/utility.cpp/utility.h/utility2.h/warnwhenextendingcontainerfile.cpp/warnwhenextendingcontainerfile.h/zulucrypt.cpp/zulucrypt.h


dirname: /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/zuluMount-gui
filetypes: fffffffffffffffffffff
filenames:
  events.cpp/events.h/keydialog.cpp/keydialog.h/main.cpp/monitor_mountinfo.cpp/monitor_mountinfo.h/mountpartition.cpp/mountpartition.h/oneinstance.cpp/oneinstance.h/siritask.cpp/siritask.h/veracryptpimdialog.cpp/veracryptpimdialog.h/volumeproperty.cpp/volumeproperty.h/zulumount.cpp/zulumount.h/zulumounttask.cpp/zulumounttask.h


filenames: qrc_icon.cpp
filetypes: f
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/tomb/tomb_autogen/5TB7W6GN3K


filenames: ui_keydialog.h/ui_mountpartition.h/ui_veracryptpimdialog.h/ui_zulumount.h
filetypes: ffff
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/zuluMount-gui/zuluMount-gui_autogen/include


dirname: /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/zuluCrypt-cli/lib
filetypes: ffffffffffffffffffffffffffffffff
filenames:
  add_key.c/bitlocker.c/blkid_evaluate_tag.c/close_mapper.c/close_volume.c/create_loop_device.c/create_luks.c/create_mapper_name.c/create_tcrypt.c/create_volume.c/empty_slots.c/file_path_security.c/includes.h/is_luks.c/is_path_valid.c/libzuluCrypt.h/mount_fs_options.c/mount_volume.c/mountinfo.c/open_luks.c/open_plain.c/open_tcrypt.c/open_volume.c/parse_fstab.c/real_path.c/remove_key.c/resolve_paths.c/status.c/unmount_volume.c/user_home_path.c/version.c/volume_type.c


filenames: 5TB7W6GN3K/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/zulucrypt-7.1.0-1.fc41.aarch64/redhat-linux-build/plugins/keykeyfile/keykeyfile_autogen


dirname: /usr/lib/debug/usr/lib64
filetypes: fff
filenames:
  libzuluCrypt-exe.so.1.2.0-7.1.0-1.fc41.aarch64.debug/libzuluCrypt.so.1.2.0-7.1.0-1.fc41.aarch64.debug/libzuluCryptPluginManager.so.1.0.0-7.1.0-1.fc41.aarch64.debug


