From bafd980db1198b021bdc59bc61a43b4533764d79 Mon Sep 17 00:00:00 2001 From: Arne van Iterson Date: Thu, 11 Apr 2024 13:27:28 +0200 Subject: [PATCH] document now exists --- doc/reflection/img/setup.png | Bin 0 -> 29988 bytes doc/reflection/main.tex | 135 ++++++++++++++++++++++++++++++++++- 2 files changed, 132 insertions(+), 3 deletions(-) create mode 100644 doc/reflection/img/setup.png diff --git a/doc/reflection/img/setup.png b/doc/reflection/img/setup.png new file mode 100644 index 0000000000000000000000000000000000000000..b986096ee9a7216d1e53018369783422e381339f GIT binary patch literal 29988 zcmeFZby$>NyEaTo8KiMAww$NC4!WKjC4p0Aq`4MiAYIE3P{(`f|PW_zyK1` z3>}j18vO0&aetd*AMd~4_dS1c0Bi19>sr^k;yllF2dSyZUL~X=#K6F~DlaFcfq{X8 z!oa|!!p8-F$$Ugf4SrxcXvjXq$nUbiAulDVukk2Mmpuckuj~s_y?G|QusHJ^jHUX9^$+Ow9 zo4UjG-SEiESdSUM9X?^P?7e|6fq_N*g~P|G%c_2({_&$}8w=$lg$jDL2UysR6E|Oe zQm<_3qsNzcW`|{T*dODIW2FzF=1_r~oUFW~tE5+B#T>4`x1=eELyv)pze9}aijXgj z%9`LCbMrqFoqTjC)AWhv_x?N-tGC_A#9rF2sET)} zWfi8kT}&8VCBuJT&|n0Hp)>z|PJCWk&@P>(p`UbxPxPhhlxjYRyE9u6_etz&Yh9Ex5h zAA6&Lu;<(xi8vgcv-Wh=iE}6DZN}LsUNN5S+nHnr%S>?28sTU7*2162K!WPuWD>+_ zX9oMv>aqL=cnpRQH?wz)0R>ek>mv#9a7sMlMPu|%-6WdkrV)SjC`AeDtCwkimd&}d zEZ)O%K{&-Vm~rEzqDK?`@1sevCQzmeafn0c-c3Gg6KFy#q6F%k7Uwb5iMm&EN{ET7umM+8$Z73oK<>siEZNlJqvxo4;T%(OswO(R zpF7F&dRah??v=z)Z5U2;a^EZY)wwzV-P;cyOHYI{Aj=-*zU^m3?nV?XS)80dPV>UY z8RIPfG^LQPs*f{x24(78{V1tJX9d+uK-fd~>|#|W-4YVw#Hh`o-#b?Y_#hpfsKDkX zJu&hV)>y>buGOp1Jw?9i;m*uAn>$)x$9P4LD@>Rsy)0u90nl>aI1f&xDfX5L3ut*k z+!|H6vT4qpCkY5s=-#W*J!k)FF~0GZ&N?&b_*5I`uJRQPP76g3~E+y z^_zZ&JCS-i3zo=^J-gFq6Rx(CK+)3d&R@g+kax3=)H5^I#rA$l$@dU?X42EnPOXam zC1U~tm`b{4O)c3&Uc1z|2`lKKVDl)Xt#j{Q30<6S8YPVMF^gfgm@ED%>v8qi0}k>w zX3pg=wi?qaPF{%4I+{K882L8rO=3Rx?oQSO#4L1JWkTg$R3JO1rqwC=o-%Ey>>JsS z6bZUa(<+RaTXIq&d^P&BwNO@)z5VIrGpp|(nL~*s;3h&6DIw<$D{|rPVc{&#n=VA; zlU5FuP9*3G3Y3^bo!!~*S2C3c2krCo9i_*~yBxW)zn3>Vtcv@g*(FNaTt`Bvrao&%GkffFxK8<@-*iF|j>jF(X94ac4x7D;`k^E!SAgV{5pRZO69$4e^=n zQxgRC;I02X*G&(eotp8y(5ghrtUYAOv8p>b?q82M=b;VW# z9$r2J7v52(h7EkasEuD?KRG>i+E!&gKVuEQw;(@^$}1M0;VSAT_#htuF=+o>-aMXl zsCu<_|AUOIVS?x;nCOVyGlx}XwPiCqefWTKJt_aMUu@LywE7(Pz_`R0P&$I6-!FbR zWO3!n!dDbZ`pocaWYE49d0~A2AeEAD=&b%pSc8*9F3E7s1qn>PjxV~B6ozOc@C|Qn z$}sIznsl_idWple#M%=+nCrdXB8!s z!IV}NF=KnjA5x~+`l8+f%JtUV39}{i`4!>j%nn7kWfrQzzgno;$+$6bo7{^3PI)jv zVqX8Ys~pC3*k_OySkWnCllY>Pfkm+68)I-Q%jVhRPvzPb?I>cyemhT>=l)@@Sa;!? zh^sZ+oq&g2^w~WbBq6V=)n|NppoWi-)4?HPNRFkU}xy5cwGUf`i94cf}I7YIBz5#vf0S5I5$pk zLHFX?@`|@^i#)JOAS0ZebR~s2IiMP#d**!AcNmX3J|@phcM%Lot;KHN&r#jPhwT=z zh%QNMk*6(M_`CFHT?`+?0c&7{oIf6`?+21nXpjDbg%1~M#7r_Ot~bxE@) zl?1hH{={vF>AV`de~~XnVEY*E7hC#kB{^-4jOt$BDIg#=&q827UKR0sxwA0_4yM6){_}3;#u;1a_4i7H00|{o$>OCxZUg9r&pyUVt* zLMIW{3rpU6^q?xmCFa1ws+GW)&ZqdQL}#f8V!7}DBQj%F)&~EBy!UQ_(&6A$Q1oG7 zap3{{XX zYtD0#vSY;^+?Ez+>asMZ^(Sk#em&j7E4SUxj+}nHLlk)KavjZ3)Keax7_7TJiSTN^ z{^WK6*`WSS^zn#GHJC2H99{+YmRW9Hf8a4$&0x!$@PSek-eF2;u`ZaWxvJy`f; zLL_$ZlT@6Moxjnbig)BrWwOVfZuM$$$LirqLB)jgc-P*P*I7G%;%>n!*3XiE+KyPz zq`bR=FF}9ZC;tYDc}zJ$pes`)(IVu=9R(cY+`Mu^5$NPWiy*5)vJ<0!_1B<1XIHR( z1l_caxu>7&8Q55A+ldcHjhA^!xe99TnQbMxqk`;4lv~pB&c8wJI%qx~H0mc)b8{vuH{#wsO}EU{fM$&uiYY8JX~ss zd@7ooUu97^t$hsHH!E=)P!>dld+so~@AS!H6V*jOF?ZucMVu=`C=*@Anv{0+gSl+#&aF5P6M0AsOEsK=VTNAIh zyY}|$&qM>+;L~rY$GRcwx8^jFbq7ogyD|008C^-DkOR$K4%E-LVmk~+b8O<~mU(5v z8m_4|UhD2t zN4}@lwY$Stw;cyaL3!W(RGI*m*HoC^SUY3fKEFQ!OYVy0WeODEs~V~878tkUJKD(- zr}-)vnv}lH&pF)GVQ=_EKCHdGnpXOVM{;K_O7+^XM%Qlg+3`XqzrKTk^+B7gSpRT1 zxA5UntN3Z3=Y}8MsOUbD%u&(d%pv*cllfIg-pka@MAopA!2Bl`xt{dF`QlICmWiQ? zT4~G2EOIjp3sU#`58=pH9haUny;$F`+pl%*mBd3pCO5BH?j*gk+zTXOvf5ef!?tuD ztlPwGxf!%Jb-GvaOnD^S#Eqh6`l@XqtZqB8q3YO&==Hb5!^4m4tle^ZgGajJ#XnjO zH?6n31Xb@B>4MIPk>uQ+$Q1!Zt>}VL&fKr}Hi}l6i?n8p`Lv6JaLT^0z4$P~UA;<*@7evP@6`v@-)YuEtQy9s z0P-TxM!56gqg1*&Wnp0a$FqB=)0*wM(&rN&H7{2fxC{OhPW zd#B^gR=o139=k(+p}I`Ake5ovC(Iu)@G3I)U82x`HlpvK{4+1*UYU8sHx}Fb z1X^3G!R|}u1B^srAv|?1y_>18(T;&#fG4VZ8AjTqA~cP2)Xd|_YX+G~aC2R~<%`Hll1fPsET& zbf?#66N!3#GPz$TNIY`e@Cj*nwaQ2uymk87$p^Ng`SKbkJy9?LTVFb>cmsXro@aSJ zhdi7}rz+3V62l*}s#xhsDl3+(rBxlV*F-iXj=s~K-u?D7jqb#3!=zJzE3dTaNO|ek zE^85Qwp|u1+eXOtx{&Lv_!dc43IUJqMb6@pnGNOoYz1 z7C@l$ovoLR75Rz1z2ltn?6MM2%uP$?j!oH-PH73ZTm$4c-ea&8EmqW@gjJpc|*=etcM-#W2!g(pHxy`f;N08}@aLli!_uJ)_xKNf!H) z?&}(s&$G769_!&jILDXV$P4(YK4zPY7`o>fIQB_nx20JnAQ8m6edoFgKzfA-zE_sIX_8 zL8*Z=edUu-*5R&Su&0)W3%=;nj$f6lNe#wGbL5ZQLy!qPB9OZdYh@$l;JnlecpUEh z^q}vy=c$shtfJ&6T^M>Y+Cq}go%AlI#(a^xwins=xj)1G#+A)blE1Kijy&5k1SfwTetN24=WNDuZvmTWspWOagp!}wZ)0JS6G8`w>^A80;6;lKRYm?$78Ot>7D-0om?e6Xo_YazO#xlfjk z#%hD*gZXS`ouYS$jsMi)aK%^{1Vy=X(q-%E@QA3C!sxX}nXTwEaKOEdH|RccaMc`-Z2Q8}{Z1YGIC?awO4mG0yf%Bdkqi%&;? zydHWwl5H0Q6%8Kwjp*?d*pP9MJxT@@!7~~MODWQ671_IG`S7$Y`{$h8s}G#F_Ld#d zx#_S$LY!Ex^Hn&`oic-PG8DON>A+#?dV|dFRRPEgo|A8mz~S(IjFF&HP4fGyZkGp_ zWt}bux%tZ6ogm#cQ%W>aSo@yVx^x}!5n%yudm9{+|gkpmt3E0d+M2l$Vqy6 z6#hv-kCBB4&;x)_0DDB80`_P@zWjKrW1PtA;QKf1ygsH#xfmt6!Ke1k*YV!Bt*mZ! z@DQCE8D0~9Paf(u(&?;A2-{kWGGl2_vj1HA88+#ge|i8N3)1qVVbHvi7w&aDyBDPT z+Bm3#KXsSoLDE-&Cc&OD_I3!sVV*CrD|w z(O@clfEx#)v2D2u0$6BRkifS0%8R;SXjY>^{4TrUORXB!{!E!Pdik^KXFXjE`?Qe} z!{9s^6r@hJ=X-<>dwC3-d#F#V#2CsUtsHqHmV2ddRi((%jxJYJ)3=r7foAmZbl_<7 zve7}K1}|RP%%uC|cG6E-il9_=+^xc4h~#>K3hi*c%9lvIKh|VSnJq5cE#4OK65m$d ze3!(#oym>b&wQmXkQFIaL~JIJVi^Ew9_cI67L}J`CJ^cCiVU%5i&SV8sXseeAMcFg zOK4f?<4u|kgK%%K4)BfgrZ&ht{n$7$8!j$p$7H-?W>I?TQa>@TWcYHcG-6-2M3HsQ zgPo-7lCP?UQO$au6h=(l&7Om+{=p_AIbQg%uTJs==_IK5u1XoFig-ME+i2?@CTYIu z{HWjYQp}2)MkTxKSCgUTD*b0N9zPV|A+!N^9>OiPl9xS}GGegSOhB?VdG^Bn0dafCBt=sb^jJ++@1mL!(@(J)|*j1dnfn5nm{ z(coAcA=4_AM)}J;g(*t-UJjdE?pH-NOvO!4Wr9)_jx_VJPlbM!(Q>-<7C1VpF5}cQx#7qmbUr(ILd~(WP zWUt%`=WI;mc8ai@F@7T*?tATqrb?~qjQxm}$D-5=D{Uj-6o9Gt;TGLAo1eIwhB%xA z2%L&X9!}{&Z!KCDmevbhKN)kNy9GWjH+Q@3sH+Z&MqJ)OXgY@M4P4ncWfBDf-Rh1e)^QtClJ4`OsG9A94M`b^ zB!@Dtn&*N>KqZH<0}7xoXWd2vk^EHd(mod6_(yKVpxlZps2a?S4jfj3E0)lf<&+F9 zgvv4T zKocCWbQPX}K0A;25&WQAE@oA5C2o6zu2+}qM4H0HPY-;$@^R9BM6o3ppRj)n^JjPM zUV@I|(Y?0wjzSriP@Jw9oe?gBVrbm=Fm*4)=Jt^6gj8;VLz#ToUC`}?f9zW$)XgTYycEREJ*1oBhpdFkX4J^yc<8=K%VgHfRL|i^*p16&9;PI zt{E)r=Bn|pR+CFwbrY_Ad}Eq>;!yezf#xmo5e=KXXEl|i*TXWngETi`4TooIW(kBU zQ?#;>C{sgSzdeXt1_fYYrNaX5SwRRZ^Q!zoRMw=j;KY4;nKb}3uoegeiRb9G25{FM z%t+p0?31Hrgjt#oHzqdalBozWj4BcB$qj106L(Epifm13k`6K_yp?a#wDPq?#qRP~ zfmer0zKx)hw;h95Cy+R4<_owVS{2F~29n}AN%5dIM{g(VaD@GI9=8^ZU~bPH>J4|h z)jlqxkF;*++LEyz%Q@!s3~a%{+BtMI`^Sj35UJK-AGy5d!(tKer6qy9h>>(h02w@3>V!i z^w>kRl5gm%0wa!pS^;?TWviVwvdvth6AQbdH`Tv~3Bs#xRv=mwjgxEUkpZ{zt(pUb zX}(t$|CbhEDLpEFYdBJy=F*_dsA%xC6B<F>3ETheC)=K}K7XXm40OqyGX!$(r5UdX2i{CAvd72*Z zCnnxj#^8a-T*9gHlNh-SyH;Y;9mVe0ai;5J~< z?DQ4wcYuRe(2rJ$FwBOBu^YlBoEqT0Mcmd8n@vH(FL_3VD1~IAEc4KN@l=`+X0a5d zDrWw~(ACuLzQ(M$@C_aSiT&gg1?3QD!NhM)qPwnqTml(e7D*N~efpX%K2Ta%H`Q9c zY@UCmb~2FwVQDwVi$<0hebTQ(ha}SC#H*DHNj|cvD_vOx8%CfBMe$LSQD@Kq~xy$GHAn^em2j)FLCbbdDGcJEgiR6nK_ z<3WGxZ-JCc=d(J%Kg{UQFuFHqgS-)$Pre(lcpQO zs+wfwzFu2#_2#|wW0?WpCIA+brZF;{&tiw&hsp)v3N5dT^JwX8iAAsyPJJz`gzkCp zRd;kAx;NESHQ2lJxsP>v4l#LTCNO}ndGj!Xfc|`{5+tatbiL5x3F(_vgY)N=G>eFz z0i#yv$AMsN@I6mSW*q)#C`_@`c_34(H+yQbLyl^*O`zScYZT#E_)D-mR}(&~IYq~v zba!g=m(+GyvGGC1I#u{eqz(GB?sp;kJ5d59d7Z0l=7fy4`y>+Z6|saqWBe<`0HwFN zOMekE{+LA#n+NhaI%`4L}001 zt3rJ4LP~75wOw6G$)Wd4o8|B)CM&ZPsYTJVPiJ+UQfu43!5in;q{ zQi~5FAdmldzC-~XLFDF5zVVLEPcB)-POfieHVw?6MDcMV^VfJwa=TXB z0@>j*u`*b5aZqPfb{PdV$Vg{qEJCl#N{4=~ zAF=0DzIwdZ+PNCs`$(-Z$zO)%l9&kjsV8~4_9C@qP)tkdKPPu~-BQd7KP93g7t|d-soyJBMu$o2obiQbU(% z5tI#KKxuPiQ*c~X2M^L-iw(&U-X!HZU-^;=Eq|#aBMi&eA7a7eaWj8YvpXl9wXhA% zOmJ}8*(><$O(FU)_thNDm$Wir<8e9oN_u_CBgsNkjO&L7(tHKf)7%c}4L-)Yg(hp&{@ z2Tx_qR*M)&0lqBcowOzcF&jXlCSorXX#}&XIiN)vrk$(f(7iqZ6Xb&e_-;JDXO};O zz!7DZZ~4|ALSsI``Ob8qeRzTNWG2a8eY5Kqja4ALgXKe}<}`Q5=?&3O*#*j2_%LfM zrUy7VQfPk8^1>)2O|nSBQ!S)2(UPNQpf|ypEA-0f8qdex0FtaY-D+AG8Zo`)C6PR z*>LViwJQ${KvQd{Hpav#tDoi?-wf|~3U}DmpJZ;C(4EdJuZl3%ak;HS@vKSow>Do% zNZ0D*M)5nM1jGahkHqes+|wJppR$?I*^PXojnJp~T*m```=7!ydQ~jZWuU^!(R*BP z2A$$BDTqZZLCfjir|^)kcJq~FL!GS-09&ukCMzYju=cUcZXvAD#s->vuf*u>ns#za z0EMzrP}5M5O(IUHIm5|VV=%y3(9Sk zB_~XO?o^!@P*(!jax3KfxaAW<9^Z(C6z&)y=GBf<=w46ZcT0bBM@SxbXkcco@C*9z zM+-mLZfwmT1;o|Hs(Woyb$>`80p@upp>YMLogTO!jnjq3vII;XKQm`fRad7K9pAVx z`FIk4$#|nldPS?qrdD7Rq&e=WCeE7fW6n;M^5dd~!|z@lnsCkQ!pk{29$T@R21IWs zowta!=u&&Ormf4is>Yi-QI`jnGoQjp-q;`>ySBz6+Mgeb)1-B!*6R|zZ14EL(Tzl~ zpgY}kd0pZ!bYK;Sh!3>8#AspQy9}nn zt2$B+%>$L<{2=m~WB@)6DbLK}XGUYk>KE!XRe*SPgyX@MWC{$F9J~2zORiVXMS)Tm zSvZ9ZE!2D%DgtVxMj8_gECVI<>6~S_s76>L2AuJqihl+@Z?gY=-U?ve>FIKKnEw=9 z-Vzk&G69zh!!j3`$RG4rLIZ>fdHKj|Sl9oo^Fnb^1EBKHsn=p~@?%((+kGV((0+~$ zI?n$o(!CG3S(;faEaEmlkkx3lILNRrp|jex3&j}3Y+$qrdUOaFZTNzN0_zgGcDi=& zqNwr{Jrf;30&fAiaE##d_O}vY=$ZJ1Tr?9QtZlZ?iJtwnhyT5_yY&!VrWP}TM_iY0 z_mLntf5e50ks|0!yu0^syXJRVR!=;^O?0`aOC|yDh-d#LnIeHMJ{m4mOQhmB>fhjj zwBX>-N1&z9HEkN)IE3ft@5M#lfmTCf-~@v?Js~$=_K~=DKBwS|mW7sxdrPPTw+Lob z7A0=;L2EYDF7nVn?FBnpyRDv{jfeH%+_Ib(Sr)C-#lVsV1uR$a{ap!qJoM5er7uzw zq7Rcq3On!|>Bvl4{5c7<8-KaT)Bd!pPQyc#OX`{9oz*pASE2`J)#<{B& z8LLnB#@9giUb0`i?or+)Fg}Wjck9^-keiTtoa|N9TbI1-DW^OBiMI!Ssb#GzSL2PSrgsaf$Y&>mY69TBG$XH zpR`}|QtfEMp+~g*`!&dDGlh{A06g_NwsPWA2v5+BpW_?{@^_srV0|MJy-t5OjO{m( zsg9x*4CBTjcYMp%C)PbHT$5t*u?;@yt<0%<9cm`rH`n;(zS*zHg8;4SqXb@)H$b{! zu=hr=ra^4OhiG)P$Yd=l`8fSf{qYvI$CqVy`X%?b|1~G zULtT-Z^y;hRk&=XilxW51sqfr5t^FtJE#hKT0wu?wnTZ=(3`S9Z zAWbdoxQIa(1Uu|M0g9$kz_XrYh^*(}6c8p6KAxE#dj%#v3TR~$UF*i2(bk-bAQ0Ft z|6)M`Osu{Hs95+mZl4~G)YtjTeyj;&Sp=#pYiHmkW0?sy@%dy1vDJE@R4+uE4BNIE zAjo6GdbXkxdbH6M$XAN=%c0bQ-RFXljp^@PmZ6+At>DT7M8u5p59D$l)&mIUIFV&r zNeO%}RqQ&yEX%Uy7EWi+P(FlnO>u%4YZVb=H)3IPe7qn|6c)5zG3D7nL|yCrq8xnn zh)RH?89D3o2H#72Lj|7vLSlLu8`nai($^k%;lGqELJSQ#}5zdG-KYE)F;Ej0V?*|98L0J+-hGDV)+!5iHA zluZdrRo#_3?oZwCSM02o4yZV9G~f|^wf9p$2Chakm}|00B(m}C+c5$FUVeL3FYl_$ zI4CA_?JayK60ebR!TD9N94@E=AK+bB_uQ{8ZzSZp9iTAj62G$ioi)Mg-bP(ut8jE% z7Qg0F>9wWNwduEXHfIN|;;TTyaEthK%p<&VSJ^T&Z2fdW{ET3-;%RHDrGEc@>`F?Q zgOSU0KqlSjPW~`N(J;L)*3&O~>F_hZ0%KXrH=sMZ|E=Kh?LlU~gk2s2mj3es-R3CJK*k7H+TF6P?9N@AIxIdS&lCPaAV>SRy-(&_j z1UBJfhhIEU4#}5i6eoc4ry=sbwK3A3)f!sH5qHltSoxC>?`Rv)G8ONI7#%Z?N|>k3 zhi$My4!YGM;32{Z=$ zUhWd*b1<7s!&}Tcs~|>TdLfh&#A&iV%KbEcUKX_nytA0c>vu=PFAP!>7K~-ztJX>U z+$@1|7{h5rf*yyC?k6iobofkF`ciAXaO)i~0cMQ)gPD+WkWhHkjU1Is%j`heB72W# zx|=3?NZ0{D)?Kh+_T*yZi`3jl2QvqJlDb|EMA+xW;IwK zPtcgzh9+3w_$uz^xT@(JNtO_=K6o7Yjcr=SX<4TrLEP50LvM9wK((TxcFkIHFTFAG zkdxQQGWjsO>^b1zFMHn49-9qox3G?QmQf~eoIB$p;7(PGw`1!zqVJ3_^*P{&c2a7- zQ#&zBcalklgp0DduoM-vw4jw`g(Kmb!S(y?Tm_>*1n37-+DVMr5zX|J*MDrZJNt1p zKO|M_?PN7o#|%SXInA_+=_C+PHoT6&&pDN^2?-fodj~EQ{!7O2r}EQ7hp0PGOWV4E zF7>BkT@A+0>x1uf*F?tVI7ZB{$th4sTpiy;97+nd9_!n4mBjn-C=51r8$kSCS$1rV zV{ZR3`-ob~wWbYQAz_J3Rm7ekJSV}n?m?h#y7EV<+H~q9Xk(%jCxM@OWSe!%_1M#z z?QYA(AL_f3(Nb`dEk=`UHQ))DTn6nUn5ed3X z%1&QUxQI9bm7uXVoWRDEqT~-i)GI|3u~$B$_G; zbRunY92^+pATf9t-b5DU6Dp#B7qY$ws47n40OlDu-J|z}Fw&f=Uthjj{cJjm<9mtA z8X1EEq?iqpY}l34sFbmh5y58#GV7T8OdoN$YCDisDNN3u%EFjwO{ml z(kwqt){+uFE|@f-wknjI*^kvTDU*?zO5@I)$^wehXQIPIcSs2mCg8ODa5DO^_DsEk zwm*XG^Rl@&0q50ql)skI-mg4{2Bn#R8fhd`IGeQw%likC;3k6n>iZ`Tk(ZlYzo5l& ziUhDRB^s~eO-1A|JFg7&6tjKc40YITf5;Hc#Jk*+Eyh9R0OPbSs|rzhfS-~V+Yb(~ zbGw{u#nfNH>4!ffxz0By$}ydvSX$Mf*~v24GOH>7A>tX=De3N9Ty{}b*YE33^hsQ1 z%iQ7#U{vDyN>AR*dxtGpMCFCLYZHMsBW1;k5tfDni&yDxKHd9oBHUpy#N!>>jMDcD1%Uk3J;9?bwJ6J@QRj zHl04JzZ2O%l{cPhkf|Sj8OpTZt$0XFZ58^sK9Tay4bs=3_sWx;JHNd7r}*%e;KHiB z4C}*fyZqDE>nP!5>g>dbe#RU-U3TVEP1KH50EDLb{oQ@AW!azM8BB%3(Chmkq%za2 z2aAn0$x-&pXxj%O)6yiiPJ5y930Btmj$iw&i? z3T~3!<-~^q=wfIVoFc2hp9()r4yay&Or&7&#RxzYuqn539BO#^+dAL~gY3)PVTDPBM!H7jBk_wv*ER)20Ql#DHqE zsj_agjE!j0$Su4wHiJ~#$x7&yHbO9I_*>bCVfFMS3b(T#lOQdx)wGfiJU0BWRro>T zHjlFFwzTN)_jRpEDu~zVu|#R8cpoo|?IXY=J-OEYx3Rr-KQ|hX!$rjA8d45yg$3sQ z!(tzgt$l-K;j5YR!eZIHxgEhuB_SS!_ks`byv?G=$k9QT>)hH#xy~%VZ%uO( zWXziflcHws^ft3?7=8+&R3R3aH;Rt`vv2Y1oPP>`?b+0;&0^fKkk=rFMg;fY~+)>J4i&b=7ub*BDo3V z3h|Hrkt_U3%%zI-g3~GqM9rw1;-1GEleYPhD0s9d0+tZsEQ0dfNu#^8nL0xY3vEh0 zfJzys2(*kHe6njK@NxOVr0j-PY0`TOHBS8e&cQWpbC*YW!s?68(_qz+_F3+vVH(xP zcDryqXj&4u@>>1c(d$seAJS|wxT$3TPocw&H+Vt6E^I(Wa(&m}HE&+%79awsg4rlS z$q-?MQ8Mt3_Sx>d?d7+ZFZbTzMa^;Cp_uEr7*$a&g>w9LZ*;#@YPe zDV+*%OEw#jDrTuIC=``M-^beZ%d=goV6*7_L5(||e{ku`D%CbIDz)LHEMNXxh&Z=% z;tWTN3Fq=bhH>hTC`HSK8+ukn{u{_Jpg42`oyzU&vnp%qtD*!NK+GDy#BOtJ-#RD` zdaXMw64!3bqR`hg!aY_^u$wF4W>r^f#{D6%Y=6(D$b+dx?PoB|z_4wu#OlHZ0$5@T z+;W$8AY7S>&CRH}RV|IK8DtNe(4n=0O*#<(m>+?gCJ^G7zMEpFw19_kFH7_MtJ||- ziAbH$TOM_Oy0!l|R6dv}tk`?sT%C_Pg>YZu44PHRrb zj$|B}3WlhPcOn#-$_Y1`;x)$K+qmF{*te=9&XgllZK9nF6-mX(y(|DhPg7Vjqp{>H zHL3QE>b$d8|`L<|{DaI6$9h zGe4YHh%%RjJDC2^Q<_EQHIP1YjM@fr?a`gL(aaU?HuWca*xRkHI_6#Pg7s1JS~Sz| zF2kx!MLb=V7lu2r!<)rsO7S>qYW1M>j571Rm>))j(5}LT-HXT5LOJUGfQV^9^ymhK}i(?|^i;m{lPTP?JEjuAR?=r8x zNO3wft$+2IvQI-(fJ{-zj;%0hHMj?XI6Ydo&HY*&{6kNUBB0Gry0IYS>WIo%R+1a% zsLL6+1VXTSr%zj81ghaP&L1X#wELbi4R~F+e}<)lVPj(0Per?d*#1yNa3V*f$_fG$ z=G4b*)6x{;ix2%4(?W1RwIOi=3)g2+v2hu=PV~GG#9UA>rCUvdP9Hp5Y&R>lgIcvO^9oAdZ*Le{V>ksq3 zlg__@A#_egs`XD|V&>7EX)MT~Z`L8YQ^yr=uS_USgmdv|xK?$bw%XTsB;hL` zZv8&5WdC5URY4N@jfoPAA@wy0b0jI_FUl|-V6K7_n zTu6>AfnrkgUwP?WNL2MYEsk!?OO0daG3R~-iQyuNP_j^I0vyoESQ5WgV$5?VMpcvT@cz1t;Mwauc3hpWR#D-IRPlTEMClON=k0uKMtLdg+$UW49B7R@rc&8T_b) z()pBaxaQO5-l$j>bp!E@wt>o=@L}RwKV}65$H!Ah7UC^rv~2qJn9UBYTK&%YQ$NSA zk5?il1(!=ELrCkJ&@j&x8=)ATk5X`l7?H%+TR$4A`|_+wsaV1km0Nr)xj!Q}0J%wbC4`wjWsO|? zpsAuebMQQVt4&WCi~C06Fn4W__EYl=3xU$qJmZtxFVD?x`~|^e;&AdHms-?a?b@gn zlI&3SMQ=aq*;HnPy*E_|Y<$JGv6vQ)J1M?3-)pbCP&qThZ1IRoH5z^8Xjo+oNp0vu z2p9>zhu6VvIM|Qxuu%SC{F(Y6+c8 zia01HHP>ks-UxC?Tl1K@$i3$B>ciz+vSzbov8Wxx5QAg3=F+G<@x#9G_?g#BqtU0z z6rb2-VnXOLW}W2w_psyv8uwM7Wm<(oeG#5!vpZ;tPnvsOGc4z&NmFZ1r^V#t8Os{fv$#*F^^-PZIq>2+X{HHOpv>8|0 zyIQ}6a}w9seS3-cIBUX8w1BJ60jURPZPyP-k|xAOsW4+7yskU zGJlNqA3o^+MI;;0W~pD-0GC4|M126F?1qSWdPbUP_v9?8{}KLR40vaghqYqQU+JvV zO$DAH>}2t5AK+I+M)_ z%a{CfT+x%*x#44Y{Hmv=Y|`Y`(eQZP4mSlbRU|2_D>-ksG01Y1(q)HsR-aAN7o zcz^ZNNWycA?3bwiJy@cL6o>(J2S&9`k2y z#EYN6iWgSfbb)k-Y^d~dUJfoW8~=PCe|65&H_m@;okWTQ zpmY;Um|pS|&?{*TaF^y#fz=HaKH|;;g!d(`fQSFyXNeRoFgRl-YwH$1z0w>;G^6Ds zU^Z$^?gJIxf#O!@nUAek9#{#TQ>-)9JQmkoiim&8^e-G9GgQJ7NWi)#4yOG#h!C$We zvso)uI?DdXDgNUW|8a`{pG1nE{y`SyVcL=@R5)(-YX!K!Z|Q-T8!+hy|BVt#$b)}w zziE}1_sdJMAVCpgDf1gBr%;TX<_qY&Z(&0I>oWSeYyzYw3Lisc4Fl3?gfgS-Jf=nf z<(2`K9J9|K4DOE*Ck8G0zUSAc|0lIcFoD4M?(*MxZZI5t?8HhT{11PEhZc*a^ex@{ zD_N|8zYR?`ITD|zJU6r+m`5j0?5~KsLj{7UVTsVm`6Upary#rJX6P<~w@Ut#L%b!z zfiP)h6H{XU&wKZ1K^9zoF6;K^EhK-Ef)6{8$hTns`A`Zj7-8{Ds_MUxn9WnnN!HXV2@V||~ zhv};{-2NkmIRv|vo2O_dgFjw+Ouqc*z&TKU?+B2wo2g zaOYsH)9UGAsxN6VH%}T={R$4JB>l?oNGI25Zz(4F2oj&K3$nw%Ob3;NeI!iKt_R-t zf}V%OKgL?Bwo8diq#%Uh#Uc1OLOQEzK6Eiaa5$y^d5W*J34O$SiQ#Rgl`ReD@Ks_; zP>awo;rubN8a8+&|6SuM?l$+IW4*H~sT04Kf-l#s72oDDb!fZhqd?N;=J~?FFymPt zC4M?{#O`q$_=X842+mXBjh6qXw^832Pw`n13Dv?ksS;|)S2qCl~*;*L8A$_9SMVrT-`1n=xOG$sNb4~y^U(5LwSC6X7adHy3*^q?4KRl&*zdh}M z$VHq@kJg()KL9egY#(cclkwU(+yvorRlWcKJ=&f5?m2g6e3|J7AVXGMU~ku@^FTyT za35BF*%p6R1+pqV!64z-ZoNVUX+2h`*Tm!>NYKd}jLt(^hYizxd0HwfVq!8{d8aTh z%YsKFRwQ|LGk}FYR6gd>Ij|0(D)66-_vL%J)VlCKFHqNXb&l?WT8?_4?ToL%rd41C zKsV)>bo=ssd)Vf?HLHfifko)dnjo2g8_t`zoQz1xLt?88Jp)|oc>Nz6zdk8nFzEbg z0}-=~F!16c&VqDo;|+r-h^wxCsZz0F{)@h+Z$%odN-{!5hF`ktcUmb>C-p*f9eny8 zp*5K8Av1G^pctR?>%*v9E83}-!$vjHS(5b<8F?+1?iPFBAr*SooFktFNOtn`iw;5e zbhT7AE?uf{Ix}sRnOfPTbg0Z1Mbx`_t#Zf!D9D-UWAxP^1IV`QQvD(AO^bNdJht7a z?K4`MixRX7PwMz~?ufw;*&`m(?-bwk5z6Lb@4-)hwhA>NB-Df@X?!`PT<0WNXr8u$ zs&p#gy}1V;r%i^ppY8a(Q4rAo9Yig|9il?^x;z?EuYJ7Q)dU>z{t$g`l|9Wl(|HqG z>gBjXmv|ff{p)#bR!4C_C6iyU=^j@$OGn*_Pveebjow)3?G&7hEtA=^s-sJR`aR&C zbWq~9rr~q7{hN4h0>(RJ$f-6=aR_*|>7}R2w7};gT~#0$jrYI&hRhL+Z2MB5b6m)7 zE}*BI2v?eWkomiK?1i}x&ruU^OLs)WBflwSO6NM2?gqB?fk?qBcRT}J4_0=rpO0XL zO4Cnl7d!#D;yLH{Cwu_@R#62<6GyBnQL1C2xJPFKydSE#ubf(;2&*m*{9 zn>s4wUcW2=rXkH@>icHN^X)glI8Qe)f4!Or83-4iu}ZoCM0C|883&|GK}1)roUuxNuwzEuNi=lTorqJC%}YBe#d&rmYf^cLV-Rl z`1kJpAekH8?iUgbujsBYe&dj|v(BkHD|+@f(ha2bdF&BefLROE&2xo-?Zy?0+aQu* z0vTG>l#IEQ*xgTJfkrpK;rb`9_NA!zHI5@1!{j5-8RXw_&u~Ba3Dgcs@+Ge%3^~Gx$29* zTD1b_hV$kCPy{b7Z|ME)@EItJH1#5+$7ZhgXw24xajm4C{`cAZ_zhhB8}DmGuD%84 z5Wnpn^fy^ffukU@UwW}YMVG-8#8e@K0(BtCg#-)gJ&xVsbsJsvkik?4s~poUz!SVG zAX+84%7QDZLuzZJfgKQov5l&qPplB9>HfPy#CYk4%&39K1nk3qUcT2vd~g__Q1R+~ zwLU3_PQZr7eej)REDu5}Y7z@Qpvnn7OASWYA0Hf5$F_vdWj(l>cQUcPvd3u4gSl7i zxvX5`TkHdkFWFXDAuW|5Y`~8J>XvEPT#M}-;gN(cYQ9TCOcmCSIZa_|{(=(Alip7+ z1ICh0xW#Of_5M4>HLS(ezJs$gvv->4ob&e4&?cdw77PS)TL!D(uD}sTbos zbr5Jx;sWb5sHu~f7OYG9Wo7w(&7cy$?#v3>47x-xp2W`zvo)pT8PMfVqYr33Dny^W zZ#1apHJl=Hg0|d@dOwbhu_H1pvaHB@p);k$*k5&;x^!?hX#s(QXV|klD51%VlwB7o zh2Ih@`GN~>R<~h8lxf$vGvA~_; zpdf6Ig8SN7ClTpeC#$AYlWxn`Iqd*@^jw20l)x?!YF@yXf=X8B$)#*oebcV~r86(B z%y%Z}dyb0}Dmz-rl*!f8Od|TQn>oH&GrS-3m3ilvT__YruUQt#%5z%qe|fliknYTE ze;Q}W9e+wyDz5wPld1ef-(kjbevB%mUtE##!7Oe-EjxTrk-|X326jwbZ*_YcGx>oL z>&EVI(1{aXarENN*l)t?bsvqrRv^NoOy@o5fwC*HJvU(TpZaNoio&N4^%!AEk6>uXyi@XaBe zU2t3|%0)`um-28C*{W2Hz0~8jC;*D|sg{+ujGNJGHi_e^hQFj1ow1*Z4i4R) z90v=Lmz!lQ@4-&9y7bkUb+tUD?~m ztG#34&kv%F`HwJ;UFW=?^9ZWpe|Yr+6c*ZdEhl zLQ;pB18PKYY9~d*{d#Q3Xu{2f(J2KT{ku`{N7O!DN@y06zA&wuOjRzsSS(qb!lZTK zes%k(A_iKjiS#7}B%XE?y1W+G!&;u=0~Kk-XK6owD$ljBF^TX9>H@odVXAyFm(&r!O0L+#NMnhHz#Kk!l#Oa2<1sMiZr&+HP2ksxGxo7 zgX;6WgRA;vEct;=Kf`hpP^Yr(V8jGlkZyX48@gy?5%6++m!sugAP@OGO7moN$ zC!`ivEhl2upKND{&_*V%G#1T%It4qIN6$(07k83C(u*ePEJ-90ltCvzD`KcU`@`^+ zO$$p|y5z0=BM!6EkFBc*qcfRlg+I^6uXqjEFOn@;YbbrOw96ES@29!%>Lm-V)wP9mT`P=Of4P6pvR?8x*3x49orC6dE8kA?f$;Uln3pq~vwc^L(WxUG zqP-OfVZ~BI8|OnSjN0Ru`^~N_%puu3%Wx!9%QSUUNtB{g7lx!mSElQRFMRHxwCwoR z&_0g+YU|8u+X8Y7>id(mFLfy=Q6)8{k7JZi6t;g{_i;gKMi(|d>{&J$as#$QKa7sU zElVJYY{yeH?~$T;LZA2StbK!I*RS& z98PXJt?IsP82WyfI2fP_D9^;KIJ}tFUz+_&1{lw69%&5QhQS`Xuh%?DeMGw%)%74; z-g{P3Z3K}U)9B=HZ+xFtU`Dp~94H_xI{b{d$|UC zF~A|7DSY^R)oGw+b;7?Fi6@2jF>sP(cN~@!*+`??9wy^_DK45`iz(}@UtiC7-iM>Pj8<lX(Yylnuh$0#Xy3>^3*2_>eAg&Wj%+-EbbI%l-WlSc6)eOe#kmgRCI z7}^lROPiLbM*9LK7dpf#Df87ig^m|+H_r~7NbeCBUf`>3=^G9w%!lg-CEzDAjg2%8 zk@2?zC6KG;KVE-@-at5cSFBl9e zh^8t7VSvEJcD1Q(;YOpts!P5u6`vn|4b)f%Y^wQDm3@F*#$t(!JH~v=A7{zt5qrV` z{!Qf=Vrn1bi`>|Ab-pu(Glaeucs%XON?nibkD;cV&eb*UAthw8WedvtPD zJn$EK?hto>gVaaeYC1&s)+I{KF?A*5B+Gxi@w7GtS-YXn;Ap?Z2|Ct#plq7ym(1~a zJ_U;t)PyH*>o4@fVq4QpY)7ZgTdTP2Xt*&RWRxRIcbiR%=_3JOI&}lQrE*egfz-Ze zLUsy1cD5aE8%ulADxqZkxH^Plkp%ZDqjlO;XiC9tDg=C2;z|*98|3CR?rR);Aba&e zB0Mv6{wG2+jNM}eIaQS`fASgvuZZ@97AKJ_JMt4%*#igm)wmDn0Yp?C9*HlgA91b@ zx}4N|^lGn9L&+wks07WhrQFWSUnayc?ZBZo_GG`HqYcD`K3I1LQE$$P=;P3Ulh6x_ zAW!}jEnKw0)E2z<-cTRKOL+ec^NNb9Zwaq`Mawwd;VxMyU;<8t41K*E@XaqxC$xu8 zSubzflQa(J3*Yy5ev_hacB?wwNl~dFfSz+YG<73UgD%3ef(SjAmw$g6JOvbMpaghv*qV~;0L;epR zBHJZ5Hg{7m<3f%0BE@=)UgO3HD=e5`kdcuia(B~);tg%pKJKUi%i1U73#N}! zLP@CsgGy7FCHglaE!4-GQl1!;(TdE-_GWk^iei7cs!KceZ1SAu?#VN;yZfI- zrkbyW0n%UaYKcvLN!x!mch+~gZJl;9102LhwD^EelzdWUd%^PAsX}%x3$Aa-fgwFV z`J0tG;0dsbw8TO;sP!Tm-kWK+)#+PgpFHdEGqu!F{NL{DmN8T<-M32f75kTmghV!? zzC{~3G;81W@vQQ!T8a-P^)gg}0hKkiPD42)h1molk+%JJum5+jVAlmy8_a=~-I3ZhX3ri2URz+OWtFj}^eHnSq~=LcCdbl4 zI2%0fXS8_#48QFquOI13y!uwf*|2eD$TG(=jM@myO7Iv1nuu|NKx;T#O`J94zrDN+ z*X+*Ndpldg3FKIGia|4D1c$GKAi5LGQ0q@C=_j||&4B`s{jc3_OZlPk_!VAEqB&uv zz8dF&63TOIo9%xyt4o>M>Y9Ed*@vh{57DH=*s=c%u`Dg6?>kK3EBsXGUa{-hIfR$9f&$lm=^2l>R;owhcj3P<-2T6L& zAvvVkIBYi@Ojy-Mu1EE25fz~=}J0D#j3lHfKp~*dT=l}{$bs1!$ zcB#>~Oc5p**!UVI;$hZ3o+Dwcu9^}OZ*ng1u{Rt;3Xb0l_SH!421gSz#pD{!xh(aF z?>Z=Rmv2M<(=!TNbGBxd5uhS*B+-pF2Nu)6-+YYQcj2Dx?o6`^GfI=s;T$D1sHS}{ zi2xs{8%TUh4J1l74YsD9&!~(I>98&@zaCh)tDxIiNVkB3avRk-hedyiuSLDTd>&IV zYb&=k^jyPjW1ll$wm($t)(kAefR$J)=#4hod3f{r*xOoC&hOi3HGXmC6Cd< zoX@#zvVHrEM>XHw{bImzL<;^k0&VoHK1Zgw zGN*B%O-5)v&$CTW<6gE@{se<9oLTz5nYSWoO;mNE#`pUBYj_~iH^9Z`ScKyXs;*eH zvZva>NR^%WhTPbX=g)eNKPVXJkc%m*DbfzCxuK!*x_Nr*Oy>NR@zItHhIVBmD;#5- z+Sp4v9UgUI8snU=>TQi~wpt%v+*QPKoL>rh!9)p>uIx3HJQQB;Fs)(=zx(l!kOa)y zJ#EwdTK&8rV&TJjHw6|s($lcXMi|ok_2JMSdZGEv_ilm)>65$wrKBgHFa1HOIqyn*ji(b>y7b0%g|4bCq zd7!_rtF=c1?#aNlm)M@nJzR1GueQz8Q>(^#^GmVG7eaP>I^O_`RPmMy*?tRPv|P)(<3jqIDck!|)#>{%7syNGPtg%|PDXhFBwjnKBHOHVY@*>&dZAx?^dp%Y zH|~PI{D1XzzF26taJ2x9xtB7pLyg|sh}b=3(?b&;86QN3!yU?P`^%S(24?to&2O;` zs-zx$9Q5eXGPd*Lt%i%}xO*SAhQAGXTz%NZ%u%!GwzUAytEv_5>kNBz4yA&T=7D^v z0R*kuWyrJ2dVv2RBIkX}mSA^oXNE7$F|`lOyv8r2%5F*>L)9NMUN17z($oG-ueL_B zlqVk}J}_e{?|3?N&)_2lVp>dpV+?Jq+9f5&%!W$3m3-9JYIDhn+5@a3#^)U`RV+O+ zC@?ts_7l>9(Zr81KO7-wAbtEso#g(=-^?W4HpO$+dM~ZbyTtm7oRUoA*CB6fU;MrK z#BPg^LG$%qzQ@Z+_5WDzff1r^O1cMz+g1C+-=nlowgjKl7kkD$Ic_gh^F6c`_vrIy zm*(i*`YNx_E^YDrb!RlW#F%-xsQlZr56)(e{AoLR&j&|bz50w{GFUVk-N+~8acb>G zIKS5GTT%axWh#7ac*l}Q;LzQC$*nO6;~{w=-PjZEA8y+C^%NELIV7dVTe^DW5Zum6 zI;XhkyoFu9+=;(jz6rjpZa32RASqjYRMJ;sJAUVJ;jK5LhXF@>3ZWd1ha{YkNtCL7 zorr0Y<<*c8eExD-T{A9T!fEgmvaiYGssIn9-y964@=O{+mLp*+V)obN_3brL+Gp0S zXo~-JiP#~U?r(SVreXXa7W(Th-QQH;uRr?p=cjJ+h)#O>pBfhaZ*ZWM=w#FX0<`+* zb?Qc)6TiSlCqu5{`p;H?v`7EI`0LJqABf1y+G80O|1~*ID