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 n#\d ]/ LocalLexing:threads=8elapsed=35.806cpu=178.270gc=7.132factor=4.987zXZִF! M]ŗXf[&!вH{+pmFCDqASʠ1]93bng+/&z2<ٕsv.ĉ$SG'|#]Q{N Xvjq`Gmh,Oڡ:)';:;H(kWǃfw|[ Ϗ8Oik\19lq 5Ӕ7k i;C#/Or0ɞ.ĹXAqș?l=O""g?1eAt3~M&*Ыq3u]Ps ]J4f^tF񷬼?*COAjR m(ى~ލ+5`pY }~~cd* ei?cOh}Y#ɑ,] i][R^Ztj.҈Cʛ*aFC$WwJ]C(iayiX;n:IW]o6/?ҽ'@$YW"*U`1kqmSFPz?)-&&ɼD=)gobZeq!gYZ7zXZִF! ]ŗXiɟ }@;(L\OQ3 ^t|8ICFzrTEvkU HKT#MIop/0h)XaEp*؏}IRZb-\@ûxOԻ?L썦=+Ͳa~E>'tMWJd߹!#RanPGܶMA\RLطρVh3H0elU#X'D5f:[c^ RS K*0Dnsswy:Q3N- }@3d 6.C;"UdvzUi_~2aoɺ ڔz>}4I&ۢT1mv7 d2| nڤvq)^hi:&7B ?jEؠ>q4vU*M\CuӠw@3_\zc?"YXr EpJeNܻOۃ$^/WVwư<>5#F6bZz3ZWA7B^0<2=1 GWRF@CRU0 ot n\ո TgZʸakSD>/9@3kϗ ihac+7&t..wJ5-@yy1`Efy4cVEa9[X slςmQ`|z٢JV(N,Ϋ*[ߔo7 ԓkr˲ޠ7?K2$D>c՚J`%#d N&q_L7KgE/^*+Seki]X{QNG Sn V$mɱJNܕBԪu[k%~X[ݼ* KNU+^_.{S1!Q "ڪs7E#5Ҙr[2C$z8;wi팺#Edhؼ줸.=PXK2@ a"~^W ]voak2PiֵCryv#7_DһiF!x[";"np` U{ӆS tdQڛ;$g 8ϢZ~EBMFkmLPF7*ß!ǘ<||p͔1qP&HSa) 2y%:%TmIP0񓽔w^1B7"8t(1 [MFPQid$Tn 6-@y7TY6y{lw `ʑ$J-+NwF7&l5\lwWrpHVu ͵a9D`)*cl%CLrtY}5XlO]l Au! 6z >ⓕ(ې'.+ؚݯNgƠ*NgUO%N"ț$THwR]Asue]E?g<nS*ūg~!Pp)G]ve -OVOfF #`/6 I$+1j3&KY &7\Yګ1%9g4e$MdM]grZз>* m fN "Rޣ8_j VTGG%0ݙaLda4w Fc7rtsVl+8EG]W)Q(h N5.< AT&6afMOEY~6Dtl\N2m4'!9N]Zd ƼYtqM9D2=jYfL4nj2vAR8H܏ҷrֵ! [{liFtE\_"/ pt\(Yis]Hj| #L1Ut7DD1G ew;R ɽL$# Zz_y 9i-N)3 B MʹyHJҲwdLOC=JB:j _ٕW$ [B50"5#Xu_N}|>ǿv-~/865`'rol ؓy֟)l"=SP}CW Tfw^EaLڑ-#7X@>3[1XN`Ȁ &-y1TG mصkL'a8[7qѴHyډAE%Ek.xm'z ]rX͵Kk+ Q $3YMUON5e*P«x9[xx;.G-dm] 5Ochd lI xL~cTy28T8Z3ߌ5n]>KRGl遹iG *K:ANCIPXVbRВˬD-BMZ n:UDP!J_B-LC?Nw]ApMgި5hgYZ3e476952993da297db2ca168384b1e62540aab51c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b