# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: fcc9bc13d39579fdd4035e0ce7ba69eb89c63b58
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
e8a12258dda39f11da1727ed25fba802a5f8dc4d


