# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 469b18ffa96b6b09d194add55cb7eeec3ae8ad7e
input_heaps:
3cef1131ffc36b5267ef54e02c39cc49de01aff8
1f732b8f5676e409931f4b9c5ad7c93b8b8467c9
141dffe74c3653049f9a8c0918e4015b5d93fca0


