# filelist

dirname: /usr/src/debug/xdg-desktop-portal-1.21.1-1.fc44.s390x/subprojects/libglnx
filetypes: fffffffffffffff
filenames:
  glnx-backports.h/glnx-chase.c/glnx-chase.h/glnx-dirfd.c/glnx-dirfd.h/glnx-errors.c/glnx-errors.h/glnx-fdio.c/glnx-fdio.h/glnx-local-alloc.h/glnx-missing-syscall.h/glnx-shutil.c/glnx-shutil.h/glnx-xattrs.c/glnx-xattrs.h


filenames: gxdp-dbus.c/gxdp-dbus.h/mutter-x11-interop-client-protocol.h/mutter-x11-interop-protocol.c
filetypes: ffff
dirname:
  /usr/src/debug/xdg-desktop-portal-gnome-50.0-1.fc44.s390x/redhat-linux-build/subprojects/libgxdp/src


dirname: /usr/src/debug/xdg-desktop-portal-gnome-50.0-1.fc44.s390x/subprojects/libgxdp/src
filetypes: ffffffffff
filenames:
  gxdp-external-window-wayland.c/gxdp-external-window-wayland.h/gxdp-external-window-x11.c/gxdp-external-window-x11.h/gxdp-external-window.c/gxdp-external-window.h/gxdp-wayland.c/gxdp-wayland.h/gxdp.c/gxdp.h


dirname: /usr/src/debug/xdg-desktop-portal-gnome-50.0-1.fc44.s390x/redhat-linux-build/src
filetypes: fffff
filenames:
  shell-dbus.c/shell-dbus.h/xdg-desktop-portal-dbus.c/xdg-desktop-portal-dbus.h/xdg-desktop-portal-gnome-resources.c


dirname: /usr/src/debug/xdg-desktop-portal-gnome-50.0-1.fc44.s390x/src
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  access.c/access.h/account.c/account.h/accountdialog.c/accountdialog.h/appchooser.c/appchooser.h/appchooserdialog.c/appchooserdialog.h/appchooserrow.c/appchooserrow.h/background.c/background.h/clipboard.c/clipboard.h/displaystatetracker.c/displaystatetracker.h/dynamic-launcher.c/dynamic-launcher.h/fc-monitor.c/fc-monitor.h/filechooser.c/filechooser.h/globalshortcuts.c/globalshortcuts.h/gnomeinputcapture.c/gnomeinputcapture.h/gnomescreencast.c/gnomescreencast.h/inputcapture.c/inputcapture.h/inputcapturedialog.c/inputcapturedialog.h/lockdown.c/lockdown.h/notification.c/notification.h/print.c/print.h/remotedesktop.c/remotedesktop.h/remotedesktopdialog.c/remotedesktopdialog.h/request.c/request.h/screencast.c/screencast.h/screencastdialog.c/screencastdialog.h/screencastgeometrycontainer.c/screencastgeometrycontainer.h/screencastwidget.c/screencastwidget.h/screenshot.c/screenshot.h/screenshotdialog.c/screenshotdialog.h/session.c/session.h/settings.c/settings.h/shellintrospect.c/shellintrospect.h/usb.c/usb.h/usbdialog.c/usbdialog.h/utils.c/utils.h/wallpaper.c/wallpaper.h/wallpaperdialog.c/wallpaperdialog.h/wallpaperpreview.c/wallpaperpreview.h/xdg-desktop-portal-gnome.c


filenames: MWCENOVT7V/include
filetypes: dd
dirname:
  /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src/kirigami-filepicker/KirigamiFilepicker_autogen


dirname: /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/src
filetypes: ffffffffffffffffffffffffffffffffffffdffffffffffffdffffffffffffffffffffffffffffffffffff
filenames:
  access.cpp/access.h/accessdialog.cpp/accessdialog.h/account.cpp/account.h/appchooser.cpp/appchooser.h/appchooserdialog.cpp/appchooserdialog.h/background.cpp/background.h/clipboard.cpp/clipboard.h/dbushelpers.cpp/dbushelpers.h/desktopportal.cpp/desktopportal.h/dynamiclauncher.cpp/dynamiclauncher.h/dynamiclauncherdialog.cpp/dynamiclauncherdialog.h/email.cpp/email.h/filechooser.cpp/filechooser.h/globalshortcuts.cpp/globalshortcuts.h/inhibit.cpp/inhibit.h/inputcapture.cpp/inputcapture.h/inputcapturebarrier.cpp/inputcapturebarrier.h/inputcapturedialog.cpp/inputcapturedialog.h/kirigami-filepicker/notification.cpp/notification.h/notificationinhibition.cpp/notificationinhibition.h/outputsmodel.cpp/outputsmodel.h/portalicon.cpp/portalicon.h/print.cpp/print.h/quickdialog.cpp/quickdialog.h/region-select/remotedesktop.cpp/remotedesktop.h/remotedesktopdialog.cpp/remotedesktopdialog.h/request.cpp/request.h/restoredata.cpp/restoredata.h/screencast.cpp/screencast.h/screencasting.cpp/screencasting.h/screenchooserdialog.cpp/screenchooserdialog.h/screenshot.cpp/screenshot.h/screenshotdialog.cpp/screenshotdialog.h/session.cpp/session.h/settings.cpp/settings.h/usb.cpp/usb.h/userinfodialog.cpp/userinfodialog.h/utils.cpp/utils.h/wallpaper.cpp/wallpaper.h/waylandintegration.cpp/waylandintegration.h/waylandintegration_p.h/xdg-desktop-portal-kde.cpp/xdgshortcut.cpp/xdgshortcut.h


filetypes: fffff
dirname:
  /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src/kirigami-filepicker/KirigamiFilepicker_autogen/include

filenames:
  moc_dirmodel.cpp/moc_dirmodelutils.cpp/moc_filechooserqmlcallback.cpp/moc_fileplacesmodel.cpp/moc_mobilefiledialog.cpp


dirname: /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src/.rcc/qmlcache
filetypes: ffffffffffffffffd
filenames:
  xdg-desktop-portal-kde_AccessDialog_qml.cpp/xdg-desktop-portal-kde_AppChooserDialog_qml.cpp/xdg-desktop-portal-kde_DynamicLauncherDialog_qml.cpp/xdg-desktop-portal-kde_GlobalShortcutsDialog_qml.cpp/xdg-desktop-portal-kde_InputCaptureDialog_qml.cpp/xdg-desktop-portal-kde_PipeWireDelegate_qml.cpp/xdg-desktop-portal-kde_PipeWireLayout_qml.cpp/xdg-desktop-portal-kde_PortalDialog_qml.cpp/xdg-desktop-portal-kde_RemoteDesktopDialog_qml.cpp/xdg-desktop-portal-kde_ScreenChooserDialogTemplate_qml.cpp/xdg-desktop-portal-kde_ScreenChooserDialog_qml.cpp/xdg-desktop-portal-kde_ScreenshotDialog_qml.cpp/xdg-desktop-portal-kde_UsbDialog_qml.cpp/xdg-desktop-portal-kde_UserInfoDialog_qml.cpp/xdg-desktop-portal-kde_WallpaperDialog_qml.cpp/xdg-desktop-portal-kde_qmlcache_loader.cpp/xdg-desktop-portal-kde_region-select


filetypes: fffffffffffffffffffffffffffffffffffffffffff
dirname:
  /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src/xdg-desktop-portal-kde_autogen/include

filenames:
  globalshortcuts.moc/inhibit.moc/moc_SelectionEditor.cpp/moc_access.cpp/moc_accessdialog.cpp/moc_account.cpp/moc_appchooser.cpp/moc_appchooserdialog.cpp/moc_background.cpp/moc_clipboard.cpp/moc_dbushelpers.cpp/moc_desktopportal.cpp/moc_dynamiclauncher.cpp/moc_dynamiclauncherdialog.cpp/moc_email.cpp/moc_filechooser.cpp/moc_globalshortcuts.cpp/moc_inhibit.cpp/moc_inputcapture.cpp/moc_inputcapturedialog.cpp/moc_notification.cpp/moc_notificationinhibition.cpp/moc_outputsmodel.cpp/moc_print.cpp/moc_quickdialog.cpp/moc_remotedesktop.cpp/moc_remotedesktopdialog.cpp/moc_request.cpp/moc_screencast.cpp/moc_screencasting.cpp/moc_screenchooserdialog.cpp/moc_screenshot.cpp/moc_screenshotdialog.cpp/moc_session.cpp/moc_settings.cpp/moc_usb.cpp/moc_userinfodialog.cpp/moc_wallpaper.cpp/moc_waylandintegration.cpp/moc_waylandintegration_p.cpp/screenchooserdialog.moc/settings.moc/usb.moc


dirname: /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/src/kirigami-filepicker/declarative
filetypes: ffffffff
filenames:
  dirmodel.cpp/dirmodel.h/dirmodelutils.cpp/dirmodelutils.h/filechooserqmlcallback.cpp/filechooserqmlcallback.h/fileplacesmodel.cpp/fileplacesmodel.h


filenames: include/mocs_compilation.cpp
filetypes: df
dirname:
  /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src/xdg-desktop-portal-kde_autogen


filenames: qrc_filepicker.cpp
filetypes: f
dirname:
  /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src/kirigami-filepicker/KirigamiFilepicker_autogen/MWCENOVT7V


filenames: FloatingBackground_qml.cpp/FloatingTextBox_qml.cpp/RegionSelectOverlay_qml.cpp
filetypes: fff
dirname:
  /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src/.rcc/qmlcache/xdg-desktop-portal-kde_region-select


dirname: /usr/src/debug/xdg-desktop-portal-kde-6.6.4-1.fc44.s390x/redhat-linux-build/src
filetypes: ddfffffffffffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffffdf
filenames:
  .qt/.rcc/access_debug.cpp/access_debug.h/accessdialog_debug.cpp/account_debug.cpp/account_debug.h/appchooser_debug.cpp/appchooser_debug.h/background_debug.cpp/background_debug.h/clipboard_debug.cpp/clipboard_debug.h/debug.cpp/debug.h/desktopportal_debug.cpp/documents_interface.cpp/documents_interface.h/dynamiclauncher_debug.cpp/dynamiclauncher_debug.h/dynamiclauncherdialog_debug.cpp/email_debug.cpp/email_debug.h/fdo_application_interface.cpp/fdo_application_interface.h/filechooser_debug.cpp/filechooser_debug.h/fuse_interface.cpp/fuse_interface.h/inhibit_debug.cpp/inhibit_debug.h/inputcapture_debug.cpp/inputcapture_debug.h/kglobalaccel_component_interface.cpp/kglobalaccel_component_interface.h/kglobalaccel_interface.cpp/kglobalaccel_interface.h/kirigami-filepicker/moc_documents_interface.cpp/moc_fdo_application_interface.cpp/moc_fuse_interface.cpp/moc_kglobalaccel_component_interface.cpp/moc_kglobalaccel_interface.cpp/moc_permission_store.cpp/moc_sessionadaptor.cpp/moc_tabletmodemanager_interface.cpp/moc_user_interface.cpp/moc_virtualkeyboard_interface.cpp/notification_debug.cpp/notification_debug.h/notificationinhibition_debug.cpp/notificationinhibition_debug.h/permission_store.cpp/permission_store.h/print_debug.cpp/print_debug.h/qwayland-fake-input.cpp/qwayland-fake-input.h/qwayland-wayland.cpp/qwayland-wayland.h/qwayland-zkde-screencast-unstable-v1.cpp/qwayland-zkde-screencast-unstable-v1.h/remotedesktop_debug.cpp/remotedesktop_debug.h/remotedesktopdialog_debug.cpp/request_debug.cpp/request_debug.h/screencast_debug.cpp/screencast_debug.h/screenshot_debug.cpp/screenshot_debug.h/screenshotdialog_debug.cpp/screenshotdialog_debug.h/session_debug.cpp/sessionadaptor.cpp/sessionadaptor.h/settings_debug.cpp/settings_debug.h/tabletmodemanager_interface.cpp/tabletmodemanager_interface.h/user_interface.cpp/user_interface.h/virtualkeyboard_interface.cpp/virtualkeyboard_interface.h/wallpaper_debug.cpp/wallpaper_debug.h/wayland-fake-input-client-protocol.h/wayland-fake-input-protocol.c/wayland-wayland-client-protocol.h/wayland-wayland-protocol.c/wayland-zkde-screencast-unstable-v1-client-protocol.h/wayland-zkde-screencast-unstable-v1-protocol.c/waylandintegration_debug.cpp/waylandintegration_debug.h/xdg-desktop-portal-kde_autogen/xdg-desktop-portal-kde_qmltyperegistrations.cpp


dirname: /usr/lib/debug/usr/share/xdp-tools/tests/libxdp
filetypes: ffffffff
filenames:
  check_kern_compat-1.6.3-1.fc44.s390x.debug/test_dispatcher_versions-1.6.3-1.fc44.s390x.debug/test_link_detach-1.6.3-1.fc44.s390x.debug/test_xdp_devbound-1.6.3-1.fc44.s390x.debug/test_xdp_frags-1.6.3-1.fc44.s390x.debug/test_xsk_non_privileged-1.6.3-1.fc44.s390x.debug/test_xsk_refcnt-1.6.3-1.fc44.s390x.debug/test_xsk_umem_flags-1.6.3-1.fc44.s390x.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffff
filenames:
  xdp-bench-1.6.3-1.fc44.s390x.debug/xdp-filter-1.6.3-1.fc44.s390x.debug/xdp-forward-1.6.3-1.fc44.s390x.debug/xdp-loader-1.6.3-1.fc44.s390x.debug/xdp-monitor-1.6.3-1.fc44.s390x.debug/xdp-trafficgen-1.6.3-1.fc44.s390x.debug/xdpdump-1.6.3-1.fc44.s390x.debug


dirname: /usr/src/debug/xdp-tools-1.6.3-1.fc44.s390x/xdp-bench
filetypes: fffffffffffff
filenames:
  xdp-bench.c/xdp-bench.h/xdp_basic.c/xdp_basic.skel.h/xdp_redirect_basic.c/xdp_redirect_basic.skel.h/xdp_redirect_cpumap.c/xdp_redirect_cpumap.skel.h/xdp_redirect_devmap.c/xdp_redirect_devmap.skel.h/xdp_redirect_devmap_multi.c/xdp_redirect_devmap_multi.skel.h/xdp_socket.c


dirname: /usr/src/debug/xdp-tools-1.6.3-1.fc44.s390x/lib/libxdp/tests
filetypes: fffffffffff
filenames:
  check_kern_compat.c/test_dispatcher_versions.c/test_link_detach.c/test_utils.c/test_utils.h/test_xdp_devbound.c/test_xdp_frags.c/test_xsk_non_privileged.c/test_xsk_refcnt.c/test_xsk_umem_flags.c/xdp_dispatcher.h


