From 51e72037f19631e2279835116ea48a8fe3b01e23 Mon Sep 17 00:00:00 2001 From: Tobias Eidelpes Date: Sat, 15 Jan 2022 11:16:22 +0100 Subject: [PATCH] Fix indentation --- project2/report2.pdf | Bin 141597 -> 139858 bytes project2/report2.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/project2/report2.pdf b/project2/report2.pdf index 081a5a4bf04b0988982bb3a9a27a1599cced7267..2e607521abee280c77a79bf66fa4e2048ecf0b8b 100644 GIT binary patch delta 22104 zcmb@tW0WP`wk?{hwC$BfrERm)HY;tT5-V-ns(Y_Q~0a|27TEC5D;oslIhFE1>EjESw8 zvpIm7gOwfdA3xX>!v;`v1XzB4SSM#k6GIzV_m%oW$Qmf%52xX$LS(qD5$N$>-SF;6)~fLz)5Y*)PIk8Rj2i1eVMHETu)YL8kdx%&Q_yHS97 zZjykNZ*Bg(&_`%!JF>(cvg8OM7pH;5nLLEhJ~r}?mA70v4%H0;FBgPG1=OG3o7290 zaRZ8JhGfP-F1}eUL8gVaq9AKHj9;fZvqoM5;p^?((}XkR+nh%p{T z6azC7-E$3!;ghl@g^!-Z^a;1GcWniCa=a@z6h8NW-)Cb>W(ccs;KqNJ^{x}{UDE_U zdNU6#ln)AVU)LtzPY2cV=k_UuRx;j5K|EYY9cWi`YZUh{cv)JkHj~!iXV1<)5z`uw z_%mZ$Z9H>t7@_cSx?H9?ZP*Ro%Ph-<4mm;$U#zDqA~13(v_R#%xG(lWU=co|MNGb2 zeV!Wwd2b0qz9N{Q`n+||e~5(iR|`{E>NIpdo50e0F<|#hhXr@~nN4woRRhKS#AV&H zC2|xCLRs(RrX2E~;QP_GH*3+I)Ad-lzh@kv+-ZnEIVp6R^PuY+2>aPUh6V%2DY!MC z@6ToL3`=`#Ke?ZwQ89`3(7F{8IKWVVH~is1%pLvmY!J(D2-1w(6ufV@DHLCwVe-TH z#dSpSDiF>=IOLD}?vW;Qgj2X7udg#88eC!|O+P{Jsb5}xXLf>h5oHS}a+04sH($@a zfri1f{D4JwqF6H9eql?0Z2#%MOiq_DB*SZkqhl&X9Ewi~4W5bGZ6*H6yD&0Z{p5iR zG#ViPe4Xu02(-n{{QX%Y(KcGoL&@28)!gLKGxi(n0#Vqoj0;HKe@fEv{pKF7aArr$ zbpJ)J1tw+|faxDI3LxO6ej0;hd#TFE;?FKX-hrI!VMZWd_jomUDZ>z-x~MLS3dBi= zb5c7*BC;Eofe8%`QoZ~Y#`rXE&a-ANU}b4@AaLqm^8x1x%YOoEVr%@L0{L_F4>>Wh z{hhAZnf_f@!2hDFb6j1g)nC`^UBa^ZB^Ht3f?#A$PDpZ@dyZM`HWMt5vC=%qFw!zq zGZIR*>l5#f7hqc{G9yZfZ7m@$eqfjp14gxNOS-8O$t>KS-VbjlXBq0e=}h8A#7}1@ zKQQgVq8P(NW3642CN?}7%3d>yGIM~pQ_}3Jg%M=4_it;5Gdx2%Q?C+`eI!@>Ck3_O zYlxYv8)A7kuiRggn^r3t2z;`6>YSdu(r<^G)M&mQ2mwehEeV;bb&N+VADN|He7+wX zy_5#M+xSfI@|kT|R^mxN?kla`FeRO#=ddy=C4<@s!=9+<62srAjs zy2ov8Lr*w3b83p#Z!1}c3nmbL4?$4Oo8l#DeOurMY>GZ*$ z1A`ip*S~uh-w)4D_!Kzw@Pq^Wc9@~=KW>C7Z99csA`zLvj@_z>1EYl6&Anc%HPHmP z)XM?ot{t`|0x5Bc(^D-gQJpb1xn{w*>vEk&u{*S#cPg)Pwc+m}h=IW{{Jrj?T9xDX z!*P3loMK+=);auF1}n*hz_)g4g5#iXb}C71k60F3$E`kI2o}^3F;#KEGI2g9FhuWI zGAAO^EtG!frK{V(je*i|%ygF4-AisYn50RDJK=Cn^vI5_H)a^Dxvq9-f5w(jqt72G zN0h6FE;VocKRva}UY;t&hTl`mMSjJ_(A-q#{y1BOu`{5P3HG=5NDPwIypXH@3P~B~ zZ0cr`SwQ45=(&#B+G~3ROj^W@l$$%F3=K&%LOgALeU{qidJ+w2Y6R3k(1oNVLekHu zj6T`rX3sw~Q%!%}!jEfZvtT}jn#%7^n=G(fQjowpW?S_Cg?5^t>(A#&TR}Xb-&Ynn_ z`5_EGKOhjl*5KQ4<%Iku3K~aTZltJTjkhf01zOI4#5!7hUzA8dwWGY`RzR4!y&^oV zV@%%s@=YjSpT@hJw%#y^-FpIkwmi4g9AuJ7iZm-R>pNpLrk3z|f%4@m_VG1QMS{@14aliecQ==C&sit3%dyO;p|EiW(f{FQ0l)QwHvv4?z9CYEeAZV*&O6`zRg7QN$O zzEJK6zQxB7F7Dw#0rpcJ)R-F;{bVgBOg<~a-J`gi3|OuRpLdlVAYlN1cjtJ)a%pto zbXiHzLW=?>!Bxu%nUxeMalyN>ww`GI*)%qp+nORr1JttBd1rc1q^lY!c4wV&lJ@U`K(7@jr zjyVAvt7?U4=c4Jon4|{SGi#%jsV#+x@0!-h$r@^RbCeMHlHydCb58m@ZW}w%?CTW1 zsX=v1+M0@Z^mNrpcrCgnYTh+?(egn;{@TCvS%E6{WXB!nKN%zC4R!0RVN(0Rwlrcn z>*%9knPq-x*J*wqn!?zNUh7R3CO8+fg$NX9IkAwuK!n}?d;x|<)hWwei_CkN=ZG!lg%7rlgJQWRXrKciW+i}rxvJ*v%u z_W(n$_Lr2^SCZm-5(>FaC^1~w8Ynz5)dHwnk+M{m;I+oTgpJ1fKj0QZqQBy~OJaP* z8!NA+*ENe+OBO*MAyCg}Z@i#d^;jst)5V~18$Krp>eILvGAPgd@@w#6uyn7#hqSsI zGA3cr^sWFV z*>Q{0H(;ld%+1b@z+O^|3*n3grB~QXgZ|i|ez2ZviQ<=j??Ft4l()o=q>wf|Up9I& ztNc|*<(=wbfo3wkVr>r7;x{UY(NCyu>*ETQ%S<{^*$p^;$q1L3)-QH-3M0h?;e@~u z7(R(2D0&$8ZmVI3);?|K#7+aK6?L-Z0GCSH5ojW4aeo!*Bn)>D+AAOCW{8v?dj9;- zC+|GR%L}e+kq`S<$+Z%gx0TaJ>hzR|0{FR3`ogO6OXs@dL;n?P8mBItZwn4do@oaf zApB=#%RTqD+i9=q;@I5j6>-ar*o9ETSgVqPx zFQW3kXl|zt!+SM z%q2*Nvj8tj3@MeN3V=xp6FJm0#;e6ioz_`h(|Db5jM&eVS&~NKIf{C;503^;#q|Fq z))&?2%BeN$X{0O8dnD3L>bF27GuElAEchu+XU*?03kkW#ht(ZxiMyYzX;ZaZ)L$zAxfXQ z%@L38mn)a$L7fLC96@bD9DoM!NpLfUB?;0y8}8~zwJ7rt0-3@Qw-9{sSE(ybNh1{Vd@wUG`|9zq&F+xFnd_)FL2`WBv6T6kC-amxXD)g;dUn3g_=$R_aM_gFLm;- z9*;kKJ?$|*_4O479s!kPNGIo;g!kEY^pWQ)$HztxCiTJB`}qmKR9=~WkxDYOUiM(D zTs=mpIjRs=Zz6t1Y%O&F`zt|+k?TEigbBaR#`HM8K5euVGhiL`#0Ya_h+TY07w3$_ z<2u6I4v!HEy(|}c@Ct|$uYV!>K=b>IMpexXovGFU~BG)dPrD_*5L z7_(D6Z`zRWiUv=OH@NeJmhOFib-;o<(P!5zeB@mubk?spCGRN)mZKH;jCG-Sx!o+U zd}?s%t%Y=rwF}mloq5Ojaet%-R%(Ba%mthmw6w6`QA>NVK6+woZ_dI&Z81GPr5oMN zC4uME)W8t|y|I~_b}owS#Bz{*ZlIZ|^y39zeoB~eK$47qg7URtoBg#uW@ZF1;{El* zlZElWFOb)@PX83hD4!Qy{^KbMESMs`Tc_OTGL9ZH)lL@aPQ^ry92|ctWM1V0X{9*6 ztdGm}0kFj3sb~`}*J^z-gKMp`j|WiS&U$CB!}XE!`UEUHj~&K?Lc`&#dM62cBv^-d zcfN;l_H8Zc?{sVC`$3-+{ufuF{I1U*r&+$~r2H zJ=QVjKx1RK3DJIn1ba;qw`3OZ7=(BR(9S3Y{?xJI^gGBaLPb_H$w5SKu@^A?i=s%ZBcVH zF43`De%$F^erJ_71ByOB+1iOH!ip083REq*^ab6u}k#G7w=)LVGOo;chcBPr|zA05hW)UQvX zl~$#j{~adghqaYOK71IrVK#X=? z>{%mA6E0vP0i$RlTIq>IGR`S}Q-F;ed;c8fGrV&5F+DSFhd)u{adYH2t{s*Hyc_kB zh|t3#&1`V1f6}(j%MaAWuNNtL`cAVj-_~mnD?u|(HZgMB?O{TtXYM&Gs}LZOs*Kj} zs(Sf0j^f=W1XSc|V+6Bg-o2yD{WQx}ETIW`BADW$Bc$F#J~uTZ?~~=@MoY@& z*pg^t#5{GA7J+Sx+s9L+L@|U5LXBm-lNeb`NKr5;H(K=H*a|tl<3-O2Og*mAvWVQ7 zEj*6*e?w)2|6o`*YHWHt>8+v2vavAU6WG9nDI<35lWv)3e zTdZF8B}hwXT$#SglRY|_q^OU@xa(>mdPkJek|gqhJ(Y{|ol|c8?=JVUSigU&`}N=Y zDWfA#A;_uqTlx-HG^y3b*48u6|a< zX+E}-!wAyX41q!!!k}mqr{YC3<>0Fv59yPA?KewO7Sb)Xo=ro-z>|Trtwz*5@96{Jh#@d0 zEoF69`RArqameQ4HN@qMR%0-w$pJ5=9olU7rY$6nA*9Vu%4mj_zTPVN3~L;aFCw!J zCc#J!A?UY~3z>`Kt>jm7HiPZWLR&&oVWAMDM$JcBG!0p2ktZTR{hTqRc1GDs;0ad! zlp6+Z@nm)HeRiuynmlG!UdbT#M|z@)(1Kp*t{W0pV`BH$9i8tfCR_ zY-(O-{I@@&c)kf?~;2m($NNj%<9`!IsB&Y+@Lg7o3Hc z^IEqUP`qi*KMg2FD&D~v7%Zf(lCL?3kRx+7N)_|A@?qu7Ef$ZQivVaZ;1_!5y;Zjj zvZ%;fs+$DpTJ$Lx<|Hu~*a*=Qj9@;P2?eSiG;=%HeLX`6J#5-iKL}YsnKb!0S&kX8 zDBYZ<(2RtU;eyS*wp$s3t8gwTL|KD8&K5F`P3p zfl#c=U)bV^XKYFbol>G5yuNmyN(S zB!Fc8e%u@fCp&Aq`!Ly-3RF{EZ_|J?^ViM?*5C zH0vDe-(#>RGY$QEv6aXanbRnLkwh4qN*L&b6t{pM+cLSMgXBGjpEG1@HSRd=_ zf?iQQ%IoyVzY=34MY?j8h_L5UW?cy)2$guELPMRJoAUCmU(_?!N=NOHoyTRSO2sY& z#GUPWNE^$f17*r!*kHx?#izG=owd+^7oN{lPU$O;IODbI^7(?%-~u3VS&S2Vz#zNk z7|V|`dvAE-+TopiZc(r^+j+fha`}#4af>&VluKI=AB+Ju%td^K796!tz1axj6Rt?v zgGiT}+-h_?TAtZ?A{5D$Fow-A0HE0gK~WcB#*=syuqR9pV&ngCGV+LegOK0L>+@nMWm@9x#QLSY z$nK*%IF1zl$rJOTxB(Pl1<2I@ZSu zaM)#d;ATC}@RsnxVGM)bSOfgTNi_Xd&5evL#+OgCdW(vfN24PA4Q2iTJ;{XrMm4CD zD`Atg_FQ?YxAhcUqOG?Q$AUPA%$XW7O*1S#HLQ8zrcvbbA66L=`_=ZzzCmYrsz4jB zSoi+#yrS>}-ve)Ud^RN?y|oZ z3wiH)4x?xHg{i}w@9b0yNHYpN*bm1|qBir&U#Yk=eV2nCfyy?2#81S5@OsC>#?tos zn+o`EXI?n}IrG9GZeg8b(g2G5U%SNfTG9!Bir~)4Y6CCLGD}f3K=;r~Y@J(2G>7Km zVD>2CnJg>`F^mEpETa-ni6O zfg8;<=`53iyIP#HozQ8ib)%EjI}0O#v1$;k1g<#NU)~ludZ)ATS)k-yot~;QDEI*$ z;==@?rRpjlT{bd`f}cGo-lJOjTiC{iXCYe438kqKon;#y8+A*|!Lx>W=F4CU&k5bM zun1Hyd31l};pSUAS88u*-KRrWmPHhmxhz6P6mG43W?XbRt$UiBk2k8Y#_Rge*=@-0 z0UfLgU()VT^%;rl#L0|cwU<@FN59~K=)7gU|vM#Bptkq&k($_T3n&xdqD zy|-ND)NBh7?#3KPG$v@`E;VHB6;~~J1ggTw`fCs9j8cVix%n3%q0ZTsh4!fVcRdPi zfCwmPmCEJB^FxjoiRe4BEP)etV8m%_*H0RH3VIZvUtp#nfjM>g2Y*4B?VPvGX&EiA z%+r;t-a;7l7NY2n7P&JR&KiY++mS10q^}7|ZY3L}Jm9{k`~^yK+~x4K$bzA15oqgD zghqC267eplY71)S6HeQcNS@RLJHq-BC89%LaHra`n8O6poUCsIl53}NS*{#0o&eZC z?w=FeJ4Nygs)H7?LLf`@eUYd577svs`yzcRTiB+j+NR7>&lspn5nPpvcy&^#_?0n9 z>1P+_aX+hXm|6f&bsMQf@&NAR3~Pb~F3q=ND>zV=r^ZZ|JUZ_NUm;X8ySK`ANF>=$ z?;(9OBoc(2lnus;{Mdk8FzoGcxP3!iSXlH_ExlCQ|&MEHcr06uKk z@3P2In4|M6#8N%B*@KOBQvEdf9L+)~S1$C@jq%YqP9&@1A!QS)THBQ=;IYm8jq&u_ zVDem}$*2w>1sePyN?tZKJL{1T+{f!{(n_V5W|~Lf6)x;D((qQ@<=qEhVLG>4I^kk|XC3zJ)ymZFG7bSxZOrs5ZHU_q`c9AeUhbQ^Sm-`cAdd2Ynf6^ZLEw4w6( zFGdIN4n-{4M&Y7iFrNk&j($H2jRF_|x!1s>YuVwXVnt*}2Ty$TEkaNtSeRUKaeYi^ zG1xrvfLf4w$!ksZ7#5_l78TB6YZ-3eYSH|QoAP7+Fyguz#^F?58BwPj+MXW)`)yL;Kh5(Q#{xri?7%ORx zwfIE&0LLM1Y{bmK=w_H8_wO7xuJQFu4895^mrrJ9sS0{s*o_#R=T~N{a#T|bp3;t! z6wmG0-L&mcMl&d(^26)`)wM@8^KrnVrq(BJONdK}?VIhg2#2!m$)+rY=rYfrFGZ{A zIf>Lj)|TwkT>-cG5a;~OkP*+zKq~OmY(h6M%@uu_b)dXhgno@ZQB3CT2$%WJ?ZtCJdDojD$htOMknU$Z%oM&X9*ymdq0zLQZ{5KFUVZ3t z>_CXOqp{ra9t^+ITp+aJYuvk-0s#FW=gD7I}P%M0IruPpqy4&S?90x(Ar2}#D1V6}U ze<>Xh&&J+a2uh6 zO%gP$K3;qT2=OO}mg-3(ycjxaR8NDgdIv$ahHwpxal+W|^1%um7?S0?Bu7+eu%rz+ zLTcL6lYdo7zt$ixHTaQLDh!<$p^86P&L};{oq!`PqQ{$#7m|r1fhw^9bf0j-@|{uS zS#ppV_!wbJg%_nuek3~TUMZy-$S2#1z4Lje!VnRZyNV_DS9N|QlV9xMWBqnrP`lD& z6u;O^^mS?xEsoE>R$nx-7lF0JroS~mWp@PkAr~)f7Yk|n&XUB%%#OVxl7H4d2TbsG z8yvB_v~QdfQCjpxyoW%_nDXJqY$p*(AF7~l+S;mmGhb0*E;1KnlgD=t?qzJ(cse(} z+cuD*sQk1=sd$S(&=kQ2P|O5-WH|KyvzCX2{eNhwp5y&lbHIMH-sPV{X*p;FgZ$Q- z!Czpp)8abwn>_niWaYOY8ChPDWD=1pFURAi9To_AT;BK5_eGs#lQ(n2T<;Bs{wTw|l zLdJP>g@x*lk#XGVjj9-1%}b~p;y(OfCT~hb_H03I9DH>oc3zJ$BL7_`SkRmhx^me1 zfpsl0;u4V)kt9RWrT_7#HF?w2=1h_C11zw`PpVwsBoXK&#i~A$x*gF zdJ}f4z~Jj>+QIYsnC8h~<$dB#J5|vUr}<^~ir4c?Lb!FFJ|+nkd9~QeLg}?g+A^D* z%8{eeo`!OYPA!2J*ydcq>6au!RT7{Rj5Iv^fb+n~aHnvzyPs}2P}T2pF?1@oIz>=g z?L|z{Qf+AvzH#p8z@&DDTwJzGxQle0cfKZ{iL_nw8{PLkE_=&wseP%{%SD+CL!%#ZH3(T3POyQb~;dm*y8~&Mm*>8xQi#y#N z26GgL#}$c-MsBJ^4*>m^Op^px4&~tqI_zaMAcwCI6zQ8aRMG)E-ntioaTG1@-A2Ql zHu|FWot?!oYpT8p7%mKT^I%j=CsKEwW4Y=lsD0Xzf1g7b2Yf9C4G3}zap4BLB7#0* zvbLn)Qf)G)jj_Fx$0_;pW5|$nsjz7zq@G?-=|AqY)_hDi%e@s-?$}{|RixM%$m>Vg z`P}#|)yGO2@Lq(~%v;!*wn4wA{Kd0&H=)GDp7d5ERXPzr4iMq8ifH_MEltO(L{usK z1zqjxojMfwiwJG;`v$L^M&?9V4#Y>~v(U~f*}kF-IAR1L%57?KBvaf37)NT0!|-7( zQNnQHF;xP~%?VXF@Q2v8g;sbOcTiQuGhL3!jzaxcTZ3bw@tG}#p26hyF= zgnK^*Jxs;ayeh=fZqH)-B5NC>_p*mP=VtqX#RP};{ZDu4W>HVQeY1QeH6r`;C;Q)r zx~nrrA=*{z^~{>lSZ?Uv`-}`uvh_%>S?RcgpsXgv1QNxPy_YF1zw~4@cj+|9xwgZP zaM1P@q3){#y1dsA`5=>ydx|yM23hp5pg23-q z2Q_lun>*K{PC54siqRMID;|-E@+ntD->onf2xj)(>Xzy-=4+5Z)K;X4iunKTykQUF=+L2y@@z?|vhL>B{$E3^Z?> z>)IYkl8m`F*#^C>NO6RQ@)%a^J90YLR3lTDQyTUf{OaJY!5n^<*eWOEdFoFHl%iA5 zFMGE1Zh*G%Y#R(r%+POBd+BJCFx+Y^a{K23{j??*Xhv^yE-&n`v(g1@7bj?yHed<=7?!`i;b zO(_zZ2NCjP1SJe9-x`e$_@-8oO|()&ScZ-W;)uWkHV76mdARa9_BAbBFCgj* zpiIr3^98WPuJpQ&nS;X6S=!Q##wJak{bZ`=TRtvvEJJNx92gn~6<)9mJrG_EkGvFD z_J&OLSjQurwGN6A{8fQD6VUd|D0P?${YQZ^5Wtsvz?ELT+ zmo2>fM)S64YBpYsZW#*{8l*&4xKDYk}$kpmLsdlWacsfz55-vI{ zyMqPduKiP$YUREHL^az*8}H#95zw}y=uCYQDZ1ZbGjiA>2OXJDN3r8`HmEdLj2ITy zs(U7EU6Ubcu+okC4pbQ~1p8}u@6SZ`U)NQ0F>*rv_w(EHxW64&#c!&rx3V!S;tdS0 z-@J2bUbxj6X+yA?9AA+SLb^JVupoAtrLkd38Xt<4zvd4K$PVdGopyHiW~ zYIpy(w|bi(v03W8|7wdVX6e$Y88jLs9$#dO{#t(Pc)#K?vvKxn>Rp6d%n59$tb+U5 zcCVRhbO3Gt9bNQ7LiSfE}!Xe>5!$)kyXmjvTDaB57dTPVS8)WEl<>5U7I^) zj8s1K%6gG=GIU(NOrv&bEM{xv*{=mwPI^gHdz-b*^6h%NmU>*2ZlpC?As>%(t4>f) zc1?9Paf!SwoypYtIDPbu)B|r5Hs!oxBbslZm;$SyZm3-;t2f=tQHy*uJZxhN%dNoH zDoHk-RFOs6v^uz-C&M1~ro~4QdQ-(bdn)cOUT9VPZvCk`f_uiCZpvQFLS#2f?}`qE zX28ARQunz~DG+rte6+!|CEznebnl8vA@wP#-2E=kZbs3IxQ5+9eStMicDKUp-z_cI zVf|YZv+TW=TmS{*r?%kT02$<-G@@2RY^EI1bJ2S&kEF$*lG5ej$Eh3ZX!xV+bJ z>wYJeIfgg>oCYjwN+6;U2i%CO{nCn5`Y%KD3ayTn+{Vc3u>DA6G26Yua?$6in?5(K zJgiol(Jx=gPT}Tg9P7!#rk~Iib_4D`((w9WtOm@ojrDUGz#8I)1n6eia6F#zW5LYQ zG6uq9U$)4Z8@z=dk5D*4F}PydE^21i2(8cB)>PzWiTez!@_`y>Y0+IC^C#`?+j6Ck zs!jo;`K3S1htpe6mwjtOz69zsSC3e-ibH~_!P3T0kf626_@SJsdsy8>oX}Hb5AR&k zp?v4^-})K1H7O`5g|9)JMMCRaK#B~wq#6K@#YHu`e<_L;{Yb=M(+0hDD?RGS{PlYJ zg2iz2f$a3iYXtid}A8}IGcJThbxS=5YR;yGChMt@R%c+r^? zdA;>AIw=Ev-i|B<>qEYhyUem?X~9vYZU?V!N8s9B=>d0TFYMYKA@zU`a37or7b9jJ#Ccm)Eg+8_bifNDT@Z94Lm&;H zb4pm|ssckWcW34-XbIaBuG-kh#X8%&Hm<2O@f&Z_`;_4YEzj$AeAB2#$wK1|t|_Il z`^6=-w}jv+YY{m)1m@@lS+WnEu~F?nE4Wn1!M_!Z5NtIXOCm<|hQT^i4fD{MSM@lJ z9I<^loDrYiW(||0KrZKM zz4Nf~kf&2rfV=O9NqJ8oLV9c%=6Pm9XjhT65Tn}TPK6gPZ7hw)Ka?}`)ui|<0W4tp z9Pk^>P-%Y9zeF2nXv24F`ea2P&QZUo;O?BRi64jcjmXZr1otB0bK4&Tju%zg{$ksu zk_LW>7CdJUOwqvR%7+IJ*gLRq+2?Ym`qO#>7)DKr<2{4XNJ|v2e!XhVxSwn9ENz$RyEn2fgL2u??7^npz@_o6Ay-$pn zY1}@HmN05XHMLhm0X(!Cs*DOs~(N-b+;lp6YE9lyA6&+WW`y7 zJ4*y?%)%B0vFdT7h|@LgIAw9MokcXH@+sc#;WzYcZ=)5b*sIJv+A1Lm6>zOXl=8w!t-cP`VShr|6_lnQwqWLsQQcpe-s z)7p~yuhaAA_zP_uA{tP}LswiSwq4Pyh21bwkk0 zS-L-Br!hWtnBz_3S$K=+xfJ6v2QEg@krEQr{1Ht>Veckzl{st(R0BD9!o})G>(4w{ zLtE@6crbBO2m0O^OHg1UWjFRd47BWZK{9-#LRysX(z~lY-(Jd09E+??8#yFE5`I7k z^)VPHkg6j$@R!!%e(Iir<53$doKOM2y`%xunl0J91$lo6@tw@3R{#{!V+8ZouA@a6V|?pkbZZGeaBDd75I&&Wv$otfQWqfE^U=+L4$5k6<%!@f z)q+NyuRCs|$l{kC2w|_QcD8<7nmqkpC^y%}6ODWi?=lj1DrmO5LzKO$r*BK-y zO-=*VSyU2|+G7J^c4~N8@hr<^o1(qWz(y&~Wxy*k$elTNCBbf>2I%CawPzrjPU_+* zT(cB;J$htZItz3g$S}lY`$`C(9Xl~~xXKCJO9`nu(pu_RN+VKK%N7#h=f2XoylY># zAazoO5@F`{ajTn5>!ap=4Pu_;U;TN+HZOK|I=aW zXcM|GR8HLcamKwwxMBFpc#3gP@(aKt5dH~KEycr8qV&Y(+ZU>EZQZ+BXtKqtSSIgM z4iS{OoW}%U;u`XF$hT4FfW)F#;N0)RaIeLP_?Fw#rZ?n)`M{5s4){m1__NTbGDu+{4WHJ)9ku6EmvAh(ufYMF z;ON4xks!-QiX7ARQO+s(DiT2JdPe>+{@k+^Pb42m8HT;sB2v{8tOr8ev@wF6lH0d? zO79w;d5aRrhuL(!p1P-2kY+V$$*^62K@&eQe9x$ewk#8&zEhn*k7ZtOxa)WfrrHj z6|g2LmAIgI|EE{V$;R@(t8>8L?R#vF*#|WNm-w?a^8YUEnE=d;TW&kHU^WVbf zV(0iD?ALGHZIVm;ao^vtla2Xbfd8o`m zlZgGV;r&CG|J;@NpR)h23vO&wW$ktt(c2Hz-I0=3zz19;xVZ=XB{3CGr(Q^rMA&nIMhB_{O7TRNNz(+W15i?=T5t$zQW zW_?HcPNN)Ee@OW-)3`r)cgC-4c3N~nMC-Ah2n>-n5nos&v)MQuRIWj41G02c>^nS4 z43AtW5xumg*~f04d>BaSPq1hkH;Wx$zO$~k*k({t5ON(h#d4^w5E|~{%Ro_EbBC`k z%FZMFSVBAjBi2++d1rLo+@H>d!nEU`=-{f#@W!J}v3{|nob-O&X61*NJ*;BZU2m^{ z1!`NkS~_uMA%0=TMpFB#mez4@{{Fc{h>+oPd_C&%%85gRS2_0FKquR5vmslv z=QWTlRtqbm{LYaw6~69MK#@Fp_ynuk0GrI*pfN~gA7KNUkXO{ZhS}S@6AFt7^;<(D zlS;jYQ-dN^Mu~L?j1T=s$$$%1xs^)n7`}wq{-q6v`QbL$Z%$n4k?#glE>v5@h6uc* zncyi%A)r{mmus-yu^8pZTi_FE@vllh%1kJf9a;$9r34vYa)&&5P9&X4-z=y!?&w

