# filelist

dirname: /usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3
filetypes: ffdfffffffffff
filenames:
  AbortWorker.cs/App.config/Properties/SolverFoundation.Plugin.Z3.csproj/Utils.cs/Z3BaseDirective.cs/Z3BaseParams.cs/Z3BaseSolver.cs/Z3MILPDirective.cs/Z3MILPParams.cs/Z3MILPSolver.cs/Z3TermDirective.cs/Z3TermParams.cs/Z3TermSolver.cs


dirname: /usr/share/doc/z3-doc/examples/python/tutorial/html
filetypes: fdffff
filenames:
  advanced-examples.htm/examples/fixpoint-examples.htm/guide-examples.htm/index.html/strategies-examples.htm


dirname: /usr/share/doc/z3-doc/html/search
filenames:
  all_0.html/all_0.js/all_1.html/all_1.js/all_10.html/all_10.js/all_11.html/all_11.js/all_12.html/all_12.js/all_13.html/all_13.js/all_14.html/all_14.js/all_15.html/all_15.js/all_16.html/all_16.js/all_17.html/all_17.js/all_18.html/all_18.js/all_19.html/all_19.js/all_2.html/all_2.js/all_3.html/all_3.js/all_4.html/all_4.js/all_5.html/all_5.js/all_6.html/all_6.js/all_7.html/all_7.js/all_8.html/all_8.js/all_9.html/all_9.js/all_a.html/all_a.js/all_b.html/all_b.js/all_c.html/all_c.js/all_d.html/all_d.js/all_e.html/all_e.js/all_f.html/all_f.js/classes_0.html/classes_0.js/classes_1.html/classes_1.js/classes_10.html/classes_10.js/classes_11.html/classes_11.js/classes_2.html/classes_2.js/classes_3.html/classes_3.js/classes_4.html/classes_4.js/classes_5.html/classes_5.js/classes_6.html/classes_6.js/classes_7.html/classes_7.js/classes_8.html/classes_8.js/classes_9.html/classes_9.js/classes_a.html/classes_a.js/classes_b.html/classes_b.js/classes_c.html/classes_c.js/classes_d.html/classes_d.js/classes_e.html/classes_e.js/classes_f.html/classes_f.js/close.svg/defines_0.html/defines_0.js/defines_1.html/defines_1.js/defines_2.html/defines_2.js/enums_0.html/enums_0.js/enums_1.html/enums_1.js/enums_2.html/enums_2.js/enumvalues_0.html/enumvalues_0.js/enumvalues_1.html/enumvalues_1.js/enumvalues_2.html/enumvalues_2.js/enumvalues_3.html/enumvalues_3.js/files_0.html/files_0.js/files_1.html/files_1.js/functions_0.html/functions_0.js/functions_1.html/functions_1.js/functions_10.html/functions_10.js/functions_11.html/functions_11.js/functions_12.html/functions_12.js/functions_13.html/functions_13.js/functions_14.html/functions_14.js/functions_15.html/functions_15.js/functions_16.html/functions_16.js/functions_17.html/functions_17.js/functions_18.html/functions_18.js/functions_19.html/functions_19.js/functions_2.html/functions_2.js/functions_3.html/functions_3.js/functions_4.html/functions_4.js/functions_5.html/functions_5.js/functions_6.html/functions_6.js/functions_7.html/functions_7.js/functions_8.html/functions_8.js/functions_9.html/functions_9.js/functions_a.html/functions_a.js/functions_b.html/functions_b.js/functions_c.html/functions_c.js/functions_d.html/functions_d.js/functions_e.html/functions_e.js/functions_f.html/functions_f.js/groups_0.html/groups_0.js/mag_sel.svg/namespaces_0.html/namespaces_0.js/nomatches.html/pages_0.html/pages_0.js/related_0.html/related_0.js/related_1.html/related_1.js/related_2.html/related_2.js/related_3.html/related_3.js/related_4.html/related_4.js/related_5.html/related_5.js/related_6.html/related_6.js/related_7.html/related_7.js/related_8.html/related_8.js/related_9.html/related_9.js/related_a.html/related_a.js/related_b.html/related_b.js/related_c.html/related_c.js/related_d.html/related_d.js/related_e.html/related_e.js/related_f.html/related_f.js/search.css/search.js/search_l.png/search_m.png/search_r.png/searchdata.js/typedefs_0.html/typedefs_0.js/typedefs_1.html/typedefs_1.js/typedefs_2.html/typedefs_2.js/typedefs_3.html/typedefs_3.js/typedefs_4.html/typedefs_4.js/variables_0.html/variables_0.js/variables_1.html/variables_1.js/variables_10.html/variables_10.js/variables_11.html/variables_11.js/variables_12.html/variables_12.js/variables_2.html/variables_2.js/variables_3.html/variables_3.js/variables_4.html/variables_4.js/variables_5.html/variables_5.js/variables_6.html/variables_6.js/variables_7.html/variables_7.js/variables_8.html/variables_8.js/variables_9.html/variables_9.js/variables_a.html/variables_a.js/variables_b.html/variables_b.js/variables_c.html/variables_c.js/variables_d.html/variables_d.js/variables_e.html/variables_e.js/variables_f.html/variables_f.js

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/include/z3
filetypes: ffffffffffffff
filenames:
  z3++.h/z3.h/z3_algebraic.h/z3_api.h/z3_ast_containers.h/z3_fixedpoint.h/z3_fpa.h/z3_macros.h/z3_optimization.h/z3_polynomial.h/z3_rcf.h/z3_spacer.h/z3_v1.h/z3_version.h


