# isabelle_session_info

session_name: DPT-SAT-Solver
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
327572b9b7da9d8cc1b6e3e1097bb86421032e1e
6b38c92d70e4489174856cdb4867a140493ccb34
7140ffa6e89e239ae2f4ebeecefe27f9c38c6315
76bf90848b2942bd83708e9a10465f62ab0c767e
ccc21db1cd7879ec3cb0e9729ec8ebdf217eb8b4


