# isabelle_session_info

session_name: LTL_to_GBA
sources: dae1da77f653faf6bd50fb378feb66bb3026e412
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
388404ca9f9d9a44acefae5395149c5a7edcde3c
4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c
749960aee6aa2f60467f1ed97969bc17fb49410d
a1dc7ef0919aaf3c7acf5188306b562523a7b0ef
4b22b46e7821552423b402026ddeecc5bc3713e7


