# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: a84d0e20d8b8255cd8ebca2e842415bb0fe15603
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
23338765b8e2b3abb73202e2f9abaa5a27c0476b


