# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5f1dcc2e0c35b1aa9c4e2d5af54afc823fdd1c07
input_heaps:
17875d9ab39491b14167707e21ee07d18b9ca721
c2f89e2c128cd04657db1c4a339b6fc48c5ee4ec
bdeee22d78a99593fd0606f8e3daf729619b057b
62996538dfe70e0bdc2934afd4b1465e770e08ee
4c2268a3aaad4f59789f8c9d98860f24b38a449a


