# isabelle_session_info

session_name: Minimal_SSA
sources:
653cb090d722058bd4583f1cb5bbd9d7e8e00746
71a7fce19a7969a3ae045d5581d29bf46b3a4662
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
0ce1c923844ebbe40b08861fb037d19007421337
409d2ec7fdfff483b241097706e2e941d1c9af43
54b36f44b82f7e6456cbb9fe4a132ffd157d1117
64dfbd7a3c6996dc808ca61e0f7efb6071d35909


