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 CC:3tTd ]S Decreasing-Diagrams:threads=4elapsed=14.161cpu=44.260gc=1.1287zXZִF! ^!]ŗXiɟH)0!h_+iW6D7_؃|S#"aH5H"68܀B:bMnÄo~g67Cd H=WNwV!ʅ>SPddZh;*iF?nXRnžwkpA5?VM&A﹐rzyIo;O:&FTlKH|?x1B⽮r6.o>G' ڰ^x$>S(L((ԅ Ha@X.iLʻߔz$t <:,PՙgX^~P4F\ uMa sCN5&~!fO.s=K'6ю~w}EY(FKX³ ~#ZiZgG6'="3e:l? a%4KJzmcI~925]c>ڗiD<)kJr\m"4#l9^odj[~P S(erwQH< ;4Vݤ@={LNx}9< ҳsP{w-(vbS0RcE+g߀,2+n8ew, XC p諌PM76_nAm/O w$P.@wZ@3~m&: DdK r*8jmYVl;=wr]S~Xpw hgWeEw'%5 $jz͖mY|<<,unu5pa~T]$av'˲,^!(#/Dטe;o,զe453ۋU-,%X;}gjya گNK%db ]-XƦnf9X"b *g"Pw"uUr@{ 6{W^3GDZHpLxoʾAwX.x=]ֆv .2ێ[}h" -j[G*~E{+oo@4jŜk0 0 f4>oip}.6AA-G'"M{2_'"Zq!-&VXb-oн|1!#m;.k\wлӏw5?53jH|4>A`5˛pm=R 8S?\1d-5 re`#DrZШqO*)RTxt]%J9e\YY; ?jk0 H9V39:^,Ud1GLMga`:鳬=s}`⽶ @x.oqP_&#=ōrJͬ^ vDZl*}| SU>5Q )0n#bUQ nuΫ͑ǻ0cHKp&>{+$?+OB˖ȟ2^'Ut͈*/ Y&>1C@"Mɷ7H(gTfdmI>-.X=!uBЬ 1b$;s֍בv`R=(pwf~R ӹ5RT7AlL#SL/_|lKɨY-boJOܹ ْUiy \ʂ>y3L cXthGSF8eѶ=b[ ЯkF;_gY1gvMrB*a̻3SJ3vSFUMhÀC& Ʒ w<\5^g=6O1[kE4T zpwM騍 K3[% Decreasing-DiagramsDecreasing-Diagrams.Decreasing_Diagramsdocument.texI ׹@;˸}& mDR-a4kr*wt/^MFw68|_B( Q<vT}iklayuG))1RiHV%P% K̰K{NG|~I'{? ̠~gr%R-`(1W/9ʟUYDS%:M7n'jjɐ@2hOx iɾr!!ǛH5~j&^FkPL)V)>Le4FQ>@[@Z$Z{! M 7޷N"^,Qa %m2+\/qNd+?K4\n@w( %L35d_ i;70&`tgLX8({3u%#Vݒ=2ߏ+aޅ_3dmIeoXGd&R+6] hlɾK|cG[ˀ9.bZ PRڱx:"F}W߈:)gGSrgw j/]Y s˵&[ V]r _.v>*Lm[~i[6G>({0EA=w!e8$SXHsjO IzkI1yGaʗn/KA9O>FjmFp-NZdl=죙ie?x_H6@&?Ojck_]nȜTZW:t,Xq[г'G=vcؗ5$3/7UcUee6P1mMfڴaEic̶J>! yfqӼ sRfB,?FY3%Zu; B11]F&EKƛh؆}[1X/-%Uh#IFM蚉 e%x@4j[}-4jiu^p[-$Ǥ=*k;qEWPǸ!TzM~g,erN*s^бqEebI9biTD\`-vo!C+Z i8S9 ,FsȍUkx|7+h2o>9/>^\BUX=sA9 |{>i]D@S8S(D X/Fs$2Jbzcl4kAVWYf)ڎ.Sk˙'P4Qޔ WB*L REVd_6Ձo&o@iLwUvl4>C C+z-sھD_H.6BFPȹeIţ?^zc_欈yg,x@p)= \`1]Koyf w}HnTpTRRMAicO ⤌=vKҹPPR{ZЮzF+(R4m|*-I]!<)5nr1&.~vS ɠ#V3eQ[uƻSu;Vu?0~MzI2"1Å[l[<Jjw3oz4./* VG1llU2LJ8\<Z0(B ipD6:e G?uI9"i5e+3tĥ(mvDƶ[gzw*M w nSaAY:FAo~4>k0c*%B5(”hLP Y*#iTVU`P[WYg p˨`{g8rKVY5뺃iu7}ή_^\̞j<)9w! e;@(to1/> F?P{H^B oRGOպ'ρqS}0$'ے_AKKtu!uF Pm$-8_I΢g0N;As$-pj~f'9ej%'!R/j\yzfvYXedޒVubaA%:TE"#Hr, D`0gb Y^SZbC D&@L;lNQJgHa2$Q0#\0ܪdP (TL"^3,mhGKdP(y > o%kwYUӓ]`Ͷe;mDJ$71!H'ɨVlᩇc6)C?D(%жk%š`GkܒOO(9 uc|@1NszYfY3l=(fG>nY8%䕧7fmwX@2f4hw[ @N ( +v{),z?QK6bwFy -Tծ &e#3&,TUrl7%3}]X};Kȳ4^rOpu!bEZ)OJ@ 7#CԪ6F0P@woc]%wfH 3;U+Xl,m"=Ȝ>|Ba'tE'=m<KMʭoL<heբ8WpTlb']l:!@/,!O&zg?/HTI_aVcQɐД4&/=(')?Whcd3b3Pw# P_>M4*a$DZFF!:8ԜJ5g聮h6sTAׇ1uHлiSF[g!#;=ޛoVIWI*R!9~c1n#*E/<Qv):S~5_䀿_wÂ̸}iTt9@f\ߴޝ=Jo.'ǡBˤbLzooM >,DX'%2MF]QV&RI%JAv^sQQP&Wj$XLr}Bg꬘z?ȼ91g516  2>5iRʣ.GKX .ugLVβr g$a'Ǘ}ML`Z |BrHye6nۑ~ $ @P[AS9DM-?b½1Lh g6AfYƉ;6] 1Cn+k Mm/IaHֱx)A79D񟩧wX]*?rQh pJC~%#ָ%rH츕^-G5jkzEU4`b" 7/Ƈ`f_':ײ f$KhY[bk\8(+O@tbԭ-;q{*m?XMԃs&E+ +WXoHkSL [A|K)Cv5Y<1n_YK N-ˤr<"herWD<©H)N\j or[]:U 'ւ{2N==m|?Yj]gPZ] g/0!w(̃ tc&H hb(6 &,!U(Sl)i`JrVt]Q-nHWP`mj_8‘.Sn1Ɲ}iw°x-) atf^mT9M̨s'*twKf ðz*Er GCA7b‹56 <. 1jJ@7DYBמ?g${="\N*iiڡDSYp)HOdF-jSGO=s\6UMi*/ WmȑSa\[(<> .2fS~/H>/ `qd|rbTƠ`""̩ DAr|XYہ/yt #h=͢˒Oh31foENbǿJ?vY&Fu'H\n&j8%WMDފ;gq8`="'>Z)o_S}E0%N"UE&Oxw QKgc#MR5,.g V_~-J"D_۝7YT'@؂ ϕ ֹ ˏ}yYIyr*r&\iAkcF5[`%XqYЋ3=N@^Xj|lTmcCCi~Y\]^DyJ9L$Eut0dBTtS+&{&kqGnXP^&>EbJr6HdžtmpVN"[-t̔F,aּP @MQ8VB['xGsUaj@2TaF`3=EQ ܇]셅Rh643qQ?  R~y8{:ƴoxV x3<ȒÞ !0kw C&Ź8 Oyq8l]iKaN̄V6:ZS9sP&4|f̘;e1wㅝ1<^k 0IS|@PjHgvzp+W˷v+-:ݱnڤpƟR/ӕv ݗ.]u6ҡyϜY.s"~ ;֌ '&SUtcp4SGMZ~:UM3(Q" 7# 0זoF q۰JwdK`\0Z2Wӗ . Bi7OKX샊c+X(_8ANtT:|4N3ئ;|b(0N l럶 dM=[U_}V#Z&Ѭ8-]opuCyBw zeL#:Cv`x>d$|`^;aacUwdvu(a*t`z8L2]W"kBRz|H'I`x(2&k=qEI9 pkmwV֟֊6 w\-jGG{k;b9OQ97yP+x gR[я1eOAW0kGfq(94 Y5d)bмʘ3l?U*|ׁgA6v0t< BKNÈH,cj,NWob‘:rL5cJUMuwD8$}o'􆡗y~VjԝU_ @w퇔ޝ'f,?rPF;Vif]%R7/|`gȁ kj8-ώ!!bkW4I)Ԣe./ώ{c3(أ'>P'Oyjcpװi,m[da5|xdcx+YM&T]U9% Hzl1jÔ8)Oy%'7Ĕ_vibcsQM|VP[w ?/k";J6̄dSv9Dujlw=У2In0>e bEތ~HcLkewaVEjB3z؈NXu)J Ѫn'.INvYH)Ke/qc%40 1ؿ;$FUxЀ Ya}qpk$gښ˘6)^} dPWpFK1-MMVP:^/ooT4^4BSvd__M}j`UN׵, d蜬—%0&)p hmliM/Hn 8Fk&[ S&E, O혳cl; Fhg&"i%D^B؉ ];.m*>F{f=' ugN_`@yk77T| xFѿc\8-( I6`vuC̾@mm\pz 2r=PlJxS?8|PG$9CK&kP$6ޡNĶϢIat7U29&1MeݘW(f/ ;ΰbւF 0gβ쏥\sW-3W~ zjI#'J-;_zG帾g.l'0'gjךD:O"<% x-sC26{Wl 1$9֮9D&#caY\ !/ȯ.wH/qu;o?RQCLn:H'IVSaUj*9jxhҔ#K@b}o=yNm. H\HVoŻ:ZiHGu%V"PD?Z`/7J[\HWxGmHzbҋ~#afB+V4PtArUW,^Vvʛt8,)PTd" '=FA`\v`.vAs:%4u[mQiph>ƶYJPsYr±Jh^'?Rbk!M\^d2{q%EVR)dP?lI#hoLo7%MzP. d %LMri5!l`qw|~To ;ϗ紘!uqAYfxӕ2t{og5 YxK X@duyYXw0CLY;ф|XxEsRˎ:K4nGR0GSRD><&R=[dqBE {R3+VHv٩dtfOx*{DUكCˈr˒ k̬d Xr iǓ s~cD=Qldr Pw0c I&0C}X@9s悂\_ 6#0vnhhu[-t>a_ Nf,mgcO;hAԨM'|'oʏ@N{>CY]}ci7Z] 0ūfzpepLkUfϗ2Kբ0Ԟa4<5 ̅ԣE7 L6lzƶT7TfG},dBȖ0)\dF ?GdҥwYaF9(& ԏFgf#:ui?fHSl.*yh%+DWLVQj<^i%z{/)!REACuLKW )]4pTy8%@y† BE6oן[и)gnꌼ>7aـ+ڠT|+dG$h=pn SecʶȰ;{f)*TmX+«=_l.>Sg%y |UW l3oI 0d*W:$ms\UDH.HEJWG=D׫ :O7)qYgLQCyk|e\ ,a;\ryMd8@f% 2߂v]aՂ'(%G,iѻ]-r֏F'iFfᣖ4GJam:،F Ep:8:ڿԽ"Nms>7.cᐍ.F/*S+2f| h rb Wg8*K18Iё˅O;օu Z4,C{Tɦ~+AѰ)[&֖ѨUHL%U] LJ vi`.FP$r,AR KǪkώD tk521 Tk>pXJL yD'B ET` Y9;ŏؒhMـR@툟Vh/ax)4U9^ÚRר/x\,Xc%{ʸ0-K5Mrr-`^ LQ`)ak 3cTx;`CyAT4 #My|77κT }uށ7P|z҃zQiJ܃yucDi0WyS=j +R ;W V ~]°46%Λʟjcz,HTv:}d^q>D(nL%g;':Sh TǙR? u _u[cU)tUʏ Ya *w_DܵfKmwJAրt@DIvp>bjYh- XqwN<*uU \w|ն+|b' 7s- &C0_%{s>2Hk2yw>%Vv**se&e0LyUX@%.tLJ%ߩ R(θ-@>7 ޼'wդK`Ý KJk,q |>SӧhU\Eْ(_ޮŝ67X,WȺMvS DUPULC[h<|rNMxTIn3F{nPu4a ^`9yǷZvRC\HPt9905k0̎~6ᑤob喾\&x0Vɯ:)xqH<|޾[t.D"^WBoPL_sb?eS+fR'} C͹,'RX۔ $2u}p[DILYE#0#^,yQ:&gb)0 887c0KeQ6+ aj`3d!;A0z"3ҌF߳$=N(q!rq}$ QCr6]]Z`rPUZoRhtMZGPR4IݗEU_i?Փ0J(%ʩEcL[\h6[ K??0Œ8k3N_kE{4m/Q( K,< cdx砽5LY2v^T_@`LK8dNϊTŻ>NJaьd-TI *jZLFӚV p6: %mh@Ax2AM{_MId+;Ƴ`d w3X'IOJn+3qj 'OlR9-|`Uq[dCL>&]͑!@8YLw/_+9ntow㇬.G[t2?p}tjb*GB/8/rjՆ N^nv(]U-渟&Ͷ-ԔЉr%U 6=5#/Vf@vcaY- LlDי槴 d!+t=%?jQXJͦ OԨDq`ިl d|,.M cVtPXN+:u㧯(VL F@YɧˁZa!'5Q P0٥M!JDO#iZ62RVt /'tyܯA?!r8R|g[] RPE=,Įʭ)-ijQ rYx(vrYRbjI3ލۭ9tvAm&)ۅˠ7Ki$?Hug=?iUj[8Xp(LXveҦ ͙؁ Jo3Ts_} ܷS]Ovfwrac{얍4uёkZrQ.޼%䬾M" *iMS IR2 vU jv̇i>42|ӝ JC@#BGr(z΂Oes*?ݾK|pm#6<x| 0-GFvjBȹȂNSިW:7-·Pdeo}c t_U-#멝2V4YМ $(~2sd{ c:Έ"bJ@05G UoRY:IՒjK&M!|QbE^/ #3xd啒bo&O >D eBap3k%ՠLœجAI4%Z4{#Ep >Xer rƫPk-<.ɒ=_3Z1d)׎7J !S~6傚z#׉ܫg EqE&E"\mKyB蚗"Tb{]:1ԫ;= t7!Q.qXrwgB25; ZϘN%"3+f#&*|uܺ\ItvHpv.@V6 M"Bم5<.dl]?r F"*vQs+ngw3 LZ*cad$i k{[ЯP/S:&wyGZ]{TʉK r](\*?xHj۟Q씣YZsڧ ΰINvOܒȨI-=.ʔ3*Fє $ѐTzߺcC_@;>Wh'\ FӋA;q2 yg? `(Wg80,/>44@ixI9aŵT,LE4sJSCk~xk6es"(C-ٰXtd$2pHguL >20Sl Y>7zYpAHEtHSww(*7ޜ ÐYBeBlPwOi0̅1%@ 8'^̓f oV`99 |e4Tۈj\"GŏxWd:2ry MPn ޝmNs2ih~{.@ROE>Y LԴt 46} 6.(Q^\HN"ѵqi6mrθWWb ~x+^ }D*H^lLԪ>LL><ùS:BO"LSQ st!$'(0X]+Ӈ;$E?:KX8eZ< *C+nemggi&\mĤInrI֓ yZTazkC%kh؛HA0nbZ" |+K1CY/B-GPUHfc ?t8Q/ޱ;C,E/Z9[_pn!Φ6Crٶ߮`S$" Eѭjɭ _>f,Q#GsE?Y1Q5h%g$ 4 54>ɀ;U kuD+RMAЌ:͙[&t֝2/'/cu啲8 glgKtL, ?Xǥ̬˛\΃*FVaSwڱSҜ:U)\2. :ñuӌ;IJ3w_ l;Ű0[Oa!bB?M UxJ4wc>\<2"˺MD&Lqd/i}ngbDC?H#$&d2r޹>ܤ{Zq׸|bI(AklBl3qiaq3xj[kV|D*`2QNŮYjXjP{oR4Uxlad0:gP8 <~]Q in#`q1ꝛNi@x#]CՏ'Qx59EyqUJ䯣{jd#Aa<ͽ ~]+C/5m4A?yy.-'Z)16o9}xU(H h8] Yhp@oLpYv`JE~Z24;!8M5WD{h׉I0ɯԺITAjޣ߉ u@osv;ZvY` cQмAIkѣHPdxos`ÖzinՀ Ez9rfLO2ϯ-4y,Kƅfߊj$"(5Ҩ>Z<1.éD?j'>jDvGmep =X5\| - e :UfCu7 um>pp>HK!2&ͪ㫈 ;IS{0'M\&v|5Fua|gեKLoeRl4l;6X:䑲gAXVޅX_ED5ntx%aNl5*ǎ{T_ qkPjD?h)49 YK0hrZb=; Dz=eZj'N]ucmRttr^=J,F2lTLNWzT2\B~Ӂo>"$I@A06äOL]篲]{<[;w g*zVHu]P12|X粶@'c;3<^w3fפּEl/JS*;Y sZeU tg2MlG $J9ģϨv(nO(4G>]wߍ |JGn=zB X,K9-pXJWc\sհ6:5Aľ4 싨zimX& ĔK eMN z%>޸q8qҖwŭYx[=`,]mfܘuW *)d.cu$j'/>?@5i SmGOzey/jȩXK[09=-"Oؓ%(sW ܛqY×QKwBصS_#`Mٛb| { |1rF`jR"8)G*9[!4?8Baok+.dSkz;*8@߅ __~oLynb~Џ Ln8n>s rԨ(e^ky\>B\BׅcuFpQшV6UO%3'i8,M7E}[q*Ը-:QC  8os([mw4(&F2gq-1%!AV?&3z08)7wmfE6&Atx/ͲP9QQuՒDǔ=&p : [z1쬄ҬKhyK|/A-GuOm@hO V/8Od@ҒS m$EB{ܲ~pƳ>H*lM.N aƘL,c r5b8V5ʥ=xV]{c1<;UI+]`L4`b$ 'ҍ@ ?uRsJ>:{?@fHWR۲E|N~36V,U< dmTvõI~ofh 䱶nk'ҴiQ5)r~^Mk[. "^k }س=+Vѣ鰛ES!;`YN0FGzv.P`{" LM.X7\e(<>LYtx[–_`ʥL5krڳXtDw* Q+C# Ȅ4ƃCf bH"o@ |%P2KO'Ӊ}Ap$0<׏ΓE荃 w)5m;G\WmBrXcvWMbuiCWƦ9ƲnȞw,ɑd3LW !VCrh.qEdE0LRfv~w`EV#|K(ߩ0`4wpFԿώc6L6vs|g7(^`;j,9Xa?,6aP,;!֞7;grn^ ux8Ϯiל;Z8Ă!5&ې5ԡ*kKU^FX  P o'F8 \.E_1b(OV%*TL``7`Mܑ5J3;ܞ`QE󛸭Fg?')J*SbۇXE S-d)=(W;zsO@}OdTWU]}o!l(f7[hrZgY䗌]kp:E"ՉN͂mcz([$(-gܶU]2ޮ,wLjr !d*ǥfahOyL(?5qE㿥&yE> $@Xb!to"MW9RUӕfZ/>O7ȠŴՖD$_?^bsAl-d>hHBji[.6Jsu<:j`DژZЅj,+rT҇q!R)6k rC ѱlIuŏ]9z0뒚0pRPBCs^hs9qe/46wPW)qdƵ8k IdȊcʾ"SjSs1|Cۡy p) }bLW5Pe@ÄNe1EF' )56?{ʁi>bS_ l6a$lijyD~cok{Cciҏ!a2\c%}e,TeYdͫa;L?DSv8i={qze`#9/Z 鯠B;e# 2VX+,9[]B$hܜWwq<{ Nk&=8P} cuZ[WN%\ncWh_߼o{X]A nyXKS<*_rr` @Le@{pUߵXFYxZmm8)M2uotb5+W"X<K֨tm!4~oZFCBA5<먋1|$ 3"%yK`A4ڣ #}-%C/-Բ="4o qٴ/\8DC3>NªLj',,;3l7g73ğ`T'pOo,akXi>@]h_p L&GSl[vPٛEJ,hk_ޑCr5QJ6%.2Wő§)Hb,cuO HX30׸`eT SGI BX W]M cO-(Ŵ!I$g5px`?C2|jO[S1`gr&w^Y@!2s?&c0t ~5K,StkNCW"fߌQݦM`am<_4yS3҆ZEʕ)rɥ涋Иc|5F 5t+v}@f9"u:[xo8g\(X0EO`iޝ̊ϖ- ޿ɓ/Uv><Li#',RY)(YZL[+t@@b*Huo΀z'2%IIfphr4 \H~r(ZE!72}rڹuRjt,Rڞil@ߟo@'K*4,k :W0`ylN΍1=,QdhIH1Ec˗wL:-])0:QzvcfaE VGHp$,t)UNF< k0dyRV J?ƽ ?XUDs #V\':!ᅯ*X|>EB4ݾd2J-DR5);kF@*(!?%D׆w]5S ɤ8+ƚa0!:~VCƺIt!ngRkmfI fh Ğ!d2Sdlwr1Alz3>{߮#P跻3wc~{:Y^^6~T/Ñm@P(x›sw.皳QQ𹛃u5?L̦){ ]9VYLa.̀HequU(Di% <-AMąH#Zwi/θXr 񚗫3Jsj"M*h,.i]wg p"\[:xoMp~h"BqN^V pz}У}]Ev;>ܕbB\u21&$[<![Α9<_ci3n&R5}^Fe#C?Ϝ=RUڷOO~ghTBX/bb%Vr]T.oEG}sӸi(ipp>2u8,׎W@!)Mx=ފ,KEjD]à7gcK|oi*/A=]#}Un-pqeԺn 'Q%K.ӳޏ $$"[ plTҲL{Ӱ )n~$ 7V~b |:AS7BO7@/$ޓ+"}sC,Cj2I bG,7o[8 OP+B"NTjkv 8tTGO!&q% <ơǏW L^fv!zRԓ],`$Lc3)n̖3BOǒ :JKfXu1>bUoox7^Cb_ؑJ ;0 qgk?""w Џ~sSS+7S1W -P+Emugz`v24%f į3^S,|bi^ŦQG //t8p/xMy0v1dA`pUA$(ౙ€|@_Zbk5 ك &#X'Ј<y WJ%;k{́*|셍f=R34WxS IQ 2Y֪n*#cjTq<) ;\rurAyˍu O\#j:xίg7禢vdcaKV10?x/9.Do٢|/+Sa&D JxJA U RِmOM7D"ds3 ){Xd = UBȭm #^V-(JUEql%ҥԊS9=;Lя> W"@5I 3pIϣΧZZ=6-]!ރgp<}KYNv` _[̊[ R_W%텯/̵"f@( *FtG<}Xڕ0лؑw qOTpe]N"BO:| ߈фN[5uJ4:d@*vʊ}sL''y Jq5󀑄ߠa޹)tۉ>Nj֌U-Ͱb1L玴rxO%S[-Zh t]\M[,wgShm@uEi&qτsܠ0=/e! w"~6i(k7WӧEcd8/9FkhCաx'MMnO.X!ZmYb{ᩦ a H0F ׸4]wW`XV5W.Eb r WG߬I0=Or~cd>C T!L"aHԷ[ eARQ'X[ApͲ%R?4`.2BV {Rd}7(zwH=Doy![J:<^M$Z 3,ٟ*8@RѾԓć͞34Xu\_]eb*:Jpbi$w4XN+/޶ ,;N쭖"Kh7g%`mx^ N$bϩ~OJ 1w"T~M:(1I8jE7 b1zhf(!䀻5Z'xza$"m~S;D8u7IyP®;ꄖlQbBl? BrM0*D7Q`/>Q%=Aw-9{JѦ(ED,T,G!SY!0&#|7/o"hx9$RF|YW'((\Ǟ&"PYo×nc_nZM7yKaVUL! UVW~̆R0V:ׅ@R&WB<Ȱv h92>X`q$"\W54xBpQ@qo?vtyw\QП,:ɄPӿS1 Fd"ʪLI4:SڣǬ11)Sx*J@U ˲ 3(_㌤U3%0-՘?pΙ50!!cKvf`̋^O=x+$ CH?C\K{ &XNio[T&] `KMO씶m6fN:?5,8DOlBGI5T%4]V_O_]huR=cE.3QS׈8 u>D~Z<e_8)}f)pՠW_JNj#R!Y!hhX#uz>DI Fga0۴,Vjɺ-Cva !VvkŪ Pܴr`79~x'&ԗӗbͻA"DtoSt=3)=1, `8 >uV~M&l&UR^n)R:0CÃ%ԏ+HXLNZ5v$J4h&/npb]mA<~Ǚ1@mA}uve#$kXݠU>Z!Su1aU?ٽ.v''Q,ԥ:֜1zʰDB/`i(fq?I~&jL s35Jd. ^%n̔V0*4嗀#xJpzcgN˛V# ({|^,q<$ /=Af4 FI=f0J\݌J Z:P!vm/PNjZ;!_?3Y!IqH z{G\b)a6vQ?ӷTErٮ0&9=C-Yh]9umcbG@Yz@C#;|tO,I| G+yQ: ]*uxfwK*0 dւ[ET[p[ōseq\l7LQs<SvtO[XS<Y D=SU`s }q)?1'ިꍴ 5 Y@\'&3lrMu eaMnqao@|"G6Qj/[IO:{p}vqF>9eג :SWNďe,40T VH YX#X' JM8`K>wKc v٧̶=tY.`zJ?yQwOąnk Š%Jzk_Y}WͻX>EMh3dJa~GM/JdL:%)$ wY)0|$bG Sq%'11wx'gE\ΨBM3;UEzlz6c0 o(&[:ԡXgwuoAFF%ʼnJFvd׿)Dڲq4zX)] rJ WI <Olؘ(Н؎ͫ"0*3X>“8WFx1X2N:_ 6zU\>,ꀤ' 9zFBԘ/6I8P|4#j%MXn 4}Yx鯊{Wޤ=(ip4EE!' K}"ODcHN{XlLTCV,: *Z|ȸ|yE/T_B%n0eK s4AfΊwVw',}n Jw`#P43nvx_mB-;;\6'Ɏ r;6{af*R8ErBOLs,y>M9 }[0϶\F]#tA[a5Pg:{$c"NmКP3LG}/HP|1%aRRg&=jؑ εU-r {M͡C{z??x"q*F.PgH^(^nE./sHFHm? m˙";)hz;/\> hI)s雭töe 5ւ v#Nb{RE}W} MFѣ4/u݀dU{]zvh2RW 8޾BZi +Q݁ۡ3ce'K Iǿb"ChMfL)͐,F;Rl?-Բ}uoROMدZ7;ABd3Dw3Fa|6˦5(ԏAbKxTG !Rr_kztغltsIF_',Tۺ:{t4 NX̀nP{ v4`B?@6-lXFeD'(U(l:ކj0T/\mnk7amcqmͽ骙Zl2yo|A'9@{ҌޝQ<";*q^D.'jzHυn2 :d=ZUY.0g}Pj>a[@[7JotldAf-6^~9LNxG+QD.ڧW3'ƷTG޸$@2y1Tʴ2-9Y Y"NTVC8ɔiTcm)c zI7cOhuY=>k \5u˨)lOB8mn-~[+ ,Kmrifs*˒{k8P EstdO=Pb* C B[1wtp'/ҹM4>Uc 8R2^ಎR xN){ٵ߽6tӈHK |n>:H#+:0J"ӝ?'BO9}x/Ռt..N a5X࢔12z_.` f+s*$tgI(>P|]Yg഻˓=xʒG DOIӟ@*y$b}X烮59} R[܂\ ;'4nuH3 uz 1\*IEZF1lտEa%Ss){k1,8Ljx;"ŤK?S=@,*̍*yHF!dn(l:g$ 5qoق#^ THE{:PP DqЭ} I3VwdQeȆ}d{/oPC/ZI36Ξn@%FBLtӊ08LgG>9 ]saW~5֔&-֋rY# cr0~s]0.T.@U03!@}8xثi Ȟ6Iˑa )<.꼬k[ ,8ө6Lf["14msGM2 >TScf4y@Z`ta@nO=8wqyG+̿Q.^`A6P&|vrnou2z$f)"P!]Ȼ Am+Dk:\HeWIj$%XS P缶ZmESn~0tlh.oەzMJ}“@M"6jgLJRҨEWF1G̈́P{{孬C#Z{D L}z7ǛĢ t@ E{ 7'bvIN`z{e6 K@ )eNgJJڿg]VpIw=!VeR(|P6!^5?H[3sFP Nu;a]560] {׹.ç;7PRQpm/Sb*Vi;){ i/4&DywVQA"'70*)f' HlUGцR e'U1ƗL8ߗ9frѐa>J_hA/rU 17޿AmlTՁl ע0dxm%@>XQѬ{; Lg/p+A^gw@6p->6\mȴPU2-ўTP;7?ߕDWubT"DV3Fuv0̝!A"Q>i2B2oW1:lZo*%5n+^K!uJ|␪I||XK{[SI'lEx/Y>8idvTZ~AVj"\` |9 ŒVP;1a]N쿌Zt!N> 6w밻@V\-R٪k;wt\a/8gu'<' .&Hx"69ZH:@[ɤ Q)`:Y?u]>b@j@gn0iW%€lm )CUɗžǛrjP`؂'WT X(;*|`9g:X=tQ:+.@IRYl7AW]Njɣ_Le^AK,-+<(%WVMь hHT Ϝ\'0_d^Ol΀Q$}^Ӫm=r_rMTP<e^52 #ff1\c[8r 2B QFL)x>&vbm e(_@ w6dR NqCv}ӥC:^b|| 1֡ӿ JmaF)Z+6Oj=P$E^1%Liq%Y)i4De~>bx͙J.K2B܍Jdh6CleS8zjPus6rM2zD|5iK$TdNx5H/LS tBsB45dl-uF10 ­7^UMVv(ѤQ}jhMFG$?Œ 2?,W q xAV1&4gE_M*m?ݹ0櫗&' Ql\§r)G`3QsofzR<vd?.ìUD%@J[]~ aZX5Eb`Fq%P>>Ȕ1-uq[$V_zxXw}<Fe' *ayy#6A"H1imWݝ0 sT$Ԗ$tȵ7Ϸ]EݱQN&S"ê9[BvO١*r(Xk$~3Z8t:~'jIWKGx}`-gdM߿/|ZvN.[HfL@KF+%l*i-\Qܼ2of`dXQfGX9zfྐ;6mm`Ƴ^>/;v#JDxsN׺Jfڶ陴,=Ywn4+ .߉!O8'~ZK5[,}ξb@%nAEy3{|_,,g=h-:!O̔,?mׁ&_FfD4YH RԄky,sZ|MD@Tr~~=i* 8%0;ͽ]-6@Ni:2P>CX.~K %5;>^Ɯ8E98kZljRP :-F:[MCAtDYNj얡?,"tHH%flPB  Q%U'/J>фТ} pQ&SgO -\q_NtPؐ*u.KTFWeTΰ&(=$ƶL>Sbӿr+%)kxWXVGq&Su1Y"6Z:X{bFpj!>Q.޺bk,dn&pt:8@ĚsZ\.7wj$YN ]S-*|>.'T4܄@_LQ#y <); 1lΝd!.@ zgf67ha\B+2Mg2mW Ls`?b;#Mx7UaꓑsS{ma[CdXmfuoGCD1]rV+$:" h\+QjV|Ѹ%q`v$.M?2T ,/_kWo:v奷18R0"o%Niz;+( {/,Ydjw3{i>= ƒx >{wo%\uV6# ^3#uVyU#X-8ݦ ˃g~x`L[C\ Vn A>n"ۃ@9:a߲!=i%r3+{:4?h 1,Db5r~mlv\jк=Q!̫_{V 7gE zeL2 [k-ttO3\%v+ ,׃uFeQ{3ppU.7WJF3yQDbC7o4uMzW D@l5k ~qYXδwKn> ?L8KGw))8 Ćό=^])MbNd~6p<]&v \aGl'fn>EOĜ4NǛG F=4|2Ko[>6"fzO̅fsA 7™aА|FӠCΒkne"/elԏo /< R^V0`ekVTȄHő q>{;Jv'OoQ Z?oF jOP_Fךz]cLAWKLTib7@m_K6^츈6u/~@6>KQR`6#(niw G)^NtZD!3%Y4h_@޻PYuYi7S5|m &9NoHKa(?d%`Z-ivaA*^ ؚ0jpDEG$P: ĵ x͟7 _׮L/xqjcqҶ@cjg &7H|!Z$P9P}ig QYZ^o_bbhWr$yEmEtAkj7v&8f(klFhu,5eso`F)[^3^8&?۰P%ܴ[^NzE# h/YVlC]!&J/L=UO;' \y< fkjjR@2L[`dk왝=Of\KA8qPL„{-kZY(b:l%[I0?nehҡZ/D22*Ibl@WUHy@;Æ;ga(PWGHggRv@ZDk}`WAI#8Q!u_&C q?[z%ӃqWƩR%a,mذqL|jbV 2UT}[p~Lva.G|2lsoK "3f:ӼgTe 3`m„T/Xe:Gc:bf&VeQs1.U5_+qhe*\z[8ku[#Ӽ oKl2dT<~ٖnY@w]f'{~>m+Y{3nach]%=\ b i̩ӆ)A ~Q~s& gMɋacJqV>)gWQV޽ӘAi9') @EL!9xQvsL=e*xw4] R2 pŋsXKH_<}ۼgsmS{2ٝ"*5lt_㔪Z>"nB=Kdg{b AIФaߩ9'-SF!m0VBǛW9Hz*s,5xu_xXZD*Fe )gYZ