# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 6d47079cf69023a42dada12ef50734559490b58a
input_heaps:
7f68df39d7677ebb1c7922c484946a4eec76dd1b
fdc78794ed38fd3aeefefb96a7c4fab20af6b100
28c959f68591b4c7632d6798533edf9197b48446
54ec8487480972097fd9e0a20fc97766e8435ad9
e990bdab2d768ef5b2d6b8c46f1f686a8b36b2ce


