# filelist

dirname: /usr/lib64
filetypes: ffffffffffffffffffff
filenames:
  libbddx.a/libbddx.la/libbddx.so/libbddx.so.0/libbddx.so.0.0.0/libspot.a/libspot.la/libspot.so/libspot.so.0/libspot.so.0.0.0/libspotgen.a/libspotgen.la/libspotgen.so/libspotgen.so.0/libspotgen.so.0.0.0/libspotltsmin.a/libspotltsmin.la/libspotltsmin.so/libspotltsmin.so.0/libspotltsmin.so.0.0.0


dirname: /usr/lib64
filetypes: ffffffffffffffff
filenames:
  libbddx.a/libbddx.so/libbddx.so.0/libbddx.so.0.0.0/libspot.a/libspot.so/libspot.so.0/libspot.so.0.0.0/libspotgen.a/libspotgen.so/libspotgen.so.0/libspotgen.so.0.0.0/libspotltsmin.a/libspotltsmin.so/libspotltsmin.so.0/libspotltsmin.so.0.0.0


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10-0.fc34.x86_64.debug/libspot.so.0.0.0-2.10-0.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10-0.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.1-0.fc34.x86_64.debug/libspot.so.0.0.0-2.10.1-0.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.1-0.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.1-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.2-0.fc34.x86_64.debug/libspot.so.0.0.0-2.10.2-0.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.2-0.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.2-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.4-0.fc35.x86_64.debug/libspot.so.0.0.0-2.10.4-0.fc35.x86_64.debug/libspotgen.so.0.0.0-2.10.4-0.fc35.x86_64.debug/libspotltsmin.so.0.0.0-2.10.4-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.5-0.fc35.x86_64.debug/libspot.so.0.0.0-2.10.5-0.fc35.x86_64.debug/libspotgen.so.0.0.0-2.10.5-0.fc35.x86_64.debug/libspotltsmin.so.0.0.0-2.10.5-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.6-0.fc36.x86_64.debug/libspot.so.0.0.0-2.10.6-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.10.6-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.10.6-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11-0.fc36.x86_64.debug/libspot.so.0.0.0-2.11-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.1-0.fc36.x86_64.debug/libspot.so.0.0.0-2.11.1-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.1-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.1-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.2-0.fc36.x86_64.debug/libspot.so.0.0.0-2.11.2-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.2-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.2-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.3-0.fc37.x86_64.debug/libspot.so.0.0.0-2.11.3-0.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.3-0.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.3-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.5-0.fc37.x86_64.debug/libspot.so.0.0.0-2.11.5-0.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.5-0.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.5-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12-0.fc40.x86_64.debug/libspot.so.0.0.0-2.12-0.fc40.x86_64.debug/libspotgen.so.0.0.0-2.12-0.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.12-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.1-0.fc40.x86_64.debug/libspot.so.0.0.0-2.12.1-0.fc40.x86_64.debug/libspotgen.so.0.0.0-2.12.1-0.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.12.1-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.2-0.fc41.x86_64.debug/libspot.so.0.0.0-2.12.2-0.fc41.x86_64.debug/libspotgen.so.0.0.0-2.12.2-0.fc41.x86_64.debug/libspotltsmin.so.0.0.0-2.12.2-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13-0.fc41.x86_64.debug/libspot.so.0.0.0-2.13-0.fc41.x86_64.debug/libspotgen.so.0.0.0-2.13-0.fc41.x86_64.debug/libspotltsmin.so.0.0.0-2.13-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.6-0.fc28.x86_64.debug/libspot.so.0.0.0-2.6-0.fc28.x86_64.debug/libspotgen.so.0.0.0-2.6-0.fc28.x86_64.debug/libspotltsmin.so.0.0.0-2.6-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.6.1-0.fc28.x86_64.debug/libspot.so.0.0.0-2.6.1-0.fc28.x86_64.debug/libspotgen.so.0.0.0-2.6.1-0.fc28.x86_64.debug/libspotltsmin.so.0.0.0-2.6.1-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.6.2-0.fc28.x86_64.debug/libspot.so.0.0.0-2.6.2-0.fc28.x86_64.debug/libspotgen.so.0.0.0-2.6.2-0.fc28.x86_64.debug/libspotltsmin.so.0.0.0-2.6.2-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.6.3-0.fc28.x86_64.debug/libspot.so.0.0.0-2.6.3-0.fc28.x86_64.debug/libspotgen.so.0.0.0-2.6.3-0.fc28.x86_64.debug/libspotltsmin.so.0.0.0-2.6.3-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.7-0.fc29.x86_64.debug/libspot.so.0.0.0-2.7-0.fc29.x86_64.debug/libspotgen.so.0.0.0-2.7-0.fc29.x86_64.debug/libspotltsmin.so.0.0.0-2.7-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.7.1-0.fc29.x86_64.debug/libspot.so.0.0.0-2.7.1-0.fc29.x86_64.debug/libspotgen.so.0.0.0-2.7.1-0.fc29.x86_64.debug/libspotltsmin.so.0.0.0-2.7.1-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.7.2-0.fc29.x86_64.debug/libspot.so.0.0.0-2.7.2-0.fc29.x86_64.debug/libspotgen.so.0.0.0-2.7.2-0.fc29.x86_64.debug/libspotltsmin.so.0.0.0-2.7.2-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.7.3-0.fc29.x86_64.debug/libspot.so.0.0.0-2.7.3-0.fc29.x86_64.debug/libspotgen.so.0.0.0-2.7.3-0.fc29.x86_64.debug/libspotltsmin.so.0.0.0-2.7.3-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.7.4-0.fc29.x86_64.debug/libspot.so.0.0.0-2.7.4-0.fc29.x86_64.debug/libspotgen.so.0.0.0-2.7.4-0.fc29.x86_64.debug/libspotltsmin.so.0.0.0-2.7.4-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.7.5-0.fc29.x86_64.debug/libspot.so.0.0.0-2.7.5-0.fc29.x86_64.debug/libspotgen.so.0.0.0-2.7.5-0.fc29.x86_64.debug/libspotltsmin.so.0.0.0-2.7.5-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8-0.fc30.x86_64.debug/libspot.so.0.0.0-2.8-0.fc30.x86_64.debug/libspotgen.so.0.0.0-2.8-0.fc30.x86_64.debug/libspotltsmin.so.0.0.0-2.8-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8.1-0.fc30.x86_64.debug/libspot.so.0.0.0-2.8.1-0.fc30.x86_64.debug/libspotgen.so.0.0.0-2.8.1-0.fc30.x86_64.debug/libspotltsmin.so.0.0.0-2.8.1-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8.2-0.fc30.x86_64.debug/libspot.so.0.0.0-2.8.2-0.fc30.x86_64.debug/libspotgen.so.0.0.0-2.8.2-0.fc30.x86_64.debug/libspotltsmin.so.0.0.0-2.8.2-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8.3-0.fc31.x86_64.debug/libspot.so.0.0.0-2.8.3-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.8.3-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.8.3-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8.4-0.fc31.x86_64.debug/libspot.so.0.0.0-2.8.4-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.8.4-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.8.4-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8.5-0.fc31.x86_64.debug/libspot.so.0.0.0-2.8.5-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.8.5-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.8.5-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8.6-0.fc31.x86_64.debug/libspot.so.0.0.0-2.8.6-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.8.6-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.8.6-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.8.7-0.fc31.x86_64.debug/libspot.so.0.0.0-2.8.7-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.8.7-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.8.7-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9-0.fc31.x86_64.debug/libspot.so.0.0.0-2.9-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.9-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.9-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.1-0.fc31.x86_64.debug/libspot.so.0.0.0-2.9.1-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.9.1-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.9.1-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.1-1.fc31.x86_64.debug/libspot.so.0.0.0-2.9.1-1.fc31.x86_64.debug/libspotgen.so.0.0.0-2.9.1-1.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.9.1-1.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.2-0.fc31.x86_64.debug/libspot.so.0.0.0-2.9.2-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.9.2-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.9.2-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.4-0.fc31.x86_64.debug/libspot.so.0.0.0-2.9.4-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.9.4-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.9.4-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.5-0.fc31.x86_64.debug/libspot.so.0.0.0-2.9.5-0.fc31.x86_64.debug/libspotgen.so.0.0.0-2.9.5-0.fc31.x86_64.debug/libspotltsmin.so.0.0.0-2.9.5-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.6-0.fc33.x86_64.debug/libspot.so.0.0.0-2.9.6-0.fc33.x86_64.debug/libspotgen.so.0.0.0-2.9.6-0.fc33.x86_64.debug/libspotltsmin.so.0.0.0-2.9.6-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.7-0.fc33.x86_64.debug/libspot.so.0.0.0-2.9.7-0.fc33.x86_64.debug/libspotgen.so.0.0.0-2.9.7-0.fc33.x86_64.debug/libspotltsmin.so.0.0.0-2.9.7-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.8-0.fc33.x86_64.debug/libspot.so.0.0.0-2.9.8-0.fc33.x86_64.debug/libspotgen.so.0.0.0-2.9.8-0.fc33.x86_64.debug/libspotltsmin.so.0.0.0-2.9.8-0.fc33.x86_64.debug


dirname: /usr/lib64/python3.9/site-packages/spot
filetypes: fffffffffffffffd
filenames:
  __init__.py/_gen.cpython-39-x86_64-linux-gnu.a/_gen.cpython-39-x86_64-linux-gnu.la/_gen.cpython-39-x86_64-linux-gnu.so/_impl.cpython-39-x86_64-linux-gnu.a/_impl.cpython-39-x86_64-linux-gnu.la/_impl.cpython-39-x86_64-linux-gnu.so/_ltsmin.cpython-39-x86_64-linux-gnu.a/_ltsmin.cpython-39-x86_64-linux-gnu.la/_ltsmin.cpython-39-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py/__pycache__


dirname: /usr/lib64/python3.9/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-39.opt-1.pyc/__init__.cpython-39.pyc/aux_.cpython-39.opt-1.pyc/aux_.cpython-39.pyc/gen.cpython-39.opt-1.pyc/gen.cpython-39.pyc/impl.cpython-39.opt-1.pyc/impl.cpython-39.pyc/jupyter.cpython-39.opt-1.pyc/jupyter.cpython-39.pyc/ltsmin.cpython-39.opt-1.pyc/ltsmin.cpython-39.pyc


dirname: /usr/lib64/python3.9/site-packages
filetypes: ffffd
filenames:
  _buddy.cpython-39-x86_64-linux-gnu.a/_buddy.cpython-39-x86_64-linux-gnu.la/_buddy.cpython-39-x86_64-linux-gnu.so/buddy.py/spot


dirname: /usr/lib64/python3.10/site-packages
filetypes: ffffd
filenames:
  _buddy.cpython-310-x86_64-linux-gnu.a/_buddy.cpython-310-x86_64-linux-gnu.la/_buddy.cpython-310-x86_64-linux-gnu.so/buddy.py/spot


