# isabelle_session_info

session_name: HOL-Decision_Procs
sources: a9033971070af7b8f93702c30a4f31b46d5b6886
input_heaps:
6d4536567a2d054a471600bb1a15b22f2e4e18b7
17ad37aa59356dc3b6833c64a9451d5e4da1a182
6e1265463e5277ff22c4e0a02078cc60c5c0e6ef
5460eb674329ad6ab3e907df1f97ff23fd4c6887
d227b2cf6dd9f0bff0da89d2ea14ac8942e990e9


