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   E%Ldt ]/]HOL-Analysis:threads=6elapsed=339.780cpu=1636.152gc=148.860factor=4.827zXZִF! N]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAvOS\祥0c ۮ:7r,%o",Y*V_ KݩdX=k{Y)nX#[w7f.q=w/S_|;v ,ECn.۪}gl3+\@6 ̂py?!I ~^) |،;&YJea|e30oIٝUb+FF#ɞIV}[s~yjůD,#^o<yɘ__ `961p av3c/G2fĹ[mMg Vo/sN^8K EW/x 񁸪*Sc`vg@"vW;#qX,n3K t61!>բq?{3ȉc1?v`;)jDv"]; cnXu JQ$-f&Abso;SZ[X.@}VLI~EoLO_x(5g[%\44Gn47(6X}d= ٣R\OF;d:090,B, k;Zgt3m_o_E[ME>(1n!*97V1Z"v`NѢ.@%Vض6yiW(̮ϓGEH0%BM!lswK)zS+538qKDZŶ6q{]z`虖?G$@:G-h\`U 3?g:,-k?A6BN ?lGu'%I{a"~dBih9 [0SV*rc~f^NR$$|:qyn+g:KYHXIk k}{!أG2dG(c;2rTոUe-MM['M" <ڞ L:Xk'|DŪOif iY)^T"mG].O]-H8 % HOL-Analysis  Zdupv!-u|*#kQU)EOF)gpCe|N̂R1)?9NŊ2TFSq)PT;Lj4gA۸(j4MJD tp2*N7sCN?ܔ )4QG" RdM*0uL(u*+28[ ҮҦItIePDMۄ A"@l>9XLEvZ ;S,:>8md~u~ O90ʲ M$?}-%RY9^wbOK/6C+\x<4Չw*~DL1Ï?sN jۢntDkfQlQ2ߋg2-ΫR!ȗ x1e;ăPɄp^F鞊"}ONނ*K9&̖EǗ}#q)iеCjg=6KCpbE=b]IK7FNE|5$D;Dkی6 lc6"sg9;2Ƙ%NZZGڡSh2tLW2Ee[tjgOqm,xFkqi}f-2l0U!;RƖ}6# .z vɳJՖadoʙC Bl GzL6Cɰ $&&\H=;Q7RsmZ+±a1Iyjp/uabA5fH@Ԯ@ͪ/ȴ. adEg>cYWm-tu}ӡZ5nH8*64TPZQyW^LTOH YPz<[~}+aLX&׎R yѓĠ^oA &dSfm{Z8lV.qzj4䙛p#6LGաCL"yuN+K5EeIơA.%1Np*uϻm[V7+5.>m4WX=LA*l{r/|U͚]k̕ ln ؾO 5f#Qae2c MT&Yro`T\I6>'<5wSvpb*{&K5}[ZUƤ,mGӰ5!kSy?ݭOĊ朼4.zKn~l/M&Dm.D_$b)+V#ͣQ3,}Itb ˖oEE.q\rr 77%]jg7^,/<>E8'-h徕xC*wieӿ) yp\\%oBǠUMͱ:5]*YM wcdgNDvQI1Jt"*9^>أQpW&'m>54Zv6.inWԇ鱯U[{ulΙcB(S`}2z.!\[Su՜&=TcIE_kjQ[@̰*4]@q7+3~;| Y*F͚k|?#4?Z#×cVmQ1@j>"zlW21BX}phDGW&]u1l%k֒?J[P3ٽdZSKu 6:L}O9E:DqReErm+Y}bN6s\1Zf/D\r)wH4p-'*#W1&xnRy8v];\.n$AARݝBoהĔosGvǐ=yhUuS~J4訩ZPW|u@+ۆ|P,,~l'GX2C `_N Xp@G}T^И s5:?69OobqyxSʖ{UI[>Vh12Sj/)V-W2PoNܳ:h@yNN)Q(sQ[4dv&hK(d PZ"jF3ɶK`e=5h& Nc†%a3+*׆Jh45ZPS`a ƔvD 4-4` 8QVDS9RuW":*O:hu +MEN%vE>"0#6-=Hu’߄%k^ ;heO%ˤ M GzR'ᗓC&[Ӡ°4EW,DTZJ;ɜi{fg _-[Fd~Bw]S }s*ஃӧAZȸGY(gvgl^˸ѽ W8:(P=3A]MDQZ_s`DY6΢c zͫbh=46S Ч/6k% a/r#ɟVO\=I8N3|M39>g@MI^DR6zҪk'Hj, ?bwL,ʯluqcAkl:2J̴ W2EA4j }ՔbxYB!e&4EqijKwuBʍCԺ^hrLOr4g(&y-%_Qs)WmƩN1/ʔX[q!q~9"rwRo06#b u7g,ʭ Y%i*=A_˹gZ&JddI1OЊ &rZС y4G&@fdX eiYȗȺO(SS|:c_s=P[atY ELDsʊUՂ  HER~EOnREGJBy 1"~evdlǞh?j,zM7C P3 \FU)ZЭuvsg6#>{r;UfZD6gZhg{n5(6 fF!GfY 9=n'>䫢׾:;{;\. U҂)KCTnfش z8E׎Ʒw4=" @wH$*cSMwtvlp|+MmTM6{KUP u_ĺjXi]ղy(Xz@*ʙ~-$G7 )|!-!g( FTm ٛ;Zx֕,KMh'lm6T0'1FCT@vV:2Krs8j@p<롴9?C92wBH*͌FmEM d2h I1 }Z~x_Q 8`jHRcKXWI9# a7!8n'~˖nҮkTy+P`T>sD >m&-cb3N \ٕj*x,x 4W) SQDw g2ҁ@@fX:P%+ /8;V\H#昮! s~ lc0,@f/| zҴOLn{rL0FH,`@i]3]qa%>fvM@%:q]Nߘ_O`YÚ+ DFwU/ms?^е^Ë6o;?l®yCBr%ǝR>qӯ`!QTxFTg~jl ۞cTz\A~6/.VCx9gjSZue 6|J;*5 %pc%UbpǙs6KuIUt]P a K\!-byŒ^*ub:{b0A g0Ea1T(:݄fFdgٷyks-$ДU ٭uj0*R_ o7izkP l'(k 0? 'CەrGD x ̪<=Gs [*^Mu AGb`k:M {i }lQJ(ʾZ;;/aa 2{JļN.um=;.F%mkF תof)?罯~.SHA3 ѹ~ Mvi*]A_cgԌGiV8aNI1 [04뜢ACnqq7}1 ?:DqY {5vԥ$ƳfҒ&WӪdPY-/` C-Xx-5v`W.RnOk& ~o+fĎDԬ+#U~삛c(ō願+2RGrĪAx?=䘪a+ Mؙ. ?t<nԬէĉF0L]y| r\ƍ&VJ2 A:zlWC8vIBZU6AsqN!;eQrf>u ,.'{?2dTB9Gn TӧIE7a$`Aqdd%k*pyjZMZ $Í m?5*p/[a+(ˤA:ANSMO':7^Ov{#sHoL ̑(2^vڴ2ć)ED)0D7{%n7k=L+|Ety\I 8:.UÕ3S{Qtz1Xݲ8ZH3kʀ-ӐJZŌ։QG]'K^>|(A]] 6,E˔.5TTF[R1WhUuGi!!P%{F$Vu$vtK~}!$7:1m"pS{ynǤ-jHp)FF~y;5gottzI2<ͳK'jO8Aaө`+Ar<<̵B2susOu3{ _OQ=̋Ҥ`@C1ptVƯHֶs:$,h PV8/pWSM;1Fi-m{lEEVvv_bS?;׊`䴚ig#EXc2>35p~ bfy/Dm !=7ihz}#oD0ٍ4@߉G0~8una7ھ_~Ixךi)ר$+*Hh V!t1u/6 j=aH^kF Gsxڈ^К9i)Fj=M_]^U)eړ>*&UD\9j(NKF<+v4仾d5­N(y2oJT$ÿ:_ h(]H[w@.uۅ_9`ֺ x6{zZa*f3 1H6O wϥ$,k^N+p-͠dNT)V+LP A·úfLd_}o$_ꠟ/>≴6G. -~h9`vD/#f'eSЭs~] fg^.+ owOZ,.AoV<;'#07=lT*XTs˹7jpj#2BY(ܞ\"~y,[i-k7Ft (^k{Ficٍ:G_#c"E=DdV=`%%aLCe5? icffE~y k4Q̔BG*Ev޿(ْK|qۧxR)0:+3nExęgώ"%(j03+ymq 7 kDpSȺ ;*@r`yo}j\FOXWاbGU 2WM.Dnf=UcW (+2f4/^8c%ݭQiUk[֚oD@ʆ>RRkA|~UɃߓ)SFksvdM$׵['t@~j7!Ł FR?w[>%@hKltor[}J(y3'2FMw3 JC;m 4c# ,e2[B[b'ڭxrG{vIiO v{ "bhZ=L;sǨ]gpˀ" !Rԁc6yXwX?ʵU kS!RWa0/V^vghVg"QZ,1Wl(U0r߹rŠ<:se >m7 C`=K7P"O'RS<|2kLEvk6{/B@hR(}? x? UPX| p ?Ӂ{{y#<4yG[PͨQVD,[.UMW[nlqb_\ ڲv]!W CV g]cai|x 0݈+J$Hg6,ZY璓Xcf&p2R%CC6@JZw07hm,$ʃW7"e %YquìOz&r`*h9z G>PH,@m!z P.=GxƮk*JbS˻cCϟ]ޚ9'{XO] P>ڎZZ?uU;M)ܿ鯦Ai1 bɑDbښϋʶH6/x]Bpֺ.34oJayF ^srVreC(tH+ũd}Όv`ʭKpId߫\c!|!Wk/!"8Mm}{arLmLO҇&kʔpj߿m#_!Ƽ;{cR$z4 |jNReʻNi`6/d.V}g\Ž/N/\09EvES"I㢒6xspTX7`yN.4{[t%J@4Q´52a ;RXML3^1=+2WyJE2{,)`̒q5ya0⩙8Zx@mH] M?19 t`(WkVͷ^1D,*՜q4T4nT%_@^ϏSӫ^é~Wm;7h/HLK fre/v4σ`;fm[kECYt\^e# ۮ p٥8 gpq'p?-LAjԺn78k橅%"H>A,*,0swSb/bGwuo2ò~kIfE 1h < 5Na3n@9:lr*G|8i}6$& Ȯ<$uO]NHuoH_E0H0.kbDh[\ngT΍8 WmH hS0, |UFws 4J{yp~T`ªl16\@18ԮXN1R^[0Utu=6N[gP>ؖ7s&Ui=ݱݎRG_ؿed3:,e_DFƚ'&_LXc|%NNխlgG.ߓa;@_3'm47㑝8tqs?f@Qh=[lPY DQIv/%DJՌF!)0vڨ~ߴ,&\.$ȢNVt{`M'z sٌ}o1tX'`YRE+!P> S*:D1TxWul̊Y uLmw .7kh@b2uc{??K }j.:9H^ PհŔa ;C]zA6.1PX @3Xԟ!CN@p\EEћ"kW=Tc։jZfMH RW/ SsA4Ȉ6;9aZ_lv!`5(p.CۍC͘/!@z]ڋқH(/: V')aXGі>I%G=U䍗E9;}Q2OV\fqLPrqGv<2 F xڊ6Vd8-2,^3N/"Vzb}k bqڛYBzM0FGLXKY:]W3:^!wXߠRb tkI+n */xYhM`kPY;n bKcm."*?|_9}-NZosr%e2#]1=(eʧ;ӺExz= ~LsWK98eJV#[5RB*qOo$L}Scxjح?΂,I (l8̸)QXg/\ U=2A뜎ճҩ4s'^vx1` hhVP6>T+>TZ$W0^4[EB2o], 6|@$h ^ _~@i;Su޹|N ACt[=ګ#y޳+"WU`Z\_~'*B exWsFn։48_B>N, qOkJ*i[~/Dq۵uhe5Bɿ>5/qU~e۰fCzAl:3V˷9. C<\^WB~!R ,z]r\ Y`zP-JߪuuoڥuB`֩>Qoij.(L֌Gd }xİ&C.RuBɨc>LS>S=0yV"7iɺ!,2{@jp2;6辳]񠸼"8xlp,2ggK-TPmbEҏK渇z9F%ԇoTY'XdTcUI\pVH>Whx Aϲ, ʮEJU!؂Wr;qO+:}!)܉kEU3g7fG>YIkoBRX;gon+ `Ay{HJrD0O"`DZoqxE$g%RҨ)Ak2&#X&'q}$֟ a4T'lV씮ruiW儗;BhKz`뤄3OڷQ}$``{Hgm"IEQTC燴_ ~hqB>|kTq(Oc߾D -Ƨ|FXU(1VdQg_>p Ur>ЪP#UčՐ-MG^qc"uf9 {Ch~gy,Qxm h^lgxmV$L} /5V`}ؒ_!Kc ]2H-} [?TG/vސU-* LYb)7!kv0ExbgŜִ|/:#` /l] +S#{6>#XuJpAW*isCU3:}N-;TUSlA<-85pɎX%-Y^W{dˌp[ß\|+9_H&.Ke7u]#%f )"snOσvQZDRŲgnܜҀ']4-}GBj];N<ƧĤmQhXfV+~ρ?cwu{fRveO_'h`Bn8?ɻTJ)x8b OE^L5v Q՝\ C #V͏x=1 nHM&wPTɍ+9mqlqyP$B2@)s0-kF4ll)34?cw A1IAg:@ܞnẄ[tYjrT  ~S^qĉAV&ոnP^Q88Hib A۽;<;VU.Zfഒ|ͮht&$2ZD=-(KQZG֋_is8+RDyڭⴑ{N4n_=e*լbf%/>S7Zx*kG%8NE^I^Z'˝_K}N, ?i /3LCn8 ;Z6|z}O=.;خ0U˛W6DTg{QaI۩9-ǪዳѢoUd:}~!eT>9cV]N^w'fOmw9.5ڶʠsUk50^A4QeҰrE t_b,J FeS|!qp҉( jI$:H[F!z#:s]@ˌ=~{L9"Du"iǀ ՗Gq&om> nF>᭓ȉuZ- P(χ2; IӝwgB7ZKSS0bYh鷓xxm8dPw63FMų:b3UHfi,X(%گ7PRPWLeO12:sha0r˸IKWM~}ejQb {%$>C`q;,T@K+Ҿ<+yXGZI &" ry(,:/$HEkzbGA-VΊDylxc2 ~B`*Rf1fKޫ ; i"C=aGۖ>n_>ɋF|K' ,xn EҤ[@łizǣiƋ˕lK2 "5*wڋz\_" ٿ w@l/mPy0fm;zLF|+f#Ì!bx/*!;l?- $ DN>@rU*4^aV[j|8Cj.XYHww箌WX*." "*FyxdK?:a@*flcMF~k2DJtt jCBFi@_ސwL*U>R "7mRSJ0]ɰH*T R Lo~߶"GM`%fHǣXRr3(w4|jupb<ӨוOqDTAF' A JPk!2΀XVjX^dxůɮ[Qނˁbތ$mMΖ1** wzD:j i5($a< zPE-CdgYZ7zXZִF! #Gi]ŗXiɟ1˦r!cHkMeBd4 C厕?)}1vAZgq@/eBNoYɋXN*OU+ʅF(kyxt~dTj{5=*,J+iۊ*9o%򄞊91<^N%\CWkv;/z bZ6GL'yNIG*罽./{ܻkJ@Skr P3 o{¾= 嘮z̔y Pxogads5McPfSIލ UV(>gz~e iCzi[-Ձp:^?S_OUE#wͬ4-U&v;Lo{sD 'mgH}0xHM22COf+eX jڂWvg%0 5"BI?$J9;g9؀h7Sk&;{V0˺HLT(n_20JV&i, IHn؜sk^3N]GzwAj0'B3)N(W=snF|udWe'0Bҥ9G!X7:kIxl/0|낤>0aZpY1O~Ugs@ֽXN㈜sTQgp4 \њqk~?22y?͋XB]G+K/>oCcS> fA 7[i\<A>@jP(2::;ePfvCbg8|b$P꣫@en> (d}W3nNH"Jjv`n^S f,ʷ`\-!iBs | |B>ﴮw~\](" 8)_qbERAuڪdq/b\!E^\ZsʵN)M<E Uu|쀟>nُ Q*8fDS9Jk[:6~tk6Djpw :;, kZ`qqrZq:4*2*RHnJuu}E_fmDNb#-}W,&Lx F؊ Gm,9fA0!Ǜ#yy瀃Dtב+KUz/~M=eq,zcX>['V]9MDYlNgI<4‹Š]=7hyMP'#_)'MیA 3~weH}F(262q CI%nC'+$Ъca`Xdf0]DhƢ:Vo ׾ѱLCJAHTI\[0ꚟlE?h K}&/ .!!Ȧ Q3/"|?o1s_ɱe0Sl2=fšcM+  dl5): L반{fˢD#i-:; u)w1+F -2x).8Tī'̰޸q\''~ S":s]a|J뗣[^>-+lfm߃mXRGB>rKQ|qAkb~eך%BuVScEE BdDcDO~U.TYOݤv<uQr]8DEZF@W/-';%AlǃKr^^'*6x- %U'Orcu"Yb-deoý_\ 8s!α`3 de9Vea6~#Aޝt= XREw*Fy4 ZuvKUDq̛<%VX՘|-nrɩ`i/3G쐌t05KշUJm|]8Q:/:,9r4%!dR0\+r}w`?SP!bRtTc$G+d]^29 lhRy;wߴέXt+qR?> < lЬCKߎ Io9Bhe350L!"M ٱkhH=aL妯[5>sڛLCP1 @d8n&cm%ي+~ťjdo:вDYyڀ~R .̜CbajP"J{ wyƚ e$Jl7 w+fN)UKqsA;- g (t+5&~@NV,oohﹺ@MҞw;i׮& $1~Z: G>Yjs__RgZhDRf` ̤ tWQoJIc?-Α7ZIe{K߷ZB&u͉(-2 ݡ*Q]W| kbp4R~P+1N3L+WU&$m`ãPs;)WFybPRt w|(YW|1ڡC 1".BdV%I()Zq(&wNn)/0,3cE_Z7 #ŃON0URw\1pp/NU=4Jj$6SH$$qG>+NA.0U Eb:zpJW'rO&T*ݮ1tAޝk!&0H_ڿxF<('u.2\s-'0 4Og|FLc ÄsoSbD+{i>⯭ȰI\+)Fh+h7^oI6 Hay>tR]˿{Ur~M8$w/S7b}T@q;iU5Sw?iWֲU^zFE&879t90ӈAjTe#]4,nZvƘPMK3Phqz]@!KNUeCFC|Nwt3v Pdp\EyZ-~}PB*Xt;6\ +? X/ݠ_z Odou{ƌo 藨ny㌶YX?'I+YHNX+e&2t {i]" f1 !rK@ wsIc BgD JJn _t8xmZ- ܿ5<*Ђ25n w@{p2o|!z0NZ_o#A&N}YOlfJ{sqv]SV$qRcy!IfGpGAA╵*1ڱ̏>R! `am;F31ٴq{o{a/kFpOSQ1Vg)M&"žܞ:ܯt ggyfCč 3LS)EM8X~Q_79W1hӶuR])| 1g TPRZpM%/Ɇ5Ye 7L]+W :ѻV8vU ZsBj\Rw~{$%bEeԬ;&Dwڡ*l# Hh4z΅ $P#C<] zkX7z3rnM՝Zt"g#)9X֟#a ׷܅2)N dGX}ȏڻ|s{9)-}ׂ?"-hF#|R㤽ȩ͸?$D"g^y!Qitĺh&Z+m'bK@<|g>h޵˭i|#4fl,VΡF z-7r;^U§Dl2ò*ărl.4W'ՋoEԘ|D)ʢMqP1cdY`,Z?> GCkZX&[lyyIծ:keg-W{U 6<<ي⋓ubTt䆣q=J;Ϙ1]|un~ݨOۗ}7ցF\5,@WχvcVaS0ڧ3^DbR'e`pY>ʑja1ĮQF{Q aCË'}ݔ-m+;|mC eVGnғ:V8!{]&) r@m0O>+Ԑj0ޒ\rIU2]6 tkOIsbnmu`{B ѦFc#|-P`UG2c$$ ]GmrVbbWc!*t!`;(h?(w$H8u~2x7h.Dp#(Ph"ԴM{Y3CNElsx;s>tW]. [śL5T/ ώR5$^7>̟zai$Ƶ=R_p' gM[nvB7,yaWaoYq1\;*8p_į\=g招aN-5Oc6֘0x'p=#9Úŀȅ;ٕ|-u{&{N]ɚ}Jq1ϭ}j׻ei .=U?ep]~ 1ӱҏR -5әӛ )M#Ј?CRv7!R.$+Գ0˥"ֆs{-3(&:'* egٟDXk J~⓿h`1:H۴SmK?aRnp1$7b/4Uf"NQ.uW<2$<[F@{ahn#9Tm>39NI%˧vQ 5圧:nX Ogjќx ]?ޯxx>%<5y' S3Z٩~4<*^Lw@皺/h ~$ny[c(y!D}wU*\89փx˩&] y[e26czw=yԧʍ=H+軳 '{ y-'mh@/6hGn4/\,g\>Ncp"GH Dy:xB-s:#635bh7VOq&NP1R 7& qPObTSQlZ LFqmAoV 0|k]TwvH=VFnw3sx=1ރG,2nsЛƄJؙ),OU~4}1֢|Ir3{B|.pЃOCX$WjCܚ0؝z9ӓrf PwpK@4^\0É3[LgͺȮ?;m˞%u~~Ebq"tEEˤ>O~y"he5Kʨo[k]UQ+?άj= _]ٚySD%."G0%xbkPXy6T5 'S JŠ‡!vA'* KcP \KN`V`cY_^ ]-]R+&ęEЧTx!ig!jQ3*dP^G5A6#FOjIO'tT̉q.2$)95rE RsX 3iMr67`qꏸ&=Cx}4.Z".z=!(qFG9$aόLPWt^ ɢ ?s80y:Sw]$]:.*M:џa+eqflp^8= _R0&Nttv|~֑vw5Yԥ^#8$ԤJnP?vlY"aCa벣|2$/Scd[#Y(&m^IJgKЅ7&+wo9qHӴk#Un{3B +Eܛx!ȪQ *ZYS&+KLMaV!> 3Iu~h+NVc<_ۀ%۳1=')h*Б;=:izV 3Mu[z^'#^~gn!%KD]'t]8oӐ' LWi8<u;RwjbH-@\>ieg%?~xȌP&elJ /3CRet>6v+QGv\vN6&-kx岑?܃4~lXK;_Mfyv_jLbWu|$) y >i MbfUG/77G|돦M.n2m'pAϿ:6H=[̗ #u%^6!t,@O|B,m\tu^S˕R5k#ipIV\EDʟx%c !yy^QJT?qѯe*nC)jU6*]U'0=I# Et E߶! h7;!Cqn%ܬw16-IPߚ^CeuK_-:ui% agⷝ2L X7pbc>0ѯZЄ+bDC8fn+X4\ nE}Qc _TÂ2} Mw'M<DŽ5SNO?K;qU ڇm瞚:t+=m>I@xu*ɓ{tQz1]!MۥT;K4沌 0[r7 A ϱ:Ʉ%n_c=\PLƭmiJnкɁդ~D1XRm_2xN5CJxLnL/7n;"g$i92m<}F%na ?rOtԼd^S48<ǀ1#6p-%\P_Mb7Lrh(_IifPN .@~p$ݶ(3U}53_h?6pi}TVڏӽ:mf84 ̦DE'3_HFHtT_ NIr&TLd,hv>irs׮e9\O#!Nn;YQWMRR_E}R. b~E;X't} b%L Ro(Pw b]5Sx}ϸ36TxRlmU(d- 2QStjHiX R0pL^f]3<>i )vj2O5z|ݿNpǶd[#NhʄZx߆&6MuUӯ;[:[, wlޤތ]#16NpE2~Tӆ?o)+] $.D5QDwdeEMԓk=. rCR .RïlLVb!ߞ2MY4XT> ׿#ĒZut qS?{0pOw$1G8]^ π[3x'ɱDX"/iɰh2(rc^U-&솎L x9#˝7yVz{0dU'Hed<ƈWZ 7=Ԑ1s秵hZ7&I[\G{t$«Z>@)?15^Ag2M|eS(2skfW[Yv( pTO݌` 9D֞Yz _{7;'y/ÁIƼ sKCT 5X~efbuXy6 HrʡpR (5/8}o0V/Kn f8EX hcbb<[9Qˋ>-3oVV+Qr=1&[b?x)qj D|ce' 1eL 8504 T~Oy+K 5(Yw\O?%r ?\1V}w^״@"exVn}L'dtW HK5hT 6/.53ΜN0~"0HgEjtfS!J Z]JK8 **~7v+5Q~|Id@Y-і&/g|gy%$c>@]3ݡ_E8BAtZ)ӃԩAtܪG%~|ſssD&\-.9d.=m\`Hb^o6%,ܚ奾?K(^?w%C(OzS#ߦHvzijP*G^Z]ʎa!*W@pz42Pn?H< 39|/'JLwVJC {^G+|T >Z^ߨz8Rٻ Sti x@*2Ç`fĵc[pFraIXڌQh?s8iJ)@9ȭ66h歄V)VjOcBm8rE1h7mX-1òYlMg-lH|̢Iix3v3xy-mWk_.en! Yw1Fv{ Ԣ>OV- oqIg7nܺb1ͽ#<]L 6.=ycsww6Dͻ',Li7mjSD/U0AGRDBhxRySUip! YP&aPoI!X 0}B _p`aB?\;Ki]6b5PvC=*݇.M6G,6ƈC"6+ yĢ*X4I=ٺhZ=`; #È+, }QY6n9Uɔoa@^S9'(׋d~Qĩ^U:+%=#=_)S%On{G"zgC|:6SȘ5}cjEc@p@*z'\Yy<hc2#BE:s 絓w5";K36߽E#DL: 6V) bッr>9+sr7k1nLcx#^$Y̟şL^9~`7\iFe<鯖Z\g_Fu䃲ANepZue,(V~eN~!&$cֽExK]=P'2i㰭C] UNk:6S`GZѦb_.Qc1r^2m|m[>njxo(M3piŰʯoZ45FJ>꽾p dJ -8%7K{#yJ8Q՘+鉱J97ˏ{FoXxEJ g\Rޮ#y hfOFU$sy'!RTV^ FM*E`b] @X#V%B(e)|;:f %+&77iAs'=fֆyKf4ښԍ Y5mAkP{/92sJNR UOUigq0Bl_ZGΩF;Meuɴ+4$r<ai9i*~z9K2?bMl&*ټDKI69?JU#Gn|DZ7:B-H4`rj,$еtb V[Ҋ;6 3}K;X8M;+OɣX E`bD_Wv 3U$o8 ] #E5t9qL"n@Y P&o+3IX.ɉpqi+9a@bqi6 > ǀ3hTacƆJ1,X!cAMS+\Nxo!)`s]~-3-/d\@LA:'.%wE1VД $ d+x0Ã߰\enȒ p>H`)y|[J~5T&:fJ*GeJ WXʔb[,&\tΓ( ԻJe$6;Hi|_ sP g WSv8Dkc~e-t[9^{)dmnMY=h_)& |as?lm0uޠesv@. a1/-wF2Ikui+6A9!Tn-E^Oȑ)Qٟ>r`]؁FfP$[(&| FHK|:6 !/wR"A4E?g"|ÊbwH5xm0Wh s\ N!EQ?+:ϢDU`PW!N@68.i*J;D=%/?2  "Sa#oE95S~e?+Q5^,a13v:nQ-bX; j0~EStUF"v,?iLJI3JϻUjY3?JleȨÃ;uOb!r&R4騷 )6LFRUO-7ǛV2]R}[ܚ#li[23m=U!<\')>'pJ9@x=4̯̎t2Ҙֻ@d$&@Hӂ< d+W ZܝXR{ O20Uy}Os5jN&'3|v|>F%9Vr8^? ΍N PFi~ e9AMg%*jV1J\d*eWD:> }S7y|lQ ן%(AZkuMD\,8\EC#CMǦb4E(ff5j>Jf?O%3RJ q7t,'0"#0%YZ*HAz/)]  :/K@Y1Amx۞Ƒ\]@>wևd1Ro%‡ݶSޓZ`_0'kZC׼Pu  ÈV!J_k'2j9rt8VQs1,"l頀(q$m4+ɀ%Y r#4]Kh<_jD'jaID FjVq4T?=FrXL $$x}5 |v $,~G&yqvصq\TyڱKDzjP>XY _(&eiӆw a4L ̉(͊OJj!4p_X86eu+$c T"O@(4x$4'Հ- \`?"L);;%r l՜A95Ӭ59і~=C/3Ixej({F$'z ֨0xfXwL@or!xTgkb}pôA$O6[&:vzG`/Zϛɉu.3.C7DIURVn,h-F`ZPQUja%9' x72Y5[b<0@XFᢘgK_gB'tO:X@C l'dZ. tQ%BEI+Q قkeV|gQՙSæ*p 玛uX*s~l~Rv4ZHfO9/Mp"7n,,h)-ҒΓFѷ 3_Zf:߱g|;腢u髪٧rQ#uO)׃ {}Wv[I9Gxb(ɘ aECwFWz>֓\L}<˖ö 2zޫQaGi݃ &[C_a{SʋqHpZ.~}ME70O<wCM@Pw$ g~Q ./(h.-"dv>R{DBvo"8,&/ng2xy/&+AibЮ " N$mIQp 6DٿΆ1l[pjO ' jBp70Ŧ~A=RWx!;\Tw=_+{Iu~e-.y=$+4 tv:FFϟ:VC *)gy' YSUUN-.k1k$Yh -ɮ{^]`^ een =WYDe*8ֵLxW+!/V7M^ E9Qx k_b$6keAۂiu,č]r{T!?ib%Aϑ- sDB$>;Rs Mg}ɉlƃTQM<$r\-ucfcÜ3G Oֳ( uL=i)ϻkD:(RQ e_8:Dh6"rJ*X#Wă{^2#ǽGdz~TM y 4dS cl[LCIx,`?KqEB{;5 3 P!lDH(d xx+!r0!֖!}%a1")mY;%JiYya(Z\}F)?O\RrDG˥ESlL]$.3bF 2:nt_ET0t-5#1 2Z77gJ=;_Ώ/Z$'iԕhbza50ಭ vEE|TޓCxڝcCj"'j-o:p5^i|l!'#E.~hRr? E`9=] ڭz &Nmυ~Joef~4 4Hzi5 ؜$95QC(g'9k*Of)gi sܳ`E RbY.RrkoO`bJ[E5r6L/IhcWb&;=4=9]ܸ!$fլ[>ϋXa87797JZZfEKSq7ƪk94ɠŤ.r҈Wf7qQzL Q #H`b @xXDZ<Ց[6J'PKGM00cnFg><%09;?H J;Rk!Tabw RF; F)kf@'ګr/4-D &ؾ> LhT$q}PARvQPu 0YNgTL_َ̠23Ėh90#VGڢzҡP@}׳ c(qG .tj]c~W g OC` jĶ:4"Q0: ^IK3"Y`\jmD>%WY,|@x ̺#ueTmjTb"J?ݭHd=[V 'DZ>zo\@5R25%b!,7ZR i\p+j8+ht.N7&ZH_XkSr sh@-T8PDXGF@~~dm|h=z"Yd?_>c/]؀p:k]Ec_/aILIs$#3lqX LD\W7[1-6M?!Za|#n.04:ƣw5}ftʝx0 Ũn³cK,PϻpBq|8h[2MmR*h.E =2Y)qtfW y |_߸vmJ@-Cd,iEdѭc m%7juiL#L%-.zH3CClgLrJB%`Cxu/k?egY>K@\wDgQdA\s(j8 P)|r0@~v .RzW/}i N<=؉ԃ5qZF f'PJ`Ͼ<̫6*'`%ª|zK&HkYŸZ]\Ӏ-JQc_gGϑɃUᵾӑ `?xcjv ޚ+QvF5~iBa/?$>߬~F&^[P@hA0cF͌/dmtO6bi|RwC l[u]rGP‚*lַlJ3}jPt샩ZF6ZJ_k4d0 H]`BFxfp=+Y#"v͌hVI?+vYWOg̅gԌɌ=Uo@gMM]_N ̓eem&3 $[G@f(HJfE=0F#9ۥ}-8(s8C&5:ȿI)$C?׀C(+ mYI 30;][0K"Z1ee2Ea.UWX][Ro /ُT4eRNzV 2qU;b(r9/\k:<ͺ^ڎKx%Ue?wjKbsm#WX9!-ņŀevթC2EmThG^  !67DPtf5EdOro& &#uj@@d-ɮc-"EHUs)j 03.iQ>?H&m-t~kK.btgjjB@+~ڛL3KXJSn^(U ;^Hid^h꒓[DӏmJN rvB1|76A69: :ati:1xY>5[I$ Ӕ( Rvo>߼7㕈>0#T`e lu y `Jo'܂g֎і+]`kmj K VЦA_ombLPk9HѕbɯdK-\˭rm[j!c~T%Xj=vό{jH 1i 6quKe =pm #n=c`KR(Bc&yp _њoޝag=k篦IT,K ZE@b |},rz%^rYkK1Vi'$0v`%%:'9gV۴|&eZ,nJ|Ʒ:*1ӱmN︡tے3ϘzdBt_qOud2O!?{E؜+XYK!63.V+5*şhI$A qhosQ, 4(Q1GҠVA0:u⁧&G8#܍\G,G MbinbpXP}d-I9Ut`}Z(¿ y 3#jZ| ΙCɆZ^T/W7WZ8!PT !0݁ǕEnhQ)lEPHP77*(ZQh: n<'UCK+KOeq9b嵞682]YDnfmvC@)MPR5b啪)C=uEλ̌;#3<ת y XVP\3p/+~(*``@^I'ATt. ;}(MkSo8`4+(jqKNyx0y!RX%jqn?Lc>B/K%k#!7(x+PLV'UpDƝ[<&ғMIrouHXjNOOϷ{%7".%2+K<;+Cs@]ĿҞ62e,WR߈' }Q Yr Eqm{_R +6>;ȋNq0D(zk12HZ\uGt]t|q1_qand+8R0/:]fc-6]c~--dvN*Np9bP:VmԘ!ZJ'dcޑUS̭p{(^<6〬s(?njU7 #: kx[؃cflHf(t@ȢW7(Ñ(7'{ɪmS] G=Wh[lPI& t/|t[-vX$wy6>:&_*_M@!Z. d-&T@,ԪX|m] %S̅|PlL6 ((7^l{I FRɚM!n;)\>M?IY'gzݑT:OtDz(Gi8*'q$ o(Q=k7omskkPܩ"qJ\FC:w(<y?6^ZH)jX9kͳBњ[j"S:̥2qK~BX=))tDM l6vR>w=S KF5)apXI d [PƜ\Cdඓmm r.6@Ĩ4BXUbt-̘nbBa=ǧ.nWNVq]~՜[܄8T_d-3|s~elAd֦&,!z .dFrI~6!mh, 9GD27f組ו< ?룦cT/神Vd?Vz\7xaf\4XR%޻XP߼<+쯧 K3".z ̸y`-AixPpcx =U홸@eqNm~vÊ퐸 JTV53:/*2Qms 9XVKyHG/PSghܟyo96K=]EˮQĔ-k[˫jͪ a>G &0g§kC􄑾z6)Q M2%4KH۔o(|ˣ=lR!fd|0 D3;"bTGuwpExrMb#n.YC+zJhi|Kh37ik5bFO0P&-v?̲Y98N0Fa]KrP_bPWdtkBZUn[Kj##ЫBV V1s^(ӞEiU(|KŇh߽5[@k;}mmP.Ζg"[f;)}an;XuM:(wG1)T /7'$?#0@^{< RNc%gYZc192d723c081db6c807a4144fa381cc676d1f064b9edeba120fb42027fe4e7015d7e67e5df110a4f 9f89800180bdcfe5023b0268a9e9c3926bda19cc93b812feb8814fe8b5596d2a96d2c6dfe21f5cea