# isabelle_session_info

session_name: Formal_SSA
sources: bebbdbc04675a2ada168040549496073e2c8bb47
output_heap: 49bafc7962496ca56c39cae4ee0948bae6800577
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
0c5953b692bcb2b87f2b7c3ec7795d09827221c3
c532b7095a0f58e0e717297c78a6a9f54ba5ffff
fbcff36748cc8aa22c534f535c07142d48b83fed