dirname: /usr/lib64/python3.10/site-packages/spot
filetypes: fdffffffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-310-x86_64-linux-gnu.a/_gen.cpython-310-x86_64-linux-gnu.la/_gen.cpython-310-x86_64-linux-gnu.so/_impl.cpython-310-x86_64-linux-gnu.a/_impl.cpython-310-x86_64-linux-gnu.la/_impl.cpython-310-x86_64-linux-gnu.so/_ltsmin.cpython-310-x86_64-linux-gnu.a/_ltsmin.cpython-310-x86_64-linux-gnu.la/_ltsmin.cpython-310-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.10/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-310.opt-1.pyc/__init__.cpython-310.pyc/aux_.cpython-310.opt-1.pyc/aux_.cpython-310.pyc/gen.cpython-310.opt-1.pyc/gen.cpython-310.pyc/impl.cpython-310.opt-1.pyc/impl.cpython-310.pyc/jupyter.cpython-310.opt-1.pyc/jupyter.cpython-310.pyc/ltsmin.cpython-310.opt-1.pyc/ltsmin.cpython-310.pyc


dirname: /usr/lib64/python3.10/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-310-x86_64-linux-gnu.a/_gen.cpython-310-x86_64-linux-gnu.so/_impl.cpython-310-x86_64-linux-gnu.a/_impl.cpython-310-x86_64-linux-gnu.so/_ltsmin.cpython-310-x86_64-linux-gnu.a/_ltsmin.cpython-310-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.11/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-311-x86_64-linux-gnu.a/_gen.cpython-311-x86_64-linux-gnu.so/_impl.cpython-311-x86_64-linux-gnu.a/_impl.cpython-311-x86_64-linux-gnu.so/_ltsmin.cpython-311-x86_64-linux-gnu.a/_ltsmin.cpython-311-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.11/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-311.opt-1.pyc/__init__.cpython-311.pyc/aux_.cpython-311.opt-1.pyc/aux_.cpython-311.pyc/gen.cpython-311.opt-1.pyc/gen.cpython-311.pyc/impl.cpython-311.opt-1.pyc/impl.cpython-311.pyc/jupyter.cpython-311.opt-1.pyc/jupyter.cpython-311.pyc/ltsmin.cpython-311.opt-1.pyc/ltsmin.cpython-311.pyc


dirname: /usr/lib64/python3.12/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-312-x86_64-linux-gnu.a/_gen.cpython-312-x86_64-linux-gnu.so/_impl.cpython-312-x86_64-linux-gnu.a/_impl.cpython-312-x86_64-linux-gnu.so/_ltsmin.cpython-312-x86_64-linux-gnu.a/_ltsmin.cpython-312-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.12/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-312.opt-1.pyc/__init__.cpython-312.pyc/aux_.cpython-312.opt-1.pyc/aux_.cpython-312.pyc/gen.cpython-312.opt-1.pyc/gen.cpython-312.pyc/impl.cpython-312.opt-1.pyc/impl.cpython-312.pyc/jupyter.cpython-312.opt-1.pyc/jupyter.cpython-312.pyc/ltsmin.cpython-312.opt-1.pyc/ltsmin.cpython-312.pyc


dirname: /usr/lib64/python3.13/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-313.opt-1.pyc/__init__.cpython-313.pyc/aux_.cpython-313.opt-1.pyc/aux_.cpython-313.pyc/gen.cpython-313.opt-1.pyc/gen.cpython-313.pyc/impl.cpython-313.opt-1.pyc/impl.cpython-313.pyc/jupyter.cpython-313.opt-1.pyc/jupyter.cpython-313.pyc/ltsmin.cpython-313.opt-1.pyc/ltsmin.cpython-313.pyc


dirname: /usr/lib64/python3.13/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-313-x86_64-linux-gnu.a/_gen.cpython-313-x86_64-linux-gnu.so/_impl.cpython-313-x86_64-linux-gnu.a/_impl.cpython-313-x86_64-linux-gnu.so/_ltsmin.cpython-313-x86_64-linux-gnu.a/_ltsmin.cpython-313-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.13/site-packages/spot/__pycache__
filetypes: ffffffffffffffffff
filenames:
  __init__.cpython-313.opt-1.pyc/__init__.cpython-313.opt-2.pyc/__init__.cpython-313.pyc/aux_.cpython-313.opt-1.pyc/aux_.cpython-313.opt-2.pyc/aux_.cpython-313.pyc/gen.cpython-313.opt-1.pyc/gen.cpython-313.opt-2.pyc/gen.cpython-313.pyc/impl.cpython-313.opt-1.pyc/impl.cpython-313.opt-2.pyc/impl.cpython-313.pyc/jupyter.cpython-313.opt-1.pyc/jupyter.cpython-313.opt-2.pyc/jupyter.cpython-313.pyc/ltsmin.cpython-313.opt-1.pyc/ltsmin.cpython-313.opt-2.pyc/ltsmin.cpython-313.pyc


dirname: /usr/lib64/python3.6/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-36.opt-1.pyc/__init__.cpython-36.pyc/aux.cpython-36.opt-1.pyc/aux.cpython-36.pyc/gen.cpython-36.opt-1.pyc/gen.cpython-36.pyc/impl.cpython-36.opt-1.pyc/impl.cpython-36.pyc/jupyter.cpython-36.opt-1.pyc/jupyter.cpython-36.pyc/ltsmin.cpython-36.opt-1.pyc/ltsmin.cpython-36.pyc


dirname: /usr/lib64/python3.6/site-packages/spot
filetypes: fffffffffffffffd
filenames:
  __init__.py/_gen.a/_gen.la/_gen.so/_impl.a/_impl.la/_impl.so/_ltsmin.a/_ltsmin.la/_ltsmin.so/aux.py/gen.py/impl.py/jupyter.py/ltsmin.py/__pycache__


dirname: /usr/lib64/python3.7/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-37.opt-1.pyc/__init__.cpython-37.pyc/aux.cpython-37.opt-1.pyc/aux.cpython-37.pyc/gen.cpython-37.opt-1.pyc/gen.cpython-37.pyc/impl.cpython-37.opt-1.pyc/impl.cpython-37.pyc/jupyter.cpython-37.opt-1.pyc/jupyter.cpython-37.pyc/ltsmin.cpython-37.opt-1.pyc/ltsmin.cpython-37.pyc


dirname: /usr/lib64/python3.7/site-packages/spot
filetypes: fffffffffffffffd
filenames:
  __init__.py/_gen.a/_gen.la/_gen.so/_impl.a/_impl.la/_impl.so/_ltsmin.a/_ltsmin.la/_ltsmin.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py/__pycache__


dirname: /usr/lib64/python3.7/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-37.opt-1.pyc/__init__.cpython-37.pyc/aux_.cpython-37.opt-1.pyc/aux_.cpython-37.pyc/gen.cpython-37.opt-1.pyc/gen.cpython-37.pyc/impl.cpython-37.opt-1.pyc/impl.cpython-37.pyc/jupyter.cpython-37.opt-1.pyc/jupyter.cpython-37.pyc/ltsmin.cpython-37.opt-1.pyc/ltsmin.cpython-37.pyc


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10-0.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10-0.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.1-0.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.1-0.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.1-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.2-0.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.2-0.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.2-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.4-0.fc35.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.4-0.fc35.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.4-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.5-0.fc35.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.5-0.fc35.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.5-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.6-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.6-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.6-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.1-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.1-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.1-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.2-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.2-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.2-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.3-0.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.3-0.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.3-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.5-0.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.5-0.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.5-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.12-0.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.12-0.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.12-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.12.1-0.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.12.1-0.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.12.1-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.12.2-0.fc41.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.12.2-0.fc41.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.12.2-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13-0.fc41.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13-0.fc41.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.6/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.6.1-0.fc28.x86_64.debug/_impl.so-2.6.1-0.fc28.x86_64.debug/_ltsmin.so-2.6.1-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.6/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.6.2-0.fc28.x86_64.debug/_impl.so-2.6.2-0.fc28.x86_64.debug/_ltsmin.so-2.6.2-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.6/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.6.3-0.fc28.x86_64.debug/_impl.so-2.6.3-0.fc28.x86_64.debug/_ltsmin.so-2.6.3-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.7.1-0.fc29.x86_64.debug/_impl.so-2.7.1-0.fc29.x86_64.debug/_ltsmin.so-2.7.1-0.fc29.x86_64.debug


dirname: /usr/lib/debug/.build-id/3b
filetypes: ffff
filenames:
  ae7c6037084e6108dd124f570ecdf60cf54f55/ae7c6037084e6108dd124f570ecdf60cf54f55.debug/e4ad9300e9cd94725e3e94a20729b69beca049/e4ad9300e9cd94725e3e94a20729b69beca049.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.7.2-0.fc29.x86_64.debug/_impl.so-2.7.2-0.fc29.x86_64.debug/_ltsmin.so-2.7.2-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.7.3-0.fc29.x86_64.debug/_impl.so-2.7.3-0.fc29.x86_64.debug/_ltsmin.so-2.7.3-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.7.4-0.fc29.x86_64.debug/_impl.so-2.7.4-0.fc29.x86_64.debug/_ltsmin.so-2.7.4-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.7.5-0.fc29.x86_64.debug/_impl.so-2.7.5-0.fc29.x86_64.debug/_ltsmin.so-2.7.5-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.8.1-0.fc30.x86_64.debug/_impl.so-2.8.1-0.fc30.x86_64.debug/_ltsmin.so-2.8.1-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.8.2-0.fc30.x86_64.debug/_impl.so-2.8.2-0.fc30.x86_64.debug/_ltsmin.so-2.8.2-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.8.3-0.fc31.x86_64.debug/_impl.so-2.8.3-0.fc31.x86_64.debug/_ltsmin.so-2.8.3-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.8.4-0.fc31.x86_64.debug/_impl.so-2.8.4-0.fc31.x86_64.debug/_ltsmin.so-2.8.4-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.8.5-0.fc31.x86_64.debug/_impl.so-2.8.5-0.fc31.x86_64.debug/_ltsmin.so-2.8.5-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.8.6-0.fc31.x86_64.debug/_impl.so-2.8.6-0.fc31.x86_64.debug/_ltsmin.so-2.8.6-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.8.7-0.fc31.x86_64.debug/_impl.so-2.8.7-0.fc31.x86_64.debug/_ltsmin.so-2.8.7-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.1-0.fc31.x86_64.debug/_impl.so-2.9.1-0.fc31.x86_64.debug/_ltsmin.so-2.9.1-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.1-1.fc31.x86_64.debug/_impl.so-2.9.1-1.fc31.x86_64.debug/_ltsmin.so-2.9.1-1.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.2-0.fc31.x86_64.debug/_impl.so-2.9.2-0.fc31.x86_64.debug/_ltsmin.so-2.9.2-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.4-0.fc31.x86_64.debug/_impl.so-2.9.4-0.fc31.x86_64.debug/_ltsmin.so-2.9.4-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.7/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.5-0.fc31.x86_64.debug/_impl.so-2.9.5-0.fc31.x86_64.debug/_ltsmin.so-2.9.5-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.6-0.fc33.x86_64.debug/_impl.so-2.9.6-0.fc33.x86_64.debug/_ltsmin.so-2.9.6-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.7-0.fc33.x86_64.debug/_impl.so-2.9.7-0.fc33.x86_64.debug/_ltsmin.so-2.9.7-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.so-2.9.8-0.fc33.x86_64.debug/_impl.so-2.9.8-0.fc33.x86_64.debug/_ltsmin.so-2.9.8-0.fc33.x86_64.debug


