# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources:
009cd995dff04aa39755177a7848350cac7aef2a
287787412377857da7aa8b46edd2f2c1f1a6e8fd
355297395124465a3a9e0f1c67543361add3fc53
3652adc8af2cf0edfbc3429dd8ca85e4d273baa5
44848df03c923173c20933cb7edf505c0608c746
5c84f98449a74bd1a05d5adfc4d07a5576b6ea32
a21363e5434d1c59f891fa1e26c68c5e4ec20600
a4be175baa7725a7f356f5654aed805054e2535d
b00bd43149a010db0a61a47c60f36a3f89b0fe25
db9051606a7f8beb118622a6b55f091efbc303a3

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
9f9685c5d360b59fd64338bd713701e3a35398ac


