From 23462814aa1bd80e918cddb24b9c851daadb67df Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Wed, 13 Jul 2016 15:00:23 +0200 Subject: [PATCH] Slant text to arrow --- .../agent-environment-diagram-mdp.png | Bin 0 -> 33239 bytes .../agent-environment-diagram-mdp.tex | 7 ++++--- tikz/agent-environment-diagram-pomdp/Makefile | 2 +- .../agent-environment-diagram-pomdp.png | Bin 16494 -> 12879 bytes .../agent-environment-diagram-pomdp.tex | 9 +++++---- tikz/agent-environment-diagram-rl/Makefile | 2 +- .../agent-environment-diagram-rl.png | Bin 17386 -> 11408 bytes .../agent-environment-diagram-rl.tex | 9 +++++---- 8 files changed, 16 insertions(+), 13 deletions(-) create mode 100644 tikz/agent-environment-diagram-mdp/agent-environment-diagram-mdp.png diff --git a/tikz/agent-environment-diagram-mdp/agent-environment-diagram-mdp.png b/tikz/agent-environment-diagram-mdp/agent-environment-diagram-mdp.png new file mode 100644 index 0000000000000000000000000000000000000000..6d02e68c855614223ae3e05e5b09259918de3877 GIT binary patch literal 33239 zcma%iby!qi)b$-;=vKNz1*D}LMWh5oS~{h>TLe)W2?+rOL_oTG0O=H@yQRD9JM(+r z_y5o585QQvz31$+W39FKd{k9_frm|r4M7l|yqt_01fhWc!a_08k-za0{to^@b9pMS zjtTzwVw#14pRpX}bX*_^V;T8^4dS2u0>7kieXi~L+QGur!`Rsz^6>EBw6eExF*SBH z=X7wkOx+cugdloIUPfBoGi`g;!&BY-6mhV}%z*VE2pWDP6+(}Vrkc;vI;E;Z=+ur< zR#4Q4^RA#^g4C_OY^&$+HJbV-_(Xt1LGm=_l#)IA{d#%0RAL5;2JEtILgnvcU* zW#@!1DfpCaKeWp9JI(3n3pUrR!Dowif7Ixyx-hU~pl^g-aOFw=0cn)5r}QJIDR8ri zIZGkikkL23IZt1+TsytWXOn^T+orw>+1>St zl~Px~Us_s95>;r}EaA4PZj1YNqJ+WNn1t?{ir-p&(N9~O9FIzX`N@;=*4yD>HD_lw ziDNP{GMCN2dDvHWS>8y(w1@jix!GjVc8bwpB) z)Hp4do$>JS{O;%=CLwtqjE;x<_r`9_O>l}zL4LgYY6l$Gc)k|+Sl3H znT4Hw<#=NRxq#T%S5@Zb=CQG{(iRp!6uFn+kM~6#sf9KdPdqYfhMP*%q?J%15{2(U zo|#NTw0T|Aj4B6qv7effC!aGiGQJ)AMNz0*`Q2*dhdD`|>8gEz-QS8)4OTha@VBPPXi zrh4QLSYW=@QVjOo+pWN@!0JzrI@|wze~zPDWh);}%JFtIUt`keYOKoc4I^V(=Ww2C zOmeckwKZF3G~FY9{z_X>|7)SnD4ON-gJo)A=l4q{BeH=?%;elt_>4jC)udm7{n&mF z8jyO_ld-l_OcT@OMMfGPqFJc>=i4)krRC*~p>M&8t8>3}o+SA@<)o32k$p}~)FdUG z2!0E`mJpm0Cm{V_O%iBeN@>7eD)t>R{H$}Ck}YV^1uedXed zQ8mvTTRuotqmVO3$_t)hS$EdDj&UHd!Vn<6b zhOpxTgh4>d{NO=|-_>cU&zU_hFK>i0tE?_&TJXEZf1aos&%sR-^6-YHtMuQiUmlPj z_X;}9r4{Md59cV7)w%B|Jbj7+9xIHxRwJ_}u7cv+gMc0_m%$$3q^TSc69IKUpsb zh>3~A!d;TwG+9?8?>$m3u^H#AvYVDwQzMqVIlgywwkIg!O1H{^_9l>-dE~oVDA?XW zYtU}jJwM4z0$#@Eh<1~2rkzp8yR-GbTKDD}MM129+|b zL0S`4iZQHS5J)h83beS;@u}sS{crw_e-Y%I$p)_{TjRx+!24|H8j@#b^g5rF1@g;rmk>|f3pB~M{tlCRn@@lX3q{pp z^4f>V{}?H^R6)ljN5n8ZBjw~E_Otl_l~=DqDo``UhDAl;n+YeVNwWzG zCY@}JmwTUBYZmEsN70Bfj4_iSfsc#;hLg`b7u zE~eNNeKS`~+PF|)HQ)UG@gBQjQ(BHNz4VYq(SbwniJnIqU`vUqFO+M!yc^ z3iLv(1>RS^Py)ATxy=p`jngFyeE%LzHj=VEQgBW#iBlg%Qz%D$=W|+GABY~EGBd1H z0lQXf4jV`a*B7hrsRhYT`W%?l{wIuG$X;5rzs;m{sM^8MzHZ~8Yy|nYmsbjTnU4Dl z(h_&qE^C7sgTS$=C8zNF;1VceMc;nqXP`qZ53nh^JVbfFa8dVU96Qvml8U%*lXo40 zTKnPyK8;DsJ9uBZcxt21*_1~TR1kC)I~MdLh%JLH7bfLc1D!wSCe< z`obLq@{_^(`s19ZPmPTk3(G;-}QXo*kT~9yD#~PyoyTo-W+NJo-gJKJm0o5 z5*->{r(TcIfJ_*UesFvZu>9j++)yTuE zUDpMDBas-2lGagTN=UuY9dQqVmT4~|^ZsNl)uBr4dcVzeYm5W&96TIxwfKR~b2(D* ze6ygKg@dErq;y5QaLgkp0Ob*iev>LVtWhfzG2>Eg+A7_`SD+@&fUA|##gdi3iook^ z6s>p$7Jt!tCKcVEs&t zjO2p$)Sn-zjJ+3EU|s!ib9Huf)_nIBjzc=}1dmqALfMaIA}%DfM2d`FMlX=L_8jxA zg!NyRD*M?U(Y=POga8g+@S|?E{Yzb4-OTXs>T>`7=G~+7J0_wMv^V=V^bMkkg@-kv ziJ+C)egjV~zXxwXvxTF3?9L=RG+l(&x~x0Td9A~1-sX$Y2ss8mP)u|@T#=Um)|4W9 zkry)zQghSorH#bR@$0DyD^$neb`yD7bnUGkOaEaA5kLk}1C z`%FreDs>BELDn)|>q}0_YED#CQeqYsuHE(n$re;9Jfn~C*ml#^4(kJ=duHncU$xm2 zM>Gpg7#8kO^ovqt-ax+hP}$LLiD+qQh0S~JgH)3T%u@{tBzA%%qBR5uRXt^D3nZwO z^>vIo^86G%*FVoezKLah{ezH{bPW1})rY=`Uh|ee6djrqr8|e6oBH~SA#-U@JnQ=p zHfOKxEdQ?TO+3iVe*x;kWQ~()X85=KS71Y5c+Igv>Ce(Bx6m|uIOZW$0Ff2S4nYXf zV0O}83;M-RkBf}J-dy+Q#D~n)q!HGYWkxM1NdW{H_|){QtgKQw`F_~g*vA{qr1i(c zijyVA!4G(Nh%z(UO(x$(jHuDRg^cWfwwqjZSXT=8?zdp*G+M1|j7hVn6U49i((jK!oYC04IXOAL zw-@WUbP{QGZd=YHF9nTD<5hlL>{QQJsMMvf>(}uOJy(@(H7Vr=Aok(Ql=tASZ%efk zVJTnQ1JR+5DItjq$>X7C$h$qY883PO5a4!q^Ro~5$fDoMbF@B4AoIsMf$2q5iS1;W z6xlO)vSo(f*c|Z?xi&5zwrlb`ka&tVAw!S~5&>3N&C5;4cJ)$^Ns$bYh@|9S0*Ayh z?EzM%A+%OLD3MiDQ&ShNSs-?MzI-XF8EO!4;}(iXg+2s7N9*@{9RzOn5T)_zc%!ZP z_M})U={Y>_iRD1a+dquR()0cM_ny;eTJgG8q1fYN*RfwZ_X3GO0e}RO^luQmZQwkX zN2F>aB5>VzXXJsC=jG)|3#PYNSMqutnt`kC|NH)vo`i^~B~936J8!ZWov@2Cw7I(eNKHQxAXN zQ`t{yz7DCL^X}a_DK9U-0Qsr^`r>G^(MRy$-~imDG~mvEX=#aE*qJ$6;*!N~x{6;c z0A$2p`t^xm=Kz|@DJm|nbbn40^NK?zouffXy1=wFYK#7q_P7U%=c`GEENpB`X)Xib zz_~_{^SlGBjEL0Y+BXgm39t&!o0D;!W`DnsL4e^vQTw#$mGvU}p@6_xs$n@c1E6GP zAZh6NU#!L_CN>#Y>Ndlp(10sSr9NZRMb|rN#o^iq8$qjMXA1*C6Gie^)A8RB10y3_ z#~*NHD@|9skA3K-f(Lc|}D4^bW*s zjz`Q%{M_9IxEha%9hz?hPBurEf%#X)-Z;3`c7S8?I_ek1>um-|5MW~MYI_=w87B-f zLth@?vN@m}18)dLS~2f+Zd^vjU^|&%A3#hSysM{x>G9c3{Vkq1bapPY*!k5?>v#Oh zr(hQY@fF6YtU3f`&OAp{jTOFm13>yqGc&Wy-mG`(1_rb{QyZ;50s(o-E@r`ui-hAbjgQr{mfMaI)ob9HGxP1Z% zpbYps5DONZX8`H_2h6Ec@H=0lpyu2p8O5$r_hKVA16hOtJt7&n0{&2Yr0hjsw^KC@ zHX1rzrd_BB(6$r^cmRqYv9f+V-I=ZzuhJ;cG_$Zk*}plPcLDhA5aiim03zF56ciPO zft`_w64EZWh@3W+u9Kk-AX7}@H1CRGu#eWNoX(d2e7-JuhsBNO$%|;m62klNoSFMO zpjPGqm&>$nspHPrdprs8S0-7_<;QFK-+&r<&@plj0CaUUNgWwY3fBOX0N9b|Aw| zUX2_0MDmz+c>Wq{Yi$KgM`hBdlU^aO-0kk>Z2C=e2MECypmy*OzI6nT2GIQ8zp|h7 ziJw2W9j^A)9&}KNTZA<1)@}WKQ|GbJHQ41d-SK?jBQ=z7;UlNxoa5{O5<} zl5`@jUB{j|4Wo5#Hdl8{J281dl_}_u35!t%SAP5(AUk}|%tV+UH{nTbdXGRg+n%i--zhz933d-SZ=-8qd#$8|3vddYxdc$Ka;iAj8H2BS zz5+!@;_@HU`fLD13pdESC5CI-;X|CL>9V@gQ&R0~uXEBSM=t$OCoO%!%U|CVIG_X^ z0`3&c^n%xAO$l<}o>)Ba?36fa^1B)?Ggqwcq!stBXuV>17V0Vfl2cN$dE3%q5Tv*$ ztxn;PgO=1Sgl=NCq~Qd$A+!*_3yRF%y>Nf2GI6}N-b7@9 zRe!FdfvH_$1OqpJAR#fg?$Q~N_r=9*Y2y5k;Di@Ha=dxsK5Cpj=xX_GAE^j+&{d#9-J zbP9W~F?n)uTu=o17ricf^`-c&pOEXace?nN7~o!%!UJk4G-nGX~9*^fgcY0V0qvGzDb3 z0p!C3ZMOOMA3kV((O=-)lQu9g2L77x_Jt7F%lK4EC0%8sh}`Y>E;ed=)y z;DMKZ0Uke;zv>EnaRg9Mq7r3$zBvQ%L2l3e1qH68>a=kx$MJU_$Nydx4^tNmxh?(1 z0szjuQkxx)5JlLVZDz#gNi|wO)(iam7g~5^CN;tAvOhe`($^>X}`>NmT?m2N=&-u%+sQtDa1l0;o0r=G+1ESbV4qvz*`povfH>q2PV zE8{3S%e8`zkM|k(X@=9D42N%3Vi;6uv)2|ko>BtUPebjkh6@moYHV{F5*}-nIW5aJ z7n@h=>T4dPf&#CV;B|GnLm}ZSq*;&v5*RYOeb34Qu=0o3(OQM=WE{Y-!$8vJtoz3p ziciziMj+YuD8qMY6#G3$AFQdfB|vja_dS#!pEb@T#;s^0f2;1U=I*36vmQ|FktKQ36LR2xI}`{&^btU0Uf0#O01+OvlX+dNCIJq-IAv1|D5rsw z`~%+w1PoBX-vDhPC7gc%gNF z%=&n-MB#J0WFa^1XBGW|b?z z7-({wS8Z)=SU5NZC4|wlAggr%;Adz&4!^@_H)!DU@J-D`~^k;^b@)H+8cL&9}q7#`l<3bg)-I=9DybDm6h z=be(c#=#rf9KNr1HhV zk>fDm1cbFnfK-w=+JDJMS!aN}2Y`{a&(2ouBI zq+#voMVErAXrMj*l}lh^*FrR1U{ti&AtnH8&Lm_S@Zj&?89|2%lYk%>;8f0pRS+vc zX!`+lXVBIf>EV0)7^h&=+LPnOh4sB zCaV-#p~sKIv$L6-t`8Lf8GKDjjpSO_I}QO)uJ|EhIixeAV&KOlCdz((_%bXydL6i1 z4hTv6!QQSe7M~u0%Q*ld0l(2Wr&(KH|D2kt=;X?q6RA&fR_NwexVDvjs=M6 z@Sv0K$~O|^H0Mzbt=Ndc>3SZ9GI%{ImnYPaXHY2=pZI9^wp03CAGNz5{IC4&<>) zf>#=;K)Bln{EL{Db^wrtu#X=PE+~P=AnnDjTM-7%j?MUeuln@{S z`2(f%S?q5~3wMU@l{Bs2*e^(Nbk)0`i2+zi=Nt&#vlGppF^r&!gjxC!Gr<6H|=45d+Rt*<(OUozT$8XpA zQ!(~aN39$0?~$Fc!qeT3CU@i#Cu4{|!KD23QcrdaFqB1hp6FgL(q!iDtkZ$4Pq=Un zxHGwk>sz^XC9Re=iJ?J>M1)~fFp8f}sCHh;3ZT)(Lz&XRQ*e#whS&G>s|uaNVObYV zi!}uJ*1uG7A=;;hC_;)Db9@ucXz~wNSkTYk9j-{f36elWOWvL{0r|Gt|E|%cEl4e4 z3lQ8+lTu_WbUh7m%+EG160eN`n@Ja&~S5TI0!Xd#*D|-^z!l&JDo6{aUFRH zIJ$P=S#0~_z(f5t5yV@o32vh$9X-K+@2BVytcV2ktAJ;hjx(#|FQ2Jl&MRH)tzgFS z^f)m(V-3r={xvDZ1!Tu%1^CFn@#2imyjKbrHWS=B$*!Pv3zYv4`}>YSL40Klqh_+Q zvQkRn``CQ5;{cl2NL18mu49s8T?XVE$DPXYGC*~JABgaNy5ncN?LQqa4zy{-0=BLCg2WUlwdfm9g+f-s=5`h*@DU#n3!sUx z+jM1*)HMBC)ig{%B34Qjh~#QIe+RTjUf**^fbUg6W9RMPpF|+mvU78h%^d*rE`YG` z@zbZJDAC=8*cY_l+-$O#Efq$^fF`2!RU`pu{DVzRzpD{nrOXKibg}e|OYTsoZ>$@P zFrn|U@5P!?QDbtqabk!rn>#GD2b0=M#MciZVz z?qqQUXM)Ub3lw%@6T^uhWS@3yIF}rO6R@7 zIbAb>pz^cW#8pZTa&(ycQ(ee{!Eg7jMQD?fKyPV{^2}K8f==r2N~`i2f-cA=$Pbif z3lK;%&b=H4#TP}Oo%0=JW+aEv(9$p%YD39nD-#cnbC}1Msx*sg!_~sf#>i3O2d{LM00-0{f(xYdF#qspeAP^dzZVl z>$LdPn6>P23alCrsvPDA0Cu6^Hi8~&6`@%zHq!iq|0?eI{tFVI*e*sDdlk9*lUQRC zzE3(_(TrCEKSSM|VpQ1(Zm3y%(A97=9cW(V7frw6_mxIk(<%Q`Q-H%?jNNK&_RqgG zZQ1}8E2`UM0|%f4`mQMI%sKJc2FO+mXpVrq(U*R`$sE_{CZbB1X`&zQ`bzY%6z{;; zL;^|yFEsIiZx3~a;piwb@eP`Mh0B9E{teuxm&c+^tMkzZA_D~U6gMb^SaFsM{+Xri zCW`?0tN|5hZCEj~E)m%96jWnmFK+c@+_00OMVIZ+=!|xuuF36WI)XXa< zg9LJwPCq9=-Jw3^lGWT$^bomqdZY70ct@qAarfI2%OF>bRj_za0L6?X36{j+4U3P4 zRiN)#XOI8{5|xCg+E-bxr zTZh%$qv$g(o}|XWjKWBPt<(2jG=)YqHIODdSQ&nKL{dZfvF4I$W|?9}WfoJ@E~q}x zX+l>4@a$he$F7=jpSC;RnI;Q=K&~dhk`wO%+O|OH!vo^uS~ypeqn_ZZ*1}z2GU8(( z$&kk%xx)-n^o-dsCo*YO9GOCAPHr-tLagkJbspxOCB|%C>gVk;QtOPtXgGmfu|*;M z=;H&=E=|)q$^YIrmNUto2ECcL1*4RBLmII;9C zlg%-=UsQ+g>&z^XQr{XsU}km%K#j+FMGj2FP?xlVe)cRVOh7T@`XcB+3%XVndz|oF zj6T@fvOoV=N;VH~&FtI1r}PNhujdcD$ZJ&ct}AhTN&mU8N_PcHbVevF$3AzT`S>Cw zCQXZ%{dwH}wv%wyn#~6@$_5&_ioFPc>%iQAF;J?Hx5icKvEtQ6zXR$EuuG}yh8nW> zQrvvIdG5qp0(I}|E+4H@d6LzP8{H*!&0DF6FzL_T(PJi(;)hZ)kzRz%ZI(C)9O4L2 zc3G-$uk@uF`m@v!k_Y>a7oC1Bd{ey!1n6bt(?G8K3py!AaCL={bTG723K(1>r+yD8 zi*hQ(LnD{>c*T7r4g*PhL{OR+E(vwtxoXkz2?yZC{k117$%*S-yBB~O7}b?_gA?0M zoW8hS&JZbUf&F`OZV!I@o*Anw{8@@&L};ha$ThL`QqWfHyuPGu-q)=Cu&!sQDonc>Dl%@4W=3;T<0QFNA!7jF_7^PE)Bzeh;7&Z@O+bV<3ZScPW=&Bq)-6aEqr ze?3akJ3E)ArU>zb1dl=)wl+QcGoS^R>{f?h87}u5ZUep+Eut=fQsQ55WYBlJxTCI9 zq&-2m@>XL+kw@@RlYe@q90CAHoyVRsa_$D03e40o35@-lPg7(2ySlb^2)H+rZ6haK zfLDV2>L#`VsZ9oi;Qqt;JH^)W&(gMgCT%84tjn91MxMwa3E%bwt*f;E;3>O2kzCRq zY+6&Uy)QVI#qf9l+f3MZ&GYNyK;x*8eSYZQd%p5cR4oQSiPKc~AI_;kmke1iM5pFd zWHirQ+$S`PHuX-5e|&s_62wqdn0ylq7_;}uCJ4kEWa$FT7EJyP%(}&^@oVeqQvTmW z4`^2dAv}3$2|GX};8{wx7Q^duR0%cluv$gjW7I=vty{|IYukYq$|P;neCUc2`Pw46 z3hlGub*;DZU{N&`8)r4$r?*6A`BT1T>Za!5&($v7WxszZz>P|dP@++vD}`obq!zH5 zXPtG*UjfjFg@t9_B9$TG2U;4R2e?)9LjhAa1_M?=tPBCoN95F!Nc0$n*P-4subewY zezNk1Hi2kLvi-Y$`(g;LK6iV?Y~`EQwo>}p`C|Inl^1?2rus(cYAT{{7PkyfV&%&3 z@Fdbb@Ol3slHQ40f8g^IIt#u(DRDJBxW#ty)g6XT|7wGtIl(y@9gos+F@y{`mStkX zDDHF0%)lTWjFR(C4hRg$aje<81OPJx0MpjgOzbt5d%WvCy`|Zc`ZZxME%k6mLW+0Z z`w%~_`iJCNUd$V&!r9OJx5o7x#MPTwK?H`^D$9Xg(STY0_z(4|fE{JriDC5&Y|Qd~|t%;&|~5xZ07~bpi9? zK7Jpv8JZB`rWo{CM`_JBqrHQJ26@DMjM%M>uMiip(7R{NmBB%B z%mw+H_lIb((6`@crRkdKR$6P25+48i6AZ?frm7u^Ip7KxdD+>>p++D;w+~9*^#LvL zH+ZdxVbCq$@`l-l+g%aqG%9z>YBZ8`kw3PKX2hYXy%)7opNx_1<&+^BdvcFBPe^=j zvau_!$1UxY?m7Cs+qd(JgNAFK%=u}dd*Qoc@6k}mmTnjct4+kdJBzBZ<{^FtSK#8x zqctgd1YlzpBn(|x_e!8 zteeohHm|#_dW+|XAEy$LpDpfX`+mIYAq-!c_9DRIOnc5Ke{yTPKPk)X=byi~y|2X)?o+fUbw>ic2OQD8pR(pvPe@r(Sw1zORZ zKyJjuMy?6ycKqC`38w%s?kl)dM#JIrQDOTU#;du`33uz z;{xHZ%HB3{1X9`set$k;drg%`q;Ir zS-JM_@8-kFEg@e5FYQA1)3Hz+B)a`r<+qa-#UXpR(XhE|GKU6Xb&0hW;pEZH2!K>KX zc{aYnmKv;EfozJVvW5>8bpc^cTdjj~iY?ORILUB`NKUr}&5XIJd^+Y&Xe7<)P3Q`? z_UdAtsogr|gVWM0)cwMi+a6l&Z`O%#nZNJ8Epcn{{JMMiIV;NwFi+$>H5fGonsAw| zi+}M`MSp*PogDjlWYeM4w6o_FbfDwGoJ6@I2_sWJ0l95+rvB&3(VZ@GLCb>J-!=*6 zLUAdRT_{Fks~Z90yg1Oni^D6yQ%9x8%*0Mgue3k0PhatMFugXE>Ok>KQ8?!*qs%Pt z-LxTEl2%>)_w1PxqvMJZ5*97$>A?7lG%k zMDoe_#|{Ml{uIjzyP;G48YwGBKZJ52xO=`y&QgP`cKq9O(q$h?lbmak@CtQ)fyt$`InhT8`-)~}%%EMI3#bR!3=vp6kfA?*Vv8>QiW&mM z3`)MALZM~$vvo2rUT95>XG#ZSKVbvo{(5Vv>#M7^N-sshmlZ-__NSj_LF+UFXvJk^ zWnlK788oRt58h=hqW*5wPZQIOemR1-VP<&0OkO>&+!d>%V2KtQXg>-*-a-hi82@$> zHpV$bTzlwkZ5zhi-p=0MA4`=Eq+^ixp*=cG`O{Sqj4`7ZAXsMKn7bAeNnZS8rT;sY z0$dljL;9T`-d?Djq7Ldbsrj_lxVsY5bkk*(&FD&P^y#Xc3PS>@@QihYdB1lQQ`Z2z zGZ&pR_#^6|8(UyheQ(*d(Jz+5ZFfQovw<#o1O3p$2%XnrU{bJ432ILHji`q*MdMyv zK4t!NFgA*K)J0b{A{Qb_rvtT&uuyr7uqrdg#u``Q<~-FF8m4?ja1l(X*v{8yT(kBs z?6;d#_Kokl-@xm5Y)6{<<(jpcuSaz0CeuzARW@de&jPa57?!NeuFQpYA-2N+I^7|AWgzM#CYm)ZOLA1T}@c%`qYh z%sssiIZJil3(M>6I!T!l>W}yjxoN2lb4+61lNc`h5OR}yS)aLY&Iv@ILhCGYfCgd9 zrg9f`_WeNZV4T&HUB3;@UL*+fG^32jy|~%EraG78irR`eAd`F_fI|i@R~y}7h}bHl zFh~=fUTD~J(x0lHszlW1;SQiL%$^5X^4#V$E_I3{7bNvIh;LbR+?=8&s?EtgWJGw6 z!PMLOy`0&=a(LILAbN_a2Ax|EvJRNkU=P<1@O>T)^QN{MiTZ(+21m2Y#%d09=~d&N z=6|Hw8~!LIV=E0fJh$dM1!Zw;U>O?AgXH5@bL=T+={plJ4b3_>-tbR`r_N^Efw>_8 zQo48%{yKwN8q&yxunm(_Kn{QLj1t*xf9_1Y($GQVa|eN|xl7QFq$Mt+BX?{6#p3ciHR}mZvEp7k{OFKFO@xX^oP+23E*dJN3F5m=*BReP zoa(e?N_j{Vk2HokLHn8AUi~o%aJu~^T8^MUT|KpLxD8^tf1(63kdti|{O{vrl8p4m zIS!U)GJ+z}uLeKy*=Lxd=W$97R^|&hA)$T-k*)K6(ezX2NR7+49YBlFSF#>(c>V$$fd#Su{<04 zCCwu;^(dn1KC>$M2V4nU-Iv_TF(slg$Xn;+BfgSrO%V&6I>MM zB>(i`=Ebgp#@D@`|97pFO$5f8-Oi#pW0#gs?6oV-iTP}w9d7e49=VWb{|t#9pTwo+6<))>rn=4qD+u}2LCzIg-4gB+ zJrTw6jks0Gw|{tdW4gNwT{&ME^6*$DBW?7*L|?di zUX``piBF@*eDR%Yt)UrU zAm%+UR?{3fG2b;ZHR6s7G-6ss#Z_Zz#A+lka9TYfJk>E&dvO_JFA zm`6Fn{i;;yF`Cd_NX5iOoQ&p6kf5FuSc)s+Car1+@QQO{4`X6P2rRYvxLDi0&g zvLpb57Zv$U&3wDKne9Ez?lUVWE&6ZUI@1WjU_k_g_{45IgmDIwvZS9ex*JodX-4Ld zdk>i0ejcfx7x^0$a}3ests*S&%v?Ij27}_;MK-r_ZDEEk7R|ZuO9E?@{$$@aS2wV%)@T{*viZZ z)67Nh&1QyKkihq>A)Jxk{~lz~HO5fq^)_6r=xSi4j+pA0xPOqn6U z_qEwjkT}5s7b0W7;Y)P=?OmgPk}h(Uco$uW2A8j=qRk%e*k@j74P*E^30>nk0fJC} zW6kZ2{Q#X`6&z{XrwGBCvDh3bKZ12J$k&iUuoy#(z>MmCt5>fS>FLMg!>QuhTIIbS zmKx-lwcX$>dk?>sMF?fX?cf>X=Ewm;Jr@#HZ$HyO-s97a{b_0?l$MZ>4^5fQTsxM0+A9EFFnV8D zj;x`ak`5yOLkc0&f7+|Zf%PI4YH2T_eXa$o&!$r~lL6=KyU43UQnJvmHc@#r+}g^q zprTf>*Rl07(wzfKP2d^oKjq!Zn{!fc+#OH|u3Vl0dDUC$joJI=N3y7p^bZzfW>Yw) zf^gB$uUy(Njo@X3Ev(G>Z($TtT+3RsYMJqh-EASYssyeC$`8z>4k&WLlgBU5%J@LY4(ZEnEnx^IvF zyL*l(oW=gDaP^`q0!} zF}PC0RR9)f$Qbz1fR+k}PipN!Q`ia(=b>W*+{)VV$ITsbzt64YwrY-g{5g~cTny6o z_=bo5Q7CdfhO2T!8`2R%2QgY53|^mnJcWKRbks(!U--NRt7Utiv#e`r&m+7pGVMgi z=yzpsI&JgqgDGX*WX8t&e}Gao(Y$0(U*9^(#z#LaTIB?++gJ*gjv9z=f0}W6 zl#YBpORvDhx;<|CS8<5tGlaf>+28pZZny2BL(t7;(@mpAz5DVBo_ZGX*|C3?hik z@J*^()+Ww|$jQ;R`D;t7AfzkIxts;+&3A6`!G1tz^vV8_N*|%3QoHmtX_TO+%=L!% zOa82+u?Sury&OP7Olu~ONjE0Hnhrv<9|or7sEs=)KZ9*_4a?t43~b=;d}?gSMaE}p z4GuITt}04}+9$hd`JYN$+y2{x`VIdA{TyC4W~!RyUq$K zM4%$P%Ol2k9sX|?AXV4{rXBmkPo@8gjy?+$N2zFs6WSNn|At%}&iOP7H|@W7$2ap) zUN^YsNf-+r*~Ef2Fh>tNI~X$5^)9AS93RC*{QA44u}W~e3i}zXzB>g+o}>nCfCa2V z=JKv{NkYGbApj+ic!9T%j23(+8f@q=y&gi0{JiDt+O8Y)YfP4eNwJoUg)g()pT4=N zL0X1n^O{0*oKmi(L1QkY*#_ph9Fcls(653l($*9KhwCd01@OzhU+@Lr1rsw7BV0!m z?GG#X+^;DpBEjSHrdl(Kj!fkqOWj+@<`R5j1N(=n^z;Xb9@Y$jEymp8lHUImmA#95 zknQuaiQ3%5@a24A-r0r0hn+8FFR#8S9wsXtIJl`7zuumI5iuW*%E@XmG?yocqBCuZlYXBpAl z~XeJW2?@pMhLX8^8XoSJt)9WI*B&^Ny+mkI5 z9r`bxvYS93```tUzFM)jXslvg(BvwAYdMx#ftEdpUD1k`4)7sQm zmg6X%#1tOu_tqgW$Bg1N8t&o)2|w&KBi}BFYr;kPNvMrQ30MD0+K(!&j6@W4EQlR{ zF8~sNJm^PIW$xq>pyTHVgw&xi>DB$PlZFLE)nlAUbCv}J>B>2c|q$R zxN_(5ms;EI>RR}-&0xEyOqL-WSrebCvv-`VKK*>OTSDVO{N>{>7&nRz$&hKd584n+ ze!wNmZr;R5IF8$h+7V}%H|E{3ie3<|2-JXCby)lJsRp8rc83EM$OozvGA6H0eS6utNjl$(y)MmFGu&!;Li;!vI zO^pqOAPyw9x(xF&+B2DE!$idn3=r8-frmoPb+tz5j!E4wcgA^^;zIu`^X)Tm=#kQZ z==kX+D)@r=#|y|WvjJzpBY4nX+WGEovg+#xrJFY)O2QM%?I*Kvh@*iOwANWQ6paPnPN_fl7%|&%w)6(4E~1IWzhWsc~ zBV(YVUviXXd-zGn*BUCciH^=KWGejjD>(J$g;?4MZC)S2m1nWZLV!g2a+0kcQ;OZF zlj(n_s2yaZuY)4vCG?2+p8}!f#O$Z7BoUG!VqiM8mQ^ynt)46mueQyuuIhOsLsY&8 zC19;^-i{)m;ywe+5`**X?8hh(MD1AK{F;B}4fq(gdwOOW zEQ+C|a5MY{lrQhi@UHvX_#^5dDU|s-v@iy`%w4u(KafEq!cNfGK~4^fXycVGr=GOb9A7eDB88fblEkReJuqd>0#$~8-JOw4u#-VqhV5F%2lE z@W835Q~u6xTmP@Jvy6*!`{Ml!LrSM~gOt)pcL|6R3P_58(kY>&pdck65+WfIN{2MU zpdh6nT?#|1NQwedcRlC-x%d4&pY!JEnR({fd+oi~T6?YUZ!R6hNhr(lJ%a3{h1nU6 zGI#N*0Hene^z1xDUfzAQ>vL!=eSiYjd3;j$&GMd9)hi=-Yn&!TSr`TgD2Dxq26}o< zezVzFHaFq!eZquid;GPv^T~lE<8 znX&)*cbdZ9v{U>gN^beZhnh6uK zKgM=p#vpKW5^dcc@9EZ#nj7i9i|h zLkf!QtvG-N@$zfX*@^gYmSm~--N_8$?f1O1F^!?~BN?KC|5-yUlB;vaGv`PBlz+#e z(S;Xk*wq#%kM-@j*O{JSbx0fE{&p$|nR9{Hkq$F=D~Kqs2dL#os9{HXNce_zE`@7eCV@}_{TrEuRky7Mtt}jhGs8V7&-PT#yc7M zP{+)35Z7`~c11nDz0nB+r_nVQ#RuL>fu48Ic7`qnh;2lNWyTUnS)T0Ova5+6Jg+KW zVXGMVGdB&H>1z!S;dg&4ZQ&eAF7^zV+E*@U^>Vhc+N{h_`P`yUynDKy9T05lINsg< z)P|ElgP1rX5B-4qa#DVNo++A|pmR3h&zSX}yYybxn*Q#U6$E9R&1HU?SFchfbGut( zQO0;Q_tf=83kD9mdkviU1NbF>EC;LP9%d@+Deuiby_vD9IOsdD>F2$85}Pj&Yn&^0 zdFn)z?NWKAcx#eXXL~xMoo4vw&haHe z%}>6qKE4)qcZh%R!+jaFaldozQ1AAdVsILKXa49pLV39p--H_xvMBz%FIp@!z8hsj zwpR{}A1Ne%4bvgadl-Ry-=qG^hKUL+jAp{^Hx=1#&eQ5m2pFdMR_Z6;jraFZ43Pfl zjr#Vr@wyTG&p%oC3nri3YELKMpLi>7)6*PTS{E>rs%o}I+kv&$Y!4E zIW!8P_R7*YRMljVO^nsqxPslM%rxpa6hwZy^^$h{Vavg?)kXXtk!C#7_ia#ZSlNs( zWL9|(_#Sc;`~avNVO=*9onbMtH9s=;KvVZs=BFebuE1K?WeU8_1z}ldvCfvPhUXb&>#(m+> zulOicA~jXyKaei=>1s{JQT;arAr7=3DX?S9R;vUBD0ih`8`iCs&%U!eTmR0CoCzdJ z#s}`lfKSB%@gik$D~|ZT-_&pQ!28Uc;Me{ZFv)-^6xwlih&QI=q9Esf+qoTQ(z+Dz>aU!|se#kjhF zKZP}GOtjza4*iI&vBrOXy>RHi&qj)LHG2A;dpC<8g|SS|{1a<8#4&lbW39ZC>jz!kvyAgkX==dhzx~O;e7J2IW?rknL z(vyv^*zjWNXWV9rG1Zu=*AE6w5u=#KdBh*qb}d`&$ySZy8qeleE;5RRp&Kh-+_!mh z82iBgQP>$N?>+Ui_*}C|!U?BTedF@}-M9WTsOHX#j0&iRbl-1zsYto8t<(8rC|eo%Je?5ssYWYf#rv+Tkz&p1UZWNb z{x|IUWgU$sZDSt}tteTw(r9lq-ML7oD-}5Vn_YP@QH3W_)p1)pmfGC@Oy7r0o!`+y zRmd+kDv29sbUiJ`T;b}+*|2}D6dVpqyLg|S>}X_uYN`jgH|C?NWR&3*DGYLslL+c=>2rqQZE>cBeQl{_BYai~UC&&v(!maRkn4oo|VzyL^r-fq%y1)J z^L&M~fSwXB@eoDBx96C3_j=+;nGJ>=nBI&8@Af}t(f($5Gj0QCd8iMiO9B>+Y&gGA zG?qK8#r;-&#EP@T&Be&7sS&Kt5co;TD%UKX#2QbKsQEn5NOEqXa-gG%H8>_ncMIj~ z4tAd=eE)WBu#ms)T3RJS@`TlzpA!c zlWvA+^uk0(g7m;0KmfqtY^JKG#BmOPRL%5IjrV$ZQ{nuW5%_$qbA&Y8@Nl7wd z>L7zc6?~>2tJkxg!|5)_YEAvaJXB@jY>Le-mZEr&wCPKie}0HY@HO>g5qIeZxy{xF zzlh38(U&h@LIWx-G!8?-8wmx)$HBoTNl8?}At6v3*fBSk3m0Pz0}mfPT3BCqpPZVY zhhA%>_CQkdDYUqxKpPd%E}(&mJr{cF&YeI1xtSh%tVYX3931=!57d;%UucA?r06GF z4A_?KM(0UgAID(G66Yd6JyPIdevFYN?&J!&5W~D#%cwwq?Lmt^DvXFf{nuHZA7sCi z4BMMeKZxLMh{>L`_l!QyH^1{h^Ig4`k9YRntqomo8dg>VO-+30C>kG7l#)t?>iw3_ ze_t$1%TAW-2(TkG!F%`QfxF`P0yFcu`t!l>)!xr{@4KZ$$YO3+2T&Pe&Lwwz5ibd? zdNt~~kW}+7F~o&%=kRHy$hIT8KBw#=_s$5zW0FA1p}y+!7f|iPIF>ZLT7jX$uxb}c za-fteT{Nu3=oW<@9KLQ-)GPF$NyIO!Q$I18BCM`cmk&;#`wuRk@rv^iWs~)O)XNAcl#quhgE`C48N{j*`U0RI-q1x1<&j`7es{Cn9Ez|tY&xOcGD< zL{aTnBEdgI90eK;@n0)Z^69_2aZ3tJR8*=6r19}%E`I(;(26_#?nz?e$C;Uyq7yFTWaFlg?dqk8j3 zk~om=yXT101#WUHGCxhHi9`9Xs~(+dF#z1ddC(=EfkWdJS z4y3ad>Xe6}a3B8A8Twljm@5UIEq`tD9cPLJY~t48X1gztZ7A5}JA0p=6VDj=deb4Vbo%6 z>em;WC{%?VLP{l~csQ_1F**)-PN*wszTYI`g#|BTPOe|dN{wAi2+TL*wEdYA6Z6z) zoEWwW1OPUkeBa876~GdHzb1_^tEt)=0Cp)h%(kCv3qhL7VT6Hs(hX=4>n=`nCvyKu zx5GEMf0f33yBHZ3R+T3XCC4P*6kpd1I5gAhv&n0sIcv$+^=4Hlg1@i4>&LypTs1n1 z=+G@zd0sQ!ZJ|3_pNx%pn3Z%#S0^QzLf1E>G?$9kyil0?%P6_g+ZxNPz3uInfFXdN zlMEwcuJZ?}spRI)|7A_DRh^QWs;RF2;BGw*iYa-aVFCKpV&nRE|5#wz3vkaJXY|Lu zR|zajo?XNXsKkhJ%FEvmKh+>?ULK;$Tz8K1MZdFius8|}zreRHta(=+WfK$NN91)j zWn?q9Se)Uw+EMgl@@W9~dlJ2|Av}`(x9h)V7PqpUhYLuooBa^rk=5O?Ykup~&x9)) zAB3Zdx9`Q~n}(N_i9p$DKa|7*PxSWQ#y12vBG6S$Y@r-eJSwI`@`a^Z#EN!Imr%oaDzuP@S6rOi!$S@+9( zMosH4+;4ptEhPP=v;Xj>sL%Hd>QWOHF1#hG(84pV(Av4N-o^o2k{^KL8XIMyiBAoF z#1G)w*w~C+@GlmKMQdqkA*&dHM*yu8AXdEt*$S5oWkz)s9vGONTJ1DbUcOdFCW;Yd zVzniR_mX9J*xCG9XXnV>IrbAHFV}Mg(xm5jrKQ8>JSF|;!2G4zIO@CSZ~F;2`(Eok z+>tuT;zoyQ6VTqnQ&6gZ>pe`z^leXv+wgE9sR-J2K1fekX*76z`#xPK44jWKRYk2g z=b&KM^7a{|#u=80Y)G@g{&Dje;9*-Y}xf@Of;p6xxpmrJNm?9mmY)O&qU8#xImHel4^O@|bFDYUZ?N26RQjU#$n}>e(6JWi%g* zL3tGT>CIKdnCR*fLm#~~^ai|w)^z9?O2?{}AC(9sJcjB8ut>p`DAkb&&h z#>T_%aXsyu>D6 zWHB@$roQRM$MV5lO(!+hUX9M6pVvNVTKl4ol6v~$VhpNEfAGcC;(CmDiAEd?6Yo9H z(w}E2V2HfC(FS&jG{OL#LLzX>?zxQn4NDoJ*kR({-d<#q%B-4FmiyCvcM7t(52+o} z{KaXmPF@`*U*$^vm-tCLc6U^ml`WhoDX&^1rumCt;@`k`7zCvAJ3QYCQ@L{dgyA;6U68ahIR_d+STS7k;`at z+h*h@>*-Wv#1o&Bt-%bvs=U&PrcF*fl|YG#ib6;2AUu*u+9kDOSvb~MR99Em?qFvb z;mg>DR+qB3ryHxicvW}Pl5d}kiC4j%_sB%l%Mazz@#pmnb$3cy+VLyX3(-S6YPJtu zpNO+wN*5E_QKs5|LnAYaAJKFBM4<3ta!g#@tzVPXUx5}1XJG}yXA^ii)^mn0kSBf0 zR!HC95A44w$*sIAikllfo+cRT`P6uejU^n7{rFtE*aegQ^_rOM{+m2&H z@Urz|U81lkQw5(c1>G(_olwm)#A90jIM=im1-)&+AiAvszI6eATPg-tIbkpKkM%tu zAO*BdM7fpsnFah$`5PCgWoh$f9*AU3=*K@m<*Mg@57R1XWg7RarZ^*gNFlqxDJ2+{yJa7^-k0<*KT z7d-PI9YqCb1SeSd2m}^PW=4p{L;GK@<7l?(Mp}>R`0MvmcJZa7Bo>t$F_EFcd~zDjZXKZow@xMVhw*$*rTw};V*oXftqO_Zvga<;A%i25w4V5Ozq z^q(z=kZ`=%HL?RyAb9Uvz^4~-PoW*cg5oweG~(fI zuvRq3s5+G=EPUz{wlQ1v9w)8S;65#W=9aVYWNBMLp3plr?etHSrFfdnTSqRj0o?vY zUA>!^hY0scYd&(|R#&?b%IwoC%9j9vot;e9@$u17BM|R06oVwvZSFZstK5Lx&Aj)oN%7hHn@R{* z)i*S>jbvyl7j01dk8duEr{kBlkZS`*zx3c>EK!&Ur_D>{$(>Sb@$GG%R6SN^An!bl zz~sZ7cjtN7F#X%r*PPxcwdwkO*H_h4RSiFQ5_a_J2O#M9CALD0c>ZrKfJDu6_BUWh zfwF)V1`q(DZSeL(KD#aaEi=0d8-*|C;$_KavBIe;ugGZP_ftEzk9CV~)TOVLd-Pex zB&Sk$z^Uzgt?QZY4^6>~5d;ak*wp;Z@uY>*jC=#T}9=a?{w{Ib- z9cZdRNR|L%b(Y&D-69?~lUtlz@#3KQJ zpXux4W6*Q&ShLS5gn;XYcsXlgrRrM?)*s=-6HLzisb;T=Y~~FsrP(snkCVphkXue% zqe4g2z?Ry0;t5`00$?S9!eTOUutp3dlJ_$+S#T)f;l=OD>-7!}o;!Cg8lc@kV*2?u zWdYV50>e^PRt~&>KixSU=>2f$LNtvaSrj&IyF_-SJ}~%RVD*LfItYnneSR9=P@OBc5%FnKzUVho@4kG$z#*jsi%liZsk?VK z`p&~8HGUqBg@-P6uU))kNKy2@4*5wjgQ0*x7jFl|BmZ%Ar6m9yQl33S;?lFCHhxp% zkP^VzWm11_2@p-U@_Br-C7S(S46vh;($iOWLL(v~6#spH)q3)8jb75`jTF*ij^Hw! zogK9_#?W{6;qZ0(l+gjvte}7Zs&}xR^gi{=?ubl^^b0z}pU(TKrKKdKbrW$#Y?BiP zblx-MS>qehohO|5P}wKW52F84o~`gm2s zKn9zxMq4X=%-T`MabnfQLf6$9s==QzPwSIoLQeu~X3^a=?jTVPlQR#P zRbeo2E-|qxy#&*eXz19xQCDNTW7*`x2M~yoEhPX6A*6Ot53!r5um()8>9|25v)56> zo&zB#kk)}CDQ@2xAk3-=FqEGwKN6vk@d{sO@Omwt1-6{#Y=mAh9d zx2D%?wT0f(l){*QDLe{EdY8(RdwM-zD>$+~LFdZKT_hJATGM6R%ARs-TdMA6Uo1>7 zF;-T6vl$o^G_oDw!W8dI8xS~I$0eAo75H_ zW3KA{7(F4;419@MkbbBC?K4Fn!5e|)o@HIr*E}5Pb;JQsIXxJ3kv0G?8)?_Hn&B6? z7Sqsh5t@JHAmAb}iVUIOAIf`Uq#VF-O_j&zl2)dW}1WX*p{mOgf-8kJU5j(JyXp4gy~dx@YuDDYATIq+Q3$ z9vPUxrPmffpCL_UI^!fTrV2d0&DP(EB)!4+$$vCjCnxwFMJH37P(zu}oooV*Jl9Jt z?@L;hR4T)^W`1P-)C-(4|mZ4)qYr8^5MHNB9NypL>6QS-jE~B!2>6 zGK6-C2#JK9D4xAwg#&OhaCf%==;RAbZgdiK#>X>Bnm79iLLi0h?~jAtEkKEUfK)`# zO6F~m5~u6X=Vku(4mFtWO$fB$CC-qNIuGR&AYiX6ire_m<|grWtzWd=0S-uf0)qL~ zRUNoG2F4Gttdi5ybzql9qtOVZ724b+-KV8mTU*NvAH#C^AMYwTQ_#B(fUjir{f>Z< z69V2=R8$mhd0ETLOAP*FX=NoPJ-vJP$H$IwAiJz&2h84tT?OeD1jZO7c>5unBc5ph zFM>dcL7v7j@LloJ@^Uq>d%+#(1aPG)Y@*)|5IQXXWmd<~Lh(-s+|}*)3KPzyH?_A%nsu?tE-h zR8S!1@l_TY0t10hY5}7UY0TxGWFCa^1L&(NuX%NwkU!TD9$I?P3LKu;hPlwS;fn9y z@7M%yYrzNiw?0q;F57=v2J*@}>_MFa=nQFB2FP+rxNWYkntep;Ub(V5q{HC|kqMI0 z?TR}q={70mdiV3_s44Jcz`6A`uXkfYFq~VszO($tz*zYed+}jZR8q2$5Q|FKN$>|w z9JmH|Q9s4`pFRdbfgLz_nqED)PeF~o5hsA3Q*Jop68Vt^W7qGiT0QjmC|D;#Kx_L2 zAj5o4j)Ej4B`xaRESRpnN62B_Yyo0mivae}fZWB_@82K5@qiRuEnt@*GS!3L$Gxw< zln|Oa0AULd&mOJY+T)eBgRhNVmF>CDwJCuGz62sCSRnHAfqUFP`3E|+ec@4H06Ork zzXp^JmY%*)2uOs+bJT;#$R@9OJm{zdxcjJwg+1`E0lAt2-Irg0f7o)!D(@EqZI2^u zA@|p+0ZfU|KwBsn9Gb&`YmCIHU=`Z{3zr07Q_Ju);d=cAF}4}eXQFo7T1Kbt^i z>Sj3+>^Pm%b$=rpAOLLnopxSayn1->x=Z@WvGvcO5#kV#3;oY5edq261;JrV{D@4jJYNa& z8GvFX+gyj01%p*K*gpS=1zGyg>{;t-22I^apjp|jC-xU?qY=2;+0#cKSv;wjnft(c zf|inX`pWlT3k+1fp*3>wm8I-uaK#vCzQv2ZgOk!GLgBQ?c2u9RDLk68nv-CC)|^=G zw*{GDNOjMrS$cQ}CAde+0hT5FWw&(X(V4wiGkHJV<2 z$8qmF*V+kCJFMyn?hL8d6c$~{O{}c+%>0c&%ULe!G5rO2Ovk__iF|0WHh3XRO;y(h z_b2JDk@<|E!Qe6V4K0FECaSk2)98z)I==bF|mXuTbDwM|ZK*s1tyR z75|KyEZf{#lLF119V~`2)iQfvB{~7QJW5Gfs5y=zp)ETkJ$s?xb5#+JZK!{)p`T3 zS9$P5IO)-5)9is@Os>6jh1FEl)brPiE_r!XeY+okH^*AM#l|zkh5%{H1`semh{kwL z`vVkq{1`lQ;Ox)8b%!Yj;&4skBwOZ1&zx*u5Hxrs-sJdws6`HTLHws z_217@EAKA)@S~UV6zt#6*bqvUEht$^PZ12 zj93LlMBd8g9fYr8)3w9pQSYfaPr&Ow+J9yAQUF*q5?c9gi|DU~`ODGYNbax!;`we9 z7x>=5rAc$H1qBQQy6fg90>=rav&peozLNXtBBmT|jSrop(W6zS?93w_jX zJa|Oc?=ZJtxYa^d<@A{uoCmv*)49`=bf7&+`2R9T!4a8}~lslNcqP z3^F;jNfUFeugN;bE>IxK4$FuCOnS$^8xiHDa^sw_N24ZJGS8bN=pA<%6%N$jDkX;7 zG(K?p;q-4c-h1N;(8$SY@w0SvlUhfjz-a`W_GJ0$jNbPPH{SL%=K^En=UD0bfC3F8 z&sX5eXcag(W$u!6lyKLu3h-))EQ2CE+|+b^aYY_QxRPsl03i4;1N=@D zJcc^=C&nahV{3Uk7VO}VVDbPE`mFhi^@oXx31cpDfrKql$W_5=ag^Vk@o4#cBij@7 zB*qsJr=l|FAd^*`H*|V^6fMxt zYu63Y9FjnRE5b7O`>AITaieJxg=;d{-@rnvyI$gYXVQNMvZ;#zT>+r^W4JkKVMJ4P zaK*)M!x#=gf(Px*`tb>et;d&q_u%j;w|bjRlKX#u4NbG@H39!n3=TUAc12FPyR%zp!AB&<-y&Ezz)t9c`D$R2$k!WR?kra+(~1j8omnpCdStEGKr(0s*Tv z=r;lY2ehx~o<&DT2jUuz?}5?!Tlh~VBa~=hi9Qn)Gi8GN++VW_q>M_S5dgQn6*a3u zV;XvTXAqWlSCe8?OxuqqjhLS(+102iH+JHqHbAWd=Fg*)t9+Ce2o1l4<{%pDzY#HD zjfl%s0c3pk-r9Kx3>E7;{7a_4y$+c1ht!J4@~)Xo{_Hp!Np`^SS%n?{dE|b4e2fey zr^I{EyC|}J6^2L-R7uxzg6xj_K;&7uBxO)y)i)F#IT`ABLsI0Jq<+I>M7!`Rm8t)+(IEa@& zI7k=)2N!(){(?#-BP**uul$9fB;v}5-P)hAIU4YVsWtU2Eog)vH|r-!HWK4ZWCOB{TdJ8X&>fGBz(%v|3V<0bG0EP&q*fdqglM-2ZlAaOlt?PNj02f~a4 z2o&V2Zo^&%E+GYn@+V|(ahYv!pGgCd#So|}BEDIIdmyB8<=_|t-*_RKBeW{3nc~cu z1#n4TLUI>Y(-z3Hq`Drmc(!(c0tbE!VR*R)E@sND2uNxOh8+OjW&%AmAZiJG!W@v8 zi2-W|P0Vh{7r}+()4I!m&_qrw(2-dIEwB|xcnO-=@7tdKI}0T$h&u`onvydBQ@jN_ zXGq}k<;zuMy=Yj%zRoD)mQiQ0ZRz>0i}s2lS{0H!pdo~aXSMG13A3MO>;3WBUeH1W z0uVGFN^(m%Wuw^W>xHXCSji1YVskwIypjhuwUC-LKi{;0pOG@1ygW{b zfuZ~b{ACj>D+7oGVK#x>Qw3C`2IX8x_YVPsNq;LYY$9RCIm&bx@IbB{2|f+~PJ5rjxcN*OMYkcn_ z=(YSgc#do_5ECNhDG)6KIxZ~I;IwQI#_{(=`^hsH5{tB88PpzL$-)Z%Pn0Pc2Xv?Q z?$%7XQMf^V*{F0vDdk2Zatj{Z};TAo+?F;UOu&uEeAyGAE)r3`YFzcJ^5c4rPoW-RC0AC9}I5(-b88qP7V5EAuZ*a(Oh zmiI)BGd$(b6NEDzcC^S*pDERjd77NuZn$Sg10Tv!#Zlu#v4yDrat%s<=m0h7e6?-~ zZevTH0|gvWhC^;K0Qh$nw3DzZNhr5+E^DpVn5!ZCXxi|0ymSmQ<6u-tu<{$#V||df zdIpeNG{e>#85k3bd)$dw{7!Ks_J@ch87y-c66iOi4dJ$c zAMr3CbF=_?FefNwNc#|k<;Gpk3my|H9EK+=XrlMfl;~S|KyQ)= zJqm;kx_ChyZnTgs0FiP6l&T&0w)Kuy%voCRW{M9v0{-*i z-q>tiTpme5$<+CVukRsnXO#7_%M|iQMh>*W2q8VegL-P(A*nJRS^JJY%-!LUoO zW*3rWQ2rco6U!E}RK*eA-mU^L>)XJmM&!5vh&KJ!$S74?8xCBc>N>y>fUDK(e_4gn z==&jqIWg}>GMjQPqA}gFfjTY(#$k^ml;V|$9*BK5Y+S_|q>9n>pAOixF zKJ5Q4+w0sblvU4E5t=_L*l=Y2rt!uSW+QA{Ese-S?L|aR8ZBIcBIPm2EjonIaL@dt zy*J1c*7F1Owfg4ln@l76fm2Nl`1V!GCEKCsvW6HGjwoBA)l{DDGA8FjT6A&YA zq$X~7K@534a9EMz30P)dS^_-P)zw}44WSzW(cy!|n~lhx0<{l7!iF|BIqpv-V^jy9 zVE3>;rmIZe$d97$WCWtWC1*ysUgjSmcdDK8xXcNqWQdSWdsrB#9_U+Hy(nT4(&Is} zfZ+dC0ihoeY=nzrJ@4x5?=~`3^i1=W1pfI1fy{LO;^t(x(9L)g-1-C)7k)mr@KO;lSX=P+KsK+LKy|At;Jz|Q9cmP2G<`HrZj+-Z)W99 z05=n_gG%WO*^_{v4~7g!0vtEFVCPU-(gX7+Qt0C@h))wfmz3Jd)+2Ble@jD4T%8S7 zC`3%yY^P#EMZ~zmtPR{dP>+`P`>qOsE0{P^RR&T~M@L6411?%`2#^C0a&={vps)$#;9p=*OqZo;;cl?Y28u?Q>CiWS1tHndFRI>JbnUGB8TfqpYRoegM;sYsvJ^o z166cLStaBfkx&t$o5%4Ywg2)2?o!lF8GwU==x!jY*HC{2Wq)2vJ=8!7m-SwV8e&#b zRrbP{4Uhjt8y?9w)5Ls;N!5;&N9noaNZ+b;##JDdkd`tUN5{v`P<4vn(zLWJ_Rd>E zT48HjaM4Ua@0l@pzL3j-xvVjqI0s6|P$CBpg%maCxo*c`YoXzxO%3gB9X%PgAz|rQ z_;Tx4Of)86D29Y$E=-ARW;4iv>+%w^G*FfZ`_>3(pm6i>fC3e-kWei02T&^tQdE6c z&CPp2H$e9OUlB+=BAyz8W?T8hG?1gz4?7@oTMd6PpbfC@@I|aR?)8UIyd;}6jY+jCtf4|4X1)EUrJTSDS$A+rP48W7ZA`cnX+d#gsT2nciF zbxey)8d^clBn|w=TQV(te(6zu-@Dmto}~S9C8``H9YtSdW{!xt^@TY`y-(2g#?Ca} zWBogcvS&OlV?bjMsU(IVhM1h3Pf@Y;Q|WT+Is-Fv$u*|ZaPY>U0Gg};&NyQelkA*9 zND}XfKkSh|w9s5U5uv%9YgLmQRWQM(F}9sb_yAtwR#%p>P9EO^tNC9Z!MhCaBgA+| zI&LBL)#T)baN!KkqvPPf{ii*lE@Pe2aRajV9i!WRcBf@_hOmKEN z)|`W>h3kuwnBGT_KzW**>lq+2`ck_Ag+lXQ(o{1AC>*4*T5d5hF+t!00tISNp85as z{5o(>Ktu+fj^*I;f5P>iffpcU^Y*P29AZK){tPv%L8@>O3n{H(?hpC{(t>jA;dcc0Q>|8Yei%e8ht``{RCoPlCbdz09g*Oi z%0_V8xSr>8q1)SgfW960``lF1SGj-Xd3=hmv&_U2=g7|=e5=Fyv!$lxNLSPU&%eV0 a`(a}C@!V@O2iH;X&m}EG%?fq92mc3C`qYmA literal 0 HcmV?d00001 diff --git a/tikz/agent-environment-diagram-mdp/agent-environment-diagram-mdp.tex b/tikz/agent-environment-diagram-mdp/agent-environment-diagram-mdp.tex index c8b4e03..8565089 100644 --- a/tikz/agent-environment-diagram-mdp/agent-environment-diagram-mdp.tex +++ b/tikz/agent-environment-diagram-mdp/agent-environment-diagram-mdp.tex @@ -1,15 +1,16 @@ \documentclass[varwidth=true, border=2pt]{standalone} \usepackage{tikz} -\usetikzlibrary{shapes,snakes,shapes.geometric,positioning} +\usetikzlibrary{shapes,snakes,shapes.geometric,positioning,decorations.text} \begin{document} +\tikzstyle{arrow}=[bend left,->,very thick, line cap=round] \begin{tikzpicture}[node distance=2cm] \node[ellipse,draw,minimum width=80pt,minimum height=20pt,fill=gray!5] (a) {Agent}; \node[ellipse,draw,minimum width=80pt,minimum height=20pt,fill=gray!5,below of=a] (u) {Umwelt}; % Arrows - \draw[bend left,->,very thick] (a.east) to node [auto] {Aktion $a_k$} (u.east); - \draw[bend left,->,very thick] (u.west) to node [auto] {Zustand $x_k$} (a.west); + \draw[arrow,postaction={decorate,decoration={text along path,raise=0.08cm,text align=center,text={Aktion {$a_k$}}}}] (a.east) to node {} (u.east); + \draw[arrow,postaction={decorate,decoration={text along path,raise=0.08cm,text align=center,text={Zustand {$x_k$}}}}] (u.west) to node {} (a.west); \end{tikzpicture} \end{document} diff --git a/tikz/agent-environment-diagram-pomdp/Makefile b/tikz/agent-environment-diagram-pomdp/Makefile index f97b6e5..3ee3c11 100644 --- a/tikz/agent-environment-diagram-pomdp/Makefile +++ b/tikz/agent-environment-diagram-pomdp/Makefile @@ -1,7 +1,7 @@ SOURCE = agent-environment-diagram-pomdp DELAY = 80 DENSITY = 300 -WIDTH = 512 +WIDTH = 256 make: pdflatex $(SOURCE).tex -output-format=pdf diff --git a/tikz/agent-environment-diagram-pomdp/agent-environment-diagram-pomdp.png b/tikz/agent-environment-diagram-pomdp/agent-environment-diagram-pomdp.png index 2ee14ff6f554e1822760ac698dcb3b8aecb7c397..c5be60cffdf082e16b774d5e03d261f0c95cf371 100644 GIT binary patch literal 12879 zcmcIrg;$i_*PQ`riJ`l@5u}?zKnaoVlI~9FSB92Qx|NiWZjcla5Gm;aq`Q&)uIu|7 zeylYPAoI+<_c>>ubN1d7{Zd^C7n>3r0)gPFD8pYtAW-lvWE2w}{5!t6Knk87dCIG3 zV}h?B%-0C;GnSjOfhPoldi3uB{k{IY5B!qCOHtoT%hkrq*TTaZ;_K_nYwzOdX=UMN z&Fku6n{^;b34zcz?sXQqY%os}be7Jft^bzv> zNyd*qH&Pn8o*NR@OJZW1Qp=aYuFz;WW0Ep6;s5687glKyPv{@p0#wV;tpV%D1T@6N z#Dui8x#s-jJ=&Z)elK6Xj4NdS%A3X|UowGaP&xfl@_vRgp7one9a>V0#wsCQ6MyRfvhY2Lec=9oA* z6It;WvrlrlKefTgJ_pGR+y?sGPQ?sB}pF3vJ#aEOXuf(uYxNK_2 zGOE|TwYBxSe%47EH5KKrEDU+lbDnw&|A?|h86FxN7WeJjx3Hw7Bn4tc3ZzHNs<(KK zGzW*uRJECmnu9}mf$MT-K}W#(t4|+4zDrM6Ha5<#wmu}7nwlaeA<=yGO5WXF;P2nR z9~KrCt``=Jm4bt%bt|UOwace=Qb=RhU;6w1Wk3?U5!YPnUUw^ThK?%YzJ@3e5)sv% z2i#fXMKSRR2?>b`3TnN7|DGf>DG4@LqCt0kvA=tX?`x}RVxs2a!rRi)k}c}qlbMpD z6}a`2!PeWm!Q|5`5^&IOSXfx*bJRC2=rL+;3^!!uI74xi(9UM;gwohpSrhb#S&XV@ z1|QQ(>gVL-&`7`j_73^uhw3XWEzPn&)}1e(zjz_$@dq;skH+D5N1*RW=bM{so4OXT zfrF=%@w=6}yS|8}@ZOo)Yo?RY+wIb@&)~4IR#sL-z{z%IWMq_ou^N14V{1$G7MJRo zzJ7YO^&SlD$L$Cycd<8XwcPISxqg3lV}gr|`$;&y9cGe^U zfiQaphcA?m+x_D0ID57KXDG#LAfBpZd$Fyl+B(J0{7J^|R_}^hn-R*14?ISD!dWBw zW@Zltii-V8-3(^KGbTyc`792|lji1Tqobh` zXn)`{Gi?cZ2(HkrSWM2!y5X(Cnw7AV=Y)Li?(6Hj0WaknOrWXAlYSGh(Cog3iH9fs zkd*9_II;bw?XYugEm5ZGdNr2svwDfAr-jAJ14JT-C#!mU2%Dapm35=*F?w%D1Uha^ z=V9l~DywRGzW6+K3p4*q;{RwQe2zAomTc`HiL_bi)52V35v7{1mOChg7YS7{1 z;oYw*;7bv|x!G^RP*PO?(2({>*V@qpt?nlV0 z>0l-bB>0FR;tbU>eZ_tp6A`}S4S2HT@Uv$x3{;h*f=hI91mnUQ>iH1A|5H zqVMwE?_#wql${j}{U#S0GP59or%#`LHfkE3S*^F2sWQ1e>c#IQEz;sAf82h5y*tj= zd9}(1(yvP?(hP$*tQexLqN2jJ@gpPU?uX!5BwAsT>qzF)_R~=ba45P}#@mkWb2au8 ztY)!4w-*9-D_cWu*XXvvYm7pVPHB-!k0yzdQ&a1=s@e`H9|mRa1^Q-c{ZM23!=Du~ zFfm08^L1tOb=@Wd2+H%ui|UnAS69zk+w+kCn2|n0wlq94G_(?dFWrn>YZKHnd(#jw zUZ}Vo9Ubi$#PhwR@HSMK+0$OW1+><|KaX3 z0|af`jq6f-#^q9A;^)uY;NGi0e~#_YK>7Z;B7h_iAm}lLM<>I4o`1fzT@xOnh-$k(a(gqK;;ZDS*Fz@qwE`NGP>PDY5WXncv^_v~h=qpsSUr_Va0@ zy@i$(l@!*evk7I_7Qwv#9R?`P|5^(ythSn8UXEGl(=P+XNeT({T}S9+sJDyGV{b#*zhu&}=W`t;)c z$%)7M?=My{Qw}=00XrNl5)wvV^tsgrmpq1fzH4bnO`Z9J8-<;JyUrJ4e;pj#U)VP| z$OW>`Wg-|<5bS&qnFE_M-;F{*fIol!{JW;v@?nl5JudWFJmu5xGf({D%gZ^z2FAC& zAk56n{5C(xrz?%3hF&|=J#6NMfO1q4@^BA%gn=RGwe?c>v%Z|ZKDoWUJ$d{yQf~e3 zH+kPJ={jlP&Iy~I zLGeP7>;8>EV5;T&+(D)9&a}$Q%k`VxEVPVXz9jHz%NditiIX^Nuj{`*K0XG~PmPCR zSa~Hf?__hR1l%dFF%_4O|fQ{}}MS|#chLX>5dmCi|8Zr!0!o=$~IU8^tp z;-|LPX#W2G;%KD0hAdB4FLC;*jS_XMG{2|5Go)HPMW&za7!kJ5@;k0_fm3m@h~?F zx3;#_)7nZ)5j;kX*;C5f)piYYl#v>;PmTzV!d+Qf-ERBQ%^|^9x9H8dn7>)#AB%QX+F# z*58Zow*Fo(IVtHYC`I$xzF))9goJL}+bLYC;g{N$&d$ygM@%n&H#m|ZQmuw5vuIHR z{;KBVt@2@aKR$yFK&@bNm)`jt2{SHD5}RXrW~Q2&D@4$auvsUY#a8e3tJT=OxrT}n z>Nh4PG@$i>w1c$Gmh`W+&x?zDEdBQn(ZBq*8O!@_XM0U^fRBS5avxX39`xA$#Q8 zx5+s@mc$H{X;vJ){oGP714<<@9F*TN+(u!$NlKI-8Ml(>9;|tWTdl zCHgzXpsOkMCfe1sPGPw2c z*f2T?w<uxI&kfbtq~vWb6cru581it}!K$8J zYCjghdmI8nZNABMv$AQaeC~^tQstt{gPy(pb`~PALeP&yfW`#pBZCdrLgX)8PweYh z6h8t#v~ixcN206$9g@F$_m1DFXnaA)?k9b39EG4In_A|_=xD5FAvY=P*#6ZjnEn^f z%~5pZe0X@cUf5y#k#`v;syRWAhIQwluO>K$008v4tu*GPX-94Y163_#h zAvoIdBpM%DxE1;;veAD*eg7a$FsZ&aA!boTfLn2 z-Ed^Z!1;Lh1@Ha69WoOH_G0O{U6rb`GQVoJsDRh))p1g96h0d>GyMeqH7+QO+1b>> zu1gC?>uF}Xn;RQ*-r^?e?(WB6!?k$qTb4-!jGP3hs*q`sDkY)s9%9Igmswb;(8>vk z5@-cXv$`U5dG*sugbaJA4q}f>33fl-$x2G@Ij%^y_{U4U4i{Yk)SM6h8vpS$6CZ<@ zy1JwR9ZNG$(3#asQs{!O!lVK(nj4*FE$8ZN6YClqr$3L|U67KIg}5}$i~Ksr4+^A4 zL1#Kxw5Q!aM0rs0=TLBau zbS5TAsi{I=x4rOYw!K!s?4lD-F2Lw_b+iHlQDzncHe17EIm+Hgg#&_h~=h})o zj&sDhXabc?P;N9wdllL^blA#gFKeT%J!uUFf?2#Mt9v#w(YSc(Z4%uK+DN83kr z{&+R)1fwuizHe_TC0oMc8*^loqi~P1A7OJeZ~3bQ8shGVZZG6>LmzMLZuh?I2N~Fq zEJ_%AWRY@LdV0E?g@uIyZ`!V9+AvAw%x(h%14HKIq&65*!a*e=10DBkWmQ#Xaq-Ob zbaFr=H})+4mP$in6UvfkTtws z3t9)Q^Yim4@JAj5&*~-+%?Ywd)IO;jrqzcxjawB$$VY`~H%}QyOx6u9_PtsoP|~B7 z&(ERq&>!;Tir3>#vJ^^#*+REisP7^X0jk*e_=iM*Z7H8}AOdVl_QZCa4l#>yrLJRx zVWn=-xLt2gPijpKe?MSD3X6(#z<$bWYHISgw(R1;v<+ScHZe&VUpyrGkNQZhUUp~z z&2rWwH}RZ{xjDnAMHdXW_i1VKJfyKjRaNR`RaHLV!sQheI;62^QN1f3LWQ~&BMuF7 zA77Pyr@>RQ2aR|l7{X*22i8Bu54(tv9kAS^{+@0Qrl~1#m!dsxd_ZYNxe{4@=zxr` z?f>FeGh+{(fepMnq>@>Naw|&S2EaZ3!w7@L&nG}L{6ek=@~{+)+ms_wuw0C1CM5eK z2ZbSwjEr7j6;@9&cBC%s^Vb!2ax=^2}!qyOF-A#7FXJrK6kzA3s zT$sJcu2y4lIs&Xcg$30^h9@@{XjPvKZtkcoWCa*#uS?!Amcf6yo60WqTGy*~-{@Pl z1sc{25=8$*M0ZPIDjtzDcFmc=7MHRJwAh}nEt}^lb0&FZuLvy<&iK`{F~vnR_2qI={S_eF{d7c_H^@sip50U?K;(1DM*}k0lAb0yy zvUO1C6a1H^I^)6igZ)(JPb(>u72-3L8WMrwRe4dlj_7n=jq}!zIdRaH@jv$~8jW+E zXi0O!DRcy672b(*jK_MW3JVh$Mh(@nXMUITd*(joZ1MuCihZb8Pqz_t2YBUOF&`H5 zLm+$sLF$DqZC+Mn-`JA8(7NOoCV2ZEr)MoQty0j+oh8^Z-J+qCZ?@6E=Jz&Q20oFF zKRr>+7*3HN8I`iM#Hyob=hW> zCDb707wbo?tBh|F;e`4@8b(aH2{tlmc71OC9F_xn)rilEu092ECIdlpmq(t74-eC$ z!qI(s{#fp=O;r?bG?s{V+$7~b!Hhoc$W5p2B=z~-v1RW7j%q-b}wI`3S zWZ>NkO_=yS(`9{knO}sAl&$w2RPqVqkI=P4IcWDC`V=bZ7s50kW{fe&rI}`DQPU%W zJzgnDQ17m~U z^FalLswpWjU&#pb$Tm{&CFmX_Pk;6=5frzbK^7M8wWQz6GagI($G;f+xun)zhiIp8 z$Va)Fw7O{$njzoQZjD7zb}`Pa2#>lfVr< z8}jcA2J9JKBtPL&JoyuCCgZKUOig7vh{~AUi<=?2gHM0O+-&hV6(Ya6DuNAahKbtuSRhq9vNK&A}WVagRDt&Z?r zQGxo(h>f8`f)0oXKEr^52fFMpt>2-|n?`K6)L};`-129bovy~!ia$`U(9#$-#K+!Z zUlk2*D#6GUTA?oju=5xW{(ho$HiQ>s@6OGJ5LoWCPvHFL*Gp9Mu5l_@a-6{c+ zqM}h$<-Tpe?<-V84!c~=Wa|~pTeLV2cq?A?czI_(XO{n5K zAb8RsQgcInvoX;*lCR)3iRlNcY0bF^fVUJ)FJ9Zhr&2r;g`sh12RL2Rg*oju8Q#90oxhgru9? z74z3PZ75B1WyIzYHA?9_iZJFdjX)^~0sb99iADJ|r=y!MY^lq5=-F87Qm@&_4| zpvl=DzZcLrIdY8oVdq9DjQOLS=tC;gTWCSOYASouBSsF|-CXQ^KK^QVDUu{=TWUrv zHxf(ijtSI__D>M?iTmEeV#4F@Hj{81g7tUe*=wqd+Z)V*p99gm4Z_ImByfZw&1hE= zo597rn69&s(WkoO^vMwc1E|dvP!%+KEUyLZZk6G(jv4z9>|1h6%A;qlm}@*}M>Lk4 zy%XitN^q=Tv_0pBu6aC=>dZggxk6tVc8)*zBv{4OpVjUQwLg8NALVBD8U6?Zje$Fl zGIA3cu6xs@$1TT*1z+G38$0g8wxABdvN*d*vQfy#5|H}c`r)ma8`i3YS(q}+=g#0F zOU2WA(sTV;n({4;?~`|zQgg{Lt?(!U1*=a}c`ys+$NK0Kw^n@TU$_aQMci#4U8u$g zl3r;fjwK<|HmACA5!^<>BLtbtd-x2&pG)rKBGR$7?fe;-lVushHpp^pW2)Uym%cL|4>ldCqxGf8BV6Rn}`yV%rG{OG}9ZVp>(U-p?-!@7Ek zoI}<;(#foom4j4t*J@ELs4vBqv>_?5#k&#$(vj)+>Ua|#?IHQ@Vw1xjD$JdhZfj2l zOJ4aQM=;csZm{qcjicP$z19w(kxXwf303k1YTa8NvIEgDQNzS&^GcX*GjxRXFiuoG zspH(Dv_k`1m7hg_tUxHG_G^WjUF(0~wPGkN-&W}6LL4ClF-5*DH`YCfAaKqs^sv~I zykK3$Ej!g_;^)SgoaVxebfMvXM`OCT5ajm2-Sh3jol-&-vSZ)AjyK3433Sc^%(m_p zaA}Vu+h-9W$I?IpZi(2%Pgkx?zweq`7M$W0Ok`NM3k+w+z$sP;U+s zsl{UXt2UKYX-8;;dn7aH^j#9#p9k#J#2O>^v@6V9Y=K09@<(r0i+8$ce5+Er6_VpZtkt>bLRVR%$a!+s);_n1q&C?gA+elLruEYmJyV;boBL0X^86$ z-#qJwGZV_!>D%E6-J2Eh1K9=vl9U?AH+g>Qs)5gR{JO|g?+k5owTl7m?z}I_#83fRuJm7bDV3sN`E7Nom zrUG+O$;7r7X0~BvqhZmwHcIi^w{HtGGczUYW^b7+5w`G;y;Ry`e;^Q8_dhQ{)%ohv zJ>F)8xd(jFsb*=Irl6ISJjLyQjo3{uj&1rDIWuu7N?>JQr7=3!OVUKK6;d@~AotIW zl(0kOW8H34r|g8@05y+Kfc!D4F|Qsa0R=JfM|>O{t@DG$tUrHVJO2}teGiuk{)qyE zgG3}GQ)eZ*zGfQZKm#c50s|}fV&~;;+*n^X031Cv5Ds_&cRR7|R5QO%8viV1*G)7b zEiH|%c7DGFv8UNmA0%)^mG(3H+?Kb8#81Yu-7Fe2DFnKOv4G>G@FU3EznC7>I|%}< zz)Msm3AbDk0^M;!_{zJ3rS&-IlZf!}Cu?hK)j#co6u^2tl$8;k8hO&jLC5{AadB}+ z_4Pu|hK7`Yc8-kl4Vbd+>UL;IPD}eIa06wb3g|b}xj>Zm*_q_{1PBqlR3HiW0@ki= zXLlE$iBpLzXS04WOfM7zwsxNeTdMYDqCE?tf7|*1mt?|$Nkw+i7e8wISCGk(UG`$d zT?B7`Wy^2dAXD&itLt7eNYX~Ju(2gh*ac+WJ`CLY1An54-m{Ux>sRLu?8vTe!S#2AO&(hQW1V9+=~xn}22 zIaK3fV?U=Bb<1~{EY*YoQO^Dd5V6s*y8_XsK|tKX6%!K!OmejaP?4uF@TlDkxj%3= z7mf^dl84(kdg zM>z%E&8exWMkIqU_ka(^r=p~sW_aZuNQGM{lAKWE+n_gosS@e2Lt51dB$>yU3YLUD2CH~{Z^n>7 zG~W*BxGx4=#1&BW(3ahLag%0eXCI-V6000Am#1_b$AQ`EY(|YvD|eU6 z)xX>Q>!w_q9)|6N?(u1|EUwT-bZURV*>;jck0B}b%9K5{uvArw5{h%dt2+Vu2m?Km- z@A7=po@HWLzQ`11e#@BS=sdrL&_93vbeVxnQh2!Clo?Ept4gH7qGtm--9{|&vi>_fl+e%%;;#M$T$LtXIS%mL~I2_HrL z02*dVjuiq@@gPfnQ>FB}9pwtQr+3VCt5bd5mJJ_fjdp~Q?_0574)$|d-LjDx5(Kns zj>W$#7*~6BV}1uMo8aAx0SIv$)+6GnvZC?4 zV5n#eO+jR%z93lAqo=*Mo&b7ht@+pRgTFD7IN-8iaW#RyH=2bNx|N0X^{GJG_Wkl& zhOT1jxwba3<4n~$NJob+`|%=6$j+OC(|B_lBv@F@Scc%HGN7az5Dapdj1`Ae@olO- z7@fB?{d9p4ddV`h?d$FN!6P`-s4$FNvkEx0rxwfuUG6gV1X;#}{vM_uM5a2_8wLNx}Fv3RiP|69ax9 zl<3|F?dA9`QP|c!{lxVWIzc(}0#^5G{7OYUFysIl`i<0!Fu$tG#XKOO zHL-tN9Mo07m#-`Z9$MdBpZ~~{$phjc05}o1!;Z_7`Wg z99$vLtebCiUYqH9;J9y~m_3K~?Sb8S} z1G!AFB&gQ_L87)NN<4uo*}!kyxN){Up{=d`E;Th0oZE8en}14UOiUGGY};5~UVdx2 zt80_omWuIE(G{L(4tXa#EDj;$J8`5;iTd#211C5Nz6X%psh>Z8u5)?Vsi;o9Tn_0{ z3k0T_)bS!EE*%{mHRmzO)41gH^wOZ)<3TlNP@1vxon~u4mF)v{=@saoQUS$X+<3e; z$OXJ3cCm+7`>rAL_0pajs@5RJcp4uLAMUG@GcwA6p3v{mz}e8y0K5|>ZH@iG0Isxw z87MfA+`39#J4RWd?^o zT3=s}qm$`Wq(bCIWM#RuMuTn*NUNx!h3u2l)3uiU*u;u`gTU4np2XDu#?;hw^kjWF zL)6_8hXUw$BVcUjMpF=}z4+4h< ziW~6Kfr@c+dAJFDM9$YnbvC#n%R#4N>-far&_uxzJ-tuL+-tw8gVmq`Pe~%UhV3M< zB&?2IK{Khgz?`u*>ByMlu^nt;y+oWK7)O&bhf=GM&`cpi&7KNQtrrqV*X zkHN*$T)OTqo`Y`I(I8lO#>AHf=tkOlO>}cLjx)T^;&*NdPC@a8QBr;f?keEb0mjOI z8a()6w$YjDpP)6-+4~k3sFB$dB^pg)8Y(JStSQ^s%Tujsbphu)qc;pD-M4>FcN>A( zamn(_mG`=-28s&w<*Qe9*a{>Oip}Nu5W8jT;Y8s5F#>W2&+rGH zwxGS=UkdIC;|NJf2Y?WkA>v94Di9FMvF}Z|~lh#iy-%p^v*iRJeIQ_0!Df(B&S97#2rF+e+ zpuyOvz$K>#98O&OD^YZK&SUh`H1>9O$kQ>I&6~q6rApn?ShL%30jq)f+3Lo|4*MHA|le%KmSx%m^7+)+|sUKVp~~7#r}G4G*1M)OL1du?GrE@bp$pgG&n4EI?oFO zm6%-6Ms2^sTFApEzL;RFO$2(?* z#avlk2xJaajFy6e0#DkI+vD_q4cTux+{olAYq0X~DH_uDU3dt!$QLpGpM8ptupi zh=@+}K%aUKN{ym4u=IU7I4=8W3&xQ_D%W<+CSZmVFPUih4Bp4}EEHo|O+yQk8wV_; zmnq^oF2C#TC*(mwzz$qJe>?2GWQioo-ob0Ge`(E+gU4SI~&mV?&a#}pJ4o2tJVwoQSF;AFpPxmCB? z)WjRv9fqEx-qZz_A8~zs-EejkwM68vl$SLL#Qt3?E31%okCrD|T3QjnW!PE+4&lE9 za)I!7?+DC>*`UC~1LD^9=3>9`e0N5VMk-(u?N7$Y#uz6TmkjEygjfMt5;k%(=~3Ks z6_pm~6@J85f+T?Vv|=8w{{UBw1G%_Y=`u_6k%)t%qnOtg0k~Qd0D_Jk(BARZ%{qZP zw49cj8f4!z-}KAhdJToP3?lxPvYDLxLvpeQ5I8$glo9dqQ~%~KK@emJU@p)fE!r9S{(p{BVD#F!Ae`@{1Qmdex@3 zxR#EM_-gie4{H#skF4AkLDHuY@&JW2mwrpCsfYiFH=8w^c=-0um}*k^wKq6i@w zxV|aT^kf7&^86D0)6aRw*~G8jzm`STb~un~41o)O>! zCnuz!Q1S8-0$c@LQ4vN$qUfs<`U;>4ke@+BXzS?#EK&hZbOqNH~;?U zQTGs~_9>aL*Q%Hz>E?*-_xM;?xJrJ+RJfrK?HZysCeImqpu*m>^bXSJD3oamz;*~E zWtwh9JccFk0QADb}y~7fDSH6N#n{Xhxb5g1}00P5&Lp& zP8M--O5ZF%g@8qIsh8Ak2Lr<{9S(Ev5Hb=X5C{_WdnykR2u%19QIC%ce?H+|W`%Fq zUdrlv`0y2o|0D)}CwO|#*b9Ncn@7Jetm{WR5eNi>_gy3JNA7msevdtE5q^GtLXK|E zUN(=P+6uXQ+GlRbF(MG`2z8a)dj9V=XZ-y2Y)^M~xBn$erbPTKh#=)eg{olC=zLD> zA^dC7QMXxKQEr=d*U!-QV%21{n(w1|Gj9y4@g8Ouo$=?gKKeUC&iS-re zDkrC;Pv@-nNbuPIkoFq5?v;Hew;4*VjL#AA|NVn9OlutxLGICsYlOjLg|VS@-(Ond zyqT-TmCp(xlGz{i=g$)_cJh0qk;-4ku^1Cn>$?|s)6&w;tPSX**szpDbx8H1#tfrE zgfZk6)Hqb+)iK#sdh_v2uv|kAl}t-UCP&@s>&4O^7|Udp>+@23o(3vJ53Fd6t{()X ze5byzuD)w3@J7ee^XB*O-#Ie-KlsUHofZ^aZ=G?IvVZb~{$D`rjXh4%XsoRAwHw@m zf(gHVJ;V%CNVc3hnUYqlV(-V^de)#k`ef?{F#;L z*r!}1{k(257yk8b`q61snb5uXU4)((w{U3Hd92(VWz(G)rIjT!G4;{a+4mN6L1E#d zw~V^BHqYL3FT;lql^;Lm5K4>t^yyPqZ)0QQW$W{!H`}wVQ-1Ru7@l5U{b5S%4&sa& zeRlg59c{mV|IX>@?X5@1b}8c31xYE3v#28?Vzec5rG9oVJSDC)DZ79*e}qSPpsr5f zy)`ZUv<g(LlC*N=;48!RAzbVbIxOtp1@|NLm{iM{>M2Ti83#f0auPV;8pDw}RnNtbb* zM!WuuJ4} ztVxA7D?hSY??jW6nTFs!h+&cox(;vBbl5HRu4l}YjHTx@-;qQb2DiTdi- z1g3t~d{N87Awj=JvpHRs1~&C|jgft8|}JFeo$m@{)#ME{;xEXsYE|&4hK;MkxyQ*7V`S zn`Fln5>B^c?Cw$`I5G@`VUu5VEi_E89~{D&HXkA5gzhtlT1WVFgkrqyw<}wu;^Czx ztnye?r4=-xekbK_G1!yJpI}hplhnPK{>aGa_(ml&z7tC!IeNbv9&}8=HY{R>b=bm5 zN+qz!NL$Qp3g$qZO7=WOdQ_dqtuRV@dkTCdsw|k3(N%F5CZEyXvXV11VERoBy z@Xx{A&hEo#6+r@M%KpKarI_<*>F;Oz z%d5n=U6S=v7u5qRnHbcLEIAI+=(AaP_bNL(ICE~B&FgT&-fO>KN;aB|O=#p4sg82q z9{y|B79CqHLRQWFW^9|6-kA0|Iy#zkU#EOMuwt{^m!4PjsF0S1hQ_sTV4$659OYxi zDGK-eTvau`d3Yv3+Z*)g!vpmucxKJm+3=97%L`De`==t}R9?${1T$U(@?7xgoTZhO zD~ekMJ`XtC7-~tCVwQh6h-arIC-2QjjG2jfevM}+T6yP{*lBg|yy8a;#kHU72gJ;` zbk=pSf99)^&1}}sxrt`>w}R05WKOu0mzI{AeSk*^RwoH1_Yo^7D3E)Tp8l-2)VPKj zG+|UGn|psqTT%4sywVSub%D0aQ|GcSijf90A-9&@ugUr)27U%4S75C-SulE`g&3+Z53(Pgow_6R@$um>}0%UT6 zPaS*yd`}tp{_Wd1Ch<@7blfs{1b<_p|=<|;vI_FmP5i%Iv;AA<^uexEUOHC}3K zSgJ|1SD&Pti}VGUKo-AgkLcB!0fpY4zP|Gw*p+M+#Dp}u zYZvF|UU8{PYwdW-JMudEtgNh{QTe0kA?xl|obcO{u9GS`3PEtL@hq~mq3L4wtRC(1 z&ksf1rf+d;XZL9cw|++H=KJq`=XtgeN%yqTES_09S%()}NmrL5gZw z*RqJqxJdBnYGGG5lY|pB0|Ns{+{>Jh%k(kJkSsOUXA$*t!I=wP(ffb%lUQd#^V*kw z#|hgFBJUnw1Pe9&MRqBg*1NezXcs+`Sud@5d&|Q*YH0Pmd9*6#m^~j6f$uz0Jdy!V zm@VVKV^wx%un#WS3u2Hi_v|Ku-?042-=BH^HYQSh)<;L0v>hF9NJ~qb`Hbkxo$quZ z0_C}z1^~ZYw7hP|JCO z@geO8vfb*ZW>|U0WLO7V(Asc6s?+M5+xJLCm6EG#xTMVY>fL6>t8F#12s+MB_9xnc zWUr|u%C)$GX&-lyv6HR7lwnFo`ECLx;`yT(_<2=_9pN3T z>gwu(r)QN`otXFU-){hgDJg}ZC6tjw#Ai*S^AcXkGz< zKOh<9)tjSbrd37)atFhYBrHOPQM&KIrAmxKq-3&KRwkBjU73whVxMd~2u-*Aa(DY?u?IYwF2;K2~IGMv-TTsFZE(zo3C=w>4wm=XO zY5nZ=$vXb_vzcxG-7j>~Cx24D_w_y5`}6(5yIZd^-I|JeKHAkVK-iT}kXz+4^|4Gf zK^1A*7Wk}V`$)~MJb;ou&sGk3lFW@5q@2dr!)y-2w8GmVeM%szzLUrz8_$}g7I!Re zXknpcY;0T>sn`J`MuJkn90C1%(aFBQGGGs(7zinu+}^iq=VxsabPl6QE-SnoPUlFZ?<`57c}y+ymi>|KGf5 zqZ+&Zg-26uQ&Li{D*U!*lS05{7jdVkH~-D}hV~*B7PAX;J~Av`D?iGr`-h7joh(GN6_-Mm zFzvsXVCM0KreVhI!-Mos+49dxEj{qUZy#<>b%Wsjoo*B(q7%9fPJZVyC+Lu&qV= zJDUC{k2|6>Zf|~oY-MV+-2Ay8L_KkBr)woTL(vRuGTwic!0y5I{G5W?8XDeC)YyA{ z=SmazcoORl|3J)ev%mqOfFX0CG4kBfH~oiL15s&Wp>tBkp~#68Q0`>4}A>eOchFM#ISz95n9Vck1z9RCaR{0`tip(3%Y%^mVy;^FtGp zo?`uyw~8SO;71msnB0EK^hHn*<32mvtj9{>(H4TQHc@i?K;PHqzjT8T4@2d0#Rg3< z246r#Y?4gSakj8jud|QEO!VBuWU@;&f7kEoxLYw999lrWg>b6#d9| z4&sgz7=^W>Oe!b417FhK`C);4-+&(z?|w#4|2)DqX*s^HuaCz?a;gZ{snxig;Y@5$ za`5>YHK!^>UYF-553*$H9FDeTq9Oa`e%?Bpq)TNy((T-_{i$~>->!>V@a=U3^1TuE zI~EHCDx*`?m?I+LJ=!Sx9%}AG8tQ`7CSta_LxXl3{$dzxMU9{G<8mojqQw+t=Dg9kmMgKU#_0@`W^}$+^7otF+TF@2{aDrd_VPa(n)A z0w%RF5YxN~ygXUqsF^r-1)~y&x-Rjw_F{ciPtTH`rIPuZ^xiV(D-Z)pb78A%PCw%6 zI#!3Sc-{eo{`3+~dXp3OIp!;Z{&&y4nr8%zt0N+b=-z~!ETv_?c=6)?dAr?Vzw9j|{A<;Fg^3uq`)A%A ztTZ!E_0!zj;ocB<-C1Uc(LOucwqNQ=6)>M?I6vPK5OSAlqlu z_~W~G%x6#q`1|X9+^FbFC#W$P)j82X6rb<6`}@m#CMh@Z)q_*a@XktcVd3qNj`|LT zgs#$F%g~UBv@1kQ!D9hs^g*k9B$mKr4{bV~^ZL`DNrF|p{i!29K7Jvf^|B8N4!&73 zKE)ej6*-Rc9bq>hBL8);Ius2t4U_^tK~cwgf4SdfvNjfis!%e%~Zw}(+ zkkna1k;V|Qj!62tz*-`S+72f$BKtQc$()A+nu?Uc@v+8wi!~hF+;sd{g-etNVxnMh z9?}Xq6=?%2y-*^tu?3?>0$G>V)?{6YC+`)urO?}wqgu+t8)AXE)=mQ-g zLP-x`2;n9AcD?quRjOM$L{twA4V|U;FI&J<)QqkB$Yg1S`1<;a$jVL)=iR}3-kr#j zP-as18+445pFgg&R3M?tJ@zs$^DFl9ZR;doe3>?t2_^eXg&QVQf!86>!O zioRG+EFPWJH_U7u1h=*VWL)ed4Ug41k8~5cG zuEYDG)rYXVUsm?tM=5i}&2861)DSo5Kn%ZyPq>g`j&J%_SX7LycHLo!SGD;D6)-3l z>Q;=cLmU*`K4)lb?6?!qiW~YLrGT)o6vUzC?Bwj^_HTQnBk6r)ag0B3J&LrLAKq#xYze&GGq_ zkCH@MWN0H}H)jO-fi+%_4o|f{{GuXfoG6Y}d+QfAJLUH;sOyM=Q_Gk|iYa39?G!r# z4wGE67=x>$(Oa|}zt!!L{RppGlDqgEiAfB+%2^$fj?8i7yAC*OXOFb{7v6DVs8faB zqqfg=J0psf-K-!_aJ+pyi2KKZA;y6bZ2?5(>`t8fk>s4gUxM9L9cUxTm6;1GbVkw? z*zclOrDiZZ{GG$9>T4A~$7fMdDwfNmaQK;GpzSv0D(xMJk2vWccpuNzGk)bzX^9iZ zq7UOR!R2Jk0c%Y0j;W^QUI}}|Jp_@>oA+#?ACeAS$G@= zJ=kUcQ6ak%L-a21Zs46SEG43MC<*=kIxvpf02i0deo2Z(qRJf;1ZJg%7Qh%<=+to#~r`*V*k;2?HB016m ztmU01Yj(vJ7sSJ`&5mXi0T<)cNJkf{xLBg2lH0$3Ef`A<=|L63GMd5`Tum`d!;;od0+0kx5EdN?eE)2W!_>mqMatf+Fojb{`1*KI zwHVy_YK7S(u62u`49n?5HTez_WaCxL*7Z}C=6USIeZ6D)Yl+n}(x^BTVrP<|#lmMl zY(^;)SI$oP)+_E%%v?-Vft|q$1}mlljvLP996`&Esy(c;jCmhMnJBG}g9LI7WN*Cj z8`4l^@s<~Fmudr8?<5to;JkhM+LaC?Wa)Sy&pfnu&Ho4fpWIW?+6tRY+LEd>L?5x@ z?D)3|Dhem$m~`@DLY`&5%B$m2(O#O2yBsRN`QnVrw-Y`_VS4G%#Trt$N-9v!d90sqC#jKR~5Xno`txzCRuvJB)zI??^gb5jtd8*$HVQs}rF$};jsjEPsK z$N5Orhi?}#N4{BLWG*#NsaN>bQinx5@pUCJMpV8+^8spO)U^9!ddCEc$w>gi_p@9Y z<~czFwU1i!J;hK$_(95XE~6BQjC0V zBzc?Yw3rhrV=wtSyMv^|Qfuc{fSzUDVp)*G;7c7G9Up^v^e& zLhVB%QOXLRV)*1e>KVJFp z*7Y*%e!Ox=!`lO@u8K#kSkn&k?WnbnQo8xqwuri)6FkLlsD5+gEA1q75vLP*NQZi| z@M5R!F0-ZUpx^?%GRjGcr+97Ke0Z*jBc5aO_G(nV3xC9|;6n0?MEQqF7sA+EWWx4H zq1X4N18!Dj6=xyTFxU_k5o2@VGHmjA)KQD3B!SeIjr?|V^*Sq8WgWRD7VC2JEW>AK zOgpUl19cIW?i7_2{s;%6bNO>ID*qS763N}ym_~Fjt9Cq2k*8wb5>7hdYx6=|_D{yTj+6eYY>L=Ct*%KG@mU73^Gw6uMnQr6WR5TUv%^ zv4Uxezb+g)tJ*<98IQ+EZoBp3KsFF5zk=)57Iv*TIjIU9PQ~KSzez{Kc#Yvl`C3Ke`c07bh zuC}lOaxZWELy;X|4zsZp+oh*Pvy~iin#bSQTQ)Flk1l3$V4tk-{IOfK{VhsR#eJEA zLdmwY%5dh@CDBO5UV_ThR#LZx-WArT3NeO}C;P5-o054MzMiq%LEYCr_Gq3$J8Y-N z=1tO3i;t*C#bgr%ErWEJi8gXS*mN(lKImMnwmHj2Un&kum!IOWqr8SV^hQDs7F`PL zLaIHTEOuD>iBO&^WlrnO(U#2t%DQ1PY>E#yFaE5(uTsM}5A9jTr4m$`ieekm)qhZ> zsEC|IwW^dPuE{i}c z(FcNZeq0uPu~lu|ko*PF_0znzT;ZIK^-P^Qp?%#f5oa$+K2el*@(^=WAmOWT)&u$@ z!rY0=PI@^7N!G!$N_7*aw*tztDD=xNvAZoBSmVTWw~MS)x%UtVwmCEla2jb6!QZ0k zM6KG0%3jUtYG)%oo3ZsH zePq^peep*g@9^n$r=3>j$<(#P+!tE&6w=QW=|c%z8Qr{~YLuZ+W;PFsp8ODTR92RM zn2Or($JS#DYl>Ggf8D4PRNAIoH^xT9q?W_<`P1M)PMyz&a|}_^tA*~hi-Ad`6Edg7 zrrk>?=r`j7n=!<=j{cuqnTxO{&WNTdQBR#%^*>#!dfmPgD2_1GB+)l6!)(HPr$_n4 zrk6@10wNz%EDiNOFvh+wSASmYrz&SqcOgcS=k)8*SS2+N$)g=(oqiTNB;lr%F3x`8 zfm}9=1ai@%nD&xIchi&tlIjL`9SO=1e8nrQ?l+oJpRaQ%$25&dVKlsGTG`EsYszI* zA8C6$qN#SU5yC9Nxr&u|5v6i<>y-Qa!M`?%IuB&=8PlC7x4aJ))lMJZ6>9M;mJbmc z{4ngT7g9GR9p-tiLKT{CtCNH*PHtDReVVI^7x-e04dVA!f|0Yqq&4=B5tD^U8}Uxf zA^&AWI+!|H6fx<@f0?^O;urom^)k_EDw{TVIPY@dp^gL%Q|O%TzS#Qxkvt!n#EYI5 zW*?kvikctlwInRVSz9lL&r4PF6bdJ0z7EseF<<|o#$|GMSl;qel}K*XaD&c>*{gAx z+{q@pZkOkh#WMV460ZM<^{8}cyM4Fu0Vr@VJJ3XY)$vnn@7eLf)l;mhJkHc_`()Y@Nvp+NnqDh_HS7^~F5ZghOI7sAD{>}(_XZSuv^oHsSB8P_yE z(xpyQ=P7huA09c1MrFKK%%^<)O|gm~wS`zMXv;o2$?JL%sts#9Iz%czpww5z=dx(l zw~qASnPKkanH$&S18)JXJ6tbvqjVJlna>D061N^8TmM|eH<8Q!`ly{R^!6WWfBq`( zhX#eK&Pv%Mot0enHRdKJednjL#q1l=Yxr%<62cFJ)|~2H{c}c8`(J+Sc&H(NL<%E? zkP2%0`Rh7aWZJj6t~Y`}Kf!Ne_2Ka0SbOoFQoo~I^*}Zz{=X(7A6=$&dPn2qy7Pq< z&rjWxFJuZ0v@M*x%#T;}hwpAX=}jD29Lpc6Cgi^Kr_i@>Q`STsVsy`mK8oSnKq+6< zUUS)3(63pK`Y-l=R8w?F2#J0Q=31}6Kmd8G%!z%tDo;e{-{TWjMSKN-}f zDrs?tzs!GUo-45D>501UYwgVbQ0LBIiRC+Y6?5K69rXv-tE$JUH$|N{v_g^3G}M9~ z7mqc4p49BpoMWPJyhq8)+aa*aQcC0}Q?WE!DNQ z3Jn{S(g)m%LL*KZvt*xEmI0^q5P?Cro zwrBi#Z8g65>&v%M8O{qFi9uhhFp-wY*ABR8m4~&P-!5Gertts#KKs zZ7$*iEfYp-=EfLz8NIV9dXVUJ?5u zqZI??nA86!c@<~;zi+RZ&ihdoLEg>(i-LamKl4|iPyyW)_=uZZo~cT}k!UG7xc4{* zo%&yc)Zacc*4IdG=^hh^sK!Q?w$%TdU@vn|68|jl`%KB%`GtEp8F8KWeHKzaaZP}HthkA7-;f1JZWk@6X8i9UP8(#+lUD1 zpbEO!Y|S-zLxT%oq2nyJ8iCC#<(P&&hT_ee__gR#$?tv_Jy`30S`}zQ-pMtl(jF*L0{r48GIk%n-QJ zTr^Ul8ggU_B~N%F^i$%s_Hr?mD5H8$w;gKjYvd}*JyPsPG$G`7EX`TL^*b9 z3r2(Ph4g&{*`Tb#%cvUaZ?`qGM{vf=TyG(7Fw_BIq`F5qh&^vNf5iCp7c)bcfS#+m zDLczkZXO5 zFyg)-H8eHvR*bP_TgV9t3L^eK;7++w4Fm%PVI(OYv@Xv(twf9-K12dFDH96aB0fPu z5(5K+hh}DI1_2G1rHrkQta~@*!ne!^AMQhs-wn{pgMe09YQjcf72AMS6ufcc`&}+F zoDPn8Lw2%Ml^9eT>J!^MQNfP8M**(Vbv~?O%^IpT!s;L>=RU<`(cNzKQdL!TPx(G9 zN=;a|e-c=B9vo6_Q6crj&d%VY>(m>7Zs;cgxI~wlZ!weJF)?A(Dom-Z6=x>xUdVat zY39{wMP5Ip2`&1_$Ve!8ceOXqY(aH7S}vNDrFgpD-Ew}uGn`q*`T?Zwokbk?xJ(q6@B-+XF z%@gNkDGuE(8e4yE_v8t&I6bj^i-kL0&Olnmn>V!3fxnXr&DyW5@&VU5h@5)&BFF`3|g08c%4=5Ip><(B^r`}4yM0=K!gRu`!B&q9M?)l4W&y>Lk1NZ^g- zoxGpE^;50TO1mU>!41AGp?)2czmiRV-;4a<>NW4SCi68=G*0KZreZNn=dht#l9h&4 zoqBtD2`(;M9bjt^IRj%eQ1PyJof@4g)Mhh>_U@yA!wtucU+;-nWV{^)BcI>7AuMbU zjl_-F*3AA)DLg44IjbFqxUZlC`=Hb6r%j!SpMUGD1Z-<>m`?}y?~0vs!5uCC6Sj_U z#;=^>0N>s7&cRHJOvA%0LHCd1QKI98vdoDb&~J^0o(?qd>yH3|`{_MuY%dLWFIu0d z;Ym+VH|d_VrlF&&ah;O<=r+>>2p3$= z@tBl8YVCZCMZcNDgdS~Vn#qqX{ZAzH9w~XvWB<6Xp~2)XX=lkHhZ9(WV9iKs5_I2Q+ob01ReBx|yVw=sM(} zGa|n8_F-PqJW*JZ#*W(j>du}`$7}9@84Ta%3(Dr1U|SLT4R0WZj=SR-QWUH|YYUgGBs5c|DmxZ(&i!?fa9WaL!N#6~l zaO%_FD*AeQJ74H5cYraYcAsgg`@Fa-2cmGurnfl~drbG#&;P_=euPRcJH`tt-f#Xe z%xCZHZHJ|;d&K_%>iNt^W`<2Qp8jzQfMY|rWUSLqDF`V5_hxDN_e*1GyZx$7yJ9TF zL`O#iXWTI9j=pxN?6pVN>iy9dE08Z<8zSCN(GNRKYEXMUVplWccr%^#t+-?ICIElh z$t6L9dUC8}?yUy~R%^pWwm==;N$WjeuS>G4!b~0B7(XJL7hYIW#JF;4ak$$8&||H5 z1x7oOu%))QWUUPJ2t6b-H|G|=Ce+9SmZc70R03lzxewq@Xx?p>CnvC)lb*P3-nW^J zJL9u2_Go^wfRdBf8cS-U{fDM)w{*q=cj2@r9OF!Ta|ZATdvyXKpbk zHe|-|N=c=GWCKTlZk~=CQvuV_0Dw&|pv(I~I5;>qp*dlsD96|o-7K>!=Gk-oVHQ!0 zt-BJD1Yv!0oF*A89nTk*T-M$)`~+-t@#(FP=S#vNjaJZE_Aorg0)Q+*cB>&ANJy|o zRVHQcJiana1D;W8)>z%+OU3dM@ zV@vDxVOtXlDGS?O$oW(*%r@$s-j* zEh-evX54S4uT7V0=P3MJ9}_Mo3PCi_Sgd$KWByNJPO#G_2gaPC)j#VM?OK~N%}3Xx zyF_u`(gd&B&F}5(;UXn0l@Vw$UKh<}ZwVB3N`77X=g%Lq_T%4iwcvl9=+dJoFM_cF zksp||AfyC)aXR(Ga5%Eq7~>^@*He^?&sFLDG3B` z*XhCf_x^q^9-e66^m2z*jq2T4035icsF(xJ$ZN{A{&AfN##{O4l5X`((58mT3iKca z3>^SD@gKl-Fp@zKsr(>AJQgT9yC3gj`|Y~6kA{HX_Vn~b7*$#0Y`2{WK>+gUlQJ$b zeTRF<+0?aBGw3MW4P^H#UY%$MUmO_H3R^s2&$a8=9L&e-iXw47C##MnW)zQcn`wFv zJ$=4=|1gE+&yBE4l}7??F~lVBb;YlFR#OS4;~n$w&{|baZGN~H#`PL{{?#=#Xp|Uu z5^B&sVph4gHy(WeMF-yGF2zGh-tcteNmuQ}N zFkfwdMe!;fMr?qS^_vTlf*w9#L^L`V)XjaRq)!`y4 zg`6aqC&&OJy#o$n_=FXj;;{U=tIMP5fb}vowhX95XaqC2|A@XJdUZW<8Pq6*Khwx% zJ7eR1P7DV@sKe?k&LyJZ2OxPhF$S50?Ee?AxCDB$+WHIO*Ce)(kP>;a}mQ%j2!Xh8)%>^BS>mla6b5oO>DoJh+9}Ogf3fcqOSl5P^KllxR z9YDy%5I~(+!w^QoQJ!NdaM8FWBTWDe3*cHH?$;)&i);VFQ>yj8t!G~pO-M+X@jH0K zph=cj?UaY+Hv`3mO_4zCM+W?!rKEI8oTur1O_Iya060Fx@5>C=x-_k9rLC z?Jg5Hg_<|2yV@0jP=rAk#)=^bQUR?nYIwR3+x{K9%5U2ugq{4Da%51SFhrLJOn~yt z^Po+TZj$%!-~VquCdn>QeBTmq66cH$EnGY{XIebSj%lTLS zaQ)~$rv-OqlpqCS7hoPVj|=dULR8%re9`7#h2DG*SL0RiMMVqCi25yyJ#+!GjP}?3t9kZvMIQoYS zvc3W^ur_??2Lmy6k|cU`MVGD@Z^0aAZp}3Bf2PtN zzBQZa-lh&LQ4-@LSOJ9M01Zd0RKv7X6fwiY7WcWfB9OtM+C;U_Nli@W5e|7k)ct@^ zU04C^hXxT5ktP@>F_t1%Io7}4GU#oCUF(J+8a2o@zW4NSf-#nw^#=g-I1~iqy=v!K z7n$M?5Urx%CP`Uj(995b3PE^h$Nqrgz`xa@8v+7PfW+6+)B9OsD4gy8n_xER$Q+Fa z!&6UG+2E~YKX*$djQ}|6_it;^{Dag)>W1jIgJa633dImrT|Gq>1tHo}*uL&;1LKhe!w#hlPUxX<$A}`luU%F9Oi+s=}g`UfT0XkfN&Q((-QVVENY%vm*H(l(8dnYaQhZkNE} zi(Dea4M)d_C;KaB@GSb(AaCxx)EQg8&2zY;4lt0%fL_C{H$v6+$&>T1EBi}ez{jLO zfV+Xnw%>p#jv~4#_HzwP9JHM*GeP9@s0mU*m}L71riu)3$z@DM^km<&Kg8EnhC~op zfaMEUO>Nr12#;)5;NJIHh)O>Yv&am~S#^Zc2GM;|S=>KCM@zkL1c`)zBK-@K58{Y& zfN|R^D|e{oWpjV?MpGbl;b0;p<2xK-mh@ggz-c6FlD$$uKvOUfyQlBoy&DE&vwC{C zso~^QJnHc>AHX@6>4sM@yI2XrpKROv<{1nJxK>ZND8hhdkg$?O~+l;`D$Bq^AHZLH9HSdrf}ZiT!p%GNZKJ+ebCdV?yW} z0;Iv=z@*xIhnX-ih%ng40zk6{OogQ7x_zyoNzYXihujZFUEgC~gra%fi!y`tB8!Up zxbIJH+S%Km!Bac0&b5blf>Zs+BI{cK`QLReE=LxxX<+No`8=eum2f+#Nd1Aqrf_?R zEKjSetI_qA;QYacFH4?fy!`y8IHg#gb%~}ir)cMK`~)WeA-~~!_8o}Ri%^%O?jZ$g z!U=$ygPSm6IG zd+OciwkGPF4gW$}YgvhXzQ#zP5jT7x4Qy~u+{>4vc~QSz?{d#m5U7IZpnPPSOZD@+ zi=;gd5077+kpK@)c&D#IjxdC^Jb)7i!H{S@gi=pzZCAy_#55r?T!yiNnyv+QC;-Al z6V%&a5*uRW|7C&3HBvPA*x;qUt{?pNZFW9~aYQt}X&W5eCJbLs(eLxgF}HRWG1$pgJ%m+AKyEm+B1oU+CdZC@#QWx+_Nl$u zIlZ6TGU*UNV;Qt0dsNdC6DOa|7@qYlw C!agVf diff --git a/tikz/agent-environment-diagram-pomdp/agent-environment-diagram-pomdp.tex b/tikz/agent-environment-diagram-pomdp/agent-environment-diagram-pomdp.tex index 891e381..3bfc22a 100644 --- a/tikz/agent-environment-diagram-pomdp/agent-environment-diagram-pomdp.tex +++ b/tikz/agent-environment-diagram-pomdp/agent-environment-diagram-pomdp.tex @@ -1,15 +1,16 @@ -\documentclass[varwidth=true, border=2pt]{standalone} +\documentclass[varwidth=true, border=14pt]{standalone} \usepackage{tikz} -\usetikzlibrary{shapes,snakes,shapes.geometric,positioning} +\usetikzlibrary{shapes,snakes,shapes.geometric,positioning,decorations.text} \begin{document} +\tikzstyle{arrow}=[bend left,->,very thick, line cap=round] \begin{tikzpicture}[node distance=2cm] \node[ellipse,draw,minimum width=80pt,minimum height=20pt,fill=gray!5] (a) {Agent}; \node[ellipse,draw,minimum width=80pt,minimum height=20pt,fill=gray!5,below of=a] (u) {Umwelt}; % Arrows - \draw[bend left,->,very thick] (a.east) to node [auto] {Aktion $a_k$} (u.east); - \draw[bend left,->,very thick] (u.west) to node [auto] {Beobachtung $z_k$} (a.west); + \draw[arrow,postaction={decorate,decoration={text along path,raise=0.08cm,text align=center,text={Aktion {$a_k$}}}}] (a.east) to node {} (u.east); + \draw[arrow,postaction={decorate,decoration={text along path,raise=0.08cm,text align=center,text={Beob. {$z_k$}}}}] (u.west) to node {} (a.west); \end{tikzpicture} \end{document} diff --git a/tikz/agent-environment-diagram-rl/Makefile b/tikz/agent-environment-diagram-rl/Makefile index af6c2b7..7b7ac02 100644 --- a/tikz/agent-environment-diagram-rl/Makefile +++ b/tikz/agent-environment-diagram-rl/Makefile @@ -1,7 +1,7 @@ SOURCE = agent-environment-diagram-rl DELAY = 80 DENSITY = 300 -WIDTH = 512 +WIDTH = 256 make: pdflatex $(SOURCE).tex -output-format=pdf diff --git a/tikz/agent-environment-diagram-rl/agent-environment-diagram-rl.png b/tikz/agent-environment-diagram-rl/agent-environment-diagram-rl.png index b33c2b13040a79d6ff4a4eab0e7342b34683c7cf..f48691faa2e587ec27ac0036e2ba5774f01ab2fe 100644 GIT binary patch literal 11408 zcmaKSbyQT}_x3O#-QC?OEhR`J2vP#ljdXYC08-*dMY_AC8$m$2ySuyVcl`eUzGtn= zowfsc>~WJK`ywj!bmoDf_j6*Q2+@i*v18!#XZ5Oym;wq!S63`4)O5t;QVB7<6>&;XwK>2Y?*u{ zN(zBcLlmUnXn3X^rh0g4n77`D@A{2}Ur18_qUOjj%2d$cW2Fu@($RX4@849M)fAPr z)PGcSJn7@6@1gHBS)BE?rh-}?Cpee}ipvlhim!%DWA{brui2N|$J10}MjDAu`Xu`1 z^zA-gA2lwaVl}HRh5+qfB(K^Wo0cWDgt|SYUt_d`90j6HUDxBVrwz0Num%>%`Plo|&a(IXotmQSQ1jn;Fh=cjaJn)6Lx0_Fyd|BcluK6fu;< z%jDV_ilTgUbOd%v|6|6JkdV+ZZ5W_`J1DrE!pgxhDC~8%aZf-%kR0eOcYW;33^($u zK>XVGhDuUOifQmCKb!B>!R${M3|a2F&`@1n{r6OlE$p?W1FC-*E&OS^W>)pDWskfV^eK)#q+J25?-n3_6Rpqfp-ND!f}q0xn> zBC2|GJ}myczcZSxvLYc8gbVSbI)vfSO^IL4m_~Xmx_vLV+t70`0dL%VJ|tqh+`2fb zzsrBH+_rqPlO1P4CE|XdH90wXPce$bFMjY_T3TAq?Q&AnoiMD|k!z=IV>Y_08J?%CE!9ebMGuZcP)^Z?4D6y!B zwbpL_PnJydoZa`-)OYUg0;{X54;SMqIk~yqt~>7`uEG>7EG#Ln{eD(dyi7?=W#Qst z5)mP5F^G$c!@9pd?y=%C!GSR_FtF>^qL+S9R8m6c;NbA|@wuLH^9ToV!N=0Vg3-d< z{LmU$BKLZR8r&WA>FH^}-Ff=6Xm5XiKM*VSix)4X<>Yt+o_xo~#(IZ_UKbBaVTpA; zJ>EMxIT_FW`UF(ya&uz*S(dJ_uu$}@mrl?BcGJ__yUKA@@@H~#-@t%bcN9VM*Bq|6j=yW@c)p5hA6-4zEHX0E_;9YKbPl*~e5#1Yzn}XPM>Tx1`ddLkVYM(n z4Z6~Lf3!X-N5w!*9aw4FgNu#bu4U-gt*NEoog(D&%5ep9z2w6+IyyR#CYBs0{zM#j zd%n%~pmy5?NO#IBno_C}H$gCAC^*K{|@J9B&F#NM3HX z!WbTe;b!p9kkIh(D*Hv@4<*`8c`@nfRQ&u?2f85K^M3l>6H7tI#1!%QGkR53)zGg> zenw2H*AGgI5D@YA_I=zg4!u~InTa6>2xZX5MM|S`$P6SD+6K9mPYBaqK{a|EZ@PWj zl-$=&mGE$UPrmT|ium(Jt|8(8#A?hperyCkeSQmbYAy0yE;{=dbiUHIcw|fNTvWM=%t8I$CHb9a`O+yA!bg^htb8 zKwLb1W@e_Wp~9Z_)vJ2A6GVedBn#+O5#)EEA-rPXv!t*X=Bqc;=uf&$E5zG$FFf&f zl2{2+P3hxfG|Fc&*^wR~Zxt2U+=Nr%o2Ix?QBh&h(Ka;>3-wOu6vDs$BOO^-P?D5{ zDt=>M4JWf-p?bbSN=r+F(9_dnlaju*u-Hnv0>+w?m*-x91wta9pknRO(PGnKOO8Dg zFK;#SZ3`28o$K}O0Rdz`h&}l*R|0yXD-vh38qO&^bh}g9u+Rn>k58JAUg7Ps$!23= z5jr`j9!_<ITFk5r6DD+w2G8mMEW2pEcCeQ}Xo{rSd(2i@>6iEuUUrTk9N3713$+ z6=KsWGu!<8pY1|@!nbdP3kwUL+n~ZYYS;$3?S~TMlFzXiEiElG7uWX9={i0Uk-E0F zJjf`(`86~(6OxnB+9$OP2RlNLK7IPsVRf*m+1~neXCq~7yz0}wF26R??^^xSzMQOr zBhvH4(KEOD*UAB~DW62|d3GYvrTRuNM z(lan{d!88m^NepCy8nEqudfe8R>y-GZjip^m6W7`;C6QvWMp3OS`1|T`t^17cSK@* zd|;oM$#SdTKoW1n(w>kIu*Lo=^Zr(G_k)=b`B(|)8Kf5;({0+TiO1Czo))33^G<^T zNfb$%+C7L_TJuL7`iDTvzyLUgcG`1GLE55j2OJ8Dm4Ji}erMs4~l`A z5>g&1O~nWjJSReqLY9ifpL#X^;6@R^&}F&W@oos~5xJ=wq1Vu3D7OUZ*{`}ywiUS* z@%UM3l(W!Z$f@On>AIhmo~Tw{(MtT<8jgLzI(Yny$X$E!0nQP_q*z|6RSNIq#hI9L zWNfUz6{xCI9v_bb;*N^{^Zl0)Ku*`GGM5RXJ1 zZ8gk;%dzzqw(?fef_!M}wKn1}l$(Y@A$I#}-9Tt^Ej4f0(r1}?v9Qag$aJ$SL=zjEC!z7wvtrH_Mr!DKdf#+2+g+PiXq?1GJwFO_!| zV3i+3_OkuqnF98v1pfx&byk3P@ENWQ=?Z>%=D?w2ixd=tv3dFV zhL<4vai#H?|K&Pvd-gBw_M6fgvEm!}$sgU|vh6%?S9dwz(dKh~ln1KHb;a+TenK1^ zb^~6B;=RB3)QzxTmW$k(mP6{vPv3E6U$!^m*i0tYswvu>2fRF?u0W~ujs3lM$2)hS z07n^11*V6 zD$0-RRL|P(XJ+N@gnGCWlar^b5mbBm%BkLFeP0-c?SRj?+S?!T!Yc11MdOekn0CW2 z{CqSZT4o>5xTMQ5rJ=-SG8gA;gNHnU5VH(^IsrJrF6x;;OKSUGBeU?87dLd0e`XgrdwpLMbuCp8{fMrA*%G9)^>jPhL>K~-y7NM> zEO*6M|MY1$9Atcq2uupn%ia9+*OVkAUbl-L%M|>UL*(LyhRa90rC9`ngM$ZiHO1za zdz0NlLP9z+GBV}q!fw`dspV)tf{42vWGG9L2kxa3h;f=Knbn{Y_PQq z=}cOl;j`|aUnI$R(sXu^G|Y0GPxoWPn+i{%QN<`lpT~3cEH*z9I%4sREG7g|MrslW z#S&wu#s_T%JrIYrANESzD{i+2+i!Bg9QA@H`<*K55s;9U$tfxQ1LWm<*4=bj=}28J|uQWNT-6 zo~A8kM@?B-ZHwGe7u=N_gLwLN0s=2IpJ$9UWN&Ye2U054$@MiA9t8!3^LmV6xN`dI zMP5)|yo!n?Fq%fta{L8~LrqowZm6bKmD$|<{;i`l|dp zwhu)9^I*WwXDrz@Y4+-w{Xl-0oGqmZpEw!=#G6T+7IBmYwl|je3SR2>@89_dh=>Nq z`}<^>qgGH;6BFN_I4Y`F-WOKsAf@5q<4^ov+#}iB+hd=N2>> zYkghaCMI$5XEHOPidf>4MqI;()26 zWG!J5)HK4v-e1zwmtP4A)*;8pW}jYOUZSC)ol}AiP0QA{gpr45j6+m31=P_7MD8|x zq%0g9xdjC<5Kp!q9vyFTl(*IXOAu7Z(NREn%YGI+P--aj2Dj7~k zS69&wEOYbR%G%ng_qw|CIpez{yRL|-%9eb@=rM>PnWIWlrlzL)ii-V_pj|%b?Cc!a z+S-!rnxD`bE5=Kh%{=^V%!kWE9xM&}LoIvw^$K%@5NM6)2*x=Zie8YGW^sjJ-|H#> zIqkanQ74A|M$*;w7nX#&dSZE>necj%yNAa#Tpp-D!@>3z^rQWO((VGZea8G-kB`r=WX+2*> zScnY$p8iJj#gUkjEV_{4n7CVj%ycCtic7lr((8^{1$$1|=!r3X{}p~klzqj$7p+qt zHB^Sb4 zx_qY!ZfSJz62?Q@(Sf`;HL^nZ+&1{VJM?tg>OiNhLxd8|Qbam}+<*|X2Ib>eOi$WT zV`_%lvEk7pXL@>7CwmJz@h!#JBUsk(3AXbvyP$&z4b~={yv%M=?~0++y=q9HpKLo~ zNp4LZZNt?eH;K-!w3B__PeTu(Uqn%@p}8N6Hh1kM_YC|aHsE|?5M&m^5Mm@9 zv^Q^U?YUUOgy^Daf<%Z)#Rp1~kQ=H9YUr9z&X>3_arh*?IdrMe z_6A#KpympVRZ1KGciDcL3nZQdNE=V0Q4_bD z?aw{Ma|cv`^{eR!AL!iS=)Ne_
j7TZMYxlF=J;A(bX&+ghg~^{1|L;8A7x+4fQ~C(9s=oFDzu%`mXPIM32mi~;*=srBdOjVkc?dM#I``Qp4fBSs zW?=p!vwp(mU^q=UcYjptu;Y<+KIwU-sO^;(wYrU^Szwsk6>a=~+HK9SVK+j>wkGF8 z@$Ot1A7}Yo?pXPwE)_>TsOrgZYF33-1kQavnq}+{_-!qe|#(czHEM(gItLy)@%s^hv zX?G+IA}^uV&qRYYl^oBFEiY(4O9t~n%>vQ}&I%Gk`>M3M9*xz5mzQ}SbVB_g+I z>;!-HCZk!Q8Jbj}M)D!lD0A@2ePs?!FCxs)R6n?($qQXIolvhJQ_=|&k@`B`?!)1E zZ^*zmiH}-)&_;X2mk8XV>~a%=& zBdJ-2c*m?x0FCx|CKSC6_F&=p>D1mp{o#Q6G!k z6*H!ef_M1ni7I1RQIJp@zHvqAuB_cNOwve)ZH07#wUYiz`Rz?m^?Jg3U`spv7UmOy zQ%tFJ-YvCc=a@>g$cax^uj;3BqUgud3lAE}f_y8L0Ci?zDIfQow`LE6&@$=Ib5x_s ze+pZm)C<0!;{|%WDMt^V!zY8EeOw}Z2j{hDs>9>3rNT-v+Cw!+pe*0T1|HfrS)SVD zwbu!@>@Z9&cxen_L|IWruWQ3&F{+%j)!BWZ(V42HyLt86b9j(vgj%@gpczC;q^H<{ z30>o1JQvc^{99qOPd4$dAOXqO?34CV2~55mJcCbN55goQ&F~3mh3y|NuyYDv<+o6O zp5t@r&k=(#%tsVjP^#T7w8e{B^?$V@+U9IY4IFssUBz=uPM@^?N!p4PKh>O%hjB?} z3h})jJ=aL1fw79C812o(ik2RGV!Ti9l)At(x!rJ96C3oBAO)w+)Br1e+T_2MA4Uve z(2`qvhAl126%W`)ug(Xpz^=IktcU!=i2oqijC7p6X?ZOg%3)c&+H2-Fd;61bH;`@@}I|=H$`YBJvEJc^Nn_h_ZUk$ zujbfsm2a9xelpdO{^gG31FDYq0q;ti$m04^Btw}o`XPcfGye9QXwP_C7p+*hfS1q5 zp`pD^bf#6h1+rDw?5}8w6MPkW5C$Zq#dn#D<3lr_I;Fc{=N|uyz!e(scj?h$5?Tci zj$g{1+%!o+>XqSpX>qkElKP9Sb&0Xkys<6srNXi>+{;-f^#uZh0)wj6y`_RYg$aYn zE$n?>OTO~?wi-5>LD)W97FUZXh~?78UT=&saJsheM~I5L_u*NBp8njVKx*m*aadIU zdsob8$jxnY>5!Bb8U%~}>dA?Ic-h4DMAjDiolYRQCdJ3-1&yYkY|?W8THj?I1Ge_( zuH%3xgtI_VnQ6MyOAp%d{Y~xc^gL=sr&4|gEE(2ZN^S=vI+94Qb~pK8Ra`a70oq?F z*!RE7aVEE2=xZb)5kfp(RPpE1XRNVVi>EY(F+rQ7 zfbc@wrXa+(<6B3P^nPfTzP4hrK06j|(YUEQrJU2QQDK0wme+CFPdMKQQO#-E!bS&L z^ZLA`Wy3(%DYcFsv>ziwPJA%zN{(YUQWEk+yDN(JkCF93Q%MnwT`!X?&s&K;P+85J zP%#euiJbb>aVfBUl5u(c;oW^Sw>zTZ*1D@mTz0+dkMM>3rUM~)k6B1n!pT(k)}ch# zd*i~Ta~ek%k#w{-oJFOX!xA=PEp`(I^ZQm@Mdfq^K|>zs{o8falIy}bzS_JMWr;oZ ziiBC5?=siB6$!ozs1KIcLfey+3BT`h!mUK^bbr%SY?ZsPnMZx?bm+^8Ax^nQU%Gi_P76R+8B>@^x5hMbrr^CMIFi za^Il7LJgEKv$kV%lf(%zeEmV}nVVj?Pc6}wIjcBC>AoeN$q>y%$p^VOwr#?<*;L@r z&L-`XmA-0^v#3_Go$Z|2NTa}3+c(T50yPhM8$(~g*#VQUxgQ4PP~{%Mz0(@GI3%0U*N z)bT+Ydw{#`7_~WA>AHsow**sXdO+>$#=Ruu5P|lPF{#c5C!{w9BtR^Z3=UYuJ(JqS zxvcc!OKOImG->ppa(IvAc@Y{!h50qqd2F(FcC%U&9>Zxn`48X3E)id8CxA=xUXtQ!jIK5`qtmh~?GjF%} zD7O)e9CnVlUTBsvRE?9QscoUc3G+VJAtLu_xplKAB3B$0N0G7U`J}zLt&S~qQ4DLe zJ=M0$OvN_}d!(n0R5%|f|2?$a{2N^YT?DCV$201wM{Q&GIcKnS7B+Vfh8*O(!Xlk| zSaPknYUEBU?&yP-&5X~|`*@lTqv-FHE;(h!i)SBKV7?<)jHkMJA?J}3;rOOmVHL(O zf8{`4RbRa6AfJ4lJ(%vMAyk)UK|Hn7Mgk)}Ve`SXI({o0Rn|jvYCl0E=xL}U=m_96da)!QtWI<_0dgxVSkxJD-Bf=hxSQw>LNS00^yn zB_h()P+wmUy}7-usjt_ztPlocGBX}yo+KsN?8?l_%F)8w+S**uz-a&^7tDhf#wI4r zUM4C1`SV8>Ag}<6edbP5(gb6XZts>SPcZ0p>RNY3J>|Ll4_!Ta^Le`czSpA_3x(bX z7F}RnS~cuVRntyNZ)iezB}d{;@TPqP27`441_q7}4GqEj`TFv;f(2U2RsaXu1FXV8 zRaMm=d_MYE`Yk>l8^D`R&dv`md3kx^RaHF7slqZ~)O;R^$7HRX@=8@pLt{ciU%zyE z|FY)a0?#D_p6fdp+49j}<*Z2d9MLQ!ggLsx$^!(|HrB6UXiqL(gQ=082*RQ30VFa$ zN)q2>=VgbH5O3j35wR#m7stoX--5mzw7Nfgd*zqAx}={&LlKq%Tnk`GC-aIioan{OM36XUz&I5^m-1gYY9}D304U1A_O>8DGcz-vu<%^KSdPM*^`5wE z1$p`Q#m5riFW>1IiHALvArN%9e_VjX$dnXvOiEF!o2UEZe$ew4_5c0*_tN_@C?zE& zfF$ORMv1D|Vh3l}q9COz)+MaSlS|FRG`b-bFBSO#z@yh^5H-dF4EpZIVqyv^s(^gi z>?Be`LII<{Us>La=es<#7e@+FY_jtB~hLZ-V}$N*D%{N}AdE)?m%^({-C-G>|iRsn@LR?0O+N zF^24h)QY~#(o7fku|{zaWQotX(==>}*6|lJgRbv1QlKBGg%AUvX}beREiElf=%jo* zg}^WRw}#WHxNWA`sbXYZRbCch^ zV7cf2#u>X`CkGjj`{Fu9mt@OD(ZpYlv1PaSN&ODnTIO0BA|ERXo(2zscWot^zX zG&FP}9cbiyL<;K#(hE0%d7V)TVsylR!?-%{%RM}RQzlncS3gVlSoA+jUpzEf>E9M9 zR>(o5X=GvQu&>s-ANna2w8$-cgz#~(FX-2fye`S@Qhs-K9${c%1>69@kMv7Q%E2NP z$Hik90O7}rG>cJVsl=ad6X@j9WcAvptF1ZI-Xqb^ZZq=?g^ysIqF&8GWa-oj?M9X3 zT~|c{muI|U6;t2S?`ESmpnTN%2?jlgSR_1VgH%r^5ja5X=eroMub2J-JT32D2s^Gw z^smQ>`!{D~tegf12Xo;FE}6o}Zir6;dJ_XszHE$d&fNd_G1Or5<(-W0f7uDP4M>Ng z)46|HR_y3Cu5jiB0fB)KkUEYRz+gWVV2>hZC&#nZ5fN1WKLB{*vR_*F4=YXcI*t)s zGCJGn`-cn1i65QK+C(sOaBQae9MLc`{-N0xrvhl`(0r{One(#Wbt$EQ?TocqP@J&Y zA3;PG&t!#t(Pz%?B@qjFHNN$6_oex$9WHS?gJ9$Xb|X&|JXi_MPSgNY8H1G1YPUqE zI?ZP_j7W0$c{HtKcsQ=@@z7zxYdf{{s$9S68vu)5x|gg^iE$I71C_ql)O530{%+{s zcdD&$NY6ya9j3H6cP2puCL)|T2 z{XS%wk`)KOn5qI0HB4vtr}e6<>d^gHQdV057U=0METEMy=FMB<=2?j1FTRq z-T!Vk39v>CVC^cBW1TI5;!w8TaPy5r0!T6T;x7&@YWOG3oX_9!O7{=ggopR#_3p+1 zlo`+pKx3TPqxY7DrKRQo(E`|_2~U#zyLZ6y!txmVJcOM$kbSNWGRu^|IRRn|Er3A5 zFcGj^04GGadJ!N)pFXhw2gfJs|2rd_o$&Q5zJUFLJb1JwKP!8C3lJ1a3|j66DoM$j zvhs=_2a*MceE{6VYv&&G#@4n?>T~O7OjYgy?2CW!<8jM1B@PbGj;k;syLNk{+djxN2nYy{i*D1S06=we;s&tw zt7^;Pyo`)MVDowJlK%iAN8G3tJwWzs%3HpHhb$^C)~PUp1NkB+hyELv;ZUYj#L%9U zxj6%vS^^gYIP?G@+KlWs@dnqquU7XzB=Y%`KnPROAkcEc) zZQRxSj(ZGO$e38Da(4q*AYLm$NMQE7J*Dfwz{(o6v0+wgzxY;Lo0v{6cB87FGrP4l z4a|jcadABXAPod-0)p8;OD7n6>Wlzy@N;g~s+=SXj0V1jm2>hVN&$2Drht?X)_`WIqWxKDzDz>P?(p zz1uX%!c?2!%eC13L3MiT=^rx9S`|gPO6y5h5UXdKb-qjjiia0~j}??_%P7>rjQit9 zQht7Za$#2(sEDqPmsQl&@xU0KPe9;HTAH$#mk@gx^GrBvbnCMGn%J4k{7e4MY` zHZ21~_e+nXg^BclCokbrt*Rq;jRh+zCINw~GQd>QbZEJp%9xqaj=1W!;yVKSGo_6j{r$9 zohVSXeEkf9K9B3p2yc)`ll!5`-bA5g>hpeiTV6@Y=h1Ar#2-K8H8lzTp`XjkRKS^>*;c>%IlwvFe3c=P3HVhZaDa96m<~!f zgKF!^q8(79%3aGjQSR;UdjXhzlr*k&tsS8aW$ESEq%A)$3nlZ0*FivblC*C+ ztc?dXAd}{E`8}WqS*-tw(bTQ8=MZz-o8SU)Q9yQPrZJJ&#{4n*TZrCA^r*V`&%PU!Z)2yr02cTU|{6bcS{kN=nK|p!B(n4C+C^F7*5J znFNmykb%B~$`+KYmh4V56y$djg{5>4}kMjH@%lWmJ5BPd(M&&&I>Y=L-A&eOkiOa@z`!jKsOPxKz%AGbjO_h7vRs zW$=jTju^7xc8R@q`Nys8tE=+q)SRbNMq(Mr$yBDMp5CoBKknXN`_IJ+t z@AZNUVd2?%X70IbKHn!yLrnn-og5tkfnX^q%4$I%Q1D+!8R`@GPlO5O!51XA7fL#) z;GZ9=WhnR_%~{dF4FW+~fPW%XwT5GYACkGt>APz?S-X3^akYYYd3kZ#I=*wWc;jrv z>E!x0{XmQy0-=Q{$x7>ZXY6PCcqdMsUrE+l@yy8JzX+6t1qRkc&^Ht@hoUxFaI97+ zmYNeKmo)88>lr1tOlH@IYX~B}Vh@*_m%>FNNtDC=NE#oTX~}bY7{mKRMK3;feZ*B_ zEaB~9^Wld>Uuz!T%Xzm^aTG#1&HvxWHfBmBv6N<_+Do2a9IIRiib#8CXlN{YrTkrv zjs58(n~s4$>;?J}n-&iAYiI2F(?_f!ol8y^-eTC`TY*#+rtGmT-t-X@@T=$x18c|L zWqR+Ddd-h-{3I%S%~_7U#WwsqJG*z!iS=}J5?hTcw7x-^QNn|ALnTSVCweuI!JGG) zKbZ)kmg4%R;Ogr7n39qrA@y~7SM~ILyUSNvFr1FW#6&4OyAl?D{;9OAEb0wsA$t}U zmWHAtW^;4%(3qHh$3_Ag8g&&FOwZPP*oX=fL0DKA7W%qtv$II%)U2|yvUBT#j*gCo ziAnVEMs8bM#?a7^l$@NL?wdC`f?QlDADtm+LT%Jp_D z9UE`ACMG7bjX9^eVAN(#N8<)Y_;TCcMbK}|%8V>hlHZ(+jpy;eJIWviNj1#vk5m zT^B-F@NR-iXvndVCMhGskMjBC+HrniK>>12Z7rFQ^S8B7hUn1!--S3IZq9OERhl4i zoSY%?F#LP zl)WKWM}`O@w|!>`RVd8Q&%h-j;ve1jd|Oahi1HbW!kU`jPG>bvf!dZ#%=`KF_O|@+ z3`^X1 zh&rpdx}L26`}Z&5HRr3&vNHC^<9-?%anHTKSDJb9jtlZy+O-VsR6JY1=er8!ali@S( z((iJ!UFb!@YaPiVDoT-{)VaBz6d#ZOr_yw6D2a_NnZrmgDLHwodTzfo0F3;pM79%h z2`+Pa=mQV9US8{nb^6z|G?Cw1r&Qtq8CunbWbD5v4ISYO7@9DX7SnUZrZk%_0xe5zH zj3QRr4g|AE%xV1Z!_~@{VOFp#2Xl>wPt3B%U0L=?fbsVV$$$U;{o(dsUd+L14}m(P zXCLZ=$L=3)%Yj%s;fJI@PjOMJypPQfIU47+v@|u3EtQl8Wo)|X3b5JbF}^Xs#`QHc zoIM4%*&5LG5&45t+i~B&V50WzQ15n=zDP0|YilN%&zRhX8Jxj`mgYyxU7N#Ponqf} zbIs5Glp9sLi)3aabdqzVPjviRUksmUI0Mr^=R9MTtZLfo>CiZyr$E7>URrJ5i+-^` z*PkmF5lOu9ZGB^7<=nI4wTFv~i`Wqiv6?2}&c)i(^WwyDp=BY;@Iw-+4uVFa06i0v zwc%Kn_%w%Moz1fN<^0;eyh2_?!$rV_{?CHH_4I0}Dhb zd)+Ev+x-bGK>6j%TgV`FF*AG*7%e*sjqc3UZbiKNQ>H}5Ypqgf8ltPK3$|icBpEMo zl5OXIjN~IGX(}M+PmLPDsYzXP&JS=^A@U@osp{1qua6b4f zn-Mr0GLDz&RrWJHOllbeK3kb6u-(c|$12(LT8n;cy$WO7I#P%3`DQn&TI&(=w69+; z;>T;4`+je~q7OHJ-Y_{i$?-Cob6?c{@AEt>TVBrgGc9W0J#Ksg0y1uMB%=oVH@6r2 ze2Klz;7i->L2F`C(s*Y;0F!#w&zD^7vTADBGGDN*Hh-o4$Fj!`7Fw$f%Nd!N zT&HwjtvCxoyjMa<{F-~C2xrqW6a*Q=>(@M=rD$P2VFWM#RJ`_$8{T+7ZR10@rhx&bf_{8_ zoOeukE2FN0@A{RF4lXJZ>b||uR)*Wr?LE6eP5$D$MgLoeQITEtQHfjo&5`u}@2crS zJ4JaZ+!jv?v);3cdL1C;zhAsMUMnsuThH=6SQ!;P>^Z#TwVhz}lc0eBf9iKSA}Dsf zp1^L}kug>Jiudg(rDN;90JYzd^g+k1BjnCsQb|cE!=;Z5VrgYH-sog{bFm-MJK-a! z2*Pw$z{7R^r%#`r{gN|FmIr>^Ru0VWqdV|x{bU>pMknC?p8K4vBaRiSXJbzuJ~_Jf z``S)O~3Y{67}3$ zPI_g6V0N-TXzbjD9C&rX)x3_+PK?3L&8?Cy5S46#zv~48^;&<-+h58hPH0rZcdd<7|0Uv@g z`$CjGTH@xP-G{ZcH5LvI@j8;fN+|*khBZG{gb*@OTG;jSkTnw3hM3LX`}z4Lmn@kW z8~;o;^&c!Vs4b}%%~XR1K_ZAb%n#<9r$*2BW)kY^_%8Nl+`g5Ul|>E>Da%KZdwg^F z@fqvNPom@YK$O~NJe&lbpoFdnL%9j^+{VSq6-M+F08mGR@+1QE7@6Ew0TGKNuG) zE32ZSqD_^l!dAfJtto8VJ&Vxqy|{CB+zGQoOqxGo!Sy`4AC4c=9VQ`!3*i|aW(CNK zh&mr;J$S18&&Cy0GK8x2d=D4f$wWQbm;6q#BpzcyM<*hGKTS+FL*BFy9n6 zIjQq-Rw(HLwu;+Map9kxgw)i*?ZWI)6dFH`-HiUVm1xleo3HaZ`~IBClfx`rT+bvV zIt(m42v1H=uTO@#N&_X4(^muMun3j7A@I!V+87-Zg$eQ_5Q!GY;QkiDPa@ml;qLk= zF!bjt0}Zs#o_#5;XbB%l7u43**WdM{#r*~%D1=?VDiGvyc3TS3l!Mj%)Wg8N!uR?s z6Q8H>jr8&>d)L}A<-g0b-|E^Ru*%?wyMG&5J9Y*p?s~nEjA)Mbx7}9|((1V{Vs_%y zYUEdx6^esHr|@UYqA`~C+0FyF*c@5 zN=mxA_s{a#Otq6Z15P~a<40(2Zf=!fxsIM5FyL+ib+I5Yks#B1v(^`NcDO{7J*Hq_ zK<0a~w*mqqh`Mxlmz|Hjc1f`XH8nicAg*~H%qsy)0mXo^OE1yc?lex|FlQ@f^03^C z7f_HaS-ySi1{{&w2>-NMwSH)HGzhLA6Vyb)*eaT!xYNDb>f*gsZ+`rnYvdv^^>dl) zjC1Ibe7shlzQ0_0oay**`(lno9`Rl5^|J0V^v5UdSwi^ISv^N64df1GTSi?rU}QdO z>FJSu)#-o#aI*4+hRMV8)K$CrdNVyNI(l=__pscfqNpg8+oJDifFb6&!z>?S{;n}t zMc9Yk@mGX$YQL*Z_Mw7_jm^ps<46NfEkycTp(D?Zq+1hST z04F#vX8ki|mBXlkl-|tOY9x&xlZ+>S)NP@~!(tg0L`XZH|LA?Y z7>KI}U#Q;~<(HN1X@NmMNOKM%`9pI91%qmhUMu$g=iz03M6N?gk@k>ppt@1bzwGMO z6qS{4w#eRQ#9hD;aeAhc2Gumv;8`?u+SpB1$;ao~2pJh!5b`vt?M#l5*9<}mwYPhU zm*g1;a#&ZJ4CGHk^9$&A1!2=h@N5|5?~SkB$K|-)Hh+fgFSh#*D;K$=fp7^@4y<{Q zm-hmnL;)N?B{Z$&(VdoOJ3Wr{>q|p@l>#bwR!d1<8Y{MA1$)EiU!Y6itD^D~^UDvH zX{UhOxlbSpKBWTgor5WV!pEiAxb0&0-6C){Rb@3bC#N9apA)J}y2Y2RK8M@~%@SoK zss+LGY(F)q9#YIBPE$E@AD+CTN7xbE^3j19h70uMXEzEQsVquEr(#+#2WDWN4AVp?$^22;&td>zjP?+0V4R<(=o};Ibc;k zbIw|nw|aKZPp-GJPdC$@zP5u*&7^awGcP}Xy}6{MWIAv{ukCy=6d&UJ%#fu@I~PnY zUrcgfY9J0;#!WHSp*TAW%l3RxQPF8ae0+;)rU?K0yQ|}Bi@wO>`WTaKZ~K{=5Os;` zo=*4eiPiJnX%u^bIg;k)W-bI8sDpvN9YgNFO~`%hSj$8hys?m`#uLxj8-%2iY4MGH z8+HZK%;F#^Gh;hDyGamA>?A>S!jBfe&i`t2AfQkF zIXOAG92y>$d@--QZ&i>P%G^>7n}enHh3D1r!Lx(k+lt>cMW6q4Y>WZfo-k+%#JCGl zMoR}jxmJiI#S?V@r_sOM6+AdP+Gkx$#__I@4s1&r|EnPI+0_VYi<-lZ+tJpyW7H9# z#$R!5mSACJy&*JMc(ki4Ls{`*{9S-^UADzH|9V>yUXH6;U{;BEi{UgaNg1TQIeGzScLYoX zUI#Qd%;}x4#YpObb?oi*Iy9*ru^tvoA6X(ICa&;oHeN!I{B_bQJNwZhh%30?3!(m{ z04o(Se1dI1>B*XW!^tc)3#S@*ax=4k@c?`&g|$F>jB~Sb`-pWd0|&>*5=dR8tgXMd zt7l7alaZ1AF=>AvmzAXk$|upNcU@bjaoO4Gj*gtbV)hnV;k}k2(C^UQSYN*a{T2ro zkxYrwDMOoTegBfOvbzq@`yhz-aH9A%qfFwD6$$Z|mN?y?SuNm0fDh@ohmL8^dzoq( z)1uebjVCZGrysPbe(ZbtnkEb;ZXbJ3-1`S)^qN=8Dkz}DCnVe#7Z>M$|86+(`?teF zt5=MgvU1H+Mn<#7xv+=`22RdsFkiq9U4$tA?tA{UcB@4sDJ>}h{VNdlK@kUh3y8m3 z|JT40I}?k|&OZD(JnRN~DBc(t827*{d~$23bq<^egWM;@R2=YeF}Po z%$3vcKwzzaf(B4HHWJi7qIb1=#@;bjN;IOkhQ`^b{Eut)*ehyOqztLJ-`nh$xA!0o zu)2*sY0T;DUbc95PVpG@%re(mA~EFq1xTO3<6;?W$o8$77f7Kzusj)IQNwEF2{GSx6Sq@AE7Rs}o{0 zBugsZxQ@wIQTWfri-K_|bGbaFv+~gum0`z8TCO|NBB}%v{(}TFRmvtS#AD+VHRe3} z-is22dI5sDW$JKf%{dFlJzYz%`jTBqHbb^ys%art}Kh==v_`7L)zN#T~l-eThJ1u zQfp4cS?mZGU#^`@Nc6A2#Per=I|!TT{yIV{6y`BPLYs?m;sY(^k6O|L^I`|@tCl?; zkxfFI4rgGvmUGHZ-$bj*ujzsS`aNsvdn7GhKHA??FUXKrBR#tt8V1y}4@4T^pu1DEx^PX0T zPdQepg)=uU%-t&L!qPH6fHQX=fBAy^UY>TUh<*l9%y#Z64>5AnUW&+n|9N87< zXKgJrV5P7Xo$Pfwu|ZEni6|S>7=04@q%=v|&1E(OFWFmBzV?!7V_5`LWUaKI@lZBo z#_gZk?~L6jssbyLKmJivixe`kjl~R~F!}qr$4B}Wy;~2{3_TaEBHz<+WsiJp>H7iA zFPb7pgr?_0n+l<9W_+t9MX5gJbQpoi#pXnY1#`Fsw78U#@e*AZ!|&?UQ5$IR#xEFZ zcq${X_(q`4FQT?y7R|NehanFrAkxmoH==E|X%Hft$aWBH3^0@>t5erFWtkqjV0il#oB7;Tw)f>4ZZft{ZEL4dynh8lrW(flrffZK6;GGbtj_t>bBAQiLK&B6qpzEE=Uz-x+9dWEF>Z+`(aS~{iOH9 z^IU_ES6h!X_$0Ur9&UbtJC0wJ@cPH-^nxEFY$7lpULuVaD`edqF|Zw)sJ2ybXN0z8 zo#Q$DE_!$`otTl-wWbtWu#T8kY0rY?X5MqG9BiqPc+pomaL8suDfQ*MFnS9Y8RSYRI_|5k*l)&k)Ut`6>AJRl z#7>>0cXjT@rF=XN?WGIc!%v~!3n0e-MIz;jESuJBjckRDENqPsgD@ATXU@})KH>N)cW!OyXDgQ&@1^QY~2fatTQ-e=+BKR%-eBu0IXUb*6E~!2f+DE53#!|DYfq z6d*wRMN1NU{n1I^Ou#wH|YP)xZ223CEKT{F>zbv7u{e z^<0DnrP^vj!gHt$$eM|x(a2%%P?2v_ai<482BJTwMau6mF^_B=hMI4DU)e7VpU^e< zi6pytGH6 z0!R9!HR;bvIeZlGOhv%6+ekQoM+;ZZwtp{DXp~18wcr|_+tqI?dB5$YhL6QlMXkr> z`x`Ch5qNK~SkXLwMm#ba0%g3 zmXZe3l%Ovf@yQ=IP7)RiKNW($UH7^==r1g9RF+ribKMrx{ZDmblx&4fhZNjX9% zY~bCoK9?eNnEvvc{IVO%oeGBuR>zJYn(-AK(E1953LKMDjiWTz<)BdRpD?+uU4MidCvE;V;hZ6BnOW4R>6fSihpwWB&QR zKJs^o@>V^s=Jr-ESgS(27ORuZug-P1R->gv63PjiUJU683u6BT9ccT7TUtzwz zf>QZkgCbS(52$`#7V*d?9OJv)}MAUPWP^h&GZ|FHl+ zE7s=CyE{&_i;NK8r|oPQ&=fup-Gp@cPN~37N!Ei2m7Z3G@94!n3`lzWiLcQ_YQkDa z+Vr@ivtu7y4IK#!-b6E%K{94~-YwCMQ#K3+yzjHTovlR*!f)zPA6T^CB8 zFCTsn9Pe&uSU~1Op}1*$PI4-=IP^>jBObPy--o2rEZhS|?&QIgT-YOs6HFn+J zPbgl0rXT9#;GbVQpMW`cl!&X@9>od}2K8E}GBs zx_t0@;Bv1dRKT~V`7O5VeeuAmozT=;A9e_LXnj+~b#KHvmJmTTt%8=@J9Fk{4a}%D zJ4Vmtdh-3X*gJ0ia>8u-ud&S7aWcA)Hl0U^4lROLHa+=o(w=+*B^f;w?I;N@+S$MQ zJvB$ZJ@n3e=hJQKSVKA=n;0)NZ)yJMq*>UdLj0tMKL{l?Fys@;3;unnnK*E$Xu)C4 zWJX#u8*PbFV{^l?>Qu>vb*VJ4>MD37R`bt3jFK$}^V_*WN@-CRlbGy>dx}!r%wTqj zcTX6yAnfH^X#}w$7j)y~J`gI0-bmqX`TAVF>U%$4;fGNPoo|R zP?~gmJezWJDKA=y2cOU|rg#Os?EVyy3Q;VB<1Jb)>-SNoYK#-S6CoP%=K=aWD-NMC zw3-k7Qw$c`ANkT=u;bI740egI?#IVURyG%_5*3u<7DMDv9wjNBQ%6fLm*$`&lT*xC%3nshTwc;_!4J0BN6T2KVc0F8& z`ugGHKYKO(u~j;)1fm~T?)i+qG!Mzrb^nz`86jgXFS^eUCfw*A(U94%9r9&Beh>o&D8ybTzF|6FlrG+lce4OV4P^>UrtTduoEhYas#TAV)1W9*I z&m%p7GzoHu+jeUl`+ATlMKKdWjK*FTD{l zMx2=NTPTfuh9q9~H)A}pNBk4&Hn3Z%z7==uTXq}DTOHl}@(lAuRZx3C@IhQq#FSz; zZwcTxFUwIRmJ~c$?UXiAWVT-RmhB3a=i_;H^0`xS->f|>w66(ern5Px@7f~PfpR0% z^P2cg!0=4hDUl*>IMEf`s`bAw`lPGDt_uc-qS~2OFjYm!mx*I<8cnfIrZ#m0&BR$1 zy0$4FOpj+%2&ow)^ca1lmT&*4>WtO9F!3B`hTiGDqFw50jYVERR}|AnJ|Z%|IgDWE zp&GEff;yWzxBbBN>UuX|*+NqN{29aPz`*h`Dn4I750bgsx2zEWR4HsyMx}d{W=&#!MBV(eg`X5K_$iI!IB_ zz<2(5y|6*9i5scNm%{hmii|N$T%xuww{UdTqokzwYjpEL#jWL3!qRa=>A=^i7{7)B zs4_LecMtw~$!e0*yC&<7e0rxm%!{o=Lb+p;93V{94darmEae|7=w#;)Wp|Y&Qb*3T@h=sHp z_~{um2AZ*xlLWE$X5)Mv6RDtx{47iPZuXQj5N%M14|nkE*N7Cwgy4XMK<&WSiq#)C zQ`8gUj7Jgj?VYv5ko!<7JFCd1+0X~xK1;-q+C^Yic6f;LlMJ_g|C+2II3ZZ)t~4S? zF}xd#Z*1gw(k2^(HiQDCXV@WmsBDmA3igQHI)#oG9W;g)ZNU?U+>j-DpTsW=M9H&h zfe4p6A|&Z(>GyLMaRhSQ_`LDggp+qmZ)`_sVH&Ass(8ijvTd--uC*0;^jzlsSo`jf zKpljC-|F<3UC+Oe1W z3f=XsNx`*vEd9cm*JVXkN}8YY=%WS6m_p1+J$fO3@j7q0U`uF52rqgVx`MoD|DX^Y zy;>G8L5Z6rL3EZpqJJ||D|&=i|DjH^YqwIt6MFU{F(iP&Cqd?t2O*hGqD;%OyF-N8 zOPw*r#j~f0gud4wD)ne)#OM6bv16|FWLIw;Yu z1NWsl)oelOc6E|U`{W~ATCWjMU3fhzaZP3PZV2q^9+AY1^Bl0uvC!Vg)7u}GSj@LP z$7{e9i%hBRf0DfvtdCnme?uLzm!fF9e)T#E?-Nm=0q9XO?}wcaT)x<~bk`)GMRukH z{R4yU(tYZIPdd|<7YH>XIGWlB&*@5!Np_l-NV>RRd?E}~cy}hs^VdXMxS9E{zkSrj zE$Z7(7~D}UM1d5=MhMoOFeFN7IT2zN`BeZcJC^878^#?P@Sd6HSQcOA ze6X153&BOuw48)9`AP78j7{ZmKXr@g>&ZQuZw(ZA!jn%GMylIGuR9fF)6q0P+NrId zA7hwbG|~_KY$M-V!0T6Ae@u*#ZDXrHW;n=ki*5Rvmdz!%9Udv;KP=q{@w73lr9A2n zg*wyaLjDHt4+jPO`FEQf97#mtS9aJxO+vZ!q=|lZ7h|@B%U167TBGd8h@15a;R{ML zZu4T$xf0l0TRv1*m1pp89>bnElx6&-89cZ17C9G^Pg_m2L<(wu(owW71sd}Yx+2Ww z%~;O~N%2cch{Fk0-}UK>#!kJ{65sm$@q_VshLh4x`p?~3R=$vxf#hAx@>4YMAHK4&{uep~I}Y`jbD# zNYb)Rgn69RBRo#S^sQj@%U2?!!nl{+ZX*P>gL^m6QFHyfuPm82NBO3L_sjb^0D^sP0$vaFc1T5h_A$YH3RslIdq#kZBSaW;c;&Dx++8={Aqm;~ZG9UenBE zX{h^-Jg^MNl2MH}5En_U;=hOtCC&4qvS8G_Zx=v0Ow!LgWbMhnus=HFmc>hXvA=+G z{zi_lKpkh|kW{u>gnH2XlGU7Bs4(twTe%EXB06tHpGa0czB&mk>ue zrm59s{U!QRJ@u+FEJdkh{~i&IkRH1EC`NY{tmsoKDH zNgq)Y;JICYUcTz2C-~8>7?e*EhjwMME`EXB|DMPDo?qIBqpROXQJ{Q@!3Xt)w2zWv zMX+WlhLu>&>uNgC@Ivd;e&oc8HOB0eAx!%aIwd{g}ouEd@MIcSL;16*hiE-1v*jfA+>NgxHpg`@(aX zKOaF)t}AmrDU&7;Y{SG4l!v(qU62#$OI-=H{02Vu2u~*eRkZyOA8UxNIdBlk7Dc3> zIZMcfzeK34;`zCHm05XWIkW!WgO8jiL-z_cMc}phQQbG!<1ZRhf%9f0Z8wN zy|fZXf1Z9SeY8D(E~nW-xeyzfh)}ZCsF66TLWz$`0a+9PeL>`LcvVR5L|;&vsW?&C z!Ya;+Wg-1>U{6sZR=;N>N%1^W>6mYHN=yE{ESV@YS1+7!h80VqQb?z(mAMvm+9_3e ztu%pkpYp%MLKXT9R2%H0PeC=Ls$PtzZ$)C?G|u?~Fzma6f`S(~aI_7QqMZQ;Sw7&* z7GUh)gQ;`EzNs-R_iSBI zQ&CZYz_v~`_4KUKk)RUUV?2YVlaM55#>PJXYsqu&(QLdB^cNf=YMYzq zN-{761JJ<;P~}vaad9h(YHCcv!l{6O0R#^=rBV4lmvs%m-~sIn;CN;Zj)JD9l!*x~ z0H|(_3=XDiDM@c0n@^QQ_AFYoqv9tt-%hvrqy+REiE3p2ABIK16kY)=OVwbu>c+&BOn zoF9O1QZEmeVg@Z)8x70n0Em18XqYHPkpm7&u@Eoc4O=sT-1Q5T1`4+5iTMAHu?taR zgD1W8A;y+vLMTs>NvSC)L`7IwYylG{JYmVxdw#Gm=QXLRFauC_;(#7J1^t`LLv?`u zG9^5)^Cg3WRd9OU2R{GS*=ld}MNzPU8?q}YDmntNzbQb?ldrF@v*}8A%IlomS`b}= z7(rv_9FpS&%shS(E(>?urqzp(v_a!3uIGA z76EQpQeIB({yLnkBJ_5R=J6jOSKm>gC2BiR9SdOg`hRmE% z`v7)ewvmil!G~{fh)Sdwrq)A##Qprij0DUo27sy``~j5Rx8yp^Q4MI0cUE{w6@4{U z!%zT7YP$fEE*$Vvr9s`xENoSn1IV0o8Id-8HT%Di*paLo%6pWJEVvDU9tBBbrKR)VH(y--7`$CMt>02u83m?mRwu;q8Hf%5 z+5QzU--XeX!miRlLPSE(_V8=RpR*=?gRlE*X#iBRzP(P_D323FQQ-p=M;z)$Y;O+t zZoB&Ev4H`7fa}tDi0)PWz{ESyxPG`j6u$YFCw$yPV9;Q1kof_Kp-9Ew^8xqrJ+GNx zz;S*60HylPu213MmFEF~EZ+j0`-##Y9>Ag;v>tX00qFE%4iJk8xNeUc%b3fKW=LA& z&nX6YRWu4l{zKv^1ElQ+5btPeYUo8oZhC+t;4o}P$_-d> z*II|-cUVtTQ`0L+K(jiwzdz?us}abr)g^FmUGM`?m3+jw`8?PF;{;49LVYXF`AF$6 zHlv}-zLpBZY=CJL{wFqWTTRXpnCs4yC4HergZ=ZRvhogK@#piS+fEKufBa3Ji>ScP7a*<2pEib*#{iv!z{reC8#fzP<{yKE=D+augvH@MMNdsrkZ9bL zcG~bp%PI(_hgWnPUtqu-e{_dnfUvd<=s}9=>T00VAdcz(adW=ge9*E>D(No<2g|_< zCw~1}wl# z^EfQESFb&Yo@F>gfvjt*qV*sb_$q)Mod5`$$M?dXNhL+2avt2_I(Th0(`yk>$j^b5 zLdx{mPPfLKHoVF`;LGxpcdYJl*YvRj`l2I-d6_LA8}@`TCy7eQxqvx5mk-KYMU5&% ziTw(QN51jieYo9kM4)~Cru);ATi_tu_2z&u22pCcWw!zYFtp23w;z!)px}0c;97?& z*Nq{>{l>-j?`TCuMVH-05W!V~!o$O1U8Il^O56T5D1{cEqFNUv1*T?=`2Rqg%21hU3guwV)rC*Z}W_*-~{tz5+pu zPo`SocugIJd?cynzK_k@t|HC69sA0nBB5Ub&dXB3kBqWawz+$a+topsMpgi?bah{_Zu4U%q zoUy2*v+T?*}YpHm)#0L?;#un7o5e9+`5!~{Zm>s*_kaBZx;^XcMe<(C|scCWZqzp0fZMv-1kE4*R&;% z3y3wRU_ENxwnpvNfc@x3P@xWLX@5UEbI(wFmZKjHa=r=89ihqf=B+F@_wmU=fnGomL1k7*p&MFX+ULnyi;0P<9F=}L`uXFAt0Pe-0txLEZw8y?&Kwq zdjv@Zb_JuH_E9)h0gZux!|bOK>mPRY6OB$wh->HDzrO_Bte;_s^ z6R_8>zr`WrL26wX1yYg`Akx~NseP6%;IIlp;~Gd*nSeA6_~2TbaeCkxBEZ(dMSX4t zgGhN|f_yCY-#;7pF6ex`KeY2f6M+^K6u>RC0E3uaztw4}BO$gdNtvWj<^h#O8Rfe= zU|Ls!Wl}u=b7uUkS49;C=J}{H;64K2ve;jKNP`eQZQ{$3nwnaFQ(@E?4b~iN7yzGw zw1UUy#1f3*rIHfb@$oVE0jTy;L_AoXI`0L*q@<*f0-_i0Rl(wy2yB7~(7gN+1Do*< z!Fw%AFon++ANVSdAs}UuJpE(jqzSe%n0%qbwo~lH``6Xx$Y2Ne^!ICPY6bxpHIc7` zQZX_-yatp&eH*TTYF81_GTb6!(?hCgI~j@x(R?lt zz}xBrYJ}lMvYj!u{Rk`yf#+Z&&LGH(#jAeXq$Xa3fK=O@65z#3rvQKEx;f2$ z%K!ZNq8@$c5 z>I6Le8qk6|)u||>-u;C!pHE&0G@iIw4W!~gKY`~Bsz{f!{Mb$^+3&xeS(&@HWv^=$V3ZolB$XB*R6x3JPpv&Md;Gc zz5&4r|GPg&KtZX){zmR8iqGlrI2EB^pq{!Nn&JU=svb0jV5T z6VTs-B1H}qDXpL!41h`GZRm)=iwNbd+|FKevh=JhiJ9H=Xo2*RFhmsWGb$jObIFsB za>b+)Nd!7TxbPZi(vLt+SPRmV$DOItm(!J|hisgj7Yd+4r~{?^1|WIa0zHZhOl=w9 zWzT375h*IBy1M!!2!O(W_B}6^)zqwkbO4h=fZZQ_y#Vcx-$2d@j4kSGZUJ-|28V`nOP{fV&JB>^R==C(1kWA# z+w4~OcK9pDt=Hb)70?5z*3s3yF4NmJshzo#0a}??oXPJ9s)+uE5HD%Yl7V*&*Gh0- zeoi~Q;!K&9n8*k3!FaVUw5u>B{IISy013k8F7Q}z3>~yK6u`3p-0kdG!JY!5)cA}H z6;S`Q`&`dqm{cbJZx@D>^Lt%gBB%iYrhYir?(1a*?pYK(ouCn*^21<`R0HSi>WK~6 zzh-BuZN&iIJ3Vet{MpqO&lxg{GQoe3Quq!Yr4V=^g+sfr;(P|`oIQ(b{fWRyDcace z^Y;mN{+-}y4j_k#5Ec;;iH(h227&uK=n8fISgGpk>wB`gw&no5T}DcZO}$|`1eE0D zR1_31fiOWj1SlnYw@!UNNMxg!JwDtc6#m}kIUW&0#WnmoSJOK3$u^^4}0&,very thick, line cap=round] \begin{tikzpicture}[node distance=2cm] \node[ellipse,draw,minimum width=80pt,minimum height=20pt,fill=gray!5] (a) {Agent}; \node[ellipse,draw,minimum width=80pt,minimum height=20pt,fill=gray!5,below of=a] (u) {Umwelt}; % Arrows - \draw[bend left,->,very thick] (a.east) to node [auto] {Aktion $a_k$} (u.east); - \draw[bend left,->,very thick] (u.west) to node [auto, align=left, text width=3cm] {Zustand $x_k$,\newline{}Kosten /\newline{}Belohnung $r_k$} (a.west); + \draw[arrow,postaction={decorate,decoration={text along path,raise=0.08cm,text align=center,text={Aktion {$a_k$}}}}] (a.east) to node {} (u.east); + \draw[arrow] (u.west) to node [auto, align=left, text width=1.8cm] {Zustand $x_k$,\newline{}Kosten /\newline{}Belohnung $r_k$} (a.west); \end{tikzpicture} \end{document}