# isabelle_session_info

session_name: HOL-Decision_Procs
sources: d9906630d1b98a79f6e290d11556aa4696013158
uuid: 8d8af778-11ad-46b5-9398-acb6ff3dc9b4
input_heaps:
d0b0e1d3fca0543fc6f2e2fe2b9feb4c06e18beb
e4e0d8e376269bf7d8c3cd64976b6a6f15d0983f
76a8e4a61a64a44c9311611482bcd9e1b4b15eab
d5493a7d7642b2a9fd755de5501164a83ddbf071
90c8feea76b22be3daf49c389a0ad4590ccee129


