# isabelle_session_info

session_name: HOL-Decision_Procs
sources: ff12fed5e7ca2c23ab6568924622648aa125213a
input_heaps:
74e744b09b63a313ef3c6c28f69fb3e17cd7369f
2cb7c328d0966d0aa485dd673e34df1d139d2bb8
0ef3f9c627ca88a2c540b043cf90b31a21d8cf7a
c69a917c7713463de56dc02e21f70f97f8139dda
2dc94780c809a76a5d3c49bd5ae9f858d4b28821


