SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 !+ $ ]/ GraphMarkingIBP:threads=4elapsed=14.352cpu=43.312gc=0.688factor=3.027zXZִF! n]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokpG(i3 zA?g鹀R"+P*ݟ`GM43U7Lu L[*o>3nP#6۫TAUC>&9aI<"'?Ah&d @mYN yd(5Np'Z7u{SA|"Dn̪bp(2~E_*“IusUD a]q,['m4z eeKla1tG3m3?Ɓe6ELa[X(K/cI9_f((QQg^xφXzO1aߎsn |fTsW,#nXԹafel)o%Yzk^p? W .瘱Dy2ғSG wu^?n[EXbxakklOd`a0sÑgYZ7zXZִF! <]ŗXiɟoptB"5`'''?DN+}|Ǹ{9.c~n$"gH'D凞bu5w48*Lu*2rP< 1o}!FpwEsxsC:dY3ʉ"N^*뇵 4{rSPfÀA`܇Ǒݣ &ǰ@֭q~hU7c5`Rb284 ͍tz`0%SQ<tNmJ~:*΍F8+actxMi棉gYZ7zXZִF! doJ]ŗXi%I oĦ|K0LLBy`0{CPȌ*&ݍx@n9; U8[r)+xZIi=w8gqJn.plyZ+.}4q72G7{7Izou'l6zg)@'NzFF m;8?k*:(4'JjTaK)2 lGrh|-q_*xl:ZSD3*%ӼYk ʹ/qSicXks\Nk!+yg:+!ʝh 9$}>!eG4~`e%Pt;]3N3Òv Nɨ]jaإ^L֪ˇV`|'= BetWfQ/a0 M@[Ҫ-ɜ+Gó[2W}#2R^ހR-c&dC=Z?2B>T" >9࿇PLEm̢>W+5mLF5m+D!#{T+C?E ƦmQ= ݣU1-},;w¤T ,,[ RS# qڻ6|'^ؼ`e^7MTGEPcp%2oSMF?mI3+*S*@8w, Csbdixn'^4c|ҷ虯 3MXoc , o