# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 78b388a3ee0be1d1a6c312f6c8c4d91b8db9b895
uuid: 840666b7-b614-4c55-9bdc-1082dc157217
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
b5dd907c121bcff21cc1c1562d33b1bab21bbfa9
0f7e11bbd05936fa17fbf99070af712853e1de38
4bbb42ce2cdeb16dbfcf3f145d1ed7e01689b0f3


