# isabelle_session_info

session_name: Formal_SSA
sources: 1fea918989ab8dddff26eb3696243ffaacb6a2dd
output_heap: 673e43985a3c1db6178a59f8bb4dad3dbc67958b
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
7246ea39aa0f864f94c91a98f2aa32ae5acca72f
5f240b2f610d154e345395fa9219bc53ed7a31ba
9ab9e0fcdd1a962bb5d5eba08772a895e03113ac


