# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 96d473d54596f7542bc37f340e99e4ea30d1de9b
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
3a2a1fd85e1fbeb591ad13cc3e4e803506099a65


