# isabelle_session_info

session_name: HOL-Decision_Procs
sources: d628b6a3300285af58ab270d4638f6df7cf009ad
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
5155941f44c3899c09b9f0c26be9b6ddf8fd1e84
073c24f64f15315980a9506eac20632da70f64d8
42e0cfd243db1b2e4203b4b4366bd9e0506c26b2