dirname: /usr/lib/python3.9/site-packages/z3/__pycache__
filetypes: ffffffffffffffffffffff
filenames:
  __init__.cpython-39.opt-1.pyc/__init__.cpython-39.pyc/z3.cpython-39.opt-1.pyc/z3.cpython-39.pyc/z3consts.cpython-39.opt-1.pyc/z3consts.cpython-39.pyc/z3core.cpython-39.opt-1.pyc/z3core.cpython-39.pyc/z3num.cpython-39.opt-1.pyc/z3num.cpython-39.pyc/z3poly.cpython-39.opt-1.pyc/z3poly.cpython-39.pyc/z3printer.cpython-39.opt-1.pyc/z3printer.cpython-39.pyc/z3rcf.cpython-39.opt-1.pyc/z3rcf.cpython-39.pyc/z3test.cpython-39.opt-1.pyc/z3test.cpython-39.pyc/z3types.cpython-39.opt-1.pyc/z3types.cpython-39.pyc/z3util.cpython-39.opt-1.pyc/z3util.cpython-39.pyc


dirname: /usr/lib/python3.9/site-packages/z3
filetypes: fdffffffffff
filenames:
  __init__.py/__pycache__/z3.py/z3consts.py/z3core.py/z3num.py/z3poly.py/z3printer.py/z3rcf.py/z3test.py/z3types.py/z3util.py


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc
filetypes: ffffffffffffffffffffffffffffffff
filenames:
  App.p_hi/Asciify.p_hi/BCP47.p_hi/CSS.p_hi/CSV.p_hi/Class.p_hi/Emoji.p_hi/Error.p_hi/Extensions.p_hi/Filter.p_hi/Highlighting.p_hi/Image.p_hi/ImageSize.p_hi/Logging.p_hi/Lua.p_hi/MIME.p_hi/MediaBag.p_hi/Options.p_hi/PDF.p_hi/Parsing.p_hi/Process.p_hi/Readers.p_hi/RoffChar.p_hi/SelfContained.p_hi/Shared.p_hi/Slides.p_hi/Templates.p_hi/Translations.p_hi/UTF8.p_hi/UUID.p_hi/Writers.p_hi/XML.p_hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Readers/Org
filetypes: fffffffff
filenames:
  BlockStarts.p_hi/Blocks.p_hi/DocumentTree.p_hi/ExportSettings.p_hi/Inlines.p_hi/Meta.p_hi/ParserState.p_hi/Parsing.p_hi/Shared.p_hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Writers
filetypes: ffffffffffffffffffffffffffffffffffffff
filenames:
  AsciiDoc.p_hi/CommonMark.p_hi/ConTeXt.p_hi/Custom.p_hi/Docbook.p_hi/Docx.p_hi/DokuWiki.p_hi/EPUB.p_hi/FB2.p_hi/HTML.p_hi/Haddock.p_hi/ICML.p_hi/Ipynb.p_hi/JATS.p_hi/Jira.p_hi/LaTeX.p_hi/Man.p_hi/Markdown.p_hi/Math.p_hi/MediaWiki.p_hi/Ms.p_hi/Muse.p_hi/Native.p_hi/ODT.p_hi/OOXML.p_hi/OPML.p_hi/OpenDocument.p_hi/Org.p_hi/Powerpoint.p_hi/RST.p_hi/RTF.p_hi/Roff.p_hi/Shared.p_hi/TEI.p_hi/Texinfo.p_hi/Textile.p_hi/XWiki.p_hi/ZimWiki.p_hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Lua/Marshaling
filetypes: ffffffff
filenames:
  AST.p_hi/AnyValue.p_hi/CommonState.p_hi/Context.p_hi/List.p_hi/MediaBag.p_hi/ReaderOptions.p_hi/Version.p_hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Readers
filetypes: ffffffffffffffffffffffffffffff
filenames:
  CSV.p_hi/CommonMark.p_hi/Creole.p_hi/DocBook.p_hi/Docx.p_hi/DokuWiki.p_hi/EPUB.p_hi/FB2.p_hi/HTML.p_hi/Haddock.p_hi/Ipynb.p_hi/JATS.p_hi/Jira.p_hi/LaTeX.p_hi/Man.p_hi/Markdown.p_hi/MediaWiki.p_hi/Metadata.p_hi/Muse.p_hi/Native.p_hi/OPML.p_hi/Odt.p_hi/Org.p_hi/RST.p_hi/Roff.p_hi/TWiki.p_hi/Textile.p_hi/TikiWiki.p_hi/Txt2Tags.p_hi/Vimwiki.p_hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Lua
