# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1df91b8daba9d2094a3b6d5f39eddd4cf70574fd
input_heaps:
00257e3a0e8c31ed9cd42bba4b978a107ebfb35c
d5d0f42e084b29f8cdaff74be02785beacd11284
a0cb338802027d70e0132eb83b2630775e8a969b
3631bd080a21e080dfc51af4cbf9ccc06969bde5
b295278a2f637d7db2ca0a24b451f8b7fd31e0ba