dirname: /usr/src/debug/xdp-tools-1.6.3-1.fc44.s390x/lib/util
filetypes: fffffffffffffffff
filenames:
  logging.c/logging.h/params.c/params.h/stats.c/stats.h/util.c/util.h/xdp_load_bytes.skel.h/xdp_sample.c/xdp_sample.h/xdp_sample.skel.h/xdpsock.c/xdpsock.h/xdpsock.skel.h/xpcapng.c/xpcapng.h


dirname: /usr/src/debug/xephem-4.3.0-1.fc44.s390x/libastro
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aa_hadec.c/aberration.c/actan.c/airmass.c/anomaly.c/ap_as.c/astro.h/atlas.c/bdl.c/bdl.h/chap95.c/chap95.h/chap95_data.c/circum.c/comet.c/constel.c/dbfmt.c/deep.c/deltat.c/earthsat.c/eclipses.c/eq_ecl.c/eq_gal.c/formats.c/helio.c/jupmoon.c/libration.c/magdecl.c/marsmoon.c/misc.c/mjd.c/moon.c/mooncolong.c/moonnf.c/nutation.c/obliq.c/parallactic.c/parallax.c/plans.c/plmoon.c/plshadow.c/precess.c/preferences.h/reduce.c/refract.c/rings.c/riset.c/riset_cir.c/satlib.h/satmoon.c/satspec.h/sattypes.h/sdp4.c/sgp4.c/sphcart.c/sun.c/thetag.c/twobody.c/umoon.c/utc_gst.c/vsop87.c/vsop87.h/vsop87_data.c


dirname: /usr/src/debug/xephem-4.3.0-1.fc44.s390x/libip
filetypes: fffffffffffff
filenames:
  explodegif.c/fits.c/fsmatch.c/fsmatch.h/gaussfit.c/ip.h/lstsqr.c/median.c/sqr.c/stars.c/stats.c/walk.c/wcs.c


dirname: /usr/src/debug/xephem-4.3.0-1.fc44.s390x/GUI/xephem
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aavso.c/annotmenu.c/broadcast.c/calmenu.c/closemenu.c/compiler.c/coordsmenu.c/datamenu.c/db.c/db.h/dbmenu.c/dm.h/earthmap.c/earthmenu.c/fallbacks.c/favmenu.c/formats.c/fsmenu.c/gallerymenu.c/glance.c/gsc.c/gscnet.c/helpmenu.c/homeio.c/hznmenu.c/imregmenu.c/indiapi.h/indimenu.c/jpeg2pm.c/jupmenu.c/listmenu.c/mainmenu.c/map.h/marsmenu.c/marsmmenu.c/moonmenu.c/moviemenu.c/msgmenu.c/net.h/netmenu.c/objmenu.c/obslog.c/patchlevel.c/patchlevel.h/plot.h/plot_aux.c/plotmenu.c/preferences.c/progress.c/ps.c/ps.h/query.c/rotated.c/rotated.h/satmenu.c/saveres.c/scope.c/sites.c/sites.h/skybinary.c/skyeyep.c/skyeyep.h/skyfifos.c/skyfiltmenu.c/skyfits.c/skyhist.c/skyhist.h/skyip.c/skyip.h/skylist.c/skylist.h/skytoolbar.c/skytoolbar.h/skyviewmenu.c/solsysmenu.c/splash.c/srchmenu.c/sunmenu.c/time.c/tips.c/trailmenu.c/trails.h/ucac.c/uranusmenu.c/usno.c/versionmenu.c/webdbmenu.c/xe2.c/xe3.c/xephem.c/xephem.h/xmisc.c


dirname: /usr/src/debug/xfce4-terminal-1.2.0-1.fc44.s390x/terminal
filetypes: fffffffffffffffffffffffffff
filenames:
  main.c/terminal-app.c/terminal-app.h/terminal-encoding-action.c/terminal-encoding-action.h/terminal-gdbus.c/terminal-gdbus.h/terminal-image-loader.c/terminal-image-loader.h/terminal-options.c/terminal-options.h/terminal-preferences-dialog.c/terminal-preferences-dialog.h/terminal-preferences.c/terminal-preferences.h/terminal-screen.c/terminal-screen.h/terminal-search-dialog.c/terminal-search-dialog.h/terminal-util.c/terminal-util.h/terminal-widget.c/terminal-widget.h/terminal-window-dropdown.c/terminal-window-dropdown.h/terminal-window.c/terminal-window.h


dirname: /usr/src/debug/xfce4-whiskermenu-plugin-2.10.1-1.fc44.s390x/panel-plugin
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  applications-page.cpp/applications-page.h/category-button.cpp/category-button.h/category.cpp/category.h/command-edit.cpp/command-edit.h/command.cpp/command.h/element.cpp/element.h/favorites-page.cpp/favorites-page.h/icon-renderer.cpp/icon-renderer.h/icon-size.cpp/icon-size.h/image-menu-item.h/launcher-icon-view.cpp/launcher-icon-view.h/launcher-tree-view.cpp/launcher-tree-view.h/launcher-view.h/launcher.cpp/launcher.h/page.cpp/page.h/plugin.cpp/plugin.h/profile.cpp/profile.h/query.cpp/query.h/recent-page.cpp/recent-page.h/register-plugin.c/register-plugin.h/resizer.cpp/resizer.h/run-action.cpp/run-action.h/search-action.cpp/search-action.h/search-page.cpp/search-page.h/settings-dialog.cpp/settings-dialog.h/settings.cpp/settings.h/slot.h/window.cpp/window.h/xfce4-popup-whiskermenu.cpp


dirname: /usr/lib/debug/.build-id/1c
filetypes: ffff
filenames:
  08876d4c1829e524fb6200e15333c50d2a61bd/08876d4c1829e524fb6200e15333c50d2a61bd.debug/ea4b381d424b98c3928b410994c12ac93640d5/ea4b381d424b98c3928b410994c12ac93640d5.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffff
filenames:
  mkfs.xfs-7.1.1-1.fc44.s390x.debug/xfs_copy-7.1.1-1.fc44.s390x.debug/xfs_db-7.1.1-1.fc44.s390x.debug/xfs_estimate-7.1.1-1.fc44.s390x.debug/xfs_fsr-7.1.1-1.fc44.s390x.debug/xfs_growfs-7.1.1-1.fc44.s390x.debug/xfs_io-7.1.1-1.fc44.s390x.debug/xfs_logprint-7.1.1-1.fc44.s390x.debug/xfs_mdrestore-7.1.1-1.fc44.s390x.debug/xfs_quota-7.1.1-1.fc44.s390x.debug/xfs_repair-7.1.1-1.fc44.s390x.debug/xfs_rtcp-7.1.1-1.fc44.s390x.debug/xfs_spaceman-7.1.1-1.fc44.s390x.debug


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x/libfrog
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  avl64.c/avl64.h/bitmap.c/bitmap.h/bitmask.h/bulkstat.c/bulkstat.h/convert.c/convert.h/crc32.c/crc32c.h/crc32cselftest.h/crc32table.h/dahashselftest.h/div64.h/fakelibattr.h/file_attr.c/file_attr.h/file_exchange.c/file_exchange.h/flagmap.c/flagmap.h/fsgeom.c/fsgeom.h/fsproperties.c/fsproperties.h/fsprops.c/fsprops.h/getparents.c/getparents.h/handle_priv.h/healthevent.c/healthevent.h/histogram.c/histogram.h/linux.c/list_sort.c/logging.c/logging.h/paths.c/paths.h/platform.h/projects.c/projects.h/ptvar.c/ptvar.h/radix-tree.c/radix-tree.h/randbytes.c/randbytes.h/scrub.c/scrub.h/statmount.c/statmount.h/systemd.c/systemd.h/util.c/util.h/workqueue.c/workqueue.h/zones.c/zones.h


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x/libxfs
filenames:
  buf_mem.c/buf_mem.h/cache.c/defer_item.c/defer_item.h/init.c/init.h/inode.c/iunlink.c/iunlink.h/kmem.c/libxfs_io.h/linux-err.h/listxattr.c/listxattr.h/logitem.c/rdwr.c/topology.c/topology.h/trans.c/util.c/xfblob.c/xfblob.h/xfile.c/xfile.h/xfs_ag.c/xfs_ag.h/xfs_ag_resv.c/xfs_ag_resv.h/xfs_alloc.c/xfs_alloc.h/xfs_alloc_btree.c/xfs_alloc_btree.h/xfs_attr.c/xfs_attr.h/xfs_attr_leaf.c/xfs_attr_leaf.h/xfs_attr_remote.c/xfs_attr_remote.h/xfs_attr_sf.h/xfs_bit.c/xfs_bit.h/xfs_bmap.c/xfs_bmap.h/xfs_bmap_btree.c/xfs_bmap_btree.h/xfs_btree.c/xfs_btree.h/xfs_btree_mem.c/xfs_btree_mem.h/xfs_btree_staging.c/xfs_btree_staging.h/xfs_cksum.h/xfs_da_btree.c/xfs_da_btree.h/xfs_da_format.h/xfs_defer.c/xfs_defer.h/xfs_dir2.c/xfs_dir2.h/xfs_dir2_block.c/xfs_dir2_data.c/xfs_dir2_leaf.c/xfs_dir2_node.c/xfs_dir2_priv.h/xfs_dir2_sf.c/xfs_dquot_buf.c/xfs_exchmaps.c/xfs_exchmaps.h/xfs_format.h/xfs_group.c/xfs_group.h/xfs_health.h/xfs_ialloc.c/xfs_ialloc.h/xfs_ialloc_btree.c/xfs_ialloc_btree.h/xfs_iext_tree.c/xfs_inode_buf.c/xfs_inode_buf.h/xfs_inode_fork.c/xfs_inode_fork.h/xfs_inode_util.c/xfs_inode_util.h/xfs_log_format.h/xfs_log_recover.h/xfs_log_rlimit.c/xfs_metadir.c/xfs_metadir.h/xfs_metafile.c/xfs_metafile.h/xfs_ondisk.h/xfs_parent.c/xfs_parent.h/xfs_platform.h/xfs_quota_defs.h/xfs_refcount.c/xfs_refcount.h/xfs_refcount_btree.c/xfs_refcount_btree.h/xfs_rmap.c/xfs_rmap.h/xfs_rmap_btree.c/xfs_rmap_btree.h/xfs_rtbitmap.c/xfs_rtbitmap.h/xfs_rtgroup.c/xfs_rtgroup.h/xfs_rtrefcount_btree.c/xfs_rtrefcount_btree.h/xfs_rtrmap_btree.c/xfs_rtrmap_btree.h/xfs_sb.c/xfs_sb.h/xfs_shared.h/xfs_symlink_remote.c/xfs_symlink_remote.h/xfs_trans_inode.c/xfs_trans_resv.c/xfs_trans_resv.h/xfs_trans_space.c/xfs_trans_space.h/xfs_types.c/xfs_zones.c/xfs_zones.h

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x/include
filetypes: fffffffffffffffdffffff
filenames:
  atomic.h/bitops.h/cache.h/command.h/handle.h/hlist.h/input.h/jdm.h/kmem.h/libxfs.h/libxlog.h/list.h/parent.h/platform_defs.h/spinlock.h/xfs/xfs_arch.h/xfs_inode.h/xfs_metadump.h/xfs_mount.h/xfs_trans.h/xqm.h


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x/repair
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  agbtree.c/agbtree.h/agheader.c/agheader.h/attr_repair.c/attr_repair.h/avl.c/avl.h/bmap.c/bmap.h/bmap_repair.c/bmap_repair.h/btree.c/btree.h/bulkload.c/bulkload.h/da_util.c/da_util.h/dino_chunks.c/dinode.c/dinode.h/dir2.c/dir2.h/err_protos.h/globals.c/globals.h/incore.c/incore.h/incore_bmc.c/incore_ext.c/incore_ino.c/init.c/phase1.c/phase2.c/phase3.c/phase4.c/phase5.c/phase6.c/phase7.c/pptr.c/pptr.h/prefetch.c/prefetch.h/progress.c/progress.h/protos.h/quotacheck.c/quotacheck.h/rcbag.c/rcbag.h/rcbag_btree.c/rcbag_btree.h/rmap.c/rmap.h/rt.c/rt.h/rtrefcount_repair.c/rtrmap_repair.c/sb.c/scan.c/scan.h/slab.c/slab.h/strblobs.c/strblobs.h/threads.c/threads.h/versions.c/versions.h/xfs_repair.c/zoned.c/zoned.h


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x/scrub
filetypes: fffffffffffffffffffffffffffffffffffffff
filenames:
  common.c/common.h/counter.c/counter.h/descr.c/descr.h/disk.c/disk.h/filemap.c/filemap.h/fscounters.c/fscounters.h/inodes.c/inodes.h/phase1.c/phase2.c/phase3.c/phase4.c/phase5.c/phase6.c/phase7.c/phase8.c/progress.c/progress.h/read_verify.c/read_verify.h/repair.c/repair.h/scrub.c/scrub.h/scrub_private.h/spacemap.c/spacemap.h/unicrash.c/unicrash.h/vfs.c/vfs.h/xfs_scrub.c/xfs_scrub.h


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x/db
filenames:
  addr.c/addr.h/agf.c/agf.h/agfl.c/agfl.h/agi.c/agi.h/attr.c/attr.h/attrset.c/attrset.h/attrshort.c/attrshort.h/bit.c/bit.h/block.c/block.h/bmap.c/bmap.h/bmap_inflate.c/bmroot.c/bmroot.h/btblock.c/btblock.h/btdump.c/btheight.c/check.c/check.h/command.c/command.h/convert.c/crc.c/crc.h/debug.c/debug.h/dir2.c/dir2.h/dir2sf.c/dir2sf.h/dquot.c/dquot.h/echo.c/echo.h/faddr.c/faddr.h/field.c/field.h/flist.c/flist.h/fprint.c/fprint.h/frag.c/frag.h/freesp.c/freesp.h/fsmap.c/fsmap.h/fuzz.c/fuzz.h/hash.c/hash.h/help.c/help.h/info.c/init.c/init.h/inode.c/inode.h/input.c/input.h/io.c/io.h/iunlink.c/logformat.c/logformat.h/malloc.c/malloc.h/metadump.c/metadump.h/namei.c/namei.h/obfuscate.c/obfuscate.h/output.c/output.h/print.c/print.h/quit.c/quit.h/rdump.c/rtgroup.c/rtgroup.h/sb.c/sb.h/sig.c/sig.h/strvec.c/strvec.h/symlink.c/symlink.h/text.c/text.h/timelimit.c/type.c/type.h/write.c/write.h

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


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x
filetypes: ddddddddddddddddddddd
filenames:
  copy/db/estimate/fsr/growfs/healer/include/io/libfrog/libhandle/libxcmd/libxfs/libxlog/logprint/mdrestore/mkfs/quota/repair/rtcp/scrub/spaceman


