# isabelle_session_info

session_name: Minimal_SSA
sources: 109929e30d1018ded98a6e89978e44087f91f3a9
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
1f5bcbec8f55bc0ed456fc270a580830373f3698
607ffd3c50e55ffbd3656cf0cf99269ad459cedb
e2dd09fa421fe29871b3c679b2f028468eab7f89
5415df35acf368f8116c18e9205d011b30199934


