# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: b768db7d5b3d937eb7f3bec13b0dab00ff121688
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
a1eb83cf718bad339a379052f13dbb6c2216fcab


