結果
問題 | No.3066 エリスリトール |
ユーザー | ciel |
提出日時 | 2020-04-05 01:08:11 |
言語 | Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0) |
結果 |
AC
|
実行時間 | 258 ms / 2,000 ms |
コード長 | 13,921 bytes |
コンパイル時間 | 71 ms |
コンパイル使用メモリ | 12,544 KB |
実行使用メモリ | 14,484 KB |
最終ジャッジ日時 | 2024-07-03 07:53:16 |
合計ジャッジ時間 | 9,099 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 37 ms
12,768 KB |
testcase_01 | AC | 44 ms
12,764 KB |
testcase_02 | AC | 42 ms
12,632 KB |
testcase_03 | AC | 39 ms
12,508 KB |
testcase_04 | AC | 39 ms
12,508 KB |
testcase_05 | AC | 38 ms
12,632 KB |
testcase_06 | AC | 252 ms
13,960 KB |
testcase_07 | AC | 236 ms
14,444 KB |
testcase_08 | AC | 235 ms
12,500 KB |
testcase_09 | AC | 250 ms
13,960 KB |
testcase_10 | AC | 255 ms
12,508 KB |
testcase_11 | AC | 234 ms
12,504 KB |
testcase_12 | AC | 250 ms
12,504 KB |
testcase_13 | AC | 242 ms
14,104 KB |
testcase_14 | AC | 251 ms
12,760 KB |
testcase_15 | AC | 238 ms
12,632 KB |
testcase_16 | AC | 258 ms
12,508 KB |
testcase_17 | AC | 241 ms
12,508 KB |
testcase_18 | AC | 245 ms
12,504 KB |
testcase_19 | AC | 254 ms
12,768 KB |
testcase_20 | AC | 247 ms
12,768 KB |
testcase_21 | AC | 255 ms
14,484 KB |
testcase_22 | AC | 246 ms
12,636 KB |
testcase_23 | AC | 243 ms
12,516 KB |
testcase_24 | AC | 258 ms
12,500 KB |
testcase_25 | AC | 252 ms
12,632 KB |
testcase_26 | AC | 245 ms
12,768 KB |
testcase_27 | AC | 254 ms
12,504 KB |
testcase_28 | AC | 245 ms
14,168 KB |
testcase_29 | AC | 245 ms
13,960 KB |
testcase_30 | AC | 247 ms
12,508 KB |
testcase_31 | AC | 242 ms
13,752 KB |
testcase_32 | AC | 239 ms
14,228 KB |
testcase_33 | AC | 38 ms
12,640 KB |
testcase_34 | AC | 39 ms
12,764 KB |
testcase_35 | AC | 38 ms
12,760 KB |
ソースコード
#!/usr/bin/python import sys import bz2 import base64 data=bz2.decompress(base64.b85decode(""" LRx4!F+o`-Q&}1ZNX!5L0N?<B;o*QlT`V~RMPgme)VhVt(S;6l0_<k7-I@S9H*UKSM`mYjiZ#ZhcN}& )H&xKkniIK4I;0m#Muxi}Q7cnwgznu7oahn2sVY)kwWD`k!MfKP?Aetd$d*h2YgWN`Hw`Hk?CCpdTPG bIt6Le@cHGxlFz$}-aP4uecS4FuajM3Isojd@R4ts-hYIbARYhj9ohK`t&E1Bn)*KznD!W`->2=)b;_ 6iBa_kw=mARdh9k{s^U8%OCwiM`r2{cJ1HAEmu>XJ&HsR4mWB@m(#0;Z&rQB%~w|I6bypX_~T&YXUv< (WMFU<L3<+xMh@#(&LJU-w_`3cI?!yCp^U0qX#TvXEv-PmCcmRJ&1p!w<RTzPH6CU+$`p%SYTJ<_~Hg `#+^8(oKzGA~qxoGRR6wB#TPMHKQ8ZOEF?r+bFeZW}{<iW~((-nOUP{zqqF?QL5Fn)WKxUR%Q9F64u_ ^`Oh5ZKYn}O!A@GGnpfWG4XQPZ**iO@ZA5CxZ7rirg4&O*E$&pFYiKOAkw7H%fyR_Tal%~*?yy{gGS* Qom3C5G(Xds`&zbeNr8Zq@QmnvycUxVJl$F`@J3#YF%~DroW?RXKO;%8a^#JWaiy#tCK^UF)k2OzsQv 0?Yq<at?m~t7Zv4<8lG+o_7jnkoDrrYTw>ugr~0hOpE+f+>>R$@$(R%Dr!wxi?SK~F7aH_lbYmW;~Dk %gIN$)#e4>%NY(-tJh53Yyw7rm2;rq>!x4X)TEa7_de=Xc{w>_pKOYrKrl@E2$O=O2VqO7Eac078jW1 30KuWFH#H-J==X7SMx>MK05p3@6JB4t4hqXO5ciB%F~66wB3_9?ByHxwvMqIQ)%&zi$;#ild-y-m|C- F#>+*O`J9&3w3%p#t&ybk<jI)Ul_4{4=g(G6nYWkC=hnf?EKR0T%3?|}3|q@u?XtYq+-Zt7N=h|d)zc =M5<cz9Op=9Yp|ZKHZb?!Bt$Eb2YE#{EBMr6e*5#saOy;GqqgT^(&RuST5;wHu#RqDrNU%AAk`zdykb 1%tO&cv2nJPr$smzr*jrZ#5WoAY4=~y-Sb5*@I{JwrysBCF8l(MCewpz@Ewo;Gj^nKg&*!^hSf0g{p= u8w%hDjS3tMg*l`8l#v+;XD9Sm@V9)M&ZJUrH_Ko2Avm1o;DE$e`dW7P8xDrt_TAiYOc>TimrNa5^!H Bw&HVY$-YIW*%W!9my;nrzasRDb@m1FRJ#KXr)StF0#Hmxw@oMR6&`HeM<fJPeN;7mc(sELW^cHAm@G 1pgmpL)Z<J<5^7i;xOK9&joroTFC<$*#meCxd%2G$R9RpCFK$&6z{20!ANT%_;E*(eB!FtswJchxvdk r>$%bmPRMT3tF{LcYnPvqkLR(OaY^(&D+hj`_W>#RsRi=emkjzw?WVLEUzxx1}G)OYl8$ydyDv_0|8C 6EKn;6ofV=0-VYYb(jGhV-2#d)Zisy}__UFAad5oQ`;Y#7?G#f&sd7UoFos`>H7n_(*Up+A{8nUgi5A !)Q*MwTmEZ6soBHflC%Sy+{pn@N9lDBx<dRMvw-^5<bKjj5HItS`D>SWkPKKN?=u@0*)Ki{nu*flCu+ nAX<G6qeZ{Wwf&_mNf;b7HqYaTTGhRQ*4qp%9LA8l_;Ag+BJyQ+CizNnXyK+Ol6SA?;OiZQJI*jV#YF -S|+9yW~7YDX_TW)4W=>}%8i<2iYkB4-ugnS6h<{0{2`{L6_Ed4^%w1}NfS0wQe0Z*YZ!M^@e<D4?{B |eYMP%h^()L&dFLs2j)TnmsYrFj>A{Sg@J4Yt0FCAv588J2bDvhD?17wTQeN%3R=cjsmza}TCoq)x-; Yz@c`5Vfx!xrwYHypJm3+zZqP{eI-o#h6wGFG|R2ih^rBRtnWthxC^KJEty}hfMDe2uvd}=*eLbYsTU ga^HM!{vIsm3j<nYHe@8xpaWWeMvOHB_yZVq+xQ1!gNWb0`jFb5xbgo4GF5d!3P0mY2_-CysN^CFPGN &$;O>+4nBv0pe(gqKV0*RFi|dh-4xO5s?`otvVrTNUW&Y4oHYg)Ua5|Br)<&cZ|Hay6c!~%`lrYDMV6 ASv4Y?wej2?F-{B&NW}ukPa))*GEPd7CUSD;IGdVu=Q`Qc3kypo^lVraAz}j&6&}7;%h<h@TT-fhDu0 +z@u~N3y|WyY(G)vvt!&cEM8#wznp-uKMAB1iu@b_f6l&AAGqf8f(l)7F)J)YnwOdKePB5&-)Ln^9`K }(dEXuK#Vy$Sop&ZGwK6``AnUXe5h@F*H*-|6FIa8Wdn4fWTBDuN*-#KVEOlr#8a%0wYoAml@A6wIU! AwmOeBHuXYhsM2PRb)$X4aZEQpvJ!ef8+o#Mw4`yxp5K55HWAePXMIV|?Vg)vHF!WcwyL!yMsToE?)S kx|@oOqS)%+qU;^o*iH0^X?qhELvr2T1jacnlmcj<ky?qHkr5U8t&<2qbA;NTJliBmI*Tn%FPglb~wV L3YJplS4{=7+tRCJ^_lwnC2Ww?(MHk~YDu5|+mwk43}NO<Bo+%pijSE%XV!PPAi;tn3lPNT+7f1`zbq B?2k4b3u$CDjCAcuDQozA)mgc*<y*Qbhd0i~a6y31v24Mz3&H{LG#kFB5i4S_}mo}RP=-X-tW-LYud6 ^UsFgY)cj<iHls}CR^WHUUJpQj0WC7rCtt((35-?7fJEEG&y$gqAaqD^aqy?1F|x3_nH@ALBh-|W<pt 7zBu4y;tw+^ad%?M|t!TiEvBzIl1}<VV$Pqc*Q|t6j$$seR64*5QttMJ4OXO*YLm?{?m%z_m2m*-Pe7 >eeG<h?CXU{O=lAesi>yMGNn9%xs%r^2KnOt5n6X%@o$Ev}DGMCAGBGM`;{0WLq;;D;i36N^)uvGe*O h>6xm8s5NVgvv)3>mS#*CvohOl;fEb&C|*fpFAB;4rFJg$<$^3?2Mj7e=V~!D)=26QKg?|m&Qt71-Q@ Id_9c{BFF4rl?8FX$Om&&{zW04r$5`EIWe;1-df4RUwPcGUKbKo?T9TaZxucpBrfD67)AI>!DhR+TM8 >&I9O#%M?i^NTQ6dT;Qk7+ox>GWsbW$wHDHvQ|kj(30!$g9cZ7AK8xUN0dvi6iSGV5F3;bij+#Kn?U) 3gl_k7*Be1W_&a42dRSz^Rh6$p+HWnVdLCEW%VIOJUnXy<c9TVt8E5oc#Ft|G!`C9>p4IDYmtmwh1By jV-j5lGdzB%}~rV+L)D^MWa}drmPV*Y8snLTMTNGO@@}WV^U<zGg~&bm@<Dh=_m46_j}iMZL4Hvg{?~ &MYOh!sP}TAtXnfHVq-}*iESCSrqj%>%2}l?l^La`h;2^YJ<GLiwzcz4GXBSYcI8X;z|A$4wo7!|<+` Mv)tZ3A=S6zd^HeK)s_ZM;QC-;N+9P4wQD0d0B=(_KcS-Zy_dahSnNPWV%54xnK61Mg%?s?Uw?TvDb; 7Xv&9R)A?{hs8>nl^%2kE^wV?Hu4w$fHhC5>uIzFTgj+bOr|n{>`kFS*&%qXv35-)xm4m_*vfnPP}*C 8EWajcWUj%S}r>?bul+ilSD~RD(4Jkh2PwT8u=bDQL#hKXJU}xytsQ%8hN9b}Xz?Q`RmJo=<I}k`hUA je@_dR~lwDqotH=b2Yy5b~WXdTxHXo%**bW-++Xl2@lK)z>*tKl6>SY?=>iM5l43vPmLu=x%tq1(5U% |*(5%9C|le+HEn(PW5lBU#H`6H+7GO)nQ!uyCAMhE7A>iv`a5ZsWhG+CVq0oP(?j`mhBY;ki7nl^XqA NbI>l`=w_Aj)rfDgvG?tkbGJhX+>LL4nxr5lVOr*(XrqszB7HjJcopqW;q>6sOHR+RPnG$6bqA@L#N^ K<?NU|hqqKjLd8LS+xo6AwI2BHLp5^H1UH6{0TqKSx9CN*fNvTYXW%JOGv>C#WHOgyt4XV%>|^?+Eil x3BihGO?ARGrp&L`AiJ?kKF4Hs7GsDfPGM(dsRZj#@~IFV^kTn2aJMNWv6C#wY3=vy11)cXX4<_&!oU f%8x<s)(^+`2!@cEK|#Fo!n_$xa5(2#LO^OX&9tp`hiY#%%!C%ddwp{Cq$S!xVW}jlx+&~4QWc9g9u^ 5R!*r@hclQ~8R5G#9{t|l?_KO{vqqT)!HA-cgX=^W->){TDVplqiA!8MOZDTs4aS1ZhMMa=*9<`wP%d U~+K*8aualH>I%+9WolpJZ`1M8@zQ^={c?9wLl&2JKPMvOdYTxO$OGH)a(pw5FMn#D_1PQw}qAA4Mi$ (I0d*`1t_?4D}XnS@x#Q9cpEa-eKytP|qpCg;PpHHxj@wbr8t@qE5n_7jO&O<d6=99H5oYe2mPROk1B J2WY`MXhkYO2!}E@2Ilhczf_)DC1mYEO+(@v1&IGMBc?nyEeRq0M%OjG<byF_>OynyAervm`k(-O5DG h?-4lhC4MtW^Qm^#TCrnIo63+FwBaq!Od4RY-@bVD&=6)GuBrq`}NR+*(c6(X;_P7vyOcCzg@n=vMqj hCARKx^2sMj!_VAvcxgyu<yhA_q4Vb>;cX;RL|JdUd(KTVS|@EzjN)Fi2P8%$K@xzOG4405^JUz0OId 7u?%Z_OqKL%SmP({yC|Otx7EfNp$WkH0F}_Uou@MT^Nn%A5B}McHWm4H|?)jTNDs7hAe8miwCYH$yX( ZCMYO$7THm5OhjcU6>q&Z<!%+6ajQqwvnjAA*iV>C@>YE^NSU0N2kT*hS+nvaZLXnCr;TPRm)C>sS%H L!aTIQ7iYE@X9;>~!^ymrp=Gws|(sqj5f3A=xC&Es`yN=XvJkirUQB(==`KT(#w2l_74=lagCWSlU`& -DD((|1gqHkrH{MezDN#_CmL;{M&ii!ga0}9OYXZQI@AM)0uR)TO8K<Z)o1klSG!N?KF`VG`>z*>DJX V(`RM1XR^uNc5$aCVn*hP&i9;XimDEqba}0kT5TL|vzD_XRx?wXUe*1!*XQXaWZAQ0WaX~D?QVohYa* 5UZNq6Vd3!G}by?|8BE!})l5;%-Vj>Jd*$z&Ch!KAjVZwTBmP?DSR5+A(cP8g^R(CjZEp07QDFquB65 <OK!N@F~Csea)j6|qyC^BN)j_X`lk0i!91)mI_VdRH|Gvos`l><aMFvJ?dvaqG4j0B|&%<~DE4iGp(3 O0rhhg3u=UZsng?^$qr>ld`c`~-*TAp{U0n%LHvRhu+g*ojeDh_fWj(QHIo1Wl={YT34v3PRXw7)Z=( TUs#Ml~~1QD4Jt6w5?`knu1$MqRgs;84_B>NYSx~nWaj`O);h_Hbk3JOv=W!nJpS+gv~!*wtA<U6F)k x=Mm2KUW!MNl35LE#k4GylVe4`Gcuv=FPP?ln@i-ZM7El-ERkrMO)Y4)+EPYMNU~)b6HKjHGRCTmMoT gpuWO$>s!wX>mS$FIZ!-Co#MWn)+n}uEb?DDkhrZ?%x93zZkwulMvkMxZGm)*ekr@QGmLitg6r`}zSc w7%nk;G>Xx6gQ%F&AkXsn2&HY|imVra@xOGz>tZE2Q5)-p_*tfXur)<|Y5GYYjdvkipJB<}sa*Wb>L) n+|Li&<JG2(XzM64|RYG}UTsYTX>1(KL4*ETObbQteHfX6Ch~!y}cg#=79hS<%}Y4Uw~IQ%S2)WX_zm )Y>Z;(kr^VBMmjIV1`V#jHXs>)n=q=p_x{!nAK`qR&0vHRa-WwtzrfnSfq|gCA_-cRhg?AOv(JaC3Gi E6t)(_0~SEYB1{Qer;Uf0?Uw0zTJLiU%U)WzVFU7EQh4v(1Q;kmWu=05D7tAI2P9pT(d|d9H2UY!-Py 8=Rx535XQs7JF)VK;)u~yX4vt22%+<?vn>Ce#tW!<NPrTve^vingx6iPV>uDnB<(`LkW0I>{jm4I-c? 3u)MjLDqXv6DNVZt=3M(KCv?^dJox2EY}wG<l2HMs(?bFIRbF&(HFMr`%f8^(PeCr0bb9I{_p0JB<~P }tPdG~#h+k3;M)ul;}DryZZ;Zk?f37itP@6<b-7jKxOMrm(EZOv71ajMA8DqRmZ|+9?zbC9Q^%(WS9v lP0P&F`|t$ZAk>FHo{i1w#B1URNHGNNUS8(q|}T}Y>HVng>AISB5ABb+GS+IY9^+pp`zBP(*rcgOH(U JicvB$jb@mnl_83WhLMc_mS*iDWhu5&ku7an(v}ULn`5;^(%M+fW}227V75zAQks~O+9p8-vs)#JWg< &UVns1AF<C7mW>9NeV_7R{r6yF<Z4*hMYY`HVOKl}Il!&DpW}ub}M1)9Ls}jp?Ce|BBGA*-Otrj#!%` {}vO^a(GD>T+5Dw|<xMwO<9nT=94Ep2SH%+ixoF*U1NV<RxkC9_*tB(Y;8$r)r7w1Ch|B*aQGHnpJ(L PlC!C@m=2s%<RL(?eMnVwPxZ4UtB*Y(&PEYNH_0F+(eDq{>=0(#4ZT#>!EtWl>8(q{dkzG%HDKNU<d% T1iN@)q_hkjimpRF#l~V&q~ZlHBqISv9zr=)fUOJ9L3tBHEfl#n<;EO#akgeO!KI7Q?xq{G9j8<@e~( YsMe}0=bVR{#+0iVS!t$<4P_-}lQk=y(3O~{EL_I2i!iBkHSMg&Qaxx1nQbkvFYNiJp;@lVQ<$iCbuG <xC&rdExz{S|*F9mQQxZ=u!-`q4Erm8}*|gTIMkZI644Yco^r|Bw#P54!wY-WIvPRl!hc_6g=B<?3GS g~DPTOpy7KB^Yz~0FvYfIW$*IBgFV)LC=#;s(jrl!rJ(=?=;Wt%Mtrpsw8(X1p*iHl=eX$9rlvQFcPQ >`tTTPV(VHwih(lNG46UAek<H#SWzl(r?OJBQucS*Dh2Z&Y=Or>)XnrLL^nv}#eX!bXN7iX=t;r-Wk> hV>5A2?DS^ls<PV_`w%ytD1{xW|j3t%}BMICdOj_JF09ZlUmr-iH$G1=~*HqNSeq-l9@lBJbv0qlO%k 0&dXS}rcD+kj!U^@O=Xa+8e~gtVQC`Ms$-awIbq9L%<7YxqqQ-sO(xB1)ZC16Xq#y<$)x3`w3^z<ukU f>Nv%wWEVuXGyvN5n9Bk5-j4hJYl%pkutu(~3)A}A;Z&{7Sg{)}=b-`}=J>uG91!^%nY2(MMN2WI#d) {o))k{xm=<i#bHKaVQ_dV^jqa2qOi#pSzOKEerZd-OmrAHyn+l>h=ErQOa+c{lzET-nd79|E2HVB|vC 8g6dSts?BC9Il@QX}_l;h*FOTQmHPxiI=3`?hi(r9HVt`tPje&Xb(xwajR+*kSr}_1k>6EtR2cnk3HW 9ofaQ7PcfTv|3hnX{}l_GbX#8sM=j+mZO@xoh>=h?GCjUtS7#F^t)TLeKxK6e6@<-MzYD8O)#PQeQlm u`t)b%kCBg()pe-m1G2Ak&qmhKdk?d9w&*@7EG39ZTgz=anOMO2m0tDHjIUbSa_**TyHWQp*w18pQhB B_ZRD~FG22Qin_F6IWKCqTCQWVgbu5<GrkKr}D(0+rS6Y>=S7~fVQ%$O6s^+5RmX_5lq?9O_$zx=!Y? @6>&>A+zf?;{mHGM2m+Q~80<VRZ=)=OzTm7)~m7&<Y0f|~nOD8dI&C@cg)MN<AgNGv%iOIxbRm+BL5k fx!lX*28AZRlFRyLVV~m}@>cQaf3Sg<!H5rqz}^wt4Lj6We^stdD(*Z1!0DN?|IIPg=5iKX|<qwx_A@ UWfOg2vfBxt@ow7l}gN(?he$7YBtSU(8UzkC+~NevqIZuH$N__kMJb<^KoWaHp;+$?&*Vya(27-&x{9 k6zg@Q7Jgv>+Jz}edVs9?&SpLJ%)6eL{j4+B)d{4{6wM!dt7<k!%*>+lK>yoMG!x{Kc>+nkq&rz4a3C rqBnrqH_9P6F8OkyjiwGxDLI(^b;)cRFa0bPVF0&4`W9XwKJu$QIoL0$brn6VM(#5SNKTP>Hy%I4PHH ^wD=G~b?Qv7pGDrkt7D6Eru_Z;6C$9DHBR?9P9{dUq$p{LI;G-rONt)C=BA_&BT2`tLdYZ?6mmVIaUx n1vjCfbA9PSIJH=2zT@&g2=bzN-e7Ng~ZmoA=%9GSfmOkhVzClM+;^zUOSBMLzAzD%2#zV$rmbs47Uo tb~{fNTC#fu*tQa>jlGajQelh#YD<Bi6(@WzctDwWgkrcGjG2;Z^)K^Smv4}TW8aCm7C~lI!T)*CWc9 }lVZWG=hM_S(Q0N*d2;5fp}B6PYT=N1@*Kfblk!%0PFVh>bQ>h@ZD3a*MFoN)%9Z3fIXVk!f%l&M^Ym gcf+RI<85ATzgv=yIF={}xK6SUbN4esIvwl7I_qG0iK3~F;{AF0j$2iTcVv<U$F<19ydp62p8uM2%Gj 8Y{!kL`Zj%k>+hiX=q+Er{-m%1r-svfrPb{Az!p0exL@3&pHJu9uH&WmEyNwja63mF9#R5qoz1!%-UK EO#orbN~GvYSqGD;;JhcBX9_kjlc)WoDLTT2-(2C$o9k&ObFzVDlW#vaM~T+P16R%X7QA%8Oxpb2C5A >o=XrwVGW`kmmi;>oz9!!0D>&t8{x_*|ce5nnjpwR9^49uX%m$sw-{una(<LZ=*WiL$vEQX|)ET#@kN oUtcVLr+)Y~_g_2-3D%xwBr^gmj=7N048XR55G|G@PpK>fj2+bOy=>MKmD-Ss1FV&hQH~v`pmmy!x>E {0a@~EmS@pSRT4c<Xq&t`vJ!p&0k$B`-QL(;Q)%RWO<ex8U=8B95OR*uvWI0poNY6C&3aVeP{VMvTg| t&NlD<6ZUSQ3rP}162q?&DkB-&K7RF-6IQH={_3e2VDlH*Vhd+W}<tj=!bN%GMZ?H9DX(H^~yQhQ0?I {4KJ-!G3!_jIGoH!f`A>nm$DhDhYhMUxS-t45VGO}{wYxu?#~kzItoV=#76%@Y{T_p04)Jjt=G?{#?8 Y_!7OM=UyK#T!y+mTB5LRN7|EBAJnJ(P^gCbC+XUyOXk6k+G$wVr?R6EumzRvrB4NTU!&6%2F*@jT$Y PEXylNnwF+3Gc}y$8%CJgrybGDR=PTtvuL=Tly_$_C6Wq8t)Ux6$!qfB^tIa3SwOR7)Y_XCwIf4OX41 v;7k%B4rdqUXZM7D*Xs?o?+S*NHYh!+KT*9d>Pu;nhNi3T(&)n+l%wsRi>RY+_R%qHh<mzaqlk(lOG@ 4hX#HEuPS!|g|S_qM)Y?jj&lG54U=Jv@NS)}r3Xz9(fSuqxf%S4-XsHZV=E1GLdG;x^In$2R@Iol<*o k`Gyk9qasC(BvRXA;w6O`)U-ZIzBp+>vXYwC*i6mm*oj+?zABYDgAAnOUa3`P0$NIii@e8kb#8ncA6- cE`OQ37VG4L6%EtJp8w|!cIe;lcs59WzFt7dKuZ%HMI*zTDV(HH#LddiEh<pxx<+`9BOjqlXH^KsTT- s_dv%Gu%(5NL`y1qV_JzOl#4SnB{iB$YEs)iOz9DVS-0tl4t{R!H3><%njYs1Y5eCVv`8j`+9f8I-yG o@(^)O1N>V=SjJ<YAqRUCGx4FFYlS|HamOO^8bsJf$wNAL`n>y7~-neaE!geW>OwpEEq?VCVa@%s)df Z*-8LcO#Q06PLS(jQfNchy=%0$~jS&6JkNd>Gc)}rO38oO*=XEEBZcYQGAGE8-vaNj)DvsR&<w2<|VX o|9pTWZps#Ti49Ev>Bbt0vMEW0sMkwXrR>^xh`TwnNosXU$hur?hQsQ>v+rB#~IQB4J|5vc8U!oH@>F aY?(oKX)X_H5c4;eP?dvVzZyQ-r|eu0BsDKL0}?BeLffq4Aw<~B}oM&j9`8B0|oDoscI}7zUOp=#$CG MuI?W>vQi|&QB*2Zgyi^CzAmMXH{GWlF7vgE^FB4`iA&#Oe|||M0EPeA+9?gFY)dpO(pGC^s@7E2RAx qLnigYCBGxLcG_|OkRhSlP##yB{GSdu&t5p(UwY4#_MoSuvt1Bg~GDap_7Kn+KWU{u9gv~^W327$MS& 0<3wv9EGO`#^J#TlzwTUMIEtu-w~nKhX*B$mocYL;m#W@MF1EriV3wqcn?HECI*ZH&_<#;RtCtkT$pG _p%+M6D5`V#-2V+9s1}mMw^t5j0UIh_$v;Oxm<E+F6NBV64@Ii8YY2gpiWkQ%eyo7LvkDlQE^4XiU>I wQDOwEt17nXcB4-B&%s`NNuB9VWn#sYGsK{jI|l9m8`Tt%Q8e#%SuZb6v-MbCRSp`TSaRa$~IQ4QnLd lnzUNfvqg~83}ZDdRTDIsAtJUd2{vhMCS@er%qC>bC1VsTQX)~UvQ?t15GJv$rkh%1rjtm^SlS{Ltx0 L369tK;sESQ#qb+JRqQyvMk+J<{L*=TkFq>AiW~sF-n)Xq4hq7IcZpksVQCc?G(W6@VeA`#1gp=i}If JsXqN}q=r+;(%9f#bKl=%778%T7{Ok%<T)UXz^NEGX-K^P)+uiaFA`Oala-1G0meX^6|<1?Vz_8p--% eL1tk7B09B;*AvEu|MWLURR>$Vg0*^?@o#b0mZ>S<HnijUWapZ>-XE&536An(w?7$P&$#x60N@wWI6N `toCAPYk7C7TIB#6hVSI>=qWs5uG<X-fua@Zbg>KX*bIGy(;s3tH{|RB1GSrM5b+%8vUfaJ?po+EAH; G_vaN?^+aEO@~Jxt<0)0zW~IL8RVK9^&PZ*n!u`ie!)yC?H!aDT)mDBWZ>^2}^P@MvyR6!kkBiOIGQ^ um+P%}YZacZB%Xny2w)sl}1y2kXAfr6OLG1R2-Bjx*+&zeV)LU1|jgnJK7HrZ=OLDGcg{GSrq{(JPnu tvllvvR%<<^Z%+Q!MWnKVLLX0btu`PB%>i4XD=WO~Sa#+16mVElc#-um9CnX+vJAr*+p1oLH<mfXQ_u InZA`~>(^g2GK5HrF+iRtoalMYYuo*cAM`V`Qxs(W2OkS<|MKmffKb)|1wMcVv!S+6yFE?x8w&cYWIV j}>(+12eK&41lt*P=+aBps+a#oH_0mm4x*{O>dKH0T90jRMK!b)Fjc63W}-*Wy+p)X^U<fQ;w<`B@(6 V`TeSqvOxWFxtqDoCfjeWQ@65TuX>8}P}exxW=)9x^~oKsVP~AE>}*)d9Xn6Hc97bt%@w;{R9eMZrLy x$wO4DMx=(26Z2O0o+4kmJq}%9qmyXs=ip}!sld|sa6q6Tpu}KlG+O>at;ig2^yJ)5)+o0&$n@%}}8! BdGv6V9-W}|bLYB8?sieT#9GMgU5vF_bg?PhTeNi#{ZnydobGVMon8|Mq!m#kfh%eDU7$hNXcs7ZHrg 4=sKo21R!?*8-EM`N0-#j+jNLh5Eiz2`^NzLE<hD3Ea=H;w(=H`C-f1Mh9==&|dT$qZ0Z{<Fq~4rMy6 2*yqtA!*%j%VY<uxf^2hR9d;C7Su{6zgyyJ`DoM|?tPN`t;LE7lRkGknJ=`=Eu`RwW|OT4Q`ZDN;=vJ RI(4FW-C|z3dCQi5B!ZKf{rq#kznJv*@3j33A<S4p5^@ygHK7Z#8%>Ehi#K(Rln3AANidOQSsGB7N%? 8msxy*E2cPgHkbnEv@kjDg_vr(*kyl~Zyzic`oAt9&%{FF4WYsjr*0(Vhx@$^r(pAqpw9IWSi=TQAH? w7X_pfd8C8wRVwsgxm#}hPxSs?X+IXFd~7LSA2zP{ukJawE_kR4#CRTe1{v`$LNp1u3;yy;vuxTY9rW qIkSryNZR6^T$%W))%}i{DxI$%S7Q8|o7($Nw2rMGq-fihczTm~y=%K4*T|6a%Y36K8I-yzes~O+UB! 3a`uOLjQ7RsI8kxRqau=CdvDSaiuS7v~{Ow`{w6b@vF7ozl?|mNGicqXObM8CA6Gs*6w{htfOteCHs} =9%B#C1m^a`s6L@(z7$9U1XMy4QjzZN=X16{CwFGYt(rocN?3Z>-97Fz$#*vQT_g>ywiCyk;OP(%GAt z$BX?tqrtPh<MpkD>O~*(tyAC9UNF2h9Am86VTW87r>EpYH@Ot{d{70;n7AjFI2#q-{UPem!?{J$^X$ &UDBLs|iW&a*VQ#Z^Eo_g8}m)CxnSxNR#MiPLZ<gVh+-;e($>neUv)BMO%R$s-ck=9Bw9Mo92r6PH;X UX5c>HF>9g#QivpY}-u{)k1iPmHP9RG)Gc%vqw?NX<quwIyZ;vb@kMAw9(i5lDkFPazKW)0j^Y(;3;L z54O0(fS{z!@bS-lg+)zK1)d2rqaesYFi<)*^JQt-0u2!`=7sLyC1nrs6Q|rHH~H`%udW>GPWwrDH~G 0YW&0JIII3-d~E*8zcVw(cQRW^nj}U*%nJdBt9~CChWf)G24JCC<tb~uU<y_#7GW(clB8|#U2T(c*G) #HrVm*(zd}!#e8rtT_9U1XL1d9+AjufAZD)mor`-ztKOJKll@X&m>vr6b<f0sk`TvqhKk)z|%qXYkiX PI;8I+%zm0Z%Q%q_DL&(|+~>MQ28wXBlHR1f*}koZ#A9%LjCjKjWXN%Cb@cU$J;^LyP&_%xe9)+`!jS gOXTnz!Eew%&?lgSX!;{p0pF-=VFgCANNZ-e*OumXjrcMw(Se)~n`hwu$Vk)|gIZ%~6^@X*z0+GCwf( Pe?P?l%8N7N%JKdo)HsUAu0;uZ~B<!oBB5n=T)`xxxeDy>;1ORrdp%+MRkqSM1Mj_SV%HP2$*|SK7yq xb=o&yn+nAPlqg)}7a>FaF>F=d|375^YWYu7(7Y$AC!`(~Je561rFlHl5&fQIE@^XZ*jrfBYifMs`}3 #Lo^5_?Xf2CgYK^Xi1yHP&7K~^3OvMb!#U?wvzkna*TL<-yPED#!6%yQH*3#Q4l5S3$It9Hq?|k!GdT x)u%-i~4t*ZqO&#nw4lQL2XDoREVQ2nQm_dvr}O0yGd=1Pyvu=>-rOc>k0JgZ{tSDKc@+ILQwvzTL!Y ZO@U9EXPj<hRxpGUAxEf_Gm&@i{q=_vlabL*^1s-q@VLh>*6#N`k_X<P<25$4+tQH<dk`Q)bkm)wEfJ gycCPIfTrVVazfUEJiUtSx$!@zD&cMHCSyy5UXx<>w4HJ&BJOM^noYPAqycB_9=Ss@#nj~eC!9~MeXd 3a<OVoOFHi8C1N(&dU4Q%sTE<DibMIV6jDscm-EN6O+R(Hwdts<oRqIUm#l_LoD7p%Qh`d*gbor0n+_ xtbSS6?`%B46kN4Vh6lI;mwzF#OUypG$wQ75vR>;#znJgn>{=dtce7`CB;s#zrH>p>iKcGYSVvsmwlC xWUwk>jZd)u!{EhYn40i=-0Qd=xp3?%%lqAcfx3^f$8+QPC)QhdO`lQzQ0E#B@i*v~YQC__qLMo1Vhi $8t9{c4&Yxag_rOq13<mMSaDbPG{_>gyDQi4=J@_&j^ZN-em<iXOdk8(CPUF8m*cNTKE*ttLXU7i}~G e8cP501cx7hmUiiP!)J$jS`DX{qkzBH^tcf2vLHc<`S)Qb6mxUl9{EgimsU7i#Hoel0p<TVNe#MQNQe YhcXDmg|<|zQg>0!XZTI)$I&n0KB|}X6!Fz@-E)J(K+@96ECBLIU)j(&{C9v9oQ1UVmVkA#7{O>$SoF W`xhvm@NT45xD!|B3*zc`~_)vH8-=CT$h`z^@^9Sr#Z_QG^Ur)6!$uET$kgr~PCxY=$CF&kZ_o}0lVf *>cxB1^{AG)dgGamlGl7E_iRDQemFVugUi{tlxKGa{7m)Q>z_3t6-UPqMmJx>>_n%hTn-YoZxT3E?h| M7PuQ-uiupmdDD """.replace("\n",""))) def g(n): period = 149459 head = 105351 return data[n if n<head else head+(n-head)%period] n,k=map(int,sys.stdin.readline().split()) prev=0 s=0 for _ in range(n): a=int(sys.stdin.readline()) s^=g(a-prev-1) prev=a s^=g(k+1-prev-1) print('Yes' if s else 'No')