# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 229924236c1b45ba64c3256e6bd4e4b3ab96cfb8
input_heaps:
166ea06b876a32a5026b5eda3d8717e2fd0b6b7f
e24edf66808fa5f9ae0919ac709ff4821f2d16b5
d2ab5fd0330dc818c8f02429bf60998c0bf57e86
534d2155cebfcde87a1bf8cfc9c01c1accd97e22
070797bb36bf9e8d6bf2a2b6a852be90203fefeb


