# isabelle_session_info

session_name: HOL-Decision_Procs
sources: f5e4dc4c679f3090bc147c53bc60bd563e7888da
uuid: f6faa824-3f22-4362-be40-05c776cd6f2a
input_heaps:
ba7702c126855af99502b531f1cc5642fad9a467
255f2c506c9d955748a5ac0e37edfa82969b4ab5
44d1d1ea000e17fdf2d7a7463ffe2e37eed0523b
4b4f2600797d40d1f06d80f5b486138480c9f9b5
007b25413ffe143923aac01d30b37a68b4ec7d11


