# isabelle_session_info

session_name: LTL
sources: 77db1013f2df62ca0b7e4d00742245c40ea1435a
output_heap: 3695588749cb9125f9055c5a7ec48a12bfa1e54f
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
d871d21db844b5c9f0d6d8f5752b75fd3bec4d28


