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 vv << ]/ OpSets:threads=8elapsed=6.087cpu=44.505gc=1.406factor=7.317zXZִF! _]ŗXf[&Zyq1/F˹1`2WS^p-ZmgvxfH8K4MpN;aJ, ͭ`s)@4.(~̗c w4sto|![RʃOu}!oTk xQ[b*&u /=kR2q_> 4hlX#%hV1^Wdz8.wL:/a&LP@9$(6vᓬOƫ䙌): @tG=V*鈂?Z֋ v^q%.<_u1|szP#wKB8ް!>zfϫ9BC?U7obТ4` {pbf'!ϴw5:\:!4 a<57jMc]MEnr[hԏU0KGb|L"PMGh>` Ƭ((Q~+qHt}ovvѡڭ $aN]^z:kQph RQ^]ՠ>.y>'CC= ĵN{kd鈿lKZe6e4^zTs}z WtF:#-\]մeި`UW-0$uq'h>]Р5HF{$jpvs_H /ڇr.%}yqR#FmQ몦AV3ѣ\ M s'&p5㎡Q"5N$偟 qvfcړ\WVm.E)rSV+/'XQS!T,:[ 2akH:=3<&_Bu4nx.-@n,Yts/gR7drT݇^|S.vg~sa#<?RrRdeJXF6ӜXKE"}1³z-$7SZ;CG[Q*X-6Kc2;/fW(`D[m6Wxv=0H4"Ҽ0 ~̤%0/dh&Ck<9T CQPW"ameH &Yf}܄cGБew)}DŻ[WT_Obp2âԑ_K!]