# isabelle_session_info

session_name: LTL
output_heap: 51c796612b50e6cef9cc1fc64b49cb1fbae53aaf
sources:
00fd14ca9b781c72eb16aec32e3f4e722603cdb5
02693cbda30a7a4e72da59fbebda9da8acea4fcb
6540e6e73c439215113bb52c542dd2629f8a76be
ed67544291c3b35270e03bb709338e31a6720914
eee8e3ca0fcf28de481b458d7e68949f7f4ec678
f1454bdc50e5e17a7fe5bee3c7612c578028e747

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b


