# isabelle_session_info

session_name: DPT-SAT-Solver
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd
sources:
3fade8c1a362f34969cbd467a98690396e52dbeb
6b38c92d70e4489174856cdb4867a140493ccb34
76bf90848b2942bd83708e9a10465f62ab0c767e
ccc21db1cd7879ec3cb0e9729ec8ebdf217eb8b4
e929d2b578965b9bcdb72991d7f37486adec58df


