SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 x/LZI{>HL`> v5J_eEɻd1,k@ 7 ݇ë?w$-}ϷX: ]!|&bR'sN^|{Dv 1O>#g`CNk:yfjE 3b@05`u'e_R'su f~3U84¢ݹLBfxP3 ʹd LQMՖ%%JD?JB*rw*_oSiu/ 4 uZ'V}zsG'vL~UGPŨ8uhcF)br.ifZװ Ձ3V1ԹO8Fj{ĪX-,C~ko\44S%i-%Nѻ%"ڑƱ̚E*"! ,mVԓm4$ ;t6)Z9x(k( Ml** LI5c46\T@0rq^Xt5342 q@*Ug'爦+T%'3|ej3">IFnSD_EnA)s\]HfܿQW3a%5:""vsNՎƁ`ewdN. ,Ń9򮻰pMd 7b Hk6ppI^d FQzCʵH4瓱)PKCR_UwkmY-Uaxc 4qP4w;o`}Ťpބºd6OO*d؝ԃQJ83[q)|< cx{׳"lIV{/ww>6V5kTvUm#KW}z|h0J^veTF X|0b@ Ļ`9x j9%2a(e^|hMcbNm=7DUk9ަI_8dF9AgXciLse~[;XmDeiε ɐ% X.'^t}#۝7O*Z>ax(.!ӬϔYaa Q#1,V7dQV`[QHHX5ayFezs} C)˓6T(Ƽ߳U%>z2A)[,C(.M[m6,b'kmzg?z'`eF{g {W]zc`٥8m Qstl~q|[q&Fdw(\a~Et%K'/Ϛт9`>ÃI3'v},(dOxFTvh|K 49Ȇ؄ҒWӭwkf0R;? g*Rڧzi"41X|{]Xl9W M* mgfU"rr]ՏU;*w.QŒ L~9v4(,Ou\J3*=a(YD5[n E}+J vvѸrI*06wmbAhj;ȃ m&fl?,kyk >ȲM\쭘kX&a[׭NF$܌dؙus(vfFD6 ZW͇H'f=AZ1HBD>iy:^h7vv̄|x|{(L_ TnJ"j X|vgJA f@;v*Wn0W蠊L-C.FH;d,gf~e,64,n9[2Siyt-8 f t"r*̱4A_aS!_&cBPxnys,%6L&=3E1ByK[C&4 t|cmҸp?WiWa&%W HqI}y;ꄍY#6? Xyg$y˼'>14 xfÃ=3$ [GLR]/&VZ&ӥh;VM5W~PJI}ȧ]g%:F"O(?R 9qsby`~P ~=?7sWV"~7-T*UІZ(g{&߫#цЪxooO{jδlCS5zhhŧ؎8BVv9 -1 TsTD@gbvmɽwMԶD=tgU '4!qWsМvF+I@wK+K.\Hw=v6DBl) !94g%jl ˍ3\Ɪ:~% 7B'%>j\M$EݞMnUUP lU(Jբh,M܈ #*oáC3يL**Hx4ƒd\`eq{ssÇ$^9HJΥͷ?4Pe=Q&5ǍZRALD-b ֒fFT uT^_cr9! <1jΪ\o#91t S|@PEdsbdeO ɲK'Q$@8XkWw)XKCvBD~GW)ɋ2 M o:ǦyD`̕ 3{wWMTtzh,cƩ!9CR~8=A !iHb0L=^,I1ICJ-D0GfFn)/C K :heo_$ݣ.zjmv 2NΟ>B? G[JQCT_+6`AJWI/G+9y4 ں֟P]=G7\'j$^EG4xĠZd -V]sǪz^wjE񣝞PZKr\bwoQ.rǏWDS'-r7D\snvJs!~@n^4㼏BAA" v&.H%OEYj^AʸwpBuvT,ȉK05T;EəÒЯZZe)?uВ'yn xVFEE=" J ҍ||}rOX)4Vܘe6#͸%ܙI]L7 |ȬbԜN[@ߟmdh$3 UZF9Zpu}xLǜ,[%Gɂ|fy] {saz™ѓ%$WC4Nl;a ajedXuQoa\hn\P%ݷrDQ0;(}{jm0;H&kz#nI$7uK^'#4)i[BFQ7Fk@u87Mۻ^o͍9z9Fb,ItE>L[&0,yJ!؊,WR |Iwny 7kk+逭ҁ`TqOZDj~{#oHdЬ?`E6;*aqnsX QWs S'Px)_FLҎ7QA A)hoazCuhEt վIpN+"=9ZJ+V5[ބqvOw$ťJ)HC$lFm]#xngo!|\+3E^Yt2{෬x3#1+A1̐xLt݅r ̦*Gpulp HZT-N@cX xpm$h#k-̯]AC?$ȲoKj=X4i] @#^ X@k;nݎEMx~?$QrӖ)KM/Q< Faps tz_*T@ʔN}'-9G;ߋʟbN$SQ:%zL8x,EĻ8n0'$ĤAQMŞs Cn3{I-MX5 °3dzF! ɝlY[e:?GOa[BC1?dlد=wZ~`N AN#(9&:,^f>}|Vl~xx?ʘʼ?7wQ0f ڄ B5A!н1bOjǍ.̂8  ygd&2`\J1؈<%RT4<Ŋ% pҹU\_>kda{BfRjK>l{/zr?#MuA<J՞,Ur\گf;o@rgKHMDn@\~B^'* )Tu3߾bv.|e_;[` ,Z-;Q a%1JdƝC RW&UQ$?, ï' '2bSax(h/Z:lò3`P kQyā=䉜Z_ %~15H|r:䬺~݁m]mۖ*EL&%A\~RfD?RWr93V0ەKíNqKK14mHy O e1J<>vwD]| !bP$yk68^r̐#9_NK3̋gמ^# Qi?B,8MGsnpr^ D gXmfJ42c89FwgX03EyYFZ$20xM)j$THO|9<y3dq2'<9AsO:7F{RgQyu8gA !Ô2'@Ą: N _ oͲ#ȕTSA0S7.0z&+U@eS:>ÑQ/Q"VkaA Ѻ0!QJ u/ͺ"1xltԾ{Y.G$S-uoh5FBzf6?vl1xE=sy)@rW![͖rgb ~6u2sP o 5GX*(we8q'R?Z GHkވa4lJ^@ iDQI?=)flEduZW⋘Y`Lx)'f9eATk9 ypuhA #La^~;\AFQd52ܐNܭ2ԩF4(]ϢQ4=9~:tZh*lHI{oF\'D޹ە38Ƙim8xcljbkej(QN!3|aZ(Et [A]>yo&(wt۴]G^T4l ~ 3U@U | /߯}wsoAhMچan!0KeGe  .4ql)f $&YK9#@eF#`;s׼jxT9V>nTa8ܩMӞZ+YA;RP:p\I*^H ʶցhT Mm^{0?A9^B"ʚ;|v/$b?Fֻ#Uv=I (b%rClٱ :+Aps]p&d9l_l=~z⣐WQ#ד FD_q l ~% oh}`^1*{QL 9r7TmEllXcslw&/ʢJ“Pj^ZJg'[S? BWy?=sXZ'\tDqJgL;-y(4򹝆X**x#[cZ[Hb Aq=5Rf{7'c\3#V$EP7Sat./,}Dַ^j?`7& V7ݫ`幛imhW4\,OłØ d2"we]:)Bo!u  1@,W2Toq`+NJnI^」O}CZF(5;-@'fbO34Z-'2LVr߿h4vf]ŶەO|ZfJܲ)M~$!5{aPgILK$W7kk+d3ΊfZ7r/İ.ϷsC֯%e3@h\SDXo{1oh]Iw;mpsPK?v;i^AJ _Im[2y7RP{h`s0A~0 QZX#Ǵ{9RT^pèУQ*n fΩ "VeY{_eL43w_ ۃU|ɇ)&Zg Us;/qpD q/rJqО//:4Øk\nR@E9hC*nHI!d Z)zN^}WLS$ptRASa땠GQCʴ/{)Y |N{уy7ya&Eq=U3JPM1hCS6+t5?f  Dir.r/*eY USOIv{vdO"gqw[-\C6GJ? :+6Uw@F k13~*0vsN 5Fa`4Ʋv#NjZ .Wy諰lg _8T6(*Y:-'ňXE) Yp#s jFUɧ 8ЁSоGKw]Cu"GҊ M)(Bfc+R KdJ __ی,\Utq&.ծ;75dRLZ m:EҰ C}0f}ꈄ#}V!*|lӀ|.2[C^ D[ô}:ax\"D\':6̹pm]' 5D8ޗjm֏aE9  Vq;]zCɡs$9,}ZXڧT=x⤟3\(ɠ1$9?Er,bKdPBH\aDJ7Z1dk1nAxxƺJW&Dda1VLdeք  $`͒})3.NV=tzMKCBs~Gf5[EAЙG؜:DlH1vʕu K*aZml7]X Y4KP.Y^ X.D{45-g׼|G*{+7q4j)ĆPƑ[os8]S`Ҟo0g~Υgo%@E74%:m];vL3KWn5~OW^RxeILC.P>@О: ˲m2h|vc7,чW`oO7\IYncKYԽ=2 0|ݗ6xd{$%'ZrkCfKatZ0%(5ZrSߐ2r>Q6Q }8`wvDpsY/0$BWo9N)(P 2FRp8\UKֶâHX מϑTlz?k{{j|B^M4זar‰ ςk-{`h7籯+ۼ_z#&K"gX'Ãnkg$2g #Zf)\;,z- ]${\yuL2kuM"Xb:ًh@" _Fpq@-ɸI;(nrK"byy|QG~d sgMXPv`Ȱiõ$ R]N$1 %K)1zvlԃ>}GZ^ yYG痗ue$6[ $9&Q%xi˅9SC8U2pa;&+oAkg d0>k6F ڬ Xx7EWD a]c5jb W, -Fl/%"#ř%@{Ԗ?KSR#n+ ̸ۣf(M4vOV]_rِ#Z8 |6*&$ _ 3&EzQbZ/;lMt/Ǣ !|~ %_M\z6l4 Psԅy{4p֌ G^ò>r0c]fe>-:kDjEn& {̮٥v9֕N_8<н*:O`@/] TQ.gYZ7zXZִF! r]ŗXi%9L?$f6q$uZy㸘 [L'RE;zT/8 !X[~WNmL ZR'Uxsk yO ARWP+dih3<`!r׊YBWw?7l%[&X[&ӢG #fCPFk[YTCh(=d䜏16}pzfboO%ܖ}|\yroc^q"N&E+GH٨µ{fa"B׏TR CZ{o-[GU+>1¦sAZ'9 V8C -I /Z5x,sPh|,8uii':1Ε"pNX0c'kqMA[u.[02b}P @g@((c,c0vL@ZmmtP[61L/bMAm%Z"t%:Sh(BZ!hT}7z17?EԋTsAZ z߯"pj$#j *VyqZyfcŴɹ^|Y}"T9%' %џ}Sym] C/>I/bʸF ,L 5vp.G i@TkB~I_|&qT̯ QB28󌐤O(T \(]y nV3˙>֝.uhΡ -L gM}aםD XmR1aeH)Dy6 ,˰3:RɆgA؁ilr5j[m.Jqn6s[tpX8(IZb0X(dRHe Ih!+{.i?GGJ4Ⳬn/6IaËk0p_g4͞@&`1 _ P@J2@r~+y.2U~<ǯy{l,z0~of5qVĢޡ&wh,CJĭՑog9zW;`T'/΃-o%v"7] GG:>ǒNe@R7):߶,GEbjܻ5nYf`7y$Qӵrm"mA򪹵n$oe}mr_-IGx"Ӽ><>1'v҂',F5@_NhPv;m&vaVp'~o7j'&RHX5{&#^rk+xz[ğ0\"$U<0$ k5>kǰ)DOhr9&Plj4]'*‹%MO ӓ-($xEWEl,VsuxmM_i޾mz`P5 >yQۣ3Ur;TD7MG:d±e"Iכn~MjY%-~'u4cprgцaS:VBl?cA)z[<|>%;*KpZt#f\2D9y{+{K /@۟ևTa8Dy@ʣQr;v[,dofCb"LHp zxI[Ejqkב[+tF+anvUzG(Yu8''>{֒ǭGvwM>RCv]LowS|&W%sN׷Oض-8W|AҤ,|ީY'OD!<{XcVw2Rmw哓uADqk$PRDȞ-ܾYO;k'@{i2UDjWB!bU^3 ] A}PE y#d^ # =-{5y~Usm¡xqql=6W% T4]r6$LTX5( *C9O*bjZW`]@#)+MtOw;}OےqOθdUspbށ犴 Ra9mr݉$>kDRqa6zr[GڤϾ~NzKAB?_y){v۫8UZh=nxXuY8ΗZ?r Qu0ɇ\IEP%tpQ.E2HRJmCUT$nbbwvz'գ:0nԅKzPLW¿LvVEi˗LNsXr0o؅^f1Σf@9 3b[=mh5)c [[UDB}]ݘUJӛ> 9o-7UjHK3 O!@7fC$>?j7fs5( uߒ BV֡k6EC|0]}(|EKn|< סrz+ YBTyowLiP▯p۬ J.?piE:Zf5r X(!)ojv@}E8KO+Rym|VLkh9%\dfFJ<26nԀEpq#;D[bpRL2CFzCf5UWds!474&8Z8rٽQb,r~JuǖjgSŕN- oc/- wS Q|fʶZP'Ϲ[իyqŞizOF9w5ˎuI}cFJd<4 ʲ5*YHms=p aC\ @Ԑ2٧ئ9C~a1j(iSNN \ Bf v;P-.J|*%wGPIY0;t+mUA~rWgUKg =6<_7yMùpXUh{hm̫'cr,?S[-~2\:랐if֗G4)ބ#:⿠*qrnl|]!}"b,wz?!5"Zr(y5gc<ˇ`q5&lbHO[:혶(*<Ί@*?8]8M?-㭫 $5EmGn-ba< JNЌ zt) [ Iu6bO &:oU֟JfпD"2iul]Yޛ%2M%CWb뼖p b86vhM 0ӄ6l{jǂç&[fXc9jkzgNq׃IZ}q~@HX(%sciR:OuӤOp%f*V#1=1- F=gLa [aw`14auGɱz̳w Ik]sDg% яP- 2l+4?8AXlո(TV=3ہv 37/ME$;ߢkb*}#!kI[j )즻j%U]2#2 I&lJ!7]W ii`;y2HB]IиBDi?֤Eb})i*Bكu05-qjG/`|xG[Nα ]u% 6%‘娇v<N[LQp%~rk- ,wZ̲޿} 7n I=5G 7qlND\ ۄ,c`}5؞QBW?1/rН@пWaOsuQE碮ƬOͫ )OU,%}ȦEo~~*Vdշ/H2w=#tKq3;@E0JK[,d֚r6:%exxD\)!-2\@[iPq7|<FxɆDvƔBهEp}%okBALh߿ Uc'!~D&̵3.=#ۈʇ{M}E.Ur|Fi@D7h&Idp לجv`1j@#ҳ,\h֡c"w\J4v'0͜NINzu^zGT4 b (jT`