SQLite format 3@  . BBh77otableisabelle_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 8%\ ]/]HOL-Analysis:threads=6elapsed=295.939cpu=1316.764gc=91.636factor=4.457zXZִF! QuE]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(m=6Inoi1m\ںPKl]Ko?"&RV]Rw񟁸phϝe-)aD4k#ZRo֊%GZ?: ٳg+0g`@:7g{u]İ(}^~zLg(# z/â9;j$o.a 7T|3QuȧQ;1Y2>JELX&©ue>nvg1[h)jg=IrNo[;kZ{6UJٷtbX0LM:3AK>~*)8%^mF^c }x6 hڴDc (`ۓEՒg KS!cDsIɋ~!US #1`X ^6V;Vcj0ی 6H t\^3bK8rG (HR? uβA@Vi|mnQ8PLavuN[+?^DB؎-ŞDn Q@q0}Ƃ܇ гA>1G%[A8Ef\GVUf4Ld9xه :6g2d`A?dZA\Eǎˈ @t C.50+>*u^/8R aF~4!fRHR pm $y#ZׅkUv`(޴Q]*1i0EMV|qYB vߍe*NN8I֞B3f4{#N(CV1,Un-ga =_' m[iIyi/Wn6LXo qcMKtW FQ遽ݫUqŨU"L& 8 n*ymgU.9t "_>7"ބtx#/?rG3% ]JnT`AҨ^ h4WK:\ d~!t( HMIe֫یДA-WTKܺYa.*uCp6,JuĬ/Xn8N!v 2Z' $$>B0^q,\dz,5F!#jX\zKTp6J˦s-#ht Qmp`/m߼>/"V ϙDD\e$g`н7/=XYh5:8}%B(pH; Xe;TBJy^`1!ʄ {S?q'LմM,݄džfXЃ]n?w%Q I+Қ4d$1?iED%].km>]gz]Ms FfU,,rBKX0amiM}B8v*6* =hd9NtcQupT9KY=xjX=1qmfM0YHo8ng  -iv+GP@9b؊Fw+XE+L;KZ1CMڽ|A'I}ⰱԕO H[8h776+ӡ}*z/PPBb` d6?! \rU%ߚ$تQ|m]&[N[Ԣ?_EB~AQXCL&3ȹn>Җ8sq:$PfQRk(sS'<v_on7*Y#:c|9k[޹a.<}1qd{M*>jؘfy-*XG(Ll/*(kҩy iFt IS?yf&lƚzpǁl3u[{N`P/~p{K%-C`i:3: Ju8=!s_ 1%|z-( $=Sz"+Ҩ.Gs#anY撎|%/!Ԍ'aB5PIV,+E:֍|{U0Y pjA%͚DW@i_6B vZ2>iu޷l%88F9-|BdI&=Tvx{g'`9KՖ0тP8\`jiaxUܭEOYƸm"KA^98Q(ΧS5i㿽d1Xr> 2&׃hَ 'cTrP:Z@bT7 ,aU@ c^o:w諎hsLZⴛU|jL8Y7Rp!#%hm$-*b9ullv u^@+LQ5 A~isB#ԣWU[1L+3.=Q|j4A)n 6xX9& L$[&93hζwLATk#;X.#z|ԯ}j\uU.&Ť9c!Vn;>ogdJ^vI!J&QXM-3q%H׍eSkߕwgXaVbh}(u<-zmpmIMxB9!=9XDʽOWe`QT?~ޓD*`h/S>gSvz2_h]ٜ)!Y{шQ[UGkXz'"|g@ vwjoXV%Q ї7 MB0kO!+({̰]eޕt0xQ-Gw`<]?|N7;!m,Vu|~ bH! ztyډ>+!dQo {8 FYkp?77f`c>2}v!(DDecNL%_UU >()|cW4zXŚl:``"ކXF EcFF:oquݲ\z ,D_}i4,[hDlWsKmF6y\L? Aa!Pѡ]F[wyH_³IGX3ʕah1I}N|4P/}D65io2\BEr 5u;nAKjʴR(+H 5:c;ll{1z2 /=&@bICmFBXˉ{;2bԪ [|B߭X&{'m`;_"Np/Q:$fUudSEF6%Q̑FkEBz'vvt VF514^XF[W3@uGyi3$JyV lsϗW>quYO 9+g [|MSi*a k/qef`3}ʗ}rPFk/ tSdž4C=4;8xUs >o v '\;}'_+#v5N?U\hﭞ2}DYkTDMT^RU!cu}4hiydވNj;LYD)pD:}OP C%st go' ,uel~>ѽDo#`0ϲzK ?JOZVvEÏdjL"tD|iIn!D1FBJB?>G0[΃Pќld ˟KUg_B"U(A1]%T72coF+*pv¾%5/톸9mzn~`͘MAql6kh|/`L ܔ`mV^DZ&,O>`P%)"yS= Bn ҹf= ;e-^R_ߌA&4; >6IY]MuUXRWNsr}-&w#@|#./Kyo*0\qj/uy}ܭ-H B#efy})mx++џ@Ǻ۰J; /<,# şe@AX}I1I1 Y6϶UB ]Ua~Xx7`Ĉz+5z$(Ȃ :ÄDsI1@ݱȫqyΈ@ d#ȏz g<~EkeVvYSk{*K5%61է%M}?T5 qRa$9 X?\m=_E۟FʝBENV Nesv\hONb~IۯiBo"p3f6f9CK9 !d:@X5vM+ 1K3dj$wT AZg^1Msχ]]$2"Qdҍ$U:\x)H*FBM\.4}Dr‚׬E{L9*Xx8un:IC|uB#EZtsAayFE~ʯA$+0*$!ftyug%Z{=0 Zu4]ke87Lp^DŽ7t-MK̅Yak>["ń\4Яf1YA$q+檿')<]71m_dFBׄLyt XRa"q \@R>8#Ϡ'e/xl4?p.Vk@{ϩd;qx]K#nDzҹFѬTWheY9&4}\QWt1'~闡̙t V>v4+gccƌ f6Hdcc.z/idB!>MJ`)u~e5VኙɁb[յ] YxO# Y `,zȰ b36zdH$d{\ʞ*\NZH \M"+ Yz9θ7/JC8OX!4k!]IBu0;a屣jPE jq9 *;YC]m̦ǜ. Y!w?|GӦihإa@ožuol{Gg!ϸ$ Z·Lik;FC޸)?HoPx|hާ8_݁?v9þ+-/~cyF.46Z74yYꇙǴ8ªK.&zL  8{a.Z=CRy؄Z &ws *$:()2CUc] }i6נ'7o0#Ԣ^j[P+k gŭޯ ruETۆcH)2@B?("6td4~K|eܣ/A]پA|c?d: A؄4Пx E?0LSY#[א?I>P žZz=_4ee"wOxqŮhVYnpR%;%"Uab}kNHclaσSfe׭5b@mU}2@/RSgfn:qʳ4iwi:O?L#}ѓ+ ?l0XH)YAp 1>4fmAnY(@D aTw~\ԕ'UTN->)B/,U#,weS*ᾘ%U ^F|ZJ,{#&0F>cԜ`庂 JZw:LΨЁQE6o6Z(H$A-yp:. nj-[V hEͦ2xe&:}`ҫzdST} MrR{̘/'I~K W=T"mtho䮀~tFjQ0o󛋪Z+LyuzCbAVȾ&Ti~uxfmЂx]ꔲ%MKeFTԀ Waw|3Pּ;g#mP x~ _/,B!fA LBcx!Ad*`IULTqy Z_;.Ay])ji-a`o6hUKW3a=# /Ct8O/ߙ❲U߽T5YzH}q~jWm=8ԗ)nPPB<|0 fma.;4[ҷxprTfk;}V;9 jË<\T9VqFnqD5d0+9Uc.9Da@%tfIDğJ"Zkql&*)" O?³j\m41X(nx!fb R}QMh? UNƴBv}t̍{E JWpWia\πwΟ?߆c;+yJ_8ު]pH13XefL2a|Vү1% adms8zP/DŽ +#XRk>8(h eHF.?.U [St z1/"+L|e4ԝzFx;)[)s\=@y01_05WG2 >O;$d$xuF(H# D〚mNzw vŨÃW5Y=^jSZs ҅sT5<У< '")`6x+z0ٶvx=DK\yU%ܭpHIpA.U Fj( ?SiH>8DpEt{1DH!̛0Y +ne|7A8Y$!<ᰋ͗JiI@A^Z+&}W EF<{( CPg"RVlXCzs5,״wZM&g{*SO!LFa=,hc2?O~&rه*h,#iޥ/\T kWw] 4=[vX"f_)=߿Kf9ԄV+FXK~LeP@S? bY8>UWQYB@DSA4E_\]lʚ+wD>zNXIe.vn@M_3qUQFFM6m&RuPC,`/յΟWrY(>:;W:S_-k?G$.~Etz-pf&V *`O jU8x3 Cny5@ `[b6cbABV]X S)ė7e.He5>Gz6ZnfyU KpO~&$r] fNΥ 44&1h }8قɜPwiaykI+vppֵlN22p?p]rI<M kOp2%. ٶَ\ EײDZ~M2 Z.R q8ׁgsiј*f\?&HZW, 3 bI& 0Eޣ$qmP:KZNh$@ 8盢0;A\z'Ķvk:2f=0啰GP5՛Hut5$Jkp`<$Ce)Q~E=/*'HR'N:U脘4_[C܀&L!ۜ/& ior`yEi .WZ0L^zҹÔgČcXڽX#uFX]u7٦#mϡj[c8 U:VP*”L~اd B ^V(`O,U7 ,nme2w%\B:{A㎗ɺ?&s1dO~c[2ѴSe!VW*;1Z# iq}kkWcBX8r p]`8|CrD|7EjڜEҟpM?LML'sSӡe'|Q\.<ײC9&t滓qe <#۽˞\ PsZaub  ghAnۦV$!쭧|^V#0,[op{UuWgaIY}_kQ^MT\rۀnY<b-^5C^:E+Q0~72k'3xdJ1”  ; 4zIQRݕV%oߜ>+Js4bDjCPG+0܌N=@xRuJxV(1M5R'gZ!x{ %w ̇Z-JvC" YbpP,.Mp7[K3;E;mRf_9i3KD<1=e@k+ Vv-vsct(cSG!؄5T2vZq^雊yjn/&@֗3Q;0XDs  ou-̌䔨g ndX| a 4'Ҥ<U9wiwV`^ܮ3P.39H/ S0FaK)9s>֝.H->D]De;XaBIU7D$ij[0R)rܤjKUЦ~hi!q/1 QAj>ۗ[UېaA\QrOqYwr)l1JG+>ktZswqw8W*=>M~Ey)Dj),%([?#`,'j#l6 stc i͒aObWؔA$9dT̑-iw6@ )i4=fDspc ^B@h"NQ]ڂ^:a~BURuď.caHXs}DhwׂK Z-P=oϝo ܞj}}=ݤ3sXԌ:i^E0Ƈ~ޠKjjJx]KCd4NKSEQb j-UIroyUվ)@&َGl z!5EZLXG:v49U2Pe}텬 ("3K2R* Hڠ J%srcY0BZTQ2qz#kyu_b1JV|9>uYK*ʒ X/Q z^r ieIW$CӉRbb9ʣ̬rԕT^xXO3ެޡ1-:dC* }MXJN\lj% aԲ':ِI>|ނbZTS&L׬cN^Pmgh7%q CTtvK}ǛwxMG:Y Ji.`)8.ƾN~ ~P/ቢr>=E&#E@3¥A cgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4mEbZ7Lϔ\C`w vr=)f#Q*­OM]@xpjRJeoLd;Fpz(,x6BmǞ%sL ,HӿHLmR 4dp H??ŹxZuS1 X95;#^Ms[=3Qc<#x׈a9̭2\%SbFP3pxLޒ(5eǁZU8Ht ~"+Npt~ ;B0 'TO3k# ^HI6%鸒ogjCawgZf0%~j$oN8zӱ960VAfFru[px"7JЎ֝5x-KB>)]G܉$ ]%/S l5kT/!; }pLOw1/X?,l_\'giOjh <\_Ś?\A1oA3{h/͇O'J=Y܂:I/vml i\kXD}zdN[}lךXi NcPhjYL-ȟ4t){ԌƗ {4^$6( .$_$L5J K=pMOKc0M񝒶尅QXgI8Ź;^g> jضXK-sUv2J5^ ?RbpQi eJ:3:?V?Q1V }ܠZJiO4t'1y"!(\{f^ƻ/¯&e<|Kל{UN S{4zHމ "[D7lzu:|e*+mop +E< `D xO:h7}r $zkKo=$S1N]lU@z-F˻f$7r+4: ;.Jp`DE4`sEz :S 0KEL +(fI|Hghx צ;;8)aZ&u Y4M~B611ʿ[o~G:fyS=R7]G; bGdL~m]'QX*6X ^֌ev&%QlZpj⸸_ wq΁R׆E&miEyfnHj, īyS7XYuyaE{J7x1 qXSʹ5Vb%%GnǢ-8JZf؀)$]PgCyEv5k- ёwYe&5Д }x>@z$| eaLv@>!k>>L ֋B?.4*K8q8t/ .aݜs ,[zsBXUI".%4h]`?ԢGl$MKur71lR?G2tokHY(W9y(.#UxΥGscUB{{=(mhedXG8)?jUzk8TV=݆fc^HU&]]x1Dax#i8.r;ZyZ9Y@> eցvn⪢%u-g܉:AGWͤYUg )|+ME񵤤)9-aqİC(CC:*zǿ56(C*gYZ7zXZִF! E/Y]ŗXi%C3ORdAa6ŷZo_MeLeDJ 4 <*r+ԋqm`4"il2.n{A RcltuDj'pNM 4в2VlD ?Thζ4srdp} ]|{M6˫7K_9.| $4G"\Z_hs6snKGWi;kF_jGM\ ՗NPT㇕ .Yl퍗[WsTg qpR]'Y5k:7sUQƹ ui@,饜3fWcyRcJo[qL/ $'l}NuRu/Y` ^2W߶ϓIZvsuӲٲW]|uX JOTBUYkkィAe.Ǒd\9D !ϫݟחWQ[~=€᥋&؇ёʐw?X푣KOLͧ/4&{)3c%GNho&D2$ucװ<+^q),/,aԏmai2ht(_? r X6C7 2>D?c:\X}%mKگz9*A/"dǢf&5/w}sC%F.r]Oߴ=bq3z꣏mDCިQ%芑0w}Mp0~hFH"g*BPiC/"{+>kw&DŽ툼-@U1gIM:yDB}밶axfy_"Du;W?g/j8׮yZcR*k#e4͙x!;lIMzD6[2ۨVi1{eVdNs;ᣂ5,kBr&>NMk)QxzM ۀ̗Bkے1Dž9+h\>Nӳ%]]„ƗI%εnZ@Dn4@sO̚^j˖1=Igԥmj?`M{@u2AKJiYA +ԉɔ)MGJNUʭ2sZ!#w/Z睉渥6tݫvrcRNHgu uw-7H|`S_UKˡc;}ԁ=ƙj˙+IU@wەj;"F+&[~MW`XVEZ'*e9փMzgjbtґ}enXu[\כ=[xI5EZ56dݙfK`1J@4OvPK ^vP_!.nݛ|X_~pwx= 3rb /V.&X0g#k|ySO_P7MNLAJw .v?WvykAv`$-)&AI:Gvf}={{#&RQs'ILQ)s@C7Ov٠"kY8yOZ˅NJy3\;wZ1\3[9]:gNFP^%0{+J~2)۫)B!%}$J]lwآ X2$K&gqbɘQk@)6D"crlarS&Y֡U"OtTK՜@X^㰭ˉ{&xw}jm Orb6[0 ]_b,0GG>-,[D!jˢ㊶2o(9u om@!@]o%Df99Pk_\eP[+, [ٮu sjRÁlٺH iZVRD{8;0˛@n{h3iG_-Rb9( ]Ay}7Ht5,lܴnUbvE?dT󂽢u늰ID HP\"jܙAgixGΚ '^F.Aѡ ^& -D眤^9֫N)Oao>8YNB=u)iyCc1JA2*ʳ'oXܳz&Y%c \gȊ&\" hd|އY "]LXX8%-ɡmfKY¶—v) 7*xCCl%NԣB]Rfw5,Iĕ]1Dyr8G bOz]:VM}q)3upfyW/ ]Giqqq>uzPbK"TIٌwM?Qv[ M9]S.?i;s0 N:G4bUP@4-q J/*ǐqe.A/3"b3/ʇ5D? Ke5k>!B"~]|~;kRK !4|wwЗY7VvtuQuS(zj7mz |resxt6J<Ωj՘>*gyu_s{EstS瓜R|ȽrŝK`^H Lbe³.KKsGB)JN`x_Fo.s$b㟆CDݒз9'/kݔuE2Mȍm/[>*ƆȚc+I{z>'렋QqKYsV\KKޣPZ?^ijccm{cvbeaCVe[*Bnl{P,yuILڑ_\Đ[MeasAx.X5C4py(pPY; _FP 3ȋ9:/(LB4J%pob.y1@L |XB ~h+k73G{g!WEPRkFa;E 'zgĚ{OR0KDsOƕTH6!S0-ND4NMT/th6Ldp?3[RҨdKmuJ Tn$KC`4JXcMBA{ĒCՂ],)U8Nq|.M^jC2 Y`"\jK0B6UG1~'F@ݗRBeYl6D{c=0H{>L3]f;p3kOc,2]P-Dk@Nϭu GVI¿틐=uYF>EcYi&6 2&kȻlgxM/yD5?HUUGߐ9}l _|fL2ށL.JV q.A#u5۶ZÈ>ص5}Bh@D,G3Ezс[OpWgfHJ룸xt!w>^_/x<`3 zQ,#刯xuz<֦\-wNldhٽ|1Ca$j=GdαŌhAj i n(>%u-In#^+bx~ ! |KR]APW]Qq'I#lڡ*; B^yO' ur[j䇫!JfN\2pAk:hU2m'4;CkrƬAFSsE]ZțianJD[a z`C}۽T71ĖsuRf}62+`!.D{PєƱXB:w29CP:]vmdͱx׀Гl }$},5r2ȶ tS(Dzn+n)Q;b1藀YqBe"nnilN T y#mYL=&Qq 9St$3V 'Ztiע!GVhc7[%2\',y;\Rc* K-\4\/Иo@4"P]SӒCF"z*2D1.Ykn5@g!@\'뇍PK6/+X2&@ް:件KCsi)=u3\ł)TWV4\v xk+̅,:(%4:Jwf;^>!QuІV4BGc,OR"Kd6{diC`@su^i2JT*փgڧŵ=m%@m| ⣯sad<>P=1Z(sF㲹@kD?0/)@=,z F?~5I>*cR3YoT+<ɂ^~-R{E@,<'p>46]žK3@ JQ~\ ܎~ 6]!F=!6 iK.#ޥ 7 :XVOiGrMCe*_몮Az7Ew\UZu, [d#^8Lvp{pߌN4yp@P`5ϑhiӊCN<ݳ1tGW&_&h WSx,ReQ"Q5'WurNhId-zR GPvaߓ <:7v!>I/0Z%fR;.RCssvۦEv$ Onq=ɘ:JpP?pAf^b'V4Ѽ"AzKQ1ё+DŮi#Ќdzn0BCjr7)P"֧V0VnR2U_ɹQKUnoBZf4zB6p2Yq*>h9=`z_ڲ",nC"7ҏU3!NmͰnPQuN|+4z7#aYk WwYT>Lb:hOZ8_4ehlqۡRKob$Zc[PBݠr58GEnܦ:B( (HM뉶RJKo=''Eڞ^ I`~h+mӎL=e,l1g Fz轀H h|=u 0n-on)@ƕ8yxRts_ }{sPwzl~!wBd1,bO'@emȁI\E1g c\jVӟ3m7*FX ˂ p\`W|8IAF5p3 "nL;0^J&"j:,02+kȿ"<*n"]"P&ש>s;k:LPTvԠ1:0N.31ٿ)EˊVc|0FC$'5= Ȧ;;HjQ`̷G;v)PHmɥ冒a8nG{Ho ~'xK_?]}8 zfL?nUGВ ~C_qٍ; PC <72K j\TJsW "T0&>^Btۘ|}3Zc+s 8HXަؤ;AjX\lN,/B޹^zg'5mYj~w|Q>a~$G^?iLXTc6 nörc9 *p+ѿFZIT#ΪpsAFɝ6@pH=LG`n17sA]}u8ut8`RηzWȺu$8E57 s\/?&#j)vS^U; *HjP|"[/@9nJ|H9BOuwJKF=<7=[-,3IfBIZk'. bNt@ ەghIwS-9DM qAMJ{J;4KU 9dΎbO^'$in$M?O12ra~17=![QpJ5sV]3j|{x\WQSu5Մ/ᢈzE6iv7֯:SxYגB񴽌EUh\\;C/,ԑ6 PGv9Yrb: UO5Jaxw`{B-R@P_ߏx)BU@ =; WnD@ • H^}t(‚:i6fXv9eg6yumBa"$ã#:T};@b2f SBtplZ~W17? )-vI¢bkqv