dirname: /usr/bin
filetypes: ffffffffffffff
filenames:
  autcross/autfilt/dstar2tgba/genaut/genltl/ltl2tgba/ltl2tgta/ltlcross/ltldo/ltlfilt/ltlgrind/ltlsynt/randaut/randltl


dirname: /usr/share/man/man1
filetypes: ffffffffffffff
filenames:
  autcross.1.gz/autfilt.1.gz/dstar2tgba.1.gz/genaut.1.gz/genltl.1.gz/ltl2tgba.1.gz/ltl2tgta.1.gz/ltlcross.1.gz/ltldo.1.gz/ltlfilt.1.gz/ltlgrind.1.gz/ltlsynt.1.gz/randaut.1.gz/randltl.1.gz


dirname: /usr/bin
filetypes: fffffffffffffff
filenames:
  autcross/autfilt/dstar2tgba/genaut/genltl/ltl2tgba/ltl2tgta/ltlcross/ltldo/ltlfilt/ltlgrind/ltlmix/ltlsynt/randaut/randltl


dirname: /usr/share/man/man1
filetypes: fffffffffffffff
filenames:
  autcross.1.gz/autfilt.1.gz/dstar2tgba.1.gz/genaut.1.gz/genltl.1.gz/ltl2tgba.1.gz/ltl2tgta.1.gz/ltlcross.1.gz/ltldo.1.gz/ltlfilt.1.gz/ltlgrind.1.gz/ltlmix.1.gz/ltlsynt.1.gz/randaut.1.gz/randltl.1.gz


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10-0.fc34.x86_64.debug/autfilt-2.10-0.fc34.x86_64.debug/dstar2tgba-2.10-0.fc34.x86_64.debug/genaut-2.10-0.fc34.x86_64.debug/genltl-2.10-0.fc34.x86_64.debug/ltl2tgba-2.10-0.fc34.x86_64.debug/ltl2tgta-2.10-0.fc34.x86_64.debug/ltlcross-2.10-0.fc34.x86_64.debug/ltldo-2.10-0.fc34.x86_64.debug/ltlfilt-2.10-0.fc34.x86_64.debug/ltlgrind-2.10-0.fc34.x86_64.debug/ltlsynt-2.10-0.fc34.x86_64.debug/randaut-2.10-0.fc34.x86_64.debug/randltl-2.10-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.1-0.fc34.x86_64.debug/autfilt-2.10.1-0.fc34.x86_64.debug/dstar2tgba-2.10.1-0.fc34.x86_64.debug/genaut-2.10.1-0.fc34.x86_64.debug/genltl-2.10.1-0.fc34.x86_64.debug/ltl2tgba-2.10.1-0.fc34.x86_64.debug/ltl2tgta-2.10.1-0.fc34.x86_64.debug/ltlcross-2.10.1-0.fc34.x86_64.debug/ltldo-2.10.1-0.fc34.x86_64.debug/ltlfilt-2.10.1-0.fc34.x86_64.debug/ltlgrind-2.10.1-0.fc34.x86_64.debug/ltlsynt-2.10.1-0.fc34.x86_64.debug/randaut-2.10.1-0.fc34.x86_64.debug/randltl-2.10.1-0.fc34.x86_64.debug


dirname: /usr/lib/debug/.build-id/ca
filetypes: ffff
filenames:
  2d97c20fcd8982553a09e8d8f79c7415503364/2d97c20fcd8982553a09e8d8f79c7415503364.debug/991432ef176176c5d43b64d99cfe14eb7d2aa7/991432ef176176c5d43b64d99cfe14eb7d2aa7.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.2-0.fc34.x86_64.debug/autfilt-2.10.2-0.fc34.x86_64.debug/dstar2tgba-2.10.2-0.fc34.x86_64.debug/genaut-2.10.2-0.fc34.x86_64.debug/genltl-2.10.2-0.fc34.x86_64.debug/ltl2tgba-2.10.2-0.fc34.x86_64.debug/ltl2tgta-2.10.2-0.fc34.x86_64.debug/ltlcross-2.10.2-0.fc34.x86_64.debug/ltldo-2.10.2-0.fc34.x86_64.debug/ltlfilt-2.10.2-0.fc34.x86_64.debug/ltlgrind-2.10.2-0.fc34.x86_64.debug/ltlsynt-2.10.2-0.fc34.x86_64.debug/randaut-2.10.2-0.fc34.x86_64.debug/randltl-2.10.2-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.4-0.fc35.x86_64.debug/autfilt-2.10.4-0.fc35.x86_64.debug/dstar2tgba-2.10.4-0.fc35.x86_64.debug/genaut-2.10.4-0.fc35.x86_64.debug/genltl-2.10.4-0.fc35.x86_64.debug/ltl2tgba-2.10.4-0.fc35.x86_64.debug/ltl2tgta-2.10.4-0.fc35.x86_64.debug/ltlcross-2.10.4-0.fc35.x86_64.debug/ltldo-2.10.4-0.fc35.x86_64.debug/ltlfilt-2.10.4-0.fc35.x86_64.debug/ltlgrind-2.10.4-0.fc35.x86_64.debug/ltlsynt-2.10.4-0.fc35.x86_64.debug/randaut-2.10.4-0.fc35.x86_64.debug/randltl-2.10.4-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.5-0.fc35.x86_64.debug/autfilt-2.10.5-0.fc35.x86_64.debug/dstar2tgba-2.10.5-0.fc35.x86_64.debug/genaut-2.10.5-0.fc35.x86_64.debug/genltl-2.10.5-0.fc35.x86_64.debug/ltl2tgba-2.10.5-0.fc35.x86_64.debug/ltl2tgta-2.10.5-0.fc35.x86_64.debug/ltlcross-2.10.5-0.fc35.x86_64.debug/ltldo-2.10.5-0.fc35.x86_64.debug/ltlfilt-2.10.5-0.fc35.x86_64.debug/ltlgrind-2.10.5-0.fc35.x86_64.debug/ltlsynt-2.10.5-0.fc35.x86_64.debug/randaut-2.10.5-0.fc35.x86_64.debug/randltl-2.10.5-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.6-0.fc36.x86_64.debug/autfilt-2.10.6-0.fc36.x86_64.debug/dstar2tgba-2.10.6-0.fc36.x86_64.debug/genaut-2.10.6-0.fc36.x86_64.debug/genltl-2.10.6-0.fc36.x86_64.debug/ltl2tgba-2.10.6-0.fc36.x86_64.debug/ltl2tgta-2.10.6-0.fc36.x86_64.debug/ltlcross-2.10.6-0.fc36.x86_64.debug/ltldo-2.10.6-0.fc36.x86_64.debug/ltlfilt-2.10.6-0.fc36.x86_64.debug/ltlgrind-2.10.6-0.fc36.x86_64.debug/ltlsynt-2.10.6-0.fc36.x86_64.debug/randaut-2.10.6-0.fc36.x86_64.debug/randltl-2.10.6-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11-0.fc36.x86_64.debug/autfilt-2.11-0.fc36.x86_64.debug/dstar2tgba-2.11-0.fc36.x86_64.debug/genaut-2.11-0.fc36.x86_64.debug/genltl-2.11-0.fc36.x86_64.debug/ltl2tgba-2.11-0.fc36.x86_64.debug/ltl2tgta-2.11-0.fc36.x86_64.debug/ltlcross-2.11-0.fc36.x86_64.debug/ltldo-2.11-0.fc36.x86_64.debug/ltlfilt-2.11-0.fc36.x86_64.debug/ltlgrind-2.11-0.fc36.x86_64.debug/ltlsynt-2.11-0.fc36.x86_64.debug/randaut-2.11-0.fc36.x86_64.debug/randltl-2.11-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.1-0.fc36.x86_64.debug/autfilt-2.11.1-0.fc36.x86_64.debug/dstar2tgba-2.11.1-0.fc36.x86_64.debug/genaut-2.11.1-0.fc36.x86_64.debug/genltl-2.11.1-0.fc36.x86_64.debug/ltl2tgba-2.11.1-0.fc36.x86_64.debug/ltl2tgta-2.11.1-0.fc36.x86_64.debug/ltlcross-2.11.1-0.fc36.x86_64.debug/ltldo-2.11.1-0.fc36.x86_64.debug/ltlfilt-2.11.1-0.fc36.x86_64.debug/ltlgrind-2.11.1-0.fc36.x86_64.debug/ltlsynt-2.11.1-0.fc36.x86_64.debug/randaut-2.11.1-0.fc36.x86_64.debug/randltl-2.11.1-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.2-0.fc36.x86_64.debug/autfilt-2.11.2-0.fc36.x86_64.debug/dstar2tgba-2.11.2-0.fc36.x86_64.debug/genaut-2.11.2-0.fc36.x86_64.debug/genltl-2.11.2-0.fc36.x86_64.debug/ltl2tgba-2.11.2-0.fc36.x86_64.debug/ltl2tgta-2.11.2-0.fc36.x86_64.debug/ltlcross-2.11.2-0.fc36.x86_64.debug/ltldo-2.11.2-0.fc36.x86_64.debug/ltlfilt-2.11.2-0.fc36.x86_64.debug/ltlgrind-2.11.2-0.fc36.x86_64.debug/ltlsynt-2.11.2-0.fc36.x86_64.debug/randaut-2.11.2-0.fc36.x86_64.debug/randltl-2.11.2-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.3-0.fc37.x86_64.debug/autfilt-2.11.3-0.fc37.x86_64.debug/dstar2tgba-2.11.3-0.fc37.x86_64.debug/genaut-2.11.3-0.fc37.x86_64.debug/genltl-2.11.3-0.fc37.x86_64.debug/ltl2tgba-2.11.3-0.fc37.x86_64.debug/ltl2tgta-2.11.3-0.fc37.x86_64.debug/ltlcross-2.11.3-0.fc37.x86_64.debug/ltldo-2.11.3-0.fc37.x86_64.debug/ltlfilt-2.11.3-0.fc37.x86_64.debug/ltlgrind-2.11.3-0.fc37.x86_64.debug/ltlsynt-2.11.3-0.fc37.x86_64.debug/randaut-2.11.3-0.fc37.x86_64.debug/randltl-2.11.3-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.5-0.fc37.x86_64.debug/autfilt-2.11.5-0.fc37.x86_64.debug/dstar2tgba-2.11.5-0.fc37.x86_64.debug/genaut-2.11.5-0.fc37.x86_64.debug/genltl-2.11.5-0.fc37.x86_64.debug/ltl2tgba-2.11.5-0.fc37.x86_64.debug/ltl2tgta-2.11.5-0.fc37.x86_64.debug/ltlcross-2.11.5-0.fc37.x86_64.debug/ltldo-2.11.5-0.fc37.x86_64.debug/ltlfilt-2.11.5-0.fc37.x86_64.debug/ltlgrind-2.11.5-0.fc37.x86_64.debug/ltlsynt-2.11.5-0.fc37.x86_64.debug/randaut-2.11.5-0.fc37.x86_64.debug/randltl-2.11.5-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12-0.fc40.x86_64.debug/autfilt-2.12-0.fc40.x86_64.debug/dstar2tgba-2.12-0.fc40.x86_64.debug/genaut-2.12-0.fc40.x86_64.debug/genltl-2.12-0.fc40.x86_64.debug/ltl2tgba-2.12-0.fc40.x86_64.debug/ltl2tgta-2.12-0.fc40.x86_64.debug/ltlcross-2.12-0.fc40.x86_64.debug/ltldo-2.12-0.fc40.x86_64.debug/ltlfilt-2.12-0.fc40.x86_64.debug/ltlgrind-2.12-0.fc40.x86_64.debug/ltlsynt-2.12-0.fc40.x86_64.debug/randaut-2.12-0.fc40.x86_64.debug/randltl-2.12-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12.1-0.fc40.x86_64.debug/autfilt-2.12.1-0.fc40.x86_64.debug/dstar2tgba-2.12.1-0.fc40.x86_64.debug/genaut-2.12.1-0.fc40.x86_64.debug/genltl-2.12.1-0.fc40.x86_64.debug/ltl2tgba-2.12.1-0.fc40.x86_64.debug/ltl2tgta-2.12.1-0.fc40.x86_64.debug/ltlcross-2.12.1-0.fc40.x86_64.debug/ltldo-2.12.1-0.fc40.x86_64.debug/ltlfilt-2.12.1-0.fc40.x86_64.debug/ltlgrind-2.12.1-0.fc40.x86_64.debug/ltlsynt-2.12.1-0.fc40.x86_64.debug/randaut-2.12.1-0.fc40.x86_64.debug/randltl-2.12.1-0.fc40.x86_64.debug


