# isabelle_session_info

session_name: Minimal_SSA
sources:
71a7fce19a7969a3ae045d5581d29bf46b3a4662
724b25b25f85031217c1ebf4946fa63091f7a44a
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
1cddd12c4120c2310ea3898d8a358d72c9b751ff
d897491c3fc457ae4d3d53294109222f3c8eee76
9f99ccadfdf7f2164f003807f47ce8523843d3b4
c2ee8c5f30fb3e1a49b18a1bdb54bcb2a1ec8b74


