# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: f1b94d2b881056fa215369dd5ff64afaeaf7ece3
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
b26e5dced6e13722bd2aaa928fde4840e5341fbc


