# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 663185917c235149ec4b4745d60e79c83b455544
uuid: 4a0ea8e6-83fa-4770-8250-0561a8e78c29
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093
72004fc929a82f481c228479c8bb122279f25b5b
adb5f74c1fb78cf0c30af69c3426d9896ff81d58