dirname: /usr/lib/debug/.build-id/6c
filetypes: ffff
filenames:
  518c9e2e41523c0238d6d71e893712b62c8677/518c9e2e41523c0238d6d71e893712b62c8677.debug/991c35b2a94ac779f470a206116272dfdea01c/991c35b2a94ac779f470a206116272dfdea01c.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12.2-0.fc41.x86_64.debug/autfilt-2.12.2-0.fc41.x86_64.debug/dstar2tgba-2.12.2-0.fc41.x86_64.debug/genaut-2.12.2-0.fc41.x86_64.debug/genltl-2.12.2-0.fc41.x86_64.debug/ltl2tgba-2.12.2-0.fc41.x86_64.debug/ltl2tgta-2.12.2-0.fc41.x86_64.debug/ltlcross-2.12.2-0.fc41.x86_64.debug/ltldo-2.12.2-0.fc41.x86_64.debug/ltlfilt-2.12.2-0.fc41.x86_64.debug/ltlgrind-2.12.2-0.fc41.x86_64.debug/ltlsynt-2.12.2-0.fc41.x86_64.debug/randaut-2.12.2-0.fc41.x86_64.debug/randltl-2.12.2-0.fc41.x86_64.debug


dirname: /usr/lib/debug/.build-id/e9
filetypes: ffff
filenames:
  3af2ff5ce6ca9893f6f0cdb6010e34862d9f6d/3af2ff5ce6ca9893f6f0cdb6010e34862d9f6d.debug/e3690af4f99771a8918dab5ef8cab70f349e6c/e3690af4f99771a8918dab5ef8cab70f349e6c.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffff
filenames:
  autcross-2.13-0.fc41.x86_64.debug/autfilt-2.13-0.fc41.x86_64.debug/dstar2tgba-2.13-0.fc41.x86_64.debug/genaut-2.13-0.fc41.x86_64.debug/genltl-2.13-0.fc41.x86_64.debug/ltl2tgba-2.13-0.fc41.x86_64.debug/ltl2tgta-2.13-0.fc41.x86_64.debug/ltlcross-2.13-0.fc41.x86_64.debug/ltldo-2.13-0.fc41.x86_64.debug/ltlfilt-2.13-0.fc41.x86_64.debug/ltlgrind-2.13-0.fc41.x86_64.debug/ltlmix-2.13-0.fc41.x86_64.debug/ltlsynt-2.13-0.fc41.x86_64.debug/randaut-2.13-0.fc41.x86_64.debug/randltl-2.13-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.6-0.fc28.x86_64.debug/autfilt-2.6-0.fc28.x86_64.debug/dstar2tgba-2.6-0.fc28.x86_64.debug/genaut-2.6-0.fc28.x86_64.debug/genltl-2.6-0.fc28.x86_64.debug/ltl2tgba-2.6-0.fc28.x86_64.debug/ltl2tgta-2.6-0.fc28.x86_64.debug/ltlcross-2.6-0.fc28.x86_64.debug/ltldo-2.6-0.fc28.x86_64.debug/ltlfilt-2.6-0.fc28.x86_64.debug/ltlgrind-2.6-0.fc28.x86_64.debug/ltlsynt-2.6-0.fc28.x86_64.debug/randaut-2.6-0.fc28.x86_64.debug/randltl-2.6-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.6.1-0.fc28.x86_64.debug/autfilt-2.6.1-0.fc28.x86_64.debug/dstar2tgba-2.6.1-0.fc28.x86_64.debug/genaut-2.6.1-0.fc28.x86_64.debug/genltl-2.6.1-0.fc28.x86_64.debug/ltl2tgba-2.6.1-0.fc28.x86_64.debug/ltl2tgta-2.6.1-0.fc28.x86_64.debug/ltlcross-2.6.1-0.fc28.x86_64.debug/ltldo-2.6.1-0.fc28.x86_64.debug/ltlfilt-2.6.1-0.fc28.x86_64.debug/ltlgrind-2.6.1-0.fc28.x86_64.debug/ltlsynt-2.6.1-0.fc28.x86_64.debug/randaut-2.6.1-0.fc28.x86_64.debug/randltl-2.6.1-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.6.2-0.fc28.x86_64.debug/autfilt-2.6.2-0.fc28.x86_64.debug/dstar2tgba-2.6.2-0.fc28.x86_64.debug/genaut-2.6.2-0.fc28.x86_64.debug/genltl-2.6.2-0.fc28.x86_64.debug/ltl2tgba-2.6.2-0.fc28.x86_64.debug/ltl2tgta-2.6.2-0.fc28.x86_64.debug/ltlcross-2.6.2-0.fc28.x86_64.debug/ltldo-2.6.2-0.fc28.x86_64.debug/ltlfilt-2.6.2-0.fc28.x86_64.debug/ltlgrind-2.6.2-0.fc28.x86_64.debug/ltlsynt-2.6.2-0.fc28.x86_64.debug/randaut-2.6.2-0.fc28.x86_64.debug/randltl-2.6.2-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.6.3-0.fc28.x86_64.debug/autfilt-2.6.3-0.fc28.x86_64.debug/dstar2tgba-2.6.3-0.fc28.x86_64.debug/genaut-2.6.3-0.fc28.x86_64.debug/genltl-2.6.3-0.fc28.x86_64.debug/ltl2tgba-2.6.3-0.fc28.x86_64.debug/ltl2tgta-2.6.3-0.fc28.x86_64.debug/ltlcross-2.6.3-0.fc28.x86_64.debug/ltldo-2.6.3-0.fc28.x86_64.debug/ltlfilt-2.6.3-0.fc28.x86_64.debug/ltlgrind-2.6.3-0.fc28.x86_64.debug/ltlsynt-2.6.3-0.fc28.x86_64.debug/randaut-2.6.3-0.fc28.x86_64.debug/randltl-2.6.3-0.fc28.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.7-0.fc29.x86_64.debug/autfilt-2.7-0.fc29.x86_64.debug/dstar2tgba-2.7-0.fc29.x86_64.debug/genaut-2.7-0.fc29.x86_64.debug/genltl-2.7-0.fc29.x86_64.debug/ltl2tgba-2.7-0.fc29.x86_64.debug/ltl2tgta-2.7-0.fc29.x86_64.debug/ltlcross-2.7-0.fc29.x86_64.debug/ltldo-2.7-0.fc29.x86_64.debug/ltlfilt-2.7-0.fc29.x86_64.debug/ltlgrind-2.7-0.fc29.x86_64.debug/ltlsynt-2.7-0.fc29.x86_64.debug/randaut-2.7-0.fc29.x86_64.debug/randltl-2.7-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.7.1-0.fc29.x86_64.debug/autfilt-2.7.1-0.fc29.x86_64.debug/dstar2tgba-2.7.1-0.fc29.x86_64.debug/genaut-2.7.1-0.fc29.x86_64.debug/genltl-2.7.1-0.fc29.x86_64.debug/ltl2tgba-2.7.1-0.fc29.x86_64.debug/ltl2tgta-2.7.1-0.fc29.x86_64.debug/ltlcross-2.7.1-0.fc29.x86_64.debug/ltldo-2.7.1-0.fc29.x86_64.debug/ltlfilt-2.7.1-0.fc29.x86_64.debug/ltlgrind-2.7.1-0.fc29.x86_64.debug/ltlsynt-2.7.1-0.fc29.x86_64.debug/randaut-2.7.1-0.fc29.x86_64.debug/randltl-2.7.1-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.7.2-0.fc29.x86_64.debug/autfilt-2.7.2-0.fc29.x86_64.debug/dstar2tgba-2.7.2-0.fc29.x86_64.debug/genaut-2.7.2-0.fc29.x86_64.debug/genltl-2.7.2-0.fc29.x86_64.debug/ltl2tgba-2.7.2-0.fc29.x86_64.debug/ltl2tgta-2.7.2-0.fc29.x86_64.debug/ltlcross-2.7.2-0.fc29.x86_64.debug/ltldo-2.7.2-0.fc29.x86_64.debug/ltlfilt-2.7.2-0.fc29.x86_64.debug/ltlgrind-2.7.2-0.fc29.x86_64.debug/ltlsynt-2.7.2-0.fc29.x86_64.debug/randaut-2.7.2-0.fc29.x86_64.debug/randltl-2.7.2-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.7.3-0.fc29.x86_64.debug/autfilt-2.7.3-0.fc29.x86_64.debug/dstar2tgba-2.7.3-0.fc29.x86_64.debug/genaut-2.7.3-0.fc29.x86_64.debug/genltl-2.7.3-0.fc29.x86_64.debug/ltl2tgba-2.7.3-0.fc29.x86_64.debug/ltl2tgta-2.7.3-0.fc29.x86_64.debug/ltlcross-2.7.3-0.fc29.x86_64.debug/ltldo-2.7.3-0.fc29.x86_64.debug/ltlfilt-2.7.3-0.fc29.x86_64.debug/ltlgrind-2.7.3-0.fc29.x86_64.debug/ltlsynt-2.7.3-0.fc29.x86_64.debug/randaut-2.7.3-0.fc29.x86_64.debug/randltl-2.7.3-0.fc29.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.7.4-0.fc29.x86_64.debug/autfilt-2.7.4-0.fc29.x86_64.debug/dstar2tgba-2.7.4-0.fc29.x86_64.debug/genaut-2.7.4-0.fc29.x86_64.debug/genltl-2.7.4-0.fc29.x86_64.debug/ltl2tgba-2.7.4-0.fc29.x86_64.debug/ltl2tgta-2.7.4-0.fc29.x86_64.debug/ltlcross-2.7.4-0.fc29.x86_64.debug/ltldo-2.7.4-0.fc29.x86_64.debug/ltlfilt-2.7.4-0.fc29.x86_64.debug/ltlgrind-2.7.4-0.fc29.x86_64.debug/ltlsynt-2.7.4-0.fc29.x86_64.debug/randaut-2.7.4-0.fc29.x86_64.debug/randltl-2.7.4-0.fc29.x86_64.debug


