# isabelle_session_info

session_name: Minimal_SSA
sources: 508ee14031e38a4d6136670b5bf2e08454c2ffd1
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
fd4a1de7cfdaa96338dbe3347f5407515b043eea
6fbafeec1e79015ba56735821f575f93f5df11be
50743a86349f365e1e34843bac14f4cf3bd32a23
34019e3c8b49d2b60eb7fc328a3ee5548df791a0


