# isabelle_session_info

session_name: HOL-Decision_Procs
sources: f5e4dc4c679f3090bc147c53bc60bd563e7888da
uuid: a38316a7-8ad6-47db-899a-c98d718cd438
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
3c19ac5803b7e34cf46729d33d06863a37704171
cc09bcfd49c38275f48e9741242ee250381b268a
516e683b27d3b642a352dbf71b7d8a875fe0c7b4


