# isabelle_session_info

session_name: Formal_SSA
sources: 80959f50d7ed1dca88ea44f7cc0b69cc9b8498ee
output_heap: 625a921b37efd36602a420438eb669d3d2fbdc1a
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
dd820facb07e73b2c93e51e4d0b3041a08b59568
2b056efab254aa3dc851b0b14f16d052a999fa19
a290a4f5118831ac70fd5173deb1e8a9509fdee9
e810dde3b7f17767756717c03c5dbec62f052ca4


