From 04140f19e7dec470c4b8dc72c3fa685d8363b682 Mon Sep 17 00:00:00 2001
From: Peter Gerwinski <peter@cassini.intern>
Date: Mon, 7 Dec 2015 15:10:46 +0100
Subject: [PATCH] Variante A: ohne RP6-Bibliotheken

---
 20151207/ainf-2015ws-p3.pdf | Bin 87008 -> 87654 bytes
 20151207/ainf-2015ws-p3.tex |  35 ++++++++++++++++++-----------------
 2 files changed, 18 insertions(+), 17 deletions(-)

diff --git a/20151207/ainf-2015ws-p3.pdf b/20151207/ainf-2015ws-p3.pdf
index 6757d655c69c6b6d1ea259fa9c723c2ebfe06dfa..3a929facc2b75e7e91b10c8531af5b60bdfbbb89 100644
GIT binary patch
delta 17399
zcmaE`ob}ln)(OhY#+GK26*j2WZ;g7Lf7?Rn|GoW(zWcIeMb*5V`1^`U?)L3R^R~VG
z+OStftmw=Qr<9xOCw<N9|DG-I*qgNbBU8Jp`4$bn^tR7G&IUY8G38X3k854LU*?~@
z-wzc*AC)Ab<4vA(ecqX^|M$D=<&AT{_J3O#|3L1Hecq2JS-)SI|2XgODQbN1@kyQf
z)WBDsmR`#_IQ?HpOg2^xT6U?#s9X8qq7$Dge?GnXXRm<px)~u8XVmPR|Koe5h@s?b
zPaR>l|7!7Olk3^9hkm>8g#Wki-?JgX>zb?T&7UT2n0L-ahW!)Mf3<_p-zMFj@yaeb
z-2bxVnc06&osDt7{J-WW`<qjfJx^WoaLL-R+G|Grgvm49eKLG!@6!xV(>nA((EQA)
z)Z~oq{ZIdfEIGKXX};Etlmjys>mF6S<;1;gQiaDKGoGKGeJy?w8dnOg?*An8WcAr&
zS3XR45mvljEH^jB(M@x*jn!mUN$qJFhB2kFx$l=7@kqR_3-vAi{aEVwu|hF+d7rN{
zrhj$LE0>JSol@WCV57Fke5WGU>zqU{DZS$5@6A`dt?iwCDR2$<tct2LuXk^)|NpXZ
z7Mt2~%?CxS_Sz<sayFmj?fv#$`_6+yow|Hlr;R0=uk`I-f0-jJyfVzJ@1nW*^0%JH
zbV4pRobcV}sP>Ju;PK3TADx)8{c`NTzPuayR{rW-(c6tDy)VD2uV=GzEca+`Z!g-t
zd;Z@0_q`<7=PeCNIONA}9h{OnvC;GJ>o=}k9S5v;+AV85EuOW&|LLS1XB*c}dXnc~
zmuaS~D6UrTyEs3%V9VOgtG*pI=eBt0nim!2U%g$RH1Nq&=Bo9Y@oH;&X7o)GKJL4%
zqiV~SnmN|biZqV|Gd^m5@8VTo)&KZo#z&9J2cP2V6VFsk;^VBD`{-eKf5nnzTb3zp
z-QcAnIn}O0tnkzpA?K*ny6t&<@`=Y=IZU}1U-WuCb4UJOWB;9+T#uaDrtb{?yDf6I
zWTh>)v!$43h>q8sb@BzQa}z}F+;=*YdH$xXwgk)Ki|fzT_}tuLCsJ+~((ICVr9Q=%
zInUXqMaS1o=S7G^S>dNE(}Y^4pZOd6i+#G<`f`PbIU@cE^EjI4z1d$8v{vo!{Q0|i
zIzHO7@k_kf>2Q0CS(Q<#Lze$#!QBGe4_{s_^uR&&eAvm$oaz^K#1`+parZ!+Klh!z
zS6@Xh@hCas#ddJde8F4Jj{B0+#l7d>-{&{E{(_Z#xMSk0+MP+yEf(}S%{~(MtfAd!
zssDpjn<U*-`s^<r%Y68F%LhfCO<}ftKNt1hHF$OW<+-5wZ}~5%c*gR*Y%k{NTOf66
za;HPbqcYEm4JvMhE}vx%JwCN2KUKt1KWgXme6zRD&bPL2n4zU^(`NTNj{S~FVdk!z
zNp+14Ynkhv)7|*?vCTQa{QUU#g?#JxT+jQoOtaym+3T$(>FsM>G%f_aS=`S1amzQu
za<$F+*-D$(_LiSfa}3+zv&-mclGf!0M(sa3#hVx>?zfrOo^_^v{-O83h5G;J#hRa(
z!NzbUK%?Z_`ua8Dzpt(3xZ2L;s+-?Bp<Z3-yl&1K->F{54%e^PyiSp4@#dlnS(8P>
zV!z0k{n?XSuzB;Jz@r-yi~5+3OBOmbZZUp((DvoSbQg!yj2cB;OqP1S&8sp#P4%~U
z(PO%|U?=<XRaxu*-dess{kHoZuB7ek{@=AGHeMByS*rO)l8ZlaYBTS*rRQX(ewXbG
zQc*wuLqcDRwc=&S$1B@a>sJOHnqslx7^7H!``1}=x|=uId<d&v^zCG5SlWc3{#-r|
z{%)?_J6B$dycnUt5Ya2Zbi%N0QQ5WC4DkyxI+R_OY5pjPm9BbQKG{4s<jUJ;vs4qL
zy)xA9-c!E)z3`$}$KvC6CYU>Jkml;#Y+jztasEV_;}6F0FMgNWk5%Z{P4}s9-NoMN
zGH07Qugk5;em0954tnpA>|+Yk>xq6HG4H3a&70$j>0Z^&8&2&weB;LhCi$u2A0xuk
zcdqlXxa>54qSx^lK8=`(4X4t7goY(;op)lvJ+ZKMsVoMI*{=H*#ozwj##XZE_1aRC
z1qtU@M_EOD%L!jmSG)9Q1Lp>v`VdhM#(GbAgWLS4n!LlsVw5HsU+tcvsp_CKcV49A
zmxj)ej+JgR{%k(kwdb3Gvn!wI>IwldKT%FE=eVnjyHa=Sopro&<FUJAso?2~n3WBi
zOQ)W?C%5*J+1j7G8v0pZU1$A!iz${#>1|FxJWr5)o8a@rZ#rwt7gjDk$hwwY<3CT*
z&tCTW7hAlAj+i)U%vNSd3KbBM;@`Ndh0*w4%Fg5EA9yyN(J0$y{cYj8rBRbrn;ST<
zu}-)cllo<r+P9~Z*aH4sv5rZ4(fN*5>g~mOi*7Mx%xv`D^4pz3tMzcHxj;sBZsT;R
z4-7Nr1>f4{^M$kK&Ks`HFSV>^7HvwD(b?@%a-}Bu?4tS*zRtW)@?kqT8iYjoulK&n
zF=<I=zsY{W?DUBM8Kbc9r>6v#t}JATIPgudTXfo|Ef;cqc7A#EVp%OmjqB`PtDM_3
zZ#4(a@CuPIF)=^F_JL0=`NUuE=A#l%<lWvcoPMM7IqT-dIu75smrlO@yUT~u@}}c!
z?H`N3ivGFyEnVtYZawP<Z5{LV(c!+we>=_NPM-e5y(#Hc!L+2~_k>kl+?V{>uzl8|
zvPs4juU9C1ZHwDuawV)V=<~+=D^yZrJ~(ztvD)8W;`i{F;P&$;(~~C&6xC*a>y7`s
zu$<u<pOJ`*T9|-`<_Y&=pWj+-XT)6h&DqAZ_}#?~E>ho<5>95kiq+4mzmdUqK5XaN
z`I+k%G=DU*moW-iGV_7omu<VB-I`Ia+oYkOJL!c!L)WyGcCG)d7i5%Ao%FNhqm#qK
zTRk3*%QSWWYU<1T##zgL>weXGa{96D_9d?z-7CeSniUk!b)2h-`Td=9N0#ht4$-S-
zx$Zh&dA~_cXI$!|Q@dh~(7w6aO-1#$Bi2syer3b3QToDv<zLldJJl=Sda1KVw634n
z^7Y}R3roE%Z$0_-_D$8QNeR1`GR<#h)826MaIM-&*Xxtco!)h_OKG`+h{?aW!{3+I
zau=AtVz}gJ$)BIEJ!!H9EB`k!u3MXOXZ@I_DsZE$@XR&?sjk-tk4mm}Tk#~4t4ylR
zC#ya^^>c0P+1Ib~_~z{WJuh+A+W!KHGg>sSztOzU%d_~k4HE<3)d?cmkCXE4KiExF
z3E<KUpD5mIzjV#X{eeq&pYTnV(khF+G3B8D1VO2mig)GFdi`&mEJ_6y?=W0-fG^-j
zpS-40f{L8cmb_VakJkMA@uOqikqK%mzWy#R+kW?qW_`x{ML&1l6#2Y#=JmgO4Hq3e
z65xEdOiJrP$m@q?GrL)mS2r&>zaZ|rg7NofThC~P&n`7Bd7pLSUNg_FsLuW$wVR!n
z81J#qdLNjO)f#v{O)~%4Ki&I5@lR93&fJT$G$?SJBPjLnlsNmWjbXo5*B=zPVUsBP
z?$7J*wR27Ve{Pn(UZ4At^}xP!a&xA+7f#qXk?)-%$CmGzx6g>n>ldr7RJiUuLt=x6
z-A-rjU&Z&IxYk~%RypunqiUISmWbl{zY-VZwtTLP-YjGIb>p|3U&74R<@?NMpDXcr
zJ7rR1to<|opEm9bIKS-Qe7CBd@gaYO@6v<v?C-ocYCmjz|D))?yBcF&y~MFU>%ZS&
zXSuiiX)nKES-{NpV}C6U+V0J{Q*?dx`%{`PCusKWe=5mqcdmZ!&C@yZQ?je}8K^F+
zzVFbYZm#S6#U;_6b5BKh%F_83b6Q!#6XIg!H+tJ_-S1F-)1Xo1DerC5jP2Vhd&A_n
zhS~ScDl9L&<9e$~L~p@^MGK0jo&Q`f!X+U8A&y1Q?GQi5j)WC{^OM)?wb}LE^7zA~
z0F9GV#17~7eKV^1!?~inbP|uaQ{Xha*QqzY<zC%XZ1Q}yW5o4)w-tL9s;<phvwFq;
zxY@~T!}vZJe%*O^tItx7d$&9G>Ba23JELjFVarvA6C4WpAMN7V@LhZ3zax3et96Ul
z^M0(C+3OL0r0iGb{)LPQS;6<$cI&c<Mc?x*Sd<&4n^~9MsoZlYUY@`FNkxxr=+$q2
z+4al+%gxo(zGHit&36B~`K+g&YAg#5(%CDPds=1N)E?vV|EUi9w6_1_+xbf2_r&O8
zMG5v9=RaQ7h<{agcICwREbp~`%koTlU;lcI7Ne11UH#T8{}*Vc3GFWxQVjlg>(R24
zr<P{R9lQ7WtZ>!(n>u^`KVEL@{I@bn(V@8i)V(}S*@>H<XqT_PKg*=O)^hE|Lu+>y
z>$pD>IIZOKX1jEAZl102aTZaV)>VGI;gN!AHav$PUUxh>aeeci7R`_dmxsasS}e{?
z@%M|*zkhDc>c5t&>o>paJ7t;4d*MK>$gx9ukMp99e||V^fA_(!;C6+1>*dyOHedc=
z)!Wv@`@XW51E#hY{-3PIDY#fyVCBZ7wR6+ft=62e_V)(f_Zu|+KejDT6Xw~+axbnw
zPvgVK{A!Np6aKph)s*YX&c0Nz?w*tH<jbYpfBv{!=MuA!O#d4>v48f{7{4}+rZrEb
zCaVW-kDty|5_B>_R%xQtf)iT#T{(uWET`V>TPry6#R9XxYCN^JY#&m#e|lzcUf|tB
z@iguF|Hf|NhUqpkn|75=vgBc1%;a=fWA)Gd@AvKbC0|i0_;B-09;L;q<_7vcsd?!o
z8Ab|b#-^4~j<EtvSi#)b%wV#@2K9ROkjb|%nK4~jV!o7p$@L4>@AsB7I&%nca8A15
zST*(D63$Dz8$=j2FD><$x~jn>uu53Kao>xNcdF0-{l9fze(KsMca6`Vd6RzL*g7&X
z+05WsaEZeW=PLpQBJ&mO1GpBf$<EQ_U}0!H^v7X=0HgG5P7&7TKe_4&#?2K93psXN
zsjpX<VymDaa%&lr)56AG92O3zh1mo|*f_d8IlH_W8yOT80zTy{9CGGb!1SrfilO8u
zV-$x4i|2u5Jq6#tHdt9MzEJwFj-{Y!CqvVuNsspIKg`&bC%~^E!NUHcDd3!dd5Nn5
z2b+Og!$N^6@9l#MPFXAtco)RPbno81KMLk5_VtGjd-ipUKj3w>WbRS$=x7%|!uX-v
z$btU}+fV1-`3<}Yk9b`FJvDH%ShUAcPJrPSLvxd2fr`};;dcxl85XQ&?lCQ8`1MZU
zM|{HE{S12=?Aw_Io{0Ym-(`PszmVg@{mqUE28YhdvV3nnG?$?-K!Rn#`eldvKRJG6
zawuqzcMz!O>2x^WyvHFx;)ERUkG-V=4!#!!7@Um%9Omcz*05{wgg+h{Z^Ydj<1;TD
zU&B=%;I?C@;{y$qgX{mUbg)%O__Fgi*PqOF+A<G$zyGg(%F$|V@o&+?2QT#!xZ3SL
zwPdXNb8vw#%l~bbjsXmT3zp27u|k3269>abMr-arS_zL{^VR=+`zP0}nBz;i`wnKA
zizW(<0qz{Xnh(fxerjR}kefHb;s5`VKgF&J8XN@;O@R#69l|1hAKt&oFh25ez3Hz1
zasl!UrUJV5jtn2JzmE4e%V@P!cwlh9{&4;FhyynQV!b_^pYuPhx12gfz>cBbPSKNL
z{t^iR1q}@iHUV*QR+jpI#^?9@J;?vIe=VEBi}`o|y1V)AP-as2DbD%j<zL?;ultQG
z{`c^TKbSB2MIgi0nPJZVY5$oQXbAMw3IDO@Klpya|M}nQQ-8)k{eRy&=yS`#y5E-n
znf}<<O^_CO_M5%&+GcewTj^aKUs?|Qm(Jq*nZ2M?kuSi1`~PoQiyU4^2G+M&FDyN$
zu5pN8<mYKV*Hw<S3Vdt<A~$~O>;ApVQ^G4D!e{89uyFr7*%A?fAMtiyUNpvDEaw)w
zyXn3jN7bf(k>R3zZWe!}92El%8BQE#e&XE_#!#io^+DX_{3_-n&$l08WcpLU!X?Y(
zP|U+(p=85RXBsA<z~HpV(s|;#7k2d)|BL=@<L+W&d2=znU9Nq<uR}wFw8*>8Kjv%-
z5BmCCEEcS1E8!}!uB-gF(RRb~cJ^C8qupQZ{lE8LZLEWWoq)l?Lpn@4vhO|_?fJXN
zZ{oSx`JZLaoyto0nUq?;MWd_s-Ol}+`SP~?x}v<aozL{U+dQc=;VypX*e(>lkMH?u
zQ~%-|Z{)cPC)^WPd|R(A`$?3i*8XK#lYx~&#@u5^=O0@$Syn~bXoAg_W80p2n9kqZ
zCGcMGUe(8)KXwW4OjX^<T);eK-bADH3kx5Kezqz%m>*%ZdEKHmUHJ)W6RIQ9t7c`)
z>WfddYgC(~z4iFTn(wjO{Z2^5MODqVzVJWf$BuyA_1nYNs7-2WyX4<(nXi&Mp-sy&
z{I#f1bFAkVpPfp!ovq7`=uWDYe7*3;r~a3R8n2&hJ~YqQuj-Uy`4{<qvuZO1m-N)n
zRnz)kzBMcI*~cw#H`}wb@Y&kxQ>%`Iy>2Kpn^PH}&2#$w(Pe2Y4@^qxc3hn6Hf8Gk
z=vN7PX2&1e@d?*&`)gD9{!wC0*`@^(e0S;iBz*{;IB5oB&&Ap!7i&IxsmVGxo_0%I
z(7E*Zn@z7Qi{?-NA024F<y4cVXx*=+Pji14_+L?MDxKe$rKNImk#hC&eCwZ6m%X@I
zZDgDmY8bNjo6MrqecFclg;pmt?D=m$C|$m5%haYPe^|U1%{1_A<gC9rr}Lbc+cLR*
zOG8?cKA314w!W@oJ=}dXYvaY|n-=PBdMR}9z;SsszWkLE@6;w;TYum1&Cj~qW+(4G
z4shT&A7;J(@~NMRGv(UFyi_=E?U`Ki)%9eN){}smGRydv%QGj)y8e93{<H6+z0khg
zxn{CYqBYE1q7Nor+O@3d+S@KS$$G0bY(g)L@B6&@R#vbi|7V6t?7T$zpd0+Fy?Hma
zOh2${mayyXDbv|jB>Ajmcd&Z9T(?5bc5&a?<@Y&R*PdVMYUXq&cfZL?*&Y8^)GS%T
zq@ezAM*jqnxb+u#)24qpuGVA59i;e6&C!o#RtA^otk%!T7S?9MIR~C>6<^6+z9w>h
z{gxw>Ok-B<mY?_al78TptCzVmcz-pX-{|FZRi&;%lB52QO2R_@Z`Z;FFNW^_Uy*+L
z*dM{UUMupn{kAMU;dRq9g*$R#>Z3Cm3tJmsEj+jN!mhaiujkIX#?|7s%f9hJ?0ikB
zQwwwZ)|L6sYPim^sC%<_v8@{0;+(5n9$(tK=Gu|W`ZJg1-(<d?X`r@M`W3sQRmu#v
zb4~gZS3kY!_sTxTT)8O0<&?Nt!=*|5wsR^Teu?Wd?l6!${;_)JF6(L^-p1z!l~o4c
zi%d?}_2y0p{F*-7Yx@b_OW!YSDtPPlci~Eww6oTQ`pe`0-Pra0Y{#4BvRSuctX5}#
z(I~zU-1xapwX3>*OHb0TzL%e4{x^Khzt6+$cxZOkQ-d{M&IxnMzsa(?^GGwKt8Hge
zrT^JkCCr}}-TZXKU+L+##8U>wE{8Ak$K_V;*8F74o9S~YbLZDh%JNSu4zpi7y~;{{
zLr87D-}!yknOn+lpZ2h<-N#~mJ>clfhPH~RgMH@t6RK3EFF8DQj#d4=dxG1RuBc2*
z=#IQO;pyH9zJae6ST1?^{1m61IN#@=6OTw(i)_la$;n!9^TCVtwqYOnJf$6X{6Dv8
z+uj8KgzKxV3-9b&@b$P&ayQ@Xy2e9()7&Cbw054^#OU4>cJV~J!ultY_ZY9aiKSmQ
ziv4-HP4?&2kn(po3kvlg?cBXdo~NE=V&m&qDl55;R%tHU)_&-vq1tR-p}yRS3{mli
zFRj=RR=e(l+oG%mKfXNIG<(GHr=axEqthbF`<1#T3m;$qFHm?}iq<)K|5P)szneE*
zn{vs0TROA;eIA`Bimfu1Q~YbDUw`$6E#7B;zy?NRuO-(GXC9R=Y`IvoZ>emp>Z4Wq
z)%E4?)2AL<qp7g;k8)4>Nrr{LQhvTm4?pug^3IV*75y95h|er6JFg$#d$xXNT|<Rz
zmi6&pUAB3jpWJBkVVX8?$49Q4r{v`B=}y?PE$#HwvpJh?it{L09gJCfFMdWw#8SSO
z25FiT{QgX;dz#suDC4|9qiT-oG8OM{3omg0Q#_p_TfbgSdt=?6xvEK@_B0)GV|Xqb
zAF!bQ%aa2Woc@)tofrO<qw#U=Yc7L~GqQGH689GVy4+K*Ix)^w<5;7y^rz~l*ALq;
zxV^r!D$cO<#j&)lHy<6lkq{xiLh1IiFWrB5^cA1o+i1IrVcM*hK3dai7R$fAnjGGi
z{H1h@qtQu;gznT0^~ZBw)b-t;>r#I2m15bwd%Cfg5~hA!nw@YsdtTtBsTZc}H16_L
zK6*WNR#<9Ap6rBIPMg(dSSyxhh~x$Dos#^1`8u8Rhs2~9BDFrI{R^7^(NCvt$&nKe
zxL-dHUmIjD`+jGel~Bn0^YxmA4_3Up`)1MO>|C`P?G{Cc>--7UUK~C3Q7;yC&;DOA
z{X(wFqHC|Zwyh6nk4XA+_N9|e#giqOGLAbNB4uYUUL5#opYQL-FFlLp!k?Mnaj&!~
zmOn6U-^;)6<EB4(en)A+hRd?OyX#IYztF&~Vt#n%vd0!@W!KNQSnVJ=onLga#R>hZ
z(E*9U1#OXSu3zTvel^oPa^KD1+0%d4FA}*i;p5e<51sYjbzPKu{^-n(wHIupH3fn{
zzN)&e`^VJnj>O6Eh=yp1q+f6IS~+?jrb&nTRy4jh?rOMl#8qGI6Z5>|o=1Q7)Ml>o
zebDk<UwlJQ347TymaKCUE6M{t3r2)XO?Y#HmHFwh^>J0dqjg>-HMT6>?ecra&q_1j
zCf53{^2zs(Ed9umbG0yU%dE39Ymcm&9)9?U^H$lHXEgs#v;Fk;TT1<k%|D7mx_Vrq
zUNCuC?tb@m*>!ih3qLq(ax&sR%)az;D;Ix8Z{W_O77B;lKh=t^*!BFLjCXcw&CQ}k
z7CWRud&Td5D4UwL&$Uo_?bhAQtgqL|U*4g&;g|vEN5}fUmtsaP5=RQm?b;o*guG?F
ztqu3YiZ6a=7?;6O)cJU-x>MvM^(ua+$VQ&e_RdnPtIj@I82jXjVV!!k5c6NgSk)pv
zbG?0PH$N)w^-arbo<D!xB^xd2(jd8Io_3ygGwLr-tM$J0{@ZKc$r(?dDm2<%dA#k(
zzcVLpr*g2p+q-;HeIc{lW8+!=TmpJqmsQ_N7qQc0&HeLZkHveviZ`sU)8gd>zhyl;
z5K_X&vvxy^^SRl)KOS^k{`Q!UZzkvIK2aHt`|B1QU@eT<SK%SEebtM<%lQJ`k9M^1
z)Js40vb;7wBI`$;-x=YHcU(KndS2ev+xY(Hm%5fWd$lXWn=Ph!yt!Wg&8#G<tNi>^
zu`Np#_@2)1?X5GrwmH~;MY7oEA79>{z1k`*sLEsFmU7r_=jro7zYJcMw%+AF93JpX
z;TG?A^Yp)*J%@MfI3eN_7+=@D!A0lS%5wc3eRh|{XNkN?oHEanBkQ^NuCUPFW4m-%
zLq#85JlI%Qu6;G$V2zP&SLM_l%=N1b%>SHvCT>^j|2p;c9#_NM#C`*>%i=e#M;__7
zt+iiv-|B0fq4SJWwO79{)O`1DYu266r}tk?H{Q!<^JTg0u?LSnSRYLZj_8||cxP+L
zZn2>IR@<Mj-QK)($9>(`1{O*Cx|hG2>XXR6bce@hgCD_r+1wr$`|4;dv-o-~vpBy!
zqCVq$LY+bOvk%c5tRzEIBAy&-e?PzXe&!6rOn>FqXT5$cFy7|0W@~Z5pQ~Z4QFXbo
zRT`~RD!*-XUD5utqv)o|D<cJV<;QmC$^$olkUj2s`Nms!HpRy0;lYfX%nNV6xNmH`
z=ocf~UW@n%Hz&EL_HZ^z&t7?lg~!J4UDv@qrF-tyZ(`I7by}2i%6Z`<%ll~@!F)zp
zv*(?=Jelody=Z{;^2O3wvW#MB3wnyeZzmc4jC`?IvE|$rlh`9{2hS@?Z_ayn{C8Af
zhg<8eUt4=7Nbf$JdvvA3!%e2ntJcSQ^`tHDkK|Vk<-WaQa!d;6yc;K&SM9U;{C!_+
zw!4y6P28ew?@j9OURC(yqxt%@+qrc~m7+hhjxV16xLsMrM>~I-y6dchWXZ){lhwYl
z#!Fb-tL~4lJ!GAIXTE;fu6uQ}|Lt@yoLTxQX#4fU{w;5PzuG@~Kd+4S=bY7>?>)KP
zIz6ZVGrQQ9zPpmX)uDCYA6G2DwR??8L2PYV(TX>FXXUv++r53p4)=O1t)GP~+x8Ux
zO6pO$Wg#jiHZSG3U}LnENY&RHrg!H((-l1#X|TW4yIqD?yXWAF&a?Ru%g#(O-4|ms
zx#E3Qx!TWdJ?~xD%~KcD;4R<1WY6OH`%4}$2rs=JaY>w4xXSa^qg5+1g^!koe{WJ*
zadXFq&%LR~nD%s<naHuLYZtcdt)Fw-tTEAG=3}lk4UU`2-go`I8qjd&R7Cy9%b)#@
zdEVM<^=bCoR<C&`28F%_n|%%@$MbEEUE(wC<#hqi^0eK4XN(SiJDM*ov$V?cRWJMM
z?Z!_#41b@#zqfE>rb_#Kj_4DaqCZaRuXw|H`c<sUomU&$g$<AVw%?VVe^T@KCWV84
z>z{f)zhHg6DE=Y$k*GJU$J`x0c=jBt;tyQZ^*!o!t8bw}B73aR)xN{U^;bn!J)Cq;
z{hlJX$?C|IKWjqLR!5)Pvf_@heRx=Sc$oCWxlvkgoHrzUA57JKnVp*RnWy#f#L4o9
z&YzpN%lIHq_Wb2ib?3ScZj0AlE>vK@^J>YbIrmiRzXmS9wS;Bc-Sd*Jo2Kaf;A?$Y
zeP_0l`CFFyGW*P#GuPS75!n8?G<(I57Z#<D{qimfvYUVXs@$D0Ir>BL6rQ_2b6#&`
zm{-#}L7F%G-iaNLGqc~u{dyJku=RcIxv#g{bGrXcEm@L!=51TgP9}%4Ctd!pS3aH=
zB<laQ=lEpit5cclv#&f^G<ly{?Vd!z*Q&3*BfW0<FD%~q={6tNp#;4k>4#pocpkl#
z{3Xd_mUq{I_gCDlHS1L?FP-9ZT|IMqyUiWzj8`n0vFkoxJ(1zLd(lBb54MnB^Q?~l
zob{=>$E;lMjnq2hIrDdx`P@utjrnRkXYF)LRp0WG(%T%fqz-k;@mADtG{4R_UweHH
z*Xu-+*Aa@+dwh9p{!U&w@onzoQgOCQ|B4^;u7-%ru&az(|LyFTLk&;2ev3#^@elny
zB~{&Jj+0!((V2B^?4=79pT3qkrL5@a)HiC+w_JJR-PLSc^D#I6*F&DG*V2!2+VHMC
zCVoC#*Hq#SYw+xAaoIe-wpX<CO4Z+t@=Loc@L9+vJyg4X{=$Wu3Ub`E-`DlLw*I+g
z>ZOF4zP{f|GtNI~2ogDW^H5~tu5Wu9iw`I7b$czAb2f4J+ZPF`dz^){_CM8h|D#(o
z^JUML9jhlq^SfTSe`;0J<|vuB*H?S5;b-psQ0U=QDBdhLg?;kcmz+DT#G3pB=0!a^
zRDZt7W4m<!-mvYv{hGJf&-nfPm7hNM>GP_`!e7YUu9<GMeBv^d&q-cg3TOA^Zd9wa
zj_K57wO@9oNonH!gwWt9yZJYlSV$eHe=a(yO8oViD`}5iBf8!!aeZ^%`nu+#-u$Fy
z+osaMqJ5jTPQ3G4@!P40x&67FRsnxYy5zpH8uUG@@BVk`%j(I|{C?-3e{O$K>SR!U
zh>Iua=Fvb6p)<z*rS_S*>JyJnK3U=RGJIZ)PQ3IIeS4|p>0c^Jdt~BjgX``n++QmC
zElR<)*Y(Vl{d^kRTbnCSeGa@`U?t;m*vKZ<RCBj*QOloQd&HkLU)U5mcXf)~*L^~l
z;~(+YOcL+8C0WlYq-w2W5-q(l<H1Tb?aI*D&(FFXZMGd0k(~86X<O2P^6cUr`l8oW
z?ENCYc-=jmc~)e3e@Mv`Q^Qx8GSv>TNx|Vd_a1*y{d%gmvUAV!+b*nIEq2At)}EtR
z9+;Z=TAN|f;*U;0F2?npo#DG*@!5)>dpZ98Ou3a|p7d|WqLx|C^)<?`&+QhT$zdxw
z{rCKjbww?CU$=5!3pgXZe<ELsl4VcD0_iV2Hm5aB`90T6x9{$VS-#<vP~w%ovaUnx
zUi=Tb6TH#YX`#UM?4Y@9GafR`-ME1_gWbmD3g4fQA7y`U1gjdEo3>eeXtDjV%in3z
z|Eg_ozD~1UJ6&joy2sXT_jv{N9$QRi$*NUmUCdH2XDqimdOhU!q)G1`m!4IBC^7q0
ze<OQGY|E6pYrO43Uv{5v-7zbE*EEr^l7zm9D@84P@1$!iJ*T?x)kH(xYRl!{9i7-8
zKKR6F>8|4=rRqMTbbjAAjbx#ti4)&BsGeM`6<5Dvdt>wTrvmB^@8=iGJiqqKN1?v!
z*|`IPnfG4rWLYJ|9;H7^ecFtP7Sklt?Pu;0d?&Ize)EjYA-{R%b*?_C{I2)=PKgN~
z>twHQcv51$RO_f+xAg0HgB$)9Q^Piy`dnG>A^Pv$(X}P+I~30d|C8$edbR5r!^dyF
z`{vs5J$ZikJB!cEHThw3ZET-BgCx1WOwD;^=1|}C`N{L$?Csl@znYb2IO&~Le!|To
z({9O^J&dof-5Z;_U021p@}pjI1N-a}ao797k?FScqUC)Thkn@X6u)qWuX&_#$xm&;
zRa-LeajWYTJ!8yW-SGEU%KMG$W=dT(2>6oLb3C*-_(V+5IYZ?Qk3<_v9xYn`Geko4
zYE0?num?es^^v!v4+LHN@w3D}bDBbZ!HHQ}QR>$$<&6(cnzO1gTTW5yo!8b+#$WBC
z1=hKpV&=J*HGgA6aEk7w^z|;v{%*drb83~d{(akR`+Sr2+OQ<y?@9)DDyFN??frRX
z?Fr$|jmNgUE8MfnT7H`D{U0yZZvVN4k!AIiuEf0;#A6L_aD0DPzjby;AnP%sY<=$I
zK0O<5<oVT=SA7W<ig>@m>VW3kb4tI9ZwT5PpZ|DO-<{ckayL06`;T7#U$^D+gc^zU
zXKYn3?@wJC6Z~dfQQNnzM$;O~?;4wX-C5Ot_}Kf%c!_@rb3(3J>e_hbE&O)!%d!7g
zB2Nh{ytZjh@$9)T484D}Wv#kXzxzZ(+ROGEDt}wz>~HAJ5X<&m^ZmeP3p4hG0%sz`
zzAj(3Men0_sKvv58{0MX=Syn(vmZ{$^4E^HJ~ds9PiN&+*Kan_cYjSZ`@A7)zQ0V;
zz2mQw#Pp|n?he@^`L!@}*J7Dsi@73ua%H^FZgQ(yv%OjF{SnSpwf|3LcrVg;6WUvE
zzhl|_$EKm)_jO86cTYI*zUcCj)SpExJ2tpv*8kUeKCQHG{`-nkJlbY18-6vv?s*Z+
zu6*=v`<%amT>m^bZLdB1bQj-Z^Cx<fv$xlX+I_#jW!Ad5M}Pl$FAR6C5_mJeP~-9H
z6#Y2H<h1XeIo5mD1_*xrry$#Zej&qe=l18vzA@ML%qyQUKhmiAoTbh8cIFi`p4xHz
zXD~Z<|81`Rrn!|9%lfm`y3hZgT9=eP_ureP0xJV6{gpe<-`2OT@VVIbw_^D{FF)av
z*>A5OyT1N&QN%N?M9XjO>2;UZew{gMpD};P^Stu@oZ~yHr|f<uv@hsD;ETo$`z!V4
z%;S75+vg}bzrOxmax%xw$G?;w<e5}#-1A}Cq^I)&CaXIx(^7H$(zHB(Azx%#=^4jv
z_sIKE-*i7;o>sf%q4%xJhpmz&D))K+msIF%yT*ULo2|LTvf{0ww0-Ng`^>hdnr?hp
zyZUQ!*45mYd!-#SFNn-s^DdT!Ra`Z`L#*P$o8XOCMAp7+x{%U+r+z}hmpivZ#3t!E
zf8O>y@z?eHYLi`eeEnOu<zsWSU(A8b&}nbNwdJ2bKdvcMzCE@4$jQq(?^8|Z#qP1a
z^DI=Pl|OskilfW8pPY*CJ(jjs=w`!&KfP5<<|#X0GCulz(qQlDtmShXN==zLkM*#A
zJ+9`kr>y2%v^vk+qdE85{Ds%NuYcmVOZKX7a{c|kF^<<JpGt0t$T6F;FJ;&K`rH!_
z&Ba~TRvElIuO`%7ecbPFmQFa|&ySytwPp2p&ST;)`&fNBKd!FkSFeQk>>V6O?EP;k
zJ2<xr?tbAd*QI(vG0NMDFMda*$ew4mKVE!|)>X)hdik%z_u!u&J-OWWiAO$5eA`p6
zn*Q*zX{DFVhcm0rHLIr>hUIT7dT($!`(2)@*}j^E%l7`({d90r!i&|KQY_USZ)E1r
zFQ4$i<<F%_zU<cmbnQJw|FB=2Sp7Y>DN|>?#EfK->&?$@7-?>vzPL@S^=`+OH=h+6
zPVfW^K4pqrbJNqH+<fJVmF=51zrQMXaGu(|*vs{QnWgu1%PeM@Xn1wn`-Q8|&t2%J
zKd18j3UR@7Cf~RlqPp7{rM2Y`x-{LCZsnQ%dHb2N%*AGZ&)dJQeB&AXn8|tC6|e0D
zcYl1E$IO#oaR29rpr0PIt{EBi2Iil?Gx>|u9Y;G0*~;}_+4RbT?z3!uUst^K*NJZn
zd$JCPJ6`6x%U6Hl;ttWhZpzw=4v17_PRW(H)pU5B&tk<}$KIC|@2#9|zwv^?uVQv)
zg*P8=r=I@2=(u%uZn5{~pf=@SrdQuRlv!DK{l|g+eNR>%;^A{P{<iq1-|IMkiL&k2
z_RjjWBL2;#%XgoMe2shH-hM~D?5pn`<pMwF*l@e!f&V-idzbx>;;6qbzkJUk#rMJy
zlb#o67fa+NSsaVvKE(e^G3lz??ft5Xq5ehur>p0z-@zpoX<PPmW!+Rmvsb${E7cr7
z{(7~gI+^AEp2>?nnw^&>87EEEjI=2EC;BvVWwh{Vuk?QvZ&%1FSl6xWPhQkB^}^}e
z_>Bv1pM5qp<!oZ`-qp4WzfRiCt`FRD`pl)Mt~rSuOD#|2P5xo4UV7u&?w!i-Huzj!
z>>2*nQSjT_h%W!D6J07;7Il}Wh)9MB2S0mLYPmG8G-ZFpA(j0p--8zzpX2!6*U$L$
z@TRR!=Iyzy3X0b~U2{%PiZ}UkvdUcSNt@lPo}YQqL3jSi^Cr8wai!*^6qgjGCgyH_
zaaui>$;5EFpe3USv!S^qXo2c<UrR>zdcTu;QZCorRe#S2oVM`fxfE$0*A;1%20fB#
z$L4utefXrbX<EQZsg*jeTHc=9Hl=l+n6-41%IWeew{O3Hd;R&($2;E_&n=!?yzaM*
zWTtk{Cb`BY=3dQ|T}Coomzi`r=UK>0v3Z+?Z)1$D?Yp>9rGaxr;?9(moX!%VAMWC6
z84mTV8%va0b2^q9*XG=<Vc^yg4QOR7m?7p9{Mw+WvQ75aOOJ(FjA0>*)KvvGFuhcm
z>Y`$-=*)HRxUkA)L%X;*6(x@ijF}?xT5?M=8THO^{huRgu%Lo9pmSYbiNm>b&sz2@
zT69UDTc**0VMoJ!js%WN9qUpaD13gvJxL=j`sR#!5j6$LB}UxpIX|OzCiHT+{0h6>
zFh_dsyQNDPJ$l;2I@3(!EUOpWORZ05l6p_DFn2u{W9-fLws%$%Jz^})9q@B<n_Nnl
zyyc7j3EUHXe%zBgc-;GFpU;<XjQx`Tgb$b${@t{*sl<VI8JF_`6UGbD41Yi7X+^Kh
zW!`h(y+Y0Do_bZ`rsh2waShzlT$r0X^%OoI7j-%OtBGOmD`qzKzwr<Do9kJ~C<uHk
zVPM~7H2;aX^<|!2e|AJCybM`n|A3?UP(lI2wy%Gyi_+}$8lBWw{}gRMQq|PZ)w!|J
zmTm2i<^TSFy>flILFUwlQnMO1t$LQoz?c55Gr;<b_3Qmrf37^L-+h(K`_J;Q8~Ue`
zQ^dI%eq0m^K0QD8XH$q&aTw#y_ltG;|4hF>$w~c@qr<!F5|#(AB%I+)`uCt-X8r#M
z^)j387fbw};BkNI#NUdX2d=cR&0vmRHDN~g=A}G>|Nk%AFwZ6Efc&GnavR2f5gqj}
z>e}l!yq*~Asjz@2{BNSlrJm0Ee+mb?JdW@FJ7ezrBH?}d8X2w&1-FOIkzB;~pLcVq
z@*~?53cbf_ro0#MQ2R6ON=MIffsT}L2IurXjcHy#u5Vy{T)QG<ncw~RF3I1Y-#MjB
z<7oP)FmLtt?xyQ}<@&tqqckrHe-4(*whURFw|&b?<<c42ZAU)I?fN@&X@~o~8xQN(
zxSrL%&a-yboxXd8cM>-?KMk5QBe17!KD*O?sZ)G{J2-Ckb&1Svyl0)X@~H87#p~M`
zR*Uxbi+S#|%M`fKFl(}2M9~DxtP4B`V-|6=daRivGyj9z=1xzsI~tE%{7X(Me_PXb
zc2VGx;%iYkvc3JhiSH77Qt~d(+VpMxre*3oPuHhSW9?d{m~OTE)tAbvPF8v|3od#;
zFHGXAl#1$~ogET>ch%Vv`OP+gyF{mITK|iDD*FA{ZnsuGIkSl^6`hRpVwIHEKEHa#
zc5C%VnWW6QH%qU+E$X$IWqYdXiSgwfN&9O9n;R=7Xa07rIdjwZUhkK+A$x*yU#)w$
za7Rs9X&+yGy<Wxji5D(bPfAkQ_V^ypYrDldfAiOOUku`3@M_xk5A!S5cyg4@cI>}g
zbZ=3u<;+c{OkxXmN8i#+xO-pUr}M>;8_SC=<KB2Y^5gG6QM+fG(4srKlgcu0_bhW@
zHZe?G!QnSm=Km^{sasB6;QgF=;Zo-wt^Nzz0?r##O=hw!eWP=>zSm91y|Zxfgj>Dq
zqi=@pnI<J`A~z*HE}eard`OkBw{+0NL{2U3)Zby>tW|C2SzPFMNDVx!DzIHWcqRLP
zuK(3@TszO)lv6&hE2JHE?DWr><%-`w3#{6@AfWW}rXTD54_;1R<+j1mYx1G<Yvpgq
zRWS3Z9@I7K;yuh<vA*N-)X(*8RYm<tX2x7Q7=Io5rf`qTesN%mIIDScwPaVCZjszQ
z9=rW(A8MUai_K7S({21}BBtIm)pApn$)}gAJvQ$(%$?fx^?gh1KC=t6C+z+!op(Q*
zFFw)#fL*oXiTY2A5`*3tWG!x)#(4VympRu}%h{q8cXNLw6+M`Apup<<!LH9m^%t!3
zlUjaE%<x=TSa{;D*R|h&Z*rWoc$6f0bYaZPPZsk3FDqO#+vxo2^J}TiPsMUoJKvZT
zZgW}Ux3bIsyz)GzfY%4!n7$CdeCFe)3jv+2R~R2EP1HW5bCYo&-<n2=xa`WU%lnq8
z2CS~>-tlg4NaGFuI>Y5hj1Da}Sns=KNAbEn^;bA~t4n#O+W7td6!5hqFJ;^LeYsp8
zYqqDpzE&0d;K$D&Pc@Vc+rMvrmHpJ~+VeAaqL_4(WY_j=F6lPp%-p7Ek}`YC&D1pt
zst*6_g4N__KTOw*dE0H$-4l17<J2MNluXIfHthXd^LO+pde1sH$>sd-zL^uscc`+i
zba@@D%2iOWeBot|w@$nB)@gSI<;x~dQ!Cuu^o(&O_pP_9(~qB?5*@Q->xS<1(|4bl
zIOK2b+f?;K_NHp>O22cf-*FvN+bZz$UV9~*cEMHAlqI!2%hq*t-8xenSoi6`i#K0{
zEvIwmtD8NGD1LQtpFqg>b+2vIHe33iubpMS`PSYaXGN`NNPe&H>Mgwye|O`iqy(J@
z(Gd%$+>(`>Exq=)?G4>kahq(bPAYBwWoNW{$(NbGS2yoVSy;0DO{dO}z~IP>=7MG~
z{ijJzP5$<?ROoWA?6K@lP3_jn)p9L0hZeeh-t4vbSmMe~kNDID3;ZhAUfq;?W7q!s
zPeW=ypG{C-n6kOpd7fe|yH&mYaoxRlx7>M=bf8CENB`5IRo6uC_NN|~uQ?jaU}<N2
zcJ{j%1-Us}{??odFxOJkt9bis%RTPd>iTCsUl0Af_oI%%#ibFp?~4Ck{qs7%$zXl&
zgxZhH=f#p@vhA{7U6Rx1x?A$$vrP4?dG)DJ!X8ZKIekpyhMc5xtm)g1S$m7!|JOfz
zdi(R*#Zr^h?5AYk2sridP2LNgqaQ-Gg{&^zJ+N2)?RBS50TorrH5&r=Ue4IWC{$au
z)#%)U*M}w>|D7!LX-+-o-0dF{7IexyI~LE}_xkM1IX8d)Jju7)uyv;Q+=)(qc8dv{
z=F4Av9hxX=nPdC?lXLjW@LYwpdLCNNY74a6-0M|j%@6&M);F?x``_ezX7WaFQDL>J
zPNfTzj!2a@%qqH_x_#E>AHfehI-Y+{-?3@pv1vu?e_a!=VUCWuBInLqbIJBcVAI<}
zS8dP#`Vr6fPG?O~s*P2t@SP`-xqkVZ|7GQF_%w6bnuqhdtrmrzEn9iTyQa8KNq1?i
zra{Xcy-Qav)z_w#?Omx*c1c*CXZH`Ou>9com&N`z-yU4n@7nBIrPy<7-?mB9W%IvQ
zsJSma`RJ&}p2fF!bMSmj?fTXEbc3*N-Di)7(|$LeKIbhw!F%<gA02-WT31~te{l4B
z(t?Yo{AzEm*Em+cF*`lW!h5~?R`bGd6DQ0&`|0JO{AuqQ|9^=2T_5}1$?Myh5^Kpf
z8JzO_Ul#6tf6Oe*x!5tLbL$4(RlyGX_I#aWcdq7)+|I)2kgxB`CWqaQjX%PA|Nh+S
z%&4`CO8Nd<#lJi372EgEG(CKMj#uIGCl}Jn7fjZuSDzJ<-YRka?8_ShMk~0bYo~9X
zmh09o?LYV9#AWAoj+)H#mbh3|zj@6Z`z14G?g&1)a<@u#m${8|!R4@Yx1SNtOs5^T
zy@)J0AtqFFd46rG!KbX>-S13R?DdqazZ&>m)&G*mM1%M?R^<t*tW!lg3-YGlQ?V_6
z+omCNe}>G5ceOWG72HxjcYmkaos6@tb>atK_RX7{_3TR0V$(+#B^E7Wi`^&?o~K*C
zSuJI8<N2xUCv4eyMp>xX+bDjS%-X#5#o9ORIH$H8w5>l8Jx6I(;A4YX=Sm~YG*2CJ
z691NWV^&yd%Bm+82bZ?<S)b;(VI1A8x#rPS%Qc%`?XZb{ZgFqogehFw`N08I$}fIJ
zS>L*I+~KW~^z8|0aW!sCQ<tjhM3$}nXwtIx@2vVrerfZN=d-1?*Vpj$Gq>;_Rh(Y`
zs4F|~TC0Bg^mM6NvIRGj_hi1k;C1s~m*3IEz?aWX&*FMHgXL-J=V`^q)w;Ov`dMX)
z{5-u+&(18`eEISy`Hgood_x|#a&0X77VLigW6o<EUqj!h^Xsz2Zo7T?+W7BU&!yAT
zr`R!>?N-u!Uw<^r?dbcQ?z_+Sl{j&KKk-wy&i~7k)X8P%(u1XV|CCCKbR6q@`%Cq6
z>s^_x!5lZG`CH<2@-CDweYWMt{>GVK1YGXy3so*Ik?C3gW#RNkVSV2Xez`69RNh~B
zZOhTLW$P9)`>4-fn!;t$S8(^3<;@Afyj=6N`JCUE7oJ&Xx8D73eMi^#)rWb!Cx;6&
zm6<IKJHOmg`^=rXxYg%Y+FT8Kqc<hXqq3ruS9WUo{8!@UnX|XfGMV3WDb>6$`gqgF
zyA$&`b#l(_e3q~6BN1pNUYb9nJDP`~_*#3l>W{LuUTPcaHrf8z`nA_#-b9B_F1|M0
zZ3`_bQZDqoyL;2_;(do>Y*XuRFOlCX^!uo3b6pqL$~$!rHbuM;zVjztPF62{@r5YC
zCvF;_cBZcVxkXm}xbEW1Pj~VC<$5i?ch?fT=be|_CNeem?3LWaG&wW&V{hppwc>fX
zyyhZ``_v{amPq`yn`ip3{_LnvTO@?$KU(s>`_1KW>u=|ylX%{Fy*53&KEG&1QCPif
z*P6f6Ol(heY}>Yf<*MLVsb?vv79~>;|K4^=_gF<sLX6Wb(+d*IG9)r)1u?AmtJxU0
z<od5GL1Ak1)ek+0y<BV3{$rB&1zD!1<);qaRd%uZJ#*QgF8`WOyPtW@eEzt+i{*^i
z&r5x&`{Z}#*_PbTTyXqaSY-LCeI2Dgl6UTWE?9qX(FXHh-M`Oo*L!p+L}`!g+N^j%
z{koi)^SVszul!Ry{`w%R+~d@lZD|^fZC+9G{|j#X_!S;l!s{+^IHe;_&hLGfn6kR4
z>baUXs*1D3`*bCj?3u_l<+g1861#6Rj;vp}Wo4ZI@#*%vI|biboSbxUndJO4>g(su
z51JWQZCk}OuU_l)H;em=>QwTkg=%+A-|@WZ|DD1>`~6YAeTQTvl8;}W`e1IKpXXP-
zpkGxS7kP~Z?=CL<^mXE$Z@<g#c8O2CZ?|{OzaKI`R~p6ry&zsLx@hr{!we<N5>}o`
zr}q7JO!7ZCb)C@3Y6-97b*p-vettX5ck)X5t!>F_zqNbLots_cUawV?yG}UK^82G}
z&wQ@7&MPmgcU)fJeLE~V*mk+ZzCSO8m&;9ln_pOv_SGvxjmJm!WOmS*n-6@hF#ND;
zQ5H;}&?u|fUg7e?`qZ1Qe|<KB>kdv0ddNL<kGjR2CsP&9q&A;_8RaNxYY=xr-+sDy
zNJK}I)|JGx<%f>ztWyz;GrCtVe?aq*%9o`b-%VwHvt=v(U7Y_uwNPZ2`JJ}X`A58z
zMD`rjDXZTz)7n`1*0t@Qv*Mqve)2@cac<;}7|VnIo0!x-Y$@3@$@aNl@zuRyT4%3u
zdv#9li1R;v%yl7SeC;~c1(rfAT2J3e+Qsz$-@Se|)5UN162nrzR<YFFn4T`U-K5_1
z*TQvTTbJyu)45#Dv3LF&ofq7y%a2~FIWNibG4!15^SgzL$G={jEi33f<A`&Ibll&+
ztDJ6Yrn_&I56Yi-wzP@m?UGM2ZnNJ;n||bvdeTt(aQ1~}@9y;D_k^;-l*Nv1`F6+M
zEaFS~O6hIuKI}8+la2oO`ZDM0=Ae0pWpz(wbJbU`HD@@+c}D6<PxS9&7oVLu(PqiZ
z!zOm%(cdS2x6dq&E1fESl;4)^v-qSPE{m&uE?>_1&YPP3ezLv1)$C=5GyZa<E^c?5
zyoxPWdUICW>96rionnr?xqbWi5%wQFi>Ds9ntN8y{4f8a<%TMV;Rp~bKPijL#8P3p
zv?pUbtEr)Zf#LM!o{X|k=1EV+2TUfW;9-gjUW^>|=hq*IetWXRyWzXva^r0>)_HGk
zOq_J9bM?y$B03*kltL$Mn)ByZ9e0qpR*|rJ?F-2$HNEb;`T7xh3az>_3u_dW6=kC}
zqCNQaHD#n9ds!HXoD%G7o~JD%ZtHImrxKzt=R)-|r-yFy0w#V~qFeLOavz6FLOYW`
zOJ0!2?edn8`ixsa4m~AG1;;sdSV)A`{or}C^mV%c!%v~613^_U*csR*BNjQG7u93_
zyre)<NMQ$qu*-vH#o03}4wa_<@cAUdUD)z^w?NZUM-Cmk2b<O{{E!o$D3rgZocRI&
z28qW;Mf3iC;{N(lrGED1i@nU!Us+_AUwv>rzVg}I<ujL^u2@pPa(4REbE|}`j0C@y
z%sk)iGX28j-_NUN9Bco1nAg90V*1Jh;tRFc8b~!bH*V!=_2l2AlkS$L_~gzHx15B3
z(vuiZ@6-A8(B@+64eOmY!s?IrtU0yBBYkRz&h6XF^A<kVI=gxCj!Q}JU!<oVUORE^
zlr2-g%)k9g{r11i`R6`A4A<bPUtBX?=C*MCo3mb9H7<Gm-?%?sdZ~C}!<8F5vzb!w
zeziCub#_5z=u0K(H9bEcEwp+W&fp?G{khY%Y`JjLElfLuLp4PYxvn}e?R@S|@2j#R
zyoVZ^D_DONMx-69@V<~3$5WcPC!7C;>f9i4*_N9O3nzq__kGe4k7n4IZCR0A9#PN0
z=($gHMZt%jU!QMxNzPk()7>g!qkn{9%Y)tbH2;4)7Hax?X2!;dh>lt9?Aj-nhn%UA
z3ct+BYdZC3?A8NQS{bjscp0(LSGUD(&kCK}$ESU&J^eWMz2&t0-~Pv<Qs%lwO|#m}
zkUz1`NAqmkuY<FC)35CQ^8d{rPWJw;3M=1I!}{}X_dBh6be?KHw4U~4$`f~<FqS^i
z8y7DdOlPq5TJ2ert@{13-^%XlSc4xoJ;b|Bv==(fNh=rYxRx;ckHhu%_6mwoj770a
zVotlIoqjg?<OA<j0g+lEN?VqyPTX#`qHm(#kJdff*}sxg*k4}rJvTM(uFI{-b$4Ba
zCOgV*FR3l8|7|b9s^hoZqoeIX$tsu4f|c&7wXuoJa<Z4B|0W1Y$*gDM-dM4i>74QZ
zV~>9y<iA+4?dSWSO@<$DZ%GuFdtTmgBBt-NME!!CWo>ef47C@Y{r8UR_h9_``1AeG
z27OZ9j=}X7%^Q{;m-_zgM9|}H>NkS^a4#_b?<0Rxg+cUtc2>RI+MQBXJu^*teRJQY
zY8Ty|WxQj}nu~5Jw{=}|<v+aHCjRQ{n)Ned*KN#R**5?04D)GXztvaY`hW7dH+S9J
z%;1H`4R7?UeZI{!?$<usP1){ikIUaq)M+iu-xn#j{b%^`%a=YUN~}%G%9ZWOS@*E)
zg3FuzyJ!E4mybw|y;Bfof2qFo<s|WCzpdtFz1na2^X-SHpWjvf-@D~yg;2lO!&xt#
z^(3t|+^r^_SKX5GyNcOLLwKD8^Z8|YHq|RHU)&*7_d;Ov^O=1;F;;6IdCrnaS=@Q7
z!TYb5f4zI9&-Jrh*C$?)J<e*!S}ihN<LISNk4@GcE9uUkxGrN>+UH4W66f2`gx8B#
z?Z}@XyFB65kLc1%$x?B9E&jf}tGzh!%Zw(CPpV$^8WMjNG@Z+1oxH_E&FW<O{I0Cv
z&JWU4U&zYrssH@!=j)OxYyIDaW!Egvs2`Snb>e`a>~X#Vi32w^ixzLS^U8g3c<)p@
zFE-uUH*V4|PffL&xA@vCnG1@i7I?q9_+I3)ZoTT1C&E{ZoG+EQD@z4?$!9tRpVC+^
zDH;+q(=NdE>W&Muo|(umdT=Q<>XNPQi_dMoF~4W$7L|T|Rdrd-)^^tWEuGx5&i%Pf
zhvz?EldBYMHc@xBg>|k_RrX|!<++peWG`}CEfWq_-nYoO%2(Xrva|$Os$5U0t9-(S
zilu*Um8_^=x_qPIf<!*!drN=pzHXrIwLfzXZ@#*!j`cqi>DM`j4@Az&jIfM1JbQ8e
z#UB4M;o9)4YY!Ey-7fss^t?82-S)zj;j+%zHcOXh@~*n_UEt_EZS_LSxS#8zp6JS-
z3k(rYog{v1$LB`7i|N1Cbk|&7|4RCARneWj@8WZQPp#c}d3(L$?`uz+Yk%zB_cmeE
z$Gjc4ck4gc-BSB`g3qIuTF0gf#$9-}uI%nx<(O#)tZ#PoUD|CuL+9|rKW+zi|EMz6
zu{3@6Nn(cS!izuleoT1FZ?>_}-1^84w%=R&q#m0*-e)z>XNu0=TR*~o+?!t5edPE;
z?WO|bD$94i43A&<$|t<wo!?!rk+JE(v46+YxXp?g)FXsrMU~P;RV<QLgqbKkXIb0f
z()m0mhoR)~*MA2sFUGUm`E_Q=PHA2n5Iy%$h07(ymaB)~>L+Mx{Css>rr^?|H5L*R
z*v>s#rfIv&tNrQ@k!3!wY8UVM_C3QpW{WCc<F0AX*F3rDKjHh0<%@N1PK};qyR&}U
znX=ffb^P_GJDypuU+!>o?#As4ETRLh<f**lSNOSHW^?PY+fI*jcDel0ws@so@MGON
zkt=7P*W7noe<?9?{_)ukPw#}^dn5bQb9wwx4dEZVCcVG=EiEGRWNqTBd-od7UCNBw
z>N(xy^yGbdt0%n|y)CfIP~?m|@04ff&YyU?+r3!s;ECYpKLalB4vIgsnsbwzr?~Ol
ztJ_7BR$jgT_t=5R=>b8Ei2*K_uFh`8j%J3gZmzE8&gM=QuCA7*#ug?<P9_Gfj%IcW
zHUyQ#LN{?K7@C+)XAEZ4sNc!U<S5{Ban)11>A&|yPI7qgu+cN9rNNcUrLo14gN1>G
z@lWBre=Dx)_Nvq>Yfh^D(XlCX=ZRZ+hc@$wu5h{=B*SKSC4tLW;;@X`h6awH32i(n
zitLrzeuwrli7aH{m2eb}y3p2FYTMqs?(2^BSCQ*uSL}<eYLmM0I(mhojv`;<)V=n9
f|5w+%W|#ZP&og~TFrzHDxskaEm#V6(zZ(|-8Jput

delta 16739
zcmaF1hV{X6)(OhYMuuk78Lb&r>(@pF_TSziSa*JX!Tl74WvY{ej(*Xc?OXJcwY=JM
z7Sl_y#+>5Z#MF~hpX8j|zt8wdz_cyj)a*ps?*uJz;cGX(Ut?Ti5$S*E<n8o_FY;Ob
z^Q&J}dD^qQW|2s`lArqNx10alC2!oc_}}`sU*rRh|G8^6D<=H>zlQ&RCQRu1=;51I
zKTGwNzpJsWso;0vxxz(iJJW(*pY&0kquM$3^Q+67e@dTIpP1sLR`cm)-lO~dlUg`M
z{ig`{Ecy84a@nW%50;&Kcl%G>{@i^ttE7%PZjSd`Y;eOTJ!YlDo&)<cKP-$2S-bN6
zCg0i_=MwI`xo%Q4+2{Y~m+~93rudm$=JbD(5IWPSUQbPnB~n!P*QS`+n*7b|F$UV<
zYYSKJ)qcM$hCP(G-{?k~g2Y+fA1ilOo|)-$wcyijgPwU)I*w~{@06+gx_(c~U(>W~
zsUNSm9XqTs&;8_Nr4AQkK~?cCg()eSXWHZMUb%WVq=m6~b^P_qJF0ga+@^Rk<ioWq
z{FOKFJTIF%@v2&VCX3msyG!JYAE(_&;SS#QOiR6Xzf10W>6k0BN0${ax3}+!%=`1Z
zy?rI0&$~8<Q>Hf8GE{Ds&6d7?>;BrpM)5F({FT>){B!PeOC8q<>=gd;*`zV^m5p}v
zq#sW!HW{<2nKUcQp8IBae^JD5rYFU>1KdL!HZ0-TfB5_Q_0spR%GAHTW#$t%>zzy5
z0@V@$**o{AUwxPNEv;U=CF(wx=D`)7+Sb7-sS_I~9)A5sX==xel@?aZC#~iVy)^&r
zDbM-MGm=}^oGIJ#vi0Qr-Pg8j?nrViyT12F5u@3L6Tarx6aD2E<#p}Z<Nn`FRoT3v
z>hi*bm0j~TFsH9wasA>yf9s`eN9v!RRPjr^7f><3=gQ<$+%x_5{&PCID1={q$GWxL
z1&mP+r43Ohauz&2!**;A+rs6H+*fRwTMRd;WPDwl_H0Sh)yW?}X(g@nx%;X1@u9_@
zmOl%%1e`KOD<Ui{H$FYi|9k7rJ6$S@!V$s$Pv>smQMaXHP2{S~_bVzam}T$WWh%M4
zuHN_FVn#Oxhi|#9*Z7_Zv9Fl#!S+3aJMHrEjkgW>*3Z59GGX@iT*ju|>H%ry?{gZm
z=XwZuZVm8LF)}cJ>+CmSufBA;j`W4!fe{~mHvOr}?K&FrqM=daqU*IIqQN$QJ+r$a
zBtC8Y^H*};8*iI`PnTtSK3enjUc~o@J1?)USrT4Rug#fPsd4|>j;o)<a$djBn{-_4
zo5yUyhUQ1^ucg{JQ_puTsGltw7Q0Sf>`%bf9TK};8iS7O`29GqRiN_jL3Vm!x!=5a
z!H#g|9J{;+r?#wUHjA&0cGOo<-g&Fp{HpDf?Nv#MOOAIl3#ceY%I(+@?j{oP_kiN8
zMWwPLF_s6XzOA>GQu-cuxV~nW%9$HoDhr&1CM)sPYB#lY=ib<m#<;ET_?J7SYd3AO
z`50C{ZQFAz?afc0y?JD~DI%z4rFrDVM|CV6Ip%r?G><D@?5h%ez|F_Lu~jgr`MX(f
z;rd#`%G(bYz7Xq=<O)+f_<!mbHWQO-{?4-Qj$Hnog?%i0563>Le{uXN+XTs{I-j1l
z?Q^L4nqJ8#rrLI8ipYjfj9aW<o4jZ~cV2nP=I|dyi5#(>&t}>mo@}R+=)AIHk8VV%
zj-bSQb|3fNt)(;XJ5~5u>}U8Px6{AAEqnW6i-`26iCkU=?>>GOVOf{;B6fG*GA%Cl
zLT={vttYO(Te&Mc_OR^7WsB+`TWP5?F7;_)v-j-a-?e$I^`Y|qiyL%o9VM4XJm=_s
zAlUtbU!vP-*0UE<LW;rvr)+BVh?rq<X;Dd)WoBau|DRBP^&bhFl=5xZCn^@&Wqg@<
zxX?s${v>avwR~4IZe=mc)o2}jc~W`mHhCVqKQ_L~7VPCRPqXsRM`cKV{*`{CKKEFV
zLXzUyb23H2BJTu*SsvXC_3PQ3Wxnh<r%<<%$jLXB5#i34FEa|B(w=PpDDLhdkNTiV
zza(7d95}Hyho{kvx8tJKJJo7NR<{#%m-~J!oo3j#aBK9%P13hk&D~n)QLyC7j^<B0
zU*Dasecd4S_L~p2$<>!Wa5!FwtK4+ew;-ziJVSQW#WH&)j`=>ZbqPB?G#+ttTvF!!
zqF%B6uIPl`>AI5Z9j<IsRNFf74ExH>WveIL<9UAP+1r;}{%CYxd2qAn%iPvw3$M<z
zKC)rD;f^1RpI!{O?B2Gj(757)6<^H9#SF_f8Rc<^g~iUOEzApCSzX!G8ZH>5rsUN5
zOhNUS#E1IL*GhRanM)GpTyxxJbaS7hkDHM|(QC!BIW`GpVJufqi|v`uz+`QI(CxYU
zj|)FJ?MlA&ZhCRSYUPDHzZpC}?<u})c;h6?+_r7^az!5SI<q+NN_OQ|>-R8-7C!sE
z_o~Q5{q*<O(i5&ne}6Rf;ARc$IEy&h4T70o@3&0lsoQ$wT)iUi+1%eJlVvY5^99VR
zeZ9Z(_T~M$OsU72H_va7cpLfDo3p-ia!U2?_>jGuweL0WpR{w~b=xx=9N21K-wBGS
z*ngP+ZPA(F21VBP4GxNXPk&#z?!gD=xDI(ECgZ-N@ed^D2K<%$7jL6%cigz;NR#jf
z9+SUcM9v2!&->Wy)Zw92e?Vu}tLb}c3@Ve4Z3#*&Omn?EfBD95cNXtyxx!hwaMR+#
z!W0AMr(Xmo1x&wJQtI^fbjxNB7QMP#CMybgwJbj_SQ9ndXR3Di{DzZuhXidNTue3n
z`b01K*}R+IK53S`y0qg`p=H#QXII~(X+6B59nQvZp>f5e?Pop1bSvJweBP8<zj@IK
z-k*!tpR0PspK$R_!_+rzrGZ7PpMHLsp=IM5^&unw@Pz5I{<$$_O~N7W37cE{t})g+
zs5-K(Ncg|fbML$_^7eaV1Cn{CNi$|ug_+(r|GH=8^x_F`zJBL9ocDQZd!kfUM`L@9
z`G%f#9qXJpN{TE*rJ0v5eUy-sn6vTr(|7f*ul+T%Kj-t^7u%WHdv})pddJ7&9D=%^
zY^&5{Pq~*J^py1rh>-|QklyiAuHbWv=ZVMcOu4tpz9-q$S5!EpCt0Yk`1-qi+nQ~~
z?2mV+?91GKv?leLZ+&i$q=CVe3xzu)8j2oO?1*uTFxY0*@m)vcj`6uWv#)Ed*6g%?
zcH81oeQ3V;zgVrhrFLvz&ho81zv0>4t5t~^y$8}?wwo9KzxIA#%8coehSjBa|JbY(
zzI32*<B98jdV0Tk_Wk2^++dq<%J1LT)cYxK73)j#L#Ea-N3h&#zU<b?Wn^~gplpLf
zIeS2=9rsVmbfKWl8eQ#5R`c&HWc|A{|MMctm$pj0xq0<gmwL6e7M`i)dBHcU=AN2C
zx=-zzy)BzhT<<z@?&SBh%aJm>E_t6kuulHd@0xkapId(J-+VW%z2Sps++?dCRgbQ*
zzZRdzX@741d^1kYkA186$IX!U`LN8pyh`<bXx!}I)8yt&m^aDt*Bq{2E7h|vJYBIW
zyZ*HC^$PR<wQ1|0*l5%TpW1Gq%2pGf`$e-my1D2`zxS6%u@k2r_xYqE$Fafk{Dub_
zeT~aMvL<!4X|k+zd?~>+SGRESRrR@7`vZez^>_Dq-0pe6BxJyDHT`Fe$fK{HS>Gh>
z`T389rR~$pVwOd2zdNg^Us^udS&wz{1M%k6b7H1dpFXOj8Y=vJ;G8h!SAAfhvuC~3
z$H|8Ad<nMS?(rG4P1~|9B7C=2P4c;^smgPWJeID|d3|bi6MMeSqI|Bd?a{#&4-3wy
zrd=r5!M;O}X^k+qkIV)Gul1>4ZcRA9Q`}o%UFqTWzt>C~!e*!K)YM`ToBf`%V3F49
z@VuIIb$6*&|M#aRZ<Ajtu-x@hXry#~{rewmbM>@e%&O|1*Z;bwp~&=5iMWXOde?BL
zz_O%W50~9OT@xE7@?pcP1M^H4bujPXGVGi*;po1C&z9d?A6(z+`$S>>|JxT=1<g=9
zShMy2W}c%g|B{;BecJ!s+IRMp=+u={zSlgyG~?}|-}e6;5?9#UhilCIcH`r!qK79e
zz4zU#=eaClk}6pko%(#<NnOt;E%SwDwrg@9{KbCyPF3Q$+$rv}Rz~pc-xNK=HBo}E
z{_%u)KYN?+D^6P4(Na5KenRKWPYzPmU$fHYzC9l~S$2KX314Xi_Aigc#N?9mu1cP|
zegB_l@9gjHd>?<j{#gF4O?1xI-4SoBwK~^|q?}##{W4EI<BW@{ohM|sY%Vu13idx(
z@RHr?w`N6*_l)-adK!1VAG|;N!istK{~OE;oLQb^e%M=Te0xD#vM+0-uitdz#1Hpk
z9V1?)ocOm{$^5D3Rdvn_a!Q;1Kjr<O+vcEl`C$18S1ASM*L!p~9TjoXh_1V>px#(>
z=gVuOci$v9PUXGjO;Vqy`0#N2sWpFdFV2Wx$x(4N;0o{Co(PdGTnz2T;tcEUZGX#)
z%Y{mA?&VcltZHPb?~|IBUXo#?U}j)x2IUwl7(iJH<_2cwkbX^X1#8IV+S~R_L6d?m
zF~5{ixO?}mY;yC#8x6f|FQ>c{VtFYrVS<~3gF{phBd2R7BO_<+^6lS0+kF50fBxrv
z>CbcauiiiZ^{<%wZ+m(p?|1kg<b22x=6WEors<D^XTzkviLD9(3@luqnH!y0a&nFZ
zi17T`KCj`d$eY#{r3aJ#*FRkNgtg3JVd*J8jV+7$nD{PyX=7w*Wo%kBsVQlagMtGG
z$CMwp1s|$%29$khv|=pz!8nV<Lc;UFvX&1YzBgIzUT~rGUmZ(9(+-9vA)%x_`wug6
zy-U#7IKjwwq0nJx!`+Lbj(i3Uf=n!|i~sze*c5z=we`~k5rGe1zdkK5aQ{@Vyk}18
z&I-nT0aLgS2=uU2|7@7cuwQ|>ME1_X`UM|_H!$|ZE;zBD$Bl#I)b)ehJPz6k0Rj?z
zF6|YE=N^b-C@F22*k<N%o|)(W>B!&u>~RO?KVx9|$@+ilJO3~1T>^f*Phc0|c=+xi
z!}s<>a~TCRcz7-ZUw!8Ob72J|U%~SDzIr|b6(-sD4<0kLT3RfUt&_jYxL{QRLxF?x
zpJsl}Pfb+|Cj9Zxcq8uC7@v6|H>}ZGQ}NE-g9Rd!9$f!9Wno-`z^?cInCjbJv$_8`
z#QcAnLck8;C*nNn`TUH+7FRAyuUYu#IQv?qAKTAK_AqrYsJghivM?t2Gu+^RqV!>P
z!^Zvf>_4`D+%DCtXmNr0A!EaW#D?aD0tUaD6$D;BU}jseXV1ZdjsG)$EO$}R;3#Nn
z3Se;GU@YSI;r*KoQ;AR0d*<yIzrvru>T=m%fZ@;AU)Lw|&Pw#-usHMo{=5C|It%hv
zCM;Qa@-zFV{XJb>9QF<h^Cz%0_&bSk2#AP?uy%BIGSoNypZPpq_J{P}{I&a-znp*h
zPkAw$OcR60A6BNjd-pf~_>;)?eE!ylOn){v=`o#6H)!~L|I2o^E(XUJ<_G_O7W%{Y
z^MB$0@M-_2{`+666q+ybX8YXF`tARZzk9&f`t$!shtD^qTkrA8vQ#-g`2RMG?O*o7
z(gS`0`QQI<%UU3F!Mc7CL%G}MIsP9Q?LQohuhIw-eZ^jOseO@yUVY)q_lXO#4=gCy
zV8_JyxAgsj#SI7kZ(116|D<hS^n@1^|C%*koc;CuF0BHALocs$admbu$?Vx9^M~^S
zkAt^TgM;Ijbykgk>w;wz4)D7#xS+^jax8&?<)Q0`><vvy42<q2{TH^l*T4QB#K>ZE
z;j^Q~LUXyhyd~4?BmV`8K6(4J)$HFg_Fo?Lr}yVG8r<OLQHq%5-mpX|cD{RAtck{j
zpPy=Fjz>nn@ATd%(Ie`(QQwBM<l?cj!LvVxY$;#0+kD#E{Sl(Jw(>5=YYPk?rr!-0
z*fwivT+5*V$vYu7kF@1})?IqelU7pibivBMEA@EpB-v$B1`}>XCq@@8nSD0iz4I$~
zzWwizs>{uHwoSRgx`X-Dd5@W!Uj%e=wc75U(XTTj@_OK6v1>~_%lED++S6<5qn2+V
z?>PCK=x(8meZTXgRG;>(TeC+`Lh6i|o!&*M72<2V)s`>hxR9bJ<1M{xp^xr`n#Lmu
z;q@Yx!K+UBBren}?oW$9x=B2G?<`%(S3a_0-|`Btg>vm){QZOP>T+SHl(=OZ>c7so
zm#2OI$8Ls;d$(<|5Wm-!6Xv?DO1)?E#W{zo5+g1$n29PgEMNKjuK(Of7uTmdTg{#o
zWi!1y%#nE8Klr=e8{yAEtgSglsR@q`%g@v5dUaT$-u9S6+Ue_;W-=5-nHAOY>cpm9
zFMYr9_ntrZ=kYmZpP6~-;qv*n<H~!#9hXsz;Fr)yKNNIk_vf<sw@db25U{NFPCK<$
zsVnPBl*5->g{tCe=i4O2M3Y{Ze_P=hdCFVIZ==d=uE`?OlXWGs^OK*vcogm7rrC0C
zlF;PcvLS{x(d+6(Yd^cF?eSF$wh{U9;qH}-x~a{3Q!X7lYt8oee*W!c7FDvG91m}1
ziGGdPbtC*mQN|*<B@WT$!Rzd`qt3L*cAi}?ruol+bEES5nv7T$&plqhw$<J$ibz>^
zK_r{A`}B*soHw^r|7u%!yGWzc?)lRz_Z-aKpKY68b^58~H^H5cSJcmXV&I)3xn`MZ
z<Pzu1)DEL_N3u>h?tZ<6_x$Sryi2}*v0k{~>dq_8YYq5spV!^hE*E}vUe~FH-6}HO
zfkKC7ms%}+Bh+}KW#cl%Q!e+9yce?c+1kQ=_V7=`7=^Vg(FT@lQ&&xj)xPGQ`!U6L
zdX}7fI`bFpC$ha?m}VVjTu{7bQ++|`M{W7qhu`H{&U|%=|E;Z1CCxAQF7Nh?%1fH<
zueUrt5@i#y+M+X0S$m_$yz1bjb?b|k)GBYuRKHTUeBEBIh4Umm6g=LVJ3AY0I(+f=
zQ(xgLoeH}wcAH#IO)@wWe9}Vi{`p-0c}H#bCY`@=rqOWaza^XaE~*_iDG{tWwj%09
z{g17C@{DGvv$-uPNo3a0ufBf1Q{3}C^Gs)#4-RVYMPIymXKczk|L~I+j(1jX)L}2(
zrr5T1e$J}9i?@5+chXkcy6UT2+N2q#?^JB&*Vb*VeLq|ACcpKSH8Vr<-p^iddHCL^
zIp0?Y-pSWGk^X*$jV1@rtv}z+D%^1Vu{cYWM|<=0dY3!=yQlGOFJYUyEN@xB&G_w#
zSC8z;*=6;$*<)q$6s1EV7pMF^w|sGdzVEvIn$4bCix&i@z1gdi|KviNt8c%l_u22)
z&e*)lJpA{zU7Od;?$jHsY^U^COpa{+RJNz}a7Z$%%H6#3l|r(L8**8Dxoe}(yjm7>
zf2qx<BK2OuuMFn(eiwEYwA>HnO8(<<W8TFTo%`H`RRXdXWyyF-yH*(F1>O(cqrc(#
z<>@w=p?B)Gp185>?6Pp3{j*og3C^txuL_;7?D_fSjokwCuUOtwyp|>=KAB5)=jCOw
zJHM9jzx(N7DF28xYi9YcrV|f*O(&K747zI~cw7158H>mLzK<sKWiZsQ-S1fG<FZ>W
zJjFOrHz4QRWgh85k-8;Pi7!)UB_0U=G+Fq>^aC?Aqm5Fhe_wtnTD5WKPU)_h$=06_
zPS<ar#x>DNfN!br|Es-hyC0@+KK~@wq36-d-hwDY|2~dc{@b@Ct(V{N@?^mK|0^cW
zH)mWDy087?x);hJa%+R?iw@V!K3(st)AqbGb?cd)&E<7JlafAuUSqn*_)b~lSJvu7
z$0sLC8x=;ReY(b-VqKk*GT-6Uu{Pasxy>JshcD!FQJ?X8E4z2F@9U7nyKXv1gHFyj
zUcWcju;&qnh)Z9wt7z(pdsBZLxc^it|IyW_YUX}r8(n<ohfloC@u25(D+~KEKmOhm
z_2OsKKH4lg-z;>0*GeW!pNa$S_j1k7*UjKwqjqU6*Kv!IMCZEo|B6C54rIhfT-RO7
zb^ljH_O3mqhB6ml2TV;b{uP<mH(j9k{|&)V9`EyoilV-MSBk&BoFCqp{Nt(bWS1_%
z17hCw^KTw_EVEy~_1&Jk-e2~t_FuK;q|xi*_ZOzspI2JkBE8T)QYf^$YS#XCk+q*r
z98y!bJ2fqSLxR_*69$)-m8sr0bnx};Yt^;k*c0^Z^q-xE*)b-CYt97xH-5cb{Ou(B
z-S>-nOVn51iT@Mx>`0*XhmF(w*6*GAVXHtJ!(D}jx7k4jXM*%&4?U{Ra{9h;Mb+u-
zTj8p=jy#&I??1g>$T3-6cQQwp>X}<VYI47B+AbUQ-rqlpduP$UhgD*qboMYu{z&KR
zE1xF%^uCh9_RE!%3zE;P-*4gGligM9e7rEq;HE`sSgX-08BNu~Nzs`m%a5o%@7d7N
zQC0eGS@yN0k45pNfxk8<6$D=s-@dGzc}I5J?>VQ7CvS7=&ROE%Q{Vb}w(a*5emyOm
zlk_(zeCIgw=JnoH>?UmT)*7#sy8p^gW?!nV|J&fM?UTwGK~YD3XgM!so$}?|Poc0`
z=PtZ!a=0tWd{r;Ykn44n>>TmEOV(fcbJYEN!faPxlNlRo`d=_?UvXiX>xPI%tEZ_>
zZ2lL@n4gF3etGBm){3pCqGm+ws26KF*Q1nhb@hq7_-9_dsuLFfIvBBKC*OiOo4?<4
zNK5{r=-Y7M_p)nC8zkQ{o<6bQo5j=U9%ud^9{biahkmn-dYq}-t9RQ^r0sfg*2kpT
zaqBPZY}3q1-SWM3ae{5H@GJA9VG_p@>rQaa6>8J?Yw_-xdO|^Hk>!#-?1!)CT0WDj
zf84rDVY)<Is?ikH!mI}db3{*U_@TUJXWD@fzFXDb^I{I1-1g%_LO}k^HJAOv>mTnq
zvY}Bd`1?cuo3BmgiRRCl>XsSgAH**nU-sngB#s?-e_pf*%QSU)Ao?oN{Z)eBm$zIj
z%-`#_xg45s{mGnTi<4Ti_nzE$O>*b_>_T>XJN<L@KUn)0CmjCsd3_7B)K7!dx6aJo
zIuAE|4y(1Zc(mp9j@iytrxsQ7vY*+mu2JAPCqPAP+JUu7MfSHfpJi(*X=-0^TNyR&
zEBiF9x(4IVAv)iKUD%Jk$-Vw#d(E!!#NUroAD4C{e|+Mo8_)cFs!Kmpo?~>;qk?}w
zf801O{C9V6%dPrlh5Y{U|M%=GP+!zw=_7D+L*Sc_o2T4fUJ`cG*0_RkDgVN|pDHTN
zW*o8T>hAVAEb{TWdB4Z8Me`-=kA3|rT-#ar(a!DX%*hMF0z0F9&(5y6K6Sz@AsZ_T
zgN9vEZzT^~O-{el{Uo+s%eYxThjHTO?<VuN>(82gY1$X=#U_6m*Vk9g`;>hCUcdAf
zul@0-1QyoBKh3R})$YDmtK9eL_G4FN<~!@}ja<&TL*kF0=1m?k7p11%^YYHee2PB5
z?M*@WJeBW1R+%xg6x&QJa!~5Mt9UlFt6g!zCSi%@^QK$ZOn7E<VZqV8!fETS_WwM$
zWvX(*$xlyunGPF?+x>Zv^U3e>och9Wwwn%lr>x(0nkJpSd-$>bwo?~QNw5B-?78I2
z<L|jnf6v5ghWRGxHGeYP^zLzuxMA;|R-f5N-dDV8XPqB^p5^2ppA*ji=e-oa$bCuv
zz|WpDlYc}VoFTI3tKr<)4UNZdIx9}u-niXg?Zj3$j~1Uyl^C7>w`CG<C5F{{e^au}
ztmpVI&Un?!YS+YXh6$cxr#2+)RhFAPzxAHD&kHB-%ie3`f3fT_egCeoW`SgL#<cv5
zJ14k)XO?eSY#^)@voX=(=hE<r7r%T_d_A$n%ac8{Yc<b7Wob)?v(Jw=?%V$Qt%pm?
z`O_i%bJDA4%h`mT`MYQ8{^bFY#pQc%fByO8q6FvV`dg>3zGT<k@v+Bnsb(;H)A=uo
z-|s!TKJUXhX<o6;d3j}bm(@QCjY^!l>(cY&|BV|~Fa4-B@z)mfBkyB+zorYurrbQI
zQeRN``^a2#Nqw!A_x-=E=zE^lASLxV=y2-0t6v>wtjsqo>@N-f{Fo!>_oF>s#v<<@
zOo@-Gnj-GNlJ$C8z5IpL>jmfaVk)(=&;7Y&EBvQ4q>jnWHRs#p)MFu@e?K2h{<uBw
zO7Y6=OaJO~mF(@5F)AoOrL~*==jnDn!@yl<Q`aXYI-U2teMiJ3CuzruQaul+s9rC-
zzgtd3HEqAprvB)`6Seaj!;5aK8S*SIifMjg=wbFQcJqD-&Pj2zC3Nb~+PzPlv+QpE
zj^D-UD`%-QyTpj!(u)0aVgBJ-e$BbrpHzJgHQ!vvzWLCC?4P&A+;`^fi~9WV*ISv$
zq%#LkeVo3|>}>f%^+V4#%{t0h<bCS*LZe;cf!lY<K6K&fY@BzcPi)R69q&hX=F5NW
z>De9ni#uMy?2*2~J!U8WM_0^$cTTFGT5EnwKgY|NbN9<2jq<tkSXM0w?3>1G^NBZl
zQRI2m$LUK=V(*tNbQPV$x?|(6of~i2+*rH(h#iyTtuFo7p4L-0oZa-K|G3|}7Ww(9
z)dmN7Ud>-3U304Ua9PayB_bazc3v&|)N;?_?q>JWD4E;uj?ZC=jMA@}e&>PiyYoWj
zYnRkJd}Gjjx$~aW9E0zVeYIEInC-dh+1;k)@s>MQ=GmNe?#(~gA9$&xm^1G<Q$<mz
z(>s%x*5t_(E`R&=_srMcN!<T`&zb%8Th8gmt0hZB&&0CzurfK6J((5%TQenkW83nw
zbFVKhJaucKXjawDNdIoTiw`tktG+Il<hsTGkejv0+OPi8AqBl4>4#ajbRNyM{AI~w
zmNz${^cUl;JNl`uL0*3T*NgM|D=JGan{Wi}xF@o5(#1*Njx{Zsz_a2^t!dw9Ue(uY
z`1tkSSgkXjBhOmqQ<<U~(_1{}?ew3iy5%J$Rvb~YlsawNYi>lpc0WJ$njP2cq%B#|
zO0#QvzwTuYUO6GQUUo9C_^;OfiXU><Lq%uXoXQLNn^v^&{H2wqg0g3WFPkP`WENAN
z&U~#PZQeu2xi4OP+A@3ToVx|8zupx^Wqeqwa^TJUTI&g$<}beUZ;3(ca=n{>-kjXk
zYSp|rq3X2T@?QlBv-6K^Sh)6Ri5#z?{z2ietEaX{zB=W7eA$*Fx#K(j)nC5(R^->}
zoK;41AO1b;++}Ey?wx)#E2{gKo-cpt?6tQxn7X|!OLCt2p|58pQ&_sfkJ~>kZH|=W
zyq>uIjr@ZBQ$tyvn_BM5yA~etwwd>1p~s=Z>CS7kollyTwBAur<x}U#_ceTYTycr@
z+2eMvt@kchjCy~DiMu2%y!ENrB;nQdC4IU3yk}kX2%PZKV5!T*XLro*PuL~9^2C%j
z`S3))d1uz|U#F-Vek3PGiu=L-&rF_M+e_1uHh<Mo@=d#C^Y8fF*(MX8P5-zsZlRS%
zWc|!v8Sl;-xT~(2*S^i=?g~dM*7e7dB-~#gO{jeK^`!3W%b$-f60CY_aOQ4D(%+IY
zLy@j}md|IRbsfA;|2+8VWQo$^E8O{d)AW6VroZns+Wf0_*YUn}`!#KICcVDe^FqWU
zI91T}VLrpDyvGUiKJB?~G^3a0(uSUM*L+UDX{&Xui@e+a!8zmB8vPLC{U7&=U5$Ro
zUl$_LbxW38P|;e;@UFz_tVb(VwW|Z8zkizLsI%`Ri)8)0?>YOjPSpQ?{9<)U%;QBY
zsuQzK^`G+!&k0|mlpirUd6V#sW~oWhRgXW)rL9{Lny=d>p7vfq^!no$KWbtgmn?M)
zb;()B*s;%V+JXJ=p5OMl!6TKh&v3W+((N<6q+k1;ng79L<vWi17gn`bX|XTVep~fl
z_#S`XhqvLeO{Gt|kJRfgZJO!Pw`fhNlU(yNOI7iMCwq(1124{gGHoZn#MY#_$s1O)
z*-!r#o;!KMX>}2a>uC(nEM(3_+-Td<^oDm!ll_!E_iVm}_33%^EA!bU^6#xw)jL>k
z9Di}=TaVX^IUaEazI-}SSw>K^KegR+&aCaPPx~F5>;KU-WV`CqUxAX{^_muLYE{Au
z6qCXgRm)dz;y0~I+LV}=Ha#y@HT3R`<Y!-H1kdwJoLb4{q49gEuhu;M7yE>-yIJhq
z=d35dJ^9!Pp=bA&FaA5rwD*z0`I1Fb9s~+z+g!SP=-}y6F9Cj;EtY--`Sm&i&c*33
zv@;W*I|-%E6kf}JR+;-uhD`UG&GPj=`#AVNUDn@uW~bKrFY?_hPbt3h-B)x~ec}y^
zb;&2+7yE_x)Xy<6+_9v7LW$PWjO+<(!l&x}**iV@V_!jVi}@bm?ypB@9TWI??!1z<
zt;`4h-`iPyEZ68?e{;C`r-}wIOWf4jE168~VyAS!@%FztW3uH=lFHrUn};@a>X+NR
zI$FQ~=cS#&$=j7xY-<hYnI38O-POM6{rbEOvve|gmR{8P7r0bC{?xL`s|5G`YUK#M
zx9LT*u%K<a?`^#YJ1lJr)+Dd;vg8u^X?gJRvX6l$e4NB4iN<_oa<D4>xaw<&gy`j{
z&zl$D*lM+_MxkTrqMw&vI-as|y!fF*^y!+iJ>G(8lj@Jgo>E)q+R`yY`suCyFTZmX
zcf88HCb4I0ov`Eb6IDy@*UhY2xMh{t&1Yd}9=-ioJH5;L?X*R~-xnF&sSIBp+w<d$
z&U-cCWZ#T?k1H+~*l7jt{CY3^`{T!I>=9d2WL~$<J2C5D*pl}RcSGiI8O)2!4z<Y3
z>N)!D@t5-S^YTIm-0C|{2`rz&-hHM&kRzkf{=P5oPW$C1+oZQi_OJi`_w~BJcLVou
z^>3MTVB1zN-oUJ-I%}m>br|or9e*dX!}Ps-@4ZcS#ygVcgk7@Jwe-wg{OR<^qyH}i
zpA%SmYul{)*>hhgdOw-wwd+kqNx<qUwq_?47M>Tq&3d_L@5ZZk8FI&;8Pv=4NS<Fb
zE!XMwtQ}#^!Y}3PTRwf9J^4$Sk;l?c+rDgHT#@(Y$fUTxS0<+K_Se6aCK&eqd!zG}
z?-jvU{_GUWT)#<dv7DZ7Jdeu!%aQl4vjyeNvc8tTRrphZxnscB-{Nl3Lad4Nqy9YP
z-CHw%X4S8-h0%5`ER56TdvAy7A8+v1t{3V1e*RN_<Wu$^{>#p8OloG$zQ6NqXNt9?
z)|;Efd~PS%mz}ut&3y7(+pfEl_WG>7|84qzlOLP!ru-Fp|2>|I`Bl*21qaqBXV$yA
zZ`6`7-W^|b{9^9URWr7?&#b8NJ9^{&uD#pK))@XeZfL*pNz0t#3i%$kK%>+9g!eI-
zsR!|w)Z1>ITRp9?KU;6Q{)g7MqUz>*f0hcYOiZme?!5o{{O$^$jcm;o%lCDi3tlN5
zYwl(~xAmtE_tgzG#}{vASo!Uk4DWx-?5VA{Ym==D<>IF1S+(dtDSYz#;2Zt<9O=&v
zu(>@BaC<&KZlht#+u~ZW4+b*(B4Vo|&ldTwI67OwopnyVTG7GJSt}VM6D!X+cDrA^
z5%*E|`QdHJYYrCQy1bZ8`NmzP>j#Y;xOj6J*75VQz07)X%-O82Xe~o_Y}cb7C*Hn3
zTdXxzHs+r1hLsn1X7=!zHqGg7()STI$@#S~q^Rv$if6_y-!d12vWKNs+@9+jBact!
z*gHG_@=E?4Uzyff{it`$RbRKDM~eH~>#g6ryC*+6S#52!JE`1Q=iO7Y`LTQKZaoYY
zXzb5gv+`Ivm&l3O{hjAy)i)J7d@_H{^+!ef1dmX(PwUILYgX^sa#y|THcr!BX=}pv
zsPy6H`&NlBG*dsDp77hWE7;)ezpaU4zklCbuC?i3iJbG1qScL8R4@NsR4>ik*U&1U
zHTCdGhi&YIJIdc&S*OmGGV#5=?Y1l5Ccf4GmL$I0{P(Ayzu)8^iHJJlFZ)B>^EYdT
zhT)^>f8VzybCz^pne2CHdR<jp-VeU&vVGTB9;Ho@@3|?W?|1IzwvWPYww=lPF@=J5
zcPA`9z<hRXcC@`x_vV_Nu?6ij<C631t#|(XX&kzCZ~nz=+D#Aj(=r6!BpPwoFz!=4
z6x^w;ZFV<8`RgAQ(+}E<*2~py=S<sJ^C)40gx>3GKe#+EKhNhm<NZrOvhulN1ADQL
zzvi?Pk9_?X{g!dn+^4R7w<CYH;rF-KMcXGol#>7Ha&><7Mc1x2_f|=-UU%6YPomb;
zJJ-kk(g;6Mc1C2nl%pSWuxzp1<>LuvwI61j)p@A=e)+yj8fQA|{ZBI*CM@T<rgd@u
z+^v819m%TSTHLO;ao;YB&+dEz`HK%(&A#fsTrWcFN4stErI6Tj;?K;o-zGn2h&!-h
z%R0q?230|xok#zDdd0%9V(-4@nMQwpxrYTkn935mAz)g?iZeY?-aiA}8h%<#vxxN5
zbBJ28J==8Y8r!?>XO&mIUf6HZs}$X5@zBbc|6kDl^cijDkvGo>nH-sUe@FS21t%R?
zCruPNY{)6_Q(mND-R;fW&l=`R8kt$>LuLSxCjCqdjKGtAI`!MMy*(p0J(>8%(AX$)
z(|YCKVqB8O{KnHH(>5;K*uPh#^Hh+gx6-L^QOc>|+fqDN3anR++*IejckkbOb+z;C
z=l!<3Zh77E`L6SV;#)UNyX^Kj){)t!PlbJQ`zofii2QJ)i&CA&6E`#6J?W;hMBIV-
zfrnXPp|s9P?mvsUd9SF}H+Tq%^<Q?LlwoHkVU*CN!oU^4z!uu7wOY$5GyO&9{Jx4N
ztpvvdRgaq)xF@g(?b%=<wWQsB;$BCYle6ADe%#7>F-$?wUu}WIBCQ8*t3RBd$r!uG
zUxD#;pCV(>wy?5Gn>HP<k4(_g(rU<l;Lmb_xig|%M#0hgM`K*Y{JS|O^<2&Z>_Qo>
zi_2?u?@aiWp_92i*MZAf>E{Y31-m?t32Bqncb$CfAmlPDY>ge?+V1c7R24S8eYLz@
zwLv2)xp9Jh=8Mk5zaKaK=h&H8_~QNBg(vL<qGhg4=aG8(SJ=UL<KIm?n^hS2LK{{&
zOl7<v&cGZXaUw5kwuAf!YmVEd%7yhWCM3x3;eXKfMX5<K!hFKFWNtO3zYYy93eAcK
z|BL^4-^<I!d?7-Fvw-z(rvInzxoK>7>+bkYRADk>uwb9s?v%(-^8NSsCoa`7CUVb3
zf1JL{^OBcIK)cpD+S>Z2{n!8Nm-q3_bJJ!I4q|&EGDVb8qUYLju0KcKulfJ#V{rHT
z`Y>*lZ}X!T?$_uo$g6O8>h5i#TfgloyHLlLNY*9$`nQ>Uh_5rY;p}E&Tp6GIgrn6t
zQ`qJA!G9KU{}2ARNZJ3~K%u&_Hr(x1y9$G^uu=lkn^lioqvyn?ZdmbOy!FemD%O9B
z@5<e+KOA@Z<NV$FPjjsF^LMOFMFy?%ZaNnkr0W?L>26RFd3OBGpDEIRYaJcAZ3K7k
zezZlv;*I$kwr1DLM-EC8ziHf86lnjayV8!Y)jhfJU4v<-*&+|7U-5_adX$7YOy=&}
zFQWVH`CVRbZ9x`h2a($s801Q|E-g0Ml(yC-`a=A><m;WwCU4WWP7!q7=A!?Lv$Ab@
z+Mjtpo4PFPPoG-3{fo{mLn;3AhO>+=xyOrL@eld*J>=rbsp(JcB#xeK=n$PTRX^A`
z_-Vuq<*S=Ha)mtn9{8W0b&WU2@l3baI*X3%7iC4!?vE=q4rQmSFRwWp$<i-!PxDr`
zovFgwL%Zed()&K_%2;{o()Fn2>|Z&SFWWeOoqqjK-%np6zkRB|d9~Sf>m9wn%xA6U
z6nMpNQIuX;axnCQV!Y?pb(`Z7WrMTVgu34^urb$*E-K=@ba0>TJ*~^f4<4#FjjWiG
zEN@?5E^+6`?<)dX{RwXW-#)uFJ!q}Wsr65{6zUnTJNnQ4@v){)#+#4+IH|U#?eY8e
z>sr<#x7f4eAK#sJXReUaeEIsS6280UC1UHfPehoVE(x)BPk$V`apwu)pOe#4SLn-3
zi_=;YmOStI(i+yb_o?33<V{#@4J6MU2y3YSQMg9=>xySnQyjO7r1_t}v3QQzA*MI6
z?m5OUzSuYKdUj)Ves@BP^5pw{-7(S2vsx!dhnObkd#%n8=TeF=y6w*%pRRYd-a8<&
zS2)Fe#r&+=t7o}BMrM`<R0U0(dz7ohZsn(=)3z;H-5%e%W~zLwaPgin^U@p_)``v?
zB4Io2=lV_P==Yhm#J=zLZ==9jbN^3DuzY?`_1w`tOSgBtJH*aqop$tNyi;0C);;Cs
ze*e$5+iQ}F*NE3t^QP^JT_Y}eVy2eMq|^2FzpeZaSE+BFAgiEj#8Mpg>vesA{DIx)
zc5Q2&Wh`pB_ckZz;_RKB8+IKup31TRREgZnQ|%(*(bqe2-*lMT&AAb*`a5UN`M1&B
zD`WpUIGp~w>D&p^YpYKz*XJvo+k0tu*-P1^-7PaX@1}KM;lH|Pg7B2qnVnwTQI<d6
zv9-IT&ZwXA=kPrjIla=)$~Kdo?)0ykA=iH=>}Iv(?wG#v6&7`=MfTyz2EqLgIwx~S
zdlic=vsKkx<DxiCr1WeM$Iq|vGOY_<ZQL3CDc(QbKdhyVOMhAaC()0~KV7`f_oX<2
zYtyqWQ`*euS;s2n2PRZielU3WV5$GV&T~yOCl+2?&l7sH{{7NznQd+5cbt~^PTCiy
zJ?DJ)USB&e^~rnw?@Rgo>_VwTmSUx;U;KqcrSFlGLrz}XW4KKF#FtB!+|4p;lU}cu
zG!t1=)xYAS=o7`71?L`rd-GSP%3EojufCCwar>U+58YQ^Eq(fhyV^qMuhP-4FN{sX
zTjKq{oDDh_8=m44q%*hPJ0;=Qg2%1vysKrhLUXU4Sko5!*6CR5+{H?Q%j4F?&(N9v
zx=1+GRWE+Ufiv2T`#$XZl)j;TlD3u7-|GCT6A}_;h2H$3&tI=QD01ye@>}7lTYo5i
zxOto@X2(VTVq@N*Ji+{B+n&#SXUp8K*>SKoQl_o=yOe%iq`@|e4SOE;$<&|Tcjw@t
zFM1E2>|Ax~Vt=FbLw=VB{FZCpm2_8bnssf<#y?lx^!M2b&JGUxb!D;hA^zjV%*EAO
z?8^$Hf)<z`d*yamYwN4UwT_!V_+-yNn0D&xR`$z#{59fZ1m(GkydJA9e5v`WuE-&A
z^PRNqk>{;XPZTtNo<6tSS*G$*kN&=|%j$XLU&rs-^C|6kPIUv9X@p7lqn2wqC#xjx
z`b~S0p#Q|q*!Xbe;gtazPo$i0eBIvMapbh(>`3EV`fH@(W{Biyiu_pgVj+|E^es2_
z`>qt_er1c^e<@tvPp)>?j2ChLw{H^Lm^btJy5{}gkGu6ZUHQJ#k#}a=+QNXiLR;M*
zD`)&VT>n|hbI$Kd^IuszjhEbi_Hyf#cZHuW6bmi<b+Eglk9XUK?wP;KD=SZ#+?y$r
zZF_UQ{oO-z3+nd1+VsxBrTO%UEt9_7tC(jH?7zygtiSW%_5;SZKF`uS<IUT%O+Gbk
z@$cly9p7}9YupdNEZ1c4Q9J6~_F5^8ubEs*X6)T5UF>`+^+g}<7u5RuI(@94!I^QU
z{7#%)zy?0?j$`s~b{!Kb?<x4Z?>6I($pOmoK4(6&if_C9iY+Zj_HcA}onvg?hg~}^
z>PHFHb8mLJ^Q6}5%vG~ve-<2@`)m5=*n;-ty`SCspPGB$-Kx51PLP9~lke7Ps=KbZ
zXQU@;J^pq2v7^Wx?|<Lw*Evq#x%S&3@5}dA2xMH*eqp>iJ@kpuLT{no_|)fJTQsk%
zdN^;=wteQeWG>6Q6gnM!wW4^&M~Up5+g~S_t$tV*`;YroO>BR2*xayXI~HI68DN;C
z*t7nu{GqPXLQjQX&G)&P|Euwvht=j^r_=0seamCtChv@YA9BX#hQVwGCZ*5yZ@y0r
z^r}c_mo1gtt)%|GDvkI4!sJWFmQSLRPNp}%u-AyaD7*G?)~AbcwZHc@98zXGoVQzx
zb9oql?}L{@`=%xvb>4}*&F5?Q^@4WQe4!?_&-^^QCo*4HE&QeId)JcJ^J-bOCWRk<
zHQC5tt@VbSsQFvt<4<Bziqgs!bQwS2UtFI$SGQCClho|;S<xT8o(io$bM@94h3(y2
zQcO0n%PR*T+PCQI=c;ponqRhM@0ousu4KAo#*J0w;fpu!eZS1_`efFBSwVY@ji;nn
z&TUkv*57pO_s`@zUs&$1++fL`x#|CuLoIF6zi({K_z|}DdBu;oZ?osEyla*l_-T$%
zyZAw#ololLetFKK+^bOW?!NY_pQ?_rU8axC^Pd<_%C)!Iw{QQ$2WHN1b^kk@n$c8q
zHgWZbmyhmrvc+XF9!<9{yUAa1EBo>M`4!978T~sY_4l}}ea_B`@8|9?v4sjLNI&*?
z5VhpH=UQvWMb}n6&VOlfL0LJs_q@5;Z#IP)4`)U)a(iW7lC1YP60QxDm;7|B?Qwtg
z(q*kNyAMQpzs+}!IKLzFRsBAJ(3krhGq_^bOwZYGC>gavrp{%0dBy=P^+IEw!v-bF
zGx`+8|4tMtKI*e__WMlx_^+ow8q4xr)DpMfyQXMmP1frbX-jvs$4tz)HSt<L-|i1(
z$%iydQuf-NxG9l#<?sxrdh_}fa?{JhG*2H<Joog7-Q@fWFZx_%pLS+jDgIzdo3^Dz
zI63C`k*e1}|DI}DTQqUP2}3`>bm8;YKcAVe?qu<H&NG8;VmyDJo<8JoOxw+Bi_!Dc
z+xw2@U%I+zW~lq5o;krcb*BG_Jv8@o<PM{pD?dKm`u=rw7}pF*_m#!>9`b5Fuh+ct
z;yK&1Qw!Oax|P1)zfYNEZBxwb_m6ciuaHx$TN=gTBl6=&tFX}Dlg|`V_qq0N+@V&v
zqVxHgdpl+P*Qv`H9)6Qqw8@hr`A8sho4TH5(Am1#*I&eDrCdLl>Zh<>@viff$&a&-
zHmSzW%ikY*L6rMGyT_b01rMKj&fL@W;Ks`{^=iH+xSt(dsyKzk>gJEYZyQ@Q+Wu-8
zZqf{MUl+GF_xscLAK6?KtNCR;h50``3|ghXSM}G+oL_rFk~VExTDCSXWq*d@s+R`4
z_wU{I&AT?QnD4jL%=1NTZudU<dOzD1yG&4!?~~$02LAiSvWokr7Hycb%T&_7D={c9
zPO9_V%GW3A*X8&o>%1?hUtF(}_Em7_t_c^WPMLTtQYBRO>3P$QiHG-A{hv24L+s-F
zg*mECYdaq3-&+6Fa`lXFuN>c;;0)aV_x9PfuX$T#=esP{-!;SQgNuxrG*{ZY$A|RX
z3LUmd35pdrL^M{bhZp{5J=Sgb^x<pG=hs;_Ha$P9m{v98>+PcY-<t1Pq!nj<di3VG
z@u{lll0EL9*-f%UwY83@oYE2tk=zyL`j5%nSg+&SEj!_|v#b41R9%kuDh!^O@Ar1I
z{k#3*3!^0?wb#ABXDj6Y*WlgFx8Li2g}jvR^QcbNEPL%JynbK*vXZ)UoHL7$Z)*uT
zbX-&W%}cGGHPRxMHYxL){p)v%R%|_+H*L#j8Me8r`s*i}Snhjyu2v-B|Ewryqt^3x
z7*mzs-Rsquq)@RT#dGsXiL?_>uHJsFV)t71&zWs*lI9bBg}EqZf94MS%EfQfCt2j9
z^sM%;)0dQWP9Ns~oinNBrOd+lck*t^N3VH!BT|`lzh!!s$bXYt$!}z;FL5k>P(Sk$
z?|X5NV}(txzc5CpIsR^M^0q5~FKya8ckll6KRs{Ho_Ob;sQ-4W)`^ve-uLU}y4c^6
zduBC3)iUUS;=*@H-#i(Ly17h+vUE;8k6m&0QrKbf<x9@LUhR2L$o{0%!l>is<=&RR
z-yY7-sp0=N^^?$(gSs^ntMZE@^32i~hvjXm&rTP%yAn20e%hA}+pfR3wCT&`GjBF}
zg=#u#TYP@qJ}bD|#ed7myCH$eDtAu(H>h~>;Y90-+wu=`f(_VoIb&oZ^cub0b$7L|
zt<ktI?qwHRaNY6tqS=v)Kji<DoxU<g=4j045_fkmKT+e2Ggf!7c%HO&HQb{<ZRuP)
z^;yzIhkgcjEta_T`Dpe2zXr-D^Xn!(zpg*6D|GHV#W|(79y8iTgic6%@qWYJX%R8P
zbEEdge2jatNjFVz#X=52mpSrBEnBy>?!F-H^Nc-YZqJH;@&er#1*eyLGtOZ(GO#c-
zm@eVNC<|p;`7l0UGBSd!^t~DpU3`0+P~G?S2cqAe?BH(r?zh}{pIY9V8xtp6b*_GS
zK}hGLi&E&MO>_SIs^bn4T6)6w&Xa}d88cZn-1z&g=_r$z$3rez4pHu>UJI87*u{D6
z5c(UnLrdtE=(_G{>M{Jf@jL2tN;K}AxPNithotxy5kI`T9Dd{}I0>Hec+h#U-j`FA
zIb5UHe<jNi4Rf~gFAd$@d9p6n3G4SLG%!r#cT8BRaE6zWPr$&{eZm_<g9D!!JdaP{
zHAv);o$_G`i}8dVfjbsEJ*+f*t+J=Vu;LK+!WmpG;;s`JyyHKqC`@Dg(Q@E@BgbE@
z3)cJpIE8<)sh@oLVlTIJDeK%Nq3^H9SJpo{yL{!s(<vD*49;s!4pl8lQF=AYXufD|
zu#<n@{MnAPWS;Pw+q^lxZ}DLVmw82tcChoYJ~I+gyL*1q9LbxV6N-f+HZJ^|?^&hu
zd(#Q_&HFTuy!(9G_+!nK>7h6EFJ-DGx&NvziI}m(>+>6pl|46Xe?@xlFl{?I<%(8?
z+E@RefAw43pZ|QIEix@|pKsrnqw>2i2c7TUVpRX;?Nzsz$7B>t%kpkHM4Hy}ZE`ct
zhznhIqRKm2&OYS)dM$=U-KUEezOw9JEoHgz)~Z!OQS4DK16HL6<p!5>yEYp<QHW!z
zlbI&F@t#o01aaozi1(-D_AUsva$$aW%~|8iYU%Lbeamy|&m4Lxx1Nt(L15jy$68l!
zFI;^y_bAW#OK+6l>fihxY1s1M_B+l0W$vM-e`jXc&A0BD)y}?rzW<6DY$mJJlBFcH
zKJU)zQ)HK2bMf-Vq?uM)$Be!!t3OkfV(B}7+HOjpIGg{msFb;tQPb3l8S>}V`DmVH
zdv<VU-?A%vdH%im!^vLH-<@LQ>1%kp?Y~f|i1n@ON(Hh<H8nftIw-O3^wW5}JW-Fa
zYDU=OC)Zxy@3&g2`Of#?gXPY_XD+X4;qshy*HR&>G4~Vm-s=C1oEJGKzD{~;DKt}e
zcJJ}M`YV;*DopS6&~jH~-MYeWg5Qr;mgQN$gj3j`UY)<rH~*V(ra$Y~^!kQ-8~UQF
z$_sznOR(zrsh`N5_Ml{u>t=yU*RSh+T3IVfobt~!`(_mE;hVc+d+}oDbH?_MIGaA~
z&aAN)=;^rsO*-shU7dT!X;=I2AHS*0yp_e6`>%8Tlm&<CKR%Y57N5L9<JDWC_h$b@
z@1333y6pA0^xq%!TlW3gocm;wK**hS^(%L7f0p&~Li%$PldZkt@f)9CopW$$?o%-(
z&FcbdZ_jf#UmJfuz4q;kq`oyvqw3D)@4mV(E%fL7ntfXyT%T8}wZ(#M_P(n(mL221
zzy5npwEOCR$FGTcC*FB$e)@6#zpEd&e5esQdU|41w7BhC%RjPag1?i)FaLin{Go5(
zjU<cd^7S)!C7k5GT{G2(XYY><^`*aVZ$A8a^>?pJCoLqW9ol@DJw~G}przzd19$q-
zZ(pmo#DClA=kn95{p6Qc&-TS$EEB!Y%yYNW`u1Xr*Rjlcd+9!2E1O-b&O9j>Ir?SY
z%!fO>_}o1kc@w7RZG1VSYuPf7&y2=~t&(pdCDb)7b{urmtp75@>iY5J`}fvnUhR~>
zeC)Vf+bg+SE%#UU?v9;Z7xm@%vibh@qM^~9FQliwc=vvP{oh|VSC<r7Yp<X5W=-*g
ze)i}qfeW>**6{?se_SC_{n1N)ZS=2#?3Mjt4`<nJy69G!wX*O1tEpDMOB%eMPulgx
zTD8Qx_SN&`Dca0NCGO5r^?_dUnLfg&G?r_Mh6K&D3vj)<!k{h9M0&w8qtvKNwr5`!
zpH`dqCvA32{QjEj+dQxHq(|pIay)(_efEQz=exCMuP_Cn9nrZ$KeZ=kl;2fpFL60u
z;&eV&^2eleFGOPx_^eOV2q`kSW?I{DaMIFG+Lsr`%u~76FwOEz#q>w->+c<yv*Mka
zr`ZnK=^Ng>xLlI5X<FlE6XOj<`%-2twq2?zfA83{b*uJso!%Pf_vO0IdY&J5)s{w@
z>8$-aW#$so6_@Tfi&U?ZQGc58a(~vm^*;;RcJ0*oU75JXTK<J_?XvUBPTa1$djHk+
z$FH|vzdpMzH9qHS?vZ_8f4q_V8-2gb;6{Cg`K@<%lYj8dt9;Qv`J~Yy@sF_q)xOpD
zo=NJyK5Tw-Lf@s`))G30U;cJGy#2-sscCaqxBuimGwVRco_jyme`AxrVKw`1qHJ?$
z)bXCunWb^EzGiM>cDZ}Bnf{+%;d<-w0nx-OeX)I2()%o;FSF0s`Ls~5-Ip(8ZJo~6
z4RaYS_SWCJu}Z-Fw7@}0r}ambjQn<p^{;q#C+x>!$+cnpeV-3%y(!eWvU<XsT$Wp(
zW*oKc;!`+NmY-9Wt$4EB`Wwq+vDBjr6-4H$cKgp?ciGWYt95P1uKODKwdS`3#Php~
zqd(nQYV(t&vOibm^(5P^iZ}B!PnE@Xtn)AL?s(?CcDcjN`g!Zk7wnJ@_)?~F@4Ld!
zcAm|R$L>2k-WI#4Nmb^rs6~xrIG5F#^qPfk`j;Ie<#)_>czP!M-W$26f6s+ZUEuNH
zx5vJS+jEnaE&kS`Te#cS%3D2itKY5#kupzxBd69B?%;c9(Ae~IL*u2GSCKnwc4p)Y
zRKBp0m#B)K)g5W-c1?r-Wm49rUsg^!TYgE$c5myMej|i2G0?)q%+SKZ(ACt!$l1c&
z&C$Tc&A{2s*u~7z%*5E#)!a_OhM<yIeaKM1f}x4I0;H~&J-?loDNw-m;`eDsb<;lH
zn=QwY!QkYjpsKixY1cx5R}L&3oqP?yColeOI&0!Sm0D%ZNqhHqYznPAc`NSlW**TM
zPIrT(*fg&sa2ZP+mQmZ#z+oidELJq3y(!eTz1r1d0Sm8$qj1!Pw!YHpmfm%x|65)~
zo)2EJZ|;$WY~P;A3T1J4M;yF$@9V$+wlZIt<L2?jPPYqVl;t)vGcw~+Rdw}u;{pJ>
ClcIG1

diff --git a/20151207/ainf-2015ws-p3.tex b/20151207/ainf-2015ws-p3.tex
index d5e4b52..706ccaa 100644
--- a/20151207/ainf-2015ws-p3.tex
+++ b/20151207/ainf-2015ws-p3.tex
@@ -44,20 +44,19 @@
     Prof.~Dr.~Peter Gerwinski
   \end{center}
 
-  Sie haben die Auswahl zwischen zwei Programmieraufgaben:
-  \begin{description}
-    \item[Variante A:]
-      Simulieren Sie auf den LEDs des RP6 eine Druckknopf-Fußgängerampelanlage.
-    \item[Variante B:]
-      Bringen Sie dem RP6 bei, vor dem Abbiegen zu blinken.
-  \end{description}
+  Sie haben die Auswahl zwischen zwei Programmieraufgaben:\\[\smallskipamount]
+  \textbf{Variante A:} Simulieren Sie auf den LEDs des RP6 eine Druckknopf-Fußgängerampelanlage.\\
+  \textbf{Variante B:} Bringen Sie dem RP6 bei, vor dem Abbiegen zu blinken.
 
-  \vspace*{0pt}
+  \bigskip
 
-  \begin{multicols}{2}
+  \begin{minipage}[t]{0.49\textwidth}
     \textbf{Variante A: Ampel}
-    \vspace*{-\medskipamount}
     \begin{itemize}
+      \item
+        Verwenden Sie \emph{nicht\/} die speziellen Bibliotheken für den RP6.
+        Orientieren Sie sich stattdessen an
+        den Beispiel-Programmen \lstinline{blink-*.c} aus der Vorlesung.
       \item
         Drei der LEDs des RP6 simulieren eine Fußgängerampel,
         die anderen drei die zugehörige Ampel für den Autoverkehr.
@@ -71,11 +70,11 @@
         Schließlich wechselt die Ampel für den Autoverkehr
         über "`Rot-Gelb"' zurück auf "`Grün"'.
       \item
-        Der ganze Vorgang soll beliebig oft wiederholt werden können.
+        Der Vorgang soll beliebig oft wiederholt werden können.
     \end{itemize}
-    \columnbreak
+  \end{minipage}\hfill
+  \begin{minipage}[t]{0.49\textwidth}
     \textbf{Variante B: Blinker}
-    \vspace*{-\medskipamount}
     \begin{itemize}
       \item
         Realisieren Sie zunächst \emph{ohne\/} Verwendung der speziellen RP6-Bibliotheken
@@ -88,13 +87,14 @@
         Beim Beenden der Kurve und erneuter Geradeausfahrt endet auch das Blinken.
         Entsprechendes gilt für die linke Seite.
       \item
-        Der ganze Vorgang soll beliebig oft wiederholt werden können.
+        Der Vorgang soll beliebig oft wiederholt werden können.
     \end{itemize}
-    \vspace*{\smallskipamount}
-  \end{multicols}
+  \end{minipage}
+
+  \bigskip
 
   \textbf{Hinweise für beide Varianten}
-  \vspace*{-\medskipamount}
+  \vspace*{-\smallskipamount}
   \begin{itemize}
     \item
       Die zur Programmierung des RP6 notwendige Software
@@ -120,6 +120,7 @@
 
   \qquad\qquad\emph{Viel Erfolg!}
 
+  \bigskip
   \vfill
 
   \begingroup
-- 
GitLab