# isabelle_session_info

session_name: Minimal_SSA
sources:
724b25b25f85031217c1ebf4946fa63091f7a44a
83557b288c7590a9db2cc70e8f422158cfd9ed32
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
1db62621ad4f2dad0ca02fe9208704a369236541
460ff150b2caf972a540d13a95cf6fece585d6dc
4a418c5d6a45bc397cc0516cf1325191ad4b6daa
36740e5f8bf0fa792118498538e1744eda6bd6ec


