# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 1ddb3e0f6b549880596bcd3b40faff5dba8d69ff
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
1d1840cc4307bea4adb0ebaf85a4cb4b0577c874


