# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a