dirname: /usr/src/debug/xfsprogs-7.1.1-1.fc44.s390x/io
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aginfo.c/attr.c/bmap.c/bulkstat.c/cachestat.c/copy_file_range.c/cowextsize.c/crc32cselftest.c/encrypt.c/exchrange.c/fadvise.c/fiemap.c/file.c/freeze.c/fsmap.c/fsproperties.c/fsuuid.c/fsync.c/getrusage.c/healthmon.c/imap.c/init.c/init.h/inject.c/io.h/label.c/link.c/listmount.c/madvise.c/mincore.c/mmap.c/open.c/parent.c/pread.c/prealloc.c/pwrite.c/readdir.c/reflink.c/resblks.c/scrub.c/seek.c/sendfile.c/shutdown.c/stat.c/swapext.c/sync.c/sync_file_range.c/truncate.c/utimes.c/verify_media.c


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/util/include/util/serializing
filetypes: ffffff
filenames:
  BinObjectEncoding.h/InputStreamException.h/ObjectEncoding.h/ObjectInputStream.h/ObjectOutputStream.h/Serializable.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/plugin
filetypes: fffffff
filenames:
  ActionBackwardCompatibilityLayer.cpp/ActionBackwardCompatibilityLayer.h/Plugin.cpp/Plugin.h/PluginController.cpp/PluginController.h/luapi_application.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/dialog/backgroundSelect
filetypes: ffffffffffff
filenames:
  BackgroundSelectDialogBase.cpp/BackgroundSelectDialogBase.h/BaseElementView.cpp/BaseElementView.h/ImageElementView.cpp/ImageElementView.h/ImagesDialog.cpp/ImagesDialog.h/PdfElementView.cpp/PdfElementView.h/PdfPagesDialog.cpp/PdfPagesDialog.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/util/serializing
filetypes: fffff
filenames:
  BinObjectEncoding.cpp/InputStreamException.cpp/ObjectEncoding.cpp/ObjectInputStream.cpp/ObjectOutputStream.cpp


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/audio
filetypes: ffffffffffffffff
filenames:
  AudioPlayer.cpp/AudioPlayer.h/AudioQueue.h/AudioRecorder.cpp/AudioRecorder.h/DeviceInfo.cpp/DeviceInfo.h/PortAudioConsumer.cpp/PortAudioConsumer.h/PortAudioProducer.cpp/PortAudioProducer.h/SNDFileCpp.h/VorbisConsumer.cpp/VorbisConsumer.h/VorbisProducer.cpp/VorbisProducer.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/pdf/popplerapi
filetypes: ffffffff
filenames:
  PopplerGlibAction.cpp/PopplerGlibAction.h/PopplerGlibDocument.cpp/PopplerGlibDocument.h/PopplerGlibPage.cpp/PopplerGlibPage.h/PopplerGlibPageBookmarkIterator.cpp/PopplerGlibPageBookmarkIterator.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/inputdevices
filetypes: ffffffffffffffffffffffffffffffffffd
filenames:
  AbstractInputHandler.cpp/AbstractInputHandler.h/CompassInputHandler.cpp/CompassInputHandler.h/DeviceId.cpp/DeviceId.h/GeometryToolInputHandler.cpp/GeometryToolInputHandler.h/HandRecognition.cpp/HandRecognition.h/InputContext.cpp/InputContext.h/InputEvents.cpp/InputEvents.h/InputUtils.cpp/InputUtils.h/KeyboardInputHandler.cpp/KeyboardInputHandler.h/MouseInputHandler.cpp/MouseInputHandler.h/PenInputHandler.cpp/PenInputHandler.h/PositionInputData.cpp/PositionInputData.h/PrintEvent.cpp/PrintEvent.h/SetsquareInputHandler.cpp/SetsquareInputHandler.h/StylusInputHandler.cpp/StylusInputHandler.h/TouchDrawingInputHandler.cpp/TouchDrawingInputHandler.h/TouchInputHandler.cpp/TouchInputHandler.h/touchdisable


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/toolbarMenubar
filetypes: fffffffffffffffffffffffffffffffffffffdd
filenames:
  AbstractSliderItem.cpp/AbstractSliderItem.h/AbstractToolItem.cpp/AbstractToolItem.h/ColorSelectorToolItem.cpp/ColorSelectorToolItem.h/ColorToolItem.cpp/ColorToolItem.h/ComboToolButton.cpp/ComboToolButton.h/DrawingTypeComboToolButton.cpp/DrawingTypeComboToolButton.h/FontButton.cpp/FontButton.h/PluginPlaceholderLabel.cpp/PluginPlaceholderLabel.h/PluginToolButton.cpp/PluginToolButton.h/SliderItemCreationHelper.h/StylePopoverFactory.cpp/StylePopoverFactory.h/ToolButton.cpp/ToolButton.h/ToolMenuHandler.cpp/ToolMenuHandler.h/ToolPageLayer.cpp/ToolPageLayer.h/ToolPageSpinner.cpp/ToolPageSpinner.h/ToolPdfCombocontrol.cpp/ToolPdfCombocontrol.h/ToolSelectCombocontrol.cpp/ToolSelectCombocontrol.h/ToolZoomSlider.cpp/ToolZoomSlider.h/TooltipToolButton.cpp/TooltipToolButton.h/icon/model


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/dialog
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffdd
filenames:
  AboutDialog.cpp/AboutDialog.h/AbstractLatexDialog.cpp/AbstractLatexDialog.h/ButtonConfigGui.cpp/ButtonConfigGui.h/DeviceClassConfigGui.cpp/DeviceClassConfigGui.h/DeviceListDialog.cpp/DeviceListDialog.h/DeviceTestingArea.cpp/DeviceTestingArea.h/ExportDialog.cpp/ExportDialog.h/ExtEdLatexDialog.cpp/ExtEdLatexDialog.h/FileChooserFiltersHelper.cpp/FileChooserFiltersHelper.h/FormatDialog.cpp/FormatDialog.h/GotoDialog.cpp/GotoDialog.h/IntEdLatexDialog.cpp/IntEdLatexDialog.h/LanguageConfigGui.cpp/LanguageConfigGui.h/LatexSettingsPanel.cpp/LatexSettingsPanel.h/PageTemplateDialog.cpp/PageTemplateDialog.h/PluginDialog.cpp/PluginDialog.h/PluginDialogEntry.cpp/PluginDialogEntry.h/RenameLayerDialog.cpp/RenameLayerDialog.h/SelectBackgroundColorDialog.cpp/SelectBackgroundColorDialog.h/SelectOpacityDialog.cpp/SelectOpacityDialog.h/SettingsDialog.cpp/SettingsDialog.h/SettingsDialogPaletteTab.cpp/SettingsDialogPaletteTab.h/ToolbarManageDialog.cpp/ToolbarManageDialog.h/XojOpenDlg.cpp/XojOpenDlg.h/XojSaveDlg.cpp/XojSaveDlg.h/backgroundSelect/toolbarCustomize


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui
filetypes: ffffffffffffffffffffffffffffffffffffffffffffddddddd
filenames:
  Builder.cpp/Builder.h/CreatePreviewImage.cpp/CreatePreviewImage.h/FloatingToolbox.cpp/FloatingToolbox.h/GladeGui.cpp/GladeGui.h/GladeSearchpath.cpp/GladeSearchpath.h/IconNameHelper.cpp/IconNameHelper.h/Layout.cpp/Layout.h/LayoutMapper.cpp/LayoutMapper.h/LegacyRedrawable.cpp/LegacyRedrawable.h/MainWindow.cpp/MainWindow.h/PagePreviewDecoration.cpp/PagePreviewDecoration.h/PageView.cpp/PageView.h/PageViewFindObjectHelper.h/PaperFormatUtils.cpp/PaperFormatUtils.h/PdfFloatingToolbox.cpp/PdfFloatingToolbox.h/PopoverFactory.h/RepaintHandler.cpp/RepaintHandler.h/SearchBar.cpp/SearchBar.h/Shadow.cpp/Shadow.h/ShadowCode.c/ToolbarDefinitions.h/ToolitemDragDrop.cpp/ToolitemDragDrop.h/XournalView.cpp/XournalView.h/XournalppCursor.cpp/XournalppCursor.h/dialog/inputdevices/menus/scroll/sidebar/toolbarMenubar/widgets


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/toolbarMenubar/model
filetypes: ffffffffff
filenames:
  ColorPalette.cpp/ColorPalette.h/ToolbarData.cpp/ToolbarData.h/ToolbarEntry.cpp/ToolbarEntry.h/ToolbarItem.cpp/ToolbarItem.h/ToolbarModel.cpp/ToolbarModel.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/control
filetypes: ffffffffffffffffffffffffffffffffffffffffffffddddddddddd
filenames:
  AudioController.cpp/AudioController.h/ClipboardHandler.cpp/ClipboardHandler.h/CompassController.cpp/CompassController.h/Control.cpp/Control.h/CrashHandler.cpp/CrashHandler.h/DeviceListHelper.cpp/DeviceListHelper.h/ExportHelper.cpp/ExportHelper.h/GeometryToolController.cpp/GeometryToolController.h/LatexController.cpp/LatexController.h/PageBackgroundChangeController.cpp/PageBackgroundChangeController.h/PdfCache.cpp/PdfCache.h/PrintHandler.cpp/PrintHandler.h/RecentManager.cpp/RecentManager.h/ScrollHandler.cpp/ScrollHandler.h/SearchControl.cpp/SearchControl.h/SetsquareController.cpp/SetsquareController.h/Tool.cpp/Tool.h/ToolBase.cpp/ToolBase.h/ToolEnums.cpp/ToolEnums.h/ToolHandler.cpp/ToolHandler.h/UndoRedoController.cpp/UndoRedoController.h/XournalMain.cpp/XournalMain.h/actions/jobs/latex/layer/pagetype/settings/shaperecognizer/tools/xml/xojfile/zoom


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/control/shaperecognizer
filetypes: ffffffff
filenames:
  CircleRecognizer.cpp/CircleRecognizer.h/Inertia.cpp/Inertia.h/RecoSegment.cpp/RecoSegment.h/ShapeRecognizer.cpp/ShapeRecognizer.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/sidebar/previews/layer
filetypes: ffff
filenames:
  SidebarPreviewLayerEntry.cpp/SidebarPreviewLayerEntry.h/SidebarPreviewLayers.cpp/SidebarPreviewLayers.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/model
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  AudioElement.cpp/AudioElement.h/BackgroundConfig.cpp/BackgroundConfig.h/BackgroundImage.cpp/BackgroundImage.h/Compass.cpp/Compass.h/Document.cpp/Document.h/DocumentChangeType.h/DocumentHandler.cpp/DocumentHandler.h/DocumentListener.cpp/DocumentListener.h/Element.cpp/Element.h/ElementContainer.h/ElementInsertionPosition.h/Font.cpp/Font.h/FormatDefinitions.cpp/FormatDefinitions.h/GeometryTool.cpp/GeometryTool.h/Image.cpp/Image.h/Layer.cpp/Layer.h/LineStyle.cpp/LineStyle.h/LinkDestination.cpp/LinkDestination.h/MathVect.cpp/MathVect.h/OverlayBase.h/PageHandler.cpp/PageHandler.h/PageListener.cpp/PageListener.h/PageRef.h/PageType.cpp/PageType.h/PaperSize.cpp/PaperSize.h/PathParameter.h/Point.cpp/Point.h/Setsquare.cpp/Setsquare.h/Snapping.cpp/Snapping.h/SplineSegment.cpp/SplineSegment.h/Stroke.cpp/Stroke.h/StrokeContour.cpp/StrokeContour.h/StrokeStyle.cpp/StrokeStyle.h/TexImage.cpp/TexImage.h/Text.cpp/Text.h/XojPage.cpp/XojPage.h/eraser


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/util/include/util
filetypes: ffffffffffffffffffffffffffffffffffffffdffdf
filenames:
  BasePointerIterator.h/CircularBuffer.h/Color.h/DispatchPool.h/ElementRange.h/EnumIndexedArray.h/GListView.h/GVariantTemplate.h/GtkUtil.h/GzUtil.h/Interval.h/LoopUtil.h/NamedColor.h/OutputStream.h/PairView.h/PathUtil.h/PlaceholderString.h/Point.h/PointerContainerView.h/PopupWindowWrapper.h/Range.h/Recolor.h/Rectangle.h/SaveNameUtils.h/SmallVector.h/Stacktrace.h/StringUtils.h/TinyVector.h/TypeIfThenElse.h/UnionOfIntervals.h/Util.h/VersionInfo.h/ViewIteratorBase.h/XojMsgBox.h/gdk4_helper.h/glib_casts.h/gtk4_helper.h/move_only_function.h/raii/safe_casts.h/serdesstream.h/serializing/utf8_view.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/control/jobs
filetypes: fffffffffffffffffffffffff
filenames:
  AutosaveJob.cpp/AutosaveJob.h/BaseExportJob.cpp/BaseExportJob.h/BlockingJob.cpp/BlockingJob.h/CustomExportJob.cpp/CustomExportJob.h/ImageExport.cpp/ImageExport.h/Job.cpp/Job.h/PdfExportJob.cpp/PdfExportJob.h/PreviewJob.cpp/PreviewJob.h/ProgressListener.h/RenderJob.cpp/RenderJob.h/SaveJob.cpp/SaveJob.h/Scheduler.cpp/Scheduler.h/XournalScheduler.cpp/XournalScheduler.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/model/eraser
filetypes: fffff
filenames:
  ErasableStroke.cpp/ErasableStroke.h/ErasableStrokeOverlapTree.cpp/ErasableStrokeOverlapTree.h/PaddedBox.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/inputdevices/touchdisable
