crc/retroforth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

retro.forth: remove use of a variable in io:scan-for

Browse source 
FossilOrigin-Name: 1daa20ac3ac7f4c51fa57425c37b28c000bb7f2e844fe4ac906bc730fa0cf003
This commit is contained in:
crc 2020-02-13 13:41:01 +00:00
parent 8f28295b80
commit be3ae735e6
3 changed files with 298 additions and 304 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
image/retro.forth
View file

@ -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<with-index>
drop @Slot ;
}}
:io:scan-for (n-m)
#-1 swap
io:enumerate [ I io:query nip over eq?
[ [ drop I ] dip ] if ] times<with-index> drop ;
~~~
A Retro system is only required to provide a single I/O word to

BIN
ngaImage
View file

Binary file not shown.

588
vm/nga-c/retro-image.c
View file

@ -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 };