# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1e8c0c8bf4280069c90b78377f61a0a8b50e9fef
input_heaps:
c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6
b2b478c28d6b0e47d8a42d61ccf723d668135bd8
ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9
074d41fa08d0278e84f70d5d49854b0b4c90218f
12d85de956123baa66c5fb65a4cb759a71cfb9ba


