From 590869e3cc74b9c41144776910aa40f88a09d97e Mon Sep 17 00:00:00 2001 From: elwazana Date: Mon, 20 Aug 2018 15:45:02 -0400 Subject: [PATCH] Corrected placement of J constraints and created a new requirement --- CaseStudies/glass/docs/SRS/glassbr_srs.pdf | Bin 804565 -> 804822 bytes CaseStudies/glass/docs/SRS/glassbr_srs.tex | 10 ++++++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/CaseStudies/glass/docs/SRS/glassbr_srs.pdf b/CaseStudies/glass/docs/SRS/glassbr_srs.pdf index 81b3c1ddbba328d65f2b30f5c52ef4fb865d4ad6..aecc7bf56ab1f2cabaad8b1458eb5234a5443247 100644 GIT binary patch delta 25364 zcma&N1yo$mvMVHg-209#L;7f!JZqF`TuEIygLy17`GIQ*p?O>IH! z?5w1$q>iTb&nO~Y(0ts<)lBrs*5jyPYjz2jd)gozi`Z*OYqd^)=F*ce*rv`DK#h-@2{%t_+`sc~1I_RZ-0(;6 z(C;h}SvB!Wmrvf9vtmW({M1L?^Xj!&JYt|+F*cKK6xTOpOZ~>D`hD)Y`)6;oDTF=F z;LFafhmsgg?G&7h%_uDrd5Qjwis4fydPX5U5vKi$8yDV;(#RV*rwHw9Jd*iegVaJ{ zqn8+(=e5DQyQLjNQhV1X?QnnCz+FTv3o0vMbDqz@K@Zo>dXJAoOR)s3&$1q9qjCaf z$IWQ{^+nIl`h3vuG4xrw;hkwS%wuwO$JTIn)Tbj-NRu#o%A!IF9aK1+Rbpq{Nag48 z3;DY}%N#T-;H7Id_{R{VjdScUAj7Q*e=g)FG>8KiJ%+KIk`LMBS%PK zT+x|`W40`B(7NPZc=2XP&4>{$=G{(q2+Pg$K8dA#B&M*&(v>lUP?PQ+`!2~PiTGGW z`6;!1I8}6=&+38FtLE=s&RUl%G29zaRcgZ^rp_Hd2JSjUdo8C7(H;}RR*$<+BqseH zN>OY%3~(2`p3)la*Dn;Z14}^>^?`Mn4`5C{@+^b{<~LNBtJ#0;Q-$9LjLo}U$=x!r z_(;gX(_!SO;2H$$vXtzb}G2u$6HGr|V;&E=V z3#K_Txmd{;@*ASXA~@*Q@iDL#gNI(%8IFn0psJnOiHy4gRss%EVxf2Egf+5zY|>=Ys;u}C<3p`f7M>@KRC3v zp$IClo0z>%{VpcmBDGW(tkf%Vw~HS+c4Ka(tqeDXF8(}Tml5W%KOCK*$%CZ&_$cE` zbyX1;G?p3?1ZSgkg^L|Fz%fa4hjyc5&^}`*<8Lr_p2aX?%jeRZ;}aeu@mb~fgBD%= z&fby99MlsD-t=YK@oJrFN2O2l=RenPJmnrB9HfRoxWTzJFzlSL?I|5ts(Kh8|#@oJc| z!|i(mX4#k}p5N7p=0q{pZT*~OZ+Y^x$*QL^H9fMex~#7fx)%p8kR*z zOU--Zs#)g{ybTswWSDsG7`ZQ8+Gb>1x?aa?{cFwL^2V0~NHRZC@2n*~i8Ycw6ofdR ztr`9aUTh>Vwo0)s7m|F3p+J7mQZEBlx0DSpwh3OJ;JwK^vL`wS(3gL$t}Dx;p8(bW zB)zqX2_!ApH;ch!&G{kIM+c5!j{!=C@C@wpqUO`(6L9KaM3KkbN{Rwn#$&&oM-Ti7Xy;aQO(b8fA|ZPsJO3M!HlsZf+hVq^Y@ zh~t&3Dv23E-|hZUugz-Vxf#)1&o{GGq(RV=pp-#$H1h#C-~4zRAq`eYx}o6A;Z;M# zytv5TCDvC--pvf)HtAtgo=&h{O15efxMFxio0HEd-c73o8yBZEtgct*BOgrv) zSUtKXtel07&es3jV!aSc#6de^x-OEKQ8A4-$d>h8XamhTmn-8krZ(^pLDwihPt@TV z)dFiOJb;+c9L*S1$p`iAQ@zGKI&!frj980`18pnmi0>jJ=`47!r?K4gnf2Gg0X&6z zIX6$t3dO18h+y->MLNzMuSFf)g=ug19jyuZ0rL0n@stE@JRj~r^m%)1dPkbE@>ms9 zC6O~iThoavfIK@b2_w&pX-~H-I`f~cg0kvAx|xiN9YT>FEoohO@KiU!jQTXltE%a( zxNQ3g@^~E0Y%SmsB7af6;zi9^sY-&mj_}~nIS1^KM6r!k)`35R4o%#T&1FooUGVDI zzkvOI#0wK%Nr5YNK&ewsZLko491_yfxO(kjsH?@HMCsNU*pV>)k4f zx-E?=j=7lqG?j=tGvzHk0RRDu+*lb?iw(AP%{C zUY1t%<+1$Jbk2Ln9YJXc_vM%xA?);5IRBS)SyJo=GI!w4G7%<=+@Z+4M4wq^FV57@ zIe6n&qEoM_AH`?7*PrU%!-ZUa6ERY1=9&@D{?SMIiSe+oCS!v`*Ba*O^{azGFPjMT7lwJWvqmL8;3UA;zK$HZq_{ zQ4Ga1deYJwRJ~j%aN$NzeSuSNX8Kz1OZ_V1R?6<{L)n*_UnO&_=sulw;_g-8Tf;oi zwKo8Jpqsm-UvQg+h$aE!%RgeCNu;S*v@7@L`F^Cxb`2IXkD5R_$b?g ziJcmk_+OyR24QDL>fjS5_3OhMzu}Q~HR_Fe=*2$AdG7YpE9E(*;8O?meQ~S!HR+y7 zJ*am!-*`y*$&|3_`$C091@BUlmi5h$8+3O}S99E9o;l&g2U6QH{)o@luCIk=2(?sB z%J+d_MSd^%bfMn`LYy~5P8B18?>S8GaOqZFDH~A07Q?!qX)%i!M$$i!YiU@7iVNgN zU3MJLFipwVdFKtvNFZ;>FP{!a$W`w6`VE=wpf@*u8hMueG-a8YKGvX&&=&*aeEl;xVzW@hpj}w5DVzpkP?eK=RoqbE|e^Hq_&D_=AA8?`-$IAplb8_Q|9# z7gW9V3T3|gs-lf+cN9WY?xzDz z*|YOZvVf5<=DnB}AJq*?!JYN`NtoqxeU<13rXMS&#(2&%s8Fc^s1wQ;X|Lz-G+o)w zSm;49=$!a5Fe50_y6|c;A&RW{aCv=V$}_A4N;`&msyI{p9RS-B499S31pPe3&~q@a(rK+f-$mHTnZkuVWI*+hzB!8g(@SI-~ z))RQ$s zDmv6hU!kyIXBm5gW$9Mz-9U($u%Q0Scg8p=X$00Kv`r%@QXuLi0|w{|%8Q^#Hy(Wq z_!beSi@f-Ae<8NSFn_F=LPS)Mt|dR=(*=|0>4)9XJ)fqfMFyB@F>X!s z&(s*k#q@J(G$_0V!es<$U^})mOSz?LnX<$`7vJLZ&SE&#obeu&^{qM2GR1WQ3~giH2j*+6t?Hv>YT>Z$4X2H^WDD^lwu;VM)8R|Zocr*#Dn6=k<#U^i zlrwJpYAYATBO};njAVO~#ws*U#@kB=l7j_+`YYl)Vp}BE zf-GEZikX7(ZLZKQ%D`kbtNUFy_|PqE(!`&piO~2dzZ^fOd5HbaT!Y>MHwY(g{&Zh* zfwbxv<%9j6jw-md@@q)ftCJUX_#Ao5oVOo2&_2Y2<3sjWNY**O&MJ>qmvf2&WQo{S zY!bWuQ^&cl2b5?@lhq7-Y3X1iphO09X$=VZUAB5(@3n>d+{pBL_2`5)je1CwGO@WK zEU1v&@7@$nnMzPmo(UODa5@75s#IncAA#xYp-JN zoF~EU5w(2S=-2%f^kzK1&#Hx!2TtGaCAsI`M0nE(z$LmpE>N;S62 z&=?W~iaw)yh(XcKp?XiZ%oV?wg+@umtvxF`%6d@>B~yQ&J?~4&1X9(iA;gLJ4&E1H zlrU-+E^8X_VOH!t_wMjVw%87>?D4H(e$GD_8x<0eE)SGVbiZ2-r&P3T3ShF*JKt(< zqC~!(yNR96d2Ng`B~k;w9%6P^+JxRY82#A8m6m);eF2kE*#!UdLW0M`{!g9379=PL zVo|X8WaVZ}%ErZ$yv0Tb?$DBV-Qh;=e0wF4nf#!uT4dN!yfkQURT@6a=kB9ozpQB% z$xP>vbUTShD$_riqlnhAhz$(t9*l=dmpZ166*efAeifOlUiV{+j`&?P@tZNT+L#uL zu8RoagQFcADPJChcGIo(u#I zY*@C2JgDk)Da~{pflsZ~Yvz!X=kN%aIt;53u6ajbH|f4C5`7SxDmw`66_QNrle>_Z z@>)VhiN$Se4z^h)79wFp6qqv;l&J90WqL>3QogYnAnJ?pxm2H0M~#p~6#6VG+s`nu zVBqv#oWvW)SG~ai3K$Bdat7$-o#{h=Ul@VueLY5I2Iu1x0-iSOYFMDO@t#&0u$K6u zq_a}l5jj8or>^n4gTzb0W6}@BE=r+u%O2bpeE^0$rof>=kpDDXVq`*Sp-=XltmdvN zqq!P(b~a10J+3RN*vr?a`<==(`xByW6m=@Le_7N%rB?%D#spr?urdfnb?=> znoz&wvc3VLZjc=5?IU1|PlL3oxK9Jpj4U+ub-_b(%gu<#kdNqRQYsT7hx#0I5Fm#zp5dKhi28V`n!!w(q!QKw| zWv6p@mFRP$oq7ai)E~PF_wA_+phEQqdJO!DWwUKKu#}q*%?7+a5xjhPV33eC$RaCK z-yK`W2?PstyZ-vjcvOTNq zHM43sce3xozN3&`8Q^6~>9Q9M?W-&a2#Lms3r#4n`^dHyo;ZrDo+I;8v}-!1@W6CQd4Pid5-ag`e&BnlHn=w z^yjR&l>5f%sfIBcB^$^$z|s(zu=OQ{$I(vo^*s^@E>%|>eX4IJ2@=%pAwrBk5~v6e zlKvh+-XDzhdHmD!yVSE7!O|YWP!Q;e>s=QHvb470X+7hP4LL8Gkb);OU$7kYQND}c zgaSAN`zQP7*g+(z5nHvM759nvi5I?Vk52P(0m~HB0t4YI+5#SDn*fRv5tVy6WNdhI z`d;4{l&Q#IZCPyuo=PTh#fA77l>=Q%eZA3WR5S|UQY6ONNeuP zzr<+{#y$DduS0=c&l3(^s4}9sn$o;QgIemHM1eaVXuhrsObmQv0UIHrt>I8go}Du; zBv{b*TNvFXy@3IBVl%IFz!sRm3tQm#u7P$~S3;M|x*MCHIud0{btR?WVjKkaBm}@` zC8oD#f+HJorVm|LKp!yhr~dwAULjF0Ow7U2XU;8@%VkTnp6VOiXh@@W{>1#9N^ftfJ4HUIn?)t( zIjW=c9m-<&4XVK$HgSxV27b-{Rcl~wG|pa4q>^^;?sd;(6AZm@W8Xld zjWk-u0nu3r)4L@B9PsbNs}bY)eIssLhZO#;>J8_-uDb&e*XDgrQdUk4q_m*i-Kpq> zOrAnA*d2=DCg2GV29(Lv@IJ1Icg4rVi(nJMAgH4m7MtKsp9cg=VPGOO8aJrgfEK-- zzjHxR5`F4w2X>)8xLpliu4yy{r+*$#hF&DrVyC;@3a_Z|+r2mOzhOBeHDUfgOWE9P z|HC7Oof85mf};mlW&eG|;7Z-S;8g0UYOqPP16|TGl-k%ebjBL+%8$$onhu-jz1=AJ za$oLTFIyta>*|XpYvRUE zrOr0B=;4satFn9wO(<#Cb88c1Jb&6Ny|MJurB(GeSOwGDjTohs_C0orgn5px(c8C+ zFm?$N<8^I3KRxBSX#rK;2V}IQ4OT}=lBy6jR)ub(^{Ol$_I_PhI5Rl3iVP$@2m5I3 z*^rGmVLODAmi-tM3kRbhIDRBNTYJPu+mOCDIgfiD&1sG*^Zy)kK>Qf~^7DLp>B+#$ z&tE^ccOJaMenw8(ILsw}D0fWFxt)xb-SSm+&!tf}Z~h1Ro=g1$0jSvrJY@T<$K-aN zG^>(=b{TVV+bNQrc5FcVeZ$d=-{bicnchecizm}>gzvY4%$|8q8jUSnx)702!Q>W3{&o*pN>aBLIY)MC?Dy5gUD>Zb~#wG{>iz&Vy4qaeJ{!S(LLxqb%Ri>_};@- zCP72m^IFi^MisGqgAhU(S%IPPu{mQKY-?{}qvVXSFxfRGuU*Qpawr%$+*WcD-HgDU z#75^ZH>}`1RaPeOblWm3qd%M6IL>)RbyLL2BK7j!v))_HqY3kcegr-JD-O}m4xyUF zTy?p`iZ+G7@^901pM8ue49YX(=tpN$8_>&Q(toBtt_1#CR-xcP@mE|a$@-aU38rLa z|5DE3UOeAqyNqbC6a#C?#Krzm>qt{$Ug=Qo>9pHg=1t$d7{g#L^Q}D&wnP9ET=I=G z40;-?t?oTy41SeO{;x_Dqr-ZHfTqE=-3Q9?vdu0>m4{>T9!C#q#^WCs?(la5N zbE75CM>{0Bf6U8gru&x~7Z~=ykthj_xxu8sTxL?_&U%;_H!LZ9-!54EU-MzC_sk)z z_hA6mq!kQ!JA9KGHb5B4c+F0!5l;#C3)URt04Enym7eud|G*eVniC1}D4sJ)MmUZ@ z>omZE9GTlVZeX;nz`?KavT}^k{iqFd+dH*Vn^a4-7K(xn*QCZ2Af*Oo>^1HuN7iKQ zmWh(Yuhb6diGsuD<}8#FX)0tG%g6GNM?$<4i%s&6L-7mx5tl=_5WtQB&wyo8!w!Id zk1kd-<>J=ZFiTCv^5iX3SlLaOO0TL_WnHbAnVnIrrg&GjtY4i%l~p{QMs2Wmb4|?v zvqP@)&ZH(4AXUfSYs>(qKyG61t|@p2dM?W^*>CtvPi8Yz=%iGO6}3 zR8XuSNsl-@@Wc$N$0H|R<{K=!edj~OZY?s5VRYQpvSHjknP=Ud%d8Eudq}GxjgO1} z*Cc8HtRALl4dnray>&1^gis}?XsLRfTvl=+c~^34tolkjX=VrP?I0V0!G*~7g$6?k zn<^xtBm`eI6&P&rCSk;YU%@o}@FW&v%@NYWAB;a`g-!uNG0|Q?7NhQ&-;SEs1Q|v* zr@BCpGsZ8VP4^w4lBTE!xr{kOdZZ-q?KuP94(RrOIT-w5YhZ9JJZsVvI{bSSlbR_g zDRzQh<3cbQGB?3r|4si~A4_qdjQ_p@#(pCl9 z3N(Nx)wcMJF>DSMB*{&ZDEP*jK?O0rk(BVHizZM(INT&A67R9wM%0Nt^8d4wF8V=jSgD-bR|JIjM`U#9KtVcmlNxA1*vI_J z3RHu%wpVbWxo%oghXT?w3OS;atvbvL40@#qRL^Zzyzv77)`KL#_{IXC`p-=2Z)f(a zQ5@1E%8|Fk%R=>JzMTWZZ)7{NkoD?0-|QT*LKN&5ONj~T#h;ddZ{Adr)8@K2Bj0X6 z8t$U$R1W=e?(m@e5s?&vKa~Weu*DSrpe!Ck3ziG%*$>87^#ca4A+UYjS&F$*j+g26ojsw1{Gw$N0K;(K&tKgmVY0p zpvE`S^o{(R^t7#Ip4cz#nbFZ;>*Dc&ERsenVz_majUpMU=b5%Tpt6pLq*ShZVhj)8 zH^3elvIlXm@h<>!6PP&2_>>I!)-Y}>X+Pp%$HG1?y?FXwtED2fPA|}&s+AnMiJ{lH z13G3`E2Jk#65n1Sz(j&$x553sAIsG!B0k`(O5=|Lyg%)JRf@sVA6Ms!UJlZ|hu^M! zu6An}FAuG+t}6}?WWu}79Z!UyURSnXW#CiK?=QI|KV^OV4@HG21*;l1LVNRef^~ku zzWz|4_dXzY`MNse@Zen0@LNKZ>BHyti;Gb$m-wg5udd2&DXBI)YYLr@A2wgnD?jP~ zQ$&C~62s7=^8TlOz|P6d`ZlFW58j9;Y)0|l=n{`Vjn*uZiGq%SibQD!=yFCpCtN3l z*LOIqQG5P+K&E{46PY;j=j&XHWT@T>=Hwt8r%56gk*g>!O-iAamHol=S)Z-Vnt|pv z&Q5tdsENi*G0IAjh>7Yv4EHK@MXHsW90^fYU0zZeE0UEzO(y53P2@6r6qv@P{{pAC zLn2*nTa8VM%8lSmT~R@uM;C?2p=Acs711d!E(AGb2_Qk`9P8Xd(*)g(1H-MLa5=b6 zN|9pQV~>+gFS|h-Rz_HlC9Ak{crD+dyg3PQW7L z4%8CF+>eF+7O{ouM%4z?0=r#=aUZS_s^AbAnO|su0(9`9&}VTiOhzuXjcFRa#HM&(pcH!2$`)`j1lGv1)Bj|1vkuup?2a+zNAbkB{b>CIUn^=-o65S7kN+|U z-h{3O=h_T9{T`KHh(Cpqu@J=*SB!R+F+fkgN+sZKme$Q$i0kYE1zc7lCg#=A>$6>` z;%#@q<*qnhU>1s_hepIth>;r-M`MMrxfN~*(bz9Ic=yw{-@7^jSyq!Xw|i%h;{^WKgEN~pxW}u7JWurQ@$p+a(R1c+8z#j}HQXzXp6ARP zMjh)NdOQ3pdBCqy<~5461Sq8-~G_xk&(!ua)q^o^rPn;Z0{ zFk zu4B@o(+N2}2Q2yKKXMIYXrs@w>vPV{vp2%Gvf$lx%B+YObhaxv1&ZkBbv-&mjPhQ6 zpKq_on?=Gp4*~*NxUA6=v4um?tFrsn80J=Gg+cqr;Nvyr3c0(o$Qde1}MQj6`VSCaqi| zVId<5VA^bKq%3k*USH+Bp{N+~3@jhpBXI;^{`vs!HLr-p<(qt&KqTZVMUNs)% zmztdrFGOEpA_3MP#UOuDPtq+gDGjg_1V@wtb{%bmwb|3xnIG=ODyqUP-hY>EnMzBc zas8U?E-1xGyoV<36@29A6+ExeF4hPhdhc}+8b~J>>nGq9jJ!@7%rmr!!u}tUjD28^ zJxe-3r;mex{HHhtBR!tE%V$bz!&f`c&o{@ra9R{rw|ayasYT!V**FYtKwwR1$dOF; zMRz`D2sHJD$(}Fv&`PxDLh@W-5~-(`xD$K|&Cp7%ecF{k;Sb?VQfhM5BFcM41~qJ6 zmiI?UXxty`v_;AiGCaioSP!M^Vh6vhXPjPDRaw1@Eq@-~O>AF=-*+-Ni#_Tak0ZKCG zivg4#U$GhH?&M2tC`&;g#=(R!#&GP6kESbM55Cpjh13m+nK*Sp3ZoZj+8FlNHB9e5 zZ9(P`O<-l4zEImf<0lEvC|~R?Zbf_PZq}e&b^_iN(5k%{z{#p0rGnjyjsjN!YVJm# zRB-4bI;1MhRn07@pB38od*DZc6(PzNg0bK}FWm?Afx_UWLt}1k{P@@>4_7cN@%xxT z_#L*a5o`0VBL$4FOqjT3g4+QZ`I{#+RaGhub|+WP%&}>6c*)#O#>Z}t%Tc1Hp!*V5 zXtiiXnS`#~qA&Z${$OJ(@dL96wGZ3c#_&gwXZZLtSFK*F*Wg8^~)_Y&%9;>uRr}#iI5`L0p#^c{?-3a+cojs!Y z-0Nt+#DvG>V&^T2pIj({wND1W6Q;#d5W`}e-;`yG7LZp6Gl9AGtB=ja0?KFTmq6>VWfkK_i982GnnR;%Nw9aXFEKszXa

