# isabelle_session_info

session_name: Minimal_SSA
sources:
71a7fce19a7969a3ae045d5581d29bf46b3a4662
724b25b25f85031217c1ebf4946fa63091f7a44a
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
8d483940364623c1d30a3054bdfb97600aedce41
086289e1150ec46e778eb6b5a9ffc8ed2bb7f0ba
0c631eb2754071343cc41a6a6a6cfb81a4c0c49a
bd68d8979f90a0356b8b621029e02ea90e81fa06


