# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 0f9f026061367b08571415ee9f4c98bab1b23a2a
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
ceacadd6614d71bf80dda7ce2e7d221222c6fd61


