# isabelle_session_info

session_name: LTL
output_heap: 816e6239b28fce7ac668075a6752b2c11f58e4d5
sources:
00fd14ca9b781c72eb16aec32e3f4e722603cdb5
73b789f172552dcbfb931dc71f5d8ca82a924906
e60517f902a6f65d17b21a91e8a840ff47ee7f3a
ed67544291c3b35270e03bb709338e31a6720914
f1454bdc50e5e17a7fe5bee3c7612c578028e747
fa409439279e5c4495a5eb9da524f2d7b591c8c0

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


