# isabelle_session_info

session_name: HOL-Decision_Procs
sources: e67ab8d4f5d90815fa1a1564245fa27193506338
input_heaps:
8359546699246d10a5649e935cb49d82dd24f91c
618d1903d75365a0f0ea3a2b0aa2f2792fc17965
b95b059e671640b4b28f15218cc1f65829a0e61c
704ccde83e918cf0ecd32220a253250f25520897
ac17ee76c7a03bbb7cb3f341b9b7d8faf9cf9b2a


