# isabelle_session_info

session_name: HOL-Decision_Procs
sources: dbf78021949fc850c0c0c2aa4f55e1d93a5a569b
input_heaps:
bcb48639fbb7341b689b138997e7d93ac6626bd1
0f09632813e6e876e68176357986a5c1231588cd
0c96f85d64d6fb4c59da90a85084a3750b72d836
58693f1a340e8ee78c8492d2ba97e3240ede5609
289cbd8ae7c9ef4d5c1d18b0628f284f135ec9dd


