# isabelle_session_info

session_name: HOL-Decision_Procs
sources: a0d36339c32124a40985ec3dd5b6873b1c5b576c
input_heaps:
eb06bb30852b87bf08fc9bc974d190b6e06c78ba
540a2732a3304e44cc5d86f9c84329d38f7892cf
d749aea517fbc06a61631cf5289aa51b1581c100
72085341fb257992e53e20f35ca9b7298d6dedd1
5b9a49c28498b56b1bdf8b1d20cf62f17e199152


