SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  8dlD ] Core_DOM:threads=4elapsed=331.151cpu=1010.468gc=56.164factor=3.057zXZִF! Zk]ŗXf[&u PcƃMfeĒ'Y[WS/JHWESheپH!M LE5?Y@r@mO4xjm l"tt -jXn.,âtĹ!9n"W$hRpW^-\*߅!(11o;M^!3VPZ/UA1r$fB4(v=C*r؀bo/c(ltF^5ƭNv!(I2}U   Core_DOM  pޙsJ螻2 w>W#f-2RUxĂ;RsSRNJ6{\!wSC3M!^})!=RJ*1I#n.\ZQM܀i? P6 4~4$c +/gMA qs9uu9KnXC5L!.*tM?AXR"Bx͖FvkdQ2JK$I$"2wK!•L^Lo天xx[.]z6hME0q}Ws0V6=ya֬‹K Lj`2ei_(MߢPTvFy/"Bo) 7`+u]!tv3]L5iA/J)\'.$8 f_x2ٱ%o"Zc>\rh>RӞZлzw!" 7~zHE+qJ򨝨 vPZ7AHzMjПOg*IZrGΩ.9Ԓ`smfD8ϾAQFr,i_NR(ד{.Ny ~pڇn8؝M B96 y"c<5eæ!`FS0 [- (`\Qnjî Ó<-𬈛_doVd6c?T;:Mi7娒_kΡLva?[0cohQMZBLe9޿t`X;( +&IԞX'sTsvZh ? orqNj!|/rxKW ΅$E賑*a-Y/&+ގXFօTžJRFYMLKDYhaFܬ0&0gX$;l!((nS}D@tKq̀SJSi~UsIT/$&qAs :.q'J\~o6@+5(ܿ%/?lˌr#Ihy9})qռ =\'q|LǿtZg0EI&_+RϬU, XyF66Y6 gB:ȗjZSLdvQ> fU$a!E`_$/l8E\tp QS}5Ma`Ǘ7I-ƴS;FA^WݜTBC8 yθ[aӖ~m`` {;2ɋCz! Rz?X"|ѲE52fEl[S u=ƴNnl&(Iq쌾pѣJ%rWsjc, 8ȅ& Nǫ*a~὆dcԟ$qd+4օ"YkG=SR *?$rHiRAC""ċXH{J>~ln*!z #s E(RY(ש2]C5(ZeLZ|v.y@sAqe'mH88h`%x;ߏ =;hIiVbvO% 6N RsUKK! ( ʤf09z侊SZr(^<ko Dz*ճ2{@i sxr݇ }{MpC(%\1N!zI,Ä4WX@kǃbr/"QX6WBYmje Ih"pNhk\r#'3rMY>%K1b%sޙv"VɊE`b3"#jc/NZ4BX_HbZ}O< (r6lNB*T]Vr2{BϷt_ 6YV00$Gd蕡bp{ֶbcsǻR,v݅m T s RJW6.?Ͼރ0Ň7?&j"}j~1d<}zRp`:.eH*Dv>hO5 2&RL`bWd`bMVRAH9&·^f9'z癲 r$vnWf%qpG6'69x%fP"#\I8B}?ЂGߵ. 8-w3B!1gKm4R[w܂I6ow#ش=yJg'P8,`s@ӔYijIގoZՖ&(E1{#B&hRm.']bH'{ȘZn@]յ¹9/%lf tu`T:[7G{jF^:gْ Ig(@z0(PY 1%6MI1jA7a 4aZ6L ;g89~̫k&+_@E8rd2A~Zԩ;][ k#s5KЎt0Wڲ0sRHq;ǬFKy<G\QQCXHKѶ x\T@:א_r"3N w099%$M 'Bo3(Ꝛwϥ-VW[;.F*狠 $TYG;"(5b"BbʀnjW qP3W*MoZ64qg"/c}~Yq"ֆ; `Ž'qe+39<نW³hd`CLiY:Ik7ׇH~7}ʡj6.Lb͛7??w;)vhOJFgn-L?9=FsG\~]U9勎s䶫m8LN4Mt"p@C\KgL2Ly@Q@T.$!ZuRV~%>S p2]{0($꼦ab苘Y*t+_5+(7ubvzJ_`5`g*4x-294foj!:a8jf y4稁ȒO2%*OnɐkДۃQS&3NVE?qIΕosN/;3{aQO*ģK*GLˏch俆[ DϦbO7/L&^(eq\?{`Se9rT+"8s\T"8 TbߦrU]Y *%_#5 rCN B:cH?ERaҐ`n1A;AȬ1b݆Kʉ̫IzZWb|6[=o▩aNFCvĿqK"֟U|bH!W4Ј%9p:ݺ˂I5>lrTw9 ~흗80VqǜkSPP$XW.pm{;"WM9ݡ!h Ĉz <.OFQL%CȲG qIyX)IPbAHYA#{&ܚXH׷em&G_z+1bg ԝ[5)YfRRf$%xE;շ¢:%ٮ6M`$)LyH 7j+6 6Zo EPjYIOҁ2PA6+MD٣sb?R`/'Tň\ZIF evv-qv+fX"I,׸F,NGFk;pYM P7.{5C.0W2vWW RZ+IΕY!D#Dd^u_nêq.TҍYS* Y-\?kLntь(BMhu D,}ƚAOe>U^Ml@1{.t)Zx0%힘J@ά hH•nA} N]R#e]UQ "`mkR٘5a)nqRDVg`&#7ٶ'4QD-,4&sDkR]E|I?yс%W:Jٰ6*o o=~᪅D혐DmQn'6{wnw-Mך@xjUdayu+hf!jĘ4yF`pyy Q䩓5/LV~{)}clNwvLJ&f`W=GG$L<3] |x{wV`="VC\ .DZoU-ZcL nEn MhI-wK0m>"M buc]l2H“~`Wg`aJ,?>цME#zRhERQS_Ɯ@N˹W)k@r $^vI LۍQ]/.y 70+`[,A>r/6[4z~+qd[)" i{`GK{Rͼm`HǷW^l 5{֪֞9C .5}H}LgFf[t ?O\z'H1|t iue " R6/hg|z|`PN\/q7FFf=6O!FZ:oφ Ĺ %hY $`_g)ӠApkhS&YU*U""lDxgSqZ0}TY c!*"  f0@~t'pz=uN& ¤gv+ȂrXim8V} 8/6ɣHB5WEv8d' LZ+ـX>mTr&11H{`d|53^:rX):eJϦ@,aet4}*ӣY5!f!,ɔ-J7rҖ]@>LQ>.o;GgYZ7zXZִF! o]ŗXiɟ69W:)N}})Wn+xƾӞDy {l#bs3(jWs~Hch Ѵ#R4|Kx[ݎǏ̟".hh_=b?yUz`G ߾^^h^dP^2ƨxn'D )"lMBpޣW_LU +F]ΧaA=Rq%0ГRk!H@n[$s*Uryw(,$&< ԪЈq y4ŏe ` jDO˨`Ujh2(8y XZ yӴIaBHF z?jDO~?uUYv{TQfm3(Ox*&n6tf~5:fKlB. 7#YD<Z;#ᯣ2DAʿs7x%zlLr;uh>rvgYZ7zXZִF! F"p]ŗXi%B|,xv؎P4& Zo76SO7BaSۆ ٞ<"> PڢNb?n \ И_ T`^ԭ(4cX;;;Q{NYV ISȸog/ә")M p$ 2Sl6J@dZ>/X;7ٯ[#a NK*RUn>% 8iY!1]xSRrи!z+9Ղp(틉D P/M!1{h%g3fϖ(h  lGlbCٌγ᱕1'#LE/*@쾎SG8%ݛMFTRS'gګqNk&G㓪M^ٙ({j5ڀҲƉ&|}v]zN]9mcUXwO/SIT8'(.d%' 7@Xl ,OeC#/}/WK+n"feghlx7C;!@cݼV <_[ -CF˱4QHW׆(&<&֏X#O;7}%& ]ra.6 'Fkϛ{Jv%,!%x~X]z$ъrTj4psUaAM[s)Oޔ<%AJh+H-72%L7c̗vVG.qC^Q4.ޝǮGujh9sq.m8V,uOegz-YX.G|V=~`:{iw*vW`Z `x::27tC2=DNPO<9Uw'n:`&o}g.TW@a;_p~'$wd,Z\m[SN 񽉀)*}d8'#w&%jc %Бt$@jls I|aL^ d+ǫ]d?RlӽI#dU8P(SWv+ FsWl0ĘJ-{x,l*PleL:&wXwLqH5#~2z <2>&(f$Nͺ00RpwZ>~+fQ0V_K (S˜tgl:? nG;oHٔxQUJS$pM(_ m/ JVTT .s.$i'kX%Jy#awI[^Ӷr{݃ӄzG:*xP1"7*n ~eeu/:]u10P܍ޫ~nȸG4bg%su~7t 3;Bjh;uk)FPZ sic!T_#b7pm`ޯN6/.JPc \WiC}ΡږYӓVϬM i(a-؜:~wBŸI鋀ۣϭKf9]=O*jQdULA-uaPCٿ 2h}.$tVex"{< 'M9uR..XnEUhPfD@Twd% +I:Hyx7%5}I0t8+;pF-$y/Y(oٽ4osbHD%hĈp'j=?L$h =z48HCj?gakٛz,eO6b~JԳ*^z4k}-Xt!Moi?l}J& %AzBZ.V J\cQ4a'*h)+wcYZM@nPZKU4.&'hl=׉k[xB0bhgk0fYٙ;XG)d*lz B; 'wH]o&RPhQK6f-HtΣ}qU5-H::q" XDDGjg8jɡ KAYi,Y#KUlfYp ,Fa4r}-%ZÏk ,SF{'9|WX`XN7_Y Q—P~R=,50Enh_ QF׳2'ᙨ5)ּ<h&lELe˨03_D2#.>#<{pşlsÃ#]1a3KdQUH c vg`#E pgznCF#]6 oVzf3jꆤq6g/hA&\#T.@F~|m̑/!LaPU1CxŇ\:(dZcɏO≁"XNpzON)CBf`!U?(Q6ifX8HGq`!K!!=/jKaj9^;G}n v)Rkjl`7(λbjբeDLK# wrwŠkAR}E8NGkYUHOlAy\A\ DX'Xg-rq̒FΒiC5?V/!_$,bCjKKU}XJRcw*asS]BLì)%0EV `6%ω; "pDuh,ߠ B `;[hNH9|XE#c }5'vzTNKsKGmzw&)Zje'Fޯ2.;j_Yţ]J4q(-Aq%*J؈Sb!${;?@/x)":% sZS8,k(א-8.=u9EW1mrN;gL"S7|_MRI=sh/JV{٧U.CW LN㔬i aRV—@IWxʝG}:"ݛ)?Ѩ v,=R>N[2*]Az<584iTAEtΔbtWA-l>|M!z}hl*kϦorcOYFe?_R>=v) jdKY)\Qqmhsv9m:>~:ɡX:n?׬t]?>h~򠏦Y\:;)~/J=_zgk@=ּsb"l+`$GTVjbi ;s->U{` z&&/A4Es9ԐPk˻ӽaG=Znc;K &8AJڛ!OPФU< Hh Cw=Ct |sD3yc;k[{Ino,?|g) 0)7ݿm겼m2Ί h߾ޑqnXS*-Ѯ̬&rt6,60cˀ[?.p\_d <_Kf&7-U#.!TkryqG&&-n:v@sgwS<1gcefM²h,-nG/Rȱ~&]^\v_gؚR)eR~Hk3 }1HӴں1#h"灍4QyW]8}C![Ju(++5V*rVĮd0Zh@Һe *x&<( |T?f( ?it/ZZmNs\Ҧ1Zp2,r,dj~c BeXpz 3 13D\fʃ> W5 ⦽^#53m)d{eŹ0mE{+[D3~|Bejln*Ԭs2c|C7a˷wj{E)ͰZo_1&]*!N7_sB@wJ|ֺn'KM鯎~Ѫzڞo>o, Tv4yZ#۹~r/4/ ! }Y8+}Oޙ+D4s$7L9ŮW Tcj{qVH,SangLNU,d!eGwFډ_ԉ:cY`ٍ8#?*lȽ] !.l:΅zL]uP 69vW h #n_U[By &л™vxa|r_ݍ󥽴{'bV!åFṋwl9҇tބA3X<gוР f9B JxaNgucLy  gRRQ?EH(<J_wh$`yYkZ]0"K7)t*z;\y"2^CcLk;wK[XnaY-՜3DRGG E?p-汮\&s)g 6O23|gTHi\7=7{>s բC}HMmK`!xt.eFU=0ih(g\ q?^g Ucju/|bDVNl16>n(LRMRfi6Gޝ<|} :œ1'.l1+B%@Iߖ1aJaaHګPwW?JIZf`Eޛ'k"%KV`AL9&#h{5A͊gM4߱Dɧ=+%Q ă)j@4,'uː Z8"<"}A(>-zYVnS`׃. @F*lסlY8ޓD}I*n ,waq{ ܚ(NUWRhhN4-f{O:You0γC;h"fTx Y+޾@8qx 1E1mKFZwF*BFNdr%Aj%_Au - _VJm1kM᧝֬G)E#;^4!D򃂉]]+F^$-6;89^ 4c)@>(4Ld ~\T/t#P%ȧVlK Q|M^xd"!A-'@AmuEŗ?lSpqjӬ{d$2}jIrz8sYr,q}/Vؐ+": {5Q[ғNXf^ a`b6C {o]ZB#L{nWp%. XOz0<{2hhc<*ž礖q ?)]Q-Z芳J'hlIx]G;YQt4 67~/,e[9q16Cuc̀-`=O i"i_[iQ[g kB$3y/5ҷ得Kw+eQx޹Ab_y[ 3 !#MP|k>:KD %BS섄{vG^!_߁ 3azOY1D'lx` <95+CuAKtS~|J]%/L8!{:V Y/@9'یI$JkwDV3yc=S_:9ž1KhN.0 KˍP:l Uw)~*Dfc'hx ;=}f\Drqv'tӟʵ ]ldŧ=@M!W$ T6v0qrUٺ)-k) Ih$P?ce(jV :e99b=i疑eeV55 Хq}%wdĪr K]J9+%[ӂ~/ 9)Mc.CE}ٔ^AET83u$\Qv<*5|u%Bzodч@ԌZVF<|MklD.6{'6dPV_fō / {#U2,OO2+;@.J 䘉(G=-{å4s' )&rS/e冶 sݝw1k2Es"hRI\ l js 3M:=THYmJ(IkhFco75c]+nG ")E2J"  6a1e ՆfԻ^XN#e(gFm(Nc&.C} ;ɧ=BJ!q0K}{z;Mt]ۄhjDg1nmנZPv>/N`_FNy6ܵ5 * 3}-"rkhAiLBs'ߡpV``wND$ubFаAБLJArZ""V8c[zs~&^ Ouj\]{YL%&h>$ܳ]5>QƫLHWcH< J,f3YTGSsAA)1qiRԧ >J` ws)R88֓\ToFM0z)}E_ͱѭN* ]hQiM;O3an|@lP5s r턖S.q+U(ȖB~1&lAȜ9xv@MoOۊV/TRխAi=v O).2-U1dįNj>謟F"ih< S :tEK|%M+$jQzRA3U͹YED xC\3L]jЬzr >e%*mؕtV3_&T :4){P[^@ZHx ۯxs\8x!t@C2m(yd ,]?ww^d#h\yuRټ601Y4hf(Sкe-]V߻  1zEfL1߾%o>b>w5 /rit*ͬkM>g 8.$A.Taۛv }LVf\u"=G^PGkfB2{zhjJ̳R%lȒכ۾TB'KY)36ݘyYmEO+(ԐbӋ},D?%y:[ͣN|FJ _Ev%Gx/ yAz1D3LNba~+ ۓi 4dKJ9lq3y j^TvY:j'%NDd ~Ԝl &_ Z?}+}/ >tCA''m'ţavkP\r=…[9JhnH}a $E0w\Ƨ]D=npڹˣorթ~O ~(~<0*-9gAS:H"XTAoLq -o>z\۬d<2JK/[NLw]vQ[ӄ?"0в* ${ɑ]f(#!Tmp9nd1hqfN8YW,\j7O-lt j&_k "s« k-$ZH8pa!zVR`-QnZ\<:&Ls dS2..gD@I-3 ?^!]2U:qRl1όȍzsg8mLWRKj*u&\ T~ny[E2N\w? ,Z 2{ iż G 72A9䫗eo%{G\fp8 ]/ag*Q]|Hw)!VRTc޶/KӰFs-GT&i!39,ϐH|Ř| <WV3O4çߩBŞʟ[3WwR'(zGlsN+٧J9ݷkv#GC9N$@|40)Sg!oQIW(U.ʘۇV9\tsyHO|EMxF蹝 v xPtʥ-ﰃP9_c8sɔF_.霿Y8ѪA͑+/!rN'w!s,c>WT8D Dzs;&6 u1[{mVNh>q7ײoP!k'&khD5z #uuܣZ6xk[ڲ`/&" M;b{&ro 8w#wdh~V )k.Bl`lNC}EdHp̣Ӎyg@W+4[ j{8}h o ;aU*LjplF0j,> Y&G!gB%uAcyCuayb:8X)ё6% E1HQ%&q|q-a XJIl(]$Y2hHJ5^{ŋ)ll2ڿ+;$ǵ'8Yv*\0sh}Qd/ARS,EH+ƛ*4AJ\E6MG}GUx1qDCCwX\Xދ+j;YS y_&xDkz\ ;Ϳ9%t@!c2iNl">r]vyG@G"6Zsc%5r~R>[ЉPrF\ Q dߌSG }5NB]uU݅6XD\hra{qklʥ5;(lNRYto/sTePYƂ.A[]˦棕И3BUF+ c&>pA/z{kv-u"IaUm`EBRAM9&S[DK ;D_$ IP?? wt2r:cMG 7x^zp-<-Ӆ5br`QU2 T\|o-wBVhXցT ȸK<~W=bۋUL33>3qxӂ !cz~nuψYv`Z'䛷 'җ[M]ܿRMk:Gԅ¦[^52(̿mT@ݧ{ ugw- qlݔnC/C.eNhVz7BJj|dcH>fzoW@NI*Gf{,yÃE`./<O<3c bXr:QĚ~ ?q;ɳr™o-t:'R03ʾيփ#u1?@e !LgJ;e=S&胯d+x`(VE}XC4.c_XR5"]9e9g9mPC)w KtҤO+*h2<onsjV/#vHHü }&"Z‹^B>}L5O(YD7%5F Dd,*!ߵ iO: ,'[L}OJ9@llmfuAs6L.E1/ )حNos#EFG̈́>ttfq1n>E}ݍWj c`9Atp@%s̈́\'lZ"G sZ'u̪ʤ)WFb z0+6\ ɥ* Fmk;_<*v_Ȝk _gF)X"0.ZAgViX~E곇DHD]X©lձo >g PU̟7i nx1%L(rtaG:U.~(MQC |xU[.ұ e ugg>;bLGSL(E38qI:wsPxa/ox!+!;iS'Փ%(TH@?7l]1G QK+hٟ ?tPDu)o7)TM_ u|'[-G-;a> DH`shE5 |IABBBEՕ j+K]gt\p*RqO@6,j$ /fH8wB셍b%fGzEKmg0 a~Nz'ےfҁ7,BQRWi1Kz_ $yIX `$'ML~M$Ti]Fiԏ ƚ۱ϧ54a]˿C:(6xr隄w9BS /|2'@pQ G/[/ܸ ;e_#]pʌ eL@뵍[bڟ䏉 zTE, 3bQG Ñ5Vә@Nrڂt|ԊZn'In+ͫq)V6fu4;IXwk;fww/uW>UrY0m/)_iu upzxA_f5,-Jo">/j--nUTY3\ЏHWKk_We69\SX*ŏBqRptK<ZpI w0L˥!nLj.iTWp d  =鮉+Hm},qͤ"V, \PMZ GSTg_(P1R0Gp_kgr]RR r:&-#RbFd“;a]#sN<,_SrPgQQRB(&S)kwPdӶ@Zn d)aJ -X2u;B3@wk;p>YP'7y5/i"D:tBap; Rw0sqs3~6~tۊ^o ?:'`] 1v䝝Ȍ=%ĸVXN&:{þc?ԋ[Ef ja.A8a`ښ~V~<9:Mm+ t8[XosDR~[\ߛQp)udiiJgt212t W$_8| O`ɇq AEI^U;K_]Y@W]tlkt?~DCXu|\c.cKwp}%>;D0蠔'ރ&h]f+i"۳ FWW]-D)گd})>gQԆsh_Ǟ݂d0],)`1r[ ؝,7XU̓1¤enzdQ"EA9vO],KY]+ɹj \*uAAK=>P6Ze, NfK09id{e ܖ&m^i@DzijvjqccJz^i/3 #ظH2-$D!+~m[| k:K:RY&2^\G-{De,>!9tK &nNoTՀX\U;d`kz$0$iNIT܅ܕA]c:@[jKVeoJy4q6Tޓ|KzS٩P2a#C"9DQc(wlH0l4'ZI5%-XR?MT>g`COjKnґ?e|(ȞFPspܣZwJ s3,TU,RWx$օV@رڇh6bo4]R TEnT+];?Vȗ*)h,yW—HD[5hpB`4 > ѨhpnoB3,/o $ &u㉽?vձe]⓻Eqi%6W^͠,2 SNNh@幮t1zP28"ԂԹF=Qޗc )eD 9XB0nX`}]|{SvЦj0 n;y|eU&#$j6Eh١-mcA2qܪ@\M>Yt_1zl /i)f:wMJq2O'{Jɫ9AĈްo({Cm믰Z^h"$UZw5{`{-r`S6ܖK(bf?K>B/G=)mfö2ZjL\j0r-v!KR嬾[SyOEbOPR${X{VjD-L+m_TO8=Qئ=܂o3 pꃖ] 875qvQ\w4G7MwW;v퉌Wʃw٥aAe慀5:/o'WKP KYb墁[iga 7$T0ɑ{<&Mɰ(xJ~om};]-2E(b&l,S2(\+ {9SF]@o1İvH+%8²#upDH̖ԫ,"q̓Aawqn?-q,1 Ffw/5~t_z U w Dwr#d4>QDTVYvF+P<8 zd rWYGV6zGyjLzԝXzot#3}ͥ~RMe߈{@#4[(bU-TpjR:`&zg$ χNs6NA -40B jiR=eH!47ła*ȥ[6 A j!\`}[ʮI\Ac)"+iHq%euM y葮J/RZpx`PJluCG- (qbOɉK! A].vd'a"{?6x uunɨ>;Tb`[kX&+w<ҕEL34|9;<$hS9ȿsfe2tbH;t*QEmVeNiM@U ElpF F2iw#pfƽB'O4kTNj0Hnj · tG`Lc;3.12u>]Mv.QYT[bb-J? b8i@TYf0uX%'Zt#6iD<6CR~;T(&ބ9> Gn2tϬKc65zGe̐fn[=gx!N+)n oYeA[;3FD/PXUvz~K#B sz}oK2wsm{ѭӅ:jFΏScR_ ~ =/Qbp8V2>97kCZ޾ܞTzWo7I?;0'>Ȧbɵwsţۉ0GӒgQOˤ؋. ^ ryp'XL%-m[He-n}"t*96\;ܪuGD1/wy^n<`~{58Q-H<8E]-fj͈ \̘A#oZ^ [ IuS`1yҋ2;Ab+Sƌv)A ٘h@ (-}q<=g)m~} ,uzRC㾾8LJ/Olaɂ.0 +" cD`}QR]z X*sr/Ґ_`ͦ HǷUgV ֤r'gdҡ̾E7e^rSjIC$z>SSvy "5_˸a3ݯ/M2^|6Eo8? .N H߫~gi,5VD$IJ>ٸsoJnKFf9΅>*Y(A\;a,!MAwvbXS٤+ZfQroGn{8Es 5ܥWS KZ밄A !9Iε7hw(toC?qK_'dVMڲte\߶J;@t<ӳYk̹}|:@mcaEJn*ĂW3c>dH_DzBa6 꼛Dɬn焏=1|-49YM, d М $(jJvUr(ь])GZ7pB+ rѷ.r!}`QO2-B}ҤQ6 '(bJ- ';VFт-ݐ RbIϮMst > K-22)뢘1RL}Fe@`r.Z?gCF&} {!B4wGXsCt=W4B3"US |3&x>`CԋQYנw8؎b[h%" -E} X!:tZx.dzCWSfnl_ɾpLO9pgT ̗B 6wģqՕ;¸Qd|w6< i+^ .˯8;(ZQD$>s2)*y}K6e(s+sT HH r׫NAbv-MMaZ5/}N?HY:f~XbJBgsns=\;d){I!B"i~XmR=e,頢V86ʸ? @!o^!-DX!H&{j ` cmLzև3V7}g̠5\ג#" s]8_+˸Eb{e5$t(_=eijk`ǐgFL**wSFZ0 foSdzFp Ϭ4a+k G4Xь!P|A8.N%б$LuIR :P$m+و5RyPIsʹ`?ƷA.E o~ f}ڙ法qۍݻڸU"*5}܈>VvNp< E#B۲P_y^)D=̩~d(,Wk/=Mkxp?f:l]Nɱ"({_W\Bup5G0ED'[mH𧊠4cg|ӔWmNE%hIwC)dຒ Gگ$_qs8- |Jь0kv!ƅ5Zʙ&vlg]`'EM}tɓPռ/e!cQ,Uq"?R+ǩ)ŧ=NU2P=7 n2(8[:s =[v' 7=wX-\7AudG78YkPw&YujbSm-#OޮŽ_̃s>הzUt8qu OI~t~׼^5R+b5d$ 뇓ƥJ87(8znqiP(Q]Vܹ"C+je`AH|гRuj+@(=Ǣ%)!$tl wTi;f*c_ 9i]`ҍBsаВ%SLZk ˟ql kC/_2w77f=xCRnn^ fV1mu@jҫYҨ^>g|uƴmJi{p43,^X3y{rB yx?qwNc+Y3}g0\{y "ubXu%&G5lUǠ)C*g!'^\>!FNb_¶VouAG 41m2KOk\SoV#<޳ W XXRB@3x`21G_.- y:Pܼ)K *ڐ>-fxAR<`Je@5ϧb2oX({([}1lg`ҸPy򢒆T^$IS}E"ebWo@gqI>4 "ZBIy|6nV]H_Ǿq$WkN@)"F.17Ry֝ϢG[ wUKR:U4z&%΢k0x"Gi ]N5j.${'/FN++Y/NG7jU,tpչ8vSGFw|ڂpKG8X7 7|{’LqzdK#/TIW)CKcsDގQ=|ElDW (ؤbA hƈ@ׇo{Y`Rn,4E(ݍ(Lv\ c~!ŹX(NmY!M%@G{B\m Ё-l/d=(bҰp+U;bZT:̫&zFr\mJ{h1> ǩ3@:ͥ $AZ_ɍ`qqČadEHML KNqyyd 4F& D)eocTx^;9 V죮utwd]wGYp' :LK~2γA>Fޣp n8W/e|v9;u9*cO&p"X ?!:LOiOTG#eS?Vh%$#-Ղ*%0z[9X~lYfFj&*9ی?Ǔ`&) ׵/FoʽNOn3.H-M{  r\BDtǬ`x2="1 O40hU[R?@P$2歽~6n/&_ CSvjЃҁF?u0ɅS䯶@*N"aMԠP΃<;亄JV%~DD&&W?VDqWunj-Ek49M,V$>JC9>\S6G&">A-,K+Ab4ohxP?7d( dV8xodzE J~|c3 ¼bêY+`fWRi+v{7qJčDh6jZfb. zg'N+Ӏ )=3Y [ o^{a۳v ;r8Ҩֳ^ԙy6SVXߣ$g3 xgE;BC[+XB* O,@@&1>omTNj(#_~4S>0qh:,>jF >} ܛ%Qh`VFRGeN=i:m6dyMu>mV//x&^9@oN形0ɡc,?Fn;^^vy>o,?ݹl@!&nsEQ/񙹅쵍{U RoΟ_ )QAۿx{2]U%B4aF*upB.ybu X1L)'iejݭMtuVU 1K w8֍"hڵZH0㉛Ӓ̊1]vSIۈXSԫWj!MvyQ}gŴfgf34BQo᪽bs|qYڟhU3o̡]h~=E/S1z"? {2 `.Qc#qX<[4HZue- vr _o{న@޳8}$/wRRs2YؤG"u@5}1GDas((x*=zH=ZB0mu:|O!sR{cgK 5o쨍ꐜU[+]7=N:rI\tCh֞vw(}@S] .) l?G<+:?/rc8cmfо6Lk!<+D̍be,qhg2{!":v]ն1Ň0Gnp݌Xes\H/4Y_m`B^$XOv7Gr߄xJyp&xULt"l?:a' n%44 ?,dp I@i"QtQ vݒuDV GM{D|aC{%ZgϘ`kÝ IVՠ\0pF\ g8G!4߻TmE9fCZ.ucǪh(SO1܍Nũt{bld`R+$h 67EreqeQFWԸhUiĢvB X^L' >> :/aS']f)2ӝ,W`/7608מ7eP6rebpkE)bsӻlfc`~cPdDvκUgдA-k Hai'b,ht_;kBD{-\ZR_8g-}L )31=|JZhpܕxpjS%9Ӕw{? SH85ӠbR1eFfI=w(Sef4n\LW +m.9OP+@~/,zGQ?kSa@4-7E*)Ξm( d qzwDa!`zP*H8ǰC caS1Bn[jr*Ddw3TA-2OBݞZS51]Y |$:|#&<4>D yS.YU8)(YsV5a_؀EZ5Ij7N+K~t!qUgcTx hBtϱAhc{w{ b6Q-{Tٻhđx苏 6 2—:]v_fߪb$JIl?3%0[᳽15е؊/DҕWTYעh5Ό|GXsKl{7=$qw?ikl5k|d4]l3(_dK-Pa/g5 U~2w 8@W?!&G՜n(HSvE){` erQ#h@@Txit/Ukv8m 8"$_0WGl)4u<.**SZKd/,Y~;x!kW\+\hoE%TL#9|%ݟ_6t!9(PR` vh(M_ǯ GY±Js#DWrN$H CD_iC3o2 od DooBw|ڧmZ 7]UCdH4BKicRߟX'%'f?ydCJu=ӍB=֫ICzb6Y_+@!N9w! [ O1zɽomۦ-PY^qП%{u4t?Q7e9 b_0Чbv.9p2!SQ>9KYv ^!Cdus܆3!sӨd㊸|@_ı1@Щ1,SfϛR+5B;.FhLĄ|^K_)!(nc s?!baZH_|^JT1= 9>VSK։LOSȸ/B‰!eM䫏>ڦ[%I#4sF1d,"$0Sڰ* {*$5?Z3Ԏ8KC-n~̋V(>N'Q$P؛N"l5CӆֈI_ KUi'лaBWM9 mAF̽*81ᏮpKG46%vip~G]Bc٭ìb)ȒDLۿ1%-TmYCcv +k:KQ+qdG$VjOzJ2bY@Z61Mewe*~A ]14Jzvm pR/9 ʮ4!Zh}\d1HV HšѬ[7 e%8>?a%^ ]j/OSMĻVH@ϟA[;HfႹ5!/!D@Nc4nA@Xv+ q˼y fMa$GtC_neN>!c]pY9M棒 着1.O?F_Kl_#%Z]ܚ#l|mbChӅ"bOqṚAopX"YISrݴB&]w+UC h;Blc1=v`:h Zzs:Zz0{q$ >g2BM:37'obk5c w#&wMP2AYGR4Tq1#\}]quĂ6kF)ٛTw;>| ?{ZRh N6nGL⪏95IFp4mjuL9O9IVt##di