# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 4f8a1caf343ce6dc970d64ff81c442b14d7023de
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6a753f5bba36be6a9677923d7a2b6c8b29d1347e
178121de66d3c787a4d47e8eee13806b0c597317