dirname: /usr/lib/debug/.build-id/eb
filetypes: ffff
filenames:
  80a8ecbe8017db4b5d4016e243313d1ea2aea9/80a8ecbe8017db4b5d4016e243313d1ea2aea9.debug/99aa550742a81fa4ca13793f76071554a2a494/99aa550742a81fa4ca13793f76071554a2a494.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.7.5-0.fc29.x86_64.debug/autfilt-2.7.5-0.fc29.x86_64.debug/dstar2tgba-2.7.5-0.fc29.x86_64.debug/genaut-2.7.5-0.fc29.x86_64.debug/genltl-2.7.5-0.fc29.x86_64.debug/ltl2tgba-2.7.5-0.fc29.x86_64.debug/ltl2tgta-2.7.5-0.fc29.x86_64.debug/ltlcross-2.7.5-0.fc29.x86_64.debug/ltldo-2.7.5-0.fc29.x86_64.debug/ltlfilt-2.7.5-0.fc29.x86_64.debug/ltlgrind-2.7.5-0.fc29.x86_64.debug/ltlsynt-2.7.5-0.fc29.x86_64.debug/randaut-2.7.5-0.fc29.x86_64.debug/randltl-2.7.5-0.fc29.x86_64.debug


dirname: /usr/lib/debug/.build-id/03
filetypes: ffff
filenames:
  39d1962633f908412a007a211732806e5a8fa6/39d1962633f908412a007a211732806e5a8fa6.debug/f37d8ec26795f25c99fb9d25df1516d4aff696/f37d8ec26795f25c99fb9d25df1516d4aff696.debug


dirname: /usr/lib/debug/.build-id/b1
filetypes: ffff
filenames:
  96cc661d2c4281af34299ad6ea47fdab61e6c5/96cc661d2c4281af34299ad6ea47fdab61e6c5.debug/fac1e7a712be3861f1d5578425b9ed2010a079/fac1e7a712be3861f1d5578425b9ed2010a079.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8-0.fc30.x86_64.debug/autfilt-2.8-0.fc30.x86_64.debug/dstar2tgba-2.8-0.fc30.x86_64.debug/genaut-2.8-0.fc30.x86_64.debug/genltl-2.8-0.fc30.x86_64.debug/ltl2tgba-2.8-0.fc30.x86_64.debug/ltl2tgta-2.8-0.fc30.x86_64.debug/ltlcross-2.8-0.fc30.x86_64.debug/ltldo-2.8-0.fc30.x86_64.debug/ltlfilt-2.8-0.fc30.x86_64.debug/ltlgrind-2.8-0.fc30.x86_64.debug/ltlsynt-2.8-0.fc30.x86_64.debug/randaut-2.8-0.fc30.x86_64.debug/randltl-2.8-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8.1-0.fc30.x86_64.debug/autfilt-2.8.1-0.fc30.x86_64.debug/dstar2tgba-2.8.1-0.fc30.x86_64.debug/genaut-2.8.1-0.fc30.x86_64.debug/genltl-2.8.1-0.fc30.x86_64.debug/ltl2tgba-2.8.1-0.fc30.x86_64.debug/ltl2tgta-2.8.1-0.fc30.x86_64.debug/ltlcross-2.8.1-0.fc30.x86_64.debug/ltldo-2.8.1-0.fc30.x86_64.debug/ltlfilt-2.8.1-0.fc30.x86_64.debug/ltlgrind-2.8.1-0.fc30.x86_64.debug/ltlsynt-2.8.1-0.fc30.x86_64.debug/randaut-2.8.1-0.fc30.x86_64.debug/randltl-2.8.1-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8.2-0.fc30.x86_64.debug/autfilt-2.8.2-0.fc30.x86_64.debug/dstar2tgba-2.8.2-0.fc30.x86_64.debug/genaut-2.8.2-0.fc30.x86_64.debug/genltl-2.8.2-0.fc30.x86_64.debug/ltl2tgba-2.8.2-0.fc30.x86_64.debug/ltl2tgta-2.8.2-0.fc30.x86_64.debug/ltlcross-2.8.2-0.fc30.x86_64.debug/ltldo-2.8.2-0.fc30.x86_64.debug/ltlfilt-2.8.2-0.fc30.x86_64.debug/ltlgrind-2.8.2-0.fc30.x86_64.debug/ltlsynt-2.8.2-0.fc30.x86_64.debug/randaut-2.8.2-0.fc30.x86_64.debug/randltl-2.8.2-0.fc30.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8.3-0.fc31.x86_64.debug/autfilt-2.8.3-0.fc31.x86_64.debug/dstar2tgba-2.8.3-0.fc31.x86_64.debug/genaut-2.8.3-0.fc31.x86_64.debug/genltl-2.8.3-0.fc31.x86_64.debug/ltl2tgba-2.8.3-0.fc31.x86_64.debug/ltl2tgta-2.8.3-0.fc31.x86_64.debug/ltlcross-2.8.3-0.fc31.x86_64.debug/ltldo-2.8.3-0.fc31.x86_64.debug/ltlfilt-2.8.3-0.fc31.x86_64.debug/ltlgrind-2.8.3-0.fc31.x86_64.debug/ltlsynt-2.8.3-0.fc31.x86_64.debug/randaut-2.8.3-0.fc31.x86_64.debug/randltl-2.8.3-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8.4-0.fc31.x86_64.debug/autfilt-2.8.4-0.fc31.x86_64.debug/dstar2tgba-2.8.4-0.fc31.x86_64.debug/genaut-2.8.4-0.fc31.x86_64.debug/genltl-2.8.4-0.fc31.x86_64.debug/ltl2tgba-2.8.4-0.fc31.x86_64.debug/ltl2tgta-2.8.4-0.fc31.x86_64.debug/ltlcross-2.8.4-0.fc31.x86_64.debug/ltldo-2.8.4-0.fc31.x86_64.debug/ltlfilt-2.8.4-0.fc31.x86_64.debug/ltlgrind-2.8.4-0.fc31.x86_64.debug/ltlsynt-2.8.4-0.fc31.x86_64.debug/randaut-2.8.4-0.fc31.x86_64.debug/randltl-2.8.4-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8.5-0.fc31.x86_64.debug/autfilt-2.8.5-0.fc31.x86_64.debug/dstar2tgba-2.8.5-0.fc31.x86_64.debug/genaut-2.8.5-0.fc31.x86_64.debug/genltl-2.8.5-0.fc31.x86_64.debug/ltl2tgba-2.8.5-0.fc31.x86_64.debug/ltl2tgta-2.8.5-0.fc31.x86_64.debug/ltlcross-2.8.5-0.fc31.x86_64.debug/ltldo-2.8.5-0.fc31.x86_64.debug/ltlfilt-2.8.5-0.fc31.x86_64.debug/ltlgrind-2.8.5-0.fc31.x86_64.debug/ltlsynt-2.8.5-0.fc31.x86_64.debug/randaut-2.8.5-0.fc31.x86_64.debug/randltl-2.8.5-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8.6-0.fc31.x86_64.debug/autfilt-2.8.6-0.fc31.x86_64.debug/dstar2tgba-2.8.6-0.fc31.x86_64.debug/genaut-2.8.6-0.fc31.x86_64.debug/genltl-2.8.6-0.fc31.x86_64.debug/ltl2tgba-2.8.6-0.fc31.x86_64.debug/ltl2tgta-2.8.6-0.fc31.x86_64.debug/ltlcross-2.8.6-0.fc31.x86_64.debug/ltldo-2.8.6-0.fc31.x86_64.debug/ltlfilt-2.8.6-0.fc31.x86_64.debug/ltlgrind-2.8.6-0.fc31.x86_64.debug/ltlsynt-2.8.6-0.fc31.x86_64.debug/randaut-2.8.6-0.fc31.x86_64.debug/randltl-2.8.6-0.fc31.x86_64.debug


dirname: /usr/lib/debug/.build-id/c3
filetypes: ffff
filenames:
  8c8809a1c46cdb1c6c92a33423399b17d3ada8/8c8809a1c46cdb1c6c92a33423399b17d3ada8.debug/cbc2ad90c49745caf222e4fe3640a82886d31f/cbc2ad90c49745caf222e4fe3640a82886d31f.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.8.7-0.fc31.x86_64.debug/autfilt-2.8.7-0.fc31.x86_64.debug/dstar2tgba-2.8.7-0.fc31.x86_64.debug/genaut-2.8.7-0.fc31.x86_64.debug/genltl-2.8.7-0.fc31.x86_64.debug/ltl2tgba-2.8.7-0.fc31.x86_64.debug/ltl2tgta-2.8.7-0.fc31.x86_64.debug/ltlcross-2.8.7-0.fc31.x86_64.debug/ltldo-2.8.7-0.fc31.x86_64.debug/ltlfilt-2.8.7-0.fc31.x86_64.debug/ltlgrind-2.8.7-0.fc31.x86_64.debug/ltlsynt-2.8.7-0.fc31.x86_64.debug/randaut-2.8.7-0.fc31.x86_64.debug/randltl-2.8.7-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9-0.fc31.x86_64.debug/autfilt-2.9-0.fc31.x86_64.debug/dstar2tgba-2.9-0.fc31.x86_64.debug/genaut-2.9-0.fc31.x86_64.debug/genltl-2.9-0.fc31.x86_64.debug/ltl2tgba-2.9-0.fc31.x86_64.debug/ltl2tgta-2.9-0.fc31.x86_64.debug/ltlcross-2.9-0.fc31.x86_64.debug/ltldo-2.9-0.fc31.x86_64.debug/ltlfilt-2.9-0.fc31.x86_64.debug/ltlgrind-2.9-0.fc31.x86_64.debug/ltlsynt-2.9-0.fc31.x86_64.debug/randaut-2.9-0.fc31.x86_64.debug/randltl-2.9-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.1-0.fc31.x86_64.debug/autfilt-2.9.1-0.fc31.x86_64.debug/dstar2tgba-2.9.1-0.fc31.x86_64.debug/genaut-2.9.1-0.fc31.x86_64.debug/genltl-2.9.1-0.fc31.x86_64.debug/ltl2tgba-2.9.1-0.fc31.x86_64.debug/ltl2tgta-2.9.1-0.fc31.x86_64.debug/ltlcross-2.9.1-0.fc31.x86_64.debug/ltldo-2.9.1-0.fc31.x86_64.debug/ltlfilt-2.9.1-0.fc31.x86_64.debug/ltlgrind-2.9.1-0.fc31.x86_64.debug/ltlsynt-2.9.1-0.fc31.x86_64.debug/randaut-2.9.1-0.fc31.x86_64.debug/randltl-2.9.1-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.1-1.fc31.x86_64.debug/autfilt-2.9.1-1.fc31.x86_64.debug/dstar2tgba-2.9.1-1.fc31.x86_64.debug/genaut-2.9.1-1.fc31.x86_64.debug/genltl-2.9.1-1.fc31.x86_64.debug/ltl2tgba-2.9.1-1.fc31.x86_64.debug/ltl2tgta-2.9.1-1.fc31.x86_64.debug/ltlcross-2.9.1-1.fc31.x86_64.debug/ltldo-2.9.1-1.fc31.x86_64.debug/ltlfilt-2.9.1-1.fc31.x86_64.debug/ltlgrind-2.9.1-1.fc31.x86_64.debug/ltlsynt-2.9.1-1.fc31.x86_64.debug/randaut-2.9.1-1.fc31.x86_64.debug/randltl-2.9.1-1.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.2-0.fc31.x86_64.debug/autfilt-2.9.2-0.fc31.x86_64.debug/dstar2tgba-2.9.2-0.fc31.x86_64.debug/genaut-2.9.2-0.fc31.x86_64.debug/genltl-2.9.2-0.fc31.x86_64.debug/ltl2tgba-2.9.2-0.fc31.x86_64.debug/ltl2tgta-2.9.2-0.fc31.x86_64.debug/ltlcross-2.9.2-0.fc31.x86_64.debug/ltldo-2.9.2-0.fc31.x86_64.debug/ltlfilt-2.9.2-0.fc31.x86_64.debug/ltlgrind-2.9.2-0.fc31.x86_64.debug/ltlsynt-2.9.2-0.fc31.x86_64.debug/randaut-2.9.2-0.fc31.x86_64.debug/randltl-2.9.2-0.fc31.x86_64.debug


