# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5c0aa3c518527e5e592422db57cb44773c01b684
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
f32ff816bb533afa52f6ced467d3853e70a6c25e
4568e734f2ac9689fe1e61be109e82bf3e8e5045
7d62d6bec9dfe33de5e578823cee85cbbef13236


