retro.forth: smaller s:format

FossilOrigin-Name: bd0394df6f05b634f7c70efe030f6f3292b504703a4980127cd153234784d3eb
This commit is contained in:
crc 2020-02-12 15:00:47 +00:00
parent 30e5893145
commit 5e2f3c5416
3 changed files with 403 additions and 407 deletions

View file

@ -1224,13 +1224,10 @@ The format language is simple:
$0 [ ASCII:NUL buffer:add ] case
buffer:add ;
:string (a-a)
repeat fetch-next 0; buffer:add again ;
:type (aac-)
$c [ swap buffer:add ] case
$s [ swap string drop ] case
$n [ swap n:to-string string drop ] case
$s [ swap &buffer:add s:for-each ] case
$n [ swap n:to-string &buffer:add s:for-each ] case
drop ;
:handle (ac-a)

BIN
ngaImage

Binary file not shown.

View file

@ -2,8 +2,8 @@
#ifndef CELL
#define CELL int32_t
#endif
CELL ngaImageCells = 14995;
CELL ngaImage[] = { 1793,14297,14841,14994,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10,
CELL ngaImageCells = 14978;
CELL ngaImage[] = { 1793,14280,14824,14977,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,14297,14841,14994,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,14975,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13390,1025,
1,659713,2,659713,3,1793,14958,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13373,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,14297,14841,14994,202004,0,10,1,10,2,10,3,10,4,10,5,10,
1,3074,2049,2106,4,16,10,3055,3098,144,118,58,117,112,100,97,116,101,0,4,
1793,3105,15,4,8,10,1,3101,2049,2116,16,10,3086,3119,144,99,111,112,121,0,
1793,3128,285278725,1,33951492,268767489,1,6,10,1,3121,2049,2281,3,3,10,3111,3148,144,83,
99,111,112,101,76,105,115,116,0,14841,14841,10,3135,3157,144,123,123,0,2049,1570,
99,111,112,101,76,105,115,116,0,14824,14824,10,3135,3157,144,123,123,0,2049,1570,
2,1,3148,2049,59,16,10,3151,3182,144,45,45,45,114,101,118,101,97,108,45,
45,45,0,2049,1570,1,3148,2049,2880,16,10,3166,3196,144,125,125,0,1,3148,2049,
56,4,15,11,1793,3210,3841,3148,4097,2,10,1,3205,1793,3240,3841,3148,1793,3235,1,
@ -355,401 +355,400 @@ CELL ngaImage[] = { 1793,14297,14841,14994,202004,0,10,1,10,2,10,3,10,4,10,5,10,
1,32,1793,6988,1,95,2049,3334,10,1,6983,2049,2379,1,114,1793,7001,1,13,2049,
3334,10,1,6996,2049,2379,1,110,1793,7014,1,10,2049,3334,10,1,7009,2049,2379,1,
116,1793,7027,1,9,2049,3334,10,1,7022,2049,2379,1,48,1793,7040,1,0,2049,3334,
10,1,7035,2049,2379,2049,3334,10,6971,7057,144,115,116,114,105,110,103,0,2049,56,
25,2049,3334,1,7057,7,10,7047,7074,144,116,121,112,101,0,1,99,1793,7082,4,
2049,3334,10,1,7078,2049,2379,1,115,1793,7095,4,2049,7057,3,10,1,7090,2049,2379,
1,110,1793,7110,4,2049,5951,2049,7057,3,10,1,7103,2049,2379,3,10,7066,7126,144,
104,97,110,100,108,101,0,1,92,1793,7135,2049,56,2049,6979,10,1,7130,2049,2379,
1,37,1793,7148,2049,56,2049,7074,10,1,7143,2049,2379,2049,3334,10,6934,7167,144,115,
58,102,111,114,109,97,116,0,1793,7196,2049,3625,1793,7191,2049,3426,1793,7186,2049,56,
25,2049,7126,1,7177,7,10,1,7177,8,3,10,1,7173,2049,2116,10,1,7169,2049,
3450,10,7155,7212,144,115,58,99,111,110,115,116,0,1,3670,2049,2106,2049,2022,10,
7201,7229,131,86,97,108,117,101,115,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,7219,7265,
144,102,114,111,109,0,2049,79,2,1793,7284,1793,7277,1,7229,17,16,10,1,7272,
2049,2116,2049,2893,10,1,7270,2049,2281,3,10,7257,7296,144,116,111,0,2,2049,79,
1793,7314,2049,56,1,97,18,2049,2880,1,7229,17,15,4,10,1,7301,2049,2281,3,
10,7201,7331,144,114,101,111,114,100,101,114,0,1,7265,2049,2106,2049,7296,10,7320,
7347,144,99,117,114,114,121,0,2049,1877,1793,7357,4,2049,1731,2049,1754,10,1,7351,
2049,2106,10,7338,7370,144,100,111,101,115,0,2049,1588,4,2049,7347,2049,1570,2049,158,
16,1,144,2049,1649,10,7362,7399,144,100,58,102,111,114,45,101,97,99,104,0,
1,2,1793,7427,15,25,2049,2096,1793,7419,1793,7414,4,8,10,1,7411,2049,2106,10,
1,7409,2049,2106,1,7403,7,10,1,7403,8,3,10,7385,7447,144,100,58,108,111,
111,107,117,112,45,120,116,0,1,0,4,1793,7473,2049,2096,2049,158,15,11,1793,
7466,4,1,2057,2049,2106,10,1,7460,1,11,2049,64,10,1,7452,2049,7399,3,10,
7432,7491,144,97,58,108,101,110,103,116,104,0,15,10,7479,7514,144,97,58,99,
111,117,110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049,1877,1793,7527,
2,2049,105,1,105,2049,2281,10,1,7519,2049,2106,10,7493,7549,144,97,58,102,114,
111,109,45,115,116,114,105,110,103,0,2049,1877,1793,7563,2,2049,79,2049,105,1,
105,2049,3868,10,1,7553,2049,2106,10,7532,7573,131,81,0,0,7532,7588,144,97,58,
102,111,114,45,101,97,99,104,0,1,7573,1793,7618,4097,7573,2049,56,1793,7612,2049,
56,4,1793,7607,3841,7573,8,10,1,7603,2049,2106,10,1,7598,2049,2281,3,10,1,
7592,2049,3069,10,7574,7632,144,97,58,100,117,112,0,2049,1877,1793,7645,2,15,2049,
105,1,105,2049,7588,10,1,7636,2049,2106,10,7623,7660,144,97,58,99,111,112,121,
0,1,3,1793,7676,4097,3,2,2049,7491,2049,105,1,105,2049,7588,10,1,7664,2049,
3069,10,7650,7696,144,97,58,116,111,45,115,116,114,105,110,103,0,1,3,1793,
7709,2049,7632,1,0,2049,105,2049,2880,10,1,7700,2049,3069,2049,3599,10,7681,7724,144,
99,111,112,121,0,2,15,1793,7733,1,105,2049,7588,10,1,7728,2049,2106,10,7681,
7751,144,97,58,112,114,101,112,101,110,100,0,2049,1877,1,0,2049,105,1793,7766,
2049,7724,4,2049,7724,17,10,1,7759,2049,2106,1,36,2049,2116,10,7738,7787,144,97,
58,97,112,112,101,110,100,0,4,2049,7751,10,7775,7801,144,97,58,99,104,111,
112,0,2049,7632,1,-1,2049,3050,2,2049,2993,10,7791,7823,144,97,58,102,105,108,
116,101,114,0,1793,7838,67502597,1,21,2049,2106,4,1,105,1,11,2049,64,10,1,
7825,2049,7347,2049,1877,1793,7853,67502597,15,2049,105,2049,7588,10,1,7846,2049,2106,2049,1877,
67502597,18,2049,2893,67502597,16,10,7811,7881,144,97,58,99,111,110,116,97,105,110,115,
63,0,1,0,4,1793,7893,4,5,67502597,11,6,22,10,1,7886,2049,7588,772,10,
7866,7921,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,105,110,103,
63,0,1,0,4,1793,7934,4,5,67502597,2049,93,6,22,10,1,7926,2049,7588,772,
10,7899,7952,131,76,111,99,97,116,105,111,110,0,0,7940,7964,144,112,114,101,
112,97,114,101,0,4,1,-1,4097,7952,10,7953,7978,144,110,101,120,116,0,3841,
7952,2049,2568,1793,7989,1,7952,2049,2993,10,1,7984,9,10,7970,8003,144,109,97,116,
99,104,63,0,67502597,11,2,1793,8014,3,3841,7952,2049,2568,10,1,8008,9,10,7993,
8032,144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,2,1793,8044,3,
3841,7952,2049,2568,10,1,8038,9,10,8018,8058,144,117,112,100,97,116,101,0,3841,
7952,2049,2845,2049,2893,4097,7952,10,7899,8081,144,97,58,105,110,100,101,120,45,111,
102,0,2049,7964,2049,2096,2049,7881,1793,8093,771,1,-1,10,1,8089,2049,2676,1793,8107,
2049,8003,1,8058,9,2049,7978,10,1,8099,2049,7588,3,3841,7952,10,8067,8136,144,97,
58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,2049,7964,2049,
2096,2049,7921,1793,8148,771,1,-1,10,1,8144,2049,2676,1793,8162,2049,8032,1,8058,9,
2049,7978,10,1,8154,2049,7588,3,3841,7952,10,8115,8179,144,97,58,109,97,112,0,
1793,8185,8,2049,105,10,1,8181,2049,7347,2049,1877,1793,8200,67502597,15,2049,105,2049,7588,
10,1,8193,2049,2106,10,8170,8218,144,97,58,114,101,118,101,114,115,101,0,2049,
1877,1793,8252,2049,56,1793,8230,17,2049,2893,10,1,8226,2049,2116,2,2049,105,1793,8246,
2,15,2049,105,2049,2893,10,1,8239,2049,2281,3,10,1,8222,2049,2106,10,8205,8265,
144,97,58,116,104,0,17,2049,2880,10,8257,8280,144,97,58,102,101,116,99,104,
0,2049,8265,15,10,8269,8295,144,97,58,115,116,111,114,101,0,2049,8265,16,10,
8284,8311,144,97,58,114,101,100,117,99,101,0,1,13,2049,2106,2049,7588,10,8299,
8328,144,97,58,109,97,107,101,0,2049,7514,2049,8218,10,8318,8338,156,123,0,1,
285,2049,156,1,1556,2049,144,1,285,2049,156,10,8333,8356,156,125,0,1,301,2049,
156,1,2106,2049,144,1,1556,2049,144,1,13,2049,150,1,40,2049,150,1,2893,2049,
144,1,301,2049,156,1,8328,2049,144,10,8351,8400,144,98,111,117,110,100,115,63,
0,67502597,2049,7491,67502597,13,10,8389,8414,144,99,111,112,121,0,2049,56,2049,105,10,
8406,8429,144,116,111,45,101,110,100,0,2,2049,7491,17,2049,2880,10,8351,8446,144,
97,58,108,101,102,116,0,2049,8400,1793,8454,771,1,-1,10,1,8450,2049,2659,2049,
1877,67502597,2049,105,1793,8475,1,2880,2049,2106,1,8414,2049,2281,3,10,1,8465,2049,2106,
10,8436,8491,144,97,58,114,105,103,104,116,0,2049,8400,1793,8499,771,1,-1,10,
1,8495,2049,2659,2049,1877,67502597,2049,105,1793,8522,4,2049,8429,67502597,18,4,1,8414,2049,
2281,3,10,1,8510,2049,2106,10,8480,8539,144,97,58,109,105,100,100,108,101,0,
1,2048,2049,2106,4,67502597,2049,8400,1793,8554,771,3,1,-1,10,1,8549,2049,2659,771,
2049,2096,4,18,2049,2880,2049,1877,67502597,2049,105,1793,8589,772,1793,8579,17,2049,2880,10,
1,8575,2049,2106,1,8414,2049,2281,3,10,1,8572,2049,2106,10,8527,8602,131,70,108,
97,103,0,0,8594,8614,144,99,111,109,112,97,114,101,0,67440386,184946434,10,8603,8627,
144,108,101,110,103,116,104,0,659202,10,8617,8637,144,110,101,120,116,0,17043713,1,
1,2577,10,8629,8655,144,110,111,116,45,101,113,117,97,108,0,50529030,2561,0,10,
8642,8667,144,108,111,111,112,0,524549,8637,2049,8614,18157313,8602,8602,16,420610310,1,1,8667,
7,10,8527,8690,144,97,58,101,113,63,0,1048833,-1,8602,2049,8614,151066369,-1,8655,2049,
8627,2049,8667,251724547,8602,10,8681,8715,144,97,58,45,101,113,63,0,2049,8690,2049,2465,
10,8705,8738,144,97,58,98,101,103,105,110,115,45,119,105,116,104,63,0,1,
3,1793,8754,2,2049,7491,1,13,2049,2106,2049,8446,2049,8690,10,1,8742,2049,3069,10,
8720,8775,144,97,58,101,110,100,115,45,119,105,116,104,63,0,1,3,1793,8791,
2,2049,7491,1,13,2049,2106,2049,8491,2049,8690,10,1,8779,2049,3069,10,8759,8812,144,
99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3515,1,1025,18,10,8796,
8834,144,99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8840,1,32,11,
10,1,8836,2049,4292,2049,79,10,8818,8865,144,112,114,111,99,101,115,115,45,116,
111,107,101,110,115,0,1793,8893,1,32,2049,6118,4,1793,8886,2,2049,79,2049,2549,
1,365,1,11,2049,64,10,1,8874,2049,2106,2049,2880,10,1,8867,2049,2281,2049,365,
10,8759,8914,144,115,58,101,118,97,108,117,97,116,101,0,2049,8812,2049,4539,2049,
8812,2,2049,8834,2049,8865,10,8900,8932,131,76,80,0,0,8926,8942,131,73,110,100,
101,120,0,0,10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8933,8982,144,110,101,
120,116,0,3841,8932,1,8942,17,2049,2978,10,8974,8998,144,112,114,101,112,0,1,
8932,2049,2978,1,0,3841,8932,1,8942,17,16,10,8990,9019,144,100,111,110,101,0,
1,8932,2049,2993,10,8900,9029,144,73,0,3841,8932,1,8942,17,15,10,9024,9041,144,
74,0,3841,8932,1,8942,17,2049,2893,15,10,9036,9055,144,75,0,3841,8932,1,8942,
17,1,2,18,15,10,9050,9086,144,116,105,109,101,115,60,119,105,116,104,45,
105,110,100,101,120,62,0,2049,8998,4,1793,9102,25,33886721,1,2053,1542,2049,8982,1,
9091,7,10,1,9091,8,3,2049,9019,10,9065,9117,156,104,111,111,107,0,2049,3644,
108,105,106,117,46,46,46,46,0,1,9119,2049,412,2049,1877,2049,2880,2049,105,10,
9109,9151,144,115,101,116,45,104,111,111,107,0,2049,2880,16,10,9139,9165,144,117,
110,104,111,111,107,0,2049,2880,2,2049,2880,4,16,10,9155,9189,144,105,111,58,
101,110,117,109,101,114,97,116,101,0,27,10,9173,9203,144,105,111,58,113,117,
101,114,121,0,28,10,9191,9218,144,105,111,58,105,110,118,111,107,101,0,29,
10,9205,9228,131,83,108,111,116,0,9,9205,9244,144,105,111,58,115,99,97,110,
45,102,111,114,0,1,-1,4097,9228,2049,9189,1793,9270,2049,9029,2049,9203,772,67502597,11,
1793,9266,2049,9029,4097,9228,10,1,9261,9,10,1,9252,2049,9086,3,3841,9228,10,9229,
9287,144,99,58,112,117,116,0,1793,9289,1,0,2049,9218,10,9278,9300,144,110,108,
0,1,10,2049,9287,10,9294,9311,144,115,112,0,1,32,2049,9287,10,9305,9323,144,
116,97,98,0,1,9,2049,9287,10,9316,9337,144,115,58,112,117,116,0,1,9287,
2049,3868,10,9328,9351,144,110,58,112,117,116,0,2049,5951,2049,9337,10,9342,9365,144,
114,101,115,101,116,0,2049,1556,25,771,1,9365,7,10,9356,9387,144,100,117,109,
112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9387,6,2,2049,9351,2049,
9311,10,9373,9409,144,70,82,69,69,0,2049,3515,1,1025,18,2049,1877,18,10,9401,
9427,131,70,105,108,101,115,0,0,9418,9440,144,105,100,101,110,116,105,102,121,
0,3841,9427,2049,2533,1793,9507,1,4,2049,9244,2,2049,2568,1793,9495,3,2049,3644,73,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52,32,78,
79,84,32,70,79,85,78,68,0,1,9458,2049,9337,2049,9300,10,1,9455,1793,9502,
4097,9427,10,1,9499,2049,64,10,1,9446,9,10,9401,9532,144,105,111,58,102,105,
108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9440,3841,9427,2049,9218,10,
9511,0,131,102,105,108,101,58,82,0,9539,1,131,102,105,108,101,58,87,0,
9549,2,131,102,105,108,101,58,65,0,9559,3,131,102,105,108,101,58,82,43,
0,9569,9593,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,9532,10,9580,
9612,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9532,10,9598,9630,
144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9532,10,9617,9649,144,102,
105,108,101,58,119,114,105,116,101,0,1,3,2049,9532,10,9635,9667,144,102,105,
108,101,58,116,101,108,108,0,1,4,2049,9532,10,9654,9685,144,102,105,108,101,
58,115,101,101,107,0,1,5,2049,9532,10,9672,9703,144,102,105,108,101,58,115,
105,122,101,0,1,6,2049,9532,10,9690,9723,144,102,105,108,101,58,100,101,108,
101,116,101,0,1,7,2049,9532,10,9708,9742,144,102,105,108,101,58,102,108,117,
115,104,0,1,8,2049,9532,10,9728,9763,144,102,105,108,101,58,101,120,105,115,
116,115,63,0,1,0,2049,9593,2,2049,2549,1793,9777,2049,9612,2049,2356,10,1,9772,
1793,9785,3,2049,2368,10,1,9781,2049,64,10,9747,9816,144,102,105,108,101,58,111,
112,101,110,60,102,111,114,45,114,101,97,100,105,110,103,62,0,1,0,2049,
9593,2,2049,9703,4,10,9790,9850,144,102,105,108,101,58,111,112,101,110,60,102,
111,114,45,97,112,112,101,110,100,62,0,1,2,2049,9593,2,2049,9703,4,10,
9825,9885,144,102,105,108,101,58,111,112,101,110,60,102,111,114,45,119,114,105,
116,105,110,103,62,0,1,1,2049,9593,10,9859,9897,131,70,73,68,0,0,9890,
9906,131,83,105,122,101,0,0,9898,9917,131,65,99,116,105,111,110,0,0,9907,
9928,131,66,117,102,102,101,114,0,0,9918,9938,144,45,101,111,102,63,0,3841,
9897,2049,9667,3841,9906,13,10,9929,9958,144,112,114,101,115,101,114,118,101,0,1,
9897,1793,9969,1,9906,1,21,2049,3069,10,1,9962,2049,3069,10,9859,9992,144,102,105,
108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9897,1793,10049,2049,1877,2,
4097,9928,2049,3426,1793,10041,3841,9897,2049,9630,2,2049,3334,1793,10018,1,13,11,10,1,
10014,1793,10026,1,10,11,10,1,10022,1793,10034,1,0,11,10,1,10030,2049,2165,22,
22,10,1,10005,2049,2256,2049,3358,3,10,1,9996,2049,3450,3841,9928,10,9974,10078,144,
102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,101,0,1793,
10109,4097,9917,2049,9816,4097,9897,4097,9906,1793,10100,3841,9897,2049,9992,3841,9917,8,2049,9938,
10,1,10090,2049,2233,3841,9897,2049,9612,10,1,10080,2049,9958,10,10056,10121,131,70,73,
68,0,0,10056,10136,144,102,105,108,101,58,115,108,117,114,112,0,1793,10163,4,
2049,3426,2049,9816,4097,10121,1793,10154,3841,10121,2049,9630,2049,3334,10,1,10147,2049,2281,3841,
10121,2049,9612,10,1,10138,2049,3450,10,10122,10181,144,102,105,108,101,58,115,112,101,
119,0,2049,9885,4,1793,10190,67502597,2049,9649,10,1,10186,2049,3868,2049,9612,10,10168,10204,
131,70,80,85,0,0,10197,10217,144,105,100,101,110,116,105,102,121,0,3841,10204,
2049,2533,1793,10284,1,2,2049,9244,2,2049,2568,1793,10272,3,2049,3644,73,79,32,68,
69,86,73,67,69,32,84,89,80,69,32,48,48,48,50,32,78,79,84,32,
70,79,85,78,68,0,1,10235,2049,9337,2049,9300,10,1,10232,1793,10279,4097,10204,10,
1,10276,2049,64,10,1,10223,9,10,10168,10310,144,105,111,58,102,108,111,97,116,
45,111,112,101,114,97,116,105,111,110,0,2049,10217,3841,10204,2049,9218,10,10288,10331,
144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10310,10,10317,10350,144,
115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10310,10,10336,10370,144,102,
58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10310,10,10355,10390,144,102,
58,116,111,45,115,116,114,105,110,103,0,2049,3625,2,1,3,2049,10310,10,10375,
10405,144,102,58,43,0,1,4,2049,10310,10,10398,10417,144,102,58,45,0,1,5,
2049,10310,10,10410,10429,144,102,58,42,0,1,6,2049,10310,10,10422,10441,144,102,58,
47,0,1,7,2049,10310,10,10434,10457,144,102,58,102,108,111,111,114,0,1,8,
2049,10310,10,10446,10475,144,102,58,99,101,105,108,105,110,103,0,1,9,2049,10310,
10,10462,10490,144,102,58,115,113,114,116,0,1,10,2049,10310,10,10480,10504,144,102,
58,101,113,63,0,1,11,2049,10310,10,10495,10519,144,102,58,45,101,113,63,0,
1,12,2049,10310,10,10509,10533,144,102,58,108,116,63,0,1,13,2049,10310,10,10524,
10547,144,102,58,103,116,63,0,1,14,2049,10310,10,10538,10563,144,102,58,100,101,
112,116,104,0,1,15,2049,10310,10,10552,10577,144,102,58,100,117,112,0,1,16,
2049,10310,10,10568,10592,144,102,58,100,114,111,112,0,1,17,2049,10310,10,10582,10607,
144,102,58,115,119,97,112,0,1,18,2049,10310,10,10597,10621,144,102,58,108,111,
103,0,1,19,2049,10310,10,10612,10637,144,102,58,112,111,119,101,114,0,1,20,
2049,10310,10,10626,10651,144,102,58,115,105,110,0,1,21,2049,10310,10,10642,10665,144,
102,58,99,111,115,0,1,22,2049,10310,10,10656,10679,144,102,58,116,97,110,0,
1,23,2049,10310,10,10670,10694,144,102,58,97,115,105,110,0,1,24,2049,10310,10,
10684,10709,144,102,58,97,99,111,115,0,1,25,2049,10310,10,10699,10724,144,102,58,
97,116,97,110,0,1,26,2049,10310,10,10714,10739,144,102,58,112,117,115,104,0,
1,27,2049,10310,10,10729,10753,144,102,58,112,111,112,0,1,28,2049,10310,10,10744,
10770,144,102,58,97,100,101,112,116,104,0,1,29,2049,10310,10,10758,10787,144,102,
58,115,113,117,97,114,101,0,2049,10577,2049,10429,10,10775,10802,144,102,58,111,118,
101,114,0,2049,10739,2049,10577,2049,10753,2049,10607,10,10792,10821,144,102,58,116,117,99,
107,0,2049,10577,2049,10739,2049,10607,2049,10753,10,10811,10839,144,102,58,110,105,112,0,
2049,10607,2049,10592,10,10830,10859,144,102,58,100,114,111,112,45,112,97,105,114,0,
2049,10592,2049,10592,10,10844,10878,144,102,58,100,117,112,45,112,97,105,114,0,2049,
10802,2049,10802,10,10864,10892,144,102,58,114,111,116,0,2049,10739,2049,10607,2049,10753,2049,
10607,10,10883,10916,144,102,58,112,111,115,105,116,105,118,101,63,0,1,0,2049,
10331,2049,10547,10,10901,10938,144,102,58,110,101,103,97,116,105,118,101,63,0,1,
0,2049,10331,2049,10533,10,10923,10957,144,102,58,110,101,103,97,116,101,0,1,-1,
2049,10331,2049,10429,10,10945,10973,144,102,58,97,98,115,0,2049,10577,2049,10938,1,10957,
9,10,10964,10993,156,112,114,101,102,105,120,58,46,0,2049,1818,1,3670,1,3599,
2049,64,1,10350,2049,144,10,10981,11015,144,102,58,112,117,116,0,2049,10390,2049,9337,
10,11006,11028,144,102,58,80,73,0,2049,3644,51,46,49,52,49,53,57,50,0,
1,11030,2049,10350,10,11020,11051,144,102,58,69,0,2049,3644,50,46,55,49,56,50,
56,49,0,1,11053,2049,10350,10,11044,11076,144,102,58,78,65,78,0,2049,3644,48,
0,1,11078,2049,10350,2049,3644,48,0,1,11086,2049,10350,2049,10441,10,11067,11104,144,102,
58,73,78,70,0,2049,3644,49,46,48,0,1,11106,2049,10350,2049,3644,48,0,1,
11116,2049,10350,2049,10441,10,11095,11135,144,102,58,45,73,78,70,0,2049,3644,45,49,
46,48,0,1,11137,2049,10350,2049,3644,48,0,1,11148,2049,10350,2049,10441,10,11125,11167,
144,102,58,110,97,110,63,0,2049,10577,2049,10519,10,11157,11182,144,102,58,105,110,
102,63,0,2049,11104,2049,10504,10,11172,11198,144,102,58,45,105,110,102,63,0,2049,
11135,2049,10504,10,11187,11214,144,102,58,114,111,117,110,100,0,2049,10577,2049,10938,1793,
11235,2049,3644,48,46,53,0,1,11222,2049,10350,2049,10417,2049,10475,10,1,11220,1793,11254,
2049,3644,48,46,53,0,1,11241,2049,10350,2049,10405,2049,10457,10,1,11239,2049,64,10,
11203,11268,144,102,58,109,105,110,0,2049,10878,2049,10533,1,10592,1,10839,2049,64,10,
11259,11288,144,102,58,109,97,120,0,2049,10878,2049,10547,1,10592,1,10839,2049,64,10,
11279,11310,144,102,58,108,105,109,105,116,0,2049,10607,2049,10739,2049,11268,2049,10753,2049,
11288,10,11299,11335,144,102,58,98,101,116,119,101,101,110,63,0,2049,10892,2049,10577,
2049,10739,2049,10892,2049,10892,2049,11310,2049,10753,2049,10504,10,11321,11361,144,102,58,105,110,
99,0,2049,3644,49,0,1,11363,2049,10350,2049,10405,10,11352,11381,144,102,58,100,101,
99,0,2049,3644,49,0,1,11383,2049,10350,2049,10417,10,11372,11402,144,102,58,99,97,
115,101,0,2049,10802,2049,10504,1793,11414,2049,10592,8,1,-1,10,1,11408,1793,11422,3,
1,0,10,1,11418,2049,64,25,6,771,10,11392,11440,144,102,58,115,105,103,110,
0,2049,10577,2049,3644,48,0,1,11444,2049,10350,2049,10504,1793,11459,1,0,2049,10592,10,
1,11454,2049,2659,2049,3644,48,0,1,11465,2049,10350,2049,10547,1793,11478,1,1,10,1,
11475,1793,11485,1,-1,10,1,11482,2049,64,10,11430,2147483645,131,101,58,77,65,88,0,
11490,-2147483645,131,101,58,77,73,78,0,11499,-2147483647,131,101,58,78,65,78,0,11508,2147483646,
131,101,58,73,78,70,0,11517,-2147483646,131,101,58,45,73,78,70,0,11526,11544,144,
101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11536,11565,144,101,
58,109,97,120,63,0,1,2147483645,11,10,11555,11579,144,101,58,109,105,110,63,0,
1,-2147483645,11,10,11569,11594,144,101,58,122,101,114,111,63,0,2049,2533,10,11583,11607,
144,101,58,110,97,110,63,0,1,-2147483647,11,10,11597,11621,144,101,58,105,110,102,
63,0,1,2147483646,11,10,11611,11636,144,101,58,45,105,110,102,63,0,1,-2147483646,11,
10,11625,11650,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,10,11640,11665,
144,102,58,69,49,0,1793,11667,2049,3644,49,46,101,53,0,1,11669,2049,10350,10,
11657,11691,144,102,58,45,115,104,105,102,116,0,2049,11665,2049,10429,10,11679,11708,144,
102,58,43,115,104,105,102,116,0,2049,11665,2049,10441,10,11696,11730,144,102,58,115,
105,103,110,101,100,45,115,113,114,116,0,2049,10577,2049,11440,2049,10973,2049,10490,2049,
10331,2049,10429,10,11713,11756,144,102,58,43,101,110,99,111,100,101,0,2049,11730,2049,
11691,10,11743,11774,144,102,58,45,101,110,99,111,100,101,0,2049,10577,2049,11440,2049,
11708,2049,10577,2049,10429,2049,10331,2049,10429,10,11761,11808,144,102,58,115,105,103,110,101,
100,45,115,113,117,97,114,101,0,2049,10577,2049,11440,2049,10577,2049,10429,2049,10331,2049,
10429,10,11789,11831,144,102,58,116,111,45,101,0,2049,10577,2049,11167,1793,11842,2049,10592,
1,-2147483647,10,1,11837,2049,2659,2049,10577,2049,11182,1793,11857,2049,10592,1,2147483646,10,1,11852,
2049,2659,2049,10577,2049,11198,1793,11872,2049,10592,1,-2147483646,10,1,11867,2049,2659,2049,11756,2049,
11214,2049,10370,2049,11650,1,-2147483645,1793,11891,2049,10592,10,1,11888,2049,2379,1,2147483645,1793,11902,
2049,10592,10,1,11899,2049,2379,10,11821,11917,144,101,58,116,111,45,102,0,1,-2147483647,
1793,11924,2049,11076,10,1,11921,2049,2379,1,2147483646,1793,11935,2049,11104,10,1,11932,2049,2379,
1,-2147483646,1793,11946,2049,11135,10,1,11943,2049,2379,2049,10331,2049,11774,10,11907,11966,144,102,
58,115,116,111,114,101,0,1793,11971,2049,11831,10,1,11968,2049,2106,16,10,11955,11988,
144,102,58,102,101,116,99,104,0,15,2049,11917,10,11977,12008,144,102,58,100,117,
109,112,45,115,116,97,99,107,0,2049,10563,2,1,10739,2049,2281,1793,12026,2049,10753,
2049,10577,2049,11015,2049,9311,10,1,12017,2049,2281,10,11992,12048,144,102,58,100,117,109,
112,45,97,115,116,97,99,107,0,2049,10770,2,1,10753,2049,2281,1793,12066,2049,10577,
2049,11015,2049,9311,2049,10739,10,1,12057,2049,2281,10,12031,12080,144,101,58,112,117,116,
0,1,2147483645,1793,12097,2049,3644,101,58,77,65,88,0,1,12086,2049,9337,10,1,12084,
2049,2379,1,-2147483645,1793,12118,2049,3644,101,58,77,73,78,0,1,12107,2049,9337,10,1,
12105,2049,2379,1,0,1793,12137,2049,3644,101,58,48,0,1,12128,2049,9337,10,1,12126,
2049,2379,1,-2147483647,1793,12158,2049,3644,101,58,78,65,78,0,1,12147,2049,9337,10,1,
12145,2049,2379,1,2147483646,1793,12179,2049,3644,101,58,73,78,70,0,1,12168,2049,9337,10,
1,12166,2049,2379,1,-2147483646,1793,12201,2049,3644,101,58,45,73,78,70,0,1,12189,2049,
9337,10,1,12187,2049,2379,2049,11917,2049,11015,10,12071,12228,131,105,111,58,85,110,105,
120,83,121,115,99,97,108,108,0,0,12210,12241,144,105,100,101,110,116,105,102,
121,0,3841,12228,2049,2533,1793,12308,1,8,2049,9244,2,2049,2568,1793,12296,3,2049,3644,
73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,56,32,
78,79,84,32,70,79,85,78,68,0,1,12259,2049,9337,2049,9300,10,1,12256,1793,
12303,4097,12228,10,1,12300,2049,64,10,1,12247,9,10,12071,12331,144,105,111,58,117,
110,105,120,45,115,121,115,99,97,108,108,0,2049,12241,3841,12228,2049,9218,10,12312,
12353,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12331,10,12338,
12371,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12331,10,12358,12390,144,
117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12331,10,12376,12409,144,117,
110,105,120,58,101,120,101,99,49,0,1,3,2049,12331,10,12395,12428,144,117,110,
105,120,58,101,120,101,99,50,0,1,4,2049,12331,10,12414,12447,144,117,110,105,
120,58,101,120,101,99,51,0,1,5,2049,12331,10,12433,12465,144,117,110,105,120,
58,101,120,105,116,0,1,6,2049,12331,10,12452,12485,144,117,110,105,120,58,103,
101,116,112,105,100,0,1,7,2049,12331,10,12470,12503,144,117,110,105,120,58,119,
97,105,116,0,1,8,2049,12331,10,12490,12521,144,117,110,105,120,58,107,105,108,
108,0,1,9,2049,12331,10,12508,12540,144,117,110,105,120,58,112,111,112,101,110,
0,1,10,2049,12331,10,12526,12560,144,117,110,105,120,58,112,99,108,111,115,101,
0,1,11,2049,12331,10,12545,12579,144,117,110,105,120,58,99,104,100,105,114,0,
1,13,2049,12331,10,12565,12599,144,117,110,105,120,58,103,101,116,101,110,118,0,
1,14,2049,12331,10,12584,12619,144,117,110,105,120,58,112,117,116,101,110,118,0,
1,15,2049,12331,10,12604,12638,144,117,110,105,120,58,115,108,101,101,112,0,1,
16,2049,12331,10,12624,12659,144,117,110,105,120,58,103,101,116,45,99,119,100,0,
2049,3644,112,119,100,0,1,12661,1,0,2049,12540,2,2049,9992,2049,5891,4,2049,12560,
2049,3644,47,0,1,12681,2049,3850,10,12643,12715,144,117,110,105,120,58,99,111,117,
110,116,45,102,105,108,101,115,45,105,110,45,99,119,100,0,2049,3644,108,115,
32,45,49,32,124,32,119,99,32,45,108,0,1,12717,1,0,2049,12540,2,2049,
9992,2049,5891,2049,218,4,2049,12560,10,12688,12770,144,117,110,105,120,58,102,111,114,
45,101,97,99,104,45,102,105,108,101,0,2049,3644,108,115,32,45,49,32,45,
112,0,1,12772,1,0,2049,12540,2049,12715,1793,12805,1793,12800,2049,9992,2049,3599,67502597,8,
10,1,12793,2049,2116,10,1,12791,2049,2281,2049,12560,3,10,12748,12822,144,115,116,97,
114,116,0,4,2049,3426,1,0,2049,12540,10,12813,12838,144,114,101,97,100,0,2,
2049,9630,2,2049,3334,2049,2533,10,12830,12857,144,102,105,110,105,115,104,0,2049,12560,
2049,3406,10,12748,12881,144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,
101,0,1793,12897,2049,12822,1793,12890,2049,12838,10,1,12887,2049,2256,2049,12857,10,1,12883,
2049,3450,10,12862,12908,131,105,111,0,0,12902,12921,144,105,100,101,110,116,105,102,
121,0,3841,12908,2049,2533,1793,12988,1,10,2049,9244,2,2049,2568,1793,12976,3,2049,3644,
73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,49,48,32,
78,79,84,32,70,79,85,78,68,0,1,12939,2049,9337,2049,9300,10,1,12936,1793,
12983,4097,12908,10,1,12980,2049,64,10,1,12927,9,10,12862,13012,144,105,111,58,114,
110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12921,3841,12908,2049,9218,10,
12992,13031,144,110,58,114,97,110,100,111,109,0,2049,13012,10,13019,13045,131,83,111,
99,107,101,116,115,0,0,13034,13058,144,105,100,101,110,116,105,102,121,0,3841,
13045,2049,2533,1793,13125,1,7,2049,9244,2,2049,2568,1793,13113,3,2049,3644,73,79,32,
68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52,32,78,79,84,
32,70,79,85,78,68,0,1,13076,2049,9337,2049,9300,10,1,13073,1793,13120,4097,13045,
10,1,13117,2049,64,10,1,13064,9,10,13019,13152,144,105,111,58,115,111,99,107,
101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13058,3841,13045,2049,9218,10,
13129,13183,144,115,111,99,107,101,116,58,103,101,116,104,111,115,116,98,121,110,
97,109,101,0,1,0,2049,13152,10,13159,13205,144,115,111,99,107,101,116,58,99,
114,101,97,116,101,0,1,1,2049,13152,10,13188,13225,144,115,111,99,107,101,116,
58,98,105,110,100,0,1,2,2049,13152,10,13210,13247,144,115,111,99,107,101,116,
58,108,105,115,116,101,110,0,1,3,2049,13152,10,13230,13269,144,115,111,99,107,
101,116,58,97,99,99,101,112,116,0,1,4,2049,13152,10,13252,13292,144,115,111,
99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13152,10,13274,13312,
144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13152,10,13297,13332,
144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13152,10,13317,13353,
144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,13152,10,13337,
13378,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,101,0,1,
11,2049,13152,10,13358,1024,131,84,73,66,0,13383,13404,144,105,109,97,103,101,58,
115,97,118,101,0,1,1000,2049,9244,2049,9218,10,13390,13423,131,75,101,121,98,111,
97,114,100,0,0,13411,13436,144,105,100,101,110,116,105,102,121,0,3841,13423,2049,
2533,1793,13503,1,1,2049,9244,2,2049,2568,1793,13491,3,2049,3644,73,79,32,68,69,
86,73,67,69,32,84,89,80,69,32,48,48,48,49,32,78,79,84,32,70,
79,85,78,68,0,1,13454,2049,9337,2049,9300,10,1,13451,1793,13498,4097,13423,10,1,
13495,2049,64,10,1,13442,9,10,13390,13516,144,99,58,103,101,116,0,2049,13436,3841,
13423,2049,9218,10,13507,13533,144,103,97,116,104,101,114,0,2,1793,13540,1,8,11,
10,1,13536,1793,13548,1,127,11,10,1,13544,2049,2128,22,1,11,1,3334,2049,64,
10,13523,13569,144,99,121,99,108,101,0,2049,13516,2049,2096,4,8,2049,2465,25,3,
2049,13533,1,13569,7,10,13507,13600,144,112,97,114,115,101,45,117,110,116,105,108,
0,1793,13612,2049,3625,2049,3426,2049,13569,771,2049,3300,10,1,13602,2049,3450,10,13585,13626,
144,115,58,103,101,116,0,1793,13648,1793,13634,1,10,11,10,1,13630,1793,13642,1,
13,11,10,1,13638,2049,2128,22,10,1,13628,2049,13600,10,13617,13667,144,115,58,103,
101,116,45,119,111,114,100,0,1,5483,2049,13600,10,13653,13685,131,83,99,114,105,
112,116,105,110,103,0,7,13672,13698,144,105,100,101,110,116,105,102,121,0,3841,
13685,2049,2533,1793,13765,1,9,2049,9244,2,2049,2568,1793,13753,3,2049,3644,73,79,32,
68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,57,32,78,79,84,
32,70,79,85,78,68,0,1,13716,2049,9337,2049,9300,10,1,13713,1793,13760,4097,13685,
10,1,13757,2049,64,10,1,13704,9,10,13653,13781,144,115,121,115,58,97,114,103,
99,0,2049,13698,1,0,3841,13685,2049,9218,10,13769,13802,144,115,121,115,58,97,114,
103,118,0,2049,3625,4,2049,13698,1,1,3841,13685,2049,9218,10,13790,13825,144,105,110,
99,108,117,100,101,0,2049,13698,1,2,3841,13685,2049,9218,10,13814,13846,144,115,121,
115,58,110,97,109,101,0,2049,3625,2049,13698,1,3,3841,13685,2049,9218,10,13834,13866,
144,99,108,101,97,114,0,1,27,2049,9287,2049,3644,91,50,74,0,1,13872,2049,
9337,1,27,2049,9287,2049,3644,91,48,59,48,72,0,1,13886,2049,9337,10,13857,13907,
131,78,111,69,99,104,111,0,0,13897,13915,144,98,121,101,0,1,0,2049,12465,
10,13908,13931,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10,13920,13946,
144,100,111,110,101,63,0,1793,13952,1,13,11,10,1,13948,1793,13960,1,10,11,
10,1,13956,1793,13968,1,32,11,10,1,13964,2049,2165,22,22,10,13937,13985,144,118,
97,108,105,100,63,0,2,2049,79,2049,2615,10,13975,14004,144,99,104,101,99,107,
45,101,111,102,0,2,1793,14011,1,-1,11,10,1,14007,1793,14019,1,4,11,10,
1,14015,2049,2128,22,1,13915,9,10,13991,14034,144,98,115,0,2049,3358,2049,3358,771,
10,14028,14052,144,99,104,101,99,107,45,98,115,0,2,1793,14059,1,8,11,10,
1,14055,1793,14067,1,127,11,10,1,14063,2049,2128,22,1,14034,9,10,14040,14085,144,
99,104,101,99,107,0,2049,14004,2049,14052,10,14076,14103,144,99,104,97,114,97,99,
116,101,114,0,2049,13516,2,2049,3334,10,14090,14119,144,98,117,102,102,101,114,0,
1793,14129,1,1024,2049,3426,8,2049,3300,10,1,14121,2049,3450,10,14109,14148,144,114,101,
97,100,45,116,111,107,101,110,0,1793,14164,1793,14159,2049,14103,2049,14085,2049,13946,10,
1,14152,2049,2256,10,1,14150,2049,14119,2049,3722,10,14134,14180,144,105,110,112,117,116,
0,2049,14148,2049,13985,10,14171,14196,144,112,114,111,99,101,115,115,0,1,365,1,
11,2049,64,10,13908,14213,144,98,97,110,110,101,114,0,2049,13931,2049,3644,82,69,
84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1,14217,2049,
7167,2049,9337,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3644,37,110,32,77,97,120,
44,32,37,110,32,85,115,101,100,44,32,37,110,32,70,114,101,101,92,110,
0,1,14253,2049,7167,2049,9337,10,14203,14297,144,108,105,115,116,101,110,0,3841,13907,
1793,14304,2049,14213,10,1,14301,2049,70,2049,14180,2049,14196,1,14308,7,10,14287,14325,131,
67,108,111,99,107,0,0,14316,14338,144,105,100,101,110,116,105,102,121,0,3841,
14325,2049,2533,1793,14405,1,5,2049,9244,2,2049,2568,1793,14393,3,2049,3644,73,79,32,
68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,53,32,78,79,84,
32,70,79,85,78,68,0,1,14356,2049,9337,2049,9300,10,1,14353,1793,14400,4097,14325,
10,1,14397,2049,64,10,1,14344,9,10,14287,14431,144,105,111,58,99,108,111,99,
107,45,111,112,101,114,97,116,105,111,110,0,2049,14338,3841,14325,2049,9218,10,14409,
14457,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,
2049,14431,10,14438,14475,144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14431,
10,14462,14495,144,99,108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14431,
10,14480,14514,144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049,14431,10,
14500,14533,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14431,10,14519,
14554,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049,14431,10,
14538,14575,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14431,
10,14559,14597,144,99,108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,
2049,14431,10,14580,14621,144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,
104,0,1,8,2049,14431,10,14602,14644,144,99,108,111,99,107,58,117,116,99,58,
121,101,97,114,0,1,9,2049,14431,10,14626,14667,144,99,108,111,99,107,58,117,
116,99,58,104,111,117,114,0,1,10,2049,14431,10,14649,14692,144,99,108,111,99,
107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14431,10,14672,14717,
144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,
2049,14431,10,14697,14733,144,100,58,119,111,114,100,115,0,1793,14742,2049,162,2049,9337,
2049,9311,10,1,14735,2049,7399,10,14722,14763,144,100,58,119,111,114,100,115,45,119,
105,116,104,0,2049,1877,2049,4539,1793,14794,2049,162,2,2049,1877,2049,4163,1793,14783,2049,
9337,2049,9311,10,1,14778,1793,14789,3,10,1,14787,2049,64,10,1,14769,2049,7399,10,
14747,14818,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,
2049,1877,2049,4463,1793,14830,2049,9337,2049,9311,10,1,14825,1793,14836,3,10,1,14834,2049,
64,10,14747,14867,144,100,58,119,111,114,100,115,45,98,101,103,105,110,110,105,
110,103,45,119,105,116,104,0,2049,1877,2049,4539,1793,14878,2049,162,2049,14818,10,1,
14873,2049,7399,10,14841,14893,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105,
2049,105,10,14883,14919,144,105,110,118,97,108,105,100,45,110,97,109,101,63,0,
2,1,32,2049,3994,10,14902,14936,144,114,101,119,114,105,116,101,0,1793,14950,1,
32,1793,14945,1,95,10,1,14942,2049,2379,10,1,14938,2049,4334,10,14925,14964,144,101,
110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14992,1793,14987,2049,14893,
2049,14919,1,14936,9,2049,119,10,1,14977,2049,14964,10,1,14975,0 };
10,1,7035,2049,2379,2049,3334,10,6971,7055,144,116,121,112,101,0,1,99,1793,7063,
4,2049,3334,10,1,7059,2049,2379,1,115,1793,7077,4,1,3334,2049,3868,10,1,7071,
2049,2379,1,110,1793,7093,4,2049,5951,1,3334,2049,3868,10,1,7085,2049,2379,3,10,
7047,7109,144,104,97,110,100,108,101,0,1,92,1793,7118,2049,56,2049,6979,10,1,
7113,2049,2379,1,37,1793,7131,2049,56,2049,7055,10,1,7126,2049,2379,2049,3334,10,6934,
7150,144,115,58,102,111,114,109,97,116,0,1793,7179,2049,3625,1793,7174,2049,3426,1793,
7169,2049,56,25,2049,7109,1,7160,7,10,1,7160,8,3,10,1,7156,2049,2116,10,
1,7152,2049,3450,10,7138,7195,144,115,58,99,111,110,115,116,0,1,3670,2049,2106,
2049,2022,10,7184,7212,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,7202,7248,144,102,114,111,109,0,2049,79,2,1793,7267,1793,7260,1,7212,17,16,
10,1,7255,2049,2116,2049,2893,10,1,7253,2049,2281,3,10,7240,7279,144,116,111,0,
2,2049,79,1793,7297,2049,56,1,97,18,2049,2880,1,7212,17,15,4,10,1,7284,
2049,2281,3,10,7184,7314,144,114,101,111,114,100,101,114,0,1,7248,2049,2106,2049,
7279,10,7303,7330,144,99,117,114,114,121,0,2049,1877,1793,7340,4,2049,1731,2049,1754,
10,1,7334,2049,2106,10,7321,7353,144,100,111,101,115,0,2049,1588,4,2049,7330,2049,
1570,2049,158,16,1,144,2049,1649,10,7345,7382,144,100,58,102,111,114,45,101,97,
99,104,0,1,2,1793,7410,15,25,2049,2096,1793,7402,1793,7397,4,8,10,1,7394,
2049,2106,10,1,7392,2049,2106,1,7386,7,10,1,7386,8,3,10,7368,7430,144,100,
58,108,111,111,107,117,112,45,120,116,0,1,0,4,1793,7456,2049,2096,2049,158,
15,11,1793,7449,4,1,2057,2049,2106,10,1,7443,1,11,2049,64,10,1,7435,2049,
7382,3,10,7415,7474,144,97,58,108,101,110,103,116,104,0,15,10,7462,7497,144,
97,58,99,111,117,110,116,101,100,45,114,101,115,117,108,116,115,0,8,2049,
1877,1793,7510,2,2049,105,1,105,2049,2281,10,1,7502,2049,2106,10,7476,7532,144,97,
58,102,114,111,109,45,115,116,114,105,110,103,0,2049,1877,1793,7546,2,2049,79,
2049,105,1,105,2049,3868,10,1,7536,2049,2106,10,7515,7556,131,81,0,0,7515,7571,
144,97,58,102,111,114,45,101,97,99,104,0,1,7556,1793,7601,4097,7556,2049,56,
1793,7595,2049,56,4,1793,7590,3841,7556,8,10,1,7586,2049,2106,10,1,7581,2049,2281,
3,10,1,7575,2049,3069,10,7557,7615,144,97,58,100,117,112,0,2049,1877,1793,7628,
2,15,2049,105,1,105,2049,7571,10,1,7619,2049,2106,10,7606,7643,144,97,58,99,
111,112,121,0,1,3,1793,7659,4097,3,2,2049,7474,2049,105,1,105,2049,7571,10,
1,7647,2049,3069,10,7633,7679,144,97,58,116,111,45,115,116,114,105,110,103,0,
1,3,1793,7692,2049,7615,1,0,2049,105,2049,2880,10,1,7683,2049,3069,2049,3599,10,
7664,7707,144,99,111,112,121,0,2,15,1793,7716,1,105,2049,7571,10,1,7711,2049,
2106,10,7664,7734,144,97,58,112,114,101,112,101,110,100,0,2049,1877,1,0,2049,
105,1793,7749,2049,7707,4,2049,7707,17,10,1,7742,2049,2106,1,36,2049,2116,10,7721,
7770,144,97,58,97,112,112,101,110,100,0,4,2049,7734,10,7758,7784,144,97,58,
99,104,111,112,0,2049,7615,1,-1,2049,3050,2,2049,2993,10,7774,7806,144,97,58,
102,105,108,116,101,114,0,1793,7821,67502597,1,21,2049,2106,4,1,105,1,11,2049,
64,10,1,7808,2049,7330,2049,1877,1793,7836,67502597,15,2049,105,2049,7571,10,1,7829,2049,
2106,2049,1877,67502597,18,2049,2893,67502597,16,10,7794,7864,144,97,58,99,111,110,116,97,
105,110,115,63,0,1,0,4,1793,7876,4,5,67502597,11,6,22,10,1,7869,2049,
7571,772,10,7849,7904,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,
105,110,103,63,0,1,0,4,1793,7917,4,5,67502597,2049,93,6,22,10,1,7909,
2049,7571,772,10,7882,7935,131,76,111,99,97,116,105,111,110,0,0,7923,7947,144,
112,114,101,112,97,114,101,0,4,1,-1,4097,7935,10,7936,7961,144,110,101,120,
116,0,3841,7935,2049,2568,1793,7972,1,7935,2049,2993,10,1,7967,9,10,7953,7986,144,
109,97,116,99,104,63,0,67502597,11,2,1793,7997,3,3841,7935,2049,2568,10,1,7991,
9,10,7976,8015,144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,2,
1793,8027,3,3841,7935,2049,2568,10,1,8021,9,10,8001,8041,144,117,112,100,97,116,
101,0,3841,7935,2049,2845,2049,2893,4097,7935,10,7882,8064,144,97,58,105,110,100,101,
120,45,111,102,0,2049,7947,2049,2096,2049,7864,1793,8076,771,1,-1,10,1,8072,2049,
2676,1793,8090,2049,7986,1,8041,9,2049,7961,10,1,8082,2049,7571,3,3841,7935,10,8050,
8119,144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,
2049,7947,2049,2096,2049,7904,1793,8131,771,1,-1,10,1,8127,2049,2676,1793,8145,2049,8015,
1,8041,9,2049,7961,10,1,8137,2049,7571,3,3841,7935,10,8098,8162,144,97,58,109,
97,112,0,1793,8168,8,2049,105,10,1,8164,2049,7330,2049,1877,1793,8183,67502597,15,2049,
105,2049,7571,10,1,8176,2049,2106,10,8153,8201,144,97,58,114,101,118,101,114,115,
101,0,2049,1877,1793,8235,2049,56,1793,8213,17,2049,2893,10,1,8209,2049,2116,2,2049,
105,1793,8229,2,15,2049,105,2049,2893,10,1,8222,2049,2281,3,10,1,8205,2049,2106,
10,8188,8248,144,97,58,116,104,0,17,2049,2880,10,8240,8263,144,97,58,102,101,
116,99,104,0,2049,8248,15,10,8252,8278,144,97,58,115,116,111,114,101,0,2049,
8248,16,10,8267,8294,144,97,58,114,101,100,117,99,101,0,1,13,2049,2106,2049,
7571,10,8282,8311,144,97,58,109,97,107,101,0,2049,7497,2049,8201,10,8301,8321,156,
123,0,1,285,2049,156,1,1556,2049,144,1,285,2049,156,10,8316,8339,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,8311,2049,144,10,8334,8383,144,98,111,117,110,
100,115,63,0,67502597,2049,7474,67502597,13,10,8372,8397,144,99,111,112,121,0,2049,56,
2049,105,10,8389,8412,144,116,111,45,101,110,100,0,2,2049,7474,17,2049,2880,10,
8334,8429,144,97,58,108,101,102,116,0,2049,8383,1793,8437,771,1,-1,10,1,8433,
2049,2659,2049,1877,67502597,2049,105,1793,8458,1,2880,2049,2106,1,8397,2049,2281,3,10,1,
8448,2049,2106,10,8419,8474,144,97,58,114,105,103,104,116,0,2049,8383,1793,8482,771,
1,-1,10,1,8478,2049,2659,2049,1877,67502597,2049,105,1793,8505,4,2049,8412,67502597,18,4,
1,8397,2049,2281,3,10,1,8493,2049,2106,10,8463,8522,144,97,58,109,105,100,100,
108,101,0,1,2048,2049,2106,4,67502597,2049,8383,1793,8537,771,3,1,-1,10,1,8532,
2049,2659,771,2049,2096,4,18,2049,2880,2049,1877,67502597,2049,105,1793,8572,772,1793,8562,17,
2049,2880,10,1,8558,2049,2106,1,8397,2049,2281,3,10,1,8555,2049,2106,10,8510,8585,
131,70,108,97,103,0,0,8577,8597,144,99,111,109,112,97,114,101,0,67440386,184946434,
10,8586,8610,144,108,101,110,103,116,104,0,659202,10,8600,8620,144,110,101,120,116,
0,17043713,1,1,2577,10,8612,8638,144,110,111,116,45,101,113,117,97,108,0,50529030,
2561,0,10,8625,8650,144,108,111,111,112,0,524549,8620,2049,8597,18157313,8585,8585,16,420610310,
1,1,8650,7,10,8510,8673,144,97,58,101,113,63,0,1048833,-1,8585,2049,8597,151066369,
-1,8638,2049,8610,2049,8650,251724547,8585,10,8664,8698,144,97,58,45,101,113,63,0,2049,
8673,2049,2465,10,8688,8721,144,97,58,98,101,103,105,110,115,45,119,105,116,104,
63,0,1,3,1793,8737,2,2049,7474,1,13,2049,2106,2049,8429,2049,8673,10,1,8725,
2049,3069,10,8703,8758,144,97,58,101,110,100,115,45,119,105,116,104,63,0,1,
3,1793,8774,2,2049,7474,1,13,2049,2106,2049,8474,2049,8673,10,1,8762,2049,3069,10,
8742,8795,144,99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3515,1,1025,
18,10,8779,8817,144,99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8823,
1,32,11,10,1,8819,2049,4292,2049,79,10,8801,8848,144,112,114,111,99,101,115,
115,45,116,111,107,101,110,115,0,1793,8876,1,32,2049,6118,4,1793,8869,2,2049,
79,2049,2549,1,365,1,11,2049,64,10,1,8857,2049,2106,2049,2880,10,1,8850,2049,
2281,2049,365,10,8742,8897,144,115,58,101,118,97,108,117,97,116,101,0,2049,8795,
2049,4539,2049,8795,2,2049,8817,2049,8848,10,8883,8915,131,76,80,0,0,8909,8925,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,8916,8965,
144,110,101,120,116,0,3841,8915,1,8925,17,2049,2978,10,8957,8981,144,112,114,101,
112,0,1,8915,2049,2978,1,0,3841,8915,1,8925,17,16,10,8973,9002,144,100,111,
110,101,0,1,8915,2049,2993,10,8883,9012,144,73,0,3841,8915,1,8925,17,15,10,
9007,9024,144,74,0,3841,8915,1,8925,17,2049,2893,15,10,9019,9038,144,75,0,3841,
8915,1,8925,17,1,2,18,15,10,9033,9069,144,116,105,109,101,115,60,119,105,
116,104,45,105,110,100,101,120,62,0,2049,8981,4,1793,9085,25,33886721,1,2053,1542,
2049,8965,1,9074,7,10,1,9074,8,3,2049,9002,10,9048,9100,156,104,111,111,107,
0,2049,3644,108,105,106,117,46,46,46,46,0,1,9102,2049,412,2049,1877,2049,2880,
2049,105,10,9092,9134,144,115,101,116,45,104,111,111,107,0,2049,2880,16,10,9122,
9148,144,117,110,104,111,111,107,0,2049,2880,2,2049,2880,4,16,10,9138,9172,144,
105,111,58,101,110,117,109,101,114,97,116,101,0,27,10,9156,9186,144,105,111,
58,113,117,101,114,121,0,28,10,9174,9201,144,105,111,58,105,110,118,111,107,
101,0,29,10,9188,9211,131,83,108,111,116,0,9,9188,9227,144,105,111,58,115,
99,97,110,45,102,111,114,0,1,-1,4097,9211,2049,9172,1793,9253,2049,9012,2049,9186,
772,67502597,11,1793,9249,2049,9012,4097,9211,10,1,9244,9,10,1,9235,2049,9069,3,3841,
9211,10,9212,9270,144,99,58,112,117,116,0,1793,9272,1,0,2049,9201,10,9261,9283,
144,110,108,0,1,10,2049,9270,10,9277,9294,144,115,112,0,1,32,2049,9270,10,
9288,9306,144,116,97,98,0,1,9,2049,9270,10,9299,9320,144,115,58,112,117,116,
0,1,9270,2049,3868,10,9311,9334,144,110,58,112,117,116,0,2049,5951,2049,9320,10,
9325,9348,144,114,101,115,101,116,0,2049,1556,25,771,1,9348,7,10,9339,9370,144,
100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9370,6,2,
2049,9334,2049,9294,10,9356,9392,144,70,82,69,69,0,2049,3515,1,1025,18,2049,1877,
18,10,9384,9410,131,70,105,108,101,115,0,0,9401,9423,144,105,100,101,110,116,
105,102,121,0,3841,9410,2049,2533,1793,9490,1,4,2049,9227,2,2049,2568,1793,9478,3,
2049,3644,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,
52,32,78,79,84,32,70,79,85,78,68,0,1,9441,2049,9320,2049,9283,10,1,
9438,1793,9485,4097,9410,10,1,9482,2049,64,10,1,9429,9,10,9384,9515,144,105,111,
58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9423,3841,9410,
2049,9201,10,9494,0,131,102,105,108,101,58,82,0,9522,1,131,102,105,108,101,
58,87,0,9532,2,131,102,105,108,101,58,65,0,9542,3,131,102,105,108,101,
58,82,43,0,9552,9576,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,
9515,10,9563,9595,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9515,
10,9581,9613,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9515,10,9600,
9632,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9515,10,9618,9650,
144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9515,10,9637,9668,144,102,
105,108,101,58,115,101,101,107,0,1,5,2049,9515,10,9655,9686,144,102,105,108,
101,58,115,105,122,101,0,1,6,2049,9515,10,9673,9706,144,102,105,108,101,58,
100,101,108,101,116,101,0,1,7,2049,9515,10,9691,9725,144,102,105,108,101,58,
102,108,117,115,104,0,1,8,2049,9515,10,9711,9746,144,102,105,108,101,58,101,
120,105,115,116,115,63,0,1,0,2049,9576,2,2049,2549,1793,9760,2049,9595,2049,2356,
10,1,9755,1793,9768,3,2049,2368,10,1,9764,2049,64,10,9730,9799,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,9576,2,2049,9686,4,10,9773,9833,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,9576,2,2049,
9686,4,10,9808,9868,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,9576,10,9842,9880,131,70,73,68,
0,0,9873,9889,131,83,105,122,101,0,0,9881,9900,131,65,99,116,105,111,110,
0,0,9890,9911,131,66,117,102,102,101,114,0,0,9901,9921,144,45,101,111,102,
63,0,3841,9880,2049,9650,3841,9889,13,10,9912,9941,144,112,114,101,115,101,114,118,
101,0,1,9880,1793,9952,1,9889,1,21,2049,3069,10,1,9945,2049,3069,10,9842,9975,
144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9880,1793,10032,
2049,1877,2,4097,9911,2049,3426,1793,10024,3841,9880,2049,9613,2,2049,3334,1793,10001,1,13,
11,10,1,9997,1793,10009,1,10,11,10,1,10005,1793,10017,1,0,11,10,1,10013,
2049,2165,22,22,10,1,9988,2049,2256,2049,3358,3,10,1,9979,2049,3450,3841,9911,10,
9957,10061,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,
101,0,1793,10092,4097,9900,2049,9799,4097,9880,4097,9889,1793,10083,3841,9880,2049,9975,3841,9900,
8,2049,9921,10,1,10073,2049,2233,3841,9880,2049,9595,10,1,10063,2049,9941,10,10039,10104,
131,70,73,68,0,0,10039,10119,144,102,105,108,101,58,115,108,117,114,112,0,
1793,10146,4,2049,3426,2049,9799,4097,10104,1793,10137,3841,10104,2049,9613,2049,3334,10,1,10130,
2049,2281,3841,10104,2049,9595,10,1,10121,2049,3450,10,10105,10164,144,102,105,108,101,58,
115,112,101,119,0,2049,9868,4,1793,10173,67502597,2049,9632,10,1,10169,2049,3868,2049,9595,
10,10151,10187,131,70,80,85,0,0,10180,10200,144,105,100,101,110,116,105,102,121,
0,3841,10187,2049,2533,1793,10267,1,2,2049,9227,2,2049,2568,1793,10255,3,2049,3644,73,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,50,32,78,
79,84,32,70,79,85,78,68,0,1,10218,2049,9320,2049,9283,10,1,10215,1793,10262,
4097,10187,10,1,10259,2049,64,10,1,10206,9,10,10151,10293,144,105,111,58,102,108,
111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10200,3841,10187,2049,9201,
10,10271,10314,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10293,10,
10300,10333,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10293,10,10319,
10353,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10293,10,10338,
10373,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3625,2,1,3,2049,
10293,10,10358,10388,144,102,58,43,0,1,4,2049,10293,10,10381,10400,144,102,58,45,
0,1,5,2049,10293,10,10393,10412,144,102,58,42,0,1,6,2049,10293,10,10405,10424,
144,102,58,47,0,1,7,2049,10293,10,10417,10440,144,102,58,102,108,111,111,114,
0,1,8,2049,10293,10,10429,10458,144,102,58,99,101,105,108,105,110,103,0,1,
9,2049,10293,10,10445,10473,144,102,58,115,113,114,116,0,1,10,2049,10293,10,10463,
10487,144,102,58,101,113,63,0,1,11,2049,10293,10,10478,10502,144,102,58,45,101,
113,63,0,1,12,2049,10293,10,10492,10516,144,102,58,108,116,63,0,1,13,2049,
10293,10,10507,10530,144,102,58,103,116,63,0,1,14,2049,10293,10,10521,10546,144,102,
58,100,101,112,116,104,0,1,15,2049,10293,10,10535,10560,144,102,58,100,117,112,
0,1,16,2049,10293,10,10551,10575,144,102,58,100,114,111,112,0,1,17,2049,10293,
10,10565,10590,144,102,58,115,119,97,112,0,1,18,2049,10293,10,10580,10604,144,102,
58,108,111,103,0,1,19,2049,10293,10,10595,10620,144,102,58,112,111,119,101,114,
0,1,20,2049,10293,10,10609,10634,144,102,58,115,105,110,0,1,21,2049,10293,10,
10625,10648,144,102,58,99,111,115,0,1,22,2049,10293,10,10639,10662,144,102,58,116,
97,110,0,1,23,2049,10293,10,10653,10677,144,102,58,97,115,105,110,0,1,24,
2049,10293,10,10667,10692,144,102,58,97,99,111,115,0,1,25,2049,10293,10,10682,10707,
144,102,58,97,116,97,110,0,1,26,2049,10293,10,10697,10722,144,102,58,112,117,
115,104,0,1,27,2049,10293,10,10712,10736,144,102,58,112,111,112,0,1,28,2049,
10293,10,10727,10753,144,102,58,97,100,101,112,116,104,0,1,29,2049,10293,10,10741,
10770,144,102,58,115,113,117,97,114,101,0,2049,10560,2049,10412,10,10758,10785,144,102,
58,111,118,101,114,0,2049,10722,2049,10560,2049,10736,2049,10590,10,10775,10804,144,102,58,
116,117,99,107,0,2049,10560,2049,10722,2049,10590,2049,10736,10,10794,10822,144,102,58,110,
105,112,0,2049,10590,2049,10575,10,10813,10842,144,102,58,100,114,111,112,45,112,97,
105,114,0,2049,10575,2049,10575,10,10827,10861,144,102,58,100,117,112,45,112,97,105,
114,0,2049,10785,2049,10785,10,10847,10875,144,102,58,114,111,116,0,2049,10722,2049,10590,
2049,10736,2049,10590,10,10866,10899,144,102,58,112,111,115,105,116,105,118,101,63,0,
1,0,2049,10314,2049,10530,10,10884,10921,144,102,58,110,101,103,97,116,105,118,101,
63,0,1,0,2049,10314,2049,10516,10,10906,10940,144,102,58,110,101,103,97,116,101,
0,1,-1,2049,10314,2049,10412,10,10928,10956,144,102,58,97,98,115,0,2049,10560,2049,
10921,1,10940,9,10,10947,10976,156,112,114,101,102,105,120,58,46,0,2049,1818,1,
3670,1,3599,2049,64,1,10333,2049,144,10,10964,10998,144,102,58,112,117,116,0,2049,
10373,2049,9320,10,10989,11011,144,102,58,80,73,0,2049,3644,51,46,49,52,49,53,
57,50,0,1,11013,2049,10333,10,11003,11034,144,102,58,69,0,2049,3644,50,46,55,
49,56,50,56,49,0,1,11036,2049,10333,10,11027,11059,144,102,58,78,65,78,0,
2049,3644,48,0,1,11061,2049,10333,2049,3644,48,0,1,11069,2049,10333,2049,10424,10,11050,
11087,144,102,58,73,78,70,0,2049,3644,49,46,48,0,1,11089,2049,10333,2049,3644,
48,0,1,11099,2049,10333,2049,10424,10,11078,11118,144,102,58,45,73,78,70,0,2049,
3644,45,49,46,48,0,1,11120,2049,10333,2049,3644,48,0,1,11131,2049,10333,2049,10424,
10,11108,11150,144,102,58,110,97,110,63,0,2049,10560,2049,10502,10,11140,11165,144,102,
58,105,110,102,63,0,2049,11087,2049,10487,10,11155,11181,144,102,58,45,105,110,102,
63,0,2049,11118,2049,10487,10,11170,11197,144,102,58,114,111,117,110,100,0,2049,10560,
2049,10921,1793,11218,2049,3644,48,46,53,0,1,11205,2049,10333,2049,10400,2049,10458,10,1,
11203,1793,11237,2049,3644,48,46,53,0,1,11224,2049,10333,2049,10388,2049,10440,10,1,11222,
2049,64,10,11186,11251,144,102,58,109,105,110,0,2049,10861,2049,10516,1,10575,1,10822,
2049,64,10,11242,11271,144,102,58,109,97,120,0,2049,10861,2049,10530,1,10575,1,10822,
2049,64,10,11262,11293,144,102,58,108,105,109,105,116,0,2049,10590,2049,10722,2049,11251,
2049,10736,2049,11271,10,11282,11318,144,102,58,98,101,116,119,101,101,110,63,0,2049,
10875,2049,10560,2049,10722,2049,10875,2049,10875,2049,11293,2049,10736,2049,10487,10,11304,11344,144,102,
58,105,110,99,0,2049,3644,49,0,1,11346,2049,10333,2049,10388,10,11335,11364,144,102,
58,100,101,99,0,2049,3644,49,0,1,11366,2049,10333,2049,10400,10,11355,11385,144,102,
58,99,97,115,101,0,2049,10785,2049,10487,1793,11397,2049,10575,8,1,-1,10,1,11391,
1793,11405,3,1,0,10,1,11401,2049,64,25,6,771,10,11375,11423,144,102,58,115,
105,103,110,0,2049,10560,2049,3644,48,0,1,11427,2049,10333,2049,10487,1793,11442,1,0,
2049,10575,10,1,11437,2049,2659,2049,3644,48,0,1,11448,2049,10333,2049,10530,1793,11461,1,
1,10,1,11458,1793,11468,1,-1,10,1,11465,2049,64,10,11413,2147483645,131,101,58,77,
65,88,0,11473,-2147483645,131,101,58,77,73,78,0,11482,-2147483647,131,101,58,78,65,78,
0,11491,2147483646,131,101,58,73,78,70,0,11500,-2147483646,131,101,58,45,73,78,70,0,
11509,11527,144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11519,
11548,144,101,58,109,97,120,63,0,1,2147483645,11,10,11538,11562,144,101,58,109,105,
110,63,0,1,-2147483645,11,10,11552,11577,144,101,58,122,101,114,111,63,0,2049,2533,
10,11566,11590,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11580,11604,144,101,58,
105,110,102,63,0,1,2147483646,11,10,11594,11619,144,101,58,45,105,110,102,63,0,
1,-2147483646,11,10,11608,11633,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,
10,11623,11648,144,102,58,69,49,0,1793,11650,2049,3644,49,46,101,53,0,1,11652,
2049,10333,10,11640,11674,144,102,58,45,115,104,105,102,116,0,2049,11648,2049,10412,10,
11662,11691,144,102,58,43,115,104,105,102,116,0,2049,11648,2049,10424,10,11679,11713,144,
102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10560,2049,11423,2049,10956,
2049,10473,2049,10314,2049,10412,10,11696,11739,144,102,58,43,101,110,99,111,100,101,0,
2049,11713,2049,11674,10,11726,11757,144,102,58,45,101,110,99,111,100,101,0,2049,10560,
2049,11423,2049,11691,2049,10560,2049,10412,2049,10314,2049,10412,10,11744,11791,144,102,58,115,105,
103,110,101,100,45,115,113,117,97,114,101,0,2049,10560,2049,11423,2049,10560,2049,10412,
2049,10314,2049,10412,10,11772,11814,144,102,58,116,111,45,101,0,2049,10560,2049,11150,1793,
11825,2049,10575,1,-2147483647,10,1,11820,2049,2659,2049,10560,2049,11165,1793,11840,2049,10575,1,2147483646,
10,1,11835,2049,2659,2049,10560,2049,11181,1793,11855,2049,10575,1,-2147483646,10,1,11850,2049,2659,
2049,11739,2049,11197,2049,10353,2049,11633,1,-2147483645,1793,11874,2049,10575,10,1,11871,2049,2379,1,
2147483645,1793,11885,2049,10575,10,1,11882,2049,2379,10,11804,11900,144,101,58,116,111,45,102,
0,1,-2147483647,1793,11907,2049,11059,10,1,11904,2049,2379,1,2147483646,1793,11918,2049,11087,10,1,
11915,2049,2379,1,-2147483646,1793,11929,2049,11118,10,1,11926,2049,2379,2049,10314,2049,11757,10,11890,
11949,144,102,58,115,116,111,114,101,0,1793,11954,2049,11814,10,1,11951,2049,2106,16,
10,11938,11971,144,102,58,102,101,116,99,104,0,15,2049,11900,10,11960,11991,144,102,
58,100,117,109,112,45,115,116,97,99,107,0,2049,10546,2,1,10722,2049,2281,1793,
12009,2049,10736,2049,10560,2049,10998,2049,9294,10,1,12000,2049,2281,10,11975,12031,144,102,58,
100,117,109,112,45,97,115,116,97,99,107,0,2049,10753,2,1,10736,2049,2281,1793,
12049,2049,10560,2049,10998,2049,9294,2049,10722,10,1,12040,2049,2281,10,12014,12063,144,101,58,
112,117,116,0,1,2147483645,1793,12080,2049,3644,101,58,77,65,88,0,1,12069,2049,9320,
10,1,12067,2049,2379,1,-2147483645,1793,12101,2049,3644,101,58,77,73,78,0,1,12090,2049,
9320,10,1,12088,2049,2379,1,0,1793,12120,2049,3644,101,58,48,0,1,12111,2049,9320,
10,1,12109,2049,2379,1,-2147483647,1793,12141,2049,3644,101,58,78,65,78,0,1,12130,2049,
9320,10,1,12128,2049,2379,1,2147483646,1793,12162,2049,3644,101,58,73,78,70,0,1,12151,
2049,9320,10,1,12149,2049,2379,1,-2147483646,1793,12184,2049,3644,101,58,45,73,78,70,0,
1,12172,2049,9320,10,1,12170,2049,2379,2049,11900,2049,10998,10,12054,12211,131,105,111,58,
85,110,105,120,83,121,115,99,97,108,108,0,0,12193,12224,144,105,100,101,110,
116,105,102,121,0,3841,12211,2049,2533,1793,12291,1,8,2049,9227,2,2049,2568,1793,12279,
3,2049,3644,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,
48,56,32,78,79,84,32,70,79,85,78,68,0,1,12242,2049,9320,2049,9283,10,
1,12239,1793,12286,4097,12211,10,1,12283,2049,64,10,1,12230,9,10,12054,12314,144,105,
111,58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12224,3841,12211,2049,
9201,10,12295,12336,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,
12314,10,12321,12354,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12314,10,
12341,12373,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12314,10,12359,
12392,144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12314,10,12378,12411,
144,117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12314,10,12397,12430,144,
117,110,105,120,58,101,120,101,99,51,0,1,5,2049,12314,10,12416,12448,144,117,
110,105,120,58,101,120,105,116,0,1,6,2049,12314,10,12435,12468,144,117,110,105,
120,58,103,101,116,112,105,100,0,1,7,2049,12314,10,12453,12486,144,117,110,105,
120,58,119,97,105,116,0,1,8,2049,12314,10,12473,12504,144,117,110,105,120,58,
107,105,108,108,0,1,9,2049,12314,10,12491,12523,144,117,110,105,120,58,112,111,
112,101,110,0,1,10,2049,12314,10,12509,12543,144,117,110,105,120,58,112,99,108,
111,115,101,0,1,11,2049,12314,10,12528,12562,144,117,110,105,120,58,99,104,100,
105,114,0,1,13,2049,12314,10,12548,12582,144,117,110,105,120,58,103,101,116,101,
110,118,0,1,14,2049,12314,10,12567,12602,144,117,110,105,120,58,112,117,116,101,
110,118,0,1,15,2049,12314,10,12587,12621,144,117,110,105,120,58,115,108,101,101,
112,0,1,16,2049,12314,10,12607,12642,144,117,110,105,120,58,103,101,116,45,99,
119,100,0,2049,3644,112,119,100,0,1,12644,1,0,2049,12523,2,2049,9975,2049,5891,
4,2049,12543,2049,3644,47,0,1,12664,2049,3850,10,12626,12698,144,117,110,105,120,58,
99,111,117,110,116,45,102,105,108,101,115,45,105,110,45,99,119,100,0,2049,
3644,108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12700,1,0,2049,
12523,2,2049,9975,2049,5891,2049,218,4,2049,12543,10,12671,12753,144,117,110,105,120,58,
102,111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3644,108,115,32,45,
49,32,45,112,0,1,12755,1,0,2049,12523,2049,12698,1793,12788,1793,12783,2049,9975,2049,
3599,67502597,8,10,1,12776,2049,2116,10,1,12774,2049,2281,2049,12543,3,10,12731,12805,144,
115,116,97,114,116,0,4,2049,3426,1,0,2049,12523,10,12796,12821,144,114,101,97,
100,0,2,2049,9613,2,2049,3334,2049,2533,10,12813,12840,144,102,105,110,105,115,104,
0,2049,12543,2049,3406,10,12731,12864,144,117,110,105,120,58,115,108,117,114,112,45,
112,105,112,101,0,1793,12880,2049,12805,1793,12873,2049,12821,10,1,12870,2049,2256,2049,12840,
10,1,12866,2049,3450,10,12845,12891,131,105,111,0,0,12885,12904,144,105,100,101,110,
116,105,102,121,0,3841,12891,2049,2533,1793,12971,1,10,2049,9227,2,2049,2568,1793,12959,
3,2049,3644,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,
49,48,32,78,79,84,32,70,79,85,78,68,0,1,12922,2049,9320,2049,9283,10,
1,12919,1793,12966,4097,12891,10,1,12963,2049,64,10,1,12910,9,10,12845,12995,144,105,
111,58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12904,3841,12891,
2049,9201,10,12975,13014,144,110,58,114,97,110,100,111,109,0,2049,12995,10,13002,13028,
131,83,111,99,107,101,116,115,0,0,13017,13041,144,105,100,101,110,116,105,102,
121,0,3841,13028,2049,2533,1793,13108,1,7,2049,9227,2,2049,2568,1793,13096,3,2049,3644,
73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52,32,
78,79,84,32,70,79,85,78,68,0,1,13059,2049,9320,2049,9283,10,1,13056,1793,
13103,4097,13028,10,1,13100,2049,64,10,1,13047,9,10,13002,13135,144,105,111,58,115,
111,99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13041,3841,13028,
2049,9201,10,13112,13166,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,13135,10,13142,13188,144,115,111,99,107,101,
116,58,99,114,101,97,116,101,0,1,1,2049,13135,10,13171,13208,144,115,111,99,
107,101,116,58,98,105,110,100,0,1,2,2049,13135,10,13193,13230,144,115,111,99,
107,101,116,58,108,105,115,116,101,110,0,1,3,2049,13135,10,13213,13252,144,115,
111,99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,13135,10,13235,13275,
144,115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13135,
10,13257,13295,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13135,
10,13280,13315,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13135,
10,13300,13336,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,
13135,10,13320,13361,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,
101,0,1,11,2049,13135,10,13341,1024,131,84,73,66,0,13366,13387,144,105,109,97,
103,101,58,115,97,118,101,0,1,1000,2049,9227,2049,9201,10,13373,13406,131,75,101,
121,98,111,97,114,100,0,0,13394,13419,144,105,100,101,110,116,105,102,121,0,
3841,13406,2049,2533,1793,13486,1,1,2049,9227,2,2049,2568,1793,13474,3,2049,3644,73,79,
32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,49,32,78,79,
84,32,70,79,85,78,68,0,1,13437,2049,9320,2049,9283,10,1,13434,1793,13481,4097,
13406,10,1,13478,2049,64,10,1,13425,9,10,13373,13499,144,99,58,103,101,116,0,
2049,13419,3841,13406,2049,9201,10,13490,13516,144,103,97,116,104,101,114,0,2,1793,13523,
1,8,11,10,1,13519,1793,13531,1,127,11,10,1,13527,2049,2128,22,1,11,1,
3334,2049,64,10,13506,13552,144,99,121,99,108,101,0,2049,13499,2049,2096,4,8,2049,
2465,25,3,2049,13516,1,13552,7,10,13490,13583,144,112,97,114,115,101,45,117,110,
116,105,108,0,1793,13595,2049,3625,2049,3426,2049,13552,771,2049,3300,10,1,13585,2049,3450,
10,13568,13609,144,115,58,103,101,116,0,1793,13631,1793,13617,1,10,11,10,1,13613,
1793,13625,1,13,11,10,1,13621,2049,2128,22,10,1,13611,2049,13583,10,13600,13650,144,
115,58,103,101,116,45,119,111,114,100,0,1,5483,2049,13583,10,13636,13668,131,83,
99,114,105,112,116,105,110,103,0,7,13655,13681,144,105,100,101,110,116,105,102,
121,0,3841,13668,2049,2533,1793,13748,1,9,2049,9227,2,2049,2568,1793,13736,3,2049,3644,
73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,57,32,
78,79,84,32,70,79,85,78,68,0,1,13699,2049,9320,2049,9283,10,1,13696,1793,
13743,4097,13668,10,1,13740,2049,64,10,1,13687,9,10,13636,13764,144,115,121,115,58,
97,114,103,99,0,2049,13681,1,0,3841,13668,2049,9201,10,13752,13785,144,115,121,115,
58,97,114,103,118,0,2049,3625,4,2049,13681,1,1,3841,13668,2049,9201,10,13773,13808,
144,105,110,99,108,117,100,101,0,2049,13681,1,2,3841,13668,2049,9201,10,13797,13829,
144,115,121,115,58,110,97,109,101,0,2049,3625,2049,13681,1,3,3841,13668,2049,9201,
10,13817,13849,144,99,108,101,97,114,0,1,27,2049,9270,2049,3644,91,50,74,0,
1,13855,2049,9320,1,27,2049,9270,2049,3644,91,48,59,48,72,0,1,13869,2049,9320,
10,13840,13890,131,78,111,69,99,104,111,0,0,13880,13898,144,98,121,101,0,1,
0,2049,12448,10,13891,13914,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,
10,13903,13929,144,100,111,110,101,63,0,1793,13935,1,13,11,10,1,13931,1793,13943,
1,10,11,10,1,13939,1793,13951,1,32,11,10,1,13947,2049,2165,22,22,10,13920,
13968,144,118,97,108,105,100,63,0,2,2049,79,2049,2615,10,13958,13987,144,99,104,
101,99,107,45,101,111,102,0,2,1793,13994,1,-1,11,10,1,13990,1793,14002,1,
4,11,10,1,13998,2049,2128,22,1,13898,9,10,13974,14017,144,98,115,0,2049,3358,
2049,3358,771,10,14011,14035,144,99,104,101,99,107,45,98,115,0,2,1793,14042,1,
8,11,10,1,14038,1793,14050,1,127,11,10,1,14046,2049,2128,22,1,14017,9,10,
14023,14068,144,99,104,101,99,107,0,2049,13987,2049,14035,10,14059,14086,144,99,104,97,
114,97,99,116,101,114,0,2049,13499,2,2049,3334,10,14073,14102,144,98,117,102,102,
101,114,0,1793,14112,1,1024,2049,3426,8,2049,3300,10,1,14104,2049,3450,10,14092,14131,
144,114,101,97,100,45,116,111,107,101,110,0,1793,14147,1793,14142,2049,14086,2049,14068,
2049,13929,10,1,14135,2049,2256,10,1,14133,2049,14102,2049,3722,10,14117,14163,144,105,110,
112,117,116,0,2049,14131,2049,13968,10,14154,14179,144,112,114,111,99,101,115,115,0,
1,365,1,11,2049,64,10,13891,14196,144,98,97,110,110,101,114,0,2049,13914,2049,
3644,82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,
1,14200,2049,7150,2049,9320,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3644,37,110,32,
77,97,120,44,32,37,110,32,85,115,101,100,44,32,37,110,32,70,114,101,
101,92,110,0,1,14236,2049,7150,2049,9320,10,14186,14280,144,108,105,115,116,101,110,
0,3841,13890,1793,14287,2049,14196,10,1,14284,2049,70,2049,14163,2049,14179,1,14291,7,10,
14270,14308,131,67,108,111,99,107,0,0,14299,14321,144,105,100,101,110,116,105,102,
121,0,3841,14308,2049,2533,1793,14388,1,5,2049,9227,2,2049,2568,1793,14376,3,2049,3644,
73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,53,32,
78,79,84,32,70,79,85,78,68,0,1,14339,2049,9320,2049,9283,10,1,14336,1793,
14383,4097,14308,10,1,14380,2049,64,10,1,14327,9,10,14270,14414,144,105,111,58,99,
108,111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14321,3841,14308,2049,
9201,10,14392,14440,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,
0,1,0,2049,14414,10,14421,14458,144,99,108,111,99,107,58,100,97,121,0,1,
1,2049,14414,10,14445,14478,144,99,108,111,99,107,58,109,111,110,116,104,0,1,
2,2049,14414,10,14463,14497,144,99,108,111,99,107,58,121,101,97,114,0,1,3,
2049,14414,10,14483,14516,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,
14414,10,14502,14537,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,
2049,14414,10,14521,14558,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,
6,2049,14414,10,14542,14580,144,99,108,111,99,107,58,117,116,99,58,100,97,121,
0,1,7,2049,14414,10,14563,14604,144,99,108,111,99,107,58,117,116,99,58,109,
111,110,116,104,0,1,8,2049,14414,10,14585,14627,144,99,108,111,99,107,58,117,
116,99,58,121,101,97,114,0,1,9,2049,14414,10,14609,14650,144,99,108,111,99,
107,58,117,116,99,58,104,111,117,114,0,1,10,2049,14414,10,14632,14675,144,99,
108,111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14414,
10,14655,14700,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,
0,1,12,2049,14414,10,14680,14716,144,100,58,119,111,114,100,115,0,1793,14725,2049,
162,2049,9320,2049,9294,10,1,14718,2049,7382,10,14705,14746,144,100,58,119,111,114,100,
115,45,119,105,116,104,0,2049,1877,2049,4539,1793,14777,2049,162,2,2049,1877,2049,4163,
1793,14766,2049,9320,2049,9294,10,1,14761,1793,14772,3,10,1,14770,2049,64,10,1,14752,
2049,7382,10,14730,14801,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,
116,0,2,2049,1877,2049,4463,1793,14813,2049,9320,2049,9294,10,1,14808,1793,14819,3,10,
1,14817,2049,64,10,14730,14850,144,100,58,119,111,114,100,115,45,98,101,103,105,
110,110,105,110,103,45,119,105,116,104,0,2049,1877,2049,4539,1793,14861,2049,162,2049,
14801,10,1,14856,2049,7382,10,14824,14876,144,102,105,101,108,100,115,0,3841,2,2049,
105,2049,105,2049,105,10,14866,14902,144,105,110,118,97,108,105,100,45,110,97,109,
101,63,0,2,1,32,2049,3994,10,14885,14919,144,114,101,119,114,105,116,101,0,
1793,14933,1,32,1793,14928,1,95,10,1,14925,2049,2379,10,1,14921,2049,4334,10,14908,
14947,144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14975,1793,
14970,2049,14876,2049,14902,1,14919,9,2049,119,10,1,14960,2049,14947,10,1,14958,0 };