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

io devices: reduce memory usage

Browse source 
FossilOrigin-Name: 0787996383d82ab30c7b62dc4adf38c8360c6849f8e3b9d23f9e788d2d5322c7
This commit is contained in:
crc 2020-11-19 19:33:47 +00:00
parent a5bad6d738
commit e4eb91eb79
9 changed files with 320 additions and 321 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
interface/clock.retro
View file

@ -7,10 +7,10 @@ system clock.
{{
'Clock var
:identify
@Clock n:zero? [
@Clock n:zero? 0; drop
#5 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0005_NOT_FOUND s:put nl ]
[ !Clock ] choose ] if ;
[ !Clock ] choose ;
---reveal---
:clock:operation identify @Clock io:invoke ;
}}

4
interface/filesystem.retro
View file

@ -11,10 +11,10 @@ expectations.
{{
'Files var
:identify
@Files n:zero? [
@Files n:zero? 0; drop
#4 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0004_NOT_FOUND s:put nl ]
[ !Files ] choose ] if ;
[ !Files ] choose ;
---reveal---
:file:operation identify @Files io:invoke ;
}}

4
interface/floatingpoint.retro
View file

@ -10,10 +10,10 @@ point format.
{{
'FPU var
:identify
@FPU n:zero? [
@FPU n:zero? 0; drop
#2 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0002_NOT_FOUND s:put nl ]
[ !FPU ] choose ] if ;
[ !FPU ] choose ;
---reveal---
:float:operation identify @FPU io:invoke ;
}}

4
interface/gopher.retro
View file

@ -17,10 +17,10 @@ Returns:
{{
'Gopher var
:identify
@Gopher n:zero? [
@Gopher n:zero? 0; drop
#5 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0005_NOT_FOUND s:put nl ]
[ !Gopher ] choose ] if ;
[ !Gopher ] choose ;
---reveal---
:gopher:get identify #0 @Gopher io:invoke ;
}}

4
interface/retro-unix.retro
View file

@ -24,10 +24,10 @@ via `c:get`.
{{
'Keyboard var
:identify
@Keyboard n:zero? [
@Keyboard n:zero? 0; drop
#1 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0001_NOT_FOUND s:put nl ]
[ !Keyboard ] choose ] if ;
[ !Keyboard ] choose ;
---reveal---
:c:get (-c) identify @Keyboard io:invoke ;
}}

4
interface/rng.retro
View file

@ -8,10 +8,10 @@ best approach on their host system.
{{
'io var
:identify
@io n:zero? [
@io n:zero? 0; drop
#10 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0010_NOT_FOUND s:put nl ]
[ !io ] choose ] if ;
[ !io ] choose ;
---reveal---
:io:rng-operation identify @io io:invoke ;
}}

4
interface/scripting.retro
View file

