From 6d2a08123f253df4a28b1346605f440c55db18e4 Mon Sep 17 00:00:00 2001 From: Daniel Wang Date: Mon, 31 Dec 2018 00:02:42 -0500 Subject: [PATCH] add oadex whitepaper --- oedax.pdf | Bin 0 -> 47249 bytes oedax.tex | 148 +++++++++++++++++++++++++++++++++++++++++++ oedax_whitepaper.bib | 0 3 files changed, 148 insertions(+) create mode 100644 oedax.pdf create mode 100644 oedax.tex create mode 100644 oedax_whitepaper.bib diff --git a/oedax.pdf b/oedax.pdf new file mode 100644 index 0000000000000000000000000000000000000000..7102f729800833c1c5257593256feb851d23d19b GIT binary patch literal 47249 zcmb@tW02+D(kI$w+tuajvTfV8ZQIpl+qP|2m+f7)ZF~BidvDA+G0!`3;>P5M9s5IO zu87Q)zm@uv$P0_oFwn9$?m zXnZsHuBw1jjL32yGIb`{PT` z)X0(nU@Vv$FUSa<0R4Bypb4HgRKT$lW{V&5_QhL2CTq`Ls#rIZ+>OX1NmO2Ocq^`fB*`=;pa} zWve=j-Z?FGpp6v(TjeHDT2>6h9^CZOByb)Ro*q@gtGk6@5c^z;lT=w3vl8Ww)i?>+ zZdX6mAXC9zyS;0Pn6&Bh`3uuvjHQZ9;&{@xzU%&xRvX}^o5+`=vxh9njq`~)Gy+G2 zD4AKDaON>Ov&(%@s=O3=&Ka<*8+G8SMTfT^@8KM^v*e)gPPw2>X9P+Y3!}|LdvoqN zx1{3kPOFDt_tT0y=XEeVb>26kbMiwBMqEAa%X&A^`t!5|FeE1c+7B0|<3kmXat3Ns zzF4|ehc|QG46+GK1mX(f9S(M`*FhEHuFmg_#@<4>bFo z{dPJC+4Vf+I8)-WyoT>Q{m8os+k1t@<<5+CX+CkKHyy(F z(Cb^S=~Gv)q~DGJc0#-5<4Rl7Azqa>3I27of&ZTHCt8os)hBB>NBZs{STpWz>~l8M z&in>9x3_L8!3o&e;g&^|)$rGl^5~2dz&gELifqbEslAyyq~`P5!iP~UyTwH5&H~Lx z#3-g6ulYMCq<+b7lOO*p5URIr&?!R>CpysM;+)}{mgK0e43bbxHS2NVMnEpq1$?d& z&fzxGuSdt{-2h!zPwjT#&8T-%bRju+grA^mh{}L-v#tHw`Q|w5*^f_ivjugW4WP}u z{Jj2}Pc(GLBc36~Uy0|sZ3)sd3Aq}i9Cv;ReI zX!0@=|4AgBs8g-{u1k(Gkw9YN!a^5UFxXQ=6TKH=aguFAPt>=psZ&4yvumV@8K1e$ z&?OE^9~Z4!Eg`WP<^b0P_!w}ph&H>Jl%ZoxxUI-%DtV{;1MK`4U4XnxI|0jW66o;v zK?Aj>eT0+&5=FX`*i&SY;}VGmbzfVQvsCo-$r#m;wIxAJ!z{^RynNXl6sqL7Erwx> z#r<9aZijwV7DWMNfueSkLaQmPa<#vSk)q{^r(=YC18C|Wcc2jw^il1IMDXqYHFaX~ zLhS@g6~?ix6c(xniuNLEW22Qw@t1-nrx2sUt+Tm@cD2Wqf);Y- z{*&KsekNsUR889~L^K;v@XJK94!YRkht&q~8)!z7rN6$vtR#5Xdo(WHj@yCe2e{S` z*&nXT%}4_U{jp2Oi2ESBu9o%&fp`c>NUwRkow`KG+O+!5kVi6^+H13_p6$3*eFgQw z9#}*V>^vxAU}Nf_-p2NXtVEXd4aNGEF7}A2+Ow!&@)9%&*_YKNEPrfpu_DU*AuE6A zGMJIH5RwrE#|smNeENHwJqzRgA!p7H4jx{|pn0*84!D%0^4_=k1a)0@@lUbupOh=zMRGI(6x z+>gk>226g|uc6S%kW|v|wa(NeC+{P@2B<~S2-z<%IF6q>(qAkAATp1CdUweC$GJXL zD-jvv8D3jG4eN$LKGB0s0(af__4ut6a9n{~U_4X23H0w0DD&2!Fro4xCPn`|gaht8 zceV|$>x#yvdxOvkTCF>8?bO-~SIoXha_1(D4#s*xYnt6Hj`b9^WfInZ`;9qjM9w{o z_ZGEfz;MZZU8b;vaNW>-^zrT(9P3SZ7Ztn=_8xRA(_A5ZWQHA;p_?Z9_|=o3z)YjffA4A-wX(Pmcn_!k_~+$~5DsR|@)Z6s&z>Ni!w)1_wK^v-p@X ze)kD?mpg{?VAa>~7zRDGF)>b3iGy_ zU3-VAMKFl#;P0tMA)ZgIAFY@Y(Sn_8RLk+eN1Kb9TWU_SwP4x0mu6DO1TRB|1{mO* zY7ukX4_mgAICNxP3Ae@BUmt5fVsqP(kPDBd@l<*M5Y4sE0^7Z}b|dSB-3Gwl>sqyJ zy`Ems#a*uhoZ-`dkS)GTeiUJkSCN3WvU;F2UqeY~k+7M0e?Mux)x?abU!I3QvOx0B z>MC?&ui#+waQJ6cbHSD-*%XBeoknHlmXH{I)O|Iz0>C|;{ zR{LtQ`u6_wyG>2?rJWEXUeFU9dWro5A;N8VHWusxi?{%DhuuTunbR6-ZSMU(=VZ|Ft3lyV}RzFC35rJwc}2RYMA=K zbe=+C#{&;>#%Z6qNwf3fiT{ToqDbPcIQRVk=awPBjvI!=`;ogxfr!o0cYeq2#tq!t zzke~!H>~*_cbjV6!Xz6T?oSyXmPKO{!9pYbbd}h*xPy(f8~+aUsF5d#E6{(aI12iNFWWEFEC8R_Bsgz3ZI@ zq#NHkSPocGx9H(6Rz4w_s>oa3*IZnZDZDBTSryPbXIB}|X3maMFC5Y)K3N+e6P`$6 z1RkVeP!qOYv1j(e97c{3#IRpjTV}A+Ha16lcu7gi$^*~9jFu~lz3^uQ<=(38>w~BU z$T>QJ0J+3~^6a>PQmdR2fDcFS4_>0&0{iQPNL&ypu4z&#K^dSzHxQf#N}jFq+D|Xs zX#gA&B)~x3&wYcKn=a&um9$Tytrho-F8;d6m7yYH2f1#TNLi?NNsSXbIX`5gpxORX zUc;$tO9{E(9Va~(_X*2JGIIz{a-Ql>-@krC+x6ZTuLW_c%g&(R3c4&y^EmKMZwdA4 z-4agQ9HNgM#E6kgPQ5Yh=YTcaPiBw;F2{_BCBz02Vq8y7Gp$2OLx%A~htKM=B!9ie z`l-G}i0tCipOf^8)Eto?u~9ts8w&N{Sh9^qZmTQ54}YBQC!YN4!#9?XGqDSn+Q@wz zKg`!d8UwT}t#LDXw2BvnoxF{;s!qnca;75*BRDU>DOu)906*nY|0aV+W)Bdb@ ze}I*rxNid*&Mf#~5_mqBcGM3@e0Ci?#$@WH~t@UQ40GOZ`Bq<{l)XE_}%Ug-{Z}&#~#G6#F?2{vz95xd8VUEsFUQC)`h?B6_<}AH11G^T85ga$uW*b5ajx3 z;deU!H7esp6kIXs&mQ$^|LjkYqyd@_K)Q$u@xIgzPva38v}{yCO;i-9i+A#6IJj>E zDcYj(5b4#D4Av@QIJpg1OiG(^Cn;}iDEfsQuDD4$7PBU9 z?(-L>?ffL-c(LY~MS5@xAz=_c3$!sL_eWGsuaDzQ3vYQ=23Ty@N12qY_t3+C+{AG!zW8Ns$wc=SG$1W`mA8bOvX|FBdPnd+f^U(i*;$=m}XN?}1nUP|?rcsemWU;>GkR;05n2_7U$aHpA zs&1NPA+~<7bMMvOuIF(GM7e0yqQPzcRI$gl45^~4)KjYwLDxs>nd*5R;M4JGg5UO7 znqG>snWg`mrs;%i*MZ_2m^eFRnEK&n2Ab6&XS2q#39@JhV3(bDk8V@BzS{lBMUkb9 zp}N?I!5%}PXp z^N&C=(lanNpnja}ygRgbzskiNM!o0y=sichjznFjigfleEpA41r!_9PHM+2kTxVQu zOJ!$w`ptan-glS0zkf{J^;-GnqDNmoX{q|QKB+%%UR7?Yb=1yqHtj5(f@yUixL(g> z{AA~98fjlITCZQPpAIeD_|whYo*7u{{e^I>v3*}6n?Ccz<$(R}S);WvL3V$$kufzu zH8Nz#n;Uu`8V318OD0C=Dlq*|aP+#>m zpmH=E2w^Oaf#_qFin9{@QMrFI33nt1E{a|K!n$kWdsJjk^1~hiw>L*l_*rMk0y_(- zM%Y*&tWED$>fRW9Ms2rU=35Grhf}+>qrt#w1kv000;HX=hp3-UkFm5XAz@ZOPp~Ni zvUJW46LLIcSBOp-i5zQrL^m!o6NKo^;Wh;1kfxa3h#+{F{k~w|2%n-W3%%$PBL8)0 zqG4uh?sQ-oRC@Ddz>Y~+Ywlzb`odVHIaB8j7iKJjvVd03P{OV*gM~?18@H$nVj;iz zx@b)B%IB3_FdXiqgwhqcRI3W*T18GSY^%^uCA-pUfXFfDkW$z_=W`P0Q zo+yEg<{4_`i}jn$^5)8|9*=?n2h@{^8(P%f&jD}I*S#+V@;eBz17$rDImS_-zgx4fY&$mN~oAGztjE`15}eBKGA?i*NoIQgM8`@Sl(1pra^Tpbpj+ zgkmpLLI16r(m|W-gxfp~Q+9d7>$?fDwmlz0ng+pabDuv%J**fkX7ba9S-u)Yns|n}#3?B1lj@~eSsRz#%yd%$5)iMM@Gf`#HFH5zeyK%@OwIYZ)lyuMe z3h4til?~iNye=NNk?44U|Pl(ou0^L^+$5aYLEbSC_ix^)Y4Q z55st%7DA-Qf?*l! zJ@e&3e$9C`-ob>{`~b6}MXW^HFw0a>Kmex^rrx=)3TB-QgM}6x#`TMGQdpR_&+=tx zvgSd)r|~z-A374CpI++-8|*+SQ5;%asv1RqsH>$8{oR*`dMrzX$~0RA0qM(g#@d-g zK&yCVvYVdawyh@Jvgac^&#n62xyO%+!x$jTKHcebO0S;^?K*agFumVDtUUdR{vo88$Dmk-~B{d7sB9-#p_-v1Y2V_kM7d+Wzl;Vg8qD=f6iiCVG~C^Gm#z z)c^tN$o4&j_k}(!X|WCj;cPSNT^)?nJ5W@Pae#sX(~=z@T`>X*-AByv-LpDghf!&e z*kS2n6-2CPej8XR#>5XedMFiTmc4-2pT*fz0Mx_X=nOYb5X##<>XZzHaGnpzTaY%= zMb>_9L)xs7Le(t;8~)cyAnOzX=#WF4l0_yJm1r92$f75S_uF{H0J>wPW)YlW?K7M` zd7u5O6}{}xcBMj586^T`UoeyDbt=uvcDx>a~n%WV3+FTLd7MT!*~vJ7tbkwD=K%C@RV6AFR&sA4LP(zYTPC z64q@4>0v{zJtDMS=NW;EXC=|*mjVHixXf!1;(@0`0?5Ji)poszVx5@4MRZSgnfRrh z3tvS=#HXQ)1wdk)<(e>sIaNO#gEN&SQW906F(|r*{>UU;>9%|9gTy7t78ZA-ca_5X zdcMLjn`v+i%+9IC#JFm<$6JDoZ^Fql>3C6?^S!K}{jP*-w$Jpm&22iz`x_9Byrv`; z`2(_Mbi^J93q9?z@F9t3%&WF2g7b2GD<>D()Hzx{!J)4gn=Sgq9q~gZ%Rz~zj3uFc zasuj#%lXyzTm2fmvee9z!jeuGpyvDu6vQ|96VmPr%`AcxaJsT z!s868wDIt18U(luAx)F?ErR0==oG5uaRs)xW%|GGcoYFPaZlo*{8W?FG2$z=QOckd z>I8HML5a!g#r+x;CV6PCwSRf5B6226rZVqZ$qgHpwD6ZGJ^-tJf#=n=c#shp+rD@;<4jA2O#cZBc(V-TbB<7g*ClC)FX zYL3$IXbJjaOlzy<2m=oGobhic-I#<(#o5APz5+nT0UDhZ7U2LQn?+BU2_Y5yEqC{0 zba9!~Fo1g>oXm~Y1Hx8T;3P|2=T8}SL9+$S zB^)n1l=l}7zgt!=5iMT?A+C{h45ezu3|BkUZdzWnr#+DlG^w>%NA_gvMnEGjn&AW! zd;7pH@F2(;eGbH#b@TTh>3jEAp9u_zaHJZ=;3gt>UA)8NLvVEbadXdIh9PntY1)Wsp8=Y? zpj}Gu+xU(@Y8SJ3c+jhBIYmLck*TJcV}_h5B2V_>ABb^D+q(U5-4W!d7(Nx0K1wnk z_8C-0G@6DkH#kC(p204(@r&j_J&Tr>&ej3!?56yw>^UI|T_%D6twNyatAm@x8j}-F zYjuzIDQrF-tT-`N zp#z#_;x;6m7zKU=$xTKEz{7)^on~;`_2!oWe@y8lUP#8P{&%nMk-UMaS z@ihXGg;k7sV_{=nV&!Sh_$B#rRyW9fKJxIJRw0edSfdnNn_D^aZ@5F-&;Wb`$5gX|@H+)RhJ>N;&nnfsno4wrN9e(C#p?};yW zV4+zQ6<@3B>Zc=)z@nvWh%8p76K??_B%0(!wb+wnnl$iP% zHU^iAuQ`3O?a2m{tK<)&;)Mh6c|l)E;;+69Nn*P?qak|=5vDhSe%sGc!s%Qrct2sG zpz-j|Ap2t$va>gqE~uMCnW!wdhJa5@u&KVldy3=0u1Ch)3rm`5FgN;E%E$<1jL}_n zkA79WuDt3(3U&Kz)QSfxr_HU{tj(UN-7qro;tM%55KAOsaVj~0>=mam;mBG3jGK5< zcpP#AZ?X0vKR6S2Q*(1uEBiYb=?BTk;c+wC@h+7rk7{vJj8xN%U4~qY#PW^utzZeMEm^tWK z{}0nGHdgk3D_bu;AiT8}yT3WyB=6?yoJ}T#2Gkm8Ruf1x?pkm>uHA#!r|ax-)(K;9 zN78>?{2-}<2olQ&3xEkyI758W{T5tJTAWWvNzvK4#jGv%N%`*eBH=J-y79m_-?o~0 zKKHtQj`AA5&U)uM9)%(+;t8rJ71QG zmKDZdPmD(V{GqKDZM#x0`@Y0W{#!3Hu8*4)S>t_7MQ+1i{>kFTS09$>#nuzGU(v(E z2!&~V72{MD@*6#Wlj$dEDDisG<}0Mm5?L@A(RyjWX)h6lu72_Z}${)tm+~Khj9&^S+x3a@*Qk>=mc*8U0N*mMfZTUNr=w@)Lvg2c$AYsGs7Sl0jW!#HCs4DqvZF~kU8mt zOHnX-Mcos(s*9t-w=hADRgIEK*h2l;((@*47fnk^#{|jp9gdWIiYRRn+WV}f_U3#y zkAeBa24)R#Y4k{wABvMs;HB*bRlc;F?U;-+>BL4y95}ii8-~Bdx-DWFXwnOJ=h>Ij z*9kgoXqlPybBqWnnVCl<%6B9|ABAbRAl zfG8X2{YZOsB6}Q19|dZZI4(lhL2r1IFta#;wLy4e>sF)ev{O+R*PYwptNQU-izZnVS+UsjJ z4rHbIjUPxn6UPZzB^=34c>*tt942uQ?8TVBF8U*`wFu)lNbyMa&#=?Jsin;TsI#W_HViiwhDLPu$=p|GM`3MrT|F1)Q_<4W-hw{1@Rtu?(?kAN z9Fx^&w2ND?ng`P=F9DP+_XQgeu;-*yTik#LbiBx8dT%-BEZok=ZFVa5nY9)}NGSz5 zZys^#)}N(l+4jY1D`Dwd@bENgYFt>lDRy8;<9TiA3rKiKR_y57KG99lg#~rqe)e%^ zU|C7!+gI?eRM@{1PRZDSv{~8GzMU4vDoQ{rIVo#sjj^CMq=UU+WPipKUE-T7CN?Q_ zxHoLJh-O$ZJJM=P@QHgFpg9)eDI#uR^mJ<1~F;RUjpwF@K|8ksNJGHjn=E?Ou@#kcn-`9pd8TH4r;$|7aw z2yl`4=skX~1|!1`2B)#R!NZ)YS0QWf8tBaKaKg4EYv@|n(uAWqI_VTDFF{*-+qCuJ z%-#g}-%G!#a@tTfH}vmbRjD{9weEcklcXxCMH@JnhcozWpHuQgDnB+u#^prz1#qQ=}1XT{spFB!G0H?BXl>=sy42F6)w^K)IUlEC~Fmw1q5dL^W z(|-8(L_hV_5d7f!tx~6D1#`%DaPoE;FF&i>E^7Vv(v2onF;H+3pXDT1mFUC^A%L+E z=1$Xf{vHTWdvou;dbvp0+wn@Fi8!QFw+oaorb_PB?j&ZlYPc-`?7uiC*wp-f4V!|3 zu`Gf*O*Pdi2N{P{HljcbS~dva^e$#S>&Sh8n{wS=^I5H!^D9itTKh%&y7aWe8&os#0#BwC5M>k6&NUe4C z6*Mi@WG$-|wWXQg$m2S+%l+SxInSJNZ|IvvNFhn<8RAIoUb{>SGi~%RR>mPN{O8*6 z(^&r9^ht5`dxM;Xdi_+5esag;uu%YswuZ+-MMevbpD!gfTr|vfDT3nlz%&a!S}3ff z3uyxvC@Tlu`tGPq%ej0+*;Eo=s|Q`eXWW5**WCf+Xd(zWatO=q?chgeNTl2kh$jnc z0Lu2Yx>JZ{;ThK9sZmTud1Lai9ah)w$DQdJPUU^m30;macCO@YrTW?CQhfXp-^GVb zH`%7oF>|r@kP#4-TBUNO2jv?rI-+Ph492|M9NG^4N4~U)mikC!NJbXpTpE=pboQ%t zcbF!-%nCV;or4^d)q=tG@%jbKpc-CGDlu}6pl1$TDcjM8!yKw_HJ@y*pGlShfNW+`-&z6nC?1WyF~ zP+5bCSF%bWC2jFJr%F1WNxWTIr#h2kV}V$>+x?~Y$`~2RX;Pi88*P`Up2RT$&!pLK8u&3mf+A6YZEu019N{y>3wY<&pz*SwSBmoO}SKd`Iz_?2TRBs7I%>|wDRSv zQbkwiMEIXSRMCyUJ{dBUZAQcrRm>@oN_4;3A` z9kYndI z9KNk69>2n`B+n|Mo_BFo{7^hpwaZpV?XEKluH8Ur*^P7A)qHd1Wb*~S5YpNe?xav= z;chING;h|N7ZKBpJ&`^|;o^>9t*>Np%xZHSA8CmIQtoWhx};QCZqbBcrjS}&)Yc2t z^_@wtu-3qw$-a$0*>X4)=(=DZN3*z}En=*4Lob@h6E-4Gbang*}S5zWxC# z&c7Bm3KP5|2P^$ywENH{bB!WNvzk<#bQr@9!(nFc0BbY9L?U022oa~bqR?YpF*Hp7 zh%py2qUQ45b}WzdIGIqD*kVzYs1?Oz6usOKubELpjyXl8IrZwKk^%L)#m>Nh?SuS& zOgHsx8S(MhuA=J|Nu*|91bOM|7i}4R_8{n#U6aYgdUi_M@X za3nREQMp3b>F>}8-r06zC0t7@qiU*p-j}nDUMg4WT_NQ|N)Dj{Mk4~7qMC5T)*)r> z5{=c%vj(?3YR$TvMlH2erc!?0DDWuy`n%{_?aul>{8l4tsb?rVm!zHwpdm@KQqa0H zU(4uXE$`tG4=*0+>|#w(s(F_%(DzHM$3SI3F$F)W2dr}dI_-O|)o}Ua>xyw%veX$VdkQ& zgc+&@8_}@0zjahvWok9awNDu=94*B%iN!7PzVc4NVu#7Zrsa}G)pOc??MhMmM>64t zrxciPQ{P4HL^S+WMZqmZE5+lK7SUld{$kRDlGe3RVnQM_Qg^%*mT4IVzNX&gb6G4_ z8)oTef`L*@@hw9#t=AuRzMSNE3poTHz)D5w;9Yu+%`Vm(R0pOjK73JUHtRt} z6+G|JM6t?L;);p*)FIrB0^0ryIx(c=8MM{!Y_T8T0!Hcbn0|hOmpLCwSMDTLSg#&p z3n)4gDsrC$O`?sKuk9~qCleMvDoTLoNK1_)4bs*XX=e-+?+~bCN1+pHHyGT%$s`Rbh}-W?rJPJR%T8p>ieJoH11ZqbJJF#)M|Ng)-wXMv(6dl=%(%mJxWmF>uyi4 zB59z3*qw)6OBk5Ujbca%@Q5c*oMk?w7*X zaK1)q>h4o1nPz5%ocLrz*Bpd8so<*Vi`1+SmhNYFta&PFhzXxgv!%{a6!56^6&v|F z5pZX9b&q9adLR9UuWo1X`r_zr_%qoknkZpMQ9b%w#}(tc*$nVD6^v$JqNpyh8S?52 zb~VyfO6aMRzfk0g-YCkn#rbV&#%Fsys`fyYO5qiuo;7HpGdI`mhG1F(Fq{&Yd~|r( zGQgusQ+{@;Bkp0ro&so0d6n5pxhdGvdunP#X7u4?uSKq+eBEK4zg9= z?LL%^g)kf`4D=t?T`S@|YMDcviRk15H>Vl3uti*|WN!h-#${2MYTPH03mG%s14a#< z%TzQt&QL2g$q*bq&ZBHd5WKo0A+#i<@U8cD5cTXP>q$t+X>dLDC}1Gs3AkNuL2#-3 zcKQl^)%G$XEs&UkumS&zVEZ8|ZERKD=QZCjF zRj%6{)gDqM+C7$p)=NmaMPglZecehdBl>WGauR z`=AknPIt4{_&I%WNd@$M6x@Pz$oXplYzo@OOedpzhvH6Qt(wa5U5}&6vQb-Y>G4Gl z-s*GPpJ#1Rh#hCuaM$r3Gm+88uHl`M(2Bv~Y$S*Ej{SR6QMW^xv;`5Z48?;v<+a0Y*j%s}Yk^{wgV8>= zo|1?b5whf$!(hD!qk5Ev;S#+EyVH3~7l3O-sD|9cRjB4jIhRu6j7AG-huzfp$+Z>q z{TYRcYINRlBn(WX%vV#M&`;|+(@v&O-r#)P-j-UjbeQhT9m+=cVv6e`B3WGP(J9xT zwYIHmnUz(r`&-xg8gn|Tae6r&21QI73ptXXU8DJ~$$ePD#b*klt=(a0_So%%6BR6$ zpW$hte`Ly!`ZuHr-#Rv{R8+#E)^4<8R<+XF{l13!u(>sLa{xG_;zvy`NsI^KIqJGq z`#8G8X|c~PhIlcYQVc)2$Hp1AvT4zQajaAD@$iNh0;HHV4bR8X9)jzx4#&P@PsIYu zNPdNQK1!!;@o*Ty8d5Eaczbo){UnQjD+=!Gcbxx?xbTY;z@LWLE4Ztx{=j(AW<7@7+o!sw=#V zV^yZY!DrPsR3M#GMsO_goT!ml*<{vN)RDfG>dpkKWBA~oZ)J0j*&*4T^jTxLcBxrxa&5}1_jk?(=dbl zwN29cJMMqdjn+};e+dMAdmd0he!D5{68-x1>jPQuMYHFbuh5Z;@UJ9Bxu)35%85{5lO)CJU&LkF2c>n73~tgvmg zWopGdrTvV+mu`otLRn`4>4B**-=E8vB!zrKEWt@>;a1qrlG;q-(fc+7)bmDO+D>t$ zj5Qube;ysG`8hZ6mL-dZZe0!0kZ(%bWCLE9_BpXg_NDeY!HRdS_{|7lK=DUfhgn3S z&j#B#Gv^ zD^Dpk$R<42OsZ4%QztY*G(}>^G^tYgXsoic%sQ(U4&7#wngy0H#yEv)&LuU>CT`gz zG?A>1brNJ%$8HgV$Vy$MV`F2c((XfHCUs*+&KW~Th<=K>#mLw)Jjd8&U92;(7+(Fv z!dqu=H*j1!1U~HYKqG8QEXSJrEptEC@i?zl}-{Nd&X=|GBb9b2pM(e zR<@wMMe|xpiE^jPk4eyvCzDs+izOpX*z0>4z*%j3690@pMY^AKHohDcHhycHIvR7? zZi-h#A#`wb=451H<+ZlO37@q7JuG<(waI}+WmDwi&5Vwcla-dXVXh1NY`X?bqi$8h z^|W#tU%elnemfSO`LmRGprH&uHcHku%KBuRotL}abx^z2VgEpyTF%|u(|zFBup>V& zn#qVbbA-*0*3;P2+wpRa!H0O=Y_eM^e)l%I5I6BB8CzfwsrXzY!pzsmMQCI0lrQu9 z^o3TV-Hb1zm;TdpYt`cHnvS>I{Ku#W5-QzC_vX<7y_sk$|`lLXMc_mpXhm!#jgE z{?r%7#$i^dsh;QK)p@S(!Rx1-_Tz=n^Tz#4=?vfdvY{whpAwPDBtnbT|JiVdfWUaOTK$f(_^nIA@p>(^;B4uifrqdlo`y zHhyp7u7w}B2D6WOsr)_kLFWYB=zD^QYF=SBORURi{)OoF9NGfnko?00#?--4ypZpN zg$Vt+kZSxnjBS$qorF^$7PjJ4z?T8fe+cas(7K?x2pS<%(HK_<=Agq(XLm{+ zXuI@7?BP*Uz#K>+&4j$s2TcUoLHg74z-GZ`Ma5AFV6A>tF#=BqN@q`^3bMmFL!TJWQsn&&Lw>T~ssXD0ssTp=PI(@)RU5y#=;2R;zzlNU?M!n% zVV=#7=q}6vxn*4R&@NC4yRjR741UIZyS%2n#e4>Q1z$>@r#`y~{ak=`fLDKKzZM`< z5pW%}4INsp)~?4?+fZxYTi`d=)&CXXmHrC$j{Hn?kNnR442-Mkp5r6)5`E)zrg6pb zrtySzWpRY{L~$i?MDYZ5=1`uN3mprIpnzci%!DwHQ1|TkJonu2Ebr#z#^BcIX5Y%> zHt$x~s?ciRI^W9w{+)YM_k(Uz8n@`EEVC_lmaU$z#P+~e-`2QxAD(`BVYz6ml&mv*ZQQ1?wSj5F)D(ti;0iqk zqoiDB1GQ0NyiGuzE=r*gz-bwzH4znrzG6Vxk1K`1faD6-nxQdJa{!*M@*wHzuO)y` zH&MPH!udn0Krp=x@r~~SwOKX!RjbyDCr43|l0GG{!v*s)+2cB?EQ}q*SK)k%@ZN44r|S;rDKX3S1LEkdx$8CQw$oio zg?{;FvlIjWhq3a1w4llQZ+n17`j}va`lwL>KtOOH2GB6cICT8~gO79U&4mrSbZze1 zw(WM;wr$(Cy=&XHZM%1E+vfYshe>8K$^3)!%avR?)>;R=Fs7tZO@Du&au{yENHR5K z<`|(YXl&+yP{$1J-qYz{9*Q7ia3HIGkca>G2)6&D7x%xjZ6-!m4yONKxXsMS!TNul z72^ZxfeQemFS>1M&b>DKG>VY7E4gB$jl0XV( zp{}(1#IYJvN7y$$w=}=e@tuE($MpLm609a#sn%+JNRt2Ai6l5Y74d`b?e~HDggSUa z^266^vYSFUM}DIB+Yv@m|9zQmQlrg6mokSEimaGhrQ2*MxJ7?p2GJQg_?%i{&~BUb zco>qucmCr3rU+753HUEUzHR#R`)8PKgvAr-_nUzqG%P>hqbZyaao7cZ>7Gx`2Z_ZC z5+V}4FoqM69(P?x2La;%Ss_H;7oJy^zx0R0=ie|F81QPM|5%YISOVJ{ykXyfKf?R# zzU5Kr{?MC^4Kc^QeZ7|neK&#-u@q?}j1hVRu0H~Ex^Mq97`EWNQK}%LLe3mkWl^h5 zuR+rREcZWEf_$BMBW5sop!)zp8Ab&;G1!$#asyg0EL4Eq=xTx+%QYFDnU8!kuE@X~ zD5=aH0VDme@ET@()J);J5C;7tN7Ez!+aBmcG_#tM37mvbY9{tP7b@WV%)ea?_LAqq z)o=aJ8-YAaRW?DEt|d}z^}ME_7~SN#?*x95+=cF-W1;ty%bkO6wbeSdz>rW`7zz`6c^Eg;j**W(G_TczuS%AtKXF|b(FwETat5DLp$ zh)zYskzkl66JpEZ-2H2;=V0Gz+LG-W26_fGe;FdpfuvD){(8XyPHiF>{sZ3(@Y4QX z|NK<+8UB?ULD4g$x3OJdrN3V^mTz9iZ#VdHz3<#Wv36j8{l^Y~raTBgq>DrMlPNfF z6>Rw~*&UQGgtcLF+e$e!UC9TwGP5t;^A0&OtmiU&^5yl~jjkid8iiif7c7#Wy=)s5 zTl=(cn1+OIqlMBt0o0T5q0}%5Dk>#K`jL2n@rl5`MDXgUldJoH{KwCGy-03c%yEyjE$ed+-x&dM$Jdye z2zliGvLX>S=Xh|7q^0NNsm`?lDT%|(Z0KSFa2`adnj$&CZ%`D}>ZHM*aSfmmLd>M{ zexuv$TQ#_YiG#ma&mj-HOE0bWURl#v^jea7Gfqv`x~PS8lcr6Dwzzex@>N$5yNYr; zG&i7lyJNxjiZ^uA7A_PZ5ZYG?7_FW2<3b)mUljYJ>=?u+<*CM4Ex3K9*8mOp`u(@) zlY_STH=qk#NO9LO6%|mE7A&#wg7e^#VhnWa)=Hply+oUJhUY#AGiOKc8h!yBYr$*DW#qXo- zQtL}zK;r-s>$yy;%*#aPLzG37nY-P#*Gw*76mmw5(7I+#+v@`c&{>(KRC&}5LJ;tz zIEU-fRSSR(rr@#a#(~m?9Qi=pON50Q+ zS?F&2BIRH{ssEoUKp0;SCyZ97L5-6$#iez47p6%NBj%-#a)`GH6Cmp&_81geu5yI3n5Fm=D`NSK zjF0YDEC>A}yB2Gm+k5l|Q+bFD&`E-uss|z#ygI-Hykp%-+|$hDlM*vTwq&rfwP0SO z$1TXKrn1R1VRMnx=|f@MFJ7lyyLJi54V>wzcYMj8y#uV<7Q0%PKa_al}r+)^h%tYQ#w6Dxhk023PZ_TMFm-qS;Pqu zu!b1j_qMjOOy_d$dB#Q%d@_NtL@hxZhS5oAIepk9HI{t&`)`2awGav|*jOxYg%tRv zFsAeZEN$lS0x4`gs?6JC&4%>au4V7ARhWAFQ!KGaD3yU(TH1wqN>|EuoKs-Q;4J}E zJFes=yn|L#63Nt7?Mi85bhC86K!W)j!;*|dCqcGZooQE@79O#8VF2b>uL<6tpSM@* z8b(S5(f~Z#_i97V3^;MmF6}ZDIN*ow7s0Em@Y8A$v%m_eo)B45P7(?U;*=s+K3MF# zM;%Zj6jq_dp56y;ezr6Ab{aT4h8K;|rsdUK$s~lHhce6SVnKBH^^N7*PpcxpmC$2dhqgx zTt<69LOGR&2;ZSa*;yS@N5cN^N-~d`y%8lxfa4F{MoIY6Mo6w^z%(nFUyy4Pt>354 zm50xQYdsE;^mJ0eT5RC;HGuVUo=I2tbh!0brqHUq&hdb>06_!u_k`EkX8Zn zSLAY*wytD8VQSUXBC{B&%Yw3O%dgjN>KQ`^i2i(Q{mlN(nZ3&(`J2U!4aDv(_I<)G zc-D88_AdNoU{WGbOkua&Fgr6r^iJ)ekMjh<(m7u$cCZiu?TeaH@m>P@E`}J*=0Ws) z@~syYvx^}JJjxy}7KXsPE0i+doIrK98~h79yH}KpmPHtV&N2E=T&-wVe^Khwgj@*% z9fCezqYNMZs{Qy46c%_qh$WS(Ez77tuPX`qqgEi`@6Zc*X6z%@JTf^36BN_ct9?Sr zMHfPpj4A#8w9G3$B~&~=e&Cu@Mmk0LlQOL&i-p5`H3SBoD!*go&SiR{o8*Mx>xtTa z3(g@@LiWE1Oa7my1gtwZ+_}m~?85uy2s^q0!)r<8VAR9U^c~AEctE<@9SLanYz>sdpyXi|W36&IDqRit{ST;?li zs(=2(umxU8zfVqQzYL%bHMCAOqD83sA$(2V2IMLIMBMv2m~i``7<_e|jt2E~;G3H*K$Tf5sX()RN zwsZb+8l+2c7gj`H4BoZ4UpAq0i11^)7nJk-C8Gk?vn|)-9;VAZF12#IDbL63;k$$V z`$JKhO@f({s4;In z3#;|R`tQkbc3xP785xB`R^lIs(gU$fdIvcO(vL+?iu<)ix3t4IlJ4#AuhRFAZLw@e zpk%;Sy?R$ExnnbLH~6(weT@7&46+3Q z&!jTa(#i^P=oLXx(C|gVkDlu19xdH#AjOcGT}smN;@@iLJvd2LXYTvL`n*^&JRUQ} z_a6p5`RJEPeRiVXi*+yD7x9f>H$ui7a+&}3Ei(9{pbplp;+FC-8$`{2fhf^S)#sh` z5&kgnXPcbx2gGO(h+rqTlyh{&A82Kj$%1nY7w&`h0byPeHC;Grs-I{Diaba z`G@7zvg(*zR!ye;N9)`p$n#_W%erQghH&8T@t|^GmK4V zji}l}+2conRqK|QK>?kIbV>pl0~PB>3<6c*s;pW6R*aJb z#vsrfilIhvpQW5TTwX`+JRD-sGia8n7ZzhlK;nLJsH!oyYcaqci(xV!SU;`=Oy z7)O*^FCo5MA##>EHwnGfT=+BUs>>C6VQnTqJ$7_RHuq`P{6iw)6vMACe_vxM@(Uam z^et+QU8to+SVPR6K#cMjbFhuVpMg;3#mR=0mFT3I&*`lsqtt&iib*ur$nQQnDhxlc zyAn*93L#a`y_(kLAL&eZlTQMD!XCN?QmfNW=~%#I>M!iEB06)h#thnnO+iZ?Z0+;! z7I2DH50Zh)NQT>e%+?99`kythqaksGIQwCDs|39DYD#2IuP~Ky-Pbqg~56Zk_{KOJ2DBr_`Ou=h1 zSM$XjhH~OXUUG+5MIpL}Enz{Xs4#o03#676or(_vnTSHbba?1k#}d=&BB~T2itHyc z^F#OivCHmEc6{KM{qEb`C9q!#=fn*AU?qmz+(5*m=guusmGCbQ)y71yM+c+rTiZuDaV%kZaLx1*Sq9`LpI3X*Pbc04olGgMN~wf#Tlux{XV$0~i}T|aWN7@^FenZyqCK4l;} z%PRN4k14jcF^UWvp_rA8SA{D-gnoTL40}#ryvnUrEdnuo)#q%4ZL%Zui7nLexOQ0= zMO>pUcH+?=qcEmJ@V3eg0^|`!SGmx6!L%n6f<{9j<)sP6Y`LPaegF%Qo}jtk{JKnhZ)DMtPS=hv z@y&mncS=NQe(WkUPEy(qBf+3C;G`x%I!+l8~h3&d}3y))?R~3KeZg=Rv zVXL}I;=*O9Mcp~ZY2QPNs*-M}hS=w41A*flfgiq6OK&HIKRQP%>19M+;n|+eDfn{} z*f2eG-{7%-E zSf;G#@nRHkO`Tp$VCW*=Uwc~+$*3|z_GwP?7M=+^Mlu}Es&&W>6`v2=NFWVJ-XE3X zTF&a=lfGS{tqtNLJ<~GfL%7r)k{HP-0Ws>3h7|2%Maq=}RZ?u8$>{$S1$`^*iuAOa z1I)=*JDU1W+0Z(gognLJ{8f7)xs%IS`Lp}GFSsNQI5$I1#Z&C=2@d_w2v#R-?5a12 zgk7vYS~0QrlHlsDz)gfgCiP^iX2an9-=3bp7iX5dHG?G|uqAvwN&ci{-O95w20b9| zO;cj{wL>zUntwc*%@yEj_~P45mHeDucy3M2g;0f|hcwr;!ZZCQS(~NzojCb_S6zf3 zl4$Rt9MwgbsTN5YaF!SB8z|a~CAq$DQO%Y<0WA$zl2-!7{|kzYMbOjNzb0t@kG*?6 zbdeuR*GvL+f7LZZnuu2B9H+oi0asJo50Z3q^!O%dQan86{w1PaaEeuY=<09C`*zN3 z{*s^DN3P~W{H?GyT%Xy@>e3Wjzi>8G!MCm%d?;l?*N$yi8yiN&6*WVFjVO6L@Mz3l z*)mxerD(Xd;pe7uwZr?*z6$Zj2KI-V?b}#v;DQoiVIv!yZk_kbkv3Xl^zJ`_pYEhM zDkI$_Ksuur>{ERuwt?E_gDzmwcx3O>rcjuj+FIfP+=DvKe5z^Pk2dUtJo2`jhGC3; z=qGp-*K~gBybAUj)#K^P^Jm~_ef27XV7-YVh)LhW1gjeoMoX>``0+DRGtz*G26o>n=;MID zdcd3vhB`!640pvvCmPLjw*{oTiXP4$m*R{k?r6PxPv)Zm=C|;KQyA7e?r*@SrpUv? zy-Z5KD}oAUw^QSG(bwaXL6amqeeEUC@V@cZfqR+p`%gb*DXetvAIGrb3~9d=FQ*IC0cCch+<9H8V4xLNjo$ z>s$$9nZBnB<;;fx6H}@X63|SSN5x~8B09=q@8{uKGx9asN}j)${<5PYR?&Gl#E|(caX+nrGW5rR_Qql%ol$n6i!5*N*uwI&zBb zlz)Ak1dGz+4C=f<6-R<8O2U<=P|`{Lv%t+u0TSxX2ase&qm+0>~yVdW;3RX=n5bIkace3D5I_ZK!H#}Nm`9{f)!IuDRM8! z{CbMdyRy||C13ki;M)+hKyt}B<#NDY*+rciNrvJ51d)cL(aC8##_&cuhUA>}8^_0} zVzg8+S~i0YiF4*|WL38n0V1H8U~{ip5*6Al{d2=te_cQ!nOC18$d_M_OT{KQX+ySe zU?|dG(%t-yyGF{)#qO;8`j~czvBaVFq=LyXy=~hKL8bX#6}s-|@5C^33lVs!s9T70 zEiY_+cw^#y^o|H>E09ClvhFmDNFMhdkqmh`os~-7vRJ-0(%33UMufx2B>40c`JVM? z;(%YHI_rLvR63fZ6p&t|3oqjhTZBGvDdpv@8y0DIzfVhGy=q#<<}Xs5Fs3@eYoDpt z=wMp&C^kfLoC^07#0TJsqv_7+eMHPu-z-yE=w<*=SGsINzXmA0rmZWq7JhauoR4X* z;*^<89B=XDf)0eYrO1mptINbr_Rd~cc|so3b3!nWQDBNpk?N=vEJ`qb4vQ`c9wC26 zy!Srh*4@Gbj)<7~H^Hdh-JNR{`~(BXZ*q?3P(hz>7iF`bB%iU`{0h1&yEAsXVU%w0 z{~H82aJ2ZkLc+~sO#lAqcz(*N17jhULhn}lIGoF(9epq`v{!1J!pG5u$0yYxO)OT& z7(Q(k#|#}|v#S+~5MGS0-{1&bYiK{J1;6nl9O9<~7>p3m$+hZR=Z41Lc@Mr8-LZ2{Cw5JR z?C|Ak=i-^Z7cRcuvc#ovOQt0gj&iiN1&*)ph~(5#f7vq4OZG3D7YyZJG#tC74LIhs z1*P-Hqz5C)hrj+ra{VsFq1%Q1At5+Es>`M8J?=?Yk=x`m{f&haXq`7OqNJC^X3UJ0 zg24;ng~sV8=#jm`4JBtV94R?ImN)=iR`O|QRz-*^dFwShmKBbjIZHKNpuqw2J>B|8 zlG4v_e3)UbH(A-%rWVHJ*&2?+5|=(ZfHhbkka>c!i~NcyGSodoBrZxjo3z$LwpT|+1`D;kYC8y z0RjBy0>~RSS`C4-#E6qjh!`?JH=&*~^q@)%SG{R)@I)`Q;UbtF>EU&$yRAychQQBu zp=4`h>15`pbGCA+r^2&(*AqKouhmUf6064xv;&!R(Tj3-pABKhEui$6xQN6cA;Eet=?E(B?OOv;tvvDVKaeQ~W=!P{&6va@ z5Eit*Y-DQ~1T5El1k#NFLr%WpWiJecKva5_xdY;KWS&b0c>|}RaV&Mb(BT$kn0Pv% z7uIkc=1c3u3Te%?olw+2^DyMkkhwB+%y4(0-nUAd_@#*bMY@e^D9J^pa8GH0Jq<1) zqPeRDNHfH=t~KqO8N}>N)#scu3zJFtt`n|+5=j>H+(l3`tDGb(Z69l7qkWAz^&K`~ zP<;zh9@63~aLfRDNn;QMnW}()%#ax(l>U$(FC6MWa!?`nyuj2akX^$uSiPjc~O=qTLcOa(6O7$x*3g(v z8%K*MxLVw?t~&m{J=^}s=dpn%rztgiBVh<56lSjN)lkCjwO|ZM==+?e`d!0&s89Y? z+_T4lTbN!k(VjoB!GfV$U7B{7B-rCM73&FQ@ec(}>hYbIUr25zYHOu2cD%63pl>;G znH|^izHj`8l`0@^W2je`)u`|%CI@Tpsq^ueD@v6gviX55V6;tmrQTq^ zjaDdvrBxLuepOdORWbWPUq&OG4X+ws6YQ2eoQXO&3hS8`myW`Tpqk?s@&ZLHOp?f% zcAdGPNcPgoI~L`(^0NLSJIn{F2^%@l7N;1L%{McXw&X)}feDqkq&_M-MO~OVWV?Uw z+5m&PF6iPw5L?qQh2)r_N!5ij8H07PFro9ItIpK_Q~Rp?q!|&y5`UsiJ=A8%pN9C5 z4AiS7D=_4JQl~P=P~Y!p&M>}>_3ZD< zB^{~pwuPuc=|RJSff^>A^ZB?^U&ht9(CL_##l5^dX_&j*)CH$7E9_q>AgC9p?n4>sn-f<@0WMhQJ!Y8p z`@DF>S(CgEZ>~_%S+>Wsum8r=l!tXNws7B$wV`Io0>=|(@{2?p=AUS%9jzfYfF|Xa zMAs!PVmR68c+n{@Zc%j~uat`^6q2$b^Ko}5K1FetKTE9FlqC&g+CV{C^5N{9)l8zd zs$QPB)>S=eC4Q=`EA3v0Rj`P~C6+^l2r8d^FIh7n>`qU(aGtZssXf zQME_JIcQJL<94ke=I?j4vrFF)MYB8#7WUhi%xA6xSe_4RVPuN#eE!gG5EJ`|;6!^B zTs?a1a_i|C{(li% zY`7l}U`QxFY_v~zsEgmXC;4Dh`nOod&7UWeoWDGCY_wNFV_dJ1A-1DD#JaCWz3z$k zl8u~UB(=#sv{D{0;?nH>NvK?Z?j>d84@n;HU-1UY-KC)Y!N2GIsd2bl5X!+3W0=TK zC|rv5Wi9d-=V6{Ww*%rE2k&m}foX9?Vm{wpcn(rHrr|;Im9`xu=*aJ4F&~nAx>@GXi_IsE9-nQU8k!#LwNxjrdycfHf4I^q!`l!j`7$u7@ z8ZubFri%pIfGt(Ofx@RopYCU9Z>t9ehIMypIvSP_I`E{H6d`$CC0`RBo!F0k3?J>>-gOvkz#hM@ zzkH7W1I4QJz@(%E4)E%sKK!-S(}hdW9#IUw2AQm%g#=sQN#`l+QK&=Rt`A4{`c`^q z)T3UAC-xNMzkm2V>`IYg0hP3TT&$23ZlLCm-~yypQr4>S9Z3& z4EmbuyET-P1ab(_Q+_b)zGVvA%hRw35o-?G%+Y;0`#)Odp>h!i!$kdq658NJAU z_wf&bsDC_t8%ymJx&D(mfs?n!P}k)*u>F*EvsAPhf1&m>J#bCiY7EMlM79iT4x72+ zOEuULQ`NV|mzZhK@ z`3f-!YUxL}MlpzH*Tit(fr=DnnDu!{b^)8!Cuza|l>z$e*`Se+$z5>}t>rMd5`zgD zpm>k>PcE-WWS}mE@+erfv4+JLU&xB-fUdl*%Ao2&tk(_(;#q}Lduf#M4UH^Lp?&m% zWBjAIh$y0tHVtf|*+jpR7dcKTf;l(0EsQL3iO#;;en2FgVh$f)^Qd-{|ciL@=ar z^D7V=YsSIuBY=gKiF~za$c%YT>}|&LI>#^8VA{A5a$#>qOCUyG&BoblvKnT=(X);x%Wq~|Hn7@8dcH~W95p!M1wXVZ@&C)-lneUpN8-5l&+^OAH zT)Ms_s3}u6v4N}GWcTha@_5Qr&*?fB`e%VZePWp@0zm>faO{YxikG4ClEJmxwCab zLmp+goOEn3zqF%>UtQOZ5qRFJ=ADA`zKXyq;YO+P*{)Uv3S`P6>gwoUFy#FiYPDb0 za9L0d+#w#+ZmmlY#aMhwbtWNLo~k)bYvnaxR7vYi;r6vCh4q#Ixg^&zm&N(XrPsx16*Y)rU}zR{)G(ZA2!*u zdCa!yE6P$x0a_LW)?-tW_-fmwxB~00OK#&_kF}Em9_;B4yI~KIvQV0Zm>Rx}FQoPw z;~HINg)jZq4U62^F>1MZz`dRFj9mRNU;CK2DEKjfAoSph{MPfA%rOC}6J;J=9BWvN zo1VUQpL3YUN2$qK1&@T%9cbcK2Z@}af;S}EP#`+<ns}XZim386wP{^h8eqWZ7zIt-i2?H12k>`pStj;NPb~ zcd*#6AN@0+@7u3oYjK1y+CoPbp0T-&O-;I~O=nmSfpPp~@2R<8;rw*G?cZIGA}ymp zo$?Ny8NRa$;?!DZk(9rGQ3?lh24#D?X+!LGWPHZ4s^T=^6OPJ*gL#jmETZ#K3R1D8 z%1(QWuNLZJ@^i+8S?0TG7w_u}TOfJxPLK7;&m=QRO4d8aF>K5UKPEU#;lREASHg}- z8NpnhU%j1id*!0)0?P7-5Fh7gcZ@5yRB`0D2SOZDn-Q!iGVPDDRtY%+^YX(MV>!B| z1?{B0VFe0IMy2oG+b~#0qM${&W%9jW@bMYYk4=ka2Cn$fMij;yvndj>8dT^^10(FHTm*ogyQqMV;N zbzIi9$HSHmGcM&BSajDU`*GRR(02>X_e*R0(m^Bx>%`bi4Q6>&dxGo6 z5}J{zNJn|A7{fVctsgm}&0RIsD($~E-0d$lW%$ReU2(u4z2}Vwkl7tFK-8T^zID)hfoUog7MC+y(L zPV#B2^Vf7!r-T#W7KxL~cEV*?HLfOXVJAl1b8he;@-6D-FRB1kTWfyaNY7-n&uuxn zAx15K>J}V}V~Q$x)KeEFZ%YRuf2zMDF6HcH?5rErxmEbu&rXd)k!1%_^rt5zOY1B* zGS5wNe(!x@bEmpqR3B1#p>$rCI@s|M$U8B;JRi+qbkMsNLLf4FKEJn~6Uxu#W2*d1 z$c>NWG(#S7?KCiJswa=_nzB_Ud_4CJF~YKVnsAePc`l5t==s0qorz+}`-c$}#>!|Dt~WZLE1hTGbD#G~ zT&o2r&*28dXTA3J$tzAXq<43zb)TPX>8_O1!ik2aS|wUGhH7f{yHRt8@3)2CBD@Zo z6$wxy6A$qvuJdT=4T+0N6;nVu4nRgK%^Fpb@}&WA50`)#1J?Wm;rtfyoGYe81&@65 zUq`>G0g<#LRBpSCAHY;oCLMb244Hu5(v*RC;=|;&Wi$Z0i8Ymt2(=x~2ZR*Vm`=b& zG!)B?c=X4^HO>@%bkE+UcE(x<(@}Bn4^r_>yFM1zsQ%kcF3=FO#jT-0dHjl5kdu{^ z!`lGMsg`Ev=z(;gC#wl4X?|h~b%Ao6UCNfOV(uSeyC}!BK+hIg(|=_%h`F0Fzp#wA zol|zB1m!+s7G#;rofSDY0bJ@g zJciS@MN_JWo-@-o*qopSF7IM%-0>7$mCRJB;Kej?e;h4Q*2UEjhDNyY-NjN_R}ckY zQz^b@^K8g?JowpjjB7+N^;#1Pw4gfI=vG7cHCDc%30N4&=B?=~>=orM>WFlXK-k6z z6gy&*j3qEHYjJ~`B#>+xuZ;tYyJ^!`bbFZ91Ik(GYHq<)#}M!9d}2g9@{K7anqu~6 zuV|_)*Nt*=t}UpfN$<#(o;|%~>e5PEv0PT9?c&E3>$*L!uh^`^*23e%EvN0N@gl7< z4@svMhc>-B-QaG&&*dF)W#VZ=$0p`lT;+sII4vHP*ln!)!(yka*=&-Zted0Jl>eP+ ze6%-*tuR)c4=4m68aaLFqQ5JJvZt8{+L4^p4os!CB{xi-qp7KL!rc@YGR$oNf6?AA zxikSRPTrIKvmSIj!z0q~>Q;{7Eqp(-JAFq(IIfb7Vt4lOrcCOlRm}r(?iB%Syh=YQBVNY@8KCyVjzOK{V@toq8? z@G1=P+3yZ~4Emm6K6^zCmArC>Fk*uzRF2v_Q<{kxX~D4;VGo>V17o=vlfZQ>!=4~P zvxMA#-IGuTCb1X{XVOCx;Aa#+HY=N|Zy;rPswcM~O{e85Lw@((*lBw&eb`#{Cmh za}qKcY-i-`kkgu;%j+aGuYOg$=B*DIqpsDG5MGf4^I9g~cTE;It9=W~^|p!ps@%k@ zn3q&5o-#YIaJPpK&948lOmh-Mn)hiI3y{%H&D=Re!+KEv<~#VC!0Yyd~DB&3D%BQL`r3(I4IMQO0E^m2LYtUHdKZVXZ?#vN3J6aBAbdA2}hZnveI# zDbz@Obs_zO>RqN)vYUqpnB->CV>mlXmADS&W7n5>UoXo;P@S^H@>towA$d0J6A;e8zwVpG02*?^apYMmoMqzdBpVaOu(MD zKMl+84MNr%BN5(QQQi{KUo1!v-Sd1Ebf!ALdqQu|-T+gd)~oh`M1jLkC!(5}KvvXp zLo5+_JTbpd8khGhBY2q+IIODaeCAD1wVVn{bCOlV!f4?{1wCA5^X`)p~{6m-$SPcFfC zb*$2npzW=-#1yrYF3oVzlpYLaJJYq*Oc}GC;@fl%)ivIpP(+6U0th@HC5agfd{Cu-s0yls&=ta;ttixR$ z4Ciw%#8@^+=a&zGC<}AmL>qHCwMp}NH{0yC@K()hnqh%7V7&`gGFqCzuGK9QmFa-y zkd{4|R!Z$opVwPsC_~ii__<<$9N753LHSfyO|XXZ=CgdbE|n(5=eF2{29A_3g?`_Mq2c`KPDae%V-uj1&6#ppDdrHFuH1q{xxG$=?w!q z?UnNm4q__zu^1w&Y74)Z5a*`0Rmt!$zK8h)#%i1_c6p1o+7G9M13h6 zy8b-%@+93B;1XhJ$%NlA0*q;*09Z_;&~~@QNwkASn{0E9?{&J_4AR1JlxmKqDYiLzJ|+ii&lw zl%2a=C+FJHGg-`w?U2?}bqf<jRbfyPL%K_tBREf$$v{`xBp|Ry& zTzsV&1J%&3e(&O+({8%0JKvdSbc&*?F434X^jY(?xo+bL-gP7FN&99c#eLbMM51c% zEzR(c-H_z;2OQkihYMZe_?ikmEGDWOhw+j1ZipV*tO4)II5JZNDH3Sva?3 zCJ;KrRCPj^Sf&fMwd;om6L#qyNY~zth@Di-Cjpyuv>NlLM2(YEu2~m1g4SM% zY_l5yx0v~t7Y$f{nV)b<3p`5iF>ZzaUx;?`Z<12o3qQ>fHhuJ_>q|{*0A?Rm(I@=O z%!t|-B<4+NuUS#ng5f;g=zsDrYD4#LA=#HMFZtj)TWO*V8yjgiFv%dJ$@2PYA6zuT zX?X8@5(kbr)mv+K|7PXQ&Wpy!Xg^22>QJ!X{ZwSF3!QG@0SQ znDUJyMytvz3{kOd-`SPK$ZpD*|6L|$1?3V;6H=e>S7=STs@O<`Z9z$^ffc{ydlx&K z&0XOFg7QQriYkfV;Xz$sQOu160MlyRA2CQn98Y5&NHZF*E5Xh+yUCW~=YP+z@}Ejl zPS{{~uLHMCY)8LYwnh#OQ)C@g1H9E{-N|7pmB#IQaKVjgNb1@Z-|SYbrx8jt0AfaHqvWe zAmI*BHB$VQ>)wp>3+}BkdhgH;3_Tf6s4SQ}PjiiLj%DnaB_e4L%;UWz8TAfT5Nlid zPmUGvacKT+h|~7URt-INub6N+e}8dtICjgZw`m3=6~uolZ{vy}Ldj|)3bpG9%3sN% z>K9c4$3g=GwXLA7#nOPp55h$(I8B=R$GUIlGwIU{U{t-2pLc$srZ6JIB`n@jLvx1% zv+ol*U0}x8sUO<;)dKaX+VX)g6`u8=bb9Aw!)xlusQ+G0nZlV(?Uc))oYP&63*NBz zFJHO#s75?4MY_7S`?cmVrL4c`7CiZJQO$h=-VQntILz(BCQm%vUqRz)6-U#=rs8~- z7W#}XsHFwuD@HJ2)~&#~gU}TSmN>Nrs+^{f=fRcMpRnM{jBDT;wpo>%RJhW45?-?5 zYY;flBp4N`O#q`GY2IN=CB$k;%2>ypvxrfh9KpqJWm%~_OrsL^HoPT%_;M~+fr(BdGrsNqS49(0UT@v8|e zwGE=ATb9t#>I7`mJ;-bd zV53S>!PiyZL{*_d#sIidAcGi{c8-;q7jIqNE=3d{PJ9M)MqtBJsqY1G^(=ylqhya9uvo{;uP|E3!QsVi#0V-#VxJR{?w{B%IkL7-FYh47Sa}1X{Ik5b#$sP zLr=>KiLfvcJYH2r77fQ*(Md+rl%QXpQLaYEQIxPQO5`~$g*3CIw%4rn>sb+Hu5Hc{ zVyBp?4jmWaQCuX)KIi&)pGLM`-Efk8QCu{vVezvvph{xeWRuK^=rk?1#4O+_4o>=s z`H-NoZY0p_?Xao0=d;gk(6&+t?fLLbw7U-3M=YH@KI73hhAnqsuMO-SpF#5-W`SSJRXJUF$P~MYBdhKb9WS7S=Rbrlby>6`9|6v%{scThgYdh!z3%2d>9i zTO7c@?f-?4H%EWrA-Bb95qsg=4#=^R;_;T# z3bi#G<(aIfGG1keA&+Tos4-n`Sy@@2pJ3uPPm)CYuJA3mz&GZiY4uDh4JpDCKfCP8 zk_`#J6I}T_Rq@!(vSZ}O%ppu8pxqc`ZQnK^x0l~Vxd>B-XvTF` z7O%t9qU`hYNJqV8M@#W!v1K(AwDUvg>0szpMYXPeMLWs53a&X0^;&I@3(;EnpA{ z{P0al%i~dTD8BCSNKP zg*AU)7)lc+>LnzKll9Sz$a#nrxj3T~)bj_*+}E_SPHP${Vj*6m23jEJjN*49R6oq| ze4%j*Nske!#nka{q*`!Xb6r96e>=Kf^y5LppHtXoj|eN~B31)d6EExocW`Y-k4GXm44%IVfmV=JfqljB9uvjvoovE-x^_TmS0c*2!oFp#!t&Z)^yLS@V74@#f&H1$Ha9hE=0|VAG4JZA|_%wn& zZ=K!B14d^3OQeHqSf}n5?jh%_vn^-uEJ+A4(M7G z#0t%6cyuL@zyt7wPx7nU+@S>E*Bc^266;^t+~(VBaL@ErVlZ%3uhlC6Cy86L%)=ZH z(kphhhoGmzhj;r=o>r5QN7FI4n(tm7faA*8!b5r_ovUF0hl(mGWIB2j(|slHTmqR* zKS3Row1YaMFuH=^<+9RD;cXbJNeQB?_Q-^c4$7D9`+au#PpSjpd4GmYu39@uoXy@T zB|Qs!ggfbKjV%~VVn~QoF*yU-9}5pRRC--bX1SXoAv%_@1NV*ZX?cLG`A4^Ez$Gtu zTgH!VW2y0J2 z3mP!@n@A0T!(C@&NH#RfYU<7nD_UD}`?B|Eoajq{96hObs=DaF9;|oboL%C5Mih<> zehkr}RS3n9yji`nUcO~{3%wCFc86C5nf2YU&NJ5H64W{ECBY@hCGOKwk;oQTo8?+F zEi0zDk}A0Gf(guPv8jLw5NjS#ZI8tkQUy|mOD5jp zkO$^mv7rfdCG_+9-090VK-?;R7*43Ldn)PB7+O-4ggD2|)Q*&(!Y9vDDLZw1fZqY) z>;&_fPiwLAQo2f>Muz~s#A`|Lb__&U@Fq89iX!tWgf0vHv0b!x2U$Krrg__gouoOY z362Sy&dK18Mh4nX_0<9aXx)PY9;~~@th`X;ud@0O2CJD$oP`Vk(SNr`rq{9i_o zv&`8^zCYe;%3+teVs@vHz_Q%4smzb!9zKt21E}ot3)TZ$99n9dd(%z7B>)I2wa18H zrR~8?VE!an@$(B!7HOJ-{^c;ca@Uj$tEmSqlVBC)26@s&c4?y?e^T&`a6FGs|as>l*5lLs8>d>HN*hIt=ls zcE_0J`d#G;>WnUV<(_nOd)xWS76(3^V_z~^bC|jm{n?d`wasa6E+pA_&w1{aXCIen z?|?%(%xs1|k9sruCor?2AmgUfb;}CQrL+7!Zx4kCEzSY1w2!D=6jver^THlK#`x6E z190h4MwbSKL8bntvSEYU3c)AfSMlIS64_hK`-3b6xzBj{{j1Uau}3z=6UX0;{mOE- zSTegwa_z#q+&1gJvjc53TL75SX*UpIb^4IzXL=JP4%aqN5i<@sbDUS+q~>G%kAApc zrDZW*TJrE5B0CN|@T)M`BR6yH{!1&ejX`Z;Lq=Q)4x%NrEed>eCVUpU?r z+8+_FjYg-sXl3T8V)8J%E^8B^*A{LlVNI-Rmp`ttS{-m6B)#&{8iOs%HfH=mB;jhlCSqco(pjGyK)uFlHWH7K3lpSwf; z z#ui5_yTCLH)-*P`gx=t%ZyYyiik;|6)^Hcb6jygdY|~2-aH+VD#0q2TfY4{qxuE)f@Dc|Ypg5kDcZC;Y?{~2P*F7m zS0d7daawrx(sp6jKUuavXv22bHdw%YhuiKU3Zm=mr6ziJHJ3^yY8KUL6;`KZyQE(2 zQ$IUu#&Ha+1Z$g6!Bm;KW}O6kRhGR(f&QGqxwD3KSe$OXcVUD+UjV=0mOP*Qo6EAr zO6$095El6?)`~8@RsK9v7ZurycOfAIuTr7Sg_w7okxqAs=A$7Ns6W}>?V{EtJBq@!rQuaEptz$ zLWmqg_xKwky-!qBXrtHit-?KWZ7wGYWhw0ntVx&)kzDfxdDUl|zMe{bU|$}Mr9H~m zwpZ-D>U9#y?6lnx%_a)}`-H3{SvJ}jPAY$)XdN_`sazSWE7$)qgl(m45}iC)iF&**cmjLC?j-Z-iVDEE!hEoB{N$lCSi z3xq3~gH_+BkSc0-zf+)`b}TUz-cqvUX!L7gzTfXRXX7n=f}qyz>KjR(L|H|M0j(m z*6T1mD!ylFTr5y=ZYy3baF!mWWfM2kQ;R6CoOjkL70uUv2(RvzVpiFB`n~XLMl*`) z(3B&b0~&=3;9Ao+I+O(~nLTHVMXSHeaG7ZiDZQBUMvY8Bj|j_%tfWY@;jgA;hn!7` zNoC!8lEi3?7KeE>>ex=6iqfqzr=YCN?`D5fyqmNZ4Y(SPb3V)5x&MeD?`KP*rgr^f z3OFDg*ljgX+vqtOsKmvD+e}im7;{|9Zg3MXq#7w^Bzc8dUG{~RXr6c1!S|1q zg*{2^01QbJKVU*8h?LGOuLQd3) zem#17uSre|O?L09)ukURN8-WVgj?L1>2>bi4*DbTqgXaqfL!LTDb96uM}D`?$GjzE zYB*7F(t3Z8+L=dWFMjbNsbE22DmLI2qKdkoKrJw02FL+r9N?0ibJuFX|28E5-DA7N z7?!O^R!AJ*Gxxh3lrRLLSMZq3jEFgZr6*0wZU^brg}Palv9f*CWTZ5uR7BNVbfJ&6 zq>PWsTSlebjo_5ZyG68Fl)pY3|DL6U(2V$DT!3|bBV7L;;Am^(m@fSdv15>R_Igmz zaNZ=fMT;Ff>yz!Yrff0VI+i|5@m96dSx$HxfWH${{VJq2U8_m;S-|vAVpHF;g=m37&enI9QTM%Th-q$>TBvui;a zl9-c8G)hkKOGnAJtlG;e=8)6!Q;4FSWswFfQ%$@jppZ-46e;D9RG(o|$|cTn_iG^2 z9Z?(M6eZ7YmHnjAL%U~XYrOS*5PmjFuWSjZwY+`CPG<*OedfyNXK-FIqUWE}-r9#} zfxt??VFfk^<_9$PjNBDvXM0*6qVXNu-hiijVCT3ppMiW1Vr~vLnaMNoFvYm1bLqm; z)p}#-2DcYZU(mUvhujfy?$li;JUwGi)~+Jo-&PCC2fHVdd)PzcYbNfxY`Id2G1+?q z(7aE5KL=O88+?R>xtcS4O1ISUEv|2iK0XDkJvdpr41AsAQ%+n=KNrdDqiX@;f7p+q zSzP2Z4`7>KPkASNbk~B?)by>hGgeW(UuxcO0=Em%c4&86u4Au*udA<9uK^As&vMHo z@7l{WHt2dKcIbJ?ZjftbYoXOHtHizhp|vM2rIs!_94ni2IKS?EW%q(zFt;GXEk^}+ z7<79PDIYL=eJI}rlm{MMrcKWQ*3UY}zbO3+TZfMCURd)J2H~K|kN329P;jM``RH+8 z_ZMj2xZoSER$9I$blctXd47L&%Io{NO<7-DtaW*~&*kC6o!i@^moC@aU+r{RNt@I-cYfAxT#3+66vTC(Z}>InK8q%O)se#|S&~R# zMZ`akptEF2fw;6pct|j33U(AHHp~pq5sQ!CJusOH9hIKLvY4(@-cLaMU(Z z19dgr(pCUqU_B{5SBF34jQTU01y)L(QJDe>q7O24!o-2q<~pn}ptK23)Gx(gbfg&hS@4=>y* z^u)ly2q>6=F(MKsIJZDA*rIv-wr=3oCJmS|3x;keV%CL)CH-|xLX$bBPSZ1riply9 zE0``-VR9^0!-lz!ILx-c&88!vvC_t(##5G-iD^Hg&l9_R5pV2COGQa6_YTQQCl@%Na9qg7W-w#= z44Rf%EV2~n3h--=KhIvH7X+&ld28NyZHK{yd#KYc1lnK@pL8^uD z;kXXP-%OuuJS(uW5K?Qf-R+v*b$)9{9Ud^?6EQA z9vHdk0=}aNZXR}?4hWbVgD(lrtzFu0^+F5YuT3nbwegfJNG_0H1SlO&S3CIC;Zn%h z<<*rJtZYV$@8t@>;a=u`&iif<9?8Ains_L^D-0OmJ&6j?N5H5s;6?WOd@CX)AmpE` zvnWNI%f1Jz=DHBv@TZ#u`NOxdK;Y1)Zip&T8i@^E`slM1wyKxZYi4APqq{ttR<=9V z<-ramPD@nA+DwdOOgI&kHn=ctc#i_-9KTED;5Pr(ex~pgRoUK%^5e-2FuGUxiOH<@ zMzddebfWi9q0^l5Hym;J;~)gB?t!_Q|Gp}A3D{l0e$s#%T|`Yygl_GBf{r*@RZf?t zoG!O1+gs~FxUl5_fm@Ub2vqRphXDnCzsuL6pe1m$L90@JJV%JnBl5G)Xeyp1r=z(K z@QB|A7K?9dtW?-<7l^Px*44#`lfWhcsik%*MWfTrwZTsgf@I1)(|;vqDYlQEl8 zyj=r2AE1jDf7go0oiF9O77xUGehaL}Ter3TbLgNWXD7X>=ROBfy|0`UhYD${;ub81%BEfbNjTN4#sY#Ks|*Geob^WA zn(C!fE0xZJDphK`V%{kK=ZkRq)5lelb$-`5#Q29W%Q2I9+*Z z2DBeEalfM=(QcPvedMTja#OFDW?KqeL58TvHQ<3}?=6<`eRCocd2mOc6O&pTdZ<0Y zBZz=NiV4uR3E`Epb+vMI)0{E>LFo@}XL# z{Qj$;D7mPVs%G&U+b|Fb?HfQ)1*=-kkk`=X)NAxRlfW{_%Lv^?F(f$14C17sgpI0T z(+FTddr}rsa7I$Uc!9LF^3SM?!ZZnRR|fR$#SlbFKH;8OA4yJ$%>r0yed& z;*m>B{;gLqHoOe%H`%V|T`<*mwb)g!aj(%R-|21JP8~9_T9WgXPFdnD2lg+#KJBg> z_Ozk(^pnRl+uDAPn+_mcD-Nw0e>py0X0Maec{$p}_OMYV{msm{f?3+EEA$%wx4wIz zNfC3%*RvrTE>9R-lPSQg%NR-eBAWD{c8{B(mI zo2kVLX2nmQ*SP>G^b$1v^gSg}Pfrk*Ja!^7_=J{d8;#KA~D8NJnUM&sL3+UjJ&x7V{V+8KdFQqHEnox4)j*8=IDxK>z3 zb8LjbzUdK|*GJR$&AM93m+%?LrT~pW zKq4VQ014(hE(1!I2?~IO92FJ<5e_Z{1+xW60UApiD;tLvc{je(zTy{ii~h%^Pv;_U z%X4#coliO3&X*roonKF1TVG%5Auq2+M2QxoVW!sU)qaj{IzB;c@->Mk^X>e%>K=~IRUDV(jd#fzWg4ibx!cHljX&o? zx^M7br>^B1UZ(o59Wx-aBV>CiY`7kIACn>9K1|2{G+;)tYC^>l4k_T^BBDOH#ISX1 zq!+1RW*nE5c{+FO37L6nQ+5A=&M+#rr~RV!vp7z#CDkqH+hRn}wL zvLzQwm_a>2<>o1#HiW*sPD7GOrWTpUXz9`s`?x|i3e~8aFotH)gvK$Jp^R6^MoNxL zRS*8{KQN(U@d87}n`H0`4N}B}d5I<>h7BEstd_&fq#ZscUWgC5Pu%p~p;ZJ&7cVt%qvpsfz!Q0fyFAb+q8F6Vzq>ag(>dnsGIqs@Ke)>l9m#nc)5(; z-i)OpUFEO1cd#M%Nb=LDKBEuWX026Bv$3;RPw*jF1*S2HecI-xhnLMclZHN#_7~_& zJ^C^ql58LrC6lB9&pHysH7i+o9drs@gd3=CE9}%}%O%n5^XwELy+N`iQdW^_#Tgc* ze>=E}yE@#9)!W$@s?{LWr@GD4JG;KFyqdi_2(XrORIxU)1c7>YT>VToHv4Cx)sL~F zH=W5e#B!(e{fY0S>zGRjaqIx~VpMO|5%7r?o2H+D6!#n8c~V>4uJ7%BeTASW33gph zhMx0WxIyX!FZ^nY|LK`QP|aFrhHSl}CsoZtf<}^Tjjk7f5Ye{4uksWo>YlXe_P0fu znA(D=sgV``U{h~~7anZNY+8h*6QAmDG55}m6_r6l?17kQ4rGb%sQlNeISV>px)4aA zA)Qws)}1nb`g%k5pOZQ?o;4#aA>)Wq6XOu%uME*YUyE3`TUtJuhG!RWpR-xwFxyC4 z)hL0+(56SQjKDtL140Lxk+?=IOP8@{q}%T=Q{)ULWd1rM~-+0iNmrv*j=GI zRjTVCL!H^JjVmSkmv2P)FF`VbFNR1f8(~SHn`DCm1z!7STHK`s4x(pq~s5^`*x$Zqy5@Es43pSk9Vnd|Jwy`{yaFD)Z_~illIM-`Vt|*M;~g z>y7rfX>z%z`bLvXPkqh0aTQgUcZt3oGpGR~87qUnL#2L0nyinC0ZVs$TR`?{?gO1u z2rTpTHuE95tVR-=9AaI`wCM*rHe5Hij6dZ`h`<>U@P=v{vJWJG@=qUofk)Wh{(QtT z5gXaXx}4N7l6T}L-8Ioxn5Z@sr-!i$5mwvKcBH~5e+st6fYPjGRw1$9PwcCciASeZ zX~0>1OBu_2SVlMa{2dMlP8(xqlq$F4LBI~^yIW`r0do*-gnF-RPJ?^E4p9dlb-z}A z{0-uRu<2p#1x^jJtAn7Do9Td;gDJ$+L)|Q=L)F-PKN~U6wlyCHhqvaFM^;99u`kAb zUF_iL;@>VR zh2|DJY7+_Gx(U1T5sTiDrnC`Eyk>9EJ5IC!mJ&Zf2rV?soh~B4nk~fgM=h*wbtO7AY?d@+dF9frEX$dmfNk z$CW5z;Ej#Gsif3(ntxf|_P*>1Uo>1`j`T^b58Q~=gd@jZUZ?F&v<0uTVIB0j7N8YJ zZgF~#Ey_5xaB^m|CQy{=aLgL>mQW{MuwHGM7fypVV2l_fFZ=wis!(!!*4Wd;CXFz! zGHy<=NFwk<@&B5(lSPKbPW(YDXu7*Re^dpoL@`~PZ=@}eaZGz${+L_ir70__DvAnL z@C!x43<-a=Piy?oM(7%IHT>C2fWp)d55n7R+L~bG8@L{rOwX#y1hHhpL=S&fYje|c z@h3RkLXPJ42iolXUlC;a3kgw1O+3kJdk<-CzG9jqddixVjczy2`q17qk5rnrvKNlE zi)f;Otg$BSzcmkfL$B6ov0sm`5?Nq)$@KD*3|0dP$w*-yM#B->iIt$Un?~+RNK?J>hzh zm;DZn=Y-128b$lby2&ni_JwiAABfG*RIp%%{@NpzU41I+@2}pvr=aS2(Q_M&n)(_4 zg&zO#L;7EA2>+4c6|=N)F?FIBvoUlr6)`ooH!-FEU)Uf5Cgy*?(KJXfK#)Vw`Rf!E z*dq!8gr*8|@GngNBXIw(?loB%IRE)XQ$;~*WJLtOY#VHwd{u7+5?dxI+9!0Tn^Q@|4v!lWk7NAnZ9@3u z;C4v8oW3Vm<}HSC9}px_63E__)5T7$i^~J0Rw;K>>ijX4$iu8CT-IoxxG8Ur0p*BN zu)G+@h&$(93&bG^4V>DT%_&))Pu{EyaS0C(BB85!cppBguD#F*yd7u?L}8FDQF8?> z+F$w>H2t62Zqk4?6IoKUxs}bNlrde}>BGEgYglmU*7e&|Nc+E0pl73Tg4%Hf!A9l3 z=>#={plm}`ap{zxnuUz<;k3FT0^F&J+>$uo6PzZm1Dz_uKCU1V+J$| z)&0>-S@s2YwF;KXD9nz#zuJXrbVo%FRg4X{|4AHX6hvSLvo(3$v~(2yK~HPA{El|C zB>xmE($(poafpvx%aada8y(9_WI?9q_q69L9-2bddK2U`%}DO)No1FRi~FWic#%0> zlF084Oar;lI_(@)t?h-P3tM-uWy{D$G7Svz@NDG2a&4SF<8EE?+2_m- z_RL)(`@F;VA=NMci+S~ryv_f4$}%$ja{^f#1OS5pfmH$({6~9Ctp7XKQt@;!rI$Cd zQg*SWmm^?d{0_dHoLvZ*8Cd_5FpQCnh4G&co6yj<$KpotyQ;ljlT_(>^((KC(2+_m zkt`C(qR_^pu%SdUM6{{c-^!oTgKXFF3QCe7r&!jTnvChTH?!#@Ef7I6qd*K%ez)$0 z#UctJjFA{%B%9q$B+lX_!kC%efh|l8L}3g=G>b&e2qvpw=;tw?E`UVV5r8(-1H&R^ zN$kaD0R_)d62a=lH10>FV*pU>%xVT<+I3J6uR}?t5CruKgK_IvS%{sb_CiO}$JQ0# zkVX7vsK7*=v@G1=OIL^rb)s1M9RUIAXK@iRuuBoTCBjt}vJ~ZXMXv}`l0g>5{S!Vi zX+0?(zetQr&iul%HXk8=({x^n95b&uK!)#d8jGv<43_tVHC%5R*K5@po_FsChWD%v zhWE%2hW9wY(|_7d*_Y5EbA0YilRxvvtwH4-hb#f_y?(t((u>FS6t)IY*j+}rY5?UH zO#@FSOZYmkp3%&S1w*`Z<}nRsjMu|G;iCdYX+^+{lv<mslp0$JBps!fHMeI^xnW6QJ3i2IKeA<`7(yFRa^KSJ|3aSd5 z8T2ew%_m)&s%oO;K6lMDBQ;C))D7}?Uj(s>xBN`}XL6c0JlH>5&iUPhF=F+ei_aU` zfx*Yt_A}-(;t!iVKWm$!D2$**C^W}K{4y1Zvg3zF=vf4=TLXUa*{oQK?=-6q4ELhu8E4}`*xkSrdyAC^JQ(Lwv4F*Nlu+$w^R9aLq{9$QQa-|i|i=_KQq9*6&UaY-Wd@|%0 zRKw8LcC537*Zt+?mbv*r7NdT8;<0VI7VlhjWO7RlOX|UqWnMoNyh`wqi6gdU7Hqi(j34YYG?(2RGYx+ubp|_G zMWqPtL?RoiGN5)yGkOz$8m+xdYnT7klVsJ3bi1KctOKK%0uF~DgB+S@#T zI4jVq3_taJn8s))%5&~o4^|EIpsye0Rp%*_Kq-n6*u`Au7f4%^Yg*BSM0Mqc-l02J z11O|Q6=rxu&xVI|}4N`6Qx6KZ$ za_;7bsif(~vV?Qg%<)yWE)eDtMj6KjmZjfN#*(-E9!h#$c6iAsUr*V88yFP5XmES? zZRL7$D=5(9WNGk_v>=Ff4-HELfTBaf4mou~V)sI%r?UW2W>3@i3-sVllazZei3muw10Z%?w)XXn^(F!luh zME7hNEc=h1jO`!P$^YreG?Yxu=#}j4T?qaS1*t?YX=i3n@NX%=?@JMF9!?e(LrxUB0X1@RX9lG?&mR_b%> zoigosr(CZA%HYl2FUTf?f>bn%g4Fm^+6)dS*v;VNNHUu7O%OSz;dKj)Wt|Qnb645ac@`L+1G7=&s#qv%}1nK)JEya>dPGC18 z1oA{VK~Dt>h@64m#`WO#hN|KI9F7vfIfTy(&AHyBUMjC!Qck5XZc=Rx=(Z;QYIr62 zYQVP|@@DXC+!+_HboRDxH$Jwgy9a$#gH#QtJFdp8{i}6S3jJ#66o+b*n_c&F7xBaV iI;jLK|M8PJyBIpTcsQAwL9wuLFtI?9l8VZULH!RVR{L=P literal 0 HcmV?d00001 diff --git a/oedax.tex b/oedax.tex new file mode 100644 index 0000000..55532b8 --- /dev/null +++ b/oedax.tex @@ -0,0 +1,148 @@ +% !TEX program = XeLaTeX +% !TEX encoding = UTF-8 +\documentclass[UTF8]{ctexart} +%{ctexart} + + +%\setCJKmainfont[BoldFont=FandolSong-Bold.otf,ItalicFont=FandolKai-Regular.otf]{FandolSong-Regular.otf} +%\setCJKsansfont[BoldFont=FandolHei-Bold.otf]{FandolHei-Regular.otf} +%\setCJKmonofont{FandolFang-Regular.otf} + +\usepackage{url} +\usepackage{cancel} +\usepackage{xspace} +\usepackage{graphicx} +\usepackage{multicol} +\usepackage{multirow} +\usepackage{subfig} +\usepackage{amsmath} +\usepackage{amssymb} +%\usepackage[a4paper, width=186mm, top=18mm, bottom=18mm, includeheadfoot]{geometry} +\usepackage[a4paper, width=140mm, top=18mm, bottom=22mm, includeheadfoot]{geometry} +\usepackage{booktabs} +\usepackage{array} +\usepackage{verbatim} +\usepackage{caption} +\usepackage{natbib} +\usepackage{booktabs} +\usepackage{float} +\usepackage{pdflscape} +\usepackage{mathtools} +\usepackage[usenames, dvipsnames]{xcolor} +\usepackage{afterpage} +\usepackage{pgf} +\usepackage{tikz} +\usepackage{dirtree} +\usepackage{amsmath} +\usepackage{pst-plot,pst-eucl} +\usepackage[nomessages]{fp} +\usepackage[style=american]{csquotes} +\usepackage{amsfonts} +\usepackage{tikz} +\usepackage{tkz-graph} +\usetikzlibrary{arrows,decorations.pathmorphing,automata,positioning,backgrounds,fit,shapes.symbols,chains,intersections} + +\pagecolor[rgb]{0.18,0.18,0.18} + +\newtheorem{definition}{定义}[section] +\newtheorem{theorem}{Theorem}[section] +\newtheorem{lemma}{Lemma} +\newtheorem{proof}{Proof} [section] + +\usepackage[toc, page, title, titletoc, header]{appendix} +\usepackage{marginnote} +\usepackage{tablefootnote} + +\renewcommand\appendixname{附\ 录} +\renewcommand\appendixpagename{附\ 录} +\renewcommand\appendixtocname{附\ 录} +\renewcommand\abstractname{摘要} + + +\usepackage{perpage} %the perpage package +\MakePerPage{footnote} %the perpage package command + +\usetikzlibrary{shapes.geometric}% +\usepackage{color} +%\usepackage[pages=some, placement=top]{background} +\usepackage{eso-pic} +\usepackage[final]{pdfpages} + +%\includepdf[pages=1]{cover} +\hyphenpenalty=750 +\AtBeginDocument{\color{white}} +\title{\textbf{Oedax: 一种开放式的荷兰拍卖交易模式}} +\author{ + 王东\\ + \texttt{daniel@loopring.org}\\ +% \and +% 郭雄辉\\ +% \texttt{steve@loopring.org} + } + +\makeatletter +\def\CTEX@section@format{\Large\bfseries} +\makeatother + +\makeatletter +\newenvironment{tablehere} + {\def\@captype{table}} + {} + +\newenvironment{figurehere} + {\def\@captype{figure}} + {} +\makeatother +% +%\newcommand\BackgroundPic{% +%\put(0, 0){% +%\parbox[b][\paperheight]{\paperwidth}{% +%\vfill +%\centering +%\includegraphics[width=\paperwidth, height=\paperheight, % +%%keepaspectratio]{images/background.jpg}% +%]{images/background.jpg}% +%\vfill +%}}} + + +\begin{document} +%\AddToShipoutPicture{\BackgroundPic} +\maketitle + + +\begin{abstract} +我们通过这篇文章介绍一种基于荷兰式拍卖的新型数值货币交易模式: Open-Ended Dutch Auction eXchange,简称Oedax。相对于基于原始荷兰式拍卖的交易模式,如DutchX,Oedax可能具有交易者更喜欢的一些新特性。 +\end{abstract} + + +\section{荷兰式拍卖} + +荷兰式拍卖又称为减价拍卖。在拍卖过程中,商品价格不断降低,直到有足够多的购买者将商品全部买走。所有买家最终付的成交价都一样,无论在竞拍过程中出价是多少。 + +\begin{center} +\begin{tikzpicture}[thick, scale=1.75] + \draw[->] (-0.25,0) -- (5,0) node[right] {$t$}; + \draw[->] (0,-0.25) -- (0,2.5) node[above] {$p$}; + \draw[scale=1,domain=0:4,smooth,variable=\x,yellow] plot ({\x},{2*(1/sqrt(\x+1)- 1/sqrt(5))/(1-1/sqrt(5))}); + \draw[scale=1,domain=0:4,smooth,variable=\x, BlueGreen] plot ({\x},{(2-\x/2)}); +% \node [fill, draw, circle, minimum width=3pt, inner sep=0pt, pin={[fill=white, outer sep=2pt]135:P}] at (.5,1) {$abc$}; +% \draw plot[mark=*, only marks] coordinates {((4,0)}; +% + \fill (0,2) circle[radius=2pt] node[above right] {$(0,P_0)$}; + \fill (4,0) circle[radius=2pt] node[above right] {$(T,0)$}; + \end{tikzpicture} +\end{center} + +\bibliography{oedax_whitepaper} +\bibliographystyle{unsrt} + + +%\end{multicols} + + +%\begin{appendices} +% +% +%\end{appendices} +\end{document} diff --git a/oedax_whitepaper.bib b/oedax_whitepaper.bib new file mode 100644 index 0000000..e69de29