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 | < ]]Word_Lib:threads=2elapsed=76.943cpu=149.768gc=4.476factor=1.957zXZִF! ]ŗXf[&MH-c*Z'@OD :<Y!?$5&\qF;^rc^Q"5+y\߬ʮ =|0Ü_:ņs bHTp$hj:CUp7ӲGBŅhHjB;wH7SmSl oNӪ 򺅧n}'n` ;tN5%M-B?ʰn?z^SJ&XEm+(I/1qӠZ9~1|""踰>8;Lspۢ]&Rn__@n(ae HYv a'*SUm!suɔ.%Wh9p ကXR"b aifӼX1}V-5#e7'T[X_mG`[u_u$ yl 8Qs߂:x}eh/\6?×]_? ss;Afِ/ZuSS[Jo*Cծ.NI7x..Rp˥e> >oBEsڬ2OFRHd! Fy09в܉1`^qibLj/Pb4qnZwK/<gEzC<-m|2^:ժ,9Fwx$7d{B$/݌yO^J"2l)7!ա6Όb/JEƔ28G%f9 -nbtN;J%\gYZ7zXZִF! sW]ŗXiɟϨ:}(lZnFp}S,kg)_8=\+*Vhku Pd "<C `/m5M#ԢvgӪ6q9y6 6~ۋH[ s$bn+bIF0jrgGc$wȭYaQPr#>_=9T纽1c. p@]bWŷXp"8WBH 2VfL*4c-:5NA$@c0|,VBӀKM3< ,.gYZ7zXZִF! ?]ŗXi%>gz3r *hh"s[sT )LLUdDro7%"b H-v0uXmwW E,ϭ!%iT5u"jeekQll d9Of`YP1JR q&Хt, _$K0.Y#$B U;)l]҂oqWm )Y4HL!)b}k ʾD,34qP_ȅ/81n/yO" p1r0//eŵαwY]\I{ W2T+RNI6ͭ wU|E Y8au'u GT jr˕a<hԣKDGisBݎgCz7إN,O ќG!/N6@ %䧈EAIaZ907K&IdO"|WsB@5*>^n"@}{P' kAL4l^Y!f<_?<%^7&AhjlC$Bjܠl Hx;dɍA ݘPW4TSRj M]M|,؈L(QMavQƤkh%|0}S V[|,o*f"2â<$cy30*p; Hg~͈v  z| /coI!?^[7@cȳuZ竑v  ~OGH b {dJC@V/<2ۙ3 C%qyJ53pFp\q"Du:WtA8ï]lVm!? ^~T;&*ȇ/zO*ᾕ~;z z/@J_tUVC:ғc Kzcy;q9G&. ۤ3LO,PYkY-: YWYOq<;?mB'/rT= d%PٙuQN3tra=ن6ɇ"2n/S0S̗L9ط-Ons1ko0;zpQ!VkW%ڶl"`Xcg"+b(xu-b,R(FֳǴ)$h9>ZC%7e9V7Rk^0KVRPZԹU!M0]Q{>Tfǐ\x 蔕cfz{ıJcr':y#Il>SYkrw1(]A{`\Yo\_5UN(3 )ㅋ坓G4bB]A [ BdhzGcT>WRu^|;N!AC "74O--|i5p NfƫY6k2_Ċȏ^MOM  &} :^B_wRݜlƜ:ı/SzZ_fe/O+*>Wn`GP3(4 Gر7x_nyyBO%9 "E$ &@&ɸoekm|Q7'4V3T":2i+REQ?=IR|08hG {^}mEi0^^ S~\ ޏEE@vdK5K@9}Y 97uYuʷaKH1&s0"`\ink3%/NU#)z9%ӧBZ?yX>\8Vˁ2(}~Ԑ{,!M ^^` K24ABJ{d]v:)k90WI4zn^ &(T0NMk@(>Kvtg*aScjq#=iaRalzɶ,l\s6 LH]}R ~:>OZ,{T!?.B;)c88=KxU[va*6?⩰IOn`7xfc-TbפV1%Wh\K@_}35fe(j]ز_tbוO!wt>}?GF*ܶ8O.dѧSګUGesKHGAp:[PF%u.Qd3o?|t"i5a9ZX:U{Ҋдn΃@ z3_[Ղarc)|_}R^=nn*9rQˆaAl6V(d͍OZoop^K%::ڰxRźgtD] G= EЁS#!܈Q]S}ωwy@LLWK8)1EOȃL/p+!R[VE,)aglC_ǟr"Wy)yq9l9>B$BE