# isabelle_session_info

session_name: Minimal_SSA
sources: efb24654afb39892bae643e7e15a22a2641e2039
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
1880d5111234596dd78478d808d6e91056e5558b
41906f05da6ae871f7dd5ebaeaa464aa9cb880d7
d9f9fa1e0e5defba6d8d0b269f3ac75208ff0e2c
3e795c61c712520c67d29d00c309e040e112b9ee


