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  5)L< ]/]Stone_Algebras:threads=8elapsed=35.794cpu=100.818gc=5.240factor=2.827zXZִF! :{]ŗXf[&RTX z>P7Œ1js Ǒ_Е {M@iKix 1RUi*Ax{jںn;X<K5Oğ=AIEB(2(~&?<)ޱR#uNj=ӷJ5}͌ Uq.B{ Ȗ6/6 eğWePAnZSMQ_Ug־ H;4nREc (Ϫ9t4ɂ8*SqOf{!Sƣ m`z)rb2.|}Pv+R/唎 q^|gK6#[թ+L0ˏƎ< .gALV$MXGMt-Gv!4|=̊퍌+Ȩ&I9ȣch9XdM qIpX|Tw^-!ƺ1G#мIp8ԋBOƦFBEPgTIF܎y;FdlQtHBџh@Ajq*MZ 5;,=Glw)>Ʉ1Ep*ERf.B{9 F1~nϣ20ڔ\?)rEHbV ^`5kN95Le@JVs %KXoqI 7Gbv ĀG@<.]Ls4ǷFE5MQiur%Y~xr>:&j| !۝De Ks9-h  uM gYZ7zXZִF! E]ŗXiɟ34Ztyܴޒ u& krCtm@c2mn_*QG0{A$cT|^A&uM=q:O2"Xӿ-Vʘd߰^ڧ)?׾"{$DboX_#B9-&kc s^DО&_D8jO3/埥bx' 2ScnWud叓d:Nj:X:qGCSG9)kw0 ?x# hERӓisgͼlk.,ejF׷0kޗlp3~S ̩x9Vr%E^"}q 4rKqr`$ȋ.գ6nc6KLUGd8G6c&ʝ89dj@@*35ϩmTPN0d teDG.ʅ?(q}x%s3=7MMk@!:+0ǩt[Ϯ|C|4e7Ӯr?̨+h5ҖHTwyixd}}~(pG=EFLfSLtD㰲{l2*VAR@vB>_t*}{Z i&ӔZTMI0>r_pZ[EI_<.{)pN8hmEҰ%.U):`sZD={=s:}!2E9]<>IƔ WNft RKۀA5Y4ԣ[Lް&~a:Z|ˆ`mi<z>nڪDn {\Mг5 3a^F7!yoDfn@{VmAgję^Ak)S;;1)4\S'%qvWVgijd5{lhJ*6ہƘ ."TH) ij`~az*v!`Ngh߮Gq(VbZ'ѹ|c!MsB_&niWXx\u\=Y1c> f(A~K;h63ĺ s9cW d"9-|jseXRaô\vL="ISÅUH$q3)5!`tU'Y AȀP?PFl o)g67ON:vŐܕ"B -qs%L8pZFx $dߣꦽ7 ݀DG#(Uq^A&&NJd!^0;P& e#$W\O#(d/W=C31Ե 8m[~2S)FYJ:$D쒩monIȚ8973[OtN} nsm]VoX7@AHv#`B?gUy 1)I' Mޗ7a).?GNRPVZYx3wܗ'+oŠUMR8xz9D]a4,@8:^uιa7hi;Bо <S@)K?*D HgǬ9Ee?UF vbzAD]&hF ׽U*,Ӷ5>'i] Z?ʕ௑c&uOMtUB]rK`!Dn1+v~LuJc?T5> ^(igƱw‘*Pp^bޚD!(-*^F҉ 5嫩pbMB. ΩtI *qA)OYA^C]{(1ArmJ5f?]p=mQ3kSdk+U,PW.btfl M9JBv.s.%GspR2S۶($T.m Z ^-m Ge%RfA7*.KC,V r7?یObgYZ5ca753a497240750894c7ce56d4d257a4084e8afc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9bc5f2fa4d8547eae00d0c495e05eb9ccec523ba9e