# isabelle_session_info

session_name: HOL-Decision_Procs
sources: b998e84ddde955c4f884a35a93e959c942ff74cd
uuid: 51f6b189-3607-41f4-a549-c4346d00bae9
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
2779319898a8d1e1b25bf653450b50be2b524a7e
995d89955a4ca0af5666bcdc99dc0a120af3fd96
46b2ce11eda1f386473479ad7855eebe6b11eeb9


