Back
Close

Nickname filtering

Statement

 Goal

You have been hired to moderate a chat and your first assignment is to filter a list of nicknames.

The company gives you a list of banned words, a list of common letter substitutions, and a huge list of nicknames.

The letter substitutions are given in a space separated string, and you should treat all the letters in that list as being equal. For example if a = @, and the word banana is banned, so are the words b@nana, b@n@n@, banan@ etc.

A nickname is bannable if it contains any banned word.

Count how many nicknames were banned after the filtering.

NB: Tests 1-4 cover simple cases and should help you debug your program. Tests 5-9 check the performance.
Input
Line 1 : A space separated string containing three integers n_bans for the number of banned words, n_substitutions for the number of substitutions, n_nicknames for the number of nicknames.
Next n_bans lines: A string banned_word.
Next n_substitutions lines: A space separated string substitution.
Next n_nicknames lines: A string nickname.
Output
The amount of banned words.
Constraints
The ascii value of every character is between 33 and 125 included (so no spaces).
n_bans <= 100
maximum length of a banned_word < 10
n_substitutions < 25
maximum size of a substitution rule < 5 (at most 4 letters are being equalized per line)
equalized letters do not overlap between rules. That is you won't have:
a @ A t
t T 5 6
n_nicknames <= 1000
nickname_size < 50
Example
Input
2 1 7
fag
crap
a @
f@g
fa
f
potatoes
rap
xXx_easy_puzzles_farmer_xXx
crap
Output
2

Tags
Tries, Regular expressions

Difficulty
Medium

Test cases
1. Exact match Test
Input
2 1 7 fag crap a @ f@g fa f potatoes rap xXx_easy_puzzles_farmer_xXx crap
Output
2

1. Exact match val Validator
Input
2 1 7 fag crap a @ f@g fa f potatoes rap xXx_easy_puzzles_farmer_xXx crap
Output
2

2. Prefix Test
Input
1 2 6 fag a @ 4 g 6 fagotto_lover f@nt@stic f@666 f4444 fa@aggins f4gGier
Output
3

2. Prefix val Validator
Input
1 2 6 fag a @ 4 g 6 fagotto_lover f@nt@stic f@666 f4444 fa@aggins f4gGier
Output
3

3. Suffix Test
Input
1 2 6 fag a @ 4 g 6 rafag xXx_forum_abuzer_xXx ffffffffffff@g fafafafafafaf4g actually-nice-person rafa66
Output
4

3. Suffix val Validator
Input
1 2 6 fag a @ 4 g 6 rafag xXx_forum_abuzer_xXx ffffffffffff@g fafafafafafaf4g actually-nice-person rafa66
Output
4

4. Contains Test
Input
1 2 6 fag a @ 4 g 6 rafagarcia fffff@666 mafalda_fan reverse_gaf_g@f cleverly-hyphenated-f-a-g repeated_fagf@gfa6f4g
Output
3

4. Contains val Validator
Input
1 2 6 fag a @ 4 g 6 rafagarcia fffff@666 mafalda_fan reverse_gaf_g@f cleverly-hyphenated-f-a-g repeated_fagf@gfa6f4g
Output
3

5. Small test Test
Input
5 20 20 7q 62 jY `) >: a # \ A b _ ` B c 3 " C d ^ * D e 5 | E f 7 , F g @ 0 G h 1 9 H i $ : I j ? / J k { < K l . ! L m 4 = M n ' ) N o 2 8 O p % & P q - [ Q r ] ( R s 6 + S t > ; T x^nOglD9Wivu|CwPeZ<08dR/KfNH$_ w8mps|r^;iny:>#ReEqI]7Nj?z0}(B ag)&Qf$J'{T._:I#hVMF("}bnxANS8 .U\}vIWa9&QC0?obuB3LZldSsFX$;K +4f|<FU7i_3OIjdXt>W#QEgPx"L\Sk XAMK4GV.|jYl{U?]5E%eP/BqDitz8y #aw&ufV3"}%nZXB^hI;U\2Yz7vqbi6 nw*W'Q3N=>5UdJACbxY(g9_,L&Ku2O J(&"$n9oK>Ygp'].!8Zy4;*XU:avR| RFxU3_%8ya=(I6[t/*D!2mNc+Zh.]r 9s&$KD<mpZ+xfB'Vb.iI:J3"vr[2#? 75G;vZMk^%LHiAc\txQ#-XCfq8.u*2 ,$)l'FMrAmpzUW`!f#oJCIb"0d%4w} D5e+Lh(A*E\wOaGbVF:B.t'gyP_WuZ aG4UF3o>V1(7$k6ZCOHML:c9]Y_!qr 6btY1-cCgps7ZKQL?*Morf_#2%0!|D KJF:#aV<`OTvQH$8gsl.\qdf*5-?h4 YnEWDb7*mvkM)}hC&|",]wX5{[T\c1 gR?*z"5xdcX1f^hn4HUwKM.'|>r(Tu 0*eI27}dw&$6)[{@A,mq'|NxtOGg5<
Output
5

5. Small test val Validator
Input
5 20 20 iq LV xb `Q H` a ` \ A b 0 = B c { ; C d # 2 D e - _ E f | 4 F g < [ G h & % H i 8 . I j / > J k ] $ K l } ! L m ( ' M n 9 ^ N o * : O p " 1 P q @ 3 Q r 6 5 R s , 7 S t + ) T q2+PJ;06Bg#ThtdX|75oC1ur/e-z"& PM]>5jmYCy,r@td<2)u;pgq(.|c^{* P4bDSg*B={VGwdo:@#O7r3["F5tjih X}7a1N.Pjv3A+x(-hq^WBZ8_%[pO=H dKH8v-9NuUyG1O`m}q@/V=YQ;JnM)f EI<oDKCSs1p{/V*B(^]OX:@8ajbJfl gN%"B#nh&(3]_^v8@2roLYbqwul$0) Avr!dg"l@ojqwxRmbf9/NhPG`ieEsB 8t?viJP:HoOQZSKfV.(p'Aul{>DdmG r2YIc49z=uH<O\h%to[WyjBxanqR-d E*asZ@h}0R%J]juLb>nQyc9l;|w8#+ ;6&P:dj[fQG8r)?#Z_CkhA^TJein*S +y#9{Xu0AO=nv|%7}li:a]N"[&5w,; q^gurONPwZ5iU@j9{<pE]z|2nl=7oR b#3MgZA86+pd1[q(x,Bu&ne5I?U9zo 0L&<Tb^EdfW_'i,97AB+z=2`1K@Gy. 6:S){A%Uw#3E=GbBIvfX9,4![nTH]d vL5,jPIZ2}W6tBbd\l.JoCS^<s"*%{ we^;_f9$i):|PEOj/B?lTWZ=RY83.] <)fba#tZY.EAz,(${MC]r8c:"`BHdX
Output
3

6. Medium test Test
Input
20 15 100 gzI oB 64 Rl 0732 >+ c% co $G z$] rO -# E`v J\( ER: /b{T .R1 wb h]k[ 4e a " ' A c 2 7 C f % + F i > 3 I j ? \ J k & 9 K l { 1 L m ] ; M r * ` R s # - S u [ . U v } $ V w 6 0 W y ^ , Y z ! @ Z wmE=JAH CgIx#W oH!Et c8}6Km# 3LPOm( AHr_s g_iNH D!F9$-as {Z)i3 D!o\.qU Se:h<r 5kyO/r s|G?: elt3hx{2 ,4WjX\f| i$Q+8y* P*a_[ E0HAj ':I(g>09 WGJRjy|^ @\*dQ? \/4!{ ._"kt'eH \(LFwr BH@<_ P-M^+Kt gB;!CI Azi0">(I ER2o_i0 NgsiRA] XzPG$|2 &w_6=E 1xT=kar; .%t=!TC *5]43p}, 1;[=._ OPd%H 49-)sHr: )aSJ^9H xBtJD z^O"$kfE t65D(Tl c|{0w*Y r1Sz: .s$%Qr[ JorU>k @!ox._+ TaA/.@ |r0#i$7 Ed)cN EBfk8u|) P=*u"U<f a_M74B .et4oX7 >(if[GJ 9bNZ[ P|dFZES ,uix=}*C '9%GQ{=; YZEj- ];J&. ZM=5`A V3{o*A9q *}n'T tkPEMs8- })dZ2 O+Vm]r 4<q,[1c\ Y6RlO >Acr}!v ar\<%Wip t2vk',w{ "ol2H &wt4#/q7 S,}!J)Y {km$Xa9" <sRu:*j ,);w[ 19:WBri @yIz/8N( _/gNCS 7&=TZS OqWa1 =Pj,G} jY<HCMQ kb%EA7Gr zQN[> <F}T;V32 "n5FzEh 8YbTRt(% d|IWCrY oc/2y P)%&zh/ qzT7P?a ay/;@ W[j6Op {1Bf4v C_tIfZ9V "Ck^- _SyhWM
Output
5

6. Medium test val Validator
Input
20 17 100 ql ;a 5:Z /Z o^*Q 5*! bOh !W OM1c |}7 m# Pp SF5R a"Z {JVk 7*# EO'n G]'/ \- u5` a ] ; A b 5 7 B d | ? D f 3 " F g _ 1 G j \ 4 J l # > L m ( & M o ! - O p + < P q 0 @ Q r { 6 R t 8 $ T u 2 : U w % } W x ) = X z [ / Z tPO+uH p`\q8w' o'FSZ vJ0.l*Vp SR|^Aj >`9Sxa $Mx{;y x0FL+ +E/*S OFZK@xW ;M'py D5(wo4]H (^Y3IB[% 6-,|52o ^-OaGS& )1Q30u GJeCN !#tq\[ jspt&X- #j^F"k9 KuZzp -wBy*c *(r_,2 fau)S 4yVd)H g5Cr6 e;bO3 th]|BNA rQH[x20j "{_^jb Aq_TU X_;?SZK 3vG;,h QhNycP` tdN3n, qx%<z l<yE8 |Pg79s gWDl_;?x :9/t$^ v#6%}m [NU6I3 A0iqRa P7U2p B^+7I_) pkDyV] h\@}?K% cki6>3 JMYs.2qD agI3&cu %6H/rV2 8b7a( ^x>{Q SY=4, -BJa;quA +?\B7v> NG-!o 5R[.'j8 k2QOj*`x :w;Xv kNFGh vY5G?)M /3;C?qYo j/&}*A L3$17 T!/D;\xP fr*CDj6 q(.fw= 5pCt7 M$[+y5 F'n_o=yV p*-KS8 ?,Z`yG{n [f3;+b2h %72rZ, 5X^Y/MV V5b#> +C^9K n80rbmv/ 9+Ldi; r0tD8j_| f,7[u/* R-Hi%x+@ 0ntHLIc[ _$WLD67u c-SH}^ qZ2o= a(:j)[4z TvZP$9 <73Mh!' gby-sqh 8(#&;$ S#^*6F 7Z*|M -u^z}y ^mFVJG s75o6 ,/}0Pfy +DUv>?H j`F[\RU
Output
4

