From 8a673365f6232a953c9e74b2f484428401739873 Mon Sep 17 00:00:00 2001 From: Joshua Coles Date: Wed, 1 Mar 2023 21:45:30 +0000 Subject: [PATCH] Add executable models and tools to download and build them --- models/minimal-viable-alteration | Bin 0 -> 116688 bytes models/stick-probability | Bin 0 -> 116720 bytes tools/obtain-all-executables.bash | 6 ++++++ tools/obtain-executable.bash | 15 +++++++++++++++ 4 files changed, 21 insertions(+) create mode 100755 models/minimal-viable-alteration create mode 100755 models/stick-probability create mode 100755 tools/obtain-all-executables.bash create mode 100755 tools/obtain-executable.bash diff --git a/models/minimal-viable-alteration b/models/minimal-viable-alteration new file mode 100755 index 0000000000000000000000000000000000000000..207512a68407260f8d7bce1da73538a5b7924a7a GIT binary patch literal 116688 zcmeFa4`7vL**|`tvw@p{qE1Cc7>YU!Wg7!FB^{2b;KBu~NQuMP4sdY)+ztr-sVP?Y z>RYZTP029LclgC#QYw~~6l9iEXlj~PpuRQK3X^(SviN>J_j6rm_w($Wu>tnJzu)&9 zc=kM>=ej@lpX>g2-S>0f&-2TF{OO-VjR_h2!Z?n{Q98(&Pq&WYEprNv%W*^^mD4UO zzp8xpmAvc!S+f6DFGPPSiLR)LHpL_H>V-l7My&Mw+iR6*46z$Ozi-r6O-sBv*05Lv zLH~x{;Q6;j($ zFa@-Y93#NIDL z%o#uO+K(}2qTu#l7_$+9GCCu0tb5UzJ*Y@Kri4uA?Zynjy-FPXwc$RGak%~-&Xeuk zYCDv zK0K}v_i}M~X&Q!$VfNbQX{adUT*z$taOMy7rj`C|Uut3E55q0SL7A5Y=O87ap12@B zb5^#*qxI)saz5e}Tj){A%XfKWb9(V=KJbC_3xsqw+%i6MUqJpL($pC-^~>MsIEc4w z4VmGYyp#T=HIUXoS_5efq&1M%Kw1N74Wu=Y)<9YVX$_<`kk&w218EJUHIUXoS_5ef zq&1M%Kw1N74Wu=Y)<9YV2iL%XRp#058$#>5%S_wOqfA%lQKem-8Kx`ikxM$V2AON` zH>L`YD06mZly>D9vj)#4b9Uo8@08MxacyuD%D(1J$IVyahHf)XG;8qaGN%*Qqwhbu zgnsbozG2#WgxR(wBl6;bj4;AJYJKb@p31W)0%@@Xpb2v-R}NStCk2vJuD5jO>R)H1-Gq(4W4p)_gsG>;?KHO^Y`yO)^yXKaqxfl z1mjD~HtO-%(r!0BOcNeQcdyHc?B98U$92>HU2;w+?S5@SX-6;KAk(e!xJcsg4WuPE zWQsJNYmpA7LERNWPT5EtxyT>04mv{_8G~g3V`|5@Wg(C6hhAR>5BGMAd9bu=*AUay zM*mTc=#LlY((a#oZZ?jYH@@v3xK79hm3BV`ylY5l7xl*Qc&uL)+2@uCl(V-MNI5$W z;db9}*?N>8uNH;!33y_?rNPd44= z#L{l0v3uvqrQM9Dbz8b%6w+hem@T!V)+3L1A8WeSts1r8x<_8n{a(1=3BPw83;)SM zUeI51)@6*|-;Mm)Vx(Na9m~phaPK%rzgD-?$G3e8ezA;v3TJx{dfUKz$ouQPdsg3* zMQ45K>&I~4eM33wUC7f{nR%A^xEpzthq9OVNVwww>c6d%TiG6j*LS0iu0uU+M?Q4I z?UQArH#1+zX)lXx9*6qRy1z6m^#%9uFZz&H7YJ3kEKpex%S))Pp1cl$o(PS{hvwO zL|)eENdK{|9oZ{m``#SV+L6V4TzRg|Ba~UTO~)br9q&M|3BP#{Vf}%+rta>n9c6M% zcPIztRO$m3zjT{7%mgez>E2ai+7P#{11Fd+tZ`Y>R~Z{`%UBueq?R%2B6EE=Fw4>X z89immgj$~)0{7I({TY#c55aH7(bKtCFWOg)+V=>{40O*n@(iSpX<~az4p#Y~Oiy2b z0Ck?_b~p13`t8gJJ-i$7MZeL3v*+&#rCoDy&Atw8u5F`UgC2IHo@Ujy&ZeHI`*G0e zoA9GFgf?_Y>G!9V=8hWkVD7PFUaFpN@~TH2ZB~pL_wrKc8*b2UrE-(^^0}K6eVh{} z!syCIcxXF1Z2rNYT!wXQ@368FR@Te0eY@#~VWn_mUXJyI<&hAJw?twf0Lv|+X=P@N1@J> z>x*|P4&sxQ>E*|C#sR!+w3F=D&?i*c@{c&t-%BCK0y5if632ik_k|Nk^Dg+8n^oGC zi8uw*fPSrO7wQDceAnwIqpY9I_5^kl%0|{O^UmtQrs^&5k2dDcnbn1DSy+BHW99$Z zjJVxyLZe?~xiu)Kq2UdqSPwc;pJ<2J`zV_h!@f8JarC(@PVM$&$8FF*UpVj=ZBN4A zq;54FxTT)7&)^!msW_J4ScAiDpS4ZW{A8Q*@#DRGpmD-d4|UVVlm5|uKpxw0${qLg&zy*G zK0K{E1UJ@>IK|_!%nd^S;gt!u&Gq_q+eg}ZLi-Wr9C=5+y=H#lUKr;wSzdh1mg-Td z`p{iRnGRdFPxElHNLVID3gpQ%Y0~zd1v@BfpS^q#g#f3 z%|5V9`uT&{a_cZAU>hE^{r7brxXaodDC-B#F&zial)m#!#P>LJ?VD<+pe&>OcZJa| zybc*{Ft$;Xp-<$kt$$zqC;ZCn8T+u^>x7@wH;+#G$-Wd}bfPcqJO}nR+VsBq$6DwP z{==qm?68cU@y}}*m%v8ccmLK=n_=Va+lg@x?GTQIqA0!`qtJd`mvQ>OI$#?Q-m4C^ zv3@tpy-^1mZQ%}6`kCiO(jVwaU7%=w6FRE+KW@JeN$`~le_A6>kP;$Rdwj6KoMBmd}bJ;#V}SC6z~ zY--0}Uqd;dzZ~CDXRz<@%>6X_yAOrB?e)#L{&1+9dJBhJXFmd6&^_A$cTBMkV;8J% zw=#~2urA$mhw@hn4s8jye_~muZPzjkX-54zSiPWI=&HBdvL3sMeRbB$=qIX8+itei z$bZ_T_Wlc~TVqTc${ofbVp}1f&CP?`zKb}#Nqr-aI2K`>d34BhWj~8PG$ZTbFnCYG zjm;Ox=#K8yje)#E^ujXZ+F4%yAUu@QY|Rh2;eCd+KEspE625J(5vS`_&nVk_hNsrw z7?#`TOS{@&v$LIIdaePtzdC&=nXR89uQn#jtF3fUf*~anJaZ zb+{dA>_lF$?xH?!x^v8)@og6}EvT>5J9U)z7+t|v1_dG#t| zzO7deOTD5#X*;gZxNmb7Y=7o|yN-`s?rzp6*w*XIMr~#t zxR2uy+-KYJf0#C0Z^9XC)N?c}mbpY2C@aGy49kNbSg+3Zq=R9i|L<55G8mS6e1`EO zHZgk>to5bS_ID7T7r_IEem^$rM|7>51a=Qq5imv|nzUm*{(mrH4|2*QB z8#3RvaY1==?M2Qx%^&Q=)%CCYh9}p*0p2rxl;azihG0A3j1Loamhpg&#;|<+hnAw5iY2w@Io z{X)22eR1aflDUVSVEW@8{^?kN*gX7dUPj2nVUAc5W7^x@2x z(blDVj@Rvd+O@EOedWi^E0n!pUfH^h@|w86mF?|d%u#uB3+;njpJN^2oWau>ydJgh za)a}#)AwD#IGCQv_Gq+90JRZ`qDzcB|9M>J= zmB)M$9{hv**5}yv+B`t|kZ13lA#F7IY@^sFvaPe>a&AZXyD(Q6f<2D7SY6P+gg=A4 zKArQ4j8h14(z!`HZvzhbW(0M3Ddxw#`H!8~jV|1Rd5~PRSv&{rlSG>rD(x6-$fO6ge8?ghnMF+-~9pgenuGxLg*G?UWdOGf=qff)w za)=#EU=ERUHL$Td+&L51wqkvE%WMV8m@nR2Gf*CmL3zk%YhPuaMP2AJ*~ptg26jHK zQD@%4_=9%;&WWaj_)TJ#hlyUkWYGrQdiv(}t*~P;ufI#iP zTL|x+&I{2lKt^56ft)rO?AMMrFGQanI{K~bu^4lOvX6cm+fr>=!F}-B$g^0&e+~C{ zzHZva!Vli(^h|nm9_Q#`$h+*H-II;7n3awEy4k$5P{#Nu`(1gs_a?&ZMBU9g>u0B)OE+VFc52=@ z(_x>T!Odt~Q~$KjXNNxWZ>1;2^v^ciTKd3 z0_X|tjCF@Ln(l0z5LesYApXyCEWt1kckKghTu^Vup*%1>Ur&;rtC=3?@MD@D=+LGI zeM}+_=x4{Bmm)pLw=8hiwUwAR$=uP7vSpt6i9Rb2wpgMaNs|6#dQY0B!{L^BVSI$@$L%?4V?6Xa%Gx$R{)_y>{kPUzI znG^L@{@#I;ea{{^RzaQYL>WqqEzy^<9YXop#B#xObs#)mbFP(b9c`3^9Od*|B4^!j z+lge);OGX=QM~au{KMRxXaB+t-phTqXL*SC zILO%MXQTZy!+v^C!rdx={bJqXyuhSj-E#X)w67d<5j#QY4OYy1hicpJKY3pU`J=;OHNh;1p| z-7;+0?PbG;+@6Uw2DI7Tz5!{px=Exp&_^VmcOy<&&=KRxykvZ6Us7LNq%TAH?czAm z>KZbXy>~c2KL+=hcIpk!=4@HmgMNx-m;SIHar6DE_YT|@Y~$@*3CiXPHvayxo;${} zc{~kva?qWmlW|C-HJJ7!`P{4hOyQ6Ym+?07`$EVX(d=`|AHB8~edWo;2{NK-d@PK(X zK1BL*T(3Z!cV6c8ADx$BOfbZo^P}6HXNKDLLvG7Go+0tsyW1YY9$d4tOt@vRi%!D2 z3fOxXnCcW`7m{QhUyg0dYW(@^l!Sz>(m|6*L}kbtfTVQoiQBxGaT|R z+Qjx*l^0$_IMxmPe+8HqKV3 z=rgR2Qt1J5>S5kN^pGWfGG8!mc#id4b!5v?p#1Gb-8micO4Z-9{%~HUfOY<;z%whS zjG1g_o@SN5&t^M^ezR*L(+}N;+Dbdl!*#Aa<6(Y;GFxX~jxcOHI?|kw*CzEFvMjha zsLy?rZ(DBE{^%*^{&={y`C>blb@vzF1FbJF=Hw)eA3f>mU3Pkf z55Il)obVHK0Eh?Egf`7S?_`|t?l9YLA*>wYQG#tdf_NOPoX`%;npawq6x_ZJ!@dyerz4w9Rqi^ z+@YWNBK!}I4HzEed&X=i?b-l&U*%%gXj4M>yGCy*v27;SAh69eXz%;v$(%}7E_8%A zheFxs?mb9YR@WGd)b=W?&ipED8ji7O^V%^E`e>{XelAM=A{v&nPI*Fxpj+iaR$@4 z>JaPv*3|tl^`m|9SqP6h@U@XCxUBQEOIRk^zo`D`hmT*Dq<=}04#vZ-udv}e{R7-; zAI;}g?9c3c4B8WW9)vQJ*>jCDjy1K}w{z~cufALROV;sUV?1li2e}~}fws!+Be|ZE z>pAiU!T&PtFP*l<)`?Mey$H*E2lp)4aTw+`P*!QD-lpq~5gzAPsKW^?Pbgbx%ev@p zCh8KOUD5pm`YaUpxpo2ldk*cD%i#vkdhf+}(ymLpzs5X^aR%n2J$EcSY~$SZW4?JX zsV8<_GRrdDGR|C!i}mhZuR}M#k@)#+hONEJlX3@he-_g7H0DCsj)b63%){Hf%0L|$ zFLLHx2zVwi^NctbI5Z9Ob>ikX-t!7;YYc(Ssb%bgjvra@oAWVwA=7mM!nAJS--pD_ za@_Nk#}sAnTDlLGy@0L7G?qXge4fx==JgwV&V*;uu+6=BqFpt}3*@7rHIeEqs+6M-&!a38vSJ(fFE7j{UHJe=n+l%!X;7hy7_SD{^pSVZ+=mYSF`Ng);Yg2mq=49oSZMAI^ zkf++ejAdMse)S+=AD~<6++w5tBncx&F8Gkv4)fVJ8ebG>v%Q| z^o4S`XUq=t4>(^kwX|ym-0c=SjJ6QgG;!X(qfyp?GCzJe$lpF{{iEL4KIQ7#S75d$ zx_rgOXahg!VziOJaxiWEmw}o8 ze?pqxM&7-Jw((7CN6B+0gyTMEdK~WiYcJ7OTMs__pKR2HEIfN-eseFEXOr-`QR{PD zr<679=-X+d*gVBN?RmP60&${kK%0xQFzVHlC>t!7uDy_~zEg*^J=j+7J`;Nspg)Gs zGGC1Qw*DjSS@7TPjY0UVBi23KFh2fr=h(5R8#;#KbHJOd9_2Y8!da<$Mjyd^`jm?i zhihGoe7erX$fp=^vV5_54?n3_H(x#i_r83QI>PdtXcJv~4P}dE$lBB>Pqdr4wvBm4 zedL9E`pTtf?`#_n8OtE`Lp|F5O8QItd<0>!&K?JUdfJVi^&wa7O>WbLFlHD7j;}sA z?S-}v+GlEi$-MRD&#KvZ>GPw{|+uQcq(40XfGKT=SHR=cy*!bp0H2K331r<9BdP9dciUTh6no!xXw< zxn>;+p^k)+zQK|Yu8z9i?Sl{Qdc-Z*N2m^7L*8=!mVJcY)4X=WNEJWJK^U|deC`AJ z#xllo%ehNm{-kindh!+QtLe)v{rmTWxUuav?4@4qdLUf-^KVpsr-hkZI&mGLOGOy30ZW8r5NxT@I?SJ7{U-8qpX}oB! zjSiWv(SuBvLBG5UeJS?$cVP~{jq5Tr?ryvmIq~wfGf8xzbyxMlu|Q8eQ`9SIV}tYe z*P`##deVYx&Uu`KXP1makL}UZ?zrWV_7Lj{>t2srC;WlvRPrQM+F|GH$l8VaPdf+U zvK_N}N7%4ot&OB(3|FsieBHKB?QXU$iFHAP{Of|ULuhku=2{f?o7uP9XB@UHIB7(@ zZQOqA#f`dP8gQ?tY$eGdF6}F|%*} z1$~r#mgAms4L9>IL@|Au#bYSwU2t3_YqG!_lS72FJoC|THJP3>lf3M^+6o4 zLG<}XqP{sgQM;OcuRGH`%d~iYI(l~8Yd*R9xa~X>Woa1J zc4lM#9rZU0&q}kfpLm_@C${5~b#^SVam?KF+sc?%XEJ@bhvQ;k=wsuU`1x&9y=%MI z_A5xwZn(?CnuR?0|2gO^!9$r_hqPf|O4mIs$C#Jq^WaPH{(_U>$Igr8SpeL;ig}~m z7h??w{93?`3~D_{Ed zo!>Tue3Td4UZE`9zjglRmpONZGGXtb4B%|jxBz_KGaqez?pX3r4~Us&*+mUPM*61u#f6xsU!ohjIFwq?h@^^2hwBh8y&qIlP{a zYuF#Q%$Q-^SKhNXW8JEG`%Z>DI4(l{we1kge6M$CAgwxYmaHya!g7Ro_SOFI89noX z`NsXE$m~9C2D+!8bbm0Lpij4~E3onLjOzVgo9o)8(tp}E2j&0%%gnQ1zrvei)HNy` z1N@P5$4IBPk$(VYAL(l!lj#3Q_UZqBc_wfBkKmf9B)W6^f!)ctmejru}28P4_D&h@#@_4&?qp>sXixxT=;zQnn{)VZGNT+ec@ zXFJy)b*`^+uID?~3!Upl&h=8~y1}__cCME@*VjAOpLDKoajrk(T>qPM{W<6Q3(obI zo$Gs?>-(JRhn?$3o$K#7*WYulf8bpI$hm&Xx&E1R{R`*%P3QX0&h=lN>%TkK|8TDV z>0F1WIpxr~KH9lH#<@P;xjxmoKEt^_+qpj1xjx^!9&z6Es`tiZqYCnOTj@mmd+%cJ z{O-kg&U@g%f!|L%aPP2C=G4qej2rFmz=6q2IAD03q|nHs_Z;sf^{7aBbB?r?iZeYO6a#21}S%~~BY z)A4k0!O#aorVg&@epqPGg3Mdh`GI>2LT8W6dOjS=docV)IJ7-{Icj%C=C%xTcLpZy zcVuL~kr8@6BS$}{N{3Zj1eT z?D*Wp&9T}!vFoF`rZ!p^bwp;x_?0Lk)pd1^HP!LP=BZT|U2uV*XkH5_k$7&yxZHCZ z&dKEmoujoax%Jg6V)e`Fb6b`*H8nQJqqVtoXFk$Wy%+)HPHlm!i*l#JS!H!|JXTW| zZ2_!lSzcKkUviO|6ODTjfU{h~oJ9#TgK@AV5+j@Bd$=YO?*&CcK(6N6a~L1K4d>lr z%oAhqHaIx0gz%kZ_=6wurn9~8Nn_A&@>asH2{>@BD1aw88$1}T!+B>ZY7Nerm!X*9 zJbi{S8*r|>0y3OyXB)E*=dp9(@AY`6AIjAToHIWHe{r7sag=|Y@0bt2an7nSW**K} zsAqLJ@4)#+oNE`s4bGX15f0A$2Ji-)r^k(X8|UY7-j6fZZQwh^523I#xyJ0xFrnd@ z_&#!`32n!DU#1CHV1jAxU=x0Ou*ukd6ylj}2EBT;IqGc~DBFj?{ZM?be5eWCiSv!a zOt=`vCz!#dC!h@G!2OBF+Yk~>oA)m+QBOa(< z^Kfp$c@56(C@=eQom*f+3kpo;k^;mXWnn|1312?ZgvX=MRTi00EzUb}-iveYB$H7) z$(RQxnb0SSUfbg#AM7ZLH?GQ%s9?>mzdB7TyMhlOBb5Z+ZV#kRKx*oAa2`IxgkME@-Bw`+<$nla%`%~>vyg6_x8b}G z=iygEe^)|(IB&!GRh)0Eg#Id#rZdfBs=w&AU( z2uAg?_fL~E+e7+`>SoWQa zQEe=~K+dQ>7Nh#uGpdh0quSUr3>|wel{2ake#2WYku$21#na`C>SHmgk3FOM*fXk+ zJ)_CD=b3UwRpPJJ{!RZ$Yap$GvAgzJ42GSZx zYap$GvAgzJ42GSZxYap$GvAgzJ42GSZxYap$GvfQcePI(Go?*J@XPEFyICAh(j?3`@@au8l)h*q}4>IBTIPlel@aOQN zj@+Y6_+cC)vrPCiIQHO}pN*G4;Fxu^2|tA+e~1a+gCldO>E4cG-7wR=@EFrQ^;jIk zP4{fPxMS?`ru)+4P53z+%_o@f*H19rzrgvS91|XKq6t^xSbd`D?!>v_B-4H8NhbUR zj5IF{h}GL8pvJUYUJe~07vQ}DtN99QA^432fD;Kd_2_TV@P zF9FHLk&oj7ysaP-`AEZcv4+~n>}bof`Y7;KvnDn-)J|!M#^>O*F6FVrt>WhDhT6vZ z{DSi3iF+m9y%`O0aac0FV%i-0s+t0Np|6dZRuhjcj|$OoQ(PNsiB~t&L@#Y_tiQ53 zwm8;MURi6scU+Y?KFw&TPVQGA##hXVPmDwg3iBh8<#>}$V{>F-bxSl-(^y~M*f67F zVL^F0W$`7=jn_r$q794VOCr(c=Ei1;r1FcFHN+M*HrGdD4eBou#L0YrPhGTR8DhJrx+WSgpFL|%exxu~TW<9t5u5C#YDQ(T z>Uh?iNJ--DKQrbOM#{^}i}C872;b@B52HBN*kbiDd2uw3@I*Q%UQkfixHwkhX`-yK zyz+_~8z>}&u9Bu}A@H=2KIJqU-5N}?|e3>)Rmo5DYSLlb7)aiwX5Z}6% zaTB|$wgC8uglA;BD1Rs+>9zLibPOoB5at@V?>)HEzxV?Wlc0i5o0qODF|e5 zRir8(?dY5-k;*IP6h+)dqp+`@p{8!e;iV@wyUL%MKDwbJ5*RbIAma9DUU%aasKQBX zIcuZH`dVa5WFgvl&6vYU=u$Sx(dE^3%>IHY=wqXcn~~=z0JIC@GZxyO`d<^3nmS+2 zE2@D#;D%g;#Md2K>2az+QA@lrmc0H@2Z5e6NhelbS?^ZcNj2RHWlTiR z2onw#M=c6Y1ZJeo;8-ncWpmV;U_Q+!h(%s+?RGK=8G0==6~5M`#B0D{+@#2*K-*f^ z!dlu(<>g76f|@Ee1e4Ja*nVhEyabI(eXId(nT=o7jG&RkOs}e%B~5bwT34&Ts*fHH zDWM_1Uk6o=I8T;}+UiQ1#@f1`Gu#za*Toh$L{NPraVEB*+BT34*XgOZn@G)y>WIFT zGQ#&zHqn>{+e#Kj(bl7Dh}SI9Tc~vY8;hEw(cVm3ipW{KVnw7W+T7CEfY`-XMwaLE zE?SeCYtR{71DiTl=fAUfS#>jd&zi;-6RD5Z*EFp(u$d7j^n)-yIkq&Ri22H}%*^&z zG0Mzvh8lz2QPCvdaOi@J%)K8q8JXL!#yFN^Dl@caOk@5L7DL{=KFBK}=GLqXvwa?3 zm|3$VT64`Dyl?XwREx#Y6?`}6^y)ZA7`KNqO#4#2q%z;s6;#*Os`1ZJ)7Qd9wod51 z7Px;fJc)y+#+F&p*y1G%8<#c1C596*vpzhzzHxc9qPit9N`w1vhLaB49t)=!scjCI zm>-4lg$}%k&}_c~f7X5se>P7?!Z!kDuD%+7HZfJn2XWsIFKenr9V&yRh6**ix;D0~ zg{k=)d~N@@G1&#?&QM{Ylh!L6rq$M#p;fA*(Yh;R62`6=CM`FA$e8SThU>R%E}6e& z6vM2ny$o+nrKfF~C8FHMCOG)+Io)g?lwn$DAl|EI;m;Fg_|uNJDTaj>GkY>* zFnoJvX6C+ELU6ElHr>y`pY2gNEhvv^r43j`9KH2wV|ddUt#NQtZtl%2JOaLa6N%Y8 zAMx5Bv+-JP9veiP@+l^A5pv^>6}ZpB^vocRJ%2X{1@$`I>eHfeErSBHV^IG(5_kOh z)Zom_mmUq7%*?&tU@hu3NZdYH27~_`><;>FJt{ME?L*{k_%e9mKo4o28~i>Sl?RT> z$lQa;q(KGd-;OFYKOb^9hQM1x`=`0X>4NtRJ>;J4??W>)w|#+XeqYSzx3b@FJJvih zBqMW2Je16yeHxZCqV*aZdJ0dUZ*3kIkqP(@CH$r1`rk3W6pI(}~AvFDo(D(%-#*c@ORYf^jV{@{q zo(N3^oR?FaGj(3=f})Dt@niEwjNKes9je_B%DFX^S5!Lw#?l4(dAL7zLC*NOIa8|; z-1G%wrx&dln_rZ>ebD%#{PE-K=1N3HI&t$yiczvk#GiF|Q7pa#Vruc?RciJH;8CGg zvs&;UMb39sQ=U8Ab69ehtI@|Y01Ys zkF7i(nDOB|u<3r0$cymeR^qjS$9w**6Z{cihPOv>y~qt- z{7Ux^3C+$DHKF5AS}q{2PGDzg6&E zg4YUuT-4&4PCdenW88DPH)Mc%d$mVQvLmg7*p@gGU5Re?DHsOa9e@>jZxZ znCZJ)@H2w<3(m%ikSQNq?(t6orhj(|t`Pi^;FW^+2!2%Xh)X^GyMjvvUog`1Z?E9n z1oK_+jPGv*-y!$|co8$h-z2y}@T-FF6}(6AHo*qZljz?Nyug|Kv4XD>TrBu|g69f; zS8%J~e7yLX{09Xu6a0qY#|00?3ym3GIM;KZFStx_C0=k$`OU!8FW+@f{5N3w-->sL z6VDjq;Z1@U3EnRF9>MvuJom2%t`dCw8RDPd34-qyTrc=}!H)^%yUIfd|2@IQf=@ov z^RHI$Cj@U4{71oW3%+)&=YDFX=ifHLm4YkI68{8$L-3t~e<=6~!CiuP2tFO{Hud#} z;6}m4ANIogzTi5+Ip=up*9fi?{Dk0_1n(3)E6;PkS8#`5zN4M`Ie(ldA1`>GV7|MZ z@|y(L3Vv4bX2FBeuQ2|6zdPNZDVX0nAf79@UGV1xKQDNL;GtEX`)34~3LcJrivIJP z3G^=}nBPty{=VQ&!5MhrINcBZs3$K2X8Ft&{6&$^6a22=wSq6ei^}PKqu|d7epT>` z!1O=&W1jyx=X>rK2wnh8d8^?2MLvG6=l%`FANTN?6Fm2u1uql4L+}>`?-%?n!FgAC ze0~Fj;Z+JQ7ra7nOz<6ozan_2;10n#S9|{bR&bu+V+uU~^96rYaFyVP1TPW%Yr#!| zFjXb7c(dTWg5MN8Vv&SD)#H~6zFsiDox=ER6}(OGNgwpwza;ny!TiPw-LDorPw-=c zn*^VHk;mU4_y)mdiO2t~;PHaP7klpK3N8~|C%8rMM!{PJ5082Ny&||s@VHXXzZHV# z12aE22);FSuOr2EjU>xVzrtH;H_kV733M8a%n$f31Qa7x!-q z*8X;Sqvu}x+g8Ea-|i5s{p}lqwZGjbSo_ zVvcLb=XaclYXtLqPQ=Rv^Se&Ow+ZI=oru3GnBRFK{+3{V?}_-wg8AJi;+F;U`%lDw z63p*F5r@jW_)HaiqTmX_;{?wW{6WEWfY;73fpD<{7djwrid_=yYPQ3e8tK~b7X(Ycje@d9OwDHQ}~LNUl-uJa`IOT|2^R=R{pI4zAGnx z=(%3_Ctd30zhdQI9^kuj@^yaj}l|Mbecje@77k-EE6)S&gfbYu5 z*ZJaK2w$=CgXPDSlV5~!Fx?)Fg39(wvGPX*!guB5R|r2}_==VPc7X57$>+Bm>Gngy zSFHRec!3{Jv+&22ldtpR>x8eE?pc0<>38Mi>wNkP!dIM%@5;&7`S;f}{RLiJmEVat z@JGz}t9xSdb-sSY4AFm~pI-`h{3&1ED_`gLX9-_1<;l|T${D^s54c+Ric|4jIr-Zq zzIO^=vGRlMhbt$a-|pn;b>S;kew-Kh@idEn#62&`*XI|1*YqPm%6KGAzauAKpLa~0 z>FHmw@+;vFf5Z&mm6M-%J|cX@${%XkJ$zSA{(gzir-iRr`N8t*%E`~0T)ug@!23SY7EgXPDSlV5p(m$og!SFHSC`Eljsw+jEf zE4}zDR(`PkcID*n#k?WiJ|cX@$`6(wS5E#=7)W&c2jMGD#dqc8>+{{wXy|GGC{}*Z z{&MByFOcx>5WZsNvkdV^Jj-!UOujx({+sX>Q%-I${jQvReg1shhrReKR(=lr;E$N$ zyK?gNdG#dWD^~v8!1&#jlb?loP`drP@D(e62QTpBiQ&6)@?R?TWarKH;;)$Qlhr?0 zPX12e&lkR8*{(g<{6)Qhj{$06^|1{6YO}l^-lW`h1^q^7Z-t z?}e{872lPUuj>JZ&GGc7Soy*B!j$cYuQ(Oom6NaQ4ek}bV&w=V9X(`L6I4r{cSE z@^$^pKH)1?{wACHp7gtN@^!t<#dyw6{VP`f@BrVHldtP@J|}#|%3mGeyK?e%J zD?gZjuAF>bPqk0@ij^NszbhyI!OOk4O}ffUzhdQ=GV=HlGyble{5OPuz3>$)KNx>k zPQI@1+9G_#$`8ihm6NaQ!H&Axi@##!2lLOBlRq8vCUkqb@D(e+lNb2$Gz))RIr-x; z?xbwJ@D=kO;~tE^D<@yqul-W^ij_YSe(*=k@Lf6iy54QrJTLuvozY1Tm@@oTpS5CgJ*E{vr#llyt{9ym@%E@n)@a_}7V&wxd_ee$m0uA^zbhwyBgVaS zyIc5*l^@ifD<@yqSGGjF^ea|AhNbpLJj-!UOunwi>=wRa%31b;?T;%bU)OI|F7U!v zoQm(t$*)BO>GmbzD^`9`|E`?;JB43R?S-#672lPUuj@%aBz(on52oLhlfOg4|FrNG zr{cSE@^!uHdf_Wpeid}XAMq^5Ju&&ZzV*FoFa3%sXZ{7-KUYq^u7{nm(Bmssez5+y za`JWk>^k8qPQ`cSc?hya(O>M)-=A z9}M4>ldtQ4@zw?#zGCGE!*}K6>w4ku316}DgWb&z-*rG6&N= z`N8&2-BV7!uK!*ve8tKyhCBX<8NMqgU)PJ@DtyJtFS6_&zAGnR*Oxyae8tKS>fe=< zuj|n}g|AroYXjlCa`JWk`n1KK{uC?!jR4=3ldtRDza)Ic%4Z(%M?A}MPfWh9kAFq@ ziYX^ISpQr(`MRF|v?X5r6)Qj3|GRSXb^ZM{!dI;PQpABjV#eQ&kpRSzz zCBi?a!PB2&Xfex=hIz4R+q{&?t-KjK-Adt&l+e^ZU{6;n?A2kW0JCtvqNwF_TyD!wZxU-wV_ zMfi%95B1m|G2`#b$=Cf>7dLt7SFHSC`FG{y>;9}8g|AroLHo~@ldt=^o)o@fc%BuM@BJ;;&fw!TfjS*m-wI!`@{0m|S5Cg}ciSg?#mcV;@Lf6iJ1}oUwkPX2?!|E%y8D}S@`e#EmJ_r&Due#2h~Uoqtjdo>RJh{<>5*# z3*uh<6)Qhj{#`lwx}R~2@D(e6gAKhWd{<7s?tjc&=7q0V`N8(Xm6NagB`+7gV&&f& z2;Y^He@BfMx6cY+vGRlE$CZ<>`!Rnee8tKS)?Zgney4c#r+iQfcSoy*DyK?e%f9_+#SFHSC_^zCM-Ou};@D(e6K|uemocwK=x1rnV zE4}n9R(`PlyK?eh68>GnSFHS?{#`lwy1#h4@D(e6ZXo`yoP6DnoPE6)f5plV#^05b zultvags)inLHoy*ldt=o?-ssd2D^`9`f3BSTx+Pxu*(Q9&%AX!czbhwS_jm6VzGCGs2=HAw`MMu`IvPs* z{1Ed%+NdBRt${9ycDIr+NZ{9)lMR(??+{;r&S-Jkw@;VV`?sPN8aS6UoquOdoca3oP6E?K3DjPl^<-sT{-zHFmFY-_X=OJ@_VIU+*3}z z?yrAJ_==UE3wQhx&vM+q1NUcVqWwj?L0QHpJ*@kkPZX^Co%00ie&-7X>wf21f_1-h zwP4-v92czno%vchhOhgb*9zAC&Km{me&=n1b-(jVf_1<1+k&T}9bkIQr#$~F1m_5z zCpb@Vo#3g0Zxmc9_zuCfg4YUW7_~Ma28R9FWx(F0{ksD0U3@EWvi-~3B|l$;ob^vJ zy&j8Wdtm*CD`)=e`xIUkzGCGE+do%MzP^9q)K)Ki#mWzsKUYrvKFs^jZB+P*l^-ns zuAKZl%$v~dCxx$A`N8X>xF;rG-$!xf z&7S@gQ_lPg_P?&2e0_h#J;GP4{HgGRKVpXO%E{OFU5vfO3tzGFD=oW+@5;&7_hWoh z_==Su?7v(&`T9PM&?+zd1V*?_e~|CW$=CO9+$Ma*8h$YUT{-#szK+*~uQ(Oom6NaU z_xPvq6)Qg&e^*Yvz7J&btzP;SD}Q7_|E`>TeSb(?_==SutbeYY{7p?>-aajS#mXNM z2;Y^Hzg_tMC49xouMO~BIr;gRx1rlpKJBGnvGT_T_^zD%D&b!xe8tKS=D#Z^zg75c z!dI;PVESD-`F9Kdo5EMD{9yfa<>Wsv{I`X#I2GTOlRq5uHgsF~8Bc$Tl^-1cxN`D~ zg@3*96)QieKUYqEt?<7re8tMI2;`qDCx4^xUlqP$ za`N?kHM51USoy*Ffe==+t zvGRlAyK?gNeL)usU$OFo;k$D3_5DH%gs)inRe|#7%E{OF5p5E_V&ws6zP|5h@a>X+aj!j5{;h%dt9#1H*Y_h`D161r54In!oP2$sQnT1?&4c z#tGKr86bfPZYM-BFanJi{N(JltW3Cpg z??d>e;KchaGU#8=`vGzU>-!JRvA8v{|8;?2-5>iE!Ma}JMU~H%@{PP_e09Cr8G?0v zK0bkH<+`8xQNgiy;f@bv+FcK|;cz|REmh-@2P!vC58-Vng= z1n{{>`}vUoUK7C21aRgMKff%1KNY~60(f@-j~eRt@0I}mVgSD$!0!d{al`!n%?#j0 z0enjUKN`SWEpAQd`{jWAm}C6ml?Cus0eo8kf6d|^|NkR^|1*G}3gDjy@bdxuro|=^ z|IB0k@jW?!^8)yy0KOuCt38}3|1AOhnE<{$fWH{PcL(tIP`}%7d;!N7aomIBUL0$2 zd>zN*IM(BM7{?Ph{tu4t z!|@D`?Kpmp;}m9p!m$I#b2z?(<5xJI$MFJ=7jb+S$FFhx4#)3t z?8LDP$7?uV$MFV^|HAPH9Dl^oiQ`QiZ{zqAjz8o03y#A{|C8Xq-#Yju!uU20>f%`( z2h+z(aPu;b-{5!!$E!Ggi(?>q+70*A)mu1%`pU(Zm5$g4Wb=LBL88Y!-%l#Y_k9*A zAPjyPDIo6snWTV&RNqVrI7{{crGS&9UsDRWN%3i=fUACe1h=3h#n+Vlp7rrLCBMVO zr*l>a=$Gt!e!H6G|L%G2K(@AW0f^7OaHQ-1dSu)a0k`}@uRqhDT5 zv`YW$zJ{Fsl=1&FpEB<0`TJ*O#8#Ah-@Gr@j|wM-G@g~;KX2q)-R^h13nqFW>u$tH zmZK>ffI55%_|n;PCPw&eaXYt=hzLf2mH29NV!YA6n3OavYgvL1k>k_Kv#-EM%LnX1 zaZ_WH$9GfHzrYb?kHoJ*Cx8r>`uBbCLt`Z}jR7aXKyola5>u|Af6<*1Yl$>AMH?jD z14=3iO=Anc@XT+6*Ht$x#%I9m@TGD6>iU4QZj$}FxGyUG%eRTJ>wUC_=#0wBL`f_! zU&yf#jKWCdy5{PpNDOhDVLumN>=iIon$LmjL#>z2p0Ts*lk2dFpRH!0PlTSBP)OV< zEA-cl!b$qkUDUL?NNo&NF1BzPzq>x8w!Efp2I5{gxh~cat!~Cw&>I#vFN-$xe=Jyw zv7nO||ANp`jXZUj(Pw&nAF}56uc^&}Gx`1Op2p`;)i<%edc_g)DCVzZhZ>{6khVAy zsjG=b;?*-MRu&Z(PAMp_SecKbu%Kv4QSrpdMNtD2@S{fzK9eQH7u)-Hpgn`{9?nKsVCom*3$w7IVYwvwFdGt=lahYB_{I zz5;ZJ?GxIy;>G8CoLm(E#k*7Fak5 zg94?s1g2MGO?AAnc?Jq6%B9bwA5h2zQzDV-hK9y?H9ltFvZOiIaE%Ny24avF+WEER z)pfC2`a{c*W*1}F;%g!c29zvDt~Lq-X<1D?QXP-b@~iZZ6AC6LbPpRmYm$;_FYfS1d4@h1Se(Ef=CY4tNuZ)Xk-YkKE#z z2yD`#y6VN+xJg!(c(W+6#+DSRD_Rt*s|%F0q=`))%gKwXV|6fnT%+@#VHRT<01TRV zRIC??YfnP1i`B-L`1~xGp!1KN}hwVB*A< z$1q5VEth#AT{ z%z63JaA*~Y^@j1IcY#Psmvl&REI=gbZOf9z=2VG)pK9TNdi5h#DSW1YXzpK;z<*Vx zPnNzSDbzZmsH`c+5ZEi|k$7YIY`3GTC=olq5#6M%UbE*E_*&%w^zf*@{j)<3+U-wj zu0_Y~ua-T1VG`lNeT1QahX?+&FKdZL7FE|o<80_B)v(c~7RvEJ$6J&Xk#!EEc_Yw0l?WXGS44H($kG3bn$_GuLoxqNyPdSRz? z=%>dR4J96ZMOx|_uY++MUou0yUGDeua0dVfsYwU5{|BV9f=C(XAg=IVx)>KZ=T zpm`0G#+?@)*ucF614YkQ4&AB$iIH-51ka4{*+M-Q$m}cJIRNN3mDK^8tC!W$?+i_r z?8M~Lkx(ILtNkiO=bliDfAT;IDCbJN4u49dmx2y2Wol+fh3=ncd?we7DT(@e&gA$? zLs2Bs(o`3VN6=`&40I+!m|KpKwrnWp@Ri7R;#knnFG`pXf#x(pW=E>A-47F#?Kk3ULNTz^oPZs30=S zbV#W~2j6>ItJl+-y53J~Bvr^V7_4=i{HlinLJ?^v z?=Vw8w5bn1v{7XwF<_i#Fj;}~Po;@J{TvFo%}-)Xki_mtoshaYGz3Lf_V7cyaj}XSyQS z#b^essEIbwxvsj&o$u!Z=}1Ym zp?YCml+!?StE*d@3ky(`>?B$uUNOk+vZqOSEVnG$(p*riZmL^aP~hkRD-mYHy?iFmG9x&7d;}A=@{zy-}I3 z&Gm|A|C`){6v+O0#Jr9*pgr>zA|w_eV15M;L<4IF`sZa}MtxvUh67}p9L}l^D!3l& zKCN{haC(qFkDY*&=fo-yJTRKxzzUb_k&(5}0&^sX5(e$mfrOFL7VxLQG1m^`xryUT zP@VmGfa1`5JxMv}^k^`^el4j7sgm04{lL}MD5rf)Op6A>IcU6!yp3=D3#ETmBG|7E zXyznA)`mtDg-7Gj)Q_5zu3hh6Y&q*xUwsX%B|fJLv;qEQ;;wN5Yd$a+0e^Z{l>3|( z2Av+#vn5-9Va59f3WxUe3*#e>73tMwWo2TO;?Xf|zA3%#l=Qk&IJx(&-mWGV^>Q^i ziSPNnTovT^W)|f4rWQ<0a<8bcw|_;++!gnBH#rHnxVO8){E5A|h55j}kl~PnURp0KE~t~T1-GGXQQ6P7HkyRN8iWy8egYx7$st&B7m7cQJM zsph(T{1!J%sG1P3Z#w_lnIBy^_xkDa31)i5v^gtV;?er^u>jjlXu|VjECo3{PtTvw z<7=aBqI%w_km_X=1qXjUN59{LQP7|FcqD(V$Uuye_hY+NkD^k%%%h<1x25#)PLF}S zy2De$VeB_g?2YMHFV}nHm=}Q}JO-#sv9>7bb5LCaHpLqiCf3Aq=EYs--oK6^>Gm_O z6E4QUy|%GFUw4T0g)1*uj`vNC*QSK?Gs|hxanVtkjvgYjNN;oz$;4qTuh$uVnD3KqawSA z+#hiNqMq=fCl?TvBcs9|FMF9*{aYiS)VAuULi@EZ(21ccujf{hmq&S-(?89o_YtP| z5!P~f4rW{HBV2z{pi7TsfYJ9JNFP&|kW1_EuY23kA#SL0_M>@GKGY3fd>HMU^-x5f0EM~^|}A4)>mGGCB5H7e?c$AGnZIHZ4`UMvBC>$ zFtCjVn-LacV+NOX9co!9Uy3!%z4utYZ-E8M-v76Dp1yBd!NgY-6QXu$bMl#Z?CkL^ zw8nIfOj@Tm!S?K|W?4QGyH{a49|>>Ln_%rL6JoxupTiP&q||rU57&pfl{L7pI=u;2 zUrAG*-UOT81ZyA8Vxwt#6Rf*SJG}|^pc~l_@oBXGSz?lh(K-}NwfWh3nv+-zmt-N* z`~Fti;D*@A-ukk{GoipUGubDbVhT0A7q=#o-iuq^g7@oS??kL&aq@EFuRNTZg{7O` zi)(kmr}yHrG421_U9K|d^*kWibhYErf5y~=cA-F^Q& zcGlL^1ozaY_u>w;JxTAyJu;OdiA9oZ3D@CPLM{qUvXrl{m0a&%`u^YAiz^Qv0h^hmXY5;Kncmk6dnCQD*IB~c zYsX!{>3%1 zUDyA1hJmdtPqBN=w^1p*0Xe+^nJxSQby zWFK%$pV&v6-hj+aoc%Mb(i@QdeLdDj^z3@Iugs`SZ$S3F+})W=cBXutX2GYy^af8-wa_l~#Ax!`|rt1rL2iyg8@bjPjwiT$?nVc#RO1@q7z+y!>3_iX0k z{#56~^4u>MxFrL$L)`H4zhl+&Au6qBPkzrgqu#IQx9OM1r(YhQXd(LZ?i0K2EAUp= zUZ2CDZ5MbpU9O)@?)Ax!fxPxQ{rL@NB%0)HFi91k{`>}~hSHxnNPpsBV9Q&BYYme; z346b~<@B;DuBPNHe6PO6j_hnJ*zbi)Nxou`cuiKa?;rfHUJ4Z)y!H15K_>D0$M1%2 zF(z|3ZiM7!4(^4G$=GkgnZ|_i&zN~Q=8F7u6WY2ZH*AIqKFFz6<)P+f4d!n{?*Hb7 z*UxSH^cm}ao^xhb=Y^Y>yj{`xhZFz1;pKNL*OWc=$fq_uI=Atu-HWzl{`%QxuL)l{ zchG?wH{E#sr+@SP+b_Ru{C}*S`j-QXfAi4oRcF6mc*)3P|M_oAN9^5r!*@I0?SB3C z&;9g6ZRcM1i}K7*_LX*gZFW zEINAa#%Bf%zWd3wgFZXrxL1F^rv1qWCq269jJNju?eyWhu3d5Iy^r7X%%5AD<997? z{^gQMCEvU6NzU-|J zRJ~pC(v(j&uU_-1za9P4`J3{_tf|`d-CxK4^7*1${yOCJ?|iSK?T3|%AN$)$PnMkd z@OOSc^EZv<$CfN^`ogRUuWa95d&#(aN+SnL|KZA)p7++#ljCpxdh*TsV<+CU z{Ey!reZkD%$6|RqzPkDLlP>(~`B%UG+m3f$ANAWm4lCGy;a@L({qFzXHfa6xfBV9U zJ3h8@+tj;fUvX{oHNzhN@W(TMn0?QdtL|BH>awZVUs@45>h#ZK&phkmpP%u;in9C0 zy^^tFTTS?;s&D^!T3cw?!}ZTz_{wQJK0Eff>vP+N4gTu&kG=81YkvHP-xOw^@{iAN zow#Vh$1f{c^y2EX#y|STo(1c!>YB6b_(v8!vfz$qzOng-V=sDk{gTGPFC3d&GU?Hw z59N$LbM`%VHGkvZ7)v7&`KSKmXqVzW_l0o_~WPQ(dGQ zNBuG%1Lt(K7y(-NJ3_ZW9@_AC$Zv@eO2O9w0(X$VNwj50mom908Yv8D69zYEh^|7F zrrCctC9wv4t%Z%4Sf8$bP&>8&#>)1fqS5Mx`sR)Rc5-jA?_RFh z-vKO6%bVaW8l78R9gQunjy1MKTdHQe?nRdP?(LIAAhyF7bdB<=Zf#vK~*F@v>a~fdLb?-%SZ-YdV*mc8pKN^kAi_U4Ps*Cw=UH4jV z_QTgIB;u~*$9%UMS2S8Ssd7@Z^pa^a{M-izjL1r0$X~1Z>v<*qoo@1?oq@QJ4hf7oIWtGiR;-%74tvYFWL0 zTLIqX;PT@%01pGqvq{rXVaDk&Gx5WnKa`tRy7R$&0~3GfZxJq<`AKjZViM{I3&JyF zNpnlAZuEJh5w7@bpGw{sn>RAM6R-LcpBSAlq*Gy+;hFbKq#puJnGsXI{GEu4c*mBI zH!zcL(!aC>(h^8ZAT5Ek1kw^nOCT+Qv;@);NJ}6sfwTnD5=cuRErGNI(h^8ZAT5Ek z1kw^nOCT+Qv;@);NK4>2(4=`^;YiaK%3jBEDo zI?ikJMub-0;oCww$oHYUj}RZfJKLQyac9laYxYCl?Q~}p+}}Oi z3&dp|<=CgB-Hs3AgemU!H5t+UJNo%tJO1~R)32ocjo~GmI`MjW?HZ1gB@CZKTyjEQ zp@wrQ;=wqmz2jl7>BjrIrO|zMIw9@%%#yS}`WSCj`wi!>Lz?<&yOe3$3;C*xwC(4o z?WdUr{UGasvxa$*s$rO8e`3UfvUWc2IL>SLjxTAatPr;L{c5*l)-cM4cD&6s!`4CW zyN~qR)+`;i-`GFexBoZB32yH^67G|8bO&cm#_;{^klAKW(hByNe&4~nL5Ob-@}zfv zN!tj9Cp&NDx8N4j?K8NWcX@d$zrlA%k0t)Qts~Zyw2g;+4<@f4!+!e>^@UEd?WoKXKiV8<0zC#mdE*F z$-{X6Q0apkk41bU9?~@f<-zkdki#;HH7Ta7-j1;F9WT0rd_8C_+` zdSUqS-lp~&&O;hYxFpOw=`PHfKUp_;1F}{m!oDTbqvZ-8}kOkGkkO3 z;;$Y!aJQ+iDElM5O_ay3BPrA47o48q%k)4$dEd`}|AN#PbN~ei@T_QFT*q2pB;$LPWbx<Sg+>a~6)Pfsez z88+h4oFhlPT6K+=TQ#h&w|Lm7*XBdsu+uBGo!r+>-^~_Mnn{~z7EyFir{Z#fdxHHYxY>95P%K^%3p#Gq&wGJ`i zLH=htjfC4fkq6&ky21Yn;D9@jo2@Ib+?)Ktd>cCVl|Wf`?6Q6^^$+e@p^~;yw_LN& z3uUdC6l$G5y04UPxDz_jJNh{IOLqs$J>YJVxM)4W`rtT}d2$2cPQ^j^Bbk1BR5A<< z8|q26YiJWHP5wui=*j9L<;jb{?ddR1tf%U^! z4tAkDQ8zH}kv9!Sn|~6*7_eKE+U{|dUDv&UKX4ayPr}`#cGVx)rJS_Q;99wfxaQ$n zh0Cs=wNBFXWSw&5QGU9hj%eR;B;tDv>P6~lnSS~(&G_Cs26ZINLYGeR^#Q*Nqx`5(F`RUd`UBF~_)~7#r+Zi+-R@mBsXYWcM)x?;=P}Rq zLi^$83A@hq+jY}MnsP#&&ghkfZ=RW6co)WfM8pq|x4CLqsy1|IA8(V%TgbcfAs@8= znh*%=4iU-rk%eoP1g8hm|rIZtEXi=yJ@*)EQZ~x%&9N z_5*hty#x9D0P21tU+AWhLEeIQq&+q51M+Sdb;6r4V>^TRwM~F5X~uZ2`X}7UL|;VH z0`J);_~{_z4LpYi`DyhPDYK?dEFHEHWya_Gw&9>gKS#lU5>497Ur!yj(($lpnc@=w$Ssf)89axDQoi%aUUUV!99?X zx=TH6-Ii-MX5ACsv}Wnm`@KQPvn980Kgz_#=kA98Oy}GYNSm`IZO&#LbbKOhyqu-m zdy#{B(zuO0N}g$x&u-lW-DaP8Pafq9cm53dvb|rEapJzUTZV2l^^b*-LD7Fi`+_v5 zy>()*4l+Rh()6Leh(zaG8CUNc4-Rz?yFFvsU|g>oz&NuFvHGeh?EZ=EjceD^ zv)HyrUPHT5<*nS!x;+$HNgdX_|0T-e2yZ3yKlEEf7ejvVZt1=9dkDij2oH4)_FY)V z_6>P$S=&(FG9r(K!P^2mMouuJJ=#}09?Z`bxlq=&UgoC{{6oIYa?*o-t)pHDvq{1? z^*h4UsB%Ug|Kq^a@*Bba(#s`nUxJR$dX4d^0=JW#QpohNWPO7ab~hwTD@*4$ZA$6z zjcjLG$0ynr^mCxUQSWK*&$KEML&g*Od<2$Z~Nn`!RUWI_GPQ8=jxQ9c$UM)i373gdfN| zVe!N8;0D&Uv+mhMKcPQtniulWt@ZizfpKulx|7$8Ud?boMk7#njo6X5@+)u?&reWiKNER^WnwMz6x#}y z6^;R#H{s?OxcL_HQZWBpbtB@#c!%I;f0j4+>z9`l^`qK{p5b-JKHSs3#7_A0Bh;x8 z&ztUroHQ@(&`%K8wuF8p?-?fQ8>~~o?=aue(f^@*sWa?G9l8!>nR27fohS=%<6Ovz zdB@ME)_8}V)=0mdET^m&$cI~AxOIE6$Q)sBI{>}jA%gSONTCKlh#ES~uk^ znZKW5*o|jz$*BDa`)p6a=U9Os4!dr$(ne(W2Hd3Vc4UN6eL8xb9d3k^{eDv)A`BcG zLYqh3+KdO8F|rKkQ_$a$&Kzsp_tPUG4{N-Q^(gJLzi-}CFNO{s$Uk;kA@8|qWy&`4 zYvTQujNwuJuCI!?d3Q zU8_A8<0Ri^|DN^JA&=kG?}R%-1Fju)Q~wioV+>|D-jBk2_ARI@qwH*guCWPy(@mp7 z{jS}8+Ji$zp`4DosqYEsoAxt(5sX0^T^n3`%*EEVSl;bCdp7b|AlzFrpqm|mG0%*Z zYnOW4%sfCA(x#V(z5?n!l$kftf8p5uj&uswAZbu{)x-Z>jObg1v1tdZ!mg|hlS z@A+f!yYL>omE=i1fcRoO2Jd&g>8%_IH~5~A-*aGZA+>KM4y@!qOeS!T@`9_k~O zl^q$V(-B{$v5qr$HCDp9`)PzRkOx?YAp8usH)!(}8XmUQ?HS(60T^d*zu^aKP1!(L zm`1FV-(Ve&G-AEXdVV)_GuF3R$Tv)bEaagq$n{0kE2FYrytgl&FT(xWoBH2(VW{7p z3q#)CJ$)V=@=iv-$1V(&+=aASku|{Q^c{e-%X;D7Eab&V7Sih$Z|`jBmvS6F7w_JI zpSw_YBd5GD4?FQ?o^|7VA>NsIpJBxt&+3K0W=X ztWbs+ccxp!YdtD*%1?%{-l6P(r}J6eU|o}y@1bo458=Aia*OYf&MT9;myvMqDAX6m zJ*FM>s!h4$Fh+p-LC32wKZAP6pT|n{1CX!iF54!KC7_*eW0;H^;Eo!E@E{Ji_VUN5 zG`uW_UqC+{?dql#xSP6)V>f6+cAaL0<22N*$O|mb=lxU4Gs0)$iTsB8&oAR5Gmc|K zM*L*RT7<=n1LK|u58cX#oKVjgd#Iyn&x8qKHT4a`zm0tf`hl=(8))K#ax)6~f$@1b zNqnwkd?3S5X?!3<6CboOi7=p@9d$;E_#oX*vf`uZ)@7XN-nbNTV!MrWXB@UtcYVX)m z^ZV5BlYME7*R^wu%lFsPogFUywf)4{`a%8c7H6rW8>6f-9taofkYM|QFqt+3?Xzhw zkiKl6sUu}&y)Z;{nrqj}{4n%Gqbo6OlG&pkW%4}J6Kz&5bg@J|k|h4g+A53&+LP; zuA`2UFh@RpM9f(>0{y8Z@unTl0h|6f+{0L&um8dw)WLgp9rxf6&-9_KbYk4#C+jm0 zaZ04Uyk~uui*S#E8SDHk)PLT9pWK_Uw=`J3ShhGWFwQMocDsrCm3>Zzm*Z48!UOY+ z9>%P$*@yIQ!x14S+{BdEEjETcaav1W*Dec`lV8Dvf0sU5FVvPcIcDrpr9F1%eadp~=#C$oz6oHHwR;DGxL;aHS z+AM7u=PuY!G_r;n^4?yK<&VHS#+`D*+@8q`@1vb!-laQiN9=UJ;vWa@cI$XER)V~F zvMf*kq8@bI)qMCH zq+Ot$a_ljzo%~N?hvk-X-3|G0EXd8rUHPH%>W)91?3DU>Cm_?MoF~e{8mMq$y~V@G z{|~VoJmPJu?k8d#xy@@=J^%`wEhode(4RfQI*FT^3kQa=9NY6DWUu!dl?%Rv^C7FJF zUAG@XoBQ7|CkOq=Y=7>;pIgEiQ2|Vu4pNz7j%PNWUH8U|`88?}@oT?f3f5uyb4K)s z?i|4Uej9aSYwqe&;TSt`|0}T5^kL`n$vki+><02$X-B;q36&JHUQU!fJD;GQdSF7z!n$_p)tat*D9ben*EcEW(@@7l?&~tH zVw&%HPsToo`JV64=V)Vp;Q;Q86YELIBYSq84F1Wq=k3)sk<>XKLLPbp?;n64#vJX; zW^wx&gk8gSA>5;zzF*$nI_W#?gx?SU<@KT+k6^ti%IbX#E6OT)Yzw~%to7p?u)B=r z$d|?~dP7GX8=& z4-;l1Q^>-|D3u&wPB~n45IID|O{NR_4cl4HRYnYl-_CdBza1z$MQodmpfqfi&baWT_+vFS7KRWVxFdWoL83*d-bIn+e)t1?D8DO%H3170fiCkFDR5nR<_au4_ z=LcAKGVCn(I6utfwAa69nM@;@;KfN(HQsME}RC&Pp@#!R~fzp{yk2{!cz!f~*C zLOn2YRY`FqwB)~cVO-I3=e3f=jq|TKK@M(P@k(NkIw0pI4rZ@=`buXRf2=%5{)xUE z(v{`K)^VuQsqVl$#5xRhYe4p2*q6L5P8A2E?;T_1$5K;vHz6FG*nfvkz6ou>wQfC@ z7(*&`*3&i*FJfJ?wi@#l$ZOAHO)~Qv*3~82Fy^0!ntxwp=GRgGnKl6S`=U%EJW{WA ztf95ru{E&g!Jf%?XeVxi`)=QW{=xkH5$n-L!@R3}v2(arO#3^BZ!R`<=81ltiS@?8 zx_xOdUueA@$$^Xz=1?f>^gkZNFC%O8MQS?bRcm||It}|+)Ok%G2W>Rg7;leJen|7@ zv4+Cb6VO$E&S$BcZiG4eeHh;`>y6Q#`!WKbdl@3==TpzU&iLK2?!cBU^??TELAIkQ z+YD=+mxN8*im$+bGk%M3aU6Jzg+myBypv&Kcwo*xZZ6CE|zDZtS98{8y}Lv7t?TgBf zZUp$HN!k}DkJ1f>!>q3`{s-$(ZKLTg+cPsBgZjkWdm+zcc041GV@+<>3Xa`&)pl!p z$uj;c^k+@}AUA}|sjKWZlIt4#xl19_Et z>SsjXxgoFZEcj{cz`cvb&LX@Eo;|BhxkPa$8{F;(y@5T7pWvfT>Ub>cn&<`Iq= zMxMX7tF}kmg977TN7>Z5U9Ro0=XSNeVExGY)YPR2`BmDDNOHlhE& z!N?C~mt(x_|L5Y)FjB@5)E68#QaeVDsOzXttjhpj>P^z#pkW?o?*fqikl$5^qy{?d(CX_9s?iGOxG^cUnCx<9;&_9xNibi*yJlRC9$Nw`c? z<_D(r-#9-fFBH~k`nx}#GaG3vli+8A}@ zFDy)5|21Hy|9c42yO8@H)Q#^LJxb=8;Ez4e^gY<`uD(QFZ5{Y*f3i>(BA9z)dUG$B zuaj`zsC7HnDMbeKT|phiq$$Q}&(L)g2orS!>RdDnqg;Ix>BD?!>kG;1Sjv#P2kYwH zCu7e7M=UlM*XZ3F3(q@1x{y&d+<*e}AZ`VjLY=YkLBC-V^f^UJzb2RgD$ zte+NnFn?2)qp~Q^tUWudxzuCXe!!gdCD)1NU_RB$^4fleF&`sm#O*tHrVP0+!p`Se zlwk_lFkiEbgiuDph+l6>2U|vMf9Zk`?mC3cZ6j0$Zy;?se#yE#4>%Wjb0soSu3FFKB z$NWRxi0R4l@#^3GI-JieM>HP{_lVgScnjvXeC}YHmHKTSWs@k+Ny0_{O#2JBx(c6$ zO~XZfZFtCQ8{W%n^UyBuL|cmU0opKzzmn@RH0*Y`=2+nh)H6wBp=DR)!M;F8I8&4> zsbk&o`vqt_wVX8LnPVQuV(yY*=+Hen>K!{jQXgVDVcF}jYx&<3nM#_ZiaYe2t&yE5 z|I~BfFY7TQclZq**62vu$FSvUhu5zARPScpl2{kiE4VHwD}*}d7Oq8MyP37Z%yF2! zV8s#PHevg%A2!N@alpHdyp<#kHSEl<_hMfQ%ggX`ukCz!_Asv&h(`)p{)lOYFm~zNVus!=(AIw4C&;6fM+DY z-Ho!AXJh0TZ^0}%FU9mnaNY~z`oxIH=#>+YMwDd;`J)ie=KaXgEA##5t=!M`dBhtF!5J7k>)?QF#u5!ZWgzop@3fm@CJ z2I!;TN-p~2%KazDlVr_5?figTtntUZzt0_jGWrPi6eI1M$wj)7`yP3+ABE=MGPneL zdxq>cehvb!G_-OKH~|@aFnZC+>IY8P#_r9=0vEgia%GQ9!rVB9yG{k=8%9`ag<_ZZg*yr(=G@E&7pf%j-f zv+aK4I&tTFu#3Ev%`k-i+YbZt6yPaW3guGRr`*EnLF-|a%k!k z=G{(bX&_EI{*|muoX528_3LxG=XGNpOEc1p<%a86>hPT7tYi5A ze*CM}u^bKm13IJ~7u3(m+C?qXny08MP}gI79Ld-EpzAg=ux^C>9;{=@g?vuJ6$tlI zqygFy>IH{u9m{BrMIxO{{1Cn)Sk{08`j5yfm3~NBX_-#1)9}x1q^vsC(aGe9G_}XY zyUp9ux&2YSn!32^&(xi}vrglb_mhulq>6*72LkIfoG~S5-39d+#;rT+F4n^?+&}2L zi-%#)=rU--PQ$a?e$zjgKf!euB`|l(k}dbcx$a`Q;}`m-PYevB&Ik|3aRzwqZ9Vt3 zo{zAekFuVRwVsDq&%>@FN=h4=4f%QDzdOpi~KF@kS-+I2#dY)!IPq&^g zx1O)Cp0BZJ%7%6{=D^km-YN*>-k>m z`K#9RW7hMN*7J9)=kHq2-?yHBXgxn?J-=W*zhphXV?F=Ldj4^G0 zD<4|VeXZvstmmVw=ONbfN!IhJ*7NDs^JxEh@EK*5{}_>lBFNuoOU9btKhE{oTP zwFeFy`2C~<_YDYTPRy(bq0sVo;6SLqhs}R^nT_6<8iS9Sn7JnGRb)O9_GUg6-VCKZ zqfqT;d$T-mR{u32Z+R&5349_ogoVHd?i&>9J#=+=ZAe`;?i|Yl&n8BehrBY(^3Cf1 zXvnLDZQ36Y>NP8KnOZ+^Uw-J+p^=xvq1;EqZ-qlIh9{$RXJkH`;jPZV;QQ8$%(pT^ zFK1-y=Tqs%fzTlD{;-D&MDNk?`+kH>{BrvT8#Af3Hy}s$jHP1&dKa> zkLH7OD--4iLg#qP5Qb%;f#^G~3L!l*{X8k#0no^#e&f?~PNphR18>PO|AR)1O!Ki(XxY0jyu zS{$!iSeMhhu(7eBsU=pELwnw3%~f;ZLC(Zx*g7X?BCJ(ZHMPX6Yh%rT&3L-DqN!na z)$Dj}yk!YqRW~oHsA`#ajyEIL;)e-LqytkLIm+vei#d~+LO^cdFB2c8|X|Vac})Jo^juB4ax=X zW2#{n_Zw^AKJNQ)uf_e2Ie3SA-dsH6&TjzUk9%Q@=k37#S=`^p9qTdh9pbMd^D~;B zw>-lOJ&KnTGriEPOmH*3@DAMH?S+}+-d@J6KAzW-<@IXp>-A}c!ZNEL?4uLbzrPn6 z*&pr?@WT5s2v~Wf7oLblbnqZAe8*9U!_i*v?4yzUvc1q-*`7D^STD332dLbCoR_&C z$_B=4GUg42J6JU`aR}byz5(~=hj_hmFsc3iFfVi8FfY6r1DX4Cyk7H0fHT4i^+$Rv zJITv<0{85b!95vvaUU}hZk^(VhMwYuA3X)}$MayM(Zo}|P{pYTKb|L_=7p|0%?p=d z5`5k$FSKlw7he4d&wKF`2qW&3^Sn?k3eRfXpTNE13@_uxGZ44YUg*Zrp7%2D`*FwN zL!tg-kQQUSP#Ny?aK91xWha)1NHQ5U&^ zWDJhT9dlX+qxhIRijTSbVISCvHCYB9A$RoE4EDo2uyv4N6f5%{#md|vCv!hW?kHXc zqj;ISAGd+6#|uXBGVf22JL^Nn3&qXchshm9&fpxmqv+u`uoXql+)?Dr9YxOEQQXWO zMa{uj0`T2`&hZ72;n!d6-CF~ z$IBf>$lxNmqu3aHmfTT%3`X%WcN8CUN3k(?C_d(1B6k!a{06q3CwCMhgHeRc9mU7o zQGCoD#mC%He9RqHzPVp0cN8W5TFu||pR@$h5=cuRErGNI(h^8ZAT5Ek1kw^nOCT+Q zv;@);NJ}6sfwTnD5=cuRErGNI(h^8ZAT5Ek1kw^nOCT+Qv;@);NJ}6sfwTnD5=cuR zErGNI(h^8ZAT5Ek1kw^nOCT+Qv;@);NJ}6sfwTnD5=cuRErGNI(h^8ZAT5Ek1kw^n zOCT+QZb={qws3TT$3p;c^np1y1UK{Z_y7CPdX4~*c`m_e0Ij|m|MCoh5DpM%$0quA zYz%L2#C0#OH*k#(dF|JSyzqM5@qwQ92f|)>V20OzO@zarcei7F>Szh=lT!nqT@B_Fa{k(7!K0<$1f3N+B z0dNP`V@KdR(re$0!%yxS%sr~mi+wMhPm--UlOGSBrmA>L^OWlH{QTGg zBQQ#)JnrYAK$=$NG_*6R(ZUUN|Rt?8?Vg*ETe3!isRaMJ#m^uUn)PL2N(* z#H#921aWNR!j|%Yc*L)+Y2)V9E^M9`%oW`tj&F|Dw=^w51gFm!8?{roC-g&#YFWV{ zgtxZ2+^_6{$=9`XKnfJ7LO-)K%;_>I3L6?@_2ttqVnK1r4yuaIMWuYcExw|;vHDn3 zRSPQ6s``fdIBKXVHB;-xjb$M#7+)K&kD>fmH`LEHiZ;gC!lGJ&22)OBLlEGZ<#XNG_e1g zpj6ieN?u_#nsM9bLPWmy&~lGe1PYs58fuc4AIiXK0F$&m5cBC-^x)vz?vZfJAP-uBtKGzycX>s$N)&LXHM$POQlP$M9mYZ ztcv~m5GqcJM0cv{+GZB|PAOQPv}UQUWW6#T^@?fMX0#Nej;f2-qiQtatDNGhO3Xu* zmD8k#?_OnXue`ly|^l>=T$~|LS-XWYOsyT>=>F3v@|W%^Yj(UaPY;PrdX^q)8ry@<}O|w zZHzTFH`F6^ElZ+{#_%mFr|N6bwp6Ofov4Q9X|ed+d9xc9Ho+#k6>)D}czj*MqS(}`=0tA| z_P-HM+I{<0I7N?bW4PG+VK~Fve+dp2+;9>8Ec+Dx+)<8*uLjI~{|fxMpRr2bnR`0C zu(1ZEs1&Lniq!O~n)t$I#^$eZ_0CUwURJ($XQ-gSit8oylWJ;8Q7_d}3*MPA4t-d3 zmlk<{%oy)GhUYydmAt=Z6hTj|xd11s($STf#Uk8>Mp*iCW~sL(v&{Q`uMBV3WQ6k%TQOM8FORcLHl0sb(PBTYQ$53% zR=H;r!M36-qJN(*2nGwey&eu=CfdA zX1@Go@WM{R>%H3hW7bt~iy%iY@Vs8gk9`WfU-bJZ`o-S<-ILr$X^Q{W|Bzd_{rxjD z-@S`s{#dl~y;&c(dhC6xUqmQXS^`6U>wU5L09dVkOQ*c4^&yZtjVpZE;C>88s3 z?fyogeHXOlOHe*{RU)si{wAuL%nxvKYxs(3-nn%ct6ChZUWoqKJk)BjChxuh82My6 zdAAIxt3tE2en6)8!7q_?=67e=jjv}s5gxiaG%~O9j_|5bOYO4IjxKkwDhm@$Qeb0#kjjcFM?cvUzODa7Lk;lYC^jvSo* zYUb9A$n&8w6DJlH=G9J|n1}y0xwVrA=jLt*4O|||&CMP-GCL=CWJ&Hwe9UO%&{dg* zgKI|S4W2kLH*f01itOyXyzK1C!dw{hU**Wbxshd|yrRO~`$KPqMrKbe$<8Y)$ypyN zdn%MSYj9p3T&yh2j*QHXR6Z4&2zXU?QTD{EYGxHq&B+^?J9y;A(DG2t`cU?=P;OyK z-i;-*#^mDt$XVHWGqWdF!n?9rBg+aGj~r8&v#M8K;h4O<+L;oNp;p*}fntzEjNW=2 z9E5anS*?Ok>H8Ibf0Hp)4WN{r{W-2;j1HsD# zPs9PUbpLL#|E%C%IFOg_eIWRD!Sj$pw7*$!tKbg>ug3wkG%v+LzT|HZe23tt1ph+t z`+|oY>xXYD4zeZx-+;+qFZdC`&kFvr*nd@U;c>owe2>xaW5A3r&n%~VO=7-P@Fp?$ z&hyRxD0rga?7_Z!iv?dPc)egu1(@*d5d5y-{y0#V{>?hx_kXeAe;2$#@N8S~kHdk^^_C0ZEgl~T>&JriSOz`W1n*@I#_^X0vPV?=*E%-*k!%ha1ZP+H_HP>L^J@fe6}(vR%u{^x zI|P4I@J7Ku6a1FoUZ?u@_X!>)xc{ZTe>Vu8CHNIaH7fcMGl%JS5+Df2QEsf^QW3q~JRRzbSaN;G+wC`MfLma$qB$t9<{zD)=qIe-b?K zYTtb9Sl@n;;Ohm?68wVTrv&#Y^zCmIe4*gTHNJam1P>LA?=_h4%oLn6&d2;V2lLnY zf(J)^JWudq!Ak|N7yN+WeS)7;{w$xLIo@}_Oz>F2^90`@_)ft;6}(pPQ4@Uri-JEb zcv+S2{*MIrpY7v|ihTQxg1;bmXti(t3t;AVeuISZJ*rsZFZeRSuM2)u@W2}1{vN>? z;xPPk&hq*EmI>YaPr>}A3Go|(i()>GobB6RE%;)=&kJ5E_9-<#{3e@ZaFxkCG^1TPc(jNsLRPd>-zzbyFQ1n184 z`MU*I3O?do-+rs$O9ZbHe6!$J1^--dQQUX$ZNXOw9#`VKw?^=MV5aBGg1;u_Q|J5q zHw8BeK6R4t1z#%oWx?8?SYGGzZxr(lf>r-3tM|=S|7#TdW3m6bU~O*;8+`lP-Zl!> z_I9&iZEs%|tnKYC!P?$tH~Q{rds`y-k{myNm4ZVfeB3Bl^^->htA6s7VAW4@7WnR~ zeo`h_^^-=ys-G+utoq5bf>l59ntbmF5RmGO zw~T0C^@Yg`eXROIi(u6k)(bxBJfvqPhNYMI_D2fl_nYY6c)|RR6Y&(m{GJo>Rf73l zC*lUd{Jsc@xQhaw&!c%tBOg898DnokjYmEfxd^ZQXWUm*BK!M6$K_oQfkkKp?Se_b%YFGch3 z3+8vGh%Hd=RMQfvqw$B|;No)=%tu<7??&Rf5f^{N z(;Rd1?-2gygs)inoG#&yH}Y+B^5?-5nmsOj#e7Hq$M69^-pIGj$zOenZ}y7t71KWX zLvit^eA}G-4Z{CW_==Uk+NUS@wmJDa9&|#vFF(b~XBhY+X83J$@^$>ELimc654G6* zly94puj5U#g|Arol@8xFC;$CZ{jl99e8tM|&jogO!$hG@20G*G(ldt2EyM?b<`GpSO zHaGDX|MzSB1uGxwllc)(!yg^*BqskV^c(s7$qRh>E9N`qA7l^nBPQQACx4mnFBQIG zhcbZFBN;-=W~86e8tKiwMxrgs(Ui-!>;-=O4?a`SDk*d^i8w=H%;qY;*FLi~kP@U$OF;hxj9&X4xkuU+0tiTHnD zV)}2JldtpD7YJXm@@Iw(J;Arl$sdDpP}=3UhbceB%HPTd{CK1PwmJDaKYs3XpRbrk z$;zK?PQK2kHws^|@}Gx0{1MZC+njuzf4@oiik0u?f7{%IALB-}`>cjvu=3sfqx1VT zCtv6H_X=NeD!y$_zODxtKEs!vV&%K_hiy*2t{<2qe8s8wwmJE_-r#ZJD^|X%zu4yF z>-vPh3tzGFYau88h^JZhiOJXX4A)jl{4owjGhWO;uKd-$@^$^gYT+wR#kbArzpj_q zCVa)pcjIrHldtP5`d;RTU$OGt@Z09(>w1hL;VVwXx6R4d^&3sXSFC(D{I)syo6CGz zuNS^z<<}q$_#>WX*(WAn*N40ze8n_p`sL!{kC=ShoP1qRl5@E)KgG&-^N(##zOFwx zL->l7KiT-+;lFK8zOGlP7QSNTyY;tiPQI>hxl{OxmG8#iHYZ=#!~8_}ic|4zbMkfl zOy5uW@>8t*4Nm-RbMke)&85Outo(rv-!>;-*XOJezGCGsclfqB`MREGukaNs-<6+j zPQI@HId7&Pf5oZzwmJE_Ug$RAD^`BC6MoyAd|hAkr0^9h-<6+jPQI>3`i<}vE1zYE zKjLYYePZ%;{nAOFmhyuPPcvTRy5U#*%GdQy3xuy&`8jZdKVtfCo6~$o0G5WuPzY2V&#`G@c0ok{I)syx?bxJ;VV|Y8-ClId|ltQ zUHFQX?}pztCtuft9e<@Cf5pmo)6X_1zZT;zw0ni{6)S%iAMoRC8vfYk zUoqb?>~8pNbMkfl+D_psR{l`9!5=aGx6R4d^=`wj^5d^q`Pq*CYMYa<>*KyCe8tKy zG`@HEZ<~{^>*?MWzGCGMcKEhA`MUlt^J+i*ij`mE@NIMQb-fk}^(zGCIO<<~YRU)M9=zRrGsl_aDMn ztbA8~wmJE_zVf!HFF(b~N4M7eh^JZhiOJXXm`Bd?`HE@IyywVo#vk!C%RVvry1sS5Y(M^rY0mU>>p$C^d|eNFrSKIi-z`73Ir+MN z_DSI@PQ|y)$=CI^eX**65oP1p`{G#v`E8q3sHYZ=#7k?;x#maa6x6R4d^~fj0{O~JQekJk{ zf5g))`^4ny`sD`UE2cTa?uOqsCtue)KPr61%6Hoz+noHN7wH zCBj#%{37FfhyS)Y`MO^G%feTz{6dFso0G5W%fBsr#maZ(Z<~{^>(M_HzGCIy@Az+< zldtR7XUz5GuUPqSIegokd|mJUHQ_5(zMFq-bMke4{CmPztbDip+2-Wydipcw`QcZr ze7F6#&B@pG_csY&vGPlt_}k{>>w5j)3SY7E-SFGywWk#Rr#ik0u?U)!8~-4D|^4<8`=HxHOxC8C}Q}~LNpX2y%o0Gp*_!rLim9yr zPQLDESRs7H%6H>$o0GqKrXT*7gs)inPdWbE=Ei^Y+iCZ#YyI$73Rb?GezrOJtzv(P z@D(e6mgB!|PQLEf_>S-uE8ngEZFBN z6TV{QyY-)KPQLCpStWeMsra@z`MN*lRpBdEzFU56bMkdR%YNZ2R(_?EezrOJy8k7w z&X>Pp;-_t!KEU$OEdj{mkf`MMwHA>k`lzFYs>=H%=C zo!!D$tb8~8wmJE_->10Vm!D$gyWzLZ$=Cfs^M$Wi`EL5z=H%;sqI-p}Sov=KVVje` z_A0;r_^t32E8lIuY;*E;ztR~Ee*6_HKhH@&+njve-?UKpik0t{Kiiyq-4FF$;VVwX zx6R4d{ZpYvKl}-da5L{fJmyFDrrGv^$=Cf>mkM7o?UV23AKRS#tr&Nq-OmeOvGQI0 z&o(Dt_j7F%zGCIO{@do{>;A9P7Wna3tb8~9ZFBN8yMu3=lfO^=KSlV8m7nAAZFBMm&+^^ASon&S@0LH?ocuE3uMoasXy z5l^%16O%u0mT&f5;VY&&xo-Kj&B?!0_~B+>eu|av>JPR#`D=wgUHFQX?}pztC;vs^ z-y?j*%HN1M@JBq&vQJFD?l;^ae8n`U-^+3FM@+tLPQLC>oZ8~YU$OFQ47-DGo0G5m z8Mg~xvGUhDeA}FS-T!#(Lf?PI%6IDz+njveFL{OV6)S(4wePl*ZJXBtb8~8wmJE_|1>Uq#mb-M_-~t&ulrTMAbiEjALH&wDdtb8~9ZFBN%VPIzV7E8u*8qQV&%K(XPc9+`+qMNzGCIO<=-|ZU-t{I6TV{QyYjcq z$=ChGzZ1S<<AFP|@b#maZ}AKRRK-S7OE@D(e+ z(h0w9PQLDsKH>&H{EC(D%Fi|@U-wft3SV(5zHLsv?!W$$@D(fHm7i@+zV6q4Mfi%9 zU*^Q$HYZ>AclSm`$N2-r%Ae)%ZFBN;Cb2;VV|Y8-ClIeBE#U zl<*ZRzt9Q4ZBD-KPv0wi#mYyuV1C5YEc?Xd>wfmpH~I2YOmoKFjlXS9zV3gYFMP$y zck6H4ocuKyx1!z0g|Aroo#HR{X->ZGuYXneij|)Od;Aekv+QSl#`8|iME?i%2F;EU ztoxl$6Ri84&l0Troi7%w`<-VA*8R@Sf_1<1?Sgf`^Sy#~zwwf1S3fBG3uL#!t z&hH4;{m%astoxmhy4jDP?sq;_u+fW z6)WG(f3`XKyD;uUyVnU{vGU#gZ<~`p7~>|id#CUfE8h*jZBD+P7x9Sj6{q6c=H%=7 z67LCLvGQvXHvWjGS@wy^*YhZ-(nC47BxBa!v$=CBM)(c;;@+ZO#{)p+nZBD+P zcQO7}-+#r*uQ2QmzHLsvo{zCv_==UE?eJ}L^7TB8qnG;rD^A6?&B@pEH|`U@V&%K( zZ<~{^=XHD_e8s8wwmJEFzQ@32e)ttD-;KX*PQIQ8GFkYFl|R&xpKVUQo*#0%@D(fH zEq}H-`Fh^SuZ6Ez`GXz*ZFBPVe3HKlU$OFQ9KLN%zMg0DiQ9bnDOUbShi{vcujilC z3SY7E-SoH3$=CBz9udA`<-75>&B@pERW=J>vGU#WXPc9+=dt`#_=;2UZFBPV{FbuY zefcR?zT5w?&B@pEUhWXSV&%K?v(3rZ^I_HsU$OG1I_YPdldtE={7LwVmG71x+njto zf99xv^W(2r`IV0UwmJEFUQLbg6)WE@KejpfdcMt*!dI+(SN^s+`Fb8s)^b1mic|4z zbMp24oGRffR=!()Y;*GUyq%v3U$OFC`P=5?>-jvTpY_A9SoyC1wmJEFp3gUguUPr6 z|F${#dj8MJpY#1!tbEsh+njtoFX&R?D^|Yizim#wo-foSe8tMIbn>5VPQIQ;^qlY& zE8h*jZBD+PU-S>*D^|W+f7#~b>v>0mS4jG`_-(!NmpS2A`!pwC&qumg_==V9)*rSx z`FftxGT|#$ev#w9ZEoU^aYx#HNcegllky84zM5}_efD4UyrJ!a^}L}!2u^k05Y_4< zL#+w@^BBQ;KF27*dY;8O1|z?W_QQLnVBL?tSg@WCbGKkUZ)c-mJ-_4kg7rM1Fe1$G z==naU3fA*BrV7^cE1C?3-i!poqj!&BJzwaDg7v(c*97Z%NqYtBc{KeY5c;qB`6&i> zoKI6CSkI5SQm~$f@J+#bzD1u5x`#YD&JW)Z!Fv9|83wl|_P@>%tovgh6s+qdURU!O zzI%O;_6)DCSIZS#d692EO|b5#-Y8ht{~zDW=j(pp+Xd_X-rl`^bKUQ`Qn2oi{ZO!; zM^n+mV>|N;O!26 z&A~ey{5ONWMED0D84T~q4lZ=?g%19dgX?^p$p1Gx_$~+E?cfI;{HTM!i}Jk^*Il^2 zi0fWl_u;x9*TcBJhie_K$8bG`>+86l#`S$%>v27f>l?T>sees!u1@k zALDu+*H3W0fa|BYUc~h?T>pvd30&XA^(3xu;o5-f=eV}w+K%fxxPF1_Wn90+^$M>4 z!u2a$zr*!=Tsv^>#PtTQH*vj%>kqj8i0f@!yKudO>s?&$;rbJ({t`gX?u%zs1!PIqimh%4!cTS6(^z#?oQ?pzN5y_mJpt z$9I(S#{@o)j2Pb>vrcYJOs_@1#%d^@SLk@bP$j+6|1rzyw@e6uNNgin4RmhUb(t{$e3 zFa=#re2lLn(uq&f{m*@N_>jIQEZ@0uKEl-LTTYCBa;t~>`QMNEBTpRxPJfWJ`(JbA z*H4puX~~l2$M&72Zhl?qUlA1dgQSP$`=cNKcfvYEbI9Kdi$*(tnJQ{NN0sb5^IF$^ z#80$$^MmP$4`Lp!Z=O3}QBL*^QM_|L?T2id{sMV<`U~VKK20khFi&U*(r7xLw@&)C z`|^Yi(G$}DmM@TZ{;Ko;OW$Ko)J^}_eIq&jf#d&gK5*R8{&!E;h%YYpzi3{h9~yS5 zt?oG^U+}iS?w#MQ`VLiB#re}`jE(Y(<7S*85fHR5SmE5$2o*OjY@UbDljC#C(=WoO z%zNxWQDZ}+&$naKJuxJjM1CPU0i-JL-dDp9jg?3=dYk~h$K4Bhf+PxEe)obqA>JHq zXpGgD+rsK57n!D^nO}Y87sG3->gVF);I;VvxPFVh$4NKNd~-YylE2cvD&sEExsk^b@@JJa%ogCXTP2$7e6(*Vw1jlvmeILD&n%*T(B(RZaLddi~s{ zg|YhX_XumyBec@uU*KD+{-<^}x{Pn&v)23?Hl^8fCcmcLQTZII_{P>%Ej~;R#e;?H zP($Q&Y>T4N+Ui)erE1F5C51%=6Y|TaE*XQXAir=zVbR#}g%bb@3yKSi$4@9I9#=kf zc7AzzVSQ|IOZj|TJ|Ekd04l`ksK@!{`!QiwW`ime|}T)X1oFn_H^tTc*sOI(tlc zdHFPCXg;GT1^q14iX7BnJsvMdOoPePm1VmU?3BLUCb~X$oiPfWjM1fSCxF2$)qSSp zXE!wuZBi>2jfvJ{a9GE+yQlLcR3)Qq1QwUQ@jOTIpo;L?JCOqil<+ zYU4F@hngYPuBw)XrshBunU4y#`_W?HYGP237FM@Jt6HMe{3?R|g#7XFtf87dMO&Jx z*oXuL)FC*?X@YUBVaXJ9ViqkbFJCkrU73o2#?-SAQhM}15J}VIwKPPlYHFHd&COQY zm6yXacxhGOQ}f42pb*1=)kRLg;8%4+T_c^0)kGVs;!Sq;4aVBf78u+@Z5Gs)3(y=p z&O~FivAQnAHZ=}KgY_Sp;<>RFiEEFt*;pvsiEM^2wZ!KxY*^UL%C@Bnx^7c>#YKx| zOo;mbjd*(Gej)OmDuF#B7FAa@R#nGamIPzfvs`dk94U@6f1_KaoeGHu3xShh2TS*H zbK*_SPCBJbcdJ7)H4bf(jb5^Z?%o)IjHgyFQe|GMGgJ_bRW-;1HPMEJEsYCXQjEu< zxsB!*H=xYNs_JGhoRg?W(1oiUgSu|U_-MsNC_*!e_XBmfFcOH8yE32R40u8Y^S%nP`gKhBRxA{A0ZXIwK9vK~dZy4I@E@(*dA1}RWi z{gGX<>j6LKx$!&Iz$yG{*c{6bO`m?^F z9x6_JQ5>C=_?#(hkrCVgtDGGVo9C(`)xHK27-~JVjLH@g%0RTSfjy@t@m1TbL(2PT z0Wm^Zi!rZ291byjC^rlropS;yP0}HSF&}}Xv(57wno>pnV=9F`YSj;0p$Mn~BDsG> z1pifqK3V(M_U@or`rwH)MC-|8|F;$i`VoS`GH!w2Q55`Z};?& zgEsr)nrfgv1&d`zTbRV~;4VT@z~n(N?hBh^(K%Jsu@+YJ! zUzJP!kgzzevzv)Px{8Zrz8>`;J1Nz^Bi-wj`!zjAgG~Rkp&lJu(+8b$p_#2hBo~!6 zq7}9phi*EI-cVxdE81M!a2=H6mU&ae*+oG&KWYcyASLOb`hSl^mLDzU_!%Wu*;G~E zTvg4P4XW2rY3y;~o^{-d(NXkWW!IhZ9~&*Vd+SC(M}9L9S#w4v^pq4H0}wp1P2c!gL16IZ}2BXI|=Bc#Z1)jB|2L7?P-~ z<48^*Hxx#r&5gD3mMAJMsDai%2vf^aa{Q4E_7>_O4y)+p_t1$%;;7Ejql%>fYv@|$ zHKF9z#_H#`%!|gFni^CK@{@ZiXA7p(`Bfoj&Bxlog=xG#rD@MfM-e=VatLt>dcZ6d zbtoV*%5+GvLj&J=SgX@)O>O7d8i^H>3<_&42fykd01?5sC{j#Isb-uGYnbeseo+EOhNt-%%(nf`mM1irY!DJaOIFu&tbh9g9S3ik9K@zB;` z?`aW%Hqxn-buGFSg>_0SrOcyNhPQga2nFhopaRn2zY}yjV|N)aqUtrh%Xp}n0juBRY z1l{E}2d>9iglUr6_}qF7>0`(wS|7VE&@fIdK$|K4W9^QaQlX_O7uL-PE|fzpTLFDE zppJIIPG@&VGf>*HtyzeOb8IBIH5Mi|6 z*eG8lWt3{BhC*BEZtYcK^O6u;r;J?4@J*R+RXeCM5SRSU<9}GKOHP)($V&6YdUbZG55%hSQ;ReKn)R8BI1 zQ?ISC(l&Y39grZqGg|XPSBuma2L~#P9yF2 z$^vz+pEbK*<)(&*fNoPd8XEVbNnJS01{DA_l z!@5tS-8)tf(&n)dko?@xWF}0Y6y-yEV}VOHWn}a-XN=@f{GguN6F*Yw0>Kzq>RNfC zj|7pV^6H>9hbzwROrY3-aA#5uIy~xn*sUe?AXPAmohMvPiLzpu7#4N>IcT^F{q1kv z^QC)5!fjW3G;)$4Yegf1!qj*SgFh*znvQq;CEwm-hQ#o}&aGAKRoIsm* z#vLXM5w5aEm(ID;P7j6SrVY zGJBncQjp&{ECmIfWzhLeVP~Nf7JFwds%koOPD5=?tf~3TCD)%hZ+`7{g|$oS$2Kh( z(>!iTw5h0I_PBA?*Nwq%ZvB~+XSUQejxN8vF?QkXvQM4ql}(*AV@Y#MtZp9Sr8w9l zzw47zx;WpXC&zgBV)zKV&J%lMy4A{c-ZE0V6~x_6RISEv6#2{~-1zx1R`BBA}E7_v)yqIH{iGi}Y^7^lri$F4Do6Yh9G9 zQ1W#FvUD@L-U%6C>Oyj!?36sPfI=?kNrJ?<<=O~k)iAKR@jdH z)y&I>V-G77=)>VmdMm6sI3XTr`q??L`%7In{jhzg8(Q7n)#w?S!U_dTVW5no&6B!q@kpCniCC7No!Xy)fQ-LPA9P>F3EDFkNt$&eCK%I z@%}2a#LSR0b0)iGQw*f0cjTsbu{SuqBiA~2 zDOG(QY!I+5?a)`2RJ-dz(mQgiqu7xZub-Q|-RUIzaxP0s@5to=5j~Te6#K3;l4J|H z4o5W;(4J&$xr@T~k*c*Wg9XT6ai3xjTVT6V zdK+?j8#0bZv~rTw5lS|^m2&1Uy$!j#Hil`^jt!;hZOEN>@8R^D9_;o_Hs)$puXozq zo8E@(pQ5eX*w9AGdKG7{ae5o_LAt8W<~3UvP3$mFQZXj$Wn0T^ewTQ zHoXm*TRFR@Sf#fi2itnAjp*3>Y7Wk*NN+<99Pw@~`?Dqxt!g14!Sps{bJ}*tKIZf` zLzyG%13?=&qmBco49lKt9NYX;x1L|Q}f(1 z=e+u8`&9n#SoM5}LhIO>-?4%rS!oi`T^oI`8A38`ctCBCFnG^WCvuy1D zuVq!zo*lFc{Xe-B%I&;$_n070ejom>|7Oq290(YaSJ`+M_PmV!UO3b9!uaQTSK*o| z<|lfgEjx0;UVp&{xwWc!sA*xn_xfM{K6_HluJ3>Fhu`PNOF!A?&0U|F^o0X^54>5m zXW%3KPdMZ8o7X=%v*Eejb2exGYTLGJ!PMgH(r0+ub*Bq`LlUn`@^IA3f_z^ z-TK~l|M>M|-udRuEB?~wuH9e!-tD0$vZh>naar-hAN=abpA|fL^?AQs9=qT(L(iz6 zac;%m8~-}(%EzxcdF~s7_O$I@{nvIGoKzH9{P+pKY5(1$4?NPh_$%`tU;UMm|N6_A@Wuae^Qz~L z{l(|z%s6M+*n2jfd)sY4sF?e$zaINc@yU;U=l2)>x}p5Y;<=4?O*`{9FTPlF-l%&^ zq6drrM>W6k7q8cT=jkiH_{y*TwC<{;U}4MUMinl z*1YDfL2v(R#h5>Ty?E^@!*>2|_0ON4{$AC*C1dZudF1oEhLlfh-T%!&^H;3sd+VBC zZC>3c`s-&d{pZ&=?fvX0Zte5Z4@-C6vussq@9F36{6R@x{pD}}VZo2zUU@?Gi6@0` z*i&5myJwcI%{XCjWyRSK)c)}DtNz^UFSBoY>9yGErs?fWxN4gY%213!QJ)4!?w?Ms(^=fnQlf7mc08vXofB*HDZ}`l*7x%vKg~#ecrRD$j=F{0< z-uU#zZU41>?Tb4$Zhdh73-{mitMS*LT>txHivINY{8zu&{O!DdKkAu5f8BZ3WgFUF z8M6Jd5#Doe|8w;Tw|`|q|7pWdZJzp_6R$eq=1WeEUVQfAWp55#dE@X;9@FRAU%b#b z_L8wTdjBUu0KWf=8Z|m$z^e literal 0 HcmV?d00001 diff --git a/tools/obtain-all-executables.bash b/tools/obtain-all-executables.bash new file mode 100755 index 0000000..ff9d7e3 --- /dev/null +++ b/tools/obtain-all-executables.bash @@ -0,0 +1,6 @@ +CMD="$(dirname "$(realpath "$0")")/obtain-executable.bash" + +# Download the two models and save them in the models directory + +"$CMD" minimal-viable-alteration models/minimal-viable-alteration +"$CMD" stick-probability models/stick-probability diff --git a/tools/obtain-executable.bash b/tools/obtain-executable.bash new file mode 100755 index 0000000..a52ac85 --- /dev/null +++ b/tools/obtain-executable.bash @@ -0,0 +1,15 @@ +#!/usr/bin/env bash + +GIT_REF=$1 +OUTPUT_PATH=$(realpath "$2") + +# Checkout in a temp directory so not to clutter anything out +cd "$(mktemp -d)" || exit +git clone ssh://git@git.joshuacoles.me:2222/joshuacoles/compb-dla-model.git . +git checkout "$GIT_REF" + +# Clean and then build +make clean && make all + +# Copy final executable to the specified output +cp ./run "$OUTPUT_PATH"