crc/retroforth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

retro.forth: more optimizations (s:tokenize-on-string, s:trim-left)

Browse source 
FossilOrigin-Name: 29522cc3ae07007f8ae594efa55eb4d227423f401494dfdc440baf048b714b56
This commit is contained in:
crc 2020-02-12 15:20:32 +00:00
parent 8772a16130
commit 829d4d5daa
3 changed files with 457 additions and 462 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
image/retro.forth
View file

@ -1037,8 +1037,7 @@ First are a bunch of words to help identify character values.
:c:digit? (c-f) $0 $9 n:between? ;
:c:visible? (c-f) #32 #126 n:between? ;
:c:vowel? (c-f) 'aeiouAEIOU swap s:contains-char? ;
:c:consonant? (c-f)
dup c:letter? [ c:vowel? not ] [ drop FALSE ] choose ;
:c:consonant? (c-f) dup c:letter? [ c:vowel? not ] [ drop FALSE ] choose ;
:c:whitespace? (c-f) s:WHITESPACE swap s:contains-char? ;
~~~
@ -1061,10 +1060,8 @@ The next few words perform simple transformations.
:c:to-upper (c-c) dup c:lowercase? 0; drop ASCII:SPACE - ;
:c:to-lower (c-c) dup c:uppercase? 0; drop ASCII:SPACE + ;
:c:to-string (c-s) '. s:temp &store sip ;
:c:toggle-case (c-c)
dup c:lowercase? &c:to-upper &c:to-lower choose ;
:c:to-number (c-n)
dup c:digit? [ $0 - ] [ drop #0 ] choose ;
:c:toggle-case (c-c) dup c:lowercase? &c:to-upper &c:to-lower choose ;
:c:to-number (c-n) dup c:digit? [ $0 - ] [ drop #0 ] choose ;
~~~
## Back to Strings
@ -1083,8 +1080,7 @@ both leading and trailing spaces.
~~~
:s:trim-left (s-s)
s:temp [ fetch-next [ c:whitespace? ] [ n:-zero? ] bi and ] while
n:dec ;
s:temp [ fetch-next &c:whitespace? &n:-zero? bi and ] while n:dec ;
:s:trim-right (s-s) s:temp s:reverse s:trim-left s:reverse ;
:s:trim (s-s) s:trim-right s:trim-left ;
~~~
@ -1162,16 +1158,16 @@ returns an array containing pointers to each of them.
~~~
{{
'Needle d:create #128 allot
'Length var
'Len var
'Tokens d:create #128 allot
'TP var
:save s:keep @TP &Tokens + n:inc store &TP v:inc ;
:next [ @Length + ] sip ;
:next [ @Len + ] sip ;
:done s:length n:zero? ;
---reveal---
:s:tokenize-on-string (ss-s)
#0 !TP
[ dup &Needle s:copy s:append ] [ s:length !Length ] bi
[ dup &Needle s:copy s:append ] [ s:length !Len ] bi
[ &Needle s:split-on-string save next done ] until
&Tokens @TP n:dec !Tokens ;
}}

BIN
ngaImage
View file

Binary file not shown.

901
vm/nga-c/retro-image.c
View file

@ -2,8 +2,8 @@
#ifndef CELL
#define CELL int32_t
#endif
CELL ngaImageCells = 14970;
CELL ngaImage[] = { 1793,14272,14816,14969,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10,
CELL ngaImageCells = 14957;
CELL ngaImage[] = { 1793,14259,14803,14956,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,14272,14816,14969,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,14950,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13365,1025,
1,659713,2,659713,3,1793,14937,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13352,1025,
167841793,177,5,17826049,0,177,2,15,25,524546,162,134287105,178,93,2305,179,459023,187,134287361,178,
182,659201,177,2049,56,25,84152833,48,286458116,10,459014,202,184618754,45,25,16974851,-1,168886532,1,134284289,
1,211,134284289,0,202,660227,32,0,0,112,114,101,102,105,120,58,105,0,285278479,228,
@ -160,7 +160,7 @@ CELL ngaImage[] = { 1793,14272,14816,14969,202004,0,10,1,10,2,10,3,10,4,10,5,10,
2049,2106,4100,10,3055,3095,144,118,58,117,112,100,97,116,101,0,4,1793,3102,15,
4,8,10,1,3098,2049,2116,16,10,3083,3116,144,99,111,112,121,0,1793,3125,285278725,
1,33951492,268767489,1,6,10,1,3118,2049,2281,771,10,3108,3144,144,83,99,111,112,101,
76,105,115,116,0,14816,14816,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049,
76,105,115,116,0,14803,14803,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049,
59,16,10,3147,3178,144,45,45,45,114,101,118,101,97,108,45,45,45,0,2049,
1570,1,3144,2049,2880,16,10,3162,3192,144,125,125,0,1,3144,2049,56,4,15,11,
1793,3206,3841,3144,4097,2,10,1,3201,1793,3232,3841,3144,1793,3227,1,2,983567,1,3144,
@ -294,461 +294,460 @@ CELL ngaImage[] = { 1793,14272,14816,14969,202004,0,10,1,10,2,10,3,10,4,10,5,10,
1,5755,2049,64,10,5727,5778,144,115,58,116,111,45,117,112,112,101,114,0,1,
5640,2049,4326,10,5764,5797,144,115,58,116,111,45,108,111,119,101,114,0,1,5663,
2049,4326,10,5783,5817,144,115,58,116,114,105,109,45,108,101,102,116,0,2049,3591,
1793,5841,2049,56,1793,5828,2049,5475,10,1,5825,1793,5835,2049,2549,10,1,5832,2049,2128,
21,10,1,5821,2049,2233,2049,2893,10,5802,5864,144,115,58,116,114,105,109,45,114,
105,103,104,116,0,2049,3591,2049,3741,2049,5817,2049,3741,10,5848,5883,144,115,58,116,
114,105,109,0,2049,5864,2049,5817,10,5873,5897,131,86,97,108,117,101,0,0,5888,
5909,144,99,111,114,114,101,99,116,0,2,1,48,13,1793,5924,1,48,67502597,18,
1,2,19,17,10,1,5915,9,10,5873,5943,144,110,58,116,111,45,115,116,114,
105,110,103,0,1793,5997,2049,1877,2049,3418,2,4097,5897,2049,2845,1793,5971,1,10,20,
4,1,48,17,2049,5909,2049,3326,2,2049,2549,10,1,5956,2049,2233,3,3841,5897,2049,
2568,1793,5987,1,45,2049,3326,10,1,5982,9,2049,3292,2049,3741,2049,3591,10,1,5945,
2049,3442,10,5928,6024,131,82,101,119,114,105,116,101,85,110,100,101,114,115,99,
111,114,101,115,0,-1,6002,6032,144,115,117,98,0,1,95,1793,6039,1,32,10,
1,6036,2049,2379,10,6025,6055,144,114,101,119,114,105,116,101,0,3841,6024,1793,6064,
1,6032,2049,4326,10,1,6059,9,10,6044,6078,144,104,97,110,100,108,101,0,1,
3695,8,10,6002,6094,156,112,114,101,102,105,120,58,39,0,2049,6055,2049,6078,10,
6082,6110,144,115,58,115,112,108,105,116,0,2049,2096,2049,3914,772,2049,2096,2049,4431,
1,38,2049,2106,10,6099,6145,144,115,58,115,112,108,105,116,45,111,110,45,115,
116,114,105,110,103,0,2049,2096,2049,4214,2049,2880,772,2049,2096,2049,4431,1,38,2049,
2106,10,6124,6174,144,115,58,114,101,112,108,97,99,101,0,67502597,2049,79,2049,1877,
16,1793,6190,2049,6145,4,2049,1877,15,17,10,1,6182,2049,2106,2049,3801,2049,3842,10,
6161,6211,131,83,112,108,105,116,45,79,110,0,0,6199,6222,144,109,97,116,99,
104,63,0,3841,6211,11,10,6212,6239,144,116,101,114,109,105,110,97,116,101,0,
1,0,67502597,2049,2893,16,10,6226,6254,144,115,116,101,112,0,1,2880,2049,2106,2049,
6222,1793,6268,2,2049,105,2049,6239,10,1,6262,9,10,6161,6286,144,115,58,116,111,
107,101,110,105,122,101,0,4097,6211,2049,3662,2049,1877,1,0,2049,105,1793,6308,2,
2049,105,2,1,6254,2049,3860,3,10,1,6298,2049,2106,2049,1877,67502597,18,2049,2893,67502597,
16,10,6272,6331,131,78,101,101,100,108,101,0,0,0,0,0,0,0,0,0,
1793,5831,2049,56,1,5475,1,2549,2049,2128,21,10,1,5821,2049,2233,2049,2893,10,5802,
5854,144,115,58,116,114,105,109,45,114,105,103,104,116,0,2049,3591,2049,3741,2049,
5817,2049,3741,10,5838,5873,144,115,58,116,114,105,109,0,2049,5854,2049,5817,10,5863,
5887,131,86,97,108,117,101,0,0,5878,5899,144,99,111,114,114,101,99,116,0,
2,1,48,13,1793,5914,1,48,67502597,18,1,2,19,17,10,1,5905,9,10,5863,
5933,144,110,58,116,111,45,115,116,114,105,110,103,0,1793,5987,2049,1877,2049,3418,
2,4097,5887,2049,2845,1793,5961,1,10,20,4,1,48,17,2049,5899,2049,3326,2,2049,
2549,10,1,5946,2049,2233,3,3841,5887,2049,2568,1793,5977,1,45,2049,3326,10,1,5972,
9,2049,3292,2049,3741,2049,3591,10,1,5935,2049,3442,10,5918,6014,131,82,101,119,114,
105,116,101,85,110,100,101,114,115,99,111,114,101,115,0,-1,5992,6022,144,115,
117,98,0,1,95,1793,6029,1,32,10,1,6026,2049,2379,10,6015,6045,144,114,101,
119,114,105,116,101,0,3841,6014,1793,6054,1,6022,2049,4326,10,1,6049,9,10,6034,
6068,144,104,97,110,100,108,101,0,1,3695,8,10,5992,6084,156,112,114,101,102,
105,120,58,39,0,2049,6045,2049,6068,10,6072,6100,144,115,58,115,112,108,105,116,
0,2049,2096,2049,3914,772,2049,2096,2049,4431,1,38,2049,2106,10,6089,6135,144,115,58,
115,112,108,105,116,45,111,110,45,115,116,114,105,110,103,0,2049,2096,2049,4214,
2049,2880,772,2049,2096,2049,4431,1,38,2049,2106,10,6114,6164,144,115,58,114,101,112,
108,97,99,101,0,67502597,2049,79,2049,1877,16,1793,6180,2049,6135,4,2049,1877,15,17,
10,1,6172,2049,2106,2049,3801,2049,3842,10,6151,6201,131,83,112,108,105,116,45,79,
110,0,0,6189,6212,144,109,97,116,99,104,63,0,3841,6201,11,10,6202,6229,144,
116,101,114,109,105,110,97,116,101,0,1,0,67502597,2049,2893,16,10,6216,6244,144,
115,116,101,112,0,1,2880,2049,2106,2049,6212,1793,6258,2,2049,105,2049,6229,10,1,
6252,9,10,6151,6276,144,115,58,116,111,107,101,110,105,122,101,0,4097,6201,2049,
3662,2049,1877,1,0,2049,105,1793,6298,2,2049,105,2,1,6244,2049,3860,3,10,1,
6288,2049,2106,2049,1877,67502597,18,2049,2893,67502597,16,10,6262,6321,131,78,101,101,100,108,
101,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
6321,6469,131,76,101,110,103,116,104,0,0,6459,6480,131,84,111,107,101,110,115,
0,0,0,0,0,0,0,0,0,0,6311,6456,131,76,101,110,0,0,6449,6467,
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,0,0,6457,6601,131,84,
80,0,0,6595,6610,144,115,97,118,101,0,2049,3662,3841,6601,1,6467,17,2049,2880,
16,1,6601,2049,2978,10,6602,6633,144,110,101,120,116,0,1793,6639,3841,6456,17,10,
1,6635,2049,2116,10,6625,6652,144,100,111,110,101,0,2049,79,2049,2533,10,6262,6681,
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,6601,1793,6695,2,1,6321,2049,4531,2049,3842,10,1,6687,1793,6704,
2049,79,4097,6456,10,1,6699,2049,2128,1793,6721,1,6321,2049,6135,2049,6610,2049,6633,2049,
6652,10,1,6710,2049,2256,1,6467,3841,6601,2049,2893,4097,6467,10,6657,6739,131,81,0,
0,6734,6752,144,102,111,114,45,101,97,99,104,0,1,6739,1793,6782,4097,6739,2049,
56,1793,6776,2049,56,4,1793,6771,3841,6739,8,10,1,6767,2049,2106,10,1,6762,2049,
2281,3,10,1,6756,2049,3069,10,6740,6801,144,115,117,98,115,116,105,116,117,116,
101,0,2049,3507,1,129,18,10,6787,6818,144,101,120,116,114,97,99,116,0,2049,
6801,2049,4531,10,6807,6835,144,116,111,107,101,110,105,122,101,0,2049,6681,2049,3617,
10,6823,6851,144,99,111,109,98,105,110,101,0,2049,6801,2049,3842,2049,3842,10,6840,
6867,144,109,101,114,103,101,0,4,1,6851,2049,6752,772,10,6858,6886,144,102,105,
110,100,45,101,110,100,0,2,2049,79,2049,6801,2049,79,18,67502597,17,10,6874,6906,
144,99,108,101,97,110,0,2049,6886,1,0,4,16,10,6657,6930,144,115,58,114,
101,112,108,97,99,101,45,97,108,108,0,1,3,1793,6945,2049,6818,2049,6835,2049,
6867,2049,6906,2049,3591,10,1,6934,2049,3069,10,6913,6958,144,99,104,97,114,0,1,
32,1793,6967,1,95,2049,3326,10,1,6962,2049,2379,1,114,1793,6980,1,13,2049,3326,
10,1,6975,2049,2379,1,110,1793,6993,1,10,2049,3326,10,1,6988,2049,2379,1,116,
1793,7006,1,9,2049,3326,10,1,7001,2049,2379,1,48,1793,7019,1,0,2049,3326,10,
1,7014,2049,2379,2049,3326,10,6950,7034,144,116,121,112,101,0,1,99,1793,7042,4,
2049,3326,10,1,7038,2049,2379,1,115,1793,7056,4,1,3326,2049,3860,10,1,7050,2049,
2379,1,110,1793,7072,4,2049,5933,1,3326,2049,3860,10,1,7064,2049,2379,3,10,7026,
7088,144,104,97,110,100,108,101,0,1,92,1793,7097,2049,56,2049,6958,10,1,7092,
2049,2379,1,37,1793,7110,2049,56,2049,7034,10,1,7105,2049,2379,2049,3326,10,6913,7129,
144,115,58,102,111,114,109,97,116,0,1793,7158,2049,3617,1793,7153,2049,3418,1793,7148,
2049,56,25,2049,7088,1,7139,7,10,1,7139,8,3,10,1,7135,2049,2116,10,1,
7131,2049,3442,10,7117,7174,144,115,58,99,111,110,115,116,0,1,3662,2049,2106,2049,
2022,10,7163,7191,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,
0,0,0,0,0,0,0,0,0,6470,6614,131,84,80,0,0,6608,6623,144,115,
97,118,101,0,2049,3662,3841,6614,1,6480,17,2049,2880,16,1,6614,2049,2978,10,6615,
6646,144,110,101,120,116,0,1793,6652,3841,6469,17,10,1,6648,2049,2116,10,6638,6665,
144,100,111,110,101,0,2049,79,2049,2533,10,6272,6694,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,6614,1793,
6708,2,1,6331,2049,4531,2049,3842,10,1,6700,1793,6717,2049,79,4097,6469,10,1,6712,
2049,2128,1793,6734,1,6331,2049,6145,2049,6623,2049,6646,2049,6665,10,1,6723,2049,2256,1,
6480,3841,6614,2049,2893,4097,6480,10,6670,6752,131,81,0,0,6747,6765,144,102,111,114,
45,101,97,99,104,0,1,6752,1793,6795,4097,6752,2049,56,1793,6789,2049,56,4,1793,
6784,3841,6752,8,10,1,6780,2049,2106,10,1,6775,2049,2281,3,10,1,6769,2049,3069,
10,6753,6814,144,115,117,98,115,116,105,116,117,116,101,0,2049,3507,1,129,18,
10,6800,6831,144,101,120,116,114,97,99,116,0,2049,6814,2049,4531,10,6820,6848,144,
116,111,107,101,110,105,122,101,0,2049,6694,2049,3617,10,6836,6864,144,99,111,109,
98,105,110,101,0,2049,6814,2049,3842,2049,3842,10,6853,6880,144,109,101,114,103,101,
0,4,1,6864,2049,6765,772,10,6871,6899,144,102,105,110,100,45,101,110,100,0,
2,2049,79,2049,6814,2049,79,18,67502597,17,10,6887,6919,144,99,108,101,97,110,0,
2049,6899,1,0,4,16,10,6670,6943,144,115,58,114,101,112,108,97,99,101,45,
97,108,108,0,1,3,1793,6958,2049,6831,2049,6848,2049,6880,2049,6919,2049,3591,10,1,
6947,2049,3069,10,6926,6971,144,99,104,97,114,0,1,32,1793,6980,1,95,2049,3326,
10,1,6975,2049,2379,1,114,1793,6993,1,13,2049,3326,10,1,6988,2049,2379,1,110,
1793,7006,1,10,2049,3326,10,1,7001,2049,2379,1,116,1793,7019,1,9,2049,3326,10,
1,7014,2049,2379,1,48,1793,7032,1,0,2049,3326,10,1,7027,2049,2379,2049,3326,10,
6963,7047,144,116,121,112,101,0,1,99,1793,7055,4,2049,3326,10,1,7051,2049,2379,
1,115,1793,7069,4,1,3326,2049,3860,10,1,7063,2049,2379,1,110,1793,7085,4,2049,
5943,1,3326,2049,3860,10,1,7077,2049,2379,3,10,7039,7101,144,104,97,110,100,108,
101,0,1,92,1793,7110,2049,56,2049,6971,10,1,7105,2049,2379,1,37,1793,7123,2049,
56,2049,7047,10,1,7118,2049,2379,2049,3326,10,6926,7142,144,115,58,102,111,114,109,
97,116,0,1793,7171,2049,3617,1793,7166,2049,3418,1793,7161,2049,56,25,2049,7101,1,7152,
7,10,1,7152,8,3,10,1,7148,2049,2116,10,1,7144,2049,3442,10,7130,7187,144,
115,58,99,111,110,115,116,0,1,3662,2049,2106,2049,2022,10,7176,7204,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,7194,7240,144,102,114,111,109,
0,2049,79,2,1793,7259,1793,7252,1,7204,17,16,10,1,7247,2049,2116,2049,2893,10,
1,7245,2049,2281,3,10,7232,7271,144,116,111,0,2,2049,79,1793,7289,2049,56,1,
97,18,2049,2880,1,7204,17,15,4,10,1,7276,2049,2281,3,10,7176,7306,144,114,
101,111,114,100,101,114,0,1,7240,2049,2106,2049,7271,10,7295,7322,144,99,117,114,
114,121,0,2049,1877,1793,7332,4,2049,1731,2049,1754,10,1,7326,2049,2106,10,7313,7345,
144,100,111,101,115,0,2049,1588,4,2049,7322,2049,1570,2049,158,16,1,144,2049,1649,
10,7337,7374,144,100,58,102,111,114,45,101,97,99,104,0,1,2,1793,7402,15,
25,2049,2096,1793,7394,1793,7389,4,8,10,1,7386,2049,2106,10,1,7384,2049,2106,1,
7378,7,10,1,7378,8,3,10,7360,7422,144,100,58,108,111,111,107,117,112,45,
120,116,0,1,0,4,1793,7448,2049,2096,2049,158,15,11,1793,7441,4,1,2057,2049,
2106,10,1,7435,1,11,2049,64,10,1,7427,2049,7374,3,10,7407,7466,144,97,58,
108,101,110,103,116,104,0,15,10,7454,7489,144,97,58,99,111,117,110,116,101,
100,45,114,101,115,117,108,116,115,0,8,2049,1877,1793,7502,2,2049,105,1,105,
2049,2281,10,1,7494,2049,2106,10,7468,7524,144,97,58,102,114,111,109,45,115,116,
114,105,110,103,0,2049,1877,1793,7538,2,2049,79,2049,105,1,105,2049,3860,10,1,
7528,2049,2106,10,7507,7548,131,81,0,0,7507,7563,144,97,58,102,111,114,45,101,
97,99,104,0,1,7548,1793,7593,4097,7548,2049,56,1793,7587,2049,56,4,1793,7582,3841,
7548,8,10,1,7578,2049,2106,10,1,7573,2049,2281,3,10,1,7567,2049,3069,10,7549,
7607,144,97,58,100,117,112,0,2049,1877,1793,7620,2,15,2049,105,1,105,2049,7563,
10,1,7611,2049,2106,10,7598,7635,144,97,58,99,111,112,121,0,1,3,1793,7651,
4097,3,2,2049,7466,2049,105,1,105,2049,7563,10,1,7639,2049,3069,10,7625,7671,144,
97,58,116,111,45,115,116,114,105,110,103,0,1,3,1793,7684,2049,7607,1,0,
2049,105,2049,2880,10,1,7675,2049,3069,2049,3591,10,7656,7699,144,99,111,112,121,0,
2,15,1793,7708,1,105,2049,7563,10,1,7703,2049,2106,10,7656,7726,144,97,58,112,
114,101,112,101,110,100,0,2049,1877,1,0,2049,105,1793,7741,2049,7699,4,2049,7699,
17,10,1,7734,2049,2106,1,36,2049,2116,10,7713,7762,144,97,58,97,112,112,101,
110,100,0,4,2049,7726,10,7750,7776,144,97,58,99,104,111,112,0,2049,7607,1,
-1,2049,3050,2,2049,2993,10,7766,7798,144,97,58,102,105,108,116,101,114,0,1793,
7813,67502597,1,21,2049,2106,4,1,105,1,11,2049,64,10,1,7800,2049,7322,2049,1877,
1793,7828,67502597,15,2049,105,2049,7563,10,1,7821,2049,2106,2049,1877,67502597,18,2049,2893,67502597,
16,10,7786,7856,144,97,58,99,111,110,116,97,105,110,115,63,0,1,0,4,
1793,7868,4,5,67502597,11,6,22,10,1,7861,2049,7563,772,10,7841,7896,144,97,58,
99,111,110,116,97,105,110,115,45,115,116,114,105,110,103,63,0,1,0,4,
1793,7909,4,5,67502597,2049,93,6,22,10,1,7901,2049,7563,772,10,7874,7927,131,76,
111,99,97,116,105,111,110,0,0,7915,7939,144,112,114,101,112,97,114,101,0,
4,1,-1,4097,7927,10,7928,7953,144,110,101,120,116,0,3841,7927,2049,2568,1793,7964,
1,7927,2049,2993,10,1,7959,9,10,7945,7978,144,109,97,116,99,104,63,0,67502597,
11,2,1793,7989,3,3841,7927,2049,2568,10,1,7983,9,10,7968,8007,144,109,97,116,
99,104,45,115,116,114,63,0,67502597,2049,93,2,1793,8019,3,3841,7927,2049,2568,10,
1,8013,9,10,7993,8033,144,117,112,100,97,116,101,0,3841,7927,2049,2845,2049,2893,
4097,7927,10,7874,8056,144,97,58,105,110,100,101,120,45,111,102,0,2049,7939,2049,
2096,2049,7856,1793,8068,771,1,-1,10,1,8064,2049,2676,1793,8082,2049,7978,1,8033,9,
2049,7953,10,1,8074,2049,7563,3,3841,7927,10,8042,8111,144,97,58,105,110,100,101,
120,45,111,102,45,115,116,114,105,110,103,0,2049,7939,2049,2096,2049,7896,1793,8123,
771,1,-1,10,1,8119,2049,2676,1793,8137,2049,8007,1,8033,9,2049,7953,10,1,8129,
2049,7563,3,3841,7927,10,8090,8154,144,97,58,109,97,112,0,1793,8160,8,2049,105,
10,1,8156,2049,7322,2049,1877,1793,8175,67502597,15,2049,105,2049,7563,10,1,8168,2049,2106,
10,8145,8193,144,97,58,114,101,118,101,114,115,101,0,2049,1877,1793,8227,2049,56,
1793,8205,17,2049,2893,10,1,8201,2049,2116,2,2049,105,1793,8221,2,15,2049,105,2049,
2893,10,1,8214,2049,2281,3,10,1,8197,2049,2106,10,8180,8240,144,97,58,116,104,
0,17,2049,2880,10,8232,8255,144,97,58,102,101,116,99,104,0,2049,8240,15,10,
8244,8270,144,97,58,115,116,111,114,101,0,2049,8240,16,10,8259,8286,144,97,58,
114,101,100,117,99,101,0,1,13,2049,2106,2049,7563,10,8274,8303,144,97,58,109,
97,107,101,0,2049,7489,2049,8193,10,8293,8313,156,123,0,1,285,2049,156,1,1556,
2049,144,1,285,2049,156,10,8308,8331,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,8303,2049,144,10,8326,8375,144,98,111,117,110,100,115,63,0,67502597,2049,7466,67502597,
13,10,8364,8389,144,99,111,112,121,0,2049,56,2049,105,10,8381,8404,144,116,111,
45,101,110,100,0,2,2049,7466,17,2049,2880,10,8326,8421,144,97,58,108,101,102,
116,0,2049,8375,1793,8429,771,1,-1,10,1,8425,2049,2659,2049,1877,67502597,2049,105,1793,
8450,1,2880,2049,2106,1,8389,2049,2281,3,10,1,8440,2049,2106,10,8411,8466,144,97,
58,114,105,103,104,116,0,2049,8375,1793,8474,771,1,-1,10,1,8470,2049,2659,2049,
1877,67502597,2049,105,1793,8497,4,2049,8404,67502597,18,4,1,8389,2049,2281,3,10,1,8485,
2049,2106,10,8455,8514,144,97,58,109,105,100,100,108,101,0,1,2048,2049,2106,4,
67502597,2049,8375,1793,8529,771,3,1,-1,10,1,8524,2049,2659,771,2049,2096,4,18,2049,
2880,2049,1877,67502597,2049,105,1793,8564,772,1793,8554,17,2049,2880,10,1,8550,2049,2106,1,
8389,2049,2281,3,10,1,8547,2049,2106,10,8502,8577,131,70,108,97,103,0,0,8569,
8589,144,99,111,109,112,97,114,101,0,67440386,184946434,10,8578,8602,144,108,101,110,103,
116,104,0,659202,10,8592,8612,144,110,101,120,116,0,17043713,1,1,2577,10,8604,8630,
144,110,111,116,45,101,113,117,97,108,0,50529030,2561,0,10,8617,8642,144,108,111,
111,112,0,524549,8612,2049,8589,18157313,8577,8577,16,420610310,1,1,8642,7,10,8502,8665,144,
97,58,101,113,63,0,1048833,-1,8577,2049,8589,151066369,-1,8630,2049,8602,2049,8642,251724547,8577,
10,8656,8690,144,97,58,45,101,113,63,0,2049,8665,2049,2465,10,8680,8713,144,97,
58,98,101,103,105,110,115,45,119,105,116,104,63,0,1,3,1793,8729,2,2049,
7466,1,13,2049,2106,2049,8421,2049,8665,10,1,8717,2049,3069,10,8695,8750,144,97,58,
101,110,100,115,45,119,105,116,104,63,0,1,3,1793,8766,2,2049,7466,1,13,
2049,2106,2049,8466,2049,8665,10,1,8754,2049,3069,10,8734,8787,144,99,117,114,114,101,
110,116,45,108,105,110,101,0,2049,3507,1,1025,18,10,8771,8809,144,99,111,117,
110,116,45,116,111,107,101,110,115,0,1793,8815,1,32,11,10,1,8811,2049,4284,
2049,79,10,8793,8840,144,112,114,111,99,101,115,115,45,116,111,107,101,110,115,
0,1793,8868,1,32,2049,6110,4,1793,8861,2,2049,79,2049,2549,1,365,1,11,2049,
64,10,1,8849,2049,2106,2049,2880,10,1,8842,2049,2281,2049,365,10,8734,8889,144,115,
58,101,118,97,108,117,97,116,101,0,2049,8787,2049,4531,2049,8787,2,2049,8809,2049,
8840,10,8875,8907,131,76,80,0,0,8901,8917,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,8908,8957,144,110,101,120,116,0,3841,8907,
1,8917,17,2049,2978,10,8949,8973,144,112,114,101,112,0,1,8907,2049,2978,1,0,
3841,8907,1,8917,17,16,10,8965,8994,144,100,111,110,101,0,1,8907,2049,2993,10,
8875,9004,144,73,0,3841,8907,1,8917,17,15,10,8999,9016,144,74,0,3841,8907,1,
8917,17,2049,2893,15,10,9011,9030,144,75,0,3841,8907,1,8917,17,1,2,18,15,
10,9025,9061,144,116,105,109,101,115,60,119,105,116,104,45,105,110,100,101,120,
62,0,2049,8973,4,1793,9077,25,33886721,1,2053,1542,2049,8957,1,9066,7,10,1,9066,
8,3,2049,8994,10,9040,9092,156,104,111,111,107,0,2049,3636,108,105,106,117,46,
46,46,46,0,1,9094,2049,412,2049,1877,2049,2880,2049,105,10,9084,9126,144,115,101,
116,45,104,111,111,107,0,2049,2880,16,10,9114,9140,144,117,110,104,111,111,107,
0,2049,2880,2,2049,2880,4,16,10,9130,9164,144,105,111,58,101,110,117,109,101,
114,97,116,101,0,27,10,9148,9178,144,105,111,58,113,117,101,114,121,0,28,
10,9166,9193,144,105,111,58,105,110,118,111,107,101,0,29,10,9180,9203,131,83,
108,111,116,0,9,9180,9219,144,105,111,58,115,99,97,110,45,102,111,114,0,
1,-1,4097,9203,2049,9164,1793,9245,2049,9004,2049,9178,772,67502597,11,1793,9241,2049,9004,4097,
9203,10,1,9236,9,10,1,9227,2049,9061,3,3841,9203,10,9204,9262,144,99,58,112,
117,116,0,1793,9264,1,0,2049,9193,10,9253,9275,144,110,108,0,1,10,2049,9262,
10,9269,9286,144,115,112,0,1,32,2049,9262,10,9280,9298,144,116,97,98,0,1,
9,2049,9262,10,9291,9312,144,115,58,112,117,116,0,1,9262,2049,3860,10,9303,9326,
144,110,58,112,117,116,0,2049,5943,2049,9312,10,9317,9340,144,114,101,115,101,116,
0,2049,1556,25,771,1,9340,7,10,9331,9362,144,100,117,109,112,45,115,116,97,
99,107,0,2049,1556,25,3,5,2049,9362,6,2,2049,9326,2049,9286,10,9348,9384,144,
70,82,69,69,0,2049,3507,1,1025,18,2049,1877,18,10,9376,9402,131,70,105,108,
101,115,0,0,9393,9415,144,105,100,101,110,116,105,102,121,0,3841,9402,2049,2533,
1793,9482,1,4,2049,9219,2,2049,2568,1793,9470,3,2049,3636,73,79,32,68,69,86,
73,67,69,32,84,89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,
85,78,68,0,1,9433,2049,9312,2049,9275,10,1,9430,1793,9477,4097,9402,10,1,9474,
2049,64,10,1,9421,9,10,9376,9507,144,105,111,58,102,105,108,101,45,111,112,
101,114,97,116,105,111,110,0,2049,9415,3841,9402,2049,9193,10,9486,0,131,102,105,
108,101,58,82,0,9514,1,131,102,105,108,101,58,87,0,9524,2,131,102,105,
108,101,58,65,0,9534,3,131,102,105,108,101,58,82,43,0,9544,9568,144,102,
105,108,101,58,111,112,101,110,0,1,0,2049,9507,10,9555,9587,144,102,105,108,
101,58,99,108,111,115,101,0,1,1,2049,9507,10,9573,9605,144,102,105,108,101,
58,114,101,97,100,0,1,2,2049,9507,10,9592,9624,144,102,105,108,101,58,119,
114,105,116,101,0,1,3,2049,9507,10,9610,9642,144,102,105,108,101,58,116,101,
108,108,0,1,4,2049,9507,10,9629,9660,144,102,105,108,101,58,115,101,101,107,
0,1,5,2049,9507,10,9647,9678,144,102,105,108,101,58,115,105,122,101,0,1,
6,2049,9507,10,9665,9698,144,102,105,108,101,58,100,101,108,101,116,101,0,1,
7,2049,9507,10,9683,9717,144,102,105,108,101,58,102,108,117,115,104,0,1,8,
2049,9507,10,9703,9738,144,102,105,108,101,58,101,120,105,115,116,115,63,0,1,
0,2049,9568,2,2049,2549,1793,9752,2049,9587,2049,2356,10,1,9747,1793,9760,3,2049,2368,
10,1,9756,2049,64,10,9722,9791,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,9568,2,2049,9678,4,
10,9765,9825,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,9568,2,2049,9678,4,10,9800,9860,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,9568,10,9834,9872,131,70,73,68,0,0,9865,9881,131,83,105,122,
101,0,0,9873,9892,131,65,99,116,105,111,110,0,0,9882,9903,131,66,117,102,
102,101,114,0,0,9893,9913,144,45,101,111,102,63,0,3841,9872,2049,9642,3841,9881,
13,10,9904,9933,144,112,114,101,115,101,114,118,101,0,1,9872,1793,9944,1,9881,
1,21,2049,3069,10,1,9937,2049,3069,10,9834,9967,144,102,105,108,101,58,114,101,
97,100,45,108,105,110,101,0,4097,9872,1793,10024,2049,1877,2,4097,9903,2049,3418,1793,
10016,3841,9872,2049,9605,2,2049,3326,1793,9993,1,13,11,10,1,9989,1793,10001,1,10,
11,10,1,9997,1793,10009,1,0,11,10,1,10005,2049,2165,22,22,10,1,9980,2049,
2256,2049,3350,3,10,1,9971,2049,3442,3841,9903,10,9949,10053,144,102,105,108,101,58,
102,111,114,45,101,97,99,104,45,108,105,110,101,0,1793,10084,4097,9892,2049,9791,
4097,9872,4097,9881,1793,10075,3841,9872,2049,9967,3841,9892,8,2049,9913,10,1,10065,2049,2233,
3841,9872,2049,9587,10,1,10055,2049,9933,10,10031,10096,131,70,73,68,0,0,10031,10111,
144,102,105,108,101,58,115,108,117,114,112,0,1793,10138,4,2049,3418,2049,9791,4097,
10096,1793,10129,3841,10096,2049,9605,2049,3326,10,1,10122,2049,2281,3841,10096,2049,9587,10,1,
10113,2049,3442,10,10097,10156,144,102,105,108,101,58,115,112,101,119,0,2049,9860,4,
1793,10165,67502597,2049,9624,10,1,10161,2049,3860,2049,9587,10,10143,10179,131,70,80,85,0,
0,10172,10192,144,105,100,101,110,116,105,102,121,0,3841,10179,2049,2533,1793,10259,1,
2,2049,9219,2,2049,2568,1793,10247,3,2049,3636,73,79,32,68,69,86,73,67,69,
32,84,89,80,69,32,48,48,48,50,32,78,79,84,32,70,79,85,78,68,
0,1,10210,2049,9312,2049,9275,10,1,10207,1793,10254,4097,10179,10,1,10251,2049,64,10,
1,10198,9,10,10143,10285,144,105,111,58,102,108,111,97,116,45,111,112,101,114,
97,116,105,111,110,0,2049,10192,3841,10179,2049,9193,10,10263,10306,144,110,58,116,111,
45,102,108,111,97,116,0,1,0,2049,10285,10,10292,10325,144,115,58,116,111,45,
102,108,111,97,116,0,1,1,2049,10285,10,10311,10345,144,102,58,116,111,45,110,
117,109,98,101,114,0,1,2,2049,10285,10,10330,10365,144,102,58,116,111,45,115,
116,114,105,110,103,0,2049,3617,2,1,3,2049,10285,10,10350,10380,144,102,58,43,
0,1,4,2049,10285,10,10373,10392,144,102,58,45,0,1,5,2049,10285,10,10385,10404,
144,102,58,42,0,1,6,2049,10285,10,10397,10416,144,102,58,47,0,1,7,2049,
10285,10,10409,10432,144,102,58,102,108,111,111,114,0,1,8,2049,10285,10,10421,10450,
144,102,58,99,101,105,108,105,110,103,0,1,9,2049,10285,10,10437,10465,144,102,
58,115,113,114,116,0,1,10,2049,10285,10,10455,10479,144,102,58,101,113,63,0,
1,11,2049,10285,10,10470,10494,144,102,58,45,101,113,63,0,1,12,2049,10285,10,
10484,10508,144,102,58,108,116,63,0,1,13,2049,10285,10,10499,10522,144,102,58,103,
116,63,0,1,14,2049,10285,10,10513,10538,144,102,58,100,101,112,116,104,0,1,
15,2049,10285,10,10527,10552,144,102,58,100,117,112,0,1,16,2049,10285,10,10543,10567,
144,102,58,100,114,111,112,0,1,17,2049,10285,10,10557,10582,144,102,58,115,119,
97,112,0,1,18,2049,10285,10,10572,10596,144,102,58,108,111,103,0,1,19,2049,
10285,10,10587,10612,144,102,58,112,111,119,101,114,0,1,20,2049,10285,10,10601,10626,
144,102,58,115,105,110,0,1,21,2049,10285,10,10617,10640,144,102,58,99,111,115,
0,1,22,2049,10285,10,10631,10654,144,102,58,116,97,110,0,1,23,2049,10285,10,
10645,10669,144,102,58,97,115,105,110,0,1,24,2049,10285,10,10659,10684,144,102,58,
97,99,111,115,0,1,25,2049,10285,10,10674,10699,144,102,58,97,116,97,110,0,
1,26,2049,10285,10,10689,10714,144,102,58,112,117,115,104,0,1,27,2049,10285,10,
10704,10728,144,102,58,112,111,112,0,1,28,2049,10285,10,10719,10745,144,102,58,97,
100,101,112,116,104,0,1,29,2049,10285,10,10733,10762,144,102,58,115,113,117,97,
114,101,0,2049,10552,2049,10404,10,10750,10777,144,102,58,111,118,101,114,0,2049,10714,
2049,10552,2049,10728,2049,10582,10,10767,10796,144,102,58,116,117,99,107,0,2049,10552,2049,
10714,2049,10582,2049,10728,10,10786,10814,144,102,58,110,105,112,0,2049,10582,2049,10567,10,
10805,10834,144,102,58,100,114,111,112,45,112,97,105,114,0,2049,10567,2049,10567,10,
10819,10853,144,102,58,100,117,112,45,112,97,105,114,0,2049,10777,2049,10777,10,10839,
10867,144,102,58,114,111,116,0,2049,10714,2049,10582,2049,10728,2049,10582,10,10858,10891,144,
102,58,112,111,115,105,116,105,118,101,63,0,1,0,2049,10306,2049,10522,10,10876,
10913,144,102,58,110,101,103,97,116,105,118,101,63,0,1,0,2049,10306,2049,10508,
10,10898,10932,144,102,58,110,101,103,97,116,101,0,1,-1,2049,10306,2049,10404,10,
10920,10948,144,102,58,97,98,115,0,2049,10552,2049,10913,1,10932,9,10,10939,10968,156,
112,114,101,102,105,120,58,46,0,2049,1818,1,3662,1,3591,2049,64,1,10325,2049,
144,10,10956,10990,144,102,58,112,117,116,0,2049,10365,2049,9312,10,10981,11003,144,102,
58,80,73,0,2049,3636,51,46,49,52,49,53,57,50,0,1,11005,2049,10325,10,
10995,11026,144,102,58,69,0,2049,3636,50,46,55,49,56,50,56,49,0,1,11028,
2049,10325,10,11019,11051,144,102,58,78,65,78,0,2049,3636,48,0,1,11053,2049,10325,
2049,3636,48,0,1,11061,2049,10325,2049,10416,10,11042,11079,144,102,58,73,78,70,0,
2049,3636,49,46,48,0,1,11081,2049,10325,2049,3636,48,0,1,11091,2049,10325,2049,10416,
10,11070,11110,144,102,58,45,73,78,70,0,2049,3636,45,49,46,48,0,1,11112,
2049,10325,2049,3636,48,0,1,11123,2049,10325,2049,10416,10,11100,11142,144,102,58,110,97,
110,63,0,2049,10552,2049,10494,10,11132,11157,144,102,58,105,110,102,63,0,2049,11079,
2049,10479,10,11147,11173,144,102,58,45,105,110,102,63,0,2049,11110,2049,10479,10,11162,
11189,144,102,58,114,111,117,110,100,0,2049,10552,2049,10913,1793,11210,2049,3636,48,46,
53,0,1,11197,2049,10325,2049,10392,2049,10450,10,1,11195,1793,11229,2049,3636,48,46,53,
0,1,11216,2049,10325,2049,10380,2049,10432,10,1,11214,2049,64,10,11178,11243,144,102,58,
109,105,110,0,2049,10853,2049,10508,1,10567,1,10814,2049,64,10,11234,11263,144,102,58,
109,97,120,0,2049,10853,2049,10522,1,10567,1,10814,2049,64,10,11254,11285,144,102,58,
108,105,109,105,116,0,2049,10582,2049,10714,2049,11243,2049,10728,2049,11263,10,11274,11310,144,
102,58,98,101,116,119,101,101,110,63,0,2049,10867,2049,10552,2049,10714,2049,10867,2049,
10867,2049,11285,2049,10728,2049,10479,10,11296,11336,144,102,58,105,110,99,0,2049,3636,49,
0,1,11338,2049,10325,2049,10380,10,11327,11356,144,102,58,100,101,99,0,2049,3636,49,
0,1,11358,2049,10325,2049,10392,10,11347,11377,144,102,58,99,97,115,101,0,2049,10777,
2049,10479,1793,11389,2049,10567,8,1,-1,10,1,11383,1793,11397,3,1,0,10,1,11393,
2049,64,25,6,771,10,11367,11415,144,102,58,115,105,103,110,0,2049,10552,2049,3636,
48,0,1,11419,2049,10325,2049,10479,1793,11434,1,0,2049,10567,10,1,11429,2049,2659,2049,
3636,48,0,1,11440,2049,10325,2049,10522,1793,11453,1,1,10,1,11450,1793,11460,1,-1,
10,1,11457,2049,64,10,11405,2147483645,131,101,58,77,65,88,0,11465,-2147483645,131,101,58,
77,73,78,0,11474,-2147483647,131,101,58,78,65,78,0,11483,2147483646,131,101,58,73,78,
70,0,11492,-2147483646,131,101,58,45,73,78,70,0,11501,11519,144,101,58,110,63,0,
1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11511,11540,144,101,58,109,97,120,63,
0,1,2147483645,11,10,11530,11554,144,101,58,109,105,110,63,0,1,-2147483645,11,10,11544,
11569,144,101,58,122,101,114,111,63,0,2049,2533,10,11558,11582,144,101,58,110,97,
110,63,0,1,-2147483647,11,10,11572,11596,144,101,58,105,110,102,63,0,1,2147483646,11,
10,11586,11611,144,101,58,45,105,110,102,63,0,1,-2147483646,11,10,11600,11625,144,101,
58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,10,11615,11640,144,102,58,69,49,
0,1793,11642,2049,3636,49,46,101,53,0,1,11644,2049,10325,10,11632,11666,144,102,58,
45,115,104,105,102,116,0,2049,11640,2049,10404,10,11654,11683,144,102,58,43,115,104,
105,102,116,0,2049,11640,2049,10416,10,11671,11705,144,102,58,115,105,103,110,101,100,
45,115,113,114,116,0,2049,10552,2049,11415,2049,10948,2049,10465,2049,10306,2049,10404,10,11688,
11731,144,102,58,43,101,110,99,111,100,101,0,2049,11705,2049,11666,10,11718,11749,144,
102,58,45,101,110,99,111,100,101,0,2049,10552,2049,11415,2049,11683,2049,10552,2049,10404,
2049,10306,2049,10404,10,11736,11783,144,102,58,115,105,103,110,101,100,45,115,113,117,
97,114,101,0,2049,10552,2049,11415,2049,10552,2049,10404,2049,10306,2049,10404,10,11764,11806,144,
102,58,116,111,45,101,0,2049,10552,2049,11142,1793,11817,2049,10567,1,-2147483647,10,1,11812,
2049,2659,2049,10552,2049,11157,1793,11832,2049,10567,1,2147483646,10,1,11827,2049,2659,2049,10552,2049,
11173,1793,11847,2049,10567,1,-2147483646,10,1,11842,2049,2659,2049,11731,2049,11189,2049,10345,2049,11625,
1,-2147483645,1793,11866,2049,10567,10,1,11863,2049,2379,1,2147483645,1793,11877,2049,10567,10,1,11874,
2049,2379,10,11796,11892,144,101,58,116,111,45,102,0,1,-2147483647,1793,11899,2049,11051,10,
1,11896,2049,2379,1,2147483646,1793,11910,2049,11079,10,1,11907,2049,2379,1,-2147483646,1793,11921,2049,
11110,10,1,11918,2049,2379,2049,10306,2049,11749,10,11882,11941,144,102,58,115,116,111,114,
101,0,1793,11946,2049,11806,10,1,11943,2049,2106,16,10,11930,11963,144,102,58,102,101,
116,99,104,0,15,2049,11892,10,11952,11983,144,102,58,100,117,109,112,45,115,116,
97,99,107,0,2049,10538,2,1,10714,2049,2281,1793,12001,2049,10728,2049,10552,2049,10990,2049,
9286,10,1,11992,2049,2281,10,11967,12023,144,102,58,100,117,109,112,45,97,115,116,
97,99,107,0,2049,10745,2,1,10728,2049,2281,1793,12041,2049,10552,2049,10990,2049,9286,2049,
10714,10,1,12032,2049,2281,10,12006,12055,144,101,58,112,117,116,0,1,2147483645,1793,12072,
2049,3636,101,58,77,65,88,0,1,12061,2049,9312,10,1,12059,2049,2379,1,-2147483645,1793,
12093,2049,3636,101,58,77,73,78,0,1,12082,2049,9312,10,1,12080,2049,2379,1,0,
1793,12112,2049,3636,101,58,48,0,1,12103,2049,9312,10,1,12101,2049,2379,1,-2147483647,1793,
12133,2049,3636,101,58,78,65,78,0,1,12122,2049,9312,10,1,12120,2049,2379,1,2147483646,
1793,12154,2049,3636,101,58,73,78,70,0,1,12143,2049,9312,10,1,12141,2049,2379,1,
-2147483646,1793,12176,2049,3636,101,58,45,73,78,70,0,1,12164,2049,9312,10,1,12162,2049,
2379,2049,11892,2049,10990,10,12046,12203,131,105,111,58,85,110,105,120,83,121,115,99,
97,108,108,0,0,12185,12216,144,105,100,101,110,116,105,102,121,0,3841,12203,2049,
2533,1793,12283,1,8,2049,9219,2,2049,2568,1793,12271,3,2049,3636,73,79,32,68,69,
86,73,67,69,32,84,89,80,69,32,48,48,48,56,32,78,79,84,32,70,
79,85,78,68,0,1,12234,2049,9312,2049,9275,10,1,12231,1793,12278,4097,12203,10,1,
12275,2049,64,10,1,12222,9,10,12046,12306,144,105,111,58,117,110,105,120,45,115,
121,115,99,97,108,108,0,2049,12216,3841,12203,2049,9193,10,12287,12328,144,117,110,105,
120,58,115,121,115,116,101,109,0,1,0,2049,12306,10,12313,12346,144,117,110,105,
120,58,102,111,114,107,0,1,1,2049,12306,10,12333,12365,144,117,110,105,120,58,
101,120,101,99,48,0,1,2,2049,12306,10,12351,12384,144,117,110,105,120,58,101,
120,101,99,49,0,1,3,2049,12306,10,12370,12403,144,117,110,105,120,58,101,120,
101,99,50,0,1,4,2049,12306,10,12389,12422,144,117,110,105,120,58,101,120,101,
99,51,0,1,5,2049,12306,10,12408,12440,144,117,110,105,120,58,101,120,105,116,
0,1,6,2049,12306,10,12427,12460,144,117,110,105,120,58,103,101,116,112,105,100,
0,1,7,2049,12306,10,12445,12478,144,117,110,105,120,58,119,97,105,116,0,1,
8,2049,12306,10,12465,12496,144,117,110,105,120,58,107,105,108,108,0,1,9,2049,
12306,10,12483,12515,144,117,110,105,120,58,112,111,112,101,110,0,1,10,2049,12306,
10,12501,12535,144,117,110,105,120,58,112,99,108,111,115,101,0,1,11,2049,12306,
10,12520,12554,144,117,110,105,120,58,99,104,100,105,114,0,1,13,2049,12306,10,
12540,12574,144,117,110,105,120,58,103,101,116,101,110,118,0,1,14,2049,12306,10,
12559,12594,144,117,110,105,120,58,112,117,116,101,110,118,0,1,15,2049,12306,10,
12579,12613,144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049,12306,10,12599,
12634,144,117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3636,112,119,100,
0,1,12636,1,0,2049,12515,2,2049,9967,2049,5883,4,2049,12535,2049,3636,47,0,1,
12656,2049,3842,10,12618,12690,144,117,110,105,120,58,99,111,117,110,116,45,102,105,
108,101,115,45,105,110,45,99,119,100,0,2049,3636,108,115,32,45,49,32,124,
32,119,99,32,45,108,0,1,12692,1,0,2049,12515,2,2049,9967,2049,5883,2049,218,
4,2049,12535,10,12663,12745,144,117,110,105,120,58,102,111,114,45,101,97,99,104,
45,102,105,108,101,0,2049,3636,108,115,32,45,49,32,45,112,0,1,12747,1,
0,2049,12515,2049,12690,1793,12780,1793,12775,2049,9967,2049,3591,67502597,8,10,1,12768,2049,2116,
10,1,12766,2049,2281,2049,12535,3,10,12723,12797,144,115,116,97,114,116,0,4,2049,
3418,1,0,2049,12515,10,12788,12813,144,114,101,97,100,0,2,2049,9605,2,2049,3326,
2049,2533,10,12805,12832,144,102,105,110,105,115,104,0,2049,12535,2049,3398,10,12723,12856,
144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,101,0,1793,12872,2049,
12797,1793,12865,2049,12813,10,1,12862,2049,2256,2049,12832,10,1,12858,2049,3442,10,12837,12883,
131,105,111,0,0,12877,12896,144,105,100,101,110,116,105,102,121,0,3841,12883,2049,
2533,1793,12963,1,10,2049,9219,2,2049,2568,1793,12951,3,2049,3636,73,79,32,68,69,
86,73,67,69,32,84,89,80,69,32,48,48,49,48,32,78,79,84,32,70,
79,85,78,68,0,1,12914,2049,9312,2049,9275,10,1,12911,1793,12958,4097,12883,10,1,
12955,2049,64,10,1,12902,9,10,12837,12987,144,105,111,58,114,110,103,45,111,112,
101,114,97,116,105,111,110,0,2049,12896,3841,12883,2049,9193,10,12967,13006,144,110,58,
114,97,110,100,111,109,0,2049,12987,10,12994,13020,131,83,111,99,107,101,116,115,
0,0,13009,13033,144,105,100,101,110,116,105,102,121,0,3841,13020,2049,2533,1793,13100,
1,7,2049,9219,2,2049,2568,1793,13088,3,2049,3636,73,79,32,68,69,86,73,67,
69,32,84,89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,85,78,
68,0,1,13051,2049,9312,2049,9275,10,1,13048,1793,13095,4097,13020,10,1,13092,2049,64,
10,1,13039,9,10,12994,13127,144,105,111,58,115,111,99,107,101,116,45,111,112,
101,114,97,116,105,111,110,0,2049,13033,3841,13020,2049,9193,10,13104,13158,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,13127,10,13134,13180,144,115,111,99,107,101,116,58,99,114,101,97,116,101,
0,1,1,2049,13127,10,13163,13200,144,115,111,99,107,101,116,58,98,105,110,100,
0,1,2,2049,13127,10,13185,13222,144,115,111,99,107,101,116,58,108,105,115,116,
101,110,0,1,3,2049,13127,10,13205,13244,144,115,111,99,107,101,116,58,97,99,
99,101,112,116,0,1,4,2049,13127,10,13227,13267,144,115,111,99,107,101,116,58,
99,111,110,110,101,99,116,0,1,5,2049,13127,10,13249,13287,144,115,111,99,107,
101,116,58,115,101,110,100,0,1,6,2049,13127,10,13272,13307,144,115,111,99,107,
101,116,58,114,101,99,118,0,1,8,2049,13127,10,13292,13328,144,115,111,99,107,
101,116,58,99,108,111,115,101,0,1,10,2049,13127,10,13312,13353,144,115,111,99,
107,101,116,58,99,111,110,102,105,103,117,114,101,0,1,11,2049,13127,10,13333,
1024,131,84,73,66,0,13358,13379,144,105,109,97,103,101,58,115,97,118,101,0,
1,1000,2049,9219,2049,9193,10,13365,13398,131,75,101,121,98,111,97,114,100,0,0,
13386,13411,144,105,100,101,110,116,105,102,121,0,3841,13398,2049,2533,1793,13478,1,1,
2049,9219,2,2049,2568,1793,13466,3,2049,3636,73,79,32,68,69,86,73,67,69,32,
84,89,80,69,32,48,48,48,49,32,78,79,84,32,70,79,85,78,68,0,
1,13429,2049,9312,2049,9275,10,1,13426,1793,13473,4097,13398,10,1,13470,2049,64,10,1,
13417,9,10,13365,13491,144,99,58,103,101,116,0,2049,13411,3841,13398,2049,9193,10,13482,
13508,144,103,97,116,104,101,114,0,2,1793,13515,1,8,11,10,1,13511,1793,13523,
1,127,11,10,1,13519,2049,2128,22,1,11,1,3326,2049,64,10,13498,13544,144,99,
121,99,108,101,0,2049,13491,2049,2096,4,8,2049,2465,25,3,2049,13508,1,13544,7,
10,13482,13575,144,112,97,114,115,101,45,117,110,116,105,108,0,1793,13587,2049,3617,
2049,3418,2049,13544,771,2049,3292,10,1,13577,2049,3442,10,13560,13601,144,115,58,103,101,
116,0,1793,13623,1793,13609,1,10,11,10,1,13605,1793,13617,1,13,11,10,1,13613,
2049,2128,22,10,1,13603,2049,13575,10,13592,13642,144,115,58,103,101,116,45,119,111,
114,100,0,1,5475,2049,13575,10,13628,13660,131,83,99,114,105,112,116,105,110,103,
0,7,13647,13673,144,105,100,101,110,116,105,102,121,0,3841,13660,2049,2533,1793,13740,
1,9,2049,9219,2,2049,2568,1793,13728,3,2049,3636,73,79,32,68,69,86,73,67,
69,32,84,89,80,69,32,48,48,48,57,32,78,79,84,32,70,79,85,78,
68,0,1,13691,2049,9312,2049,9275,10,1,13688,1793,13735,4097,13660,10,1,13732,2049,64,
10,1,13679,9,10,13628,13756,144,115,121,115,58,97,114,103,99,0,2049,13673,1,
0,3841,13660,2049,9193,10,13744,13777,144,115,121,115,58,97,114,103,118,0,2049,3617,
4,2049,13673,1,1,3841,13660,2049,9193,10,13765,13800,144,105,110,99,108,117,100,101,
0,2049,13673,1,2,3841,13660,2049,9193,10,13789,13821,144,115,121,115,58,110,97,109,
101,0,2049,3617,2049,13673,1,3,3841,13660,2049,9193,10,13809,13841,144,99,108,101,97,
114,0,1,27,2049,9262,2049,3636,91,50,74,0,1,13847,2049,9312,1,27,2049,9262,
2049,3636,91,48,59,48,72,0,1,13861,2049,9312,10,13832,13882,131,78,111,69,99,
104,111,0,0,13872,13890,144,98,121,101,0,1,0,2049,12440,10,13883,13906,144,118,
101,114,115,105,111,110,0,3841,4,1,100,20,10,13895,13921,144,100,111,110,101,
63,0,1793,13927,1,13,11,10,1,13923,1793,13935,1,10,11,10,1,13931,1793,13943,
1,32,11,10,1,13939,2049,2165,22,22,10,13912,13960,144,118,97,108,105,100,63,
0,2,2049,79,2049,2615,10,13950,13979,144,99,104,101,99,107,45,101,111,102,0,
2,1793,13986,1,-1,11,10,1,13982,1793,13994,1,4,11,10,1,13990,2049,2128,22,
1,13890,9,10,13966,14009,144,98,115,0,2049,3350,2049,3350,771,10,14003,14027,144,99,
104,101,99,107,45,98,115,0,2,1793,14034,1,8,11,10,1,14030,1793,14042,1,
127,11,10,1,14038,2049,2128,22,1,14009,9,10,14015,14060,144,99,104,101,99,107,
0,2049,13979,2049,14027,10,14051,14078,144,99,104,97,114,97,99,116,101,114,0,2049,
13491,2,2049,3326,10,14065,14094,144,98,117,102,102,101,114,0,1793,14104,1,1024,2049,
3418,8,2049,3292,10,1,14096,2049,3442,10,14084,14123,144,114,101,97,100,45,116,111,
107,101,110,0,1793,14139,1793,14134,2049,14078,2049,14060,2049,13921,10,1,14127,2049,2256,10,
1,14125,2049,14094,2049,3714,10,14109,14155,144,105,110,112,117,116,0,2049,14123,2049,13960,
10,14146,14171,144,112,114,111,99,101,115,115,0,1,365,1,11,2049,64,10,13883,
14188,144,98,97,110,110,101,114,0,2049,13906,2049,3636,82,69,84,82,79,32,49,
50,32,40,37,110,46,37,110,41,92,110,0,1,14192,2049,7142,2049,9312,2049,1543,
2049,1877,18,2049,1877,2049,1543,2049,3636,37,110,32,77,97,120,44,32,37,110,32,
85,115,101,100,44,32,37,110,32,70,114,101,101,92,110,0,1,14228,2049,7142,
2049,9312,10,14178,14272,144,108,105,115,116,101,110,0,3841,13882,1793,14279,2049,14188,10,
1,14276,2049,70,2049,14155,2049,14171,1,14283,7,10,14262,14300,131,67,108,111,99,107,
0,0,14291,14313,144,105,100,101,110,116,105,102,121,0,3841,14300,2049,2533,1793,14380,
1,5,2049,9219,2,2049,2568,1793,14368,3,2049,3636,73,79,32,68,69,86,73,67,
69,32,84,89,80,69,32,48,48,48,53,32,78,79,84,32,70,79,85,78,
68,0,1,14331,2049,9312,2049,9275,10,1,14328,1793,14375,4097,14300,10,1,14372,2049,64,
10,1,14319,9,10,14262,14406,144,105,111,58,99,108,111,99,107,45,111,112,101,
114,97,116,105,111,110,0,2049,14313,3841,14300,2049,9193,10,14384,14432,144,99,108,111,
99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14406,10,14413,14450,
144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14406,10,14437,14470,144,99,
108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14406,10,14455,14489,144,99,
108,111,99,107,58,121,101,97,114,0,1,3,2049,14406,10,14475,14508,144,99,108,
111,99,107,58,104,111,117,114,0,1,4,2049,14406,10,14494,14529,144,99,108,111,
99,107,58,109,105,110,117,116,101,0,1,5,2049,14406,10,14513,14550,144,99,108,
111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14406,10,14534,14572,144,99,
108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14406,10,14555,14596,
144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049,
14406,10,14577,14619,144,99,108,111,99,107,58,117,116,99,58,121,101,97,114,0,
1,9,2049,14406,10,14601,14642,144,99,108,111,99,107,58,117,116,99,58,104,111,
117,114,0,1,10,2049,14406,10,14624,14667,144,99,108,111,99,107,58,117,116,99,
58,109,105,110,117,116,101,0,1,11,2049,14406,10,14647,14692,144,99,108,111,99,
107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14406,10,14672,14708,
144,100,58,119,111,114,100,115,0,1793,14717,2049,162,2049,9312,2049,9286,10,1,14710,
2049,7374,10,14697,14738,144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049,
1877,2049,4531,1793,14769,2049,162,2,2049,1877,2049,4155,1793,14758,2049,9312,2049,9286,10,1,
14753,1793,14764,3,10,1,14762,2049,64,10,1,14744,2049,7374,10,14722,14793,144,100,105,
115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1877,2049,4455,1793,
14805,2049,9312,2049,9286,10,1,14800,1793,14811,3,10,1,14809,2049,64,10,14722,14842,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,4531,1793,14853,2049,162,2049,14793,10,1,14848,2049,7374,10,14816,
14868,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,14858,14894,
144,105,110,118,97,108,105,100,45,110,97,109,101,63,0,2,1,32,2049,3986,
10,14877,14911,144,114,101,119,114,105,116,101,0,1793,14925,1,32,1793,14920,1,95,
10,1,14917,2049,2379,10,1,14913,2049,4326,10,14900,14939,144,101,110,116,114,121,0,
2049,1877,1,21,2049,2106,4097,2,10,1793,14967,1793,14962,2049,14868,2049,14894,1,14911,9,
2049,119,10,1,14952,2049,14939,10,1,14950,0 };
7181,7227,144,102,114,111,109,0,2049,79,2,1793,7246,1793,7239,1,7191,17,16,10,
1,7234,2049,2116,2049,2893,10,1,7232,2049,2281,3,10,7219,7258,144,116,111,0,2,
2049,79,1793,7276,2049,56,1,97,18,2049,2880,1,7191,17,15,4,10,1,7263,2049,
2281,3,10,7163,7293,144,114,101,111,114,100,101,114,0,1,7227,2049,2106,2049,7258,
10,7282,7309,144,99,117,114,114,121,0,2049,1877,1793,7319,4,2049,1731,2049,1754,10,
1,7313,2049,2106,10,7300,7332,144,100,111,101,115,0,2049,1588,4,2049,7309,2049,1570,
2049,158,16,1,144,2049,1649,10,7324,7361,144,100,58,102,111,114,45,101,97,99,
104,0,1,2,1793,7389,15,25,2049,2096,1793,7381,1793,7376,4,8,10,1,7373,2049,
2106,10,1,7371,2049,2106,1,7365,7,10,1,7365,8,3,10,7347,7409,144,100,58,
108,111,111,107,117,112,45,120,116,0,1,0,4,1793,7435,2049,2096,2049,158,15,
11,1793,7428,4,1,2057,2049,2106,10,1,7422,1,11,2049,64,10,1,7414,2049,7361,
3,10,7394,7453,144,97,58,108,101,110,103,116,104,0,15,10,7441,7476,144,97,
58,99,111,117,110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049,1877,
1793,7489,2,2049,105,1,105,2049,2281,10,1,7481,2049,2106,10,7455,7511,144,97,58,
102,114,111,109,45,115,116,114,105,110,103,0,2049,1877,1793,7525,2,2049,79,2049,
105,1,105,2049,3860,10,1,7515,2049,2106,10,7494,7535,131,81,0,0,7494,7550,144,
97,58,102,111,114,45,101,97,99,104,0,1,7535,1793,7580,4097,7535,2049,56,1793,
7574,2049,56,4,1793,7569,3841,7535,8,10,1,7565,2049,2106,10,1,7560,2049,2281,3,
10,1,7554,2049,3069,10,7536,7594,144,97,58,100,117,112,0,2049,1877,1793,7607,2,
15,2049,105,1,105,2049,7550,10,1,7598,2049,2106,10,7585,7622,144,97,58,99,111,
112,121,0,1,3,1793,7638,4097,3,2,2049,7453,2049,105,1,105,2049,7550,10,1,
7626,2049,3069,10,7612,7658,144,97,58,116,111,45,115,116,114,105,110,103,0,1,
3,1793,7671,2049,7594,1,0,2049,105,2049,2880,10,1,7662,2049,3069,2049,3591,10,7643,
7686,144,99,111,112,121,0,2,15,1793,7695,1,105,2049,7550,10,1,7690,2049,2106,
10,7643,7713,144,97,58,112,114,101,112,101,110,100,0,2049,1877,1,0,2049,105,
1793,7728,2049,7686,4,2049,7686,17,10,1,7721,2049,2106,1,36,2049,2116,10,7700,7749,
144,97,58,97,112,112,101,110,100,0,4,2049,7713,10,7737,7763,144,97,58,99,
104,111,112,0,2049,7594,1,-1,2049,3050,2,2049,2993,10,7753,7785,144,97,58,102,
105,108,116,101,114,0,1793,7800,67502597,1,21,2049,2106,4,1,105,1,11,2049,64,
10,1,7787,2049,7309,2049,1877,1793,7815,67502597,15,2049,105,2049,7550,10,1,7808,2049,2106,
2049,1877,67502597,18,2049,2893,67502597,16,10,7773,7843,144,97,58,99,111,110,116,97,105,
110,115,63,0,1,0,4,1793,7855,4,5,67502597,11,6,22,10,1,7848,2049,7550,
772,10,7828,7883,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,105,
110,103,63,0,1,0,4,1793,7896,4,5,67502597,2049,93,6,22,10,1,7888,2049,
7550,772,10,7861,7914,131,76,111,99,97,116,105,111,110,0,0,7902,7926,144,112,
114,101,112,97,114,101,0,4,1,-1,4097,7914,10,7915,7940,144,110,101,120,116,
0,3841,7914,2049,2568,1793,7951,1,7914,2049,2993,10,1,7946,9,10,7932,7965,144,109,
97,116,99,104,63,0,67502597,11,2,1793,7976,3,3841,7914,2049,2568,10,1,7970,9,
10,7955,7994,144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,2,1793,
8006,3,3841,7914,2049,2568,10,1,8000,9,10,7980,8020,144,117,112,100,97,116,101,
0,3841,7914,2049,2845,2049,2893,4097,7914,10,7861,8043,144,97,58,105,110,100,101,120,
45,111,102,0,2049,7926,2049,2096,2049,7843,1793,8055,771,1,-1,10,1,8051,2049,2676,
1793,8069,2049,7965,1,8020,9,2049,7940,10,1,8061,2049,7550,3,3841,7914,10,8029,8098,
144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,2049,
7926,2049,2096,2049,7883,1793,8110,771,1,-1,10,1,8106,2049,2676,1793,8124,2049,7994,1,
8020,9,2049,7940,10,1,8116,2049,7550,3,3841,7914,10,8077,8141,144,97,58,109,97,
112,0,1793,8147,8,2049,105,10,1,8143,2049,7309,2049,1877,1793,8162,67502597,15,2049,105,
2049,7550,10,1,8155,2049,2106,10,8132,8180,144,97,58,114,101,118,101,114,115,101,
0,2049,1877,1793,8214,2049,56,1793,8192,17,2049,2893,10,1,8188,2049,2116,2,2049,105,
1793,8208,2,15,2049,105,2049,2893,10,1,8201,2049,2281,3,10,1,8184,2049,2106,10,
8167,8227,144,97,58,116,104,0,17,2049,2880,10,8219,8242,144,97,58,102,101,116,
99,104,0,2049,8227,15,10,8231,8257,144,97,58,115,116,111,114,101,0,2049,8227,
16,10,8246,8273,144,97,58,114,101,100,117,99,101,0,1,13,2049,2106,2049,7550,
10,8261,8290,144,97,58,109,97,107,101,0,2049,7476,2049,8180,10,8280,8300,156,123,
0,1,285,2049,156,1,1556,2049,144,1,285,2049,156,10,8295,8318,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,8290,2049,144,10,8313,8362,144,98,111,117,110,100,
115,63,0,67502597,2049,7453,67502597,13,10,8351,8376,144,99,111,112,121,0,2049,56,2049,
105,10,8368,8391,144,116,111,45,101,110,100,0,2,2049,7453,17,2049,2880,10,8313,
8408,144,97,58,108,101,102,116,0,2049,8362,1793,8416,771,1,-1,10,1,8412,2049,
2659,2049,1877,67502597,2049,105,1793,8437,1,2880,2049,2106,1,8376,2049,2281,3,10,1,8427,
2049,2106,10,8398,8453,144,97,58,114,105,103,104,116,0,2049,8362,1793,8461,771,1,
-1,10,1,8457,2049,2659,2049,1877,67502597,2049,105,1793,8484,4,2049,8391,67502597,18,4,1,
8376,2049,2281,3,10,1,8472,2049,2106,10,8442,8501,144,97,58,109,105,100,100,108,
101,0,1,2048,2049,2106,4,67502597,2049,8362,1793,8516,771,3,1,-1,10,1,8511,2049,
2659,771,2049,2096,4,18,2049,2880,2049,1877,67502597,2049,105,1793,8551,772,1793,8541,17,2049,
2880,10,1,8537,2049,2106,1,8376,2049,2281,3,10,1,8534,2049,2106,10,8489,8564,131,
70,108,97,103,0,0,8556,8576,144,99,111,109,112,97,114,101,0,67440386,184946434,10,
8565,8589,144,108,101,110,103,116,104,0,659202,10,8579,8599,144,110,101,120,116,0,
17043713,1,1,2577,10,8591,8617,144,110,111,116,45,101,113,117,97,108,0,50529030,2561,
0,10,8604,8629,144,108,111,111,112,0,524549,8599,2049,8576,18157313,8564,8564,16,420610310,1,
1,8629,7,10,8489,8652,144,97,58,101,113,63,0,1048833,-1,8564,2049,8576,151066369,-1,
8617,2049,8589,2049,8629,251724547,8564,10,8643,8677,144,97,58,45,101,113,63,0,2049,8652,
2049,2465,10,8667,8700,144,97,58,98,101,103,105,110,115,45,119,105,116,104,63,
0,1,3,1793,8716,2,2049,7453,1,13,2049,2106,2049,8408,2049,8652,10,1,8704,2049,
3069,10,8682,8737,144,97,58,101,110,100,115,45,119,105,116,104,63,0,1,3,
1793,8753,2,2049,7453,1,13,2049,2106,2049,8453,2049,8652,10,1,8741,2049,3069,10,8721,
8774,144,99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3507,1,1025,18,
10,8758,8796,144,99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8802,1,
32,11,10,1,8798,2049,4284,2049,79,10,8780,8827,144,112,114,111,99,101,115,115,
45,116,111,107,101,110,115,0,1793,8855,1,32,2049,6100,4,1793,8848,2,2049,79,
2049,2549,1,365,1,11,2049,64,10,1,8836,2049,2106,2049,2880,10,1,8829,2049,2281,
2049,365,10,8721,8876,144,115,58,101,118,97,108,117,97,116,101,0,2049,8774,2049,
4531,2049,8774,2,2049,8796,2049,8827,10,8862,8894,131,76,80,0,0,8888,8904,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,8895,8944,144,
110,101,120,116,0,3841,8894,1,8904,17,2049,2978,10,8936,8960,144,112,114,101,112,
0,1,8894,2049,2978,1,0,3841,8894,1,8904,17,16,10,8952,8981,144,100,111,110,
101,0,1,8894,2049,2993,10,8862,8991,144,73,0,3841,8894,1,8904,17,15,10,8986,
9003,144,74,0,3841,8894,1,8904,17,2049,2893,15,10,8998,9017,144,75,0,3841,8894,
1,8904,17,1,2,18,15,10,9012,9048,144,116,105,109,101,115,60,119,105,116,
104,45,105,110,100,101,120,62,0,2049,8960,4,1793,9064,25,33886721,1,2053,1542,2049,
8944,1,9053,7,10,1,9053,8,3,2049,8981,10,9027,9079,156,104,111,111,107,0,
2049,3636,108,105,106,117,46,46,46,46,0,1,9081,2049,412,2049,1877,2049,2880,2049,
105,10,9071,9113,144,115,101,116,45,104,111,111,107,0,2049,2880,16,10,9101,9127,
144,117,110,104,111,111,107,0,2049,2880,2,2049,2880,4,16,10,9117,9151,144,105,
111,58,101,110,117,109,101,114,97,116,101,0,27,10,9135,9165,144,105,111,58,
113,117,101,114,121,0,28,10,9153,9180,144,105,111,58,105,110,118,111,107,101,
0,29,10,9167,9190,131,83,108,111,116,0,9,9167,9206,144,105,111,58,115,99,
97,110,45,102,111,114,0,1,-1,4097,9190,2049,9151,1793,9232,2049,8991,2049,9165,772,
67502597,11,1793,9228,2049,8991,4097,9190,10,1,9223,9,10,1,9214,2049,9048,3,3841,9190,
10,9191,9249,144,99,58,112,117,116,0,1793,9251,1,0,2049,9180,10,9240,9262,144,
110,108,0,1,10,2049,9249,10,9256,9273,144,115,112,0,1,32,2049,9249,10,9267,
9285,144,116,97,98,0,1,9,2049,9249,10,9278,9299,144,115,58,112,117,116,0,
1,9249,2049,3860,10,9290,9313,144,110,58,112,117,116,0,2049,5933,2049,9299,10,9304,
9327,144,114,101,115,101,116,0,2049,1556,25,771,1,9327,7,10,9318,9349,144,100,
117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9349,6,2,2049,
9313,2049,9273,10,9335,9371,144,70,82,69,69,0,2049,3507,1,1025,18,2049,1877,18,
10,9363,9389,131,70,105,108,101,115,0,0,9380,9402,144,105,100,101,110,116,105,
102,121,0,3841,9389,2049,2533,1793,9469,1,4,2049,9206,2,2049,2568,1793,9457,3,2049,
3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52,
32,78,79,84,32,70,79,85,78,68,0,1,9420,2049,9299,2049,9262,10,1,9417,
1793,9464,4097,9389,10,1,9461,2049,64,10,1,9408,9,10,9363,9494,144,105,111,58,
102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9402,3841,9389,2049,
9180,10,9473,0,131,102,105,108,101,58,82,0,9501,1,131,102,105,108,101,58,
87,0,9511,2,131,102,105,108,101,58,65,0,9521,3,131,102,105,108,101,58,
82,43,0,9531,9555,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,9494,
10,9542,9574,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9494,10,
9560,9592,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9494,10,9579,9611,
144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9494,10,9597,9629,144,
102,105,108,101,58,116,101,108,108,0,1,4,2049,9494,10,9616,9647,144,102,105,
108,101,58,115,101,101,107,0,1,5,2049,9494,10,9634,9665,144,102,105,108,101,
58,115,105,122,101,0,1,6,2049,9494,10,9652,9685,144,102,105,108,101,58,100,
101,108,101,116,101,0,1,7,2049,9494,10,9670,9704,144,102,105,108,101,58,102,
108,117,115,104,0,1,8,2049,9494,10,9690,9725,144,102,105,108,101,58,101,120,
105,115,116,115,63,0,1,0,2049,9555,2,2049,2549,1793,9739,2049,9574,2049,2356,10,
1,9734,1793,9747,3,2049,2368,10,1,9743,2049,64,10,9709,9778,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,9555,2,2049,9665,4,10,9752,9812,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,9555,2,2049,9665,
4,10,9787,9847,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,9555,10,9821,9859,131,70,73,68,0,
0,9852,9868,131,83,105,122,101,0,0,9860,9879,131,65,99,116,105,111,110,0,
0,9869,9890,131,66,117,102,102,101,114,0,0,9880,9900,144,45,101,111,102,63,
0,3841,9859,2049,9629,3841,9868,13,10,9891,9920,144,112,114,101,115,101,114,118,101,
0,1,9859,1793,9931,1,9868,1,21,2049,3069,10,1,9924,2049,3069,10,9821,9954,144,
102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9859,1793,10011,2049,
1877,2,4097,9890,2049,3418,1793,10003,3841,9859,2049,9592,2,2049,3326,1793,9980,1,13,11,
10,1,9976,1793,9988,1,10,11,10,1,9984,1793,9996,1,0,11,10,1,9992,2049,
2165,22,22,10,1,9967,2049,2256,2049,3350,3,10,1,9958,2049,3442,3841,9890,10,9936,
10040,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,101,
0,1793,10071,4097,9879,2049,9778,4097,9859,4097,9868,1793,10062,3841,9859,2049,9954,3841,9879,8,
2049,9900,10,1,10052,2049,2233,3841,9859,2049,9574,10,1,10042,2049,9920,10,10018,10083,131,
70,73,68,0,0,10018,10098,144,102,105,108,101,58,115,108,117,114,112,0,1793,
10125,4,2049,3418,2049,9778,4097,10083,1793,10116,3841,10083,2049,9592,2049,3326,10,1,10109,2049,
2281,3841,10083,2049,9574,10,1,10100,2049,3442,10,10084,10143,144,102,105,108,101,58,115,
112,101,119,0,2049,9847,4,1793,10152,67502597,2049,9611,10,1,10148,2049,3860,2049,9574,10,
10130,10166,131,70,80,85,0,0,10159,10179,144,105,100,101,110,116,105,102,121,0,
3841,10166,2049,2533,1793,10246,1,2,2049,9206,2,2049,2568,1793,10234,3,2049,3636,73,79,
32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,50,32,78,79,
84,32,70,79,85,78,68,0,1,10197,2049,9299,2049,9262,10,1,10194,1793,10241,4097,
10166,10,1,10238,2049,64,10,1,10185,9,10,10130,10272,144,105,111,58,102,108,111,
97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10179,3841,10166,2049,9180,10,
10250,10293,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10272,10,10279,
10312,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10272,10,10298,10332,
144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10272,10,10317,10352,
144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3617,2,1,3,2049,10272,
10,10337,10367,144,102,58,43,0,1,4,2049,10272,10,10360,10379,144,102,58,45,0,
1,5,2049,10272,10,10372,10391,144,102,58,42,0,1,6,2049,10272,10,10384,10403,144,
102,58,47,0,1,7,2049,10272,10,10396,10419,144,102,58,102,108,111,111,114,0,
1,8,2049,10272,10,10408,10437,144,102,58,99,101,105,108,105,110,103,0,1,9,
2049,10272,10,10424,10452,144,102,58,115,113,114,116,0,1,10,2049,10272,10,10442,10466,
144,102,58,101,113,63,0,1,11,2049,10272,10,10457,10481,144,102,58,45,101,113,
63,0,1,12,2049,10272,10,10471,10495,144,102,58,108,116,63,0,1,13,2049,10272,
10,10486,10509,144,102,58,103,116,63,0,1,14,2049,10272,10,10500,10525,144,102,58,
100,101,112,116,104,0,1,15,2049,10272,10,10514,10539,144,102,58,100,117,112,0,
1,16,2049,10272,10,10530,10554,144,102,58,100,114,111,112,0,1,17,2049,10272,10,
10544,10569,144,102,58,115,119,97,112,0,1,18,2049,10272,10,10559,10583,144,102,58,
108,111,103,0,1,19,2049,10272,10,10574,10599,144,102,58,112,111,119,101,114,0,
1,20,2049,10272,10,10588,10613,144,102,58,115,105,110,0,1,21,2049,10272,10,10604,
10627,144,102,58,99,111,115,0,1,22,2049,10272,10,10618,10641,144,102,58,116,97,
110,0,1,23,2049,10272,10,10632,10656,144,102,58,97,115,105,110,0,1,24,2049,
10272,10,10646,10671,144,102,58,97,99,111,115,0,1,25,2049,10272,10,10661,10686,144,
102,58,97,116,97,110,0,1,26,2049,10272,10,10676,10701,144,102,58,112,117,115,
104,0,1,27,2049,10272,10,10691,10715,144,102,58,112,111,112,0,1,28,2049,10272,
10,10706,10732,144,102,58,97,100,101,112,116,104,0,1,29,2049,10272,10,10720,10749,
144,102,58,115,113,117,97,114,101,0,2049,10539,2049,10391,10,10737,10764,144,102,58,
111,118,101,114,0,2049,10701,2049,10539,2049,10715,2049,10569,10,10754,10783,144,102,58,116,
117,99,107,0,2049,10539,2049,10701,2049,10569,2049,10715,10,10773,10801,144,102,58,110,105,
112,0,2049,10569,2049,10554,10,10792,10821,144,102,58,100,114,111,112,45,112,97,105,
114,0,2049,10554,2049,10554,10,10806,10840,144,102,58,100,117,112,45,112,97,105,114,
0,2049,10764,2049,10764,10,10826,10854,144,102,58,114,111,116,0,2049,10701,2049,10569,2049,
10715,2049,10569,10,10845,10878,144,102,58,112,111,115,105,116,105,118,101,63,0,1,
0,2049,10293,2049,10509,10,10863,10900,144,102,58,110,101,103,97,116,105,118,101,63,
0,1,0,2049,10293,2049,10495,10,10885,10919,144,102,58,110,101,103,97,116,101,0,
1,-1,2049,10293,2049,10391,10,10907,10935,144,102,58,97,98,115,0,2049,10539,2049,10900,
1,10919,9,10,10926,10955,156,112,114,101,102,105,120,58,46,0,2049,1818,1,3662,
1,3591,2049,64,1,10312,2049,144,10,10943,10977,144,102,58,112,117,116,0,2049,10352,
2049,9299,10,10968,10990,144,102,58,80,73,0,2049,3636,51,46,49,52,49,53,57,
50,0,1,10992,2049,10312,10,10982,11013,144,102,58,69,0,2049,3636,50,46,55,49,
56,50,56,49,0,1,11015,2049,10312,10,11006,11038,144,102,58,78,65,78,0,2049,
3636,48,0,1,11040,2049,10312,2049,3636,48,0,1,11048,2049,10312,2049,10403,10,11029,11066,
144,102,58,73,78,70,0,2049,3636,49,46,48,0,1,11068,2049,10312,2049,3636,48,
0,1,11078,2049,10312,2049,10403,10,11057,11097,144,102,58,45,73,78,70,0,2049,3636,
45,49,46,48,0,1,11099,2049,10312,2049,3636,48,0,1,11110,2049,10312,2049,10403,10,
11087,11129,144,102,58,110,97,110,63,0,2049,10539,2049,10481,10,11119,11144,144,102,58,
105,110,102,63,0,2049,11066,2049,10466,10,11134,11160,144,102,58,45,105,110,102,63,
0,2049,11097,2049,10466,10,11149,11176,144,102,58,114,111,117,110,100,0,2049,10539,2049,
10900,1793,11197,2049,3636,48,46,53,0,1,11184,2049,10312,2049,10379,2049,10437,10,1,11182,
1793,11216,2049,3636,48,46,53,0,1,11203,2049,10312,2049,10367,2049,10419,10,1,11201,2049,
64,10,11165,11230,144,102,58,109,105,110,0,2049,10840,2049,10495,1,10554,1,10801,2049,
64,10,11221,11250,144,102,58,109,97,120,0,2049,10840,2049,10509,1,10554,1,10801,2049,
64,10,11241,11272,144,102,58,108,105,109,105,116,0,2049,10569,2049,10701,2049,11230,2049,
10715,2049,11250,10,11261,11297,144,102,58,98,101,116,119,101,101,110,63,0,2049,10854,
2049,10539,2049,10701,2049,10854,2049,10854,2049,11272,2049,10715,2049,10466,10,11283,11323,144,102,58,
105,110,99,0,2049,3636,49,0,1,11325,2049,10312,2049,10367,10,11314,11343,144,102,58,
100,101,99,0,2049,3636,49,0,1,11345,2049,10312,2049,10379,10,11334,11364,144,102,58,
99,97,115,101,0,2049,10764,2049,10466,1793,11376,2049,10554,8,1,-1,10,1,11370,1793,
11384,3,1,0,10,1,11380,2049,64,25,6,771,10,11354,11402,144,102,58,115,105,
103,110,0,2049,10539,2049,3636,48,0,1,11406,2049,10312,2049,10466,1793,11421,1,0,2049,
10554,10,1,11416,2049,2659,2049,3636,48,0,1,11427,2049,10312,2049,10509,1793,11440,1,1,
10,1,11437,1793,11447,1,-1,10,1,11444,2049,64,10,11392,2147483645,131,101,58,77,65,
88,0,11452,-2147483645,131,101,58,77,73,78,0,11461,-2147483647,131,101,58,78,65,78,0,
11470,2147483646,131,101,58,73,78,70,0,11479,-2147483646,131,101,58,45,73,78,70,0,11488,
11506,144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11498,11527,
144,101,58,109,97,120,63,0,1,2147483645,11,10,11517,11541,144,101,58,109,105,110,
63,0,1,-2147483645,11,10,11531,11556,144,101,58,122,101,114,111,63,0,2049,2533,10,
11545,11569,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11559,11583,144,101,58,105,
110,102,63,0,1,2147483646,11,10,11573,11598,144,101,58,45,105,110,102,63,0,1,
-2147483646,11,10,11587,11612,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,10,
11602,11627,144,102,58,69,49,0,1793,11629,2049,3636,49,46,101,53,0,1,11631,2049,
10312,10,11619,11653,144,102,58,45,115,104,105,102,116,0,2049,11627,2049,10391,10,11641,
11670,144,102,58,43,115,104,105,102,116,0,2049,11627,2049,10403,10,11658,11692,144,102,
58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10539,2049,11402,2049,10935,2049,
10452,2049,10293,2049,10391,10,11675,11718,144,102,58,43,101,110,99,111,100,101,0,2049,
11692,2049,11653,10,11705,11736,144,102,58,45,101,110,99,111,100,101,0,2049,10539,2049,
11402,2049,11670,2049,10539,2049,10391,2049,10293,2049,10391,10,11723,11770,144,102,58,115,105,103,
110,101,100,45,115,113,117,97,114,101,0,2049,10539,2049,11402,2049,10539,2049,10391,2049,
10293,2049,10391,10,11751,11793,144,102,58,116,111,45,101,0,2049,10539,2049,11129,1793,11804,
2049,10554,1,-2147483647,10,1,11799,2049,2659,2049,10539,2049,11144,1793,11819,2049,10554,1,2147483646,10,
1,11814,2049,2659,2049,10539,2049,11160,1793,11834,2049,10554,1,-2147483646,10,1,11829,2049,2659,2049,
11718,2049,11176,2049,10332,2049,11612,1,-2147483645,1793,11853,2049,10554,10,1,11850,2049,2379,1,2147483645,
1793,11864,2049,10554,10,1,11861,2049,2379,10,11783,11879,144,101,58,116,111,45,102,0,
1,-2147483647,1793,11886,2049,11038,10,1,11883,2049,2379,1,2147483646,1793,11897,2049,11066,10,1,11894,
2049,2379,1,-2147483646,1793,11908,2049,11097,10,1,11905,2049,2379,2049,10293,2049,11736,10,11869,11928,
144,102,58,115,116,111,114,101,0,1793,11933,2049,11793,10,1,11930,2049,2106,16,10,
11917,11950,144,102,58,102,101,116,99,104,0,15,2049,11879,10,11939,11970,144,102,58,
100,117,109,112,45,115,116,97,99,107,0,2049,10525,2,1,10701,2049,2281,1793,11988,
2049,10715,2049,10539,2049,10977,2049,9273,10,1,11979,2049,2281,10,11954,12010,144,102,58,100,
117,109,112,45,97,115,116,97,99,107,0,2049,10732,2,1,10715,2049,2281,1793,12028,
2049,10539,2049,10977,2049,9273,2049,10701,10,1,12019,2049,2281,10,11993,12042,144,101,58,112,
117,116,0,1,2147483645,1793,12059,2049,3636,101,58,77,65,88,0,1,12048,2049,9299,10,
1,12046,2049,2379,1,-2147483645,1793,12080,2049,3636,101,58,77,73,78,0,1,12069,2049,9299,
10,1,12067,2049,2379,1,0,1793,12099,2049,3636,101,58,48,0,1,12090,2049,9299,10,
1,12088,2049,2379,1,-2147483647,1793,12120,2049,3636,101,58,78,65,78,0,1,12109,2049,9299,
10,1,12107,2049,2379,1,2147483646,1793,12141,2049,3636,101,58,73,78,70,0,1,12130,2049,
9299,10,1,12128,2049,2379,1,-2147483646,1793,12163,2049,3636,101,58,45,73,78,70,0,1,
12151,2049,9299,10,1,12149,2049,2379,2049,11879,2049,10977,10,12033,12190,131,105,111,58,85,
110,105,120,83,121,115,99,97,108,108,0,0,12172,12203,144,105,100,101,110,116,
105,102,121,0,3841,12190,2049,2533,1793,12270,1,8,2049,9206,2,2049,2568,1793,12258,3,
2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,
56,32,78,79,84,32,70,79,85,78,68,0,1,12221,2049,9299,2049,9262,10,1,
12218,1793,12265,4097,12190,10,1,12262,2049,64,10,1,12209,9,10,12033,12293,144,105,111,
58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12203,3841,12190,2049,9180,
10,12274,12315,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12293,
10,12300,12333,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12293,10,12320,
12352,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12293,10,12338,12371,
144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12293,10,12357,12390,144,
117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12293,10,12376,12409,144,117,
110,105,120,58,101,120,101,99,51,0,1,5,2049,12293,10,12395,12427,144,117,110,
105,120,58,101,120,105,116,0,1,6,2049,12293,10,12414,12447,144,117,110,105,120,
58,103,101,116,112,105,100,0,1,7,2049,12293,10,12432,12465,144,117,110,105,120,
58,119,97,105,116,0,1,8,2049,12293,10,12452,12483,144,117,110,105,120,58,107,
105,108,108,0,1,9,2049,12293,10,12470,12502,144,117,110,105,120,58,112,111,112,
101,110,0,1,10,2049,12293,10,12488,12522,144,117,110,105,120,58,112,99,108,111,
115,101,0,1,11,2049,12293,10,12507,12541,144,117,110,105,120,58,99,104,100,105,
114,0,1,13,2049,12293,10,12527,12561,144,117,110,105,120,58,103,101,116,101,110,
118,0,1,14,2049,12293,10,12546,12581,144,117,110,105,120,58,112,117,116,101,110,
118,0,1,15,2049,12293,10,12566,12600,144,117,110,105,120,58,115,108,101,101,112,
0,1,16,2049,12293,10,12586,12621,144,117,110,105,120,58,103,101,116,45,99,119,
100,0,2049,3636,112,119,100,0,1,12623,1,0,2049,12502,2,2049,9954,2049,5873,4,
2049,12522,2049,3636,47,0,1,12643,2049,3842,10,12605,12677,144,117,110,105,120,58,99,
111,117,110,116,45,102,105,108,101,115,45,105,110,45,99,119,100,0,2049,3636,
108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12679,1,0,2049,12502,
2,2049,9954,2049,5873,2049,218,4,2049,12522,10,12650,12732,144,117,110,105,120,58,102,
111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3636,108,115,32,45,49,
32,45,112,0,1,12734,1,0,2049,12502,2049,12677,1793,12767,1793,12762,2049,9954,2049,3591,
67502597,8,10,1,12755,2049,2116,10,1,12753,2049,2281,2049,12522,3,10,12710,12784,144,115,
116,97,114,116,0,4,2049,3418,1,0,2049,12502,10,12775,12800,144,114,101,97,100,
0,2,2049,9592,2,2049,3326,2049,2533,10,12792,12819,144,102,105,110,105,115,104,0,
2049,12522,2049,3398,10,12710,12843,144,117,110,105,120,58,115,108,117,114,112,45,112,
105,112,101,0,1793,12859,2049,12784,1793,12852,2049,12800,10,1,12849,2049,2256,2049,12819,10,
1,12845,2049,3442,10,12824,12870,131,105,111,0,0,12864,12883,144,105,100,101,110,116,
105,102,121,0,3841,12870,2049,2533,1793,12950,1,10,2049,9206,2,2049,2568,1793,12938,3,
2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,49,
48,32,78,79,84,32,70,79,85,78,68,0,1,12901,2049,9299,2049,9262,10,1,
12898,1793,12945,4097,12870,10,1,12942,2049,64,10,1,12889,9,10,12824,12974,144,105,111,
58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12883,3841,12870,2049,
9180,10,12954,12993,144,110,58,114,97,110,100,111,109,0,2049,12974,10,12981,13007,131,
83,111,99,107,101,116,115,0,0,12996,13020,144,105,100,101,110,116,105,102,121,
0,3841,13007,2049,2533,1793,13087,1,7,2049,9206,2,2049,2568,1793,13075,3,2049,3636,73,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52,32,78,
79,84,32,70,79,85,78,68,0,1,13038,2049,9299,2049,9262,10,1,13035,1793,13082,
4097,13007,10,1,13079,2049,64,10,1,13026,9,10,12981,13114,144,105,111,58,115,111,
99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13020,3841,13007,2049,
9180,10,13091,13145,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,13114,10,13121,13167,144,115,111,99,107,101,116,
58,99,114,101,97,116,101,0,1,1,2049,13114,10,13150,13187,144,115,111,99,107,
101,116,58,98,105,110,100,0,1,2,2049,13114,10,13172,13209,144,115,111,99,107,
101,116,58,108,105,115,116,101,110,0,1,3,2049,13114,10,13192,13231,144,115,111,
99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,13114,10,13214,13254,144,
115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13114,10,
13236,13274,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13114,10,
13259,13294,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13114,10,
13279,13315,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,13114,
10,13299,13340,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,101,
0,1,11,2049,13114,10,13320,1024,131,84,73,66,0,13345,13366,144,105,109,97,103,
101,58,115,97,118,101,0,1,1000,2049,9206,2049,9180,10,13352,13385,131,75,101,121,
98,111,97,114,100,0,0,13373,13398,144,105,100,101,110,116,105,102,121,0,3841,
13385,2049,2533,1793,13465,1,1,2049,9206,2,2049,2568,1793,13453,3,2049,3636,73,79,32,
68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,49,32,78,79,84,
32,70,79,85,78,68,0,1,13416,2049,9299,2049,9262,10,1,13413,1793,13460,4097,13385,
10,1,13457,2049,64,10,1,13404,9,10,13352,13478,144,99,58,103,101,116,0,2049,
13398,3841,13385,2049,9180,10,13469,13495,144,103,97,116,104,101,114,0,2,1793,13502,1,
8,11,10,1,13498,1793,13510,1,127,11,10,1,13506,2049,2128,22,1,11,1,3326,
2049,64,10,13485,13531,144,99,121,99,108,101,0,2049,13478,2049,2096,4,8,2049,2465,
25,3,2049,13495,1,13531,7,10,13469,13562,144,112,97,114,115,101,45,117,110,116,
105,108,0,1793,13574,2049,3617,2049,3418,2049,13531,771,2049,3292,10,1,13564,2049,3442,10,
13547,13588,144,115,58,103,101,116,0,1793,13610,1793,13596,1,10,11,10,1,13592,1793,
13604,1,13,11,10,1,13600,2049,2128,22,10,1,13590,2049,13562,10,13579,13629,144,115,
58,103,101,116,45,119,111,114,100,0,1,5475,2049,13562,10,13615,13647,131,83,99,
114,105,112,116,105,110,103,0,7,13634,13660,144,105,100,101,110,116,105,102,121,
0,3841,13647,2049,2533,1793,13727,1,9,2049,9206,2,2049,2568,1793,13715,3,2049,3636,73,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,57,32,78,
79,84,32,70,79,85,78,68,0,1,13678,2049,9299,2049,9262,10,1,13675,1793,13722,
4097,13647,10,1,13719,2049,64,10,1,13666,9,10,13615,13743,144,115,121,115,58,97,
114,103,99,0,2049,13660,1,0,3841,13647,2049,9180,10,13731,13764,144,115,121,115,58,
97,114,103,118,0,2049,3617,4,2049,13660,1,1,3841,13647,2049,9180,10,13752,13787,144,
105,110,99,108,117,100,101,0,2049,13660,1,2,3841,13647,2049,9180,10,13776,13808,144,
115,121,115,58,110,97,109,101,0,2049,3617,2049,13660,1,3,3841,13647,2049,9180,10,
13796,13828,144,99,108,101,97,114,0,1,27,2049,9249,2049,3636,91,50,74,0,1,
13834,2049,9299,1,27,2049,9249,2049,3636,91,48,59,48,72,0,1,13848,2049,9299,10,
13819,13869,131,78,111,69,99,104,111,0,0,13859,13877,144,98,121,101,0,1,0,
2049,12427,10,13870,13893,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10,
13882,13908,144,100,111,110,101,63,0,1793,13914,1,13,11,10,1,13910,1793,13922,1,
10,11,10,1,13918,1793,13930,1,32,11,10,1,13926,2049,2165,22,22,10,13899,13947,
144,118,97,108,105,100,63,0,2,2049,79,2049,2615,10,13937,13966,144,99,104,101,
99,107,45,101,111,102,0,2,1793,13973,1,-1,11,10,1,13969,1793,13981,1,4,
11,10,1,13977,2049,2128,22,1,13877,9,10,13953,13996,144,98,115,0,2049,3350,2049,
3350,771,10,13990,14014,144,99,104,101,99,107,45,98,115,0,2,1793,14021,1,8,
11,10,1,14017,1793,14029,1,127,11,10,1,14025,2049,2128,22,1,13996,9,10,14002,
14047,144,99,104,101,99,107,0,2049,13966,2049,14014,10,14038,14065,144,99,104,97,114,
97,99,116,101,114,0,2049,13478,2,2049,3326,10,14052,14081,144,98,117,102,102,101,
114,0,1793,14091,1,1024,2049,3418,8,2049,3292,10,1,14083,2049,3442,10,14071,14110,144,
114,101,97,100,45,116,111,107,101,110,0,1793,14126,1793,14121,2049,14065,2049,14047,2049,
13908,10,1,14114,2049,2256,10,1,14112,2049,14081,2049,3714,10,14096,14142,144,105,110,112,
117,116,0,2049,14110,2049,13947,10,14133,14158,144,112,114,111,99,101,115,115,0,1,
365,1,11,2049,64,10,13870,14175,144,98,97,110,110,101,114,0,2049,13893,2049,3636,
82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1,
14179,2049,7129,2049,9299,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3636,37,110,32,77,
97,120,44,32,37,110,32,85,115,101,100,44,32,37,110,32,70,114,101,101,
92,110,0,1,14215,2049,7129,2049,9299,10,14165,14259,144,108,105,115,116,101,110,0,
3841,13869,1793,14266,2049,14175,10,1,14263,2049,70,2049,14142,2049,14158,1,14270,7,10,14249,
14287,131,67,108,111,99,107,0,0,14278,14300,144,105,100,101,110,116,105,102,121,
0,3841,14287,2049,2533,1793,14367,1,5,2049,9206,2,2049,2568,1793,14355,3,2049,3636,73,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,53,32,78,
79,84,32,70,79,85,78,68,0,1,14318,2049,9299,2049,9262,10,1,14315,1793,14362,
4097,14287,10,1,14359,2049,64,10,1,14306,9,10,14249,14393,144,105,111,58,99,108,
111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14300,3841,14287,2049,9180,
10,14371,14419,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,0,
1,0,2049,14393,10,14400,14437,144,99,108,111,99,107,58,100,97,121,0,1,1,
2049,14393,10,14424,14457,144,99,108,111,99,107,58,109,111,110,116,104,0,1,2,
2049,14393,10,14442,14476,144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049,
14393,10,14462,14495,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14393,
10,14481,14516,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049,
14393,10,14500,14537,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,6,
2049,14393,10,14521,14559,144,99,108,111,99,107,58,117,116,99,58,100,97,121,0,
1,7,2049,14393,10,14542,14583,144,99,108,111,99,107,58,117,116,99,58,109,111,
110,116,104,0,1,8,2049,14393,10,14564,14606,144,99,108,111,99,107,58,117,116,
99,58,121,101,97,114,0,1,9,2049,14393,10,14588,14629,144,99,108,111,99,107,
58,117,116,99,58,104,111,117,114,0,1,10,2049,14393,10,14611,14654,144,99,108,
111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14393,10,
14634,14679,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,0,
1,12,2049,14393,10,14659,14695,144,100,58,119,111,114,100,115,0,1793,14704,2049,162,
2049,9299,2049,9273,10,1,14697,2049,7361,10,14684,14725,144,100,58,119,111,114,100,115,
45,119,105,116,104,0,2049,1877,2049,4531,1793,14756,2049,162,2,2049,1877,2049,4155,1793,
14745,2049,9299,2049,9273,10,1,14740,1793,14751,3,10,1,14749,2049,64,10,1,14731,2049,
7361,10,14709,14780,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,116,
0,2,2049,1877,2049,4455,1793,14792,2049,9299,2049,9273,10,1,14787,1793,14798,3,10,1,
14796,2049,64,10,14709,14829,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,4531,1793,14840,2049,162,2049,14780,
10,1,14835,2049,7361,10,14803,14855,144,102,105,101,108,100,115,0,3841,2,2049,105,
2049,105,2049,105,10,14845,14881,144,105,110,118,97,108,105,100,45,110,97,109,101,
63,0,2,1,32,2049,3986,10,14864,14898,144,114,101,119,114,105,116,101,0,1793,
14912,1,32,1793,14907,1,95,10,1,14904,2049,2379,10,1,14900,2049,4326,10,14887,14926,
144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14954,1793,14949,
2049,14855,2049,14881,1,14898,9,2049,119,10,1,14939,2049,14926,10,1,14937,0 };