filetypes: ffffffdffdffffff
filenames:
  Filter.dyn_hi/Filter.hi/Global.dyn_hi/Global.hi/Init.dyn_hi/Init.hi/Marshaling/Marshaling.dyn_hi/Marshaling.hi/Module/Packages.dyn_hi/Packages.hi/Util.dyn_hi/Util.hi/Walk.dyn_hi/Walk.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1
filetypes: ffffdf
filenames:
  Paths_pandoc.dyn_hi/Paths_pandoc.hi/Prelude.dyn_hi/Prelude.hi/Text/libHSpandoc-2.9.2.1-FOwtZGZWJFy7eneQq7hC0A.a


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Class
filetypes: ffffffff
filenames:
  CommonState.dyn_hi/CommonState.hi/PandocIO.dyn_hi/PandocIO.hi/PandocMonad.dyn_hi/PandocMonad.hi/PandocPure.dyn_hi/PandocPure.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc
filetypes: dffffffffffdffffffffdffffffffffdffffffffffffffdffffffffffffffffffdffff
filenames:
  App/App.dyn_hi/App.hi/Asciify.dyn_hi/Asciify.hi/BCP47.dyn_hi/BCP47.hi/CSS.dyn_hi/CSS.hi/CSV.dyn_hi/CSV.hi/Class/Class.dyn_hi/Class.hi/Emoji.dyn_hi/Emoji.hi/Error.dyn_hi/Error.hi/Extensions.dyn_hi/Extensions.hi/Filter/Filter.dyn_hi/Filter.hi/Highlighting.dyn_hi/Highlighting.hi/Image.dyn_hi/Image.hi/ImageSize.dyn_hi/ImageSize.hi/Logging.dyn_hi/Logging.hi/Lua/Lua.dyn_hi/Lua.hi/MIME.dyn_hi/MIME.hi/MediaBag.dyn_hi/MediaBag.hi/Options.dyn_hi/Options.hi/PDF.dyn_hi/PDF.hi/Parsing.dyn_hi/Parsing.hi/Process.dyn_hi/Process.hi/Readers/Readers.dyn_hi/Readers.hi/RoffChar.dyn_hi/RoffChar.hi/SelfContained.dyn_hi/SelfContained.hi/Shared.dyn_hi/Shared.hi/Slides.dyn_hi/Slides.hi/Templates.dyn_hi/Templates.hi/Translations.dyn_hi/Translations.hi/UTF8.dyn_hi/UTF8.hi/UUID.dyn_hi/UUID.hi/Writers/Writers.dyn_hi/Writers.hi/XML.dyn_hi/XML.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/App
filetypes: ffffffff
filenames:
  CommandLineOptions.dyn_hi/CommandLineOptions.hi/FormatHeuristics.dyn_hi/FormatHeuristics.hi/Opt.dyn_hi/Opt.hi/OutputSettings.dyn_hi/OutputSettings.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Readers/Org
filetypes: ffffffffffffffffff
filenames:
  BlockStarts.dyn_hi/BlockStarts.hi/Blocks.dyn_hi/Blocks.hi/DocumentTree.dyn_hi/DocumentTree.hi/ExportSettings.dyn_hi/ExportSettings.hi/Inlines.dyn_hi/Inlines.hi/Meta.dyn_hi/Meta.hi/ParserState.dyn_hi/ParserState.hi/Parsing.dyn_hi/Parsing.hi/Shared.dyn_hi/Shared.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Readers
filetypes: ffffffffdffffffffffffffffffdffffffffffffffffdffdffffffffffffffff
filenames:
  CSV.dyn_hi/CSV.hi/CommonMark.dyn_hi/CommonMark.hi/Creole.dyn_hi/Creole.hi/DocBook.dyn_hi/DocBook.hi/Docx/Docx.dyn_hi/Docx.hi/DokuWiki.dyn_hi/DokuWiki.hi/EPUB.dyn_hi/EPUB.hi/FB2.dyn_hi/FB2.hi/HTML.dyn_hi/HTML.hi/Haddock.dyn_hi/Haddock.hi/Ipynb.dyn_hi/Ipynb.hi/JATS.dyn_hi/JATS.hi/Jira.dyn_hi/Jira.hi/LaTeX/LaTeX.dyn_hi/LaTeX.hi/Man.dyn_hi/Man.hi/Markdown.dyn_hi/Markdown.hi/MediaWiki.dyn_hi/MediaWiki.hi/Metadata.dyn_hi/Metadata.hi/Muse.dyn_hi/Muse.hi/Native.dyn_hi/Native.hi/OPML.dyn_hi/OPML.hi/Odt/Odt.dyn_hi/Odt.hi/Org/Org.dyn_hi/Org.hi/RST.dyn_hi/RST.hi/Roff.dyn_hi/Roff.hi/TWiki.dyn_hi/TWiki.hi/Textile.dyn_hi/Textile.hi/TikiWiki.dyn_hi/TikiWiki.hi/Txt2Tags.dyn_hi/Txt2Tags.hi/Vimwiki.dyn_hi/Vimwiki.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Readers/Odt/Generic
filetypes: ffffffffff
filenames:
  Fallible.dyn_hi/Fallible.hi/Namespaces.dyn_hi/Namespaces.hi/SetMap.dyn_hi/SetMap.hi/Utils.dyn_hi/Utils.hi/XMLConverter.dyn_hi/XMLConverter.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Lua/Marshaling