dirname: /usr/lib/debug/.build-id/1b
filetypes: ffff
filenames:
  349448da6cbe347e0ead6717ceeddfead311f7/349448da6cbe347e0ead6717ceeddfead311f7.debug/c023d8ebe5b230c11fefe64c91d07d0cb1c65f/c023d8ebe5b230c11fefe64c91d07d0cb1c65f.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.4-0.fc31.x86_64.debug/autfilt-2.9.4-0.fc31.x86_64.debug/dstar2tgba-2.9.4-0.fc31.x86_64.debug/genaut-2.9.4-0.fc31.x86_64.debug/genltl-2.9.4-0.fc31.x86_64.debug/ltl2tgba-2.9.4-0.fc31.x86_64.debug/ltl2tgta-2.9.4-0.fc31.x86_64.debug/ltlcross-2.9.4-0.fc31.x86_64.debug/ltldo-2.9.4-0.fc31.x86_64.debug/ltlfilt-2.9.4-0.fc31.x86_64.debug/ltlgrind-2.9.4-0.fc31.x86_64.debug/ltlsynt-2.9.4-0.fc31.x86_64.debug/randaut-2.9.4-0.fc31.x86_64.debug/randltl-2.9.4-0.fc31.x86_64.debug


dirname: /usr/lib/debug/.build-id/b6
filetypes: ffff
filenames:
  7854c4d73ab8e2021c96e61155aeaa3a90c06c/7854c4d73ab8e2021c96e61155aeaa3a90c06c.debug/d5c83b2fdf2bb19a58ac2a087b69132ee9c1fb/d5c83b2fdf2bb19a58ac2a087b69132ee9c1fb.debug


dirname: /usr/lib/debug/.build-id/d8
filetypes: ffff
filenames:
  2d642a6a9b9f3c65bfde572732a2862e4e9d4a/2d642a6a9b9f3c65bfde572732a2862e4e9d4a.debug/9a40555210c56f03530aeffcc328dd916782cd/9a40555210c56f03530aeffcc328dd916782cd.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.5-0.fc31.x86_64.debug/autfilt-2.9.5-0.fc31.x86_64.debug/dstar2tgba-2.9.5-0.fc31.x86_64.debug/genaut-2.9.5-0.fc31.x86_64.debug/genltl-2.9.5-0.fc31.x86_64.debug/ltl2tgba-2.9.5-0.fc31.x86_64.debug/ltl2tgta-2.9.5-0.fc31.x86_64.debug/ltlcross-2.9.5-0.fc31.x86_64.debug/ltldo-2.9.5-0.fc31.x86_64.debug/ltlfilt-2.9.5-0.fc31.x86_64.debug/ltlgrind-2.9.5-0.fc31.x86_64.debug/ltlsynt-2.9.5-0.fc31.x86_64.debug/randaut-2.9.5-0.fc31.x86_64.debug/randltl-2.9.5-0.fc31.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.6-0.fc33.x86_64.debug/autfilt-2.9.6-0.fc33.x86_64.debug/dstar2tgba-2.9.6-0.fc33.x86_64.debug/genaut-2.9.6-0.fc33.x86_64.debug/genltl-2.9.6-0.fc33.x86_64.debug/ltl2tgba-2.9.6-0.fc33.x86_64.debug/ltl2tgta-2.9.6-0.fc33.x86_64.debug/ltlcross-2.9.6-0.fc33.x86_64.debug/ltldo-2.9.6-0.fc33.x86_64.debug/ltlfilt-2.9.6-0.fc33.x86_64.debug/ltlgrind-2.9.6-0.fc33.x86_64.debug/ltlsynt-2.9.6-0.fc33.x86_64.debug/randaut-2.9.6-0.fc33.x86_64.debug/randltl-2.9.6-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.7-0.fc33.x86_64.debug/autfilt-2.9.7-0.fc33.x86_64.debug/dstar2tgba-2.9.7-0.fc33.x86_64.debug/genaut-2.9.7-0.fc33.x86_64.debug/genltl-2.9.7-0.fc33.x86_64.debug/ltl2tgba-2.9.7-0.fc33.x86_64.debug/ltl2tgta-2.9.7-0.fc33.x86_64.debug/ltlcross-2.9.7-0.fc33.x86_64.debug/ltldo-2.9.7-0.fc33.x86_64.debug/ltlfilt-2.9.7-0.fc33.x86_64.debug/ltlgrind-2.9.7-0.fc33.x86_64.debug/ltlsynt-2.9.7-0.fc33.x86_64.debug/randaut-2.9.7-0.fc33.x86_64.debug/randltl-2.9.7-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.8-0.fc33.x86_64.debug/autfilt-2.9.8-0.fc33.x86_64.debug/dstar2tgba-2.9.8-0.fc33.x86_64.debug/genaut-2.9.8-0.fc33.x86_64.debug/genltl-2.9.8-0.fc33.x86_64.debug/ltl2tgba-2.9.8-0.fc33.x86_64.debug/ltl2tgta-2.9.8-0.fc33.x86_64.debug/ltlcross-2.9.8-0.fc33.x86_64.debug/ltldo-2.9.8-0.fc33.x86_64.debug/ltlfilt-2.9.8-0.fc33.x86_64.debug/ltlgrind-2.9.8-0.fc33.x86_64.debug/ltlsynt-2.9.8-0.fc33.x86_64.debug/randaut-2.9.8-0.fc33.x86_64.debug/randltl-2.9.8-0.fc33.x86_64.debug


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot
filetypes: ddddddddddddddddd
filenames:
  bricks/gen/graph/kripke/ltsmin/mc/misc/parseaut/parsetl/priv/ta/taalgos/tl/twa/twaalgos/twacube/twacube_algos


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/lib
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  argmatch.c/argmatch.h/argp-ba.c/argp-eexst.c/argp-fmtstream.c/argp-fmtstream.h/argp-fs-xinl.c/argp-help.c/argp-parse.c/argp-pin.c/argp-pv.c/argp-pvh.c/argp-xinl.c/argp.h/asnprintf.c/basename-lgpl.c/c-ctype.c/c-ctype.h/c-strcase.h/c-strcasecmp.c/c-strcaseeq.h/c-strncasecmp.c/close-stream.c/close-stream.h/closeout.c/closeout.h/dirname-lgpl.c/dirname.h/error.h/exitfail.c/exitfail.h/getopt-core.h/getopt-ext.h/getopt.c/getopt1.c/getopt_int.h/getprogname.c/hard-locale.c/hard-locale.h/localcharset.c/localcharset.h/localtime-buffer.c/malloca.c/malloca.h/mbrtowc.c/printf-args.c/printf-args.h/printf-parse.c/printf-parse.h/progname.c/progname.h/quote.h/quotearg.c/quotearg.h/setlocale_null.c/setlocale_null.h/stat-time.c/stat-time.h/stripslash.c/tempname.c/unistd.c/vasnprintf.c/vasnprintf.h/wchar.h/wctype-h.c/xalloc-die.c/xalloc-oversized.h/xalloc.h/xmalloc.c/xsize.c/xsize.h


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot/priv
filetypes: ffffffffffff
filenames:
  accmap.hh/bddalloc.cc/bddalloc.hh/freelist.cc/freelist.hh/robin_hood.hh/satcommon.cc/satcommon.hh/trim.cc/trim.hh/weight.cc/weight.hh


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot/tl
filetypes: ffffffffffffffffffffffffffffffffffffffffff
filenames:
  apcollect.cc/apcollect.hh/contain.cc/contain.hh/declenv.cc/declenv.hh/defaultenv.cc/defaultenv.hh/dot.cc/dot.hh/environment.hh/exclusive.cc/exclusive.hh/formula.cc/formula.hh/hierarchy.cc/hierarchy.hh/length.cc/length.hh/ltlf.cc/ltlf.hh/mark.cc/mark.hh/mutation.cc/mutation.hh/nenoform.cc/nenoform.hh/parse.hh/print.cc/print.hh/randomltl.cc/randomltl.hh/relabel.cc/relabel.hh/remove_x.cc/remove_x.hh/simplify.cc/simplify.hh/snf.cc/snf.hh/unabbrev.cc/unabbrev.hh


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot/taalgos
filetypes: ffffffffffffff
filenames:
  dot.cc/dot.hh/emptinessta.cc/emptinessta.hh/minimize.cc/minimize.hh/reachiter.cc/reachiter.hh/statessetbuilder.cc/statessetbuilder.hh/stats.cc/stats.hh/tgba2ta.cc/tgba2ta.hh


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh/gtec

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot/ta
filetypes: fffffffffff
filenames:
  ta.cc/ta.hh/taexplicit.cc/taexplicit.hh/taproduct.cc/taproduct.hh/tgta.hh/tgtaexplicit.cc/tgtaexplicit.hh/tgtaproduct.cc/tgtaproduct.hh


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot/twa
filetypes: fffffffffffffffff
filenames:
  acc.cc/acc.hh/bdddict.cc/bdddict.hh/bddprint.cc/bddprint.hh/formula2bdd.cc/formula2bdd.hh/fwd.hh/taatgba.cc/taatgba.hh/twa.cc/twa.hh/twagraph.cc/twagraph.hh/twaproduct.cc/twaproduct.hh


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/spot/misc
filetypes: ffffffffffffffffffffffffffffffffffffffffff
filenames:
  bareword.cc/bareword.hh/bddlt.hh/bitset.cc/bitset.hh/bitvect.cc/bitvect.hh/casts.hh/clz.hh/common.hh/escape.cc/escape.hh/fixpool.hh/formater.cc/formater.hh/hash.hh/hashfunc.hh/intvcmp2.cc/intvcmp2.hh/intvcomp.cc/intvcomp.hh/location.hh/ltstr.hh/memusage.cc/memusage.hh/minato.cc/minato.hh/mspool.hh/optionmap.cc/optionmap.hh/position.hh/random.cc/random.hh/satsolver.cc/satsolver.hh/timer.cc/timer.hh/tmpfile.cc/tmpfile.hh/trival.hh/version.cc/version.hh


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/buddy/src
filetypes: ffffffffffffffffffff
filenames:
  bddio.c/bddop.c/bddtree.h/bddx.h/bvec.c/bvecx.h/cache.c/cache.h/cppext.cxx/fdd.c/fddx.h/imatrix.c/imatrix.h/kernel.c/kernel.h/pairs.c/prime.c/prime.h/reorder.c/tree.c


