# isabelle_session_info

session_name: HOL-Decision_Procs
sources: a37768a92315a2b9ee9dd427a823ad92688b6f2b
input_heaps:
c56e6b8d00b62917dc219d0244bddc857daf987a
8454751ea11f5c0dd5919b6257ca06ad8a493bc1
bd6f01ba7e618c19efbdbfe8c99cc9de7eb6f387
890af34b5871f6b7869df321d4bbd9fe9e6f7d28
0fa09765c29a1313d622363a3f3ca1038ff0ac9c