filetypes: ffffffffffffffff
filenames:
  AST.dyn_hi/AST.hi/AnyValue.dyn_hi/AnyValue.hi/CommonState.dyn_hi/CommonState.hi/Context.dyn_hi/Context.hi/List.dyn_hi/List.hi/MediaBag.dyn_hi/MediaBag.hi/ReaderOptions.dyn_hi/ReaderOptions.hi/Version.dyn_hi/Version.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Writers
filetypes: ffffffffffdffffffffffffffffffffffffffffffffffffffffffffffdffffffffffffffffffff
filenames:
  AsciiDoc.dyn_hi/AsciiDoc.hi/CommonMark.dyn_hi/CommonMark.hi/ConTeXt.dyn_hi/ConTeXt.hi/Custom.dyn_hi/Custom.hi/Docbook.dyn_hi/Docbook.hi/Docx/Docx.dyn_hi/Docx.hi/DokuWiki.dyn_hi/DokuWiki.hi/EPUB.dyn_hi/EPUB.hi/FB2.dyn_hi/FB2.hi/HTML.dyn_hi/HTML.hi/Haddock.dyn_hi/Haddock.hi/ICML.dyn_hi/ICML.hi/Ipynb.dyn_hi/Ipynb.hi/JATS.dyn_hi/JATS.hi/Jira.dyn_hi/Jira.hi/LaTeX.dyn_hi/LaTeX.hi/Man.dyn_hi/Man.hi/Markdown.dyn_hi/Markdown.hi/Math.dyn_hi/Math.hi/MediaWiki.dyn_hi/MediaWiki.hi/Ms.dyn_hi/Ms.hi/Muse.dyn_hi/Muse.hi/Native.dyn_hi/Native.hi/ODT.dyn_hi/ODT.hi/OOXML.dyn_hi/OOXML.hi/OPML.dyn_hi/OPML.hi/OpenDocument.dyn_hi/OpenDocument.hi/Org.dyn_hi/Org.hi/Powerpoint/Powerpoint.dyn_hi/Powerpoint.hi/RST.dyn_hi/RST.hi/RTF.dyn_hi/RTF.hi/Roff.dyn_hi/Roff.hi/Shared.dyn_hi/Shared.hi/TEI.dyn_hi/TEI.hi/Texinfo.dyn_hi/Texinfo.hi/Textile.dyn_hi/Textile.hi/XWiki.dyn_hi/XWiki.hi/ZimWiki.dyn_hi/ZimWiki.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Readers/Docx
filetypes: ffffffdffff
filenames:
  Combine.dyn_hi/Combine.hi/Fields.dyn_hi/Fields.hi/Lists.dyn_hi/Lists.hi/Parse/Parse.dyn_hi/Parse.hi/Util.dyn_hi/Util.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Lua/Module
filetypes: ffffffffff
filenames:
  MediaBag.dyn_hi/MediaBag.hi/Pandoc.dyn_hi/Pandoc.hi/System.dyn_hi/System.hi/Types.dyn_hi/Types.hi/Utils.dyn_hi/Utils.hi


dirname: /usr/lib64/ghc-8.8.4/pandoc-2.9.2.1/Text/Pandoc/Readers/Odt
filetypes: dffffdffff
filenames:
  Arrows/Base.dyn_hi/Base.hi/ContentReader.dyn_hi/ContentReader.hi/Generic/Namespaces.dyn_hi/Namespaces.hi/StyleReader.dyn_hi/StyleReader.hi


dirname: /usr/lib64/ghc-8.8.4/jira-wiki-markup-1.1.4/Text/Jira/Parser
filetypes: ffffffffff
filenames:
  Block.dyn_hi/Block.hi/Core.dyn_hi/Core.hi/Inline.dyn_hi/Inline.hi/PlainText.dyn_hi/PlainText.hi/Shared.dyn_hi/Shared.hi


dirname: /usr/share/pandoc-2.9.2.1/data/pptx/ppt/slideLayouts
filetypes: dfffffffffff
filenames:
  _rels/slideLayout1.xml/slideLayout10.xml/slideLayout11.xml/slideLayout2.xml/slideLayout3.xml/slideLayout4.xml/slideLayout5.xml/slideLayout6.xml/slideLayout7.xml/slideLayout8.xml/slideLayout9.xml


dirname: /usr/share/pandoc-2.9.2.1/data/docx/word
filetypes: dfffffffdf
filenames:
  _rels/comments.xml/document.xml/fontTable.xml/footnotes.xml/numbering.xml/settings.xml/styles.xml/theme/webSettings.xml


dirname: /usr/share/pandoc-2.9.2.1/data
filetypes: ffddfffdffdfdd
filenames:
  abbreviations/bash_completion.tpl/docx/dzslides/epub.css/init.lua/jats.csl/odt/pandoc.List.lua/pandoc.lua/pptx/sample.lua/templates/translations


dirname: /usr/share/pandoc-2.9.2.1/data/odt
filetypes: dddffffff
filenames:
  Configurations2/META-INF/Thumbnails/content.xml/manifest.rdf/meta.xml/mimetype/settings.xml/styles.xml


