SQLite format 3@ .0:  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 %|,, ]/]HOL-Analysis:threads=6elapsed=322.901cpu=1594.172gc=66.136factor=4.947zXZִF! 㷨O]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT@ઑ\W4m̱V,nA硦us ikB'B^̮4<(wdcrƾ6p=v>6JnK2La_IiF1*6Q}64R͓$}4 vdpJUfS Ed-H$?jB[OXP~_qzwj-4zv.hUhG\7N'#Ex=EH ;,Fae=VBuUQnr|d%k0pa0ә²ۏ\7xI~/YR} jf;Qq渣xnOc"b(bSDZ"ޢuVd.nZ[c{!:ib+̼]652n!;1O:&ɕbP|.!3TV<:O@ ;:ϋ+n.!@""o27<.-D,  )~q"*f@1zm], / ._ BQp8w|/@"5e!j9`^tH@l2 UXn3NG?ZV"[?{"0W=z&Eğ xh;f[xMlsXͶt\KսR5T=}5ڼyL\INn"KA%_)bs^Mc~ۘ F_ M)90HwhP)8xBX$R ̴Eo`z.=Q(oעpUݳeM2GjX6hPw~:`6(;y7.>*成.' iːA8_M%115tϘdS_` vT׶~LH&ǪYS"}?~ݍC00JvS!1#w!]W:<.#]Yҁ;@YIPrY ϗh ,|nVx͟}{HRiͭ4&';6\%Rc#6t9T135%[CPN/QѹM鍊@H_GvI=9R&oaiBBt.P>ѦHXޏ0"H W^iWJ~R F.BHh+lw92EkFrNtLչF-0ԹWA8Zm-MݮUȃd!R=G{rwO:'㰲Oz#:u/jcH,VO5QXB%%s#t[ٟ/xDhvzo T' oϣ^ mVΏ77꾍"\uV MF|RBly":5b~bޭJH}uejt iUYd%>W.` \vfr1h/,xH ,ԧJ8c3V^Ga%t(+^  pE)I vq.C=0+HQţv6z=1F,UlWBPtJmϝwX+,s5 % HOL-Analysis  Efv?:jYlN~قƧ>z>p@.g88{CԳ] ^%T8"+og92[<nZ6"N`G;uqM;BYHwDqď=1bN-%հ4^oװ1079cq:5X*Kg ke&w"~mUId!wkđ Ig զZ-iMydzvȵˎ:^jI O dX`e8c'T#cB˒QrOSs1ac* ݣg@:wK= [">aZa<]H/t&>eDlsH̔1w}`R&* pQ#&H./\s"03s}o|iMX>lhn~;zeэNk5%4[TJ}&8T\ !gWi<99GTXZl--rq>ߥ8rg9Lo"dEүB s앞[ߓ^#̇Eݍ7h}w\Њf:Aeh fjWqjB7ۮ}d~X = 4e2kP0zYZ'%66.7x}D~dN llA@vW<.!e 1R%|J<-E8BK\0`hJ󳿳gi+CV6` Ej3hx3q:M QB.O g7ԙEZ,;_jiʠ070G6妰~T!/u#6k{ύĢ":G7mEU#')M'(n|ҏI&FkE( nP`zZߎR3/{;X^?7r)§;qQ齓 d{+>+%bڕ,jʉ>YR2hf`6KO6 MOlc^Pzn>w9a IZXGcꊱG&KX0_H} T\NǻKCG< S"!q4 9u 5݇3|x?ۨK9֫X=ͱ!kd;Y# @xc~à*MQ(~%fj@o1 ]^jb,/yCPw:r t'l_MU*-0Q}0$E#S >rt8kзFoYmp[ےJ2x$*{bQDÄc`I,tO2G݉o$KOSR+;H1*{h+n}&=VISDm]& BWsAq_ε!KTYgQxt̗e=oy+ۣnhyhkūIoNU<vt\{.V(=9p 92J/mu &NG}DS/t`Iu_NS}0)tgi.y-rjsH1X8|b 1%]}kk* H9)򤺭'+6>Ð2Xw oʀƍȰx#6o4r}V8,l&J cv ȈJF\Bg-ͯґ?̼c٦V( ߑXfR!؉U p"??ZR~qS/\F y? v/k>;huCh܇oglƂ|OG܏5\AmQrҟyn1)8NǸt 3g]`4gN=Tżr"B =Gw`[ F+ FN5I=6ں{wHo ±FMG ]O@ jZ HT o{I*#i;&sh;Qb@ݿT\l@<حkԚ;oe4 }73zF+QntstzKdDN YSϑL%kNBy(._q;f}m ~ gd(]p{1*IQ[xDN\( 9&ڻ}5Z6TfJ, 򝞵pPAqnB.RwmAMKah3N fyK4x n*ʹ\5Kl1ci<=w8^M%C7,&zJGd W ն~J߁Ku&8үzSԦpo zǎ.mU {MTξB ((p^sf-YWe̘Q &.Pzr&F̡]`MDa=]~^$첍ypsA3Az{^?!9.՞#zIj|]-q\P<4:d'(u6ɔ-N'<2VH {RS*G7>orkx"f0),IQZOA,i n!l\kXN;NA,17CQ/8g)ReX&Ftk〢QɞV2aȳϺGۖåRU_˰ׯc& tf i\7Xq]q݌RBf//^xO;~H̀wu՚P0e d,nvF/ES{3+E-#f43Hm uS9$VL_D7]W@joX'J `0#Q/hѠ[c~M24q d-:pmngB HwB_J&-}]g:$w86~UY>pUp T r8>ͺ[|fνwa[qx塆A]Ψ6Uh: Vq8vL0evd+-u邠cڏY"$8,Hk(mM[(^mo- P~MG"uc?HτiA&(?::N13,>|@d͇zt!QoB ;% aϬݑ^shm7tx?T7me=C2Z)N&+_ 8\bT*oI>ℊ gW\"/5`1S.u 3FJ,Ъe_)\!VZ| UaFAT0ybˍ]:&d0Wort{zm)|ZuPڬVT._~5)rwt<},T5Y; ~a`9(?^~o>"K\} ?܋dj㹈 y:ut Qp)@QPÓR#*Q0 l2blo wn\T?-uE* %/t1("lS(U=[եw[[zJL3Z[Yü2]/ A] b#uP˫fp7K`|ˉҶԀRn?醕PӶ&j l~-*=φq`sxSeH`G7!-a3yt2rR}VCni^lLI#,d V R..X1>Lхn䍎ϞBIϲ ! ŚNgO!aSU@y S.D.pYcAdVU0% rk7 \=O)ͰԽ%]ӇeѐP)_EF Iy(Yt30[\HDP2 @Ue i'nk%1lKs^y0&5h'7=zc7P)b5e]vE$Cf5h! xXUtt+>LBL5hO}_Y""^V)\ xj7@ƅ3ԦBeVZL*՟yhý=6p)ۃ>#pܟ!#Igg|xa9RAI0E99Jz8v?Ʃα#vm NW~ճ$_+F cEan?[ub{@H=Sw;d MS~׊q-6A\9(:a{g 85M@@0l DÞ68X u #"{Or2Bz;F4j*Ϭp*IH-V^>x&/'A5 B-ȱϳHnT@էlaݙ-1_-%i~nt إ*M_1e!el{/]Hx~Čof`/U;,_ 9iVpUxJ +y"ZR*Mcq +[2$k׾TEL(U³"<b* fqiu>7+0l\߱ @D!Jہl}y0j*ԩ.M[j2 A4|@ Ô ңG*?u.z"gK1oz|`"liNfK?rQZڂJ^_;A;aKցɔ!(<[ 3*%%煡ꤍO|FB`!#|vfrOW}]*ݲO"&Uhܿ`lzMua?3ZaIf*4nfkF]xNuijSg)MCIQ?qIZ!GUmQ/EIf{wRrE?@F>mA'a|x"|>֕\ ET1W$ vbUpEUC;"'}gp_lY͍.k>8HϩX~+Rl%rt7`K,ff^kTȄ_?EDP!hqrho$d9v ȍM mQwSj볙GO0'W r~39dPe'wm8=iF-:8{S \T'42~yOkY}82uׄX}4hUG, /(%zUūt^VP]j;SS\deOy(`5@EAqEwH{[ J8WJFU 􊗎bN$fbj)[ƒu5;jXyP)XQ˵zg#tbkuH9lvY lx9` ȗY[E_e/X&ȊT诒 {X.`¶M=0X6 2J ẅ́-`D)b, wap~Quh@gnpx٥d7= ]D:f(knF1yNP[*x-~_BTWKܹ{\Onw*PhGX nlzo 9?6ٞ1,οb,d!;9@mn1o% ST^hG0 $t)VXMngV|6E7r") )p忶=Xnt*Ġ93)risr>hbfrvY/oֈ|Jy#))U Y 13Bϑ@'bAug8S |68s\#U$Ld(е <wR`o̸.6)}>i6t@c0_*q.9E (?ӼmPloᦩܹ(]v/>M+i5kHf) ( 'uSk3ۤ!IBKDbJQovBpҽ5N-o,ƕ3KxNAϿi@GYxppuIEieyGx$j4E %X-'(N&CoypU[<hrQA8id`Khi"Ьoӡ%x2:{3ͪs/;,[X[#ϔ8<&aЉ~" 1Fu7M}ODpg֧e0)/lסW!HBuKC(ĺUP[{/zl ]̡p }J7tvŮmOsWmNڄZG9>+$#ѸPWȮL:`r%V-.WbMU1a\ՐBY}˶+m^*bdR}#Gh`&u|STmDu&2)Xaz4h"tHCQ RrPDAM2jrGǘE;m7" ,jdA] C}:0_w¹ Ycu]) fn"׈NXk5)fS#j~Q~۳T‚oڐ@ʃ_:,/v.kzvh< *A:7 boD9R[ Hr7MUǎ)OSa=\X6x9p7pa,8kYQVX'9fVʇD='b&)$ {TLѝiکKac0)ek.B=Kry So R-FG]&Xw1ۦgU& -Io!YՇ!xã$^;8rI̦[#Ŵ0"-->v,W0AT(e٥1Ke1޾ۺMY<%4A`-( /Iw: #]kg`&Ϟz9\r'd]V?'EG=1$K2rV5g66t'g 8CIXK]N`X[=u8WgL<]аd&5A~EZ{0iIv=PܐT,of|^P~/1I%#3P[ ѱɍWQ|u .ש#bSn[P3/ y~@vӤ"e4{C's2hAL?ÚײBOYPCE_ڧD-M)NG㓞a&K 1ЭaĒ˗a΅$^kN׻C^Y%1l?nc1l3e}0UL#86_&i"5A(wֲ`x1W%1A.^}nd@2gJoTM0ٯeaمBhc#nަPڵY%i}J8䖱 Dm=my0-U%Ubwh:t RS!DS> &Ι+bybӽ`(]e?jtաe,bu4a+N5>_r u>X `'ˬE˼Op0t{tdƪ#hY[یa$H f3gZŸPU-BlU+|9͒a}5j{b>Զ#j[O)x DQ Q*X60Vj[ 2۸t7$}R_h3WhsgZޅFKpo *γrJwV(~c=gw 8o#'9_]Gʛ12A]'9+Mq^ZBژu資 1gɩo b|<.7޸#gXogXĪ57gčLEfsLT1Up, hxp j9,8EJ |PѮN&[dM˓B BjGz=_υY VM`+=zĞglsKal8wjnvAqY$aCt||s,d `C#˔X;qN,TX/OEy D4!3!A) U_ =C$G,̐ݙ\@ A䖍9w@ Gk[ʯNso5UhWrrrDox&'7HAimq<@1)lԂZ-:ϛ_R]5 B=̷ RVkkjŕ"V/ 2NP鯓N3Ë` "8G>5)RRub bD|umUBD,x\9dn b>ZV[˃d)=c]y:U!}Q3YPINs6 ыg"6wGb.$x)8@Yqh[E|$w">!㝐#)uIDtG)Oi쵠Ou`~/LSLsb^/Jqzjܒgu2{DڵIY0蕖Ilg}Z qx%>_/OxJnu c]NLIIqK |h3&$>(% 0/B`l@X=us1i9w Y<хʰ Lyh1Bʣ& G~;  Rߛ¾ T")PBlQ'xA Gx>9/Da9T/kz<awM8zSv(SE`<80'r,d(W > Vd74ՠƠ$3+//O[?Gah?!@y͆rŦ^g`硕iĚg?s@쾏65<d=-IS|UMӝ:JjtcK8łP)ֽ+G_?ײ㳔26°xxфp|G?a>Ŗ/@=ve CN5{{+ Md!ez3Yk"Y4 S\gSnjŖi$WQ0!wΫc L"Sĸo1sj3%f9Wt[_n߭q׼>) q}iZ VpB7&z@Ll;Գw%zL^)4oQNc~-73Wn T" ,o3X_+& K[VN9gX{ aYbޗ `z X ?(]ZF7wp@/䟕M7|¤_(hLt&6&xwQLsMVmMv>dTj-/.KZ$I}=l7s঎7/1hb"ZQpɯ~Wgy/wxڛ,9K+T:h4 G_yEŔy/Ql%&_?׆:feGu08=u837܉mVzBxBF"äM!]LὍ(g0/#a2YO0^ˡ+3e%G *[/.l04;yTK~3=E+lzoԫ/XϪ 5`[Bx`"vb{qxM>QZ#?NXnpѳx7rAv?sL~X$Gw['BcȥʥH2ss;g ^AZI2 (Q|7wq?!Qˮ"3H0տR^vV1 -?ڇ^iߓZʡ6᠔"ɂ#e)gWI6Bǔ]Ja=#GõSEgHUs3--nd`xʞWusĺ[Zla!n0;E!@DKY{V&,2DLiOh2Mθ}NASØ_("j]Bt8%z/QJ&MI|Ŵ Bh{_T]H[a+D(x;9Jj/@)^;$τڭwW:V ʇ]u"u|Je+7wܢ&[Ծnh^/KLy3@ ՍgjHP Sj+7P%HzMAAdkn3da4C!#igؠeov n`cN2\ڂuFxvyO |Jnh1U@$v`ϸ8W JZ'5 [C:5Z&"OPH) `pч :ˌ뱨p[]h7` -XU&ogd&r`W$>IDER&qᘮ{iӶW<ҴU |Twz:%?{Ze\1 i\ٛ9|~H˜aH#B}2ov ޸{0*0שnj GtkG-Uo u_@]W\h7]l,0׸9R@0.'_Y eHN*&qҊ an@vd$X_UAf,>WJ&o]܇)aA,֠:@5cj:@f/yGlyg'G;qO^;촐Ru  s{Izm%.|^p$Iu۷ s:lvT߸j$FM|"+i'ah~&l]U gP=H_MlW2fqBj:7kHrf >x]fѡ ʴҩ݋t:uT'<`x@Oṕ8rND-W #rV\:e.Z#7Y 1)3vq {vU"-tUȟ1ē&}nLMRTD$ZTa(Ȥ(c{82swBeAFs ZMUW!;jLe+;`5Y kvK&B"^E;H"FԸ W`0 d Ex~pw˞V[.%8_j򖭉ILڢK6WR:ڳms9i{f4nGȾ[,l3SWH Z-Z&6+CpFKܦ< xb*7̒DYy[-fG.a59yk@INSů_ՎϚ6h+^VU ?(&"Ou%4A@3DDIn|{?G :<{֊sEMA\P$FȎ헼 Aap*2+/)yI>\wwP2פ D`PTd ځT:.V2冁:%(I,~iP&9IjW&D<˖7xc'Pz{ͧt,W}؀j\W Iz Y(k@LaRR[3SS% @e)1NA,qlQHr X^UXnJ\s?Ż DvnV慱ftvWY)Ug¬^mfag^Xɻy9-$=n]&)6c%T]ƽ-XU?0G5LQȚK0p%cҾ,uVX7)4jx< ˧cACQW4k!1a. d;`e]zWRJuC`Ԕ"M EK7m=N bX >qrv0gMQp\KƻkePpW~/ GIX 9Fj78ōHje}pMTЯR #tqVjKW-'8AQX}A[@":fQ!"1z?jQ`\ \9q=~7S5`nG+ģrn3tjjCbK F7ޑdu93CU'Q\euwY!?ߙ(HvϢ{Q_5<ᐗ :b.BnU^-j~=%vkYĴ8= #4IH<1ʄӟ3TgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4l * =tZGL q4 O"7fI&\Z+xژù?3JDC)Ӑ< nҹnpC#{Ns5"XKɼy1Ub协F`}qcSdE> i\$HIgШIbezOi>;ƲIS'X|\J00GvR:$tعhZdBC't6s<0hO"Oٷ ̬~G.ν7 '\6.Ax?}NjNrŧϣIoqJ5\r .M{n22xu`aͅ! *8BĿ+FnhO'dfg%Q h_ӗ|E@?Nث@̏7PmDt3~Xg܄NP27HPgށ;: WdUaX5q8Z2SSO􉣬{P'nh(M "ISr]gHA ʣY:* P.!z#3Tg+??`"'9.R/1Dã7ex!5H9lha Yg纛JuM]1']zOV07*6h&Ĭ33] 6`RzC;\q*Q1;qYo"nI( xVIZzKBU]N X)ln%ĸ0pvc MmxNҳ_o)RCB14*;#rWx*0A=)'P=٫ t!VW*AFɂlFM00詀c֧HGHM7zY#Q=]ePuBCA@d>`]Pߞ}r >-j]lj RAh+yǮ&\BvE\Ky=wAx{ 'o@\0#X3 DФM?lU ̹,u, jeuJYi|NȪ0d$ބUjK/}BĿ,Ȇ*}23vQȳ֖":x'ߜUZy3s dM<*>Eu8uYㅚCSۆ sځ@;7A XnV|hOk~?>!eB2*yk`AT{6E%a,GТ(f1N֩{1{(5Y1NOzRטwhXSu$<% IA^h A͊B!P L أ4im-U_?)~am/2њ)N< ȶ7S+\hЌ =kg?^qHFUlk*?@RaTʮ # I`_n!2ք"&&ּExyGё[ؑ3\`+bOtS'S;,"oӻ ZIJ)%ge&mpj<(M|4YM2>GV`r |jvۺ-:,p!d#;tNs "gYZ7zXZִF! m]ŗXi%EXF-XR *Zr֕q>Mf0I"θ!>oÎRP_-com MS K wu?S4+BqL./ OA.J&m^AR]/  n>U9դ$""qXۋ+K,Fvsh,.gvGS(Uj- g9:dOū׽m_gD6Mqٷk/ØNJ/FwS"h<T'A*-&b06U:vdR:O_$ qQT9x418S^▄L95YTոTY .>T]X >g|U4d_ jrhWF` :ojv'WMة,G籲r@ +`8n2l5F|A'?.QZpBt2$/ٿ⵼y2K<ݸWȀbpϏܪZFR&7cJ|@({7QK\)lA:/z0˵ @}ʗz=R~Ԫ\ʭxES48BUpb:B!љߌq",<Ԯ\C3/הt>4n(z#`f"eT5P$ ƁoS{QskA%9a#e)1.Be qWu6ː_6ehi>#y.v ` ?//`F1^gDy;.u!$N%!Rvd oa9!6eO+/4W,Y'N\@p=$ItKS}}cpC ;]O==yW*<47z֍c3TĎ8v0: LtM\)a7:dqo{pu*#a۝dE~)U2~Gv1]FBL(GrX` *uW5+ZÐ?W.ϣ# jc" X/*R>Kn8y^çxG؇D * 4`]G_ߋϝ;4+o<΄q!OwC6n${s4*Xb)`ф(V$]=gHGS'Y IamAdq #t[ Q$VhJ؏wTUETA5ULKb {IQJ+46u_yMyW(pJsc^WzX7E J`䷋G8b(9zwlm?d֬ӱ\(-Ϩ)]D8P%3ٗ6~N]Wtvk6t-q*gzmv`zQܡ2Ր2q 5DW 'dw\N8|k Ods"$ځoc2*w:=f!;~(0LJӘc|{^@q4阓J0܀haIQ&2d4 ԞSUV_vX/9(D3&QA~ i^%.@-xF1 Ү]|IZ$<2k. AUD*->OdckGٮ@˝*bґ'!u1K)d&˵Me GWPi"xA}&1We yW$"& ›0@7t(mZ]\, G?4Nq#ۉ U4j/-]R#\`(h56z ~1gH V2*}$mFXpCIEQ:YH;3.豒¡SWʱ*ԸZOdl >m}oAQŻɫ;y`+t\dϛnw [Ѫc"J78j#ܡlWu(Ktrd257A_>`fKK'MLCȎЄe=38baX@8Ua&ZJe.e8ߗXg94i=AC(m:M3{$zha}nV6W* =cE(!x:B -0cv٪1U߃~QaPՌ csr`H/8TMI471\ED|L]`OϚ=/W[ܭG'=κx9W.\(`QVAdtUڠ@}_.~zJTxkܷ- ِc[bN /P;!bXr( zX&J.h!?z_f5T}}# N,gYwHeBZM~9~M{5X`^33z >9Tn`1:>Bu &^ӵG zfUθCd(Jw-|:-i8h -;CVNPx](a+(R˶';DL/dvj~ZpΫ cÆp CX(cNUO-Y L_nUewwL6uv>L35FkJVvv\Pw8:YP+Bs{*l ;he7*!nIe'lDUnQ%u\Z!Ϡ%0@ǭ,Qvx rup5fRų4r5⮟ uE%[ sߺ@W^s$1OxIv '~sf 7IwEm#K/b jyЇDk$./|eZ1vC縣 KU)KLTo62 fL3,)rvT׬Ӕe;>ZgW2ݣ/^N'Ρw/2,FX؞{gbC€U9 :M޾HI\ w+4" 4GuSMazl t[l0~S&1Kq!ɹ̈o=&833'ij?n۪ k GB*0mČHF^QUBaLuadOrEKi`"SjT?u QU\-֝@cIxN+$Lڬ% UV+\ fX%LlOY/Kݡ|I"Kx}60KZ{ȯT_X ?+X"p|UCs\wueV{舛[cH? U]TIZz7IkDY#foC ~NSǫX#H+Mi 6p ;A0x/$a.\()e$CTݭjۻWt7 VZb5/uA-6rr8) cdYgHD$MƜirr!|?7x 0BWr]4B /"w?΅ \`S}7TVdaJ]SVНۦy7p]Xz󉝌$H`ɗ+-n5՗P¶N'zbfQ%]ٮmE,=k5Mz{6#ٌO1T`fsT7E   zl*g" u6i־~>:…]9F8Oyk)zux&o$@ŠpqXl-:`S>v5)$? rA% iUS;lB9`WY@G<0~dfR+Vx+'X^$'!e@FOS1CNHZn }t@3e'xIS3Vv\c_I.tG4Ixjp+i9omA2ݷ>P{8y򫮪IXz f3ѺJP$c]zF-;Js `Hf+j5yVNې1#$lHue"~YZEb[]m$+zG*1ja˧L~LdE)i^-+ ;mEO~;ލ ,rϫu:N4:ZGQd;ҏ𙦪wLåy2mY,a%e[aM|T Io^`oc,y?7qà {J63-\W-C^ "^d 2\EOěu?{u:Эd.5y+dmSd:`0JT8tQLGȌ0.-*A<ͫF δܖP>gM$_m ma*L'8MƘ*~ѫ/譕HS39.ZoFS8\aGQTPdAP +Vw] Iz*{:{#D_ 6 K&ڔ6zG{O*`B?̓w{)3n& Y#-1:r4P{hc+ӞJN!{KqnB8tkv#y)L䊪:>;db;tژD~NtjE4ylGK%AlTE&9r/¿V]tS7݅.5mġ-(c?Gቱ Esb!Qʽy)=T8^weA=%u5Zh6Iz)QXCX*[{l3@PuW3b >x&-y;.\tzPP7E"`3.(RR(qFdipw:ITI=.2b K1uK>-kEFMqQF%m526Q&MQ'cW¿o1f(_@fpwxSΦs'|QRC&|Ј>0L8F|c} 3ݚv%" m u%0#e38W#NXjE (9,~f;tj$(^8zȢ)Y6",] !Sp7/Ϫ1[f݉„"bhvuHW0&ydž ݈os|& Vj;Ծ kȯ/?u@1khv2c&Ɍ-ěW3l~4n ~2,;yn㆔z ,NI I&BBG 90;|P25ifU.Nla?#b6{)F_TFE܆5*N*.b~6^l}o"¾¬c T:ܷcӫ8~ 2_ }26dE~YyCDc47./cR#FO;XnG@^!gɵUCɥfXəpˆlH r]+  fAʐbZsBbH"xךA]TRaٻ ퟓpUm8ǮyYq 'M6Hx-ݫÀqF-wj/p .U1A(g~<@"خERQ`p䒷sn,nH[PY‚rbuQ۲n<Ӹ6e=bh)Tp)g7DquXn9s@Wauxj^o8$ !xf=KJJm L默A1V,]Ɯ'K (}7KM7؈[yuPfyx kF}J P2$xChZi39sbßwum}y/,Xh]7 ylK?ODDlj%}A1D)9= 7yLS>7W\D_"_{*i51:|tv1O+;x^؛N8Ig uR0f.s|-8|\`G8+P , aR9G5fǜ[lisRRH@<+0|RNvOr2DwG 5[-BMIOHƘ=(׳̤0 = V bW`A""qme_@J S+MMo٤!-WoqA*1S-"zVbpMq'dGq|@]`m0B v۶sq-k2PX3%bV3~X߀~*Py:f]"R"n;]ZiܳE{W 5mڰ.{RdMIRE8kDTZci() |v_hMW+8"B5"PG{>͋Q 4X{K4nƥ ц %-}U1FZi}ϵz=geWW%4)y%E Jg:.CUvtLqǂ-_<~7}d[J!>9EC(Qڍ^y"xqfl>JibfN5@[DɔuIٞf(GQ Νoq"bT^V+ɀqʫXJz32OR:/@@59 -g)@X't+ 5DYOAf-- %_h'*OTd3}p7Ooiٝ/F52g}w:]Ý@uC@[yj&$@(#JF+F3؃{U 3fƴ'2b=K5j<]teN G}Be-2?NQ\i 7 ӿ֣ѲTg^.]H[眭r. OG.YI$-F:&#EJ7qՀDj8ld\,(}, msHz'q7'CU1;1"/Ƙϲ^2K ME׀sk*.RˡtsR1rW?8.dᵛ[G{hǝ0Pqy;ad4wHd&2=//V 88ȱbbian)Bct-Ly5~=Pe*`3)BQdހ;g,ean7qtH"TpUEwYeK|ܑ`.9 "y^φiG8d+|D{vcb#M-H/4A寫\K?5" :N8젔SGqfO ^|+4' \ZʸS̖ )eY{q/%8\Nh}Ks|BI MU>$?:+ݤ9G0EvNËST= <{Dց\|ҋ["Jk1޽ IW|vx:C'9HcLgaCŠq|޺4ã5.DT矕dNJK_ m*eJb&sNc>DZνo9J:{n nٗYB{]&\\φ1^b@"yHO<8JtџYqF+*(ܝCWh"yϺy  h;ρ@m֪ b)]))UnG&i ۗ$_ݔt{+cBbM9{ȩ$uT*BFFbc5v͢L0}WGb# PXLDd|\Yw3D3Yr{: ^A_C" tiG*Ѿ_1H]aN@+,:m)Ew u Z_w8/D{ ?WjE*MWVRrq<߻8_Iίx?Kv^l3Ikgf\e ,\`LQQĥ+ƥס0|9FKV$LVy0ffl C0&h0N'Jx)/f(;UDŽ=QJ#Emr,&rh̦$;D RaU))*xSiw}]5n{Wn8 LWPF !Jy)z8R㡚Z } fF b~\Nl!LhMb ꯣ`.?hE<9 /9U>)O2^}`j SZ=4 1x=:f`k"&61@=0\Fo&N? XFbvl G`0o'$zsr=0Me |Zp:3ffx/DS" 06VL'ǠnBT-LP4~r.=-H=}`5q<{95 : Er$Ɉ% ]^oRgyI\ O*4Sʼ1<&d+rizp7{"M lMtf_dh 1WJ^BrJ4qc,{iZT0G{(S{+;X.Uw:>_0M![Rq 0+CTfW._~xH)wRI_3yDN<=p īY2mrwWm'TSflȨĶnzZl䛌7s,FӈIuLQk߇2ݟ8sK(%\M3b@l'Z|IF0[zdA?W93vw&6~ FfViYHլgqNUہ*J"G_[Q]B-\5v}ۅf Fv}?`dow: \̣&B[uVdbnm fuT2;0R*Nܜl?-Y+ gF#7"g #~غ?P.1=G\˔pH S!)0D:\hYAM톪/&t*Q}" mxy2(,#c6c3έSФiY,I{8ܬ]s]dI BA*^,AVnz9!7BN#{,KĨYSMWx2 Q솑EqwOW'hG㐮H<+Vsn|AO!dHʸd3ʐ g!ƞٻ|ryi-™0qG7‹/ӷDKX׋v=նmIjotEχ)دN9k1[(WGr¦M5e۔ׁx60@ə瞥W뎶4W]x'_Zh[bn]ex: ž[47RFolɍ0\cll-JuZ[P(IVErhC7[=*d߁O!le[/o`NWրqWPA:YIRym -RR!LC?d0&&o$!+BA͡щ /ҙ(]*nƅD·YVW`frpٿ9"/nOBF=]O.EBKĐET# Oԁ2O` Hԩy!OѲBΒH؅Hh Ih ]B UCŗ\X)όD+/qS{bF5X#A-} 7ut70US6QG i|>1Їʱ:=_p꡼UNN8M /Z,Qi(M脭(ʍ`F10h!Fp?B?;pSK8:!Evҝ27VqlN{\m>%R̬A9pVC1࿌i:$!R݆j5IÛ"KKgRюz-a77`qgkK6v*T )@u'A 4dow^f‡flo|);>n<.]t2OAKeFc=E3cF(bPN+؅B5Oޛ@p3: wrS:QLAM)6HvEW.s`v2og/sXUpџ}$I~S8\Y!+?)C$/v½K!v%PԿ,2ʠMN-z_;\"C:_G{Xr|[e,;k϶4C*nh ;^;rN;8'h.+s2~Nio-$*)9k\ $qTnVpJg1ԧk|7Il '^|5Ql衜P9U IH oGb_+մ)Iwz\c/IxF>ziq]Tv^J*(ŜU?vh<` f?G%լL,_EU.pػ %PzpQ1gx %0I2Qj".S2ĕБP5Q 戦sxӉ kQSM#:7_k |.w=,QmUH#k.E`^W@"HqF~GE!ͫ]ܞQPW+\Ttu*/ GkV] akR{#EsR~f&9{-X6^2{)"׬p&-R6wcC~7$.mtA&\x3@x ǧkЁn%3tEXo@#%j8гYH1bg@o Ҡ7~X¤>݅&w2CaZ()m|3r!~3|ĉd~:˽ma]&JTʣ/Ϫ`|WuJ$RjV)$&^1h.Y U`Y%&xkpŕTᶫqldE?8}fз1&ZePYw5庭5b^L,p$nGD'D\@H$`EE6BGHA7%<4sEJ4kĉOV <@KɴFuRo(A,Fh:AHV]wF0oRRE"l(qէ`*@%V)hAYVW>h[@,gg~䧂 6r_B YgEPlXc!fEi&rwRE*LrTFOVa?rᝳfE l>w`.,=(1p>Kj𲄷<^YO$?`4; M [kl4FN3kf0Gqih=s$lLT[㱩^=DmWY, Lq"4DZKeH U`LOtZ2&@x:SwYcT:~4@EFtHsG&qSIuj1VYQ(~ۯ> OʵQI'^'u iU 6|# hThwy*bYRʃ8ЉNDQn yjgվA&ڞ-|O)ў>D  ɉtC/_U|.2xP {=l_Rzvτfl&O19#+)5ꉭ^:ukAAb]`Ƥ8gI]&)w%E:mE$ hXfEն ̞͌\PQ;?@]5tLXtq ׆L00,$& .;4b+)3Sz\*yneS ʭ{== ߉;kz.A&t&?VV- z^vJx;Xwַ54XIC2(BMDqLJ' 97+C) jʖ8v*{4uKևDͿp<Hm-y|z g'| ?DG򳑝Dخ.&8j?4D+cW]h0=zl#7 TseQdP?0+M|rMgG8{:*[(gN3/ g#`#Vhr|^o$'m],?mH+C;pLD ϬTI效l_4W9:˃:WGWi_C^蛎_+F]AI!Y.Dݕgh B|g o>cRMa1.u_ix߸ 8fHu=;b 7{ #9fǮƅZePO(9>gTfXM!疧>&MCW6&h`7yz@3;j3EBWFh虫HIe۵3jtƭG6-iPWUȺ2<]2C|V'l5Pʮχݭy 7_R-g3EYHYFWh+o#dSdp9\it̏\ǚ kh]آG9 ۨZbS0gD.9 Zeo 1|r# 07~pQAƀ`U&>5 '*vU} qxS5WM+ zx@O& \|៉iq9ɍmQU3_E|o^+U8)]W`ic% )_O X|aQ9*/v =CO{9٫Qdf% kn'ybV~Z*:c\Z'4&ej%`?< q~YxNF>{oE)lR7Xy6#T4 Y)<-K&蓍qgLpȨQX*Ez}w8,MSo|NŻd,:mV|X%oiԼewiƵʣl (LYonKbD#lkW0㿖:åj8t+Ơ~+$S*U yLnp࿸t=$?aӀWx-MOl)pfWB0[W8O#RHFlur{*k3F +DC~WCnuD>&jNBQ]SOg {}-{3\%o~W!+2e^Cg?980QH.²ַq<@&QAq%rHR߭ +) /`aJL|'n@zB瓉P-;d*kH&cUCV] XOҐC8Ulg (bZT ]@e^TOQ)މuHAF!.>H1޾HRX#ҷ}bp}Fvh'c" YYq,mzR%d}ωf2e-x7c`} L/3^o)w.fVq`v!i:9A |E,6%2|Ys ML3!) @4c٥Z6WgC^<@ϔ8vSSӽ[F *M7%F P? &܏!7GY~keLoIi3Qj55+duJN7OW9s(]:Z ah*SORcJʉdX" §h終b4"*W/V9 a]oDuEHb4MI@#f*/!E"!{wA%lfLq$ m e-#@l)FW2 +Cݡ5 @HS%j!">cXIT~`jM3Eaf^O=Uy29Zčx"9#> !DYVd,J1: "KTC5f8b hBYtDaL3aKyB@]?H.@Mgg'L;''y;Vfrf-{ȜeRGpP3 2Wi֧jֻĂ|g/o'۬#DNGH~clɒQ(c"GW&HGM&u:+Q2d?UQ(1US4#1<m H[+xG$ oh\9$ ע V c.mtaq;׬$ICGlu%&A~Ϳ[q[KH7TI.] |=:Dkt8g(F̾O3:B m]@k0MvC⻻&]Q=dBv:}Hv<3moy"Te,M//@K0~6]4 sl0Va0ReS>Lg)~jA^?;qq!!4:TM*@dMM|Ϻ`V g zNP<,_)b[+jq9{N=sUX𷅧wEhoWvug;"F~ᗭ }|v?QMy'<⸹#H( >z>Vj9D8>DPX e, tˮbtxޏgmK8Wt$MJ*㺗{dF3iNPT2g|*rG狷ZEU'k-<շ eT>) $ iHDW@B_|].'A2$R7S(@()|d׷\I Bc0 פmUl6=E${[c'vb\ =D2c9BB /|N3pz/zrM70_MiQ6El§eӑxi#1ʷn3 pX2 ~uihn* pP >)l(¦s:KQNcm+@ vMXi/#Zq=wN ,wMCV# WQغj%}7k-g Jv|/5 R#"yߵϊZ,ݼU f 7שh4YṪ&Hʊ{AI7Lw=IᬖH GhL"JL,.Y?'3畊AiqC| py]j%Ι~@8*jaP<3ο{8Ƞpbl26 1AY]B'ߠkLl*.T/+f{EhUO<7eUNJ~6 `^6߇gw'@Kcnn+O,#xi٫ֽ4Ww@ͮߗ]\5:tڟ484{o)(:JFP)r51-{q|k+jPk$1.iv[ W>DE,-hzg'*4}W [ [?JsCAؠ1>;-F1]:<&c1H}ϥXv!: b KmL¼t!V^rG:DFaXmAJ/mS9uӨIC< ta=&V 8 ljf~ԏOGp:\j,(->_g ;Q`}UeqqK˓eˎ& DZ4;+t#3tqJw2 lWJ.&]`?[Cj@uBCE]nffT2z1ţ=~df ]Ո"ԇՖ0{Z E?U-2 *.<[9<p-ړA[i[@&cUH ieh1-e3*4AkQerҞֆDnxfzx~a=oϨM~y>p\{TAL{pu~] ܃lms0-x0UxU5)Ӥ 5H%qW3ԨBpU/.y5и 4t $߶%'J뺾3}2^Cc#5ZA{r v!^nѣ\/ 5f }ҢV^EQC1u-x!O;? ~u*vz8Dj/33ɋ+{Y3!e]]X I8{gcff}Y%["Di:JIp&.}uwi.3Q="$a.gu!0ʳϒګS?~VLEF=txn0^?Cȇ),wf1\M&*AaOOA`r.@M}mQ>xVɿ~#E 'i O`PS3s }Ȁx_;? h4Ou؀*NC"hTD}YkyoAxIn@ٱ15D ;+#?K}fc-lehj绅s,:zK;?Fdbgkq&"6fVn8yg;Z%_7 AG^ƞ1 \mˉҥ_4t(`17Ĝ#'eU= w ?4e`Kuqq+^* 1-&o_9!ڊ|#%QSz{k],]e? |~EUY&ޓ&ݪ^E`,Tc?`ҕ6B\i 9C[  :*xֆPu Lb:yQzJsZ ; {2h N2'=꫅Q1)@N:6A#CW3l -Q4dE|^TFuja|}&5V KQˢDq-mFtM ibcHH $0v_:b9Qzo. }U\|9Q>)3Wͭ#FTE7zgB&r CX>L1&,)?myAL-PGrÀb8`fr~ Ԝ*Z`Lt.06xld oe8kP3k=/}Xf4ǒJULQAWfZF_*l> wJ{"Y|ݝ|-3DžE$.aT,bh] xzq(8}N&FbG%$j$Ţ%n.zieÅs>z0 xvC[61|Ȳ|or ;73ږO)(![)vy xc֨Y. L/<)f!i9+Bh`zl]TJPh7:2.L9}$ L(Yu:S(NdlƷC^ kmo9h<%X[Z 1:NG5-z\[41&>DDhhסDž߫(oc ώK)*IbXdq>,rzg'z.&ѹ ʛL10IdaŽj5(X 4k#!IWT e@]pa3U-d^:˯nAn?g$1zCGC"Ԁ#\UtiסS3kQe52NkWm[$KݛsK4K律 tsiֲKCCd}Ti*qP| bVALkhM)1CFyV@OzȡB}uFyG#|[Z5TV_<pOb{Vvswjx0`GӬ˞/Q)>Z`X裏y$C΁B3UNFrbEfy͑+ }{ۏrv]W QaNFj Nzgo᥽"'h;c `C13ҍ?IOT2:"z1ϳwM| I#UB6@=R4X+@9Y18dwM;d{B;m\ >1ZkPuH5NHi{ ])긷k(&:ӷtK@6l.N+2b(>@+-R_ܡTC;Mf 5kFgjdXU)auSo+|h^$HUݸ[tcWN57&́b FXQh -Wrzw 2w% +lB6)6/ݽr>p9BW(]:k 1#%زwN4.~ \lIЅC`0;ϽxDv[[wHNU /l@Mp] Tv  >jYCNwX/  tω_980b9dWjh%Ƙ'buچVq ذDxzF:m.+UG `<{.x\ 3O^C9cGc`Πz7AKz+%PU;GMO90GJaA aXz0U%1vzfkV]z51;=_ԋT:eɥ5-rmUi[OYd26Y@1ޑ4norTZJ+][T<%CI~  $q_LT-zmXfWmQ?%p]ShSZ&2E#4aKqߙ C*\(9,|6rL8 2$iy}]E~0DeUKv 2$6㢐@D9ia1iMbl xR*Mƀwu0[ Ȼ+Yϸ?PPnM P:0+$?qjɦKs&es!3:8b)r#Tv d;8dE}=ta5Znx.odpZ a8`5n:3tE|7LFޱ V.2R I! %{>@B/mfgST#UޯTٳxc:&O&q ^x#d.k8Ӽ[ ʇ`/іZCpwdg8gxc!y "+oK"c)~>-gYZ3cd75e2e05e4e820c807b11cfd570a64f68833c86d4536567a2d054a471600bb1a15b22f2e4e18b7 17ad37aa59356dc3b6833c64a9451d5e4da1a182e422d02ffe85c656ebbaca14a32764c23b64afa6