From f9d46f3e39ab20ade93ab73dfc28097c40782cab Mon Sep 17 00:00:00 2001 From: Ali Can Zeybek Date: Fri, 6 Dec 2024 23:27:10 +0300 Subject: [PATCH] finalize --- report/report.aux | 2 +- report/report.pdf | Bin 120328 -> 129208 bytes report/report.tex | 27 ++++++++++++++++++++++++++- 3 files changed, 27 insertions(+), 2 deletions(-) diff --git a/report/report.aux b/report/report.aux index 8811a72..20725e7 100644 --- a/report/report.aux +++ b/report/report.aux @@ -28,9 +28,9 @@ \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-C}}Boundary Value Testing}{1}{subsection.2.3}\protected@file@percent } \@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Boundary values for input parameters.\relax }}{1}{table.caption.4}\protected@file@percent } \newlabel{boundaries}{{IV}{1}{Boundary values for input parameters.\relax }{table.caption.4}{}} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {II-C}1}Test Cases}{1}{subsubsection.2.3.1}\protected@file@percent } \@writefile{lot}{\contentsline {table}{\numberline {V}{\ignorespaces Test cases generated for boundary value testing\relax }}{2}{table.caption.5}\protected@file@percent } \newlabel{tab:test_cases}{{V}{2}{Test cases generated for boundary value testing\relax }{table.caption.5}{}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {II-C}1}Test Cases}{2}{subsubsection.2.3.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {III}Experiment 2}{2}{section.3}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}Decision Table Testing}{2}{subsection.3.1}\protected@file@percent } \@writefile{lot}{\contentsline {table}{\numberline {VI}{\ignorespaces Test cases generated for for decision table testing\relax }}{2}{table.caption.6}\protected@file@percent } diff --git a/report/report.pdf b/report/report.pdf index a12ecdeb83dafc8608de90f77432bbe5d174f66f..150129282a4a10bd0263847996ae841f9d6e3b4c 100644 GIT binary patch delta 24909 zcmXtfb8z5K?{IC~wryW+>uTH9r?#%f)wXTpYTGuiz4HA&^UiPoN;0$AV0N>+Ng}JE z+wY+hDZn|{c+*w7L1};yefwm5ZkMlG!+}aa7;eggyRU;Iz2kIu#fh95%LyTBPc2HD z^dzqxN-c`j)`!bQM5AyJYyuaUqX%>24iTvh#})BAWih^{y=5_kTN^mhiA@cwcUHh*muLO_UW>n0_j?M3V@_F6Ioouw9iR|Z@Bz` z2pd#L5jgoR_v1U`xTLh;r;l^f7Sk$?dqrv2zs)X*SFj33t=qf^rI>_-Uoan;yNsIL z|4jE!b2Yl(JwDqz5fSF3e?o3NPE&ggcYGpKmMm^Q+n_r1{d620F$s7i^~2Q-`^kOz z9`Vlt6%g*xzdZn-)7dR?`c9|ZVpc{%EEF3+#?E%?h`nglu_MOfR@wKsyfYk5=(qNC ze>86Scx?wcCxwKUHFHj3oX;xDNYL+y<$#f=HglW%{{T_OstDfq(cpTZ5h~ zvEpE99|w8edC~_AUl$G!7wdVs{fz`%Th;=%k7UFT5@^SLC^$zr$LaKj$8G?$!VXinBQJM9=f-fZqTMc zlKlp;PVua`jbq>?i+PP~q2rGbVg3A@w(`SBEeUHOk6ZE=_Jr9!d6fl>&6U-RM=&su zmu$V!9ljro&j%2gM9YTI^B=P}osjb(0RLDiu-EpjaO!UG;8}R9Y6$W!C1iNCsRWfQ zH}u@YJy7c>5ksR>kl$#5kThO#xjeykFRWnuYB4v})D7FkoX}p)It&LI$U}FeCN$fd zoB>AryYC}54VkxK(S!O#U%O1Z1xC9;*CBwgMK>rMCHi9aKaU1~qT2K?q8GAZV0NeO zJKF1F8*^)&sb{EPZuU2TH$d@qpn%g6j7O)ypqvf`hN@W>4#K8sWd%nPj3ffiox(C7 zPQ@{>209IcWH4%FAx~KD<>Zx5G{!O{=2vnpZX=q~$cZ5K+hl;E1d33N?FWKczFOMZ zS7$!But0U&rg_~s^5b@d{Zs8NF!-GhNo3?eD_&<`F1ru``^XMk9xGd+rQ59UA~UKdZpz|q~&Hg+@JIs zPk9GwR1$i32c<6u0Y>ol&Jr|UZT>%vqPN!09m!+O81d$yW4_B-d=DVq01%dAlxMM} zX>;+2RV^_E?zuX!vNY-Kms3OdYfIQ{45-M zU>v9q@+6YdS)XyfW0 z?*IcF1>>l>n~(XAD~^-TitqS?VSF;4RnY>Je!alKuSS?Kj3=USUlh1QcE#?Kr0)`cx$9^k_Ur=Lpq&&(xi=V_}Asby%*wOpcjSRHP!`(45X?N z35K0V7kZRx6hXT<#Jh%_(F$%dXa#gy^dq(C4qNQ+!Wqa4uAU;f^Vj3NBp(qlxJ<*JXb^6L9+lDuDp`W1@xfns4$Y>bTu;_w zL#R#HpaL`9HPir7;NuaOKOmlPy<@<;rf*~H=}zTfA-<1L>o1YB>b2ukn{l)WB|^iL z7RqjS_t(9PV68*PHCZIW`NV%Hp>VxSA4`)5+__ zTa|F{M<ijP*7CXWsqo~pnIM9{Z6cjQC>eQ81?C9}KXK%jaA)KMEz3N&%0Y4-t7!oDnU z+_yHyz1LC`uweho4gXN4(r)+uX;l{GdTXxkeE7}0=WcT+pS-C_u+1PBXZcFY43i9M z9KBz{qe>kZV_9YEqoE2VokSeW3p7^$$8us;L#DX)+YZ*nxU{yPw3Q?(zXsW7<9+Q% zWTE&^iYgK=V$ydool$3d&11KO+GrQz$d)rE#ax`%;8+K2dZOU)V4)7K?XdRDMQ~Q% zvVIyqNFTHPRJJoB#|2j;Bzd0_8A>FBg65se$US=i3J=VLBwMZLW)(b4Wl>n@#$kn$ z3&IjbE9TzLPe7c?P86}tiNLm#OT;uRnLNzcoebV7N-t0>$g3hX;ujqRHY^$l%2in! zc&qj-COQhci%@P2jvZk`Rt(OcHgo5KrKsNxF7*Q}P^sl?BqrvPc(T2?&|IheH5Te> z(85Ll^Rxd+II2fJnI7WWsCJS>kA>pOI@HXs4qIdVDbyi7{LS*y%C@)$JH*XViCDrl zD0xxTX|>V#u)g1Lj+nus@;6>N?l^s;zvcxO`7V67b);l}&x2m#$TjA#XKAZg5|FUf zWb+_F39H2sNC|5B9^y=_)H~}9uLU{Nh*eAgxb#YcIH3zrW!p;wQx%iWEHEXAf+*06 zgHZB?y>$d)_@Ww$&#y?8TttszwPvsws;xqGVxfQ9=^~P7wW!5pyi%-z z9f}nBiriBM{HIJ?MAsQ`NYu#Ku{cwX^+J;-zQy`-JjM@7&seLSQA2}qjR_96Ryu`4 zvfAihW~0j$(n{_mK!q!RdLi}c6ytfv z|F>$E)TCyKx8AS@YuZ#hUOZ)oxi}oKLzXsGjx?5p__l#BA&Y5JBU*$b*IGU|sJ;O) zoY4&Tn?D;wbtNZeIt0oYRj%Zp#;Dr!#|7JH^t}4$niI!ygz_fVyt?GGe1yvGsY7n6 ziZJJ_&HN?L?Bp5Jbd&B}>|=H8$)b0f5GVqY1Ly0}*1~ck8Wm&} z5MhowaUj5@->D;|pyw(MPv`}4#!xxCh&_pC=xxsvL7`<)tK|1q3BpmBL5t>tP9Q;` zB^8xTkss@G7+Oe;KuH0H7s8)N{<-L;foy9~?xE}}lq0;Xp9g<-4I^gyUaPD8jLw>w zs}HJRk7!R>A%&LM`Uys=;|CoKe~_jL!RR2z8d(?Pj(xf7c=!GdalY4h%&hm9!ETRA z8S0VdNvzjj$Mq_%8&CG@_*nkfXpJhu<&va-{@KFtE8ywY%7+XA(k1%DB@ z#^4ZMg;z8K>xwu&6qKOroOG>+UN%RjecZd4yPKI|!dNRB!7wz~{k8XK6;{Lrb19Vs z6L`s4CS{3_VxP8rtbs@q;Kj=my9#6LyL$s!qME>|skiU;5=Y#60JHvda9MUlSrNb>Khre7Qp3%Ej`r!6bpH7L+=+X~Q>wFZU-R)wwwq;GB<;<~>MN`A|$$Lrn}pNBSsMnyOj4ILx?*FiSn((j}1@ zEE29VG@uilO?2|EvccApO|Vt&(_dnSP+=wd`22j|X+Na!eI~aU7C1pHtJ%XuZw|z+ z@$-)7+W-NpoPJdt>&#N(QfBw<=1&v34`zzi5c^)!(e%Z_`bYUf9 zE#T%^WO!`Ki}~jO zW~;8Bbi2YTAjiXWbPiKs+z2uklj>|{Si&?oBkE;xzs$omkCM+iQuz=Px=ezVzW9l? zT+?)rND0wNR+dKuXDz0BunE@*%Z-+t`%lKA7t9e;NN8V@_q5EOv3*`WdjE9|xHZ1M(Cr6_&b)UWh-9446E5m%z7=|iC273}y zhD8RqTv#4{0Hg00Vac9noF;}4*lV{JQxnA)7FT?fwy_k;G^siTS|u0hY$oCnaa5;~D#dJwkUK>!>%}!H z*$oHAOsI(JlX^H^D29_XU8K+WYp5{Fmg$9mIiftnhz7Ii2o+JHuk z3PIkUhA8M=fl+Y$ea+dVFd;1^2?-20THc6FR3#Htf8!bz_0L+0xl6#`(w9S_A~&oQ zdtOM{|15l3#_%IertbZjZC($R90?;|x_R}hLHtiNy*^_p+s*2-EsMJyIyhe#Jn>ZQ zTt$o(vDaC?8twV)B}SzINsm~G9x$+ECsIHM#WoK)YP*jCZ)I&zqHLOtYCNhRQx3jlfNuJwf*B1Yz&K6*gyYKSV1y_mOp5^;>y9 zfL+Hs|BAKH5Wa5`7O0*bD2tXyQ^_mp_E%9zJ zG4ph<4>`FsLyjlRy%Zs&zs=uYr|YzUwx4ydCa1qqps5!U&@IHr7K*FOdi5_lcnA!( zfXu}MUtx0J_Q=v4ZUkpC2q#3F4cYvdVSQn@csoh@Z+?*`>o#33x-+h zRbMc?OfS{rxgQ>v4#;LHq#>dmc9EQ65GyAsE!c=VEdn6`Q-WqoKfmoojU;ENf*)&9 zVpZ0rZs$)#I9UosIs{G zZt>ZF#2ros&`?Z8s(jKeq_j61uGH->-J&*cR<^G6(_GRC+zzxWTcBMhO|7L~hbE_; zKp%ifEp|w6Ops75v@CS@PxozBtcWpQCX#EZPF>I}Y#G*|nE6@W>gM$ZAq-#hGts@^ z9d~`93na(kzlYhmhoq}^o62;Cec=}F@?%PuXdY%05c&wtYxwQcsYs zi(3cbXf4`XiPr5rfg^6jDW6s7KN~*K1-TBhgS#GN)df1iv@s){8{Jx>G5mlv;34@} z9ln!2 zYE|Io)+_{;fG|5<_TtLsh@;pCg{R0+QXD#g|Wo`Cu25PMPN2j)OW!#>pvN-xUmn~28M_5_ib+K{3;b27$(7Q+dIq#0pV z)@6{4>u`FC18U?RXhbR${#+=_l2~lkyg-uK+NDlUr1L&hTLBLQN~fF!Gn0z@1!tN? zrak*sXd%m;gLD^9;CWbCjk{f}eIbP)bRc3#cop+Dsk57imwh{z;xYi6V2$vnY7J*| zIPgw2j(DLPOYe{^u?n3?!ov#_|G!9xLNsL;hvyYmgl+&|%PC*zoqCrMG7+Z6X&38Y zBJK6s8phXqj1i_a@Z5WNMoOno_ZX4Zd{;gdiboQH>(jf6lp6-3waUvq`AM3EyY3Qh zAUw6~f31h_icq!t`w6f!rA_nJESzaz1&6As(i=XbivJ1Igc4r07+-_BDqAJHzi%wv z8Xxyd0Re`2`7h~+?NAGz!$I?1eQQ*C^pzyH3L253-7kC@3`=n9@SfL=yBdiS+Ys37 zW%pY9|6>1v+GLpqu~Np>h$ru^^=eD4y93L)x`H3R>|###1{J^>cmNep5;<4sumSUk zcV;>%!rM|qeD~j0f2#v+k(a3rU?;}8cE-ty_lLAU$j)Pw zhA~Q74UPV3?ZbFgGt;-&T_dI4C%1C3#{c+`kjBQTA^&zB`&-FRo@=#NsnAtMydKG? zH@tmv+3EE&Bc&;Xgkh{VG73E~G51BZ9jqV;bob~?4U!SxRMVz2H`U~4KJVwMl{cJuC&c!VM!dnmM9Ubn95oBEnsAlXGNmo&&S$ffxD1bkW?P%48_ zst!9`l|X<|^g$#VQW424ts>WbJ)Np(?#==_xa}_vqxoNmK9Xzi^eTU%$nC z{2%w10r$KacHMDTrBiO2jON)+YR8)PHfZm@Q42EO4wX5@JMe1?FHM*6J%9o|urS-K z3HZ`>)W1e<#Gs%rAd3Ex&E~;?ihP-z8g|zb)sIC+pLsFJl~9&QIUSlLLn4<6>#e@1 z@l*I#Q3ZCI9rh)V$y|cB@S40nbW*->CA8gsQS%ap37Qi{BIyE+iG5H9+jIVE1Ew0I zQ&Fa}%1hF9BTRqga{2dB6Cix2)br^=2R03>or+c!-#mq*A!DPM zImIJLS(^!gU!r zniE?GhQ4&tspWV&h3tu^-3=Vu)<>Jl2!&=+YSiR3~Jc=QzGxr#zx=A)knbSJaL zw|}_%VwL>Bq|9K~ndfE8{ju;YENPQXk8UpMrW+}aIWBc2Jp`ssb(dh<=%A$c08Y+$ zjR3i7$sU#nrWoSh3ScHaTZ4jDz02#M038-!dZsQmhy3CQczr8OWjDmaxw_7jHprP{ zj9HRiDSIf?Hd|^%3MJ_$huvLWxV=z%#Dxl)L(%Sg7M_xMYaYo6UHcPhxHs|V0M1IZgmDDC9PR*O(Y-ut>O)bOa;Gm z_D8K2B2t>&J=BYSrhx&pG{@Opgn7E%Y=FH$b*i1O9su{|>RAZ6RIL@e|OzJ zgS`32^YRo?NS7UnIJ!6Pc25vqU@Gcto!?1TSf8QpsX+TjN&thKy0LSYMd-qdgPg$* zc&O~*0|1rk1CL@BVV#-6acJZ_wdHHjxW2u*yS+L8i2wM`qV=yD>Q7M})^hDm=24lC znj?Kv3rKpx^a_O#*ZXv1u)(5MtL;lmhuywH)iiYveU+>rRIfQhaK;{f}(+l6}Kp(3WHp`EcPHt6K z=sDK*W2_ADIB3K;c-7!d8R+QDq6;QX{-)ca&D!Foi^EPNCS*jX&^X!^|H~nC0U69p z#!uV(O3u1rvz~R~OM|uj7TcTa%JthR#F&$Rhc;>jOq;(?=2Pt)+=aLJ%(gBuJ>DJ6 zfjlFwuRHgYLjY%$XjZ$a=@Ttm}(iytN(W>-`#C zxjm>C8n{HyhP{CmD5F===7h#(bC6_~z?xpKiujCWOqqq2qr6T_3%C7cx;^5$az}q~ zCbY+#A7-`Bc7-blUn*?PP0x1U%f(PQVQtd(eJ!J@le5(qo>zqmffF5o` zLht&fpeu`6cZAHh6r#McT{>8a1_6xr67Ej@S_nsVds-AcP!*LF4(HM(Q!-M_;zK)f zc_tA5MiL5!fUi+LSP54k@lTN?i0$3bA-9GdMn1$8$bty=9TLtdfyO5`2R}4DIxeDe z8YZtC88`>IJVg9bZx`^b*0Wg$kSBwbT2^Rrj7;Q1>?WpTz%Ws~zQVFU2c~V4?tpkGjXlrsixVAm zql@tSAcy{a%0*J(weksA+7W+#4u5ErE2(F>^9N`Ff_ zQZ^4#<+stX%~a2;eg3D|*%=`iQo)OxnbK{+T>K7fK4H&~Gtj5p_^We5vKOU6HIfa{ zw>gWyAGt`^`d%>pJ@CZz$|-rlN^bkA7V?zN`;EYqi_TMJ;Nh#A2){J)Jru%1*&K3qHqe7HW;u~Dj%xz?aE6~wHWG(i(hU{(+e^94E?+JdtaSLOk77C35}!r6he zof!G9-0U7OkBEl?drqd zYA;Mf^gIT1wH>lp(Napn7Ncp@4YHO>H#mSUJn&%;9R@QL15u4M^i4m*P3?jA-Ipri zO7|WeJ$&L<`<@!ZkbZ;eX4Hkh(Uo_y`JQZD-fzpi)vqcPaM>qtXe5l?L6?s#^D4}+*iu&P)+L|0;bjIb0 z5S~ITO;r>N=ar6So@r<&iA$!XXNJNWON|E&=trBu5nNfZD*EB|2BA9V9JG5LvGCC_ z#b(2*6G)z6hga{pHwLGs7j~(V@L|HD?s8iNVq|Z7nr0hj>lyl4ni6~0k|zR~IsWiO zr}RnLCQH?`Re!BpSi_EYX;Z}uW!JfJ>2w)Zy6uK7`K2B30qUt11Y^2_yXG z6l-PY6h9a(i1n5PEq1OqsSSah&TeJjd(^rfZ2}u+1JC9cbqQY$-r8(hJn_p?nl45* z2UVkImu?P~oTPN*zx;LS(U#rPsJv3C!MxF(7`n+IbJpfCUd5?v$OicLgEmEq;b})d z-~A)bTlwBo*1IBIB+;3Em+IiZYT)Pj@kwMGNYq&x6V@#@{kL;8La~4m4$fpUat;X$ zu2edDm>!J7Um$Z8Ixt>G0X1O$5=RAc-S1(Su6IX~7p z6wt`j$f5=YArWhtB+w{8+_Esh{#vOzpZ!XBHf^fOAMzje-4hS%G~x3({sHwwRGpW` z!IQYyuk^th%u_8@1{qIP241W4mDp*Uql2nVGhvz49DkBgi5{$*z(EqngJW{mYNeN0oN|Ol#nJ(DIH?5@|Q%5_4#)+S?@P zT@rgSp2jQW9~OY)xK^v%<7L@+-*1%DXCPR&!G4+Rb1P+=aB$bUJR|?)8RHW|Y}m&I zIj~u9H{k(?fdfif$FjO6^SyO@^+!qT29^c!i?b67HM4T8wG|L&m-T8ynY{B5=)g%}P&V6= zrRnqFvzXP<(y9*S3vvXHGK~q~$qcpVN6)0Z{Z7mTHJ3F}JY%I zNUm_i^h~>0YHY6K7Bfs}J~Iimqo{%fOOv%Is{^>JzkJpn%FP7S#N)6JU(`NBv}l}< zoB#AdBmn;y*OvzJR`3P%+l_kQiwzvnMEF`@NfRtyF&M}@**~6d5SXvziIW|~%uN#*;+Cc|4L$X{NFa3q{WKlONmF`uJ z6OZ}6i=;U>VTr$%OLhv>d9vw|bFgjJBXzb!{{U30Q&zawD|Sn={h~vXaOhg`zthk; z5oSYEt*h}79>VxvBXZ{JArcjb#Kvto8T7mxyV$kp)}ErhA>rvga)RS9scP|G0i{yf zjITBlYk8d9aor~%`vj8#v{)-2~_L5jP*{+-}Xb?{BH(xJ>obm@ma$*81x${+J-+2$+Tc7bj8a^{cF zRimYSlE$Ph{#O2L4GK=MsbV0LB^wXtgCO2=3b#mmYuoBVzzIVcQeuXt00%<&Qe)dg zoF6kcyi0%mQTrY=>gVVk$d@M;fQ@aV*!$^SE9?1jy}5SZMrO*gQ6I7Vm5jxSCkhH?RdEcEkKbj2os34gwmW~Q0I)5_Q z5LP3u&$V5*>ST+x5guGIF<;HVr$Fu!iL?soJ-4RA+&t-e-MH4QqVSFaA$5rN_h2Ez zv<~|oZwk9B)wTkKSc_kgy4^fNg_@_C>_keD`P|`NwaRn)T{W87npHmx&Q=;ImFsN{ zv*mWRy^vYG6WTZ88Tz|Nh02icuHi`>^ID&8Ds-6V4`55O-^V^Z?#-$ZkG2HC*HJK- zcQ*4qN#*DGPtJiEqj3^oYriAI=^Oir!@|F3tu8M3pqIEjx`k4{Q3RSKFH0cSIf6IT zpe*7~0%EgQ3v1iio>#IX(n(nN6A#rKdC^Or)Md4)F>Q#kpKeO08#?+b{P7p>P(al7 zl!OhFLQrWb#Wpe^QVm^lGK3s3XW#u;Vw2}V#hrmpf$;+lJI)r>~$BO3lq8dDS+3X4N+6JKkea?=$K>_j5l1tbR%9okxFD^|v`_(JC zZbDysWy35iC^4g$Rl_O5{8hQW?P_89;I7=3opXX3q>KxIu*R<%dzomOEOpDT1YGje zyU#(3**4qOzJ}Jv`Mb!|60U{L)WrMa7W(OWkN=|F)yiONw32WT-6mb5`n^da_0#_E zwNHz)igeC>#_c~Ejh$S-gknqa>lJ_VlpQ=3hicU3QNaNGl9KSL&P^fh8=;Vepxd+)>;=PP8INw$+nMHhDt7TG*IMt~@)46z2qzJGKX5ngc<{ zPU99=P2RI&pMRbBA{L!npCN2}cxRTF_;_z9QQx4qlu5;K<_>1AZZ77=_Wy$%O>E$J zxk*?^{s#yMz%k34J6O6|k+AWwll=eD2oL!o|zO@&C)|HJogNx3vL7Y4iE97QKykt# zjx-cO%P+ULqJu&~K{>!iL7_Oa zvVk73c9JcS#L&>S&)stnZ%Z09D9|C$4WksnCEOlzh${#daSe#xCGc-HaNm^3rHuE@+)!U3h|(S|85g#;H&62(+l^z7Aek$ zCmRl!C{I`5{tin!VL#Rh1mszz)qPR7@(ZX@`!qAz+5~_YGz0A$Xsl>t%dziyY7`jV zEd&xvba(6JfI=|^c|3Xx<@&}+cBh5=L`y$pkAXTfqs%iIccul%vQS_I3wb#15v zk_+tj0@$rA?Qz$2q;^~SfynzTTAt;d3x;rbWN*k8&=R2H5ESAPVI!c*S|CgCCdeNe zJL8*>Zva2c8)Omn-HW?uJBZ!<50OvfR^=z+Uv>Cv;BX?O+XY{}-~4y8n5Zxi^+BS_ zAhzX%2#Qa67gjhn@0M}BeiT#iMofV#L@*?GmoK+%V^-elBzuZG-v!^jhWT0Hg;AAA zw|P!z6=Ah;z^X);t9WThwh!<^s*c;ua+cm`L#;LFG_Z zpVlP1&x1ei;7?s^|16^oOv>Pc-vQ^gbzyl0d^eSM!=+b$MJjiuvLhR4g(Y)CZifu8 zh?|13)s|dTa3=L_;iUZP-k21HH$-*pP!K%GO)8XDX^_yLGaUt4$5{JbKIWHZ0jCC! zg6W62k1EYJ1@hG%}-~(zYf|@)OD8K;64qM?XXIk7^;ccg!*rb(pU6#PT zBZrhp+GtU%(#V7ZzeNv4e;91%i~UU9>d;IitWopX$dPl!O3)0?Wj-6vb;a8$Sid_{ zlF?;_cIZhRKiVg<;6V zZF6RU%^F)GUbGRLa<8C0yZp>EqDplZe53RDu^59DD+5ywCZ4{LniZ|b&n?XVGMZE` zpk4YlS&5uN1#<dZPFA)2Ja=0`;d= z^orS*oDwTFY(E79lPOjauYv)2G~8zZgVUT(y4Gq zh`Tf5z9Eq{rWA;j=lw0mK^p(it1JQQ65gp4k!1s>n!aa zmwb+;)!7e0m+i5?&r& z8Kr;rcfj9^E;Z|L&<3jF`Ue_)tql6~X3O_|U(2n~Q6&L06NuWZ{+Tvs)nO?fUJSh` zza`WIv80T`g@yk5nI{jmmESQ{SQ9pUzq9lyUpwGrADA2f@pN%huG0uTs4&(EAtf}j zqVCZ%Dd7GcVY}Ut=`K}bxH*kblf8P(Q1`87;K**QmDiv?HHd1Zk2!OPUv;v~T%kBU zTaU5|-Mefl;fyG*|J(U+^q8WUn6N$mR>RSR9x6{?6A{;#(4~M#EIdfWb@XWYAg?H= zDP8D}IqO{x_=(;{mSZ2SHh4I%iviCvz@2S3uiK)3m*1ei7eCI22yR_a7 zxLH-uTjCzge%{M%>vDzI-^{TO@wHQ^2^;MARnKoGPJTMrGl zefcY=6~4os%5b`baEK7U6e?AW$9-c}?C0D=jQ3qXRZVU;AfR@r7Sl^5Xl#d+pjqiP z0@!#>ixYi<2enV87-SKzHo1Dd2K1!TX(+{N_VN%>sR_!V%KssnwabdXj2EEm!k^|F zPugy~Hs5}xSmJmEHI^|%BG}Jn=M~-TLHatmAA(3z#=IHN-ImjV9U4m==qr0QIfjnU zedyh+u~P(F@50C32%#!8pA50Xh_bOH10Xhk!=dcle#krI|EPVDLC{cvLZk4p7zvlV zXfS?@DpQ=wP04Dmh|!0;>w}xr>K@99N^I6FBBybZ z7DH~F;AB1-;DFHE^#(4FNS=3NtkkYpI&?x3+!@gRXGma#%BzP&FW5Na>sXOC6-Y1m zD^qY0h-kW_GcL7Les0l-jmU-Y;S4q|Z-2N6*Yx*IsHjF;)#Mca9fxY@$#?CxS|jf- zglHIQy1}W`%~b-nv&n6$XcRH9eP(V#TZ;1DExAp@Tk-KLp%g1i{?xh9(WUtTav zd+jzhTUm`YNg@V9w!QavY^g4~MPLWdM4sunbtVBsSl1#%|E;~nCg55VMAPYVUZ0!w z8EW3bS=5)qFhL!`pahY%EF=H*BW}Gd^rEHv(efHjSRvy`->6M~4u)Aijzoid%G3gR zRS}$s@I@(!#RzU)+A}d-itc#eOc_fPH5HN@w7|ZfyJJ2oB99#GK7>>D+3C{j9K0oM`hm+>4upB#6nR zfU*5}?m*2kEUU^x@Yx6j#^-g1;~9IvXgc_ zV1!GT+S0uEsqA_=yj4RNbMWj3xAbymud^>~t{q&1#=8gF&`V(P%Jk3SPPquvFbT~! zIZ5?_E6c6h4@~0K&Lw;^QW{r!Nb%5Ez=gdkhP7&3Ai`w1 zD7H0TrP0)-i2JU5LybraO?01%afagi!wvONv>%fntNbU)V+CYYx@bvU#VTm~1weUb92=$@I{w#p!`Si) zYiNZQs#@=y`{bY^dA%ZdjMEZG%c&2UGfIH$H~o|&(&#vxvqhI3Gl2#hpM;;WVKT>} z5ccQP^be}QA?E$ba9y1KfC@TfkL8%@gEyfo?9(qdyQ6oXuILm^^_9P%#D(o{CKgZI!l18@91nhS#P63Z9br|2ZzHKd z6_ia!Cd%HZd;4uucirUF#EztCC02?U9f45h&T1!wwEvn-T#S}4BA;p`qi+mJ-ZQ+-kfnr#g z<A8ei*F2MBDW5IqQ*Y%GSqr!C&Y_p?{2tN?rW;8G^Oijsx3ey${UyDfpJR^i3nbrW*#wR zWcQf|tUTM6r|BX)DEym4Z@8*qYik4N^O5r@2LEj#(7?>$472Xu_~JKXRIJ~oyXzn` z^gCzAaoyGD0AWPc_a7;uEj&7b&}0Akehw;EQ>MXKJd2KyF0SN9`h~wb9=;#cg8<-z ze6jxj3i+z2xPvEa1`iUP1a}Al0yDSZ*?RjEWAJ9y zvu28f}{t2=qnmm;$mCb{Z z_Z?#}SJ(8gJeQluxDunp$%4O*SzF8-@!5Rz`IX$wEv-kP`v$R4cAK&IjQU>ZJ@QXg zrhP+FzpPLJ61x{f8L>qP1~VZ~>3^yMcw?N?A?(X9M)A-v)#8rFrRY z$a!e&n{Jv%g@X*Ytcd`ltS4llRB2i+xAn!71}nF#oL1P!3CGRt{m zD+kE%X@6T#rsmV)iRqav;tT1px+$`Vl4X}k*-CkA+`1YW?H+~b(_YNJYqM%Q39V2O z=ly9PZP^)9iMiQxdC4f2+Ky_N-_G6Wl{?R ze4hwd_NTuRG@mhWkhLTzEH4`wd+U@KL)Ly+x4r0tH@j z$ebun2hv!12pP8MM7)T?(Y}F$X}J&8BA^qI3Ri=sUq$1ldI(AmSQt8l0s-Wnjj@&E z)w$8;34Jw&nXEqXfgvLb=kB_Xn+JVGs$>8kz0+eyZxGA6NSj;AYy0Kdg(OkYugw6e zU01N7B&T#(fvvaN72YKxxVZJ#GDSj~kUGMOuUkb$RK2;?wwCL01Ls50QfNkd>l0*q zplRLw*sZxfx2z3O&@;ELov_f>549XPG_L$oL}%fmQ0Yd;)8>He&8%-Uru9VuQUJgp zvmzTaeO7T?uRVdWo&?m5pZZ_vl8Ym#HC2Zlj`k58p8kY%^9>w46m;YBJ$;I%S$Wy* zV)hVuPOIH0t)wRSlM8NN=$C`G%CQo@TTd{$mi2zDHL91CH@MB6aA{?R4wjN0t#M;v z3aJ;kuA?j*ORSBZanUi<_Xf7nHUL+r9G-8X!5AL#n4XG@u)mBYhzVRPLbLN{NDQK zHHZ@H^gRDeWJ-z&$(&vI$AR=Nqb;%8mzlM{mY+UasCRkar;9cveE2mpEAXqWpo^8S zH1amymrVaQ?Znpft_gX;niE)&AA!a17-;m$ewO2{n#^n@#brOsfL9#g`>jbt>U!rY zF3ai&j{2>xt~*z)8@G5}9ub%83D3FX=ejMSbIDVF@#Q!(zMPGJD|Pz4= zB`n#Ni{VILcd?c%S)MV~$L=#Cs=&Cw!e-M8ft8_J?oQ>ze)DrMRYIeJ%-Qf%_+Z9y zDM)LN8c_qG#B!khXd{HIjvw|kar*NXd>s!_>^Y(-7m>;))D{3v^VD3J?TLqAH{j$# zsuUg;ak&nJY!tWiTt7~&l9mWbH1OgAGKthwcAn@TwZ3y3G)%=K(>4-&MfakR7?G78 zIGgV1rwt6vu<<22W zqjO5;)w8P=#_IH};AgIo)r?V|tMkw`&S;p#N0TO>Js2FMMorjUN^B+ynTS-nwYzca zDppuc5fO6|C$aa9akHu3Z&j(ex$CaTB;WofS;N2}-nRkvj4?~~g=TW9Mp1+i?fOQ# z5%Q&Wl0;CYM}uat#ZkX6$k^E(2|Pw~J3nkBEwf!-$QpPTUmm{vDjK9-#P|65F4^*9nN?T6 zMvR48Da`?FquujlXoCq4C=c5!!(?gSl+sI_3b;ue*|bRf`zPO4NW40icjDAGE^8Vt z!sg-ry(PeZ?H?ydz6CIkh~|ZOzxnZzwD+Q%JF#v{iFcn$iOi zm)PJOvGv>(#r(M?t1BgE;DjFYl2s1nu!mElxD0rU_;o(85ZhAddyFV>j{5oft0nBf zr#bAdD#Y=o=I4b|#O{Fu+-6eu@80ZM1^1YSYDJwG0rX#&u6i}?MW1?`&@*rh+IbqC zVs)fX_h?lrs#yD>3u-S}Dq_R(wT@p;*$>2KL*9HMb0DK(k^IIhMfzQKCjqoOT$q3w zW26TZf5DBgpDE|t?rE63>@obX8KQc9E_~@|93R}M%YG%j^1Kvw>PNUhW3oSfKz4Ef z%Wg(q48ycV_>!ZSQOG57|IO}A6#K!glAfAF@goB5aSV%JzN3;)|!8`zutRaD3=IUH%n8noZ+ z)%*5cMV_wVw^b*eNRrhNpIj>%W}LbFR?*usHZ8^@NBg(gg%p-hF|fpN<<$^v&i6Y8 z;Fui0;kd7rwyR<9!D#0VVP zRkD3BR(B=mjhgF?Cn;yWE@XJb|M&$LxcM~SzdG;RS#bg)V%SRBD-y|KL8wz&{c?8t zkTM#~f-8H5nRX&UX0}JcXPVL+dq?Da-!`$a>jQrE*N%i)*Qx6jx|`_teQUE*lIl26 zDrmd8JSeRa{_~6}-8}onX8MCOcg1zmS?@obJu%kCGzvcisQt?eoK==j*6UOdDqar4 zhK90(2y1e-Wl5n1o*=>ocm&XQHt2W`2oLJ$2|{ehUhQJh0H~uD|je-)9YEQa*$+$*Kg1wJT#>Lb?cQ=AwW~dKp4=k zb)b$0jcO1I0+hG~#DLAi_P?`1b~YZ!e`bRp0d2L#enP*Sirv1v0_Bs%vT60I;5ToK zodZfSuzFEXG3R>-iQ)`__NgSZ0rYu1@&a7DvZ=!Mn#`nFdA6Ziqi7i_Z8KH5B`_Vc zeKI6arn~k+-peA`1j5EdrxvHp#4iipVNpx+Oxe^L&nWH>yy@W}9;mgL*f8msHDYuG za7Eb2eyPI?RHZ>mOgnUR2QbP=NZH}c0y^O0I8(IYoVtvh^y*9rFJYia3&><6$U>~h zefzK2Ug!>D%n5+^Zo0do*DH0o=0Zwz2ahpKR;8%2?E0#3* z@7q0fa1!U)HTu|!lA?3F))fAeB3%2-WHK(GjV z;S5C9U~mbvP!~jugS#wsskp^A&g>t!tATfG_g4-M^{ z1dFdq<917s8AC-}4O)yIf1G^=Li)sd-REnZU`+SjBJ`OxE5M1sgPeD0_X}O{eD0LL zB2v1fEAixBnxebw{*1%J)neyGenioogu&!qhGK*3;6Wm8cdD0d_y(&nqW)H(+wtgr zKA}vlTFt?XT%_eVH(_|WQztBTD+lKw$cL}ct@@ODT{_p zty+ud1X^yOwTe!dsE~N0rLb)!R3+HkS^8QNb{U&Iz zk=|gOIp>*FB9ht{iF$Q{lkNd>q%$7R=|VbP>=&!`i<$>@P_oZSFs1P>)NlQ__U$}$ z+pGqzw`VbnX=m=sLoGmeLue2+1-|LD6!qb0w~s&z$<;adiokl)&JT8Ck9o2X*5Mz& ztDeJmX5P-z^Quj#1E$o@ z-G?%Ir8}m!z6K>}3@6!BFC=~y6?65`)NU-J<~IWZ?c7qlTLn&KVuID@7ImOoq+zjYzv^LB3Nh z5qiKe*hL+-)P!L3XpO;5Jq`k0QV0TY|A>@sPB@{NeK#zSQqj45b+reX{3)GY zM|3r+B=>dA5*~PNMJuL7C>1Y>3ea*QP(9RyRA{b$%pV&6DJYFr2o5J+7&djOf~Uj4 zrobu5bImJ8c~h6*sBt;)D?491Y*r_ci1ka(Ul^UsJV~i&gs(RJ)7STvEB)$ev3BqF zICyVA!HksH2U=@uoHVEl$^uG`1?{k8sg-m?1_X~{?F0cLoy#qRdb;`0q?_<-?5)=9 zC!}QrRDhfKI@(#BruuR8(?;K&FF4i9auUF<*;@&9n|x9KB2-RV$ub$%>{WxC%uan_ zOebs3j{dzuIJ^u%jwlr_rg4_gio!qOH~m7DC}J^skSMJ`Y&G`>tr(N&{I6^tvPsxX zmt(hzFHoUW3^0!GrsWwXyiPJ*#X@AahqEVzv zt5)qx>AQ&SfO;Dh&OR3M{jYE95K;Fe#O>=ZTNy4c&E?({F=otSitc0GZb!VcMrupG z*Y@jKp*Ws6J1qHN-}kciSZ!#weBf8Xf1CWmGt>@P+N9zIj?eYX5wWekdx$b?<#AdUee}{Yo10OEo=58Y_M+xZ>o`#giWeJ8~guAD|QlYvRf)(b1u6iW*hqO zoGNga2d!i9d%Bcc>m|F%3Zr}ajAm|@b^X*A%C%C_d1HfC9Y#t@xx_PM=E&Z*>Y`HL z6uCH0X}f}=kkOG<0=$^na9iQbu~Tk&z7qgx*{gZ(FnYeQ{Wu*d{Cr`2LQE*Vxhd@j zQ6oH7uLDY^Ny~$@>2yV8g>LW?R_9?_bPwP*p79W^gfq6U#7QnEAwgc zQgr1oxaYpB{}?op;HTe*x{zj4*urI=>&;hkCMhq!mD|X8_eB7eM&Bt|qB5$ErS~gKD>Sm`?+-m@PKyv=_K9$c}heiAQrNT{sU-wT;IdyzS91d+oJZm}73^lc& z$JZ@JU+A#65R;H$su(s^XQlJ3+^!4-c z5Hyo&da>19)EX&!S4!9zekK$smj9Gep!{h!L@UmK>+ipx1-Qe%^8?-Ph)&L6r`rWX zE`FV?Ql1U{QY~W@cbF8XRD~H<9-~q|!{~lr;P08Q1%>!!U6y zIf)AK*3rI=dM$ghs(PVg2a2`;tnmo0jODw^Ea9ByD3W^&EFXd*^sB!|lSk%V1e`;IWQ*YOY&EyL9aCu96aZAhu!+ z&cGUN-uPXOsCNoPJiBX|cyP=1Hr_jVCt?}JzbKSVN_CMce(W(xO{jYzdHKf8top*< zl&WK!2B6G2y=25xSf7=Y;{#anEHCsn=b0Bo+7-}P!xQqSn{N2rIHV*ZLPj0WkAlv# zmFmJIA^Clhmj?^G4d~5pYG`?2`Hs6>%#u`2$vPz>`6mDpUk0-9;?q?i$BXkgNyZHd zv}3uwvA;7?XgXcm&>Jb`NOB%bmYSq%bvQUfsl8{KKbC;XfJ`r@_>qNKpvvvMYSV52 zD^5yY0OF}N3A*OQ>l1%J5(+wZV#n1|zUcJ7oOSHJ(__D~kp(NbB?_`#^+W`%KHUxYNQWwKti?}EKFZZWSixg4l=Red3Z_ML!oh+%%%`#VMD^jM78v*NIwBU@h;ROSCV43JVyCIq6ed z5{zVhFloZSFtk4NNP&f|?U+29?r(5JR;)i`Sy*qK`S7$zRAN_am5Ears&;Y!4>w1j z!tbOIV5%7~EETJJ&Eb;8n=_C3Z%+TBE2^|)n{bClEHrwmUThTjVdsy|BV}skwv#cl z5nnZ!6BVlq zlRzl``#9hk>h7$NHDYoB*~E1KtuL>&8I66loiM|V!2(8!onhb~4@xYwjx0&HN&J4l~97#c*Mt7U#$dWwOp7JL) zPUpldn(HsM4r(Iyo#G(7zEZbw6Wls(KXL^J&!V~IQFp?7$S63;fhmBdoJLw7F>t02 zLek{9K|iH7?)ThS*Xe3I9K4;cQQ)l*4QeH}P+Z>dn4X+y69V}lk51lkeYtCR{Mm5R z>4_B6!1k zz-du@`)_8|_O6B0L#GeisC|5(ykfAQRj}1&W-{cf8$Op{s3K&eVM6GBM!>@}IY{zr zPQNw~AhpTw>`e4wSf%T0%NaWPIva3~;EiFq`6H$-Vahqu#R;&9-s7|9LC(DA9`lfK zyA3Hh1S)D?S_htQ%&*%ks$W`1o^L)qtjsOEh*-R!BtB8NUIT0kFWJM-SX2+6ITl`` z25LCA>?Hqex&A&IBg2|FTG$<(N-)6pD%;KPAOT07U1yP9qa5aZ_Igus@~O?wHv9#o z?7Jub-!fmQR5=I}o&(ZgSO=Oy0C7O6e!r$iaz99_A*u-!1&;vc;E2V+Ye?w_&A@{= z{{w@DK(p{5E~w5ZD3}4l#R*|zV`pGvV_-yMRd6s9H+D6r{2f>O=IG`^6r!$6-i;?C;z|^S?07FqKEXib(x{+o!w3#pb^e3tLw= z%+9lx1v9RZ3RTP}m^0%= z2CZK3VluwEgM|C_+sUPO zARfVxjUWr~*v&#)TiAg`wcb!W zJ@b=6bk^Lo4_3nx>UcY8`W;Kn^2|)>80Z`lF8-C46~<-AE0zcn ztw)&XPv4wxjPDK*4X~Uijk3ux%={`CnogEiPJ5Z0g>m*#kH}1aFsifen z!paW_Uhu{~IXmU3MB{3t<$bH<)AL?B{_Tnj-=V&6hq4oE5`BID?hhW1JJXmi?BhA_pqm_E%}~MbJ9B~MR5WoCa(Xjz&Zu7q zsO1+-ro135{&VxSTey42%(1LVi~FYP6blFf#eDEb1v$9Yzg9!4#n`mN>(nXKKn+i z&0O<&jDF#SwG)208*TF<0m0>)>rf@?cV$G1toO263DBcQzARBXyAdJnHX8J zVh9|fc(uYzwG(5+t|F|iB?+Ik%1FGjuz-7GIAr6uAx7`pI#7MStGrh$)~nQ9Q4a}9 z>ebM6XI3aGb6&z(snnHYFKMDlve4)&XL(Xy_DJr@ENPzc zW4qB5d}tRyX%`Fy1pBx%rjW;;l6R;_T|AGQgf1Un#1Q)A`RKdAIMKY0!vP!DWcUpy ojlO+H%@{MyEbZ4|+Oc~XX>RDs42TQ^!o$hIi$+H$p(Kg+UlcGZ!~g&Q delta 16207 zcmaibQ*_@!*KYo?tu}6w#(qyj4rv`Lx2T zyv%*N23(WNbfgLzrK=^bHmSP#H^EF{?SjJ~A+K4~>LPj`px4ZPdDTQ(db5Hq#O zLxvD-EK4%<`I2(!z}t9xFmPG1I!E+A{T?uOdfa>$JN-A9G`G zeNXR0Bc+E*w%cg*+GzmSVZ9&I9nQla=|8!$XwTEI5~a&|e#!R0wS5mtw-ume|1jqR z)T^35o>N;t^)>`HCgVr$v^w%i>kn<*?YiJ_cArxbq)KRjKfVsV2ls$k(GhQtyLt`% zroG-bCC0d(-)7CXz?X}o!0uBx zuvA;MCzSdJ-mJ+FF){$DhGC0D_xi|cILqOV2|oXA{be%raBqGeU(Da>OlYqc+I@;> zl92EUo1?yp0?}-~nNa<8q5ArYtf9?{6~YTe+1L)ZoRRps1JuRZ!-*)G`713QBc*Gs zmeq)Wtee^(`1B!{yeDcx{8slx?3eaZy&R9QGML{}}Avli~y5@^2J=$IHzhU(G34weA`P zbgbVorb>EW@V|~z7fqwwO+^xslbwC%g&`=WcD|9mz$f`V1+8iyJ;Zl%`Qcpp{s_A) z9eY*;Tf%HPnQ-dLmm69r)ZQDu9G`M=@KwI-(@Q{aYMI3>b3^s$Q(4DN!W|8<%zCVp zqkhu+Zi5J5*kC)72s@rq1^e6|(h_W`)8NDl3f(f@nJ<&+!?SxIFO~yuoy8rDl1fop)iTwO72)pp8!wp<%^Nqh zx`CJ;hDAUMm%~k_L=4)#ix9xuz%_&YnK@~=vmXkqKK2h0f&bX-HUlr!vn8Bm7r1_# zeG)D(oyCZepe!}u=R1!|QE7oG5NTQLcK))}7NzU8R?}Ic)2&-+HlB&1D*@KMKHQ~6 z!{8}1Af@A%DdlAZ{{i`udXp4`MUU&ihwH#mo!*po0gLLkj4knP-t@IS??(bQTWw&k zK;I&O>@LRT_c_rM3oVcnzSF3uXV0Z0(#@QfAy<|!@R?(Q;%!YGN`ZaN9IbvsBKkQX z6uyYKhX>Wbk)34J%HluVaMdti(2#u=OiJ?`THj$4vgA3@XS(Ax(>_=l>;?9~7gkT~=>+zKoy#$WQAl-BoN#Y(kKi=bW53J=TDq5V zb_*z1ffIl0J5EM*RkD1c@@F^EAEyMGKxA>1)E~zie7Sl1;Fo?=NYKq!=Etl3zk05D zt{k5YPr8~~5$dC3m3wBS=;s&@Co3v)t6B8a5C<^xw&5H$6laMb9)lc)@dqA3H^Id7 z3?!)W^Pj#Dw-krC{9RqIXX`)p%)%;E#N$%WGt+wpk}~-?{S5_DYgil$ z!<>fjhzFB`S`vyS{vMv4b#FP7bQPhx2k4VSJi)ww!{^^;`FygvihAqbei7K2_5nF6 ze|79DyG*+xFkv=u*iGH!JRCck$-%m2X4NMxxr`+(aw8d_rqKyxJ-jJ9L8OWy4RuI5n4bil$(2KUuScr8fVB$|Bak(6Ok5~ZBmLO}3 zFoO)qdT0eO6fGEt9S39ekb;EGZzjI3MtW94|Hh3})1aRcww4DNjm5*{(8k5JG2cyP zZxt7JEi2($^L99_>co+wTHwJIw||Bx$BULIpiHOlEkN1LYMI$F(ueO7X0Vv7vHFMm z*6&eG+|a@9&j1L!<`mN02DFp);8o7W`9TJW4Z(6dH``*QS-}Y-R6zuCdJCrkP6}h~ zF+52zoH5#gidcXw{xHD=#-)*qTXwqydi72j0>U06x@k%xR~2h~%aTwT_Fhkv*4V5l z@l-!G4H}bXGP47=n#VBH&{^3rEDDBUrh5$22F8!VuH``MftgdZQ(Of0{x$S_sp8*x z`rNV@RzfxutTv>C#|Ft*vA9)Ix10zS9dEcsE(1PACCY#>s{@fynfS)=YZtOGnn-aG zEv8Yg=@-omsZ7wA=nVBGFD#UQ+Ox``c0$;l!q|`sliUN-qDI&u!7tq3q}7SbpwhH;pIxWRk*e1oI5cx&4 zA=s3-Xg&Z~vI=2Q9J36;Ew!AqCp7f1V-~wef!RbA5h%ga zyl-1ZV%kWsH3!xI6DCUA{IR;*qe?u)svU%ID&~=fTD%K9HwEcj&TY?K`aLKQokaqa zJ8d};epk|D6RWuv|02)EYzn5y7Nl#RLwX&AOk^Wi<=xWS7=tqy=z4rGnsJmEsl(2!;046~XnjW3MxC zYT|&8x%=qMcRgc_77FT+S6!3{k`P}NCe{;|8eGGcAA>VsrvHRAc`OJ9n*S^yJll7r zMJni<8EXsx1Rao${UQ8MO+(z^d9*=$WHk>M?xC|Vh$?l8BI`ZDVTD-EnFk+&1tG+T zGVZeL%RJ0($=%zQD${ zMN0Rs-ZSw3l(6U45ui`)8bH<_E=PPOI-~2k6hv~H?d>Iv;)(9=PT#IfX>Na&Yj0C- ziTm*td7`{*t%elq*!CNPo|rrz3KbdSgwkbk9O4SMB>-y-Jh{8!P~&WTc5ER1pro*` zZ|f$q#Dlc#Mawh$tC)|G2Q-t%B6e;TUVCeox= zdUm)I)xWunrGL`@KwZYCG8`IDyG^o%O|*bBYW4B%5n=nwxc+RF1^nG2YAGOdzv(~z z9Hdr%PI~-VL~>AiqcUym{&xPdK4^Vvm*>9IeNMfl%{P(y+42{6Y)D~d-7jl7-1j7( zhv2Zaj?Nqh77N3I>4leUvJ-YttD2vW-j|TtJX@tUxHW*TM4sGjH9zKk;tJ;|4#`;4RM-X$DTk`2VB#+-#KcXkobqJ8r4 zWa)NF$6F2H@M+&U3z<^N{rNY@ac=C?4W~@N%NWR%4jz0z$v5_=*x1~JSNuDO29xPf zw(GCV?T(5zzz25l$GS&mcv9CQxs)}@i#19r?PBb>-@qKnz_XCg8cq|ejg^5d7BY6_oS8pB5ivL{N_i7d4OziIGO2Gq9)~{usP++FD zpU;Uj6fDR5K8K!Kp_<4s5Di|wf_dduR`EJ}dn%G=HgJC@@*R+Xy}9)7*U~3tgv%iK zaYV!T^Wz?l9hehFJUUU2js8}y>}e;X3$uEk_I?5{y~$^KQZRG3=*{~*H>Zvpn22_ZW{zn->uYy^x9RC|4B3A!LK}hD= zDU-c&R3fFl@*t&HRF8VqEA*mRQrTX~Z`p$uxD3Y?So`%sg;mzuE9CkG4cG%0m8c#n z?g-45av+BuzEd~T&_xnKTa_sTLS)A10bg#1x_2nqWdv6WxlM`XIM&H1auKR_CJOtx z(%uBM+#8&>yGptCwhIfDI5C1X2vCCJNe@4UvfT2P=L5gQX0bbMmUNI3ufa0*+1LT(#sv&srdT<_9 zMB@Pjb?>H_e0wi2)#ICJn*#lU-zSj`MzZ(+^zZD#_5UpUJ^dhhdg&B3M^00#GN>T7 zk>^4#4x+;P6}g&z5(ecEutLzRwSqN3wIsgZ=Q`Aft4~g&`bE;nUn^IL|n)}MUcb8ZBXz%y9NaXF4ch~m$ni$Nk(sP z44(ISYOzem4hP3MVjjykA4LAw7O`l1?T11FCTQ?Z4_j+vBXs3dR$vqD>fXr)@X|82 zc4fg}g0M!O%7cUc)P8^>OQue1jT(%orCPkwiw35?kR7<{84MW9Auf0b#B2vvK<`Lo4-K@B|rxx`GlZ|Qv zqqV(j8N#h}U+duNx58c2sCCtzX+dFS^j-)cBCoQ6)bqGO5QqhJ^$&#D@4ytrm|qNM zMv*pvz7{vON_nG)$+igimiL0|qksBZy=Mj=rG`;fG%{=Cf0P#A9!%|mkL1v#W^>PG zyYNkZVfh~%K0zRzgEQYqFIKn^p~H`|GsX+6-N*q2`GutiAHoI~#Ozd$|5&9ZrCL!H z?rhhvV*{Sw##Cx?4y{k;RMCJ@+u8^Q;k4Y3pT-m75!A}W11QdZpCAz7i*G%Di_$7$ zZW2GP(6c*2fl&*2#OKF$&f)r1wXn5O9%HXNy!$-3V%HOzo6c8}+~|f-E96C?kFezm z5!czA?ZdJpa%L*1M81m8_cA4hR?5BiC~qF|u)H!4?l z$$*yMr3Npw7GQYm87F)u=a?BV0Z0?6R}!A}7&0v=t6S5a@VbTl!GGhA#Ol(|{nN|& zH(?q#jQt+60gB>#?zfje7i6QIMTI)_^RB7GtgU3(bJ&T0H(bXR6N;p*5x1*sa>*?M9r(_Z^4=g+rHslkM+Q}rpP)P2%Tz>LOIi`|Qg#!4Jr%q()w@+{P!ft;(Y>x^| zG)b>=bBfroU6F=S9+3TOg!fh>|50nMO~{f#e=Yroe`}aKGr&bla{2JEP8LO!9B)jL zpdnpn*Lr0uFkd46>!PD zgNj&2?*upq4mpU92kg#1YH)78k0I{PlyqNd4g{jqBZvtDe@Xqd5r$))N9YStGTLdz3(G|=%*4w8)0`^%+tnd3SF5z>} zeq%F_+V{`(`$BkucI?m4Vv(;mhQT0Ar%(uAE+S&JF_k#DQ_b?d~W%2`$c%iAkb|tK6nS-ImLf# zd&{y{8nMW>@l0&FSiIuJr%UPF61`(R=;(T9+HbSS>L~6y(Dbm)Ra#dZbF?+v4r?OV zZ}f=&fFMYz>ibmUFX{2Q>iKC4!a1h=?FPVY;PBi|KL>opXXYn#&#^7)VBLq@3*<3z z*707Q*M$$;k6EDZy~#Cjq0lywC_jsYL$!c@CHK!%72RRgsuWuR`|h4UREBxv&)V-l zeI^-|Yg=2!q$ZQ_S9f|fR)x$JdHdM^bnxh0ZQz7Re-UiP32hL26GkDG=;P+n3H-hPKkN-Q&E4w2h@IpTS)h^>+tWvFkWkWRGNppbZ`ZA$c?BE%#+ zJN7OC23CQMlpGFO?xHSjQ^HZ!`GRc(^{Fk@a6<`8tE`osWaUx)E7*?C{bAU{s7VMo z!T9|-uCld5nmlYpft;%6)Pd|x!Tm+`3x|>Ta!D6dZv1nK%_gnE!2S_pfsA(2Oi#v_ zqsMhVreaw?W5Xd%(IuJXNq8mXxpDO8m!Kx!+JEjT*PE@@7}4n^b9J|u5P_LTp>m_| zL*L9)!~TJ2A0xQY*uyvBaF}s8!Ph5NK%1O}X1BtUl7ziI*Y5aSC!zln)TQ#52HwQh z*vZ+^#K7i1l3k+57aS;7P8R0>c@7!W(TZK?O!1wrVXS3fkK2oI`{nOjMz(m8aVhDU zcs6cm>gQmsI<`*Fb1BWds@HvdV>*^%Jxb=PH^TOnx^u* z=1hEuX8=(d1(gK(PC%Y0cm(h(Ve#X|sPnd1U`0tuNr4AFPZsBRzI`jS0J zmT^N_RkY&q5;nKbSM6!nhmEg)Y`Zh7)-8jrq~Kkk{(kaWP?Nx@o}Op$=fZT5j;{8s zftjH;vPUHeQcr#{h*|~OcFc@(V`xWMv04^6ajC0dt|M9VTx9 zOwSW4G7Uu8HR4d-F;C!5qkBrVKH}=UMllZO3AGqeNrf|MKz&5?4o=d4 ztj3B;l^g@FjuS5BqQSKkCatCxYH*AmL%K{+gO*^Z0-%pH?2;iCBr8CkYMSu4YPYoe zmC)t_4knb$7*LEdth3iYVLwg!im+19)_mTQGM3e$wK!E7C%Eeluk`9)>(h--7gqI8 zu%i`}&R9`OdOlCSg~BM4Gr#_cqk;G~CPPHBHR41)?sqDtjWi=oO0Nq4%_RoyCqz@} z)EolR2q2m&d!v@#X`4NYL@nJ+Rz}NS96J^w+)OQs9lj+aq9=BM>q%vPf#B;g#|U9) zZ~AXt%~C*^Ypn29<`B+}di2vbyadS(l!7D~WmTd;pcRb$;dszkOe2K+t8+d0sZsrF zoG+y_je$d}DcC7bDmg<9NI2iYGmxqt61J%ysFk4-gKXe)z2N)x{QS5m?^gZvp8eM+ z?Zi-9WZY=Vbl#@3F*Nr~wKILK7>d(J+wP)w_`#Pgw@-`3>}v7K%Bw9f3%f#Iy{g4q zaey5Ss%AF?p|8wY_}Po(6tV+3Ly^fW1a*Jee8`PGRje2D8Qi>eL-?9OYk*l^MxZ(# zkWEo?5BCzmDG{_E-}h|QE^O87S8j*n^RqR3h}Mwnn)NFXLMN$3tLC%z zmy9|OpQG{dona#k8F=H^>T`4HVBL@iz`b?xlSbLLLwA+P3caN5$(H^rE^h!6vNF4m z*7Q*eHa7xM`Z0IjWZ z!*-L&q1fC~_Eu3Z_!@YZc6sE`Oab;(Q`0SLZR9DBc4w=GR@=4C-_m@wmu4+!%b=Tp zmxS5`u?C}zm}3$x-t|@5+gjbrTqL(<_p3vMg)O^Fq#H4QdbJRjtFhPF(n?!y3l6;& ziWUVU1s6pKe<5uvZQ9@x@Hj=llHCWPa?4JyEpb}EVm1s+`mw$A!Sq%DdV7;`Q{<@R z)*tV^kPgyY^I8_6IC@aK{MP%`rr_YYxbw`tWLWR~6{X&?Gh_V`<{IhOI>ow}_2n<4 zI^nm&=h~GBM%UlT4PT75f@nFHG|TWb!fr1tI;(!N+q5}w*qlvgdRi?4zV=a%{+IV( zERi)KQhWDJ|61n?&l{f9G7~9VzIkxhe{TxvghlSEHsrqwHtM(D*X`R?+=xUC>Px%L zlE#QqNopGIg!QXJ-_!jT*bbo=L>-;{g}Nt@B3U0O$d<7@<8-(Ar19?m!Ev83-9HfA=R-H1DPx8cW~l|;(h_DFxJOz& z7&j07g9C>C;eC}KM*12X|7Ok$(Xi|;f0B3We6rJLbizV#j~IqUs#4o!$4SXcz(vU` z)}^~Ef@G;`){D{UuISH38`?)jIu~m7%QmUFQolr?XypMA_GPm1eqAF12E3^ z2kyUkP(XNk4EuE+WJlp2Y~pZ_@DQwx^MqWHUK<|}U*o<^5c5J5To*l69tCzK<_99g z=GVCWN4Z4`hB<9cO_3kSI8!ub=0w;(T`hSb@-B-wZs^_SSax15nz}~hcDUknh&ug& zjl$R*&{}Li-i+DME*Eh&%(cd}?(UbkP8d64y~AD@y!nC&aPz6qvUVQIQgKKbQnHD4 z1;@S>iv^0qeZ6a@i^Mw43k>?VT6u}Eetwd{5T8C5x1RmyZ=6oQP29yX-%bPPcL*vt z$&@TFMZOiQ@qeJwuf<7pV26qtM!-z~eSyK@fqe?hh_sP`q&C&(0^Ei3C3uKX*&DFM z!5W)@s4xK9n5(fx+c*;f^T@m^weGr8P!V;&if7< z#Kyf+82Hw8?uX#e*B=`UT{5W;maaB&JFyQXzHrb^Wpj(if00oZ-Mf5q=ouycrK4o_ zu=1v@+cym2pX%qXR9!-_;Tjq(%7E3f!P=$Mm9E=d3bU_o4cR5uG3NVq-~+l7wWjWD zx-}cc)%u(=PD~BkD^(Cj`7P87TIny=?Oa@7u|Gf7cnr z_BlFRC3b64Gh+0$sJDflExL9CObtCj8UqoN_sTZcx9PHfMaCaW2mdkW&iLIN5VyPg zxl6ch8(3|_loZ;LwI<2cY1?&UL^-w^suB)VUv=)v*_>m0XG&->grENTKar;yn_XWO z9O0)lKWMq%`1xK)1IvoF--l%L=iO19vlQ~uOO03V%leZAIg}kT2E}54{@w!1ud6H# z(#i$BoyhF_1BC|2!F$VS!^a@L%(J;Y*5Cjq-(UR^Ud*FPdJ&gn{wGxEq+L3h#J>Dp zkq}u{){3{55?wCwu?38`!x_;4Wb7Ruoi#J_`MKd!gZk>g*>x0Ed7KhG#k$lIFj2bQ zg<^!Ut-FF_irAN>X7vQT3^|xPaqzIHpoBWZ4VW)X-}om}oaskuYLqb8MozU*v&8){HP8_1IBF~8p4$ZM5Zw@)SMXNr=veA4(o+xew*# zr%`hl8UenfkSJBm+bO~a^lFI1*Nl&YlVe&fNmp9e1=A8WBW{X*vr z!?UT=3ex1ou8$S(pIIMDlcx-$3+fW@$+vEO_KN@oVki)L9rW98Qj%WgNe^D6{7ng$ z{?FJH9no|ZzPuw_SF-DN@wUt2i4{-$0mrbq4bGjX@^m+XV4rsbCLmdDA3}R()nd2s zJI(#ZwX@BFtT}B0nQJqIK|YqHmCt+GmDi^qWjfc{p|7-xLc{ew92uoSof=uTzj065dEk{k|wN;c|SliUx06#v}7KIJ786sF^1b^1}=}- z_1IjoZ`Qpoz2u#lS!Oj<`ef4y>-O(!75&pmXfN<7zCSZK-mcI<+12WO>>*_iPRT5# zv(%qAv>LR!>t5`6$SqZ})Xy266ha*|t*rU~bp_NiCn0s$f+*c2ydCYJ&@27zs~V1< zQ$D=9UG5Ni5rm{}gx$T<^j5A)GIiF+2UaC|rA|y{ASiAEgxu11xmIiA1Q zwE#8=C@}E~NK#bw#7k^XqhB_}^WSGc1xcl{v;{vF(M;Dbj#0`o9;~nFUy!CZTM%P( zgJs#*yl~J_lj1ZgQ!>y7)#uNA=kp^F3VspV4&|1G+xiGO?d4hv zu|GFXGv4=J6CvgS<5mmt6!LXJ4v(r_^a@VWovO|rrR^yAC_6FB-|Gu8-;?1;ibwHO zmkMuI1u_GJ>8hWBw!VhvDDAjXx^ICy`^*LgW)&5|Zt?f3vS4csAV+-$Y%J0Qj1 z;NSFq!x5`5*wZ|%i)l1)DY~_SwJrL~Xx3#+HXCt_+;TR3Hv%^!yt24geiWj|Sti8l z&=T^sxPMlB)cV?{BgC&TN}00Wf}EupZED0nFcP#mzG5I(_6OxxN;BBl=Qvo@xaIsi z87ZRUnBzSJ@zjni)^0x0o&n?Uz%(NRM3I>;BA0b}{kS}P3FzHek{4m7$=hkS7zVo} zmA96W{^fxd-%^3cKVspi#t*!XcarF8NB+k#1+Rb57h(uF(h+3z$CJEly;3+#sb-#* z>5$Ezt<(SRFx{S$=y*&T$)=}NFo1oor=p85>E25s#M~W42!3sy_ePs6urJngZRyE2 z%Z$m0N=Lt=DvD<`xP8?saH8)c{t@iXwtNP!U@<-1&cTXY>FIC<1jSQa%xVRGu$o~&TW@rh| z#a{nNZv_G|rYe$vFza0zlkgG^7_sV!WKzE;!pmUQk2_A|B{n%?*Vo2mktC+aVAmVg zR^TVf)?z2RF(TD7PJ-|gktVU5VW2>g_=!xXSj{FRpb*B?8%Pj#Ge`;4^CMNB1ccMP zk_ytHO1)47p*M^7g6P0OOz~(K&0+nZ2k_Ls)PJq9L!d`+5KC&?1W3JkYZSB&p32q> z!f2kD0FgkXI`@Mxnr1*f5UE~6Agq)bP;2wX0SFc%HE0xs+5CJAS^!V&nFmpzad2_K zGsu|OnmL;jvoNy%-(=`X%~eN?QFNc>p9`b|kUDR!foZVoJH0F+yK5JO0waz_=Z4Z^ zmMlHX+lj?jY8EVXLns(CS}tmfqlwZcjkM|dDHgr>iNbXwMJX*tQtBJbCXk6C7RTxL z6R?BE`f5@oWc6x~NrqEeCA4=7qrda`l;feUEoRKg<}-f8M)m@=(8>m6Xpr;%lH`ov zOO(YP5JQ&Km__cOhY`Uvh#CEiqfM~|vl!Fxe_o~qcesHSrbmHaBQc)Cs`MP$OhcD6 zG)#a}hD7FmFz2yAE9CjZ<#54VfWiBXc@Ey_aZz57T+s^ku)XF)$#@7pqz%HDM?Qk_ zVI6=6@ePIRkIVs!LiEgZy;6RAe*FP`$$5U*SVr;~30r^p3d{p`*C{^UNJDA=geM3`mjic(wU}VpZigOjP{XL@S7+y%F@wf|Ge&20< zh>4&I6*%w7JhG!915f+|rUZQ&xH3O^x#uv8!jfz82p52E6{LB^`PSU8F+#cy@^Gesxu5 z{-^^0#mDC@ca`Kq%LtPMNU!&@tQb3rKu4*;AC?}vIVf-K`!yG$dA$a$Pm0-(j6INi z=`}o8QDR0>PQu0Lvf)xxIujR$^M?)1ek2d4xBKh$)Ozkepb^4we(eOTeVzSG`21*n$Bh!+P zjwm%`APwzeWgpg1JJF89Q+PiPQyVsnPUmTu$Tku3LI@Pr1QT|jaupqX^cji^$4yWp zXZgpfss`dKhX&Y!I`g&9(+7m**tdeAKe{-Ci+@iZ&(53^%_Rz^*1qN4cj_rx8SMg! z(=MoNTiEEkGeRm*aO;~?r=kW5>Ch*!uib%UX$5UffkiCAEnbdvO_c^!kMT^^2Djy`vN~0p@3!ju_Q5#r9ffj(haq-R-h?6TeM2h^n$hAAs=;9WsVtJ z^O?S2|e1LpuGHpb*#^glo+*Q6LBYUhbKXErt6J<^m|c9j5?Y(1)y;;6i=r^ zp%H1txXGvvLiRo(YiDn?mI7&Dn!W5$^s}`c+D9K9pVgFIQ#LNq?X{RVc7vSpUSl6cz%8w9c zi+l(#ew*JKy|6g+)|5_!#1BB`4CzUzN}r0kM_<*^h|f7KH_cf)H6Ok;^v&a&EB)~* zCUvA--sy%u2=;^2Cl-Ne^cB+~r+C_#EED@e6L}gtJ}ov8a}-9l2e1$X4=`Q;lO~=` z@A6__?&!Q!-VS~3^4NaNkBwe!hqM#}dww81jd&iy2E)1vFEC^0DRpa1n9N>OhfRZ- z-7;+M;a&V*TUx3{0Dod!n>+ONbYyC@1e#FPJq}%+F$}tL0i13YK?1tSDrz6oG|#Sx ze~!m4F>7E7rxMpa20$P)P;9dJhDRra2A(-o(2U&nt)4y$WAoIwh~}i-)GtdBZU1Yw zm?*C%8LjlCf85t1@N)vP29k-8Z(O6T4dQ(h#>P^iCql1ULfm*Fgtn+0)KvlZzke2N zDsjoN35Abq-J{K_1W_fA=j>u5N0>YhY|GJCr{-(* zX=&%;4$86HQ9`(<5u}6gSOMpsXz*W-evO8`ToeV@6uOZlD`wv%E}65|)wj_T1hGZn8JmWSeIpO>9?^jCKqr*A-Uw+d{zn8hW&H#-eDG0~29Dm8e3dsn-;MlW zyS&XM;PYs`8{fJsy)NpBtoRsAN>3lKE$1gR$i0*JAr1)4YG_9Of?Z8VE`wz{sax*$ zP(x;*rwM_{2-4*hZacjVj97Zho*h(`WQeW!^NKX58rxmrg-gfOV*&_A-az=WpQ4Oa z{4r|e>1c81g!nBWYDV>=i|Zv`$t(0tKDR4WX&Qx{su(M&K<_OGu7Q8T#c}pPsx^xQIzZ`pfbILk8smMiy$s^gjTKYnDji+&u9|v^g#H zo`7P7iwX`0wW@E|rQYrA<%0%SIx>TPkK(9Z86!Y(oxLerMp{EpVKUmCns{6A#}@B! z``y?3-7qz2TVKhV$ZE5*1!uE!y^QBqn`A|8w3^+gcl(nektRX+cADomuOwy^w4=`K zb0~6PN|nmQW+qCTRl`+?s!{dK{2=wLt`P)$A)BAbA@Pfu(RP&7Y(InS-T;DLx5br3kD9M4M=UdP3eeONceN*$k z{_m}#xCX@wMjVDHg_4(=!S*^&Avi?Xgc*RRS~kVhOjoAdgoY2C#Fg=FO6lE34+U;S zKD_-$m&3>1-uXVk#NJjqAIe>W|9)EA@EjlSM`+u^cFh}i;AcOTrn(Hhj|d=l z_n_~uOEM1~HfN4ILT0|(*(Q_x8Fx=nSY9vEr53oGZr-O(MyPLZ9V|J-iQ*>kJp|@y zGCCyt7q|C~$Gb-}-rp?2m9>fwo4c=xKA$GP7A8Qkf5HAD>oKa9-jcDZ+Az%Bp_Vc{IXj>uYNNYmwe% zTBUM@V4LyrhsuX&gGjCf%R^N21^I2Ye|^`(g-aGtOcvFP){6~cB$=q-paneLK$_KU zsi0F6L3U%mqWdr3nj<7^W6ghI>p~l+f?BgkN;P?zs{0hz`!&i9Qg@$CIM($lh`@?BI5;Mn-><6gv>-n+{J?-J*G#$*7Go=raZPY-kmms=D$8mROH(p1q z*mc5b9hVhmPOnlH{|Q8$Dm012uK8{D>Kz+^;9Wp~6vjK1q!)yl+ByNkNc|T*h&NN7 zgJQu`d3OFq9AlTD<$v)>YQYUC2$G5G-?tv>TM*HICD~h0GB^uYYVSMV?~vHPMWVSx z^vqTbk0GGh>;m5&y*?mPmARXbWjl(Xrq~}G6Fdce4829g4_t^CCSNEC3Ko>`1rH(@v-Uu4o}edhT53T(0{k zS+a(&E>Z|>-Mg~SeizWJQgM33zh0S<>FFd5f1dO-87eDVP#obBN67bzvL(-utJnFK zw!`PNs1vX{kq$L9fk4vC5|Yyd}){uN=Z5h8##Cp`@IFBKBc2nXxS{7#wz;{K@G9$A@x5CY)syjD9kYs*7>t3FpLC%{ z3C9PX&T6(hy41GmnMXdo;CxGw!pHVan?%*Hk zGjKt-!BZk=%=yarwnsZ?3*L`)e(qUyk(6(coJodrf&Q@%5AA2KQ#qC8moq-aN)Wzi zqLw|^W~~6FMM&$71}1y9U=?K|uJ32v0+@~Qq%uT9p$oe9{1(m84nkD$yu{YuQlqEb zFIN_u%J=fC0;-?1C_W3or0`FijHqu8Ox#r`0rMNCn>PL1(*1Dk+9U-mboaQSGy%CE z8P)VJp-UgFb{(s0ll!&C#KXYac5d(Le^Y@{zxRTW!P%HoDIY=K02Up124xFR6JjPd z7I=oA#9BKvMe;jZx{wK_QKKNJf||CfMW zeyiiM^E1;cHf%&kkc_xI)kHYLQ#-5()laI8mRH`$Gy%^1fLfANgw@TE^;hwL7G4d6L+r zNYxB<%?_J$Ki-MI?nxjBH;BX?#^^?^n9KI9GgJ{52!#vlrAP~+N(=dt7R(h^(V)FT zPo!d)nZjT0ji4n})}keSM=cObM^~n8qoJwt;s&@#F7`whlP^y3NspKFP)XC2hgt{( zi3?3j{yr8TaLTyJy7Zb-&e6Nf+1}iUGW5SCGx0eYrLdJL6arYTM=h@mw mF8h#$e{EcD|3fr)%72&|`wSvLWa47y;DRS7{~<31|9=2OEiX*~ diff --git a/report/report.tex b/report/report.tex index adbbc48..36a2272 100644 --- a/report/report.tex +++ b/report/report.tex @@ -25,7 +25,7 @@ % Introduction Section \section{Introduction} -In this report we implemented and tested two given programs. Decision table testing, equivalence testing and boundary testing done for each and compared a) different testing techniques for same application b) same testing technique for different programs. +In this report we implemented and tested two given programs. Decision table testing, equivalence testing and boundary testing done for each and compared both programs with each other in respect to 3 test techniques. % Experiment 1 Section \section{Experiment 1} @@ -267,6 +267,31 @@ Boundary Values Considered: \section{Conclusion} +In Project 2 (Access Control scenario), the decision conditions were related to employee roles, special authorization, and time constraints. In contrast, Project 1 focuses on numerical thresholds (Purchase Amount, Number of Items) and cost calculations. While Project 2 tested boolean logic and access permissions, Project 1 tests arithmetic computations and fee structures. + + +Test Complexity: +\begin{itemize} + \item Project 2: More logical/boolean conditions. + \item Project 1: More arithmetic and boundary-value checks. +\end{itemize} + + +Number of Test Cases: +\begin{itemize} + \item Project 2: Focused on covering all logic paths (e.g., 8 decision table tests). + \item Project 1: Has a straightforward table with distinct numeric thresholds, potentially leading to more test cases because of multiple numeric partitions and delivery speed options (12 scenarios as outlined above). +\end{itemize} + + +Coverage Strategy: +\begin{itemize} + \item Project 2: Ensured every logical combination was tested. + \item Project 1: Ensures each numerical range and delivery option is covered, testing all formula variations. +\end{itemize} + + + \onecolumn \section*{Additional Resources}