SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 _ dtd ]/ PropResPI:threads=2elapsed=16.308cpu=26.124gc=1.056factor=1.607zXZִF! k]ŗXf[&Yux6n8Zvk{CW\ ^Z̡gAAdտn ܶE\MK8bCy 4z9S⤴MY_p'أȒqJybi0`?NP8Zcf9qx^}9gY-==]Kv`~bM1a= LO:ѱyRl~4I ]IxoDIw~^_ gmh\yJ.G@snZ`6FĤb(uH_X(nB橱2ف'c֬]e /G`&wsarD)64cȊpn8/ p8E_JM qz *(#lPQ[倕-F=nY3YaA?'K0P#'-Y/>BXtK(FP*fFپ:6KLtZޑnx)Iv ddNXg壌kW)gmB W}UeLz@ixFh"?:o۽ h[exfH&Yan *_=r9 n'uUo@Cf~\J'~ V6o.8bMʻs4;1bjͫKG%d^\rJK3~g{DDnHe+]1kw_~M%q{}E:\c% $rE-/LW֪)&\Ogcg9#j))Ο _Ϊ*=Kմ{D4&;ʮg0\o8hYO͌ 2eFw^.{WZjѨމ)-ArK,n_Oai$7}4K3<ׁ(Ok9&,o%@!~G{s(_迫G%^]w,uWljn(wY&WuI9gfwKh J4oNi`Яd Oj#XWF =ո_ݕ"s\,L,{ݺ$`8 hp#ߏ5luk'"{/ JVg7# s(+ѭ4 ‰Iqfzi0MV+ʊ3 rig͈Ti/=M`ϲi8ksmWĔ}Y :hNRc%ɾ`iJ_ts_zxeLFT9YNu*YXVFW& ggYZda3678c8f6c8ca9e05a873debdec597adf31a3320779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f   PropResPI