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 aa L ] IMAP-CRDT:threads=4elapsed=17.487cpu=46.868gc=2.008factor=2.687zXZִF! ]ŗXf[&5s^K9 aiinonܶ9/zvl \d=m Ѻ ͱӢ!>0PѩWN@+qtd(Lt\;: Tzz7rV8 63 us3hIʎ6g8ey^9?T=)SaSaQ!$^9Xs.aG )uQK={J83hZʻ2v!_KS^kؐ;Em! ASҰ~zCk,ۿt̙:x-[u0A>;:" %w KdIw@1>#aҰ hJg⿅:knpIA;*%gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/*ͽ8-ߒBn,)2snO (V7'dr)8:>Ά~mlX91;@e?DY t&L202?:̵CK0ݜ = ;l5>a 8gYZ7zXZִF! g=]ŗXi%B4ɟmSݎ&<{Bݷp;lZ\bBoS%"ϗ:V51ͺ|>n("NJCc. "$m 7k~DcMzl]} * '[b |]I9)qLj:=d/r ܾ58RAݱӳ7JX#VUCŗQ+}5S8 R/El N!> +efc"5:-(l13FoOP4jo'GYpC>$.*3[Cbʂ4ų5& ^11n@5"m ذA(W|K,xOXHmUz5  <&KNY'!-V@+R|-qNt+CD̗): iL8--9dOӠVkPuΜ*tA?T%85̍G0*^Z 8E"DIy y^#:GESyi7cU]s64Z<~Sm{.R8Sw.3pXlfQư|5"4 %Y0Bps-3d7t+A%̍ FdX(+zvD<S&W 0^ nbab7Q$0|Qk}H}{|cpvܳmrɪcvAZ@5i:Wev[~fF[Q޹>|5[| =Ǹ0z~aM=srZw`<ːMܜyn&$BaW4"':}VyD(MNGuFHmy @w]G{n^s7Y"s@*4N@BB>l!i^F9KEO hhr -YaT/<I|v}i*3KeD(Ki#jzuV$) ?+&㎖'ozT:xQMvDlђLK=7;N-*$?]4(8nyͦDa[Hl̪̀EɈq{jqoJ闍8Ntօg