# isabelle_session_info

session_name: DPT-SAT-Solver
input_heaps: b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
sources:
275470c818623b86dc18dba449a112d165d5d765
6b38c92d70e4489174856cdb4867a140493ccb34
76bf90848b2942bd83708e9a10465f62ab0c767e
ccc21db1cd7879ec3cb0e9729ec8ebdf217eb8b4
e929d2b578965b9bcdb72991d7f37486adec58df


