retro.forth: even smaller a:append

FossilOrigin-Name: 2856c733ff8b81434cabbe7e171023fae0cdde6e47d228d4bb8402611f669db5
This commit is contained in:
crc 2020-02-12 20:10:22 +00:00
parent e271cdf519
commit a963571200
3 changed files with 368 additions and 368 deletions

View file

@ -1387,7 +1387,7 @@ I then define `a:append` and `a:prepend` to combine arrays.
~~~
:a:append (aa-a)
dup-pair [ fetch ] bi@ + here [ , [ &, a:for-each ] bi@ ] dip ;
dup-pair &fetch bi@ + here [ , [ &, a:for-each ] bi@ ] dip ;
:a:prepend (aa-a)
swap a:append ;
~~~

BIN
ngaImage

Binary file not shown.

View file

@ -2,8 +2,8 @@
#ifndef CELL
#define CELL int32_t
#endif
CELL ngaImageCells = 14892;
CELL ngaImage[] = { 1793,14194,14738,14891,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10,
CELL ngaImageCells = 14888;
CELL ngaImage[] = { 1793,14190,14734,14887,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,14194,14738,14891,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,14872,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13287,1025,
1,659713,2,659713,3,1793,14868,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13283,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,14194,14738,14891,202004,0,10,1,10,2,10,3,10,4,10,5,10,
2049,2106,4100,10,3055,3095,144,118,58,117,112,100,97,116,101,0,4,1793,3102,15,
4,8,10,1,3098,2049,2116,16,10,3083,3116,144,99,111,112,121,0,1793,3125,285278725,
1,33951492,268767489,1,6,10,1,3118,2049,2281,771,10,3108,3144,144,83,99,111,112,101,
76,105,115,116,0,14738,14738,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049,
76,105,115,116,0,14734,14734,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049,
59,16,10,3147,3178,144,45,45,45,114,101,118,101,97,108,45,45,45,0,2049,
1570,1,3144,2049,2880,16,10,3162,3192,144,125,125,0,1,3144,2049,56,4,15,11,
1793,3206,3841,3144,4097,2,10,1,3201,1793,3232,3841,3144,1793,3227,1,2,983567,1,3144,
@ -385,366 +385,366 @@ CELL ngaImage[] = { 1793,14194,14738,14891,202004,0,10,1,10,2,10,3,10,4,10,5,10,
1,3,1793,7595,4097,3,2,2049,7429,2049,105,1,105,2049,7520,10,1,7583,2049,3069,
10,7569,7615,144,97,58,116,111,45,115,116,114,105,110,103,0,1,3,1793,7628,
2049,7551,1,0,2049,105,2049,2880,10,1,7619,2049,3069,2049,3591,10,7600,7647,144,97,
58,97,112,112,101,110,100,0,2049,2096,1793,7653,15,10,1,7651,2049,2154,17,2049,
1877,1793,7676,2049,105,1793,7671,1,105,2049,7520,10,1,7666,2049,2154,10,1,7662,2049,
2106,10,7635,7694,144,97,58,112,114,101,112,101,110,100,0,4,2049,7647,10,7681,
7708,144,97,58,99,104,111,112,0,2049,7551,1,-1,2049,3050,2,2049,2993,10,7698,
7730,144,97,58,102,105,108,116,101,114,0,1793,7745,67502597,1,21,2049,2106,4,1,
105,1,11,2049,64,10,1,7732,2049,7288,2049,1877,1793,7760,67502597,15,2049,105,2049,7520,
10,1,7753,2049,2106,2049,1877,67502597,18,2049,2893,67502597,16,10,7718,7788,144,97,58,99,
111,110,116,97,105,110,115,63,0,1,0,4,1793,7800,4,5,67502597,11,6,22,
10,1,7793,2049,7520,772,10,7773,7828,144,97,58,99,111,110,116,97,105,110,115,
45,115,116,114,105,110,103,63,0,1,0,4,1793,7841,4,5,67502597,2049,93,6,
22,10,1,7833,2049,7520,772,10,7806,7859,131,76,111,99,97,116,105,111,110,0,
0,7847,7871,144,112,114,101,112,97,114,101,0,4,1,-1,4097,7859,10,7860,7885,
144,110,101,120,116,0,3841,7859,2049,2568,1793,7896,1,7859,2049,2993,10,1,7891,9,
10,7877,7910,144,109,97,116,99,104,63,0,67502597,11,2,1793,7921,3,3841,7859,2049,
2568,10,1,7915,9,10,7900,7939,144,109,97,116,99,104,45,115,116,114,63,0,
67502597,2049,93,2,1793,7951,3,3841,7859,2049,2568,10,1,7945,9,10,7925,7965,144,117,
112,100,97,116,101,0,3841,7859,2049,2845,2049,2893,4097,7859,10,7806,7988,144,97,58,
105,110,100,101,120,45,111,102,0,2049,7871,2049,2096,2049,7788,1793,8000,771,1,-1,
10,1,7996,2049,2676,1793,8014,2049,7910,1,7965,9,2049,7885,10,1,8006,2049,7520,3,
3841,7859,10,7974,8043,144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,
105,110,103,0,2049,7871,2049,2096,2049,7828,1793,8055,771,1,-1,10,1,8051,2049,2676,
1793,8069,2049,7939,1,7965,9,2049,7885,10,1,8061,2049,7520,3,3841,7859,10,8022,8086,
144,97,58,109,97,112,0,1793,8092,8,2049,105,10,1,8088,2049,7288,2049,1877,1793,
8107,67502597,15,2049,105,2049,7520,10,1,8100,2049,2106,10,8077,8125,144,97,58,114,101,
118,101,114,115,101,0,2049,1877,1793,8159,2049,56,1793,8137,17,2049,2893,10,1,8133,
2049,2116,2,2049,105,1793,8153,2,15,2049,105,2049,2893,10,1,8146,2049,2281,3,10,
1,8129,2049,2106,10,8112,8172,144,97,58,116,104,0,17,2049,2880,10,8164,8187,144,
97,58,102,101,116,99,104,0,2049,8172,15,10,8176,8202,144,97,58,115,116,111,
114,101,0,2049,8172,16,10,8191,8218,144,97,58,114,101,100,117,99,101,0,1,
13,2049,2106,2049,7520,10,8206,8235,144,97,58,109,97,107,101,0,2049,7452,2049,8125,
10,8225,8245,156,123,0,1,285,2049,156,1,1556,2049,144,1,285,2049,156,10,8240,
8263,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,8235,2049,144,10,8258,8307,144,
98,111,117,110,100,115,63,0,67502597,2049,7429,67502597,13,10,8296,8321,144,99,111,112,
121,0,2049,56,2049,105,10,8313,8336,144,116,111,45,101,110,100,0,2,2049,7429,
17,2049,2880,10,8258,8353,144,97,58,108,101,102,116,0,2049,8307,1793,8361,771,1,
-1,10,1,8357,2049,2659,2049,1877,67502597,2049,105,1793,8382,1,2880,2049,2106,1,8321,2049,
2281,3,10,1,8372,2049,2106,10,8343,8398,144,97,58,114,105,103,104,116,0,2049,
8307,1793,8406,771,1,-1,10,1,8402,2049,2659,2049,1877,67502597,2049,105,1793,8429,4,2049,
8336,67502597,18,4,1,8321,2049,2281,3,10,1,8417,2049,2106,10,8387,8446,144,97,58,
109,105,100,100,108,101,0,1,2048,2049,2106,4,67502597,2049,8307,1793,8461,771,3,1,
-1,10,1,8456,2049,2659,771,2049,2096,4,18,2049,2880,2049,1877,67502597,2049,105,1793,8496,
772,1793,8486,17,2049,2880,10,1,8482,2049,2106,1,8321,2049,2281,3,10,1,8479,2049,
2106,10,8434,8509,131,70,108,97,103,0,0,8501,8521,144,99,111,109,112,97,114,
101,0,67440386,184946434,10,8510,8534,144,108,101,110,103,116,104,0,659202,10,8524,8544,144,
110,101,120,116,0,17043713,1,1,2577,10,8536,8562,144,110,111,116,45,101,113,117,
97,108,0,50529030,2561,0,10,8549,8574,144,108,111,111,112,0,524549,8544,2049,8521,18157313,
8509,8509,16,420610310,1,1,8574,7,10,8434,8597,144,97,58,101,113,63,0,1048833,-1,
8509,2049,8521,151066369,-1,8562,2049,8534,2049,8574,251724547,8509,10,8588,8622,144,97,58,45,101,
113,63,0,2049,8597,2049,2465,10,8612,8645,144,97,58,98,101,103,105,110,115,45,
119,105,116,104,63,0,1,3,1793,8661,2,2049,7429,1,13,2049,2106,2049,8353,2049,
8597,10,1,8649,2049,3069,10,8627,8682,144,97,58,101,110,100,115,45,119,105,116,
104,63,0,1,3,1793,8698,2,2049,7429,1,13,2049,2106,2049,8398,2049,8597,10,1,
8686,2049,3069,10,8666,8719,144,99,117,114,114,101,110,116,45,108,105,110,101,0,
2049,3507,1,1025,18,10,8703,8741,144,99,111,117,110,116,45,116,111,107,101,110,
115,0,1793,8747,1,32,11,10,1,8743,2049,4284,2049,79,10,8725,8772,144,112,114,
111,99,101,115,115,45,116,111,107,101,110,115,0,1793,8800,1,32,2049,6081,4,
1793,8793,2,2049,79,2049,2549,1,365,1,11,2049,64,10,1,8781,2049,2106,2049,2880,
10,1,8774,2049,2281,2049,365,10,8666,8821,144,115,58,101,118,97,108,117,97,116,
101,0,2049,8719,2049,4528,2049,8719,2,2049,8741,2049,8772,10,8807,8839,131,76,80,0,
0,8833,8849,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,8840,8889,144,110,101,120,116,0,3841,8839,1,8849,17,2049,2978,10,8881,8905,
144,112,114,101,112,0,1,8839,2049,2978,1,0,3841,8839,1,8849,17,16,10,8897,
8926,144,100,111,110,101,0,1,8839,2049,2993,10,8807,8936,144,73,0,3841,8839,1,
8849,17,15,10,8931,8948,144,74,0,3841,8839,1,8849,17,2049,2893,15,10,8943,8962,
144,75,0,3841,8839,1,8849,17,1,2,18,15,10,8957,8993,144,116,105,109,101,
115,60,119,105,116,104,45,105,110,100,101,120,62,0,2049,8905,4,1793,9009,25,
33886721,1,2053,1542,2049,8889,1,8998,7,10,1,8998,8,3,2049,8926,10,8972,9024,156,
104,111,111,107,0,2049,3636,108,105,106,117,46,46,46,46,0,1,9026,2049,412,
2049,1877,2049,2880,2049,105,10,9016,9058,144,115,101,116,45,104,111,111,107,0,2049,
2880,16,10,9046,9072,144,117,110,104,111,111,107,0,2049,2880,2,2049,2880,4,16,
10,9062,9096,144,105,111,58,101,110,117,109,101,114,97,116,101,0,27,10,9080,
9110,144,105,111,58,113,117,101,114,121,0,28,10,9098,9125,144,105,111,58,105,
110,118,111,107,101,0,29,10,9112,9135,131,83,108,111,116,0,9,9112,9151,144,
105,111,58,115,99,97,110,45,102,111,114,0,1,-1,4097,9135,2049,9096,1793,9177,
2049,8936,2049,9110,772,67502597,11,1793,9173,2049,8936,4097,9135,10,1,9168,9,10,1,9159,
2049,8993,3,3841,9135,10,9136,9194,144,99,58,112,117,116,0,1793,9196,1,0,2049,
9125,10,9185,9207,144,110,108,0,1,10,2049,9194,10,9201,9218,144,115,112,0,1,
32,2049,9194,10,9212,9230,144,116,97,98,0,1,9,2049,9194,10,9223,9244,144,115,
58,112,117,116,0,1,9194,2049,3860,10,9235,9258,144,110,58,112,117,116,0,2049,
5920,2049,9244,10,9249,9272,144,114,101,115,101,116,0,2049,1556,25,771,1,9272,7,
10,9263,9294,144,100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,
2049,9294,6,2,2049,9258,2049,9218,10,9280,9316,144,70,82,69,69,0,2049,3507,1,
1025,18,2049,1877,18,10,9308,9334,131,70,105,108,101,115,0,0,9325,9347,144,105,
100,101,110,116,105,102,121,0,3841,9334,2049,2533,1793,9414,1,4,2049,9151,2,2049,
2568,1793,9402,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,
32,48,48,48,52,32,78,79,84,32,70,79,85,78,68,0,1,9365,2049,9244,
2049,9207,10,1,9362,1793,9409,4097,9334,10,1,9406,2049,64,10,1,9353,9,10,9308,
9439,144,105,111,58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,
2049,9347,3841,9334,2049,9125,10,9418,0,131,102,105,108,101,58,82,0,9446,1,131,
102,105,108,101,58,87,0,9456,2,131,102,105,108,101,58,65,0,9466,3,131,
102,105,108,101,58,82,43,0,9476,9500,144,102,105,108,101,58,111,112,101,110,
0,1,0,2049,9439,10,9487,9519,144,102,105,108,101,58,99,108,111,115,101,0,
1,1,2049,9439,10,9505,9537,144,102,105,108,101,58,114,101,97,100,0,1,2,
2049,9439,10,9524,9556,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,
9439,10,9542,9574,144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9439,10,
9561,9592,144,102,105,108,101,58,115,101,101,107,0,1,5,2049,9439,10,9579,9610,
144,102,105,108,101,58,115,105,122,101,0,1,6,2049,9439,10,9597,9630,144,102,
105,108,101,58,100,101,108,101,116,101,0,1,7,2049,9439,10,9615,9649,144,102,
105,108,101,58,102,108,117,115,104,0,1,8,2049,9439,10,9635,9670,144,102,105,
108,101,58,101,120,105,115,116,115,63,0,1,0,2049,9500,2,2049,2549,1793,9684,
2049,9519,2049,2356,10,1,9679,1793,9692,3,2049,2368,10,1,9688,2049,64,10,9654,9723,
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,9500,2,2049,9610,4,10,9697,9757,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,9500,2,2049,9610,4,10,9732,9792,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,9500,10,9766,9804,
131,70,73,68,0,0,9797,9813,131,83,105,122,101,0,0,9805,9824,131,65,99,
116,105,111,110,0,0,9814,9835,131,66,117,102,102,101,114,0,0,9825,9845,144,
45,101,111,102,63,0,3841,9804,2049,9574,3841,9813,13,10,9836,9865,144,112,114,101,
115,101,114,118,101,0,1,9804,1793,9876,1,9813,1,21,2049,3069,10,1,9869,2049,
3069,10,9766,9899,144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,
4097,9804,1793,9956,2049,1877,2,4097,9835,2049,3418,1793,9948,3841,9804,2049,9537,2,2049,3326,
1793,9925,1,13,11,10,1,9921,1793,9933,1,10,11,10,1,9929,1793,9941,1,0,
11,10,1,9937,2049,2165,22,22,10,1,9912,2049,2256,2049,3350,3,10,1,9903,2049,
3442,3841,9835,10,9881,9985,144,102,105,108,101,58,102,111,114,45,101,97,99,104,
45,108,105,110,101,0,1793,10016,4097,9824,2049,9723,4097,9804,4097,9813,1793,10007,3841,9804,
2049,9899,3841,9824,8,2049,9845,10,1,9997,2049,2233,3841,9804,2049,9519,10,1,9987,2049,
9865,10,9963,10028,131,70,73,68,0,0,9963,10043,144,102,105,108,101,58,115,108,
117,114,112,0,1793,10070,4,2049,3418,2049,9723,4097,10028,1793,10061,3841,10028,2049,9537,2049,
3326,10,1,10054,2049,2281,3841,10028,2049,9519,10,1,10045,2049,3442,10,10029,10088,144,102,
105,108,101,58,115,112,101,119,0,2049,9792,4,1793,10097,67502597,2049,9556,10,1,10093,
2049,3860,2049,9519,10,10075,10111,131,70,80,85,0,0,10104,10124,144,105,100,101,110,
116,105,102,121,0,3841,10111,2049,2533,1793,10191,1,2,2049,9151,2,2049,2568,1793,10179,
3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,
48,50,32,78,79,84,32,70,79,85,78,68,0,1,10142,2049,9244,2049,9207,10,
1,10139,1793,10186,4097,10111,10,1,10183,2049,64,10,1,10130,9,10,10075,10217,144,105,
111,58,102,108,111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10124,
3841,10111,2049,9125,10,10195,10238,144,110,58,116,111,45,102,108,111,97,116,0,1,
0,2049,10217,10,10224,10257,144,115,58,116,111,45,102,108,111,97,116,0,1,1,
2049,10217,10,10243,10277,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,
2049,10217,10,10262,10297,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3617,
2,1,3,2049,10217,10,10282,10312,144,102,58,43,0,1,4,2049,10217,10,10305,10324,
144,102,58,45,0,1,5,2049,10217,10,10317,10336,144,102,58,42,0,1,6,2049,
10217,10,10329,10348,144,102,58,47,0,1,7,2049,10217,10,10341,10364,144,102,58,102,
108,111,111,114,0,1,8,2049,10217,10,10353,10382,144,102,58,99,101,105,108,105,
110,103,0,1,9,2049,10217,10,10369,10397,144,102,58,115,113,114,116,0,1,10,
2049,10217,10,10387,10411,144,102,58,101,113,63,0,1,11,2049,10217,10,10402,10426,144,
102,58,45,101,113,63,0,1,12,2049,10217,10,10416,10440,144,102,58,108,116,63,
0,1,13,2049,10217,10,10431,10454,144,102,58,103,116,63,0,1,14,2049,10217,10,
10445,10470,144,102,58,100,101,112,116,104,0,1,15,2049,10217,10,10459,10484,144,102,
58,100,117,112,0,1,16,2049,10217,10,10475,10499,144,102,58,100,114,111,112,0,
1,17,2049,10217,10,10489,10514,144,102,58,115,119,97,112,0,1,18,2049,10217,10,
10504,10528,144,102,58,108,111,103,0,1,19,2049,10217,10,10519,10544,144,102,58,112,
111,119,101,114,0,1,20,2049,10217,10,10533,10558,144,102,58,115,105,110,0,1,
21,2049,10217,10,10549,10572,144,102,58,99,111,115,0,1,22,2049,10217,10,10563,10586,
144,102,58,116,97,110,0,1,23,2049,10217,10,10577,10601,144,102,58,97,115,105,
110,0,1,24,2049,10217,10,10591,10616,144,102,58,97,99,111,115,0,1,25,2049,
10217,10,10606,10631,144,102,58,97,116,97,110,0,1,26,2049,10217,10,10621,10646,144,
102,58,112,117,115,104,0,1,27,2049,10217,10,10636,10660,144,102,58,112,111,112,
0,1,28,2049,10217,10,10651,10677,144,102,58,97,100,101,112,116,104,0,1,29,
2049,10217,10,10665,10694,144,102,58,115,113,117,97,114,101,0,2049,10484,2049,10336,10,
10682,10709,144,102,58,111,118,101,114,0,2049,10646,2049,10484,2049,10660,2049,10514,10,10699,
10728,144,102,58,116,117,99,107,0,2049,10484,2049,10646,2049,10514,2049,10660,10,10718,10746,
144,102,58,110,105,112,0,2049,10514,2049,10499,10,10737,10766,144,102,58,100,114,111,
112,45,112,97,105,114,0,2049,10499,2049,10499,10,10751,10785,144,102,58,100,117,112,
45,112,97,105,114,0,2049,10709,2049,10709,10,10771,10799,144,102,58,114,111,116,0,
2049,10646,2049,10514,2049,10660,2049,10514,10,10790,10823,144,102,58,112,111,115,105,116,105,
118,101,63,0,1,0,2049,10238,2049,10454,10,10808,10845,144,102,58,110,101,103,97,
116,105,118,101,63,0,1,0,2049,10238,2049,10440,10,10830,10864,144,102,58,110,101,
103,97,116,101,0,1,-1,2049,10238,2049,10336,10,10852,10880,144,102,58,97,98,115,
0,2049,10484,2049,10845,1,10864,9,10,10871,10900,156,112,114,101,102,105,120,58,46,
0,2049,1818,1,3662,1,3591,2049,64,1,10257,2049,144,10,10888,10922,144,102,58,112,
117,116,0,2049,10297,2049,9244,10,10913,10935,144,102,58,80,73,0,2049,3636,51,46,
49,52,49,53,57,50,0,1,10937,2049,10257,10,10927,10958,144,102,58,69,0,2049,
3636,50,46,55,49,56,50,56,49,0,1,10960,2049,10257,10,10951,10983,144,102,58,
78,65,78,0,2049,3636,48,0,1,10985,2049,10257,2049,3636,48,0,1,10993,2049,10257,
2049,10348,10,10974,11011,144,102,58,73,78,70,0,2049,3636,49,46,48,0,1,11013,
2049,10257,2049,3636,48,0,1,11023,2049,10257,2049,10348,10,11002,11042,144,102,58,45,73,
78,70,0,2049,3636,45,49,46,48,0,1,11044,2049,10257,2049,3636,48,0,1,11055,
2049,10257,2049,10348,10,11032,11074,144,102,58,110,97,110,63,0,2049,10484,2049,10426,10,
11064,11089,144,102,58,105,110,102,63,0,2049,11011,2049,10411,10,11079,11105,144,102,58,
45,105,110,102,63,0,2049,11042,2049,10411,10,11094,11121,144,102,58,114,111,117,110,
100,0,2049,10484,2049,10845,1793,11142,2049,3636,48,46,53,0,1,11129,2049,10257,2049,10324,
2049,10382,10,1,11127,1793,11161,2049,3636,48,46,53,0,1,11148,2049,10257,2049,10312,2049,
10364,10,1,11146,2049,64,10,11110,11175,144,102,58,109,105,110,0,2049,10785,2049,10440,
1,10499,1,10746,2049,64,10,11166,11195,144,102,58,109,97,120,0,2049,10785,2049,10454,
1,10499,1,10746,2049,64,10,11186,11217,144,102,58,108,105,109,105,116,0,2049,10514,
2049,10646,2049,11175,2049,10660,2049,11195,10,11206,11242,144,102,58,98,101,116,119,101,101,
110,63,0,2049,10799,2049,10484,2049,10646,2049,10799,2049,10799,2049,11217,2049,10660,2049,10411,10,
11228,11268,144,102,58,105,110,99,0,2049,3636,49,0,1,11270,2049,10257,2049,10312,10,
11259,11288,144,102,58,100,101,99,0,2049,3636,49,0,1,11290,2049,10257,2049,10324,10,
11279,11309,144,102,58,99,97,115,101,0,2049,10709,2049,10411,1793,11321,2049,10499,8,1,
-1,10,1,11315,1793,11329,3,1,0,10,1,11325,2049,64,25,6,771,10,11299,11347,
144,102,58,115,105,103,110,0,2049,10484,2049,3636,48,0,1,11351,2049,10257,2049,10411,
1793,11366,1,0,2049,10499,10,1,11361,2049,2659,2049,3636,48,0,1,11372,2049,10257,2049,
10454,1793,11385,1,1,10,1,11382,1793,11392,1,-1,10,1,11389,2049,64,10,11337,2147483645,
131,101,58,77,65,88,0,11397,-2147483645,131,101,58,77,73,78,0,11406,-2147483647,131,101,
58,78,65,78,0,11415,2147483646,131,101,58,73,78,70,0,11424,-2147483646,131,101,58,45,
73,78,70,0,11433,11451,144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,
2049,2911,10,11443,11472,144,101,58,109,97,120,63,0,1,2147483645,11,10,11462,11486,144,
101,58,109,105,110,63,0,1,-2147483645,11,10,11476,11501,144,101,58,122,101,114,111,
63,0,2049,2533,10,11490,11514,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11504,
11528,144,101,58,105,110,102,63,0,1,2147483646,11,10,11518,11543,144,101,58,45,105,
110,102,63,0,1,-2147483646,11,10,11532,11557,144,101,58,99,108,105,112,0,1,-2147483645,
1,2147483645,2049,2863,10,11547,11572,144,102,58,69,49,0,1793,11574,2049,3636,49,46,101,
53,0,1,11576,2049,10257,10,11564,11598,144,102,58,45,115,104,105,102,116,0,2049,
11572,2049,10336,10,11586,11615,144,102,58,43,115,104,105,102,116,0,2049,11572,2049,10348,
10,11603,11637,144,102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10484,
2049,11347,2049,10880,2049,10397,2049,10238,2049,10336,10,11620,11663,144,102,58,43,101,110,99,
111,100,101,0,2049,11637,2049,11598,10,11650,11681,144,102,58,45,101,110,99,111,100,
101,0,2049,10484,2049,11347,2049,11615,2049,10484,2049,10336,2049,10238,2049,10336,10,11668,11715,144,
102,58,115,105,103,110,101,100,45,115,113,117,97,114,101,0,2049,10484,2049,11347,
2049,10484,2049,10336,2049,10238,2049,10336,10,11696,11738,144,102,58,116,111,45,101,0,2049,
10484,2049,11074,1793,11749,2049,10499,1,-2147483647,10,1,11744,2049,2659,2049,10484,2049,11089,1793,11764,
2049,10499,1,2147483646,10,1,11759,2049,2659,2049,10484,2049,11105,1793,11779,2049,10499,1,-2147483646,10,
1,11774,2049,2659,2049,11663,2049,11121,2049,10277,2049,11557,1,-2147483645,1793,11798,2049,10499,10,1,
11795,2049,2379,1,2147483645,1793,11809,2049,10499,10,1,11806,2049,2379,10,11728,11824,144,101,58,
116,111,45,102,0,1,-2147483647,1793,11831,2049,10983,10,1,11828,2049,2379,1,2147483646,1793,11842,
2049,11011,10,1,11839,2049,2379,1,-2147483646,1793,11853,2049,11042,10,1,11850,2049,2379,2049,10238,
2049,11681,10,11814,11873,144,102,58,115,116,111,114,101,0,1793,11878,2049,11738,10,1,
11875,2049,2106,16,10,11862,11895,144,102,58,102,101,116,99,104,0,15,2049,11824,10,
11884,11915,144,102,58,100,117,109,112,45,115,116,97,99,107,0,2049,10470,2,1,
10646,2049,2281,1793,11933,2049,10660,2049,10484,2049,10922,2049,9218,10,1,11924,2049,2281,10,11899,
11955,144,102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,10677,2,1,
10660,2049,2281,1793,11973,2049,10484,2049,10922,2049,9218,2049,10646,10,1,11964,2049,2281,10,11938,
11987,144,101,58,112,117,116,0,1,2147483645,1793,12004,2049,3636,101,58,77,65,88,0,
1,11993,2049,9244,10,1,11991,2049,2379,1,-2147483645,1793,12025,2049,3636,101,58,77,73,78,
0,1,12014,2049,9244,10,1,12012,2049,2379,1,0,1793,12044,2049,3636,101,58,48,0,
1,12035,2049,9244,10,1,12033,2049,2379,1,-2147483647,1793,12065,2049,3636,101,58,78,65,78,
0,1,12054,2049,9244,10,1,12052,2049,2379,1,2147483646,1793,12086,2049,3636,101,58,73,78,
70,0,1,12075,2049,9244,10,1,12073,2049,2379,1,-2147483646,1793,12108,2049,3636,101,58,45,
73,78,70,0,1,12096,2049,9244,10,1,12094,2049,2379,2049,11824,2049,10922,10,11978,12125,
131,85,110,105,120,0,0,12117,12138,144,105,100,101,110,116,105,102,121,0,3841,
12125,2049,2533,1793,12205,1,8,2049,9151,2,2049,2568,1793,12193,3,2049,3636,73,79,32,
68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,56,32,78,79,84,
32,70,79,85,78,68,0,1,12156,2049,9244,2049,9207,10,1,12153,1793,12200,4097,12125,
10,1,12197,2049,64,10,1,12144,9,10,11978,12228,144,105,111,58,117,110,105,120,
45,115,121,115,99,97,108,108,0,2049,12138,3841,12125,2049,9125,10,12209,12250,144,117,
110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12228,10,12235,12268,144,117,
110,105,120,58,102,111,114,107,0,1,1,2049,12228,10,12255,12287,144,117,110,105,
120,58,101,120,101,99,48,0,1,2,2049,12228,10,12273,12306,144,117,110,105,120,
58,101,120,101,99,49,0,1,3,2049,12228,10,12292,12325,144,117,110,105,120,58,
101,120,101,99,50,0,1,4,2049,12228,10,12311,12344,144,117,110,105,120,58,101,
120,101,99,51,0,1,5,2049,12228,10,12330,12362,144,117,110,105,120,58,101,120,
105,116,0,1,6,2049,12228,10,12349,12382,144,117,110,105,120,58,103,101,116,112,
105,100,0,1,7,2049,12228,10,12367,12400,144,117,110,105,120,58,119,97,105,116,
0,1,8,2049,12228,10,12387,12418,144,117,110,105,120,58,107,105,108,108,0,1,
9,2049,12228,10,12405,12437,144,117,110,105,120,58,112,111,112,101,110,0,1,10,
2049,12228,10,12423,12457,144,117,110,105,120,58,112,99,108,111,115,101,0,1,11,
2049,12228,10,12442,12476,144,117,110,105,120,58,99,104,100,105,114,0,1,13,2049,
12228,10,12462,12496,144,117,110,105,120,58,103,101,116,101,110,118,0,1,14,2049,
12228,10,12481,12516,144,117,110,105,120,58,112,117,116,101,110,118,0,1,15,2049,
12228,10,12501,12535,144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049,12228,
10,12521,12556,144,117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3636,112,
119,100,0,1,12558,1,0,2049,12437,2,2049,9899,2049,5870,4,2049,12457,2049,3636,47,
0,1,12578,2049,3842,10,12540,12612,144,117,110,105,120,58,99,111,117,110,116,45,
102,105,108,101,115,45,105,110,45,99,119,100,0,2049,3636,108,115,32,45,49,
32,124,32,119,99,32,45,108,0,1,12614,1,0,2049,12437,2,2049,9899,2049,5870,
2049,218,4,2049,12457,10,12585,12667,144,117,110,105,120,58,102,111,114,45,101,97,
99,104,45,102,105,108,101,0,2049,3636,108,115,32,45,49,32,45,112,0,1,
12669,1,0,2049,12437,2049,12612,1793,12702,1793,12697,2049,9899,2049,3591,67502597,8,10,1,12690,
2049,2116,10,1,12688,2049,2281,2049,12457,3,10,12645,12719,144,115,116,97,114,116,0,
4,2049,3418,1,0,2049,12437,10,12710,12735,144,114,101,97,100,0,2,2049,9537,2,
2049,3326,2049,2533,10,12727,12754,144,102,105,110,105,115,104,0,2049,12457,2049,3398,10,
12645,12778,144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,101,0,1793,
12794,2049,12719,1793,12787,2049,12735,10,1,12784,2049,2256,2049,12754,10,1,12780,2049,3442,10,
12759,12805,131,105,111,0,0,12799,12818,144,105,100,101,110,116,105,102,121,0,3841,
12805,2049,2533,1793,12885,1,10,2049,9151,2,2049,2568,1793,12873,3,2049,3636,73,79,32,
68,69,86,73,67,69,32,84,89,80,69,32,48,48,49,48,32,78,79,84,
32,70,79,85,78,68,0,1,12836,2049,9244,2049,9207,10,1,12833,1793,12880,4097,12805,
10,1,12877,2049,64,10,1,12824,9,10,12759,12909,144,105,111,58,114,110,103,45,
111,112,101,114,97,116,105,111,110,0,2049,12818,3841,12805,2049,9125,10,12889,12928,144,
110,58,114,97,110,100,111,109,0,2049,12909,10,12916,12942,131,83,111,99,107,101,
116,115,0,0,12931,12955,144,105,100,101,110,116,105,102,121,0,3841,12942,2049,2533,
1793,13022,1,7,2049,9151,2,2049,2568,1793,13010,3,2049,3636,73,79,32,68,69,86,
73,67,69,32,84,89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,
85,78,68,0,1,12973,2049,9244,2049,9207,10,1,12970,1793,13017,4097,12942,10,1,13014,
2049,64,10,1,12961,9,10,12916,13049,144,105,111,58,115,111,99,107,101,116,45,
111,112,101,114,97,116,105,111,110,0,2049,12955,3841,12942,2049,9125,10,13026,13080,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,13049,10,13056,13102,144,115,111,99,107,101,116,58,99,114,101,97,
116,101,0,1,1,2049,13049,10,13085,13122,144,115,111,99,107,101,116,58,98,105,
110,100,0,1,2,2049,13049,10,13107,13144,144,115,111,99,107,101,116,58,108,105,
115,116,101,110,0,1,3,2049,13049,10,13127,13166,144,115,111,99,107,101,116,58,
97,99,99,101,112,116,0,1,4,2049,13049,10,13149,13189,144,115,111,99,107,101,
116,58,99,111,110,110,101,99,116,0,1,5,2049,13049,10,13171,13209,144,115,111,
99,107,101,116,58,115,101,110,100,0,1,6,2049,13049,10,13194,13229,144,115,111,
99,107,101,116,58,114,101,99,118,0,1,8,2049,13049,10,13214,13250,144,115,111,
99,107,101,116,58,99,108,111,115,101,0,1,10,2049,13049,10,13234,13275,144,115,
111,99,107,101,116,58,99,111,110,102,105,103,117,114,101,0,1,11,2049,13049,
10,13255,1024,131,84,73,66,0,13280,13301,144,105,109,97,103,101,58,115,97,118,
101,0,1,1000,2049,9151,2049,9125,10,13287,13320,131,75,101,121,98,111,97,114,100,
0,0,13308,13333,144,105,100,101,110,116,105,102,121,0,3841,13320,2049,2533,1793,13400,
1,1,2049,9151,2,2049,2568,1793,13388,3,2049,3636,73,79,32,68,69,86,73,67,
69,32,84,89,80,69,32,48,48,48,49,32,78,79,84,32,70,79,85,78,
68,0,1,13351,2049,9244,2049,9207,10,1,13348,1793,13395,4097,13320,10,1,13392,2049,64,
10,1,13339,9,10,13287,13413,144,99,58,103,101,116,0,2049,13333,3841,13320,2049,9125,
10,13404,13430,144,103,97,116,104,101,114,0,2,1793,13437,1,8,11,10,1,13433,
1793,13445,1,127,11,10,1,13441,2049,2128,22,1,11,1,3326,2049,64,10,13420,13466,
144,99,121,99,108,101,0,2049,13413,2049,2096,4,8,2049,2465,25,3,2049,13430,1,
13466,7,10,13404,13497,144,112,97,114,115,101,45,117,110,116,105,108,0,1793,13509,
2049,3617,2049,3418,2049,13466,771,2049,3292,10,1,13499,2049,3442,10,13482,13523,144,115,58,
103,101,116,0,1793,13545,1793,13531,1,10,11,10,1,13527,1793,13539,1,13,11,10,
1,13535,2049,2128,22,10,1,13525,2049,13497,10,13514,13564,144,115,58,103,101,116,45,
119,111,114,100,0,1,5472,2049,13497,10,13550,13582,131,83,99,114,105,112,116,105,
110,103,0,7,13569,13595,144,105,100,101,110,116,105,102,121,0,3841,13582,2049,2533,
1793,13662,1,9,2049,9151,2,2049,2568,1793,13650,3,2049,3636,73,79,32,68,69,86,
73,67,69,32,84,89,80,69,32,48,48,48,57,32,78,79,84,32,70,79,
85,78,68,0,1,13613,2049,9244,2049,9207,10,1,13610,1793,13657,4097,13582,10,1,13654,
2049,64,10,1,13601,9,10,13550,13678,144,115,121,115,58,97,114,103,99,0,2049,
13595,1,0,3841,13582,2049,9125,10,13666,13699,144,115,121,115,58,97,114,103,118,0,
2049,3617,4,2049,13595,1,1,3841,13582,2049,9125,10,13687,13722,144,105,110,99,108,117,
100,101,0,2049,13595,1,2,3841,13582,2049,9125,10,13711,13743,144,115,121,115,58,110,
97,109,101,0,2049,3617,2049,13595,1,3,3841,13582,2049,9125,10,13731,13763,144,99,108,
101,97,114,0,1,27,2049,9194,2049,3636,91,50,74,0,1,13769,2049,9244,1,27,
2049,9194,2049,3636,91,48,59,48,72,0,1,13783,2049,9244,10,13754,13804,131,78,111,
69,99,104,111,0,0,13794,13812,144,98,121,101,0,1,0,2049,12362,10,13805,13828,
144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10,13817,13843,144,100,111,
110,101,63,0,1793,13849,1,13,11,10,1,13845,1793,13857,1,10,11,10,1,13853,
1793,13865,1,32,11,10,1,13861,2049,2165,22,22,10,13834,13882,144,118,97,108,105,
100,63,0,2,2049,79,2049,2615,10,13872,13901,144,99,104,101,99,107,45,101,111,
102,0,2,1793,13908,1,-1,11,10,1,13904,1793,13916,1,4,11,10,1,13912,2049,
2128,22,1,13812,9,10,13888,13931,144,98,115,0,2049,3350,2049,3350,771,10,13925,13949,
144,99,104,101,99,107,45,98,115,0,2,1793,13956,1,8,11,10,1,13952,1793,
13964,1,127,11,10,1,13960,2049,2128,22,1,13931,9,10,13937,13982,144,99,104,101,
99,107,0,2049,13901,2049,13949,10,13973,14000,144,99,104,97,114,97,99,116,101,114,
0,2049,13413,2,2049,3326,10,13987,14016,144,98,117,102,102,101,114,0,1793,14026,1,
1024,2049,3418,8,2049,3292,10,1,14018,2049,3442,10,14006,14045,144,114,101,97,100,45,
116,111,107,101,110,0,1793,14061,1793,14056,2049,14000,2049,13982,2049,13843,10,1,14049,2049,
2256,10,1,14047,2049,14016,2049,3714,10,14031,14077,144,105,110,112,117,116,0,2049,14045,
2049,13882,10,14068,14093,144,112,114,111,99,101,115,115,0,1,365,1,11,2049,64,
10,13805,14110,144,98,97,110,110,101,114,0,2049,13828,2049,3636,82,69,84,82,79,
32,49,50,32,40,37,110,46,37,110,41,92,110,0,1,14114,2049,7111,2049,9244,
2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3636,37,110,32,77,97,120,44,32,37,
110,32,85,115,101,100,44,32,37,110,32,70,114,101,101,92,110,0,1,14150,
2049,7111,2049,9244,10,14100,14194,144,108,105,115,116,101,110,0,3841,13804,1793,14201,2049,
14110,10,1,14198,2049,70,2049,14077,2049,14093,1,14205,7,10,14184,14222,131,67,108,111,
99,107,0,0,14213,14235,144,105,100,101,110,116,105,102,121,0,3841,14222,2049,2533,
1793,14302,1,5,2049,9151,2,2049,2568,1793,14290,3,2049,3636,73,79,32,68,69,86,
73,67,69,32,84,89,80,69,32,48,48,48,53,32,78,79,84,32,70,79,
85,78,68,0,1,14253,2049,9244,2049,9207,10,1,14250,1793,14297,4097,14222,10,1,14294,
2049,64,10,1,14241,9,10,14184,14328,144,105,111,58,99,108,111,99,107,45,111,
112,101,114,97,116,105,111,110,0,2049,14235,3841,14222,2049,9125,10,14306,14354,144,99,
108,111,99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14328,10,
14335,14372,144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14328,10,14359,14392,
144,99,108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14328,10,14377,14411,
144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049,14328,10,14397,14430,144,
99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14328,10,14416,14451,144,99,
108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049,14328,10,14435,14472,144,
99,108,111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14328,10,14456,14494,
144,99,108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14328,10,
14477,14518,144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,104,0,1,
8,2049,14328,10,14499,14541,144,99,108,111,99,107,58,117,116,99,58,121,101,97,
114,0,1,9,2049,14328,10,14523,14564,144,99,108,111,99,107,58,117,116,99,58,
104,111,117,114,0,1,10,2049,14328,10,14546,14589,144,99,108,111,99,107,58,117,
116,99,58,109,105,110,117,116,101,0,1,11,2049,14328,10,14569,14614,144,99,108,
111,99,107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14328,10,
14594,14630,144,100,58,119,111,114,100,115,0,1793,14639,2049,162,2049,9244,2049,9218,10,
1,14632,2049,7340,10,14619,14660,144,100,58,119,111,114,100,115,45,119,105,116,104,
0,2049,1877,2049,4528,1793,14691,2049,162,2,2049,1877,2049,4155,1793,14680,2049,9244,2049,9218,
10,1,14675,1793,14686,3,10,1,14684,2049,64,10,1,14666,2049,7340,10,14644,14715,144,
100,105,115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1877,2049,
4455,1793,14727,2049,9244,2049,9218,10,1,14722,1793,14733,3,10,1,14731,2049,64,10,14644,
14764,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,4528,1793,14775,2049,162,2049,14715,10,1,14770,2049,7340,
10,14738,14790,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,
14780,14816,144,105,110,118,97,108,105,100,45,110,97,109,101,63,0,2,1,32,
2049,3986,10,14799,14833,144,114,101,119,114,105,116,101,0,1793,14847,1,32,1793,14842,
1,95,10,1,14839,2049,2379,10,1,14835,2049,4326,10,14822,14861,144,101,110,116,114,
121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14889,1793,14884,2049,14790,2049,14816,1,
14833,9,2049,119,10,1,14874,2049,14861,10,1,14872,0 };
58,97,112,112,101,110,100,0,2049,2096,1,34,2049,2154,17,2049,1877,1793,7672,2049,
105,1793,7667,1,105,2049,7520,10,1,7662,2049,2154,10,1,7658,2049,2106,10,7635,7690,
144,97,58,112,114,101,112,101,110,100,0,4,2049,7647,10,7677,7704,144,97,58,
99,104,111,112,0,2049,7551,1,-1,2049,3050,2,2049,2993,10,7694,7726,144,97,58,
102,105,108,116,101,114,0,1793,7741,67502597,1,21,2049,2106,4,1,105,1,11,2049,
64,10,1,7728,2049,7288,2049,1877,1793,7756,67502597,15,2049,105,2049,7520,10,1,7749,2049,
2106,2049,1877,67502597,18,2049,2893,67502597,16,10,7714,7784,144,97,58,99,111,110,116,97,
105,110,115,63,0,1,0,4,1793,7796,4,5,67502597,11,6,22,10,1,7789,2049,
7520,772,10,7769,7824,144,97,58,99,111,110,116,97,105,110,115,45,115,116,114,
105,110,103,63,0,1,0,4,1793,7837,4,5,67502597,2049,93,6,22,10,1,7829,
2049,7520,772,10,7802,7855,131,76,111,99,97,116,105,111,110,0,0,7843,7867,144,
112,114,101,112,97,114,101,0,4,1,-1,4097,7855,10,7856,7881,144,110,101,120,
116,0,3841,7855,2049,2568,1793,7892,1,7855,2049,2993,10,1,7887,9,10,7873,7906,144,
109,97,116,99,104,63,0,67502597,11,2,1793,7917,3,3841,7855,2049,2568,10,1,7911,
9,10,7896,7935,144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,2,
1793,7947,3,3841,7855,2049,2568,10,1,7941,9,10,7921,7961,144,117,112,100,97,116,
101,0,3841,7855,2049,2845,2049,2893,4097,7855,10,7802,7984,144,97,58,105,110,100,101,
120,45,111,102,0,2049,7867,2049,2096,2049,7784,1793,7996,771,1,-1,10,1,7992,2049,
2676,1793,8010,2049,7906,1,7961,9,2049,7881,10,1,8002,2049,7520,3,3841,7855,10,7970,
8039,144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,
2049,7867,2049,2096,2049,7824,1793,8051,771,1,-1,10,1,8047,2049,2676,1793,8065,2049,7935,
1,7961,9,2049,7881,10,1,8057,2049,7520,3,3841,7855,10,8018,8082,144,97,58,109,
97,112,0,1793,8088,8,2049,105,10,1,8084,2049,7288,2049,1877,1793,8103,67502597,15,2049,
105,2049,7520,10,1,8096,2049,2106,10,8073,8121,144,97,58,114,101,118,101,114,115,
101,0,2049,1877,1793,8155,2049,56,1793,8133,17,2049,2893,10,1,8129,2049,2116,2,2049,
105,1793,8149,2,15,2049,105,2049,2893,10,1,8142,2049,2281,3,10,1,8125,2049,2106,
10,8108,8168,144,97,58,116,104,0,17,2049,2880,10,8160,8183,144,97,58,102,101,
116,99,104,0,2049,8168,15,10,8172,8198,144,97,58,115,116,111,114,101,0,2049,
8168,16,10,8187,8214,144,97,58,114,101,100,117,99,101,0,1,13,2049,2106,2049,
7520,10,8202,8231,144,97,58,109,97,107,101,0,2049,7452,2049,8121,10,8221,8241,156,
123,0,1,285,2049,156,1,1556,2049,144,1,285,2049,156,10,8236,8259,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,8231,2049,144,10,8254,8303,144,98,111,117,110,
100,115,63,0,67502597,2049,7429,67502597,13,10,8292,8317,144,99,111,112,121,0,2049,56,
2049,105,10,8309,8332,144,116,111,45,101,110,100,0,2,2049,7429,17,2049,2880,10,
8254,8349,144,97,58,108,101,102,116,0,2049,8303,1793,8357,771,1,-1,10,1,8353,
2049,2659,2049,1877,67502597,2049,105,1793,8378,1,2880,2049,2106,1,8317,2049,2281,3,10,1,
8368,2049,2106,10,8339,8394,144,97,58,114,105,103,104,116,0,2049,8303,1793,8402,771,
1,-1,10,1,8398,2049,2659,2049,1877,67502597,2049,105,1793,8425,4,2049,8332,67502597,18,4,
1,8317,2049,2281,3,10,1,8413,2049,2106,10,8383,8442,144,97,58,109,105,100,100,
108,101,0,1,2048,2049,2106,4,67502597,2049,8303,1793,8457,771,3,1,-1,10,1,8452,
2049,2659,771,2049,2096,4,18,2049,2880,2049,1877,67502597,2049,105,1793,8492,772,1793,8482,17,
2049,2880,10,1,8478,2049,2106,1,8317,2049,2281,3,10,1,8475,2049,2106,10,8430,8505,
131,70,108,97,103,0,0,8497,8517,144,99,111,109,112,97,114,101,0,67440386,184946434,
10,8506,8530,144,108,101,110,103,116,104,0,659202,10,8520,8540,144,110,101,120,116,
0,17043713,1,1,2577,10,8532,8558,144,110,111,116,45,101,113,117,97,108,0,50529030,
2561,0,10,8545,8570,144,108,111,111,112,0,524549,8540,2049,8517,18157313,8505,8505,16,420610310,
1,1,8570,7,10,8430,8593,144,97,58,101,113,63,0,1048833,-1,8505,2049,8517,151066369,
-1,8558,2049,8530,2049,8570,251724547,8505,10,8584,8618,144,97,58,45,101,113,63,0,2049,
8593,2049,2465,10,8608,8641,144,97,58,98,101,103,105,110,115,45,119,105,116,104,
63,0,1,3,1793,8657,2,2049,7429,1,13,2049,2106,2049,8349,2049,8593,10,1,8645,
2049,3069,10,8623,8678,144,97,58,101,110,100,115,45,119,105,116,104,63,0,1,
3,1793,8694,2,2049,7429,1,13,2049,2106,2049,8394,2049,8593,10,1,8682,2049,3069,10,
8662,8715,144,99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3507,1,1025,
18,10,8699,8737,144,99,111,117,110,116,45,116,111,107,101,110,115,0,1793,8743,
1,32,11,10,1,8739,2049,4284,2049,79,10,8721,8768,144,112,114,111,99,101,115,
115,45,116,111,107,101,110,115,0,1793,8796,1,32,2049,6081,4,1793,8789,2,2049,
79,2049,2549,1,365,1,11,2049,64,10,1,8777,2049,2106,2049,2880,10,1,8770,2049,
2281,2049,365,10,8662,8817,144,115,58,101,118,97,108,117,97,116,101,0,2049,8715,
2049,4528,2049,8715,2,2049,8737,2049,8768,10,8803,8835,131,76,80,0,0,8829,8845,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,8836,8885,
144,110,101,120,116,0,3841,8835,1,8845,17,2049,2978,10,8877,8901,144,112,114,101,
112,0,1,8835,2049,2978,1,0,3841,8835,1,8845,17,16,10,8893,8922,144,100,111,
110,101,0,1,8835,2049,2993,10,8803,8932,144,73,0,3841,8835,1,8845,17,15,10,
8927,8944,144,74,0,3841,8835,1,8845,17,2049,2893,15,10,8939,8958,144,75,0,3841,
8835,1,8845,17,1,2,18,15,10,8953,8989,144,116,105,109,101,115,60,119,105,
116,104,45,105,110,100,101,120,62,0,2049,8901,4,1793,9005,25,33886721,1,2053,1542,
2049,8885,1,8994,7,10,1,8994,8,3,2049,8922,10,8968,9020,156,104,111,111,107,
0,2049,3636,108,105,106,117,46,46,46,46,0,1,9022,2049,412,2049,1877,2049,2880,
2049,105,10,9012,9054,144,115,101,116,45,104,111,111,107,0,2049,2880,16,10,9042,
9068,144,117,110,104,111,111,107,0,2049,2880,2,2049,2880,4,16,10,9058,9092,144,
105,111,58,101,110,117,109,101,114,97,116,101,0,27,10,9076,9106,144,105,111,
58,113,117,101,114,121,0,28,10,9094,9121,144,105,111,58,105,110,118,111,107,
101,0,29,10,9108,9131,131,83,108,111,116,0,9,9108,9147,144,105,111,58,115,
99,97,110,45,102,111,114,0,1,-1,4097,9131,2049,9092,1793,9173,2049,8932,2049,9106,
772,67502597,11,1793,9169,2049,8932,4097,9131,10,1,9164,9,10,1,9155,2049,8989,3,3841,
9131,10,9132,9190,144,99,58,112,117,116,0,1793,9192,1,0,2049,9121,10,9181,9203,
144,110,108,0,1,10,2049,9190,10,9197,9214,144,115,112,0,1,32,2049,9190,10,
9208,9226,144,116,97,98,0,1,9,2049,9190,10,9219,9240,144,115,58,112,117,116,
0,1,9190,2049,3860,10,9231,9254,144,110,58,112,117,116,0,2049,5920,2049,9240,10,
9245,9268,144,114,101,115,101,116,0,2049,1556,25,771,1,9268,7,10,9259,9290,144,
100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9290,6,2,
2049,9254,2049,9214,10,9276,9312,144,70,82,69,69,0,2049,3507,1,1025,18,2049,1877,
18,10,9304,9330,131,70,105,108,101,115,0,0,9321,9343,144,105,100,101,110,116,
105,102,121,0,3841,9330,2049,2533,1793,9410,1,4,2049,9147,2,2049,2568,1793,9398,3,
2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,
52,32,78,79,84,32,70,79,85,78,68,0,1,9361,2049,9240,2049,9203,10,1,
9358,1793,9405,4097,9330,10,1,9402,2049,64,10,1,9349,9,10,9304,9435,144,105,111,
58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9343,3841,9330,
2049,9121,10,9414,0,131,102,105,108,101,58,82,0,9442,1,131,102,105,108,101,
58,87,0,9452,2,131,102,105,108,101,58,65,0,9462,3,131,102,105,108,101,
58,82,43,0,9472,9496,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,
9435,10,9483,9515,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9435,
10,9501,9533,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9435,10,9520,
9552,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9435,10,9538,9570,
144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9435,10,9557,9588,144,102,
105,108,101,58,115,101,101,107,0,1,5,2049,9435,10,9575,9606,144,102,105,108,
101,58,115,105,122,101,0,1,6,2049,9435,10,9593,9626,144,102,105,108,101,58,
100,101,108,101,116,101,0,1,7,2049,9435,10,9611,9645,144,102,105,108,101,58,
102,108,117,115,104,0,1,8,2049,9435,10,9631,9666,144,102,105,108,101,58,101,
120,105,115,116,115,63,0,1,0,2049,9496,2,2049,2549,1793,9680,2049,9515,2049,2356,
10,1,9675,1793,9688,3,2049,2368,10,1,9684,2049,64,10,9650,9719,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,9496,2,2049,9606,4,10,9693,9753,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,9496,2,2049,
9606,4,10,9728,9788,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,9496,10,9762,9800,131,70,73,68,
0,0,9793,9809,131,83,105,122,101,0,0,9801,9820,131,65,99,116,105,111,110,
0,0,9810,9831,131,66,117,102,102,101,114,0,0,9821,9841,144,45,101,111,102,
63,0,3841,9800,2049,9570,3841,9809,13,10,9832,9861,144,112,114,101,115,101,114,118,
101,0,1,9800,1793,9872,1,9809,1,21,2049,3069,10,1,9865,2049,3069,10,9762,9895,
144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9800,1793,9952,
2049,1877,2,4097,9831,2049,3418,1793,9944,3841,9800,2049,9533,2,2049,3326,1793,9921,1,13,
11,10,1,9917,1793,9929,1,10,11,10,1,9925,1793,9937,1,0,11,10,1,9933,
2049,2165,22,22,10,1,9908,2049,2256,2049,3350,3,10,1,9899,2049,3442,3841,9831,10,
9877,9981,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,
101,0,1793,10012,4097,9820,2049,9719,4097,9800,4097,9809,1793,10003,3841,9800,2049,9895,3841,9820,
8,2049,9841,10,1,9993,2049,2233,3841,9800,2049,9515,10,1,9983,2049,9861,10,9959,10024,
131,70,73,68,0,0,9959,10039,144,102,105,108,101,58,115,108,117,114,112,0,
1793,10066,4,2049,3418,2049,9719,4097,10024,1793,10057,3841,10024,2049,9533,2049,3326,10,1,10050,
2049,2281,3841,10024,2049,9515,10,1,10041,2049,3442,10,10025,10084,144,102,105,108,101,58,
115,112,101,119,0,2049,9788,4,1793,10093,67502597,2049,9552,10,1,10089,2049,3860,2049,9515,
10,10071,10107,131,70,80,85,0,0,10100,10120,144,105,100,101,110,116,105,102,121,
0,3841,10107,2049,2533,1793,10187,1,2,2049,9147,2,2049,2568,1793,10175,3,2049,3636,73,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,50,32,78,
79,84,32,70,79,85,78,68,0,1,10138,2049,9240,2049,9203,10,1,10135,1793,10182,
4097,10107,10,1,10179,2049,64,10,1,10126,9,10,10071,10213,144,105,111,58,102,108,
111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10120,3841,10107,2049,9121,
10,10191,10234,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10213,10,
10220,10253,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10213,10,10239,
10273,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10213,10,10258,
10293,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3617,2,1,3,2049,
10213,10,10278,10308,144,102,58,43,0,1,4,2049,10213,10,10301,10320,144,102,58,45,
0,1,5,2049,10213,10,10313,10332,144,102,58,42,0,1,6,2049,10213,10,10325,10344,
144,102,58,47,0,1,7,2049,10213,10,10337,10360,144,102,58,102,108,111,111,114,
0,1,8,2049,10213,10,10349,10378,144,102,58,99,101,105,108,105,110,103,0,1,
9,2049,10213,10,10365,10393,144,102,58,115,113,114,116,0,1,10,2049,10213,10,10383,
10407,144,102,58,101,113,63,0,1,11,2049,10213,10,10398,10422,144,102,58,45,101,
113,63,0,1,12,2049,10213,10,10412,10436,144,102,58,108,116,63,0,1,13,2049,
10213,10,10427,10450,144,102,58,103,116,63,0,1,14,2049,10213,10,10441,10466,144,102,
58,100,101,112,116,104,0,1,15,2049,10213,10,10455,10480,144,102,58,100,117,112,
0,1,16,2049,10213,10,10471,10495,144,102,58,100,114,111,112,0,1,17,2049,10213,
10,10485,10510,144,102,58,115,119,97,112,0,1,18,2049,10213,10,10500,10524,144,102,
58,108,111,103,0,1,19,2049,10213,10,10515,10540,144,102,58,112,111,119,101,114,
0,1,20,2049,10213,10,10529,10554,144,102,58,115,105,110,0,1,21,2049,10213,10,
10545,10568,144,102,58,99,111,115,0,1,22,2049,10213,10,10559,10582,144,102,58,116,
97,110,0,1,23,2049,10213,10,10573,10597,144,102,58,97,115,105,110,0,1,24,
2049,10213,10,10587,10612,144,102,58,97,99,111,115,0,1,25,2049,10213,10,10602,10627,
144,102,58,97,116,97,110,0,1,26,2049,10213,10,10617,10642,144,102,58,112,117,
115,104,0,1,27,2049,10213,10,10632,10656,144,102,58,112,111,112,0,1,28,2049,
10213,10,10647,10673,144,102,58,97,100,101,112,116,104,0,1,29,2049,10213,10,10661,
10690,144,102,58,115,113,117,97,114,101,0,2049,10480,2049,10332,10,10678,10705,144,102,
58,111,118,101,114,0,2049,10642,2049,10480,2049,10656,2049,10510,10,10695,10724,144,102,58,
116,117,99,107,0,2049,10480,2049,10642,2049,10510,2049,10656,10,10714,10742,144,102,58,110,
105,112,0,2049,10510,2049,10495,10,10733,10762,144,102,58,100,114,111,112,45,112,97,
105,114,0,2049,10495,2049,10495,10,10747,10781,144,102,58,100,117,112,45,112,97,105,
114,0,2049,10705,2049,10705,10,10767,10795,144,102,58,114,111,116,0,2049,10642,2049,10510,
2049,10656,2049,10510,10,10786,10819,144,102,58,112,111,115,105,116,105,118,101,63,0,
1,0,2049,10234,2049,10450,10,10804,10841,144,102,58,110,101,103,97,116,105,118,101,
63,0,1,0,2049,10234,2049,10436,10,10826,10860,144,102,58,110,101,103,97,116,101,
0,1,-1,2049,10234,2049,10332,10,10848,10876,144,102,58,97,98,115,0,2049,10480,2049,
10841,1,10860,9,10,10867,10896,156,112,114,101,102,105,120,58,46,0,2049,1818,1,
3662,1,3591,2049,64,1,10253,2049,144,10,10884,10918,144,102,58,112,117,116,0,2049,
10293,2049,9240,10,10909,10931,144,102,58,80,73,0,2049,3636,51,46,49,52,49,53,
57,50,0,1,10933,2049,10253,10,10923,10954,144,102,58,69,0,2049,3636,50,46,55,
49,56,50,56,49,0,1,10956,2049,10253,10,10947,10979,144,102,58,78,65,78,0,
2049,3636,48,0,1,10981,2049,10253,2049,3636,48,0,1,10989,2049,10253,2049,10344,10,10970,
11007,144,102,58,73,78,70,0,2049,3636,49,46,48,0,1,11009,2049,10253,2049,3636,
48,0,1,11019,2049,10253,2049,10344,10,10998,11038,144,102,58,45,73,78,70,0,2049,
3636,45,49,46,48,0,1,11040,2049,10253,2049,3636,48,0,1,11051,2049,10253,2049,10344,
10,11028,11070,144,102,58,110,97,110,63,0,2049,10480,2049,10422,10,11060,11085,144,102,
58,105,110,102,63,0,2049,11007,2049,10407,10,11075,11101,144,102,58,45,105,110,102,
63,0,2049,11038,2049,10407,10,11090,11117,144,102,58,114,111,117,110,100,0,2049,10480,
2049,10841,1793,11138,2049,3636,48,46,53,0,1,11125,2049,10253,2049,10320,2049,10378,10,1,
11123,1793,11157,2049,3636,48,46,53,0,1,11144,2049,10253,2049,10308,2049,10360,10,1,11142,
2049,64,10,11106,11171,144,102,58,109,105,110,0,2049,10781,2049,10436,1,10495,1,10742,
2049,64,10,11162,11191,144,102,58,109,97,120,0,2049,10781,2049,10450,1,10495,1,10742,
2049,64,10,11182,11213,144,102,58,108,105,109,105,116,0,2049,10510,2049,10642,2049,11171,
2049,10656,2049,11191,10,11202,11238,144,102,58,98,101,116,119,101,101,110,63,0,2049,
10795,2049,10480,2049,10642,2049,10795,2049,10795,2049,11213,2049,10656,2049,10407,10,11224,11264,144,102,
58,105,110,99,0,2049,3636,49,0,1,11266,2049,10253,2049,10308,10,11255,11284,144,102,
58,100,101,99,0,2049,3636,49,0,1,11286,2049,10253,2049,10320,10,11275,11305,144,102,
58,99,97,115,101,0,2049,10705,2049,10407,1793,11317,2049,10495,8,1,-1,10,1,11311,
1793,11325,3,1,0,10,1,11321,2049,64,25,6,771,10,11295,11343,144,102,58,115,
105,103,110,0,2049,10480,2049,3636,48,0,1,11347,2049,10253,2049,10407,1793,11362,1,0,
2049,10495,10,1,11357,2049,2659,2049,3636,48,0,1,11368,2049,10253,2049,10450,1793,11381,1,
1,10,1,11378,1793,11388,1,-1,10,1,11385,2049,64,10,11333,2147483645,131,101,58,77,
65,88,0,11393,-2147483645,131,101,58,77,73,78,0,11402,-2147483647,131,101,58,78,65,78,
0,11411,2147483646,131,101,58,73,78,70,0,11420,-2147483646,131,101,58,45,73,78,70,0,
11429,11447,144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11439,
11468,144,101,58,109,97,120,63,0,1,2147483645,11,10,11458,11482,144,101,58,109,105,
110,63,0,1,-2147483645,11,10,11472,11497,144,101,58,122,101,114,111,63,0,2049,2533,
10,11486,11510,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11500,11524,144,101,58,
105,110,102,63,0,1,2147483646,11,10,11514,11539,144,101,58,45,105,110,102,63,0,
1,-2147483646,11,10,11528,11553,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,
10,11543,11568,144,102,58,69,49,0,1793,11570,2049,3636,49,46,101,53,0,1,11572,
2049,10253,10,11560,11594,144,102,58,45,115,104,105,102,116,0,2049,11568,2049,10332,10,
11582,11611,144,102,58,43,115,104,105,102,116,0,2049,11568,2049,10344,10,11599,11633,144,
102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10480,2049,11343,2049,10876,
2049,10393,2049,10234,2049,10332,10,11616,11659,144,102,58,43,101,110,99,111,100,101,0,
2049,11633,2049,11594,10,11646,11677,144,102,58,45,101,110,99,111,100,101,0,2049,10480,
2049,11343,2049,11611,2049,10480,2049,10332,2049,10234,2049,10332,10,11664,11711,144,102,58,115,105,
103,110,101,100,45,115,113,117,97,114,101,0,2049,10480,2049,11343,2049,10480,2049,10332,
2049,10234,2049,10332,10,11692,11734,144,102,58,116,111,45,101,0,2049,10480,2049,11070,1793,
11745,2049,10495,1,-2147483647,10,1,11740,2049,2659,2049,10480,2049,11085,1793,11760,2049,10495,1,2147483646,
10,1,11755,2049,2659,2049,10480,2049,11101,1793,11775,2049,10495,1,-2147483646,10,1,11770,2049,2659,
2049,11659,2049,11117,2049,10273,2049,11553,1,-2147483645,1793,11794,2049,10495,10,1,11791,2049,2379,1,
2147483645,1793,11805,2049,10495,10,1,11802,2049,2379,10,11724,11820,144,101,58,116,111,45,102,
0,1,-2147483647,1793,11827,2049,10979,10,1,11824,2049,2379,1,2147483646,1793,11838,2049,11007,10,1,
11835,2049,2379,1,-2147483646,1793,11849,2049,11038,10,1,11846,2049,2379,2049,10234,2049,11677,10,11810,
11869,144,102,58,115,116,111,114,101,0,1793,11874,2049,11734,10,1,11871,2049,2106,16,
10,11858,11891,144,102,58,102,101,116,99,104,0,15,2049,11820,10,11880,11911,144,102,
58,100,117,109,112,45,115,116,97,99,107,0,2049,10466,2,1,10642,2049,2281,1793,
11929,2049,10656,2049,10480,2049,10918,2049,9214,10,1,11920,2049,2281,10,11895,11951,144,102,58,
100,117,109,112,45,97,115,116,97,99,107,0,2049,10673,2,1,10656,2049,2281,1793,
11969,2049,10480,2049,10918,2049,9214,2049,10642,10,1,11960,2049,2281,10,11934,11983,144,101,58,
112,117,116,0,1,2147483645,1793,12000,2049,3636,101,58,77,65,88,0,1,11989,2049,9240,
10,1,11987,2049,2379,1,-2147483645,1793,12021,2049,3636,101,58,77,73,78,0,1,12010,2049,
9240,10,1,12008,2049,2379,1,0,1793,12040,2049,3636,101,58,48,0,1,12031,2049,9240,
10,1,12029,2049,2379,1,-2147483647,1793,12061,2049,3636,101,58,78,65,78,0,1,12050,2049,
9240,10,1,12048,2049,2379,1,2147483646,1793,12082,2049,3636,101,58,73,78,70,0,1,12071,
2049,9240,10,1,12069,2049,2379,1,-2147483646,1793,12104,2049,3636,101,58,45,73,78,70,0,
1,12092,2049,9240,10,1,12090,2049,2379,2049,11820,2049,10918,10,11974,12121,131,85,110,105,
120,0,0,12113,12134,144,105,100,101,110,116,105,102,121,0,3841,12121,2049,2533,1793,
12201,1,8,2049,9147,2,2049,2568,1793,12189,3,2049,3636,73,79,32,68,69,86,73,
67,69,32,84,89,80,69,32,48,48,48,56,32,78,79,84,32,70,79,85,
78,68,0,1,12152,2049,9240,2049,9203,10,1,12149,1793,12196,4097,12121,10,1,12193,2049,
64,10,1,12140,9,10,11974,12224,144,105,111,58,117,110,105,120,45,115,121,115,
99,97,108,108,0,2049,12134,3841,12121,2049,9121,10,12205,12246,144,117,110,105,120,58,
115,121,115,116,101,109,0,1,0,2049,12224,10,12231,12264,144,117,110,105,120,58,
102,111,114,107,0,1,1,2049,12224,10,12251,12283,144,117,110,105,120,58,101,120,
101,99,48,0,1,2,2049,12224,10,12269,12302,144,117,110,105,120,58,101,120,101,
99,49,0,1,3,2049,12224,10,12288,12321,144,117,110,105,120,58,101,120,101,99,
50,0,1,4,2049,12224,10,12307,12340,144,117,110,105,120,58,101,120,101,99,51,
0,1,5,2049,12224,10,12326,12358,144,117,110,105,120,58,101,120,105,116,0,1,
6,2049,12224,10,12345,12378,144,117,110,105,120,58,103,101,116,112,105,100,0,1,
7,2049,12224,10,12363,12396,144,117,110,105,120,58,119,97,105,116,0,1,8,2049,
12224,10,12383,12414,144,117,110,105,120,58,107,105,108,108,0,1,9,2049,12224,10,
12401,12433,144,117,110,105,120,58,112,111,112,101,110,0,1,10,2049,12224,10,12419,
12453,144,117,110,105,120,58,112,99,108,111,115,101,0,1,11,2049,12224,10,12438,
12472,144,117,110,105,120,58,99,104,100,105,114,0,1,13,2049,12224,10,12458,12492,
144,117,110,105,120,58,103,101,116,101,110,118,0,1,14,2049,12224,10,12477,12512,
144,117,110,105,120,58,112,117,116,101,110,118,0,1,15,2049,12224,10,12497,12531,
144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049,12224,10,12517,12552,144,
117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3636,112,119,100,0,1,
12554,1,0,2049,12433,2,2049,9895,2049,5870,4,2049,12453,2049,3636,47,0,1,12574,2049,
3842,10,12536,12608,144,117,110,105,120,58,99,111,117,110,116,45,102,105,108,101,
115,45,105,110,45,99,119,100,0,2049,3636,108,115,32,45,49,32,124,32,119,
99,32,45,108,0,1,12610,1,0,2049,12433,2,2049,9895,2049,5870,2049,218,4,2049,
12453,10,12581,12663,144,117,110,105,120,58,102,111,114,45,101,97,99,104,45,102,
105,108,101,0,2049,3636,108,115,32,45,49,32,45,112,0,1,12665,1,0,2049,
12433,2049,12608,1793,12698,1793,12693,2049,9895,2049,3591,67502597,8,10,1,12686,2049,2116,10,1,
12684,2049,2281,2049,12453,3,10,12641,12715,144,115,116,97,114,116,0,4,2049,3418,1,
0,2049,12433,10,12706,12731,144,114,101,97,100,0,2,2049,9533,2,2049,3326,2049,2533,
10,12723,12750,144,102,105,110,105,115,104,0,2049,12453,2049,3398,10,12641,12774,144,117,
110,105,120,58,115,108,117,114,112,45,112,105,112,101,0,1793,12790,2049,12715,1793,
12783,2049,12731,10,1,12780,2049,2256,2049,12750,10,1,12776,2049,3442,10,12755,12801,131,105,
111,0,0,12795,12814,144,105,100,101,110,116,105,102,121,0,3841,12801,2049,2533,1793,
12881,1,10,2049,9147,2,2049,2568,1793,12869,3,2049,3636,73,79,32,68,69,86,73,
67,69,32,84,89,80,69,32,48,48,49,48,32,78,79,84,32,70,79,85,
78,68,0,1,12832,2049,9240,2049,9203,10,1,12829,1793,12876,4097,12801,10,1,12873,2049,
64,10,1,12820,9,10,12755,12905,144,105,111,58,114,110,103,45,111,112,101,114,
97,116,105,111,110,0,2049,12814,3841,12801,2049,9121,10,12885,12924,144,110,58,114,97,
110,100,111,109,0,2049,12905,10,12912,12938,131,83,111,99,107,101,116,115,0,0,
12927,12951,144,105,100,101,110,116,105,102,121,0,3841,12938,2049,2533,1793,13018,1,7,
2049,9147,2,2049,2568,1793,13006,3,2049,3636,73,79,32,68,69,86,73,67,69,32,
84,89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,85,78,68,0,
1,12969,2049,9240,2049,9203,10,1,12966,1793,13013,4097,12938,10,1,13010,2049,64,10,1,
12957,9,10,12912,13045,144,105,111,58,115,111,99,107,101,116,45,111,112,101,114,
97,116,105,111,110,0,2049,12951,3841,12938,2049,9121,10,13022,13076,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,
13045,10,13052,13098,144,115,111,99,107,101,116,58,99,114,101,97,116,101,0,1,
1,2049,13045,10,13081,13118,144,115,111,99,107,101,116,58,98,105,110,100,0,1,
2,2049,13045,10,13103,13140,144,115,111,99,107,101,116,58,108,105,115,116,101,110,
0,1,3,2049,13045,10,13123,13162,144,115,111,99,107,101,116,58,97,99,99,101,
112,116,0,1,4,2049,13045,10,13145,13185,144,115,111,99,107,101,116,58,99,111,
110,110,101,99,116,0,1,5,2049,13045,10,13167,13205,144,115,111,99,107,101,116,
58,115,101,110,100,0,1,6,2049,13045,10,13190,13225,144,115,111,99,107,101,116,
58,114,101,99,118,0,1,8,2049,13045,10,13210,13246,144,115,111,99,107,101,116,
58,99,108,111,115,101,0,1,10,2049,13045,10,13230,13271,144,115,111,99,107,101,
116,58,99,111,110,102,105,103,117,114,101,0,1,11,2049,13045,10,13251,1024,131,
84,73,66,0,13276,13297,144,105,109,97,103,101,58,115,97,118,101,0,1,1000,
2049,9147,2049,9121,10,13283,13316,131,75,101,121,98,111,97,114,100,0,0,13304,13329,
144,105,100,101,110,116,105,102,121,0,3841,13316,2049,2533,1793,13396,1,1,2049,9147,
2,2049,2568,1793,13384,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,
80,69,32,48,48,48,49,32,78,79,84,32,70,79,85,78,68,0,1,13347,
2049,9240,2049,9203,10,1,13344,1793,13391,4097,13316,10,1,13388,2049,64,10,1,13335,9,
10,13283,13409,144,99,58,103,101,116,0,2049,13329,3841,13316,2049,9121,10,13400,13426,144,
103,97,116,104,101,114,0,2,1793,13433,1,8,11,10,1,13429,1793,13441,1,127,
11,10,1,13437,2049,2128,22,1,11,1,3326,2049,64,10,13416,13462,144,99,121,99,
108,101,0,2049,13409,2049,2096,4,8,2049,2465,25,3,2049,13426,1,13462,7,10,13400,
13493,144,112,97,114,115,101,45,117,110,116,105,108,0,1793,13505,2049,3617,2049,3418,
2049,13462,771,2049,3292,10,1,13495,2049,3442,10,13478,13519,144,115,58,103,101,116,0,
1793,13541,1793,13527,1,10,11,10,1,13523,1793,13535,1,13,11,10,1,13531,2049,2128,
22,10,1,13521,2049,13493,10,13510,13560,144,115,58,103,101,116,45,119,111,114,100,
0,1,5472,2049,13493,10,13546,13578,131,83,99,114,105,112,116,105,110,103,0,7,
13565,13591,144,105,100,101,110,116,105,102,121,0,3841,13578,2049,2533,1793,13658,1,9,
2049,9147,2,2049,2568,1793,13646,3,2049,3636,73,79,32,68,69,86,73,67,69,32,
84,89,80,69,32,48,48,48,57,32,78,79,84,32,70,79,85,78,68,0,
1,13609,2049,9240,2049,9203,10,1,13606,1793,13653,4097,13578,10,1,13650,2049,64,10,1,
13597,9,10,13546,13674,144,115,121,115,58,97,114,103,99,0,2049,13591,1,0,3841,
13578,2049,9121,10,13662,13695,144,115,121,115,58,97,114,103,118,0,2049,3617,4,2049,
13591,1,1,3841,13578,2049,9121,10,13683,13718,144,105,110,99,108,117,100,101,0,2049,
13591,1,2,3841,13578,2049,9121,10,13707,13739,144,115,121,115,58,110,97,109,101,0,
2049,3617,2049,13591,1,3,3841,13578,2049,9121,10,13727,13759,144,99,108,101,97,114,0,
1,27,2049,9190,2049,3636,91,50,74,0,1,13765,2049,9240,1,27,2049,9190,2049,3636,
91,48,59,48,72,0,1,13779,2049,9240,10,13750,13800,131,78,111,69,99,104,111,
0,0,13790,13808,144,98,121,101,0,1,0,2049,12358,10,13801,13824,144,118,101,114,
115,105,111,110,0,3841,4,1,100,20,10,13813,13839,144,100,111,110,101,63,0,
1793,13845,1,13,11,10,1,13841,1793,13853,1,10,11,10,1,13849,1793,13861,1,32,
11,10,1,13857,2049,2165,22,22,10,13830,13878,144,118,97,108,105,100,63,0,2,
2049,79,2049,2615,10,13868,13897,144,99,104,101,99,107,45,101,111,102,0,2,1793,
13904,1,-1,11,10,1,13900,1793,13912,1,4,11,10,1,13908,2049,2128,22,1,13808,
9,10,13884,13927,144,98,115,0,2049,3350,2049,3350,771,10,13921,13945,144,99,104,101,
99,107,45,98,115,0,2,1793,13952,1,8,11,10,1,13948,1793,13960,1,127,11,
10,1,13956,2049,2128,22,1,13927,9,10,13933,13978,144,99,104,101,99,107,0,2049,
13897,2049,13945,10,13969,13996,144,99,104,97,114,97,99,116,101,114,0,2049,13409,2,
2049,3326,10,13983,14012,144,98,117,102,102,101,114,0,1793,14022,1,1024,2049,3418,8,
2049,3292,10,1,14014,2049,3442,10,14002,14041,144,114,101,97,100,45,116,111,107,101,
110,0,1793,14057,1793,14052,2049,13996,2049,13978,2049,13839,10,1,14045,2049,2256,10,1,14043,
2049,14012,2049,3714,10,14027,14073,144,105,110,112,117,116,0,2049,14041,2049,13878,10,14064,
14089,144,112,114,111,99,101,115,115,0,1,365,1,11,2049,64,10,13801,14106,144,
98,97,110,110,101,114,0,2049,13824,2049,3636,82,69,84,82,79,32,49,50,32,
40,37,110,46,37,110,41,92,110,0,1,14110,2049,7111,2049,9240,2049,1543,2049,1877,
18,2049,1877,2049,1543,2049,3636,37,110,32,77,97,120,44,32,37,110,32,85,115,
101,100,44,32,37,110,32,70,114,101,101,92,110,0,1,14146,2049,7111,2049,9240,
10,14096,14190,144,108,105,115,116,101,110,0,3841,13800,1793,14197,2049,14106,10,1,14194,
2049,70,2049,14073,2049,14089,1,14201,7,10,14180,14218,131,67,108,111,99,107,0,0,
14209,14231,144,105,100,101,110,116,105,102,121,0,3841,14218,2049,2533,1793,14298,1,5,
2049,9147,2,2049,2568,1793,14286,3,2049,3636,73,79,32,68,69,86,73,67,69,32,
84,89,80,69,32,48,48,48,53,32,78,79,84,32,70,79,85,78,68,0,
1,14249,2049,9240,2049,9203,10,1,14246,1793,14293,4097,14218,10,1,14290,2049,64,10,1,
14237,9,10,14180,14324,144,105,111,58,99,108,111,99,107,45,111,112,101,114,97,
116,105,111,110,0,2049,14231,3841,14218,2049,9121,10,14302,14350,144,99,108,111,99,107,
58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14324,10,14331,14368,144,99,
108,111,99,107,58,100,97,121,0,1,1,2049,14324,10,14355,14388,144,99,108,111,
99,107,58,109,111,110,116,104,0,1,2,2049,14324,10,14373,14407,144,99,108,111,
99,107,58,121,101,97,114,0,1,3,2049,14324,10,14393,14426,144,99,108,111,99,
107,58,104,111,117,114,0,1,4,2049,14324,10,14412,14447,144,99,108,111,99,107,
58,109,105,110,117,116,101,0,1,5,2049,14324,10,14431,14468,144,99,108,111,99,
107,58,115,101,99,111,110,100,0,1,6,2049,14324,10,14452,14490,144,99,108,111,
99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14324,10,14473,14514,144,99,
108,111,99,107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049,14324,10,
14495,14537,144,99,108,111,99,107,58,117,116,99,58,121,101,97,114,0,1,9,
2049,14324,10,14519,14560,144,99,108,111,99,107,58,117,116,99,58,104,111,117,114,
0,1,10,2049,14324,10,14542,14585,144,99,108,111,99,107,58,117,116,99,58,109,
105,110,117,116,101,0,1,11,2049,14324,10,14565,14610,144,99,108,111,99,107,58,
117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14324,10,14590,14626,144,100,
58,119,111,114,100,115,0,1793,14635,2049,162,2049,9240,2049,9214,10,1,14628,2049,7340,
10,14615,14656,144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049,1877,2049,
4528,1793,14687,2049,162,2,2049,1877,2049,4155,1793,14676,2049,9240,2049,9214,10,1,14671,1793,
14682,3,10,1,14680,2049,64,10,1,14662,2049,7340,10,14640,14711,144,100,105,115,112,
108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1877,2049,4455,1793,14723,2049,
9240,2049,9214,10,1,14718,1793,14729,3,10,1,14727,2049,64,10,14640,14760,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,4528,1793,14771,2049,162,2049,14711,10,1,14766,2049,7340,10,14734,14786,144,
102,105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,14776,14812,144,105,
110,118,97,108,105,100,45,110,97,109,101,63,0,2,1,32,2049,3986,10,14795,
14829,144,114,101,119,114,105,116,101,0,1793,14843,1,32,1793,14838,1,95,10,1,
14835,2049,2379,10,1,14831,2049,4326,10,14818,14857,144,101,110,116,114,121,0,2049,1877,
1,21,2049,2106,4097,2,10,1793,14885,1793,14880,2049,14786,2049,14812,1,14829,9,2049,119,
10,1,14870,2049,14857,10,1,14868,0 };