# isabelle_session_info

session_name: LTL_to_GBA
sources: 7f3cbafeaef94398c35bf0922d567233abae19ba
output_heap: 8dc4bd1d4729a0ff965c964166cad9a9439fa533
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
c47cf66a7dd25f85d9efc73896780d67c0a94ffb
18c6951685c7a2319ebcf51cec66c7575088c186
25dbd0fa3fe11ccc0aa98717844f81a2a7e42b9e
e312825f5aa1a2a535fdee5125897da8fb355064
3246ca7cb3e40cfa504c176bb9d059e955d33d8f


