From be3ae735e6a8b64ef3d44c373f7700c83426837a Mon Sep 17 00:00:00 2001 From: crc Date: Thu, 13 Feb 2020 13:41:01 +0000 Subject: [PATCH] retro.forth: remove use of a variable in io:scan-for FossilOrigin-Name: 1daa20ac3ac7f4c51fa57425c37b28c000bb7f2e844fe4ac906bc730fa0cf003 --- image/retro.forth | 14 +- ngaImage | Bin 36772 -> 36748 bytes vm/nga-c/retro-image.c | 588 ++++++++++++++++++++--------------------- 3 files changed, 298 insertions(+), 304 deletions(-) diff --git a/image/retro.forth b/image/retro.forth index cf9065a..8369fb5 100644 --- a/image/retro.forth +++ b/image/retro.forth @@ -1674,16 +1674,10 @@ original one. :io:enumerate (-n) \ie...... ; :io:query (n-mN) \iq...... ; :io:invoke (n-) \ii...... ; - -{{ - 'Slot var ----reveal--- - :io:scan-for (n-m) - #-1 !Slot - io:enumerate [ I io:query nip over eq? - [ I !Slot ] if ] times - drop @Slot ; -}} +:io:scan-for (n-m) + #-1 swap + io:enumerate [ I io:query nip over eq? + [ [ drop I ] dip ] if ] times drop ; ~~~ A Retro system is only required to provide a single I/O word to diff --git a/ngaImage b/ngaImage index 9ad73700dae5786577952bc7f2822c625eda31d2..2a04e32c334deab936b0ff4826152fc5a2ac0ee1 100644 GIT binary patch delta 365 zcmZ27pQ&d)6E7n>1H*qHxTws)@Mt5iup!$cMFxgIrOj%F-&h&NH_MvmhcX&Y-q>R= z$il$Dz{tVCzzkFh(iSk8wO2XT2g-8?(#%j5$w~|iTp%_OJA>qbx~za0Cgunf;{?jV z_!dw#bAb9lW`M+%fMW5JOM8`N6G5^-5fA{GqyXfDRD=QPoXJ~z<$2?wB56RneDXsi zkwTzI^JLyWWw@Fepvc6@wtdQ?AYCByMED`*bpZMECztkV^G*b^KsHPR(rYKL?K2i! v3uFPk3>IAiWFMaVvCmueFp$Lt6lDTpkV*4_d=Om@q(S<(0_mHR6Z@S3p5!_> delta 383 zcmeB~&$MJd6E7n>1H*qHxUS5=@M0scupyf;kfo%&S1)auMLz-ogCY%%$Pp8u~(cm2FNd(JhxY# zHx~{tL*knT= diff --git a/vm/nga-c/retro-image.c b/vm/nga-c/retro-image.c index 14b9703..c6a03fc 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 = 14759; -CELL ngaImage[] = { 1793,14061,14605,14758,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10, +CELL ngaImageCells = 14753; +CELL ngaImage[] = { 1793,14055,14599,14752,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,14061,14605,14758,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,14739,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13154,1025, + 1,659713,2,659713,3,1793,14733,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13148,1025, 167841793,177,5,17826049,0,177,2,15,25,524546,162,134287105,178,93,2305,179,459023,187,134287361,178, 182,659201,177,2049,56,25,84152833,48,286458116,10,459014,202,184618754,45,25,16974851,-1,168886532,1,134284289, 1,211,134284289,0,202,660227,32,0,0,112,114,101,102,105,120,58,105,0,285278479,228, @@ -160,7 +160,7 @@ CELL ngaImage[] = { 1793,14061,14605,14758,202004,0,10,1,10,2,10,3,10,4,10,5,10, 2049,2106,4100,10,3055,3095,144,118,58,117,112,100,97,116,101,0,4,1793,3102,15, 4,8,10,1,3098,2049,2116,16,10,3083,3116,144,99,111,112,121,0,1793,3125,285278725, 1,33951492,268767489,1,6,10,1,3118,2049,2281,771,10,3108,3144,144,83,99,111,112,101, - 76,105,115,116,0,14605,14605,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049, + 76,105,115,116,0,14599,14599,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049, 59,16,10,3147,3178,144,45,45,45,114,101,118,101,97,108,45,45,45,0,2049, 1570,1,3144,2049,2880,16,10,3162,3192,144,125,125,0,1,3144,2049,56,4,15,11, 1793,3206,3841,3144,4097,2,10,1,3201,1793,3232,3841,3144,1793,3227,1,2,983567,1,3144, @@ -179,7 +179,7 @@ CELL ngaImage[] = { 1793,14061,14605,14758,202004,0,10,1,10,2,10,3,10,4,10,5,10, 4097,3255,10,3423,3477,131,84,101,109,112,83,116,114,105,110,103,115,0,32,3462, 3495,131,84,101,109,112,83,116,114,105,110,103,77,97,120,0,512,3478,3507,144, 83,84,82,73,78,71,83,0,2049,1543,3841,3477,3841,3495,19,18,10,3496,3527,131, - 67,117,114,114,101,110,116,0,5,10,3516,3542,144,115,58,112,111,105,110,116, + 67,117,114,114,101,110,116,0,3,10,3516,3542,144,115,58,112,111,105,110,116, 101,114,0,3841,3527,3841,3495,19,2049,3507,17,10,3529,3561,144,115,58,110,101,120, 116,0,1,3527,2049,2978,3841,3527,3841,3477,11,1793,3577,1,0,4097,3527,10,1,3572, 9,10,3496,3591,144,115,58,116,101,109,112,0,2,2049,79,2049,2880,2049,3542,4, @@ -452,292 +452,292 @@ CELL ngaImage[] = { 1793,14061,14605,14758,202004,0,10,1,10,2,10,3,10,4,10,5,10, 45,104,111,111,107,0,2049,2880,16,10,8913,8939,144,117,110,104,111,111,107,0, 2049,2880,2,2049,2880,4,16,10,8929,8963,144,105,111,58,101,110,117,109,101,114, 97,116,101,0,27,10,8947,8977,144,105,111,58,113,117,101,114,121,0,28,10, - 8965,8992,144,105,111,58,105,110,118,111,107,101,0,29,10,8979,9002,131,83,108, - 111,116,0,9,8979,9018,144,105,111,58,115,99,97,110,45,102,111,114,0,1, - -1,4097,9002,2049,8963,1793,9044,2049,8803,2049,8977,772,67502597,11,1793,9040,2049,8803,4097,9002, - 10,1,9035,9,10,1,9026,2049,8860,3,3841,9002,10,9003,9061,144,99,58,112,117, - 116,0,1793,9063,1,0,2049,8992,10,9052,9074,144,110,108,0,1,10,2049,9061,10, - 9068,9085,144,115,112,0,1,32,2049,9061,10,9079,9097,144,116,97,98,0,1,9, - 2049,9061,10,9090,9111,144,115,58,112,117,116,0,1,9061,2049,3860,10,9102,9125,144, - 110,58,112,117,116,0,2049,5920,2049,9111,10,9116,9139,144,114,101,115,101,116,0, - 2049,1556,25,771,1,9139,7,10,9130,9161,144,100,117,109,112,45,115,116,97,99, - 107,0,2049,1556,25,3,5,2049,9161,6,2,2049,9125,2049,9085,10,9147,9183,144,70, - 82,69,69,0,2049,3507,1,1025,18,2049,1877,18,10,9175,9201,131,70,105,108,101, - 115,0,0,9192,9214,144,105,100,101,110,116,105,102,121,0,3841,9201,2049,2533,1793, - 9281,1,4,2049,9018,2,2049,2568,1793,9269,3,2049,3636,73,79,32,68,69,86,73, - 67,69,32,84,89,80,69,32,48,48,48,52,32,78,79,84,32,70,79,85, - 78,68,0,1,9232,2049,9111,2049,9074,10,1,9229,1793,9276,4097,9201,10,1,9273,2049, - 64,10,1,9220,9,10,9175,9306,144,105,111,58,102,105,108,101,45,111,112,101, - 114,97,116,105,111,110,0,2049,9214,3841,9201,2049,8992,10,9285,0,131,102,105,108, - 101,58,82,0,9313,1,131,102,105,108,101,58,87,0,9323,2,131,102,105,108, - 101,58,65,0,9333,3,131,102,105,108,101,58,82,43,0,9343,9367,144,102,105, - 108,101,58,111,112,101,110,0,1,0,2049,9306,10,9354,9386,144,102,105,108,101, - 58,99,108,111,115,101,0,1,1,2049,9306,10,9372,9404,144,102,105,108,101,58, - 114,101,97,100,0,1,2,2049,9306,10,9391,9423,144,102,105,108,101,58,119,114, - 105,116,101,0,1,3,2049,9306,10,9409,9441,144,102,105,108,101,58,116,101,108, - 108,0,1,4,2049,9306,10,9428,9459,144,102,105,108,101,58,115,101,101,107,0, - 1,5,2049,9306,10,9446,9477,144,102,105,108,101,58,115,105,122,101,0,1,6, - 2049,9306,10,9464,9497,144,102,105,108,101,58,100,101,108,101,116,101,0,1,7, - 2049,9306,10,9482,9516,144,102,105,108,101,58,102,108,117,115,104,0,1,8,2049, - 9306,10,9502,9537,144,102,105,108,101,58,101,120,105,115,116,115,63,0,1,0, - 2049,9367,2,2049,2549,1793,9551,2049,9386,2049,2356,10,1,9546,1793,9559,3,2049,2368,10, - 1,9555,2049,64,10,9521,9590,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,9367,2,2049,9477,4,10, - 9564,9624,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,9367,2,2049,9477,4,10,9599,9659,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,9367,10,9633,9671,131,70,73,68,0,0,9664,9680,131,83,105,122,101, - 0,0,9672,9691,131,65,99,116,105,111,110,0,0,9681,9702,131,66,117,102,102, - 101,114,0,0,9692,9712,144,45,101,111,102,63,0,3841,9671,2049,9441,3841,9680,13, - 10,9703,9732,144,112,114,101,115,101,114,118,101,0,1,9671,1793,9743,1,9680,1, - 21,2049,3069,10,1,9736,2049,3069,10,9633,9766,144,102,105,108,101,58,114,101,97, - 100,45,108,105,110,101,0,4097,9671,1793,9823,2049,1877,2,4097,9702,2049,3418,1793,9815, - 3841,9671,2049,9404,2,2049,3326,1793,9792,1,13,11,10,1,9788,1793,9800,1,10,11, - 10,1,9796,1793,9808,1,0,11,10,1,9804,2049,2165,22,22,10,1,9779,2049,2256, - 2049,3350,3,10,1,9770,2049,3442,3841,9702,10,9748,9852,144,102,105,108,101,58,102, - 111,114,45,101,97,99,104,45,108,105,110,101,0,1793,9883,4097,9691,2049,9590,4097, - 9671,4097,9680,1793,9874,3841,9671,2049,9766,3841,9691,8,2049,9712,10,1,9864,2049,2233,3841, - 9671,2049,9386,10,1,9854,2049,9732,10,9830,9895,131,70,73,68,0,0,9830,9910,144, - 102,105,108,101,58,115,108,117,114,112,0,1793,9937,4,2049,3418,2049,9590,4097,9895, - 1793,9928,3841,9895,2049,9404,2049,3326,10,1,9921,2049,2281,3841,9895,2049,9386,10,1,9912, - 2049,3442,10,9896,9955,144,102,105,108,101,58,115,112,101,119,0,2049,9659,4,1793, - 9964,67502597,2049,9423,10,1,9960,2049,3860,2049,9386,10,9942,9978,131,70,80,85,0,0, - 9971,9991,144,105,100,101,110,116,105,102,121,0,3841,9978,2049,2533,1793,10058,1,2, - 2049,9018,2,2049,2568,1793,10046,3,2049,3636,73,79,32,68,69,86,73,67,69,32, - 84,89,80,69,32,48,48,48,50,32,78,79,84,32,70,79,85,78,68,0, - 1,10009,2049,9111,2049,9074,10,1,10006,1793,10053,4097,9978,10,1,10050,2049,64,10,1, - 9997,9,10,9942,10084,144,105,111,58,102,108,111,97,116,45,111,112,101,114,97, - 116,105,111,110,0,2049,9991,3841,9978,2049,8992,10,10062,10105,144,110,58,116,111,45, - 102,108,111,97,116,0,1,0,2049,10084,10,10091,10124,144,115,58,116,111,45,102, - 108,111,97,116,0,1,1,2049,10084,10,10110,10144,144,102,58,116,111,45,110,117, - 109,98,101,114,0,1,2,2049,10084,10,10129,10164,144,102,58,116,111,45,115,116, - 114,105,110,103,0,2049,3617,2,1,3,2049,10084,10,10149,10179,144,102,58,43,0, - 1,4,2049,10084,10,10172,10191,144,102,58,45,0,1,5,2049,10084,10,10184,10203,144, - 102,58,42,0,1,6,2049,10084,10,10196,10215,144,102,58,47,0,1,7,2049,10084, - 10,10208,10231,144,102,58,102,108,111,111,114,0,1,8,2049,10084,10,10220,10249,144, - 102,58,99,101,105,108,105,110,103,0,1,9,2049,10084,10,10236,10264,144,102,58, - 115,113,114,116,0,1,10,2049,10084,10,10254,10278,144,102,58,101,113,63,0,1, - 11,2049,10084,10,10269,10293,144,102,58,45,101,113,63,0,1,12,2049,10084,10,10283, - 10307,144,102,58,108,116,63,0,1,13,2049,10084,10,10298,10321,144,102,58,103,116, - 63,0,1,14,2049,10084,10,10312,10337,144,102,58,100,101,112,116,104,0,1,15, - 2049,10084,10,10326,10351,144,102,58,100,117,112,0,1,16,2049,10084,10,10342,10366,144, - 102,58,100,114,111,112,0,1,17,2049,10084,10,10356,10381,144,102,58,115,119,97, - 112,0,1,18,2049,10084,10,10371,10395,144,102,58,108,111,103,0,1,19,2049,10084, - 10,10386,10411,144,102,58,112,111,119,101,114,0,1,20,2049,10084,10,10400,10425,144, - 102,58,115,105,110,0,1,21,2049,10084,10,10416,10439,144,102,58,99,111,115,0, - 1,22,2049,10084,10,10430,10453,144,102,58,116,97,110,0,1,23,2049,10084,10,10444, - 10468,144,102,58,97,115,105,110,0,1,24,2049,10084,10,10458,10483,144,102,58,97, - 99,111,115,0,1,25,2049,10084,10,10473,10498,144,102,58,97,116,97,110,0,1, - 26,2049,10084,10,10488,10513,144,102,58,112,117,115,104,0,1,27,2049,10084,10,10503, - 10527,144,102,58,112,111,112,0,1,28,2049,10084,10,10518,10544,144,102,58,97,100, - 101,112,116,104,0,1,29,2049,10084,10,10532,10561,144,102,58,115,113,117,97,114, - 101,0,2049,10351,2049,10203,10,10549,10576,144,102,58,111,118,101,114,0,2049,10513,2049, - 10351,2049,10527,2049,10381,10,10566,10595,144,102,58,116,117,99,107,0,2049,10351,2049,10513, - 2049,10381,2049,10527,10,10585,10613,144,102,58,110,105,112,0,2049,10381,2049,10366,10,10604, - 10633,144,102,58,100,114,111,112,45,112,97,105,114,0,2049,10366,2049,10366,10,10618, - 10652,144,102,58,100,117,112,45,112,97,105,114,0,2049,10576,2049,10576,10,10638,10666, - 144,102,58,114,111,116,0,2049,10513,2049,10381,2049,10527,2049,10381,10,10657,10690,144,102, - 58,112,111,115,105,116,105,118,101,63,0,1,0,2049,10105,2049,10321,10,10675,10712, - 144,102,58,110,101,103,97,116,105,118,101,63,0,1,0,2049,10105,2049,10307,10, - 10697,10731,144,102,58,110,101,103,97,116,101,0,1,-1,2049,10105,2049,10203,10,10719, - 10747,144,102,58,97,98,115,0,2049,10351,2049,10712,1,10731,9,10,10738,10767,156,112, - 114,101,102,105,120,58,46,0,2049,1818,1,3662,1,3591,2049,64,1,10124,2049,144, - 10,10755,10789,144,102,58,112,117,116,0,2049,10164,2049,9111,10,10780,10802,144,102,58, - 80,73,0,2049,3636,51,46,49,52,49,53,57,50,0,1,10804,2049,10124,10,10794, - 10825,144,102,58,69,0,2049,3636,50,46,55,49,56,50,56,49,0,1,10827,2049, - 10124,10,10818,10850,144,102,58,78,65,78,0,2049,3636,48,0,1,10852,2049,10124,2049, - 3636,48,0,1,10860,2049,10124,2049,10215,10,10841,10878,144,102,58,73,78,70,0,2049, - 3636,49,46,48,0,1,10880,2049,10124,2049,3636,48,0,1,10890,2049,10124,2049,10215,10, - 10869,10909,144,102,58,45,73,78,70,0,2049,3636,45,49,46,48,0,1,10911,2049, - 10124,2049,3636,48,0,1,10922,2049,10124,2049,10215,10,10899,10941,144,102,58,110,97,110, - 63,0,2049,10351,2049,10293,10,10931,10956,144,102,58,105,110,102,63,0,2049,10878,2049, - 10278,10,10946,10972,144,102,58,45,105,110,102,63,0,2049,10909,2049,10278,10,10961,10988, - 144,102,58,114,111,117,110,100,0,2049,10351,2049,10712,1793,11009,2049,3636,48,46,53, - 0,1,10996,2049,10124,2049,10191,2049,10249,10,1,10994,1793,11028,2049,3636,48,46,53,0, - 1,11015,2049,10124,2049,10179,2049,10231,10,1,11013,2049,64,10,10977,11042,144,102,58,109, - 105,110,0,2049,10652,2049,10307,1,10366,1,10613,2049,64,10,11033,11062,144,102,58,109, - 97,120,0,2049,10652,2049,10321,1,10366,1,10613,2049,64,10,11053,11084,144,102,58,108, - 105,109,105,116,0,2049,10381,2049,10513,2049,11042,2049,10527,2049,11062,10,11073,11109,144,102, - 58,98,101,116,119,101,101,110,63,0,2049,10666,2049,10351,2049,10513,2049,10666,2049,10666, - 2049,11084,2049,10527,2049,10278,10,11095,11135,144,102,58,105,110,99,0,2049,3636,49,0, - 1,11137,2049,10124,2049,10179,10,11126,11155,144,102,58,100,101,99,0,2049,3636,49,0, - 1,11157,2049,10124,2049,10191,10,11146,11176,144,102,58,99,97,115,101,0,2049,10576,2049, - 10278,1793,11188,2049,10366,8,1,-1,10,1,11182,1793,11196,3,1,0,10,1,11192,2049, - 64,25,6,771,10,11166,11214,144,102,58,115,105,103,110,0,2049,10351,2049,3636,48, - 0,1,11218,2049,10124,2049,10278,1793,11233,1,0,2049,10366,10,1,11228,2049,2659,2049,3636, - 48,0,1,11239,2049,10124,2049,10321,1793,11252,1,1,10,1,11249,1793,11259,1,-1,10, - 1,11256,2049,64,10,11204,2147483645,131,101,58,77,65,88,0,11264,-2147483645,131,101,58,77, - 73,78,0,11273,-2147483647,131,101,58,78,65,78,0,11282,2147483646,131,101,58,73,78,70, - 0,11291,-2147483646,131,101,58,45,73,78,70,0,11300,11318,144,101,58,110,63,0,1, - -2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11310,11339,144,101,58,109,97,120,63,0, - 1,2147483645,11,10,11329,11353,144,101,58,109,105,110,63,0,1,-2147483645,11,10,11343,11368, - 144,101,58,122,101,114,111,63,0,2049,2533,10,11357,11381,144,101,58,110,97,110, - 63,0,1,-2147483647,11,10,11371,11395,144,101,58,105,110,102,63,0,1,2147483646,11,10, - 11385,11410,144,101,58,45,105,110,102,63,0,1,-2147483646,11,10,11399,11424,144,101,58, - 99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,10,11414,11439,144,102,58,69,49,0, - 1793,11441,2049,3636,49,46,101,53,0,1,11443,2049,10124,10,11431,11465,144,102,58,45, - 115,104,105,102,116,0,2049,11439,2049,10203,10,11453,11482,144,102,58,43,115,104,105, - 102,116,0,2049,11439,2049,10215,10,11470,11504,144,102,58,115,105,103,110,101,100,45, - 115,113,114,116,0,2049,10351,2049,11214,2049,10747,2049,10264,2049,10105,2049,10203,10,11487,11530, - 144,102,58,43,101,110,99,111,100,101,0,2049,11504,2049,11465,10,11517,11548,144,102, - 58,45,101,110,99,111,100,101,0,2049,10351,2049,11214,2049,11482,2049,10351,2049,10203,2049, - 10105,2049,10203,10,11535,11582,144,102,58,115,105,103,110,101,100,45,115,113,117,97, - 114,101,0,2049,10351,2049,11214,2049,10351,2049,10203,2049,10105,2049,10203,10,11563,11605,144,102, - 58,116,111,45,101,0,2049,10351,2049,10941,1793,11616,2049,10366,1,-2147483647,10,1,11611,2049, - 2659,2049,10351,2049,10956,1793,11631,2049,10366,1,2147483646,10,1,11626,2049,2659,2049,10351,2049,10972, - 1793,11646,2049,10366,1,-2147483646,10,1,11641,2049,2659,2049,11530,2049,10988,2049,10144,2049,11424,1, - -2147483645,1793,11665,2049,10366,10,1,11662,2049,2379,1,2147483645,1793,11676,2049,10366,10,1,11673,2049, - 2379,10,11595,11691,144,101,58,116,111,45,102,0,1,-2147483647,1793,11698,2049,10850,10,1, - 11695,2049,2379,1,2147483646,1793,11709,2049,10878,10,1,11706,2049,2379,1,-2147483646,1793,11720,2049,10909, - 10,1,11717,2049,2379,2049,10105,2049,11548,10,11681,11740,144,102,58,115,116,111,114,101, - 0,1793,11745,2049,11605,10,1,11742,2049,2106,16,10,11729,11762,144,102,58,102,101,116, - 99,104,0,15,2049,11691,10,11751,11782,144,102,58,100,117,109,112,45,115,116,97, - 99,107,0,2049,10337,2,1,10513,2049,2281,1793,11800,2049,10527,2049,10351,2049,10789,2049,9085, - 10,1,11791,2049,2281,10,11766,11822,144,102,58,100,117,109,112,45,97,115,116,97, - 99,107,0,2049,10544,2,1,10527,2049,2281,1793,11840,2049,10351,2049,10789,2049,9085,2049,10513, - 10,1,11831,2049,2281,10,11805,11854,144,101,58,112,117,116,0,1,2147483645,1793,11871,2049, - 3636,101,58,77,65,88,0,1,11860,2049,9111,10,1,11858,2049,2379,1,-2147483645,1793,11892, - 2049,3636,101,58,77,73,78,0,1,11881,2049,9111,10,1,11879,2049,2379,1,0,1793, - 11911,2049,3636,101,58,48,0,1,11902,2049,9111,10,1,11900,2049,2379,1,-2147483647,1793,11932, - 2049,3636,101,58,78,65,78,0,1,11921,2049,9111,10,1,11919,2049,2379,1,2147483646,1793, - 11953,2049,3636,101,58,73,78,70,0,1,11942,2049,9111,10,1,11940,2049,2379,1,-2147483646, - 1793,11975,2049,3636,101,58,45,73,78,70,0,1,11963,2049,9111,10,1,11961,2049,2379, - 2049,11691,2049,10789,10,11845,11992,131,85,110,105,120,0,0,11984,12005,144,105,100,101, - 110,116,105,102,121,0,3841,11992,2049,2533,1793,12072,1,8,2049,9018,2,2049,2568,1793, - 12060,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48, - 48,48,56,32,78,79,84,32,70,79,85,78,68,0,1,12023,2049,9111,2049,9074, - 10,1,12020,1793,12067,4097,11992,10,1,12064,2049,64,10,1,12011,9,10,11845,12095,144, - 105,111,58,117,110,105,120,45,115,121,115,99,97,108,108,0,2049,12005,3841,11992, - 2049,8992,10,12076,12117,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0, - 2049,12095,10,12102,12135,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12095, - 10,12122,12154,144,117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12095,10, - 12140,12173,144,117,110,105,120,58,101,120,101,99,49,0,1,3,2049,12095,10,12159, - 12192,144,117,110,105,120,58,101,120,101,99,50,0,1,4,2049,12095,10,12178,12211, - 144,117,110,105,120,58,101,120,101,99,51,0,1,5,2049,12095,10,12197,12229,144, - 117,110,105,120,58,101,120,105,116,0,1,6,2049,12095,10,12216,12249,144,117,110, - 105,120,58,103,101,116,112,105,100,0,1,7,2049,12095,10,12234,12267,144,117,110, - 105,120,58,119,97,105,116,0,1,8,2049,12095,10,12254,12285,144,117,110,105,120, - 58,107,105,108,108,0,1,9,2049,12095,10,12272,12304,144,117,110,105,120,58,112, - 111,112,101,110,0,1,10,2049,12095,10,12290,12324,144,117,110,105,120,58,112,99, - 108,111,115,101,0,1,11,2049,12095,10,12309,12343,144,117,110,105,120,58,99,104, - 100,105,114,0,1,13,2049,12095,10,12329,12363,144,117,110,105,120,58,103,101,116, - 101,110,118,0,1,14,2049,12095,10,12348,12383,144,117,110,105,120,58,112,117,116, - 101,110,118,0,1,15,2049,12095,10,12368,12402,144,117,110,105,120,58,115,108,101, - 101,112,0,1,16,2049,12095,10,12388,12423,144,117,110,105,120,58,103,101,116,45, - 99,119,100,0,2049,3636,112,119,100,0,1,12425,1,0,2049,12304,2,2049,9766,2049, - 5870,4,2049,12324,2049,3636,47,0,1,12445,2049,3842,10,12407,12479,144,117,110,105,120, - 58,99,111,117,110,116,45,102,105,108,101,115,45,105,110,45,99,119,100,0, - 2049,3636,108,115,32,45,49,32,124,32,119,99,32,45,108,0,1,12481,1,0, - 2049,12304,2,2049,9766,2049,5870,2049,218,4,2049,12324,10,12452,12534,144,117,110,105,120, - 58,102,111,114,45,101,97,99,104,45,102,105,108,101,0,2049,3636,108,115,32, - 45,49,32,45,112,0,1,12536,1,0,2049,12304,2049,12479,1793,12569,1793,12564,2049,9766, - 2049,3591,67502597,8,10,1,12557,2049,2116,10,1,12555,2049,2281,2049,12324,3,10,12512,12586, - 144,115,116,97,114,116,0,4,2049,3418,1,0,2049,12304,10,12577,12602,144,114,101, - 97,100,0,2,2049,9404,2,2049,3326,2049,2533,10,12594,12621,144,102,105,110,105,115, - 104,0,2049,12324,2049,3398,10,12512,12645,144,117,110,105,120,58,115,108,117,114,112, - 45,112,105,112,101,0,1793,12661,2049,12586,1793,12654,2049,12602,10,1,12651,2049,2256,2049, - 12621,10,1,12647,2049,3442,10,12626,12672,131,105,111,0,0,12666,12685,144,105,100,101, - 110,116,105,102,121,0,3841,12672,2049,2533,1793,12752,1,10,2049,9018,2,2049,2568,1793, - 12740,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48, - 48,49,48,32,78,79,84,32,70,79,85,78,68,0,1,12703,2049,9111,2049,9074, - 10,1,12700,1793,12747,4097,12672,10,1,12744,2049,64,10,1,12691,9,10,12626,12776,144, - 105,111,58,114,110,103,45,111,112,101,114,97,116,105,111,110,0,2049,12685,3841, - 12672,2049,8992,10,12756,12795,144,110,58,114,97,110,100,111,109,0,2049,12776,10,12783, - 12809,131,83,111,99,107,101,116,115,0,0,12798,12822,144,105,100,101,110,116,105, - 102,121,0,3841,12809,2049,2533,1793,12889,1,7,2049,9018,2,2049,2568,1793,12877,3,2049, - 3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,52, - 32,78,79,84,32,70,79,85,78,68,0,1,12840,2049,9111,2049,9074,10,1,12837, - 1793,12884,4097,12809,10,1,12881,2049,64,10,1,12828,9,10,12783,12916,144,105,111,58, - 115,111,99,107,101,116,45,111,112,101,114,97,116,105,111,110,0,2049,12822,3841, - 12809,2049,8992,10,12893,12947,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,12916,10,12923,12969,144,115,111,99,107, - 101,116,58,99,114,101,97,116,101,0,1,1,2049,12916,10,12952,12989,144,115,111, - 99,107,101,116,58,98,105,110,100,0,1,2,2049,12916,10,12974,13011,144,115,111, - 99,107,101,116,58,108,105,115,116,101,110,0,1,3,2049,12916,10,12994,13033,144, - 115,111,99,107,101,116,58,97,99,99,101,112,116,0,1,4,2049,12916,10,13016, - 13056,144,115,111,99,107,101,116,58,99,111,110,110,101,99,116,0,1,5,2049, - 12916,10,13038,13076,144,115,111,99,107,101,116,58,115,101,110,100,0,1,6,2049, - 12916,10,13061,13096,144,115,111,99,107,101,116,58,114,101,99,118,0,1,8,2049, - 12916,10,13081,13117,144,115,111,99,107,101,116,58,99,108,111,115,101,0,1,10, - 2049,12916,10,13101,13142,144,115,111,99,107,101,116,58,99,111,110,102,105,103,117, - 114,101,0,1,11,2049,12916,10,13122,1024,131,84,73,66,0,13147,13168,144,105,109, - 97,103,101,58,115,97,118,101,0,1,1000,2049,9018,2049,8992,10,13154,13187,131,75, - 101,121,98,111,97,114,100,0,0,13175,13200,144,105,100,101,110,116,105,102,121, - 0,3841,13187,2049,2533,1793,13267,1,1,2049,9018,2,2049,2568,1793,13255,3,2049,3636,73, - 79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,49,32,78, - 79,84,32,70,79,85,78,68,0,1,13218,2049,9111,2049,9074,10,1,13215,1793,13262, - 4097,13187,10,1,13259,2049,64,10,1,13206,9,10,13154,13280,144,99,58,103,101,116, - 0,2049,13200,3841,13187,2049,8992,10,13271,13297,144,103,97,116,104,101,114,0,2,1793, - 13304,1,8,11,10,1,13300,1793,13312,1,127,11,10,1,13308,2049,2128,22,1,11, - 1,3326,2049,64,10,13287,13333,144,99,121,99,108,101,0,2049,13280,2049,2096,4,8, - 2049,2465,25,3,2049,13297,1,13333,7,10,13271,13364,144,112,97,114,115,101,45,117, - 110,116,105,108,0,1793,13376,2049,3617,2049,3418,2049,13333,771,2049,3292,10,1,13366,2049, - 3442,10,13349,13390,144,115,58,103,101,116,0,1793,13412,1793,13398,1,10,11,10,1, - 13394,1793,13406,1,13,11,10,1,13402,2049,2128,22,10,1,13392,2049,13364,10,13381,13431, - 144,115,58,103,101,116,45,119,111,114,100,0,1,5472,2049,13364,10,13417,13449,131, - 83,99,114,105,112,116,105,110,103,0,7,13436,13462,144,105,100,101,110,116,105, - 102,121,0,3841,13449,2049,2533,1793,13529,1,9,2049,9018,2,2049,2568,1793,13517,3,2049, - 3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,57, - 32,78,79,84,32,70,79,85,78,68,0,1,13480,2049,9111,2049,9074,10,1,13477, - 1793,13524,4097,13449,10,1,13521,2049,64,10,1,13468,9,10,13417,13545,144,115,121,115, - 58,97,114,103,99,0,2049,13462,1,0,3841,13449,2049,8992,10,13533,13566,144,115,121, - 115,58,97,114,103,118,0,2049,3617,4,2049,13462,1,1,3841,13449,2049,8992,10,13554, - 13589,144,105,110,99,108,117,100,101,0,2049,13462,1,2,3841,13449,2049,8992,10,13578, - 13610,144,115,121,115,58,110,97,109,101,0,2049,3617,2049,13462,1,3,3841,13449,2049, - 8992,10,13598,13630,144,99,108,101,97,114,0,1,27,2049,9061,2049,3636,91,50,74, - 0,1,13636,2049,9111,1,27,2049,9061,2049,3636,91,48,59,48,72,0,1,13650,2049, - 9111,10,13621,13671,131,78,111,69,99,104,111,0,0,13661,13679,144,98,121,101,0, - 1,0,2049,12229,10,13672,13695,144,118,101,114,115,105,111,110,0,3841,4,1,100, - 20,10,13684,13710,144,100,111,110,101,63,0,1793,13716,1,13,11,10,1,13712,1793, - 13724,1,10,11,10,1,13720,1793,13732,1,32,11,10,1,13728,2049,2165,22,22,10, - 13701,13749,144,118,97,108,105,100,63,0,2,2049,79,2049,2615,10,13739,13768,144,99, - 104,101,99,107,45,101,111,102,0,2,1793,13775,1,-1,11,10,1,13771,1793,13783, - 1,4,11,10,1,13779,2049,2128,22,1,13679,9,10,13755,13798,144,98,115,0,2049, - 3350,2049,3350,771,10,13792,13816,144,99,104,101,99,107,45,98,115,0,2,1793,13823, - 1,8,11,10,1,13819,1793,13831,1,127,11,10,1,13827,2049,2128,22,1,13798,9, - 10,13804,13849,144,99,104,101,99,107,0,2049,13768,2049,13816,10,13840,13867,144,99,104, - 97,114,97,99,116,101,114,0,2049,13280,2,2049,3326,10,13854,13883,144,98,117,102, - 102,101,114,0,1793,13893,1,1024,2049,3418,8,2049,3292,10,1,13885,2049,3442,10,13873, - 13912,144,114,101,97,100,45,116,111,107,101,110,0,1793,13928,1793,13923,2049,13867,2049, - 13849,2049,13710,10,1,13916,2049,2256,10,1,13914,2049,13883,2049,3714,10,13898,13944,144,105, - 110,112,117,116,0,2049,13912,2049,13749,10,13935,13960,144,112,114,111,99,101,115,115, - 0,1,365,1,11,2049,64,10,13672,13977,144,98,97,110,110,101,114,0,2049,13695, - 2049,3636,82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110, - 0,1,13981,2049,7092,2049,9111,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3636,37,110, - 32,77,97,120,44,32,37,110,32,85,115,101,100,44,32,37,110,32,70,114, - 101,101,92,110,0,1,14017,2049,7092,2049,9111,10,13967,14061,144,108,105,115,116,101, - 110,0,3841,13671,1793,14068,2049,13977,10,1,14065,2049,70,2049,13944,2049,13960,1,14072,7, - 10,14051,14089,131,67,108,111,99,107,0,0,14080,14102,144,105,100,101,110,116,105, - 102,121,0,3841,14089,2049,2533,1793,14169,1,5,2049,9018,2,2049,2568,1793,14157,3,2049, - 3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,53, - 32,78,79,84,32,70,79,85,78,68,0,1,14120,2049,9111,2049,9074,10,1,14117, - 1793,14164,4097,14089,10,1,14161,2049,64,10,1,14108,9,10,14051,14195,144,105,111,58, - 99,108,111,99,107,45,111,112,101,114,97,116,105,111,110,0,2049,14102,3841,14089, - 2049,8992,10,14173,14221,144,99,108,111,99,107,58,116,105,109,101,115,116,97,109, - 112,0,1,0,2049,14195,10,14202,14239,144,99,108,111,99,107,58,100,97,121,0, - 1,1,2049,14195,10,14226,14259,144,99,108,111,99,107,58,109,111,110,116,104,0, - 1,2,2049,14195,10,14244,14278,144,99,108,111,99,107,58,121,101,97,114,0,1, - 3,2049,14195,10,14264,14297,144,99,108,111,99,107,58,104,111,117,114,0,1,4, - 2049,14195,10,14283,14318,144,99,108,111,99,107,58,109,105,110,117,116,101,0,1, - 5,2049,14195,10,14302,14339,144,99,108,111,99,107,58,115,101,99,111,110,100,0, - 1,6,2049,14195,10,14323,14361,144,99,108,111,99,107,58,117,116,99,58,100,97, - 121,0,1,7,2049,14195,10,14344,14385,144,99,108,111,99,107,58,117,116,99,58, - 109,111,110,116,104,0,1,8,2049,14195,10,14366,14408,144,99,108,111,99,107,58, - 117,116,99,58,121,101,97,114,0,1,9,2049,14195,10,14390,14431,144,99,108,111, - 99,107,58,117,116,99,58,104,111,117,114,0,1,10,2049,14195,10,14413,14456,144, - 99,108,111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,1,11,2049, - 14195,10,14436,14481,144,99,108,111,99,107,58,117,116,99,58,115,101,99,111,110, - 100,0,1,12,2049,14195,10,14461,14497,144,100,58,119,111,114,100,115,0,1793,14506, - 2049,162,2049,9111,2049,9085,10,1,14499,2049,7321,10,14486,14527,144,100,58,119,111,114, - 100,115,45,119,105,116,104,0,2049,1877,2049,4528,1793,14558,2049,162,2,2049,1877,2049, - 4179,1793,14547,2049,9111,2049,9085,10,1,14542,1793,14553,3,10,1,14551,2049,64,10,1, - 14533,2049,7321,10,14511,14582,144,100,105,115,112,108,97,121,45,105,102,45,108,101, - 102,116,0,2,2049,1877,2049,4478,1793,14594,2049,9111,2049,9085,10,1,14589,1793,14600,3, - 10,1,14598,2049,64,10,14511,14631,144,100,58,119,111,114,100,115,45,98,101,103, - 105,110,110,105,110,103,45,119,105,116,104,0,2049,1877,2049,4528,1793,14642,2049,162, - 2049,14582,10,1,14637,2049,7321,10,14605,14657,144,102,105,101,108,100,115,0,3841,2, - 2049,105,2049,105,2049,105,10,14647,14683,144,105,110,118,97,108,105,100,45,110,97, - 109,101,63,0,2,1,32,2049,3986,10,14666,14700,144,114,101,119,114,105,116,101, - 0,1793,14714,1,32,1793,14709,1,95,10,1,14706,2049,2379,10,1,14702,2049,4349,10, - 14689,14728,144,101,110,116,114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14756, - 1793,14751,2049,14657,2049,14683,1,14700,9,2049,119,10,1,14741,2049,14728,10,1,14739,0 }; + 8965,8992,144,105,111,58,105,110,118,111,107,101,0,29,10,8979,9009,144,105,111, + 58,115,99,97,110,45,102,111,114,0,1,-1,4,2049,8963,1793,9040,2049,8803,2049, + 8977,772,67502597,11,1793,9036,1793,9031,3,2049,8803,10,1,9027,2049,2106,10,1,9025,9, + 10,1,9016,2049,8860,3,10,8994,9055,144,99,58,112,117,116,0,1793,9057,1,0, + 2049,8992,10,9046,9068,144,110,108,0,1,10,2049,9055,10,9062,9079,144,115,112,0, + 1,32,2049,9055,10,9073,9091,144,116,97,98,0,1,9,2049,9055,10,9084,9105,144, + 115,58,112,117,116,0,1,9055,2049,3860,10,9096,9119,144,110,58,112,117,116,0, + 2049,5920,2049,9105,10,9110,9133,144,114,101,115,101,116,0,2049,1556,25,771,1,9133, + 7,10,9124,9155,144,100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,3, + 5,2049,9155,6,2,2049,9119,2049,9079,10,9141,9177,144,70,82,69,69,0,2049,3507, + 1,1025,18,2049,1877,18,10,9169,9195,131,70,105,108,101,115,0,0,9186,9208,144, + 105,100,101,110,116,105,102,121,0,3841,9195,2049,2533,1793,9275,1,4,2049,9009,2, + 2049,2568,1793,9263,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80, + 69,32,48,48,48,52,32,78,79,84,32,70,79,85,78,68,0,1,9226,2049, + 9105,2049,9068,10,1,9223,1793,9270,4097,9195,10,1,9267,2049,64,10,1,9214,9,10, + 9169,9300,144,105,111,58,102,105,108,101,45,111,112,101,114,97,116,105,111,110, + 0,2049,9208,3841,9195,2049,8992,10,9279,0,131,102,105,108,101,58,82,0,9307,1, + 131,102,105,108,101,58,87,0,9317,2,131,102,105,108,101,58,65,0,9327,3, + 131,102,105,108,101,58,82,43,0,9337,9361,144,102,105,108,101,58,111,112,101, + 110,0,1,0,2049,9300,10,9348,9380,144,102,105,108,101,58,99,108,111,115,101, + 0,1,1,2049,9300,10,9366,9398,144,102,105,108,101,58,114,101,97,100,0,1, + 2,2049,9300,10,9385,9417,144,102,105,108,101,58,119,114,105,116,101,0,1,3, + 2049,9300,10,9403,9435,144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9300, + 10,9422,9453,144,102,105,108,101,58,115,101,101,107,0,1,5,2049,9300,10,9440, + 9471,144,102,105,108,101,58,115,105,122,101,0,1,6,2049,9300,10,9458,9491,144, + 102,105,108,101,58,100,101,108,101,116,101,0,1,7,2049,9300,10,9476,9510,144, + 102,105,108,101,58,102,108,117,115,104,0,1,8,2049,9300,10,9496,9531,144,102, + 105,108,101,58,101,120,105,115,116,115,63,0,1,0,2049,9361,2,2049,2549,1793, + 9545,2049,9380,2049,2356,10,1,9540,1793,9553,3,2049,2368,10,1,9549,2049,64,10,9515, + 9584,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,9361,2,2049,9471,4,10,9558,9618,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,9361,2,2049,9471,4,10,9593,9653,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,9361,10,9627, + 9665,131,70,73,68,0,0,9658,9674,131,83,105,122,101,0,0,9666,9685,131,65, + 99,116,105,111,110,0,0,9675,9696,131,66,117,102,102,101,114,0,0,9686,9706, + 144,45,101,111,102,63,0,3841,9665,2049,9435,3841,9674,13,10,9697,9726,144,112,114, + 101,115,101,114,118,101,0,1,9665,1793,9737,1,9674,1,21,2049,3069,10,1,9730, + 2049,3069,10,9627,9760,144,102,105,108,101,58,114,101,97,100,45,108,105,110,101, + 0,4097,9665,1793,9817,2049,1877,2,4097,9696,2049,3418,1793,9809,3841,9665,2049,9398,2,2049, + 3326,1793,9786,1,13,11,10,1,9782,1793,9794,1,10,11,10,1,9790,1793,9802,1, + 0,11,10,1,9798,2049,2165,22,22,10,1,9773,2049,2256,2049,3350,3,10,1,9764, + 2049,3442,3841,9696,10,9742,9846,144,102,105,108,101,58,102,111,114,45,101,97,99, + 104,45,108,105,110,101,0,1793,9877,4097,9685,2049,9584,4097,9665,4097,9674,1793,9868,3841, + 9665,2049,9760,3841,9685,8,2049,9706,10,1,9858,2049,2233,3841,9665,2049,9380,10,1,9848, + 2049,9726,10,9824,9889,131,70,73,68,0,0,9824,9904,144,102,105,108,101,58,115, + 108,117,114,112,0,1793,9931,4,2049,3418,2049,9584,4097,9889,1793,9922,3841,9889,2049,9398, + 2049,3326,10,1,9915,2049,2281,3841,9889,2049,9380,10,1,9906,2049,3442,10,9890,9949,144, + 102,105,108,101,58,115,112,101,119,0,2049,9653,4,1793,9958,67502597,2049,9417,10,1, + 9954,2049,3860,2049,9380,10,9936,9972,131,70,80,85,0,0,9965,9985,144,105,100,101, + 110,116,105,102,121,0,3841,9972,2049,2533,1793,10052,1,2,2049,9009,2,2049,2568,1793, + 10040,3,2049,3636,73,79,32,68,69,86,73,67,69,32,84,89,80,69,32,48, + 48,48,50,32,78,79,84,32,70,79,85,78,68,0,1,10003,2049,9105,2049,9068, + 10,1,10000,1793,10047,4097,9972,10,1,10044,2049,64,10,1,9991,9,10,9936,10078,144, + 105,111,58,102,108,111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049, + 9985,3841,9972,2049,8992,10,10056,10099,144,110,58,116,111,45,102,108,111,97,116,0, + 1,0,2049,10078,10,10085,10118,144,115,58,116,111,45,102,108,111,97,116,0,1, + 1,2049,10078,10,10104,10138,144,102,58,116,111,45,110,117,109,98,101,114,0,1, + 2,2049,10078,10,10123,10158,144,102,58,116,111,45,115,116,114,105,110,103,0,2049, + 3617,2,1,3,2049,10078,10,10143,10173,144,102,58,43,0,1,4,2049,10078,10,10166, + 10185,144,102,58,45,0,1,5,2049,10078,10,10178,10197,144,102,58,42,0,1,6, + 2049,10078,10,10190,10209,144,102,58,47,0,1,7,2049,10078,10,10202,10225,144,102,58, + 102,108,111,111,114,0,1,8,2049,10078,10,10214,10243,144,102,58,99,101,105,108, + 105,110,103,0,1,9,2049,10078,10,10230,10258,144,102,58,115,113,114,116,0,1, + 10,2049,10078,10,10248,10272,144,102,58,101,113,63,0,1,11,2049,10078,10,10263,10287, + 144,102,58,45,101,113,63,0,1,12,2049,10078,10,10277,10301,144,102,58,108,116, + 63,0,1,13,2049,10078,10,10292,10315,144,102,58,103,116,63,0,1,14,2049,10078, + 10,10306,10331,144,102,58,100,101,112,116,104,0,1,15,2049,10078,10,10320,10345,144, + 102,58,100,117,112,0,1,16,2049,10078,10,10336,10360,144,102,58,100,114,111,112, + 0,1,17,2049,10078,10,10350,10375,144,102,58,115,119,97,112,0,1,18,2049,10078, + 10,10365,10389,144,102,58,108,111,103,0,1,19,2049,10078,10,10380,10405,144,102,58, + 112,111,119,101,114,0,1,20,2049,10078,10,10394,10419,144,102,58,115,105,110,0, + 1,21,2049,10078,10,10410,10433,144,102,58,99,111,115,0,1,22,2049,10078,10,10424, + 10447,144,102,58,116,97,110,0,1,23,2049,10078,10,10438,10462,144,102,58,97,115, + 105,110,0,1,24,2049,10078,10,10452,10477,144,102,58,97,99,111,115,0,1,25, + 2049,10078,10,10467,10492,144,102,58,97,116,97,110,0,1,26,2049,10078,10,10482,10507, + 144,102,58,112,117,115,104,0,1,27,2049,10078,10,10497,10521,144,102,58,112,111, + 112,0,1,28,2049,10078,10,10512,10538,144,102,58,97,100,101,112,116,104,0,1, + 29,2049,10078,10,10526,10555,144,102,58,115,113,117,97,114,101,0,2049,10345,2049,10197, + 10,10543,10570,144,102,58,111,118,101,114,0,2049,10507,2049,10345,2049,10521,2049,10375,10, + 10560,10589,144,102,58,116,117,99,107,0,2049,10345,2049,10507,2049,10375,2049,10521,10,10579, + 10607,144,102,58,110,105,112,0,2049,10375,2049,10360,10,10598,10627,144,102,58,100,114, + 111,112,45,112,97,105,114,0,2049,10360,2049,10360,10,10612,10646,144,102,58,100,117, + 112,45,112,97,105,114,0,2049,10570,2049,10570,10,10632,10660,144,102,58,114,111,116, + 0,2049,10507,2049,10375,2049,10521,2049,10375,10,10651,10684,144,102,58,112,111,115,105,116, + 105,118,101,63,0,1,0,2049,10099,2049,10315,10,10669,10706,144,102,58,110,101,103, + 97,116,105,118,101,63,0,1,0,2049,10099,2049,10301,10,10691,10725,144,102,58,110, + 101,103,97,116,101,0,1,-1,2049,10099,2049,10197,10,10713,10741,144,102,58,97,98, + 115,0,2049,10345,2049,10706,1,10725,9,10,10732,10761,156,112,114,101,102,105,120,58, + 46,0,2049,1818,1,3662,1,3591,2049,64,1,10118,2049,144,10,10749,10783,144,102,58, + 112,117,116,0,2049,10158,2049,9105,10,10774,10796,144,102,58,80,73,0,2049,3636,51, + 46,49,52,49,53,57,50,0,1,10798,2049,10118,10,10788,10819,144,102,58,69,0, + 2049,3636,50,46,55,49,56,50,56,49,0,1,10821,2049,10118,10,10812,10844,144,102, + 58,78,65,78,0,2049,3636,48,0,1,10846,2049,10118,2049,3636,48,0,1,10854,2049, + 10118,2049,10209,10,10835,10872,144,102,58,73,78,70,0,2049,3636,49,46,48,0,1, + 10874,2049,10118,2049,3636,48,0,1,10884,2049,10118,2049,10209,10,10863,10903,144,102,58,45, + 73,78,70,0,2049,3636,45,49,46,48,0,1,10905,2049,10118,2049,3636,48,0,1, + 10916,2049,10118,2049,10209,10,10893,10935,144,102,58,110,97,110,63,0,2049,10345,2049,10287, + 10,10925,10950,144,102,58,105,110,102,63,0,2049,10872,2049,10272,10,10940,10966,144,102, + 58,45,105,110,102,63,0,2049,10903,2049,10272,10,10955,10982,144,102,58,114,111,117, + 110,100,0,2049,10345,2049,10706,1793,11003,2049,3636,48,46,53,0,1,10990,2049,10118,2049, + 10185,2049,10243,10,1,10988,1793,11022,2049,3636,48,46,53,0,1,11009,2049,10118,2049,10173, + 2049,10225,10,1,11007,2049,64,10,10971,11036,144,102,58,109,105,110,0,2049,10646,2049, + 10301,1,10360,1,10607,2049,64,10,11027,11056,144,102,58,109,97,120,0,2049,10646,2049, + 10315,1,10360,1,10607,2049,64,10,11047,11078,144,102,58,108,105,109,105,116,0,2049, + 10375,2049,10507,2049,11036,2049,10521,2049,11056,10,11067,11103,144,102,58,98,101,116,119,101, + 101,110,63,0,2049,10660,2049,10345,2049,10507,2049,10660,2049,10660,2049,11078,2049,10521,2049,10272, + 10,11089,11129,144,102,58,105,110,99,0,2049,3636,49,0,1,11131,2049,10118,2049,10173, + 10,11120,11149,144,102,58,100,101,99,0,2049,3636,49,0,1,11151,2049,10118,2049,10185, + 10,11140,11170,144,102,58,99,97,115,101,0,2049,10570,2049,10272,1793,11182,2049,10360,8, + 1,-1,10,1,11176,1793,11190,3,1,0,10,1,11186,2049,64,25,6,771,10,11160, + 11208,144,102,58,115,105,103,110,0,2049,10345,2049,3636,48,0,1,11212,2049,10118,2049, + 10272,1793,11227,1,0,2049,10360,10,1,11222,2049,2659,2049,3636,48,0,1,11233,2049,10118, + 2049,10315,1793,11246,1,1,10,1,11243,1793,11253,1,-1,10,1,11250,2049,64,10,11198, + 2147483645,131,101,58,77,65,88,0,11258,-2147483645,131,101,58,77,73,78,0,11267,-2147483647,131, + 101,58,78,65,78,0,11276,2147483646,131,101,58,73,78,70,0,11285,-2147483646,131,101,58, + 45,73,78,70,0,11294,11312,144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049, + 2893,2049,2911,10,11304,11333,144,101,58,109,97,120,63,0,1,2147483645,11,10,11323,11347, + 144,101,58,109,105,110,63,0,1,-2147483645,11,10,11337,11362,144,101,58,122,101,114, + 111,63,0,2049,2533,10,11351,11375,144,101,58,110,97,110,63,0,1,-2147483647,11,10, + 11365,11389,144,101,58,105,110,102,63,0,1,2147483646,11,10,11379,11404,144,101,58,45, + 105,110,102,63,0,1,-2147483646,11,10,11393,11418,144,101,58,99,108,105,112,0,1, + -2147483645,1,2147483645,2049,2863,10,11408,11433,144,102,58,69,49,0,1793,11435,2049,3636,49,46, + 101,53,0,1,11437,2049,10118,10,11425,11459,144,102,58,45,115,104,105,102,116,0, + 2049,11433,2049,10197,10,11447,11476,144,102,58,43,115,104,105,102,116,0,2049,11433,2049, + 10209,10,11464,11498,144,102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049, + 10345,2049,11208,2049,10741,2049,10258,2049,10099,2049,10197,10,11481,11524,144,102,58,43,101,110, + 99,111,100,101,0,2049,11498,2049,11459,10,11511,11542,144,102,58,45,101,110,99,111, + 100,101,0,2049,10345,2049,11208,2049,11476,2049,10345,2049,10197,2049,10099,2049,10197,10,11529,11576, + 144,102,58,115,105,103,110,101,100,45,115,113,117,97,114,101,0,2049,10345,2049, + 11208,2049,10345,2049,10197,2049,10099,2049,10197,10,11557,11599,144,102,58,116,111,45,101,0, + 2049,10345,2049,10935,1793,11610,2049,10360,1,-2147483647,10,1,11605,2049,2659,2049,10345,2049,10950,1793, + 11625,2049,10360,1,2147483646,10,1,11620,2049,2659,2049,10345,2049,10966,1793,11640,2049,10360,1,-2147483646, + 10,1,11635,2049,2659,2049,11524,2049,10982,2049,10138,2049,11418,1,-2147483645,1793,11659,2049,10360,10, + 1,11656,2049,2379,1,2147483645,1793,11670,2049,10360,10,1,11667,2049,2379,10,11589,11685,144,101, + 58,116,111,45,102,0,1,-2147483647,1793,11692,2049,10844,10,1,11689,2049,2379,1,2147483646,1793, + 11703,2049,10872,10,1,11700,2049,2379,1,-2147483646,1793,11714,2049,10903,10,1,11711,2049,2379,2049, + 10099,2049,11542,10,11675,11734,144,102,58,115,116,111,114,101,0,1793,11739,2049,11599,10, + 1,11736,2049,2106,16,10,11723,11756,144,102,58,102,101,116,99,104,0,15,2049,11685, + 10,11745,11776,144,102,58,100,117,109,112,45,115,116,97,99,107,0,2049,10331,2, + 1,10507,2049,2281,1793,11794,2049,10521,2049,10345,2049,10783,2049,9079,10,1,11785,2049,2281,10, + 11760,11816,144,102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,10538,2, + 1,10521,2049,2281,1793,11834,2049,10345,2049,10783,2049,9079,2049,10507,10,1,11825,2049,2281,10, + 11799,11848,144,101,58,112,117,116,0,1,2147483645,1793,11865,2049,3636,101,58,77,65,88, + 0,1,11854,2049,9105,10,1,11852,2049,2379,1,-2147483645,1793,11886,2049,3636,101,58,77,73, + 78,0,1,11875,2049,9105,10,1,11873,2049,2379,1,0,1793,11905,2049,3636,101,58,48, + 0,1,11896,2049,9105,10,1,11894,2049,2379,1,-2147483647,1793,11926,2049,3636,101,58,78,65, + 78,0,1,11915,2049,9105,10,1,11913,2049,2379,1,2147483646,1793,11947,2049,3636,101,58,73, + 78,70,0,1,11936,2049,9105,10,1,11934,2049,2379,1,-2147483646,1793,11969,2049,3636,101,58, + 45,73,78,70,0,1,11957,2049,9105,10,1,11955,2049,2379,2049,11685,2049,10783,10,11839, + 11986,131,85,110,105,120,0,0,11978,11999,144,105,100,101,110,116,105,102,121,0, + 3841,11986,2049,2533,1793,12066,1,8,2049,9009,2,2049,2568,1793,12054,3,2049,3636,73,79, + 32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,48,56,32,78,79, + 84,32,70,79,85,78,68,0,1,12017,2049,9105,2049,9068,10,1,12014,1793,12061,4097, + 11986,10,1,12058,2049,64,10,1,12005,9,10,11839,12089,144,105,111,58,117,110,105, + 120,45,115,121,115,99,97,108,108,0,2049,11999,3841,11986,2049,8992,10,12070,12111,144, + 117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12089,10,12096,12129,144, + 117,110,105,120,58,102,111,114,107,0,1,1,2049,12089,10,12116,12148,144,117,110, + 105,120,58,101,120,101,99,48,0,1,2,2049,12089,10,12134,12167,144,117,110,105, + 120,58,101,120,101,99,49,0,1,3,2049,12089,10,12153,12186,144,117,110,105,120, + 58,101,120,101,99,50,0,1,4,2049,12089,10,12172,12205,144,117,110,105,120,58, + 101,120,101,99,51,0,1,5,2049,12089,10,12191,12223,144,117,110,105,120,58,101, + 120,105,116,0,1,6,2049,12089,10,12210,12243,144,117,110,105,120,58,103,101,116, + 112,105,100,0,1,7,2049,12089,10,12228,12261,144,117,110,105,120,58,119,97,105, + 116,0,1,8,2049,12089,10,12248,12279,144,117,110,105,120,58,107,105,108,108,0, + 1,9,2049,12089,10,12266,12298,144,117,110,105,120,58,112,111,112,101,110,0,1, + 10,2049,12089,10,12284,12318,144,117,110,105,120,58,112,99,108,111,115,101,0,1, + 11,2049,12089,10,12303,12337,144,117,110,105,120,58,99,104,100,105,114,0,1,13, + 2049,12089,10,12323,12357,144,117,110,105,120,58,103,101,116,101,110,118,0,1,14, + 2049,12089,10,12342,12377,144,117,110,105,120,58,112,117,116,101,110,118,0,1,15, + 2049,12089,10,12362,12396,144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049, + 12089,10,12382,12417,144,117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3636, + 112,119,100,0,1,12419,1,0,2049,12298,2,2049,9760,2049,5870,4,2049,12318,2049,3636, + 47,0,1,12439,2049,3842,10,12401,12473,144,117,110,105,120,58,99,111,117,110,116, + 45,102,105,108,101,115,45,105,110,45,99,119,100,0,2049,3636,108,115,32,45, + 49,32,124,32,119,99,32,45,108,0,1,12475,1,0,2049,12298,2,2049,9760,2049, + 5870,2049,218,4,2049,12318,10,12446,12528,144,117,110,105,120,58,102,111,114,45,101, + 97,99,104,45,102,105,108,101,0,2049,3636,108,115,32,45,49,32,45,112,0, + 1,12530,1,0,2049,12298,2049,12473,1793,12563,1793,12558,2049,9760,2049,3591,67502597,8,10,1, + 12551,2049,2116,10,1,12549,2049,2281,2049,12318,3,10,12506,12580,144,115,116,97,114,116, + 0,4,2049,3418,1,0,2049,12298,10,12571,12596,144,114,101,97,100,0,2,2049,9398, + 2,2049,3326,2049,2533,10,12588,12615,144,102,105,110,105,115,104,0,2049,12318,2049,3398, + 10,12506,12639,144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,101,0, + 1793,12655,2049,12580,1793,12648,2049,12596,10,1,12645,2049,2256,2049,12615,10,1,12641,2049,3442, + 10,12620,12666,131,105,111,0,0,12660,12679,144,105,100,101,110,116,105,102,121,0, + 3841,12666,2049,2533,1793,12746,1,10,2049,9009,2,2049,2568,1793,12734,3,2049,3636,73,79, + 32,68,69,86,73,67,69,32,84,89,80,69,32,48,48,49,48,32,78,79, + 84,32,70,79,85,78,68,0,1,12697,2049,9105,2049,9068,10,1,12694,1793,12741,4097, + 12666,10,1,12738,2049,64,10,1,12685,9,10,12620,12770,144,105,111,58,114,110,103, + 45,111,112,101,114,97,116,105,111,110,0,2049,12679,3841,12666,2049,8992,10,12750,12789, + 144,110,58,114,97,110,100,111,109,0,2049,12770,10,12777,12803,131,83,111,99,107, + 101,116,115,0,0,12792,12816,144,105,100,101,110,116,105,102,121,0,3841,12803,2049, + 2533,1793,12883,1,7,2049,9009,2,2049,2568,1793,12871,3,2049,3636,73,79,32,68,69, + 86,73,67,69,32,84,89,80,69,32,48,48,48,52,32,78,79,84,32,70, + 79,85,78,68,0,1,12834,2049,9105,2049,9068,10,1,12831,1793,12878,4097,12803,10,1, + 12875,2049,64,10,1,12822,9,10,12777,12910,144,105,111,58,115,111,99,107,101,116, + 45,111,112,101,114,97,116,105,111,110,0,2049,12816,3841,12803,2049,8992,10,12887,12941, + 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,12910,10,12917,12963,144,115,111,99,107,101,116,58,99,114,101, + 97,116,101,0,1,1,2049,12910,10,12946,12983,144,115,111,99,107,101,116,58,98, + 105,110,100,0,1,2,2049,12910,10,12968,13005,144,115,111,99,107,101,116,58,108, + 105,115,116,101,110,0,1,3,2049,12910,10,12988,13027,144,115,111,99,107,101,116, + 58,97,99,99,101,112,116,0,1,4,2049,12910,10,13010,13050,144,115,111,99,107, + 101,116,58,99,111,110,110,101,99,116,0,1,5,2049,12910,10,13032,13070,144,115, + 111,99,107,101,116,58,115,101,110,100,0,1,6,2049,12910,10,13055,13090,144,115, + 111,99,107,101,116,58,114,101,99,118,0,1,8,2049,12910,10,13075,13111,144,115, + 111,99,107,101,116,58,99,108,111,115,101,0,1,10,2049,12910,10,13095,13136,144, + 115,111,99,107,101,116,58,99,111,110,102,105,103,117,114,101,0,1,11,2049, + 12910,10,13116,1024,131,84,73,66,0,13141,13162,144,105,109,97,103,101,58,115,97, + 118,101,0,1,1000,2049,9009,2049,8992,10,13148,13181,131,75,101,121,98,111,97,114, + 100,0,0,13169,13194,144,105,100,101,110,116,105,102,121,0,3841,13181,2049,2533,1793, + 13261,1,1,2049,9009,2,2049,2568,1793,13249,3,2049,3636,73,79,32,68,69,86,73, + 67,69,32,84,89,80,69,32,48,48,48,49,32,78,79,84,32,70,79,85, + 78,68,0,1,13212,2049,9105,2049,9068,10,1,13209,1793,13256,4097,13181,10,1,13253,2049, + 64,10,1,13200,9,10,13148,13274,144,99,58,103,101,116,0,2049,13194,3841,13181,2049, + 8992,10,13265,13291,144,103,97,116,104,101,114,0,2,1793,13298,1,8,11,10,1, + 13294,1793,13306,1,127,11,10,1,13302,2049,2128,22,1,11,1,3326,2049,64,10,13281, + 13327,144,99,121,99,108,101,0,2049,13274,2049,2096,4,8,2049,2465,25,3,2049,13291, + 1,13327,7,10,13265,13358,144,112,97,114,115,101,45,117,110,116,105,108,0,1793, + 13370,2049,3617,2049,3418,2049,13327,771,2049,3292,10,1,13360,2049,3442,10,13343,13384,144,115, + 58,103,101,116,0,1793,13406,1793,13392,1,10,11,10,1,13388,1793,13400,1,13,11, + 10,1,13396,2049,2128,22,10,1,13386,2049,13358,10,13375,13425,144,115,58,103,101,116, + 45,119,111,114,100,0,1,5472,2049,13358,10,13411,13443,131,83,99,114,105,112,116, + 105,110,103,0,7,13430,13456,144,105,100,101,110,116,105,102,121,0,3841,13443,2049, + 2533,1793,13523,1,9,2049,9009,2,2049,2568,1793,13511,3,2049,3636,73,79,32,68,69, + 86,73,67,69,32,84,89,80,69,32,48,48,48,57,32,78,79,84,32,70, + 79,85,78,68,0,1,13474,2049,9105,2049,9068,10,1,13471,1793,13518,4097,13443,10,1, + 13515,2049,64,10,1,13462,9,10,13411,13539,144,115,121,115,58,97,114,103,99,0, + 2049,13456,1,0,3841,13443,2049,8992,10,13527,13560,144,115,121,115,58,97,114,103,118, + 0,2049,3617,4,2049,13456,1,1,3841,13443,2049,8992,10,13548,13583,144,105,110,99,108, + 117,100,101,0,2049,13456,1,2,3841,13443,2049,8992,10,13572,13604,144,115,121,115,58, + 110,97,109,101,0,2049,3617,2049,13456,1,3,3841,13443,2049,8992,10,13592,13624,144,99, + 108,101,97,114,0,1,27,2049,9055,2049,3636,91,50,74,0,1,13630,2049,9105,1, + 27,2049,9055,2049,3636,91,48,59,48,72,0,1,13644,2049,9105,10,13615,13665,131,78, + 111,69,99,104,111,0,0,13655,13673,144,98,121,101,0,1,0,2049,12223,10,13666, + 13689,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10,13678,13704,144,100, + 111,110,101,63,0,1793,13710,1,13,11,10,1,13706,1793,13718,1,10,11,10,1, + 13714,1793,13726,1,32,11,10,1,13722,2049,2165,22,22,10,13695,13743,144,118,97,108, + 105,100,63,0,2,2049,79,2049,2615,10,13733,13762,144,99,104,101,99,107,45,101, + 111,102,0,2,1793,13769,1,-1,11,10,1,13765,1793,13777,1,4,11,10,1,13773, + 2049,2128,22,1,13673,9,10,13749,13792,144,98,115,0,2049,3350,2049,3350,771,10,13786, + 13810,144,99,104,101,99,107,45,98,115,0,2,1793,13817,1,8,11,10,1,13813, + 1793,13825,1,127,11,10,1,13821,2049,2128,22,1,13792,9,10,13798,13843,144,99,104, + 101,99,107,0,2049,13762,2049,13810,10,13834,13861,144,99,104,97,114,97,99,116,101, + 114,0,2049,13274,2,2049,3326,10,13848,13877,144,98,117,102,102,101,114,0,1793,13887, + 1,1024,2049,3418,8,2049,3292,10,1,13879,2049,3442,10,13867,13906,144,114,101,97,100, + 45,116,111,107,101,110,0,1793,13922,1793,13917,2049,13861,2049,13843,2049,13704,10,1,13910, + 2049,2256,10,1,13908,2049,13877,2049,3714,10,13892,13938,144,105,110,112,117,116,0,2049, + 13906,2049,13743,10,13929,13954,144,112,114,111,99,101,115,115,0,1,365,1,11,2049, + 64,10,13666,13971,144,98,97,110,110,101,114,0,2049,13689,2049,3636,82,69,84,82, + 79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1,13975,2049,7092,2049, + 9105,2049,1543,2049,1877,18,2049,1877,2049,1543,2049,3636,37,110,32,77,97,120,44,32, + 37,110,32,85,115,101,100,44,32,37,110,32,70,114,101,101,92,110,0,1, + 14011,2049,7092,2049,9105,10,13961,14055,144,108,105,115,116,101,110,0,3841,13665,1793,14062, + 2049,13971,10,1,14059,2049,70,2049,13938,2049,13954,1,14066,7,10,14045,14083,131,67,108, + 111,99,107,0,0,14074,14096,144,105,100,101,110,116,105,102,121,0,3841,14083,2049, + 2533,1793,14163,1,5,2049,9009,2,2049,2568,1793,14151,3,2049,3636,73,79,32,68,69, + 86,73,67,69,32,84,89,80,69,32,48,48,48,53,32,78,79,84,32,70, + 79,85,78,68,0,1,14114,2049,9105,2049,9068,10,1,14111,1793,14158,4097,14083,10,1, + 14155,2049,64,10,1,14102,9,10,14045,14189,144,105,111,58,99,108,111,99,107,45, + 111,112,101,114,97,116,105,111,110,0,2049,14096,3841,14083,2049,8992,10,14167,14215,144, + 99,108,111,99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14189, + 10,14196,14233,144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14189,10,14220, + 14253,144,99,108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14189,10,14238, + 14272,144,99,108,111,99,107,58,121,101,97,114,0,1,3,2049,14189,10,14258,14291, + 144,99,108,111,99,107,58,104,111,117,114,0,1,4,2049,14189,10,14277,14312,144, + 99,108,111,99,107,58,109,105,110,117,116,101,0,1,5,2049,14189,10,14296,14333, + 144,99,108,111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14189,10,14317, + 14355,144,99,108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14189, + 10,14338,14379,144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,104,0, + 1,8,2049,14189,10,14360,14402,144,99,108,111,99,107,58,117,116,99,58,121,101, + 97,114,0,1,9,2049,14189,10,14384,14425,144,99,108,111,99,107,58,117,116,99, + 58,104,111,117,114,0,1,10,2049,14189,10,14407,14450,144,99,108,111,99,107,58, + 117,116,99,58,109,105,110,117,116,101,0,1,11,2049,14189,10,14430,14475,144,99, + 108,111,99,107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14189, + 10,14455,14491,144,100,58,119,111,114,100,115,0,1793,14500,2049,162,2049,9105,2049,9079, + 10,1,14493,2049,7321,10,14480,14521,144,100,58,119,111,114,100,115,45,119,105,116, + 104,0,2049,1877,2049,4528,1793,14552,2049,162,2,2049,1877,2049,4179,1793,14541,2049,9105,2049, + 9079,10,1,14536,1793,14547,3,10,1,14545,2049,64,10,1,14527,2049,7321,10,14505,14576, + 144,100,105,115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1877, + 2049,4478,1793,14588,2049,9105,2049,9079,10,1,14583,1793,14594,3,10,1,14592,2049,64,10, + 14505,14625,144,100,58,119,111,114,100,115,45,98,101,103,105,110,110,105,110,103, + 45,119,105,116,104,0,2049,1877,2049,4528,1793,14636,2049,162,2049,14576,10,1,14631,2049, + 7321,10,14599,14651,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105, + 10,14641,14677,144,105,110,118,97,108,105,100,45,110,97,109,101,63,0,2,1, + 32,2049,3986,10,14660,14694,144,114,101,119,114,105,116,101,0,1793,14708,1,32,1793, + 14703,1,95,10,1,14700,2049,2379,10,1,14696,2049,4349,10,14683,14722,144,101,110,116, + 114,121,0,2049,1877,1,21,2049,2106,4097,2,10,1793,14750,1793,14745,2049,14651,2049,14677, + 1,14694,9,2049,119,10,1,14735,2049,14722,10,1,14733,0 };