# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1df91b8daba9d2094a3b6d5f39eddd4cf70574fd
input_heaps:
994367ec2d1c78d3b943554e9d9b199959eb8dbf
b8874a0591f2f25a4133661dcf87d56ad6cc19e6
8b60965a2e81861e87197b3ed09ea983e78f3bdd
9cb303380af1f7a18864b65c38737ca61e7d5b98
4a487b7952a99df69ccdd578a63fb175d721895e


