# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 842c6483beb4f1833ae058c8aec486dc3bab736a
uuid: ed53f6ca-08fb-4ef4-ba61-0464b41fce31
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba
3fcf97d988fa880e918fee9e4a6afbbce31042ec
2884f6c9de9aa80e11d0a440dc800aefc5574a31


