# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
5c50fff35e48300ff10062e832c26a132060085f


