# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 621b01ccdc91970a8af6abb54de9c40adb94724f
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
ef706807408e70579bf863bdccc99cd0629ff3a9