filetypes: ffffff
filenames:
  TouchDisableCustom.cpp/TouchDisableCustom.h/TouchDisableInterface.cpp/TouchDisableInterface.h/TouchDisableX11.cpp/TouchDisableX11.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/undo
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  AddUndoAction.cpp/AddUndoAction.h/ArrangeUndoAction.cpp/ArrangeUndoAction.h/ColorUndoAction.cpp/ColorUndoAction.h/DeleteUndoAction.cpp/DeleteUndoAction.h/EmergencySaveRestore.cpp/EmergencySaveRestore.h/EraseUndoAction.cpp/EraseUndoAction.h/FillUndoAction.cpp/FillUndoAction.h/FontUndoAction.cpp/FontUndoAction.h/GroupUndoAction.cpp/GroupUndoAction.h/InsertDeletePageUndoAction.cpp/InsertDeletePageUndoAction.h/InsertLayerUndoAction.cpp/InsertLayerUndoAction.h/InsertUndoAction.cpp/InsertUndoAction.h/LayerRenameUndoAction.cpp/LayerRenameUndoAction.h/LineStyleUndoAction.cpp/LineStyleUndoAction.h/MergeLayerDownUndoAction.cpp/MergeLayerDownUndoAction.h/MissingPdfUndoAction.cpp/MissingPdfUndoAction.h/MoveLayerUndoAction.cpp/MoveLayerUndoAction.h/MoveSelectionToLayerUndoAction.cpp/MoveSelectionToLayerUndoAction.h/MoveUndoAction.cpp/MoveUndoAction.h/PageBackgroundChangedUndoAction.cpp/PageBackgroundChangedUndoAction.h/PageLayerPosEntry.h/PageSizeChangeUndoAction.cpp/PageSizeChangeUndoAction.h/RecognizerUndoAction.cpp/RecognizerUndoAction.h/RemoveLayerUndoAction.cpp/RemoveLayerUndoAction.h/RotateUndoAction.cpp/RotateUndoAction.h/ScaleUndoAction.cpp/ScaleUndoAction.h/SizeUndoAction.cpp/SizeUndoAction.h/SwapUndoAction.cpp/SwapUndoAction.h/TextBoxUndoAction.cpp/TextBoxUndoAction.h/UndoAction.cpp/UndoAction.h/UndoRedoHandler.cpp/UndoRedoHandler.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/control/tools
filetypes: fffffffffffffffffffffffffffffffffffffffffffff
filenames:
  ArrowHandler.cpp/ArrowHandler.h/BaseShapeHandler.cpp/BaseShapeHandler.h/CoordinateSystemHandler.cpp/CoordinateSystemHandler.h/CursorSelectionType.h/EditSelection.cpp/EditSelection.h/EditSelectionContents.cpp/EditSelectionContents.h/EllipseHandler.cpp/EllipseHandler.h/EraseHandler.cpp/EraseHandler.h/ImageHandler.cpp/ImageHandler.h/ImageSizeSelection.cpp/ImageSizeSelection.h/InputHandler.cpp/InputHandler.h/LaserPointerHandler.cpp/LaserPointerHandler.h/PdfElemSelection.cpp/PdfElemSelection.h/RectangleHandler.cpp/RectangleHandler.h/RulerHandler.cpp/RulerHandler.h/Selector.cpp/Selector.h/SnapToGridInputHandler.cpp/SnapToGridInputHandler.h/SplineHandler.cpp/SplineHandler.h/StrokeHandler.cpp/StrokeHandler.h/StrokeStabilizer.cpp/StrokeStabilizer.h/StrokeStabilizerEnum.h/TextEditor.cpp/TextEditor.h/TextEditorKeyBindings.h/VerticalToolHandler.cpp/VerticalToolHandler.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/menus/popoverMenus
filetypes: ffff
filenames:
  PageTypeSelectionPopover.cpp/PageTypeSelectionPopover.h/PageTypeSelectionPopoverGridOnly.cpp/PageTypeSelectionPopoverGridOnly.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/sidebar/previews/base
filetypes: ffffff
filenames:
  SidebarLayout.cpp/SidebarLayout.h/SidebarPreviewBase.cpp/SidebarPreviewBase.h/SidebarPreviewBaseEntry.cpp/SidebarPreviewBaseEntry.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/control/settings
filetypes: ffffffffffffff
filenames:
  ButtonConfig.cpp/ButtonConfig.h/LatexSettings.h/MetadataManager.cpp/MetadataManager.h/PageTemplateSettings.cpp/PageTemplateSettings.h/RecolorParameters.h/Settings.cpp/Settings.h/SettingsEnums.cpp/SettingsEnums.h/ViewModes.cpp/ViewModes.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/pdf/base
filetypes: ffffffffffffffffffffff
filenames:
  HybridPdfExport.cpp/HybridPdfExport.h/PdfExportBackend.cpp/PdfExportBackend.h/QPdfExport.cpp/QPdfExport.h/XojCairoPdfExport.cpp/XojCairoPdfExport.h/XojPdfAction.cpp/XojPdfAction.h/XojPdfBookmarkIterator.cpp/XojPdfBookmarkIterator.h/XojPdfDocument.cpp/XojPdfDocument.h/XojPdfDocumentInterface.cpp/XojPdfDocumentInterface.h/XojPdfExport.cpp/XojPdfExport.h/XojPdfExportFactory.cpp/XojPdfExportFactory.h/XojPdfPage.cpp/XojPdfPage.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/view/overlays
filetypes: fffffffffffffffffffffffffffff
filenames:
  BaseShapeOrSplineToolView.cpp/BaseShapeOrSplineToolView.h/BaseStrokeToolView.cpp/BaseStrokeToolView.h/ImageSizeSelectionView.cpp/ImageSizeSelectionView.h/LaserPointerView.cpp/LaserPointerView.h/OverlayView.h/PdfElementSelectionView.cpp/PdfElementSelectionView.h/SearchResultView.cpp/SearchResultView.h/SelectorView.cpp/SelectorView.h/ShapeToolView.cpp/ShapeToolView.h/SplineToolView.cpp/SplineToolView.h/StrokeToolFilledHighlighterView.cpp/StrokeToolFilledHighlighterView.h/StrokeToolFilledView.cpp/StrokeToolFilledView.h/StrokeToolView.cpp/StrokeToolView.h/TextEditionView.cpp/TextEditionView.h/VerticalToolView.cpp/VerticalToolView.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/util
filetypes: ffffffffffffffffffddd
filenames:
  Color.cpp/ElementRange.cpp/GtkUtil.cpp/GzUtil.cpp/NamedColor.cpp/OutputStream.cpp/PathUtil.cpp/PlaceholderString.cpp/Range.cpp/Recolor.cpp/SaveNameUtils.cpp/Stacktrace.cpp/StringUtils.cpp/Util.cpp/VersionInfo.cpp/XojMsgBox.cpp/gdk4_helper.cpp/gtk4_helper.cpp/include/raii/serializing


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/control/xml
filetypes: ffffffffffffffffffffffff
filenames:
  Attribute.cpp/Attribute.h/DoubleArrayAttribute.cpp/DoubleArrayAttribute.h/DoubleAttribute.cpp/DoubleAttribute.h/IntAttribute.cpp/IntAttribute.h/SizeTAttribute.cpp/SizeTAttribute.h/TextAttribute.cpp/TextAttribute.h/XmlAudioNode.cpp/XmlAudioNode.h/XmlImageNode.cpp/XmlImageNode.h/XmlNode.cpp/XmlNode.h/XmlPointNode.cpp/XmlPointNode.h/XmlTexNode.cpp/XmlTexNode.h/XmlTextNode.cpp/XmlTextNode.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/dialog/toolbarCustomize
filetypes: ffffffffff
filenames:
  ToolItemDragCurrentData.cpp/ToolItemDragCurrentData.h/ToolbarAdapter.cpp/ToolbarAdapter.h/ToolbarCustomizeDialog.cpp/ToolbarCustomizeDialog.h/ToolbarDragDropHandler.cpp/ToolbarDragDropHandler.h/ToolbarDragDropHelper.cpp/ToolbarDragDropHelper.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/gui/menus/menubar
filetypes: fffffffffff
filenames:
  AbstractSubmenu.h/Menubar.cpp/Menubar.h/PageTypeSubmenu.cpp/PageTypeSubmenu.h/PluginsSubmenu.cpp/PluginsSubmenu.h/RecentDocumentsSubmenu.cpp/RecentDocumentsSubmenu.h/ToolbarSelectionSubmenu.cpp/ToolbarSelectionSubmenu.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/view/background
filetypes: fffffffffffffffffffffffffffff
filenames:
  BackgroundFlags.h/BackgroundView.cpp/BackgroundView.h/BaseIsometricBackgroundView.cpp/BaseIsometricBackgroundView.h/DottedBackgroundView.cpp/DottedBackgroundView.h/GraphBackgroundView.cpp/GraphBackgroundView.h/ImageBackgroundView.cpp/ImageBackgroundView.h/IsoDottedBackgroundView.cpp/IsoDottedBackgroundView.h/IsoGraphBackgroundView.cpp/IsoGraphBackgroundView.h/LinedBackgroundView.cpp/LinedBackgroundView.h/OneColorBackgroundView.cpp/OneColorBackgroundView.h/PdfBackgroundView.cpp/PdfBackgroundView.h/PlainBackgroundView.cpp/PlainBackgroundView.h/RuledBackgroundView.cpp/RuledBackgroundView.h/StavesBackgroundView.cpp/StavesBackgroundView.h/TransparentCheckerboardBackgroundView.cpp/TransparentCheckerboardBackgroundView.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/control/xojfile
filetypes: ffffffff
filenames:
  LoadHandler.cpp/LoadHandler.h/LoadHandlerHelper.cpp/LoadHandlerHelper.h/SaveHandler.cpp/SaveHandler.h/XojExportHandler.cpp/XojExportHandler.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/util/include/util/raii
filetypes: fffffffffff
filenames:
  CLibrariesSPtr.h/CStringWrapper.h/CairoWrappers.h/GLibGuards.h/GObjectSPtr.h/GSourceURef.h/GVariantSPtr.h/GtkPaperSizeUPtr.h/GtkWindowUPtr.h/IdentityFunction.h/PangoSPtr.h


dirname: /usr/src/debug/xournalpp-1.3.6-1.fc44.s390x/src/core/view
filetypes: fffffffffffffffffffffffffffffdd
filenames:
  CompassView.cpp/CompassView.h/DocumentView.cpp/DocumentView.h/ElementContainerView.cpp/ElementContainerView.h/ElementView.cpp/ErasableStrokeView.cpp/ErasableStrokeView.h/GeometryToolView.cpp/GeometryToolView.h/ImageView.cpp/ImageView.h/LayerView.cpp/LayerView.h/Mask.cpp/Mask.h/Repaintable.h/SetsquareView.cpp/SetsquareView.h/StrokeView.cpp/StrokeView.h/StrokeViewHelper.cpp/StrokeViewHelper.h/TexImageView.cpp/TexImageView.h/TextView.cpp/TextView.h/View.h/background/overlays


dirname: /usr/src/debug/xq-1.4.0-2.fc44.s390x/vendor/golang.org/x/text/encoding
filetypes: dfdddddddd
filenames:
  charmap/encoding.go/htmlindex/ianaindex/internal/japanese/korean/simplifiedchinese/traditionalchinese/unicode


dirname: /usr/lib/debug/usr/libexec/xrdp
filetypes: fff
filenames:
  waitforx-0.10.6.1-3.fc44.s390x.debug/xrdp-droppriv-0.10.6.1-3.fc44.s390x.debug/xrdp-sesexec-0.10.6.1-3.fc44.s390x.debug


dirname: /usr/lib/debug/usr/lib64/xrdp
filetypes: fffffffff
filenames:
  libcommon.so.0.0.0-0.10.6.1-3.fc44.s390x.debug/libipm.so.0.0.0-0.10.6.1-3.fc44.s390x.debug/libmc.so-0.10.6.1-3.fc44.s390x.debug/libsesman.so.0.0.0-0.10.6.1-3.fc44.s390x.debug/libtoml.so.1.0.0-0.10.6.1-3.fc44.s390x.debug/libvnc.so-0.10.6.1-3.fc44.s390x.debug/libxrdp.so.0.0.0-0.10.6.1-3.fc44.s390x.debug/libxrdpapi.so.0.0.0-0.10.6.1-3.fc44.s390x.debug/libxup.so-0.10.6.1-3.fc44.s390x.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffff
filenames:
  xrdp-0.10.6.1-3.fc44.s390x.debug/xrdp-chansrv-0.10.6.1-3.fc44.s390x.debug/xrdp-dis-0.10.6.1-3.fc44.s390x.debug/xrdp-dumpfv1-0.10.6.1-3.fc44.s390x.debug/xrdp-genkeymap-0.10.6.1-3.fc44.s390x.debug/xrdp-keygen-0.10.6.1-3.fc44.s390x.debug/xrdp-sesadmin-0.10.6.1-3.fc44.s390x.debug/xrdp-sesman-0.10.6.1-3.fc44.s390x.debug/xrdp-sesrun-0.10.6.1-3.fc44.s390x.debug


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/common
filetypes: ffffffffffffffffffffffffffffffffff
filenames:
  arch.h/base64.c/base64.h/channel_defs.h/fifo.c/fifo.h/file.c/file.h/guid.c/guid.h/list.c/list.h/list16.c/list16.h/log.c/log.h/ms-erref.h/ms-fscc.h/ms-rdpefs.h/ms-smb2.h/os_calls.c/os_calls.h/parse.c/parse.h/ssl_calls.c/ssl_calls.h/string_calls.c/string_calls.h/thread_calls.c/thread_calls.h/trans.c/trans.h/xrdp_client_info.h/xrdp_rail.h


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/libxrdp
filetypes: fffffffffffffffff
filenames:
  libxrdp.c/libxrdp.h/libxrdpinc.h/xrdp_bitmap32_compress.c/xrdp_bitmap_compress.c/xrdp_caps.c/xrdp_channel.c/xrdp_fastpath.c/xrdp_iso.c/xrdp_jpeg_compress.c/xrdp_mcs.c/xrdp_mppc_enc.c/xrdp_orders.c/xrdp_orders_rail.c/xrdp_orders_rail.h/xrdp_rdp.c/xrdp_sec.c


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/sesman
filetypes: dffffdffffffdffffffffd
filenames:
  chansrv/eicp_process.c/eicp_process.h/ercp_process.c/ercp_process.h/libsesman/lock_uds.c/lock_uds.h/pre_session_list.c/pre_session_list.h/scp_process.c/scp_process.h/sesexec/sesexec_control.c/sesexec_control.h/sesman.c/sesman.h/session_list.c/session_list.h/sig.c/sig.h/tools


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/sesman/sesexec
filetypes: ffffffffffffffffff
filenames:
  eicp_server.c/eicp_server.h/env.c/env.h/ercp_server.c/ercp_server.h/login_info.c/login_info.h/sesexec.c/sesexec.h/session.c/session.h/sessionrecord.c/sessionrecord.h/xauth.c/xauth.h/xwait.c/xwait.h


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/libipm
filetypes: ffffffffffffffff
filenames:
  eicp.c/eicp.h/ercp.c/ercp.h/libipm.c/libipm.h/libipm_facilities.h/libipm_private.h/libipm_recv.c/libipm_send.c/scp.c/scp.h/scp_application_types.c/scp_application_types.h/scp_sync.c/scp_sync.h


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x
filetypes: ddddddddddddddddd
filenames:
  common/fontutils/genkeymap/keygen/libipm/libpainter/librfxcodec/libxrdp/mc/sesman/third_party/tools/vnc/waitforx/xrdp/xrdpapi/xup


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/xrdp
filetypes: ffffffffffffffffffffffffff
filenames:
  funcs.c/lang.c/xrdp.c/xrdp.h/xrdp_bitmap.c/xrdp_bitmap_common.c/xrdp_bitmap_load.c/xrdp_cache.c/xrdp_egfx.c/xrdp_egfx.h/xrdp_encoder.c/xrdp_encoder.h/xrdp_encoder_openh264.c/xrdp_encoder_openh264.h/xrdp_font.c/xrdp_listen.c/xrdp_login_wnd.c/xrdp_main_utils.c/xrdp_mm.c/xrdp_painter.c/xrdp_process.c/xrdp_region.c/xrdp_tconfig.c/xrdp_tconfig.h/xrdp_types.h/xrdp_wm.c


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/sesman/chansrv
filetypes: fffffffffffffffffffffffffffff
filenames:
  audin.c/audin.h/chansrv.c/chansrv.h/chansrv_common.c/chansrv_common.h/chansrv_config.c/chansrv_config.h/chansrv_fuse.c/chansrv_fuse.h/chansrv_xfs.c/chansrv_xfs.h/clipboard.c/clipboard.h/clipboard_common.h/clipboard_file.c/clipboard_file.h/devredir.c/devredir.h/irp.c/irp.h/rail.c/rail.h/smartcard.h/smartcard_dummy.c/sound.c/sound.h/xcommon.c/xcommon.h


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/librfxcodec/src
filetypes: ffffffffffffffffffffffffffffff
filenames:
  rfx_bitstream.h/rfxcommon.h/rfxconstants.h/rfxencode.c/rfxencode.h/rfxencode_alpha.c/rfxencode_alpha.h/rfxencode_compose.c/rfxencode_compose.h/rfxencode_diff_rlgr1.c/rfxencode_diff_rlgr1.h/rfxencode_diff_rlgr3.c/rfxencode_diff_rlgr3.h/rfxencode_differential.c/rfxencode_differential.h/rfxencode_dwt.c/rfxencode_dwt.h/rfxencode_dwt_rem.c/rfxencode_dwt_shift_rem.c/rfxencode_dwt_shift_rem.h/rfxencode_quantization.c/rfxencode_quantization.h/rfxencode_rgb_to_yuv.c/rfxencode_rgb_to_yuv.h/rfxencode_rlgr1.c/rfxencode_rlgr1.h/rfxencode_rlgr3.c/rfxencode_rlgr3.h/rfxencode_tile.c/rfxencode_tile.h


