結果

問題 No.3066 エリスリトール
ユーザー cielciel
提出日時 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
権限があれば一括ダウンロードができます

ソースコード

diff #

#!/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')
0