# isabelle_session_info

session_name: DataRefinementIBP
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
1051a97ca4dba3e87dc5c297e2145aeb26f22964
2fa775cb15a07292c23c73502e8bef8503ea8948
324673fd9ae62abac280d9ea8acbee8da3831628
7ca6295b64babe5e108e5c9048dcbeac35b82a7f
862cf3ac8c1fecce1262b05b9e772d879c94fa33
9854ac0e00f34a51c98cbc66526d7c94fc510ddf
a61377a4a5503ba829c56f054abc05ee2e02754b
c98ee4ea2164dc2e1fda68947cbbdf0953045a67
d4a749e5a6f449fd6240e9d164e15c710b3368ed
e2b063405e84056d48c35f74dc2f5e30c318a3ad
ed0255784afbeac0c08a5cf550c22b708149a89a