dirname: /usr/src/debug/xrdp-0.10.6.1-3.fc44.s390x/sesman/libsesman
filetypes: ffffffff
filenames:
  sesman_access.c/sesman_access.h/sesman_auth.h/sesman_clip_restrict.c/sesman_clip_restrict.h/sesman_config.c/sesman_config.h/verify_user_pam.c


dirname: /usr/lib/debug/usr/lib64
filetypes: ffffffffffff
filenames:
  libXrdAccDeadlock-6.so-0.6.9-1.fc44.s390x.debug/libXrdAccHttpCallout-6.so-0.6.9-1.fc44.s390x.debug/libXrdHTTPServer-6.so-0.6.9-1.fc44.s390x.debug/libXrdN2NPrefix-6.so-0.6.9-1.fc44.s390x.debug/libXrdOssDeadlock-6.so-0.6.9-1.fc44.s390x.debug/libXrdOssFilter-6.so-0.6.9-1.fc44.s390x.debug/libXrdOssGlobus-6.so-0.6.9-1.fc44.s390x.debug/libXrdOssHttp-6.so-0.6.9-1.fc44.s390x.debug/libXrdOssPosc-6.so-0.6.9-1.fc44.s390x.debug/libXrdOssS3-6.so-0.6.9-1.fc44.s390x.debug/libXrdPelicanHttpCore.so.0.0.0-0.6.9-1.fc44.s390x.debug/libXrdS3-6.so-0.6.9-1.fc44.s390x.debug


dirname: /usr/lib/debug/.build-id/2e
filetypes: ffff
filenames:
  845d090287f345cae4916ce172e41fff547b68/845d090287f345cae4916ce172e41fff547b68.1/845d090287f345cae4916ce172e41fff547b68.1.debug/845d090287f345cae4916ce172e41fff547b68.debug


dirname: /usr/lib/debug/.build-id/81
filetypes: ffff
filenames:
  71b58b2123c3429155ddc1cc597f5991e627b5/71b58b2123c3429155ddc1cc597f5991e627b5.1/71b58b2123c3429155ddc1cc597f5991e627b5.1.debug/71b58b2123c3429155ddc1cc597f5991e627b5.debug


dirname: /usr/src/debug/xrootd-s3-http-0.6.9-1.fc44.s390x/src
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  AWSv4-impl.cc/AWSv4-impl.hh/AccHttpCallout.cc/AccHttpCallout.hh/CurlUtil.cc/CurlUtil.hh/CurlWorker.hh/DeadlockAcc.cc/DeadlockAcc.hh/DeadlockDetector.cc/DeadlockDetector.hh/DeadlockOss.cc/DeadlockOss.hh/Filter.cc/Filter.hh/GlobusDirectory.cc/GlobusDirectory.hh/GlobusFile.cc/GlobusFile.hh/GlobusFileSystem.cc/GlobusFileSystem.hh/HTTPCommands.cc/HTTPCommands.hh/HTTPDirectory.cc/HTTPDirectory.hh/HTTPFile.cc/HTTPFile.hh/HTTPFileSystem.cc/HTTPFileSystem.hh/Posc.cc/Posc.hh/PrefixN2N.cc/PrefixN2N.hh/S3AccessInfo.cc/S3AccessInfo.hh/S3Commands.cc/S3Commands.hh/S3Directory.cc/S3Directory.hh/S3File.cc/S3File.hh/S3FileSystem.cc/S3FileSystem.hh/TokenFile.cc/TokenFile.hh/logging.cc/logging.hh/shortfile.cc/shortfile.hh/stl_string_utils.cc/stl_string_utils.hh


filenames: dispatch.rs/mod.rs
filetypes: ff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src/shell/wlr_layer


filenames: device.rs/mod.rs/offer.rs/selection.rs
filetypes: ffff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src/primary_selection


dirname: /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/hecs-0.10.5/src
filetypes: fffffffffffff
filenames:
  archetype.rs/batch.rs/borrow.rs/bundle.rs/command_buffer.rs/entities.rs/entity_builder.rs/entity_ref.rs/lib.rs/query.rs/query_one.rs/take.rs/world.rs


filenames: mod.rs
filetypes: f
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/wayland-backend-0.3.11/src/rs/client_impl


filenames: src
filetypes: d
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/wayland-protocols-experimental-20250721.0.1


filenames: lib.rs/protocol_macro.rs
filetypes: ff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/wayland-protocols-experimental-20250721.0.1/src


dirname: /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor
filetypes: dddddddddddddddddddddddddddddddddddddddddddddddddddd
filenames:
  ab_glyph-0.2.32/ab_glyph_rasterizer-0.1.10/ahash-0.8.12/aho-corasick-1.1.4/arrayvec-0.7.6/bitflags-1.3.2/bitflags-2.10.0/bytemuck-1.24.0/crc32fast-1.5.0/downcast-rs-1.2.1/env_logger-0.10.2/errno-0.3.14/fdeflate-0.3.7/flate2-1.1.5/fontconfig-0.10.0/hashbrown-0.14.5/hecs-0.10.5/humantime-2.3.0/libc-0.2.177/log-0.4.28/memchr-2.7.6/memmap2-0.9.9/miniz_oxide-0.8.9/owned_ttf_parser-0.25.1/png-0.17.16/pretty_env_logger-0.5.0/regex-1.12.2/regex-automata-0.4.13/regex-syntax-0.8.8/rustix-1.1.2/sd-notify-0.4.5/simd-adler32-0.3.7/smallvec-1.15.1/smithay-client-toolkit-0.20.0/spin-0.9.8/strict-num-0.1.1/termcolor-1.4.1/thiserror-2.0.17/tiny-skia-0.11.4/tiny-skia-path-0.11.4/ttf-parser-0.25.1/wayland-backend-0.3.11/wayland-client-0.31.11/wayland-cursor-0.31.11/wayland-protocols-0.32.9/wayland-protocols-experimental-20250721.0.1/wayland-protocols-misc-0.3.9/wayland-protocols-wlr-0.3.9/wayland-server-0.31.10/xcb-1.7.0/xcb-util-cursor-0.4.0/xcursor-0.3.10


filenames: mod.rs
filetypes: f
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src/session_lock


filenames: data_device.rs/data_offer.rs/data_source.rs/mod.rs/read_pipe.rs/write_pipe.rs
filetypes: ffffff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src/data_device_manager


filenames: mod.rs
filetypes: f
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src/seat/pointer


filenames: fallback_frame.rs/mod.rs/popup.rs/window
filetypes: fffd
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src/shell/xdg


filenames: client.rs/common_poll.rs/handle.rs/mod.rs/registry.rs
filetypes: fffff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/wayland-backend-0.3.11/src/rs/server_impl


filenames: mod.rs/state.rs
filetypes: ff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/regex-automata-0.4.13/src/util/determinize


dirname: /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src
filetypes: ffdfffffdfdddd
filenames:
  activation.rs/compositor.rs/data_device_manager/dmabuf.rs/error.rs/foreign_toplevel_list.rs/lib.rs/output.rs/primary_selection/registry.rs/seat/session_lock/shell/shm


filenames: mod.rs
filetypes: f
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/libc-0.2.177/src/unix/linux_like/linux/gnu


filenames: aho_corasick.rs/byteset.rs/memchr.rs/memmem.rs/mod.rs/teddy.rs
filetypes: ffffff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/regex-automata-0.4.13/src/util/prefilter


dirname: /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/rustix-1.1.2/src
filetypes: dfddddfddffdfffff
filenames:
  backend/buffer.rs/event/fs/io/ioctl/lib.rs/net/path/pid.rs/pipe.rs/process/shm.rs/signal.rs/timespec.rs/ugid.rs/weak.rs


filenames: inner.rs/mod.rs
filetypes: ff
dirname:
  /usr/src/debug/xwayland-satellite-0.8.1-1.fc44.s390x/vendor/smithay-client-toolkit-0.20.0/src/shell/xdg/window


dirname: /usr/src/debug/yakuake-25.12.3-1.fc44.s390x/redhat-linux-build/app/yakuake_autogen/include
filetypes: ffffffffffff
filenames:
  moc_appearancesettings.cpp/moc_firstrundialog.cpp/moc_mainwindow.cpp/moc_session.cpp/moc_sessionstack.cpp/moc_skin.cpp/moc_splitter.cpp/moc_tabbar.cpp/moc_terminal.cpp/moc_titlebar.cpp/moc_visualeventoverlay.cpp/moc_windowsettings.cpp


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


dirname: /usr/src/debug/yakuake-25.12.3-1.fc44.s390x/app/config
filetypes: ffffff
filenames:
  appearancesettings.cpp/appearancesettings.h/skinlistdelegate.cpp/skinlistdelegate.h/windowsettings.cpp/windowsettings.h


dirname: /usr/src/debug/yakuake-25.12.3-1.fc44.s390x/redhat-linux-build/app
filetypes: ffffffd
filenames:
  settings.cpp/settings.h/ui_appearancesettings.h/ui_behaviorsettings.h/ui_firstrundialog.h/ui_windowsettings.h/yakuake_autogen


dirname: /usr/src/debug/yash-2.61-1.fc44.s390x
filetypes: ffffffdffffffffffffdfffffffffffffffffffffffffffff
filenames:
  alias.c/alias.h/arith.c/arith.h/builtin.c/builtin.h/builtins/exec.c/exec.h/expand.c/expand.h/hashtable.c/hashtable.h/history.c/history.h/input.c/input.h/job.c/job.h/lineedit/mail.c/mail.h/option.c/option.h/parser.c/parser.h/path.c/path.h/plist.c/plist.h/redir.c/redir.h/refcount.h/sig.c/sig.h/siglist.h/signum.h/strbuf.c/strbuf.h/util.c/util.h/variable.c/variable.h/xfnmatch.c/xfnmatch.h/xgetopt.c/xgetopt.h/yash.c/yash.h


dirname: /usr/src/debug/yash-2.61-1.fc44.s390x/lineedit
filetypes: fffffffffffffffff
filenames:
  complete.c/complete.h/compparse.c/compparse.h/display.c/display.h/editing.c/editing.h/key.h/keymap.c/keymap.h/lineedit.c/lineedit.h/terminfo.c/terminfo.h/trie.c/trie.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/solvers/funs
filetypes: fffffff
filenames:
  fun_level.c/fun_level.h/fun_solver.c/fun_solver.h/fun_solver_printer.c/stratification.c/stratification.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/frontend/common
filetypes: ffffffffffff
filenames:
  assumption_table.c/assumption_table.h/assumptions_and_core.c/assumptions_and_core.h/bug_report.c/bug_report.h/named_term_stacks.c/named_term_stacks.h/parameters.c/parameters.h/tables.c/tables.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/mcsat/bool
filetypes: ffffffffff
filenames:
  bcp_watch_manager.c/bcp_watch_manager.h/bool_plugin.c/bool_plugin.h/bool_plugin_types.h/clause_db.c/clause_db.h/cnf.c/cnf.h/literal.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/mcsat/ff
filetypes: ffffffffff
filenames:
  ff_feasible_set_db.c/ff_feasible_set_db.h/ff_libpoly.c/ff_libpoly.h/ff_plugin.c/ff_plugin.h/ff_plugin_explain.c/ff_plugin_explain.h/ff_plugin_internal.c/ff_plugin_internal.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/mcsat/utils
filetypes: ffffffffffffffffffff
filenames:
  int_lset.c/int_lset.h/int_mset.c/int_mset.h/lp_constraint_db.c/lp_constraint_db.h/lp_data.c/lp_data.h/lp_utils.c/lp_utils.h/scope_holder.c/scope_holder.h/statistics.c/statistics.h/substitution.c/substitution.h/value_hash_map.c/value_hash_map.h/value_vector.c/value_vector.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/exists_forall
filetypes: ffffffffff
filenames:
  ef_analyze.c/ef_analyze.h/ef_client.c/ef_client.h/ef_skolemize.c/ef_skolemize.h/ef_values.c/ef_values.h/efsolver.c/efsolver.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/mcsat/bv/explain
filetypes: ffffffffffffff
filenames:
  arith.c/arith.h/arith_intervals.c/arith_intervals.h/arith_norm.c/arith_norm.h/arith_utils.c/arith_utils.h/eq_ext_con.c/eq_ext_con.h/full_bv_sat.c/full_bv_sat.h/full_bv_trivial.c/full_bv_trivial.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/frontend/smt2
filetypes: ffffffffffffffffffffffffff
filenames:
  attribute_values.c/attribute_values.h/parenthesized_expr.c/parenthesized_expr.h/smt2_commands.c/smt2_commands.h/smt2_expressions.c/smt2_expressions.h/smt2_keywords.txt/smt2_lexer.c/smt2_lexer.h/smt2_model_printer.c/smt2_model_printer.h/smt2_parse_tables.h/smt2_parser.c/smt2_parser.h/smt2_printer.c/smt2_printer.h/smt2_symbol_printer.c/smt2_symbol_printer.h/smt2_symbols.txt/smt2_term_stack.c/smt2_term_stack.h/smt2_tokens.txt/smt2_type_printer.c/smt2_type_printer.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/model
