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  P Px%\t< ]/]HOL-Analysis:threads=6elapsed=317.922cpu=1561.428gc=57.732factor=4.917zXZִF! DNh]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$ Cڛ>TMc 8!L(s 2Gc~!,8?<\"Wk$Ÿ< ,r8}!f'jKVf;.W>[N7vioǼ<_.\xߔ`RZ| Mh˩orۦ֨>9mSQӯc`EgE(xbҮd1Cc{,-; P@Ɛ{7<  ' }L3o{Da5(Lm.<, qVp'aDw32sHGնi!g;V8`iw&@(.|nW#<XZ}# \eԷ?F9iV5)ÒPAbȐv6 ֺPWu!7! ^ۏ^]ȖdnNgpf ZS'( &,FG#s']]oil)dqxQ%u^HC}ӯ7!` Otfd7+.L:U{ZH |]7\?Gtoa||]OB_lm1º 3Ѱ(Q`ѣ \V#t`ԍvvډvd~4ҺL!F&\ 5І2ܼ=]uEpEMPyS3M: FF؛l>iчQv5lөny hr =F$1ٜagr&a#pE?;2`1KF\>ܽ(=9j~jyFN0 /8+vc][PUPˌ*hÿ[}<{nmV+ ]+5¬E1RISć$)5 Úq9:/2 % HOL-Analysis   8Wyb<+E.Kr *<FEu8ڞ9|Br&#5['jhTpF̗Dp.::h*uٖXG8RW6aޱGtTq 0'Һϓx:eG5"_i8|FsCA)NK2el܁&Jm GX;VŚ8AV7Z1LZ_dzÛuc5Q<5NSJ,NK@x37,uٛۜ/+K֮鿃_5KK5ʟ>x꒶Dzر&tXҗWY{kz\Ca>F[M1q_I,7A&4vV1H Ƃv"l Uh]858uzs;A>)` dm vx霎Py~g&P>~SsAm͛4|!)U" k`OТzH||+.y{~SÔ6 3#T/5 ҂'=phzXwz<l oCji=!j쒫 wc_덳)Y֛`l5l'5rPH@*G6鈫 p8L'XZ,;FSʿH3q~fN sJ퐠V၍ydCjpWaј5~o'ʃHbs-5v1QG6t"喲-U s] 7}<n/#4d/'@ځҪ@Тw;{ڸ9<5JefS8Վ`7r518ƶQ%q~i&V*|:wa+waʭR] [K's-a@|JQi,s ϤλՇ[<[wN`a-ެHio]DZJΧl^\  .ng |n\"]{03ߢn %3BBzzq4:GhQgq^߷|M[}C@RG[`g#MPGGV.,My:R(MW g$f_V -<Ūg./ qQ5JR~ڼeVocIY [-Y%>/Y,P<%hsݩ>bUn%^p  xeֳ# Unq,zds*擷CT_Ul`V?ַe{x[)+HfnnG>ݮE{>>h>.GlU gH<'L*G8z*#k#0O\u8#;fAݽ hÞ7VY%Dyhc Mg2C#CjPOϪ25 )e9>K_lǷ:"[nF \}BZ;3:^w6:6}Xx ޖ75kj캁vVϷ0һ6$l BU0C@z\s"O=YXrec RJ/UTKrfa+.k X}~)$4^ʑkǒ{;Q7 #k ۅⰑm3~lybջ0@65"3a+8VAi.9VCp݀1aA`{q֜`OZkY;@ĶM4i=Ow3(;aش @^lv6mE!Z(ϦfHƏ* fmRl4z?;@YKsHs2YT;O @r Y$ rp}NXcTNzi'lj{E4qw_býuGLꞢg!wGmtv_sR(paYp6VU^(3ϋ]5Ļ4e)X$ ^OmɊ*lVH8O_nhD](|v#Kܞ.IabBdLw"Ͼ@Ϸ7>;tI>$£9.4J^V]u^Yg+#Chz6PDJ-mR\F}Ti-MһΗ+6>mBFϢo'ԧy%<33o3tEAIZ$A&Ѓ'f,/L yB"7Y"Q_$ @j5\[@A iKdԶME;e> l-SZ@jr<*^Qþ{$+k{%_f7_#\bD/Y~#fn4.2マoEr7UW߂Obw {;Veze֞DdClk.7Xcޓa7rb5bA*ȘGTwQV`=R6[{ %Ȃg|ICQMH]DzLD) p"(JaZcH:y\y%U桟Ϗu\ 絮4;ώ!f>T, [,OR 'ŸU瘅w 4e)9|M"e &׆>yjd*:)KN߁ #]4Ah'.VtyT5*><"H+^E_#Px:|^6e-*//oW`a{K՝#SBJ!fI b ~Z'@ɏ h?mF ]-2mzc;]V)g{uGsY REzقkl^y%=gʎ}7ŸʴHv9Ԗ2Z^h; C܀ENlsV[\+~eŬQ].ͬp,{orL2j=febmf.^@R+KEunaV郕Ww>6dmd9Mw= fm}Lt?Ç#rFR`7u@6ygHeJ%gvhf= |CN3^|sZ3Cg[6N U5 Ȩ!#0әy]Ad7"gNg )jA.$?gS]E $)>YXv_~b5u@RwB X\^Eb{{ڎywۅf>#.0/gi!s982)$n렧bE$݋Fg,KI#=u 9KX'gu[ja(7 Cƅ,J 8LLj㪇lڝ+`/Rqa(~YV\PfufWN&y%KB^2.4P,Cn$lUQeF>FXq+^>rjċ[aw C ;\7^j0o+y1B[j(78(k:1]?Ӌ9'J҆ش&sE,Dp*ey61MVi?@DIoԅA z3F]t8rIxx4xȉk(>,i ]IbLa79c;PSb[WGYw/&O}3rІN>cJ&tQw&0퍞\5!bcjV!a禠v-KZqepCp@<ιvs@X+n$t&Fv;9Xw|;wќ|fyRǔPy?7^7mmoe&Wϻ|VYDjI,q3]4a4ݞ{F(~)_Y@>* Ιml }{inդԥOءim\9@~g_ \tar];`w #evWR/2R}3ݰE G36 q[)BQs|θnHcg>)Bg(syt[ƇVo7<n]7LvFԤ2=_4h#? K+aO@۪?s!o:*NV?0q GzW Xq81;<ن(4w(+KK\FnE7XuvX(/u~ZҤ -ϔ*G0^Zd1 $N'È]fC4Rk}h$ xy_}wNJdtAAV_*bד~Pjɪ=~=>-܆BGӉ%s^G}Kxϫ`-#5݀^o%8Y1}oDoì)mbsSΦRA| A# #wq$#;6Ƴk_ b2E4 '|O>hC yKf(} zviP> 6>N/sv`NrbUnfVV{+Y}]US~B3pmȡGU6դe!)Wv+/WA3h5C_Z/w[0aC"YuЦy `^bC'㪊TJ,oW N>XsrMNʮJ~R=#quxmB|NDtfӅDh"40`"4wJecRo9xN~p;>\Fƒu{ 3I s|J5F6V ^,7͆2SxiKI8\| _ -{H*ޤhυ" gg#q>VvĨӦ]!?n5nI L(޺Q:{z06\ZU"9S~Tn>/_ 5- &nأL |Y^eN!=}jJgj$R8aB \\1fn6ş.[J?E&2lF9 {>eritu4>-r[‰oV/%=<|@*n8-F- !NZ_Z:PUro{Tk0{b49y2gI\XB]gG xˌ5*f9L3HwW-x.jMT >hT}81G(p"K:WWI=5s!Ye-;kf$qhz@ *H"2)bz9DŠ1[k0 0D9k+%2Ii\Mj7.xC;QO[s % #h#`Ȁ{u &7s=_s庝۪liL8P.nܳfqFZV}Z4XmgTyx󙲧jc%~_|6$G"PёH8o+y&'_C;. 50fX2H[]`E BZ^Fii>is"Ćɚ+̜wwsJ^j1@7ᆨvzvsWSi <pt(Ee8:e`# `LK ),ic\Ҕ/*gF<,M\@-\n+ErҖ͌{8k9႒(S+pwHBQW=@TʼbCM~]ŪMr$63f $c\"Uϑ d6ĤP)0הꖫ{ewNp*a'QC-,뺫d20,^8UA.t ž%1xy %kU!X|,`30iD@t~^ (q,Ea0m"P$d+⿅ zb9NbǑ#N~Ae,^.?:=Tl˄G ogVkb{xD"LqSOmRRn R $fhh4Fq#bq?Q~PqOg_xEjT HR߹a Sej=Q_R)r,Ŀ몜m+(ӈ^)坾ưQm4\9y203 {p kiO f4QbL6ON*`2zrwxB,'N fy_↣AjG!\A018A(W5p"r'f 3R`ki!wYi!O+]3mbοmvkHf,։7qмлIC螥$d%`xu'}禗2gn?Y;[Ier1f[՞X xŮ/̿ g'Lu A|Ֆث- ~fv/猱s1k r'DANdLuIwN_@m_QuCk "3Jy\/SV Oߟ,P:K{}k `!z}LC J6Rj'ͽ wm3BH2!nFeŕSCi ܌HpΊ0[_M "R5R* Ҍ{}lr f' D:Wǿ~yNyB*.pWÞA|픩qR/*g0͐ϲNc{ R/mq`xNȹ/=lrH_ʠ LWA-h`wOm_an0qȉ@BhvldrbVM+{0OuQ/b@w'Ic:.5Yg‹=&%1y{OEa9<سY()axm툶`?\]KjRfƿc:s< 5'VHh#_ ʵy(ڵX`"2+0wdz"{x^LȈWnٰl*BZ %fa=Ȉٺb[7kꑌz go"!qyh*K"xiN~[NyOESKȰrP?u&]8\Y0BTa:-rZ=}|@:eC|&_EW!jno2+ x1)s\Q8Hg>]^iQ>zK\p§IL Pa\:!ÜcuSh ycD/I>i 8vk9 TAn=@|7[Q4@^fCD%(nO_?Tf6#\ Cb-{ftco !ig@dVU+ܑ:eӝ{"g_ LF{eg6M62΍|:7;J*$Cqģ|vHzmWPLpM-T1#ؽOzd[pSٛ4y#Gj!f8N Bo}kȭΩ``;UU*2GFMZx((1~s:I\qhX#/7zˆ,S"OkO?UVN\8S bz[p7hW넌1ż[i{?PY1nYQBmNa!7M- 2{s;?Il -yhE,yYaމ=8;Ir" yu%pXÞZ{/ajf|ęyY5}2g.Nw{ |D Ŧx-蜉F:8tNjբ;q)l ) CWj‰~tyq(}{':m\Pw{!xGs >c:#]#KF4bhY 4k4 ĚS_u4˚XM*w6^u*RVZZK>/N?}cD|?Ԗo9BΣ<|J$Qb+( {ӵ %%u}b{% k\+ ȧ)W wOy,ے%Ę֠ f5sT{V+0!挝/6CxYfjO_ѕRw8BkoIdٷ8o{tvC3)Od_ G'o?dXs,^3W6t<AMd l0 cf&FMZby)@hݙLJoٮr,eΗհ`5- pZZWŒXsȶC&iOuS49qD݉J~R5}KKB J^(F-5*Kin_ʜAT-v(E_1Zށ x͵>rH$-ͺ&(i l)xW#WdMy[my /Ex0Gd>Z_o"m͛L:GI/ɟss`(d~uJxErYp{ԓ o]J:*'W D+3ɾlHxk."4&a *48݋'1Z4KOD~9zreJXaJS''a݁]5uܞW0癸ӸF)*N_%tQZ+.kpL><~4 R̿Lf_b\}.S+$hЁFK=ws5\J7-4-SN7YL&yFGeO9 t]#.? iD/lUT`ǧ3m`3PUzWΪ)!9K81Y3! lMln{iX?nhm-4l^UnJs)TnՏ=$20tvM #K9 l(|A,خzVл4FtA70HlsF4b^]g,Hg?]T(ϖy7TI?ԅߘ0i yE0kBD>d+;A: B1/莃!{Wl-?l\*} N"ϫ$p5> {ǚ\p|YT#:>wzr'3{{!uK!`S1kjp)PlfS; 8<۸~[ZWM`& 7V l>s-4i66drqFԑ* i&kʕ}U6圥4٪>fǖۢ3+xYChhpFY/o5M#mwahG򴺎@HȢ5ƚk;i̐]lڲnpk.5;l6ܜR.+xtJY%6CZɐ{{=b@ޖ* I M? %}ҢMea-Yթ괙W rzV#7O<+r.g<-h`RG]C'=ӡ 424^ ~}zҖ򢋁"剈AzR%/SbLjבo7WK *<@i> ~%_!9S!37Է<Ǡ=ό̩tFÝI^tkQh"jW5yF/9Խ$!I[l*Hl`tgxe3'Ec2j *h__6%;wD.g +c3uu*C&pvc1 l~usPt I5+5d&^$Lp#bl B AٖQLڟl|DbHpAj5!aƢWpQ{>km|Y4%ػƽ J[yiHIض=cFli4!@@Lz1EB1:yHZ!Uo3i8!Mۑu*-sz&r1W.|'Xq4nʻ09m4Msq-)_v49"9\>^'psS\"idP vQfm~lQ-8g#g5S))!^UA};AkE@zY#l؄L_>;kCS: +SwgL8A&3Qh[KTmoh(`gYr[<۬Y1gMwTf![L>#Stg'$[źF1s@usre_ ҟƳ@e%HtIl]*#VU0DKmM5( <k׈f>hͤ:Ȏ;>H{e4^20`.OyE0Gng':/КbFZNj2mF[;t"iވģ 11k,pG8Hnxffys_+,YJK36`W'[❴HVņ"k\nZ[ix+ŷyս)|jno4ZjF`ɕY`|4Va~1ʪ6, F$z\۳p)F#,'+U_p;HR9aG5Ϝ<Z w TaqAw4*1Y㈫ld@UB7`xp@򑎌(hrOeI zk$WZ6 :ـ}xbG:GN r1F?riZc::% un \jeK[AbL:|20@dېUr4vq„]@ Pe>KCu<.Cz Mb".KFOz09>M NEDrxOZF2 )5?ľohP:iׯizl> KF/۬ lk<;ya ޹V1e8;µ "S[<>@&ᏈM]򥴔 4n%3_y~{￵XmUp*^#O'>~޶X,7SRw:Т3k.$^ HZD&@. ym`E85+ޘzK^hT@u<;^w\#,K odjqթJsV9e!uQ:rjvuemdFpJSةwѶ$eʟo?)¯2,_HKbsuj:- }}=YLg, `sQ%']Aqq?#y ~$xDOge2bq+P?'O :P;_LJΘ?fFۑx.vּIk j9ݼ؉E0;fe^m ;ʴHxLyw\`N __>ضEH.Oʹ6bBWH8k ծBq]>uMO3S t#A+{* PzLnc-wd׋p'JXONs{7͙'[>(/}7tϳ3^@&# e*FoNj0yq6&(Gsd8L0P6wX k`Y|1g) gw>Dz*u o7\wj\6K3nwJ",Z9JYp!#[ Z5pEq Dj\_YݐÉ's{X6ȫ%=]wg)45o\JZe{.0܌uiqfRX% x*, Q_==m'mID[gjǾ 1g'wu4@eӖReؗ߷{@D[LR_VUdm #HT|LE.PQ^~V: '퉧`N!D[De;v [0翝1C}%K|7uO.i+8 gh#/HB`G@ ԰лkm@A U؛آr0.JfhB:s!gaEo#C0{g FʍhgegΆh}q@*zi)wtT84ufUW>2z<ڔ@5PRK֊M<`y=~2,}:}mJׇuJjX~QXw P"U?'Y֫LDZ/7Wa% 4apj uD,0md}‘`"m8]&Ӫ | q(R ]q(UtWXˆ?8Ul̐PM91'GOp"ά0 (YESK1%)fǮ&e%ꢂvҫ;'n؏ő$ϸuyEyDȝUJ2a0ǩS(1)V¸8?s8w э=菇w'"$[ į aClaM{OF8DQJjE5뗞 PMI襖?Al|W"I7l $Vhe01J#Y,UΛ_7ܻK Ԯ%7XlDn._H!bhոA?ugJ:*7 Kv$D=ЀJ6z9v]epE[ӆm"W?ьvVpLk4_D7m@z8=yǘNvlgYZ7zXZִF! kV]ŗXi%B"/G%bRb~yƭ٪ mB ziZBbe檉j$ƂV`#C;pwc"j^NWm>4ǷaxkJ2|s(1g(C>15J~o*$]ݙj!Q2dMjWKB\NNxCf8 !s5z8-䲄l45ß!N:y@.*jASHex>*d͉9ES[@4)l/Ͳ n΁87[8ptoV7]ZIX|ߜvWz8G Ql/seUY@&^Zm\XEc1 zj\VhTm;ӽ9Fm#e3c۝'AyZ* mỵPxFY;669p/RI/ooA6!:?]YHAC=\־78̚AC=>@daw ƘL_~T' /~6tqh t!sII34l8',l$h şG^aj$9/Qa fye)I5` kpQr a …%')&Tfz#6p^qm@uFnc鉫4%!ĚOf KP )TR:.Mx5v3D%N _CWLt;[p>s:`m=NJ޹K6}WJ VrK_<1 ݢ.[xtI:12dt,>ic]  r3RX7NI{iDʄd4gLv; dA@d+uS >Hu8־Bӱ~ >Ik@h5 nMɈitN q.B޻ wvvBP} JĪP9q,.oB LMㅵ.Ĕ^Mh*2oW ɮ $T:V=Rs)syʅQkA< b$ ަhyaBI_=V'T:go[2CqF詛RLV"Ib|5{rD D#,d#8d%k}m {ެ(\Ï#[f2&V^{!fPP5S#~]ǃ;!V7ܭuca#4mnȅ x mX3l#mFI@̑!tx a#y:{t 7w5|N T9~pp hH%;Mﲝ{V;vĺʸ!+Y(on4-ud%m2M|)ĭI2B'J0EO$7 ;֩l12 ? }m4)=/s/L`od992 Yy‘u`Bt ._aD9׋W^ 0M`6RN%fO5A>0\vi!08&ߖ yh!AAbîg8ܱay3wZz -*@yf[C'Y12.V'Qcav's2hv ^ˆWHm]2fl,/]P6;=DXMZ}[L[k-ur?s8>i>5b%zf3:ЎkM'zG0CdB_1CyUEnIw5{M Ao>.Jvt՞#\o7TQjrO~4{uT \Vu|lM*Ke^r8G~8TNJҿj0\eA|a lgg4 MSQg ѿRlĪ0BcH`Xb L2Fg+J *ܩflW+|4pù&e7J3ZQw/Jq>E~FºvRUϋ  ??j5f}6-H/7|mo̭j=4" ! k1~k8nh*_qy2k%51\91f# y;&Ui@Sjob8t 3пIlU>/Fo5fE>Un.d 4lDF"z טckXj*K.E7S8~ȰFyvo\lE<(M==e=ay⧲ ?xuD~%w+"]b$ZDqlU\H?*rt,&LP|E(fwG-έ!>91hmf, *@6 lq _]:O7S5K"?=$ 6,׿\ 6{( s4E}*{4|̤戹(WU h>j|",[}.|9)6C3稁E2te!/xOY7mHP3Rab~ƔȣfAʪrA9Y[ i_Lsכ7:j1;tyՁ8 $SZ>xAoWp3EQBt&j $rl45!ɟ@`Q>ɅeI**l@T2ws|.ũnn|/h}{pf+mNS"9b2,b@[>RLrhFa{FyӰ$_Bセ7Qsu]-o454n e'C )$n =]M3DZΌq .bx4%}2P Et]#+>pm<|A鍎'v•grs|"!;$=ZkYͳ9n3RUd60RwM`eL7=Z; wivUj9Kr2v& wsXJo{Ԟɿ̥v}Z-fj{KdSY*ߍE"tP$4 a(%}Q?vPsEq|ӱ}nM۠X3M30Ұ9+W|?6NndSgG+3ks VL#_>Ja5þ5ł߳oSI^2 @дa^$+S-|`7Za)?.DNjK6}:R}J3`NPT l5jx$E g5Yo؁?a!U;3䪡=,Wؼ}>05\)⾎8[VKe^>lwqAzЃ pNmזk]7fAT1>ec`AˋпOIנdZ" C>wN8v=#%lK^5,=m)m v!gƪ۩`B4 ,aYA9M x~o~1 CS#m/"0cr7cƐ'TuY38eH_)"8kGTMv{hOlթ{1Уv#n}!m1?./ 4~hW g:իa:֤)EGJ GJ]9\K9xߦ-Z1'i8~&要UnWhU?W"N#5f7g@Q"gL+0Kv0 :UlYK+f%cƑG7xc$p-OU ROSaEWhEhc-27ZdUXLmVJBGw9+VD&h{/UB ٖcU:=~#4٦F߈!o 1-$7XI1Yݜ-(H#ܗ9gun mF Cwex  ԄQ̥OO,Ǐ4g0 .; Im!<@rv3^V-"0JtQ '97i#ߔ"X-lRB&0u5K#,·( Ȯd&Z)b;܃Q{Q~/o;1a4Xu'KR_ԆqPcp ks/?W89dc OH)@` q0Y݃Eơfbe"@ǥeW8Rڲy3zw U$+m_;].S#W""nM\HiaT\+);vKX7خhfTӔEg7&b[!Q7kJ [m@yy~Qk~9b,7dTڼQ y'%aUR{_ ɩp\eΞ< ~[>q( 5%v#Lg3PW~'|}vlUej=N~.o䌗ƄM@d[\=$WnҺq a_jp]vQS4%^1Ќ1%=Zu'uχAeZVX˜ zR#%;BOt7YbN'eP8be1pjLBԯz pxYe| ǔhlL/Z ;[21 ; P"7BqI Z 3{Rx@?TַȈO.fvJ1d`b5>7ʂ 7Q Y:uE\2\|-%ظ*U})k7瑋"YG;y΀38HEAc M\oDE{9Z46мDP|Nwuw˶;I+u,5)_U~&DObٞ>xK4ϮӁa<eXfF& I3&C)jFR.گBEWEBP'(1^X,]9KΙJc&;_9!E!ln\6dII1~{#̍sƘ_> W WYKE}rn|Ɣ1:Rd'%kęMs/Fr,o!ZE]44ekɶ -5#{1<K~d9?x_u9N;;G!Gqnx_#]3t2^J`iMYx!UX%d/1殰!7XZ%)]-LKbMPB@wUw؆wkrU5M*5P/w O:25,jDmOQwpkdv巩6ښ90d"M' DqTR&ўYCms*5 qc,hGx P3f@_%LuzGr }ɽ\< qDJNۆ_u|BJYY<ΤD|"vĝIjj]}V28 ~i }jG%xxлpfCVMUx/>^fe@Y]*4ed儈B1?S;RVdy%mi'{jk7RK>L ^aS_F@i5wc[qvպqY1wv2lx /||eHЅ"Y%3|cm B36;-hjr{nͮSχ'TfK`lK&HJF&K;+v!\sng>desMz?|Du(NEV2.&i=yUp/I\#̐Y)~8i`Egώtx&GMTjͱ^ Bhl/"V6RNdRVZYWSL-w1ȶ*⛞ÃtRޫ1`U Һ.zbKJڬLڡV#WB"+Y-'#IF]]裍__ȥihSZeU܌Bv!vV!xFG/5L&3'mn &2W\JRm.a]r!F>8zQl PO']C# ]Ioh_ Ơ3o4$=b5:g_k!bYУF3Z}&Gmsq~Xb<3U(+M4('<`ҔIYK--K&]fM84Bgɝғ9`B 'gs>9n2ŲfuS| E@rqw=J숌sIޟJ2dGA/&Ӥ2c&WFa@2:)tYiWؗT>xz[vIUO8ѵuZ[.(&l*Jtdxn %X=}sI3E~ζx]U ?R2I.Ien%&n6J=>B`|I;nA&:'7y֭i l 'V`'&h7谁#"Y84<>Jhէ@J־/LÐ$:x }v9Q]Нd"課@6*=Py=!xK%;2; uz\;(w*uTdgT `~f^e+#ZLI:Ԓ q|VWrؖHz\9tUYdCtll5VĿ=CT袐|,y\+UCgLyVFw01#r̈GLb |SyY"ԎU(wR" z)O݃Z_/ Mqͧ?<,&T,NX}qTqaŇOG?\ F 0(7ۨWgv~+$?1r&EHj|C7*{/hcaTt2q}Zc8\Uiz˪@ reH$* #^΢iP4Bd8`SP $:Y?~}]c?x#J`'`T\)q?^2#hp8&Gu'ReC7|½OT4j1389!S E[:wiî: -oRCXyw:0HۂIcd/oJ&-Qӿ/QM*}g!q)7hOf]k5y벭\Akm#>Vh g V!s+i6csU^#1fDm۰6?P:!(,uf-Tsxqf^oy ܄eppSrCX!nbolDtW#hl>LH2f&|~ @ neQDۊ˔=$--"z\i=шev,n{hȫ`7bu@zLW㷺B`Pb=Sæĸ{z+Qئޟ23$cm_NLPnF4 BNQ:q4ȉDCQhJ. y&sp{nV\F^Gr`l,jl>Fclk@ :\ìYm(Qń1X\pz@#[(@ >hNX3qahVNǏyIz5PL 0ґbO2qһ3JlDػ ~ .I!l PkzP몿pcP(]/yNlp1y +6;HۋxMj2S c?6Il8":p|k=r]A|Oڴ9ZTZR2uLU<Տ@0fkBa1^&:8%R nt֪95p W׈ +Sx@k-@ԶjbaD OG4J/EG2ONMN! K-1l^,t'Kc#QPACA2PWٔ'wnZLFdiz^#s!U1:H:s_®/`tD*kKxtfPf8?k,󻸮7H=u\8(p߲Oӆv{yP&1$%RC\y[-}oVaHs$^ 蠠D߽w.GN9󸥣g? ul%L#*f٥΍$)4 Uo[p -*wPXwJ|{",jO /R1o_P]̃iF j-%ZmwXD=_N44$GZl?XfZ5dSE >)Ԓ] Hh A} {x|9ַYk@7yq0쌃bZVbugqNdJ LMڷ ;qVpb [v=BuK%[Ls;;`ׅ`G|݅pqP_V4~uȃu)7[ %w>VT¶xm5x m47[sk;`Y9\(./x{T1[>q+2M/{FF+ʙ\[Lc= DOM4b"QE ~O==/Z>9LĞsNḚeQUZtf{'WR![?4'hXR<X~rO@>ubre(#yZ ywpl,qnGzБ(XrNdn0PS_?S&9؅zo-UMD(D%x7L}=`>HG0XNo3 qe2ףW~I&dvH #/vcUO}1()3"n)K4!x4c 2Ernc6 E3wi%FS0)/f#J*CPMum0cud+*"ynho-|{rO sDZ?\dp^aVm=#-1Γp dh.n&/8Eh(h ky\r?wNf/BFpðL(qo; H}'kXs5ZkUٴ<>.-hrhDxW1"{?qw<xtȳR+#U/DꈭASxlbC$y ɮ&p`}Mw@0ٺ%tk"x}<(o헷㓍3zw^PB.սBK=kXZқ irCιՓ,3+=y틺8[|Qq0Tvm!G//oY &P1+:( }VYqPϸ7/ݒDĕb1#{Z5ɅMR3^@Xe_j/=O0z3 @r` g2M%§|{7՚IyDα?چ]730KY9[m|~[ 9>T;Y=DgE[jwidp a_f%=8+WkW;cdM -}7 Up:swoN)mX2qݑ n6Φ9|*:,A3Z?Y"o ~zŪƗ?Ad[ݥ t:E(.T5Cz EnrX>w HZ+n\+|M\,g.=nx K8s{g”DLa93*K NֲK9E;%C^ }9[7E?.ӏyr"W ;mG 0QM~Z uJED >؟"D%1xp!q)ƗPtƕ\[2/+.H@qBَJPL"٧ 4h)[Qb%<1:@t( 2`;>^a .iCpkj bCaajѿgqy(ЈM/pa &] L}4P XpU j 6Ր̥CT eF ! ]CyCͬ~b6Fn՝w@Ұir*₦o~qI_Y`t75=ҙo&CfV@l @zێ={]9qw=a}arR&L546_:zS֧H aN ̫r99k= cHwqJ8@>⏯T0e[}VT=w@ [1[ƏtHILpstG;Bɷ*-&i15 =J$FH ^@@|EK9|5DE7^$a5ꩣ˸tB/@Z5!/l ASc'ΎoqVܽ9MwIHJwjHO/;Ag:'o }J'!^RT8n71T/TT.Z-'ٓ`dQN8(Ԑ!)\.Pѩ&aJm%)4Ju$,#ǃLt^q0}SD֗ m^PM3b8Lнe /94n&m3Cō꽅bЙ eH ` Ū\if7D k.V >P-$H a3'ϒ6{Ϟ+h7A\u-nf:]> o_2%UXaU^3 h60'wOe,N(WU&E^pfFVFrH(j]eŠfmC:Zs <52ׄ&EAdu5ȥGmѲ8}[ 6f%v\=LM3-=?s,׼ -H5Y̬DZIq@@.5 h$.},9bg #f/]_ׅHl$BK8cm}-O| $ :<d;>* /D[nI ;j .~nC1Z&&0+A :N glrfУ &)!$M{f6j\5V-ywSblP"Ʊh~AYa,ȆIbvC>ܯKWћRieq#jY& S0jΥ7R:/hXfC޵GИ󸁹kh7=ا rǾ+X@R%,8)}U@*d&i@4f< Gْ$½Dq#"_uW -1q? ps/\Hubמ[$- so׎C* g`Zi[&sLۤ'd%ƒ z7E3{h+}'S9^!$=[-Ce\6N^MwțQTf\^Ը[(Tw?˺\b4̊TpG@j?ղueioKLgm=:O*v*RdM)<Մ T:_GymvO9Mn@{]Gٕoa`^=\f;uhMRh5cAK>Ƙ= .>[5 ݯB2vbZ5&XTčƕpI".U KKO>]o+1gu d5ETdTtIEI(HtY)"*Fk> 7m/ ̛Z&ZZ/帨y)o qut)YndJg;WxN9p2OSP86- A\&Nn tRNjb5;{2`՚EGblo96dO3yHbI5 ) tȲ0_a`nlP}z[ dq bq~rH4gqVd\x'|yZ Ng6;8W;9-a8#opk-{ٝ:+M՘%W~x_3-Xò\=\xPǮ΍Yk4ʟ q,8hgXHנXXFHyM?ϑ9ؗnen7PtOOQ`(W_'}P.P(Os[U Lh?-X5*iIQ~!2⺙_Fc0PoQS[`Nf{s("Mҫ%!fޣ>m"ݭjr^D5PC~0VvL2ATZ| #w=m 'RhDi %t{IEyM 2,Kҳrw4\RS%:6;RBP8^oܓm.2TO·=N%wu Y:dZ/iU~=FJXus 'FFn3e>):QwqcgmOfKWS&|<zEb e˿H2<I67}Y"t)(E^x\lI [ݏ{Fc{ ldS!- ldHe] yN2ev`F9oHlO`Vm쟁ǵMpAzUY.י]TẖGo|oGt YaQy8j:E"G_y4ZƳd>Uĸ!BO7._cHAѾ7#]3Z&eG,]-_mSZZYiwғMH 6G*•k.ߛd(pxoxxT\0 8pûw /0P4ͩ"m4}\9pXsWX>` 1Jh,1uNd@w$ôeA6׋HP`'QwΓˠD ^iK3xx#?!}s-10dl݁"N:R̼LwsīG^quƄF &Tcr_9U&yE"tBt4 4FGj=tPT;-ߺ ȁŠG5SĶH.qoDH5Z5CZ_WU՛:خB}^&,k+MF$fŻ-Lf65慵S{<`XTڪjن37;Nx~9s-MٚF9X`b%'#l 4ݫJ(;{2E,}dp @"П2O#VgEwn\_ïWK5e}g|Ԏ:͎Ⱦl~xNc;/rbGsR b!X ɀ=pö 4OJKΝ=-z> mtmk=|#"4J&0fvF< =6-ڥ2Zq :|!aU9bƓ^7靏,}0Πoΰ~_#QT:lZ"ϤccDpvPq:v븧jڱ~ƧJؗu(IqN~V{[[yB=Ġ!C6OB?%2X+CfFWƫX+Ehڂ"^>0+Ŷ6-+Ә &{FN[$s7א+|ǶJoy 1dʟo$?.AӼ>x|΍e򠒩p5}U8oX' D5X#ޢ}Qj2} b-2?d+?iꄭ\]bSwˤ*GXzNo҃l6%ۖ.)5-vG -:?ti–6ȱ~>(6ܖ82nPAr̕ i֊ܸdzboT^݅3nNH'ELVhE(0NR&gKM@Q),fi暑$gld[Mgk'ly(^ $rޤeKlPj19d9V|%;.ϛlcE-LPVgӶN-F(Qk+my}G=ԛ@`+zW݌x7JEN0@lܱVvV+>v E2̉vqIEN>p!6ApKĉۅ{%,;Q\HddTؽnjPeg Ɛcp;Ft%% waԑuAcf,;z9_炞#*+ȦCM+ۨЄ}W#mdݶ>Pqzyg1z9b @EOH.o(A$2>0yԠZbUNv?tL4pR/UebȭUZ$KΘA]Ts֕ P6du*`G5Z]خbֶ[LE+]o؜juEٗU(9.WB=]}`뽕MKK' M[]:[>Fxmՙnn] C^46y-n.1 tsV#c uk #R;)*W]L%d h@lr4h_ԌGRnM:17뚬Yj/]ex~O J>Z8-;_T&=嶫N3}jY]N 1m9M2GFˊJmW gN ,Wݜ"ajz]a4MBgeQW݉?NӛڴϕjNc #׫#%OYnwD v*coPwl[ԏtBڠWގ= e%7:LsxdK4=c@rBQڮ\-GPhƒ"1ϰ\?,€e8۴3=M,,. wj8. ;O %pp:]'OLV~ ߁OW31F??NXb,C$ XHtiǎU ,N2,w#6q\s0;!oQUaͿU89!tsn4q[{ %@UU{>w7$3Ө. 6a8GrTS f< @SqrvĬ?4źhO[8$`Xtj"zˇacyl-'DlRQT}6iT^jsiCØ+h/uH<L uƑ $p=!T7CXM3'p(QJ Vlapu^xF1mbQcXפ8W˰,-0b:p4݅7Ds034'>!U_(USe 3nEcx1_O&7QrwN(vSRӮ>/~([Z (>\nbFuPcd."-x[xvvOV:*^OÍ- xD[-bZe0:m<+ `a8 \{1dj~[7$@EAVX"DԌ^D хP89i6b`2Ϩ0LTœ'[xVMa_jlj$<VDg>BsI602<1"2+貄BLKZUO$&{=xBvD]c3 RT~.peiEڳSBi0*GZ:gJ[MXY\ %vjkUA:P= ʍtmq|IuYt.#z m:'U'R 0l:5sF7K.A)% u8׼sdˎN(%˖V1+7.h$cd"geC¬n!L9L0CAD"d6 @w/]uudT~\2XRWG7MF/`2<"V/3 *iY ʊ>S)%O@0ɚӿ8Vg7JCGCF]-jiq_=k.NIωB?όfM!0Euz)VW?kdEcD>^Ut,BgYZ5a51b672aceb1b714699800ec4b79ce2294dd685555d97234e2215e68dcfd0a908d191212ea0a6bd 2fd30c2f107bbbb7300d851cef8487427bd43e6755cb416f49c9d39787abf59b886219d4ff2a2be3