# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 2df53eafffbb4af6b555e9c80ff6ef8e0808ed7a
uuid: 8f35f02e-342b-4cab-afd7-ae7751a19d2a
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
ce6346b2d1a1bcbae741c9e7dd35a08e505208e0
b7ca8bfe854121dc23f2c6a6a8e98483bdb8160c
84cec9ee5b31129d47b782696f0448521116fb6e


