# isabelle_session_info

session_name: HOL-Decision_Procs
sources: b605208c6b829d5d8d95bcad9e4462bc4869a26d
uuid: 77989304-56b7-40c4-b9d2-3a8e2ca91f2c
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c
7da0f2bbc0aad37c0df93200f76f2fb1acce1faf
7032f038ac7bb6b34d9d0e4b39f2343a1b4c1a15


