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  d d)< %/ DPT-SAT-Solver:threads=2elapsed=2.960cpu=5.360gc=0.056factor=1.817zXZִF! V]ŗXf1-/6vRZͬl #,Luywn[>ς[=pȔ=U7B"8D<~ԟ.QoI-+49p\@U%i r`/4$x̩rNjf?5w 1,kD͉Tm 0haϣb_9u"XGeD|gEs{(s<O ~[5Dx#OuvL[GBkP!!<uJt8'Q|*,'Ů/-ľLH3US dck`:opՂQ20@esZH!?X7gYZ7zXZִF! 9H]ŗXi% NJɬX5yĹ902jƿ3] œ̾v P[H͌ >λhF-.:iO\0et#iL|ݒՄ GI.9ƆlZҟQúO2'pH r%W&̀dr8. 3~:a"KytNUn[dXs j$!TeȺX|:Q}E :%2St9~%jo2|)Sc]%/lp0z<'e%i?xEPw|6"ʠ4-0 Kh]-HX9|9nn@sw|asDAoX<EhKgݽW|@lj G7Tkv^ D+2f G (w+ޜYpQ1nhXiQ 6ZVe].gYZ327572b9b7da9d8cc1b6e3e1097bb86421032e1e 6b38c92d70e4489174856cdb4867a140493ccb34 76bf90848b2942bd83708e9a10465f62ab0c767e ccc21db1cd7879ec3cb0e9729ec8ebdf217eb8b4 e929d2b578965b9bcdb72991d7f37486adec58df728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de ) DPT-SAT-Solver