# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 77158ed868f3fc2dd96a208ce6d3a0225817fc65
input_heaps:
6efeb224ffc75fab8ec850f4826a2d863a08be88
25ecb723e4a4ebdc4e16cf93f7ae674a8a95cd2f
b4f2fa0a5ed6ca27cd36024a80ef87b9e20912c6
65a5db587b4db82b997c6ca10a666e20f94cbf19
1a264b658bdd7687dfb9c6979a7ac7850ac71ea8


