# isabelle_session_info

session_name: LTL
sources: ed5f9da4d9869ecd4d73be7c30479d8b48eb775e
output_heap: 3de4ca413b24bc9c0ae9ec2bd994aa9be9ccee28
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617


