# isabelle_session_info

session_name: HOL-Decision_Procs
sources: bd0fab44b539e539f73d36d6b44db51016da72f3
uuid: 925cb411-e857-4e8c-91a8-2b1c8874e8d8
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
d121f1c3fa0be413c06903becad78f7c07ac4879
e5634cbc3e53dc0cb7ee1a6042ba43cf38515e53
3cf7166727f8d9037c3a309ef2c5cfc9b04b413d


