# isabelle_session_info

session_name: LTL_to_GBA
sources: 8c6cd6b59b4387213f57357510841dfa43310d23
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
56285ac0202166b2b1eb0083d14e25cae3a1ed4a
28ad5844aa33dee98e4062c865fb998af941b0c4
ee8d0db591bacaa5e0d32daf3e00d9b520760326
ae32f01483d79b8c881b210c86a56878c657de32
1694ea20944c2b836d782f39b3eec1fc1ade4510
da29619195203fb6644411e501334ac19193fa60


