# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


