# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 3f49de6b4d5a89b5318679c40ada05dfa1098f69
input_heaps:
11feaa6b69b3c952139da2ec72ac31efea97e58a
8b9e2980a54ebcafdd93dd57be4b4135e57e3a72
3cab9dff622be48e331e918053887b9659ea8482
0f4c44ad11964c8ff5971f8ecf3dca4aca7d47be
1dde24c30fa9a4b0158158bb3887747d4e80c635


