結果

問題 No.3066 エリスリトール
ユーザー cielciel
提出日時 2020-04-05 01:06:04
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 268 ms / 2,000 ms
コード長 12,549 bytes
コンパイル時間 230 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 12,232 KB
最終ジャッジ日時 2024-07-03 07:52:56
合計ジャッジ時間 10,895 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 40 ms
11,844 KB
testcase_01 AC 36 ms
11,976 KB
testcase_02 AC 38 ms
11,844 KB
testcase_03 AC 37 ms
11,976 KB
testcase_04 AC 40 ms
11,896 KB
testcase_05 AC 42 ms
11,896 KB
testcase_06 AC 261 ms
11,976 KB
testcase_07 AC 248 ms
12,104 KB
testcase_08 AC 247 ms
11,976 KB
testcase_09 AC 262 ms
12,100 KB
testcase_10 AC 259 ms
12,228 KB
testcase_11 AC 248 ms
11,852 KB
testcase_12 AC 268 ms
11,848 KB
testcase_13 AC 260 ms
12,100 KB
testcase_14 AC 259 ms
12,100 KB
testcase_15 AC 242 ms
11,852 KB
testcase_16 AC 264 ms
11,844 KB
testcase_17 AC 249 ms
11,904 KB
testcase_18 AC 255 ms
12,228 KB
testcase_19 AC 259 ms
11,972 KB
testcase_20 AC 253 ms
12,160 KB
testcase_21 AC 256 ms
11,972 KB
testcase_22 AC 244 ms
11,976 KB
testcase_23 AC 260 ms
12,228 KB
testcase_24 AC 254 ms
11,848 KB
testcase_25 AC 257 ms
11,976 KB
testcase_26 AC 261 ms
12,232 KB
testcase_27 AC 263 ms
11,972 KB
testcase_28 AC 254 ms
11,972 KB
testcase_29 AC 262 ms
11,976 KB
testcase_30 AC 251 ms
11,976 KB
testcase_31 AC 249 ms
12,228 KB
testcase_32 AC 258 ms
11,972 KB
testcase_33 AC 37 ms
11,976 KB
testcase_34 AC 37 ms
11,980 KB
testcase_35 AC 37 ms
11,976 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#!/usr/bin/python

import sys
import lzma
import base64

