From b6a20cac9c8683d8024ca58e3402de6cbdb8cc1b Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Wed, 30 Jun 2021 11:42:53 +1000 Subject: [PATCH] Generate assets in separate build processes --- Makefile | 13 +++++-- assets/img/back_chess1.pdf | Bin 0 -> 5791 bytes assets/img/back_chess2.pdf | Bin 0 -> 5929 bytes assets/img/back_chess3.pdf | Bin 0 -> 6024 bytes assets/img/back_chess4.pdf | Bin 0 -> 6103 bytes assets/img/rew_interpreter_plot.pdf | Bin 0 -> 11011 bytes assets/img/src/back_chess1.tex | 16 +++++++++ assets/img/src/back_chess2.tex | 19 ++++++++++ assets/img/src/back_chess3.tex | 19 ++++++++++ assets/img/src/back_chess4.tex | 19 ++++++++++ assets/img/src/rew_interpreter_plot.tex | 44 ++++++++++++++++++++++++ assets/packages.tex | 10 ------ chapters/2_background.tex | 37 +++----------------- chapters/3_rewriting.tex | 37 ++------------------ 14 files changed, 134 insertions(+), 80 deletions(-) create mode 100644 assets/img/back_chess1.pdf create mode 100644 assets/img/back_chess2.pdf create mode 100644 assets/img/back_chess3.pdf create mode 100644 assets/img/back_chess4.pdf create mode 100644 assets/img/rew_interpreter_plot.pdf create mode 100644 assets/img/src/back_chess1.tex create mode 100644 assets/img/src/back_chess2.tex create mode 100644 assets/img/src/back_chess3.tex create mode 100644 assets/img/src/back_chess4.tex create mode 100644 assets/img/src/rew_interpreter_plot.tex diff --git a/Makefile b/Makefile index 2cd857d..5b95fcd 100644 --- a/Makefile +++ b/Makefile @@ -16,10 +16,18 @@ latex.out/.sync: mkdir -p latex.out touch latex.out/.sync -%.pdf: %.tex latex.out/.sync FORCE - $(info compiling $@) +%.pdf: %.tex latex.out/.sync assets FORCE + $(info compiling $*) @pipenv run ./vendor/latexrun --latex-cmd=$(LATEX) --latex-args="-shell-escape --8bit" --bibtex-cmd=$(BIBTEX) --makeglossaries-cmd=$(MAKEGLOS) $< +assets: assets/img/back_chess1.pdf assets/img/back_chess2.pdf assets/img/back_chess3.pdf assets/img/back_chess4.pdf assets/img/rew_interpreter_plot.pdf + +assets/img/%.pdf: assets/img/src/%.tex + xelatex -output-directory=assets/img $< + rm -f assets/img/$*.{aux,log} + + + update: pipenv lock rm -f latex.out/.sync @@ -30,3 +38,4 @@ clean: clobber: rm -rf latex.out/* + rm -f assets/img/{back_chess{1,2,3,4},rew_interpreter_plot}.* diff --git a/assets/img/back_chess1.pdf b/assets/img/back_chess1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3865044c5af2b47063e64a59d20b988543998a11 GIT binary patch literal 5791 zcma)AcQ73M)(#<9g6Kj-uVF2AS)EwXduR34S-rO)LUbZp^xk`o9yNOJy^9*1;CtVh zZ|2_jyYIc<{pUAl&YU@C=A7p|&-@O9l7u8Xhyx5@*gQGB2JlgHQX`G60D^)*NlP1N zgdg2VfiOXuB7kxTJ9B3XYA}dbSQy~s?1(V31-Q>2Y6u_~IdPWn*!UoU>M@>5 zsGo4qW1m(vUQA}aja_frM9qZ_$4Acr$lk|sTaN0h9lqvr{eJnx3H^HDcvpb)SAN> z`vlX|mT4v*S6GkEG>#6odpRn>Qf^{DM-AQe^}e$xbxK(IMj`e?2cR~ilHn7LmN=;Y z{`hca!`A_gwB{*U|EB*_+w&9)42^F|kY?#Rjuxvrp7HJa!o$O9n}xQb!=+*~0TP-~ zK&fsqdkVgGNhjnwuC)^aAv!D#+TS$2Y+hglabA^ghpDP>nm9E}_*4bSim{wm7qfMbTgB0X{Q zhqL5Fxprp16LG?b`nmN`)AwmmzzD^<2&D;fbmo=q6Neek0UYxbz zN@qp`jn%M`eMxsz5(gI<+?@M*qQ&P5^|vTQ0)VhH{a-x%Vf_gp5Z8Z$B<{Z=2_7qt z4CKTKKE5Fqc1>n&)tHyYEX*$IsVkeXa8nF4l46iR!M(qdT`%|uL){BKyaGeSl#gWQ zT^(qeO!;A|AKpu|BF{kc;_4X;I;}-!}>Gd-v7uOC24V2mT zHxY;4Tb>@mhuK6{Hq1B9s+g5Kj+#q7Sa&Lrr>5jjG3B&*6>gt}*$U~MbS%GeiD-&r ze=`i*vMbUqWV>W$!qiR^Xbfp0d>fIyjtWj-uX@A7^w9>XFswBFxSq$W>1x>poPh|j z%6XFIDci9qgcxU$W(8R&o^LXThH6NtCD?>a6Ul}`h|ZEmB=oxlNzT1qp3oRJ=%p)J@`s6|Okof>`OhHsVZI)p-VyEs}l-hMyp79J(ym*GOlb_=D zHxuCgZzjM62L1Cc!<9Ph{+K|^4x9G@kGg2_ArTD?K5_iKdbYQy6ix(xEHj$??|Ugx zp#%K8IS=0|gU_0<+?>E&GjREs7*l)&-+sSi5Q$fzl;abc#)TsMn|7SgU)bE55NZi| z-`3ROpwvd^RrXlV`j31#0>4RZ#JLfaBTK+y`8l zy546kK(_K+Di0gB@z*E~G3d^F;@^7z(=D+BW#d zTz_}G$$U2wzQOR~HU_OZ2i=@)IH0HJ(rVd%=H9!?b&jclh~q+5`U8+I0^-ZsEaC)q z`S~~f1OKCcsxHRP9`*>J+8+<-?SG&~5C{tSOFt)(7KG+xPfo&Y*R@Min|`WHx@$oo zzqxG@S-J6rN--cxRe)2V`dL0mdV;}nVzW#-ZlG;jdR%Xue%oMSc3$Jqg_bSO7Blc7 zFpl=%d(O3y_{Z!Nle^UhSq@9ro$~=e|{630jYh&cf;){*j|Q zt(nq0C4`W@&O#~3g`z8$Zc!mqb;VOm1eIVN`wwPU7A zN%pxvN~X?}Ph}y$ziJ>lMy_<#Ztddxn_r6{dEhD+>*nEBwVB`Q-P*LoKc@e_aE#J- z!S^#L?=@)d3Qtipi?AHP4)HgUjlJG2Cr`icZzm)HlMeBMj1JgHs|OeT$jiFPBq(H2 z<>(2}nKQ6^JR($(YOL*iMqe|fgjw-^EF*yQRsEE5JWJC{qXiL~HGon1y`*;3ksuq8 z*Wef0iQz=vwS1w%%tS1k(c{;@_{LsMwcQrbjH4)=KXoci>5K$+TozArSI zz^llIIz8g?MAXmh*vOSOWdPAlec&2UalB?5(P$%C0q10q;K*NfMXzk;Ormnb#fer( zi5Nr>Z&6qsOqFS>UlM&QYxZ`us8|t}V=ke2_sr2^YgTub`(Z*h8`oYyD2?%Gj?WCQ zN%G(X!%JDX@24$|!7{Pcx@LYQat>-Kb@^Om=cUUS(b8swrwNhL>V><{=b0^+8)e`0 z=K~cp>A#>%e4XF3<s;ju3E&3u`PIrqapIZcig%D@tzCEuT-W6KJxlPJ?iF0H$ zr?pqCfY#A!7QIok2}9juCCTR;nYmM*y|lw2UBz7-jObn;WI^@86$ly7Fr{dmLO$wtj|&zQ)>P**E*s(awe2kOMDX0 zMr#!TCsaFn;|5r7YT!@~+kz>}F2-iaIOS?9Ro2e3ekvQy0(1uySmm-7Oe$GLKP)vU zl*Nsglt=*DNc5W&j7QRCt0`_gTlGCNVx}tjmC+PKbc{45N>8l={)kjnYAjx4u!_+o zs#Vh`P_yBHU>DVB=)lHcI%=6J`0DH$=%u_RyizyvogN!%f*kDH)9hq0tW=xabq2gX zA{TH!Z?P_ZKE zQIB%t3`E%rH{Kv1_M9L9UZK@83aA>@V9;svUiyTE7_)@uI(%_3-1#-@;a#KDWleIL z|9jMhS1gy}QMTibESPk-D(Zs6KXlu{FG#tjo$6Zh9A$gge{I&;hUAiJJ6PTrb7yVh z;oB%{yjWqRO5ufBsmI6qj|nsRnZdRK;X3lcNvD^;e%*8l-*VGX$<@%xoA-hDYQn|K zjkAOj`S2v|`nIxk%qqo3n5W1;4LbKk50|LsbIvi=j&)gt2Orqx;Rz+Wkn0e}S#$1_ z9a*cH7ZEeoe(Ikto|NqQnrTKGM=%3=@vJ2&bSkg#f)TuNG|b6Zo7~TtQjhNLnOqH~ zdY0Y8ojL&WFl&|N@|fRgd{+`v?i3XPc%Hx%?3GxblH?p1qg*%yu+8h=cucw+!BYB);B`V($&8K$H7WSjnCk*<0D0guQLN6ElMDbz<4@4C!X? zHp;K(;67x%DYWzLl<>M9tu^3fftztPc1cABp`h1knLtLxsg@gy9`(Zuu3hq$)2juQ zLLcRTyht|ng#PL68ufECR3Ei~F2L)#ZRFDj$7^j5S-f1DPezfZ-?|Hy6b?s=WwHA% zC=~U{f^zSGUnUd|jO^Z5PZO{aZ8r&%;nsCfr6d{+8OHiM(HkCp=7SN}-<^SZYA_zT zlkuMI(at0s+>bj8zTq@D9keyWidG~GBIe{wjq3!)%(({gT zA9p&8rF?A_XVvI0v7ZyfZyA<7?5vZ$m&TL|8f7#uv0tv&Vr}=9pghLEgjUB z%&#=y*=1~7A9?84*^>sQQn{gc61+`{Q>ocux9I(q%6^=2117;~q!T9>>R45n?;>6G z_ZS6yCp|SB5MkAaUE;oYzD78g5vQ}yD|CL*FE-uMgB_ZTGE^^Z_Q*Q%S5`*Os)Gx# zgov%eBk$FMPx7fm+rvZqXC}GGVuJE)FyTp_Hx6H>TG4I|eK#Q)00<)vb>eq(5r2@SRhm z3{oF0FFxk)BV}D7O2-+?^#OjbgFI`_fxe!0iW$_@Pv{HaPWtE zlZP*&OW`u~;wXLnzqYJy8aaeo7?h*!AL<;#gUEpf{>46bU?{#RLUVI{^pr4aN-Vmo zDG|N~%kWWULv!Sd43MM=!K{=~imfoAB%6g#ANCEs{b8r&zN5oy>ili`xz#fo#|lp+ z!IY(rCTV~jX6KCEN^QLGmu#U}$=l!{&sG>*FS4$vMlBj)up3M_+Zt!8c`xTj6i;(`AAQ0b_md+DU02nP7oNz%j5@nxmS5L5 z#@G?!B+{s=&r?`VGtW2U@Ls!qwP~8Q!pwQCXcQ~|Liaa|gPQ29TPg7uUy6GzEo@ZT zAb9Q~mJ*Vf-|RSh#CBcNCWmM~^nI#gwCdumTyA7QYrXs=GLT@cofq#N<3Oh~(e3-y zOWQr8wte!|-Fe6l6HO_v=mCm12_Xr0#N|K-J=w{G+IWLPhp+s>deie0c-s|zuR7P_ z(xFC`QS|q!!bZ`eY8qeEV>wkrNU{;j%*2PW_ius}67h6xq8^+^AFBd*^ZOkt1S_n^ zncvSTw?Ar;s*%0PZ?CsHe^C8(aAmNSn&}m~Pn63LCE*mqcD1iW$2Z{D=z3~80By>> z@5)t9YE!eGGgMIt23FNzZ7!x(6tpG^+pqwObB^j3{bn`H<;wG{#s|0|KOX97v>v*U zhxS5M!7rhH+tbhI8dloZ<7q6{07W2aPWPs^F&S6A<(G7tJp*UES>pt|FqUrfszB z^Dhwo()O}n9S;h+2A}`neBVF@r85`9Su<_ZO4U}WiT?HqWN;_n*bDylB|_v`f9*T# z50lOh{DBt9FrM%HOOWgvDRT2I;zcJV`u#H2@`8%HuWZRT$ar42=D(3==s)E7-`{Gu zxc*s&tql!V@$q?@``Re%Q>AUyU@+tm;1e+Gl$|# zftWMjZ-4jsSIs;3kv0SXC4jaqHChS&$CVa}6+Xl0KbykO5YO_?5=B0{_}07A^S=6M z9MH?VWcM?Fa!N~kH~i{egFaDUC>uWPO17|9r+I6^D}8hQ?nhB0hrIyIRj=Uj%4;fA z_iKxEAYVKvJ(TmghaV%1HTP?OYrXjP8vfg1G2|jJL~ zXUYVclMT@Bg7QDgZwq$6$+DXo@)C@3{si)2yeHExj>>#KMo#e@VZOAA@X?53#nJs zS7Us2^b3D zG=YG4d7%i1@c$nH2dW^E&VWBlr~swy%#hT7p5;`4s+OJzYA!CIrY`6Y4;TDDEi?F^ z3520n3|CYXUt+9?>bnI2jZIItUT-aBHzHUDssDg6n%ofsW0F&9U^b>D5kOOr=b+fBU%kuK`K>+Nl2fG&l7!#NYX<-i#69dWG zIie75AX!Iq6hazdiL^q1ln~A~C|f3B2uxfY;Er-bm^%Ty=67|Kk>9~Yt^2wMjr67A z38y$ja3VC;$vSTlv1lp%grZ<}^Ui*BH7{4fB${V_az-dhNxV%?Qz*0J0h4V2vlkXy zMIUV=yc*HF-+b9BD$;(VfB8)Dr7t19eFf2*t}6^y7wKRf4qU=^Op^Pb&vkh^_Fm*HUql$I{4(2uZ9^lqDF|>m`kLVLzJejF z8iFeW1WFZu*eZMD8#G!(f(c?H_6r(J118Ay4)Y1ApFXoUk_VvH$TqcQe$P4fL*rU? zn7#Isb6K*FgfL5*j6k~+{_L+5ibUVz-An0WYh`hmX(va7wWvpy$_8vU3hMd-D%i-| z3iZ*U)~*d{SSD)3e#(=A3PNb3B1_Lou}K5v|IR6>dgrb`WnC%hn&}AicKCf#+-FDc z&M?jT0H8{7&^JA69V1lmin^)$kB?E=g&(AG?B^p=5K%UC;`M3W%u8>q z(yb*4;@l?esow@Yni3uski=0)tuM27#rI;KYy5bOpLiW#v}+++^Wv*bRKZGoJJ0MQ z|A5>hk?9jr4zIMV`>csRiQ!=xf5<}34z1j%r$jPqbhl6q(p3@Cl98 zWH%AR^<$G;%*Dig900=E>VLrbhxI3#`33$zuomPO{%2Sl$1T`@0~5X3zol&30kQ`= z%uC{+1lvtm62R|a(tcmYy&RtUF@p%A`$i^k4~=4)ZB4_frbMkPIqLNzm5f z6*`R(Gx>d@dtbbZuZyO#sKUO1qNYG^BR; z=x6Ns>Y<1S%8U?KY=0x7&O{Z(WkM^h@J5w2QrMiQ?Rna`2l3yO5Au)lX}+>RdAlG$ zT7NwJFa85d^Ye>9|5DB=q!NV<5aXa^%qO>Rik?UPw@fu6BCycRIw5F0b?Gg_l`hQD zxqs{~r@o++H{mQQ>CDGzYclCBr|cF_hfGbxdZ=%xKIJJ5V+J$FHTcC1n1cF|aPn@* zps_FSLgpms`aldBubcUL1DS@Ps{Cviuh1p?jfsm!rB}Et>KZncrh+!==}W7{$Fd z$6`GrZ-wJ^CLKB#TP~;rRFD%UJKd@d${Z~+dT^$E%WK!VaVxb{mx6)P>66q$LgAZI z9Ykj{?o)36=mD#r(VjHQkF@+RXz~o4Hn)C%2PKUy7X`GUOLXbGRJTtrj+0Yd;|EFw zh(9Ob-3L-jYq;ZIVq8kwy3e2_x!~Jfw)Nd?mL^6_!@A;PvIeMh<}p_ z4iVea`0~6K-JjpCn3gh!dn=SWA6spe@~rg{b-%@!-Xz|Jk9~xyKD(J2^~R70wBEPy zU`ZcDbTjRE1Xu1aJ4JqRl&v%db4l|REqUNnwt!Q!Tu4abRMI1d5L9cw?RVD7leNz% zn?bE!ZeF$>;!>QYl5)6iwrglQwC3F;p(TlnC_IZ}ZwuR+v{82V0MFM%yz94?6*PVJ2N`39}K%qLq4`W#D2H3?r^kW8~}GU?j+TqTk3F2P6lU{)c4nNSrUcv(RCi3mQ)}eGZHA36TC2+gM_p;r`ty|2B5*4?nC34)Q}Q zN`%#5=a3_9u8V&@M#HkKvlw-BC=-z-+1XpUqJEn5$N9@D7DAyT6q6%3f!J<2uIAh} zq|siy`TpdNc*mGkSiEKhEk z9!4%6K8X~zi;#R~|p8lJ< zPS1q0u8Wu8vyg5Y4wYdgjy83v{}s2l9Bjb z`B_AnG>qEUOU#rwl#*FT@9{Oz@1sLQ$wI=}Fl%{&3mPRbN=kxNC7QdPB-N%^I7tbC zI9ip#lC=mKi*Kvqyn%Cm7>O;@`Bi>nXeJF5Eay8pHLVNqws&zR~9~Rw=y@E;>(A_I`UIW7( zjZ{aU@&$#jy9S1;*LE;m$ev)XZw4)+QI6DS4C`Ua7Wf;>lXuNy+=-H(qBK68T9KTXIV|68QVYi|V1QJ2;aPH({R@=2?KFyQ9(2xboQdt0|D3V6?N ze32`St#FTy1P~`b3G+>9NKZwD#HxQ91~?V=|GH1T9ZshEU`Uk;v~foJ?N|;`9QXKD zB2pOFqj`ISE3uW{e5&G2iR!KDO(k5n*oYm)@jb9>#6^0#c#b_Ya`hT^ScPviA5vU2 zV7CR+7JFLM5SCVEQ;7KtH{N6mus=2#(L1lNWM3J!Xlup$I7+P=*N}5#JF?W7l zGegcpx!xoWB&qLYNKY{zHj4{#XEWPNfXPrbTpvS(YVqy`)5y-}`3P!MjfWZ)+8zfI z2s~4JpFb!(sBIW!DxeV~^KK*a*}T^}_nc@o&G7nm@1v8>3V$zFyoDlt4U}d~Qd~l^ z)D`hMRfX17Z! zfHc6I=q&OOOAkpz5 zynl8|02muu=!kEe>T`LvJLu#oXBe0F2_W?JlGE8zscXL8reZH+cl%3beUMx5&$P!n z^WS1a@BLHoK#OE?>C!R*>x`2M=VO&JCvn;i`zi`=^|@dtOqfGVdq02N7i}XIJ%rWv zvwt=O2QrF#;7xFNIg&fZ1x4&f;Mi?v>iYl^Txv<-Y2-v?!@X%Er!i&5FWICp`}&X8 z>@UCY!CTqYV_fd)-9CiUfJ}o*{I4M*WL5~>)s?YBis)&{n69Q2<7Js_e@z~2H&|4# zEb}}3s+VeUm6nfzXycjPzTp=G&U#)O22d+h^9->)F0)&ukD6HeLT8f#z#0GRtn*@B zqIgmsJWlp1EYzn!*Y0zTZRTuevy&6 z#P@WnMKR3#qV6$$Y?S>?C@#GY_M{CxG&>*qAU|c-JMVKHU0hlaMoLjDU}+Mka~6eS=yWz9x=2g*bx0>SSF%nuj zN!oE>&3Dv!h@YHPyK%QqLse2p4IQKJ+{f;#gP}$Ju9aey4ilWO=hQpy^&V*fpB8mA z*q_{K9_^f)u4U%VE{Hb!?O>3hgHb1%(Ih8kqI&x{$jr@aiyHk-+sC;BuZ7Iwt!q{UQ14j(+8fp|Km?@Q4H0;A4sI}w^`P&*6nBCDUS4gU6v+7LoXmF z1K`((`1CcJzEgY zyOgJ~S)=;luEw@q&RtPld7Z(Nc8N@cdba$HJd6B8p8x&bNI>A9W!S;YY>A9asHLwX zyQ9Mr1B0v(3;%B-gZ~lvPo)Q`TG(r%oIol}{DOZhKW^?QCfJ|Gzq?gIVSm{v3$&b& zlVGyDk%|MTfpX?9T7g1Hdz&x>0L46jZC|v8a|JkqO z1^B24^9OnIC(>jL*rD!UEhVwY`^1-}r5oA8}}K)Xtr5Tf7v>JSay<7~5TLcReolqrFiHgmIX& z{|C&Rx%?_Y&$pyYxaUw3CDTOjctCUxk_j{|zgR@%l*Lvg*+}QH(TkffUHC%$E0#EU zYt?Cwg)vsZK(1zImMfp$EFuFb0M5L=DK9-vKZRdTxN>rM-4uLxx=m|}vD4YR#^!6wE>((;C35{^*=A4V0%IY@|(W(@H~`o+v;9UlgXEncSB3O{7Fv4%Z6~okCDshVda>CAosb z>XZcw9*4P2CY|#NVL2}|uL*=wxg4y}kRYCm)%V!^dAjAIEop&(GfdUD%Ijj?Pjj88 zhkeCjQBnNqMtAN48A#;)4yXGx)$$K|pr9`JD9849$k5x`N4VSqi8SGm@B4F0XN?$Vn27VZf8j&M$O(JXoHjlnl$#0JL38sLCsp%mQaR9(3enNly1HN)O?g-vv)G=r|`PWes;QwEv zrl*0h1}R7zidk6-fGy3zR_4~02nfH31wYIh#t##)7KTF1EntF{;{UgYF-QZ6L;?Ox zp#f5Gwnj4jd6UxsY1;W9m;?ksx`zCJ{0JETr%{IdGkvi4b`l3Mkx7rIQc*slpdd-I z;+pC1)=Pbr9pBn=Luy78!WzM*q}IrpOD>v?Wf+}iyWhU`J~MT{IPp%J*U@IGCl8A; gM+SHHUkl-mGIv9Hxgo3p5Md!f06V*ksx08Y018I=Y5)KL literal 0 HcmV?d00001 diff --git a/assets/img/back_chess3.pdf b/assets/img/back_chess3.pdf new file mode 100644 index 0000000000000000000000000000000000000000..db172fdcd43d5ccc344851e2732af07ce956284f GIT binary patch literal 6024 zcma)AWl$W-mJTis=w;*`??Q-1FqLRLRZx3B^Tb(Et|lXP;GS~ ze-znp)T&^6N71I8gc9ep7Kyg=qjaJCkHyuO6_VUdF82Ea{Z~+c^4u{tb`}kG&y%bI zSc9`C0G^h2HR&eY-g#$o!#B!IO=Yi!1y&yZ9M6gR7GML`gdRU#JwCeEWMoz!YM+Fc zSGC-EimHd`{LHyikfRDnQh zIuSKE3jPvfi&*H?q0ADcoR+JQ`^|GNH`J%|I50Ve2$Cw=HXA0LCFOk+%Vs{YeMjX& zWnl6`_VUu<18Z~h&$fjmbZZ?Ogn?tItJp@c)Ms1s@9mY(gsN<9?M<>=ytC6YPEWga zAU3l%d3hYWyIXe<}_h)FV9RjIK+Lu9MM3RjGN7Fj7kZYlROtd;Qe(OXp29?` z#%Qjv+UKMwspU9&)1`j4`Qo}7zjp4Tih8=n{wG^PPx>iwT0SD~@!QhqTB=O%FWyXL zoBHMw{hj)^n4GHRjuoAjEV=b+?D#l9fPa<|j%2Sk1T;s#sx(nP$Sm1QUd8yw zDb)S5M1UALKWB83sZmD(xfeN@WuH|ut72TqBEnRu6u)nJZo)g>g!>?7x9~Cq(K{#3 zb5Iw<){oc29exUV$a~T63h%ezd>>eg@sO&M?xvjPFKl5oZ*)ajP#DHXu}hj3~zXo8;q{7lB!qzHH76G{!2$E_LG0eXcu6e-JrN5C`80qS<;4D9??%4no zm-+HbgG3V!Ui3?}FQ*K=&St!%35R7D?a?rPGw_?+wa5Anb-~(R_N)m&`=#u8jSF_P z{O_y(NAxFGxVZm6q~YNL{WEEdla}nhapHYAx_{nwK*10QnUTbXvV7=nb5y*2Qe9;k z{)0=!b-X#>;e*L=Lbvtq4zotlr{!M;%7p%NlDqTz* zfSE#K!_qG2fLcdb(CB1vCHJ#TB^0YtaXKv9if=1ibPvZ|C#}#(YAH%`-KIqX?jG?u za*3r-phc5=>h%5M1)1e9ojce4$>gEZewVzIya^aHgAdbCB)$wVxIV>3TBglj@%&v~ zj*Vg+!&$6NMZLgRVs?BjurxlU`<8w1JD&PyGWa)fk;vhSGRPQ#>5YasZdY$V=6Cz5 zmo~F*da3!JCa$kZhfTk-iUc-nXB+(u{yhI5{JB9~f5Bg^$1aSMuw$ETtEKeK9tVO2 zTQc$8?w6?xG;{7YGYGMH$@LXT{c=p&YFTMn#L7ft3S5;Mu>q$XFNiR)-F4<}Ai<`_ zf0ulKu7T5~%N3nynDm@>(d0TZp|;s`hV17^?h5eQ_YEm66>U7CX~;y=`gO^(D!*Y4@P72NH7@6_`Z$p!~K+$DFl1RMk+?O0q zVkS6-P&F2SSJ|yVJC$VWbY;amd&kG+cifnpY1wWTw*TNOlga40aQ&&-IZ1YkFcFtETt!AB_KYf?^js*0q)a(gCFQ0_-VSEL%p5BK&?L(F6sZ^0bE>y{C~l7 z%E^Yrn&QcEjKiKjLdgAB>Bo~=d;4qa`5_rawufNcmlhW9%p7a&9(WmT+W-z(iy&Lq zR=`MdNo$G1aM#T2ybi+s6VZNuECL!a@LqGa`@9L;!_4>Q z6F1C;Lvvt&fi>Uns`b49F6yNSh>}(DJgjnxEceULkoUE}Y4@gd?hb;q9d^{S*>8^< z7|$@=X#;+gj8pg`k(UY#=huVpftN3)u#QPE(H`y?$QD0;`8X14Hy!+#kC8Y{B_k#! zMzpXP-S`S2kHC}(x0l$1@Xa^|mdcn=rbt!^RM)T6dCt|42bc=p-*MkEv?DqNV1b)f z>2too-VO@u^zCNdz}D}c$KJ#FHrw(+gEB==FrYoWHQJO)tPB~9$~@0mWJr73JX_qN z?76X$N1D%nHNBW*$R$44#N?}`tEKlHCTb`jXk?RPx`Xk9sCYuDG4H;akhgUpb;UtS zLOmZke?E&7^Xi`K6=$WFH7c7}P6~3n2;qkEWGuh6JtK5r%T=ERJ0g^hsvW~u zlOvl5L8u&^2xqy;m3#wKDPuAU4K0B?GP&u4Z`v?@Tlc}KOWzL_fq7IkFPve7?+gbr zgQ*Mzk&KsG*XO+%BqAI&&6$Bh!Ga-&>R5L@xw?2bn7#w)o)K9erfm-l9aU&P-O6RS z#kW#M+m;nWVW_w^Kt!<(KjN~u*F-pNty+}GmBTsw?T@SuqUgeIk`mi_)f*8p)hC;W zFbmZdKe>z(84-2Xd8PPq82<)l^d+X;-KaWw!DiZTie&k|WW1pn_6Y6xZ@&x6-<@VW75H}HA+NzqOZ_TIPKGfIHkA2 zKxxQj!X&=LIk8%D>JMmlb@C(CG3)v1@DL(WBjA1ERgWfA=(bTp`V3N+U#6QxuttBU z;^(ADL7H1}DUSt}@GUs&s;ldhh~y_nJA8Z?1tj z3NiPZiO=~+crI?5XK8q=wP#MXU~~dxwAS37G2>nwCIsc;&3V;OvB81vcwMcYd~|46WJ_$wsiOar&qB z?VX!`w>eSaaYUZzZGNWk+2eNChN%`HFJHKS<%SXkYTZ(Y<(farcj-aS5m%uRf z#%`KxxpS1QouIW@s6E*w%~rUwIrjG2D^1^TjVVHq( zc;?CF>FG_M7?OvcMyc_Yvh@IHw-F{)V_qbhAwVGKIIvk{U{xpilX;pldKmg6Vf3?R zIp-W>(|Df^Ed0Qsj6gKQozj3L8N#_oaR||}{zS^y6g@aoIVJZar_kzEGVw1iBFv7= zsOhqb3r5iI!%}CuvpR5KD4QBBVo?JMWw^gSixA**Z>)X$XHE!{-xX;p= z!hJKEvooQgiRu+2xDI85zaKO2N77%y3`sL7tQ}|l4lIUA&VKmSf-`8h;@SH{YSEQG zRMfF&#P!$pXFlCB-%k9A;d^Y`g6ZVx>^UZ6vQ6gsH_akz!lqD$a>aBai5 z_uLu@vXR@lLi1i*taHNklp|Yv{p9C8HU3_&v6jm9HK3XaX-O&RQb>knZ%0U$-_p3+ z$JTecmrq};H(_l6iqOWCc&P=&B?Vfb#-fW;7x)&rq#9MSPU?K~T$ltg;+C&VoQgu# z+30B=)*AYxcQ@9%Z{$Ok+pl_7_IwGT_wr065@%=cJa^8us^|1FWPf~U4B;836kkz{ zNo5b@+qYYJ)hM;9?cB6(9o{oBV$sn z#~?8V>(m1|li?QOdE}GF7uq=W*l*)JOm-QC1Ezd*T);66h(4(Rf&eqT%h;3IXSD{W zfW0OZnUR-k!lze~|exU%x|tReg(jwq=eEbd+_{J5M(q8k=9_-l%rA~CGY9@{w6 z=jIXtckp~`m{eSW%lqbr+0jC&Z~lvQ&0!8=uQm5ekZZ_t7M0HYx5ThV{|qeP3Sm;V zjBLOb?WDrhSgq`Nk~ZW>MIl0;Mc|wcWti@8dGWD)&q>jPPwl8+xj7_|R?Guyg3-&K z*gh#J<|qckb}v`o2RFsJkw7$y7>{tIKWp?Nq00CjKni7G@O0Derjb$3D(_MA3Gt5pO#GMYs)ZRlP&PqWJ7lqhzpUUkHoHfr(S^C{J} z{nTL7F;O)C8ZJ~Io+cf|l+1I+Z#fw9{xb?w#zoN;&6rKAtn3Z8r$Zx@X5JV2h~i_d z>~BJH<8^!}W9XsTL*(OBQSim_h~@P9#{6ll6qy35=Cf>;lfv_jWCB``9Q(FeJM0o# zRkI{zBEvft7cGfd&nnWifS31rdQVXm!;DK8anzhhg{+Q>e>$w|+Lt_^j|$FJP0(CK zDwW2CbT%tbIfW9hb@LOvWrX)apCf};FCBKxy7nkncjozqEOh046W}l3q(`RTlGXrS zj1;HRn^NCbxa0_h8_mp55^U85QunSU=L?$E#RKj&#mo{Uv~<$6lQ=aa$%?_t%%q5< z`!``K83cy*@egiekM$w^<%2G@BDIhS=HNN??ngaxEs8hg-OYCA51OY3SMN7-3w@*Z zo|iJj%eW=7UG1s87Jvt~dYo9o1=~vR`%2X_yR;y4rWzXI!1_ja6B>fA(9D&2xiHYf(7`(`! zbQ^qPMoeVZ$01-R2P=>RDA=-Zn)kb7PiTSURNvQmbs{Y68gxFy8Qel4_}W?$Z_Tnx zFIQiqF`=EB>;0{AYd@$xEmj`5?}F+Jf-y}>7tt&V6U3B z=40(`4qMiZQ!2mb*T1o6!GGBEzn@BR|79ozF*RK!B;@@%&|T2oZSmv@VHqm+-&E%O zN98}A9;j+=rwMfcs?c%q{PFp5b%W9g{2Bb)Ntgi7KYM?v)`H`L0HObp?r{|#YD9_r zpavmDZRyC59rmcnGQDX67_WNRe38WXoL5(;^pMBItBxmZXp9jeRHMU!-@-UwDdZ4J zdJz(i;>2U%$kX+Qkr1sV0bcbiWekKRMuy>3%UV)>00468!swC|MS90%hX;3AlrP?8 z%U0q_Y{QJkd6x8y#D9DJSU}0^9ki4J!Z^rG-Fy;r$01&g&`urFl6%hmh#OaK?+^I% zd)1(6_K?&j(-&Di(#GA>D-G1ExI!IV7*N0oxv`U>g!ASD9`6izXGRkbdxRrCw^i8h ziDyffiz%{AN3#V-<5H1^*0nZ?!M(Tan|pSY+*dt;VkNd7-shJ~ zQXp#UVz!TbY+x#%I>ejL+atM`tQC8sSqM{uJwu8Kf--bX{%KQ_B4)dG>UCL%_K>Dz zJn2-SD@y2x3Pa0TP!OA!hjd8B_{(3^CL=2tw_)Xz)y{e5Wa`a(Td(uv+qyHv5?x@Q zo3_<-uSBhoYD-h49ZY83Un?_{m*mZ3V$nUQ(otWgMz|_$4|o_WW!qt(*Rg541EjhZ zNWHvy+d?(JJW5?I@y~%TO{&()zq`?jMo=S~kg*?DA$2(Vx-H^JP zJH!eFKWC8UskpDlstt=fNop?o%j9@hW6s*?uH71sEcYM_t?46OvQ4}8J~eoWT>h0F zXB+y*lV|*s@w?;el}IGb12wqm6U^Z8V^q++0h;RbhESU0v<{jU>_EB(@`wa1o%|HS zD^ZH8*z2642Y+`Ky0>UZS_)<0uJ|{my!WG+zaKD%oWGjhFIoYO+=|K4E?)Npcw;{Mq}1E}C=k_Vk6JJ)4UI&*At-sr>Qi z6%T4cWlf5Fg&oZrZPSPIvHQV?5`pAbSsAuB5jH%XpQWt{{f#LW-H7SKV3j+j~K+wQ20|N|XNN}Ct!3j3FGkCCp;I4xuNPu90;1Vo>1P>P6 z-Q9KX-P)@6?!Nop?w?a#U8lOMyX*V5QfF82qac-I5?+q99z!PO>iqY!-iKKde42e{M8qe+=fLxcmXEk zrKU?hC2@!qsp>qRJ((NW1NsZKMAs?Gk<#Vmxd>5?;Zg^(l2^Mxy)KBIF3#^j`|j)m*9?C}@P;M>D);$pBizCPp3xnH$MdI-;X!=vUKTyba7RKjO z_82D->#Y}0J(~&i4E_!^RD>1gNa}7Ryb~i+DRk%;w=7DoR4v0HDQELdPr{d#)J;q` zH+FimIl@N4nnPEl@JA7vAJ|WoWF?!mY!U+7!#@gq(D=S`S=8(nKVY+P5Wf5+xmVA# zL}lpE5+}q_5C;387{j2Y`Toe96)RLbp(Qa|F$O~27=If^MD*%Yi=Q;qI67(g=`|k> zb*B8)6`xEH12qNIt3~iT{hWN`Kx#VD53K&~Sb>#vtF_Tf$kB7kjy9x-L^NgQ7@2z`x+k*7)`OYwFTRI7h zFITSS658n8MRL0GhG?oB%DoonT(ml#NwK@BuUh@IMAmF@cd%ej%{|(zt!F~>7b_gT z10#AU>{SC%2H4)YZmu-3KGE`%y{rtWyMWsx4u|Ic%es`E3JLO{Nv7f>k|C^}3p6eo-D*0<_D&${mm}U7nBsTJ9}c zaUr@n<)}SQ-acK;#08B`s2*JwkbQd>Y34=8u|qgX6vsx?CV-d~*`zByJ5^l_YW5j{ zY`viZXW z_8CEcGXa7B&ji2_@LwjN+U^jt)F<1q%xqd1$4zHR&`jTZjyU0tJfw z&W|md(LL;T=lP3CAXi55P>Ucw|%WB)0Gsq)pye= zv3T8_Jk96F_gW+1Fe-0l^eYONCtDkUs1aWs)CB%8Y_qfV+TYM`FgyEyKFS`^aAO1$VydM_ezsj2kI=te^CXKmV06e?50SbIiV0ZchW7fmzsF)Y=x&XC~OxiZvMg(Qxvs~#oEZ@$8o=+W=EQ3*od zzlHZrzhj$ip)87*Hy=1?zr`h?ziOMX6tITCsBU(Z_7~Pq*mv_8Z-U3nzv&16_LUT^ ze5_3e$4SQ5F7DHVm(#RbeSa}r{On@VFH&*744ihpWEou$S!{IkQLRh}d49G>skCvh z+-kHnRC2bwzkPZUnTmE!>?s8ke@eQ(_otFpcg47*h61Y_9$HIG#Z9?|Ve5vD{w^(_ zt!WQ31C6 zVLdII*CKXO-F%8B576?7141DXNPOih#mLcEcBRb(krr(W_v<2wdj7UcPwE9Xvy4H` z@cSf3dKZ4i4CVa1FCA9TL^ z(savyG`$}=45vX$>{DALr5hQ>KDYv;;E$Wk@$6gpk{t}JENgR^P*ozwl3mPkmV*Lp zPH;~7HhMES=>4|WpJQads5<8ti|=2pG$nHvlbG;0to>mi#5%!;rg)O7;UxAz#|W() zD~5|BU)V3ZRvB?b3^}tIFX3*AFid?T4i%hmWMZcn%Vx!bR=ce5?$F$CcBS;w$B=GIek2ce0tUdZmPw0VpQYVy^~_R zQGD4}vHlb5)Xop|9K=Ip0O6kC2ykV-u?0J^T0O`hK+H)%m?~0Ek}O0G@A^Bd#!9sh z)v%K=h+J|#jBEYtiw6yZX#V7?(9mY8VR88y1KVa7GQEJGrH{kzg6$3JbxEfx=0DFd z=?7Ax&%e;MG6TC}--xByg_3Mgi#te2(e4x$t*)?oVz&b3^#M3ua>cweB)fxa`xpD% zlSvcHH;HjNOU?`33qvhq@!t;^=?R#cV_Gio6hCSmeU&zC@=yvtwS(yc4eeLlzP_Sp zC(li}M5vYQ6lc3wHfWHIce;h^aRS5iR;V6orStToBFZ{ns|_h?YUb#WX_aX{Or}*N z9&V)@?}DhOCnw7Lk$qK|>tjZNuOjUv!qaCCDc!RU})tQ?yHRYKtRa9>9 zDjf5yhZGX;k0S8YCn92lgUN!z*)Xel zQ2F&QF-l5MDleNl?Il!4pKy{AQa{wJKuJ_1WDHY_o7Oijf4WY>#D;d?!>&K1i5=gs zx8C3Gd9>ae&@Uf@=zkiTE|XJwkB|e;v1{1HG)$^-S#^cad?Uk5xuWu&Q=E<0k0!j{ zR;zZ{QXLlF47v$R<*JRYcwJ>?4sUvu^kR;zAfypTP?T-yj(oIu)9oiVP3 zz)kVi7f0@z2Dy_Ziel7@PA$s3LhC|P#|v{p?8Tz=;2~*;XGceu9pYC4ER4$4PvDka zkj?5S$#T)}d=PSI^>$#4pa@G!cEsA8`Yv8io9m>@`CjR#724_64Lcv>S~c zAkmh8i+ayi)3TV7y(Xf2tYlR7M`n)2lSJ}y&?B7YwD8{rMW^hL<-GxZ_L}r={*1bZ zp5EzI5JsH59|BpuATNs+C9v1jdV^ePe7S3EGy!ocM~Dx)E+Y*Y6t7m)Phelry?mc` z+n-7orB9hgZRs%acE_v_aQx$K1p>{q7R&n+Re`PiuILLdI_Bq>pJ{|^rt9&)9{LpO77u(iQ5^(KlWUGxcPkIQ#mO> zg4MY90_kMuQ+)VUDu#Xa3N7^h_+U}hh>yKOy;}M)Z@}ttGGXgkqEnu0+>>IJH2rH^ zKOdj8m-~9M;?5T8sv|YxQWBC<6&XETdeAk+FV&`yOc-GHJ!K5 zZ~2fSZ{;}vFOQEEJvL4>KTqnQWq!P?MhW!MyqH&tOy>0$+P0a0QZ2clW^`OtbROV^tq$*GzY zmQGGY*8eko;54qxP?1d%v#a}P)#kE+57zutEzaq#)+H*K2KXkR#P=EkB{N58uPhB7 z0%Ctl#C0^H4HspyeKmNnT|{C~vMgbEUldgnD$MAqCk)4SyZWVi9CSR_^@PolO=HA1 zI4mv|-m1?tX4@MT2psUfjXTWOB#Woy!4hPzLV~^XwXKV*teS^&r&xPMvtOi0g>xhd z91ELwqu!Kaa-dIh&lv};8f0WH@jUFSk&IJ5$a_q0OSrEQ;L`J8Pg>tyqy3S$V^Mak z!#>y1#ic1>v?P_n0}bK~uEU&@l|)h|_e{IS2^+kROe!V`@JISLT+W&=Cp^k1Q~c;| zb#w?HCY)1)L zH1CBr=HGVYtEIJS+D;m)tA_w9tMON6vMN5cpvCRDfF&RIYG?c>URx@c7uXE<3JCSw z)v@T@bvW)i!74*&q5f-Q#FO>&ZA-~4){6wiAO(KU#?~Q4cY`@vR_!0X#~ZoB1GDbX)* zx@+WY-;E;gM1!o-Wdy&A&I;vS%F|e`QqH)lvTc3lF8@?6k3+@%3-kGxQ(p z`QM9N;J^IuY>kZ<$jAi0cC}@Ui zhwkZIo@Qp%(pi0#|ERuO#q?o+&uakRL^?r)1$Ds8oC#ngB#(PZg3s~f+fxN;R1+v3 zpY;(wz#y`VpFlxg#0+18E!8tPClZ~Q$0|CcWIrss8ZbZu%@Z)xH~8TEe0di`Wzk$P zcRzYSqk_iwMb?mOeI2qz{i$-J$qeyvr_~7&gWxLMtj89c$F_YGN#LPHVp;w}zm2Ba z+up@WVF@TYFBq^ed`t7Gtaq?Xg`Zh)`kDLM*#YCs(%n?xW=64O_%E(Utn zuVn(TEGRv4T63y9P&nXD7ZsyL=;v``;(ocgwXmyDyp>YbPLs5q4<^ZS&?7AI^37{j z>?y9X7!l(;ft+lLX#^B)RSE-DDUxST4s#21zx61DS`A)5CYb2#L=Z;=(I?CnV;l;;VGmOsK z!6DbTW3E`PrB&ixE-F>7Okc#b326SpH_zUp(B@$) z?|ZDi;-?FA{5#&bCHNEc-2mu5{*|x=P7{jMXe8C`Ga*}`xZZYz7H8DUCWq+8SI@_p zwh4v;fCKZWh1j8%#G-QhZ6l$3Dy@Q=M14e9)TVw-7Dp`V{;ju5aslq9_US1_3vod* zceLJZad^P3E*2?8RWsv3N)}^1o*( z(7F#?FRW^>_s6*5Zr1x(uz^AU3v4>-2n(QswElC1g}JbRxsVV7VQLD23V=-ia3Bz1 zkbpTDWCB45iT~d>41wy7j!1$(Q>X(K94s7}|J3Ewfg0A{2xc%CsI3qB!vi+_Phb}O zXFcQT&vxPfW(=tzDr`z+WqxNK6;bqYeF|1K90NOeQ-sZxF9`U5EcXw5s(PM)2A{jvIPGHQpRO| literal 0 HcmV?d00001 diff --git a/assets/img/rew_interpreter_plot.pdf b/assets/img/rew_interpreter_plot.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f452a464f9e56acedaf37ab4e0072da9d317fd8d GIT binary patch literal 11011 zcmdUVRajlil0U&MSQ6abWdj>`cXu}K?(S~E-95Mkx8M*+aCh0byN7?yy))mO^PM|) z=4BrK4{KF*ul3MfRbBP#s-jR76=z^!WJja`Uz|Q5vak{}6WbeEA@cGviCfyZm^v|u z+Zei-ikceRo0u}mn%bGWSP-+Yb8+(XBRab{nHt(6dMvN$$l2p@pmp7ATr3i%ZXugL zD1GFIwtxgv&I+Omq5LXa6Tuje3jFoTU!$&F)7a2Rr^ODfvuDN0gU`>86298x2{6I; z8xaMPk2hTJogtB*UwWSKpI4qwq;>H*sV8QJIS47+@Mox3&#{g_#T@y|q3^gWz54cn zs#9t#&O!LILti<#uX}x7LbeI-yNAErb!e>AtgNjUJ};g0y{+e@{G=?CH^xYb0x`G_v#ARH2V9#U7FvIeK|(m zyFU(24Q04rsO;Nj7u-@o0Dmpml<6Z)_{=gsB+Q6_WYkn_2*lnh?1BGYv9M%NECU$~ z5+6ugGKlY>W=poEt=!OMW26lNCRAO&lS0-q69|G82p_T^4|PewrdZ>m>V2o|v&eOx zv-7;`+6vMOSH`Mggy)x%{Qgy`o<9WVz>}C#5FSA*T33j6RTp1cl14?-)Nw|sa0MkN z3u|l2L%oYkX+1$bZhvzm?~QHGx~2Ymtdn3QUlHQ!)34T5%08nXID4#aaNEvsaDc3H ze+Kr>7A@?lC|#{xglhW=wjY?!l0+-;!`a!$F6%Yv7keu^{VnHlEqiAYNU=K7cE6Oa zcg~JI`Lxq>i^si)+HArKRctVGv0XM-O+wgrH7`<+Mfp9 zA+vLEd|D{C(igHo2+7*~Z?eOz1d-_c=}BTJA<5T= zBx@}<^4jR`3th1^1rf{<*YZ_P>AXSQ06%R0ko)~`rW!NR);gR(HFBz8Fd&2%=cfmG zW(E_I+@dl$joeT-xm+CMIWos2*Pxn$A*u)Cr7yfrY6+ ztreH8#hN&Ch#

@zcfdGUTgkMhBz3f_f}6)n#_M^lCx{@7GT&TDP=AD4tQo3R@;) zN`sve(GowP+p041>m(@?=WvdX5;WUAv^2$!SFiv!CjM^BJ5s&6ov9$NJqz5yZ4TVB zdjiqp{!hbKlRN8NG(_RYoxFW%I{Uo(?CWX6B)hHcl8|{%%z4W#ZBZM+Oeeu|RV<&N z5=L=!h_l!Y@v7IOz`8`buNz3E6TpO2sIp?b+WK-=K5-!PyQz^gB-$|5cgvv`!WpUKfa});AqlWEPSO!xCf$*Z8tc*VDe< zS5sfT1eap%W(x2uz+(T{)wTz-8Pe?ot)>cOkC)Fg)Unkx_lQzulb*GTkDgsQ%Yk}z zeyi6m_hN^|=3i#=@0|}_rdyDxbxJr{T;5M}w;d|CKAYkgzvbAQqg(U(;stoS09q~d z8PaX8d)~aU>$_`pUv7v3GOalgP3=tnBar;&{s=uB{}qB%JsnJ$6b)T|$057_q<_p2 zv-}=e+PVCL2QaBx+F06||HlVmVS5i921YI}Ab^wjKPf9C7biOl;y($9NmIqe)PWfA zdyFG3J;>i91!A|^8gHS;jh%8Cup1(_h^Z!5!|1=83f0F+@E8t-Hn-uCBnc3b=!y>jx z@{&2Lh(L!bLK#!h9Ta{)Dzuyzn@^3|JR$|N%pH>c7)}!AMFI4dLDG|j?3@+TD^9=~9yKClJgC3tdj|}V%949^ zXt^cnAeqp>xprCA(%kyZLG&~*u|am{YG0~PGMgUjpp`KGV{)qEtgDpbn15Hw)Ggf& zT0yw6Lvk1=K(9+OmUe@5@I+TLPcI>45HES?zNM-@A?4&9l9S!PuqGC+|1u{PS0k4{ z{K_Bxf<@%NKh3{kF5oXPmm=9xQAOk9u)d^ZO;8!H{@^J^we~_UL=$cr&#Bt5UZqftrdj$J-S`$q_^!*IoM294eZXHG1)bQH%0sxRv5Q#>X2G+`>$K@K zCTML9o~Y_~r}jv{SM=5RC9Pf%pqT!ZWR%CwZrvsw;hm1}(W}Cb)+8rf?ajD~p|pd^ zpSGx*3IjuR?$i|Y^?3Rj+673A{jL^tc1yu)XDN$Y%#AqrF&p*BFC^HI2Dz5#qv`mi zpCJa+;NW&#*wn8ara}C6Pi!F-fx>(Q4I`-A5QEXQZMx?7g}IR28?ChQ`?=;W!D498Q5kuxlOzwpz$HE4B1s%0BHwKf`dTr zPQ`~kOJ`CJbFc{$gh-xu|F0G7Eta{~x0On_30V4vUj(^JyKlKB2tJVRDyPqkYugWv z&!F_1YX36-Du&yDqG`8$PX?38*csbh*MOr5JfDI1jBhR?#Xw!-`A;TT4B?WQT@@IV(;StWqQXV5eEaFDFvRrf-g=N?gZ1hvu#_Xx>jy)Enw_|`uxV*LWqTdSjg`Z3SKv$RD zXV<_%FBIP2euK^4M<9NbJd2u zjJ$Mcbk{fnzr=HRs%WvKt*X6c;|Xov%g6*&uVPZ|vl8`#We=gGOH4WD7%@Z%$&u-> zp{e_r49RWNv@lz|WXw_S3|6t1AAn?eL@#o$Wu`g1{^6stHszU(H|tz=qWzG4(yRA? zu13};=ApQT(+-R4WQ&`O{vQ339j7@em||F)%s*os#ZaQ|V~3EepBWv?(Fr;kh2h#B?72JXb0@j8wlg|yG>E25sa6pH997hm7J(T zsP`4ck>n1)YUYy6hZCTWMH$kEGj7k)aJB{WlLcL;UJo+pRJ!w9c0QR(T-IXMryRFy zZA9DykFvh|U$TkIe@C_Bf>d|e74JXgSSgAe5iVaV3!i2(&ujefn zhYt2bLaC3I!h%lox26k@EZMBaUo(vrE{kYbmTC4L0@kNK3k$#Qgy+hDi zj>47+awFm?k@&Cn?Mu?DYxe5xsQJ%GrE2Z>{R&|(sJqdpU4IX~fIpDo|Cl6UV`lzK z=uMKd4i-cUJO35MSDL&ze3Tgk9|@$GWTT+G>71HEbWHio1>VrO2RR)C^?kj*9p`Lc zV%#WqGdXKH8w(OwZ>gAeIX-VEcPl7WizTY7V33g61GzaltlBVzGcBPzU;msKe!O^U z6S&J!?QY>!cK#;a#hcgMZSZOCf}ao8C~y~~$7@IC%AkPK`KcH4xZ>O7 zn2-D9r$cpi8^>`(XO-3PEop-C1W)`Q z@L~z0e@X7z>re2RXF(qBC^CX#kI*}d_X;S&*>%ZyhyW4Z00u}BB>h0>2KY(L+`3T0 z1~75f?)wnV`ghfWWmwv#z;W8I(5BmKiXn(wnBaahgj-IpxO^`}=8w2h3}TZAbLh!1 zlQ;!M@T?!ouylk&u~|Qi^syiW#+C}BWCC+jCy81d58_s`5159kj4dJyC}IQR)c+rq3Sj*U!UZYz zTKxl0(Ye^*kjcaHWC%)O9SJqpH-?|>ElOKy+U#(Kzq}f8+|&g_dwD5LtEgX+ac~RX z?N-~c2-beS;#^vi2|LI(>{aQ6pOo$3}0sKfZN&@~p@V+rN2qs=3xs zT->19A0+vx^E2)g0E6Fl$iOTP(Qxj%{qY5|Be;R!jO_04lb0>*BB%mLa(c4L6l(#g zsGMr4>-SAcJ2dG7Mi(;_hPWj{RgFxL`0KH4R81Pk7J@fdm8^7h%fQ-XS=2AWJMhVC zI|m;LSJYTj?{HqWt5V7~>d>C8-M^66pE8C2YedD$@)u}qY+_(&XkcOjzK)8yxrmr{ zySu$*V}poXG)XX`6!C1>O+73L>Yl^a-CTGkX9m>3w8Z>DEy zCud}*f7#5^Oiakk(u4$qsiF6&%u7>MX)P8_l9NAb9v-Kqr5#i3VIJ>dm8@7EQ742exTSZr4?MQfh)+qc1DtxQI7uTbFHEreHAcn)CkEPpBEUJ zkRWy_0k?6VvZjwi~g!abNlx*I7p{Xuh%IYTkEogx^FpS<}(2rx#Mxf z?ZC&1e)J(6m*Ums<6W(6WprlB80o)$Er5q01(=}z3stcHm+AheDnz72#qIxjL1zAU z7?+h3_!pIY)!+YF&-PsH}q>_#V4W2iR9#kM3D|>l;t49(yLrtnSK1FQD#sS;LiZ9|&6_C{C zU>v$CQ{&OuagpC)txwF)rfuRAC1wmStjIj;`OAs3wd32s8=l_Y*)INplYfSTGYRy7 zff4p4DN9(Z!ix+sX6sv=&w@_ZuT>kd**4H){z^;;lhE6EAVuV!1$Ryg=M8?--Ecx)oBFH8PAcjd17pFQfnq1$Y=$S5?M5$5o zeOpyp&T3hdNXx=UIFlY!E}eM!jkZmgFoQBK!BW`>Oq;>2$EZ^WAXmjKmQ@-{B^Mo2 znFa&w?K9}*7}EwT=gPm9$|_lJ`y^Mi($v53S*m=Tu#?W(&fX{Z*hxR@{k_oBo(aiw zMIxslb&yuA0lSSGAe69o?XSzjTqj#D9jl7=BJ`ms(s6*?2(Tq5OYsu95Xm*5OBxSP ziir^&=^jxs&@td-1cNRdf#F-)UTBC(>qN64>QSFl^KTdafU-yeDOzJ|uZKBN2^ z(`50uO4|f;5GxDdtTd@j9gNaTu#gC>H(~8s z${(XOaCF&-%P^eMQO^{o8PTs2#1%zxY8utEXHUyuI8k~aLMOhYIbi@CGjMmYaY2^= z5T}=)xRw=m(Cg%a*o_=Qk4aI-^P6m)1P9lQffIYyXugjXIiq{i=aS=P!Xvx1IY1@< z;)p<36F6?Pg(3V1El_=GE>5GJlGD%9r?865r&Ad34UVr2-mz&MGs6=@vZlu0nfq75 zD8Ab{e^9OLD@k^n_njN8DT3pv#Gz$wcTg~)0(l$mbI|+k6o&x5aWfgdW|pOX_`=g} zXvVVBn=`%4=+Ywrj5xhGInB0Un|q?j(gDK%8L0VBoY)+;$_xC#ZWX(%iwU3SNS z_xXY?6i2vKiJCQ`QyrRhDj+vZ3s^wp5q{!?(~;sRHmMvwFK? zE+OD@JJ8kd;0+Sw;J3`amo(lTJp7n_k4LMb<9pXKPOWDQtO;W${ zwX!zAB)3<(CR8vhzW}eXA4cj-r+rbn&uJZA$PewF-?^e03An0TxEvUON}u8sefQQ>(2LP2Ov9qk;P$w>lMBXLqKJv5U>>z z?@hFx+-May!jm4e{L}Ot-{raR^Z^buef}l)*4I=$K%vyscbL1B_lunA2Dq8mRC@&a za8VzV|J_vF+BcT#Ev)ZR=}ocV6If5jJ7cW_1Q6K3G<>%+KOpfhI# z(d)Mb^=eJ5kzEC>p!vuvqNoX5gcyA1(rwBHANCcYUn&Yt?sy)zXn~Rm(Be!Jx(^`6 z5TuUiQ@OBSO|tCXN83Wdf~pErF^epTWV*0N`4Uf*7O1E$#E4z*!%BVG-@E0?-ud;{ z^|t-Yt?_puI4EpyQ(kweg3U?%njQp0npBd%NXyXa)LoU_=F!lvZ0+V8AC_!WT)dO2 z{X?rNs0x^3`L*Owi_7y7nJ}79G&{3c``7XZNV-;Jk8Kvu!^VT<#n^aR%OOhNuxoC^ zPwc?Vn9nwE&E7Dt=xAkLarAxZONeE= zVleik8=Fh0PQ9|0&4HT0v==P>;e$!{JicRcRyEQ*7ck3~%O^+!l@T@X$#sg-&__&V z#WdR%zN`I{{NUFv=_n)ZvbK1dj?5U6r_(J8dd722#G64u(Vl76+zy}tWs2vJ;_hB!IN)dNw^ZHP%WtI%{t~@@ zX9933RxjS$sKgyF`lQw`9ctc{?6+O4C-R}F{`4m){r4CVJxQKQdNEiA_Aj`xeF>Yv zz9jIN{U#UTw=oOy2sM4ir3x7_B^$l+izqt+$GYJB}Co+4*&r zh++z{VUJAp?cGXCbPOx_fkld!Rl8dZ?l5?RR0L@vW~p=Nv^G2%Wg>O>p!t?1gtyf1 z*mc(>5$;2GzcKbIYtL}|yU4H2KHpp3Kfi6UUBWdP(*2<9C5W*1GwTws5%F2OG%pkV z(PQWMt#1uISOB+Uh{pbb53bW{N1UtSB$qF(pfC&f&YLgq2CZW}7I~qV6$B=-aw`$V z8owJvh5j*zSSZl{MA`OvRd=@jDi6xkkDT!8?k2#(Q_h>VAIshO^T%mPtAX!BJD;fz zE3sbcBZip~&Fy^JDL@w&*=Tm#K9QfafNB5_P7lgnr;AkKO+WaM0_Nx^DNZ`TR!mL1S)c>tO2y zZQ~s>*HKs^-sq2BynVqHXL7Id$}yvl>L%9Rkr}no6RK0zSMtB&2hIF*JS~5&PaY}V zAJ^!&GQJ{2+iz=NzZ^PG6)VGTFL@2pU}`)e%@bYH!zNZ82qG|?{NgOuqz1(luIwVa z0%~3xYa+Y#Jc|McamV#Bl7UDH26br7(e6d3KssX@Yf<(aki*-FR}vfb}u^> zK}(oMWe!>E~7#ttPsLiI38su-T!W3_`%FPAcPWl=WPtYz?yv#XeiH z&eN$+cPpF9;4gK|d)2$}QttVMR(DGN(dq`GTuU)Rc^zu@4%YD!1q^I=@l42(wTfp` zbwBZNUGz=blr(Ig@Ur%$`nQYB724KLGnLq7KFHs954KgKWDf)RPEa`%NYSND= ztDRzcK17tK!d@MG(dV^xXial--{7&hKWRmJ=bqwT&fh&2xyfp9q@dYK479Q3R*|@3 z!JhYOs1ZpsFm4ttx{YdQXpSnig&Pki$_kV)z?Hdx)rGRV_BSY>A%3~^-x8ajpx264 zw~sOoO4?vjoRLYKIG?W1$T>KsJ-pq^J6FdSlOd2*qes-)v9Wnvq+fwQ=Yp0Mu*?B=PT~=d`%osvAWqKzay28q#ENXY44;jG~ejWMR^}?8s1VxjI z!WJfSQnp%X;=Auxi=hX46i_JG`#n3^6|b4nHkldpS!M1s@yR=wb{}^N1i+1YmaR^a zhwi(dx?66S-!t((Eiyvnouj|u2wk0JleN`@pIWu|hH{_JPuTC`;rPv8nUyiXbZlH}**2*!L$=a26vKjN|n2&PoN;grIC34YsPc<8m z5)ve15VEvf6?rt5^cb!%*~(Q*Ny&^N-oF~6!}sj0cj;$GOg23)5FdOe3*V2VLe0(h zo>j44g$YitTNbnK1Rof4IvHk#ffbq{dh$6PYqf;w>}9Jd#6$wmMu6xntFPA zn{j*TDQ*H_&O7;4cZ% z`Z@YJdVj@}Vpt0zkvl~Hk##C)WMQ5WKD*}pC7@t+3sb5|pu>v*r?kNXgA4DmuhJZa z!)JBmAz@ax8`PiBT#+?06w1R}X|F8NN;)pHP5k-jV^XHy&rt=}bXs6}aT}$v5DF_{ zmWNzjZ0*LWTz_D*k> zthBAqY11BI>D~$6w6ru5dl;6XC?%}E1xBZ=jM37W-GMl450TH}w}wjHm>E~aSy74% z{bEsk*|mCMj*ZU`EH5)JZ2M!$lnS3eXK5hN><$81u7j-0rhU?a%o?YXgILG-ehf-Ns#_okXS| z5QJqg5P!eRv;65U|3`s}Nx{fU#l@CMo|uK>cd5$B*@c*e1^91@R$QEasrXf^t~jj# z(R?Q~HW{WpOjZ#9J5w=?j#WS_-S6c|0H1uZh`kt52g#9?r&~}!d%I;;xKkK8rY61H z#1a%Onh>NCZM-O3egqkAAOSJuC!+|~AZiSJOc8R(bTi3Bw0a1s#SbJf*Yu(VifGVE z7y$^+83qQ#w8H7(h7ix1A!UikYpa{jv)Z7vksSVhvaf*KPH8OMM28P8rHz}eGMfBYV7Tn1=C_YXe9z3Q!&!$zHbOH<7R~jQnc-8e&=*Q>Kkrr~n&hj?c@CoeCiUZ&7OjlY z$zt@9HZzmllbxnr;Z3tbYj{>pO3E5`y`sBav$3|=Ugl4m9T8PxRVsOQ-2G@a2Tsji zq7qv|I!~J=o=i~19&aSd=ieSQ9wj@&_aB$$x6b4H;Lqar_Gv{?#7KdD2Ks>JP!&WJR9lHr$n$T``Xr>(Dj?9 zmxYchHjYL5E|I=&t@P4sx4nK+3r~e$jX{Db0=c1aHzY9hyvM`C*7cXlxS0&C-zl1| zjB$?2Mz^zT5LAiWXvyXD&*-7~j&WjE1&6yY+%v99dpT0DtsmVMLX#@2N)}KkN4D)J zTcU^rAQ7Mi+Q%;R%NK)*5;rkk$X2OpvL`kv?mq_=M~vfa#s-amDrP~=vJ|xkJaxd9 zj+DDZ2Du{pk*x&q_Tf3*b?Y0M7geT~Hx~~lyDspEM@%1n6R!1;fcSiE>z+aq#-hjE znL$?zkp|m8eEQChmnJ&lO?pQ+JSO)zzFvbnd7m3u;qdL|_IPdWd@_0FyL$-s>xS@& zlA|2TX~ANyhS+#!;MZV$u?Owg82!=upfli7#t`FZ;J_QC)0xu0=muc@Q%T|xf3dfBLHr{@ zuFNE5XJ$_f_y?19gH%EF}ayIBT63;_Kbuf)Rq7q3L|oew3L89UgJM^SS6N@a?W z1d4~Cl|uOoVJJalkpptXGeex-62$mSfe3|NA=<~-TPy>L7t~2iF*?FR<30ZX%X(TI z^~%i4kzwai