# isabelle_session_info

session_name: LTL_to_GBA
sources: 8b9a6f58ba6c5162d7275dab30a2dc3d102fa2cd
output_heap: cfcbccbd7be9c59d168a9ef8d7fbafdf51cb8e98
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
93bd83e52c276f6a960b98ba1277a702daf9e45a
fe3c60938ec6bbf901b209eda2eb638b09884ce4
902247109a588fc3eacad77b733e44a24a6e87a1
4a2ae468b0f2d53f1a1f708da9160803456c5fcf
3cb39cdb1a0bd99efea8b78810425dd3d1cd48e1