data=lzma.decompress(base64.b85decode("""
T>t<80ssI1|NsC0{{R30QTOk%DXtfh7)nauiKAdM1bqW;dvNDJjb<UT@byU-?<YJ06b65zEkFf2*k{7
Uf*N44+<*^%x33M1t`u{~9-PGJ57A6EGZ$ZXpy^2ve+K%%<I@v<p7x0EQ}kix1(&F*z18#wQ++&hk28
BmjZ3a`E5gH6dzYmd+t@tO^a~gDJ3_7);tqnIuMbsSoDA9fT?9J$d|=`$smLXiwFbX5?wYlrgUvYW-<
ZmVHCj$>x(@I+D#unGIpQ~nEL=B^N<yN*(25HPpaA}NZTD5C5v#qSd_`7?bi7kjDp-;RX*wA_*Ynt@_
!R||m&|7IpybJiu193Y@xr%6QVy357U_q<uAGIwWe;3~ViH&|z{I*KKu9N@687$Pt=&70{|myXW9&B^
(`j<{w^RPmlKiyqi+nqO4K{z!{B{V*t3C8nA8Q^U-L<h?=HNKn1?<#<@XZ4i?WN?RG6ba>|M(qK$4O?
lTs+)`R~}{1Jet|6G99d~83!MMUYlo^pXT0xAI8qE7LpVrb5hbEEW%mf?iVsvqlwg9@L1;cvFiR@p>h
yoZv2$fSOYG7mkKtGQd1z^6DJUe+39gJ@yeyi%QFcm-CVXOFGa~cIX`H)dg-u)(>|k6z?IpW3>R{v(v
BF{kExwb+yO*$W<!gJ6uQX&E$THLfmMfD3dP1+u=n8)bs9c67CrJ98Mt*r|2!A|_g2mJG8BB2kdo*2O
!BNQ1ecznKH@)2ahNYYx#hyP|1XS!mB{$k-F<l}FClLg08rt%zZ^xbz^Q8-4MuRNDCkZPRQ1d@V$>p8
KXodl2=kQ-+|!DgDJN*iEU|Np6zY1to#jViGeFSX-n4M_4sa?OWB94w9IhXHoMQn$Jelc16!g8(Oj6N
6yi>l|I&2ai_zROsgP3?K(rW>1tRG{Hfg;r@@mgY2cZt)^zSbZIV4`RLPeuP2GVi*^^)Zidp^@QrAVz
-dp0=5++kxNH121taSsIo5Abgz?i`WqUwbSd6f=E3dbDp@2T?uW}pxu$U^F*}DBlC&)oS~j=m>Doem+
MBkvW06P1`Ari32lT-XWNZr<rL*ubj=fdf5W*i6H>t(VZb1K6K*l7<Z=515-jyIb*iT^zaJUoh<$$(8
GIv9v>5pc7jR;wf{n{}n*x6zKC9YLj0Hr?9S;$pa*~AP{j=)b`dBQ&1Mpo#^`_opyI4`BaBie`t2mU&
NL`jy?ccTc);;Ab<`y>f6%BCwIUE;^B|!X%=DyY^wl_Y&O?)IugQQ~eG%*d7L<MirzNSU4>9dh7Y5O<
H952cVT)w6qx$-0otNC*0j7K*tj-F58gRh~RnnNdLXtN(cS%Ctthcqu~l6jbAvDwqpId03S3UO8j-G6
GLs*Mrnm0G?0{I`r4z|QUJ+6jS0sDkm`hjz!wUUh-$4akZvNQnN!2O|LIvefZ{qN(6S*N-$6({g7tPp
F>VYVl8XCvu)~#k=3V`Y!RF8J3olpi=t0<MssnQGsn@8=Hu-G>z`2S>A$gX`C7g87TE7r?9lAkSucGN
~D`0Hdl8}FA^QC!>9R|j5ULOSb=`+*~g3x5oU0G*0re<i6|H%7AtK&FccH6$f%*Q*Uikiez4ZRov}6W
UiZD=F30CPSXx>;H^!<9Q(FYt?6p*T<i1WC38~geV`v!zJtE0hDx^FR1-X|e42yTS2}-t(9ni8jq}Ma
Xn42Y*63F%B0J-}ltvpp21NvGxUw73Nqyia1e7756#v@$;hyR~%bq3_@ZLGdlERY}>T;}H`BliRQxMZ
m_d@{dWE6<_zC)PGPMA6k)7oJ{57!F}<FzsMNjgO=LEHFSO$)|U;TP2Cxd*KMS=Ck_Aq!XEiR6R)eEe
cp3U7L8kDt#!ObXe-lzQ{9DVSj@dnX;8!|NGL5W+pe~YGc2OBOs_!_clE|V@L^m0OI4a7Inu9U)DSZ_
TH{_gT*kY^Rk(QGAZ6Wp``+GfE}{6!%L05;<rv9j=g)1o79aMV7U)(h7crrZ5P(!G81NR)hqNbY{6&K
aZ`(5!aND6^d*2mRl!cjzn_|Dc2C8PqnpPTH4_2x>;6=!HzH}QuR(f;v)I|ghh`>ZkeOQ+9%*{rFXHz
2IO8pZCiN13fkop8W!V1funv{W6*TO3E<KK>{ZnO1+WTH?vO8^!Yt=iLEi!f_bh)R={%OwIqsD3D_A=
gIfZBbmi7eHMSfB4D(;$}2ypy>-YRZn>K6W1#*umdFtMWOciMuv6x+&S(oQ8RUQcB@~&|!>$DliOf`E
<L<-XaYPX7RD8?8*aA4t@Ch+Y#ksv0D7-U;Fld#Vu1Ev!biZM_@3k<ptX^UqxH0l1&6BPoPn>T2{A((
&|d=bGH-mbrDNFKrA6+yNag3m3qx+`G(nrsgCwp(odN>WOP2&kw8e^a!GotiPW05kRr(Z5*|hz(-8+x
VuW1#(ebgW3N-rlMMCV0<40XM`RVx8{fv&uux%y{_T!iA2Ti9Wb7GrawMTZ2=e0J!0OcRUIo=_uysHl
yC}Xqv&FV6RvD4lie=3n6oT0+6xBql`lV#E=PBNGt;dr%KT9P<cdk{J|hphRZ>k*hqWAJ$`SvGvYT)z
|)BcPfhO|Yl93uta6@;n#giLo=aDm1DqK#?@r4!IPMEIF#PE<SHuDUwj;VsE@h5}N0G$j4tH6*)vlFM
@KOY;s?oP~wgu-}<W*Y=}kI4I%#m3ZRiySJSjEDQ&@hp)an}Q=++ouAZ8n6od#QjrsdNnDb)y{p6F)c
|T1Y#^hNY4ISlzt^*HnYFMBEbT`7`@SgFB#_N>P-JTGxXb&3j>~dEI-}V|#TG3@e3C`vsR}S<D2iTdb
>c(NL#Rk%kjwe3lE<Oj|XLKA`#lxjp%JScFIyryrmd(H?XZUUte=uL~rHtO<ZPy(VvK0l6wBNp<*qAj
mf9F{zvc=K=GJSOBc&6>2(K=<G_gAl6o!wfi`CF!uz|$5cTwwh+7r#)_S$%Yr=XvZkXj)(qRo{p3m|`
Yok}kgH{*~Tk5~S)SGfo;(6$_Go$-loxvoi}WDf;hMiJ175OUbJl$<r*yhdL_#J=pX9ht6x{_P2$V$T
@L3$MSDz9unz-PjlkJL2fJy)V^0v5(MiJ`N`MAqIqodl=d2>IHFq0$suHmyN}ozj;=J8;YrIYN++IKi
+<ghyGbjuQ0TKB-zXu;DdrLC8N|@T)+SE_2E0m6q_6^Ev_NX@?=kz)cLg*r(-^evyxhOf45a0h@wq;G
%ll=R5G@gphkqNYALE{#<*A<$5xNgJjj)U=KxDmhL4Y(Q)k|#hS=SYOOIU$O=hkSv2wvv1%_to{P<$x
a*bt1+dgSI8ppL9%fo2ewP&ut>6h;6Kz<v|ZQd?I4&j2b<kPy`AAy6_7iI|w36GLBvD7GU9NNgL&CbH
`y(qGC}vw?_h$KY__azo9|bd+?h&=Cm)m^pQ((Trfhl%>nVqtrLfEVT2@X=sR{4yN@<qvbldT*`(^ax
v5G<!Kb3eFMQzF5ZPe%23Rofk;7a(1Dy`dWsg|;^?o<wdPyn?y;U+_6VHuyAyl!`60Ua<CnqQ-zJ_?b
y-b+@S`3|Tr?X{-ArJzOuThfrX;NghBv9R;(U#6xDss-8Utxw4zet17?)YkXt;7pyc0yZ{_NVT46JwF
vhHIcuh0HE2qG>BGX1$A5rkY!$`gk!>b(af1Q~fJby=!kG6BDG)07XN+lU4osZ%34|LbPb`k+pkwzX1
~6aXH+-pokkGhMdZQ(qG{tAc-;a9I{#=HZ<;pW_%XzI04u`@1oef?@eJoO^@oG5XWUs7brRb{j5NCV^
G4QEqO7j6Alpn{t)KXy4LA2p3!AhTZQWRj0|#ZuBEU#IAj}h6buAI68<Jf1|wGpS<VJj=!1smI`0+t|
YrSCUNPz9HlJA`$(J=8UYYKbR_8+dy53-xX^OFeVTJ&GTbwGm;C-pOa&Pm!TCG0Lj(EeQ#P@RqB<ZE$
;2#Z>sFjI%83r}d&3=b#aSjK?sg1+7zC?qgIA+F8V3903)dWm0Ln~#6215StIq@kwd-@}5(l=zanHr|
Qe)=7BS`lT74y+BMpwk~ST{LBs;Tce%whSJTXDnuX(9JDW)GhESPQ3|Oyr5$590-$f(Wp85a-d2yQ`t
)OfdrK$s5z?NpS#M@SY_kwt@s@<0cL#FJ8~NOkMv0^rDb?Gl~9e52XIyg*105UbuHL_h+L*gk24CNY(
?}+FGL<)tZ)Rp?s}*#c29NR%>(z32Q15S23y`+)l9G`3US;RX5yS*<F}xSdIN`Y&<I8Q}roP9{A-hkS
0VLL0iDBA^{A{pX-<m;wMg;@^k$B^?=qVUcXz6lxr*B%0A_&iT<u{;~6i#k1PA8_cK;bD{Dw|Z$|;co
ZdupE7qYOM>MPN^}ksPG_DdYMpmf1Ol;pI1!BCFOwnv-7NbAfBP{G<?GG@Ts$KEC)$NfiV5`ajy!{W;
eGg=n!&y7O1Ro?quIHzh%$dnA*rd~zq$T%8cgH@eTb??%D>mqa>6y_z(SCF-1rkT!>wJ#&b9?i+-pb^
I&mN9=z!F}|{hu&?ZJ&LartdM3kqf^hFJt_gC4N?qyXC9mSXZya`iLJUag{jFT~>&?U0j+pu@EKM^!X
D2RIC^4`k}wPhDC$t3j#?x=&{XiMO+Sr<-gKW25r2*EHB<XM)MNfA1eLcohpm@L3f8qaoDJuZ?&6F5|
qm1-dr(77alDrr3M|2`s`R1hCp@iuN|H^O3TfJOpb4{!)$1vJu4Q*<m=%f19{l=EWpNaj}>bfl8>1^N
SD?C;k#~bX7TC}0+^?YRchA+tc!{F;3U0Wr_?7AV);O~c`i&HlLrqgtsw7bR1W)9$=m@PRsBE2ql+Oh
QxXQ?&d>%w(1-c7ZMA?V>%=SRSK%$yU<V*zkILh(jmtfPB=}j-|0;&xgvsLAYN3LLnUK<`eXQ{fE=JV
XefnKKLDG`BhtbHkmDRM&-2^?1$ciT{G8XW_ipab3(ffXGo;A4GtkkVa*^xE0Na6fAMCov?wV3+AJKG
YqXtRBL9w-HSW=|=3Esf3X=E5wrQm9fTIUFQvnKqp<c*PKGNG(d+f+QLSw^)oMeKHu-EwS&r5`n6EBG
J!XtWl89fqHdLI-@LYtg|~k8|<`@zC}#TFMb6i+rEw<!3%%`TBsJi_(qPmk}uVlsjf(Rw0r(~&|*kYV
Bqz2z#*@}wG4Yr0euhrMHns;#RlJgYaj%;a0he-mrzQ{L|3egpt`kk5Z&4QO&|aiU)65A#FeVZe|%(}
Og*a)GxF3q*K5)I%`-D3flxUEH&+o4bAHz^X}T&@FJ6@(eF{+9h%P_1>SGDnmCupg4G5MQh$<d`-4Pn
UX8mPFnV%j}murXUdgV8B=((FmXCF%|<|&Sqh&#&N#NhV*eO11Z=@dqf(97&sU>O!mbpA@=>5&A&MCG
q1r%w7T$VQ#|+fg{V%s;y`hoz44Ia~I9ueAowVIynO)m&nL+YcBM7c)n6#uN?%r}mI&CA}a5E|1D9#Q
6;BNg_5^raI6?mx!>F3W*hZ(Mi9VWw?Y0yp$Pp+z^9aBLJU0wcwj&X;JPH;H6oPi6B(e_!5I3HvYhx<
n!5pV}!fk=Jt-~|K9mmGBPTZ<&TkzvJ<BWPWwr5f6B^sPh&U`_lOM|7xVl<&_E`cq%u1Brj{@x!MOG!
Ejym(`S}LRo9HShZ<C1>ITm#w;nG+W?nA&)A^%5STQWD4F3{8m5z^w$%qlxf49iUYAZ<`0aAgu;C)7p
%E*j3f{HeogR$*a>AI%BqGHb^yQ<10klF``c4jr|O;rc1tieCcrVP?KBN2z{gqbM)?Y220w=;M@i5Pb
yDOa4(s>zd?sXC$8(c14f7<Mo4&VZW^3haEc^`+e8zU<&3@hgO*+#Ff|!v31_8vXof(S<wlvXCML*4v
g2T_AQEQ|E=+Iv!yqkMr+z}$<4;RcCcfiyPw);21;`L=h}mX^m(Ro(?jrHyiP1#bd~02wRdTq{iFgB(
XsB1!tf!k?BM=WND%V}gNp>`43&y>E2N=*e+K=w@_=Hyr{3g2gCQYLds*=k{m^by0@!oI@CH=(`@7&u
&j%scc4ACtOOij^-;m~xHp1bTs@;mrp~z&1%&pXy8q^_LN6TVOTb%1VEEaWuCfl}Ct)_#gh^MPvhF2)
6JC_t!1J!HVWv6qx1(w>xEKL*I*A34B!9>`kk~^z}%uU~7mq&T77QX8IWQOp?zpXBw$Ah}_@a~i-6}T
99oV@UC+>xC|(FJ)m>m1J4#U2M00s=XJ11oxxBQu(?kL!(c)UXyM1UzpKo50vB_taTU7Fl~a>Edi-Y0
LTL9hvI`$4lj2`uPiLT>9GO7;|2gDBIA1Z~~$o@8U-cHW5o_4p4hic!w|4TzH4PjnXj%usjX7R)MZcT
4BG|4ihvz`5KOnl2}$`yi~Z|a=-Hu?cuhDf!DaIIJ%I5v#^%<%RBMQ%2Njmdz_G}5YV`69z)G|j{O~%
TRt1r^nKIyONp|lxbste>oXgggeVUS(sqS3MZ!3=B-ll)eoW3~iXTT;z%s2C34#?V9+Pb66J7v}r2~x
FWYrSTnOA?H0~$45+Ihv~rO#~t^v*(-I!iRTzmspiqO4}aeSB<0pdI>z&G_mhuj2aWng=1?CR%BVyMf
W$aKxeoBZ7YU@X>-o*jv}+R8@+K4bBz^^b7H0(b=J{_R=m@q7@6m8NrOTPvdoc3#6bI+sRi<SLdC>Oh
b{(wQZ@Irkhp*73OF`n~W87HZ!!71UslPjzSs``sxn2Ctc3Qr^~_!nEBt4DDMER#|b1uVv*g+7k}<Io
bJGZXDi&co@Zt~jT*#_vu;DsYp$1Yy;&U-qQ^@-Lw3Gm;c>-u<sjw4<@Th(O_SOFypo^SIPNtwx(o>n
MtWd~5S$$f2iGu`x*N5Xhrz6t=5}MnY3ef-Pu<nFvUBneMJ|p<U`8aXv9Xi}TkD?*HBdJcSCoAZkVAO
Z%mXIRTqP(hiBMgFiBv*&M{>W!AkF=yC(QNR@-2benY>F6L69&VaCLB4D@W@v4n&BK8f<@SA72H*w=(
rPF_MLHiWWWXKnpTKs|cek=sqxZluAk>bVU`_d(UGpa%;CIW?*%T{%oz^2>!F7Fk$vC5aTRu-C=lH+t
6WyCj~6JEn<9h@x++4z|)lHjEPVx!LaVZq<mtbz}6u27}rZuB|M(jThul;!=c!U)+*QToWC2$Z7-wj#
Woz7;?U_ik**0b$9@ZGkY>L#+t~#+68z&D9^`V`(_(G2JBqc=HuKqR=H=Bv8BgYI7zv~XFDrN_z?$#o
m~CD-U*8cFW<U43`Pm4BK#&e{02@~YhY@`k%SgEv>Lw&k`>zsING_sBSvvYnRta}%yfU0I7w&*`>A9e
{Y(<cyazOdgnF)ljkKT*;Ths?LBmKoqD9!_&m(C}=h~tvm{Gkf+ozL=dAbw-NZ1}INj=5$$M24ZMQ4%
+G?;%6Sd#ur!1r2j=ZIX-MuhIcHEn}nMao-4f9o#JUJF<x>Ch3EwNpOO=#g(IFvEcJ&-Fi>I=RSl#P;
9^EbcW*!UVshk*jz<rEzGNXI$8hLkL?jiutD|V0RWzpQ(jW}p6Z`K!FWwEOpowmSHIl6+7Eu}r_oTGk
dR>I>z)>~7}3Q)zUChKKNWGclo~V}?^zsNK-+kS=nI%K$K~D(F!v7`?xa=nClIKxe#&U6Ig+{J0t~|d
FPbZ)2uR5{(4MQao(BeazsJF%3m=7kH64Qr&=H~LsP7YaVkZOfi|{t2VIwXh*6^F!+~L-cEkXdGL1<A
(QTN#5^(Y^V()E<x56WW5xIc@u<qqLpg7x?M=}W3!LzKcaT-!}yS>M*<27;0qycGkDDaYJb;H{a>QQM
OTND)GV12%K>cEv9m)>JO$iL>+2&oIDYC1wePkPcaLr?2JczV~(1eLG514Pp9ErorI?<!f2~`@_G<;e
_2R-8%+Pzp@B1^<(g`vkgr%mm<|6;QJrw9hfD$?2|Gc0ZiDo2o-p6bPvz{-n7(L+M*Yk@q6Uqe-i0Si
~S6f>IN{Qb-o{Uw&G=<C3BFXh;VLM#xbzl)x9}@tWlZ@T%txzA}Xx!1J@N7e{B;gl0d6n3tO6+CL(*P
Qi`fO@YC>KVmuuUdxuJ&f)vHwgJAE3zziG-z0>;{#1gBQe}o3OLW#k3>w%T{dm%m&^QdFsc<pi#-YF%
FH6xG_RH^BMm}Si`6U}pqs6RQ8(X!qQGy-+DV!jUCnj&)t=q6l5IKiu{A4SYbKAtm;>5I`Mum9xBol-
C}qVz2Hg+ay9fzTSy4BM?3;#p<A)08F}$5MMAQ@IxUkpf_6Lug);A(_{KpOe|$FhV&jHsKzMi-gH1ne
^&TT&#6&zh!zqf{Mcb5bN1wt)*5l#n)Qf7#qRhrC-?_YR1QsDyxj=cWI)oLP}-eCEE6QRFXAgRzX|*T
Mt=0q0EQ<p*x|OUgi1c7SP*Ue^8n;Q50OhE&=0v<xY?Dq7>s||C%#1i8d2rgieE5f}&6Oa|R;^Ys-lJ
b6-!+rOqV@P;+PQPDlKLlJ1sXaZYPq`zhB2;#M$sz#c)tvkK7g{EaGMeKb@eW~D=GEs%#lGM2jOqzt_
YGO0k#_e~)(L~YXoKZl5o>cN=d9`$;sK2LKs)C=7`9Z~s02eQ$+(v~gxti}j9>0vvH;|^86+g8)E-KL
m|&)Vy~=g`K!i}3r>ahB<?lG>rYb2s=2;(a=j^2Fl}S-trOlsiNHFR&DGtU~70&_(5-*U5bJ*xN)tay
Y6Q$t5S(;m!XsrdSCi-nQu0Jp7`?-v-(kHVPY9+`bkKQ!XH|V%eJH3^2U+5+D~*TlrR-8z^`q?a9R;u
4BJT$rLPSp3&+cj3^MDA=6IB>rzT*&+jKS2Nxb*KyC8OMZ*dEEM3I-^*C@P+OCcb({a1W!~??GJdwT1
aV4xLrj3z5s?+CHu7sIpR4}hfHdmw)jC}AXQdUYRvwW9<UjTCqkJy30TeXyQ_=`Xekh!hAG8y&oCtT0
aigBZUh$SXZ0@x0lJsu5^AolD<&Q_M2`8wuB5KeJPGm`egX&XRIood7S2;5w0LeM`y)PJkOR2P=m<cP
0_6{6^x++~0P6KgRAYsqPr=n&=cAIGV{Ha~>R0K|tqf<TVCa?1wsvGm|>E|`T2WDSP|{SXgrMdMLJfa
|r4s=6pSqx{*Zx>=qW>{(;&B#y}}vrO)OS-tgAl&X4_)<PAITf5|Lusu#Rr)Jn24s{f60~-lqf|YT3&
V8dXxAG6cr7uM0%AE!^0*=IpJzB!BGoj)q4m_%4y5I)WG6yg+OX#Q~27EM1i4IHDhQ#X_qMnV?h_6xK
#U_25#@GWddOV&ffRJ=KXzak;SB?cTt{<Ac%D~jglhh{YEUKC{m%M?XS!}-wDd}=xGEI(x{(9jFN71)
M<8KZYhiBsQ+&1@arIF?ab~dsrym4UCXrRWTQJ<pii?rx+#f#2tyn}Y8Zs^nMht++w<0cw{R#J1J<d_
M#*56X?ypB`u4DsebK}H7&5@7E7WDqvU!`;#UwwrMGu?xm@-HVKWnUo*>V{}-__V!7MO9gO5FS%`1Q1
n=Du%7s733$B9FF3yyz*g~ckYdY>wE*{>8+R4uR1velU5UQ`;HU)dSZAdwVpwCxV+6{61`Sdc1!h8p%
+(EnSHoCXk%B<%bGHvyw*CTq*kANx;b7G4?5F*lI8%6Cv@#c7X;P9oGN&B8NR-7tp|{Yy=V6rF!`?Mg
ZXL(_AVFp2FwB@LGj3m|A7!zWT8Ayhd{5jKl(T`SS_shbFQ;YQLLuo`LFaIgn?yuO)i%|B)Dv%nyE52
WBrSb3%-sKZ7Ma1D-R|rq(44^@<nbW(+Q~TwVExEv)U6<{hz)Z15O~I0L+uX6Q{@*tRXMxEEQkC?XX9
Z2V=hnf98{sQVpBl)Au5C8XV=3#Bp2N9IB?`DwM8|giv+gfhLJ2(=H^8BDvY-*pb`+z`09%GUOhTL_D
YpAN`URb86!%7Ej&Rn7E;EUeHbJP9zYmWzGk$^2DVdc&iQ~%orCCg;VobE_cZ>(Vu^QNI0Dwl8!gVHu
{h%fkk}=Jmt+sF%M2HjZWjvlsuhrL%$gAGtCSgH!~cZ3UV9oK<n7uKTL=g1wN3Gn4?^+{SZbO2W0*r<
1n3p`J1(aY^7q4Gtq_|{tkYW1-(+`U4}-z8QrF!@!NzK=ZVr2cVi>fv;AmM^tZ*=aQs;5(D#M(k!(zT
KujiPQoR7P5)7`!%-{+pL$kr9JF&TH=<SQ4WOMi$WZxYxSq{#vF7qSHi<bnXfAqw@P)=xUdRGRq6dkr
_06E#=+qpP(+qTMM<uykmE*4kgZ0`}jVHbjh)*ns|VlngGs-!QgRU{6mqO`SS$cf6rB81u%ZTvM}|`4
G$wK36b~4S6@D!T;Kunwde4{;SF9zi`zoh9zZa?8(kssfboHc9z`8H{wCn?1=2?>_){k$IK)$Y7#^XU
-qxiY5fqG*YJSMjJg$jYCm*=U1ghsYz3i?8W%Yen5XL;q*pRIZ3)FyS}U7|<@*=|cdd7OLn(xZF&;Kb
`T4C{Bt$87oKUpK4>m3w8lFHyAPNF*UzlhWurFi)orK$<<aHsmjd)4yBtI5oaGEQiQd|Lzx!z6A9Cb@
rMe$M6atMcY?A}E2m{XN`k2o8C;F!<^*${a5F%?tkO!w{Mk{iQ#T`_`Wk0o{~&}wZ-5WxnC<Ys1MtdV
v(^8zM_*vXzM?6y3ih*2!)S(lSXRauhBDnMVUUK&#_T^<e+NAgrC!)^R-4s0@xF>B=oK%V+`%o!!r0m
meA%j}$-|7!~ayF7k|ygw%RVdlWDoz@a3XLG`c2`8rGs~k6c;RZhD2quHre+x6VPMO7BZCBV67%YPKb
jqnUr7e3sW!goyf_rVlk(TiG!R8QvE<Ed62QX5oBHhdESH~eweAcR!Iu_mgt~xS^2(#HP*U;Oq(&(DP
e(Mq+zKIsKqSw*aoM8&bey%d&q$(nUw-Cmb@V5Ri+E+75xg(6zsuX=Im=dLqZr&(8L}pc`wE#z6Li97
bxKfFgMe{gXZLxdcLTK`YZ$wr%qL)6)s`SY~C1BqhzM@aqm7ui3WF&6s`fh`nQIz`;CvpxK660IN&n)
2$?b>?YCS+u<X@Lhq4RacCdw?FHh-_C$!(_&b78!=NLU){5?KQ93=7*u-6A3lVvA(yJr*G~GZo}J?vK
VA%qfR<h9!Y}I77~RxdQdKZN74+Td+;T~146t##Z;v1PrkAPK~YsQF=nDQO?h(jXf>$0z;1DP8KSjs2
n-0@2-Dk~bl!+jeDQe875cmzl0SYUyb#{z<f-JF6ZGWI7ufPXn59Gl?Bq3HWofXvmDk`|{iyNPPcDWB
4oewfg!cg&O$fY7p~k<wdW7E-dPQx6jtw@mZsPJfSS=nCnW?70#f;(be3RLGgk`VwlSZACYgYv*2S`o
h4VNmp2x@^ubi(Q?aJczfc%~+CJvX~_AJQMUk*Ue!N78LxM~_oO`9?8pE8|f>H7<ezjHCcwKUBoF8Ow
@50@qsWTnp)fjmgiGH%N}%HbU{Rj4EhXat-K@VR6qPT&hU-lNH*ZkK(Jwo6q0p)%!#6^ku5xR_=?s{(
U|U3cMNkSmOZxOxYv!Qx0d;IQ|v;XK{%hL9U;a%Hg2_L+>2b0nw&sc~MgKa?Qqy&sGT)M$vua^b~DH3
pQu^v|Mw{(#TnRA~FUeS^=8xr$F%SPiiTstKnjKBPXM|a{F+~6u*8w;f1Io*kT~jN<Bx1mRf{a_cOXx
yc#KXZL_hYR}AvX*5v<J3?GxKT@5WBw7)yG$ANcMl5cNd0xe6u^AJndkN9kpsUVW@fE)XFOg)mYNRF9
YvVWZJHuxI~H3KHpyCmn+Zf!xGjv(~T?~)}wK#WnrxVx6O{4%F$!ws*gDl*N5@?86762sZyd)=*LwbU
Q)3*<NUz_i*cEFvc;C%@<#ZWD0EIf8plpGjbyQTI(KYQ)zMS}b!!X+ZRmgCbzEE1Be0$*=+{PsTG)mI
jsbmWgy^HOzE@t{ld%@qMNM9|@}^zAhqS20z;^`>;C6NCi}6II_niu1F+pREN5DL9%?T2*%*V@u37di
q6_{LZ+&zH~jH>^h9SNh)@x?avuJG+G9d$!uw;op6<-YBY7?<V8N)2kau}6HOY-eA@DYGW|p;N3t&M8
$uE#Y;GV9;L9A1>y~qF^(@|B6FE?Cxh=~-x6I^<!G84iM9-pl*Xk|`r4`HBWx(ytlB70Xy$3{WGLJ;r
QB?XerEqdg|y8zn49He5bZ3P#3AT0gpy7RM-%7Y>A@Bc~QrI%$zhFC&w;cE;@n7M=uJ!-fRD!>2va%x
%
""".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