# isabelle_session_info

session_name: LTL
output_heap: 127535f204c65fb46bfd62bcd1a86a232093f8bf
sources:
00fd14ca9b781c72eb16aec32e3f4e722603cdb5
02693cbda30a7a4e72da59fbebda9da8acea4fcb
6540e6e73c439215113bb52c542dd2629f8a76be
88ea336a018555f6a8fadb9087d78aa5076e90f7
ed67544291c3b35270e03bb709338e31a6720914
eee8e3ca0fcf28de481b458d7e68949f7f4ec678

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


