# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 7d8f35a9c8e1390b58e0719ff950ab71fe9c3eb2
uuid: 0c36e03f-ab59-41ed-8c4d-5415deda99b6
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
7dc84cce36e99488cab9a50bde2c312f710bd06c
7deef06000f236c2a88881b76f85775cfb7a776f
78574ff29aaa83e039119ac4302eff1e96ee05d6