dirname: /usr/src/debug/spot-2.10-0.fc34.x86_64/bin
filetypes: ffffffffffffffffffffffffffffffffffffffff
filenames:
  autcross.cc/autfilt.cc/common_aoutput.cc/common_aoutput.hh/common_color.cc/common_color.hh/common_conv.cc/common_conv.hh/common_cout.cc/common_cout.hh/common_file.cc/common_file.hh/common_finput.cc/common_finput.hh/common_hoaread.cc/common_hoaread.hh/common_output.cc/common_output.hh/common_post.cc/common_post.hh/common_r.cc/common_r.hh/common_range.cc/common_range.hh/common_setup.cc/common_setup.hh/common_trans.cc/common_trans.hh/dstar2tgba.cc/genaut.cc/genltl.cc/ltl2tgba.cc/ltl2tgta.cc/ltlcross.cc/ltldo.cc/ltlfilt.cc/ltlgrind.cc/ltlsynt.cc/randaut.cc/randltl.cc


dirname: /usr/src/debug/spot-2.10.4-0.fc35.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.11-0.fc36.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.11-0.fc36.x86_64/spot/tl
filetypes: ffffffffffffffffffffffffffffffffffffffffffff
filenames:
  apcollect.cc/apcollect.hh/contain.cc/contain.hh/declenv.cc/declenv.hh/defaultenv.cc/defaultenv.hh/dot.cc/dot.hh/environment.hh/exclusive.cc/exclusive.hh/formula.cc/formula.hh/hierarchy.cc/hierarchy.hh/length.cc/length.hh/ltlf.cc/ltlf.hh/mark.cc/mark.hh/mutation.cc/mutation.hh/nenoform.cc/nenoform.hh/parse.hh/print.cc/print.hh/randomltl.cc/randomltl.hh/relabel.cc/relabel.hh/remove_x.cc/remove_x.hh/simplify.cc/simplify.hh/snf.cc/snf.hh/sonf.cc/sonf.hh/unabbrev.cc/unabbrev.hh


dirname: /usr/src/debug/spot-2.12-0.fc40.x86_64/spot/priv
filetypes: ffffffffffffff
filenames:
  accmap.hh/bddalloc.cc/bddalloc.hh/freelist.cc/freelist.hh/partitioned_relabel.cc/partitioned_relabel.hh/robin_hood.hh/satcommon.cc/satcommon.hh/trim.cc/trim.hh/weight.cc/weight.hh


dirname: /usr/src/debug/spot-2.12-0.fc40.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/forq_contains.cc/forq_contains.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.13-0.fc41.x86_64/spot/misc
filetypes: fffffffffffffffffffffffffffffffffffffffffff
filenames:
  bareword.cc/bareword.hh/bddlt.hh/bitset.cc/bitset.hh/bitvect.cc/bitvect.hh/casts.hh/clz.hh/common.hh/escape.cc/escape.hh/fixpool.hh/formater.cc/formater.hh/hash.hh/hashfunc.hh/intvcmp2.cc/intvcmp2.hh/intvcomp.cc/intvcomp.hh/location.hh/ltstr.hh/memusage.cc/memusage.hh/minato.cc/minato.hh/mspool.hh/optionmap.cc/optionmap.hh/permute.hh/position.hh/random.cc/random.hh/satsolver.cc/satsolver.hh/timer.cc/timer.hh/tmpfile.cc/tmpfile.hh/trival.hh/version.cc/version.hh


dirname: /usr/src/debug/spot-2.13-0.fc41.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/deadends.cc/deadends.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/forq_contains.cc/forq_contains.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/given.cc/given.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/matchstates.cc/matchstates.hh/mcs.cc/mcs.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.13-0.fc41.x86_64/spot/tl
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  apcollect.cc/apcollect.hh/contain.cc/contain.hh/declenv.cc/declenv.hh/defaultenv.cc/defaultenv.hh/delta2.cc/delta2.hh/dot.cc/dot.hh/environment.hh/exclusive.cc/exclusive.hh/formula.cc/formula.hh/hierarchy.cc/hierarchy.hh/length.cc/length.hh/ltlf.cc/ltlf.hh/mark.cc/mark.hh/mutation.cc/mutation.hh/nenoform.cc/nenoform.hh/parse.hh/print.cc/print.hh/randomltl.cc/randomltl.hh/relabel.cc/relabel.hh/remove_x.cc/remove_x.hh/simplify.cc/simplify.hh/snf.cc/snf.hh/sonf.cc/sonf.hh/unabbrev.cc/unabbrev.hh


dirname: /usr/src/debug/spot-2.13-0.fc41.x86_64/bin
filetypes: fffffffffffffffffffffffffffffffffffffffffff
filenames:
  autcross.cc/autfilt.cc/common_aoutput.cc/common_aoutput.hh/common_color.cc/common_color.hh/common_conv.cc/common_conv.hh/common_cout.cc/common_cout.hh/common_file.cc/common_file.hh/common_finput.cc/common_finput.hh/common_hoaread.cc/common_hoaread.hh/common_ioap.cc/common_ioap.hh/common_output.cc/common_output.hh/common_post.cc/common_post.hh/common_r.cc/common_r.hh/common_range.cc/common_range.hh/common_setup.cc/common_setup.hh/common_trans.cc/common_trans.hh/dstar2tgba.cc/genaut.cc/genltl.cc/ltl2tgba.cc/ltl2tgta.cc/ltlcross.cc/ltldo.cc/ltlfilt.cc/ltlgrind.cc/ltlmix.cc/ltlsynt.cc/randaut.cc/randltl.cc


dirname: /usr/src/debug/spot-2.6-0.fc28.x86_64/spot/priv
filetypes: fffffffffff
filenames:
  accmap.hh/bddalloc.cc/bddalloc.hh/freelist.cc/freelist.hh/satcommon.cc/satcommon.hh/trim.cc/trim.hh/weight.cc/weight.hh


dirname: /usr/src/debug/spot-2.6-0.fc28.x86_64/spot/misc
filetypes: ffffffffffffffffffffffffffffffffffffffffff
filenames:
  bareword.cc/bareword.hh/bddlt.hh/bitset.cc/bitset.hh/bitvect.cc/bitvect.hh/casts.hh/common.hh/escape.cc/escape.hh/fixpool.cc/fixpool.hh/formater.cc/formater.hh/game.cc/game.hh/hash.hh/hashfunc.hh/intvcmp2.cc/intvcomp.cc/location.hh/ltstr.hh/memusage.cc/memusage.hh/minato.cc/minato.hh/mspool.hh/optionmap.cc/optionmap.hh/position.hh/random.cc/random.hh/satsolver.cc/satsolver.hh/timer.cc/timer.hh/tmpfile.cc/tmpfile.hh/trival.hh/version.cc/version.hh


dirname: /usr/src/debug/spot-2.6-0.fc28.x86_64/lib
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  argmatch.c/argmatch.h/argp-ba.c/argp-eexst.c/argp-fmtstream.c/argp-fmtstream.h/argp-help.c/argp-parse.c/argp-pv.c/argp-pvh.c/argp.h/asnprintf.c/basename-lgpl.c/c-ctype.h/c-strcasecmp.c/c-strcaseeq.h/c-strncasecmp.c/close-stream.c/close-stream.h/closeout.c/closeout.h/dirname-lgpl.c/dirname.h/error.h/exitfail.c/exitfail.h/getopt-core.h/getopt-ext.h/getopt.c/getopt1.c/getopt_int.h/getprogname.c/hard-locale.c/hard-locale.h/localcharset.c/localcharset.h/malloca.c/malloca.h/mbrtowc.c/printf-args.c/printf-args.h/printf-parse.c/printf-parse.h/progname.c/progname.h/quote.h/quotearg.c/quotearg.h/stat-time.h/stdio.h/stdlib.h/string.h/stripslash.c/tempname.c/unistd.h/vasnprintf.c/vasnprintf.h/wchar.h/xalloc-die.c/xalloc-oversized.h/xalloc.h/xmalloc.c/xsize.h/sys


dirname: /usr/src/debug/spot-2.6-0.fc28.x86_64/spot/parseaut
filetypes: fffffffff
filenames:
  fmterror.cc/parseaut.cc/parseaut.hh/parseaut.yy/parsedecl.hh/public.hh/scanaut.cc/scanaut.ll/stack.hh


dirname: /usr/src/debug/spot-2.6-0.fc28.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/gfguarantee.cc/gfguarantee.hh/gv04.cc/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/rabin2parity.cc/rabin2parity.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/tau03.cc/tau03opt.cc/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/gtec

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/src/debug/spot-2.7-0.fc29.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gv04.cc/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/rabin2parity.cc/rabin2parity.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/tau03.cc/tau03opt.cc/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/gtec

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/src/debug/spot-2.8.2-0.fc30.x86_64/lib
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdd
filenames:
  argmatch.c/argmatch.h/argp-ba.c/argp-eexst.c/argp-fmtstream.c/argp-fmtstream.h/argp-help.c/argp-parse.c/argp-pv.c/argp-pvh.c/argp.h/asnprintf.c/basename-lgpl.c/c-ctype.h/c-strcasecmp.c/c-strcaseeq.h/c-strncasecmp.c/close-stream.c/close-stream.h/closeout.c/closeout.h/dirname-lgpl.c/dirname.h/error.h/exitfail.c/exitfail.h/getopt-core.h/getopt-ext.h/getopt.c/getopt1.c/getopt_int.h/getprogname.c/hard-locale.c/hard-locale.h/localcharset.c/localcharset.h/malloca.c/malloca.h/mbrtowc.c/printf-args.c/printf-args.h/printf-parse.c/printf-parse.h/progname.c/progname.h/quote.h/quotearg.c/quotearg.h/stat-time.h/stdio.h/stdlib.h/string.h/stripslash.c/tempname.c/unistd.h/vasnprintf.c/vasnprintf.h/wchar.h/xalloc-die.c/xalloc-oversized.h/xalloc.h/xmalloc.c/xsize.h/glthread/sys


