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

retro.forth: move s:tokenize-on-string, s:replace-all to be grouped with other string words, no longer needs a: words defined first

Browse source 
FossilOrigin-Name: 0aff09c9faea31720dd867fa87309f386365e275330d473b5f20aca154b32168
This commit is contained in:
crc 2020-02-11 20:15:35 +00:00
parent 4c4577374f
commit 667f03b30b
3 changed files with 472 additions and 469 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

80
image/retro.forth
View file

@ -1156,6 +1156,46 @@ returns an array containing pointers to each of them.
}}
~~~
`s:tokenize-on-string` is like `s:tokenize`, but for strings.
~~~
{{
'Needle d:create #128 allot
'Length var
'Tokens d:create #128 allot
'TP var
:save s:keep @TP &Tokens + n:inc store &TP v:inc ;
:next [ @Length + ] 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
[ &Needle s:split-on-string save next done ] until
&Tokens @TP n:dec !Tokens ;
}}
~~~
~~~
{{
'Q var
:for-each (aq-)
&Q [ !Q fetch-next
[ fetch-next swap [ @Q call ] dip ] times drop
] v:preserve ;
:substitute STRINGS #129 - ;
:extract substitute s:copy ;
:tokenize s:tokenize-on-string s:empty ;
:combine substitute s:append s:append ;
:merge swap &combine for-each nip ;
:find-end dup s:length substitute s:length - over + ;
:clean find-end #0 swap store ;
---reveal---
:s:replace-all (sss-s)
&Heap [ extract tokenize merge clean s:temp ] v:preserve ;
}}
~~~
Use `s:format` to construct a string from multiple items. This
can be illustrated with:
@ -1550,46 +1590,6 @@ different array.
&Heap [ dup a:length &swap dip a:right a:eq? ] v:preserve ;
~~~
## Strings
Returning to strings, leveraging the array words alongside them
I can implement `s:replace-all` and `s:tokenize-on-string`.
`s:tokenize-on-string` is like `s:tokenize`, but for strings.
~~~
{{
'Needle d:create #128 allot
'Length var
'Tokens d:create #128 allot
'TP var
:save s:keep @TP &Tokens a:store &TP v:inc ;
:next [ @Length + ] 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
[ &Needle s:split-on-string save next done ] until
&Tokens @TP n:dec !Tokens ;
}}
~~~
~~~
{{
:substitute STRINGS #129 - ;
:extract substitute s:copy ;
:tokenize s:tokenize-on-string s:empty ;
:combine substitute s:append s:append ;
:merge swap &combine a:for-each nip ;
:find-end dup s:length substitute s:length - over + ;
:clean find-end #0 swap store ;
---reveal---
:s:replace-all (sss-s)
&Heap [ extract tokenize merge clean s:temp ] v:preserve ;
}}
~~~
## Evaluating Source
The standard interfaces have their own approaches to getting

BIN
ngaImage
View file

Binary file not shown.

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

