# isabelle_session_info

session_name: HOL-Decision_Procs
sources: f502a0f7e2bc269d73cc57158e93783812f0468a
uuid: 3f12ef6e-3ae9-432c-8cbf-98f0b1eaf9fc
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
31be90412f2adfe57820f70706028511e7ed30dc
6c455779a8a4eaaa5b13d3ddc1d1ae18fa18c9b8
cd95a9515cd942555fcceaed07f30771baf05172


