# isabelle_session_info

session_name: LTL_to_GBA
sources: 3b680c5454d64193f81bae184b8a466463271104
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
b3236b6df2e2e8018a5749ce69b0bb14cb868fb0
b776ab859f0056db5fabbbc4984a3c899dda1a68
db5c5beada1a438a833513643acb0e79b386613b
c13d27cf153f162dc6c57ff586755816368cf174
1e0b0c1ea05043e2b0a9d48ebb7ca35589126e7c