7. Large test Test
Input
25 19 250 !) ;mK 7Z z<8 qA JU E0[ NC $X {I? m>. bmK zCl m) e[ /3 \0 u> AK +|& J@ YW %S t_ !SW a ] & A b / ' B c 5 < C d ; > D e ! ` E f % ) F g ^ = G j $ 2 J l 0 8 L n @ # N o " 1 O p { : P q 9 + Q r [ _ R t } , T u . 7 U v ( ? V w * - W x 6 | X F}yQMzB2,rK(/Y)^C{0h8V.XR'I@oTxdj cQ8Li$KN:Fe*`;Y}[B?'zDwA&CR7PM=ZJ d2K(#g-./Zz@<YN4P6l'*QutG{wb$^=H> )No&uC;+6S:k>{L*Zrdn(}#"4sA\g5fyc cw!gnu8{f|O[[email protected]:}]Rk% zRP[NhqLtV5#)C@`bn6I*39EA+]/dUBoD [email protected];<9>%+F&Uz]r?uxT(}fka{pE4t oW`D,w1czu\b_Zv)-NP^{;'Og9QLt5lSH @^h)g[$!m:6FzUNu<}3Dp7MsBQn>"d5;K @3gHu\`VrD;J9i6=cj-TdFNn[oYy+Om<4 |N-!JZS8I[."U24:5zypv)M\GrXQ_cVD1 [k5V`vQ^#O{Gao>]u9ZxtRdA_c}$bCFN" H3#bz`"@a0A,o_DMGB\2=$q|)WOkJ9V*! _;Y)8|3yvq\P"{6Qr.!K^9UbHT*IVkL:W VK}t{%TeOGBH;!S<c5WX]s0,624|31+Zd &wM/Ld)oO$u[t}Z4`vl+T?BUHz*,Xh\k] 5Jjf$lVxWz"gt>[Py!paoE^snSmwIq{C@ +3kJKy\RV"{T&X';:s|z(^-_x=j<0hF6[ q^3_9`dPZn5W0zcgiV%@py]tHM-J!'S$D JGk}KgQV0tf`,53-Rqe^6TD|$B(m];p.U A`P>k.#o9h+lnevf'V8\6W^HMQ<J:351= Sx$]Efc[dGl_TJ=k@UA`q"sQ'?4:{M0bz =8)[P,.Xxve|b90k`(/>6JESuMi$sUc7! ,}pIJ3*_#dhm`-cD4a>.s\x{+b]V/CP1( ;x\l1*`7&"u%p5X|_h.tC@>U3+^T}dZkc B@'&`)ug},zp8o|]qTm{Q\i3fW6RhD!w+ !S2#PD?Hxn`)*5B<_+TVOdG%aJ{]9MK/= p?nswVqOL")&fDBTJvEG3:l02>{zr5XR6 1xc=pVCqh6e<{*iz5D4mP-^3.I$(O)>Wv [F|hz(`e=7i>1^}n@BHsJS:NWa<o9A%0E ,%-}W"6*:&2D@HtGY>;oOyIqg'jXl?Ef+ TC'3M>=fk[h2Z+6Li`tP&)Vs-WN{OAc"$ `ytixEB360ePNm2zaGYv5!UM;cjwpkSrD C/3fIO6tWhmH"EKir)|4d=NySe.VkbQ\v aZ2?MKx$q#{l`Y|93h7o!E1]dt^viN5(/ BvkA]P<bSg?|Tlf`nY{_MG'/U3jiDH:(^ /q#p\;xZ^rS[!j.3Ry&:CtzKMJ)<>XO]} .&'lydCYEgXc=PZMR*_-v72kp$5xe;G[| &ae2D[sSJFQ0Ido5-Ag}Ekb@3l8Rr"G1^ e2VIXYG50;o9\Klk/E3wJR4[Zfz"cmquF `Q\!B$?Fe8T+PRlk=X[y{s@ScH9CU)b1r c0+SJdynQif)-BC?r%o@I4AHN8U6EZesb *gPy31qf'eS\av#X^)=F>@Ztm[+k0-QEA "(!/Gxsy9bu&13f=-_l,DUa0[$ONzXg\5 +VRse*:9r,a^C]ZQXD!'>/G%3x7T_Y\)m QogkJr#ChVPuH.>ba!sOj"t+M}DzK6$Gw B2i)ZjH.rhb_:{y}!cS-LqC$wN(um*xao [s%?F^{8oigRT2uLqDc60\@`za)EUm+eB (V+M\b:g.30?!9h*Q&2e@j)Y6nUc[=a`s ky8/HilJd2wxOhT}j.<Q)=L{1WqzIv%ra zg/E:0UW_2Hsq[,t"ufaAK?wN)%8xL*(F 'KV?gZk:1+7)tcmL(J"}[SFWDpl^&\$QE w1<!mRc(}CP/i&{$H>edz=pKXIG8v4E]U xd1aZrE9cCJ!4'e;)s>6zulB(}fWM&^<| d53_/Kp^C=W|as1"mOQq}Jo#w0)En?(hZ {Tl3_dscW-U=.0H>*LQV^DYogx#2+Pv&A d<sq)7[SxV;NPi.%Y&_h]E=gz|lF2"`r! !|.1{Vv7uO]HJ-`j>nNm3+}%GwLtE?5;Z <:d31cR#F(yHYOkX2Wj5wn0`=TQ>/_!UN st;fk.Nz|$ldI`:n,X6p/DZ8JF?Vv93{& &!cEdPGZVhUJp{RuD\$?[).e1=84(^y*k ]#8J9bY|=%&RG1UH-`SVtM:mI}a+Od{[< %}9op];l!@s0S"4tFOb[nfPYkm_j.7cDL ^kled"w%qUQSN\=2mi6O{MKCW`T,8[X&- 3NgqA`D\ba&:j$%m/9uv<y>dQ-|MEk^4L i=<ctZAr)uhXbR(1/nDm'"]dHT@42g*W; 3B%/V4Tyx<@+nas6YE5D&F]>vW9`wXhIK VlFHz,<[w2uB1AaNqC;?+9#L@6cb8n:&$ `g'!)it9#DJ7\Uf{A|G5,h<c_x}-o0k@j XBR|[r)g#Lc}>aNJ`V-46hfWpo,G\FD'M $fx%eO<dCJE\?zM5g)3Y8:H2*w!XTW>Rk =xa^TqM&vUR[Amnh.6ou\t/_PkW|2X"9} ;vx="#9&d-gfrS2U@h$/|iLRc%:4wQOGK 2({pR#e3cj'@hg:.D8LtJ/$W`|K76)HIl {KU`;[W*3ZE+gI$ymk&<}(ou.R,9h\|A! *Gry>QU^V8"k;O}3'1wt04&gNM9as=z$) :g)\cGI|8sOSu=MEoV"q[R^}7NZQr0f2% E^IoyfRv`|ZH'=}!\m<GuJF2NpYsq$U+n n)o*&jTLC/l4EZbDeI.J>wAgf3"kN^<%h h@%RaS=;[&fr!CY\kqXHg{(*}1^?/4jPB V=`7)HhjnF\'R[5K#1t{_A0z$<:,.2%Ma (mn+TIFVY;_&^}z-<q4|HU.GjJpy@5=wr vrFWp>UTjw6V0#,%e45HP`)9lhoxf*1"J k2`43@OC79zUnGdq%f_T/[XEyxAcYZ;Rg t[B#d,?.vmQ<Nl`XE!4k$&gAT'pf/+:rc I`.knUo-QdaD='^P*e#wb8XA2Jsz%V3Hl _a]n[ei9M&(hpHZ|ozEv7b}<U`@3V>,mQ GaI%NhF]q-fJY&_:40Sd"5,)K7@Q$}H(j 'D$xaWVAe*y?bJ)+!l>"GXHg&n]k`-{UO %+[;S8IN.YO7q6Va}9u\&<$iQp_lLTry? ibZt;6`0!?B4{pmdc@["jWPy-2#uSIU&* X>.ovi!0)_D`%*m;,gA{3UaM^BI\Pz=cV (uU>n<bSP.[t'%wzp&N{)WA,}Qi4MZDR/ )&Kfto2C(ca*,}-6nbAw4|d/m5k"SEH@v a`s;r_RS|>%/Y7$NCAB&T+G]L@o"ezf-v eNsAQ9-?=E&pl.Y+(wj:dx8BmDt_5I>y! lI'Cz}&*f5|s`F7bqArg0]<(6N-8k,"#K IO$5(dvgm^tU.JofikqWnuX!>AhePlz}S :\$KuR+_*,|QE&[@LMPDs7fqT%'4hXiA2 lCk>=B8LmKU"<w$+{Hu\i}]c1sA',`W;_ x<usW+2ejb,/T\tm8_U(Dn[$AQoI;PGK: 7yXY?:#!`.Qg9>}G|)/ro1v@Z'sLtdA8l g*N[_6{%}!$7UY.,wi9`Bh(<4XzJ>/3SR ue`cv:ZPah$lobx.-n,S%{[K4IVw^Ng;3 b[kc9$Al4#FXrU0=V%p71Me`B(&DIn<], Z589G*Sl>1'o\i?3Uy{z:$<|.}P@2RE(j \?&*ps^dTtv")R+#ixUj@0,N!Zr]>a1uL MK*J}["H.ct<,'`BX61;okj8R4GI:Tl|L 7[%,KEe0A4W}SIiuN*96BTXr]5D^v!1>s T|oyQX642IrH%bx)9:u08GlL&Z=#nRqc^ AmDuMZK&]IajpQ-RtU#NydS!14F6f0nP' TH$!+LM<\dpQ^>vZashf74t2N*Okx)9=6 Hf.m9-s15eqOJ,7a3%T`k]^>$AGtv:MV' #Vb4rydkm:O;JZL1[?t>=2{GWRIc8DC$} qSHMak186&J/{Wz.?Bg]ZT@-\DxhXuQP7 7ice#u,I|-B&s{+vL?2^<TKXl8k4SD`p[ H);KDn%ae[*Iwq^:\xRXFjoCAS2.mV8vc 4Z%!CMUa(6T0|}ndo$=;I{A.B',kVR^pr |Oe-I,LPd+(?JG\$1'BvTXz2r)k5n/_lw =4P$q-W0S#C]n>T*3,vg^es{GoVM;/Zzi VEma)=JP(dgnD&`X8|YS:$2;AZq#w@sv6 K]Jq9-(tDgL|oecAa8!mX_*2/xz5:VQ\> f[VQ8uH)*T^7<_:#lOJm]G"RXMCwPrY|5 $4/7UDly`{]Wf*ZR?O%-EPdu;X<|nAw9S ;%1!j?K#}(_yvenBOozPNF+"&JTm/,Eif 5QteILK^H".6d&3J>yf`s$nqA'DNci|zF \,zU;C:I1$_?i6|sbEPJZ(`^oYHr8j&wK DO08zN<U.h_6RbCB{I?ATJd;cm!vQsMg$ sV4'0>+_x:dJ#`{?bEe<Nr.@t&A8,3wPz 1D\pd@4NhuGbY[-z%S5x.i&`,nqUoLtMa E[=?`iC6bwc2pJs}Q]-Dq)\;+/|"R{x%h lVh@$+JgG.9kbN\awdUQ*j#%uc5C/AW-y XYnKZz}=#>CwUd7?!`\1&[N-.V5TgW]pI rptF.CnI-QmBzSYD75(MK9]^#!)Z/VP0H yVq&kxI:0?eoXm5.)%"EL#'W\Ca7sG+FR '`G/FHVcDg\i0+Rz?(&l]=t2Z%87bn.ev 4Ee%x;_&f<dUb98Rc=KC+k}q6):>z]WOF +/_1$lIE`F.^3p9,6)(k!?Qe4rsczdY@b AF}4v/2Z,bKTkl`MXw:|CsOt9o*'.f=#\ %J:W#Fpy3;V]+-{(,HnZkIdr2v.?afu/" 7C&6d=AUL5}[|ts2l@#bx:iX1^*;JzV$< [email protected]/t5_nNGF;-%vb0*iC=ScL+hz!'( &$(_kr6i}9Zeyj?{<M"'-omXz,s3LC/w. /JU@htwsKc5$EV8C}Toixb=mvQ'H&nN"F fX;t67{liGh3<IA)`2YoaH:,0@eM".-B& !5:MyvA`VR=bl(?GxDr-*EL}m]<Ouj^w$ sLq1OaK|Q`9E?6<$IW;,-ASF_k{ud^w(U |/[dtJE6&FNa_TkCI8@]M=.e%KsW{4<Py En_ZrWp!Xy>;`@1<e&*$V[(zb7jP^sBiq ry)><8-@VcAS;uM5C*1QXUBL&!"H=d#E? Qk8^ftcM0d/Uzh)PxE(6qIsWJ}G\y=9:$ aY+xPZ,RiXS\]y6-I/m2>K{9q}%fvQD=G ]G$v!)'1}[_en`#><pucEC^6jgOSZ{&q% LA8Y1D#ECs'OX6aq>np*v?<u[$dx{N9w! 8qg@`roe*[5c_mkuiUh:Y<Jy$D?7,wO4C bqkH^J+:27P"ETN0-19Xs5WM|LpCRSd)A ?Lv.w;':ej#8m^\/TKxYdn{0sXQk$2&|B feL</X)mht#yRu3&KD;EpBk>F"vi`sj:C vsq)DyQS:2-%wNZFIi&gh5MX1k@K87P'a ;3Y&wlDu.N=L0T]ed/c:8HM`zbm*U?q2t Q3W,$}vues<D2LXB:mwC?jf41]z)0Ap|. x_Wk%g`\-Q9lhtBJC){@a7c&[P#4Y"3TG ulkdV}@+S3DRL)GqBKgcx_bZ{nY'$H6z! m^(/N;cL8gk"$=Ev'1TBsMpwjKWGYi!a@ Of3Zlc^H@B5Mr/,v2&<}qoYp1%P[k]E-7 eYBPm8JA@2Z.:E,k)|xDd[p3>^#I<(;jz sC?j75y.BJ9;p>A<2}'1cW8G$=Mv+ra"_ aD$6q8wf^T&[9Lx3<WrE#,t0RAl]I;Z(S T#H8^G9j5E2&d:x|$){V7pt6F(MfoSau< 6]Q;^b@(qfa|zx1D_>Vwr+}[K3\"Tv2kR x9J8.#(lW_{T@5Z$UV4\+O<IqDfSak&>K :TjV|3lo0G!;SBN/q'ud&A\<,IUn2D"ps bK<rWB+"mvZO:zD*jRF1M8Yo_(i5fwn9y e.4(JD@"Cj^_c<Z%7IlW\UEH[uOz!GQ?i .Ot=BhKf2C4}7+8q]1@3Mlzn5L/*j)drc iD>8Rvpg47=1Vh[H)kT`nGWbz|r'AMu?/ 8qa{;Hg\.94x5/,'fOK:B6F!JX]kh)3D^ -fo#St<O{5v*$P/xN[\`^apAgTIc_1;D( _ncy|<wj(%8C!Sh)A-kbv0`{?BO145=qN \F<;!71SI=#@2K3?lC*z}t[h(B8]-rG$v FobH6wKG7E#@WRz^N.PnAS2x(3[ZY%*je "X,0Z>!IVKpO-ngRqa?:jvB+%|tHL5/4( \fDGu9Zgs:'J_eRy?A0lh@8^EoB)`;.zx QsFgD6iIn@;71JYvr/jZ]x,kqaO%.}fb0 8bud$w#}oHEMO1RG|YZ?qv7kX)xIpn_cP GclZ#BLhY)R/\!o:p+4=m*<1|$Wx`kCdb O4at.'R;B&W/Md:g([`>obH]K3rU*QY"l apBG_C9F\EKy?t%RUD`m*Q6;:<M|.xh7i ktjMd\e0[qFHw8lgN(",9ZE#7C{Svfi-y |,9ZSzw-&Hs]cx);m$}o%r[eB.FpRgt{Y ef&Bd#9$@KSnZ5u!XGt`>.43]/ms\}pNW Ye][3S|Fz{5KE7.X4\(<mDd@-2*/TZi'n 8;6W7g'}5[c\kL:Nl-OyieV*sRHtKG=_Z 8rL/$ewqQ2Nb>JEj3*M?g5fz{S!@d,#i. xh=^aZ}D6,8_d%S#[{YCJ]!Hzjb4UQAtN cR@PLHI#Jw-{Qj>6xz.}(Thv9;fYoKpy* 9`2A:dXgm[5l+ehQf*)G/Otw%o]s}VE_c ?RWB-J1bEDM{Ipj7Glt`nOe;$|NCSUY@% U&$3>nq@6\t?]ecMm#OkJ<%IL.i|QwdF+ x9UV(>PLwg@yfl\6iY$Zm#pNMknQTFI[O a@K:&wR7]ul[bN'V`j+6,d*ikL5?UhFm{ [`wVm,8>.v'Gus/eO*Ln&xt0hAd}N!<bg rd6SMcLoKE'|pH\+%?/l-nOD15NwjA^h# g\6dSl'2qD5u41bKtVU[i!k/%8G3}0w=o zHhRAspcW*".7uj]0gD'-iNa18BF$dVQJ jPm|{e;SMcU.E3%dq_F</!]'AQ$,D+z-t m7z>{L(]3H%pTYK9QUb_8y-`gvD#AC;/+ o\KI^=)8cgXx}?Z-DPNqiAs.'#M(Fl_G0 %^05e7Ax!9.=-DtLdRNOg6jW'Q)YMH"nU -=F&26,/\QA`v:LNYO?of;TRj|(bx80%{ &6J/[i2.,0ax>v_S%^Z]4AlD(8C\U=h`7 ftWK1u|bh0}?A5iOX`:"+D>(EcN$Zr\8H `kB30y6'=SD"dQj2JE:]LH@cP8$b|hzs! 3;*vlh^N"SMwe)8c`x_fDC}'O$j#@Unya 9B:k52G@Pp>S*f]|_?IeX%NDm6#0(qvY' *V%1L>=T?.aD{QcgP<SZwN]HCx09iX[jq &}1b]9i?,\A$+6y3{WsPKQ^c%)=([5a*| 8PG.<Is9R`:r[>V)]vH$iyOJFX&;fj%T^ !DL&(m#$^i/5;a:-'G_*k.wWv`Vo68ejY Yk7BM+e;9sS<]mQ=_Wq$0oGb1){a(@P*Z "?)/*rK#1dDZTO0:25|m'<qH;]&pi_3QA T"p0wijVv58}W;H>%7_+CR[Sdy:D.KY\o jBuZsA%t";kVp\Y)z#8&51P'oElUW{?Kb qcgMabTu13xr/lZF+PE<%!2fySBIW'U#Y 4D["n`?01=g#Ftehlv9X',U%*$CkV\uLT j&D{@U!5t.xMVfHXEzwv6b0|9n(Ryi^,k rcQ{:HCs_MYO0B*3ng#V|<[Dv$E),>+21 /YX{)6glJSP1<7:ur\}zajko>2K#h.DVv @gB=?Qz)1MK9JLTeucp/72-vDA`<P'Hj5 zZ+%I7<eGFJUE':*>Bn^mD;V_v=$4i.]| vtr=4xO:9/h@s+,8N3f"-KUqi)T*BM'}Y WK!{UsLuAR@o7x,q2(i[V/fjZ)D^:>]8e !#xKF?)=M0[v'"a>X:U}_u4+^rAzCb6ic v0ew}x6JO!Y]lTsE;&%o>tFc8yQ,Nu9Dh <o`xLAfi]HavTMjV84U}_cbtR'p-"Bqe6 6[uH*;s2+TDQ7#O8qevZWg)ibUn/lRNfM w0oW[b/+Q68T>Sy2kt#Z;DVqGM<5r"\)g V1A;n:{3P5`kfBXi^<bE%d>yC$aNL)[47 .xc&'zKkBN:Ad205;"WU7Pi_t}>Re/J89 z{F:lcO%B9Pi+"W_?b3mYv$uS}N]t5V/s h6DM#O&8HvmfY\3XP+S0c9bq_jB/]d[A' W*T;C[P/5{q6HMo0<lL@YZ8FXpx"OAt-e SWIT0{hX%_H)lpmw5\xGo1u+}qDU,L'c# &!ED)OcuK?^8v3}=L-Ff$9Po2xmg\MGA| n_wp>jz`aU*(SMFTVJ6YvGR8kCl-549c" tGkTrw,Z3v4X6(Y*/fJh=Nq[FCWj@)#H< =U9E6?OS2N78]&F5cDC}4/gB,0A:at$3- M7X)5[QTR>*<oP!]LCtA'DG1O^n/@K-j9 Zs$\Dp,5juBF=1wL!*oP[Uf}g@XYml]3T l[n4}U`(<v{KhVb_5W8"C@a/QG,0f'zsJ
Output
125

7. Large test val Validator
Input
25 16 250 UJ/ Lq+ hwG VG. "t ZK LcQ a1? &r "2 ;N Z8 i9 )E ZK KDk R; 1Q f. U& "W <C/ B, ,c? Vc c 9 ` C d & < D f ] 1 F g \ { G i 8 ^ I j , 7 J l _ 5 L m 2 ! M n " } N p [ . P r @ # R s 4 ? S u - | U w 6 $ W x 3 ( X z = ' Z z:Ji`ONmse,BY<{9Ej#12?l8&$Pf/ca^T "rGJ)?KXSp_ocf{anA#N4LeTu0mgU<%t9 4<Es1yCTOouZhtQ,>c$+(S}H7.Bql'8^v HaPCjlLdE1\gAX%=ufMB'DWV_sSni[!"w lmc7(E:P=q^SKV@JNFBa&;#>v\p[8OxTr h:@j/Oy24pixDLPQeuG(z5_VH0Zm+AS=q 9]eR+_(zNq7=vg&:/!,abTpY.68^lO;LF :]PW'2)xZnh.<+Y/?0*}meV3_JiQK;8&^ ]{7_vEQG/t\DxC)d>^}.=kMZ%b*<"S[|A Szi-j/)Y05DEBw89.KcTCpm1aJW`lq=,O cM90RftVY|S"`(KF!u3I),jAPlH;?reZ/ }.Yi|Ga4*:)81lc$T%zOC6!?A3UIbu>y^ {?xo=B^DwJs_|\ynt2FZ8%Np+]RagEC[. +3*,@)SNf[nH0iO<7Zw{_AL;C\>2'XE9l XFv|jZM?%&",'NADU0_wQVr<Bfo=.hY@1 o2hPpVy0L.^[_K%/eQ{di>`":A-UlOn|5 lzJwd-(i_YGFN\e"H{*K#7MkBC)@24ZWg >w-uFd6\Cql5XAmb:(J2.[%RBZ/7pVanj 7$X];)SNZ+3R|O1zwL/Jf0M4ysD\Ata{. :f,Hm.g\{)bJ]IX@4(2|?rSE$"cle_3CK m@F`)-*2p3PS8s$.7AHwV:J?;bO=|c_uk [qxVQ`2#N;!hfF}ArH3i=EuaB'JOY9<D\ 1!HPWXtZ[m6l$EF^>gs-@M_4IuJk,;Vz\ r"wc&Nhs<*2?nK!leSIXa7,>oZ(tB5+z' _+?rELdg.BAPN|G=0v2f]n4m`:t5w!;uz -IAn)?+Ho'clOq`Ce3>!E;aN4%,15&iBu 4noE}zN'c9Hl$\e;t&)hF6YK0[QR!/mVd u+Vt5Av4/lOjwopfM%{"&N0qd62UG-Q#e a9duYw`}#eDQPJ|fcRx"H:bZ$3[tBN60< ydjEe2]fq)}[A>|\Oc"L:F8KHRC6-;b%u aDWNz6P{I:]iw_&k-3o$XsO<n"Yy`hu%( 35<KBG@ud|):;[o7trXUqA}p$D,ny6'92 `#;B|}_g[Y3amD(%'M{o0C,k&X2v"Szld %A94j(UsCBu\*xm:|>-/S6OHpXd5,!o_? >G+132}g$AE*DH;[yu\VQr?aw!%e|Mon{ fXQz$lT!e*J#YxF\mbR_(a}&>v^)BAN|= $1slzWtGN{EkJ;I[#Upi6*eCBhfr`VqP% @.{zJUh(A#M"`|NjZ$'+-e8)LGg%[kf2} ]BN*C3=?GTiYbx_,A[y&\W/)zZ:1+cm'^ '{\#JR37pg$iz_Tq9]Z8W!4EQ6YD@j`wu w#Hs@2!rtxQ":^v1LJc-0k/Ggh89=\]fi DI{4L!o36W)&le"C0Nn'TSV?bK8kOit%} QHK+jaihZI{8dOM2.%=GBFD|'wrST@Y!n nzH1itr4A5SWe9olkKPpf>Rbs,ZdB^2YV gv'.bwj!E7XakW:)]ZD1+9G48&?sH`_K[ [Qn^zo4I*!Xd37-Fi+_B:U>1h<%C\V;r( ;n.rO9jWya0u$MHqmV!Y,o'5<G#lcFs>6 -W53wv_2IDgC`Np4@>t(HumlB8*e6^Q]{ .Tr'vWx?+>A1H4CL26&n,@{X%^aIis=BU aAzQRfD`x)VhI6;${J,dt+-%E}[@Kr<i* :pw8Sz7xva_[t0(TD\LFAWI'y%H,^3bl{ I]YxR\%{98.yH;0*on3W+:#/P(=_hFupJ 238s=_}xE1*5#HeRuZ`7a&/d6oAw+Xh]^ B\:{9R-M8VKdPYm26D50/i"=N[L_lW|<j [uL9{+}YFska]@?32_\pfK;^7R#C"&Mn! lVJ!m,PB}6EU/X"Thoe{`;7S.f10>=_?3 gbiHK-=$&;X]":@C)7F1z,kL(+Uv_^Sc< c3mDCkBvUG|>0&iWd'6aVA<RnX.?pTb$Z w|@d"t;UQOcm2CanoRI/[Z3x^%gpq:vG1 [1T=B@IYPxky7Kj6A>`rOMZ?z!Nh\'l2| oYaU*n(szI}fWX#84N\u&v@[h0`]JD;_{ <0.OpaYxFIsm|[?:P$SwcjK`3;'2Eu4hT @eP0`g!ywZcalL5mD7*OtIM8p|{rX2H+1 67*$'yK54<F!Z}ctob_2e@f:xLPIH.(-\ W_ZQ@DFHhUM?|1jX-!B#`:'xgKwa2O){G EI|Kc`,zeAkgN8xaWq1i;Lr]M.R6GlXS4 8r9mI|<gELwvWJS?t0G{F_oe}5XYduaO7 Z%K|3HT*S,Y1M5D<?#V4;'{=]io"Wy0!l J+,7D)jcXP{8s'`Ug!HiB:$o0_N3\tuIZ 6.M?o9}3Rud]>8sNHK2b4FigC<h;)G[kV _%#!F=r)"w4u*I+ORz(q\&pe`nfK5sBGY <#i=+,U>0fE^uy4ap(OVg@K'Q_mjXezC8 2E/oS&:dRvL?7I"4FN1]WXMg3)_*=U5[J +28MJXfb,=<}1O4d.xYo#/9EB%r\]I;a[ ^4\'MoO`=LP$I]S<uYWXqdJ-7_?5bHja2 +,bkBADxZU;ctzOpwG8Xd(`F^Vr/}4f)2 Xkzcy'Q$TftPx]p`SBVK7"?I8vH5d2iA} ]KVm.6qnoy:7hS[r'_^)B>AaJW3981\e} c=SFfPy!'COEV5jqNnt^2Bh/8L."eWl-+ VtQ3DA"B-HCbJ[G.hU2zpdgXY+>}=ye_^ PCM`!U/x:0EHjZo2mrbswR|,L?^yT#g%> *|&TMzk\w"B5[<{%(I+DLHrv$u>A?fRtN eZPG/T78-f*D{[4zuW.,wi=H3N>(;5&lK -e"X1)s!%YS/C2IGE'r|+gBk35d(xL^fo fF0mruOc9n|T!N_UI]2*."k?:$y>8[5tY .>Svnd?+f:U{$BV5u"qzbA^[9</D]HPCY MNrG5'];K6=4LJk{Uo<Ae3B.&RYS^sXg9 /.@,"-}y=p:mDO7ho6c*^i#f'Q;UHz&J$ Nf}d3<'I!bpMPi#|k*$=Age[5FKa\lR9V CvSXc/VqoU,-dKyu1ZIt*{<"_awz0rp@5 W!3^btkPh*L5JYl'Uv#_x-%RcKTBA/>r, ub^OFK?oUIiAN1$&RY92%Plg!/f_>4y+3 u7FDnH[+!`qkvYt,?;5sy%J}r>(Z84N$O NRc|r;ayF.V6s)qtw2oGb=g0&LnK$/-vi N9xF*Gs;^@R0E8k=SCqJ1w]n7'(Me+.p` Ry62Bn3\7LUg/s0x`p.}YjKib$%-D=)ef &O@MdHU>g9C%}.*[XyWBt+G]23u{=bpV- DZ'9Qj<UWgLRlr4MHA?"t=uk:S|;51!m( rv&;!{ja"3D/.pFJS}o$#`-e*qs0kKCZd phnZ_wrG=e923Q.A'BMN]&)%,/K-cz5lv *)LJtQ!,'-wgO2(ezs+r4x#X"=[S/v7}h "v9NXz7-St(l_yRI,eHc#$oG8}T6]Aa\F rEo\IYwzme2K_]{0"&APq!c3,^F?nb[Dd C4YJABo2(RD{y@_]3dGfLjcOlEm5uMx#6 cX$8./'fm}>7v_"d[O*eSDuC2<#4-b+lW ^Ruz|CTg\oalHpf<.;E,n$d`0]QiO{%yS Maurlnj\dU,}&{>3!Yy'<Q(:_vNHeXGFh djI<vef}%cN^1?$#YxV6(o2lwyM'a@]T& E<#{4MOYf}25T6zb-rG!():y^KtW;S7'9 {6e.=@hP+woMy,>5X0zT8-FtmY}jslL"^ xV9t>I+q=#?onRL6^{!i<vXs@Je7-5&j. %P;(6ZyBbU:vxej*,F$w}ADr8'VK@5n\t P-Q'G!z?csIpK&MrU"ymj]u<hSb5g0_@* hk*(u;lTtIoVy4&Gr5OUawp+F3q18L<DN B^9K,=rc?6X'PfFe0V5;<T+swol:][a3m z0\s_6lm@-;3%gw=Za]4oR<LEIG15OnXP {M^=NGdJmvSp!rY6X0j<.`IH+1KL]coAw rkI_%qc\}K/dNnjR"wAi]S|!aUXgCpZ?u qFEe*{DAX14Q&Gdw9p5Ys)K=/z+[LJ7OT "<Tp[S2P.e#}i-cYN:oB1bEx)u6IfDCn& #N+_:C?MWOZvRjI$Ak(S@r*.Hoy<nh=7V PY0p?IlJ7O3BntWEF]w5Hu_{z(CK%<Q4$ Ef"M}CLN.w1=?X_TpHBr48(/u;7c\hVGA C<.q)Q=Z#_7Jnj!GXyMkf$uz(A6ax9]VN J!sG8m{Sh|YI*L]Hz4=9T%CA(R7Qwc`dV A8X}_TK97(cG0w:k-q>`aEsvOWHe#Zmx! [ZgG_fx\O3t<*QXr^]bSA,-'{NqJClWvI GC\i}f7'J5Lo?xhW^;a%0m.4UXArnY3e[ "<@rilc$)^F{zRo5t=(VgH4&ZXyJuv!%I >o7L;xa&t%u*CQN,zEBm$0/4[kpg.#MWX z,UXIou)OTW{t0+`w\79BK=$beV23%Ckv rTfY-65%PlU=+BzC;]m{a'$[Wn)E1s:7O l%+8tj(K6Ohb!^BUn{E;a*)_LR7[zY0d2 P/Vuw0@{IX\O62=>4Ql9C;qv[y1.8$Kef @fRC+;3LXZw=#9k<h?tmQ>&l{V.0A8,[% 6`pB<D!5Q]Szlj|>9Y(In[-_cb7}03?.M MDwpG".3+/70[hlm{A2W)S(JK]8n*i?k$ aDs|H1Wc5]'iCKxj3YuLbG%p#9{E)&;:h y@f2C%Ll&/|=^},9w!?K`\70ORxEVMs3* D9b+=tYC;c?He\Sow/&{d7u<%0J}F2r>: ekFtq45H=f_MXjopEO7Y1KA[NC09uR"LG "1TL8'`9qG&623pb>R:%!kF=l{d/$,_BX a}I&@C0gFPO<]c1;YXSs>"o*y$3.|bh9E BQd|fe5A'lq[wM1F7%0^VP@OUSJ+=)`*] hzgdA@&s[Cj`]uo9Z4f%YIVnFNQWrP8yK pQFoZD&i@0#ncO]'^!m9uNhJ4E5vBKed( |<Yf^3c%(e})x"*m/H[6,]EkP$w.0'LsD )UDfC`K>EVRT85wL-e7'nSp"+#BW,v]u< qJk{;upz17-/!CIT[jA.SnbMr_VG`:egt 0bif*u#}nzXw1%LKdv"g[<VU6ZEJ_pltF O+g>3t^cl0XJ8[vpZTRH)saW%<j4IomS@ Hf\WOpP|okbwSE9{8z(XdDIJZ!=xeR/Lh R`K0w5p%-O2\z6o*F'CW=c^x/$>,93Dd] r'g8u>iX!+ow9fjSFM[3Z-e]zP|$:c(H) VE!PWNO]$(:K;I'1XldM5)u2{*&=vRUyc @N3'Fo,a*+TjX-:}"s9|G]\YQ8>IC=w?r 8:m67o>]lDAMfpr+^)JO!n*wdh/B%x,cL \h%YlSb>-*{CGx$s@Iy5pQ^m=FP;`H7?A a[8.f3h@^?p2OcDCld%Lsyk&xB4rIF_t} t7,rL`9[V(F3GSpmo<Z-abA8UcB>#NDT* {"EIYAqlU+;P'*[.4x:?!<L>h$@T#f],8 ?E(y$ZCLiTN9I3U/!RgD%d|b[FMs.QS{- X0d*LvC^p|}WGQ72V(P-/mDKu#6cU"A[{ e'u=-ignslF3LkNQth/0ja&;bHT8E2_4z 2,tR=h8}s:zxMuSd>giE`GW7?[@9%q.)Y '0(/!yR9fKn=NkQGLFAi6"\2s>5ebvDV{ 'N+u6eomf;t2]!4FA3vR?>%{lG$KHB5SZ CFc$J>{N*3;B|%[_ofR}(g@q?YlWs#5H0 J4yR<+=z]q^LTYZ0EieBCpDsNfA:;v"9. Et!\jQ>be@|giFHsy/1NPM}hA.`D^CT(B X,;(O1MNI7h-u5"2gUVH%.>8_P*39yt<r 0:!#{3X"4NpL($gaS1Gt,&*Y'PA/O2dJq J=-HUs0.n!X}m3,Wz|T:*YIFyifA<Mh+> O0%Hu^X?g@l7.!C}5LwDjt_WKUJh<Z2rM r;}?`>a"XQhYeUt/my#$S8=fwog[PJ9|D khU7jNID!qmO'Tdi&?XxP>pR428@[r\(- kQ"wsK[^C}=5M&cYuXzgjO-1#:(leo%HN {yO4[YVf_}T)9=KaN($qbHs6z07tnU!iD vSY4(CT.)h}<i=]LI6d0uB1>QP+nA#5?3 /_$hz9!X@+Zu1UMTHi\=vDB`jmV5?QLk0 @;xK,M]D6tdT}#Go/7m'PX"pj^?2CgLY: es;E|KV)k.Ho9*z6urJ$SY-3Ow'4dA>/@ yF&g}]n_XWu.j<1>Olcm{d:@=N`4$boq| >$(_Jl#[;A=^svj@:2-/&yF7wa,Bq|z6P I]U,|WtJ`0gn6V#sre^BqNO-K+mQ8z$Sf [rf|y{hYR8EDI&gqmF^#Mp$eckK?50lnB 7?'p5gu6"OK]>Z`fe%!&iWJFMAcT2V#q3 kGt=hJ{:Sb\ZE7N;pX6IxLoVjH^eTa3%- thT,lMuDU(%B9+w.!;z0GIX58CsZ"7)im ki|9,@y\NA(FXVe-fs>R;+=8&d[Z_*7#q K:<gTxVJF)40zQjG/'|B;X^I#S![a2*]y D<kBR{wC*=+.),9"yv'\5An#ug?0!qhr3 23HY>lsdF4}gO/6V!8#K]ry%*MpRWnq;= ;x-]nqc$Ri=g6\f+&V}O*v{#AHNI_?Yy1 LWZFD$]mKH1-@Pd>A4q5BRr_ul+|.bTh2 6I{|!&8xstF,XVBEPD`j+Jk5#z"_(TRd= #B=zfd%"px>TAoRY\/vl(*Z.OU&C|uW+g %"gy\h91(4f'uGaX`v!]T75P-^x#z=jnQ x1%\`,[tg$ehlkK0)Y<&n7jT_{4"pV2y/ @=*h#mEdDSx5Bl[(`cI2GWrzt&py6UO}Q "yjCIep,d=cm'8Sqgu3<T9s?l0[Nkz^/t {"zxlJ(A)Ith`f;%P]O0*#'}[=^Rg/auq Mx'&RPrl;e-gdmq7Hp0WS29YBbK)Z"CVy M83\1f#(=k)Zqoes4RbvPLyK$]m&^+X?V V*vpj%Y?z9(k]s6-={4Kq[/o#y!75ZaL< %qYV:Z}l*9pa`2c{g<boy|Nj,zI)!&tsQ &NR`b8P?,wKL;#uHB@![6Am9h^Wn.efVp >j3!}7@;=m2:_&6$pJ|]?#{K.\Ovy"5aR 6cPh5Tz9]QHi)=vBj$lUru+w4oW,^1`@# u]mK-gJYF?p!;[4Bx,%D>"X$zGa|vk5^= 6yFf"zm*I@9r]s1$CTYgGHdK`UB_Po,)[ =X?WuHfhqG<eVF10*+`(.@;xP2aYg9)ol }-{Zv\=PSo_IJp^$4M<eKOnrU%!a;A?gt wG6sSFjeW"_,d@Jtgr&-EL;\)bc*4UID! ;c3t%(2uyF5+,Ll`wq#J-fW_"r6mD^a0k ejq%'$E`0&MvH}.zZ:_QSXWKxo]4aIPB* _KyIqx^5e]7TR'>YV{6lBX2HC,90j8Ji% O:9YX^{_qg-|kMGUo5cfD}&AW$!)z,dm8 HZ%u01gMKf;}G'!bCj42vFJ<$B{a)yw>I pFT`Xi*N4%C$#Ay?S+L;9Dv]56utPz|,I MPQ65iz"-tI3\EoHRXpklsxK%d9f,j!|` C5j@*,[:/zy"a8(#.oP3nVTd!m?v>=4N7 _EGQ(!4@q{>jCgJN/F1X'eZb:%U"xfzS& UxW%TgezK{iyE;^p*7k)d/|:DHN"#9CJX Q=Kew?%)4*]kvV;trb!I#GW"$y{x.scS5 [}#rel8di295:1>oW{=tL*'.P!SvIwq4G daf_n40r>(vV5Tc2j$'z;RA<]{S3&[s}X 8A-Zc<R/9ym>.}@Vj4z{3d,`%gDT*XtNa xqI41Y"OVJP+ZfNT3`$6/RW[\^i=l*.E2 h&lZ'f9/7AILgd!ka0sc_E^%wi}qm#:To r'zM:/tR;O(s.}G[K]e!9u`IP8kCS_*$V m/,"SPUv7O>t]TR}V5MnW8Lk&|K^2'q!) 04sH5^dLT1gcG*QbYZ9_O]`XR%#&M-3>N Bk\#/`toyhGf7AglKe[HE+2.zFp?|1v6Z E:wHB"=(C%+px.?b-n$YkJdNWXK&SIF_z \R?z2<`M@;UJ"Yj8+q:>Ha(d,b*9LDi0f fEC/W",U9mLt-Z?4{oj7d0eYRbSi8J*XH YZB#-n^{UN@*y"IG&b4D2sMdV3cE8\m?C {dElq)f-/WN?(pI3BS'nC1^G;Hi+=tV4% P<[`5aT32)]4V+'nkrt\78.c^E9zphWS@ ;}l+9^]m,_`eNTnM>@=rYq1b$dP\)XZ"2 2/Lp{XC)=*`_NF9OJv5BAfV4T8?di%a-@ 9561ht]*+aQXH"rNx&nSOpj-/Ww4Kfis2 651O%#$YG|eEh+v3mKLsy@'8g*.SHM=nV *Hq!,hPYu0UO6Kbdx;&:lQG[jB{_(V#pS lhRi5/mK,dDsgk2%U47Z;3QM0'[f86xOH YC(wMp6qfU-Bde>)T'u9Fi=ZE|.L$![h{ )lo9\-Y*ksThZ"Pwp2I_3E1bKJ?=F&Du4 6,ad?E]o.0ZBuYP@A_LcVNf`>Cm#&*5Dk sB`T#X<E{cFY&J?d0[LpW5vR3(H_r9iO'
Output
97

8. Many nicknames Test
Input
100 20 1000 :0 F6 R( &@ mE} ,6B *# <"P[ Z{ G"%w nj }k/ (>T i2' TDg- p[= Nf61 D_G W\K) $d kpS RG ugP' i4c/ VL s}L m5=% :Zx :8 mR $;"I cvt% `l@6 ]C* 1h< `! z-O l2" !]|? yRP r`Oc m3 W}Hx 6sE> WgO' D& 1Iix D7Z [$]_ ,_0T JoS4 MyoN Du ran] lY1D 9; ^4$ !Q} bR 6jY `<V eIV me _? =* !# r>1S s{4 RYt. OP ^[ V5 UXM- *Wf +6Y #< "P=Z [; Y+` c'qi &9 &h O*h 0Tc 9y<, E13J Yg M^ &)$ #C$7 BA Zy& ,L"b |W3R '#$M H]q/ _&G{ a* [t 7vW a , % A b 4 : B c [ 1 C d ! 9 D e \ ( E f + { F g ^ 5 G h ; | H i / < I j ? . J k 6 ) K l ` * L m 0 2 M n - 8 N o " > O p 3 # P q _ = Q r ' $ R s @ 7 S t } ] T l#X2]}c F+tHDQK ]"B\l!0 xn?-B]7 YL8>Ja` ]y!?k:B M#a3N}i RM8q(c] xA)Bl\F `B}(IQ[ 807G</C GJ_aD^A R/b_^,y T"u/@LK Bf>Oa6d J40Uy7' #-5\InU 1qi?J!; bOC6Q9p C0oLTQb !YtFC*a %S1Li6C M;zk,}P :1kQti/ :!-BNv# 2b@N(n: QJ}jzuA "TZti\b jxXR3c. !qh?MT_ (_6Qs#i .k#(m0I =@7][L2 c`%pXau Zq+[k{c 7m'YBg\ :\YVq|s E[G"DaH 52Q8=wI Q7pb1L2 hfGPQSB q{G8>r| hl|uBy? s%<OjEF HxUA$eu rj:Qnw6 "qT'>%= f>*7Kg= -X,p6@= \Rwo[]Y |_Q-$1a yZ,|<2$ sWT<Y=r w(z`f9| W]j[>Gp k*P6+l< C&=K@!s #I3"]eU )SvCH<0 D#VQSp) HTXc0Y? RYjrl/O D_ls\fT PL,esZM w"qSzF- tL%GB?' vwQ9K8m <9Z1PF6 %N^R<x8 ":yo8?g B:\bl5" [R!`/i; w\vm7R2 MPXVz"' 2vb"Zy> >_H:lrh `<e['67 \x]qv5? 4/!*w:d 4YjH,%# Yn6q&JC ]`_qWAm ]B/S+^X AKMBq1j okgz;I_ u![eb,3 h[WanoB |t3oM.A ydC2?{, U1%OE/= =GmN\Qa M=.NrxT k%zR0:h PCZBUIN keU8`Rw Ifm^6F% !IMku7b -Xr4Y:, sc<Vt:p 7*y@>Z( sMnA2tV Db/Pn+8 D#hsrAL HPp}&y[ -aJZ24n </VNBhm ?!RVk(w pPvSF![ HD}kdYu q?vK2Lx -No|_]E eC!M6Ka {Vm9gQ\ _s@q"t4 M:R</N6 NOIC@c3 }\_CqpX -G6t^;j "`!7QlR Zecj0Rp c!Y_wg, e5C`c$0 l)-]WCR {ZK/8x. Q4y%i]p t'x*kl/ kq=V$*H vA.yb5+ 01pkldK qW8;2U! bd}ti]% F6z!<$p 2B=tPIw ',Xz!|P @KZN%5f Q`U_9bs GyE*Y0i _wg?]P( G:<XSE" 9h"U.c? 6yF.AgC q2f#=uz ^6z1Nn[ ?/"kjI| ><[1OEd Li8euD6 FUtS4p# ]}dREIj 9M0fHRU r(TvUui %Y-G>jX [jR;ale "@4EpJx ueiOr#J $+iFh3# JvYZM\& Gs0W-lT zLbx'-4 E9n/]k( p)V^Y%- 4j-[zBN 84sU1!c -E'q\eI 5>7Q%6D 3r=-._q TgC^'cA m%fz",{ Ie-`.)r i*qMd>S e%Q2)\. TjU/=GW vWzNH96 nR}@dAI _}4p]os tPz)(\h 'R?`"Kn V}xq-9> TG7n|"> 32VMISh h`_#ck- v0;b)G! Wo0D4p) 4N2g^R_ `F=^LIP rJNk7sh }{%ieI< wi@"B$> FM70cLO |XBFP4[ NAgl4-@ :hsJM?# K]zyi`@ Y/BxV2o &Dr4SY| 2ucf(O1 QmY_WBe bj/<@U[ U^KN5*? #b)"@B? IrC<R.8 /|RIyp\ Tv,5>h% {>=]!Gl d?:8kG7 "G'nEpx 0{l9E$A 67jDfaw <vAa:'` X>45s]M 6j85MH4 8|5^'&z oI`S+XN $%NEX3V u!Q%>;E !_u)F$B [email protected] 9Zj.\u] A-.e/rG Yr.C{cV +EB'_H/ 3KRdm7Y gyFhZ6t `|(0D9c Pt1mJ'a o^ar10+ :RG@NzH m?ie5[- aFZ$m;J .)P;X5a \DBnZO- <Q4'&Sn Uim]rZ[ tI#7"m6 GCtw2>+ *sTB@uZ (Bx`vn= F{saJ[t |RtE'S, 2qbJ\Lp *7mzAoC $9fqU+T ,s3)M&] c)-(Z2v #>X@M4A R]\>b=` /m+exR_ |;Vvt(Y :8!^}m1 1P/*YB4 P<N*)J{ /vO,fdG lciUT"u O12a0/5 .k%3q0} W)i-2le +)LEIfT CvS-;)} &v?<)oU ]^YcQi7 t0VZn8l ua>C\GR 'ha^WKD yBN]7w( n=4Q9NC =;f`&To 4%u,_>. Iq])i0e W^0XFTc h@'vnR: wT}i!PD -y]<F>? Bm0!%yu A*cTjf4 zqPB*E, <ifsPke t]xo,:& 1J0H8j: 3+8L#u[ {KB@v.> %V\8LaB 6Dmh]J9 H}y_g<? xl]y-C) /*yQ_'G JPc.)|V j>EmA#d Iu^">V5 <lyrWw* XlT'*/w &gc*DOl 7]jDrnh 2G\R-IZ /4<BnxP Oay:wv] d`qLyV2 #4g;ob9 eAYS-&4 F$>WxP( b[:|yFS d3GQ[BZ AO"z69; #?gNDzk 5['$a?` ]vpT(f\ [x^NQ<: OzesP`4 Wa5p1LF o<51Uyi NsTrLKE V"Bc(:x ^g8Yc-@ dv/tDT6 1XMum.v Xd<hWc[ VbGKyzT dJr/-{S (VT4a!; =$.|f>L h9GmO7u rd&L4?U rA<+$fW f8"2weI Dt_V{6] F\XKT"Y C{7w)Z/ rSPxN3F VBGT}Qk :C[fd%B Ty/Cx+L Q+c48fq k&.#`O, @6&IbNw nqH![>K )yK_D2A ]HKY+DZ ;PZX8xm :(f/m8P ZLC.QcU 4M[\b%5 &'wIg>P 63k!PVi `^sBg.z Mpz#w<k Dt*r4LM 0?i)qAZ @Z9NS/^ zA8XY1h &R{Nt#w WBOg-(} (X%+U!W .$rtE80 0xX3wtI iXUMmut .v}X/7_ D]S{CJ" $Fs3&P% [y4djo$ #D@p47% {\IMv'+ L!p#tHy %,neGLf #"!HNsO TzO}.Nd H,E?`p+ wPhK};F T:%!v/G rjCVt-d vIL^V>F )|D2Q3a a*x>-&4 _L&jSXo u9qP'b\ !Hy,xZ% U#JtLT^ F5]PJH6 lQ<tM-r vnC6{Jf tdubG*A '`p"*@8 ^`5E6>f F^dwY,X D{jCqg/ ,+sPdva wd3$}bg }p*Qy2+ $.8*I/9 /:,M#l_ _rzemH# usRM9Z7 %s\B3{4 @JjKa)A OFj\Cp$ (6Q+B|U ;zy,/p* -2s&H'r {:oENP& csyR8HQ 7$#I/E( ;'\<)eI {e2KD+& cuFfiVL @Ya?)[p }o)V5ie W8B\iUP >*md#Wn @IAcG|m quW0NmI 64v;(k" 4)A^/(# 7$HPT./ e"&Q!6; z756C)A >O*uShr C?+XnAe 7%Jq62p 7XsDi,[ zr[Sm9I yNo_SF% 4":.}PW .aXQP?! i^8|%[_ -`C,i}Y lxXdLq@ ^5>Iv|- *:5WR1' 5Fu:fo2 HbaFzEf bLrNx6C VP5=8`p 6W\^b@e L_`&j@y }s8H"{' $'JeklI =dU`$6< *jZw?X( nzxlt`| pc!(l[4 f;.WxKa y:AiI4x :9^&aYy W][r6MV t2|1ka? [(23I]" VC$W-2( t!`u8Yx I`Z#o/- X?pD7T& i-82T%w n7N(QjZ qVrM&4J H"|[X2C !cprC$} w9fji\] +QZULd- ErX\k1h dVNR|3t .v"DdW< L3y#Uw0 GOKg<iJ KPkbyDQ !jgXYdW u#t^,.8 },t13`; 5X\OMzT hNs\<Fu Yq):IB3 9Em(j4t `(D&FaC D\#Xo;F bh/usWQ Eg%dPBS D05pxMb C\0kD*G 7Za9O)4 =<xj|w4 M\w^e"+ .{xvi91 _,U1sE7 au;gSN5 q+Q@_M3 yV{k0n* n$1v`IC })(D[5c BE%<j:N HLYKv\V iq;lGBa !}IQOtC `jyWO0- ?-v'U7a b*^G'T1 @W",>ZX UM4[D;u +;fs7)d 3klB.60 |kDbM.3 F7"#?A^ 0J5<bqy zV>cFZd KlWFfi& p}dY-_J ?\|)'dl f<Bj*{R 1LpKu\R 2q)CYjM fWNl{B| F9%{^lZ Fx^yR75 2GwzY@l Y{buMS( )^SWn{m @4&;paL k7P%O{6 Gv`SV&B ]?QWxBP 96;hb8x 0IOu)l8 >ZzHKOL k6;_A*v B(KuzJ@ @S!{z>c XDhS-EM \%TIq/: 1k2GmPT iGwWJh, $awpyTh ,b|u%>P ./Ci38X GP/%Kq< Z2H1:<" G-#mxpc w`.(q"@ n1`{!c} 1nU!Yx[ ,=gs\S. #wd0K)J }>svZi| *RswD`F 1c:-]q_ !yU;-jO !'}[q#g shw63>a X4h76r] \FuSD-8 `f!A1{s [?,c'A` #E0Lu7r `?D{]'b 6T3x[G( Qb[.?id !<O"@%j :[i7wZc 9M36;0W u]t#y+\ 9"h^p.J JDSa,_G Qw9v\,x G'YpZsc |`zy#]Q 2CX0B/j RcS#|{u !&%wT^} c3&Dd5' O[(NKM` 49.M'Ok c>v)JEU 3k|.U!d /+1cEl& n#2R@?" i:pa,GF I^)RAi# k1$V>PA :B$`gtu #wv;<TQ wS?K3+$ wq/6*x^ Xi}cmIR eNo"a\E D`)CIJ\ r37R:X} o_v5c,| W=ZQXnM !i]7zq` G[-RHM$ t?$1sr0 .OyGTui D8MqCAa ';5wa%R I:aXcN5 /Ns:n4T vC\_Yn( 8nUCI}& l*a7R.= Fj\x|t8 Jx+/S&> JXSv*=^ tvK:V`M A|ea;l} X\zcoNv Yh0_Pyp zBLM#Og rq}-]B> CfnID}W =$FKj`O J[u7L2f i|[}.{k k<qlgUb `qmr?D| A-><.;? xMhY=Ve @Ld/6gi uoM9KkG lOH#TVC >*5Piq, P$dm^82 _6o^bm; o.!0J[3 ][>2?TC L%l0^{P %[a3HP9 Y,at2H[ qkSI(+x |manyrh #q);a3t \o53yp2 yWHkg_b MFE%f@/ VI*coC= h<8Qyl& qEom<H- <Zw^lAO pYt*9]g TuLaIx8 PZUHxo5 tV.Dw1M @d.436h bXV?oPO %)JOZ7] lZ9t.&b u:9@D<r H!G&.m" AXdngJh 8G7XuKi r(3`d}% +l=I#*7 `X\aRtp {J9)k6H 57J9oZm {'3p\)z Mq4YVGj KZN=feA "[-oZU= a1fD?H$ ,j@AX^y +dMHB?{ pUu^eCt o"OUdZ% JH#D&:U -a(Zx"C O;[$Eu) 2*E[!c? g#DoB6* Tj/MeH> +T2N/>i p6b,v8C Da\cs{t ij"R68d w]7E@v= w%f.sIA $&>EVil -TPQmW` -p1:@gy %8PY@,X ;SP}{(6 qvfjM"1 iI%Kz`\ WO52^H] *2>1=4L kHdseWX wp0u?=A GMVHxQs +CElRJw TH!OWsb "WDd-%1 B{?UG9< CP+2yMn 67:vOT} ]};mBo^ g;O%BE` lq&5?F: v"K,d0= GfW{kcU qT%IG\z n=ziQ\" NUs7b-2 I<G:DcM ^Z*/j<| o_O*Hqv 'J:wF1v Fy}94jr ;lUPmT" ]VmaBNd Ge<XE[\ npZ?8g6 IA&tGw, n28=){: H`X>"Y, u9m2g6t IujleS: |rT0?4F tHS-LVB N^AzYmC Y#:&!Mc kFbA]1. "E^nz,c 'o}-w:< qZWg}|> ^/tAJS$ uMvg8w0 }=$6gMx #K3!Ey) IXi3DWd L&y9dc* o4,Fw'M V?aL!5C MUAokG` K8rNUh0 'w0q{5a Zc\2P{F ?t-Cbx` >tf`wFo .^59aF| wIFkBl= ieBPbxa re[-S$n n);6y}@ !O/L+xn `UPs%n} _PIx14] Da4I'Xe +/V.T5K $Y3;fHu td%Ijb( M_}*c6p _"Mo?5q l(MyWcs A?!9Z*o &DfiEC( !%`J.C? xwrTl4j >`"h2,! C]hWSUJ {7%[\LT KvoS,:g AC|D.*U vWqo$wN fFToQ.( F[)d5V` a>w5hi* {+|(0G= FHXDB4R >|)7(QD ;'hBeOQ si'N8(T hZ2Ij]G %Ra#h/2 !*KP1dp u.a3o96 ,MzD|_b dUnCJYs !3x8%&- SoPcONe 7^y2W86 +[L?<:a 3q['kHw cU:@*\" ;ZR(g9P RH$\6|N n*$-I^\ fxS$*O` [WS6@7w >kR'1(j oh*2HwE DY.I$ly v>39BLR .`UAhGT XzEJNx& DlE(}'] ;tR+Oa1 'xyk).3 ]}K'5|t I#TBd<. S&`)=@h (|[@Wqe !)j+2vk 6`ru+s4 biH1,2C [gnkTAv hS!1/\` n;`w_=c *Q>N(C` :RVZHWf Nu_weV= 7!+>O,* xLti`,X lW_kGtS GALbWQ> 9WQ5mKq Y,G4jx{ ]ZDCs)k +N;s<#" -UyQA9W R5MOJtb C$F+=0_ I(aE\J$ aw]jA{" 1%:'@8` 0WfQj:? Z]A:zUv Z|'xVkd RaL@nZ{ m@u1Sdx jQ1XO,F D{!\n?L ;DsN[5m ]Djk9aV [JkE+Vt ,^1)_qJ QXm]PyE Rq/rD1' *O#?$dh \yqp:!` fBVTctu HNr(6&] dR.nW09 >9E`hei /Lm\_-s ')/v4x{ G\c]#Cw 7-|xwnG 7zrE,S; NJy<FlT =dtSwho x;!X0t= lk[.#F\ zQT|C,_ =3[t]Y( s0nVAqz s-Qmi#z h|AeHE3 >2i5j_4 o(nPEt[ 8TZr.Lw {:`Y7-] Q5W|i=& Cu{%D&s LZb=(j, dPX7$3" jZ7UDoY D>cV<LP S:HP^>e vjwC.1& s?;oiTx 6}43:D2 KHjepFz ^?'mA7P 2enkCwz PR6tK-n ZVjlh7^ "(kM`Tv *PK0yg} Um#-*iP {8^mWL< k3^n'Ay iNR-mSB k0LvSqV 6XAuCF` 1]4(*7! b|\{z.w /9F(]qE 9Yv7Q1: *P?I,Bf V]1rAd% -&Qf:}3 "2Up1%w XwZ*$x/ c^,E:n% ^iUkD*H g)O^QUu =4H)OCP 'umJ5FS 2@lMFEI v:dt!Z1 RK6><r/ n=#2Tvw w#zL+JT {)xfhIw JsQ-h{$ @ImD-0T =f$-Oq^ t65-M$3 Mx)B/25 0sN`]O| !|xW,GU [NYwO;$ <\LmKX@ H)T@",Y )-!m1@b Ow@;!%b RAd\;'H I^{eaE" t5F6L)E 978SU2^ 5Ve]j!\ U{(jAzp 9J;0mX, 5I,Pe`D K$3ux%l :RNfk=w MFz1A+C z`G)+-& M@QG*-$ UYH!Kx+ }3Cf7p" $K-<Hp/ T;}n2vh k8{?:o| 4V)S|^c hJ-bS1C o7gd|R2 |JF#o{p |fSueUV P)I_]WG jAd;,DB /&xO5Kn )^+&Mf@ }@V64i9 [mt}c$k l_)dZ:\ 1Qn6bI@ Pn#r>!s =[SG+bT -qYF.XZ qj8.aNP :B`pS7x 2[_B1|4 3ux-v(V D#!^g\d 0r%#Bl\ vl}R2Iz x$8JRk^ 8<LAbg4 SBo43<N \8%o(z# U|)oa@4 ;=F<V){ wW?Qs{3 4r6Ooqx zd7Cxt8 z%:X?-n 4PZ7r`< KO$c2AL Q.57Ri` 7;/&K@j =k&!6T@ Udfj,/] J)o*aY, vQU1f}J Sb&d5X] &I\{}-L zlhbOIV &32TO?s ]UC73/R .A[3(Jz z_ng4]c A(=dO9Q u&9t>Hh AWzpUJd NpTkbcU F!t+Oyl vOwyJm! 6V$A_)M D%us?a& _m\LQ5X ev,xPpQ SUcyPWk XHBch2Y \&c}Yf: _x52}/? ZbwP-S} SJ-s8q} ?$Fp]l/ V3z-.G\ YCgy]|a Mj%USWv 5n>x[2\ `vIUxo1 4u3WZpA (*MxpUg D\:B]/K .T>jm12
Output
288

8. Many nicknames val Validator
Input
100 20 1000 zYW? QhD[ Tp LOb ;q<p "J 48 zDS ea 4)d 1H2 IYX NzJ/ DU ,oK $+u oGTZ MBsw ReKH 2* XG`t [g8j +; Sp1: +e4O )JC} E) 5p [zPH 3YlX 0Q+s [2 |`^1 (X [fHb H50 MsEf w[? A> o2r jY< bRPv R+ uvz _C3 JB Rda SnR {* w. Q,1 c3# Sn#% 1P%K J$ hX| $n &; aH* 5,wG 8. rP 8@$R Z@$" m)rs Lo KiTr 9Xc: LCZR mc @q? S> ]@ 2I9P T^ ?f PO L:' !S{ QW =6 fyhw s}6m t[ _9Bs kr 8T# 3|6 I\7w '-=b YA #!$ dpPL e^"$ oJa Y6 Yg \HC ENf W`I a : { A b ; % B c " 5 C d # | D e & 2 E f 7 $ F g @ 9 G h < \ H i ^ ( I j + [ J k ! . K l _ / L m 0 1 M n , 6 N o = ? O p - 4 P q } * Q r 8 ] R s 3 ' S t ) ` T ZlB|sM3 `}BGe7t eF(|`C2 N+Jk$qQ h@V?i#1 ^(1cl}# w.ur"^o J%|m8-! mfnQek$ PW+,'=; nM.IZ3y L1Nu?+. eLlP(uT B^/%V?; s8ro;-= 8N!F3Y} rQoh&6[ s3V$/rL 6tre?ZO Eq`.R^Y k:Fe2Yj H:(fV%8 M:vhs!` m'dyOTw &XOL[A^ "xU(NJu l[vXYQZ 4{DZF'd qF+\)j| @sW!}Z[ $/<([+- )*{xAO% Mez;>X! h4Y6eri ])flrh> ^l.O*h_ ,[y/Et] iz,j!\g IJn0@wR H(9qK}S ]6g^u8: Z.5N$C3 'HA\$LX Z}cn83< mej:5@2 \hL#W!P =paX+Ig a6m2|CZ g%q:r]H p;.vNIR Rj23eBk #m:Hfsg nqaY1^d pT`:/Jd AzC-EHr iFze?6P n<_Ni6z 0<dlWI/ tHACqLX @TbHm!t Ii'[g(B }_^H-FE w^8.g_s &b]%t=1 +J>8(Q0 :Z<dcx^ Re[5Qt( /2'+uc" {T%7;GC z?@^";2 (;f:qjL %?L0aY< zw=-eVN !'"$t[v GL^ItKz d8`-pt$ Y(ytRo{ i%U"RHa 4\qDGi} $0Rw9HO $u|a6rp /05"C]: Mm'AfSH _&!Q/Ml ?-O+3>p b"48;(Q F<inE0` /)QdTDo TZE7<)J xC_ne@% yfZ[d>* 9@YP1Ep %?iMZB: ?ZXb<f5 ]Bu3krU QJ31D<8 GfFlhzw K\;WYHP r]DRp(3 5>0SB.j bT.4^zS W3eM6n% cW4d7@G 7Q;(O\> mZDhGP/ t2B+4]Q -`a\lZH RmcdbL\ X?(:2%C XOr)aRN .0nyEYt |DQspbi G3%[NIh 0YBFql4 tMcuEeV D9o-$"i 8mtq3}& B5hR{/C _/CxsJZ Q1!jCDI |jpLrcf b59FjG= !^md}JK vJ'j7,W tVl&wF| k:BXu0+ K2"?z4n 7qc-u9l ;'Q5U29 XECu>9Q u/v=x[G YcV>s-R \!Uz(7C *vnITyh Q^{BLrM BXh%Ffj '(%vh&e ROlu3Z0 lAe=%jF $'Cc-8_ _TKcC3^ HQy.!G& XH,4`6S 73,KnEq PFwJhn3 ?Um{1_L Z[Lj{1! Rg=@,+Y UmvNsX[ @9gphY. VTcuwyS YfeLxEg H-St\2( 6)EW.^9 )b*,@X> |?]F2$V L`>qht, 1pNTE5w {u?R$)+ S(;*dD& O;EV-Gk W.YJXSZ !#kz%u` AK#{wvY eHBAJMC e/X5,a] r:ez8%F ;Jk#lwW |TW)jNn :$js1>k u9o-WtJ ;2q/RNc ?)g#Y>J G}ah|e_ !Qg_Obs `eAhJM? uo|IjdP 'uDG\yM _!lqD)3 `M<U&WE :voqL1t =}?\xYK TQ7_"ci #8W}Qd% QMBHJw# rU[|Q&0 .?:cdXq X?t'%AM /wuEypM xW(zRyG v}D`Rc$ :k|DX9$ S$g9w,8 1*UpV4h La!J)uZ ]6*mu{C ^,(2f=9 C*'MO(; oyeKt,V g8Ghz2F Fka:x=, .i->Az; kL`a%Dp (7<}RZx XAuzNGJ j$uYEF1 79\g?)P ]Q3r'O/ H%|x\R+ TMt4oO$ Qy8{u}c d^=Xj;< ]VA($br B|<zai$ D8Ey&|l pQ=nJt- CmWk9YA r04RhjZ $ZQ(gt= [wlH9d5 ND*8e\5 H8q)NE= W3R/hX\ #cL8/+* `YRz4i= gEtdT*S MthbmjO vQGV.:B R,[iso7 Wf!Ht`j MKQ.^Z/ l+NjL$a `+U(@%O S1bU^#> G]T/A}9 e'xW$pt 6)owYnD (k/KZ;Q H3Zb|-( iYaXB_1 8`T:"I. >8xM#U* :Hs]-C2 *"(P%fh wIThYNt hf29Fc0 '2T#Nyq BC_Y0lR %VHIR]A 3edcN?X w{|j]lW 0Yd-Fsr uI!<T_Q {cRx+mX -oB(vX& 5[d}&|u &g!aTe* e}k7|l: <z|VuU? G_;J`ka |26wU!] KrR[q#7 e=HhPdl X30/z(> O;3S7f: _QUS9V: GoC"pPv QWBC|c7 y=<vm#Q Obgn]uM x:R/+si K+_of\A H^"4?a\ zSF%e16 j]4#`%W ^Brg)S/ oHx\1*R ?aLuyj' a.KA;\t @az7"I^ c6dUMI& U_%>2Iv -[b/{"h ?g(xD_W %PQvM|, &4^e]z7 5ng(*L- 8gX#"Hj _5i9RLJ 98klA'< CJ[|9]< Z&-T8i2 T;Wf19& 90k/*M? Rf><'85 9q|]xo< $yoJuQ+ ;[3#2Ks >ntjUGk )|5Hlq> -f)5Nl[ )/^1f'p <BP!b.[ Y1WqcX3 aed0hU} \64U2PE &m@E*"j cmY{:0v yXd|:]@ /szFUQG f2QnM[] bq\s&n| ULv3q[f HL+2S}1 s%l^(/r L+;Sn>! 70|j&CP <(d0EVo >}Vgb@) Q|p"VBZ cP'W)_^ |F}Pan- h*arvFg /tZ8'\K 3Q"o/[B -@}%x(A C^ZAK)O ?4WirD= ,B/&be` @vd/$Sj 3=ZuN@J x#8zUH2 oGk7f5} ,3vmsjr "=e-z+A 3ug=eMB ]k^_l>} G'B`*le eI[chVt zXLr41^ ,.:&l8_ ]SwvMVs s:r9q|) C}D[e9Q 0zjlH`] W\,-0+a 6f'*@9l C8i^45S WdP0<H_ TFMJoQb ckX=$\, ozA9V&d VOlBSjH hX2ewqF |=_[F*} bPcj(HG YXDdGuV BrTU*"5 VW_GP]w aO9fjq7 Y;"&:!_ /^5Y_U} (hGP)4X w9\ytMd q8x$e:3 +W(wU=\ ^<dE@N: wdn@mpR Mq!W[:h Om|B"-z +64uoRd vqC^}MZ Ti}.3*0 !"W'=/9 x=@/O3d <Zj=1X$ d%jSN+r #Pe)!Ah P%/1Lr' &BI*o=t qhNuv%e YMrJOgT ^_U9wRv U_qOmL) AU_N0+D HI/FEBV :HZ?xia z\S=0{* QzNl`A8 3,}C:tj <G$2Ktj iAHU(&w L:,<c3Y >z-@3<k 1DEi@s7 YQnIdWX uJ/TchE "$RbI<r zv{6@jo 146H5;9 PL5$YZ( &})w<VO cRUK2y* zLB'$Tv [67>(=B |}#w?FV pm(UbBk YTD,mC? pBryC9A u57(w{y 4|V#f(` 6VI`\Wi |B!:W>M :5n>`@^ mv$TLIw #R@l0P) TKgMcRQ DSymj/: D^5S="k @4oVdDw r|\D1j( 1bCJkO{ -a5r4<" u9Hcm+E tWFlR/V f$EOeCI gHY9kO+ bN%TZ+i y[r4&"J vwH=N&B iF!Qm3y KvmA6#) =VRI?Em +8'MFXY 0s4fDd, )DSjuT9 "nEFeJI TF4,`c= {:-|7l2 jh{BN&? (\X]%Vq aKVc}($ xmkU2Qc &64v%GS gi3Gpo+ Lv*1q>l vrSlLEy *Vh;\my M<*r&(Q (uy_ioS Ohq8(Nj lkXjb\A Zg#Fh]` AO<^i?X +{snBOY ]}I7/&P gw3tf{^ >_boZc/ Wf!o$4- ;^=jhz1 D3=QOsk wEK0ku' 1*.2w5t i2rZS}h ;]26(^H by&^$_? h-t6T\O kAsle-b .?4sBUt |h3d0-, 9Z;yLJ] Pq]$CDz ,L<eM!2 $Qo&DeA ^G6$zJ0 )x8GzL> bL+OHo. !@6;wcm j)*^nf5 iZ+.*xo V(bUjd8 >`pkH=: (0pcx"V E=Z2)$0 &f]^VWB %*4x_3L Z=l5/x* I{l1p}A m:pc'sf O1{Sy^+ qm%e=7{ Z,'l7qt Ju!?v:T [hEf(5^ -deqShJ =\%ir$s {4qOr#0 qEo#d`R ^plf5F" xl$<V\; zP$A06K []skNv2 Fi_qU|R {c!}6L7 dMI8q'} WpU<N23 navp5^G nv.(KT: tQ4z@[F lSf7OCz ,AK"Sql Wz+0pM1 pObzEW6 N5W|Zg8 /+Y(G{! .\>hJG# zQuc>Pa 8V->p,q /e9sW26 `bs+[{( 1!\FY'[ =OaTs.b al`n9>{ Osk@1,c s[WOzT= Aa[m}{z WAdVCg/ wpM`EfN zC"?1sE =Cy7*O" Nieo}Yh Jn\gTh9 7n[MJ<4 T(/KL^N <!|C?hn )^{e$z0 g'.NqH} `nl%SBQ ';Si=Yu kOz5*_y sHj{N3q X}r1"C3 9H6ht;A [8HK-L2 o^PDK(? Y-,MsdI jrR2x.0 qF-M0CD c&#b8"1 Z;_c@-P f2{cA|I (hc{r3J }[e4INd [RMCnv5 >H:|i@q iU3}c5! wp6h)'% Q'2Ja7H TK$SHUj 8|[!p-A c9RIsXd !<Uo$b+ s!tl6#[ n}(yuWD i&TNh]g 3^{mtI+ =bMG-lE :'3<.U2 i]-IQp^ yUJ+/w[ C9SzP6V JWy0O-E AfKdR$, vD4K`M} @+mFT(i yA4P<N! `Xu!}n{ 7o<)nMl QAfuE(: GqZUetS .'R#D`) Vw9?(cp >HK^hC_ 72kDeiB /[!O]re m$tjk&M j)?<#(. =(uc!Ga 45_0$j9 G9e_#b' tr}ZvPO 6boa"y0 qvZWn%H 6eI'MWO &SO1/b5 g9(6AVP 8yfR$HG 32Pm*1z U|A2@>= O=#0naJ ]=5<(e: aO8|Ybx LEGpC:J JTl]/c9 MJb:\xj VPko^Hl pD1#KvI uJ'Q9/y 4,7\I0] oxXi)kG 2U_48F( %kTj6>8 A5[_(T] sk7.;}4 (d{0;.S UXt=+73 "Ym$.lq g|2k4H5 E$Lqg:& %6/c#R: q;D4HcN 0TOH9k+ 8^+O3U? d.3[H_O YN9C\y) eS|YRmF [email protected] 4.\&-Z* e|CVI>] l&8R;cm "K94!1< 1_/7<\? v!<[3iT *gs49e% @pW>w,N %kz5KE8 G&C3Qma \'(!0O2 `FnR$1< 4'#fVgu _kXq05B xt0jl-a wxIB&MY ?Fsbq{x e8_TR<i [k$^=b( 0S5f&,N 1yauDCL lcUG:&C v473%Zg isuLw]Z N9KE>qO R\Y2/tg 7bLx}X1 3a*;@Q, }g*;m`a "P_mI|h 6[<n\NB XRPT(pD 2I+kE_? CMyQu&4 dS`$aEV nH{u@X, (M]txv/ Glye.UC K2jVnw^ B6_d:mi g$onW&x qzR%:@0 t"g_9@* ls:u;&y X*l(=Y> ?4DKWCl TUpMA%t ^i7nw[G 0.;y4'Y bac+:!g ."{5/rq Y`P$Ro/ }WhJ(01 L"G9qbI &0*-xLz lcExtd& L).&6uN ^m%]8v{ `*Bjm2i :K'>nN< ^$'svZ# R!?MH.p yEZ$/?; G+i8mXz by53RKw PCE!mNu ?0${jb| s|QI.:E Rl6"0vu p\SdIU- ]T.I2%g |[u!Y/& %e(fHUt >A'MsvF .$W,0}c ;nAiJD' :Zv#')* Mei'Fr2 cZ)JPF6 <V%6aq1 -#D4%fo sV%=,@" J/+`E@5 :.uW}6X .b}<T#| nilm`([ uGXTK:- kNxe?(j L4brGiv .5=8>Iq i,3IK#E P$0l/LU I-nZ|9m 9f@,qbx 'jK1S}F !/*aN^, 38\TrU% R@<HpU5 @PjDh*Z zuV"0P! ;kD<*0/ us/Oe2y iryH\&o KCP:_k? D#$b,r\ ]lk3}`P Q|h}z?Y MFiy2>\ YJ@PsIA SiU:I+( >9WCn*v lgpD9n} "eaC[sW g3A|-D[ $*X(r=2 Od5;j1G [nS4>a\ [z-9hv{ TwMGYWc 3ROv{f" Z]<u*MX CAZM3_- ^Gy&Sj/ F.3f]=H S/sQIB, NrFHEGi v-X>L}y 0nxqS5& rjHsO!) NCaMgY! '!tuawh 1Uj}cbB 3q6s$K9 eAn7g!W #0{6TIE 3]r2b&[ NL"&nEH m!p>x6g wi:[|<S DV9rgCy @B4q#2p sMJgVjx iu'K![w T-zpkt< =<0*Aue C}OP(fR moY8VaO u1;2Grm h'cZp]4 *#|M$b) ^F8lPe% SFi{e]Z Gl_OdS@ hVs&H\^ _(g8sM\ ,c}Xd|i u_r>!zN 5D0&.Oj ,1mO?{0 xL\^SOl _2t:f<3 ?J+Cj[c M)\;}2f .*K%Hz{ o_LtOV( 3gGU|%+ c{y2En/ eJB#[:R m9zC@yZ O?^(xvd 5m<I(#H 9]bczo( d([)I>f 7)@WV,i {hm9i4c _.c<:pB <6lpZ>A syC!hWR =7BSckG UQ:'^=) RG@iF?g e@z9q&- %o5iVL& kX$u)G2 `V8,}v" H=/^'WC F(Q8z|J >ry7qW} CwR>Nz@ kD>?QGo !zmGT9P {E'zo#O 6Z537}L 9m;+Vj/ E,SH:)h ;rDFuk| S)\qJ4O c;dNGvI Xms}\$V b^/<SZv S8sk=dF K7+r?I3 'Dzmv,1 9pQ?.-, MZ[]/h! #o4eA;| GN?l+`r 5A?%.Gn WJkeq5p y}9m*+G C*DK9^e 7spjZa. m*$8-uY *)FfwKZ 28Y7uN# 6J@8rEo $0>gya2 /t)szBe \#p<8K{ sW|,iu7 ;8LSX]a }16[q9= */fa,q1 ESnQRKZ !VFhHS; z<%G]Q- >qPX8A) j(K=xhp 8FCf(ki gh*>Ul: 3E78HBp 'GE&t[< q8I^Hb5 sR(x}hr up$H:oc !'"2`b8 7B'V=hL SXiytdb Vo\J8s4 c\ON=7Y |(']B/L !{R2/*N .vNJZkn FB/H\dE IS)N=(- @)Yk]8w lk5*{>r tC'0>/D ZF7p3jc O`,wHCc jEM,OG} Njl^?kH [/B(T9F pV<hsj7 l|;42KR HFQ]2cP *P;BfHZ _wWB}Ft Vq"u(Ct I{7w(4T sHmIn!P `}^/B\G }MY#B+- :w9y?Y= uvckf"U y{m4)($ N:-*(Ke 8(M}=$O QmYa|Cc *Q62`YK Y}cs@o= UK<pWgE &4HLy{p #VeO}*C tAg$\jk k?Wj\ID &4ZS6Ud BO}PYj7 (g`=Swy y3GBAhS v$\G.3R *9$0Zz{ lGhJ-%q 2AO;i\3 e6/._*V *^ci8rE *n@V^sG )OS"EY( K`7t$Hb #Sk74r! pyq5B,j +-?wnH5 -mEbs>` (P|jhIp @X<5moA 59}18ms ewj90^q :,}br%m mvsjF_P yC8TcY5 CS]?m}Y 6R(1Ga7 ,z`v9-Q [jpTy@+ fb]<I|\ ^)&MnJ[ AE0HYIj /pS5C^> X|BY.{W '=Jt_+[ _MF|HC6 &(xH*u\ |@luibp C'2^HT? =Y8fv|/ mG_3RQD >SR"Mvf ezb0\:[ sU[?=gN 19R|Mt/ %cgMfj@ bvJ;cx# AYlr_7X eaU$A(| a"^0\h@ @_a*+4F Ex]NSL\ ;dk`8+H drC(Y,i ]kNHydG ckUGr5\ (y%z>re -\1cQ#l 7`Wl^o( |`Hd;kl ([email protected] zW.G+x& P[AF;h{ HQKyPJE 2Zn!X}# WMYIK,q -*O+0`h eJXzoh% QXsxC&n qn!^}l@ 6fAl2#_ =}p'1eg 1+B?kU= A/LGdN: y!seO_& '`40!af JIN{T@4 oS2z,]K 5hg<ZP= n"kM/ZH 59j8gRi 'Jf<Bol ):\Y,1d `,:\s|S +O0"2i) K*mQ'87 ]vi[&Px ZTmQct6 S6^vxVg "k@-HjE @qisIf: .`ErA=s nR0_3-J 9JH&jca aq*(KpF W3y$n4| {R@n1xP da#[Tu8
Output
261

