# isabelle_session_info

session_name: LTL
sources: 92bd67e25f8bf1e65d690df7634a50eb1e3a7a69
output_heap: 8cd25130fe7dd4dd73f8492d734d584723cd0b3b
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039


