結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
11,796 KB
testcase_01 AC 36 ms
11,660 KB
testcase_02 AC 34 ms
11,664 KB
testcase_03 AC 32 ms
11,800 KB
testcase_04 AC 33 ms
11,792 KB
testcase_05 AC 39 ms
11,668 KB
testcase_06 AC 240 ms
11,788 KB
testcase_07 AC 223 ms
11,668 KB
testcase_08 AC 232 ms
11,712 KB
testcase_09 AC 229 ms
11,660 KB
testcase_10 AC 232 ms
11,668 KB
testcase_11 AC 229 ms
11,792 KB
testcase_12 AC 236 ms
11,796 KB
testcase_13 AC 227 ms
11,660 KB
testcase_14 AC 229 ms
11,664 KB
testcase_15 AC 219 ms
11,792 KB
testcase_16 AC 226 ms
11,664 KB
testcase_17 AC 221 ms
11,668 KB
testcase_18 AC 224 ms
11,668 KB
testcase_19 AC 237 ms
11,796 KB
testcase_20 AC 230 ms
11,788 KB
testcase_21 AC 238 ms
11,792 KB
testcase_22 AC 235 ms
11,792 KB
testcase_23 AC 234 ms
11,792 KB
testcase_24 AC 241 ms
11,788 KB
testcase_25 AC 237 ms
11,792 KB
testcase_26 AC 232 ms
11,660 KB
testcase_27 AC 227 ms
11,668 KB
testcase_28 AC 230 ms
11,664 KB
testcase_29 AC 252 ms
11,668 KB
testcase_30 AC 227 ms
11,796 KB
testcase_31 AC 225 ms
11,672 KB
testcase_32 AC 226 ms
11,668 KB
testcase_33 AC 32 ms
11,788 KB
testcase_34 AC 31 ms
11,832 KB
testcase_35 AC 31 ms
11,796 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#!/usr/bin/python

import sys
import zlib
import base64

