結果
問題 | No.3066 エリスリトール |
ユーザー | ciel |
提出日時 | 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 |
ソースコード
#!/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>bwGm;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&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')