# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 3f49de6b4d5a89b5318679c40ada05dfa1098f69
input_heaps:
f8fbcf1d38d4d23767f8670a17792248e376e814
1a617edacd90b534d2c1ff55baa20ec4380b1664
486a92444d42b67ae2098416a4a8c810c7b6479b
58d43d5404e19a8f9f8e6a148f559f079c000e98
d70a1e9e502517cb36c1e7b97a072045aa2573b6


