# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 8ea9905c3b7845ffddee2de12cd1c612b6c31a72
input_heaps:
c8cd0d03d02b56334ebcf7a76009d91abccf01c1
416d79e8a8c5a5d5f5d0347ba78ae6f7d314a26a
5b761946a9b1df2af2b953ba7126c451a913920a
e8803ac3df7303d4b60a557b6f4ac3cdccda8d67
badb143f4f2c4d0ffcc32ed65d3a4252765dab33


