# isabelle_session_info

session_name: Minimal_SSA
sources:
653cb090d722058bd4583f1cb5bbd9d7e8e00746
71a7fce19a7969a3ae045d5581d29bf46b3a4662
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
0b6bf360c9d294e321c171f738cb821c0903d51d
8466ebbd0c9f78b1ae12654b16bb281c4d878c57
97b7f300e0b4079e4148e5b8b1adb1615627614f
61ad62012c53fddafd4671f08053ad97ddce9639


