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