From 1f000ccd3b964252c211d04d74abe2953ed6cfb1 Mon Sep 17 00:00:00 2001 From: crc Date: Thu, 13 Feb 2020 13:50:20 +0000 Subject: [PATCH] retro.forth: refactor a bit of common code to save some size FossilOrigin-Name: 561a9c1ff2235d4fe7398d896d10d3f7e13b5318b76f512ddd10647b81c0f6ab --- image/retro.forth | 10 +- ngaImage | Bin 36764 -> 36736 bytes vm/nga-c/retro-image.c | 1066 ++++++++++++++++++++-------------------- 3 files changed, 537 insertions(+), 539 deletions(-) diff --git a/image/retro.forth b/image/retro.forth index da7a951..ac36721 100644 --- a/image/retro.forth +++ b/image/retro.forth @@ -876,19 +876,17 @@ a given substring is in a string. ~~~ {{ :extract dup-pair here swap copy here over + #0 swap store ; + :check &extract dip [ &n:inc dip ] dip here s:hash over eq? ; :mask rot rot [ [ swap &or dip ] dip ] dip ; :location rot rot [ [ swap [ over n:zero? and ] dip swap [ nip dup ] if ] dip ] dip ; :setup #0 rot rot &s:length &s:hash bi s:empty buffer:set [ over s:length ] dip swap ; ---reveal--- :s:contains-string? (ss-f) - [ setup - [ &extract dip [ &n:inc dip ] dip here s:hash over eq? mask ] times - ] buffer:preserve drop-pair drop ; + [ setup [ check mask ] times ] buffer:preserve drop-pair drop ; :s:index-of-string (ss-n) - over [ [ setup - [ &extract dip [ &n:inc dip ] dip here s:hash over eq? location ] times - ] buffer:preserve drop-pair drop ] dip - n:dec #-1 n:max ; + over [ [ setup [ check location ] times ] buffer:preserve + drop-pair drop ] dip - n:dec #-1 n:max ; }} ~~~ diff --git a/ngaImage b/ngaImage index b2450b3db674bf000bf6ceba569486f24104fed2..4c9138ff6ba61de214a27badc7b52a29aa9849e1 100644 GIT binary patch delta 6828 zcma)A4^&g<70-*jlqf-Be1s4}4AG@DjWLaADYY0QT1EcXKL}Wmwu*`c1^-(`Wca_Z zyLO{m9Cd%%S$0a9t?ks+PS566oz}HSc8+#-o2}N)a!$L=ZR&pa@jaI2xU=Q>dGGJu z-@V`c?)%>N-ecc>{pS68lXQSZk_I<9+M>?f8^5X@_WYw?unmpez;E8rqk)F zF&1MyDfFd~{F5-=21kn3=^n!1WS551x=^ydZ#Z>MNiz-wS8qZb%9&>AezeAIzl_`Z$o>t&) z>Yf&s4?sIkUrnoy{{=LTIs|#eOz|`Bqqgb$OrHw#IY>L1W_YOb(eIfYBL>I@$oyVd zB~zg=WkGgOXy$LFy=2a{%G-d?lP|YG{spv))RgO%FF^Z*UdeS!AJggFATE$JD=6QD zHI}3THJ_WiDC{9I5d2#XtAd`w71)2gh zN=0k(lB9fU&kM>Gut@{ac?t3oAiauG@)M-hNAlz3P9THI zyAIw#x&_{03KaOIlT?NO&ry3pP`(J3nF56#`l29Kz6Lack?{d^mVbXEUtv&+p{l~5 zY#xa#jEu-%h&2Hv4&*OPki2vYyay>z6qIw|v8i?JDvFhhfs$3;;i3e20Z__7R8gF~ z6v&~Xl;SvfHBhRGW&t$=IaRa)=vknHw7Yn&ycgQLbQRj`&_1M`lA!S*G`^AErKS># zd*Yin)X&Dc7RB&%)cQdJoSTuT%g< z#&!Y!65cH3PE_1sc>1VlZcvF{?0fLsP&2+dcbvk_ip+QkSWo?Pv#`^A^X&4Mz&2nz zZJwV*o9D$!@6vYIhb8KC0o8tD-Z&{pU(IvMX|NT*W~FhZn(_YOG~0&|3Pu)T%T_MV12ZqMrE{x_|y?Ma_@A|G=rpSLzvf z_p9C`^I}nTilWV|G1|fC1tV-eE;2ueIIgjRT}rCa58DTizoc4;zYR5%qULb)#OArcR~m})BK%Ei#?=wyXEeKm71 z?NCv4i2d;|1Os$UQ^@QgpP(wU)Y z^xlFvrBwuWLh`gPK^~)`$K90h_-Kdvpn&xo7`y;}V_{Y=SeL;nlRByUaeL~2dMZ6;H#A&6b(+!8v*~JOuKWPB ze9Ely8^=Q9m6ua}mBo<_q;+c!bZxzyc{z1eO_bc!SLMMuEiJU#@;Meu7>UDYh?s*r zwT=P{{c3k9nvg4H8ex!Bu>~c0}+qpI7!9;7_PyQBbWf zhR!Wov`Nj19*juFy$=r0w^yvK8_76cAMpY;6g=*koh5t)9D}=$=hnKHD13$RGxvVR z5qU48qa1t0rYlyJ^P>n}OSfXNdX=rd_Jn!Fr!^mbx9sI0wA^ z3VBe-_o;uWMfr3ow%JBA!fbqKa9s@;d_gDB#btI|Aj&&Vc*A6_wM&nXuhuHx z#>~Yuqt+wMr}|o}ZBA6oN)fY|x@w)$Larfw4LI6E*1=l^oZE2&mGJGRZL>O(mRsbR zU~ePaa(_{~$o(MaMAZghjk`+k`*c`7 z5A6mWdYa@vL$gp`o!2!cWnk`9mWaLqj~RPMTYNHg)Y)xG>_uDDn?Y1D47LEBu5(Kv z>aTOBtC7QF1|uijC59^~rb+eQREzMcAD_q^0OmQTLoQ6A+bxN-uYRPojC$&w%2N?! zCY1uOr9anuan;Q$ymCG8^AuWZz3 zj%+kzgbW_k+kj8dS1YDV7irQ;yYwNIu5?OgY3)k8?Ucy%JfwE8AA){^x>p9}KSDE* zX_b}!wenHPLOBf{WtijZ74?IYPE8HDc$S}T@GHJ3e-iLaGB=jso_Mm+Z7UJ}$W!WJ z*lMV&(JQT@(~VBoOkk}8wSup8pc1$RHTjk2*nkyYrmf^C@RxLS^+eMtXw3QqQcuzv56;{4HE#Luz)4iJ#xHrOX-(FoWW03oObgL- zma|a>S26*1{>;U3q1x|Ok)Lj^@yl^w7E{k!Kb5adk`_?oTDNVk$jbF=XL%U5b>LM? zt)#5;xHjE|^8{?qW3*w`D*8NZm-hk1QdO#@=(~a+UFkvC|5v5o7qMEOb^{-!%j>et z9|@0o=3(8Z$hY3=I4P`rq-gsMUQv#o68S2gq2y)_~MMmV}#$w z_ySF%TN|vir@+Gv<|4ICkqsM&gE&)Q&M;X#(0G%L7g>`bwHuY^tfZQa*`ZqYf`!xj zYa4_w4`=ehug&-bb79kNh+^PYy1KC}^lg!);{V99Gb+mp-~-h1j7KqG8*%=l+&N_G zfTx>|KNFT;hW2wZZfaHzh-ltA%y}F5GwRypPrQMx%^L&{7}fI!cy2oB%BHb$Kh#*V zZT8xj#P1W4P2vE^Vfa zE!n1*;pNT2m3LCp7VC%?BH|-z{Z53LYh40-h(6fjG;~8dK8nWL6DgrNMScVD3sQFGBk(^))*)FF@lukFy-ENQWSK@MbqiBWyf3kH5l(;?&E+ zlbR^7)sxB0!Dy>w8%B( zJZRe8e1nd*SkrAH8^>@K2_poZ%_cP!PP!m7;7u#iaE~_NUnkZ z$bJW-8Tu@YLJaM96LurHw(U3Q((p=?M)`~E_u}khz66pHR_#vHKE={u3t_ZTD9b`A z+ha3SHfCf7NAZupUZS(`j^c_k5j}@Ww>vj!kv)jiYOUnlV9mhb-`z4HxymmCcbVYN zRM~gub3gbSN{d^Bn00A5FL|Qey9JVYhh1(2t%CwPN=&?9_5Q}?dWG6|*fRpK@M1e5 zwcA3&m`y#UdD=Pf^U}6L9;VAXa;3M)x6>oP2K;*}-I*nyf%YkN>b*%Y-a)u+wMOH7T4EvCyC^_8mYX{v2wOH8c&f$g{NoJ($I`A27Q z*!$c2+xzUZ&z*DcowhfOd*3jcrQrs{Kk>QXF&IAYHQOf2pSul)@}nsehmVpzrGwdC z)Bi^q3{3kiUCMTizsM-UV3>+A!T=rPe?x3%fxn8Pq?|_;#S#p*K!!0LiHua2@19t=UN_oaR%6Y1IWp>RY;&m6Lgf zUCx51i&AG)%zKwPNdGgz)yg=^_yJ|SCF~C>qvxA4zS5QP1Cd%^#w%O~U7Zmo?V%ep z(&QF!J|o5NGv2Y#ZGW8f2degGNLOi(-xYI7Bv@?@uI*#SRyylXlI-+_-zi0rDbHyf zVWpS-3Cb{Qut6I89@yh3kmpOC01y7ucDqM?)2Hzwf?LYHm`c5QE@={-&$ERUz($q6`Gu7dW{su#f^PGlg!v+55)I7qQr@g?bMojQ z*$i2J6jsSxAxtwMyD4SPuj2PX;~idt!B;BUq|UGt_RC}~ESAqgyG~CRdgLq6Zc|60 zN4iD5g&Fc4U?*KGa#6%wi)^qN3=t}tJ~vV}1DRB`6378GLPdLlQh-LP=o6rcK#|m2 z>gg(qkh1{Hs_UVmNO?9;B9MowilXImppA5`*h72aTLvVlzP_SJse$^7GNe|r&dZRu z!xN_F_>XxO`BflUMSJI2r2TYwUWRmpu7US1JflR0Fv=+olRtqaO0}#kj*u?`S%UKw zN6OcMtUzAVM6`%M1JqxfA>AiyNrpT!+F*!gFV&Ys$gx05aLy8oltPC~GNec78hF|8 z#HyamQj0tn$f2T@rIB&~C{CTdyEIaInhuxxq}9}q|E*+x+$X(6S&#eVm%%zh4UbpI z`=EV9=b#;j)(@MFrk5qUj{xzOe#8=&S_wuBFkd)*unka4SwZ*>XyFQ-Et@CbgX*C8 z`Aa1ywa>T7X2oEbPT!yJpU}@K@LiY*3#W1j*@GjI)A2O9Yy)SWLaiw=${az-fr}{* z0WYJ;<$lLyTrTQSi$q=GWGI8TiFTL!6}4)3wA8im?1sli|0qvaw6$p7HhABp+$S=W z0WMJ&_cA;u)VRG*Oj4Es>AeSlf2n%!JuyxR5AnVWd{y<%sz_8q7yD~?@2cKi73s?K zkk}i*CYrdwNq??L#1&>;;FSLkTOw@Jq>q4Y)V3f(9*wQYRCxy$q)Suj(gK&93fmK~ z*(o}Zo}%ra307`!B1^1L>u5gkDmBADOk=1!5Mfe#fGt>0y#c#vE%Sle=zPGgG>1f2 z0TT@drYLHDA))=pXae}rja?!Dc$<{L>b0%u!I+xL{ zg|7IY3+r*tj8TL;6<-HGg8hmbo3|)kIU!iDi39joz+b}ajkzK`%;312kVZRwxM(U4 zduef+HNyVQ9hsfUl(l%8G@mvs_DJ8M*A{!+Mlg8l`;ozWIqP5Ru2>&kTkMqP(jfj9 zkfYM2j1>{u-9iCgMMaerasb-1bgRfpW2yN`oCSbCrH&_kN~Z|i56ROWggi~>pDd7S>F^S} zd;<6;u!j~b$&|Wi_Y!B&6aH&>70Qo6E2sEs-_*&_cvVXw`6-DzTO;I5*tEV>Lf2Nt^EAfN z{Xh)utxlB2)2V8&V|z#fH5n3>(_ppT*d9y2T|Yry4${7(v!C)9ktNRVx5s`<%woid?Q_J#qs(#J^<%)Q~2YQ5kuElx&Ro{8RgK?LyLbAmpB7vk}r@yEJ^*hsbdoos{tKaijd6~!2f zGiXa;&d)`>_9bQ831P!AKSB-uFBoo6=_b0Ods5ZNsIZ~PtOvw!1p#t5q{YVx zulgo}%$dNPbsl65)ik6@YiLh{OR3ZG*k1+QMjth#8EeMS>#i7zTpev*594bXyFge* zJ-T^$+(Ub? z6Zm7gw7NjLPVO~Msh_gexTMdha*fl`CvtIJ+Mb<+j;E_N8S?L;nQ5RAZ-#4TNpY0A z)~k$;|7Lcs>mE4i^z_<7-12+Z`r;>r_+7xI7`*Cgb=8)}OsSe?H+mck1y_G=`C+T4 zEsbeX3-va-+#IW|f34ta@7l|Occ4C>w3poLY{t7|Xu{fex6W@m zB|PLy1_>G9*f4oXg4V2fzt=b+fkwGwsCj*|!wm=Tdks3y zvK(dcRgy&=&)LoTf*z&*^*-4KegG2`;0-3Q!Q*&R#4}Snx#z&v4vvrd^26xNhIFZu z{<^{Ie&GS!6|lXA5!}i1ey98U-#=sV3Z z^qc3Bt)C0Gdg5VmePnI2OP^3`lM}x_Y z(|GG0sJNM`{r(GdJhwKdsa6~wsx{nYFt{nJIeVyq3M`XoTeDv&gT{@XgqsKMJ!-Ry z=vuQqWi~vazfaAC4aA{~HHYF`?2c(7hZ|D+g7FN?si-A8cP)Dng9G_nTgz=$XNF(9 z_*XC&)o5380JxLRwJgg0fyh$%Z)E8T$+7|X5Y@DL6*Ddi&i?`C<~h6JIY#?i{qoz; zKBO;NH!FukG+zSDc@OwY+Op9Xa~BsS|7wAIhU)npJb2?eyK#bi4{8(*ZcKA9N&n!d zrAVaQHm~VRPL3@fM-6Ru2`>}v9x00sx7m$I#9N+`7_3mcbYg&uXrL`^D70J+E#=Up zmGEje+bHN<9o~C`Hb{}Q3NBu@mUISi3mtAR7)rW>2HTy|R&s30w!RH7Z#>tzAG(#? zEw<4;(6k)9og($?Ix{b|0r(^x-{g{yK|4eJn=(wNpk2V&MMWcAR%2A~Zul`QS5#}q zlvt|XY?D6&8lVlEv*qj12I;g&xfYHgWRQ_ zE%wwzk&R1RGA$;iViSb)(N9~_kf|4KSxvuZQ{yrUkp&I9fCL$SMwFMZ=F)!DHz&o1!HY>KNP#UE3lit8Ns?FH=n8 z55HIpg@Mf9MRY_hB?q{YvbMPtEwWc^6c@Ri8n)TuLu0k0^(n-zp`L9vT~VjD*>j(P zy&Yp0<|xGA&x2~<`ivO-_0)1UBd(j2m&!)*vb3%ENfQ0oW1o(7Wx~pF`ysVUUBhsz zhb?bVCH&m#?U3(c?4{D}PP+cmL(+R>-R_m&f$bV)ZJ#Dzfc7V9+3uHbKpRf&J8X1u zd%FA=AVo!qI}&A+hkxi`-+~>sUq;5VtX)8j}M@3(tkVb6a;_G0X! t^FAAOcaE_#()Q*6^k2}q&cc*mKnn-oh{2iP1ZLR;$$5@L;u&?P|6dG(X)6E# diff --git a/vm/nga-c/retro-image.c b/vm/nga-c/retro-image.c index ae897c0..7c6ce03 100644 --- a/vm/nga-c/retro-image.c +++ b/vm/nga-c/retro-image.c @@ -2,8 +2,8 @@ #ifndef CELL #define CELL int32_t #endif -CELL ngaImageCells = 14757; -CELL ngaImage[] = { 1793,14059,14603,14756,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10, +CELL ngaImageCells = 14750; +CELL ngaImage[] = { 1793,14052,14596,14749,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10, 7,10,8,10,9,10,10,11,10,12,10,13,10,14,10,15,10,16,10,17, 10,18,10,19,10,20,10,21,10,22,10,23,10,24,10,25,10,68223234,1,2575, 85000450,1,656912,139,138,268505089,63,62,135205121,63,10,101384453,0,9,10,2049,56,25,459011,74, @@ -11,7 +11,7 @@ CELL ngaImage[] = { 1793,14059,14603,14756,202004,0,10,1,10,2,10,3,10,4,10,5,10, 84,524545,88,64,167838467,-1,134287105,3,59,659457,3,459023,105,2049,56,25,2049,105,1793,112, 2049,112,117506307,0,105,0,524545,25,110,168820993,0,124,1642241,124,134283523,7,110,1793,105,7, 524545,2049,105,1793,105,16846593,124,139,138,1793,64,16846593,124,110,138,1793,64,7,10,659713, - 1,659713,2,659713,3,1793,14737,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13152,1025, + 1,659713,2,659713,3,1793,14730,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13145,1025, 167841793,177,5,17826049,0,177,2,15,25,524546,162,134287105,178,93,2305,179,459023,187,134287361,178, 182,659201,177,2049,56,25,84152833,48,286458116,10,459014,202,184618754,45,25,16974851,-1,168886532,1,134284289, 1,211,134284289,0,202,660227,32,0,0,112,114,101,102,105,120,58,105,0,285278479,228, @@ -160,7 +160,7 @@ CELL ngaImage[] = { 1793,14059,14603,14756,202004,0,10,1,10,2,10,3,10,4,10,5,10, 2049,2106,4100,10,3055,3095,144,118,58,117,112,100,97,116,101,0,4,1793,3102,15, 4,8,10,1,3098,2049,2116,16,10,3083,3116,144,99,111,112,121,0,1793,3125,285278725, 1,33951492,268767489,1,6,10,1,3118,2049,2281,771,10,3108,3144,144,83,99,111,112,101, - 76,105,115,116,0,14603,14603,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049, + 76,105,115,116,0,14596,14596,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049, 59,16,10,3147,3178,144,45,45,45,114,101,118,101,97,108,45,45,45,0,2049, 1570,1,3144,2049,2880,16,10,3162,3192,144,125,125,0,1,3144,2049,56,4,15,11, 1793,3206,3841,3144,4097,2,10,1,3201,1793,3232,3841,3144,1793,3227,1,2,983567,1,3144, @@ -205,539 +205,539 @@ CELL ngaImage[] = { 1793,14059,14603,14756,202004,0,10,1,10,2,10,3,10,4,10,5,10, 45,99,104,97,114,63,0,2049,3914,1,-1,12,10,3966,4002,144,115,58,104,97, 115,104,0,1,5381,4,1793,4010,286458116,33,10,1,4007,2049,3860,10,3992,4026,144,101, 120,116,114,97,99,116,0,2049,2096,2049,1877,4,2049,3116,2049,1877,67502597,17,1,0, - 4,16,10,4015,4050,144,109,97,115,107,0,67503109,67503109,1793,4067,1793,4062,4,1,48, - 2049,2106,10,1,4056,2049,2106,10,1,4054,2049,2106,10,4042,4084,144,108,111,99,97, - 116,105,111,110,0,67503109,67503109,1793,4117,1793,4112,4,1793,4098,67502597,2049,2533,21,10,1, - 4093,2049,2106,4,1793,4108,772,2,10,1,4105,9,10,1,4090,2049,2106,10,1,4088, - 2049,2106,10,4072,4131,144,115,101,116,117,112,0,1,0,67503109,67503109,1,79,1,4002, - 2049,2128,2049,3617,2049,3418,1793,4151,67502597,2049,79,10,1,4147,2049,2106,4,10,3992,4179, - 144,115,58,99,111,110,116,97,105,110,115,45,115,116,114,105,110,103,63,0, - 1793,4214,2049,4131,1793,4209,1,4026,2049,2106,1793,4196,1,2880,2049,2106,10,1,4191,2049, - 2106,2049,1877,2049,4002,67502597,11,2049,4050,10,1,4185,2049,2281,10,1,4181,2049,3442,771, - 3,10,4157,4242,144,115,58,105,110,100,101,120,45,111,102,45,115,116,114,105, - 110,103,0,67502597,1793,4287,1793,4280,2049,4131,1793,4275,1,4026,2049,2106,1793,4262,1,2880, - 2049,2106,10,1,4257,2049,2106,2049,1877,2049,4002,67502597,11,2049,4084,10,1,4251,2049,2281, - 10,1,4247,2049,3442,771,3,10,1,4245,2049,2106,18,2049,2893,1,-1,2049,2826,10, - 4221,4311,144,115,58,102,105,108,116,101,114,0,1793,4339,2049,3617,2049,3418,4,1793, - 4331,2049,2096,4,8,1,3326,1,11,2049,64,10,1,4320,2049,3860,3,2049,3292,10, - 1,4313,2049,3442,10,4299,4353,144,115,58,109,97,112,0,1793,4375,2049,3617,2049,3418, - 4,1793,4367,67502597,8,2049,3326,10,1,4362,2049,3860,3,2049,3292,10,1,4355,2049,3442, - 10,4344,4392,144,115,58,115,117,98,115,116,114,0,1793,4398,17,2049,3617,10,1, - 4394,2049,2106,1793,4410,67502597,1,3116,2049,2106,10,1,4404,2049,2116,67502597,1793,4423,17,1, - 0,4,16,10,1,4417,2049,2106,10,4380,4439,144,115,58,114,105,103,104,116,0, - 67502597,2049,79,67502597,18,4,2049,4392,10,4428,4458,144,115,58,108,101,102,116,0,1, - 0,4,2049,4392,10,4448,4482,144,115,58,98,101,103,105,110,115,45,119,105,116, - 104,63,0,2,2049,79,1,13,2049,2106,2049,4458,2049,93,10,4464,4510,144,115,58, - 101,110,100,115,45,119,105,116,104,63,0,2,2049,79,1,13,2049,2106,2049,4439, - 2049,93,10,4494,4532,144,115,58,99,111,112,121,0,67502597,2049,79,2049,2880,2049,3116, - 10,4522,4552,144,115,58,68,73,71,73,84,83,0,2049,3636,48,49,50,51,52, - 53,54,55,56,57,0,1,4554,10,4540,4589,144,115,58,65,83,67,73,73,45, - 76,79,87,69,82,67,65,83,69,0,2049,3636,97,98,99,100,101,102,103,104, - 105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,0,1, - 4591,10,4568,4642,144,115,58,65,83,67,73,73,45,85,80,80,69,82,67,65, - 83,69,0,2049,3636,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79, - 80,81,82,83,84,85,86,87,88,89,90,0,1,4644,10,4621,4693,144,115,58, - 65,83,67,73,73,45,76,69,84,84,69,82,83,0,2049,3636,97,98,99,100, - 101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120, - 121,122,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82, - 83,84,85,86,87,88,89,90,0,1,4695,10,4674,4768,144,115,58,80,85,78, - 67,84,85,65,84,73,79,78,0,2049,3636,95,33,34,35,36,37,38,39,40, - 41,42,43,44,45,46,47,58,59,60,61,62,63,64,91,92,93,94,96,123, - 124,125,126,0,1,4770,1,95,67502597,16,10,4751,4826,131,115,58,87,72,73,84, - 69,83,80,65,67,69,0,32,9,10,13,0,4810,4836,156,39,0,1,3617,2049, - 144,10,4831,4846,156,36,0,1,0,2049,131,10,4841,0,131,65,83,67,73,73, - 58,78,85,76,0,4851,27,131,65,83,67,73,73,58,69,83,67,0,4864,8, - 131,65,83,67,73,73,58,66,83,0,4877,9,131,65,83,67,73,73,58,72, - 84,0,4889,10,131,65,83,67,73,73,58,76,70,0,4901,11,131,65,83,67, - 73,73,58,86,84,0,4913,12,131,65,83,67,73,73,58,70,70,0,4925,13, - 131,65,83,67,73,73,58,67,82,0,4937,32,131,65,83,67,73,73,58,83, - 80,65,67,69,0,4949,127,131,65,83,67,73,73,58,68,69,76,0,4964,1, - 131,65,83,67,73,73,58,83,79,72,0,4977,2,131,65,83,67,73,73,58, - 83,84,88,0,4990,3,131,65,83,67,73,73,58,69,84,88,0,5003,4,131, - 65,83,67,73,73,58,69,79,84,0,5016,5,131,65,83,67,73,73,58,69, - 78,81,0,5029,6,131,65,83,67,73,73,58,65,67,75,0,5042,7,131,65, - 83,67,73,73,58,66,69,76,0,5055,14,131,65,83,67,73,73,58,83,79, - 0,5068,15,131,65,83,67,73,73,58,83,73,0,5080,16,131,65,83,67,73, - 73,58,68,76,69,0,5092,17,131,65,83,67,73,73,58,68,67,49,0,5105, - 18,131,65,83,67,73,73,58,68,67,50,0,5118,19,131,65,83,67,73,73, - 58,68,67,51,0,5131,20,131,65,83,67,73,73,58,68,67,52,0,5144,21, - 131,65,83,67,73,73,58,78,65,75,0,5157,22,131,65,83,67,73,73,58, - 83,89,78,0,5170,23,131,65,83,67,73,73,58,69,84,66,0,5183,24,131, - 65,83,67,73,73,58,67,65,78,0,5196,25,131,65,83,67,73,73,58,69, - 77,0,5209,26,131,65,83,67,73,73,58,83,85,66,0,5221,28,131,65,83, - 67,73,73,58,70,83,0,5234,29,131,65,83,67,73,73,58,71,83,0,5246, - 30,131,65,83,67,73,73,58,82,83,0,5258,31,131,65,83,67,73,73,58, - 85,83,0,5270,5298,144,99,58,108,111,119,101,114,99,97,115,101,63,0,1, - 97,1,122,2049,2911,10,5282,5321,144,99,58,117,112,112,101,114,99,97,115,101, - 63,0,1,65,1,90,2049,2911,10,5305,5341,144,99,58,108,101,116,116,101,114, - 63,0,1,5298,1,5321,2049,2128,22,10,5328,5361,144,99,58,100,105,103,105,116, - 63,0,1,48,1,57,2049,2911,10,5349,5382,144,99,58,118,105,115,105,98,108, - 101,63,0,1,32,1,126,2049,2911,10,5368,5401,144,99,58,118,111,119,101,108, - 63,0,2049,3636,97,101,105,111,117,65,69,73,79,85,0,1,5403,4,2049,3986, - 10,5389,5436,144,99,58,99,111,110,115,111,110,97,110,116,63,0,2,2049,5341, - 1793,5446,2049,5401,2049,2465,10,1,5441,1793,5454,3,2049,2368,10,1,5450,2049,64,10, - 5420,5476,144,99,58,119,104,105,116,101,115,112,97,99,101,63,0,1,4826,4, - 2049,3986,10,5459,5499,144,99,58,45,108,111,119,101,114,99,97,115,101,63,0, - 2049,5298,2049,2465,10,5482,5521,144,99,58,45,117,112,112,101,114,99,97,115,101, - 63,0,2049,5321,2049,2465,10,5504,5539,144,99,58,45,100,105,103,105,116,63,0, - 2049,5361,2049,2465,10,5526,5562,144,99,58,45,119,104,105,116,101,115,112,97,99, - 101,63,0,2049,5476,2049,2465,10,5544,5582,144,99,58,45,118,105,115,105,98,108, - 101,63,0,2049,5382,2049,2465,10,5567,5600,144,99,58,45,118,111,119,101,108,63, - 0,2049,5401,2049,2465,10,5587,5622,144,99,58,45,99,111,110,115,111,110,97,110, - 116,63,0,2049,5436,2049,2465,10,5605,5641,144,99,58,116,111,45,117,112,112,101, - 114,0,2,2049,5298,25,3,1,32,18,10,5627,5664,144,99,58,116,111,45,108, - 111,119,101,114,0,2,2049,5321,25,3,1,32,17,10,5650,5688,144,99,58,116, - 111,45,115,116,114,105,110,103,0,2049,3636,46,0,1,5690,2049,3591,1,36,2049, - 2116,10,5673,5718,144,99,58,116,111,103,103,108,101,45,99,97,115,101,0,2, - 2049,5298,1,5641,1,5664,2049,64,10,5701,5743,144,99,58,116,111,45,110,117,109, - 98,101,114,0,2,2049,5361,1793,5752,1,48,18,10,1,5748,1793,5760,3,1,0, - 10,1,5756,2049,64,10,5728,5779,144,115,58,116,111,45,117,112,112,101,114,0, - 1,5641,2049,4353,10,5765,5798,144,115,58,116,111,45,108,111,119,101,114,0,1, - 5664,2049,4353,10,5784,5818,144,115,58,116,114,105,109,45,108,101,102,116,0,2049, - 3591,1793,5832,2049,56,1,5476,1,2549,2049,2128,21,10,1,5822,2049,2233,2049,2893,10, - 5803,5855,144,115,58,116,114,105,109,45,114,105,103,104,116,0,2049,3591,2049,3741, - 2049,5818,2049,3741,10,5839,5874,144,115,58,116,114,105,109,0,2049,5855,2049,5818,10, - 5864,5890,144,99,111,114,114,101,99,116,0,2,1,48,13,1793,5905,1,48,67502597, - 18,1,2,19,17,10,1,5896,9,10,5864,5924,144,110,58,116,111,45,115,116, - 114,105,110,103,0,1793,5972,2049,1877,2049,3418,2,2049,2845,1793,5950,1,10,20,4, - 1,48,17,2049,5890,2049,3326,2,2049,2549,10,1,5935,2049,2233,3,2049,2568,1793,5964, - 1,45,2049,3326,10,1,5959,9,2049,3292,2049,3741,10,1,5926,2049,3442,10,5909,5999, - 131,82,101,119,114,105,116,101,85,110,100,101,114,115,99,111,114,101,115,0, - -1,5977,6007,144,115,117,98,0,1,95,1793,6014,1,32,10,1,6011,2049,2379,10, - 6000,6030,144,114,101,119,114,105,116,101,0,3841,5999,1793,6039,1,6007,2049,4353,10, - 1,6034,9,10,6019,6053,144,104,97,110,100,108,101,0,1,3695,8,10,5977,6069, - 156,112,114,101,102,105,120,58,39,0,2049,6030,2049,6053,10,6057,6085,144,115,58, - 115,112,108,105,116,0,2049,2096,2049,3914,772,2049,2096,2049,4458,1,38,2049,2106,10, - 6074,6120,144,115,58,115,112,108,105,116,45,111,110,45,115,116,114,105,110,103, - 0,2049,2096,2049,4242,2049,2880,772,2049,2096,2049,4458,1,38,2049,2106,10,6099,6149,144, - 115,58,114,101,112,108,97,99,101,0,67502597,2049,79,2049,1877,16,1793,6165,2049,6120, - 4,2049,1877,15,17,10,1,6157,2049,2106,2049,3801,2049,3842,10,6136,6186,131,83,112, - 108,105,116,45,79,110,0,0,6174,6197,144,109,97,116,99,104,63,0,3841,6186, - 11,10,6187,6214,144,116,101,114,109,105,110,97,116,101,0,1,0,67502597,2049,2893, - 16,10,6201,6229,144,115,116,101,112,0,1,2880,2049,2106,2049,6197,1793,6243,2,2049, - 105,2049,6214,10,1,6237,9,10,6136,6261,144,115,58,116,111,107,101,110,105,122, - 101,0,4097,6186,2049,3662,2049,1877,1,0,2049,105,1793,6283,2,2049,105,2,1,6229, - 2049,3860,3,10,1,6273,2049,2106,2049,1877,67502597,18,2049,2893,67502597,16,10,6247,6306,131, - 78,101,101,100,108,101,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6296,6441,131,76,101, - 110,0,0,6434,6452,131,84,111,107,101,110,115,0,0,0,0,0,0,0,0, + 4,16,10,4015,4051,144,99,104,101,99,107,0,1,4026,2049,2106,1793,4062,1,2880, + 2049,2106,10,1,4057,2049,2106,2049,1877,2049,4002,67502597,11,10,4042,4081,144,109,97,115, + 107,0,67503109,67503109,1793,4098,1793,4093,4,1,48,2049,2106,10,1,4087,2049,2106,10,1, + 4085,2049,2106,10,4073,4115,144,108,111,99,97,116,105,111,110,0,67503109,67503109,1793,4148, + 1793,4143,4,1793,4129,67502597,2049,2533,21,10,1,4124,2049,2106,4,1793,4139,772,2,10, + 1,4136,9,10,1,4121,2049,2106,10,1,4119,2049,2106,10,4103,4162,144,115,101,116, + 117,112,0,1,0,67503109,67503109,1,79,1,4002,2049,2128,2049,3617,2049,3418,1793,4182,67502597, + 2049,79,10,1,4178,2049,2106,4,10,3992,4210,144,115,58,99,111,110,116,97,105, + 110,115,45,115,116,114,105,110,103,63,0,1793,4226,2049,4162,1793,4221,2049,4051,2049, + 4081,10,1,4216,2049,2281,10,1,4212,2049,3442,771,3,10,4188,4254,144,115,58,105, + 110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,67502597,1793,4280,1793,4273, + 2049,4162,1793,4268,2049,4051,2049,4115,10,1,4263,2049,2281,10,1,4259,2049,3442,771,3, + 10,1,4257,2049,2106,18,2049,2893,1,-1,2049,2826,10,4233,4304,144,115,58,102,105, + 108,116,101,114,0,1793,4332,2049,3617,2049,3418,4,1793,4324,2049,2096,4,8,1,3326, + 1,11,2049,64,10,1,4313,2049,3860,3,2049,3292,10,1,4306,2049,3442,10,4292,4346, + 144,115,58,109,97,112,0,1793,4368,2049,3617,2049,3418,4,1793,4360,67502597,8,2049,3326, + 10,1,4355,2049,3860,3,2049,3292,10,1,4348,2049,3442,10,4337,4385,144,115,58,115, + 117,98,115,116,114,0,1793,4391,17,2049,3617,10,1,4387,2049,2106,1793,4403,67502597,1, + 3116,2049,2106,10,1,4397,2049,2116,67502597,1793,4416,17,1,0,4,16,10,1,4410,2049, + 2106,10,4373,4432,144,115,58,114,105,103,104,116,0,67502597,2049,79,67502597,18,4,2049, + 4385,10,4421,4451,144,115,58,108,101,102,116,0,1,0,4,2049,4385,10,4441,4475, + 144,115,58,98,101,103,105,110,115,45,119,105,116,104,63,0,2,2049,79,1, + 13,2049,2106,2049,4451,2049,93,10,4457,4503,144,115,58,101,110,100,115,45,119,105, + 116,104,63,0,2,2049,79,1,13,2049,2106,2049,4432,2049,93,10,4487,4525,144,115, + 58,99,111,112,121,0,67502597,2049,79,2049,2880,2049,3116,10,4515,4545,144,115,58,68, + 73,71,73,84,83,0,2049,3636,48,49,50,51,52,53,54,55,56,57,0,1, + 4547,10,4533,4582,144,115,58,65,83,67,73,73,45,76,79,87,69,82,67,65, + 83,69,0,2049,3636,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111, + 112,113,114,115,116,117,118,119,120,121,122,0,1,4584,10,4561,4635,144,115,58, + 65,83,67,73,73,45,85,80,80,69,82,67,65,83,69,0,2049,3636,65,66, + 67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86, + 87,88,89,90,0,1,4637,10,4614,4686,144,115,58,65,83,67,73,73,45,76, + 69,84,84,69,82,83,0,2049,3636,97,98,99,100,101,102,103,104,105,106,107, + 108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,65,66,67,68,69, + 70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89, + 90,0,1,4688,10,4667,4761,144,115,58,80,85,78,67,84,85,65,84,73,79, + 78,0,2049,3636,95,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47, + 58,59,60,61,62,63,64,91,92,93,94,96,123,124,125,126,0,1,4763,1, + 95,67502597,16,10,4744,4819,131,115,58,87,72,73,84,69,83,80,65,67,69,0, + 32,9,10,13,0,4803,4829,156,39,0,1,3617,2049,144,10,4824,4839,156,36,0, + 1,0,2049,131,10,4834,0,131,65,83,67,73,73,58,78,85,76,0,4844,27, + 131,65,83,67,73,73,58,69,83,67,0,4857,8,131,65,83,67,73,73,58, + 66,83,0,4870,9,131,65,83,67,73,73,58,72,84,0,4882,10,131,65,83, + 67,73,73,58,76,70,0,4894,11,131,65,83,67,73,73,58,86,84,0,4906, + 12,131,65,83,67,73,73,58,70,70,0,4918,13,131,65,83,67,73,73,58, + 67,82,0,4930,32,131,65,83,67,73,73,58,83,80,65,67,69,0,4942,127, + 131,65,83,67,73,73,58,68,69,76,0,4957,1,131,65,83,67,73,73,58, + 83,79,72,0,4970,2,131,65,83,67,73,73,58,83,84,88,0,4983,3,131, + 65,83,67,73,73,58,69,84,88,0,4996,4,131,65,83,67,73,73,58,69, + 79,84,0,5009,5,131,65,83,67,73,73,58,69,78,81,0,5022,6,131,65, + 83,67,73,73,58,65,67,75,0,5035,7,131,65,83,67,73,73,58,66,69, + 76,0,5048,14,131,65,83,67,73,73,58,83,79,0,5061,15,131,65,83,67, + 73,73,58,83,73,0,5073,16,131,65,83,67,73,73,58,68,76,69,0,5085, + 17,131,65,83,67,73,73,58,68,67,49,0,5098,18,131,65,83,67,73,73, + 58,68,67,50,0,5111,19,131,65,83,67,73,73,58,68,67,51,0,5124,20, + 131,65,83,67,73,73,58,68,67,52,0,5137,21,131,65,83,67,73,73,58, + 78,65,75,0,5150,22,131,65,83,67,73,73,58,83,89,78,0,5163,23,131, + 65,83,67,73,73,58,69,84,66,0,5176,24,131,65,83,67,73,73,58,67, + 65,78,0,5189,25,131,65,83,67,73,73,58,69,77,0,5202,26,131,65,83, + 67,73,73,58,83,85,66,0,5214,28,131,65,83,67,73,73,58,70,83,0, + 5227,29,131,65,83,67,73,73,58,71,83,0,5239,30,131,65,83,67,73,73, + 58,82,83,0,5251,31,131,65,83,67,73,73,58,85,83,0,5263,5291,144,99, + 58,108,111,119,101,114,99,97,115,101,63,0,1,97,1,122,2049,2911,10,5275, + 5314,144,99,58,117,112,112,101,114,99,97,115,101,63,0,1,65,1,90,2049, + 2911,10,5298,5334,144,99,58,108,101,116,116,101,114,63,0,1,5291,1,5314,2049, + 2128,22,10,5321,5354,144,99,58,100,105,103,105,116,63,0,1,48,1,57,2049, + 2911,10,5342,5375,144,99,58,118,105,115,105,98,108,101,63,0,1,32,1,126, + 2049,2911,10,5361,5394,144,99,58,118,111,119,101,108,63,0,2049,3636,97,101,105, + 111,117,65,69,73,79,85,0,1,5396,4,2049,3986,10,5382,5429,144,99,58,99, + 111,110,115,111,110,97,110,116,63,0,2,2049,5334,1793,5439,2049,5394,2049,2465,10, + 1,5434,1793,5447,3,2049,2368,10,1,5443,2049,64,10,5413,5469,144,99,58,119,104, + 105,116,101,115,112,97,99,101,63,0,1,4819,4,2049,3986,10,5452,5492,144,99, + 58,45,108,111,119,101,114,99,97,115,101,63,0,2049,5291,2049,2465,10,5475,5514, + 144,99,58,45,117,112,112,101,114,99,97,115,101,63,0,2049,5314,2049,2465,10, + 5497,5532,144,99,58,45,100,105,103,105,116,63,0,2049,5354,2049,2465,10,5519,5555, + 144,99,58,45,119,104,105,116,101,115,112,97,99,101,63,0,2049,5469,2049,2465, + 10,5537,5575,144,99,58,45,118,105,115,105,98,108,101,63,0,2049,5375,2049,2465, + 10,5560,5593,144,99,58,45,118,111,119,101,108,63,0,2049,5394,2049,2465,10,5580, + 5615,144,99,58,45,99,111,110,115,111,110,97,110,116,63,0,2049,5429,2049,2465, + 10,5598,5634,144,99,58,116,111,45,117,112,112,101,114,0,2,2049,5291,25,3, + 1,32,18,10,5620,5657,144,99,58,116,111,45,108,111,119,101,114,0,2,2049, + 5314,25,3,1,32,17,10,5643,5681,144,99,58,116,111,45,115,116,114,105,110, + 103,0,2049,3636,46,0,1,5683,2049,3591,1,36,2049,2116,10,5666,5711,144,99,58, + 116,111,103,103,108,101,45,99,97,115,101,0,2,2049,5291,1,5634,1,5657,2049, + 64,10,5694,5736,144,99,58,116,111,45,110,117,109,98,101,114,0,2,2049,5354, + 1793,5745,1,48,18,10,1,5741,1793,5753,3,1,0,10,1,5749,2049,64,10,5721, + 5772,144,115,58,116,111,45,117,112,112,101,114,0,1,5634,2049,4346,10,5758,5791, + 144,115,58,116,111,45,108,111,119,101,114,0,1,5657,2049,4346,10,5777,5811,144, + 115,58,116,114,105,109,45,108,101,102,116,0,2049,3591,1793,5825,2049,56,1,5469, + 1,2549,2049,2128,21,10,1,5815,2049,2233,2049,2893,10,5796,5848,144,115,58,116,114, + 105,109,45,114,105,103,104,116,0,2049,3591,2049,3741,2049,5811,2049,3741,10,5832,5867, + 144,115,58,116,114,105,109,0,2049,5848,2049,5811,10,5857,5883,144,99,111,114,114, + 101,99,116,0,2,1,48,13,1793,5898,1,48,67502597,18,1,2,19,17,10,1, + 5889,9,10,5857,5917,144,110,58,116,111,45,115,116,114,105,110,103,0,1793,5965, + 2049,1877,2049,3418,2,2049,2845,1793,5943,1,10,20,4,1,48,17,2049,5883,2049,3326, + 2,2049,2549,10,1,5928,2049,2233,3,2049,2568,1793,5957,1,45,2049,3326,10,1,5952, + 9,2049,3292,2049,3741,10,1,5919,2049,3442,10,5902,5992,131,82,101,119,114,105,116, + 101,85,110,100,101,114,115,99,111,114,101,115,0,-1,5970,6000,144,115,117,98, + 0,1,95,1793,6007,1,32,10,1,6004,2049,2379,10,5993,6023,144,114,101,119,114, + 105,116,101,0,3841,5992,1793,6032,1,6000,2049,4346,10,1,6027,9,10,6012,6046,144, + 104,97,110,100,108,101,0,1,3695,8,10,5970,6062,156,112,114,101,102,105,120, + 58,39,0,2049,6023,2049,6046,10,6050,6078,144,115,58,115,112,108,105,116,0,2049, + 2096,2049,3914,772,2049,2096,2049,4451,1,38,2049,2106,10,6067,6113,144,115,58,115,112, + 108,105,116,45,111,110,45,115,116,114,105,110,103,0,2049,2096,2049,4254,2049,2880, + 772,2049,2096,2049,4451,1,38,2049,2106,10,6092,6142,144,115,58,114,101,112,108,97, + 99,101,0,67502597,2049,79,2049,1877,16,1793,6158,2049,6113,4,2049,1877,15,17,10,1, + 6150,2049,2106,2049,3801,2049,3842,10,6129,6179,131,83,112,108,105,116,45,79,110,0, + 0,6167,6190,144,109,97,116,99,104,63,0,3841,6179,11,10,6180,6207,144,116,101, + 114,109,105,110,97,116,101,0,1,0,67502597,2049,2893,16,10,6194,6222,144,115,116, + 101,112,0,1,2880,2049,2106,2049,6190,1793,6236,2,2049,105,2049,6207,10,1,6230,9, + 10,6129,6254,144,115,58,116,111,107,101,110,105,122,101,0,4097,6179,2049,3662,2049, + 1877,1,0,2049,105,1793,6276,2,2049,105,2,1,6222,2049,3860,3,10,1,6266,2049, + 2106,2049,1877,67502597,18,2049,2893,67502597,16,10,6240,6299,131,78,101,101,100,108,101,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,6442,6586,131,84,80,0,0,6580,6595,144,115,97,118,101,0,2049,3662,3841,6586, - 1,6452,17,2049,2880,16,1,6586,2049,2978,10,6587,6618,144,110,101,120,116,0,1793, - 6624,3841,6441,17,10,1,6620,2049,2116,10,6610,6638,144,100,111,110,101,63,0,2049, - 79,2049,2533,10,6247,6667,144,115,58,116,111,107,101,110,105,122,101,45,111,110, - 45,115,116,114,105,110,103,0,1,0,4097,6586,1793,6681,2,1,6306,2049,4532,2049, - 3842,10,1,6673,1793,6690,2049,79,4097,6441,10,1,6685,2049,2128,1793,6707,1,6306,2049, - 6120,2049,6595,2049,6618,2049,6638,10,1,6696,2049,2256,1,6452,3841,6586,2049,2893,4097,6452, - 10,6643,6732,144,102,111,114,45,101,97,99,104,0,4,2049,56,1,13,2049,2106, - 1793,6748,5,2049,56,84018692,525572,1542,10,1,6741,2049,2281,771,10,6720,6768,144,115,117, - 98,115,116,105,116,117,116,101,0,2049,3507,1,129,18,10,6754,6785,144,101,120, - 116,114,97,99,116,0,2049,6768,2049,4532,10,6774,6802,144,116,111,107,101,110,105, - 122,101,0,2049,6667,2049,3617,10,6790,6818,144,99,111,109,98,105,110,101,0,2049, - 6768,2049,3842,2049,3842,10,6807,6834,144,109,101,114,103,101,0,4,1,6818,2049,6732, - 772,10,6825,6853,144,102,105,110,100,45,101,110,100,0,2,2049,79,2049,6768,2049, - 79,18,67502597,17,10,6841,6873,144,99,108,101,97,110,0,2049,6853,1,0,4,16, - 10,6643,6897,144,115,58,114,101,112,108,97,99,101,45,97,108,108,0,1,3, - 1793,6912,2049,6785,2049,6802,2049,6834,2049,6873,2049,3591,10,1,6901,2049,3069,10,6880,6925, - 144,99,104,97,114,0,1,32,1793,6934,1,95,2049,3326,10,1,6929,2049,2379,1, - 114,1793,6947,1,13,2049,3326,10,1,6942,2049,2379,1,110,1793,6960,1,10,2049,3326, - 10,1,6955,2049,2379,1,116,1793,6973,1,9,2049,3326,10,1,6968,2049,2379,1,48, - 1793,6986,1,0,2049,3326,10,1,6981,2049,2379,2049,3326,10,6917,7001,144,116,121,112, - 101,0,1,99,1793,7009,4,2049,3326,10,1,7005,2049,2379,1,115,1793,7023,4,1, - 3326,2049,3860,10,1,7017,2049,2379,1,110,1793,7039,4,2049,5924,1,3326,2049,3860,10, - 1,7031,2049,2379,3,10,6993,7055,144,104,97,110,100,108,101,0,1,92,1793,7064, - 2049,56,2049,6925,10,1,7059,2049,2379,1,37,1793,7077,2049,56,2049,7001,10,1,7072, - 2049,2379,2049,3326,10,6880,7096,144,115,58,102,111,114,109,97,116,0,1793,7125,2049, - 3617,1793,7120,2049,3418,1793,7115,2049,56,25,2049,7055,1,7106,7,10,1,7106,8,3, - 10,1,7102,2049,2116,10,1,7098,2049,3442,10,7084,7141,144,115,58,99,111,110,115, - 116,0,1,3662,2049,2106,2049,2022,10,7130,7158,131,86,97,108,117,101,115,0,0, + 0,0,0,0,0,0,0,0,6289,6434,131,76,101,110,0,0,6427,6445,131,84, + 111,107,101,110,115,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,7148,7194,144,102,114,111,109,0,2049,79,2,1793,7212, - 1793,7205,1,7158,4113,10,1,7201,2049,2116,2049,2893,10,1,7199,2049,2281,3,10,7186, - 7224,144,116,111,0,2,2049,79,1793,7240,2049,56,1,97,18,2049,2880,1,7158,266001, - 10,1,7229,2049,2281,3,10,7130,7257,144,114,101,111,114,100,101,114,0,1,7194, - 2049,2106,2049,7224,10,7246,7273,144,99,117,114,114,121,0,2049,1877,1793,7283,4,2049, - 1731,2049,1754,10,1,7277,2049,2106,10,7264,7296,144,100,111,101,115,0,2049,1588,4, - 2049,7273,2049,1570,2049,158,16,1,144,2049,1649,10,7288,7325,144,100,58,102,111,114, - 45,101,97,99,104,0,1,2,1793,7351,6415,2049,2096,1793,7343,1793,7338,2052,10,1, - 7336,2049,2106,10,1,7334,2049,2106,1,7329,7,10,1,7329,8,3,10,7311,7371,144, - 100,58,108,111,111,107,117,112,45,120,116,0,1,0,4,1793,7396,2049,2096,2049, - 158,2831,1793,7389,4,1,2057,2049,2106,10,1,7383,1,11,2049,64,10,1,7376,2049, - 7325,3,10,7356,7414,144,97,58,108,101,110,103,116,104,0,15,10,7402,7437,144, - 97,58,99,111,117,110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049, - 1877,1793,7450,2,2049,105,1,105,2049,2281,10,1,7442,2049,2106,10,7416,7472,144,97, - 58,102,114,111,109,45,115,116,114,105,110,103,0,2049,1877,1793,7486,2,2049,79, - 2049,105,1,105,2049,3860,10,1,7476,2049,2106,10,7455,7505,144,97,58,102,111,114, - 45,101,97,99,104,0,4,2049,56,1,13,2049,2106,1793,7521,5,2049,56,84018692,525572, - 1542,10,1,7514,2049,2281,771,10,7491,7536,144,97,58,100,117,112,0,2049,1877,1793, - 7549,2,15,2049,105,1,105,2049,7505,10,1,7540,2049,2106,10,7527,7564,144,97,58, - 99,111,112,121,0,1,3,1793,7580,4097,3,2,2049,7414,2049,105,1,105,2049,7505, - 10,1,7568,2049,3069,10,7554,7600,144,97,58,116,111,45,115,116,114,105,110,103, - 0,1,3,1793,7613,2049,7536,1,0,2049,105,2049,2880,10,1,7604,2049,3069,2049,3591, - 10,7585,7632,144,97,58,97,112,112,101,110,100,0,2049,2096,1,34,2049,2154,17, - 2049,1877,1793,7657,2049,105,1793,7652,1,105,2049,7505,10,1,7647,2049,2154,10,1,7643, - 2049,2106,10,7620,7675,144,97,58,112,114,101,112,101,110,100,0,4,2049,7632,10, - 7662,7689,144,97,58,99,104,111,112,0,2049,7536,1,-1,2049,3050,2,2049,2993,10, - 7679,7711,144,97,58,102,105,108,116,101,114,0,1793,7726,67502597,1,21,2049,2106,4, - 1,105,1,11,2049,64,10,1,7713,2049,7273,2049,1877,1793,7741,67502597,15,2049,105,2049, - 7505,10,1,7734,2049,2106,2049,1877,67502597,18,2049,2893,67502597,16,10,7699,7769,144,97,58, - 99,111,110,116,97,105,110,115,63,0,1,0,4,1793,7781,4,5,67502597,11,6, - 22,10,1,7774,2049,7505,772,10,7754,7809,144,97,58,99,111,110,116,97,105,110, - 115,45,115,116,114,105,110,103,63,0,1,0,4,1793,7822,4,5,67502597,2049,93, - 6,22,10,1,7814,2049,7505,772,10,7787,7837,144,97,58,109,97,112,0,1793,7843, - 8,2049,105,10,1,7839,2049,7273,2049,1877,1793,7858,67502597,15,2049,105,2049,7505,10,1, - 7851,2049,2106,10,7828,7876,144,97,58,114,101,118,101,114,115,101,0,2049,1877,1793, - 7910,2049,56,1793,7888,17,2049,2893,10,1,7884,2049,2116,2,2049,105,1793,7904,2,15, - 2049,105,2049,2893,10,1,7897,2049,2281,3,10,1,7880,2049,2106,10,7863,7923,144,97, - 58,116,104,0,17,2049,2880,10,7915,7938,144,97,58,102,101,116,99,104,0,2049, - 7923,15,10,7927,7953,144,97,58,115,116,111,114,101,0,2049,7923,16,10,7942,7969, - 144,97,58,114,101,100,117,99,101,0,1,13,2049,2106,2049,7505,10,7957,7988,144, - 105,100,101,110,116,105,102,121,0,1,-1,4,1,0,1793,8019,2049,2356,11,1793, - 8013,67502597,1,-1,11,1793,8009,772,2,10,1,8006,9,10,1,8000,9,2049,2880,10, - 1,7995,2049,7969,3,10,7957,8039,144,97,58,105,110,100,101,120,45,111,102,0, - 1,3,1793,8052,1,26,2049,7273,2049,7837,2049,7988,10,1,8043,2049,3069,10,8025,8078, - 144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,1, - 3,1793,8091,1,93,2049,7273,2049,7837,2049,7988,10,1,8082,2049,3069,10,8057,8106,144, - 97,58,109,97,107,101,0,2049,7437,2049,7876,10,8096,8116,156,123,0,1,285,2049, - 156,1,1556,2049,144,1,285,2049,156,10,8111,8134,156,125,0,1,301,2049,156,1, - 2106,2049,144,1,1556,2049,144,1,13,2049,150,1,40,2049,150,1,2893,2049,144,1, - 301,2049,156,1,8106,2049,144,10,8129,8178,144,98,111,117,110,100,115,63,0,67502597, - 2049,7414,67502597,13,10,8167,8192,144,99,111,112,121,0,2049,56,2049,105,10,8184,8207, - 144,116,111,45,101,110,100,0,2,2049,7414,17,2049,2880,10,8129,8224,144,97,58, - 108,101,102,116,0,2049,8178,1793,8232,771,1,-1,10,1,8228,2049,2659,2049,1877,67502597, - 2049,105,1793,8253,1,2880,2049,2106,1,8192,2049,2281,3,10,1,8243,2049,2106,10,8214, - 8269,144,97,58,114,105,103,104,116,0,2049,8178,1793,8277,771,1,-1,10,1,8273, - 2049,2659,2049,1877,67502597,2049,105,1793,8300,4,2049,8207,67502597,18,4,1,8192,2049,2281,3, - 10,1,8288,2049,2106,10,8258,8317,144,97,58,109,105,100,100,108,101,0,1,2048, - 2049,2106,4,67502597,2049,8178,1793,8332,771,3,1,-1,10,1,8327,2049,2659,771,2049,2096, - 4,18,2049,2880,2049,1877,67502597,2049,105,1793,8367,772,1793,8357,17,2049,2880,10,1,8353, - 2049,2106,1,8192,2049,2281,3,10,1,8350,2049,2106,10,8305,8380,131,70,108,97,103, - 0,0,8372,8392,144,99,111,109,112,97,114,101,0,67440386,184946434,10,8381,8405,144,108, - 101,110,103,116,104,0,659202,10,8395,8415,144,110,101,120,116,0,17043713,1,1,2577, - 10,8407,8433,144,110,111,116,45,101,113,117,97,108,0,50529030,2561,0,10,8420,8445, - 144,108,111,111,112,0,524549,8415,2049,8392,18157313,8380,8380,16,420610310,1,1,8445,7,10, - 8305,8468,144,97,58,101,113,63,0,1048833,-1,8380,2049,8392,151066369,-1,8433,2049,8405,2049, - 8445,251724547,8380,10,8459,8493,144,97,58,45,101,113,63,0,2049,8468,2049,2465,10,8483, - 8516,144,97,58,98,101,103,105,110,115,45,119,105,116,104,63,0,1,3,1793, - 8532,2,2049,7414,1,13,2049,2106,2049,8224,2049,8468,10,1,8520,2049,3069,10,8498,8553, - 144,97,58,101,110,100,115,45,119,105,116,104,63,0,1,3,1793,8569,2,2049, - 7414,1,13,2049,2106,2049,8269,2049,8468,10,1,8557,2049,3069,10,8537,8590,144,99,117, - 114,114,101,110,116,45,108,105,110,101,0,2049,3507,1,1025,18,10,8574,8612,144, - 99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8618,1,32,11,10,1, - 8614,2049,4311,2049,79,10,8596,8643,144,112,114,111,99,101,115,115,45,116,111,107, - 101,110,115,0,1793,8671,1,32,2049,6085,4,1793,8664,2,2049,79,2049,2549,1,365, - 1,11,2049,64,10,1,8652,2049,2106,2049,2880,10,1,8645,2049,2281,2049,365,10,8537, - 8692,144,115,58,101,118,97,108,117,97,116,101,0,2049,8590,2049,4532,2049,8590,2, - 2049,8612,2049,8643,10,8678,8710,131,76,80,0,0,8704,8720,131,73,110,100,101,120, - 0,0,10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,8711,8760,144,110,101,120,116, - 0,3841,8710,1,8720,17,2049,2978,10,8752,8776,144,112,114,101,112,0,1,8710,2049, - 2978,1,0,3841,8710,1,8720,17,16,10,8768,8797,144,100,111,110,101,0,1,8710, - 2049,2993,10,8678,8807,144,73,0,3841,8710,1,8720,17,15,10,8802,8819,144,74,0, - 3841,8710,1,8720,17,2049,2893,15,10,8814,8833,144,75,0,3841,8710,1,8720,17,1, - 2,18,15,10,8828,8864,144,116,105,109,101,115,60,119,105,116,104,45,105,110, - 100,101,120,62,0,2049,8776,4,1793,8880,25,33886721,1,2053,1542,2049,8760,1,8869,7, - 10,1,8869,8,3,2049,8797,10,8843,8895,156,104,111,111,107,0,2049,3636,108,105, - 106,117,46,46,46,46,0,1,8897,2049,412,2049,1877,2049,2880,2049,105,10,8887,8929, - 144,115,101,116,45,104,111,111,107,0,2049,2880,16,10,8917,8943,144,117,110,104, - 111,111,107,0,2049,2880,2,2049,2880,4,16,10,8933,8967,144,105,111,58,101,110, - 117,109,101,114,97,116,101,0,27,10,8951,8981,144,105,111,58,113,117,101,114, - 121,0,28,10,8969,8996,144,105,111,58,105,110,118,111,107,101,0,29,10,8983, - 9013,144,105,111,58,115,99,97,110,45,102,111,114,0,1,-1,4,2049,8967,1793, - 9044,2049,8807,2049,8981,772,67502597,11,1793,9040,1793,9035,3,2049,8807,10,1,9031,2049,2106, - 10,1,9029,9,10,1,9020,2049,8864,3,10,8998,9059,144,99,58,112,117,116,0, - 1793,9061,1,0,2049,8996,10,9050,9072,144,110,108,0,1,10,2049,9059,10,9066,9083, - 144,115,112,0,1,32,2049,9059,10,9077,9095,144,116,97,98,0,1,9,2049,9059, - 10,9088,9109,144,115,58,112,117,116,0,1,9059,2049,3860,10,9100,9123,144,110,58, - 112,117,116,0,2049,5924,2049,9109,10,9114,9137,144,114,101,115,101,116,0,2049,1556, - 25,771,1,9137,7,10,9128,9159,144,100,117,109,112,45,115,116,97,99,107,0, - 2049,1556,25,3,5,2049,9159,6,2,2049,9123,2049,9083,10,9145,9181,144,70,82,69, - 69,0,2049,3507,1,1025,18,2049,1877,18,10,9173,9199,131,70,105,108,101,115,0, - 0,9190,9212,144,105,100,101,110,116,105,102,121,0,3841,9199,2049,2533,1793,9279,1, - 4,2049,9013,2,2049,2568,1793,9267,3,2049,3636,73,79,32,68,69,86,73,67,69, - 32,84,89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,85,78,68, - 0,1,9230,2049,9109,2049,9072,10,1,9227,1793,9274,4097,9199,10,1,9271,2049,64,10, - 1,9218,9,10,9173,9304,144,105,111,58,102,105,108,101,45,111,112,101,114,97, - 116,105,111,110,0,2049,9212,3841,9199,2049,8996,10,9283,0,131,102,105,108,101,58, - 82,0,9311,1,131,102,105,108,101,58,87,0,9321,2,131,102,105,108,101,58, - 65,0,9331,3,131,102,105,108,101,58,82,43,0,9341,9365,144,102,105,108,101, - 58,111,112,101,110,0,1,0,2049,9304,10,9352,9384,144,102,105,108,101,58,99, - 108,111,115,101,0,1,1,2049,9304,10,9370,9402,144,102,105,108,101,58,114,101, - 97,100,0,1,2,2049,9304,10,9389,9421,144,102,105,108,101,58,119,114,105,116, - 101,0,1,3,2049,9304,10,9407,9439,144,102,105,108,101,58,116,101,108,108,0, - 1,4,2049,9304,10,9426,9457,144,102,105,108,101,58,115,101,101,107,0,1,5, - 2049,9304,10,9444,9475,144,102,105,108,101,58,115,105,122,101,0,1,6,2049,9304, - 10,9462,9495,144,102,105,108,101,58,100,101,108,101,116,101,0,1,7,2049,9304, - 10,9480,9514,144,102,105,108,101,58,102,108,117,115,104,0,1,8,2049,9304,10, - 9500,9535,144,102,105,108,101,58,101,120,105,115,116,115,63,0,1,0,2049,9365, - 2,2049,2549,1793,9549,2049,9384,2049,2356,10,1,9544,1793,9557,3,2049,2368,10,1,9553, - 2049,64,10,9519,9588,144,102,105,108,101,58,111,112,101,110,60,102,111,114,45, - 114,101,97,100,105,110,103,62,0,1,0,2049,9365,2,2049,9475,4,10,9562,9622, - 144,102,105,108,101,58,111,112,101,110,60,102,111,114,45,97,112,112,101,110, - 100,62,0,1,2,2049,9365,2,2049,9475,4,10,9597,9657,144,102,105,108,101,58, - 111,112,101,110,60,102,111,114,45,119,114,105,116,105,110,103,62,0,1,1, - 2049,9365,10,9631,9669,131,70,73,68,0,0,9662,9678,131,83,105,122,101,0,0, - 9670,9689,131,65,99,116,105,111,110,0,0,9679,9700,131,66,117,102,102,101,114, - 0,0,9690,9710,144,45,101,111,102,63,0,3841,9669,2049,9439,3841,9678,13,10,9701, - 9730,144,112,114,101,115,101,114,118,101,0,1,9669,1793,9741,1,9678,1,21,2049, - 3069,10,1,9734,2049,3069,10,9631,9764,144,102,105,108,101,58,114,101,97,100,45, - 108,105,110,101,0,4097,9669,1793,9821,2049,1877,2,4097,9700,2049,3418,1793,9813,3841,9669, - 2049,9402,2,2049,3326,1793,9790,1,13,11,10,1,9786,1793,9798,1,10,11,10,1, - 9794,1793,9806,1,0,11,10,1,9802,2049,2165,22,22,10,1,9777,2049,2256,2049,3350, - 3,10,1,9768,2049,3442,3841,9700,10,9746,9850,144,102,105,108,101,58,102,111,114, - 45,101,97,99,104,45,108,105,110,101,0,1793,9881,4097,9689,2049,9588,4097,9669,4097, - 9678,1793,9872,3841,9669,2049,9764,3841,9689,8,2049,9710,10,1,9862,2049,2233,3841,9669,2049, - 9384,10,1,9852,2049,9730,10,9828,9893,131,70,73,68,0,0,9828,9908,144,102,105, - 108,101,58,115,108,117,114,112,0,1793,9935,4,2049,3418,2049,9588,4097,9893,1793,9926, - 3841,9893,2049,9402,2049,3326,10,1,9919,2049,2281,3841,9893,2049,9384,10,1,9910,2049,3442, - 10,9894,9953,144,102,105,108,101,58,115,112,101,119,0,2049,9657,4,1793,9962,67502597, - 2049,9421,10,1,9958,2049,3860,2049,9384,10,9940,9976,131,70,80,85,0,0,9969,9989, - 144,105,100,101,110,116,105,102,121,0,3841,9976,2049,2533,1793,10056,1,2,2049,9013, - 2,2049,2568,1793,10044,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89, - 80,69,32,48,48,48,50,32,78,79,84,32,70,79,85,78,68,0,1,10007, - 2049,9109,2049,9072,10,1,10004,1793,10051,4097,9976,10,1,10048,2049,64,10,1,9995,9, - 10,9940,10082,144,105,111,58,102,108,111,97,116,45,111,112,101,114,97,116,105, - 111,110,0,2049,9989,3841,9976,2049,8996,10,10060,10103,144,110,58,116,111,45,102,108, - 111,97,116,0,1,0,2049,10082,10,10089,10122,144,115,58,116,111,45,102,108,111, - 97,116,0,1,1,2049,10082,10,10108,10142,144,102,58,116,111,45,110,117,109,98, - 101,114,0,1,2,2049,10082,10,10127,10162,144,102,58,116,111,45,115,116,114,105, - 110,103,0,2049,3617,2,1,3,2049,10082,10,10147,10177,144,102,58,43,0,1,4, - 2049,10082,10,10170,10189,144,102,58,45,0,1,5,2049,10082,10,10182,10201,144,102,58, - 42,0,1,6,2049,10082,10,10194,10213,144,102,58,47,0,1,7,2049,10082,10,10206, - 10229,144,102,58,102,108,111,111,114,0,1,8,2049,10082,10,10218,10247,144,102,58, - 99,101,105,108,105,110,103,0,1,9,2049,10082,10,10234,10262,144,102,58,115,113, - 114,116,0,1,10,2049,10082,10,10252,10276,144,102,58,101,113,63,0,1,11,2049, - 10082,10,10267,10291,144,102,58,45,101,113,63,0,1,12,2049,10082,10,10281,10305,144, - 102,58,108,116,63,0,1,13,2049,10082,10,10296,10319,144,102,58,103,116,63,0, - 1,14,2049,10082,10,10310,10335,144,102,58,100,101,112,116,104,0,1,15,2049,10082, - 10,10324,10349,144,102,58,100,117,112,0,1,16,2049,10082,10,10340,10364,144,102,58, - 100,114,111,112,0,1,17,2049,10082,10,10354,10379,144,102,58,115,119,97,112,0, - 1,18,2049,10082,10,10369,10393,144,102,58,108,111,103,0,1,19,2049,10082,10,10384, - 10409,144,102,58,112,111,119,101,114,0,1,20,2049,10082,10,10398,10423,144,102,58, - 115,105,110,0,1,21,2049,10082,10,10414,10437,144,102,58,99,111,115,0,1,22, - 2049,10082,10,10428,10451,144,102,58,116,97,110,0,1,23,2049,10082,10,10442,10466,144, - 102,58,97,115,105,110,0,1,24,2049,10082,10,10456,10481,144,102,58,97,99,111, - 115,0,1,25,2049,10082,10,10471,10496,144,102,58,97,116,97,110,0,1,26,2049, - 10082,10,10486,10511,144,102,58,112,117,115,104,0,1,27,2049,10082,10,10501,10525,144, - 102,58,112,111,112,0,1,28,2049,10082,10,10516,10542,144,102,58,97,100,101,112, - 116,104,0,1,29,2049,10082,10,10530,10559,144,102,58,115,113,117,97,114,101,0, - 2049,10349,2049,10201,10,10547,10574,144,102,58,111,118,101,114,0,2049,10511,2049,10349,2049, - 10525,2049,10379,10,10564,10593,144,102,58,116,117,99,107,0,2049,10349,2049,10511,2049,10379, - 2049,10525,10,10583,10611,144,102,58,110,105,112,0,2049,10379,2049,10364,10,10602,10631,144, - 102,58,100,114,111,112,45,112,97,105,114,0,2049,10364,2049,10364,10,10616,10650,144, - 102,58,100,117,112,45,112,97,105,114,0,2049,10574,2049,10574,10,10636,10664,144,102, - 58,114,111,116,0,2049,10511,2049,10379,2049,10525,2049,10379,10,10655,10688,144,102,58,112, - 111,115,105,116,105,118,101,63,0,1,0,2049,10103,2049,10319,10,10673,10710,144,102, - 58,110,101,103,97,116,105,118,101,63,0,1,0,2049,10103,2049,10305,10,10695,10729, - 144,102,58,110,101,103,97,116,101,0,1,-1,2049,10103,2049,10201,10,10717,10745,144, - 102,58,97,98,115,0,2049,10349,2049,10710,1,10729,9,10,10736,10765,156,112,114,101, - 102,105,120,58,46,0,2049,1818,1,3662,1,3591,2049,64,1,10122,2049,144,10,10753, - 10787,144,102,58,112,117,116,0,2049,10162,2049,9109,10,10778,10800,144,102,58,80,73, - 0,2049,3636,51,46,49,52,49,53,57,50,0,1,10802,2049,10122,10,10792,10823,144, - 102,58,69,0,2049,3636,50,46,55,49,56,50,56,49,0,1,10825,2049,10122,10, - 10816,10848,144,102,58,78,65,78,0,2049,3636,48,0,1,10850,2049,10122,2049,3636,48, - 0,1,10858,2049,10122,2049,10213,10,10839,10876,144,102,58,73,78,70,0,2049,3636,49, - 46,48,0,1,10878,2049,10122,2049,3636,48,0,1,10888,2049,10122,2049,10213,10,10867,10907, - 144,102,58,45,73,78,70,0,2049,3636,45,49,46,48,0,1,10909,2049,10122,2049, - 3636,48,0,1,10920,2049,10122,2049,10213,10,10897,10939,144,102,58,110,97,110,63,0, - 2049,10349,2049,10291,10,10929,10954,144,102,58,105,110,102,63,0,2049,10876,2049,10276,10, - 10944,10970,144,102,58,45,105,110,102,63,0,2049,10907,2049,10276,10,10959,10986,144,102, - 58,114,111,117,110,100,0,2049,10349,2049,10710,1793,11007,2049,3636,48,46,53,0,1, - 10994,2049,10122,2049,10189,2049,10247,10,1,10992,1793,11026,2049,3636,48,46,53,0,1,11013, - 2049,10122,2049,10177,2049,10229,10,1,11011,2049,64,10,10975,11040,144,102,58,109,105,110, - 0,2049,10650,2049,10305,1,10364,1,10611,2049,64,10,11031,11060,144,102,58,109,97,120, - 0,2049,10650,2049,10319,1,10364,1,10611,2049,64,10,11051,11082,144,102,58,108,105,109, - 105,116,0,2049,10379,2049,10511,2049,11040,2049,10525,2049,11060,10,11071,11107,144,102,58,98, - 101,116,119,101,101,110,63,0,2049,10664,2049,10349,2049,10511,2049,10664,2049,10664,2049,11082, - 2049,10525,2049,10276,10,11093,11133,144,102,58,105,110,99,0,2049,3636,49,0,1,11135, - 2049,10122,2049,10177,10,11124,11153,144,102,58,100,101,99,0,2049,3636,49,0,1,11155, - 2049,10122,2049,10189,10,11144,11174,144,102,58,99,97,115,101,0,2049,10574,2049,10276,1793, - 11186,2049,10364,8,1,-1,10,1,11180,1793,11194,3,1,0,10,1,11190,2049,64,25, - 6,771,10,11164,11212,144,102,58,115,105,103,110,0,2049,10349,2049,3636,48,0,1, - 11216,2049,10122,2049,10276,1793,11231,1,0,2049,10364,10,1,11226,2049,2659,2049,3636,48,0, - 1,11237,2049,10122,2049,10319,1793,11250,1,1,10,1,11247,1793,11257,1,-1,10,1,11254, - 2049,64,10,11202,2147483645,131,101,58,77,65,88,0,11262,-2147483645,131,101,58,77,73,78, - 0,11271,-2147483647,131,101,58,78,65,78,0,11280,2147483646,131,101,58,73,78,70,0,11289, - -2147483646,131,101,58,45,73,78,70,0,11298,11316,144,101,58,110,63,0,1,-2147483645,2049, - 2880,1,2147483645,2049,2893,2049,2911,10,11308,11337,144,101,58,109,97,120,63,0,1,2147483645, - 11,10,11327,11351,144,101,58,109,105,110,63,0,1,-2147483645,11,10,11341,11366,144,101, - 58,122,101,114,111,63,0,2049,2533,10,11355,11379,144,101,58,110,97,110,63,0, - 1,-2147483647,11,10,11369,11393,144,101,58,105,110,102,63,0,1,2147483646,11,10,11383,11408, - 144,101,58,45,105,110,102,63,0,1,-2147483646,11,10,11397,11422,144,101,58,99,108, - 105,112,0,1,-2147483645,1,2147483645,2049,2863,10,11412,11437,144,102,58,69,49,0,1793,11439, - 2049,3636,49,46,101,53,0,1,11441,2049,10122,10,11429,11463,144,102,58,45,115,104, - 105,102,116,0,2049,11437,2049,10201,10,11451,11480,144,102,58,43,115,104,105,102,116, - 0,2049,11437,2049,10213,10,11468,11502,144,102,58,115,105,103,110,101,100,45,115,113, - 114,116,0,2049,10349,2049,11212,2049,10745,2049,10262,2049,10103,2049,10201,10,11485,11528,144,102, - 58,43,101,110,99,111,100,101,0,2049,11502,2049,11463,10,11515,11546,144,102,58,45, - 101,110,99,111,100,101,0,2049,10349,2049,11212,2049,11480,2049,10349,2049,10201,2049,10103,2049, - 10201,10,11533,11580,144,102,58,115,105,103,110,101,100,45,115,113,117,97,114,101, - 0,2049,10349,2049,11212,2049,10349,2049,10201,2049,10103,2049,10201,10,11561,11603,144,102,58,116, - 111,45,101,0,2049,10349,2049,10939,1793,11614,2049,10364,1,-2147483647,10,1,11609,2049,2659,2049, - 10349,2049,10954,1793,11629,2049,10364,1,2147483646,10,1,11624,2049,2659,2049,10349,2049,10970,1793,11644, - 2049,10364,1,-2147483646,10,1,11639,2049,2659,2049,11528,2049,10986,2049,10142,2049,11422,1,-2147483645,1793, - 11663,2049,10364,10,1,11660,2049,2379,1,2147483645,1793,11674,2049,10364,10,1,11671,2049,2379,10, - 11593,11689,144,101,58,116,111,45,102,0,1,-2147483647,1793,11696,2049,10848,10,1,11693,2049, - 2379,1,2147483646,1793,11707,2049,10876,10,1,11704,2049,2379,1,-2147483646,1793,11718,2049,10907,10,1, - 11715,2049,2379,2049,10103,2049,11546,10,11679,11738,144,102,58,115,116,111,114,101,0,1793, - 11743,2049,11603,10,1,11740,2049,2106,16,10,11727,11760,144,102,58,102,101,116,99,104, - 0,15,2049,11689,10,11749,11780,144,102,58,100,117,109,112,45,115,116,97,99,107, - 0,2049,10335,2,1,10511,2049,2281,1793,11798,2049,10525,2049,10349,2049,10787,2049,9083,10,1, - 11789,2049,2281,10,11764,11820,144,102,58,100,117,109,112,45,97,115,116,97,99,107, - 0,2049,10542,2,1,10525,2049,2281,1793,11838,2049,10349,2049,10787,2049,9083,2049,10511,10,1, - 11829,2049,2281,10,11803,11852,144,101,58,112,117,116,0,1,2147483645,1793,11869,2049,3636,101, - 58,77,65,88,0,1,11858,2049,9109,10,1,11856,2049,2379,1,-2147483645,1793,11890,2049,3636, - 101,58,77,73,78,0,1,11879,2049,9109,10,1,11877,2049,2379,1,0,1793,11909,2049, - 3636,101,58,48,0,1,11900,2049,9109,10,1,11898,2049,2379,1,-2147483647,1793,11930,2049,3636, - 101,58,78,65,78,0,1,11919,2049,9109,10,1,11917,2049,2379,1,2147483646,1793,11951,2049, - 3636,101,58,73,78,70,0,1,11940,2049,9109,10,1,11938,2049,2379,1,-2147483646,1793,11973, - 2049,3636,101,58,45,73,78,70,0,1,11961,2049,9109,10,1,11959,2049,2379,2049,11689, - 2049,10787,10,11843,11990,131,85,110,105,120,0,0,11982,12003,144,105,100,101,110,116, - 105,102,121,0,3841,11990,2049,2533,1793,12070,1,8,2049,9013,2,2049,2568,1793,12058,3, - 2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48, - 56,32,78,79,84,32,70,79,85,78,68,0,1,12021,2049,9109,2049,9072,10,1, - 12018,1793,12065,4097,11990,10,1,12062,2049,64,10,1,12009,9,10,11843,12093,144,105,111, - 58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12003,3841,11990,2049,8996, - 10,12074,12115,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12093, - 10,12100,12133,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12093,10,12120, - 12152,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12093,10,12138,12171, - 144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12093,10,12157,12190,144, - 117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12093,10,12176,12209,144,117, - 110,105,120,58,101,120,101,99,51,0,1,5,2049,12093,10,12195,12227,144,117,110, - 105,120,58,101,120,105,116,0,1,6,2049,12093,10,12214,12247,144,117,110,105,120, - 58,103,101,116,112,105,100,0,1,7,2049,12093,10,12232,12265,144,117,110,105,120, - 58,119,97,105,116,0,1,8,2049,12093,10,12252,12283,144,117,110,105,120,58,107, - 105,108,108,0,1,9,2049,12093,10,12270,12302,144,117,110,105,120,58,112,111,112, - 101,110,0,1,10,2049,12093,10,12288,12322,144,117,110,105,120,58,112,99,108,111, - 115,101,0,1,11,2049,12093,10,12307,12341,144,117,110,105,120,58,99,104,100,105, - 114,0,1,13,2049,12093,10,12327,12361,144,117,110,105,120,58,103,101,116,101,110, - 118,0,1,14,2049,12093,10,12346,12381,144,117,110,105,120,58,112,117,116,101,110, - 118,0,1,15,2049,12093,10,12366,12400,144,117,110,105,120,58,115,108,101,101,112, - 0,1,16,2049,12093,10,12386,12421,144,117,110,105,120,58,103,101,116,45,99,119, - 100,0,2049,3636,112,119,100,0,1,12423,1,0,2049,12302,2,2049,9764,2049,5874,4, - 2049,12322,2049,3636,47,0,1,12443,2049,3842,10,12405,12477,144,117,110,105,120,58,99, - 111,117,110,116,45,102,105,108,101,115,45,105,110,45,99,119,100,0,2049,3636, - 108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12479,1,0,2049,12302, - 2,2049,9764,2049,5874,2049,218,4,2049,12322,10,12450,12532,144,117,110,105,120,58,102, - 111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3636,108,115,32,45,49, - 32,45,112,0,1,12534,1,0,2049,12302,2049,12477,1793,12567,1793,12562,2049,9764,2049,3591, - 67502597,8,10,1,12555,2049,2116,10,1,12553,2049,2281,2049,12322,3,10,12510,12584,144,115, - 116,97,114,116,0,4,2049,3418,1,0,2049,12302,10,12575,12600,144,114,101,97,100, - 0,2,2049,9402,2,2049,3326,2049,2533,10,12592,12619,144,102,105,110,105,115,104,0, - 2049,12322,2049,3398,10,12510,12643,144,117,110,105,120,58,115,108,117,114,112,45,112, - 105,112,101,0,1793,12659,2049,12584,1793,12652,2049,12600,10,1,12649,2049,2256,2049,12619,10, - 1,12645,2049,3442,10,12624,12670,131,105,111,0,0,12664,12683,144,105,100,101,110,116, - 105,102,121,0,3841,12670,2049,2533,1793,12750,1,10,2049,9013,2,2049,2568,1793,12738,3, - 2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,49, - 48,32,78,79,84,32,70,79,85,78,68,0,1,12701,2049,9109,2049,9072,10,1, - 12698,1793,12745,4097,12670,10,1,12742,2049,64,10,1,12689,9,10,12624,12774,144,105,111, - 58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12683,3841,12670,2049, - 8996,10,12754,12793,144,110,58,114,97,110,100,111,109,0,2049,12774,10,12781,12807,131, - 83,111,99,107,101,116,115,0,0,12796,12820,144,105,100,101,110,116,105,102,121, - 0,3841,12807,2049,2533,1793,12887,1,7,2049,9013,2,2049,2568,1793,12875,3,2049,3636,73, - 79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52,32,78, - 79,84,32,70,79,85,78,68,0,1,12838,2049,9109,2049,9072,10,1,12835,1793,12882, - 4097,12807,10,1,12879,2049,64,10,1,12826,9,10,12781,12914,144,105,111,58,115,111, - 99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,12820,3841,12807,2049, - 8996,10,12891,12945,144,115,111,99,107,101,116,58,103,101,116,104,111,115,116,98, - 121,110,97,109,101,0,1,0,2049,12914,10,12921,12967,144,115,111,99,107,101,116, - 58,99,114,101,97,116,101,0,1,1,2049,12914,10,12950,12987,144,115,111,99,107, - 101,116,58,98,105,110,100,0,1,2,2049,12914,10,12972,13009,144,115,111,99,107, - 101,116,58,108,105,115,116,101,110,0,1,3,2049,12914,10,12992,13031,144,115,111, - 99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,12914,10,13014,13054,144, - 115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,12914,10, - 13036,13074,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,12914,10, - 13059,13094,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,12914,10, - 13079,13115,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,12914, - 10,13099,13140,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,101, - 0,1,11,2049,12914,10,13120,1024,131,84,73,66,0,13145,13166,144,105,109,97,103, - 101,58,115,97,118,101,0,1,1000,2049,9013,2049,8996,10,13152,13185,131,75,101,121, - 98,111,97,114,100,0,0,13173,13198,144,105,100,101,110,116,105,102,121,0,3841, - 13185,2049,2533,1793,13265,1,1,2049,9013,2,2049,2568,1793,13253,3,2049,3636,73,79,32, - 68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,49,32,78,79,84, - 32,70,79,85,78,68,0,1,13216,2049,9109,2049,9072,10,1,13213,1793,13260,4097,13185, - 10,1,13257,2049,64,10,1,13204,9,10,13152,13278,144,99,58,103,101,116,0,2049, - 13198,3841,13185,2049,8996,10,13269,13295,144,103,97,116,104,101,114,0,2,1793,13302,1, - 8,11,10,1,13298,1793,13310,1,127,11,10,1,13306,2049,2128,22,1,11,1,3326, - 2049,64,10,13285,13331,144,99,121,99,108,101,0,2049,13278,2049,2096,4,8,2049,2465, - 25,3,2049,13295,1,13331,7,10,13269,13362,144,112,97,114,115,101,45,117,110,116, - 105,108,0,1793,13374,2049,3617,2049,3418,2049,13331,771,2049,3292,10,1,13364,2049,3442,10, - 13347,13388,144,115,58,103,101,116,0,1793,13410,1793,13396,1,10,11,10,1,13392,1793, - 13404,1,13,11,10,1,13400,2049,2128,22,10,1,13390,2049,13362,10,13379,13429,144,115, - 58,103,101,116,45,119,111,114,100,0,1,5476,2049,13362,10,13415,13447,131,83,99, - 114,105,112,116,105,110,103,0,7,13434,13460,144,105,100,101,110,116,105,102,121, - 0,3841,13447,2049,2533,1793,13527,1,9,2049,9013,2,2049,2568,1793,13515,3,2049,3636,73, - 79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,57,32,78, - 79,84,32,70,79,85,78,68,0,1,13478,2049,9109,2049,9072,10,1,13475,1793,13522, - 4097,13447,10,1,13519,2049,64,10,1,13466,9,10,13415,13543,144,115,121,115,58,97, - 114,103,99,0,2049,13460,1,0,3841,13447,2049,8996,10,13531,13564,144,115,121,115,58, - 97,114,103,118,0,2049,3617,4,2049,13460,1,1,3841,13447,2049,8996,10,13552,13587,144, - 105,110,99,108,117,100,101,0,2049,13460,1,2,3841,13447,2049,8996,10,13576,13608,144, - 115,121,115,58,110,97,109,101,0,2049,3617,2049,13460,1,3,3841,13447,2049,8996,10, - 13596,13628,144,99,108,101,97,114,0,1,27,2049,9059,2049,3636,91,50,74,0,1, - 13634,2049,9109,1,27,2049,9059,2049,3636,91,48,59,48,72,0,1,13648,2049,9109,10, - 13619,13669,131,78,111,69,99,104,111,0,0,13659,13677,144,98,121,101,0,1,0, - 2049,12227,10,13670,13693,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10, - 13682,13708,144,100,111,110,101,63,0,1793,13714,1,13,11,10,1,13710,1793,13722,1, - 10,11,10,1,13718,1793,13730,1,32,11,10,1,13726,2049,2165,22,22,10,13699,13747, - 144,118,97,108,105,100,63,0,2,2049,79,2049,2615,10,13737,13766,144,99,104,101, - 99,107,45,101,111,102,0,2,1793,13773,1,-1,11,10,1,13769,1793,13781,1,4, - 11,10,1,13777,2049,2128,22,1,13677,9,10,13753,13796,144,98,115,0,2049,3350,2049, - 3350,771,10,13790,13814,144,99,104,101,99,107,45,98,115,0,2,1793,13821,1,8, - 11,10,1,13817,1793,13829,1,127,11,10,1,13825,2049,2128,22,1,13796,9,10,13802, - 13847,144,99,104,101,99,107,0,2049,13766,2049,13814,10,13838,13865,144,99,104,97,114, - 97,99,116,101,114,0,2049,13278,2,2049,3326,10,13852,13881,144,98,117,102,102,101, - 114,0,1793,13891,1,1024,2049,3418,8,2049,3292,10,1,13883,2049,3442,10,13871,13910,144, - 114,101,97,100,45,116,111,107,101,110,0,1793,13926,1793,13921,2049,13865,2049,13847,2049, - 13708,10,1,13914,2049,2256,10,1,13912,2049,13881,2049,3714,10,13896,13942,144,105,110,112, - 117,116,0,2049,13910,2049,13747,10,13933,13958,144,112,114,111,99,101,115,115,0,1, - 365,1,11,2049,64,10,13670,13975,144,98,97,110,110,101,114,0,2049,13693,2049,3636, - 82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1, - 13979,2049,7096,2049,9109,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3636,37,110,32,77, - 97,120,44,32,37,110,32,85,115,101,100,44,32,37,110,32,70,114,101,101, - 92,110,0,1,14015,2049,7096,2049,9109,10,13965,14059,144,108,105,115,116,101,110,0, - 3841,13669,1793,14066,2049,13975,10,1,14063,2049,70,2049,13942,2049,13958,1,14070,7,10,14049, - 14087,131,67,108,111,99,107,0,0,14078,14100,144,105,100,101,110,116,105,102,121, - 0,3841,14087,2049,2533,1793,14167,1,5,2049,9013,2,2049,2568,1793,14155,3,2049,3636,73, - 79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,53,32,78, - 79,84,32,70,79,85,78,68,0,1,14118,2049,9109,2049,9072,10,1,14115,1793,14162, - 4097,14087,10,1,14159,2049,64,10,1,14106,9,10,14049,14193,144,105,111,58,99,108, - 111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14100,3841,14087,2049,8996, - 10,14171,14219,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,0, - 1,0,2049,14193,10,14200,14237,144,99,108,111,99,107,58,100,97,121,0,1,1, - 2049,14193,10,14224,14257,144,99,108,111,99,107,58,109,111,110,116,104,0,1,2, - 2049,14193,10,14242,14276,144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049, - 14193,10,14262,14295,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14193, - 10,14281,14316,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049, - 14193,10,14300,14337,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,6, - 2049,14193,10,14321,14359,144,99,108,111,99,107,58,117,116,99,58,100,97,121,0, - 1,7,2049,14193,10,14342,14383,144,99,108,111,99,107,58,117,116,99,58,109,111, - 110,116,104,0,1,8,2049,14193,10,14364,14406,144,99,108,111,99,107,58,117,116, - 99,58,121,101,97,114,0,1,9,2049,14193,10,14388,14429,144,99,108,111,99,107, - 58,117,116,99,58,104,111,117,114,0,1,10,2049,14193,10,14411,14454,144,99,108, - 111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14193,10, - 14434,14479,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,0, - 1,12,2049,14193,10,14459,14495,144,100,58,119,111,114,100,115,0,1793,14504,2049,162, - 2049,9109,2049,9083,10,1,14497,2049,7325,10,14484,14525,144,100,58,119,111,114,100,115, - 45,119,105,116,104,0,2049,1877,2049,4532,1793,14556,2049,162,2,2049,1877,2049,4179,1793, - 14545,2049,9109,2049,9083,10,1,14540,1793,14551,3,10,1,14549,2049,64,10,1,14531,2049, - 7325,10,14509,14580,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,116, - 0,2,2049,1877,2049,4482,1793,14592,2049,9109,2049,9083,10,1,14587,1793,14598,3,10,1, - 14596,2049,64,10,14509,14629,144,100,58,119,111,114,100,115,45,98,101,103,105,110, - 110,105,110,103,45,119,105,116,104,0,2049,1877,2049,4532,1793,14640,2049,162,2049,14580, - 10,1,14635,2049,7325,10,14603,14655,144,102,105,101,108,100,115,0,3841,2,2049,105, - 2049,105,2049,105,10,14645,14681,144,105,110,118,97,108,105,100,45,110,97,109,101, - 63,0,2,1,32,2049,3986,10,14664,14698,144,114,101,119,114,105,116,101,0,1793, - 14712,1,32,1793,14707,1,95,10,1,14704,2049,2379,10,1,14700,2049,4353,10,14687,14726, - 144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14754,1793,14749, - 2049,14655,2049,14681,1,14698,9,2049,119,10,1,14739,2049,14726,10,1,14737,0 }; + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,6435,6579,131,84,80,0, + 0,6573,6588,144,115,97,118,101,0,2049,3662,3841,6579,1,6445,17,2049,2880,16,1, + 6579,2049,2978,10,6580,6611,144,110,101,120,116,0,1793,6617,3841,6434,17,10,1,6613, + 2049,2116,10,6603,6631,144,100,111,110,101,63,0,2049,79,2049,2533,10,6240,6660,144, + 115,58,116,111,107,101,110,105,122,101,45,111,110,45,115,116,114,105,110,103, + 0,1,0,4097,6579,1793,6674,2,1,6299,2049,4525,2049,3842,10,1,6666,1793,6683,2049, + 79,4097,6434,10,1,6678,2049,2128,1793,6700,1,6299,2049,6113,2049,6588,2049,6611,2049,6631, + 10,1,6689,2049,2256,1,6445,3841,6579,2049,2893,4097,6445,10,6636,6725,144,102,111,114, + 45,101,97,99,104,0,4,2049,56,1,13,2049,2106,1793,6741,5,2049,56,84018692,525572, + 1542,10,1,6734,2049,2281,771,10,6713,6761,144,115,117,98,115,116,105,116,117,116, + 101,0,2049,3507,1,129,18,10,6747,6778,144,101,120,116,114,97,99,116,0,2049, + 6761,2049,4525,10,6767,6795,144,116,111,107,101,110,105,122,101,0,2049,6660,2049,3617, + 10,6783,6811,144,99,111,109,98,105,110,101,0,2049,6761,2049,3842,2049,3842,10,6800, + 6827,144,109,101,114,103,101,0,4,1,6811,2049,6725,772,10,6818,6846,144,102,105, + 110,100,45,101,110,100,0,2,2049,79,2049,6761,2049,79,18,67502597,17,10,6834,6866, + 144,99,108,101,97,110,0,2049,6846,1,0,4,16,10,6636,6890,144,115,58,114, + 101,112,108,97,99,101,45,97,108,108,0,1,3,1793,6905,2049,6778,2049,6795,2049, + 6827,2049,6866,2049,3591,10,1,6894,2049,3069,10,6873,6918,144,99,104,97,114,0,1, + 32,1793,6927,1,95,2049,3326,10,1,6922,2049,2379,1,114,1793,6940,1,13,2049,3326, + 10,1,6935,2049,2379,1,110,1793,6953,1,10,2049,3326,10,1,6948,2049,2379,1,116, + 1793,6966,1,9,2049,3326,10,1,6961,2049,2379,1,48,1793,6979,1,0,2049,3326,10, + 1,6974,2049,2379,2049,3326,10,6910,6994,144,116,121,112,101,0,1,99,1793,7002,4, + 2049,3326,10,1,6998,2049,2379,1,115,1793,7016,4,1,3326,2049,3860,10,1,7010,2049, + 2379,1,110,1793,7032,4,2049,5917,1,3326,2049,3860,10,1,7024,2049,2379,3,10,6986, + 7048,144,104,97,110,100,108,101,0,1,92,1793,7057,2049,56,2049,6918,10,1,7052, + 2049,2379,1,37,1793,7070,2049,56,2049,6994,10,1,7065,2049,2379,2049,3326,10,6873,7089, + 144,115,58,102,111,114,109,97,116,0,1793,7118,2049,3617,1793,7113,2049,3418,1793,7108, + 2049,56,25,2049,7048,1,7099,7,10,1,7099,8,3,10,1,7095,2049,2116,10,1, + 7091,2049,3442,10,7077,7134,144,115,58,99,111,110,115,116,0,1,3662,2049,2106,2049, + 2022,10,7123,7151,131,86,97,108,117,101,115,0,0,0,0,0,0,0,0,0, + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, + 7141,7187,144,102,114,111,109,0,2049,79,2,1793,7205,1793,7198,1,7151,4113,10,1, + 7194,2049,2116,2049,2893,10,1,7192,2049,2281,3,10,7179,7217,144,116,111,0,2,2049, + 79,1793,7233,2049,56,1,97,18,2049,2880,1,7151,266001,10,1,7222,2049,2281,3,10, + 7123,7250,144,114,101,111,114,100,101,114,0,1,7187,2049,2106,2049,7217,10,7239,7266, + 144,99,117,114,114,121,0,2049,1877,1793,7276,4,2049,1731,2049,1754,10,1,7270,2049, + 2106,10,7257,7289,144,100,111,101,115,0,2049,1588,4,2049,7266,2049,1570,2049,158,16, + 1,144,2049,1649,10,7281,7318,144,100,58,102,111,114,45,101,97,99,104,0,1, + 2,1793,7344,6415,2049,2096,1793,7336,1793,7331,2052,10,1,7329,2049,2106,10,1,7327,2049, + 2106,1,7322,7,10,1,7322,8,3,10,7304,7364,144,100,58,108,111,111,107,117, + 112,45,120,116,0,1,0,4,1793,7389,2049,2096,2049,158,2831,1793,7382,4,1,2057, + 2049,2106,10,1,7376,1,11,2049,64,10,1,7369,2049,7318,3,10,7349,7407,144,97, + 58,108,101,110,103,116,104,0,15,10,7395,7430,144,97,58,99,111,117,110,116, + 101,100,45,114,101,115,117,108,116,115,0,8,2049,1877,1793,7443,2,2049,105,1, + 105,2049,2281,10,1,7435,2049,2106,10,7409,7465,144,97,58,102,114,111,109,45,115, + 116,114,105,110,103,0,2049,1877,1793,7479,2,2049,79,2049,105,1,105,2049,3860,10, + 1,7469,2049,2106,10,7448,7498,144,97,58,102,111,114,45,101,97,99,104,0,4, + 2049,56,1,13,2049,2106,1793,7514,5,2049,56,84018692,525572,1542,10,1,7507,2049,2281,771, + 10,7484,7529,144,97,58,100,117,112,0,2049,1877,1793,7542,2,15,2049,105,1,105, + 2049,7498,10,1,7533,2049,2106,10,7520,7557,144,97,58,99,111,112,121,0,1,3, + 1793,7573,4097,3,2,2049,7407,2049,105,1,105,2049,7498,10,1,7561,2049,3069,10,7547, + 7593,144,97,58,116,111,45,115,116,114,105,110,103,0,1,3,1793,7606,2049,7529, + 1,0,2049,105,2049,2880,10,1,7597,2049,3069,2049,3591,10,7578,7625,144,97,58,97, + 112,112,101,110,100,0,2049,2096,1,34,2049,2154,17,2049,1877,1793,7650,2049,105,1793, + 7645,1,105,2049,7498,10,1,7640,2049,2154,10,1,7636,2049,2106,10,7613,7668,144,97, + 58,112,114,101,112,101,110,100,0,4,2049,7625,10,7655,7682,144,97,58,99,104, + 111,112,0,2049,7529,1,-1,2049,3050,2,2049,2993,10,7672,7704,144,97,58,102,105, + 108,116,101,114,0,1793,7719,67502597,1,21,2049,2106,4,1,105,1,11,2049,64,10, + 1,7706,2049,7266,2049,1877,1793,7734,67502597,15,2049,105,2049,7498,10,1,7727,2049,2106,2049, + 1877,67502597,18,2049,2893,67502597,16,10,7692,7762,144,97,58,99,111,110,116,97,105,110, + 115,63,0,1,0,4,1793,7774,4,5,67502597,11,6,22,10,1,7767,2049,7498,772, + 10,7747,7802,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,105,110, + 103,63,0,1,0,4,1793,7815,4,5,67502597,2049,93,6,22,10,1,7807,2049,7498, + 772,10,7780,7830,144,97,58,109,97,112,0,1793,7836,8,2049,105,10,1,7832,2049, + 7266,2049,1877,1793,7851,67502597,15,2049,105,2049,7498,10,1,7844,2049,2106,10,7821,7869,144, + 97,58,114,101,118,101,114,115,101,0,2049,1877,1793,7903,2049,56,1793,7881,17,2049, + 2893,10,1,7877,2049,2116,2,2049,105,1793,7897,2,15,2049,105,2049,2893,10,1,7890, + 2049,2281,3,10,1,7873,2049,2106,10,7856,7916,144,97,58,116,104,0,17,2049,2880, + 10,7908,7931,144,97,58,102,101,116,99,104,0,2049,7916,15,10,7920,7946,144,97, + 58,115,116,111,114,101,0,2049,7916,16,10,7935,7962,144,97,58,114,101,100,117, + 99,101,0,1,13,2049,2106,2049,7498,10,7950,7981,144,105,100,101,110,116,105,102, + 121,0,1,-1,4,1,0,1793,8012,2049,2356,11,1793,8006,67502597,1,-1,11,1793,8002, + 772,2,10,1,7999,9,10,1,7993,9,2049,2880,10,1,7988,2049,7962,3,10,7950, + 8032,144,97,58,105,110,100,101,120,45,111,102,0,1,3,1793,8045,1,26,2049, + 7266,2049,7830,2049,7981,10,1,8036,2049,3069,10,8018,8071,144,97,58,105,110,100,101, + 120,45,111,102,45,115,116,114,105,110,103,0,1,3,1793,8084,1,93,2049,7266, + 2049,7830,2049,7981,10,1,8075,2049,3069,10,8050,8099,144,97,58,109,97,107,101,0, + 2049,7430,2049,7869,10,8089,8109,156,123,0,1,285,2049,156,1,1556,2049,144,1,285, + 2049,156,10,8104,8127,156,125,0,1,301,2049,156,1,2106,2049,144,1,1556,2049,144, + 1,13,2049,150,1,40,2049,150,1,2893,2049,144,1,301,2049,156,1,8099,2049,144, + 10,8122,8171,144,98,111,117,110,100,115,63,0,67502597,2049,7407,67502597,13,10,8160,8185, + 144,99,111,112,121,0,2049,56,2049,105,10,8177,8200,144,116,111,45,101,110,100, + 0,2,2049,7407,17,2049,2880,10,8122,8217,144,97,58,108,101,102,116,0,2049,8171, + 1793,8225,771,1,-1,10,1,8221,2049,2659,2049,1877,67502597,2049,105,1793,8246,1,2880,2049, + 2106,1,8185,2049,2281,3,10,1,8236,2049,2106,10,8207,8262,144,97,58,114,105,103, + 104,116,0,2049,8171,1793,8270,771,1,-1,10,1,8266,2049,2659,2049,1877,67502597,2049,105, + 1793,8293,4,2049,8200,67502597,18,4,1,8185,2049,2281,3,10,1,8281,2049,2106,10,8251, + 8310,144,97,58,109,105,100,100,108,101,0,1,2048,2049,2106,4,67502597,2049,8171,1793, + 8325,771,3,1,-1,10,1,8320,2049,2659,771,2049,2096,4,18,2049,2880,2049,1877,67502597, + 2049,105,1793,8360,772,1793,8350,17,2049,2880,10,1,8346,2049,2106,1,8185,2049,2281,3, + 10,1,8343,2049,2106,10,8298,8373,131,70,108,97,103,0,0,8365,8385,144,99,111, + 109,112,97,114,101,0,67440386,184946434,10,8374,8398,144,108,101,110,103,116,104,0,659202, + 10,8388,8408,144,110,101,120,116,0,17043713,1,1,2577,10,8400,8426,144,110,111,116, + 45,101,113,117,97,108,0,50529030,2561,0,10,8413,8438,144,108,111,111,112,0,524549, + 8408,2049,8385,18157313,8373,8373,16,420610310,1,1,8438,7,10,8298,8461,144,97,58,101,113, + 63,0,1048833,-1,8373,2049,8385,151066369,-1,8426,2049,8398,2049,8438,251724547,8373,10,8452,8486,144, + 97,58,45,101,113,63,0,2049,8461,2049,2465,10,8476,8509,144,97,58,98,101,103, + 105,110,115,45,119,105,116,104,63,0,1,3,1793,8525,2,2049,7407,1,13,2049, + 2106,2049,8217,2049,8461,10,1,8513,2049,3069,10,8491,8546,144,97,58,101,110,100,115, + 45,119,105,116,104,63,0,1,3,1793,8562,2,2049,7407,1,13,2049,2106,2049,8262, + 2049,8461,10,1,8550,2049,3069,10,8530,8583,144,99,117,114,114,101,110,116,45,108, + 105,110,101,0,2049,3507,1,1025,18,10,8567,8605,144,99,111,117,110,116,45,116, + 111,107,101,110,115,0,1793,8611,1,32,11,10,1,8607,2049,4304,2049,79,10,8589, + 8636,144,112,114,111,99,101,115,115,45,116,111,107,101,110,115,0,1793,8664,1, + 32,2049,6078,4,1793,8657,2,2049,79,2049,2549,1,365,1,11,2049,64,10,1,8645, + 2049,2106,2049,2880,10,1,8638,2049,2281,2049,365,10,8530,8685,144,115,58,101,118,97, + 108,117,97,116,101,0,2049,8583,2049,4525,2049,8583,2,2049,8605,2049,8636,10,8671,8703, + 131,76,80,0,0,8697,8713,131,73,110,100,101,120,0,0,10,0,0,0,0, + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, + 0,0,0,0,0,0,8704,8753,144,110,101,120,116,0,3841,8703,1,8713,17,2049, + 2978,10,8745,8769,144,112,114,101,112,0,1,8703,2049,2978,1,0,3841,8703,1,8713, + 17,16,10,8761,8790,144,100,111,110,101,0,1,8703,2049,2993,10,8671,8800,144,73, + 0,3841,8703,1,8713,17,15,10,8795,8812,144,74,0,3841,8703,1,8713,17,2049,2893, + 15,10,8807,8826,144,75,0,3841,8703,1,8713,17,1,2,18,15,10,8821,8857,144, + 116,105,109,101,115,60,119,105,116,104,45,105,110,100,101,120,62,0,2049,8769, + 4,1793,8873,25,33886721,1,2053,1542,2049,8753,1,8862,7,10,1,8862,8,3,2049,8790, + 10,8836,8888,156,104,111,111,107,0,2049,3636,108,105,106,117,46,46,46,46,0, + 1,8890,2049,412,2049,1877,2049,2880,2049,105,10,8880,8922,144,115,101,116,45,104,111, + 111,107,0,2049,2880,16,10,8910,8936,144,117,110,104,111,111,107,0,2049,2880,2, + 2049,2880,4,16,10,8926,8960,144,105,111,58,101,110,117,109,101,114,97,116,101, + 0,27,10,8944,8974,144,105,111,58,113,117,101,114,121,0,28,10,8962,8989,144, + 105,111,58,105,110,118,111,107,101,0,29,10,8976,9006,144,105,111,58,115,99, + 97,110,45,102,111,114,0,1,-1,4,2049,8960,1793,9037,2049,8800,2049,8974,772,67502597, + 11,1793,9033,1793,9028,3,2049,8800,10,1,9024,2049,2106,10,1,9022,9,10,1,9013, + 2049,8857,3,10,8991,9052,144,99,58,112,117,116,0,1793,9054,1,0,2049,8989,10, + 9043,9065,144,110,108,0,1,10,2049,9052,10,9059,9076,144,115,112,0,1,32,2049, + 9052,10,9070,9088,144,116,97,98,0,1,9,2049,9052,10,9081,9102,144,115,58,112, + 117,116,0,1,9052,2049,3860,10,9093,9116,144,110,58,112,117,116,0,2049,5917,2049, + 9102,10,9107,9130,144,114,101,115,101,116,0,2049,1556,25,771,1,9130,7,10,9121, + 9152,144,100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9152, + 6,2,2049,9116,2049,9076,10,9138,9174,144,70,82,69,69,0,2049,3507,1,1025,18, + 2049,1877,18,10,9166,9192,131,70,105,108,101,115,0,0,9183,9205,144,105,100,101, + 110,116,105,102,121,0,3841,9192,2049,2533,1793,9272,1,4,2049,9006,2,2049,2568,1793, + 9260,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48, + 48,48,52,32,78,79,84,32,70,79,85,78,68,0,1,9223,2049,9102,2049,9065, + 10,1,9220,1793,9267,4097,9192,10,1,9264,2049,64,10,1,9211,9,10,9166,9297,144, + 105,111,58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9205, + 3841,9192,2049,8989,10,9276,0,131,102,105,108,101,58,82,0,9304,1,131,102,105, + 108,101,58,87,0,9314,2,131,102,105,108,101,58,65,0,9324,3,131,102,105, + 108,101,58,82,43,0,9334,9358,144,102,105,108,101,58,111,112,101,110,0,1, + 0,2049,9297,10,9345,9377,144,102,105,108,101,58,99,108,111,115,101,0,1,1, + 2049,9297,10,9363,9395,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9297, + 10,9382,9414,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9297,10, + 9400,9432,144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9297,10,9419,9450, + 144,102,105,108,101,58,115,101,101,107,0,1,5,2049,9297,10,9437,9468,144,102, + 105,108,101,58,115,105,122,101,0,1,6,2049,9297,10,9455,9488,144,102,105,108, + 101,58,100,101,108,101,116,101,0,1,7,2049,9297,10,9473,9507,144,102,105,108, + 101,58,102,108,117,115,104,0,1,8,2049,9297,10,9493,9528,144,102,105,108,101, + 58,101,120,105,115,116,115,63,0,1,0,2049,9358,2,2049,2549,1793,9542,2049,9377, + 2049,2356,10,1,9537,1793,9550,3,2049,2368,10,1,9546,2049,64,10,9512,9581,144,102, + 105,108,101,58,111,112,101,110,60,102,111,114,45,114,101,97,100,105,110,103, + 62,0,1,0,2049,9358,2,2049,9468,4,10,9555,9615,144,102,105,108,101,58,111, + 112,101,110,60,102,111,114,45,97,112,112,101,110,100,62,0,1,2,2049,9358, + 2,2049,9468,4,10,9590,9650,144,102,105,108,101,58,111,112,101,110,60,102,111, + 114,45,119,114,105,116,105,110,103,62,0,1,1,2049,9358,10,9624,9662,131,70, + 73,68,0,0,9655,9671,131,83,105,122,101,0,0,9663,9682,131,65,99,116,105, + 111,110,0,0,9672,9693,131,66,117,102,102,101,114,0,0,9683,9703,144,45,101, + 111,102,63,0,3841,9662,2049,9432,3841,9671,13,10,9694,9723,144,112,114,101,115,101, + 114,118,101,0,1,9662,1793,9734,1,9671,1,21,2049,3069,10,1,9727,2049,3069,10, + 9624,9757,144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9662, + 1793,9814,2049,1877,2,4097,9693,2049,3418,1793,9806,3841,9662,2049,9395,2,2049,3326,1793,9783, + 1,13,11,10,1,9779,1793,9791,1,10,11,10,1,9787,1793,9799,1,0,11,10, + 1,9795,2049,2165,22,22,10,1,9770,2049,2256,2049,3350,3,10,1,9761,2049,3442,3841, + 9693,10,9739,9843,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108, + 105,110,101,0,1793,9874,4097,9682,2049,9581,4097,9662,4097,9671,1793,9865,3841,9662,2049,9757, + 3841,9682,8,2049,9703,10,1,9855,2049,2233,3841,9662,2049,9377,10,1,9845,2049,9723,10, + 9821,9886,131,70,73,68,0,0,9821,9901,144,102,105,108,101,58,115,108,117,114, + 112,0,1793,9928,4,2049,3418,2049,9581,4097,9886,1793,9919,3841,9886,2049,9395,2049,3326,10, + 1,9912,2049,2281,3841,9886,2049,9377,10,1,9903,2049,3442,10,9887,9946,144,102,105,108, + 101,58,115,112,101,119,0,2049,9650,4,1793,9955,67502597,2049,9414,10,1,9951,2049,3860, + 2049,9377,10,9933,9969,131,70,80,85,0,0,9962,9982,144,105,100,101,110,116,105, + 102,121,0,3841,9969,2049,2533,1793,10049,1,2,2049,9006,2,2049,2568,1793,10037,3,2049, + 3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,50, + 32,78,79,84,32,70,79,85,78,68,0,1,10000,2049,9102,2049,9065,10,1,9997, + 1793,10044,4097,9969,10,1,10041,2049,64,10,1,9988,9,10,9933,10075,144,105,111,58, + 102,108,111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,9982,3841,9969, + 2049,8989,10,10053,10096,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049, + 10075,10,10082,10115,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10075, + 10,10101,10135,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10075, + 10,10120,10155,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3617,2,1, + 3,2049,10075,10,10140,10170,144,102,58,43,0,1,4,2049,10075,10,10163,10182,144,102, + 58,45,0,1,5,2049,10075,10,10175,10194,144,102,58,42,0,1,6,2049,10075,10, + 10187,10206,144,102,58,47,0,1,7,2049,10075,10,10199,10222,144,102,58,102,108,111, + 111,114,0,1,8,2049,10075,10,10211,10240,144,102,58,99,101,105,108,105,110,103, + 0,1,9,2049,10075,10,10227,10255,144,102,58,115,113,114,116,0,1,10,2049,10075, + 10,10245,10269,144,102,58,101,113,63,0,1,11,2049,10075,10,10260,10284,144,102,58, + 45,101,113,63,0,1,12,2049,10075,10,10274,10298,144,102,58,108,116,63,0,1, + 13,2049,10075,10,10289,10312,144,102,58,103,116,63,0,1,14,2049,10075,10,10303,10328, + 144,102,58,100,101,112,116,104,0,1,15,2049,10075,10,10317,10342,144,102,58,100, + 117,112,0,1,16,2049,10075,10,10333,10357,144,102,58,100,114,111,112,0,1,17, + 2049,10075,10,10347,10372,144,102,58,115,119,97,112,0,1,18,2049,10075,10,10362,10386, + 144,102,58,108,111,103,0,1,19,2049,10075,10,10377,10402,144,102,58,112,111,119, + 101,114,0,1,20,2049,10075,10,10391,10416,144,102,58,115,105,110,0,1,21,2049, + 10075,10,10407,10430,144,102,58,99,111,115,0,1,22,2049,10075,10,10421,10444,144,102, + 58,116,97,110,0,1,23,2049,10075,10,10435,10459,144,102,58,97,115,105,110,0, + 1,24,2049,10075,10,10449,10474,144,102,58,97,99,111,115,0,1,25,2049,10075,10, + 10464,10489,144,102,58,97,116,97,110,0,1,26,2049,10075,10,10479,10504,144,102,58, + 112,117,115,104,0,1,27,2049,10075,10,10494,10518,144,102,58,112,111,112,0,1, + 28,2049,10075,10,10509,10535,144,102,58,97,100,101,112,116,104,0,1,29,2049,10075, + 10,10523,10552,144,102,58,115,113,117,97,114,101,0,2049,10342,2049,10194,10,10540,10567, + 144,102,58,111,118,101,114,0,2049,10504,2049,10342,2049,10518,2049,10372,10,10557,10586,144, + 102,58,116,117,99,107,0,2049,10342,2049,10504,2049,10372,2049,10518,10,10576,10604,144,102, + 58,110,105,112,0,2049,10372,2049,10357,10,10595,10624,144,102,58,100,114,111,112,45, + 112,97,105,114,0,2049,10357,2049,10357,10,10609,10643,144,102,58,100,117,112,45,112, + 97,105,114,0,2049,10567,2049,10567,10,10629,10657,144,102,58,114,111,116,0,2049,10504, + 2049,10372,2049,10518,2049,10372,10,10648,10681,144,102,58,112,111,115,105,116,105,118,101, + 63,0,1,0,2049,10096,2049,10312,10,10666,10703,144,102,58,110,101,103,97,116,105, + 118,101,63,0,1,0,2049,10096,2049,10298,10,10688,10722,144,102,58,110,101,103,97, + 116,101,0,1,-1,2049,10096,2049,10194,10,10710,10738,144,102,58,97,98,115,0,2049, + 10342,2049,10703,1,10722,9,10,10729,10758,156,112,114,101,102,105,120,58,46,0,2049, + 1818,1,3662,1,3591,2049,64,1,10115,2049,144,10,10746,10780,144,102,58,112,117,116, + 0,2049,10155,2049,9102,10,10771,10793,144,102,58,80,73,0,2049,3636,51,46,49,52, + 49,53,57,50,0,1,10795,2049,10115,10,10785,10816,144,102,58,69,0,2049,3636,50, + 46,55,49,56,50,56,49,0,1,10818,2049,10115,10,10809,10841,144,102,58,78,65, + 78,0,2049,3636,48,0,1,10843,2049,10115,2049,3636,48,0,1,10851,2049,10115,2049,10206, + 10,10832,10869,144,102,58,73,78,70,0,2049,3636,49,46,48,0,1,10871,2049,10115, + 2049,3636,48,0,1,10881,2049,10115,2049,10206,10,10860,10900,144,102,58,45,73,78,70, + 0,2049,3636,45,49,46,48,0,1,10902,2049,10115,2049,3636,48,0,1,10913,2049,10115, + 2049,10206,10,10890,10932,144,102,58,110,97,110,63,0,2049,10342,2049,10284,10,10922,10947, + 144,102,58,105,110,102,63,0,2049,10869,2049,10269,10,10937,10963,144,102,58,45,105, + 110,102,63,0,2049,10900,2049,10269,10,10952,10979,144,102,58,114,111,117,110,100,0, + 2049,10342,2049,10703,1793,11000,2049,3636,48,46,53,0,1,10987,2049,10115,2049,10182,2049,10240, + 10,1,10985,1793,11019,2049,3636,48,46,53,0,1,11006,2049,10115,2049,10170,2049,10222,10, + 1,11004,2049,64,10,10968,11033,144,102,58,109,105,110,0,2049,10643,2049,10298,1,10357, + 1,10604,2049,64,10,11024,11053,144,102,58,109,97,120,0,2049,10643,2049,10312,1,10357, + 1,10604,2049,64,10,11044,11075,144,102,58,108,105,109,105,116,0,2049,10372,2049,10504, + 2049,11033,2049,10518,2049,11053,10,11064,11100,144,102,58,98,101,116,119,101,101,110,63, + 0,2049,10657,2049,10342,2049,10504,2049,10657,2049,10657,2049,11075,2049,10518,2049,10269,10,11086,11126, + 144,102,58,105,110,99,0,2049,3636,49,0,1,11128,2049,10115,2049,10170,10,11117,11146, + 144,102,58,100,101,99,0,2049,3636,49,0,1,11148,2049,10115,2049,10182,10,11137,11167, + 144,102,58,99,97,115,101,0,2049,10567,2049,10269,1793,11179,2049,10357,8,1,-1,10, + 1,11173,1793,11187,3,1,0,10,1,11183,2049,64,25,6,771,10,11157,11205,144,102, + 58,115,105,103,110,0,2049,10342,2049,3636,48,0,1,11209,2049,10115,2049,10269,1793,11224, + 1,0,2049,10357,10,1,11219,2049,2659,2049,3636,48,0,1,11230,2049,10115,2049,10312,1793, + 11243,1,1,10,1,11240,1793,11250,1,-1,10,1,11247,2049,64,10,11195,2147483645,131,101, + 58,77,65,88,0,11255,-2147483645,131,101,58,77,73,78,0,11264,-2147483647,131,101,58,78, + 65,78,0,11273,2147483646,131,101,58,73,78,70,0,11282,-2147483646,131,101,58,45,73,78, + 70,0,11291,11309,144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911, + 10,11301,11330,144,101,58,109,97,120,63,0,1,2147483645,11,10,11320,11344,144,101,58, + 109,105,110,63,0,1,-2147483645,11,10,11334,11359,144,101,58,122,101,114,111,63,0, + 2049,2533,10,11348,11372,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11362,11386,144, + 101,58,105,110,102,63,0,1,2147483646,11,10,11376,11401,144,101,58,45,105,110,102, + 63,0,1,-2147483646,11,10,11390,11415,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645, + 2049,2863,10,11405,11430,144,102,58,69,49,0,1793,11432,2049,3636,49,46,101,53,0, + 1,11434,2049,10115,10,11422,11456,144,102,58,45,115,104,105,102,116,0,2049,11430,2049, + 10194,10,11444,11473,144,102,58,43,115,104,105,102,116,0,2049,11430,2049,10206,10,11461, + 11495,144,102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10342,2049,11205, + 2049,10738,2049,10255,2049,10096,2049,10194,10,11478,11521,144,102,58,43,101,110,99,111,100, + 101,0,2049,11495,2049,11456,10,11508,11539,144,102,58,45,101,110,99,111,100,101,0, + 2049,10342,2049,11205,2049,11473,2049,10342,2049,10194,2049,10096,2049,10194,10,11526,11573,144,102,58, + 115,105,103,110,101,100,45,115,113,117,97,114,101,0,2049,10342,2049,11205,2049,10342, + 2049,10194,2049,10096,2049,10194,10,11554,11596,144,102,58,116,111,45,101,0,2049,10342,2049, + 10932,1793,11607,2049,10357,1,-2147483647,10,1,11602,2049,2659,2049,10342,2049,10947,1793,11622,2049,10357, + 1,2147483646,10,1,11617,2049,2659,2049,10342,2049,10963,1793,11637,2049,10357,1,-2147483646,10,1,11632, + 2049,2659,2049,11521,2049,10979,2049,10135,2049,11415,1,-2147483645,1793,11656,2049,10357,10,1,11653,2049, + 2379,1,2147483645,1793,11667,2049,10357,10,1,11664,2049,2379,10,11586,11682,144,101,58,116,111, + 45,102,0,1,-2147483647,1793,11689,2049,10841,10,1,11686,2049,2379,1,2147483646,1793,11700,2049,10869, + 10,1,11697,2049,2379,1,-2147483646,1793,11711,2049,10900,10,1,11708,2049,2379,2049,10096,2049,11539, + 10,11672,11731,144,102,58,115,116,111,114,101,0,1793,11736,2049,11596,10,1,11733,2049, + 2106,16,10,11720,11753,144,102,58,102,101,116,99,104,0,15,2049,11682,10,11742,11773, + 144,102,58,100,117,109,112,45,115,116,97,99,107,0,2049,10328,2,1,10504,2049, + 2281,1793,11791,2049,10518,2049,10342,2049,10780,2049,9076,10,1,11782,2049,2281,10,11757,11813,144, + 102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,10535,2,1,10518,2049, + 2281,1793,11831,2049,10342,2049,10780,2049,9076,2049,10504,10,1,11822,2049,2281,10,11796,11845,144, + 101,58,112,117,116,0,1,2147483645,1793,11862,2049,3636,101,58,77,65,88,0,1,11851, + 2049,9102,10,1,11849,2049,2379,1,-2147483645,1793,11883,2049,3636,101,58,77,73,78,0,1, + 11872,2049,9102,10,1,11870,2049,2379,1,0,1793,11902,2049,3636,101,58,48,0,1,11893, + 2049,9102,10,1,11891,2049,2379,1,-2147483647,1793,11923,2049,3636,101,58,78,65,78,0,1, + 11912,2049,9102,10,1,11910,2049,2379,1,2147483646,1793,11944,2049,3636,101,58,73,78,70,0, + 1,11933,2049,9102,10,1,11931,2049,2379,1,-2147483646,1793,11966,2049,3636,101,58,45,73,78, + 70,0,1,11954,2049,9102,10,1,11952,2049,2379,2049,11682,2049,10780,10,11836,11983,131,85, + 110,105,120,0,0,11975,11996,144,105,100,101,110,116,105,102,121,0,3841,11983,2049, + 2533,1793,12063,1,8,2049,9006,2,2049,2568,1793,12051,3,2049,3636,73,79,32,68,69, + 86,73,67,69,32,84,89,80,69,32,48,48,48,56,32,78,79,84,32,70, + 79,85,78,68,0,1,12014,2049,9102,2049,9065,10,1,12011,1793,12058,4097,11983,10,1, + 12055,2049,64,10,1,12002,9,10,11836,12086,144,105,111,58,117,110,105,120,45,115, + 121,115,99,97,108,108,0,2049,11996,3841,11983,2049,8989,10,12067,12108,144,117,110,105, + 120,58,115,121,115,116,101,109,0,1,0,2049,12086,10,12093,12126,144,117,110,105, + 120,58,102,111,114,107,0,1,1,2049,12086,10,12113,12145,144,117,110,105,120,58, + 101,120,101,99,48,0,1,2,2049,12086,10,12131,12164,144,117,110,105,120,58,101, + 120,101,99,49,0,1,3,2049,12086,10,12150,12183,144,117,110,105,120,58,101,120, + 101,99,50,0,1,4,2049,12086,10,12169,12202,144,117,110,105,120,58,101,120,101, + 99,51,0,1,5,2049,12086,10,12188,12220,144,117,110,105,120,58,101,120,105,116, + 0,1,6,2049,12086,10,12207,12240,144,117,110,105,120,58,103,101,116,112,105,100, + 0,1,7,2049,12086,10,12225,12258,144,117,110,105,120,58,119,97,105,116,0,1, + 8,2049,12086,10,12245,12276,144,117,110,105,120,58,107,105,108,108,0,1,9,2049, + 12086,10,12263,12295,144,117,110,105,120,58,112,111,112,101,110,0,1,10,2049,12086, + 10,12281,12315,144,117,110,105,120,58,112,99,108,111,115,101,0,1,11,2049,12086, + 10,12300,12334,144,117,110,105,120,58,99,104,100,105,114,0,1,13,2049,12086,10, + 12320,12354,144,117,110,105,120,58,103,101,116,101,110,118,0,1,14,2049,12086,10, + 12339,12374,144,117,110,105,120,58,112,117,116,101,110,118,0,1,15,2049,12086,10, + 12359,12393,144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049,12086,10,12379, + 12414,144,117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3636,112,119,100, + 0,1,12416,1,0,2049,12295,2,2049,9757,2049,5867,4,2049,12315,2049,3636,47,0,1, + 12436,2049,3842,10,12398,12470,144,117,110,105,120,58,99,111,117,110,116,45,102,105, + 108,101,115,45,105,110,45,99,119,100,0,2049,3636,108,115,32,45,49,32,124, + 32,119,99,32,45,108,0,1,12472,1,0,2049,12295,2,2049,9757,2049,5867,2049,218, + 4,2049,12315,10,12443,12525,144,117,110,105,120,58,102,111,114,45,101,97,99,104, + 45,102,105,108,101,0,2049,3636,108,115,32,45,49,32,45,112,0,1,12527,1, + 0,2049,12295,2049,12470,1793,12560,1793,12555,2049,9757,2049,3591,67502597,8,10,1,12548,2049,2116, + 10,1,12546,2049,2281,2049,12315,3,10,12503,12577,144,115,116,97,114,116,0,4,2049, + 3418,1,0,2049,12295,10,12568,12593,144,114,101,97,100,0,2,2049,9395,2,2049,3326, + 2049,2533,10,12585,12612,144,102,105,110,105,115,104,0,2049,12315,2049,3398,10,12503,12636, + 144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,101,0,1793,12652,2049, + 12577,1793,12645,2049,12593,10,1,12642,2049,2256,2049,12612,10,1,12638,2049,3442,10,12617,12663, + 131,105,111,0,0,12657,12676,144,105,100,101,110,116,105,102,121,0,3841,12663,2049, + 2533,1793,12743,1,10,2049,9006,2,2049,2568,1793,12731,3,2049,3636,73,79,32,68,69, + 86,73,67,69,32,84,89,80,69,32,48,48,49,48,32,78,79,84,32,70, + 79,85,78,68,0,1,12694,2049,9102,2049,9065,10,1,12691,1793,12738,4097,12663,10,1, + 12735,2049,64,10,1,12682,9,10,12617,12767,144,105,111,58,114,110,103,45,111,112, + 101,114,97,116,105,111,110,0,2049,12676,3841,12663,2049,8989,10,12747,12786,144,110,58, + 114,97,110,100,111,109,0,2049,12767,10,12774,12800,131,83,111,99,107,101,116,115, + 0,0,12789,12813,144,105,100,101,110,116,105,102,121,0,3841,12800,2049,2533,1793,12880, + 1,7,2049,9006,2,2049,2568,1793,12868,3,2049,3636,73,79,32,68,69,86,73,67, + 69,32,84,89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,85,78, + 68,0,1,12831,2049,9102,2049,9065,10,1,12828,1793,12875,4097,12800,10,1,12872,2049,64, + 10,1,12819,9,10,12774,12907,144,105,111,58,115,111,99,107,101,116,45,111,112, + 101,114,97,116,105,111,110,0,2049,12813,3841,12800,2049,8989,10,12884,12938,144,115,111, + 99,107,101,116,58,103,101,116,104,111,115,116,98,121,110,97,109,101,0,1, + 0,2049,12907,10,12914,12960,144,115,111,99,107,101,116,58,99,114,101,97,116,101, + 0,1,1,2049,12907,10,12943,12980,144,115,111,99,107,101,116,58,98,105,110,100, + 0,1,2,2049,12907,10,12965,13002,144,115,111,99,107,101,116,58,108,105,115,116, + 101,110,0,1,3,2049,12907,10,12985,13024,144,115,111,99,107,101,116,58,97,99, + 99,101,112,116,0,1,4,2049,12907,10,13007,13047,144,115,111,99,107,101,116,58, + 99,111,110,110,101,99,116,0,1,5,2049,12907,10,13029,13067,144,115,111,99,107, + 101,116,58,115,101,110,100,0,1,6,2049,12907,10,13052,13087,144,115,111,99,107, + 101,116,58,114,101,99,118,0,1,8,2049,12907,10,13072,13108,144,115,111,99,107, + 101,116,58,99,108,111,115,101,0,1,10,2049,12907,10,13092,13133,144,115,111,99, + 107,101,116,58,99,111,110,102,105,103,117,114,101,0,1,11,2049,12907,10,13113, + 1024,131,84,73,66,0,13138,13159,144,105,109,97,103,101,58,115,97,118,101,0, + 1,1000,2049,9006,2049,8989,10,13145,13178,131,75,101,121,98,111,97,114,100,0,0, + 13166,13191,144,105,100,101,110,116,105,102,121,0,3841,13178,2049,2533,1793,13258,1,1, + 2049,9006,2,2049,2568,1793,13246,3,2049,3636,73,79,32,68,69,86,73,67,69,32, + 84,89,80,69,32,48,48,48,49,32,78,79,84,32,70,79,85,78,68,0, + 1,13209,2049,9102,2049,9065,10,1,13206,1793,13253,4097,13178,10,1,13250,2049,64,10,1, + 13197,9,10,13145,13271,144,99,58,103,101,116,0,2049,13191,3841,13178,2049,8989,10,13262, + 13288,144,103,97,116,104,101,114,0,2,1793,13295,1,8,11,10,1,13291,1793,13303, + 1,127,11,10,1,13299,2049,2128,22,1,11,1,3326,2049,64,10,13278,13324,144,99, + 121,99,108,101,0,2049,13271,2049,2096,4,8,2049,2465,25,3,2049,13288,1,13324,7, + 10,13262,13355,144,112,97,114,115,101,45,117,110,116,105,108,0,1793,13367,2049,3617, + 2049,3418,2049,13324,771,2049,3292,10,1,13357,2049,3442,10,13340,13381,144,115,58,103,101, + 116,0,1793,13403,1793,13389,1,10,11,10,1,13385,1793,13397,1,13,11,10,1,13393, + 2049,2128,22,10,1,13383,2049,13355,10,13372,13422,144,115,58,103,101,116,45,119,111, + 114,100,0,1,5469,2049,13355,10,13408,13440,131,83,99,114,105,112,116,105,110,103, + 0,7,13427,13453,144,105,100,101,110,116,105,102,121,0,3841,13440,2049,2533,1793,13520, + 1,9,2049,9006,2,2049,2568,1793,13508,3,2049,3636,73,79,32,68,69,86,73,67, + 69,32,84,89,80,69,32,48,48,48,57,32,78,79,84,32,70,79,85,78, + 68,0,1,13471,2049,9102,2049,9065,10,1,13468,1793,13515,4097,13440,10,1,13512,2049,64, + 10,1,13459,9,10,13408,13536,144,115,121,115,58,97,114,103,99,0,2049,13453,1, + 0,3841,13440,2049,8989,10,13524,13557,144,115,121,115,58,97,114,103,118,0,2049,3617, + 4,2049,13453,1,1,3841,13440,2049,8989,10,13545,13580,144,105,110,99,108,117,100,101, + 0,2049,13453,1,2,3841,13440,2049,8989,10,13569,13601,144,115,121,115,58,110,97,109, + 101,0,2049,3617,2049,13453,1,3,3841,13440,2049,8989,10,13589,13621,144,99,108,101,97, + 114,0,1,27,2049,9052,2049,3636,91,50,74,0,1,13627,2049,9102,1,27,2049,9052, + 2049,3636,91,48,59,48,72,0,1,13641,2049,9102,10,13612,13662,131,78,111,69,99, + 104,111,0,0,13652,13670,144,98,121,101,0,1,0,2049,12220,10,13663,13686,144,118, + 101,114,115,105,111,110,0,3841,4,1,100,20,10,13675,13701,144,100,111,110,101, + 63,0,1793,13707,1,13,11,10,1,13703,1793,13715,1,10,11,10,1,13711,1793,13723, + 1,32,11,10,1,13719,2049,2165,22,22,10,13692,13740,144,118,97,108,105,100,63, + 0,2,2049,79,2049,2615,10,13730,13759,144,99,104,101,99,107,45,101,111,102,0, + 2,1793,13766,1,-1,11,10,1,13762,1793,13774,1,4,11,10,1,13770,2049,2128,22, + 1,13670,9,10,13746,13789,144,98,115,0,2049,3350,2049,3350,771,10,13783,13807,144,99, + 104,101,99,107,45,98,115,0,2,1793,13814,1,8,11,10,1,13810,1793,13822,1, + 127,11,10,1,13818,2049,2128,22,1,13789,9,10,13795,13840,144,99,104,101,99,107, + 0,2049,13759,2049,13807,10,13831,13858,144,99,104,97,114,97,99,116,101,114,0,2049, + 13271,2,2049,3326,10,13845,13874,144,98,117,102,102,101,114,0,1793,13884,1,1024,2049, + 3418,8,2049,3292,10,1,13876,2049,3442,10,13864,13903,144,114,101,97,100,45,116,111, + 107,101,110,0,1793,13919,1793,13914,2049,13858,2049,13840,2049,13701,10,1,13907,2049,2256,10, + 1,13905,2049,13874,2049,3714,10,13889,13935,144,105,110,112,117,116,0,2049,13903,2049,13740, + 10,13926,13951,144,112,114,111,99,101,115,115,0,1,365,1,11,2049,64,10,13663, + 13968,144,98,97,110,110,101,114,0,2049,13686,2049,3636,82,69,84,82,79,32,49, + 50,32,40,37,110,46,37,110,41,92,110,0,1,13972,2049,7089,2049,9102,2049,1543, + 2049,1877,18,2049,1877,2049,1543,2049,3636,37,110,32,77,97,120,44,32,37,110,32, + 85,115,101,100,44,32,37,110,32,70,114,101,101,92,110,0,1,14008,2049,7089, + 2049,9102,10,13958,14052,144,108,105,115,116,101,110,0,3841,13662,1793,14059,2049,13968,10, + 1,14056,2049,70,2049,13935,2049,13951,1,14063,7,10,14042,14080,131,67,108,111,99,107, + 0,0,14071,14093,144,105,100,101,110,116,105,102,121,0,3841,14080,2049,2533,1793,14160, + 1,5,2049,9006,2,2049,2568,1793,14148,3,2049,3636,73,79,32,68,69,86,73,67, + 69,32,84,89,80,69,32,48,48,48,53,32,78,79,84,32,70,79,85,78, + 68,0,1,14111,2049,9102,2049,9065,10,1,14108,1793,14155,4097,14080,10,1,14152,2049,64, + 10,1,14099,9,10,14042,14186,144,105,111,58,99,108,111,99,107,45,111,112,101, + 114,97,116,105,111,110,0,2049,14093,3841,14080,2049,8989,10,14164,14212,144,99,108,111, + 99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14186,10,14193,14230, + 144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14186,10,14217,14250,144,99, + 108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14186,10,14235,14269,144,99, + 108,111,99,107,58,121,101,97,114,0,1,3,2049,14186,10,14255,14288,144,99,108, + 111,99,107,58,104,111,117,114,0,1,4,2049,14186,10,14274,14309,144,99,108,111, + 99,107,58,109,105,110,117,116,101,0,1,5,2049,14186,10,14293,14330,144,99,108, + 111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14186,10,14314,14352,144,99, + 108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14186,10,14335,14376, + 144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049, + 14186,10,14357,14399,144,99,108,111,99,107,58,117,116,99,58,121,101,97,114,0, + 1,9,2049,14186,10,14381,14422,144,99,108,111,99,107,58,117,116,99,58,104,111, + 117,114,0,1,10,2049,14186,10,14404,14447,144,99,108,111,99,107,58,117,116,99, + 58,109,105,110,117,116,101,0,1,11,2049,14186,10,14427,14472,144,99,108,111,99, + 107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14186,10,14452,14488, + 144,100,58,119,111,114,100,115,0,1793,14497,2049,162,2049,9102,2049,9076,10,1,14490, + 2049,7318,10,14477,14518,144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049, + 1877,2049,4525,1793,14549,2049,162,2,2049,1877,2049,4210,1793,14538,2049,9102,2049,9076,10,1, + 14533,1793,14544,3,10,1,14542,2049,64,10,1,14524,2049,7318,10,14502,14573,144,100,105, + 115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1877,2049,4475,1793, + 14585,2049,9102,2049,9076,10,1,14580,1793,14591,3,10,1,14589,2049,64,10,14502,14622,144, + 100,58,119,111,114,100,115,45,98,101,103,105,110,110,105,110,103,45,119,105, + 116,104,0,2049,1877,2049,4525,1793,14633,2049,162,2049,14573,10,1,14628,2049,7318,10,14596, + 14648,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,14638,14674, + 144,105,110,118,97,108,105,100,45,110,97,109,101,63,0,2,1,32,2049,3986, + 10,14657,14691,144,114,101,119,114,105,116,101,0,1793,14705,1,32,1793,14700,1,95, + 10,1,14697,2049,2379,10,1,14693,2049,4346,10,14680,14719,144,101,110,116,114,121,0, + 2049,1877,1,21,2049,2106,4097,2,10,1793,14747,1793,14742,2049,14648,2049,14674,1,14691,9, + 2049,119,10,1,14732,2049,14719,10,1,14730,0 };