# isabelle_session_info

session_name: LTL_to_GBA
sources: 06c8835db0fc71e228d6fda37c12af914fe9e9f7
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
5325db3fa7c4c5cacc4bd4baeaa62f09ec6906d2
ec4a5409e5d335dbfbd5c358f267c13f62ad1a5a
9c98d8ec469fa30c047d304abfcb6470a56ad01c
e0598e7d52c993741fb0a5cb6cd499e5fa3a693c
7c23ccb73ce75aaa1c33ae509f17fe038eaf574a