filetypes: ffffffffffffffffffffffffffffffffffffffff
filenames:
  abstract_values.c/abstract_values.h/arith_projection.c/arith_projection.h/concrete_values.c/concrete_values.h/fresh_value_maker.c/fresh_value_maker.h/fun_maps.c/fun_maps.h/fun_trees.c/fun_trees.h/generalization.c/generalization.h/large_bvsets.c/large_bvsets.h/literal_collector.c/literal_collector.h/map_to_model.c/map_to_model.h/model_eval.c/model_eval.h/model_queries.c/model_queries.h/model_support.c/model_support.h/models.c/models.h/presburger.c/presburger.h/projection.c/projection.h/rb_bvsets.c/rb_bvsets.h/small_bvsets.c/small_bvsets.h/term_to_val.c/term_to_val.h/val_to_term.c/val_to_term.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/frontend/smt1
filetypes: ffffffff
filenames:
  smt_keywords.txt/smt_lexer.c/smt_lexer.h/smt_parse_tables.h/smt_parser.c/smt_parser.h/smt_term_stack.c/smt_term_stack.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/solvers/bv
filetypes: fffffffffffffffffffffffffffff
filenames:
  bit_blaster.c/bit_blaster.h/bv64_intervals.c/bv64_intervals.h/bv_atomtable.c/bv_atomtable.h/bv_intervals.c/bv_intervals.h/bv_vartable.c/bv_vartable.h/bvconst_hmap.c/bvconst_hmap.h/bvexp_table.c/bvexp_table.h/bvpoly_compiler.c/bvpoly_compiler.h/bvpoly_dag.c/bvpoly_dag.h/bvsolver.c/bvsolver.h/bvsolver_printer.c/bvsolver_printer.h/bvsolver_types.h/dimacs_printer.c/dimacs_printer.h/merge_table.c/merge_table.h/remap_table.c/remap_table.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/mcsat/na
filetypes: ffffffffff
filenames:
  feasible_set_db.c/feasible_set_db.h/na_libpoly.c/na_libpoly.h/na_plugin.c/na_plugin.h/na_plugin_explain.c/na_plugin_explain.h/na_plugin_internal.c/na_plugin_internal.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/context
filetypes: ffffffffffffffffffffffffffffffffffffffffffff
filenames:
  assumption_stack.c/assumption_stack.h/common_conjuncts.c/common_conjuncts.h/conditional_definitions.c/conditional_definitions.h/context.c/context.h/context_parameters.c/context_parameters.h/context_printer.c/context_printer.h/context_simplifier.c/context_simplifier.h/context_solver.c/context_statistics.c/context_types.h/context_utils.c/context_utils.h/divmod_table.c/divmod_table.h/dump_context.c/dump_context.h/eq_abstraction.c/eq_abstraction.h/eq_learner.c/eq_learner.h/internalization_codes.h/internalization_printer.c/internalization_printer.h/internalization_table.c/internalization_table.h/ite_flattener.c/ite_flattener.h/pseudo_subst.c/pseudo_subst.h/quant_context.c/quant_context.h/quant_context_utils.c/quant_context_utils.h/shared_terms.c/shared_terms.h/symmetry_breaking.c/symmetry_breaking.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/terms
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arith_buffers.c/arith_buffers.h/balanced_arith_buffers.c/balanced_arith_buffers.h/bit_expr.c/bit_expr.h/bit_term_conversion.c/bit_term_conversion.h/bv64_constants.c/bv64_constants.h/bv64_interval_abstraction.c/bv64_interval_abstraction.h/bv64_polynomials.c/bv64_polynomials.h/bv_constants.c/bv_constants.h/bv_polynomials.c/bv_polynomials.h/bv_slices.c/bv_slices.h/bvarith64_buffer_terms.c/bvarith64_buffer_terms.h/bvarith64_buffers.c/bvarith64_buffers.h/bvarith_buffer_terms.c/bvarith_buffer_terms.h/bvarith_buffers.c/bvarith_buffers.h/bvfactor_buffers.c/bvfactor_buffers.h/bvlogic_buffers.c/bvlogic_buffers.h/bvpoly_buffers.c/bvpoly_buffers.h/conditionals.c/conditionals.h/elim_subst.c/elim_subst.h/extended_rationals.c/extended_rationals.h/free_var_collector.c/free_var_collector.h/full_subst.c/full_subst.h/int_rational_hash_maps.c/int_rational_hash_maps.h/ite_stack.c/ite_stack.h/mpq_aux.c/mpq_aux.h/mpq_stores.c/mpq_stores.h/poly_buffer.c/poly_buffer.h/poly_buffer_terms.c/poly_buffer_terms.h/polynomial_common.h/polynomials.c/polynomials.h/power_products.c/power_products.h/pprod_table.c/pprod_table.h/rational_hash_maps.c/rational_hash_maps.h/rationals.c/rationals.h/rba_buffer_terms.c/rba_buffer_terms.h/renaming_context.c/renaming_context.h/subst_cache.c/subst_cache.h/subst_context.c/subst_context.h/term_explorer.c/term_explorer.h/term_manager.c/term_manager.h/term_sets.c/term_sets.h/term_substitution.c/term_substitution.h/term_utils.c/term_utils.h/terms.c/terms.h/types.c/types.h/variable_renaming.c/variable_renaming.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/frontend/yices
filetypes: fffffffffffffff
filenames:
  arith_solver_codes.c/arith_solver_codes.h/labeled_assertions.c/labeled_assertions.h/yices_help.c/yices_help.h/yices_keywords.txt/yices_lexer.c/yices_lexer.h/yices_parse_tables.h/yices_parser.c/yices_parser.h/yices_reval.c/yices_reval.h/yices_tstack_ops.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/solvers/simplex
filetypes: ffffffffffffffffffffffff
filenames:
  arith_atomtable.c/arith_atomtable.h/arith_vartable.c/arith_vartable.h/diophantine_systems.c/diophantine_systems.h/dsolver_printer.c/gomory_cuts.c/gomory_cuts.h/int_constraint_printer.c/integrality_constraints.c/integrality_constraints.h/matrices.c/matrices.h/offset_equalities.c/offset_equalities.h/simplex.c/simplex.h/simplex_printer.c/simplex_printer.h/simplex_prop_table.c/simplex_prop_table.h/simplex_propagator1.h/simplex_types.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/solvers/floyd_warshall
filetypes: ffffffffff
filenames:
  dl_vartable.c/dl_vartable.h/idl_floyd_warshall.c/idl_floyd_warshall.h/idl_fw_printer.c/idl_fw_printer.h/rdl_floyd_warshall.c/rdl_floyd_warshall.h/rdl_fw_printer.c/rdl_fw_printer.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/parser_utils
filetypes: fffffffff
filenames:
  lexer.c/lexer.h/parser.c/parser.h/term_stack2.c/term_stack2.h/term_stack_error.c/term_stack_error.h/tstack_internals.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/mcsat
filetypes: ddffddffdfffdfffffffffffdffdffffffffd
filenames:
  bool/bv/conflict.c/conflict.h/eq/ff/gc.c/gc.h/ite/mcsat_types.h/model.c/model.h/na/options.c/options.h/plugin.h/preprocessor.c/preprocessor.h/solver.c/solver.h/tracing.c/tracing.h/trail.c/trail.h/uf/unit_info.c/unit_info.h/utils/value.c/value.h/variable_db.c/variable_db.h/variable_queue.c/variable_queue.h/watch_list_manager.c/watch_list_manager.h/weq


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/api
filetypes: ffffffffffffffffff
filenames:
  context_config.c/context_config.h/search_parameters.c/search_parameters.h/smt_logic_codes.c/smt_logic_codes.h/yices_api.c/yices_api_lock_free.h/yices_debug_version.c/yices_error.c/yices_error.h/yices_error_report.c/yices_error_report.h/yices_error_report_posix.c/yices_extensions.h/yices_globals.h/yval.c/yval.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/solvers/egraph
filetypes: ffffffffffffffffff
filenames:
  composites.c/composites.h/diseq_stacks.c/diseq_stacks.h/egraph.c/egraph.h/egraph_assertion_queues.c/egraph_assertion_queues.h/egraph_base_types.h/egraph_explanations.c/egraph_explanations.h/egraph_printer.c/egraph_printer.h/egraph_types.h/egraph_utils.c/egraph_utils.h/theory_explanations.c/theory_explanations.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/solvers/quant
filetypes: ffffffffffffffffffffffffffff
filenames:
  cnstr_learner.c/cnstr_learner.h/ef_parameters.c/ef_parameters.h/ef_problem.c/ef_problem.h/ematch_compile.c/ematch_compile.h/ematch_execute.c/ematch_execute.h/ematch_instance.c/ematch_instance.h/ematch_instr.c/ematch_instr.h/ematch_instr_stack.c/ematch_instr_stack.h/quant_cnstr.c/quant_cnstr.h/quant_ematching.c/quant_ematching.h/quant_parameters.c/quant_parameters.h/quant_pattern.c/quant_pattern.h/quant_solver.c/quant_solver.h/term_learner.c/term_learner.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/mcsat/bv
filetypes: fffffffffffffd
filenames:
  bdd_computation.c/bdd_computation.h/bv_bdd_manager.c/bv_bdd_manager.h/bv_evaluator.c/bv_evaluator.h/bv_explainer.c/bv_explainer.h/bv_feasible_set_db.c/bv_feasible_set_db.h/bv_plugin.c/bv_plugin.h/bv_utils.h/explain


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/cudd-cudd-3.0.0/cudd
filetypes: ffffffffffffffffffffffffffffffffffffffff
filenames:
  cudd.h/cuddAPI.c/cuddAddAbs.c/cuddAddApply.c/cuddAddIte.c/cuddAddNeg.c/cuddAndAbs.c/cuddAnneal.c/cuddApa.c/cuddBddAbs.c/cuddBddIte.c/cuddBridge.c/cuddCache.c/cuddCheck.c/cuddCof.c/cuddCompose.c/cuddExact.c/cuddExport.c/cuddGenetic.c/cuddGroup.c/cuddInit.c/cuddInt.h/cuddInteract.c/cuddLCache.c/cuddLinear.c/cuddPriority.c/cuddRef.c/cuddReorder.c/cuddSat.c/cuddSymmetry.c/cuddTable.c/cuddUtil.c/cuddWindow.c/cuddZddFuncs.c/cuddZddGroup.c/cuddZddIsop.c/cuddZddLin.c/cuddZddReord.c/cuddZddSetop.c/cuddZddSymm.c


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/solvers/cdcl
filetypes: ffffffffffffffffffffffffffffff
filenames:
  clause_pool.c/clause_pool.h/delegate.c/delegate.h/gates_hash_table.c/gates_hash_table.h/gates_manager.c/gates_manager.h/gates_printer.c/gates_printer.h/new_gate_hash_map.c/new_gate_hash_map.h/new_gate_hash_map2.c/new_gate_hash_map2.h/new_gates.c/new_gates.h/new_sat_solver.c/new_sat_solver.h/sat_solver.c/sat_solver.h/sat_solver_base_types.h/smt_core.c/smt_core.h/smt_core_base_types.h/smt_core_printer.c/smt_core_printer.h/truth_tables.c/truth_tables.h/wide_truth_tables.c/wide_truth_tables.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/io
filetypes: ffffffffffffffffffff
filenames:
  concrete_value_printer.c/concrete_value_printer.h/model_printer.c/model_printer.h/pretty_printer.c/pretty_printer.h/reader.c/reader.h/simple_printf.c/simple_printf.h/term_printer.c/term_printer.h/tracer.c/tracer.h/type_printer.c/type_printer.h/writer.c/writer.h/yices_pp.c/yices_pp.h


dirname: /usr/src/debug/yices-2.7.0-6.fc44.s390x/src/utils
filenames:
  arena.c/arena.h/assert_utils.h/backtrack_arrays.c/backtrack_arrays.h/backtrack_int_hash_map.c/backtrack_int_hash_map.h/bit_tricks.h/bitvectors.h/cache.c/cache.h/command_line.c/command_line.h/cputime.c/cputime.h/csets.c/csets.h/dep_tables.c/dep_tables.h/dl_lists.h/dprng.h/error.c/gcd.c/gcd.h/generic_heap.c/generic_heap.h/hash_functions.c/hash_functions.h/index_vectors.c/index_vectors.h/indexed_table.c/indexed_table.h/int_array_hsets.c/int_array_hsets.h/int_array_sort.c/int_array_sort.h/int_array_sort2.c/int_array_sort2.h/int_bags.c/int_bags.h/int_bv_sets.c/int_bv_sets.h/int_harray_store.c/int_harray_store.h/int_hash_classes.c/int_hash_classes.h/int_hash_map.c/int_hash_map.h/int_hash_map2.c/int_hash_map2.h/int_hash_sets.c/int_hash_sets.h/int_hash_tables.c/int_hash_tables.h/int_heap.c/int_heap.h/int_heap2.c/int_heap2.h/int_partitions.c/int_partitions.h/int_powers.c/int_powers.h/int_queues.c/int_queues.h/int_stack.c/int_stack.h/int_vectors.c/int_vectors.h/mark_vectors.c/mark_vectors.h/memalloc.c/memalloc.h/memsize.c/memsize.h/object_stack.c/object_stack.h/object_stores.c/object_stores.h/pair_hash_map.c/pair_hash_map.h/pair_hash_map2.c/pair_hash_map2.h/pair_hash_sets.c/pair_hash_sets.h/pointer_vectors.c/pointer_vectors.h/prng.h/ptr_array_sort.c/ptr_array_sort.h/ptr_array_sort2.c/ptr_array_sort2.h/ptr_hash_classes.c/ptr_hash_classes.h/ptr_hash_map.c/ptr_hash_map.h/ptr_heap.c/ptr_heap.h/ptr_partitions.c/ptr_partitions.h/ptr_queues.c/ptr_queues.h/ptr_sets.c/ptr_sets.h/ptr_sets2.c/ptr_sets2.h/ptr_stack.c/ptr_stack.h/ptr_vectors.c/ptr_vectors.h/refcount_int_arrays.c/refcount_int_arrays.h/refcount_strings.c/refcount_strings.h/resize_arrays.c/resize_arrays.h/simple_cache.c/simple_cache.h/simple_int_stack.c/simple_int_stack.h/sparse_arrays.c/sparse_arrays.h/stable_sort.c/stable_sort.h/string_buffers.c/string_buffers.h/string_hash_map.c/string_hash_map.h/string_utils.c/string_utils.h/symbol_tables.c/symbol_tables.h/tag_map.c/tag_map.h/tagged_pointers.h/timeout.c/timeout.h/tuple_hash_map.c/tuple_hash_map.h/uint_array_sort.c/uint_array_sort.h/uint_array_sort2.c/uint_array_sort2.h/uint_learner.c/uint_learner.h/uint_rbtrees.c/uint_rbtrees.h/union_find.c/union_find.h/use_vectors.c/use_vectors.h/vector_hash_map.c/vector_hash_map.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/lib/debug/usr/bin
