# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 29631c712eecafcb87958e057ffd5129f8633551
input_heaps:
f4b2c6d5d738b06d204b6be11a7ab87828edefc9
e7adafd6063385647279f71f3a5428735a09a9dc
8026c178025208535b6c657df78d958706faa79c
63418730c86bdc54d894346b9d13b01b51f43f8c
4310511e19e90b8e8cf27513f45b4418d7ae1f93


