# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 17e0260067cd7e05c5bda63bd993c48d53a9352e
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
533dff33c4b61ee810ba3a35b0a9be58e9502829


