# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources:
5b5fba268f278ba7183258c9342e14a58de22b18
5c84f98449a74bd1a05d5adfc4d07a5576b6ea32
64529bb87426e490fd72a2b4959049dcf5b8acb7
85390bf105ef3b1e108183d7fcfdc11d2d29d8d2
97fc5b3685cb84efffc4870537058b0e7345f3f7
a21363e5434d1c59f891fa1e26c68c5e4ec20600
a4be175baa7725a7f356f5654aed805054e2535d
b00bd43149a010db0a61a47c60f36a3f89b0fe25
d8032008f5351284bcc0562a121d141dbeb5e1a1
e229f03e86c76fec26968c93fc30d04591ccdccc

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
ded2d72933d4679e221dc8ae8df2b9a3286ecbe2