@ -36,10 +36,10 @@ Adds support for `abort`.
{{
'Scripting var
:identify
@Scripting n:zero? [
@Scripting n:zero? 0; drop
#9 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0009_NOT_FOUND s:put nl ]
[ !Scripting ] choose ] if ;
[ !Scripting ] choose ;
---reveal---
:script:arguments (-n) identify #0 @Scripting io:invoke ;
:script:get-argument (n-s) s:empty swap identify #1 @Scripting io:invoke ;

4
interface/unix.retro
View file

@ -7,10 +7,10 @@ host operating system on Unix style systems.
{{
'Unix var
:identify
@Unix n:zero? [
@Unix n:zero? 0; drop
#8 io:scan-for dup n:negative?
[ drop 'IO_DEVICE_TYPE_0008_NOT_FOUND s:put nl ]
[ !Unix ] choose ] if ;
[ !Unix ] choose ;
---reveal---
:io:unix-syscall identify @Unix io:invoke ;
}}

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

@ -2,8 +2,8 @@
#ifndef CELL
#define CELL int32_t
#endif
CELL ngaImageCells = 15436;
CELL ngaImage[] = { 1793,14807,15420,15435,202101,0,10,1,10,2,10,3,10,4,10,5,10,6,10,
CELL ngaImageCells = 15404;
CELL ngaImage[] = { 1793,14779,15388,15403,202101,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,
@ -12,7 +12,7 @@ CELL ngaImage[] = { 1793,14807,15420,15435,202101,0,10,1,10,2,10,3,10,4,10,5,10,
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,166,17108737,3,2,524559,105,2049,105,2049,105,2049,119,168820998,2,
13980,1025,167841793,179,5,17826049,0,179,2,15,25,524546,162,134287105,180,93,2305,181,459023,189,
13956,1025,167841793,179,5,17826049,0,179,2,15,25,524546,162,134287105,180,93,2305,181,459023,189,
134287361,180,184,659201,179,2049,56,25,84152833,48,286458116,10,459014,204,184618754,45,25,16974851,-1,168886532,
1,134284289,1,213,134284289,0,204,660227,32,0,0,112,114,101,102,105,120,58,105,0,
285278479,230,7,2576,524546,79,1641217,1,167838467,227,2049,243,2049,239,524545,230,199,17826050,229,0,
@ -160,7 +160,7 @@ CELL ngaImage[] = { 1793,14807,15420,15435,202101,0,10,1,10,2,10,3,10,4,10,5,10,
983556,1793,3087,1,21,2049,2100,10,1,3082,2049,2100,4100,10,3065,3105,144,118,58,117,
112,100,97,116,101,0,4,1793,3112,15,4,8,10,1,3108,2049,2110,16,10,3093,
3126,144,99,111,112,121,0,1793,3135,285278725,1,33951492,268767489,1,6,10,1,3128,2049,2275,
771,10,3118,3154,144,83,99,111,112,101,76,105,115,116,0,15254,15306,10,3141,3163,
771,10,3118,3154,144,83,99,111,112,101,76,105,115,116,0,15222,15274,10,3141,3163,
144,123,123,0,2049,1570,2,1,3154,2049,59,16,10,3157,3188,144,45,45,45,114,
101,118,101,97,108,45,45,45,0,2049,1570,1,3154,2049,2890,16,10,3172,3202,144,
125,125,0,1,3154,2049,56,4,15,11,1793,3216,3841,3154,4097,2,10,1,3211,1793,
@ -470,308 +470,307 @@ CELL ngaImage[] = { 1793,14807,15420,15435,202101,0,10,1,10,2,10,3,10,4,10,5,10,
115,116,97,99,107,0,2049,1556,25,134284547,9285,134283782,9249,2049,9209,10,9271,9303,144,70,
82,69,69,0,2049,3517,1,1025,18,2049,1874,18,10,9295,9325,131,83,99,114,105,
112,116,105,110,103,0,0,9312,9338,144,105,100,101,110,116,105,102,121,0,3841,
9325,2049,2527,1793,9405,1,9,2049,9139,2,2049,2562,1793,9393,3,2049,3646,73,79,32,
9325,2049,2527,25,3,1,9,2049,9139,2,2049,2562,1793,9393,3,2049,3646,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,9356,2049,9235,2049,9198,10,1,9353,1793,9400,4097,9325,
10,1,9397,2049,64,10,1,9344,9,10,9295,9429,144,115,99,114,105,112,116,58,
97,114,103,117,109,101,110,116,115,0,2049,9338,1,0,3841,9325,2049,9122,10,9409,
9461,144,115,99,114,105,112,116,58,103,101,116,45,97,114,103,117,109,101,110,
116,0,2049,3627,4,2049,9338,1,1,3841,9325,2049,9122,10,9438,9484,144,105,110,99,
108,117,100,101,0,2049,9338,1,2,3841,9325,2049,9122,10,9473,9508,144,115,99,114,
105,112,116,58,110,97,109,101,0,2049,3627,2049,9338,1,3,3841,9325,2049,9122,10,
9493,9542,144,115,99,114,105,112,116,58,99,117,114,114,101,110,116,45,102,105,
108,101,0,2049,3627,2049,9338,1,4,3841,9325,2049,9122,10,9519,9576,144,115,99,114,
105,112,116,58,99,117,114,114,101,110,116,45,108,105,110,101,0,2049,9338,1,
5,3841,9325,2049,9122,10,9553,9609,144,115,99,114,105,112,116,58,105,103,110,111,
114,101,45,116,111,45,101,111,108,0,2049,9338,1,6,3841,9325,2049,9122,10,9585,
9642,144,115,99,114,105,112,116,58,97,98,111,114,116,45,105,110,99,108,117,
100,101,0,2049,9338,1,7,3841,9325,2049,9122,10,9618,9660,144,97,98,111,114,116,
0,1,124,2049,3047,2049,9338,1,8,3841,9325,2049,9122,10,9651,9682,131,70,105,108,
101,115,0,0,9673,9695,144,105,100,101,110,116,105,102,121,0,3841,9682,2049,2527,
1793,9762,1,4,2049,9139,2,2049,2562,1793,9750,3,2049,3646,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,9713,2049,9235,2049,9198,10,1,9710,1793,9757,4097,9682,10,1,9754,
2049,64,10,1,9701,9,10,9651,9784,144,102,105,108,101,58,111,112,101,114,97,
116,105,111,110,0,2049,9695,3841,9682,2049,9122,10,9766,0,131,102,105,108,101,58,
82,0,9791,1,131,102,105,108,101,58,87,0,9801,2,131,102,105,108,101,58,
65,0,9811,3,131,102,105,108,101,58,82,43,0,9821,9845,144,102,105,108,101,
58,111,112,101,110,0,1,0,2049,9784,10,9832,9864,144,102,105,108,101,58,99,
108,111,115,101,0,1,1,2049,9784,10,9850,9882,144,102,105,108,101,58,114,101,
97,100,0,1,2,2049,9784,10,9869,9901,144,102,105,108,101,58,119,114,105,116,
101,0,1,3,2049,9784,10,9887,9919,144,102,105,108,101,58,116,101,108,108,0,
1,4,2049,9784,10,9906,9937,144,102,105,108,101,58,115,101,101,107,0,1,5,
2049,9784,10,9924,9955,144,102,105,108,101,58,115,105,122,101,0,1,6,2049,9784,
10,9942,9975,144,102,105,108,101,58,100,101,108,101,116,101,0,1,7,2049,9784,
10,9960,9994,144,102,105,108,101,58,102,108,117,115,104,0,1,8,2049,9784,10,
9980,10015,144,102,105,108,101,58,101,120,105,115,116,115,63,0,1,0,2049,9845,
2,2049,2543,1793,10029,2049,9864,2049,2350,10,1,10024,1793,10037,3,2049,2362,10,1,10033,
2049,64,10,9999,10067,144,102,105,108,101,58,111,112,101,110,45,102,111,114,45,
114,101,97,100,105,110,103,0,1,0,2049,9845,2,2049,9955,4,10,10042,10100,144,
102,105,108,101,58,111,112,101,110,45,102,111,114,45,97,112,112,101,110,100,
0,1,2,2049,9845,2,2049,9955,4,10,10076,10134,144,102,105,108,101,58,111,112,
101,110,45,102,111,114,45,119,114,105,116,105,110,103,0,1,1,2049,9845,10,
10109,10146,131,70,73,68,0,0,10139,10155,131,83,105,122,101,0,0,10147,10166,131,
65,99,116,105,111,110,0,0,10156,10177,131,66,117,102,102,101,114,0,0,10167,
10187,144,45,101,111,102,63,0,3841,10146,2049,9919,3841,10155,13,10,10178,10207,144,112,
114,101,115,101,114,118,101,0,1,10146,1793,10218,1,10155,1,21,2049,3079,10,1,
10211,2049,3079,10,10109,10241,144,102,105,108,101,58,114,101,97,100,45,108,105,110,
101,0,4097,10146,1793,10298,2049,1874,2,4097,10177,2049,3428,1793,10290,3841,10146,2049,9882,2,
2049,3336,1793,10267,1,13,11,10,1,10263,1793,10275,1,10,11,10,1,10271,1793,10283,
1,0,11,10,1,10279,2049,2159,22,22,10,1,10254,2049,2250,2049,3360,3,10,1,
10245,2049,3452,3841,10177,10,10223,10327,144,102,105,108,101,58,102,111,114,45,101,97,
99,104,45,108,105,110,101,0,1793,10358,4097,10166,2049,10067,4097,10146,4097,10155,1793,10349,
3841,10146,2049,10241,3841,10166,8,2049,10187,10,1,10339,2049,2227,3841,10146,2049,9864,10,1,
10329,2049,10207,10,10305,10370,131,70,73,68,0,0,10305,10385,144,102,105,108,101,58,
115,108,117,114,112,0,1793,10412,4,2049,3428,2049,10067,4097,10370,1793,10403,3841,10370,2049,
9882,2049,3336,10,1,10396,2049,2275,3841,10370,2049,9864,10,1,10387,2049,3452,10,10371,10430,
144,102,105,108,101,58,115,112,101,119,0,2049,10134,4,1793,10439,67502597,2049,9901,10,
1,10435,2049,3870,2049,9864,10,10417,10453,131,70,80,85,0,0,10446,10466,144,105,100,
101,110,116,105,102,121,0,3841,10453,2049,2527,1793,10533,1,2,2049,9139,2,2049,2562,
1793,10521,3,2049,3646,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,10484,2049,9235,2049,
9198,10,1,10481,1793,10528,4097,10453,10,1,10525,2049,64,10,1,10472,9,10,10417,10556,
144,102,108,111,97,116,58,111,112,101,114,97,116,105,111,110,0,2049,10466,3841,
10453,2049,9122,10,10537,10577,144,110,58,116,111,45,102,108,111,97,116,0,1,0,
2049,10556,10,10563,10596,144,115,58,116,111,45,102,108,111,97,116,0,1,1,2049,
10556,10,10582,10616,144,102,58,116,111,45,110,117,109,98,101,114,0,1,2,2049,
10556,10,10601,10636,144,102,58,116,111,45,115,116,114,105,110,103,0,2049,3627,2,
1,3,2049,10556,10,10621,10651,144,102,58,43,0,1,4,2049,10556,10,10644,10663,144,
102,58,45,0,1,5,2049,10556,10,10656,10675,144,102,58,42,0,1,6,2049,10556,
10,10668,10687,144,102,58,47,0,1,7,2049,10556,10,10680,10703,144,102,58,102,108,
111,111,114,0,1,8,2049,10556,10,10692,10721,144,102,58,99,101,105,108,105,110,
103,0,1,9,2049,10556,10,10708,10736,144,102,58,115,113,114,116,0,1,10,2049,
10556,10,10726,10750,144,102,58,101,113,63,0,1,11,2049,10556,10,10741,10765,144,102,
58,45,101,113,63,0,1,12,2049,10556,10,10755,10779,144,102,58,108,116,63,0,
1,13,2049,10556,10,10770,10793,144,102,58,103,116,63,0,1,14,2049,10556,10,10784,
10809,144,102,58,100,101,112,116,104,0,1,15,2049,10556,10,10798,10823,144,102,58,
100,117,112,0,1,16,2049,10556,10,10814,10838,144,102,58,100,114,111,112,0,1,
17,2049,10556,10,10828,10853,144,102,58,115,119,97,112,0,1,18,2049,10556,10,10843,
10867,144,102,58,108,111,103,0,1,19,2049,10556,10,10858,10883,144,102,58,112,111,
119,101,114,0,1,20,2049,10556,10,10872,10897,144,102,58,115,105,110,0,1,21,
2049,10556,10,10888,10911,144,102,58,99,111,115,0,1,22,2049,10556,10,10902,10925,144,
102,58,116,97,110,0,1,23,2049,10556,10,10916,10940,144,102,58,97,115,105,110,
0,1,24,2049,10556,10,10930,10955,144,102,58,97,99,111,115,0,1,25,2049,10556,
10,10945,10970,144,102,58,97,116,97,110,0,1,26,2049,10556,10,10960,10985,144,102,
58,112,117,115,104,0,1,27,2049,10556,10,10975,10999,144,102,58,112,111,112,0,
1,28,2049,10556,10,10990,11016,144,102,58,97,100,101,112,116,104,0,1,29,2049,
10556,10,11004,11031,144,102,58,111,118,101,114,0,2049,10985,2049,10823,2049,10999,2049,10853,
10,11021,11050,144,102,58,116,117,99,107,0,2049,10823,2049,10985,2049,10853,2049,10999,10,
11040,11068,144,102,58,110,105,112,0,2049,10853,2049,10838,10,11059,11088,144,102,58,100,
114,111,112,45,112,97,105,114,0,2049,10838,2049,10838,10,11073,11107,144,102,58,100,
117,112,45,112,97,105,114,0,2049,11031,2049,11031,10,11093,11121,144,102,58,114,111,
116,0,2049,10985,2049,10853,2049,10999,2049,10853,10,11112,11142,156,112,114,101,102,105,120,
58,46,0,2049,1815,1,3672,1,3601,2049,64,1,10596,2049,144,10,11130,11167,144,102,
58,115,113,117,97,114,101,0,2049,10823,2049,10675,10,11155,11187,144,102,58,112,111,
115,105,116,105,118,101,63,0,1,0,2049,10577,2049,10793,10,11172,11209,144,102,58,
110,101,103,97,116,105,118,101,63,0,1,0,2049,10577,2049,10779,10,11194,11228,144,
102,58,110,101,103,97,116,101,0,1,-1,2049,10577,2049,10675,10,11216,11244,144,102,
58,97,98,115,0,2049,10823,2049,11209,1,11228,9,10,11235,11261,144,102,58,112,117,
116,0,2049,10636,2049,9235,10,11252,11274,144,102,58,80,73,0,2049,3646,51,46,49,
52,49,53,57,50,0,1,11276,2049,10596,10,11266,11297,144,102,58,69,0,2049,3646,
50,46,55,49,56,50,56,49,0,1,11299,2049,10596,10,11290,11322,144,102,58,78,
65,78,0,2049,3646,48,0,1,11324,2049,10596,2049,3646,48,0,1,11332,2049,10596,2049,
10687,10,11313,11350,144,102,58,73,78,70,0,2049,3646,49,46,48,0,1,11352,2049,
10596,2049,3646,48,0,1,11362,2049,10596,2049,10687,10,11341,11381,144,102,58,45,73,78,
70,0,2049,3646,45,49,46,48,0,1,11383,2049,10596,2049,3646,48,0,1,11394,2049,
10596,2049,10687,10,11371,11413,144,102,58,110,97,110,63,0,2049,10823,2049,10765,10,11403,
11428,144,102,58,105,110,102,63,0,2049,11350,2049,10750,10,11418,11444,144,102,58,45,
105,110,102,63,0,2049,11381,2049,10750,10,11433,11460,144,102,58,114,111,117,110,100,
0,2049,10823,2049,11209,1793,11481,2049,3646,48,46,53,0,1,11468,2049,10596,2049,10663,2049,
10721,10,1,11466,1793,11500,2049,3646,48,46,53,0,1,11487,2049,10596,2049,10651,2049,10703,
10,1,11485,2049,64,10,11449,11514,144,102,58,109,105,110,0,2049,11107,2049,10779,1,
10838,1,11068,2049,64,10,11505,11534,144,102,58,109,97,120,0,2049,11107,2049,10793,1,
10838,1,11068,2049,64,10,11525,11556,144,102,58,108,105,109,105,116,0,2049,10853,2049,
10985,2049,11514,2049,10999,2049,11534,10,11545,11581,144,102,58,98,101,116,119,101,101,110,
63,0,2049,11121,2049,10823,2049,10985,2049,11121,2049,11121,2049,11556,2049,10999,2049,10750,10,11567,
11607,144,102,58,105,110,99,0,2049,3646,49,0,1,11609,2049,10596,2049,10651,10,11598,
11627,144,102,58,100,101,99,0,2049,3646,49,0,1,11629,2049,10596,2049,10663,10,11618,
11648,144,102,58,99,97,115,101,0,2049,11031,2049,10750,1793,11660,2049,10838,8,1,-1,
10,1,11654,1793,11668,3,1,0,10,1,11664,2049,64,25,6,771,10,11638,11686,144,
102,58,115,105,103,110,0,2049,10823,2049,3646,48,0,1,11690,2049,10596,2049,10750,1793,
11705,1,0,2049,10838,10,1,11700,2049,2653,2049,3646,48,0,1,11711,2049,10596,2049,10793,
1793,11724,1,1,10,1,11721,1793,11731,1,-1,10,1,11728,2049,64,10,11676,2147483645,131,
101,58,77,65,88,0,11736,-2147483645,131,101,58,77,73,78,0,11745,-2147483647,131,101,58,
78,65,78,0,11754,2147483646,131,101,58,73,78,70,0,11763,-2147483646,131,101,58,45,73,
78,70,0,11772,11790,144,101,58,110,63,0,1,-2147483645,2049,2890,1,2147483645,2049,2903,2049,
2921,10,11782,11811,144,101,58,109,97,120,63,0,1,2147483645,11,10,11801,11825,144,101,
58,109,105,110,63,0,1,-2147483645,11,10,11815,11840,144,101,58,122,101,114,111,63,
0,2049,2527,10,11829,11853,144,101,58,110,97,110,63,0,1,-2147483647,11,10,11843,11867,
144,101,58,105,110,102,63,0,1,2147483646,11,10,11857,11882,144,101,58,45,105,110,
102,63,0,1,-2147483646,11,10,11871,11896,144,101,58,99,108,105,112,0,1,-2147483645,1,
2147483645,2049,2873,10,11886,11911,144,102,58,69,49,0,1793,11913,2049,3646,49,46,101,53,
0,1,11915,2049,10596,10,11903,11942,144,102,58,115,105,103,110,101,100,45,115,113,
114,116,0,2049,10823,2049,11686,2049,11244,2049,10736,2049,10577,2049,10675,10,11925,11974,144,102,
58,115,105,103,110,101,100,45,115,113,117,97,114,101,0,2049,10823,2049,11686,2049,
10823,2049,10675,2049,10577,2049,10675,10,11955,11999,144,102,58,45,115,104,105,102,116,0,
2049,11911,2049,10675,10,11987,12016,144,102,58,43,115,104,105,102,116,0,2049,11911,2049,
10687,10,12004,12034,144,102,58,43,101,110,99,111,100,101,0,2049,11942,2049,11999,10,
12021,12052,144,102,58,45,101,110,99,111,100,101,0,2049,10823,2049,11686,2049,12016,2049,
10823,2049,10675,2049,10577,2049,10675,10,11955,12077,144,102,58,116,111,45,101,0,2049,10823,
2049,11413,1793,12088,2049,10838,1,-2147483647,10,1,12083,2049,2653,2049,10823,2049,11428,1793,12103,2049,
10838,1,2147483646,10,1,12098,2049,2653,2049,10823,2049,11444,1793,12118,2049,10838,1,-2147483646,10,1,
12113,2049,2653,2049,12034,2049,11460,2049,10616,2049,11896,1,-2147483645,1793,12137,2049,10838,10,1,12134,
2049,2373,1,2147483645,1793,12148,2049,10838,10,1,12145,2049,2373,10,12067,12163,144,101,58,116,
111,45,102,0,1,-2147483647,1793,12170,2049,11322,10,1,12167,2049,2373,1,2147483646,1793,12181,2049,
11350,10,1,12178,2049,2373,1,-2147483646,1793,12192,2049,11381,10,1,12189,2049,2373,2049,10577,2049,
12052,10,12153,12212,144,102,58,115,116,111,114,101,0,1793,12217,2049,12077,10,1,12214,
2049,2100,16,10,12201,12234,144,102,58,102,101,116,99,104,0,15,2049,12163,10,12223,
12254,144,102,58,100,117,109,112,45,115,116,97,99,107,0,2049,10809,2,1,10985,
2049,2275,1793,12272,2049,10999,2049,10823,2049,11261,2049,9209,10,1,12263,2049,2275,10,12238,12294,
144,102,58,100,117,109,112,45,97,115,116,97,99,107,0,2049,11016,2,1,10999,
2049,2275,1793,12312,2049,10823,2049,11261,2049,9209,2049,10985,10,1,12303,2049,2275,10,12277,12326,
144,101,58,112,117,116,0,1,2147483645,1793,12343,2049,3646,101,58,77,65,88,0,1,
12332,2049,9235,10,1,12330,2049,2373,1,-2147483645,1793,12364,2049,3646,101,58,77,73,78,0,
1,12353,2049,9235,10,1,12351,2049,2373,1,0,1793,12383,2049,3646,101,58,48,0,1,
12374,2049,9235,10,1,12372,2049,2373,1,-2147483647,1793,12404,2049,3646,101,58,78,65,78,0,
1,12393,2049,9235,10,1,12391,2049,2373,1,2147483646,1793,12425,2049,3646,101,58,73,78,70,
0,1,12414,2049,9235,10,1,12412,2049,2373,1,-2147483646,1793,12447,2049,3646,101,58,45,73,
78,70,0,1,12435,2049,9235,10,1,12433,2049,2373,2049,12163,2049,11261,10,12317,12464,131,
85,110,105,120,0,0,12456,12477,144,105,100,101,110,116,105,102,121,0,3841,12464,
2049,2527,1793,12544,1,8,2049,9139,2,2049,2562,1793,12532,3,2049,3646,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,12495,2049,9235,2049,9198,10,1,12492,1793,12539,4097,12464,10,
1,12536,2049,64,10,1,12483,9,10,12317,12567,144,105,111,58,117,110,105,120,45,
115,121,115,99,97,108,108,0,2049,12477,3841,12464,2049,9122,10,12548,12589,144,117,110,
105,120,58,115,121,115,116,101,109,0,1,0,2049,12567,10,12574,12607,144,117,110,
105,120,58,102,111,114,107,0,1,1,2049,12567,10,12594,12626,144,117,110,105,120,
58,101,120,101,99,48,0,1,2,2049,12567,10,12612,12645,144,117,110,105,120,58,
101,120,101,99,49,0,1,3,2049,12567,10,12631,12664,144,117,110,105,120,58,101,
120,101,99,50,0,1,4,2049,12567,10,12650,12683,144,117,110,105,120,58,101,120,
101,99,51,0,1,5,2049,12567,10,12669,12701,144,117,110,105,120,58,101,120,105,
116,0,1,6,2049,12567,10,12688,12721,144,117,110,105,120,58,103,101,116,112,105,
100,0,1,7,2049,12567,10,12706,12739,144,117,110,105,120,58,119,97,105,116,0,
1,8,2049,12567,10,12726,12757,144,117,110,105,120,58,107,105,108,108,0,1,9,
2049,12567,10,12744,12776,144,117,110,105,120,58,112,111,112,101,110,0,1,10,2049,
12567,10,12762,12796,144,117,110,105,120,58,112,99,108,111,115,101,0,1,11,2049,
12567,10,12781,12815,144,117,110,105,120,58,99,104,100,105,114,0,1,13,2049,12567,
10,12801,12835,144,117,110,105,120,58,103,101,116,101,110,118,0,1,14,2049,12567,
10,12820,12855,144,117,110,105,120,58,112,117,116,101,110,118,0,1,15,2049,12567,
10,12840,12874,144,117,110,105,120,58,115,108,101,101,112,0,1,16,2049,12567,10,
12860,12895,144,117,110,105,120,58,103,101,116,45,99,119,100,0,2049,3646,112,119,
100,0,1,12897,1,0,2049,12776,2,2049,10241,2049,5990,4,2049,12796,2049,3646,47,0,
1,12917,2049,3852,10,12879,12951,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,3646,108,115,32,45,49,32,
124,32,119,99,32,45,108,0,1,12953,1,0,2049,12776,2,2049,10241,2049,5990,2049,
220,4,2049,12796,10,12924,13006,144,117,110,105,120,58,102,111,114,45,101,97,99,
104,45,102,105,108,101,0,2049,3646,108,115,32,45,49,32,45,112,0,1,13008,
1,0,2049,12776,2049,12951,1793,13041,1793,13036,2049,10241,2049,3601,67502597,8,10,1,13029,2049,
2110,10,1,13027,2049,2275,2049,12796,3,10,12984,13058,144,115,116,97,114,116,0,4,
2049,3428,1,0,2049,12776,10,13049,13074,144,114,101,97,100,0,2,2049,9882,2,2049,
3336,2049,2527,10,13066,13093,144,102,105,110,105,115,104,0,2049,12796,2049,3408,10,12984,
13117,144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,101,0,1793,13133,
2049,13058,1793,13126,2049,13074,10,1,13123,2049,2250,2049,13093,10,1,13119,2049,3452,10,13098,
13144,131,105,111,0,0,13138,13157,144,105,100,101,110,116,105,102,121,0,3841,13144,
2049,2527,1793,13224,1,10,2049,9139,2,2049,2562,1793,13212,3,2049,3646,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,13175,2049,9235,2049,9198,10,1,13172,1793,13219,4097,13144,10,
1,13216,2049,64,10,1,13163,9,10,13098,13248,144,105,111,58,114,110,103,45,111,
112,101,114,97,116,105,111,110,0,2049,13157,3841,13144,2049,9122,10,13228,13267,144,110,
58,114,97,110,100,111,109,0,2049,13248,10,13255,13281,131,83,111,99,107,101,116,
115,0,0,13270,13294,144,105,100,101,110,116,105,102,121,0,3841,13281,2049,2527,25,
3,1,7,2049,9139,2,2049,2562,1793,13349,3,2049,3646,73,79,32,68,69,86,73,
10,1,9397,2049,64,10,9295,9425,144,115,99,114,105,112,116,58,97,114,103,117,
109,101,110,116,115,0,2049,9338,1,0,3841,9325,2049,9122,10,9405,9457,144,115,99,
114,105,112,116,58,103,101,116,45,97,114,103,117,109,101,110,116,0,2049,3627,
4,2049,9338,1,1,3841,9325,2049,9122,10,9434,9480,144,105,110,99,108,117,100,101,
0,2049,9338,1,2,3841,9325,2049,9122,10,9469,9504,144,115,99,114,105,112,116,58,
110,97,109,101,0,2049,3627,2049,9338,1,3,3841,9325,2049,9122,10,9489,9538,144,115,
99,114,105,112,116,58,99,117,114,114,101,110,116,45,102,105,108,101,0,2049,
3627,2049,9338,1,4,3841,9325,2049,9122,10,9515,9572,144,115,99,114,105,112,116,58,
99,117,114,114,101,110,116,45,108,105,110,101,0,2049,9338,1,5,3841,9325,2049,
9122,10,9549,9605,144,115,99,114,105,112,116,58,105,103,110,111,114,101,45,116,
111,45,101,111,108,0,2049,9338,1,6,3841,9325,2049,9122,10,9581,9638,144,115,99,
114,105,112,116,58,97,98,111,114,116,45,105,110,99,108,117,100,101,0,2049,
9338,1,7,3841,9325,2049,9122,10,9614,9656,144,97,98,111,114,116,0,1,124,2049,
3047,2049,9338,1,8,3841,9325,2049,9122,10,9647,9678,131,70,105,108,101,115,0,0,
9669,9691,144,105,100,101,110,116,105,102,121,0,3841,9678,2049,2527,25,3,1,4,
2049,9139,2,2049,2562,1793,9746,3,2049,3646,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,9709,2049,9235,2049,9198,10,1,9706,1793,9753,4097,9678,10,1,9750,2049,64,10,9647,
9776,144,102,105,108,101,58,111,112,101,114,97,116,105,111,110,0,2049,9691,3841,
9678,2049,9122,10,9758,0,131,102,105,108,101,58,82,0,9783,1,131,102,105,108,
101,58,87,0,9793,2,131,102,105,108,101,58,65,0,9803,3,131,102,105,108,
101,58,82,43,0,9813,9837,144,102,105,108,101,58,111,112,101,110,0,1,0,
2049,9776,10,9824,9856,144,102,105,108,101,58,99,108,111,115,101,0,1,1,2049,
9776,10,9842,9874,144,102,105,108,101,58,114,101,97,100,0,1,2,2049,9776,10,
9861,9893,144,102,105,108,101,58,119,114,105,116,101,0,1,3,2049,9776,10,9879,
9911,144,102,105,108,101,58,116,101,108,108,0,1,4,2049,9776,10,9898,9929,144,
102,105,108,101,58,115,101,101,107,0,1,5,2049,9776,10,9916,9947,144,102,105,
108,101,58,115,105,122,101,0,1,6,2049,9776,10,9934,9967,144,102,105,108,101,
58,100,101,108,101,116,101,0,1,7,2049,9776,10,9952,9986,144,102,105,108,101,
58,102,108,117,115,104,0,1,8,2049,9776,10,9972,10007,144,102,105,108,101,58,
101,120,105,115,116,115,63,0,1,0,2049,9837,2,2049,2543,1793,10021,2049,9856,2049,
2350,10,1,10016,1793,10029,3,2049,2362,10,1,10025,2049,64,10,9991,10059,144,102,105,
108,101,58,111,112,101,110,45,102,111,114,45,114,101,97,100,105,110,103,0,
1,0,2049,9837,2,2049,9947,4,10,10034,10092,144,102,105,108,101,58,111,112,101,
110,45,102,111,114,45,97,112,112,101,110,100,0,1,2,2049,9837,2,2049,9947,
4,10,10068,10126,144,102,105,108,101,58,111,112,101,110,45,102,111,114,45,119,
114,105,116,105,110,103,0,1,1,2049,9837,10,10101,10138,131,70,73,68,0,0,
10131,10147,131,83,105,122,101,0,0,10139,10158,131,65,99,116,105,111,110,0,0,
10148,10169,131,66,117,102,102,101,114,0,0,10159,10179,144,45,101,111,102,63,0,
3841,10138,2049,9911,3841,10147,13,10,10170,10199,144,112,114,101,115,101,114,118,101,0,
1,10138,1793,10210,1,10147,1,21,2049,3079,10,1,10203,2049,3079,10,10101,10233,144,102,
105,108,101,58,114,101,97,100,45,108,105,110,101,0,4097,10138,1793,10290,2049,1874,
2,4097,10169,2049,3428,1793,10282,3841,10138,2049,9874,2,2049,3336,1793,10259,1,13,11,10,
1,10255,1793,10267,1,10,11,10,1,10263,1793,10275,1,0,11,10,1,10271,2049,2159,
22,22,10,1,10246,2049,2250,2049,3360,3,10,1,10237,2049,3452,3841,10169,10,10215,10319,
144,102,105,108,101,58,102,111,114,45,101,97,99,104,45,108,105,110,101,0,
1793,10350,4097,10158,2049,10059,4097,10138,4097,10147,1793,10341,3841,10138,2049,10233,3841,10158,8,2049,
10179,10,1,10331,2049,2227,3841,10138,2049,9856,10,1,10321,2049,10199,10,10297,10362,131,70,
73,68,0,0,10297,10377,144,102,105,108,101,58,115,108,117,114,112,0,1793,10404,
4,2049,3428,2049,10059,4097,10362,1793,10395,3841,10362,2049,9874,2049,3336,10,1,10388,2049,2275,
3841,10362,2049,9856,10,1,10379,2049,3452,10,10363,10422,144,102,105,108,101,58,115,112,
101,119,0,2049,10126,4,1793,10431,67502597,2049,9893,10,1,10427,2049,3870,2049,9856,10,10409,
10445,131,70,80,85,0,0,10438,10458,144,105,100,101,110,116,105,102,121,0,3841,
10445,2049,2527,25,3,1,2,2049,9139,2,2049,2562,1793,10513,3,2049,3646,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,10476,2049,9235,2049,9198,10,1,10473,1793,10520,4097,10445,
10,1,10517,2049,64,10,10409,10544,144,102,108,111,97,116,58,111,112,101,114,97,
116,105,111,110,0,2049,10458,3841,10445,2049,9122,10,10525,10565,144,110,58,116,111,45,
102,108,111,97,116,0,1,0,2049,10544,10,10551,10584,144,115,58,116,111,45,102,
108,111,97,116,0,1,1,2049,10544,10,10570,10604,144,102,58,116,111,45,110,117,
109,98,101,114,0,1,2,2049,10544,10,10589,10624,144,102,58,116,111,45,115,116,
114,105,110,103,0,2049,3627,2,1,3,2049,10544,10,10609,10639,144,102,58,43,0,
1,4,2049,10544,10,10632,10651,144,102,58,45,0,1,5,2049,10544,10,10644,10663,144,
102,58,42,0,1,6,2049,10544,10,10656,10675,144,102,58,47,0,1,7,2049,10544,
10,10668,10691,144,102,58,102,108,111,111,114,0,1,8,2049,10544,10,10680,10709,144,
102,58,99,101,105,108,105,110,103,0,1,9,2049,10544,10,10696,10724,144,102,58,
115,113,114,116,0,1,10,2049,10544,10,10714,10738,144,102,58,101,113,63,0,1,
11,2049,10544,10,10729,10753,144,102,58,45,101,113,63,0,1,12,2049,10544,10,10743,
10767,144,102,58,108,116,63,0,1,13,2049,10544,10,10758,10781,144,102,58,103,116,
63,0,1,14,2049,10544,10,10772,10797,144,102,58,100,101,112,116,104,0,1,15,
2049,10544,10,10786,10811,144,102,58,100,117,112,0,1,16,2049,10544,10,10802,10826,144,
102,58,100,114,111,112,0,1,17,2049,10544,10,10816,10841,144,102,58,115,119,97,
112,0,1,18,2049,10544,10,10831,10855,144,102,58,108,111,103,0,1,19,2049,10544,
10,10846,10871,144,102,58,112,111,119,101,114,0,1,20,2049,10544,10,10860,10885,144,
102,58,115,105,110,0,1,21,2049,10544,10,10876,10899,144,102,58,99,111,115,0,
1,22,2049,10544,10,10890,10913,144,102,58,116,97,110,0,1,23,2049,10544,10,10904,
10928,144,102,58,97,115,105,110,0,1,24,2049,10544,10,10918,10943,144,102,58,97,
99,111,115,0,1,25,2049,10544,10,10933,10958,144,102,58,97,116,97,110,0,1,
26,2049,10544,10,10948,10973,144,102,58,112,117,115,104,0,1,27,2049,10544,10,10963,
10987,144,102,58,112,111,112,0,1,28,2049,10544,10,10978,11004,144,102,58,97,100,
101,112,116,104,0,1,29,2049,10544,10,10992,11019,144,102,58,111,118,101,114,0,
2049,10973,2049,10811,2049,10987,2049,10841,10,11009,11038,144,102,58,116,117,99,107,0,2049,
10811,2049,10973,2049,10841,2049,10987,10,11028,11056,144,102,58,110,105,112,0,2049,10841,2049,
10826,10,11047,11076,144,102,58,100,114,111,112,45,112,97,105,114,0,2049,10826,2049,
10826,10,11061,11095,144,102,58,100,117,112,45,112,97,105,114,0,2049,11019,2049,11019,
10,11081,11109,144,102,58,114,111,116,0,2049,10973,2049,10841,2049,10987,2049,10841,10,11100,
11130,156,112,114,101,102,105,120,58,46,0,2049,1815,1,3672,1,3601,2049,64,1,
10584,2049,144,10,11118,11155,144,102,58,115,113,117,97,114,101,0,2049,10811,2049,10663,
10,11143,11175,144,102,58,112,111,115,105,116,105,118,101,63,0,1,0,2049,10565,
2049,10781,10,11160,11197,144,102,58,110,101,103,97,116,105,118,101,63,0,1,0,
2049,10565,2049,10767,10,11182,11216,144,102,58,110,101,103,97,116,101,0,1,-1,2049,
10565,2049,10663,10,11204,11232,144,102,58,97,98,115,0,2049,10811,2049,11197,1,11216,9,
10,11223,11249,144,102,58,112,117,116,0,2049,10624,2049,9235,10,11240,11262,144,102,58,
80,73,0,2049,3646,51,46,49,52,49,53,57,50,0,1,11264,2049,10584,10,11254,
11285,144,102,58,69,0,2049,3646,50,46,55,49,56,50,56,49,0,1,11287,2049,
10584,10,11278,11310,144,102,58,78,65,78,0,2049,3646,48,0,1,11312,2049,10584,2049,
3646,48,0,1,11320,2049,10584,2049,10675,10,11301,11338,144,102,58,73,78,70,0,2049,
3646,49,46,48,0,1,11340,2049,10584,2049,3646,48,0,1,11350,2049,10584,2049,10675,10,
11329,11369,144,102,58,45,73,78,70,0,2049,3646,45,49,46,48,0,1,11371,2049,
10584,2049,3646,48,0,1,11382,2049,10584,2049,10675,10,11359,11401,144,102,58,110,97,110,
63,0,2049,10811,2049,10753,10,11391,11416,144,102,58,105,110,102,63,0,2049,11338,2049,
10738,10,11406,11432,144,102,58,45,105,110,102,63,0,2049,11369,2049,10738,10,11421,11448,
144,102,58,114,111,117,110,100,0,2049,10811,2049,11197,1793,11469,2049,3646,48,46,53,
0,1,11456,2049,10584,2049,10651,2049,10709,10,1,11454,1793,11488,2049,3646,48,46,53,0,
1,11475,2049,10584,2049,10639,2049,10691,10,1,11473,2049,64,10,11437,11502,144,102,58,109,
105,110,0,2049,11095,2049,10767,1,10826,1,11056,2049,64,10,11493,11522,144,102,58,109,
97,120,0,2049,11095,2049,10781,1,10826,1,11056,2049,64,10,11513,11544,144,102,58,108,
105,109,105,116,0,2049,10841,2049,10973,2049,11502,2049,10987,2049,11522,10,11533,11569,144,102,
58,98,101,116,119,101,101,110,63,0,2049,11109,2049,10811,2049,10973,2049,11109,2049,11109,
2049,11544,2049,10987,2049,10738,10,11555,11595,144,102,58,105,110,99,0,2049,3646,49,0,
1,11597,2049,10584,2049,10639,10,11586,11615,144,102,58,100,101,99,0,2049,3646,49,0,
1,11617,2049,10584,2049,10651,10,11606,11636,144,102,58,99,97,115,101,0,2049,11019,2049,
10738,1793,11648,2049,10826,8,1,-1,10,1,11642,1793,11656,3,1,0,10,1,11652,2049,
64,25,6,771,10,11626,11674,144,102,58,115,105,103,110,0,2049,10811,2049,3646,48,
0,1,11678,2049,10584,2049,10738,1793,11693,1,0,2049,10826,10,1,11688,2049,2653,2049,3646,
48,0,1,11699,2049,10584,2049,10781,1793,11712,1,1,10,1,11709,1793,11719,1,-1,10,
1,11716,2049,64,10,11664,2147483645,131,101,58,77,65,88,0,11724,-2147483645,131,101,58,77,
73,78,0,11733,-2147483647,131,101,58,78,65,78,0,11742,2147483646,131,101,58,73,78,70,
0,11751,-2147483646,131,101,58,45,73,78,70,0,11760,11778,144,101,58,110,63,0,1,
-2147483645,2049,2890,1,2147483645,2049,2903,2049,2921,10,11770,11799,144,101,58,109,97,120,63,0,
1,2147483645,11,10,11789,11813,144,101,58,109,105,110,63,0,1,-2147483645,11,10,11803,11828,
144,101,58,122,101,114,111,63,0,2049,2527,10,11817,11841,144,101,58,110,97,110,
63,0,1,-2147483647,11,10,11831,11855,144,101,58,105,110,102,63,0,1,2147483646,11,10,
11845,11870,144,101,58,45,105,110,102,63,0,1,-2147483646,11,10,11859,11884,144,101,58,
99,108,105,112,0,1,-2147483645,1,2147483645,2049,2873,10,11874,11899,144,102,58,69,49,0,
1793,11901,2049,3646,49,46,101,53,0,1,11903,2049,10584,10,11891,11930,144,102,58,115,
105,103,110,101,100,45,115,113,114,116,0,2049,10811,2049,11674,2049,11232,2049,10724,2049,
10565,2049,10663,10,11913,11962,144,102,58,115,105,103,110,101,100,45,115,113,117,97,
114,101,0,2049,10811,2049,11674,2049,10811,2049,10663,2049,10565,2049,10663,10,11943,11987,144,102,
58,45,115,104,105,102,116,0,2049,11899,2049,10663,10,11975,12004,144,102,58,43,115,
104,105,102,116,0,2049,11899,2049,10675,10,11992,12022,144,102,58,43,101,110,99,111,
100,101,0,2049,11930,2049,11987,10,12009,12040,144,102,58,45,101,110,99,111,100,101,
0,2049,10811,2049,11674,2049,12004,2049,10811,2049,10663,2049,10565,2049,10663,10,11943,12065,144,102,
58,116,111,45,101,0,2049,10811,2049,11401,1793,12076,2049,10826,1,-2147483647,10,1,12071,2049,
2653,2049,10811,2049,11416,1793,12091,2049,10826,1,2147483646,10,1,12086,2049,2653,2049,10811,2049,11432,
1793,12106,2049,10826,1,-2147483646,10,1,12101,2049,2653,2049,12022,2049,11448,2049,10604,2049,11884,1,
-2147483645,1793,12125,2049,10826,10,1,12122,2049,2373,1,2147483645,1793,12136,2049,10826,10,1,12133,2049,
2373,10,12055,12151,144,101,58,116,111,45,102,0,1,-2147483647,1793,12158,2049,11310,10,1,
12155,2049,2373,1,2147483646,1793,12169,2049,11338,10,1,12166,2049,2373,1,-2147483646,1793,12180,2049,11369,
10,1,12177,2049,2373,2049,10565,2049,12040,10,12141,12200,144,102,58,115,116,111,114,101,
0,1793,12205,2049,12065,10,1,12202,2049,2100,16,10,12189,12222,144,102,58,102,101,116,
99,104,0,15,2049,12151,10,12211,12242,144,102,58,100,117,109,112,45,115,116,97,
99,107,0,2049,10797,2,1,10973,2049,2275,1793,12260,2049,10987,2049,10811,2049,11249,2049,9209,
10,1,12251,2049,2275,10,12226,12282,144,102,58,100,117,109,112,45,97,115,116,97,
99,107,0,2049,11004,2,1,10987,2049,2275,1793,12300,2049,10811,2049,11249,2049,9209,2049,10973,
10,1,12291,2049,2275,10,12265,12314,144,101,58,112,117,116,0,1,2147483645,1793,12331,2049,
3646,101,58,77,65,88,0,1,12320,2049,9235,10,1,12318,2049,2373,1,-2147483645,1793,12352,
2049,3646,101,58,77,73,78,0,1,12341,2049,9235,10,1,12339,2049,2373,1,0,1793,
12371,2049,3646,101,58,48,0,1,12362,2049,9235,10,1,12360,2049,2373,1,-2147483647,1793,12392,
2049,3646,101,58,78,65,78,0,1,12381,2049,9235,10,1,12379,2049,2373,1,2147483646,1793,
12413,2049,3646,101,58,73,78,70,0,1,12402,2049,9235,10,1,12400,2049,2373,1,-2147483646,
1793,12435,2049,3646,101,58,45,73,78,70,0,1,12423,2049,9235,10,1,12421,2049,2373,
2049,12151,2049,11249,10,12305,12452,131,85,110,105,120,0,0,12444,12465,144,105,100,101,
110,116,105,102,121,0,3841,12452,2049,2527,25,3,1,8,2049,9139,2,2049,2562,1793,
12520,3,2049,3646,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,12483,2049,9235,2049,9198,
10,1,12480,1793,12527,4097,12452,10,1,12524,2049,64,10,12305,12551,144,105,111,58,117,
110,105,120,45,115,121,115,99,97,108,108,0,2049,12465,3841,12452,2049,9122,10,12532,
12573,144,117,110,105,120,58,115,121,115,116,101,109,0,1,0,2049,12551,10,12558,
12591,144,117,110,105,120,58,102,111,114,107,0,1,1,2049,12551,10,12578,12610,144,
117,110,105,120,58,101,120,101,99,48,0,1,2,2049,12551,10,12596,12629,144,117,
110,105,120,58,101,120,101,99,49,0,1,3,2049,12551,10,12615,12648,144,117,110,
105,120,58,101,120,101,99,50,0,1,4,2049,12551,10,12634,12667,144,117,110,105,
120,58,101,120,101,99,51,0,1,5,2049,12551,10,12653,12685,144,117,110,105,120,
58,101,120,105,116,0,1,6,2049,12551,10,12672,12705,144,117,110,105,120,58,103,
101,116,112,105,100,0,1,7,2049,12551,10,12690,12723,144,117,110,105,120,58,119,
97,105,116,0,1,8,2049,12551,10,12710,12741,144,117,110,105,120,58,107,105,108,
108,0,1,9,2049,12551,10,12728,12760,144,117,110,105,120,58,112,111,112,101,110,
0,1,10,2049,12551,10,12746,12780,144,117,110,105,120,58,112,99,108,111,115,101,
0,1,11,2049,12551,10,12765,12799,144,117,110,105,120,58,99,104,100,105,114,0,
1,13,2049,12551,10,12785,12819,144,117,110,105,120,58,103,101,116,101,110,118,0,
1,14,2049,12551,10,12804,12839,144,117,110,105,120,58,112,117,116,101,110,118,0,
1,15,2049,12551,10,12824,12858,144,117,110,105,120,58,115,108,101,101,112,0,1,
16,2049,12551,10,12844,12879,144,117,110,105,120,58,103,101,116,45,99,119,100,0,
2049,3646,112,119,100,0,1,12881,1,0,2049,12760,2,2049,10233,2049,5990,4,2049,12780,
2049,3646,47,0,1,12901,2049,3852,10,12863,12935,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,3646,108,115,
32,45,49,32,124,32,119,99,32,45,108,0,1,12937,1,0,2049,12760,2,2049,
10233,2049,5990,2049,220,4,2049,12780,10,12908,12990,144,117,110,105,120,58,102,111,114,
45,101,97,99,104,45,102,105,108,101,0,2049,3646,108,115,32,45,49,32,45,
112,0,1,12992,1,0,2049,12760,2049,12935,1793,13025,1793,13020,2049,10233,2049,3601,67502597,8,
10,1,13013,2049,2110,10,1,13011,2049,2275,2049,12780,3,10,12968,13042,144,115,116,97,
114,116,0,4,2049,3428,1,0,2049,12760,10,13033,13058,144,114,101,97,100,0,2,
2049,9874,2,2049,3336,2049,2527,10,13050,13077,144,102,105,110,105,115,104,0,2049,12780,
2049,3408,10,12968,13101,144,117,110,105,120,58,115,108,117,114,112,45,112,105,112,
101,0,1793,13117,2049,13042,1793,13110,2049,13058,10,1,13107,2049,2250,2049,13077,10,1,13103,
2049,3452,10,13082,13128,131,105,111,0,0,13122,13141,144,105,100,101,110,116,105,102,
121,0,3841,13128,2049,2527,25,3,1,10,2049,9139,2,2049,2562,1793,13196,3,2049,3646,
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,13159,2049,9235,2049,9198,10,1,13156,1793,
13203,4097,13128,10,1,13200,2049,64,10,13082,13228,144,105,111,58,114,110,103,45,111,
112,101,114,97,116,105,111,110,0,2049,13141,3841,13128,2049,9122,10,13208,13247,144,110,
58,114,97,110,100,111,109,0,2049,13228,10,13235,13261,131,83,111,99,107,101,116,
115,0,0,13250,13274,144,105,100,101,110,116,105,102,121,0,3841,13261,2049,2527,25,
3,1,7,2049,9139,2,2049,2562,1793,13329,3,2049,3646,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,13312,2049,9235,2049,9198,10,1,13309,1793,13356,4097,13281,10,1,13353,2049,
64,10,13255,13381,144,115,111,99,107,101,116,58,111,112,101,114,97,116,105,111,
110,0,2049,13294,3841,13281,2049,9122,10,13361,13412,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,13381,10,13388,13434,
144,115,111,99,107,101,116,58,99,114,101,97,116,101,0,1,1,2049,13381,10,
13417,13454,144,115,111,99,107,101,116,58,98,105,110,100,0,1,2,2049,13381,10,
13439,13476,144,115,111,99,107,101,116,58,108,105,115,116,101,110,0,1,3,2049,
13381,10,13459,13498,144,115,111,99,107,101,116,58,97,99,99,101,112,116,0,1,
4,2049,13381,10,13481,13521,144,115,111,99,107,101,116,58,99,111,110,110,101,99,
116,0,1,5,2049,13381,10,13503,13541,144,115,111,99,107,101,116,58,115,101,110,
100,0,1,6,2049,13381,10,13526,13561,144,115,111,99,107,101,116,58,114,101,99,
118,0,1,8,2049,13381,10,13546,13582,144,115,111,99,107,101,116,58,99,108,111,
115,101,0,1,10,2049,13381,10,13566,13607,144,115,111,99,107,101,116,58,99,111,
110,102,105,103,117,114,101,0,1,11,2049,13381,10,13587,13625,131,83,99,114,105,
112,116,105,110,103,0,6,13612,13638,144,105,100,101,110,116,105,102,121,0,3841,
13625,2049,2527,1793,13705,1,9,2049,9139,2,2049,2562,1793,13693,3,2049,3646,73,79,32,
78,68,0,1,13292,2049,9235,2049,9198,10,1,13289,1793,13336,4097,13261,10,1,13333,2049,
64,10,13235,13361,144,115,111,99,107,101,116,58,111,112,101,114,97,116,105,111,
110,0,2049,13274,3841,13261,2049,9122,10,13341,13392,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,13361,10,13368,13414,
144,115,111,99,107,101,116,58,99,114,101,97,116,101,0,1,1,2049,13361,10,
13397,13434,144,115,111,99,107,101,116,58,98,105,110,100,0,1,2,2049,13361,10,
13419,13456,144,115,111,99,107,101,116,58,108,105,115,116,101,110,0,1,3,2049,
13361,10,13439,13478,144,115,111,99,107,101,116,58,97,99,99,101,112,116,0,1,
4,2049,13361,10,13461,13501,144,115,111,99,107,101,116,58,99,111,110,110,101,99,
116,0,1,5,2049,13361,10,13483,13521,144,115,111,99,107,101,116,58,115,101,110,
100,0,1,6,2049,13361,10,13506,13541,144,115,111,99,107,101,116,58,114,101,99,
118,0,1,8,2049,13361,10,13526,13562,144,115,111,99,107,101,116,58,99,108,111,
115,101,0,1,10,2049,13361,10,13546,13587,144,115,111,99,107,101,116,58,99,111,
110,102,105,103,117,114,101,0,1,11,2049,13361,10,13567,13605,131,83,99,114,105,
112,116,105,110,103,0,6,13592,13618,144,105,100,101,110,116,105,102,121,0,3841,
13605,2049,2527,25,3,1,9,2049,9139,2,2049,2562,1793,13673,3,2049,3646,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,13656,2049,9235,2049,9198,10,1,13653,1793,13700,4097,13625,
10,1,13697,2049,64,10,1,13644,9,10,13587,13729,144,115,99,114,105,112,116,58,
97,114,103,117,109,101,110,116,115,0,2049,13638,1,0,3841,13625,2049,9122,10,13709,
13761,144,115,99,114,105,112,116,58,103,101,116,45,97,114,103,117,109,101,110,
116,0,2049,3627,4,2049,13638,1,1,3841,13625,2049,9122,10,13738,13784,144,105,110,99,
108,117,100,101,0,2049,13638,1,2,3841,13625,2049,9122,10,13773,13808,144,115,99,114,
105,112,116,58,110,97,109,101,0,2049,3627,2049,13638,1,3,3841,13625,2049,9122,10,
13793,13842,144,115,99,114,105,112,116,58,99,117,114,114,101,110,116,45,102,105,
108,101,0,2049,3627,2049,13638,1,4,3841,13625,2049,9122,10,13819,13876,144,115,99,114,
105,112,116,58,99,117,114,114,101,110,116,45,108,105,110,101,0,2049,13638,1,
5,3841,13625,2049,9122,10,13853,13909,144,115,99,114,105,112,116,58,105,103,110,111,
114,101,45,116,111,45,101,111,108,0,2049,13638,1,6,3841,13625,2049,9122,10,13885,
13942,144,115,99,114,105,112,116,58,97,98,111,114,116,45,105,110,99,108,117,
100,101,0,2049,13638,1,7,3841,13625,2049,9122,10,13918,13960,144,97,98,111,114,116,
0,1,124,2049,3047,2049,13638,1,8,3841,13625,2049,9122,10,13951,1024,131,84,73,66,
0,13973,13994,144,105,109,97,103,101,58,115,97,118,101,0,1,1000,2049,9139,2049,
9122,10,13980,14013,131,75,101,121,98,111,97,114,100,0,0,14001,14026,144,105,100,
101,110,116,105,102,121,0,3841,14013,2049,2527,1793,14093,1,1,2049,9139,2,2049,2562,
1793,14081,3,2049,3646,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,14044,2049,9235,2049,
9198,10,1,14041,1793,14088,4097,14013,10,1,14085,2049,64,10,1,14032,9,10,13980,14106,
144,99,58,103,101,116,0,2049,14026,3841,14013,2049,9122,10,14097,14123,144,103,97,116,
104,101,114,0,2,1793,14130,1,8,11,10,1,14126,1793,14138,1,127,11,10,1,
14134,2049,2122,22,1,11,1,3336,2049,64,10,14113,14159,144,99,121,99,108,101,0,
2049,14106,2049,2090,4,8,2049,2459,25,3,2049,14123,1,14159,7,10,14097,14190,144,112,
97,114,115,101,45,117,110,116,105,108,0,1793,14202,2049,3627,2049,3428,2049,14159,771,
2049,3302,10,1,14192,2049,3452,10,14175,14216,144,115,58,103,101,116,0,1793,14238,1793,
14224,1,10,11,10,1,14220,1793,14232,1,13,11,10,1,14228,2049,2122,22,10,1,
14218,2049,14190,10,14207,14257,144,115,58,103,101,116,45,119,111,114,100,0,1,5592,
2049,14190,10,14243,14271,144,99,108,101,97,114,0,1,27,2049,9185,2049,3646,91,50,
74,0,1,14277,2049,9235,1,27,2049,9185,2049,3646,91,48,59,48,72,0,1,14291,
2049,9235,10,14262,14312,131,78,111,69,99,104,111,0,0,14302,14320,144,98,121,101,
0,1,0,2049,12701,10,14313,14332,131,69,79,84,0,0,14325,14345,131,73,103,110,
111,114,105,110,103,0,0,14333,14359,144,105,103,110,111,114,105,110,103,63,0,
3841,14345,10,14346,14373,144,118,101,114,115,105,111,110,0,3841,4,1,100,20,10,
14362,14388,144,100,111,110,101,63,0,2,4097,14332,1793,14397,1,13,11,10,1,14393,
1793,14405,1,10,11,10,1,14401,1793,14413,1,32,11,10,1,14409,2049,2159,22,22,
10,14379,14428,144,101,111,108,63,0,3841,14332,1793,14436,1,13,11,10,1,14432,1793,
14444,1,10,11,10,1,14440,2049,2122,22,10,14420,14460,144,118,97,108,105,100,63,
0,2,2049,79,2049,2609,10,14450,14479,144,99,104,101,99,107,45,101,111,102,0,
2,1793,14486,1,-1,11,10,1,14482,1793,14494,1,4,11,10,1,14490,2049,2122,22,
1,14320,9,10,14466,14509,144,98,115,0,2049,3360,2049,3360,771,10,14503,14527,144,99,
104,101,99,107,45,98,115,0,2,1793,14534,1,8,11,10,1,14530,1793,14542,1,
127,11,10,1,14538,2049,2122,22,1,14509,9,10,14515,14560,144,99,104,101,99,107,
0,2049,14479,2049,14527,10,14551,14578,144,99,104,97,114,97,99,116,101,114,0,2049,
14106,2,2049,3336,10,14565,14594,144,98,117,102,102,101,114,0,1793,14604,1,1024,2049,
3428,8,2049,3302,10,1,14596,2049,3452,10,14584,14623,144,114,101,97,100,45,116,111,
107,101,110,0,1793,14639,1793,14634,2049,14578,2049,14560,2049,14388,10,1,14627,2049,2250,10,
1,14625,2049,14594,2049,3724,10,14609,14655,144,105,110,112,117,116,0,2049,14623,2049,14460,
10,14646,14671,144,112,114,111,99,101,115,115,0,2049,14359,1793,14689,771,2049,14428,1793,
14685,1,14345,2049,3047,10,1,14680,9,10,1,14675,2049,2653,1,367,1,11,2049,64,
10,14313,14706,156,47,47,0,2049,13909,1,14345,2049,3034,10,14700,14723,144,98,97,110,
110,101,114,0,2049,14373,2049,3646,82,69,84,82,79,32,49,50,32,40,37,110,
46,37,110,41,92,110,0,1,14727,2049,7212,2049,9235,2049,1543,2049,1874,18,2049,1874,
2049,1543,2049,3646,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,14763,2049,7212,2049,9235,10,14713,14807,
144,108,105,115,116,101,110,0,3841,14312,1793,14814,2049,14723,10,1,14811,2049,70,2049,
14655,2049,14671,1,14818,7,10,14797,14835,131,67,108,111,99,107,0,0,14826,14848,144,
105,100,101,110,116,105,102,121,0,3841,14835,2049,2527,1793,14915,1,5,2049,9139,2,
2049,2562,1793,14903,3,2049,3646,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,14866,2049,
9235,2049,9198,10,1,14863,1793,14910,4097,14835,10,1,14907,2049,64,10,1,14854,9,10,
14797,14938,144,99,108,111,99,107,58,111,112,101,114,97,116,105,111,110,0,2049,
14848,3841,14835,2049,9122,10,14919,14964,144,99,108,111,99,107,58,116,105,109,101,115,
116,97,109,112,0,1,0,2049,14938,10,14945,14982,144,99,108,111,99,107,58,100,
97,121,0,1,1,2049,14938,10,14969,15002,144,99,108,111,99,107,58,109,111,110,
116,104,0,1,2,2049,14938,10,14987,15021,144,99,108,111,99,107,58,121,101,97,
114,0,1,3,2049,14938,10,15007,15040,144,99,108,111,99,107,58,104,111,117,114,
0,1,4,2049,14938,10,15026,15061,144,99,108,111,99,107,58,109,105,110,117,116,
101,0,1,5,2049,14938,10,15045,15082,144,99,108,111,99,107,58,115,101,99,111,
110,100,0,1,6,2049,14938,10,15066,15104,144,99,108,111,99,107,58,117,116,99,
58,100,97,121,0,1,7,2049,14938,10,15087,15128,144,99,108,111,99,107,58,117,
116,99,58,109,111,110,116,104,0,1,8,2049,14938,10,15109,15151,144,99,108,111,
99,107,58,117,116,99,58,121,101,97,114,0,1,9,2049,14938,10,15133,15174,144,
99,108,111,99,107,58,117,116,99,58,104,111,117,114,0,1,10,2049,14938,10,
15156,15199,144,99,108,111,99,107,58,117,116,99,58,109,105,110,117,116,101,0,
1,11,2049,14938,10,15179,15224,144,99,108,111,99,107,58,117,116,99,58,115,101,
99,111,110,100,0,1,12,2049,14938,10,15204,15240,144,100,58,119,111,114,100,115,
0,1793,15249,2049,162,2049,9235,2049,9209,10,1,15242,2049,7441,10,15229,15270,144,100,58,
119,111,114,100,115,45,119,105,116,104,0,2049,1874,2049,4648,1793,15301,2049,162,2,
2049,1874,2049,4162,1793,15290,2049,9235,2049,9209,10,1,15285,1793,15296,3,10,1,15294,2049,
64,10,1,15276,2049,7441,10,15254,15325,144,100,105,115,112,108,97,121,45,105,102,
45,108,101,102,116,0,2,2049,1874,2049,4598,1793,15337,2049,9235,2049,9209,10,1,15332,
1793,15343,3,10,1,15341,2049,64,10,15254,15374,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,1874,2049,4648,1793,
15385,2049,162,2049,15325,10,1,15380,2049,7441,10,15348,15402,144,115,121,115,58,97,114,
103,99,0,2049,13729,10,15390,15417,144,115,121,115,58,97,114,103,118,0,2049,13761,
10,15405,15432,144,115,121,115,58,110,97,109,101,0,2049,13808,10,0 };
32,70,79,85,78,68,0,1,13636,2049,9235,2049,9198,10,1,13633,1793,13680,4097,13605,
10,1,13677,2049,64,10,13567,13705,144,115,99,114,105,112,116,58,97,114,103,117,
109,101,110,116,115,0,2049,13618,1,0,3841,13605,2049,9122,10,13685,13737,144,115,99,
114,105,112,116,58,103,101,116,45,97,114,103,117,109,101,110,116,0,2049,3627,
4,2049,13618,1,1,3841,13605,2049,9122,10,13714,13760,144,105,110,99,108,117,100,101,
0,2049,13618,1,2,3841,13605,2049,9122,10,13749,13784,144,115,99,114,105,112,116,58,
110,97,109,101,0,2049,3627,2049,13618,1,3,3841,13605,2049,9122,10,13769,13818,144,115,
99,114,105,112,116,58,99,117,114,114,101,110,116,45,102,105,108,101,0,2049,
3627,2049,13618,1,4,3841,13605,2049,9122,10,13795,13852,144,115,99,114,105,112,116,58,
99,117,114,114,101,110,116,45,108,105,110,101,0,2049,13618,1,5,3841,13605,2049,
9122,10,13829,13885,144,115,99,114,105,112,116,58,105,103,110,111,114,101,45,116,
111,45,101,111,108,0,2049,13618,1,6,3841,13605,2049,9122,10,13861,13918,144,115,99,
114,105,112,116,58,97,98,111,114,116,45,105,110,99,108,117,100,101,0,2049,
13618,1,7,3841,13605,2049,9122,10,13894,13936,144,97,98,111,114,116,0,1,124,2049,
3047,2049,13618,1,8,3841,13605,2049,9122,10,13927,1024,131,84,73,66,0,13949,13970,144,
105,109,97,103,101,58,115,97,118,101,0,1,1000,2049,9139,2049,9122,10,13956,13989,
131,75,101,121,98,111,97,114,100,0,0,13977,14002,144,105,100,101,110,116,105,
102,121,0,3841,13989,2049,2527,25,3,1,1,2049,9139,2,2049,2562,1793,14057,3,2049,
3646,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,14020,2049,9235,2049,9198,10,1,14017,
1793,14064,4097,13989,10,1,14061,2049,64,10,13956,14078,144,99,58,103,101,116,0,2049,
14002,3841,13989,2049,9122,10,14069,14095,144,103,97,116,104,101,114,0,2,1793,14102,1,
8,11,10,1,14098,1793,14110,1,127,11,10,1,14106,2049,2122,22,1,11,1,3336,
2049,64,10,14085,14131,144,99,121,99,108,101,0,2049,14078,2049,2090,4,8,2049,2459,
25,3,2049,14095,1,14131,7,10,14069,14162,144,112,97,114,115,101,45,117,110,116,
105,108,0,1793,14174,2049,3627,2049,3428,2049,14131,771,2049,3302,10,1,14164,2049,3452,10,
14147,14188,144,115,58,103,101,116,0,1793,14210,1793,14196,1,10,11,10,1,14192,1793,
14204,1,13,11,10,1,14200,2049,2122,22,10,1,14190,2049,14162,10,14179,14229,144,115,
58,103,101,116,45,119,111,114,100,0,1,5592,2049,14162,10,14215,14243,144,99,108,
101,97,114,0,1,27,2049,9185,2049,3646,91,50,74,0,1,14249,2049,9235,1,27,
2049,9185,2049,3646,91,48,59,48,72,0,1,14263,2049,9235,10,14234,14284,131,78,111,
69,99,104,111,0,0,14274,14292,144,98,121,101,0,1,0,2049,12685,10,14285,14304,
131,69,79,84,0,0,14297,14317,131,73,103,110,111,114,105,110,103,0,0,14305,
14331,144,105,103,110,111,114,105,110,103,63,0,3841,14317,10,14318,14345,144,118,101,
114,115,105,111,110,0,3841,4,1,100,20,10,14334,14360,144,100,111,110,101,63,
0,2,4097,14304,1793,14369,1,13,11,10,1,14365,1793,14377,1,10,11,10,1,14373,
1793,14385,1,32,11,10,1,14381,2049,2159,22,22,10,14351,14400,144,101,111,108,63,
0,3841,14304,1793,14408,1,13,11,10,1,14404,1793,14416,1,10,11,10,1,14412,2049,
2122,22,10,14392,14432,144,118,97,108,105,100,63,0,2,2049,79,2049,2609,10,14422,
14451,144,99,104,101,99,107,45,101,111,102,0,2,1793,14458,1,-1,11,10,1,
14454,1793,14466,1,4,11,10,1,14462,2049,2122,22,1,14292,9,10,14438,14481,144,98,
115,0,2049,3360,2049,3360,771,10,14475,14499,144,99,104,101,99,107,45,98,115,0,
2,1793,14506,1,8,11,10,1,14502,1793,14514,1,127,11,10,1,14510,2049,2122,22,
1,14481,9,10,14487,14532,144,99,104,101,99,107,0,2049,14451,2049,14499,10,14523,14550,
144,99,104,97,114,97,99,116,101,114,0,2049,14078,2,2049,3336,10,14537,14566,144,
98,117,102,102,101,114,0,1793,14576,1,1024,2049,3428,8,2049,3302,10,1,14568,2049,
3452,10,14556,14595,144,114,101,97,100,45,116,111,107,101,110,0,1793,14611,1793,14606,
2049,14550,2049,14532,2049,14360,10,1,14599,2049,2250,10,1,14597,2049,14566,2049,3724,10,14581,
14627,144,105,110,112,117,116,0,2049,14595,2049,14432,10,14618,14643,144,112,114,111,99,
101,115,115,0,2049,14331,1793,14661,771,2049,14400,1793,14657,1,14317,2049,3047,10,1,14652,
9,10,1,14647,2049,2653,1,367,1,11,2049,64,10,14285,14678,156,47,47,0,2049,
13885,1,14317,2049,3034,10,14672,14695,144,98,97,110,110,101,114,0,2049,14345,2049,3646,
82,69,84,82,79,32,49,50,32,40,37,110,46,37,110,41,92,110,0,1,
14699,2049,7212,2049,9235,2049,1543,2049,1874,18,2049,1874,2049,1543,2049,3646,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,14735,2049,7212,2049,9235,10,14685,14779,144,108,105,115,116,101,110,0,
3841,14284,1793,14786,2049,14695,10,1,14783,2049,70,2049,14627,2049,14643,1,14790,7,10,14769,
14807,131,67,108,111,99,107,0,0,14798,14820,144,105,100,101,110,116,105,102,121,
0,3841,14807,2049,2527,25,3,1,5,2049,9139,2,2049,2562,1793,14875,3,2049,3646,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,14838,2049,9235,2049,9198,10,1,14835,1793,14882,
4097,14807,10,1,14879,2049,64,10,14769,14906,144,99,108,111,99,107,58,111,112,101,
114,97,116,105,111,110,0,2049,14820,3841,14807,2049,9122,10,14887,14932,144,99,108,111,
99,107,58,116,105,109,101,115,116,97,109,112,0,1,0,2049,14906,10,14913,14950,
144,99,108,111,99,107,58,100,97,121,0,1,1,2049,14906,10,14937,14970,144,99,
108,111,99,107,58,109,111,110,116,104,0,1,2,2049,14906,10,14955,14989,144,99,
108,111,99,107,58,121,101,97,114,0,1,3,2049,14906,10,14975,15008,144,99,108,
111,99,107,58,104,111,117,114,0,1,4,2049,14906,10,14994,15029,144,99,108,111,
99,107,58,109,105,110,117,116,101,0,1,5,2049,14906,10,15013,15050,144,99,108,
111,99,107,58,115,101,99,111,110,100,0,1,6,2049,14906,10,15034,15072,144,99,
108,111,99,107,58,117,116,99,58,100,97,121,0,1,7,2049,14906,10,15055,15096,
144,99,108,111,99,107,58,117,116,99,58,109,111,110,116,104,0,1,8,2049,
14906,10,15077,15119,144,99,108,111,99,107,58,117,116,99,58,121,101,97,114,0,
1,9,2049,14906,10,15101,15142,144,99,108,111,99,107,58,117,116,99,58,104,111,
117,114,0,1,10,2049,14906,10,15124,15167,144,99,108,111,99,107,58,117,116,99,
58,109,105,110,117,116,101,0,1,11,2049,14906,10,15147,15192,144,99,108,111,99,
107,58,117,116,99,58,115,101,99,111,110,100,0,1,12,2049,14906,10,15172,15208,
144,100,58,119,111,114,100,115,0,1793,15217,2049,162,2049,9235,2049,9209,10,1,15210,
2049,7441,10,15197,15238,144,100,58,119,111,114,100,115,45,119,105,116,104,0,2049,
1874,2049,4648,1793,15269,2049,162,2,2049,1874,2049,4162,1793,15258,2049,9235,2049,9209,10,1,
15253,1793,15264,3,10,1,15262,2049,64,10,1,15244,2049,7441,10,15222,15293,144,100,105,
115,112,108,97,121,45,105,102,45,108,101,102,116,0,2,2049,1874,2049,4598,1793,
15305,2049,9235,2049,9209,10,1,15300,1793,15311,3,10,1,15309,2049,64,10,15222,15342,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,1874,2049,4648,1793,15353,2049,162,2049,15293,10,1,15348,2049,7441,10,15316,
15370,144,115,121,115,58,97,114,103,99,0,2049,13705,10,15358,15385,144,115,121,115,
58,97,114,103,118,0,2049,13737,10,15373,15400,144,115,121,115,58,110,97,109,101,
0,2049,13784,10,0 };