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 QQ)|| ]S]Incompleteness:threads=2elapsed=676.814cpu=1109.180gc=23.948factor=1.647zXZִF! n8]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0atiTKI%Ap*D^In>"gbbvaOhX%XIKks( _]Ƣ<Ӥ=,n}x^M)FxƃԖqfr7r4JJLkJ=ӬLT*@-z9e!'?s.r6 P^/S; W[m紗GZF_KJwuo^ӸH[O*lCFj=풬 `܃ϥy 6lؔ">q ߲"Dq3t$ Or]B\X+/W3%p )ěy)4ԜNKy?~kWX\+l/A?$G1kMS#SvȔkQ; 8jv:n|2}H.lVVcfz#r #F.ڼԍ,Oc||f}-*9ٛRӋ0}79s~hs: Lι^F@Ka׍ >zN:L B˥0yPS0BhHƮ pw 4M?,Oʆx^6< !uX,5psW $,@KLtO{b-cgيTysfmhQ5 p] W[^K>Iu}L4U`OZ|}T?&8_ Xt[epA0䊛9`O!2uI.| 7Z sCb|+V G A)q;{z=suϻm"AYǐB幟m? 'nwU:mnƋ=#v*@K j*$ 1U*Zq9⸵3ZiMwwc6N-o(giBoHo"h&Zrcgs De޼)OI7u| ڑϭp'\_X@ɍh)^; jxϯ,L~̈́fTR|}` XƔrV1|A*bs)CMav |Tw{M!rw*<(h[T|jvKq0 ܩE죪1bVfOWƩV=m o{`LG?J41~X*[l i۫u'i8:v;l}lXj 41S9Awܷ3b! ňLSW3#G@>ƤZ8wKMpm >-eGhԦ,j.oFЕ#j? &P`UN`0YX#CO<DaqlU[W4K U1yG/ X/?Zv"Icł>[jl&G@wb%! iEH5K{sCVu=D}Ȟ5MPF=M^=$olB='!+?CPL2xi<9pD{RTR>6oyTXŷr FXC}4*Rx/Nd3ykvti˙mmڔXfFo!CNe!yf>Ex-eLmR!jw2+ a960FV?#e 7I?O[Fmm326YX*`^m8T\ṮzgO_P.jGXK8p/'&W؇3WvQo =ݿƊM%ޜ7nKRpP*S}.F).BtĀ?r]vdՀ8a؜|Y_-g/hퟮi2!$&(tW2χ`ehEUkznU>՜ߵ ¨teb(-#eܾK1 " 82Z䙂s ȝ*E,w$F-/:8Zwٴd󐗯еa;dd_y-LJo6.eܾt&UV-N6 pv`Fwl ԜMcx"˲ظ6AE^τV+4#ŀ'q]˕z& \Vh;H|sv sHT2cq/9\kɈ6M'{`_EPD5[exz"^mO53_;b\+j^=q|nLMPGJ>:I ;Zco#e<VLZs|m*զu6uKt&dq!} `RE%k= ) Incompleteness  uG _VVLZ[,9 ^8)M[yp Vx O a G8zUX{eBs"Vַ7M>"vjd+0a$Cux ~8?-GU$[Go! |? ܞ;A/sf944.uV<%B"lPS =k2h}@O/OA&eg_5@ y Lt"3s)say#~I%LRӘKyʅGhcT({jIGS39Y * ON"* 7yeoŢG+=^īŤlߊX\m9Sbrтgԧq? UMnn;sX_94pWw/$5 3f}wtz]t*{1c%[bqNџL|MFHv\y?cOʆTncUv;h*N{ D^rgD)b$A~+o.\6P{R;ҟ?Z?4t.Ŵ7-X5a+L_h`f| tco)|/ |3oإʹK%+6$('Тm/.B T\ S,^sl"/VģmEgʱyIf%L@ $T| 2l`$7e_"K`W\k"ұX^YӨo$.,^ȠѵzisE8U3PoTeLuIg (G|f[ʍ?\ Lr&y-PdPT{"p. Ht;ިY`Pc #d:9jgqUw}!*~hH(7baނ<7U 6WTy-dza)%aZciJ\d}Ӽ)zm1fRӕDYOֈ+z5^/>,:gj$oc+ RD[XѶM`ٽ5}w*>5dQ!/|_z> wlEEžnk@Hf˭3W;C:caY2gRc 0j;rHH~z]٠{I Zץf]LFwTX%IO*N| `~'g6'} @Gl /{U3dR<ҹo5c-ێX?g-Pk^k'~ w]1}M .͗qU,5L̂HO|{Q(DCwu 洙] s GDHF*WEoD*G=礮1dُ"`u0/quν a${8D/rgw91P~:TUv h3Ǘ3`LfX,J06AC&K}{ <7] s1X#Gނ`aikMBZ 4cU,B] d P($ ۴aإBKƠs*QqBȗ&&i5o%ilgХ[c\iCO k&iQU+-I>~H&l"?Dv)e^7ᅨ@v#mƟ &ɹv`7:S[&(98XZ;\L$2rJ[ XurFg j؄xq_fV 3Jk7=nB"_W<|l<5^φ?V/]?ž)Y "r]7\3uʦ+[b?l^S> eŷ9q+^yn6i3'ϱIW w8WZ[|֒i[b ^*&|YIA :k3Ry=F(V(:Qv]*ɾ?zw$JtcS6̛4EA(5Aфdiخ"2A~Lk ΠkIo`͞,휧Va] +5A knb.MsDi)vp͜c3yc/s#E<׎!obk{ݓO0ZXB|R\RR#e*u8%۩m ޲ER^niÃq uT/tېHhfXvPj畻,tSk[fTF.P~H./̿؄@FK\QAgvW=ʵ }XK ҥ9`+z]1-O|I zEGj2˚~QW*((T8)ogzx-b)Ƹ}4x--($X7)REj'$:s]gYZ7zXZִF!  {]ŗXiɟ頏ā˙مPn /C$EVRI' M@@b(^BgxPšZ u LCUXd뉬#r8O k.%$15iRẂ3ޏe(NJN3]~Ck->uiԴ,%X< iI}~ JTzQ~ {WL٨"ru(t #}M&>Jt-:?Aן96v- y&'u^4 ~W_] ?>WO"BS@tW%_QAS"5|mdF x g#;U [ gYZ7zXZִF! }]ŗXi%>g(7k[;")g n0_ȚiMqYEaw$܂CC ؟~ie0#M{U$wә2nroľîŗ9 4?YCԍd8hT/ߝ eüwYp$9o#wbu̕L&$\Kb>5QT^X4S}܀8מ.?ڈ􂴦n(E}mW @/ ҇yeJi ?or{( df+@ieY~#w{ٶf$=.*_{!秲.يV;.B&vHHV`QNb68QY(xu1Þ B[_`aV{-R)Am hgWw#f?`$ǵ`0}GeAO¶,k=pHSO<٩S3ЧԚӨv0Hd+yIqANӖ20ъ`I/AOLy]@eM|Vp ӥSXi^Ċ͹ɋ&Pkx U2#6b;G"q#9GT0C$,b/Z_TZ|lhA)켏_pA#})`\^[vDh%9"k4"@W!]}.LtezQNtxZhs܉L<|`$8y=AL#̈1W.ٍN#Wﶶ|ɲ̖ȜCQRmRwCoPT?d]'$7F4k2v^-`|)2èb}KZM ^NP/mfyLФhSm?R jY:S#.7ǟo|,9{G=7y)c Ȳ.&1M8E^Tj,P@ΘJuBsC["/W M{<c잽D#SjS"M1XkC] Q8k.QbK4>Cy|iӎ?VWF l}}I~s)\ Y&/QQޖtJWǾtmꀠ {ߟ"Jcq̲&?\s+æB׼p쩴C>MU?z;ky{a݆P3-J;<2/^}gWŁI쮇^}o-\?$ƽD~˒#F9|c[!*:fޞC}v}Jv>rpv!^]m@Vz$jg-tb O%Zؗ$\EœEȱJz\:1XDƥUFE-C 1*t{B^g2Gc'O b|-75wl1uԀ4l撘"tPj mi}v0ObHsq;qx|*EMػ̆L e)zmz5_ؗ%(8Mo ##ACgpE\!k_sPbt`X;RR8 RKB~y14HIk 44Y6wj% vst/< 5-l3cw9८0A(Ϩ$׉%! 3·9=$ Yfk]ϧKwLrM84_* &ݟAe'/LQŜex0X>6-eZEbeO!i!HfGcG_t̚_+ˆ%neV0Mۃ6, iچVa3t/JYԛo(r>F O@JM 20xU[ |d&~᪖݋+J/j[ki 5ZK1WSPځF$-̻Hc+"amQY p Uk"e)m7 ݅CUUj ÀKó(E䂉H9ܺlj<~x=EDlH:~X \ґ<$i}8*껆V[;crk$IMR}1u3|T3 t>ZTzT aFtc;b#jo΅NsGEX 895H%qAJgԽ@qHȒŽ]onyA/!͏%rDǂk)O2:BtgEg,LP7r6'0~%)l1ݎ_&F՜aH{_7[ֻE -,W+&WE51Sʧo}/Nąo5"}sm 8:%G« $1ˎ ZɖbgUv}e8TBs_dkApq~d&50dmo(/vK3wJk0)@26)-CPzl!겢SdM9xͲV%*=zfoAohzuB/z#% :inÊ1:?Uzs٘fɑ%^Y&,%q6mN zƎBaBM[}}w.ļK\Dcg'&*pv gm|YRhh2RdcE4:k +s}nh DX#=.6 J˖n7壻0஼%Y NW7Q1[ԗVt|2"ȓ@iYEb&XYڣ-Ӹ3!!sNL_wϾR5<AI ;_|'#zƖEm5~ ⱾT|[ a!{ܖ/\xpT^4gTs ++' f_u)Ď$ڝ{f\o)G#VI_&}lb,&zx]> l?Qeĸe {-pFr67 /:$8)]?vVi;!=7zVYc5JPє9uZ^MN\޺|;\FK5{UsJ WFDl/vEWP;d$Po˧mkc>XoJ`#Mmz ͶPIc Ěd]rF j"46m*g~[oi=?}f b+{ZYx:i<L47;]8gb7y@(sac1uf!Yp^#/ Ba*3}Dc. z3ro?\Z9`l}F >AyOCӹԓ??cDzmÑcMܿVN ±Zsތ ˠKm+r .U];ZgD*18hg+cY#L c~hPSת&x]7A{)_4.% ;St]\˰5\rlgY*j@ `}lb>y &0]$>#;AZδ >|րdqA"U Nal5r'"a) OStdTGMA(rC R-$xBc!܅m?Mnž$w [˜yzm5l0G2 % q~ρ3oʈ>$/!Lf5 %)bWY9.-f(og:2<ب;f*UHD*sR5N#_ L'G߹"@c3+o2G)W<+8>R)WڪU1st[]?ԢtUo7K]}#'9om~oXـ3$.Ne:¨q B՜+yYl=& kYqjҞ -߭_"I enDfY;FHX!('VA_"kyz A#zd)V3;16wKԚT.obؕdCEi6+0"Z^hqbO8kc/'Ncoalf>̬,ǰ\c@9]4@?QDd`--dWm0Y+ N_r8OWsѺL ^ƻ׼a8>i;p0K nOCHamXZ\ ;&ėy"lAY?ZP,^5d~ 6ד4ee:3䯦ձC?!4z^;/5:؞s߄S[s]J[tbAv҉#IxHeqXCcD&gr>|H%beVoG}D݃{V0Ht |tt6 ёp8x@wbwIhS҅"Sܵ{ _۲X`Fɶd>&ע*1%G9Lz Nu`AfdsS1%a/bT?Q kV>_NY$~HcT$`.j 8Y*poIӺRkAZ NSPUU~a`L ~JEL7`62͹ RXD8X'+!Zbԝ,j#=l3K7=lnj>G\"Z8;e\A.c CCTLnė z` >rio1[ P tv3?Hz07QgITG-u&u#ȷJ:$ټ/ lm*eEX^l/kBQ)ެj >)Sԣ[l'4m'AU?+6]cEq}@ZgCAdmESbgFyjXtxz b\,F3O[X/ " S\ف0`Ɖp}H]?v\ \^WVMCZMZ8p1h _:0XJeX1-vV$}jB\jey+Ŋ|EUĩY NbEƽ?;dHH" \/96|FȞSX!_Q-VmvSKa!bڌ_n沟e f Ԭ"|WrGBg|Dm@ E>XXUB'9:BkZF-Ko/QGJNb!}?0ŋˋxLf_ h]UoŽ[iXQL*MEoyʺ5]W.}͌Y 2T~# `ȺFOY+h:zx ^@C.A L~ׅoc;M5,HC\A'XiKS8@1A :&jk6x&U.pUW%SYWwN&"7δI`e@^XX_ppKar@)ʆp ]ׅ-1NGC`rPօt6탶Jp6\'m$U[Bo;D=9X[i3yŢf e6U ҫ4;^&K7h=cN7޳K~JPT_lJ IT̉aX SԥṱR4j\k0Pw!rCj29RZo+G=dC~HHJ-[=3&|W?[*ܶ߈ZON9>ZtXkӘ,=GG`'G&V[7G}1z-Mo ImM`dK_Xp|&zoםbn=LZܰBw-<Ctg=i<d襷U+`S |&yȎ `3$.NISni$.;^\#ESJO.:,% !.|uસQ͚XW~gѫPt;|A|ڈD*I۲U *2^gP_kЧBh5t9s>P+Q;ش ukaxN%2¢gvTWh=ڥb3djqlsQ9& 7|o}]F%Q!ό"lxWytߚ7:/|a<o619)WIRDQ(?OS5qnfZsUiYVƶD&\.A,KQP3dz /Lf zP`B{JwH Ը@c԰/n~C#DA1 4|xcCb̬ *fyFF>3f0c2oSOZ=BAƈ@O×SaĤ̹۪Ww#+emӭ8G/U"0 H< -<}$:'S̖4}j__wFňzryTi Mi!pyR#,Lӵhxbȭ\Fu[c1Z,Bi-kF.,*2>}H,nd~c֥Xe&Grz ˌ!̷|*^_vr&9M6Dfs|yNZz:gR-h!γ v!I4gTu,(Û[hE5|vW_QOTKm^_ >oG0a]iX1xɁ]i( D~m@Epy kSftS:5Ю]UH޳瘔5Dt,X$d2hpљزTX&p f>HR0'=X]ew+D j@Ș7/WqyS_{sM>76k޵8mrTѶGRz*Rp˫GsoCk_;p.NX<1VWe._!x gƙ˱Wêhdaa 7LEJ^p[*أnPKfN» TٖiN`XJڍs)$ >[drcunEX~<gCv꼡we zUAŒd\.& \uCLHp+%Yz(~3U3yGskӵ$j{/ţHp\\la1DavgO w7QQsMxe!AoIgT̗*2GY~Փ!1!ܟH4(%*)S >×oTn iU>q)#{wY.[&qmԑJTkhR_EWYб@@/g _Nv~Jg5+p:(2sNO<p9o+ tf@@mΫ;-п^!6VFDCkΆP A=i Lէ$ht|ցZP>=tp_)2]@✪8+-JZR_v`If/PWy k& ŗD0b1ڡvoӣJx fmUɖ@li,t$"EW&&4b<|hDIm\ \ ؄=#Ꮦ{y{.K) -=S? :y+ܽq!ņa&+z%jdߴs_v jXd:JӱU27:廴27UT՜%rßn}M~ ta So<-̻xoa!3\  kTY2 jaI4OqF ?ILO 2l)̎l _njKB' kӶϠg4%m$jVl ̬.eFFk(8ce Q҈cD @i`aG o;/1_$R:}0~>Ў`/zZ/ÀfOWaUK@64S\3d1ثp%qVjnU$3JL)O yaF6pNa[<߄:Y{HY_@^HT úА v [1kU&{ ;>se;$茾"u}ѻ` V$BOZ_ChGJKU藝@?=4C=g@\;s L5Npsz8@#i4Fb[ަ~ ,*bIY;`Hm&,l ,@/Ej&& ,C͓Vx.6|_2џ앩-%BpuGFXuQkԀ8yZG>I{ ڴ\l8 n|> DŽ&#c\/oNǏn܌d6X{6ݗGvawrm:?:"?pylsN,͹n ,JLēa KG١I]W(<;aZXtɗT׆{,",oߡwlmrKa(fmq+<^ߘKL䣘]ZV'ަ,y&)Ҕ?]'toH(H){ϭ!"[9A I[GIsn -7KS7"(nUfm$hb1*IC9Zl\k>UXv|:9oH#FEeeYlKЬ1kr¯a9 zgG 1W]6(Jcy (Nņ9k 5|] bH3 1Me s?n(+%9o^뱢7'҅ŕɽ!6Eȷe$z[ f`6Њ(@yE˅/㦔k<5$2ԋ!w4j&`WNr:6$䡓"`ӈ?L[\['b.}A@`v*5n* &L[INdzOF!YTXQPO"̀%n!J&.樂%t"S;N8|(XsQHG5Bcd0Oxh@p}WYAx=b6u{FI}% 'mLKDm!ZE;+XmYP=&aj; g m,TqɛrN!PL]/#Nsʊ\qk8u4ˎ?-7[N}lZ^ŦEI8rs@VZ @^p#S#/E**Qn$Ǟm2h+&Wv)ۮ]LΠ* K@q!޴l_` @X3]v 7ti^Q) p6*m'v>f׏HTΊ]C͓Ov ;SXUKh55%֧: %38S峦LC*7c3z渒0]1PN %'QYIŴ[!(:,RBr]D}rӦT1$l)DG&D.9 WvBZgZfxT@h"'XUQjE%c,כ{x?Tjb ==7},S>X~-BmB]eq3$]6[ceOր1fnzp)@#}f!>*bq:4޼ _,7*|pD4ŚQhul&wMTIc?k= uTz%FaC.7uW2RpXaPUKy 0H9V_{S<6Ή_o+3 DqFdr=Gc+>@}ԥC-qϓ3,aw~Y{RNlpPǖh!_"k  ʚmj]iOSc}c\1Tih7=|ˋĸ<647L, P/P@!CuTȽ"Lct45R2'x6ER?5^L7*dMb5%M^R5nkȝIóK,-NM~ ,*6'5+.`^=Qs By[QZ&̝SN7s4{=ЫB%!p+^k5=F'.dmEMcV z7S-_p3FCІA궒,بjq@oJ.s Y̚LgH7:љ(\_HcUNÝ8FpӍ+`fŠŷТE G0A& y2ֳjs$YwG`)!%-zen_F-X >seߺU:Giig9G^h`>G R/+u`esU2":z/7$ =;=X26c\*+ s[K]މRN~MFI a `2@+iӪQJӨU'| ZH/Gٯ8S9" 5 )J}ȫ0#Y&"./ Fd#4Z_&QNΩ[E<燴 C$2LNeA9R(Uv u DY*F*.__ M>:_a(H_ݒB&djB*@`HxTt@K@>Kxk z5Dt.+qAv4!(c9O2⏃Xe kƶ_NW2,) kFt{#g$v׮:N 7<B$~wITNLiO%Ef#SIjWM ^DK; M?=F_j7.F7Ajv8hnDMA۾=VqۊMK7@/FPGBʑ)hF4 1@9vt_z\-2LrЇO־qd 0>b@8|>@r(U]MLڹr/z]ce-=5NIsBu-;*)Ib^>ѥh!8[ =݁zr?0ITﺘ4DLH'lu;)q"Mͬ%#)e\LsMөaL5ڬ2*ծ}Q[U3dK#U0_a6B_nBqZ_N73D·䢶WHm)w<\?rm75\g6$f-p9\R腀PA4݋84) %H8}uEԅd#4p\", 36꿟p~lo{%,:cx9eCǥiYl@;1 $3R+SV65њ[)YDI-+=oPw%}کi\U a %4,{3?p-B_[@xal'{hP( 'e+`̷ˤ%?l]!$ŒhUoHE CaxT(V^3, 2^ѯ9 A񐰓J.' 8 W%6Lҕc-Ľ eB.ւߺ{lTm4) IGNȈ.|̃4ܧ+V6RYѬ9H pc3>@ q4c@l<] 7%ʘ%Gag+ϬmLgc7ii^G+IFH2.:=Ϫ2f1K䀸>qw/Z-#䶓6𑒶md8%|\TwK~J cT2 h$)^|^-jRb~l5yݻTRNFMJPS*ḟ@ nu7agWmNl׉ my#g%ƴL@sx`HR3S%6m7\?.;*w5f6O'=[QelrӤ,E'`o HK9Wkt倛Bң^K\ȈxHjfE > zsLBlj>Bc4 G]26|U"G,.T)@A7OW+gd 2"YY]!'̳|4R9DCh>Kj!ӗ@2 hں`ev p5DǏ?CαaC+Jo vb 聕O~\yu|.+BcD]%5|h^鞎)Hnβd6sj6j~21"7Ŕ񂽼 Gln]x 壣!]1D!|Ž(%|Ys7*WO(zrZ cV' #L\³̓+ Ƙ~ {.hl%^#Ⱥ#3ui&[Y̰JҳeR2fnк &#,Rt3H7;'^eVP_Y~AVƨȉpdw"Ϯ-3nM.yx5N>vX^cHiMl+Xsuȇ̏KI,PHLǥN:E2xo㖟:*iכ T}7xasΑnl-jjſSEb$F?fT4|*XI Uʼn%qԤ} GN"Vઊ>>\D *c-a nbJUgZ ?jO]-lT]fЭE|u%u-V|_oS.;~j$k`'ESxnS{ s]Zx:f1FA9o >2)E/!7Cښl<1mCLm!abcop[d<9_ٛƨ˨|qw ]b&5-RSQH> c"}͋<[AZ\KFuIYK4b\su(_nMpM.ûK ^w]R2{&pĩAT+L9M Bz2b#Qv Lhw1?`^߱g•@f֧*9sߚ3l  $ dbx0 gZȆegnH}[BUBfŎ6%p=o;xvΈfg3.(#V ڹʖfkHq1٠3yO߿_ͤJ/[6M2,@QDuqsҁTȊPBRYd?} r2nF4"&|y'hP#ctD,WԮ8g,^l2X0 }i 3Ө1hGNKoe&'mLǣ,VZTOm ?]2WQ_JlNt_KlTo%~vUWf[Y[uR|mJxx<+`i٭n1'CT@DJm*0v`"v=Ƶ2NNHě7!6"ā򅩜-"hde&s U'3y@k4q}vWZBI l{|;^x -@+`Q:4J?c19=rX(2j0g6O>`X h>w":<ZD)"~ ,~[Cm3ڕ~,:zōZvW`n۴C qN۪n3HDr-ks%<ƜŕQPr9W[Hj dtNg&}LLyMqI}L \ƱtJ0 ?ݯzW[oPB!nj3:x]Z h;"9$TRCᡢ=\@@Gt~2? I񀷃ڲpS+]o{UnʭmS|M&%q %oXwA:ƨEcDf :j᪥'5>r3!I%ԷB|B_~sU}SuR7}JpemN5{Y.@8BY>`ҕoiqcUULVy$oIe*JxtyJ8Mp; S%9 $&'nPʩzy5k+tnbJ݇sB~HeTnIJEA76!Q9# 63 ? /c א-9T ݤJxx.yJ?b9Qth|o,r-=`u_Hٵ﵏|XEw#hl!Jo|8A`Kz!wxGlemasȯp$ X9!9ǏM޶<M 8xټ+{ZEb-a6.Xu mqC*'ըiR ^!3@' PS B8S[5æK3QPF H 3rDOE7>YS;k %&#O3t lK@:ȃERՓ`vJӅ9 q{޸9zGFd9N 1L)9]vة d~gQ/0M41 r 0do?9lr)?GZN2jXple\v]^ӂH244Nv|6~|*Xu{&yܒ$3sѴ&̅tBӘG"Jc gkI;[~iub`̤r"| bLu ۄsz'Dt(įIYpB#+~|6U}V(Γ: "eЇGxS69艀 1˻_29 Un+j5)w;wG[b c<#>G@LipntP3On|u[g34J"K sw- ԓk$5ySp8N,c/( ǔ8 fgȜ-kc) =*(m~W6)FEM޾P?y=W5b{,JPV80\k39n`ߒr}j3E[_S{r&GIXli !n2GZQp}]Zz6~:j$NUogC虛9ZSm85mB3coS0n_/B&_2nr/l Xgff:d킕 J A:6XQN2DlޙZN!}Hx->Y _sQ<>-xTdPLgx/GZFz7M2Dm9ٹfquS'_ùQ Vg$%IS%嫑gEת# +Ɖq8v?ؚT j^+NDIW:&_ ʱ΢I v ZgbJӶR.o`A(>eB!43[N9(3kfȠ3]ٿGRa`h);>7$iҵGS!8D فd&10R.oi9h O+Hfp { |q#"!dwh:L |0ĕ2IЈ]@=Rά#XIgYV\ -u ut &ϹvZy ~ڤ ?z:K7dU1i'ZS^tӇ& ¡ 8`A` UeK>N.r'SRPfeB[7xAI_"xxx:」Ѿ C(ٙ DX t/le 8(h q+k횮anQ,?)GE9t\qq*M9Xkl}U&KPXUfjeROBB_*QEWfcQφȫޏ5ti(|˚ 4iԖTGoUC`thO%ïF6J ""5f3R@[(#9EWf!|Qث[ŞY ->\vfzs9g1)Dq.A? U-R [w=Z D,>m;764i`ݛo`@ SL=| HίZystf u n?8"{jΙoq@d 1P!CD%düv o08D!#KX\eE4XDRF|Ed"}zӡNZb[\;qʣC=5 ]ҷw)W`ؕȯ2kNqp]Q<(QxڝxSJ`jW*gצ}z$Qډp7NhfŶ@ ϕC!*:7 e|nSY?ž>Fd TDVY̗-!?]`\0|٠L%'k_a&Ơi}K`FU7j+kI|"יղ-JKAAH<8K\!}å}=\˷Ju\_98cᣨ7'cU5VP֘E@$ m|VVD\\}ۯM3WA"y7jXɿo4&A8`{)B۫>͸HB 0]e\NY,]WoEIōn.\An}0OC)qCJW`uF ~iȚ4}~3J38m<,_* d)?h\*ԾJ^6pd^[Es& %Ҥ-O\vϔBd#AD |W9ϽR 3}Slw V=3s5N36hZ赋QlxAq0& =>V'dN(Y0T7js+|-O{2 s`=<{6Tk!`i/66'm%%  #Jvbm9`k^!^ OF)|iͦ+_5DsGˎݚv;B2nY@*$&^zp4 ]NJ+:nݞs= oѮ}>} CBM^Lȇ{YGw}*:UyA9 ]>w҅f7/Ttk3֫R~k0(#)rt|hڐ^ʢm(zSE`a~ :"/brд4JRsS=xC -,k Y 9ZGXd)np4dq20~΢eJ֙:R|'L^5'`)x8x`ʹR`ubbw(qӒ8Alqp È^,q{;[̰( gw=O͔1* d]vJZPsO6u9N}-^7<ήlEd<Ɩ.?}4l $}ct3@|M2p銧mH 6J΍ǽYs4Vq#c&{*?qhiA#BkLЇ }g=5uOB_3E_Ѽ'l7f(J)7k|S;(K2-zc}qip` C),v=6r֌31{Adóf krrX#1ar{10$W:/Sy45v[ՃWG:I /a6 X/ g0 k0Yoɽ~ 9t[&NW>{l'or.,9&$ڢI $.bQnD*4bҾ8` zu-g=By=}TaK Nd>dvudGF}&2lR~W7>:mFBv굓E7n \l~)I5{uQp Ȯ۟xm߉ 4I q,$YR\R2'Նd΄99$^ޜe^'RwLpGӿwA@{$_קVE +/a*,_u`t-y5kvRJ8f8<_=i5FCGev!Z@ioQ"GX%zfYiQ2czͅy'9Q_Þ2g "0T­ɰټR{J^'Sazjy\ec{lKr'Hg||.Lm_꼮 J4XOR%! & oS-[[#K Qs"Ш 1)R@`C(@j^.m!D-nP?P}TYK6 x xBJ>&͍WO@g&>nĮnM8(D^;iZО3_4H# fҁ%50ъW4p◖agָtVqU A+pLǍ]dq^o638cAd^IIwKfóYh+M#Wv Fþ b5w,ymӭߴ>2h 8L2{2{~e杉xîqcƲeS!.s9̥K3Ա႙zܿ0[-dZ 0Pm q$L@ EO͙h 6N1<}%sKC^6vƉ}@=~QօFAɨ3 @]#')Y6+QF7DBNں͜5Xi p M3|SS3m`e!>o.b ם2w!_U}iٌ9]!4˚ {AC@=?BZD3N}ZVE)$OnhWW''Șgc;[tI{|q~c狶# x7nJv; YTOMFȩ^2<__NnE{9[sm7MVe[-9Q!\ޙG3V3#ׇӴfFg[R>q(PTd\d,d8m{'6틎 ?t'h2X<&ƑIs9T:$R̯q!>ޛד :{|{G' Nj0Q"i#?ey(+(Ypw"#1J[>IpJw62clTg:<̶LO:Jtv]e#]:t@j:܍-tH 6ep*+T^$e^)vG#yHXpBZ-nOM︨7X5dp){4ئA-vf1L&׮;?oĬ aRUЋ`V OA{ )l؉[WzºRy 'w1ܕtנPj&QK|IxGC^xd KD&Nr\Ewq1wFP+gF 8-u@8Hy2Jf=Z>H&z<mHNyJ4^cJ`jY5l󋓂Pse7lٙ|o0eo;qz{/<ޅ]cy)lJtj(XFlH9}-Q,21b :$iK] "dQ[!LE]|( n'Ԓc>efk@eOoz-K$ەPm0-"uh/"&8Jhe7vE}1[] ;9/5$}f"Xefh^`\lƴg'Mė~iS]Em'{0"أNO^A06\`+\eo6IsH7L)5P)᳎(aݭ\W Y`Jlީy}hFM.o9|gsCN޹]eM @ͥXflz*`Cށ{BN!ӲӑCbdg\ `NnzhYW!d f X9Lߏ3qgYZ8c5bb9a46722ac84b1543c963f87bf9843c509b60779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 ad41cde27ff333577d4d9fc534269766579f82d99bc4c41017e29396fe923a592e4cf69de77d197c