# isabelle_session_info

session_name: HOL-Decision_Procs
sources: fb1c28887c4a69108e0dc7a70238350bde3be134
input_heaps:
d2759733082b448cfff319a2231d0a2df2f8b2b0
2e8f9a63590d791f747e7d7cc375d115fd0ad5f6
dd8563f4b22bc7590188961a046246811dc06498
817c4c0a43eef7dc38493446ecde87e632ebeede
6553b57a5c12b3a3e63c6f88f6adcaa1469a59cc


