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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info *' 4 ]/ HotelKeyCards:threads=2elapsed=6.504cpu=12.648gc=0.440factor=1.947zXZ ִF ! ] ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kT33_R\`O|Ď ƣADtS-X LҲAbX^oqZڀfJ7dq@Wse0:Aٴbh?}R"%i?0B.ù^4nw?hZ~UvE #@S ʝy pv5[x\Whq/ǽyLᴝ~,.kHdTZsM C늗JfA/u]:ܑ:Wp5Ul8s_40kcDF)r%?fw Om% ITg YZ7zXZ ִF ! ] ŗXiɟ1˦rp0+7bOa\ CɍvÅO-pvʀEXPSojt}g`.w1v,5UUa3a0-vI<Hh/}ߖ_ཐ!NjWR"g0UӨ OIZ- dCig YZ7zXZ ִF ! 0A] ŗXi%; Rv<^/C!6/U:Y2}p*K'. {*j߅{褏n!YAܡA9.4I >_/RvLr:Wda0q܃;lh{Cao|A[qY+fp2ۏuKVڑxx|e^{iHl;SBǗKA@N-|:D[T!r%!m0EZO,zy˰cEJOr;M&7'dnΑgrXu4|JkͦW'农Ub?zj7h Ya^JWIٔ˘xQCb谿 1bE_4rayu]?Hݓ%HKI& ~T} \;j\J=ګG)M!.'J[|oSń*%="+z]aѤLX;grkLZ=^kH,ߧN۳ fvcw/l4,T4db`