filetypes: ffff
filenames:
  yices-2.7.0-6.fc44.s390x.debug/yices-sat-2.7.0-6.fc44.s390x.debug/yices-smt-2.7.0-6.fc44.s390x.debug/yices-smt2-2.7.0-6.fc44.s390x.debug


dirname: /usr/src/debug/ytalk-3.3.0-101.fc44.s390x/src
filetypes: ffffffffffffffffffff
filenames:
  comm.c/cwin.c/cwin.h/exec.c/fd.c/getpty.c/gtalk.c/gtalk.h/header.h/main.c/mem.c/mem.h/menu.c/menu.h/rc.c/socket.c/socket.h/term.c/user.c/vt100.c


dirname: /usr/lib/debug/usr/lib64
filetypes: ffffd
filenames:
  libykhsmauth.so.2.7.2-2.7.2-1.fc44.s390x.debug/libyubihsm.so.2.7.2-2.7.2-1.fc44.s390x.debug/libyubihsm_http.so.2.7.2-2.7.2-1.fc44.s390x.debug/libyubihsm_usb.so.2.7.2-2.7.2-1.fc44.s390x.debug/pkcs11


dirname: /usr/lib/debug/usr/bin
filetypes: fff
filenames:
  yubihsm-auth-2.7.2-1.fc44.s390x.debug/yubihsm-shell-2.7.2-1.fc44.s390x.debug/yubihsm-wrap-2.7.2-1.fc44.s390x.debug


dirname: /usr/src/debug/yubihsm-shell-2.7.2-1.fc44.s390x/pkcs11
filetypes: ffffffffffffff
filenames:
  cmdline.c/cmdline.h/debug_p11.c/debug_p11.h/list.c/list.h/pkcs11.h/pkcs11f.h/pkcs11t.h/pkcs11y.h/util_pkcs11.c/util_pkcs11.h/yubihsm_pkcs11.c/yubihsm_pkcs11.h


dirname: /usr/src/debug/yubihsm-shell-2.7.2-1.fc44.s390x/common
filetypes: fffffffffffff
filenames:
  ecdh.c/ecdh.h/hash.c/hash.h/openssl-compat.c/parsing.c/parsing.h/pkcs5.c/pkcs5.h/rand.c/rand.h/util.c/util.h


dirname: /usr/src/debug/yubihsm-shell-2.7.2-1.fc44.s390x/lib
filetypes: fffffffffffff
filenames:
  data_compress.c/data_compress.h/debug_lib.h/error.c/internal.h/lib_util.c/scp.h/yubihsm.c/yubihsm.h/yubihsm_curl.c/yubihsm_libusb.c/yubihsm_usb.c/yubihsm_usb.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/tactic/core
filetypes: fffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  blast_term_ite_tactic.cpp/blast_term_ite_tactic.h/cofactor_elim_term_ite.cpp/cofactor_elim_term_ite.h/cofactor_term_ite_tactic.cpp/cofactor_term_ite_tactic.h/collect_occs.cpp/collect_occs.h/collect_statistics_tactic.cpp/collect_statistics_tactic.h/ctx_simplify_tactic.cpp/ctx_simplify_tactic.h/demodulator_tactic.h/der_tactic.cpp/der_tactic.h/distribute_forall_tactic.h/dom_simplify_tactic.h/elim_term_ite_tactic.cpp/elim_term_ite_tactic.h/elim_uncnstr2_tactic.h/elim_uncnstr_tactic.cpp/elim_uncnstr_tactic.h/eliminate_predicates_tactic.h/injectivity_tactic.cpp/injectivity_tactic.h/nnf_tactic.cpp/nnf_tactic.h/occf_tactic.cpp/occf_tactic.h/pb_preprocess_tactic.cpp/pb_preprocess_tactic.h/propagate_values2_tactic.h/propagate_values_tactic.cpp/propagate_values_tactic.h/reduce_args_tactic.cpp/reduce_args_tactic.h/simplify_tactic.cpp/simplify_tactic.h/solve_eqs_tactic.h/special_relations_tactic.cpp/special_relations_tactic.h/split_clause_tactic.cpp/split_clause_tactic.h/symmetry_reduce_tactic.cpp/symmetry_reduce_tactic.h/tseitin_cnf_tactic.cpp/tseitin_cnf_tactic.h


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


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/src/ast/sls
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  bvsls_opt_engine.cpp/bvsls_opt_engine.h/sat_ddfw.cpp/sat_ddfw.h/sls_arith_base.cpp/sls_arith_base.h/sls_arith_clausal.cpp/sls_arith_clausal.h/sls_arith_lookahead.cpp/sls_arith_lookahead.h/sls_arith_plugin.cpp/sls_arith_plugin.h/sls_array_plugin.cpp/sls_array_plugin.h/sls_basic_plugin.cpp/sls_basic_plugin.h/sls_bv_engine.cpp/sls_bv_engine.h/sls_bv_eval.cpp/sls_bv_eval.h/sls_bv_evaluator.h/sls_bv_fixed.cpp/sls_bv_fixed.h/sls_bv_lookahead.cpp/sls_bv_lookahead.h/sls_bv_plugin.cpp/sls_bv_plugin.h/sls_bv_terms.cpp/sls_bv_terms.h/sls_bv_tracker.h/sls_bv_valuation.cpp/sls_bv_valuation.h/sls_context.cpp/sls_context.h/sls_datatype_plugin.cpp/sls_datatype_plugin.h/sls_euf_plugin.cpp/sls_euf_plugin.h/sls_powers.h/sls_seq_plugin.cpp/sls_seq_plugin.h/sls_smt_plugin.cpp/sls_smt_plugin.h/sls_smt_solver.cpp/sls_smt_solver.h/sls_stats.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/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.16.0-1.fc44.s390x/src/ast
filenames:
  act_cache.cpp/act_cache.h/arith_decl_plugin.cpp/arith_decl_plugin.h/array_decl_plugin.cpp/array_decl_plugin.h/array_peq.cpp/array_peq.h/ast.cpp/ast.h/ast_ll_pp.cpp/ast_ll_pp.h/ast_lt.cpp/ast_lt.h/ast_pp.h/ast_pp_dot.cpp/ast_pp_dot.h/ast_pp_util.cpp/ast_pp_util.h/ast_printer.cpp/ast_printer.h/ast_smt2_pp.cpp/ast_smt2_pp.h/ast_smt_pp.cpp/ast_smt_pp.h/ast_trail.h/ast_translation.cpp/ast_translation.h/ast_util.cpp/ast_util.h/bv_decl_plugin.cpp/bv_decl_plugin.h/char_decl_plugin.cpp/char_decl_plugin.h/converters/cost_evaluator.cpp/cost_evaluator.h/datatype_decl_plugin.cpp/datatype_decl_plugin.h/decl_collector.cpp/decl_collector.h/display_dimacs.cpp/display_dimacs.h/dl_decl_plugin.cpp/dl_decl_plugin.h/euf/expr2polynomial.cpp/expr2polynomial.h/expr2var.cpp/expr2var.h/expr_abstract.cpp/expr_abstract.h/expr_delta_pair.h/expr_functors.cpp/expr_functors.h/expr_map.cpp/expr_map.h/expr_stat.cpp/expr_stat.h/expr_substitution.cpp/expr_substitution.h/for_each_ast.cpp/for_each_ast.h/for_each_expr.cpp/for_each_expr.h/format.cpp/format.h/fpa/fpa_decl_plugin.cpp/fpa_decl_plugin.h/func_decl_dependencies.cpp/func_decl_dependencies.h/has_free_vars.cpp/has_free_vars.h/is_variable_test.h/justified_expr.h/macro_substitution.cpp/macro_substitution.h/macros/normal_forms/num_occurs.cpp/num_occurs.h/occurs.cpp/occurs.h/pattern/pb_decl_plugin.cpp/pb_decl_plugin.h/polymorphism_inst.cpp/polymorphism_inst.h/polymorphism_util.cpp/polymorphism_util.h/pp.cpp/pp.h/proofs/quantifier_stat.cpp/quantifier_stat.h/recfun_decl_plugin.cpp/recfun_decl_plugin.h/recurse_expr.h/recurse_expr_def.h/reg_decl_plugins.cpp/reg_decl_plugins.h/rewriter/scoped_proof.h/seq_decl_plugin.cpp/seq_decl_plugin.h/shared_occs.cpp/shared_occs.h/simplifiers/sls/special_relations_decl_plugin.cpp/special_relations_decl_plugin.h/static_features.cpp/static_features.h/substitution/used_symbols.h/used_vars.cpp/used_vars.h/value_generator.cpp/value_generator.h/well_sorted.cpp/well_sorted.h

filetypes:
  ffffffffffffffffffffffffffffffffffdffffffffffdfffffffffffffffffffffdffffffffffddffffdffffffffdffffffffdfffffddffffdfffffff


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/sat
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffdd
filenames:
  dimacs.cpp/dimacs.h/sat_aig_finder.cpp/sat_aig_finder.h/sat_allocator.h/sat_anf_simplifier.cpp/sat_anf_simplifier.h/sat_asymm_branch.cpp/sat_asymm_branch.h/sat_bcd.cpp/sat_bcd.h/sat_big.cpp/sat_big.h/sat_clause.cpp/sat_clause.h/sat_clause_set.cpp/sat_clause_set.h/sat_clause_use_list.cpp/sat_clause_use_list.h/sat_cleaner.cpp/sat_cleaner.h/sat_config.cpp/sat_config.h/sat_ddfw_wrapper.cpp/sat_ddfw_wrapper.h/sat_drat.cpp/sat_drat.h/sat_elim_eqs.cpp/sat_elim_eqs.h/sat_extension.h/sat_gc.cpp/sat_integrity_checker.cpp/sat_integrity_checker.h/sat_justification.h/sat_local_search.cpp/sat_local_search.h/sat_lookahead.cpp/sat_lookahead.h/sat_model_converter.cpp/sat_model_converter.h/sat_mus.cpp/sat_mus.h/sat_npn3_finder.cpp/sat_npn3_finder.h/sat_parallel.cpp/sat_parallel.h/sat_prob.cpp/sat_prob.h/sat_probing.cpp/sat_probing.h/sat_proof_trim.cpp/sat_proof_trim.h/sat_scc.cpp/sat_scc.h/sat_simplifier.cpp/sat_simplifier.h/sat_solver/sat_solver.cpp/sat_solver.h/sat_solver_core.h/sat_types.h/sat_watched.cpp/sat_watched.h/sat_xor_finder.cpp/sat_xor_finder.h/smt/tactic


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/nlsat
filetypes: fffffffffffffffffffffffffd
filenames:
  levelwise.cpp/levelwise.h/nlsat_assignment.h/nlsat_clause.cpp/nlsat_clause.h/nlsat_common.cpp/nlsat_common.h/nlsat_evaluator.cpp/nlsat_evaluator.h/nlsat_explain.cpp/nlsat_explain.h/nlsat_interval_set.cpp/nlsat_interval_set.h/nlsat_justification.h/nlsat_scoped_literal_vector.h/nlsat_simple_checker.cpp/nlsat_simple_checker.h/nlsat_simplify.cpp/nlsat_simplify.h/nlsat_solver.cpp/nlsat_solver.h/nlsat_types.cpp/nlsat_types.h/nlsat_variable_ordering_strategy.cpp/nlsat_variable_ordering_strategy.h/tactic


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/math/polynomial
filetypes: fffffffffffffffff
filenames:
  algebraic_numbers.cpp/algebraic_numbers.h/linear_eq_solver.h/polynomial.cpp/polynomial.h/polynomial_cache.cpp/polynomial_cache.h/polynomial_primes.h/rpolynomial.cpp/rpolynomial.h/sexpr2upolynomial.cpp/sexpr2upolynomial.h/upolynomial.cpp/upolynomial.h/upolynomial_factorization.cpp/upolynomial_factorization.h/upolynomial_factorization_int.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/tactic/fd_solver
filetypes: ffffffffff
filenames:
  bounded_int2bv_solver.cpp/bounded_int2bv_solver.h/enum2bv_solver.cpp/enum2bv_solver.h/fd_solver.cpp/fd_solver.h/pb2bv_solver.cpp/pb2bv_solver.h/smtfd_solver.cpp/smtfd_solver.h


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


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/tactic/bv
filetypes: ffffffffffffffffffffff
filenames:
  bit_blaster_model_converter.cpp/bit_blaster_model_converter.h/bit_blaster_tactic.cpp/bit_blaster_tactic.h/bv1_blaster_tactic.cpp/bv1_blaster_tactic.h/bv_bound_chk_tactic.cpp/bv_bound_chk_tactic.h/bv_bounds_tactic.cpp/bv_bounds_tactic.h/bv_size_reduction_tactic.cpp/bv_size_reduction_tactic.h/bv_slice_tactic.h/bvarray2uf_rewriter.cpp/bvarray2uf_rewriter.h/bvarray2uf_tactic.cpp/bvarray2uf_tactic.h/dt2bv_tactic.cpp/dt2bv_tactic.h/elim_small_bv_tactic.cpp/elim_small_bv_tactic.h/max_bv_sharing_tactic.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/params
filetypes: ffffffffffffffffffffffff
filenames:
  bit_blaster_params.h/context_params.cpp/context_params.h/dyn_ack_params.cpp/dyn_ack_params.h/pattern_inference_params.cpp/pattern_inference_params.h/preprocessor_params.cpp/preprocessor_params.h/qi_params.cpp/qi_params.h/smt_params.cpp/smt_params.h/theory_arith_params.cpp/theory_arith_params.h/theory_array_params.cpp/theory_array_params.h/theory_bv_params.cpp/theory_bv_params.h/theory_datatype_params.h/theory_pb_params.cpp/theory_pb_params.h/theory_seq_params.cpp/theory_seq_params.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/cmd_context
