# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 03ed861873c5602e2c6e0a75932521897d2f11f0
input_heaps:
b67598e9d39e25a28c8a4047eb4f21bcbde37efb
b943c91085d6c200a2f9eadeec522426450d9fdd
3e8161e3ad9c167f72c14cc19719a9df8cdbb71f
fa53cf05df296dfa046a20cd613826d298ef6e1c
54401c01b57c19c76f28646d880f9ecc38bdda5a