q (jFKgP݀'6f㱡&Z[ ` VEpcV} ͬVL%wR0M3HJlaJCW҇]|DHR#&x.v0{)4G1ʅCC{UE gg3s*" hZ7"p_NXGFrUhG@~_ȩ}ire-q}{ր6KN7QLt *=̃[61!75l/]xk5ca{X$1W8 |Gp[qFy[w>Qfȣ#a%ɕO\16fB$0rº{@G)^o7|, 6FƗudž NG;N#Q]AFAS72ϩ7:ɣn+`y4c!.- MogTdsm6=v8WMlwaJEo=4C%rUn݈ophMіtgžNJ-eSfϔK seK9\2=L=fCP3n!9d17F'uscLebL N,eW<-LjȔUFi}i};:Y~+1"?dn!%BEZe$;jV-C =g"(5f< ^ `&\Oߜڰ( tL3P~IT1/1Ī6<[?x1e`j?sl>sc?g塆 "!qٹ( moo6WJԥ4'~6y׆({4L0TWl:( %ade~oYvCcv`m \6` Ҽ?::GB[ A&vڙFn*mꚝ:dOIwŌfgqn.,uQG W(AJq*\hSy}t8[Î&V/m'u9%WhK+FJO|{s+o#? .IWvreϫL.@̫7jؠ~>[\&' |!4\L$G45O)R3X&m,|6d([}v"42:;4|_}b6vy #i}On(lWuɎď$MDsXMB>V)k<\OHvAphKe5+S8z `I,QsHy)d6/JrI  I_"9 !_ @PS-#,+ښ6QY;DR q߸B ' X,Tj?c[4K&t>{Bc6U/&GчxBܨKfy;7̯%&4'5igV319ԯմdweRp S"+Trl^-.0!Ym}0a~#IK 3ȕmأ/SU' xfzmxmEpXm5 ضxwiPXT瞁km5T.IaoEӪ כqŇwbxVHف̍œ2\F' &)g5ns&kC8g{>L@`4‡\^ρAKᶔ j }KlBrl~,?ٻS/<ڰFyU.礖bkcdvW6{E陱o7$U=_U~ eпsҞA=M*TFeg5|(=0ֵ@/Qϕe,>d_K4ZzR }?N0扞fa:Y.&LV0ʡ&LD tn&u{%]eB&X;=J_1*ʖi,49L~l+XW ?wE]\Mm?-yIWTʰ=E%|y r[,4B*Ҕu5@"2 gx€q*s?u1\>h qzj)3'.Mѩ|M@FC; |#vq/;L3]AW՚Y{zD8gE De+>q9Ȏ1(&;n0?l6nr`Gvͧ0k+΁ C*SrlЦ5Cg!7.+V(2zF\]_g]Oȫ_"́7k0Ih\ /uI .^4C*uBáOq&H"ʥD.:tu[7tΔg2$YVH HL~0L[_8nA ԒS`H_A"Ww2f|C35\ [Βlx,rppk+fkN8)b7Y(U rCcb~B XSg ;݆٭1 !/㵖a/*Md [ޚFo6iSTm+|4(PimYig؛b'WcTj3mZc:Zt#@ū1MQ/$q ]l۳W'n[kZ㢛rOe92wo4E(䬬HƵ#2U+ژ'8*g uNwhBX.vAƅP5zxkSt,$/ @z"(mv\bzXh^]=:g,W|?҂ uhJ* 'v ɧ\;#f.t0+6Ays6|uz^ ȤM L !hn &ZMnq0Q/ɧccD^rjT8ow%7zuXJX\]X?m?! z!x#b b|0O{1wrz!}qv]3>Imn|| ;@`z6gx4z. U#| ֨* g>OiQG4+2El~O| Ey~$?o9ٞ"@&7>EC ,ؒ><5T3nHY kc)`o (uݳhwVG5 ]n.Fe0*nQ 0zVz ,,elҷ*g^)-E[BJ5xټˬ@7KҴ`=8'˼֮b4B!Ǿj+a GTKϫm% 7;^ )JM2gs|NH Β)1i&(zlx[fUZ}5C_QT/f5섲8\+b1*mx6Nv4!p[`MG|I{dM=dME$ ^%ɭN2&KH ˃"k_fN oE@1|XpĐbe9>Jx$EFCƷ`i=aͰk9A$D0 .2$B+i;mg[OųgX Hŋ=4pfB9bT[}=} [o*֫ڟ$'JWMБ&S؞nstV4F>oT⊞>_ '(Y~셎,PC&/bI[ʘS%0&AcP`(jN8G LuG#/:0w= <02/? IuQLK)Ds"h7+do>h,-z C4ïll#[XnR^f#+hSd%`"VOEF"X8u F7= D=jv]WR/43 *$8vJП>ZުS C^UB"\$Gf;Fm%dS$L}BXBd2Z+(/u}KF]6Z֝kc㿕(rD.H^_BEx]*z1GUG/xG8*B֓ *7-jbZXX"rux%pAhS%Lu30ZunNM FŎދ) !/4^;H< qmM!a#AP#I(mק9JB͑Maq]sڂ[>:4>R0`J C@!V9ݾ0HY#K9`ڱMw)(뛬o?'Kl2  V#2_[=ՌihlZ P̨?%)aF.|mXÌؤc8ftAjy4yeɷR1j,ȖsT6$?1v2L9Q' sVe,ZZMI[nd ߢr,D6/'_gM]SX㷔%ƭ[Y6}f^t֒g$_55[\dSEU5a'z Zέ+_8IՐY(K2Ƚs&83i5#]YF z+x0f\Ez^Q/d /k}|!ױXw[Aq-^.!1Cx刭_sbjbgq雇,xJ߬ҝS*љyaJb`O ܮmM5F1u]5_'M>GWwp .*^afxo)"v.c$u^~m>ď쵾l9Djm iz~a ê p*N~Ey0\GxJ6ܡV Ϳ(>1O\W^7 YsߕmI1¤;:wqAR֣zzp+s}YmlD|oLP JuW`i {EOV]6 x9]؊t:`o?#Gn٠eor1!DW`[ȩڱ'֒}wuP4'.ї2 ca; ;K>vh2!y(b?ؼO[~ >V &*S2\uLՖJ*L`%&2ng#"4t0žC@K Z0P[3rA%Qz*?wT9>a 矋"^US v-c]$.>`ѩPud;}p̻}PG:I7zhoA5:Dg xK?}3I$nwJl*At+%oWd&39u^X!UfEq}/gI'ˌg;3Wڴ߭O;2uwQ6Qf۸?lZ87LOSl1W ,,xAs ͹Yc7bTy*^3.t rT )r)d`1i7蟹| [3$'N{`} "Xp{!# ŕFx{#(}g+u׳(`LޗAzrPɶ>m%Ȓg&m7'Q?OW>=2U GiVݩtw#7!1`:CC?2;u{Jp܌NԄ2á6Չ4W+;uj j|%Cm!eGܻ*?jض!*LS=8Q3eri梕fkPTgrC2(i-؂B `˃0&+sI0j-mW su2Wò/͠dP *²}ENXyp^\0e3%Wט1hQ(,2ļ'"G9N@.vVc~5JFf!b;6CPiތy+e䪾.%.PɣvK`MlKvٙ.L`LQsj5?\ RYdEMbsWݩJI/ &K3%t R^Sf =d<(=Ӗu gsd?pa)pmQX,.kscͥ7n(EWvA%C 2BBE&PrrFP+=ogz^x /NNKx~!*6*Ñ2Po$},k WR):K궶hx bC| 'W4 :eƷɷ l|bÊ"PыfZkF+xkPڠS\` quw?͟^g}>GWOX}C_1UVͻ(%,&3&ZgcpxBDŽvٷ' ^#  wZ%WuGҶ.tPtR=5" jB/XC.ow!7;DdMm7NwpV9v3Z+Xv V֦XAİlHvt @z uQt Ev'@=MZ!Jύ~mA 7Q;0Z4'i+>X@ bfB-!Hoɰvظg`bx٫ d%D)=~sf}=ŒUťP^7+Xx0{CT=/F*W|!C5kg\'XP_-`i;$ݛU}I"XN>+0QP2T7?::f.ykm/JKbczh|G"R|a<%$×}5lsշi`F*B?'3RʋH6ݗc+,lXUg#2H]:E,]ױhY4%z)9K opwY my;:LH3IHgaax Q71l;g7}|Ht.BkעM@ ڿTKSc/YVu`PiG/ =<q@GMTyt$gj[U%AkJ[yMɔRJbTbG|s2:p+7W%fXC+:eI>kN_mOkñFpoW}7uZacU(\՝œD?FLW>$1LEgnwY(ޟM6Z5&& LFP@+*HSjeApb4P&r g*j3jv0̶yٞO bAbw.]a[l7!4̀[0$&usm-VfhlAƏx9OUS|Jt]aL0բm٤XTxp-fJBjoAd#O zم*\t!g˱q37O)]dƽg1\;,uj. u)ќ]yA995سYm7ʫMEc`EvmJYʕq a nlxHO/[uY ~ʒ#o?B64,2%#ӅfS-oxm