diff --git a/image/retro.forth b/image/retro.forth index 1cf8c39..541010d 100644 --- a/image/retro.forth +++ b/image/retro.forth @@ -494,22 +494,12 @@ Forth, where non-zero values are true. :FALSE (-n) #0 ; ~~~ -The basic Rx kernel doesn't provide two useful forms which I'll -provide here. - -~~~ -:lteq? (nn-f) dup-pair \eqpultpo \or...... ; -:gteq? (nn-f) swap lteq? ; -~~~ - -~~~ -:if; (qf-) over &if dip 0; pop drop-pair ; -:-if; (qf-) over &-if dip #-1 xor 0; pop drop-pair ; -~~~ - -And then some numeric comparators. +Some numeric comparisons. ~~~ +:not (n-n) #-1 xor ; +:lteq? (nn-f) dup-pair \eqpultpo \or...... ; +:gteq? (nn-f) swap lteq? ; :n:MAX (-n) #-5 fetch ; :n:MIN (-n) #-4 fetch ; :n:zero? (n-f) #0 eq? ; @@ -521,6 +511,14 @@ And then some numeric comparators. :n:odd? (n-f) #2 /mod drop n:-zero? ; ~~~ +The basic Rx kernel doesn't provide two useful forms which I'll +provide here. + +~~~ +:if; (qf-) over &if dip 0; pop drop-pair ; +:-if; (qf-) over &-if dip not 0; pop drop-pair ; +~~~ + ## More Stack Shufflers. `rot` rotates the top three values. @@ -550,7 +548,6 @@ so they can be inlined. Here's the high level forms: ~~~ :/ (nq-d) \diswdr.. ; primitive :mod (nq-r) \didr.... ; primitive -:not (n-n) #-1 xor ; :n:pow (bp-n) #1 swap [ over * ] times nip ; :n:negate (n-n) #-1 * ; :n:square (n-n) dup * ; diff --git a/ngaImage b/ngaImage index 1313798..42aa15f 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 9b127ec..c20f00c 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 = 15038; -CELL ngaImage[] = { 1793,14340,14884,15037,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10, +CELL ngaImageCells = 15037; +CELL ngaImage[] = { 1793,14339,14883,15036,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,14340,14884,15037,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,15018,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13433,1025, + 1,659713,2,659713,3,1793,15017,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13432,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, @@ -126,632 +126,632 @@ CELL ngaImage[] = { 1793,14340,14884,15037,202004,0,10,1,10,2,10,3,10,4,10,5,10, 1793,2405,2049,158,15,10,1,2401,1793,2413,2049,160,15,10,1,2409,2049,2128,2049,1818, 1793,2428,1,131,2049,2106,2049,1777,10,1,2421,1,21,2049,64,10,2385,2443,144,84, 82,85,69,0,1,-1,10,2435,2455,144,70,65,76,83,69,0,1,0,10,2446, - 2467,144,108,116,101,113,63,0,2049,2096,101516555,22,10,2458,2481,144,103,116,101,113, - 63,0,4,2049,2467,10,2472,2492,144,105,102,59,0,67502597,1,72,2049,2106,25,6, - 771,10,2485,2509,144,45,105,102,59,0,67502597,1,70,2049,2106,1,-1,23,25,6, - 771,10,2501,2530,144,110,58,77,65,88,0,1,-5,15,10,2521,2543,144,110,58, - 77,73,78,0,1,-4,15,10,2534,2558,144,110,58,122,101,114,111,63,0,1, - 0,11,10,2547,2574,144,110,58,45,122,101,114,111,63,0,1,0,12,10,2562, - 2593,144,110,58,110,101,103,97,116,105,118,101,63,0,1,0,13,10,2578,2612, - 144,110,58,112,111,115,105,116,105,118,101,63,0,1,-1,14,10,2597,2640,144, - 110,58,115,116,114,105,99,116,108,121,45,112,111,115,105,116,105,118,101,63, - 0,1,0,14,10,2616,2655,144,110,58,101,118,101,110,63,0,1,2,20,3, - 2049,2558,10,2644,2672,144,110,58,111,100,100,63,0,1,2,20,3,2049,2574,10, - 2662,2686,150,114,111,116,0,67503109,10,2679,2693,150,47,0,197652,10,2688,2702,150,109, - 111,100,0,788,10,2695,2711,144,110,111,116,0,1,-1,23,10,2704,2724,144,110, - 58,112,111,119,0,1,1,4,1793,2732,67502597,19,10,1,2729,2049,2281,772,10,2715, - 2750,144,110,58,110,101,103,97,116,101,0,1,-1,19,10,2738,2766,144,110,58, - 115,113,117,97,114,101,0,2,19,10,2754,2779,144,110,58,115,113,114,116,0, - 1,1,1793,2797,2049,2096,197652,67502597,18,1,2,197652,25,17,1,2783,7,10,1,2783, - 8,772,10,2769,2811,144,110,58,109,105,110,0,2049,2096,13,1,11,1,2057,2049, - 64,10,2802,2830,144,110,58,109,97,120,0,2049,2096,14,1,11,1,2057,2049,64, - 10,2821,2849,144,110,58,97,98,115,0,2,2049,2593,1,2750,9,10,2840,2867,144, - 110,58,108,105,109,105,116,0,4,5,2049,2811,6,2049,2830,10,2856,2884,144,110, - 58,105,110,99,0,1,1,17,10,2875,2897,144,110,58,100,101,99,0,1,1, - 18,10,2888,2915,144,110,58,98,101,116,119,101,101,110,63,0,67503109,1793,2923,67503109, - 67503109,2049,2867,10,1,2918,2049,2116,11,10,2901,2941,144,118,58,105,110,99,45,98, - 121,0,1793,2946,15,17,10,1,2943,2049,2116,16,10,2929,2964,144,118,58,100,101, - 99,45,98,121,0,1793,2970,15,4,18,10,1,2966,2049,2116,16,10,2952,2985,144, - 118,58,105,110,99,0,1,1,4,2049,2941,10,2976,3000,144,118,58,100,101,99, - 0,1,1,4,2049,2964,10,2991,3017,144,118,58,108,105,109,105,116,0,5,5, - 2,15,6,6,2049,2867,4,16,10,3006,3036,144,118,58,111,110,0,2049,2443,4, - 16,10,3028,3050,144,118,58,111,102,102,0,2049,2455,4,16,10,3041,3064,144,97, - 108,108,111,116,0,1,3,2049,2941,10,3055,3083,144,118,58,112,114,101,115,101, - 114,118,101,0,4,2,15,1793,3093,1,21,2049,2106,10,1,3088,2049,2106,4,16, - 10,3069,3112,144,118,58,117,112,100,97,116,101,0,4,1793,3119,15,4,8,10, - 1,3115,2049,2116,16,10,3100,3133,144,99,111,112,121,0,1793,3142,285278725,1,33951492,268767489, - 1,6,10,1,3135,2049,2281,3,3,10,3125,3162,144,83,99,111,112,101,76,105, - 115,116,0,14884,14884,10,3149,3171,144,123,123,0,2049,1570,2,1,3162,2049,59,16, - 10,3165,3196,144,45,45,45,114,101,118,101,97,108,45,45,45,0,2049,1570,1, - 3162,2049,2884,16,10,3180,3210,144,125,125,0,1,3162,2049,56,4,15,11,1793,3224, - 3841,3162,4097,2,10,1,3219,1793,3254,3841,3162,1793,3249,1,2,15,2,15,1,3162, - 2049,2884,15,12,25,3,1,3234,7,10,1,3232,8,16,10,1,3228,2049,64,10, - 3204,3268,131,83,116,97,114,116,0,0,10,3259,3277,131,69,110,100,0,0,10, - 3270,3292,144,116,101,114,109,105,110,97,116,101,0,1,0,3841,3277,16,10,3204, - 3314,144,98,117,102,102,101,114,58,115,116,97,114,116,0,3841,3268,10,3298,3331, - 144,98,117,102,102,101,114,58,101,110,100,0,3841,3277,10,3317,3348,144,98,117, - 102,102,101,114,58,97,100,100,0,3841,3277,16,1,3277,2049,2985,2049,3292,10,3334, - 3372,144,98,117,102,102,101,114,58,103,101,116,0,1,3277,2049,3000,3841,3277,15, - 2049,3292,10,3358,3398,144,98,117,102,102,101,114,58,101,109,112,116,121,0,3841, - 3268,4097,3277,2049,3292,10,3382,3420,144,98,117,102,102,101,114,58,115,105,122,101, - 0,3841,3277,3841,3268,18,10,3405,3440,144,98,117,102,102,101,114,58,115,101,116, - 0,4097,3268,2049,3398,10,3426,3464,144,98,117,102,102,101,114,58,112,114,101,115, - 101,114,118,101,0,3841,3268,3841,3277,1793,3477,1,21,2049,2106,4097,3268,10,1,3470, - 2049,2106,4097,3277,10,3445,3499,131,84,101,109,112,83,116,114,105,110,103,115,0, - 32,3484,3517,131,84,101,109,112,83,116,114,105,110,103,77,97,120,0,512,3500, - 3529,144,83,84,82,73,78,71,83,0,2049,1543,3841,3499,3841,3517,19,18,10,3518, - 3549,131,67,117,114,114,101,110,116,0,18,10,3538,3564,144,115,58,112,111,105, - 110,116,101,114,0,3841,3549,3841,3517,19,2049,3529,17,10,3551,3583,144,115,58,110, - 101,120,116,0,1,3549,2049,2985,3841,3549,3841,3499,11,1793,3599,1,0,4097,3549,10, - 1,3594,9,10,3518,3613,144,115,58,116,101,109,112,0,2,2049,79,2049,2884,2049, - 3564,4,2049,3133,2049,3564,2049,3583,10,3603,3639,144,115,58,101,109,112,116,121,0, - 2049,3564,2049,3583,1,0,67502597,16,10,3628,3658,144,115,58,115,107,105,112,0,6, - 1793,3666,68223234,1,786703,0,10,1,3661,2049,2233,2049,2897,5,10,3648,3684,144,115,58, - 107,101,101,112,0,2049,1818,1793,3693,1,3658,2049,1777,10,1,3688,9,2049,1877,1, - 119,2049,2106,2049,131,10,3674,3717,156,112,114,101,102,105,120,58,39,0,2049,1818, - 1,3684,1,3613,2049,64,10,3705,3736,144,115,58,99,104,111,112,0,2049,3613,2, - 2049,79,67502597,17,2049,2897,1,0,4,16,10,3726,3763,144,115,58,114,101,118,101, - 114,115,101,0,1793,3805,2,2049,3613,2049,3440,1,79,1793,3781,2,2049,79,17,2049, - 2897,10,1,3774,2049,2128,4,1793,3795,2,15,2049,3348,2049,2897,10,1,3788,2049,2281, - 3,2049,3314,2049,3613,10,1,3765,2049,3464,10,3750,3823,144,115,58,112,114,101,112, - 101,110,100,0,2049,3613,1793,3847,2,2049,79,17,1793,3839,2,2049,79,2049,2884,10, - 1,3833,2049,2106,4,2049,3133,10,1,3827,2049,2116,10,3810,3864,144,115,58,97,112, - 112,101,110,100,0,4,2049,3823,10,3852,3882,144,115,58,102,111,114,45,101,97, - 99,104,0,1793,3917,67502597,15,25,3,2049,2096,1793,3905,1793,3900,1,34,2049,2106,8, - 10,1,3894,2049,2106,10,1,3892,2049,2106,1,2884,2049,2106,1,3884,7,10,1,3884, - 8,771,10,3868,3936,144,115,58,105,110,100,101,120,45,111,102,0,4,1793,3959, - 2049,56,25,4,1793,3948,67502597,12,10,1,3945,2049,2106,4,25,3,1,3939,7,10, - 1,3939,2049,2116,1793,3970,18,2049,2897,772,10,1,3965,2049,2116,2049,79,67502597,11,1793, - 3984,3,1,-1,10,1,3980,9,10,3922,4008,144,115,58,99,111,110,116,97,105, - 110,115,45,99,104,97,114,63,0,2049,3936,1,-1,12,10,3988,4021,131,83,114, - 99,0,0,4014,4029,131,84,97,114,0,0,4022,4037,131,80,97,100,0,0,4030, - 4043,131,73,0,0,4038,4049,131,70,0,0,4044,4056,131,65,116,0,0,4050,4070, - 144,116,101,114,109,105,110,97,116,101,0,1,0,3841,4037,3841,4029,2049,79,17, - 16,10,4057,4092,144,101,120,116,114,97,99,116,0,3841,4021,3841,4043,17,3841,4037, - 3841,4029,2049,79,2049,3133,10,4081,4117,144,99,111,109,112,97,114,101,0,3841,4037, - 3841,4029,2049,93,3841,4049,22,4097,4049,3841,4049,1793,4137,3841,4043,4097,4056,10,1,4132, - 2049,70,10,4106,4150,144,110,101,120,116,0,1,4043,2049,2985,10,3988,4177,144,115, - 58,99,111,110,116,97,105,110,115,45,115,116,114,105,110,103,63,0,4097,4029, - 4097,4021,2049,3639,4097,4037,1,0,4097,4043,1,0,4097,4049,3841,4021,2049,79,1793,4208, - 2049,4092,2049,4070,2049,4117,2049,4150,10,1,4199,2049,2281,3841,4049,10,4155,4236,144,115, - 58,105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,4097,4029,4097, - 4021,2049,3639,4097,4037,1,0,4097,4043,1,0,4097,4049,1,-1,4097,4056,3841,4021,2049, - 79,1793,4271,2049,4092,2049,4070,2049,4117,2049,4150,10,1,4262,2049,2281,3841,4049,1793,4282, - 3841,4056,10,1,4279,1793,4289,1,-1,10,1,4286,2049,64,10,4215,4306,144,115,58, - 102,105,108,116,101,114,0,1793,4334,2049,3639,2049,3440,4,1793,4326,2049,2096,4,8, - 1,3348,1,11,2049,64,10,1,4315,2049,3882,3,2049,3314,10,1,4308,2049,3464,10, - 4294,4348,144,115,58,109,97,112,0,1793,4370,2049,3639,2049,3440,4,1793,4362,67502597,8, - 2049,3348,10,1,4357,2049,3882,3,2049,3314,10,1,4350,2049,3464,10,4339,4387,144,115, - 58,115,117,98,115,116,114,0,1793,4393,17,2049,3639,10,1,4389,2049,2106,1793,4405, - 67502597,1,3133,2049,2106,10,1,4399,2049,2116,67502597,1793,4418,17,1,0,4,16,10,1, - 4412,2049,2106,10,4375,4434,144,115,58,114,105,103,104,116,0,67502597,2049,79,67502597,18, - 4,2049,4387,10,4423,4453,144,115,58,108,101,102,116,0,1,0,4,2049,4387,10, - 4443,4477,144,115,58,98,101,103,105,110,115,45,119,105,116,104,63,0,2,2049, - 79,1,13,2049,2106,2049,4453,2049,93,10,4459,4505,144,115,58,101,110,100,115,45, - 119,105,116,104,63,0,2,2049,79,1,13,2049,2106,2049,4434,2049,93,10,4489,4527, - 144,115,58,104,97,115,104,0,1,5381,4,1793,4538,4,1,33,19,17,10,1, - 4532,2049,3882,10,4517,4553,144,115,58,99,111,112,121,0,67502597,2049,79,2049,2884,2049, - 3133,10,4543,4573,144,115,58,68,73,71,73,84,83,0,2049,3658,48,49,50,51, - 52,53,54,55,56,57,0,1,4575,10,4561,4610,144,115,58,65,83,67,73,73, - 45,76,79,87,69,82,67,65,83,69,0,2049,3658,97,98,99,100,101,102,103, - 104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,0, - 1,4612,10,4589,4663,144,115,58,65,83,67,73,73,45,85,80,80,69,82,67, - 65,83,69,0,2049,3658,65,66,67,68,69,70,71,72,73,74,75,76,77,78, - 79,80,81,82,83,84,85,86,87,88,89,90,0,1,4665,10,4642,4714,144,115, - 58,65,83,67,73,73,45,76,69,84,84,69,82,83,0,2049,3658,97,98,99, - 100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119, - 120,121,122,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81, - 82,83,84,85,86,87,88,89,90,0,1,4716,10,4695,4789,144,115,58,80,85, - 78,67,84,85,65,84,73,79,78,0,2049,3658,95,33,34,35,36,37,38,39, - 40,41,42,43,44,45,46,47,58,59,60,61,62,63,64,91,92,93,94,96, - 123,124,125,126,0,1,4791,1,95,67502597,16,10,4772,4847,131,115,58,87,72,73, - 84,69,83,80,65,67,69,0,32,9,10,13,0,4831,4857,156,39,0,1,3639, - 2049,144,10,4852,4867,156,36,0,1,0,2049,131,10,4862,0,131,65,83,67,73, - 73,58,78,85,76,0,4872,8,131,65,83,67,73,73,58,66,83,0,4885,9, - 131,65,83,67,73,73,58,72,84,0,4897,10,131,65,83,67,73,73,58,76, - 70,0,4909,11,131,65,83,67,73,73,58,86,84,0,4921,12,131,65,83,67, - 73,73,58,70,70,0,4933,13,131,65,83,67,73,73,58,67,82,0,4945,32, - 131,65,83,67,73,73,58,83,80,65,67,69,0,4957,127,131,65,83,67,73, - 73,58,68,69,76,0,4972,1,131,65,83,67,73,73,58,83,79,72,0,4985, - 2,131,65,83,67,73,73,58,83,84,88,0,4998,3,131,65,83,67,73,73, - 58,69,84,88,0,5011,4,131,65,83,67,73,73,58,69,79,84,0,5024,5, - 131,65,83,67,73,73,58,69,78,81,0,5037,6,131,65,83,67,73,73,58, - 65,67,75,0,5050,7,131,65,83,67,73,73,58,66,69,76,0,5063,14,131, - 65,83,67,73,73,58,83,79,0,5076,15,131,65,83,67,73,73,58,83,73, - 0,5088,16,131,65,83,67,73,73,58,68,76,69,0,5100,17,131,65,83,67, - 73,73,58,68,67,49,0,5113,18,131,65,83,67,73,73,58,68,67,50,0, - 5126,19,131,65,83,67,73,73,58,68,67,51,0,5139,20,131,65,83,67,73, - 73,58,68,67,52,0,5152,21,131,65,83,67,73,73,58,78,65,75,0,5165, - 22,131,65,83,67,73,73,58,83,89,78,0,5178,23,131,65,83,67,73,73, - 58,69,84,66,0,5191,24,131,65,83,67,73,73,58,67,65,78,0,5204,25, - 131,65,83,67,73,73,58,69,77,0,5217,26,131,65,83,67,73,73,58,83, - 85,66,0,5229,27,131,65,83,67,73,73,58,69,83,67,0,5242,28,131,65, - 83,67,73,73,58,70,83,0,5255,29,131,65,83,67,73,73,58,71,83,0, - 5267,30,131,65,83,67,73,73,58,82,83,0,5279,31,131,65,83,67,73,73, - 58,85,83,0,5291,5319,144,99,58,108,111,119,101,114,99,97,115,101,63,0, - 1,97,1,122,2049,2915,10,5303,5342,144,99,58,117,112,112,101,114,99,97,115, - 101,63,0,1,65,1,90,2049,2915,10,5326,5362,144,99,58,108,101,116,116,101, - 114,63,0,1,5319,1,5342,2049,2128,22,10,5349,5382,144,99,58,100,105,103,105, - 116,63,0,1,48,1,57,2049,2915,10,5370,5403,144,99,58,118,105,115,105,98, - 108,101,63,0,1,32,1,126,2049,2915,10,5389,5422,144,99,58,118,111,119,101, - 108,63,0,2049,3658,97,101,105,111,117,65,69,73,79,85,0,1,5424,4,2049, - 4008,10,5410,5457,144,99,58,99,111,110,115,111,110,97,110,116,63,0,2,2049, - 5362,1793,5467,2049,5422,2049,2711,10,1,5462,1793,5475,3,2049,2455,10,1,5471,2049,64, - 10,5441,5497,144,99,58,119,104,105,116,101,115,112,97,99,101,63,0,1,4847, - 4,2049,4008,10,5480,5520,144,99,58,45,108,111,119,101,114,99,97,115,101,63, - 0,2049,5319,2049,2711,10,5503,5542,144,99,58,45,117,112,112,101,114,99,97,115, - 101,63,0,2049,5342,2049,2711,10,5525,5560,144,99,58,45,100,105,103,105,116,63, - 0,2049,5382,2049,2711,10,5547,5583,144,99,58,45,119,104,105,116,101,115,112,97, - 99,101,63,0,2049,5497,2049,2711,10,5565,5603,144,99,58,45,118,105,115,105,98, - 108,101,63,0,2049,5403,2049,2711,10,5588,5621,144,99,58,45,118,111,119,101,108, - 63,0,2049,5422,2049,2711,10,5608,5643,144,99,58,45,99,111,110,115,111,110,97, - 110,116,63,0,2049,5457,2049,2711,10,5626,5662,144,99,58,116,111,45,117,112,112, - 101,114,0,2,2049,5319,25,3,1,32,18,10,5648,5685,144,99,58,116,111,45, - 108,111,119,101,114,0,2,2049,5342,25,3,1,32,17,10,5671,5709,144,99,58, - 116,111,45,115,116,114,105,110,103,0,2049,3658,46,0,1,5711,2049,3613,1,36, - 2049,2116,10,5694,5739,144,99,58,116,111,103,103,108,101,45,99,97,115,101,0, - 2,2049,5319,1,5662,1,5685,2049,64,10,5722,5764,144,99,58,116,111,45,110,117, - 109,98,101,114,0,2,2049,5382,1793,5773,1,48,18,10,1,5769,1793,5781,3,1, - 0,10,1,5777,2049,64,10,5749,5800,144,115,58,116,111,45,117,112,112,101,114, - 0,1,5662,2049,4348,10,5786,5819,144,115,58,116,111,45,108,111,119,101,114,0, - 1,5685,2049,4348,10,5805,5839,144,115,58,116,114,105,109,45,108,101,102,116,0, - 2049,3613,1793,5863,2049,56,1793,5850,2049,5497,10,1,5847,1793,5857,2049,2574,10,1,5854, - 2049,2128,21,10,1,5843,2049,2233,2049,2897,10,5824,5886,144,115,58,116,114,105,109, - 45,114,105,103,104,116,0,2049,3613,2049,3763,2049,5839,2049,3763,10,5870,5905,144,115, - 58,116,114,105,109,0,2049,5886,2049,5839,10,5895,5919,131,86,97,108,117,101,0, - 0,5910,5931,144,99,111,114,114,101,99,116,0,2,1,48,13,1793,5946,1,48, - 67502597,18,1,2,19,17,10,1,5937,9,10,5895,5965,144,110,58,116,111,45,115, - 116,114,105,110,103,0,1793,6019,2049,1877,2049,3440,2,4097,5919,2049,2849,1793,5993,1, - 10,20,4,1,48,17,2049,5931,2049,3348,2,2049,2574,10,1,5978,2049,2233,3,3841, - 5919,2049,2593,1793,6009,1,45,2049,3348,10,1,6004,9,2049,3314,2049,3763,2049,3613,10, - 1,5967,2049,3464,10,5950,6046,131,82,101,119,114,105,116,101,85,110,100,101,114, - 115,99,111,114,101,115,0,-1,6024,6054,144,115,117,98,0,1,95,1793,6061,1, - 32,10,1,6058,2049,2306,10,6047,6077,144,114,101,119,114,105,116,101,0,3841,6046, - 1793,6086,1,6054,2049,4348,10,1,6081,9,10,6066,6100,144,104,97,110,100,108,101, - 0,1,3717,8,10,6024,6116,156,112,114,101,102,105,120,58,39,0,2049,6077,2049, - 6100,10,6104,6132,144,115,58,115,112,108,105,116,0,2049,2096,2049,3936,772,2049,2096, - 2049,4453,1,38,2049,2106,10,6121,6167,144,115,58,115,112,108,105,116,45,111,110, - 45,115,116,114,105,110,103,0,2049,2096,2049,4236,2049,2884,772,2049,2096,2049,4453,1, - 38,2049,2106,10,6146,6196,144,115,58,114,101,112,108,97,99,101,0,67502597,2049,79, - 2049,1877,16,1793,6212,2049,6167,4,2049,1877,15,17,10,1,6204,2049,2106,2049,3823,2049, - 3864,10,6183,6233,131,83,112,108,105,116,45,79,110,0,0,6221,6244,144,109,97, - 116,99,104,63,0,3841,6233,11,10,6234,6261,144,116,101,114,109,105,110,97,116, - 101,0,1,0,67502597,2049,2897,16,10,6248,6276,144,115,116,101,112,0,1,2884,2049, - 2106,2049,6244,1793,6290,2,2049,105,2049,6261,10,1,6284,9,10,6183,6308,144,115,58, - 116,111,107,101,110,105,122,101,0,4097,6233,2049,3684,2049,1877,1,0,2049,105,1793, - 6330,2,2049,105,2,1,6276,2049,3882,3,10,1,6320,2049,2106,2049,1877,67502597,18,2049, - 2897,67502597,16,10,6294,6353,131,78,101,101,100,108,101,0,0,0,0,0,0,0, + 2465,144,110,111,116,0,1,-1,23,10,2458,2478,144,108,116,101,113,63,0,2049, + 2096,101516555,22,10,2469,2492,144,103,116,101,113,63,0,4,2049,2478,10,2483,2505,144, + 110,58,77,65,88,0,1,-5,15,10,2496,2518,144,110,58,77,73,78,0,1, + -4,15,10,2509,2533,144,110,58,122,101,114,111,63,0,1,0,11,10,2522,2549, + 144,110,58,45,122,101,114,111,63,0,1,0,12,10,2537,2568,144,110,58,110, + 101,103,97,116,105,118,101,63,0,1,0,13,10,2553,2587,144,110,58,112,111, + 115,105,116,105,118,101,63,0,1,-1,14,10,2572,2615,144,110,58,115,116,114, + 105,99,116,108,121,45,112,111,115,105,116,105,118,101,63,0,1,0,14,10, + 2591,2630,144,110,58,101,118,101,110,63,0,1,2,20,3,2049,2533,10,2619,2647, + 144,110,58,111,100,100,63,0,1,2,20,3,2049,2549,10,2637,2661,144,105,102, + 59,0,67502597,1,72,2049,2106,25,6,771,10,2654,2678,144,45,105,102,59,0,67502597, + 1,70,2049,2106,2049,2465,25,6,771,10,2670,2696,150,114,111,116,0,67503109,10,2689, + 2703,150,47,0,197652,10,2698,2712,150,109,111,100,0,788,10,2705,2723,144,110,58, + 112,111,119,0,1,1,4,1793,2731,67502597,19,10,1,2728,2049,2281,772,10,2714,2749, + 144,110,58,110,101,103,97,116,101,0,1,-1,19,10,2737,2765,144,110,58,115, + 113,117,97,114,101,0,2,19,10,2753,2778,144,110,58,115,113,114,116,0,1, + 1,1793,2796,2049,2096,197652,67502597,18,1,2,197652,25,17,1,2782,7,10,1,2782,8, + 772,10,2768,2810,144,110,58,109,105,110,0,2049,2096,13,1,11,1,2057,2049,64, + 10,2801,2829,144,110,58,109,97,120,0,2049,2096,14,1,11,1,2057,2049,64,10, + 2820,2848,144,110,58,97,98,115,0,2,2049,2568,1,2749,9,10,2839,2866,144,110, + 58,108,105,109,105,116,0,4,5,2049,2810,6,2049,2829,10,2855,2883,144,110,58, + 105,110,99,0,1,1,17,10,2874,2896,144,110,58,100,101,99,0,1,1,18, + 10,2887,2914,144,110,58,98,101,116,119,101,101,110,63,0,67503109,1793,2922,67503109,67503109, + 2049,2866,10,1,2917,2049,2116,11,10,2900,2940,144,118,58,105,110,99,45,98,121, + 0,1793,2945,15,17,10,1,2942,2049,2116,16,10,2928,2963,144,118,58,100,101,99, + 45,98,121,0,1793,2969,15,4,18,10,1,2965,2049,2116,16,10,2951,2984,144,118, + 58,105,110,99,0,1,1,4,2049,2940,10,2975,2999,144,118,58,100,101,99,0, + 1,1,4,2049,2963,10,2990,3016,144,118,58,108,105,109,105,116,0,5,5,2, + 15,6,6,2049,2866,4,16,10,3005,3035,144,118,58,111,110,0,2049,2443,4,16, + 10,3027,3049,144,118,58,111,102,102,0,2049,2455,4,16,10,3040,3063,144,97,108, + 108,111,116,0,1,3,2049,2940,10,3054,3082,144,118,58,112,114,101,115,101,114, + 118,101,0,4,2,15,1793,3092,1,21,2049,2106,10,1,3087,2049,2106,4,16,10, + 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, + 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, + 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, + 3161,4097,2,10,1,3218,1793,3253,3841,3161,1793,3248,1,2,15,2,15,1,3161,2049, + 2883,15,12,25,3,1,3233,7,10,1,3231,8,16,10,1,3227,2049,64,10,3203, + 3267,131,83,116,97,114,116,0,0,10,3258,3276,131,69,110,100,0,0,10,3269, + 3291,144,116,101,114,109,105,110,97,116,101,0,1,0,3841,3276,16,10,3203,3313, + 144,98,117,102,102,101,114,58,115,116,97,114,116,0,3841,3267,10,3297,3330,144, + 98,117,102,102,101,114,58,101,110,100,0,3841,3276,10,3316,3347,144,98,117,102, + 102,101,114,58,97,100,100,0,3841,3276,16,1,3276,2049,2984,2049,3291,10,3333,3371, + 144,98,117,102,102,101,114,58,103,101,116,0,1,3276,2049,2999,3841,3276,15,2049, + 3291,10,3357,3397,144,98,117,102,102,101,114,58,101,109,112,116,121,0,3841,3267, + 4097,3276,2049,3291,10,3381,3419,144,98,117,102,102,101,114,58,115,105,122,101,0, + 3841,3276,3841,3267,18,10,3404,3439,144,98,117,102,102,101,114,58,115,101,116,0, + 4097,3267,2049,3397,10,3425,3463,144,98,117,102,102,101,114,58,112,114,101,115,101, + 114,118,101,0,3841,3267,3841,3276,1793,3476,1,21,2049,2106,4097,3267,10,1,3469,2049, + 2106,4097,3276,10,3444,3498,131,84,101,109,112,83,116,114,105,110,103,115,0,32, + 3483,3516,131,84,101,109,112,83,116,114,105,110,103,77,97,120,0,512,3499,3528, + 144,83,84,82,73,78,71,83,0,2049,1543,3841,3498,3841,3516,19,18,10,3517,3548, + 131,67,117,114,114,101,110,116,0,18,10,3537,3563,144,115,58,112,111,105,110, + 116,101,114,0,3841,3548,3841,3516,19,2049,3528,17,10,3550,3582,144,115,58,110,101, + 120,116,0,1,3548,2049,2984,3841,3548,3841,3498,11,1793,3598,1,0,4097,3548,10,1, + 3593,9,10,3517,3612,144,115,58,116,101,109,112,0,2,2049,79,2049,2883,2049,3563, + 4,2049,3132,2049,3563,2049,3582,10,3602,3638,144,115,58,101,109,112,116,121,0,2049, + 3563,2049,3582,1,0,67502597,16,10,3627,3657,144,115,58,115,107,105,112,0,6,1793, + 3665,68223234,1,786703,0,10,1,3660,2049,2233,2049,2896,5,10,3647,3683,144,115,58,107, + 101,101,112,0,2049,1818,1793,3692,1,3657,2049,1777,10,1,3687,9,2049,1877,1,119, + 2049,2106,2049,131,10,3673,3716,156,112,114,101,102,105,120,58,39,0,2049,1818,1, + 3683,1,3612,2049,64,10,3704,3735,144,115,58,99,104,111,112,0,2049,3612,2,2049, + 79,67502597,17,2049,2896,1,0,4,16,10,3725,3762,144,115,58,114,101,118,101,114, + 115,101,0,1793,3804,2,2049,3612,2049,3439,1,79,1793,3780,2,2049,79,17,2049,2896, + 10,1,3773,2049,2128,4,1793,3794,2,15,2049,3347,2049,2896,10,1,3787,2049,2281,3, + 2049,3313,2049,3612,10,1,3764,2049,3463,10,3749,3822,144,115,58,112,114,101,112,101, + 110,100,0,2049,3612,1793,3846,2,2049,79,17,1793,3838,2,2049,79,2049,2883,10,1, + 3832,2049,2106,4,2049,3132,10,1,3826,2049,2116,10,3809,3863,144,115,58,97,112,112, + 101,110,100,0,4,2049,3822,10,3851,3881,144,115,58,102,111,114,45,101,97,99, + 104,0,1793,3916,67502597,15,25,3,2049,2096,1793,3904,1793,3899,1,34,2049,2106,8,10, + 1,3893,2049,2106,10,1,3891,2049,2106,1,2883,2049,2106,1,3883,7,10,1,3883,8, + 771,10,3867,3935,144,115,58,105,110,100,101,120,45,111,102,0,4,1793,3958,2049, + 56,25,4,1793,3947,67502597,12,10,1,3944,2049,2106,4,25,3,1,3938,7,10,1, + 3938,2049,2116,1793,3969,18,2049,2896,772,10,1,3964,2049,2116,2049,79,67502597,11,1793,3983, + 3,1,-1,10,1,3979,9,10,3921,4007,144,115,58,99,111,110,116,97,105,110, + 115,45,99,104,97,114,63,0,2049,3935,1,-1,12,10,3987,4020,131,83,114,99, + 0,0,4013,4028,131,84,97,114,0,0,4021,4036,131,80,97,100,0,0,4029,4042, + 131,73,0,0,4037,4048,131,70,0,0,4043,4055,131,65,116,0,0,4049,4069,144, + 116,101,114,109,105,110,97,116,101,0,1,0,3841,4036,3841,4028,2049,79,17,16, + 10,4056,4091,144,101,120,116,114,97,99,116,0,3841,4020,3841,4042,17,3841,4036,3841, + 4028,2049,79,2049,3132,10,4080,4116,144,99,111,109,112,97,114,101,0,3841,4036,3841, + 4028,2049,93,3841,4048,22,4097,4048,3841,4048,1793,4136,3841,4042,4097,4055,10,1,4131,2049, + 70,10,4105,4149,144,110,101,120,116,0,1,4042,2049,2984,10,3987,4176,144,115,58, + 99,111,110,116,97,105,110,115,45,115,116,114,105,110,103,63,0,4097,4028,4097, + 4020,2049,3638,4097,4036,1,0,4097,4042,1,0,4097,4048,3841,4020,2049,79,1793,4207,2049, + 4091,2049,4069,2049,4116,2049,4149,10,1,4198,2049,2281,3841,4048,10,4154,4235,144,115,58, + 105,110,100,101,120,45,111,102,45,115,116,114,105,110,103,0,4097,4028,4097,4020, + 2049,3638,4097,4036,1,0,4097,4042,1,0,4097,4048,1,-1,4097,4055,3841,4020,2049,79, + 1793,4270,2049,4091,2049,4069,2049,4116,2049,4149,10,1,4261,2049,2281,3841,4048,1793,4281,3841, + 4055,10,1,4278,1793,4288,1,-1,10,1,4285,2049,64,10,4214,4305,144,115,58,102, + 105,108,116,101,114,0,1793,4333,2049,3638,2049,3439,4,1793,4325,2049,2096,4,8,1, + 3347,1,11,2049,64,10,1,4314,2049,3881,3,2049,3313,10,1,4307,2049,3463,10,4293, + 4347,144,115,58,109,97,112,0,1793,4369,2049,3638,2049,3439,4,1793,4361,67502597,8,2049, + 3347,10,1,4356,2049,3881,3,2049,3313,10,1,4349,2049,3463,10,4338,4386,144,115,58, + 115,117,98,115,116,114,0,1793,4392,17,2049,3638,10,1,4388,2049,2106,1793,4404,67502597, + 1,3132,2049,2106,10,1,4398,2049,2116,67502597,1793,4417,17,1,0,4,16,10,1,4411, + 2049,2106,10,4374,4433,144,115,58,114,105,103,104,116,0,67502597,2049,79,67502597,18,4, + 2049,4386,10,4422,4452,144,115,58,108,101,102,116,0,1,0,4,2049,4386,10,4442, + 4476,144,115,58,98,101,103,105,110,115,45,119,105,116,104,63,0,2,2049,79, + 1,13,2049,2106,2049,4452,2049,93,10,4458,4504,144,115,58,101,110,100,115,45,119, + 105,116,104,63,0,2,2049,79,1,13,2049,2106,2049,4433,2049,93,10,4488,4526,144, + 115,58,104,97,115,104,0,1,5381,4,1793,4537,4,1,33,19,17,10,1,4531, + 2049,3881,10,4516,4552,144,115,58,99,111,112,121,0,67502597,2049,79,2049,2883,2049,3132, + 10,4542,4572,144,115,58,68,73,71,73,84,83,0,2049,3657,48,49,50,51,52, + 53,54,55,56,57,0,1,4574,10,4560,4609,144,115,58,65,83,67,73,73,45, + 76,79,87,69,82,67,65,83,69,0,2049,3657,97,98,99,100,101,102,103,104, + 105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,0,1, + 4611,10,4588,4662,144,115,58,65,83,67,73,73,45,85,80,80,69,82,67,65, + 83,69,0,2049,3657,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79, + 80,81,82,83,84,85,86,87,88,89,90,0,1,4664,10,4641,4713,144,115,58, + 65,83,67,73,73,45,76,69,84,84,69,82,83,0,2049,3657,97,98,99,100, + 101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120, + 121,122,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82, + 83,84,85,86,87,88,89,90,0,1,4715,10,4694,4788,144,115,58,80,85,78, + 67,84,85,65,84,73,79,78,0,2049,3657,95,33,34,35,36,37,38,39,40, + 41,42,43,44,45,46,47,58,59,60,61,62,63,64,91,92,93,94,96,123, + 124,125,126,0,1,4790,1,95,67502597,16,10,4771,4846,131,115,58,87,72,73,84, + 69,83,80,65,67,69,0,32,9,10,13,0,4830,4856,156,39,0,1,3638,2049, + 144,10,4851,4866,156,36,0,1,0,2049,131,10,4861,0,131,65,83,67,73,73, + 58,78,85,76,0,4871,8,131,65,83,67,73,73,58,66,83,0,4884,9,131, + 65,83,67,73,73,58,72,84,0,4896,10,131,65,83,67,73,73,58,76,70, + 0,4908,11,131,65,83,67,73,73,58,86,84,0,4920,12,131,65,83,67,73, + 73,58,70,70,0,4932,13,131,65,83,67,73,73,58,67,82,0,4944,32,131, + 65,83,67,73,73,58,83,80,65,67,69,0,4956,127,131,65,83,67,73,73, + 58,68,69,76,0,4971,1,131,65,83,67,73,73,58,83,79,72,0,4984,2, + 131,65,83,67,73,73,58,83,84,88,0,4997,3,131,65,83,67,73,73,58, + 69,84,88,0,5010,4,131,65,83,67,73,73,58,69,79,84,0,5023,5,131, + 65,83,67,73,73,58,69,78,81,0,5036,6,131,65,83,67,73,73,58,65, + 67,75,0,5049,7,131,65,83,67,73,73,58,66,69,76,0,5062,14,131,65, + 83,67,73,73,58,83,79,0,5075,15,131,65,83,67,73,73,58,83,73,0, + 5087,16,131,65,83,67,73,73,58,68,76,69,0,5099,17,131,65,83,67,73, + 73,58,68,67,49,0,5112,18,131,65,83,67,73,73,58,68,67,50,0,5125, + 19,131,65,83,67,73,73,58,68,67,51,0,5138,20,131,65,83,67,73,73, + 58,68,67,52,0,5151,21,131,65,83,67,73,73,58,78,65,75,0,5164,22, + 131,65,83,67,73,73,58,83,89,78,0,5177,23,131,65,83,67,73,73,58, + 69,84,66,0,5190,24,131,65,83,67,73,73,58,67,65,78,0,5203,25,131, + 65,83,67,73,73,58,69,77,0,5216,26,131,65,83,67,73,73,58,83,85, + 66,0,5228,27,131,65,83,67,73,73,58,69,83,67,0,5241,28,131,65,83, + 67,73,73,58,70,83,0,5254,29,131,65,83,67,73,73,58,71,83,0,5266, + 30,131,65,83,67,73,73,58,82,83,0,5278,31,131,65,83,67,73,73,58, + 85,83,0,5290,5318,144,99,58,108,111,119,101,114,99,97,115,101,63,0,1, + 97,1,122,2049,2914,10,5302,5341,144,99,58,117,112,112,101,114,99,97,115,101, + 63,0,1,65,1,90,2049,2914,10,5325,5361,144,99,58,108,101,116,116,101,114, + 63,0,1,5318,1,5341,2049,2128,22,10,5348,5381,144,99,58,100,105,103,105,116, + 63,0,1,48,1,57,2049,2914,10,5369,5402,144,99,58,118,105,115,105,98,108, + 101,63,0,1,32,1,126,2049,2914,10,5388,5421,144,99,58,118,111,119,101,108, + 63,0,2049,3657,97,101,105,111,117,65,69,73,79,85,0,1,5423,4,2049,4007, + 10,5409,5456,144,99,58,99,111,110,115,111,110,97,110,116,63,0,2,2049,5361, + 1793,5466,2049,5421,2049,2465,10,1,5461,1793,5474,3,2049,2455,10,1,5470,2049,64,10, + 5440,5496,144,99,58,119,104,105,116,101,115,112,97,99,101,63,0,1,4846,4, + 2049,4007,10,5479,5519,144,99,58,45,108,111,119,101,114,99,97,115,101,63,0, + 2049,5318,2049,2465,10,5502,5541,144,99,58,45,117,112,112,101,114,99,97,115,101, + 63,0,2049,5341,2049,2465,10,5524,5559,144,99,58,45,100,105,103,105,116,63,0, + 2049,5381,2049,2465,10,5546,5582,144,99,58,45,119,104,105,116,101,115,112,97,99, + 101,63,0,2049,5496,2049,2465,10,5564,5602,144,99,58,45,118,105,115,105,98,108, + 101,63,0,2049,5402,2049,2465,10,5587,5620,144,99,58,45,118,111,119,101,108,63, + 0,2049,5421,2049,2465,10,5607,5642,144,99,58,45,99,111,110,115,111,110,97,110, + 116,63,0,2049,5456,2049,2465,10,5625,5661,144,99,58,116,111,45,117,112,112,101, + 114,0,2,2049,5318,25,3,1,32,18,10,5647,5684,144,99,58,116,111,45,108, + 111,119,101,114,0,2,2049,5341,25,3,1,32,17,10,5670,5708,144,99,58,116, + 111,45,115,116,114,105,110,103,0,2049,3657,46,0,1,5710,2049,3612,1,36,2049, + 2116,10,5693,5738,144,99,58,116,111,103,103,108,101,45,99,97,115,101,0,2, + 2049,5318,1,5661,1,5684,2049,64,10,5721,5763,144,99,58,116,111,45,110,117,109, + 98,101,114,0,2,2049,5381,1793,5772,1,48,18,10,1,5768,1793,5780,3,1,0, + 10,1,5776,2049,64,10,5748,5799,144,115,58,116,111,45,117,112,112,101,114,0, + 1,5661,2049,4347,10,5785,5818,144,115,58,116,111,45,108,111,119,101,114,0,1, + 5684,2049,4347,10,5804,5838,144,115,58,116,114,105,109,45,108,101,102,116,0,2049, + 3612,1793,5862,2049,56,1793,5849,2049,5496,10,1,5846,1793,5856,2049,2549,10,1,5853,2049, + 2128,21,10,1,5842,2049,2233,2049,2896,10,5823,5885,144,115,58,116,114,105,109,45, + 114,105,103,104,116,0,2049,3612,2049,3762,2049,5838,2049,3762,10,5869,5904,144,115,58, + 116,114,105,109,0,2049,5885,2049,5838,10,5894,5918,131,86,97,108,117,101,0,0, + 5909,5930,144,99,111,114,114,101,99,116,0,2,1,48,13,1793,5945,1,48,67502597, + 18,1,2,19,17,10,1,5936,9,10,5894,5964,144,110,58,116,111,45,115,116, + 114,105,110,103,0,1793,6018,2049,1877,2049,3439,2,4097,5918,2049,2848,1793,5992,1,10, + 20,4,1,48,17,2049,5930,2049,3347,2,2049,2549,10,1,5977,2049,2233,3,3841,5918, + 2049,2568,1793,6008,1,45,2049,3347,10,1,6003,9,2049,3313,2049,3762,2049,3612,10,1, + 5966,2049,3463,10,5949,6045,131,82,101,119,114,105,116,101,85,110,100,101,114,115, + 99,111,114,101,115,0,-1,6023,6053,144,115,117,98,0,1,95,1793,6060,1,32, + 10,1,6057,2049,2306,10,6046,6076,144,114,101,119,114,105,116,101,0,3841,6045,1793, + 6085,1,6053,2049,4347,10,1,6080,9,10,6065,6099,144,104,97,110,100,108,101,0, + 1,3716,8,10,6023,6115,156,112,114,101,102,105,120,58,39,0,2049,6076,2049,6099, + 10,6103,6131,144,115,58,115,112,108,105,116,0,2049,2096,2049,3935,772,2049,2096,2049, + 4452,1,38,2049,2106,10,6120,6166,144,115,58,115,112,108,105,116,45,111,110,45, + 115,116,114,105,110,103,0,2049,2096,2049,4235,2049,2883,772,2049,2096,2049,4452,1,38, + 2049,2106,10,6145,6195,144,115,58,114,101,112,108,97,99,101,0,67502597,2049,79,2049, + 1877,16,1793,6211,2049,6166,4,2049,1877,15,17,10,1,6203,2049,2106,2049,3822,2049,3863, + 10,6182,6232,131,83,112,108,105,116,45,79,110,0,0,6220,6243,144,109,97,116, + 99,104,63,0,3841,6232,11,10,6233,6260,144,116,101,114,109,105,110,97,116,101, + 0,1,0,67502597,2049,2896,16,10,6247,6275,144,115,116,101,112,0,1,2883,2049,2106, + 2049,6243,1793,6289,2,2049,105,2049,6260,10,1,6283,9,10,6182,6307,144,115,58,116, + 111,107,101,110,105,122,101,0,4097,6232,2049,3683,2049,1877,1,0,2049,105,1793,6329, + 2,2049,105,2,1,6275,2049,3881,3,10,1,6319,2049,2106,2049,1877,67502597,18,2049,2896, + 67502597,16,10,6293,6352,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,0,6343,6491,131,76,101,110,103,116,104,0,0,6481,6502,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,6342,6490,131,76,101,110,103,116,104,0,0,6480,6501,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,6492,6636,131,84,80,0,0,6630,6645, - 144,115,97,118,101,0,2049,3684,3841,6636,1,6502,17,2049,2884,16,1,6636,2049,2985, - 10,6637,6668,144,110,101,120,116,0,1793,6674,3841,6491,17,10,1,6670,2049,2116,10, - 6660,6687,144,100,111,110,101,0,2049,79,2049,2558,10,6294,6716,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, - 6636,1793,6730,2,1,6353,2049,4553,2049,3864,10,1,6722,1793,6739,2049,79,4097,6491,10, - 1,6734,2049,2128,1793,6756,1,6353,2049,6167,2049,6645,2049,6668,2049,6687,10,1,6745,2049, - 2256,1,6502,3841,6636,2049,2897,4097,6502,10,6692,6774,131,81,0,0,6769,6787,144,102, - 111,114,45,101,97,99,104,0,1,6774,1793,6817,4097,6774,2049,56,1793,6811,2049,56, - 4,1793,6806,3841,6774,8,10,1,6802,2049,2106,10,1,6797,2049,2281,3,10,1,6791, - 2049,3083,10,6775,6836,144,115,117,98,115,116,105,116,117,116,101,0,2049,3529,1, - 129,18,10,6822,6853,144,101,120,116,114,97,99,116,0,2049,6836,2049,4553,10,6842, - 6870,144,116,111,107,101,110,105,122,101,0,2049,6716,2049,3639,10,6858,6886,144,99, - 111,109,98,105,110,101,0,2049,6836,2049,3864,2049,3864,10,6875,6902,144,109,101,114, - 103,101,0,4,1,6886,2049,6787,772,10,6893,6921,144,102,105,110,100,45,101,110, - 100,0,2,2049,79,2049,6836,2049,79,18,67502597,17,10,6909,6941,144,99,108,101,97, - 110,0,2049,6921,1,0,4,16,10,6692,6965,144,115,58,114,101,112,108,97,99, - 101,45,97,108,108,0,1,3,1793,6980,2049,6853,2049,6870,2049,6902,2049,6941,2049,3613, - 10,1,6969,2049,3083,10,6948,6993,144,99,104,97,114,0,1,32,1793,7002,1,95, - 2049,3348,10,1,6997,2049,2306,1,114,1793,7015,1,13,2049,3348,10,1,7010,2049,2306, - 1,110,1793,7028,1,10,2049,3348,10,1,7023,2049,2306,1,116,1793,7041,1,9,2049, - 3348,10,1,7036,2049,2306,1,48,1793,7054,1,0,2049,3348,10,1,7049,2049,2306,2049, - 3348,10,6985,7071,144,115,116,114,105,110,103,0,2049,56,25,2049,3348,1,7071,7, - 10,7061,7088,144,116,121,112,101,0,1,99,1793,7096,4,2049,3348,10,1,7092,2049, - 2306,1,115,1793,7109,4,2049,7071,3,10,1,7104,2049,2306,1,110,1793,7124,4,2049, - 5965,2049,7071,3,10,1,7117,2049,2306,3,10,7080,7140,144,104,97,110,100,108,101, - 0,1,92,1793,7149,2049,56,2049,6993,10,1,7144,2049,2306,1,37,1793,7162,2049,56, - 2049,7088,10,1,7157,2049,2306,2049,3348,10,6948,7181,144,115,58,102,111,114,109,97, - 116,0,1793,7210,2049,3639,1793,7205,2049,3440,1793,7200,2049,56,25,2049,7140,1,7191,7, - 10,1,7191,8,3,10,1,7187,2049,2116,10,1,7183,2049,3464,10,7169,7226,144,115, - 58,99,111,110,115,116,0,1,3684,2049,2106,2049,2022,10,7215,7243,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,7233,7279,144,102,114,111,109,0, - 2049,79,2,1793,7298,1793,7291,1,7243,17,16,10,1,7286,2049,2116,2049,2897,10,1, - 7284,2049,2281,3,10,7271,7310,144,116,111,0,2,2049,79,1793,7328,2049,56,1,97, - 18,2049,2884,1,7243,17,15,4,10,1,7315,2049,2281,3,10,7215,7345,144,114,101, - 111,114,100,101,114,0,1,7279,2049,2106,2049,7310,10,7334,7361,144,99,117,114,114, - 121,0,2049,1877,1793,7371,4,2049,1731,2049,1754,10,1,7365,2049,2106,10,7352,7384,144, - 100,111,101,115,0,2049,1588,4,2049,7361,2049,1570,2049,158,16,1,144,2049,1649,10, - 7376,7413,144,100,58,102,111,114,45,101,97,99,104,0,1,2,1793,7441,15,25, - 2049,2096,1793,7433,1793,7428,4,8,10,1,7425,2049,2106,10,1,7423,2049,2106,1,7417, - 7,10,1,7417,8,3,10,7399,7461,144,100,58,108,111,111,107,117,112,45,120, - 116,0,1,0,4,1793,7487,2049,2096,2049,158,15,11,1793,7480,4,1,2057,2049,2106, - 10,1,7474,1,11,2049,64,10,1,7466,2049,7413,3,10,7446,7505,144,97,58,108, - 101,110,103,116,104,0,15,10,7493,7528,144,97,58,99,111,117,110,116,101,100, - 45,114,101,115,117,108,116,115,0,8,2049,1877,1793,7541,2,2049,105,1,105,2049, - 2281,10,1,7533,2049,2106,10,7507,7563,144,97,58,102,114,111,109,45,115,116,114, - 105,110,103,0,2049,1877,1793,7577,2,2049,79,2049,105,1,105,2049,3882,10,1,7567, - 2049,2106,10,7546,7587,131,81,0,0,7546,7602,144,97,58,102,111,114,45,101,97, - 99,104,0,1,7587,1793,7632,4097,7587,2049,56,1793,7626,2049,56,4,1793,7621,3841,7587, - 8,10,1,7617,2049,2106,10,1,7612,2049,2281,3,10,1,7606,2049,3083,10,7588,7646, - 144,97,58,100,117,112,0,2049,1877,1793,7659,2,15,2049,105,1,105,2049,7602,10, - 1,7650,2049,2106,10,7637,7674,144,97,58,99,111,112,121,0,1,3,1793,7690,4097, - 3,2,2049,7505,2049,105,1,105,2049,7602,10,1,7678,2049,3083,10,7664,7710,144,97, - 58,116,111,45,115,116,114,105,110,103,0,1,3,1793,7723,2049,7646,1,0,2049, - 105,2049,2884,10,1,7714,2049,3083,2049,3613,10,7695,7743,144,97,58,112,114,101,112, - 101,110,100,0,2049,1877,1,0,2049,105,1793,7780,2,15,1793,7760,1,105,2049,7602, - 10,1,7755,2049,2106,4,2,15,1793,7774,1,105,2049,7602,10,1,7769,2049,2106,17, - 10,1,7751,2049,2106,1,36,2049,2116,10,7730,7801,144,97,58,97,112,112,101,110, - 100,0,4,2049,7743,10,7789,7815,144,97,58,99,104,111,112,0,2049,7646,1,-1, - 2049,3064,2,2049,3000,10,7805,7837,144,97,58,102,105,108,116,101,114,0,1793,7852, - 67502597,1,21,2049,2106,4,1,105,1,11,2049,64,10,1,7839,2049,7361,2049,1877,1793, - 7867,67502597,15,2049,105,2049,7602,10,1,7860,2049,2106,2049,1877,67502597,18,2049,2897,67502597,16, - 10,7825,7895,144,97,58,99,111,110,116,97,105,110,115,63,0,1,0,4,1793, - 7907,4,5,67502597,11,6,22,10,1,7900,2049,7602,772,10,7880,7935,144,97,58,99, - 111,110,116,97,105,110,115,45,115,116,114,105,110,103,63,0,1,0,4,1793, - 7948,4,5,67502597,2049,93,6,22,10,1,7940,2049,7602,772,10,7913,7966,131,76,111, - 99,97,116,105,111,110,0,0,7954,7978,144,112,114,101,112,97,114,101,0,4, - 1,-1,4097,7966,10,7967,7992,144,110,101,120,116,0,3841,7966,2049,2593,1793,8003,1, - 7966,2049,3000,10,1,7998,9,10,7984,8017,144,109,97,116,99,104,63,0,67502597,11, - 1793,8026,3841,7966,2049,2593,10,1,8021,1793,8033,2049,2455,10,1,8030,2049,64,10,8007, - 8052,144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,1793,8062,3841,7966, - 2049,2593,10,1,8057,1793,8069,2049,2455,10,1,8066,2049,64,10,8038,8084,144,117,112, - 100,97,116,101,0,3841,7966,2049,2849,2049,2897,4097,7966,10,7913,8107,144,97,58,105, - 110,100,101,120,45,111,102,0,2049,7978,2049,2096,2049,7895,1793,8119,771,1,-1,10, - 1,8115,2049,2509,1793,8133,2049,8017,1,8084,9,2049,7992,10,1,8125,2049,7602,3,3841, - 7966,10,8093,8162,144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,105, - 110,103,0,2049,7978,2049,2096,2049,7935,1793,8174,771,1,-1,10,1,8170,2049,2509,1793, - 8188,2049,8052,1,8084,9,2049,7992,10,1,8180,2049,7602,3,3841,7966,10,8141,8205,144, - 97,58,109,97,112,0,1793,8211,8,2049,105,10,1,8207,2049,7361,2049,1877,1793,8226, - 67502597,15,2049,105,2049,7602,10,1,8219,2049,2106,10,8196,8244,144,97,58,114,101,118, - 101,114,115,101,0,2049,1877,1793,8278,2049,56,1793,8256,17,2049,2897,10,1,8252,2049, - 2116,2,2049,105,1793,8272,2,15,2049,105,2049,2897,10,1,8265,2049,2281,3,10,1, - 8248,2049,2106,10,8231,8291,144,97,58,116,104,0,17,2049,2884,10,8283,8306,144,97, - 58,102,101,116,99,104,0,2049,8291,15,10,8295,8321,144,97,58,115,116,111,114, - 101,0,2049,8291,16,10,8310,8337,144,97,58,114,101,100,117,99,101,0,1,13, - 2049,2106,2049,7602,10,8325,8354,144,97,58,109,97,107,101,0,2049,7528,2049,8244,10, - 8344,8364,156,123,0,1,285,2049,156,1,1556,2049,144,1,285,2049,156,10,8359,8382, - 156,125,0,1,301,2049,156,1,2106,2049,144,1,1556,2049,144,1,13,2049,150,1, - 40,2049,150,1,2897,2049,144,1,301,2049,156,1,8354,2049,144,10,8377,8426,144,98, - 111,117,110,100,115,63,0,67502597,2049,7505,67502597,13,10,8415,8440,144,99,111,112,121, - 0,2049,56,2049,105,10,8432,8455,144,116,111,45,101,110,100,0,2,2049,7505,17, - 2049,2884,10,8377,8472,144,97,58,108,101,102,116,0,2049,8426,1793,8480,771,1,-1, - 10,1,8476,2049,2492,2049,1877,67502597,2049,105,1793,8501,1,2884,2049,2106,1,8440,2049,2281, - 3,10,1,8491,2049,2106,10,8462,8517,144,97,58,114,105,103,104,116,0,2049,8426, - 1793,8525,771,1,-1,10,1,8521,2049,2492,2049,1877,67502597,2049,105,1793,8548,4,2049,8455, - 67502597,18,4,1,8440,2049,2281,3,10,1,8536,2049,2106,10,8506,8565,144,97,58,109, - 105,100,100,108,101,0,1,2048,2049,2106,4,67502597,2049,8426,1793,8580,771,3,1,-1, - 10,1,8575,2049,2492,771,2049,2096,4,18,2049,2884,2049,1877,67502597,2049,105,1793,8615,772, - 1793,8605,17,2049,2884,10,1,8601,2049,2106,1,8440,2049,2281,3,10,1,8598,2049,2106, - 10,8553,8628,131,70,108,97,103,0,0,8620,8640,144,99,111,109,112,97,114,101, - 0,67440386,184946434,10,8629,8653,144,108,101,110,103,116,104,0,659202,10,8643,8663,144,110, - 101,120,116,0,17043713,1,1,2577,10,8655,8681,144,110,111,116,45,101,113,117,97, - 108,0,50529030,2561,0,10,8668,8693,144,108,111,111,112,0,524549,8663,2049,8640,18157313,8628, - 8628,16,420610310,1,1,8693,7,10,8553,8716,144,97,58,101,113,63,0,1048833,-1,8628, - 2049,8640,151066369,-1,8681,2049,8653,2049,8693,251724547,8628,10,8707,8741,144,97,58,45,101,113, - 63,0,2049,8716,2049,2711,10,8731,8764,144,97,58,98,101,103,105,110,115,45,119, - 105,116,104,63,0,1,3,1793,8780,2,2049,7505,1,13,2049,2106,2049,8472,2049,8716, - 10,1,8768,2049,3083,10,8746,8801,144,97,58,101,110,100,115,45,119,105,116,104, - 63,0,1,3,1793,8817,2,2049,7505,1,13,2049,2106,2049,8517,2049,8716,10,1,8805, - 2049,3083,10,8785,8838,144,99,117,114,114,101,110,116,45,108,105,110,101,0,2049, - 3529,1,1025,18,10,8822,8860,144,99,111,117,110,116,45,116,111,107,101,110,115, - 0,1793,8866,1,32,11,10,1,8862,2049,4306,2049,79,10,8844,8887,144,110,101,120, - 116,45,116,111,107,101,110,0,1,32,2049,6132,10,8873,8910,144,112,114,111,99, - 101,115,115,45,116,111,107,101,110,115,0,1793,8936,2049,8887,4,1793,8929,2,2049, - 79,2049,2574,1,365,1,11,2049,64,10,1,8917,2049,2106,2049,2884,10,1,8912,2049, - 2281,2049,365,10,8785,8957,144,115,58,101,118,97,108,117,97,116,101,0,2049,8838, - 2049,4553,2049,8838,2,2049,8860,2049,8910,10,8943,8975,131,76,80,0,0,8969,8985,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,8976,9025, - 144,110,101,120,116,0,3841,8975,1,8985,17,2049,2985,10,9017,9041,144,112,114,101, - 112,0,1,8975,2049,2985,1,0,3841,8975,1,8985,17,16,10,9033,9062,144,100,111, - 110,101,0,1,8975,2049,3000,10,8943,9072,144,73,0,3841,8975,1,8985,17,15,10, - 9067,9084,144,74,0,3841,8975,1,8985,17,2049,2897,15,10,9079,9098,144,75,0,3841, - 8975,1,8985,17,1,2,18,15,10,9093,9129,144,116,105,109,101,115,60,119,105, - 116,104,45,105,110,100,101,120,62,0,2049,9041,4,1793,9145,25,33886721,1,2053,1542, - 2049,9025,1,9134,7,10,1,9134,8,3,2049,9062,10,9108,9160,156,104,111,111,107, - 0,2049,3658,108,105,106,117,46,46,46,46,0,1,9162,2049,412,2049,1877,2049,2884, - 2049,105,10,9152,9194,144,115,101,116,45,104,111,111,107,0,2049,2884,16,10,9182, - 9208,144,117,110,104,111,111,107,0,2049,2884,2,2049,2884,4,16,10,9198,9232,144, - 105,111,58,101,110,117,109,101,114,97,116,101,0,27,10,9216,9246,144,105,111, - 58,113,117,101,114,121,0,28,10,9234,9261,144,105,111,58,105,110,118,111,107, - 101,0,29,10,9248,9271,131,83,108,111,116,0,9,9248,9287,144,105,111,58,115, - 99,97,110,45,102,111,114,0,1,-1,4097,9271,2049,9232,1793,9313,2049,9072,2049,9246, - 772,67502597,11,1793,9309,2049,9072,4097,9271,10,1,9304,9,10,1,9295,2049,9129,3,3841, - 9271,10,9272,9330,144,99,58,112,117,116,0,1793,9332,1,0,2049,9261,10,9321,9343, - 144,110,108,0,1,10,2049,9330,10,9337,9354,144,115,112,0,1,32,2049,9330,10, - 9348,9366,144,116,97,98,0,1,9,2049,9330,10,9359,9380,144,115,58,112,117,116, - 0,1,9330,2049,3882,10,9371,9394,144,110,58,112,117,116,0,2049,5965,2049,9380,10, - 9385,9408,144,114,101,115,101,116,0,2049,1556,25,771,1,9408,7,10,9399,9430,144, - 100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9430,6,2, - 2049,9394,2049,9354,10,9416,9452,144,70,82,69,69,0,2049,3529,1,1025,18,2049,1877, - 18,10,9444,9470,131,70,105,108,101,115,0,0,9461,9483,144,105,100,101,110,116, - 105,102,121,0,3841,9470,2049,2558,1793,9550,1,4,2049,9287,2,2049,2593,1793,9538,3, - 2049,3658,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,9501,2049,9380,2049,9343,10,1, - 9498,1793,9545,4097,9470,10,1,9542,2049,64,10,1,9489,9,10,9444,9575,144,105,111, - 58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9483,3841,9470, - 2049,9261,10,9554,0,131,102,105,108,101,58,82,0,9582,1,131,102,105,108,101, - 58,87,0,9592,2,131,102,105,108,101,58,65,0,9602,3,131,102,105,108,101, - 58,82,43,0,9612,9636,144,102,105,108,101,58,111,112,101,110,0,1,0,2049, - 9575,10,9623,9655,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9575, - 10,9641,9673,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9575,10,9660, - 9692,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9575,10,9678,9710, - 144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9575,10,9697,9728,144,102, - 105,108,101,58,115,101,101,107,0,1,5,2049,9575,10,9715,9746,144,102,105,108, - 101,58,115,105,122,101,0,1,6,2049,9575,10,9733,9766,144,102,105,108,101,58, - 100,101,108,101,116,101,0,1,7,2049,9575,10,9751,9785,144,102,105,108,101,58, - 102,108,117,115,104,0,1,8,2049,9575,10,9771,9806,144,102,105,108,101,58,101, - 120,105,115,116,115,63,0,1,0,2049,9636,2,2049,2574,1793,9820,2049,9655,2049,2443, - 10,1,9815,1793,9828,3,2049,2455,10,1,9824,2049,64,10,9790,9859,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,9636,2,2049,9746,4,10,9833,9893,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,9636,2,2049, - 9746,4,10,9868,9928,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,9636,10,9902,9940,131,70,73,68, - 0,0,9933,9949,131,83,105,122,101,0,0,9941,9960,131,65,99,116,105,111,110, - 0,0,9950,9971,131,66,117,102,102,101,114,0,0,9961,9981,144,45,101,111,102, - 63,0,3841,9940,2049,9710,3841,9949,13,10,9972,10001,144,112,114,101,115,101,114,118, - 101,0,1,9940,1793,10012,1,9949,1,21,2049,3083,10,1,10005,2049,3083,10,9902,10035, - 144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9940,1793,10092, - 2049,1877,2,4097,9971,2049,3440,1793,10084,3841,9940,2049,9673,2,2049,3348,1793,10061,1,13, - 11,10,1,10057,1793,10069,1,10,11,10,1,10065,1793,10077,1,0,11,10,1,10073, - 2049,2165,22,22,10,1,10048,2049,2256,2049,3372,3,10,1,10039,2049,3464,3841,9971,10, - 10017,10121,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110, - 101,0,1793,10152,4097,9960,2049,9859,4097,9940,4097,9949,1793,10143,3841,9940,2049,10035,3841,9960, - 8,2049,9981,10,1,10133,2049,2233,3841,9940,2049,9655,10,1,10123,2049,10001,10,10099,10164, - 131,70,73,68,0,0,10099,10179,144,102,105,108,101,58,115,108,117,114,112,0, - 1793,10206,4,2049,3440,2049,9859,4097,10164,1793,10197,3841,10164,2049,9673,2049,3348,10,1,10190, - 2049,2281,3841,10164,2049,9655,10,1,10181,2049,3464,10,10165,10224,144,102,105,108,101,58, - 115,112,101,119,0,2049,9928,4,1793,10233,67502597,2049,9692,10,1,10229,2049,3882,2049,9655, - 10,10211,10247,131,70,80,85,0,0,10240,10260,144,105,100,101,110,116,105,102,121, - 0,3841,10247,2049,2558,1793,10327,1,2,2049,9287,2,2049,2593,1793,10315,3,2049,3658,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,10278,2049,9380,2049,9343,10,1,10275,1793,10322, - 4097,10247,10,1,10319,2049,64,10,1,10266,9,10,10211,10353,144,105,111,58,102,108, - 111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10260,3841,10247,2049,9261, - 10,10331,10374,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10353,10, - 10360,10393,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10353,10,10379, - 10413,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10353,10,10398, - 10433,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3639,2,1,3,2049, - 10353,10,10418,10448,144,102,58,43,0,1,4,2049,10353,10,10441,10460,144,102,58,45, - 0,1,5,2049,10353,10,10453,10472,144,102,58,42,0,1,6,2049,10353,10,10465,10484, - 144,102,58,47,0,1,7,2049,10353,10,10477,10500,144,102,58,102,108,111,111,114, - 0,1,8,2049,10353,10,10489,10518,144,102,58,99,101,105,108,105,110,103,0,1, - 9,2049,10353,10,10505,10533,144,102,58,115,113,114,116,0,1,10,2049,10353,10,10523, - 10547,144,102,58,101,113,63,0,1,11,2049,10353,10,10538,10562,144,102,58,45,101, - 113,63,0,1,12,2049,10353,10,10552,10576,144,102,58,108,116,63,0,1,13,2049, - 10353,10,10567,10590,144,102,58,103,116,63,0,1,14,2049,10353,10,10581,10606,144,102, - 58,100,101,112,116,104,0,1,15,2049,10353,10,10595,10620,144,102,58,100,117,112, - 0,1,16,2049,10353,10,10611,10635,144,102,58,100,114,111,112,0,1,17,2049,10353, - 10,10625,10650,144,102,58,115,119,97,112,0,1,18,2049,10353,10,10640,10664,144,102, - 58,108,111,103,0,1,19,2049,10353,10,10655,10680,144,102,58,112,111,119,101,114, - 0,1,20,2049,10353,10,10669,10694,144,102,58,115,105,110,0,1,21,2049,10353,10, - 10685,10708,144,102,58,99,111,115,0,1,22,2049,10353,10,10699,10722,144,102,58,116, - 97,110,0,1,23,2049,10353,10,10713,10737,144,102,58,97,115,105,110,0,1,24, - 2049,10353,10,10727,10752,144,102,58,97,99,111,115,0,1,25,2049,10353,10,10742,10767, - 144,102,58,97,116,97,110,0,1,26,2049,10353,10,10757,10782,144,102,58,112,117, - 115,104,0,1,27,2049,10353,10,10772,10796,144,102,58,112,111,112,0,1,28,2049, - 10353,10,10787,10813,144,102,58,97,100,101,112,116,104,0,1,29,2049,10353,10,10801, - 10830,144,102,58,115,113,117,97,114,101,0,2049,10620,2049,10472,10,10818,10845,144,102, - 58,111,118,101,114,0,2049,10782,2049,10620,2049,10796,2049,10650,10,10835,10864,144,102,58, - 116,117,99,107,0,2049,10620,2049,10782,2049,10650,2049,10796,10,10854,10882,144,102,58,110, - 105,112,0,2049,10650,2049,10635,10,10873,10902,144,102,58,100,114,111,112,45,112,97, - 105,114,0,2049,10635,2049,10635,10,10887,10921,144,102,58,100,117,112,45,112,97,105, - 114,0,2049,10845,2049,10845,10,10907,10935,144,102,58,114,111,116,0,2049,10782,2049,10650, - 2049,10796,2049,10650,10,10926,10959,144,102,58,112,111,115,105,116,105,118,101,63,0, - 1,0,2049,10374,2049,10590,10,10944,10981,144,102,58,110,101,103,97,116,105,118,101, - 63,0,1,0,2049,10374,2049,10576,10,10966,11000,144,102,58,110,101,103,97,116,101, - 0,1,-1,2049,10374,2049,10472,10,10988,11016,144,102,58,97,98,115,0,2049,10620,2049, - 10981,1,11000,9,10,11007,11036,156,112,114,101,102,105,120,58,46,0,2049,1818,1, - 3684,1,3613,2049,64,1,10393,2049,144,10,11024,11058,144,102,58,112,117,116,0,2049, - 10433,2049,9380,10,11049,11071,144,102,58,80,73,0,2049,3658,51,46,49,52,49,53, - 57,50,0,1,11073,2049,10393,10,11063,11094,144,102,58,69,0,2049,3658,50,46,55, - 49,56,50,56,49,0,1,11096,2049,10393,10,11087,11119,144,102,58,78,65,78,0, - 2049,3658,48,0,1,11121,2049,10393,2049,3658,48,0,1,11129,2049,10393,2049,10484,10,11110, - 11147,144,102,58,73,78,70,0,2049,3658,49,46,48,0,1,11149,2049,10393,2049,3658, - 48,0,1,11159,2049,10393,2049,10484,10,11138,11178,144,102,58,45,73,78,70,0,2049, - 3658,45,49,46,48,0,1,11180,2049,10393,2049,3658,48,0,1,11191,2049,10393,2049,10484, - 10,11168,11210,144,102,58,110,97,110,63,0,2049,10620,2049,10562,10,11200,11225,144,102, - 58,105,110,102,63,0,2049,11147,2049,10547,10,11215,11241,144,102,58,45,105,110,102, - 63,0,2049,11178,2049,10547,10,11230,11257,144,102,58,114,111,117,110,100,0,2049,10620, - 2049,10981,1793,11278,2049,3658,48,46,53,0,1,11265,2049,10393,2049,10460,2049,10518,10,1, - 11263,1793,11297,2049,3658,48,46,53,0,1,11284,2049,10393,2049,10448,2049,10500,10,1,11282, - 2049,64,10,11246,11311,144,102,58,109,105,110,0,2049,10921,2049,10576,1,10635,1,10882, - 2049,64,10,11302,11331,144,102,58,109,97,120,0,2049,10921,2049,10590,1,10635,1,10882, - 2049,64,10,11322,11353,144,102,58,108,105,109,105,116,0,2049,10650,2049,10782,2049,11311, - 2049,10796,2049,11331,10,11342,11378,144,102,58,98,101,116,119,101,101,110,63,0,2049, - 10935,2049,10620,2049,10782,2049,10935,2049,10935,2049,11353,2049,10796,2049,10547,10,11364,11404,144,102, - 58,105,110,99,0,2049,3658,49,0,1,11406,2049,10393,2049,10448,10,11395,11424,144,102, - 58,100,101,99,0,2049,3658,49,0,1,11426,2049,10393,2049,10460,10,11415,11445,144,102, - 58,99,97,115,101,0,2049,10845,2049,10547,1793,11457,2049,10635,8,1,-1,10,1,11451, - 1793,11465,3,1,0,10,1,11461,2049,64,25,6,771,10,11435,11483,144,102,58,115, - 105,103,110,0,2049,10620,2049,3658,48,0,1,11487,2049,10393,2049,10547,1793,11502,1,0, - 2049,10635,10,1,11497,2049,2492,2049,3658,48,0,1,11508,2049,10393,2049,10590,1793,11521,1, - 1,10,1,11518,1793,11528,1,-1,10,1,11525,2049,64,10,11473,2147483645,131,101,58,77, - 65,88,0,11533,-2147483645,131,101,58,77,73,78,0,11542,-2147483647,131,101,58,78,65,78, - 0,11551,2147483646,131,101,58,73,78,70,0,11560,-2147483646,131,101,58,45,73,78,70,0, - 11569,11587,144,101,58,110,63,0,1,-2147483645,2049,2884,1,2147483645,2049,2897,2049,2915,10,11579, - 11608,144,101,58,109,97,120,63,0,1,2147483645,11,10,11598,11622,144,101,58,109,105, - 110,63,0,1,-2147483645,11,10,11612,11637,144,101,58,122,101,114,111,63,0,2049,2558, - 10,11626,11650,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11640,11664,144,101,58, - 105,110,102,63,0,1,2147483646,11,10,11654,11679,144,101,58,45,105,110,102,63,0, - 1,-2147483646,11,10,11668,11693,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2867, - 10,11683,11708,144,102,58,69,49,0,1793,11710,2049,3658,49,46,101,53,0,1,11712, - 2049,10393,10,11700,11734,144,102,58,45,115,104,105,102,116,0,2049,11708,2049,10472,10, - 11722,11751,144,102,58,43,115,104,105,102,116,0,2049,11708,2049,10484,10,11739,11773,144, - 102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10620,2049,11483,2049,11016, - 2049,10533,2049,10374,2049,10472,10,11756,11799,144,102,58,43,101,110,99,111,100,101,0, - 2049,11773,2049,11734,10,11786,11817,144,102,58,45,101,110,99,111,100,101,0,2049,10620, - 2049,11483,2049,11751,2049,10620,2049,10472,2049,10374,2049,10472,10,11804,11851,144,102,58,115,105, - 103,110,101,100,45,115,113,117,97,114,101,0,2049,10620,2049,11483,2049,10620,2049,10472, - 2049,10374,2049,10472,10,11832,11874,144,102,58,116,111,45,101,0,2049,10620,2049,11210,1793, - 11885,2049,10635,1,-2147483647,10,1,11880,2049,2492,2049,10620,2049,11225,1793,11900,2049,10635,1,2147483646, - 10,1,11895,2049,2492,2049,10620,2049,11241,1793,11915,2049,10635,1,-2147483646,10,1,11910,2049,2492, - 2049,11799,2049,11257,2049,10413,2049,11693,1,-2147483645,1793,11934,2049,10635,10,1,11931,2049,2306,1, - 2147483645,1793,11945,2049,10635,10,1,11942,2049,2306,10,11864,11960,144,101,58,116,111,45,102, - 0,1,-2147483647,1793,11967,2049,11119,10,1,11964,2049,2306,1,2147483646,1793,11978,2049,11147,10,1, - 11975,2049,2306,1,-2147483646,1793,11989,2049,11178,10,1,11986,2049,2306,2049,10374,2049,11817,10,11950, - 12009,144,102,58,115,116,111,114,101,0,1793,12014,2049,11874,10,1,12011,2049,2106,16, - 10,11998,12031,144,102,58,102,101,116,99,104,0,15,2049,11960,10,12020,12051,144,102, - 58,100,117,109,112,45,115,116,97,99,107,0,2049,10606,2,1,10782,2049,2281,1793, - 12069,2049,10796,2049,10620,2049,11058,2049,9354,10,1,12060,2049,2281,10,12035,12091,144,102,58, - 100,117,109,112,45,97,115,116,97,99,107,0,2049,10813,2,1,10796,2049,2281,1793, - 12109,2049,10620,2049,11058,2049,9354,2049,10782,10,1,12100,2049,2281,10,12074,12123,144,101,58, - 112,117,116,0,1,2147483645,1793,12140,2049,3658,101,58,77,65,88,0,1,12129,2049,9380, - 10,1,12127,2049,2306,1,-2147483645,1793,12161,2049,3658,101,58,77,73,78,0,1,12150,2049, - 9380,10,1,12148,2049,2306,1,0,1793,12180,2049,3658,101,58,48,0,1,12171,2049,9380, - 10,1,12169,2049,2306,1,-2147483647,1793,12201,2049,3658,101,58,78,65,78,0,1,12190,2049, - 9380,10,1,12188,2049,2306,1,2147483646,1793,12222,2049,3658,101,58,73,78,70,0,1,12211, - 2049,9380,10,1,12209,2049,2306,1,-2147483646,1793,12244,2049,3658,101,58,45,73,78,70,0, - 1,12232,2049,9380,10,1,12230,2049,2306,2049,11960,2049,11058,10,12114,12271,131,105,111,58, - 85,110,105,120,83,121,115,99,97,108,108,0,0,12253,12284,144,105,100,101,110, - 116,105,102,121,0,3841,12271,2049,2558,1793,12351,1,8,2049,9287,2,2049,2593,1793,12339, - 3,2049,3658,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,12302,2049,9380,2049,9343,10, - 1,12299,1793,12346,4097,12271,10,1,12343,2049,64,10,1,12290,9,10,12114,12374,144,105, - 111,58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12284,3841,12271,2049, - 9261,10,12355,12396,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049, - 12374,10,12381,12414,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12374,10, - 12401,12433,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12374,10,12419, - 12452,144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12374,10,12438,12471, - 144,117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12374,10,12457,12490,144, - 117,110,105,120,58,101,120,101,99,51,0,1,5,2049,12374,10,12476,12508,144,117, - 110,105,120,58,101,120,105,116,0,1,6,2049,12374,10,12495,12528,144,117,110,105, - 120,58,103,101,116,112,105,100,0,1,7,2049,12374,10,12513,12546,144,117,110,105, - 120,58,119,97,105,116,0,1,8,2049,12374,10,12533,12564,144,117,110,105,120,58, - 107,105,108,108,0,1,9,2049,12374,10,12551,12583,144,117,110,105,120,58,112,111, - 112,101,110,0,1,10,2049,12374,10,12569,12603,144,117,110,105,120,58,112,99,108, - 111,115,101,0,1,11,2049,12374,10,12588,12622,144,117,110,105,120,58,99,104,100, - 105,114,0,1,13,2049,12374,10,12608,12642,144,117,110,105,120,58,103,101,116,101, - 110,118,0,1,14,2049,12374,10,12627,12662,144,117,110,105,120,58,112,117,116,101, - 110,118,0,1,15,2049,12374,10,12647,12681,144,117,110,105,120,58,115,108,101,101, - 112,0,1,16,2049,12374,10,12667,12702,144,117,110,105,120,58,103,101,116,45,99, - 119,100,0,2049,3658,112,119,100,0,1,12704,1,0,2049,12583,2,2049,10035,2049,5905, - 4,2049,12603,2049,3658,47,0,1,12724,2049,3864,10,12686,12758,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, - 3658,108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12760,1,0,2049, - 12583,2,2049,10035,2049,5905,2049,218,4,2049,12603,10,12731,12813,144,117,110,105,120,58, - 102,111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3658,108,115,32,45, - 49,32,45,112,0,1,12815,1,0,2049,12583,2049,12758,1793,12848,1793,12843,2049,10035,2049, - 3613,67502597,8,10,1,12836,2049,2116,10,1,12834,2049,2281,2049,12603,3,10,12791,12865,144, - 115,116,97,114,116,0,4,2049,3440,1,0,2049,12583,10,12856,12881,144,114,101,97, - 100,0,2,2049,9673,2,2049,3348,2049,2558,10,12873,12900,144,102,105,110,105,115,104, - 0,2049,12603,2049,3420,10,12791,12924,144,117,110,105,120,58,115,108,117,114,112,45, - 112,105,112,101,0,1793,12940,2049,12865,1793,12933,2049,12881,10,1,12930,2049,2256,2049,12900, - 10,1,12926,2049,3464,10,12905,12951,131,105,111,0,0,12945,12964,144,105,100,101,110, - 116,105,102,121,0,3841,12951,2049,2558,1793,13031,1,10,2049,9287,2,2049,2593,1793,13019, - 3,2049,3658,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,12982,2049,9380,2049,9343,10, - 1,12979,1793,13026,4097,12951,10,1,13023,2049,64,10,1,12970,9,10,12905,13055,144,105, - 111,58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12964,3841,12951, - 2049,9261,10,13035,13074,144,110,58,114,97,110,100,111,109,0,2049,13055,10,13062,13088, - 131,83,111,99,107,101,116,115,0,0,13077,13101,144,105,100,101,110,116,105,102, - 121,0,3841,13088,2049,2558,1793,13168,1,7,2049,9287,2,2049,2593,1793,13156,3,2049,3658, - 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,13119,2049,9380,2049,9343,10,1,13116,1793, - 13163,4097,13088,10,1,13160,2049,64,10,1,13107,9,10,13062,13195,144,105,111,58,115, - 111,99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13101,3841,13088, - 2049,9261,10,13172,13226,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,13195,10,13202,13248,144,115,111,99,107,101, - 116,58,99,114,101,97,116,101,0,1,1,2049,13195,10,13231,13268,144,115,111,99, - 107,101,116,58,98,105,110,100,0,1,2,2049,13195,10,13253,13290,144,115,111,99, - 107,101,116,58,108,105,115,116,101,110,0,1,3,2049,13195,10,13273,13312,144,115, - 111,99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,13195,10,13295,13335, - 144,115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13195, - 10,13317,13355,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13195, - 10,13340,13375,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13195, - 10,13360,13396,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049, - 13195,10,13380,13421,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114, - 101,0,1,11,2049,13195,10,13401,1024,131,84,73,66,0,13426,13447,144,105,109,97, - 103,101,58,115,97,118,101,0,1,1000,2049,9287,2049,9261,10,13433,13466,131,75,101, - 121,98,111,97,114,100,0,0,13454,13479,144,105,100,101,110,116,105,102,121,0, - 3841,13466,2049,2558,1793,13546,1,1,2049,9287,2,2049,2593,1793,13534,3,2049,3658,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,13497,2049,9380,2049,9343,10,1,13494,1793,13541,4097, - 13466,10,1,13538,2049,64,10,1,13485,9,10,13433,13559,144,99,58,103,101,116,0, - 2049,13479,3841,13466,2049,9261,10,13550,13576,144,103,97,116,104,101,114,0,2,1793,13583, - 1,8,11,10,1,13579,1793,13591,1,127,11,10,1,13587,2049,2128,22,1,11,1, - 3348,2049,64,10,13566,13612,144,99,121,99,108,101,0,2049,13559,2049,2096,4,8,2049, - 2711,25,3,2049,13576,1,13612,7,10,13550,13643,144,112,97,114,115,101,45,117,110, - 116,105,108,0,1793,13655,2049,3639,2049,3440,2049,13612,771,2049,3314,10,1,13645,2049,3464, - 10,13628,13669,144,115,58,103,101,116,0,1793,13691,1793,13677,1,10,11,10,1,13673, - 1793,13685,1,13,11,10,1,13681,2049,2128,22,10,1,13671,2049,13643,10,13660,13710,144, - 115,58,103,101,116,45,119,111,114,100,0,1,5497,2049,13643,10,13696,13728,131,83, - 99,114,105,112,116,105,110,103,0,7,13715,13741,144,105,100,101,110,116,105,102, - 121,0,3841,13728,2049,2558,1793,13808,1,9,2049,9287,2,2049,2593,1793,13796,3,2049,3658, - 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,13759,2049,9380,2049,9343,10,1,13756,1793, - 13803,4097,13728,10,1,13800,2049,64,10,1,13747,9,10,13696,13824,144,115,121,115,58, - 97,114,103,99,0,2049,13741,1,0,3841,13728,2049,9261,10,13812,13845,144,115,121,115, - 58,97,114,103,118,0,2049,3639,4,2049,13741,1,1,3841,13728,2049,9261,10,13833,13868, - 144,105,110,99,108,117,100,101,0,2049,13741,1,2,3841,13728,2049,9261,10,13857,13889, - 144,115,121,115,58,110,97,109,101,0,2049,3639,2049,13741,1,3,3841,13728,2049,9261, - 10,13877,13909,144,99,108,101,97,114,0,1,27,2049,9330,2049,3658,91,50,74,0, - 1,13915,2049,9380,1,27,2049,9330,2049,3658,91,48,59,48,72,0,1,13929,2049,9380, - 10,13900,13950,131,78,111,69,99,104,111,0,0,13940,13958,144,98,121,101,0,1, - 0,2049,12508,10,13951,13974,144,118,101,114,115,105,111,110,0,3841,4,1,100,20, - 10,13963,13989,144,100,111,110,101,63,0,1793,13995,1,13,11,10,1,13991,1793,14003, - 1,10,11,10,1,13999,1793,14011,1,32,11,10,1,14007,2049,2165,22,22,10,13980, - 14028,144,118,97,108,105,100,63,0,2,2049,79,2049,2640,10,14018,14047,144,99,104, - 101,99,107,45,101,111,102,0,2,1793,14054,1,-1,11,10,1,14050,1793,14062,1, - 4,11,10,1,14058,2049,2128,22,1,13958,9,10,14034,14077,144,98,115,0,2049,3372, - 2049,3372,771,10,14071,14095,144,99,104,101,99,107,45,98,115,0,2,1793,14102,1, - 8,11,10,1,14098,1793,14110,1,127,11,10,1,14106,2049,2128,22,1,14077,9,10, - 14083,14128,144,99,104,101,99,107,0,2049,14047,2049,14095,10,14119,14146,144,99,104,97, - 114,97,99,116,101,114,0,2049,13559,2,2049,3348,10,14133,14162,144,98,117,102,102, - 101,114,0,1793,14172,1,1024,2049,3440,8,2049,3314,10,1,14164,2049,3464,10,14152,14191, - 144,114,101,97,100,45,116,111,107,101,110,0,1793,14207,1793,14202,2049,14146,2049,14128, - 2049,13989,10,1,14195,2049,2256,10,1,14193,2049,14162,2049,3736,10,14177,14223,144,105,110, - 112,117,116,0,2049,14191,2049,14028,10,14214,14239,144,112,114,111,99,101,115,115,0, - 1,365,1,11,2049,64,10,13951,14256,144,98,97,110,110,101,114,0,2049,13974,2049, - 3658,82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0, - 1,14260,2049,7181,2049,9380,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3658,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,14296,2049,7181,2049,9380,10,14246,14340,144,108,105,115,116,101,110, - 0,3841,13950,1793,14347,2049,14256,10,1,14344,2049,70,2049,14223,2049,14239,1,14351,7,10, - 14330,14368,131,67,108,111,99,107,0,0,14359,14381,144,105,100,101,110,116,105,102, - 121,0,3841,14368,2049,2558,1793,14448,1,5,2049,9287,2,2049,2593,1793,14436,3,2049,3658, - 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,14399,2049,9380,2049,9343,10,1,14396,1793, - 14443,4097,14368,10,1,14440,2049,64,10,1,14387,9,10,14330,14474,144,105,111,58,99, - 108,111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14381,3841,14368,2049, - 9261,10,14452,14500,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112, - 0,1,0,2049,14474,10,14481,14518,144,99,108,111,99,107,58,100,97,121,0,1, - 1,2049,14474,10,14505,14538,144,99,108,111,99,107,58,109,111,110,116,104,0,1, - 2,2049,14474,10,14523,14557,144,99,108,111,99,107,58,121,101,97,114,0,1,3, - 2049,14474,10,14543,14576,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049, - 14474,10,14562,14597,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5, - 2049,14474,10,14581,14618,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1, - 6,2049,14474,10,14602,14640,144,99,108,111,99,107,58,117,116,99,58,100,97,121, - 0,1,7,2049,14474,10,14623,14664,144,99,108,111,99,107,58,117,116,99,58,109, - 111,110,116,104,0,1,8,2049,14474,10,14645,14687,144,99,108,111,99,107,58,117, - 116,99,58,121,101,97,114,0,1,9,2049,14474,10,14669,14710,144,99,108,111,99, - 107,58,117,116,99,58,104,111,117,114,0,1,10,2049,14474,10,14692,14735,144,99, - 108,111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14474, - 10,14715,14760,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100, - 0,1,12,2049,14474,10,14740,14776,144,100,58,119,111,114,100,115,0,1793,14785,2049, - 162,2049,9380,2049,9354,10,1,14778,2049,7413,10,14765,14806,144,100,58,119,111,114,100, - 115,45,119,105,116,104,0,2049,1877,2049,4553,1793,14837,2049,162,2,2049,1877,2049,4177, - 1793,14826,2049,9380,2049,9354,10,1,14821,1793,14832,3,10,1,14830,2049,64,10,1,14812, - 2049,7413,10,14790,14861,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102, - 116,0,2,2049,1877,2049,4477,1793,14873,2049,9380,2049,9354,10,1,14868,1793,14879,3,10, - 1,14877,2049,64,10,14790,14910,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,4553,1793,14921,2049,162,2049, - 14861,10,1,14916,2049,7413,10,14884,14936,144,102,105,101,108,100,115,0,3841,2,2049, - 105,2049,105,2049,105,10,14926,14962,144,105,110,118,97,108,105,100,45,110,97,109, - 101,63,0,2,1,32,2049,4008,10,14945,14979,144,114,101,119,114,105,116,101,0, - 1793,14993,1,32,1793,14988,1,95,10,1,14985,2049,2306,10,1,14981,2049,4348,10,14968, - 15007,144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,15035,1793, - 15030,2049,14936,2049,14962,1,14979,9,2049,119,10,1,15020,2049,15007,10,1,15018,0 }; + 0,0,0,0,0,0,0,0,0,0,6491,6635,131,84,80,0,0,6629,6644,144, + 115,97,118,101,0,2049,3683,3841,6635,1,6501,17,2049,2883,16,1,6635,2049,2984,10, + 6636,6667,144,110,101,120,116,0,1793,6673,3841,6490,17,10,1,6669,2049,2116,10,6659, + 6686,144,100,111,110,101,0,2049,79,2049,2533,10,6293,6715,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,6635, + 1793,6729,2,1,6352,2049,4552,2049,3863,10,1,6721,1793,6738,2049,79,4097,6490,10,1, + 6733,2049,2128,1793,6755,1,6352,2049,6166,2049,6644,2049,6667,2049,6686,10,1,6744,2049,2256, + 1,6501,3841,6635,2049,2896,4097,6501,10,6691,6773,131,81,0,0,6768,6786,144,102,111, + 114,45,101,97,99,104,0,1,6773,1793,6816,4097,6773,2049,56,1793,6810,2049,56,4, + 1793,6805,3841,6773,8,10,1,6801,2049,2106,10,1,6796,2049,2281,3,10,1,6790,2049, + 3082,10,6774,6835,144,115,117,98,115,116,105,116,117,116,101,0,2049,3528,1,129, + 18,10,6821,6852,144,101,120,116,114,97,99,116,0,2049,6835,2049,4552,10,6841,6869, + 144,116,111,107,101,110,105,122,101,0,2049,6715,2049,3638,10,6857,6885,144,99,111, + 109,98,105,110,101,0,2049,6835,2049,3863,2049,3863,10,6874,6901,144,109,101,114,103, + 101,0,4,1,6885,2049,6786,772,10,6892,6920,144,102,105,110,100,45,101,110,100, + 0,2,2049,79,2049,6835,2049,79,18,67502597,17,10,6908,6940,144,99,108,101,97,110, + 0,2049,6920,1,0,4,16,10,6691,6964,144,115,58,114,101,112,108,97,99,101, + 45,97,108,108,0,1,3,1793,6979,2049,6852,2049,6869,2049,6901,2049,6940,2049,3612,10, + 1,6968,2049,3082,10,6947,6992,144,99,104,97,114,0,1,32,1793,7001,1,95,2049, + 3347,10,1,6996,2049,2306,1,114,1793,7014,1,13,2049,3347,10,1,7009,2049,2306,1, + 110,1793,7027,1,10,2049,3347,10,1,7022,2049,2306,1,116,1793,7040,1,9,2049,3347, + 10,1,7035,2049,2306,1,48,1793,7053,1,0,2049,3347,10,1,7048,2049,2306,2049,3347, + 10,6984,7070,144,115,116,114,105,110,103,0,2049,56,25,2049,3347,1,7070,7,10, + 7060,7087,144,116,121,112,101,0,1,99,1793,7095,4,2049,3347,10,1,7091,2049,2306, + 1,115,1793,7108,4,2049,7070,3,10,1,7103,2049,2306,1,110,1793,7123,4,2049,5964, + 2049,7070,3,10,1,7116,2049,2306,3,10,7079,7139,144,104,97,110,100,108,101,0, + 1,92,1793,7148,2049,56,2049,6992,10,1,7143,2049,2306,1,37,1793,7161,2049,56,2049, + 7087,10,1,7156,2049,2306,2049,3347,10,6947,7180,144,115,58,102,111,114,109,97,116, + 0,1793,7209,2049,3638,1793,7204,2049,3439,1793,7199,2049,56,25,2049,7139,1,7190,7,10, + 1,7190,8,3,10,1,7186,2049,2116,10,1,7182,2049,3463,10,7168,7225,144,115,58, + 99,111,110,115,116,0,1,3683,2049,2106,2049,2022,10,7214,7242,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,7232,7278,144,102,114,111,109,0,2049, + 79,2,1793,7297,1793,7290,1,7242,17,16,10,1,7285,2049,2116,2049,2896,10,1,7283, + 2049,2281,3,10,7270,7309,144,116,111,0,2,2049,79,1793,7327,2049,56,1,97,18, + 2049,2883,1,7242,17,15,4,10,1,7314,2049,2281,3,10,7214,7344,144,114,101,111, + 114,100,101,114,0,1,7278,2049,2106,2049,7309,10,7333,7360,144,99,117,114,114,121, + 0,2049,1877,1793,7370,4,2049,1731,2049,1754,10,1,7364,2049,2106,10,7351,7383,144,100, + 111,101,115,0,2049,1588,4,2049,7360,2049,1570,2049,158,16,1,144,2049,1649,10,7375, + 7412,144,100,58,102,111,114,45,101,97,99,104,0,1,2,1793,7440,15,25,2049, + 2096,1793,7432,1793,7427,4,8,10,1,7424,2049,2106,10,1,7422,2049,2106,1,7416,7, + 10,1,7416,8,3,10,7398,7460,144,100,58,108,111,111,107,117,112,45,120,116, + 0,1,0,4,1793,7486,2049,2096,2049,158,15,11,1793,7479,4,1,2057,2049,2106,10, + 1,7473,1,11,2049,64,10,1,7465,2049,7412,3,10,7445,7504,144,97,58,108,101, + 110,103,116,104,0,15,10,7492,7527,144,97,58,99,111,117,110,116,101,100,45, + 114,101,115,117,108,116,115,0,8,2049,1877,1793,7540,2,2049,105,1,105,2049,2281, + 10,1,7532,2049,2106,10,7506,7562,144,97,58,102,114,111,109,45,115,116,114,105, + 110,103,0,2049,1877,1793,7576,2,2049,79,2049,105,1,105,2049,3881,10,1,7566,2049, + 2106,10,7545,7586,131,81,0,0,7545,7601,144,97,58,102,111,114,45,101,97,99, + 104,0,1,7586,1793,7631,4097,7586,2049,56,1793,7625,2049,56,4,1793,7620,3841,7586,8, + 10,1,7616,2049,2106,10,1,7611,2049,2281,3,10,1,7605,2049,3082,10,7587,7645,144, + 97,58,100,117,112,0,2049,1877,1793,7658,2,15,2049,105,1,105,2049,7601,10,1, + 7649,2049,2106,10,7636,7673,144,97,58,99,111,112,121,0,1,3,1793,7689,4097,3, + 2,2049,7504,2049,105,1,105,2049,7601,10,1,7677,2049,3082,10,7663,7709,144,97,58, + 116,111,45,115,116,114,105,110,103,0,1,3,1793,7722,2049,7645,1,0,2049,105, + 2049,2883,10,1,7713,2049,3082,2049,3612,10,7694,7742,144,97,58,112,114,101,112,101, + 110,100,0,2049,1877,1,0,2049,105,1793,7779,2,15,1793,7759,1,105,2049,7601,10, + 1,7754,2049,2106,4,2,15,1793,7773,1,105,2049,7601,10,1,7768,2049,2106,17,10, + 1,7750,2049,2106,1,36,2049,2116,10,7729,7800,144,97,58,97,112,112,101,110,100, + 0,4,2049,7742,10,7788,7814,144,97,58,99,104,111,112,0,2049,7645,1,-1,2049, + 3063,2,2049,2999,10,7804,7836,144,97,58,102,105,108,116,101,114,0,1793,7851,67502597, + 1,21,2049,2106,4,1,105,1,11,2049,64,10,1,7838,2049,7360,2049,1877,1793,7866, + 67502597,15,2049,105,2049,7601,10,1,7859,2049,2106,2049,1877,67502597,18,2049,2896,67502597,16,10, + 7824,7894,144,97,58,99,111,110,116,97,105,110,115,63,0,1,0,4,1793,7906, + 4,5,67502597,11,6,22,10,1,7899,2049,7601,772,10,7879,7934,144,97,58,99,111, + 110,116,97,105,110,115,45,115,116,114,105,110,103,63,0,1,0,4,1793,7947, + 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, + -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, + 8025,3841,7965,2049,2568,10,1,8020,1793,8032,2049,2455,10,1,8029,2049,64,10,8006,8051, + 144,109,97,116,99,104,45,115,116,114,63,0,67502597,2049,93,1793,8061,3841,7965,2049, + 2568,10,1,8056,1793,8068,2049,2455,10,1,8065,2049,64,10,8037,8083,144,117,112,100, + 97,116,101,0,3841,7965,2049,2848,2049,2896,4097,7965,10,7912,8106,144,97,58,105,110, + 100,101,120,45,111,102,0,2049,7977,2049,2096,2049,7894,1793,8118,771,1,-1,10,1, + 8114,2049,2678,1793,8132,2049,8016,1,8083,9,2049,7991,10,1,8124,2049,7601,3,3841,7965, + 10,8092,8161,144,97,58,105,110,100,101,120,45,111,102,45,115,116,114,105,110, + 103,0,2049,7977,2049,2096,2049,7934,1793,8173,771,1,-1,10,1,8169,2049,2678,1793,8187, + 2049,8051,1,8083,9,2049,7991,10,1,8179,2049,7601,3,3841,7965,10,8140,8204,144,97, + 58,109,97,112,0,1793,8210,8,2049,105,10,1,8206,2049,7360,2049,1877,1793,8225,67502597, + 15,2049,105,2049,7601,10,1,8218,2049,2106,10,8195,8243,144,97,58,114,101,118,101, + 114,115,101,0,2049,1877,1793,8277,2049,56,1793,8255,17,2049,2896,10,1,8251,2049,2116, + 2,2049,105,1793,8271,2,15,2049,105,2049,2896,10,1,8264,2049,2281,3,10,1,8247, + 2049,2106,10,8230,8290,144,97,58,116,104,0,17,2049,2883,10,8282,8305,144,97,58, + 102,101,116,99,104,0,2049,8290,15,10,8294,8320,144,97,58,115,116,111,114,101, + 0,2049,8290,16,10,8309,8336,144,97,58,114,101,100,117,99,101,0,1,13,2049, + 2106,2049,7601,10,8324,8353,144,97,58,109,97,107,101,0,2049,7527,2049,8243,10,8343, + 8363,156,123,0,1,285,2049,156,1,1556,2049,144,1,285,2049,156,10,8358,8381,156, + 125,0,1,301,2049,156,1,2106,2049,144,1,1556,2049,144,1,13,2049,150,1,40, + 2049,150,1,2896,2049,144,1,301,2049,156,1,8353,2049,144,10,8376,8425,144,98,111, + 117,110,100,115,63,0,67502597,2049,7504,67502597,13,10,8414,8439,144,99,111,112,121,0, + 2049,56,2049,105,10,8431,8454,144,116,111,45,101,110,100,0,2,2049,7504,17,2049, + 2883,10,8376,8471,144,97,58,108,101,102,116,0,2049,8425,1793,8479,771,1,-1,10, + 1,8475,2049,2661,2049,1877,67502597,2049,105,1793,8500,1,2883,2049,2106,1,8439,2049,2281,3, + 10,1,8490,2049,2106,10,8461,8516,144,97,58,114,105,103,104,116,0,2049,8425,1793, + 8524,771,1,-1,10,1,8520,2049,2661,2049,1877,67502597,2049,105,1793,8547,4,2049,8454,67502597, + 18,4,1,8439,2049,2281,3,10,1,8535,2049,2106,10,8505,8564,144,97,58,109,105, + 100,100,108,101,0,1,2048,2049,2106,4,67502597,2049,8425,1793,8579,771,3,1,-1,10, + 1,8574,2049,2661,771,2049,2096,4,18,2049,2883,2049,1877,67502597,2049,105,1793,8614,772,1793, + 8604,17,2049,2883,10,1,8600,2049,2106,1,8439,2049,2281,3,10,1,8597,2049,2106,10, + 8552,8627,131,70,108,97,103,0,0,8619,8639,144,99,111,109,112,97,114,101,0, + 67440386,184946434,10,8628,8652,144,108,101,110,103,116,104,0,659202,10,8642,8662,144,110,101, + 120,116,0,17043713,1,1,2577,10,8654,8680,144,110,111,116,45,101,113,117,97,108, + 0,50529030,2561,0,10,8667,8692,144,108,111,111,112,0,524549,8662,2049,8639,18157313,8627,8627, + 16,420610310,1,1,8692,7,10,8552,8715,144,97,58,101,113,63,0,1048833,-1,8627,2049, + 8639,151066369,-1,8680,2049,8652,2049,8692,251724547,8627,10,8706,8740,144,97,58,45,101,113,63, + 0,2049,8715,2049,2465,10,8730,8763,144,97,58,98,101,103,105,110,115,45,119,105, + 116,104,63,0,1,3,1793,8779,2,2049,7504,1,13,2049,2106,2049,8471,2049,8715,10, + 1,8767,2049,3082,10,8745,8800,144,97,58,101,110,100,115,45,119,105,116,104,63, + 0,1,3,1793,8816,2,2049,7504,1,13,2049,2106,2049,8516,2049,8715,10,1,8804,2049, + 3082,10,8784,8837,144,99,117,114,114,101,110,116,45,108,105,110,101,0,2049,3528, + 1,1025,18,10,8821,8859,144,99,111,117,110,116,45,116,111,107,101,110,115,0, + 1793,8865,1,32,11,10,1,8861,2049,4305,2049,79,10,8843,8886,144,110,101,120,116, + 45,116,111,107,101,110,0,1,32,2049,6131,10,8872,8909,144,112,114,111,99,101, + 115,115,45,116,111,107,101,110,115,0,1793,8935,2049,8886,4,1793,8928,2,2049,79, + 2049,2549,1,365,1,11,2049,64,10,1,8916,2049,2106,2049,2883,10,1,8911,2049,2281, + 2049,365,10,8784,8956,144,115,58,101,118,97,108,117,97,116,101,0,2049,8837,2049, + 4552,2049,8837,2,2049,8859,2049,8909,10,8942,8974,131,76,80,0,0,8968,8984,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,8975,9024,144, + 110,101,120,116,0,3841,8974,1,8984,17,2049,2984,10,9016,9040,144,112,114,101,112, + 0,1,8974,2049,2984,1,0,3841,8974,1,8984,17,16,10,9032,9061,144,100,111,110, + 101,0,1,8974,2049,2999,10,8942,9071,144,73,0,3841,8974,1,8984,17,15,10,9066, + 9083,144,74,0,3841,8974,1,8984,17,2049,2896,15,10,9078,9097,144,75,0,3841,8974, + 1,8984,17,1,2,18,15,10,9092,9128,144,116,105,109,101,115,60,119,105,116, + 104,45,105,110,100,101,120,62,0,2049,9040,4,1793,9144,25,33886721,1,2053,1542,2049, + 9024,1,9133,7,10,1,9133,8,3,2049,9061,10,9107,9159,156,104,111,111,107,0, + 2049,3657,108,105,106,117,46,46,46,46,0,1,9161,2049,412,2049,1877,2049,2883,2049, + 105,10,9151,9193,144,115,101,116,45,104,111,111,107,0,2049,2883,16,10,9181,9207, + 144,117,110,104,111,111,107,0,2049,2883,2,2049,2883,4,16,10,9197,9231,144,105, + 111,58,101,110,117,109,101,114,97,116,101,0,27,10,9215,9245,144,105,111,58, + 113,117,101,114,121,0,28,10,9233,9260,144,105,111,58,105,110,118,111,107,101, + 0,29,10,9247,9270,131,83,108,111,116,0,9,9247,9286,144,105,111,58,115,99, + 97,110,45,102,111,114,0,1,-1,4097,9270,2049,9231,1793,9312,2049,9071,2049,9245,772, + 67502597,11,1793,9308,2049,9071,4097,9270,10,1,9303,9,10,1,9294,2049,9128,3,3841,9270, + 10,9271,9329,144,99,58,112,117,116,0,1793,9331,1,0,2049,9260,10,9320,9342,144, + 110,108,0,1,10,2049,9329,10,9336,9353,144,115,112,0,1,32,2049,9329,10,9347, + 9365,144,116,97,98,0,1,9,2049,9329,10,9358,9379,144,115,58,112,117,116,0, + 1,9329,2049,3881,10,9370,9393,144,110,58,112,117,116,0,2049,5964,2049,9379,10,9384, + 9407,144,114,101,115,101,116,0,2049,1556,25,771,1,9407,7,10,9398,9429,144,100, + 117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9429,6,2,2049, + 9393,2049,9353,10,9415,9451,144,70,82,69,69,0,2049,3528,1,1025,18,2049,1877,18, + 10,9443,9469,131,70,105,108,101,115,0,0,9460,9482,144,105,100,101,110,116,105, + 102,121,0,3841,9469,2049,2533,1793,9549,1,4,2049,9286,2,2049,2568,1793,9537,3,2049, + 3657,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,9500,2049,9379,2049,9342,10,1,9497, + 1793,9544,4097,9469,10,1,9541,2049,64,10,1,9488,9,10,9443,9574,144,105,111,58, + 102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9482,3841,9469,2049, + 9260,10,9553,0,131,102,105,108,101,58,82,0,9581,1,131,102,105,108,101,58, + 87,0,9591,2,131,102,105,108,101,58,65,0,9601,3,131,102,105,108,101,58, + 82,43,0,9611,9635,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,9574, + 10,9622,9654,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9574,10, + 9640,9672,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9574,10,9659,9691, + 144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9574,10,9677,9709,144, + 102,105,108,101,58,116,101,108,108,0,1,4,2049,9574,10,9696,9727,144,102,105, + 108,101,58,115,101,101,107,0,1,5,2049,9574,10,9714,9745,144,102,105,108,101, + 58,115,105,122,101,0,1,6,2049,9574,10,9732,9765,144,102,105,108,101,58,100, + 101,108,101,116,101,0,1,7,2049,9574,10,9750,9784,144,102,105,108,101,58,102, + 108,117,115,104,0,1,8,2049,9574,10,9770,9805,144,102,105,108,101,58,101,120, + 105,115,116,115,63,0,1,0,2049,9635,2,2049,2549,1793,9819,2049,9654,2049,2443,10, + 1,9814,1793,9827,3,2049,2455,10,1,9823,2049,64,10,9789,9858,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,9635,2,2049,9745,4,10,9832,9892,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,9635,2,2049,9745, + 4,10,9867,9927,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,9635,10,9901,9939,131,70,73,68,0, + 0,9932,9948,131,83,105,122,101,0,0,9940,9959,131,65,99,116,105,111,110,0, + 0,9949,9970,131,66,117,102,102,101,114,0,0,9960,9980,144,45,101,111,102,63, + 0,3841,9939,2049,9709,3841,9948,13,10,9971,10000,144,112,114,101,115,101,114,118,101, + 0,1,9939,1793,10011,1,9948,1,21,2049,3082,10,1,10004,2049,3082,10,9901,10034,144, + 102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9939,1793,10091,2049, + 1877,2,4097,9970,2049,3439,1793,10083,3841,9939,2049,9672,2,2049,3347,1793,10060,1,13,11, + 10,1,10056,1793,10068,1,10,11,10,1,10064,1793,10076,1,0,11,10,1,10072,2049, + 2165,22,22,10,1,10047,2049,2256,2049,3371,3,10,1,10038,2049,3463,3841,9970,10,10016, + 10120,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,101, + 0,1793,10151,4097,9959,2049,9858,4097,9939,4097,9948,1793,10142,3841,9939,2049,10034,3841,9959,8, + 2049,9980,10,1,10132,2049,2233,3841,9939,2049,9654,10,1,10122,2049,10000,10,10098,10163,131, + 70,73,68,0,0,10098,10178,144,102,105,108,101,58,115,108,117,114,112,0,1793, + 10205,4,2049,3439,2049,9858,4097,10163,1793,10196,3841,10163,2049,9672,2049,3347,10,1,10189,2049, + 2281,3841,10163,2049,9654,10,1,10180,2049,3463,10,10164,10223,144,102,105,108,101,58,115, + 112,101,119,0,2049,9927,4,1793,10232,67502597,2049,9691,10,1,10228,2049,3881,2049,9654,10, + 10210,10246,131,70,80,85,0,0,10239,10259,144,105,100,101,110,116,105,102,121,0, + 3841,10246,2049,2533,1793,10326,1,2,2049,9286,2,2049,2568,1793,10314,3,2049,3657,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,10277,2049,9379,2049,9342,10,1,10274,1793,10321,4097, + 10246,10,1,10318,2049,64,10,1,10265,9,10,10210,10352,144,105,111,58,102,108,111, + 97,116,45,111,112,101,114,97,116,105,111,110,0,2049,10259,3841,10246,2049,9260,10, + 10330,10373,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10352,10,10359, + 10392,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10352,10,10378,10412, + 144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10352,10,10397,10432, + 144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3638,2,1,3,2049,10352, + 10,10417,10447,144,102,58,43,0,1,4,2049,10352,10,10440,10459,144,102,58,45,0, + 1,5,2049,10352,10,10452,10471,144,102,58,42,0,1,6,2049,10352,10,10464,10483,144, + 102,58,47,0,1,7,2049,10352,10,10476,10499,144,102,58,102,108,111,111,114,0, + 1,8,2049,10352,10,10488,10517,144,102,58,99,101,105,108,105,110,103,0,1,9, + 2049,10352,10,10504,10532,144,102,58,115,113,114,116,0,1,10,2049,10352,10,10522,10546, + 144,102,58,101,113,63,0,1,11,2049,10352,10,10537,10561,144,102,58,45,101,113, + 63,0,1,12,2049,10352,10,10551,10575,144,102,58,108,116,63,0,1,13,2049,10352, + 10,10566,10589,144,102,58,103,116,63,0,1,14,2049,10352,10,10580,10605,144,102,58, + 100,101,112,116,104,0,1,15,2049,10352,10,10594,10619,144,102,58,100,117,112,0, + 1,16,2049,10352,10,10610,10634,144,102,58,100,114,111,112,0,1,17,2049,10352,10, + 10624,10649,144,102,58,115,119,97,112,0,1,18,2049,10352,10,10639,10663,144,102,58, + 108,111,103,0,1,19,2049,10352,10,10654,10679,144,102,58,112,111,119,101,114,0, + 1,20,2049,10352,10,10668,10693,144,102,58,115,105,110,0,1,21,2049,10352,10,10684, + 10707,144,102,58,99,111,115,0,1,22,2049,10352,10,10698,10721,144,102,58,116,97, + 110,0,1,23,2049,10352,10,10712,10736,144,102,58,97,115,105,110,0,1,24,2049, + 10352,10,10726,10751,144,102,58,97,99,111,115,0,1,25,2049,10352,10,10741,10766,144, + 102,58,97,116,97,110,0,1,26,2049,10352,10,10756,10781,144,102,58,112,117,115, + 104,0,1,27,2049,10352,10,10771,10795,144,102,58,112,111,112,0,1,28,2049,10352, + 10,10786,10812,144,102,58,97,100,101,112,116,104,0,1,29,2049,10352,10,10800,10829, + 144,102,58,115,113,117,97,114,101,0,2049,10619,2049,10471,10,10817,10844,144,102,58, + 111,118,101,114,0,2049,10781,2049,10619,2049,10795,2049,10649,10,10834,10863,144,102,58,116, + 117,99,107,0,2049,10619,2049,10781,2049,10649,2049,10795,10,10853,10881,144,102,58,110,105, + 112,0,2049,10649,2049,10634,10,10872,10901,144,102,58,100,114,111,112,45,112,97,105, + 114,0,2049,10634,2049,10634,10,10886,10920,144,102,58,100,117,112,45,112,97,105,114, + 0,2049,10844,2049,10844,10,10906,10934,144,102,58,114,111,116,0,2049,10781,2049,10649,2049, + 10795,2049,10649,10,10925,10958,144,102,58,112,111,115,105,116,105,118,101,63,0,1, + 0,2049,10373,2049,10589,10,10943,10980,144,102,58,110,101,103,97,116,105,118,101,63, + 0,1,0,2049,10373,2049,10575,10,10965,10999,144,102,58,110,101,103,97,116,101,0, + 1,-1,2049,10373,2049,10471,10,10987,11015,144,102,58,97,98,115,0,2049,10619,2049,10980, + 1,10999,9,10,11006,11035,156,112,114,101,102,105,120,58,46,0,2049,1818,1,3683, + 1,3612,2049,64,1,10392,2049,144,10,11023,11057,144,102,58,112,117,116,0,2049,10432, + 2049,9379,10,11048,11070,144,102,58,80,73,0,2049,3657,51,46,49,52,49,53,57, + 50,0,1,11072,2049,10392,10,11062,11093,144,102,58,69,0,2049,3657,50,46,55,49, + 56,50,56,49,0,1,11095,2049,10392,10,11086,11118,144,102,58,78,65,78,0,2049, + 3657,48,0,1,11120,2049,10392,2049,3657,48,0,1,11128,2049,10392,2049,10483,10,11109,11146, + 144,102,58,73,78,70,0,2049,3657,49,46,48,0,1,11148,2049,10392,2049,3657,48, + 0,1,11158,2049,10392,2049,10483,10,11137,11177,144,102,58,45,73,78,70,0,2049,3657, + 45,49,46,48,0,1,11179,2049,10392,2049,3657,48,0,1,11190,2049,10392,2049,10483,10, + 11167,11209,144,102,58,110,97,110,63,0,2049,10619,2049,10561,10,11199,11224,144,102,58, + 105,110,102,63,0,2049,11146,2049,10546,10,11214,11240,144,102,58,45,105,110,102,63, + 0,2049,11177,2049,10546,10,11229,11256,144,102,58,114,111,117,110,100,0,2049,10619,2049, + 10980,1793,11277,2049,3657,48,46,53,0,1,11264,2049,10392,2049,10459,2049,10517,10,1,11262, + 1793,11296,2049,3657,48,46,53,0,1,11283,2049,10392,2049,10447,2049,10499,10,1,11281,2049, + 64,10,11245,11310,144,102,58,109,105,110,0,2049,10920,2049,10575,1,10634,1,10881,2049, + 64,10,11301,11330,144,102,58,109,97,120,0,2049,10920,2049,10589,1,10634,1,10881,2049, + 64,10,11321,11352,144,102,58,108,105,109,105,116,0,2049,10649,2049,10781,2049,11310,2049, + 10795,2049,11330,10,11341,11377,144,102,58,98,101,116,119,101,101,110,63,0,2049,10934, + 2049,10619,2049,10781,2049,10934,2049,10934,2049,11352,2049,10795,2049,10546,10,11363,11403,144,102,58, + 105,110,99,0,2049,3657,49,0,1,11405,2049,10392,2049,10447,10,11394,11423,144,102,58, + 100,101,99,0,2049,3657,49,0,1,11425,2049,10392,2049,10459,10,11414,11444,144,102,58, + 99,97,115,101,0,2049,10844,2049,10546,1793,11456,2049,10634,8,1,-1,10,1,11450,1793, + 11464,3,1,0,10,1,11460,2049,64,25,6,771,10,11434,11482,144,102,58,115,105, + 103,110,0,2049,10619,2049,3657,48,0,1,11486,2049,10392,2049,10546,1793,11501,1,0,2049, + 10634,10,1,11496,2049,2661,2049,3657,48,0,1,11507,2049,10392,2049,10589,1793,11520,1,1, + 10,1,11517,1793,11527,1,-1,10,1,11524,2049,64,10,11472,2147483645,131,101,58,77,65, + 88,0,11532,-2147483645,131,101,58,77,73,78,0,11541,-2147483647,131,101,58,78,65,78,0, + 11550,2147483646,131,101,58,73,78,70,0,11559,-2147483646,131,101,58,45,73,78,70,0,11568, + 11586,144,101,58,110,63,0,1,-2147483645,2049,2883,1,2147483645,2049,2896,2049,2914,10,11578,11607, + 144,101,58,109,97,120,63,0,1,2147483645,11,10,11597,11621,144,101,58,109,105,110, + 63,0,1,-2147483645,11,10,11611,11636,144,101,58,122,101,114,111,63,0,2049,2533,10, + 11625,11649,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11639,11663,144,101,58,105, + 110,102,63,0,1,2147483646,11,10,11653,11678,144,101,58,45,105,110,102,63,0,1, + -2147483646,11,10,11667,11692,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2866,10, + 11682,11707,144,102,58,69,49,0,1793,11709,2049,3657,49,46,101,53,0,1,11711,2049, + 10392,10,11699,11733,144,102,58,45,115,104,105,102,116,0,2049,11707,2049,10471,10,11721, + 11750,144,102,58,43,115,104,105,102,116,0,2049,11707,2049,10483,10,11738,11772,144,102, + 58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10619,2049,11482,2049,11015,2049, + 10532,2049,10373,2049,10471,10,11755,11798,144,102,58,43,101,110,99,111,100,101,0,2049, + 11772,2049,11733,10,11785,11816,144,102,58,45,101,110,99,111,100,101,0,2049,10619,2049, + 11482,2049,11750,2049,10619,2049,10471,2049,10373,2049,10471,10,11803,11850,144,102,58,115,105,103, + 110,101,100,45,115,113,117,97,114,101,0,2049,10619,2049,11482,2049,10619,2049,10471,2049, + 10373,2049,10471,10,11831,11873,144,102,58,116,111,45,101,0,2049,10619,2049,11209,1793,11884, + 2049,10634,1,-2147483647,10,1,11879,2049,2661,2049,10619,2049,11224,1793,11899,2049,10634,1,2147483646,10, + 1,11894,2049,2661,2049,10619,2049,11240,1793,11914,2049,10634,1,-2147483646,10,1,11909,2049,2661,2049, + 11798,2049,11256,2049,10412,2049,11692,1,-2147483645,1793,11933,2049,10634,10,1,11930,2049,2306,1,2147483645, + 1793,11944,2049,10634,10,1,11941,2049,2306,10,11863,11959,144,101,58,116,111,45,102,0, + 1,-2147483647,1793,11966,2049,11118,10,1,11963,2049,2306,1,2147483646,1793,11977,2049,11146,10,1,11974, + 2049,2306,1,-2147483646,1793,11988,2049,11177,10,1,11985,2049,2306,2049,10373,2049,11816,10,11949,12008, + 144,102,58,115,116,111,114,101,0,1793,12013,2049,11873,10,1,12010,2049,2106,16,10, + 11997,12030,144,102,58,102,101,116,99,104,0,15,2049,11959,10,12019,12050,144,102,58, + 100,117,109,112,45,115,116,97,99,107,0,2049,10605,2,1,10781,2049,2281,1793,12068, + 2049,10795,2049,10619,2049,11057,2049,9353,10,1,12059,2049,2281,10,12034,12090,144,102,58,100, + 117,109,112,45,97,115,116,97,99,107,0,2049,10812,2,1,10795,2049,2281,1793,12108, + 2049,10619,2049,11057,2049,9353,2049,10781,10,1,12099,2049,2281,10,12073,12122,144,101,58,112, + 117,116,0,1,2147483645,1793,12139,2049,3657,101,58,77,65,88,0,1,12128,2049,9379,10, + 1,12126,2049,2306,1,-2147483645,1793,12160,2049,3657,101,58,77,73,78,0,1,12149,2049,9379, + 10,1,12147,2049,2306,1,0,1793,12179,2049,3657,101,58,48,0,1,12170,2049,9379,10, + 1,12168,2049,2306,1,-2147483647,1793,12200,2049,3657,101,58,78,65,78,0,1,12189,2049,9379, + 10,1,12187,2049,2306,1,2147483646,1793,12221,2049,3657,101,58,73,78,70,0,1,12210,2049, + 9379,10,1,12208,2049,2306,1,-2147483646,1793,12243,2049,3657,101,58,45,73,78,70,0,1, + 12231,2049,9379,10,1,12229,2049,2306,2049,11959,2049,11057,10,12113,12270,131,105,111,58,85, + 110,105,120,83,121,115,99,97,108,108,0,0,12252,12283,144,105,100,101,110,116, + 105,102,121,0,3841,12270,2049,2533,1793,12350,1,8,2049,9286,2,2049,2568,1793,12338,3, + 2049,3657,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,12301,2049,9379,2049,9342,10,1, + 12298,1793,12345,4097,12270,10,1,12342,2049,64,10,1,12289,9,10,12113,12373,144,105,111, + 58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12283,3841,12270,2049,9260, + 10,12354,12395,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12373, + 10,12380,12413,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12373,10,12400, + 12432,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12373,10,12418,12451, + 144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12373,10,12437,12470,144, + 117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12373,10,12456,12489,144,117, + 110,105,120,58,101,120,101,99,51,0,1,5,2049,12373,10,12475,12507,144,117,110, + 105,120,58,101,120,105,116,0,1,6,2049,12373,10,12494,12527,144,117,110,105,120, + 58,103,101,116,112,105,100,0,1,7,2049,12373,10,12512,12545,144,117,110,105,120, + 58,119,97,105,116,0,1,8,2049,12373,10,12532,12563,144,117,110,105,120,58,107, + 105,108,108,0,1,9,2049,12373,10,12550,12582,144,117,110,105,120,58,112,111,112, + 101,110,0,1,10,2049,12373,10,12568,12602,144,117,110,105,120,58,112,99,108,111, + 115,101,0,1,11,2049,12373,10,12587,12621,144,117,110,105,120,58,99,104,100,105, + 114,0,1,13,2049,12373,10,12607,12641,144,117,110,105,120,58,103,101,116,101,110, + 118,0,1,14,2049,12373,10,12626,12661,144,117,110,105,120,58,112,117,116,101,110, + 118,0,1,15,2049,12373,10,12646,12680,144,117,110,105,120,58,115,108,101,101,112, + 0,1,16,2049,12373,10,12666,12701,144,117,110,105,120,58,103,101,116,45,99,119, + 100,0,2049,3657,112,119,100,0,1,12703,1,0,2049,12582,2,2049,10034,2049,5904,4, + 2049,12602,2049,3657,47,0,1,12723,2049,3863,10,12685,12757,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,3657, + 108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12759,1,0,2049,12582, + 2,2049,10034,2049,5904,2049,218,4,2049,12602,10,12730,12812,144,117,110,105,120,58,102, + 111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3657,108,115,32,45,49, + 32,45,112,0,1,12814,1,0,2049,12582,2049,12757,1793,12847,1793,12842,2049,10034,2049,3612, + 67502597,8,10,1,12835,2049,2116,10,1,12833,2049,2281,2049,12602,3,10,12790,12864,144,115, + 116,97,114,116,0,4,2049,3439,1,0,2049,12582,10,12855,12880,144,114,101,97,100, + 0,2,2049,9672,2,2049,3347,2049,2533,10,12872,12899,144,102,105,110,105,115,104,0, + 2049,12602,2049,3419,10,12790,12923,144,117,110,105,120,58,115,108,117,114,112,45,112, + 105,112,101,0,1793,12939,2049,12864,1793,12932,2049,12880,10,1,12929,2049,2256,2049,12899,10, + 1,12925,2049,3463,10,12904,12950,131,105,111,0,0,12944,12963,144,105,100,101,110,116, + 105,102,121,0,3841,12950,2049,2533,1793,13030,1,10,2049,9286,2,2049,2568,1793,13018,3, + 2049,3657,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,12981,2049,9379,2049,9342,10,1, + 12978,1793,13025,4097,12950,10,1,13022,2049,64,10,1,12969,9,10,12904,13054,144,105,111, + 58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12963,3841,12950,2049, + 9260,10,13034,13073,144,110,58,114,97,110,100,111,109,0,2049,13054,10,13061,13087,131, + 83,111,99,107,101,116,115,0,0,13076,13100,144,105,100,101,110,116,105,102,121, + 0,3841,13087,2049,2533,1793,13167,1,7,2049,9286,2,2049,2568,1793,13155,3,2049,3657,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,13118,2049,9379,2049,9342,10,1,13115,1793,13162, + 4097,13087,10,1,13159,2049,64,10,1,13106,9,10,13061,13194,144,105,111,58,115,111, + 99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,13100,3841,13087,2049, + 9260,10,13171,13225,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,13194,10,13201,13247,144,115,111,99,107,101,116, + 58,99,114,101,97,116,101,0,1,1,2049,13194,10,13230,13267,144,115,111,99,107, + 101,116,58,98,105,110,100,0,1,2,2049,13194,10,13252,13289,144,115,111,99,107, + 101,116,58,108,105,115,116,101,110,0,1,3,2049,13194,10,13272,13311,144,115,111, + 99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,13194,10,13294,13334,144, + 115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049,13194,10, + 13316,13354,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049,13194,10, + 13339,13374,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049,13194,10, + 13359,13395,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,13194, + 10,13379,13420,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,101, + 0,1,11,2049,13194,10,13400,1024,131,84,73,66,0,13425,13446,144,105,109,97,103, + 101,58,115,97,118,101,0,1,1000,2049,9286,2049,9260,10,13432,13465,131,75,101,121, + 98,111,97,114,100,0,0,13453,13478,144,105,100,101,110,116,105,102,121,0,3841, + 13465,2049,2533,1793,13545,1,1,2049,9286,2,2049,2568,1793,13533,3,2049,3657,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,13496,2049,9379,2049,9342,10,1,13493,1793,13540,4097,13465, + 10,1,13537,2049,64,10,1,13484,9,10,13432,13558,144,99,58,103,101,116,0,2049, + 13478,3841,13465,2049,9260,10,13549,13575,144,103,97,116,104,101,114,0,2,1793,13582,1, + 8,11,10,1,13578,1793,13590,1,127,11,10,1,13586,2049,2128,22,1,11,1,3347, + 2049,64,10,13565,13611,144,99,121,99,108,101,0,2049,13558,2049,2096,4,8,2049,2465, + 25,3,2049,13575,1,13611,7,10,13549,13642,144,112,97,114,115,101,45,117,110,116, + 105,108,0,1793,13654,2049,3638,2049,3439,2049,13611,771,2049,3313,10,1,13644,2049,3463,10, + 13627,13668,144,115,58,103,101,116,0,1793,13690,1793,13676,1,10,11,10,1,13672,1793, + 13684,1,13,11,10,1,13680,2049,2128,22,10,1,13670,2049,13642,10,13659,13709,144,115, + 58,103,101,116,45,119,111,114,100,0,1,5496,2049,13642,10,13695,13727,131,83,99, + 114,105,112,116,105,110,103,0,7,13714,13740,144,105,100,101,110,116,105,102,121, + 0,3841,13727,2049,2533,1793,13807,1,9,2049,9286,2,2049,2568,1793,13795,3,2049,3657,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,13758,2049,9379,2049,9342,10,1,13755,1793,13802, + 4097,13727,10,1,13799,2049,64,10,1,13746,9,10,13695,13823,144,115,121,115,58,97, + 114,103,99,0,2049,13740,1,0,3841,13727,2049,9260,10,13811,13844,144,115,121,115,58, + 97,114,103,118,0,2049,3638,4,2049,13740,1,1,3841,13727,2049,9260,10,13832,13867,144, + 105,110,99,108,117,100,101,0,2049,13740,1,2,3841,13727,2049,9260,10,13856,13888,144, + 115,121,115,58,110,97,109,101,0,2049,3638,2049,13740,1,3,3841,13727,2049,9260,10, + 13876,13908,144,99,108,101,97,114,0,1,27,2049,9329,2049,3657,91,50,74,0,1, + 13914,2049,9379,1,27,2049,9329,2049,3657,91,48,59,48,72,0,1,13928,2049,9379,10, + 13899,13949,131,78,111,69,99,104,111,0,0,13939,13957,144,98,121,101,0,1,0, + 2049,12507,10,13950,13973,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10, + 13962,13988,144,100,111,110,101,63,0,1793,13994,1,13,11,10,1,13990,1793,14002,1, + 10,11,10,1,13998,1793,14010,1,32,11,10,1,14006,2049,2165,22,22,10,13979,14027, + 144,118,97,108,105,100,63,0,2,2049,79,2049,2615,10,14017,14046,144,99,104,101, + 99,107,45,101,111,102,0,2,1793,14053,1,-1,11,10,1,14049,1793,14061,1,4, + 11,10,1,14057,2049,2128,22,1,13957,9,10,14033,14076,144,98,115,0,2049,3371,2049, + 3371,771,10,14070,14094,144,99,104,101,99,107,45,98,115,0,2,1793,14101,1,8, + 11,10,1,14097,1793,14109,1,127,11,10,1,14105,2049,2128,22,1,14076,9,10,14082, + 14127,144,99,104,101,99,107,0,2049,14046,2049,14094,10,14118,14145,144,99,104,97,114, + 97,99,116,101,114,0,2049,13558,2,2049,3347,10,14132,14161,144,98,117,102,102,101, + 114,0,1793,14171,1,1024,2049,3439,8,2049,3313,10,1,14163,2049,3463,10,14151,14190,144, + 114,101,97,100,45,116,111,107,101,110,0,1793,14206,1793,14201,2049,14145,2049,14127,2049, + 13988,10,1,14194,2049,2256,10,1,14192,2049,14161,2049,3735,10,14176,14222,144,105,110,112, + 117,116,0,2049,14190,2049,14027,10,14213,14238,144,112,114,111,99,101,115,115,0,1, + 365,1,11,2049,64,10,13950,14255,144,98,97,110,110,101,114,0,2049,13973,2049,3657, + 82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1, + 14259,2049,7180,2049,9379,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3657,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,14295,2049,7180,2049,9379,10,14245,14339,144,108,105,115,116,101,110,0, + 3841,13949,1793,14346,2049,14255,10,1,14343,2049,70,2049,14222,2049,14238,1,14350,7,10,14329, + 14367,131,67,108,111,99,107,0,0,14358,14380,144,105,100,101,110,116,105,102,121, + 0,3841,14367,2049,2533,1793,14447,1,5,2049,9286,2,2049,2568,1793,14435,3,2049,3657,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,14398,2049,9379,2049,9342,10,1,14395,1793,14442, + 4097,14367,10,1,14439,2049,64,10,1,14386,9,10,14329,14473,144,105,111,58,99,108, + 111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14380,3841,14367,2049,9260, + 10,14451,14499,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,0, + 1,0,2049,14473,10,14480,14517,144,99,108,111,99,107,58,100,97,121,0,1,1, + 2049,14473,10,14504,14537,144,99,108,111,99,107,58,109,111,110,116,104,0,1,2, + 2049,14473,10,14522,14556,144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049, + 14473,10,14542,14575,144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14473, + 10,14561,14596,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049, + 14473,10,14580,14617,144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,6, + 2049,14473,10,14601,14639,144,99,108,111,99,107,58,117,116,99,58,100,97,121,0, + 1,7,2049,14473,10,14622,14663,144,99,108,111,99,107,58,117,116,99,58,109,111, + 110,116,104,0,1,8,2049,14473,10,14644,14686,144,99,108,111,99,107,58,117,116, + 99,58,121,101,97,114,0,1,9,2049,14473,10,14668,14709,144,99,108,111,99,107, + 58,117,116,99,58,104,111,117,114,0,1,10,2049,14473,10,14691,14734,144,99,108, + 111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14473,10, + 14714,14759,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,0, + 1,12,2049,14473,10,14739,14775,144,100,58,119,111,114,100,115,0,1793,14784,2049,162, + 2049,9379,2049,9353,10,1,14777,2049,7412,10,14764,14805,144,100,58,119,111,114,100,115, + 45,119,105,116,104,0,2049,1877,2049,4552,1793,14836,2049,162,2,2049,1877,2049,4176,1793, + 14825,2049,9379,2049,9353,10,1,14820,1793,14831,3,10,1,14829,2049,64,10,1,14811,2049, + 7412,10,14789,14860,144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,116, + 0,2,2049,1877,2049,4476,1793,14872,2049,9379,2049,9353,10,1,14867,1793,14878,3,10,1, + 14876,2049,64,10,14789,14909,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,4552,1793,14920,2049,162,2049,14860, + 10,1,14915,2049,7412,10,14883,14935,144,102,105,101,108,100,115,0,3841,2,2049,105, + 2049,105,2049,105,10,14925,14961,144,105,110,118,97,108,105,100,45,110,97,109,101, + 63,0,2,1,32,2049,4007,10,14944,14978,144,114,101,119,114,105,116,101,0,1793, + 14992,1,32,1793,14987,1,95,10,1,14984,2049,2306,10,1,14980,2049,4347,10,14967,15006, + 144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,15034,1793,15029, + 2049,14935,2049,14961,1,14978,9,2049,119,10,1,15019,2049,15006,10,1,15017,0 };