9. Everything fine Test
Input
100 20 500 Q`+DL85 bA"RE R}v2zu' WhAdakj /n_h:JG J?>xzX` `at&+yc h]=5<7# !vh&b brIji* A'LR<Z IQhL+R xy2OfK< }]!Qts $b`nveQ ]u+N. APRm< "2FC<5h UXAW_ (a&Bj%b %p2uJ0 6J8|$L Db:epu *(j'7 r}x|E` ,#&NAh <6sFg+0 RU!Ei eT0!Z_A #4KQ7`! f_C@\ `J5V|p YGWA# -'D"r 7-NV@Xu )myCS$l r/CME^ {#wC3as Uo.\a6 1a?z5 C@kIBKH O7.Q4 \5I,8D X*=3O %Dr}T R#k'`,X 7aHP$T w-J)t(U W<-Zw i.u":K y($W2 yk,c' hpx?#z /y`53k (wOdf d+hS0J8 B/K-YrU E8vleC_ MZ,GJ SWR&7 q=1JGIv tG;{# !>bv.2 ^LE#cd@ .dvN=X |%*xX bPteE siz{y) A1Zm[ p)y\U "hYCFc ,2:K& NaYP$2% 'sN5a8 ct:KWmz 9b{q2zy 6Ror+" Aex}j? g^OYv @.\BO^) ,LA4*2a */srxD} nGpLK %8W3? \Wvd@E= _*|KV 6i+82Ht DZ@g9 +5?WR* e8(|coG xY_|z t1hU+ m=(b# hiq'[8 43=TA Bc8(*G \T_(r] 'S.,uMv Y,{47 xQduA a 3 % A b + 1 B c ( ) C d # 7 D e ? * E f ; $ F g 2 ! G h \ ^ H i @ , I j & _ J k ' 5 K l . 9 L m 4 < M n [ / N o 6 " O p { : P q 0 | Q r - > R s } 8 S t ] = T u1gaqF{Y[\B)H,Z Lt\1(s$Nbr*>J|+ C&i[}rZ;JvVE.UQ &(h+_94\SH@"ixM 8eB"hP/{YJfKTlo [#HujMqgJ9)hWn} @=pX)sWObz-P%KV ;Mb?7pe^VOC(9D5 E+{L/xk_pczZ^5r L4\Urb;cB=}5si2 U`3_o%|Pjrv9;Et ZEJ$kYeBLd[K.lm kZ+@q(W%[LgM$m2 {mcXjLT8'ySCwl> ["tX(;e4{}]6uvm m`Qjyo]p%"Fw#i7 Mn)LVS]g(6UTY4{ )fEFoiL7^:-&gR} uq|eIO{9d]#_jQ? 9jYU`BQ\^dTx;0} VW"kM(jym035Qr| `(@vYed,Hz"'9tV f|9:VwHMASFX}@v U6|V1xkT`[%)DCN #APHVghqS3ed'92 <rQ9dW>E{mAN[k] $EaCYcV#2e0{n)' Q*AlV[58OMo|yt1 a$LUKfok;*|M8Hc bW<t!r:-SDFB@\z L'=fI+p6s@?S&Q[ .`Fy<viL$0q6QmZ W^V=."5/_eE,0<M jWYl3q(6VTMA@!7 #q=CZ,H3ym"t@9J k,N;<zYW`h4EV![ F#nRD,/)V<2sGJ@ leI5bk,>Y0hU\:? 5MOR8=Kr}qu._ms UPz'X2?`+1&^V]G ZY>*rU0oItWQ]6X 0+)GMgihYuV;-o[ _5ylh3!"U6sIY\D #<L'&`T\169e}Oy ?}0)gGN5,$ioRhZ )(|R@/gte>.ySvu JiOb[3c"_w{VU#S Swi-'"ym?3=&b]0 hbfZXWA$Q!cUn"C {=z8Am`4;7ExY$* 27%(qDGpRf:M,hS *rpTJn.F}'GcDU` [h3cwX/p7d(l"4O t39gs;/.ir!,75= &od9|U`G/\{;wAq '"a^d.#*eG<-}@c 0"YP+4K@v)%'mwl E#_HF;Wav2Rypqu Pg<y"i}4/Kw%^*F ,UHQw)hn!tNKgmR @O+<!=HiR{s-ZJ> 3fi_;(Ebr]L="pI l@!G*oa[]1UEv/5 I%NMqk0eZ."7l3] y.6?Da)`3sIK%ih |K'(Ne8`"bx/d)> Wh!ID<9zt`$S,GL L=n-!q"D6gZS'JU ml9RE}Xqi]|6sgZ '@bezM6T,l+AS2X ;/rFmM<($NXywnD nI:`fAwk"W49[.m Z@}q"PwV,p.i`!= PQ<W2>pB'e$`d,i ivdIwK*Q^kyH.Ms $wZq:yTB\"Pcjz} m>B!:ki]hjQ<RGK X;FS|^r=LQv&1,` b}N$&r,3DHE.fu( 6DAPO3jcJ7F&Cg< q]PCmTaQl_Eh?93 ml,2g[T;'<dR5b{ '$Hf1.Du,4iWTS} exIC&#>Aos1c%k; 7aY!ykT>@q|K{"5 aJ'O/e(_0dKPu8Z W|u^OVMGJty")({ H/a:Amn}bU`)#p9 RSE["%t>2-J?;&i I'A]W_yB:YjG@,{ .|>G}aThecBdV5( yprI71&;':)e|R^ HXg+dR"WBZ;@McV A}ul){v1(&@<|Jk X(0|My:E<c`t%i[ 0i.m8&P-,ltVr3c )Gg,LH=Z;1Vn"+w x4A;,CSWr]?a!DX 3+Z[2@it:G*>0Qe }&TaorvcuM`x/OS o':8_"SMB{vGP7& m,azv%O&C`$TYD) U'Vw^gBPsd5qc<Z VoSW=XYONbq|KGI M}Pe#6CVuAwLjFB j}*M:5xigv%kY|b _ngP:rap@BqYFf6 @n=K+FMQ}0{(PpN tX)FR`Ik?P[(-+G "gtY145iQPIaAWv 3uH-2aW?>%PJSw# \ados&>TDF<8_p| i*>@JLsIG8tVDw! TRQS10ma2F5o%^i Mqb3Lnc&#,v@ISW *Twx{iIarGueL}l K(2w[*HOp.t8_J< %'}]`ZJj[0faNQ@ <xc{E^XkPO+h2F0 >o)@\En{,F[:CT" rb|7:tBs5iu^F3p s+V(#,/j1_vy")F =o15VsDpcSC^U", `.t$e)4W8?(y0#} QoV:2y.Wb\N=UZa 94_2dI.eA8u`twx :l.Uu*3`Kq5=kTo 8L|2$wDjevWkaRI e\>rgdT8&P?S|.Y s:$K/*l[Wcf{bia YSr:|$bcUq`/#o8 2#OG1[UpM9'+el{ IYg2A)%'O^s-:WT kD2V5%j&3E}xCrO }%>1.oAsIKzGOM# :,%"N4f9|0)C`d' (n`f\%=U&k,X6M7 sqL<Ep:{Q/ZxJB_ }+1Km7,FaO]bwHZ _}Q|ogKNw#-/vTq @3G(*7i+BaE#%Un y/eU9\`Cp-?hj^l nm,t^e:$.by_9}2 _xng"6S@h;#GCUM jh4X=;T)HnD]ev" M2xOR9y4e;|Q8[J >xAXG"K04E<?mqz '&1jtaYJp7!8hM} pgSL}:mxjb?q;cU 8};('6?jE:|YcO_ uUkl23!BC'j_4z) _&a[u?rmL@OF6!d ,XsUwVx'L:jczk( aX%|r[{tnz$-cmf 5|W8,'KTD/&3gEk z;9B&iWInVKD)`4 im\d-+Z$M7|@E}' ;EP\+[w_1{35qcO U+6JV'7YsRS$(kt (IGu2\xE^cJ.l&o )T(c7J/s>[&{#6= 3[;rDXT_(}C*k0f PBWR\)4|h7LVEIf 2d8I:$Zf'mOWvT9 GkVtqe]>sI`/3m2 GU&'%V0bF_gC{mY tZ)y9>+OM$SRs5% 9G]j`1rf$F3-%LQ DU7Vkn"a`lp;'H/ ias\kS3lpQIAEK/ Q9b$,/K'tR_`J2w sbN@mFRZG&[xKtW {ag/-|QK4E1)RI" I_dCVrmWz*ph$1% cdy;8!K0FzCD@-1 MRHfm$4p(Z8@WQ: 61T{C]km\cGQ$)D ?7{+&>`bsx@=;o. -c.5wpYh\@nb'(y !%c_:D?zMrZAOV. N:k[w.m/}MYEaRL K{HlF+M0E(vb1*I LbUk?iovVcjlgQa Ab$RD&9qI2[z_SL Gvpn.)oazMZ&jqF n+P@Fw}Y^eXxdfp G2umn6wlJ]pWa{D af_]#VtL*wDRQA' 826BmlC:I`;[{,+ t!.Gvsai/x2`&?w y_YiuGfv2Hg\U)V D[M:Awr#=@b'{*j *2a1b3<]m(+05RL /}d9H0,wr7Vl&:@ g):*|>,n0(`$Tjd ]y<gf0qLjk}2@7D pJ=Y&:c>+e8f9X{ [n%,8lUG'cRwSbJ I(T!Vgaf-<7zKe} rgxLyZf`#@<;41W X*rf/a;Ri0!oZ-K PpAw.Iu{1'6TM-7 aJrVsWgf6u-ZK+O =Q<?Y,_0n>JvU&w {PrVN5Y,cn(Hd>) apnO9(&SB:Gd@4# (0;|u)#%hX*E=Ht }SNU4=o87In<Fez 5t-29qvP,nHj\%. C&H'L5-4YnXEQop (e9jt1K`k/4zWxo xu*(5i7CZX@1a:m #*/xY|8bEt;}Z{j o6YIuCznQ=.Z|84 {1,h8.'@BPWsmZ4 -@7VDNXg_b&(%>I od/uvb^,x}GlT%U 0v=AO('3:"^e2>S ZPp2O;qo.09^m:z 8o}DG#">@ry-a9B Wi4E,TZJeb%taIm =.d4v+Z0kVf`r/_ T<C6d*.{!">Ou?8 fnO+p$PywNGk=`8 dfZ(}9^#V!]pgrP JW*,}I7;ct0AuoG bV}W7)jRgy(1heO +KE9;r@!?lP<mOG H5z94Gs8_x=f<hY =vdg&4wo[<Q)OH- d{_}6!3'Pv=@cei t%5z`LOUqhbu#_f /[_or$%]jOZ2G@z tGwc.u$Rf"]-EON ?+s&2:\p8nVv"Xz -3O]%y8#K4j\`Su cjAs.Q3![{NfCWV j:uq(Nz\a4/V3e# j{J!Pg}@;I2&CX7 7'20sY&5wzrei%< ?^UrA[G-gD;C2qX 5>$)r6-ba!0^YQN +zq2r9SwPd,pU6* _@Wd:-2yrtIkCcv vSI`<)J?^-1BkT! bJh&XC09WANx3md fE>uqB9"|dM;Q*e `3o:Zly9E!tQ*8X c+Oaq_4@Wbv}sT] sTwzmxPtkC-O*o( D]9-+Rd1VpA8PLu &Vu3;`oDESr02al &jE1>qi"JnAD2Hw '&vo`Mc3pK|_Z}d 67Coqnx:][2T{Is M-rkBZ='9mRj$LH #Z3Rmq$u{bz/,1T `<|W3Q'7E"&2rAU BT6[w=?jbNL)%$P lQ%OdDm.]+n)jfZ l!\MOC@[43(s<1K <(FSp@]La}3$#h^ fk[_^*CSU,|us7v sGv/&!,FR=J`*j- \z'0RM"t1n$&q)L dEvQWMK%l.FobjS ;o/U\*Y7C$#"y'0 nd7%.`]$_x=<p)G ELiS!@?`clb/{Tr rgYK_>+,BWD]vQH Gy:aM(RU0D8T^{% iP*u\v&;}NW0#O/ ig7bs[V/kT!?%wm '{:0h+oMW5lTc!g \o:Ku!`0&D?O=G4 ;Cg|8,wSRDd=lL" D%Z1$Q[pyV-RsC0 8Hy@Fu-OsUX!,'p Xc(gnZsQuEm.MHB &XUBi,F:}=cCs`j M4i(0&bOpvZ^E3V Br5=kNi@WhS_z{Z #lD!vKTNp+].=J} 6#bf^.z>C4N_=P& 2!gBw1%7,l{]V_d x\WDp&U:Yj)>ziZ V]qaHs).3vx%A?* pu?}$*/U82%:li1 c9F12=`j\QlbN7x 8+P/sx4kE<GOmUw [;L{x5r'3ktquIl +o_)8YBk{mf2'5E rQXc6*F'C})iT-] aQPCF%{2j5YL>I[ b"}mu9wZ^'Af\;` ZN'Q@|s$-3^hKOr MH!bh40menzsO)_ UWQB?/-I(O5'A4V _dpE{n9Dv+5}S]x >=){u2jv|olTS@' 5IQ(Y_8[16wjFua a])phqzN{P@C5Q\ |svj6ckU-_fod:^ ZcXY+!J38`]M1b: $Hg^!5/}XRN]x&: rQ2)-?=w5!j4]*C }lJI{'?bE5L6"q\ l:y\i#bKOk6dEh, +jmN`l"}uw$Yfo_ R#-@}zi)Bfo{>4" PF/vx`b3*[c^uVg TKJ8S5[O}Z|Pri7 2B1=+<0o&m7AdY5 @5Y{+,O%QT9jt}L 1`byhVSPZu3Gl9T is"cz1IZS|q6_\V h7j0W%2*{H1_gIf %oO.k_}BMahT[Lw chJ^gyo\HRn+2d$ M\gz8+*u<3.TN15 Qd),fM6DvYB8k'H h&Gk.("fQ[BPgtU jx*em^lM31R(V{D }IP9.TX(?z)-F+Q <>X2;I9mkqYF!3| cdr\jJ[|_1)LAI- V;>|tNolB=Y$[L_ 2I`JC=l:v,&LAjX #}BsIy0Vw&uXC>q W5B}Z4*`Eb(d]Dv 7*3|nJ<XG[iZ;wO n21MbKiNz|_:mYQ ?1]qri!/k2<XOx{ b`WBEkVT>K)9%eH ,v9bWFoB"NxKf_m y=nBlCQA(gq_hE4 ?&zh:RtDX.VF{#; bYDj%RfVxPa0:?= |+<29(ch;HO{$e^ qZB64lsI,`*X}S\ uIVtzNn&:!vBY)L +(lSwN]VZcRHf28 u\R@ZI-yTW[paDK aAg{Z2JQ!dz67+H wHyW]*rRz0`^OX| P>TA;v\'R&6dzV7 (rDo3-tn[6O2C|= =G<\13F;hpm!2V[ j,nrO7KQpGAC)^\ 6/S->`tsV,39Z!+ eG+ZXdKCoEzhHa( .:"'Z@\/u(37p&P 7J/90jERWce,h(+ DJ^@-[4"(MmnaOd ^);=U<cg]78Nw(' sHD5T2I)_Lv[$UY 70SUB*;G|}lD(]3 fU:>!qPma3}en7Y 6GyPkmcs%&L^qf\ DYE0xO%T-u'$=({ VNJ"mEFohT5vxtl "b^2F#0&`Y7=,u( O"U.&K,NCvxJ@uH Sn^a$YJLTq;#5XM yRC"%OJ*rmEa/ZL 5b7Z{&#S8^M4aHL ^C2<Sz.?,uD}v:k mk.ynLs}<pHc[{P a$L>:3=*e]vIymY 6Oe0_%;}Yj8c=Wf hO3\pl4{7v:[VY9 h(GQdMfS!:|zJ}@ ?F$U*dO;6ItH.s' F)7xAHN.o0G"#9& hF*qi\kns!E)=p& P3:[8?}S(ry,6mi J]$uK2svrRId3>B 3KBR=yVh`(ekT9| \}4EuMC)tFr_;Kj R*9>ClkO"2)/3}Z {5^re*;_Q/1"\8Z <,Ig?|[`KZ:u;aY Sw<!D/h.}l+8QV\ du*CvJ8xq(&5`1a Wo9M>nHJ?Cdy"!j xJN*qj=S1nm9^.{ :O!$r{p"jLQM^F> 2Pz(^rUqj/3Jp=G >8q<smwK)zh57\P W(fi$K:]z=BX3Yg y4J2'73WpDYbB][ gOpm%waGEjc|Z,K Lf.TxJYF!tm^o1{ bq_UB.ME5)3y;tW ?74\Y#(:82@AwfK T^vjLNgR9`z2qe- ,jE@.$VfKF!w1AI [2\3=nM]4yAGO9f *.:oh?_1njgyMmb C])Y@$GlW{49s"% f|`<{XSd9G(^Wu& v26s'mbKWzX];FM ,NljGZhf|IEA:U" `Z_l}|D\G!km/4a ?*^D!n9]-Qw[18I *:UDo]Zz/A;2|ce E5DuI`",!ahb9{q :jEaZU|,Gnd\mYp (#E@auHQ"|[,WPA Z=$:)(#}A{GB0-k W6Z.{PMQB4(x</N k*mXYORD/0%2#hS );R!6$kvi7AxEBN mFH8}L[p>rW@&Eo l0Ab%YPrN9S\V4R NKR*dw"CQW+fia% R5!%@bGH0TUp+\Y $RE[PNdOIFqz+`& 7,^-@p}Tj1;cV$: u$A!=4F+_fz.X/U .VeYt_`*/3PCLW) 5%W-{u0?mq4c=Ug |vIdL;Sn-p=ijx` .#k8Eh,3:1jN/6d y$iHr{8oJG:kxz" 7f%6grQmcC)yI&o Xs#B4SbTOgKerH\ THZclkq35V4rE=w ?]BYyE+HCKtg^ic 0">Q+H-Fok'lh8X 7s[PD_l|="6ertx -ENcR{.;o%fhL<M lUvA:@wi{VGXKx% aT#X],S6x5"$f%z +d.G]a8J&E;{#[| L)l'=<PN&WqX_eu *Jx#?ajHG4WO\P) hIMUl%RY][ad_>} P<hH%f49VQyOB,w t)GX.SW]?#o_8e2 B8#/>W69F|K!o]t !uYqUwFoT,N9^d" VfMu_-7!e}+Zn&D m>U)xB4kf*SQ|u2 0/4^]_sgp.xI)#h AV[\9kcR]up3N,b JLjpN9BaV_<"K+; *D$zIp2KiOF't.N 0iY[Vo9S*.I}D,w 6V;lgEYKZCMv7NL 1yt=(ki5:`8jOl$ IT5mYa-^{9tq'r; X4jL+316urs*P)I IeFY5!=vb[LNEKq }BY$hWXU2zatPu! k-rQLC?'I.FE:!) /hQU3{`mX}W0y%G ^"\MVa(?@GR!<[B YLg\7JV"l-XO'wU `F15+{&2|=;b*BP -Gam(\SY|wq?]Fo ]Z*lP-<@SeycRtd F9(K#b.Epu8-@Zl +lc'`y!,?HU:\W4 uFQp<|+o8Y^GlVx cjFd6:G+}EqNYR1 rdT[m5u'Mn1{g}| DJ'<*#v|r0z3o7c (Q*dT)2qs+,WV^6 $70o'vhkp;"ju&l Mm7Z{3Ek<hb"yKq ^ZSyC#i<5=pc$R| .R`a9S:(-]*=$'D !vXPo(]Cd:jb3?i cANrD@#JOIw:j'0 Nfiat.`m#$glK_! @:6_3]1.yE"+09` ZGyq8bhHe_[YKS2 TBj=J9*]fePn.(r `w3VkOPabHed<6n w;=dN/_8g1Q4bfI |q1`kTrXR\jbKy0 9$b4my3B51PrJ6: TFq*{`B^2|c)@;K T1K^2X4#Fhd(Y*w P'9Da5SRyckq1*A +8wG9>{'&k42D*- !:p$/S)v}dBsf{& [hsDoXIYC'4.!)z '|&PfBC`s$}F\6{ -7mAU(Jk5@_{hq4 !:#i-@wEcnXF)DR Q&Z[g{ndfy#W)rR H.h[;07kt"*S|uA ]#c{Vq^4E%>RTQu g6`W#>I1@Mq5[^j [ZH?sJX7,\^bCK& )&v,dkSIjiL;!f\ }RNsP(\;8!4OW_& q`j8V]7o-:JZ!=,
Output
0

9. Everything fine val Validator
Input
100 20 500 wP?8(`H EmQ6v! MN]Qx| _WAe-G 2&w8"^v _i'r@5N {N_(aq) *a"l%\w 0i=TXn "j`bPK @-\`q[b $K7Nc UbW$6. 8&(.J $)gbX8t =0*Wp O]AhWL+ f%Pia)o AnD7!xN Nxl^8 %',o]4L 4'aZsJ| ]_+B,6' ^U8#6T h^JXj 5fjcD/6 M\aU-W% {Tq_Q m-pV;|Y hyv9; ywYSt{+ Cc-@> f%N@^I8 v|;s+ #U*ur $C]p=*B m:+p/ CQ{cd c4A=ltH !w-Cs *M$l?Nj G1Mz%Um ]UpB/ 5r?V.N pu9wZ sId&xF E}juVPW m(yL9IV $DU.T U[MHFn h1r}+8C KV:*c Y}|<4 d!7jVQ ^N1\A= #1e2'N <86m% Yo[xOA sS<Oce `!'.k [cz4tW} \BsKj -dDe?PE b^8Q? `Lm3u ua:2z Mu2W| JB^KF6 A=e(9 /OanH. 86T0# IYy#,R ZlA=a7) vq`hP6d 4cH&35d FsSTqXW c(MEs *L\XY]C EC?!u 5(<s6c n^L1e p#ATM r7DSM@x $D4mZ xZ}Pdk 1pSs:Pw E`s*?o p6)\vL xLay)( m:v0-I, 2xUys@V T^A'7; =mzQ2: omR4]I +q\*L _eYA? =RiZg 3iJb*X@ E,%uS pw8v, a ` 0 A b 2 ' B c ] < C d & ! D e % ^ E f ? = F g 7 > G h 1 8 H i 6 : I j 3 + J k # * K l - \ L m , [ M n _ / N o } ) O p $ . P q @ 5 Q r { 4 R s ; " S t | 9 T CLtx}$O*>BDMVfc PS|9{(vu=o/87kf 9Vx;rO'kRU<8zHw 9;fxrnmhyL=oeN| |f08`C;TxJ<koWH Q>g,1cF9@{OH+lf ,L%CJf=KS[)>gsQ d)^p|U0O9-jZ;cq Q\?LgCeV)ayc`07 wv24{9H*N>h+reU #LhlO"!{KR)H'uq `IE\Ga%/H;}?rQA .7^r]v}+&T_hyWE ).!4L}{\`AF<qto Glpwx(/&QhV*bAj &)v}E3"-YJM0Z*; =KqCFzGfYOx0&A3 MUIduo0sQl-7cC$ J6X@0WDg7QSG|k/ /\K='Fa%BU?5O:2 |$9gKU;:j/Pu!t) G.pQtu1N!7x6jk] !m7He8Ya[S4BlJ/ 2y=<@S\P#FT.BOr f-D%'OWw@HPm)qI ^3"t{m19V@F$Tdw 1K]Em>zlY"hA34& OEQ#&|,}%V[2T;) c,76mp.8g$t]\Kk @z7`4Cd"_A(&iZI ^B[Ql`{%hw5.3u& 8!I4fbNXT)pPJh- 3rlD9%gP,S?U_$! E_G,<Y%-Li^@X$C N*6wvn,MJF[0uPd Kvm!CG<ekTl*{4H g:/<'H*-DL>FAQv 8<|Y["OBE?n#`qv 1]B9^<"`)J2Arb. ;b9P/>Ot@8K=z#` 7(WevT}c,OA]\qQ R;LyI}FK9$g!,{Q 6IVf4Cv2(Gb1c`p \?0uva386R-Mfe@ d2?St(h5WAPY}X; y6S3U7,@>J2h50\ IiX7?Yy$06W*Z|S j3^E@QH_zmV}U2F 3Y<@AG:s*Jphe5w 7`lX|"ax)9JC,yK 7vVaKI0?$ieqxHr 6C*=w4UV3>XY`vz =TW6op2kbAi8B3U SU[<_vK8t,*EI{z K'@<ZyX+8d_,=s! >fZ/6Jd&<W3Q0i^ Cw)f*lnD<3PvkF; 7Uo>q](r9iKxcX/ ZC+MKi.O3p"!$w] :@oC+<K9L\2b^v] ?.+CM2k'u^{J4]L )WDc3/q:akJe>Bl !1qg+=?Fyds.Kaz :90rwL%dv?<X'f( [7E%#Sfr5c:^R(? u2:vwg6;)1!+#R/ 2q!?(5,4rt^{TkI bulzmJ:8EZIfokg Fk}0cY@zOtC6Nf) w6SxB,4v#/^j%9Z T7g^&)u!;daZ-$x Oey=:M$^UJ%q|Hk EMk4Boa>)#pOyJi s:p>4m=y*^_d&EJ 3>f2ru;bV:)F=Sy xtE"i$jNy[p&+\M 4ztT!$hI%e6S8|p #`tFBq@0:j1J[]K natfXJc6s<|IQ%C $7V[dpM_`1HaR8W uF[JB3.hTU$@mAR u=b@}Vs!]'/DS*r JFRl0!*re35&LV9 0Cqf`]*DnBU%(@) {.u"xF4cS@?=vEn K5$}]pyIna;`zW. S+/{i#NUF`9O%Q, )-\Z:FYT&3$?x}; -IF5J]qHK?X;jtd f|JD\*K[#uT2o`x T,i(vNq"/GwFMa! ,/Qc4&;ZT<+tL.9 Pc2oK#"EW!`k->H (l;g5`3_+$GRXf' n][yrv2g<0j(l6B rT+/6<8o`fZ2$aX >a,}NT8qQuxh3:p jEMfU-JW,=uz4Lo E^"[HpczlW-w),y ^Na&LxM7HzBi8n0 u=a|xiC]OoD7^h_ /go-{|3I4x>s[<t TH1fAXBMJKna)_u \`Tb&R94+Zp?{>N @pu`$_[GOCQMfin AwB{vnX7,FthRqP wD{|aeuh)4%*5$s &#Dj0/!1p6d8XcQ -2b3{\<;x:*nFVr lRV_OdT=#%,xs?j )e^BU65&iFLCv(. hPHrO^|<o9W2sQ} ]X+@SsDKFOM[fH| EY}ulJcwx_2nQyk \jds/r(_bL@YR$y yV>X,?}zNg+am/@ u^t)z5]dRY6g7"B 4wXSx^*j2&[A\|R ,Pn;!>6Ns}Jed7Q }.9Sx{:i+f\|&-4 S<\ag'^tv(uF|xP [,<K%Wu{I(^h7XF @PnMx&yl4H2NCBe v)Cf."Q{gm6n\RP hf?w4*XyVSE@vW. 4lSIMe|zKd08tj< 0x/}^'Q)WK{!Mna 3>4t#(*&ST^1_8Z 9'#%mFHzGR)n]b/ W@w(c8J1"G2$;hv 1ZCNeXyFV*9!pI# /QA+v[k'!Ir$cS# &ib^A#(0Fp\;ChT @%)"&|OH'7B^Fw! \l[z8,A."H6?Ytr |-I1)6gL`*^xJB2 vx4TJA/:h"o>qg^ $6n5MFWk8?/r7RH 5HxS!T2*GOgU4jl Q32xzDF(ZJc#5}! r.Z!]2g5:fE9YXk |w%Y:?_pD&/uC-q l1rM@^}w0Y*U$+& Xt^5j8$N|UK}Av@ 6Rb#BgIrMc4D:}P B`OmAk3NG%:'56x ;[+z}vH{/VSOs^| $@{z[}UD4:7%Ri; -J_|wV{=u\Le<m$ 0tli#;B6P4@xS<{ @gTvX'/9p-i!|>* mB$MizUYFa2O!)T eZ@gR6j}DJ_oMtv h]PFCJekU|^s#D\ '&ZXkg%6CT>"zB* +Pwp5Ie':>!/My- 7bU$kA*"ui!pCn+ t-{oP=eNb:!}g>% 9}[email protected] VR0WvTkm#L|EaY( c4(2^T07ahq&Z/k rWL!g.x?&82,#*< ?/e1,B)X9b(2#Mh r$,Eg@GX9|})TW0 x.>sef3V<p0iKIY AO$}e-;3+Z{Wp,@ J%A[RHtdM"n^aN# Z-32bw)Da:}"`Nz pY|?`\&Dw]$X+Ie #M[q4|3`Go,hZv6 >vYaR[A?dyU<"Dp QWP*mkY3gyrsTR= >X$]v\=S,!(.4)N &(w)^<"x5r>tzNn ,_Q)%?Ux`@Vf}9: L3v"lo$eFwxVH`[ ]56diwQc;j?!>4x j}H`?s"]UmnR2tB |8f*mCQ9Zyupcxr j+,<_>nfPFL5`W# "\W|?Mu8taAmf9q {HRg+6.vWAo|Njp N}z._{n|GxJ-Qou q9tUBX/\4QHp^!= B6v_[k@\4XArnxj Y=P_2<>:o;UC[ef |S:Xd(i@NIL,fj' t[U!/pAmbV4Ry<G L)[gQhav?s9R@Z_ yD7,PG*CzI?xlWg FGnmX6CI%h*E\-1 |rb)3clO<=E*T6h 1yaQ|95Tl#bF`nf voN.s{1@LfDcJ5Y W;$BjY,nd_+]s:! .l$,H?*;'i\B|MU 8FU*}!+,f4Vw;G. I1mlF2OSMda)z8w S\:a`I*"5Gu[tCf X/MzF5x.Ik98SRB 'F3/[Y{gt*rZuIE itXV(\4u=DH2r93 ;ahr,*9<gmSv[lQ C#Z@yREeg?+pO2M PDgOhVo`d&cE\CX VxXW]Db_EaKSL-H =}RVoyU2gb>`46< Iz;Ju$B]_#k,KAl Go>?p$T-(b3vrEd 1)JM&/e`F[hm\N> m^T@Se0V_`v8Ir. #G!$T9Dv|?jO/kp f`HgdA'zsF$x*p_ LW9k)HewxEr!M*, )=C"?!y(5o]u$tK W\/]Y*TDpMl$k1h %>r1YpSN4^C}KAW 7sl8Xe*%_Z&Lc`1 '^twjDru,Bfdpmz mr/bPj(Jy[i)N`w o'6mKA)Xqy[\HY^ ?'q6|Ei7T^soZRk yrY$.U}2ItgfH-N N|j<Rhs^Cb3#zv2 h87^dC-S!?O@J"< 'r@Pm9|zxu(CX4o y8^JIEb4h|of$>} :=?,nHWyq'Px;8z 9x|HK.lY6y#)Aq0 GE_Z5*HL,A{SR/F DW7Ilf#gLY&E:;u )}!9W7CpE#6A]{l vq'tcza4QpB+!V1 MUTNB5S,4YJ{db+ b%EzA{jp$1hg209 yC78|(Zg=fpq<hQ )|Zd+ryH]KqW6\f vx_/.+Qpym&-w34 Rr(Is<q$7c._tue "cy&7_5$t@ioDY8 .JpF+97Tjkrf';P ]^={K,$`/t"_NWc 4}_T1Ooibjhe8.; _=4mh($\8ZWreDs L(mOVD8#fx)"aJz bAU9Q[RN>?qo!eJ <LR?B#s6C4IESpc {v|8-h*d$w+uptV 5uE*(Rm<KHPvX/J 6X@^GR\by]j|T9Q z&pmuv4_i7b'COf Q6=a^.TxJ+2!KP< K(R`.5L_ElDvB]J Rz9Pi!xdtK3N4wO K%C^H=>Ah7_5\Om 0`EeSRg&5FuI#9K &)8oZ@7Q;`m3i\t ;Rl|#PtAHj"x1`9 *k\n,v>4#)b_&K| q<}^C"!mUj.=VOZ )}WUbCNeRp|7m@h ha,m#59HsbKo2WI x]9"7$Ljdgq.\RU TxNgHQvb}Oz07P( b1fn>WvuH38JSyY m0rACiel%L7PZ>@ D}Y>35XJpe*rH2M vP3xYg_VZhD|j$/ T`psXW,OKA!%Fm4 VSG{QbXPIsT]mE8 W{yUK}#>58hk:Qr X5lPy3Cgi&`0uFs g>m]CkQ04't*[Di <$E2]nKfWc>tg%| /N=[q@9p]D0:>,r [?L<t%.b3opxR,N E`^-UnS0w%|132X `Ph6'-C+v%)Kfx. zQ/W-'Xny8>Mv;] jmQyr!?s4h=:KqP <=(NZ"%*673,X&p :D^Yh[kdSt9=L"1 3=6/HiaNm]QO[ev ]rJUMOzl<*5cWC2 7DA;p<&{ry83?x( aS\]t8hA|/w}H9[ #[R+w"z16FDO@s? y5pa[&"F-;m+x_] k}>WnSE'm^;C/U] ?yik@b!-T.Mz&V{ 7o5h*nOiIMv.%2; q"Zyb]$;3wKkr`X l_7h\(R$mZ4z>eE NKAX52?/as[W8@r :>+`B!2uiOQZI;r 5zU>RJbQ2`p<1TI NKk9j_@DHucU2"o |-cS_]RVl;t".r& D1p3C(!_,rE87F] r-j%\G_|O,@F{<3 md0QTWF7K9\{&Jh H&0SiBoKkJWdh)- &clO"]yW%o^pdEz ZRnGyWYO0mS.M`\ yWMv%RpJ7l>X5sm uD8OW&jN}r+x@=Z u10"w^@oNpEbv5k 42Y%i?+8|oAEIjd ]%w(DhT18pV@`cg *:Gt%huWF4D'^1Z KhfX!v4_PDS@db% rKe0Ic%N|xji[C# b"G6n$V_[>C(Jz9 I+/ihu4!{FgzO9X |$y2^0hipbd5:1O \@j;4]1+|$knwsH -Oc@x/8jAMur3#K W|fHlrP<[0A.=z4 K=Z`D2H\3@|q}T+ =c+nDGZaAg|YF[S "b4XK!zU[umVg&} _bnfj\sk1HLPN]D m5CR=O?yK!ta'qj @!{G$V%^kuCtvTd @*jBt1.kKA$u/-5 g08}'2L_tWr>FmV uimp1:F6BtT^L,z pF,+V<BS.;Aq#xt Yde8p{Q=j!&>M-n H$9@NaA5c70"UCu '+%!4p6@UFPt8"0 02o(dX+az.7GQBg {T%S'MBuNnc|(q3 A}DS6?F^P\X&thO I>lQ:!|)M_W+Edr |$X%1h]*^MiYCke SX2tmcwU]{@dLTK Cls)W^d]oS4:'c2 <J8bhndQP"xBu7? k/aN#@2!j.-EA+" _=z2FZgh!-^1OUl P'F9RDVWAt=%\}z v2EpRs-VB`um!JP PU${O2A%B8=xN+" CM/o=Wx*ze7f|t! ym?'zjS=N*]vLW\ DX)b6j.le`{c+$Z c7x(Fa4<?:q"2In X8Otka23?PzMl6- A'5Gsdi,%hN}0/L MsAF[9ld-40ES.O s`>X#5!dapy9$H" xlMCHGe+W3i(1r" |Yud2Dn5aV!v<T# 8f`+)_GJZznb1;} RH[Cvy]z5rum,IE qA]81Q0#a[bIx`T 7%lH}ra*LBjVq[f `pH!f+-n\5'LB,u !f+lQ7R%a{n`)-F <sDh[Vr.;S_R#`W I$8DqkiN64fP^#X C!fo0^A2>?h1,ml m5D<,RzaL;/%GIl 8)9O*I|rt-UCdei ](4O:[<kpjTNfVI LXwxemBaPV.o>Z? uETe'6D!#5H:c)M U*)NIYHm6Zu4T>2 +@xa=Tw{&yQ]S[P Of%YJlHgR#,3xW{ adr#YcO4e'CwDx\ <]lC"|R{0qNh6x: !Lo@2W_6cu>ZK4I I9uWr%T/<}wzC'i 1OE6Fs2d`nLehkw 6^":[/iUC.4EO!h 6jz(w+PR?sxJO9; Z(uXmMdjJ2P8yUs (vp9|51nEj+_lx4 #{&(rEYvU.Le2_- J>F|/Y$lKWS1LdX 4J6[o`?%,lN<Gbu <JG%*y|M'lIb,=e e\&Y:F"ZT|J#yh2 e(8lkQ7#!qm,SMT (:y+"1?!Lp4%CXB W)%'f_tC02syjv[ ]Hl2d*rTKIh!U9X z.H0e%@+9Zjn=qC BeAFGz-S7u/@;xk $r%uN{8OH@D}l\= H(uZJr,X{AY1kQh FsWporKc|Vl{'-y bv=w|\k6d0eLK9< L69Ifl}/3ndQUac #4]7l>$o/mCc[?: D>&C[\S<`3(Qk.@ JU&Ne/#Wfb`nE{} k&DbVqIU3g-("lS W"BdeDo>%.Q9PfX _?&NBjT-mn7A2kI W3Vj;E>]:8^1NaD %mcR?2FgA\_bnfH 6P=WNt%LFa@"3SB )v;5MuPdCw/0G8@ #@D|k`OBzIL?qNK P^r@d]{0K3ta,G| Z/p")2dxsW*Ur>$ e&W]"{T,zgHID[* ernFQlm^,cq%<K1 \v1kJ24[Y+cI}08 HKU`&-u[celQIZd "82Aw<:P1GQJi7e wy>.L?d^Y,3|cS& 6L(8%V$;aACfz9O *wVW?`Qm=@\;0nY "*XFTifB5S_M=bC _feqct-`'p]ax?G Q(V;^uxXiv-2J/B 5]^s(z)4FaC!u;# 5%TOuNZFfzRsm-C Y&`@mUxRhz3k]ZJ r)`-kUx,a<75tY2 q>]%-TRe4D|3kH1 Ra7mrTGIXV,hA*( )Ep3`1OtU"26mjb /^!fIP0;nHJm[%U 4LUIRxAl0!aQ&D} (@P_nu-'7:}4gbf <f4pn]!|o-{xLYX =1,hWQLw)oR`$}{ (]\YD>rn.=+g2&L !/rNUzo&EpT'7J] xh*T6=cV-EF@,UP <w*;-pNgeiTBn`Z 0hz34iB"lKTAds| &,k/*y7oDcwvXA@ a<\W;KuJt[A=S:L l47JZ"QkES[Ooy- XGrb;`+Y0@BWM$x H9F_A`ct*win6X] PZ).eWQX|p[s_'T ]XO98cYu>Z6|3ia W=#zGF6r&4pYAvZ BNX$o)36bIS<|hR HB.U2S(pGDfwslK fqd>1}8pI|(!9Q3 C5^OHR:bi/,Y&w8 g@$ZqKp[XBt1c"W ][mL8RH@oVNSpjr F_@sgnEwuYm*[A, hB9UK_jdkyEc2]\ k:FAQ}l;fJtI/Hw p_=V3bnX?EFxZG, \.'kl!-X<[Nqsov :P!)\|US5qzW3c4 Gufa"EJ|`FrchZT 6]mK}qdubw:!L7? L*bgI"B`pKE=v?; E72.hDB}^a?WAOk mcsodSXMw<.}kf: `+1d._#B?ZPas(U .pjVl!_tB@JMK4R )MsI3BflGYn86&" y1UHLFK]BxWO7|[ +)`eHh^tiRL$[28 f.>R\uB:wj1Qb'2 Kf!7n%2<1;g$6z^ t'vJg[oFpnhyxQ( H;<-Lk+qpA:RKYM ESy_dH1;h|(W+u4 ;HV$k^}xrBjCy:S >ix*=o^"7D-+w]( !;?^rNM+RjVQ"`2 {E!u(0,_aTv9*BC h!)%QvmTls0RICq 6BOwmkQeAzKvZfu W5>_?fV|J+Pj'mQ Y]B{:/lwGE(>#`Z mjFp/[taRQvy(Xe c"$jkq/}_[(NAMI [80d$!R/o'nw\rj yVHsJi6^[?1gIG9 bOjxC'*(iP5We;K sN2"%aj81RBz&/Y qJ*2.G0[^vy!xl# 8?Nsm%l/a(G|9bR #*B3gjV/sZ_Mi`4 7O']G$U}=/:H3<Z pQ`-6,X.Nzr\WZ| dJ!M}=.]|$Qs-9_ IK(sL,vZ'd#P249 kP9V36&=|yhZ+Ks 5wm%M82&CK}UI|T t'%w)gm>.Eq?NCU sx*&6eNRV$yB2c? \Uw|^MA*ju:iCIX jx4/%eK?A}WS{7q Wzf&Vki{I)`ZeJF
Output
0

Solution language

Solution

Stub generator input