@ -2,8 +2,8 @@
#ifndef CELL
#define CELL int32_t
#endif
CELL ngaImageCells = 14992;
CELL ngaImage[] = { 1793,14405,14949,14991,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10,
CELL ngaImageCells = 15047;
CELL ngaImage[] = { 1793,14460,15004,15046,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,14405,14949,14991,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,9507,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13498,1025,
1,659713,2,659713,3,1793,9562,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13553,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,
@ -161,7 +161,7 @@ CELL ngaImage[] = { 1793,14405,14949,14991,202004,0,10,1,10,2,10,3,10,4,10,5,10,
2049,2106,10,1,3097,2049,2106,4,16,10,3078,3121,144,118,58,117,112,100,97,116,
101,0,4,1793,3128,15,4,8,10,1,3124,2049,2116,16,10,3109,3142,144,99,111,
112,121,0,1793,3151,285278725,1,33951492,268767489,1,6,10,1,3144,2049,2281,3,3,10,3134,
3171,144,83,99,111,112,101,76,105,115,116,0,14855,14907,10,3158,3180,144,123,123,
3171,144,83,99,111,112,101,76,105,115,116,0,14910,14962,10,3158,3180,144,123,123,
0,2049,1570,2,1,3171,2049,59,16,10,3174,3205,144,45,45,45,114,101,118,101,
97,108,45,45,45,0,2049,1570,1,3171,2049,2893,16,10,3189,3219,144,125,125,0,
1,3171,2049,56,4,15,11,1793,3233,3841,3171,4097,2,10,1,3228,1793,3263,3841,3171,
@ -180,7 +180,7 @@ CELL ngaImage[] = { 1793,14405,14949,14991,202004,0,10,1,10,2,10,3,10,4,10,5,10,
1,21,2049,2106,4097,3277,10,1,3479,2049,2106,4097,3286,10,3454,3508,131,84,101,109,
112,83,116,114,105,110,103,115,0,32,3493,3526,131,84,101,109,112,83,116,114,
105,110,103,77,97,120,0,512,3509,3538,144,83,84,82,73,78,71,83,0,2049,
1543,3841,3508,3841,3526,19,18,10,3527,3558,131,67,117,114,114,101,110,116,0,14,
1543,3841,3508,3841,3526,19,18,10,3527,3558,131,67,117,114,114,101,110,116,0,16,
10,3547,3573,144,115,58,112,111,105,110,116,101,114,0,3841,3558,3841,3526,19,2049,
3538,17,10,3560,3592,144,115,58,110,101,120,116,0,1,3558,2049,2994,3841,3558,3841,
3508,11,1793,3608,1,0,4097,3558,10,1,3603,9,10,3527,3622,144,115,58,116,101,
@ -320,436 +320,439 @@ CELL ngaImage[] = { 1793,14405,14949,14991,202004,0,10,1,10,2,10,3,10,4,10,5,10,
144,115,116,101,112,0,1,2893,2049,2106,2049,6253,1793,6299,2,2049,105,2049,6270,10,
1,6293,9,10,6192,6317,144,115,58,116,111,107,101,110,105,122,101,0,4097,6242,
2049,3693,2049,1877,1,0,2049,105,1793,6339,2,2049,105,2,1,6285,2049,3891,3,10,
1,6329,2049,2106,2049,1877,67502597,18,2049,2906,67502597,16,10,6303,6360,144,99,104,97,114,
0,1,32,1793,6369,1,95,2049,3357,10,1,6364,2049,2306,1,114,1793,6382,1,13,
2049,3357,10,1,6377,2049,2306,1,110,1793,6395,1,10,2049,3357,10,1,6390,2049,2306,
1,116,1793,6408,1,9,2049,3357,10,1,6403,2049,2306,1,48,1793,6421,1,0,2049,
3357,10,1,6416,2049,2306,2049,3357,10,6352,6438,144,115,116,114,105,110,103,0,2049,
56,25,2049,3357,1,6438,7,10,6428,6455,144,116,121,112,101,0,1,99,1793,6463,
4,2049,3357,10,1,6459,2049,2306,1,115,1793,6476,4,2049,6438,3,10,1,6471,2049,
2306,1,110,1793,6491,4,2049,5974,2049,6438,3,10,1,6484,2049,2306,3,10,6447,6507,
144,104,97,110,100,108,101,0,1,92,1793,6516,2049,56,2049,6360,10,1,6511,2049,
2306,1,37,1793,6529,2049,56,2049,6455,10,1,6524,2049,2306,2049,3357,10,6303,6548,144,
115,58,102,111,114,109,97,116,0,1793,6577,2049,3648,1793,6572,2049,3449,1793,6567,2049,
56,25,2049,6507,1,6558,7,10,1,6558,8,3,10,1,6554,2049,2116,10,1,6550,
2049,3473,10,6536,6593,144,115,58,99,111,110,115,116,0,1,3693,2049,2106,2049,2022,
10,6582,6610,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,6600,
6646,144,102,114,111,109,0,2049,79,2,1793,6665,1793,6658,1,6610,17,16,10,1,
6653,2049,2116,2049,2906,10,1,6651,2049,2281,3,10,6638,6677,144,116,111,0,2,2049,
79,1793,6695,2049,56,1,97,18,2049,2893,1,6610,17,15,4,10,1,6682,2049,2281,
3,10,6582,6712,144,114,101,111,114,100,101,114,0,1,6646,2049,2106,2049,6677,10,
6701,6728,144,99,117,114,114,121,0,2049,1877,1793,6738,4,2049,1731,2049,1754,10,1,
6732,2049,2106,10,6719,6751,144,100,111,101,115,0,2049,1588,4,2049,6728,2049,1570,2049,
158,16,1,144,2049,1649,10,6743,6780,144,100,58,102,111,114,45,101,97,99,104,
0,1,2,1793,6808,15,25,2049,2096,1793,6800,1793,6795,4,8,10,1,6792,2049,2106,
10,1,6790,2049,2106,1,6784,7,10,1,6784,8,3,10,6766,6828,144,100,58,108,
111,111,107,117,112,45,120,116,0,1,0,4,1793,6854,2049,2096,2049,158,15,11,
1793,6847,4,1,2057,2049,2106,10,1,6841,1,11,2049,64,10,1,6833,2049,6780,3,
10,6813,6872,144,97,58,108,101,110,103,116,104,0,15,10,6860,6895,144,97,58,
99,111,117,110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049,1877,1793,
6908,2,2049,105,1,105,2049,2281,10,1,6900,2049,2106,10,6874,6930,144,97,58,102,
114,111,109,45,115,116,114,105,110,103,0,2049,1877,1793,6944,2,2049,79,2049,105,
1,105,2049,3891,10,1,6934,2049,2106,10,6913,6954,131,81,0,0,6913,6969,144,97,
58,102,111,114,45,101,97,99,104,0,1,6954,1793,6999,4097,6954,2049,56,1793,6993,
2049,56,4,1793,6988,3841,6954,8,10,1,6984,2049,2106,10,1,6979,2049,2281,3,10,
1,6973,2049,3092,10,6955,7013,144,97,58,100,117,112,0,2049,1877,1793,7026,2,15,
2049,105,1,105,2049,6969,10,1,7017,2049,2106,10,7004,7041,144,97,58,99,111,112,
121,0,1,3,1793,7057,4097,3,2,2049,6872,2049,105,1,105,2049,6969,10,1,7045,
2049,3092,10,7031,7077,144,97,58,116,111,45,115,116,114,105,110,103,0,1,3,
1793,7090,2049,7013,1,0,2049,105,2049,2893,10,1,7081,2049,3092,2049,3622,10,7062,7110,
144,97,58,112,114,101,112,101,110,100,0,2049,1877,1,0,2049,105,1793,7147,2,
15,1793,7127,1,105,2049,6969,10,1,7122,2049,2106,4,2,15,1793,7141,1,105,2049,
6969,10,1,7136,2049,2106,17,10,1,7118,2049,2106,1,36,2049,2116,10,7097,7168,144,
97,58,97,112,112,101,110,100,0,4,2049,7110,10,7156,7182,144,97,58,99,104,
111,112,0,2049,7013,1,-1,2049,3073,2,2049,3009,10,7172,7204,144,97,58,102,105,
108,116,101,114,0,1793,7219,67502597,1,21,2049,2106,4,1,105,1,11,2049,64,10,
1,7206,2049,6728,2049,1877,1793,7234,67502597,15,2049,105,2049,6969,10,1,7227,2049,2106,2049,
1877,67502597,18,2049,2906,67502597,16,10,7192,7262,144,97,58,99,111,110,116,97,105,110,
115,63,0,1,0,4,1793,7274,4,5,67502597,11,6,22,10,1,7267,2049,6969,772,
10,7247,7302,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,105,110,
103,63,0,1,0,4,1793,7315,4,5,67502597,2049,93,6,22,10,1,7307,2049,6969,
772,10,7280,7333,131,76,111,99,97,116,105,111,110,0,0,7321,7345,144,112,114,
101,112,97,114,101,0,4,1,-1,4097,7333,10,7334,7359,144,110,101,120,116,0,
3841,7333,2049,2602,1793,7370,1,7333,2049,3009,10,1,7365,9,10,7351,7384,144,109,97,
116,99,104,63,0,67502597,11,1793,7393,3841,7333,2049,2602,10,1,7388,1793,7400,2049,2455,
10,1,7397,2049,64,10,7374,7419,144,109,97,116,99,104,45,115,116,114,63,0,
67502597,2049,93,1793,7429,3841,7333,2049,2602,10,1,7424,1793,7436,2049,2455,10,1,7433,2049,
64,10,7405,7451,144,117,112,100,97,116,101,0,3841,7333,2049,2858,2049,2906,4097,7333,
10,7280,7474,144,97,58,105,110,100,101,120,45,111,102,0,2049,7345,2049,2096,2049,
7262,1793,7486,771,1,-1,10,1,7482,2049,2518,1793,7500,2049,7384,1,7451,9,2049,7359,
10,1,7492,2049,6969,3,3841,7333,10,7460,7529,144,97,58,105,110,100,101,120,45,
111,102,45,115,116,114,105,110,103,0,2049,7345,2049,2096,2049,7302,1793,7541,771,1,
-1,10,1,7537,2049,2518,1793,7555,2049,7419,1,7451,9,2049,7359,10,1,7547,2049,6969,
3,3841,7333,10,7508,7572,144,97,58,109,97,112,0,1793,7578,8,2049,105,10,1,
7574,2049,6728,2049,1877,1793,7593,67502597,15,2049,105,2049,6969,10,1,7586,2049,2106,10,7563,
7611,144,97,58,114,101,118,101,114,115,101,0,2049,1877,1793,7645,2049,56,1793,7623,
17,2049,2906,10,1,7619,2049,2116,2,2049,105,1793,7639,2,15,2049,105,2049,2906,10,
1,7632,2049,2281,3,10,1,7615,2049,2106,10,7598,7658,144,97,58,116,104,0,17,
2049,2893,10,7650,7673,144,97,58,102,101,116,99,104,0,2049,7658,15,10,7662,7688,
144,97,58,115,116,111,114,101,0,2049,7658,16,10,7677,7704,144,97,58,114,101,
100,117,99,101,0,1,13,2049,2106,2049,6969,10,7692,7721,144,97,58,109,97,107,
101,0,2049,6895,2049,7611,10,7711,7731,156,123,0,1,285,2049,156,1,1556,2049,144,
1,285,2049,156,10,7726,7749,156,125,0,1,301,2049,156,1,2106,2049,144,1,1556,
2049,144,1,13,2049,150,1,40,2049,150,1,2906,2049,144,1,301,2049,156,1,7721,
2049,144,10,7744,7793,144,98,111,117,110,100,115,63,0,67502597,2049,6872,67502597,13,10,
7782,7807,144,99,111,112,121,0,2049,56,2049,105,10,7799,7822,144,116,111,45,101,
110,100,0,2,2049,6872,17,2049,2893,10,7744,7839,144,97,58,108,101,102,116,0,
2049,7793,1793,7847,771,1,-1,10,1,7843,2049,2501,2049,1877,67502597,2049,105,1793,7868,1,
2893,2049,2106,1,7807,2049,2281,3,10,1,7858,2049,2106,10,7829,7884,144,97,58,114,
105,103,104,116,0,2049,7793,1793,7892,771,1,-1,10,1,7888,2049,2501,2049,1877,67502597,
2049,105,1793,7915,4,2049,7822,67502597,18,4,1,7807,2049,2281,3,10,1,7903,2049,2106,
10,7873,7932,144,97,58,109,105,100,100,108,101,0,1,2048,2049,2106,4,67502597,2049,
7793,1793,7947,771,3,1,-1,10,1,7942,2049,2501,771,2049,2096,4,18,2049,2893,2049,
1877,67502597,2049,105,1793,7982,772,1793,7972,17,2049,2893,10,1,7968,2049,2106,1,7807,2049,
2281,3,10,1,7965,2049,2106,10,7920,7995,131,70,108,97,103,0,0,7987,8007,144,
99,111,109,112,97,114,101,0,67440386,184946434,10,7996,8020,144,108,101,110,103,116,104,
0,659202,10,8010,8030,144,110,101,120,116,0,17043713,1,1,2577,10,8022,8048,144,110,
111,116,45,101,113,117,97,108,0,50529030,2561,0,10,8035,8060,144,108,111,111,112,
0,524549,8030,2049,8007,18157313,7995,7995,16,420610310,1,1,8060,7,10,7920,8083,144,97,58,
101,113,63,0,1048833,-1,7995,2049,8007,151066369,-1,8048,2049,8020,2049,8060,251724547,7995,10,8074,
8108,144,97,58,45,101,113,63,0,2049,8083,2049,2720,10,8098,8131,144,97,58,98,
101,103,105,110,115,45,119,105,116,104,63,0,1,3,1793,8147,2,2049,6872,1,
13,2049,2106,2049,7839,2049,8083,10,1,8135,2049,3092,10,8113,8168,144,97,58,101,110,
100,115,45,119,105,116,104,63,0,1,3,1793,8184,2,2049,6872,1,13,2049,2106,
2049,7884,2049,8083,10,1,8172,2049,3092,10,8152,8199,131,78,101,101,100,108,101,0,
1,6329,2049,2106,2049,1877,67502597,18,2049,2906,67502597,16,10,6303,6362,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,6352,6500,131,76,101,110,103,116,104,
0,0,6490,6511,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,
0,0,0,0,0,0,0,0,8189,8337,131,76,101,110,103,116,104,0,0,8327,
8348,131,84,111,107,101,110,115,0,0,0,0,0,0,0,0,0,0,0,0,
6501,6645,131,84,80,0,0,6639,6654,144,115,97,118,101,0,2049,3693,3841,6645,1,
6511,17,2049,2893,16,1,6645,2049,2994,10,6646,6677,144,110,101,120,116,0,1793,6683,
3841,6500,17,10,1,6679,2049,2116,10,6669,6696,144,100,111,110,101,0,2049,79,2049,
2567,10,6303,6725,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,6645,1793,6739,2,1,6362,2049,4562,2049,3873,10,
1,6731,1793,6748,2049,79,4097,6500,10,1,6743,2049,2128,1793,6765,1,6362,2049,6176,2049,
6654,2049,6677,2049,6696,10,1,6754,2049,2256,1,6511,3841,6645,2049,2906,4097,6511,10,6701,
6783,131,81,0,0,6778,6796,144,102,111,114,45,101,97,99,104,0,1,6783,1793,
6826,4097,6783,2049,56,1793,6820,2049,56,4,1793,6815,3841,6783,8,10,1,6811,2049,2106,
10,1,6806,2049,2281,3,10,1,6800,2049,3092,10,6784,6845,144,115,117,98,115,116,
105,116,117,116,101,0,2049,3538,1,129,18,10,6831,6862,144,101,120,116,114,97,
99,116,0,2049,6845,2049,4562,10,6851,6879,144,116,111,107,101,110,105,122,101,0,
2049,6725,2049,3648,10,6867,6895,144,99,111,109,98,105,110,101,0,2049,6845,2049,3873,
2049,3873,10,6884,6911,144,109,101,114,103,101,0,4,1,6895,2049,6796,772,10,6902,
6930,144,102,105,110,100,45,101,110,100,0,2,2049,79,2049,6845,2049,79,18,67502597,
17,10,6918,6950,144,99,108,101,97,110,0,2049,6930,1,0,4,16,10,6701,6974,
144,115,58,114,101,112,108,97,99,101,45,97,108,108,0,1,3,1793,6989,2049,
6862,2049,6879,2049,6911,2049,6950,2049,3622,10,1,6978,2049,3092,10,6957,7002,144,99,104,
97,114,0,1,32,1793,7011,1,95,2049,3357,10,1,7006,2049,2306,1,114,1793,7024,
1,13,2049,3357,10,1,7019,2049,2306,1,110,1793,7037,1,10,2049,3357,10,1,7032,
2049,2306,1,116,1793,7050,1,9,2049,3357,10,1,7045,2049,2306,1,48,1793,7063,1,
0,2049,3357,10,1,7058,2049,2306,2049,3357,10,6994,7080,144,115,116,114,105,110,103,
0,2049,56,25,2049,3357,1,7080,7,10,7070,7097,144,116,121,112,101,0,1,99,
1793,7105,4,2049,3357,10,1,7101,2049,2306,1,115,1793,7118,4,2049,7080,3,10,1,
7113,2049,2306,1,110,1793,7133,4,2049,5974,2049,7080,3,10,1,7126,2049,2306,3,10,
7089,7149,144,104,97,110,100,108,101,0,1,92,1793,7158,2049,56,2049,7002,10,1,
7153,2049,2306,1,37,1793,7171,2049,56,2049,7097,10,1,7166,2049,2306,2049,3357,10,6957,
7190,144,115,58,102,111,114,109,97,116,0,1793,7219,2049,3648,1793,7214,2049,3449,1793,
7209,2049,56,25,2049,7149,1,7200,7,10,1,7200,8,3,10,1,7196,2049,2116,10,
1,7192,2049,3473,10,7178,7235,144,115,58,99,111,110,115,116,0,1,3693,2049,2106,
2049,2022,10,7224,7252,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,7242,7288,144,102,114,111,109,0,2049,79,2,1793,7307,1793,7300,1,7252,17,16,
10,1,7295,2049,2116,2049,2906,10,1,7293,2049,2281,3,10,7280,7319,144,116,111,0,
2,2049,79,1793,7337,2049,56,1,97,18,2049,2893,1,7252,17,15,4,10,1,7324,
2049,2281,3,10,7224,7354,144,114,101,111,114,100,101,114,0,1,7288,2049,2106,2049,
7319,10,7343,7370,144,99,117,114,114,121,0,2049,1877,1793,7380,4,2049,1731,2049,1754,
10,1,7374,2049,2106,10,7361,7393,144,100,111,101,115,0,2049,1588,4,2049,7370,2049,
1570,2049,158,16,1,144,2049,1649,10,7385,7422,144,100,58,102,111,114,45,101,97,
99,104,0,1,2,1793,7450,15,25,2049,2096,1793,7442,1793,7437,4,8,10,1,7434,
2049,2106,10,1,7432,2049,2106,1,7426,7,10,1,7426,8,3,10,7408,7470,144,100,
58,108,111,111,107,117,112,45,120,116,0,1,0,4,1793,7496,2049,2096,2049,158,
15,11,1793,7489,4,1,2057,2049,2106,10,1,7483,1,11,2049,64,10,1,7475,2049,
7422,3,10,7455,7514,144,97,58,108,101,110,103,116,104,0,15,10,7502,7537,144,
97,58,99,111,117,110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049,
1877,1793,7550,2,2049,105,1,105,2049,2281,10,1,7542,2049,2106,10,7516,7572,144,97,
58,102,114,111,109,45,115,116,114,105,110,103,0,2049,1877,1793,7586,2,2049,79,
2049,105,1,105,2049,3891,10,1,7576,2049,2106,10,7555,7596,131,81,0,0,7555,7611,
144,97,58,102,111,114,45,101,97,99,104,0,1,7596,1793,7641,4097,7596,2049,56,
1793,7635,2049,56,4,1793,7630,3841,7596,8,10,1,7626,2049,2106,10,1,7621,2049,2281,
3,10,1,7615,2049,3092,10,7597,7655,144,97,58,100,117,112,0,2049,1877,1793,7668,
2,15,2049,105,1,105,2049,7611,10,1,7659,2049,2106,10,7646,7683,144,97,58,99,
111,112,121,0,1,3,1793,7699,4097,3,2,2049,7514,2049,105,1,105,2049,7611,10,
1,7687,2049,3092,10,7673,7719,144,97,58,116,111,45,115,116,114,105,110,103,0,
1,3,1793,7732,2049,7655,1,0,2049,105,2049,2893,10,1,7723,2049,3092,2049,3622,10,
7704,7752,144,97,58,112,114,101,112,101,110,100,0,2049,1877,1,0,2049,105,1793,
7789,2,15,1793,7769,1,105,2049,7611,10,1,7764,2049,2106,4,2,15,1793,7783,1,
105,2049,7611,10,1,7778,2049,2106,17,10,1,7760,2049,2106,1,36,2049,2116,10,7739,
7810,144,97,58,97,112,112,101,110,100,0,4,2049,7752,10,7798,7824,144,97,58,
99,104,111,112,0,2049,7655,1,-1,2049,3073,2,2049,3009,10,7814,7846,144,97,58,
102,105,108,116,101,114,0,1793,7861,67502597,1,21,2049,2106,4,1,105,1,11,2049,
64,10,1,7848,2049,7370,2049,1877,1793,7876,67502597,15,2049,105,2049,7611,10,1,7869,2049,
2106,2049,1877,67502597,18,2049,2906,67502597,16,10,7834,7904,144,97,58,99,111,110,116,97,
105,110,115,63,0,1,0,4,1793,7916,4,5,67502597,11,6,22,10,1,7909,2049,
7611,772,10,7889,7944,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,
105,110,103,63,0,1,0,4,1793,7957,4,5,67502597,2049,93,6,22,10,1,7949,
2049,7611,772,10,7922,7975,131,76,111,99,97,116,105,111,110,0,0,7963,7987,144,
112,114,101,112,97,114,101,0,4,1,-1,4097,7975,10,7976,8001,144,110,101,120,
116,0,3841,7975,2049,2602,1793,8012,1,7975,2049,3009,10,1,8007,9,10,7993,8026,144,
109,97,116,99,104,63,0,67502597,11,1793,8035,3841,7975,2049,2602,10,1,8030,1793,8042,
2049,2455,10,1,8039,2049,64,10,8016,8061,144,109,97,116,99,104,45,115,116,114,
63,0,67502597,2049,93,1793,8071,3841,7975,2049,2602,10,1,8066,1793,8078,2049,2455,10,1,
8075,2049,64,10,8047,8093,144,117,112,100,97,116,101,0,3841,7975,2049,2858,2049,2906,
4097,7975,10,7922,8116,144,97,58,105,110,100,101,120,45,111,102,0,2049,7987,2049,
2096,2049,7904,1793,8128,771,1,-1,10,1,8124,2049,2518,1793,8142,2049,8026,1,8093,9,
2049,8001,10,1,8134,2049,7611,3,3841,7975,10,8102,8171,144,97,58,105,110,100,101,
120,45,111,102,45,115,116,114,105,110,103,0,2049,7987,2049,2096,2049,7944,1793,8183,
771,1,-1,10,1,8179,2049,2518,1793,8197,2049,8061,1,8093,9,2049,8001,10,1,8189,
2049,7611,3,3841,7975,10,8150,8214,144,97,58,109,97,112,0,1793,8220,8,2049,105,
10,1,8216,2049,7370,2049,1877,1793,8235,67502597,15,2049,105,2049,7611,10,1,8228,2049,2106,
10,8205,8253,144,97,58,114,101,118,101,114,115,101,0,2049,1877,1793,8287,2049,56,
1793,8265,17,2049,2906,10,1,8261,2049,2116,2,2049,105,1793,8281,2,15,2049,105,2049,
2906,10,1,8274,2049,2281,3,10,1,8257,2049,2106,10,8240,8300,144,97,58,116,104,
0,17,2049,2893,10,8292,8315,144,97,58,102,101,116,99,104,0,2049,8300,15,10,
8304,8330,144,97,58,115,116,111,114,101,0,2049,8300,16,10,8319,8346,144,97,58,
114,101,100,117,99,101,0,1,13,2049,2106,2049,7611,10,8334,8363,144,97,58,109,
97,107,101,0,2049,7537,2049,8253,10,8353,8373,156,123,0,1,285,2049,156,1,1556,
2049,144,1,285,2049,156,10,8368,8391,156,125,0,1,301,2049,156,1,2106,2049,144,
1,1556,2049,144,1,13,2049,150,1,40,2049,150,1,2906,2049,144,1,301,2049,156,
1,8363,2049,144,10,8386,8435,144,98,111,117,110,100,115,63,0,67502597,2049,7514,67502597,
13,10,8424,8449,144,99,111,112,121,0,2049,56,2049,105,10,8441,8464,144,116,111,
45,101,110,100,0,2,2049,7514,17,2049,2893,10,8386,8481,144,97,58,108,101,102,
116,0,2049,8435,1793,8489,771,1,-1,10,1,8485,2049,2501,2049,1877,67502597,2049,105,1793,
8510,1,2893,2049,2106,1,8449,2049,2281,3,10,1,8500,2049,2106,10,8471,8526,144,97,
58,114,105,103,104,116,0,2049,8435,1793,8534,771,1,-1,10,1,8530,2049,2501,2049,
1877,67502597,2049,105,1793,8557,4,2049,8464,67502597,18,4,1,8449,2049,2281,3,10,1,8545,
2049,2106,10,8515,8574,144,97,58,109,105,100,100,108,101,0,1,2048,2049,2106,4,
67502597,2049,8435,1793,8589,771,3,1,-1,10,1,8584,2049,2501,771,2049,2096,4,18,2049,
2893,2049,1877,67502597,2049,105,1793,8624,772,1793,8614,17,2049,2893,10,1,8610,2049,2106,1,
8449,2049,2281,3,10,1,8607,2049,2106,10,8562,8637,131,70,108,97,103,0,0,8629,
8649,144,99,111,109,112,97,114,101,0,67440386,184946434,10,8638,8662,144,108,101,110,103,
116,104,0,659202,10,8652,8672,144,110,101,120,116,0,17043713,1,1,2577,10,8664,8690,
144,110,111,116,45,101,113,117,97,108,0,50529030,2561,0,10,8677,8702,144,108,111,
111,112,0,524549,8672,2049,8649,18157313,8637,8637,16,420610310,1,1,8702,7,10,8562,8725,144,
97,58,101,113,63,0,1048833,-1,8637,2049,8649,151066369,-1,8690,2049,8662,2049,8702,251724547,8637,
10,8716,8750,144,97,58,45,101,113,63,0,2049,8725,2049,2720,10,8740,8773,144,97,
58,98,101,103,105,110,115,45,119,105,116,104,63,0,1,3,1793,8789,2,2049,
7514,1,13,2049,2106,2049,8481,2049,8725,10,1,8777,2049,3092,10,8755,8810,144,97,58,
101,110,100,115,45,119,105,116,104,63,0,1,3,1793,8826,2,2049,7514,1,13,
2049,2106,2049,8526,2049,8725,10,1,8814,2049,3092,10,8794,8847,144,99,117,114,114,101,
110,116,45,108,105,110,101,0,2049,3538,1,1025,18,10,8831,8869,144,99,111,117,
110,116,45,116,111,107,101,110,115,0,1793,8875,1,32,11,10,1,8871,2049,4315,
2049,79,10,8853,8896,144,110,101,120,116,45,116,111,107,101,110,0,1,32,2049,
6141,10,8882,8919,144,112,114,111,99,101,115,115,45,116,111,107,101,110,115,0,
1793,8945,2049,8896,4,1793,8938,2,2049,79,2049,2583,1,365,1,11,2049,64,10,1,
8926,2049,2106,2049,2893,10,1,8921,2049,2281,2049,365,10,8794,8966,144,115,58,101,118,
97,108,117,97,116,101,0,2049,8847,2049,4562,2049,8847,2,2049,8869,2049,8919,10,8952,
8984,131,76,80,0,0,8978,8994,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,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8338,8482,131,
84,80,0,0,8476,8491,144,115,97,118,101,0,2049,3693,3841,8482,1,8348,2049,7688,
1,8482,2049,2994,10,8483,8512,144,110,101,120,116,0,1793,8518,3841,8337,17,10,1,
8514,2049,2116,10,8504,8531,144,100,111,110,101,0,2049,79,2049,2567,10,8152,8560,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,8482,1793,8574,2,1,8199,2049,4562,2049,3873,10,1,8566,1793,8583,2049,
79,4097,8337,10,1,8578,2049,2128,1793,8600,1,8199,2049,6176,2049,8491,2049,8512,2049,8531,
10,1,8589,2049,2256,1,8348,3841,8482,2049,2906,4097,8348,10,8536,8627,144,115,117,98,
115,116,105,116,117,116,101,0,2049,3538,1,129,18,10,8613,8644,144,101,120,116,
114,97,99,116,0,2049,8627,2049,4562,10,8633,8661,144,116,111,107,101,110,105,122,
101,0,2049,8560,2049,3648,10,8649,8677,144,99,111,109,98,105,110,101,0,2049,8627,
2049,3873,2049,3873,10,8666,8693,144,109,101,114,103,101,0,4,1,8677,2049,6969,772,
10,8684,8712,144,102,105,110,100,45,101,110,100,0,2,2049,79,2049,8627,2049,79,
18,67502597,17,10,8700,8732,144,99,108,101,97,110,0,2049,8712,1,0,4,16,10,
8536,8756,144,115,58,114,101,112,108,97,99,101,45,97,108,108,0,1,3,1793,
8771,2049,8644,2049,8661,2049,8693,2049,8732,2049,3622,10,1,8760,2049,3092,10,8739,8792,144,
99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3538,1,1025,18,10,8776,
8814,144,99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8820,1,32,11,
10,1,8816,2049,4315,2049,79,10,8798,8841,144,110,101,120,116,45,116,111,107,101,
110,0,1,32,2049,6141,10,8827,8864,144,112,114,111,99,101,115,115,45,116,111,
107,101,110,115,0,1793,8890,2049,8841,4,1793,8883,2,2049,79,2049,2583,1,365,1,
11,2049,64,10,1,8871,2049,2106,2049,2893,10,1,8866,2049,2281,2049,365,10,8739,8911,
144,115,58,101,118,97,108,117,97,116,101,0,2049,8792,2049,4562,2049,8792,2,2049,
8814,2049,8864,10,8897,8929,131,76,80,0,0,8923,8939,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,8930,8979,144,110,101,120,116,0,
3841,8929,1,8939,17,2049,2994,10,8971,8995,144,112,114,101,112,0,1,8929,2049,2994,
1,0,3841,8929,1,8939,17,16,10,8987,9016,144,100,111,110,101,0,1,8929,2049,
3009,10,8897,9026,144,73,0,3841,8929,1,8939,17,15,10,9021,9038,144,74,0,3841,
8929,1,8939,17,2049,2906,15,10,9033,9052,144,75,0,3841,8929,1,8939,17,1,2,
18,15,10,9047,9083,144,116,105,109,101,115,60,119,105,116,104,45,105,110,100,
101,120,62,0,2049,8995,4,1793,9099,25,33886721,1,2053,1542,2049,8979,1,9088,7,10,
1,9088,8,3,2049,9016,10,9062,9114,156,104,111,111,107,0,2049,3667,108,105,106,
117,46,46,46,46,0,1,9116,2049,412,2049,1877,2049,2893,2049,105,10,9106,9148,144,
115,101,116,45,104,111,111,107,0,2049,2893,16,10,9136,9162,144,117,110,104,111,
111,107,0,2049,2893,2,2049,2893,4,16,10,9152,9186,144,105,111,58,101,110,117,
109,101,114,97,116,101,0,27,10,9170,9200,144,105,111,58,113,117,101,114,121,
0,28,10,9188,9215,144,105,111,58,105,110,118,111,107,101,0,29,10,9202,9225,
131,83,108,111,116,0,9,9202,9241,144,105,111,58,115,99,97,110,45,102,111,
114,0,1,-1,4097,9225,2049,9186,1793,9267,2049,9026,2049,9200,772,67502597,11,1793,9263,2049,
9026,4097,9225,10,1,9258,9,10,1,9249,2049,9083,3,3841,9225,10,9226,9284,144,99,
58,112,117,116,0,1793,9286,1,0,2049,9215,10,9275,9297,144,110,108,0,1,10,
2049,9284,10,9291,9308,144,115,112,0,1,32,2049,9284,10,9302,9320,144,116,97,98,
0,1,9,2049,9284,10,9313,9334,144,115,58,112,117,116,0,1,9284,2049,3891,10,
9325,9348,144,110,58,112,117,116,0,2049,5974,2049,9334,10,9339,9362,144,114,101,115,
101,116,0,2049,1556,25,771,1,9362,7,10,9353,9384,144,100,117,109,112,45,115,
116,97,99,107,0,2049,1556,25,3,5,2049,9384,6,2,2049,9348,2049,9308,10,9370,
9406,144,70,82,69,69,0,2049,3538,1,1025,18,2049,1877,18,10,9398,9425,144,102,
105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,9415,9451,144,105,110,
118,97,108,105,100,45,110,97,109,101,63,0,2,1,32,2049,4017,10,9434,9468,
144,114,101,119,114,105,116,101,0,1793,9482,1,32,1793,9477,1,95,10,1,9474,
2049,2306,10,1,9470,2049,4357,10,9457,9496,144,101,110,116,114,121,0,2049,1877,1,
21,2049,2106,4097,2,10,1793,9524,1793,9519,2049,9425,2049,9451,1,9468,9,2049,119,10,
1,9509,2049,9496,10,1,9507,9398,9535,131,70,105,108,101,115,0,0,9526,9548,144,
105,100,101,110,116,105,102,121,0,3841,9535,2049,2567,1793,9615,1,4,2049,9241,2,
2049,2602,1793,9603,3,2049,3667,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,9566,2049,
9334,2049,9297,10,1,9563,1793,9610,4097,9535,10,1,9607,2049,64,10,1,9554,9,10,
9398,9640,144,105,111,58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,
0,2049,9548,3841,9535,2049,9215,10,9619,0,131,102,105,108,101,58,82,0,9647,1,
131,102,105,108,101,58,87,0,9657,2,131,102,105,108,101,58,65,0,9667,3,
131,102,105,108,101,58,82,43,0,9677,9701,144,102,105,108,101,58,111,112,101,
110,0,1,0,2049,9640,10,9688,9720,144,102,105,108,101,58,99,108,111,115,101,
0,1,1,2049,9640,10,9706,9738,144,102,105,108,101,58,114,101,97,100,0,1,
2,2049,9640,10,9725,9757,144,102,105,108,101,58,119,114,105,116,101,0,1,3,
2049,9640,10,9743,9775,144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9640,
10,9762,9793,144,102,105,108,101,58,115,101,101,107,0,1,5,2049,9640,10,9780,
9811,144,102,105,108,101,58,115,105,122,101,0,1,6,2049,9640,10,9798,9831,144,
102,105,108,101,58,100,101,108,101,116,101,0,1,7,2049,9640,10,9816,9850,144,
102,105,108,101,58,102,108,117,115,104,0,1,8,2049,9640,10,9836,9871,144,102,
105,108,101,58,101,120,105,115,116,115,63,0,1,0,2049,9701,2,2049,2583,1793,
9885,2049,9720,2049,2443,10,1,9880,1793,9893,3,2049,2455,10,1,9889,2049,64,10,9855,
9924,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,9701,2,2049,9811,4,10,9898,9958,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,9701,2,2049,9811,4,10,9933,9993,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,9701,10,9967,
10005,131,70,73,68,0,0,9998,10014,131,83,105,122,101,0,0,10006,10025,131,65,
99,116,105,111,110,0,0,10015,10036,131,66,117,102,102,101,114,0,0,10026,10046,
144,45,101,111,102,63,0,3841,10005,2049,9775,3841,10014,13,10,10037,10066,144,112,114,
101,115,101,114,118,101,0,1,10005,1793,10077,1,10014,1,21,2049,3092,10,1,10070,
2049,3092,10,9967,10100,144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,
0,4097,10005,1793,10157,2049,1877,2,4097,10036,2049,3449,1793,10149,3841,10005,2049,9738,2,2049,
3357,1793,10126,1,13,11,10,1,10122,1793,10134,1,10,11,10,1,10130,1793,10142,1,
0,11,10,1,10138,2049,2165,22,22,10,1,10113,2049,2256,2049,3381,3,10,1,10104,
2049,3473,3841,10036,10,10082,10186,144,102,105,108,101,58,102,111,114,45,101,97,99,
104,45,108,105,110,101,0,1793,10217,4097,10025,2049,9924,4097,10005,4097,10014,1793,10208,3841,
10005,2049,10100,3841,10025,8,2049,10046,10,1,10198,2049,2233,3841,10005,2049,9720,10,1,10188,
2049,10066,10,10164,10229,131,70,73,68,0,0,10164,10244,144,102,105,108,101,58,115,
108,117,114,112,0,1793,10271,4,2049,3449,2049,9924,4097,10229,1793,10262,3841,10229,2049,9738,
2049,3357,10,1,10255,2049,2281,3841,10229,2049,9720,10,1,10246,2049,3473,10,10230,10289,144,
102,105,108,101,58,115,112,101,119,0,2049,9993,4,1793,10298,67502597,2049,9757,10,1,
10294,2049,3891,2049,9720,10,10276,10312,131,70,80,85,0,0,10305,10325,144,105,100,101,
110,116,105,102,121,0,3841,10312,2049,2567,1793,10392,1,2,2049,9241,2,2049,2602,1793,
10380,3,2049,3667,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,10343,2049,9334,2049,9297,
10,1,10340,1793,10387,4097,10312,10,1,10384,2049,64,10,1,10331,9,10,10276,10418,144,
105,111,58,102,108,111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,
10325,3841,10312,2049,9215,10,10396,10439,144,110,58,116,111,45,102,108,111,97,116,0,
1,0,2049,10418,10,10425,10458,144,115,58,116,111,45,102,108,111,97,116,0,1,
1,2049,10418,10,10444,10478,144,102,58,116,111,45,110,117,109,98,101,114,0,1,
2,2049,10418,10,10463,10498,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,
3648,2,1,3,2049,10418,10,10483,10513,144,102,58,43,0,1,4,2049,10418,10,10506,
10525,144,102,58,45,0,1,5,2049,10418,10,10518,10537,144,102,58,42,0,1,6,
2049,10418,10,10530,10549,144,102,58,47,0,1,7,2049,10418,10,10542,10565,144,102,58,
102,108,111,111,114,0,1,8,2049,10418,10,10554,10583,144,102,58,99,101,105,108,
105,110,103,0,1,9,2049,10418,10,10570,10598,144,102,58,115,113,114,116,0,1,
10,2049,10418,10,10588,10612,144,102,58,101,113,63,0,1,11,2049,10418,10,10603,10627,
144,102,58,45,101,113,63,0,1,12,2049,10418,10,10617,10641,144,102,58,108,116,
63,0,1,13,2049,10418,10,10632,10655,144,102,58,103,116,63,0,1,14,2049,10418,
10,10646,10671,144,102,58,100,101,112,116,104,0,1,15,2049,10418,10,10660,10685,144,
102,58,100,117,112,0,1,16,2049,10418,10,10676,10700,144,102,58,100,114,111,112,
0,1,17,2049,10418,10,10690,10715,144,102,58,115,119,97,112,0,1,18,2049,10418,
10,10705,10729,144,102,58,108,111,103,0,1,19,2049,10418,10,10720,10745,144,102,58,
112,111,119,101,114,0,1,20,2049,10418,10,10734,10759,144,102,58,115,105,110,0,
1,21,2049,10418,10,10750,10773,144,102,58,99,111,115,0,1,22,2049,10418,10,10764,
10787,144,102,58,116,97,110,0,1,23,2049,10418,10,10778,10802,144,102,58,97,115,
105,110,0,1,24,2049,10418,10,10792,10817,144,102,58,97,99,111,115,0,1,25,
2049,10418,10,10807,10832,144,102,58,97,116,97,110,0,1,26,2049,10418,10,10822,10847,
144,102,58,112,117,115,104,0,1,27,2049,10418,10,10837,10861,144,102,58,112,111,
112,0,1,28,2049,10418,10,10852,10878,144,102,58,97,100,101,112,116,104,0,1,
29,2049,10418,10,10866,10895,144,102,58,115,113,117,97,114,101,0,2049,10685,2049,10537,
10,10883,10910,144,102,58,111,118,101,114,0,2049,10847,2049,10685,2049,10861,2049,10715,10,
10900,10929,144,102,58,116,117,99,107,0,2049,10685,2049,10847,2049,10715,2049,10861,10,10919,
10947,144,102,58,110,105,112,0,2049,10715,2049,10700,10,10938,10967,144,102,58,100,114,
111,112,45,112,97,105,114,0,2049,10700,2049,10700,10,10952,10986,144,102,58,100,117,
112,45,112,97,105,114,0,2049,10910,2049,10910,10,10972,11000,144,102,58,114,111,116,
0,2049,10847,2049,10715,2049,10861,2049,10715,10,10991,11024,144,102,58,112,111,115,105,116,
105,118,101,63,0,1,0,2049,10439,2049,10655,10,11009,11046,144,102,58,110,101,103,
97,116,105,118,101,63,0,1,0,2049,10439,2049,10641,10,11031,11065,144,102,58,110,
101,103,97,116,101,0,1,-1,2049,10439,2049,10537,10,11053,11081,144,102,58,97,98,
115,0,2049,10685,2049,11046,1,11065,9,10,11072,11101,156,112,114,101,102,105,120,58,
46,0,2049,1818,1,3693,1,3622,2049,64,1,10458,2049,144,10,11089,11123,144,102,58,
112,117,116,0,2049,10498,2049,9334,10,11114,11136,144,102,58,80,73,0,2049,3667,51,
46,49,52,49,53,57,50,0,1,11138,2049,10458,10,11128,11159,144,102,58,69,0,
2049,3667,50,46,55,49,56,50,56,49,0,1,11161,2049,10458,10,11152,11184,144,102,
58,78,65,78,0,2049,3667,48,0,1,11186,2049,10458,2049,3667,48,0,1,11194,2049,
10458,2049,10549,10,11175,11212,144,102,58,73,78,70,0,2049,3667,49,46,48,0,1,
11214,2049,10458,2049,3667,48,0,1,11224,2049,10458,2049,10549,10,11203,11243,144,102,58,45,
73,78,70,0,2049,3667,45,49,46,48,0,1,11245,2049,10458,2049,3667,48,0,1,
11256,2049,10458,2049,10549,10,11233,11275,144,102,58,110,97,110,63,0,2049,10685,2049,10627,
10,11265,11290,144,102,58,105,110,102,63,0,2049,11212,2049,10612,10,11280,11306,144,102,
58,45,105,110,102,63,0,2049,11243,2049,10612,10,11295,11322,144,102,58,114,111,117,
110,100,0,2049,10685,2049,11046,1793,11343,2049,3667,48,46,53,0,1,11330,2049,10458,2049,
10525,2049,10583,10,1,11328,1793,11362,2049,3667,48,46,53,0,1,11349,2049,10458,2049,10513,
2049,10565,10,1,11347,2049,64,10,11311,11376,144,102,58,109,105,110,0,2049,10986,2049,
10641,1,10700,1,10947,2049,64,10,11367,11396,144,102,58,109,97,120,0,2049,10986,2049,
10655,1,10700,1,10947,2049,64,10,11387,11418,144,102,58,108,105,109,105,116,0,2049,
10715,2049,10847,2049,11376,2049,10861,2049,11396,10,11407,11443,144,102,58,98,101,116,119,101,
101,110,63,0,2049,11000,2049,10685,2049,10847,2049,11000,2049,11000,2049,11418,2049,10861,2049,10612,
10,11429,11469,144,102,58,105,110,99,0,2049,3667,49,0,1,11471,2049,10458,2049,10513,
10,11460,11489,144,102,58,100,101,99,0,2049,3667,49,0,1,11491,2049,10458,2049,10525,
10,11480,11510,144,102,58,99,97,115,101,0,2049,10910,2049,10612,1793,11522,2049,10700,8,
1,-1,10,1,11516,1793,11530,3,1,0,10,1,11526,2049,64,25,6,771,10,11500,
11548,144,102,58,115,105,103,110,0,2049,10685,2049,3667,48,0,1,11552,2049,10458,2049,
10612,1793,11567,1,0,2049,10700,10,1,11562,2049,2501,2049,3667,48,0,1,11573,2049,10458,
2049,10655,1793,11586,1,1,10,1,11583,1793,11593,1,-1,10,1,11590,2049,64,10,11538,
2147483645,131,101,58,77,65,88,0,11598,-2147483645,131,101,58,77,73,78,0,11607,-2147483647,131,
101,58,78,65,78,0,11616,2147483646,131,101,58,73,78,70,0,11625,-2147483646,131,101,58,
45,73,78,70,0,11634,11652,144,101,58,110,63,0,1,-2147483645,2049,2893,1,2147483645,2049,
2906,2049,2924,10,11644,11673,144,101,58,109,97,120,63,0,1,2147483645,11,10,11663,11687,
144,101,58,109,105,110,63,0,1,-2147483645,11,10,11677,11702,144,101,58,122,101,114,
111,63,0,2049,2567,10,11691,11715,144,101,58,110,97,110,63,0,1,-2147483647,11,10,
11705,11729,144,101,58,105,110,102,63,0,1,2147483646,11,10,11719,11744,144,101,58,45,
105,110,102,63,0,1,-2147483646,11,10,11733,11758,144,101,58,99,108,105,112,0,1,
-2147483645,1,2147483645,2049,2876,10,11748,11773,144,102,58,69,49,0,1793,11775,2049,3667,49,46,
101,53,0,1,11777,2049,10458,10,11765,11799,144,102,58,45,115,104,105,102,116,0,
2049,11773,2049,10537,10,11787,11816,144,102,58,43,115,104,105,102,116,0,2049,11773,2049,
10549,10,11804,11838,144,102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,
10685,2049,11548,2049,11081,2049,10598,2049,10439,2049,10537,10,11821,11864,144,102,58,43,101,110,
99,111,100,101,0,2049,11838,2049,11799,10,11851,11882,144,102,58,45,101,110,99,111,
100,101,0,2049,10685,2049,11548,2049,11816,2049,10685,2049,10537,2049,10439,2049,10537,10,11869,11916,
144,102,58,115,105,103,110,101,100,45,115,113,117,97,114,101,0,2049,10685,2049,
11548,2049,10685,2049,10537,2049,10439,2049,10537,10,11897,11939,144,102,58,116,111,45,101,0,
2049,10685,2049,11275,1793,11950,2049,10700,1,-2147483647,10,1,11945,2049,2501,2049,10685,2049,11290,1793,
11965,2049,10700,1,2147483646,10,1,11960,2049,2501,2049,10685,2049,11306,1793,11980,2049,10700,1,-2147483646,
10,1,11975,2049,2501,2049,11864,2049,11322,2049,10478,2049,11758,1,-2147483645,1793,11999,2049,10700,10,
1,11996,2049,2306,1,2147483645,1793,12010,2049,10700,10,1,12007,2049,2306,10,11929,12025,144,101,
58,116,111,45,102,0,1,-2147483647,1793,12032,2049,11184,10,1,12029,2049,2306,1,2147483646,1793,
12043,2049,11212,10,1,12040,2049,2306,1,-2147483646,1793,12054,2049,11243,10,1,12051,2049,2306,2049,
10439,2049,11882,10,12015,12074,144,102,58,115,116,111,114,101,0,1793,12079,2049,11939,10,
1,12076,2049,2106,16,10,12063,12096,144,102,58,102,101,116,99,104,0,15,2049,12025,
10,12085,12116,144,102,58,100,117,109,112,45,115,116,97,99,107,0,2049,10671,2,
1,10847,2049,2281,1793,12134,2049,10861,2049,10685,2049,11123,2049,9308,10,1,12125,2049,2281,10,
12100,12156,144,102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,10878,2,
1,10861,2049,2281,1793,12174,2049,10685,2049,11123,2049,9308,2049,10847,10,1,12165,2049,2281,10,
12139,12188,144,101,58,112,117,116,0,1,2147483645,1793,12205,2049,3667,101,58,77,65,88,
0,1,12194,2049,9334,10,1,12192,2049,2306,1,-2147483645,1793,12226,2049,3667,101,58,77,73,
78,0,1,12215,2049,9334,10,1,12213,2049,2306,1,0,1793,12245,2049,3667,101,58,48,
0,1,12236,2049,9334,10,1,12234,2049,2306,1,-2147483647,1793,12266,2049,3667,101,58,78,65,
78,0,1,12255,2049,9334,10,1,12253,2049,2306,1,2147483646,1793,12287,2049,3667,101,58,73,
78,70,0,1,12276,2049,9334,10,1,12274,2049,2306,1,-2147483646,1793,12309,2049,3667,101,58,
45,73,78,70,0,1,12297,2049,9334,10,1,12295,2049,2306,2049,12025,2049,11123,10,12179,
12336,131,105,111,58,85,110,105,120,83,121,115,99,97,108,108,0,0,12318,12349,
144,105,100,101,110,116,105,102,121,0,3841,12336,2049,2567,1793,12416,1,8,2049,9241,
2,2049,2602,1793,12404,3,2049,3667,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,12367,
2049,9334,2049,9297,10,1,12364,1793,12411,4097,12336,10,1,12408,2049,64,10,1,12355,9,
10,12179,12439,144,105,111,58,117,110,105,120,45,115,121,115,99,97,108,108,0,
2049,12349,3841,12336,2049,9215,10,12420,12461,144,117,110,105,120,58,115,121,115,116,101,
109,0,1,0,2049,12439,10,12446,12479,144,117,110,105,120,58,102,111,114,107,0,
1,1,2049,12439,10,12466,12498,144,117,110,105,120,58,101,120,101,99,48,0,1,
2,2049,12439,10,12484,12517,144,117,110,105,120,58,101,120,101,99,49,0,1,3,
2049,12439,10,12503,12536,144,117,110,105,120,58,101,120,101,99,50,0,1,4,2049,
12439,10,12522,12555,144,117,110,105,120,58,101,120,101,99,51,0,1,5,2049,12439,
10,12541,12573,144,117,110,105,120,58,101,120,105,116,0,1,6,2049,12439,10,12560,
12593,144,117,110,105,120,58,103,101,116,112,105,100,0,1,7,2049,12439,10,12578,
12611,144,117,110,105,120,58,119,97,105,116,0,1,8,2049,12439,10,12598,12629,144,
117,110,105,120,58,107,105,108,108,0,1,9,2049,12439,10,12616,12648,144,117,110,
105,120,58,112,111,112,101,110,0,1,10,2049,12439,10,12634,12668,144,117,110,105,
120,58,112,99,108,111,115,101,0,1,11,2049,12439,10,12653,12687,144,117,110,105,
120,58,99,104,100,105,114,0,1,13,2049,12439,10,12673,12707,144,117,110,105,120,
58,103,101,116,101,110,118,0,1,14,2049,12439,10,12692,12727,144,117,110,105,120,
58,112,117,116,101,110,118,0,1,15,2049,12439,10,12712,12746,144,117,110,105,120,
58,115,108,101,101,112,0,1,16,2049,12439,10,12732,12767,144,117,110,105,120,58,
103,101,116,45,99,119,100,0,2049,3667,112,119,100,0,1,12769,1,0,2049,12648,
2,2049,10100,2049,5914,4,2049,12668,2049,3667,47,0,1,12789,2049,3873,10,12751,12823,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,3667,108,115,32,45,49,32,124,32,119,99,32,45,108,0,
1,12825,1,0,2049,12648,2,2049,10100,2049,5914,2049,218,4,2049,12668,10,12796,12878,144,
117,110,105,120,58,102,111,114,45,101,97,99,104,45,102,105,108,101,0,2049,
3667,108,115,32,45,49,32,45,112,0,1,12880,1,0,2049,12648,2049,12823,1793,12913,
1793,12908,2049,10100,2049,3622,67502597,8,10,1,12901,2049,2116,10,1,12899,2049,2281,2049,12668,
3,10,12856,12930,144,115,116,97,114,116,0,4,2049,3449,1,0,2049,12648,10,12921,
12946,144,114,101,97,100,0,2,2049,9738,2,2049,3357,2049,2567,10,12938,12965,144,102,
105,110,105,115,104,0,2049,12668,2049,3429,10,12856,12989,144,117,110,105,120,58,115,
108,117,114,112,45,112,105,112,101,0,1793,13005,2049,12930,1793,12998,2049,12946,10,1,
12995,2049,2256,2049,12965,10,1,12991,2049,3473,10,12970,13016,131,105,111,0,0,13010,13029,
144,105,100,101,110,116,105,102,121,0,3841,13016,2049,2567,1793,13096,1,10,2049,9241,
2,2049,2602,1793,13084,3,2049,3667,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,13047,
2049,9334,2049,9297,10,1,13044,1793,13091,4097,13016,10,1,13088,2049,64,10,1,13035,9,
10,12970,13120,144,105,111,58,114,110,103,45,111,112,101,114,97,116,105,111,110,
0,2049,13029,3841,13016,2049,9215,10,13100,13139,144,110,58,114,97,110,100,111,109,0,
2049,13120,10,13127,13153,131,83,111,99,107,101,116,115,0,0,13142,13166,144,105,100,
101,110,116,105,102,121,0,3841,13153,2049,2567,1793,13233,1,7,2049,9241,2,2049,2602,
1793,13221,3,2049,3667,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,13184,2049,9334,2049,
9297,10,1,13181,1793,13228,4097,13153,10,1,13225,2049,64,10,1,13172,9,10,13127,13260,
144,105,111,58,115,111,99,107,101,116,45,111,112,101,114,97,116,105,111,110,
0,2049,13166,3841,13153,2049,9215,10,13237,13291,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,13260,10,13267,13313,144,
115,111,99,107,101,116,58,99,114,101,97,116,101,0,1,1,2049,13260,10,13296,
13333,144,115,111,99,107,101,116,58,98,105,110,100,0,1,2,2049,13260,10,13318,
13355,144,115,111,99,107,101,116,58,108,105,115,116,101,110,0,1,3,2049,13260,
10,13338,13377,144,115,111,99,107,101,116,58,97,99,99,101,112,116,0,1,4,
2049,13260,10,13360,13400,144,115,111,99,107,101,116,58,99,111,110,110,101,99,116,
0,1,5,2049,13260,10,13382,13420,144,115,111,99,107,101,116,58,115,101,110,100,
0,1,6,2049,13260,10,13405,13440,144,115,111,99,107,101,116,58,114,101,99,118,
0,1,8,2049,13260,10,13425,13461,144,115,111,99,107,101,116,58,99,108,111,115,
101,0,1,10,2049,13260,10,13445,13486,144,115,111,99,107,101,116,58,99,111,110,
102,105,103,117,114,101,0,1,11,2049,13260,10,13466,1024,131,84,73,66,0,13491,
13512,144,105,109,97,103,101,58,115,97,118,101,0,1,1000,2049,9241,2049,9215,10,
13498,13531,131,75,101,121,98,111,97,114,100,0,0,13519,13544,144,105,100,101,110,
116,105,102,121,0,3841,13531,2049,2567,1793,13611,1,1,2049,9241,2,2049,2602,1793,13599,
0,0,0,0,0,0,0,8985,9034,144,110,101,120,116,0,3841,8984,1,8994,17,
2049,2994,10,9026,9050,144,112,114,101,112,0,1,8984,2049,2994,1,0,3841,8984,1,
8994,17,16,10,9042,9071,144,100,111,110,101,0,1,8984,2049,3009,10,8952,9081,144,
73,0,3841,8984,1,8994,17,15,10,9076,9093,144,74,0,3841,8984,1,8994,17,2049,
2906,15,10,9088,9107,144,75,0,3841,8984,1,8994,17,1,2,18,15,10,9102,9138,
144,116,105,109,101,115,60,119,105,116,104,45,105,110,100,101,120,62,0,2049,
9050,4,1793,9154,25,33886721,1,2053,1542,2049,9034,1,9143,7,10,1,9143,8,3,2049,
9071,10,9117,9169,156,104,111,111,107,0,2049,3667,108,105,106,117,46,46,46,46,
0,1,9171,2049,412,2049,1877,2049,2893,2049,105,10,9161,9203,144,115,101,116,45,104,
111,111,107,0,2049,2893,16,10,9191,9217,144,117,110,104,111,111,107,0,2049,2893,
2,2049,2893,4,16,10,9207,9241,144,105,111,58,101,110,117,109,101,114,97,116,
101,0,27,10,9225,9255,144,105,111,58,113,117,101,114,121,0,28,10,9243,9270,
144,105,111,58,105,110,118,111,107,101,0,29,10,9257,9280,131,83,108,111,116,
0,9,9257,9296,144,105,111,58,115,99,97,110,45,102,111,114,0,1,-1,4097,
9280,2049,9241,1793,9322,2049,9081,2049,9255,772,67502597,11,1793,9318,2049,9081,4097,9280,10,1,
9313,9,10,1,9304,2049,9138,3,3841,9280,10,9281,9339,144,99,58,112,117,116,0,
1793,9341,1,0,2049,9270,10,9330,9352,144,110,108,0,1,10,2049,9339,10,9346,9363,
144,115,112,0,1,32,2049,9339,10,9357,9375,144,116,97,98,0,1,9,2049,9339,
10,9368,9389,144,115,58,112,117,116,0,1,9339,2049,3891,10,9380,9403,144,110,58,
112,117,116,0,2049,5974,2049,9389,10,9394,9417,144,114,101,115,101,116,0,2049,1556,
25,771,1,9417,7,10,9408,9439,144,100,117,109,112,45,115,116,97,99,107,0,
2049,1556,25,3,5,2049,9439,6,2,2049,9403,2049,9363,10,9425,9461,144,70,82,69,
69,0,2049,3538,1,1025,18,2049,1877,18,10,9453,9480,144,102,105,101,108,100,115,
0,3841,2,2049,105,2049,105,2049,105,10,9470,9506,144,105,110,118,97,108,105,100,
45,110,97,109,101,63,0,2,1,32,2049,4017,10,9489,9523,144,114,101,119,114,
105,116,101,0,1793,9537,1,32,1793,9532,1,95,10,1,9529,2049,2306,10,1,9525,
2049,4357,10,9512,9551,144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,
10,1793,9579,1793,9574,2049,9480,2049,9506,1,9523,9,2049,119,10,1,9564,2049,9551,10,
1,9562,9453,9590,131,70,105,108,101,115,0,0,9581,9603,144,105,100,101,110,116,
105,102,121,0,3841,9590,2049,2567,1793,9670,1,4,2049,9296,2,2049,2602,1793,9658,3,
2049,3667,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,9621,2049,9389,2049,9352,10,1,
9618,1793,9665,4097,9590,10,1,9662,2049,64,10,1,9609,9,10,9453,9695,144,105,111,
58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9603,3841,9590,
2049,9270,10,9674,0,131,102,105,108,101,58,82,0,9702,1,131,102,105,108,101,
58,87,0,9712,2,131,102,105,108,101,58,65,0,9722,3,131,102,105,108,101,
58,82,43,0,9732,9756,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,
9695,10,9743,9775,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9695,
10,9761,9793,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9695,10,9780,
9812,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9695,10,9798,9830,
144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9695,10,9817,9848,144,102,
105,108,101,58,115,101,101,107,0,1,5,2049,9695,10,9835,9866,144,102,105,108,
101,58,115,105,122,101,0,1,6,2049,9695,10,9853,9886,144,102,105,108,101,58,
100,101,108,101,116,101,0,1,7,2049,9695,10,9871,9905,144,102,105,108,101,58,
102,108,117,115,104,0,1,8,2049,9695,10,9891,9926,144,102,105,108,101,58,101,
120,105,115,116,115,63,0,1,0,2049,9756,2,2049,2583,1793,9940,2049,9775,2049,2443,
10,1,9935,1793,9948,3,2049,2455,10,1,9944,2049,64,10,9910,9979,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,9756,2,2049,9866,4,10,9953,10013,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,9756,2,2049,
9866,4,10,9988,10048,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,9756,10,10022,10060,131,70,73,68,
0,0,10053,10069,131,83,105,122,101,0,0,10061,10080,131,65,99,116,105,111,110,
0,0,10070,10091,131,66,117,102,102,101,114,0,0,10081,10101,144,45,101,111,102,
63,0,3841,10060,2049,9830,3841,10069,13,10,10092,10121,144,112,114,101,115,101,114,118,
101,0,1,10060,1793,10132,1,10069,1,21,2049,3092,10,1,10125,2049,3092,10,10022,10155,
144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,10060,1793,10212,
2049,1877,2,4097,10091,2049,3449,1793,10204,3841,10060,2049,9793,2,2049,3357,1793,10181,1,13,
11,10,1,10177,1793,10189,1,10,11,10,1,10185,1793,10197,1,0,11,10,1,10193,
2049,2165,22,22,10,1,10168,2049,2256,2049,3381,3,10,1,10159,2049,3473,3841,10091,10,
10137,10241,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,
101,0,1793,10272,4097,10080,2049,9979,4097,10060,4097,10069,1793,10263,3841,10060,2049,10155,3841,10080,
8,2049,10101,10,1,10253,2049,2233,3841,10060,2049,9775,10,1,10243,2049,10121,10,10219,10284,
131,70,73,68,0,0,10219,10299,144,102,105,108,101,58,115,108,117,114,112,0,
1793,10326,4,2049,3449,2049,9979,4097,10284,1793,10317,3841,10284,2049,9793,2049,3357,10,1,10310,
2049,2281,3841,10284,2049,9775,10,1,10301,2049,3473,10,10285,10344,144,102,105,108,101,58,
115,112,101,119,0,2049,10048,4,1793,10353,67502597,2049,9812,10,1,10349,2049,3891,2049,9775,
10,10331,10367,131,70,80,85,0,0,10360,10380,144,105,100,101,110,116,105,102,121,
0,3841,10367,2049,2567,1793,10447,1,2,2049,9296,2,2049,2602,1793,10435,3,2049,3667,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,10398,2049,9389,2049,9352,10,1,10395,1793,10442,
4097,10367,10,1,10439,2049,64,10,1,10386,9,10,10331,10473,144,105,111,58,102,108,
111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10380,3841,10367,2049,9270,
10,10451,10494,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10473,10,
10480,10513,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10473,10,10499,
10533,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10473,10,10518,
10553,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3648,2,1,3,2049,
10473,10,10538,10568,144,102,58,43,0,1,4,2049,10473,10,10561,10580,144,102,58,45,
0,1,5,2049,10473,10,10573,10592,144,102,58,42,0,1,6,2049,10473,10,10585,10604,
144,102,58,47,0,1,7,2049,10473,10,10597,10620,144,102,58,102,108,111,111,114,
0,1,8,2049,10473,10,10609,10638,144,102,58,99,101,105,108,105,110,103,0,1,
9,2049,10473,10,10625,10653,144,102,58,115,113,114,116,0,1,10,2049,10473,10,10643,
10667,144,102,58,101,113,63,0,1,11,2049,10473,10,10658,10682,144,102,58,45,101,
113,63,0,1,12,2049,10473,10,10672,10696,144,102,58,108,116,63,0,1,13,2049,
10473,10,10687,10710,144,102,58,103,116,63,0,1,14,2049,10473,10,10701,10726,144,102,
58,100,101,112,116,104,0,1,15,2049,10473,10,10715,10740,144,102,58,100,117,112,
0,1,16,2049,10473,10,10731,10755,144,102,58,100,114,111,112,0,1,17,2049,10473,
10,10745,10770,144,102,58,115,119,97,112,0,1,18,2049,10473,10,10760,10784,144,102,
58,108,111,103,0,1,19,2049,10473,10,10775,10800,144,102,58,112,111,119,101,114,
0,1,20,2049,10473,10,10789,10814,144,102,58,115,105,110,0,1,21,2049,10473,10,
10805,10828,144,102,58,99,111,115,0,1,22,2049,10473,10,10819,10842,144,102,58,116,
97,110,0,1,23,2049,10473,10,10833,10857,144,102,58,97,115,105,110,0,1,24,
2049,10473,10,10847,10872,144,102,58,97,99,111,115,0,1,25,2049,10473,10,10862,10887,
144,102,58,97,116,97,110,0,1,26,2049,10473,10,10877,10902,144,102,58,112,117,
115,104,0,1,27,2049,10473,10,10892,10916,144,102,58,112,111,112,0,1,28,2049,
10473,10,10907,10933,144,102,58,97,100,101,112,116,104,0,1,29,2049,10473,10,10921,
10950,144,102,58,115,113,117,97,114,101,0,2049,10740,2049,10592,10,10938,10965,144,102,
58,111,118,101,114,0,2049,10902,2049,10740,2049,10916,2049,10770,10,10955,10984,144,102,58,
116,117,99,107,0,2049,10740,2049,10902,2049,10770,2049,10916,10,10974,11002,144,102,58,110,
105,112,0,2049,10770,2049,10755,10,10993,11022,144,102,58,100,114,111,112,45,112,97,
105,114,0,2049,10755,2049,10755,10,11007,11041,144,102,58,100,117,112,45,112,97,105,
114,0,2049,10965,2049,10965,10,11027,11055,144,102,58,114,111,116,0,2049,10902,2049,10770,
2049,10916,2049,10770,10,11046,11079,144,102,58,112,111,115,105,116,105,118,101,63,0,
1,0,2049,10494,2049,10710,10,11064,11101,144,102,58,110,101,103,97,116,105,118,101,
63,0,1,0,2049,10494,2049,10696,10,11086,11120,144,102,58,110,101,103,97,116,101,
0,1,-1,2049,10494,2049,10592,10,11108,11136,144,102,58,97,98,115,0,2049,10740,2049,
11101,1,11120,9,10,11127,11156,156,112,114,101,102,105,120,58,46,0,2049,1818,1,
3693,1,3622,2049,64,1,10513,2049,144,10,11144,11178,144,102,58,112,117,116,0,2049,
10553,2049,9389,10,11169,11191,144,102,58,80,73,0,2049,3667,51,46,49,52,49,53,
57,50,0,1,11193,2049,10513,10,11183,11214,144,102,58,69,0,2049,3667,50,46,55,
49,56,50,56,49,0,1,11216,2049,10513,10,11207,11239,144,102,58,78,65,78,0,
2049,3667,48,0,1,11241,2049,10513,2049,3667,48,0,1,11249,2049,10513,2049,10604,10,11230,
11267,144,102,58,73,78,70,0,2049,3667,49,46,48,0,1,11269,2049,10513,2049,3667,
48,0,1,11279,2049,10513,2049,10604,10,11258,11298,144,102,58,45,73,78,70,0,2049,
3667,45,49,46,48,0,1,11300,2049,10513,2049,3667,48,0,1,11311,2049,10513,2049,10604,
10,11288,11330,144,102,58,110,97,110,63,0,2049,10740,2049,10682,10,11320,11345,144,102,
58,105,110,102,63,0,2049,11267,2049,10667,10,11335,11361,144,102,58,45,105,110,102,
63,0,2049,11298,2049,10667,10,11350,11377,144,102,58,114,111,117,110,100,0,2049,10740,
2049,11101,1793,11398,2049,3667,48,46,53,0,1,11385,2049,10513,2049,10580,2049,10638,10,1,
11383,1793,11417,2049,3667,48,46,53,0,1,11404,2049,10513,2049,10568,2049,10620,10,1,11402,
2049,64,10,11366,11431,144,102,58,109,105,110,0,2049,11041,2049,10696,1,10755,1,11002,
2049,64,10,11422,11451,144,102,58,109,97,120,0,2049,11041,2049,10710,1,10755,1,11002,
2049,64,10,11442,11473,144,102,58,108,105,109,105,116,0,2049,10770,2049,10902,2049,11431,
2049,10916,2049,11451,10,11462,11498,144,102,58,98,101,116,119,101,101,110,63,0,2049,
11055,2049,10740,2049,10902,2049,11055,2049,11055,2049,11473,2049,10916,2049,10667,10,11484,11524,144,102,
58,105,110,99,0,2049,3667,49,0,1,11526,2049,10513,2049,10568,10,11515,11544,144,102,
58,100,101,99,0,2049,3667,49,0,1,11546,2049,10513,2049,10580,10,11535,11565,144,102,
58,99,97,115,101,0,2049,10965,2049,10667,1793,11577,2049,10755,8,1,-1,10,1,11571,
1793,11585,3,1,0,10,1,11581,2049,64,25,6,771,10,11555,11603,144,102,58,115,
105,103,110,0,2049,10740,2049,3667,48,0,1,11607,2049,10513,2049,10667,1793,11622,1,0,
2049,10755,10,1,11617,2049,2501,2049,3667,48,0,1,11628,2049,10513,2049,10710,1793,11641,1,
1,10,1,11638,1793,11648,1,-1,10,1,11645,2049,64,10,11593,2147483645,131,101,58,77,
65,88,0,11653,-2147483645,131,101,58,77,73,78,0,11662,-2147483647,131,101,58,78,65,78,
0,11671,2147483646,131,101,58,73,78,70,0,11680,-2147483646,131,101,58,45,73,78,70,0,
11689,11707,144,101,58,110,63,0,1,-2147483645,2049,2893,1,2147483645,2049,2906,2049,2924,10,11699,
11728,144,101,58,109,97,120,63,0,1,2147483645,11,10,11718,11742,144,101,58,109,105,
110,63,0,1,-2147483645,11,10,11732,11757,144,101,58,122,101,114,111,63,0,2049,2567,
10,11746,11770,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11760,11784,144,101,58,
105,110,102,63,0,1,2147483646,11,10,11774,11799,144,101,58,45,105,110,102,63,0,
1,-2147483646,11,10,11788,11813,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2876,
10,11803,11828,144,102,58,69,49,0,1793,11830,2049,3667,49,46,101,53,0,1,11832,
2049,10513,10,11820,11854,144,102,58,45,115,104,105,102,116,0,2049,11828,2049,10592,10,
11842,11871,144,102,58,43,115,104,105,102,116,0,2049,11828,2049,10604,10,11859,11893,144,
102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10740,2049,11603,2049,11136,
2049,10653,2049,10494,2049,10592,10,11876,11919,144,102,58,43,101,110,99,111,100,101,0,
2049,11893,2049,11854,10,11906,11937,144,102,58,45,101,110,99,111,100,101,0,2049,10740,
2049,11603,2049,11871,2049,10740,2049,10592,2049,10494,2049,10592,10,11924,11971,144,102,58,115,105,
103,110,101,100,45,115,113,117,97,114,101,0,2049,10740,2049,11603,2049,10740,2049,10592,
2049,10494,2049,10592,10,11952,11994,144,102,58,116,111,45,101,0,2049,10740,2049,11330,1793,
12005,2049,10755,1,-2147483647,10,1,12000,2049,2501,2049,10740,2049,11345,1793,12020,2049,10755,1,2147483646,
10,1,12015,2049,2501,2049,10740,2049,11361,1793,12035,2049,10755,1,-2147483646,10,1,12030,2049,2501,
2049,11919,2049,11377,2049,10533,2049,11813,1,-2147483645,1793,12054,2049,10755,10,1,12051,2049,2306,1,
2147483645,1793,12065,2049,10755,10,1,12062,2049,2306,10,11984,12080,144,101,58,116,111,45,102,
0,1,-2147483647,1793,12087,2049,11239,10,1,12084,2049,2306,1,2147483646,1793,12098,2049,11267,10,1,
12095,2049,2306,1,-2147483646,1793,12109,2049,11298,10,1,12106,2049,2306,2049,10494,2049,11937,10,12070,
12129,144,102,58,115,116,111,114,101,0,1793,12134,2049,11994,10,1,12131,2049,2106,16,
10,12118,12151,144,102,58,102,101,116,99,104,0,15,2049,12080,10,12140,12171,144,102,
58,100,117,109,112,45,115,116,97,99,107,0,2049,10726,2,1,10902,2049,2281,1793,
12189,2049,10916,2049,10740,2049,11178,2049,9363,10,1,12180,2049,2281,10,12155,12211,144,102,58,
100,117,109,112,45,97,115,116,97,99,107,0,2049,10933,2,1,10916,2049,2281,1793,
12229,2049,10740,2049,11178,2049,9363,2049,10902,10,1,12220,2049,2281,10,12194,12243,144,101,58,
112,117,116,0,1,2147483645,1793,12260,2049,3667,101,58,77,65,88,0,1,12249,2049,9389,
10,1,12247,2049,2306,1,-2147483645,1793,12281,2049,3667,101,58,77,73,78,0,1,12270,2049,
9389,10,1,12268,2049,2306,1,0,1793,12300,2049,3667,101,58,48,0,1,12291,2049,9389,
10,1,12289,2049,2306,1,-2147483647,1793,12321,2049,3667,101,58,78,65,78,0,1,12310,2049,
9389,10,1,12308,2049,2306,1,2147483646,1793,12342,2049,3667,101,58,73,78,70,0,1,12331,
2049,9389,10,1,12329,2049,2306,1,-2147483646,1793,12364,2049,3667,101,58,45,73,78,70,0,
1,12352,2049,9389,10,1,12350,2049,2306,2049,12080,2049,11178,10,12234,12391,131,105,111,58,
85,110,105,120,83,121,115,99,97,108,108,0,0,12373,12404,144,105,100,101,110,
116,105,102,121,0,3841,12391,2049,2567,1793,12471,1,8,2049,9296,2,2049,2602,1793,12459,
3,2049,3667,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,13562,2049,9334,2049,9297,10,
1,13559,1793,13606,4097,13531,10,1,13603,2049,64,10,1,13550,9,10,13498,13624,144,99,
58,103,101,116,0,2049,13544,3841,13531,2049,9215,10,13615,13641,144,103,97,116,104,101,
114,0,2,1793,13648,1,8,11,10,1,13644,1793,13656,1,127,11,10,1,13652,2049,
2128,22,1,11,1,3357,2049,64,10,13631,13677,144,99,121,99,108,101,0,2049,13624,
2049,2096,4,8,2049,2720,25,3,2049,13641,1,13677,7,10,13615,13708,144,112,97,114,
115,101,45,117,110,116,105,108,0,1793,13720,2049,3648,2049,3449,2049,13677,771,2049,3323,
10,1,13710,2049,3473,10,13693,13734,144,115,58,103,101,116,0,1793,13756,1793,13742,1,
10,11,10,1,13738,1793,13750,1,13,11,10,1,13746,2049,2128,22,10,1,13736,2049,
13708,10,13725,13775,144,115,58,103,101,116,45,119,111,114,100,0,1,5506,2049,13708,
10,13761,13793,131,83,99,114,105,112,116,105,110,103,0,7,13780,13806,144,105,100,
101,110,116,105,102,121,0,3841,13793,2049,2567,1793,13873,1,9,2049,9241,2,2049,2602,
1793,13861,3,2049,3667,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,13824,2049,9334,2049,
9297,10,1,13821,1793,13868,4097,13793,10,1,13865,2049,64,10,1,13812,9,10,13761,13889,
144,115,121,115,58,97,114,103,99,0,2049,13806,1,0,3841,13793,2049,9215,10,13877,
13910,144,115,121,115,58,97,114,103,118,0,2049,3648,4,2049,13806,1,1,3841,13793,
2049,9215,10,13898,13933,144,105,110,99,108,117,100,101,0,2049,13806,1,2,3841,13793,
2049,9215,10,13922,13954,144,115,121,115,58,110,97,109,101,0,2049,3648,2049,13806,1,
3,3841,13793,2049,9215,10,13942,13974,144,99,108,101,97,114,0,1,27,2049,9284,2049,
3667,91,50,74,0,1,13980,2049,9334,1,27,2049,9284,2049,3667,91,48,59,48,72,
0,1,13994,2049,9334,10,13965,14015,131,78,111,69,99,104,111,0,0,14005,14023,144,
98,121,101,0,1,0,2049,12573,10,14016,14039,144,118,101,114,115,105,111,110,0,
3841,4,1,100,20,10,14028,14054,144,100,111,110,101,63,0,1793,14060,1,13,11,
10,1,14056,1793,14068,1,10,11,10,1,14064,1793,14076,1,32,11,10,1,14072,2049,
2165,22,22,10,14045,14093,144,118,97,108,105,100,63,0,2,2049,79,2049,2649,10,
14083,14112,144,99,104,101,99,107,45,101,111,102,0,2,1793,14119,1,-1,11,10,
1,14115,1793,14127,1,4,11,10,1,14123,2049,2128,22,1,14023,9,10,14099,14142,144,
98,115,0,2049,3381,2049,3381,771,10,14136,14160,144,99,104,101,99,107,45,98,115,
0,2,1793,14167,1,8,11,10,1,14163,1793,14175,1,127,11,10,1,14171,2049,2128,
22,1,14142,9,10,14148,14193,144,99,104,101,99,107,0,2049,14112,2049,14160,10,14184,
14211,144,99,104,97,114,97,99,116,101,114,0,2049,13624,2,2049,3357,10,14198,14227,
144,98,117,102,102,101,114,0,1793,14237,1,1024,2049,3449,8,2049,3323,10,1,14229,
2049,3473,10,14217,14256,144,114,101,97,100,45,116,111,107,101,110,0,1793,14272,1793,
14267,2049,14211,2049,14193,2049,14054,10,1,14260,2049,2256,10,1,14258,2049,14227,2049,3745,10,
14242,14288,144,105,110,112,117,116,0,2049,14256,2049,14093,10,14279,14304,144,112,114,111,
99,101,115,115,0,1,365,1,11,2049,64,10,14016,14321,144,98,97,110,110,101,
114,0,2049,14039,2049,3667,82,69,84,82,79,32,49,50,32,40,37,110,46,37,
110,41,92,110,0,1,14325,2049,6548,2049,9334,2049,1543,2049,1877,18,2049,1877,2049,1543,
2049,3667,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,14361,2049,6548,2049,9334,10,14311,14405,144,108,
105,115,116,101,110,0,3841,14015,1793,14412,2049,14321,10,1,14409,2049,70,2049,14288,2049,
14304,1,14416,7,10,14395,14433,131,67,108,111,99,107,0,0,14424,14446,144,105,100,
101,110,116,105,102,121,0,3841,14433,2049,2567,1793,14513,1,5,2049,9241,2,2049,2602,
1793,14501,3,2049,3667,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,14464,2049,9334,2049,
9297,10,1,14461,1793,14508,4097,14433,10,1,14505,2049,64,10,1,14452,9,10,14395,14539,
144,105,111,58,99,108,111,99,107,45,111,112,101,114,97,116,105,111,110,0,
2049,14446,3841,14433,2049,9215,10,14517,14565,144,99,108,111,99,107,58,116,105,109,101,
115,116,97,109,112,0,1,0,2049,14539,10,14546,14583,144,99,108,111,99,107,58,
100,97,121,0,1,1,2049,14539,10,14570,14603,144,99,108,111,99,107,58,109,111,
110,116,104,0,1,2,2049,14539,10,14588,14622,144,99,108,111,99,107,58,121,101,
97,114,0,1,3,2049,14539,10,14608,14641,144,99,108,111,99,107,58,104,111,117,
114,0,1,4,2049,14539,10,14627,14662,144,99,108,111,99,107,58,109,105,110,117,
116,101,0,1,5,2049,14539,10,14646,14683,144,99,108,111,99,107,58,115,101,99,
111,110,100,0,1,6,2049,14539,10,14667,14705,144,99,108,111,99,107,58,117,116,
99,58,100,97,121,0,1,7,2049,14539,10,14688,14729,144,99,108,111,99,107,58,
117,116,99,58,109,111,110,116,104,0,1,8,2049,14539,10,14710,14752,144,99,108,
111,99,107,58,117,116,99,58,121,101,97,114,0,1,9,2049,14539,10,14734,14775,
144,99,108,111,99,107,58,117,116,99,58,104,111,117,114,0,1,10,2049,14539,
10,14757,14800,144,99,108,111,99,107,58,117,116,99,58,109,105,110,117,116,101,
0,1,11,2049,14539,10,14780,14825,144,99,108,111,99,107,58,117,116,99,58,115,
101,99,111,110,100,0,1,12,2049,14539,10,14805,14841,144,100,58,119,111,114,100,
115,0,1793,14850,2049,162,2049,9334,2049,9308,10,1,14843,2049,6780,10,14830,14871,144,100,
58,119,111,114,100,115,45,119,105,116,104,0,2049,1877,2049,4562,1793,14902,2049,162,
2,2049,1877,2049,4186,1793,14891,2049,9334,2049,9308,10,1,14886,1793,14897,3,10,1,14895,
2049,64,10,1,14877,2049,6780,10,14855,14926,144,100,105,115,112,108,97,121,45,105,
102,45,108,101,102,116,0,2,2049,1877,2049,4486,1793,14938,2049,9334,2049,9308,10,1,
14933,1793,14944,3,10,1,14942,2049,64,10,14855,14975,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,4562,
1793,14986,2049,162,2049,14926,10,1,14981,2049,6780,10,0 };
48,56,32,78,79,84,32,70,79,85,78,68,0,1,12422,2049,9389,2049,9352,10,
1,12419,1793,12466,4097,12391,10,1,12463,2049,64,10,1,12410,9,10,12234,12494,144,105,
111,58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12404,3841,12391,2049,
9270,10,12475,12516,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,
12494,10,12501,12534,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12494,10,
12521,12553,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12494,10,12539,
12572,144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12494,10,12558,12591,
144,117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12494,10,12577,12610,144,
117,110,105,120,58,101,120,101,99,51,0,1,5,2049,12494,10,12596,12628,144,117,
110,105,120,58,101,120,105,116,0,1,6,2049,12494,10,12615,12648,144,117,110,105,
120,58,103,101,116,112,105,100,0,1,7,2049,12494,10,12633,12666,144,117,110,105,
120,58,119,97,105,116,0,1,8,2049,12494,10,12653,12684,144,117,110,105,120,58,
107,105,108,108,0,1,9,2049,12494,10,12671,12703,144,117,110,105,120,58,112,111,
112,101,110,0,1,10,2049,12494,10,12689,12723,144,117,110,105,120,58,112,99,108,
111,115,101,0,1,11,2049,12494,10,12708,12742,144,117,110,105,120,58,99,104,100,
105,114,0,1,13,2049,12494,10,12728,12762,144,117,110,105,120,58,103,101,116,101,
110,118,0,1,14,2049,12494,10,12747,12782,144,117,110,105,120,58,112,117,116,101,
110,118,0,1,15,2049,12494,10,12767,12801,144,117,110,105,120,58,115,108,101,101,
112,0,1,16,2049,12494,10,12787,12822,144,117,110,105,120,58,103,101,116,45,99,
119,100,0,2049,3667,112,119,100,0,1,12824,1,0,2049,12703,2,2049,10155,2049,5914,
4,2049,12723,2049,3667,47,0,1,12844,2049,3873,10,12806,12878,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,
3667,108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12880,1,0,2049,
12703,2,2049,10155,2049,5914,2049,218,4,2049,12723,10,12851,12933,144,117,110,105,120,58,
102,111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3667,108,115,32,45,
49,32,45,112,0,1,12935,1,0,2049,12703,2049,12878,1793,12968,1793,12963,2049,10155,2049,
3622,67502597,8,10,1,12956,2049,2116,10,1,12954,2049,2281,2049,12723,3,10,12911,12985,144,
115,116,97,114,116,0,4,2049,3449,1,0,2049,12703,10,12976,13001,144,114,101,97,
100,0,2,2049,9793,2,2049,3357,2049,2567,10,12993,13020,144,102,105,110,105,115,104,
0,2049,12723,2049,3429,10,12911,13044,144,117,110,105,120,58,115,108,117,114,112,45,
112,105,112,101,0,1793,13060,2049,12985,1793,13053,2049,13001,10,1,13050,2049,2256,2049,13020,
10,1,13046,2049,3473,10,13025,13071,131,105,111,0,0,13065,13084,144,105,100,101,110,
116,105,102,121,0,3841,13071,2049,2567,1793,13151,1,10,2049,9296,2,2049,2602,1793,13139,
3,2049,3667,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,13102,2049,9389,2049,9352,10,
1,13099,1793,13146,4097,13071,10,1,13143,2049,64,10,1,13090,9,10,13025,13175,144,105,
111,58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,13084,3841,13071,
2049,9270,10,13155,13194,144,110,58,114,97,110,100,111,109,0,2049,13175,10,13182,13208,
131,83,111,99,107,101,116,115,0,0,13197,13221,144,105,100,101,110,116,105,102,
121,0,3841,13208,2049,2567,1793,13288,1,7,2049,9296,2,2049,2602,1793,13276,3,2049,3667,
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,13239,2049,9389,2049,9352,10,1,13236,1793,
13283,4097,13208,10,1,13280,2049,64,10,1,13227,9,10,13182,13315,144,105,111,58,115,
111,99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13221,3841,13208,
2049,9270,10,13292,13346,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,13315,10,13322,13368,144,115,111,99,107,101,
116,58,99,114,101,97,116,101,0,1,1,2049,13315,10,13351,13388,144,115,111,99,
107,101,116,58,98,105,110,100,0,1,2,2049,13315,10,13373,13410,144,115,111,99,
107,101,116,58,108,105,115,116,101,110,0,1,3,2049,13315,10,13393,13432,144,115,
111,99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,13315,10,13415,13455,
144,115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13315,
10,13437,13475,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13315,
10,13460,13495,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13315,
10,13480,13516,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,
13315,10,13500,13541,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,
101,0,1,11,2049,13315,10,13521,1024,131,84,73,66,0,13546,13567,144,105,109,97,
103,101,58,115,97,118,101,0,1,1000,2049,9296,2049,9270,10,13553,13586,131,75,101,
121,98,111,97,114,100,0,0,13574,13599,144,105,100,101,110,116,105,102,121,0,
3841,13586,2049,2567,1793,13666,1,1,2049,9296,2,2049,2602,1793,13654,3,2049,3667,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,13617,2049,9389,2049,9352,10,1,13614,1793,13661,4097,
13586,10,1,13658,2049,64,10,1,13605,9,10,13553,13679,144,99,58,103,101,116,0,
2049,13599,3841,13586,2049,9270,10,13670,13696,144,103,97,116,104,101,114,0,2,1793,13703,
1,8,11,10,1,13699,1793,13711,1,127,11,10,1,13707,2049,2128,22,1,11,1,
3357,2049,64,10,13686,13732,144,99,121,99,108,101,0,2049,13679,2049,2096,4,8,2049,
2720,25,3,2049,13696,1,13732,7,10,13670,13763,144,112,97,114,115,101,45,117,110,
116,105,108,0,1793,13775,2049,3648,2049,3449,2049,13732,771,2049,3323,10,1,13765,2049,3473,
10,13748,13789,144,115,58,103,101,116,0,1793,13811,1793,13797,1,10,11,10,1,13793,
1793,13805,1,13,11,10,1,13801,2049,2128,22,10,1,13791,2049,13763,10,13780,13830,144,
115,58,103,101,116,45,119,111,114,100,0,1,5506,2049,13763,10,13816,13848,131,83,
99,114,105,112,116,105,110,103,0,7,13835,13861,144,105,100,101,110,116,105,102,
121,0,3841,13848,2049,2567,1793,13928,1,9,2049,9296,2,2049,2602,1793,13916,3,2049,3667,
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,13879,2049,9389,2049,9352,10,1,13876,1793,
13923,4097,13848,10,1,13920,2049,64,10,1,13867,9,10,13816,13944,144,115,121,115,58,
97,114,103,99,0,2049,13861,1,0,3841,13848,2049,9270,10,13932,13965,144,115,121,115,
58,97,114,103,118,0,2049,3648,4,2049,13861,1,1,3841,13848,2049,9270,10,13953,13988,
144,105,110,99,108,117,100,101,0,2049,13861,1,2,3841,13848,2049,9270,10,13977,14009,
144,115,121,115,58,110,97,109,101,0,2049,3648,2049,13861,1,3,3841,13848,2049,9270,
10,13997,14029,144,99,108,101,97,114,0,1,27,2049,9339,2049,3667,91,50,74,0,
1,14035,2049,9389,1,27,2049,9339,2049,3667,91,48,59,48,72,0,1,14049,2049,9389,
10,14020,14070,131,78,111,69,99,104,111,0,0,14060,14078,144,98,121,101,0,1,
0,2049,12628,10,14071,14094,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,
10,14083,14109,144,100,111,110,101,63,0,1793,14115,1,13,11,10,1,14111,1793,14123,
1,10,11,10,1,14119,1793,14131,1,32,11,10,1,14127,2049,2165,22,22,10,14100,
14148,144,118,97,108,105,100,63,0,2,2049,79,2049,2649,10,14138,14167,144,99,104,
101,99,107,45,101,111,102,0,2,1793,14174,1,-1,11,10,1,14170,1793,14182,1,
4,11,10,1,14178,2049,2128,22,1,14078,9,10,14154,14197,144,98,115,0,2049,3381,
2049,3381,771,10,14191,14215,144,99,104,101,99,107,45,98,115,0,2,1793,14222,1,
8,11,10,1,14218,1793,14230,1,127,11,10,1,14226,2049,2128,22,1,14197,9,10,
14203,14248,144,99,104,101,99,107,0,2049,14167,2049,14215,10,14239,14266,144,99,104,97,
114,97,99,116,101,114,0,2049,13679,2,2049,3357,10,14253,14282,144,98,117,102,102,
101,114,0,1793,14292,1,1024,2049,3449,8,2049,3323,10,1,14284,2049,3473,10,14272,14311,
144,114,101,97,100,45,116,111,107,101,110,0,1793,14327,1793,14322,2049,14266,2049,14248,
2049,14109,10,1,14315,2049,2256,10,1,14313,2049,14282,2049,3745,10,14297,14343,144,105,110,
112,117,116,0,2049,14311,2049,14148,10,14334,14359,144,112,114,111,99,101,115,115,0,
1,365,1,11,2049,64,10,14071,14376,144,98,97,110,110,101,114,0,2049,14094,2049,
3667,82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,
1,14380,2049,7190,2049,9389,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3667,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,14416,2049,7190,2049,9389,10,14366,14460,144,108,105,115,116,101,110,
0,3841,14070,1793,14467,2049,14376,10,1,14464,2049,70,2049,14343,2049,14359,1,14471,7,10,
14450,14488,131,67,108,111,99,107,0,0,14479,14501,144,105,100,101,110,116,105,102,
121,0,3841,14488,2049,2567,1793,14568,1,5,2049,9296,2,2049,2602,1793,14556,3,2049,3667,
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,14519,2049,9389,2049,9352,10,1,14516,1793,
14563,4097,14488,10,1,14560,2049,64,10,1,14507,9,10,14450,14594,144,105,111,58,99,
108,111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14501,3841,14488,2049,
9270,10,14572,14620,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,
0,1,0,2049,14594,10,14601,14638,144,99,108,111,99,107,58,100,97,121,0,1,
1,2049,14594,10,14625,14658,144,99,108,111,99,107,58,109,111,110,116,104,0,1,
2,2049,14594,10,14643,14677,144,99,108,111,99,107,58,121,101,97,114,0,1,3,
2049,14594,10,14663,14696,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,
14594,10,14682,14717,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,
2049,14594,10,14701,14738,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,
6,2049,14594,10,14722,14760,144,99,108,111,99,107,58,117,116,99,58,100,97,121,
0,1,7,2049,14594,10,14743,14784,144,99,108,111,99,107,58,117,116,99,58,109,
111,110,116,104,0,1,8,2049,14594,10,14765,14807,144,99,108,111,99,107,58,117,
116,99,58,121,101,97,114,0,1,9,2049,14594,10,14789,14830,144,99,108,111,99,
107,58,117,116,99,58,104,111,117,114,0,1,10,2049,14594,10,14812,14855,144,99,
108,111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14594,
10,14835,14880,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,
0,1,12,2049,14594,10,14860,14896,144,100,58,119,111,114,100,115,0,1793,14905,2049,
162,2049,9389,2049,9363,10,1,14898,2049,7422,10,14885,14926,144,100,58,119,111,114,100,
115,45,119,105,116,104,0,2049,1877,2049,4562,1793,14957,2049,162,2,2049,1877,2049,4186,
1793,14946,2049,9389,2049,9363,10,1,14941,1793,14952,3,10,1,14950,2049,64,10,1,14932,
2049,7422,10,14910,14981,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,
116,0,2,2049,1877,2049,4486,1793,14993,2049,9389,2049,9363,10,1,14988,1793,14999,3,10,
1,14997,2049,64,10,14910,15030,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,4562,1793,15041,2049,162,2049,
14981,10,1,15036,2049,7422,10,0 };