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   jdl4 ] Circus:threads=2elapsed=52.683cpu=102.716gc=3.996factor=1.957zXZִF! Hl]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j<3|CƔKC2"J]9FFAowI~D.$tmxa/t&Ugu"9G-/G R*WZFY}7Z6@eɇ ؏'H9jJA3W@Y_4d^V4 8 1E8b:b{pI⒈ KwSqɁѫ|+Hs9PvF E)a,"#`,o,sEЉgI#N 0V*uȂPޔjm.Mw,̊qXMˆ=L${9b9SQrǻĜ\tIH>&/  p:P>}CEjh kVB+ke^uSVU+~2FVB9-qz6Ȍhet߃Cx?ohXP0 MLJO?ʰl?Ɠv(V鿇NU$+Fc@`8C :& O{i,]oI6}}< B][.և%Rw|Eʍ^H&&]'&&2:}G89,YC3ʅkk?2o)aX/NjcqSd2O8rk#/!UP$m\FM,0:Lkk+PUeFzIvAQ۲lÐ-6{2DMw)Q0D Zfђ5US'xW/]vP&K^VCqKm}ք F-ToJi"//I6@`D*9`֩}||$s(2,{,^m>tH,qVʤeƤdC>C ٪QNv_t PJ |) 7@o(b*,8o'nG7~]K,iڣ'@>ڥ#.Yι>^autdZw[w*%(*hYZa+bywmz0p=KtOF(?"yxC/o&Su\ @(F 3gYZ7zXZִF! d.]ŗXiɟ>+yC, 26pzF: z*‹*:G0N)cr9%T.G`AfP1EW#`vV{V> 9dbȒ& u^9pqyf[IۢuW+s.s P-b#ꩇPx6~q9_̨ r Kk`~oA =ކ-nGHvųe#TxwgYZ7zXZִF! W]ŗXi%>ges+5 HضZ̝ JS+N\V:q@Wh?i3HcG,0‰0Y0dC x֎#) _G2(5k ǘLX4Ȳ aWs4PM S [p%IG2pF?p78Wq"1o>4 oFGOJyEW\C(:#AFBАcaE:oL,EFva2߃w7^`\" 9W O{ !1MW(BhxwU,8XΘ|^i8Kj:OCcOpE!$= ͬjLf0^0%{GM.0!Jܬ @6GݵLf_5f%ˌ}P1aYr=J 7'9geY=+78dYٌF.ro}`_wڞ8е0d4mo:6G$^g:%h -5 ~j0uaBC B=^vsb#D:@4Vqw@,UmoM=8*\҉:'Gٔ_Gm- j`4 ov%6i0| O bdE 7m'S|}U0u7M| 43M:Ρ7\A')pd}fY¯A 96y_cn䞥V`- β& fGpgO}ג&&iGn\hX''Kl%_[n#*vV5OloB(~ D'0;xP^f=^C5,5,Ynlyu(EglޤB%Vs[qhO,5ԸT&{UN̼<8Ix`<:G3=V Oo*8 J(RĢٿ204sA2:ٝDt🲣G^p4gĝ- rC|Ó׳q3qW9 ɱ >*O RS~Vr._ XE 4T %Sɤ""J#ö2b˟:Rw_5z*Bb)HjJX] E̛i2+t z@lr*pBFEkz.#e|\&\_$P+'f~fT2͙ݱzna㉁C=:x&>T/E5,2ю-[A@Tk@T}Я=Z_lncL+͂E'e*v8[w-umr@O7i1("RG>-!+Iy[ @>!ڇ,|o4gz/t* ϖ/H\!nAqfqe:=~R;I>b0!0F6NlN rln2}M*d7>Q@1&.af[1I&[1-gXmٗze5'>w\br*d&_YQx.|4> Ս>nS8ّK8(E2HXyLcbdreRoBԂP+ :ҞcQ?(;T{C?ktϠjCPR>@9Jֲ@ʗ|8'O'H6JL:&(K8UO̹^Ml )x:^;c #L=-#,UʍTqѸA{+8w}]t^pq.HQɵP)3:("ԩ{ryΖ2wËne+*C 9M-xl?]z|`ثo k—'(#H]#/X;*Dϡ;y{+`a8&pl]P\zP/sd/̒mMwl,\6SHXinѳ1J%| ZGʾL]Ѡ+_e R~2|_w#z ,jݪ-R+52zyE]rX%}27|7!j7%Y5ZYDu}D;^/45l[|õzm`,찗c@CfMcM{HNs1dH ޞnL#w˧5*?\ClJJ4šdQ_`}\ݻ.EDw kJ!_?ۆHw/'mW2zt  eSgb617nXBm]GM+tT03 3+5 45-=*OeaB9Γj[_.ZE r;⫾un^YZ-'p"k 2e%2*$ѕwD!3yU/B5)v]ӏ|'~__>ct¿_( &Yb猢5EDOOHb+.";n H|esrv~]* cp`lX5oQuE7N-Og. S 83 8K*ϡ«lծ2>Kih+sGg~]RB^rȃf.7HZcY5Ҁ6lYɳ%qWj@9; hIk^|*Vd+ꤣx(=-Oܸ,4?zOْ#A5Og˨}3B! )Le?Kemur@H-X_kX<(FuNjVD".րn;e0k]lS)!!;!q,"XfۯUigYZ1a5346a6149df821c85292444137306891d54d5b97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 d896252f34ed7d3b59aa30c718d9a966651423bb