SQLite format 3@ .0:  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 1 lOUJ[c W lаD8[ "5NRCΚ,|,\-g/l7Iv,wVYJa$| Rl@n*sx&_ve);oo &NJPniw.VYwA\J.=⍽ =Rʝ. =B65gy`m u(J@i& =XBPPߩ]aE>wdXQQ /z_Nhl "x3?oP8BZj˶ ЌpYI ɿ^ʰ@xZ`,(A$bh \5 UhOCL옰TtQ ew8H=J̻gJѪU{}q Oۗ 1\.%֎"fK$</AK އaEAO E͗NHr& Ǧ4_gd0m(1J2# ;lCWsF}딖Z@pU a/>arʑXNrlޮ#cgYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 MffoAD.9t8j@O.%pHRe'(̏(bNQSa=ՖXE<bni[*Αl7Wz=K]i$M{ޠ\.Z?k;b[ˌR"we~R/燘,n.Nx\5K!h=dcCi˱gYZ7zXZִF! \ []ŗXi%B:g F&Yѳuf2`;2g'^8|9SVn|3lܷY9r@&TgPsXJ*!k٧3< 2<H iRA Iq |(h/&4`&w+`o2j^}of${1 jl5.>$ݽçЬ<2Vug7^&Ϸ'DF'_!oݗ?af'ZPC9]ٸUxFWyR %%6l7n/s!³bz!}w_5rߛ@_X+ 3#+:xj47~GU?<-lB7 e-- `d$لp6P)_"afCK949nL3y5KD\MLW7he T#֋FI :9B ŞC9Rh?!pۚ&[;qT slG#r(F!x@ u)vy)iJyȫY MX_S'Ԁƃ(FIW{s')i¨3Oʮ95[\Sw!_gyh(rd3!WlSQ'P,#1m֢V)o -r'!9yxՖFc--]v㴉}`659N{:n!Q3m-K ˆ{?(R*u0FFԿg&z} L=-^|2i/ 9dԀb2ŧXwDN^a$eЮY}اV@AI%oP²uլPT?a ,8~-[}|CfLo88^kqHk!Xn k9[t\( 0򠬤wPb=bZ*Z.:WkMs ʣ3}:j ԄZϚ}:pX  4`j[ZrTa;IuO*Pp\XkOU?aAa3QP6 e2$jвXWY:Do${J{f);0 Er/ <Ē0Ώ,2Wm'ߵQdrژ !$FR?OiAJ(cLÕ"5h`ס7a0uDʉQu񹣿"M|} 4J^K[Y=DE0Lcf 2Wkc{O.P#by>fVɽ(ƳEbP$RM!I`KBY) 䑁" ,uVMLAp1#ФxQ`jQwԀ‡ oyodauo{r26F~tՏ