# isabelle_session_info

session_name: LTL
output_heap: f392e5f35189de84ae344fa0d35679a2da3fc725
sources:
00fd14ca9b781c72eb16aec32e3f4e722603cdb5
02693cbda30a7a4e72da59fbebda9da8acea4fcb
6540e6e73c439215113bb52c542dd2629f8a76be
88ea336a018555f6a8fadb9087d78aa5076e90f7
ed67544291c3b35270e03bb709338e31a6720914
eee8e3ca0fcf28de481b458d7e68949f7f4ec678

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
bfd5848bacf97a9fb8952263c4037fd55861f6b4


