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

retro.forth: use assembly w/dump-stack, more comments

Browse source 
FossilOrigin-Name: 3273eb20543f8529bc303edc3f5c17d74bc5fad797ce09d24f2b182b57608bee
This commit is contained in:
crc 2020-02-13 17:43:06 +00:00
parent 1f000ccd3b
commit 3571de5ee0
4 changed files with 793 additions and 776 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
image/retro.forth
View file

@ -1456,8 +1456,19 @@ and return a new value.
&swap dip a:for-each ;
~~~
`a:index-of` builds on these to return the offset of a value in the
array.
`a:index-of` and `a:index-of-string` build on these to return
the offset of a value in the array, or -1 if the value wasn't
found.
Specifically:
- use `curry` to create a comparator function
- apply this to each item in the array using `a:map`
- find the first TRUE value in the resulting array
The `identify` part of this is a little complex due to me avoiding
using a variable for the flag/offset value, but it's pretty clean
overall.
~~~
{{
@ -1509,6 +1520,9 @@ and `a:middle`.
}}
~~~
For comparing arrays, use `a:eq?`. This is written in assembly
to aid in performance and reduce size.
~~~
{{
'Flag var
@ -1618,6 +1632,9 @@ next word, `times<with-index>` adds this to RETRO. It also
provides `I`, `J`, and `K` words to access the index of the
current, and up to two outer loops as well.
This supports up to 32 levels of nesting; increase the size
of `Index` if you need more than this.
~~~
{{
'LP var
@ -1709,7 +1726,7 @@ provide much more than I can do here.
~~~
:reset (...-) repeat depth 0; drop-pair again ;
:dump-stack (-) depth 0; drop push dump-stack pop dup n:put sp ;
:dump-stack (-) depth 0; \drpulica ^dump-stack \podulica ^n:put sp ;
~~~
~~~

BIN
ngaImage
View file

Binary file not shown.

976
vm/nga-c-native-x86/image.c
View file

File diff suppressed because it is too large Load diff

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

@ -2,8 +2,8 @@
#ifndef CELL
#define CELL int32_t
#endif
CELL ngaImageCells = 14750;
CELL ngaImage[] = { 1793,14052,14596,14749,202004,0,10,1,10,2,10,3,10,4,10,5,10,6,10,
CELL ngaImageCells = 14746;
CELL ngaImage[] = { 1793,14048,14592,14745,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,14052,14596,14749,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,14730,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13145,1025,
1,659713,2,659713,3,1793,14726,2,524559,105,2049,105,2049,105,2049,119,168820998,2,13141,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,14052,14596,14749,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,14596,14596,10,3131,3153,144,123,123,0,2049,1570,2,1,3144,2049,
76,105,115,116,0,14592,14592,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,
@ -460,284 +460,284 @@ CELL ngaImage[] = { 1793,14052,14596,14749,202004,0,10,1,10,2,10,3,10,4,10,5,10,
9052,10,9070,9088,144,116,97,98,0,1,9,2049,9052,10,9081,9102,144,115,58,112,
117,116,0,1,9052,2049,3860,10,9093,9116,144,110,58,112,117,116,0,2049,5917,2049,
9102,10,9107,9130,144,114,101,115,101,116,0,2049,1556,25,771,1,9130,7,10,9121,
9152,144,100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,3,5,2049,9152,
6,2,2049,9116,2049,9076,10,9138,9174,144,70,82,69,69,0,2049,3507,1,1025,18,
2049,1877,18,10,9166,9192,131,70,105,108,101,115,0,0,9183,9205,144,105,100,101,
110,116,105,102,121,0,3841,9192,2049,2533,1793,9272,1,4,2049,9006,2,2049,2568,1793,
9260,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,9223,2049,9102,2049,9065,
10,1,9220,1793,9267,4097,9192,10,1,9264,2049,64,10,1,9211,9,10,9166,9297,144,
105,111,58,102,105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9205,
3841,9192,2049,8989,10,9276,0,131,102,105,108,101,58,82,0,9304,1,131,102,105,
108,101,58,87,0,9314,2,131,102,105,108,101,58,65,0,9324,3,131,102,105,
108,101,58,82,43,0,9334,9358,144,102,105,108,101,58,111,112,101,110,0,1,
0,2049,9297,10,9345,9377,144,102,105,108,101,58,99,108,111,115,101,0,1,1,
2049,9297,10,9363,9395,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9297,
10,9382,9414,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9297,10,
9400,9432,144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9297,10,9419,9450,
144,102,105,108,101,58,115,101,101,107,0,1,5,2049,9297,10,9437,9468,144,102,
105,108,101,58,115,105,122,101,0,1,6,2049,9297,10,9455,9488,144,102,105,108,
101,58,100,101,108,101,116,101,0,1,7,2049,9297,10,9473,9507,144,102,105,108,
101,58,102,108,117,115,104,0,1,8,2049,9297,10,9493,9528,144,102,105,108,101,
58,101,120,105,115,116,115,63,0,1,0,2049,9358,2,2049,2549,1793,9542,2049,9377,
2049,2356,10,1,9537,1793,9550,3,2049,2368,10,1,9546,2049,64,10,9512,9581,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,9358,2,2049,9468,4,10,9555,9615,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,9358,
2,2049,9468,4,10,9590,9650,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,9358,10,9624,9662,131,70,
73,68,0,0,9655,9671,131,83,105,122,101,0,0,9663,9682,131,65,99,116,105,
111,110,0,0,9672,9693,131,66,117,102,102,101,114,0,0,9683,9703,144,45,101,
111,102,63,0,3841,9662,2049,9432,3841,9671,13,10,9694,9723,144,112,114,101,115,101,
114,118,101,0,1,9662,1793,9734,1,9671,1,21,2049,3069,10,1,9727,2049,3069,10,
9624,9757,144,102,105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9662,
1793,9814,2049,1877,2,4097,9693,2049,3418,1793,9806,3841,9662,2049,9395,2,2049,3326,1793,9783,
1,13,11,10,1,9779,1793,9791,1,10,11,10,1,9787,1793,9799,1,0,11,10,
1,9795,2049,2165,22,22,10,1,9770,2049,2256,2049,3350,3,10,1,9761,2049,3442,3841,
9693,10,9739,9843,144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,
105,110,101,0,1793,9874,4097,9682,2049,9581,4097,9662,4097,9671,1793,9865,3841,9662,2049,9757,
3841,9682,8,2049,9703,10,1,9855,2049,2233,3841,9662,2049,9377,10,1,9845,2049,9723,10,
9821,9886,131,70,73,68,0,0,9821,9901,144,102,105,108,101,58,115,108,117,114,
112,0,1793,9928,4,2049,3418,2049,9581,4097,9886,1793,9919,3841,9886,2049,9395,2049,3326,10,
1,9912,2049,2281,3841,9886,2049,9377,10,1,9903,2049,3442,10,9887,9946,144,102,105,108,
101,58,115,112,101,119,0,2049,9650,4,1793,9955,67502597,2049,9414,10,1,9951,2049,3860,
2049,9377,10,9933,9969,131,70,80,85,0,0,9962,9982,144,105,100,101,110,116,105,
102,121,0,3841,9969,2049,2533,1793,10049,1,2,2049,9006,2,2049,2568,1793,10037,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,10000,2049,9102,2049,9065,10,1,9997,
1793,10044,4097,9969,10,1,10041,2049,64,10,1,9988,9,10,9933,10075,144,105,111,58,
102,108,111,97,116,45,111,112,101,114,97,116,105,111,110,0,2049,9982,3841,9969,
2049,8989,10,10053,10096,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,
10075,10,10082,10115,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10075,
10,10101,10135,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10075,
10,10120,10155,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3617,2,1,
3,2049,10075,10,10140,10170,144,102,58,43,0,1,4,2049,10075,10,10163,10182,144,102,
58,45,0,1,5,2049,10075,10,10175,10194,144,102,58,42,0,1,6,2049,10075,10,
10187,10206,144,102,58,47,0,1,7,2049,10075,10,10199,10222,144,102,58,102,108,111,
111,114,0,1,8,2049,10075,10,10211,10240,144,102,58,99,101,105,108,105,110,103,
0,1,9,2049,10075,10,10227,10255,144,102,58,115,113,114,116,0,1,10,2049,10075,
10,10245,10269,144,102,58,101,113,63,0,1,11,2049,10075,10,10260,10284,144,102,58,
45,101,113,63,0,1,12,2049,10075,10,10274,10298,144,102,58,108,116,63,0,1,
13,2049,10075,10,10289,10312,144,102,58,103,116,63,0,1,14,2049,10075,10,10303,10328,
144,102,58,100,101,112,116,104,0,1,15,2049,10075,10,10317,10342,144,102,58,100,
117,112,0,1,16,2049,10075,10,10333,10357,144,102,58,100,114,111,112,0,1,17,
2049,10075,10,10347,10372,144,102,58,115,119,97,112,0,1,18,2049,10075,10,10362,10386,
144,102,58,108,111,103,0,1,19,2049,10075,10,10377,10402,144,102,58,112,111,119,
101,114,0,1,20,2049,10075,10,10391,10416,144,102,58,115,105,110,0,1,21,2049,
10075,10,10407,10430,144,102,58,99,111,115,0,1,22,2049,10075,10,10421,10444,144,102,
58,116,97,110,0,1,23,2049,10075,10,10435,10459,144,102,58,97,115,105,110,0,
1,24,2049,10075,10,10449,10474,144,102,58,97,99,111,115,0,1,25,2049,10075,10,
10464,10489,144,102,58,97,116,97,110,0,1,26,2049,10075,10,10479,10504,144,102,58,
112,117,115,104,0,1,27,2049,10075,10,10494,10518,144,102,58,112,111,112,0,1,
28,2049,10075,10,10509,10535,144,102,58,97,100,101,112,116,104,0,1,29,2049,10075,
10,10523,10552,144,102,58,115,113,117,97,114,101,0,2049,10342,2049,10194,10,10540,10567,
144,102,58,111,118,101,114,0,2049,10504,2049,10342,2049,10518,2049,10372,10,10557,10586,144,
102,58,116,117,99,107,0,2049,10342,2049,10504,2049,10372,2049,10518,10,10576,10604,144,102,
58,110,105,112,0,2049,10372,2049,10357,10,10595,10624,144,102,58,100,114,111,112,45,
112,97,105,114,0,2049,10357,2049,10357,10,10609,10643,144,102,58,100,117,112,45,112,
97,105,114,0,2049,10567,2049,10567,10,10629,10657,144,102,58,114,111,116,0,2049,10504,
2049,10372,2049,10518,2049,10372,10,10648,10681,144,102,58,112,111,115,105,116,105,118,101,
63,0,1,0,2049,10096,2049,10312,10,10666,10703,144,102,58,110,101,103,97,116,105,
118,101,63,0,1,0,2049,10096,2049,10298,10,10688,10722,144,102,58,110,101,103,97,
116,101,0,1,-1,2049,10096,2049,10194,10,10710,10738,144,102,58,97,98,115,0,2049,
10342,2049,10703,1,10722,9,10,10729,10758,156,112,114,101,102,105,120,58,46,0,2049,
1818,1,3662,1,3591,2049,64,1,10115,2049,144,10,10746,10780,144,102,58,112,117,116,
0,2049,10155,2049,9102,10,10771,10793,144,102,58,80,73,0,2049,3636,51,46,49,52,
49,53,57,50,0,1,10795,2049,10115,10,10785,10816,144,102,58,69,0,2049,3636,50,
46,55,49,56,50,56,49,0,1,10818,2049,10115,10,10809,10841,144,102,58,78,65,
78,0,2049,3636,48,0,1,10843,2049,10115,2049,3636,48,0,1,10851,2049,10115,2049,10206,
10,10832,10869,144,102,58,73,78,70,0,2049,3636,49,46,48,0,1,10871,2049,10115,
2049,3636,48,0,1,10881,2049,10115,2049,10206,10,10860,10900,144,102,58,45,73,78,70,
0,2049,3636,45,49,46,48,0,1,10902,2049,10115,2049,3636,48,0,1,10913,2049,10115,
2049,10206,10,10890,10932,144,102,58,110,97,110,63,0,2049,10342,2049,10284,10,10922,10947,
144,102,58,105,110,102,63,0,2049,10869,2049,10269,10,10937,10963,144,102,58,45,105,
110,102,63,0,2049,10900,2049,10269,10,10952,10979,144,102,58,114,111,117,110,100,0,
2049,10342,2049,10703,1793,11000,2049,3636,48,46,53,0,1,10987,2049,10115,2049,10182,2049,10240,
10,1,10985,1793,11019,2049,3636,48,46,53,0,1,11006,2049,10115,2049,10170,2049,10222,10,
1,11004,2049,64,10,10968,11033,144,102,58,109,105,110,0,2049,10643,2049,10298,1,10357,
1,10604,2049,64,10,11024,11053,144,102,58,109,97,120,0,2049,10643,2049,10312,1,10357,
1,10604,2049,64,10,11044,11075,144,102,58,108,105,109,105,116,0,2049,10372,2049,10504,
2049,11033,2049,10518,2049,11053,10,11064,11100,144,102,58,98,101,116,119,101,101,110,63,
0,2049,10657,2049,10342,2049,10504,2049,10657,2049,10657,2049,11075,2049,10518,2049,10269,10,11086,11126,
144,102,58,105,110,99,0,2049,3636,49,0,1,11128,2049,10115,2049,10170,10,11117,11146,
144,102,58,100,101,99,0,2049,3636,49,0,1,11148,2049,10115,2049,10182,10,11137,11167,
144,102,58,99,97,115,101,0,2049,10567,2049,10269,1793,11179,2049,10357,8,1,-1,10,
1,11173,1793,11187,3,1,0,10,1,11183,2049,64,25,6,771,10,11157,11205,144,102,
58,115,105,103,110,0,2049,10342,2049,3636,48,0,1,11209,2049,10115,2049,10269,1793,11224,
1,0,2049,10357,10,1,11219,2049,2659,2049,3636,48,0,1,11230,2049,10115,2049,10312,1793,
11243,1,1,10,1,11240,1793,11250,1,-1,10,1,11247,2049,64,10,11195,2147483645,131,101,
58,77,65,88,0,11255,-2147483645,131,101,58,77,73,78,0,11264,-2147483647,131,101,58,78,
65,78,0,11273,2147483646,131,101,58,73,78,70,0,11282,-2147483646,131,101,58,45,73,78,
70,0,11291,11309,144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,
10,11301,11330,144,101,58,109,97,120,63,0,1,2147483645,11,10,11320,11344,144,101,58,
109,105,110,63,0,1,-2147483645,11,10,11334,11359,144,101,58,122,101,114,111,63,0,
2049,2533,10,11348,11372,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11362,11386,144,
101,58,105,110,102,63,0,1,2147483646,11,10,11376,11401,144,101,58,45,105,110,102,
63,0,1,-2147483646,11,10,11390,11415,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,
2049,2863,10,11405,11430,144,102,58,69,49,0,1793,11432,2049,3636,49,46,101,53,0,
1,11434,2049,10115,10,11422,11456,144,102,58,45,115,104,105,102,116,0,2049,11430,2049,
10194,10,11444,11473,144,102,58,43,115,104,105,102,116,0,2049,11430,2049,10206,10,11461,
11495,144,102,58,115,105,103,110,101,100,45,115,113,114,116,0,2049,10342,2049,11205,
2049,10738,2049,10255,2049,10096,2049,10194,10,11478,11521,144,102,58,43,101,110,99,111,100,
101,0,2049,11495,2049,11456,10,11508,11539,144,102,58,45,101,110,99,111,100,101,0,
2049,10342,2049,11205,2049,11473,2049,10342,2049,10194,2049,10096,2049,10194,10,11526,11573,144,102,58,
115,105,103,110,101,100,45,115,113,117,97,114,101,0,2049,10342,2049,11205,2049,10342,
2049,10194,2049,10096,2049,10194,10,11554,11596,144,102,58,116,111,45,101,0,2049,10342,2049,
10932,1793,11607,2049,10357,1,-2147483647,10,1,11602,2049,2659,2049,10342,2049,10947,1793,11622,2049,10357,
1,2147483646,10,1,11617,2049,2659,2049,10342,2049,10963,1793,11637,2049,10357,1,-2147483646,10,1,11632,
2049,2659,2049,11521,2049,10979,2049,10135,2049,11415,1,-2147483645,1793,11656,2049,10357,10,1,11653,2049,
2379,1,2147483645,1793,11667,2049,10357,10,1,11664,2049,2379,10,11586,11682,144,101,58,116,111,
45,102,0,1,-2147483647,1793,11689,2049,10841,10,1,11686,2049,2379,1,2147483646,1793,11700,2049,10869,
10,1,11697,2049,2379,1,-2147483646,1793,11711,2049,10900,10,1,11708,2049,2379,2049,10096,2049,11539,
10,11672,11731,144,102,58,115,116,111,114,101,0,1793,11736,2049,11596,10,1,11733,2049,
2106,16,10,11720,11753,144,102,58,102,101,116,99,104,0,15,2049,11682,10,11742,11773,
144,102,58,100,117,109,112,45,115,116,97,99,107,0,2049,10328,2,1,10504,2049,
2281,1793,11791,2049,10518,2049,10342,2049,10780,2049,9076,10,1,11782,2049,2281,10,11757,11813,144,
102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,10535,2,1,10518,2049,
2281,1793,11831,2049,10342,2049,10780,2049,9076,2049,10504,10,1,11822,2049,2281,10,11796,11845,144,
101,58,112,117,116,0,1,2147483645,1793,11862,2049,3636,101,58,77,65,88,0,1,11851,
2049,9102,10,1,11849,2049,2379,1,-2147483645,1793,11883,2049,3636,101,58,77,73,78,0,1,
11872,2049,9102,10,1,11870,2049,2379,1,0,1793,11902,2049,3636,101,58,48,0,1,11893,
2049,9102,10,1,11891,2049,2379,1,-2147483647,1793,11923,2049,3636,101,58,78,65,78,0,1,
11912,2049,9102,10,1,11910,2049,2379,1,2147483646,1793,11944,2049,3636,101,58,73,78,70,0,
1,11933,2049,9102,10,1,11931,2049,2379,1,-2147483646,1793,11966,2049,3636,101,58,45,73,78,
70,0,1,11954,2049,9102,10,1,11952,2049,2379,2049,11682,2049,10780,10,11836,11983,131,85,
110,105,120,0,0,11975,11996,144,105,100,101,110,116,105,102,121,0,3841,11983,2049,
2533,1793,12063,1,8,2049,9006,2,2049,2568,1793,12051,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,12014,2049,9102,2049,9065,10,1,12011,1793,12058,4097,11983,10,1,
12055,2049,64,10,1,12002,9,10,11836,12086,144,105,111,58,117,110,105,120,45,115,
121,115,99,97,108,108,0,2049,11996,3841,11983,2049,8989,10,12067,12108,144,117,110,105,
120,58,115,121,115,116,101,109,0,1,0,2049,12086,10,12093,12126,144,117,110,105,
120,58,102,111,114,107,0,1,1,2049,12086,10,12113,12145,144,117,110,105,120,58,
101,120,101,99,48,0,1,2,2049,12086,10,12131,12164,144,117,110,105,120,58,101,
120,101,99,49,0,1,3,2049,12086,10,12150,12183,144,117,110,105,120,58,101,120,
101,99,50,0,1,4,2049,12086,10,12169,12202,144,117,110,105,120,58,101,120,101,
99,51,0,1,5,2049,12086,10,12188,12220,144,117,110,105,120,58,101,120,105,116,
0,1,6,2049,12086,10,12207,12240,144,117,110,105,120,58,103,101,116,112,105,100,
0,1,7,2049,12086,10,12225,12258,144,117,110,105,120,58,119,97,105,116,0,1,
8,2049,12086,10,12245,12276,144,117,110,105,120,58,107,105,108,108,0,1,9,2049,
12086,10,12263,12295,144,117,110,105,120,58,112,111,112,101,110,0,1,10,2049,12086,
10,12281,12315,144,117,110,105,120,58,112,99,108,111,115,101,0,1,11,2049,12086,
10,12300,12334,144,117,110,105,120,58,99,104,100,105,114,0,1,13,2049,12086,10,
12320,12354,144,117,110,105,120,58,103,101,116,101,110,118,0,1,14,2049,12086,10,
12339,12374,144,117,110,105,120,58,112,117,116,101,110,118,0,1,15,2049,12086,10,
12359,12393,144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049,12086,10,12379,
12414,144,117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3636,112,119,100,
0,1,12416,1,0,2049,12295,2,2049,9757,2049,5867,4,2049,12315,2049,3636,47,0,1,
12436,2049,3842,10,12398,12470,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,12472,1,0,2049,12295,2,2049,9757,2049,5867,2049,218,
4,2049,12315,10,12443,12525,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,12527,1,
0,2049,12295,2049,12470,1793,12560,1793,12555,2049,9757,2049,3591,67502597,8,10,1,12548,2049,2116,
10,1,12546,2049,2281,2049,12315,3,10,12503,12577,144,115,116,97,114,116,0,4,2049,
3418,1,0,2049,12295,10,12568,12593,144,114,101,97,100,0,2,2049,9395,2,2049,3326,
2049,2533,10,12585,12612,144,102,105,110,105,115,104,0,2049,12315,2049,3398,10,12503,12636,
144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,101,0,1793,12652,2049,
12577,1793,12645,2049,12593,10,1,12642,2049,2256,2049,12612,10,1,12638,2049,3442,10,12617,12663,
131,105,111,0,0,12657,12676,144,105,100,101,110,116,105,102,121,0,3841,12663,2049,
2533,1793,12743,1,10,2049,9006,2,2049,2568,1793,12731,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,12694,2049,9102,2049,9065,10,1,12691,1793,12738,4097,12663,10,1,
12735,2049,64,10,1,12682,9,10,12617,12767,144,105,111,58,114,110,103,45,111,112,
101,114,97,116,105,111,110,0,2049,12676,3841,12663,2049,8989,10,12747,12786,144,110,58,
114,97,110,100,111,109,0,2049,12767,10,12774,12800,131,83,111,99,107,101,116,115,
0,0,12789,12813,144,105,100,101,110,116,105,102,121,0,3841,12800,2049,2533,1793,12880,
1,7,2049,9006,2,2049,2568,1793,12868,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,12831,2049,9102,2049,9065,10,1,12828,1793,12875,4097,12800,10,1,12872,2049,64,
10,1,12819,9,10,12774,12907,144,105,111,58,115,111,99,107,101,116,45,111,112,
101,114,97,116,105,111,110,0,2049,12813,3841,12800,2049,8989,10,12884,12938,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,12907,10,12914,12960,144,115,111,99,107,101,116,58,99,114,101,97,116,101,
0,1,1,2049,12907,10,12943,12980,144,115,111,99,107,101,116,58,98,105,110,100,
0,1,2,2049,12907,10,12965,13002,144,115,111,99,107,101,116,58,108,105,115,116,
101,110,0,1,3,2049,12907,10,12985,13024,144,115,111,99,107,101,116,58,97,99,
99,101,112,116,0,1,4,2049,12907,10,13007,13047,144,115,111,99,107,101,116,58,
99,111,110,110,101,99,116,0,1,5,2049,12907,10,13029,13067,144,115,111,99,107,
101,116,58,115,101,110,100,0,1,6,2049,12907,10,13052,13087,144,115,111,99,107,
101,116,58,114,101,99,118,0,1,8,2049,12907,10,13072,13108,144,115,111,99,107,
101,116,58,99,108,111,115,101,0,1,10,2049,12907,10,13092,13133,144,115,111,99,
107,101,116,58,99,111,110,102,105,103,117,114,101,0,1,11,2049,12907,10,13113,
1024,131,84,73,66,0,13138,13159,144,105,109,97,103,101,58,115,97,118,101,0,
1,1000,2049,9006,2049,8989,10,13145,13178,131,75,101,121,98,111,97,114,100,0,0,
13166,13191,144,105,100,101,110,116,105,102,121,0,3841,13178,2049,2533,1793,13258,1,1,
2049,9006,2,2049,2568,1793,13246,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,13209,2049,9102,2049,9065,10,1,13206,1793,13253,4097,13178,10,1,13250,2049,64,10,1,
13197,9,10,13145,13271,144,99,58,103,101,116,0,2049,13191,3841,13178,2049,8989,10,13262,
13288,144,103,97,116,104,101,114,0,2,1793,13295,1,8,11,10,1,13291,1793,13303,
1,127,11,10,1,13299,2049,2128,22,1,11,1,3326,2049,64,10,13278,13324,144,99,
121,99,108,101,0,2049,13271,2049,2096,4,8,2049,2465,25,3,2049,13288,1,13324,7,
10,13262,13355,144,112,97,114,115,101,45,117,110,116,105,108,0,1793,13367,2049,3617,
2049,3418,2049,13324,771,2049,3292,10,1,13357,2049,3442,10,13340,13381,144,115,58,103,101,
116,0,1793,13403,1793,13389,1,10,11,10,1,13385,1793,13397,1,13,11,10,1,13393,
2049,2128,22,10,1,13383,2049,13355,10,13372,13422,144,115,58,103,101,116,45,119,111,
114,100,0,1,5469,2049,13355,10,13408,13440,131,83,99,114,105,112,116,105,110,103,
0,7,13427,13453,144,105,100,101,110,116,105,102,121,0,3841,13440,2049,2533,1793,13520,
1,9,2049,9006,2,2049,2568,1793,13508,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,13471,2049,9102,2049,9065,10,1,13468,1793,13515,4097,13440,10,1,13512,2049,64,
10,1,13459,9,10,13408,13536,144,115,121,115,58,97,114,103,99,0,2049,13453,1,
0,3841,13440,2049,8989,10,13524,13557,144,115,121,115,58,97,114,103,118,0,2049,3617,
4,2049,13453,1,1,3841,13440,2049,8989,10,13545,13580,144,105,110,99,108,117,100,101,
0,2049,13453,1,2,3841,13440,2049,8989,10,13569,13601,144,115,121,115,58,110,97,109,
101,0,2049,3617,2049,13453,1,3,3841,13440,2049,8989,10,13589,13621,144,99,108,101,97,
114,0,1,27,2049,9052,2049,3636,91,50,74,0,1,13627,2049,9102,1,27,2049,9052,
2049,3636,91,48,59,48,72,0,1,13641,2049,9102,10,13612,13662,131,78,111,69,99,
104,111,0,0,13652,13670,144,98,121,101,0,1,0,2049,12220,10,13663,13686,144,118,
101,114,115,105,111,110,0,3841,4,1,100,20,10,13675,13701,144,100,111,110,101,
63,0,1793,13707,1,13,11,10,1,13703,1793,13715,1,10,11,10,1,13711,1793,13723,
1,32,11,10,1,13719,2049,2165,22,22,10,13692,13740,144,118,97,108,105,100,63,
0,2,2049,79,2049,2615,10,13730,13759,144,99,104,101,99,107,45,101,111,102,0,
2,1793,13766,1,-1,11,10,1,13762,1793,13774,1,4,11,10,1,13770,2049,2128,22,
1,13670,9,10,13746,13789,144,98,115,0,2049,3350,2049,3350,771,10,13783,13807,144,99,
104,101,99,107,45,98,115,0,2,1793,13814,1,8,11,10,1,13810,1793,13822,1,
127,11,10,1,13818,2049,2128,22,1,13789,9,10,13795,13840,144,99,104,101,99,107,
0,2049,13759,2049,13807,10,13831,13858,144,99,104,97,114,97,99,116,101,114,0,2049,
13271,2,2049,3326,10,13845,13874,144,98,117,102,102,101,114,0,1793,13884,1,1024,2049,
3418,8,2049,3292,10,1,13876,2049,3442,10,13864,13903,144,114,101,97,100,45,116,111,
107,101,110,0,1793,13919,1793,13914,2049,13858,2049,13840,2049,13701,10,1,13907,2049,2256,10,
1,13905,2049,13874,2049,3714,10,13889,13935,144,105,110,112,117,116,0,2049,13903,2049,13740,
10,13926,13951,144,112,114,111,99,101,115,115,0,1,365,1,11,2049,64,10,13663,
13968,144,98,97,110,110,101,114,0,2049,13686,2049,3636,82,69,84,82,79,32,49,
50,32,40,37,110,46,37,110,41,92,110,0,1,13972,2049,7089,2049,9102,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,14008,2049,7089,
2049,9102,10,13958,14052,144,108,105,115,116,101,110,0,3841,13662,1793,14059,2049,13968,10,
1,14056,2049,70,2049,13935,2049,13951,1,14063,7,10,14042,14080,131,67,108,111,99,107,
0,0,14071,14093,144,105,100,101,110,116,105,102,121,0,3841,14080,2049,2533,1793,14160,
1,5,2049,9006,2,2049,2568,1793,14148,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,14111,2049,9102,2049,9065,10,1,14108,1793,14155,4097,14080,10,1,14152,2049,64,
10,1,14099,9,10,14042,14186,144,105,111,58,99,108,111,99,107,45,111,112,101,
114,97,116,105,111,110,0,2049,14093,3841,14080,2049,8989,10,14164,14212,144,99,108,111,
99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14186,10,14193,14230,
144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14186,10,14217,14250,144,99,
108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14186,10,14235,14269,144,99,
108,111,99,107,58,121,101,97,114,0,1,3,2049,14186,10,14255,14288,144,99,108,
111,99,107,58,104,111,117,114,0,1,4,2049,14186,10,14274,14309,144,99,108,111,
99,107,58,109,105,110,117,116,101,0,1,5,2049,14186,10,14293,14330,144,99,108,
111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14186,10,14314,14352,144,99,
108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14186,10,14335,14376,
144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049,
14186,10,14357,14399,144,99,108,111,99,107,58,117,116,99,58,121,101,97,114,0,
1,9,2049,14186,10,14381,14422,144,99,108,111,99,107,58,117,116,99,58,104,111,
117,114,0,1,10,2049,14186,10,14404,14447,144,99,108,111,99,107,58,117,116,99,
58,109,105,110,117,116,101,0,1,11,2049,14186,10,14427,14472,144,99,108,111,99,
107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14186,10,14452,14488,
144,100,58,119,111,114,100,115,0,1793,14497,2049,162,2049,9102,2049,9076,10,1,14490,
2049,7318,10,14477,14518,144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049,
1877,2049,4525,1793,14549,2049,162,2,2049,1877,2049,4210,1793,14538,2049,9102,2049,9076,10,1,
14533,1793,14544,3,10,1,14542,2049,64,10,1,14524,2049,7318,10,14502,14573,144,100,105,
115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1877,2049,4475,1793,
14585,2049,9102,2049,9076,10,1,14580,1793,14591,3,10,1,14589,2049,64,10,14502,14622,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,4525,1793,14633,2049,162,2049,14573,10,1,14628,2049,7318,10,14596,
14648,144,102,105,101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,14638,14674,
144,105,110,118,97,108,105,100,45,110,97,109,101,63,0,2,1,32,2049,3986,
10,14657,14691,144,114,101,119,114,105,116,101,0,1793,14705,1,32,1793,14700,1,95,
10,1,14697,2049,2379,10,1,14693,2049,4346,10,14680,14719,144,101,110,116,114,121,0,
2049,1877,1,21,2049,2106,4097,2,10,1793,14747,1793,14742,2049,14648,2049,14674,1,14691,9,
2049,119,10,1,14732,2049,14719,10,1,14730,0 };
9152,144,100,117,109,112,45,115,116,97,99,107,0,2049,1556,25,134284547,9152,134283782,9116,
2049,9076,10,9138,9170,144,70,82,69,69,0,2049,3507,1,1025,18,2049,1877,18,10,
9162,9188,131,70,105,108,101,115,0,0,9179,9201,144,105,100,101,110,116,105,102,
121,0,3841,9188,2049,2533,1793,9268,1,4,2049,9006,2,2049,2568,1793,9256,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,9219,2049,9102,2049,9065,10,1,9216,1793,
9263,4097,9188,10,1,9260,2049,64,10,1,9207,9,10,9162,9293,144,105,111,58,102,
105,108,101,45,111,112,101,114,97,116,105,111,110,0,2049,9201,3841,9188,2049,8989,
10,9272,0,131,102,105,108,101,58,82,0,9300,1,131,102,105,108,101,58,87,
0,9310,2,131,102,105,108,101,58,65,0,9320,3,131,102,105,108,101,58,82,
43,0,9330,9354,144,102,105,108,101,58,111,112,101,110,0,1,0,2049,9293,10,
9341,9373,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,9293,10,9359,
9391,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9293,10,9378,9410,144,
102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9293,10,9396,9428,144,102,
105,108,101,58,116,101,108,108,0,1,4,2049,9293,10,9415,9446,144,102,105,108,
101,58,115,101,101,107,0,1,5,2049,9293,10,9433,9464,144,102,105,108,101,58,
115,105,122,101,0,1,6,2049,9293,10,9451,9484,144,102,105,108,101,58,100,101,
108,101,116,101,0,1,7,2049,9293,10,9469,9503,144,102,105,108,101,58,102,108,
117,115,104,0,1,8,2049,9293,10,9489,9524,144,102,105,108,101,58,101,120,105,
115,116,115,63,0,1,0,2049,9354,2,2049,2549,1793,9538,2049,9373,2049,2356,10,1,
9533,1793,9546,3,2049,2368,10,1,9542,2049,64,10,9508,9577,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,9354,2,2049,9464,4,10,9551,9611,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,9354,2,2049,9464,4,
10,9586,9646,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,9354,10,9620,9658,131,70,73,68,0,0,
9651,9667,131,83,105,122,101,0,0,9659,9678,131,65,99,116,105,111,110,0,0,
9668,9689,131,66,117,102,102,101,114,0,0,9679,9699,144,45,101,111,102,63,0,
3841,9658,2049,9428,3841,9667,13,10,9690,9719,144,112,114,101,115,101,114,118,101,0,
1,9658,1793,9730,1,9667,1,21,2049,3069,10,1,9723,2049,3069,10,9620,9753,144,102,
105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,9658,1793,9810,2049,1877,
2,4097,9689,2049,3418,1793,9802,3841,9658,2049,9391,2,2049,3326,1793,9779,1,13,11,10,
1,9775,1793,9787,1,10,11,10,1,9783,1793,9795,1,0,11,10,1,9791,2049,2165,
22,22,10,1,9766,2049,2256,2049,3350,3,10,1,9757,2049,3442,3841,9689,10,9735,9839,
144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,101,0,
1793,9870,4097,9678,2049,9577,4097,9658,4097,9667,1793,9861,3841,9658,2049,9753,3841,9678,8,2049,
9699,10,1,9851,2049,2233,3841,9658,2049,9373,10,1,9841,2049,9719,10,9817,9882,131,70,
73,68,0,0,9817,9897,144,102,105,108,101,58,115,108,117,114,112,0,1793,9924,
4,2049,3418,2049,9577,4097,9882,1793,9915,3841,9882,2049,9391,2049,3326,10,1,9908,2049,2281,
3841,9882,2049,9373,10,1,9899,2049,3442,10,9883,9942,144,102,105,108,101,58,115,112,
101,119,0,2049,9646,4,1793,9951,67502597,2049,9410,10,1,9947,2049,3860,2049,9373,10,9929,
9965,131,70,80,85,0,0,9958,9978,144,105,100,101,110,116,105,102,121,0,3841,
9965,2049,2533,1793,10045,1,2,2049,9006,2,2049,2568,1793,10033,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,9996,2049,9102,2049,9065,10,1,9993,1793,10040,4097,9965,
10,1,10037,2049,64,10,1,9984,9,10,9929,10071,144,105,111,58,102,108,111,97,
116,45,111,112,101,114,97,116,105,111,110,0,2049,9978,3841,9965,2049,8989,10,10049,
10092,144,110,58,116,111,45,102,108,111,97,116,0,1,0,2049,10071,10,10078,10111,
144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,10071,10,10097,10131,144,
102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,10071,10,10116,10151,144,
102,58,116,111,45,115,116,114,105,110,103,0,2049,3617,2,1,3,2049,10071,10,
10136,10166,144,102,58,43,0,1,4,2049,10071,10,10159,10178,144,102,58,45,0,1,
5,2049,10071,10,10171,10190,144,102,58,42,0,1,6,2049,10071,10,10183,10202,144,102,
58,47,0,1,7,2049,10071,10,10195,10218,144,102,58,102,108,111,111,114,0,1,
8,2049,10071,10,10207,10236,144,102,58,99,101,105,108,105,110,103,0,1,9,2049,
10071,10,10223,10251,144,102,58,115,113,114,116,0,1,10,2049,10071,10,10241,10265,144,
102,58,101,113,63,0,1,11,2049,10071,10,10256,10280,144,102,58,45,101,113,63,
0,1,12,2049,10071,10,10270,10294,144,102,58,108,116,63,0,1,13,2049,10071,10,
10285,10308,144,102,58,103,116,63,0,1,14,2049,10071,10,10299,10324,144,102,58,100,
101,112,116,104,0,1,15,2049,10071,10,10313,10338,144,102,58,100,117,112,0,1,
16,2049,10071,10,10329,10353,144,102,58,100,114,111,112,0,1,17,2049,10071,10,10343,
10368,144,102,58,115,119,97,112,0,1,18,2049,10071,10,10358,10382,144,102,58,108,
111,103,0,1,19,2049,10071,10,10373,10398,144,102,58,112,111,119,101,114,0,1,
20,2049,10071,10,10387,10412,144,102,58,115,105,110,0,1,21,2049,10071,10,10403,10426,
144,102,58,99,111,115,0,1,22,2049,10071,10,10417,10440,144,102,58,116,97,110,
0,1,23,2049,10071,10,10431,10455,144,102,58,97,115,105,110,0,1,24,2049,10071,
10,10445,10470,144,102,58,97,99,111,115,0,1,25,2049,10071,10,10460,10485,144,102,
58,97,116,97,110,0,1,26,2049,10071,10,10475,10500,144,102,58,112,117,115,104,
0,1,27,2049,10071,10,10490,10514,144,102,58,112,111,112,0,1,28,2049,10071,10,
10505,10531,144,102,58,97,100,101,112,116,104,0,1,29,2049,10071,10,10519,10548,144,
102,58,115,113,117,97,114,101,0,2049,10338,2049,10190,10,10536,10563,144,102,58,111,
118,101,114,0,2049,10500,2049,10338,2049,10514,2049,10368,10,10553,10582,144,102,58,116,117,
99,107,0,2049,10338,2049,10500,2049,10368,2049,10514,10,10572,10600,144,102,58,110,105,112,
0,2049,10368,2049,10353,10,10591,10620,144,102,58,100,114,111,112,45,112,97,105,114,
0,2049,10353,2049,10353,10,10605,10639,144,102,58,100,117,112,45,112,97,105,114,0,
2049,10563,2049,10563,10,10625,10653,144,102,58,114,111,116,0,2049,10500,2049,10368,2049,10514,
2049,10368,10,10644,10677,144,102,58,112,111,115,105,116,105,118,101,63,0,1,0,
2049,10092,2049,10308,10,10662,10699,144,102,58,110,101,103,97,116,105,118,101,63,0,
1,0,2049,10092,2049,10294,10,10684,10718,144,102,58,110,101,103,97,116,101,0,1,
-1,2049,10092,2049,10190,10,10706,10734,144,102,58,97,98,115,0,2049,10338,2049,10699,1,
10718,9,10,10725,10754,156,112,114,101,102,105,120,58,46,0,2049,1818,1,3662,1,
3591,2049,64,1,10111,2049,144,10,10742,10776,144,102,58,112,117,116,0,2049,10151,2049,
9102,10,10767,10789,144,102,58,80,73,0,2049,3636,51,46,49,52,49,53,57,50,
0,1,10791,2049,10111,10,10781,10812,144,102,58,69,0,2049,3636,50,46,55,49,56,
50,56,49,0,1,10814,2049,10111,10,10805,10837,144,102,58,78,65,78,0,2049,3636,
48,0,1,10839,2049,10111,2049,3636,48,0,1,10847,2049,10111,2049,10202,10,10828,10865,144,
102,58,73,78,70,0,2049,3636,49,46,48,0,1,10867,2049,10111,2049,3636,48,0,
1,10877,2049,10111,2049,10202,10,10856,10896,144,102,58,45,73,78,70,0,2049,3636,45,
49,46,48,0,1,10898,2049,10111,2049,3636,48,0,1,10909,2049,10111,2049,10202,10,10886,
10928,144,102,58,110,97,110,63,0,2049,10338,2049,10280,10,10918,10943,144,102,58,105,
110,102,63,0,2049,10865,2049,10265,10,10933,10959,144,102,58,45,105,110,102,63,0,
2049,10896,2049,10265,10,10948,10975,144,102,58,114,111,117,110,100,0,2049,10338,2049,10699,
1793,10996,2049,3636,48,46,53,0,1,10983,2049,10111,2049,10178,2049,10236,10,1,10981,1793,
11015,2049,3636,48,46,53,0,1,11002,2049,10111,2049,10166,2049,10218,10,1,11000,2049,64,
10,10964,11029,144,102,58,109,105,110,0,2049,10639,2049,10294,1,10353,1,10600,2049,64,
10,11020,11049,144,102,58,109,97,120,0,2049,10639,2049,10308,1,10353,1,10600,2049,64,
10,11040,11071,144,102,58,108,105,109,105,116,0,2049,10368,2049,10500,2049,11029,2049,10514,
2049,11049,10,11060,11096,144,102,58,98,101,116,119,101,101,110,63,0,2049,10653,2049,
10338,2049,10500,2049,10653,2049,10653,2049,11071,2049,10514,2049,10265,10,11082,11122,144,102,58,105,
110,99,0,2049,3636,49,0,1,11124,2049,10111,2049,10166,10,11113,11142,144,102,58,100,
101,99,0,2049,3636,49,0,1,11144,2049,10111,2049,10178,10,11133,11163,144,102,58,99,
97,115,101,0,2049,10563,2049,10265,1793,11175,2049,10353,8,1,-1,10,1,11169,1793,11183,
3,1,0,10,1,11179,2049,64,25,6,771,10,11153,11201,144,102,58,115,105,103,
110,0,2049,10338,2049,3636,48,0,1,11205,2049,10111,2049,10265,1793,11220,1,0,2049,10353,
10,1,11215,2049,2659,2049,3636,48,0,1,11226,2049,10111,2049,10308,1793,11239,1,1,10,
1,11236,1793,11246,1,-1,10,1,11243,2049,64,10,11191,2147483645,131,101,58,77,65,88,
0,11251,-2147483645,131,101,58,77,73,78,0,11260,-2147483647,131,101,58,78,65,78,0,11269,
2147483646,131,101,58,73,78,70,0,11278,-2147483646,131,101,58,45,73,78,70,0,11287,11305,
144,101,58,110,63,0,1,-2147483645,2049,2880,1,2147483645,2049,2893,2049,2911,10,11297,11326,144,
101,58,109,97,120,63,0,1,2147483645,11,10,11316,11340,144,101,58,109,105,110,63,
0,1,-2147483645,11,10,11330,11355,144,101,58,122,101,114,111,63,0,2049,2533,10,11344,
11368,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11358,11382,144,101,58,105,110,
102,63,0,1,2147483646,11,10,11372,11397,144,101,58,45,105,110,102,63,0,1,-2147483646,
11,10,11386,11411,144,101,58,99,108,105,112,0,1,-2147483645,1,2147483645,2049,2863,10,11401,
11426,144,102,58,69,49,0,1793,11428,2049,3636,49,46,101,53,0,1,11430,2049,10111,
10,11418,11452,144,102,58,45,115,104,105,102,116,0,2049,11426,2049,10190,10,11440,11469,
144,102,58,43,115,104,105,102,116,0,2049,11426,2049,10202,10,11457,11491,144,102,58,
115,105,103,110,101,100,45,115,113,114,116,0,2049,10338,2049,11201,2049,10734,2049,10251,
2049,10092,2049,10190,10,11474,11517,144,102,58,43,101,110,99,111,100,101,0,2049,11491,
2049,11452,10,11504,11535,144,102,58,45,101,110,99,111,100,101,0,2049,10338,2049,11201,
2049,11469,2049,10338,2049,10190,2049,10092,2049,10190,10,11522,11569,144,102,58,115,105,103,110,
101,100,45,115,113,117,97,114,101,0,2049,10338,2049,11201,2049,10338,2049,10190,2049,10092,
2049,10190,10,11550,11592,144,102,58,116,111,45,101,0,2049,10338,2049,10928,1793,11603,2049,
10353,1,-2147483647,10,1,11598,2049,2659,2049,10338,2049,10943,1793,11618,2049,10353,1,2147483646,10,1,
11613,2049,2659,2049,10338,2049,10959,1793,11633,2049,10353,1,-2147483646,10,1,11628,2049,2659,2049,11517,
2049,10975,2049,10131,2049,11411,1,-2147483645,1793,11652,2049,10353,10,1,11649,2049,2379,1,2147483645,1793,
11663,2049,10353,10,1,11660,2049,2379,10,11582,11678,144,101,58,116,111,45,102,0,1,
-2147483647,1793,11685,2049,10837,10,1,11682,2049,2379,1,2147483646,1793,11696,2049,10865,10,1,11693,2049,
2379,1,-2147483646,1793,11707,2049,10896,10,1,11704,2049,2379,2049,10092,2049,11535,10,11668,11727,144,
102,58,115,116,111,114,101,0,1793,11732,2049,11592,10,1,11729,2049,2106,16,10,11716,
11749,144,102,58,102,101,116,99,104,0,15,2049,11678,10,11738,11769,144,102,58,100,
117,109,112,45,115,116,97,99,107,0,2049,10324,2,1,10500,2049,2281,1793,11787,2049,
10514,2049,10338,2049,10776,2049,9076,10,1,11778,2049,2281,10,11753,11809,144,102,58,100,117,
109,112,45,97,115,116,97,99,107,0,2049,10531,2,1,10514,2049,2281,1793,11827,2049,
10338,2049,10776,2049,9076,2049,10500,10,1,11818,2049,2281,10,11792,11841,144,101,58,112,117,
116,0,1,2147483645,1793,11858,2049,3636,101,58,77,65,88,0,1,11847,2049,9102,10,1,
11845,2049,2379,1,-2147483645,1793,11879,2049,3636,101,58,77,73,78,0,1,11868,2049,9102,10,
1,11866,2049,2379,1,0,1793,11898,2049,3636,101,58,48,0,1,11889,2049,9102,10,1,
11887,2049,2379,1,-2147483647,1793,11919,2049,3636,101,58,78,65,78,0,1,11908,2049,9102,10,
1,11906,2049,2379,1,2147483646,1793,11940,2049,3636,101,58,73,78,70,0,1,11929,2049,9102,
10,1,11927,2049,2379,1,-2147483646,1793,11962,2049,3636,101,58,45,73,78,70,0,1,11950,
2049,9102,10,1,11948,2049,2379,2049,11678,2049,10776,10,11832,11979,131,85,110,105,120,0,
0,11971,11992,144,105,100,101,110,116,105,102,121,0,3841,11979,2049,2533,1793,12059,1,
8,2049,9006,2,2049,2568,1793,12047,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,12010,2049,9102,2049,9065,10,1,12007,1793,12054,4097,11979,10,1,12051,2049,64,10,
1,11998,9,10,11832,12082,144,105,111,58,117,110,105,120,45,115,121,115,99,97,
108,108,0,2049,11992,3841,11979,2049,8989,10,12063,12104,144,117,110,105,120,58,115,121,
115,116,101,109,0,1,0,2049,12082,10,12089,12122,144,117,110,105,120,58,102,111,
114,107,0,1,1,2049,12082,10,12109,12141,144,117,110,105,120,58,101,120,101,99,
48,0,1,2,2049,12082,10,12127,12160,144,117,110,105,120,58,101,120,101,99,49,
0,1,3,2049,12082,10,12146,12179,144,117,110,105,120,58,101,120,101,99,50,0,
1,4,2049,12082,10,12165,12198,144,117,110,105,120,58,101,120,101,99,51,0,1,
5,2049,12082,10,12184,12216,144,117,110,105,120,58,101,120,105,116,0,1,6,2049,
12082,10,12203,12236,144,117,110,105,120,58,103,101,116,112,105,100,0,1,7,2049,
12082,10,12221,12254,144,117,110,105,120,58,119,97,105,116,0,1,8,2049,12082,10,
12241,12272,144,117,110,105,120,58,107,105,108,108,0,1,9,2049,12082,10,12259,12291,
144,117,110,105,120,58,112,111,112,101,110,0,1,10,2049,12082,10,12277,12311,144,
117,110,105,120,58,112,99,108,111,115,101,0,1,11,2049,12082,10,12296,12330,144,
117,110,105,120,58,99,104,100,105,114,0,1,13,2049,12082,10,12316,12350,144,117,
110,105,120,58,103,101,116,101,110,118,0,1,14,2049,12082,10,12335,12370,144,117,
110,105,120,58,112,117,116,101,110,118,0,1,15,2049,12082,10,12355,12389,144,117,
110,105,120,58,115,108,101,101,112,0,1,16,2049,12082,10,12375,12410,144,117,110,
105,120,58,103,101,116,45,99,119,100,0,2049,3636,112,119,100,0,1,12412,1,
0,2049,12291,2,2049,9753,2049,5867,4,2049,12311,2049,3636,47,0,1,12432,2049,3842,10,
12394,12466,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,12468,1,0,2049,12291,2,2049,9753,2049,5867,2049,218,4,2049,12311,10,
12439,12521,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,12523,1,0,2049,12291,2049,
12466,1793,12556,1793,12551,2049,9753,2049,3591,67502597,8,10,1,12544,2049,2116,10,1,12542,2049,
2281,2049,12311,3,10,12499,12573,144,115,116,97,114,116,0,4,2049,3418,1,0,2049,
12291,10,12564,12589,144,114,101,97,100,0,2,2049,9391,2,2049,3326,2049,2533,10,12581,
12608,144,102,105,110,105,115,104,0,2049,12311,2049,3398,10,12499,12632,144,117,110,105,
120,58,115,108,117,114,112,45,112,105,112,101,0,1793,12648,2049,12573,1793,12641,2049,
12589,10,1,12638,2049,2256,2049,12608,10,1,12634,2049,3442,10,12613,12659,131,105,111,0,
0,12653,12672,144,105,100,101,110,116,105,102,121,0,3841,12659,2049,2533,1793,12739,1,
10,2049,9006,2,2049,2568,1793,12727,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,12690,2049,9102,2049,9065,10,1,12687,1793,12734,4097,12659,10,1,12731,2049,64,10,
1,12678,9,10,12613,12763,144,105,111,58,114,110,103,45,111,112,101,114,97,116,
105,111,110,0,2049,12672,3841,12659,2049,8989,10,12743,12782,144,110,58,114,97,110,100,
111,109,0,2049,12763,10,12770,12796,131,83,111,99,107,101,116,115,0,0,12785,12809,
144,105,100,101,110,116,105,102,121,0,3841,12796,2049,2533,1793,12876,1,7,2049,9006,
2,2049,2568,1793,12864,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,12827,
2049,9102,2049,9065,10,1,12824,1793,12871,4097,12796,10,1,12868,2049,64,10,1,12815,9,
10,12770,12903,144,105,111,58,115,111,99,107,101,116,45,111,112,101,114,97,116,
105,111,110,0,2049,12809,3841,12796,2049,8989,10,12880,12934,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,12903,10,
12910,12956,144,115,111,99,107,101,116,58,99,114,101,97,116,101,0,1,1,2049,
12903,10,12939,12976,144,115,111,99,107,101,116,58,98,105,110,100,0,1,2,2049,
12903,10,12961,12998,144,115,111,99,107,101,116,58,108,105,115,116,101,110,0,1,
3,2049,12903,10,12981,13020,144,115,111,99,107,101,116,58,97,99,99,101,112,116,
0,1,4,2049,12903,10,13003,13043,144,115,111,99,107,101,116,58,99,111,110,110,
101,99,116,0,1,5,2049,12903,10,13025,13063,144,115,111,99,107,101,116,58,115,
101,110,100,0,1,6,2049,12903,10,13048,13083,144,115,111,99,107,101,116,58,114,
101,99,118,0,1,8,2049,12903,10,13068,13104,144,115,111,99,107,101,116,58,99,
108,111,115,101,0,1,10,2049,12903,10,13088,13129,144,115,111,99,107,101,116,58,
99,111,110,102,105,103,117,114,101,0,1,11,2049,12903,10,13109,1024,131,84,73,
66,0,13134,13155,144,105,109,97,103,101,58,115,97,118,101,0,1,1000,2049,9006,
2049,8989,10,13141,13174,131,75,101,121,98,111,97,114,100,0,0,13162,13187,144,105,
100,101,110,116,105,102,121,0,3841,13174,2049,2533,1793,13254,1,1,2049,9006,2,2049,
2568,1793,13242,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,13205,2049,9102,
2049,9065,10,1,13202,1793,13249,4097,13174,10,1,13246,2049,64,10,1,13193,9,10,13141,
13267,144,99,58,103,101,116,0,2049,13187,3841,13174,2049,8989,10,13258,13284,144,103,97,
116,104,101,114,0,2,1793,13291,1,8,11,10,1,13287,1793,13299,1,127,11,10,
1,13295,2049,2128,22,1,11,1,3326,2049,64,10,13274,13320,144,99,121,99,108,101,
0,2049,13267,2049,2096,4,8,2049,2465,25,3,2049,13284,1,13320,7,10,13258,13351,144,
112,97,114,115,101,45,117,110,116,105,108,0,1793,13363,2049,3617,2049,3418,2049,13320,
771,2049,3292,10,1,13353,2049,3442,10,13336,13377,144,115,58,103,101,116,0,1793,13399,
1793,13385,1,10,11,10,1,13381,1793,13393,1,13,11,10,1,13389,2049,2128,22,10,
1,13379,2049,13351,10,13368,13418,144,115,58,103,101,116,45,119,111,114,100,0,1,
5469,2049,13351,10,13404,13436,131,83,99,114,105,112,116,105,110,103,0,7,13423,13449,
144,105,100,101,110,116,105,102,121,0,3841,13436,2049,2533,1793,13516,1,9,2049,9006,
2,2049,2568,1793,13504,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,13467,
2049,9102,2049,9065,10,1,13464,1793,13511,4097,13436,10,1,13508,2049,64,10,1,13455,9,
10,13404,13532,144,115,121,115,58,97,114,103,99,0,2049,13449,1,0,3841,13436,2049,
8989,10,13520,13553,144,115,121,115,58,97,114,103,118,0,2049,3617,4,2049,13449,1,
1,3841,13436,2049,8989,10,13541,13576,144,105,110,99,108,117,100,101,0,2049,13449,1,
2,3841,13436,2049,8989,10,13565,13597,144,115,121,115,58,110,97,109,101,0,2049,3617,
2049,13449,1,3,3841,13436,2049,8989,10,13585,13617,144,99,108,101,97,114,0,1,27,
2049,9052,2049,3636,91,50,74,0,1,13623,2049,9102,1,27,2049,9052,2049,3636,91,48,
59,48,72,0,1,13637,2049,9102,10,13608,13658,131,78,111,69,99,104,111,0,0,
13648,13666,144,98,121,101,0,1,0,2049,12216,10,13659,13682,144,118,101,114,115,105,
111,110,0,3841,4,1,100,20,10,13671,13697,144,100,111,110,101,63,0,1793,13703,
1,13,11,10,1,13699,1793,13711,1,10,11,10,1,13707,1793,13719,1,32,11,10,
1,13715,2049,2165,22,22,10,13688,13736,144,118,97,108,105,100,63,0,2,2049,79,
2049,2615,10,13726,13755,144,99,104,101,99,107,45,101,111,102,0,2,1793,13762,1,
-1,11,10,1,13758,1793,13770,1,4,11,10,1,13766,2049,2128,22,1,13666,9,10,
13742,13785,144,98,115,0,2049,3350,2049,3350,771,10,13779,13803,144,99,104,101,99,107,
45,98,115,0,2,1793,13810,1,8,11,10,1,13806,1793,13818,1,127,11,10,1,
13814,2049,2128,22,1,13785,9,10,13791,13836,144,99,104,101,99,107,0,2049,13755,2049,
13803,10,13827,13854,144,99,104,97,114,97,99,116,101,114,0,2049,13267,2,2049,3326,
10,13841,13870,144,98,117,102,102,101,114,0,1793,13880,1,1024,2049,3418,8,2049,3292,
10,1,13872,2049,3442,10,13860,13899,144,114,101,97,100,45,116,111,107,101,110,0,
1793,13915,1793,13910,2049,13854,2049,13836,2049,13697,10,1,13903,2049,2256,10,1,13901,2049,13870,
2049,3714,10,13885,13931,144,105,110,112,117,116,0,2049,13899,2049,13736,10,13922,13947,144,
112,114,111,99,101,115,115,0,1,365,1,11,2049,64,10,13659,13964,144,98,97,
110,110,101,114,0,2049,13682,2049,3636,82,69,84,82,79,32,49,50,32,40,37,
110,46,37,110,41,92,110,0,1,13968,2049,7089,2049,9102,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,14004,2049,7089,2049,9102,10,13954,
14048,144,108,105,115,116,101,110,0,3841,13658,1793,14055,2049,13964,10,1,14052,2049,70,
2049,13931,2049,13947,1,14059,7,10,14038,14076,131,67,108,111,99,107,0,0,14067,14089,
144,105,100,101,110,116,105,102,121,0,3841,14076,2049,2533,1793,14156,1,5,2049,9006,
2,2049,2568,1793,14144,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,14107,
2049,9102,2049,9065,10,1,14104,1793,14151,4097,14076,10,1,14148,2049,64,10,1,14095,9,
10,14038,14182,144,105,111,58,99,108,111,99,107,45,111,112,101,114,97,116,105,
111,110,0,2049,14089,3841,14076,2049,8989,10,14160,14208,144,99,108,111,99,107,58,116,
105,109,101,115,116,97,109,112,0,1,0,2049,14182,10,14189,14226,144,99,108,111,
99,107,58,100,97,121,0,1,1,2049,14182,10,14213,14246,144,99,108,111,99,107,
58,109,111,110,116,104,0,1,2,2049,14182,10,14231,14265,144,99,108,111,99,107,
58,121,101,97,114,0,1,3,2049,14182,10,14251,14284,144,99,108,111,99,107,58,
104,111,117,114,0,1,4,2049,14182,10,14270,14305,144,99,108,111,99,107,58,109,
105,110,117,116,101,0,1,5,2049,14182,10,14289,14326,144,99,108,111,99,107,58,
115,101,99,111,110,100,0,1,6,2049,14182,10,14310,14348,144,99,108,111,99,107,
58,117,116,99,58,100,97,121,0,1,7,2049,14182,10,14331,14372,144,99,108,111,
99,107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049,14182,10,14353,14395,
144,99,108,111,99,107,58,117,116,99,58,121,101,97,114,0,1,9,2049,14182,
10,14377,14418,144,99,108,111,99,107,58,117,116,99,58,104,111,117,114,0,1,
10,2049,14182,10,14400,14443,144,99,108,111,99,107,58,117,116,99,58,109,105,110,
117,116,101,0,1,11,2049,14182,10,14423,14468,144,99,108,111,99,107,58,117,116,
99,58,115,101,99,111,110,100,0,1,12,2049,14182,10,14448,14484,144,100,58,119,
111,114,100,115,0,1793,14493,2049,162,2049,9102,2049,9076,10,1,14486,2049,7318,10,14473,
14514,144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049,1877,2049,4525,1793,
14545,2049,162,2,2049,1877,2049,4210,1793,14534,2049,9102,2049,9076,10,1,14529,1793,14540,3,
10,1,14538,2049,64,10,1,14520,2049,7318,10,14498,14569,144,100,105,115,112,108,97,
121,45,105,102,45,108,101,102,116,0,2,2049,1877,2049,4475,1793,14581,2049,9102,2049,
9076,10,1,14576,1793,14587,3,10,1,14585,2049,64,10,14498,14618,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,4525,1793,14629,2049,162,2049,14569,10,1,14624,2049,7318,10,14592,14644,144,102,105,
101,108,100,115,0,3841,2,2049,105,2049,105,2049,105,10,14634,14670,144,105,110,118,
97,108,105,100,45,110,97,109,101,63,0,2,1,32,2049,3986,10,14653,14687,144,
114,101,119,114,105,116,101,0,1793,14701,1,32,1793,14696,1,95,10,1,14693,2049,
2379,10,1,14689,2049,4346,10,14676,14715,144,101,110,116,114,121,0,2049,1877,1,21,
2049,2106,4097,2,10,1793,14743,1793,14738,2049,14644,2049,14670,1,14687,9,2049,119,10,1,
14728,2049,14715,10,1,14726,0 };