From d522cf41a5b75e39f30503f3c547e2f8acc81821 Mon Sep 17 00:00:00 2001 From: Peter Wegmann Date: Thu, 19 Sep 2024 13:57:53 +0200 Subject: [PATCH] experiment setup --- rockit-sample-env/rockit-sample-env.pdf | Bin 0 -> 20864 bytes rockit-sample-env/rockit-sample-env.tex | 193 ++++++++++++++++++++++++ 2 files changed, 193 insertions(+) create mode 100644 rockit-sample-env/rockit-sample-env.pdf create mode 100644 rockit-sample-env/rockit-sample-env.tex diff --git a/rockit-sample-env/rockit-sample-env.pdf b/rockit-sample-env/rockit-sample-env.pdf new file mode 100644 index 0000000000000000000000000000000000000000..2ab37905ff06ce1742b27fef5f92262a3497856b GIT binary patch literal 20864 zcmce7V~{4z)@|GFY1_7K+qP|M+O|1u+ucvwp0;hHk>%DgEowIsWPRKLdgD-vxo|KL&y6U*!B- zXkhvm<^LHTn3(@dRD($)! zt(V2zqH~b{UNKtCrbpo0lLdF^WWb9&gN6+|O!6wJDS>pl<@i&}|LNAT3#ZWbwz8m+ z)A4#S#{lDyxzFyZ&9v9WxFzQ?FJrH@D<7rQMc#mfiAzl-n&oxUe6DJk2FZYvX_N%W z?=~poHWb zSuy^!WNJfmsyC9iv~VxZ^Rn|T?)EYygI&%{aMM7f1$|+cS2b_W(=zkRajLgRqSs*! z&RJHa9LZ&_OoKJbKpPnMZWY(GC7Dk31!~$(#5jF&1(ivbwJ5Xtjqy~Nw zi^h~DSOu~I<*5i$hB&6allGiY0?6k~RYSoX?;$C?mc4o`jV_Luyk&;bOr;ZxmGcv+ z%b~0?bhx(MBLxHV0?$cEcbZL^W!S+v1;V-2ZbA-<>4n@Y(rJ`i%HT1^8iIlfpC~H1 z83d$&?nvwmQzFupstQVKvPj%2#s>@;T{2V&F0;rI1XdZ8CA}cAz;~5Ug&V7wuMx1U zSy1hk0-3>p$JNKEcGF-EB@HugyhN$9j3n;#j2JAol!}S=8~TW{HN3)Fi;2dXZa>Iq z3kr7CDJw7;T3+TGvjBlzt_+b7P1Pm8pVG(mdCXdzZk)jo1g0eER-q^Xqb2TJD^f{C zNGz_|ib<}A0Z8x>(g}P9w)&xzt?>N>iP```%Ez;Taa(e}l++uEI!l`KP(anLDlr!@ zZC$BOlY%3W7ZkVawZ~eX5MhSpgT#s{EQDM@nVS0{9;Y_eSTyAa(4G|^8;l4IN!A;H$^wFY$>HIm-9}0LU6ii3M9(5 z*MWyeAb46kGPep-Iz-`agc=S3)9+QOcPu^|&N`VAPXjW@i;c3XKuwR8go$E7>`5P{ zjk7&Jp6z}7e8jqjS6E^7DZS+gxpeLm6W)IA7DhW#n(ETuhL;>xCjAB`O^d|bhDc{g zj!#(Z$28cUrp73K7jw(CY#cyFIt~RXpxV#!ha$Zplyi;VUCpI>roN_Wowa_CZfwXRim`bskF_`FV+`Us;PAx%SY_9Irr?X$?qPt|=k||B`O*y}!Um4B<)x{WMAi=TP9-0|8 zYW&UqQQ=Ec#6@ju`KQBW^gfmio!@9&yY%&07IkaUs#75G+Ems|M#KZc_M+@>iH?)_ z)2sx?lDf;AX{VA}xm}69W|hgAxCbtWRFtncZvKW*nXm*c%=gjo!YlgdZEkf%jMbZb zghb!yqAaV}ytefe*%d@Z=mG*jr%}^61qyseK#?7k`&XiKAmZq;(<9fNEyx93jc>bc zAyuk0e~WdH$Bf(b$JMu`z6Q zGyv1iJzh-fwct{5NfbQ9z-Cvzt@HUC?)10hlIySWzcg8Vx+CK!PI+?Jbk;ED!g_)J z5s!P#4cxxCe~IJ0AbIo|tzB2On93xdZ=;@o#Ybx%Wzu5iW1{q~KxNb+mSosP$Er4l zy{|0{+Ez9q$sTTB-G^u77kqx&0h<>NVUeZkGzYob)#Of|qs>t|)-s~_qtOuF*6j_w zOT>%KNWZG->W`SbBt>7gbR*WDtmS_6P`E8GK$o%}Kd+4Ghc7R5$JVTyqI;IwlJS`< zVHTOd6%8Tq6mqDDbk1!oRcL%CM%6ie%0UX>()dqIPU2|;oj|Eo_}!ls!DWLf32d@G zd3;_5&o-xKNJ>`gXQ^IKRRlggI}LWC(u_)5yT~}vvPjNx#Og4%4@sD8PA_4lFxT)P z3X2ki_|kt2V$o4PaNqnm1Dw9C zTDo>Nx2msSa+{|(#5>82T0mYyjti}U&yhM*@tT>dc3bZM!-to!2hT7a zD0qdu%8vhqHJflh##F{(sYYp7LBSk8W517CPvm8;@RjGxw}I*Fu~b9~F1P5K)-TJuQcKB2SDAdO+e- zn@H^IX_O%o&YpvCh!5j(rfX|>!PuMO!>>aYAWoaT29g)>Ls;i}jv;G_GSHJXU4H26 z2I$_HL>)dH=bf`qFGU$%sKU}VkG<0E>JXHhg@N9Z4EY0n-ryWo6B#$1TtN5Qa0JKT zvp%P^fr60Q#0%vV#Ai=$v7+HR)UlpIxBf-_+{;7?a^6sB64byK&LBM+xzQ9EQVYV7 z8_tCexfD;!(+X7Z8^)f>L~_+{7p@?NI+(cH<6`*AKpF;rE>GE>oWX8=f|;D>aP8)H z@FF`U|3!Ln#+C<*JNO!MQDsxJSqlmzQ0}&&Ov}{*=VlmmOC9$ zd0e^jE&4>vWYh;>n+ix_Y>@|0iW$@IUnlf{BWtU=&I7l=Z`N+jZP}d1h}| zvYhI@6B8Bx(oE7euxK4+28hc@>2S`7TF%JwE-IH64&^}{F%7OkHm(4^nzv%M#@E+Q zCytYb3VtO#isiYj$|V_knziA+ zWTBAbrN&%5yS&JJUZLQAx3Sa*ot$tqpWL$#ZIg@9xU-^9yX2MdUWcC$09Lj>YO8b} zoh(AYf{YqhZ4)qq=i@VMPlH3?9u+t^*J1)3R91QKYc76(iJeN&|KE8Cmj651|L;7R ziI9_(<$vcqmNf#d62kF*-19Rbqy`2l zJ7M4E`V^WWOk=aVpz)UmH9P|a(rMn@l-An zkUVuir8JqV!9dm6jndfX`!PQUMnBPnU;nU%;okFRgEV|9Y??XgUt`bf&)4FGr(G1J#C98NKgMGI~*WL2>I}% zraa$2HMhCmkCK0Fy>Dm_!v0g&*K5ea!T9n*kDE?IVLJ;g?_@$21<-EwBj( zF>3hDOw#MAg~iO5osHoezj+l1FK=d@;UexumA@WM^+9o4RGrW6up{kL}^ z!?pme;n82;q;WDP;y1k^rI2ozp4q=y4a*0%@l&b#H2(n!$DtgLQ z?un27WC!`u6mSdRsFABiAc|?yG9|De!x5M2QH3}rGyo;K&V;o|X61(&zxF1cDCoc=^Bk%=2!jlUrQ0SwBRdNI zH+Iw&CvmQ1>6ef-%s*8vPrPI%(6p+*qaWsvwSkJ zH^Hh%e%T|uI$MH{lVJY{CFjf*#wk;vJQB;E-<3u*Y+^LCfB))}PEOmg1Z$9m;)(i^ z2(v3TS{JE7^57_hl_+smZyi;hO{~2Bq*nM$<@<7^59;0K@oi>>`#{UA_78i4k*Tg7 z&vdl9V<8wyjbX@y*1{$9<~Cw=t58TT)=wa1qNQc?L5hdQu}oseBuBHLa_<-J5wO(F zx3_dszap5YPsaIr~4;nRyi#Lzu=S7 zO9{M)(A4a<)!lmU_-H)P$>6&U*)b4!?eXjV*8e8@?`baiaF$;C=3FM7%}{w<{m3VA zTm3blCZh6Aj~+Z)BRyp@`L-qSI?C$Z>~I z>Ll8_BaqU_h-4n8h3EF{e@^3h)LB-csUO-Js{D`m4NoFzAA8(K);tPIi$2#w>Na|g zYO>SvI&w&rWfIB0to-r$yvnI)ZT|8>uE<3jfp!^)dj&Kxv}EC5x0WBsHI}uE9*XyM zmEHBL?&?s34&4+y0#|d$a~X6{J!se_$r@M~I$7(7vO{wnB4R?{8$ixsdE@r>G4U-8 zR;%?=d=c~4wH^*X%8T`QUlt@YhAqXy>38`)gogW@NMmt_ubX!mH%GgKLc~diLf#oj z%V33^jMat_WzejCu*^R{T#ZB4yA-Y8kg^@^n>(y%_-CQ+kH@)ERlrIrpME}f;L3aq z0S(+r!@XjouM!>Ur(&wJ1H}*HK?U6q*%6rsz??fEF12^A1XrZINvPAhcY1La99sT} z4=fM202uo07XL3;RgeMK0WFN+cs zCwf%J^w`Rd8q>e^#$iVpV%j;WQkiAr_{6(ywnGjc(R+TD#Rz>_HA1PWHf& zv_sR9YssXnWWdt9BFVB)nyJ`M=p9rA^+|Wxe$wATa%(v|gR*5kumk{4Z&~$>ahyj_ z5h}yxTD~ezUF!>#=tpP|XRk?mUfgdouj2@)I({n78`GC;gjk{nDd+K0Z*Qf)}N6s^V>hYR=UIcXPT1gtcQc6b%OYl$jg`n;E~B`unb0gh{Y zy>{HGtD1)mT>xp@hIt(CHy^yL4)Y_J=BtWS9GoA&gvZ>th)@U5@_}+54T<^-wEO0b zpqMp?d~gT8Zge}MB>LVUeL7IvjHBvxX*7E1=iNf_owAe28atmQa3!(j@^-2Yc1(!} zdG+$ghwafT`RgVqtj5yH^Lv5;2)w6dVt}{Ervx=Fu~cPp7t|q?z1f#DSlJbZpydo29 zaw%p$us4Ik05_NRg8g*qVl0AY=;P9WG{ zD>Wn`cEm+h5>`2xLn-$4ZYIMnmd8vVnJv2g0#m9xG+UjyP1MebpP z-h7Gty!8=QriAAn7Uw$eDa(8v0ed$ZJiKoCRBDbx}Mmxp36f$ZnPH z>(+xu4;DwuqYNdp2OtGC=8;>K8Tsd>i6$gi4_8{MO-1WRzVGiohD?qgRsYbOYeFZf zL?EHJyCi^7*;;E*BNU6i+!p!1W4rh$?Z!29sOB*^qN^s0kE%S9B_X031?!n^+pYA5 zH$|^m5+&1jeSretOZ*@u0obc(Fhb15hFV1hr$}iO|h#8Qf)w6TB(V}Q$LP&3-vELDQl(k3}2mSgP zsUN#Lp58~@_Y1+uJ|o8C48fKyChs%>Y&kS2{(ItzSBtB>xp}N#k96<8=}PBe&+M#u zLGz5fAEzUvcP%E&5uQBE=g#b^d4_AI=piPe^aqt#&XAXIL~L5b)iT-D3VS_10) zVI`2REd!+kUb$1%b)Qt6JE&MUy!xcIN6OQ`J_nB}VwrU1it1Vqn>)gMsDyrUWYC3= zaazocuIRo&=@MxqY0cbUe@ATg=c09r0=Yoo=plc>snMur($cE#yS+!c5NPdJKFHjG z0?JT>vzY?4Pr+9qj8D70AkRi~r+qSD9_b)# z<90XAA^q>_Ga=qHCR?((VlSNMcMp4+CwR#4D7ef`62JM0F8q3x8A=w5FgK-$Mqg7L zn7rsEGE)#jeDBP0ps47BQYzD>;Y zfe`iQpXx9NiAE32TGw7aJC^a84_dYnY0CEjXd7~2YbFj-oxmm2R;tlPvqT{{qqS?A zDBM(bH5nUTj3qzD7do96E3A3S6rEyj4|px z@wi015I-dk&gMnmlh77=cq_qNuThNGC-B=Vcn#XsYV1g&0kNxG_cv` zLknzBYE-+Gt`L7y-tQg<75J(UvsjH=DkkqdXehebAH#<6%|V?YIwJ$FT~4C?aYY51 z;_{6z;_SLGf_57F(=({k1`uUg_+=QbzL`9E1Wf2Y4^WZ>`5*R_<#V=!(*$)EO^rT? zP*gC=fkVi|ge|oJw!FOV7P+q7+!} zxuVut)SI9z8o48eOvJv}`RThRzi%DR9r!YF&F{m}AHbPxz$5IKaDeU%tuZ=N0LJq8 z{6(~#D8#st@E)-euYK64Ib$qW&f!?tKwJVLG~PbYBe(U1`KcgKNNx;qw1>>|(iEz= zGfF4nIz|M&bVoBc@mF_UwRCS7~B3J^WZ@m;O(&Xcf zW{hMXKkw9 z2g(QC6$C?=Mp)uCWJJ?7?*d4LWK?v`dV)Dd7|3-8U_*snJZZR5)jc!K?l1k!METujX|r8u<)(Bg5!I-E6rNHdl(s;~H~YZVboH9QyU1jOzRmPI zU6K0&qq}Os1E(@kMwYpN3DiV_z*HD>&fQnBtl<2JzjC1s)+Lo-BfD{9o=Rw3&5sU8 zWZ1f8%snaw?|LniSKVLmf#q!kv{{MWkvvE|NCng8FX0z%D2XRS)iT3}wH!E1zTi<; zH_B((546D6VgHF<+_48JC+&+G9;BUV+jBVuHtSmm{fSDk{O? zGIk59{f#}aD}EOn-sRq5YEN^Orjl5|{R0y!UQOKngp$?%?NKR~7ja;{0 z5yh(2qH0PAuk>zvq(04OV1G7VlZh|EgEyg-;}D$nESapcGy5&g)t3XqGAs$wK~JrMTh+lNME;c$Rf3wZhDrq zKDP6SByuM2MQkzng~Zm$=o0mFt#E{MH=?V#g@56(Lr9#+r$p{LC6LI^DeXB$1ykKS z$BT820MYQ)OrLblf5@zQ^tt{KvQm0K6&AHvKw%wEo2{*|zCB9l7nN$89yZ8j*EkNf zp}wNz!Qhej+0gXbA^5J0T`i*RJjd4Re-m~YDg@?O_&7#zvB~kNs!E(k@46 zU#{rU>=>`|sWXBWFQDf^Pqp#f|3JJ zFPm>RM>9Oe4p6B^|<>a;`#JEZ0AE_688e4TbptzOs73Gk+A#qh{RsLxqG>Q7n!CzQq(G&iN9pPh6RE*w0_Vh}sc>-EWWOS)HW^kx$HcF32$B@)O@v zZZI_$m<{+90p6zhDkWPiO~?vHq)S($d%t~64b>J!*Qn+SK?HKEesZXv&mQuTFaCiI z2ewTke=#%HIaS`VfcXzRcSACh{K8v{EHse=v5x#x{$ELnc)#+#{Nlr)(I6I!S3#{y zpq))BF~u0LobC8oc`=g%JJDZ=B+dF%<}H&4c0jTP2EFe?Kfi9mM%!QN9TbjMgfB(Q z<=Do)!EmTN#np}@f}G^5zu|yE#&O3xxVCEF<>DBgP2D!tdrJm@84jIA-o^U zm8(E&TIwzxqC0qIKj`J9~cEn<1dirkxj5tau$e6=9FPJN>i$Tl;4&;(S3RI@T7YJcG(h5`-7a&vSu1KpPYO>5!?T+18zD7Fh zy*vk2!>R2NW-}bao%qZo1?wr*uaYO<$zHHc(_WedauNckob@E3NZqwfAL~YpnFWET zs*&Qqv*&!q=KL@;YGORx59YgmE0lVkmZy(*uQ^V6-3gJw*JaX6?D<&|UJt5Keq56k zyQy2DZXY^{ELe03(Reasfc3<3x&s}YJedHeDARGDs@x2J0b*-Q<^tPqv_Ng*;#m55 zQL1~O#WY@!ZMD*xa>VQISe7cQ%KyNh`LZpVyy>gooHd(e_`fgO9ZwlRu5)<$C@lBEx6xw0g8e{HY)VhoU~D zzZGX7&`k^!;|jVyu@0FW5~vdnXFS(De80a9|63~NFTkoI1 zuV5HvS{YG%w@=l{q8!WR+_d_8N4(ZO*)MxjOVq#^Rn3eat}@l+N6Y->lH)^i{0tl9 zm7~s4C2fFEYCgo8Vs6aH!WDo?Fq1;$urp?dsgj7zvSy%=0deW1Z2oELKblV3eQG$S zm)36KvDSD`4=CxPhx1gUKSdu`B0hL1g&?wcp*p7J+>oxc^MA}P3z zt+L%bv4Ij%(pR?^3H_zj&<+c1G;4v$-6LmphvXCd`f#C$)FqIq>`4sannZ#{39haQ zKJ86+m7}Lj;$@=)m=XeHu<(Gwq7Da9jSMEc-bCO@FTuz$w@fEu=b<`h&8rxiW5DBcH6Q!!gI2QhB3&?FL3WUUc@Y$}5cw_*T zEL)``c&ZdO{kbe5_>&&#{#S6VH|!(<^e}hMSX-1C#ox0}(ow`X7C0IrDMV0>BY3yt z@C1`m5`>@$4ojhaCR9T9C5)!i%`iEpd__2d%|LzJJpYBxW^2|eKSp#ZF_cnJ9B`7X z>8>VtwO7+Ht_;u^ix#J;RJT?>W<#8d`vZldFPMjKB=3cPbAo$cCWPNq(9}XpM?HC{ z{Y3m}f~gP$khS#;r+THdJw20PpDnju2OG%|K=SY{r)hrYSxZm-EJt72H;6K3$_CxB z@n;3Y#5$b869(VJ<|6to4;omv_(4m!SyETC)(ptzI-#%MZtbY7a0$+I2Atg~a^?k! z4Cpw4` zS^HYD$a*S)F7-(tRCvup#VJ-UoSzDVK(oW%J)==QM4`j9q<1SDAolMZ{8pUs{H`M6 z4;Om+vZCTqi7-&5RUi12x&gT%6EANZT??q?5P3vxsdRznzkI5RQZEM*!;m|jYe#cf zt8kUtkO>Qw)BJ*C>#%=^;4pPv(%K=yX2ob2yxjQn!h4kfcHY{_O}6+irK?|xBw`ZB z6VIi6qm@&mU+DZu;LXEE);G~V*pIgk20tLWg>`|hiJV@Y){aTnaITADkct(pSqL&VkP*N*oA0=sa4aDUoL>M$d*$Wqx7TeTeJ!B!+3ep8q4I+(y>+8Q| z+pUTkD*zN6snd06Dt!>I8hdf|(~@E{eE-6j|S_MV&DKa)hK zF%ci9Hg3bgfn*P=b$aV_M=LVihIraEkJZY{`^*nni>>S2U&F`_(^6&@*eC$D0eJ%O z4>Rk!`y(HZ-?q?HR~@KQrVYGgo8oRLk=In=S<^)hoEu2G@g%YgmE+%bAoX!T^L~k? zS2y@T8_ame|GWt_Fp7?K4AL@9N_W078{v3ynqIBNoY{j1RClnI47tV2&<&gd^ram< z55|WW-5TUVbRT54Nuk^m1GydTNEnsbqw0230A!UtZK=fOJ}EDxGY9$-`$qYNG-o&d zB@#nTqfDq1Tx!qJ1ZDi#Ill9k&6MF8jFm9ChB;G(wrAA6Ha0LFU`>z5o*EjMb4#5Lw6?hyI#zE7F%ar*$=h%M1z74vAUj3NH4mh8M@ytSe2FC$1h6CzPn|NMV+ z*EWmCWZDzQe^se+N>*_EQ(9WBWjo>z62$kd2$#v8X(x=!#)>oP+o!XEG1zHv#16`k zn5nd_1@$%3>jXaO-t$4@(1OLte!BIo$M^|-x^laDsAE6}9YyO>Ho*fmdBHMIhD|Xm z%(iq=2svSX9-slt-#5zqC5Vcl{#K>kXl3N+ANE>7opq2UiQ{awt>Gvl-C>RPsz=NT z6pNQUZohVaJ|{A3E8)yBj-#C}BtaM#5C3wAamw+{fh^hv|M_Ur^9^AYds-B>-+=fH z`R2G29Q@*eQ#M`Jde@PE*JF;x`2fwj0Z4!ToQz!KjVw0t@J;ii_1RA|*X=B`&Up*Y z4uW-hwF1_Gyipm|FxV6$>c9)&hfMa9eo9t*dA?NQ$+q)_)9_ct{8Ne%c%8~WbmpN|Rx3CV*fh=|&KN0hkSgXk ztukt^So{g{hY8c+#=pxdf~CJ!Dt1VFFMOvlvRgyuXwAl_iw7W2hVp@m9i$66P@7ik z%PcTO>FMZ0t~>pWnyK)WxsY=)s#X?Om>)of8+7a9{|E#7S=M^=lHN?->7zaQ_^<#NUR!n58R~>1of6L6Xs@vOhGj)`Sp1+ZcI$@j38HzAOdw`&;|So$Z?GfIl7R zOG|MK;G2rGuRT&EK4(Q3h7+vEtC=9qUaCdDQ7Bid#p>UfdHG@Yp1c-|HcZ*j_x+~! zc{eT{4=5P(o{AkbqUz9LZGWJe!y^A1taYo+pU~NCXxB&ds{VySf!5!JnR6YAy}J!1 z#>*nS?%r5T%x9syJ9A)WoFvFaK)=mJaRimDc7(D%jx4*2sei5E3r9!pP8+?$N#xRX zeHxej&qvr~0>OHCZ(K}oD7@w64&7e(QlpZEk*^Pi>{&~*;bqEIki4TnZB@mBoTF*p z-K()MJ|D&F`poh(FoN4_`sX!ia!ns>pIfa0BR?*)^0pr-yY*<(k!I+?2U=*H+ z$qnOOOq)L6Q76IJdgrgg*(?-nIp-BKALk*py#YD-4RP(HCBf+~U+}SRbjcO0L__tT zKA&mYJ-yjHN9;dwu++y97A`}lYep2LXRg{K+BUiCe~+FXC&IFZl+M?^#dSu1t2#eu zv7m{ho`@`SEk`)?l!Zo4Yty{kLGwZ@~3-W4(pG+X!sqw&ReNKCSaZNyWjfbJw zWD;WDVcnyh5|$W_vPJ9=iL8&Iwyx=BW2I7zV9Jy?`rfRc4QQ8O>YVeo&d^4nhK(xc zuC7jPcGkQmM?l?}4aQ~CU8@G|+zsQ3h|Kjv*E;}p3SNA1v7coFx{XQ7s(Dph0&Zp1{yS!=C9t!>FZBt z5&tav5P%hCl=p&Ukn`VdT?k)Gc6vO1-LHD-j-a&<(pQ|N5qts;thAl)@bk6;}@=sFwq-}I^uZ6_mbOSvGRY9 zkExLQN$#qF;EH#RxIA|Cm|vw;=36ppVqPPPd1Gv0d5H~k4T7(elS-5P8uoycwihXp zjhS?JZ-D<+1&!J z55EOB^J3_CqQNRUynaWHNTjQ~4%e?c+nOu=jSW81-^%O*8nrs$yf~elJB_!!)@(t2 zWw)U73rn+1p^;-;tM5g3c^Lv((CtG`pg01ndt0H1MLG{tMQMP1MjoYrCt47Jx7(dl zsS3MEl`|1DYS?a^5gfnt$O^_TYQ0$Qw935RA1+IuxZ8`3M$ z`*Y+~0G66x(HqKzvWt{KXD5*oH^-#$H#RJMe}_S81#Pgyj;Co6rw0d_>_r(50}=EX zuB?&$7`RJKE8NS253P~!ay(s~0j_%$^(p<{JvPwyX3UbvL{}QKSk+Z#p&zzJ<<{W` zVy41rgy}o0%894E0Z_wIurlR1l(S@j1k#z&1Kb_R_Y@Lb>h2kel$MCZUW`5XVBDoe zn{oYXhxpzv3}aS3aybIo75JH#hinvQ7cF#Ov!pdeM@<;B&N&0Pi7-lB!Y^M2c_ByXrVn zg08zsbd85JJnp0zdX)eq8*Z%iU8)M&9FyUl3)I=&UNbQCrktbAT7%{|;cPD_bZuPv zK7Z&aDy*2B_is5VVX>-8$t2hhvW!)7Aqi-H{JFo!CTLceMFve$yB8M{zxL|~{@^qj zjiDOF?imJ*UyDX`-S!1LJPVBn)OE->XHgd-g`gPDQ|EJz(bM8BE`yktz7XZbf#xTP zU6@wbqBY#@i&!)%&u;BGBTdZ%2zJ}DXT{ZypM}36Iy6F+l2&WMu)F;6=TaFir71+^ z{f+X4C>!lX1Ida_W}DaCfl+L*fFMaVO$1@3*lwtfixw~UOv#51GyS_=%UafA!I~>t zyKxq976r(z0@jg?wHw0T)vhQVDbBKbS%;kh8mKgTE5ANitWP;7Zd_Vh5%FPRkg~RQ zYJhwq{#pE!&BfX!n?=KnJJ;d}UM_b`>aLQ<={dV?tJJw zeJ(maUE2fg<7P>SOK+R4Rtdd03sR-hBx>8e&q0-23T1k~-LCwD!WNm?&ttsM+norT zAny9{t5EB1E?1)!va8cN;HQ$hW7RLIQ}(ZiPzMqBtlyQl6HkFQ@1!{n1qqqB>17?6 zoN4b#MRaSKb1@<8N-LFy@3%3tmWf;%R}A)W+1z-NB43iC-6&Jv%pC>#6pWcCAjR{3 z9$7fwSKu8@q!A>GuHZVJxF6vA>Nb!^{uC z4|l0=2j{v@h!8(5J4lPI5?+`z0Rgeh^{z#a#r3%}IQlc@2|Q^BU0gh-H;t2lFYrR2 z_@9yIsm-vsMkS)m>ivOU->vnLbNNJNxTb32Ak_-D#5I6SYbVG!yBSs0ZrNPV`r{4=yi8ePD{)BK@dMb;Je<0R5*+r=j9WxpH^Up6{YfqeH!;^exOE5`v_470s1$&$pm=0C^?eS!TSQtwOnY6)A&FF)-AUKDUoK^YC*E0S z(z+N0_-AD6<2%_5(AHRBWyt4OFPr}c_gQ&!pex&TMk zn}UEb9;5EDF2~{ulbd^Iw93CqTzt)jW1Jwdb;gtYJev4})@B|@?kbSp*J7u@=$xrQ zSgLv?9x7<2YE$GV3nf&aP??>vb|VA~eU#rUZ>vy#?qd6 zTwdzBjOXPjaSbe^hh9;@>TE0hI<%kypWy?NJ@BbSrA54+Sq?5dnNy)TB*egv&as5& zrYa=I=vo_1oJ2~$tDpp}*KluCS>!2n!wjyPf2$=MS@p5A(xCTRGrcm;l^hP4UDS^O z?7Rs1#0uLat^K!wkOT*{`h-&TIR};INbpO3ixfIDUnll$u>aqzE^`b?$?S0;CxFhG zMZ(Ia10vE{_2`{xsIL;jNBKe>Wk-|NmCiHbUWpCh&(OSR<&s_&y5{HAKoAw-_%Ycr zol{(amZ}5`Dma&ycZWuBiYE>?0SH?a&>sk)qg?rKr718fkVrwB7qe0B zrDybMQVf)(vw`SX>KnMQcwB}i*Fse|nnQGl>xdseZESKQ2&2j8!Zhu7798K=F<-yo zt0lpi9mLpKiwJsQN8(M^d$gt_%FJ4c;Dputx6HnRI^A&$fDqE_n^T?SLd3mKBNL~sD<*v|>it`qg;TCN9mb#4mmBG~js zXiDs1A@VW2!iMfY}PY=S#qbbUC;#W-90T@<{8=#8*Vc zGeP;@zpgype-*n}+&nd{-xOeubyiv__Eid6+A8|E-A|$XXbI|Yt#LS4Ucv}2Htg9z z$C)YG4y>VKFY{M%OhKUF7*tec_2!V4S^0@zLzu~>NbC`z z&sM(3aXI8e2{!36DhkRc>g}#M_7e4zBfUJ`oPfcwv7Ns;Ro2>GM9W%6&g|-eH(ta7D%`-#MG)KhEEYZh3z(y52}X^>m^B z2LcDrIf7Yyu*hdO2oFtHk()=(SD`T@W7==iYY#~33`=%D&Lj81Y0J$vH=2_+S?=K^ z!0>9%e!it!y&Oeg%~QilO+|%&Fv5g`HVn8ostmXTe23aHYHsI=*8+X|i3!KXSS~xv z%-h})cqxBU_(WdhHr+9oo?EUKp|UeN+dLW{dQe98iv}__wy}E)=zx}3#t*m+w~)WT z>hQlpFDN3;J;06WC@J9GJ*+YIOymg;0l{F3Two(6q(sIsuP{&lIrPH$8#B2jfP%3W z3<85gG@+Wz6rws5ssw?_Lm=|ZIy0R6zm-@M(Re(@ooP3reMuNDFv{A*9&|3i*Vh&8 z?|;~fHP(v+U><+;1O(V(h$QCJ02L4v4pr5Jsi~?c!$4|(Hv6qb0MaWE17LOq1G{4a z!NwR@FSNfRzz2^eV@Vh^An^M=)IcgA_+g3SAs6*sgZgU-^AFIcf?Jq30@zo(4dM(&7po#xNw#iNXV?iX0e-(o;F-v!Ku${>P=q@0ccjSFOPj?8+=)A$7FQ$_e?rvMwn#*vT8`3< ztsXTfl=}DruGxt+(bne6>$`)nvGDSYhP0e!UEJ(#qy0e53?9w}-gzw`xnp6o*ahB( z`hh5=4^*BgqwscB0|S`gVe^Kcn>(f0r)H`_^wN^Zj1i+sH-__!_bKw!yDFq9~H8^{Q6u2Tjs>su?q~TE9uMXy_a2MF5gHuWH_bIDW-#$sxz)7Q4rF=vHJ7t zlt)uz0$R@%e$Oe!^TfS-7ek$VptGh+USDgK$}t5ncD_ac2eKA+bDxmy#;C~=4OT3J z`v(V02N6b$JbDCeFH8QnX)di)IiE$Bq~>*O_{@IyQ|qoHFblR7@za;SJjMi? zj@%96X!1*K8>HF9>Xg8C1HU?n=wCy(Pfnc4(G%_@q2Gey08#pBgSXe3xZUpNiBcc# zf^m8t+M~Af2iCsgLQeQ>Dy4*q0;Pkk=&6E`*um9dJAgY>v|C{P@aC*jrkPsZirP-3INiA7T_`qGx! zJmN-SjrC8Q1E>P!H%fOkGYt0?jhMgo@w4mO2iW9Igg%}5-g}hIhM>4-M&NaR@d`y&4B zO~Kw*=PHtDH2QmreXR0cvXzF8qjkyc#`a6a*UY83Co|p;tOB)&_q$%O>L&9%GC0C~ z?upc#GHn+hcE!dc)2V(>7P0~r+6!m-vxmn_i{%Slrhs*w*Bi2h+p>j+6Oz#**B2;{ z$HgXImpssj>Z-TJQku$B>hPBfd+&58xtMwC7O*0!WE++JuC!OsU7b@yzmS&^GXX>N z-t83h8_6*kAi={#NqJRZWlfK|bHim-s%6e@FLQcbTW@xHC%r4It#~h2AKxljKgX|Y zzi~^~r7yTgB{$rmFRWkapqtb@mnrV=J;?36Q|B%Bme{4cT{9Z$ye`k^v)lV^o@EKm zet>Kkof~__O&6H5ePMIO>6$M`b!fJzhzYBm8YlP5GJ9iw4yBh9?`3;t^x(hFp3v&q z{2{U08e+Lzj%Ecg6feNHOb85CAJ-oQ`nIoqKN)!*!k^m@GO z_HVjnG_>^~c{?g8+%1f=|KV9()nRO+!(`e4YxdLa@_*Pp{^~k?xBo0L9$a9AzdPm| z^#_MB1wSjV5DWkg;{w|q+J4Ls`=RQG!;t|hhiV;DoI?0}-~ivYqQikPz)?rlSY6dX z#Xucm1cjQYn!w;tLn9N2A=F4i1ELOxsOSOyy@WZ-_n$W??2l+X0PyeOc%k^#V{Is2 z_W6Aomv}k-OT27VM=89Ub2g#pHMg!pbIZ