From c35d34869a96662cf77fd3ab16b9cb1ee381452f Mon Sep 17 00:00:00 2001 From: crc Date: Wed, 12 Feb 2020 14:50:31 +0000 Subject: [PATCH] retro.forth: reduce size of `s:evaluate` FossilOrigin-Name: 82c73ae0bf4e982815ed7f952b03a60b9127f41c28f6c6b65e8a8f293232a2e0 --- image/retro.forth | 12 +- ngaImage | Bin 37736 -> 37676 bytes vm/nga-c/retro-image.c | 1221 ++++++++++++++++++++-------------------- 3 files changed, 612 insertions(+), 621 deletions(-) diff --git a/image/retro.forth b/image/retro.forth index 6900163..16a88dd 100644 --- a/image/retro.forth +++ b/image/retro.forth @@ -508,7 +508,7 @@ Some numeric comparisons. :n:positive? (n-f) #-1 gt? ; :n:strictly-positive? (n-f) #0 gt? ; :n:even? (n-f) #2 /mod drop n:zero? ; -:n:odd? (n-f) even? not ; +:n:odd? (n-f) n:even? not ; ~~~ The basic Rx kernel doesn't provide two useful forms which I'll @@ -1627,14 +1627,6 @@ remaining string. [ ASCII:SPACE eq? ] s:filter s:length ; ~~~ -The `next-token` word splits the remainimg string on SPACE and -returns both parts. - -~~~ - :next-token (s-ss) - ASCII:SPACE s:split ; -~~~ - And then the `process-tokens` uses `next-token` and `interpret` to go through the string, processing each token in turn. Using the standard `interpret` word allows for proper handling of the @@ -1643,7 +1635,7 @@ directly. ~~~ :process-tokens (sn-) - [ next-token swap + [ (get_next_token ASCII:SPACE s:split ) swap [ dup s:length n:-zero? &interpret &drop choose ] dip n:inc ] times interpret ; diff --git a/ngaImage b/ngaImage index 185ee71e540826bebedb65a0b3a5ceeffadba253..65f74b156c85407f10696118fb8f211a88192e77 100644 GIT binary patch delta 11091 zcmbtadw5jknV%ClF@sFV5GKPUnM}eEhA@Ol7($34CfN`p&5ej$0)!A)L@p5#5CTHL zfZ!z(cvlx)sf|{=REm_xB8ybJ-7<;92RHC^X;t@GKs?gjI?w67q_DVuH)qDZcZy-gCPoyav$vg=erS^JL zMv;#G{d#oAA^%mL4Of`w!3_{&bcJbL>2Ua^dUV8n1UgK|@*Vdn4|&Fm2F2B28l=t`>02_5kPs zctu=0l;#Q0m*j&nQ8z2 zvk7uICuro#sT{8vf}u(-=0x0I1`z<8juR?|cA6CA27OiF*u+9;b>dp+Zj#lx6}j44 zf>N|~F08j2^WpgmrE%`@QssvIIQmax3JY%Ym^Wb04@DT8wo^>OKPGcBt374&oUzl;e!#(T0cPMOLbm; zk`)9gCqP5X^`PtMJWQU?8(C+WRV7@6Z7_2#9#s|h9BUws?zC+p26}B{0kkcGevjmh zFEsB3w_jF|FEf7#?uZ;6ANB8{7c%V!<*B1feFpM7;>wShuYfx(rTNj!cluzN?Fe+Z zT&+wez+aFD@~6{h^{@E4NbN-mJ#1mH$-bL#OS$P0-+VMD#3KJt3S)w6?HM{P2v`+ba#oiSp`%urWz4Oi0NnW?hJM7=yGL zSxxw`wz05Hm+XRwzmX_tCMxs=9FV&DS<+Gvj;(@aO}xB4V3@pBFvLGyISf(`B`V}n z$al#%1tC8zG0-w;Ehvj*Ypo)r^eV5p35ds};i_osJ2tG2IG+;*p1#~Phin+?dShWi zy3}WYVf-l=R!iacs`A6SS+-c!KsG}8#W;Q;?!v^Zk5u3wZ!4?Et@0Hn)W1yQzV6 z88mf}ytzDCrc6vVilupCz!?RUy%{6-O$^kJq=Z1cWORZNHXXaEH=T7^K~94m0ebP2 z;qK_CZm{u?uM<~Mp>MH@Gyzs0hVJiNX(~#rpRKHnOA8SQVXfda*z7qdvrbN$)vtog z3za&qioUtC-sN(yQmtY$y8%hEm3k?g8I9k}XGC5E( zqjkTEW6cDJEN)rEv1$X7AIesQ9`RdsX}?>U!%F9LW~w z69DxjY0L&_qjZ)|{r{DRNZcyAP0Y}@+|GYo?h=Q+-rWjpFPC$EntBAcuf>zp!FG^T z6{6?;jEYkNJ#~vAzapppDU$a)WwBNPP2nl2uf+G2EeCq)K&;5IQd*XhcU)OhQHOP9 z!ps9t=X_1s^+ER>kGH!0v5V~fP-PRNs_ds3Op z1CE*k&>50j9_`gsL$h2~lrQki0LPB-dL*_1^4;=D`E1XmK9=>6JEi`bsPVM4UlZ`` zRd%idJ^vN*5jl2E)T2*keF_|a8=UN#Hu*+3Ot}W#a$DS8>yW~b21<8bP%gnQACk+mjjSGM zmO)Clq?y%2japez9X01dXY_biCzwki#aPm%>I7r0xN4%tRw=ECn!8{zVF}7ZH3Q9u zA;ns_w`vlwT&I9LEbiKf@tTz4@2_M1BIX{T4ol~CwXQ~WfIkUMmwaQ>ya>%lz$D7D zsp%PqA#u&RNU@dq$i!O;*X=jZeJ%T@7WYQ`3>ueQoLbSV`8zb}QhhzQ=Z5Q}zF~Nn zw+kaanO~?8`qbO`G{F?@l`{^Z0U;XZyQ+2wbTJK%_AE#lRR|_Qlg5ALS8Bh zrnd#Vor885^7_3YPxWV~(E zd(9k34S;)PQhiRQUi}1OfDI{Z33#qt735p3;Fp}K(p4YlwAzE!X_fAJuX8=|khY02 z%j;?DkVIYplhS@>+c-GKX z{fzyA%D{(D=6y@aTo%UV9NwS~w*OSNFY&CXZCy&oT@IIC{i{lEe>_)-#jPm4no$C zvP2cj(K&_LtD$9vX_y5mZ|>GB6uReDHb1U!&T_V7HUyo1rHz%k25)PXk~kad7LV&t z`^BLk`Yj~}wPj;4hy8|q18l5{di^e>XKjBcDph&(qe2ek4zEMbHcT_uf!{5qbAwqA z6NPB$80-f5hm>cfTAQ7a_e=ZSa31`v`kqr>yA@LJ3wj@fPIv9c;9rw-b3=pIU>#7f zm4n&e^QyPhfl2#Skk>$2!keIffVpv)+|!ug;p+llHaK5CG?C7b1C3tuB!Esi-Zv(z&b*j=2be!5ACr!<=J_G%rQ!`9#7!IcQ^X-jgIMkuvf~(c@eW1 z9NxT}LW3*8VM#4}75GI%WmNHad8jGQ&37SWw@kBOx>cTS3QX3|2|CGiSh%oTK=u3f zVt6s}BItDMH-gvAV4}^!4f6xI>1~+r_1&s;`bkkoctrNi4|uFE5NwYH z+kt-hVE6oBjCmMrwKx}s%rdT8ES`tH~chJ@&O@IpY`@_;Qt?mL+3_Sb$DmqHH{Ah@DQ^ z7T2lbpY=Izuo7H`GZVQ1)Ilm$kS+#+GyB7t>V9wyn3#I{BmsXT2H#@qF!W~ubgQLv zaU_FQmLsI_v}8n|04VkCa$#{|_I6s4hgKMS>)Ap*6!vH9R>@uB^|UCik}EQY*S z8kXey_*EKf-;9A9wq@N7>mk{-q(%jA<~A%7Ju zNXBPwMzf#F6_VZT_17x|y80c&_0rVrZM{JuIGw&RnrK5@p1aJmiWn^WO69|Yp|8(P zeSC71&nD#q(e5+C3cTL#WSdAK^gA&+s1T$_A1%>wiNPUC9_5x4%RH+V;=BM*mS40jI`hCm8tyo*-4zCbhzCQuqONk0^&L5 z=CCnc_TB7_%>bY%Rnq1p%SSh_HKP!lq-jOCeic2DvY8Z-ia>eA>1&F*8)-us%t*?! zO?UMMW#jiLdOhl)+azaJ1dUzdyd}kH-47XCvTyPFwtkNX%X?HBZV9I~DXYGBZi38Q zyFm}8%1w7B$@8}iF^--z> znCw?_Y-Qr)FZy_MsuyfJ%AZ2EF9>DKw0Ei>K=z7%RRw-VTevD@rdlLs;nP1*+OOnr5rJDH=XNh}tqp?UtyXE5Q zV5$C6g0*e#gIxysK8!Zl?6(-|e~iJ++9W5IC(6yYrZy4DUc5w#)wX0zP2X;wr(Vg{ zWe)5i>Tt9Z%P#0ma8O}&)vWHPa_&~I=Lu!e=jr{ByTrF9Y@CwvHGvG)rK7ytC(3_7 z{tUhG%0p|0CS9Txb+VEAAqtJGS(EgwAfKxsI^pjjCy24O%;`_-nNXKhuk~hePwK=& zl!ZQ=a_+kSj2H+I=jNxT_^6bGibJ2Gxfqd3|$Z z@LHMH5-_iVcB!t67;M531iy+fSqA~8Qq zllY7znX+!UZzq(T*+J|?QtR~v3%XC**Lhv`+3b}A>%RL0*#`eNWbyil3|T+a__buO z5BlC#G3l-EhDKm*x2SkngMS!JLFHL0q>*%>DuVU?Qcr<;N$0WASd#Q2{~-MR$l%{C0|SV}5cfG^}60xV*t`pzC`Aa=9(3 z{sCoP1uv?9qU17C1X>5G@A{*_GdT5+DjXZ%J2_=<1ASfI*f{k&$uFqn@Af3`QbBa` z-z#|@=|4#RTZQ|+FdI}WYOL6a$u9!Wk*M(Zj0BGrhIf(7v#xe zY!3GRE?5f9Ov&9Gc25R}on);P+@RY7_&b=UraNMYHqCEOb`YQ>D$V`lsSl0N;;!Gp8lW4@&W?TLMLpV;Y; zXG_7>ig;b`5@`DMlk-JM&V>rRK=y4-i7B~K(zYb$wL{4xiF0cM-?sw>aD(47AhOrnYdCrEzoT>q z6{Tmte#RhTS@I{KSBkMc&O7@#Cid zyE}*HZKpp9L2V8kx4ngJp&o_3f;N)YD%&m4cgohgD*Q)no<#fs?-SNGLz90l-FM{| zJf&h-8vqD>c`)Cj%4Ypa2wO9hYzpiDmDJsxKW&*p=r18C#{j`xoC9emD7{_*{RpEC zd=O-&uzIC#qJ+Y}T zg7fELtC3YeHnL7+to#R6ah@?4+!NY&7W_8Knf9sioT*;LdxP@Rpm!qjBtc8RHc)*H zX&L68nE(ps29YwBjV=n&>cGn z?QyBz5z3&J)pEAvS(`?^4AdF9Z%0||ufcs0l+!!LnrFerh^Hgpo0z@G3EGAo~m|C9lkceoSrY3fm zYoEDAYv-`oqCP9XvcuMXrMq_8^|xBt=5Dqf*3Ihc;OAb~%k!`k`P=W0Z+^dr=f1D| zx)0Ccectz-;nDk}KE6N7ZuGX<&g1jiK%4DYhkatEqb=5E`6P0v zlg;VSmPlu2nK>WQO=1l8r!_&^ina?LK{S5)Mfb8IYyy6}ga`Z0?U3%4IfH}Q4?r@b zVxpbkL9`iY`yd#7Y_`*AaJBGVzz)cv!9`{}q~D5>6*3P(dIyqQYO<1yze;0PF#Q-X z452#~b%g1T^E&jen*GAHC<4bh2R+)l_xBt4jA{sz*YWKu9_z6t4L*%Hj^j`%*1@8wXi)Mv(Z z)$ZaLFrE=;dOS8s%XOQdftw`7xgo;qZ+{OF#qB#(lq;aRFEyxJCijquf9nIQK_#ptn&6k6gymJu#h&mCy!iip>Lo zgC*fMAd#E3Rdx<_y0$SSrlbT6re6mANjWey!~O`QgJ>Ioj+LVc&f7xKF;4+_BTg1I z43m;jw1aj%Ykspvgm-frl5m+H*)^ZPq z!2S*8@iqEn%VVDMp!G4bFj9JPz>yyDcAIUO=`H3zo2C@zVO6wKqS4vxcrNgqQI=E;X8S5 z9$aQS01Q{URmJZhe<5uJ8MPJ@R%?zCU3)T{-kRqb4W9h4UUKwUzJsg}EmmR|&+t$l zHyv{x2f~d`Ih(VtF!o=lD81rswhU<+o)t^BWs#2IZZjG92su1F%eYLw9qvslhED4N zH1?IqVInpw$%U;>@(Y8$da{6wQ0y}}J9Vv7rKK>-tbk>?bQBi&>J-s_Vl0Cwk!c2Pn9F5-LYr*?fyv$nAUuxEQ24Sra1K~x;`gGLU92Kx?;^1`3&Z2&a zY5=;l{c>`Iv*9J>j&-m?M5_s50h;+7I1I1PEy^FNsbxydyHD{}s%hQ@{e78K6pFP9 zLm}Uw5ci}nfa{X25)qHfr{kPfakyC{mr~pRtn55%iMMjXc!{Mqr#ey`8KJ26{5=2+&<4b%e0>QupgP=rsxQ za5zUw)<(x#WrIIgYKz^jnK1IEk2&iOFio0@y~PuIgr&~XI5ZZ#1Uj!eVq6mac)$`D z$~(pW%ynSs^OX-WdXm-v*H_79kavr3RCRL=B>Ix6tGNl-eP}#oC!#Guy9!NzehFK< zveyA@KqE(g?uV^Y*=qpOezi8D-w)ffUG{Od@(9CI01qk0aS`})z+O{$82GXX+l#>8 zmAuhK=}c)IPV6x~)nM_k(U;0^fqyDHM`w-T;K*bVWKh14H>2>#;1r$&$4rzQZ-0p^ z>32;}dc6vB2(QiIOsEsC-&7u$ha&fY!J`%i#3@-6|4veyCevx>QTo1!}))@=)k(Rm`W1i+Jy< z-cV|&4vCVS}WwGXd}?BL2IXRO%Le4Xu80Fri**@;%(GSJeOcM{nfes;Pvy?iKywtfGFR(DDZT@X z2M){@ho`!Z_|^ZB@$()T{|w!UT&;+uM~YsG#`wxTz^yAv)uD5^RBhJji5X3Y&U!ej z`lcLt`ue49jMEq@on!p2ArZce*Bkm}a(YauomCJiKtD+e$A-F*N+1hm)!3_ClOSg?Y^I*oQ0Vq~E4 z!#UP_f@{Y3AA$3wyiyr3KZj(KmYRShj*m0`M||UhhACC}>yRe=^+`MaX37ct%@=!B z&RK*!HrM)U-G|I`Uka+_vy`*JAKt@i8GdDnswzTUf#2Ky9 zG$CZ{m5vD^^I=$eOWOE=#8t0|clhj(piv6nIkK8ey)6T%oeYC`5 zAVW!QoH0hKYJ*0tG}VTTdg-VQne$;!mXoaRiazEFXg<{Hm*H1nOwdv+Z6358(EOIR z8`>UdPfNo@r#yGXNPE3Hupa<=M9hiR-N=6d`4GHN+S8D@Mn~9Vr`DkH7Q%IU2iVur zIdOEi-zPvW5~HrH8#xCg1&CAT)g@zJY^)1;Qt_gypOkj1{o5B`xC$$Q zFk_19^*0@?W*jka@WwgG?W$Ic5>;0o^hQ}Ysnqj6_D|1DQ(;{vX_K9Dd{VB<8XvOg z=-0uz3)WJX9S28u z`YFr0Zc3`F=UD#;>-U!RwJEu-a1Y;4pvOzwG_TZ5Pm+?UeT=82e5%*v0;OB{U0rw@ z#}fH!n~Isj6>hDf8|-3>{lV1Ke7+Xsz`_q_dNiyYjrB|neIRk@`e`-?_8IVY%lK)z z>3X-s(+kXW0$ z?@@Qlk?AQuXcpyjMIn`xZ_p=5`pkeC!Lns$mM0Cmezqp77&?#IMdDbQ zn~M=F1;DJ6AhYM~-+JT0>?J6h7iR@WJ593d18H7`@=mSajUvZiA&cvsjoP;l>Z5NX zy^uIt4I%PAe>H3@lKJ)9nw|~L4u@#%N0nJWVdOx+RX(eqVy=X=OUh>jGWU`Lekz*w z`w!(;sa9zR^me&pR#yJ4w4l1Dl-DlB)H{TcI)LdZychDz^3|*i$8yw#a;+T9{t@^(ccde8ptAKI)it!(J{%LolWoQeBcvXc{0j z4RMZgs7Ps5TmgBGENmF<;7c3|ve2nOm&w5fe}#Uy&`IiG;S8=vuXjTuyqI_nFuewA zAnRFVA-7``^Ky9ATMzs!fi89NGGJB8(1)Q$Mzds4mnoWl2G!B;Ns?z)r?^-$AKrA? zn?OJG#Oa?0qRgiuR*GXzh8f0TIQfaG)1c^CL8X_@OUw!R6$ z9FoZmF&RA%P`y;lM%=Pv4EkN@1b9EliMjslr~zOgLZ$N5W&bZD!b2aZXQ3xZ=DeWE z%7;k(yt&O*R7~&)#L&}lNKL~5ltF*J!mMH_bAeyV9=2*$hZ31v=N+YNyrGj@M;$yJ zx3`La%43^g1^Gc0ngF5>Qm%sho9pke13rjlrK^ z!x$)FCwp)$9r1>0B_a6`Mc`8`3C}=(R|>Dq z@@ZEtP2>{24#r=k<=PC-yUKSddS31HKLPn$IdpB2u}{uj>oq@vZWrHzfbp$_7r0H% zVY<{Ws4TzK+ZDGH2;;LX_J2{mUD+eg&rF5sY3K(%EN2#E)K<`f{8yqeO62K0R(bLC zBxeaZSeq%z2Q&B+pDX0#BDe2q#o)+#M!iz@E_C}AD+W)7o{R-@bfLR&tzv-i6UHjq zP_0#2MAe1BcSzczkcZ=7%{zdgWNVH$LcT{9F3Rvc2uVL7Mvi!&w4?gY2rK>hBw~#O z{o@>8@yihm-dI^nPv${zbd5T~ZeVXq{&hj$31zkRJG{ftb&fwu%XRL;PkJ!!iC~;k zww~kXx}KAx*9FrCBzI-E-m)+OE~Q&vyFyQtwCkPOZ!-=?)f-klOIk-!KN@*2X}I3m z|Gdhq@5E=I4^GA#=m6Q~x2M9#IyB*|?-PGPV2;d>97S^UdWp@0bR}A=99r&_b&LB= zTLO(c>st2U7NO@s%L7)=$~CkhuJyGedY&@ccD1tUZ-0qT0k&2?TO7a}o@0r((7Jy` z#Kz@m?ExKQ!v$in<~EtLB+JKonO%=+Ep&SBLf;|nOR|h-<=7Ixt22T}`-9M56Z_Jv zsE%a$r5|63FYRZ(0PvJFE*;%$;K`1K;H0#|TMr1Bh;JDN{aN(fsL0$s*fX@LQgrcO zL|~l2)6n7G?L(b0^hW#xbeGR28Oz2RL0P!WZw!*{_8RAOUH;YbUm|Ai#zy(^qYYZCG!!{y_L@|CJT#6d0X?pvHU45EtX01Ng{Xs}aXkmba$w^vkP%WL zho!0sFS8AOB(5pZJ{|}+756b-`J0@MaS{9i$g{vNv(Ntt@9GF%4dj*bN>fI1e^fzpNXWIU*G`VHWi{H4r+lC1R1cuTCp-{J@!IBBAyLFR~WH)E%ULFmX}~TF7+FN=G&0|CObD|rIDj&NRNdPen4Zy z1__T%wj=xz0Ni@fX)>z0f2=L7D{F%syUFYEPy^e#<%7(5qJEsS=SxsrJ$wH^s7zp8 z@z0F$%L_B2f2I@UbtTAFPF4c@<n-$OO4C;S!x^M=a_82&W6nZK56G=+QqsPJ$fW1c>)orrDDef5RGPN=^DP!ip@nRI zc-!mg&CSN7+3>88qucz=+Ed?F-$I@`Sa~^@qw#a0NC<94ss?wq;#XMg3-h@EJnFRH z4EQVx;Fo45s=Sb+Y}xKL8$sJH4{e_qpASi|(cXaU54eXTWI9j|_%`(Vs?j>kUH3@{ z6|i&QE73nH({A7 zWTX*|0*^5$vr^4^6Rfk+w!~wgs@p2lpMewuzFvo2 X(3xQodd7Ja{qN=UZGPi`#7f|wf?xmu diff --git a/vm/nga-c/retro-image.c b/vm/nga-c/retro-image.c index 129dc03..e413876 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 = 15010; -CELL ngaImage[] = { 1793,14312,14856,15009,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10, +CELL ngaImageCells = 14995; +CELL ngaImage[] = { 1793,14297,14841,14994,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,14312,14856,15009,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,14990,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13405,1025, + 1,659713,2,659713,3,1793,14975,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13390,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, @@ -135,622 +135,621 @@ CELL ngaImage[] = { 1793,14312,14856,15009,202004,0,10,1,10,2,10,3,10,4,10,5,10, 115,105,116,105,118,101,63,0,1,-1,14,10,2572,2615,144,110,58,115,116,114, 105,99,116,108,121,45,112,111,115,105,116,105,118,101,63,0,1,0,14,10, 2591,2630,144,110,58,101,118,101,110,63,0,1,2,20,3,2049,2533,10,2619,2647, - 144,110,58,111,100,100,63,0,2049,2465,10,2637,2657,144,105,102,59,0,67502597,1, - 72,2049,2106,25,6,771,10,2650,2674,144,45,105,102,59,0,67502597,1,70,2049,2106, - 2049,2465,25,6,771,10,2666,2692,150,114,111,116,0,67503109,10,2685,2699,150,47,0, - 197652,10,2694,2708,150,109,111,100,0,788,10,2701,2719,144,110,58,112,111,119,0, - 1,1,4,1793,2727,67502597,19,10,1,2724,2049,2281,772,10,2710,2745,144,110,58,110, - 101,103,97,116,101,0,1,-1,19,10,2733,2761,144,110,58,115,113,117,97,114, - 101,0,4866,10,2749,2773,144,110,58,115,113,114,116,0,1,1,1793,2791,2049,2096, - 197652,67502597,18,1,2,197652,25,17,1,2777,7,10,1,2777,8,772,10,2763,2805,144, - 110,58,109,105,110,0,2049,2096,13,1,11,1,2057,2049,64,10,2796,2824,144,110, - 58,109,97,120,0,2049,2096,14,1,11,1,2057,2049,64,10,2815,2843,144,110,58, - 97,98,115,0,2,2049,2568,1,2745,9,10,2834,2861,144,110,58,108,105,109,105, - 116,0,4,5,2049,2805,6,2049,2824,10,2850,2878,144,110,58,105,110,99,0,1, - 1,17,10,2869,2891,144,110,58,100,101,99,0,1,1,18,10,2882,2909,144,110, - 58,98,101,116,119,101,101,110,63,0,67503109,1793,2917,67503109,67503109,2049,2861,10,1,2912, - 2049,2116,11,10,2895,2935,144,118,58,105,110,99,45,98,121,0,1793,2939,4367,10, - 1,2937,2049,2116,16,10,2923,2957,144,118,58,100,101,99,45,98,121,0,1793,2961, - 1180687,10,1,2959,2049,2116,16,10,2945,2976,144,118,58,105,110,99,0,1,1,4, - 2049,2935,10,2967,2991,144,118,58,100,101,99,0,1,1,4,2049,2957,10,2982,3008, - 144,118,58,108,105,109,105,116,0,251790597,1542,2049,2861,4100,10,2997,3022,144,118,58, - 111,110,0,2049,2356,4100,10,3014,3035,144,118,58,111,102,102,0,2049,2368,4100,10, - 3026,3048,144,97,108,108,111,116,0,1,3,2049,2935,10,3039,3067,144,118,58,112, - 114,101,115,101,114,118,101,0,4,2,15,1793,3077,1,21,2049,2106,10,1,3072, - 2049,2106,4,16,10,3053,3096,144,118,58,117,112,100,97,116,101,0,4,1793,3103, - 15,4,8,10,1,3099,2049,2116,16,10,3084,3117,144,99,111,112,121,0,1793,3126, - 285278725,1,33951492,268767489,1,6,10,1,3119,2049,2281,3,3,10,3109,3146,144,83,99,111, - 112,101,76,105,115,116,0,14856,14856,10,3133,3155,144,123,123,0,2049,1570,2,1, - 3146,2049,59,16,10,3149,3180,144,45,45,45,114,101,118,101,97,108,45,45,45, - 0,2049,1570,1,3146,2049,2878,16,10,3164,3194,144,125,125,0,1,3146,2049,56,4, - 15,11,1793,3208,3841,3146,4097,2,10,1,3203,1793,3238,3841,3146,1793,3233,1,2,15, - 2,15,1,3146,2049,2878,15,12,25,3,1,3218,7,10,1,3216,8,16,10,1, - 3212,2049,64,10,3188,3252,131,83,116,97,114,116,0,0,10,3243,3261,131,69,110, - 100,0,0,10,3254,3276,144,116,101,114,109,105,110,97,116,101,0,1,0,3841, - 3261,16,10,3188,3298,144,98,117,102,102,101,114,58,115,116,97,114,116,0,3841, - 3252,10,3282,3315,144,98,117,102,102,101,114,58,101,110,100,0,3841,3261,10,3301, - 3332,144,98,117,102,102,101,114,58,97,100,100,0,3841,3261,16,1,3261,2049,2976, - 2049,3276,10,3318,3356,144,98,117,102,102,101,114,58,103,101,116,0,1,3261,2049, - 2991,3841,3261,15,2049,3276,10,3342,3382,144,98,117,102,102,101,114,58,101,109,112, - 116,121,0,3841,3252,4097,3261,2049,3276,10,3366,3404,144,98,117,102,102,101,114,58, - 115,105,122,101,0,3841,3261,3841,3252,18,10,3389,3424,144,98,117,102,102,101,114, - 58,115,101,116,0,4097,3252,2049,3382,10,3410,3448,144,98,117,102,102,101,114,58, - 112,114,101,115,101,114,118,101,0,3841,3252,3841,3261,1793,3461,1,21,2049,2106,4097, - 3252,10,1,3454,2049,2106,4097,3261,10,3429,3483,131,84,101,109,112,83,116,114,105, - 110,103,115,0,32,3468,3501,131,84,101,109,112,83,116,114,105,110,103,77,97, - 120,0,512,3484,3513,144,83,84,82,73,78,71,83,0,2049,1543,3841,3483,3841,3501, - 19,18,10,3502,3533,131,67,117,114,114,101,110,116,0,18,10,3522,3548,144,115, - 58,112,111,105,110,116,101,114,0,3841,3533,3841,3501,19,2049,3513,17,10,3535,3567, - 144,115,58,110,101,120,116,0,1,3533,2049,2976,3841,3533,3841,3483,11,1793,3583,1, - 0,4097,3533,10,1,3578,9,10,3502,3597,144,115,58,116,101,109,112,0,2,2049, - 79,2049,2878,2049,3548,4,2049,3117,2049,3548,2049,3567,10,3587,3623,144,115,58,101,109, - 112,116,121,0,2049,3548,2049,3567,1,0,67502597,16,10,3612,3642,144,115,58,115,107, - 105,112,0,6,1793,3650,68223234,1,786703,0,10,1,3645,2049,2233,2049,2891,5,10,3632, - 3668,144,115,58,107,101,101,112,0,2049,1818,1793,3677,1,3642,2049,1777,10,1,3672, - 9,2049,1877,1,119,2049,2106,2049,131,10,3658,3701,156,112,114,101,102,105,120,58, - 39,0,2049,1818,1,3668,1,3597,2049,64,10,3689,3720,144,115,58,99,104,111,112, - 0,2049,3597,2,2049,79,67502597,17,2049,2891,1,0,4,16,10,3710,3747,144,115,58, - 114,101,118,101,114,115,101,0,1793,3789,2,2049,3597,2049,3424,1,79,1793,3765,2, - 2049,79,17,2049,2891,10,1,3758,2049,2128,4,1793,3779,2,15,2049,3332,2049,2891,10, - 1,3772,2049,2281,3,2049,3298,2049,3597,10,1,3749,2049,3448,10,3734,3807,144,115,58, - 112,114,101,112,101,110,100,0,2049,3597,1793,3831,2,2049,79,17,1793,3823,2,2049, - 79,2049,2878,10,1,3817,2049,2106,4,2049,3117,10,1,3811,2049,2116,10,3794,3848,144, - 115,58,97,112,112,101,110,100,0,4,2049,3807,10,3836,3866,144,115,58,102,111, - 114,45,101,97,99,104,0,1793,3901,67502597,15,25,3,2049,2096,1793,3889,1793,3884,1, - 34,2049,2106,8,10,1,3878,2049,2106,10,1,3876,2049,2106,1,2878,2049,2106,1,3868, - 7,10,1,3868,8,771,10,3852,3920,144,115,58,105,110,100,101,120,45,111,102, - 0,4,1793,3943,2049,56,25,4,1793,3932,67502597,12,10,1,3929,2049,2106,4,25,3, - 1,3923,7,10,1,3923,2049,2116,1793,3954,18,2049,2891,772,10,1,3949,2049,2116,2049, - 79,67502597,11,1793,3968,3,1,-1,10,1,3964,9,10,3906,3992,144,115,58,99,111, - 110,116,97,105,110,115,45,99,104,97,114,63,0,2049,3920,1,-1,12,10,3972, - 4005,131,83,114,99,0,0,3998,4013,131,84,97,114,0,0,4006,4021,131,80,97, - 100,0,0,4014,4027,131,73,0,0,4022,4033,131,70,0,0,4028,4040,131,65,116, - 0,0,4034,4054,144,116,101,114,109,105,110,97,116,101,0,1,0,3841,4021,3841, - 4013,2049,79,17,16,10,4041,4076,144,101,120,116,114,97,99,116,0,3841,4005,3841, - 4027,17,3841,4021,3841,4013,2049,79,2049,3117,10,4065,4101,144,99,111,109,112,97,114, - 101,0,3841,4021,3841,4013,2049,93,3841,4033,22,4097,4033,3841,4033,1793,4121,3841,4027,4097, - 4040,10,1,4116,2049,70,10,4090,4134,144,110,101,120,116,0,1,4027,2049,2976,10, - 3972,4161,144,115,58,99,111,110,116,97,105,110,115,45,115,116,114,105,110,103, - 63,0,4097,4013,4097,4005,2049,3623,4097,4021,1,0,4097,4027,1,0,4097,4033,3841,4005, - 2049,79,1793,4192,2049,4076,2049,4054,2049,4101,2049,4134,10,1,4183,2049,2281,3841,4033,10, - 4139,4220,144,115,58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103, - 0,4097,4013,4097,4005,2049,3623,4097,4021,1,0,4097,4027,1,0,4097,4033,1,-1,4097, - 4040,3841,4005,2049,79,1793,4255,2049,4076,2049,4054,2049,4101,2049,4134,10,1,4246,2049,2281, - 3841,4033,1793,4266,3841,4040,10,1,4263,1793,4273,1,-1,10,1,4270,2049,64,10,4199, - 4290,144,115,58,102,105,108,116,101,114,0,1793,4318,2049,3623,2049,3424,4,1793,4310, - 2049,2096,4,8,1,3332,1,11,2049,64,10,1,4299,2049,3866,3,2049,3298,10,1, - 4292,2049,3448,10,4278,4332,144,115,58,109,97,112,0,1793,4354,2049,3623,2049,3424,4, - 1793,4346,67502597,8,2049,3332,10,1,4341,2049,3866,3,2049,3298,10,1,4334,2049,3448,10, - 4323,4371,144,115,58,115,117,98,115,116,114,0,1793,4377,17,2049,3623,10,1,4373, - 2049,2106,1793,4389,67502597,1,3117,2049,2106,10,1,4383,2049,2116,67502597,1793,4402,17,1,0, - 4,16,10,1,4396,2049,2106,10,4359,4418,144,115,58,114,105,103,104,116,0,67502597, - 2049,79,67502597,18,4,2049,4371,10,4407,4437,144,115,58,108,101,102,116,0,1,0, - 4,2049,4371,10,4427,4461,144,115,58,98,101,103,105,110,115,45,119,105,116,104, - 63,0,2,2049,79,1,13,2049,2106,2049,4437,2049,93,10,4443,4489,144,115,58,101, - 110,100,115,45,119,105,116,104,63,0,2,2049,79,1,13,2049,2106,2049,4418,2049, - 93,10,4473,4511,144,115,58,104,97,115,104,0,1,5381,4,1793,4522,4,1,33, - 19,17,10,1,4516,2049,3866,10,4501,4537,144,115,58,99,111,112,121,0,67502597,2049, - 79,2049,2878,2049,3117,10,4527,4557,144,115,58,68,73,71,73,84,83,0,2049,3642, - 48,49,50,51,52,53,54,55,56,57,0,1,4559,10,4545,4594,144,115,58,65, - 83,67,73,73,45,76,79,87,69,82,67,65,83,69,0,2049,3642,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,4596,10,4573,4647,144,115,58,65,83,67,73,73,45,85,80, - 80,69,82,67,65,83,69,0,2049,3642,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,4649,10, - 4626,4698,144,115,58,65,83,67,73,73,45,76,69,84,84,69,82,83,0,2049, - 3642,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,4700,10,4679,4773,144, - 115,58,80,85,78,67,84,85,65,84,73,79,78,0,2049,3642,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,4775,1,95,67502597,16,10,4756,4831,131,115, - 58,87,72,73,84,69,83,80,65,67,69,0,32,9,10,13,0,4815,4841,156, - 39,0,1,3623,2049,144,10,4836,4851,156,36,0,1,0,2049,131,10,4846,0,131, - 65,83,67,73,73,58,78,85,76,0,4856,8,131,65,83,67,73,73,58,66, - 83,0,4869,9,131,65,83,67,73,73,58,72,84,0,4881,10,131,65,83,67, - 73,73,58,76,70,0,4893,11,131,65,83,67,73,73,58,86,84,0,4905,12, - 131,65,83,67,73,73,58,70,70,0,4917,13,131,65,83,67,73,73,58,67, - 82,0,4929,32,131,65,83,67,73,73,58,83,80,65,67,69,0,4941,127,131, - 65,83,67,73,73,58,68,69,76,0,4956,1,131,65,83,67,73,73,58,83, - 79,72,0,4969,2,131,65,83,67,73,73,58,83,84,88,0,4982,3,131,65, - 83,67,73,73,58,69,84,88,0,4995,4,131,65,83,67,73,73,58,69,79, - 84,0,5008,5,131,65,83,67,73,73,58,69,78,81,0,5021,6,131,65,83, - 67,73,73,58,65,67,75,0,5034,7,131,65,83,67,73,73,58,66,69,76, - 0,5047,14,131,65,83,67,73,73,58,83,79,0,5060,15,131,65,83,67,73, - 73,58,83,73,0,5072,16,131,65,83,67,73,73,58,68,76,69,0,5084,17, - 131,65,83,67,73,73,58,68,67,49,0,5097,18,131,65,83,67,73,73,58, - 68,67,50,0,5110,19,131,65,83,67,73,73,58,68,67,51,0,5123,20,131, - 65,83,67,73,73,58,68,67,52,0,5136,21,131,65,83,67,73,73,58,78, - 65,75,0,5149,22,131,65,83,67,73,73,58,83,89,78,0,5162,23,131,65, - 83,67,73,73,58,69,84,66,0,5175,24,131,65,83,67,73,73,58,67,65, - 78,0,5188,25,131,65,83,67,73,73,58,69,77,0,5201,26,131,65,83,67, - 73,73,58,83,85,66,0,5213,27,131,65,83,67,73,73,58,69,83,67,0, - 5226,28,131,65,83,67,73,73,58,70,83,0,5239,29,131,65,83,67,73,73, - 58,71,83,0,5251,30,131,65,83,67,73,73,58,82,83,0,5263,31,131,65, - 83,67,73,73,58,85,83,0,5275,5303,144,99,58,108,111,119,101,114,99,97, - 115,101,63,0,1,97,1,122,2049,2909,10,5287,5326,144,99,58,117,112,112,101, - 114,99,97,115,101,63,0,1,65,1,90,2049,2909,10,5310,5346,144,99,58,108, - 101,116,116,101,114,63,0,1,5303,1,5326,2049,2128,22,10,5333,5366,144,99,58, - 100,105,103,105,116,63,0,1,48,1,57,2049,2909,10,5354,5387,144,99,58,118, - 105,115,105,98,108,101,63,0,1,32,1,126,2049,2909,10,5373,5406,144,99,58, - 118,111,119,101,108,63,0,2049,3642,97,101,105,111,117,65,69,73,79,85,0, - 1,5408,4,2049,3992,10,5394,5441,144,99,58,99,111,110,115,111,110,97,110,116, - 63,0,2,2049,5346,1793,5451,2049,5406,2049,2465,10,1,5446,1793,5459,3,2049,2368,10, - 1,5455,2049,64,10,5425,5481,144,99,58,119,104,105,116,101,115,112,97,99,101, - 63,0,1,4831,4,2049,3992,10,5464,5504,144,99,58,45,108,111,119,101,114,99, - 97,115,101,63,0,2049,5303,2049,2465,10,5487,5526,144,99,58,45,117,112,112,101, - 114,99,97,115,101,63,0,2049,5326,2049,2465,10,5509,5544,144,99,58,45,100,105, - 103,105,116,63,0,2049,5366,2049,2465,10,5531,5567,144,99,58,45,119,104,105,116, - 101,115,112,97,99,101,63,0,2049,5481,2049,2465,10,5549,5587,144,99,58,45,118, - 105,115,105,98,108,101,63,0,2049,5387,2049,2465,10,5572,5605,144,99,58,45,118, - 111,119,101,108,63,0,2049,5406,2049,2465,10,5592,5627,144,99,58,45,99,111,110, - 115,111,110,97,110,116,63,0,2049,5441,2049,2465,10,5610,5646,144,99,58,116,111, - 45,117,112,112,101,114,0,2,2049,5303,25,3,1,32,18,10,5632,5669,144,99, - 58,116,111,45,108,111,119,101,114,0,2,2049,5326,25,3,1,32,17,10,5655, - 5693,144,99,58,116,111,45,115,116,114,105,110,103,0,2049,3642,46,0,1,5695, - 2049,3597,1,36,2049,2116,10,5678,5723,144,99,58,116,111,103,103,108,101,45,99, - 97,115,101,0,2,2049,5303,1,5646,1,5669,2049,64,10,5706,5748,144,99,58,116, - 111,45,110,117,109,98,101,114,0,2,2049,5366,1793,5757,1,48,18,10,1,5753, - 1793,5765,3,1,0,10,1,5761,2049,64,10,5733,5784,144,115,58,116,111,45,117, - 112,112,101,114,0,1,5646,2049,4332,10,5770,5803,144,115,58,116,111,45,108,111, - 119,101,114,0,1,5669,2049,4332,10,5789,5823,144,115,58,116,114,105,109,45,108, - 101,102,116,0,2049,3597,1793,5847,2049,56,1793,5834,2049,5481,10,1,5831,1793,5841,2049, - 2549,10,1,5838,2049,2128,21,10,1,5827,2049,2233,2049,2891,10,5808,5870,144,115,58, - 116,114,105,109,45,114,105,103,104,116,0,2049,3597,2049,3747,2049,5823,2049,3747,10, - 5854,5889,144,115,58,116,114,105,109,0,2049,5870,2049,5823,10,5879,5903,131,86,97, - 108,117,101,0,0,5894,5915,144,99,111,114,114,101,99,116,0,2,1,48,13, - 1793,5930,1,48,67502597,18,1,2,19,17,10,1,5921,9,10,5879,5949,144,110,58, - 116,111,45,115,116,114,105,110,103,0,1793,6003,2049,1877,2049,3424,2,4097,5903,2049, - 2843,1793,5977,1,10,20,4,1,48,17,2049,5915,2049,3332,2,2049,2549,10,1,5962, - 2049,2233,3,3841,5903,2049,2568,1793,5993,1,45,2049,3332,10,1,5988,9,2049,3298,2049, - 3747,2049,3597,10,1,5951,2049,3448,10,5934,6030,131,82,101,119,114,105,116,101,85, - 110,100,101,114,115,99,111,114,101,115,0,-1,6008,6038,144,115,117,98,0,1, - 95,1793,6045,1,32,10,1,6042,2049,2379,10,6031,6061,144,114,101,119,114,105,116, - 101,0,3841,6030,1793,6070,1,6038,2049,4332,10,1,6065,9,10,6050,6084,144,104,97, - 110,100,108,101,0,1,3701,8,10,6008,6100,156,112,114,101,102,105,120,58,39, - 0,2049,6061,2049,6084,10,6088,6116,144,115,58,115,112,108,105,116,0,2049,2096,2049, - 3920,772,2049,2096,2049,4437,1,38,2049,2106,10,6105,6151,144,115,58,115,112,108,105, - 116,45,111,110,45,115,116,114,105,110,103,0,2049,2096,2049,4220,2049,2878,772,2049, - 2096,2049,4437,1,38,2049,2106,10,6130,6180,144,115,58,114,101,112,108,97,99,101, - 0,67502597,2049,79,2049,1877,16,1793,6196,2049,6151,4,2049,1877,15,17,10,1,6188,2049, - 2106,2049,3807,2049,3848,10,6167,6217,131,83,112,108,105,116,45,79,110,0,0,6205, - 6228,144,109,97,116,99,104,63,0,3841,6217,11,10,6218,6245,144,116,101,114,109, - 105,110,97,116,101,0,1,0,67502597,2049,2891,16,10,6232,6260,144,115,116,101,112, - 0,1,2878,2049,2106,2049,6228,1793,6274,2,2049,105,2049,6245,10,1,6268,9,10,6167, - 6292,144,115,58,116,111,107,101,110,105,122,101,0,4097,6217,2049,3668,2049,1877,1, - 0,2049,105,1793,6314,2,2049,105,2,1,6260,2049,3866,3,10,1,6304,2049,2106,2049, - 1877,67502597,18,2049,2891,67502597,16,10,6278,6337,131,78,101,101,100,108,101,0,0,0, + 144,110,58,111,100,100,63,0,2049,2630,2049,2465,10,2637,2659,144,105,102,59,0, + 67502597,1,72,2049,2106,25,6,771,10,2652,2676,144,45,105,102,59,0,67502597,1,70, + 2049,2106,2049,2465,25,6,771,10,2668,2694,150,114,111,116,0,67503109,10,2687,2701,150, + 47,0,197652,10,2696,2710,150,109,111,100,0,788,10,2703,2721,144,110,58,112,111, + 119,0,1,1,4,1793,2729,67502597,19,10,1,2726,2049,2281,772,10,2712,2747,144,110, + 58,110,101,103,97,116,101,0,1,-1,19,10,2735,2763,144,110,58,115,113,117, + 97,114,101,0,4866,10,2751,2775,144,110,58,115,113,114,116,0,1,1,1793,2793, + 2049,2096,197652,67502597,18,1,2,197652,25,17,1,2779,7,10,1,2779,8,772,10,2765, + 2807,144,110,58,109,105,110,0,2049,2096,13,1,11,1,2057,2049,64,10,2798,2826, + 144,110,58,109,97,120,0,2049,2096,14,1,11,1,2057,2049,64,10,2817,2845,144, + 110,58,97,98,115,0,2,2049,2568,1,2747,9,10,2836,2863,144,110,58,108,105, + 109,105,116,0,4,5,2049,2807,6,2049,2826,10,2852,2880,144,110,58,105,110,99, + 0,1,1,17,10,2871,2893,144,110,58,100,101,99,0,1,1,18,10,2884,2911, + 144,110,58,98,101,116,119,101,101,110,63,0,67503109,1793,2919,67503109,67503109,2049,2863,10, + 1,2914,2049,2116,11,10,2897,2937,144,118,58,105,110,99,45,98,121,0,1793,2941, + 4367,10,1,2939,2049,2116,16,10,2925,2959,144,118,58,100,101,99,45,98,121,0, + 1793,2963,1180687,10,1,2961,2049,2116,16,10,2947,2978,144,118,58,105,110,99,0,1, + 1,4,2049,2937,10,2969,2993,144,118,58,100,101,99,0,1,1,4,2049,2959,10, + 2984,3010,144,118,58,108,105,109,105,116,0,251790597,1542,2049,2863,4100,10,2999,3024,144, + 118,58,111,110,0,2049,2356,4100,10,3016,3037,144,118,58,111,102,102,0,2049,2368, + 4100,10,3028,3050,144,97,108,108,111,116,0,1,3,2049,2937,10,3041,3069,144,118, + 58,112,114,101,115,101,114,118,101,0,4,2,15,1793,3079,1,21,2049,2106,10, + 1,3074,2049,2106,4,16,10,3055,3098,144,118,58,117,112,100,97,116,101,0,4, + 1793,3105,15,4,8,10,1,3101,2049,2116,16,10,3086,3119,144,99,111,112,121,0, + 1793,3128,285278725,1,33951492,268767489,1,6,10,1,3121,2049,2281,3,3,10,3111,3148,144,83, + 99,111,112,101,76,105,115,116,0,14841,14841,10,3135,3157,144,123,123,0,2049,1570, + 2,1,3148,2049,59,16,10,3151,3182,144,45,45,45,114,101,118,101,97,108,45, + 45,45,0,2049,1570,1,3148,2049,2880,16,10,3166,3196,144,125,125,0,1,3148,2049, + 56,4,15,11,1793,3210,3841,3148,4097,2,10,1,3205,1793,3240,3841,3148,1793,3235,1, + 2,15,2,15,1,3148,2049,2880,15,12,25,3,1,3220,7,10,1,3218,8,16, + 10,1,3214,2049,64,10,3190,3254,131,83,116,97,114,116,0,0,10,3245,3263,131, + 69,110,100,0,0,10,3256,3278,144,116,101,114,109,105,110,97,116,101,0,1, + 0,3841,3263,16,10,3190,3300,144,98,117,102,102,101,114,58,115,116,97,114,116, + 0,3841,3254,10,3284,3317,144,98,117,102,102,101,114,58,101,110,100,0,3841,3263, + 10,3303,3334,144,98,117,102,102,101,114,58,97,100,100,0,3841,3263,16,1,3263, + 2049,2978,2049,3278,10,3320,3358,144,98,117,102,102,101,114,58,103,101,116,0,1, + 3263,2049,2993,3841,3263,15,2049,3278,10,3344,3384,144,98,117,102,102,101,114,58,101, + 109,112,116,121,0,3841,3254,4097,3263,2049,3278,10,3368,3406,144,98,117,102,102,101, + 114,58,115,105,122,101,0,3841,3263,3841,3254,18,10,3391,3426,144,98,117,102,102, + 101,114,58,115,101,116,0,4097,3254,2049,3384,10,3412,3450,144,98,117,102,102,101, + 114,58,112,114,101,115,101,114,118,101,0,3841,3254,3841,3263,1793,3463,1,21,2049, + 2106,4097,3254,10,1,3456,2049,2106,4097,3263,10,3431,3485,131,84,101,109,112,83,116, + 114,105,110,103,115,0,32,3470,3503,131,84,101,109,112,83,116,114,105,110,103, + 77,97,120,0,512,3486,3515,144,83,84,82,73,78,71,83,0,2049,1543,3841,3485, + 3841,3503,19,18,10,3504,3535,131,67,117,114,114,101,110,116,0,18,10,3524,3550, + 144,115,58,112,111,105,110,116,101,114,0,3841,3535,3841,3503,19,2049,3515,17,10, + 3537,3569,144,115,58,110,101,120,116,0,1,3535,2049,2978,3841,3535,3841,3485,11,1793, + 3585,1,0,4097,3535,10,1,3580,9,10,3504,3599,144,115,58,116,101,109,112,0, + 2,2049,79,2049,2880,2049,3550,4,2049,3119,2049,3550,2049,3569,10,3589,3625,144,115,58, + 101,109,112,116,121,0,2049,3550,2049,3569,1,0,67502597,16,10,3614,3644,144,115,58, + 115,107,105,112,0,6,1793,3652,68223234,1,786703,0,10,1,3647,2049,2233,2049,2893,5, + 10,3634,3670,144,115,58,107,101,101,112,0,2049,1818,1793,3679,1,3644,2049,1777,10, + 1,3674,9,2049,1877,1,119,2049,2106,2049,131,10,3660,3703,156,112,114,101,102,105, + 120,58,39,0,2049,1818,1,3670,1,3599,2049,64,10,3691,3722,144,115,58,99,104, + 111,112,0,2049,3599,2,2049,79,67502597,17,2049,2893,1,0,4,16,10,3712,3749,144, + 115,58,114,101,118,101,114,115,101,0,1793,3791,2,2049,3599,2049,3426,1,79,1793, + 3767,2,2049,79,17,2049,2893,10,1,3760,2049,2128,4,1793,3781,2,15,2049,3334,2049, + 2893,10,1,3774,2049,2281,3,2049,3300,2049,3599,10,1,3751,2049,3450,10,3736,3809,144, + 115,58,112,114,101,112,101,110,100,0,2049,3599,1793,3833,2,2049,79,17,1793,3825, + 2,2049,79,2049,2880,10,1,3819,2049,2106,4,2049,3119,10,1,3813,2049,2116,10,3796, + 3850,144,115,58,97,112,112,101,110,100,0,4,2049,3809,10,3838,3868,144,115,58, + 102,111,114,45,101,97,99,104,0,1793,3903,67502597,15,25,3,2049,2096,1793,3891,1793, + 3886,1,34,2049,2106,8,10,1,3880,2049,2106,10,1,3878,2049,2106,1,2880,2049,2106, + 1,3870,7,10,1,3870,8,771,10,3854,3922,144,115,58,105,110,100,101,120,45, + 111,102,0,4,1793,3945,2049,56,25,4,1793,3934,67502597,12,10,1,3931,2049,2106,4, + 25,3,1,3925,7,10,1,3925,2049,2116,1793,3956,18,2049,2893,772,10,1,3951,2049, + 2116,2049,79,67502597,11,1793,3970,3,1,-1,10,1,3966,9,10,3908,3994,144,115,58, + 99,111,110,116,97,105,110,115,45,99,104,97,114,63,0,2049,3922,1,-1,12, + 10,3974,4007,131,83,114,99,0,0,4000,4015,131,84,97,114,0,0,4008,4023,131, + 80,97,100,0,0,4016,4029,131,73,0,0,4024,4035,131,70,0,0,4030,4042,131, + 65,116,0,0,4036,4056,144,116,101,114,109,105,110,97,116,101,0,1,0,3841, + 4023,3841,4015,2049,79,17,16,10,4043,4078,144,101,120,116,114,97,99,116,0,3841, + 4007,3841,4029,17,3841,4023,3841,4015,2049,79,2049,3119,10,4067,4103,144,99,111,109,112, + 97,114,101,0,3841,4023,3841,4015,2049,93,3841,4035,22,4097,4035,3841,4035,1793,4123,3841, + 4029,4097,4042,10,1,4118,2049,70,10,4092,4136,144,110,101,120,116,0,1,4029,2049, + 2978,10,3974,4163,144,115,58,99,111,110,116,97,105,110,115,45,115,116,114,105, + 110,103,63,0,4097,4015,4097,4007,2049,3625,4097,4023,1,0,4097,4029,1,0,4097,4035, + 3841,4007,2049,79,1793,4194,2049,4078,2049,4056,2049,4103,2049,4136,10,1,4185,2049,2281,3841, + 4035,10,4141,4222,144,115,58,105,110,100,101,120,45,111,102,45,115,116,114,105, + 110,103,0,4097,4015,4097,4007,2049,3625,4097,4023,1,0,4097,4029,1,0,4097,4035,1, + -1,4097,4042,3841,4007,2049,79,1793,4257,2049,4078,2049,4056,2049,4103,2049,4136,10,1,4248, + 2049,2281,3841,4035,1793,4268,3841,4042,10,1,4265,1793,4275,1,-1,10,1,4272,2049,64, + 10,4201,4292,144,115,58,102,105,108,116,101,114,0,1793,4320,2049,3625,2049,3426,4, + 1793,4312,2049,2096,4,8,1,3334,1,11,2049,64,10,1,4301,2049,3868,3,2049,3300, + 10,1,4294,2049,3450,10,4280,4334,144,115,58,109,97,112,0,1793,4356,2049,3625,2049, + 3426,4,1793,4348,67502597,8,2049,3334,10,1,4343,2049,3868,3,2049,3300,10,1,4336,2049, + 3450,10,4325,4373,144,115,58,115,117,98,115,116,114,0,1793,4379,17,2049,3625,10, + 1,4375,2049,2106,1793,4391,67502597,1,3119,2049,2106,10,1,4385,2049,2116,67502597,1793,4404,17, + 1,0,4,16,10,1,4398,2049,2106,10,4361,4420,144,115,58,114,105,103,104,116, + 0,67502597,2049,79,67502597,18,4,2049,4373,10,4409,4439,144,115,58,108,101,102,116,0, + 1,0,4,2049,4373,10,4429,4463,144,115,58,98,101,103,105,110,115,45,119,105, + 116,104,63,0,2,2049,79,1,13,2049,2106,2049,4439,2049,93,10,4445,4491,144,115, + 58,101,110,100,115,45,119,105,116,104,63,0,2,2049,79,1,13,2049,2106,2049, + 4420,2049,93,10,4475,4513,144,115,58,104,97,115,104,0,1,5381,4,1793,4524,4, + 1,33,19,17,10,1,4518,2049,3868,10,4503,4539,144,115,58,99,111,112,121,0, + 67502597,2049,79,2049,2880,2049,3119,10,4529,4559,144,115,58,68,73,71,73,84,83,0, + 2049,3644,48,49,50,51,52,53,54,55,56,57,0,1,4561,10,4547,4596,144,115, + 58,65,83,67,73,73,45,76,79,87,69,82,67,65,83,69,0,2049,3644,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,4598,10,4575,4649,144,115,58,65,83,67,73,73,45, + 85,80,80,69,82,67,65,83,69,0,2049,3644,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, + 4651,10,4628,4700,144,115,58,65,83,67,73,73,45,76,69,84,84,69,82,83, + 0,2049,3644,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,4702,10,4681, + 4775,144,115,58,80,85,78,67,84,85,65,84,73,79,78,0,2049,3644,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,4777,1,95,67502597,16,10,4758,4833, + 131,115,58,87,72,73,84,69,83,80,65,67,69,0,32,9,10,13,0,4817, + 4843,156,39,0,1,3625,2049,144,10,4838,4853,156,36,0,1,0,2049,131,10,4848, + 0,131,65,83,67,73,73,58,78,85,76,0,4858,8,131,65,83,67,73,73, + 58,66,83,0,4871,9,131,65,83,67,73,73,58,72,84,0,4883,10,131,65, + 83,67,73,73,58,76,70,0,4895,11,131,65,83,67,73,73,58,86,84,0, + 4907,12,131,65,83,67,73,73,58,70,70,0,4919,13,131,65,83,67,73,73, + 58,67,82,0,4931,32,131,65,83,67,73,73,58,83,80,65,67,69,0,4943, + 127,131,65,83,67,73,73,58,68,69,76,0,4958,1,131,65,83,67,73,73, + 58,83,79,72,0,4971,2,131,65,83,67,73,73,58,83,84,88,0,4984,3, + 131,65,83,67,73,73,58,69,84,88,0,4997,4,131,65,83,67,73,73,58, + 69,79,84,0,5010,5,131,65,83,67,73,73,58,69,78,81,0,5023,6,131, + 65,83,67,73,73,58,65,67,75,0,5036,7,131,65,83,67,73,73,58,66, + 69,76,0,5049,14,131,65,83,67,73,73,58,83,79,0,5062,15,131,65,83, + 67,73,73,58,83,73,0,5074,16,131,65,83,67,73,73,58,68,76,69,0, + 5086,17,131,65,83,67,73,73,58,68,67,49,0,5099,18,131,65,83,67,73, + 73,58,68,67,50,0,5112,19,131,65,83,67,73,73,58,68,67,51,0,5125, + 20,131,65,83,67,73,73,58,68,67,52,0,5138,21,131,65,83,67,73,73, + 58,78,65,75,0,5151,22,131,65,83,67,73,73,58,83,89,78,0,5164,23, + 131,65,83,67,73,73,58,69,84,66,0,5177,24,131,65,83,67,73,73,58, + 67,65,78,0,5190,25,131,65,83,67,73,73,58,69,77,0,5203,26,131,65, + 83,67,73,73,58,83,85,66,0,5215,27,131,65,83,67,73,73,58,69,83, + 67,0,5228,28,131,65,83,67,73,73,58,70,83,0,5241,29,131,65,83,67, + 73,73,58,71,83,0,5253,30,131,65,83,67,73,73,58,82,83,0,5265,31, + 131,65,83,67,73,73,58,85,83,0,5277,5305,144,99,58,108,111,119,101,114, + 99,97,115,101,63,0,1,97,1,122,2049,2911,10,5289,5328,144,99,58,117,112, + 112,101,114,99,97,115,101,63,0,1,65,1,90,2049,2911,10,5312,5348,144,99, + 58,108,101,116,116,101,114,63,0,1,5305,1,5328,2049,2128,22,10,5335,5368,144, + 99,58,100,105,103,105,116,63,0,1,48,1,57,2049,2911,10,5356,5389,144,99, + 58,118,105,115,105,98,108,101,63,0,1,32,1,126,2049,2911,10,5375,5408,144, + 99,58,118,111,119,101,108,63,0,2049,3644,97,101,105,111,117,65,69,73,79, + 85,0,1,5410,4,2049,3994,10,5396,5443,144,99,58,99,111,110,115,111,110,97, + 110,116,63,0,2,2049,5348,1793,5453,2049,5408,2049,2465,10,1,5448,1793,5461,3,2049, + 2368,10,1,5457,2049,64,10,5427,5483,144,99,58,119,104,105,116,101,115,112,97, + 99,101,63,0,1,4833,4,2049,3994,10,5466,5506,144,99,58,45,108,111,119,101, + 114,99,97,115,101,63,0,2049,5305,2049,2465,10,5489,5528,144,99,58,45,117,112, + 112,101,114,99,97,115,101,63,0,2049,5328,2049,2465,10,5511,5546,144,99,58,45, + 100,105,103,105,116,63,0,2049,5368,2049,2465,10,5533,5569,144,99,58,45,119,104, + 105,116,101,115,112,97,99,101,63,0,2049,5483,2049,2465,10,5551,5589,144,99,58, + 45,118,105,115,105,98,108,101,63,0,2049,5389,2049,2465,10,5574,5607,144,99,58, + 45,118,111,119,101,108,63,0,2049,5408,2049,2465,10,5594,5629,144,99,58,45,99, + 111,110,115,111,110,97,110,116,63,0,2049,5443,2049,2465,10,5612,5648,144,99,58, + 116,111,45,117,112,112,101,114,0,2,2049,5305,25,3,1,32,18,10,5634,5671, + 144,99,58,116,111,45,108,111,119,101,114,0,2,2049,5328,25,3,1,32,17, + 10,5657,5695,144,99,58,116,111,45,115,116,114,105,110,103,0,2049,3644,46,0, + 1,5697,2049,3599,1,36,2049,2116,10,5680,5725,144,99,58,116,111,103,103,108,101, + 45,99,97,115,101,0,2,2049,5305,1,5648,1,5671,2049,64,10,5708,5750,144,99, + 58,116,111,45,110,117,109,98,101,114,0,2,2049,5368,1793,5759,1,48,18,10, + 1,5755,1793,5767,3,1,0,10,1,5763,2049,64,10,5735,5786,144,115,58,116,111, + 45,117,112,112,101,114,0,1,5648,2049,4334,10,5772,5805,144,115,58,116,111,45, + 108,111,119,101,114,0,1,5671,2049,4334,10,5791,5825,144,115,58,116,114,105,109, + 45,108,101,102,116,0,2049,3599,1793,5849,2049,56,1793,5836,2049,5483,10,1,5833,1793, + 5843,2049,2549,10,1,5840,2049,2128,21,10,1,5829,2049,2233,2049,2893,10,5810,5872,144, + 115,58,116,114,105,109,45,114,105,103,104,116,0,2049,3599,2049,3749,2049,5825,2049, + 3749,10,5856,5891,144,115,58,116,114,105,109,0,2049,5872,2049,5825,10,5881,5905,131, + 86,97,108,117,101,0,0,5896,5917,144,99,111,114,114,101,99,116,0,2,1, + 48,13,1793,5932,1,48,67502597,18,1,2,19,17,10,1,5923,9,10,5881,5951,144, + 110,58,116,111,45,115,116,114,105,110,103,0,1793,6005,2049,1877,2049,3426,2,4097, + 5905,2049,2845,1793,5979,1,10,20,4,1,48,17,2049,5917,2049,3334,2,2049,2549,10, + 1,5964,2049,2233,3,3841,5905,2049,2568,1793,5995,1,45,2049,3334,10,1,5990,9,2049, + 3300,2049,3749,2049,3599,10,1,5953,2049,3450,10,5936,6032,131,82,101,119,114,105,116, + 101,85,110,100,101,114,115,99,111,114,101,115,0,-1,6010,6040,144,115,117,98, + 0,1,95,1793,6047,1,32,10,1,6044,2049,2379,10,6033,6063,144,114,101,119,114, + 105,116,101,0,3841,6032,1793,6072,1,6040,2049,4334,10,1,6067,9,10,6052,6086,144, + 104,97,110,100,108,101,0,1,3703,8,10,6010,6102,156,112,114,101,102,105,120, + 58,39,0,2049,6063,2049,6086,10,6090,6118,144,115,58,115,112,108,105,116,0,2049, + 2096,2049,3922,772,2049,2096,2049,4439,1,38,2049,2106,10,6107,6153,144,115,58,115,112, + 108,105,116,45,111,110,45,115,116,114,105,110,103,0,2049,2096,2049,4222,2049,2880, + 772,2049,2096,2049,4439,1,38,2049,2106,10,6132,6182,144,115,58,114,101,112,108,97, + 99,101,0,67502597,2049,79,2049,1877,16,1793,6198,2049,6153,4,2049,1877,15,17,10,1, + 6190,2049,2106,2049,3809,2049,3850,10,6169,6219,131,83,112,108,105,116,45,79,110,0, + 0,6207,6230,144,109,97,116,99,104,63,0,3841,6219,11,10,6220,6247,144,116,101, + 114,109,105,110,97,116,101,0,1,0,67502597,2049,2893,16,10,6234,6262,144,115,116, + 101,112,0,1,2880,2049,2106,2049,6230,1793,6276,2,2049,105,2049,6247,10,1,6270,9, + 10,6169,6294,144,115,58,116,111,107,101,110,105,122,101,0,4097,6219,2049,3670,2049, + 1877,1,0,2049,105,1793,6316,2,2049,105,2,1,6262,2049,3868,3,10,1,6306,2049, + 2106,2049,1877,67502597,18,2049,2893,67502597,16,10,6280,6339,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,6327,6475,131,76,101,110,103,116,104,0,0,6465,6486,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,6329,6477,131,76,101,110,103,116,104,0,0,6467, + 6488,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,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6476,6620,131,84,80, - 0,0,6614,6629,144,115,97,118,101,0,2049,3668,3841,6620,1,6486,17,2049,2878,16, - 1,6620,2049,2976,10,6621,6652,144,110,101,120,116,0,1793,6658,3841,6475,17,10,1, - 6654,2049,2116,10,6644,6671,144,100,111,110,101,0,2049,79,2049,2533,10,6278,6700,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,6620,1793,6714,2,1,6337,2049,4537,2049,3848,10,1,6706,1793,6723,2049, - 79,4097,6475,10,1,6718,2049,2128,1793,6740,1,6337,2049,6151,2049,6629,2049,6652,2049,6671, - 10,1,6729,2049,2256,1,6486,3841,6620,2049,2891,4097,6486,10,6676,6758,131,81,0,0, - 6753,6771,144,102,111,114,45,101,97,99,104,0,1,6758,1793,6801,4097,6758,2049,56, - 1793,6795,2049,56,4,1793,6790,3841,6758,8,10,1,6786,2049,2106,10,1,6781,2049,2281, - 3,10,1,6775,2049,3067,10,6759,6820,144,115,117,98,115,116,105,116,117,116,101, - 0,2049,3513,1,129,18,10,6806,6837,144,101,120,116,114,97,99,116,0,2049,6820, - 2049,4537,10,6826,6854,144,116,111,107,101,110,105,122,101,0,2049,6700,2049,3623,10, - 6842,6870,144,99,111,109,98,105,110,101,0,2049,6820,2049,3848,2049,3848,10,6859,6886, - 144,109,101,114,103,101,0,4,1,6870,2049,6771,772,10,6877,6905,144,102,105,110, - 100,45,101,110,100,0,2,2049,79,2049,6820,2049,79,18,67502597,17,10,6893,6925,144, - 99,108,101,97,110,0,2049,6905,1,0,4,16,10,6676,6949,144,115,58,114,101, - 112,108,97,99,101,45,97,108,108,0,1,3,1793,6964,2049,6837,2049,6854,2049,6886, - 2049,6925,2049,3597,10,1,6953,2049,3067,10,6932,6977,144,99,104,97,114,0,1,32, - 1793,6986,1,95,2049,3332,10,1,6981,2049,2379,1,114,1793,6999,1,13,2049,3332,10, - 1,6994,2049,2379,1,110,1793,7012,1,10,2049,3332,10,1,7007,2049,2379,1,116,1793, - 7025,1,9,2049,3332,10,1,7020,2049,2379,1,48,1793,7038,1,0,2049,3332,10,1, - 7033,2049,2379,2049,3332,10,6969,7055,144,115,116,114,105,110,103,0,2049,56,25,2049, - 3332,1,7055,7,10,7045,7072,144,116,121,112,101,0,1,99,1793,7080,4,2049,3332, - 10,1,7076,2049,2379,1,115,1793,7093,4,2049,7055,3,10,1,7088,2049,2379,1,110, - 1793,7108,4,2049,5949,2049,7055,3,10,1,7101,2049,2379,3,10,7064,7124,144,104,97, - 110,100,108,101,0,1,92,1793,7133,2049,56,2049,6977,10,1,7128,2049,2379,1,37, - 1793,7146,2049,56,2049,7072,10,1,7141,2049,2379,2049,3332,10,6932,7165,144,115,58,102, - 111,114,109,97,116,0,1793,7194,2049,3623,1793,7189,2049,3424,1793,7184,2049,56,25,2049, - 7124,1,7175,7,10,1,7175,8,3,10,1,7171,2049,2116,10,1,7167,2049,3448,10, - 7153,7210,144,115,58,99,111,110,115,116,0,1,3668,2049,2106,2049,2022,10,7199,7227, - 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,7217,7263,144,102, - 114,111,109,0,2049,79,2,1793,7282,1793,7275,1,7227,17,16,10,1,7270,2049,2116, - 2049,2891,10,1,7268,2049,2281,3,10,7255,7294,144,116,111,0,2,2049,79,1793,7312, - 2049,56,1,97,18,2049,2878,1,7227,17,15,4,10,1,7299,2049,2281,3,10,7199, - 7329,144,114,101,111,114,100,101,114,0,1,7263,2049,2106,2049,7294,10,7318,7345,144, - 99,117,114,114,121,0,2049,1877,1793,7355,4,2049,1731,2049,1754,10,1,7349,2049,2106, - 10,7336,7368,144,100,111,101,115,0,2049,1588,4,2049,7345,2049,1570,2049,158,16,1, - 144,2049,1649,10,7360,7397,144,100,58,102,111,114,45,101,97,99,104,0,1,2, - 1793,7425,15,25,2049,2096,1793,7417,1793,7412,4,8,10,1,7409,2049,2106,10,1,7407, - 2049,2106,1,7401,7,10,1,7401,8,3,10,7383,7445,144,100,58,108,111,111,107, - 117,112,45,120,116,0,1,0,4,1793,7471,2049,2096,2049,158,15,11,1793,7464,4, - 1,2057,2049,2106,10,1,7458,1,11,2049,64,10,1,7450,2049,7397,3,10,7430,7489, - 144,97,58,108,101,110,103,116,104,0,15,10,7477,7512,144,97,58,99,111,117, - 110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049,1877,1793,7525,2,2049, - 105,1,105,2049,2281,10,1,7517,2049,2106,10,7491,7547,144,97,58,102,114,111,109, - 45,115,116,114,105,110,103,0,2049,1877,1793,7561,2,2049,79,2049,105,1,105,2049, - 3866,10,1,7551,2049,2106,10,7530,7571,131,81,0,0,7530,7586,144,97,58,102,111, - 114,45,101,97,99,104,0,1,7571,1793,7616,4097,7571,2049,56,1793,7610,2049,56,4, - 1793,7605,3841,7571,8,10,1,7601,2049,2106,10,1,7596,2049,2281,3,10,1,7590,2049, - 3067,10,7572,7630,144,97,58,100,117,112,0,2049,1877,1793,7643,2,15,2049,105,1, - 105,2049,7586,10,1,7634,2049,2106,10,7621,7658,144,97,58,99,111,112,121,0,1, - 3,1793,7674,4097,3,2,2049,7489,2049,105,1,105,2049,7586,10,1,7662,2049,3067,10, - 7648,7694,144,97,58,116,111,45,115,116,114,105,110,103,0,1,3,1793,7707,2049, - 7630,1,0,2049,105,2049,2878,10,1,7698,2049,3067,2049,3597,10,7679,7722,144,99,111, - 112,121,0,2,15,1793,7731,1,105,2049,7586,10,1,7726,2049,2106,10,7679,7749,144, - 97,58,112,114,101,112,101,110,100,0,2049,1877,1,0,2049,105,1793,7764,2049,7722, - 4,2049,7722,17,10,1,7757,2049,2106,1,36,2049,2116,10,7736,7785,144,97,58,97, - 112,112,101,110,100,0,4,2049,7749,10,7773,7799,144,97,58,99,104,111,112,0, - 2049,7630,1,-1,2049,3048,2,2049,2991,10,7789,7821,144,97,58,102,105,108,116,101, - 114,0,1793,7836,67502597,1,21,2049,2106,4,1,105,1,11,2049,64,10,1,7823,2049, - 7345,2049,1877,1793,7851,67502597,15,2049,105,2049,7586,10,1,7844,2049,2106,2049,1877,67502597,18, - 2049,2891,67502597,16,10,7809,7879,144,97,58,99,111,110,116,97,105,110,115,63,0, - 1,0,4,1793,7891,4,5,67502597,11,6,22,10,1,7884,2049,7586,772,10,7864,7919, - 144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,105,110,103,63,0, - 1,0,4,1793,7932,4,5,67502597,2049,93,6,22,10,1,7924,2049,7586,772,10,7897, - 7950,131,76,111,99,97,116,105,111,110,0,0,7938,7962,144,112,114,101,112,97, - 114,101,0,4,1,-1,4097,7950,10,7951,7976,144,110,101,120,116,0,3841,7950,2049, - 2568,1793,7987,1,7950,2049,2991,10,1,7982,9,10,7968,8001,144,109,97,116,99,104, - 63,0,67502597,11,2,1793,8012,3,3841,7950,2049,2568,10,1,8006,9,10,7991,8030,144, - 109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,2,1793,8042,3,3841,7950, - 2049,2568,10,1,8036,9,10,8016,8056,144,117,112,100,97,116,101,0,3841,7950,2049, - 2843,2049,2891,4097,7950,10,7897,8079,144,97,58,105,110,100,101,120,45,111,102,0, - 2049,7962,2049,2096,2049,7879,1793,8091,771,1,-1,10,1,8087,2049,2674,1793,8105,2049,8001, - 1,8056,9,2049,7976,10,1,8097,2049,7586,3,3841,7950,10,8065,8134,144,97,58,105, - 110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,2049,7962,2049,2096,2049, - 7919,1793,8146,771,1,-1,10,1,8142,2049,2674,1793,8160,2049,8030,1,8056,9,2049,7976, - 10,1,8152,2049,7586,3,3841,7950,10,8113,8177,144,97,58,109,97,112,0,1793,8183, - 8,2049,105,10,1,8179,2049,7345,2049,1877,1793,8198,67502597,15,2049,105,2049,7586,10,1, - 8191,2049,2106,10,8168,8216,144,97,58,114,101,118,101,114,115,101,0,2049,1877,1793, - 8250,2049,56,1793,8228,17,2049,2891,10,1,8224,2049,2116,2,2049,105,1793,8244,2,15, - 2049,105,2049,2891,10,1,8237,2049,2281,3,10,1,8220,2049,2106,10,8203,8263,144,97, - 58,116,104,0,17,2049,2878,10,8255,8278,144,97,58,102,101,116,99,104,0,2049, - 8263,15,10,8267,8293,144,97,58,115,116,111,114,101,0,2049,8263,16,10,8282,8309, - 144,97,58,114,101,100,117,99,101,0,1,13,2049,2106,2049,7586,10,8297,8326,144, - 97,58,109,97,107,101,0,2049,7512,2049,8216,10,8316,8336,156,123,0,1,285,2049, - 156,1,1556,2049,144,1,285,2049,156,10,8331,8354,156,125,0,1,301,2049,156,1, - 2106,2049,144,1,1556,2049,144,1,13,2049,150,1,40,2049,150,1,2891,2049,144,1, - 301,2049,156,1,8326,2049,144,10,8349,8398,144,98,111,117,110,100,115,63,0,67502597, - 2049,7489,67502597,13,10,8387,8412,144,99,111,112,121,0,2049,56,2049,105,10,8404,8427, - 144,116,111,45,101,110,100,0,2,2049,7489,17,2049,2878,10,8349,8444,144,97,58, - 108,101,102,116,0,2049,8398,1793,8452,771,1,-1,10,1,8448,2049,2657,2049,1877,67502597, - 2049,105,1793,8473,1,2878,2049,2106,1,8412,2049,2281,3,10,1,8463,2049,2106,10,8434, - 8489,144,97,58,114,105,103,104,116,0,2049,8398,1793,8497,771,1,-1,10,1,8493, - 2049,2657,2049,1877,67502597,2049,105,1793,8520,4,2049,8427,67502597,18,4,1,8412,2049,2281,3, - 10,1,8508,2049,2106,10,8478,8537,144,97,58,109,105,100,100,108,101,0,1,2048, - 2049,2106,4,67502597,2049,8398,1793,8552,771,3,1,-1,10,1,8547,2049,2657,771,2049,2096, - 4,18,2049,2878,2049,1877,67502597,2049,105,1793,8587,772,1793,8577,17,2049,2878,10,1,8573, - 2049,2106,1,8412,2049,2281,3,10,1,8570,2049,2106,10,8525,8600,131,70,108,97,103, - 0,0,8592,8612,144,99,111,109,112,97,114,101,0,67440386,184946434,10,8601,8625,144,108, - 101,110,103,116,104,0,659202,10,8615,8635,144,110,101,120,116,0,17043713,1,1,2577, - 10,8627,8653,144,110,111,116,45,101,113,117,97,108,0,50529030,2561,0,10,8640,8665, - 144,108,111,111,112,0,524549,8635,2049,8612,18157313,8600,8600,16,420610310,1,1,8665,7,10, - 8525,8688,144,97,58,101,113,63,0,1048833,-1,8600,2049,8612,151066369,-1,8653,2049,8625,2049, - 8665,251724547,8600,10,8679,8713,144,97,58,45,101,113,63,0,2049,8688,2049,2465,10,8703, - 8736,144,97,58,98,101,103,105,110,115,45,119,105,116,104,63,0,1,3,1793, - 8752,2,2049,7489,1,13,2049,2106,2049,8444,2049,8688,10,1,8740,2049,3067,10,8718,8773, - 144,97,58,101,110,100,115,45,119,105,116,104,63,0,1,3,1793,8789,2,2049, - 7489,1,13,2049,2106,2049,8489,2049,8688,10,1,8777,2049,3067,10,8757,8810,144,99,117, - 114,114,101,110,116,45,108,105,110,101,0,2049,3513,1,1025,18,10,8794,8832,144, - 99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8838,1,32,11,10,1, - 8834,2049,4290,2049,79,10,8816,8859,144,110,101,120,116,45,116,111,107,101,110,0, - 1,32,2049,6116,10,8845,8882,144,112,114,111,99,101,115,115,45,116,111,107,101, - 110,115,0,1793,8908,2049,8859,4,1793,8901,2,2049,79,2049,2549,1,365,1,11,2049, - 64,10,1,8889,2049,2106,2049,2878,10,1,8884,2049,2281,2049,365,10,8757,8929,144,115, - 58,101,118,97,108,117,97,116,101,0,2049,8810,2049,4537,2049,8810,2,2049,8832,2049, - 8882,10,8915,8947,131,76,80,0,0,8941,8957,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,8948,8997,144,110,101,120,116,0,3841,8947, - 1,8957,17,2049,2976,10,8989,9013,144,112,114,101,112,0,1,8947,2049,2976,1,0, - 3841,8947,1,8957,17,16,10,9005,9034,144,100,111,110,101,0,1,8947,2049,2991,10, - 8915,9044,144,73,0,3841,8947,1,8957,17,15,10,9039,9056,144,74,0,3841,8947,1, - 8957,17,2049,2891,15,10,9051,9070,144,75,0,3841,8947,1,8957,17,1,2,18,15, - 10,9065,9101,144,116,105,109,101,115,60,119,105,116,104,45,105,110,100,101,120, - 62,0,2049,9013,4,1793,9117,25,33886721,1,2053,1542,2049,8997,1,9106,7,10,1,9106, - 8,3,2049,9034,10,9080,9132,156,104,111,111,107,0,2049,3642,108,105,106,117,46, - 46,46,46,0,1,9134,2049,412,2049,1877,2049,2878,2049,105,10,9124,9166,144,115,101, - 116,45,104,111,111,107,0,2049,2878,16,10,9154,9180,144,117,110,104,111,111,107, - 0,2049,2878,2,2049,2878,4,16,10,9170,9204,144,105,111,58,101,110,117,109,101, - 114,97,116,101,0,27,10,9188,9218,144,105,111,58,113,117,101,114,121,0,28, - 10,9206,9233,144,105,111,58,105,110,118,111,107,101,0,29,10,9220,9243,131,83, - 108,111,116,0,9,9220,9259,144,105,111,58,115,99,97,110,45,102,111,114,0, - 1,-1,4097,9243,2049,9204,1793,9285,2049,9044,2049,9218,772,67502597,11,1793,9281,2049,9044,4097, - 9243,10,1,9276,9,10,1,9267,2049,9101,3,3841,9243,10,9244,9302,144,99,58,112, - 117,116,0,1793,9304,1,0,2049,9233,10,9293,9315,144,110,108,0,1,10,2049,9302, - 10,9309,9326,144,115,112,0,1,32,2049,9302,10,9320,9338,144,116,97,98,0,1, - 9,2049,9302,10,9331,9352,144,115,58,112,117,116,0,1,9302,2049,3866,10,9343,9366, - 144,110,58,112,117,116,0,2049,5949,2049,9352,10,9357,9380,144,114,101,115,101,116, - 0,2049,1556,25,771,1,9380,7,10,9371,9402,144,100,117,109,112,45,115,116,97, - 99,107,0,2049,1556,25,3,5,2049,9402,6,2,2049,9366,2049,9326,10,9388,9424,144, - 70,82,69,69,0,2049,3513,1,1025,18,2049,1877,18,10,9416,9442,131,70,105,108, - 101,115,0,0,9433,9455,144,105,100,101,110,116,105,102,121,0,3841,9442,2049,2533, - 1793,9522,1,4,2049,9259,2,2049,2568,1793,9510,3,2049,3642,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,9473,2049,9352,2049,9315,10,1,9470,1793,9517,4097,9442,10,1,9514, - 2049,64,10,1,9461,9,10,9416,9547,144,105,111,58,102,105,108,101,45,111,112, - 101,114,97,116,105,111,110,0,2049,9455,3841,9442,2049,9233,10,9526,0,131,102,105, - 108,101,58,82,0,9554,1,131,102,105,108,101,58,87,0,9564,2,131,102,105, - 108,101,58,65,0,9574,3,131,102,105,108,101,58,82,43,0,9584,9608,144,102, - 105,108,101,58,111,112,101,110,0,1,0,2049,9547,10,9595,9627,144,102,105,108, - 101,58,99,108,111,115,101,0,1,1,2049,9547,10,9613,9645,144,102,105,108,101, - 58,114,101,97,100,0,1,2,2049,9547,10,9632,9664,144,102,105,108,101,58,119, - 114,105,116,101,0,1,3,2049,9547,10,9650,9682,144,102,105,108,101,58,116,101, - 108,108,0,1,4,2049,9547,10,9669,9700,144,102,105,108,101,58,115,101,101,107, - 0,1,5,2049,9547,10,9687,9718,144,102,105,108,101,58,115,105,122,101,0,1, - 6,2049,9547,10,9705,9738,144,102,105,108,101,58,100,101,108,101,116,101,0,1, - 7,2049,9547,10,9723,9757,144,102,105,108,101,58,102,108,117,115,104,0,1,8, - 2049,9547,10,9743,9778,144,102,105,108,101,58,101,120,105,115,116,115,63,0,1, - 0,2049,9608,2,2049,2549,1793,9792,2049,9627,2049,2356,10,1,9787,1793,9800,3,2049,2368, - 10,1,9796,2049,64,10,9762,9831,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,9608,2,2049,9718,4, - 10,9805,9865,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,9608,2,2049,9718,4,10,9840,9900,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,9608,10,9874,9912,131,70,73,68,0,0,9905,9921,131,83,105,122, - 101,0,0,9913,9932,131,65,99,116,105,111,110,0,0,9922,9943,131,66,117,102, - 102,101,114,0,0,9933,9953,144,45,101,111,102,63,0,3841,9912,2049,9682,3841,9921, - 13,10,9944,9973,144,112,114,101,115,101,114,118,101,0,1,9912,1793,9984,1,9921, - 1,21,2049,3067,10,1,9977,2049,3067,10,9874,10007,144,102,105,108,101,58,114,101, - 97,100,45,108,105,110,101,0,4097,9912,1793,10064,2049,1877,2,4097,9943,2049,3424,1793, - 10056,3841,9912,2049,9645,2,2049,3332,1793,10033,1,13,11,10,1,10029,1793,10041,1,10, - 11,10,1,10037,1793,10049,1,0,11,10,1,10045,2049,2165,22,22,10,1,10020,2049, - 2256,2049,3356,3,10,1,10011,2049,3448,3841,9943,10,9989,10093,144,102,105,108,101,58, - 102,111,114,45,101,97,99,104,45,108,105,110,101,0,1793,10124,4097,9932,2049,9831, - 4097,9912,4097,9921,1793,10115,3841,9912,2049,10007,3841,9932,8,2049,9953,10,1,10105,2049,2233, - 3841,9912,2049,9627,10,1,10095,2049,9973,10,10071,10136,131,70,73,68,0,0,10071,10151, - 144,102,105,108,101,58,115,108,117,114,112,0,1793,10178,4,2049,3424,2049,9831,4097, - 10136,1793,10169,3841,10136,2049,9645,2049,3332,10,1,10162,2049,2281,3841,10136,2049,9627,10,1, - 10153,2049,3448,10,10137,10196,144,102,105,108,101,58,115,112,101,119,0,2049,9900,4, - 1793,10205,67502597,2049,9664,10,1,10201,2049,3866,2049,9627,10,10183,10219,131,70,80,85,0, - 0,10212,10232,144,105,100,101,110,116,105,102,121,0,3841,10219,2049,2533,1793,10299,1, - 2,2049,9259,2,2049,2568,1793,10287,3,2049,3642,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,10250,2049,9352,2049,9315,10,1,10247,1793,10294,4097,10219,10,1,10291,2049,64,10, - 1,10238,9,10,10183,10325,144,105,111,58,102,108,111,97,116,45,111,112,101,114, - 97,116,105,111,110,0,2049,10232,3841,10219,2049,9233,10,10303,10346,144,110,58,116,111, - 45,102,108,111,97,116,0,1,0,2049,10325,10,10332,10365,144,115,58,116,111,45, - 102,108,111,97,116,0,1,1,2049,10325,10,10351,10385,144,102,58,116,111,45,110, - 117,109,98,101,114,0,1,2,2049,10325,10,10370,10405,144,102,58,116,111,45,115, - 116,114,105,110,103,0,2049,3623,2,1,3,2049,10325,10,10390,10420,144,102,58,43, - 0,1,4,2049,10325,10,10413,10432,144,102,58,45,0,1,5,2049,10325,10,10425,10444, - 144,102,58,42,0,1,6,2049,10325,10,10437,10456,144,102,58,47,0,1,7,2049, - 10325,10,10449,10472,144,102,58,102,108,111,111,114,0,1,8,2049,10325,10,10461,10490, - 144,102,58,99,101,105,108,105,110,103,0,1,9,2049,10325,10,10477,10505,144,102, - 58,115,113,114,116,0,1,10,2049,10325,10,10495,10519,144,102,58,101,113,63,0, - 1,11,2049,10325,10,10510,10534,144,102,58,45,101,113,63,0,1,12,2049,10325,10, - 10524,10548,144,102,58,108,116,63,0,1,13,2049,10325,10,10539,10562,144,102,58,103, - 116,63,0,1,14,2049,10325,10,10553,10578,144,102,58,100,101,112,116,104,0,1, - 15,2049,10325,10,10567,10592,144,102,58,100,117,112,0,1,16,2049,10325,10,10583,10607, - 144,102,58,100,114,111,112,0,1,17,2049,10325,10,10597,10622,144,102,58,115,119, - 97,112,0,1,18,2049,10325,10,10612,10636,144,102,58,108,111,103,0,1,19,2049, - 10325,10,10627,10652,144,102,58,112,111,119,101,114,0,1,20,2049,10325,10,10641,10666, - 144,102,58,115,105,110,0,1,21,2049,10325,10,10657,10680,144,102,58,99,111,115, - 0,1,22,2049,10325,10,10671,10694,144,102,58,116,97,110,0,1,23,2049,10325,10, - 10685,10709,144,102,58,97,115,105,110,0,1,24,2049,10325,10,10699,10724,144,102,58, - 97,99,111,115,0,1,25,2049,10325,10,10714,10739,144,102,58,97,116,97,110,0, - 1,26,2049,10325,10,10729,10754,144,102,58,112,117,115,104,0,1,27,2049,10325,10, - 10744,10768,144,102,58,112,111,112,0,1,28,2049,10325,10,10759,10785,144,102,58,97, - 100,101,112,116,104,0,1,29,2049,10325,10,10773,10802,144,102,58,115,113,117,97, - 114,101,0,2049,10592,2049,10444,10,10790,10817,144,102,58,111,118,101,114,0,2049,10754, - 2049,10592,2049,10768,2049,10622,10,10807,10836,144,102,58,116,117,99,107,0,2049,10592,2049, - 10754,2049,10622,2049,10768,10,10826,10854,144,102,58,110,105,112,0,2049,10622,2049,10607,10, - 10845,10874,144,102,58,100,114,111,112,45,112,97,105,114,0,2049,10607,2049,10607,10, - 10859,10893,144,102,58,100,117,112,45,112,97,105,114,0,2049,10817,2049,10817,10,10879, - 10907,144,102,58,114,111,116,0,2049,10754,2049,10622,2049,10768,2049,10622,10,10898,10931,144, - 102,58,112,111,115,105,116,105,118,101,63,0,1,0,2049,10346,2049,10562,10,10916, - 10953,144,102,58,110,101,103,97,116,105,118,101,63,0,1,0,2049,10346,2049,10548, - 10,10938,10972,144,102,58,110,101,103,97,116,101,0,1,-1,2049,10346,2049,10444,10, - 10960,10988,144,102,58,97,98,115,0,2049,10592,2049,10953,1,10972,9,10,10979,11008,156, - 112,114,101,102,105,120,58,46,0,2049,1818,1,3668,1,3597,2049,64,1,10365,2049, - 144,10,10996,11030,144,102,58,112,117,116,0,2049,10405,2049,9352,10,11021,11043,144,102, - 58,80,73,0,2049,3642,51,46,49,52,49,53,57,50,0,1,11045,2049,10365,10, - 11035,11066,144,102,58,69,0,2049,3642,50,46,55,49,56,50,56,49,0,1,11068, - 2049,10365,10,11059,11091,144,102,58,78,65,78,0,2049,3642,48,0,1,11093,2049,10365, - 2049,3642,48,0,1,11101,2049,10365,2049,10456,10,11082,11119,144,102,58,73,78,70,0, - 2049,3642,49,46,48,0,1,11121,2049,10365,2049,3642,48,0,1,11131,2049,10365,2049,10456, - 10,11110,11150,144,102,58,45,73,78,70,0,2049,3642,45,49,46,48,0,1,11152, - 2049,10365,2049,3642,48,0,1,11163,2049,10365,2049,10456,10,11140,11182,144,102,58,110,97, - 110,63,0,2049,10592,2049,10534,10,11172,11197,144,102,58,105,110,102,63,0,2049,11119, - 2049,10519,10,11187,11213,144,102,58,45,105,110,102,63,0,2049,11150,2049,10519,10,11202, - 11229,144,102,58,114,111,117,110,100,0,2049,10592,2049,10953,1793,11250,2049,3642,48,46, - 53,0,1,11237,2049,10365,2049,10432,2049,10490,10,1,11235,1793,11269,2049,3642,48,46,53, - 0,1,11256,2049,10365,2049,10420,2049,10472,10,1,11254,2049,64,10,11218,11283,144,102,58, - 109,105,110,0,2049,10893,2049,10548,1,10607,1,10854,2049,64,10,11274,11303,144,102,58, - 109,97,120,0,2049,10893,2049,10562,1,10607,1,10854,2049,64,10,11294,11325,144,102,58, - 108,105,109,105,116,0,2049,10622,2049,10754,2049,11283,2049,10768,2049,11303,10,11314,11350,144, - 102,58,98,101,116,119,101,101,110,63,0,2049,10907,2049,10592,2049,10754,2049,10907,2049, - 10907,2049,11325,2049,10768,2049,10519,10,11336,11376,144,102,58,105,110,99,0,2049,3642,49, - 0,1,11378,2049,10365,2049,10420,10,11367,11396,144,102,58,100,101,99,0,2049,3642,49, - 0,1,11398,2049,10365,2049,10432,10,11387,11417,144,102,58,99,97,115,101,0,2049,10817, - 2049,10519,1793,11429,2049,10607,8,1,-1,10,1,11423,1793,11437,3,1,0,10,1,11433, - 2049,64,25,6,771,10,11407,11455,144,102,58,115,105,103,110,0,2049,10592,2049,3642, - 48,0,1,11459,2049,10365,2049,10519,1793,11474,1,0,2049,10607,10,1,11469,2049,2657,2049, - 3642,48,0,1,11480,2049,10365,2049,10562,1793,11493,1,1,10,1,11490,1793,11500,1,-1, - 10,1,11497,2049,64,10,11445,2147483645,131,101,58,77,65,88,0,11505,-2147483645,131,101,58, - 77,73,78,0,11514,-2147483647,131,101,58,78,65,78,0,11523,2147483646,131,101,58,73,78, - 70,0,11532,-2147483646,131,101,58,45,73,78,70,0,11541,11559,144,101,58,110,63,0, - 1,-2147483645,2049,2878,1,2147483645,2049,2891,2049,2909,10,11551,11580,144,101,58,109,97,120,63, - 0,1,2147483645,11,10,11570,11594,144,101,58,109,105,110,63,0,1,-2147483645,11,10,11584, - 11609,144,101,58,122,101,114,111,63,0,2049,2533,10,11598,11622,144,101,58,110,97, - 110,63,0,1,-2147483647,11,10,11612,11636,144,101,58,105,110,102,63,0,1,2147483646,11, - 10,11626,11651,144,101,58,45,105,110,102,63,0,1,-2147483646,11,10,11640,11665,144,101, - 58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2861,10,11655,11680,144,102,58,69,49, - 0,1793,11682,2049,3642,49,46,101,53,0,1,11684,2049,10365,10,11672,11706,144,102,58, - 45,115,104,105,102,116,0,2049,11680,2049,10444,10,11694,11723,144,102,58,43,115,104, - 105,102,116,0,2049,11680,2049,10456,10,11711,11745,144,102,58,115,105,103,110,101,100, - 45,115,113,114,116,0,2049,10592,2049,11455,2049,10988,2049,10505,2049,10346,2049,10444,10,11728, - 11771,144,102,58,43,101,110,99,111,100,101,0,2049,11745,2049,11706,10,11758,11789,144, - 102,58,45,101,110,99,111,100,101,0,2049,10592,2049,11455,2049,11723,2049,10592,2049,10444, - 2049,10346,2049,10444,10,11776,11823,144,102,58,115,105,103,110,101,100,45,115,113,117, - 97,114,101,0,2049,10592,2049,11455,2049,10592,2049,10444,2049,10346,2049,10444,10,11804,11846,144, - 102,58,116,111,45,101,0,2049,10592,2049,11182,1793,11857,2049,10607,1,-2147483647,10,1,11852, - 2049,2657,2049,10592,2049,11197,1793,11872,2049,10607,1,2147483646,10,1,11867,2049,2657,2049,10592,2049, - 11213,1793,11887,2049,10607,1,-2147483646,10,1,11882,2049,2657,2049,11771,2049,11229,2049,10385,2049,11665, - 1,-2147483645,1793,11906,2049,10607,10,1,11903,2049,2379,1,2147483645,1793,11917,2049,10607,10,1,11914, - 2049,2379,10,11836,11932,144,101,58,116,111,45,102,0,1,-2147483647,1793,11939,2049,11091,10, - 1,11936,2049,2379,1,2147483646,1793,11950,2049,11119,10,1,11947,2049,2379,1,-2147483646,1793,11961,2049, - 11150,10,1,11958,2049,2379,2049,10346,2049,11789,10,11922,11981,144,102,58,115,116,111,114, - 101,0,1793,11986,2049,11846,10,1,11983,2049,2106,16,10,11970,12003,144,102,58,102,101, - 116,99,104,0,15,2049,11932,10,11992,12023,144,102,58,100,117,109,112,45,115,116, - 97,99,107,0,2049,10578,2,1,10754,2049,2281,1793,12041,2049,10768,2049,10592,2049,11030,2049, - 9326,10,1,12032,2049,2281,10,12007,12063,144,102,58,100,117,109,112,45,97,115,116, - 97,99,107,0,2049,10785,2,1,10768,2049,2281,1793,12081,2049,10592,2049,11030,2049,9326,2049, - 10754,10,1,12072,2049,2281,10,12046,12095,144,101,58,112,117,116,0,1,2147483645,1793,12112, - 2049,3642,101,58,77,65,88,0,1,12101,2049,9352,10,1,12099,2049,2379,1,-2147483645,1793, - 12133,2049,3642,101,58,77,73,78,0,1,12122,2049,9352,10,1,12120,2049,2379,1,0, - 1793,12152,2049,3642,101,58,48,0,1,12143,2049,9352,10,1,12141,2049,2379,1,-2147483647,1793, - 12173,2049,3642,101,58,78,65,78,0,1,12162,2049,9352,10,1,12160,2049,2379,1,2147483646, - 1793,12194,2049,3642,101,58,73,78,70,0,1,12183,2049,9352,10,1,12181,2049,2379,1, - -2147483646,1793,12216,2049,3642,101,58,45,73,78,70,0,1,12204,2049,9352,10,1,12202,2049, - 2379,2049,11932,2049,11030,10,12086,12243,131,105,111,58,85,110,105,120,83,121,115,99, - 97,108,108,0,0,12225,12256,144,105,100,101,110,116,105,102,121,0,3841,12243,2049, - 2533,1793,12323,1,8,2049,9259,2,2049,2568,1793,12311,3,2049,3642,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,12274,2049,9352,2049,9315,10,1,12271,1793,12318,4097,12243,10,1, - 12315,2049,64,10,1,12262,9,10,12086,12346,144,105,111,58,117,110,105,120,45,115, - 121,115,99,97,108,108,0,2049,12256,3841,12243,2049,9233,10,12327,12368,144,117,110,105, - 120,58,115,121,115,116,101,109,0,1,0,2049,12346,10,12353,12386,144,117,110,105, - 120,58,102,111,114,107,0,1,1,2049,12346,10,12373,12405,144,117,110,105,120,58, - 101,120,101,99,48,0,1,2,2049,12346,10,12391,12424,144,117,110,105,120,58,101, - 120,101,99,49,0,1,3,2049,12346,10,12410,12443,144,117,110,105,120,58,101,120, - 101,99,50,0,1,4,2049,12346,10,12429,12462,144,117,110,105,120,58,101,120,101, - 99,51,0,1,5,2049,12346,10,12448,12480,144,117,110,105,120,58,101,120,105,116, - 0,1,6,2049,12346,10,12467,12500,144,117,110,105,120,58,103,101,116,112,105,100, - 0,1,7,2049,12346,10,12485,12518,144,117,110,105,120,58,119,97,105,116,0,1, - 8,2049,12346,10,12505,12536,144,117,110,105,120,58,107,105,108,108,0,1,9,2049, - 12346,10,12523,12555,144,117,110,105,120,58,112,111,112,101,110,0,1,10,2049,12346, - 10,12541,12575,144,117,110,105,120,58,112,99,108,111,115,101,0,1,11,2049,12346, - 10,12560,12594,144,117,110,105,120,58,99,104,100,105,114,0,1,13,2049,12346,10, - 12580,12614,144,117,110,105,120,58,103,101,116,101,110,118,0,1,14,2049,12346,10, - 12599,12634,144,117,110,105,120,58,112,117,116,101,110,118,0,1,15,2049,12346,10, - 12619,12653,144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049,12346,10,12639, - 12674,144,117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3642,112,119,100, - 0,1,12676,1,0,2049,12555,2,2049,10007,2049,5889,4,2049,12575,2049,3642,47,0,1, - 12696,2049,3848,10,12658,12730,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,3642,108,115,32,45,49,32,124, - 32,119,99,32,45,108,0,1,12732,1,0,2049,12555,2,2049,10007,2049,5889,2049,218, - 4,2049,12575,10,12703,12785,144,117,110,105,120,58,102,111,114,45,101,97,99,104, - 45,102,105,108,101,0,2049,3642,108,115,32,45,49,32,45,112,0,1,12787,1, - 0,2049,12555,2049,12730,1793,12820,1793,12815,2049,10007,2049,3597,67502597,8,10,1,12808,2049,2116, - 10,1,12806,2049,2281,2049,12575,3,10,12763,12837,144,115,116,97,114,116,0,4,2049, - 3424,1,0,2049,12555,10,12828,12853,144,114,101,97,100,0,2,2049,9645,2,2049,3332, - 2049,2533,10,12845,12872,144,102,105,110,105,115,104,0,2049,12575,2049,3404,10,12763,12896, - 144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,101,0,1793,12912,2049, - 12837,1793,12905,2049,12853,10,1,12902,2049,2256,2049,12872,10,1,12898,2049,3448,10,12877,12923, - 131,105,111,0,0,12917,12936,144,105,100,101,110,116,105,102,121,0,3841,12923,2049, - 2533,1793,13003,1,10,2049,9259,2,2049,2568,1793,12991,3,2049,3642,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,12954,2049,9352,2049,9315,10,1,12951,1793,12998,4097,12923,10,1, - 12995,2049,64,10,1,12942,9,10,12877,13027,144,105,111,58,114,110,103,45,111,112, - 101,114,97,116,105,111,110,0,2049,12936,3841,12923,2049,9233,10,13007,13046,144,110,58, - 114,97,110,100,111,109,0,2049,13027,10,13034,13060,131,83,111,99,107,101,116,115, - 0,0,13049,13073,144,105,100,101,110,116,105,102,121,0,3841,13060,2049,2533,1793,13140, - 1,7,2049,9259,2,2049,2568,1793,13128,3,2049,3642,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,13091,2049,9352,2049,9315,10,1,13088,1793,13135,4097,13060,10,1,13132,2049,64, - 10,1,13079,9,10,13034,13167,144,105,111,58,115,111,99,107,101,116,45,111,112, - 101,114,97,116,105,111,110,0,2049,13073,3841,13060,2049,9233,10,13144,13198,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,13167,10,13174,13220,144,115,111,99,107,101,116,58,99,114,101,97,116,101, - 0,1,1,2049,13167,10,13203,13240,144,115,111,99,107,101,116,58,98,105,110,100, - 0,1,2,2049,13167,10,13225,13262,144,115,111,99,107,101,116,58,108,105,115,116, - 101,110,0,1,3,2049,13167,10,13245,13284,144,115,111,99,107,101,116,58,97,99, - 99,101,112,116,0,1,4,2049,13167,10,13267,13307,144,115,111,99,107,101,116,58, - 99,111,110,110,101,99,116,0,1,5,2049,13167,10,13289,13327,144,115,111,99,107, - 101,116,58,115,101,110,100,0,1,6,2049,13167,10,13312,13347,144,115,111,99,107, - 101,116,58,114,101,99,118,0,1,8,2049,13167,10,13332,13368,144,115,111,99,107, - 101,116,58,99,108,111,115,101,0,1,10,2049,13167,10,13352,13393,144,115,111,99, - 107,101,116,58,99,111,110,102,105,103,117,114,101,0,1,11,2049,13167,10,13373, - 1024,131,84,73,66,0,13398,13419,144,105,109,97,103,101,58,115,97,118,101,0, - 1,1000,2049,9259,2049,9233,10,13405,13438,131,75,101,121,98,111,97,114,100,0,0, - 13426,13451,144,105,100,101,110,116,105,102,121,0,3841,13438,2049,2533,1793,13518,1,1, - 2049,9259,2,2049,2568,1793,13506,3,2049,3642,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,13469,2049,9352,2049,9315,10,1,13466,1793,13513,4097,13438,10,1,13510,2049,64,10,1, - 13457,9,10,13405,13531,144,99,58,103,101,116,0,2049,13451,3841,13438,2049,9233,10,13522, - 13548,144,103,97,116,104,101,114,0,2,1793,13555,1,8,11,10,1,13551,1793,13563, - 1,127,11,10,1,13559,2049,2128,22,1,11,1,3332,2049,64,10,13538,13584,144,99, - 121,99,108,101,0,2049,13531,2049,2096,4,8,2049,2465,25,3,2049,13548,1,13584,7, - 10,13522,13615,144,112,97,114,115,101,45,117,110,116,105,108,0,1793,13627,2049,3623, - 2049,3424,2049,13584,771,2049,3298,10,1,13617,2049,3448,10,13600,13641,144,115,58,103,101, - 116,0,1793,13663,1793,13649,1,10,11,10,1,13645,1793,13657,1,13,11,10,1,13653, - 2049,2128,22,10,1,13643,2049,13615,10,13632,13682,144,115,58,103,101,116,45,119,111, - 114,100,0,1,5481,2049,13615,10,13668,13700,131,83,99,114,105,112,116,105,110,103, - 0,7,13687,13713,144,105,100,101,110,116,105,102,121,0,3841,13700,2049,2533,1793,13780, - 1,9,2049,9259,2,2049,2568,1793,13768,3,2049,3642,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,13731,2049,9352,2049,9315,10,1,13728,1793,13775,4097,13700,10,1,13772,2049,64, - 10,1,13719,9,10,13668,13796,144,115,121,115,58,97,114,103,99,0,2049,13713,1, - 0,3841,13700,2049,9233,10,13784,13817,144,115,121,115,58,97,114,103,118,0,2049,3623, - 4,2049,13713,1,1,3841,13700,2049,9233,10,13805,13840,144,105,110,99,108,117,100,101, - 0,2049,13713,1,2,3841,13700,2049,9233,10,13829,13861,144,115,121,115,58,110,97,109, - 101,0,2049,3623,2049,13713,1,3,3841,13700,2049,9233,10,13849,13881,144,99,108,101,97, - 114,0,1,27,2049,9302,2049,3642,91,50,74,0,1,13887,2049,9352,1,27,2049,9302, - 2049,3642,91,48,59,48,72,0,1,13901,2049,9352,10,13872,13922,131,78,111,69,99, - 104,111,0,0,13912,13930,144,98,121,101,0,1,0,2049,12480,10,13923,13946,144,118, - 101,114,115,105,111,110,0,3841,4,1,100,20,10,13935,13961,144,100,111,110,101, - 63,0,1793,13967,1,13,11,10,1,13963,1793,13975,1,10,11,10,1,13971,1793,13983, - 1,32,11,10,1,13979,2049,2165,22,22,10,13952,14000,144,118,97,108,105,100,63, - 0,2,2049,79,2049,2615,10,13990,14019,144,99,104,101,99,107,45,101,111,102,0, - 2,1793,14026,1,-1,11,10,1,14022,1793,14034,1,4,11,10,1,14030,2049,2128,22, - 1,13930,9,10,14006,14049,144,98,115,0,2049,3356,2049,3356,771,10,14043,14067,144,99, - 104,101,99,107,45,98,115,0,2,1793,14074,1,8,11,10,1,14070,1793,14082,1, - 127,11,10,1,14078,2049,2128,22,1,14049,9,10,14055,14100,144,99,104,101,99,107, - 0,2049,14019,2049,14067,10,14091,14118,144,99,104,97,114,97,99,116,101,114,0,2049, - 13531,2,2049,3332,10,14105,14134,144,98,117,102,102,101,114,0,1793,14144,1,1024,2049, - 3424,8,2049,3298,10,1,14136,2049,3448,10,14124,14163,144,114,101,97,100,45,116,111, - 107,101,110,0,1793,14179,1793,14174,2049,14118,2049,14100,2049,13961,10,1,14167,2049,2256,10, - 1,14165,2049,14134,2049,3720,10,14149,14195,144,105,110,112,117,116,0,2049,14163,2049,14000, - 10,14186,14211,144,112,114,111,99,101,115,115,0,1,365,1,11,2049,64,10,13923, - 14228,144,98,97,110,110,101,114,0,2049,13946,2049,3642,82,69,84,82,79,32,49, - 50,32,40,37,110,46,37,110,41,92,110,0,1,14232,2049,7165,2049,9352,2049,1543, - 2049,1877,18,2049,1877,2049,1543,2049,3642,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,14268,2049,7165, - 2049,9352,10,14218,14312,144,108,105,115,116,101,110,0,3841,13922,1793,14319,2049,14228,10, - 1,14316,2049,70,2049,14195,2049,14211,1,14323,7,10,14302,14340,131,67,108,111,99,107, - 0,0,14331,14353,144,105,100,101,110,116,105,102,121,0,3841,14340,2049,2533,1793,14420, - 1,5,2049,9259,2,2049,2568,1793,14408,3,2049,3642,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,14371,2049,9352,2049,9315,10,1,14368,1793,14415,4097,14340,10,1,14412,2049,64, - 10,1,14359,9,10,14302,14446,144,105,111,58,99,108,111,99,107,45,111,112,101, - 114,97,116,105,111,110,0,2049,14353,3841,14340,2049,9233,10,14424,14472,144,99,108,111, - 99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14446,10,14453,14490, - 144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14446,10,14477,14510,144,99, - 108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14446,10,14495,14529,144,99, - 108,111,99,107,58,121,101,97,114,0,1,3,2049,14446,10,14515,14548,144,99,108, - 111,99,107,58,104,111,117,114,0,1,4,2049,14446,10,14534,14569,144,99,108,111, - 99,107,58,109,105,110,117,116,101,0,1,5,2049,14446,10,14553,14590,144,99,108, - 111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14446,10,14574,14612,144,99, - 108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14446,10,14595,14636, - 144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049, - 14446,10,14617,14659,144,99,108,111,99,107,58,117,116,99,58,121,101,97,114,0, - 1,9,2049,14446,10,14641,14682,144,99,108,111,99,107,58,117,116,99,58,104,111, - 117,114,0,1,10,2049,14446,10,14664,14707,144,99,108,111,99,107,58,117,116,99, - 58,109,105,110,117,116,101,0,1,11,2049,14446,10,14687,14732,144,99,108,111,99, - 107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14446,10,14712,14748, - 144,100,58,119,111,114,100,115,0,1793,14757,2049,162,2049,9352,2049,9326,10,1,14750, - 2049,7397,10,14737,14778,144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049, - 1877,2049,4537,1793,14809,2049,162,2,2049,1877,2049,4161,1793,14798,2049,9352,2049,9326,10,1, - 14793,1793,14804,3,10,1,14802,2049,64,10,1,14784,2049,7397,10,14762,14833,144,100,105, - 115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1877,2049,4461,1793, - 14845,2049,9352,2049,9326,10,1,14840,1793,14851,3,10,1,14849,2049,64,10,14762,14882,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,4537,1793,14893,2049,162,2049,14833,10,1,14888,2049,7397,10,14856, - 14908,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,14898,14934, - 144,105,110,118,97,108,105,100,45,110,97,109,101,63,0,2,1,32,2049,3992, - 10,14917,14951,144,114,101,119,114,105,116,101,0,1793,14965,1,32,1793,14960,1,95, - 10,1,14957,2049,2379,10,1,14953,2049,4332,10,14940,14979,144,101,110,116,114,121,0, - 2049,1877,1,21,2049,2106,4097,2,10,1793,15007,1793,15002,2049,14908,2049,14934,1,14951,9, - 2049,119,10,1,14992,2049,14979,10,1,14990,0 }; + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6478,6622,131, + 84,80,0,0,6616,6631,144,115,97,118,101,0,2049,3670,3841,6622,1,6488,17,2049, + 2880,16,1,6622,2049,2978,10,6623,6654,144,110,101,120,116,0,1793,6660,3841,6477,17, + 10,1,6656,2049,2116,10,6646,6673,144,100,111,110,101,0,2049,79,2049,2533,10,6280, + 6702,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,6622,1793,6716,2,1,6339,2049,4539,2049,3850,10,1,6708,1793, + 6725,2049,79,4097,6477,10,1,6720,2049,2128,1793,6742,1,6339,2049,6153,2049,6631,2049,6654, + 2049,6673,10,1,6731,2049,2256,1,6488,3841,6622,2049,2893,4097,6488,10,6678,6760,131,81, + 0,0,6755,6773,144,102,111,114,45,101,97,99,104,0,1,6760,1793,6803,4097,6760, + 2049,56,1793,6797,2049,56,4,1793,6792,3841,6760,8,10,1,6788,2049,2106,10,1,6783, + 2049,2281,3,10,1,6777,2049,3069,10,6761,6822,144,115,117,98,115,116,105,116,117, + 116,101,0,2049,3515,1,129,18,10,6808,6839,144,101,120,116,114,97,99,116,0, + 2049,6822,2049,4539,10,6828,6856,144,116,111,107,101,110,105,122,101,0,2049,6702,2049, + 3625,10,6844,6872,144,99,111,109,98,105,110,101,0,2049,6822,2049,3850,2049,3850,10, + 6861,6888,144,109,101,114,103,101,0,4,1,6872,2049,6773,772,10,6879,6907,144,102, + 105,110,100,45,101,110,100,0,2,2049,79,2049,6822,2049,79,18,67502597,17,10,6895, + 6927,144,99,108,101,97,110,0,2049,6907,1,0,4,16,10,6678,6951,144,115,58, + 114,101,112,108,97,99,101,45,97,108,108,0,1,3,1793,6966,2049,6839,2049,6856, + 2049,6888,2049,6927,2049,3599,10,1,6955,2049,3069,10,6934,6979,144,99,104,97,114,0, + 1,32,1793,6988,1,95,2049,3334,10,1,6983,2049,2379,1,114,1793,7001,1,13,2049, + 3334,10,1,6996,2049,2379,1,110,1793,7014,1,10,2049,3334,10,1,7009,2049,2379,1, + 116,1793,7027,1,9,2049,3334,10,1,7022,2049,2379,1,48,1793,7040,1,0,2049,3334, + 10,1,7035,2049,2379,2049,3334,10,6971,7057,144,115,116,114,105,110,103,0,2049,56, + 25,2049,3334,1,7057,7,10,7047,7074,144,116,121,112,101,0,1,99,1793,7082,4, + 2049,3334,10,1,7078,2049,2379,1,115,1793,7095,4,2049,7057,3,10,1,7090,2049,2379, + 1,110,1793,7110,4,2049,5951,2049,7057,3,10,1,7103,2049,2379,3,10,7066,7126,144, + 104,97,110,100,108,101,0,1,92,1793,7135,2049,56,2049,6979,10,1,7130,2049,2379, + 1,37,1793,7148,2049,56,2049,7074,10,1,7143,2049,2379,2049,3334,10,6934,7167,144,115, + 58,102,111,114,109,97,116,0,1793,7196,2049,3625,1793,7191,2049,3426,1793,7186,2049,56, + 25,2049,7126,1,7177,7,10,1,7177,8,3,10,1,7173,2049,2116,10,1,7169,2049, + 3450,10,7155,7212,144,115,58,99,111,110,115,116,0,1,3670,2049,2106,2049,2022,10, + 7201,7229,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,7219,7265, + 144,102,114,111,109,0,2049,79,2,1793,7284,1793,7277,1,7229,17,16,10,1,7272, + 2049,2116,2049,2893,10,1,7270,2049,2281,3,10,7257,7296,144,116,111,0,2,2049,79, + 1793,7314,2049,56,1,97,18,2049,2880,1,7229,17,15,4,10,1,7301,2049,2281,3, + 10,7201,7331,144,114,101,111,114,100,101,114,0,1,7265,2049,2106,2049,7296,10,7320, + 7347,144,99,117,114,114,121,0,2049,1877,1793,7357,4,2049,1731,2049,1754,10,1,7351, + 2049,2106,10,7338,7370,144,100,111,101,115,0,2049,1588,4,2049,7347,2049,1570,2049,158, + 16,1,144,2049,1649,10,7362,7399,144,100,58,102,111,114,45,101,97,99,104,0, + 1,2,1793,7427,15,25,2049,2096,1793,7419,1793,7414,4,8,10,1,7411,2049,2106,10, + 1,7409,2049,2106,1,7403,7,10,1,7403,8,3,10,7385,7447,144,100,58,108,111, + 111,107,117,112,45,120,116,0,1,0,4,1793,7473,2049,2096,2049,158,15,11,1793, + 7466,4,1,2057,2049,2106,10,1,7460,1,11,2049,64,10,1,7452,2049,7399,3,10, + 7432,7491,144,97,58,108,101,110,103,116,104,0,15,10,7479,7514,144,97,58,99, + 111,117,110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049,1877,1793,7527, + 2,2049,105,1,105,2049,2281,10,1,7519,2049,2106,10,7493,7549,144,97,58,102,114, + 111,109,45,115,116,114,105,110,103,0,2049,1877,1793,7563,2,2049,79,2049,105,1, + 105,2049,3868,10,1,7553,2049,2106,10,7532,7573,131,81,0,0,7532,7588,144,97,58, + 102,111,114,45,101,97,99,104,0,1,7573,1793,7618,4097,7573,2049,56,1793,7612,2049, + 56,4,1793,7607,3841,7573,8,10,1,7603,2049,2106,10,1,7598,2049,2281,3,10,1, + 7592,2049,3069,10,7574,7632,144,97,58,100,117,112,0,2049,1877,1793,7645,2,15,2049, + 105,1,105,2049,7588,10,1,7636,2049,2106,10,7623,7660,144,97,58,99,111,112,121, + 0,1,3,1793,7676,4097,3,2,2049,7491,2049,105,1,105,2049,7588,10,1,7664,2049, + 3069,10,7650,7696,144,97,58,116,111,45,115,116,114,105,110,103,0,1,3,1793, + 7709,2049,7632,1,0,2049,105,2049,2880,10,1,7700,2049,3069,2049,3599,10,7681,7724,144, + 99,111,112,121,0,2,15,1793,7733,1,105,2049,7588,10,1,7728,2049,2106,10,7681, + 7751,144,97,58,112,114,101,112,101,110,100,0,2049,1877,1,0,2049,105,1793,7766, + 2049,7724,4,2049,7724,17,10,1,7759,2049,2106,1,36,2049,2116,10,7738,7787,144,97, + 58,97,112,112,101,110,100,0,4,2049,7751,10,7775,7801,144,97,58,99,104,111, + 112,0,2049,7632,1,-1,2049,3050,2,2049,2993,10,7791,7823,144,97,58,102,105,108, + 116,101,114,0,1793,7838,67502597,1,21,2049,2106,4,1,105,1,11,2049,64,10,1, + 7825,2049,7347,2049,1877,1793,7853,67502597,15,2049,105,2049,7588,10,1,7846,2049,2106,2049,1877, + 67502597,18,2049,2893,67502597,16,10,7811,7881,144,97,58,99,111,110,116,97,105,110,115, + 63,0,1,0,4,1793,7893,4,5,67502597,11,6,22,10,1,7886,2049,7588,772,10, + 7866,7921,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,105,110,103, + 63,0,1,0,4,1793,7934,4,5,67502597,2049,93,6,22,10,1,7926,2049,7588,772, + 10,7899,7952,131,76,111,99,97,116,105,111,110,0,0,7940,7964,144,112,114,101, + 112,97,114,101,0,4,1,-1,4097,7952,10,7953,7978,144,110,101,120,116,0,3841, + 7952,2049,2568,1793,7989,1,7952,2049,2993,10,1,7984,9,10,7970,8003,144,109,97,116, + 99,104,63,0,67502597,11,2,1793,8014,3,3841,7952,2049,2568,10,1,8008,9,10,7993, + 8032,144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,2,1793,8044,3, + 3841,7952,2049,2568,10,1,8038,9,10,8018,8058,144,117,112,100,97,116,101,0,3841, + 7952,2049,2845,2049,2893,4097,7952,10,7899,8081,144,97,58,105,110,100,101,120,45,111, + 102,0,2049,7964,2049,2096,2049,7881,1793,8093,771,1,-1,10,1,8089,2049,2676,1793,8107, + 2049,8003,1,8058,9,2049,7978,10,1,8099,2049,7588,3,3841,7952,10,8067,8136,144,97, + 58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,2049,7964,2049, + 2096,2049,7921,1793,8148,771,1,-1,10,1,8144,2049,2676,1793,8162,2049,8032,1,8058,9, + 2049,7978,10,1,8154,2049,7588,3,3841,7952,10,8115,8179,144,97,58,109,97,112,0, + 1793,8185,8,2049,105,10,1,8181,2049,7347,2049,1877,1793,8200,67502597,15,2049,105,2049,7588, + 10,1,8193,2049,2106,10,8170,8218,144,97,58,114,101,118,101,114,115,101,0,2049, + 1877,1793,8252,2049,56,1793,8230,17,2049,2893,10,1,8226,2049,2116,2,2049,105,1793,8246, + 2,15,2049,105,2049,2893,10,1,8239,2049,2281,3,10,1,8222,2049,2106,10,8205,8265, + 144,97,58,116,104,0,17,2049,2880,10,8257,8280,144,97,58,102,101,116,99,104, + 0,2049,8265,15,10,8269,8295,144,97,58,115,116,111,114,101,0,2049,8265,16,10, + 8284,8311,144,97,58,114,101,100,117,99,101,0,1,13,2049,2106,2049,7588,10,8299, + 8328,144,97,58,109,97,107,101,0,2049,7514,2049,8218,10,8318,8338,156,123,0,1, + 285,2049,156,1,1556,2049,144,1,285,2049,156,10,8333,8356,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,8328,2049,144,10,8351,8400,144,98,111,117,110,100,115,63, + 0,67502597,2049,7491,67502597,13,10,8389,8414,144,99,111,112,121,0,2049,56,2049,105,10, + 8406,8429,144,116,111,45,101,110,100,0,2,2049,7491,17,2049,2880,10,8351,8446,144, + 97,58,108,101,102,116,0,2049,8400,1793,8454,771,1,-1,10,1,8450,2049,2659,2049, + 1877,67502597,2049,105,1793,8475,1,2880,2049,2106,1,8414,2049,2281,3,10,1,8465,2049,2106, + 10,8436,8491,144,97,58,114,105,103,104,116,0,2049,8400,1793,8499,771,1,-1,10, + 1,8495,2049,2659,2049,1877,67502597,2049,105,1793,8522,4,2049,8429,67502597,18,4,1,8414,2049, + 2281,3,10,1,8510,2049,2106,10,8480,8539,144,97,58,109,105,100,100,108,101,0, + 1,2048,2049,2106,4,67502597,2049,8400,1793,8554,771,3,1,-1,10,1,8549,2049,2659,771, + 2049,2096,4,18,2049,2880,2049,1877,67502597,2049,105,1793,8589,772,1793,8579,17,2049,2880,10, + 1,8575,2049,2106,1,8414,2049,2281,3,10,1,8572,2049,2106,10,8527,8602,131,70,108, + 97,103,0,0,8594,8614,144,99,111,109,112,97,114,101,0,67440386,184946434,10,8603,8627, + 144,108,101,110,103,116,104,0,659202,10,8617,8637,144,110,101,120,116,0,17043713,1, + 1,2577,10,8629,8655,144,110,111,116,45,101,113,117,97,108,0,50529030,2561,0,10, + 8642,8667,144,108,111,111,112,0,524549,8637,2049,8614,18157313,8602,8602,16,420610310,1,1,8667, + 7,10,8527,8690,144,97,58,101,113,63,0,1048833,-1,8602,2049,8614,151066369,-1,8655,2049, + 8627,2049,8667,251724547,8602,10,8681,8715,144,97,58,45,101,113,63,0,2049,8690,2049,2465, + 10,8705,8738,144,97,58,98,101,103,105,110,115,45,119,105,116,104,63,0,1, + 3,1793,8754,2,2049,7491,1,13,2049,2106,2049,8446,2049,8690,10,1,8742,2049,3069,10, + 8720,8775,144,97,58,101,110,100,115,45,119,105,116,104,63,0,1,3,1793,8791, + 2,2049,7491,1,13,2049,2106,2049,8491,2049,8690,10,1,8779,2049,3069,10,8759,8812,144, + 99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3515,1,1025,18,10,8796, + 8834,144,99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8840,1,32,11, + 10,1,8836,2049,4292,2049,79,10,8818,8865,144,112,114,111,99,101,115,115,45,116, + 111,107,101,110,115,0,1793,8893,1,32,2049,6118,4,1793,8886,2,2049,79,2049,2549, + 1,365,1,11,2049,64,10,1,8874,2049,2106,2049,2880,10,1,8867,2049,2281,2049,365, + 10,8759,8914,144,115,58,101,118,97,108,117,97,116,101,0,2049,8812,2049,4539,2049, + 8812,2,2049,8834,2049,8865,10,8900,8932,131,76,80,0,0,8926,8942,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,8933,8982,144,110,101, + 120,116,0,3841,8932,1,8942,17,2049,2978,10,8974,8998,144,112,114,101,112,0,1, + 8932,2049,2978,1,0,3841,8932,1,8942,17,16,10,8990,9019,144,100,111,110,101,0, + 1,8932,2049,2993,10,8900,9029,144,73,0,3841,8932,1,8942,17,15,10,9024,9041,144, + 74,0,3841,8932,1,8942,17,2049,2893,15,10,9036,9055,144,75,0,3841,8932,1,8942, + 17,1,2,18,15,10,9050,9086,144,116,105,109,101,115,60,119,105,116,104,45, + 105,110,100,101,120,62,0,2049,8998,4,1793,9102,25,33886721,1,2053,1542,2049,8982,1, + 9091,7,10,1,9091,8,3,2049,9019,10,9065,9117,156,104,111,111,107,0,2049,3644, + 108,105,106,117,46,46,46,46,0,1,9119,2049,412,2049,1877,2049,2880,2049,105,10, + 9109,9151,144,115,101,116,45,104,111,111,107,0,2049,2880,16,10,9139,9165,144,117, + 110,104,111,111,107,0,2049,2880,2,2049,2880,4,16,10,9155,9189,144,105,111,58, + 101,110,117,109,101,114,97,116,101,0,27,10,9173,9203,144,105,111,58,113,117, + 101,114,121,0,28,10,9191,9218,144,105,111,58,105,110,118,111,107,101,0,29, + 10,9205,9228,131,83,108,111,116,0,9,9205,9244,144,105,111,58,115,99,97,110, + 45,102,111,114,0,1,-1,4097,9228,2049,9189,1793,9270,2049,9029,2049,9203,772,67502597,11, + 1793,9266,2049,9029,4097,9228,10,1,9261,9,10,1,9252,2049,9086,3,3841,9228,10,9229, + 9287,144,99,58,112,117,116,0,1793,9289,1,0,2049,9218,10,9278,9300,144,110,108, + 0,1,10,2049,9287,10,9294,9311,144,115,112,0,1,32,2049,9287,10,9305,9323,144, + 116,97,98,0,1,9,2049,9287,10,9316,9337,144,115,58,112,117,116,0,1,9287, + 2049,3868,10,9328,9351,144,110,58,112,117,116,0,2049,5951,2049,9337,10,9342,9365,144, + 114,101,115,101,116,0,2049,1556,25,771,1,9365,7,10,9356,9387,144,100,117,109, + 112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9387,6,2,2049,9351,2049, + 9311,10,9373,9409,144,70,82,69,69,0,2049,3515,1,1025,18,2049,1877,18,10,9401, + 9427,131,70,105,108,101,115,0,0,9418,9440,144,105,100,101,110,116,105,102,121, + 0,3841,9427,2049,2533,1793,9507,1,4,2049,9244,2,2049,2568,1793,9495,3,2049,3644,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,9458,2049,9337,2049,9300,10,1,9455,1793,9502, + 4097,9427,10,1,9499,2049,64,10,1,9446,9,10,9401,9532,144,105,111,58,102,105, + 108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9440,3841,9427,2049,9218,10, + 9511,0,131,102,105,108,101,58,82,0,9539,1,131,102,105,108,101,58,87,0, + 9549,2,131,102,105,108,101,58,65,0,9559,3,131,102,105,108,101,58,82,43, + 0,9569,9593,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,9532,10,9580, + 9612,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9532,10,9598,9630, + 144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9532,10,9617,9649,144,102, + 105,108,101,58,119,114,105,116,101,0,1,3,2049,9532,10,9635,9667,144,102,105, + 108,101,58,116,101,108,108,0,1,4,2049,9532,10,9654,9685,144,102,105,108,101, + 58,115,101,101,107,0,1,5,2049,9532,10,9672,9703,144,102,105,108,101,58,115, + 105,122,101,0,1,6,2049,9532,10,9690,9723,144,102,105,108,101,58,100,101,108, + 101,116,101,0,1,7,2049,9532,10,9708,9742,144,102,105,108,101,58,102,108,117, + 115,104,0,1,8,2049,9532,10,9728,9763,144,102,105,108,101,58,101,120,105,115, + 116,115,63,0,1,0,2049,9593,2,2049,2549,1793,9777,2049,9612,2049,2356,10,1,9772, + 1793,9785,3,2049,2368,10,1,9781,2049,64,10,9747,9816,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, + 9593,2,2049,9703,4,10,9790,9850,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,9593,2,2049,9703,4,10, + 9825,9885,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,9593,10,9859,9897,131,70,73,68,0,0,9890, + 9906,131,83,105,122,101,0,0,9898,9917,131,65,99,116,105,111,110,0,0,9907, + 9928,131,66,117,102,102,101,114,0,0,9918,9938,144,45,101,111,102,63,0,3841, + 9897,2049,9667,3841,9906,13,10,9929,9958,144,112,114,101,115,101,114,118,101,0,1, + 9897,1793,9969,1,9906,1,21,2049,3069,10,1,9962,2049,3069,10,9859,9992,144,102,105, + 108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9897,1793,10049,2049,1877,2, + 4097,9928,2049,3426,1793,10041,3841,9897,2049,9630,2,2049,3334,1793,10018,1,13,11,10,1, + 10014,1793,10026,1,10,11,10,1,10022,1793,10034,1,0,11,10,1,10030,2049,2165,22, + 22,10,1,10005,2049,2256,2049,3358,3,10,1,9996,2049,3450,3841,9928,10,9974,10078,144, + 102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,101,0,1793, + 10109,4097,9917,2049,9816,4097,9897,4097,9906,1793,10100,3841,9897,2049,9992,3841,9917,8,2049,9938, + 10,1,10090,2049,2233,3841,9897,2049,9612,10,1,10080,2049,9958,10,10056,10121,131,70,73, + 68,0,0,10056,10136,144,102,105,108,101,58,115,108,117,114,112,0,1793,10163,4, + 2049,3426,2049,9816,4097,10121,1793,10154,3841,10121,2049,9630,2049,3334,10,1,10147,2049,2281,3841, + 10121,2049,9612,10,1,10138,2049,3450,10,10122,10181,144,102,105,108,101,58,115,112,101, + 119,0,2049,9885,4,1793,10190,67502597,2049,9649,10,1,10186,2049,3868,2049,9612,10,10168,10204, + 131,70,80,85,0,0,10197,10217,144,105,100,101,110,116,105,102,121,0,3841,10204, + 2049,2533,1793,10284,1,2,2049,9244,2,2049,2568,1793,10272,3,2049,3644,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,10235,2049,9337,2049,9300,10,1,10232,1793,10279,4097,10204,10, + 1,10276,2049,64,10,1,10223,9,10,10168,10310,144,105,111,58,102,108,111,97,116, + 45,111,112,101,114,97,116,105,111,110,0,2049,10217,3841,10204,2049,9218,10,10288,10331, + 144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10310,10,10317,10350,144, + 115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10310,10,10336,10370,144,102, + 58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10310,10,10355,10390,144,102, + 58,116,111,45,115,116,114,105,110,103,0,2049,3625,2,1,3,2049,10310,10,10375, + 10405,144,102,58,43,0,1,4,2049,10310,10,10398,10417,144,102,58,45,0,1,5, + 2049,10310,10,10410,10429,144,102,58,42,0,1,6,2049,10310,10,10422,10441,144,102,58, + 47,0,1,7,2049,10310,10,10434,10457,144,102,58,102,108,111,111,114,0,1,8, + 2049,10310,10,10446,10475,144,102,58,99,101,105,108,105,110,103,0,1,9,2049,10310, + 10,10462,10490,144,102,58,115,113,114,116,0,1,10,2049,10310,10,10480,10504,144,102, + 58,101,113,63,0,1,11,2049,10310,10,10495,10519,144,102,58,45,101,113,63,0, + 1,12,2049,10310,10,10509,10533,144,102,58,108,116,63,0,1,13,2049,10310,10,10524, + 10547,144,102,58,103,116,63,0,1,14,2049,10310,10,10538,10563,144,102,58,100,101, + 112,116,104,0,1,15,2049,10310,10,10552,10577,144,102,58,100,117,112,0,1,16, + 2049,10310,10,10568,10592,144,102,58,100,114,111,112,0,1,17,2049,10310,10,10582,10607, + 144,102,58,115,119,97,112,0,1,18,2049,10310,10,10597,10621,144,102,58,108,111, + 103,0,1,19,2049,10310,10,10612,10637,144,102,58,112,111,119,101,114,0,1,20, + 2049,10310,10,10626,10651,144,102,58,115,105,110,0,1,21,2049,10310,10,10642,10665,144, + 102,58,99,111,115,0,1,22,2049,10310,10,10656,10679,144,102,58,116,97,110,0, + 1,23,2049,10310,10,10670,10694,144,102,58,97,115,105,110,0,1,24,2049,10310,10, + 10684,10709,144,102,58,97,99,111,115,0,1,25,2049,10310,10,10699,10724,144,102,58, + 97,116,97,110,0,1,26,2049,10310,10,10714,10739,144,102,58,112,117,115,104,0, + 1,27,2049,10310,10,10729,10753,144,102,58,112,111,112,0,1,28,2049,10310,10,10744, + 10770,144,102,58,97,100,101,112,116,104,0,1,29,2049,10310,10,10758,10787,144,102, + 58,115,113,117,97,114,101,0,2049,10577,2049,10429,10,10775,10802,144,102,58,111,118, + 101,114,0,2049,10739,2049,10577,2049,10753,2049,10607,10,10792,10821,144,102,58,116,117,99, + 107,0,2049,10577,2049,10739,2049,10607,2049,10753,10,10811,10839,144,102,58,110,105,112,0, + 2049,10607,2049,10592,10,10830,10859,144,102,58,100,114,111,112,45,112,97,105,114,0, + 2049,10592,2049,10592,10,10844,10878,144,102,58,100,117,112,45,112,97,105,114,0,2049, + 10802,2049,10802,10,10864,10892,144,102,58,114,111,116,0,2049,10739,2049,10607,2049,10753,2049, + 10607,10,10883,10916,144,102,58,112,111,115,105,116,105,118,101,63,0,1,0,2049, + 10331,2049,10547,10,10901,10938,144,102,58,110,101,103,97,116,105,118,101,63,0,1, + 0,2049,10331,2049,10533,10,10923,10957,144,102,58,110,101,103,97,116,101,0,1,-1, + 2049,10331,2049,10429,10,10945,10973,144,102,58,97,98,115,0,2049,10577,2049,10938,1,10957, + 9,10,10964,10993,156,112,114,101,102,105,120,58,46,0,2049,1818,1,3670,1,3599, + 2049,64,1,10350,2049,144,10,10981,11015,144,102,58,112,117,116,0,2049,10390,2049,9337, + 10,11006,11028,144,102,58,80,73,0,2049,3644,51,46,49,52,49,53,57,50,0, + 1,11030,2049,10350,10,11020,11051,144,102,58,69,0,2049,3644,50,46,55,49,56,50, + 56,49,0,1,11053,2049,10350,10,11044,11076,144,102,58,78,65,78,0,2049,3644,48, + 0,1,11078,2049,10350,2049,3644,48,0,1,11086,2049,10350,2049,10441,10,11067,11104,144,102, + 58,73,78,70,0,2049,3644,49,46,48,0,1,11106,2049,10350,2049,3644,48,0,1, + 11116,2049,10350,2049,10441,10,11095,11135,144,102,58,45,73,78,70,0,2049,3644,45,49, + 46,48,0,1,11137,2049,10350,2049,3644,48,0,1,11148,2049,10350,2049,10441,10,11125,11167, + 144,102,58,110,97,110,63,0,2049,10577,2049,10519,10,11157,11182,144,102,58,105,110, + 102,63,0,2049,11104,2049,10504,10,11172,11198,144,102,58,45,105,110,102,63,0,2049, + 11135,2049,10504,10,11187,11214,144,102,58,114,111,117,110,100,0,2049,10577,2049,10938,1793, + 11235,2049,3644,48,46,53,0,1,11222,2049,10350,2049,10417,2049,10475,10,1,11220,1793,11254, + 2049,3644,48,46,53,0,1,11241,2049,10350,2049,10405,2049,10457,10,1,11239,2049,64,10, + 11203,11268,144,102,58,109,105,110,0,2049,10878,2049,10533,1,10592,1,10839,2049,64,10, + 11259,11288,144,102,58,109,97,120,0,2049,10878,2049,10547,1,10592,1,10839,2049,64,10, + 11279,11310,144,102,58,108,105,109,105,116,0,2049,10607,2049,10739,2049,11268,2049,10753,2049, + 11288,10,11299,11335,144,102,58,98,101,116,119,101,101,110,63,0,2049,10892,2049,10577, + 2049,10739,2049,10892,2049,10892,2049,11310,2049,10753,2049,10504,10,11321,11361,144,102,58,105,110, + 99,0,2049,3644,49,0,1,11363,2049,10350,2049,10405,10,11352,11381,144,102,58,100,101, + 99,0,2049,3644,49,0,1,11383,2049,10350,2049,10417,10,11372,11402,144,102,58,99,97, + 115,101,0,2049,10802,2049,10504,1793,11414,2049,10592,8,1,-1,10,1,11408,1793,11422,3, + 1,0,10,1,11418,2049,64,25,6,771,10,11392,11440,144,102,58,115,105,103,110, + 0,2049,10577,2049,3644,48,0,1,11444,2049,10350,2049,10504,1793,11459,1,0,2049,10592,10, + 1,11454,2049,2659,2049,3644,48,0,1,11465,2049,10350,2049,10547,1793,11478,1,1,10,1, + 11475,1793,11485,1,-1,10,1,11482,2049,64,10,11430,2147483645,131,101,58,77,65,88,0, + 11490,-2147483645,131,101,58,77,73,78,0,11499,-2147483647,131,101,58,78,65,78,0,11508,2147483646, + 131,101,58,73,78,70,0,11517,-2147483646,131,101,58,45,73,78,70,0,11526,11544,144, + 101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11536,11565,144,101, + 58,109,97,120,63,0,1,2147483645,11,10,11555,11579,144,101,58,109,105,110,63,0, + 1,-2147483645,11,10,11569,11594,144,101,58,122,101,114,111,63,0,2049,2533,10,11583,11607, + 144,101,58,110,97,110,63,0,1,-2147483647,11,10,11597,11621,144,101,58,105,110,102, + 63,0,1,2147483646,11,10,11611,11636,144,101,58,45,105,110,102,63,0,1,-2147483646,11, + 10,11625,11650,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,10,11640,11665, + 144,102,58,69,49,0,1793,11667,2049,3644,49,46,101,53,0,1,11669,2049,10350,10, + 11657,11691,144,102,58,45,115,104,105,102,116,0,2049,11665,2049,10429,10,11679,11708,144, + 102,58,43,115,104,105,102,116,0,2049,11665,2049,10441,10,11696,11730,144,102,58,115, + 105,103,110,101,100,45,115,113,114,116,0,2049,10577,2049,11440,2049,10973,2049,10490,2049, + 10331,2049,10429,10,11713,11756,144,102,58,43,101,110,99,111,100,101,0,2049,11730,2049, + 11691,10,11743,11774,144,102,58,45,101,110,99,111,100,101,0,2049,10577,2049,11440,2049, + 11708,2049,10577,2049,10429,2049,10331,2049,10429,10,11761,11808,144,102,58,115,105,103,110,101, + 100,45,115,113,117,97,114,101,0,2049,10577,2049,11440,2049,10577,2049,10429,2049,10331,2049, + 10429,10,11789,11831,144,102,58,116,111,45,101,0,2049,10577,2049,11167,1793,11842,2049,10592, + 1,-2147483647,10,1,11837,2049,2659,2049,10577,2049,11182,1793,11857,2049,10592,1,2147483646,10,1,11852, + 2049,2659,2049,10577,2049,11198,1793,11872,2049,10592,1,-2147483646,10,1,11867,2049,2659,2049,11756,2049, + 11214,2049,10370,2049,11650,1,-2147483645,1793,11891,2049,10592,10,1,11888,2049,2379,1,2147483645,1793,11902, + 2049,10592,10,1,11899,2049,2379,10,11821,11917,144,101,58,116,111,45,102,0,1,-2147483647, + 1793,11924,2049,11076,10,1,11921,2049,2379,1,2147483646,1793,11935,2049,11104,10,1,11932,2049,2379, + 1,-2147483646,1793,11946,2049,11135,10,1,11943,2049,2379,2049,10331,2049,11774,10,11907,11966,144,102, + 58,115,116,111,114,101,0,1793,11971,2049,11831,10,1,11968,2049,2106,16,10,11955,11988, + 144,102,58,102,101,116,99,104,0,15,2049,11917,10,11977,12008,144,102,58,100,117, + 109,112,45,115,116,97,99,107,0,2049,10563,2,1,10739,2049,2281,1793,12026,2049,10753, + 2049,10577,2049,11015,2049,9311,10,1,12017,2049,2281,10,11992,12048,144,102,58,100,117,109, + 112,45,97,115,116,97,99,107,0,2049,10770,2,1,10753,2049,2281,1793,12066,2049,10577, + 2049,11015,2049,9311,2049,10739,10,1,12057,2049,2281,10,12031,12080,144,101,58,112,117,116, + 0,1,2147483645,1793,12097,2049,3644,101,58,77,65,88,0,1,12086,2049,9337,10,1,12084, + 2049,2379,1,-2147483645,1793,12118,2049,3644,101,58,77,73,78,0,1,12107,2049,9337,10,1, + 12105,2049,2379,1,0,1793,12137,2049,3644,101,58,48,0,1,12128,2049,9337,10,1,12126, + 2049,2379,1,-2147483647,1793,12158,2049,3644,101,58,78,65,78,0,1,12147,2049,9337,10,1, + 12145,2049,2379,1,2147483646,1793,12179,2049,3644,101,58,73,78,70,0,1,12168,2049,9337,10, + 1,12166,2049,2379,1,-2147483646,1793,12201,2049,3644,101,58,45,73,78,70,0,1,12189,2049, + 9337,10,1,12187,2049,2379,2049,11917,2049,11015,10,12071,12228,131,105,111,58,85,110,105, + 120,83,121,115,99,97,108,108,0,0,12210,12241,144,105,100,101,110,116,105,102, + 121,0,3841,12228,2049,2533,1793,12308,1,8,2049,9244,2,2049,2568,1793,12296,3,2049,3644, + 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,12259,2049,9337,2049,9300,10,1,12256,1793, + 12303,4097,12228,10,1,12300,2049,64,10,1,12247,9,10,12071,12331,144,105,111,58,117, + 110,105,120,45,115,121,115,99,97,108,108,0,2049,12241,3841,12228,2049,9218,10,12312, + 12353,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12331,10,12338, + 12371,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12331,10,12358,12390,144, + 117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12331,10,12376,12409,144,117, + 110,105,120,58,101,120,101,99,49,0,1,3,2049,12331,10,12395,12428,144,117,110, + 105,120,58,101,120,101,99,50,0,1,4,2049,12331,10,12414,12447,144,117,110,105, + 120,58,101,120,101,99,51,0,1,5,2049,12331,10,12433,12465,144,117,110,105,120, + 58,101,120,105,116,0,1,6,2049,12331,10,12452,12485,144,117,110,105,120,58,103, + 101,116,112,105,100,0,1,7,2049,12331,10,12470,12503,144,117,110,105,120,58,119, + 97,105,116,0,1,8,2049,12331,10,12490,12521,144,117,110,105,120,58,107,105,108, + 108,0,1,9,2049,12331,10,12508,12540,144,117,110,105,120,58,112,111,112,101,110, + 0,1,10,2049,12331,10,12526,12560,144,117,110,105,120,58,112,99,108,111,115,101, + 0,1,11,2049,12331,10,12545,12579,144,117,110,105,120,58,99,104,100,105,114,0, + 1,13,2049,12331,10,12565,12599,144,117,110,105,120,58,103,101,116,101,110,118,0, + 1,14,2049,12331,10,12584,12619,144,117,110,105,120,58,112,117,116,101,110,118,0, + 1,15,2049,12331,10,12604,12638,144,117,110,105,120,58,115,108,101,101,112,0,1, + 16,2049,12331,10,12624,12659,144,117,110,105,120,58,103,101,116,45,99,119,100,0, + 2049,3644,112,119,100,0,1,12661,1,0,2049,12540,2,2049,9992,2049,5891,4,2049,12560, + 2049,3644,47,0,1,12681,2049,3850,10,12643,12715,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,3644,108,115, + 32,45,49,32,124,32,119,99,32,45,108,0,1,12717,1,0,2049,12540,2,2049, + 9992,2049,5891,2049,218,4,2049,12560,10,12688,12770,144,117,110,105,120,58,102,111,114, + 45,101,97,99,104,45,102,105,108,101,0,2049,3644,108,115,32,45,49,32,45, + 112,0,1,12772,1,0,2049,12540,2049,12715,1793,12805,1793,12800,2049,9992,2049,3599,67502597,8, + 10,1,12793,2049,2116,10,1,12791,2049,2281,2049,12560,3,10,12748,12822,144,115,116,97, + 114,116,0,4,2049,3426,1,0,2049,12540,10,12813,12838,144,114,101,97,100,0,2, + 2049,9630,2,2049,3334,2049,2533,10,12830,12857,144,102,105,110,105,115,104,0,2049,12560, + 2049,3406,10,12748,12881,144,117,110,105,120,58,115,108,117,114,112,45,112,105,112, + 101,0,1793,12897,2049,12822,1793,12890,2049,12838,10,1,12887,2049,2256,2049,12857,10,1,12883, + 2049,3450,10,12862,12908,131,105,111,0,0,12902,12921,144,105,100,101,110,116,105,102, + 121,0,3841,12908,2049,2533,1793,12988,1,10,2049,9244,2,2049,2568,1793,12976,3,2049,3644, + 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,12939,2049,9337,2049,9300,10,1,12936,1793, + 12983,4097,12908,10,1,12980,2049,64,10,1,12927,9,10,12862,13012,144,105,111,58,114, + 110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12921,3841,12908,2049,9218,10, + 12992,13031,144,110,58,114,97,110,100,111,109,0,2049,13012,10,13019,13045,131,83,111, + 99,107,101,116,115,0,0,13034,13058,144,105,100,101,110,116,105,102,121,0,3841, + 13045,2049,2533,1793,13125,1,7,2049,9244,2,2049,2568,1793,13113,3,2049,3644,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,13076,2049,9337,2049,9300,10,1,13073,1793,13120,4097,13045, + 10,1,13117,2049,64,10,1,13064,9,10,13019,13152,144,105,111,58,115,111,99,107, + 101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13058,3841,13045,2049,9218,10, + 13129,13183,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,13152,10,13159,13205,144,115,111,99,107,101,116,58,99, + 114,101,97,116,101,0,1,1,2049,13152,10,13188,13225,144,115,111,99,107,101,116, + 58,98,105,110,100,0,1,2,2049,13152,10,13210,13247,144,115,111,99,107,101,116, + 58,108,105,115,116,101,110,0,1,3,2049,13152,10,13230,13269,144,115,111,99,107, + 101,116,58,97,99,99,101,112,116,0,1,4,2049,13152,10,13252,13292,144,115,111, + 99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13152,10,13274,13312, + 144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13152,10,13297,13332, + 144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13152,10,13317,13353, + 144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,13152,10,13337, + 13378,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,101,0,1, + 11,2049,13152,10,13358,1024,131,84,73,66,0,13383,13404,144,105,109,97,103,101,58, + 115,97,118,101,0,1,1000,2049,9244,2049,9218,10,13390,13423,131,75,101,121,98,111, + 97,114,100,0,0,13411,13436,144,105,100,101,110,116,105,102,121,0,3841,13423,2049, + 2533,1793,13503,1,1,2049,9244,2,2049,2568,1793,13491,3,2049,3644,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,13454,2049,9337,2049,9300,10,1,13451,1793,13498,4097,13423,10,1, + 13495,2049,64,10,1,13442,9,10,13390,13516,144,99,58,103,101,116,0,2049,13436,3841, + 13423,2049,9218,10,13507,13533,144,103,97,116,104,101,114,0,2,1793,13540,1,8,11, + 10,1,13536,1793,13548,1,127,11,10,1,13544,2049,2128,22,1,11,1,3334,2049,64, + 10,13523,13569,144,99,121,99,108,101,0,2049,13516,2049,2096,4,8,2049,2465,25,3, + 2049,13533,1,13569,7,10,13507,13600,144,112,97,114,115,101,45,117,110,116,105,108, + 0,1793,13612,2049,3625,2049,3426,2049,13569,771,2049,3300,10,1,13602,2049,3450,10,13585,13626, + 144,115,58,103,101,116,0,1793,13648,1793,13634,1,10,11,10,1,13630,1793,13642,1, + 13,11,10,1,13638,2049,2128,22,10,1,13628,2049,13600,10,13617,13667,144,115,58,103, + 101,116,45,119,111,114,100,0,1,5483,2049,13600,10,13653,13685,131,83,99,114,105, + 112,116,105,110,103,0,7,13672,13698,144,105,100,101,110,116,105,102,121,0,3841, + 13685,2049,2533,1793,13765,1,9,2049,9244,2,2049,2568,1793,13753,3,2049,3644,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,13716,2049,9337,2049,9300,10,1,13713,1793,13760,4097,13685, + 10,1,13757,2049,64,10,1,13704,9,10,13653,13781,144,115,121,115,58,97,114,103, + 99,0,2049,13698,1,0,3841,13685,2049,9218,10,13769,13802,144,115,121,115,58,97,114, + 103,118,0,2049,3625,4,2049,13698,1,1,3841,13685,2049,9218,10,13790,13825,144,105,110, + 99,108,117,100,101,0,2049,13698,1,2,3841,13685,2049,9218,10,13814,13846,144,115,121, + 115,58,110,97,109,101,0,2049,3625,2049,13698,1,3,3841,13685,2049,9218,10,13834,13866, + 144,99,108,101,97,114,0,1,27,2049,9287,2049,3644,91,50,74,0,1,13872,2049, + 9337,1,27,2049,9287,2049,3644,91,48,59,48,72,0,1,13886,2049,9337,10,13857,13907, + 131,78,111,69,99,104,111,0,0,13897,13915,144,98,121,101,0,1,0,2049,12465, + 10,13908,13931,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10,13920,13946, + 144,100,111,110,101,63,0,1793,13952,1,13,11,10,1,13948,1793,13960,1,10,11, + 10,1,13956,1793,13968,1,32,11,10,1,13964,2049,2165,22,22,10,13937,13985,144,118, + 97,108,105,100,63,0,2,2049,79,2049,2615,10,13975,14004,144,99,104,101,99,107, + 45,101,111,102,0,2,1793,14011,1,-1,11,10,1,14007,1793,14019,1,4,11,10, + 1,14015,2049,2128,22,1,13915,9,10,13991,14034,144,98,115,0,2049,3358,2049,3358,771, + 10,14028,14052,144,99,104,101,99,107,45,98,115,0,2,1793,14059,1,8,11,10, + 1,14055,1793,14067,1,127,11,10,1,14063,2049,2128,22,1,14034,9,10,14040,14085,144, + 99,104,101,99,107,0,2049,14004,2049,14052,10,14076,14103,144,99,104,97,114,97,99, + 116,101,114,0,2049,13516,2,2049,3334,10,14090,14119,144,98,117,102,102,101,114,0, + 1793,14129,1,1024,2049,3426,8,2049,3300,10,1,14121,2049,3450,10,14109,14148,144,114,101, + 97,100,45,116,111,107,101,110,0,1793,14164,1793,14159,2049,14103,2049,14085,2049,13946,10, + 1,14152,2049,2256,10,1,14150,2049,14119,2049,3722,10,14134,14180,144,105,110,112,117,116, + 0,2049,14148,2049,13985,10,14171,14196,144,112,114,111,99,101,115,115,0,1,365,1, + 11,2049,64,10,13908,14213,144,98,97,110,110,101,114,0,2049,13931,2049,3644,82,69, + 84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1,14217,2049, + 7167,2049,9337,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3644,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,14253,2049,7167,2049,9337,10,14203,14297,144,108,105,115,116,101,110,0,3841,13907, + 1793,14304,2049,14213,10,1,14301,2049,70,2049,14180,2049,14196,1,14308,7,10,14287,14325,131, + 67,108,111,99,107,0,0,14316,14338,144,105,100,101,110,116,105,102,121,0,3841, + 14325,2049,2533,1793,14405,1,5,2049,9244,2,2049,2568,1793,14393,3,2049,3644,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,14356,2049,9337,2049,9300,10,1,14353,1793,14400,4097,14325, + 10,1,14397,2049,64,10,1,14344,9,10,14287,14431,144,105,111,58,99,108,111,99, + 107,45,111,112,101,114,97,116,105,111,110,0,2049,14338,3841,14325,2049,9218,10,14409, + 14457,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,0,1,0, + 2049,14431,10,14438,14475,144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14431, + 10,14462,14495,144,99,108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14431, + 10,14480,14514,144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049,14431,10, + 14500,14533,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14431,10,14519, + 14554,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049,14431,10, + 14538,14575,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14431, + 10,14559,14597,144,99,108,111,99,107,58,117,116,99,58,100,97,121,0,1,7, + 2049,14431,10,14580,14621,144,99,108,111,99,107,58,117,116,99,58,109,111,110,116, + 104,0,1,8,2049,14431,10,14602,14644,144,99,108,111,99,107,58,117,116,99,58, + 121,101,97,114,0,1,9,2049,14431,10,14626,14667,144,99,108,111,99,107,58,117, + 116,99,58,104,111,117,114,0,1,10,2049,14431,10,14649,14692,144,99,108,111,99, + 107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14431,10,14672,14717, + 144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,0,1,12, + 2049,14431,10,14697,14733,144,100,58,119,111,114,100,115,0,1793,14742,2049,162,2049,9337, + 2049,9311,10,1,14735,2049,7399,10,14722,14763,144,100,58,119,111,114,100,115,45,119, + 105,116,104,0,2049,1877,2049,4539,1793,14794,2049,162,2,2049,1877,2049,4163,1793,14783,2049, + 9337,2049,9311,10,1,14778,1793,14789,3,10,1,14787,2049,64,10,1,14769,2049,7399,10, + 14747,14818,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,116,0,2, + 2049,1877,2049,4463,1793,14830,2049,9337,2049,9311,10,1,14825,1793,14836,3,10,1,14834,2049, + 64,10,14747,14867,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,4539,1793,14878,2049,162,2049,14818,10,1, + 14873,2049,7399,10,14841,14893,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105, + 2049,105,10,14883,14919,144,105,110,118,97,108,105,100,45,110,97,109,101,63,0, + 2,1,32,2049,3994,10,14902,14936,144,114,101,119,114,105,116,101,0,1793,14950,1, + 32,1793,14945,1,95,10,1,14942,2049,2379,10,1,14938,2049,4334,10,14925,14964,144,101, + 110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14992,1793,14987,2049,14893, + 2049,14919,1,14936,9,2049,119,10,1,14977,2049,14964,10,1,14975,0 };