# isabelle_session_info

session_name: Formal_SSA
sources: c5cf4e2f295ad344678b0bc9583406dfd761bcbe
output_heap: f52179ffd4aedb8a867b559789db728b56efd6b7
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
5325db3fa7c4c5cacc4bd4baeaa62f09ec6906d2
ec4a5409e5d335dbfbd5c358f267c13f62ad1a5a
9c98d8ec469fa30c047d304abfcb6470a56ad01c


