# isabelle_session_info

session_name: Minimal_SSA
sources: fd4ddc76057a0a080177cc8c061b990dd33a0e74
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
59e461f778241d0ac6835df93c20c97556764092
d00ec3b179ec0e09d4f1ea5b7fe8a50ffdde7a9c
4a834cbc39a682ca4d823c0147ce17fe7dc250ec
aa3f7004eaed15ac0d9c87b5ead8c3937272c07f