filetypes: ffffffffffffdffffffffffff
filenames:
  basic_cmds.cpp/basic_cmds.h/cmd_context.cpp/cmd_context.h/cmd_context_to_goal.cpp/cmd_context_to_goal.h/cmd_util.cpp/cmd_util.h/echo_tactic.cpp/echo_tactic.h/eval_cmd.cpp/eval_cmd.h/extra_cmds/parametric_cmd.cpp/parametric_cmd.h/pdecl.cpp/pdecl.h/simplifier_cmds.cpp/simplifier_cmds.h/simplify_cmd.cpp/simplify_cmd.h/tactic_cmds.cpp/tactic_cmds.h/tactic_manager.cpp/tactic_manager.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/ast/simplifiers
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  bit2int.h/bit_blaster.cpp/bit_blaster.h/bound_manager.cpp/bound_manager.h/bound_propagator.cpp/bound_propagator.h/bound_simplifier.cpp/bound_simplifier.h/bv_bounds_simplifier.cpp/bv_bounds_simplifier.h/bv_elim.h/bv_slice.cpp/bv_slice.h/card2bv.cpp/card2bv.h/cnf_nnf.h/demodulator_simplifier.cpp/demodulator_simplifier.h/dependent_expr.h/dependent_expr_state.cpp/dependent_expr_state.h/distribute_forall.cpp/distribute_forall.h/dominator_simplifier.cpp/dominator_simplifier.h/elim_bounds.h/elim_term_ite.h/elim_unconstrained.cpp/elim_unconstrained.h/eliminate_predicates.cpp/eliminate_predicates.h/euf_completion.cpp/euf_completion.h/extract_eqs.cpp/extract_eqs.h/flatten_clauses.h/linear_equation.cpp/linear_equation.h/max_bv_sharing.cpp/max_bv_sharing.h/model_reconstruction_trail.cpp/model_reconstruction_trail.h/propagate_values.cpp/propagate_values.h/pull_nested_quantifiers.h/push_ite.h/randomizer.h/reduce_args_simplifier.cpp/reduce_args_simplifier.h/refine_inj_axiom.h/rewriter_simplifier.h/solve_context_eqs.cpp/solve_context_eqs.h/solve_eqs.cpp/solve_eqs.h/then_simplifier.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/cmd_context/extra_cmds
filetypes: ffffffff
filenames:
  dbg_cmds.cpp/dbg_cmds.h/polynomial_cmds.cpp/polynomial_cmds.h/proof_cmds.cpp/proof_cmds.h/subpaving_cmds.cpp/subpaving_cmds.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/muz/fp
filetypes: ffffffff
filenames:
  datalog_parser.cpp/datalog_parser.h/dl_cmds.cpp/dl_cmds.h/dl_register_engine.cpp/dl_register_engine.h/horn_tactic.cpp/horn_tactic.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/opt
filetypes: fffffffffffffffffffffffffffffff
filenames:
  maxcore.cpp/maxcore.h/maxlex.cpp/maxlex.h/maxsmt.cpp/maxsmt.h/opt_cmds.cpp/opt_cmds.h/opt_context.cpp/opt_context.h/opt_cores.cpp/opt_cores.h/opt_lns.cpp/opt_lns.h/opt_pareto.cpp/opt_pareto.h/opt_parse.cpp/opt_parse.h/opt_preprocess.cpp/opt_preprocess.h/opt_solver.cpp/opt_solver.h/optsmt.cpp/optsmt.h/pb_sls.cpp/pb_sls.h/sortmax.cpp/totalizer.cpp/totalizer.h/wmax.cpp/wmax.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/redhat-linux-build/src/params
filetypes: ffffffffffffffff
filenames:
  arith_rewriter_params.hpp/array_rewriter_params.hpp/bool_rewriter_params.hpp/bv_rewriter_params.hpp/fpa2bv_rewriter_params.hpp/fpa_rewriter_params.hpp/pattern_inference_params_helper.hpp/poly_rewriter_params.hpp/rewriter_params.hpp/sat_params.hpp/seq_rewriter_params.hpp/sls_params.hpp/smt_parallel_params.hpp/smt_params_helper.hpp/solver_params.hpp/tactic_params.hpp


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/ast/fpa
filetypes: ffffff
filenames:
  bv2fpa_converter.cpp/bv2fpa_converter.h/fpa2bv_converter.cpp/fpa2bv_converter.h/fpa2bv_rewriter.cpp/fpa2bv_rewriter.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src
filetypes: dddddddddddddddddd
filenames:
  ackermannization/api/ast/cmd_context/math/model/muz/nlsat/opt/params/parsers/qe/sat/shell/smt/solver/tactic/util


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/sat/smt
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  arith_axioms.cpp/arith_diagnostics.cpp/arith_internalize.cpp/arith_solver.cpp/arith_solver.h/arith_theory_checker.h/arith_value.cpp/arith_value.h/array_axioms.cpp/array_diagnostics.cpp/array_internalize.cpp/array_model.cpp/array_solver.cpp/array_solver.h/atom2bool_var.cpp/atom2bool_var.h/bv_ackerman.cpp/bv_ackerman.h/bv_delay_internalize.cpp/bv_internalize.cpp/bv_invariant.cpp/bv_solver.cpp/bv_solver.h/bv_theory_checker.cpp/bv_theory_checker.h/distinct_theory_checker.h/dt_solver.cpp/dt_solver.h/euf_ackerman.cpp/euf_ackerman.h/euf_internalize.cpp/euf_invariant.cpp/euf_model.cpp/euf_proof.cpp/euf_proof_checker.cpp/euf_proof_checker.h/euf_relevancy.cpp/euf_relevancy.h/euf_solver.cpp/euf_solver.h/fpa_solver.cpp/fpa_solver.h/intblast_solver.cpp/intblast_solver.h/pb_card.cpp/pb_card.h/pb_constraint.cpp/pb_constraint.h/pb_internalize.cpp/pb_pb.cpp/pb_pb.h/pb_solver.cpp/pb_solver.h/pb_solver_interface.h/q_clause.cpp/q_clause.h/q_ematch.cpp/q_ematch.h/q_eval.cpp/q_eval.h/q_mbi.cpp/q_mbi.h/q_model_fixer.cpp/q_model_fixer.h/q_queue.cpp/q_queue.h/q_solver.cpp/q_solver.h/q_theory_checker.cpp/q_theory_checker.h/recfun_solver.cpp/recfun_solver.h/sat_internalizer.h/sat_smt.h/sat_th.cpp/sat_th.h/sls_solver.cpp/sls_solver.h/specrel_solver.cpp/specrel_solver.h/tseitin_theory_checker.cpp/tseitin_theory_checker.h/user_solver.cpp/user_solver.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/smt/tactic
filetypes: ffffff
filenames:
  ctx_solver_simplify_tactic.cpp/ctx_solver_simplify_tactic.h/smt_tactic_core.cpp/smt_tactic_core.h/unit_subsumption_tactic.cpp/unit_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/tactic/smtlogics
filetypes: ffffffffffffffffffffffffffff
filenames:
  nra_tactic.cpp/nra_tactic.h/qfaufbv_tactic.cpp/qfaufbv_tactic.h/qfauflia_tactic.cpp/qfauflia_tactic.h/qfbv_tactic.cpp/qfbv_tactic.h/qfidl_tactic.cpp/qfidl_tactic.h/qflia_tactic.cpp/qflia_tactic.h/qflra_tactic.cpp/qflra_tactic.h/qfnia_tactic.cpp/qfnia_tactic.h/qfnra_tactic.cpp/qfnra_tactic.h/qfuf_tactic.cpp/qfuf_tactic.h/qfufbv_ackr_model_converter.cpp/qfufbv_ackr_model_converter.h/qfufbv_tactic.cpp/qfufbv_tactic.h/quant_tactics.cpp/quant_tactics.h/smt_tactic.cpp/smt_tactic.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/tactic/fpa
filetypes: ffffffff
filenames:
  fpa2bv_model_converter.cpp/fpa2bv_model_converter.h/fpa2bv_tactic.cpp/fpa2bv_tactic.h/qffp_tactic.cpp/qffp_tactic.h/qffplra_tactic.cpp/qffplra_tactic.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/math/simplex
filetypes: ffffffffff
filenames:
  bit_matrix.cpp/bit_matrix.h/model_based_opt.cpp/model_based_opt.h/simplex.cpp/simplex.h/simplex_def.h/sparse_matrix.h/sparse_matrix_def.h/sparse_matrix_ops.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/tactic/portfolio
filetypes: ffffffff
filenames:
  default_tactic.cpp/default_tactic.h/euf_completion_tactic.cpp/euf_completion_tactic.h/smt_strategic_solver.cpp/solver2lookahead.cpp/solver_subsumption_tactic.cpp/solver_subsumption_tactic.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/parsers/util
filetypes: ffffffff
filenames:
  cost_parser.cpp/cost_parser.h/pattern_validation.cpp/pattern_validation.h/scanner.cpp/scanner.h/simple_parser.cpp/simple_parser.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/ast/substitution
filetypes: fffffffffffff
filenames:
  demodulator_rewriter.cpp/demodulator_rewriter.h/expr_offset.h/expr_offset_map.h/matcher.cpp/matcher.h/substitution.cpp/substitution.h/substitution_tree.cpp/substitution_tree.h/unifier.cpp/unifier.h/var_offset_map.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/ast/euf
filetypes: ffffffffffffffffffffff
filenames:
  euf_ac_plugin.cpp/euf_ac_plugin.h/euf_arith_plugin.cpp/euf_arith_plugin.h/euf_bv_plugin.cpp/euf_bv_plugin.h/euf_egraph.cpp/euf_egraph.h/euf_enode.cpp/euf_enode.h/euf_etable.cpp/euf_etable.h/euf_justification.cpp/euf_justification.h/euf_mam.cpp/euf_mam.h/euf_plugin.cpp/euf_plugin.h/euf_specrel_plugin.cpp/euf_specrel_plugin.h/ho_matcher.cpp/ho_matcher.h


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

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


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


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/math/lp
filenames:
  bound_analyzer_on_row.h/column.h/column_namer.h/core_solver_pretty_printer.cpp/core_solver_pretty_printer.h/core_solver_pretty_printer_def.h/cross_nested.h/dense_matrix.cpp/dioph_eq.cpp/dioph_eq.h/emonics.cpp/emonics.h/explanation.h/factorization.cpp/factorization.h/factorization_factory_imp.cpp/factorization_factory_imp.h/general_matrix.h/gomory.cpp/gomory.h/hnf.h/hnf_cutter.cpp/hnf_cutter.h/horner.cpp/horner.h/implied_bound.h/incremental_vector.h/indexed_value.h/indexed_vector.cpp/indexed_vector.h/indexed_vector_def.h/int_branch.cpp/int_branch.h/int_cube.cpp/int_cube.h/int_gcd_test.cpp/int_gcd_test.h/int_solver.cpp/int_solver.h/lar_constraints.h/lar_core_solver.cpp/lar_core_solver.h/lar_core_solver_def.h/lar_solver.cpp/lar_solver.h/lar_term.h/lia_move.h/lp_api.h/lp_bound_propagator.h/lp_core_solver_base.cpp/lp_core_solver_base.h/lp_core_solver_base_def.h/lp_primal_core_solver.cpp/lp_primal_core_solver.h/lp_primal_core_solver_def.h/lp_primal_core_solver_tableau_def.h/lp_settings.cpp/lp_settings.h/lp_settings_def.h/lp_types.h/lp_utils.h/matrix.cpp/matrix_def.h/mon_eq.cpp/monic.h/monomial_bounds.cpp/monomial_bounds.h/nex.h/nex_creator.cpp/nex_creator.h/nla_basics_lemmas.cpp/nla_basics_lemmas.h/nla_coi.cpp/nla_coi.h/nla_common.cpp/nla_common.h/nla_core.cpp/nla_core.h/nla_defs.h/nla_divisions.cpp/nla_divisions.h/nla_grobner.cpp/nla_grobner.h/nla_intervals.cpp/nla_intervals.h/nla_monotone_lemmas.cpp/nla_monotone_lemmas.h/nla_order_lemmas.cpp/nla_order_lemmas.h/nla_powers.cpp/nla_powers.h/nla_pp.cpp/nla_solver.cpp/nla_solver.h/nla_tangent_lemmas.cpp/nla_tangent_lemmas.h/nla_throttle.cpp/nla_throttle.h/nla_types.h/nra_solver.cpp/nra_solver.h/numeric_pair.h/permutation_matrix.cpp/permutation_matrix.h/permutation_matrix_def.h/random_updater.cpp/random_updater.h/random_updater_def.h/stacked_vector.h/static_matrix.cpp/static_matrix.h/static_matrix_def.h/var_eqs.h/var_register.h

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


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/ast/macros
filetypes: fffffffffff
filenames:
  cond_macro.h/macro_finder.cpp/macro_finder.h/macro_manager.cpp/macro_manager.h/macro_util.cpp/macro_util.h/quantifier_macro_info.cpp/quantifier_macro_info.h/quasi_macros.cpp/quasi_macros.h


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


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


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


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/muz/base
filetypes: fffffffffffffffffffffff
filenames:
  bind_variables.cpp/bind_variables.h/dl_boogie_proof.cpp/dl_boogie_proof.h/dl_context.cpp/dl_context.h/dl_costs.cpp/dl_costs.h/dl_engine_base.h/dl_rule.cpp/dl_rule.h/dl_rule_set.cpp/dl_rule_set.h/dl_rule_subsumption_index.cpp/dl_rule_subsumption_index.h/dl_rule_transformer.cpp/dl_rule_transformer.h/dl_util.cpp/dl_util.h/hnf.cpp/hnf.h/rule_properties.cpp/rule_properties.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/shell
filetypes: fffffffffffff
filenames:
  datalog_frontend.cpp/datalog_frontend.h/dimacs_frontend.cpp/dimacs_frontend.h/drat_frontend.cpp/drat_frontend.h/main.cpp/opt_frontend.cpp/opt_frontend.h/smtlib_frontend.cpp/smtlib_frontend.h/z3_log_frontend.cpp/z3_log_frontend.h


dirname: /usr/src/debug/z3-4.16.0-1.fc44.s390x/src/solver
filetypes: dffffffffffffffffffffffffffffff
filenames:
  assertions/check_logic.cpp/check_logic.h/check_sat_result.cpp/check_sat_result.h/combined_solver.cpp/combined_solver.h/mus.cpp/mus.h/parallel_tactical.cpp/parallel_tactical.h/preferred_value_propagator.h/progress_callback.h/simplifier_solver.cpp/simplifier_solver.h/slice_solver.cpp/slice_solver.h/smt_logics.cpp/smt_logics.h/solver.cpp/solver.h/solver2tactic.cpp/solver2tactic.h/solver_na2as.cpp/solver_na2as.h/solver_pool.cpp/solver_pool.h/solver_preprocess.cpp/solver_preprocess.h/tactic2solver.cpp/tactic2solver.h


dirname: /usr/src/debug/zenity-4.2.2-1.fc44.s390x/src
filetypes: fffffffffffffffffffff
filenames:
  about.c/calendar.c/color.c/entry.c/fileselection.c/forms.c/main.c/msg.c/notification.c/option.c/option.h/password.c/progress.c/scale.c/text.c/tree.c/util.c/util.h/zenity-tree-column-view.c/zenity-tree-column-view.h/zenity.h


dirname: /usr/src/debug/zlib-ng-2.3.3-3.fc44.s390x/arch/generic
filetypes: ffffffffff
filenames:
  adler32_c.c/adler32_fold_c.c/chunkset_c.c/compare256_c.c/compare256_p.h/crc32_braid_c.c/crc32_chorba_c.c/crc32_fold_c.c/generic_functions.h/slide_hash_c.c


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


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


