# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 75b18d0978a106f4347f3a9a02f1f03861a7eceb
uuid: 2dbaca1c-d52e-441b-8e3e-f49944d55f0b
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0
84f87d41f39b2a50674715dada74c76aba5d3863
c21b174a1d46a488c0a2871e24859d6d04219d4c


