From ede233da0e5d732faf4fa7297e72ce5cb976d8aa Mon Sep 17 00:00:00 2001 From: Tobias Eidelpes Date: Tue, 8 Feb 2022 10:53:36 +0100 Subject: [PATCH] Fix chopped off sentence --- project3/report3.pdf | Bin 102356 -> 102219 bytes project3/report3.tex | 17 ++++++++--------- 2 files changed, 8 insertions(+), 9 deletions(-) diff --git a/project3/report3.pdf b/project3/report3.pdf index 5533c34e356df6a2422d11d7c0a4516508ef7578..55d4e6098fc65960d15f4b325cdcab64c9b3591b 100644 GIT binary patch delta 22012 zcmV(?dmCTY^fIZ3DO11-TO z8;Mj&Dvqar{_J8winJN$Wb79amj$rc8@^rf+4YRiemvlJzQ-2_&t6D76M|V|V zW(3n*%@X)poz5;+v)`kW`gYq^^Mw-8a#z=`To$f@ZepT8xZxk(NiM}RDWN0ge_s55 z1be2#J(cAwjbk{{Z}+yYt{5zrar8QCTZcQ#1loUapv_wF5c7R zhr*Tq+NT!>e;)|AF`tQNg zyMtfGTO`8H;zWYv^h0~_nFT?n_TCmC31&?4s6FT=|Hlq@Z_*p+Uh`ou5i=`)1nJ|) zy4r0?pE!GTNAZW6h=Iefs9_qoYU@qw;KK4(MB;YtHIF4mj1^+z#;_7A51ZI!Ge+2kJ^mY!BCG$*g zz!4Nm-cy|9Sy{R@&>7C7yeeH2W|r%!+0|};^nGO;I`cO#OVqfrJZiIl=F{QS^%KJs z*azyPl`tG*&mhc(0w4#xlqRpw5(Wi0C8nuP(PkyIc z>`1VqdbnrRtviCa6s`yUFbt+BWo0@}^Qp^d7Hiv49KAX}Ih}|updcybOs9q=Mm^+} ziUFs0d~$qV%2}ec-^-YP;AQV#PO&cxi{X66*)rbzUIA{lWG?x*oZf#9Hd65V)n zTCcIUAI%_kmDH@t#S&@qtSE`-YFDm&*uqX*XJwNu@eK_0S78EwV;wfaYIMbEi&QMO z@>>?!o9xBM32Rg!P^+Ir@>(Sz@^~!z^PeXUHGoS3;iC^VnkkWv4?X=TrX4R9>S<1e zs0|TxeCpZJyR%6>NtR0cEj#Pg1Q0ETNPCeN9vXq8B{Aa=BS((bo00+~G%_Wn;s~Bd zjB4J1J~c$tR2xTsvl|HLw=`IU1sQc;@78V66xU&JwW?hcmiw0&1}Q*>MPTbIYD1I& z#&xWK@ow{R0LPJC;{tu#U5}6NHMIGKibJ5rMn<2TyjbIIa8gM?fI2>2d4i(JspYXV zeDTo=ONth_G+IUHWuWoE0vZ5K613V-h*;ebPb|ICYCBrutK=+JQsuS>Sh zN_tTGn}!F{Z!AP4IOo)AvbJhaF1|+>f~N`tupgn#p&{=rLD?%Fy(!nXVf9t(>Oez^ zhgMr`9P%v8e$!=EhQ>N8HsPR-hroW={atbQDnV&2sT{T)yr$S)k{wptfXx8$lR2yd zeNYy(DA6&0y|RQ3BFC|@$VD z6ITUk!4#g2ks9PVay1(E77GErc7C5gkOek?VB@+Q70t%qh)0*ZmR2>zX1neV$OyDF zq3Z<#Gy^}yXQi$-cL?_3A-qjESd?2jB=*KN<$Yd%m`JWIfI%5vxrzp=T?-p{AZ#EY zl#YhULk;i!0LI98am_s{iWG+HJ=(+h()rK;1Z_C3*DUgqca4!sfx3bqbQKnMM4c~B z+%R~yMAl%LB!=KhGS(pa>ypNbmT3Gvut64FAr2nSBNwvc4;y`&i&P-Wwsa73Cg8G! zsIHTL{`L0Z9-Tvw54jGBy zJpch9debFTAt`fTeD>ZY3NUg+6h+9znyoKI>@x+NE9sljXRIAG9}mcV28XL|Ja-|r z+gsD%S@G6}lx3gag#d}C+_BmaNhy};J}zp1*~dlPUHjY+5B9vktak{Ye=FaeQQxUzG>Skjf{N%1`;~vM#pm z;gn8P$`aeFdyt1h9PLd3EP-M4BSz$bgRi)u*g~V=V!OM1>2A-mCjU2a zG9?NnVwM7!ehMy>}SphFN08ap3(ExqG}{YAnOP~sSav~67gUYLwlaGaKZ{c-0j zHVi`}#*AV@Bpv0wN?YzrUmmv63;@KYnL5(OOr`r1Cu<8}i@f*On=U1QU40QJ@kN}; zcX9#3gIo(MT99icA>^MG^a@SZl(b}As{P9v>Rthb228q|lpaLp)Y^yQiip94ARCi0 zyb9?feH-?`E8$)yRRddk{r=T|#ranZDg{&MMG24XE?axNn3#|uB!q^%rRD0m*ho z)`1GpBfd-l6J*O}wWE=MA97dHk|r2qhiehK5boU@ZQKK6_LT~yw;|ns!3J+bI}Zj_ z^!EDm|=M$#Mk5u!4if)U{xh3_A}a|kxL4wu8}KBvS^hdix~R)zn|r4D3t z4{T*LU%TtwI;#ik!q!>Mk%+)ZIJ;cbdp)qz&09Ht24G zGA3zdwA%UqasW-VZiO0umpb~8hb##xeX3)zx%iQ85#LN2UAZ z=vS24n^zOj60noduoO7vMn07dq) zJsQR2nEK;FH;zCqv?V37 zmF!e9g=CLDF9nkZa~z&``cY2!6Sn|{p5Q=;Q!G|;bmAjU3fKrb;}Mj!w)-Q4-zno|%D(2OugZqRGqxU}9orU}9o{ zBPUn2bg=>cM-E4>4s>$1w728=hlQvU(8%ROCT8UFVJK&B2Y--uwE-}*0+=~?m^pcv zm;fwHOx*u5w0GhGh#9$AngZk)0Mhn$Kxa5|QF{kZCrfh+mybOE`3s;jp$0H>b92)D z%N-zW3v{wHF|q^58M#;hZ9g)a7})?+>`g3zE}s7rf{M?=#l?Y#k-*Er-{wt8B-M^fTOib); z9gOTeE$z$!W|lTUfP#c9gNug?9l*%W^e;mr8)y3ue}5x4BTE}2;}3&>m2L!(5LN;h zeK7ntKW7ssO9vNc24_o~zc@1f73QPO;&!H@_O`Y_I~QlTzv>gSbOM@u^xc#3-@~=G zvv;@i{tq&3;zHmy-D}@dpQAZwGq^fY}EPps%GF@Z$&0+u6ts2yk(71^RmbQ}MqDj+q%? zYH8vEFb0}i+QI#a{vigM{f$57?_}u#&|&&mKV|^aU!VW})BD&kQ+qob&p+n>8Zo1m zs+_8}2<^Wq|5qs@V($U)re|jb(6g{J1DKgvxqkti>`VaP|Ba()WclwpnEv=m*_qh` zxc@Hqqfh@S+3nvuK=tnfp$7bKEP4Bn%>@Fe{w%sK6FZa1#~1Ve=XL*=%m2SE|0~M> z>!SbPiX>cZZ2qOE`rF|DM{i_nY2*2Ci;vB9b@{jgIs1=Wu=~HJ8o<9#SH#}N^#AIl zTz`x{Zb8`2+~&V+v~-rR^Z=SFTDq86{Jk!J%hmomG#g7hprXCA&jTzIRHjZPDY+^OdqSn!p;uxX8t%wQ=rGc zwiv+3U}x|0;R5&|=L;~icY^zCq8#i1Mt|YIM1La=0Heqs#0g*&{e!pwjADNfH-J(6 zzlf6=z$p0#u>cr9|3M!aWd5L!m~wy6M@;!Y=p&}We-RfGfKl-eVg)d&{6TC0M%6#) zBZJx>^pQd15BkWU`3HSu(E2ap{;)LqgFY;c|DX>`lm8<251om<&Bu`bBVl9vOMhZ( z`^W#U=`ouA1Ag=b_y@9l5crs$k+a1=OgWA&eJM16ok3t>(s6TuiK3*es zHb66%KT_s@OaH$A|B63~bojV>`+t8l>f8az8GI(Z${V9}XWeT>k+-I^*^a_`%lwA7lIQ_V@?<2=Do)nh#em zpwr*6|K}`CT%A6+yZr0H`7!nX;D5adfj|$S3Eb+Ey$NrKReeb3W34crJAeJ*6#qQ= zp+-72z4xk9m+NmN=oIRj?4WI@d*PJPew2-UajH9^HKJGV^R`Cl@b)iC9nU^528qhE zhaGS$Gnm8Eh3CQzLjVekaZJ<5Uds_6`tW;%j?!_U)(Z(hKzeAgtrSKLxNtMQ0_AV`smkx_AHY3nqY7yu{ zHgaUEBkoz{D<7ZU9mhU32ox@1j!)kNL4bbpT*())n?w{w$V!8LupqbDH*u$^T`)kD{i71MGZ;A~u`6_0eE z9mKfIa}+6yN`9?Q^7+tL5o0vLiAp)pAp4Md&YDsqqr%k4d`jHbaP!-e2Soy&sm9r| zxd`}E(;5-eB%fKS@|mBZpY`1%eBuAZZc^al)p;sgw`;j`1xOVK108OQ1#Ds_)(+f3%4F!dG@ebMv;zG23i7$3b zD-mRG?*iNbed&~!8qMT7A#3Ha-~ImQB6qA{uR|psu*Fg64kDzb-ARVzSqu}8_HxVu zH|(@>T&m01|gYSMYYnzi7aamQp$e`f7pdnOalxs&sfoXka zb-{=)jDJNY8fn2|>EB;*O1VIT$9^jhQ|Tg?hO|$8%7++So$JYbA#=F;^o4kagka-_ zyCFsyz|X0D?OT?;k)TI=?gb3RR)^Nf7=y)yvTdU8rrF-_-C-+6CtFQc7t^M%N$so7 zSkPFLNp)zdLHL>9+MMU7>iST0wWM&~z>JYtNq_tli0@~VMZw8d7<>#FbGk9tGXzb? z-%dMTt}cOPa>P2sT04&Ooy&R%-r|P=)9bL00F?Qh>j{Tja8+&$e@Mxk|>W`8gj zPVz7Y{sx#6)1iNd>)P;*%|lX}qP>FVW>xnFbf+lA+AN(*RyQ^8A##Ec^Adr9dOFhX z9##B8oRe-$@fSXagn~VCd$3}3nps@S4%Q}6M4@J@HCv)paL_b}aPb4Mr|QHjYm@O= z%)Vcg^Y`G1MkQrtHrs7VL8$o7ZVLy9uSBN@T`3%HJWE}QqK z&_M?;Wk!vsQzUxWj=)kQ11ZR(rZ2V@U&?`I*OZ;D0mnLySuG_n3}2T-nOyPJ@*fC( zbWxNauG0z6!n)Iw(6TjjSvTp$ca>7~1pzkkCU6HFC^ z7u;x@#$T0Lgr_FdN5>Bec*tLrII-Yx_ZCJr;p5+` zcJs}eKvo11E!u{eqlxly7Jpt&`(Y+COnY0!OdMDhTk=K4?x}ES-;Xrb-vE^+OpoAO zldk0zF~*bhq-FM)<9NEQG(e^SVAhoz;Yp+N1d8N)A89G6&f#v<0*bXuW?LWT#)smi zt%Rp9yLikbf2Qo1c~87f!#V0ItI#>cZ|pzm_w&VIQyTVFG)PL2kAMAF5hT1Sf|qki zRNe|=`^+@|xuS23)Poq6T=$S+0xs))@26DD=g6)ZmzgUJJ5 zJjHb78c|iaKd)RV#ea4#eswatl`PSJ(Pd{3Pa)l3b;HmJ)tYXk#yG~5IZ!Fm$8Yqr zYs;vT!_|DIzTIjpAOT87XAk%bhKWZ#YBeJbxs9Uw_KdVgeMkz|P!HOIHTjFF0S zw8Kp19(>;eFR00}WLIR&6j+cqs{{9T095h|jcN%s^o_vxE+_w-m}^%A<%%}X7*%T< zOo4XFo%+ug^9WnqvqAL9)K5Lnu61y|uC(Yjjiz@8Y)z-FUS%e-&f#A$A62EHba)^u z-KKC~LXTnuHGd-IAEV_kXxb5LN<^pEje0SnU;{Y;qPX2BpZyZeg%UyywCTkocWBLeO3J9_VmZf?;OHRr~MYa=*kk@wK=Lw2;K=)`4s6_WPjVC3I06ew-!CP5AS#Ja_?5X$IzuY z2rGC$$P*;Mu+&4|*CHhMM%-G0pacz7cy`Wtq=62~!xPP;$dCSe+*uVMF}dTLd|D4W zb|Y!cRkz=_z~atf(C2r$cb9^>&d7fEkdgplX86$-tqI@>ewl5Vh2*8i$K;H|SEH2$ zHGd)~y5osAahKdplgW34tnuZ)mcB=jSZP9bXgY(x$~ob#oQc;o{`k5m`$BR;{DZ~} zn>LFWR82TCae534fliPWt#{vpGxZk-DPGUJ5%EnFf5blN$fxI5_|cS6*CMQFs(f6 z9!MC0x2w1b%@tUlHoG6sd6K@GX1;^ZUG_)6J|L>ao6_5YQR9lzLi%*8Q5DaC&PaZ-2a&V8wYc zM=8oF+KQ&gm-Ag&FCAgc5wjk#FpSmBadI^k*#5=)VA&>&XVCpK5(Ca&!eBPT#QIJ? zYa#lP$j&hTx7#wtA~j29%6dl90U7B9BFEFL_uD1ROU3bCb+fL7+nw4E4FdR{0Gpq1 zfqr{-fv%$9^~3j$IdJYebe(`JsVi#W|wms#!E1!R14G&*jId)VD;IIiR2}Y}#3= z>L3exwug~{>hmCpYYNX_0t2e=I;qV;EZ^GTuF2`aq}7IVbxCIvzV}<%cWO8#t^sH3c+Htj zxa){9Q!KD=xd`Zyn}4U(r=&|q`pIFyxUS)Cu`)S&Im#G0n|U^2b=;uhJNI@W9qt7` z>l_xf*nAMRyJUq0Te{WY=anVv?I^4ZqC96oMjg%LC9fhayXlEWtrvj5fG1#&1O?$oL>AX+=ywDgi(4J&J*%Ew{cs{eO27m|)0m>aK82_G3JL z3vl_lAR~E{mHIOBSZ2t*B{wMM4Rbfa;{Y~}2F}3G_lcP2#BVoE^0%*jR{47hYy_oU z=&Rkvo9~B(ZLy#(c@o#2*GCP9cfTkuy>Hx=bZE7sq?7U;Tj6Nic7@=a+~d;2S2&MV{3m3H4w?2SMF`h0nOt_Vx~n9k|^hVhF)TxZoQ9PT8yt+t@d0 zU_@?iis;wjpJ2RyBBQZTajur@6?P4JpC3IY|1~WCo=yrd1N>o_GF>a)7Bagc6w|RB%E?I?afDP# zhcAZ+M)QRC8wR4NSfI>HrbtLHV=qSH;z%28B!4}{d^%^NmA;Ui0i5J3?HR`b){HDt z&DN2WRVD7=#(WbZDQNdT-+8t665*?RYL`|*J1fy=Ka_@ad_l?YtVon^|9PGUpsYrsqWG@#4Gnh z6MwQP8fAzXm|RY&D~l3P%&zVh7j8IHpyF(1?K0)u4>kF+;eAFCdmi&zueRK=Sx7s^ zczniZIytuTmf1c()fO#SJN@#L3IP$1E3&;^_?78a6 zy|+F+tb9J=W(*7J3BZ6)mYL3HjB=ZeFxK_JF`eyjuVJJiMgUaFWw6$3Nk=N(iRo;( z?oAJeeQf$g&B99WNgJ+sKNpDPq7KU3CnU4R5>KH3PEDO$1e9n{=u=ZP4S!0G4r$@i zXURKh#!GlIKT(1>;>JDST*UnV2sxPsc;Oapp8H&!?mooCM0;QKiE0U@ye*z+l^Dz~ zEs7Q@(3n$4Yi@0?nQ8@=4WL{V*lU-K9D4c>$yZVn1D%y$f?bhAX)=}h`nIq4nn^Bs z7{Jf{rZOI3D5{>rR-05|lYc>E@#MK1B>nhlji$Pc@)&BKF(?k|uWEmD4~taO>60@( zzBpIv&Uo80Ym9`RX>#Y;+$0@GqR=~$Yv;|PY2iq`d)d>M>!0&{mVY#DyOYH);UKOj zCzRQ8*h!?z+_!V+!z7gT(-5QeaUL_(kmRVY_hg1Pu0V&@WP_BEEUG6R{K+|c%(_VL zgo%QZ$VOs^I3=7aeY1*&2bHo*gu%<;2O2LXvj{rAVIQPjJi}YyZtQW>d5#%O{1Vcy z!DyS(Kh`shmnOc`$$#u}iHRrC=<zOOC*H1I_Q>11y>_qo1ibcBg@f#-Hd~a=nRC`0M=Dwc z0v7nv+nA7yPx+vHhOwJ`Op#c zrOW07L=A2S^8r0u*<6a(%Ek+jqS=5m!vg&rPBqG}qLB{al7W5?PZs{H%xB}f^H&tg zK1d|synXLSK7X@Bze-$*1|88uptY;WgyjQE=Dcv6#4r-h$!}NRwbjA&HlmAy@`%VZ zbIDWXqRql|88fkys%RRNtZ(X`RL;U7*$Ln=^Wl#7zJMV@16#95UuCg-+!j_Tq(j7mQ>UA2rj61TPo}9 zI#P3s;Vl>6xNzz+f}GFvAAf=~Kylq~9N@%xKLNn7zFa4nSPLHSMIYdUfsJxb??$CH z#ZKp>Ene`TM|=%A7q*hmQ!@9S6rcZ0V&i|Khk0e^1K2te?2D16K#FBelbJkU0=3gZ z=}OjHQ-2c&%c1izNKmF+BdpgM8vw6N5g}>3&MGr_g%KQ+ZnR@mKF=f!%GT*($I#3sQHo$uHD&t7l;(_>ju@eWd6;jdByhSsQczeOLq0%!9geGxtP zA!9<0wIK56oj{ISIwiV)AAkh#n;)mG_pF3&(0{`uPIr$2F!Q%Yq-(m86nH^R9{Ue0 z!+W+yH`RHDWcJ0&KvD>{{gqT)#9k_xo2vT}KXY0N&{L%-##aQ#LLojg5qC9{@{{nk zN6~{vv0`dz{%5$J#F2B-PF+ z0e|4kWw*Ay+4{VaA**ZlrqHwx3Em&qE-jO0)2oG|M({uq7KhZfAa`B`XZj;Jn*35I$&n1=N_k=oMoZ9kOZU{0T#GwsBxxPRLx0Gt z%SB-Nts9ZkDgN&!?tIbbel(VFgRfgcI7Qej(BNZbz%g&N#(KCPD?Ox>YWekUEjKq4 z-BjCyKzXOIh83uN_AboZTN2s3*c`~989sM=?3|EYs*^@gKJ0}AfnCw7_YlsguwRWx znWpKf2L%;rJn}7DgOq0VGL!dJj(^+c%hpNCu25qLnGvSJo931zAwAu%l9!~c&HHn~ z6v5L!kY5StD!*4YtMQJ0CUCEE6sF>xX9JRns_A|MQpz5@AvUt;#A)Gv_3UU65z|rs z4sU%1_v~b3IM7Dz$|051kYPvktq>m$DYUTam%&6*4^Sibp#e|&t+2vf#eZ%i;FfS{ zA7b#qxBu0biPhjJ&Ozd~;2U;qO@(TxEMvmYFGcX6r!OVo%@gPuZ`d+fu@C;S-z28j zP}|3W0tMQztzIl!_r7SJhc6Z>J&i7!+?{P;nG>urF1-B|7ucMRMasj=otA8~`c*Mi zveTzSVhbiSzHd&Li^2}9J%6FOZqMwLb4rNQ?f$VQbx<7?joPf25g!BJuKWBUuHX@vE0v_!jhJ?lgCVXX}DPq zM#{Aq#g9Vq-ZO=X;@>a*d1QLEHT{MC`M!kZ#RwT*>y@dAAL3_+)SX_0-&L={{2IK3 zbP6S^=~3s}-bp3rEq|J|)n+ATQwu6&eWnS8^!uzZ+J5wgSFh4SQcW=zkKrka)cPxs z+T+B+XGj$0A&#D5B1~1}ov{Hk$!=>yWOswfkRs42bP9z}-^`sg=>ZF|tO*{p(xRYh z)hF{k;Aanf;6{tsue)NR8wwBsBX`MX3gbaI_egPtI&X;6hkwm@{KFm~GY}eO3PqdU zdjgn-#5Ts@V$3tQJ;bGb3ifT)xZL6A6T2r9HwDTl+@_mC#po8{qGRWo-}tjoNG2CZ z0fvzExLfJ|S&esz)#F|-@JS#I=f?zK*nnqnONDlRU8w9B-j611=N(6VQR5pzn0A&} zqhmAZ1we)1Q-2`FSDWk<+mJW;T`oDJZ^WMCDV=w0Lmo7n-16%OC0a7mxAc= z1o6ZTxD#d|%_*uoF+z%SU|Id20Bhi3*mH%Xc9~qo^S+A9Q!t@LRRL}H5##aEcq8!m z>Ic^IKYs>kwtUWxzs9OvNe6)PUY3&(&XbV^P@-0Lj9k|CXq1Nlsqg` zG-B|W5=J;3k5;WJ0h#gHMW8Rt`(%u5W&>^cU%IPZDVM9>B1ZN~yEubsYzXsY2g%_zh7zK-+n&2&xMV<*k8th^5G?`53b>##4w1G0CstSMdCqC2Fc}}qCg1bwCyW2@}fdS;Vc=P zn}1mY8>i(JJN*5?xGl{BfBdIg=KGk%)i^qg;kk+jD_65vutxY%Kcnv_Mq>5v)R z{l^68CKHun7pEJ2?^Yv54wSUpBTNnXu!HksPL^?=@%8J%5WY z^2-^z3jeRc@%hem*sMpqe?5eR@vtp9`6@>_5=}m= z8)AED^ctd~CpSB6Fs=qwe!?aw?-)TeYzokm+#+RQ@xMH~cdujLOnNKVgq=7Txc+VC z2r`YNBz_NdVZf>8yeYYNI`Wu5mn=hAtOT}8OqfVLjGY^MctO5I*`D+^uYW_Yi~<{j zVoLwEVJ$%0C#1sy*&8BG_82sQzGdm{B9OtK^C=Vot}=N4;6_7=*EDxk5}rBs0vEd_ zo1pU9HGTCnS`x$Emk4kWRbqu-Yj-z&@C2j1O49?wMl1s|pB;SZFIe7kR#$9DjKFz4 zy=}S5roJXmqu|eh)eV%D@qaxT1+$}e6urD>8Mo5Dv(t~fftfuf*^VEpm8h5KyLmPs zVnI0j=HF<#az*$oJZx~wyFit;#7I~PC#!kHcg!L9!ZG4Gj$FVMO)GX*$^<)}+FQm6 zGhnV&t8ZRe7tQ&9rI#Yxty<8|e2?VT2FJSQz*aJ}>#UNN*MrG@_kVl4bFefS1$O<+ z@SeYOkr+eA(QQR6(QkMuITm9xyQ%uG3dl9reWKE$@)5PM^T13RkP%tKxY^rd zAX;_Q8<2=ke0ueIgWT$aYP8z{fmIJpb`aRuA`qFQ(rEDob*lw+AXiACF>0;2d}}(` z`kEy635gh*=CbSB_Qp4xh)9DGmdxROb(!7o>@mBo$jojA-8$s54e)dLY7N>?Yko=7 zHNWQ@1z$&C4SytDy}BF~SSWb}#K)SiQy2QQ!oMYmvnZ6t-a3XxW(>hd+1J+>Jljlb znehvhHM`iWfftX+OBrN?dPiGPnoF02SXRn}7JS1S70^BSyy9rks!1zv@VUZBpa*yK zB9IEb#gh;N!kTEG&Pj~l$>QqS(PTN&mag!Z!E^PI%zp^|E?T(v2qpvFVYalo@xJN~ zOEetR62A=t#NtmLPFSd4nZ87PQykMmFG1+nX_X0fo7q6PiwbQAuf2paR0vN#Cfj;= z*?fs&cx*|x@Z@xG_2kXa&FnL~N&SfDjpy<2C-7{%pT>G6-nLPj++t9fQg3|6aoX!1nA5CgUlTo;7ytW_7_1<9Fi<=<^@AhcpF|-1FV~ z6s+kp`%M|$V9IFrV4`A>-lG-9iq@KpSeQ)tM&E*^G{*5y%c)MnHo|cYGQ*>+uH>=- zW0j|qDMZn^u_{N%d(Z*wY-(H$1;(dBgp2 zk-wN{vfD_m;%iW94WyGHm^CmwUsd~`GluzAsn3ey^)*l#Igw=K0)?x@e~!*+^@}LA z;6d+2nYkyjzjAh>_S1bX$G?nD`?W}mT5Nl9LJ_RK9wugI8W`Jj9=b&ZMcqPoeJ)V| zaeuP7_L=)i4c0n=iVlEoPRUo`QhXPB4L@W#PH!j@3A@_P2=`Ad+VR zd-m2bN)-yeH!`YQ*V&9#iQvMNCN)HjA3Qh(enqN>lv&Ncxn!yWQ#xiHBfB84P-ZQNN}61ucKcNf*a9 z3;RP?-QzhQJT(=#veUyrrmyOz(yfkm8!LRNZ~CT}dOVfRwjL?KTz|p( zR{qmNY`=PIu{?|mw~;`u>7I&*&YfV_9&+t=^_&RyX)q?j!G$L+sne;2)UDmERF?&H zrp%xSHTH%f#zF^+`T2dD!vM>Zv?U67PTqT` zYz}tsx>4{*v>)G|U5R25%zted`NdF&*_XM42~g_t+g{K7{sfdS=Ex z8uJ`mjQy;S9aNl}8GhcKl-TBXZt289uMl=-0BI1M1f2bRR}NOn(#?oG!5*PT9&`qpO}@ z8b9s&)(1W8Hyvm|q&+BQE{=SH+UPG5$dQ~&swLTR~5VE#)GL|2eDy4 z>^{n*lT2-jU?S6-1mYud>DkV4kf+}{f+!@-*Oo9J_0)C3nT^^f=QS=^%WVHNC~&(o zD@QX;v;AyX=YKjll?Q%^U^y&xI<|n6;|KN4fCR$IGap~%jZu>Xp#|&6)BRS`($iW;_zS5#w@r{rgr)3cDZd?-suc)Ea+NAXcH+OA7#Eu+ah3V5kUaRPq zlO;aam*Oz@OyBa5ho=KG(h?sK;Hi8o6FXR-krFzORrpq-)Xc$JRD{C%qef zLszDGv2LX?&>%~O+;A`8{{#nHS=0oANbR(h>DykVJ@ULU>O@M{VPaVSI{u|4b8(35 z5dVTD`zigA{P7X1Fs+=eNk-Yk3JvyKOG@FR`hP5~^8?vB=np^hmjZ<~4I)fI(bpU` z?7FMOHgpZc`$p&JG*UY=ODsFO&7`UL;)MrQO&<&w0_3bmiP>Qm{f{Y(aeo^2B4 zYsg}&em}rM90c)FDkrFqd2n;+bS2DbxSVVI9=gvYOZVOhv!#r9I8tho=X%kCx}kJ9 zE`JH`ZwxPNj25UgJY&wGENo83)-97^D-5Z>q7Lc+8swWViC=4jR-k>$0d%49fz{lJ zpvPiJ%wz8tvCyXT3Q@USD~Znp#!19&bJ0Xy2Ru00fF-pXr|27kYbm=)eq`;nc%?op zLhjQr_I5F8KO#AIgtx@Jdnw1>G~G3GWq(uC+q84fvJ={17Is`4!n_4IEnY_^Q|&Rx zm9fPrB8@GH1kXJ-I^n_u3O_LO!Tp<77CWY(++!>dLX}e2hw|u-yl)(pC^A)(VjV+U z&P5F1v@u1gs3=*KCi;#f$zUMSObGJG&B`%DLCr#Q-cHh-SOa>-Iwg}Hz#cbYlz+bK z*`3hoG&rM#RPnRrJ6-YEe%aI0F?F2sSy#vxN6CKWZz1n>eioC_21uTW#knD*vNr2w z7~ju1*&r*f3EcRQ3E<0Xzew-iu{;6sx&=&zZs@fhcBcHf*T9=pM;vw$h-cQCuLDqO z`4^2-5z9p=rSQQ=YUWy%6ogK{$A4~szPaa@S({Z;Ehf0&;S$D>=XmH&09KUGSJ4!t ztH-G-^zjG98&N=3(@g`Jkk100*w+z$BSL0~GY*0kDxq(-2J{BpG{~eLh_w*GGG?=Xd!quHGOf__SF^%IHCZ9xo__+{mw^6rnI9pU@1UxyYe^RxR7*nd*VglGJz zV{%1LQ9-2pwtL0mNI~nHKyT5?Fb0S**tsr1eN_EP3c|F+IpV<*rRti!)8agIn zKGt~4;CO7eW_HI6-_1l%>-wBRNHP#Kd62kI_J430wI+4Gf-z>r zHf%`{w6@jg)w6Pf)9-rJNQydYDRGjD50YVM^qnh(M0-w{0P$jzI|z8d2}ktL0!%M< zoeRZoVNjOfGmVY#@V1Xzw0%b;t3jBIA5RnR<}3B0h&{}Ew2p4_+i-Osm9d8XNrFM{ ztiR>PSCH?$z!}6Y9)A|h%!F7m6@z2XBnp*+G~BRCrr~RQu@=56vf1G>k>-EWhvCaxDykoL%h)Ul3Fyh5fH!aj5U~y<^e_XvtwIUp`xrk zo?4`CcveKPQ%JzWvE~X%Hir)`im7mY+*2E*1WM*6o#?}$CD?FDR@?lt1o>h|orifEguC$4D zerBZVuO~6saPkbURvikB@xpbSaEJ5B4qe7I&t5~N8H-UmT-4KnAxYIlUpF)DD>E$E z03@T@U)uy8R9Aoe8Vw17ESz(U`%Q}mpw}e66C7QO+u|Y9{&0D6HL7s|krQ-+6eZsn zsd%GBBl8)a-h3Vj_t$RaT@HACk`y(*+Rl>MXnigdJqTdy=@JD+3U17Xl_ng3Im39pZ~xfW$(wYeh!|%ZD$tDG-URSRIeCOVS@dX5r0rvpqMm zfWDt40xRiQiG?lO$KjDVl*CY${hXRb-Cy1hZglu5%2T^(9E{sINcxD@cFh%AKo5J3 zdK!p|kj;N%t6kmInbm}S-<)!$EjE-x`K^C?|9Oq?#-M3q8a=H$07P)t#=gzm%cEYz zhX36`yiBJisuaU0XlViE<^^{a>r-)%*BSZD9Nh|CPSsO?s@%i6y#v9?SAH|5!gVHC;=uZqgzZIBk;uZgy-;|WgP3Kb1aExosMt4B%dpK_;^e8{O#Syg}1 z^i&|{*b!Bx=k+y-dm3Zva;lkelVq9=jz(ufdgf6-w0kBFssy!L8KQd<^*bRlS2siY zZ~7)hWe8sitMdLvy2U&Cmig%!{%TBYq6~EE!LvnrbX8DR?mFYvQ8U~ae<|E;J%|Y% z!pdbnBYN;v`7}m%$h3#xtW&0=>Pvqo+EYlM`icw(u6(kXq~bpNK%ABuh5kEBh<+aS z$#fo2xYW#2U2b?uVnMqYnK<7V^|2qb$-TEJp2Y-^dj^;(QWX`--$&>v@-?v?x_8ZViC`wNyC5U8{a)TuZ?iOAoAq+8V++*qRvi`U^#04 za2Vzx%ab5)iZ8a&qdsOY+c*LvI@}%_lb$v z%97IAv2-Z>?(OL4V=@G|wP}C7uK8kIy5@n=YzK*y4MUkx>>y)Oi%RUdny^^&g^jaZ zilmRth?EE6X60j9j#r!S01XTaiS-+J0o-{xIEYTMv=WZv47+!C|-{y_tWakw`$Vj0|hm zfRgA|9rKy8KvZ*2Gx$6*yWO7*HMY#c-&`Z|unM2`Jcs!G!uh})0(5aaKgvGLAG67C zUTnk;aReK|l=yq+In#NkuEtZ}Og0G{3Hf5L`J^M{bAOX{czTA;7?^`UuufCl0L=Ue zkNs#_6B#KTF4U|AbgINNgJ4UI%B3shlCCNDD@k~iF05Cj3I80mj`Sq?^DJ@-W#^N34# zu{LMzg_aNa`n^qy@MRlWsGJ59Y=!6b!Npyl%3EoTB<5GsFhHKK07pjyZ$A?9$h(SM#b zEZjsEww!KR3GZk)PGyow#XmH7e-EeKJDaB8t>lt4V`gYPj+ESg>Ky$OY5>H?J%z;CSm!He7O}*q~0WIg!QH5&Td%x_x@sa3z0YnY0*h?T)9To^-=Uf zf3AOATG2?LJDaCNi3-vRcm>wlMCWGi^cUenk%EM+ZWi;28p9LxM4~qQ^I04906np> zz_3e)hQy9?A9ELTu`ncwWpyPlvz!nW(=xT4u*S5x*1x-{q>+LbjB8u zUSd@=BRU=?3h&*?=S;%l#GNa_bB5+}z<85{C!5pI;q=>Na?BFap2nnXOT8R{^Y?%A zk3d8Mp!NgkQ_&ZWC%?miD2Gl$^xh8LZR2GImMa_l{rS`|cQ0y^jCbn(;WKqjs^1$Z zUvxX|a-(b?2aji#pM{cjIMtoT1TxqLqiF=23kbHwtT0l&@2T|QGsiAX6Ps7d?9^=g zpeNhY9eVNd_Tfbhg@h43@4;XAL#%&uQ5Tv4j&Ykc4qjYez{EV}RR|)N%2+vvkfeO2 z&oE{XrX^C)rkB$$jCGDET(tsse$$XGj;dIlaV&vJ_%Odww>1-|s$)4vQ0xQG7^W_* z!u)O5h6Rg@@@q`aPjqMpv_gNAh%FvIJntfo`4fMf}_lfj4e?;TM0)J_4Ik z@KGSv)#7egVr>tI3N#1j^9E>=L@!d=I1p!P0P8-FTuI1(rUCl&?WU# zzi|Z{gfgFH0ztf~6;&W0E-(#~Rdy*j{1>Hj4ReUo(;b8Pd*5}XW~+ZPtR}mE)3@en zA!ME&g6FQ4Djxy^BosmVb!q%(=CyGI8ZtHkLf;S_t9%JIRV$ds3~DBq9^vMZS4D4x zE2j_05(~sD(^QT3(Str~C9G88OV$^T?Gq!)59gjFq-o?x!E)&O_bZy*cbe#1?@fr- z_s;ojxS{+%0p|c1|JZ*7oZ!Hu^)B-9G8UY&O$V6xRcfEnA?T8*qRMm)Ja&~Y8%3eY z6GhO@-urDTJH(srGIQuieHrcM&6uE}kl0gFJ+%Y~U{+jplCe%Ne`SGutO(?IP-?8d z#r$YmT5Py9Iy8vYA>-n)Ct28b=|1>B^;KTIv$NOUb}kV@z<6upd)yOOmXwlOv^pS( zGB@ljK2UpX5Z{^5}pvpB;jChG~sA0bcYMVq=Rlrm`cD(fuS>m!%rDTxPzZiL@*+RaZnJUVGz5l zPKdyNrHmxP5h;b~NFt3^L=ox08?2`il@I{J93T-y34tpSC5`M)lI zA(Fz{E}S1&Vq6XDaySKKcr2t1e7NCo+&CDK*1_CWrGZ043RT;g#6aC>R$Evrx|TS{ zaWwP?-)1%gS8HmGg|G?Ci)H1z8RNPuTRxss&d}gf;np0y$1?UHOYH=XmDU>S z8V+2eZC3;Ryr6rz!gFeY%R>jK-oH!)=KEHCTxgsL1WN|Otn#e@S3nh z8_1y1z)IPT(N^0TqHU#ynF4i{!j^Qsz4ZB30D*J-QKW~8JB*XR_Jarnyw zpcGPcO=XY0Gyb91VHtZ|&_B$pZR5C9h(m@Mvat$dQK49`N<0qG!$s@jftQ0FUkvi` zZJFiqvhX&&fswQRVgGaQkL|;M-Y3RkV3LjsBBMnw+(0&zAR8QS4-DTLmB0mLs~F$~ zL_4tDPH*4%@#q?wR(B{agJT;E2lvW!G9GMAM-xwy4m~OT%?AjN>(EctBq`Cyb(-T9 z4edg`ac zw78~M^a?IhbVRS|nEp-wp%Z#Tr!=G4)YDsfi&v+Kzba!bM-24V=i_WhztEf(w3wiq zl9t!G_q6<$(L4H;exvvFJN?(^+3!)D-7!$&x_t%vk=FbDgSY)H(E50l)Q~lT)DHgR zcwA}mB&D@#2`$*eLhpiq(0d^DK`r)iCHIHN1rOSR-uN5S@cZf;`LDm6sBVc z!jnRA=ZkU-%YC`aNs#gt5~PhYtQh z+`wxYV@|wC?9gmQ>?-AJwWF-?v^1y{SmZ5|b$B1|_s(`sf%nOO8B10$cVxq9WR7Rtcv-O(|!>aPkPrW}Ev77WnPEl!Nhal&TJiF3Xx<+vxM zoY!^Ii7DrOE9uOC5)LMrtGT2y%6$s&d{72+%ETAN6O(&L5sS%TI`nxl$Z`)^;(qx} zSueZ4-}~^_L6myM24W~RT*WxvOx5$Hek{8$3w^j!=$P4q+$i>gD$gCF^ODvlX2`e8 znO3aGw7}!;vJ6e^1OmOZ@Zm$o(!FF(cKp5;zLV^Z^P)t5)*)jYq*a4)c&$E;hvjvF zpX7pRKRca{2ieer>H2UMj_w6CZV?Rzu!V*-Xyg(awmzEq!)P9iU`x{278qq3EXfiU zzCM=417ZP zMldoyAUsAiFhnslL_{=0GBZUmIX5#yLNh}`FgGxW|#Ikx}b fkI3E2J@X5Gu@n}^m#dEf9||}yH3}sqMNdWwlvWAJ delta 22197 zcmV($K;ys5o(9yP29P5IIW;qv;dKEhkxmVN6T!Ig0?(Oq#&MiDP12;ba*|Hl2U>zn z))c9dR9wyZ^Jf6>H+;L~vzr;8y*lFe{+}<8j$cYM6M~sAl(Xga zEEG(0HH+cj=w!BB&wdTg>ixE@<_jf))vm5>xyo$=-8c+><01caDY+EKQbI?}e_#H8 z0DC6GJ(b}si6S`CZTF$Bt{E(sQSdHpTZ=o(7}~#ap=^#jJm8erjF}Xn#w`~zkxVEv zTWG-&t@@qki%154%oifCtCo0F^!Gpdd!DzeDle&Xy4@D}DsA(sY^FG02%fN5#xvlM zso2mlFKoIl^3tBn7g~kE%XuOLdsXj$(t1x-LirZ6 z%cGyhTg1Z5qF93D^kaMQnE^p2=D`*q2^NO&llGvS{EZ#%-=sItgXaBSB4S2=2-3%^ zy4r0?p-|uRY`;A`+dRbNFTm%goPTnP+bE5)J`=kA%PO15(+T^P#871KOpyq`DK6FHUa1jD; zMtN)IBGN)6opB2Rb8#>6v44s<2FFRjaSSuc`{(&zwqE6pXZ95QM}Qv$ALbBQQpfZL z96_Pv9mQFemZdF#F62DOs?s)oW>r+puC|AxA1XVfGkJZt{(9gK!(fV1R$<3!Hgy@zB5gW~)3>kB&L^S^C`d{<(@DtUP(9|A ziUFthd~$qV!da}e+baxzy_a3SnPOjrEQ0sN^OjF>4>2H4L`RaAUZ&5htEmka8Ukbp z+>R{w+hTeC{`o_p#BkLx1lb6tc>E-pfOvTnyRG06`KCzpqaqn`4(_M%MS2}3FUz1tOS-sCqlnXcEhZ5o<#)(L|YAZZbX2y8%z z0Im}*fols6;5Y9BcoJ9|*)Gksy4=5q!7&s=NhWV?e8~OPWKt;am>d0EKmbnfjxfHf{ZQ1vJ;5JhKm2 z#n1pdo+5fF5XY?ix-9kgN=MiBZ{$^4q@^Q;*VqXdpLfnVjWlUnH6$51xFEDKCOZ<^ z-yz=ntMHaeVVD9<qsG?9v|0ijjCv5r;-@5^FO)9H0+lYWfR*i0-y{mN3C(?r$zoqI*wrc#PdHXvScATMz9ZVIXTNJiS*m?oo9IlcJ?O z=oQ+|6Arr4;owj}2&m_Ydm(lMwU+h{8w&jl!+Y;)ZY*;t29T}E>0FA2tE!eL&<&Cv z$KVJ^2}bsQ1CT20TF_m|WoZU=g*(;OE%rX0c4td}K)#&~=FP@oP7vYFv(x08ZPA^P z-a5H89nX{39e6+2!F642sO29d?Sl?5>q+R*(-1|rc&Zz6F##GRRZq~8qoOWppxU*t zq;XFw^vdo4^s}1UU7#6mIw15^6ndg4>9OO)#Y&3+QN^({6BQ?&&S}i$7V#mB0uLnO zn8MzFh^UVcIO-$BkPsL`O#tQvN%~Flmgd|&aDWWDYWz6O!ye_m!!T(EZhYPh90Cw8 zEd;P>{5`z$lKf7q!1m~0YtWS+g~Y1?;9T1^jW<>C1yg~ppI;N*9`gc+CHXi9^I=1cL7fC9A`9juqOpp z;7!L(Akke($s+VAy5b(B3>b3J3mdYZ>tg6L>R!1Nu%gqsGkg61AV0jhpeEL1T<&Up z@}M8nP1d&C=H&ReuxVXxYG{ukorxFKj!IOqP@0ZYWehL3R!=ugt#l${&bJU@;9=9szBWfh^Bad5ISN4 zGLP@UgaC6(xEXVCc5#08=JNHc$%Fy87SSMOkN|1=>Irrn6vM_2!?GmALyfd;>l|>x zWT+AP7;83+K_ebQ$%O7H@%0UB5j(fBMsPBGB|QFkcCXDKG(hT zU<$V#RDmYn#f1j{;~cC?L9!Nq`&Z>6r{`$0Cgw4M|n#O1`8 z$3lyU=(;kBSe!h~tpx0WSHiu*L=Eib-N(1f*IzN71iY)a9l$%gv~WN%_W1-heA)79 zcSDUkcrm;f2(3gNh}rrT4x3@a{?&F>Pg_{5ECQLY9}-Fmdjz_WJOM9%y65r$t0?F* zN}iTz*y(MDpk?<=Vf8n6Si1EeGt$+n+R+FN0N*7oX}mT1yxA3#9mE~fm!lp7e+^O%6=^+K=eJH9B0wGDT$cJR%BoxWFxPO3>Mk%+)cphm zcfx#T{Bpyvhg;a7y9vsVq=CF?=RO7j?rH6sQAY47!=-zobcq%G_g;^y9dy7JsLn+= z<1;?cZbMy!3GQh68wf=lgxPZ@gN!~bOl1(m+|F4urIy(C?0cAhdVo~7|CuV#b6=U) zQBvenV4dW-Xa8xbV zkcGa3SX$xtNFAAfdzn9ubft{adis?9-sU&X;#9WVk&hP~v_;4o3!GRFp{QEseV`DmdbEE+9>5p!=eN?f#1jc3e7ugw8D7 zw<@11;WmA-9D6isunyw-<4QS>Kqj=w+rir*##PP*lZ$ZBJuT7cp{lXvL~Mh_&Nb|9G-XnSx)#9Hw<=q`hgIqSOkb{c;XW(;E-;~ zXow{hJVw6o#K%=(obh(s)s;FEHs1PZ6=nD^);T4(0v3zHFu17tiWEI~w#HhN7&x$F zpw6A6!e*2ap&HMMP20(@%pmLk1A-huTeFi3&kiawFbXeBWo~D5Xfhx%H8(Ug3NK7$ zZfA68GaxVuFHB`_XLM*FF*h(aHHP= z8}8rUe+4qL{+Bb*(9p)p7HI8eX8jFdVrFR!kQbL>aCCK~0|2d!{xSqwI)B)F_ye7R zW|lyM4}*V|4g`n`DFT2W4FAo~!O-5!*3p5%!OZe6j*NeW`DnA4wULO8m6frzqXXPu z^@*C<8ykM~-Hq|zhihSN<6`acA7o-?ZDjHn4I?L8MpbJwJ11jF(SO@~h~WOnz8O0L z*qNA^I61fg#&!T>S3^_Azkd>_xY-*2OUe9~_=AI&hpmk*z~qC5v6q>N@y8FGhXc^r z7~p8{WbEbfPsRTtIA&&mk(r?*z`*#MnKj&>=pSNZlfUuD`P-Yh0<@Su#*Z1m^w;OV z|8zbk%*e*t((RA=zmAwuLrqv!Ns9L0l>e&~7PfH(c+j)60_a)TnSTMy%&c4hPIe}M z*Z;;*0Gj=~4yHf8lGY|R0It8w{pizwN_PJD3{d@hL8t-$8%xgSV{(lFRDT9tn~9yt z@Z*d5|MR&2%jN&yl>Zgw|8>y+Z$;uxmX`n0Q~ho5|Dy+5nOVC1+u~z#og6>5K-T7C z7p(uUsk-sst1E0{X@B&8b&`(2k6jS5{$}~#Hkvtzo4FbrDVRALn*Kd5f6G<>S~N>D zYhwi)2eZGf763gn6Vw0EeQcMZ#mDvG@G+DBQW<|N&;O;OigzeIl{4gjO@ zAH)e@6#0Wb0~kgBAT9u-*nbfxGk{Uz4`Kl@e))qwGD!bHA2DVBppTexf6zxv`TwHN zOaMlOKZq5;sQd@90T@;OppOiyf6zw;^*`t%gT^29k>Trq5!Z($@DKX1H28x)EDisQ z*gtfJHkKcU^nV`-8{1zJE2}^Lf1Mtq(LdlvPmKRSmJb3Srw4Q}{fEg%qfGuJ`3u=N z+5bcT;q&bu@FV9RZ?+HCrf#;T#@7F^_>h_X1AZK*`9I(XUyFah4^o!@fFF#l{y^pr zHvfqHacMEy{K@@c`|+&(L;X>^?H~1rukFXnVr^+`;(z!@%KUHX-&ewa#UDl5eq01L z|LEPv!^&v)5BNd+A8ld&VCnG3|AUo-<^S}R`6J|?1Rs|Uqob+4@t<-(mWk2P#pWLl zA2FQ%0Y5t9{15oS*5w~3`Qh#Q5BL$@?N2oyuI|S6f5-lxO*M3~|KRTUuevyMyS^ywMbdRW*%dig+7_e|WS6~TA{TXjb z7(mIKpg7oXrEJf1ag2G=ETu`fkAwidPaf4JK_qRd2)RQfrbltnqOTI>61f2Objs=!#e zEU3RtU@d1=F%X!a6qZMc+Z^)krs!UQfP12Tx@0C4{@AEW*eKp}TC#NNSI`$-mw!-M z-Wpci~>@$zu0@PVH!KtIIKn6i}(nXkW-39N_14 z^ft48LV}zV61cL|LviRSkquU8x_>W)?~HacQFbfdUg$E|`ZWGipUa8BHhSPrVP`0| zTF%LSfm(*o$+RST-hXCDbYeNTwMSttLbu2ZyQ!H7vb%c@ZjZir!d;bSe3g*3{LuSu z_e+5bR)G7yA~)FlFmxLc(!%yQ!}n_ zaP>iIYNiudc^YEb1cuba`VIR_YFh=%fdqS7r+z=#KS#LB!C}(Ic{PziNVkVrT7XDw z_ml5?_l8+nA3u*yujobw1%KxO4Wt^OTsa`}OYSkL2|#>dEHG404iHTle8nmL3>q-< zq%=UKja(eqI)Ro4(YHL)mG(krdx@4nJVipVcFk26sRZET)V%U4$ykfkp*?js4#HN0 z)=C|L#f7qJpzoyF-0j|CD?}$-{;npfNne%JQ<*xaz9OAu+faq@D}S%KG1ptg>Av7{ zLH@Lk86&Qo_|XsF8<B}nOmflN;aNt#64wZh_R4r{wne;%d)3G z#%^CJ6LZb|1ADJ7e}Cv{tDnpHMfvsUf(q zk|eU}(e(mpC+9+-l35et(T^2uwzgf8J5h1hqPf zg(9^w7FD>JPAd-OXvK^B{>WA6%x5art*1dX;1(M!_mBcj#f4jRh-JjSz?-+B!Bz^{ z#*RiDbBUlKk`7fZMksX`UDnxzqP;Yyqmhe_-I_#LUzz^0Y)R8RH-^Xk6~BR=AK!ME z^DePjruDggaDPcNYf!|yZqV}f@wPl1waqA%Ie(m+(eDZHjhGI75Uyj*D=HUBaf0>| znu}G<1JIeM7-hL|DpA?cxP!;s(SB-v zB_lwSKmmoCt=eRPR^C=aFVxW+z@DTPqohg3Ynmgn;eV3SLG=5XO+g6lyNjtom(Q0+ zRx>fLK>r3Ua1A>VkAwRA)jbbiKOhb}lYa?R%_+91BOY$~s zcVisD3o~0JWPF$93rzX1vuAChZe~w&iZgM$K~|)AE~RL-t>7kz@TG8`Ij~21EpX7H z7p(laNTB2p0Q#acJz5=?fFn~57Y`w1Lteg(N`Ggs^f6=w5RrmSm>HUIPY0pJ&N{5U2oDTAH7dB!8!z44ccax#2AlK<7OEncB3g)QUK{XfJsMA zs2h#)BPf#BU6`4K8ixz82^4Fa%&IonnHR-fQxQ*BX8w>#?nKEh?T&brhI80SM!tQ5 z&ws#Y-22yy-nta*tBAj(05ALR0!Vlj1b2s``g1QQ8T};LCEwCc63#5?&RKZyU-yS? zS9`(hpWWmE5gu1pvH6}k&id4Zy$qtk`1q{3%Lj?lWQjQFKaOBi+W~Z}KDB8{GwTjN zGexo5wq}*y!x9R5RS+9}#|&$r%UI6h0)NQ;Ufe{rW$QmFbA4I5RE%n$&$KtWktouA z(Pn24NhIA}cE->O`Z`%pjd6%6y{BBDi(l_;-I7`%i>vWW_nG1cClGPKi0mzSJrQ2l zkx?DhZ^>=4%crXky9nmGoUK_=+JkzTZyY2@U9{bZzs&~M_+&*h-F7(<*DR3U7=Kw% zAztR)AjY%&j?@;CgriG33Q2}YL1T2&-2kaDTQk^j=HBbw@0^+(OJ+&hM4knCz0z-I z3qU0|SFajdMPG0H-eK>P9eL%1pj6i47O7%kiOJtexmEk+d=_DYYucawJN0ANvr`RR zw-YV8Wxdhu9$Uk4vwMl5j6+BQ=6{2V6qFV>WV!PM?n}@?q=0&u+(U#c22CqswH&0` z#V;9?YZLJ~#v%duA0T7jZBQo0^nl~UIctbJ!Y7V8x9De1yA{R>ZHGXk7Z)1~?W+Wa6k>sa!+*#VG6|IQ z;CTITlZF_dN+Z_pStYy*R6ubKDbrSRW30PLhjjVDVrFs{D0Ar3n<0EReAmPuI$dPt zRbs0|9i&o574cf@pLzm3pkbf=I#f0~n{HSt)o|h}=^@?5W@zwV^*$BKHkH*s@N-mlAHo7qmVAediEjI_@>?Mt@fl=c>+DSwQfJ zrOKm7xg^^RiuK_hy)o^=y??)rk$pGsK7=mLMp(i-Baama!%_=;UkR1i8FFs&hZ4|N z=H5ExmNK?g8W?LFMt<$1 ziMa-3n}!4UtE@fl(ur7A{aNO`%nQj8@fnQ?Hf=gFsH#v{+~f!t0-XRWYWJ=yXVPyD zQoOErAn|oLU+6CB5Zd!A{BYv1Qvp_lL0&Us!lp!5-5M$2i+{qsc8RvW!S?Pv*_}OK zC-t~MEMp<=Jy$eux(%AJD$2>}GG`@24tvQiws7OFk|ZFtu7C?jf~`i3wo5_a`ic45 zLD6ZsU5Z5_UsCW{Bt1Zrxji_ls(t;7)h&cYnGzxbb7y!>kTf^u-Ds_x=@-r8Qq*8f|UOBPeHoS0Z~M3r4V(dmz`c z{Hfmoc<}jXxl^KbMlIZ=?MCWTd+u82X~CEzD6f9YuV{LKU$;6u^w+1DP!e9sWQ0IZ zg!^q9gvCY+C&~+#bd=YsWH&z$@spIm4cnjfEQIJS34eWFk~ACjSi&Nc{B8ni@_NId zknL>As4v_*i8TgdhdF9Gfy|9FYL|}&bO9tG(l+8uMh3A!+}1Ok_p$5^6E+Fmv2u%e zDv!gTkErv|>qqMW_ zos9T5fAid%wFu$qb^Z#&fU^0>zJVTxl1YH&-)vdy37=7;0`&!ek^U79?&({yD+VxAL}~`WuMZ zTYn4O6*)bal|37z1C|tF~Re`?kVSnV-#l+3;>yC-5z}ebfvwx>!Z`&eG6n@w=o%?pl&eG~q(xo8%;?QGU zRrfGm8XvwGW(=E7I~g-StW)-yc{`U1afhFF2o9fb+za1cFvo%|-l+3-PnYqq6Ve7z znlUA#j^K8eQ2`+^3q`(9j;}0dJfPd*t z#qZ6vL-DgH5JNL8PE(;no4 zu!?`YXG)`lbK~jsw4G$V?gry99Sy9%@QK{;3D^DV}`0PV4b$NBlCm!>YcYr7dd0LAk$dw5lZ&b!B?Pn zc@ZOWnZbE?bdrE6<6ma5hksy}{EaV%72AfpKZ3g#68j*m-=AtX`SChQ{sX9@4t^h7>kfqybD7$G6OjJyEF z#E{n5NV*DnwN8f1y&yS#Imwq=QxAPD7+EA6Ey5@(id?`Ac*lejQSUqldA{z%!B=)! zc8hx~mC|9{WgHZ6!J$#o@dsF*;{VXJvlFb=#|*V&%I*u^ANg(!>l*j>pvH1+ge5m$&nC*PMw^ z(U#NJX|gW+8oU|sp2LV;54p{k8!p%^q-`VIo}*Lk92>cdY+oL$3+62Be|t*?f`~;I zSl!J1PIImZt1_VL)k5#WhWmo&||;+1~Rj=~X7uC1w_`1%H5;U+z6t4b1@fS=OiJI&Z6U z3pk}8^aVamyY_8gYEB)JR>D?ZG>i7jOBo<^-g= zLo%r^a(@%_<LEQC)kd>~3 z7i!YvzRSVs>_Lo+v++V7s}xtv-QbQ;j>Jr8QZQA9#+*1bJL;N=Dt*zX`Rcye5I z65f2Yz=;lEF5}Z;a2r)U+&f$s_{i+LJy)q|^W@M0!Ojosju~=zX>Z=OQP-3mCpVxR z>2F0ttj|-{k7P+&dWHVI6|HYB!C|UeJ+elJ=ckIDsc#!5^!hPd6go$; zt$#e}G))|Fw=X-ovb{5I&k{y0w=(!e9K^Ncgwh+fTXA%0yVkZnn1nLk>Y}us4kJeD z5*(GaZp_dIW$4fvY>?6t1+}Dozc{B4S?B5PF;P(B*hs7qCxnuuu9s2qpc1!DFHPQ?X7zUx*DL!-Zpo-L7h?H8vAFruo5G+$m(Eo&)Io&m7*smj^K@*p zhuzfdw7SQ{;!3e}IUpuQuz#mO zfFe`N7+CtH$?9rZVl?}X#|Qlc?qPO95JCOu^I|+$)xd%tc6qeiWh4;}tMr0|r~2Ng z?Cf}uc-60~CS+B51l%XDywIs?p{Li83mQUSxM++;ROhn&_EX17CWqp+y#5@dVA}UY z|A%firz&NpNSJMigrE2Qqp1%o^MA?c_Ut8vk|z=gI8V>}f#)>Q?;T zAvwRI8Fw6eQH~E8~P87lN3o0o(1n1P-P31M#ZAm$W@MiOGpK)qZ{T)tpAAW%|Kz+Vj z+rx?Wcm#l9C0xZDS_mBOMC{>%femv`Zigo~L``NV&!2Onhh_$z3Yp90Dt_}A7n}V; zV(D|OgL!G~3D`Ig=!uk~K!1v2O_m-%T>!QIiqi32XGK*EESt_#FII_ig|Jp@%) z$A>bcVr`^6LYb03^({WtJc-SWUJu=pYLY<$>KZJSV@Z6P9fW z28G`!g1J!xuD(Yq1+JvHJQT;bpW{9el_%8)sn^sY>uQX8!5|Sa?H1vnPYq=?I`3V6 z7s2aByi`1%b(Z2efE(J+B+z<2lc#yEza*kyu)^u6U(L!stS85+*_>-o*i>8ed6#J)1K0{lV64|3TO^q>(cqlIyGm z(c^jlcTu9*b*|&L)I~-eUX1Upv;K&3)dW)Ol=4CisSqTSspOL54AqL+j+f6+O3%M! z28>q|K4*BL>wi_7joueEVXtE|jlazFUME|cWGFCSum*D>WH}j(o998@nly?vkym;v z2nu$oD(ZhOhxhpj`6h@!~AWRC?i2Fe+; z2E+@BiRMAn-28$+a$fQc#DOnExp)ryTPSMjCAnJ;ZkEJlXRZdwEM?vB1IPDfo*i3L za10Mb$o_SjXn7e@Qg+8=`u6=HxO96SNQ7tLxxFp6dRp#|b#C#hSofAmmh3hn(V_wW zZ|iA~ynj?`MAdFYvF|>c+v+vOD~Z}h9tG}w?RU4LJD{#O`Hia^YpHLn_c?aU=jqPbRim0!G9QoVa1%}a&dBtAOz{q-6HX7g0FdL zt&<#FQHe2mb>pBti-rHLs(Nl1V84Kq5 zDS!D&pJ&F4^AE6M41^<=?#^0Hqc4qKEBrij%zBlb6%QTb#J(WLfo9v{MmWa=GN?#} zI7e|u{S{0COf$ts17)Oyt)s0j3^1E}H7{2KoHG#zG(DpM)(~!z@fNZ=()iWME@K!v z7Xf$G0u7m`9MxLEsYa`hz2HANa=Qk>1%FJO5aR9TQOq2b1 z*CGT_@X$jio+8dL!g?{lS?I@{`H{Pt%3y9Y=V8%lkGWe`XruVMAJzf~q@!4VphKgt z3@SV`rl9|)w6E;s1d@RzZ(H|0kOn`7xo{A8XFG_4%!-BeSnh*3LnM!Qv`BPY&wry? z-p-<&ysS%WDoNeHKF*H(1opKp%*fwOj>b>TxvWoSVcMKD@OkEZW4E0Wn_;n@0M}(G zG`X-lBn3z(5;4f+_E1iNo!qw7cOTjW$)13;jXO7_zk(l^0SZ6kgQ61o_>uv$oarbz z^E7X1eby&}Mnix7SeSJ=mVZ>>E`K9*tn-!54}A3vs>bgNBWVsV?ii<4t(M|pQ3`Cy z9UeKdy%hf$d=F-%)UWyDkOJFlERGhmQPi&s0^3gFWM9dgIUNn%5d9b79`dZ54Ntn)mZ^t*x;aF1zU$2Eb%3@f*+lK^$cj{=3YoTW`F)TVJ=>0 z0>eT`uJ8`8JOABp>cLTTH>MQh*}CyLAU>i@GcR$m&X3z@8Ek?qL)KystxZ;O2u7p# z{wu|oQ!PH^(@*=$omtYs)t~D2)q{669v-3&Q5+)bVYQ~n>k|9qRiClm8ZE!dBA$>M zKUkxT1@(CJB%l>CgI4?*_)C{pNI62Y9cRPLIg~P3eC%k1 z@b+C4$~1hP#~hW@Y9P7H0hC^@?A>k7O~O?_^Y}4FM3VZaob!y+`-#V(e`Gc+ zp#2Q9&s8BTw6UW?5o^!YnT-P5ZpH_@OH2ht13A?Tp_R?`T7S5aXmv3@(h`uN-_R?a zhD^XHlx>RR2rN~TT%xp5Ety7ylXgkp0QHq#dl7<=%Y)%!7 zxj}so*`YRN?`B-ISvnHtt)irC z*oTCxI0)O1-G2iXMyma`V9c?$3sXV@I&AS#U}{koH$#4rVqjt4#ghxYHdlOokn=+K zTIH$>-CLqx;RNHT?XERh_d&}Ey^D-PWA5MyukP%ce8wo{`FZE^yAK89y^XJV?>UGH z_A1B3T@GGn+V!@K+CLrB91oP~wiDd;j9a=YID!|aXMe*Rx_^KYGQ&g#Tw-Z(Osw5c z{>440Bl+irmSoOE90R#^$vpN>)8~E$?1j?^t?7P)vRg+lgJ7hZ7QgrC??2lT>IogD zSWa^skbgVP7<7_6z}3uMF_hIS`c=3f>xNW67*RDmu!LlhBf$?RaBr&>5$bSI+i-t5 z3!p=wNq>JW5P?n{uDq+Iv%%)i_^Nk&K|9D_huxo4^NAuN4wI?isphV4i;mbXBK3OI z{7F{+b}YIhE_;p-uWhw+UEE&d7^;Z&2rL+NyEsMdBycwzYm+42jqq+;#|16;Q(gmx zrQKl0>HB8Kq1aFO0{^yq+{z4c_0JLRWzIXKgMU2gr@IfkHU$;cK{cWbVQS*0z+Ybo zf?~sCVqMmy>u&I-6L3AczH7(7RS~8RG&V&dV}^->T?0gd^l#kI=PpY&yq4(*d)xsZyo0X))Rn^k`M_B>llgsa zAXeS`QhS?zlHOw_=+KP?6?u}tBUds zr#?8$#!unIU)9uhrjXpmz}SL)mzM)GD}RX`a=t_7NVNh^UL>!0dxMo%S^MUhP|wlH zjk)bwv3_@AI@=rOabw?ktSpo$9&UT}X8`M64)9xFc5jlcMw?b*p$qxeaI_&2wkH79 zbE?A06XTn{245Uq2cS}q_8JHIU5h2sDa4iaE_kOncR(RJeHl?2Hbrg!W#nd2I)BH? z>DkI*kQFrez@uOED#ck=+a0tl<^T&qJ1v+~uAJ>wKUptMtwn8|Vd+C{NrvXpRuR~v>gD`>x|**pfcsNkL#4Ht-8t+B?5=5r(kk1QaC5=;t@5mu(mRS z3Wa2{+agm-gJJmkSB2?O15-b%JAanP(AK3m8J8dPlB8(3+ei~OondX$?*zI>=PZ$D zK<5f#UFkr5IDxKjS++r{3-r6fk_q8FR!VNkJu$Fimr{&uDibn^DEi!vHO&}=%^PH9 zmW;&BRq)>+?w-S1*>Nx_A7K)%jiG`!KS6_Y@ssfmT`o~mSgbyfRzEbg9DmCt3lI7- zCCxj^Hun=nj?LABb5yUPq=OYhQD7clKuPpqdF}UNZBl@qa=<>I+Z{qckZbj?U#j!v zxrVRcU0@igy|K(KnekW-ooVJjd8KphlMRIftk{y!(3@t3(8-GDCSFJCqR$hKVkj*t21dWI4)pVMqwC3JWY>breQo+Y> zz0pFW)6dw!_)e&{)$?SE6^((qY{ZZG|d ziz>P%J__njw?MpZnF5#ujDI>%$ejEu?2*`|sxXQ(0hWobEhAadF281hY2-+IIz3ue8o?XveN7|dc-c<*Yf zU0cFrE0ce5;&8I8)_?a!5u27%9>_EB)gry<3Xy$f(~bX?1sNuD>zJkm?YkI2R0jK5 z>>OqB@Z2P*r;&G%h4wNtGuD{NTQTL(_xH(ntAukLgWOIwVx?!D@y26!3=o-Od9tU3 zT2b2$C)h6u_CkTr$?<-Hp+_rhLhKXTgVZGOyPabW?h0p^jDN`k`R|*kCq$G*>dI$P zUhBdNTq1azv)^~w-oEke#SFs#uI1KqklTPmg5a?Zd9}X_&veL*Vqp4egT04Y>NdoPoVgsP z^fI|*B*~-$_fV-T@Koci)- z4jR;3GUlgs!!E--H&>*Awu-?&9Ro0)(i70 zQh)m*nD>W9&~7=tRwA^JC0qG(9+u0kxreU))Wf+BM zpdnTQd_@JVyiV_>Kr2>MpB~F5U%)cS7Ju69s%mmsNaPn$@SAkU`k%k_P}%v&6DLkx z;0T=t@gklK_xwPJ!11XQlu>Qg+0p90YRGmE&c_)@zNA&?KYzzYukbv~b9oLL2z7zp zCio1V)FfCETVkQOzMLtC+@ZehECK1Zt3&W?&95As>s6W39B(a60lS;gm=+14I)BQR ze>Sr400_^W&p?O~hQ`(!LxE z5|!{6i479Q5J|m7vtmj1Xg6DPaT?Zd`GwN^2L;c;2R(&ou8l+9zI+aaByKNhm}itU zjLj7HAa9zDY%d!iO9dr&nBr*YiGPPegifO--R_K^S%U!xp#77^Q>9@ix74b<%{8Gn z_AXNq;|`Q@5%>oFuPMw9!Lqwl!ZO6}oR}To!X)rw-182?6al6;8F*xBYNHCJN<^U= zV@7iAjy~Afp?*_+5#7m`AYMW=kj!+3fFPxVTv_F3>C*aCq!GuRTxh9#k$(xd1nhf& zn7dS+_OSa4+>;QudLRy=(5XL4D?UG2!g=&9UPuV*kAYn^`HHCB>SW7s&r+%*Rg;L5 z5{-+7)u_avluzBcl+#Ww!q3Vf7TmJb{)FUY#vGnd`5uSphbMWT+)_%PU_NN88s31t~L8%-+y+h@sTa@TK4^a`6PiyDz#=c_0x03H<4SDk{?sM6bQ`V zVyIf+(Er-OWbt4#%}{rNCt+HSq9XmIg0|qbsx%FI{Nnul!}m~=?;?t(q1Ss+eG5C0 zGZ69wjQ}a=a%BpG@b%cNVEod|{8awRJFi7$9;W$rI$uVGv9Nwe-hTmNyRB>RacjUd zl6B}1yH8B%*u!;vDf6o+!*Cg%`r{lZrn5h6+GwcGf|irJm28Rgo$Sa$@NA)ox4hZ$ zj)XEC35E5gF%mgMTxiQO-u-iGzCnKgF?l;=S59ikvQBk}T*Ghk&^EpA*7UV}oeUD2 z*)(Xa6HORfX^*5%4u7j+zfxW)c(nQ6ki;e+47E;A0?W%`v!_lo@o3OjrrxqP_bdH3 zNSsWpsl7J{GCKT;EIuuzyIW;kIuH941}~JdEQoY94r+SV(Xd#8o%rQbjSzOfHZDvu zKPCZI1#>q2DHrfVta6(Qy{RnhI0>|&5p-GHM_e6U%rD@=OMiNu3fmK!GB-SWWecG$VWhs||fKow`S#pa6J{>}( zkT9r4UO1&100I&=VS;q^wXIfR}G9zL_c)qd?f!ptCox{*lq9 z{x-h;#D+L6mE{RZr2G;pTmfw0#kvb7l|SoCaPCep8lR?2vK&tGVO>bxu}@yhtF~)E zLSWAK*mg!O87ycI5QJ-rbW2BaQ3Ul9SOeErP6G0?+<&&yj3VsKKx6txlk<>_!)&x+ z|ACk4HO=)P5ZJ}aHsRZ=Z{oL~l2sUW92&?oGiu!6J;Rt4?XW9#1z@Qb7Bd}k67y+E z70(`~WeIe&-3SWpcFyJxXcMX4+Y~klQjvcdIQ@cg<_69<^Yay@^sX$TQapbX{_$}| zM{#El(|?#LAI3+H7!UbbjP#2lV&uaI7843ug7e;O@44#Qq)z48fNneSiduOH2eNX@ zq>i%Kf950JeI>X?ic41?|Kvs@kllr@&B07gY`VlU1J;@?8MgdKmGLNG<2x*V)p9w}0Mc=ZhlaB*J&@6Mh7myQioe1U%%) z+0ubxsE4yCDLY8~H)X(}0-<)_x@LpiT6~;vLD^D(M-bJ@J(H{DCCs-rc^1hoJ)g+< zbRzp6nUTE}9GdUeW)Zfa^%D6KBmHrH{rf}J?FwyTV;!fyMtB}YCFubK6y#@A!Sx7KP6}g_4~Z_h}8dr4boq#R4gbj>(c$4&Ik% zNnr%V+Dk1|V@#cBMK%-?em$YIct`N8X&GvM``2I?fi0v!jC#^@!-zAVNi&g-R7VMz zktJPAY-+y)NoGcjRBhdEbI0c&scWVdvwwHY(&RIFPc~uA*GV#=d1<_PrLU?z?H2a( zV^iKs<~gn2(=M@>@+L{LgL?#nAW%O#&;#I%4Av>Bi+e%4f+?8+nHFa06JrSldd>Zf z?*~zfkC+lRbDBu{<+g6>Ax-;;83aIavOP-Dd>AewJZ18ccnm7*eumtdX6^67GR7uhoSHJYb=WiFQnj3~u+T^tYU_&h$^e|No3vDSaiFVjh< zXmB?rq;ZwisO&0qyeCQT`ZbJTxSc=aMs4WP8gq3iXwxT3JnBH)T+T z`tsv)JQq1P2+CUeC>$#OsN5?^gcrm6lRwrIi-pTqt%@A0XeE>^a1A1o?pc$=aG-)v zg=PIyrY;yt9y9;tBykLj=K3r*C>8`b-)?WF4&;2BGnrtZk2xYTl!o8w_~0Q3RT9uL zi1w*szswNn`8E+OFju;f(_f6e7I=Sgji%m|7X*T>DL-e!&ZD572}pc;hN+}pyF+WA zQLAZ8*;|v&b}9;!4lS&rzaZ$sYD`{c@(fud1Jl~r#xwD~H+b_~8nz2B#Wn3CExySJ zX^}eqPSV#}RBN5u0jb-?Lq4~8mqOd|8S$qi$rO!=<%~#v&|fcocrIn~o4h^&{0oe$nt#lDtJP^!S8?Pm+lQ z_b-^{cSh_XejVR|&2RVkiSI%VO$g(dfmV5IgDSQm2P9o*%h$BH@`yU?vhsJ4-qxCG zOt=N@iTX?=Jp#=6$VSgx{iuJ354sZZ-m5K8Z;VE8J`iiACysSAOCF0@_4d18T7!^g z1%6oCkSAj4YLacyZ-)QEOsv81OC@sBqHmR6>_#%_gYPUot!wVlXRLJhQ|@f9rB{j} z-SuPFvT96@+H52Y5n0{0@LQ0Fqw;69J;T9Qn5Es?jV0+)Qrs1?YsY_juMN58MaxSk zQu8|08={=SI%##n{^c!%OCqC|BL6MUj0V@jg|6$fc#!TpjYb~m+U@$7+DCpEaO0-D-!5^ect{d(a-Kp)){nI#Fwdh`6fLgu zJ_`iPv0-0VA@4fZd4@wVRtg;#a02^Hf&G}ClZ=|WjZbiUuSX~k(J^x|@Za+r*;QAiN153o0jj;h9={ZaXm%YpwgGF2lIdamX*+`@^lV2IO zsx$4wzl{;`I%j`65#`Ubx^&dZ<0Ev!-*6?Zh6yr9ep$OXO71kl3gHlp!iT)8u^X_d z%AAL=DqWJ9!5DVqqRkSUX8F*}q4X{DMXhfO%HMDkWL)-`H8OW~O8Tqb=C27^i@oK` zP%an}Q=O;XBt8r$qkP_%_EhlDN&_J8Q1dkp=OP`m2X23@Mwq9KE8;X2^W}kz5Mg-| z%I;_V?S;v+xjhbF;j9r0Dp+C^`I_ZLNSD@%4(235>s}I3rHhpZh$5W%lpSnaQpQ5^ zawXp`Q=WNKFhSB!v>TE#J8Q9qH=8#KlPL`TA^2y`pP-O0c$e~ZjcP9xwZLDTLqzqv zl%1BbHFSSsf)gZ5ot$O`p0egS4j`tReu#a09n>vHUH&rFHz?|clB;r3TeK$>K>T*n zV8G-k7NW{OoXW<2vR%9STT_&?wq{OFcaD0J2>|Mh9U5srfccs9c-$9RH5wFIb$~bc zEn{vVp2b2YG-#e#m?@Y_!!}=ekuyTIw6JMd^i_Xs{+buo-M3rSH+ZjpD$Rn_Kw2TQ z)d={F89YY^!p9)P_h^Y>)XnEtF#V4O%S!tiI)S{{4wF7f&}TO-Rp__3nO- z@t=R}C5PraHdS&3J?P%58u)u-AT)+WzM$IvO8P@;=^`EpS}atU-81s5!-Pp0L(N<# zX6~yzPoBEmiOcya>-ziTVgZ7a$P@1kBB&1HbzJX}S1pe2kHiC*HiF&9kUL~N>B6~$ zf@@#X$qpx!+23HZZP_a_ubbI9aFMe~g}Z-e^)Pyqm1TQ!##p|yY7;S3Qg{Rpc#Ck_ zGgY}5%Cby-XJ<5z40G(9%+a+4e0A7E-Gu4S$m>JIYRsz9V(;ga6kH_xE_QqwgEZ`r zpO`Gfmv{oPd=kiwtCe`-F-)4fsEGz$3=c7t3naSl9c7H^4zsSxPCU<286*?dsEvQB zxzv@v>4Po^BJ;OE#PFH*`>NvE*v&G(ASt6Kos;zAKVPY&hsc4FG@0EFd~j*16!iH=KT6b1#BC6afI2B|$-b2Qf2YuGrnUQ!eqG;0Ho3i^BG&6r+!KVPP z;4zPIAP1Hv{ro4bYdI4Lw*ByWtX_~yo$%L9y z%=*_;!)^D(n_L==Gsv zR*9tv!Ra! zel^W;*tqQjhLJATIii2s(wK5?3!+b@d)R>?Wuty!@hc~m1)gur3|U@nLvz9Xjut&^ zKT1e-gVyV|E2th4JZwzDg8eO1XAGhgc36sCtSRY8{7dMH`W~G{S;cx#Z2S1T!EizH zajMc<#TyE!ZjlugyMfHxDVEtrvcuZf}K5n9$OiaIDLVFtCh+#mpmhfdz6ES`mwJ(Cfp?Q2w#;EBOP=yxX55aIWeZr zF{PzeJ){lVdq9-z9e94Xn$9-_cI048)vpr>>7mj6p)2`?U5Bbc>*_*XF$F_PG$nX0 zbi__;nnU%;)Ng-qRc!nyFP5=HYi^yPmo2~H?N(D?$cFE`MQw5M)9CF**UFO~LZ=9V z>`C@>h9}Qy+_DO|BQ4d5u(p}tU!$gFzA22Ga-hCa2WNu58BM~j7)b1s94~zOPJk$u zyB|HcxLzHlH6!zhT;y`+t=_0%43>kI;>Rpf(y@9}_nUwCCPj5jSxu-FCR`m>iD~pg z?Dnl=FR}5}vwgwo+Rfm1r`@XⅇI)?n*HEnDU)Ip_UG58-w{ROt2U;SXwH=<()FP zC(sRTvVeEUX3TRUOkNY$Fw5zjMnXU(M_HD8_2%2A>Wb;rR*j6>L@$&8$-R~Z-J@nc zmnw09c2IxVp%(RIsGFCb@~qpNrR#~v!zjZd-ZOgVfm@z-O+gZxEjMC9Qb&4o5qt z5rb7~SrIsL4R3DlZ^0t@9y2!#1L=!@V}g&=L=S<~TX8pP8p_h7*m?9l_6qQGG~z^s zq=Oo&lDN@0&uL$MsM>#5 zOf$~lRd~{YNeC@(2JHik9B9SzcewEYIWbW%J?Fd|Pk_i_=hz~6oM^kB6I-%K4rf=L zD~2u47jEPNJAqyo;!0zy&7%AQZ|ZBP2R|BaRE9SvhEJPPfT`|F0yit>f&Ghy>+fYg zwYxMtG^>Gu zg-%YY%y4CTG|>aA>~m7`J%ocAUAG!t0VOFXG&nRdD=;x9Ffb=63NKA>WJFYQ`sD`CMR##v$*=Zssyc*KOou9&F^TZZWf zTM5(FG7+(aD<;rBHcXJQG#w!sR|$42#&v{N8V!?}3H<4pGm+p=2_`v{(i$w7G*U6C z88&}oCTS^)g9%gkucMfXW5G023D@Wv5$Kp95ROi{WLheOs+m?+vzTckEJJ)TE~T(( zMcmok>_Gqftz&SMj$8+}vuWw3Wx*t}J?_A;l2<>@w)P`;uMGygrDUix%wYC2&6ow!ub6q<3W@C=^w{*Z+mM*%mkR!rWFMuZcd6 z{6gb~{`EZTx$ImR&byrbREe_{ZbeE&vU;d3@Ud9e)tIjO6&GDh9%SiP)?9Tdd;EVY z|JNl(Qd-+hm@g@=G4J9rp_G3trVV-o9vvb{a75Vz=dLPaJb{$dwOt&=SdR^_Ev%JY zJXsP!qrTt!j%PDywRvrBA#H^7LRtBqj|tON4Ij@bXK3iDa2tW%Lm7IArAZ{U13wib zDq{@R4Ia3$v0dq{q?V*+B>ha`-#mZIY~p9hnZGcz@+~5YjjDZ<6+S$QOx@6lT_C(z zo43eK2*pIqL*Q*K&Za=wI+WHb?6I-m5dMFH#<7o> znpop&!Xp!71`P&Qscwk2uIg4MlwUDF$CmbsHOkx3!kimXRYPfPT%)FSnrbu|X=Ttg zIi+Om|K}1>N+r8-Wly~`{=PS%GV~-~e?PCb4dY4^4&`U4xs@La3Wa)A(s4i@E*lpQ zx*Y7dVvvt-%PbF6H?R+f@D|>|5u89DPT>Qb!$(Nr3I=~L$R^no%bS}N zhTya!Z)~w@9?k7v)_Y8yJKV~O!Fr8Bgyys2XFgZDEaX! z#W8t!#S{F)<8i^|lLUV^x}mq^59_^)dhem)2eszMmFj1Y>+ZEf+37b1|NH75jly({ zL3mOq?p#rhak(#dS?PvX6K^+b1XJG%RUbF^6;~_9_fL(TT_<+C`>#(=jwp8K;n3mV zi5qk~<2;cs5<4CTH_Vx~TdVeF){@%*B)6DW= z^sEp!h?>JZ*30hi_s;%02vV=uK%At;8=0UBs(!xIk7f6^(1$C94w>D{O=3T&^1>myC~19S z`h45Yv~oqJMILuorEgLv66mFc^WQUC*OLX==`)-ET(W;V&Wn;*`;2jrRt+xjwfZm~ zme&P+ne(Ro>~uOFWJ8Ch>%&<(x|h%-%V;Qo4K#d?MzzrJ_0cRIMvGu1Z%JbtV01jk z61A|1^|34;5KCxeOPWYEwTbi`k8I(Q>*HC@<4bsS8;@+_;bxA9xA3U-@hoTHB|Jac z$WaZ4CoMrZ`X@H>QkGhR)7r_(tlG(<1?PcuNgqB7`to^)i=)u{<6*%r{8ak*?*H== zEPXKDPBGzSqfT%z|KRx_^Md{jmz#|NY*8>oHa9jxFhn#)H#9{sGDR{tMlm@=H9|x~ zI7T=*H#I&WJTOEyH#R~rL^MV>G(|8nMKU->F*!svLPSG2MmRY)H9lPmFHB`_XLM*F zF*Y=p;B^5he;6fF^pgxqgz(GyvbA%d69I-)JQA}?}8{IP986on^B z!WV%k6Uo8uD#Y|=RVA(itB|-qtZKwNvWiImY*i;mOc$#LIeUU!B#!0Su}U55i6cEZ zw*TMv$=%#Nk3;+b>9G~t3T19&b98cLVQmU!Ze(v_Y6^37VRCeMa%E-;F)%SXG%*S# IB}Gq03N|PWCIA2c diff --git a/project3/report3.tex b/project3/report3.tex index f8efd70..3701216 100644 --- a/project3/report3.tex +++ b/project3/report3.tex @@ -74,15 +74,14 @@ on-chain funding transaction of the channel $\langle$TX\_IN\_EX1\_HASH$\rangle$. This funding transaction locks some money in a Multisig address of Alice and Bob. They have used this channel for a while now and wish to close it. In the final state of the channel, Alice has a balance of 1000 satoshis and Bob has -2000 satoshis. %Note that Bob cannot spend his funds right away, but needs to -wait for some time. Only after some time, Bob can claim his balance. Since they -both cooperatively wish to close the channel, they create a new transaction that -does not have any timelock or revocation mechanism, but simply takes the -Multisig from the funding as input and creates two outputs, one for Alice and -one for Bob. You need to create the transaction of the final state of Bob, sign -it and post it on the Bitcoin testnet. \textbf{This exercise is considered -solved if your UTXO for exercise A is spent in a transaction with two outputs, -Alice owning 1000 and Bob 2000 satoshis, both as P2PKH (see +2000 satoshis. Only after some time, Bob can claim his balance. Since they both +cooperatively wish to close the channel, they create a new transaction that does +not have any timelock or revocation mechanism, but simply takes the Multisig +from the funding as input and creates two outputs, one for Alice and one for +Bob. You need to create the transaction of the final state of Bob, sign it and +post it on the Bitcoin testnet. \textbf{This exercise is considered solved if +your UTXO for exercise A is spent in a transaction with two outputs, Alice +owning 1000 and Bob 2000 satoshis, both as P2PKH (see \url{https://learnmeabitcoin.com/technical/p2pkh}).} In other words, this means that, e.g., for Alice, 1000 satoshis need to be locked in the following script: \texttt{OP\_DUP OP\_HASH160 OP\_EQUALVERIFY OP\_CHECKSIG}.