# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
190aba293ecca7a1fb1d23b827c0a4edea07cd47
a0957d492af30243cf330f0d428f85e0e2e5d5bb