data=zlib.decompress(base64.b85decode("""
c-rjS-HzKJ5C!07e!7Pn?5n>2qZVdF#)y!_Yg?&Sl|CJf>BR=g<A7;?-G2SL5#8k1O<ESeEJaH??$`*
EO2s!zuYHiKn-`G}{f;_FNh(>uFC(`o>Oh`GziNV84#57o2fCf%HerJ>J}bZcUD8RNl_!f81JwLNTsB
nli=`%nA?Zu_OOn;Bo_7@KMT7XK*Cf)4PCvpSE_cHQZ6`)GK`}9hk~_dN3X=#oLMCt}$v(=hCafrlTP
4OXBRSO!scQGsFBUDep}jORXx}@5C#EeXkwNC@VJqRi8RmU6#3tpp3aX_LU4FMTD5RpAfy8~aB5pAo<
acOf@u<Jx#rGi6i-se`3MsXb9S~W;<dTlq`)h5jWW`&uNj0IZD3YaP(q#AusiFvEtoSZ<UcV15+2GLh
W;4tzsM(;=iaeh}XR)M_SWX}9e9EI;do=dZp+`GfBI>@IhEEU6J(6&?^g5xTN=u@o@sUA#28q<LW#A@
Va--3wS}E`atpsC5p3y*-umTUzh>Z-zNM`sHDh%UAprGG}84j`sI;kgjbPAo}Q^;Ou^pY9Ec@15%E-=
y{KFw0HhZlV3k*Q>-TOth)bwhiJryE)cCE2LiyF?18q7L>a5ug5ht%NG-z=aj5|MZ>>2K}IbQ`8|I>N
tFJMIG2gJ%?BA6ZPDD1&H%zh;H??%*e)zuHi7*TRfpNbP6cR;ph4s28$;#Oeu7a)NeaN>^!uj-A%acx
lX6hy<jf;=E_CX2A1k|MOtM;k6@df#n52#BB`Ypy(1g<Kv6hY?u019(T#gR6xDh!h*uc<^Q)O`(_=5P
)*@s=E3`<KUNEVguyK!~M^QWj%PEcG8J?~EU{0T5s`4s%F{!748azgxckDL%b)LEWEv>rP3^x>1`pxh
T2>m68U0ZpyG%2(NlxKJM{iF?tnrpUHX;UO@Qc7W>FO&zV%Tc!EML6}e49?ytg&5gMI>QLN<8PFl*MT
ZM)I>aMqD0^(z4-KaMz((b#{JSoAUbJAMh})w2dU?XJP(5Bh+BT6n*v(Kp2HC@p6{*q&~hmm@={0ghC
22<NIXa6d60VUk{Y%=dxqFb8yaX1573PC*z_%PWapusM}uT8d!uy0`!Mj5d4VB=N~v0m_V9ul7GiH4G
;HLIQ-G)gnZDk?^H9^(@9#W#*m*36X4tK&ylb*aJ?-u6opD*j+=`Yl$VP{J0586M;u4-l4ceCxJSlPy
dGwVe8aoVla?QN^oMT1J#WUFL6Zvi0Wr(+~a<G*m_o4=u94n?f^d#^^dJPSC#zPJ{a>yaYP|Jv0p71&
eooFI-&+k*#b-9XlU7j})dgEYh)(4lajNWb{>|fW7=4(HkKEr*xjd|nnU|17<{*XhiKjb*$=p8QP88$
!dkfVU-Rl9t&9K=G2Jl_Bp(tPJJ$8Y)kVd3ENKFYiM2#@Iun;+Om*S#%+$>Np<Cg|YeJM?vb{X<Xs0h
-0E_vC7|lsCX+rqx){Z9abTyV{H2MuT*<%!OYjU9+xI!SE|+a^O4ku5Ovnca0tbvu?Wv)ymO0Z???RA
js<epKu(XVQO-<rpD{v6_P>*{})X&=;b@>tZWV}nwGmCzG%95SqPS;SqoH4Ne%Q=>g9^=)+U=z{gOkD
{gNYG|4R-uWc`Abk*k&X4_TuBKU4!eqYck)EByZ@$D1>R7`tqZlScXgSq^B#Tc1DSz=uvaJof<qW$)Z
}BnM$2DshpD7sLMl&o1C)J*=B07wAZ>mX1m_dFn`UVuQ_4O|>W%{gpwc8e?7j?r_`)H#A}<{J>@A)dn
VQ=^-n*kep?ZnUCjPoZ&cMZD3io;oXba!Mb#gj;3?yNw4~;;<uk_VLugB;3E}MGZBACZH6N?#kbDTK#
`c59Hq?Rq4A&~gG#FEGlBWMI)m9<NufdH5(>mx>kO)x0T`e+bs2PZ2BX`|7xYt&LdkR<SNo}YFLb~Da
wvsn^xSx&LO?eh?t8)n&&IJAWIXTQ+<5N=bL=bzWF`sTw4Z7eYgUC4?%g4}1d3Yhuorv-5>2UnanLbq
rh0fw!&k6<Zans36)o$sxpDgVbP0REToAA3#_<Q6J#%_)oC>d!3Bw$H$6v<vUa<0D-gw8O_kv*~MLaF
~LQ%yw6aM}67(+k2&nl0Y!COmQTbW;(hmyW>Dhbrp773^BP(A`@X2@e-d0@qmo;kTn>zA(5GD}uz#Z%
Q}8b5x0nw1??ye>P?O~8Kkc{^aUYaJSrH}!ZiYJhywhb~?p05V*+Rh*6^KfZ`!1bN5H677<?D7S1bO8
RGAR)s0*q=tB)e|C;zy#RLf&kE3ls*d$&Pl#woYC&|MGsJXy6(>3gr5k`%qjozU8ZpFA{kEdNrxl%R4
w|G(<ATF>n$gFk9m|-EXu~XtFITaHlMUFo>-%x2==h38#$Wxh_@b(*DHTv*!%0)B8B^jXi*6=O<D+Jm
Bu)No(gao&P*`(^sD_x>9l3Mlm``-7iHBOzZKqf9oj$VLA&2d(X<1C7)sRg_@S1i#sI#gBRccVhJ-^%
Gm+W@fJFV!r+=|XByB(s8SFC<Ko#>AELa%~Zk~E=HAzIOspCp|wCG>~wyk!X1J=P+E%*H$9I)gQ_7Gx
J2^EyLg2W+o1o@qswe=V@=t3*{(R+Qu@WwpY|Iz!Nh<9gPIc00}m*R;;K{N+Mbx^#!(4`{>+8gPQ0g-
mP)x}JFWm>rkdc+8G)dohfD^qy1IYCMV7I^!dc*<rw`(5^cSaN(~~HLPAxVIoS^jETXUSKR9Z5uhUL?
bU{a(#o$AiO%=nY0!sGe~tLS(`u|P>%%h~e#uwK-WhzwjXQ)82CV5oKeda!C%y)|*n9e{Vl}bV8SzS;
L7f+zS<)QhdoNh=JNm5VY`;S^5PF<&vJc&Ms*`g4vNytwcf1p3p|qzVWJAj$>i8?Gt$$Ma(~bMAFu_T
4h~DAIyepL0D3Cc3N^BISG7qJA?+!zkOo0lCicc>>iTxyYI=<)aa9B~pp8*}Qr_K6*a4Y)Gw#Fb{rAW
=2|5P3mP%%~|Q=8MJdCTJFbZJ-1BE_09nWBvE!zvkz1Gud6h*@IKylDt_eq|m?lPj~z1A@A8c?fn=d1
!1SENS{XdL;T~&`^0(Lk*Tc(Xxn!DnU{~<xTq=X&JXRrsiO8t1$RasLl{4#_FE*N#4}FdU@mJJKii=r
FG+r$VS+=O6v!!v@z>RsDMyBsE~fMcQ(6@gD@19fJlc8u$uRO)B${n!?-j*gr+wW>67JV)ktxIImWgs
xMf*7k72@1c4-kAw@b^yj+0D3R_U$n3BlDPd<b@SlC26t*cnkDa{XKZb8;w!*{Wniw5xUKqCUhHxDGv
I+2)t}^_d5TbtoJrc;E*oDnqQC{+e+DObW?S+;T^}zp=6Ck8MGp5?@oJg$PupQS`SNwCY1N*N4!*KU7
p}TlFE!=MLu={pkhfg6Xe(OK0Aps6#K-FuUu}8TW1VAw!!K%8=<-5FPv610?JS8HtHh^&!_+h7jh22<
rTJ;XvCE@>i?Tx7MU@+OAcv3eVNv!gIWfBX+c`2bP8B9V@+72cGVLvRr=7<W&+hkACgo1IHe|r;l@uE
kj?~da+89l<OedU=c*BV$6o@^>yfk>B5UT^gzz0I&^~b40ecWX7WVVTrYL}&N}oNB%DMh97ks`nSvI4
>e${y$oi1$kL^jo*kT#3L%;sm-k1}x7<&R16>F6tl5K56{^eH>eSN2J3~rs<KlHVP%zvbCjBSRpuT_Z
Ndw@fpYrU*8gtwVLS{V}d3-G*jVo(T~DRKR=z0pkyM`a$4AivRBt;#TJuma^7UMwcW(AVjdp|7ev^c5
c(`ikD6ug+-56R;)QNIxB?7jl_L7ac(<hzuX{tFy2CQn%xWz7oAdUx}Wful;u@n-nq}O3dc&o{+EY>*
p>_@8>RkSL<9<gp6fd$s6{DO$sr#Ng>#0dBdA*ZGy9kBh7ZgdbS}&4$~`gv_eUf)7urDof=hwt9$NiM
n({AFwvj(k>kyFRHNArIUTfn%d*qmY)5r8+Zl3);F2mvCLG(2akScbVrwb73@)ZCxCp6SGabPNk;=Qp
hbcsMrt+@pRtP39nrw86)G=f4lyI1VqhCRe5II(R6B1ZhmqCS37h7_`GmPmiei1}r20Ew$R@!{pca%(
>xczj2;iF%fu#$N&IJeyI`VNI(BXu+vO=KApxwF(U_zuDBJOSI;Y)71cWlW-9<Y?&}y*o;1Wge&Rhw+
iugwEtEreq#Cast-0PQdnO9_<|^9TEQS%)>;4zcurab31(39ag9NC~92B)|i?xRaL50Rb@`7sv?^)Ck
@%#J0kGN3D|&SJz2LvpVD&2u$B4kDV@;u_spwIma!F$CLwRJ??6FSY!k1?S5;v^Rn_?;0$m1*SPvgC%
b(nDXU5%lX0k-LxV+zv+0<|6Qk{cd=f6Yezzagg5!pAT_fELyFs8yFonz%B$FYe597-CJN95=hIq--a
UnO#6VFQ&dn8G7+91uAiPX(y{{f5;OclxCMxRki(D^qmHR!`q;mP;QLIe=sX*(o}iGO4mHa<Fy(0zL%
$h#Y1gR8Qry@5rx34!0(9P{^>Ye%9H>lXjdaatLe*CBj8ZJR-+uMUFsr<`Fp_k>kG;Ilv-^e?*Q)<ak
7mjUq>}{FLDlIXXoS5IaN;OB@h6#7PeEQs06646XO7>fcU6O$j279dvAlwM33+-}b6P#mkE}*+#Zut{
={UQ@Swd3wl*;6FH8~6)=(OPjXDZK;d|qZM0CCyD1zIkR6rfgX~Kzm!Bir750i8ZPYr~D}}g1DRevIX
eH+mT;Hy0Kpc(UEkm_Y>kFuX5e$Ap*W>Gp-t+<#d?w7cyy^Xp(E_ZLkb{zW1m*9%SBtT`(a<Jj>k7e|
;CL%`V~bqEF=_@iBSPl-c2zj7T@?}~Sja&lC}va0P>5v<W(vfkaP;4yEx1Im4LFnv&!VXXYTQf-uF$n
;@-sJIG!0%BLQQ@_K*C3B82uLe0!_GRYbN4pSG7%dchL!@&5l-obhaper4dA{3dhr~>YO{oqCaj494j
#|Pz3ur+9%IA=ab}<E$b#GAjMAbiOJu4#bgU+$kAR9*>_@zgov%nsA}*6MRvx~8&DQgB{*36+f_xbZ&
!7$?v9+PBSWbMB3w)*)eh7Ia+oRNd5~EhJ9Onk?W!iSo$abL*<<ahJlUgnXicK5o)B@F><4RnCQQap$
rgvR4J5b@{mC<$pCp$t8$fYf20u1L+>bRs+%nJjNV_T<A^+79iG0o~M4r(`&!~t<I6gZz8IfN(HaX+G
a!^hu2YIbTc?Pq&o+<~6!s20c#5H4+Wn|gNzOl)~v9ZY@j@}_HqeS?KP$DW{ais85`Q#areQ|`PUlEq
vJk^NUv0pAMeHibIM`lVkWK{GEirLlXlYRMK*MHeNyWQGR7z#`LNQ)atZ|40UbpV&`P>0P)2u+(t`n2
R!b8({CPFTU%Y|uxl&TUaE{>W~_6pmM&L&PBT%1<4iA^;J?XH-@fH9HKy?KVONO>8|jSy%N`k-^$3BV
tY;8B4c;MB8>)5lgor?Fgq2h!P)ZIAJ)(>JGhuHo+$>Oju(JzH%GLgdCHOAI~G@K&FyC<p76j9pErok
Inug<zTTYMAbQ_lJgjd@3So&X~t`imcY1zBIRKCc!O>o;4q^_d>r&ZW1tkyxkE%Pcv!zg&6v;N1C$hr
j~#P3bW!bParWk@Wa&1{;jEE=WVbQlxlT~ljJ}n^Dt4qufzv4<48@!pt7Pe5D6lyuP4Kgv<1x1(pV=~
&se}l}y|)qvZMUIXZi9oPcNnUH93RSlL=8D!V+f9^k_vTv%1l@FuI)4jhd@yugVw>kst*0yw-SnG9I3
2B*Q6Aj|6Et36rA=}>H>~u+~HfdK^%4)rsXzpPq$$Q-3BAwMpTyrm$0h%4{6PNwA_Xv=AGo|yA3PdhM
?~@v~(MSrrW^LJ4De;Xu+EtIey$m%WZ_>HUgzmaT{T$+wfa%!_{uX-_LE>xo#tA0kGcZVk*{z&-GNKx
&|E@HAk0CE@QsC4#W>`8M4(_zVLDnxB55>(z!i$u!+mcMIe1bR%Albg*4I_BrvNP$iE(WJ;ifi&8Z8e
jAzXsWE)3b`&L7GjzZ-*u0QfRZ}9l+J1mJ)6Cx`!p#<1KwJ<BRfHSD#U<L`SU}iyxIqBWx>%wziVWQr
)AjHn>>zOsIK~}?amo#acP}J2d1~~|Ysw~9KTpwLuRrLcl;F0k}b?Km;Pne3kR#kn^BG4tm7kt5d;(A
9nB=X6vi0hokPp?2H{1^Bz2Xg$eD4V!zS;)*&iSuU(gp7I-h^MLN(W6m5f=*{#ZseI+HfAQ<9NQ%Z#P
ohns$fUc=cje70_mPMJNujMaK2nOOCW=&zo64j1QkBBthwi5R|3S`naSW-bRu;1*nlli<C(=9O^O)2o
0%-T5^_Ae$-%LFuCL?W=ZnB`W0T{^8wwfuh6+04SDPGe`}ix0N;Z$YhRDbk0Mk7?WKPH+3U)K$4(rJ>
i1?_2c8?tjh^M>GJI~<@_TP~G&_NRg5+Q2FCT{6DFn71ZWvuiZHiK%Fw8wL(7KV|}b%8x4ca-VAmByd
z&<P3*anf5UXn?ZjGq91jGn3K8CaQuE&AB7i<)hDaj-}g>e<ZN$tt9{0KlQ3bj6-*bj8+slQ2Ou)fk3
e}K_rNdP{1+&Dxb5jqc0}#NLUJp1=@$~JZP<isJFBo(8hCc_8m&ML9p9E-)%^A!F2`+NVh?lQMbXdbQ
@KS<Ii;^-G=DPfc<Z!ItG1R0*?^jDFR^UK>>j_LAw&D;$syhjy&~hPdW9fo2OnIuPW4+{Zp?Ta9m%uP
QCgPVE7KnYN)6wUNV6KV*^pLsb~op%>f}!Z$L~D;M}P$yJO2tBX{H_L{9M(ffyVgTV|8WiH0SWiuywf
JWr`qGRWm1X-*|a`Z{g>Bc}-bxNourw?Th<L*lksh_cDCy!9Ld_Tqw)sv2{4NtLXsQaPX`B7KW1>ND;
$MpjEW)|@*}N!0~Y1eo_z1l+&)3=Wt9<1S6SYWNHah9{8gme1I|z>~9HJp~nIgaB^iGrqB;3KGMfLzD
Kv-YEi4N!8>j0(hnfe9sgChHI#n2r@Yih5_-65ZIMm!ElGpWyc5so+1$Oi4Ukicx8#@mYW<?2inRh0^
w`xbKe~yP~#J7i{f~nImvrUs+L9n2OYp80siaFNnS+CfU%w^&O`pJ{8Li(Z+FNe1oUc(fX_J6jAcC0n
7y&tKVK8_tT<gZ4v^Qn2|7ohc21-u-G`ATzCBOV?=GoY!1`Y`u<Vo(!j`pRZq2B<{W-1AlQJ}oBxD6_
C<~?VPg4Xqaa@g0su%MS)n#3Hu7G%`57kg{?(BCPIBh{>jmVuL%kC?szMhO}gAVR-8)x1j7}vruJCAN
K_IjUTzT0Pn%Ea#*RTem)*hj*r+QjYqdKPBfAzru|%cus}M%Ai(!EATh5k6yhia;xsru1uOCUl#oDFU
P_U;1=u$$4a?)d+=dUr$E#^*o5FV@7fO&UPTOe^<Jum1|mft1xzl^+7&(6Oz?P@ls6@C^&;&?o>RZk`
r>d)Q5ZQ5MCpn5?>;J;=C*7zPVfpMC)^ob+ue#T%Qo3|BKCYu&oDw^^6}n&q0V(f+d>Ic#KRG;JEdM!
oD|@Cy>$H4}FR8*pD$~*2Q0xbfl4PZr}ZMzM1t#0Yb~=QXhQ95u4pYp7F@vQ00ql9Ed+P=oNF{U(^@`
5*wBKdLrunMH8tZx>dCETUWIj6OxYAS)JOt3YoN4;!ZnDfo2I9Kdn+}YLCx8+_HJf9Xg5puGGUdS#tX
5il@iU{I?RCaE~3lxUuK>mN%FDL>m%yDm^`RzVT3${L(}pXO|aHHjzEY4VO#PKhf5>%pT8y1jjWYqXd
nD5Q@hNLUxp*Pgo++zy9=6bVjy87a$_WFx9aQSqT)(_1!(~DW&Loq!its)CS!rIJPT#g9JilIE1liv1
2s;G5Cm4>(M@~)QYg8H%Jf9fN&fyUI(%rguB^_38b@LUY@ju2QZn0CVdMszGz0nEJ-sy(mVcYRgF2tc
4%qbM~ePrj~!{;N8V5nd9*}maYRbFgH9f~ElTbf!ZA5_?rPkLNyZ&S$`=<^Vi;Yf3!qRZjs|h8EQAB*
#3AG@SFAZO$IS;gs8Jl)<KJo>2N|E>X6U$?=lJf40{n3{h>x=kIs=%b+rR}qc7)qF@3~&5&xE%UmxXX
CNbv9e^=RUXa*v&5YnA|ppX+tp@3GUT(_^PY^A5xC9l8Xx3FYG~e2fWcHAqXqC=MjDn?bWaofw^ECa^
`3v2*u1j7Y0prRbi6L~S*KOKOOF?sH)7K8GWHfr24TXwnAm9igb+m?gkJMmdy{b$EE0bnUFizbK(rM%
8CKj=Of&f~VT5kQ9Nl!#A?VXO>sSF{V~Vkxo3-VXi;bfm830M>Tay(V4f2)2T+kzAVK2g0hf;+~;sf8
CpPj8ew*~eGafr^&D0VF9WHgq+pexQl?c{h0UkCW*uz2vtzeoMnQ;)I&HVZm3<CRTNh2w!P>-1%=Hyk
c085(E<{WA8?N?QKD4lcb2~!)>!L|8zGz}SZ_(tVQlLN8?^*JJlnFj-j?HU?S+!`olk*@Db#8@~0XdH
y{=-!&(G5hhOiP)GWr{L=EU6+L1W7q};F8twQFT%ubt`>PYa0{QbJN)BCuXm)?`EYqoJ30Kj@=HB?z}
^gb`QbMJqK%9XXF=H#n@!hGktt`sbaNJ6>AqTo;CZ7qWoLK6ep}$C;0e2bMKIR1}kHkp3jh|qHbeRKC
}+%r_6NY-nu2ssr&Us6>-RCFtyLP{yc{rGVc3!I~us7cj$;AxAFK4)>B?dV8TjG3W};2JRfI|-l6mvj
LF=^XUsa!VOh_7F|p5JO=#kf&tME;Yqb{~=`gjTpG|$AL4l-^K@i&G=d|3Z&Wa26r;<c&TQkQU1|w1_
d@2``hq3LAjAi``r(UPl13OaTGunm&m9|i|GKN%>maPtbtgs5b{fzlNK6x^SFdS#~_;d}!;lAVuU-lu
NQQ*t(P9<C5%iXCY{=V<c<qCXxf#DcmG-=^87<~-vXis=nza1~07hWsu>bFDxJu4Aj{Gs-Qlkd<)x~n
9C8*m${f)i)hyPJsoqhw+=h>e`ozzPXpSk~P3)GIN0L5L0HLa7fbdi{2uPCHMho!fYh2#n1qU9nb_v#
&ORtm<fcLUVn4LVHPjLMn;f-=0t$+uOppyDpa|F9=caFXU0Z9%vFW`YTVToi?t8X8I}91Q}Ct<Mf&T=
HgSYg(bm(OeJii*Z42b?CUGg&2Oqe$5-4Yw_PsHToBH88=ihykK6c3Zo@_%w{gxLf(b1wqq3swHpCCs
?AVo)X~n?+cBGp@ADrEbp>Cm$a*2vkd+u+xT$=1Q{095nMt=b%nfYA5-fiGVyp@o0M1oD8zMi9ZDEvC
pO{Ia{5jz~j_znlrPpi2*9QLHNs&_TqOK-be`rU405d@Iic*Y4_VLSY$YcCUD{bM_Z?@-!~<%Rtu^m9
iE#KZggO%D5`*G*!aK!yh};l<5oFiqa%2wy<PF#qB?7S=U^cs4mM87JUtkZ}GJ^T}T*srr_20zuMFCF
D!#GnS-<XPm&{x03$~1U7Nk<<ex^;lF@_Wp)^jp>YDEP0xpG&&QjdpIUp~N*~|(*Q4Mw%SQUx99u@T(
?5tID86(WphOpN>K)=!y`Ys!IO;a^^=<>d%xx5w7d~_UiLZp6T2fVFmk1G4aMcn?3m{?V@d2Y7ZbK}i
RHNy+Ipr{i-r6Qa<j6A~t!KOvhdGYCq0o9m>8yUWP3SiM^{834y6aR8b~uB^mq_mib@x-LyF@Y^yhBA
=N5^sA9lCORE)jgj*(DQRm`|3-o=rhjW3T^2Yp(f3>lL%haJUuHZ4mC3o&$3abGTLDu)=acd65Ev+eQ
^dR>l<7ggEj#*Z^I)c`-|%aJ&IJL<~Y#&4Z4fB*!ZDQIXU~RY?h(V@d~0T5xai%2HsWR{g;FxjvLfri
z)Z1Foz@_qo1(z?GF~zqy2W2kFr}M74l&1&SF<l(>^P6?=!5>DkQ)i`)1GGm}x_iaL4Z6?dH_Fm3b_q
7w3(Y>9Pas{`-QFWu;((O5%S=|2cH<UcrOw5}#qg4q3y302G}#c|cmV4wfMYw1KjgEU_1q)Wur2VdR6
wokae6QLHD0}u6XV=H8QttzSfKHCR1>r#-4rzT`<lVgc`XnVtDC7(e`+<cRRz`RoQq#h~o5=)v;tosh
Wk{Z%$8WY;J{*K0kMl6?#GD;iVxB>di1tBCZV;KFO&Z23_%GjqS<Smf+Lp33i+HL%yHal|<zV4_A*>P
^;Ir#e2g#6)}5cSlAJT)OtP00W3oy(5IC=5j<9@1q)Sk3=`>I5vxp&gneKxH};>FCN`tBTZ4Vf=b)Lj
Ef?Atmma$EB~<gfL4kl3l>xW;q>m1QBo$^_jCuU`E6o`9t}ubg?D`wVDt`M$a!4YOBa~!t)meq7uu|n
1iAXRSP&U<o`?8Jje|2ATmxf=LwP2R{{>7u4{{cBPuHN7KE@-qS)xbjGSp80UJ!9rArqkGVtXr0X8x&
pOXB_BLfaIvG>)Nkw@TDQZz#TD&btrp?uOGc#3uF@Adx3qw%Xm#<cf38J)jMOEkERMfqq4N^kgR*hD~
7B1C0ESxM#DfQx9CorP?-_g;5H-s_6p=UC){Q@=|3_zor+Z7hSHkkT98gzP@7E4F}KiEI&hC^kw=QoU
PDMJhgIENP?Iqh4W!!j)tN$mPw+a&4Ket>w6~ddZmt7zGM4M4W*K1Q}oawL)T9A;U$2<C@v!a&CiTcl
}XY1{|t(g=D&N8)tHa7`wczfA=^_U3_t<TcT2UkyU`-a9oEjq78fh@-hrrUZ%deybP9f@ez<gT1#&np
ROa)8}|P6hWT!KgDzVW_6+5@36h7WH)d9YAgL!MVEjU%25DIbvIqF|v{iB?MOsa7)auanfI4)cVoTuV
IuHouNIk2$zBAeFC{=*4TGC1#I%x$<D$%49DnO>}9>134z|bc|Ry30wOrWJpq?va-;m9Nhc5pv<cufd
MrzJT`h07RLc94OC3FX^eiR&cO(fG;+E1^j{-|mn~q;HIIzfE2NQI}*aIvS*ARqVtcXk$oiR?edhIh|
Xngcizwl5sln5Fe7!jy!zUz<-i)?g`yTt#R3jBxVQ2s#o<%ClrVDB@P*s@F$w-i0Sb`_*CZ51v8{Z7N
7VS53i~+lad^aBPGDdRy`$YG`^BD=A&=#>%qP#MD^7Esx($(q4dV89K@3nXkf`Osj!L^k^C-adqnT6s
`b9wdhe@eTY8YNo4v2P*87SPy{{a9WDk<ql2+4rfA1?B(v|Fx-d9!YeKqV#xZeA!YrU^F=`o)|)`U+Q
5~|kwipMl_e69CY@fB^W_mx2v&3d}`RlegdV@jK;^}e11rOk-mS1<kOdhaWAHr&r|k2+yv+o+Y^*ZDb
*6TPo>%<<k=iK_L!GUuKUMUfReXFCkoP9;@Yy(L?*&gj-7>T&#krCYC&M@*-rtX7<uB%ZZMc(96jJFJ
&6toQem6A(UykxvL+DM+_$sJ-3}2)tFk(4rt6S#_mQgy@Mp>K`H+%(PJ<rgu~bgQyOq0u|MK=I1=*xR
jYa3<VOG)Q}!+e`PK3q`Q~4nDSCL-<!GviHd4Rxsv3lE1}R`%r5r+oCk*FJk+nv<o!(OfYq#(4p=l_{
FOsffALir$|EaeMeX%N6Xc;u_IVuhFJCBugwASLgLK=!hsWI2V%~&8#uF$s(ku>PJ<|a@e=5i=Q+N0x
33D>>zMYB3Mtv14G504t><}l?J)4+t{s~dw1tG!3A*2b-3_UbW@h@!kzdm&bq)gbTfp#B#r|xu3-Eo$
5Atkt5uNh}ZbcN}0#ywMaEMLox|5b7dKB;ET#u<!^GwzQz4!c-0&ba)`g{1yMv~eotV7F3<_i|RFRL{
My(Ewl0HvOxNGx&0r;|!;QCx_a^8SasVw3tvx%TR=o!J(-;Xtlqdh%;=z%djn&9Bs&JSu+4<boeMXD8
`n!t=+(GF>K!zZP?ylrK8T(j57vD8;mXCQuL`=?9wJCX0dTO&S0DA$iahgh0X8;{_Z$~s3xqZ>=<Y>{
Rxq&*3S;#kuP8NiW#vZzwJu13PP+Q#<&vHvPF}TOVKliI8%yl6Ee49Bj0c(HW+hi4HMgym_s#PX-TLJ
%gHBnMRhHFrtV6(Jm&NMy|1`!@2k()GoWAr@jn@fj=8N=j*Q*iF(9~dws4a}Ku6SyV_L_h;!iPI%??_
V-#9KIGOvFR7ZZnmNnnGD^!z_UY1}+nO(iUIsXW+5j?IpPAV(hZxYPzeaS1K4zo6bG*kMhu*vDnBaVz
g&^zJ8=1?d9ATnRg5LEmkYLzpifnywb4^QglA)#MNe^Z;sWm>A0(-@)X60v^9Zyla?F9geaQJ}AZ>z)
7<ExK+ux|B80B``q`-<zPHWORRAfhw=hg<uk~tlVO;<2BS0o-Q!a2x>oY!<I?B@;rumBOzA|Ld83VQM
jQWU_xbk7&&ITnv8fKlhzZWjWe;k*)x>DSM#i`mM7F~xo*8X?WepQD%LgPZqguEMd#Mf;d1H?5klmkf
8Hpo4sSZ3l&+)b2FBn(DGR=8Ag7VFM|1u`~XO=OA#6raM1`^@JlMhYq!yk<~2+h2!U+23IsyO0Z{W|U
m4;P_d%54z#{<085ysKaT!g1*ju735*l2HC#{W@axYal#-oA9oFeOJG}t6$HqetrIN>6@!x#rl}$>R0
?uUcj__fvF<0E3fBTmXwf3Bw3M&tMBz%5xUBe6xr8*mDrZkOkDZxNiz`01Yx#Cv@xUz-Lfs*r*~w5Nw
8f<RrkKmc*4UiukE>>_0_NUU(TAZUe5ZYf&A$FCMH+*z82)hSC^-CJ~P@Nds4KqJ8Z{h8(jNwe%Q{EP
=e~z=Kf0albe%q$%B5~oNNYfP7d4Ao=D_SBmCMi?ve&kQk4z6;>yvUhKwHSy+g-b2@MbG7`DURQNy1Q
kx*kVcE>)7^n(_oJ&*S9)dG(GHV!#Kjp=YM)Ixd9oC@WUHQ^Zk)1Vyci6;dd*_aY=upvf!x&-@0bF`-
<M6HdbnYb^;FqMf_b8nO|?LN$J{Kz%FJ$}OwZ=Pe1KRIlNu%r@2+6hPnVuJJVp}8R`E)Lrv5Vexz@Q>
VG31ZgB9nUl_XPK^HJB*H0k{otGlB1UAn0BKy=00rMMjp_?bF>jb#MUDZFuZcvX9D?4-oz9sJ2}jdJc
p{}IZFFN<Y6PFeLV8eBJx1r6Y{C*%&?tPzO!2@tB0&m#^DvpAWc})xu%k-%$e?6q0A&tVP$45k(cXW%
$U^`Jx3%=Nh>0;$gWqz=n81#Gxa_CO1{*43eU~qbpnVCIvKGOp?H6P`CNyB-49(Q=9qml(nHn>n2vP<
qvqpIS|{*M+9~j4TuO3yrk>=;5&Q#_9P{_S`m6%EPM}SDoxs~YehjyR81UKT*nrQsdz|SW@EIhv0iW;
Go&QE3>~rsGr`<+(baHgJzrLLubs+JP6JGOXIQ~+G<2^J@_(}5n;KReme9oCz)z!(-pX7KuIgaPueMV
)x`1U6{Iqb^Y$uZ^$VTe|SLvS_2q3_Rd-~kzq@Mbv1WH^Xcv#SJ+vUJbN$YLtejG42)tWvUfl6nj!eF
vkCb0?w=y!BLnFWPwHj5p5sqkZEzT~7t#QnaBnvdp}{o~q_bitQO2m*y<F@fpSTFW(*;LdG+e46_$)n
1r9QaY;pO*Ha;KV#y5~OwHG{a3$aOgeVSBK4WXH1ooz|nXmw+RZMkrO2e-F*HapA-*^Obf4RW6I3i_R
*CP)!@DX{KII^`;&D{yOyH)QG>;&`)oelT%+v6B^RsI)K_-cr&6YWphuGIXbhDylShi6VbA;0_8^~eJ
qx3tX3TUtBxmX?^+9knRl=TC%Y*pX}}!VXuzrF9RxrN!KNJ3gs(#uFjwV!Tc2iaXh(=?%8amv`&lwy!
VB)<1-p?&($5t5-{vE80PQQCvT3Ru!nIW>rNxr+&5*LwW(ssGnt=1W65PM7MBTE$|t=vSi$^?RotNrF
JQLCm<EX7qiHA+|go)t-ht`-zr6SHB5$GMxwVG5$|tz?8Ky4GpgUeIO4BNHXy@X&&MI5Dsvggu*duhg
+>+?BGK?k?V><R|5;1lk)r<Jrv@CFF096Pq~aXt#ylaC0m5z6CZimuBSE1Occ?x@7kU+2=q=d}9=0>1
WU(j?S&q0&4NmGZChEP}4m%{<p?gZv(N~J@%|bw6e}d8fo`!XXf1y-Hv34Aqz$%YRX)!?h_Th|wd97T
+YmoY=CK_3lHl%J=iHNzaL<Es}ZN6^B+o0^?vJ!@=joI<p_Iq{cAp>T5oN-Snx;2I4^s%H3B;lh_Zcz
czYh1<%T&Z=CFofs(mV2@t=bWn<XI%c}0&9bMvO5Ip5ecyWL?dIEuJ+fP$LyHM>@hpO{7DL{ifh>xdC
hXfk@{%ZkQ7PvYCLkx4l(%&7Z{gxAw_$U8Imq!Hwa7ZbgqZI&LKSO>(K_g(rs;pDC}P$$H^GB?}|3;k
Y6R;)A)*xCj_(n!0)@#a;*aWR2F-Ve@)L~GaWg2&tTP%ZHCji1L6!q#u>!0I;*pA3VX^E`VZK!lt-ir
*hiPjSXQ~~mFV2{O0->RPC>|ol10RTBarI!r&j?fWY5Tbf5?s#GM+JH*kn6~i~hdjN@NHSIqphi2vnl
&O6Yq+6o)CFA)7H7us4OhF#VmkGja+83PQqx^#0@0>{9f(WsTU{#Stkgp?--x8ia^EOiVv6wM!PieO&
TGexXEJy8HR<QO9p=vnv0KX-r@CC0(igN!yhgpR^(m$l`RSrwMi;PUbl<r0DPDNOUu>=r1#+v7ELahn
3B@56!TnxVPo7BiSY*!VWj9kd`oGeX0%SmI@>9|Mo;kN|DEsYz{IGkJ(|ne0kTFG^ruCw5Il<$jZYiu
Sv(=(ps4~yy!=KOKVpZ=%{v8o%A8Mw1~{RrA79pC4-OJ^hy54(P)8Eg9tl{f)F;Q)Q8-^SHKK*C7gF9
lv?7VRz}g7`y&rbn@~6{;Q`{naj8*<p0(1#hl53btQkGTzigzV=&u1HV@ei%p#&m(^&x6gAA<2ke|m$
tVf!mT(#R)7c~{G77+nX2N*4a-`ft>S{L9|C?Z%D*QB>k0ZC-%$GV}j`I))OdCS{t~Ks(1{X=$rE6KP
_dE}L@QR_5T?WiIT4#f$oVOa=+EudfUt%mfb_e0br+*pT{NZQQit4=Qi^Go?O6?G>J@qlM>q=SOU4Sr
07l;sYnW)&!nmhk}a8%9P3wO}elw#LWpfe$O1|8W671gk}11Mw34URk7xU?Dci%#6<(AQQ0kA!G2+`P
j&pAb?Aiy0ms=LOs1d(pK9B)gp7f&Z`+f22Bd-<XI$U5x26LYYdc_lMZ0*m4c-y<V~%I(>&Q?B|HGxP
Tp!{YWK6OfLo)o$G90Uip}>-QLCckJJlbG?xvVmTUo-!`l_8P%UsQ$=t13eXSs79Q|24-eLnyc5#bH7
$eYI1TzN+@pSA1ycD@K>TBEhzNiyU3`*LUL#E252JTQGc6$NHtO%<$4zJFxV1(iI-526^i>ol^Ac_b%
Cw?p^YwAOwkIm?OAyR>}sx;gT9xs-$i>q!0_ATt34#r#FfX`hUNRJivM?+K@>OGbPEPTT#0mor=yzjV
jJHzW0?~DSjEc9G5hgqQA)ty7FtTE~zSp*>H79l_g_@_H0=;hKKE_kzqSnaD_M&aP-?a2-!Z=FGX)S7
c=5qgv?ws1I`6T<lTvbp*)Ia9FsoUWQZgO?i6qoV__+JW7tlD{o+KD!zXQ}1D<6}hu??Q%a~k$8B-hk
%KZcP53PPZScg8h-0#W>h3iut@kpw}lV;qzREOEPbE*StQyrdZoRt<WeH9(Bj7f|qIa+y+Wp9+`yblW
;d2q{XLMO;J?Z^W!c+mkH$zMtbEa5ULW2fXfbR*AE+b1Fqlc?>VM;>x-2ZpXtR8=)F6^p8>RI94WOsJ
|N&6r6`_SUZmgo>z?(MiW!^;l(mJ7p5O{yqCD_nu0jXm{R@1n=+#RnbXaf2^tsYpbeoO_~tzdScxZZ3
x!P+d+5U4s&4M&Q*DilH~XcmNEGqATXp#<DScy3aj!Qy-p5&u#=<T#_=RM+JKD;Ucl4~l<=ZaxKA-mO
$jxgB*zDm9Q5%?a(pn!5x;nn94nF>!BO9MG7?Xc<4JPdz>l6J$CKoEk{nNx<4JNnNscGU@gzCUCpqZ*
^&~mwBspM$KbGVGaU#hfJ2~t?Cx>_p^=DO$zfM90I}xh;_lM7QsIiG7v#PFN&VeaY81!E`tExtxiLUS
Du%GVaz^P6S&$K%^N(6tyPL2(bu8Q(~Q2`&6G--#UNsczE&-Ix?tj!d<U7(z1%nxw;n0>AvS2f*_*1s
(Sb13G(;%{i*zkW+Dd!>J2ANR$b-_<UD8x4sZSJeYMs1_?+=K66}SUIlBCk}Ycli~QAG91sLX~84O3u
Kamx!<7)0yTl5aaH3<j%Qre&-3n{m^H4-Y&_$t=3F5x(ams3Q~@vf>nF~b7H5#w#4qlDVp=@H6q%6i0
Ag@ll`6{UMlqFc6;s)hE_403s=0Z0FQN^X=!~oCMH{@x?8<RfmUM7jl_otmuF8|1y+Yp2bTZmN`p9+Y
Pn_|cXjM2KXOQ9E#~Js2Is373RXazd&bTVHkfrD%;P~v?WNiE`Ym<X;rRWt(rz>GLyT%k;J>D&f+(uU
ZGCFPiMQf9Z(Y49MxwXkY+kVE{WKX+Zd4E}KtWAy-VPy3Q{#HJ5#ttDnQ8*B1v<gCE#yxA3C$CM;eH$
@ru>4Uq@*GFTe6lU?>zV`fk*ae`nvp+*sh>*ctIi>85c(yaI=@8#FLp@E(MH(R>EN`@b~qVr@Y-b31m
DQVYO9Q}*?oj9qK$5mtd+KmEo3-C==x^iPevPTyO%4Z32#1;>{l#N**a^aXrt(Odmbqp(v|F#1`gFK^
fOsAI9;a5hUe|H36l+uD&B(fYe*W327W&)8aVuv_6FT*;4q^_d~Ec9tO{mh{0iNs1&55!YLXJkDGIvA
HPNJm%1YR*iV%h8!>f`_M*fhajhXj#kP_rI^Pfr{#eFs-C{NJ_IL;s?(7}*lvrU@ed$}ijO0=OH(FPk
b+VE`mo=R-AqYc%HHrN=6Hh3Y2D;{LBGKOF~<nN#(ialkgt9m<jnhj$3zAhInRdwj&Po>a)DurVi4xc
q{gt{_Blaew2zOG2gnEzDjM;lA75M=Nwjs)n1EPVve)d|O<4bzG?aL;JN4n`XiaE60Q&N;UMe>Atj$Y
>)Zn^@M#(T_IlftI{>w4n?AP7WDu;OrHGG~?NK*rDj7HIZEDi8kIpl>#L;Hi|24hOt>Qv0H(jlp8omH
>x`HI>>Ohi8k!oXd`I>u%2GgCQW!!V`HPL3T=E+?Gxhd<z<`8m`~S%_~CvIC?Yc4&tW&c;mcX9ow0*m
Tvnc<(<f#{#wYy~v&w!~L%MJnNWbNk_(jWI8_y<BTAV17Ds4&66jQmZ>^oJ=aed3{y2azGudq0d#4;0
GH?)8~sN$pt39MjcL5P|3Y=R~N;WyYYo8Gn{#4eociLBujWHs3^2~FB26m>PxAR8#uFKSnwkFKw(`UM
GiG;sxU^X`pL9s*q=v@nHEhC@r_om&ytMIOJs0-f;R!7DLg6E`jkSy}kvzJY>e)LYy;LPmY(8R~hsHR
{YzPoIf9?qjoUU(toQq`62H?5O+vwux0Rq)yOsC0A6SBwD<Fy=s?02Be>Bb`58rN~rLeSYvS4;}VEfP
c9VLb{SJ}_1b_vP~#crjV47h-tA0Qt>m>CPjav=@9VGj;r=49-AHnrc|sv0pHM+(JSRDVOG*T}PGBFC
AcGlA0rb;q<1McPNe*KE6}n6@;Bu0~F(8bfZh0l1={oOX4qvbx*xfuU5jK2<P24i(z}jqw%UBt6*bM4
ZlB9QZk{Cwb*9CTp?<muKDvjUQp%Y{nV$xG7Xh4(K0PH&vNr`x9#ts|Sl*mKg*D-!yXIn-a{KFGnuU6
Rl=UuN_*f@2C$Y@1|1G$gD?w~iwV4J^{Pw(sKg9!xLOoa9YL)<g$K*lb*LK$rk9BrT<ZAf&%{cy&P61
VfgXoGDTZB#bS-`AClHpE;89Dgd+Ht6jVa;O1C7|o^V=2$7Zt0E6BMdvC%47^cl7xc+CS82$uS9H2wr
9rm%*z9^G1H)J7EWCwEYD%;bvce?7M)9Vi#b7iWHI~0<#aUz<NA<D0w#;-E|FJ^&6mJpGr00%EHmTfb
SX`;7KXt(K<wS>M2hT>(c{ztpb{U)TE4K*zx_7b#w?j9*A!(;K7)44<Evd5CmsFYAB~`MjN@at*rXR2
KuMx;ve8*NiB~>%F2)I4MhD>iXQH;2$yPw1vY%n7!L%FM?6=$5UK$k&0BZK%O0Y}*2^hPX(4?2E9-z?
lF&LCV-x3HuN62mcvChdV8+`G}9Pf1l9?BXYsRE2~=P1v|)u>SEa0>Km1%)tcn9Xu-p4mnpa=^h^v{W
^469}+V@@y9EmPH)6pCOH<5dxthLt0#i-dAg3zof$rHc!hwsim5jdnT=;p@{y9N81+9$M5X^xSw&)_T
T%tadZJxY<)4zOA6}s|iL#_Ax<n{O+zhg<KsXM$n^@kJ(1h$2r;m*W@>+L6rv+;5M#{!MO|<uE`okqv
5k<ZJcQazrWT+`Cge_|$xHY4}?e7_VE}lwJ*^o8D2JjIn7IYi8hc{&C>^M3*ktTdX+|-9^sMvRoM;n-
RAmU^O>2S#IS+n64%07VDn}&;;`X>(MlyLLZ;Af6}U}DBe40Et`gR$4g8RoB9A+QnHAlq*Q6|>sJz2|
y5W=-ojK~p@l5;lRv(LKqk(u~hzGtB;^9T8^?ZxLv@(wuqCsBLD!v}vROJ&@+<I>9F`e?3PV=jM7cVy
@>&Ol>oY?RQ}Z5{I+WH7#G$B4iI^SLmt(6ub$EWQSMEM4ipXTi<zBCGVk?FPMYdl3l^G@5KK_zbn>0x
m+>CFv9*^PuC}G(7$4{54LsVukP_f{TzgFC0L?)kH^SH0k&IDC>(o2c><ZQjRJwDdk%dWlV@H0MoDip
+|3=ko*%w5Yj>~6!61F`9Y^d=3whQf|AO_%|EEQ-So{0}Xe6P)k|q@C@k0}-A-Ywx>ql3$1{0FbA6@0
o)miZ>8IVepHf~v^($X29eRyQ^k}GtrU9X1G9YnJ$e+)?I?>q$|ZG5$`EGwazAG(Z_u-BBOOZVPf_K7
DKACx>89`Grrd&)tc8={01&y1bZp*+6h1U8YK;)chi#Ro!s!)1=d97wQT6EjNCC<q~YtRUn-Df;{)68
+utOVJrQ23^4awTUfSVXiMlw^K^d^++kY9~guF!*#E{MFOD;I7DF4;=pSBb0A~i%zs)~YK2piO*{kQ#
g2s1hHy7KF@bc|!^@M(u)~lhH0fKggYE?!vOa_u>>F>FEH?cJ=kM!E2JS;8ix7UqMd+mT7b7VVn_k1j
DsVT1`?kOAu7NwTC~$`*ykIwcj|Y|{A1n)DgPFR7T<^CSv0=^!A7G<Kv0=}@t95KJ+_{JQ#T=j7C=f_
p#un{v6zDEsk}aYa%-9jp#@zclyU&8B61XgcSG@Xne?6MGqE@bZB_%NBzRq@k#!jEkjGYe6D-6R|=n~
Z~0Z)D;b_uW+gHdcq<TQh3efoHw!@kXPAY<3&IgD_tL#61R4T2XiWg9m?E@5q+!;yZ0f+0<4(gyAwp{
OR6OJ6OiSW3w{y1YzA?X2hDD4|k@=Xwrxb)Z(lQ*Bj9ioo9C8(u>>#mF9)KvMIn1TyQpI?VN59doa+e
j2zIrs9p`bgI#>FAFh$L0QNbsPKE(P4hR)-!RWnbZN|C#qu(cI&unD2`Uw}RlPii7B}_5!8-@C9V-e#
%%;n-9ZtjdvmL0kg_W4=E3E7USL*(PehUs?Vcon}q78`^%$*4J(?b(8?a;(J@6g08d|HwEBS$`v7Q7B
$3T<eG8FZ))O?Qes{%h|HTO$TxFbq*4erfmrf9=i&?<E&R)aDAk!oveS#z0tB-)S=Zj`zG_h5wX4kUz
4rB{VR_;#M+_*A#8}Br%B>;g5S(xkQca<xngc!j=!iru|hBkMDp!*i=p83*vhun5T<~j0a9T7#>(5S9
2$Mxc0#&*rUD}*2yEl=jHhQZGzLw1b1Pu!AH)h#?KnNBw>Oba(o}(6-v&4K?1#;VWH~WIO>?*2lY$l+
x;BzZJ&F;TQz~<oB?#sxW1nwEd}?n(~bstc7<8NQ)%PL8Sp8uBnCTtBn<KP{Bd?|g*In^cyO1T;nmNP
;4@!L$Qf_}{T%I_(I*N?J6+Jy5w&^l#YD>OD&t<x;H4R#xq(;IK(Ba%;Zm~LV{0&<Fn}qgy?Unt7cU-
f{4u5Kjenu*)%8Ab7Mq;W4jio9g0w*t2XQ^>2y+*!xObl6KjSkZxSPOn(u~jC2psvNM)252az+J@-!7
$8!Q*f#na{`GT)BeB3j)XbrYV@50m2+SIGzwiv^bs+L^<9Vnztig4-5O79~w{Syh22ce&7IkA#IQXg|
nR9W5IlAal8$Z3g-;4(zikWG$nT2cDv-fA!Go|MyU@gdh>RkNjuM^o!exN7cyyQiwv8t*V#!sLcD%FV
Y+5KAzJT-C++C*gq9nR3US^LvamR5r^PdAXPn$3fPTp|;e(ikXVT943Ry5Sc7%T*dWCc
""".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