dirname: /usr/src/debug/spot-2.9-0.fc31.x86_64/lib
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  argmatch.c/argmatch.h/argp-ba.c/argp-eexst.c/argp-fmtstream.c/argp-fmtstream.h/argp-help.c/argp-parse.c/argp-pv.c/argp-pvh.c/argp.h/asnprintf.c/basename-lgpl.c/c-ctype.h/c-strcasecmp.c/c-strcaseeq.h/c-strncasecmp.c/close-stream.c/close-stream.h/closeout.c/closeout.h/dirname-lgpl.c/dirname.h/error.h/exitfail.c/exitfail.h/getopt-core.h/getopt-ext.h/getopt.c/getopt1.c/getopt_int.h/getprogname.c/hard-locale.c/hard-locale.h/localcharset.c/localcharset.h/malloca.c/malloca.h/mbrtowc.c/printf-args.c/printf-args.h/printf-parse.c/printf-parse.h/progname.c/progname.h/quote.h/quotearg.c/quotearg.h/setlocale_null.c/setlocale_null.h/stat-time.h/stdio.h/stdlib.h/string.h/stripslash.c/tempname.c/unistd.h/vasnprintf.c/vasnprintf.h/wchar.h/xalloc-die.c/xalloc-oversized.h/xalloc.h/xmalloc.c/xsize.h/sys


dirname: /usr/src/debug/spot-2.9-0.fc31.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gv04.cc/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/tau03.cc/tau03opt.cc/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/gtec

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/src/debug/spot-2.9.6-0.fc33.x86_64/spot/misc
filetypes: ffffffffffffffffffffffffffffffffffffffffffff
filenames:
  bareword.cc/bareword.hh/bddlt.hh/bitset.cc/bitset.hh/bitvect.cc/bitvect.hh/casts.hh/common.hh/escape.cc/escape.hh/fixpool.cc/fixpool.hh/formater.cc/formater.hh/game.cc/game.hh/hash.hh/hashfunc.hh/intvcmp2.cc/intvcmp2.hh/intvcomp.cc/intvcomp.hh/location.hh/ltstr.hh/memusage.cc/memusage.hh/minato.cc/minato.hh/mspool.hh/optionmap.cc/optionmap.hh/position.hh/random.cc/random.hh/satsolver.cc/satsolver.hh/timer.cc/timer.hh/tmpfile.cc/tmpfile.hh/trival.hh/version.cc/version.hh


dirname: /usr/src/debug/spot-2.9.6-0.fc33.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/gtec

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/src/debug/spot-2.9.6-0.fc33.x86_64/lib
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  argmatch.c/argmatch.h/argp-ba.c/argp-eexst.c/argp-fmtstream.c/argp-fmtstream.h/argp-help.c/argp-parse.c/argp-pv.c/argp-pvh.c/argp.h/asnprintf.c/basename-lgpl.c/c-ctype.h/c-strcase.h/c-strcasecmp.c/c-strcaseeq.h/c-strncasecmp.c/close-stream.c/close-stream.h/closeout.c/closeout.h/dirname-lgpl.c/dirname.h/error.h/exitfail.c/exitfail.h/getopt-core.h/getopt-ext.h/getopt.c/getopt1.c/getopt_int.h/getprogname.c/hard-locale.c/hard-locale.h/localcharset.c/localcharset.h/malloca.c/malloca.h/mbrtowc.c/printf-args.c/printf-args.h/printf-parse.c/printf-parse.h/progname.c/progname.h/quote.h/quotearg.c/quotearg.h/setlocale_null.c/setlocale_null.h/stat-time.h/stripslash.c/tempname.c/vasnprintf.c/vasnprintf.h/wchar.h/xalloc-die.c/xalloc-oversized.h/xalloc.h/xmalloc.c/xsize.h


dirname: /usr/include/spot/misc
filetypes: ffffffffffffffffffffffffffff
filenames:
  _config.h/bareword.hh/bddlt.hh/bitset.hh/bitvect.hh/casts.hh/clz.hh/common.hh/escape.hh/fixpool.hh/formater.hh/hash.hh/hashfunc.hh/intvcmp2.hh/intvcomp.hh/location.hh/ltstr.hh/memusage.hh/minato.hh/mspool.hh/optionmap.hh/position.hh/random.hh/satsolver.hh/timer.hh/tmpfile.hh/trival.hh/version.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/game.hh/genem.hh/gfguarantee.hh/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh/gtec


dirname: /usr/include/spot/mc
filetypes: ffffffffff
filenames:
  bloemen.hh/bloemen_ec.hh/cndfs.hh/deadlock.hh/intersect.hh/lpar13.hh/mc.hh/mc_instanciator.hh/unionfind.hh/utils.hh


dirname: /usr/include/spot/tl
filetypes: fffffffffffffffffffff
filenames:
  apcollect.hh/contain.hh/declenv.hh/defaultenv.hh/dot.hh/environment.hh/exclusive.hh/formula.hh/hierarchy.hh/length.hh/ltlf.hh/mutation.hh/nenoform.hh/parse.hh/print.hh/randomltl.hh/relabel.hh/remove_x.hh/simplify.hh/snf.hh/unabbrev.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/game.hh/genem.hh/gfguarantee.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/tl
filetypes: ffffffffffffffffffffff
filenames:
  apcollect.hh/contain.hh/declenv.hh/defaultenv.hh/dot.hh/environment.hh/exclusive.hh/formula.hh/hierarchy.hh/length.hh/ltlf.hh/mutation.hh/nenoform.hh/parse.hh/print.hh/randomltl.hh/relabel.hh/remove_x.hh/simplify.hh/snf.hh/sonf.hh/unabbrev.hh


dirname: /usr/include/spot/twaalgos
filetypes: ffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/game.hh/genem.hh/gfguarantee.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/forq_contains.hh/game.hh/genem.hh/gfguarantee.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/misc
filetypes: fffffffffffffffffffffffffffff
filenames:
  _config.h/bareword.hh/bddlt.hh/bitset.hh/bitvect.hh/casts.hh/clz.hh/common.hh/escape.hh/fixpool.hh/formater.hh/hash.hh/hashfunc.hh/intvcmp2.hh/intvcomp.hh/location.hh/ltstr.hh/memusage.hh/minato.hh/mspool.hh/optionmap.hh/permute.hh/position.hh/random.hh/satsolver.hh/timer.hh/tmpfile.hh/trival.hh/version.hh


dirname: /usr/include/spot/tl
filetypes: fffffffffffffffffffffff
filenames:
  apcollect.hh/contain.hh/declenv.hh/defaultenv.hh/delta2.hh/dot.hh/environment.hh/exclusive.hh/formula.hh/hierarchy.hh/length.hh/ltlf.hh/mutation.hh/nenoform.hh/parse.hh/print.hh/randomltl.hh/relabel.hh/remove_x.hh/simplify.hh/snf.hh/sonf.hh/unabbrev.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/deadends.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/forq_contains.hh/game.hh/genem.hh/gfguarantee.hh/given.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/matchstates.hh/mcs.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/misc
filetypes: ffffffffffffffffffffffffffff
filenames:
  _config.h/bareword.hh/bddlt.hh/bitset.hh/bitvect.hh/casts.hh/common.hh/escape.hh/fixpool.hh/formater.hh/game.hh/hash.hh/hashfunc.hh/intvcmp2.hh/intvcomp.hh/location.hh/ltstr.hh/memusage.hh/minato.hh/mspool.hh/optionmap.hh/position.hh/random.hh/satsolver.hh/timer.hh/tmpfile.hh/trival.hh/version.hh


dirname: /usr/include/spot/twaalgos
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/gfguarantee.hh/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/rabin2parity.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/tau03.hh/tau03opt.hh/totgba.hh/toweak.hh/translate.hh/word.hh/gtec


dirname: /usr/include/spot/twaalgos
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/genem.hh/gfguarantee.hh/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/rabin2parity.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/gtec


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/genem.hh/gfguarantee.hh/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/gtec


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc/man
filetypes: ffffffffffffffff
filenames:
  autcross.1.html/autfilt.1.html/dstar2tgba.1.html/genaut.1.html/genltl.1.html/ltl2tgba.1.html/ltl2tgta.1.html/ltlcross.1.html/ltldo.1.html/ltlfilt.1.html/ltlgrind.1.html/ltlsynt.1.html/randaut.1.html/randltl.1.html/spot-x.7.html/spot.7.html


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm1.svg/autfiltsm10.svg/autfiltsm2.svg/autfiltsm3.svg/autfiltsm4.svg/autfiltsm5.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-dstar.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-hoa.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-twa1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dot2tex.svg/dot2tex2.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/fagfb.svg/fagfb2ba.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfafgb.svg/gfagfb-gta.svg/gfagfb-tgta.svg/gfagfb2ba.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-oblig-3.svg/hier-oblig-4.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/toba.py/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut25-aut.svg/tut25.html/tut25ex1.svg/tut25ex2.svg/tut25ex3.svg/tut30.html/tut30in.svg/tut30out.svg/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm1.svg/autfiltsm10.svg/autfiltsm2.svg/autfiltsm3.svg/autfiltsm4.svg/autfiltsm5.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-dstar.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-hoa.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-twa1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dot2tex.svg/dot2tex2.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/fagfb.svg/fagfb2ba.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfafgb.svg/gfagfb-gta.svg/gfagfb-tgta.svg/gfagfb2ba.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-oblig-3.svg/hier-oblig-4.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlmix.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/toba.py/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut25-aut.svg/tut25.html/tut25ex1.svg/tut25ex2.svg/tut25ex3.svg/tut30.html/tut30in.svg/tut30out.svg/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc/man
filetypes: fffffffffffffffff
filenames:
  autcross.1.html/autfilt.1.html/dstar2tgba.1.html/genaut.1.html/genltl.1.html/ltl2tgba.1.html/ltl2tgta.1.html/ltlcross.1.html/ltldo.1.html/ltlfilt.1.html/ltlgrind.1.html/ltlmix.1.html/ltlsynt.1.html/randaut.1.html/randltl.1.html/spot-x.7.html/spot.7.html


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-ex1.svg/autfilt-ex2.svg/autfilt-ex3.svg/autfilt-ex4.svg/autfilt-ex5.svg/autfilt-ex6a.svg/autfilt-ex6b.svg/autfilt-ex6c.svg/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dstar2tgba.html/edges.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-5.svg/hier-persistence-6.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-recurrence-6.svg/hier-recurrence-7.svg/hier-recurrence-8.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut50.html/tut51.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-ex1.svg/autfilt-ex2.svg/autfilt-ex3.svg/autfilt-ex4.svg/autfilt-ex5.svg/autfilt-ex6a.svg/autfilt-ex6b.svg/autfilt-ex6c.svg/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dstar2tgba.html/edges.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-5.svg/hier-persistence-6.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-recurrence-6.svg/hier-recurrence-7.svg/hier-recurrence-8.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut50.html/tut51.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-ex1.svg/autfilt-ex2.svg/autfilt-ex3.svg/autfilt-ex4.svg/autfilt-ex5.svg/autfilt-ex6a.svg/autfilt-ex6b.svg/autfilt-ex6c.svg/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dstar2tgba.html/edges.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-5.svg/hier-persistence-6.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-recurrence-6.svg/hier-recurrence-7.svg/hier-recurrence-8.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut50.html/tut51.html/tut52.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dstar2tgba.html/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-5.svg/hier-persistence-6.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-recurrence-6.svg/hier-recurrence-7.svg/hier-recurrence-8.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut50.html/tut51.html/tut52.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dstar2tgba.html/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dstar2tgba.html/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dstar2tgba.html/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