dirname: /usr/share/pandoc-2.9.2.1/data/translations
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  am.yaml/ar.yaml/bg.yaml/bn.yaml/ca.yaml/cs.yaml/da.yaml/de.yaml/el.yaml/en.yaml/eo.yaml/es.yaml/et.yaml/eu.yaml/fa.yaml/fi.yaml/fr.yaml/he.yaml/hi.yaml/hr.yaml/hu.yaml/is.yaml/it.yaml/km.yaml/ko.yaml/lo.yaml/lt.yaml/lv.yaml/nl.yaml/no.yaml/pl.yaml/pt.yaml/rm.yaml/ro.yaml/ru.yaml/sk.yaml/sl.yaml/sq.yaml/sr-cyrl.yaml/sr.yaml/sv.yaml/th.yaml/tr.yaml/uk.yaml/ur.yaml/vi.yaml


dirname: /usr/share/pandoc-2.9.2.1/data/pptx/ppt/slideLayouts/_rels
filetypes: fffffffffff
filenames:
  slideLayout1.xml.rels/slideLayout10.xml.rels/slideLayout11.xml.rels/slideLayout2.xml.rels/slideLayout3.xml.rels/slideLayout4.xml.rels/slideLayout5.xml.rels/slideLayout6.xml.rels/slideLayout7.xml.rels/slideLayout8.xml.rels/slideLayout9.xml.rels


dirname: /usr/share/pandoc-2.9.2.1/data/templates
filetypes: fffffffffffffffffffffffffffffffffffffffff
filenames:
  article.jats_publishing/default.asciidoc/default.asciidoctor/default.commonmark/default.context/default.docbook4/default.docbook5/default.dokuwiki/default.dzslides/default.epub2/default.epub3/default.haddock/default.html4/default.html5/default.icml/default.jats_archiving/default.jats_articleauthoring/default.jats_publishing/default.jira/default.latex/default.man/default.markdown/default.mediawiki/default.ms/default.muse/default.opendocument/default.opml/default.org/default.plain/default.revealjs/default.rst/default.rtf/default.s5/default.slideous/default.slidy/default.tei/default.texinfo/default.textile/default.xwiki/default.zimwiki/styles.html


dirname: /usr/share/pandoc-2.9.2.1/data/pptx/ppt
filetypes: dddffdddfdf
filenames:
  _rels/notesMasters/notesSlides/presProps.xml/presentation.xml/slideLayouts/slideMasters/slides/tableStyles.xml/theme/viewProps.xml


