From c1cecce853e8cb07ce81451a03fac9f80cdaea7f Mon Sep 17 00:00:00 2001 From: vteague Date: Thu, 7 Mar 2024 15:34:35 +1100 Subject: [PATCH] Added audit step to ballot tabulation diagram. --- .../tabulate-and-audit-ballots.mscgen | 20 ++++++++++++++++++ arch-diagrams/tabulate-and-audit-ballots.png | Bin 0 -> 36041 bytes 2 files changed, 20 insertions(+) create mode 100644 arch-diagrams/tabulate-and-audit-ballots.mscgen create mode 100644 arch-diagrams/tabulate-and-audit-ballots.png diff --git a/arch-diagrams/tabulate-and-audit-ballots.mscgen b/arch-diagrams/tabulate-and-audit-ballots.mscgen new file mode 100644 index 000000000..65bdb79d3 --- /dev/null +++ b/arch-diagrams/tabulate-and-audit-ballots.mscgen @@ -0,0 +1,20 @@ +msc { + js [ label="Jurisdiction Station", textbgcolor="red", textcolor="white" ], + s [ label="Server", textbgcolor="yellow" ], + vs [ label="Voter Station", textbgcolor="green" ]; + + js rbox js [ label="homomorphic tabulation of all ballots" ]; + js rbox js [ label="decryption of tally\nand proof generation" ]; + + js=>s [label="POST RESULTS\nSigJS(Tally,Proof(Tally))"]; + s rbox s [ label="verify JS sig" ]; + js rbox js [ label="paper-electronic matching: mixed ballots,\nsn decryption, un-matched\nsub-tallies, proofs"]; + + js=>s [label="POST MIXED BALLOTS\nmixed E(Ballot), sn,\nun-matched sub-tallies,\n proofs, SigJS(Everything)"]; + s rbox s [ label="verify JS sig" ]; + + js rbox js [ label="RLA discrepancies and calculations"]; + + js=>s [label="POST RLA DATA\nSigJS(discrepancies)"]; + s rbox s [ label="verify JS sig" ]; +} diff --git a/arch-diagrams/tabulate-and-audit-ballots.png b/arch-diagrams/tabulate-and-audit-ballots.png new file mode 100644 index 0000000000000000000000000000000000000000..01400904adfe3681be512f2b5fd0e65c3f054e65 GIT binary patch literal 36041 zcmb5W2RzmN-#>nky=Ctel93TY=posNXUp}lPxPd^Y>EM z^}VnAzOUco|NEauSI4Duj?Z|%Ua#kRi%?aT#mAw>K_C$LcjTni5eQTr1OlZ63l+Xo zPs}I)PuR|K_uLQ&g0}PjP!g^X&>#?uh&$3ZHSfPzo$%ASs6BdhQ;bQq5sxysJzSnx zGBuaHiCJA*NGp~Ow`Wbhx}6R0@IZ0VlDZK+z5Hc=!)LoD zak+BAgjx!5>e9kbK5jAVJP8kfzkSLlLck=T7`XZ1jOR2t<;8Wk1?P`SY*q{8L`Vcv z2vO>rkn9OW2ocg+(1cMMi%GEH|MydrAtNak{aJS!E~3;@DI~!sSf$z-#s3$&{~`A2#@U(%yPt@J6199`><4Vbg)jo_MDB|s z*RjcYNbN^i4^DkhDkiohts_Zj$+6y`KYZ?Y#uz|~bpiGL)X15s6V3&%u;Z_8a*R4` zL?YN1aM2$sp}ya@)KaFX<0ZnPtlK`NT5A+;Jvf%OzS``waZ{mdbK|ZmqNGvu;MPu+ z8RqH~VQ453HO_P4TUP9(6v65?zUK$iuEm6Vf8QWHCM=dn#E+U^;Qb^$D%wmKgG}8$ zYj+z&2m;+tm>x40aiMgBjKJC1y2Foxk)H9ww4fAQ;0-CpX2JzcWr~X^tf-0%x<2hf z{no^|Y^rdd>(zo$*D`#xU-Ug~j zhSG^m_XeyR7&K6?{9xk7KRs%~oZO$hQCd!OoV77gXC?gXByL^=B?K{ta-3LJhG3*^ z_CAPqC2U^WKfBya5Gb2Xtc5m+_6lW_GOGOzVv@!dtwWSw7XkMvQ1X(g5I?Xj55f1097A#ZhhO~pkMxUNw@SgV+%o0zy`!c^n& z#CM+#8~@VU8Y^RFuc7+o&Q2z7?pKZJtCLD0NK~oM85<6ICMFpzB-q!zp9x-zYnO4| z;fRy-jv1IxYH5+XOSZhk=;6UCUf+91O_H0NRjjTz5gj)?FYo6}z7Pdz?1H81k6uQxfhRkfBGxQ@{=te1{MBd6OE2}~vmfVR*FPNAR zkz-Kz%=!uNOL2y-JEqr#MeQxKd6hYjS@>J)&6Ddb2Uzgg#|0;B7-6V_hcPR4FyZy8H1__3xO|R*LFs`nJ~8=2PeU%u z#%6yZPK!P`Br%$rv=E&W6pY<;eyJM!f_7l!j=g;(nu)EgQ`bcjZ#%QozA!Y#p`lmR z$p^oPB_-8$4-YuH`GXzF-ipX6V<0y79__eSyBDZP<6$8rCHrh=jvs_SMh!)EoLY}E zpPYIWzejyGK_h##6K5lZ5JjOyk?`NK3P4EV7(>_MM36~c zmRioXcpXV7B|4kNjA$m5!gZ!+#F0XAK2l@c!T4wyB6G<8tG{qL#+1^eKp%w&p^B=C zI&JqFzgz0#S7YM9D^e0t*Q8hjxuqyDkcP5Cl0gq*gn{CLfWLQ`-;t{Z|t+kERR7ok~b#|NMhcq_6s(W5tE8%GCCH(W}GX8bZ#uw#iB9SOqyoN5_V){{B}vp;w4f$2iShq_9ZIk@j5G zwWtWWoY+_d9bM*^peQA$CFTow7_ps<0_DO_b8>baot!ZB^h6$zUf}Ck;_Ql8%SNNXq`D!2D4nME zEj8k2&zgVE_I<;Wzw|*M&2CYm-CSvNKC+UxPVGGly@PnQhqK zLK74WM50(&AP@-&4P#CdrbSu#SdSkg5aQxe*+H*ZRXG@0+p2YBFhW9a>eF)RUO++F z++?x~Z5`k=NBQyfeXR!qpGyj~~tbWh!@keEOD+I|!_u!rpMn$(0%x#-i&t z;?W38&|7aWw$eCB$>Wfc1yx-8Xudi9ewG1gJX}2av^$817$r~TmI~qA{7ps04Vkj! zjdkl)oC~ptIkXoTv514Wq!&>s4;@I+J|gI^`eU7+BpYV4MPL+SXKd0pP#B?(c#K%z z;eJ5TjBCsgNXbY(jV93hWW<<8V4qGwhL_0uexU9|9alUGLQr_WSX6AE=e{?AYD5MD z>!q6yuGjC9a~To9$hwGDQIV;B!#`|u593GUmvUQMsRCbp<88~nWgS8_JzPge#-#n? z+S-TDX*9LBMQ#P|d14WUWoAmy;A2?Z2@tHHpk%5_sS>@)yJeE)!o@HN6OZUgRwm-} zi{)}PR@8_KT5kdq$q#;ZOhySiHov}`>r{w^ANpDOV-I>7!OLtPVa^0!FIlssYk?Sy zgqa8_G-GrG;t660Axxi8Ly(E7x;Lhc-G{nqjcCRXyc^>fV$6cUfmjlwzIlNWC3(Qh z3|k7nnJRD?#gKMM2sIs_J`7Htob3I;c@c7wy~=qXBZ>68;qKXTb`;P+L3nb^$n7xg z?YZ%&NbhDAA_~LTFY7Idt7~QHaf=of%!dnFw}9aaw(Yn?;W%>Hr6@l6+C3HihNVosM79fI&>Wxi_{cd4^^b zfWOg1*x3n(zr7f&i*I}F_+-O*k4swimMkU*DI2GYb6}q;K#D*_^7V2rma~ceWO8&> z0%r`y@BQQf2$evrKsUr9f*C~|5xc5#yD;x5j!c`)yXxc%#ze z#~&Y}H%v`npvR?Bn_i7wcYJGs%M{tkKRL<9rqZ}aT~NZFmNqw9(IJeiu8V)k?D~Ve z#yui`=+)~__rK=rD{pPzvAbep&&uGtdB4(1pBB36uV3xLoaR>XxoiW2=DyhvOPn^| zN+Yql%u}jG)YXx?dhm|^WjTHQjHLWll-O6SFx%jphV=JJ12whxl`mK%Qn>@}Lt%#-eicx9?AtE;Zixo@EL_g)w zVnZ{T)YtuqEHaoo7>qxBgpq84q>RV?w(QMX2yKKF;#%NozbAsjEQ2c^dm57wB^HrS z-&3+|^nf}LPYN{?B_CZ?JQY`-LZH^K#XR^nA}2Ebp^MNx8L9lHyts~&ab6ml(lWlE zIgHdV`VYBPn6r*OrsK(CKXt<{cfh@dM(18UB%s0AK{OTTPuYg_)3w|$wG zp5A|R`lf<##O&|4@$>V~xjry7q;EhsV?tWDP)-jlwS_<2U!N#1FBh<*xN@a%f6}KH zxklxg=;)xK5ucQl^yCSy8w=9~G>2686Rj;SBvre7oS`>}&=}w+x53rW@NGb;ZgRJ?z z93Jk*%@*9axHvL0G9DhDFhYj(Yj%n8@n1$O>;hhCq@{||EqrKyF6`8JywwFSfFJ6! z-6QPd?VW5;X8Pgr+qZAwY(0K_RnsdrY^XJ9eMBW-DRTY#ucIS@5*>ed=@qRv&aSSy z<(BvrC+ib+s6o?P^Ie)j8UBZN7>SOza0RfFmvK@$EGiST*;QVM{OlI!6%i5X&X7Fo z;%!f>`%HR)YgS?LKU!W_4>w>CyTN`a_v zXn;FFLqp>snx@L}tZV+)uV1=FLV|+uL6uci=+7t-=TK5Q|@5{?nw6yw$hUsZ( z-0__xBqWidZ5CQX!`jjk zB5-BJ)^=)iR2Nb0cU1Y_7=cJr?$Bb|uI~Qoy2I*`Iy5u{H>9$%(!jt#hP|cI$=TUi zUjFgD;0r&){KC0VI>-X_gJRb%#mPNOOqAjNvFnZK`>~solfxXBpOqCf$wLzHPM7w&z6mm&rz>M>4;&l5@LjNRbdpo$HYg5Rpawi zqNlc26p>$2VwH~G(P$qOJIyfW+$J$qY^ z_3;|Fh3zTXt-Me?? zb6jE753XD(sdqitG+F;VQt6;)VKHB9P$%R#PRYQ~+mGN}#ShO$vWz#B`TlaXy~!Mx zT*r&VQql~@3pqi16!AI~xnkDCh&S9A9UX1|L7JJ^Aad3n4`&tp|i8n{V32KMwb`W{DIWas4MWM*NhtF8V1{X51RNiHr$o+MdWS)*#_ zneARl6(yzJ-Q8=PETlNQ-Z!odX>cZZdU;WhlIl14pL{Db>+I}IOH11s>?zW#N*DE5 z8FOli3J*sFCMQ#3VunFC1Dd=Kg=^KDK2hVAr#4SZ#vdcraw7sdYP++9dtHA1$DSUg z?0#!OYA>(-moHzIRc^cw#+>s0QIwgP31?+jq07#mhjOLr?ORSB9`Xq3n>TM_V`EcC zSwjDlu`o3?b#-$qD6O>}IxpS1Idc`2-WM-uUpp`{F(DX}y5gUnKOP1L!zq6H^of?1 z7BRilpABdAgo2j<2WN!=>pG`7y%$kK|CH(;+$NXDy9IA9t_BrBYcn)7#0Y->>67id zG1JkLqkZTJd5S6gqxgKi7iieCQICl3p+;Xh?fxhc#I+K^o__y(1iMTf87Mf*iiy4< zP>VZ76j(5x9Ny|v-zI-JYra%U7Hiu z?d*it*zkYCcp>mswhC+-tn02!EKsof2))IY%8e= zZ%rSDAO2(reu#;Q$=cdlO-&6{UBJQSOd_}5{dGzTilk@H+z)qb;O0V=a6bK6!p+M1 zs<@a33J9)nadC9*_DR6men5dDv60^{83JyxL3aNIOia6qQMkSB9UTEjYgMf-18`K` zLM9t5kuYQk2?O8=P%_KP_?Vc27NcQ#H60F>AdG))%{w|e-n(}X?&0FSv0FY^_ole`v+-5?$@&NIrz??LgM-wy#+QTr2?%0+Z1#-f zl@4Q_@$50Q*VXm(^wiZ`B!fdb74L}KnRS_)lVUZ%qrU!`yan_-DXBo+qFk?=a0gnd zTY~THlSE#=rD!0X&3_3$M<_lea&>hT>Ofmx|BWVR`P;YR;^N9LMEI)7qlU)F3$H1c>a({hwo$)5?$+CIvNuM-qYr)gy7x|gN}h;Tn@adLvxN)8T1 z$ShUpig)GHlx2CZdi5{6yVi)au-wX04gc^R%H{CT+s)3-!6EALsK>EbxFDz zPec%D64D#;ry-;8M3EpbprYJhN3HXCYW6w${rf&__a|Zv6$L0F_0i`##8^dr&OwV3+GQ9#_ZECE{F7m2sksg>2(m{ zJ8|B|QW8hgr_NzuL{i1Ep&+2(<{8coI>PA)5RR}y_SX#%)d6RXQjF6X{r>*|Rh2@e zu>6RzE2~%pq)%K@4R={A-kke*hNEc%zn<)<(nr^jX7P1ts8D;jNKe>fW$=?y<(`46>h?Mq z0xkrSUD0}$kN_u9tXCENz~)_1k;9i}6?FRs~r%~g6nIy#y^`lhJpe<35m2kLBI z`}_O6oSgD^?%b=eB`d#Lj;|SJ|E<&n;GMFv^6BZReUhzGdTvcx%=t~z)5TfW4%4=> z%G2i|#KRl3tw2XdhapUi6Z+x9hmhF7Kv1(Ji?n=BkALOobA%#Yj`kdopd?yBJ;HVM z^sH25Q;?I(99>;ogJCi8?VFCFA%Kk~E;;!eer|51yf4_H$Qu3hjEs^Y+grD8<*3{E z_=qw61&@dZhKA4)Fxr?y@&Q-L-_<>T$a8B{L`XAhYY!hEAFr&eeEcYLQoD@4&c zEc^ljmq@V5VzHQ@d13~B|8AP5Y-MJ4>$U_k{Jn8(r+G?BN@!>(zl zz*n5yt07x#Cg!+s2~`6FIz(Rzt_^M7Hg*WC;o)L~?8F%Q8*sW21ya^qf<33`cqpf3 z_;hg(69pUKa| zz$h>+so(lE(;8MVpQDg8Fk~y3`tTtt0_N}T-d?(x7f;1RZ*PolX?gkf-d=G*0pG~$ z)KqF=;i{2xD~-Z){2*XOU~nHA``|-qW~#Pzw9)^Gq|~0S3Bnlq$;XD8B{yjGIr<#G z-R2_iGJlJS7ZMBIp9&8ntIxfQj*f2GB1%R>U*8u#cYJ&tR!-$Djf~<0BAifn6M)p| zJ}KjAV-s~=(AxoSvy(qDGc%Jsm`00k@m0PE4e~i3F%|{4t~)F{F|T#i!uk1m&1O~3 z1a5BbL0@u2waaWf;C}yu8O%_mnt_2*lBD}m-=~BtN7{AXyXP==aB%R^qetQ4Sl)G7 zg*oKwQ%y#OhQ+EJ-*j_^e=ILwA1*N({;?~c^YrWvzV|+Wh}6_nsIdCe!ymkj2QT|2 zab&*zJ`x5qW+Iu}w?{@t;gUKvo$M8sG>+CkC~s)EfdE2cRHRinw9<5TvH>V4Dmr?7 zX-SoX6s9yZZ&A_1mQdV`fYS%Iwy#S{N;*@AYJ*n5kRcwjszBt6n=S)mY zK()e|NP4d7xVpMpS+U=+N?5dE4k7v;y4H0oI*BW*u~CA9DF8Q?HGV zjMRAi(1M=`2)ja8srQ17y*(ZwVUipx9JPc*dg?oDgoTAgx9yWBPf!?zg_Cr1*t$r` z$${ePaFHMV`gK=ZTZ7la(o#NWU~|)X;Z6V7uV3LN!!V2Qe3_lS+?fKj02aA}uU(bhsKl*K}Q7`5VrUxu?frhx*#F zVmcd4vQxILoc=4?#np9nDy4;)CsFG*%7HHYD}RH!abIRyY17RBD)A>9rTqi@C>PMhZN}&|a9*wO&w!Z5xL;@tF)Qd=TyRguu9%2yTj} zHP@e>dm@H_mqpV63~F;Gpi0TgVw&`leMl^dC=xFpp}k=l5vdj|v^r}}(()HWi^C21 z>*L_KlF3}>G#|?TO8(}`gwHJdRI9L}q9P}Qpd8Q+C(+ya$EIS}qPO~lqe%5)@O|3z zvzjF z6ViI0<`Xm%KVM&IW;JPPX?uHnYiny$Q|1%fKR>9N&yACBn~zVeCiW0B0mY4#YV9_! zM$OC9lZ}AqLdV=+zH!uHM%z*n)R#ryAYbfryO6kF#p~_+2MfO39uy>30hS2Ko6H}i(ICXAD zwd70D4lm6UG*#%9p8Z&GA<|b7KBl`TP8!R`(UAZb*Ui(D01NA5SJy?H&_U1h1IcUG zqCd=yGyTD*U>->wGDAlnPvyz-d$izhax?B;BJxV<=Wn^506=1Ed)v&^G@q3)!*6c{ zq?i)@8h+F;`r!7hW=gNkl-S?pDBSGj5keFsCDj{|+&y9IG1Fnpl@PgqTkUT zmBFJlyyS8-wryi6EG1UUq!&aCk!}1JBi%FB&1)3$+f#O1fWLc#_k~KLcYJYEV8Ky z=tSSykMINO3B{#w9DNrdui5`(`0p%$8zJJya0x~7TmKX9Y--TO+PI9Ztg6gApF-Dv z$Wsbh)#>gVfL(Pch*Iy}m9yjCGeOaD;N?>RXMVQ7QmoP+%ti@E;^2LAjb;HnSsvFV z8~!M%q=Ywtwz{ye5V{}>OLk%5kG`y1u-b!yf_i#-fYLfO>}qLfXc!t!0$~;q5C}N= zVWe@?c(h&zdI$VF5MM-WS{fZCrH;D#7U*5C^77c(+0mLoY60RLO@E`-_&qAZ+0%1< z3WJxo1o*1P`Jjah5g8fj?&W1vX-`$b$H>UY%^g*PdzVla4P%07oV%)xm>7An&02ig zy`EZZBB$Sa(Ds^}f~)IWP#2k4LDQL-XsD@4`DLrF{#1v{(bo2*7R;3>dMRxfb&&dwA*GmPz_XV0F! zc<}-alc0Y4vlyapa?(&+yMt@-XIh(^rLy@|#D9jw#Hif8OIC5XQdqJ+*`QZ492ORaiGd+;v|5f! z!9!~*a4t82`2_MN1}5eg8mEa`kC_&9OTHR?3AY7B1;N0vj|{|2f`-%PDL+>Ze$Eb> z69Gd7F^BvK+`wILV5TSUY`z>OdAYfPluBK3yf@}V0aH?^)ELyB^z?MlMgj3R`Ro_h zIB;-szFd3-R4z@-3-sF0={KJ9sH&^KtuIlLJaMO_X`cG)r?I#Ee4NgOhEOkX2R?+D zURd}#GV<$Ou1OOe%J(%h%ZBr4sCAqWwMAV_xS|ae3|vM}Lt}eL+bCrSW5GNnH#Zj+ z#kX(Y?1qc4i-@SwT%*Q!qrd#6RIr(gB|ti)uR1UTtK&+9^xG|BP8`%g^#ao0cwZ)z zLHvH^kZlsL5di}JngpB`j7gZEw9uPz)=uLDD4UdwtY6r8b8dB2u?mU>e`I6?Fxiyf zKHa_{nox6ldv0Cbn03kex+B26^3;yA@I*Euto)c3tSmk(w3!fopxepG$?!>_AM;n` z<>rEx>NHtTg=jN%xq0(_ihxxzx-@f~G;<2S#V6J1^IL(a1_{!u4233Ble0HNQl*0% zad3LH0XMAT{?G64uXVfTbx%139O(r~8Sg}0Mp|<$WR`h5&f|{I{?)|vv zF8K|MaxSArU(h@$Sk=#cb1oyGL7zXCddqVdwUan+d@$paXs8`WzXdKtZD%A{7eExcCY$ySIuw^) zCD7HVfW%9>Dk?EjjQRQbnH2XcW5u)wRrTxdyUc$|0AkAWz!T`gShWkw*vhn~mezMX z^$;04jFz~)^|}oZsKP=*UP$3zGmOEXC_*|SBI5j(wu>&K0=ELrH2Tg4 zz7S1Q&igVyH-~8M&z3D1+S%DL5xa$9WMuUE6u>?lz?(O3LPA2aw4cYtF(q|vZ*Aod z#a*vkO!p}Ux!j*5s{eIO{=IDXM$V8vYwC($uV?#8-G`m$(FT6(B2;yCMUB%yqvlU} zQ(2jK&$zjc#Tp|R1p(TALvwj3ZOzMMQ8BRxT5`Aq1i8Ilti3$!>>a?r91_sBc^zRz zoEXh(U?VNxyL@2qXQs7b+eTUYR@S;SU=2J^fww`>Ve}oS0JLJBii||g;!LSU%C^7e zI^%K4xu)aoXI6#^X@u;P`OF^0$HzA{Nsf7pu8mcFNxFn$+?##_`pHgULTk3Z+Kn4G z5K;zVzB8c|AOnw$j>5nb1a=R41N;C0;8C1Tu66%(Qn*|^Y1t`>iPi4j_1ImxYg^aP z$#9>W^mpyb`Rop9yScii`>faOPX%On^BRJV{PdDSm-S!64!L(NiCop_Z0RSRoYS(vtOh>c&)4!1p$6PHhl9 z$SOc-WMX4mn2nJnz{V~pEbM~$+1UwS;9_HE;Utgy@2%cjxj0ib9_WEK_KBxjzJT>1dAy ze#>r>^?s(L$=#Ul#|JL8Qg`nrKtD*+Qq57vFIKkYl!b1R@#ZI@6wI1TuCHMJ zy?Q0hVcuYz*>8=5gX6#bd}?lC!Q02DH%)BVoG-rSrL{s54|?ElW-l!IWCkYOVs{GQ zj_v>8>o;w`k4L@WU2g6p9?N%+iKt^X2bRLWf5aT@@4rbQK#A8~W#j!TCg6BB{f1Be zJj_P|9d?hBhjOehaowt6m?b3*LvMwCZEwGd$>7_prjy-INhn0+*ie-^fQ1G!DyU!&PIiZle1G0v-`@vWPE1S; zrU>|Q0Q~WEu7`oMwY+;sBkZVJ_#cw*P}jfy`v~5D{i;=?|GDz_S!aw8e-L2kgV9=| z$q7qELtTBx`{cKV$UzF2prfOs>Fo4KLP7#G2>o}~aeyFTiF&00p#tv-ty1Z4!{h=w z`duw8HgDv)wHR_dtS%1W&) zRZ!U~msvsALc~6QuCPH*N%>Kn$g7wG!ExnEb|T=L?3XV=TvlXz5*?jug(A?FdZ?pH0H&U9{ebp2V_~7pJ`{13l1#kp_c;71MYi-T0ulE&6 z-TMaG{s+^t{xLnxPHuJ)@GbHwHQ_&-xU2 z1)L}Fz)p-qzFlq6u=O7%M9q2vWS|u)>C5uW%>|&fr{Ah~!W!xh*qOvR*bVCjq7Cba2YII6; zVj5bS-*5OURLp`?;>{%C{30_hB#0juo?2%?g#y$4Xrl=; z5S+4N{hEQPsi|>!$OZ(!F@gt~s(S+zwYL^s0LsaE^s8;Yu)TJ5qX{PZ4$+IO877hl zl8YDfR5Azl^d6(Fz#x zXB%gy8#6XLltOA9opLP_bHF8-cfOVQ?-oLeVW5z~Zzm3PcfhLv?6>QtP8{JG*dg$} zCYM=^yHboqnwpyRf07M5LvjHDXF#lgcHAx0a+qpNdl2OQXLt(sw!?uB4-N5E`5yo5 z5c6DJGTQoIo}5&ZLN*XQ-iDn4AOTu$bX-=y@dZgagMr~DijjpK#W-17_sB7F-$YqC zIy>78!U7d5i;MfCb|u6}R8&+@w%_Tlfp`D~M~d?S<~KGIV)}0p{o8+Jaj@v}UcDkh ze(LJF&8%i;cja!DdV!*X!mM?mVF_m7z<@eZ4&q@0^uxhlso zpf7jPw5TY2vR_zC7{NE$;z9W%K_UVP?Ag$mn56%VMIzvd+`o-vS+wM!SR!>D9ZDLS zA1f<3z+?oOn6d&8kRTw(358l4TmkbKEa!5*-;+3zpk1@HO-f|OgkdWzNru?l9&~S5 zM4(q9V!=012hf_h+ec91Iuy*C@;|#~~nyj)@6?NEPUHo=~F@njj=3gq+jA zaDB_2@v1FV1l)N>C)|zVc@Mqn{G@<#q5(y^Yp9KM8*L z(ALgwc@6v^@NNOiftsz!Y5Pby;E%&vRZ-#L<~9bIhxf);K~EnarzIy}SY4$hA_DiD zofHRieEpi3k->2B;w`$9@?MFt z2A_T4^D>Q>j+H*U@YkQ0r9w8=JyjJI6%guy(t*R7FMShHT2%#D%gWEs4+0Vj3S9uk zAm1UAa|tU->EH$ml3erNz02fJN(|~`Cg>zN!4(HL)IdvXVST+=tFX1D1*$=&kPj>B z=E2Aa-u(iTrTp&M_}4U`{e1`GZeek46rW0%ZHBSzf^XAzLZ44~BBhVeJz2g#Vlme- z7XDqMpySz6V)b)m7W**`GDPDGZe1mM87E^<{C;0-kilOpTn2qoB1i^>Nt%(UuZ(Ew zfbIH1z-1b)c7904?wns^xEUTP5&wOU> zz_;Zn1V%Ds94y7O+}ySyr6dA=IHV%|etw{k;TC*=GkCdaXFvhWYCXsSmYH=xroaP# z4^%k-8$enu@yQ?u!+?cbsr~Pvx{F9)15#2_Fu(5Hi2%z?KIc0R0};{m;$q&AEoeUs zWMnz29F9|sN_3-RV*nuP%F6neme{=bDDe=PUzSByfa&8A5b*Hw_J01H*l7;Zs%9wk zD3AnpE(^pIszVO&uFd)5a)lz<#RzFYe-M2e`bWGD7$d@YdEipCSw9qhU7ZhHR4{k- zd8(?a0)7-#L2H0j#YGa4k5Rsxr}i8!oui48QV-k|h~_|wDCPW8K*)o)BsP{PO&Ji) zl>~W|%7q8 z^qTDvh!{EQmt`OPF|3=GY49*o6cbZY?$C*HbN9?;DXk+hk(H?b+r93R35u0){Es)S z1+t|a>ws-V2vMAzGzAFOXn_zc5$$%SeZoc(0itlhJP=N9-FM*h6;v%M4_6TY4q7v02g(C2jV6J9oBWo_Vt-CFrUNtDMp6cwZ%nQ?r&f@`uGeF z4kDT%;G>)_{$TE79QX}SpOR#$epEB$A_tF0gF%b~BRC6mEL}q&JqX`l^GVcEk4Ddv zKze#zWw>|S&4b`t<)~kW#%VhXDZi~xS4xt_c~`0t|C$`U*Wi5(0jk@JQJy%tNLv`| z-`%*t=(K$gLS;`+l%Zwf%u+8(Opba%K05r2c&pJfQZUiSCnms>wbVp|zGmMV>xX0| zp~8Dq=e2QoZ~)<5uwg+>?d$7nYm<)NGA+|#i$6JUdxGaDxQm9pQ2;e%| z=boOP*bP(!+IowYRF*2-Hkc1#qy9^MSujvsGp1kOezN0zF1`Zvw$0iFd|N zuGe?Gv@0wrIRjIwU}$@>m#~%-YE%}33Tt+D77`{9vL&XX8W|cQqo80JAsh3 z?*SMC(p3tqBsKc<3=AqtPgz6E|FXU}Pdk7E{3DT-ntq#^Btl+6VVS?r>n&bK8GQg> zS3VP@dqhN%b#sf+-1dKW4EVHu_JQ$nyj-@f9ZB@p&TxGoO#-bCLd39Md?I+vLIAd> z{~chtc1=j{>+0jjIDkWg-y1_Tg}pCTk3K393K6ITL^4-QQ2)!rYiXdc)MgO<%NnP7 z1mx57{{kE8)L=8Bi)DbUwVj=U%6^sf13}$?hYWwc(un$YICe+pe@b4uPTRhEfJy03 zk_*#K0i61Ky~&nrVc+99Y^zC-VD<5LN#lmFq!8HL$Ja)JIgYeUv5vQB_ZMY_ugyM* z97&59qp}9+Y|6f9sDpThN60wE>!3dfDKQ&XkA#zeuu>L^sBd4GcAXK_R)!f<|{E3~6gycIIAQKi& z{6-|(LIDf>dYJbbMP>3rWwB(0 zRP|SgT0<0;TUNFMs^{XKv@+mLl8BH`Pvx+#`yY!SlJPJPT~}_W`1@uDOc8J0F_umd^{|zZk%4${G@TgmQ8pjI-K)x^ zFsY%Yp@%@}zInq%NEmaGT{-zK`|sR^D`P#RcHp`JM{#lanPlXT4F^m9JOA@QG(+vd zgBmsGmwemjr1o-xyu`1k*1m7W(r)F@79`^j)t=Ci*JgY7(9WB(u(h`+sq!!_z2kdcqTHglM)ADNt-G*5$A=MBI# z@NF7mViW`)AK&<|yhvwrFH^PNCD$*@aPM_FL=gr| zkG5iGbJPT3DSN-|4no76bG?3pS0+at^fux>@$y$Ya6q2vguUzI{8nTn zUMQ03H}6>b#l^OLsjP?EqHDcPvG`rUnLiB56}}>nAO$HQW(EEx@Bv)U^~}f~7yd@$ zKXaEs!p>d%SC5nbc2(1f!#llx%;@<4WH2IpZQLLJnu}L~Ee*221I+!?>@6D6Jc1b#nHJZTpoqfOImf3t(pEY6ToF-;^1n{yPi64w~BpU2l0hihv@DLL+-NsWRJ9 z6g1^y*g>P5Ch7t9E6B{~UT53g3ZX>ES^6>jM{Gu>T||&y`m@Ibh6W1@3ygq*7qWuU z;<9Yp%*06X8#kbSz)pmDV!?k8i9{XZbaH|*v)bO?4sr|tuc_E#P0lX^5Vi)Nih~q3 zp>P_hTU!Ik%;8t)qoPl~!})EC8UMbzB3S$gNDwL&sT0oTDu-CzK(kC{=K7VMy!hd( zQ@16=+*D&eFR!m#{s@qGP$1Hd&5!$6iZF!&YlQy-a92(&VkCqp5rI6n{#@pQ($c>E z{-0lq^al5!7FTMnBBU6?iI|hRAcc*@Dkv__rB{=opI7+Q+ne`E_19AZS`jHlbYyhB z99lZ*MK8uVjov`2Tr9X|3lGY6pQ{Pvi|%@#sBWpNZN@nK9fI$zSIBmMl!;Fx)963l3)N*t>u%pW5Ol-|eOP3I zws8A?q+P7s3RXFhAY-Mtto?&HfT6IH z%-wwl)SGj81TH1`o$=Qop9pCYOiWCg8~$7p5~omnP&crf2#5|e$UfmA;!qY|5}Nqs zSlB?3tCG0D}8DE`;^nOti|)wa*2U-VP%q{C6=kBtnGQk zZ~NxA-`CCde*_6_{zs5-5~-93+ls*SEz{xJ+uqJzEbS|ZPA-=j*;howUB5c^+sq^Ts%~P}YF{J;gv#6%?oAIo> z%R!Q)?V^e}pJ~+jwgc%|5hBQod&5Agtp!Uiq$aJ_-mYdAqM>}r1hB88Z#r^AAzQmx z-vv@K&qE1Q@9>s@b*-r;rz-!pqPt$FjFXupXwZ6VyUtgcA zAK+A~c>5>zmeY|m5fU1dW&ls+rXO%14h7lqPJ&B*F-1}O!y|5X z(jBGC=&K`{ijMybk0;b9!E_$Pgsw-+i!T;GlJ;%uy6S$H4{Tn$mk9dci?p=my6KeU z&Im=et1szka=$Dup)W-3v29;0yY$kuHSQt~<>eeKA0dv)wfFDeU%q_VzCoC_iQG`e z^@XD5-vb8H#GR|k<3XF}5gSj=E)u%Un;oQVzG|?|qo8>NlNW_24 zqCiTA)#EU*+47H&A>U6rrnHI6utkuOQL0D_#LVYDEqQ8*IY2lej<25GuS#QQXBVX| zYCl%F20l6%O5lETU%ose*Dp0JHP8OCiW2V;#AYBEaH>SNd11sA*?&3b+uNHrd=L8O z_MlL|Bs^bjKzRK9z5}+a7-^&uV>65V!VGN0#FU3IeKlCzn1w5f(-`4#WQVzMAoYzTce%>)Q58;;V zpC(bmPrmq=n}#%lOD*_w)HN=+R`AYCk&p>T#J+f;Xz>_wAN{r!U?{trW`kr{`R*O% zC85z;k1OyS76#xOs8WiGif5wBbJFgp*|2d0Ofk_QVu4?E#G;b@07@Vo3B0o47#!-# z0F45J^F$P6-lxt^_fPDe#KchGgz~4@Z%j70D|4`k(vV&ovw%E|`}tiQZxEL9VhJI7 z>Eat8VjN^*&R-Yb*(L)+j3>#;+?<0Hr%Z>Il+>KRka+p|`9fn^2L|;kLQyE8^p(~3 zkJ#vb8uDcp!KPzS*fZ8oZ%55-CV%^%yHm>Exjg%pAK;x!{1N*aXM0O?^40%JBIc+e z!=)HA7o{WRtD=+IWX6|M*f17WDUWGD2E_Zf*JEgGlcMzW#|W?F>uDUN(|TL=5_`(R2pC#EC39l*E10MgK!5# z2y`JC0omQgvr`}2BOu-Axo?b`Ci5Rbyb0&RLkJmDIzW4^lwv&hFcH(>X9uhl zGWog5o0a@vXO?~1HvIVhP}may`<4!d zn@)%FyTR}PJrZm?$h`NCpF)(d{%1SQ$q(}}f)@=pjIG|Dz^|j3B?bR|{>P8PFU#(t z1|YV9H3p3hunOW`MMZ(;Ysin4mX-pu1hr~!Z*RUU>1;UQgrZ@iZljTgfdOo7SJ?W{ z-K_|Dr{?Bn*g1@XI1m2W!pZ;MgEwdk^zBRtE41bK*moiE@#Du(UZ|P$DNZ zxi?ycusy@}nF^<{@Nj>B87K{8S>VxsMI9b222tGnCp)A88qfy}~sQwk;Fn$%u*H zj{^*ZJ&cFLot0@SP8SnD&u!~nr8uSft)-nOgOvW6l>}Mg`CnN{Qb+(mR#LSP7@LQO zM>i@%!0}JudEGaxA#mg2u?rn*nHvnWnVA{;dDsgFJ7{-+s6cG94t6fEu(Xb|4ERG( z3pP$}sU$6}tjP18?R-&zoj8wS(*!QAnBUBi8w}8SaDk&++%df1jf9~pn4eZq0LqN&kjX^cHd6Ifx zT#qlR{P2XrsLr!zP61x3c^5zosGd*(F!Of`L1@wJns
beEN10(-m7XDV_vXBGK zn6wnoZ$c00`xcaeB|8XVq=FO*&`xYCbh*f_EG<`dAx7hqjkx9F=9b;s4qIIfbabkX z-#-NC1RL9HtE=r{6Ri+mt`Q_=NS};@D23z6v6Ht5YN_)8bS32CBo1EDq-q$uL?YF@T)JevVt%L zSmdVQts*U>TKDCQvtxF|+~Ojk&K+Oh`mivF&wkm!E&2;=bL3;;;DtB^Q^Ra9cwu(GyhpsBe7;Cl0h3C3wdk7cz#F624kS9XOz zm1DiakRt3vUjaMpaYE0fiR>0adU245p(kPn!e36~)juIrGpGP6M*xJUf#*XvSfaUl zaDIb5Ja%By8|3w2+vN<$IkTRdpQpR-Y7PSk^jG@t6R050`#$V}4Rzoa-qY7t^!xTw z;>=;>?T6O$$1H64g~T!_B@EJN2RlN~XHNdQgxOAet0O?+p}h_EJa`9O2|5|1l+glp zxPX3(xGmt72gQnlSID9i>c0E}m_WbHq|ZbaB6^A$Kmk#5Bb(CQ-joX1g7 zIV?dnfUeyZ7R4Q*_`nb6AVmdE0zCq6+ifwkBzo(-T29Za1zqHxrQ)|LC!^^zr;XF> z)atzpfm0z;t%PXpa%R#uFIaqehTc#4Q(MZG=`Qu7`i8cbIbHh}@5JRkj>G)Q%=}>~BG8`xVNT#>$(Q8;<6j<_`Nt74GEVgx z3B;d=l^p+1UtaZdq zmSoMYn?0@ySu160k;4D==-YR_zrS-jo#WIP^E}Ucd2OHR^)cIKqAq}JH8e6xRXLur z|88v4F!BIkQ%Z)4lI9FUAogh^UETWndgv&jRmSIx=VwPs?)l>#Fq$g)jM@OluuC|Z{S9-|GDrxFNAoNMnJo!Ct%85`MI4C4&Epz=SCjRw8 zWF+8S6a=ys9Ow34LLz19rPWzt~d=}7?*B+M*d$?%_l4HUh2@j@rPb=-(q z@kraviSotQHtEAV^(kqv3833TVP$`C!+J)eRCVa|AzqVQBhBsqX^it5TRa{_;BBX* zMwgRF&qI18Yqv9pTuw>(_~FBL+GibYZGJW5b8|!aKP6%652V+xhpbm-EPC`TFu&Nk z!6)BF606&;6cwpvnO<16MaH^RRYv9m>}egh*+`@vq#*Z~_?+iZk96+&|4g9{S~`ha~Z z*Zjd7SP>V$r7ms(!~{I=8;ZxytNQ6^|L)%2bw*UQm$&5$@5^D~3!|ic{P@wk&kvu@ z3wYe1VBio^f2!06ceR9sP@2*|DK!@0EnP*7Y^%lggYge`pI3ws> z#Y9D=t(uUeVUCgrK@PFTLL%?`>SSdw6ZSDZBO^(%Ls(jl9+go_y{d=T<5;=!Bs3q` zix8d?qyoWiDjpp)E_|1eEkXB^t>H?lU}a_)P$hW%_$KfIkayxORNFqlB4=x72N35r zN6JM^(4R$Dx)xnIEuj%6TIv03~m8|UX=LwCPJzKiWYS& zaoeHroo(ISQt?f!tgJvUrqYcu#Fxui27T2%P?YHBj_^H)v4XE{~vV6VWJ_^dWMR)oT! zQDK>8%q#e6DBrH0`vbC8HcCs2vkIuKWfr-5=~7@S`wr?(_+!v;r#!W^mW5SU!XpQ| z)-w(FV5JRAbeA(5Y~-)*TCYV_rJ5whr=*lYmd5%d(^zWEtHd&=77%p?e-!iAcaXPD zX(u_yOK+b0^^jJoRCxrJmW%;l0Y51#5TB&x;|X<#q2ZqZ!q!Ne2U20)9h;aKbyvmE zg)ak%y>~k?B6M|j0*;v8(^?zuqQ}D}bELphIdQj)n@DUMK0Hi|-Vmsr`tTR%>xwNSN963az1)zmZ51 z{FG3+>yI8Ohf@8yC28ktY(0u!E?W^Sj2Ex5QByIx&|uH+_5h(3^e^KH#b#MqSHY`- zZ-RQoLV7>4a4;Mko8L3$wRNG)*&z4Dfn$&0L_!l^z2dB7_%+rTD(To0BtbXe2@%Ak;}=H>=G_q${3 z-Rx||HEz=VQ*_mj*LU19*#NRTH@6%v3kZTIVHGhyZ;crVWNuPx`^%TvkV*@sMimqm zChE^b94zzwmL9EcSxTQmpKx(;5$Dp=(h6Gbr2ONx&*)mDeI@esIL46?$2>#U z@HqGa@!+3)Tx_~akUbN@DMdwexDL?qK<;l%zL%a}J1x*Bb&oBcsBWAf9)8 zJQ#ZVFuH)i*SYOasxXdxCwFBqX-7#!r44qj{$cnK@JyDz?CA+lNtK2nNo!rS&Yux5 z;A8L>r_eInkG?ADgcP}{Nq zltra)nTS$sF``?^#y@k!|5Q;_oc!jSX6&qHaZdO=9@v{V#bx6$CZjm?_V#+LR7i-d z9(Y<)GtdbziYKD;ufKLtcbb}V7pymhxqb5MS0@ER2nBlT^pn>&%3}JM1_H z)zwaalKR|vSVNQ~e=nQGXR90O$nHocW@b=l(v}aMKXLehg$C+9%~L^WNx)U1Cp!vMaL38 zB*@ev{~Ey4Qd!QXEdMoNJLyz#p$PA($*7jo@)otq^7kvK=Cf;DP+;7hm`E3y;Aa~IV5fR%w zht8)T*rayul&o0tV;5t3msA-m6RF?a{Rp?gPJFA80j9>l2h3%hTbm)#cUB}^7*p?n zIMLEu-IbTSULmi%p0Yfl!Ph?NIi^${LRyE0fDvpSw7t6D9QW}TE(OQ2pW{v3GSP;FgozZz)BxyIlRz zMlkGL;bSb^R2l{@dO=zmQbvx4Imz>4gN45w-$aKpkjRIw)yA7SWME<<0JlHr4Et?{NlxX+1U`WamP39*4Iye z1bewZ)IOLH=jZ3iT06D1FVxs(m{`Ef0QcYM3xb#q;#EN6TKovN5jr&R$mR%CIJCs72|)%y!6B1a2NyP+ilMkV4rT)Phge^@DC8 zhcq$IS#bD^38qKJko~^C@`kjT&ZiTBA3-byH*XFBv4qMJ9mT68eB%HxdWIkyj4Sk$ zFvh{4Q_)0AqsqxA7))d8T2=hmI`=r3GmMuv^pfi%b+NDlgg42$+FW2CWG-FHiZv4J zI$p7M-lqKGcW= zmxZp;kNI*%BcNH+0ZZvGr%lJ%4oGDFNy2woYPtDG}1>Pl+u zZs;SEc#lviYiqH1_4a;;SqBH~~zsPU>EbDp33%zX07sO^BS3_i9IOX!yyc7(B8w9ba{u zOfE`Rzdi^rAlr%+f3&}4V`l7IZD<&`DM9?aOUoyN(1d24&^_wu03t9UD8-=uk5@hH_M+qlcdZQjo5 z=ooc`c#EdhT1$vdVSqN1aPcD;X=-xAfq5@RyK!N&t2$o2u9vaPC@ z8cF6g>k2s@nmz>d6`GNG*nqJUd<6OiI%N8YgsRir``q%BYuCDgA!4+_%CI|C-477! z(0so{q0Y{oAgMOty#Vejy0$wZq@<)|a@7+(U|p|~@N{}%#bF3H4jg}?YXy2+0aN8=LTqMa=D2gb;PF+?t8r!iiWj z>rH=ZI3zh;IQ?ei%Hf3fmmp&RaemqvQ46eiC_wRAOWVZNDd!R46k^5pvLe*(VJ z%et7ItYqsrGVy7o@hHz~JEvI&3&R@-1K#iVkm&(L;N2)Bemp!p&>UZC$b4!$1q^m7 zuOVBH`4yb_7{lw6b~6N#oZ95^-+#S#i!lHRL=GRT-!ZPzm6gBl({4Uc&}c*S)sm~X z(kF%Q@dOx{nVQP;M&7z5VWpkk3b8wKfsSpP@)Z`Ojod(hImkGp!6N>1x^dFwR? z>8!iT_2%n4KWInR4X%X-Uidsx34ib^S4mO%M-x^k%&h#S1yG=b);8Ri_SQwXA#i)? zuf>~YmmV%WylrE*6?8X%ON}-geU=zTMU)Fhe6jX<7#yLa&o3)`{qj^uV}qIwo}zCM zn1KC9(Ud8agpU#T7`o#zH#b-|VjAr2&xye?+SS*Wn$%5`aOC%dU_Q=3`Yhj~_H2Cl z4~Mp!dR*azB3%T-AsQ$GlQ`GAUV)MT+W(ja^LTVx8`xv@HDblVh$coa%x0O ziFDK2ssZf-#{CF=6f8X{>VDUKyB-y1>&@HnIo5o8;Ym1dP;vR+bhFlr=Ef^VYC>#Ye^5;Pjz zVM)cd=GWd+v!6Ukt{YtW;sJ@2&bV-9?LO?+Ft#)e6H^u})R?z#mhq!@a&cY3J{sWj z*8@8pz+>o6oV1Zg0`-lJc&D}xipt86>v$_OQ!Es^)}HqEnNf|!1WV8V3s4*SWH=7v z_$mq+3@G|8Hq^dQoy>L+7jR~3fPF)x7=T-5!1ZLZ`Q98|@jE#=8SCBvqz25wEXf6P z!N-qf2tmZsj%O34YT$!?*G*WRfJ0J^D`3;Rp7i*hOQv5$d zQo|gumsFwJe_lwUZsVB}R-?GzHg1G5x%R;dr(IQ@S5zKiFOyuq-lG@`1A4Q8VWWKE ztA2Ibfz2!kntNd0>|97F5U`!SzwT?BsOkrs;gs>)D@jz zeP|`4MI|n#a_x{kA9G01A(;&uXp}vYFQ_B=5_=wVA_0&hQfy^-lo#*QKIONN1_g;2 zqVD}#K3wwd$^>GhUutXH9T>keiX;RbznXFLCfm_EtSbEz!{4`_ z(?_gKL=AtH-3saZEeKBjW`98^v4Vx?=WCR6md%bg2m)q@WV#rI72Z}M;6#njo)s*% z9ddLWAr@z+^>N$%<{rY|hrt)Y7@eIbd0ihZy&5*3YPvMKv4@xVI-~Ko_dv?cefzd$ zNI=AA?MY|c-@l7qMj#ig)Y{t2J~5BC!yWg*E!JW7dtr2Rbi>UrrxbcbpkC`>Vd^Ho zKKFCo8G3tv*-a%r9mG?-hxip2a_k%%`>%eEU!2#R_=iM~M;TI~;gpkA{N(@mOU;5= zl{ZTJgx4xTj;+i5pE0nLgQ%*^pVNiZ$QQ8+-c-d?|X$h0r12sPPi*eWt=~i%Z zGBfi!0HowSN@WV#LN~2AYb)On)}R=tK_c>Q-fQX zUz7zp$kQsMLNqBPk`3)&e^pG5y?>9WPmRSNn`vXu@=U2C1qukLP2$3 zI&g*B^@Nv!pC3GzI+_NuXBhYn@&mo3!(RY-W*&$qtV%7;4-uTy-L{ET+Cs5W8k7AV zHKi^sE&XY7a_qy0n!6ZwFc$y)-nBgV--d&X!ooEoUNa-RgM|^#gmXe*h+#X%htEkP?&4Z184gg$;E*TQ zG>lP1q@%svF2Fk~X_LBPEz{VJ_gY3hB<8sJTDlOt$(s_Iq5BUOhP*x55N6DCi0$?8 zsJt94OnGAceAv@LflrG{5mC6Gz!pl@nxvNw)V~DT12F!E-mCMUhs|QrEq;A``Il&-jKN1oyc!SJJ8Qu!3HbZDJ9FMr=Kw~14$0G>w z-?)$b=-(iFq~kb>Uf{OK397gY)&PJt?l_Fpw%*<*oHuY6ozF_vEXx#&7eypUv!$yGVz0GU{lM)bcx3XXm6=0Z zz*!@p56N=435ZZ@Rv=H1UcPb2*&jiD<5?`tbGN8y7XPZ_3MPeTjz-rN!%L>nFX6>) z#Z>Wiyaydl?6NMx3T`va`j%PdEI{fo21CRv{+iCy>@N#_3LvWmSq5VBa%l-N=jI` z0%CAH6!87Pm@Im^9%wX%KE!XpM+mVaPsDnji1+W`!$twa?B`B+4tEPvA#$*Ha&lF? zj@BYPYfT}=rU%>-D7|O!A5@u4lq4^Wmm>f=$g3>TrMiY13^6a$HLt%c}26)(z2^2~OOk?NFCn}-8UN|Qb;k(Ie26(ap#miLp$ zS}08lJXI`xWS#k33Ns_GAC(ehcPZ7o<2*$|`g}k|5b-J@Mw-`Nu>{&x9uGyUlu)Gn z-CqI{O%)yL2JXF{%Be!z( zH*Lb}+Wbak|K_2CP@m6Xn56MoqMYEF((*>EJZ5x&$S7{gYcE&YAodG7gxd0h~5%!-|Gzla8*g#^GtO3g!VjA@w5? zr6{}C&!Zu->j@tVXj;ppA@Qs=2cOCroK>|4Zc?N$I_Ar)`3~z1i0%X!)dU1U(#{Pv ztcs}te+B3LW}oRHSe^i24@PycM*cTrruA_am?k)_Ge}@ZRagL|fCc&j^^bpVjGQz; zL=$D-?|~l3%p8RY5Fs$B|?gbs5-;Y%E3r)j#5C+%@7{@0f}f9qzKuh) zWqiEcfky^X+;8lF!h*zr!UmWF9A^?SJ-xlIc`NOko~?aV#kZ%YgX_dA=l6Z5>qE%K zT0+4~oO2w*K#Plkp`r45Y;Eb;*=*%5BGf+t!l9zlw;&fzS-Gny(m=v4zeknAN%jEx z8A?^6qE~?a*nig}2tZDhHYhj?i-fSSI&|QvFR*C1y)5EP9a-YjVs{O{c>~}u+zi(J z_@>wf`wg)xh&?s5@V(boDBQ7+aFH*^$9tn>ls>s}Bd~g)-vI)N{k`4Y=cy)lJ0*HG zAH96p`YieKvP4VUdjh)`4oZipB+lR9Sb_?kaQcir(iPw8-cPbd^42rtVCm@KIEUDIVdnh8auYw&X9OZES1|;lWv^ zTkUGuLX8o!ttos>%|}7@5zPO9X#0oZUL8Ps(Yb{MfA+8)T_9%R3S?qfM$?t%8I1ag z$O5&aqyh2;rY)%9Uy8w@v^2?ZaWrED@ePAa)7S4eC|{bfd$x8vV#J2{`0i(|4>=`9 zA{hvZO$&&mNQdNDBaaeFBb~fn`SGY67kYNqTMFq zZ&^Dk?evoreu3MVNhTR0YS4cfxyf4Ne-$***T6;j;(h8888~^i51|&w(@CyVnV)oer-0%pbH-a#gkM@|wYsQ)%FD9~o=Q#$y;snLDT?EKJhTxr6ru1sC@E zQcDX9SU$6u2+Iq^V-O9{!9HUr1x9h>21x_}1+o?D*G8}1rk(ua0*FnJm!6`{)nOb& zcrW0O~=Gc?>U#SLFXM-wiMV ztRYCBQClasWlQm`TbS?5P{A!gZB$;w3`JOiV;4Rg4|t68A@F5n1O}uo7Z@cR3m*X= zf;#yL4-C1hg6F`8iZKwL=!V8dAP>wdZ{@vYX4O&g(Kdbb=;`%iWKv*w)ywEG9_zej zn=UB{?iDDVMpW{`lc)_)XhD_%E{*x|?M|1_mdj!~k%jQxw>33wR8=i1Dl!+Q8cQ}& z$sYX`%Mbx95%YF*G(I5#mtpE6g7%=-#~4vJm~rdYn0yy4ixX(I!rArA)KmawI5HKnJc`;tIOpNvBLDsB@?ZTPRp zce`#i`R7iks_MJDZK>VJi(>Y;&l#5+YD{1Ne@*I??L}!qP8Zez*&* zDO)iJ3A#UtHwu5@kyyM~Rq$vyTmDqye#l-VZh0(5wb*;EKd~iTdi*mw6@Szz#F1O| zLtv8D>P!@a%8L@N*7t2HF_l4$N+g@cYr}^MhF=9j6ttRLH1^W!S5_|Ku5B{QNF-kC zL3JwfZ=kx(2Q4ZoISNt-kuRE*n%Y`4k%r-E^fq;zPXa!%YusUFj1sb*0}kcc>p`mk zj^g%NtfmNMw33yRmWH(Ys;>BuJ`!)6{`~Xaojcbx0{n4H;Q_$z1Zkv~*F%#m*iAu% zyhF0*_&d0fNc(yF;bru&mE7D3_#ZJYdk8BU zM%l{-aYNU{>F~BqDoR_R;1pXF#NTlzxDtAsiXx|KwOk*eoyK(XXKLq3ylOMw{6z;K z0b8S+8t)o!+v^5yiq3|jtZy#?;h(C4ekF>-Y40N_)P=#VBcH4kIU0meAa#o&@!xqB zWovQO&E?A^o38!*zcFWuVaGpn23ps;LhM9%UNJmR4M=ww5R2l6s|By9vvvbLM{KnPKX^t1PSRxIhcqeh)La}a31l+<~{Oa!3$dix?v z`=s0nrB!5+mC{?%9RlQgo|dooMNVewyBmCEdgRrY3W z&WhL8Q~Gn5Nc75XcOem9hN=LZcsu!quP?TkU}-#U2l6TqhEAL{aU!$j<;!sZSa09|A7JV(4^$#ILweSc%HgJN~+>6Ub6NmIEXtMI0cEBOcs}rfY8aj-M`rC zhv>A z-o;^?L*oKLg6(Kx0;d>c8TV?}zn zK|t_!$e>{uND%$2_AWz^Fd@AD2vrG`uUsq6Vo4oo%(g6Oys-~{H(PmLU<>=Z>;|N> zk5oAGvktB(r4tl%8Rx|_5SwF8D=z*9_ZC8E0-zqk+i-F^5HVmHLJ;0 z9@)54;J*iiiZf^syNDPA3tSPc1aOl_8m_Dd%S}It9tN%r*LMNIc9XdwKpD_f3NraH z?1O`Ri;@YPiABcB+`Qf~9~Mb$^M;ulfBWshf+j>y$i*wnUv~zzk1nExTLNLY5t4x* z%Ck%Xu|vbDoemjxqJqN(4>kqDkA!^ zcc3kAP5uZghLUVwTN@XZs(G*WZ(*MrI+05)tA*$loOx0570uQa0DGb7w!w_1tvsRnpA8f zn6FTRr$Ix)!-(~VllBwn!RG?t37@d?u;`cR=|3K6iE~ZSOF>&mA1vvpvYvha0$_g@ zk>&LGa5b|lyQP^KuoE|Y+}70%hezRuZpRzrX;iE$9kpV4m04)1fduc?O>r z&?9hPRNB8_9fl=Xr43e97s$R{Xcn`(wUzhNlKiYdr0SN#SDJ|WBta(DjR-A>x} z1mVpP_B3uY0LikvjI&G?umTd!a6}U(chF~uaRIJ{fH#0yV3aOWuOnFonAR!;bSWqx zZzUo^A8Hk3rp*&4{^6~FwXs65L)3zl zko%)G7M%BPzbP`I8VT7@IXoAGVYu>wM-)G{()UE3{iskDed!L;QxUVRrj}G=i(4L} z9bccWBs@*Fn*i42_uxz(i5Na^-YP!;lkl<-1HS{9EBR)q#Qq@>z8`OyqfLQi{i)4& z0BiMrfOT}mMVrhmqNgmnI|2tBew1xnQb}=c-+JvD@kE>4>m@04grs3=ktjqwN!Z!5 zmA`O)U^VO^xmUNAtR@+FP0EF=Y@R>F5ts}eg{jcgn|>mzvFKH4lHE2>2 z_${08*uksoMTiYtR;MWO^YAFsJ~NWs`tK7_xno}ON(oo8@#|4(7%@Y-u)zK#?hU#I z2L=!d=C-|L6NIk;>(k*zHkRh$(BIeL{Sx;tR6TL&BuyqlMjhqeyea;-hJLO?e@C^` zJ2HpI^|4?R5h?H%TR-uhur@GghL#Hb2>^Svib=FT0(V+kj1m2aA&ST;DyqP_bwpkO z=y=qf@6{X{zH^^`du^EBic}LE|B(yY7RR8KBg+utOvopIs1iADw6VWY5?nx|yd;B{ zeg=W__)>g{R?1`8G@!Dy_WQgKKNs#O;2(d|1a8Zy^pH+CLF&~?#sf1qm` zDf0J=7oQF`jClc3Kug1ZCnpzuT7wRe?H?~iaG1`20qr|-!oclYC3oX##i}!z_dgiM zEa$DERvZuWKgc~fa!vKvU-4ugP>T{UZO|wh^71s^oGX56Z zh^#~p)g+uN7A!pL>ks)BInkG_DBgIoSq%*r3ovVN%|jwH6IO#ZXpr#pvO%xj1sJR=8H7#JU?aiKNx``P0&T! z>0ml%CMW4XW;ea20}zKK;Eh9Q3*e09!8mLSDp=H4I)qsd*SSq&RMpqpsbxCqSqy_g zhKWchVAaV}$%dmJKEU&*6)ZeGJq=S`bRmw&b5|8CZMKnjPbO>iA1?tVY9&w~m*^VU zu(_%UEEf8E-sk5|8~-UHz_TeOL3}Zbc)~UQzB9Vf!Uh*#78r zX&9PD6@-Mwm$}g6Rv(Cd2sfw{G*yq&y%5>g4|@h_%KJ>)TR8&A=(@cK+-plxvzq62fSu_$jldNLPWt(6r#WNX!2<)Y%yDOD%ubo@i$3cyW__avx%mJc zIjd~$tO?R#if@1ctWF`BG|3PG=~*0{B8ZbaWn)9iePf^p5*yDyZg-K0x1UeDmoq$t7N1+MWPKK}-1{JXZaAOI!3Zk_INf{Qz^|nTx|$5}L1dcXeqShWh-JLf0Qqg$&&qj3@5dp_y-x z00JZe={?sU!tt6u7^TJ7cH^l03sQ_zXcNLj2Tdz5UL~aGKD&r>YYu|yfF=an8UDu| zcxRfL>>ikdmR7nZy%|>n(MD+Mm@fv&pD>UhTGwmqc0|%=_MGIPY0W^WYhY{B%h07uWsi>PqdSHVMsF?WvRk z%cE{?+41pa_VzBhKoe~>6JU9qf1x~}%d!p1r`+`%fWY30%Ub^d2a2mfO=3fks z=+Bs#_$kYSRo(jo(Ys?BKF!QDH8($f@F*i=JyMgOIbyYi5??JUhOSP1_g~0}Boj*& zDkjW^KY5^c@7%w^Z*Zd6N;wg_@xGRpiqV;=r+Z?8TC9H6YcQL5UzP_BguQ?6!tQJH z4~viKeu2p3u=#7>+J3YuSWPN%RR zR$<&VL%T1CIpJ`ONzouk`evitt#H5N_d$@(SB-_KXsq&pv9am5rmO(NwbC&?5T0C& zx;ljnB>6YO)QkGSC}DemM04uv*Z5r-0J<dPjkwNYQ5+s% z8Flq_DNHLWc9Qy%kCNi~2`M4dPX*%N>I?p%15nf9{5P4wt&=1cu*-rWbFCag!K(zL zw8iQe*_h?$mZ+T6)03B3ESbaa)}qVr1tNfm=yK#;QnO zRJ5vV*E%)2W_l}eBv|QbWRrm%0a=eW3@V4+?3k+^i4=!dv!O$EhPxjru%X5{#4WlG zPS=OqSNp?GjmHweCYWT27#y$(y&A-TO+WPsVXEDv6raQ8YYI4!Tne7m%u`81LR*|` zepoKxK|u-*Ihe(1784)JnH~LQ%ddX*axrtH)#_TDI0}bw)At?0eBuQfRuqDz>Em_y4zb`lC?AW zKEGEyLEHb-{(%R1v+sdE)OT;+J}7^z{U@)GO$-hs#wLHe zQVtlIuNgQ(2BbxWq|Pw2ugC*u4MJnyU#~+Awa#7Y>XE{fP%2-y0W&RFn6CC30xJk1 z?%svZmOrYN#&|pElJI%d2drRNj6)G~Fre8ze>1%mr`3RG!45&NvHe38iMq6hDjW4`3>>pNc&M-@h^&pD%U0iqzp z1G?f6&~-5Qs^d()Ma=Q^f;)E_8{-(|wKQ$5NhyQ>C7}}u#py7F%3uQ|(KoPm5+_L! z(0^f>A*2Vu-@|v(tW$4ZxOmZU_iiG=A1Tyur|@AkKqBeT&_fJ7n5N-^zpM+A5c${1 zF)?2{#0K%a$w_5Gi|TYVzzjoU0H9;r zoXmsQPX#5bSqX*05$-_FPoLiIMdoRIJe*0Rm!!^9e>ODJyPX(|ap&XV#&F}Mt54!h z?Du9MX&VE%il`|GSX3|D_F4pEqQ1U9kwiQ(As4#~f(SS)1v`03wZgL>-585HY&4R5 zd}${K0ki;GTVf$DdDtSQ zNW39G^=9TlY)g&n)p};LXHQgFPM=-mJxDAA!oLnnqF7{T1(RV-EikUnoaQk16&YN Ad;kCd literal 0 HcmV?d00001