# isabelle_session_info

session_name: Formal_SSA
sources: 1783f169db40dbd4fecc0ba9050bd6a596f09f34
output_heap: 89baa74eee0dc722befe72a8f6ec2956af9fe817
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
0080e44b3ecb23e316a4a5a70287ccdee62dbac6
48f8b9ff4ef4e6d4ea5aeb09d9fdde3380a7aad9
944d9606626b80a75c987034d1d8157915dd358b


