# isabelle_session_info

session_name: LTL_to_GBA
sources: e6e7962440b0bd3ecaa343bbd5eb7972ac9fb6d7
output_heap: 73c32e106199b5ff3bcbb232500cac55ef1c1d56
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
1fd642830abba09bd6d15d3f602f5a4a3532d181
dbbb8d32e530b65d3936663b4b5725e0980a93b9
2235cd6dfeaba7185469ae5dfcb3d80cc3c095ea
b54872fa824ca22707b5de0feab4d32ef221e973
2f193c58abcc8dfd70582de3cb69947481632a4a


