From 2b139c26efe08c1db2768c0d16007e93aa945864 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Sun, 17 Nov 2013 21:11:50 +0100 Subject: [PATCH] added halfspace image --- tikz/topology-halfspace/Makefile | 31 ++++++++++++++++++ tikz/topology-halfspace/Readme.md | 3 ++ .../topology-halfspace/topology-halfspace.png | Bin 0 -> 20697 bytes .../topology-halfspace/topology-halfspace.tex | 17 ++++++++++ 4 files changed, 51 insertions(+) create mode 100644 tikz/topology-halfspace/Makefile create mode 100644 tikz/topology-halfspace/Readme.md create mode 100644 tikz/topology-halfspace/topology-halfspace.png create mode 100644 tikz/topology-halfspace/topology-halfspace.tex diff --git a/tikz/topology-halfspace/Makefile b/tikz/topology-halfspace/Makefile new file mode 100644 index 0000000..0566f17 --- /dev/null +++ b/tikz/topology-halfspace/Makefile @@ -0,0 +1,31 @@ +SOURCE = topology-halfspace +DELAY = 80 +DENSITY = 300 +WIDTH = 512 + +make: + pdflatex $(SOURCE).tex -output-format=pdf + make clean + +clean: + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot + +gif: + pdfcrop $(SOURCE).pdf + convert -verbose -delay $(DELAY) -loop 0 -density $(DENSITY) $(SOURCE)-crop.pdf $(SOURCE).gif + make clean + +png: + make + make svg + inkscape $(SOURCE).svg -w $(WIDTH) --export-png=$(SOURCE).png + +transparentGif: + convert $(SOURCE).pdf -transparent white result.gif + make clean + +svg: + #inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg + pdf2svg $(SOURCE).pdf $(SOURCE).svg + # Necessary, as pdf2svg does not always create valid svgs: + inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg diff --git a/tikz/topology-halfspace/Readme.md b/tikz/topology-halfspace/Readme.md new file mode 100644 index 0000000..00b10b2 --- /dev/null +++ b/tikz/topology-halfspace/Readme.md @@ -0,0 +1,3 @@ +Compiled example +---------------- +![Example](topology-halfspace.png) diff --git a/tikz/topology-halfspace/topology-halfspace.png b/tikz/topology-halfspace/topology-halfspace.png new file mode 100644 index 0000000000000000000000000000000000000000..971a2c6df2d76f5f48800836e00fe74e32ba0f9b GIT binary patch literal 20697 zcmYhj2{_d48#X+c$ri?*WE-;Y5~9Xhib7@Iw@2Aaw#ZnsRj4pZNKdPMr@;(aBO_(s zmuE)SVTzGy=DVl=_kQo!aa1$7WLLwt0Rc{6dgn4_0`l^Q9_Iti%a2x`Wgj_T=x*k=y=^BZ)9sT9{or#yzM!F{c ze1}^#->V6)bZyxh8O2vQCFxw%_N8AX(@T32Ro3u)Tzs#3jy;4u>^WY|r!OxrujqT< z^S;92e(ycup;^C8ed5sb{W-{f?EJyiEy7?-$cyl?cH%}|q#Uo&+-_b|>whXC(atqa z#7n67zpn?J=XULAdHRrO#w+kZMZ8KRvx{Z8yyqIZCpa7fq{Cj zGkJu`q@1H|w+&DopFu2HNaBc8NgDn=q+OZp=jiG5cbwf#GfaKcwZk8oCU|j0Dd&zE z+L|G49AbEI-%`%8rk1Zv@#hl%Ze{Qw!l7cq#E*dFYcSIy=(Z)#$?_8+AKzAsr}F1 zG`9WMm^0qEzOI@hzJaNH^gbQ|nd`cmy3o=&KjbXxRL!F9*$IvQ{o}1Z6YlqV6@AIk z??t$MzN%{;b$PPRZ~x=&XQd0uPW3k)5(orE$h!|8o<(-D%RQL(%2eTV)?Mz+n&1DT zGjCvS`mu{XUt*Lb%Po3(Z{7@f_dIxCq#ZCerlO)U%T#jh?UgTwTbON?)DyS+M7PjZ20LB2RPnp3KD<8! z=zrSp9bVBR7KR0H&b7r@1nPv$wSG{lY+m~Q?Af#MrR{GO&P`LVvd;Z}CKfq!>y19) z?EVb7P1r4Jk%$;!w=q0=g!=@g>&M$-T1mkE*9#IAakJs$FTPGpOel$mz0S4!z4Y|j z6_If)ihfYJnQQNM@GT2Ti)zZt%hSDLa{s8vZDP&^@q^lc{cRLICh2e+OFzZ?gKv88 z$2a1iI{dlA-?ny+zPAGH-QDMZMPd(UNmW?d-DOHhBI#25S^L|dHVt+~r{YYMF6T;ggkjX!>jybKvW$3kqQ=!^5qSZQxeOV+9k|YcdX-hX&b$!Z8!Q#y4dIsc-m*O= z*BAsPLE`C-(4b zSFjv}{B-jh#O`XuER#VwEkY&UwI7XCpsHS_s9ruo2te$1&Cbh1$=wR*kPLHk?`boL z+mUMj3!Sl4%1-2^+KLyQuUd(1-`k#~Z73piGW%TEZ;%OJo=5-rHLgQnkwfNuIXzwe zI%a?C3#8{2>FTk4X8iosfL=Ms?{z$rN4$i9*AyJ< zZ`kyW`wQi~HT~Dg^ll`?v;gcI9RdgK|AYn%y?C_Y0S-?u4-kU^$Uh{!iVdh`61jWLs})Yl}ej&$R=Jmw$B ztMnH_D241B+P>prIO)%oM{pWGmiE-;a|s@m-Pp70&H&CilZp?;no@1@fq$!(cpzMmUOurES zM$f&vz%v<8)h2|bQI@mP`!W$D6QB28ip}ypJc5Qw-o!P;4($N?<$Gk6Vtj<({g>jU!eOKv6%i)CS^Sqc}kl24WXskGX zF37kdm{~8czAVj(Y4!caM-~dEwv35%Pg9nkF3Lu*q-J)&S|^VZh< zZ5Wlot+G8Mje5z{?eSAPXXk0nFv6gmnGZTG@EAP?lFGVUm`*6?jt|Nf$Q%!Y;@0qrfsbxhqu?d*|wX}H*r1~V$steH}LX=Cad)qDC62i}MH zA~J8i3hO4M>@e){=Nw`Lf#AvPyCMd`bAM%w2*T@F8zudm;trRGzJ}8!o*J?lccbo^ z_Ny3o(X&2Rir}ohdb{ZE3rqBOwMuU(sb1}R@oE{k!gQ2^x;ui_2cjUqsY)8LEHgFo zCTMr1U(>6L%`s-P0cK-L-T$czd1Q*FphUlZeJ(`j>PNp~#}`nvikhBNFa{Dj!7f(3 zde=>5Gt8f9k)Eb)Ofr!wZdk>bi$Nd(l4t7Jc@sHVQsUF;Wh8uET?V~0LMYL_^iMba zjBitUCQ6SSBnVdP1UwO5F-kr7QYs2hi&bOA5>(>vn^*xzeq&{E0XEV3Q7;7Cu62e@JzT`Y1$!J zkNW{q5Mg?p{1s}}$p}koF?fTL$NYDhy57-^6+p)Cqcj>tPTj~h_&IFyi*HuI zWAiev-X+sB>(~~9{rXgPR*$`nNusn1RgL3sq(C_mPSOtZ4B2Ya=%;*%>Bv$Srg0_A zKcv1`3u=r!<`QE`oCV^DjUH}13#q=HGkhp>#%laI^hexon_&Ls&Z}3BqSMZ@;fb$K zEn%5N!cHyf@uPak8EM$1gExrVZzr1A-1u|E&fsF@Ev#bDp%B&Pg+x3{%EFSNl!ILt zy-PqUbQ63&*JssC3X)ru_WNN;;gUo~bj=bLRiJLg|G!VXcc_8bO(E^In%Yk)7vWi} z>%{qO5GC*(cTDw_23soX@`j=cO$|nBrIYbUdhES>XAi$TH}h#tE3ZWM?v8yEuQh;F zuy_1Q>nhiln&6|2!7V5wf;g?uLwxj4@N~BTeji)PT;)lqu-8rF%u_qtS*vk@X%xEP z#alIxsT&*~mB*i?(=U;#yquQkoD`U+%NrThk^LFPAXGMON0FN zqhy6^ZwgQLGaw*-#9k<8o^$d(?dLbE0ODZ5leAkJQRgJ$BVSzJF(9xmN4rC|6={~N z!gP%cqDpl)T~uZ~!h$;eoEUt1YGP>VfGw5y5aKhS($sp@bZaz9V2X@b@`bvJ-<>jP zWbt@?H@q8JByXwQl(;R{?roXP{<)GHms4Sx-He>hfH%)cS!~CA1Qn`@7sFM3ow`iZ zXr^S@M`U(1;azsJ4pBL(v|GhI9z2?aucWqpR^CRjiD#51IRcM7#tafS)1f|pgF;%I zH?RGV+i=e0(8|>3{yRH+dpYmkM=zqMZoaKpni4fA<`mzQ_#9?WbuHSL^L8_eies+{ z>qaW!g_$Y5B2RXxH#@^#WSqN9y}(yAzcR5Qg}A1Dj!!SZzW;Wfm+q!#CzCFKg6&6! zv#2Hc+3dFwHQvUg6Y;tI(638aHe7oG|4J~#_35mC+R!ssj3eZNt24k_aO$a2`7=!Kcs`)pkIpb{i7wySg;Is6-4^Ul zrysHj)4kNU@5`%}R-ozb1?ux`U!AWOvB_^c9!4N`bKdRk^hyjQu!_s4`IoQ$7U<4E z4t%1EQT$ef@F=S&ngyeJI6~TEf?iF;nEv9RvEEUzjCZ+piA}B3%2kSVg&8++2fgZG- zLKjL z#xhuQ8f4|0@8dxM+YS{KkfSLVhu172;~x}&x@#Lzm6SK zSSPpfIxNw}yau|k#|AM{XNm)r2u=Cy0_HfL$K$KV~83`|CXz=Q}_O{gv&zx z;QAI+?CTBX9X}&gjQ7p!u`?3qn<+d9?^?5jHeU4|6wl(4`_aFp_MrH4a*G@d;#RET z-P4~T3NmM8)3(f4$6KYdG23k;n8@uY@jrrKPa0^VNASIHO!z`3wwtV!>#7yM%s@A9 zc~xm9ePE$=q#2>Cwc}?X!A3v6@1rb8pQt3K2)j{Eq;uWi%L(%pG2kATA0UKuB2 z!PaP2?>lO@!*fqwd%>%AGdw(8GjKvZQe038EN(tO#;dzH7vZ-=7igvg6y;x|;yG48 zO|;8s)hZR{nY{Du@_!Xgb9^J>`S1L_UlTn-{~o8{k3Zg^-b=iP;n-JLeT_*+3ncR> z+v2)LTL2!=AG6nLh-hU}0;JH)s%FaRz zu0sid`qctxt({1Xs=U9@IxJobT~5z^0Qx+3z9Ou|&7C$L{!zn&+pXW?}%6P!C`G-m5)_ z*lkaXaum>Kq=h{8;WNT#pmA$Xvd~%H7o6+tnq3gB6>9!vN@li>DSoFB9CEOs{9h=s`cKIX6~^_7;P*$ z!M65a5{(_!#Co1g^3l)orehDACPj@3o94b$`>Al;n!CHNsLAKfb79I-(QIjOOIn|45?Uw8}} zCA-1)M`<$LNzb1>6WYYmX_=!Z;&ii#VOk{WRj>RMqWvc#%)+8w3$YU!y`wzRjoh+x zy4@2N(fT%e4&6!qx^n2Sw7o@AQKWL&y<2tDlvTO@vm)eP+2Vis?n0x-O;Q-Nh z_N?_Gc8xkJw8T{v>*5?Osdr3PlupI5S#}V8wl$A(Rtev4dgTX%oV)iI)&s(3 zKU)oZmYNZ6)rk~ddn8};ut?H!0@U=V)EZFtQ0EFH--6Z^s>VEg(4sHRVf>wcMN*S6 zN9v}lErdYT?!6V#^2mkoL=gRa`3v9+V|KGYw5q>%)=PS)$Kz z83_JaH7p7_;tujO9n@TiZuWy8x$>2Ovm2h7iEW~M!My&;dw1&7m?qQx43uE3RJAM{ zKT3#dTMjS0v;lgA7YY2y>8RCG4;Zz^ECI$`!J|qGwDDL%3Dj^3(v{H?OxWOPc|tK{ zqWUOWZY__vRx5@&39 zP(?gamR4@fyL|Ag>(LI?J2?}%eDDux0H2zH6(td;?k;V6%w06C6u?IJ*5z*9C^`HaHnM6a zb)D)sY9>qT_KK6Cnn?+etsqh3L6_pAjj2q1w|d3i4m1>;VlHSIYc6?0gAx;>zcitl%WiFWw@qj(c^WEX;jy)6gV`Q&qh93pt;+M5N z_O=-Sqyf~n9HKb=+do5v2eXB*%%{C#BQB@|PQw*iV1_pEF0qai5Mbh*y%`Lf4; zBx)7|H~AU(E#af)1iuax1laRPFM#PhNArlCx&G|=^Vyr<5MQ;IF5!u*VQ&n43Lue& z6RyLGroMp>(4A`kx4F5(66tl=Py2)eIhWPb*7a%ew1j@Yf#-5gNE#+F^k5_e*A zV1OevT+-w*JYFv10Wl;olm08gU>?>^LEcy2DQ5MM)0AC~en&wiGcxWxvkO%lU}xvo zeFc=JjDw4EFJwMwXQT;xBumQ% zU&k)&`AHf}oc2`<>f|P@ha8ap z;v{XIcls-s3iH>2>j4Ja8S;|T4bD&x2?nR-F^HrrB(0yET>FW6AU(~zZRMj@=HnMqq85TBpE?k@IhcRDhdbzwr3>C?;rLln%10##dOcKD>tlJKOtx*xI z78KZ3evG)m-hp2vcKXdNPNfaS%yu3B)`3U$A_{Cjz;IP*vw3OBUrwHQF6qj9k`&ro z--SX_zS1nI_GWjk5LG3|L_5rPMQd~tAHuu2niY)O>I{`DuCB%vpC@4|=2P8E(Vp#m zr9s;Jn75vls8`m575^9447hL0AW#uTl~q;6O*=iJ>w2-Qu~Mr^^5gfFj^}}cUTgu* z{5Su{&EEek9?W-eK5lzQIpm7p>__)L*$&eNhl~!#ee62@l$gY^ZpDU|u$h0$jhpis zOzPjisYG~Twxaepu-F0?!20i5OI?Wc`3GroZsykJu1stZs(0$O(!C+&>`Ouw>2*%O zZVVC%#|Z>&V;k{dZE%2c1@#)H(@Co+wtO@`kWk&g1CVp^e>;pu14wa zAq9={U1kAJ@aWk*3Z{h=kkc;T6#~`J6Cr$zzZl~&Cu}oyRXA+@VTl)d9!38%&S=7M zyW?t+Om3}FJDo;JN4oX%H0DECg_)afTs~X+;_XmQc z1z8bA0~7B<_jM$;IN9%q$_>iQX-uykj{Mpq43vu3$CAIu6|Uzp8O7XKVY0~%er|>LWo&A`YsBPrQVCpzW@p`}0gj|1=$Yp^XkNy+5kW1fs3Ejuxv55( zE!`y9EV&ZYV$m}ju;c!%!aFZS6 zIWjzK!^b3b>C-*V(x@zbxQdf)0)1>iA}2B-ty~G=-m)Mby^{0W;5iJX0jL0%iDP)j zHK(31yRvhf_{bzRKr0lpgMNsvln&4WtF@X6%vqN9msWp3oc-I~nE=Kb~LH{+ML@n4y-%% z{u$T`+VanIaN479XL6V8R888-(pndo0sB0@rZ<>~EqD6G(ieh{iW34S&97li1TUO~ zea(}g2CzgM#PVvyO(v9-_C-*ZFEmr^`7z2%bo);7Y(LtPYLRkq1yMUu5c~^K8>B~! zo%&R78Gn}dWFmWkWOo`?kZSt?ZopZRUps&RdIRYBq!~q^*hn@_kn~mRdBvg&Noo1TRq9b?%R!%CON(%MBdsX;pP80EohApQ zcCwb5^u2OUpr^G@jkLu?M#jw;MHQK`fubf8;n-EYL$%fb(Zi_3!8Z#d822P|;GiHsAuitL^s$Ej;|0(q(g2*vrTsa? zke4Gm!(^daOo5hhkv(MV9h6{P#obIIXf7kcRv^nZjG1XmaWDo7k-$Z!1u1mVI}D2? zK=cnJ9?Z0a(NFg8<=_5tSf8rQ?_p)y?OqSSMfLG^c(v0nODfWEo%dx8{HS!qwB%jR z+d*XowGb+RhUy?ZvJf4I;7 zv=$~Kd5g59&`fS+MLRPC>>(tB>r_$53Co@tF`D-2o-kROJIgUsM$jjcLEM=%QzRI4 zfL2kY$(>f-PV%P(;=c;Q1eU{}KeS?|>Ti}l%U>=LILja?-&Itc<^PYDK3pLcz!~K% zAP2?dXz(PeK_j!l^r(0Q|GyJ;IOp6K4Pp~tyRhK(RSysxJ*`eT4PgB1$5EfQbSVkh zb%q}-D{~UcE^K@& z05TVSs+kh=I+&}--U-AQ>L}QZlmkOk{ZF-@xb@9VOp^4u*3G)Y+NUu8OKfg;-yiul zb^HuB*p{%DK;_b6sI0H~=yXN>fPmFNO{0vnoUNB9eR=8WZ2WXD4R_YB&*Plcn;Kax z5~80`Ocb{vXyRd4BWG!VyD;L+VaVt$hmPNqs-StI*4|kkQ|X}!C9@~kWW!kQ##B6LBlgabLBAtj zmE zCR2#F{C)S%55sK6jP^sEm#}hqsvJ9AO+qOseeC7qgj-Bc_PVIYLB=~@&0jj0B!xzf z6rrt(&;1cF8v$te^kI@}TCaFapmON)B4>wFT5aIRu&6Upmmh!icjJiX?Fzo8e2?=% zbZ|O-b}hvDX8%6NN_2?nj+Ckz0YbX{jfJAU*ph#NIfr6}?;}%UbP_UAt5aM5yb5|q zOw~82f)efqMQUtIBf<)AI!fCFXFLv-+?1MTqVTz}-Iw|ycABXqy~W>m$DGlNv7R(F%9|rj3~^fZ_l=LZgiog(o#pBF!DVK8D{sIBuWa5y&(Cc?F!1{1L`sD*c76BpREpg5agr6blqReAnFdMDo4X-dRSK%+ANLrl}| zfqI_IaIE;P4TpKRL;#SI^7#s+@chQopYFs8QhGgw@K#dusW55~gl-<`FNuE+p+1a&lD>jdkD_`hGwr{5h|GezIV?~rkT!Ib-*|aceHZYoF(sd#a^7<1u;xG3~?p(JQ54=Y>)69`WW_!gZA+$i7LQQ zK+FJrao8zLKV-){GV0vhob68xwgn5iZCS{L9F55-8c%XM;L2ZtvfZNY7oh*CRf*#k zuX9jC?kR2UmTx~z(oeOxw*0^PNVO%~1oTH%=nnl=ZCxVPxVt!r$&WX2J#Cgx${H{m z^lqO-K*BW2@ON=gFjkX}35G~OKr`4EIxPN6KYBAm4>WbGW=?1xRS)9SIV1J$gw@M0 zeb9h}(VS(?=zDx4lVxQ}_V|8ZwoEvtHxC&g4<#f)!lv{TltaIc$;&y8r?4-s3LhM$(Ti(Yubt~Q2PpLdsG7odWUgX^^6Y3t>TqZ@%DW{>PB%bCj@v&eb76APs>HsiEu{a#B%h*bF{PyTr6eso|EN??%z zuRi2x7UeU8^P@Ewp6Vmn7}VHAQbuzPR*I9DS?9~z6H)tujq$*+TdIl-BbT@$eK3GNymmYm7Q_l z_XU*kgiNH8c?8d*UfFs7okGD1k;_2Oalba{XrPu)sbf_2zq@c0q=eyaYUstr)Tt-@ zH+dWtJ%j|jfMS-_iw{MYR+la8-fN zum^PgML@AWAc7_XumK8x4@RM&q8Az|)lWEi(?8(v3Eyfz4E|#Tiw#J-47Xs*VCRTt z22mHE2GxA-0s7)~r${2jWx%jxi(w%kXY#4K{F@WVRZ#5dg1mb#(BZT_a zt_fuR1s)3!$V9WcFl}t;9-=R|_P=VnwP(b`-}fBXrm}cdq2&V63SGscGM=!02dCSa zMCEW5OwXPxTpjd>)eeL_=j~yAnV$>>Z_ zlb6w7Qqsw|TB{WE_`R`p^=Qt<*x2wQ02Ac-IZ{f{x%d~rG_%0jq1_cMNmaJ~272Ha z3=oxAaaK2PzTiB2MV4)v`vkW;b<%Oc2~fk&A8V+Yp()#snZh9r1*AD1ur^q3w+xq%o6bx4vAqi* zgXJ~+VP^CuZXAO=iCA!QFjAlK@Wg{q$S+{1e5ZBqwWI0jn>=p+ht&vuC66*WccYNh z?b_TH_A+r(J57l0;8D(At5vEZu5+&V>bLuGF6z?h)Idiu5sq)O`qA;5(6lt zwKFmu_U13w^CoSMZAJr7G%?vS7yvd<9YbFZzYH-i54r>UU4TtmlEEw%uMX@YUvve? zgrjH-&^ceKpfQa%(HQc>zj~Df)18g>x19kOza#T{_L|Wss9WBdE2*MYDR!41SHRm~ zAH&e>MuqrKUyk~-Gc6y8k-CwDmH@vUgCP=;_J^G2dSZGxu2^AV2`O$-x6y4tR}cv! zc1CS&(?W9$vRG(NKnovK>yJOMHy3wo6effxvGUkmbD&k7ZO+-t-h`ZrXH6;3@@Z^3 zZaPh{WShA`fAf^RbUSuDKICwHq3SntwSJC9I3n%0oow1+lOG^CV2@lkpvh3?Q5-k) zcH{*i;d64&CC|WbNKu|+uh48#S2w%Jh(*?DC-izeb`R&mN*(Q-%Noj{Z8;It0A|x3@`Hf4JU(k`kuUd~Pj0 zx?PUptKg=9R-qmKm6LV3z5~^DB&HfKCUmn(7T?xjydmkwp$3^U#L|3xVl#Bd2 zW*!nhCmtjk4vKOVKk=+wHV|qD%vo_+^aiZNZ}TQk0Sm6u>Sq!*cUSehBmagLN=OWk zz!oPJ3#7tOUs$R#|7cMnjY7E4l8N$JXDw0(9#bF4M%X-gDswOwE#g1Y^{d$i9dYwvq$C7T4)T}_Jh!5UL^S9@MXVkLYxCC}W)*lJ zDK8G(Azd9;u8urad@)dI_`1h(-Gn9vykd^wO;}>E zN36`;x!kE$fN@ZlxOQZ)B1+XRV}@(@P8d|q%W-Ptn|Na$d-a6=d|)EzyOkHRMn3?0 zomEp7!}(d3jm!;ToHC~XC#7yH@xJNd+uYyZ`IA9h9AfhTw+|dAu6gnc)`O8r?xnf{ zVe883KWQOCgZbZ8@M7`4Z+Nci&StGn<+qcA05)*?C4_HEQG?o%^0~8}+1f>W0r641 zGn29Bw@(Gz3V}lRm{*T3oc8tW-cv8C!@2d4tC*tf=OHI9L=9aX^XrHW6j5(lYT-81 zJZ-qZ8ogCTs25&9zy90sq5qr8e^gS>7_$V6aN^tCS(nfqiA%EP?;>xo8{I&p1;HbP zpZ=4;Y_y!)~)va22 zuiM)<$p=4O7QzLmMd+_hx2Qow&%Z~aQhpboc;F-+wUE%Z=zdt6i2dnY(oHrZNn`0; zbZV1mJZmoC`+*|`XgNJ(N1)C6De5!vP(;&iRD^EMB^R%})hfL@`HYB^^4{VuCT32EWvmPRHbR=cBYat;=fyv zy9h;Jr`e%DH{fsm^j4M9`x1|pOifMsEx7;q12>=yd^%A`obC`#^jqXKiiGeeV4NWT zvx|HJs}MHOk93}7kHXE%rk!9Lf24Qtg4gw8_@)pGMFV7_LbF4yBIhL(bLwpx-uFqrlMAyBHi)#R*^@^&a2a7j3p++{-lyFo}~ z4W%XmBVK^HUqWs20*9v2gsb&w@Km;Mf)~*kX}s=iVpuP4X$SPWx_sVWS{D3jNh0{7byrB}e&(sXRF{n}$;*QR&+>~Lsp_I&m(~--6 z)njBnsjz!5kOO<^Wj9%$VX;6WyfurEPTzCo~Ha+!99o`0a3~aaV>x6QR$9ulbTvaJ$^Upf{oW+>ro=59)8E^bK(E zGM_dwZn{60lrd-NC@>KYKW$WGGBK7NF8nlzYqsdLQ6Wtv{vp7=`k?|f-qQ&{@)sI( z%Q{>xhA&1p$bhRecUoytN3UGId^s#j{H%*|#Vhef*kDvU z%i_UbM}7J6n=0|Me+@q!j5sbhf>*PSU>2XQ(*wTlqx28%ex^(}EB|LJ5y8`slsvEX zHfZXi=O+`(1%N4}=zfc;u|3CN0A%A*&v*N$FoU5_N=Q_%SmgJ+;Jh0g@DZx z+?a44_e6=cgW^!HQX$8NDeZ2&kB*!W%}Kk@){*X$sJ`RpY_grmnK1NJ5DW9y&l}lw zqyRCPDv)g_pbieg+~Tvli8wcbA)5$h51E>20T=48(qU~Dg0kx^c>;LmQ=!-|U@ucl zJh1M4yom#F~>st|1R!O`S=gkQ~B z=T5cjKiw(zl_GdR2?7$(00n0##CWD^K@qKbNk^3F*FW#kN$xhPFoHIu-KxjO{;6Xj ztBUy^=@ZX7!YC+X`66)ba7=t={^cjLU9Ng0RQ_NW(}|S!2n7qZ$U+|(|=3q z3$Jm~*Gf-9QKloAqsH**n%b-<0GQdEj!(N-VTAx{f@}T&J!DcJCcHmKmUd?NaXS4x zseAseG#U-CqY)@1FJPL3lQvd0Xo<3o4}u4`0X+Cs=Mow*9i(%OO{S9yq+uR}f#0|- zMw;)m{r8F{oC!O=_btgl3c4_Aj!(hXeU6}zkL0{e7v0Btt8_mjb6C^K2_&Y?H>t92-5{k_&e^1in}_zrme4b zj>c|V7a!QI#pUhVW={)D^-Crsk{$-kquXS?&4*`QvBB>zMWgefI~E zv~xT-yw%cf>*V4=o{wcun3CY1RP)_dhrwCtS!J|NhwAk%bw98)u^&6BI*$YA&P+Oi zOcnu|V-ZH(+YHc%Ql-u=h8!ZNKLai*Hnhfvh(*apY)~W5G{dVGs>tbLm^B>{KzA1) z`7MOlexfyuemXAXFX&+%8`L7SAHk??ChCC7G1fpm@@Utj))|(4_dBUEPfO;%5?ZyG zw!&?A0n{&?%iSNZZ=&m#&t~XRXUqD*PCI%^qfeT5g?Ex_ot{*{gS0-!>A~^|zMxc>1R^K0@at-P{_8~77Ij!I1;pfJg z3A_GOpp0d=@A5VOhIBFmoLuvs8CF^WN*<4e zR>K$=*vqTw990XYCK_~paFT)iutgq2LsXSPwb(_Njz-BKUykaOYQ4DDx14 z-SfQ+j}Ys6CJCC;Gj!h$cR=Zc0}D8qmJ;YD*Zf{^{#chBgC1xUNNxTVS*vhU!b z)efO18`NZ>4CScsb>-|)S^*%NV%YH@8aOH5H~U5KDh&Hs+QhFU_tc(&^Urz7FBXgO zpl!`7xT9jK7jCSMWs5J2T1p3sgpWL9E(6fM#&{Je4`-A8C+wZAChKR|GTGVyGgt9a zc~0uNxY;p1xto?m;-E@-@ecoA04Rm8e&ekln}l2P!iX^@$(;{|e#5yU!%t zBVhlsP)=3n6{`aT0q%2x{aMV!=07|wO(+1GN zT`+!NrEv;LaBMXxvug|RGfVDiSaWsW6Pn1f%m%|BaK_KEIar(5%t>)_c+M@}0bUVX zj!97_3tET2V12Ksk@>G$Wptfk$yJXn00eLKh=eEr*2A!O^>_GuwXldcg8J;I%tn5YhQGLwf|YPSE#>~69AwKAe;OJ10i%fyz|2Q zRTB+Av(-xpE%_LUR@wBFgOF1M_t>58$F6F;(F&Y?BjUA|@f#|`AGvEK80J%K$woUg zi|wrAB>M)Y?IyJts{g2gjio04^XOvX{1*D4{pmKx1ASA6{|SNaoHTKrZx$ zbj`6%L@b~d-YRV+_LYTLF~o3Xbe1YVAqkN2NMU6MbxQ^db>=)hGpXMmG4ekCm2H9M zv9KhfmAro0x$dt3ZcH(c88l^#-6(R7UT=b`ncG=jek=jJ_JHA3!*L2~fcaHr4%YeM|FHvl9dSp4V1I_(e$mwKD}8K@asCaxy_d~H8Icv3m>kUINHhk7 z>@@Q~fKnT?UM(dZixROoYg8M^Ra0l!sC|ly>XK%waCDZtoySvayIm7N&^|j*~oy=USM`&m`>^#1AhJPyc5Tu<3A(d!_`7yfk;6WHoT? z0VR8^#af#h!0-n7Qiv{N(69TaVN`0QHzlNDuEn~;PI$3KwvUNaRRf5>Szh1a+ndTe zNYTaVgl~ON&!wuW|JW&x3lSuiV*nkhk^*i!qj?76TPkt+u&}-J)(V4Ve=Fqfz2r_G z2vtJy)#TWtdVi)#^6Ya$=-z%2LJfrVnf*o=0{N7)P|AA5)aMUT#D*yzi$;_ z2g2-XfLRghB}{JBW5Ih@I>P#wmd{28VZ~gi%UblP%jmzZ|8mos0Wzh#|B@N9J;`%u zZMYfTi<X)Fs@Rjy^ z5G(R^Qp8!{PGPUk5dwHCZX;Xgr9SSL!0D+Uo7>si3wZUpzb5t1d#VUcD(fIby{`r<#aTEmi5oV2mTwFoji zPAnOg;=qL3_#gpNx(yCsgn2d$9RuGhEx|Jb^K88@gj@un_T!7^)_~T|!csQYM1iVOUP}l89#-dzTK3l8KQWcw)_QYS1no_@7TOG-r2` z4hle>qXeZ6B=eUH9USXqLozSR3aL zXOk_ch~pz!IDbP^A9U)YwS zVax!Z0{<_7a8sh>lL>|`EW?YxLxms2{rTOk>*V`>vZ3nwAWM|nLx2X`N#364AXTnU=Bl<1R{-}D$X`236XOl2Chd2=XKPv2skM`DqhF1f3LSiAHr8#L+Y;o|ElTaNc%z5v`SY&8o zby=L9H5-O|NifiGMeP0@Y;^9WAlr(a!h^%Gh0IQk?nXZSm$?w9L~ML<+oQj+wVlMt6vKJq5-<%GGgY1c-DFqk5v_1v8l*gWsLwTg`CBU1Q zzH=@+x3!_74kpECiW`|hb z>NVe&XsaV?HZybRePh!~DB+3h<&O>wJfJv@%t&b7Za;k1F|b|x`Dq8hJB&JX?`Vy8 zu0lnVA;SdM%Lg{(Es$^iYEz>!2mFgIjBx<(52FJ{CNbm#4i9kmTqMV2X-ZolU9ZgK z8pj}=6&OJQ?g86G^lGn?nXat3CATSM0Xv}x4NUZzJbvc+1Sqe0l=;dHfCT>JTEc-D z?mz!YDEsX3-w@E}j1AvP;P>I{Y-Fi0le(j?&Pgc0>nKmyP_Dj?w$fCuvYP>M_4$_~ z@6AUEQQ%s`_DOWF{nN}2m#lvO(K_c#<(j^EDht+9Q5-JRa8+m~v0S!4=m_53K0*uE z{lCs05IE&*fXork_}`!bU}cQ?V2>2md}Hv?qBa`yX|7p;(b9mQBym@?v+@3zB>##Q zsp6#;kOKezxMtWCm~_n&a?5n>w zP#>R8Pz6Zg20#ie?Jb=Mn^jn=rmwSlWKb%9k@Ki|c*XC1csnc>Y={9*g>4AH{wJ}5 zi?92z7GUiq%s`;IGYO+!2*_DzU%jt~DRluS!vEjj8MkfFJmLn;ekLZL`1~A9TZOGc zHl8xBBzL9p-nBT4pcq&4QjenkpF+<5pUM4?9 z$dRv@&BI_?VRt8{x96)SferO=vE4CR=+IfrE0aW>5M{akg<&)+{_*Wy!0PE}SH7+kJ~Oru<3Gqcjms1)iOU5>h#%E!I&=&-pF6apsCf zvTDP7wecjCm9x3iX6EbI0dFv(G4&uCCG|~+VO9sly55;zLvZ9C5i$d~AcaGczSw{e z?s;VW6)p~Va=x^a*mKR48ZC%Ca13Ar9C$xJ-XzkSFrkxGa!3?)j!M!64ZGY6vuj6pYGEQPde4M zV@@VXTVgp{4mCPgu1ZiA1~InyB$ZD_4LhEz>@dG_xS6eIph(p+c(!(Zu=*snkmUdd zTL#rp-|>qpRMUJOsS4HF2Vf#zcD)PlY50bIXVMGsPJg^?QTM~2InDItO8VICHs`Ow zu-+x{x8H`~Z_p7eR_Jis|>;(V}W4Nw95AcgtBA@?iRX_8#EM1^aSsio{0$=%M z6-3Ycn!M%@zhrET=FhO>zidH2qhJ0wjOt-==!|Do6^dphN-8*NT_5_hdqGW<+z2G? zWD0*n?o5M}Fn$he-CNP|OyP(X+W*vMNFEufBS*xE0Jfkl!1|5kkQ1|=DW*8g-IgY& zy&X7zLZyZn#0^?I#=UPaQriJ%T9+mV_Kpjas$-^%%}xPz#5N>?*aUB=YKZ&NYs9hUHS6h2EFehuicBYl!}NS3ZLzM4qYZCtGl!oFWx70_@%a z9H4u_{c1(3Sqw=!15g%~qi^Jq%0q>DJ=JTqjMw>BM-`kg^}4{cphq4c`zff>YM`=B zU}N^t4@}KnuWE=NQ~eT3LnlxssvowN&SX>F4pkvCMe@}Jg|+T!*7m@JQjF!}>qARm z{v0&L+GU-jOwo#&NCK3|<}+A<*Q+o7s$!jp%6>EDN?gBVa+x4Vl9M*J4CcH}P2nz$ zoH$ySP#E*2spYos18u*_{U#0i>pcks0&xp`xGwYh{`0Q`7IiMm0P~=8F;{Vuqft2R z=8K+)+y^H24>v}oDfqy78R*kj{QVpNyz5RAWJe57A{P7d$iV!*BM)5HiRFhq{rz~Z zo^p7B!+qWQ?uGkTD{NJu<34RO*e1b0Q9czVLT;7^JyQJi*|Y-6MzJH_1B#`FgUgl9 zJ(@a#9*Zb^6^b&5uE7CUrPK#FK?TX#9t4#GTNmT_yFoUWzdK7Gn@{atpv@2T*6n;28Mzb+ z6P%0r0n8a8^L5n_H$rh)z6`;qNN`0Q(*;m+EN2kG9HA}4{F-j`ON+jD07Ie{t>YRU z^eMQu5oL>>N{g0>zU&t}l@&P?yL)J-f(Z3-@Xev*NSXBEIRF`LR0VP2DDcDf@#fFN z6q*4o(YuauOW6<=;u(9EguIC9!(p^f-*-s8qg$U4xdw=ekFpXCr5179Zw!j>rer`N zpH19vpwO)hHaXqaR1zYyw8{Xg#_Ciy`XFR{yv&it4J)rVQZ81fWm7x=UiGmOtTB5| z5vBg2Cqd@TQ+6+xhDs=s-K)85I=S(S{<xO&VFNjMSm1@x43)3O?JSE;ub-A}fQEe#KJ7 zhIuDwdel5UxRYWh|0rK*kA-ku2cWIqu0FBIGr`Wr(#QzQsK!}uI;UA|wpqnpzw(l1 zM>+_9*PfHFfP8A-nG@MyJvlDwOq08u;gRnNmU27ct5+wsc|O^G**kt}?{*k6?BoUB zP>e=L*A(0ld=g}re@_yXG>0*)OC|i$#xhx#1|F$yY;NWsx0^VH%TKkQ!NYSLsUJ{TDd3R-xFW_e6%&=Zw&BSCP4RoAgNSbG?>Y!JfzM`FFbM z2`sm2F*!J_T(1H%hnB$Evy#MEKC(T4uRN5WN7hW&9}SX*)s4dNxt{7m(lJh0$yV*I zR`V;9{g%#@g*M6g#*^b-B{4utm9;-)_=bm9a4Xz{BgoUgWEu*af6t;X8;L3=wlGF5 zq`0b_jb=>=eE6H{`OmEy2b?!e?szHYfvoZ*!ouy-yXeZSn7<#pRQ3g=Rau4fd7asn zGo*c?PaLer6QhdI-sE;AnP$3~o*321o{c+N#|MG~L*$N;XUtArr!K~StCr*ls_lvg{#K{n3r%WUD&9*e0OfGjjUeBuhDRgz+#IeU!(TCY8BnS- z|3M<(4zLk+sIEJN|9cYn@J9K2Bce`EN(xmZ&c+bzhtJf;j)& e=l|{JQ^3=ZrdA87*|$IqA