# isabelle_session_info

session_name: Minimal_SSA
sources: 33795a5c37beab20feb0aef7284a5dbf9f85a76a
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
8f3961b7060f32424dbaa7e9896457e45d8c9344
ea51bc8338c695a5af1b6ea606fc7be1970a812b
a262ae46432463d20a9a85065a911fecd5810038
ef78947fa1227a98402a570b9892c63540ea448a


