# isabelle_session_info

session_name: LTL_to_GBA
sources: a008db30de5f456811dfc65f13bbdb3649b28302
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
e650868a8fec8e0f04be9c5397bdd9d9f03125ed
27471260a385ade7428ca088e4bb6e156c7ace1a
4ab85b266e4e9756142129cf2f6637814181d291
277f8ea5ac0acf96de5d8906a3351fabd4a61fbb
6a3cfa1fa561883619d29d2689b555253c004352


