retro.forth: smaller a:index-of, a:index-of-string

FossilOrigin-Name: ad35a890a5f73cf68a8dd25f4f3d8f4ea1d3d44fb3dadeb49c8f46487db040e1
This commit is contained in:
crc 2020-02-11 21:36:16 +00:00
parent 406f184be6
commit 37ef6e1464
3 changed files with 358 additions and 358 deletions

View file

@ -1456,8 +1456,8 @@ array.
'Location var 'Location var
:prepare swap #-1 !Location ; :prepare swap #-1 !Location ;
:next @Location n:negative? [ &Location v:dec ] if ; :next @Location n:negative? [ &Location v:dec ] if ;
:match? over eq? [ @Location n:negative? ] [ FALSE ] choose ; :match? over eq? dup [ drop @Location n:negative? ] if ;
:match-str? over s:eq? [ @Location n:negative? ] [ FALSE ] choose ; :match-str? over s:eq? dup [ drop @Location n:negative? ] if ;
:update @Location n:abs n:dec !Location ; :update @Location n:abs n:dec !Location ;
---reveal--- ---reveal---
:a:index-of (an-n) :a:index-of (an-n)

BIN
ngaImage

Binary file not shown.

View file

@ -2,8 +2,8 @@
#ifndef CELL #ifndef CELL
#define CELL int32_t #define CELL int32_t
#endif #endif
CELL ngaImageCells = 15037; CELL ngaImageCells = 15025;
CELL ngaImage[] = { 1793,14339,14883,15036,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10, CELL ngaImage[] = { 1793,14327,14871,15024,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, 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, 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, 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,14339,14883,15036,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, 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, 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, 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,15017,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13432,1025, 1,659713,2,659713,3,1793,15005,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13420,1025,
167841793,177,5,17826049,0,177,2,15,25,524546,162,134287105,178,93,2305,179,459023,187,134287361,178, 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, 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, 1,211,134284289,0,202,660227,32,0,0,112,114,101,102,105,120,58,105,0,285278479,228,
@ -161,7 +161,7 @@ CELL ngaImage[] = { 1793,14339,14883,15036,202004,0,10,1,10,2,10,3,10,4,10,5,10,
3068,3111,144,118,58,117,112,100,97,116,101,0,4,1793,3118,15,4,8,10,1, 3068,3111,144,118,58,117,112,100,97,116,101,0,4,1793,3118,15,4,8,10,1,
3114,2049,2116,16,10,3099,3132,144,99,111,112,121,0,1793,3141,285278725,1,33951492,268767489,1, 3114,2049,2116,16,10,3099,3132,144,99,111,112,121,0,1793,3141,285278725,1,33951492,268767489,1,
6,10,1,3134,2049,2281,3,3,10,3124,3161,144,83,99,111,112,101,76,105,115, 6,10,1,3134,2049,2281,3,3,10,3124,3161,144,83,99,111,112,101,76,105,115,
116,0,14883,14883,10,3148,3170,144,123,123,0,2049,1570,2,1,3161,2049,59,16,10, 116,0,14871,14871,10,3148,3170,144,123,123,0,2049,1570,2,1,3161,2049,59,16,10,
3164,3195,144,45,45,45,114,101,118,101,97,108,45,45,45,0,2049,1570,1,3161, 3164,3195,144,45,45,45,114,101,118,101,97,108,45,45,45,0,2049,1570,1,3161,
2049,2883,16,10,3179,3209,144,125,125,0,1,3161,2049,56,4,15,11,1793,3223,3841, 2049,2883,16,10,3179,3209,144,125,125,0,1,3161,2049,56,4,15,11,1793,3223,3841,
3161,4097,2,10,1,3218,1793,3253,3841,3161,1793,3248,1,2,15,2,15,1,3161,2049, 3161,4097,2,10,1,3218,1793,3253,3841,3161,1793,3248,1,2,15,2,15,1,3161,2049,
@ -403,355 +403,355 @@ CELL ngaImage[] = { 1793,14339,14883,15036,202004,0,10,1,10,2,10,3,10,4,10,5,10,
4,5,67502597,2049,93,6,22,10,1,7939,2049,7601,772,10,7912,7965,131,76,111,99, 4,5,67502597,2049,93,6,22,10,1,7939,2049,7601,772,10,7912,7965,131,76,111,99,
97,116,105,111,110,0,0,7953,7977,144,112,114,101,112,97,114,101,0,4,1, 97,116,105,111,110,0,0,7953,7977,144,112,114,101,112,97,114,101,0,4,1,
-1,4097,7965,10,7966,7991,144,110,101,120,116,0,3841,7965,2049,2568,1793,8002,1,7965, -1,4097,7965,10,7966,7991,144,110,101,120,116,0,3841,7965,2049,2568,1793,8002,1,7965,
2049,2999,10,1,7997,9,10,7983,8016,144,109,97,116,99,104,63,0,67502597,11,1793, 2049,2999,10,1,7997,9,10,7983,8016,144,109,97,116,99,104,63,0,67502597,11,2,
8025,3841,7965,2049,2568,10,1,8020,1793,8032,2049,2368,10,1,8029,2049,64,10,8006,8051, 1793,8027,3,3841,7965,2049,2568,10,1,8021,9,10,8006,8045,144,109,97,116,99,104,
144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,1793,8061,3841,7965,2049, 45,115,116,114,63,0,67502597,2049,93,2,1793,8057,3,3841,7965,2049,2568,10,1,8051,
2568,10,1,8056,1793,8068,2049,2368,10,1,8065,2049,64,10,8037,8083,144,117,112,100, 9,10,8031,8071,144,117,112,100,97,116,101,0,3841,7965,2049,2848,2049,2896,4097,7965,
97,116,101,0,3841,7965,2049,2848,2049,2896,4097,7965,10,7912,8106,144,97,58,105,110, 10,7912,8094,144,97,58,105,110,100,101,120,45,111,102,0,2049,7977,2049,2096,2049,
100,101,120,45,111,102,0,2049,7977,2049,2096,2049,7894,1793,8118,771,1,-1,10,1, 7894,1793,8106,771,1,-1,10,1,8102,2049,2678,1793,8120,2049,8016,1,8071,9,2049,7991,
8114,2049,2678,1793,8132,2049,8016,1,8083,9,2049,7991,10,1,8124,2049,7601,3,3841,7965, 10,1,8112,2049,7601,3,3841,7965,10,8080,8149,144,97,58,105,110,100,101,120,45,
10,8092,8161,144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,105,110, 111,102,45,115,116,114,105,110,103,0,2049,7977,2049,2096,2049,7934,1793,8161,771,1,
103,0,2049,7977,2049,2096,2049,7934,1793,8173,771,1,-1,10,1,8169,2049,2678,1793,8187, -1,10,1,8157,2049,2678,1793,8175,2049,8045,1,8071,9,2049,7991,10,1,8167,2049,7601,
2049,8051,1,8083,9,2049,7991,10,1,8179,2049,7601,3,3841,7965,10,8140,8204,144,97, 3,3841,7965,10,8128,8192,144,97,58,109,97,112,0,1793,8198,8,2049,105,10,1,
58,109,97,112,0,1793,8210,8,2049,105,10,1,8206,2049,7360,2049,1877,1793,8225,67502597, 8194,2049,7360,2049,1877,1793,8213,67502597,15,2049,105,2049,7601,10,1,8206,2049,2106,10,8183,
15,2049,105,2049,7601,10,1,8218,2049,2106,10,8195,8243,144,97,58,114,101,118,101, 8231,144,97,58,114,101,118,101,114,115,101,0,2049,1877,1793,8265,2049,56,1793,8243,
114,115,101,0,2049,1877,1793,8277,2049,56,1793,8255,17,2049,2896,10,1,8251,2049,2116, 17,2049,2896,10,1,8239,2049,2116,2,2049,105,1793,8259,2,15,2049,105,2049,2896,10,
2,2049,105,1793,8271,2,15,2049,105,2049,2896,10,1,8264,2049,2281,3,10,1,8247, 1,8252,2049,2281,3,10,1,8235,2049,2106,10,8218,8278,144,97,58,116,104,0,17,
2049,2106,10,8230,8290,144,97,58,116,104,0,17,2049,2883,10,8282,8305,144,97,58, 2049,2883,10,8270,8293,144,97,58,102,101,116,99,104,0,2049,8278,15,10,8282,8308,
102,101,116,99,104,0,2049,8290,15,10,8294,8320,144,97,58,115,116,111,114,101, 144,97,58,115,116,111,114,101,0,2049,8278,16,10,8297,8324,144,97,58,114,101,
0,2049,8290,16,10,8309,8336,144,97,58,114,101,100,117,99,101,0,1,13,2049, 100,117,99,101,0,1,13,2049,2106,2049,7601,10,8312,8341,144,97,58,109,97,107,
2106,2049,7601,10,8324,8353,144,97,58,109,97,107,101,0,2049,7527,2049,8243,10,8343, 101,0,2049,7527,2049,8231,10,8331,8351,156,123,0,1,285,2049,156,1,1556,2049,144,
8363,156,123,0,1,285,2049,156,1,1556,2049,144,1,285,2049,156,10,8358,8381,156, 1,285,2049,156,10,8346,8369,156,125,0,1,301,2049,156,1,2106,2049,144,1,1556,
125,0,1,301,2049,156,1,2106,2049,144,1,1556,2049,144,1,13,2049,150,1,40, 2049,144,1,13,2049,150,1,40,2049,150,1,2896,2049,144,1,301,2049,156,1,8341,
2049,150,1,2896,2049,144,1,301,2049,156,1,8353,2049,144,10,8376,8425,144,98,111, 2049,144,10,8364,8413,144,98,111,117,110,100,115,63,0,67502597,2049,7504,67502597,13,10,
117,110,100,115,63,0,67502597,2049,7504,67502597,13,10,8414,8439,144,99,111,112,121,0, 8402,8427,144,99,111,112,121,0,2049,56,2049,105,10,8419,8442,144,116,111,45,101,
2049,56,2049,105,10,8431,8454,144,116,111,45,101,110,100,0,2,2049,7504,17,2049, 110,100,0,2,2049,7504,17,2049,2883,10,8364,8459,144,97,58,108,101,102,116,0,
2883,10,8376,8471,144,97,58,108,101,102,116,0,2049,8425,1793,8479,771,1,-1,10, 2049,8413,1793,8467,771,1,-1,10,1,8463,2049,2661,2049,1877,67502597,2049,105,1793,8488,1,
1,8475,2049,2661,2049,1877,67502597,2049,105,1793,8500,1,2883,2049,2106,1,8439,2049,2281,3, 2883,2049,2106,1,8427,2049,2281,3,10,1,8478,2049,2106,10,8449,8504,144,97,58,114,
10,1,8490,2049,2106,10,8461,8516,144,97,58,114,105,103,104,116,0,2049,8425,1793, 105,103,104,116,0,2049,8413,1793,8512,771,1,-1,10,1,8508,2049,2661,2049,1877,67502597,
8524,771,1,-1,10,1,8520,2049,2661,2049,1877,67502597,2049,105,1793,8547,4,2049,8454,67502597, 2049,105,1793,8535,4,2049,8442,67502597,18,4,1,8427,2049,2281,3,10,1,8523,2049,2106,
18,4,1,8439,2049,2281,3,10,1,8535,2049,2106,10,8505,8564,144,97,58,109,105, 10,8493,8552,144,97,58,109,105,100,100,108,101,0,1,2048,2049,2106,4,67502597,2049,
100,100,108,101,0,1,2048,2049,2106,4,67502597,2049,8425,1793,8579,771,3,1,-1,10, 8413,1793,8567,771,3,1,-1,10,1,8562,2049,2661,771,2049,2096,4,18,2049,2883,2049,
1,8574,2049,2661,771,2049,2096,4,18,2049,2883,2049,1877,67502597,2049,105,1793,8614,772,1793, 1877,67502597,2049,105,1793,8602,772,1793,8592,17,2049,2883,10,1,8588,2049,2106,1,8427,2049,
8604,17,2049,2883,10,1,8600,2049,2106,1,8439,2049,2281,3,10,1,8597,2049,2106,10, 2281,3,10,1,8585,2049,2106,10,8540,8615,131,70,108,97,103,0,0,8607,8627,144,
8552,8627,131,70,108,97,103,0,0,8619,8639,144,99,111,109,112,97,114,101,0, 99,111,109,112,97,114,101,0,67440386,184946434,10,8616,8640,144,108,101,110,103,116,104,
67440386,184946434,10,8628,8652,144,108,101,110,103,116,104,0,659202,10,8642,8662,144,110,101, 0,659202,10,8630,8650,144,110,101,120,116,0,17043713,1,1,2577,10,8642,8668,144,110,
120,116,0,17043713,1,1,2577,10,8654,8680,144,110,111,116,45,101,113,117,97,108, 111,116,45,101,113,117,97,108,0,50529030,2561,0,10,8655,8680,144,108,111,111,112,
0,50529030,2561,0,10,8667,8692,144,108,111,111,112,0,524549,8662,2049,8639,18157313,8627,8627, 0,524549,8650,2049,8627,18157313,8615,8615,16,420610310,1,1,8680,7,10,8540,8703,144,97,58,
16,420610310,1,1,8692,7,10,8552,8715,144,97,58,101,113,63,0,1048833,-1,8627,2049, 101,113,63,0,1048833,-1,8615,2049,8627,151066369,-1,8668,2049,8640,2049,8680,251724547,8615,10,8694,
8639,151066369,-1,8680,2049,8652,2049,8692,251724547,8627,10,8706,8740,144,97,58,45,101,113,63, 8728,144,97,58,45,101,113,63,0,2049,8703,2049,2465,10,8718,8751,144,97,58,98,
0,2049,8715,2049,2465,10,8730,8763,144,97,58,98,101,103,105,110,115,45,119,105, 101,103,105,110,115,45,119,105,116,104,63,0,1,3,1793,8767,2,2049,7504,1,
116,104,63,0,1,3,1793,8779,2,2049,7504,1,13,2049,2106,2049,8471,2049,8715,10, 13,2049,2106,2049,8459,2049,8703,10,1,8755,2049,3082,10,8733,8788,144,97,58,101,110,
1,8767,2049,3082,10,8745,8800,144,97,58,101,110,100,115,45,119,105,116,104,63, 100,115,45,119,105,116,104,63,0,1,3,1793,8804,2,2049,7504,1,13,2049,2106,
0,1,3,1793,8816,2,2049,7504,1,13,2049,2106,2049,8516,2049,8715,10,1,8804,2049, 2049,8504,2049,8703,10,1,8792,2049,3082,10,8772,8825,144,99,117,114,114,101,110,116,
3082,10,8784,8837,144,99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3528, 45,108,105,110,101,0,2049,3528,1,1025,18,10,8809,8847,144,99,111,117,110,116,
1,1025,18,10,8821,8859,144,99,111,117,110,116,45,116,111,107,101,110,115,0, 45,116,111,107,101,110,115,0,1793,8853,1,32,11,10,1,8849,2049,4305,2049,79,
1793,8865,1,32,11,10,1,8861,2049,4305,2049,79,10,8843,8886,144,110,101,120,116, 10,8831,8874,144,110,101,120,116,45,116,111,107,101,110,0,1,32,2049,6131,10,
45,116,111,107,101,110,0,1,32,2049,6131,10,8872,8909,144,112,114,111,99,101, 8860,8897,144,112,114,111,99,101,115,115,45,116,111,107,101,110,115,0,1793,8923,
115,115,45,116,111,107,101,110,115,0,1793,8935,2049,8886,4,1793,8928,2,2049,79, 2049,8874,4,1793,8916,2,2049,79,2049,2549,1,365,1,11,2049,64,10,1,8904,2049,
2049,2549,1,365,1,11,2049,64,10,1,8916,2049,2106,2049,2883,10,1,8911,2049,2281, 2106,2049,2883,10,1,8899,2049,2281,2049,365,10,8772,8944,144,115,58,101,118,97,108,
2049,365,10,8784,8956,144,115,58,101,118,97,108,117,97,116,101,0,2049,8837,2049, 117,97,116,101,0,2049,8825,2049,4552,2049,8825,2,2049,8847,2049,8897,10,8930,8962,131,
4552,2049,8837,2,2049,8859,2049,8909,10,8942,8974,131,76,80,0,0,8968,8984,131,73, 76,80,0,0,8956,8972,131,73,110,100,101,120,0,0,10,0,0,0,0,0,
110,100,101,120,0,0,10,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8975,9024,144, 0,0,0,0,0,8963,9012,144,110,101,120,116,0,3841,8962,1,8972,17,2049,2984,
110,101,120,116,0,3841,8974,1,8984,17,2049,2984,10,9016,9040,144,112,114,101,112, 10,9004,9028,144,112,114,101,112,0,1,8962,2049,2984,1,0,3841,8962,1,8972,17,
0,1,8974,2049,2984,1,0,3841,8974,1,8984,17,16,10,9032,9061,144,100,111,110, 16,10,9020,9049,144,100,111,110,101,0,1,8962,2049,2999,10,8930,9059,144,73,0,
101,0,1,8974,2049,2999,10,8942,9071,144,73,0,3841,8974,1,8984,17,15,10,9066, 3841,8962,1,8972,17,15,10,9054,9071,144,74,0,3841,8962,1,8972,17,2049,2896,15,
9083,144,74,0,3841,8974,1,8984,17,2049,2896,15,10,9078,9097,144,75,0,3841,8974, 10,9066,9085,144,75,0,3841,8962,1,8972,17,1,2,18,15,10,9080,9116,144,116,
1,8984,17,1,2,18,15,10,9092,9128,144,116,105,109,101,115,60,119,105,116, 105,109,101,115,60,119,105,116,104,45,105,110,100,101,120,62,0,2049,9028,4,
104,45,105,110,100,101,120,62,0,2049,9040,4,1793,9144,25,33886721,1,2053,1542,2049, 1793,9132,25,33886721,1,2053,1542,2049,9012,1,9121,7,10,1,9121,8,3,2049,9049,10,
9024,1,9133,7,10,1,9133,8,3,2049,9061,10,9107,9159,156,104,111,111,107,0, 9095,9147,156,104,111,111,107,0,2049,3657,108,105,106,117,46,46,46,46,0,1,
2049,3657,108,105,106,117,46,46,46,46,0,1,9161,2049,412,2049,1877,2049,2883,2049, 9149,2049,412,2049,1877,2049,2883,2049,105,10,9139,9181,144,115,101,116,45,104,111,111,
105,10,9151,9193,144,115,101,116,45,104,111,111,107,0,2049,2883,16,10,9181,9207, 107,0,2049,2883,16,10,9169,9195,144,117,110,104,111,111,107,0,2049,2883,2,2049,
144,117,110,104,111,111,107,0,2049,2883,2,2049,2883,4,16,10,9197,9231,144,105, 2883,4,16,10,9185,9219,144,105,111,58,101,110,117,109,101,114,97,116,101,0,
111,58,101,110,117,109,101,114,97,116,101,0,27,10,9215,9245,144,105,111,58, 27,10,9203,9233,144,105,111,58,113,117,101,114,121,0,28,10,9221,9248,144,105,
113,117,101,114,121,0,28,10,9233,9260,144,105,111,58,105,110,118,111,107,101, 111,58,105,110,118,111,107,101,0,29,10,9235,9258,131,83,108,111,116,0,9,
0,29,10,9247,9270,131,83,108,111,116,0,9,9247,9286,144,105,111,58,115,99, 9235,9274,144,105,111,58,115,99,97,110,45,102,111,114,0,1,-1,4097,9258,2049,
97,110,45,102,111,114,0,1,-1,4097,9270,2049,9231,1793,9312,2049,9071,2049,9245,772, 9219,1793,9300,2049,9059,2049,9233,772,67502597,11,1793,9296,2049,9059,4097,9258,10,1,9291,9,
67502597,11,1793,9308,2049,9071,4097,9270,10,1,9303,9,10,1,9294,2049,9128,3,3841,9270, 10,1,9282,2049,9116,3,3841,9258,10,9259,9317,144,99,58,112,117,116,0,1793,9319,
10,9271,9329,144,99,58,112,117,116,0,1793,9331,1,0,2049,9260,10,9320,9342,144, 1,0,2049,9248,10,9308,9330,144,110,108,0,1,10,2049,9317,10,9324,9341,144,115,
110,108,0,1,10,2049,9329,10,9336,9353,144,115,112,0,1,32,2049,9329,10,9347, 112,0,1,32,2049,9317,10,9335,9353,144,116,97,98,0,1,9,2049,9317,10,9346,
9365,144,116,97,98,0,1,9,2049,9329,10,9358,9379,144,115,58,112,117,116,0, 9367,144,115,58,112,117,116,0,1,9317,2049,3881,10,9358,9381,144,110,58,112,117,
1,9329,2049,3881,10,9370,9393,144,110,58,112,117,116,0,2049,5964,2049,9379,10,9384, 116,0,2049,5964,2049,9367,10,9372,9395,144,114,101,115,101,116,0,2049,1556,25,771,
9407,144,114,101,115,101,116,0,2049,1556,25,771,1,9407,7,10,9398,9429,144,100, 1,9395,7,10,9386,9417,144,100,117,109,112,45,115,116,97,99,107,0,2049,1556,
117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9429,6,2,2049, 25,3,5,2049,9417,6,2,2049,9381,2049,9341,10,9403,9439,144,70,82,69,69,0,
9393,2049,9353,10,9415,9451,144,70,82,69,69,0,2049,3528,1,1025,18,2049,1877,18, 2049,3528,1,1025,18,2049,1877,18,10,9431,9457,131,70,105,108,101,115,0,0,9448,
10,9443,9469,131,70,105,108,101,115,0,0,9460,9482,144,105,100,101,110,116,105, 9470,144,105,100,101,110,116,105,102,121,0,3841,9457,2049,2533,1793,9537,1,4,2049,
102,121,0,3841,9469,2049,2533,1793,9549,1,4,2049,9286,2,2049,2568,1793,9537,3,2049, 9274,2,2049,2568,1793,9525,3,2049,3657,73,79,32,68,69,86,73,67,69,32,84,
3657,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52, 89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,85,78,68,0,1,
32,78,79,84,32,70,79,85,78,68,0,1,9500,2049,9379,2049,9342,10,1,9497, 9488,2049,9367,2049,9330,10,1,9485,1793,9532,4097,9457,10,1,9529,2049,64,10,1,9476,
1793,9544,4097,9469,10,1,9541,2049,64,10,1,9488,9,10,9443,9574,144,105,111,58, 9,10,9431,9562,144,105,111,58,102,105,108,101,45,111,112,101,114,97,116,105,
102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9482,3841,9469,2049, 111,110,0,2049,9470,3841,9457,2049,9248,10,9541,0,131,102,105,108,101,58,82,0,
9260,10,9553,0,131,102,105,108,101,58,82,0,9581,1,131,102,105,108,101,58, 9569,1,131,102,105,108,101,58,87,0,9579,2,131,102,105,108,101,58,65,0,
87,0,9591,2,131,102,105,108,101,58,65,0,9601,3,131,102,105,108,101,58, 9589,3,131,102,105,108,101,58,82,43,0,9599,9623,144,102,105,108,101,58,111,
82,43,0,9611,9635,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,9574, 112,101,110,0,1,0,2049,9562,10,9610,9642,144,102,105,108,101,58,99,108,111,
10,9622,9654,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9574,10, 115,101,0,1,1,2049,9562,10,9628,9660,144,102,105,108,101,58,114,101,97,100,
9640,9672,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9574,10,9659,9691, 0,1,2,2049,9562,10,9647,9679,144,102,105,108,101,58,119,114,105,116,101,0,
144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9574,10,9677,9709,144, 1,3,2049,9562,10,9665,9697,144,102,105,108,101,58,116,101,108,108,0,1,4,
102,105,108,101,58,116,101,108,108,0,1,4,2049,9574,10,9696,9727,144,102,105, 2049,9562,10,9684,9715,144,102,105,108,101,58,115,101,101,107,0,1,5,2049,9562,
108,101,58,115,101,101,107,0,1,5,2049,9574,10,9714,9745,144,102,105,108,101, 10,9702,9733,144,102,105,108,101,58,115,105,122,101,0,1,6,2049,9562,10,9720,
58,115,105,122,101,0,1,6,2049,9574,10,9732,9765,144,102,105,108,101,58,100, 9753,144,102,105,108,101,58,100,101,108,101,116,101,0,1,7,2049,9562,10,9738,
101,108,101,116,101,0,1,7,2049,9574,10,9750,9784,144,102,105,108,101,58,102, 9772,144,102,105,108,101,58,102,108,117,115,104,0,1,8,2049,9562,10,9758,9793,
108,117,115,104,0,1,8,2049,9574,10,9770,9805,144,102,105,108,101,58,101,120, 144,102,105,108,101,58,101,120,105,115,116,115,63,0,1,0,2049,9623,2,2049,
105,115,116,115,63,0,1,0,2049,9635,2,2049,2549,1793,9819,2049,9654,2049,2356,10, 2549,1793,9807,2049,9642,2049,2356,10,1,9802,1793,9815,3,2049,2368,10,1,9811,2049,64,
1,9814,1793,9827,3,2049,2368,10,1,9823,2049,64,10,9789,9858,144,102,105,108,101, 10,9777,9846,144,102,105,108,101,58,111,112,101,110,60,102,111,114,45,114,101,
58,111,112,101,110,60,102,111,114,45,114,101,97,100,105,110,103,62,0,1, 97,100,105,110,103,62,0,1,0,2049,9623,2,2049,9733,4,10,9820,9880,144,102,
0,2049,9635,2,2049,9745,4,10,9832,9892,144,102,105,108,101,58,111,112,101,110, 105,108,101,58,111,112,101,110,60,102,111,114,45,97,112,112,101,110,100,62,
60,102,111,114,45,97,112,112,101,110,100,62,0,1,2,2049,9635,2,2049,9745, 0,1,2,2049,9623,2,2049,9733,4,10,9855,9915,144,102,105,108,101,58,111,112,
4,10,9867,9927,144,102,105,108,101,58,111,112,101,110,60,102,111,114,45,119, 101,110,60,102,111,114,45,119,114,105,116,105,110,103,62,0,1,1,2049,9623,
114,105,116,105,110,103,62,0,1,1,2049,9635,10,9901,9939,131,70,73,68,0, 10,9889,9927,131,70,73,68,0,0,9920,9936,131,83,105,122,101,0,0,9928,9947,
0,9932,9948,131,83,105,122,101,0,0,9940,9959,131,65,99,116,105,111,110,0, 131,65,99,116,105,111,110,0,0,9937,9958,131,66,117,102,102,101,114,0,0,
0,9949,9970,131,66,117,102,102,101,114,0,0,9960,9980,144,45,101,111,102,63, 9948,9968,144,45,101,111,102,63,0,3841,9927,2049,9697,3841,9936,13,10,9959,9988,144,
0,3841,9939,2049,9709,3841,9948,13,10,9971,10000,144,112,114,101,115,101,114,118,101, 112,114,101,115,101,114,118,101,0,1,9927,1793,9999,1,9936,1,21,2049,3082,10,
0,1,9939,1793,10011,1,9948,1,21,2049,3082,10,1,10004,2049,3082,10,9901,10034,144, 1,9992,2049,3082,10,9889,10022,144,102,105,108,101,58,114,101,97,100,45,108,105,
102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9939,1793,10091,2049, 110,101,0,4097,9927,1793,10079,2049,1877,2,4097,9958,2049,3439,1793,10071,3841,9927,2049,9660,
1877,2,4097,9970,2049,3439,1793,10083,3841,9939,2049,9672,2,2049,3347,1793,10060,1,13,11, 2,2049,3347,1793,10048,1,13,11,10,1,10044,1793,10056,1,10,11,10,1,10052,1793,
10,1,10056,1793,10068,1,10,11,10,1,10064,1793,10076,1,0,11,10,1,10072,2049, 10064,1,0,11,10,1,10060,2049,2165,22,22,10,1,10035,2049,2256,2049,3371,3,10,
2165,22,22,10,1,10047,2049,2256,2049,3371,3,10,1,10038,2049,3463,3841,9970,10,10016, 1,10026,2049,3463,3841,9958,10,10004,10108,144,102,105,108,101,58,102,111,114,45,101,
10120,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,101, 97,99,104,45,108,105,110,101,0,1793,10139,4097,9947,2049,9846,4097,9927,4097,9936,1793,
0,1793,10151,4097,9959,2049,9858,4097,9939,4097,9948,1793,10142,3841,9939,2049,10034,3841,9959,8, 10130,3841,9927,2049,10022,3841,9947,8,2049,9968,10,1,10120,2049,2233,3841,9927,2049,9642,10,
2049,9980,10,1,10132,2049,2233,3841,9939,2049,9654,10,1,10122,2049,10000,10,10098,10163,131, 1,10110,2049,9988,10,10086,10151,131,70,73,68,0,0,10086,10166,144,102,105,108,101,
70,73,68,0,0,10098,10178,144,102,105,108,101,58,115,108,117,114,112,0,1793, 58,115,108,117,114,112,0,1793,10193,4,2049,3439,2049,9846,4097,10151,1793,10184,3841,10151,
10205,4,2049,3439,2049,9858,4097,10163,1793,10196,3841,10163,2049,9672,2049,3347,10,1,10189,2049, 2049,9660,2049,3347,10,1,10177,2049,2281,3841,10151,2049,9642,10,1,10168,2049,3463,10,10152,
2281,3841,10163,2049,9654,10,1,10180,2049,3463,10,10164,10223,144,102,105,108,101,58,115, 10211,144,102,105,108,101,58,115,112,101,119,0,2049,9915,4,1793,10220,67502597,2049,9679,
112,101,119,0,2049,9927,4,1793,10232,67502597,2049,9691,10,1,10228,2049,3881,2049,9654,10, 10,1,10216,2049,3881,2049,9642,10,10198,10234,131,70,80,85,0,0,10227,10247,144,105,
10210,10246,131,70,80,85,0,0,10239,10259,144,105,100,101,110,116,105,102,121,0, 100,101,110,116,105,102,121,0,3841,10234,2049,2533,1793,10314,1,2,2049,9274,2,2049,
3841,10246,2049,2533,1793,10326,1,2,2049,9286,2,2049,2568,1793,10314,3,2049,3657,73,79, 2568,1793,10302,3,2049,3657,73,79,32,68,69,86,73,67,69,32,84,89,80,69,
32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,50,32,78,79, 32,48,48,48,50,32,78,79,84,32,70,79,85,78,68,0,1,10265,2049,9367,
84,32,70,79,85,78,68,0,1,10277,2049,9379,2049,9342,10,1,10274,1793,10321,4097, 2049,9330,10,1,10262,1793,10309,4097,10234,10,1,10306,2049,64,10,1,10253,9,10,10198,
10246,10,1,10318,2049,64,10,1,10265,9,10,10210,10352,144,105,111,58,102,108,111, 10340,144,105,111,58,102,108,111,97,116,45,111,112,101,114,97,116,105,111,110,
97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10259,3841,10246,2049,9260,10, 0,2049,10247,3841,10234,2049,9248,10,10318,10361,144,110,58,116,111,45,102,108,111,97,
10330,10373,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10352,10,10359, 116,0,1,0,2049,10340,10,10347,10380,144,115,58,116,111,45,102,108,111,97,116,
10392,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10352,10,10378,10412, 0,1,1,2049,10340,10,10366,10400,144,102,58,116,111,45,110,117,109,98,101,114,
144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10352,10,10397,10432, 0,1,2,2049,10340,10,10385,10420,144,102,58,116,111,45,115,116,114,105,110,103,
144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3638,2,1,3,2049,10352, 0,2049,3638,2,1,3,2049,10340,10,10405,10435,144,102,58,43,0,1,4,2049,10340,
10,10417,10447,144,102,58,43,0,1,4,2049,10352,10,10440,10459,144,102,58,45,0, 10,10428,10447,144,102,58,45,0,1,5,2049,10340,10,10440,10459,144,102,58,42,0,
1,5,2049,10352,10,10452,10471,144,102,58,42,0,1,6,2049,10352,10,10464,10483,144, 1,6,2049,10340,10,10452,10471,144,102,58,47,0,1,7,2049,10340,10,10464,10487,144,
102,58,47,0,1,7,2049,10352,10,10476,10499,144,102,58,102,108,111,111,114,0, 102,58,102,108,111,111,114,0,1,8,2049,10340,10,10476,10505,144,102,58,99,101,
1,8,2049,10352,10,10488,10517,144,102,58,99,101,105,108,105,110,103,0,1,9, 105,108,105,110,103,0,1,9,2049,10340,10,10492,10520,144,102,58,115,113,114,116,
2049,10352,10,10504,10532,144,102,58,115,113,114,116,0,1,10,2049,10352,10,10522,10546, 0,1,10,2049,10340,10,10510,10534,144,102,58,101,113,63,0,1,11,2049,10340,10,
144,102,58,101,113,63,0,1,11,2049,10352,10,10537,10561,144,102,58,45,101,113, 10525,10549,144,102,58,45,101,113,63,0,1,12,2049,10340,10,10539,10563,144,102,58,
63,0,1,12,2049,10352,10,10551,10575,144,102,58,108,116,63,0,1,13,2049,10352, 108,116,63,0,1,13,2049,10340,10,10554,10577,144,102,58,103,116,63,0,1,14,
10,10566,10589,144,102,58,103,116,63,0,1,14,2049,10352,10,10580,10605,144,102,58, 2049,10340,10,10568,10593,144,102,58,100,101,112,116,104,0,1,15,2049,10340,10,10582,
100,101,112,116,104,0,1,15,2049,10352,10,10594,10619,144,102,58,100,117,112,0, 10607,144,102,58,100,117,112,0,1,16,2049,10340,10,10598,10622,144,102,58,100,114,
1,16,2049,10352,10,10610,10634,144,102,58,100,114,111,112,0,1,17,2049,10352,10, 111,112,0,1,17,2049,10340,10,10612,10637,144,102,58,115,119,97,112,0,1,18,
10624,10649,144,102,58,115,119,97,112,0,1,18,2049,10352,10,10639,10663,144,102,58, 2049,10340,10,10627,10651,144,102,58,108,111,103,0,1,19,2049,10340,10,10642,10667,144,
108,111,103,0,1,19,2049,10352,10,10654,10679,144,102,58,112,111,119,101,114,0, 102,58,112,111,119,101,114,0,1,20,2049,10340,10,10656,10681,144,102,58,115,105,
1,20,2049,10352,10,10668,10693,144,102,58,115,105,110,0,1,21,2049,10352,10,10684, 110,0,1,21,2049,10340,10,10672,10695,144,102,58,99,111,115,0,1,22,2049,10340,
10707,144,102,58,99,111,115,0,1,22,2049,10352,10,10698,10721,144,102,58,116,97, 10,10686,10709,144,102,58,116,97,110,0,1,23,2049,10340,10,10700,10724,144,102,58,
110,0,1,23,2049,10352,10,10712,10736,144,102,58,97,115,105,110,0,1,24,2049, 97,115,105,110,0,1,24,2049,10340,10,10714,10739,144,102,58,97,99,111,115,0,
10352,10,10726,10751,144,102,58,97,99,111,115,0,1,25,2049,10352,10,10741,10766,144, 1,25,2049,10340,10,10729,10754,144,102,58,97,116,97,110,0,1,26,2049,10340,10,
102,58,97,116,97,110,0,1,26,2049,10352,10,10756,10781,144,102,58,112,117,115, 10744,10769,144,102,58,112,117,115,104,0,1,27,2049,10340,10,10759,10783,144,102,58,
104,0,1,27,2049,10352,10,10771,10795,144,102,58,112,111,112,0,1,28,2049,10352, 112,111,112,0,1,28,2049,10340,10,10774,10800,144,102,58,97,100,101,112,116,104,
10,10786,10812,144,102,58,97,100,101,112,116,104,0,1,29,2049,10352,10,10800,10829, 0,1,29,2049,10340,10,10788,10817,144,102,58,115,113,117,97,114,101,0,2049,10607,
144,102,58,115,113,117,97,114,101,0,2049,10619,2049,10471,10,10817,10844,144,102,58, 2049,10459,10,10805,10832,144,102,58,111,118,101,114,0,2049,10769,2049,10607,2049,10783,2049,
111,118,101,114,0,2049,10781,2049,10619,2049,10795,2049,10649,10,10834,10863,144,102,58,116, 10637,10,10822,10851,144,102,58,116,117,99,107,0,2049,10607,2049,10769,2049,10637,2049,10783,
117,99,107,0,2049,10619,2049,10781,2049,10649,2049,10795,10,10853,10881,144,102,58,110,105, 10,10841,10869,144,102,58,110,105,112,0,2049,10637,2049,10622,10,10860,10889,144,102,58,
112,0,2049,10649,2049,10634,10,10872,10901,144,102,58,100,114,111,112,45,112,97,105, 100,114,111,112,45,112,97,105,114,0,2049,10622,2049,10622,10,10874,10908,144,102,58,
114,0,2049,10634,2049,10634,10,10886,10920,144,102,58,100,117,112,45,112,97,105,114, 100,117,112,45,112,97,105,114,0,2049,10832,2049,10832,10,10894,10922,144,102,58,114,
0,2049,10844,2049,10844,10,10906,10934,144,102,58,114,111,116,0,2049,10781,2049,10649,2049, 111,116,0,2049,10769,2049,10637,2049,10783,2049,10637,10,10913,10946,144,102,58,112,111,115,
10795,2049,10649,10,10925,10958,144,102,58,112,111,115,105,116,105,118,101,63,0,1, 105,116,105,118,101,63,0,1,0,2049,10361,2049,10577,10,10931,10968,144,102,58,110,
0,2049,10373,2049,10589,10,10943,10980,144,102,58,110,101,103,97,116,105,118,101,63, 101,103,97,116,105,118,101,63,0,1,0,2049,10361,2049,10563,10,10953,10987,144,102,
0,1,0,2049,10373,2049,10575,10,10965,10999,144,102,58,110,101,103,97,116,101,0, 58,110,101,103,97,116,101,0,1,-1,2049,10361,2049,10459,10,10975,11003,144,102,58,
1,-1,2049,10373,2049,10471,10,10987,11015,144,102,58,97,98,115,0,2049,10619,2049,10980, 97,98,115,0,2049,10607,2049,10968,1,10987,9,10,10994,11023,156,112,114,101,102,105,
1,10999,9,10,11006,11035,156,112,114,101,102,105,120,58,46,0,2049,1818,1,3683, 120,58,46,0,2049,1818,1,3683,1,3612,2049,64,1,10380,2049,144,10,11011,11045,144,
1,3612,2049,64,1,10392,2049,144,10,11023,11057,144,102,58,112,117,116,0,2049,10432, 102,58,112,117,116,0,2049,10420,2049,9367,10,11036,11058,144,102,58,80,73,0,2049,
2049,9379,10,11048,11070,144,102,58,80,73,0,2049,3657,51,46,49,52,49,53,57, 3657,51,46,49,52,49,53,57,50,0,1,11060,2049,10380,10,11050,11081,144,102,58,
50,0,1,11072,2049,10392,10,11062,11093,144,102,58,69,0,2049,3657,50,46,55,49, 69,0,2049,3657,50,46,55,49,56,50,56,49,0,1,11083,2049,10380,10,11074,11106,
56,50,56,49,0,1,11095,2049,10392,10,11086,11118,144,102,58,78,65,78,0,2049, 144,102,58,78,65,78,0,2049,3657,48,0,1,11108,2049,10380,2049,3657,48,0,1,
3657,48,0,1,11120,2049,10392,2049,3657,48,0,1,11128,2049,10392,2049,10483,10,11109,11146, 11116,2049,10380,2049,10471,10,11097,11134,144,102,58,73,78,70,0,2049,3657,49,46,48,
144,102,58,73,78,70,0,2049,3657,49,46,48,0,1,11148,2049,10392,2049,3657,48, 0,1,11136,2049,10380,2049,3657,48,0,1,11146,2049,10380,2049,10471,10,11125,11165,144,102,
0,1,11158,2049,10392,2049,10483,10,11137,11177,144,102,58,45,73,78,70,0,2049,3657, 58,45,73,78,70,0,2049,3657,45,49,46,48,0,1,11167,2049,10380,2049,3657,48,
45,49,46,48,0,1,11179,2049,10392,2049,3657,48,0,1,11190,2049,10392,2049,10483,10, 0,1,11178,2049,10380,2049,10471,10,11155,11197,144,102,58,110,97,110,63,0,2049,10607,
11167,11209,144,102,58,110,97,110,63,0,2049,10619,2049,10561,10,11199,11224,144,102,58, 2049,10549,10,11187,11212,144,102,58,105,110,102,63,0,2049,11134,2049,10534,10,11202,11228,
105,110,102,63,0,2049,11146,2049,10546,10,11214,11240,144,102,58,45,105,110,102,63, 144,102,58,45,105,110,102,63,0,2049,11165,2049,10534,10,11217,11244,144,102,58,114,
0,2049,11177,2049,10546,10,11229,11256,144,102,58,114,111,117,110,100,0,2049,10619,2049, 111,117,110,100,0,2049,10607,2049,10968,1793,11265,2049,3657,48,46,53,0,1,11252,2049,
10980,1793,11277,2049,3657,48,46,53,0,1,11264,2049,10392,2049,10459,2049,10517,10,1,11262, 10380,2049,10447,2049,10505,10,1,11250,1793,11284,2049,3657,48,46,53,0,1,11271,2049,10380,
1793,11296,2049,3657,48,46,53,0,1,11283,2049,10392,2049,10447,2049,10499,10,1,11281,2049, 2049,10435,2049,10487,10,1,11269,2049,64,10,11233,11298,144,102,58,109,105,110,0,2049,
64,10,11245,11310,144,102,58,109,105,110,0,2049,10920,2049,10575,1,10634,1,10881,2049, 10908,2049,10563,1,10622,1,10869,2049,64,10,11289,11318,144,102,58,109,97,120,0,2049,
64,10,11301,11330,144,102,58,109,97,120,0,2049,10920,2049,10589,1,10634,1,10881,2049, 10908,2049,10577,1,10622,1,10869,2049,64,10,11309,11340,144,102,58,108,105,109,105,116,
64,10,11321,11352,144,102,58,108,105,109,105,116,0,2049,10649,2049,10781,2049,11310,2049, 0,2049,10637,2049,10769,2049,11298,2049,10783,2049,11318,10,11329,11365,144,102,58,98,101,116,
10795,2049,11330,10,11341,11377,144,102,58,98,101,116,119,101,101,110,63,0,2049,10934, 119,101,101,110,63,0,2049,10922,2049,10607,2049,10769,2049,10922,2049,10922,2049,11340,2049,10783,
2049,10619,2049,10781,2049,10934,2049,10934,2049,11352,2049,10795,2049,10546,10,11363,11403,144,102,58, 2049,10534,10,11351,11391,144,102,58,105,110,99,0,2049,3657,49,0,1,11393,2049,10380,
105,110,99,0,2049,3657,49,0,1,11405,2049,10392,2049,10447,10,11394,11423,144,102,58, 2049,10435,10,11382,11411,144,102,58,100,101,99,0,2049,3657,49,0,1,11413,2049,10380,
100,101,99,0,2049,3657,49,0,1,11425,2049,10392,2049,10459,10,11414,11444,144,102,58, 2049,10447,10,11402,11432,144,102,58,99,97,115,101,0,2049,10832,2049,10534,1793,11444,2049,
99,97,115,101,0,2049,10844,2049,10546,1793,11456,2049,10634,8,1,-1,10,1,11450,1793, 10622,8,1,-1,10,1,11438,1793,11452,3,1,0,10,1,11448,2049,64,25,6,771,
11464,3,1,0,10,1,11460,2049,64,25,6,771,10,11434,11482,144,102,58,115,105, 10,11422,11470,144,102,58,115,105,103,110,0,2049,10607,2049,3657,48,0,1,11474,2049,
103,110,0,2049,10619,2049,3657,48,0,1,11486,2049,10392,2049,10546,1793,11501,1,0,2049, 10380,2049,10534,1793,11489,1,0,2049,10622,10,1,11484,2049,2661,2049,3657,48,0,1,11495,
10634,10,1,11496,2049,2661,2049,3657,48,0,1,11507,2049,10392,2049,10589,1793,11520,1,1, 2049,10380,2049,10577,1793,11508,1,1,10,1,11505,1793,11515,1,-1,10,1,11512,2049,64,
10,1,11517,1793,11527,1,-1,10,1,11524,2049,64,10,11472,2147483645,131,101,58,77,65, 10,11460,2147483645,131,101,58,77,65,88,0,11520,-2147483645,131,101,58,77,73,78,0,11529,
88,0,11532,-2147483645,131,101,58,77,73,78,0,11541,-2147483647,131,101,58,78,65,78,0, -2147483647,131,101,58,78,65,78,0,11538,2147483646,131,101,58,73,78,70,0,11547,-2147483646,131,
11550,2147483646,131,101,58,73,78,70,0,11559,-2147483646,131,101,58,45,73,78,70,0,11568, 101,58,45,73,78,70,0,11556,11574,144,101,58,110,63,0,1,-2147483645,2049,2883,1,
11586,144,101,58,110,63,0,1,-2147483645,2049,2883,1,2147483645,2049,2896,2049,2914,10,11578,11607, 2147483645,2049,2896,2049,2914,10,11566,11595,144,101,58,109,97,120,63,0,1,2147483645,11,10,
144,101,58,109,97,120,63,0,1,2147483645,11,10,11597,11621,144,101,58,109,105,110, 11585,11609,144,101,58,109,105,110,63,0,1,-2147483645,11,10,11599,11624,144,101,58,122,
63,0,1,-2147483645,11,10,11611,11636,144,101,58,122,101,114,111,63,0,2049,2533,10, 101,114,111,63,0,2049,2533,10,11613,11637,144,101,58,110,97,110,63,0,1,-2147483647,
11625,11649,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11639,11663,144,101,58,105, 11,10,11627,11651,144,101,58,105,110,102,63,0,1,2147483646,11,10,11641,11666,144,101,
110,102,63,0,1,2147483646,11,10,11653,11678,144,101,58,45,105,110,102,63,0,1, 58,45,105,110,102,63,0,1,-2147483646,11,10,11655,11680,144,101,58,99,108,105,112,
-2147483646,11,10,11667,11692,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2866,10, 0,1,-2147483645,1,2147483645,2049,2866,10,11670,11695,144,102,58,69,49,0,1793,11697,2049,3657,
11682,11707,144,102,58,69,49,0,1793,11709,2049,3657,49,46,101,53,0,1,11711,2049, 49,46,101,53,0,1,11699,2049,10380,10,11687,11721,144,102,58,45,115,104,105,102,
10392,10,11699,11733,144,102,58,45,115,104,105,102,116,0,2049,11707,2049,10471,10,11721, 116,0,2049,11695,2049,10459,10,11709,11738,144,102,58,43,115,104,105,102,116,0,2049,
11750,144,102,58,43,115,104,105,102,116,0,2049,11707,2049,10483,10,11738,11772,144,102, 11695,2049,10471,10,11726,11760,144,102,58,115,105,103,110,101,100,45,115,113,114,116,
58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10619,2049,11482,2049,11015,2049, 0,2049,10607,2049,11470,2049,11003,2049,10520,2049,10361,2049,10459,10,11743,11786,144,102,58,43,
10532,2049,10373,2049,10471,10,11755,11798,144,102,58,43,101,110,99,111,100,101,0,2049, 101,110,99,111,100,101,0,2049,11760,2049,11721,10,11773,11804,144,102,58,45,101,110,
11772,2049,11733,10,11785,11816,144,102,58,45,101,110,99,111,100,101,0,2049,10619,2049, 99,111,100,101,0,2049,10607,2049,11470,2049,11738,2049,10607,2049,10459,2049,10361,2049,10459,10,
11482,2049,11750,2049,10619,2049,10471,2049,10373,2049,10471,10,11803,11850,144,102,58,115,105,103, 11791,11838,144,102,58,115,105,103,110,101,100,45,115,113,117,97,114,101,0,2049,
110,101,100,45,115,113,117,97,114,101,0,2049,10619,2049,11482,2049,10619,2049,10471,2049, 10607,2049,11470,2049,10607,2049,10459,2049,10361,2049,10459,10,11819,11861,144,102,58,116,111,45,
10373,2049,10471,10,11831,11873,144,102,58,116,111,45,101,0,2049,10619,2049,11209,1793,11884, 101,0,2049,10607,2049,11197,1793,11872,2049,10622,1,-2147483647,10,1,11867,2049,2661,2049,10607,2049,
2049,10634,1,-2147483647,10,1,11879,2049,2661,2049,10619,2049,11224,1793,11899,2049,10634,1,2147483646,10, 11212,1793,11887,2049,10622,1,2147483646,10,1,11882,2049,2661,2049,10607,2049,11228,1793,11902,2049,10622,
1,11894,2049,2661,2049,10619,2049,11240,1793,11914,2049,10634,1,-2147483646,10,1,11909,2049,2661,2049, 1,-2147483646,10,1,11897,2049,2661,2049,11786,2049,11244,2049,10400,2049,11680,1,-2147483645,1793,11921,2049,
11798,2049,11256,2049,10412,2049,11692,1,-2147483645,1793,11933,2049,10634,10,1,11930,2049,2379,1,2147483645, 10622,10,1,11918,2049,2379,1,2147483645,1793,11932,2049,10622,10,1,11929,2049,2379,10,11851,11947,
1793,11944,2049,10634,10,1,11941,2049,2379,10,11863,11959,144,101,58,116,111,45,102,0, 144,101,58,116,111,45,102,0,1,-2147483647,1793,11954,2049,11106,10,1,11951,2049,2379,1,
1,-2147483647,1793,11966,2049,11118,10,1,11963,2049,2379,1,2147483646,1793,11977,2049,11146,10,1,11974, 2147483646,1793,11965,2049,11134,10,1,11962,2049,2379,1,-2147483646,1793,11976,2049,11165,10,1,11973,2049,
2049,2379,1,-2147483646,1793,11988,2049,11177,10,1,11985,2049,2379,2049,10373,2049,11816,10,11949,12008, 2379,2049,10361,2049,11804,10,11937,11996,144,102,58,115,116,111,114,101,0,1793,12001,2049,
144,102,58,115,116,111,114,101,0,1793,12013,2049,11873,10,1,12010,2049,2106,16,10, 11861,10,1,11998,2049,2106,16,10,11985,12018,144,102,58,102,101,116,99,104,0,15,
11997,12030,144,102,58,102,101,116,99,104,0,15,2049,11959,10,12019,12050,144,102,58, 2049,11947,10,12007,12038,144,102,58,100,117,109,112,45,115,116,97,99,107,0,2049,
100,117,109,112,45,115,116,97,99,107,0,2049,10605,2,1,10781,2049,2281,1793,12068, 10593,2,1,10769,2049,2281,1793,12056,2049,10783,2049,10607,2049,11045,2049,9341,10,1,12047,2049,
2049,10795,2049,10619,2049,11057,2049,9353,10,1,12059,2049,2281,10,12034,12090,144,102,58,100, 2281,10,12022,12078,144,102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,
117,109,112,45,97,115,116,97,99,107,0,2049,10812,2,1,10795,2049,2281,1793,12108, 10800,2,1,10783,2049,2281,1793,12096,2049,10607,2049,11045,2049,9341,2049,10769,10,1,12087,2049,
2049,10619,2049,11057,2049,9353,2049,10781,10,1,12099,2049,2281,10,12073,12122,144,101,58,112, 2281,10,12061,12110,144,101,58,112,117,116,0,1,2147483645,1793,12127,2049,3657,101,58,77,
117,116,0,1,2147483645,1793,12139,2049,3657,101,58,77,65,88,0,1,12128,2049,9379,10, 65,88,0,1,12116,2049,9367,10,1,12114,2049,2379,1,-2147483645,1793,12148,2049,3657,101,58,
1,12126,2049,2379,1,-2147483645,1793,12160,2049,3657,101,58,77,73,78,0,1,12149,2049,9379, 77,73,78,0,1,12137,2049,9367,10,1,12135,2049,2379,1,0,1793,12167,2049,3657,101,
10,1,12147,2049,2379,1,0,1793,12179,2049,3657,101,58,48,0,1,12170,2049,9379,10, 58,48,0,1,12158,2049,9367,10,1,12156,2049,2379,1,-2147483647,1793,12188,2049,3657,101,58,
1,12168,2049,2379,1,-2147483647,1793,12200,2049,3657,101,58,78,65,78,0,1,12189,2049,9379, 78,65,78,0,1,12177,2049,9367,10,1,12175,2049,2379,1,2147483646,1793,12209,2049,3657,101,
10,1,12187,2049,2379,1,2147483646,1793,12221,2049,3657,101,58,73,78,70,0,1,12210,2049, 58,73,78,70,0,1,12198,2049,9367,10,1,12196,2049,2379,1,-2147483646,1793,12231,2049,3657,
9379,10,1,12208,2049,2379,1,-2147483646,1793,12243,2049,3657,101,58,45,73,78,70,0,1, 101,58,45,73,78,70,0,1,12219,2049,9367,10,1,12217,2049,2379,2049,11947,2049,11045,
12231,2049,9379,10,1,12229,2049,2379,2049,11959,2049,11057,10,12113,12270,131,105,111,58,85, 10,12101,12258,131,105,111,58,85,110,105,120,83,121,115,99,97,108,108,0,0,
110,105,120,83,121,115,99,97,108,108,0,0,12252,12283,144,105,100,101,110,116, 12240,12271,144,105,100,101,110,116,105,102,121,0,3841,12258,2049,2533,1793,12338,1,8,
105,102,121,0,3841,12270,2049,2533,1793,12350,1,8,2049,9286,2,2049,2568,1793,12338,3, 2049,9274,2,2049,2568,1793,12326,3,2049,3657,73,79,32,68,69,86,73,67,69,32,
2049,3657,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48, 84,89,80,69,32,48,48,48,56,32,78,79,84,32,70,79,85,78,68,0,
56,32,78,79,84,32,70,79,85,78,68,0,1,12301,2049,9379,2049,9342,10,1, 1,12289,2049,9367,2049,9330,10,1,12286,1793,12333,4097,12258,10,1,12330,2049,64,10,1,
12298,1793,12345,4097,12270,10,1,12342,2049,64,10,1,12289,9,10,12113,12373,144,105,111, 12277,9,10,12101,12361,144,105,111,58,117,110,105,120,45,115,121,115,99,97,108,
58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12283,3841,12270,2049,9260, 108,0,2049,12271,3841,12258,2049,9248,10,12342,12383,144,117,110,105,120,58,115,121,115,
10,12354,12395,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12373, 116,101,109,0,1,0,2049,12361,10,12368,12401,144,117,110,105,120,58,102,111,114,
10,12380,12413,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12373,10,12400, 107,0,1,1,2049,12361,10,12388,12420,144,117,110,105,120,58,101,120,101,99,48,
12432,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12373,10,12418,12451, 0,1,2,2049,12361,10,12406,12439,144,117,110,105,120,58,101,120,101,99,49,0,
144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12373,10,12437,12470,144, 1,3,2049,12361,10,12425,12458,144,117,110,105,120,58,101,120,101,99,50,0,1,
117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12373,10,12456,12489,144,117, 4,2049,12361,10,12444,12477,144,117,110,105,120,58,101,120,101,99,51,0,1,5,
110,105,120,58,101,120,101,99,51,0,1,5,2049,12373,10,12475,12507,144,117,110, 2049,12361,10,12463,12495,144,117,110,105,120,58,101,120,105,116,0,1,6,2049,12361,
105,120,58,101,120,105,116,0,1,6,2049,12373,10,12494,12527,144,117,110,105,120, 10,12482,12515,144,117,110,105,120,58,103,101,116,112,105,100,0,1,7,2049,12361,
58,103,101,116,112,105,100,0,1,7,2049,12373,10,12512,12545,144,117,110,105,120, 10,12500,12533,144,117,110,105,120,58,119,97,105,116,0,1,8,2049,12361,10,12520,
58,119,97,105,116,0,1,8,2049,12373,10,12532,12563,144,117,110,105,120,58,107, 12551,144,117,110,105,120,58,107,105,108,108,0,1,9,2049,12361,10,12538,12570,144,
105,108,108,0,1,9,2049,12373,10,12550,12582,144,117,110,105,120,58,112,111,112, 117,110,105,120,58,112,111,112,101,110,0,1,10,2049,12361,10,12556,12590,144,117,
101,110,0,1,10,2049,12373,10,12568,12602,144,117,110,105,120,58,112,99,108,111, 110,105,120,58,112,99,108,111,115,101,0,1,11,2049,12361,10,12575,12609,144,117,
115,101,0,1,11,2049,12373,10,12587,12621,144,117,110,105,120,58,99,104,100,105, 110,105,120,58,99,104,100,105,114,0,1,13,2049,12361,10,12595,12629,144,117,110,
114,0,1,13,2049,12373,10,12607,12641,144,117,110,105,120,58,103,101,116,101,110, 105,120,58,103,101,116,101,110,118,0,1,14,2049,12361,10,12614,12649,144,117,110,
118,0,1,14,2049,12373,10,12626,12661,144,117,110,105,120,58,112,117,116,101,110, 105,120,58,112,117,116,101,110,118,0,1,15,2049,12361,10,12634,12668,144,117,110,
118,0,1,15,2049,12373,10,12646,12680,144,117,110,105,120,58,115,108,101,101,112, 105,120,58,115,108,101,101,112,0,1,16,2049,12361,10,12654,12689,144,117,110,105,
0,1,16,2049,12373,10,12666,12701,144,117,110,105,120,58,103,101,116,45,99,119, 120,58,103,101,116,45,99,119,100,0,2049,3657,112,119,100,0,1,12691,1,0,
100,0,2049,3657,112,119,100,0,1,12703,1,0,2049,12582,2,2049,10034,2049,5904,4, 2049,12570,2,2049,10022,2049,5904,4,2049,12590,2049,3657,47,0,1,12711,2049,3863,10,12673,
2049,12602,2049,3657,47,0,1,12723,2049,3863,10,12685,12757,144,117,110,105,120,58,99, 12745,144,117,110,105,120,58,99,111,117,110,116,45,102,105,108,101,115,45,105,
111,117,110,116,45,102,105,108,101,115,45,105,110,45,99,119,100,0,2049,3657, 110,45,99,119,100,0,2049,3657,108,115,32,45,49,32,124,32,119,99,32,45,
108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12759,1,0,2049,12582, 108,0,1,12747,1,0,2049,12570,2,2049,10022,2049,5904,2049,218,4,2049,12590,10,12718,
2,2049,10034,2049,5904,2049,218,4,2049,12602,10,12730,12812,144,117,110,105,120,58,102, 12800,144,117,110,105,120,58,102,111,114,45,101,97,99,104,45,102,105,108,101,
111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3657,108,115,32,45,49, 0,2049,3657,108,115,32,45,49,32,45,112,0,1,12802,1,0,2049,12570,2049,12745,
32,45,112,0,1,12814,1,0,2049,12582,2049,12757,1793,12847,1793,12842,2049,10034,2049,3612, 1793,12835,1793,12830,2049,10022,2049,3612,67502597,8,10,1,12823,2049,2116,10,1,12821,2049,2281,
67502597,8,10,1,12835,2049,2116,10,1,12833,2049,2281,2049,12602,3,10,12790,12864,144,115, 2049,12590,3,10,12778,12852,144,115,116,97,114,116,0,4,2049,3439,1,0,2049,12570,
116,97,114,116,0,4,2049,3439,1,0,2049,12582,10,12855,12880,144,114,101,97,100, 10,12843,12868,144,114,101,97,100,0,2,2049,9660,2,2049,3347,2049,2533,10,12860,12887,
0,2,2049,9672,2,2049,3347,2049,2533,10,12872,12899,144,102,105,110,105,115,104,0, 144,102,105,110,105,115,104,0,2049,12590,2049,3419,10,12778,12911,144,117,110,105,120,
2049,12602,2049,3419,10,12790,12923,144,117,110,105,120,58,115,108,117,114,112,45,112, 58,115,108,117,114,112,45,112,105,112,101,0,1793,12927,2049,12852,1793,12920,2049,12868,
105,112,101,0,1793,12939,2049,12864,1793,12932,2049,12880,10,1,12929,2049,2256,2049,12899,10, 10,1,12917,2049,2256,2049,12887,10,1,12913,2049,3463,10,12892,12938,131,105,111,0,0,
1,12925,2049,3463,10,12904,12950,131,105,111,0,0,12944,12963,144,105,100,101,110,116, 12932,12951,144,105,100,101,110,116,105,102,121,0,3841,12938,2049,2533,1793,13018,1,10,
105,102,121,0,3841,12950,2049,2533,1793,13030,1,10,2049,9286,2,2049,2568,1793,13018,3, 2049,9274,2,2049,2568,1793,13006,3,2049,3657,73,79,32,68,69,86,73,67,69,32,
2049,3657,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,49, 84,89,80,69,32,48,48,49,48,32,78,79,84,32,70,79,85,78,68,0,
48,32,78,79,84,32,70,79,85,78,68,0,1,12981,2049,9379,2049,9342,10,1, 1,12969,2049,9367,2049,9330,10,1,12966,1793,13013,4097,12938,10,1,13010,2049,64,10,1,
12978,1793,13025,4097,12950,10,1,13022,2049,64,10,1,12969,9,10,12904,13054,144,105,111, 12957,9,10,12892,13042,144,105,111,58,114,110,103,45,111,112,101,114,97,116,105,
58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12963,3841,12950,2049, 111,110,0,2049,12951,3841,12938,2049,9248,10,13022,13061,144,110,58,114,97,110,100,111,
9260,10,13034,13073,144,110,58,114,97,110,100,111,109,0,2049,13054,10,13061,13087,131, 109,0,2049,13042,10,13049,13075,131,83,111,99,107,101,116,115,0,0,13064,13088,144,
83,111,99,107,101,116,115,0,0,13076,13100,144,105,100,101,110,116,105,102,121, 105,100,101,110,116,105,102,121,0,3841,13075,2049,2533,1793,13155,1,7,2049,9274,2,
0,3841,13087,2049,2533,1793,13167,1,7,2049,9286,2,2049,2568,1793,13155,3,2049,3657,73, 2049,2568,1793,13143,3,2049,3657,73,79,32,68,69,86,73,67,69,32,84,89,80,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52,32,78, 69,32,48,48,48,52,32,78,79,84,32,70,79,85,78,68,0,1,13106,2049,
79,84,32,70,79,85,78,68,0,1,13118,2049,9379,2049,9342,10,1,13115,1793,13162, 9367,2049,9330,10,1,13103,1793,13150,4097,13075,10,1,13147,2049,64,10,1,13094,9,10,
4097,13087,10,1,13159,2049,64,10,1,13106,9,10,13061,13194,144,105,111,58,115,111, 13049,13182,144,105,111,58,115,111,99,107,101,116,45,111,112,101,114,97,116,105,
99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13100,3841,13087,2049, 111,110,0,2049,13088,3841,13075,2049,9248,10,13159,13213,144,115,111,99,107,101,116,58,
9260,10,13171,13225,144,115,111,99,107,101,116,58,103,101,116,104,111,115,116,98, 103,101,116,104,111,115,116,98,121,110,97,109,101,0,1,0,2049,13182,10,13189,
121,110,97,109,101,0,1,0,2049,13194,10,13201,13247,144,115,111,99,107,101,116, 13235,144,115,111,99,107,101,116,58,99,114,101,97,116,101,0,1,1,2049,13182,
58,99,114,101,97,116,101,0,1,1,2049,13194,10,13230,13267,144,115,111,99,107, 10,13218,13255,144,115,111,99,107,101,116,58,98,105,110,100,0,1,2,2049,13182,
101,116,58,98,105,110,100,0,1,2,2049,13194,10,13252,13289,144,115,111,99,107, 10,13240,13277,144,115,111,99,107,101,116,58,108,105,115,116,101,110,0,1,3,
101,116,58,108,105,115,116,101,110,0,1,3,2049,13194,10,13272,13311,144,115,111, 2049,13182,10,13260,13299,144,115,111,99,107,101,116,58,97,99,99,101,112,116,0,
99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,13194,10,13294,13334,144, 1,4,2049,13182,10,13282,13322,144,115,111,99,107,101,116,58,99,111,110,110,101,
115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13194,10, 99,116,0,1,5,2049,13182,10,13304,13342,144,115,111,99,107,101,116,58,115,101,
13316,13354,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13194,10, 110,100,0,1,6,2049,13182,10,13327,13362,144,115,111,99,107,101,116,58,114,101,
13339,13374,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13194,10, 99,118,0,1,8,2049,13182,10,13347,13383,144,115,111,99,107,101,116,58,99,108,
13359,13395,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,13194, 111,115,101,0,1,10,2049,13182,10,13367,13408,144,115,111,99,107,101,116,58,99,
10,13379,13420,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,101, 111,110,102,105,103,117,114,101,0,1,11,2049,13182,10,13388,1024,131,84,73,66,
0,1,11,2049,13194,10,13400,1024,131,84,73,66,0,13425,13446,144,105,109,97,103, 0,13413,13434,144,105,109,97,103,101,58,115,97,118,101,0,1,1000,2049,9274,2049,
101,58,115,97,118,101,0,1,1000,2049,9286,2049,9260,10,13432,13465,131,75,101,121, 9248,10,13420,13453,131,75,101,121,98,111,97,114,100,0,0,13441,13466,144,105,100,
98,111,97,114,100,0,0,13453,13478,144,105,100,101,110,116,105,102,121,0,3841, 101,110,116,105,102,121,0,3841,13453,2049,2533,1793,13533,1,1,2049,9274,2,2049,2568,
13465,2049,2533,1793,13545,1,1,2049,9286,2,2049,2568,1793,13533,3,2049,3657,73,79,32, 1793,13521,3,2049,3657,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,
68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,49,32,78,79,84, 48,48,48,49,32,78,79,84,32,70,79,85,78,68,0,1,13484,2049,9367,2049,
32,70,79,85,78,68,0,1,13496,2049,9379,2049,9342,10,1,13493,1793,13540,4097,13465, 9330,10,1,13481,1793,13528,4097,13453,10,1,13525,2049,64,10,1,13472,9,10,13420,13546,
10,1,13537,2049,64,10,1,13484,9,10,13432,13558,144,99,58,103,101,116,0,2049, 144,99,58,103,101,116,0,2049,13466,3841,13453,2049,9248,10,13537,13563,144,103,97,116,
13478,3841,13465,2049,9260,10,13549,13575,144,103,97,116,104,101,114,0,2,1793,13582,1, 104,101,114,0,2,1793,13570,1,8,11,10,1,13566,1793,13578,1,127,11,10,1,
8,11,10,1,13578,1793,13590,1,127,11,10,1,13586,2049,2128,22,1,11,1,3347, 13574,2049,2128,22,1,11,1,3347,2049,64,10,13553,13599,144,99,121,99,108,101,0,
2049,64,10,13565,13611,144,99,121,99,108,101,0,2049,13558,2049,2096,4,8,2049,2465, 2049,13546,2049,2096,4,8,2049,2465,25,3,2049,13563,1,13599,7,10,13537,13630,144,112,
25,3,2049,13575,1,13611,7,10,13549,13642,144,112,97,114,115,101,45,117,110,116, 97,114,115,101,45,117,110,116,105,108,0,1793,13642,2049,3638,2049,3439,2049,13599,771,
105,108,0,1793,13654,2049,3638,2049,3439,2049,13611,771,2049,3313,10,1,13644,2049,3463,10, 2049,3313,10,1,13632,2049,3463,10,13615,13656,144,115,58,103,101,116,0,1793,13678,1793,
13627,13668,144,115,58,103,101,116,0,1793,13690,1793,13676,1,10,11,10,1,13672,1793, 13664,1,10,11,10,1,13660,1793,13672,1,13,11,10,1,13668,2049,2128,22,10,1,
13684,1,13,11,10,1,13680,2049,2128,22,10,1,13670,2049,13642,10,13659,13709,144,115, 13658,2049,13630,10,13647,13697,144,115,58,103,101,116,45,119,111,114,100,0,1,5496,
58,103,101,116,45,119,111,114,100,0,1,5496,2049,13642,10,13695,13727,131,83,99, 2049,13630,10,13683,13715,131,83,99,114,105,112,116,105,110,103,0,7,13702,13728,144,
114,105,112,116,105,110,103,0,7,13714,13740,144,105,100,101,110,116,105,102,121, 105,100,101,110,116,105,102,121,0,3841,13715,2049,2533,1793,13795,1,9,2049,9274,2,
0,3841,13727,2049,2533,1793,13807,1,9,2049,9286,2,2049,2568,1793,13795,3,2049,3657,73, 2049,2568,1793,13783,3,2049,3657,73,79,32,68,69,86,73,67,69,32,84,89,80,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,57,32,78, 69,32,48,48,48,57,32,78,79,84,32,70,79,85,78,68,0,1,13746,2049,
79,84,32,70,79,85,78,68,0,1,13758,2049,9379,2049,9342,10,1,13755,1793,13802, 9367,2049,9330,10,1,13743,1793,13790,4097,13715,10,1,13787,2049,64,10,1,13734,9,10,
4097,13727,10,1,13799,2049,64,10,1,13746,9,10,13695,13823,144,115,121,115,58,97, 13683,13811,144,115,121,115,58,97,114,103,99,0,2049,13728,1,0,3841,13715,2049,9248,
114,103,99,0,2049,13740,1,0,3841,13727,2049,9260,10,13811,13844,144,115,121,115,58, 10,13799,13832,144,115,121,115,58,97,114,103,118,0,2049,3638,4,2049,13728,1,1,
97,114,103,118,0,2049,3638,4,2049,13740,1,1,3841,13727,2049,9260,10,13832,13867,144, 3841,13715,2049,9248,10,13820,13855,144,105,110,99,108,117,100,101,0,2049,13728,1,2,
105,110,99,108,117,100,101,0,2049,13740,1,2,3841,13727,2049,9260,10,13856,13888,144, 3841,13715,2049,9248,10,13844,13876,144,115,121,115,58,110,97,109,101,0,2049,3638,2049,
115,121,115,58,110,97,109,101,0,2049,3638,2049,13740,1,3,3841,13727,2049,9260,10, 13728,1,3,3841,13715,2049,9248,10,13864,13896,144,99,108,101,97,114,0,1,27,2049,
13876,13908,144,99,108,101,97,114,0,1,27,2049,9329,2049,3657,91,50,74,0,1, 9317,2049,3657,91,50,74,0,1,13902,2049,9367,1,27,2049,9317,2049,3657,91,48,59,
13914,2049,9379,1,27,2049,9329,2049,3657,91,48,59,48,72,0,1,13928,2049,9379,10, 48,72,0,1,13916,2049,9367,10,13887,13937,131,78,111,69,99,104,111,0,0,13927,
13899,13949,131,78,111,69,99,104,111,0,0,13939,13957,144,98,121,101,0,1,0, 13945,144,98,121,101,0,1,0,2049,12495,10,13938,13961,144,118,101,114,115,105,111,
2049,12507,10,13950,13973,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10, 110,0,3841,4,1,100,20,10,13950,13976,144,100,111,110,101,63,0,1793,13982,1,
13962,13988,144,100,111,110,101,63,0,1793,13994,1,13,11,10,1,13990,1793,14002,1, 13,11,10,1,13978,1793,13990,1,10,11,10,1,13986,1793,13998,1,32,11,10,1,
10,11,10,1,13998,1793,14010,1,32,11,10,1,14006,2049,2165,22,22,10,13979,14027, 13994,2049,2165,22,22,10,13967,14015,144,118,97,108,105,100,63,0,2,2049,79,2049,
144,118,97,108,105,100,63,0,2,2049,79,2049,2615,10,14017,14046,144,99,104,101, 2615,10,14005,14034,144,99,104,101,99,107,45,101,111,102,0,2,1793,14041,1,-1,
99,107,45,101,111,102,0,2,1793,14053,1,-1,11,10,1,14049,1793,14061,1,4, 11,10,1,14037,1793,14049,1,4,11,10,1,14045,2049,2128,22,1,13945,9,10,14021,
11,10,1,14057,2049,2128,22,1,13957,9,10,14033,14076,144,98,115,0,2049,3371,2049, 14064,144,98,115,0,2049,3371,2049,3371,771,10,14058,14082,144,99,104,101,99,107,45,
3371,771,10,14070,14094,144,99,104,101,99,107,45,98,115,0,2,1793,14101,1,8, 98,115,0,2,1793,14089,1,8,11,10,1,14085,1793,14097,1,127,11,10,1,14093,
11,10,1,14097,1793,14109,1,127,11,10,1,14105,2049,2128,22,1,14076,9,10,14082, 2049,2128,22,1,14064,9,10,14070,14115,144,99,104,101,99,107,0,2049,14034,2049,14082,
14127,144,99,104,101,99,107,0,2049,14046,2049,14094,10,14118,14145,144,99,104,97,114, 10,14106,14133,144,99,104,97,114,97,99,116,101,114,0,2049,13546,2,2049,3347,10,
97,99,116,101,114,0,2049,13558,2,2049,3347,10,14132,14161,144,98,117,102,102,101, 14120,14149,144,98,117,102,102,101,114,0,1793,14159,1,1024,2049,3439,8,2049,3313,10,
114,0,1793,14171,1,1024,2049,3439,8,2049,3313,10,1,14163,2049,3463,10,14151,14190,144, 1,14151,2049,3463,10,14139,14178,144,114,101,97,100,45,116,111,107,101,110,0,1793,
114,101,97,100,45,116,111,107,101,110,0,1793,14206,1793,14201,2049,14145,2049,14127,2049, 14194,1793,14189,2049,14133,2049,14115,2049,13976,10,1,14182,2049,2256,10,1,14180,2049,14149,2049,
13988,10,1,14194,2049,2256,10,1,14192,2049,14161,2049,3735,10,14176,14222,144,105,110,112, 3735,10,14164,14210,144,105,110,112,117,116,0,2049,14178,2049,14015,10,14201,14226,144,112,
117,116,0,2049,14190,2049,14027,10,14213,14238,144,112,114,111,99,101,115,115,0,1, 114,111,99,101,115,115,0,1,365,1,11,2049,64,10,13938,14243,144,98,97,110,
365,1,11,2049,64,10,13950,14255,144,98,97,110,110,101,114,0,2049,13973,2049,3657, 110,101,114,0,2049,13961,2049,3657,82,69,84,82,79,32,49,50,32,40,37,110,
82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1, 46,37,110,41,92,110,0,1,14247,2049,7180,2049,9367,2049,1543,2049,1877,18,2049,1877,
14259,2049,7180,2049,9379,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3657,37,110,32,77, 2049,1543,2049,3657,37,110,32,77,97,120,44,32,37,110,32,85,115,101,100,44,
97,120,44,32,37,110,32,85,115,101,100,44,32,37,110,32,70,114,101,101, 32,37,110,32,70,114,101,101,92,110,0,1,14283,2049,7180,2049,9367,10,14233,14327,
92,110,0,1,14295,2049,7180,2049,9379,10,14245,14339,144,108,105,115,116,101,110,0, 144,108,105,115,116,101,110,0,3841,13937,1793,14334,2049,14243,10,1,14331,2049,70,2049,
3841,13949,1793,14346,2049,14255,10,1,14343,2049,70,2049,14222,2049,14238,1,14350,7,10,14329, 14210,2049,14226,1,14338,7,10,14317,14355,131,67,108,111,99,107,0,0,14346,14368,144,
14367,131,67,108,111,99,107,0,0,14358,14380,144,105,100,101,110,116,105,102,121, 105,100,101,110,116,105,102,121,0,3841,14355,2049,2533,1793,14435,1,5,2049,9274,2,
0,3841,14367,2049,2533,1793,14447,1,5,2049,9286,2,2049,2568,1793,14435,3,2049,3657,73, 2049,2568,1793,14423,3,2049,3657,73,79,32,68,69,86,73,67,69,32,84,89,80,
79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,53,32,78, 69,32,48,48,48,53,32,78,79,84,32,70,79,85,78,68,0,1,14386,2049,
79,84,32,70,79,85,78,68,0,1,14398,2049,9379,2049,9342,10,1,14395,1793,14442, 9367,2049,9330,10,1,14383,1793,14430,4097,14355,10,1,14427,2049,64,10,1,14374,9,10,
4097,14367,10,1,14439,2049,64,10,1,14386,9,10,14329,14473,144,105,111,58,99,108, 14317,14461,144,105,111,58,99,108,111,99,107,45,111,112,101,114,97,116,105,111,
111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14380,3841,14367,2049,9260, 110,0,2049,14368,3841,14355,2049,9248,10,14439,14487,144,99,108,111,99,107,58,116,105,
10,14451,14499,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,0, 109,101,115,116,97,109,112,0,1,0,2049,14461,10,14468,14505,144,99,108,111,99,
1,0,2049,14473,10,14480,14517,144,99,108,111,99,107,58,100,97,121,0,1,1, 107,58,100,97,121,0,1,1,2049,14461,10,14492,14525,144,99,108,111,99,107,58,
2049,14473,10,14504,14537,144,99,108,111,99,107,58,109,111,110,116,104,0,1,2, 109,111,110,116,104,0,1,2,2049,14461,10,14510,14544,144,99,108,111,99,107,58,
2049,14473,10,14522,14556,144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049, 121,101,97,114,0,1,3,2049,14461,10,14530,14563,144,99,108,111,99,107,58,104,
14473,10,14542,14575,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14473, 111,117,114,0,1,4,2049,14461,10,14549,14584,144,99,108,111,99,107,58,109,105,
10,14561,14596,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049, 110,117,116,101,0,1,5,2049,14461,10,14568,14605,144,99,108,111,99,107,58,115,
14473,10,14580,14617,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,6, 101,99,111,110,100,0,1,6,2049,14461,10,14589,14627,144,99,108,111,99,107,58,
2049,14473,10,14601,14639,144,99,108,111,99,107,58,117,116,99,58,100,97,121,0, 117,116,99,58,100,97,121,0,1,7,2049,14461,10,14610,14651,144,99,108,111,99,
1,7,2049,14473,10,14622,14663,144,99,108,111,99,107,58,117,116,99,58,109,111, 107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049,14461,10,14632,14674,144,
110,116,104,0,1,8,2049,14473,10,14644,14686,144,99,108,111,99,107,58,117,116, 99,108,111,99,107,58,117,116,99,58,121,101,97,114,0,1,9,2049,14461,10,
99,58,121,101,97,114,0,1,9,2049,14473,10,14668,14709,144,99,108,111,99,107, 14656,14697,144,99,108,111,99,107,58,117,116,99,58,104,111,117,114,0,1,10,
58,117,116,99,58,104,111,117,114,0,1,10,2049,14473,10,14691,14734,144,99,108, 2049,14461,10,14679,14722,144,99,108,111,99,107,58,117,116,99,58,109,105,110,117,
111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14473,10, 116,101,0,1,11,2049,14461,10,14702,14747,144,99,108,111,99,107,58,117,116,99,
14714,14759,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,0, 58,115,101,99,111,110,100,0,1,12,2049,14461,10,14727,14763,144,100,58,119,111,
1,12,2049,14473,10,14739,14775,144,100,58,119,111,114,100,115,0,1793,14784,2049,162, 114,100,115,0,1793,14772,2049,162,2049,9367,2049,9341,10,1,14765,2049,7412,10,14752,14793,
2049,9379,2049,9353,10,1,14777,2049,7412,10,14764,14805,144,100,58,119,111,114,100,115, 144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049,1877,2049,4552,1793,14824,
45,119,105,116,104,0,2049,1877,2049,4552,1793,14836,2049,162,2,2049,1877,2049,4176,1793, 2049,162,2,2049,1877,2049,4176,1793,14813,2049,9367,2049,9341,10,1,14808,1793,14819,3,10,
14825,2049,9379,2049,9353,10,1,14820,1793,14831,3,10,1,14829,2049,64,10,1,14811,2049, 1,14817,2049,64,10,1,14799,2049,7412,10,14777,14848,144,100,105,115,112,108,97,121,
7412,10,14789,14860,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,116, 45,105,102,45,108,101,102,116,0,2,2049,1877,2049,4476,1793,14860,2049,9367,2049,9341,
0,2,2049,1877,2049,4476,1793,14872,2049,9379,2049,9353,10,1,14867,1793,14878,3,10,1, 10,1,14855,1793,14866,3,10,1,14864,2049,64,10,14777,14897,144,100,58,119,111,114,
14876,2049,64,10,14789,14909,144,100,58,119,111,114,100,115,45,98,101,103,105,110, 100,115,45,98,101,103,105,110,110,105,110,103,45,119,105,116,104,0,2049,1877,
110,105,110,103,45,119,105,116,104,0,2049,1877,2049,4552,1793,14920,2049,162,2049,14860, 2049,4552,1793,14908,2049,162,2049,14848,10,1,14903,2049,7412,10,14871,14923,144,102,105,101,
10,1,14915,2049,7412,10,14883,14935,144,102,105,101,108,100,115,0,3841,2,2049,105, 108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,14913,14949,144,105,110,118,97,
2049,105,2049,105,10,14925,14961,144,105,110,118,97,108,105,100,45,110,97,109,101, 108,105,100,45,110,97,109,101,63,0,2,1,32,2049,4007,10,14932,14966,144,114,
63,0,2,1,32,2049,4007,10,14944,14978,144,114,101,119,114,105,116,101,0,1793, 101,119,114,105,116,101,0,1793,14980,1,32,1793,14975,1,95,10,1,14972,2049,2379,
14992,1,32,1793,14987,1,95,10,1,14984,2049,2379,10,1,14980,2049,4347,10,14967,15006, 10,1,14968,2049,4347,10,14955,14994,144,101,110,116,114,121,0,2049,1877,1,21,2049,
144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,15034,1793,15029, 2106,4097,2,10,1793,15022,1793,15017,2049,14923,2049,14949,1,14966,9,2049,119,10,1,15007,
2049,14935,2049,14961,1,14978,9,2049,119,10,1,15019,2049,15006,10,1,15017,0 }; 2049,14994,10,1,15005,0 };