# isabelle_session_info

session_name: Minimal_SSA
sources:
71a7fce19a7969a3ae045d5581d29bf46b3a4662
724b25b25f85031217c1ebf4946fa63091f7a44a
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
0cc2527958cd924301fa6429f6d107b1578dbea9
9582519971d5557be05040befdb760b0ffeb95f9
1c7bda78acf17451a69513aa2dae29bbe8c96614
7641853619d6c5b3ccb2105e1eb0a28bff3feefc