dirname: /usr/share/doc/ghc/html/libraries/pandoc-2.9.2.1/src
filenames:
  Paths_pandoc.html/Prelude.html/Text.Pandoc.App.CommandLineOptions.html/Text.Pandoc.App.FormatHeuristics.html/Text.Pandoc.App.Opt.html/Text.Pandoc.App.OutputSettings.html/Text.Pandoc.App.html/Text.Pandoc.Asciify.html/Text.Pandoc.BCP47.html/Text.Pandoc.CSS.html/Text.Pandoc.CSV.html/Text.Pandoc.Class.CommonState.html/Text.Pandoc.Class.PandocIO.html/Text.Pandoc.Class.PandocMonad.html/Text.Pandoc.Class.PandocPure.html/Text.Pandoc.Class.html/Text.Pandoc.Emoji.html/Text.Pandoc.Error.html/Text.Pandoc.Extensions.html/Text.Pandoc.Filter.JSON.html/Text.Pandoc.Filter.Lua.html/Text.Pandoc.Filter.Path.html/Text.Pandoc.Filter.html/Text.Pandoc.Highlighting.html/Text.Pandoc.Image.html/Text.Pandoc.ImageSize.html/Text.Pandoc.Logging.html/Text.Pandoc.Lua.Filter.html/Text.Pandoc.Lua.Global.html/Text.Pandoc.Lua.Init.html/Text.Pandoc.Lua.Marshaling.AST.html/Text.Pandoc.Lua.Marshaling.AnyValue.html/Text.Pandoc.Lua.Marshaling.CommonState.html/Text.Pandoc.Lua.Marshaling.Context.html/Text.Pandoc.Lua.Marshaling.List.html/Text.Pandoc.Lua.Marshaling.MediaBag.html/Text.Pandoc.Lua.Marshaling.ReaderOptions.html/Text.Pandoc.Lua.Marshaling.Version.html/Text.Pandoc.Lua.Marshaling.html/Text.Pandoc.Lua.Module.MediaBag.html/Text.Pandoc.Lua.Module.Pandoc.html/Text.Pandoc.Lua.Module.System.html/Text.Pandoc.Lua.Module.Types.html/Text.Pandoc.Lua.Module.Utils.html/Text.Pandoc.Lua.Packages.html/Text.Pandoc.Lua.Util.html/Text.Pandoc.Lua.Walk.html/Text.Pandoc.Lua.html/Text.Pandoc.MIME.html/Text.Pandoc.MediaBag.html/Text.Pandoc.Options.html/Text.Pandoc.PDF.html/Text.Pandoc.Parsing.html/Text.Pandoc.Process.html/Text.Pandoc.Readers.CSV.html/Text.Pandoc.Readers.CommonMark.html/Text.Pandoc.Readers.Creole.html/Text.Pandoc.Readers.DocBook.html/Text.Pandoc.Readers.Docx.Combine.html/Text.Pandoc.Readers.Docx.Fields.html/Text.Pandoc.Readers.Docx.Lists.html/Text.Pandoc.Readers.Docx.Parse.Styles.html/Text.Pandoc.Readers.Docx.Parse.html/Text.Pandoc.Readers.Docx.Util.html/Text.Pandoc.Readers.Docx.html/Text.Pandoc.Readers.DokuWiki.html/Text.Pandoc.Readers.EPUB.html/Text.Pandoc.Readers.FB2.html/Text.Pandoc.Readers.HTML.html/Text.Pandoc.Readers.Haddock.html/Text.Pandoc.Readers.Ipynb.html/Text.Pandoc.Readers.JATS.html/Text.Pandoc.Readers.Jira.html/Text.Pandoc.Readers.LaTeX.Lang.html/Text.Pandoc.Readers.LaTeX.Parsing.html/Text.Pandoc.Readers.LaTeX.Types.html/Text.Pandoc.Readers.LaTeX.html/Text.Pandoc.Readers.Man.html/Text.Pandoc.Readers.Markdown.html/Text.Pandoc.Readers.MediaWiki.html/Text.Pandoc.Readers.Metadata.html/Text.Pandoc.Readers.Muse.html/Text.Pandoc.Readers.Native.html/Text.Pandoc.Readers.OPML.html/Text.Pandoc.Readers.Odt.Arrows.State.html/Text.Pandoc.Readers.Odt.Arrows.Utils.html/Text.Pandoc.Readers.Odt.Base.html/Text.Pandoc.Readers.Odt.ContentReader.html/Text.Pandoc.Readers.Odt.Generic.Fallible.html/Text.Pandoc.Readers.Odt.Generic.Namespaces.html/Text.Pandoc.Readers.Odt.Generic.SetMap.html/Text.Pandoc.Readers.Odt.Generic.Utils.html/Text.Pandoc.Readers.Odt.Generic.XMLConverter.html/Text.Pandoc.Readers.Odt.Namespaces.html/Text.Pandoc.Readers.Odt.StyleReader.html/Text.Pandoc.Readers.Odt.html/Text.Pandoc.Readers.Org.BlockStarts.html/Text.Pandoc.Readers.Org.Blocks.html/Text.Pandoc.Readers.Org.DocumentTree.html/Text.Pandoc.Readers.Org.ExportSettings.html/Text.Pandoc.Readers.Org.Inlines.html/Text.Pandoc.Readers.Org.Meta.html/Text.Pandoc.Readers.Org.ParserState.html/Text.Pandoc.Readers.Org.Parsing.html/Text.Pandoc.Readers.Org.Shared.html/Text.Pandoc.Readers.Org.html/Text.Pandoc.Readers.RST.html/Text.Pandoc.Readers.Roff.html/Text.Pandoc.Readers.TWiki.html/Text.Pandoc.Readers.Textile.html/Text.Pandoc.Readers.TikiWiki.html/Text.Pandoc.Readers.Txt2Tags.html/Text.Pandoc.Readers.Vimwiki.html/Text.Pandoc.Readers.html/Text.Pandoc.RoffChar.html/Text.Pandoc.SelfContained.html/Text.Pandoc.Shared.html/Text.Pandoc.Slides.html/Text.Pandoc.Templates.html/Text.Pandoc.Translations.html/Text.Pandoc.UTF8.html/Text.Pandoc.UUID.html/Text.Pandoc.Writers.AsciiDoc.html/Text.Pandoc.Writers.CommonMark.html/Text.Pandoc.Writers.ConTeXt.html/Text.Pandoc.Writers.Custom.html/Text.Pandoc.Writers.Docbook.html/Text.Pandoc.Writers.Docx.StyleMap.html/Text.Pandoc.Writers.Docx.html/Text.Pandoc.Writers.DokuWiki.html/Text.Pandoc.Writers.EPUB.html/Text.Pandoc.Writers.FB2.html/Text.Pandoc.Writers.HTML.html/Text.Pandoc.Writers.Haddock.html/Text.Pandoc.Writers.ICML.html/Text.Pandoc.Writers.Ipynb.html/Text.Pandoc.Writers.JATS.html/Text.Pandoc.Writers.Jira.html/Text.Pandoc.Writers.LaTeX.html/Text.Pandoc.Writers.Man.html/Text.Pandoc.Writers.Markdown.html/Text.Pandoc.Writers.Math.html/Text.Pandoc.Writers.MediaWiki.html/Text.Pandoc.Writers.Ms.html/Text.Pandoc.Writers.Muse.html/Text.Pandoc.Writers.Native.html/Text.Pandoc.Writers.ODT.html/Text.Pandoc.Writers.OOXML.html/Text.Pandoc.Writers.OPML.html/Text.Pandoc.Writers.OpenDocument.html/Text.Pandoc.Writers.Org.html/Text.Pandoc.Writers.Powerpoint.Output.html/Text.Pandoc.Writers.Powerpoint.Presentation.html/Text.Pandoc.Writers.Powerpoint.html/Text.Pandoc.Writers.RST.html/Text.Pandoc.Writers.RTF.html/Text.Pandoc.Writers.Roff.html/Text.Pandoc.Writers.Shared.html/Text.Pandoc.Writers.TEI.html/Text.Pandoc.Writers.Texinfo.html/Text.Pandoc.Writers.Textile.html/Text.Pandoc.Writers.XWiki.html/Text.Pandoc.Writers.ZimWiki.html/Text.Pandoc.Writers.html/Text.Pandoc.XML.html/Text.Pandoc.html/highlight.js/style.css

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


