# isabelle_session_info

session_name: LTL_to_DRA
sources: fa8bde71f0d419bc1df2ef6aaeffab94c7727c55
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
3dd9c1e556f623c011ecbcd6c28bd674a67737d0


