From ddda631b691b19ee15bd4a42cfd659f4d50fc46e Mon Sep 17 00:00:00 2001 From: Rodrigo Braz Monteiro Date: Tue, 10 Jul 2007 03:06:41 +0000 Subject: [PATCH] Very primitive AS5 specs added. Originally committed to SVN as r1400. --- specs/as5/as5.pdf | Bin 0 -> 64961 bytes specs/as5/as5.tcp | 12 +++++ specs/as5/as5.tex | 113 +++++++++++++++++++++++++++++++++++++++++++++ specs/as5/spec.cls | 57 +++++++++++++++++++++++ 4 files changed, 182 insertions(+) create mode 100644 specs/as5/as5.pdf create mode 100644 specs/as5/as5.tcp create mode 100644 specs/as5/as5.tex create mode 100644 specs/as5/spec.cls diff --git a/specs/as5/as5.pdf b/specs/as5/as5.pdf new file mode 100644 index 0000000000000000000000000000000000000000..52c7cc4a0cdf99190893364b5ed492a6271d31f0 GIT binary patch literal 64961 zcmeGEbwE^G_dkwjQ{Z9rgA5VHfy(9z7snuCi4#LrKFvNl5B#QodN%t8hZj`sS7jx4`_ z!t=j$1NpTZF39iwh?!ZUKuV7GPKJ(7_Nf2qjSKppx^pu4oiND1lE#Jjmp;X8?5*_w zAdd_A&pZ5mO3aEVW0XD0+7RXNKLkQJ|9yX&5H8>YMGy!qX66Xe{)Kgr-zWg_@ezQf zQPw7orXVN+3Htd%0Niish_VOTS?W8YL{Ww|MkoS+@c^4q`c?$4U%n~H$YIfuHtnm~ z8eJD^cHyZW8K&IT+c)MLNI)=tFV@e;^JyZhu7V>r*Kv#kk&&G}f~{1fwn%!4Jqc)i zF%M>Cdzd6<$_>5jH!2c-G1rt>getI0Z24kw3{W^G4Q{sjh81cQl5hHKWZs_*rK&Jb zrUXe#mLUi}@Coev80pTPuWOuNxhds+LOXp!A;;Cao$JU@ zSU!z|z1^+ilkIr?ZngI4nSp~GPk(*SY~qmr_s+`pkd?RC84DALmtb%0@pH6R|Hk>> zH2*@bfC*fPPua~D1p>?Ko1h55A~x2JC~HRt(1m~%3BZad2OB4QKv_T#v`PY3WKc$C z`ocD@AWgK^AOP)0@<6l+fDQnyas)xq$`0HnWNmE&^rH!apv^-O1i82lg1~;hLmR3h zNE=WJ(C;+;W=6lzbkPR^SlGti2xWgU9G5m&94rAA(L^gICorlaVAvo{ZWsqA3<`q7 zksL4{IEV|%!@&hdfZzxO2M+?cOUcQ=@nV+JX4Vz}ZNM1+FaPihQNNk)|AiR#RGyv zp&XoWPv z__4YMh#Qazlm~=_a&d42Zp_-r((+$)^EdDL|7yyK)-|rbG==`E*8hG~IFgeC%K6u( z7Z&%sn8g6g1cnD(DwGoh{GrVUcntwTfBI;^yMpEIZ48xAfIR@_EGh;9E2CTixBZKa z0XFi7;{4{exwxUQzw5SpAAfZiM-cgJ=*~Pkq$(iWZF+F$v+L)t^^@kg9=4}~xr}q z@u&m7$O$Lo?*uOWl>-kSLO8llWz)DGrW~*=Jv5=1xmL4Jgs*EPE;T3P$LtvJ#B)dy z4$435xV*%-)C&uCkGU(9a>#~D{i7$6+wH9hc{Won?$OPagV9uv%#j!}*X68)lO6+S zp42wds4kadMXE>#wzY;g2WAL%N%qx;jh>qXc~@L%+Of|MDW(HFY#pKr-Jh1{d;gF< z&n0{sK=@SP2V_fAGjC-umowxf?bVV{X25mZkDNVC9irBo;P!0YEM|AYbar~^{l8uW|RIWdUNL@aB{FXq#RYA=pbtF_3&MJSrbg$Adc~BX zylNhh5$zb_kGfH$HttY|m0ba|ZM0taWS8a|yB6l;y7tH{5k)?>HA~Yn5jm@5E#yz7 zb)!aHt3ZZssII+-j>{xH%v0j^XA@DsrkF*>Qw38=9q{GuWZG}(rPL~v$1}-?+~JKH zdB*;=*WXQxsB;o2hV2qB zTYpv((a~|Nu#q`9UevQ`c2E%;)T(8DtFQY~TUwzs7A~cb_biY;o8+><=gM0|@lWkX z9hBwk36_J&eKgyZQdcs0Zm&60tc+-@2~_!3QO4`vY3w%(guOeJb)UDJ^fBKa6A#C3 z^}iL)Gbc2I7i%hQpcj)wrwXIfxZ;gTvoQ^!*5I8E?w})8!((Tn&1-$Sv7dD&>2DFY z6k(dX+{CQOqa2~(r{u%6GTgT|{<u>VfM&|;tEfZ>V!8xK0Q z%x{?2?=xHqFCu|acX;{fS=}AJ>5AnTQb8<9U560=ly;SnCn4yqF|L-4TA|DPuZ$0+ zDqkOrNLrd1DBWfbKPAsE%evu*wc{|IB>Og}bTo-kXS?Y8sy~-RyQL9OH6Jfjqr~`=w9RDl;GY8LKYS9LKExh2~={3oak#H;QrROaV%gS0mY(~$HIlsNF>zz;7v4-( zJws1OcjO~iv1E+9>{4@iX66$e8dWugtS7j^NxlZtL9w@~g9)hJXSwb0+I9=sUuq)Pl&%WtK$V0>IC^UD00BuS1H zGqDdvJAY(@;M&SN9A&R=ic2;>0_eh&-WZ9DB}OQ@tAXw>U7kDhc(>GU?AVNxU4;0` z@^Y84uXf*>cRJa%6YIfx{&r_l8@m4F+8ENhzH<{%2&WsTP zYVW^!le@gSUd_ltR-)TVfDoSU*7LimaF>*nKAipfi^s^*faH5*f=>E0l!8M;)YZw7 z^fq|v1Yumn{;e-rLgx6pUq)y3iC-PV6q|`jzxqr@-JD*X@L1Rw5A~q2e|jaLG8Tv9 zyHU?xhT2~4V9)nMeV3wz!3g6vLyHOCl-!dq1F!a=`@uEm$Nv-Wu7P3 zz(4Aluv<|DmwUlBL# zR~Ybb5%by2%r%_WdT^=AK|IbwY7ODR|!27TKf^c(j zK!AV=0f%rvfVc(1&CP*Cp!o+}=lokC!UeySl!X3F)vxjSKa?UA2}q5H8-xHt1a1TZ zP#GX_0f>Y`I1n)IzXQWBh*DMhnFRPVWxt~Ee@Gbwi1WA*5FmttalkpDAP5f^2Z9F% z#C_<{>Tg8|7o=HPIRBZdUjhCwl*g#sdMuFxX$3!hW@-e?KaO2gU&d zLe)Qy3S9c%2wlap6ZYE3`-T(JB!F=iku_?@?D(mq8Jx5^y==*3fo+>NUo;I%&&HBuB6Cky9aZ-bbcl; zBA@5GM>^`BM=zaI9J*xrfZJVIA2cyw7kj6jEM}e~KV}N^T|HGe#0;>BCdJWTb7?&# zRY-emJ^zv$AC}ZF8#P*Jbfv)IuAE(K6vmO~wUuz_);GN>xC29&6Tbq?lMZ9Jy{05( z&F0qEU=6OxV72d@r9R&ZV-{pbm~~bUtW>2`Q{gQ}B#i?zot9OBsKUYSq>rBqg^j=8 z(X_2gW_aLJr=!N#Pe$RzK|A-}icZt$(tY_nkPr-V1>5Dik@Cx+!Uj~%fYhrI0gp-N zhKI>KCB|L6uTmR$t@}BlKJrZ&HsdJX<|m}b@fkfvfsQ-Dv^^LB0}sUJe7EQl5hiUF zG!u5W8#FYG+@_pz5S+2Z(s7)WMYg`DKFCkVUtsR-jXNGtshWtDNo#{h3>XeC@w}> zBuFU-pDbr3+4p1#DNGtU+>O6FyFVVM*3>JP%*)+5p=gPR&_dqAG@Nq z9KZA4{x%Qma`{1TZf-o8T0_4meflj5v?jI7<7E{>dOXzg_0apkX&>i{K-BI-_<+fD z`LGVlu6$<}3~$OCB8Q*}vP<2}RZ<}qQ&q=Tkia(TlC9YjT7aV_V<=1LP8F!$L=u^a z&+3T2r1bO;_WvAeVix$Q{(G=7`;t;hTLFHXi&();Aq8QlzG=Pg-JMxlmxzZS{|Y97 z4AmdL;pb}gr}XWGP5%p+1PmHLeE%Fw0%=qC_t!-4MUTIGw!gL3a{Uj&HchCnzuIDuq2jGG6*c>kPI0C{o%iFZQ??B5aks|)`xSqg(80Js9c z18(4q09F$u2RAqLpK}ytz@cw%Xlmw+;;^wd0lT0Kz^ve3*o|^<(Rbu9LRkUZafUV= zP8MJQ>N_~s&%bfqk+|b%$ZDxgH zH`cdCQ;nYCzmj`l68~3~K`S}1UjpUg0YrcXaOmxgUy%3TRBkI98zUzJ4r6;13itZ>+qCE!K z-q;X|fbjf@=zp{og^tYs>N$Y51t9Vdn&B{DnfWE8`UuN++2U6`B!fT#2ObX z{of0#kbeq}{!LSKoD4(q{5972-$(sVP2qoIR6s|8{K21NBlxf0=HE{h2B-{>4*7FS z13CTsrcfRp4jv$k|I4Vqn(KdPir@w|QUA?U|3*__vlG~h z{mZEEUoG!HjLHcEvPY1=HvLuq|9w*k62bukK*^uydI1)H_oaUXpMM0Fe+oW-4N8Gs z)Sr0pZv~&o-{wc435NiC2aaj04F(tlFiBgFd){B<1f1fDb`DzzUDx1p43x(u6?D1ObQ~4&)r*oIL0hE1&^r zjR1fakUK#DGKB%@L~Z~CBe$} z6MX=UFmx&npc#GU;^gE62H^xjfQ95jS%4A-C^`cOz$F+^TY|QOpA$qcG)Q0}2RZ`O z7Fc{h++2Wyp(l+V6ezHQqlp9tg94rt3QQ1iaeuJwH$Y9G2|;J}c!1H+Z2KDr6iC^j zkKfsaKEnV?F7n`j&qF|fX#-h!B$@&s0}TgU5)w#kApztF1*{#0W(D9?;XqUa;BOE* zgNH;%JU}1l^98Gc@D2gwjF3Q94*{gbc>vZU05&3ke&A>h0BzAUqtAb^48Su$;uMJF z07MC_zZZi8EQ12u3~+!jI1j)|phF0723P^Sh5@ob%Nb|~w1K0U0I=~w9)Mh-K&*iH zRnvZ3L;(E*j2cMC0u?VnE409X`Z8eE|M?nt|5Jo$#sIGXZGr*QxezKh`m=xki~gJo z5ENR2p#b}!K-mKl$atXz%8h0rKrLD+V8C_*`as{09^vBt|6gl9T9eUQ4^&?ucmTyg za}&*eKoOB>+5oP?08S&g0FD83M<>&eKoKBNT>{Vxh#oj2(AI)hMu6Msb_gzR5D!{4 z(EI{;a>1AXsQG}_!vP|IknO^B(6WXCH>0fp4wxSVU?c<>6b>)~&3JBfgp6h~(B?wa z0096n2eyCEnhyvIuo4)Wc(fSS#uy&p*Y57S4t3p$!wb^MAApecOeM zfQbBJVh}($JOFck6(_m{aQu&zUC8_QW#(t*5wLL>9PxWiA)3EP*zfOv&VGLh)SLnH zyZHIviw)BqUAVP;J~hjd-WilC#2)m(r*p?2)O569PpIl%H-C0*@ZmF^tm{_0vT?za zSvZ5dbizC2Cx}D-Z~LCl_fHp_`ka7Y6XSIc3CMGxO7V3mG^& zKg6aC_HWgf6eN30@Pb4XvvPVJ@ySC=dUd`G_oxM8Mjolr8mF_Znk!^ao&jn;d@JDPA#g4siCKp2<_5@g05C!hBB zZ2*Dv$Vg{!1l!I7L-9H1KQH3tnNzc@nwha$+{D<4+r6@r!Aiw^4|6Bu_3N8UhMq(; zAaRUq)vOqlriJSOGfCe_JiO!U;7SFMF$Z*ECLNwSSYNKdVR%7G`4}(a$;lW6Kb_ErmNCvye0zVtXmQ_pU0c1L)^m23 zFisx`h5V;sMVR93;iE4ExSlQ0lWqyT%YK<>CuP{@w{{~1Mq8TUen~hx*h%Xnh%5tV00$lx6+-lryO`UYnjAXRxdLHR4&-1_yO==RN+EPp7xDwsN|~m@w4l z@ZV0H#0ctyAJx3|$DNCss7+=p{7*I2A#F)N5#@g4%OiXf!uxb3vN-QkR!oru%2@@?U3L*3L{5&yl7-iN*YCDDsyya>FdAB@ zO2ky~5yoan3ahv35fc&d)8&BRyQzBSb5Q#Qd?FJa6Y)@~N%vQ{qv9|l&1F;1MxQd} za=Ec95%I#a6QRUpdk=1mZ^7|o?lX3ZS?82{glmFxe6`dkT$yTHm;oPj-td%0;He;1 zxUt6Yjqup#xewH#@k4C-e6AeZ224$M9W!xuEH(VvO?}G^4~d^3#kx6*1U@`8)@*+u zE&l{Xa8E!R8h58vgH44v^nC>RxD$(ujJ(L~)fX!dP@0_ed!d8=O6k2RH#2wg2Js(Y z@h93G9joudo1p}~gf=(p4w(e}63B9+s+}3mJZE870#>`V6x@xA=i6(S3F2esa^XFO8Vc`6EoIb&)-wdncyYN z=e52=95=C_SK||IRVc)Mc=*SF9zRpnPcx%}~? zqcS6fj}P^_O#?x@l&H$soW!mHyvA&7(+~R1uJ(Q zh(0N?UK-it`<5@^oOJ4?Gx<8RjPTVbF(mlwS$xjSq8vw!c-^xeEYz3sWOvaAMMRxH zXlOfpc441*KMp>SixX!jA;_k2#x%v2_;}s}du9J|sPYPnkwvrP-h|Bg=n_SEd}ZnI zitQq#$M_lUQSU^pYqj-*PKiE!73S4DBIKc1%idYxU~0Gx+p-9D-jL6>qIzNA;+dkM z8_x0r6}~2Sr;w{uhuiWYHjXZYHAZtNgdtm95IYuwEAMDjJg z_V&^f1oTxx7kAg}Mzao_`G{EBDK&W_I&A6geA>z<{VMmqCNh`I+smE;<%veVRl-AY z`t@g!#d?DH_VEm7I>H{A*{c##bui57&|G zOs~?@qjn#O5V^elaO*au-guZ?ggccdL086=;t6s_`IVLRcme{DW3<1=!%~>1v`44T z;Uw1TtJ^gr+3%}SW06)TvdbU)c@ZK_fv|EL>sSXw)WLyBeK19hM4c)5vI;j7M@?pD z-~5rYLqOYFzJ@E?_3gkPVmCKqJ7bFLt}nfK+BNPRddSguGt#@)+m%74!uCTVr=#>DEhul&^+u?_4HAbvDcR#(-FD202wFU@0qbB z&XlRt8zx?LFP+j9-djIi4Yj3eN*ybGyJFV8*&XOKkSjDUH^-NrW3JQ?unV55fb^@q zn>O~n&2Wd$P5xt=0=40dI!&c??DsW~+}?pHS?^aHdr)4Qw581D`;_#o=9I3kZ);-H zY)X!;ZecMH1OvnQZTJ@$(us za%(jbA}P;a>%BGAu(WxouM_svCA_vMJMyzLmWS)ix8*O{IIW+}`E65<-rsp1jxFR{ z{y+eR>zlwo@rG!wgkF1|Vx(ze(&g$R!8(0uOPIywy=`yG1Tw68dpdKn0|VS!S-4XQ z#b)2nKY7kpLi$><|L_%e%j3H}zF*JR zHv=p!oNo3rKID2I!8_=mEq|cLpjcuS`|Z|hoehbm#hD*6MRq_nlfJc?R0jVnx6(fB%%8g0Y2Oj&u$Bi}JryKUY=i#xM8$#0D*Q&qAFn_Aj%W#L( z1B)^_$w0nAUWc7wKSIxL&{NgbZgL-W^?I|o_>)ZQF{V7l7naS@ETr_t%SuHIDw>2< zX6FYMV^w$G+U3FmNIexp*A4;&YP%4;bV3%Csj>C-Iy)I{vEU=;gQBmqS685SV-t4m zS7OSgHWS!Ss%meD-0kFG-{57x>y{hx(ZJb^#{Mw-nw4!Lt@GHpP+KFPqB`s=bmdf> zQ^h*QZu4}#bOIW#3#%#Wm)L%hyIZa=%v&|_qq2Oiux7L}xBcFwr-^j}0ejwF*-24% z**pqN*vVS_f;Ny%bI(b6=uJK;%{Kd-w13;W#diIJxM{>&EjWZ;AigeqW!C$BP5x7G zI;&34%kfs(R!`oww2FrhTOzW5XucbKOZi@iy|YknCwl?(z(-29LulJjxI?5sv;k2Z z?7t5)51O(LHGh049eQIe+_NTvTLX)cTb7TWw(wN?bfVWzP8=ZtjlSsxqTYw`4C zNr}UVv5(*XFcBU{o)$c?`snTBn)S%uxN9yirA;}O_zw<$T#d@R9a)~!84Ow3j=rk| zy+T*1PVM!ro4|y6N`V(jn5QyB`dWZwG|xs=GMc1iEX|}|nbOq@eB@;{Hz#E~@R{U_ ztPrLVXt5R7L*%bQ3;r(8>H@%zOKd7b{ zwD{XjscVj_>A$Y0U=K=l*%k+;cu_aq=3mx)Wwh6yG@Mo?<6SnOBZYF1!+fGz&bv9) zxb#FDR{5GDx>8d;H`Ft`olBQtJNWdW>isUaNOhADBblWAb+yU5>czqm5^Tu2+prGR z2kZ9B+6)0>*Bor5$KMhVIA`D4+iHO?gd{sSt!?MyVH;gzw_tka7V!LOB8`@~M>`gi zqihpHp?^qoe}oA}cK>*Ou7~o|c*ssWQ@(aK`;DYH#Vgkm*_RWYu&d|Qp#)z zs@XT^WTGV($fO=l9_hix23lpGw|%GgjcbCt;X zg~n5v!|bi3K!KC!OYM6E$6Vg=mDMVkBrFwPNn0=K* zo>1_lq4c=O z^@A>B2F-ekMGhLzkDoW6>>h@638f9W2Q`*gXfbz(Iel2P4!Sb^>ADqy?aqezIl=m^ zH@tG=MmGMC^kQ^?0n)I zq+PPIV0#=Yv1T|wxKw+W-V=|9l5%dDsw*%eX8+9g5`;g;(apsq$As5Qj4Y0=Jcd!; zwYqQ}a|YgT&H{#nf1A5=$C{+?ffW2Sk<#apsq!Ajoa(NhPLVs6~?^^R5TdR+_e zW>LOOA>(%$irIH!X0_{?NKm-5n|QS&KbB)ML1q1nh9r#vihB{R+mm)7LmTHt<|Kp~ z5j5r}n~XKznIcza9ivhZPfxEfFtgoH36`AAQ%FtBiaj}Cp!Q}8X184tv6V^F_t8&O z8~cWFUQqNx=q(V1f@<7#kJozlWtiHJhwf8`G9f zn{2M@K3|cQ(kLJ4lOTLmLjYFTSZwa6A92afiZ`Mm@fC|aTw%C=4eR(xqg`L~K+)Tt zEKA(gR4oH}sIf{%`bp$eJ#AG8*WL8d@+K@R;($nz_schWKHu|Xy>-74PUpc&;Y#P= zGT-~czABu|g6PrW{G3hmr2(=T7b8l_hiS|`FRzD95ZyNwi%{G+{-orxP#j9aDNVuVk+6ZGJo&N*s*W#fbQ=4{F zukU&BQtMG@cfLg_&#?RDDphknly81+sM=yCMZfVVp8w$^r0qNnFEaJB>E47XcY+zC zPq2R4a_iiEZYF~CL2~0JfkeeM?TqT6dwr>SuR2qZzNHlrMT0rduEjMDH0Y@8*uCpw z>nXXn>{_zYxN^)gS(O&PjO)t~-(Kwh4Ra1R68a??b|6Y^mNswp$IfK%Gm{R{*C%d<7c%*B8-HqL-(j%-OwdQa2f#wA9&HLBJY?85W z$tv30;%kpOy_Q-^p~#AbXLufeC}Sg2&poo9=yC;7QL zSYeKsHpa2*&21WsWVAH?;16!_8oLUSB3V`8Wgl~i*|eyUH6?_|?x$V>VFP=AVeNb-SV%XV;+L661*X%9Ldf5+Dd0nTEWJ~ ztDlnDGQx5}R|%U;gp~WJ91Vm!CyGYY6BLG@r|s~0669>Gyv8D83X}X&hqXenH-;nd zwbBB6$Mt?0%L&2WSKM2D9~>WxdSWKZKcVdLT6{S^rWujyP6wVoQuN?-ot_{RubwC0 zmEkEXX3q?X@*J5+DdVXD>k8G9byeikf?sow`FZfqlTCcFoB4Q1Rr>P&mHi~(yY#D< z7ffAv)MyfLz+XMOX?oxJDB`X=)79qgSD%@R2*oZy8M;%lz>tyLk zL6hkq<|lgmJjL)$OMsnou+NEOU84F8{1dyQ+Q=vPwcy6F4C9GJHkP!-{GNhr7AEyO zd-PcnJzw8UTD9?T^zxS19n zji#kxnl%UhFdqw@RABM-miSf3emupqmLzQF58XP(u`|bknoJV$cG)n3{dcwk(k<7H zjOH8bDBRdX&*E2gK0u6V?~EltH-pP=1U+*5b|MoLxDZO3o}m=mPzEnsH$L0hO%N82 z%zo?X?x@(`_(1gF@$D1IZrXk}fz>lgJc`X9{>GHqOE19rxjE1EOe`8TZB+TYxXC9%X&9Iouuto1ji8Ea@hLQIl0GgW6@iGqtCFTS4KZZGeSriY$4(=v)Qvt06u z6%4rTd%K2+s$udayR@F&$Y-mqaN4if@11$KlWxj~zsLA;V}9N>eT%y_6ywo{OyU)g z>eo#~_@y64Z-w-~{D78sD$Vf6*)7^_iVFNVvWav=I!ULByS!;uaG5v1U-rp@I^aX}(+KYkEm^5&`(bLABd%@OvXk7s=oseG~$?l{MFOl`DA$ z2TW@=!;|6A^ie0X<2kH(CFklq)YT)+1~n4Dnjqff!IDP-cjSh4HLR9|F5PCCVxzTu zp4WFod?QkM){9jsWIyz*j;j2VqMbdDcY)u$oyH8qv4ey?JkN z@oT!5{Bqf?c71(ocPH8e>baI5x6u7ik2O>nT=^jLC`sk`v#Eneu$jd>3I8vaT0;`% zhvE}(-j-M{=vYuF7LHvY_|=TsXo4M&uBoLn?^^I}mY28s)!#LVRk`!yH1*S^uM{iir~+}d|4w;)5=Ds!|_kHTVxqYR;5)tyc(WJR>E zhFrP2+B=kRT2YU{-pPqt9nW@K@#o7_Pu>)#pQY7vmhc4NWG(89hw5Cl-=|&n_#kto zyWp#1DSNm!o4c`&@sIEd&l>><-1=r$n!(oIpiKX=Hmp5 zyPE5UvBzf&Fr{>RS=LX-2OSy626omlM@S3J7m6&^*vGtEqipOjkK{EF753)-auA~N zi8|-ynJA-s;oOsA7w&=6=uCat2EA^)G@kpjW=7ue`V=8I;@lv<@GywRyBcN@Nw>r)k4G#8`xWm@K2#U%;J z0VA$w9k&O4_3%WaYl&ftxIMH#An}aaG&ozimckH|C#(-0Smv>>i9R0|-|1-Zsws+~ zVjtjfo``-PUvF`1OSY?RzDFXqNy&?6y0BGIM9;lxNBHZ+)<6(xQdflwyO~uIC2zG+ zgE1^XjJ11$<_p#MM`-H}rg)`Q&3s5>5jTb<^Ysp<+*73qk8m5GaJ+ZLG({BWm+h=A7-co&0p%dh@eYWxjhgk@l3F&PvrJxS@2LblWQs2tpOo`_x2hIvh9DuI=G{N_0G-TEoL zxXmO-KEk7bx%(3+y1pZ&h^+Pzp%-`Ej^Vzv$BD&qgH)XZo1K}QhZ67y;{EEw1p!*s z8+IHGZ1PKws0N>RK`RqxpR2m1RVHPsZq7^wj9Ay%hX@*2vt4z%eww)v@Y&{LdjHAW z5PNqm4A+JC%uRSOZSUmQ{4XE6)4RKUc$w~Rx|Sqj_er1rXeqp<;;ul7>dxZ`Me;i_ zHwR1g{M%IAKYnt>Lu~Hn-GJW{-N3%|YV%S>}mhuxAT zvQXIY`1)w_vl8n6K7<8xY6m3R4Hzgz&+xcpHf z_p{a$T>&PFaxke~a)`w>=V7q+o90&cL> zH*o*~8~5ltg)bf!!_Eb4*t0``Z=-TSfXW^o1iJiM$iWc(%ow1q1$gv~zO6XQ%*50Y zC~-j&fYIZjKVt{JN=E>eaMZUnGZeBm0Uodf6agqXqO4Sbj(}#5e`^He<_7uz=s-UJ zgBdIY76FTa6@iL>eXs%80C>8S1evXY z)LY}u&KZm2+*1wxkxIF$MJk`YdU-mND7T9rO6I+gzGrG_VoGmpvMSvz-iaY1$+~80 zFbzoR9`OGS4yi*W#{03lOGy}EX<9@?T46m?czrekzEMvrVz+Bbt_XI#oy2ave1M1b zV%pSX!BlVCilVw=-?owy>T-s}(3{5QEXAoE{n9|Gp~;<`N{KbGMpJ|lc>A0LB%#T0 zpUSt?FFf<*)3RjzD}t&~>(mkhU#Nb7W3IOjwtr|J9Bxlq*S(~vL}++j(}WOf)yC4$ zx9Mei)61vND*RsJwT`U|*tTFPFUKuo%x;-yN!piZ*|TEYQ9#|eBcXpo;i_*;cI}gp zt(wS?x~JD$KlBZa^|lUTPoHQf=lex}5EyvJA=c+>Gq*puo4UvALuj&nP8~q}V#P>! zJKSi^z{W~{$L1cUa|DJVArpfIFH@q;&_+snuMEblbMf7XYQz-I3D)YofvMS6?~n8Y zm*~C-akhZjXM>NsIaw1*qz*7Kqi+x3va8TZ|OcI`Nj$HmfP@v z1x~G3bMBlkX?+|SB5pm@{X7+Lrkk_jcc!K-?MQT9c>Nplsb5)oQ59b6XggV;PG8@l zhb>0P`SXU&^LqSqE0U$NScRUBFB*NV3#r@Zg7~S_+}>)ZK6O;1j~{!S_&BN}50PF3 zJiL#nu~yG3CGS&v5=sn=tZ7ORojajs7>#GF4GQ&UERBdc;iYHf8!h{lKflfK&ExGB+56{htmYO* zCYJgZd+d!HI51n-*%ZY&wT$@tzFR*+6E=ArH0~NBFc=t^puVx;W5+EbH|x0Xd-wm) zedwjO-;yE2-mGbAFl%jqT~TjjB6`PfOZC>C7MaLQ$j0M+xM?2gW!B!Hrm{L2-BD&I zPqmM)Zv%dgkssox^48|8;#q#wo~=WT8`%m zXQ2qnjN9W!*=^q~IbQDFdCELt-I8k-p`hZ&X(6YBn}#>}I=>~0o;Fr;u29!U*IRBv zQCvvCI0aLkxMhSWx=N|r@MH^wB(VR^_bxmr%RrvQ6x&2K>P7oqA0EZnH^%i*7;E%t z>=Lp}A6FQzU?~lB}VRsaPWP@$Qe~86=EGj>8myrx6^S$qQ{SL zU5-xVuY1EXf~I(OhPr()3#erI`RmRX)Pr70H?+n|#O9ygG^DY1E~i#aOWrLrlaU`Y zQEE$wG0`nLEVb=oHeJE=#3oQD#M|ulVLc3&awfwDlgWs$b57wFYMPF`&ojTtkHxe2 zaY|>YMkmp0wxWl1fppHE8$K&CMU;Yj1$Eo|1?{_MI?S@grAwx=bc%xE9{f4)x#L}o zEPFFa6868i?{O;GqYPg?d@K1@KNniDrk>+{BSrX5p^uCzHFmI!(yUQ_d(?_F{T$0CBgQoZoCwiLV>6X8-g=N%IAWJN5E{#-pgWmyd}=gDnku@QjDOgTKpz zxu7nihYhsX{5~D4=^fpOWZjRhsMWkj9cX4A^m%@=rOn#5J23w}LtEt!@moy9BL*2| zaqK-c<#%mrkIr@?B@#w^M(}c>Hdl*b6XB?pZfRHgUpgCwa=|Kxo zUQGH~Pcc+%zFqQg?HohqX7l?1!@*Cn)1Fa^^NW>MpG}es&k9f~0rfr;S2`Di=JYZ# zBH~iM#9;E z`NTf0hvLmwh}H~IZARnS1k-Z#i7{ZRL!IU~VI?OgN>neGN}XSH9^KJi`q4yq+iZuP zHOy=CN3+eIO7-YsJ1&l_LBaSJn-E#=@N|j|7F!G&&$L5J=up39h zMxnDE{;9QP<$D^;srizJg@mVfKX7YG4V#5)S2U#0#6~?FLXB`bFKl<@=cre|7Br{6 z)h8xtk)XZ^dV@=#+bEtL6}3>|D)RW+4<yV7_;)hrx#X@OQh>pjI^J0-eyrR zn#3e176vs?%DE8J4s}$PE6-OH$~8(OoG6E>7~PbkAAi7nB~+UbpERysNqMHAUS;nF z<7aD~=@;+36!{cNOzgnr=^eh(mDo-`e>^PB%G;IMC&im)vQ8>}S@q;Wawcni+Q*HU zheYxA-C&NY72B+6F#`v%cDlV*`kq--eoc#UleM-Zx-XQXha5l(3Nj`vJ*@gXG%QKFcH6aFkGN>2`jx> z?{!LJ_7-26PzC|lt4Y0UxV5e2q&sw-DrN6DLd58 zW-+em4%en8n@Oq>Nq!eKAy#qMOE<=+xcmzrBPtJWZa zZE?I95V!Ne+V&3OlJ#`E1(Sj6+H5;V0 zmy{K@k|F&0(u@LG$*1VvvDD~CmdRflpEe!$((6WC+4&}5^(>N}u}v8_g<5ouilO1L zCs892C_yI4OoPmwv6GVNkVGwPE$I_}bEd9V-3<|KqKbaZj$+I@cf2Qx*b*52>>4%7 z#l_~$QUj>3G5&g^pdf^J-WrwnjFte%AS9%b zWF7UribNmg^E}$Aa_&noKJ#df*%745(+p`v9zEYG_T$BJb(IXU$+sV>vR?gf&zrx0 z#3Ta$7}e59jh*=bmY&!eW>n-(a}D2>uX={OE{uBUX8VWL0pT3->dND z?vwC)H&|#M8Q9u=W#W4YbG(#Q@YN$ac0OX84LpAbORDL?K!t!vWLqWmCEHtbN0mbw zfIyR>(Wf-Zug*VE-hA;e1u@(tQE8+}8$T}=(6dynI zT|U4SMu@|e)7GE#V#A7ews|TxTS=~Oq*Cj?>in{i`tXxx?U{#@G z;-oLVbLmOAfkV`XdR|T)h3AcH)>35EI}Wl035zxDcI}lrao7S|8S%NN8JLbzmu}y9 zZWZJ@+5h{n4eq&C) z_~tic=i*b^hxd>LPln$vw#B=0YP)Q5*Sz7qg6-9S#izcM)hf7SUiAOhVKZcL)}wl& znEZCRtE^tJ%HRxxS-VZHIpOc5AR8)UPP}1|9n`kocBP3SbzT=ce}Q$f79!EQ)rOlBYZW z8`?v6WRJ%j7uIxR_dBy1Cd_rNIhHdUF|ftm7+05c7QGR;xzJ9gq=?Io5ZZEif6PA@ z$_<~LW(f{aC--FmF7;$zl~VX5dr*H=xwWj&BqSHy;bU7p50ggfz2{YEZYge**fQT$ z43Z8~)xM2KW)?$JG2&lEAp2$jbQ5yG4o-XLfm0_HOh;e9#LVdFiIi>#%^Q@W&C~;Y zmzE9K3$9@^IF%$T2XQ=2N7G`h1Q_#t20 zJdbDJRR%N!V0Nf0M{MPJD{>1_VxOi5*KpYWZ4t?wVD@sE+6!c8N>B+8?Y0<+kXfhk zrCmGjsA{B@u?#8iJ~8o1ytwi9?| zQLVO}aJaBitVq4S7{)+4wqpdNwB1*+8Xn7KtiOAhQ#-00EMl2V&d}PlhNt$rd1ZWO z5iJOAu0zf>_QO3=VG%mPY8vY9bp6nwg=s{|yX07y0Q>~PI*2n}00OW%B|a>ri%;eT zgLJ%bXKm%asJxR>@D$6GUAk&z;zmYm_R$5Ug5{-N=4*<3S$Y9M?UT4aCX%lF6Gn-H zvyv*IDVM3J3YQ1YO}w&H+a#*o2oo<*B$6|vT;Ow8V4?^iUlyleWu$VTY#5_ zt^otWGC2-j{AmkJ&Z#9P?8Ycf^gkjpNc5LI*HiougG8kOGEivfo2`+L#v*@KiOe(X zf=*%53GNWF4xPU4MR-l4~p=zcA%A6U8M1W4q%+~)SXc>^tL zui=2QN@1MduI$6+D!QoiL@->T(&lVcuDqG=%SEM8lu=Qn>^&-up?26QOUoY^Q4YKS zWn0~D&NE5!3Q#Y5T~R8V6d3nDi3)4HSn@HHO$+{f%ujzQq1_4Si~6eJc}*!3U9nwD}JsrMbjCYWw=!cqpUfUf>ZAF-(T~v_ zVORXzX(dX8)6?5kZeX)|Scq^aTenrpr-7P0`n1Gv&-x$ups-5H zdD=vsosC_r($1^1W=;iT-1=auvQ2@zdk{8)me<&!_12zbaZ438hqqQ5G`=$)?Gy_`|mgw2rZOUoXm zwp1R~!G#V(%3a1%ppPpp0RS%`ZscH{;?j_Ag#p_ZX_kc4+BNO$?1x8G>5vjbZkE@{ zI1zy6`jwa(T2ZxI@3+Fogq4vivDrlBM*7TBYTjGHa^jp!dX|A*6+BSz^wLmbPDyOk z!!65WoCjlUUN3HWU=4!0vZ6}&y?i*!C#%f|M^hMaOuQv6@)Q*R9z_OaBj6BcqLJlZ z-!q74mrBtw(u_g(Fp@?;7KZ$NcJZkOJAniwGqk0Z1DW&z&uv23A#PfzZX$s_Y-9AYWwxW8vX2lnlHqQkwb%bK2Nv%UoVPCvYBb|h9j*xez`|=+FAs62i z2ha(O8!mr|!R?4^%o6du&@02jY23{S0ne~;07_%?qP<77(2mI)&$Orej#hZ@e|jZh zmFJVWE`RU?uDj0?I9Hn+4;o_SFFLwC6~g$#3ga&URWnoV2WKp4XZ@@uANC$UO+)^9 zyEJHX?UFaM84*j=IFZb4v{S_&{ies4t~ zWr&4(oG$YqVHbAV^ODvjj@X_gKs7B9YW1dA5`<2FTI_GTUUhU47Zb0wd?a%3LFlt) zHLwnfIBe-{+y#!S!QIMFctVfRN_**Kp)b2@cbA-V_I}s%7G%Nm5e10$eBi*y4X_l1 zNFH)Tb#GTz$!lrY;e>J_SNw!>ps5{#GfGh#8*U4Kj~H^1@^s^tni=TgG4T)(^m!Q9 z8gegrpYFB3p5ZuG#CJBri){^t?hlch9my7ocR^`Dm^1Vd$IFjQXSi{I?wbqBV1Qb0?ZE3=(3PNXVjMAe!5x~Qdw=a7==r)z*A zzeww#t6H&R958ilmL){n6#~Zq&ln6vK&lE)zT7zf^4hm%oI=HLb_GwlyI_H{M(9Gm zRc91l?{QT(HxC1jee0`>K%HzuYTp`fa2>T{*Zos-gk;di!tzt2_Nx^5z(d+=q;5nE zOEcEt0x4in1cE9gr=Jj)J$~!<+7d54AYdKPKCb}EuomI4;8l&4pNP6D=8ZZR`U(V(Y^tfvq~`Cur1luB0Z!^`Oug_>%5eY1XD0b;w`k<1}3+rGem?1z2TmG+;-=Y=ygg6CNDdo1oD z+VrUXd?_(Lt>caDf#5+9o+R<&QDP`1ZU=N5g9X}xNKn3HuKQ=o%d9R zl*=ngqaEr5$Oh6dX`G3r2AZwyOj;1K*qFG|DQXQg>^hgwPji!!0}cIlNDs|{D0CQ{ zhM{o~ct$!#RRp5@FtQ=P<0|%u2zNxD6C4(iT1&LI4K%7 zZLItKXAoy?O2y{iKg$B7jbt6uY&6}K#NyV|W<^VL*S1k;WQaxO$49nA=Vyd;hhuf6 zo}z+V=>s@H-|=h;*PTJb%fD?9y!)>{PA4Jb8i|6>(kMLB1*Q@WD8gfr6I~3pgp{lt z6U1?S00`J_aDg6Jr|*bnu{Zljueh6rvpC8nN2 zs-mYZvkt$D?@kS0OX@;3u@6HO4|IpiA5%<8=Y~elv621!=G1oxOxU(|XeYncxm9Oz zU1%*BO%xKwI@V37L=kLTEsRvDL~w1#ua4>mP|5{d3~vx3q5^k^QHXT7FP;I@;gc0SEtD{blZ#5% z&s#(fk#A~ZjFDj0XngbdGO0LdU#0T{$qkX?DC=`#K#WhW;Eg2#OVuwkU9T#&%()rO&w5L5eq`F)KBFQm(#I)w(XpI*=KSzxKt+FbIIbqCR zcKALI6bCPla^Y$ATvw`Ma(ZMBFZTt=$AAgB3-a@IzT`#k#kTAPmSn2S(k-~p8K#|; zPL)_Ge1?poJ(ylrpoFrRf?ZfFRVOBn09w}Nu;UhS*CF&IU*@H)gN& zTycAT?lQZPr^g4O&S9$c zLk|k~nRCghBrJ{I-q{I&|6)d;d~meEZ?Oo|eo5h3<`Rs5=IFGv`9M^SW#Vij7k%@{ zo9yvB+%;wG*cmGE)d3wwb1B61qWTh8Z|g~y?3F3j@X z1>fCcJVA##qr-NTSQ?!6@)&qI)9?7JZ;+Z^xhQ4weO&x^aQEXPmWQQbDWpx_I))?i z?^ysPo6O+J2;SlV0olgsP4~`wBjWndpLd)*%twiTvI*%PmD;?m7JQ5dFizdBF;AOi z9tNLDL_B0!6^B=#Rj4jvWyNRJ6u6uKW~q0x1Z_D@X3^G)2G*NiZl+2Ll^c2A{>au4 zi?^QpUxs!apN|%9lj-=aP0M&=0fm|iO|OHx71Ck1^nV^Ro0A8vLBie^snq_6$R((` zoDR+0gJHJJGKXJUETq;#$MR_|Z-4JVXnfzWIhcMaH1`v-G#<;so#R(LpW?F^ELIMH z1!(k6&!BA6b64fs2|}pOUHS>dHr0(&*`vpP6Ii$2Vx^eH1ua9CqJh} z<&rD&5;kRVGPH`UV_i-z*OL)!vk#5{&5D(cR~jW81_75cQI7%@C-kTytHV5#3_W4| z6T&(icj^p>>-js=qqUvB405GI;r9=sUS@@3_6ZSj8*|tT=%N?`@O24RtHKBSJ1FbL z%?qELev}ZzMAsz1_Z#7Znf4D~7$#d|82Vu1VUnud|nl|frkh*+K=ihmG6hw0AE zarz`H+|PjXbe@7k8sFJ_7E+7zkTT0s0~Tofd_Nx9T^wVk&9<_Cvp~tt9x&w<6RO<3 za~9|MdSFo)(HyaViD!jBB9Igq3#f%v{M>X|r>boec#X#E1Ia*dEGTQJ?d!v_F_j3_ zVjPkSBm>aV(=t8Us3Rahth5Cl=5tHt>sTVCp(o$(8w zgMTL=z5v><>7Ajs+Ex>)L9y*El06|ZrL9R@O*ziFD@EY%b@cyH5{`8htqe#rM|lRJ z9qldj=y*-E$BvsZE>JBaTNOwgxq@DoeRhuMB8jk7@02vn1_Q1cePyuRH^|_IZF^Vs zY0u4Ckb$ek&sr&Rg0>b72xF3evSb=hatkWZ3HX9aB%qCn2l{l#ZA;ZMjGYSj&vJne z!e4f^=FA8OQDaL6NB3KA`V=rlX|d7g5reOeDGor;=UZrSb4N^xies;u;LcdkiCsQQI&;t%+?y7gWpaP!E1P zS4V!uG`vJ=3O%t`n1$W2`TES?O_Axx(yAS*iXQ{J$14B3pPOY34#uS?J*hsD2BsHj z6h=fSRmi9+WIzrDZc$Ax$EolVU;z?RE8Pm16AMXd;_W&}uTR4XWtj0#k-Z3Y2*S4Q zcU+tHPIIH>2CHs)QsCEhCu{5+oTY$);G|^a5NzlwTkh7qNK?2Pobnbys^Pm{s6A}S z*G-qh3B$Wzg{MA+-t}Ia(m3Mx`x3=S#pCn4;nSE8vo1hva)9z z$8LL<*gOeX_H`h{m@_EaCj-VxWe+$c9L1f^yJ;|aaI;ZTS8ny%0xI7?m3`lVyO&1? z7i}vPfWyFel|ELa4D3vA#AIVyO8vIqa1Gh!8Uh2eD%e6j{-WH%A_0v~T3M-tWT;ys zl_^YE5i>WC&$ip~in8dxpJn$xjPgY8Ro*ewzpA2*yTp+oPG4rlecH*r@)l?~Zr!+| zZx65R?^t(Mm}GEygC&8*@)K2$_p(-A@8TAeE5@B@t!bH%;tnps0Z{CSz*JeAPywDVpV@N-oajXee|v%U5 z>j3Hr{wIYkf&jHU z{`7r+6H`N0qDsw_YfR#cyp#qlNtbwDilT2oIYUfD?ZjeMgz&^)A`l`0LMAP2OClzkF~udgsXhX_0hx&O8f7_qyazVR0$l{opUn=bGi&)% zSIz0|w<0z~V%|EYbSX!K!+^^c_L>}h@!QT z;|=sCEiByG!<#)w1?3V;H@AH4N?w+~HkZcjY_}W>oK&n<+8dbkFJ~%!y;>HByGB*}G zk4%a+(d|HF=51ff!|BRL(Q9%+lYe%Dh4o%C5YywJR@ht+$b-Tn_*wW5_Pg?X-Kv}( zGP1s}y`jmTu9i9+{DeBR+|a$9-u&Sh)C*#+%qQW*6N<5hC+nxPtUTS4IcOcU9o`97 zJ%DreZp`q`OK_2;hfL+{oQ@CPSDQN>A7u}cB$&|jWE3m(siG{WoUTD9OLcPS^du;@ z!fTnMfJ@4Sbi<%k>!nnjfHNI8)q{|ya{hQ0F|7x#3U~yYErzYPl=LZ+|9fRc&0rR*5+FcXztB7d*j!bE4+K4$ zxaln#4*ku(YIq_8=*;NczZqu8p>9bVBVB4Rm9dKDrTs>XH5W>V%WCLk9;>nJ^ah*o z_){X;!T0B$qsTZD6--_)dvn94+XLLdE+1M(q2*6)_Eq*VfxyqLaJ|1^_2e3w_}*U`5;2byYZyLr^mc}GEMD7@(l09m>OcXgY^WE zqP3Zln9XuAgjG3`QCr;hjm4yKK%{loWnF6BN+Rn$LQOkWq8&z&zqygY{LPTCu zB}0J5=0fWQ(0i&B=)lP6=2uwH!i+vdN%^dVrGqm6>P5MEMdlI`$H2HEgG`W)jwqCL zG3W?94S9{iQ?UYKw597CzCo*&hS9*5X+0%k046XzdOz;QDv!N|?~D!`9ujS8vOyR} zYqkVjAivgU?rK4z57wW3o&|YU18@`Bykyc+S{>N6I4T)Ch&O93m>1_ev!Wq2Mqqei zxVMo%K5yr2^0ZcnB8iZw7aPeT<2J{w{Pc8Ths@3L`_SEZ0#RXu9?M3-m(`zclz|#$ z^<|!!(UhvQlMC;x$k!Y=Q=p2}1&iaOcoZBBZ#j#*!e`#SEz}fG@uoJNW|y0HK5oU- z?9Ibg2af7-g7>n?hKL@${PfQe7cmQNHpWG{*AQe%A0h|URRJ{>A>p6fKo8CtAGS8O zJ_H@CA0{Vqhc;xYxxo(FZNQLfcEy9zOO}k3B)B|gWco0HT$2@q7Cmf4of8#l?jzpW zpkQj$QB0i6K5D_YZ;WM?QMZuR#h`+DY)5y8$EB5N%*aQL21G|^zl^4u1IBCox z6UvrScbLMtnPuWb%#(|p+j6%0HJqWGa^6-^cmob%Ae+a-^3+d4 z=?i`{(qsj+`9$6fy`h`&xJ{=iAQDl2a(9`dS>n#JL70HyE6pY2`|!P-Z9Ck2NKRO@ z$q@gzz{_lkfCgs&YXF#2CLK~A&hf+WairD9#z{0~69zl~Ls@b77|MN-7vvV3y zmi~w5&K4fL9NltvBQF{ij+Y!q`E6`6Aiw{GE#8qWE;1$sV+5Kr+rCce2qNWi!T>tY zhCY4dpOue!ww^F%LQn4l4l+k+;miTZbFpQmGP?~ayvZZB zCi|83(dmd`5sU!UH=;vDsxw+SDEgS73kpbejR@$Bul2+D1R8R5+`?C&03ko&_*-@8 zNoR&E#woy-#$W*bZK+jy%#1d_J{0ExomVwqUbRydTR__VK#Ds<6TI-9||(*lgA0i zPX{8bHXX?k!gz|0DQ#}!BbgZe@Fd|ct}X_WLn9p@U%rx~5PPWDtfn_9d+ce1fgBnB@d7P$ zqV09wbp^vIr*jSQTeQJnt=5p`F1aaXhB$*}z1eKZD9&ly6cHiGzBubGvx(9I3-C-5 zPmrw~YXiu(#VHPy+xLIx$S2s^Nm0gOc4f)sC~DK4xwvKg^PWxL%-9Hd8X8Hrw#bOd zzdB$Y%qg9fFw${(jlif(xz4&EtpGL@!I#XK=dkEc*;1BIH@V{Kdss2tw5&y`TysW- zim9{|40*^7BhdRSqdQpFoMLN66L$27u)X6;ghzO+#jdwXt*P+W;omDgzLOXJ%)6z< zWoVgdu8hXVm~p8#NXtnGO>8mXv{hhJzBOzRDL}E-l4U{@f-qW^L9a;fea3NRF3Z^X zAaY{B)EMQzuVat4aTQR^)+LY;=NXi5!ne5`IaP%Pk%`=*E)*6@+pBY0{L~lrZ^f_m zO8YM*76+Q|pW@3$SF*Dg71tsW{6fqs!TR5!v%E{^VD1cnHL^0*zJr(BzvbFcGQ9J6Ox^Xv$g*I7(9?phyo@T#!a{H* z4!xu-1|unyz(%3|w9=G&`d-%QW^ztWz7u;54CKXvV)HfajSqpND6(yVfsoeS1?Tiz z2D9fVD0v6jxYjK5`CW(tXfqMx2bWw8Y)y{{upYIHBw`W?qzF+%JpbbpgSFZ$7tuJf zNAYu3kh(;T9T#?TWO`^wgaF6!8VH|fYqukf89gNUo-W@*(d2?EqhPruOewR@nJQCO zFcmRdSSV3a45}?!O|0E%!};vk%x@tJ!oRs7`10f?m$_p1v3gv=j~$ewBzTR?zpW?0 zWAS(5a&wc@BBPAO$B0|Y1<_n1lj57tkVrm$$4F@BQrY%N9%rIB#HoRBh_LH)flVQa z;=!-moq38KW>YjljKMC?D?Nf8BB3`^x;!>$Yit<-w==0ovDyjPK<&bu2cwX^=(gS= zCEXXueD#8^7(sfAGkLW>*`?SU^N>M=6|+eHvg+)fzABjiYbg}XkM9mFa$K{=oSf6JBRbW22Z z=HjMGTVAMnR=CH643OC7V1-U_mVO%8RNfcer(Ezp7LrI9Onu-8@=Z7x4ed~qfIoq~ z6|AT#%~hl5y~u5~59W%(;BoIgXqS3ae{oMO7#z+IJmF2>SAaX-^)Uk^Qyt2p*Z)-8xlgZ#V-D4`T% z08e$d^r)Qv@p3}0AB4yB$A(qV=4C+7qsu6xfbC;5h#Oq^+3A2LY;rkp!3FZ$@iKqk z9hQ_fkN+I2An8?LLK zNKzCcp_t=R{^%JF>pi@h`6*lJPb?9+WKN&u_ro3xX~L;a-(W)V!l`my-=qsS`tDrO zd`X|GLpLDVEAe486fESuT}J{$uO9?k9+Gn#o81ROsfxF0x67OE!jukaXE^_~|vI?`6P z$`@;=^y4+RK+!{;+(p*g3kIdYbOAYY;sdc}?3Sl`Bqv+Mbr@W!(`dO=Tbl$ZepFfG zKU(gN8Do*9T{Cp{YT{Ks(gn8fpj;^(p+&lf0E4BYv!O_JzU1LU-o(xjSszwa8?Ono*=#h+E2C<9W*8y2OY z2n!0caS}xr{X)(icD=5g+9EBHb*Rc4(jkU>XNGI~W2@G@PV8%H&ZrNSH>3782C$Z= z?;zp-M1}F`ajhUEy3|+s1V{pyDcy4PlQ8#qb_fCo*T6h;i2!pWuv&N*I0(}-a@~Nl zpY72)M)Q?Xoe46YFq;3hV1eJfpl%s*YAws(&gA`dZH8%wDjjNw1>4HNJBRkjoD;#|b~6mqLuubExcLT~*5wyew%d2wftxz`!BOitPd1#LApE@h!CRAXr6Wl1}54#BT88Ejv{(vG z6Bh8zRY}I7W^Ap1vIZY`QNXpl=$?$2{+QCNt8=Qa(`t|W(Qvi|XMiyo2GltGa;r}g z>^smPbGH%e*QhrJrBZKr?y?M>c&S8ItxY=^RxoE(w@FC9y9QJN!2N#s>m&2ZvDD8q zh4fi`2NNg79Y=!)nB#^5zBGKGfgrdMmraMVMS1d zDw#YBBRq8S-;+QAr?PFE8x6?av`v$PcZ?Sbb#J@FGN;r6!!~-)jDpzCjxp{HX|z~P zsc@A56^+>vs!6v}L&6|CcIuw0?uu~WWSkt%_%*4{L-GB3kcD5;(|~5WuyKGUa#V;R zKjLL^2+|&8F}69((8mZK5n$1~X5I>+R=^gw0dKpj3!GY!%UQ2QqBGvEkr38wJ4|UQ z0d~%6iWp3lkrhc9T;n`~5jTN4F6h}fBkLh}T!RE$k}IV=@lrHYp#z^A#XuZoq${6r z&0#{lv=a-Z7K-g3%Verp3l1r`G1d970)1kc`ILfQWuT}(8mn*+y2mZ9BBHEZv^NY& zh1Vp0V|h(=RSp6VbLQ(CJc(q})KZ&iGO~d)I=afmjRna?du5 zY#|bIuRY=-HH7^Cl;U8C*XFz@`2Nha<^iA>+zaARVRgM|wMAyH_eiO?K6w)X)H zN21vPYXCBv7`H#HUjutmAd(BeDWBdzpa52ZTec>Qt%C78KMVM`v+!QQ-V^kVi#hDC==Rml%05E0SaW$=jetWz} z1cFG$cz0Gk=BBsxs1x-w+0sq6a?5I3S>RG1n`0fw?7LeU`E0iDr=1cpDX(W19 zG!;2Gc@$XD)F7a4y}a-hR_q$@wX21xSF_V|i5dFihKDvQZyo>pk0K+qZ+_w|FaU63 z9^l+B|jzOx{PH*dR6B*FlQ-z32qlpGH-o(X;C}fX_51oi2g@{7?p3t)nm0Rsg z1XfKr8zE4P4E8qD@UuB_`OMxNxmH0|os$p%erzt%nF;q$_ zjMMx>UfDa=X?Vir^VZ*gV>ZAdL7&`G)WfBCpYCO^Oh_M8<7bo^k>5bq zvlVe}N0Z|$kF$w+@Hfv8B*>N2 zsXy4&65A&W+^Dz3J9*~iY7h9w4rQWvaxP62-cE;FhWKTHt2j)3-_4UeY7z^IXh{cS z+o~@aDk7JV^zFI9Gg)=lJI)o5KtUy$(VfQkD`TVUak6aYqOg-*Yb(oQ`|DNMSWZxpLzf)U^9<8`pA`ie%^bro^W1e+RH$ zqe$0Ul?hmJA!xE)T?J4=v$@O!dBQXNfKUc58Nl{WNW0M#lmaEzYQ~!s513HMG7DHs8btEP2d0u6a-#ojUoLM zRoI;Toon0k_0vtK6FLmxpK`KDiZz>$K^g<>{@g6|)3l#6=<`8g$+45DtV&=>G z1EFUJvl4lK_XH+A*2FH$F}`?b5d91hRg8;~We(1e;RMpaX1H`D*HiSuJ0L!Ctx}Aa zMMV(0^ns^yigbz_k1APIvSvX=YH5$@e5ID}^Q3=^&<^!f1Y_rV*boxE=|N4^k6tQf zMUizhAh*KyjtBB}GOM1sKu0ZMpn-o8YgIKFN;~g}< z9Q-Q;;Ir~ppcWJOv++fN?9w1P6t8}>yA+X*OyHqC*h(`t+Td)X4ea@2;AGUjJW?kp zv`qRsYu?jRL8|_MQ)#FgO1aV&^W8|E#ui2U91k0Zdm`4>eQAO;|75wfA#XScA32isZNFu@!f@Knod3NgC zc)7V%8Ax~}X0@>9l?>+?zJYmqCX6m^$Sn&mEf@oGd9;x56w zn=lpzJ{|i!c&E1GOu?tf@viw;`&+i<$%2+be32v+-en-jW}{_D%48DBJ**kB%TWFT zXC|IK5f0WPzZAUmTMq!LSKkUI}#Pg^(uadM8`y z7V<?KSm?1Hh& z`dW`uY+AwXjMD2l2Z#$3bvSu91j}@rcWZwBMm0gH{a!k|*`*Zmfw^Su|qB)f_^ejK6%e`(Nb;ipFtzx~i)$!cbIVnT*q&?}y_59uIj>Rn@;BH%GLH+7&>c2rqLEejhaFU9khr*pj z{>lTJqr_C;n&l48FlpV|)W&+-JIj2$O^H|yaK;{p1Z-aQ5kqHn|2%(=9v$}d-zS~w z81JiToipD$a5Lc3E}MCmP*@Ynpe(_sX^|yB{KOS6cGUVC00jI}WgAMNR{*lFUK*tq z*%kMJl)uZTEQZY|MGWC40xK)*iAM3*emnK3JMto^bEX=MKMZ>zguu;}w4_b+1U_}f z%VbrIHK4SI1r2a?rx^-BHDt6$0PZQV;qg}>2eyVQig0^_g-k!ZHs;(zIkympl6|(> zr*~+aO6YqHFz&r?`!kF7mHQ{zl;~VK8^**kNQX$*;Og^%>k(IvajVTY!l_qVs zXuyiLCH3hfVLXqsJ0VImJyLd4?=gS?Ty#rJYa07oB8;jm6)3(^Z&B(tU(wiNVK-%4 zMXkRP`uzIuY;%~gJdul2+*4)Oy>MN!0K#B8^a_ zYC?TooC}2@5NFmo=0UosfWa6+-jo7oqV7$F-XAy!8OI=bPFdO@CjV*&)yYAl6=^$) zFLF+K-(5}A5Sg>bNqYycGC2GZ;4Nfq?OBDT$M(NL@SYQCs_PztaGk|$1^HyXuz;#4 z0|;0v8kX2T(EJa@=D!Ivg1-ihFrCP+LnB5fPA5Sp zMJG)sLnlio_aB!=nNEdHl}_#d%cn82v$nIPGqSU>F`zU4)oT7jtbVQ;^<^y_P=x+I(q|06WjlIIR6>_ zmxl8{(Hnbf7biLgItLd!XA@&X>;Jmh>-)tAh5f zE)=R8+Yy~86go1i8k#-bPcA=MN0PNqUM8nKCZ{=WXJxESYem&rG=2{=gy5K{9ORf- zSuhypuyu|g;~7GJ1Ap#yxcrkVxP35tNJys#h{tdT~A3#MA zjm9P*uP_3@SKi6C|gkb zK(4NUTY!Wo`g8!p?|SX?06MNVuKiptJRCGEDjY1h{;Aomv8jd8vDwu8QujH5v8>Bt zW2>{M`xn-*_w?YvfC#^m>`7{WUw+LtH6cJb;>Q_WNyv#Ec*EBo#ub2$8UYo`#N^D# z!tBGXDp2+S02P;-l$e?^^c(c*%FG}hgo!^X91RjsYtuif zMN}w|>uf3npn6v@q4z6(zcImt00K3F{%tTAkZ;&~HQ;7I-ZJ2>qJ}H(#{ad0wH%Pw3~qxbKR^=Q6fdwg0L)j^!*uxjn$>&)Ck}&ra}91NhaCX|kJ> zvoe!gpyM}Na&!#`h9(O?q9I($r=LhV*9M2@m!9GGbv69IE+|nJv-+ftqrRFS1n~gt zeBcpK8}O&cxPe)f-C1Pw5(DstW>EDkE&Ya3D+euFbC=4r}df!JkF} zwdF-X5N8+AJEt!jAVIMoJr;hFk1ilM9$*R&V4>6>aXrnj>%8o5hb8(pV1e)69`+xu z8$R2nA5S%wFxn!r{&eI_KJ;b8kFUA1*Pp@^U=2>Kjo+ylLFkA%)vx&B{zK1fZf+v$ z&x*;)!tWoQ8G^To0-)m;k6(KA6V&Jo7?2nF$^HGh{k+@SfL{|MoIy4VYw6mz8mspE zR7Q5wMVmR70j%}HshfigQAPFXXzl$aH<#z^rnOyw$HxlwU}F|lq%p8s9@pt_?d#oP zhH*-@*o;W{>;NV0CdAiw~-P49C^5RkxGni!aMT$ z;sW9lPj$B-knyPWh3`~sve^mglr~usrY|sM>)3sBAKx}&Wt?io|5mDcUuR^Mym=GB z4Hd#DF0`eIq-OBk_mLJez!&3BD2I~;yOu--zgQcVNpG?LIDL0)T3l2$VtVWT6PW(RgkV5~O4fDurUN?a9l!q9|^m zNDEYmRnl)YX@#TgVWrVxO2xITRM0?f;Q@Cyf9o_D+Q}{Q2eRTsVt#7?dmX7$D8)e0 zMvueISTy0D`yPe=lEzMO>Ky%K&C7!h5b1O1{ZduK!}`#XEfq*t`Y@JB2xza92oIZ# z?8A;IeY6rXJ-Gj{cI6iUY0<4=v4_H;&2Md0Wv$vQK1yUHY^bd56Xz^jhbOWoeLV-n z?CR$~0cy*Lq18d(D&s;V5m7ZKxv4p}qZ6(K_sdNB}j0HOVwF5q4dA8nBmQ%VvVri%H?reS?x%r$#`6 zqo#~P5-I5Hi_emK)6$8J^;~l*r;({YV>GdYit(r|+&-Wrh?HYMw-6;B6#(F6wXlpT zS$p$hIlj;~Ju2}I56GRG3DaO@Na%=Ui;tu0n|Qp<7?;vT(b1Z%Zu%j*{7p)| zw{B72A(ENpC9+-KG0j^gF(r0UH6s;I_#R~k{0+h zxFJz&a`#M!g{L_b{+s!&9UP!zWN{9eH4DzvnvyviW@nQKa`bNYPmhuSge}^^lhNU; zM;-IbS;t#>A+nl+zua!B+PTbtl7$aGB{Kyqy$P^{zleye!9d8f!lI3Rjz2GU z(8BkGzSP5zV(JgNZ~;K~9P+_UVh`>1r(OUU1GF}8c4V{PeDkJ{nEJMukTiDo`cP7L z_828fYKtLmq<6d={MUjvTl@Bu%&=0phR(yWsLxc;2X=dtv~H25=`NN=orTlz(RD`r z$XW<%6HyWYhify1lyoEv&0i|Xz9(~h_z^MJqfag+R#xpvBecZyJF*U^OSo~8ol`SJ zCXJqZu94X`b8&dN)>g*s{%oe}B0?UgP?d+5jW3qsJxjzy7V#~qLbeT}ZXFvQjdDSm zBAVGxjR4YnUV(m(|q;@N`m*5NtMyPnZ2pkOs&h*G58(!%WPA6H7HU8wRa$IGz-etW?crx&#>W z$+XaRDvO2h#Qh%YyD(u15I@aUnfy!c*;~|%;E%18{nyQaIr6=qLAQR-p`7i`Q=`9SL@ zZ&qW^&}oa4GW*_Eh&uhDnxBZ*;*Gf>Ixyfx1qTD6xd=T>>Bo1Eq0lD=VM1UzJRJ-J z5Mu4AZRZ3}9*PO&NwS08=^D2i7#2hj&GhGlVM16_#{Mq zI!>*kMhM07@cae444@h=D8(ms$t%A5cCKS^EcS?FRt%^TvT-72qh4ho5{L4}uLDt3 zst~L0=5>eu9U6^=26t5uOGB)RD@v5v2g3=kII(p$sxn|I*f!l|SSCzV*X>53?SOSU zW|gP4w_>S@>-vf~#L<;)?J|vUL!&74IDROJPA0WvBRz$IGp}YrUlW)y6RtF-n@j=X z*!%KAj4blw?{A_4JF^g_JR&Vo)mwk&`@AG0db8V>dG3Ha_!#jTCV1X{Pg@VwpvTRR zKn(g63%K;V@@R+K7TiNxBaD?<61KA_q}$DK4X0n_litAap*y@imU^r<#xd|ZTH>1O zxfLt=uO@({iL12UwBRunn*&AZOfh76`F0{lfHG;EpEa_G{RJXjfFUj7e6<|5)9_p{ zLq5(`qFDEA(o9J9dWb+8R7LzICecL?+8~H=+P6>@ImjTQdZ;v|xk)m0`9+MMsfOi6 zsFsVz_KFvLh;=QLP^;CKv)bA7oS5e;J-geB*B;Y%rvzHOX$EF!LzY5B14{t_l>`Cx zEg7;rLKTVjPPKOoxJzX&!(giJqCv&j2z_(eW6s{Sm(U8~5v4wBi8q~5i60a)+kfD5) zkviGQ*f`(7q6!58Hcck#d|nYZim4K>7C<{DD;(#oAm+!aj&gX0hZho33e8ajh_ErD z@4ZT(^dbU9`%2$xa2p=X@}hR{kd^<$d#XBSTxZB8r;^eVtys~k=&Iz+ZMhscN%Bl=imn(E%|OXP0+vsjYbu{V|I2`>raA%MPpGTiZSgt|OMn{$6^Ua()?r^}TP|5SfQjxx zQ0&*EHM_Lq5QK!ird zqc;Y3rDF)DwfoBSM2vn4*FVoYX!ef7ew)fG8pzzm5IxbI!JQ_hKVRK za-2w)tNq{{u)QH>Rkkk@Ea&RcvPLuso|2&;7amH*$>!N4%Ncu>#eKr60@nZ(p++Ex zC?-L>UK;4h=#kaq6dKMm!ujo2(t2IFGmTSTkik@32eFWyY@5<-G%|O9J8m8M z(W=)PaQRXt_&QkO$j4p--~L*d7U6ldYMK18J5BcZFt=cc(fte6jq0?uD`WsZr2k(m&khAW3BALE}WYYd&X8eqGzh_CAP)dKogY$L=k-+<=o4jD_4xqZZ&H~zwk znWFGFn*70iLcE$ZJ4T}+pFc%QDpI;$7&In{_Vb@Ui{53A-MsIWe>>ElqBtgAXgW1TX%LHSr&LQAbKAIBEB}9rio?2O@iT&16JYC8stvbP4`gTKtW!;rZSCE=+ zzUSFeJ0Tb}<4JsEd?tT9Fu+1clB8oFJo+mYP7%<%La04q8kTwIc!IFC>vDB8IANsAe#FNtG$sdJ$S z3w#r$E}88Ig7#lncFJ8fv;>w;A>VP>fdT$*+s{hVH8byL$j4{~PhKGx?S?wp9%C)I zw{lIe6QMrW#*Iv*=QvsrPgGG*rIc>8xh!s#CT-O&6?H8VdJ`$5P*-Zca)in*SuTyJW6PMKi z{;{?+nk|wPi%%-Pez@{19d$a`P0IXou$M9uSq{Q!1NC$c^nT#*JS^Qi&mUZ8to;6ycc~;@R zY@hgP|I#kJOP#G#FA(m4S8i@3wj1^jbdUET}7P4*XzuTpI& zM6x0#$?2;M6V7pY$~he64}oEMWIw1R%beA9u}#!Li{}8{E{4hH`=Zu71~0GPJ^{Jq zN01*@D1l_r)dQrF_Gj>B`pXs#+7_E}p=#2-?_9S`8Qy%^?%OxI{O{&Xlk=ScuS6B9 z^krILSjW={Pq{FkIA_=ohe}aH9Ir*}M~RoblG&ZjFyPPU=ajKg36Xk3~ z1lWvlW}-h`6M4ZASR+l#>Gvl1G9h(?++plV*wjEwpL+FO zO=;}s96Q~JBbf>VPA#SUSK6Mw)E!SLi(+^@u3dYQ_kD;%fQ-Wz48!$#8(8H2y+&jL z>~ppl`Wu5Oe5_&X5!3e^rx%!LXBW#hA~e1hOSX208*gc(VR~$4&mKr=5ZP&BvUtb% z1%F%^zJkKCUY6HCYn=Ob4)IdsxX+xF)fRca4$+j52Tjc3kzUTn((yP!X}l!{y3Nt! zG$e>kh{wr+Qm4qvfjKFXUyaN>DnrVAA<#cB3o`?RgxWo&3YFT3i_+s*L04ve! zfP|-1z~y0?z=ADH9PK6-lq0Vfn6ObzM;YMhHq3WvpqT$88E)pJ_tnjbou?27J`XKO#BJECSZ0_o? zjbTUdMXQ-P7aW9_8zKbs)0u~AeBLDQNacE{>t`g>X^Yzy2&|}3DPyQKQG9)eYs}}W z_W0ZYxnbFx!;_E4=gVm^lhOK$z_Q5rZ#43GK|aq} z*q*iS3$$C4mK!eM;-Kq~PkEWFt{NgQNLuLWZtqhR+2Sh`-4$c_zI{@pg6Ri*31Jtz z9^NGS80#N3419T&&X9>dt$=GIp1s@0ytO10vNJ`HnDa04TE6a>Yp|iyAJ9?5DIxEs zbiz^@aWn|QI}7xULHK1-J;gus3QfICJsS0lU^xlp#tBq^;gi7ezwT6DBvjvjA^J*% zB*_ypggc=)bdi>fO5Z8_IxRxAbR5I)mm%$)k(gDQv53%}S^Fec@A0Jmd^!y#p2pO2 zx{m`y{6g9oYKU?EP*^*I)@hYr5J{39Dsipoan$S(8iqX$_VQcYvr$`k*Pi;0a{h3= zOvmzxY&Z>r!98Ka$u)Z^!L&QHHXXl8sEx8dw5v5cKqD4=icO!8{MjxmmPF6 zI|h4~0%ygZ6=HT6GYSH-PYiq2-SIB*kX9S|%nT+bxQ;b?35|+^!WT*hWD!LnNRe$l zl8!dDF%^}g1izt!wezv^gizB3G~IvgL} zW4eIeoqwj4norBq$o zh?$SmZs+0)V#7Me#gw;r`}~V<5P&$&i>7oPXT)Dw8F2~%o%X~@WBT>+1a>`sb;pd= zau0FH6sF-!SJNjMcmPlS+L6~;dI?7B^i||EsJh?R;q&8C=(v6`DEQu}Za)xDTbH(HX*vQ>?hwq_m;U66=dMn$Yoj@BX>*y0xdvfUO|+&W~4_rq>c6ltZ{r&CKcVZ~(3w8MHa zDa_5jbDLY1!o{x+(Vp84A(khbYr8({MtarchNDCm!3y2=uC&3uw##*`o%VEg3M2)( z-psC!lNbwW>@D1Sm8Id*#HiJ_-haNy^SNnR!qxjV=*J3bw=3WO3tJNRHNQ`PfJvnY zb2?%*8HN&?ZN>b&p*HHAtUEO;e0Yt^I$-s2gDZ5p&()r>kTR8PlVRUbx(x&$M@M@Q zrAmO!e+V2VjcnAT8Yu`DKZeUAhg!_<2jNq()t7j|+Lpdwhumo=iUu$i?&lQBL9}- zN0I5)4*&pSTV)r-NE6%}38aHW23>{8b$!fSXoEtkk$Fjzvk`T6LAa-3<$v}oc(}-; zvFsg`JD^H3gl<>12#6xJEg(trF`%uZaWp|?B=s);Mf;5#kZ@!YgN`;x(C-0mbkl~5 z@#vnCf0|d7RZ*UEiY57o46!#VyY7ikOP*i2BaN)W%7phkmrek@EfFiz3-#Jdygi6I zGM6pk(^sXJgkD{DaNlRwiP9X)f51#W#7SMNZ4wnT9Pr8ARFM;PJdH#>$? zH-D~kG#&`)$MrEV1^TP*R)p-(1#V7DecSdP0`V?ERPeor8b3|Ps45vFr31x%Fdh?u zd&D6#^Ah%i<^$}mKbZG{|G0(6Hjb*OKB>S~{MhNl^x@zSB)$HJ#6FsJ zwP^2>2~2VRQ`%?cFc8uM(l_vwQ3I05o1oT_^zS7LH6S)iL~mTUjnSAg5jKCv_|cn# z02T9Y)7_Vhc_`fLYn=hCo;SlkEXh1*PEQowv^f{cyAWFu&-9;{XJK>l6#L3{ zarl3y##M$Ko*ca4Y4q@zt27L{oHwOa*?6$`m#*5{DTEebsd}irO>+#!z=&PeXJQk9Qh;ke^P49weNV#VlTMy#< zi(wYl$~p$b)%;T&9tzX_mpAX{;*Mvxoy6gpO5wh6&6B&SouJv(zR}^hU=Yc zD2`-i!T{JDbAg2Qh?tsSX2gkW+Xat|%gfHhfK|H-bn`?ts{YoYIT6&fg4qDbnl#&~ z5~&gLcs3F>s5#Dew!aY*e4@^{*^`neS9nwJx$%uoy$Ou~ImUc?Adxz#1Tq1&J!8^_ z!lrF&;}om))UQa&Jl4UzIaA|Z)C+b)_hV;!Z&5kGU9R&OzTfEgBs)xjub0ttr*rg6U(;pUmFZ}Dw>nDImyG%cWuOysxv2} zCq509@u&1p;UA>QLBuoOG1P7vzvbNmTmQ=X-iK(nO{=pvZCex7kl1u=Ao`AtEYq}M z6J+L7Sh_oOpy*U1;PrL_nxrXnFrBjm0;EoT+Y)Z&8$%*jW~ zUGCfmap5w3046`=rLqt&C9Pe9)eJI9@qs{!&$gM_JzA3{dNpjSEe?eXs8;7kCR-5r z7{l8-=SEQYG{Z^-o6fiFaSqMR@4l6t_ClG6`m?ReMy{9%(P>+6+{*&&@^f%@`^-~U zL^p7uDY25qw`n33Ug7b?LG3kPC?OXABK^0?r)i#AWKg9|nq_4(Oanc>R}sA*4Utz0 zhT*VHE50quxC{;^A4H2KW}2j!SK856`Uuvrd-n_9`T88kZLoYNzd=a9eW~cl_L56( zY2N^a?)%wD_wqbGJ5AJ1QHc)vVn6^Z%}aF9fo3(uIPR%<dy6L5gR&;?rlWwmxCYIE*IBF*KZt|mrYEPtsUwCoO=c3 zyTG##a=ytx>*$rqfmK&wOD)>V(2XFf2vQry3yXznDL`MtHGq{m;`es?3xkfF^~#j& z@;L2bI`j>Q?$<-|$b}V{cbObUW|$W*7$y zjqa?D+KN^1`K^#3^hq{FQxg0)+0+?#{WR3{9V898;thC#q^*ed-%dFkZmU)wR>1%vrb$)7+#n84GtPq;R$v&&(QZ+kToi z$po)8e-Pzgi~-(;7dKkFj6G+UANCq#+PydZdu9fk3(3N;kAJ1#ZazkpyTp{Y2r4ce zq;-^%1&9)@0*D^Hyt4D9-A*zB)Lbq{sBau6`z@Fc^_@7)aJ-qt^+s>vLwqpVQZ>~k zym!$Ks&}k;KJIaax`Y`au>~>M;jZ(3WaDoyZ zr-hZ39L)~3jcc7YcW=a(2yoRg1x}@eb(Q@BYKe9&t4mPZ{c?Ru47Paim&kGaVzl1% zLQmrxj*|$rDmbX+8sJ`O^v|bPFEPD!po92it!3#Od2BHjxFCPlylJFC#M#>a6Lc$H zU_pt!5Ni=iP<}YW2zji2Q(#WrbZ$C(tS;V5%B@Dpi+iB$Sq)0FpAshsduVBF$X0=z zMKU0dc@%$&FrGQ3J}Aa!FYyHuO`{j6F*boLc%S|Am3NHON$qJ8QvXUe&pr>I7GBFH zEKMl{Xb0dy&x*wuk3!cxAs%U>L9>q6cpm!&xC{#RMy_>S?oGP_FgDD$#Xkp0@p`CN zP&8<-NlTRF3OA+~SV97E_nMdLbReOM)P>Jqc1vm?OJr?~;7NZH+ts1?SWlHQKb=yq z`&v-AC_~+%D}rS>{GzT0Z{(g%yJR2l*ZFJ_>eLukHA5o3oh+@+3|c88gHeD^0=ad1 zihfITq#7T4x`r>i&hdwmfoq!XI67U^H(gCYd@akCQI$;d&h3J#dqL$2lRR_v4NrY| zlXv>D8AnF()rscgih=~uQ+z(&I~GS71v_n}(2z4Tzd|dfl*LzBoD~=acC6D}(&=sm zdT=7*+MfBzcZfsi;vNyK%C}*P$AULzP=?QA5gIDx$V7PFp({R*7pAFR-V1#&YEeQn zMIdL_|2eN`2LUtLW?}~bxpJBhx)7m`|Ev!rQITK1F}ho$wRwzD^qO&1_s^djglc{5 zJWnD6v*@9SYBfo9(<$c`kRRw9&;=TUPolhdn9@XuEpS9D0+C~slrqiC5i?PES4(wAdH4o{qpN#nvThQ4FKm4_M#&q|3{D?lDe4zB7#U^JR z+9j#ET$5UDS^3O~7dnoMG_cYxLseG>!2WfgOCq-cblxajK^bA<8wwR&Wg3Q{^}3(Oh7^%Jy8812htuG3l!?sz@==Od zw*p2`B%oGIc?^Ppka@s|)lrP3GbS`P61DmAjcOM*Q)6PQ;OIz5Cj?SIEKs9z(zM-1DALw>05L#=9nkWh+vOu!%>X zN{En3-RlmPzgwE;G_RX;;x=aq72=3sZ5KsR4BNCVTm8K}@D@iVo~JYJNjS zhto#+D$5CSJ|UDwJ9LT)PQ$!YAv0^x`@(#xx=ld7S2*<(S5!clXLBGQvqR}JWn}iWv)YRD(o!VwnWO z?U{wSxi4jBcgbz4N4t+oAd5Tpy0=1Kbt}B#v#|XOY9jR}OgN~95u$j119VIwJe#@x z{JFlQYGBSvdoh~6aNt_PK8elKl%NfB__IA&y7`oqJzp>ZKffZa5&7vG0@YcYRAf9E z;}Iy8*a{F=Q!`CXOS!x#hQy^`=R5kwl--)%veTppSqLJwVtH}c(7_Zw&aWExm;K6e zxP1cOv|$KeG5?0Qdf;}bj3hFDTmtAT8RF-`m|=*R?*M6#1Na>)5eD)dzVS5;HZ zV%6dPTW_$a#DwnedTDROBDwS`DVt}-=k|da@{sSs7S1^LU&IeA_5k>}|-Ci7oHE;|4i49#9}H3Ur~j1Jh5Pf$8(D z!ogiiG?rvMEILL5Bzy?juLms9*oya_N!A^3VV>p$uZb)h776qL(6^SNaxE$B*+Iq^ zm^%Z4^5$E_je-Afwa3jEqIEm*aSpSREg(Y^R$6Q{t%Mn)`%P-wrHqsL*xd_+u7XoZ zPOs{sA?U>!+O1x3ab9UhhIbLN^cq<0Q+`@iYO>F#EY(<8|JT&wS0^bO$s@180$Sl9 zry1_>2bt8m9_ifynHE`nh6x=a+?-cF!eURF_C1i320M%x#q?QD7(-DKXk|M3nHieV z@xMkSQh2O5T|+oy#9l-VKeyqP$$1FVln+cyt8TA05M<#wwGasS1iBS097H}(|DX2T zMde~;Ayq_5L_se~VDQ6B??hGU_|EBjA9{_)PM}|;938+Y> zTQmmo38Bk#ah60|EiB9ISvh zR29oH&b&|O+10X7QJqAxSsUGwTDI75n&dt;W_7E$V?-Iqs3Re2sXR2U)$k_tTWj+{ z_K-IV%r29tpO#!$q&@5-@J8ps)$qizi`}wxcrhleCbK0Lxv5m_w?mrwVh9s^9%QH0 z&(#us)WcGD7CRgld+oS9_uzE{oEVF$@nSeGVZ17sN2kb`UF76NLit8 zzHt_^Jg|G&6`gUfz#&gsWG#jzPZ8&BOAjgkc1RC&ez{@sjde2EsK1m;%YD! zuhqjvgABn{vxq@R9L>qK@Qy5t^!=-@??ArIX0VSUKBob!>*m=u%Z;NwPmO4N^p3v2&sMR= zc45#F*zj+KgN9&>7a`_oa9r@?0IUeycMe3j8R@*qV_p#{YAUBf%fPW`@pTRQ$*;y& z549$Z{R}d!QfZ+fA;-D5-=30`MpSL6bg{)R4P*HgEf275lACAn44^0_X2^NxNNa$? zQ3qHA=@;p2LNBV@n<6G>o0{dY<35*8gHh)zVBK9+IjP!++A*sHR`lubB`u&l{7{(^z_m0b=i1f9y__b zw;uv4x)XOVAmY20-eDvbr6)&NyZA;*a?l+nj0do5sd;2wa}w)THLasD^mm zEPD~5TBFWEcS@`>(EteYd9Oac6G%SrF;oCV?Em<9f1BKnU(72P(##Qgj?#m0JrSt0 zXoEp7hj#=C2>X~Ta~e5S!S6wnpzxO)kpC_wD`n2%2wvoD;1DiSd6k-b`=uGn?r9s+ z{rOnq@Feci%Ny`Bc4Il>zW>Fl_Gzt5+80@Q>?(FGU&9U4U10dJFRr2EjNaCaA1de< zY^3ki-D$Vs7>AhCZ2hJ2RJwUH$@$~T{{#Uc7Jo3|kdf~h_vw85*sJ)E|%6$>&b#L8)|h@2QQM6{F4AWu7?`>G$9UwX|-KIAh3A!G_TrzjlrEYbaF z_s6yircry=#g#>x+{7E%-?oleRLa z0Vo!8}YQ-7WvPPCQpQu_$_4f7QoESXkS*i)-Z)}BshaL0>S~@ERD=SJ0fKUPI z3`RJYzdGD`XEkhn=trOz`6U^mD`)by(6;c6&uXCKfkXg&(WUZlnY@&1;;`OlwVUl~ zzl>#kFT*V{imp+!iyyfv{C+!gg4crKBM8%u<)8pn_O4GyonzaRvG@Y(K@N$@$P5Q;vmhofnU<&&YkT zRPM{9G;1vG%-_EB2V2UR;w2UENWzLg^ar?#^P=&8z>`@2FYqKa4M8yt&40s_{)rL& z&wLUS(|;?n8QEC~I5`;pO_BW%3--S$vN`^;M*shO664>-|8!*kquu|f$Y%Rr0i}Q9 zNs|8sCMo_4OZta0+xUN>js6<4{{u1l4_Wqqd9wcr{`{vW`yV*Ze|WOl{_WrWH{Zj~ z`Y$gw69Fsx-X!ayv$$c)KLxlGJZ&#^8tH!9gb!^W_% zC@?HC?<%Rf&`HVCj7`osNzzC*DKRuQvZ&b8$f`52s4_6LFfr9Jv7RWY+E3G$(TvN? zP$O)B61y;))kG$TGMtq>tAH!EFBsl0SIEwK;*WL~ifAxSGs zOC=?vV8rxSSzJQ8PC;B!Mo#)jF}!2Ext>;cAg2gNaU%ekYKoQ$jB`>T*lc_TlmL0j z;mMH-RZ&ri!`a6X@Rby3doWgv5c_5|3;75=Bf1F>M-sy!vJv-pGlLQ&Y;A~%prpX1%py_22eovGN=`>s7wz^O4KMy z)c$nKD-#p+fR>5?V6xRhTE2+r6j}jelKhYujpd{S4sIqRHs@QfUs;V zEXoY*?A4-*X*yaeNg3)ua@4)M{&x#Z0fK26TJaf^E)QD1^)AxOk2W^c7dq(r8bcK` zZx4g(sqAa;B9~>E+38By)?D-oj9n&Ul_9as&$wta-4uJt*1W2%zoJZP_2oBHMfGY81ws_d$ywu?#7R6EINN0m-IdG=wLD#OP}H!m%a-|8n}{OY<(4L`1_dYk3y6e z_kDJ5bPv$xp)!h!Nlbm6KtFWF81KeAX6PsU))o1`T5aw-8d|)0fCr?iKT-@jn5KTLc~c| z&NhFX_)2#$o9T#m=Bsx~u0~J2s_DNUtH;v+P8U*nY)4IZp}xci$d5*v!%*qVRPK&^w0-u~<4(EI!YFSRI@Xt_ml?*H zuYUe;*==!4mt!9b;f#OKS$EwT8^=|8i0(1{Ks{X34*$+sDH&C7`ug@Wc|J^x$=CN= z@|~wff=t@WNV2$b`f!Res3;R|?Y?%|mehmidmhuV`SdQBbu4)Q(RfD1#GSj_ndydG zH8iQV^u8I%K3i6z|3s$&0vN!B4fr1tpZ(ub>wgENii-)VD~VGJ%PMO!{>?QpYeRD< z0+zoAcDBw!LU!&1+O$lZ1hkxN41ZBZMm7R=cGiE3`F}*=zsLMvzVu%)&&c`rG5?OC z(lY)%@&D%hUnKHhInVr$vEpAKs*#JewW;%eV3+?$;s1zbj(_{W|BhwGzdYrCM==ut z8$09w7|iS}od3tcT%ByHleDw^0yvh>O%jR}cWsNo1wvAcX%LQy(asHW24+#DEF?fu zRMa6XAfzNDQk3)Nb?x-X_p))q{9x2=Ro(S$_x0ReV_34Xe3aA_pcx>@P{vJ8k6w$R zpeHOJn+iTUF*HC7ZeW%Y7DT&6$WRto%&h@4N=-Emp5zh${1)ur$zufM9Zv6$NdfP4 z7a)9jxfM`#Z~cP;32d6(XCK}~ic)5HW()5s_E^{K40PUKMQGrLPnTDfh^%mui)t%? zTZfHt4cWX0bbAkEL$G`;KwXCm0=4@so(Q#w28QyjzB)W`v_mP+un9{DHTteihK)ct z4+iFP54i4c1Gt&NFlcKKobrQT|J}hkIxr@=F#neO+>`yz?;&j-o;dTP(wn8rv)N~# z2Q~=?6ZY*^4*06S&(h0=0Dtl`UD2w|C0J#e?YA8ZCwcK(9#UvKET`C zGhk3QCm{(YL9ikj8BU ziLfULFpCBT{^?W@F1*+LN&c7#@``X6S_iX#{F<9r1`)S$4j%#3R{bL!7@oyC3F(0T zjk|ZW2k5x*8PX|WdzeRhjZ1m^k)jR?%~6%u}y^+T{f+xp{-CPEV;l(*Y+AHHYcH%Nds@U4!; z_D%sO4g$Uu~tpVIk{PP@Y~Gm5&mMZ@(tX&p2w4*!WT8xho-EPl{XSqvAH+kbUpo=Hd))s zH@0UFf>^vdLQJ2We>>VKWTP4@El%xX6hZ}826%BDGj!0V^)yWOjt z;Zz$lc%?Z=f=PQI=idNFue)Q|Fbhh9c)XjClRReA+KU(+5Q{%$7>&0H#U3N({OPg8 zH@=s*JcQ#6@+#o^zR?AjOoIBGy3R3j=8YL}rW;3|<*>m0R`%^{`U zL&4x$5y{iG%VI7lK`MMgG6`wD%l%C~+!UZXAZR3w_D9LDULP%WcbMLPBOEVeIIAhx z>_JPc0&rWbkyqm?+KK;>x96Yc+{oeTF-1}|F~#8INM7fsK$kTLaHZ#kwS2g~6Vu*P zgKhNy&a91c=0uqn(v!#NE(Zo*eL=fLBE^J=R#zSFKC3Y^gAGcn@OGC}f4ZV3!M;7> zD4;Y84j_zOjO4eHaI}-0m38r0OC78TvsZJGt5_X0Ft2|@(@qC!of@e_^5bR?68GGi zE>yiH9&ehP>(Z3E*w%2TCXmWaM1Q*tgv!I^KmD{u1e4~{36HWM%kd+}zO&GR=+!p)kH^sd%t z698Fm9cgrnJzJAhx9o`ghWnfW*1@qk*;{pHrgoLGd9&mmMkRmkRkek6c|dK`OSr-b z=Qev(rS49~9rH(l*_FolG#k{BvEN}HT%P&Qg)6)BGNQ`s8R#%1cjH=gFQ~ZX@`F*) z#bZz{SIyx3#iMOD{8Gsr>ETksIvqufPO!Jw-r`+Aaca0V3qFJ!$UVdvCBAUAsiqX< ze46;w-jv9o@Y_BLoNb)WB{q-mhTq>B+3@AV#@fnV+^w!-S_%1x=0*s~6jEpDl=Y8! z+ZQv)_uwL^s4W5UBmofAjcdX zgW+G!IjST#}`lVhqh&38r zBPc!`&2iOgS28ySN=tcXD?dVE)Ox}{*#qeNtocB5cb)CN7n{8IeAA6&_Kfl zCJDoW08hVq9XqW_&$(Y_6xAciDetvJh~VI!v8}#>ut0_VW*t?ZRgo_J^5pFbEec_Z z7UVuIx?o5zNdP-hsrPjR=UFJTPWKG2%vA)USwTdZwZDeb++-o1?$r5PH95Cd^k!)& zRpv%t(OWH&hY|AH$NLKmtLa&GZvDfAi=Z6IIprtgY>61=J-pThWg~2axaTkv z4gk^F3lwz4O|{CxV{ZBhw6dJbF3@s#Z-u-RHa9*B+c^`FV!fTfgX0T7)Kc-;L5w?R zATjUj;2l0Ij2uyB!&v;LQgTNG-_g>uax4Jki*HRpeJaV;vJ~deVu@wD&rM4MQ-Kjr z^c(Hm-5KUU!-&;}f#H?b$Hc6} zPs^jZ9CL3PS`r*?U!qutS^J_eO@&I1XeRl*8U1|B4TxK7qg8%Cwa;j$H)TIO!S@=U zed$hbvGzm#pvm})un|4Qxfm2D{8Ar!zlvMDrnSB5K5RB%JVi+4^qTe&q}>G9HsIh5 z;M*a5b)rlnj}fbV{GInHOltJs%rrfN1@-q(YMPZ7m0TWgxYCM4HExhet|5tQ;i{Z3 z_Xsx?sh|n z@@5+mv%EU$tL2m|swpo$?phUEeP1t>*CC<_GiYu}m;5f|g@5YSSL<81qg|6-(~GX-jTqaO|eF;?~Y(9B3}3Z6+(-@!)}82m!M%@vojp~wt0 zDohgaDOhJd0xX8?&pnkYzrjBq0K3RIgfb4QS54G4n|5R-p|;^U26p7r5ARUCz|8OMIqasBh@y_>gK{IG8R{3kRLGlq^ zS>zHVoSZ~^TDG>29Ihs^jvp-=VPZHfr#n|8Ji!XXG7U}@80LlRj(koglvFKM(K^l5H zbKgZx)Tcv&cXk<{awo?ugf*g2*uZWsJ!`kNAoF+#&XEq9ws^w)vv-*V%7f`(wt1Ca z>$ns?cIF$8?(};r-LLdl!Gc`DTNO&>)emD&$`hlgX*iuh=1P1ye{G3q-+Y8e`};)e z3OZqx$GrD*xB(*?+u!mXZhvlc{AZnFN0(ym&3ZZ?mq7{93s6;IOGlN@kme*#&K;9! zccKIFk01JmI!8lgn`F@l)V+J4u`gpu*wSiSEP8UO*$Wx(WRyt@UC-_?lvQDQ)mZy3VrT>$HK`fB(OvD2Yb$4-mP#9DH zie5V*NyQ^aGBMvvYAzU|kcf(hJ*y5@=OrOAy zCs4wm?>Jpa`5po8y9nPw1Y{c1v~f|OJrG*_8~~+-4Gqk@s*VI*4~Fv+T$$H%OAX4R ztWLS`Npbna%M9vB-4F(If^CicuE#1gkhDt--{c`-Ds9Koh%OJY-=x;|FSIK@>ngEtSXWZ@}J#cEG8wt&-6)4S?k#@UZP(fz;An^*reAWXWSF=%P&2^O7a~u&d z`a-d{>{VWn4(GS8PY#2TNXJ?sqrum3QT-BCR$p!N*F3l{nKK`ps*4-~6Eq*zUZG?a zg!@B4WnDSoGKJ>5*l%9#5COsi z3c0M`mcUOYuN$C1<%ODe;%phe?lr@s1VMZp)Ff$~gJw@6SsU(u5DB(%bCMu;6dCqs9 zZ6l2+$yAOQ6eX>)zv$+r6{G*=GkwQvg8WP7<1Yb>iZP~7J9ZS(b{4Il9ccZDvCC3E zbC1F-m8$rR21oOTHwt*K){2g7B&=OYVatc??WcQE5~J`tZ-I|!F7?#7-!=9@ah6tC;O*A@O)91b^c;?ah}K5R~r+I zSP4rKZxmn8aO_l!3LV>RFx&3Hr%X#mO}4E1Z9nkc;`?rd860AqRxYZzvbITBoj*mZ|vGnrt5ha52{o@pItgF zyXS1~4kzc4#=^!hxA6?mo*CZn*A?FG@bgg&O?~QMru3osip7iEwLP2PJUcPxhao55 z<1z%XwbOFlun6b)K`zD2>Tqzelg8_nRd*t)?`?=?mrT z)IR%?;HvkBE;c8+l;$|igBQ0Ow@-^+{z3iDfu>Ck$`SF}bEX?J!s~d=wq79$6*&pl zVtc1u$ZVAxn5#6eFC|`4&$&f4j`gH;;pE=n5u32QwFkm_sy57JW$O2Z23e~-y5BEced6dY_m79(<{W3!JYQDM zjUCj{U@1=4o_cP>F2hxw5yLlAAK3F^h6ocA-9Hbf-SI!Kz2%{9czw#V2(zL12});X zcW^Va8arK8KlUs1*Vj$jADU)eP!+4a?rKrlRks-D#&I&GsiktI*KsMXU+23f8MIv6 zx1uDO@oDGX7m4$EH=|UQR|gk61vKQHBpNrZ>>ddD{oA4DLv2$#+7v%po2DZBE6-Tk z_8WQq?j-Zah5EbOxIRf8S8L66qjPy~n;B=OyfR*?s_Id2WZ>zAJtmWtcUL~j8u&hT ztfq4Iw}jA6GACuy{btXYpm^=b=kb4>IeYvd?OS-A`^7?A{i?|AT3K1&_cHKRll2@U zeEYwB2zK7^Vp_nZ?ozESHh=8V)ar`;PK$OQiAnSd(pg{;aKbclec0rixpFzDdoEA5 zZZOkUALQ15SemK5JY?i+C8K1e$G9AItz7$)O0AY<#8;VLwY{_m@5A>tWj~1Cv%aFG zb~|HCadwdRSR*sSiF4a7DYMh^$L-N{Y)}1YkW8zxBh~d3PPqIi^^J)h^ojUmt6}t% z+3}f_zX!i99BN)!=60{Y@Nnl1bJf7Sb>DXcZRzorU*LNpy+uFUd2P!+bAR1eoHbF~ z$k6fX0EdOaZy%KDR@Sc!HF^H~w1kMobPHKlt&(X(O!(bvw$n-}`c|Go={4j5Fhq`fsMP1~cfCC$Q9yTtIvxSX~t)@;V2Ie@@9j)bd zFHv}6Tz4cg>6rVbYX|de<)7z=-Z}1+xviosC`~TviaYXEZx!uv(B-GC4cFQxZ2Y@q zQ%%N@uG+mczaHD4}e>ei_PsYf+rR>xRqT(Xw$q>^0ohTA*JyIn#p5}L-(+LQTm zePhs((nGbey;qM1tCg>73Z1FiUUf{@t>EMMMZekR1d)pESB%(PemxXB{adGwuUdpH zeZ=W-&!MT#^QT zMntlDN}2@|_o{Pm@}VOUK1|F0Li6j2cb8>OR+M$WwOXNBo1xnLOnI!0{1+R~;(?k_ zR(Z|UVegh$B_-t+$Ar^cN=%oi>wbJ!W{{MtJJxl}2efd(y7S3p`8oT20w2I)^ z=wy>%y^7OH3!SD+aduel5&3y_a(Ld+9%ZFlS!z8wKlXYukz-o8L8sko0wU86_l|5| zlh$7zdic`YdAAxf^LI0Mm#J@hxAvTCT76N;Z^2PApx3nMVHb~Ftg^QD!$|nh<&dzx z?!R{TMg3X$Eu#QOHCSf=#|7AKjS04$ZFu;^*WpUIT&uKEdsUEpy3Ha*=V_fA%~jpf z9Y%%%`a%k*gBxD|`SsJS)qz!JyHypxCo82k$7oycf2w|o{$)(d!#tCtO9Puf&Y$t) zd*6bn;MUXW``Y%+ZAdHJaB}W@AS51oZEM1|i7VlO0InMufh04%x;g2@X31R-7{P|Q+ zuSrVER#r0SX|Iv_aBP8B*TKatw={wm*Iv0nsXYDTqtEH`nJ#}@&G}*4oOZ*qd*Xgo zOYO%)^a{7+3Z2 z$UM6-W$Bqd6&j(o^b2lmgY9twPW|1w*oMQl7FEQoS-Ubq`i_I8}DJTF$*{wLx~>TbI^q3*Rd`vx>Om4jt9YRUY>>_43zsDbFZp zN0L=mmey$aP2H4jJJ&%)zPPn9W^-_|s?HU5@yKkojz`aqsUZ)K`iCv5o4-2hL($mS zWA<+F(Hwb~Syy`V|)T|GS~YsCfRsOsSy>bQ` z@8_D|(U>wXab&y>V$3EY{ zq27A&L>XC}#jN8v1?!6IT6!ln^wqB0AFS$Io%_=Dea(V*2j`fUY#2uv&p77WaWBty)S1rDU_*Tk{5a2Rdab`bw{r4Ugrr%N=jMA z0nB?zIl1!)k8X7nH@!@(=_)9SQ!|V-xm{Yp?&@iBC!K0_^RVl57Uc-iEQOKlyG6_~O4l9tx+(G`WWU(W%z-s*e{w z{6oHZ-2TyysA*y+xc_xT?PO+dVFWmn*El%*(-AcZB}yhk6!6{kRJ>Rp5`wlCi5*a* zmp>1v2?Wq>Bz`~*4zmTv(+FT!{)gjfI*!ieF*z)*H^1vhKqV}}bo^iR#%vrLkR1Et zg!IJ%QeqJmG1rIA^}-SoOB{!zr{Cho;S}*MB|$Jv{XEzVmfsfOEz8rB3CNQ@m|Vz( z07#f|o<0zfEJm^n5orSQWFf2aC{)W3iHPIVEDMO8g~ZJQ2OtuaPn68}inom|#~jQVi4(h5U=dnm39?l zeg=s)8tFGkpg?!tc7G;>Lni`cn-QJMM0+V9+$!6(#*QXpy>&)xABLdO0!>K{%b&;Q z05|!wi!)Elr>FydSbV8HAf(T2X0~ewo3j8oIfS7&^w)<8E%Kx8#(q&W%i*TBL zVIfJ(C=5!X2#j=_BoR#pfC|#rSK#M8gtMVR;4`PPMc z>m1BWV> zap2JX{h161XGZtoGC`;uOxG_n16`o*bU!~P2hw!#VsRnxcMZ!Dg(E-(5tbp#2nd*5 zO(8xlvGNxT98$nTG@1g6i2s7Y9+M2-BX~l;WFSG%mxK&t3q}S~2O|ShAT2|SGhgN> zvO&g^MB|BM2uwydJd%2NJm{~*$fzJ6B=yKJ9u!Fl83L0C(l+pT7~P;s=m8lb@-$iGYnCi8zWL8GS-ajfY@;BT=#WLM9TWG2?*=3})~JH_~yzlW0`w*dus! zu}We=@KkK9$OP>Cf-qxjP|4^4?M=x#+)MuV~WMEfRWU z@K}(ZOEOGF-*!mq5wP=1rXiSG2kJA%Ujzn!q{c&F@LM#Dj0QgCCutV}!(rx^fb|0* z5V32YK*H1}gg_RbUml0f@?mlm^z|W}Ju8HXKF@J>Y&Lk$2BLz#XS4A0WP?v03NK6` z7kx7$vKfVBN+KA+L_BOnGNDk-5QIuHqftxi@w9*?;{Wbl|WKh Kw8+%jOyPeI6);@@ literal 0 HcmV?d00001 diff --git a/specs/as5/as5.tcp b/specs/as5/as5.tcp new file mode 100644 index 000000000..19f9dfc99 --- /dev/null +++ b/specs/as5/as5.tcp @@ -0,0 +1,12 @@ +[FormatInfo] +Type=TeXnicCenterProjectInformation +Version=4 + +[ProjectInfo] +MainFile=as5.tex +UseBibTeX=0 +UseMakeIndex=0 +ActiveProfile=LaTeX => PDF +ProjectLanguage= +ProjectDialect= + diff --git a/specs/as5/as5.tex b/specs/as5/as5.tex new file mode 100644 index 000000000..2fd5c30f4 --- /dev/null +++ b/specs/as5/as5.tex @@ -0,0 +1,113 @@ +\documentclass{spec} +\newcommand{\syntax}[1]{ + + \subsubsection*{Syntax} + + \begin{tabbing} + + \hspace{2cm}\=\\[-16pt] + + #1 + + \end{tabbing} + +} +\newcommand{\secspec}[1]{Section:\>\texttt{#1}} +\newcommand{\secspecs}[2]{Sections:\>\texttt{#1}, \texttt{#2}} + +\title{\LaTeX} +\date{} + +\begin{document} +\title{AS5 Subtitle Format Draft} +\author{Rodrigo Braz Monteiro, Niels Martin Hansen, David Lamparter} +\spectitle + + +\section{Abstract} +This document specifies the \emph{AS5 subtitle format}, developed jointly by the +Aegisub\cite{Aegisub} and asa\cite{asa} teams in order to replace the old +\emph{Sub Station Alpha}\cite{SSA} subtitle format and its extensions: + +\begin{itemize} +\item Advanced Sub Station Alpha (ASS) implemented by VSFilter\cite{VSFilter} +\item Advanced Sub Station Alpha 2 (ASS2), also implemented by VSFilter +\item Advanced Sub Station Alpha 3 (ASS3) implemented by equinox. +\end{itemize} + +The goal is to create a flexible, easy to understand and powerful subtitle format +that can be used in hardsubs or multiplexed into Matroska Video\cite{mkv} files as +softsubs. + + +\section{File Structure} +\subsection{File Format} +All AS5 files are \emph{REQUIRED} to comply with the three requirements below: + +\begin{itemize} +\item Be encoded with one of \emph{UTF-8}\cite{UTF-8}, \emph{UTF-16 Big Endian} +\cite{UTF-16} or \emph{UTF-16 Little Endian} Unicode Transformation Formats. UTF-8 is +preffered. +\item Not to have any character below Unicode code point U+20, except for U+09, U+0A, U+0D. +That is, it must be a plain-text file. +\item All lines must end with Windows line endings, that is, U+0D followed by U+0A. +\end{itemize} + +The character set of a subtitle file can be autodetermined by its Byte-Order Mark or by +the value of the first four bytes. See below. + +\subsection{File Structure} +The file is divided in \emph{sections}, which are uniquely identified by a string inside +square brackets, in a line of its own. From that point on, every next line is considered +to be part of the last found section until another section is found. There is no end-of-section +termination mark; they always end at the start of the next one or at the end of the file. + +\subsubsection{[AS5]} +This must be the first section in every AS5 file. If the very first line of the file is not +[AS5], the file \emph{MUST} be rejected by the parser as invalid. Note, however, that the first +line is allowed to contain a Byte-Order Mark (BOM), which is the character U+FEFF encoded in +the encoding used for the rest of the script. The first four bytes will therefore be: + +\begin{itemize} +\item 0xEF 0xBB 0xBF 0x5B - UTF-8 (with BOM) +\item 0x5B 0x41 0x53 0x53 - UTF-8 (without BOM) +\item 0xFF 0xFE 0x5B 0x00 - UTF-16 LE (with BOM) +\item 0x5B 0x00 0x41 0x00 - UTF-16 LE (without BOM) +\item 0xFE 0xFF 0x00 0x5B - UTF-16 BE (with BOM) +\item 0x00 0x5B 0x00 0x41 - UTF-16 BE (without BOM) +\end{itemize} + +\addcontentsline{toc}{section}{References} +\begin{thebibliography}{1} + +\bibitem{Aegisub} Rodrigo Braz Monteiro, Niels Martin Hansen, David Lamparter et al., Aegisub. Application, 2005-2007.\\ +\url{http://www.aegisub.net/} + +\bibitem{asa} David Lamparter, asa. Application, 2004-2007.\\ +\url{http://asa.diac24.net/} + +\bibitem{SSA} Kotus, Sub Station Alpha. Website, 1997-2003.\\ +\url{http://web.archive.org/web/*/http://www.eswat.demon.co.uk/substation.html} + +\bibitem{ASS} \#Anime-Fansubs, Advanced Sub Station Alpha.\\ +\url{http://www.anime-fansubs.org}\\ +\url{http://moodub.free.fr/video/ass-specs.doc} + +\bibitem{VSFilter} Gabest, VSFilter. Application, 2003-2007.\\ +\url{http://sourceforge.net/projects/guliverkli/} + +\bibitem{ASS3} David Lamparter, Advanced Sub Station Alpha 3. Website, 2007.\\ +\url{http://asa.diac24.net/ass3.pdf} + +\bibitem{mkv} The Matroska project.\\ +\url{http://www.matroska.org/} + +\bibitem{UTF-8} The Internet Society, RFC 3629, "`UTF-8, a transformation format of ISO 10646"'. Website, 2003.\\ +\url{http://tools.ietf.org/html/rfc3629} + +\bibitem{UTF-16} The Internet Society, RFC 2781, "`UTF-16, an encoding of ISO 10646"'. Website, 2000.\\ +\url{http://tools.ietf.org/html/rfc2781} + +\end{thebibliography} + +\end{document} \ No newline at end of file diff --git a/specs/as5/spec.cls b/specs/as5/spec.cls new file mode 100644 index 000000000..95f65e583 --- /dev/null +++ b/specs/as5/spec.cls @@ -0,0 +1,57 @@ +\NeedsTeXFormat{LaTeX2e} +\ProvidesClass{spec} + +\ExecuteOptions{11pt,a4paper} +\ProcessOptions + +\LoadClass{article} + +% UTF-8 input +\RequirePackage{ucs} +\RequirePackage[utf8x]{inputenc} +\RequirePackage[english]{babel} +\RequirePackage[margin=3cm]{geometry} +%\RequirePackage{amsmath} +%\RequirePackage{amssymb} +%\RequirePackage{latexsym} +%\RequirePackage{amsxtra} +%\RequirePackage{amscd} +\RequirePackage{charter} +\RequirePackage{fancyhdr} +\RequirePackage{color} +\RequirePackage{hyperref} +\RequirePackage{url} +\pagestyle{plain} + +% dont indent paragraphs +\setlength{\parindent}{0pt} +\setlength{\parskip}{0pt} + +% some highlighting +% \todo (no args) +\definecolor{red}{rgb}{1,0,0} +\newcommand{\todo}{\textbf\textsf{\color{red}TODO: }} +% \ann{text...} +\definecolor{brown}{rgb}{0.66,0.33,0} +\newcommand{\ann}[1]{\textit\textsf{\color{brown}#1}} + +% RFC2119, use like "x \should\ blah" +% (dont forget the \ at the end or it will stick to the next word) +\newcommand{\may}{\textsc{may}} +\newcommand{\should}{\textsc{should}} +\newcommand{\shouldnot}{\textsc{should not}} +\newcommand{\must}{\textsc{must}} +\newcommand{\mustnot}{\textsc{must not}} + +% oc, as in override code - use: \oc{fade} (no \ inside!) +\newcommand{\oc}[1]{\texttt{\textbackslash #1}} + +\newcommand{\spectitle}{ + \maketitle + \setlength{\parskip}{0pt} + \tableofcontents + \setlength{\parskip}{8pt} + \newpage +} + +\endinput