# isabelle_session_info

session_name: Minimal_SSA
sources:
71a7fce19a7969a3ae045d5581d29bf46b3a4662
724b25b25f85031217c1ebf4946fa63091f7a44a
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
50aae35ad269b6a18f07ac9255be34e4e5c54224
20df2b18a25751402655979232e219e225f28d9d
a043da56277a0e7836daa4615cd48cd48e31c05a
3f375793035fab8ccf4e253bbe5929a83ed067de


