# isabelle_session_info

session_name: Formal_SSA
sources: 01db2daef620f34509574bbe78937582c9613205
output_heap: cc9517c3667d27f7980ac71734fb277dacd51e9e
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
f54c129950e2fc9884f41f1065bf5c6a8b57d392
b5b198f46c5acf9d6d89d51242f80d87d5b1e0e1
61f142bb61db1fb06af0518de2c18d71a315db24


