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 VV~5 ]S HOL-Nominal-Examples:threads=2elapsed=569.257cpu=1029.948gc=110.176factor=1.817zXZִF! ᄋy]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[F\8|=$gK:TE/R MbCr D]Vlqtܮ"{\2 w=-_4ݠ>vQD+qzbJ!8mɋwab/kSYKG'492Lb~~cn?0ӀkJKZdD)LAm8ɻp(dgm\J$å/m8 cCk;8fzSl?^'-/k>GR,p$drl뚚mTR&4>žlgoq}`1Q Vyfǖn N}_8pB_{(tA3`q$`XХ RUi;/ӨmGH:EaV9AkwyfTZJ!ξ}zO@98}߀\qemH8UjԊԮ#j NQWs'G}*LBaKGk5/7\Ed ?W gݛ3av1̷ZlÑun}Ij[fh=&X2SBVOi$f\aBPCg5Ov -3.^6nރxBΊDQM#MDV)2UFUqw(-5zbqmQ zS0o&_5j4Y^$7Ωo/#)s4ض2zW8O2vp | >VSpO h\F1-ħ[УmznVR 5nZfG/R/h Y$&zk)־gn)W_&Hٴ5w!n? dA&?7b}oV8jDQZ3AAK0/S r:beKiJH&?xu* ʙ[2~"{>.t<=dV`@z'b}oNzu3f Mp?lJe[ tuDŽ\/'g<ŊܧDR;Is-}PLgaIL_4vم>HK~KJ-liEÕOXeDZ3{˽y7#G (.RxmȯF"*)xtޗˢZ]mY:bNAqxgO օw ^u_Ӹ˜^ g:). t]Kij{Ao{zP1ɁvyKY9Al*m=Q_Ylq,Sy9&*Z}‘?>7z^`t]El YHJ^Yѭ{": }QK-k|5c?rHidǘQ{>8f,c؂@U7|ɠ^Wr04QbdPA8yTRu!DP’@@&Ѧ=gb#7cyrLoqsp$ __ Sf#M⣰ɔzvenb}%$V-#}6&9z%8x [,ԊN7M'jL@{$:,r~/gǕeY4K}X$[Q3/"! ڽ=բ?EaS! Û '3AR1e(J3f؎z-M7CmЍ};XQ T?cA=a ̇5ǵEz4R/޽ ؘ/APC@϶*5ԺK,mm[h~({ŢT%*j7U1i In9/,v,uҌdQpֺ;g_6! A>;о̌t^#2kaϴ95 ;Puk>{ppL6 H>sMzCugN̈wDI,;, 󾧈PޱRP^7:MGt3T;HS# MoK[Zu'?aϳ[̀0WKk[CvӪ .q|Gl^z"UkmPfa[RH=ol|v8TGcs)ik{ hOyݗ]?里XdbCuďFv67sKF uN-^Eu3DXiUɚrx5ʇOhVଫc[VVWLwVcb:4S=I7lh׿4B0 kOL{E#K42R|s'qN;(-)ٿtEVvk#fCd@b<^e`ϊ%A4m~(^jŮo k@trlᯞikOnb4`Z)⤐U\W+;d|' %A6hVQYL.,r7 L8{ 9_̲2NM8,ڭ*A8~QȜw|gN0Ņ}'"[yg&h"o0<i嶢uop߁܋E%e?YZ't`_lS^Вo4_[ɓk"j`XB]{*)+KZvP}Y%rm7ǷbiS!2|0]yW%NL~[W:M+䥉HF]ŘAկ%/rѬPTY+%pV BbnϫMv'U?%nAXJRi2Ltl,.,!RaO%c7EҮv[ a XUGoM:s}|L1g) FPzC *ՋT쨜ٶ9/^ͪx/P/~UVޚϱ7TL=偡Of1 ]5ނ# 9="?WL>)b5}&^cR5ּah>xeZD]%kwVah*O<`C2'1>7eԅ&%1˹wU/-Q'7̴lnZe5#Y4Pdu1ZrϙDC+& H!{Srۣ)e Z,M6UT؄uCSjtķ(75ң^-4ƀNӛq'A&_K?}w ߼.RoE_7Ca"D:mg%NѻF46-֞:Z]TtX xX0XMoc@bq;gnsR;(v-@VwvɴG@6 4]A?eu|>ln.%yeH((̽&o%!dSfbL+vC(dӝSF֣y#0f4Lñ4# Q-ݓo ҘwF3RRpwp8[`&P~PR}40P^s2]pvCXp=@CW|mՓOԯЃ27ՏZcu0y4nGz$גr9X+NZ$I{Rk}jO姠o"B_#HF,N0uvQ٭N/vIm _|,)q=lĬ~;.Zm _jйuŶy(rkO5!>Jx8Hcf/e  \DR(a: ʀ ٤3mD$ z:A.opW1>[Ɗ G32A#4{ L1&4R:jt7ToSٳVgڇ,aE"]r-nT=% ;,b[C= a5'%Z* ; ViHٲz%P"oiǗ@}o^f#N{cel8H}Ն{ XjZF}}p' ÐehOW=20u2\y,>ǾPfM!AmC>'\2Rmw5aVM~dF^t"Bݢ:4xI4]*ڠKGE!Yٰ%0=g1#ĞT Ӻ 1XޑFKqVԋdqP{Ef}W1&H4y''œJoDZ.&݅|Ɏ%6 H!$<#qh& 7/Yn{ܙwIvKGk3P5珈҃t{j2Y*(nyθ] IWAuAŔ(Bn,ީ}( ql6]Te$@V"Ŗ]Eu(Iټ/4?W=f1#p u(B*#dЌ7V8q&H+*Lf0U48t$3z}sL+C׃'1`SMқ'#>}j[En `t"Ec\xXr IN7vg}3pKY)dk^XUD)\أkrE\'Tݢ"̖#{L4A#s >+} YӪ' dd0$DgCQLR2"W JѾ`Fd0K.RH<:S1USg}UvA-~[A\ u;9 },X@l֘PLvib1[bG{tsh(HA=n\[am lFDuţrckOYf7΂gYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 aa8=!ED04'{}x s ]PgC#;OPN E\S]yjQ~ɴ XN3Wd@`)zIȴ~@K~3X{w zO8=LnlcYZw PLcF8Cətp #"S΢3'1B8)%CR(t X ).N/l$| 6_YjأUZ o8)W0(%J[D;* Ӻ1]!홳TSq֫ 2\74S8֬(g]kexK4p⻂ȱ} c {K&]ivvE@UTAD|uP^\ (IfLJ&8Ȏ9w/5odWi't`f7<1WYԿ1hHNh:Ü/gYZ7zXZִF! 3]ŗXi%;>0;.ĢMj ֚ 椓t Daϻ_,ާzQC!!0? l&a%};6Myr8^@:6ʀ^`uYi5d>L7IޜYGt%-Z[R07qoRn [j!iraTa8T?~>StfltipGE]BC!H z+M1hNQ˽scOQJ1M"!/j Xݟ.D m {v0@,ˆCˎW,a:ElO __"eܣ$'[dT {Im'gSTJ (e{Klmo1ߢ@5\غ!RҠwS'x5<&8s@EcʩB]z0I]61Gg~r"btf:ov ?>s}M3)(G`iG`LeUvk<@KS :g:X wQAub1eLQ}D`nph^ς8iTjPʮ"fpH5TiS'I56NRT'C hp b\*;Sc['*4HkⱁW5Ht#Eb܈LVMt1w@%i@}/$IJt6_c@A\LT$5;Y^FU5lUn)i;i{OV/rك\|7zhD@`i!gExe;T6<>WJ*Z7P2Ʒ8,T9e_t5e6gWvi*fw+sM|9xo\sU8sb <,2L~>z {"I*jЗ5cvǨ%7G [m-XXTCa֢wh&\6+[ &:+xeQM%So D!_Y*bg*ٷ!22K5r1(ǛS9Ik%쭈ҪB+WQ%y0;sOb(:7Gܾ`H?rr7 (MzB"LłׁMIaVl|?u^A{sIE ̦<"U=Lf/<aƂ05?Ф8AR%>K ^sTF6q;>̏Tq2!Mu;A?):~lK1P sVe@LR9>ν+OE{ix).&r$;&>P@W~dύl<ބJ$/Gℋ0g6pwQ =Oq=+)e*sK=r{gc <4tYH&eN[PdIS^z1=򶡿q=Kl}&"*|7JtZo*KO gJ36nPfmQH"`wEse{ƌ_>-̀[b|nM uG>76(R['MdCTtlcZ-V'߸XsGA$.zE- GРn2 } F/lżgljQ-I+gM^jNhm 0WVصǥ;5L(s; M8??o. Q*_Tk2sR%3C"bSy@ Ou*1J hކ+S@ jqzH~QY?GXJÇ`tZ:V M1Os6m A<tOk^s 2` Aڭ)m w̨}9'F:I,$vfNiTX8'Utj MMhLnqȾ5Q)lڽyAkSپ_zZpo&6?EzcSZ䑕̲smFJr1[V~ԟ2'vEVev+D.0nd!# wʯ^c&Qm-\Ȼ7?u9yF2 @l(B|yS3y{}E0Ԍibޯ]H"An>zwՈ*]l4pm+"E583 vY%05Ƹ-4U(5*0>5Ynh2۶pn3~niwkUQ 4ku[@oBSV||4; ag75Qp w bGS FDsX|蔻Q[GP#Jл0{bwJ ށO'F̧:i6/1& 'pUa ]+3'`JS~]B.3))Rb4WVm}}WO%j o䠴araC7Kr4-0,yDYWPl؃E~)A}XG@_Po!wsTad3+$A99>#䔨֊]=۲nRΜȢ-)m}@N¯m:TƳ U^"F+611`>6Uγ#6>Z&=ig٨۶zΐ\c38֓tz Y"Um&oޅӝc?{RU `)(F[u"l FM.gv[s`=(|Dvg5Н4flG#3 _b@~@Q,q>Ӻ N-:sZ; ^SF(;n8xF?":y*dkTIo2dY$;o,Qݭ>*i̱Ն¡Z:jd}ncfvK'̱65IvJǮ7,TtC1k./;=RGkyV_NRWҴ鏵$={C] L[K(2?ж Lf,FMfk+n`o\P~4MͿg Qח%rSኛ;'VwwXk)RMJwL@OYL"mFw\Hb=\X_\΋v^yMRhL/ˤx|%mW ݱ9EJytf cj)=Y\z"U[´!7^iQAr]XoDItAC֗[L(om5i` a-JQ x3ܞ͵s/1Ki1N>F5h'8am'];P!~@_~&"`,2rAsfmW.e reSb&Ȉ2+BIWoo đgw/Nyj-bTѴ8 SpӢrSm)`@d\-t:+Ī\c(cdQf'ry@~U~oyp EG/L.p5nCt1AFbڎ**ءՌoL85*R_:~6'7^) nk}]Ȇ~ͰjhKcZʫ;08ݮ)Bs7OIi(/q5,#MBe8ިw lepbTsx*5h.l#Иί+S3 \+W01l}dl.'*ts7נҎs 3' &Cv5$Y(-;xdL7bwq$ &hD8gaHR F f[/.BnK:`81غTbX&ߝ%G"[YYrMFd"qZqb=ô*MyfϾgQE,x%+=hkx i\a%-^< * f\dcmp߮ѩAM,gݫzan—-^hDҽjjXPlcP@=z3VJ넿e67J `ؙ'R\I$}$ YwRUpPwpD`/VG٫p:W֫<^R@ty!x3ppMlϜ'ȑo'H:@D{w0_J y(INt3!UA}گK7cr ͻˍx)Ǩ3# :Ќ[#9U/'7J{[?}aFZϩۗ JqyZuLrVи'A—"Z`<_Y)ݬJn=¨wHoʺ#zH/?opRIfxEd"Q9>vpZu"y'%3mL?25`R)dgs:JtwC=pL?Z0gKV_8&R&9nJ/~7&D0Owl Z LEx#n' -'a\lcIվ$5Sĺ#Ccy:].kdU/Tt|K!e5ۄ` /n_,, -o "!YVկw ;T8Ĝk !j'|Q#+jo"pi9֫?c+ 6u/X~ ɉj0F k/O>y`紭iI4ߔk*!}H TbY_NQOzR@BP:h w[iM.I*?GB)s~aEjʤe7zo2O5H#Δ(sT+ rɠ!{#:3p;{7U,K ;?{+8P$i)_<\G 04^Qwa%YpYϋhqUDQκƧza3(Ahxtf&SETv)'Q?({e1c mcuhi yi!EJf5_5;!?X$rBH)|6cL mDzEa/6c@Ɣ >ZgUp~3tB87;U^xb}O(4 &l ԥ/j4`Ş/J"$H΋\`e^ W2%{OTC(sUs A/&+ۦ#2E9&˅iOŠ1ohAqX:]%~d5̖ v\Ř $07F\~q&$,i@s_O|Zwc`#_u &{n#-pYɰʔԴ۠ۛ`>I(Ա:fna`'݌gd!R4xژ䐐sq"AkNk$7-nWZ׹0̹`2ͯGZ|bL{DgI?@cg܆ɫ҂\{f9} aWZ(Ao_c|$ Hö)+YŇ D2w %ե1nЧM!,ːjTʗ@2xq^"R :$5A]#2e8D'IY2š``OVՌ"Y6=3Egٰ2]:+[uA;w)vOkF}&u^N'zfK#c֗yð:Xz)'Z^<(PĦ㿒K U[뷈aa}PؕI؞-&RYi Wz.P D4&9 +NR~ (l…}F`[7}0j։"BK8!irț%)9y+QǍ*™fSam)&t\BM'Qwg%)_z:ғ3venV_o\9襪L2PL-Vxr/S8ILCc8Tm?kcFMHѼ̖2]£SH%zikQ;4Mw/fo4$wi\m)>YD)-U8q:JXW13KI7_weGG0șWE&k3sV9BP1y&3pfOatHп*[/eRfSg)M;8 "UiQ.,qb̾[G:uCWHoܘݤdutᲈsl/?ZfϻBuYR"Pn@Z7zQA&s' \DՎ02G6Th+WNps1Y%ƴ鐘ry};PN|Umi0U™}\,B (`LA)J5ޝn1`ԓd8Ϋ6_ U)v{\8c˰[G`jRZaŸkր^'NAB/'_4gwt١lG_w*p'oX"V)9Z6ul8p#WM)g巘{n̓ߘerWY$W`;sn;clԩī+b@nK9i^Hz`m&*Kؠ`x4ߏI5آ9'znot@qi>ĶGK\b2fD%;չ, Uۅ>S YWVj]A$'!NJ{Cn t YD˦G{إ=4G |~yd;T*PYkZѶ2*жhukkudQS5@TL@,vƇIlء9\")iܖ^>:IX+WFcR&PE(!3OX( ߡFPr?  )n#MEc x~t"> ^5&FW)2nFiCVxU(nṰuv p¼i.^>sa6GlEx$ SgvL: 늟C[F{@Ĩ`X#+oLT v2#}ut'V2p4(ŭ$Yu "ך`5=ܥ%C쫓 [?)>j@@#.ĩ|kf*.{ze/&yLAV;fPs[ (z'3Z8sx黎#PfN,`k?Y{CQI4hhэ`T CrV/o7GQG e}1;(_]kK'M-~q6f d$>/ѥ5T `3ߴ۵Yy gJsxg> tWk:}-6/Aa7+ #>:Fh$֦K^#PUГ6`8*vuosg$%:˦5xJ2w^^@^KA_ߝC[. xL ]i(O$Cc#jjQ~\w9:Z@b+0tr>JIqÝg+jMFX$T7ƼItv`_>Ar!}88W"C{MQgGw3+iLж"‶ *7xooX{< KSJ`eF;fpvt9\cX8D3_~k9H@6]^?:+ԚAơ @@$i}lf(@Lݐ3vω@h)m* (tnqF˺ [zug_~p?yx{`=?k6W:d+a(E*lՕ~Sp2uw4D.cXٛdֲ"HUu |8^K+ e .yB@\l$cMϑ_XRL8yA x"5/ Ꮸ(I\RJfU:ei)9r>%d,I-Ԍ5#(bo ȕ^Ӭ ?|е϶Qjq5-J1=e͠8:.NĂӜ;~剋l]mmmJK:zf=J/h평cS-#bďd8' V!IÈēdq!~En0_m͢4V^U 'tt ` 0?G„oJ`/`Q+ݠ-16/GAn@u g:HY+,Ì؟%M}p6mt4zRIDEb>uLwl&&L%$C͕ܓX?D&jΒ] .`ڬÒ^-aoW`~T~Qi ]uRUmsTEmu㶜|˦a.Pi!~K;6[Rl죹* ߇Yn)Vʾٽy 8)9OF6b MʷUw,__V|po\dƬ {nh}ۚ`l!=@у^VR{O`&吏8#֮l{x9}1s_y.a̓nBdtRbJ^hF_ ]s,u$?^U죟*>*$,_yg+0 g3b]z ]ߤGA ] xy+f sߗh951_5;eNoLAL%qZ͸"S2ʪ,K5ZK^kmf.iX\kEUU AM=vo&'"J/^Bب#Eh+Nc PCh82/̻iSZ>sXѧ)Օ4U"F@#&*Mn~Cm2i\ D:  Xw)kߊOg3yA 9y7FXρ[(dG2fvV+x MH~Dte߅aϠ:%yᯕt]oj{(?S!BJ[ƔעQ`mRO$V<^j;l0U)z3LQcݩn;ņW=7'a O0"~'{ szҾZ- mlOa&ǝ<5ZmT _t=3`eKv6nas+T@wjZs$%}/xKDTc݂}(m ]wשǷ2 $%To&>HZzR:4v S^7f9n|AMkgА1qK?(GJji)BmteP嚈QV'N/CwW##AX+7Iu*)ݼkٴ;˻ `j`帝 fD%~N)r:3 >2{Z^jo8"`.4 +` ֗E˄,|J9sNj''wHIL0J[.5ˡBpPVaw e10lL[MP;:/mѡ\4j(g!c/dfG"9Q٤@:fWOYr_xAׇۖ Ɖ5w(^Ih=qu'WF ;s'0\EeGdߩS>a"P% (ӳZ= b^s>1km]t^Әaf[F0@s*zt-s)1㻯 / GV^+7lh@EUҽd)NFQ6r.T"yz7I N AD*(D"/nK Dw(z7+}dg%:nLV.HcUGUټ#N8ly+XQ(z$Lc&-~v9unطQ} ::I9=R"?&)q)-4۽iooM#m\Hdw|O?Rܹ^z/wxz/ p@Zd >U݄ a7ro܊soιRW̅,QxSĵB4/{jo_aV [ۖ{Cܙ- ˯X;+"}[JSIe񉏤5ڸuk3Gqc 0RV<)5CLK`t61e4Fa>싯g4iqX,t*,ْfw=ԚܥҰ ]R.]{[}ė{%]qć#)2W[ߴx <ߟt CTCnOYJ L(]vbݹ7Xr7/^a#\Fr`vH2./ɬ> a\}%~j@1_{ n؋"JgX+)_Ay!pax]\aT*yPmR >7p%b̲?몌e YȴT9G:hޤ&ٻ) ߲>}=9aʕs Q*pH:u!PKyi\!$5鲾  T{Jpߋ;݂zp "D8>+;+KxhG92?3vT)}_ޕymT=|yS&MgH͍pe;D1 ^>ψt5(n *tjmU잭W /Xg.$m&9sHhEϙ0j[IӀmP\4Ts`8W/Id]ˮrI%+bd U}]c{ub<¼V>kcQ$sq  (Lgg|-崃=&1$Q®{ _GӅT`::CM}8l@n(*1M7?ץnds,5Nwd&Ha ١kR 7~^7vl)7Mnf2ʶ {ipQ]ٰHFljs5bkoWʽN*ֱeQV>zq뢔8v'b ,8- I_zA}m\u€9ȵK٪j pE&` Ȅn:QMe0UO<Ҽt8_tGs|!7[zlQGc/XZ^ue$0yR4Vό2q쮦0Vzo0Θ8́5=x =8ge,jL~ZI{,cGpZir% @=>n'sʰ(~x])c3qfC+ Tk#w`3VW!R{`R'[@\_Hڭnk(x2/3w 3oN+t/vkL)V S+Y4ـ2[iT?"Oc26*#s %-wXFG*BY/H\_YRN3h.}`8PD3_t2;BG fd VrVJXIt]{/텒RLA^=!+5,Q|L|SG7'0gط=R12mouhꇖ=Gf @Wz퀒qGǢ,z0vLE޵-/6SaMXΧt1C(~0ryđxJ:0RÑ]Q٣4C€7QOYUt-y 7-kjk5Pbs4jE_۩Uă;*p9禣U Is.(,b+ 8r*lBE lK}Q)ʟxX%W8`ksBY_2! ;M2-OP! MYW 2>!\.2G&U= W!w-#MIN]yU[r '( yeUmCunHt÷Uk$Joz,F85g'HU<=5@TO^ɿCqj*콞o޿$f_->e佬8ϝFTcA^LԐ= `g$y0-d O'pbLl>8,OY^ʨQRMX:{@` yX6IA _o^ s=h%`}`Pr`J5BB{NhSGܼ܁0ȿ͞X$- 2(t5lX9Sʟ*6V-&V쓐i%~jۂr9**85MA8XwzbhI0p5hN!')ƒB;ѐ[l֌-&ag} XSʧ/%y+,|?:^^z  _NtTp;c:6}ucCBxdb@Zj]X א"[|{ * jP9MxUgO .Ia1ʮ拭1. 1 `%?vli )_&;PXcYSeZB xlN{w"E3Jb-O ıYO?̗t{X23P8((!Zm N5_Qd:v(ڳ 2紉1baXy<5v@*j;P8(;-g~ѹvg S hq:-bpR$ٲ "5.QxIfR)Ԏ&gdԎ FC$E, I(l\Kl#/m*[ml@^n{a^* ¶:GbZD+xG[{Xd:³ݻ)/=(`Da!AJ"Adc'5F8@)CwU bpɃ]](4M:J9mTVr= A5[P@)I{_Awq`~!N}F}(Zc[Kn%VhǗWҊhIV =f</6(^B= 35w04 ^o=$%\}Pnj "Ou1ύx14$L2,Hc֗~C# x!'q⇙G vKkX-ܭj) ~S +ybGx1o^$pLpGgEfތňV69T r^z"z̡)q[jF)Rm`4Sp'dB\) 4Ρ ݢ=pʫ`J-?2K\fnk6f7ޢSf}q@cbJl[ZaG) y]99"0FU❥k]]<ރ&$HMDVp~*0kwX!]~3'4gos{~u-1Uc1M#|91OOğ<`}!7*^1ǴPߡ,%xEanRӥ"~/ףzAC=#h%7"~mEw!)*b,88]pќW)4=0VXm9>93F6 |hr:OtzU&ΑxUd.EAWo"/lBXc/>Axa@ۍYbvb&78'IT' ݀md(.*@: [aզIP5b^۔J VOY偯z7iUTEp Ή!x6Z<)A,.! eez ǂ NRn!Ŧ"$VGҢ,3 bwc- 0WlP>; k/P+{m-nT,";c_xCd+ՓH8}C%ܹ5{jT5[&5}YCEDW<_8jZUaiFma]6/)`C/dh[!m)E~}\}ɸe]̠rbqz+ȁ~56RjqƷFaa*j x4GV~$*PZC*MLrы#'&?g.i. w.Ub~i"ޝ_4ioK& H;E-*NϿ,G|u l2>PX{q.to+-#ԦmxpJi@HI\ V%F#fJ?=jYZ iX2vjQjSXyJL jҜ]>DeV}htndnށsQOV\e-kˈM:\+.xHdzA/XDo!ύJC \C-G{~2/@)RPc9ZNL6c:ʳ Md{["AϭdShg* IFsfio0wygg~MU+AXʷu&w`M"k?6.!bUnSGKh4Z;Rz;Zq71S=u}NplyJ8JbR;lj!"{_")S% [i6"A Zo D'KSy1`FA4(,<2| L\u:8Gqn Z퀦J$ȉ'L"]˷gTpp -HSbB A4Rp.W&b%8h tyQNua]:)Ot2 %dwv~$X2aq`HL}"C 2n" >qf5K/u̓-ঠZ(`mJ1X軃\ }T> G%D1ꈙBڟZ $vfH r_zBPxW7o{XQAp<cøklU!6n}L ~踻4 n{$&DE>)eYuUF%䖃.!qg7`w&S~H4 Y0ߔx=KK2|R#Kҗ}LD3wGE>=~D/ q4*DoOgBf}$e1tebKV{ NȤ/~}v*OxWLRA4\Dyx͡hOZ<6-d)rӦ2$;m8 ˆ*p2oH/ B!Oy!(iUhUJ8u2Sƥ@#f DkFѦ ?4Nq}S%q_t -lЉѸh >F;2…=A9%iqdH9 l%9#zMRϨK)Iҋ {)誉A.&-S?ضNs]#4݅~ΰ|,>V~ATl%_@`n7ҰUeX1(Bŷl]5ED):9RԊ{8g0m,ZEFޭIW:j!2 Yŭ:4TJ[Cy;ߦ6kM]皜>wcJ˱^> WBMzWۃ3Rd2zNbrj;4=kTV΁2ɤλ:"Q ¶3ARΜgۿiۻxslv"3t0,/U:ZR’&1a{ܭR*Y U\o<+n!WQU-"/bA4A?CVDeF2e70M3dE,I/g X}yO&_R 솼k* 9W>(h{_!<|BP- CԷm/{L= 粯]yE67f2Q~R`XʂŽ (*OOA'qa`QpXN,F Aj6~ vR/g@ĄuGȯbǡMRbh!Ms7?MtJAz@X(EZ\&ɜ(3Q%WMsns]aoNP2s#r')=IrAMhKpJcEKdn |K#i%￉}I#'׺6 /liFO$y=.T#-Usf֜aBKeNƩ^ R<ܙx ƒ=iK@Ͼ/t2;Ӵ(}ӽبHw( vR5@p) uIқH_ޛ$tg46^X@JY{ YDd-D&WbAg {m0ɢ7.ӥ%P a‹ >7{_D#R0}#R&BWĽgHB:\vUDoH !S_~EU*u2Йrlyy+\FcJQLOpے9hpkAp|Kjkq p.ة|Puf-b.jE*P6ago}Gi4jhB7;J"XvxA4wMSLml7Zw6L>?:ƴxO`_~wH8u4D*)(6m}t"~HJ&#ĕ孲H 85,~m5^\IU,n=Ωx~dB1u71U;(h`>ĉcmKEyأ LT;$PZ%9&3ఓgyb=G+y jexdbȿuTW]Atj³A0|JjF, a"XHOkηrRg }?>v&XThUXL3.D]J`vST)asYn1/`KY^Ny,ܰ:1Y%}y}ᾱb GPF#DYYBw@ό"=dź_Hݹ-,}RL,*џCQaK` zԍr˾'*zH-X+c=yPSFj ѹr46M:g^)v"a^Z1 yFX14_?zsS"e1BCS Cj7EyAlM 26(I^]@{8 U׵Ʀm~pНF# M5JQpJn; TX`YPg@KEŪ^XEm7g?+{pϐX^4 $k͇1N]f|m;7R@8chm@A6J^3]zFEg8%getZwD${M ʿ2uɱYI\K`kT" cc>&{ϺTzbo?:)qLOB&;łz)(C|o}w+ ,z;"Fd)"4k m d]h} b˄NM psD)fN%[}TA,sȖeP]y *M{| 9ɠG1э̹n㿔8u6$F_f&3L_xg5oG,u k`R 405Cl!$#T&1ۯѾ'd/g+;J)90Atv q-0%ԕlr+G͐?sآ/SLל(~.;1b8XALZx=V#NOPTݯǀOqt|IOݲjЗ7 * t8 2r8ƨ#:ü)CsD PiMLIBzdDrDI>8"."_CH fGbApo!eB2 c ԚI|*Z&E!|.1kG7ZLxZiLqWw}s.J@6]JLsoVMP%dwڪQ)}M =^ 4wCe*\fUvX>(DNӉ{\4G'ڄȃ┣d;DXI $賡W1(fKm[ΪWW4ky|v v ƐY7C/P/@?.Y ]ZGD=OCuCk9X]dƃ31g4]UgܨW6Kv43y߈btoq'iC?+fg82GfFySλ%\o_~zѩ"/^V\vYl]~N nydJ%; 8ڭa,mPjy etF,G'[|,TPLbZ3jupL8 ,T$inÝ"E: J?+Pܔ2I~ͫ?iDybRF|@SA dqFxz"[Wn\B\便w&t8K^EZi~lw$>mw$s"P2jFW:I!"%{P6]@E{e6V/V4:!"JB%8H5k+✹5x b=>)s`?I[fܒ+؛W:_>@8 Rt7sɛK7h*;5hAX1*ҙGی}_7k90KrTI)rɳXtS_ͯznhV4b+KR ڍWL/[`tNJEEܰ*.ii')(M+l~̿H Q4ɉAє$bWJBlvioC$+h^AMPKA ,iXT-)0;r:IPDpL@sA a}IK+͑tJi yآT^@AM>u5+>v=Aj_^ Zt?DC\Qe&59TM3W4Vd+M,AҥA70pte*Dz=Xtp -S]n^}H}+bu-.Kǣu5}Hl&Ҹ&FF.4&gK: faf' G6#;HMUrCt ~*{^7ypLCB6|=wSZ ]#wk!z2ΛvlG1A8HGc"NC̹a3p-gOU[1<#IJ!\Ed[rSGy;r;jߣ._lYRd iF wީPך'14mdςhϭurX߮8e6;aw|*pȬP{҅~IXzd?1pFz 䌴tG^*-8v;|k^0+V,1$RN}%,ڿ7JRƲ8&%H\Tf ~I o]ǁgq|X'`!41a&'X5j1%ac *Ud(]PVmM/*x(eAѳ/qk@2@XwJ;n] xS?_G$Lրϳ+`g„s  HG5x"BЬ_rc @%S2=v2)o<^GL!:8݂4)pֈ4ɍo{K$&4w:>OMa`?, D82q^ʿjoP&SyNDg lIaFbnZ\#(4V&)W}ޖ#ygץ/ VvRCg2J"ctrz:,FzzEa2J.W p"Cf9M (Tݗ?h6ͻpc~J'.fDrmK}1X&xKk?嶌[ڔ=oh9/߅7?u&š!K)HS 2FplC܇LDfNV7b_C]GZRZ;(uy ?mR/]5B@d(`| {u|# <{VjD@@}Z0ır@/rKVJUS[EXI3?s/>qyP.QA4<)(!##ҀTk޽;& akغ:}mRJѢf!Bүb&ZM$cb5(]cQ}ZEwDszxS@Ԅ#/@ǻ(|M74y,N{AĦo{f4wW,mDiRHm{q/ٱۨ}Pްy{f9 xvTvQڛleZ2ś&˳mu,!rf|g4kLb^w#7Rul-c-d竎yM C\]tAqQi}Lол},&BtV_B>;sf-{25Hn3KzA 6{ȃ N1E# /l6,hjuU,i銦e8x[Q{kL~0!]Wh,esbE(ިRgS&R TZv](eifՅPOE"B+jV-.Em4SUIé oz\頷j8/Fnʯ3j>xs I{ Ay=eTU AQ98i%0VdM!Ɍfm%Sc4Չg5N(8gS9J?`yNJo5,VJ(MOwi`nٖcQf8]M$wy, '0F x786@Bx=w5& ¬t8p[贝+H ݒ}4J޸#?m9:dg0V rȻ095 %t;!̐?0qBӇ 1v#w 8Z"o~c7Ѥs\=Ngf7*z7 ^jpHSY=u!Dsr5t:kxZ"l^S.ued,cjg]"x|Rxӟ65> #oY-BY9/B&`6j4]s<Z@ ~!HMv NȺy)8t ݏ0Ṡ'uUNC&}.Լqe0 CUiuA ♇|(2oxլn_ (z`ns,s4>}æQ>>psotf?)*_tvR/)5s`2%x$XW!x_DXlL aGT,TB3a3w4ڕ!_ !:--bo; L$8go `nBScCF]HҘriD$w^W%i]a\o'D9ef!V>e2sw)[|x橚49oP$.X]rbfJ#[%˛m8SuSV4]nT١zGk} HO B"rlT鐪y5 D|?>SN͹/KH6^ݼ`6]|\8~@tTI,_WZ>-bT5q_BĊ^Z0 .j~lI @qگ'jKIiycbdޙc;V'!Io}'P: ˗AU*Qs%ZRmͤwDf|"׳y r>Y..#?Tw  @#,i ܙ qY;*{< #&͕fuC/,-@ZHy,zkծ ;3L c";d*ؐYaI҈j2 ]6|wRh*;;HX8ɰ_f_Ŕ3) Ҙ7vGt6Sr vߤ㱡~]¢8eu#L雑DG9SYfu 3)Mt`_A{x8IJ4F25vXduPAm|**hcMA7LYGZowPfC>숋ִ[6{XgYa[U9Kbཌྷ2TksGpq38שRp` f椖AOM>o]?qid u(Grȏ7L^]"11??J ёq 9{9~wK? Vњn/<L۰?fD>Ujr1[ޤIo'&і:MCyjֻDD 3YX*kȀ5#:tYTaFNifh0 Q{DwYȓy}tSZs4FGw zf#1JT~hr<k(͹~+a6 뙔//JhyxdR \cSkDB;JdLd^pS FωĔ$I%J=C*'YlՅ 3sZpk$X=hZk C^b6LЍn"4uXҶ-]?5}Zأ^.a5MAzI4Kޭ n7ńOItj9|$)>b/ ӠB>x"x4Ju]ʹЖUX9جz,A[VhN@[KG!$% h%L\˗,M (S3䏌+/ѲXٻw#ƀcOqiFm=Q#%c:١+D<52Cz[b.==vv3Q4j2 vT'gLb#Cs3fqg[S!%la $6rl{}:N*Jnb#zOV #,7$K'/$YlR @|cx8"P X[=<<]0ܭҟKE'5lF-b@/I;wܟƞ$QZ:e