# isabelle_session_info

session_name: Minimal_SSA
sources:
71a7fce19a7969a3ae045d5581d29bf46b3a4662
724b25b25f85031217c1ebf4946fa63091f7a44a
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
b2d312af0499899efd129dfac8d55e9618d67906
008e680231f8175e0a1899cd5e9ca8f1a90003b2
52a3dec85af4a3c9a2602535a223636188fc5f02
dad8ad9443699bbf2755fef383614f8b15238f48


