# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 38339c9b8f06a80334d0ccd8429398e44f9b8a19
input_heaps:
21a403e07266a0eb7fc4f07f6d291fb8aa815d1b
b2b2343c1fd11a884de7303077f1e9ff411e5305
4d03d9ccd21c4163be6e1820247c9570a4e87b88
3c1c6e7ad4602c74622030b8e74ff23d1ad56ba7
8b6aa9cf5addd2efb53b994c58f35860d860901f