dirname: /usr/share/doc/ghc/html/libraries/pandoc-2.9.2.1
filenames:
  Text-Pandoc-App.html/Text-Pandoc-Asciify.html/Text-Pandoc-BCP47.html/Text-Pandoc-Class.html/Text-Pandoc-Emoji.html/Text-Pandoc-Error.html/Text-Pandoc-Extensions.html/Text-Pandoc-Filter.html/Text-Pandoc-Highlighting.html/Text-Pandoc-ImageSize.html/Text-Pandoc-Logging.html/Text-Pandoc-Lua.html/Text-Pandoc-MIME.html/Text-Pandoc-MediaBag.html/Text-Pandoc-Options.html/Text-Pandoc-PDF.html/Text-Pandoc-Parsing.html/Text-Pandoc-Process.html/Text-Pandoc-Readers-CSV.html/Text-Pandoc-Readers-CommonMark.html/Text-Pandoc-Readers-Creole.html/Text-Pandoc-Readers-DocBook.html/Text-Pandoc-Readers-Docx.html/Text-Pandoc-Readers-DokuWiki.html/Text-Pandoc-Readers-EPUB.html/Text-Pandoc-Readers-FB2.html/Text-Pandoc-Readers-HTML.html/Text-Pandoc-Readers-Haddock.html/Text-Pandoc-Readers-Ipynb.html/Text-Pandoc-Readers-JATS.html/Text-Pandoc-Readers-Jira.html/Text-Pandoc-Readers-LaTeX-Types.html/Text-Pandoc-Readers-LaTeX.html/Text-Pandoc-Readers-Man.html/Text-Pandoc-Readers-Markdown.html/Text-Pandoc-Readers-MediaWiki.html/Text-Pandoc-Readers-Muse.html/Text-Pandoc-Readers-Native.html/Text-Pandoc-Readers-OPML.html/Text-Pandoc-Readers-Odt.html/Text-Pandoc-Readers-Org.html/Text-Pandoc-Readers-RST.html/Text-Pandoc-Readers-TWiki.html/Text-Pandoc-Readers-Textile.html/Text-Pandoc-Readers-TikiWiki.html/Text-Pandoc-Readers-Txt2Tags.html/Text-Pandoc-Readers-Vimwiki.html/Text-Pandoc-Readers.html/Text-Pandoc-SelfContained.html/Text-Pandoc-Shared.html/Text-Pandoc-Templates.html/Text-Pandoc-UTF8.html/Text-Pandoc-Writers-AsciiDoc.html/Text-Pandoc-Writers-CommonMark.html/Text-Pandoc-Writers-ConTeXt.html/Text-Pandoc-Writers-Custom.html/Text-Pandoc-Writers-Docbook.html/Text-Pandoc-Writers-Docx.html/Text-Pandoc-Writers-DokuWiki.html/Text-Pandoc-Writers-EPUB.html/Text-Pandoc-Writers-FB2.html/Text-Pandoc-Writers-HTML.html/Text-Pandoc-Writers-Haddock.html/Text-Pandoc-Writers-ICML.html/Text-Pandoc-Writers-Ipynb.html/Text-Pandoc-Writers-JATS.html/Text-Pandoc-Writers-Jira.html/Text-Pandoc-Writers-LaTeX.html/Text-Pandoc-Writers-Man.html/Text-Pandoc-Writers-Markdown.html/Text-Pandoc-Writers-Math.html/Text-Pandoc-Writers-MediaWiki.html/Text-Pandoc-Writers-Ms.html/Text-Pandoc-Writers-Muse.html/Text-Pandoc-Writers-Native.html/Text-Pandoc-Writers-ODT.html/Text-Pandoc-Writers-OOXML.html/Text-Pandoc-Writers-OPML.html/Text-Pandoc-Writers-OpenDocument.html/Text-Pandoc-Writers-Org.html/Text-Pandoc-Writers-Powerpoint.html/Text-Pandoc-Writers-RST.html/Text-Pandoc-Writers-RTF.html/Text-Pandoc-Writers-Shared.html/Text-Pandoc-Writers-TEI.html/Text-Pandoc-Writers-Texinfo.html/Text-Pandoc-Writers-Textile.html/Text-Pandoc-Writers-XWiki.html/Text-Pandoc-Writers-ZimWiki.html/Text-Pandoc-Writers.html/Text-Pandoc-XML.html/Text-Pandoc.html/doc-index-60.html/doc-index-A.html/doc-index-All.html/doc-index-B.html/doc-index-C.html/doc-index-D.html/doc-index-E.html/doc-index-F.html/doc-index-G.html/doc-index-H.html/doc-index-I.html/doc-index-J.html/doc-index-K.html/doc-index-L.html/doc-index-M.html/doc-index-N.html/doc-index-O.html/doc-index-P.html/doc-index-Q.html/doc-index-R.html/doc-index-S.html/doc-index-T.html/doc-index-U.html/doc-index-V.html/doc-index-W.html/doc-index-Y.html/doc-index-Z.html/doc-index.html/haddock-bundle.min.js/index.html/linuwial.css/meta.json/pandoc.haddock/pandoc.txt/quick-jump.css/src/synopsis.png

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdf


dirname: /usr/share/doc/ghc/html/libraries/jira-wiki-markup-1.1.4
filetypes: ffffffffffffffffffdf
filenames:
  CHANGELOG.md/README.md/Text-Jira-Markup.html/Text-Jira-Parser-Block.html/Text-Jira-Parser-Core.html/Text-Jira-Parser-Inline.html/Text-Jira-Parser-PlainText.html/Text-Jira-Parser-Shared.html/Text-Jira-Parser.html/Text-Jira-Printer.html/doc-index.html/haddock-bundle.min.js/index.html/jira-wiki-markup.haddock/jira-wiki-markup.txt/linuwial.css/meta.json/quick-jump.css/src/synopsis.png


dirname: /usr/share/doc/ghc/html/libraries/jira-wiki-markup-1.1.4/src
filetypes: ffffffffff
filenames:
  Text.Jira.Markup.html/Text.Jira.Parser.Block.html/Text.Jira.Parser.Core.html/Text.Jira.Parser.Inline.html/Text.Jira.Parser.PlainText.html/Text.Jira.Parser.Shared.html/Text.Jira.Parser.html/Text.Jira.Printer.html/highlight.js/style.css


dirname: /usr/share/doc/ghc/html/libraries/ipynb-0.1.0.1
filetypes: fffffffffdf
filenames:
  Data-Ipynb.html/doc-index.html/haddock-bundle.min.js/index.html/ipynb.haddock/ipynb.txt/linuwial.css/meta.json/quick-jump.css/src/synopsis.png


dirname: /usr/share/doc/ghc/html/libraries/hslua-module-system-0.2.1
filetypes: fffffffffdf
filenames:
  Foreign-Lua-Module-System.html/doc-index.html/haddock-bundle.min.js/hslua-module-system.haddock/hslua-module-system.txt/index.html/linuwial.css/meta.json/quick-jump.css/src/synopsis.png


dirname: /usr/share/doc/ghc/html/libraries/emojis-0.1
filetypes: fffffffffdf
filenames:
  Text-Emoji.html/doc-index.html/emojis.haddock/emojis.txt/haddock-bundle.min.js/index.html/linuwial.css/meta.json/quick-jump.css/src/synopsis.png


dirname: /usr/share/Cppcheck/lang
filetypes: ffffffffffff
filenames:
  cppcheck_de.qm/cppcheck_es.qm/cppcheck_fi.qm/cppcheck_fr.qm/cppcheck_it.qm/cppcheck_ja.qm/cppcheck_ko.qm/cppcheck_nl.qm/cppcheck_ru.qm/cppcheck_sr.qm/cppcheck_sv.qm/cppcheck_zh_CN.qm


dirname: /usr/share/Cppcheck/platforms
filetypes: fffffffffffffff
filenames:
  aix_ppc64.xml/arm32-wchar_t2.xml/arm32-wchar_t4.xml/arm64-wchar_t2.xml/arm64-wchar_t4.xml/avr8.xml/cray_sv1.xml/elbrus-e1cp.xml/mips32.xml/msp430_eabi_large_datamodel.xml/pic16.xml/pic8-enhanced.xml/pic8.xml/unix32-unsigned.xml/unix64-unsigned.xml


dirname: /usr/share/Cppcheck/cfg
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  avr.cfg/bento4.cfg/boost.cfg/bsd.cfg/cairo.cfg/cppcheck-lib.cfg/cppunit.cfg/daca.cfg/dpdk.cfg/embedded_sql.cfg/emscripten.cfg/ginac.cfg/gnu.cfg/googletest.cfg/gtk.cfg/icu.cfg/kde.cfg/libcerror.cfg/libcurl.cfg/libsigc++.cfg/lua.cfg/mfc.cfg/microsoft_atl.cfg/microsoft_sal.cfg/microsoft_unittest.cfg/motif.cfg/nspr.cfg/ntl.cfg/opencv2.cfg/opengl.cfg/openmp.cfg/openssl.cfg/pcre.cfg/posix.cfg/python.cfg/qt.cfg/ruby.cfg/sdl.cfg/sfml.cfg/sqlite3.cfg/std.cfg/tinyxml2.cfg/vcl.cfg/windows.cfg/wxsqlite3.cfg/wxsvg.cfg/wxwidgets.cfg/zlib.cfg


dirname: /usr/share/Cppcheck/addons
filetypes: ffffffffffff
filenames:
  __init__.py/cppcheck.py/cppcheckdata.py/findcasts.py/misc.py/misra.py/misra_9.py/naming.py/namingng.py/runaddon.py/threadsafety.py/y2038.py