T6Dh);hnjA;36rJ<29QooUqRdv`_o1>KY zDkg9_=sq_|J`7Icd-xuh<4D#!Q4t7x3KRzt`}|DEH(?Q#*c6{YP)=;zb{?OD+k%@_ z-qIa*`Si^LsfbCBnH#5+$v{v_V9R6zy;ru<#cd*NPO-`hZ(;puR*Qb;YvHaOGzJlVf()v-a+;E3dL{Gfw8UcQ&5c>ZG40_2A?L ze{peB#Z4r`!;7b!@gtLuuXeGse8JS-m;7&%d@@J$q)DnB!%%?DgLl+dL2oxFl*w7!(W(DTefbXSoL9#HN8&rR2Rv;lA|x+a zg`Zg<+*YXTRyUL3;$dCAHe8mH+64F_i@~9gY4k4dFuoR~Za^<_MBoXmyPOrlkjHMz?i2y~6-g!sN>3L+ zzi<~Lp?J&zc1P0SX8R$@-xlwsu)u1}FGV*H6jxSJ$S04OW(4cUVCK_Q?4Amg0I^Rr zKg_YSTPf#pzX#2>)6as*C|GaXxv@iWF@6r3hZe=K$tWd$j_|ttTnXJja=W-K2>&Cu z8+Q4Wfk03ipc%hB_oK&5&>yXNXEXoN8ca^H%nPr{ziExHjO}m zMN?yM`I&asuk{2L`HkqA}kbZ?$H%Cn|1xf8aii4;kwq+;NQdE>QJ7j8tosP2nRKmZo08W z|413~BA?rLe1B3#C%gA-XZ`DBFYv7Y#f$d>L6nh@Hl>1{XLa)BqwybM$rJD5YiQ=FPV>0`)&&=|4O zze;F3R!rChlDD`qdbj<0&EW_U)*WRcBXmnYwtD6oIHG*O3F$z__-z0BO{f{+U1^5x zpc}^U39+;ojItn`n3FgwE;#!L6*N;yG!r_r1kg2woU{kW_g&7*T+*>DAO~4MA}7$f zwM`|{d51UYszq_;P&|mA!}7rCCrJ(-#_L*1|DiZ_4xX5%;?z(24FZ8j52XQ{Y!#0T z%5l3}V8Os5uf;Q)JolZ)3`-6r!87mi(xDV3zx3%4*Lvo)IKM6Ub1CbU_qg{^ zDurJj=h0&{a8jAVJG*ZAeqxPb^L^%;efxhEa^=xbwtd*X?^CuclgJul24mMWV;?&a zks-?vv;2Lx#{9e%oz9@kI(u|f3I6w5 z5&LC(0hRyf?w|tt^9IU)*;dX_rBMq*|A{MsP%>Bf9nt+;jd3*p1B|vXw^{7kht3T2Qd5g zQfa=XHvLiY)EudK=i1ZSGtW$*Z;Kyv)6-8Yd?apMe#^M6(KC_MxWSHWo2f!pxSktSzYIwc$wH8lJuVn0V zSADaG)RUISD_xdVTF9XZ*dCXrLG&^(B`?l}hEZ0Y^6o2BrzNg3tdAZe552zVWdToQ zgR-8}M7)K2XQVG9tH#!sz}R_3d7Dj=8FA0;&6Nhf+M8gugrWt`&Rd(Uq0+Ieoy@U* zF>uu|xPV!Fh^)Btx%IRQP9|KO+Uw!|U*1UDxDoEPs~*#9p<*WmW@$V)m{u=@(#cw} zREf&014_g0(sq`@ieq4`VCssS_hB7kahaR^AH>E)=xR4u%ts)u8~`^)jgL1QPyztDRrv5Fevgy)igGUwPw~z2IXtAi zagysS4Kj07gQEU1uz3jbA%fo9M+e{99Wj_|g8Z?OpeTMHJ7^oAgvlPO8)I%dgzYS|X*buo5Z4Q9 z5CA?WYvQ0!rg^aM)j^;88pOG25cws<6}$#X4a&)CKalx2?e<_@)39jwQe(q&K4Y3} z3Q&z>yF)h$zZwLU^kJE&h#0np?x;R^Ru?YyV=gA=$ii{koQ6m#daaU;3G@$_87P?m z{ar+>L@uS@tLAU;Zz+!QF_kd%pEL{jzY}kh6Qk=dB~eO}v;W2121-`+{*P(9dMRhA zSfIb5&f5;+RQyCHIXKx@3WxCpN?5wsNd7rQW4sY4oC{C_p$Z0p!65mc1pg;XmIld- zgFxcsI3vu}{}*EEi^5`Et^(zBP+op6Ome1{+BUK}{$5^AC~t2vJeII@zfC7jB}@D{ zH4uru?m}+lfaT?2zRvFCp|^j4B+wI!!nymopn%t1eErCu1yquS$U-E4I`{nL^z-{K z&k~Py0m_*;d061CG07PN7066p2kq;J145wSzeq6<3HI+gyvJcQ}VSL;7WANA!slP^2!% zn3B1Kq=4`RaFRH}DxDD8wwz)yA41J3(G*o+gbKi)qQx}>273~*T?>5Y19yx?(P3Nd zcxMe+u7`{2pj*peHgrv-s#pNgFy614n!g&^YU-ro=+|j5lydeWI>O{3DU_C_zLo05 zCHh`!Kb|(E^Xwy|&tv6mg2B%W88k?kTWnK<#ow-~4w5LGx742GEWCA6Li#?A$0!@? zpqp+_rN%Mvr&-vusiT%E{BH}+g2R^@WD<`)^0b_1&%9+_$*>X@Cb|P8GVaLendZpq z(TeaCp4X4Nh>a6_X?9MJ+Ak2?8&&c$`!dB*xKLjB0>N1J_Ohk~uLbMN&bXM1ufBmc zW78bn>hjy@jo=N6R*%xEi+a>OV!V#MQ>3FF8SGs4+>FZc-D%Ha7b@(s*BxX zx5L}PjNqo*^%LvbMI5Xq#06rJ_{Fay{Juqn((~TZmpgd6be>BrWSreMp5+;7tZ4jt z88m>uO-*^%#=65UOztq?$Y+qf_t5ZRDc|yk2iQ2S0_B?k_l;79!FcRQWWB_+N4Tz~ z&_aQfI_n$ziJ?a;?RkJn8gpA_84cEwu?oo-Z7SRbT@e^J<6gZ7$2ZOif7^N$DSs+3Da%5!=Htnmr4?dB6@%oQWwC!DL} z+>V4lj*EE=KbC!;JnIpe6lugS>^=MCqrlc|agm)N_1)qV9*P49I`@LN9uc+qo+Lkk zppa*uuVp~6wYQ{n8BP(~noPNydNtQ!m*zIIeMxjVRP~=)HPZ5Ei(U_O>nEG=pD(JV zvt@1?dt0$y5W!X2ulGIc{bvSdYb`B9nZ3v?T8vPh;zBGmkt<*?eyc1$+a3^bPs+3B zY-T}WnQQ0x$P?^IdaRA^*a2U;Ssn&W6LD&>TCSB9Cvg}!YmO!Qch7DYjqvsa;CVC) zyJDF%1|^vj^U@X_8xpyu^Fm1e(sQpPt*H65Sl;UE10JW=2A_#0NpWP~`ky5)K+xfE{l`Q=IwC~0|! zy-QRwrCa&_oa7JjM#J4jO^w`2bkdQ*%#ibb#`6O4tu(epm4u~}f+HxUm&K;j(=Tuc zz#XKnk7n^3Y(g#+hqTzIKSYRcWf-G%YS0(f76l#n&%WGNH-%ijJ1thDaB7&ZAFT=F z_ESB+GfbpCG+0}L?z@3|j{ug#hA@f;<HmV|J}jS9W@8ZjDmg7w2oR>?8c@ z-Al1fe0CNx7p-F>mwOtWZe(6AyJ)Q_JpsR?-F&3O4yzP@!fu;@&SoFQWe!BeO-64o zr>6%ybOHj6Do5q?A1rUwKl1_8rpukwG=j~Hb`e*sz`dh)*C4HK`}map)ZsBv4t%UH z?K9DObZe^k6~{dFX1QyM_r>&4Rb4n5X11D37g}Wc-zelxb%q|REeZEuHCpp$~;8wtqWPj6~0a6LyIM-3eX?WeNGswP4#?>&=Pwmc_p%9g0DJ+i@z`f=v0pa!eVt%FpO2blySkfN zeBA`go74fkvqjULu8vM|Mibg};GSew<()7#!K9M11%fgOA5Pig-c$O!vv87HI*& z!BEeE3aG(Y__uGztA|J5(3Ql#fY%>Z`=qMR0MQV}$ke72A?G}`izdwC`Z7NmWEGV4 zS;xH;y<}*$ANKViP_<8IR^qW`UoOCz@yRJk#BS`rp19`xk{Q}h# z)jhTWs)~xPTxWRG>a5glp=MW6VD>Oi@DeOMU5s~|YIJZ>^XAwK|C`E@7y@eL!^^n44n+8R- zDsyNPWi*DZd^l$r=^3+k9};n=hOj(7z>!!8{9 z6w?$O0ri|a_uT^0@9X~E+&*~pQU62|s=L=)74^lJm3Nb9bkSP%cUt%-EBw7@_zNQ0 zn7g<#$?1DvbqN64fq=>&qCJzG1v=1${KzC{4YZR7LV)t*cjg!j4ha3(?==4z?}`Eb z0V0165I{S1FhoZI0auYnKtNz+@C6-+wgOllPR3Ut1q4(XDz6Fr{~_dAkS-j*tWP1o z&d-4V+Q}3f=#_<=@pf(0Dj6@Co%{GCcKZFc1YPHOQMzI-fQ~~eTn~wi%&T9gVL`Ao zg{N32E2O-3=v}ydT#tE60b)6CKuP6Nn$dMHnu-$!EHo@WS zl-9G;WX8cbyoB%Tir^LBBuZBnyNyNowazpZ^T)VP+5DCf} z>(u@qc3vu)s2>vxV8PQ*xqDs|c&4bU;?AYquBjNM*Oyy}gU^^X%Kwg49H*J~>Rm=tYoodB$Ce;g>iDiXlO z_790Je<+9TAA9{>2TYQp08Kui37avHjfLHilaq^;-ALbvg^ih+&47)Yn;B>XWMLEF z<1pf6XJa>HH)J(2(Pw32Wo74N;Q(^!a{x`4fgJik0qtLUcXVfm;fscQ zL&wtJ>#=qCN@_EIfutPi+LDH$?0*rH)x&>_`yLq%tc@F~`_~Qr=e7R#t^S|)_4ob% z&q4nme(?YE>%;%U!2a}E1$|RvM*!C^<9{{4KkQya-$~!f*7P?|WM%)&IpR0`FkXE? z3GixV|8fr&AoE`>NKfyV`8@Y@c6WA?4gc=lcSGK=B(M}Y6j4;9J2y0^Zt zw(T!3W`6zS;O1at1#$wo*jX64xPQ6yD=fUu0K8(|A5LxTXzT1?_^M_0zi9cF=6_f5 zFZutxEAi`on0WtEEh~^6_!r$)%T>Jrp}q}RJX8#YJ~aw7(b9uyyV48sA<9Un6eaL5 zXKR;RsIciG7eO7Tl$3A%r1@eOBnL4ftYpK9>z~jz4_Tyc;O=3J%0B)*o1;^0;s5{= z71aqPbAZh^iY6eaBD<#Y&v8J6<+t`3PfDl#iQL{2Y)Kt9(f-q{Gwa(%@h~$ws3s%J zoFNDIPqhZ?Jf|0r@ZfN*nwX1}tL0auVIC#?ZNHNf906h9MTK+^At zV{k*hy@oOT5yM*W`{E>W;+4;QW-L1f+?NFmPNd3rvzKs?t7$Re54qIcvQm5sRZ789 z^5i5=kDr;MPjBskfU_}yS^Q!U=)BroLfJfeE;4B6gUY%M%DEd>_k%#H;i1YVAoEsj z=zgzTjd)z2ruQT69XW*O4f#d6Dq)$Dfu%rw-SHBd8uHk_`6DVeGn&xbNRFRggtpb8 zL>VnN!`wfCn;wN$RK14W5JopPBgHT&1jWmc6FhB)`u+&f4`F?#-nTCAiFB@&xlJ`Ns0bs1-%=JgD}X z6ue+I!cKpx!Sl#6rJYvGUch?LlRa`5>(&v5Gco6OHb98>beLddmOb8IQ{Goi>otNh zy`bPCP|o4>iU;xiLf^R)gTxTdDplmcI0}L(QtU8@p6{gNv09)eM2X25KO@ZsyZELT zU9R7U?8@g#XZqjX%0eu*yeF@H@x90NelnKR^;<=eCy~lPzj|D9vv~IH4b+G{$RPg4^lKgBdvAtE?N#8Fh@n` zdT$(qoQ3JNo0zFtgdd0--zw=vvSQaqI<(`7fcL%C`tq9viaR5qwcgv z?Q^-g(I?h8^oQqrPh{>mlZkJN8yk$U00-p8o}cu5TIAeep_qa8viam%1ERE~Z^;xf z3dm!F_vTT}!>~@nBtceWpGmuMlSNr@zhQpJV9s4fh*XAxq|nC`rxi=_n~=i5Mlb^g zzE^7qtmUGlrPQ($a}sTW5=iTs>rBR|0E@*w#X5yHf{&%Xg}^8e3ndk=BM~-OK+ok$ zFeIfvCu8;;H7kf!Ga(~NMUsMx|;zoEfRXj zqyf18YU1>}DQI-f_a{Z!u*b&n+-FdY#oeKou~8pN{jdq@an1Ix@Xf|ashe}q_TzSn zP4hv|spA)X_*zZecL?7$iE@)q?B#572FHHLnv9a=gzWx|{*m?U<}~X)z-1?SvG8b? zuq7%EzEz!$bPjUj8FQEp$v$AGxo1XA(xJE6l~;PBBsjVjuPr+%#Oai?JpM8X47sbA zTK8fX!FrR=!S(gxBwe6;Uv)um;Qz`uFf~ z)x4If=3VGb*pl*YR;K1cx)eY3*^6SxE-QRmwD?j?7-eIh@ngGhkk{9-27#!$i0sgX zuOxDpT2l}och{LGLx_AWmxD_ug?$<-sA}8}5{+z-FtVLk6E4$Sea9YWmd6j}+A ztU+9@!MGrlHRVOl^DAP>NG;^CJnDnT==RkW@ye=C+uqd}ZpcV>dzx>_)F3|*8^q?M z!R&~)?~E#&iv@5U8{vGHp()$vxfa`ff8i#UE>IZM03RfCM06N6)yn%O6NWJo%JBzd zzhTHx#4{bS9|;J&q$%$kk^<_Wdx)oEN>d(xLDPNG^P4H)(i4chF3+T_r=9tx^sNhw zI(d+)=sa?@9Hwsld-Q@pFXgbJ^%jgCxMi0$o`cHI66OrdH+3Ic48wi8^(sCG&HQG=(%OCg&q^I=_;m0B8sfhZ<8OI$uQXxd+PAC6X zE=<96wJx2IfH_#=ES?z>&?L|L{jH8L+_VY#qr?eW5C!LTUT>T(uKMW?+M-B>n<0|~ zefVWbj)5jxlT^9%H_8-4*~F31ddn%=LU4kl4_7|DC8}ncc;M?W9xK>uFg#oO0#39v zAVfy}Y`RZF3*9wXKKc<@SQ_n=OkBZQpCi`!q}-CPxs%F!9aF$lyD-};gC;)1eilNu zq?lF%am6G0Qwhwvht+>Ty;RFb>U|vVl3IZKs0wW@7Wn|tOKUh`Tb9&LEH|981O3*) zdIX+hRB2XRos`16sSg0#H4Y+?L5NXy0?AAeTPB}BEaF}$V0b<~*q65FYSZ?TJi#`f zY%lo-LuhZ|X7GpLgHQ!BkWP!s44VMN6jQp|9`F1=2SKv@a5}ww;^)uT_7IKUr(4YH z7@xb0e3n}sck~cq+UJnnV;~$C;vA)ndB;cYBthsLug{7<(P|Yt<;nAz<|*AL2V{6J zNX4GF&^tksxxwvybh6|3-QI@B**y)(T+Y;qQyklo=OtqT`bma(ALA)`sFrvQ>?g!2 zWbil7%`G4Ca93X&pl6`S6S$T(GFQ7a8(PD+^zk3k15u~j+Ay>}@9GzezOdYq}%QC0cuFZ(aW3L`%Q6&j=O+xn_AnUK)~9<{RkD+A1DS zNa>9hY-n|rlYuseo)%E=$*;ny3z9OKb9yXYp{fP$a7ZLUHf78G+C9OTSRtDCt`G{Dv6eA%=-Gd?^pw`B5!Ufb}g~Cwv>0umQbBQ@S^kAp-8N7z2Y7Ymfqwu1!AXFMN zyQpTV?>gwN?8X=&rsOn>`t=diEk1~L)gHImHb(#6_Gv{FLbHDoof43btNDplW{#pn z;IW}htWTG(|CR%$Ay5V5Gf)3%THe_HRMc~6vZi5OS9lwv@xq~|(jo9NBvR&GP}k6lLaAdvBLS`<#LH*jvZaYh@c za_PFPoXGr1RwcA$-xAbqjjW?vlV`)hcfws%nrWDcK$9If z)`-p|yViQRtLhI;O`LrFUH^x@__XWXvr(r^TP1^paWOk0<*UZJv_DVne7s=dQoPS&M$#A|bBHM3d(64Yy=+DV4 z02U6Ge=U*~@S4#4YX`qCnTws9<1Z0e;~gIOI}${;-?*8-3+810mtI)`T%50Z`!6fz z=6t>2?*vC9l^Xae1>)=e{--WDUi0LCih9*D@RdIK^YHg2vv6@Uv;S4JjSu*qB;xDv zzli=_8NlDy%noFErH%em%N#(?zX|^O4LkuGk?pti^q)cPACq6z`VaQ(Uo4KbN|((B zGiKW^U0aCMv7Z4ixgR{q0$ePYl_pl*A{}`lJ{&rxf8Eo=)h$Jnl_%Jz?13@1YrPYn zwu<*9RxT!(0uI+Eqay_j!_-gB{Lrqh>PlKsg(q2`Xk@vEv$E$cmoP1-szDDf~a+60URZ`D@g>)b0XcHzqGPs$X>cD)NeU8q9Fmvm{fKAU$67}DEHUO}`P zP>ydk=nXNO`Wk!(6_oTX5cF;AMWG`C-0A7%66n+jhB0I)Y4Gg*h-BdTr;l19W;m!N z3IjfGj5QqBU)Tj36MQPzVyVjK!90zrg2_VFfp}jB`6ddkRp4pVhQUdSL|dK}ZQxcf zEa5<%9$uLXTcTw?_sQ?Ol9t(2nfHAA!@H79-dRp37YPp8Mas8)1(UlpnOZ-G zpUzj92yHQRCJ$>>wH9aF2}4hsolyw0no2n5aPFovs=j+KD+xTh>RraYc>znVxC4Ln zg1^xvZ~t^50Ou=b`WIJ+x(9ECKx6~{)gNDT!GF2UU%~8uy3J7o?TkfbOo|P;#AkAX z`}H|P}gNMoviB2&!cDY)XasfrE9Ys|1-UMg97gP z;Ms@DmBFfgSD4C##^_n*{eFLCELrn=7u6IS)sA$%!MkvV3oopcmPcF0T&#y430eBY zu`{d^Gc0;zv+BqXYuHN=lp?Z0%?yFfeP~$p$Vt^zTpud*?5kv$Q}fMwp*^TCK?)Iv zj34KU0jbg9;T^3fpEE-c=r_&iDWd%-W^#Q)0y$12Pw}`u6LQ(f%wIJh9nA_CVNPC= zW7tQc^nW2{Vjg|u>T`Pvd*^Vzgy+`nj!H5r+!??>2&IOOb02uod4)Ld9`j|B3xze{ zqtINA-8a(Q7Kp4VjRE@~ZaZ8~Z%8cN&_>fk*K}hlm(K>34!A5gB=pYLuM_=k@b3%q zEr)%R;UOUK-b|!D3X3GfCtu%!bD^}jxjw#HvG?ek{_GlXP_jJ)1g%BUtGU10`7a}X z;44_(rNI)A|8nUrWje>}*x_{}J+Kt$dU=0~{3HfNq5R;U94CuBj7MxDR@(lxmT||E@Z@f&o})3c6X~(FHoc z=nWng@@dhs)wENYU+4g{{JrO&((l-4qP6)Jv=2mdff&dKnk&Tg+v(~i(nk%w%l@l{ zymQtUf7tCu*~I$yxLj|hgrL%+YObA?oCDAs0xAS0KF%1wi(GbfucPwoOOJN6jXE@0 zg)#qLSm|=U>`E-RDgt8mKB1kO8R2d1z%rrYOrF};1H9U8vr*#0lF#f- zvN1YdfASNwIqlN-4Ed!=r=^`0D4JdABFJGMU{5QtllS@jX9IrSg`MBuz#dHp{7Ae+xPs+RPxKu_?W zK#%k%(0}{|^!|SWz1%OL-~Bt#{{!biBmWKPr`J}_9J8sM(@`RAUoAZiG#Zbsdy&6A z$G1PeD>>$s<+OE?Z}@8RuaMt77O!*5XTE)rUq2Q<`ufqyMZT(le9Ni(_ogu=O0O)| z{fmT=3fCQ1dapx4Yd_uL!KY5E>N`^_)$k9vj=`I$oH&7 zCtpdZ9?wQilbKdtPiM7GM%84e8#=irH*VkQr9UUvCzc1#OksHLFFIIzx@4E1t0>)| zAh%h3e`>CQJn)RE{^^VX;0jskSa_FrK0YTL)v)WaIyVvu`S|h1^UXcTC9|2dm4UTm zzwubkd5MqZ>>Iahkg<~SF*vK-#I119r#B9*Eniv?h#R0=C4SjIXz;O-uj!$4=W5_f zV~9$vW!_!JC*75eFFytN213jpmsJ`{(_LLa(jyGzV*{H%{9!gH47zAr9SJj^b<+ck zH*Gm|SZs;k59Nvn!-RZeN~r_~}*>gt=|Lt~VyXKLa~D^inTW8V;N_7_LtZ_V0pLqaU{ z(o=q3al$##8man}SDnBoME?aDM(cwWsyww0Y1BSc6j$#2O>+k5=*IsQxNpeOB>joc z>9^Rn+`qAH4awhvD=p9ZV(0`YG$DW^X_a7BlhfbARr;mF8B_|H5N&dNBhZ5859p_e zNI1YdOStxkoa=Xt&IPIoN1QH-B0l*$VG+rvu|}(-i<43kK5NnJ)pzMidGr&o*eC7L zQ1y-s(CFI{hmV3L=S%nKgT98JjQW~-Rl}UnQpzC8wB>t(H8ugh?xosw2WX}#5#A=8 za^L6ou69)K^kUqUiJitLb;)Z$zuT8QjgJb*c0zy5pIW0T56EVBmk5Y%H@mszyOjZ5 zBc01<`3dycdYkmBX1~3gF%^f-PL(`O4GS2PLH9D5Tw?>VAqlY6uCe6>j77o;u&JM> z4hD=3v)&G4cA36K5f~CZRi_LXs~Nl+c@#ax0AoYIxaL6~a-3_H+#jeS_QmyfHmr=l zpC_swdU*^bepZU%$C-FXZe5A|pT6;$Nd7D3c%`_loQxd+Oz{VP2)_kKz`v#ljXp>a zRS<};ocOmx-ZzkBFzD@xBHvYBv{bz~nRmf`*@sA4G|4D(2lh5j#oMiJiRC6tcfJU5)#q{xa{MGoEPi3$CgDHkL@Tt zRKq@=OD@ja>^^&f$K7jK&b2mpI-*4-1L4l)!$(jzm&HT#m?(Tkmj88OzOID5Q z<>JnPz~v`|D<&!d;%t>MCH|^9v*N5YI_9=VkzO(>7Ps%=v*Wm*xh}u=^woci^i<$5 zznZw|$4R(_r*uc6}6Vi@x!tbX>t!>bd#$EsN+QzRFTkkE8RRAcULq- zET^NJ_2|$o$mG<|!vPiO?-O@5I3Vwo)Lleul5lI!-pUesn5vgxr`yey{p5BYjd7qX zEg4DX7B#R$Z}bfg2?+tJaf?*a4Rw^3zg76Nh(T1BZw$a+yjB6WTkk+X-(0XMlvjV` z`N4})f*=?j)R--e&Zg$JhC#G+Y+9UYy9&!0AxYmXWT;2P!nmlnXJX7QAqnQy^1eR9 zT1cRcAKb|xc7+E_;gIxenevCy{K4-VrnGw?`l(ne)2PE#4%MM_d5Hl-VX=8BSCzy= z9K9?pH|JVO=ZOqCG}n0X-lsQVzyh+b3j6gXH9IGKAXz%?Ih2c-B;iv)v@*v*kdobA z0A;EtE_5_Nyh}XGcF#Ja#4MLPkN3I4AW`A&T#G3`RHSR3Zj>p`PUtD(0stF-L493` z?e}cr*?~Np?Pg~!twP*U2U|ca?HtN}E+q1dB@^upL_;bI8B{=Jj6ScT8C!YlT(CwS zH+swnl8w0}8xyTe7goK+^Vm*=Hbmt(gxeq~NP&ED;eYpqFC@imyaCr=g4w}MQXLRq zs7UDpc~#cXAr|)Gu3xg|i#X{5jxkc!@R)y$$2$`-)&V!G_7%Wq{8Fi#xM9Wf4mAq zsR4mlA*Yx)GHe-|=K8yRHiHdv^n_Sy#D-|Ne(#Oi+hRvy2QGWFQ~KRNDDIR{m^Xc$ zWH($InGDffERl0B?sV{P*FL@E2kb`3p}dQjw%?fov!Vna>dyDnt$ZufnJ$Cm1F-sD6J zg`w^&xVdtAtlj;_zF!RGLd3S&gjOcN zNma3KGn$4rFwz{aC}J;5h%l~LZac0coBe*B{*uMKj*lJ5OBnAfRkLRn`+YP0&Y8K> zZL3sXUQywMKfEx-OLoD8P;Xd*+~N(TX;5#)nEJYLu7e7B1wyq&D?&`mM~xXCXOKjL zwO+q~b0)NeFx{p*8#X#P>0;TGeQPhJi1~*(^>_xAyrr!7J563ITQTP)Vo9bWz9Ms& zl2YGz-`{Z|9;!5h+hr}z$?~VBoHLVVT$%G1j$*jegsd1aD1My&^wDNeK}#kE3%sl@ zJ?21bv&H2DiZ}Y%NhkoBLfqS)5&~qX3a-q9j(9K}9VV}x;^tjiN?!T_Dfd)ISX2-3 z=+fYX?Wfm?cj(FH~0sh=hacJMvQMyt8e z_`;+s7Y|57)*g{mWi-`hk4XL2yaP|Rc#6iq*W~(?K zRIAdo2T*=0y_*J8{Ati1b65Xek*dG23!FnIz}IF2P@+5^w9$Ukzl^WUK&nv7!W6hc zg1K}8PKnX1qoVH3UH@HdD%!xd{G5L9yR3C=10Ohm(-UksX;kW}3$!3Sz16%H(4baS zP8Ujvkm$9bzZaWP<%sEl8Yc+D7o3sL`E>mRc!opBXI7Mlh-U zGJI!3z0j$0f|X_nc?+t_GYOe)O*9>~#PjQG?ZNABxPl81&@EtTAyG?hNH#%sBv3~k z>fbtBp4Fh?biwCsVhdi3{FV|JA}$gFjKXTIs6(6Dsn}z~2R^ho%(-h69m5xHD3*79 ziqs6CGPd08pS0-obx~tXKvGjAGGWa{q?DmV);5Z@?l;lvcK{vR89wn2F(e_d>Q{<+ zb(yujS40f-At#c#BkjJwiX=lgZ-@*2(c!FuZpy6?V?Wps9#v6Sb=B*fjA`ep4VJAu zMeRCbVMz!qP=VYi`BIEbiu_rg0|!%LGtX=o!3_F>fPf@o@F_G$`5?2a96HVbUC5e; z6)CRb7pbGIgW5Nt908(3HWn|_~+FZ6qdT7sgLtlOkizEv?( z#e`h_vW-K6<)F3QN%TE7da%NK9wy#apap)8iy~t~MSV|KeS`Xau@eEbuRh7VsZj$f zKFGO76jI%ecVH1LwA4ns!TkH8pS#mrfLEv8P6}2FohyjN^UIOu$4gcjiVZ|g_G=X8 zhv!H4$pQ(eM+l!6IVdkEi|>XfqB&;bWS}TIG`ZYfy{#AHnc$Jr3ns7v;mX z?3O2mjDW@WtJmhl#6OVjP);^pF3_~SP`*n!RIWa+e7L#W>6|~w6wv;pXEn=0RLK)o zwiwbyDC7Z}@kYrVFYJik*ed2*?jU@|>8iF2(}Wf#HJM`#T%Ic=4%ofE`-&hRt-8~d zEIgMkcJeG;ls$roCxxj0ZJ0>texab5?_Doo1>)xmO3w=i@0W#q>-nUyV(jqVyQN^y7#?w z#~kW2#|W2iXxG31W}f^u!EIoW_WkYQQ$n?hE6|(nA@DN(y@JqP9MmMSHcu-}jQKMT ze=9D?^glCz-^v;P4$FTPBL1I+<^PoMM|a?#VLAFgTQ~n!=lC~2#R}y9D-%0|XX&`a zdEN?wPG`zBp$`TF7w~Wd#JI}$|G)qxsvWkXIqgZ|Zm`y?PgNk`! zX4hC>ffxq{Y2-?+`tY*Hhy36l>7=UL1w?s^O8!sG>1?VaDXki%Q9ItX%F{O* z%{O3uC6M*=^jscgKN#T3#Vn2B=vm=Yz9U**@2q z1TF2ZUQ7}Orln|eQAX_p0jP@w7n_3}a$aN_tI}1_9X;16fuWGmA?T8TdAR|y{X15B zyzPw5vWMDZI;OR#%Q$NI53U4-{w%SuU&$jS+#}aF^g6ZZxY-pdK*>j*AJ&e1(hAu8 zy}TM5bC|(%P_!Vhx(NlrZu&F_GoV5pN1|c*u-6?pM#?G{D;A8jS5VJs|t*^yse=1g^`T;>ss$lxGybW&q&ZzPyA5hKHvEh zukTT4*;2t=39agg8Vx8Fy$r2Op=!e(n%9~E#Qt{GWa$Pco$sSnkJ@>MC$BIUEC?Hq z-}{z#RasqidPWH>acHzYZ)R()14w9Wn~>&XiB1nP!rFO+^~q(%9X?>Alq^@vEn&K zMcg_X!>SEsK{8!L`PEU(oHTilevD3v=L`iG#epSIJ?nmt*h@>PJo7+ ztm~&KJS`uxRi+ja+&~-z+A72veJL^nefiHQOeN3CDv_U(I^NUdRq)Ix@Aq7^rWRFv zKLiPwT{!I}MTbP==V+*8?S{J?h3o_lUGiurSV-A>fT+S2d515MndXU2UphA>$9P-X zaow?|ff4Mjw@PZ)B>4VtytlLhdK*S|ZgI~6M!onHKS>#;Xq9wpL+_VZLKr)gzFfz^ z=>fg$N>GrCuDQUe)&jXxA{^^_pT39}%}mDo9EEaS1|pvDRa^%Nkex)A+VZLqt-$wY zp=5-|fIO?$dIyFqIB|0ArYfY5!F{%b3#Z2EIaVyqz`P)@y{%in$7$S?3I?K&1)p7Z zSWcFC{)mIh!Jgmr4X6qXEkhlK8%U8yF1hr~Z&xD`D9yk-kTOmmRXF*`*2X_>?d+^R zE4DkbQ!TN~W`L}!fbEzGv%?4P>kE|#x7IJ32`VcF-uw6?%?ib+ShUD2c(hMAz&8DC z=-V!-P?meTk{8Ha{GrB851(K$d%5GRv08JED$}XQ4-}Qf^ur1R*sWqG&ia3aUB9Lb zR;TFar8w9I^N=1U-NAGmkJ=Q#JxR7QL>5XKzPM9x;l)}vmhqOmVGAx-h-k;LmDu>? z0@^^5{1U)RfzQQJ#|)`2I+ImeNMhcDd8Mc3))UTOZinrT-e%l+jv}T?KP9(na^~A( zBCK9fa+Idmx}X6Cm4mscpq0Qu$qlYFdac6Q2{mYF)8z3Rcuox&Z(#Aavi#qMaw=>cp-Rxl$zEtv$ zR}ra~+R$5)L(c!Ub;TBvCEvNDpuV z8Uq@RCcqr8bIXh%B5lbg@{!<2kHc1_E8jiH8TM){;kBSQ8@UAshdAUy63^XuVT@#56?HI6S^KfcQbP{4 zXQ_tYI55Evu>?DCb((-Bxz3U#69{t4iCKK%W0EKgPBbWYu?*KvEJ$~WcC?1_8v_JJ z89Xqik>}cDi`k>g(t{sDr51|8!6O7s!;8qUnwlk`!a1=Axl}T<>fmN5zJW`NEM`=( zpuFRYkEvHMg_b1t3(8$OXgv|-Jqi?rlu(w`W$mQ2nIv=Hfc`Acu#|{b+X2GK3TsG8 z02|wtWKNjQ5<#FW7lOs{{%p<*2`%PZOuFi-t6!!7X~eBiR89icW*RoRs4b^UliL7q z#kY#a-4}^-+=Od_+>1x!xJuEjLxgGZ<_@|JLfJF%QnJ4!aJ3MfQpm#oR4fw_y?Jz5 zPnD7dJCnkl$3WVYON-#%+Za?OdoBIRj|0FlHZH^5Xipg=H$orY#^tBT?)#YyR_2R+ zL0XyMJ2*g-*Ud2^yb5*E>L|J&rTp5Q7-utL37n%lAtI=rP>%PAp!Vofz(y=*xDA?1N(F-dnGJZzLATo~baX&KOCuNFl6$4Z1@ z1iVhK9uBnx@KgnY$%ZYbNgJnmlsF@h4>% zz=C>uwX#oM%{}CL7mQz1Z846oPjNy)f6?+;73))xH z@J=mEcCMO;733}jFzr^!d8wE4AY~geula%I;`m9=)T-ZOCX zGwLg@clUeKspz!!d&lU)TdV8ffsCKtjMLYaH4DWyQ_AmG9YLG?-h31rgHz^)Ej^lT zZ_3c4pI*69_JJ};*gHhx+sNtYcb}%(+*qcBxk`C?e0!oz_dn{NgE-SUuhS!PxkKJ0 z%2%hMBJxYPM388sFKLhz_aP)2??ZphJ$04m5a@(a+=hMSs|xfZYDO8`${0(;7HJ{N z4$6-ilR7$0AV9DS(k0K!w;%6t8Q*N6>0bF5dy%oA#-mMQEdN~I!Fas+*y z-Z?Gmn%cY0>GgB2P(;MDZccMi8HI>Gt!H zc(GJ_l|G5@?81BLfCt#3Nl!-fAnir|T*;s;z5bGWkwwd;Lcf1(UjDswbQ<5|xG}9H zJJDty`ca$SO{$=r^-4ID>uQxzaR*43x9l}0n>&i8$5;cA-$yR4NgT^4W6eTUJO4R1av8n<; zEl|J`t-%YV9ECV;Iih>ijWupu)eInz**}wKeY=Dvt!L{YjocRW_Ut;V)^0Y$G+uyS zLKse^!M*4ZLK&K{Vu2cjsm@x*wjyJsg2_-EU!1(uKe$MU3DIEY0ywOikwnTv<17*W zS}A3QzD&ELC@wVIjKS_5ljEW!hS-4qs14-~`6y^!z~e1-kI9~n>^(T5hvIhmQPjqI zL?GlCd^=XLNmEMzcK8V%5072u;bW`!4lPq-unYHBe<1Y@bSf%{7kMIp#FdtqK9sk- zyQvdf;~)+2 zrf4gDeyWFW_q$a^KoEUkCnH}f1$e+{V-B=0Ml7EmbT_Pe`~oYQL~56UeaxBF=`45I zGmS|2q;G-ONqOQ$e>q9tB?d=sW};kB(5UoGT!-WiI5PZ*4PN#AG4mU>MCS+wdM82b z#8W_&>B&6>aw-_nL`!#8*r~K5OMEy58TfX51w|o98ghJnky`f9%upysfxAubM~F

