SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   e)l %/ DPT-SAT-Solver:threads=2elapsed=2.912cpu=5.280gc=0.032factor=1.817zXZִF! ]ŗXf1-/6vRZͬl #,Luywn[>ς[=pȔ=U**gհƇA-}72s;h8 hN7Ϛ?Ṵ ER09QQ/T&H^jpk5x3zjgYZ7zXZִF! 9]ŗXi%6˻h3r+c:J CRк2Jyv,g´ t,3QcH%} Ӷ*R* c,v m@&d Q.Y >LPi`Wp[VvE'"HGgb#\8[,e,R!.,X$>&SG:#@Mc.i[w₸Ǐ46/I|Fh(0T9dP3v3'AvZ>[N)=rWa ,H>*`9~/-RF9 5>cTb5WTܽa9njT$"it:pۜ8eI$/" :AAJTA#uu`7 dz`U9&?f+<\ =Qjz`eu] w{p_ퟋԁogjqeC^\mnѐ-Ad\8ҥJO]$i<]7vOA2lr:N*p Sb^dMgV7iqd;)JgYZ327572b9b7da9d8cc1b6e3e1097bb86421032e1e 6b38c92d70e4489174856cdb4867a140493ccb34 76bf90848b2942bd83708e9a10465f62ab0c767e ccc21db1cd7879ec3cb0e9729ec8ebdf217eb8b4 e929d2b578965b9bcdb72991d7f37486adec58df554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 ) DPT-SAT-Solver