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 e%tL$ ]/]HOL-Analysis:threads=6elapsed=322.177cpu=1668.376gc=104.188factor=5.187zXZִF! *P]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%t)1BPf)xo}mS^/$D)P?۶1Q _$&+ds@䎘> $ t )1aPW,6^,R=Э9nWM~^ 㔩_F!jDF6r$Ji#ndLaJJ/ xrjxz(Xh@.M8A} nRXo M ʘe jyXPYQ%mΝXS(Vqyn%o$a;FS􂔳 H5zg@?I.SČ{%f noiĕNۙsǸTq"w( > C_f>YqhT|A+"/c?KeиOz,OM,@ڀҵj"l?.ڴ$bh"(SQ7Q%ޢ2t` 8 vrAV#VP龳 F94uQż nQ1~wIJ;=2T-_b- xmLs ;sH̪ ܙ +A"Z'Ʃ9$RK;{LFtB6@/|ȎPլ~ j,59^\*NC}5.ւ=#.an6,̸7fnWV*|9gk]GS>el9[ǕYnd ۛ}S0 O'|-J)MO줨}9 L'mi;0Лqd)‘ Uy/+ r)eT E92؋Z-4WzcWrCQ Kp"d/ڧ×g?$N^b~DnF?.Ɔ\PHtD/N+DzY09Oz!~5"]C6*V4ӆB7vK[CA~qRś/!@yDǒF?nXb sܼ+ l& ڣ0[ƷlLß%͏Ĩ)/onwq]$vSd~-RRWiN׺GSUzO+`,CA)Oކm mC(k |<[P}>(M0~^eq_CR`].2Yo]5̼;|e`ߥx.RϧUa]:3=fYqkl´A}( `gxT'$as,Pشf간<ی1M~UVgq~ht#{4aGe G5`U#69X|ɌBߜj'U`T{y^^Cbn$jOV2yDSgÚA콪bLpIN'0&KWU亸cc!:)`R`:^c[%[1CEބҼwmD6Hd,I<a?*"?QV!]kDjIJ!t 5PmfgP‘m4Ki,zA^6t%!PD:hO3 #\pV;~TBѲ|ttʨ>7W8mk~mҜ)#csLjcι-5h:N^ci5JbP|;l vYg͈/d<B:WWQ'k h,P5> ;Z}Ĥ/ɒW6aU/-dȓCnbAC6⋭Q]hz*S_ef5B%\*ͱL3Y:_>Lڇ|bFhd όiѦR(WC{id U`eVt[Vb6 ={GS98{Jrx)֚ P]Nm޺7!*}>Yȴ~5H E҈mʑY7nq?aNsj_df[2,ZFEy]ws>>uP–7$*`Ve#Z (vUw'hEb0//d@ Q_E]>;nkj|Z p{ pNҧ4wBeɮYO1nb TU7Vc49t{CJV RBK̈́0u:ڡ<FQ[*XAW$(-#ܫ*KJ=h7NXJYu Ŏ|)k1Y{91$ߠYg,7#9hUًjV RvF)!jq;'b#BW뻔bH>V!تɺzDigc{˻9TP'J3V)D~dz\(!4PvL[xF^E,ӎޕI,n-QEK'os,<>`@me߮T_b % HOL-Analysis  yGSAw7T+7PoboKkլw>yʔ9Tv"y<Qn}<,5!)E!{]$eVsM.}#ߧ]65 R/Qj%i1#kxBr>OV)arPŶ. +޺1z _W 3]DA+R_ X ѠUv*eR)T҇M u޾ɟy;iGZ+#Bm?껸kX+e‘e|} n!v9/_afEwNzwr۸MlwT)n=?J'>)Wu*}vj\HpgjW;7uu--[׷?&}"ɼJ-kCa%Lm[YӾ +{)M҇ ;:p$?9hr_p1K /KOEXn9EQAKl0VEuA  &֓^$OJFWϕ0eY)lC02Xa j/9.lBz|~# &JtB: DR)uv<9Y9^ 'W IuoDqfXbs&*;|F7k dG'QF|:lyLxԕ-W;ᐺ16ߪw=d69Ө+Uc݈79g~~~;!u\h$،J(Ȇ( 1/|; 4Ղ:T˜n ֋ssAL 1xDQts$Nx*zKbDž8p&Zs|]j%I`KwR\=xgQr'>sxIIY*npQcntqGzn˵_r syq~$L4Eͬ>,yQg-1VyaѦef͂\ם1ϑعHR5SI!v*0ER%T%N1"HeJwFrȱAd.2Jj<'0~OĴ[~@P,0ΐo-ûLq)e[(Y1w]m6`אv#~^q6$xf31k2 ׷i;Ŝw4LN|OL#"D=0: '踒!%PMʝBe(D2%_`/বmq1DxF D^<> x 1˺׸ڵ ښ گTPF~L)iI 8,eSe{٘;L(^#m/\L]R'{iyq nŽ>@Hpt?COXշ7 iٵoy</1}^z>g"rݳxTLƷONTZԃD44BnItvvx_?$nU=մjAqb>"]%>YkpJ ,~ \Q5;kcT.C<~'`;_@=ip^N>D-}[d#0j{a~zOtSL%>\]M؊^HtFHuZE;1N+y\מE~M䌞O])Cổ yzўh<=5mso*qHDb`17Ƙv ׷UfgGm1 5Կ֊׳vL7UfN^a54&{X$FWOƙ6}SYT3(uA[Qd_b)瓯mg2mԳ>6ݒ|$27`ECP>N]`Gϐp'+ֿk_sﶝF$ ML] 686(| ʋzSLv);5]~T~&rD-'n\u .vml)9 ' Uqxkb MuZ Mq Rr[/<3UGag T}7=Y-|%+{00 НKPMD&w!f pEB@Bv$3>=y%7b?4tjQ& %A=p=pYGqutY+'/M P-qPթqQ*%+:+E%/T -1qh:;k ᮰ݥTb%rL)F}OEo(yt]\e: >JyI,#Ǿ. 'dI 84Ĥ?\pl0E^U@/W+/9\{G‡HnjkZY$r!˧Fwl#hmjO.ň壴۞ǜpwԟh7'ԯa HFIӢI])LenYx!8OAx|sj$T&9c6SGwwb*fDr}lmm f@Y˵m\d8 ܃?4okf~P@5y/ݭU[mc-pK% mԢH) `K!Mczj)$ZC|ݜ%ABY<\(@K_Ó_{(tcz8Q;fBK4ҋ#<GL6ט (ژZƤGi`uoյI"E/ =d'2O>ň9',dT :i LB}x݆qm׋׳]߷V$V`$tsj2]O[6FQ[u JqTGgdɞM81ߝijscKl|IanGKOcH8 ,kn7YZHW8;1*0ؖڭ5\vCn펳I2,>)B$=îK:O\* \zxXűԲBw [qbiDZ BU%4j8h?`z@պwhY%{PB'Ή*iV'44bhE q5-uӠv=v~^S<^? WQ["q> r{BiZi)Ot0iH Y&1VOF:4\^SOJB24@U^FA6>,;(9-ɜe3Um]G7m$Ս2<@:VOH ni IݺbMZ AlkWjTC+UNzx5Zwt~Sf|^+t>pBXsZZ54zʼg_E~qݛ6κgFl=7?mH]}]YsX!!)-ǧE+%c rqio-Ğ&&LTQp7D:M˫<_PbʦRi,}}[t&d)*j@ݶH33P#1 Xk th}Gz~u_舥@%l!hw^$V0YUEyث6X8(~Q.܆ғ ٚ j+L7Z~ Q! :Am? 8, 5fG; +)d L\ HCc(v*⤴GT lj7~Tg4>!ՏBL,oNK30YjkIsOlexPz.iҙvxZxNS; ?iprb00 РcхJr4T.j9; '2Vdz s@ln_!nA|x#TVCA%7`(K%d`:[ca!`ݚX(a\dhkɮ|~\F`j tq~"Xw(UPe9:y&9Yk"ٹXy.tCl3iW[\oI,Քi{|B$_%ℇl(8%kw$;t(yU)='Иr@am~SSJ4zͼaaVW8:g1OKwtuuT?&[LNrN-?:e }Nu%ȂAu+k@~JLP3WWv(vzv9$h1@Mb?X}lc KJ}670S-[_Î:K` dɾw#JpE(bd *˽n%W ") S]Pp ZI`HHE8}V4 %V#mOBGmL'&授U?[SfX D #_t" 1p:ͩ!?7u'ÊsQKxwgFUW}WX"/JTn!O}a˦G4zDɥEa򏐋'P]o|աbcW]bc%u ͉+dU뜆\ ~aj'1( QBl+Nv{<#ўK gȸ,#_lJ=#x&e?yIHuFc'NiB ƠFɘ"Ie#xT(+)੻ Jc_u7불9,  P.Y>G[ƣL7(W6D=]yy59:stxL x_^w]Ypf7^Gcq(7e.ԗVUoI6|^B@M 42Kn}cAacy?%ŀ֧-E/po_@깮O*'r"Q]I]۲hT] c#Un''G#zT^L=1rZs*A]]r754 j}q0jN&y!r`G n\^2Qo27zDFjaJq~!+6 :|]On/wrU'<9l^e."k؊,˂CVvjؠ3pjzzp'N0{1h~?qQ+g`caa9AZ@dpcbah1ɝ~ijccDh%@ XN"z"F@w<:ό̄S1Q|$QeJ[CFffUV\_+"Y'@Dbh3 m"<T~3紊Q 9oX,% 3SQ1J.H0n-eë$kL{WCF IBzsAMQv73%p@@&1w;~ O6;vvuoBKH(5xA؉ҭ)OQ)pz-\:FjTaAȒY4џu|>E|j[. #3g[/q}sz!3`vx`U=iN#'X(;%j=pvWrF~ҳbFhz+.rKIaz>nβ*w?*PӤm4]12LR[c59E1r) >e j4Wxh%=Jn֣D5Y>;"c}m)F> bIڦ_+cI~"idab3:⿖|8d,bY.u6MSTbꥬStv}+6)qDD5QNfV憔–zo+"wM5d^|x/[+A4t*QXw+O4үC/|R5Bg=XAPau8t5LߛY~Ða32ܲb*Ha _?yqJ \d]ڴ1VtKGaycә\ZOmz׈𝯶$6KQ)ِa=ezKt<}<,?b`h`myOof6U\&.0Ùx\E - f{0P.Oek)ė<0=4{ZbIb:Y M?M໛},ҡ*6HՇ QtY=$ʣ1)I;ɣe4ۃ؄#i6̛Z\}yV%zi铿1qs=՟cwJ@_?qUۥg(ٴ':eYtI ƞXifRdm2HquL"D<[ |P61Z!j!CNI ܬoŢ+=:fa_>S+q/W:}k^krP$Nuaq% OYl Z ҂z(\Jq ŵ1)+eDp\xJf""G"[t==5X_h9#iod OlyC_"6cxǧJ&K,hDi/.Po!Z+*UXQ1-o~?h3wJ%*};a^d^Mi_[Jȥ.pRO5Rh@Z4u8A6ě?܌!~7Nu Ŗy#L5YŹz`5ޣSs|߂kڢaB){k ؙ:Q#)s۞kURNY,S xQaFg|"'^-XW7i-H-&it%A>m<BMaVr 5&d%LL=eAPEhT+f{)9 < H|'~ mɓg@?S ⵚOO.wZ'),$o]41Χ>AsT;y7 ˧\c&kZ5oA;Ev%r6u_3bAo6I_P!XdO`Xb }1Q݋鮖%M* [N6"QI80_19˦ 8YQ̀O{r*wg7"x+Ì ,]K ''@,OڙmŤ LqrOA"Wgr0)FxF#X QM^nAߑ@$%˫ e3.(d`?t?/ `/=l8TGAO+@M.L TV5h̬ϰ5rY"& :VٸPң%+mI}+~V4בM<#}3zk jΦ07g>vD%?k&h+DA#s Jwe]$xt뙭h"ϴb|EFf SQ\k(UtFGOmOncof؍\y_ .G} fջ8 _r{rT%p!FE:a;b<ş@8Ypb*9?))oNvj $>D&!u1%:M yiHƥ׿x*rJ֛c[iPqTᰥu$FY+M9:q>I 4 =Kew`S{>[<9ƍ{G }dhZ$gy5+=\ҙhHGf,MEs- Cȩ*vP)! {}?M( GʶՌL:ʅv\7G!}+|vG|޹*}:7J/w`^ Pi'X~* ޕz>?>{jpX|NK% ù*/Qoi 0}|^&ȾSKΊ[mgw4b FWi2 IE*=Zn _Щ ^]E7X~W}\REl;ωUty'`Cҙ;iUCRΡr=97TcnAQ`P P4Ft-u1{ojT+j{0lnT?(#aD 0!Byf8Ӊz KeRtɎćYs1vh#HT%1Az8PƫY,$CA湌=2 S )(=1SLxY 5wA=?\ܔcq?8T 9F[<"=w S_QW >밉S6[HCE9N"1-\N=5p,xv4hh; NZO]vOϮۼevψ|Cnjv`5mrUu>"D~<шq[s h53 ֕$i6J5jC N#PbAXlafjdD'f /V-dQ""ʙ2m1dAfz5VSbQq S1XقzɄ}W (ҝ7B (mYU7)塣?-TėSM {sLU[p }>3^z\{5V_wjR#UX xbSz:Ai$R. phtSMG vN8s^ eVo2hԅf;-ГRU.oi+:Ud_bz dؤv_;$іqei62%E%PEv  jGm*® Qi~sXsd CʿX&mZN_aC9Gވ"qvT~n٪:ETif^33-FO&`!J(DĦ$$ym)+l+@i3F [iRtaÒjtwOjN|zgl6:VX7DD]oPDlَHJYlX ISi8Lnec5)WO!;PZHSS_;q Cj 8y-IAd7᦭ '`oPϙPVl[zbEc1'HBױIwmp?xn7~n.xNڙ{qJ-V8Y!odvhz.mzb,yf`"m ?22g8N?4rway !ϸ: pUܠV}! R'-^_Ojhk[IwMp'F( $Hнɶ qeL"-Ȕr)vJ`>?aaEt'ҡgWBUfalN{y(=d\(xSɍi$3W}o^] A`ށ`@KKqL賆Cq-fDXgɢ ,hj,CG-/5w& B(\yU5'Ä ]x@O$ٙ%!o\"*&zx(Azuص):g@tK)'L"c}oqR+cK;iC,sC+>Y}hȈ/?o6"4 5Up[.+=T)-1h9\c+Y5|]лS&-@+Gp:c Nc?+;LmVSϹ 5 c pb?y=?P= q`L If$ɖ[ZdƵ葿B@[P)R0k`T.Ȫ $9oQ5ALQl-*:q) iyx:x)sΜ[NuܵL 'J==9=؊ kacz=$Ǽǃz}U>eQNHokKc p_Ҿ} lRavb euݿNBWNRAÛ_5V<wk fr\YZE!Rf5qZP^p0$`@lw kpT46+ۧilA`BHI;RY/Ods&su)N|Mje4=tjt&7reܿaKɷ0Dyy  hdeV$PN H66Θ=\fF|U7:Y/fDžr2Wl hpn._]uRRR?K]5E=<@xUڍϠ u` /ȓ@D>:LX| PUahJZlGDյKq඿)=#aCz5cd_=b/'"AǪZs S;_A%#CQkSMSo/|?td$rۧ~.L\} X/_ @ ku}ݺ-f07_9K/_Ss%S)j16 4%컂䝡IkíJi3}Tֶjl-f ^TRuk(oю:ۓݝQ=+e H=C%%dYCDi|~U&[s^beKLГqj2}ڣLyY#%YGmOx~>cbEt"{! #eTL-Jx3g?!i7c P~SxBy>\ڹaJC@rAGo ޯ^0hunq5r ws&qm@ĩrwKԧ1ň{wu(đ*td]ص\kd'"pY~`֋3*? '9+30iNHDd}늌;%%#(rvV'3"w}gZzFXrZP;U?0)Ӱ4tjgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ba'G A:-U ִN0`)X[۰kH Wh.^x sIa@VQ h4}{g*3Vic-7cJT 3ʒQ{M  sdS0>+{9#C%1x $8c $L$˼_x 8I4cu m5a{L/\B'ĵ7[pɍHHCKXѩ/Z:_~B FIAwXֵh),CZ52KL)f~*1Zo/cE.w-42b4W^)n!:X3E\d/9ϔ~sޯ S}ska>NO{3^=fDl0~ۛ&*=bepU=D,Jh?Tq>'IJt KB.4 yJ/jEKŦAb S""UF7jC.<#%!kRT $9Hirq3id AK\H}(_ٍ3O#C' ݽd0"G }/<~Tx[qA!w@۟íZlZ'& Bݲ'M: lh:WJPf;X'q 3*b|[4 6CMG dC56u<5]Eֱ+fJT<1|d_I{_(rl,TgaA`^@ g4B)p5kϬZJ i-gsSx٠ |t;+~swHDg0'kj'`~с.yyKՂZ; 1QCIA .M+v27TR\w>qĖX[;ДpgXXE4rD׭zs. G=Lccߜb 9דz b)K8~L#)Z}I;GRK~T*aSzv+VVU0ˏ.m="لt@6<ѷdBI1V$! nhls \YFZBsr"Ws;3f޼M谱6)ѵ-x1K4;F#!z?VMDMŷFU?GըMlkOa؟ 9 2a[Md?ws$@áeܸۥDS>IvP/xmcTդ0&Y}3\Tِuv!켛jll@/Ȅ#or6yqJ۵H2Cd;A$BgD[;DNz6`ף9*ᅓks4wlĘ74 ~-VdAu2,%1ܯēc1Ρ|:¦g|R*,[_f_UmalԽB}!f]#C]̤@r?΃~APm1Nt`l@UA&ed%*[(ͱ|hRWTPCvyjTL>Vc)~pwkQJUpN/%Td'OԨ$ :O%S;}W1{zl˔HןI+K\]uXRǎJ*#a|-FAs7T1y++Uq+w[fgTyyj#zfp1g+PH5 0?S ĮVB‚쓯6VIؚfxA+b u̟,' 7O/t+ =n#M=u @uAP]i,h1YțeD!G!H "Nv"3F6B@S/R a z|vڊ-"H{q=VnsE t.' 3Cţɇm-&Glg?ik"8Φs]?i= =#o9VN UReA3CjL%hhgDDsS/ÖX3-dE(d.v=YL B˸D1)𳧵ou(jaaeW| <Rj0Wʹ3VQ\y {f貓G${RG'1eK_Ⱦ^=T96F}P߳ڱgYZ7zXZ ִF! Ko ]ŗXi%Jپ JMʶA_HzE)ۄC)^e)>rDEP貎6x4i3jylZɧN~LSdZ7tCKt@Z>,EXUv; M0zb1{(45Sd|&k߻I#8:9Bؾ,ܴHv%Ai$CzR͎x^+/6cS5ﭼrF^p:J~jWE5F=s'k=Qp ^3Z0Cu%p̫9X0[F9xD-:z!Q2bnVnRޔr%zpT7#lM?D[HԺ0ehIî SnVn4s@7(XT%ƌsSTx9ʋ-:iΎcGçohFmrY lˍW$UQaQ <U?SI|IVCސ ꜣCD;^*d`Sr˙5>wadѿ߰B?PjUyZNT §a?b\"qWs~,No~n<}C#Z1 ׏o\hU 3~oK#gxޜE p э?H9Oh)ș,JG#X%\8|(P>.k]ǚ@*|XAլ {πB_:KU{BOp W ljM9gdn8>5ĜTUGMQkt b@ #R,.oA61qRUeDJf:{d͉뱼C1^;/TxwND=%}U.[5dU /;qn"6ayWӄƎN!S%鑰LZlA/fǦKj9࡮UK8>'2x[^N/oRB)"}oh rH!E@9#^a4~ؚ`wTz`o ʊUS:I""_ T\ %98w^)(BvOF TDg-Aa|]!|?~XC&!OXe"9C XEaS1#;M撠_813FO- &]y )+?m.f}%_Ck]ز@ԝC,=׆KхF!mʦAP?>C' &km 0w`n˵YG>Ww xy_&t*OI!۹yN"&,ⲛ26U<%p%V5'GZ"d.KH& 3lBHɉb;#Tq칔+&6tӎ%ol iM(6v2 ?)K+6 o%19 gV:ZfY.Tݥ3b1;dyjcn^ 05&^x%2k*#ۦ_)!;h(F8Wx0>!u:Rd>)g9:gh?A(Di !u54z;\ &QЫ@}$E B04JX$F0~ø*n7mƥDdQH5J-tE5LVeҐ^vt 掹8:_^l3vSP=O]=O8Q<~rMC"sI۷Qw{|}鐗݌6̩,X)fwhv%ꧧN48uDճ? 3{ cL sht_}4wO.fzn"\Kœ1tYDNwIK yDFXEږ4j'א˳0 IY6ɃlPmcg ;]-ʛnC 9_Nk;B8*̠346"g&m!5}I^r)a=՝̭X4  2`S`rIU,JT8S邈U_Ӥrd戽^<~`JblY:c~^⤠վ&U>Sd9$׎߱POtEwu>bqFO zh| ufkM&4\^g2# t&TAQ=bQ~W1T*+ulSt*_2&{>b0p$%dQ[<ø'g8Vn̑dB IoZEKug Kh.qm$[³jsc,J榜V e@t7܉wO6u76S[ pI7 K-eWa9rT)"tK,ˉMc" ]uzXjX.9Ava9i9lp5ci-"[p]hP2L&G\ l ,j;\a:^ŲUCY(S*+h.wY>-HyP`4!fS5:O#Y.g5uozzf|u+?Qʽ@1:`S< 'ػRGvqBC* уt:7"W(@dc@e8?^@W1{4}[5-MTR=R p2†\(˸ﱾ@;~VSN`;sp~&kM$8׌C6<<8|0 k/e)xAQ2 8+ٔ5yË d:v#IZ _R)5^g)Xfxh}K Ñc@3(5Bl9ރQ^ф!z3p1p0e- -Uw*O+0gRn8-] kj[o`tO ꘊSC4 w~5yr:ݽY[8fp4W7hcx:[Ȥ|sz2`"xWo6}3YK1չ$ꢅu'Rb$d<䝍.(PǑGjr̬^so$pW Np: 0 ?BÒt9qz6uk(f@a'ڽ]u!'5tOդH=`bw-m$3WBp7i5 tC-H`l]FѮlJi=1gvABy [T2Yuxr"1sw(QpL6?p R>뵾IxۥLAbZ>*hD]-W:ƽΞ@9Ѕe vy(Z,S5ܡ/A󱤀vG'ny6xbMgݹP 7!~8oej6?&m E5z귛Lb@IjLooSyؗwt'}Kq p!VqTᥑA~L5@A8Խ`wF'!b w_YXŠY*ѶL)/nm\zg{|,XRHc廻N2S?Ӆb )W!o|دGCqoj}Hw+r'4O Fÿ=TG]4gF8E<# ?ft續U'aK Eoqct oELFE`>=huvt aNvRp̂G;d/=%xk}@z#~ ikw}&E2\&68M7eβA  ^ͳ2SPu8nE3ɝTO^~+;K x/:FT.yAHȹDd$TT<-L@=>us\x^@^ǔv @-6"v:F,$ʑw#FW@W<-lJu;@B1=\iO}_[|? U8cYP?sCn 4܆5`} ˟<;-gZ5$$]?۴5 /|v#Wc KW&N )X<ʱy=];;\}>`TB!09RT9]z"vu^L0̀!,/f RӱkLLy3I "(FGIhGSr\z6 wvg{TǗ:lH%.4xR4IVaY`{?=zV? bGÂU0z˔X `.].;&ͭ3cg9}|Ò2=RYёo <miKV:9/, M;ٚ[W$z{* m2h=_7 ss:2^|K 9\I Jw 2\HTʎoP;r v@1uPS7yqIh+S) Fж\n(G#KADMzRL L%= ƒ',gj"C?xyHASJ`E^XFe*.r樖.̠Y.zzE&/J>̙> *-xn;`LϾ:`gcQ gQnsJ׻yޢ)ѣܙi}މTfp=-D -Kt1 Œ_m ieӪ xh%Cp+iZmƺ,kC~WwӍ[DTi ~#BmuĄ$(>XxXw'f$-m^pҒeIfQoEI5U?|sp*$gsa|CAƐ(ӏڄDU}1K+D`5/d?ťK"5 ]Oy"%ӓLQih\HB꿚~0y@iDJdE4Y(^)%7D_<POF/t02Q*z-KJxec&iƼBE sZ+ND-9#+VQՐ Ո@#<{JTNVDn0.ta*|@E0n]_DW,tx! Diq٥OT(*ܫ6 h3]OnKخPeݠ?a #.y˟$۞O?bhc1,3cJ{H&ZoA&"\`0yZ&EKvn6be/ BWbXx/]}@ ό1B7[a@)3RLyD(Uw݈HY|RH2}W3ԧt+ā4tmM5MTx S |/2 * hh%Y+eoj]HyCBYp@%$0netE+0ms9iHD!`/.0Q"4UžQMħ)'R<ڃBpI9FǹGFuh%{j%sWSDOqhhVh\e2JK@8c0'< )|-Y `9=ӧ'4\-Jwqo~ɐ*v4f]veşI e#:VpqSp&nK=Dv[76XLՎ@cVu6P"yCn# FDg뻯/B%vͲ0"kwr4XyATƒ9c>-!W1+@hb=g3d[4&fXnEPJ1&lߩJRЃ4w綠[ibtU H&G&9nÉ$뎩jTޔ2W= }C=};V .0.夨ܺE!T&q+*lcVbDHώ`kp/U? 0}l=Պ_? q.T; jLZ",QfK($\餝{#˓Fq|UZ=j![7{0Üp`?6DW\=n%`,^Qtpը=Mp]}YLUL$W-#vޞ}犱?%`ifLy1$ӳ-BRYhy Suq ղ)%N|-jܑbR شIdH+Nь]B,Z-ھlX5pp~Ǟs 2h=|ϫqt[5Dw/c]O/s2+:BhXPŖC.ڈ2 ˾9k@Jj| dSF۹;GQ3"\hpr^-{+gU0SGJkf-ئȭGŸ0~EO^šO2Q^/޺YMm pEhś8hd=;:Z*Vӟy1DTpFoDE_=|ѩ63ƬU%gE+w22֬ة_wHT lLv0 HMPw|=AI uYK{Biiޟ|/pMW,o&~s9!D:uN_hU>eiK9AΤԁSbcf2 :gYq喼E(25!C7!I_Qwj (o ̶̯?RZ tX${c+hMȤiF!z9kU3g!_-8߾:΃q/VǸMl@W, miҀй7l_'^Q: i&5 GDf:pE0Ozq ] wH:p@>P7(;=@ٌY1u*0z2,vDZ }1F#ʉ]kuQ^rtx.3h\%!i閨ՐB8e0TG>doLlJ޽CeA:b مl<ﹳmp%gb!}NV*rPGݳ+Qj 52l~e|f+Ҿ;'I;9l8!Gd2dt 6OvdNixf9/%(=xL2$DɋA!m$;8g.i[u5}#Vº@Cƭm sk_9&k"z|(\x/,sǤd|HR Cb¯w] \9 ۟ Ff?e=UX&ae^~ðR阆#[+w;'wD{ N|#;TED`Ƞ=lZ0|4’Xa zSi$6=A"{f*-3ydsy.pFIbLIL?]Ȳ'/_'ujnN,  AT*R%~oF -(fME-!8 P;3b ׿ UTЉ).ԑ)>t$JFNm# %8)&Kٴ iÚ7h[=p"~st~} U5ceI3%7uzzFL໔h_ґPeGU.aTǭ<=~ 2+Nɔk.Uc kp5&fNXg퉯nVXGzis5㺨`Fl R/ZP$BXWg㲿ȍ ;7xA&՘m%0EqӲ"T6ů2ۅ/%d0@XbfH 2į =v T9(H!92iWDxB`=FCͨܜ0Z{s͓cRhi#~Mzqvt&:Vݱƣ~d+ű"]rKHw dDNQMlW*&ߓlj噏D b)ۑu m]7]Wl |',[P.`ެIr@2Dt5vujm=is%C7Fs$L ؗpŸ=[ѵ`#VpqSoMZbrgDlh^\ )Б'ܝFzP|e `Au2[7-OtP>-yw#x!.]\&Ք.7U HrNSeڃ* o4=@pgZs_N Ȗ.e]g3h֖wB:n5\ ywG<͍]$Bّ1B4P`x+虈_@ttۺIuvduHp}>FhɚQA&2&a'VWl7ᪧ}LiC:ǟԞ؇)Vi"ѡZg=G&EhkJeN$Sg)3g`ь<`&-Æ3,޹; %dP-ҘÒɷRfĖ p%ahEk)?yJI~ e;`>{Bl1VmwLPU!cn@OeK"^Hwu$"0[焇]R) \q7(7{ͺ1~+0q7gX<Z=2ܑU@ KJ& %잯1li" KxQ䡏T^9g?61-, e'_sFVIZxIc RBY%n,)-a@ wI&}$ 2s9a|^կ'ʼn땺"Iz$lzo[p$zE,T6&~+ 5M0p'hZm ~]\M1M8  f>*,/ژU7/ ꀊ4Ռ=Cr 57x9Ma񖥫ߗm6: '_lZu|xRk.зRBlvsXSBxX# /$nqNus~zEQnfx8&{/O} aoL82qIPCQq3$.k`4(>^qûC zak?Õ!0B(58`_MJpf~I ԷRا++0l61o]s)H1m"z#m\Q<.LTfHych.8&"Ӕ&obFۋpμ.1,R7cuَڔI .G?, /tu_Юtq!FiM E]v=[Ԛ{ܔ,=XvAf2G+zL=뱛lpIj`pȬd96q<,4-<"/_<̅cͿhՁ ҡ$_OC)e#(Ѷ_I0ΛU!k$ 7w_ɗ=u`$yĀ":ʖQFTGEoN>^\Qeg!TޙxU Sg,Y6ErEY7R1DN^M؇% ㎌KZ)8X(ʧ$'$%\Yy=z7 d]ӶUw){3m4 9aWË 5 (J=v#2.ߍuwk(d;fs/Ѻ FB-WRX,Is6٨n",ܑc[Vv=:0uѲl=MEt$Fv:<䕈q @Dx?syhAPRx7Ѵ}hgT(9X$ct|~"T$3Cd[] Ke)k&謎2t/ #V,ew͚nV1x zq ޛhAZG>V b]2Qj1`:Z2v>t MucY\v{_ɡ$bj.{)0nSK1[+Fw5;w\n֟D̼6Ajtܪ0әYUGnj rRJ MVUMk _[YTFfR/tYCaGBO`蚏J@S@BV?4Ju}ۦh ҮYzoL)$LO _YY]ٰ (SƦJZ>}sqN+R9SV؇@x\-(ۋ:zVʀ!*^0Xr -3 $CNճOeXGݙXEVEgթ>cbU綁0 gjXr]"h][w/@d<+Ō!Sp W_} LcT/زcsf& L3@^^*)/HtTSTVVETq\ y[fFSh/^jAH)׬#p7{FǚvS0taؤ&m'",騎vs e)  :E)I$ @ˀأ}}K?-mST߼00Unbotd"[`b ס$7ȰaΤzAϞw ) oDedmٹwjσ&ssZ:w'9S΢,x ~sik$7P5 Չن=GcA\_ō#uHjƴFWF"%:V4H|+!3PyȀFWd9Rc| tdŠ+bKLL|͛\N{+䚑Pz9&ɖXjG>~诛؊M=)Lݷ>Ywѹ|Mn9ՂDޯ} ,j8HJq2^WQ^?!ܩ]=CQUcrYЂ%!cFxfRLKp C%U!p"wpZ+jZ3=_|%QͣHJh=Ha#7coC DRYW`SOx`u+@Gs|llaS N<l;fCFTv]Nj _1 FHM;+^Id}$R}Lۘcy.Wv2N?Ğs7vmzTTFrުR<^Ȥ%7sYgMZ#w>ɜ~ꖘOif(yW2Kz;'^&7(#M6%3s»wlfFµ5~yDڛj4;ƼgV?ŲfGܻQۙTA?(T.gbh,yUpʖف\!wwKɪ֓]?WG#Xd8ʕ&Ƽ׷T H9CX]U{‹bn4z.jxMBq57iљϜ>{ޗBy}=);׾w!ć&z#剣y ƅF_8l)  f|/<ghڙA%IL T:_5Md3 " pH)ѱt@iiwo#tN[5lO.C Op Bhө _5tH]Z?Qhn{/bi*ޮ6kWy^1DI@ 屐/,c8{rc L*Nnge.1Ծ\[ YPADŽf;]Ym u1:o8{`bY{I|UY"7AA8zQgffw%[mB: @Sx8gb/I@3`ŐnVٜ(-X:άHg;3,_t [K0 *yl#b!?Y DfʢCIbdygC WKpwԇB70B=$*R&e$'=ByDɁ~Z;k4 q!e!jy*]fnE c'1{TRT^[>nw9Z#B%~hDtnKQkh柺t+3}P.AuRSXp8v(#Hf&"L)jX'y͑o8 ^2 /XN~/nA 4}e˔-BleLJ2o9F).$rU^^ ]^AD~^#hle9vao#!8bƌ| %6S z|4?fS fyT8P{r 9@Ry)q}cnV%6EWʇZwaӽ/l+QwKCvt> V3#^|EY`ID{/{ma5b_3{T,SYM0XEY@=mXdQ,(( {o6X1D=+IdӸڰf=MXY~a!{V2ߏ6p۔3+勵 5œ1lݲөv4~e"MͬG,*鸖cyA]d [z}y9ee ?c:[\Cv(-2+fpڧ(S0*-PduҽJCnةj)^J†ij4ҙ(N ƚ ;85ԣبo0̇0*Qҷ3 g/!XiccLu+5%9(l 8x##5NӬ8T\1E_'Ob@R^~E {il/xd*^'uw-(ըs 8 8:wEߗ{['P,Bҭ#3"ubvJ 8gV}0~.dH M `N}h(9XG]q&IOZ@ֱZZ#'KDtRi7a,7E3N׫O@N\b$>+xRv(B;.=j-i~[p޼О|YZG|nQEz7HZm+7%N׆tt,+*};?R[W!HVW]S_b9NM5#FUa}gA^?L.h5kڊ`/Ih9`of=Vz$[3yw !-u2vz#62(ݶl61yT5xch>]jb UUn="qVinX<{f>)v,Lַ><4Cp5<>Z.^ux? jkhнo8M?_:zcUG.3G [+#@?nX5^#Si=i(QETn/a`23#R-}>Jlc1,wDPoZ4H[x D];|څ<lD%mA6S)[ J _U19#'՚%e>Я3vh]^zqS px}<[ *{˫X澬оMW]TdLsAC_f/S!jUŮDs|Ƒ.AN}x~e^w>^boNZ[}9Jd{rhLtavjX{UߜObJNADhS *1/5lӵx]r8SSO\F[e>=)`sCmǪTn{87.u PG^ǜ <4M>림cVNjgl͡i6`wi=C }GN5<[O6$B^+ Q$ز{c=N4!z!A]yfnr8C82FoGO`; P7`5gcխZ]ORWmy6934cnj_K ?U8|Ǯ4D 4b5jZGj8? `&iX, ,nWuE8uAZ`4wzT9;znQxCCqh"+5ɄVL*0{낑pÂE}ɯ1hOP+"Aa=d@ U۔ HlK2RGM;h~%vzUV9~L0E _޷5m,ÿqonq231d56qR8 輬͒%b S[.L4QhkV.qp);3y災.Qm g֮=f-w~&r_sgycngur*ju-PX $O57URb} yuп]SE3=*ʁ"ȕAuWǶ7OirԤKRkYrv()<q_g2|Sxvd@v20C8mW&=_ <,2<5Cid _[p\)(%|L(28%b˾&dLrxR}=ģϴ+0WKskh(bڝEszvnuLټt%:N NWlD`,j/Bc"9 N¼axv53[' Я”(({[y rb'Prp&ՇMX^:Fa43ĥ>_4«Ya޹ 4JR|QSM[z^<~%L`qZ,0R8-!|y1+u!GyXZ⧻ṭ E?@_`jǢV v$ ~Jm[2>扊IKU7 J=yGcKdTTA/yYmmkjOP;c/XjYd& 52Vc]ߗuUۺ ByhX~S-nN "ʖ] !;A y 5s(nm1 u+2;*%HN1?.gF!i@kr|^a>1MZ1f ~4tu*g<)oh0j!G*fMkV]ƵtfiU2eDxhSi4C]~=a1)efe)*6,JX,h ޵b\풛3Hl:Тȇ/@f𑫷PGppf.'.0:5L&l,vfڔ & n9,Bؘ}\5Qԝ/ #MўSWRx*d?'b+rrԘ϶X-:>վdۃ$^Cho Szudm_S$Og `*鏡xx`m̙h$bRDŽ5T0Yd}Or/R!zvT{l% lZ;a0$#c,&AE$%|@gS%װ,&ADPW]kP3,F`] Ep7W]s`D*oQGs R|jvRU\~tbAXi _be})K"}TږZ94P͈\8Iq.@Vg<C4 ji.x .<*~ڍ3x|>ksmzGrmFL#k"aIs)_v0!˽T;l%'pVGuQ_]q2Z~n4s-#YχH":Za#Y'/{]"d1QJ9Bd^CK <+rozWv6!i?{H"a#L0mE,fm@0Ggz\6K7SKF2%Y|X8~.hKU\Ue7gD\kh] bkX4x43{e/Za:EdŽQGwWFC._߆Mf8.ٕPύzG}2wti`Gh ~/As0AxR"%4oTGLEQ'*J=0~)oshˈf+iULzVloCm~$.X!k8VAm/Iޣ@%B?ʥ4[]r>#[X_0QM9!S\f!Pfa_^1_ZZTpfLd?D,܇a/qp>Gk{" $\5ۋ/R2{6d:^a(ۂv/I[\P@#D!y= }EjKcwuoxmp¤F*dsM-+2r ([LϚ>63,8|I.$^nI 0:IT]2An+5C1+h;r~(0ewyWDxܻ4ÂnW藉q,=G˓ eoV:$0fMe: R}gZl xClc~B/R'eOeG3DQ1y@T$&+:B]#\%F{Jw6qZ/~Q!')H+hVMhas0O5WaŎ_Jpy T{85Vh;ε]g?nU8saZDs1gI030!NJsoĨ DytR<9{VX?"bfVѷZjQ U> ܢMd.`:V x9A@I1MCY=rnvR].Sc\6_ P8 zX@ͫD~PVpMZl跿@ .v<3v]YAx9Dy%Zּ>`&hmꏿ1ZA@wx.bSWt!ӉbHzфb:BbEn_խ2g-U V"wD6o]!QP\+u5TC9A; V]|VGCjj* s#s+oyiJ-!s!;t }<oU걧u\pzm,kbd|Wcbz2|Mǖ!ʗгQsQDI2+J MnJ'Q2~p qޔ HǑ9 ʘ)l4^{yNK(]n] 7fSIQlLO8g/eGwM AWeץSYNU>*G?LMq]jife᛿Yj%uq)AC}~l=4d>)%[=r[kc'q 0Б㦢o-e \#92'!h2Ŷ#>bϸ;50rb4Ԇf3H{V++*05Q'IϷ MTeP024&<1{!l 3j}rPdӋFKkKy8 5D{kI]𭕝q "eϪ(Me)ܙL[B)D0Pi+(3k-%-2OC "Z= .X>Le4/Ҭ8LiSpdGN'?)&[7lJ7u^w߂ pnhmrcM_߉ڊBK[*hǾ)4'h3}>$cwg(yƲ/J3A{|DJ3fqlهDd1ѫ9c7ѲyCVAn&e,}bJ:_-.=g%o9侤5; ? iXd VLMK"lo mg$LR.r%DO#8jx/,3Bhm<$U]^DgYZ3f9cc0e6e7b03a7ea208131607c9fe4bd2d11bb77582b434fd8381d68a86013ba6ac05e7cb783ccf 6fec1bbb70438a15b2947f76370678b02946b472962c289f21653eec8bdcc676a607ef62b0743adf