n*&1^R%3J2G`Iy}Z6^<0i?FAd{!qwurcITx?okeVkJjdXDI`qmj-}x{{X= zbImnJ>?fh z0n42r-_$reOl9dIxM?idJ``jW*cc+jplZrcafEG)@81n zfrjKjBzLTJo`}jWZTac!5coIEYz@g|2EQT#W9cw1FhzP|Fq-xplVZQp%$Ab^y)Q2{ z0v~h3uQP|16faw`hYhcKd19Gs<$(IyI!MQ$^m26)iA;wzOm|@(e}?MS@!+t)jH;y% z4B%|sojGm|FMiCr-e${n${hIxoK(Z4FF*}b`%s&WJw<74tE2uHk_z@_Ei=hOL}*{P z*`|Tv9LB|pcN98vhlK8A;l-%xH|3BYvR#Y~J$B0|-Md)2AXew`p6q>MSid2_n(=vn zyf7TL%`pSDmWkd#H@)u+5r!y^ok)fjjukc=)T0;VQ1qIe*&K#+WW+*d4KzJ{F;En+ zH|a5ixg`@1j^)c3VN#w_W1tenYPK;?|> zQFvVsADX`)nhCzh?)y}upPz9PxoyU{=Y!AtTTtgvVx zQ!wcoN9kr&X<`G1UQ5^w`F_WEr31wn_TA2&CSOD^I`v(i&Hgz2s;Vl#I1;@iS=o@!jqN|sVH{dsL#15gjT^3(8;<$oInr1ng#_O#i*#U2^Q=&?#E9O zc&yt}rHfgewmXryH_Nm@#M^tNFBfNJL4+%j?1_W5jhaeKreex`+nJKYL z>6|VEmaxCf_B~GDkK#VLje4{BLP;ZZF8}atF8<_W!7`4toW=XJ{MItWaTgS_b}%SX zAIZ2In5MfFfwJuM#*0Jcu$_|_W)W=e^1UY^3%uVh^5U_l>q{4aSh`oavH<3ZnY(Px z%| z=?Hz`FBkG!GA{AeU!JFnZ z(4HJRGeYtl|I~XH5n|@S5!+G=#Q!LsZQdjgo^y8!{$_1@-Gm^7g47$7w-%L;;d#eq z|2?D@_V=L(-#H0Qy3h_Tqvfy!O3sBu84JZyC>?hT?X9U$&hpQUfP=@}vAZs)(ms6YVR zUm8OM|7^En0RUfr!{A^2@f@t||LT_iy*-|T>$P|P_pYqQ##QinY=plxHU7Kb1o-+h z5q}x4g8{Jy0s5`$>))|5%Ris6{(sPL@~bKMf5poG5dX&`7~p?CKKf_J2|Mtwz4^!Z z3vo+LXWs4pXVS$bXvttd^Uv3=7Avg2M;Xe`2)F?mLj%c=6!Mb>zA1fq^lSlF;0tEU zvt)NsAtLuj%E33gghsW-N9f`Fq4VhGeAa`HhZm?8yZd3&!lr53Ul=twX%}M?M9U(O zUKzgRoG4$&&b-+|?S_q@BUgxgH9{i*aUlXelV$llx+$fipu(bJ%fy!SBZ*YAc+O%_ zd1rZPUY&PvhbCp>8z^!q_e$*nK;z3>|M3lGF*jGb$1KqK*}zYrWBr2TC_;F>*H3 zA$w1-N`Ff`aDy*eJfSL`Lm_oVN;5-el^3Ex?Q}t^`z21=xkKwK*$DlIsQ+SC->K_jan&6YBP zy5tkyPc)l_)+`fr;X6n*&I%V*ZiKJRinWH0ns}Ck=l?d)nAyM>XAOEbS|Wm4#LK2A z2cd-W2_WIpw`tl`l7YR1`-1lrdc-MxiO{&%`}myiPn+Y2$LX&_o5`2qED&e$Yhu3f z3U8AC@UHV+aM&dk+J))>`dsMC1vM4N)Fs{#@N4lp&DG^)OH3=Gi{Kl{dFCeU1(sn7 z2g2AK{4Wjs5<|`N#xK>Lyq6Rr>)eee~(sa z^@6MbnI_%8nC@@Ve@dp8b#GW>ni+T9u^GQWTeJ_{HNB&i2lZ+R(mRz|8Sfvz`_S%F z&yVk8^z#ef7Jfe$Zf1bGKC_X344c1x@E z_{ndoG$F#CEtfcBTq2ota`CWed3vqE1!~*U>MnI7?J^@v(oyhBL$8B^<~>nB)Nt^n zNr6nQNQ)Gw})RW_4Ue0ag=y95?f#H_t##wyeHiNw|>JSEq+IqlNX z=f-=AayBxa-JkhU7T!(zD7?%6P6RMFg)?(ynT-3!AAH~5>7@L06D>n*bfm!3E=#mZ zHPl*b{jzr<`jHK{KFu_2_+BJyPMuypeN?}db0O4|pB@yoG{P!f^Jv)@5m_)mU~(jN zD7xeB8sU+3TW3ljhnxMQs!kw7eHTvtCTD}F^`uQhz!~weg3-BCbN0~LgLi_=cAppr za_Y%&Esp|SeyZD1t!hW>QaZM1U_SnWdjN%awZl5{=*04t{rYxEt*2$H&$Y_uA%)Nb znRY5qz8ci>y|$G;%7%IW8Graqf$b{cD*ae=Y<6Z)ec7g4Q!Ui_Lu;susb{E7_LvTm zp*vl$D;8A-W#{;FnNUMKEYVkMB>o}FlWQ;!O8Trm_ihl{%z3<;QCUgE$)k(??he8< z*`r=CVZmK**vi?DH$&fN6*z_2wi2^cUP`yZTt9;z?ifJRAE9<{ObmRw*^0I6#vZ5a zR_gb;cJzwYfNjOsD8$#R16d}TvUwA>8>V3r*|wUWNPajTmCgk<>Ca4fuHbh8<++Fb z1MEkT-(~Qh%G}!Um6k8WXV>s-Ny_sOapMb`WN+qg3p}5El^Dn})Vkm@nVY^CK&`KM zhKvAJx;un3A-ox`)d*)H*ow&u&K#>ZH7C;5v}de&OZO8>UtZKh%9`#oWJiv;Vi*<^ zU4uq8y|9Jt++K{sgQZsiu*nniRxXb=xkYl`9Kz6+N&kxfUg6@)oAy;gH=cW$s5yIa z!k_AlANjL4R|GG!Fs&}Mi7ZfTmH9F?E%Mhvy}SW&MHhjk^6lTwv{n%oNaU;uwjI5n z?Zw}{aIJpd&HgDCn7!XROhV|2^GTxqsQhgKS9(PPQiXfz(86@?M=<>vI2VZB%jY>I2ait$t2wDR;=-$MvlwzahnVmi^;)kskqgJCW^ zfIgUyD{gM-&Y3eZYj&o|X!EjGGKanunnXou)GZ`Wp_!L5`oBuK@1Ul#wgKQtsA8lW z5LgIO!_tueic4>SfQW!d69lA7N1CBm=}kbI5PI(=gf2~K(mN9AxO8L%eB-`5yXw39 z{qgNTcjnHVd+(e(_s%@$InVQxUFa#-C5su-ZYl0t;-XO9TuC5IB6+hhzs_}Rwn-@X z({ttudJ~Pn-Y(EnS=x%2$+K*P1yeh}d13fKozek;R_FA$AcSH#;eWTP57c zYottE1zlb+Yl>0Ni`XtpYiVcCati`duML;J^^v*c9(t-`h73qD-}MLk9YBR%fA2PF?<6$NsvEr3I0`+k4flyIxHV zht>~K%|;A~oPZaOhW(YWlUu#WV71uxNa8lO;dc3}#C-K>zAVBi{59<#Y8V+oJCi}y znPZiT=-@Ckrfj0Xc8cIJ+g`nGR^;ZUwnDmtiW&B$F1Kclrsp;`sq6E=#uaa27dMxV zJB3CsJWKRgyR(s3ozTzULo0AaAvf%r*s5|+0j%#JmGL^cJo|b?se`Utim6A^xDqq! zm#PJ+5wn}4y~2_CazQfj&O{u^Mz1{F)l#lrg|9NH5=A#otvUmJMMV*T9cAW31vMph zc7kKKd|i^2M$z0NprDgF)=YDrApx+yTGz!*p5SozyQsoP*klh+?z>Q|@BYwwd7CUM z-`fb5~l{KQy_1Q%E6>Z(jR0C?01RaGF)zFDqYKXyds=O#CF@+kvSk(bf)bQ_MrsLqbX) zMiT%a@HMT0effNBBMtJm)ePU+4tk-aq0yR`-yE{=-g=qODBauZ**?xIk>7jq?JH%z zK>@mKr|j6=LdNck_ZR~d#?`1sEDfudQP>5mvn$@}Shx3p6ii8UYP>(2>u{mH*}Cy+ z?NT?*<2f&*wQ=O*&7VIW|NQpdqK?1YC8=MNc|J_=h#d)oSH>ia^RVv>UKkvESs@JV zEF(Xvdu$sIh%An%F6x!K4m~wCvdZ|ZUXGj<4L!6-;aN*qLyfl9q9o+bs`b)LPd}dZ z#3!$DwPt>T(mh$GFeNplz-g6eEMN~H9BStcyK_)gx?3Ovf$NLT+LUt54=@s^Lt!T> zBZ~c3I$kKG>5j{@(|IIL2E{BI^t;dQ+l~M-MXTP`d$7*EvM0|n8zhd5m}Jf zG!B*L2+hj0)2yrLxf_tuPjBM4FCQxS!uLPrD>Nyxl^X-^qLz4_tM60YWl`4%hRdvH zNcweVUtjZ>w3|$w-NFb5S=G&-G!|k-g1~f0zVPmhjZbO1rGo>E9}_&aM8yhtQ;R}^ zOA4Dau8?|JN`K-wU??Rfrz0aQ8GHZSE+H&Ezm4>G3nO}};7Ug$V75n*6e=g-zm!AJ zp6M48Cte|Y6Qyt;ph6+-i)o?#BBbC}&@J+zSp^rZrx|}$5S1MMOJ7*?^mwah>`DHM z<~2Qn-7a=TwujWdM^$zcG+Ja-Z5P8$Bc$bCHy;oZ7`F1c&SyU0xTjCG)45BPl#V5x z!=5TI;woQ|lRjOG)n>U3rkyKNtg&_PqgpG^toO+{-zP`UD`#!U z@q6V-jbZtWxx#xTWV^JKz%6iXI+uk$Mi{M0u3gm z^gEz%*%{D~`vmotuk(T2ys6}hhk8i%d$P7vl%2LPR7t#w>?z;1xBxawhlj+@3JX>; z)dWKvIk&(M(2=h?t*F!0IJ*=#dzAy!qqEzfA>!)0ccDFIy8xQyTOOLyl1kLOuQ4

TR^r%EY>1)`>XO zJ2GLmUDwVfpXS6ANC)k`pWnU`ud|txH(QLNkMDenwwYhWg)G-_l9QYxC$Eu7Iam%{ zBZ8+jH7!pB=I~w<2h}=1>3Z!vmGMPs`@Gfk;z!!{?U<*V+M>p zR}0^o;M~CD+GCK&%l@%ng;@4_v6b1Vwq9%dnx-d_SmqK{JwIguIzcMly0C$;hgPqq zkJDl1tZ3TZtIaxt-AYb^3q|}yRUg1nI%!e*<_l}iybKUe5yTVI>BwVc$9l8Yw1L5U z=9k5B{n4`fc@fnBeqZUc$pI-BefpcsDmd>G+QDjyna^SBOwT3Ph6Dz9yXFw66MttM zJ&;TOoagFGDQKpinTLN;4B?gyg5AXOadl?)Jc6Q%E6Hsn{y4pC>ezX@x+Gm`w(&OMYbX%H5}wBvxi$OL}>fC{vvc!$h>8meo(<`jGvP za8{IHVcEt^lIzG>3gFrjUz|yVSwo!q+6#8s zK77Zpq!%Uoqxm-QXN09PAe3e3yYQ#k@deViyM@dP1Mivpjen`*tWKtF*7&7QY0^NN-5y}_ zE_aoh#GaN}*ZI=zUhT78fx<>YSgw_$a8YA}qlE~SGBG!dJ`!^we_bjKqrz;BI!-A( z_c-4KOyq+}#jc11{}j1heSd7ac74;0d}}_9wS=JR(I@JAV%pQFIhm^QcA?J;A-8AT zt6K_kM}MOvFMacNya?6VhZ`9qi<087(TeXPe`{Ihdq_9%$h0*kFG$8>r+&Qk39@)? zJFI4+54n~KX?KC(#QGoCwHuJ&Wvlkw@%eP>pat%FkLw96j zXKA)@GA@*U?NNheqPGo4hx5e6z_w&Sws>i}Wr}cM0(Tod2N@|6h)$w?ekVm0Soyhh z`B`syE?Y?IjGJn>bPPRNAp7nWkx)%fnM;1Pg9CDLaw@NWEkf}U#yYjJ`LQ}Q#~S1( z(z65)i{ADM=At->5MEkQc|3`bA$lNT_EGoffhzxnrY%XY_>4MiCJIC{1wqs?UX&f2 zyi8QI*4STILk^I2x!Dff9G;30O}YVP4%r#5)fDujWWjK}&t@R0YXE3X^B20c#%kQq z1os&}zvC0a?}OUZS}irF5kcqBm>#?(t_$YAL1yZ~l>Tl$=4nwEO-|Ru6t`ob6Vg_> zEDYH%S}D`Wndm`__7s2ZY9MTya;?pkk0T+lu}45>aYh}U1H#1QHab!sbIMIc(AdnE z=LU-PK$9&MDe?oRohKFVokhVGkqfIf^Av*gV*|xpOQ=|SFJ&(2LrLMNb`BElK5UUA znor_I3q0|co3bYXT|pu@BZqw)6lJ^(Ld$lyP-i2*VOg8VKw|1+bY75oP4h0Sv1F@Y ze)Wn@eGc6n4^w(1elzS9;q2yK#HL|+Rvx^i@8<(!!zNUO(i^WXFP66v(v;QFzHE)m zd!*ttL8x9R6Vc=^by;Gq=+RpNHI0;#pZvF@jZ0Zz!9vzznejyWo98$x7D8x%^~4~JVj!{1~Dx11T{8`4)>mnh$}qU(mA8; zJ_>v`+s}4by1klI9x5Uh zYEKPchQ6M#xwdlMr2)0rtsd(v>tFGC6pm#&U?{S}?=x656fy4~w41-PHZt6;>`u{s zhWd0Ou80(UXz1)NwfJJxKKe9$>BDQ24^9{9`plaQp70gaR=2wO!q9~f#b{vIha%<1 zXT-}y-67L2djRMQibzLorN4>o|F%S0=x=JIb@8$KKjNNv|K|5d{_dZ+r|2Js@ApO0 zf7D3-e*bSYpTF|m;-cTzNLP=@m=l2UBFvvFkRQPtk#AigQHj3{)^GFfaB=bP6V%ml zm4^&qp&#l$zC~$7@QCSO`Fx45^6-DN-QV3;0uStbyA-Lo6o(Ok?cQ4o04|` diff --git a/project2/report2.tex b/project2/report2.tex index 2d590fe..bb8b6d8 100644 --- a/project2/report2.tex +++ b/project2/report2.tex @@ -174,10 +174,10 @@ In this challenge we were given some form of a gambling contract, which promises \begin{minted}[frame=lines,framesep=2mm,bgcolor=LightGray,fontsize=\footnotesize,linenos,breaklines]{solidity} function PRNG(address sender) private view returns(uint8){ - // Totally "awesome" PRNG - //return uint8(keccak256(abi.encodePacked(sender, block.coinbase, now, big_secret))); - return uint8(uint(keccak256(abi.encodePacked(sender, block.coinbase, now, big_secret)))); - } + // Totally "awesome" PRNG + //return uint8(keccak256(abi.encodePacked(sender, block.coinbase, now, big_secret))); + return uint8(uint(keccak256(abi.encodePacked(sender, block.coinbase, now, big_secret)))); +} \end{minted} Since blockchain is a deterministic data structure, anyone can produce the outcome of the PRNG function, given that they know the parameters/seeds used to generate randomness. Let's take a look at the parameters used in generation of a number: \begin{itemize}