From 4863be8aae946fd50591b66090ef2a3ffdf642c9 Mon Sep 17 00:00:00 2001 From: Matthew Feickert Date: Sun, 1 Oct 2023 19:30:19 -0500 Subject: [PATCH] Start to add neos summary --- figures/neos-pipeline.png | Bin 0 -> 77100 bytes figures/neos-pipeline.tex | 188 ++++++++++++++++++++++++++++++++++++++ talk.md | 20 ++++ 3 files changed, 208 insertions(+) create mode 100644 figures/neos-pipeline.png create mode 100644 figures/neos-pipeline.tex diff --git a/figures/neos-pipeline.png b/figures/neos-pipeline.png new file mode 100644 index 0000000000000000000000000000000000000000..695273b6cd5425b37f91472e8099852d9abeb021 GIT binary patch literal 77100 zcmeEtg&JbAVw8fuTV_ zKp5g4)ZhK?|8T$Y@sSzN?7jBd@2Yn#!qruu6BFJc1OR|oL0(1^0Ps8j0FwY87yP7F z(z+Y~2v}{UrPXa;z61dI@Pq_w^*96S-o3-88}B4{=~r&6i;TzK2}yNxt^ge z>k!tA$r%y$SoWhV2DNbllf5hj(T6vfRPG@UF~37yC^eoLyk5ASaY852dX?fk?0o5l zns*yMeT~5w7Gm|e-}i+kv=h-6eVc}20DFNwGAprb|Cc+~!X)e_P|@QHT^K&C#J~B; z_I$Ouxz+Xb!5eoVd)sPiKvB(LDX(9dH0G+yT2H^)c#&^Ge`!6?ds}I!*rO% zIbFf?S4CAaPOjfspE4L zJs*sN|E8MkcJ4F2kGJwkHYDZ9Xlq07G75d8C43{5W5Z7HJ;*gDL;a>Uq0Tc8b@E?C z?j%r5t()w<|@ zQvMcvdV^>w>E~TcGNvxc_?sqgqh8-6Wu^(2!v3b4Pxj#X<|o~J+70R5ds3EEr$JrW zHtej5)K=lHa;G`Ji?t_owI7uddSFflZ^|O2qw-{mhi&)_=_^7SB@ah}*KORXpnyrV zlT1@yRnGg-xOGpO8==7#76ZIP$&AW(U-1{xxY3MzCiq#j}5R)ER0q zUV}5OxUI0wvP}lLg{FVr^I$3Rb#$}2@hxsry=eQdCOyPUg|CUcTv|ouG53OFI-R?c z7HNMXe~bQBILCbUrjtqkrXPXJTe`P|Qk+Y7EFyn~$}^Xe4ThWc=>LGcz}ctR$8|~n z9W29Q8`qpqrip9Iv+-nuZ{ywuafFHDg7Hs|eonOvC~ znYtd8a9fVV(q|soa_WaAy~TPZK zQXo|djJNpy=;oYb6mHwxh}77 z3X_$$mG$b4RgqPURUFF1h%CiS#kB9_I&V0P1QZ*T8=mXr7v`fX6U(M@kLBsAhIC^z zB=YBr#H&7!;g3vLjFvnajD5AQFI-MFmCR}|F2}D^XL{I9CHJ9%vdTk$t5UGsF_$jS zq{9C>-qfSX@JZov{$|3q?|wRCrDr;MP-YNMg-#!Ko9U&8Re02@wDuC(Qv<3m11`ib zhH+VO32;GO5toE=hkA!1Lj!4TY4@W_qjsxUt02a0jvnw$_*apypT0hiWJn%So>PIO z{Yv)Z6X2&zZcH6YE=hTpI++|*yWyY)d4vuXo}C-=OFQ*GB&8~(+Mp`px~!dOh-`9b zOgHT|ByTCS7<`)$p_8nWkuZ{KOK0alVQ7=*K>kY0`EWpYQn0IW6cUm5C44!3rL~s7 zntZweG3dtCY}A~zbJLd%ErrIwD-Fq#PUzNpPT6bIOZEIyT=@8_qW&QpYrVCLp}eO! z^jYv8@|NTl2bT>GmX@<--4=1TaR_;{2dsOSdlzr6cdE2X#SpQ9@zjeR?`fu2?NcqW zz@siNZyz0Bu@k{xLr1%ZIj0W4Y>&Oy?AMHbpr_TwdAh55vwkrASXhx@FlSJ|!+2wY zbncdysJtM%U@<2R?KZ<4&C{kK3*={yxO=SkaPHmTGT5qvFU&E*?pbudi;9o3pdEgj zD~%~))#be;u*4*u6c~2J*Cm+y@CEA_N9|)*j_(|$kL^TeInE@1DMzX( zdk;7~6l&x+_DFX#cAWETeSW_GyWnlm+eR7V7dAgynC&$EG@WZ-xIzxhBUBZiMet5C z9hsNPFLKx@hm1`Xc@&H%Nqo7yF&JrbdpTt)Win;2?!0cuQpu9d>cn|$zTSFVJNo62 zTAD`MX_~KVf}7_`wDXcf34+j(cwx3q#lz^bv2RBep|;Jq9k#G&|AqqRB zJZM@|+jgCu)MV6UWT!zow!n_@CP-@}ZfqO06}b+tb%k{q$>Pec%6|BA{=-P(&ZYkT z^4NTF8x~6;%kyK4W0oD-8RxnynGzXW)r}sE6D&Hbf!eOxCOjefRs$zvQ{S-H?8_gk zyDD&y8Er6gDGK@-)Mr@ky_-(`lsX7=h~Rn6}mZPGQP ze0IKi^ls^)pZF&^=_8*6j{iWl7;PJ6G^sdy{!07RboJ`M2pzN`*-KX^YT`M#2O+Jz z-TK6m-+eXnqHXKM`^1^FijMy7KCL(J9X<{}vVHS2i>_{X3?Bp6(|PewdQLy4%lz|_ z^YOEVh5%>sR6?FeM9hiAq4%-Z8;Sjcn0g5+w!^HrtR%GuDgr9BDp^@B=`H9N$Pax< z4|u3w5naaru0tiD%IX4VE+=^iDOB32T20SjzoQ1ymYt&(jt9Jl#Qc+fJ6W{u z0B7JwLF)kE!3zMJ<^Uj)3;@)x)1ewq!T-R0q4Zn^xVrw6-BuI_enRkC-oOn2FdqK- z>lU^FW@P}LyMl@=-Wnk$K#imM)Zt=i-^nwi8J4NFQRSk^OD zfYL>0&~oLynC*K~&u)zuNd; zP5g(7|F1RSP?|-g#C%I*f#IJz@VS!ut(Xg#nl}`4)Y%2}v*PoWI}-5#AT&?6jM)9u zpV$NA@1v2KBq2SjQX{YWjqPsPa5ovmBsQ6_Q;3v`^sTzm#@3oRHJVbg3<|cy&>|o5 zCiN?ffh+27E{e=_?j$hl__R7xDy;HSJ2X~8+Rl?WkDFBiAo8)4$=}r(asBS;!bTpm zJfQn+QWD2FJU?&VuV82ox#GLy^zDw7m3!QyKAE!$4zf!h_K-+Tj8!3nU?X-{zvR*aaR`os=p*7Q}OT0iG zjpa3$yoFP&wT!KCZdza@Tt)&d%3s9&_Z(*xvi9cGd=-?0??xuW8=0IRZLgw>nY8xd zyw!DElgcn4F$llfwZ#}3cY^JkvA9(=>N}KO`i-`6U})9#Fcvl8W&WiSgQC6&H)#FQ zf2+z#h5c-pX7~DuLw(r~DIJgKf29Lag>?v&$#Hq!VHI{Mzk?&EAyoC*$t#~!s?E2KEflRG$jKb;)+w%*dhNmO|&BK3s2_l$c{)iunA2oZ!lf1ofqWQ<;3e;!W zJfI;Lc~Aa1rJZ2wJxQDqep*H$LaRf6{qtBz$1v`K=XmfH>|`_^TFe28TV(ad^2*ol z=Y^nGV2U#h5c>9?yEVsd;cXmGOlvWAk`A%GH)|vIhD$n4C$B>OyOstn;6Xf3F5R)P z=Gvl7ZBa%PCVCe6Q-=VJWp)LH9TloP1%3qy|AQSpO(PTCOhCD8m(Yad2+bb%XWdc#N6 z%kSizNJ5E|HMLvm; z1RzL*jHY#>)}($%d$h7ksNka;HhNYPhTu}*fQYDI06mlm&_BzVzgTf?2}sA^*TYqS zVHuoUWvC~{^#Q;yR$j7x23$0ru>fI!_32$)-iO+onAcwk3MVU`w$+y1YL09CB9+67 zSRHI2dUe4TR1%K^FiJsEF-}^Lm6+2z()kUZnO+SoyS2(N>%fL8wCT;m?^t1E|8~ya zdxPN!TB*Hji>a#euUprvZ^!npsw$-txoA-H>G>@v-J%l-QV?8M{7-=+n%qf;P5i&! zH$0duvqcOF`?hLWDRC$H_M5^NYMZyw-fPSyJ>g(d!Rr-lw_uJ~Qx21DzMyU*)uPCd z2&#ErO!Vi}XRN$z8CPqnn6r>OIQ91RoM2R6?h;xbeAi|>d6J{aRk?W_r&y|Yo=Esk zN*0j2lk?Za)>Fjxn@7Lslw{)o!1_nz38C(J9$2oNvQ1%4ZoAhnfQDFt{RkiirN{ZB79d+4982R_$O)h z^Tq?n{gp4Y?;1oq@^Y!b2bVdL`rBCQNVjK&l4y$Y-%9@#s#E4bhekfu{{1$pY!I}; z1`=w6*pmFCVJ+C9sH!d)Bg|uGF81OF+C8UEeEaGHAkUm@)Y;=&4NoL1dc*IVyMh;CHL1p4#B4?QuIpQ7*qtUcc?0-`tEUS6 zesTkHZKeRPD&{k1-J{?XRRc}aqmQ1qq`!NoIPzOx?LjeHg3Ik=b+z~IFe_MFMZ3(+ z^}3{ z2K5W4cQJy*IVlKbPfJyHT!M*wOuoU^(Xhb4z&Yu8VTFDOEd@(P?ZU;0FxO#Apf2jS zO`j=S9!jUxZI&(*9h1cyTs#4S8YDtzZ~OD4kP|&v7}oqf`UAwQoenz%%`=j09@mz+ z)_fg>JMX_wxxgee`mepPY7lkF1WwSB9oYdc9#@q8Hy8)`lrA&ZH*LCafHNz2kVu(6&E*N5Y9{{8$ z8LK@e8=agGyvNv$xm{G9ucHv?fo5b@ag7)TBNK=&W;06LkdL15xz={Y`5*XMoQHVO zIzm0!EpCJpM=GQEvLtBk$xqu)%ci#VWM8ehiYN7RDT-Km${@JdSjKfyj-kiR6f$N5GAK{ex zzoqBD7<03w99rj1EcN0*V@pPM^0{iuHpOUqvbkj=brE;oYlzA96YCoVLOaKp`Xd7aHS`h)1 z6OFl(rsj3O-4<|;YArjI7Co+uXu-M8!+PG(1KdwY6T#Y+UgtUU{s z`hCz7bkT3+uJuiG{MK6$Ru&JbS+X-Nq&zf!ZT(0+hqhG34NUS@U0Wy>`Zb)f0LiD* zQ!o4Zo;iv1=or(kEc!KGpNaRtkmAWefBJCR@Tx0iO6fE^)_nP9?`tQ2=xX#~kUBmX zn#uD(+jeW2b5TeTOsL*>Y zr>d!V(ng-OP4|yw&dc!~F|zI3pCvi*zS21IK1~F*lbTL=_VK+bvcV z#9(axI|!D@jw{tpAe^~kItyw2WyYAhX+>&)Bz`6MSlf18W8p%%wrCMUSzFMb8k+WSC9Rkp zr=yiFsEn;op}bZNFcEuGly_1SB4_Eal3`dFHi+7J*=z}uZuvPQ#t?A<1(ng4*>Ciz z{s*o4GN$RtVX6PsAZgAU_*Dub21Ax8*O2-ii(P}^6;-0VjDH|lX!p@qL*sB|Cq3K2 z{A?--^h>1!!A_vhA2_Ro-E*rp0#PmG>4Gp&NCAO9wzB7R3Ui_cc<;6=7A_h$&XDPO zvPmjkUNx0I#su7lcD0GUV2|Ipy~bjM{rbQ7!U%tx8h>xL5KR4KT>`Q_j# z)z-`*q+Sa%qp{zaVy%M4u7+I^v3~*pAw^ z%T?X^(v@f`k3KG)@|m7$l*I>6yOF|8sRArLCo&weI14cIP`iqwcV*G zMp9Ku!5H9JLHf0ORrY))40F~IS7PpulKPRx+5ES@;^%Pl20I93$5G|+vZc}yBb%mT zg4HKW%dhO@MZ z&U9j4F;!r)NZ+>cA^eAz+Q_PC@WX~mT-VPg54K%CnH<}q7s&6$z$5r_EJVP%HKfT( z+R5593adNv&M*;TywQ&7zLs~Z+rpb(yLKvs6KxY=BPUo7l^JpB>T zphdRJitcIFZF%~N0b%@TgCB;E_q2C!t-qKf+r*6Pqr+~|C`>O-S8oUEUOXo|S#DWO z{G_9difLfunF|lna^&8X3snl%7zctr>3kCQ-XwMCZ|6ZZ-~>Iglx~k5xV&h^%&8Q+ zv=yp|5N)@mpn$$swY&Li2H^T-42AHH*`~Y}a94V6l+o${?^6*XH#Tb$Lrt_2x)*$| z^+oCq)^EL`u%qo&$Wi~c<|^E@SF_~}FWOnZY`4qeludbNBZ{b1NGf)!!UOJG;qO^> z(@0`JmMJDuX7p5FPty;uIWwV**ljsA*$F(k>mb#gN^rwHq4Z8`zRsRR4NV7xN28#z0Pcc8TW>D4vJ#gM+%poS<-ft-v6 zZVM=`-8BAU-@j&(gm95P5=2x^7K0hGWwgN|9~LHuKj?hSh2R>`Hr4vCA_vwiIu-(v z0fZqQU*-8WDFLz)b`EzTinvXcZEX(WovzQS46sU61|1pv7T17kBrGPX@jWbnV+8uJ zyxiI3%%WwI!7=OxP?ONVstE@5E!1N$jDg{O7ZkFrZy>zso+x!JgtT-C%y1aX8+%!f z`Pb72tkrZ;Zm(on0b)d3(b_VDkrk}`%%!)M_(Ei93a+ySwSo!8vrNW#+!<_{J!r00 zL)bkpgM4pCFZFED)MX@Y&Gtj;Lnc*=_xBxj3za5k7Tt;vTNuFc&yJYmWidDFY?Z8* z(|3=q9Rt|jRo;JL^eN+`@W^meDg6$rrmjEc%n2G{QG^Wk&^_`lq|F$3oi~rr6%_iU zaV7V&DD6Bz^{CO#X`-Rbi4!u`P7L7o;WkxJG&HI39U?FRk;z~BU+LGHKbNtjwAh0l z>}^{{y$>lJe{3{5G3k?Sf+%gHPc0a;F}aE^Fe=f)JmmDCT3YJ&>Lzs#NPLV`-n{Cy z_n(PAew5bG`!1zZ@B93v9Cwl^eR5qh==1=HOIBWGzm#DcrCNbN@`J@Y6?$?{-^X47E|$yu z#t4uMJne2+T>C%-{~jxaSEP~%KV*D$72pTT305pwpGvZyPJYfkIQF@XJ~jTdCj*wY z>|nfY9oX+n&!_Z#sA22kH@?-lnRo@6ds>~>dFA(0Ld|DBx>44%U7cNfTU^VaotH7G zzlEF4iT6N}2aW}7YiP9nl-{iT+3li5;&C9%0BQOBBNjyINcnN*eG{EPLxq=}U`BLf zoEV$>w!z8c!b} zK+5^d>sstO$Dw~Le7&R^8|=yXZZmpPcjXNq-kE;Api3TB4pRX8c%;qe2E zeX);4`l#Ig045g z5zYp_+%MJghfbaHas}No8x5=j6Rc(`-PWyUj$FvgU>>e)c889YTO=eG_x<@k3%_`S zsQz;C8c%4~a^G-4jY`6_e?43V9kShP?*w~d@53~D6dXf*#HVs;+<3nsEkk`_l9iJ; zW;?V0vCXFkIHmIFqiKQWtjk^v!u_Y42^o5u@yb>^20LOjiORksBU=_~+$%Z~pKHr~ zK5jPmT9nK{YT-n?Hdayt0uOK??b~iE%>yq{ru-j{ArY}uHnxPF!=AN>s{~t@gbb>_ z-s%B_!|34MuOHyGEy+7I?RJ8-3%>1D7?enk$*{&@8Z@})NoQ~r*h=>4ipz@ zUe`KHnl5#N*{*?iEmE5M;is^(O90ENn_BPQTKQvq2O)}Lhldn|;kf;TxWYpHcimq# z_`14#0!c{(R+{&T5f$*3nubf7=vXAakBx?tQv{We~ z152#b2?Nlm%d(~Aqhzf_3|1~%iiRE44_KRaJ3T$t=YP^s68O>nD|dH;r0PtT((x7B zoa3yAYm$LRc0=Xf9?|8;;mWmI!yAu@?~?b=Uq%eLDEALrEx1_JIez>^phP==9Mq`u zQ@o13=dr+X@~g?F%FmyVcCkHVkNnfMEE=_F+Sf9CZ+xFcw}R)id0kn|gBbN3DjBmh zYF-Ou;Z<|f1D$F8Du+iM-`*al9oH;?E*L?ZoQ6NNPVxD8Melz8B z=3)P4fRnlY#egv_Si?iju^xHy){MPi-nE^MKSap-D${^3C57p*fX%Kviz%=b{Uky@Amu;bt2jGH?@VNZRh8+5K?(v~o+_GI3i_baL@@UG?$y+oAPne+dPF+34e=1Kqk4CSbXu&phke zhOT6BP_)v9M7eQLhc&eb$-#joOKLl^D)AQ$^tSnP;} zHR*>+d|4g4BA2_0zPKUi?R0A!K1O5B!^0cxh}Uqj(e1l$b}Zw;;<^{{ux!n75+$zW z7%k+uzOMQVi%QO7x9JL|Gb z=d4oTf#mvcA0TMtTvnGdTtTB4W-PGey%1_e8;W*S>Y5##ETF8&5pJCY_~XrJ6b|2+XA;fI!j89qgRQPX~l=y zU;p+>>+~;5g#_g|jeo{(Uo$9BXP=wvhorezsLnQT`pX$(#r3sI$Pajc)rD5@0~?Xc z^h1?T%mOqkmN7Zw79#uDQ!KR@S{73?xCNW9BMRFc%jkEFx_e+HX1{cz_qzHeSBa%-Iyz|7o`Z5sG|^Spy;}R7!5%{5k)lPt zK9oK0h1ij-`i9-;1~rqPLIQlj|mD?Lq%m7t@v z20KLrSduXD2aX!UC!wq#xta*vkv3&op#M05WXhM%*ewJM+}Dn$yEkdmPV2eoI9RqX zb9~!FnEDWSYwPm#n{W(kUuwR$=t+%e&f@G?Mug8Q;QqCJ0rs6B5WTXT(b}Qqf&tKY zw&7~-MC&=|Q*-1;Dm|fkl>rkr-Ck?lTxzET)5&7D&&LP)o-n!)IFWDGH5-!s(&~$6 zz-$Za7K-D;cm@|qH^?QqgDF(JqdDI;Vh{oFvyiXgsEy$IqE7rItWc+pU+92iG;!e2 zi5m=y7+%VrhjhE?$wd1DS}D~uxvID+U2MNL?BO;)WV^S#F{{$jLV4#M)X6FINtkr? zQvwJow>IP{pQfKG2Zqg1Xp_@NZN(itGZdwOgSL|t8xdIYs5iIHFOW= z(giBIjD*yTW-gR<{&2Fu`WsPFFV!PVHuz14Xa4LI-R58hkk|VT8kLWkv_(W4*+M=n zi*9(~{8Hm0rCF>vE_=!!@HokNiHV5Kl&>f3TBE4k6reqDwb+B_Zcak&$A((_K;ta{ zxgS=3C`TExf*(b>Ajr_Yg3FZs=*>Ozpl$PF#kj^$gOn3HYqomIrR$!>+(`5-fOnHh zd#|uLx9#xa1vXf+=2_d|-D>pT3LT*JQy2?hBtTiz=g^Nm4I0Ek_S!#CFcABsZ_|QJ zPEv%Zx87X|0O^`^`KMFC6qP_cUnUs}( z^CD^n2Wq8I7ku2||5EKO4=!eNZm5yPOsVW%`s`qn{hI}yqd*cwt4UL&V~O!60x#!8 z2+DH^;gKF!|ANz-v%C1G-N7_Q=k&p#o+IwTM97?6gdN}PBuQ6J9!LU9wkAyeo>NqW z4G)8~<&C=_KBTt8EvelTY3tn{e#iFJjG=4;YkkwBY`20qNqDs7;0X=K?pr7^ip0r1 z?RKAb6U0wRjXA=nl~v5tXo@^sE)VP!QGQI5^pw_QSxJXwyxvJ*Ax9-zHC9~hzm7q- zDi^nom);Js%JOuZMONnbJZl&6*vZ#%*Yq9pCyO-$+2=}&0t)-~L`rT!D2oH^XT`D{V5=>i zb%?li)G>XPtzNY~CIWT1A#MutVkZ5uXQmZ~>=Yc3`8jVGeZnGiy4T-8b5?g~sBhpC z?~N#WSoorScf+d=j#@X%S@_ZeDLQla>1TH?kNXD2yOGBH+&x?ZDg6J2WY%e=OtO8g z8j3?3mJDZ4uC&AK;IaY)JUe|TZ}dWgRL)2_-OmSLUj(J^Xt;EzxW`e~BcCepBnu#g zwWTjYlsL)0&holF0~w8v4;Oy4H!~i3ee;q&VCO~HM^3QxR~0gt z4^?i4YO+(L>RQYK8}Z8QzO$x!!K+-QrY0OIr-mUXFIA4JorIfr1xLhoU|e7U<&8$m z-E%ZJ^0r+=I-btLcL_Kgy;>GwJRd&yPcKxI!i57>7)9;j_gTn4I!#+C#lQuBdF`ar zS4~<<9a{NH=slj6ggfG$=nIs!Ll8U#A9cn+2EwXafeo=PJUjT(numW6tpgpc-Pt=2 zVMq)azDiC_^4<|5dNXH#HJkt5u&VyfdE%k@x)d9ec{>P=a$^3TKsf_q7pn2k}Lle*wH zVx4arELgqTIa<@MB5|Dr(;Q@Vu!$jSa(Yw0t4@)Vff8S^7VobNk0y)m1}m62_rr&$ zdoRIlW=a=yd@pJ*{OhuZ9r^W6;~P)PY|CsG{9O)lV4Y812AXc#3#=>)oX|9*=~kqM z1jIhkDE6zMjg8{nb7%YqS6!`H3cv;~BEo9n;Lgm^-G(I6i)m2T#0@rLrtB2Aj$JFn zgO1Ckji=X^g;U_2`>*cBR7_4Zb~JuMq2IotGpL}L|;6# zz21(qtK^-1NCR3^96`IDc2xiuDd#uhxxGdNT&Ih~HSO2IbQC#^j-z6?gXc+%qa?BN zE%fQ5>0#o(n=69@6y^g0L>@P>V&KLFt00_zHfQHhg|HeI8#(Zva0ii02Xj@r$;!og znf#rcVN?Z222^GJ@h}*_zS+sdQ1CU3gH3J4rij8UIo*tgiO;OkF zzx(Q~pcIncaXXAiRKII*G&8|@*YWS}=C?o(D|x^0$W>AE9T{-|=-gCak!-{c-0l6W zyYit?5#C_BfY_XT+QA3bjLlq!%K}$VCuL#f-slUN2?Vgth8UW|X}T?t83$uJOm%bX z;h+8+Yyt9jU`j_n`Fwvx3g->h_P146ZU-&_`wP(5=z`q7K?9+O3eIjxsL+8Im%Z~# z*|G0K*_hP7#7+ChNbW9ok_05{Etf*5=Mt?9lle*iO~bH)F`MkB8H?H1ldW+O)y(8H zTpmr9zX&RlYCcr3x=+>>%^J_?z!eJ}T{8%*l|Z2%<{Ku|XS3b1hXtTzUJN!`4$ZD& z)g*yaAh8@=QZw-mukAaMl8xy9DrEWtD0Q@GI91 z`n$-|pBs8buT|R1Xv@~@s(6n(Em7Nv&+C3cuYE~Ii)%)&y&G4Oeom$5rcKxvyX++s70N5$j{N~sZCayN%apmWF}}a z)yYcBQyJd+zL2F%5*&@mXQz-CQn6o&iyqCQz2j; z{;)k0-*rfuy~TF{t5*pr`ok=>6dP_;)1$ zKO7u03QDe7swC>+*c1SKTaOb5jA5)~0Zh+ina{v{56ANiAIyQTUqRy6O9o)!8*_WkUdo649Yi5>rfttUjD6z#1oJ;b1(IJIpxf>qMVPk=q!QivyKhbW z(ZxWgpF9(|9;4kWaZ^L?`}rWL{As3Un3@m=_a6WvliU}tQYsVQ)JTK<4oPkLssfgR z9vjj6k02q5>Aw=>ySFGgH>{qSe1Z z>hwa4>f_wH|Ft91$HdT< zY(>N><@o#G=OsBSq>$zK9&CT+fWj)I-;-SQa5c>xm{9YWob80_DAx`!ds=D8kZZ#sD(3zHer)dd_t8Afd z+}JID1*PE)EJiyj2z}Gu3`n{#G1OFiv}O5z=^BMVjr(F}aK}{+ssFmj$<@o==#8DG z1@RW=h4zjok*6L6u75GhD|4xSLaD%zP%?4U|2;ja3;P;#K#dz%IG=w3H!lK(=-4{( zT<|~nHB)DeC)nWxno8f>=EK>x`zjy*;yUQrL6cs94(mi4yBo4d=gd0Ls``EhQ1k zXse=iwC~pdjUe9OKT0iUz7^i#vprptn6zOPfTYrC@mAmjXG-oK3I0`OXODbedXeiv zY&+fWtJ=LQH>QaU`Rl9?M4v)|royg#>pGUWzN=y8b z7JA=yjzSfh`t5(Yn(I4qbolsOUiNoAU2j6YAS>GI>Ip8m0;nK zoNpL8wG?dOY%g?}FsW@`0Mi&du$x!?ew(flol-=m>N`3{8!V2eZi7e~DaJS1x2t9jU#c zh&uPw(44vqG#!h0f+sk|`d}g>&f8Thlq53AVG(9F8n8Nvv|$6Vs@vKw0_XfskmE?x z1)OH*j*Da8Yc-)J%k((=EDt)ARaE>hkKkr&Mm1S27ss>HTH9Eaxs3zm!Gg}xa9i7?C0x{x`ycZ zvZV07C!{xbeOxxe1G0H2m_Bz9HywDtoF_=nh36p4bO~JlHH~$(Mkww^;kDwFGbcBV^>oKVm2<`%Nc%sN9r3$4S{h3s>o@Py zo*$Izp+=wIO?Ggq?oA)?4b`H`OAg9;;=VqjHs`Zd(cuH`W!41V&)}en3Dn(IF9-%= z(kyT}N+>|d&k5`0Mqi%J6{9lT5v$XZ<2!a+LGQdW-^eX+<7qC3;tw?UCLFmyqJjG? zpsCOY^xsjImf{p^Iua?y@dTbFcLCg$v#qMY(~%r$AsE$n?B-6(>V#&uS<&k655BjO z{w_NOB1r>T0t}<@+_kkC;!XUv2bs~==Sp^e3%wtv-t>qXHB>gQ>7l~ySgJ_S!yJ4|9uYGx17o7n>=`MQi-uLS@d&9wmB zoVGgkia5Maq70!`-)`K+fbt!!A66pGr!K!=NQ@sz1z$cWncs!1p^vpr$Xj#ngEDd3 zdnOxcihZ*Rq6iw<25ts+!t6&__8wd>OZI13cybbfI}86oa}V&3(s3H9Y?ZUxM?;k?wHjMK*hm(P+YCpkR{Ji$$P zqwzhSk1)T7K2Rvqan@^LEOo=UVWx=c=D+WDVDpT14tNZz=0oZGmH_V*I&O};k76CB zw@L?TiM90+;FibztRtY}Z>R9Wck+^~q$o2<0oaO(h#w$u(7RpDJT457+ii}nh3v?gl+EVmGd<(}8t(XDm(6dVg`w!`rJ}bFs?B;Lr!_SMWN9`&t>!%`>X95kPpBhNpdsq8n2CJ*zyPF+f;65Ni@pK< z-w_^^lMl=VdOltCXn;Ivu^xVi1!CyT$XU;_%NUbbQnc!mYzjQgzQ2{}P{g9MKdjD8 zFH_fFFh?$k6zFw_|i_ z{yT8(3jy#RKl8p+!Pb$KZhsALSmOfEc*F;FSWQDn@F*B&9}r8xSWX%pDc6v-3=<AoS{ST7twvtP61fUs;#fG&0|&y-F6-|mEhj8pg?zCXc38KhK-u%w)b9*=`MB(nyc ztj*jkPmvX-NjRY(TiSHfUSPQitWjc<^7bRyD9K`&+8IOD^~SWT=7aCXz)pqe{ML)_ zx+J^GIFi{!H>R$)Dx&ufkVUn*cz_c0Ykz&dbsY`k*_E)Nz}LBQWj(qkQu#7(@QmO% z+jLGPkvqKSDOA)BUb&;@zi|rnGMV$S(kYsvZ)i^ zmgFI8Rvx9IaTq&5kS7}@r*qnq;`8e?ezU?H-k1dqbR=uyuQOHY!#=;Aaw;=U%$=BY zs{AlhSRwn(ej}(JrQ;(Zo{e81hO?$Y|H@Io1ggSL@kkYi6Eyp~-_VRe&zG0Ztel{} zGGk}((wh#q4(9*dxaAH0iNSB_opA%kaX(u?N!^EsFQSU|?jM_;y$j^k%&BC~kXPQS zVsnb{5qPo3FvY$3VR^g+%1n+L>c@s@WAw-~j&M0jcm$d;WThN!_Oe_QZ(2Bsx*aR= zZ%sB?&5kEBuMVf@gK5xM?0|juV4W}1CS|Jn2fn?KFCg&7bTB(*ytW4|uPuWmih3yFm$wEYs*#&hRbKD>f%G_%5U%S`^V*zcf7EyY4qBhHO{p1Q9{ z-~*t_cutz--Pix#=#8hCyc!N3;JmYW|BILp*NjL|&TZY|v<5RujRGQbzIdI$j{DVN z;h+(ymCXyh$T4#?bNp?X__#?8y0p8MpY_z?jS=W*(?9qaV)LCZVZ-Y?)TYrs{`Wms+DW%E zv(U5}RdO^I^oTT;jVAk~quNTDw)UFp)Ml1Vov^N0S`1;&^ zHC2|C_)9C6z=Q#s6KGMnu;kCm&TW!7WSZD$m#QY8m26OT*}~5jS76~RnY{p7PRDg3 zV$X-gP4(rx63eR0J>?b-zXkN%L4p0D%ypy zRcAlW%_CW_90r8*Mrykb_?viVU!_6phAC^HEJxFygwtQ6-~{ism`4=2F?T;Ml$4&2 zvLPf*t68-<5L^b5)?hNMKRn_IgC=`);eu zO8}B6ejC+SPRLfr{%hz1HILWT;W$uPm7m5?Qt=BVjjAqruiZ~sQ9hI+$NE32cc=aj zP2U2~^#A?85-Oqc5t4LqDRPMr3*D%>=APJ4?w3is$er#t)Z9WYx#h0hZJ5%{b?&#B zrDAR)W^QZS|Fyoq{~nJ$l-c|JdY#v~pXWJm4o^t`r_!yC55!Jb5PIqF7MHdd-assZ zI<}V6^Hx{?EVfKW6v!|F{Y@(1z57zzf7!G;@wuw=XmbwGMp>hx3=}x6D*Dd?mlA{U zymn&~#1v*vw?oG4$_U;>UW5qRHioh%C;6#lc;CdjotW3gXi|4rG4<^ zMBPS9z0(hpK^_1Z6#%yS3>gs3d0)|`#iBMKk{>o@p1WcGlzj){{k=BV%Y~O4Jij2U zG0FNeV7%nG}+v zpfRebS%BtTDEYUhCSZ&E9@HTOARV&y*Bo`_zz&H0E1^8zlya@^$BsTKdc}Cyfzq6} zyQu!+9QjVesgnUNgc;d7{ZTc+=&#td!GK`ir65l-ER;-{?7?&98ZXiuaYzeFM?S1RJURQ0d$tT+*s34k?P7q&Ctg z3Ws$L91h<~S#6GIyAG7}T3m^zU!)5c9bhV5St44F7ZNk;PtFZW^2?_tTy{MD!{d6W z2u7?go^JU$mwxBkbT*n(ygDW>^I;uR_RVO!6^a#$!rA8_QiFgIDW2bJ#q&ySavyup0Zb!z4@~f-YU1{1b>13NN+zWUcgal3FgOJ=*rf-2l#Gftq zaIi0mZWH4;N%=)1U{O*BTKoIRuzD!%)6<{{K$*zwfBkjmONEQAhijrsFGmOp&UO>G z3KusUi2InnpC?R-e?(X33?r5124}vnD;Cu7)WqPErl{+LLYML;F{bZ}{SHTsuAM%_ z_SQ*D$|J8`iEv0`l#%@h=C`lH5PglE^YL?xiQZ5t$VHyD*#yjn%j*Q15d|!yyE;$i zqOVKY=9ic3l>9c-0qGG6w$7+U-lr)!gzeG*7>^PVrqwN$c|I9>mC95CTj8tYUS)>F z19qdN?&k&K3n_f(!&JX}WbvkjonP3aG=TYv2Rp<6n2@m1SK)Wd%g?};Q_>RhZk-mv z4A>nC-H81K9O!l2(*X*&;9elJzb=>D+Hkuz0@E|Y@Y zSiOBrxDS13%YFB`3iTBr##!ra9Od=qoe;^W=5hh_bMSr0Ug-Uu7&uc(F&^Tori6Ly z3j7wh&i4Jka^zrulPznIf#YFESyPa`2uB>)lt3@`PAXlN%*F=t9`(6`8K6Lsgr})mKyD)J(mPgzqY9P#01W} z?gx$UAm8Z^qVaa?GQ7^Jv-9$uXOF>_oS$#0K0t+RJrQYIPnM(n3Yo~Eg@F2qSkL{O zJP$uMR3`i!@^u37@TH2s66+<2d3L9l zj;purJkC1;2w$+lW@lrb2VLZjsRnIm1rSMdMDo>&U7VN4#fcCYL;D9@*FNH|yWU}i zTm-NuKW94I+#Rh$7-?uX=v<8ty+*kYDoCYq2kYcL^hvo||4TYTwidzS8yIa~-EIFJ z$OCb@JnUP%ovcAn>DHh9F{(d*TxU+=A`CKLqMfHhZs0;DRI@A%P~9RHPxQeFLDDn_ z@eVnN*r9HhR}*I&OHM2qjx0UTq*;~mTwfsY&1bX16~e&cALaFHz;oJh7NFcSb)D&U zL-}}ZoSm#HnKrvCRrRq)Ds6cVkVYDChGkwp{oa%D&s@7v_>`#Vl9`*xn5s^jr0@eoqiuV)#Nmvc4(0 zXAa}4y-Tn*`lql*KvtGV;Wn}e)_~_Jv;N& zF05rowOe;s<`tGSL=t`yCYylPofBU^Y25TL4=ykdc2M29ng7CU+sC3?gO7C&v|I-V zS%1uj$5o9$8S^M|>a!2hn@8^(ECS8|fj>pjRiPZrwe0qyj`}n?pF?S+a!->wHaKsX z=K|Xpjg5J_AjkzihbG9}Ntv6o{Q?51dzsHRw9dm^Y zj?+cLF7W=Z?GyZ|uRI({j05^4r`aE#5J*sEQ$%aCXykcTGpqKh!>@Lf%ZpG`9;GGU zpU-wmEb1w{+=OV!mMJlCHpmM1v@f{oX`wKpzwhxj;eVy=plSCzKEV5EdSBK#+RY)zc*B{@<_LO7+$fY-T>VgI|r=hQN@&hO|4>9L^^(UNE7 zQQca{eRSK!c}2h@dEn-zIFt0@yeOjXU)S{-WplDBYqJDHX~eIbtH=r6**Ft|2(9;X z(E&j#snmhyHB{1J-dx#43iI>&=&ql>NJAvqmIlk|B0}3l> zPq!@Fjjwi;t=VU*J;Hqff&yXpowNXuZ7yc9ytZRo*z_P~Asin9LumxOeylxq$FoUK zQB1>YN+>=3dbn#7-Z8;IS#!5))U-P;B%0^J0tf(49;-ocVG2YrCDie-x&=?ffk;&y znXS(I0@Tb<&TE$xo?X$q4cH28-ri=v!1-FRI-dWLGVw5Awm%6Tv)B%ZXrog86RW_v zTudsN*R0m=1aaL!XD9~a*>od;GWjYo)#55I8l{|I|DL3{q~7l zqVILz?cbUpt65OXYAjG^HwKjXK6ibXYYl-d*6f4TsPg*T(cil(!a$UZKjqWgg<|!@ zD!g1sp{de$qfBuJ76R&iUZkuqte58HuySc3;v@#vIB9f_(j2c;rIN_N#hEGQIjyG$ zplIm%05o|U?6DbUrNpW4VM!m*=3Ra!rh583$=Oxw!{viWCW8{`so9$Y$~@WM^9hKX zRBCMpu6jRn3v#+v&gO{*Q1fPMKooCQ2rcY*3(|*hJ(NZR&ofcXi$b|M)kWcNDw)fk z8zA3N^EV|m-)eSJ#u`v-&ykcvGZkS=RmAo)^_?wa>VPL~G>$_hvO{Ik>$f$w%Q<(GS{4@ioG zvvdHO(b0zeSCO}*+@C=40m0m|8WmmX^8orT|CXSc(cI&LR{pdKWa?hPu1s~EqY-5a z7%_ysT>b)SR3XLjeN;ziW*uN#Qm#7S*3k#6rdqRWvk%Zevv)PHj-q;YeAZrQhW82B z5g^fSp{Ihb2m3|2*AcIU9iKA?^ol->2E?(SK4fKNJG1mA3Ni4p z4S1)77M{m27V$4@-D=7MKE6pQnuF6P%eltZTUqipR;>Oajvzi#^l&lN*c@s{7)7M~ z&s3|!c;@M;5(Rczan^r8dEfDO9lSeUnX{&Cj}eUCaf$7%q=C1tc0 zb+9jcC(lX=EbyF_Ia#&LIUPUw4OjKsnL589A8j}d2Z zLLP=E`k(3cdn4fA1OTqX%A-UB8sb(ul-CNBL$LALFF!zLC`+4=_Z%?#F~p$J;2dgqC~u|g00S_EEuAj!S9%ZCNpG{0xu z@65C`NH}O*1LfWN)>lSjB`pLu8szkWTIH)hSDCBbSxdiz)pNTzc!HwmF}u|7 zeq}f>11-=FG(`C|PYX(2kVq^K(6nre+l3;!ajCutO5B(_i>zvh&OMXyWUJf+@TdpP;YS;xYr4-5vhrWi3aSm>}z(hInu zm@0aC&jsn}>(y|P9I(#|>3CWgdc&pM_zpQ`IMOI383ZQ0NDCq<>%+>ZZT#h9rEvTA z-|Jx>gS2mOD=(BNVc61FQaSC=B6iyi!pd3!f;&zNZr+Lh)*<2N1a;YgZ)s^zBFny{ zH2gVN5%6AFQ={w{`H}9%HxSB`%;Z;FVkE)M?*zOqn*#9%?^ci_Uo~*((k=D3)Q!}X zU34G9Ap}CiHoJazO`M!e7#&m728 z*|!9-k%!uM@@l7m-L38zY`%bA`P{I-l`LJqz%cyOG$`CjZ2=n>#;W@AOLLB?TT+q?D6D`0J}MAY4YHj=_&Cgi!B|Lz2F zy_W2u6a?_e$ZHepjBF=FaHy)kqe6@Dqb`o?pzNCc!N29Q^UjQjvbEa!%rDqxpNsIz zi%e1kq9SUMVO1d@@Z))nO2mg+5F0=eI_WR+2PYfx2GD@lhO1pvwiFDnGW{0mDnm#W z{Fht;G2d|&o43kZqIztj1FdP_&iXUG?U}{S#210OoR(l%LD?#9>z#kfY^{qeN}oWE z4S03+h1ciS`jG$S7uAmtox`qxx8mF&q{sONGb1PN#{RHOhvjpD7y4#bWw{eEfs{M( zB1_Ndt~E0KOgFz}7svl?_JxwfjD0oX*f5DduXT@dYi)?Z;am*X&DZvAxfq%8)OPNe zl1Hk9=O4cw_V3eoyAG2JsZU~H)tdOy^bm{;`OzkIks4`9MR5!-M`T?j6WN*8OX0t+ z4uBSJ-YfdU6#jFK9+%$zMOc$NQ!{qv8K%4aw@@c@d`A*qvcPfQLaegRCN%nP5cE99 z3MrK;lh?EKEt8fnM^T0?RW$BrM(p_H<%-c zw+~7aZE)yTLg4s>kH`N3VfWr6ng>=LQ3uYdmwX0trEc>;l=P0e?vI;jc2poH^0bQ2 z=)^l=>ag?k`Ff(AT-g|l;Fi+6IF1+!-V|mre7@X8jw7wWgsc`w7td>g9&n^nUfqTo ze*s?j{e#==af!?4)XKKvZWX@lmzeRCgC|rk(J#sN*qf(W>N9Q8LvzKhaS&%8SCPvz1k(8Kco`jRKv!Uy=)bT%|OpN+3G*Q z%)hj5@~s{Ctv96*h3dHRGPUw_JpveydaEA`)BPF3{x%X2wc^tbos**I{^lu64*a!@ zF7HTZ62O9PT5tK;&EDrwsUUdO^JxA%Q38{w%{LswX;;iX>9ly_WN+2Si=Qll4epII zDd+G3v_at=c=6PX_Z~3(xroaWwOtXm7NF`MB41>ZrJD)J!x+W)i}gk6~(>gUF7 zsMSq{^!tdnXm-#GKcs~(NX_REny%hu& zT#HRMvdcy2A35OfK`+kpx9jU-pBGt`{8U20tALn)X@j?M1hkS>+yt1^) zU9-Gnb2$sV`u#Vx(sn)iq;h3mYbTl)S5eQtv0r(Xcd0jE35%!+1gV57jhNL&vzkR* znf?EA6p*dAC;EQ|+Z9}_mJ_p1cE7O~Ou`y|QKA%JJHD?V0(A|+%!vzs-ch!J40B{& zLw)2dOc$y61j`5HGW<}@WaL*&pAdp*cRR!9j*M4Zu&%@@0;@Lf&!^I;-#anAePEM~ z<^G5PvRdOQ7?fJk+|AreV7GjpOEK*6JF&h?I#`D< zp?9-3`!Id?b*_?{k2m4-TXD&NNu^SYDah@xI!(#(ZR7os4OZFnAqbG6upD{rZ&C~& z8G6+Pn)`3fd>YJ61D-7G5`Op8KD=h>mO{s|7a)m@~6&ePzDmpN)CC-Lz-U zIkoM`rR%ZEM#)HtIeYi%V$A&eX(ueKZ&_fyD7AViv}^I5)4KJ2q88a=^gtAfv6n?! z&$n9|bFke|Z?vmH`|q8*h}-4o0(=h4>|Y%;c(1N8)G*d=8=n?x9-hGesVtup z^>bJSKcvToWQWSJ)^5^kA7bgBCtI>R|3z5zXd7*A`a|Llaits)#Kj z2hE&#T>lp^bR727{{pnpjN>GR64<7k$2k%Rha9Sjfd_y_p&%uKzj6W=Yf6@dF)k&K z@kl2Sli(Tuptyh%Ev`FA36Fg;7F2C~R_cITP(Qv&_!TgedkkgZk0`iV1J~~NWq-`1wbazejb)dlvvdR2~l`;O|SH}mybb!BQ)FE)njbhW< zlkIGZ&=~ip{O9LIYD2ZF`~kBba38y%dE>Rj2t$HS=k@g$fQfc?c$*AHP<~k;%s88S1{gwkSF= z`1Zm$4bkK~t(crwnI1nPKsJJbl+m<4$xjCis`>Zod7k*G#-e*eRrYU_A7$a*SEHJ& ziXq3o+s_Z#FVH>s)^+kj{b)A6hmJ_lBN#3^^8K8KysxMYJcyV2hq_qF(qD5rb$by7 zEz-L$Qg#LL4z`TC6#(C$sGSiCqWtbv{VWWf)jqZ+9N?F`Rt}gtU|=Eu{R+2Ka%y`> zwjvNu|BG8+($K#G1oIvvCH=q5p)YQ=wOY?sqSsa|29YMQ!JcU++jgXtYXo~CDB3aQ z0Jm9ob&KZUyA?%j2pBqvy8R>lTy$yXni@qg(8&rzuleJ`AZuZ>v{*G28SBL z*Q{4%baUmoSj-}tRD z81XLTD34vSoN;L)D|*#SM0BZEQ!roD+%&8Fs*{!nFB}A+X=~hJl#1E-_yG<$JORA+ zABtU37)aA-R3S1Fs)N=lL5gE`==Fm6i2WeWb`MgT#27k9a!O2GtIPQR`pFwHedrDJ z-SqSj=mB~g6QxS#r*hepGZG6c<4e#FH!Hy4!8;=OOYeki`qxTw{@8u;TT_-^2^Al_ z?-V68Z&8A?B$Hz!lF9+j8C#A-4CqA7*D-6NGN>}Y74`>~*h9-gd#;30_N~s>m~P#x z#oGN=$nPp%_51mO|B+jb0wt3Ck`GS%V{kG!VO2UEmp28fWXm8PRfM8^e8728Q&#tB zRrDmyK`*Ds$>1nKAbaWvD#+#jga1o#zWX%33i4YX&HMX2yA~F-D;285nobBbL5|P& zacQ!~Sn_Z)=LX13uw6J;acJgquj3Q}D_tjYpW(olt4LPOSgqWw6nsb`%`#A<8uQc_ z3SqCbNi5!0RNl4`KG$4v=Y__RQMIO-z?f&twyFlV0~eGR)c5sih!=>{Rq^d3ME*-~ zhZv{b;i7X>n{*}Dl)=Am9ElA@`h?ytnp<7g+wvx+`k2i+|68Q!#KvE#CQbusK0=oD zvCzSY=g@9V6S<|$n@+^ClJw~#hOf+!L&bJtYlFU<6G*qp@S55(;ii(&&rGX|XMp?J zp>&+K@6udOF%B!(Fc=Em4&iezv7r@+6-?c+MM7PRv8E~VsWS0mN6V+D^KZXJn)C&a z5S!k8jVZSk#fZX+?`G0u&s5@GM$Un1eAFUt^~c+p+NVVN9rG=IofIUW9~SBk^!k|w z66B{ZwRsprA7iO<`(5JZ)-ZHws6z z@(Q`8WTx=%=~r~AZ?!9~SKAKHj7hC zfZi>Pv)ycGgaRLZkkhI&I~32(o>+eud47pCB0AUeK~%&;-Z^Zlf<51;ngJf*V+ra- zH)`77#AFaI;8bVQ4p%hE59R^FZoOag(++AfIGdN!X=E3CZ~T1NR8C%_@SQ8uu>z79 zP`w@&Fj5o|!HQ7SEe<7eyiLa%3pzn|a})3>q1RpYw;5}?2lIB3q4KE*yKlfR{PANY7!ChEv6-L3qy*6gns7q$gD-Cb1aR!Agdt%E0A)g%n? zY7r|Bp)0rp1{kV?F1J5sAq9a(Sr7&oWWv5PlgdUvRgF~2!s*odVRQyTGu zO%e;hwTKMXWsOZOrzAqbzVKsTzXzJ=sWL{oVeS3{6N8T?1`SK$1Ai#$z-tMh)Hdw{Uh9*T!!i|9 zWps2NFOqR_S3|SgFwRb|b>t{H0(2K=Y0r~*?arehy-t6C&!m;z&HTnvQr9ysklDZ0 zPOaS2^5nfrvV)yrP`!fmbR>}8N-qDIKRj{%XltzSIxQiQ{aYyb6i=@E@>L!HQmu;0 zo$UC}==XEcannJ@j_;APM#F1E!g1GYk8)2IWB1*9H?VoGq3H+vJyLERwhKdWux9hW z#0f)^uD%Hc0JiuIS`{X#Q7}H@+T(@cSFEL8z>GCbuj*XxItChY`z&71yOa}~?v&l| zpp{3pYvi7>{~hL^(5Kk^mQE&Gk%uZwtLMVz9J%hyQ1xlT&l!T09!ck!e5N)&`5f;ryDZ%UL5r5 zYy#2z2FAbLuG#XwpHUa;fYCoqlEtk;^XjKCU zr6DX9{mQryD#=kowAqH?6Q(N--^u5*lj_XtHxGAuH{FQMzaMKgi&XUp8#GfE{<*j#=5|&YPJt;(XOl)ooD3`8RQ52oW<*ZDf+Zoq*5JcV7 zQy_XYR6g(%XUJXAd^)n)TC~^#bTB>?&tgsJcpHQWdoToSD_{_A~f$^>>Bc z{GsbW@#1fmpe;KZo9#XDsu!SiYzjT9sQZg*?bJ#UPkr1!J`I$`hpS&yqpiSZ4vE)f z2`SC9Qu(raduMOWgBH--qsp*vBA1&Ec2ThBt@Q^eU;f3~$>?i+SsSW9CkXe3FiX`gEZ>n{v=wiX^4;Rb|x|Yek^B&^hb)a zM?to|@_K@Sl5}FSDsZq~FEyXnPAp4X1$7COA^h~PVC|NMGOE$k6kcr$7A&5Ml0G?T zSOszY%_}?hT)w#VK#l@1w^}}3b&-xmZrRZJkO{*NDQ!E-Ckk&2v;W$$nsRm1yWg1E zgSRRy&HSnh;eEiELKOa3S+m>4F$rpdb_Km@(a!XO`b41`rnTe5bBqp1wTb-u4z4@UWIB0g21!~TQQKnm8hJ&NnU#ByRCmQqQVTz$;-NGy90=p*a{Ijijxuv5c zz8^DOzu1dympmk4;$gV?NhV=D$lDQg2zACkyY@_Ud|o#EOfTQ@99NP1GF5hj5b5uSQve3y@&h5; z`z9KKj#WTS@Jc$CKyaLOfeShJ!xQ?!lW4iJ3uwYtq48c@2ci>+o$kezXr+}vbyoKLmAiR7Cq(O)LV~9JYbmuX~`ZgFVrb}Wd zL?V>HLPQ!aMBhIcE$CWdY%^oF$Avt8EFh&f|7oPK(MLujfUKAq21W^HU;0;aSJwwK zN#!C)n>ivbTeo1LPO*G&qU+sR5${N6W=Ke|5=Ngi?^GzQqdkD7;}3*6f^qOIJH~ba z2*^HHYn}~E_7I$m1m1%}5Yj{-A=}{r{*t?3kB)C}Q~Qt5Y}7x3V=v=sivcwCtn6Ke z(fY5Y+MQ@hjOp!nqj1hqmVO{@i0R_>ra>1o{dyRv(IanoYSiMf#B?A3BP8z9Np9kW z^WVUEIwj7IB((wS+P!VhMDfC*k!I=?ed#q>a%L}&;bNO)n7h$GV_TuR^mxJPP9{pc zu1g8CR7Evy?syT9RDMhO6=fU$AYcK=WPL<8OmfH0&#}_4p-@Svo_tzJ2po41RM5!FVSd7wIXpAL~%Y z+>H>bheH0`&92C-B_Cct5_s4_!ksq)u9rteZXo4eijNC7A#kXc1nr)6=)V(C$3H z^WRa{9fehVX}mF9M#ZkQa7moG;DvSLfYl^#A{;QeG6=&UoC3u-n zyOVMh@|b6$ud{Z+sBxk4+f8mBHiYcFkyNCS7JFO9dd+XYhr2=gnDA9NE~K=({hWPx z=C<>)qeac*KT<)de=O4hU@d-!Ogvj?k!Eq9o>YhE8S$#kD5H}TNq8j1x6jK?^k|ia z;>qszYB$xbX|*8eS1IaEXS=zm3H?!_%2*SAU z4P0P}bYAQq~^y-5Ol7mFZBISdY@1(;Axx;G@V>A(;-fxl)u}vEr#>G9{U` z3{XJ3$%iNkDs;l_!Vrf!Q9m!j39-)ap%u5w?m=9$BR3}Ia}oRzQzcHJENd-Ll!&f( zOdj<*ceL2x@yX+wb{3A)pNT?2mSk$ywfS4AHX0unE3v^^+l^!WHVqbN%avxgzb$KE z!9q`=B2W4QSCT)BT}lh-D4YJtuOP*f$1*lUSxd!`6^CAk1|`c-%v>fx4nCq?mf~kU z!NH$E-8>0Q7A`|td*o3=4yA0=xsbIk&*mSb4Q31|4Q5;$jysT1e_Q%|qRdpiCUE_a%_~w}3ugIy#?%lnN8nhL~j{sw4=b=>NKw}EZe7T;tC+!TThv)t zf8I-Jof)OuC+bR_QL`8U6|I)5Z40tn1cK|I19pbkT~&b-<<<@wA8)s*hM9|v741AO zj|`ytcouGj^YTW9%c-jG1UTNt3PH?Qla#MA_eO1&rq&|XR z9Y{Fk^KlqE8t70{PAFwJpO{r)G1dzaz4O?Y@WL<~^ty)jc-yfX>Y!xU;+VJ#tNZcX zInKu-x7J~^Cmr=uFx&ZKoS$QB8TQj+?Tp6i&R?nk3=|>l-IG1<{5nRj2!5LP!(C+%hh7B4Oo<@i*thE!%`!MWPvlxOTdz6{LVU6={pt8 z7iT^`xX=x}F7sMZL0++}H?4|V)F*Q|iq#bv+!OTeBI?-7i;Z6z=+LrG#RQ=hMkbBP z4)IAzb%;362k8Y*FpBQsIg9`h!oXP=2E#%t6f(}9Fjo|aB3Hm)?UpcquUy1)b_c(Y z8ztpQ+4@_T2?M`{lb(>FbFF$#=0IKisT%4caEOD zfku+(>XF5NXXXZykI5m_h2Ves1`1Ni$*j{}YU*>m(fZkZfLsh*^8UUr0Ho9}E>uS_q%CH!_9Z9iyUs_8Y(1Atj8U^6^=1Sed6w zBOKRFY%b$&{3KXa1pbaYWHQHEd<`V((@w@nq%E$QGp41_%BsylP_N&eAxb^{cEEcc zIFIe1M0mmn!${L0e(=!VsqOq1ylB6w;k2FdZJL0&h6a;c8qX)E+f`5r) zdq>)|Hye&?N5hlO1Rr@jmz2g!3XeoG*h8LSM;@EqWzQv}CqcV|oev`oS+_pLL+won z%(qs1)(tmqIW)XU(mi5$4EA^(R!2`kQUaT0Cx$md0gw;a0#d9H*%R6pu22T}mgYX~ z=xGZOsFM6XEW6&t?$fcV$G;rE%5-?K=I4k!?@1s_y9XZ##x({qj;_IOFtNkdEZX@x zMb>i-7V822NeQ4}rb9&b3QmBP`S8iz%oLoIt7>WpT97lk5Q69pK0IGd3sDr1lH&^k z-M`n%g)ca9r-i6P#LZ82tEAYq!_`;Riv~yp^j0@*`&6qtDCIK(U}aB+OL94X&u@xYk)RKLQd5c73t9^3BL4 zi`PjWA}ty~g+VE>y2+nuysFAc)U`G-!B&?jJ-1?OOvWa6T1yN`#2Q_Z%gA)Bn5M5u z4q5ztW|j@5g&_3y-V6Txi1K{R6!g6{uj`$pe0-ha^lt9$M!ZSrvi@vCpee}fi}j^| zEEo|$Ej8j8r+_v*%h32X7?KLfKGkpal_*L$B{nzZ5l8ITV7<1gL97aPQXXX?U2aWFej98Kn5%?mHpxJ zbhJ% z7qfH^TXzs{-^4$Agtp}O)$n>{dPHero^Wc!yjXG8%kHaseq3$8CGMLg4NkLbpR@sR{IlMc5M8LR+9tLBEyx)cS_L3IjL1M&}5Oh1k zFkoDp65LGhBIT&$tM>lyGNHen2TFQA5ZCMCd#uksm~UoCTUBgVzxJ`1;!tOH9%SGs z0hpyX6O_!+8WM(%=EE0tQ`~~9J8*sfEF+`N)dGfZ4PLe*F)X};!|Do>nqzmApezq9 zSh~)p=z8BTWz<0i>-uBuIYHQ7dqGcdm`o2N%>8a?VH=ihMTX+pUFgz; z10+rlx@Vis4MM!p7$uX4!>2P*Z;}69;QuL~8!GRb`)j%Sk<)3Y$v?K)wy^o~tzbzL z+MMs}E}qjEakB*L;BN8ReSe=KKnbjM`Qaus-JGP2Qu*G6*SR6@Ptj8y90;QC%i9hm zg3%Zb_AC>s46nleYBeQ~V@K2O&+*mK|L!{c=y$pPkDQCOY=E99!1YBHo2;8CypH_S zlReb8=g?WKtK}ea3)rUr22TOCeBop&yFWesufC-B)}~Wfx8KHFq*}~eWv2nQ3bR%R zN9-Dp;&Sd1Exm&e_F?x|uAwM$V$Xte`k4#|i(4xjPPwMc+9m5It;TfIftu&CkF5NF zGDkhoX7wpAhV)$x`ISl785ASHi}_}bOP^YNQwl2T1s<0WT8Ei%obADD(vzNpwTnMi z;V@)ev=Pju)-WZYV-h#kS>i|j%gK+xSscPO6G?*&UG>Ejl5?V}|NIj(yKhC?s0(SG zw{$E1pc+){^TPrs6eE5XaO?pgvVDUi0ebq7afvUmuiE1Shr2Fz$UhVk{hNgDn@}<@ zA}Ceak2i=i5JI%qcE;IF`APf zf46^sPy+^ZrV{&m8#_Ntm$EYlZ_QjeE*vMTeiO+ave{bbm8CGh zjiw-$xjGxEhr^NdP%5>aR&M3(Ac6+d1tHPfDp6_1gPdB&nlctQMPC2J?64d=F)#iq zPOU|y_)8-moNZ#paeG3(|tCE*JLzi*4=L$F?|3t|!<;tAba-okzEvIk2OMX7LGbiT zOxXv4PmD$_(0Jl;Z>1ohNWN?+j~obfy*GG5AANsyw%tODaVX&RHdk~6H9~Ne5yiSa zQ1Zca@f{*QR9s>7M7M+Fxah3h3A3V*AGPi&THmkLk>6KP*t=_`4ksg~`(;)`1@4z( z=XE6NPn9LI{Qjf*jRi4&;k6gb1P~ipmaQTo#vka=3gVxGSflj+-f`wDIJUV|BDXzj zX1Ri^AMvwnsb6y`yK0RSy4Vf56nDxban3>R#Cr3Z8@c` zVi36#HOXaj!=ZD`*oTi7p=bBMT^vZ{tgO{u)aSV%y5RT17vV>0?+w;|?A>^-p=kaW zn#&9Gy|pXKiMzE>>Ubqv;$vhYXv(VfZ5P1{S9NY%s-$3J$E-=PG|+K=UdtDlOGS~s zM^ccl7nG7*iPCZDv=1k$0yT>7*XpJAYe|m8bv*rJp=8Y}O4&pUHmS{uVp?~Ap>x5u zEEwL8?U%DRN>%nj}g2y@a2Uk_lNS@$}oT6S=oOC;x6 zCfkz!EN$Cm|94{m-=C3T1*|^+6W+f*9OsB@MskTKG>_HwHsW8^!9@<eGgC^ZJTmXR-Wf!2v2CdZ}enba0ZrdTh76|`x@yMpWpHVEGHD{V|C~0 zt(>`vGOMjaOH583vuP>ZD2kg=F;jIV%9a>8f08}SN8QK7L!~wmxwVzU=9-hmA&Qe9 zKEK>IxAx;!uuBD(PLhq~MaoNm=hBah&zbZsLkm`ex%Q1?Xf0wZS5?MLTbjf;O#y}1;UJ+vQCQKEEEJMlMhy}oA&}LfS?UA6n)Rs>EpsZN=WLE zZMR_pT23S&<^J}7*SuWDw|u;O`CY>ukUb{GVdVY-kF}^|k2R(!|5Yw~M&O~%+Hj4w=Q z#MNs0bWlZEP~nR}_t`G?6~D)II^0jT0Z`lcD$B-AsfeFlq?vUQZc!lT7n!pa91-TS z=SD8Q#!u-9Fd#*R2rU=)OvLIX-UFZ@FJi$=9S!=e=`iO5TOIT>2L42r=-4<(6Lg48 z7+SI2zZZjkKd(BQt>aogdipZ)pw`!%9a8@I%Y#V^TsKQ8GwG#)5=`^75L(_wD?G62 zurvV3~wOg z>T@DL?-6_%QJDuXf1@`}+#<5brVaNQt(DMTklr1g2io?B>DoF}@niEkzHrI<7HHY1 z<(sB~ShnTU87Fq5*uogOV<3+#x|Cob*?;o)QmJL#wKXr`P(WapFW9zT?KyjWk$v03 zGyA#p!l!N0kZhNB4I7U`byVq$QnWb6OPmzJu$V5|V}A>4twO84V9q2>rLjSb)Giow z@vQ&*%8^NY?JwYN)aDbyZ_ChFjR=d80R4(BROr#)n6%}(+h37>8cSO51{&>_3->6% zd_a?)V%fJ`UzWj6tD1-_a3dyZnO`fal;$B|{w6`{^1gSZ*&YF?3EAFuh%N}~W*L`?f{lcNI9@lpMSWmt-~7w6S^x`a-h*`}t) zgQL%+{3sl^lBt2ljeq=j6jm-%^@}?i^>WVQ*(sB)*yAqz%h~r$ zqiPnr!@tyhIn$HWS^I(Uw*WXQw=n9G$9?D#i<^Rk(r4FXz%*a+)C8R3fCH$H){emJx~l z6eT;B@f~Sr{>F-t-65(D$RI8j)7h7>xb$#-XM3^Yvud@WaHsDN{>X!{FK3Ujc?B zprT7|-lu9wZ>Wy+tk(-i#FqrkK);h7Wn4H7_^$Fa@Nu7mf9!v^ZvJ@>@Zz&wZe(0O zm}Et`)%K`9aFiRV`iBM{zd{Rn#pm4mj+`5ys*;Z;%D8&X)R7; z;(GCLp?9xOlx)TnhL!t!n_aoV2RUYk+jRqJKmQE>!!=jeh!OIe>fndDIVQV1!+Jxk zq(g({Ri4)1O-$b2u@ky6@KE;TL&I0irCZVE{V~MN^)EO0OF)W1oLzcs&fPEsJl@GL zFUSp*d+ob<*RKMU_e!rOv(@BOT3iXog34qpZ7OJTTCa2Xl5Zz zJPo=2=^ZM?j0;P-BWoGk_Gd7HCtoLpEQ$7Kj#6t}^G0t6U&we&@PSFEWEwql6mdA+Y6qP2&i>W<;OvpKc6E87SDzaM~Zeo zn2&mcl{vLBrcQLhl@snP8=TBU&2CY!Eg<8T$ZJRm{ap-=sqPP5yxw_<;xzvj`NpE~ zMS5jt3}WQfP*Bn9?T{Do7D{u@PFJG-Xv~!F|2RdetA8UT?o{*6UoLn0=$vhCYIjw$?)8yvQAcR;nryn z!dfRXd&o&6>sQCY<;81{59>PAPA=}ktc@Bf_Txe}0j*e^iOL`nTpqC5#tl7!>X9x3 zF+x)BM05({EH5*C``qYR+ zjtSx3V2pk47~LT`(EvNyfyekNUW-$4$!CJm6&lmO52-h-MbPNzk>p{SmGx4z=FUUD0cBQGLIg5H?V(PaA0i7Qn4{UBhTy=&1!<*iBIxa%zm0JUaMba z8#R8QCXBP;5$mnB1Pn!zi2j{!^Q<0N{rogpW~1T%@pK*FRR7=q+Oj3tJ5jc>cchTL zk{y?9vNtId5@pZGUS;o*vRC%H-0Xeri;Mez-+sT}|MNV)>YL~BexG~J>zwmC0T)n3|)|0kc(y}B}$sdb& zufP5;PVP@yh`7i#5u6$G*GU>256|$v^LMWIbfmGVYl>dvt_@s2c_?l<_W;!}gzsPM z%Tj(lm~{c0JKuL4@_K+{b@zBMrs6f#XmVM05 zt=@sw<38ct6s}>y^h7*J^m`H1>U{`(%uSEba0V4a`~7!A4H;8)cVHkp?Fz5?$gq;2 z9fl(S_-ahm;Y;gz8Jd0bNlvTW*ZE4LNpJL26$_Z>-?kyE_&9#EcQ-f9JVRBlZoj~RZ=N><9o&fuU>~DvOfl1&ISDrf(Et?J0O}nIa4S)WMnNTU3!C5U~P#e+37#( zb|-TeQ3}^6S>Zl&A47q_wb8<6!&OdGu1&9rMF(dWcP8|aPW;6Lm7RJS&l}i$J--qu zz|mxb!Hin>#M9b9a`zTNr$u8tlk#2E`%l}`JGD=CF9*2|DjTi(IfN?;I#2ye$ZZS< zOR6r0{l2Yj1}vpuj17QCQqq^U<6}4PQbwEaiUvBT06xHLlNtS1=0{@lFe$})x($Dl z`?|E@xG~o)u`_G8(>%k;JFDQIqB?F-g#hM3&=I^Kp4nQD{2~2rB(xfpot@*C{TKUV zea6On4)69;BNaI(w0Zm;(C9EG7 zy@55qChM#g0_cR6m0vW~em1Jf)D>i?FPB?cg_A-qRtD{j%%}afymre+AED3WhA*?s z_f|a88$3O_1udt<1|a%V&OV<~olt^xu>R%Gdw&~8EeOsUt^PDCJC4j7%Aw0!4+o^` zqL9TJ4WT5?-$UdEh6@*%TRwl#Mb5rn=WT3x#^E~=OZ~G{t*I8FCOk3X%y2dZHCsC$ z-_1_dc82cN3Msb(=qQ{1G$}{Xm;uK8TV2IQ*Ec{w$*1z7GNIPpUYh#x^P~7RTXVlW zZaXKCs4Clkx+#fSS`r!WuvwFRLH4XfLJM{&P)?d|jGy434hZ%*iT65*$1KoCrf7|q zjlILy(9*ud^;R)Y?yaUI#t}HPPILT-e&JQ_mQ2(hWB?8sAe54+pUr2tdm)jWWSh6?>5n=o|aQC4O1<>qF?Giqj)ghK)Tvveuyfh=}S5 zKW|^jyd%VL!0r@!bU@yF6fEP=m@H@V+1}rsT9E!UJB7MQfLH=6_On}N>sqt7`m?U< zm2)%ZS#NP(l@IvCy-OCzjv8-I&74b11a4MrlwTQLO{B>(oLqrzcJ6|4qff{#8|ogW za^-ct5@Ay1X=+@%oaS;l@84u;zAk924@Aoza62#ONLHjrMFDVCUTdK0{@k}$BN%;u zvsEq7Rkes*Uybi>KK7{GNe^qL-1X!_dB#QR*4*m}?-{}F?XYCcDZ0E`1jkI@ ze4V=TyEHJl2zObpIeGAYo+()3V6kiK(nt&g&UfrErVg7wu{?DejTd#C*wY!;Z_)@0 znQBp9mox!g%7IohwKisK^Gqzj<59>2Pu%PJHQ+a~>mx$s9+nhnZ1dJtz5aW-WwQg#XR{Q-^r_UKE71R#dFzJRxH zH(l2a6MX|WMf5VN-}WZQf@{=hFSr1q4ds6qI)9ROAHail;FIX+FM4dT=$T zli3*Md9fwPQ=lpifCBKJodNU2`h@*Q(sk}H^se5TsWf@xKWN>)z=5@KZmw56Gew`S zeMLwgZW&xE!luf1F2y(Qn;QPr@mqGisIT?323v^4yG|M_OhpzQY(B0|s|HMwbN@K6 z5g2d1-a#m}@KZLK{*?l4OcY@#M|ORGUR)#h7H9$@ zKAN?^b+e8MviE?LssY8FV|C(+(QoYG{8LTJb<0@2xpxiv6aWidtk!# zsQBAJ%lMrUDwX=R{BX~(KFJ%ay2AQR?(vBrwsN?2YCNJepxF!dYtr@_XyU+M2)|<* z+^*Md+4Fx)SzQIHcKmn0WtFHza8mg#c*#rFE(W-)btvZBAJ&v$mV|(Y30x40e*G8QCk1NOTp^krQZBMh> zh&edyI%}=XayXA(VMgDSia!5o)=1WFQ6%;R+UT75!BKq_Ha3b}WQBbpX^ZYeITHG0 z9D}7T9y}&r0M&W-n*dmR68yEl7^dugx&w-?pz{XV^kHBKCZKvDghJtgi6zI0ae9lCuiLlpdh)-7Bh-t=jo@8T5q=5ftZ@UZ8^;x)8vcJ++Fu@SjL#Z+pTj_FZq zmit+4SYCMD_+jpd)e8f3+(kY>JCB4BSGyl;bmMOe0AiI#w}zp6SWrc37fgGb`$56_ zTrS6cyP5u>Kk>c~F;o8GgG|i>C4nVhxz{J{`pq+>G6X|+GR9g2khM6Y!;A@;flvHA z)gmSWC-yQ`O+iade9-iDW2ql)HO~ksZ+A@NU}oEB7D|$^Rdrk;OWKv7{CaZI&$C~e zW@+PR?Tr=AgbQi!2aU_h)lH%cW!33Z6cE85%4{b0?gwm0+TRzp+zY>w7z$O^UORJ8 z=`6bc(V=G-|IZ+qom4cjn1IzZ8N`7ewmY{A)(lM;H#b@BeHn20dWUMS(c&Ht)wNe; z%zxTrTHJntiI8xcwPQ_JTb7fCQ zLH8}__c(Dd7J-?yvgeT>dr;y0bx~(JX?#{MxSMe0w1qEH!Io;Acuc7x@qG@Cd>bN{SpH2I-}=s# z!|nYG9JsC*Lqo@QN9`f8a79No%nX)}h&09&+PnpxZJW@ntW%F2S>@gtiTBn2`)2sD ziaW;0EJ}i`cmxsUsAl2^E@FHsPcW2>#iyUOhRi9H5uls~q(KfEvx7j5(0#qyW2Zf{ z7&ZZ zW+iUTxU3(A?dOM{(_gtl^%9_Oety^OBl&s5ZM2Qad!BCFYAAU|>uCL?ey6Uy_yCgf zWx#^8x4D+SX4@{rqxKHXT~;D@nB^!BZ@f%FH;|IS7kVq~uzV~u(X_H)` zU*6eGNIp#uadP?cQEK_6`rUf>F1NOtq=s5!CU0_8lUWRw_?Kf(ndfceXZ)&}>ztN2 z?rGpOS6g$8Ea6q{n=OXLoef}UPio^(hT2^Z)zKNi7aP4Shn-;n_&6%fs$fEz)%n*~ zhab{9AX;%Zv5GhT)f$aaQpSgJFs8)9&2V^9D63 zr=m84+}#Diw|04tIVT9udYHy8{`yzMg3@4i9CgZ7wFv5gC3T2`t9yN-^@4-)o_J8m zrBhl&i)oHCMhzCq3a_VQRwOFjEIMaqK;}+v{HO83)E-EAVwC#b<}`dQK?Znv6jWCw z4Y)VEKOZF$9J7T@cZ9unyOMXOH7fGcGdUYCB-k z$`fx#(4rsZHFq}0PtLZl+>&5WB`+p0CcJBtqJ5H%iv{rj^jND%D1V4TQP10mD*BG) zGpwWG0*2qREeei4u1id)=*<*8rn!V7;*Y(@WZ@8SvQ{ugZLvHRc_L z*LDU$-;I87Ha*mJv*OVNyhIBY zPzY9IrZW4?NW`jvm337~iULiDTKj6#kMc(T<_|bQuSOc!4*$Xm{O(ZjvJ1g|v$14` z5$4s_z%QYP+*yn7iEAyRLAGvk4(_AT%UBiR>nJSjz8jvBBqr);yt+(e_%{peQtYgD z?)voa3cugkK_^OHCq2X`2mufVRY~bYeWN1CHDk~%+BS{_4%~h&vG*gX$CZ?o*u(l8 zG+TSAnqpul=E{d}FImMIiwTRhU_*Y%8H;#DvQsX%hRj6gp6c}C57LqWVnz9T*7vsM zY$nhMLQBpgjJhD!t{@D##@J5tfW)96j;Kz2A_iBML6A7c#?L~GVRdJK8R5N4qmtsZ z^90J3I43~YDgUox0J@_oy{f04f*sa2)?v*N&XMJqwZQNpld>mw${H8JQSDS#;Q6&o3+idGB30 zB@@#`EaqP{sGYPMr@x}D&3UDZ8K#exIz0&$@&Mj4fvm)<3dnQlUA?0t$OV$phB%)6 zMlXTXAUy-rh`f%-tlBZHC|3_Z9u-{%+8IXDGqis49SR@T`FtNHpUpsWHt%UdnC^A7 zReTW8D1}i2hfx8uvU>+8glbkfN$Y*j5*zIP#py4gLEm#6KF6WV_)KB>ixsZM9St3 zj1c3*LlDk369jbZ`cGx^-cFD1fpFevz$kO+tTdQ z<4gpn_LvO5002ZkrWdH?CXV2eV_FkSmeJW znivREH@bm+Qyz}Nfu=IUY7L%VyP*ttji7Bo-~v&w`V%e(ZHuty@&xU&pk?;8t+n~) z>);ZvG`;mq+9l~9{143?^c&`1qDsfV#r6#;%p;0n_!A90BAdBk&MKfG7CeG`AQW_d zT$|1I>-U3rQBYhDko^UDRpWma0bcQ1@9zVWP*++UI7D?gwDu zt?`d0jJD$J3Qh@N3@R0N zqT_rugdTZ*+pCq&j1zqQ%}oopJ*Y`$&y6*~*jW-MUm}0nh?}HkC+up}38jwOP&R8~ z&uFu6HJ@HMDTx2}j&Lo)Q)SxL*IXuhn!gPI7DxcYLVh2% z_52-PO$-Ql9qsLXNsi4OjP1<=#E7eRS;p{>A^5<%+Nq>$DtS}qcY17pxp7h6bn#K@ z?lWXGN!8a=PRADCoAhB+uhrHL?yL6cW<&`I3v61dp!`g= z$YtqIl;tmP1?>j@YsA?(tw0UADE-@12YD(9;19!VMHIbC*xF4_TD#UCcVJ$?FouJz z$Erqmo1O2L`Tgea*rWJ$`A`G`i92so$tM!sbCzOdYTfUabUis#7cOHn#%t7RxvDG~ zPuM!zIyEWUwk@$&i%)da%1oF^k*V=je}bKmuhF~UC4{fA3f@y}dMsTrzx|WmF-t_n zAs({}vj?|_PG#mU7IH3LbVsyr&Xtx{%uWTYeEs)HKt{l;!kb-zsd8SS=bF&)+946S z9rN}|sBY`jTVJc)*yl-ac^w#xCKvElQ#@?PcKEViWUi3(Fn36R+yln8kLlkCWC$=@Lad@0^1FlMPK@xC!%NZJh1566Rb8K;q&CqIEv!) zN!5)Vc+ACNJ*|0GB^+tj`j?NOG~oNTQ6pb%EK$hvO2P|Vf3-8cKyDfJm9(}quB>iz z)QkX9_ACFl>m-6RZx+O*eB$N zGi+&*WVLg8BdqZj_e2?e>($@&{5F{mB##s%1W~bj))F}$hHR}uqWlrwN=%dF<#Jmd zua(T^a8DBn$cif#Tt1x4;Cocfl=h8I$Z5S1DtBIV<_=@d9=babEASuzd~^fKVFgAY=Yy=08$`X(@!s%jx=lBVxT7jP883 z88d~?&iW|yTe&HTY#fgyZ#M~q$C!qEm{Hu{mUT8rl5mF~EBV0RH-ZjxdbEubLGT^| zE!9R7CVgldd>s)afUV7S8vE|Rw~Q>9orvjTr=bGgkf9Fgsp}cROH~u#DQ3&Q=PsHy z*o9&mAW5#i6k8nAi;OI^MPCIUabC8xUA+-Fx~`H#EA|h)S9*)B)M?s0b%Rp7d)!Uz zg8~dYTBA3>Aot_%MYJH%A5ooqEeEsQ%!(_NWsL4OmY9o7CDxWEe|M(f*dlz)n1)En zaGH95#TcvowyGGqXld^JpkPXr8jBUcieB8x>C5y9Q^AWkc9Y&+P+Y0Y*rm@Tj<_@< zu@!B-)W7^O7z<%d8MJvY<2boT>mcG)E}`pfUBzEH<7iSIoTvUNJu))#)twBvR)Y-l zjQco|gB2RThgi(5I>oioh3k#lj*5SzIH^3XzQnR@g@FUzvX)qbR?8XkIhsl{;t2AD z{R~|b{GO&dU$4){>@Tv6JS5}5_q_K?7V>G|pRMP?rL*0qonZdxGR;hQ$RhF5uM8HH zUBK#J`qsnmHx;&ZxQdgqWxbpq$CMDeRh{F7*b4nrFr_tW#A~B@3y#L!u1bN7Rf)Fg zV%1&*XA{BJS&yy2lZC*ss3X;|E$-5SqdkBXX|DJ*jDgQs;A^17+MSRMAigSsp@kcl zL7U)o8sK#InEeyp-{dDowLpL|VVyK(O}WCO8W*GfEXYXQIf>~VV|irV!BsWmIJ&lL zu$mOQ#$1d@TaeOOsqb`)bdsRpbOq;$49KBp);%iGjmykeQqm|QD-3lxL%v~rQilyx zxN&Op&#U*~Ev;LTxPrP#7x4BOsVdh=EKYpwj}n{kme$W5vtCX%YVR59p6ho&Nw#iM zQX19!Nt!^E+C8}7p|Gad-)&hk$b^1D=fcFwnNt1E7mN__y#Y%eedT|+7)P@8h(WFH zF`WZDJ9|!?_x0HetQ>6<{U|neav+_&4zfZ>wyIzL>RBN;oP)lG7X|C#d}x*TAte7# z(9>SRkkzuN2!fo>54;ug{8V+x^=?t?b~HkTYD!AhVBFH1<-CQq4E7+g;>)0o`**wN zpXmxiPSn3GD0&)QOTBK{ToKiQx;UYH(61Ra(;zfFWBvNkD#XXl#)X(%fJADU^kp!@WEP(pU(ho!1Ka$%r z*cK9Q%Lec%sFvXW&O`2XWk%vJ<@qCk4gPmx%+ix;;??s936{>(<03pb>Y;G$KZF~7 zZsG4S=XrP3J$2l5z?o=y_i*5*(z1_&O>eB^$vlHCosIpIL{n#v58S}gdb~ccq5%{X ze7@qx)Bfm7F}rFr;`cO!HU#M0>*qU1{#dU(E~6GvB#1I+R157&D6&6xKdS9`1o4~o z@X?J=Dc=b$&2Bl|kE$nYF1bz|wBZr9^2W*`aaT#C{McXj9QNwBI=VuB-sACKUP9@8 z>jr!3aVWH00#JOY;?rdZEN z0QXn}w@lphYYidEO`eBVI1-Vf)-`W|TKt-c<7XI)bNioImC}IJ`1Ab3I91FH`77X{N;tl;}en z${cNXIV%^y(B^gZz!X2=)INt{7Xcv3|s8REvz)P6x6!rr!|XNU($Mjx?# zRIh{YI9G#@MAa$GQM5n&CI$!i(*b~OQ6`Gv7NMR}Q^+~cqL`Nvt8tuad|YfFzY;1%M4AAbP5!DD`rtax_Mqd6z^Bddatu6z_caqdIA0zY|doKqCkVFy`_B zn9D=!h?^%=0BMMnESgDvsN0DbEkAMT2(F0vEbIqJY*@PCe2q=>h)~m$3?CeCf;0k%*3KEb_q%7XG&bM`yQzd~W z6BqMITna=3KHL{#e7m9~BC~SSMW2?GNKuX0&(PAeD;47t7qfmVL&yCiXm0615CZR>4Kn<@_T}HrX$?bEFEK?ZMD$ki&$PSM71BYcFn{v zgTT#7l_W>zxZiaa@X2IIn=hZCla}jb z?Y@}uSKn`P{41#h<{Bd1!fisjd>SbsP`Z&)o2nTiCCx^;FIh2Of?1*9O1Ts>91t}D zDsXsTWqcoE3+OHOtz2-_1UBrTfCY}64vHZBuPjly*H57EvD&MEQ4kDtV+{bD=hDh} z^P$^}&mq)QiWuNxF$kmZMV7@~X~*+E1_V11q#27q+GoSMpEsfF4`wgIO!ewAcg_dE zAG*i5(4|)vG!AkUi;J@`)6%Q#alVTE@Di4f1!#vy+kIdg=X|l*)El+s4#9%$2Y4q_~13^V-pMe0ge+|GC zhuiEOzlL;{y7)X8rUz}RR3LfUc2mF#QyrZr_OEI(l-mvP?At(i9wb12Qh4z_9AWN1 zPdHr;t~C)M(u~YtYNLsHm2D!!G?d<~6SX@|iJs(Ye}a1K>K)wEj*JeLyI zaUTsUX$9}gWSs~ANWMhLJ*<=i$emm z?nX{|?O*k2a3s$?dVCF$pEyQWh7D`6v;g4*xL#3C27Ql02H6(eJDS99GtMCcveE#u zQi}*NuWt#X*^@oI>tG07Ul6@8`?A&USTIu}>_Zn?-_hI4kSVStAVEF;&~^*E{l>YA zp@L~m%%k?u)aG@cbGlrQ6SdpkY#_X8C1=J#GUJeES=>C#M}Rc#rfF#~v0a0yYURp9 zO1#eNK+V5ZB`mwr!6zJO$t)Ra{OjLH*&|OyX=?n;@sQxNL3Q(_PFqx#A5rWg8vbVt z5xifBEIP^FCk@8A)Re)ygfCECh6NuNRrD+TlUU&Kyu#Zc>5ms-iw)a$d=_o&&Widj0*FBJ^&}Fp)caWm)#-w&Q#mDk76y=olJd{Uj5p*f%eijOEq9cg z*D}RwvO6Y?&`C?8H?Px|vU*{2GIT4pWmfbJ-<&`})yxjI(xLK;yHx`u4%i?~=YWqQ zg2P=ZfAyTwUKU{Y57{`S*)_aVYDq zjm%QmrVu>gs-0NVQ+9Apiam11!K++FSIZFJ$(;h4j0H#kIE$t?M3Q4&`iQ2*NH);v z%;k_Zf0rBg$3G(0#QGrwuUV%z>KA}K7YEk(gnW)OZ7`qp&E%>!_u!+47OJnxndNh1 zP&ofCs(nT$G_-e3xD`Aus>y?GVF`jqaqRdSW57L#fG8Y$7pKV$;(b%hc@Tr{uEM*H zqG@rv{%Wshd4wIro+>yQ3KmLz!=(N7$1TI9*bUSWyvXptCj_{7YEkmec*?m+eLp#K zWCd+^F>%daBH`0kUNuq{zb?rzWCy=1g3=ZFFP0Ela4!t!~-{2^UTEr43gge~M z()Nzar;}}R;{`0J)2s~aDZ)zjh zajxwu`a{(g``5c}8{`uS$aYo?wi zaj(*b%gWbU*Qf%3g2HKoTN#0R2IGb+ZEn-nsu|5XsESAJkC@IX8D<*F7-s~qSJp~l zAP%`vF!l-hJO^@r#xYUB6oh>L9(qO;$IEn>+oy-0v2cFfTkeRaWNuV)yxsd~_Jsks4S7|+hmq42Hh2kI~yb`l47TM z>z!Ev>)zh2mn`TM0-x<+xrhpM(bZYeRMr91GH4md3Jf%bdS9pfS-#8I9qM3nipjX&n>`O)Z^-WfSK5jvQPaLBti-M&B@{_Ak4FbDd-SWNc$$IZ zeIQMw^wIfxKdP?o`f%O+;`N==vS6bx`otNvO!&9M8e!+I4h5%tkY0?jb0kZijEa5sR z`npAwo}I@GhbMP_4gQHfWfm#tw^(#{rfWYl%%TjP43ey5@e#$nTvLR|UjU!-7vy;T zL;OJP?@zUSum}+QpM;cPzJIwW{7zZ77@!v2+6jNfL(Tw!f(OY1gwL7IZw;IIy8sFD z*edNaBHN89Xk#<|$uM7#eWR7f(TiwuyOb4S4k{!3n?NW<@(=w=n7GMUTTkI`9=k2w zX9-AIEDK!U0y0^c`(4DE0VyJ|J_cdvwV&432Guu{Ag4TLNS%et7D1AW-i!O*WRHw9 zL3KDEXRz#u3fmL_k;t7~jGfJH55o)0g7MAKx-C#UGyu_VWQANM1DBXU@EPo;c6W8O ziTiims}@|h^7lATQ~LzBvu3C;u}LC6g&}9s)&AiFc}Eg%7aU7?7SI;d#l+ZOgZ2Kd z=Z&2YGx7i7BKS{C;T7fEAYOi9FP7`jF-=aaJ9YfbW+BlE7|sCEF$B_UciK#o5uNn2fFNeW?gCEg`mHq|3Hm$n{>I-Fmou9))8j{=bA=2Gl_7Lur# z21L`%3x7~Qep`&qqW9C%GM=@43$pjbM_rU2!1{R2PBMzK&SuG#zMr-rA`xdSm${l! zDM2^b;W~vA;B${F(bJkLK7O5>-o$9gj$cMnV^7IQ0-v!7jU#;0lHy_gr-+d;Urmlb+`}q)2^}^p4 zE>yV9r!Q$(;ALH-ThjJeJxiD1DP5O>V#ikvlZ&(3ttOGIUoZ2AH$fmU(8bB_Qsl1H zFt`Yb`)kkNSsGiyfcHk*Yi1`eP?>IxVqa6ktmx{CS-6o6SIG%{dgXryf7onxcH?d9 zE$UF1CQk;wH+8qwv==vi?jwuOKvmTssz6zVDV%)o9h)Ueq=Kwn2jk<@2G^hz-bVaS zwC^@q`=viI7c86$E>2%$CgB+jZxO*X47Fp(Irg+({GlS~QIh zS~X)A+3tKZ$Ip_ny;L>cEqm&4A2#c086xy;Br?lWib&i!6ulh_KCF`~VT&Y| z&!~05)J+zAey@sJBmyen-xH^WMbX00dP_pjzeHd8W$z~Loa^{qk%7#>(-}huJVNgB z>tfXCz9OXV;ATh?gt3do-`QcYe^_oF-JKPDHV`X^?tK8+&n1wBp?7qfEDOdi&;BII z%@oO0p*k}TG$9s&sBYQo%ie2P)12Jl`^D|KH}sVn_d0!VyIM7yRs2`BdRle35Wtkg zJkWNV?tcbI<@u55K<(fCajm3Of2jGQ#L1S|cor3UZ~a%UIhKZ@ued&ZeVh%1dUrlK zrEkR3!EYrNfW+YPv;kRq%Y%{CW@y7I=eYy5yoQ004Xg;u`hUgp)^R{5vRLouGy6dgua-X0_F1A5_f1YV*CuS2@W z^vz}oqS1f7Cn^R;fnu}MKLWhky&ja_Ju+4|z)=b0PP^&j{&8M=G1%U{9X#GBM4uf+sPo(Z6_?3W+G31Hkrep$X(ZM8QN@u!UrX30g+O~ zZ$ie0Plqcs${^g>^$!3cOnOEG-|xwTngyaNG#MA!$Q6i7fCQnR4^0Cbbhibzk))G z2#Sl5eeKR#KF}ThTeaR=xv+VGImjOiad2l0WryGH*o5qJG?1|pfeN)Wr<;ix(VG-N zfJpc_>J-iCP3*)OTWXo){G6ngkgrL$4|OaGk6u<56j6|d0GHEiQ>8{h*GL(8g?1H9 z+ZF9MU=j;#YNP#9YXoG!6>UGS%{kr3j|T`XUC1>Fq?9H7)W3z%_s|4)@p^W#9VK^= z71)V@vSBpN1r+7htbO8yqy4Qw<+S{Ir2GmtyMQWcw=Z3`E*ZwN(x>Z!KQxVV?887nzeEs^O1SR4jxFK#)bqQ?F_G-Y} zz#4A|CYgCjXF5lP@UuFcuSS1m(Bo~Cza5|J5hG01p-A`-s+1qHKZirrN0$RnF_uxW4bnNedP z3wGGQyp{%&1M@(F@Yz4j=~b?Q6gtQW9!3xg$ex!J+1l~6^QA&I&&vcgNXV!e#G6d4Re{276tX)kr zD%jk|9a`qY zf$!bdpSyS4cu~E`yonHHNVhuwd*;pE%vYg~w#BF1Pel zT3a6i8F;4BZ7)gwW_|PILB6~lsGn_p3<$&$T@_n5EJ$2gx8-{?ng=A?Y|^%Lxi#)s z0$x-20=S_q-+UsA*_SP^UrRFb#Ph5H4}6mcW#oK=3rhgCez`~qratfF`?nSiMnARiUG zs|}R_7269J$YY&#F4<>Oqk;Tv(R>4(Lp4w}z~GWYes#8oPSfruvA3HCQl4ETg-m7E zkZoYI3to&7gtYBr3!#Zb=Gvwo;G!R}u{POgLxN#jH_B(Zt?XqSQLl%i5zE@on z`keh*Cv~y>T`2rJ{;=fVUY;Qc9BgIK?b4Fpl8S zgZE-C%W^JSozL^j%{dv!#aTtzyXaebY#7xuw0_xv`YD<9gGxZ8hJa8{@jYgI4}CjZ zNKeml9^#+oY+)#r4e-St@=kL9XWUhLuq@k~Y5`AeVyob%xE{fK{Y$pNgdsh%S8zZZ zG={1C#*$B@)ovN*Wg(Ly*;v}z+;^GUI!lV(YWL4NakG*FY@U|ro5me=RZP@Uo@$=) z0l*M78+P=VL5HFd_H)nDYSN!QZZAt9Il|mCnw$jCxWU!D3GvpghHucj*(4q`D;|l> zsfh+_^b{R`Uq@}~{R!-KVmB7nt=)AK2&>hHXs2X=-wIdT=FV7@93jK%ZCLG<_rdV3C zAWoR@sq)LthshNAwJegZ!SF>HnADkU2usd?@d-P^QVocdA*r0Uy#g)FNPD!Iq@R=j zCb0N#j1TJm0{tBYmVcwo@QZRMxCC7!84)F<9{?n~j7EG9)$78BO;AoBv!8A->$wWP zvE;+uv)n1hi18|giXhpz)`YlBvb`xcN5}hjm}C&$ZmYy;M&A3b`{btl61dMHD6yD^ zJv)dfAw1Xb1jR7-!(Z4Wk&>cwjvhAb1hu%}HkaUe3 z>^Nnt{en~{YWPcx3^-cNKnwRv=6SVw0CH8`XB5sZ=~5Hu@+*R(EJl;L#v~_P@P2R8p(-@;QeM6pZZBD8^!W_Z|XTx@N ze~dYEr{YIcBP2I><;}os&6rBIK|(#_7m_hE>>q3EGF zg-LdotBH^;;-;?(zU##EmHXfO13xKu!S?gGqeGmj+n-TLih`D%$jF|rKwX4-ge`-w z`(s!g%y-DKg8$;d#aOVB%$AHxU!A*_%8IpfNuq>`=LvzjD7N?d#|oaq_=FN&+jhqv z-+llY4>fP~lN=DL#6$u;>Ozo+Rdntl5`%#ToXJ=a5K8}eL-HrG0l3hTWixy)D&Sm8 zj-s!rLdDUyV$J4c2ck{4l0Ya>3{)eZt?Qmt0DYA#SORH%?W-@H=<9YuAQSmN3hgH=J_Sx_tM?~t1mZdoZQpg zHM_4sv`~~gRm%}VxVHcxzTWpGFUI990b`(H>w_CuezD#2^nK6xIkXfvwR>6}DXO0X z2lxE8#6TIjMf4ts0b7^U`uUqi`|Kqt3i3YcNa5Rz(wT+mLyA?+BSB^lM0RJIMh@5> zpJXMli<94dY5b8U(>^tLA%~>ue#0g8xeJ!7Ty{y%k3h5p?!KO!9@pl!|w(sUU;e}~&$EjvGfCPIxe6JK$IIPt>*srifWKS3CW&qKkP zRwp#r;?Vce^1U4NZEF%|n*^<_V=d)2we4FJJq#84tzWKv|bm8%~{{x z6GC5Ymp$64@&+LQ-@n8$0e=#Rx(9sWMcS6!`E@PBgG9E|g=ah8>{9%8|FIBZF@?fL z;bjrCI7+*X9<)%SZtcasv^vY&6?FTy%)ntUAP^h^Pe|ji-v)?#2ltXn9#_|#sOQ!3 z3s;GtLsfMs;f8|gNyr)0hjv6C*w^}2yCxR55w4l(SAuB8c11`E5a4?@(hd9{N?h%) z)5aw{+w{ZT%;>wUCe^7Ucd0|0y61>~2?Y>z3|gxyq@(qG$IN(p?4T>h_bKM87uOBM zrfvwHl2d1U=aM{UX0O*#vPCJ^0WI};U25Vf!vmD^arIQOV5P5aS*7Qyg9`2NKxT@0 z#@4xb!gfBrxbB6Y@qi0fm+$@c)oRwEA0a)N&NVH%g5_l-@>)C>SH-iw6qVTUz6eEO`zWTG~eK#&i4 zBoD~d@`Vw~=^YbTXcdb-dHNN%JN*B+`UH3*;s zNRA70ofX_jj?d+H*pelK*W0MA?nRq_tyN;pckFIwVSxR0WB%l4$NFaotF!xY6-&H{ z3;hqnYSB@8OR$y1U?5kC7b!M4CQBfvfqmc_j&7IgGTx1Av`#=85e0OG2)P?%R>~z} zzN#m%GdPguG=Gpwz*(~{os;~`SdQw_+giGy4<)W!?mw5m{%~KZ{>oROzFs}hMRw`w z8@G_IPaC4~-!OgD_0}M4;s^;)>EaHw+x=G8bDr7X8xPRylR~>z$tw=3py{t9PrDpU z6Mj`W=;jz)IbMT4Ae2NIbMDtGOum@Tn%p5>HZSas)a|3;S!OG!d1_Z5bySp&!LHz9 zvaJ2?3SD!3ryT;i*3wT`Na{7GG&*gXRS5OhC`hJ*a9gEj>%55CKP&1R?R#2#7jliB zSlp%;mCw<{*y)n;2jfgXV#7a3IWqlKy0j5N4 zUq19)(LwTPs@+l4G5p=_AO|QbA)arl&sPeUFLQOXEEC5^9@Tw!J!id9xfG1R!-%I} z`yE=_9ul8jcs|M*^{gXVWLBosDf2IVU~?v_XFsqcnM_zfk?`|zIPBMIQW~LYfMF#0 zR2S+|%XG*5EK%e9EA}}H<`Xz&aDAXl+B3>V7sUCefa7kXz}Ks3$~$+ZN22o2P$au8 zBRsmjz6>k`D@Q1Ql#4?BdGAILuh$Lth#O+n8Y|1<-xbHh&QL88bgApo0fRf*H&%=B zUf|CM=^}4X{78vh^Pxl+aN{tA`5H995pKHp%HnnkeOpc?@%-0rBi5JepCe~`f-Fnr zX&-}6^dRT%aeV9D%;Id=(x(mgWtQ6(!G7 zN|iRX-1|#UAA9f;$$*w=mL4exDie~6@K9AW);_r2Npnj7XvL^D2mV=|e%|M10;Ul^ z%c05J_YPKl{pgK72VNGb?TkPc#8odycgxK&<~)V7y(_2hrUe|LXo~kT8R3MTp|{7k@>)MtKw?ksFi#fhj`zJY?%< zwqUN+C>Mx&1BPphLcLtd>}GPE-`o+oC+;L6fq2Sfv5a^`cqDm99MZtz#*^o}r@}{Q zz68Q?GZNds-+?-zj5LESq`?Kk3jO$i(2sa^9V936+2GpufPMj|baVFnN+WHPIYyt* zZ8nsvcJrrFplPN^?xkrcvHW2~O6#+c+l+#}%>;DWYd+Zwq&dG8%@K;zGX#Qpg$y5c zW1~{FC|{xoJ#buD^pY7&Q&n}T8dBgM=k%@w6}vZ-37{(U1dsn#e!=defs^+tLVUV3W5Kak(P`1Iu)H&qJd96CJr#kcnT zFK$J?;r=5YQIS-!dFDM%9_8ytIaWKn@pXUib=QwPhJjxdUguJoAB4J-Gn`6NjD{*w zqNPMW=P}bGwh9Jj?F2_t>t9}>%+RXCJoId69N&uDx+C}==`1_;gs|!S7F!!$;338O zktTGYWqKjbcDVP9;`c2mthg=6Jkdn&D7OypTD3NdO7H*8lYch)mipZosGCarx*gJRnzVQs?R>D7)b3@X9*SD{~y z`IojLam9z)qV_&l6^{~^m$Uuo%X1H;i!ajMlvSgE)|c#sku)lO^~mjC*u-HKSd1%A zd)*^S(PXX1mqwQY`U;=RZ(%7D!ie?r)(yEpJV@WVuEMn6Xx3 z1$Nu6mdN4PR?9ox=w4}+YweP@NSzn|a~D9i4ISShAP$z;(Y*!nBin@(9N#o}y>FVm zI^b|f7)BgOgCO!cG&h}UI8o6e^aV~EmRUf%9BD)8 zFg^rFOX&GMIa0xjjV$pUlh~nx2l!4mAl8db!!OsHt`Fs8r(4EN`VDI|9^y7AP!^W= zkHm1}nN*+pDjZa(QzHhCyv!Xi+>w@FSr@bmH?)cXX2-JG92`VV-NVcX=qIw(9Gs^q z6|SnUW(r|AMNQtNacAvlt=dYB;U9JO4v(26&p-GO^E;UM5$x@#Qjyjk(^V)>Gv z!bfU{ZK4v)mM8-U31h7gHzw#TBFZ?#a%G=^!f)+9*z?J>kxxwsJ&=~~dS}X~?p0^) zgli#MGDxm-!x50t>rHEO{pt)ea*cJmdUAv=-vnPZ;V{z_=#jDi@l5!?*~PUXke3CGJIrVdc;F0D%U88c=dCVS(J7X zb~bfLPmbC|)0_x6GG5AnSrsfG@Cy&Klbt33(g05xhbd+74o~6Bil6R}J_PuAU{+a! zY`b~gPfs&e&r%=y*S_J66i9>gouSy&WoM3gS$2GHH6KLKCq})Bx+^{10g&zc0EeGA zOzkr-GXhM!8d&SS&F0{m;Lw9X?s0puV%*55!xOiLY;`l~ZD)UdC28ORAq~(e%pPa@guZVvc;JaIp%r_Wt7un6+!ZG<2TzAQC-l0Hz2 za|h0mQtd_+{w{N(`CkX4kt>gi04FBS=`@VD+P~xrhikHaa)a*c*}#v%uc1-UgXNu^ zszk%~gOp?Lz|L_;e8X?Mt_Kfe5>X$duz)%dX8}ZltEiOesl+Jn^zZ&?@8*aQ(;k_} z3>b@fghzkCg1Gby#f?X?6LnEcFgqEEN;*OlnoM>tdgZldGHFtWg58p7{?P3e@h|3# zM1dOVC!pSiBXRYBFr=Y%*{eNuvTwg^$Gl%H|BpqZfOEyS%g-Ix+jfhjm&C}m@Loy3 zud5DFBwqKdRKM>yVYD@b^c;0rkX$?Rc8*QIjbe#O!!jUwJF_fFhS2u)Q7HdQZAT^wVZ-&x9cF&S!5;-+0+f= zs+T0C9!K4N^PWN>J;;BeRq?xWX6r5vME1s>uh68gEq+=u&h}K<$JHu^#%BquI;n}P zPqP|dvZ5Uc`=^xa(ns7j+syGjRUBt>B~kJeXn)1n)rG$~Y|_7rp|ZX-OS8c&d5pv7 zya`V*1u7rq{m5c&ydv;d;KZ)7OzI_FO?@%Kx=TTwzz+#VVXyPlve4}XubPJN^_cBX1;T4VJ&*m^Uo6ofPk_uD?Pe%*BwdvKzyt$VHN*VF{9{ZUfR(6A+o8jM=UdLr@6T145PEU zOrRt@*qn7`y-E79V)v(-sp9B(C*jF_8TD_J|8_&>xBY^P3KG4x-`gRYG|In9nIhXe zI2tyCE~1jMPQf**P(?iv5>?RYSd_JvK{}E8+(ryV64bUIZ28Opwtz%A#ONmUH?Vxd zUuFE{2({kR3aUiqmqXB0mX|*CfA;oe=-{eUvtBfrtAVe(AEt!!zr`u2{nXq=sHLKvZX5jp%Zm$E zFEkSP`yHN*LWP5D>_k&k`#AX7Rqh1DqI@fSmEMf|qrrvTZr@8pvxde-Bs)p>j#CX2 zy<9Z?W4va5woYi*?VQrt-FQ^Q*a#PYWhn!2GNj~@5CV$NCjCUx5ux&ZJQsF*(p;j1 z?8Q-M9uE#;+V|#W#`g3hHMDAP8O%mRq5bB)9dBK^j{BTQ(u2UnZyJxvYk!339~0P7 z)_yP@lw5sAg{dYf-{P^oQXdqo(Ix3EEN)v`F_bH;-|b$iTF7xO;g>!%C5AhgYACv^ z=nQEeR|+90-XnQqw2ONu^g6U*SF0WGF&$58k8g$eXWe)BQA3ALUl?gBO!lC@j8CU!bOP@f7HD}8r66UWSmu=99vNxHD; zZNY`_HK@8;rIJrb@epC!$BQQ|bPCu1T&2$6t!5sFib{4toR3|cU#iXc;%^TBtT2^h zX8G8nNJaL7lQePlt2%asuldVP>vbeItUPOlWfN;nWEY|O3eRx`LK+CjdcBpWbH}IA z1(3t*ZSqU)ZYtMMN&foM#VxU6T5@?4^$pw-NW9pWR?7v@oqC@s@y6O(kBXEW6C32s zHV+HEbKqsZVlZhLGyEPQ$2wRv2)ik18kKJpL@n#eNMV)Z1Vb3S%zNPA| z=Ya!(RsrOD)d;`o)amRl$AYx0z}0?DEi{4F3jx9mu8;|o^B^=cQ7mZL+^cl|C`I0y zjXdmn|4m8q)W(>Uqy(n55?HS7Vy&-SnA;&dweSt^n?&c5ZO>TSk1FmJk(DyTs6f^+ z4eSbzCLsU-=5lP~JeU^et?U_nm8Iasvd5vE$FraJNY34gKSwjRLaP<>)MJle&NY#w z?2U)daRnntzbrpP(?0M_ZWo!tQneVlvVf8&K#O5OaF+z6lxP2iGmgwk)QtfxV6OTVftqw zVCvWFhBJ8^{{6z)5XuGrpc?@M3k!~>L`P{M2Q6Q{>$A!fY?2H64>IE`_Fcxe6o525 zm~754KhvYXZpdTs*s<`qqyM5P%geLB^3Sxa`sOzqz-`yHGAQl)p z?^a*_Al#EH55zcC;&L2&Er7w_1q?pkSh;u}`XOwQ6KtaO-{mH+cD?}&J#f8E$r|St zWgQk-TX`=_2DV9ZBR}j3F~z-%JO-~06EP7|AKReBK0!w)qVgiQOYu(h_%1P zXRksc;<4HvSbB*_PLSIy#y;I{<6Ir3&5c@@I-6_pyd zKD@0I_Ri*4mEmWoacq(gkoqPckjyN52h0>V<1}#pXbqgK%Q$6!Y%k@sc)zYxBbZZ;Yni)(qoOBI>S=)wAiS}Ws z@WMbR4J;cNg@u?rJM(jcjgsS^j_*$$i)FlQjo*P<=k$K(a%-w`VT{^hQ)M@DBpRvH ztMHzFr>^Rg%xIx|+i>usU1}WWE5}&j?qs`T8+(NpQq+~;3$=1zU>W1fSN&v4%ir0w zF!d`NF=UC$fjMjiJ5_A^_XvH9>=epixsBNlD6ZQ4q}ZI9lZ4_8t7h9&Gxq3g8pO_w zZ10-j3~kl3x1AYdcz#b1D>pB>b&}o;#hh1N6tT3JlzlQa3>ckCzD-$vIdc3ZO!|J; ztSS}gS5vvSFLXM?0fP#MkFE$vaLan=1>qo`Cw9^%&~NUHw26J0od4XvCB4M9y`W1# zAU3SZ^uo8$CaIvtq-TMl(L1$mzyutI&`0on9;OyWV48*@_ImarwbKnyfpEa&p<8|| zYyh$_E|n;q58<!Wyl4qyWPwXju0*B!S>Ln7^UdX2S7f*G8U`B8YaPSrW0_Iwf1P$1aW7-zMIk z%~P!1V}Y9TIHo3LC*%D#VXAr=>**oWx%b_h{trIPZr&5q8WnGzE8(HGpDG#L)$aI_ zExPclaX8}QZ&UGm3~nT^Y~gV&&pJ&eG<6&-sMduL- zN%ic3OkUyklS%(@dW0n}_g}~3D~mb-Th8Bq{Mo~I&@B`F-1Kyqzk+R24=HCU8phjmz7Rqs0@^ueRrYuatcWnuF)?n~Rd*7vNWJ zGYULXJ<~{vUz6_l0ukBW(;>$!_!xGhfFFM~VZ^%X2F&vq*j<^e$h}a2M98@FCe?vR zfg!1wW%9tBk1e`9E??G-M6gR3y}78ErJ|buOxqqcXreLDd-8T}zEz^RG`>%MUiTK{B?BNFb3esY;gO^@1G>CSj=MHP) zd2j}|(S>PnWnf83rhogIQ0gN$&N}t{{n(-X=PXc$m36eF{#Z-|3P7cGq0~YFC4BcA z6cz5iCY;qK z)qpj*KeTe&mB9tEX_1TKKdWaRK0B;XC{+IBiRr9y_(ImN$JRa-r6fAMxb*Vub(2~t zIon8CoW!MLzfWJ~L4^W0q-er>nr&FX{UHq=h>q3lm@B+lQPKXz4&oKuq2P?sU7`*AqxPL(`9^nETE_PP+@6 z;*G(}#qMma!l&95qib~)A>X2w_9UcVKXpp`eF~W&^1#WWwtN0^_MBdD;~cwV30|ZY zBbeg76t9Y)vMmz9-~P+o8kZ&OP(XE3+ONa1+{s$H?@#UA(HyAVVhhQKL$rz=Diib+ z%|^zllMJeSZI?bC7V(Ny7t=0QB&h8NriS^`*UxFwa(jGN&#LTBXER@e|E)9S1M(eb zLg*S$Vh&pW#cQnf3fyrL3s9@rbk)bg66;y0)5leJSH2-tcj*MYKOAjp#SF8;I19$f z;atdqu1WPD^5&SA_l8os&y_3SId_Xz*}EwCuxcSds3%he!A3keZye^-zZ z@0QGkd_&ics%en_x)jquoBlJj-#r{>T7B%78j6Y2t}5Wl`P@zM`yd+IKq81_J^I9z zn*8$znZ$b%eLCQ=NY^h0Y{tgJ(`%RLO)v2>d*Z`|*1lRmcU*qIKczr6@Z1DfQ#$l~ z2xJwB2A;=4oKJ3Uha18%Y2PowfTbr6adq}R1@Bg82)i7oxK^KrW~@!Abd+$qUE#ur z7CbtXBbOA8_aw~xZ8^a-o`7RA@;Kp>YO@+(TvMyn%VpbD(9W>#+Fhi1hjC>bG@Zjo?777 z46Q9?_mA~dB)`m^1dz9pMe($l@{|Rb?#Zu=O5ahi3`McBa;?5-Q;d36GqN66Xh+eQ zKNCmHRncVfr5P)@_L~b-lv7R;O?l;?&*U^+$ub8#8#MMwyP6n_+UFB2=R6PC{78;{ z>CtsNfHER3V66QRIG!HCSj$Mh&aKME`InU_cBU>$6rlI7YFSM#jNwb7dLTkd zNyG@>eZ+MU=MHD|bL+c{>M@+%6Hhu5jbq?j|kK_Q+jEj}XbkxBL; z>Q)lwbw9)V%+>5KAAGW->+cxzYGaj&u6rt58hFnq^KV}jYXtiC;VN9pmMJV=sZ9Ce zUyO2clriG6jQ$hW$aW?RUViOTOf2_0fvnt>?i;cBqT-)csBdl+o8wYavYZw6nF^UA zEijNAr*PT53cS$Tf!~r(y_x|(a)i7|E10^9b$D;c6t&@dSUqo;{{_d#v%&ID=Pxc%Eu(cYR9v(^wh~P^@Q5 z`>rD8_pkzy#f>MTUVFSiI;|(DrZoL#l{uXR{9fu?di>Di?)SRnJ)o0+&c1^5LhP3T3pa zATCSDWT1RMNXz;YR1}?W%ak_GJoW-PL}uK8FBDCGzH7IPr4yM3v?J|yhJz9ug~Cd7 za0Pu2-Cxi3Udo@*wJVuFzWQs4*l7P9opYysM0ZKDSeO|N*^{$!&;BCpcb;^&ig)Z$ zkGAeDXCHslxb*ZeU&ZOK#wFjupXxgRZKUy&zhLTE(=l`PZ*h4DKUfr~bf)CDykqE- zi81XM{Q zmjJFGblVSfjhdkPV=*EKbYR)=ryK5 ztU?e@FRIgF`}9hVeYP}C9g-D)&7A26`MSuh{ii=x7YkY4xVa1o1%1K%PaM>jtoR>H z*36`p+$qBCyPUd*XXV3vpb;|U}gte9X=N@d7shk!(hM0|>k%HAtqX)86S zwENHf#BtBp{YHNEh`@)=52JC_c7{w};;RABW3{-FDHxW9+a_K8Zx1V;D zw;567z|%gIY_vP5h%(}hcg!u>TWdW~ zTF1&+kKFQOP~A+=C%k+RJr@k+l6=l#!)u!K)p-Pk;#=OTh%Z64olVX&T5OHO7vM} zyCbLP2JoVt``J|~>AG6xagVG^_1J^o&<`~YUuB{-oYIm_SeqS6bgm)RCG5}6T=J#Q zX(8P;BrojuJ%@3+?@?{#g|sa$C%^4!YMg1mHRL*MhlRy6^Ob5yB`ZOHjTNeD77%&z z$-I6}P%4A08Ec|gKgznO$V|GWBhlwH$jG59_%2xKkP9cWeL?gyWdH*OoX(PGyS^oo z%A>U>2**SrpA==Y^u%g;^8gUX1dz3g?h=1c&;~RHUve=vJMwSPzfQMe$|p%Jl&4Y4o)ORB(SWIP ztpkq4yAIQykrt!_$z1!?1XPZkmHN6Bk%fKlfx3XE`|bz4GPOzmq(nI~h{$qa$yb}r zhpk8TY}#YX^xEc?z(k)?L|V`>o;UlMJs{lCGj9u_Fe11I|5L+}tDU%C&^aay5zd)& zqUN9)*I9D}fug$lZ2~qB=Sx{ow11wNU4>XvZ}Jw$nDwH)X~sGP`qt?y?U|R{4=AoD z>rJ4X94&`@L_HW%rexzqP^NLE0^qGB>l^GMAwz-$@TFs&*mRSDT+Uiu(*RF;@rLB1 z4ANs4QyRLUv{2J~i_WI@yk;bU+I8s)q372kSP9+3V*)Os?0+D9PD;N^?tGxchAFy^ zh;83Uk+A*NvT?#%3qohIBRV zH1&o%Qg+6n*JpU9(N&1E422&>#>DyS>X&(c7SH>IZZ)9#=uXb#f4=){&sN&)SjN$n zAwr;{O40FyPm)f5R5(x?c<*2yXi5!dy#oOq^TNT}>Kk;ep;LVkUmttL+sX#Bp4v}| zKBh5U8N$?dR#YR=m@%l_%f4;D%;h!A>(Bl(_qGxrCX^Ex#?%&e8GzHIh~r-kjx##w z=s5T9`P>chIzt&39w{UQek{AcP`JZ+x6l;@3~&K>=n!=f2g2$9Oevw+dW_(u_GpFM zxz%^j#67dfMbrJh5EDpCj&ZL6BplQ!u_h|M zSdVHb*MLs3HSSVz9^HP`Zj9fi)G8X;J)g1bdI39}`x)-|N^H9WKB2|YK*ilT#~+0N zBU!*iP5qK&VcolzJKy$Q^_{_VYDf^u;fM_-X}6aBTtB%))?lw z^|jh9(R+A>*n$DYmub;9NTsG!&;EnT3t_g6WTnk+pmR?I@^RS6T4}~{B-Hg0&b;rF zEwE;tj*;LLB->`t9(;+ zYF@spmMYc4w;R+^3}Var-XI#>pzz2_g4$kJRw|QcmPpe+pfJk+C#YX4gTs9Df2-)+ zvn7F8(a&9noj+*J87}3qY7vcI-W9o&HT9ppck957IsSfF2qQDE?zx#O*yY2i?|4Fr z?jtPne8lU$bAX+wCs`O5ti{VcJoYRjpVve01e@lJ+2xi?wwHN&V?U3kbxSBDoW#UlO zbT8|kEw4Nns!6c2F0!gY*~}e$>bySEAc5P!i`qohM>(q}FoS!~rt4?R)B=7{S0iAi zQoGjY+PbpC)lR#=9%m5iNWZjbR4NSB04Ck_VDd;5mQr0`5Y?rl%8IIy1N!ezg?-Ad zkt{{a7OAh_{&d|c?wyY?nBn;-r3!SP=0`fsJ z>w$hC(u_jhLNu^-*r;JEKSPPTRu!lbfe&{tK6<#iwM^H^}<-4kCups~;S+c+RtB%qJ6NdsH!(~l)i2AU_L zG0YQ-z!Nh?vT5~gkqDa?M7J7q;!J~higxj&QK?#uX|VLSV{I$A>ksmdJbTGx+xaiQ ze4EYrt(FoJ;4eWG>03Xx$#wES?0Nla>)Cxd4{0OT=G3@}!B11N+R5Mnp5wuDJb2#c zh!i*S|8#RUmsuwOh!x8f_o*1&={F6OU?Da*%CG*?{qZ3>u%`&wHx5u>%3Xs+p56f$N9`AGy*!u{jG)pcI;Y}ifU4bpL1x{n;ovcDF^|F`^F(@bZ*1hT%Hg~-``E2@K zMyy#H&iEW?)1NI!CRrfwehmwIQqxredJzwboEh>ZHI(E|J{6$YeTr76fc4B*@Rn_D z?3opcv&rRI$_p4oT^10D^2NMNwphQzHoVpp(x8_545^(3>S-{Z>Is;bl?G~#kXoPq z=B$c2=KdSXMcV?6+mO+R$*ZO^PE`xaxk9DV;jiVkTCP3NtR>MZsUq2ZC~zn)#gX}~ z-}l_6#if-fxEtT$&PCKNQgye=Ooo6&%}8rSHbn3u@H8@3wD^`MtB3a zdUO60|1XDud#>FEBk~_XshJFiLN0E^a!rNojjx;Bp@E&6R>tv+7(YD23c zybCMZ&V*Pc1VSh=Z3C{L>M|!?1~lLBXcI+Bwtf0pX&R~f6!l>t-REJoNE@ULP;l-y zhHH!WI4d%v!_q)?BpGQwmu0nED@G(zIO^5_DA}Fo{d|A&AaLd1n13l*Z^NtmM zMjjM)9cViu^*qzkMu~FGyrh^8ND=6zB9Q_5uExK84T**tXIT5DFdbrmF%VFk@=L(E z^ZY0w?+qXiElM=|m)E=P#ciJaghwZH#**{?+tGHy6f{a_{YgI<4@9b$>5Ug0zio;zfUwMrYB2}6Ub^c$Ejpgh@r8n{IPwBx|*QZhjS z^em6~kSCn+u^61j|FZ>nvn}}W(8c4J{#i= zuUT*Z$(<$k5MHf<-Y7Wa8X**6tNF|2`-uN}6|aQG;(hHz$A_#6wc%?Yb;XOjIrNg{ zqjPsg0nghAth1#LMAJH6ykZ03LO0po>~3CN16Md_a%Rq{u2o{;l@C6&$|SZT#hb_@ z#l5abZAE(jD9gM**crUQXs}=o#Cuu(KpSIto(mpIG`w5_26_sQd#akH=gm8USmd%$G+>cUR3) zP(@__cLd@h$4nFlbejFuk5dC!2`z*}EAc13$HTOSiGBnvqLqswj|e??ps9>J5NkSO z_Dn^NKFc%z^G!ewF05jO3sF?MgRj9HE*#0bY3dU=s%875)kE6&mcQsU&?)E>=rJzpiw=M`F8(1bv4$| zJ$vH`5UY1F`(7uO(kP!Rpn~_&bCGdrw>!~5!*HlM81Qeclp07mN&a^s1|U%EWpLc5 zM`!SBae{z7?9x<`ky}Y$jD@c?Z$u3?tRaMm%%+32Kf@(kr68x*c_w$1Xce1;Fvi~d zSsf2Op?ioUFndT0v4+xA#3KmrFJaIHJqU#07`NHpe?`v&e+*fhnXpc?>cp3XBP79* zQq(=T%(eRn0^xZ21g5CNFsy5BAzG8m?(+oJn9fA4^=MGAYd;b4G-PQmJi5DAH@iyT z>d!lbF-J^3=%f-&zZ+r+uomeXEUm^2!}r3rlJeZ)~PaoeSI2aw-`)+R41 zy0=LJm%upMZS7Da#7!tt9x2@iwOCLq;-^YhJMHWg!vwY-<=~@lg|9A^R>bXrW*toD zE|0eWup%_{KmdPcqs;Jubdj#X2P!dyKFIqEaG(?fz>=1mfgE^^u$y-(;##i57!?D+ zCCLGw<}U+Acfh&Qm)``UxnAKee1qivpJ3^n5}-GuBu!A%4YdulSzx2Czf0kgrnTU$ z&(WN||VRf7&iNk#P*%pN!UA8$_+FP66t^B%m5goB$|fMgD;mN2MFBxs~%Wjul-$ zvy*ULBV@tQFtBrK$vX~VoJHWKD<#)Lyu9b9guOplP-{ks8>wwTCmzgMnZV27R%eO=vI?VWxd9FeCq(P0i|ZT5w_G0zp$inYaF8CUZ22| z&0;b^wE2JSjtHnj8j#wGDR&}?6riHQx7b*4Rn6^mGc9OCs5_&QO|@5oabNSZ5m}9v z!0Q#PIR?2ZB=13_Zb`+w8@Ll9P;etMQ~G)0^UukM)Yye3LyvZ=WUv3mL>BazyAeV? z7iG{?65L1=!OB4*uPblBJS&9gWzrftKTv1xp3E(ofZu&!b#HG{QAvXZ@4lcf(xEf( zDG8tS^IlNS#CI<<48%T|-cKNcXqrVo`8O296d?`UT510o&LWf|2{$ z3HsJVRR6A-frM<`M^)}|d-d!)+cF(ChBsX~Z{EprhBQ7owG_+owF3hR8q5Y&g0U{R z4Fog3LFeFf(uYrUMNn}R)a2g)btkQra-4UbgWE9=x^#nGq1c{*?aTs+#W5`unhsi4 zCxTRV+<$)1>*({uH+x{bx5(Hvgz1ewd`J4)3Dv-#eifc!Z`{rN$pJK*X>YH0UPDBX8>Hv9koQV$y(MKM@0==`tq`v3V8h_m}^$GBu`6@yg& z{|k1pxY;39MWSv0@6~30dk(BNA=R<3RG6cI-N_a>2;u*J9O#%)2MEJxB`Z`;l|lzL zmw|ofHSs_=zF--WI36RhN!qQ`~op9y+l$%r`i`E)b>o< z1NP>zaPX;3&LwFN-13t_Ya0-cFGv^lj?kLRF2W#f&Os8s0S2jgTc`5C_R76sjkr-Q z8Mp@&+>;wsVFQ4$&%0zG&`ib zY@5Xm>3lh)sw7(r$L5mx89g{$*yIO#?dOt><=)OUiNplucx+`{H@5j32PZd` zM2U;&vGv#Ax*vc*oW;D;tmNNy&>$A-8zi+-fXYYT2f0kejeawF%;MvL2Iv68t6O;LR{x5y1)`zziZS~|jIy(RrZ7HH5+oBgVHWI z-LpEB@r;IG^F~f>ho*5Vi)H}7xC`8dz?hQ4%D>JxL6u~;Q^aiovdad7PQhHBOyzat|{(;;GzNsrC;G;lI$-e4hvRp0IbiuK&q{Bs$KO3I#oQ%1 z3?r$nd8o_3avj$42~K0@o?2L#B6uhOS#)97`B2I^Ae*L4Px~O0BDYi{i)4WPb`0s4 zf}ZmpwD$K<&0h!d9{hs6*JvNmr`Y8m>o~K2l;BG`JczP`u@_Lls+aD2H8D?JZ`$GE zpG_aUV)#+-vwsdW`>x$4jWa1UK+UjtRI~oX@Mmc3z=w{LtF2kfCjEqKgS7_q#m&bv z$H-C4M9Bckp&t3m16yYc$X*CRql@d(`G}Ik!njED8<$LL@5q8U740>*R&tPq~=s1>?#QCbWfJy9E%54S{a=&x03rOXII#+c| zb1le{J_Y{}_eg=?-6IQWSPXx>6Tezmck!$BvipVGk1V4-D%vkq7Yd9cb~<^=&`a4Y zTxV6mip9b`lwE3J63!h%!t}^KPK%GuIFSzLqP-&`QBZ@8C2I6=H#g&5OQGT_I|gr{ z*0Mz>#G!>NIZy6aXlU>Gdk?uMEqQ*bCcERqDLI=&?6jV6WB63cZg={lxsJ1-#Hc>| zx5lOmV+LQm#^nM^)muBi@IHwZj|ESe!bQ_DmQ=GA1f#PSug=wd(PhLBpzbsCC)+G> zI9YcQ{uz+n>2|gw6qYSzfwptx(T9(}Nr^$Bm@j!_v>d}FWbCOS=l5u26I$mu%r})N{$otJS>22 z+eWOk#TJ2d@t(9p?0DW1r{&4~a#vV3Y3UU`V!yXL&3vr>j2S^VCd>cU+A)VFNRqM* zVg>fj%iRVK=%%p=@)*Ka%Sk%+dRBN?ZJ8h?qJX$9->rst&X~BT)8SX9pFY@e*S182 z5c_I09IG}oe@tRaH6(=LTeYPP-jCfACg?AARA&>5#|Fl00z01~YhK4peuMnUR7))L z(J|aQtoMTQ> zhlc-sekJ{q_UW-*n%dZd2(r1HmlhFEkL6Yd>!bceu8liPYEDFHrPvwPsN7V^yEYbz;)>94s=X7^y3& zc;o(LOT<@o1aVl9;hnk@Kr(r}l=@t~+L$`!coj`uog8;&T8!Jkjplwu-!C@$Qknlp z9Pg!rM2z|oGv_m^^FC3qOz8W!3gdL4v=A$E9->`;0rXtdshqlq<}p*2cygqAw3bBf znB+_`s9g9w!LlPfmmQpy81zai3V*8DCoXQNhV0od?;7b_(@i;$-e$_`Chin>4Z`XR z6I7|Lov6a{#GWD7F+1nj1GHQIg*@0puJnigqN6X)xV5EzKUmu_J+5}Dt43lGuWjAh zal^8BB-hieCD%wJ8e6qr(89Z?hSz;}JQj-Oi59L#E*u62Dz1CKQ#4tZDBQDD%)!kx zJs>-NA!}knpgd7w8#Bbgz}usk9TyV!eY92bLr`9{?zyrC_02+n7>cw-1cHq@&}MyS zO;jp#4^|&W@T#G7N~cei9kZ^|K^EWNL&b3@Z|S6>2S=|lT73Py=((Ssm{09DJw)HF z4BW;e=?Sk*WZ@&{64Q_SDcf#qPS+==74q2PzOj0A-+az3MK>!le|TVZ%M7z%LReV< zbg_s+`BGNSQ#~{ro>@tH2fV!)sfTGBfv?SS)i?d2B;!a5&HXTyX4kX^x z!{J4{IHz0+saz zqGr#$E2muy!z69;;?~1RzmW8LKlAx9QLlu5Zt7l#yx7K{|9d==Ps%PP?+D`$IW^2_ zZ`EC~EWEC0-=tJoCCOh+Rv)C`WTO> z*E3ITditPPcFyWb{#Scf{txB%_Q#q~q3o$iix%r-pKLWqWwM8{GZ^~}6ElppMA2r; z9+G7;m6DHjv>}r%B*c7+h{1d^CN#x!@agk>zTfA0{)1g+uGth78Jlo-a21bHx7&|cS8M3mF@fCcB#gtNE>7A z;CAGxyhnn*U5OUs>KXfx0d@*BsT32;z@u_~|9NrG!Mi=QpOHnGHMxn`1rQa~bf-zN zSINus5I3p;$;GgzT; z*T>FxY?5mz2EIPUu~)?EUaA;$Zk>a3!3arRXfKe#I%A1ta4!Mv?R*z}Y4CnU$0XwzE~--eKxcx6E_W z8KtmLfZ!IX^T!0h4X7#^q|$1bm5bje&2&76z>b**Huuentegx;uExv;a@I z#^1e+e&cO{iea8<8W&(F?mL}goDCEP$Ld_^N>!2Sa!SXR6z zwH>YIYHw5b71_$LO+CREcClBrm2jYVOc<9u6v`HOMKH@K8iKD@XniUA)yHI>JX&m{Uh0M zw=3|9hTXkq>re5U=Ta_D8s5KxuEI|SIM=Kl;!5v4m>oI5BqX=O0H&FzyA={_!8G%C$9%WSi}akm0Z4wt z@Im$+>6NVmg0Zhed~Atpq;+!zK;&&4(F`&mK{r#O zXK?gPRW2d^wBrr&aTA_?)IW0R%_(9V#eK&7BjX!|PG__CV6erRx8qcR%|8a7@Wn?H zZGhe)!Kv#dfdxQMIkP`p-C5{YM|`G{UCr8z=czJxR~Yq}%e+6(aYWXaVL=~#XLSvsiQvo;QZ*AKOQ|HvXN zQj5*RI-fTl0uQ-6Wwz5@F@H21+ynd=1?dWKz}MG2&M)4W+R@@K200>@edNc#gE+trs!AwdMGdSA#!owQ8Aso6qCS%;>+ZdixD*0q(1d11!Zd($+JX&MR8*Ce^xwRyqd38@siluY}^2I8V zD=Bde`Toeza-QYb5M1&kpq5HDV(_XidOfnv=i#Ryu(En`Oi=q1DWSz_tk{vM7Z+&{ zx`di`w+Rc#a^scKpQCDaA6Xgq%cQiDNkArJLSm%S2kv&$&mRdG>u)F?X!t|qljx{5f&*cR~8YB=Mteb>O~n|d)L z-HhZre%Ze;ykBRll~G!mSG!GX=%ao~{jz#hWkYAwtJWkMV7Jkf~M@_@ww6N4dr)S57HGT4-VLCooKm z$b&i(W&R)U6ugB5fW@lT`Oxgz8f0j?Lz67x_aYQ0ywN=IF|l(#s&663L-1>fZ3u0S zd12>0!m}oc4#nPR7oh=yE)2b8iG8mLiN~MImCbTRXGEruAq_(dRK#6>Wi}8Bel`{kh}( zy^zXQQ}Khjuj#q6=G_DPVIk%Bh}+xwzj6HbaNY~tyBhdT_lezGR}I97Mi050{B01m zbExTPL`}7VePEOd7_s;>iTGNkJxLk!ZIAeAJBAGiI^2Hl-2DY&18fy-GB#iMP6bve z6uc!4tSdn4x4^J1`b1k5cOY)qysf;GlXKm&K~YDmOo3-0b({n~{bzTO;}Kd}@fn_^ zF5ki%BT>;@tynn}NJnw*fIQ9h+4VU>xkg}7gK|WI4#wuMJDHLmF^_*lvys=;Z0$ZU z2`|Ew)Vt3kOQszU)8w_Bg}zK#4NpnbZ?m8=?dH#WY-{%K>p+H_Z`!P(9YjQEgUX_H?B z=a1y?Q+FfruQ_Gej+3Z!gkt^4bXL-nKKjxk*y z=BvJ^3N`A4y1C*7*1;qetNL}dLcKJPZO|6+M~?Bmy$_F0Nhh>Z zx}IhuFAVO=qTYB1`uKfIG>>abUqGx@+F-IG@Zqz;7r=LR@b(58oYH)8`6BJQ^7k!s z_EC@1zWKoKM0ay?04b)^jw|KM?;WGXB$kluc+OWCB;JjNBWZ8bzfTv_OM{rCAed_gj z?&8O#hX+X#`N>ASw@^wuMe&t7*46L6eJGV5w?^Nvk&QDDJ)JVQ($GMobVo9)uc4EO zuwd%q0tw`&WT7(8XzKSx%T_851+_KJ;rHGv^6YqVEK(FI!+U?u;?_{~Xms;qIrK%h zdn401lcIe*=Jzor*IL~AG>pwr{I5JFsn#5(bx=e3;K(_C{C>Nk#h|J(6es6M=y0!2 zYt`Jx&c+Q;A?fG8@D`G6;%LoY!F0HYbPjF%Sc5#>f1r?l7%hlVD8>=@!lPn3Jft0)O!uBW(@nW<7!^~=bzm!pS(YEMqi{WZEiZoqWJ~C0 z#+~0dk(c2PYIUlL1_O>itJ$(ELj8Dm@(Fc#0VL8Sjm;K%e1hm9q46#0LJzw<<(?Z>*POSqP$Xv#k(p`#4EulAe4putED)CeyWgnIk9VP>T;7lIYnzo9g?}*v(5Q{E4z3 z3ho@e@m#n#;jiz%oOk3zdSQz%w%N?*ZkEoUH<(>7JhPp8IHhGm5bb)i3J?mix&3Ahc%ADM{!mzO@+$iUVFCa3h-8!QT8lb+3y1^17UmUvt2;y+ZrDO#! z{~UAa&)HM1^ztxMHbK*SH<%)DAj7HSnkQktClufXqHho7(%AhDBTy zT43d8`^UHut+T@QvV+f1*d$>(3}GRuDiep>u1`HckCCe4VQ(1ii8v6ZN-RCr#-l{{ZFVjNo5_PJSwEi2w0(oFCK>e&^cS&ko^Bv>TZVCxGa0mg1@$n6VocetP zHNu5qywMR*>tOG&aCaOU3R6{66R3av6bP#Q7W6`gdg3r4VVK|`$o~)swK6>kH9K_* zYJm&(#sr{u3Ueg_;hpQkAzt3Pc4%Dax}XKZL`h9q!&=kvIk*flGe#mPC*9)z3zYk~ AJOBUy literal 0 HcmV?d00001 diff --git a/figures/neos-pipeline.tex b/figures/neos-pipeline.tex new file mode 100644 index 0000000..021fbd9 --- /dev/null +++ b/figures/neos-pipeline.tex @@ -0,0 +1,188 @@ +% Source taken from https://arxiv.org/abs/2203.05570 +% Compile with: +% latexmk -lualatex neos-pipeline.tex +% convert -density 300 neos-pipeline.pdf neos-pipeline.png +\RequirePackage{luatex85} +\documentclass[tikz, border=5pt]{standalone} + +\begin{document} + +\begin{tikzpicture}[x=0.75pt,y=0.75pt,yscale=-1,xscale=1] +%uncomment if require: \path (0,162); %set diagram left start at 0, and has height of 162 + +%Shape: Right Triangle [id:dp362300353514037] +\draw [draw opacity=0][fill={rgb, 255:red, 246; green, 199; blue, 120 } ,fill opacity=1 ] (562,106) -- (576.67,114) -- (562,114) -- cycle ; +%Shape: Axis 2D [id:dp12893196021028852] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (535,114.13) -- (596,114.13)(541.1,83) -- (541.1,117.59) (589,109.13) -- (596,114.13) -- (589,119.13) (536.1,90) -- (541.1,83) -- (546.1,90) ; +%Curve Lines [id:da5288049156007071] +\draw [color={rgb, 255:red, 69; green, 213; blue, 218 } ,draw opacity=1 ][line width=1.5] (542,92) .. controls (587,93) and (577,115) .. (592,112) ; +%Curve Lines [id:da8563594209924821] +\draw [color={rgb, 255:red, 245; green, 166; blue, 35 } ,draw opacity=1 ][line width=1.5] (542,92) .. controls (570,106) and (568,116) .. (583,113) ; + +%Shape: Rectangle [id:dp06559015102114318] +\draw [draw opacity=0][fill={rgb, 255:red, 21; green, 222; blue, 208 } ,fill opacity=1 ] (256.84,64.01) -- (267.09,64.01) -- (267.09,79.96) -- (256.84,79.96) -- cycle ; +%Shape: Rectangle [id:dp05877121274370989] +\draw [draw opacity=0][fill={rgb, 255:red, 21; green, 222; blue, 208 } ,fill opacity=1 ] (267.09,72.38) -- (277.6,72.38) -- (277.6,79.96) -- (267.09,79.96) -- cycle ; +%Shape: Rectangle [id:dp5772101339046112] +\draw [draw opacity=0][fill={rgb, 255:red, 21; green, 222; blue, 208 } ,fill opacity=1 ] (277.6,67.2) -- (288.62,67.2) -- (288.62,79.96) -- (277.6,79.96) -- cycle ; + +%Shape: Rectangle [id:dp5351184013195962] +\draw [draw opacity=0][fill={rgb, 255:red, 245; green, 166; blue, 35 } ,fill opacity=1 ] (255.08,103) -- (265.67,103) -- (265.67,109.5) -- (255.08,109.5) -- cycle ; +%Shape: Rectangle [id:dp3237986353533244] +\draw [draw opacity=0][fill={rgb, 255:red, 245; green, 166; blue, 35 } ,fill opacity=1 ] (265.61,98.86) -- (277.15,98.86) -- (277.15,109.5) -- (265.61,109.5) -- cycle ; +%Shape: Rectangle [id:dp028517110894384246] +\draw [draw opacity=0][fill={rgb, 255:red, 245; green, 166; blue, 35 } ,fill opacity=1 ] (276.41,86.46) -- (287.74,86.46) -- (287.74,109.5) -- (276.41,109.5) -- cycle ; +%Shape: Rectangle [id:dp7911777118441403] +\draw [draw opacity=0][fill={rgb, 255:red, 208; green, 2; blue, 27 } ,fill opacity=1 ] (297.45,71.69) -- (308.93,71.69) -- (308.93,79.96) -- (297.45,79.96) -- cycle ; +%Shape: Rectangle [id:dp7890938289430716] +\draw [draw opacity=0][fill={rgb, 255:red, 208; green, 2; blue, 27 } ,fill opacity=1 ] (307.99,69.91) -- (319.52,69.91) -- (319.52,79.96) -- (307.99,79.96) -- cycle ; +%Shape: Rectangle [id:dp7964104169097874] +\draw [draw opacity=0][fill={rgb, 255:red, 208; green, 2; blue, 27 } ,fill opacity=1 ] (318.78,55.14) -- (331,55.14) -- (331,79.96) -- (318.78,79.96) -- cycle ; + +%Shape: Rectangle [id:dp41063858268086073] +\draw [draw opacity=0][fill={rgb, 255:red, 248; green, 231; blue, 28 } ,fill opacity=1 ] (297.45,103.59) -- (308.93,103.59) -- (308.93,109.5) -- (297.45,109.5) -- cycle ; +%Shape: Rectangle [id:dp4845140527035223] +\draw [draw opacity=0][fill={rgb, 255:red, 248; green, 231; blue, 28 } ,fill opacity=1 ] (307.99,102.33) -- (319.52,102.33) -- (319.52,109.5) -- (307.99,109.5) -- cycle ; +%Shape: Rectangle [id:dp16652300940730091] +\draw [draw opacity=0][fill={rgb, 255:red, 248; green, 231; blue, 28 } ,fill opacity=1 ] (318.78,91.77) -- (331,91.77) -- (331,109.5) -- (318.78,109.5) -- cycle ; + +%Flowchart: Multidocument [id:dp01735535493895135] +\draw [fill={rgb, 255:red, 80; green, 227; blue, 212 } ,fill opacity=1 ] (26.4,56.5) -- (50.75,56.5) -- (50.75,73.06) .. controls (35.53,73.06) and (38.57,79.04) .. (26.4,75.17) -- cycle ; \draw [fill={rgb, 255:red, 80; green, 227; blue, 212 } ,fill opacity=1 ] (23.36,59.01) -- (47.7,59.01) -- (47.7,75.57) .. controls (32.49,75.57) and (35.53,81.55) .. (23.36,77.68) -- cycle ; \draw [fill={rgb, 255:red, 80; green, 227; blue, 212 } ,fill opacity=1 ] (20.32,61.52) -- (44.66,61.52) -- (44.66,78.08) .. controls (29.44,78.08) and (32.49,84.06) .. (20.32,80.19) -- cycle ; +%Flowchart: Multidocument [id:dp5524149748861067] +\draw [fill={rgb, 255:red, 245; green, 166; blue, 35 } ,fill opacity=1 ] (26.4,87.5) -- (50.75,87.5) -- (50.75,104.07) .. controls (35.53,104.07) and (38.57,110.04) .. (26.4,106.18) -- cycle ; \draw [fill={rgb, 255:red, 245; green, 166; blue, 35 } ,fill opacity=1 ] (23.36,90.01) -- (47.7,90.01) -- (47.7,106.58) .. controls (32.49,106.58) and (35.53,112.55) .. (23.36,108.69) -- cycle ; \draw [fill={rgb, 255:red, 245; green, 166; blue, 35 } ,fill opacity=1 ] (20.32,92.52) -- (44.66,92.52) -- (44.66,109.09) .. controls (29.44,109.09) and (32.49,115.06) .. (20.32,111.19) -- cycle ; +%Flowchart: Multidocument [id:dp05309909794201273] +\draw [fill={rgb, 255:red, 208; green, 2; blue, 27 } ,fill opacity=1 ] (64.66,56.5) -- (89,56.5) -- (89,73.06) .. controls (73.79,73.06) and (76.83,79.04) .. (64.66,75.17) -- cycle ; \draw [fill={rgb, 255:red, 208; green, 2; blue, 27 } ,fill opacity=1 ] (61.61,59.01) -- (85.96,59.01) -- (85.96,75.57) .. controls (70.74,75.57) and (73.79,81.55) .. (61.61,77.68) -- cycle ; \draw [fill={rgb, 255:red, 208; green, 2; blue, 27 } ,fill opacity=1 ] (58.57,61.52) -- (82.91,61.52) -- (82.91,78.08) .. controls (67.7,78.08) and (70.74,84.06) .. (58.57,80.19) -- cycle ; +%Flowchart: Multidocument [id:dp15006228098136898] +\draw [fill={rgb, 255:red, 248; green, 231; blue, 28 } ,fill opacity=1 ] (64.66,87.5) -- (89,87.5) -- (89,104.07) .. controls (73.79,104.07) and (76.83,110.04) .. (64.66,106.18) -- cycle ; \draw [fill={rgb, 255:red, 248; green, 231; blue, 28 } ,fill opacity=1 ] (61.61,90.01) -- (85.96,90.01) -- (85.96,106.58) .. controls (70.74,106.58) and (73.79,112.55) .. (61.61,108.69) -- cycle ; \draw [fill={rgb, 255:red, 248; green, 231; blue, 28 } ,fill opacity=1 ] (58.57,92.52) -- (82.91,92.52) -- (82.91,109.09) .. controls (67.7,109.09) and (70.74,115.06) .. (58.57,111.19) -- cycle ; + +%Shape: Circle [id:dp5080580989222696] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (142,64) .. controls (142,60.13) and (145.13,57) .. (149,57) .. controls (152.87,57) and (156,60.13) .. (156,64) .. controls (156,67.87) and (152.87,71) .. (149,71) .. controls (145.13,71) and (142,67.87) .. (142,64) -- cycle ; +%Shape: Circle [id:dp1168999551280323] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (142,84) .. controls (142,80.13) and (145.13,77) .. (149,77) .. controls (152.87,77) and (156,80.13) .. (156,84) .. controls (156,87.87) and (152.87,91) .. (149,91) .. controls (145.13,91) and (142,87.87) .. (142,84) -- cycle ; +%Shape: Circle [id:dp004534861605147711] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (142,104) .. controls (142,100.13) and (145.13,97) .. (149,97) .. controls (152.87,97) and (156,100.13) .. (156,104) .. controls (156,107.87) and (152.87,111) .. (149,111) .. controls (145.13,111) and (142,107.87) .. (142,104) -- cycle ; +%Shape: Circle [id:dp4292141725980021] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (142,125) .. controls (142,121.13) and (145.13,118) .. (149,118) .. controls (152.87,118) and (156,121.13) .. (156,125) .. controls (156,128.87) and (152.87,132) .. (149,132) .. controls (145.13,132) and (142,128.87) .. (142,125) -- cycle ; +%Shape: Circle [id:dp09419506268173561] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (164,76) .. controls (164,72.13) and (167.13,69) .. (171,69) .. controls (174.87,69) and (178,72.13) .. (178,76) .. controls (178,79.87) and (174.87,83) .. (171,83) .. controls (167.13,83) and (164,79.87) .. (164,76) -- cycle ; +%Shape: Circle [id:dp36143531346701696] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (164,96) .. controls (164,92.13) and (167.13,89) .. (171,89) .. controls (174.87,89) and (178,92.13) .. (178,96) .. controls (178,99.87) and (174.87,103) .. (171,103) .. controls (167.13,103) and (164,99.87) .. (164,96) -- cycle ; +%Shape: Circle [id:dp22541707622963325] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (164,116) .. controls (164,112.13) and (167.13,109) .. (171,109) .. controls (174.87,109) and (178,112.13) .. (178,116) .. controls (178,119.87) and (174.87,123) .. (171,123) .. controls (167.13,123) and (164,119.87) .. (164,116) -- cycle ; +%Shape: Circle [id:dp17733410388995208] +\draw [color={rgb, 255:red, 53; green, 184; blue, 254 } ,draw opacity=1 ][fill={rgb, 255:red, 163; green, 205; blue, 254 } ,fill opacity=1 ] (187,96) .. controls (187,92.13) and (190.13,89) .. (194,89) .. controls (197.87,89) and (201,92.13) .. (201,96) .. controls (201,99.87) and (197.87,103) .. (194,103) .. controls (190.13,103) and (187,99.87) .. (187,96) -- cycle ; +%Straight Lines [id:da14073398003168625] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (156,64) -- (164,76) ; +%Straight Lines [id:da14920856771718194] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (156,64) -- (164,96) ; +%Straight Lines [id:da6427554668593016] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (156,64) -- (164,116) ; +%Straight Lines [id:da705412055447056] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (164,76) -- (156,84) ; +%Straight Lines [id:da8966569852004433] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (156,84) -- (164,96) ; +%Straight Lines [id:da4233578729902894] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (156,84) -- (164,116) ; +%Straight Lines [id:da982644015174938] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (156,104) -- (164,76) ; +%Straight Lines [id:da36888406123174455] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (156,104) -- (164,96) ; +%Straight Lines [id:da1807344610086723] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (164,116) -- (156,104) ; +%Straight Lines [id:da5560239546396089] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (164,76) -- (156,125) ; +%Straight Lines [id:da3709437841997898] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (164,96) -- (157,123) ; +%Straight Lines [id:da6780118333189813] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (164,116) -- (157,123) ; +%Straight Lines [id:da30228552130377206] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (178,76) -- (187,96) ; +%Straight Lines [id:da2657692008537582] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (178,96) -- (187,96) ; +%Straight Lines [id:da9684444658925841] +\draw [color={rgb, 255:red, 128; green, 128; blue, 128 } ,draw opacity=1 ] (178,116) -- (187,96) ; + + +%Flowchart: Alternative Process [id:dp34376069079277194] +\draw (2,64.81) .. controls (2,56.06) and (9.09,48.96) .. (17.84,48.96) -- (91.92,48.96) .. controls (100.67,48.96) and (107.77,56.06) .. (107.77,64.81) -- (107.77,123.66) .. controls (107.77,132.41) and (100.67,139.5) .. (91.92,139.5) -- (17.84,139.5) .. controls (9.09,139.5) and (2,132.41) .. (2,123.66) -- cycle ; +%Flowchart: Alternative Process [id:dp9236873877562586] +\draw [color={rgb, 255:red, 4; green, 99; blue, 210 } ,draw opacity=1 ] (136.5,65.11) .. controls (136.5,57.62) and (142.57,51.55) .. (150.06,51.55) -- (200.44,51.55) .. controls (207.93,51.55) and (214,57.62) .. (214,65.11) -- (214,126.89) .. controls (214,134.38) and (207.93,140.45) .. (200.44,140.45) -- (150.06,140.45) .. controls (142.57,140.45) and (136.5,134.38) .. (136.5,126.89) -- cycle ; +%Flowchart: Alternative Process [id:dp4591824707689205] +\draw [color={rgb, 255:red, 144; green, 19; blue, 254 } ,draw opacity=1 ] (240,65.75) .. controls (240,57.05) and (247.05,50) .. (255.75,50) -- (332.25,50) .. controls (340.95,50) and (348,57.05) .. (348,65.75) -- (348,124.25) .. controls (348,132.95) and (340.95,140) .. (332.25,140) -- (255.75,140) .. controls (247.05,140) and (240,132.95) .. (240,124.25) -- cycle ; +%Flowchart: Alternative Process [id:dp8922196627650498] +\draw [color={rgb, 255:red, 126; green, 211; blue, 33 } ,draw opacity=1 ] (372,84.9) .. controls (372,82.19) and (374.19,80) .. (376.9,80) -- (439.1,80) .. controls (441.81,80) and (444,82.19) .. (444,84.9) -- (444,103.1) .. controls (444,105.81) and (441.81,108) .. (439.1,108) -- (376.9,108) .. controls (374.19,108) and (372,105.81) .. (372,103.1) -- cycle ; +%Flowchart: Alternative Process [id:dp81228694874553] +\draw [color={rgb, 255:red, 68; green, 202; blue, 212 } ,draw opacity=1 ] (464,84.9) .. controls (464,82.19) and (466.19,80) .. (468.9,80) -- (506.1,80) .. controls (508.81,80) and (511,82.19) .. (511,84.9) -- (511,103.1) .. controls (511,105.81) and (508.81,108) .. (506.1,108) -- (468.9,108) .. controls (466.19,108) and (464,105.81) .. (464,103.1) -- cycle ; +%Straight Lines [id:da4216459363530829] +\draw (109,97) -- (134,97) ; +\draw [shift={(136,97)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 } ][line width=0.75] (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29) ; +%Straight Lines [id:da9339752741685892] +\draw (214,97) -- (238,97) ; +\draw [shift={(240,97)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 } ][line width=0.75] (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29) ; +%Straight Lines [id:da7919757493219612] +\draw (444,96) -- (455,96) -- (461,96) ; +\draw [shift={(463,96)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 } ][line width=0.75] (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29) ; +%Straight Lines [id:da5956402172956945] +\draw (348,96) -- (370,96) ; +\draw [shift={(372,96)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 } ][line width=0.75] (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29) ; +%Flowchart: Alternative Process [id:dp12369427784217302] +\draw [color={rgb, 255:red, 226; green, 2; blue, 174 } ,draw opacity=1 ] (532,74.74) .. controls (532,69.08) and (536.58,64.5) .. (542.24,64.5) -- (589.76,64.5) .. controls (595.42,64.5) and (600,69.08) .. (600,74.74) -- (600,112.76) .. controls (600,118.42) and (595.42,123) .. (589.76,123) -- (542.24,123) .. controls (536.58,123) and (532,118.42) .. (532,112.76) -- cycle ; +%Straight Lines [id:da54532539199038] +\draw (512,96) -- (530,96) ; +\draw [shift={(532,96)}, rotate = 180] [color={rgb, 255:red, 0; green, 0; blue, 0 } ][line width=0.75] (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29) ; +%Straight Lines [id:da7726091173580998] +\draw (565.76,64.5) -- (565.76,40.5) ; +\draw [shift={(565.76,38.5)}, rotate = 90] [color={rgb, 255:red, 0; green, 0; blue, 0 } ][line width=0.75] (10.93,-3.29) .. controls (6.95,-1.4) and (3.31,-0.3) .. (0,0) .. controls (3.31,0.3) and (6.95,1.4) .. (10.93,3.29) ; +%Curve Lines [id:da13924163551132374] +\draw [color={rgb, 255:red, 74; green, 74; blue, 74 } ,draw opacity=1 ] [dash pattern={on 3.75pt off 3pt on 7.5pt off 1.5pt}] (171.68,48.71) .. controls (220.07,19.78) and (489.24,2.49) .. (550,26.5) ; +\draw [shift={(169,50.5)}, rotate = 323.13] [fill={rgb, 255:red, 74; green, 74; blue, 74 } ,fill opacity=1 ][line width=0.08] [draw opacity=0] (8.93,-4.29) -- (0,0) -- (8.93,4.29) -- cycle ; +%Straight Lines [id:da3372844823510939] +\draw [color={rgb, 255:red, 74; green, 74; blue, 74 } ,draw opacity=1 ] (562,87) -- (562,114) ; + +% Text Node +\draw (467,85.3) node [anchor=north west][inner sep=0.75pt] {$\textcolor[rgb]{0,0,0}{q_{\textcolor[rgb]{0,0,0}{\mu }}( x) \ }$}; +% Text Node +\draw (7,119.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize] {$\textcolor[rgb]{0,0,0}{\{}\textcolor[rgb]{0.31,0.89,0.87}{s} ,\textcolor[rgb]{0.96,0.65,0.14}{b} ,\textcolor[rgb]{0.73,0,0.09}{b}\mathrm{\textcolor[rgb]{0.73,0,0.09}{_{up}}} ,\textcolor[rgb]{0.93,0.86,0}{b}\textcolor[rgb]{0.93,0.86,0}{_{\mathrm{down}}}\textcolor[rgb]{0,0,0}{\}}\textcolor[rgb]{0,0,0}{_{i}} \ $}; +% Text Node +\draw (3.37,103.63) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize] {$ \begin{array}{l} +\end{array}$}; +% Text Node +\draw (31,143.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 0; green, 0; blue, 0 } ,opacity=1 ] {$\mathrm{data} \ ( d_{i})$}; +% Text Node +\draw (134,142.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 0; green, 117; blue, 255 } ,opacity=1 ] {$\mathrm{neural\ network}$}; +% Text Node +\draw (234,142.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 144; green, 19; blue, 254 } ,opacity=1 ] {$\mathrm{binned\ summary\ stat.}$}; +% Text Node +\draw (247.75,119.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 0; green, 0; blue, 0 } ,opacity=1 ] {$\textcolor[rgb]{0,0,0}{h_{i} =\mathrm{hist}( f_{\textcolor[rgb]{0,0.46,1}{\varphi }}( d_{i}))}$}; +% Text Node +\draw (462.9,112.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 39; green, 209; blue, 246 } ,opacity=1 ] {$ \begin{array}{l} +\mathrm{test\ }\\ +\mathrm{statistic} +\end{array}$}; +% Text Node +\draw (532.9,125.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 224; green, 16; blue, 181 } ,opacity=1 ] {$ \begin{array}{l} +\mathrm{hypothesis}\\ +\mathrm{test} +\end{array}$}; +% Text Node +\draw (373.9,112.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 126; green, 211; blue, 33 } ,opacity=1 ] {$ \begin{array}{l} +\mathrm{likelihood\ }\\ +\mathrm{model} +\end{array}$}; +% Text Node +\draw (374,84.4) node [anchor=north west][inner sep=0.75pt] {$\textcolor[rgb]{0,0,0}{p_{\mathbf{\textcolor[rgb]{0,0,0}{h}}}( x|\mu ,\theta )}$}; +% Text Node +\draw (554.9,21.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 224; green, 16; blue, 181 } ,opacity=1 ] {$\mathrm{\textcolor[rgb]{0,0,0}{CL_{s}}}$}; +% Text Node +\draw (58.9,22.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 126; green, 211; blue, 33 } ,opacity=1 ] {$\mathrm{\textcolor[rgb]{0.29,0.29,0.29}{update\ }\textcolor[rgb]{0,0.46,1}{\varphi }\textcolor[rgb]{0.29,0.29,0.29}{\ with}}\textcolor[rgb]{0.29,0.29,0.29}{\ \frac{\partial \mathrm{\textcolor[rgb]{0.29,0.29,0.29}{CL_{s}}}}{\partial \textcolor[rgb]{0,0.46,1}{\varphi }}}$}; +% Text Node +\draw (378.9,21.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 126; green, 211; blue, 33 } ,opacity=1 ] {$\mathrm{\textcolor[rgb]{0.29,0.29,0.29}{backward\ pass}}$}; +% Text Node +\draw (556.1,69.53) node [anchor=north west][inner sep=0.75pt] [font=\scriptsize] {$\textcolor[rgb]{0,0,0}{q_{\textcolor[rgb]{0,0,0}{\mu }}( x_{\textcolor[rgb]{0,0,0}{obs}}) \ }$}; +% Text Node +\draw (176,120.4) node [anchor=north west][inner sep=0.75pt] [font=\footnotesize,color={rgb, 255:red, 0; green, 117; blue, 255 } ,opacity=1 ] {$\textcolor[rgb]{0,0,0}{f_{\textcolor[rgb]{0,0.46,1}{\varphi }}( d_{i})}$}; + +\end{tikzpicture} + +\end{document} + diff --git a/talk.md b/talk.md index f7ec044..b52cd0e 100644 --- a/talk.md +++ b/talk.md @@ -812,6 +812,26 @@ class: focus-slide, center ] +--- +# New Art: Analysis as a Differentiable Program + +

+ + + +

+ +.kol-1-2[ +* X +] +.kol-1-2[ +

+ + + +

+] + --- # New Art: Analysis as a Differentiable Program .kol-1-2[