# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 32fdc7aca8a52bd1036e7ded376ef1ecfe3a2197
uuid: c833eb6f-c6c8-4387-8a2e-4b87d865a70e
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
e4b4c04137d4034ae233dadccbd972e0005cd9db
6f4e257a2f5777bbad4a8adf13f3f1ca9dca4ba4
bdc3d93b97ebc9c639b82b99c2512190a2de7efa