MixRq$yJYA9 zt-t#&ip*F#)&e7KkIM}IjyLlMnx#^@BSKtMon`HCcfn;eyNF2}5pTD|VW$B-eMU0% zN?;-B!$z~by5`{NmwIPd3C@n-z$Ox&XvOeA==u!~dBU-}>?<#a&4k?HV*IU3C-4b*>C|A}!aYT>nGej+3MLg%)NO z8sOYK!vNz5&HQ4BR{KBb@&0S6>i<54^tNR6Z3+pJ!3@LoE|GMEBtGo-r6Edr`u<0= z%mbSJ^&KOc96`tdGYkoM-Ft3vy=mh7^+Nvl{%*5R!Ypi_F3B{Z_&TB9!6O2!om!UK zYPXk*$5r2?Fpt5)erNOe5=rdo<2>v}$a*8$?*56{Z;!kC>$Rm(XE0A*W?%Bcq_X)( z9{b+KKW?{v%nQx3=3N5^-;a;=IJ8Y8I|N*>W> z53liiZ9hxCRb!3ntnAz49UNJ?d|nvPw^)Msg=)8O)CtXClXX z>6gs#7VG&TzFaUw;9tA=lN@rl*R7DNRBa!H767|NG?KLf|)u4I2zG*q3JvYk(wjC%bw#eq2J4 z>9M|OOOMFDm*ig~k>MYq^#zC^!@RH}-%GI0k^~jJ01GLec(CBriNL#!AukRSc~s9U zN5)uxHTqaLm1D&QKtofclT`ueJsP}WfGvFZkP5Z{LsGi?ZK$sWADp<<@pF&S{V>UF z-6O!lPX)GkC^r@o3kW{ewEg%f#rTBZ8Et| zxx_UavLoZ;49kVp+Z6S`JuV#}E$k&ixl#x<3##~UA$beju+@mZ{4XCGu4*;;Ur(I7 z^dP){M-Kd7p_~1;!~ZRGVN~yhGi=Fz$h~-RU~hd9aSjxz2v+>-w`rr@*CfeV}BxY(=Y;ioR zghapW!o5_Ya&P@R__O%t&tW&uq?3Mq@;I8%bR78MgK=%*HUYu zPke&atGe7hxv_xws}#D_6tK5!$pe~_0$6AYYl0m^8q;J?)17(>n_fo)`wgpsO~yUi zU0-%h#XrS#Vb=WjeF2}4 zVcIZ|8{YyZ)O$EIFqOqU>pVDG#FSZYENkvigy`6WWjyWyoxP->V%CJUIqCszzoZnv zkcDVFVj1L34y)W0tNDVGs!(e~n@y#KTWM7p&jmI?>I+~&h8aLdb`LY@CI|yK;=_-< zo%E=0cZm>;A>#3CwKDn}>zsF*@^ZI~E$;q)m54t0@FyntHGd63hPh=$UhHEvM*G)Y z#mx8Dr-7$i;|V2R^eXF3N$EeHVZ&z=8{k%6zg_+1ViIMN2jMfLGY_5v66T2wBd~vK zyFjDO-T4+#^~Cun=2t#J@b8CX|Iy~rW94wXGvT*M3!lfE$H(oywY`PomA*6@Jeb{; z^4Rau(Z_w!@s5tKosS@cixG{5I}{4Ky2T^JyU*5-<@1s~M>h z4h#$6d~210M7tuOK-O#E=%CqIA&9kb>S*k2Z!0X+Kr9lj?4&&G><~6L1bjxeHoU?)&KV74WF%rYo4uz=jVWC>!PBC0 z{eR^bc5d!}$}g&p@A**u@2b(ASbSLOK18L!Vj~s(aXWbmrJ3^?>tzL3%~Iyf}xE+u8v} zAAg9l4WZAMallbm;(8~wVb^*nE>X#G(=t1Aht5$2reez_|5Ax$-a{Vi&atfl2q0QA z%PN_oa^QdipU3jQD5bV5o6sD!0}MrRqH2_3-Or4~Tmkbv^F z0!PI)CSndM!ow=YNgne%E>r#wa+0mc#D316xsXOPN)xFya}RRPcH<_QCtqx?NSi~a%+gN2ab-Kkn=P<&#iq&qYjVX zccayI3&&os2PE=;YVRHRvhpN0uDt!C@y)Wp!db8F?FMUW`pk~s2aCU7&s-h--rhT^ z_zpDa6@}7x3|L|O#EK_oz~f@Iu)t8(c9;}lQp5j%ilL(%ioZStcpEFuvOHB$;;hC*29D3 ziPD%Cq{bV0E?VdZ-4m?zK)R4#o5~HGnpF%Esy#Zh;zxAUv?6V5h9_Y zaEKWPjfc!^VroQ76lNw~?WC4x5uqFg;k+>6oetr3x$TuWGWCj-7eo$M2&V|$=0laG zkh~$9;e!fO0tQ#0r6S-vedKEL1;z=Ip;mS7ZaD*mMco>`d}N@J@q}1q~VtAPs&?$UOcyb>8bA3 z!jQ>}@5kCn`a+hlhri5!8|kYO>r9kSo>R^z@+Rl7C;M>K6BUXA8<(4*YzJ39{IP@y zHhNKakaYJKn9N*~n*}9E{nBC;!^Rt^=KG6?to43~6JD$&+_=5jGsOBr@GK%{%s5o% zi%;k~`t}6$sdl{#p(Kim8nMRRa?q!sFI6GZl6uUOOv`EvY5)CGgkv-v#bVPBY1o$6 zy`)mi7d%eB0KMnRG<)8<(Jos+XH<%nWrSOs zr|i~|^n_Hh_1qBIokd3-N#03Ogws8tPe~s$^F(3W^$>F@CB@AUE<@XVC`VuyPmP-) zhE_C9LDy^h5SS3OO>4q07hKk3onnJz7Q;zYAUWG--B2FRCY~MllQL@UtC@1nP?Gge z)hoAbZq@h@d}pu@JS8H|DwaQ=Qbn1xsl&qr7YZVkQJ&MdbEc#oWx2UgP4%@*P-?+V z$mthiSybR;k3hM4p1RT^>ro=meQlpuR%&A7oJa^76MmufAcryrSxnQQVvF_S$ zREGQ5>>9@g$)MFOx*~uq<4}`Z??fV%wtS^NIj`smrakyhm?xlc&apm#1tPs@&yNn` zSgbgK4?+rt8v+9Pp(Bcnp=_W4wnNJI<}g9=P(dJ%*B&C|DC)v98EGgCm@k*P0;1C+ zWdi29;!+{u*bOb+L^8XJ-dLg-YIcIEPnFV%aGvL4D$?>wb5bW_`PQ{)a^BdRmS2B; z5NaTnJO(q}(Ta{AwMa~3sHprf6bXQ0i{3%yld=yB(QXfiE@F%o*i~g=TIln(5pbdT zRXiu%(U6q4BF|8DpsqVvUPR|3udjl`YKtX>VwLI^ATS%4`dGO!v6?6R>fu>`4T%%}%VWX`akcDYPDECJVNynMN!&pAFtrcm$^r=}Ff$Ij*Is#5`9*#|6Dp;|HRO z#4M|!MlTcb`G~+zl-_igJ@1i_ygJC&ysrP5h#+_uZ!JR>F}ZR%-U+OJPz}-IqwQ_{ zME+-8u7cPy@vRqAWBE?5St4xoVG1tbFdVnGdN9`t<4NWeJ^ExsC~>KiOnSai+;EA; z3Ot-~MaFiwNl~X=CEFoX%M_mH6k_b`tS0^AVi99+DXt8G-_$c&b~8Us>TXyEqu%Jf z^^O0#6p`E1L1Df^qy5qjmwal{s;52E+somO>)d0K5TwBTX60+r65a>PlZ1}b#fiwx znNyAqgv+oKsZ)b#j=K}W(ZZU@M{wwPjg{33UTYYY^!i!_;Nm>D=4|oI+Q67oP~YwZ*`2%hoCc?fZhYtAqB|M&~!MS92HvsesSZj?w+e z$(Wz6Z>zzX?so3#UTOegZab(+>i-Z1P#=GVA@}>_lDCrdH;evLfXGWy#YXJ*EcxF^|x5^5A&wL^>1kS z4+P|5{|oeRQMvxXh5tf&T%6$03L`62_iOt?XSJzpnt68X8(_Wbg%%9 ze<^S^?@=J4eE@L&i{)+xStD{#LdvEPv71$65Va&BKTZ*GnmeWt5eOkOAP`RT(kbEt zA;eAugxh=w0)=owiVfbRfg&JEVu)%a2)nt}0F=%E`LOv$T10|2G$DULNI1J`3^`gnG!wczxB)XbHQ%0biLT3Y6 z1p!SLQcw|J4q_>xf{W;jFz~6|!DLl{xR_8kGVBpkYz{0y00k5TI!6auftE2RWRnfl z{^csa5{U}A#74iMsE0F#B?Ys)2dWqwfC1IkfdeI2Vq#Iy0P6`XX`q5~bL)1p1MN}J z7HT0W3w`^kCeExNA&EuMoz0ehhPu_RqwsXNHC42PPo(p$i(aI&y8m-_-Sqx zliG`@62aO5EXoA#$O06>4-pti-{1o=ShL_lFhJ^1CLuvVZ$B>SPNWX9KW@>T^P$p<}3W%y+N>TKN&m` z7H|w0N1D6Nh{5f`kH6g9bPT#GUwCs3QK_YA;yp@te&dx2mDCs+pjj1GJh%-2M6m}u zu8i5UbK|M;Bp*y!cg5V%24XB1es@d;>lA2I|FK9=-o)#;vUd}H^)+a>a%g&OnE#`f zJ2e&6Rt5fIecSLVW5gBH__GZ+*5*d9R;wJQ z-7F%yzda{=3D16Gwt-vi2w(qT)IasIBXn5t$o*P-*Z0zul7Jh?Ku?#zu#R}yb$@3z z$S%J}Z2|5g)YrVLPP^RP&TN#I@bE0%$e)sqc-K!+ghR=s@J?YZ-0;Co7(YHtAUWDu z16a9zYyuY@PU}NeTaqj-*Jjwt)8efb%Pc&(RY~g0Ud;?Hlz~CggyC)!yUU6(t5oJy zP7o8lJ%-c6-UG&+UrebWrEV-Wr02lt^~%D+Cr z=zGZ@@pU?IKyQ7NgMObMFP&m;(zi#_=1MqJbp76h1mj{&$N)WrS_e#R5?T4k|1zSz=wzZxxv>2vWOou^7KjL+sjk-{DS4i zMPEMbid+7#LcS^}&Y;^C4ekU8?hb`V!?^;#;*0p-=wYK!eYq8PIk1io<{cj!ldm;Uq=Vz{-65lfM zIQO+H4-`BlDNj_?mI#h$U*ZOUzs@ig^OrPU^*=n=d|)VD%+bEGnG444NpcIr*_8M6 zTi@?Hx!!_*lTb0)*|nw#`gjdQAljPZU*Tgfk+}{~+OjN{_uu$Q(E7yGx}T0Z`siB$hFNTRnZV%MzYFU>bWk)8O&_ zs#YdbqodY0_F}_7lEuQRzqrNGhz{>noW3v~tA%@H3_B%b{&Zlv^H7zI31T-Q3{=d- z!(kj4LT>$jx%VRWs9X$2PZvRW*SJ_x+B8VszcNoC)5Pl@rv>?(9AMFnLgm1{xWi)* z?$Lgrc7hbX+%w8dJm*;p2I60*T_<->93{#b@x>YorgW`+-cF6s7T?#+27fWgq@iQk zzTX8KIEdeIW2^7Nk{!8ZyGcTaFgv%?6jU!?&LWj5@1dI~7-ia$c>W||u%r0(v;uhG zsAdJ{L=0cPp0kHqakLsZy!URZ8^&|s4cXX`KG@_$1^9Lz?W67}@ldf~ zT{W~~utFNd#}qbE50su%YAZQKA|?#+BqDUF1ofBiq|KvN5G0JHA!ZycXuKna%;RQCMz+4k!mSezERsVYg~STR}lV1t+Y#zNL!o;Eg?oI!mI zJDU@`Vj%_i1W}l@k$-*3EgMhg3Fjrav`L;Y`I*Z5Eytlx z2#Se)E=Q#fw+$ilhKgAG^i?6&%=TL)&UuC#?U!(OdH@ zVu^C@^qR>P4Om!`xWp+I(Q)7udfzJcAW-~Tw33#1qd1lUAs@31HOQ#oL&3Q0IMh+j zu0yG7j>nCJlLPu!?MomPtf-^q9eDl&;p+k4#-{|K8M{`|c+63o-ydNT9AAB^M?@0I z6qO=@-}JwH?X@ZW1MD|JNGW0A zOjd3TvDw2DZGnH1*R(kUk@=xHuqk|sO53t4d;6+v0^%9sPW;1)293&p2_pYK%}}mQ zs-gyMki+nlk}M=nKC9VWm@knm*pn0xECGi)vZi`2VR0XmqS~VJiVzTTTVb2na5V!= zcF;L$M{&apoDPbZPEYFNz{%GsDwHr~%2L9AMOXhi=Zv`QikBX9(C1tF2ZMMbB_>!# zI<;CwOI=SHSZtkn3IrVIt&=k?ziXTj!%jNv%)sni1zoo7%Gn%3He|D$xHwWfxq`5L zCTj#&dGTuYm`&0eW9Ke()Z|N|PV+lbXcnYjLNL>^dsgWth27 z%#VfCNa7sBGvXp?o$L%FIK|^k7y8Af5~1(m$(ZSaHW$cfYTJE2P{2kjHx8Jim}5*w zyk#}bs6*!F%W~*=6?0>tBLCR4TDNMf7Z`2TFw(p%Q&_|X?)l`5L91&>E`fw?2j z`*uqFXdC-f7VMeY6{3wzQ~|iUi#=7M^rc)$L#6@t8DHC2iLarTVHIKlTH>ZfNDX>N zAmLp?{+-Mcbxmdbz7dhX=br7t&M->0I#{9t*%sOa*JF2lJzr~HD{-9UhU$~$hH^nG z*+!4Jjz?1w)2MS1A*(74q_OZ9mi7uFLohXD-Lpim##_I#v0?#gfZf+nBOyj^d(`m{ zo@R5@Y|$sX-$JW@mA`zx%yNOBRrYQXg{b7#P_^pNu9S?5K-ZM!(S+-pjsVPqR zPwT~Ol=&C}o&NvifR1-Z>Hb?mx9#Fw`RTo1c*iofs?RFKc{Io1XA5U-ZdyTHQCq(H zX=(*EtUF-`Q(NU{B##Lv#|}C{S?l9tacAzgw^P+qb0ySiPaFX6@RqeG2V1eSjs}cl zx%w=Y_HSaf<~iDP6F^6hN_`5(yH(T8Q(s+A?;>%hI|;i5cJy`9&ZWw>)Ni2=#SglV z`j0w~Ium75JaqJ0c5M^qpW$u1CVAZ!IN^dXqOFi*oL?*-TOyUtQ<~wfjj#M}cN|=j z^0|Ll;usY5Vftb3`z1tt=9Dw)!mG>x+e-c&?M(8}j9gaQ?6h271js-r;#PzTw|d`D zEHzVVGUH?m*bVUI?|p3>c0S_*TBk8?`SEi%c(_ZE@aYHK^FSH)NuzL8VjJO| zd7c7>V&@oFqZnx2Z^_(p@iLl7!eKCE-om)EP!s(Mn-82H=;tm4=SRLj)epBcZ9~i3 z5X3)(>_tV_0{vTH_O6^zMu$>%rryum-~CDh!cQ^)M^}W<@0>$Pz`K3;cleutoIlFW z5P-lp-~;EBlh8>p%YD3$o?@5XKs;xByH1IiPt)}k)~i#WT8Hc}uPrbE#gC1JrpJx8 z@2U!}Tl3PU^jPDY&(v?ps$StbZ@(m!cX+(EpL{Ddz;Q$X`}I+%yW;^28KKY^hL2j5 z=4kE!VGI+k*0lsI4=-GLVY$QqAFu;Ma*V z0N`RA81Db1f5^;kEIrJE(aI}aTp#8t_)6FFZE`4;4*IJs6RimFS9iedIH@O!q`hlP-?F^+_v%tTV4Gwr6=7C>fMclVOd9cM5>eaJ)?i%r^yT3I z0i=7!9?F~4uJX3F#`X%k4UW;Dm1f)Qh(^@KGrCo~`1`qCU5p}E-g@L_Rce>5Si~N| z1TCUJHFc3YT~T=Kfb}6Mj*FU)mPiO3GQFT0M(-fwu2fx9Yl9E#uy- z$yayWW4IjuHSbz=7R~#7V0BH<5Max@v~|?x;t!R$o)jvD{YzgNy%NU2o51)caeb9u zIFTa>-UkW0uBDzk`EMWk^}rs|r``s34DGx6Z?92yz#h}#(Dt~pU4jq5QLc6~Z1v|4 zBQWCxD%$av2;=!vo_Y1$6^xp5jbHP>xVN@dC$cfDzG}$8t$~$I0|t}P7xz)j&tX7_ zH%gm8jnjm*@VDn!XmnxHk@G~1q)1m8@1#@3Yr_Bu$kZ#}i}M-LG~7LbIN7bXo3!}7 zidkXL*MU+d(@*1lKSL#e;3zl#8KtF0Ee;FP*K;o)I$zVJ`GN=>1!~^|Cpa|$<7X7P zlD42d%U+CAkPuu2mbWhTr&ygRY@JzYc zKPW{imbrK5NsA$HYJ}^p&77Q~JL%Bu*4IY4r$RXt^0RGrKX7%=88AF;L}S--37grT zoVl$Y&$!@Lm0+8`lcFL!@{#T$1rAc-qTkK6EDWF$p2_? z5Uv;H;xcZ$is+1%;^a`cxS^{w0tkt8uyZggv}fXidHM{92xD69BY&Iiglw4Mwlqs( zMtSl0#B+QR*43&AZp3msftZoKe!&gGONL;n$PGm=^3lBV!o)&4?<19V;057$sB|?ZcT8Jx7F==YW3*QlGTEqum8K^Yl6of;p*kwY&)_4XVEtww808q^!bw4&u za&#~jRg4y@kJZdHM+w}FAGrvGkBX5n6WZDpJflANJ_e$CiD_V&H)1p`FKLtH_1)kP z*enRsaFf7f@#~0UQ^_!{2PwW%1W!(iD|s^c4rx_GFb_L!tUWJZM{u{V%kHah{*25N zQ9m%5PrpwMEpog~!6s0O02;YM->Dp;=;FWXe=228xi-Thp=tBb?p)I|J#+#jjS@-7 z-dk?|Yw7wnK)3a<*?V0NKS%#|`>?aHmxRdP)0EP9>ME#J1@7(~j&K@DO@|!s_!D?3 zZkytG7cW>k>f_zERCP?nKHY}04#ziLmj3$<1NZFjEoIPJmy)+a0qXob%LAg`h7%ma zhsgBQhjM_{WGW-};OhRLZ;bo><3*%XPq^n`DfYB(NF)g=%D4p1yW1$=U9?h)nF%&wo|3w+JqZs#TslNJh8HuVEZk_GK^KK&u+rd3Fvdzy| zFP_R=zpdI4N4$Tg&RF-*9xlX|UHitM6E0YC(Q(gF&ZDvM6yy$Po(dXtx-#N zorW}jTfVjdpmOOfD@~4B#!}B3Z}!1{zs(I^g~^NY5rw?WFdRL(q`k~cN47U~P`wxT zN%!S@T#x5Jgv;-FrHroXGpHVFS$&C21N<}d)+?!M^fpj@!@k*c$fpdtVkHl{$FM4& zom0t*iPP{@H_RQi3AXB+kI4Mt;Z}JcHkTsr8pDPKxG2-dY^N#_H%ICg>sIrD=tD(# z=tD`_Fr(>zV4*N#ipWT#RSpqY*L)`=U*&@6nGwB7C&!PbS&^srqP8WBrWt;PW-;vg zf{1;bdv>5nc7#NVsu=MJQyy9*7A6!Sr$pL7k-+dal;6Kg%BalS zn=a@PKrWFN{jmE7`>JG@K_1+H~`N&&LRPcPDK3^ElrGp8$U9LqE|z z8C@uF)TH#{XRbzuW;vYmcL9n%jPX~E&wBoG9^E=!Ia>~;?Mpe7>aR1JEgr(XejXDjk-i+?J_=ei1+EC-$5YOBZWNXNd}M>;yvlh;^f7al zJkE7xW}U-G;f3UIWA|^1$b^Yu$!Y|(;olm2J&Li(#d?;786(W|64wEz1b|5L48v`ZUaY(#D%$RX27*tjS z0S5RwyVL0}Pkff?+}Z5cJXeue-^^Hh`be6_3SN%q`$5@?axOAPrFP(lrikt2miMQB6sG+axPS=0XzQwpaP z7eqK&yT_`CN}>80o!T@~ZWbLnXUp4lEc4si#uU%GVcQkInNv!pwWXAzSiMATht%p? znza~brA|kBrofBgXxK)f7dK}gb69qVtA~;pl&ODLc_OwcxvYk%XhUep`c`tTfG^t* zGx*@uP+GFY=BPg*8J0>{Wt0gFGpI#IKQc7)r*@`x_@xWT%kR_ryEUG;QHybhxr&51 zMXiV~Gq2?05jJyGsF{M5GqRifo>|WF2>Vv(86vQwc@i$6KGR$JOPfrMtSo-vCVgYP zChUXGqUG34nqjQYI!FhTxrMV3U^V{~VbxANle|xvY-yIR*GQbtsWnn=7@{co@3q)j zrI~dkUd6>24>9>2rP}1~27dle$@%aK5DP6iiGV%5CYP6+QZLhfNDgZy-3Yv1jOOuW z!(~dXT5!|61UQ$r(2u@6%A8=Lgwqzot<&3;zFhe8x)S=fUyEX^c4H+wAaS2ge?yza zbYFns){-RgJf*fm7Zp9tcqPH=Zzqq3%~!QBUIr_xHkHuII*yd}kHcdKFO_`@fBUt-pmUmqf{roKdDNp^Z)d<-Br^` zj2WAYdSdN5GU|B@bo}Orfs{zE=N?Ge-1OM=fWU>?Tbq)?9hIlVeRHqjJA|Zq`NEVn zMigvn`iSq{4?%yrm}>zpqY! zsOArfq;G0d-W-Zpg+_SSKpiJ4_`jK!P{ySME+ZgpjLrMb&d-`&L{J!;SC8J1k6wVD z@42Y$?CkMe{2y1KvXhPT^XY$Vfy(mqhT_5sB61)>IT2A|A$}1s=)WkLh=?q|sE7=o zke~n`Sd#w#4>893zdQ}ZFZdsx#*(4@iAI?w>fq-w^l;~z*w!=WN8@J^ukIg>mcw3u zcLHN_MKt~nDpT_+2Ly{D5o2O86K4Dh2LBG0rcB-d&1$(w3*@j86U!DkMaw}f+O>#@ zG220ySdG!vK0kRy1NQE`J50R)_3ZC^O(q89h-QeoNA%7=x;JvWM-;*k0In5cxzcl* zE0__AgW#DNm!W|=*^}GNhrO_uK=4d+g+T0uE1+<$Fl^{sdq*%q$N*xfBDZ`AEm4cA zd|u_8T?FEowJe%7+>d21fS8;W$I7al(0(I#PWrJ>NbwM?9@6ZZM`W$|A}KOq?vdwtF-^C852n_U3GUh)K~sV~&{K>G0P zvk^)lDs)T4RRzbgs}|LI=yv8sGZskMF+Z!NBD50MwZdFO2oJESpebf8wdto8>N&fQj62OL z>UIB%MKppwxdwFFkl_ui#TT0W_>1WNW_04HQz1cNbV&wb25RFv2x1E_%b6U9S$!u~ z8>8jGKAj&ZimQO(vXJmS%_Ur$slNgpvi%l@ty)AzVxqv!pcZc+(oO|6YLKu`X#f|c zN6yPS)twsN;ms?`?=RXPO-sFp&$f?1YeLlfzzU-4=0`U;mtEsAo(;%fd!wfsVXJ%2 z)p5E=lEc+Vahrm{U9OmBpQvAa-eBDo@P0g?Gz(9mO976_re`cq&_0Egd(3px+ZdtX zn0+@|@D{{wVtr&xvF=9K?Jw$hT=@KLd}(-cX(q||kd9!^2g6Lc+tKNSd_T&FD2j1b ze(i#3K1DkXgGB&|-SnK}2~#atTHV%r{|09=p0w~T@;B+Ej-Z056{Kk4bU zD+s-;ANMP|yIG#Jw~t#bvJE#l48N~FqU*vC1qN)8eL$|>5Nb!ID5#nwkXFyC*Y!X@ z*pOT_>y}7t4UYH0%?oxsA$5__u@34p1*w4O(epy0w%1qTCtYUw_tWsd4F9y~b4r%b zFh$KY`f`Frk(p2+Xz`d7L?A|`tex#1zOtXSmceh*|DDqa3X=Aq1z_C}D+%Tx`w&LI z0Rvh7{yKnbD01{0&~*p}YE`&yFfXzxN>4bBbgnDY2Ba?`mnjO}%}hi3c@V85%11d%bhIznaYzIxv}hMt z1KTD+kO9jNeGS3%$TBFQXlPg^bYC7>rGeyv0vD$7?E5`KO7s*IC$v?}b|RPm+}mJz zG*=?Vq$C~bGPOEoTG0d~7oOhtGAtHkI>oc>%$T!JNAg_CgCK zp#b;w2B8S<$!jUR$>4VdA0z%IQ66K8;44WD4|c!u2x;D+{)oOKL-i4Z9EnO52*UC} z5=!YNxCo=2wup$-yMt=DpnJIA`%@dEqXuuB%Ye}8!p!@Yr!LbQF>Pe(UuH>87yRY8 z#RK6xg<^rQs>~>NJt4;|pYS`@A-YKS9*HiZ&a|RkR+HEhOStF$!MPH)hT}_;=NQ4l zUveC|Y^h*NLvBK)|Go7Fkd${ib>@Q}am8)R->tgqehi{H#IdLLEnA!Vutq0Y%F0X9 zgQ@iMa}Qgf=3U-}#Ge1`b;+^ve-}n*2gJYo{=OPKj9DRRQ^fg+qV?l*$5hR9b1i2d z_5TYWD6Z_EdgZg>kL={LdV+QgV6BsMv-xPAQeZal53pM28!R^C~&G}H5Ua|G_!9wAjkK-ClP*VdKuJS#|rTwJ@I2OZY=Vb zW4kbEbN-F%`|55 zLqse4_aCpTmydZK3~XK5e`zr`d3@iO>Z&HO%50G^SN@(F&Vr>%Y`|=#ev|40VdheH z)D`R4tU+AyCWP{0nWh3Ja=iMLn{m+Q{D45aub(f@Dx*-UnBOZ`q-wD=s*&_C2PiKy zoUr^-{hkrdt6ZOPlX}9EpueXsu|390qs|$4VMn9>!SWU+men$pX+xt^>#Dg| z&f)N|-0KN;Oy~`ynTk(?{al!-N%J4_1lw-a{yg}&K4yB8kVpp9JgD2HkkvjM0Uj+@ zTfIN0XPR_W?!~_M%2(}m=s=RIK?tnQzLy1>K7q~Gp_0=Cb)m>Ec(|bqE;P7dLiGwE+X%&N<_eU+>b(JD)BQUuL|eOL4|yNs2Nc-z8`C)EatLkZzqGvu0%{mT Y{x{W^0fpd_VLz)o*eomxnh@;&1E(6bxBvhE delta 25152 zcmZsC1#}#}lCHohw zs;aA6s!~h!wWL{yVw#U&sw#sAu*3@?oFwYB*z zALO|2tfbuY9xl%tKMVKyt;LaLp4$k9O2aZ&P%;Y zIzM=&Q-}l$w-u?>!&4&Or*bwVa`pO)FwWx?K4H{8B8hcEG69)5;uK@4;w;CJLBT0o zRzt+FQ!Z&=!g3@n$&<)nTo;$IZ%M1$okL$9k;z9BZQK@xXTl_7dQ)uI$%1(Rf9?V4 zI3Q{mdEI1URFf*TkgHsUm66R1y9FuOoVL&BHO%)krQ);py5?djUa45(t0%iJ*RR|R z%_lZzOr?o&mhndH1eI4PySHCQK(@P^qhPM^;84_Ch|=X{O({t0o?!N)$BW>`Q(vtu zOHzOflJLA4p1^F-L2o9Lzmf+wO6)6Ag3Y#>i=k`ArO370pCkRwCPcX#Hv#-c+3ZD$vEUlzg zMw6^7Kp@Pw`Qwp@_0=kg1oRRQu4rC0^KDW|($XevR^YwAdrLbw&fjf8hPfp-Q_d&! zsW=feYJL;ZH(4lcvC+YEDCe*Ho&mjFqGltd&*lmgK3)fMRH? zDLywZ_M*_2l*B)pabI%t>;+?IUc-B-CG?qa?7F2&d$J=4<*?Qy+(1f5jH(v`tU81) zz<$dLWP-8|Qk@DTHi*z%3Q2XA!BfLbb|Bv= z!Jq{4?75ci&wLSq!ZztSus?kbFxU;3!DJ8ULcgnw0&B!n@|ZVqOKuHQg-ddzLl2q! ze;uX^2l*6YWzSkTQGy8JFk26PWl+zGH+yC<(AjUjW7@)C2t%Vk_(JmU1E%bahpx?pn9iUr3H~pqF2~|EE0Xpv3ZGFndWnx}5NlShpfrKZsB%Fnu%WQg^Rv zSU-_Hrk_M_s|3B%>)CmsE_vANoDjFtHraoOqzA%5IbKIp1^2?ZiG@bW`P8Bpe;M78X;$ z1PW(nOLp_OEt8982^kRoWZBP}C`@4#&GuVHu6+)u#SFzY)%l53Xt|3j*>@A2@zR*p zlsn>EK6E0hsY{W(5y?TvJSCGI140Rl%z0#)EVXeaNbU{>v4L(1yABQ}k~|i|)w!#H z6e~O8284GdkVk5Y%G&zrocwGjEL+SFTY`@f*|Bu2*_b+2hjj#0mthT)laDjn#A9 z{MPp^?HYas0G!f#(93nc949!;6;~Oge$fdi)O3E&A)}Ft*f2D=?BtggkBg$(F6ie5 zse9#wZL^Wy*+%n<>2VIdwQ(6zlvma*<`b+X){i1uLQnVu62S?8mQNYP+hIvECjDJ; z9V==w!hC)#LfJ`x5um^aX3|DzNj{E00}oL-pZoh#6rm5xBsod$b1 z6khgcPFew1UBop!;Y?2LG^T3rBUWkq=Ww4*yu1yYCsOr2bOo32B*j0mHi3Swf#nDa zzgyNXxnIX1ux)Dyx8wA+mM^%jIm@ZD7A)6!w{Io1r0IUHBCd7Pv^|bSZ~R;?=naQs z_siHBdbl{OfZlXmL5z_LN`pS~PJfArS}nYVW>6W;=A60i-tp+Rc@D|_DJxW@eRoVB zivG_pa0aTu_}S-`#)b$gIZluy4FRWnZ8e^QB?5lQLUxF)3~Y{GPhjeNe}3tB<5QTJ zI7UHZ%qhnyRgIt5ehiaHR-6BNwAeG#U{7+zE+7I&4$3VdY1GA8qQ&h^NK?;j+Jy(% za&T&wGwFUDLh)Jtm^V#;(|gw*3xl~fPI2KlJ_rKB{8E_94M>EbN;VA= zktw6G_%Xy=zj7ue9_}kQ%o8#=jbYTVs(w`zxt)JUVs`-3)!j)TG0A;(%K3yz*};fx z@Af@vf0x9rhzL^R$!|035*&^#spvhaINsBYtTnj^hZl&1_zfOec1=Q#0(tW49Sjqr zdi;MS0z*r9HZ~?=AhGQS#mfuN7-t<03&FAbm<&dCZ>}r&s_ZtJqfXEc=QoDu-)3Gg`XKyWHn>KA-?w+60Upmt_ zcsq?^f|x=%Dc3zt;e2|6f0CF51GmQ2*C|2bZ|NStI&BhNGYjb8Umn?i$x_3;UKN-9 z$p8`9s-_-gUyL>}J0^Vc7`uXNdq_+fto$_LkwExohPQNvPJ7=1-go9*%>~8Fi?YYa z#3C3nZap5@=Q~98yfF+<7p1Q6+Z26KlDKBEtPE-A4I7a@#6mi=CPqA#68H0Dl}uDt zw|cO&gYS!I@5L1#4J}%?6B&3JR9A@TPi0WJsA$Ao$vIgFWKe__^)bLsHP$BFQFpG% zkdyu*G{Ov;g#eNNSkP-iQ&|WN`m}&kI6Td=LJvom$_zAQG!$s7s1G;k~K1>r4%qV{a+GxP=6w>f7S zOPYe!#rcQtf=1e`ECInuE*58r2|+!C+BT}Y?2(yc=1?+a=83C~mz|@W70nZV(L282 zWBNo0^y;ah7!S0n)GXijG&MidFmZztO&!cszh0Fs;1tA;y$JNl@Offhe4`SD44{;J zGG{i4f3jV0BRwgVO=_XMj;K*dcTjDlpOW~7~ zYBdX-Ml%yL*wKR_ot$eU{y#NgT`|cw9QqS6-N3l6@OqqIxD%`0ZzxDoZtHt)VGZ+m4DgSD$hRQ-j%@{qtpvgHtq-gd3(LZi3I(S_@gk>3%CuOqq zUXX0q*JNWJ*7GSL#P|FA}+7F&*P*y2euC|`V`s|K9>_Ej@^^$`i(kH_3VP< zoMF(zeAlQEwo)}VmBAE@0S64b&*rM;U1=x>1U<?jt<6-daO>I=~S4 z#$@wyn?IS0uMqjf$L$YC-~+cEti(+i9|X_4d>5!1Lx&uB?HtVLY;RAnt0_w*k@L!V z)qwKJ-s5Ojabmz2#C^lV28ig}@%$y%?Erjc{TAMFetyz(8v1NMsg?BQb>TOKoe3=o*(`-Z>o89W{0Z)SToWQO4;fxssfb`Olb|39 z$>mS7J?GB&fq-v$3n^<|kYthq=n8>37x8sj=yhUgr1)E3LDLmiH)DkqG<}aPeEzBU z%C%qow*rB0GLvkGjSBgruGb`+t z6lWvS#Q#rn;fk|w!T@k2MbE&|fIjj`)G9k_$G$o?-*A_7OwkWpi)cvd8A5Ovs_2`n zgyx18x2C-K@w>$zy75G%axU%%!+-2J@x5O5gn~-fXtdki(MHZ0)36vf_Lga+eL08c zEFEh{=4oW&1j!#QYjr&Dt^~_psg#QEpQoN}7ft@idGfJ~=+#>ZOemk{g5KOM!_S;L zBS~%Rjs-Y6J3P|jOR3;TSjkJbM$~D7nVDLaIb2RDX|9k>o4z{-`Asn9yH*lRazyux3vGTT+5zU2TGz(BA5NtcrLl9YsQgPFDI?6?2liqA`)Mo zaGggiz?r^!ZBfwmHtP`q11U(wUXtkE@}5&>8912$&^ZwzjiP=FN(!2kp)xGAS{)c? z*&}`R+2-98!DfQ~xj@ylE5#2SqNF|2ndQ(S4?N+-=AHivW7UbcC0t@(IUYN@-2pD} zhw~SSkF!6#phEx)^?~_|Bv|}M*$JS;`h4u9a_9U&Bv?;M!_`#YNLT(a!}yM_I@_ix;DO_{7@D3`LGf7d z9+*5`jBz5{#XE4|jU7BA`V&7%2xss_izNFpyIJh)69N;NF2n?nTnun<#YFN!G1?ey zX_R;gzTtk$`Q~~#2Q+Wi^k>FhtOr(fYve@j)k5cO?pL)^wKne51Cv!(oGD6^otv8$7pq3zx~ zbn&`_lm|?_z@9nPmJ``e+hl)H_PGIrI?=X>qQW|ugNf3ly!9`jFszr|sDBG1TSr2njb zWE4ES-l7HgJy3C~8@rphN4%eUR0RXt-oJHbxg~!Gk%opLV`M%yg?A{6IC$WcRQ$?N zt^45H6$NsR6G+Xi)|?W#hVIuXHrIEP)4Az>2=VQ%9#STSgXn72!l>ja{KQXWgufke z{ax+9wiDR(f&cgKCvk6G0JbY{uC@ZhgVlRp4D zT76gARaKxNSJiFVke5;IKx{|il=vkc(uh~&E5<|wPL`YIkdIGU?UO(3GYFI0D92ZG z@x4-l*@A)Yq^Ltn(`xl7wX|mE190tLz7DIREa3%I6q9pSMXKaJ&%9JS z>IZ-~wP7nL)K7g!wXtu&%67-y^!D4_p$7y|^l32R!eb<0db|AQsDbjPTab4^`YQO` z=?TJk>)xGRCi=sp+5naFT!N^Q_)D1&KHwP7V=tv-VdfLWalmz_YOaN454^a?>c!=R zO3-UAqrj$DOiL2conOcma$JnDiI{JjB)X_CX>!LhoChQR>JODOQvo~Cb50eaz9yUn z6=Q=nHQ8ARxvD*UFB#0v0Hs~mcZH@jVt`+R*FB7tP_oJdMh|=f%9Q&LUhLhurwbI6wE>2 z4+EM^(DpFcRd4AY(ffyq1ggi*f{ND|GWIlbWNt4Q6oRqBJAb^K3xz2b8xr%ky%bTp z*Flyz6eoZwZz4M*8>TS%MwOeQvKlXT6sR+Y!g#n%mPEr26bz(;j%vQsuR(u_YOe3# zjO}##*(hoMlV*r(%2Vaxv!9e`b|xMO5tS>NNi-R{&AbbQ2L2{u?3Z#3)8y>~GY){4 zx2HB7%=n3xBn%fp_%dHL^et3-Vom}~(GFQ3{P7relUFZ&f<=_`2S5?M8I*1JeWB+F zc3Da{{lQ}>^o07QyMLdt6NfRsCo5c9azrZ2fh(7ray4x{3 zi=Bxj&LI2~1Q$D7Ty+OEC|$;ORUAY7{_V52v>;ywWzY$;9A2IvrcE1cv~l)QIO$yC zCmEqs(8lN>N3eAu^W(TQq*O-p_2w2qhm*a|!JqyVLa$7n^w+1tN(3Vn0$+Lte#~i1 zlZ%lj4Q=huw(8IFKdkW7H|~xd&&Q4~iVv|WQYVicm#0oDQrC7HKsXH>p0dwtYaBtR zyL$zC_U?w;r>znvKqz{+MU{&7s%v{XA{ebn(mqn|2U2_9{&O;#5+kOQT+yEQSXL1_x?0Z}DB zA{#_J%F%yZ+Zpv%DXW8(?NSo%6-weRv8(;lAK0SQK!XJof7+AY$#g5jY6dqyt%l;(RZC-gU z^O|Bj39vBZL_y%gU8%X3sfV+7$Oi zH&KKym$nxqs&Ckr#p0ZQub40&UO`6*9;Qf>QcUZ)s}j!A!u-Yy#6edYmes+LEiVD) z(w2sFdC>ovoJ$~qM0*dfD5C@~^;N0Kn~7WEXo~U~jW*PxudpztJCs&P*g4UI7JdLa)r-+>?VwF45o zaCkS^NthIs^A;60oh*?wb^;EvPlh;aXg7Fikz_D3yE4zd8{U!xDsuzw-%gu z?1%r}Iylfb(!f|f9B9Z7lZ8BOGM2!^ve-#E@Bak4{yZNeFkbsSel_~>uBY3y9%hvoA*>1Bz1ZRq% z;4mb(xNf9(G#t2xEV2ILZt#vYIN+LIf-K4e`(k}=regjwn8=Z`Eh%>lHIKCCka=r( zS1y57idbI?93aIY(bs|O)6PjOB2gPBEUAPZ&W>jGeT`gdBGT$_h*FKQK^J7*-c&e{ zvL8-K`^IPw1BqpPW2}dP`T~J~G_>$MmOwxz6C!Mcex3NNuIi5VZ*@gx2?^YCrLV|1 zdaDc}CTEYm=GWV9)~umS*b#<^;zrnh(^P%>|F8yK<`_mm++Oc#s)7F@>BkNq02=Bc z$$=(}+7V+muVKsEFZ%ds;yu_oO3*UUV3)!L1x-iM>~Ms^)d7s6Vk}Sr+xHSFE%vU08pRF z7ZAY&`!n1?&=`_5<)bixByIjEOhJec?4;OIW{42{M%bvh-NBx0BZr-t?BAa2+$y9B zN?WxE#%70x&1<)Dng05L4IM5H)MteT*N9dFNXYt`J7qXBZo{1k9KeWUdFBufN z4RylB9Qot1aX!CIN+IHLeL8ma7K!% zpciQ1OR4UKPx%R@0#%VxkwJn?9v#*^RBwP9RAVsiB@( z@1vp%CRV&FWU)@tC3B@-cl1Y>lu3p%amE@V#u{V$kyH0&Nrf`~j5QGS_~;U%UhgNW zfldBU5YteUL6;YX(G*TUw#PqxBLCG*hrDo0HcnSPK?i)atuZB>ou>lrA5TAAgoF?u zotEo$CzM!Yz5E69nH@2i^m|@tA-Mbq+20?wR0<-*$k?>^Pt0=_2#Udv7z{EaawZyd zRYQKf>{P>=^|Tqx6%*S_HI~Zypgp9UyrpG>2&zN_!D>W^P;zVqIzR8f!%PYo3&4R! zl>ApQ1SDqljqx7<64&8V9IVgQZAn5IU4Ms-4sQLdZz11y?6CsU6&ESctVL*Po$mEG z`~qj^qD=~JjEzd%>kS464LL+iEEos?>|rxdo4we#$?k@0!V`dW!+A8RFl6e~l<0cB z4RN3`WPq`Mi_yP>{9`Uya=pGftYqb;t+7YeGcP)^yxuC%%+%7V9NAddk6pYkJ?BUo z-|M|IbvGCI@zB1pJ-=ty`C6${p;j3r&-?wy;%n&Hr{GiF&W%%-ag%$vKCjW*0zZ%A zj@G4_M*$DR>WzmMiSltv(9Tv+=O4myOJ%HmwLPkC z6g{GtE)wSQBL!f!w&CMlv%YBNq^%JWpZM5KN8pg7q_Rm#S+jB?m}MQFc8W zTzPn&D2SWWs7irK42b@MoJh+tEQ#t&( zqQc|y(_)N~+F%9~LPnkl-VxU4{>F1Z#D zDh$bNq?A%#?bvKf_CgX~An;cH{ecn#y4``!E+tH!h`&wO^ZC?sJ9I%KJEYk@g_WIi zX1ZxV32XIYM@mBgW-L5JPM$Ytg2lA1wX22l&nuJ~_UXC8K)}g)ouGnkXV;UT@GH3O zH_-ddJ;(cU+gkf!zl4K8XY+mU{O)Q}nhhtyG0`tRlwnH+x6V$HSx3J-1NqS$WWEn>*<3b+>YBjH#JpLA>&^<(ifk zq5Sgu?;luLNvO{3{Tzcg%d~~hrMIKI-eks3VEXVAO8}PSceJn%ZX7|*-2-6ODaujcyXuLmO&6{`+zt!=9t_?nI{CcnP z1i7Leb5vw%LFYS-W@!k+p)*A=B7#`Y01{8u+KR;VELXCmMu+xRiuvOs#zSQaCm1RRSx4ZvqW#)sy1fF7n@7N$-sg2N|MT zdC#tzMzhUXtZN52@6Yssn13; z2Y%-Rb*RZLmUj;`rwCKh3p)!FoSO3>ErYg%{@snY(a(*`U!3fvXt~Uc^N(>pC|||-5gVz z5GG(NLxY025Dl`~j#Yt4LA39(6>I#qkmC&t#eHE$lGH}@XLap*j{;&2CfiRqVJV?t zruJ3aO7{1(cxGg%C1EGrHi@kfYDs(qg>Y@IEDZK}^I&8Bv9Hu~vR+Z^itt8B#QC2UTZ)8IigZh<>R=^wf{ zEl3q!#<(zUemA439g9gghD7?f9mITQ8q6$uR=;L_@K=uG>qI4*W;*Oz@YJ>e9$J-d4C|D zWPsJe0P8NXc^}a?=nx7^DNqg#$Y}kL=v?m_N1HI~T&g5A(~mWIyG5Sp7HwlqVn zX9-@x5j{oBae-Fk@hkceuV+;1{Bm|(*wsuj`(H#oL#4B;PId=DGmndF`KT3l{B+mv zal9s~c@Kn@ZL_u0hxN2EqI{%;FtNp5B-CjgJx?@L+-0pnaD5&yCfkQ=KS2;-E>Z$t zSv(%LD5QoBT6i{jT0a>KhHpBuytc35PC=N@LN%d2>(A4=S4V;H!NXyuP;(SVce3?# z*_FgEIOaG5;9I>tCeC}bGCtwfV*o&-pM5CD(TL$TBAE}=z{R=V_h_JsXjlX(={@qRwp`v)< z3OxF2ZG)+X#O%HVmGYre@edRcOR|e{zVM^gM32U3 zL+HzmT6dftGTFZzK3NC(X+^k=(rFsC?$728O4SmGi_v?H(!CiFjHl%z4`yRr)7L(% zE2nUTAr1Oq=pmaLaF}cezUjc-X>wj0f~0y6f2J#^TNt@`4eo5Y^uGhL??Q|I-yI8f zR^Z=NnMOMrh;DFzOCvKqge^FB!X8Tb|3{Z22JI6h6Bj$j-vykcM@9%%oJ3-2qNu>@ zOI;-Lv^`~`)P2gm^;12{jNeJ(KnNnxFSq%n^@fRay@z~P$E#I7NlRb(auf?>68Xq- z$5#knwqiNz@A|x4JdayunQ0YPjvK3cCs6|~o>soL!sjcf4vu%#uC4AKPiH5)O`U1- z<69HQ`;;}scX!Q9PlHW4Ucj>{?9LgH=bG`sN4Z0z(CyQU7H{NEJ& zG`l0rl&$^MFYkj6I_AoYiy^yZHjWKpj<+n$ZB|AVtfv{1Hj$%+p2@?XW-euEcq>jvp?8)X2QvlS0ebAJ z&A@4*Aw$&OL65-dkLVcC4m4wo&Do8H$cM*-n9hX_O=pG;jMXpVgA_SM6F&zxk>Ahz zT;qIlC~9hua8iwMqDf%YLl_8f$A&&3!L~%{_2xr_xC0_Ci2&yaeY5YJ9K!c;$lafQ z%REY#@fFd7^Q8Yt zm<17b{NwYdTS34IpUNzM?R@6aCpGl|H5Cq7$O zXN&+x1b;08Yhlhn5MT@YUuwPH0*DZAK*Wa+SBQMG-(X3j2@bqc63zs3StS%BqoPF6 z2wz<9!jA>jVbU&w47!K{0U+4Gr(WRZM;QLvq9Wb~=@$uf;O)U}NA=lHs9z24Wfx$+ zYR+7gBeQS)ht|K0v7ui`K-fnp-3lQ8>6q6vIEa!+fh!H+clQ0s*f$&JDmc)GiUIaT z;Q+A_)Q)-dzM5e0CJlbCw;dux&pfsuV>E_`J=na$mnK{q#7XC1{t(o9ZqdwFh5E3- zr<&|zKR(uY!|*_*@M(oWz!ud26@EW6UC*tN@w+RoUOD{LlUyx|3x07?2zkbf1J}(y8iN>p9ErsAOJikWw1iH6LjeA zUL{~kL?Vxj{TbTps+x);pN!j`h|8Y{nn_AxV}o!3UE~kP+OfB?t3EW>ja8%v1*98X z=qevmSc&kdL=cDPp!qA-o2g1DeRgYEzmUMIT`vH^sJO zuOw<~R_#>tFZk0VLUaHTv6YR2t9R^K2UuhXRb4{mP5U!?WDM)(WCH;lR&B0jG4bnd zN3xJ0_3Ul0BXQ{i{$U1ff^0v$5?84Ms8X_HBe{QuO0V}6q{yo=_Edy{AV(lz4K{G) z@8C6XGTuIr!#ir)HkrX3*Q_F|VW08mScR)HTBIL@}xbSAf2~fv4AC-WXdVre>km7C0Xp%ZJdx-TC3+f6OBPnp{3CKgQDEX^5%g#%AF8PJiMnCu+I*rkKPF zPp|Qh{qs)kbbbeh)0wEkC=a50lpn2W*C<%~=Zv6E?e&b6y65|gaP|Ek97*r^XPu8P z&YiofySIhC5I-_uzW(NWb@TMR+&a5DzCASK_7Br*%GJQ%M8G-rOX z!kc{h9|wE?ZYywd{FA^YI3U;{0W3+EjxeN2e65g*5bRvQMt5F_1#1BCUs6vVD3!+H zVu*INI3MLt^(l}7008U%FyL%d0EZ+u`7q`D50i5IKq%Me$+By0RVoa%0|6>s7Dw8`#b+Q!3<1VbArL9WBMTf9#i{}OZ+2e{x630;||MzF)SYp zYZ8ew3??!&+g~B0ippP8_8`_;s7BUWXl@n&YuqISB?=di<3HDHl454ys6p-DwrufQ zk>1Zbg}XYeu_+gO%zyz{Ny zDwsK>I{HB-7Sm=#Gk|k9?Eh!FCd6ktRH|%o*)GI9Y*+{p#thz%|L3+2zyNjtW(JM< zSF!|t&gC#vIN5ee7Z_qYY&M8=084#pn4&3pikjjfJfQ0fY5}wBCqr;Ec#6F6Ls5!g zM$!Uv;jbED7&a_nNUl-!l8B~8AqPk?-YALL2MGq^l-Zf|BBF+tRP^T9L?m2cF^JJ@|8vhc|1)w-ZB(xhL9^QgFc zqKjrVQOl|3;*ox#gi+`_L<1dj;es{Ah@9Zms8GQ;ena(^$^Rin3W&``hY*?`G+_GE zj&4Q@i0aV}kH*L_AS=%56276vL7|@c{e@J_OvrLs45ykbuARB>RF+2Me9FRj=%7f* z*y)RCPu8eZ$R(MkK5{z9Z@5_~NzNV_cMK{cSt9)tx2uVAznOOsQi3-Q;xTRBEJC*5 zK4wr1tQ72=LTsui+<|^z&`ubQ9{vN^oFwth7hQ?Ic*LUU7-}e3J{1LcV*fnx=OHy+UrZ1GCJ2d;muw56Eb-xv?Dx?=)MwBrH~gW5}tr&$}eW``*aGc7gBTRtjP zvrMznQnRtEzpY0C)#tAatf+ZqUm+yu6}<@WN+b}edZ|1r{uePFy0Lpun8_|W$2)2M z@^;o+)9mHQ@_cXp;?dFcivd@$Y4kF4uyU{vtD{+AONV|Osx48j#VmIzm~XRPV+Lu` znx*LLSgo1q%X&EISLWpSL%`$f)wNT{gN@7m{1Zq3TOS)5ItJ-Tdl8t^__gtl5ZL1l zOtw}jtP3PrKVo;q9~eJz;i{vPuJUbff(F1?HrpGu3L;X4p!(isI}r<4i~S)aHWx&t z{&q`84~xuRb>rRii;i+}HVVQDvak$^AXK=4tL$EgDNA~YvM5U#4yuN$@6`^m=yRww zxijc4#BZu5_tmZsU?03BnsNNaJfvm=MFJOD!f9EUgFf9_W95?u8{c0`w>GP*ttd|@ zwYGaKqwI(l6x1QN`LzpuaO-8Zi*yC=I7^_+FZ>N$KL{ZWIzQ*EVME^(*kR_g;$S6; znt?JV+X9h+K4YLlS%jca;$xOc17-woFwgDe6z0f$<3pB1W|RMeDB;JN_CP z+$$ovyr+gHRdb8+M4Y!pV*Y!T1{|&?-%HHeH4tmh*CIhT9Q1gbDITYVRbKF?wv`d2 z$3T=nD~cV%sFXzCqCV7=8lY#fuAv48e-<%`d0l$1+$H|~?oR?vrhF&kxf$7g9Q!az zEc;d=g-tbu)PGz$)f9iP;{U#`WD@jBUX*r|XgXCM^GBj+1u9;euD1Ud0m{3I8D6ObjjwV#DZ5DSJNi*nTVeogLWQTFO;;Yb%L8yoo zF`I&=&yBxy5H$*k?3X;$V>{|5FsvPShyp*1V484T=5m7@C^;A^w0fZB(p=90TspD> z+10r6GrJS~kto4Ew0sctr+P{7ZU)C7vM+w_qKrY*pX(*HYkq@@3ckQiCrYR|CL2!U zN{tz^OeA22%(B+uS8LCGL4&zIsr%$u9W#rDAWk2Pk!tA}Cc1h3!zu{H+aLAV+MJTY zH;7)M47XmgO|6{0P9*$+f}r|)ojCZ0fnOK_dghi*FB+}Hk^X$O(p@mXV_QEhsSKIv z+oL_k#qJSUkQ@ZamjpT%6VgN&Bic>SAHq909G2LH7!`Mhlv~p$3&I-~rw~+#EF7HZ zHjjn^*2AN*9mtKEx2x-%X8=)?wLwQrH=zK7&lR~2s{p8&Co1+>$cgr!*Fw#PlZjLn zw-zF{AXyRgSwdWXkFhkT5B;X~U6GiT_7y$^Mi7m6;t3f93C^-n87;C@5LVTXgaJEZ z*eOgnHzRsinr|~rkeiseD@0FUShz6bP|mgc&2hwFXa(KG7|Q>*e{`<}#c38Yd$4r* zMHJutV4D1ou;TVq4=Y{o2Y{#eT%T^IkZ@#=*o`~6HMU$vw6xng!bFzsvb~ci{d1x! zycp*s{3a0er5E+ySLD8&{n|^dRjlxQ5cS%AdDas2cpL;eBt2+f)PqwKdBsGc!M?Px z(L1lXh$YncncYsOJzwI4C;#n_7y5F}?4nXB?-@1vw0zH>Xmm8JGZ|5VE4Nh98?72o zvKqPjV6$g{&Q!_gmmvmj=Lw;^>gG#YPNYt?DOx>Hon(8*6loBlqG-={lELQ~A{yV! zGT3Ehv{eaNQN)t(PFNWfOs&l%W$SW&Hxiv!OJapvNk5tAA~y$uCY`o-N~jT~yd0;JX~doJ1KL78S<*TDo1EcLEI0a}|aiilT&K#qDC`9#4|(FKR&~dog)=x;=R~@U#z@*BUW24yb); z{r$5iX(LIXQ_mMEIwQUPksu>IJvl0lv2oT$%6dviF8sLlkf?pRyh{7`nwH?H!S)Rw zjL&)(9O6MlbvWqt`8o;2^Su2yzIb@5SMcr$;&|sy$!LF{y?#tOZrrC0b7N|6|MuHM zYl5Ub;dA%^qnY~kaoRE^ix*F`B}KUeaNpFvmG_lbllT!gVng;Q;NF$>ZE*bds@Brd zge^_ri{)DjtxcTPd*_>@siW~T<@jJ>DG>+z)T{LM*E&4g4vg>X9B&Vee+ZdmsOwc_ zSxTp;+Un-*PfZ9G&l}b(%kn2p*vyOZpH9HP(NI6N3k5VgI+3v+?u|`b6yGJnCQQ3eLjScrFTKM-O0b)OUc1 z2K);x2Y+B-HzycX zAnU&{C>wK-m@`bHm@_O+)?c&@!NJD$-)$6!2mI4S3;^)2BbJZ=roS!30I)R1kinsd z{tIhk09YFv%;8wbK3My+59s|G4yP`bbQlhY(P%yc2aBJiG6VOyG2jgD5kJZH3=Xp~ z9s%B;H3@_O|GAM~5T1-M30v@kG}VPqqD@lNg~w<_3x(fMOL`6YAR)Klb7+#zHsP@v z+Yu1F2$PBs5I#35&>$qzCGpUFkk4ue+ayVQY9HkFPXr3Qr1hT&n2n6_2orco*zq4y z^eO}j@uas(1dK-6JA}`lk~r@^NM|@iTC61Q8)(G1R|q^*E@rO(2Hvck?0^4gLJiW= zw8a~&@!GG%-sJxc>9hRof{HJgwoBe%A{Elsg~G~~=qen;EXMWK>$SYHMQS2kR7wRA zAF?TWX?9jwXTDy261}d{__I?{c!X1ULP!I=xT@N86H@|8YGi}76Fs&%IW7Xl4BCFN zbmAr)JJ<w5l`(xI(tl%7ZkIlP{>UEIff3K0}mXpLTajs>7kl7|vNCk=ut`ZOb7G zIpQJDy}LykDoBQv1&C;X3`dYk$X4Ei-g6Mr5|<#2PS6vF$h7H{kF*6lp|WBXu5r|~ zgit4Z+Fcix@YSDxswX@Va+{pH4pG>$t|wS5h_exUx}c{e0$Nd~E6{8@SPJC7>>f+A za3a+fWBiGCr_?)IvQHEpnal!{FJxJmjs$h)08YMYF65wTOqUx1~IN7Th6{nE>NU<*QDYb~;4m?Qm3*5J2(U!1SQ}c3y+bkEE*eHd@yF6T2K^$r$Mw(Ou zR#5^;Wirx((VQehlaL=Kyav^{dGxf&(s$#BToGIy-mTKw}cFf3AwJhraWFi9v8fFY9EB0cAG?mC2)GUJiM6S7j93xdOp^?ZQHr=C*$L{ zbDmx9tUWn!;^~YPvbcb(H3{ze){Qy&2;?ScE)9Xk5B;#?IO7caJee>o%oo2NOccJx zBl6iZb7z1$%GPV=7T$MD$=2OpuQExCMfAnA0@L1A2~POeNnGbQ_5|*{mR^$rjTAIyrDN?oET0sJu_jtPK^_jiM#t#1lbcT#m!JOjD?g8Mb4XuJZ}cdKY2%TA~ep zDcq3M=}l_XLW+R48KF0>a4=&RAAYh{#Gvq|p$uQ}D>e1g*X+Cjs`8K&;%jJbC-=|!C zt$QgYkH66CdaEn3(TJf#jeGY=41Gk_Q(F6TK&4krg2AUM+tmyK$x>-mC$0l<)-q_(GNZ*u{rAxBv% zDUnk-D4J$fnSHjwanawBCPg399uu(BC6Hlk5jSPn>i)8$=T7P{gtS6H4t z2)aw2G@@m=>lnX}+Vd}<4D^$(*R!l=80pe+v1^pt^%^N!;CoI|O%kxwyN#yGwu{?rt{(2?Td1 zxD(thXz+^#0tB~Bz4x!TRl8fY-+E4U)qI(%>FGIrm`UsTD&1Wh%K`hS{oC+&~9LMz}ig7KvMW`P%f*_b?$WfX~0G9^q>cY z{XI>J9g+F15*w^p4BCe-(}B{Xyl#|^y=m{2WU&&*ttz*J(;(=75!!tzujvj_|KC!d z+UH|h32NHkjY^XKC^0v+Jo+Gg6^c2qmG1$Z0wp6u&{mGr)fB;&}Cxga3UgG z8Q}^lsB49RxgVrg8WxdMtnkbzvg?+{u$aH21cvE4;Fu~t$ezdz+fi($D^pF?E_4dZ z2=hpRSGNyNgn%eF(C-?v^zmR^RuD0VjVt;0=5SOf=y| zsPhfJj2iZ;2R|Q2#qP$^Y_Pc*l%wcF32PYaKT|`VK-ILPV9$p3;xoZM!2~Z%YAl+= zqLMY_Mn(pcN=Er^@@|8Cfn4Zv4d^lpoNVbeu7g4^7mq~sR_(^vb}f_mYJI?NBCEl27PBaU@^@N zZg~KI43soqGjkoC$&BdA4cA>t9p8lfZ^WjD&g;eypz_ zyT4*5QXuUWNyk{#04>9(%!p$dtEMln-K`BUh1e74VyjaY2$;f=QjaJn!bYdW!mqQf z8E^1K>c+P?{pR9tO!b`n5qZAho>1llv3DM$@;)K7dna-EvFNNslor1{{O{%J$$_jY zEl56t-TX~J-oFaktLQgMN!%BkQ+3`{WiQ=Q9HIVTCHslbAEZy@GBepMR#PkSIyW@| zYrR@%x5e~0dg;|1W@YX@O;-M==;igukApM&PDg=t{&dDsuJ?ge271VqOJm?11W<8Q`8?N`oDy=yO!hnLr)NvhO#7p?^cPE zv?05KAgYP^V^RWUslX>MXcPBlmSQG6ZtsiwLYA)^2r{rkO@7ZPmx~06Nm-nTN$LZ_ zPDi}7)=Pusau?G!UWHrKr_7Uc4Mx{+M;uKy2TakLA`6}f5`R?v#b(0~++F=?;4!lYvx+nV~*1N1-EXyc6-HxT4(4zI^IWzn?d&tuKFb&(=I=n%sV%Ep;3uDX?3O zQ%_``P4EXY$Ck14(_ouT#xZWTc0RWxEc5IY#0+}n%E5@w@+)ni_Novp1zq1Mex_2OaLzGmNx_!uTilD5vex7>8R^yxB)jet(#zwBF?DU8R zEdjJQ7i5>?T&uK*OHtUibUCQg4iQvI2#M%b=9H}PDJISxrVZEU3n}v3$y!!r>h_+w z{zHqTl7`x>3dWcGa$H9>J+^(7k0RSmv9X%vW6?f3M|>V!Q&Mig4)1-gUQRLQedi~j z>G^tm$mRFr28LakH;k6&+yrNFV4Ua zd@kP0dDv0N0GeMtfMsN9bRKJRrGK7KzDIZ^)s0s_943G#x2ONY6oLzTrGYk5SpiRj zb$j6L{%8<{^Ys`2WZuo3t{eh+aqae+A6_6MkU(nCp7@?0CjrEgn!Z?pwailScT{_S z#FodaL%}ERAO0G%phc}K*{R{u_L@GN@X2|8PQshn=1zhe@v=R|AbcR!ZBOkA{7_w> z0vL-*NX%>=JdR&&5VEJ3HX`g1!_zWK?A1!$2jdmq8UpZ%3Vb(w!oIk^zW3W=fUolT zd5^}mZAc4U2#zUCF)>zjujSYTy?E0=(x~(ol8yoC0y=IGZ_c9t3EJ6{k(ksp1*H1z z@z~pks}HMr;KW{l$Sq}N{oL(u@9bOG(9myK%lDB*pEql5jq;^844*F>OONtvQApiJ z%rF8=b-+*D*?8Q>XXV*h#B(XTJ+yk3CGKl{&(x>u^dM`8cd(WJN|42gOXIN0u%~zT z>z#S-$evqfydje8zU<5;b!NLMBSqZf4S}$N>)_1z-HqR~@RVxz$d7>(&1>N++&#mP zwuErRsWrQJzXW@Jmx`-SoJCNY)m{TgZuj4Q{c74{z`fuV=3?jy?#bK>7zAT`TmLZ$;a}=NAuWa z-$m8eLq`s_@t9^c1&MuG453`~*f@feZXz?2bg@2T70B($D5o^L>NT9$`g$lO$$CtT9@MEueNqNp#oMzg^~-yafl4l^&~G&%N& z#IXJ<<6Xf(zK``oF3yti{MclkD`l5p)T%KhA|@En^Lk!hJQ~CPC)FLj?|>mC@rSQQ zv8%l^;p%UKRTunxVuZdv?8PbCj-Ly|`0z&@92%fi1?TjWIu0G4IMQrzIQbp5Whl2R$2kLHD+j z;E>}5zh2qifu8%^j7!&*u7gG1Yu1ZhO{Lw@>2W{45wcSSpUQFqpG_Gfu6L-@d{Jlc z6YtQCBkLvRT#z06TIt0F;C83ss@l`6a-!L1>s$3YEh&Ai;iB5pV{?qtXY0*Z>(yb- z&#+ww*%-dc(gL>|SKl@WUb!Z1(gD-QhD$aXw}|bZ%9qY@{Jvv@(d|A#?dLZ&C<$$X zIzM{dK#5=CxtgpyM4%N@q*@5UtHgA7x_Z=N)$2(A!BlWxWlFpNVCwAj7Y)N44D(Ne zup?61>uZrI@=W#;nwhn2ChJH4eB_x85fhRf-?`a%?hKMH*O`zbyPiL|+-*UBG-^Pc zn|sv42s-$hvgX2+&n?_nHzDUjp*++c&Kx5Z5|)(`MG=HNJNnZ2E5cr1&;5`m;U4qx zxM^`uB|K;evwU{~7>#B7MX_7|{$S7L@)eexylGQ*sJ3`_l0TUW(NF|5GinKYXq2|$ zPV$|nP#bNO5dI-?lVHfRjw9Wbt58qx=E@$X+xbz)fZ@DAd~Ws^HTW@_}b~(8&J-uXxb1z=QiR zI2m=4D8&3+DC{5yPcLsuJ`Udh@!q(&{>yt~1d~=&713xv3beYpTmcqld%m=2H7lrpwgO(zmys5VT!Lr`)ew0~A_@!ssPNkr zOa@fk#7E?*@O1To3l3x`r34rrn;0|nrvcjj2S)YjZ)!`Pk*WbN;UCngu{iA2HS9lf zLjRjD;L`=AXwNFDC}D5KDK|&-HB)XP6+mo=Wl7J%1<`0hi!{m$5lzD_P4U{7^n>We`f;|Px!cl69aEfTpTc>_na<&1M36 zP(f5f`U&O|{<4xu1g87-<`qE%qE=bm%_aMh_sLT|e+JT2vBV6Uq<+w{8Zfm<0#nw= zv21DZD;K>_j(+cFyS}6ig#;Vt;H_8KW#5;ln>VgJSNmLWNH5yEO8)1NSAmzy=su~Z z+uPMFcAcP;hC@`T!%6QTDytE2Wf1<^JUF_bwV>AKS72fizGH3UX$Eh5l8BUw!rN`i z&|x5R`$gX`Gl;~hR-YR3)dOY=s$y>{2c1~GoT0LxPAR|-gFSbFHV4OlY_RI(XYTG6v89Z>$ zlD-kXq27m_g?i|Ss|bt9RWor?om?uJG3}ly3WUHtVqo`b4^GzEgdYhXbV>DY2z_Gt z6;iafc#|>eMlMpfG`W2HWi!Rwm+w1sR)fXX!Zqxu&kTtXQCr!WZOb`SLzD$Gzkk(_ z>}nwk7_h&mZS|${$N0(w!1AHs61^#)m+glWd=0-U#GzAAIqW${p9Ghud)X^C3-tNl zIK*`rwFZ7Ch(_1vmMj}ypHI?$1sw@#MqRsz>X_3a@`PS3-;jm8o2fcw`4QFCf_9wQ zk9rKIQUk_ToO2yl?%DWm4h(r~F#0f-Z=e^w(q^Y-qM3`H|0YhY01U$7j(Qk(6!+{y zIxlx4-yx&y;+uEi4KguSTK2sJU^^P@cZzX_-!8FjQE$MeLF-`*LwjZXO(Ff|B{>y? zJ!XU2dHy*#&c&GHfYK98Kvy+*D*vs0I0LSoHdV$;fi})SidiE;mx2gOl9UijG9DLB zCUp-E8XGQ;k}_NyIE>-aElNPWur0;cA5K1ug0&pg#f~K#{Qze<>VXjU(<4t34#g^= zrQzH}<8)|2CVBraiRUPdA!4Br`-1AZ6npP6#{{-b;QL zqfl7o-olK%!aWV{6Q|VB=E&`Ob^tcS(Sf|}g>j1#*Aaaz?rqwD&U{(|U6t*iobVF@ zSgdGWAJ{#qF-&ibw%o9D;3=zn{1STm7| z@g;_yg}ie5eOpl(^)cs4psyY}3CzvwNc2yicetb$h>$jgPI zvkrLX5vT)s6QmEzrPo7>z0$*%h)*@I)81`~FC$!Xs%?LXEWGIS*Vx6yjrD zUEME$(EOdpNS8r%NgqNb1HV-WN zYGFduzF4ZrpC-)lZTwO(+D?gwII!B+`qf!r^#m$RH}6gl!Ry0Y1~2QeqKu2J6ZUNm zuSw#Pt!y=Pj$Xxl*_jkUsj64jSQ_K~y^nth&5hd$ZH}w0!RG}d`3A{M2NdBL$QSg9 zCeT0`i4ryp@^7gM1tKS^k8CpDw5&42vfPXUFl8O_nHZa2K3dMQOIg%^)UUAUs-!Cc z4&+LD??eQ9Z|BL?d}i&a?wQng`1BIzi;e&v1Ul2dhN`d_E&rCG(=T4KZB zZB`LIPOs$-u)mc{_lTk7Vx&}mx4ru-gLyyKK^N1yG>*}wfhu>?Ju6GsY7V~IWSX~@ zsR*@#I#)+c^@#}RN5hB-+nv%`Yi=+CUK_NcwFf!|R2)h*-5pYtThg$54blsBu~_is0L z;}r*1-XkAhgkqoXAM8U!#1|)b?3^JSJu`17zkNmW(yar9^PWV1USB^1JnX*kY`&if zDNoqn3FVP%CQEf(qddL0D{ja9zw{H&zyDkCjTjmQz-xlSuH_JDLn*-fPa^428gWu` zQ*!<*YPz|3|118d-B7{R*6rWwKmCRZGL%Ll93YUaATJLGk1RJIAGZt_h>s7%FDc6} z1LEeE0r7H+QU3oaCg}fLmT_?YcXpHxtYmLu^kH=MyP9vhm*>LYoU#;JmE5CwkuN+B z+vNfLE(<&ki)9WOfAQ7TNsZw=3Nzrt74sQS;XQVGc5uk_v4hY_jaP>UWKoi>(cwI( z$3~cMkymb>`6J9$p6-O4>U(;B89KQ^&i~|2bxh?jztld>j@(V*N3&sZr(y%ba_1t; zFcnlQk~I;I7>;qbIKpzR7)!WaGBx>**qO0O*iOakP!q#H;#xIb;9_D`u!NObkxBoJ z06a%qrrBX^G_WkMB!?Z1o5mKFy@j)<=TobRI#rPP$cCk*lXODIhOuaPr6?qM7Dt%pbnMS)?(BGZ`kw+5gz=IwyUO%_$nf z-Y(+|CgRS#4SREZVyYeH@qsl@{p>k>ZVMj3YW!&V<<7!A>L(8;S4L8(h9z;crZ0XX z_69Xbx7mY3@|=^i^b?MD*Z0DJAF3IlO#bgSR^8X?-N{j8Qo!vz{9h>i zxjPu`sBQhC?i9`uh~|hQa4G$4KVhGDIQ?Oknq4a!ImRk@D@KO%K&(_vSWZ(N^d^Tz zRzK$W`dzBv6-C_EIr-m#x^;)jw37<>XcCP{l-zFwxNowoREbH30s`c%#`^dg36Z7P ztvoFRo?fMHr{py$u}h81#`{hqEj%;a*}U$E92OeMeqV&|w12aCT97%z*mCW8o%8vf zZa99!51sYEGWQ^bX(y?NN=zy?M^Fw6@p55b8qf*sRSUU<&T1O~U>jh`7i732KVJ#y z!z>z!#B{@<&eD9u2bm^7sc{m zJM6)(q%|?YU*zO&YFWv|f5zoxuv8t+ixtH7+Vcv@4TGtG78HQ4+ITue>-tnmuoM=k z4o5c!HBpF73Zt?Ea0tL8hg9)dEy#?>WqPyT2 z!#0~^Ohv#q$V*W)dey?(vhqZz_HPZkteYS*?;x}z>kbeD?eNEi-+tUn=zL+%;t5B0 zN8Bv!8_jGBOZ*9q2|ZMC9xhs#NAU+W5E-GQU(5a1W`d|sA7;TH(sOr*1YbrhRdpA* z5@B=I{=85@Xc`z0Tq2TVIJV@12>1Oh=hpXZ3|-deRSNA9a40*p8B8x+6R|3+2vUh~ z=2VZLbf17KfGCgq`B{P(wklHhzbTOzp(N1!Fs^W$NbT55N(mhlFQ%e2di}$pJkSm> z3veaK`Z%3aJ>4Zgq|x^2&EsK@;HHp2<8m+*D$dRGp?eoL!oVm-*@PlOW5PT|YIyZM zBzBHAgjzsL!i2-YAtT|8g{a?Uk;5V1L%T-G0$zP@*@2QJ|Ffs2Hta9%`%^MrP--Ze z#p0%0Ncm4OO#jcg^I<~f5^MFgw?nS2!VTwY_4)YgZ?(RH_E5aKjCneV!w^|@nAl7T zm^^UDg$Eod{3uk;Oe32c0)r%~0K94h_YR9ayh|Zj9xPcXH(ei;kR%18Q4!Eyq2ZBt zU{Xl(H`LTUj^S4^4-~?Hjl|xKg*$v=s78NfT1uErp&u&WgRvW4MfweSnpf{(O>LeP z3nZTkqC6uw=ZVq#!nU(T4S|{v4E4k)%-g5^FL*6yPH10Z%?zOF_dRO$CuiOp6`kk> zZhLURmkpp*K=l}&m^cFDB9K(8f*v-~P&#IwcfB5weHe28ZAOtx>|TUaf3-5vs)s;{ z8BxJ|qTR{R^G{8ee1^*|2^i~<9MDH5a+|4F26@|({r@)ZIi=g=9{bAhE=r0as zfE46?^1K-D_%8r=^%^?-3FlIwn*q2g_z(JTkYgeaO%Hu@o?|yF@@(M#10_P3n0xUe z$9Z<6%&cW_={|3{efEUu=|PY=vBzaOo$|`TBVO*0Iwvia)=z@Owva_2Y1y zqh8-jho%4FYR!?|FC88BI+AR)H!U5~Yd;p?oxSRtDYZ?dHSjpeE?oV54nvr}(CqY> z@>W#k8RtWOCbAMxbE6NTizOY*D>2(qny9%eZfaid>r<~WKfFuPk@^}bR=MK%zG~ES zsri+SQd6o#W@163`V)kqQ-Te*ik1vns6d^rNYS!b9w{%CzEOjgMWI$#PRu MpwQ9Ds)11c7b!qjS^xk5 diff --git a/CaseStudies/glass/docs/SRS/glassbr_srs.tex b/CaseStudies/glass/docs/SRS/glassbr_srs.tex index d0b9122e..79b948e3 100644 --- a/CaseStudies/glass/docs/SRS/glassbr_srs.tex +++ b/CaseStudies/glass/docs/SRS/glassbr_srs.tex @@ -1165,8 +1165,6 @@ \subsubsection{Data Constraints} \label{sec_DataConstraints} $b$&$0 < b \leq a$ & $d_{\text{min}} \leq b \leq d_{\text{max}}$ & 1.2 \si[per-mode=symbol]{\metre}& 10\%\\ -$J$&$J > 0 $ & $J_{\text{min}} \leq J \leq J_{\text{max}}$ & -- & 10\%\\ - $P_{b_{\text{tol}}}$& $0 < P_{b_{\text{tol}}} < 1$& --& 0.008 &0.1\%\\ $\text{SD}$&$\text{SD}>0$&$\text{SD}_{\text{min}} \leq \text{SD} \leq \text{SD}_{\text{max}}$&45 @@ -1206,6 +1204,7 @@ \subsubsection{Data Constraints} \label{sec_DataConstraints} \toprule \textbf{Var} & \textbf{Physical Constraints} \\ \midrule +$J$&$1 \leq J \leq 32$\\ $P_b$ & $0 < P_b < 1$\\ \bottomrule \end{tabular} @@ -1306,6 +1305,13 @@ \subsection{Functional Requirements} \label{Func} \item Aspect Ratio (AR) (\ddref{DD_AR}) \end{itemize} +\item[R\refstepcounter{reqnum}\thereqnum \label{Verify}:] + + The system shall check the calculated output values to ensure that they do not + exceed the data constraints mentioned in Section~\ref{sec_DataConstraints}. If any of + the output values are out of bounds, an error message is displayed and the + calculations stop. + \end{itemize} \subsection{Non-Functional Requirements}