# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
a1d7c9d18f3ee96ca229c8186a64cc190f8db358


