# isabelle_session_info

session_name: Minimal_SSA
sources:
724b25b25f85031217c1ebf4946fa63091f7a44a
83557b288c7590a9db2cc70e8f422158cfd9ed32
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
1db62621ad4f2dad0ca02fe9208704a369236541
d07b5b96533f030260cc77371e642f1847a2d541
2bae8fa0dbed7010d9ffb7df3f76fa1ed042871d
03e373268ef57d54e1e2e6a15beecec9e9fed7d2


