# isabelle_session_info

session_name: LTL_to_GBA
sources: b6d0406bbacaef2928772a36194e8e23066981d5
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
858f6cd8207f79c7ac7ddb04778d17fd495914d7
9bb5f26e1f3ecd30378fd845a664d648e23e2eec
6c5a22c2e116427b9151a47a5b9dfa20fb726fba
558bfbe3dfd6a5483279ba9d247f995653fc41b3
20da52fe2db36c006bd9a38b48f95e45f493f57a


