Windows: fix `path-list-string->path-list' to throw away quotes

--- which seems to be what the command shell does with quotes in
 PATH, at least; Microsoft isn't in the habit of documenting this
 sort of thing
This commit is contained in:
Matthew Flatt 2011-01-25 20:27:25 -07:00
parent 88218036cc
commit b5bc288f67
4 changed files with 423 additions and 408 deletions

View File

@ -153,7 +153,8 @@ by @racket[kind], which must be one of the following:
Parses a string or byte string containing a list of paths, and returns
a list of path strings. Under @|AllUnix|, paths in a path list are
separated by a @litchar{:}; under Windows, paths are separated by a
@litchar{;}. Whenever the path list contains an empty path, the list
@litchar{;}, and all @litchar{"}s in the string are discarded. Whenever the path
list contains an empty path, the list
@racket[default-path-list] is spliced into the returned list of
paths. Parts of @racket[str] that do not form a valid path are not
included in the returned list.}

View File

@ -99,419 +99,427 @@
EVAL_ONE_SIZED_STR((char *)expr, 2025);
}
{
SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,55,72,0,0,0,1,0,0,8,0,21,
SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,55,74,0,0,0,1,0,0,8,0,21,
0,26,0,43,0,58,0,76,0,92,0,106,0,128,0,146,0,166,0,182,0,
200,0,231,0,4,1,26,1,40,1,46,1,60,1,65,1,75,1,83,1,111,
1,143,1,188,1,194,1,201,1,207,1,252,1,20,2,59,2,61,2,227,2,
61,4,102,4,175,5,5,6,91,6,190,6,18,7,31,7,164,7,137,8,221,
8,234,8,255,9,202,10,215,10,107,15,122,16,11,17,252,17,234,18,241,18,
249,18,1,19,126,19,140,19,125,21,226,23,248,23,8,24,212,25,59,26,73,
26,155,27,92,29,101,29,110,29,136,29,9,30,0,0,28,33,0,0,67,35,
37,117,116,105,108,115,72,112,97,116,104,45,115,116,114,105,110,103,63,64,98,
115,98,115,76,110,111,114,109,97,108,45,99,97,115,101,45,112,97,116,104,74,
45,99,104,101,99,107,45,114,101,108,112,97,116,104,77,45,99,104,101,99,107,
45,99,111,108,108,101,99,116,105,111,110,75,99,111,108,108,101,99,116,105,111,
110,45,112,97,116,104,73,102,105,110,100,45,99,111,108,45,102,105,108,101,1,
20,99,111,108,108,101,99,116,105,111,110,45,102,105,108,101,45,112,97,116,104,
77,99,104,101,99,107,45,115,117,102,102,105,120,45,99,97,108,108,79,112,97,
116,104,45,114,101,112,108,97,99,101,45,115,117,102,102,105,120,75,112,97,116,
104,45,97,100,100,45,115,117,102,102,105,120,77,108,111,97,100,47,117,115,101,
45,99,111,109,112,105,108,101,100,1,29,102,105,110,100,45,108,105,98,114,97,
114,121,45,99,111,108,108,101,99,116,105,111,110,45,112,97,116,104,115,1,27,
112,97,116,104,45,108,105,115,116,45,115,116,114,105,110,103,45,62,112,97,116,
104,45,108,105,115,116,1,20,102,105,110,100,45,101,120,101,99,117,116,97,98,
108,101,45,112,97,116,104,73,101,109,98,101,100,100,101,100,45,108,111,97,100,
65,113,117,111,116,101,29,94,2,18,68,35,37,112,97,114,97,109,122,11,64,
108,111,111,112,69,101,120,101,99,45,102,105,108,101,67,119,105,110,100,111,119,
115,6,25,25,112,97,116,104,32,111,114,32,118,97,108,105,100,45,112,97,116,
104,32,115,116,114,105,110,103,6,29,29,126,97,58,32,105,110,118,97,108,105,
100,32,114,101,108,97,116,105,118,101,32,112,97,116,104,58,32,126,115,6,42,
42,126,97,58,32,99,111,108,108,101,99,116,105,111,110,32,110,111,116,32,102,
111,117,110,100,58,32,126,115,32,105,110,32,97,110,121,32,111,102,58,32,126,
115,65,99,108,111,111,112,6,4,4,46,114,107,116,6,3,3,46,115,115,6,
42,42,112,97,116,104,32,40,102,111,114,32,97,110,121,32,115,121,115,116,101,
109,41,32,111,114,32,118,97,108,105,100,45,112,97,116,104,32,115,116,114,105,
110,103,6,21,21,115,116,114,105,110,103,32,111,114,32,98,121,116,101,32,115,
116,114,105,110,103,6,36,36,99,97,110,110,111,116,32,97,100,100,32,97,32,
115,117,102,102,105,120,32,116,111,32,97,32,114,111,111,116,32,112,97,116,104,
58,32,5,0,27,20,14,159,80,159,37,52,38,250,80,159,40,53,38,249,22,
27,11,80,159,42,52,38,22,174,13,10,248,22,181,5,23,196,2,28,248,22,
180,6,23,194,2,12,87,94,248,22,139,9,23,194,1,27,20,14,159,80,159,
38,52,38,250,80,159,41,53,38,249,22,27,11,80,159,43,52,38,22,174,13,
10,248,22,181,5,23,197,2,28,248,22,180,6,23,194,2,12,87,94,248,22,
139,9,23,194,1,27,20,14,159,80,159,39,52,38,250,80,159,42,53,38,249,
22,27,11,80,159,44,52,38,22,174,13,10,248,22,181,5,23,198,2,28,248,
22,180,6,23,194,2,12,87,94,248,22,139,9,23,194,1,248,80,159,40,55,
37,197,28,248,22,81,23,195,2,9,27,248,22,74,23,196,2,27,28,248,22,
1,143,1,188,1,194,1,201,1,207,1,252,1,20,2,59,2,61,2,63,2,
229,2,63,4,104,4,177,5,7,6,93,6,192,6,20,7,33,7,166,7,139,
8,223,8,236,8,1,10,204,10,217,10,109,15,124,16,13,17,254,17,236,18,
243,18,251,18,3,19,128,19,142,19,152,19,217,21,142,24,164,24,180,24,128,
26,231,26,245,26,71,28,8,30,17,30,26,30,52,30,181,30,0,0,200,33,
0,0,67,35,37,117,116,105,108,115,72,112,97,116,104,45,115,116,114,105,110,
103,63,64,98,115,98,115,76,110,111,114,109,97,108,45,99,97,115,101,45,112,
97,116,104,74,45,99,104,101,99,107,45,114,101,108,112,97,116,104,77,45,99,
104,101,99,107,45,99,111,108,108,101,99,116,105,111,110,75,99,111,108,108,101,
99,116,105,111,110,45,112,97,116,104,73,102,105,110,100,45,99,111,108,45,102,
105,108,101,1,20,99,111,108,108,101,99,116,105,111,110,45,102,105,108,101,45,
112,97,116,104,77,99,104,101,99,107,45,115,117,102,102,105,120,45,99,97,108,
108,79,112,97,116,104,45,114,101,112,108,97,99,101,45,115,117,102,102,105,120,
75,112,97,116,104,45,97,100,100,45,115,117,102,102,105,120,77,108,111,97,100,
47,117,115,101,45,99,111,109,112,105,108,101,100,1,29,102,105,110,100,45,108,
105,98,114,97,114,121,45,99,111,108,108,101,99,116,105,111,110,45,112,97,116,
104,115,1,27,112,97,116,104,45,108,105,115,116,45,115,116,114,105,110,103,45,
62,112,97,116,104,45,108,105,115,116,1,20,102,105,110,100,45,101,120,101,99,
117,116,97,98,108,101,45,112,97,116,104,73,101,109,98,101,100,100,101,100,45,
108,111,97,100,65,113,117,111,116,101,29,94,2,18,68,35,37,112,97,114,97,
109,122,11,64,108,111,111,112,69,101,120,101,99,45,102,105,108,101,67,119,105,
110,100,111,119,115,6,25,25,112,97,116,104,32,111,114,32,118,97,108,105,100,
45,112,97,116,104,32,115,116,114,105,110,103,6,29,29,126,97,58,32,105,110,
118,97,108,105,100,32,114,101,108,97,116,105,118,101,32,112,97,116,104,58,32,
126,115,6,42,42,126,97,58,32,99,111,108,108,101,99,116,105,111,110,32,110,
111,116,32,102,111,117,110,100,58,32,126,115,32,105,110,32,97,110,121,32,111,
102,58,32,126,115,65,99,108,111,111,112,6,4,4,46,114,107,116,6,3,3,
46,115,115,6,42,42,112,97,116,104,32,40,102,111,114,32,97,110,121,32,115,
121,115,116,101,109,41,32,111,114,32,118,97,108,105,100,45,112,97,116,104,32,
115,116,114,105,110,103,6,21,21,115,116,114,105,110,103,32,111,114,32,98,121,
116,101,32,115,116,114,105,110,103,6,36,36,99,97,110,110,111,116,32,97,100,
100,32,97,32,115,117,102,102,105,120,32,116,111,32,97,32,114,111,111,116,32,
112,97,116,104,58,32,5,0,5,0,27,20,14,159,80,159,37,52,38,250,80,
159,40,53,38,249,22,27,11,80,159,42,52,38,22,174,13,10,248,22,181,5,
23,196,2,28,248,22,180,6,23,194,2,12,87,94,248,22,139,9,23,194,1,
27,20,14,159,80,159,38,52,38,250,80,159,41,53,38,249,22,27,11,80,159,
43,52,38,22,174,13,10,248,22,181,5,23,197,2,28,248,22,180,6,23,194,
2,12,87,94,248,22,139,9,23,194,1,27,20,14,159,80,159,39,52,38,250,
80,159,42,53,38,249,22,27,11,80,159,44,52,38,22,174,13,10,248,22,181,
5,23,198,2,28,248,22,180,6,23,194,2,12,87,94,248,22,139,9,23,194,
1,248,80,159,40,55,37,197,28,248,22,81,23,195,2,9,27,248,22,74,23,
196,2,27,28,248,22,160,14,23,195,2,23,194,1,28,248,22,159,14,23,195,
2,249,22,161,14,23,196,1,250,80,158,43,50,248,22,176,14,2,21,11,10,
250,80,158,41,50,248,22,176,14,2,21,23,197,1,10,28,23,193,2,249,22,
73,248,22,163,14,249,22,161,14,23,198,1,247,22,177,14,27,248,22,75,23,
200,1,28,248,22,81,23,194,2,9,27,248,22,74,23,195,2,27,28,248,22,
160,14,23,195,2,23,194,1,28,248,22,159,14,23,195,2,249,22,161,14,23,
196,1,250,80,158,43,50,248,22,176,14,2,21,11,10,250,80,158,41,50,248,
196,1,250,80,158,48,50,248,22,176,14,2,21,11,10,250,80,158,46,50,248,
22,176,14,2,21,23,197,1,10,28,23,193,2,249,22,73,248,22,163,14,249,
22,161,14,23,198,1,247,22,177,14,27,248,22,75,23,200,1,28,248,22,81,
23,194,2,9,27,248,22,74,23,195,2,27,28,248,22,160,14,23,195,2,23,
194,1,28,248,22,159,14,23,195,2,249,22,161,14,23,196,1,250,80,158,48,
50,248,22,176,14,2,21,11,10,250,80,158,46,50,248,22,176,14,2,21,23,
197,1,10,28,23,193,2,249,22,73,248,22,163,14,249,22,161,14,23,198,1,
247,22,177,14,248,80,159,46,54,37,248,22,75,23,199,1,87,94,23,193,1,
248,80,159,44,54,37,248,22,75,23,197,1,87,94,23,193,1,27,248,22,75,
23,198,1,28,248,22,81,23,194,2,9,27,248,22,74,23,195,2,27,28,248,
22,160,14,23,195,2,23,194,1,28,248,22,159,14,23,195,2,249,22,161,14,
23,196,1,250,80,158,46,50,248,22,176,14,2,21,11,10,250,80,158,44,50,
248,22,176,14,2,21,23,197,1,10,28,23,193,2,249,22,73,248,22,163,14,
249,22,161,14,23,198,1,247,22,177,14,248,80,159,44,54,37,248,22,75,23,
199,1,248,80,159,42,54,37,248,22,75,196,27,248,22,136,14,23,195,2,28,
23,193,2,192,87,94,23,193,1,28,248,22,185,6,23,195,2,27,248,22,158,
14,195,28,192,192,248,22,159,14,195,11,87,94,28,28,248,22,137,14,23,195,
2,10,28,248,22,136,14,23,195,2,10,28,248,22,185,6,23,195,2,28,248,
22,158,14,23,195,2,10,248,22,159,14,23,195,2,11,12,250,22,167,9,76,
110,111,114,109,97,108,45,112,97,116,104,45,99,97,115,101,6,42,42,112,97,
116,104,32,40,102,111,114,32,97,110,121,32,115,121,115,116,101,109,41,32,111,
114,32,118,97,108,105,100,45,112,97,116,104,32,115,116,114,105,110,103,23,197,
2,28,28,248,22,137,14,23,195,2,249,22,131,9,248,22,138,14,23,197,2,
2,22,249,22,131,9,247,22,143,8,2,22,27,28,248,22,185,6,23,196,2,
23,195,2,248,22,133,8,248,22,141,14,23,197,2,28,249,22,191,14,0,21,
35,114,120,34,94,91,92,92,93,91,92,92,93,91,63,93,91,92,92,93,34,
23,195,2,28,248,22,185,6,195,248,22,144,14,195,194,27,248,22,160,7,23,
195,1,249,22,145,14,248,22,136,8,250,22,135,15,0,6,35,114,120,34,47,
34,28,249,22,191,14,0,22,35,114,120,34,91,47,92,92,93,91,46,32,93,
43,91,47,92,92,93,42,36,34,23,201,2,23,199,1,250,22,135,15,0,19,
35,114,120,34,91,32,46,93,43,40,91,47,92,92,93,42,41,36,34,23,202,
1,6,2,2,92,49,80,159,44,37,38,2,22,28,248,22,185,6,194,248,22,
144,14,194,193,87,94,28,28,248,22,136,14,23,195,2,10,28,248,22,185,6,
23,195,2,28,248,22,158,14,23,195,2,10,248,22,159,14,23,195,2,11,12,
250,22,167,9,23,196,2,2,23,23,197,2,28,248,22,158,14,23,195,2,12,
248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,23,200,1,
23,201,1,247,22,23,87,94,28,28,248,22,136,14,23,195,2,10,28,248,22,
185,6,23,195,2,28,248,22,158,14,23,195,2,10,248,22,159,14,23,195,2,
11,12,250,22,167,9,23,196,2,2,23,23,197,2,28,248,22,158,14,23,195,
2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,23,
200,1,23,201,1,247,22,23,87,94,87,94,28,28,248,22,136,14,23,195,2,
22,161,14,23,198,1,247,22,177,14,248,80,159,46,54,37,248,22,75,23,199,
1,87,94,23,193,1,248,80,159,44,54,37,248,22,75,23,197,1,87,94,23,
193,1,27,248,22,75,23,198,1,28,248,22,81,23,194,2,9,27,248,22,74,
23,195,2,27,28,248,22,160,14,23,195,2,23,194,1,28,248,22,159,14,23,
195,2,249,22,161,14,23,196,1,250,80,158,46,50,248,22,176,14,2,21,11,
10,250,80,158,44,50,248,22,176,14,2,21,23,197,1,10,28,23,193,2,249,
22,73,248,22,163,14,249,22,161,14,23,198,1,247,22,177,14,248,80,159,44,
54,37,248,22,75,23,199,1,248,80,159,42,54,37,248,22,75,196,27,248,22,
136,14,23,195,2,28,23,193,2,192,87,94,23,193,1,28,248,22,185,6,23,
195,2,27,248,22,158,14,195,28,192,192,248,22,159,14,195,11,87,94,28,28,
248,22,137,14,23,195,2,10,28,248,22,136,14,23,195,2,10,28,248,22,185,
6,23,195,2,28,248,22,158,14,23,195,2,10,248,22,159,14,23,195,2,11,
12,250,22,167,9,76,110,111,114,109,97,108,45,112,97,116,104,45,99,97,115,
101,6,42,42,112,97,116,104,32,40,102,111,114,32,97,110,121,32,115,121,115,
116,101,109,41,32,111,114,32,118,97,108,105,100,45,112,97,116,104,32,115,116,
114,105,110,103,23,197,2,28,28,248,22,137,14,23,195,2,249,22,131,9,248,
22,138,14,23,197,2,2,22,249,22,131,9,247,22,143,8,2,22,27,28,248,
22,185,6,23,196,2,23,195,2,248,22,133,8,248,22,141,14,23,197,2,28,
249,22,191,14,0,21,35,114,120,34,94,91,92,92,93,91,92,92,93,91,63,
93,91,92,92,93,34,23,195,2,28,248,22,185,6,195,248,22,144,14,195,194,
27,248,22,160,7,23,195,1,249,22,145,14,248,22,136,8,250,22,135,15,0,
6,35,114,120,34,47,34,28,249,22,191,14,0,22,35,114,120,34,91,47,92,
92,93,91,46,32,93,43,91,47,92,92,93,42,36,34,23,201,2,23,199,1,
250,22,135,15,0,19,35,114,120,34,91,32,46,93,43,40,91,47,92,92,93,
42,41,36,34,23,202,1,6,2,2,92,49,80,159,44,37,38,2,22,28,248,
22,185,6,194,248,22,144,14,194,193,87,94,28,28,248,22,136,14,23,195,2,
10,28,248,22,185,6,23,195,2,28,248,22,158,14,23,195,2,10,248,22,159,
14,23,195,2,11,12,250,22,167,9,195,2,23,23,197,2,28,248,22,158,14,
23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,
24,199,23,201,1,247,22,23,249,22,3,89,162,8,44,37,50,9,223,2,33,
38,196,87,94,28,28,248,22,136,14,23,194,2,10,28,248,22,185,6,23,194,
2,28,248,22,158,14,23,194,2,10,248,22,159,14,23,194,2,11,12,250,22,
167,9,2,7,2,23,23,196,2,28,248,22,158,14,23,194,2,12,248,22,150,
12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,2,7,23,200,1,247,
22,23,32,41,89,162,8,44,41,56,2,26,222,33,42,28,248,22,81,23,197,
2,87,94,23,196,1,28,23,197,2,196,87,94,23,197,1,248,22,150,12,249,
22,189,11,251,22,169,7,2,25,2,7,28,248,22,81,23,203,2,87,94,23,
202,1,23,201,1,250,22,1,22,154,14,23,204,1,23,205,1,23,200,1,247,
22,23,27,249,22,154,14,248,22,74,23,200,2,23,197,2,28,248,22,149,14,
23,194,2,27,250,22,1,22,154,14,23,197,1,199,28,248,22,149,14,193,192,
252,2,41,199,200,201,248,22,75,203,203,252,2,41,198,199,200,248,22,75,202,
202,87,94,87,94,87,94,28,28,248,22,136,14,23,194,2,10,28,248,22,185,
14,23,195,2,11,12,250,22,167,9,23,196,2,2,23,23,197,2,28,248,22,
158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,
7,2,24,23,200,1,23,201,1,247,22,23,87,94,28,28,248,22,136,14,23,
195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14,23,195,2,10,248,
22,159,14,23,195,2,11,12,250,22,167,9,23,196,2,2,23,23,197,2,28,
248,22,158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,
22,169,7,2,24,23,200,1,23,201,1,247,22,23,87,94,87,94,28,28,248,
22,136,14,23,195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14,23,
195,2,10,248,22,159,14,23,195,2,11,12,250,22,167,9,195,2,23,23,197,
2,28,248,22,158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,
7,250,22,169,7,2,24,199,23,201,1,247,22,23,249,22,3,89,162,8,44,
37,50,9,223,2,33,39,196,87,94,28,28,248,22,136,14,23,194,2,10,28,
248,22,185,6,23,194,2,28,248,22,158,14,23,194,2,10,248,22,159,14,23,
194,2,11,12,250,22,167,9,2,7,2,23,23,196,2,28,248,22,158,14,23,
194,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,
2,7,23,200,1,247,22,23,32,42,89,162,8,44,41,56,2,26,222,33,43,
28,248,22,81,23,197,2,87,94,23,196,1,28,23,197,2,196,87,94,23,197,
1,248,22,150,12,249,22,189,11,251,22,169,7,2,25,2,7,28,248,22,81,
23,203,2,87,94,23,202,1,23,201,1,250,22,1,22,154,14,23,204,1,23,
205,1,23,200,1,247,22,23,27,249,22,154,14,248,22,74,23,200,2,23,197,
2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,199,28,
248,22,149,14,193,192,252,2,42,199,200,201,248,22,75,203,203,252,2,42,198,
199,200,248,22,75,202,202,87,94,87,94,87,94,28,28,248,22,136,14,23,194,
2,10,28,248,22,185,6,23,194,2,28,248,22,158,14,23,194,2,10,248,22,
159,14,23,194,2,11,12,250,22,167,9,2,7,2,23,23,196,2,28,248,22,
158,14,23,194,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,
7,2,24,2,7,23,200,2,247,22,23,249,22,3,32,0,89,162,8,44,37,
49,9,222,33,41,23,196,2,27,247,22,178,14,28,248,22,81,23,194,2,248,
22,150,12,249,22,189,11,251,22,169,7,2,25,2,7,28,248,22,81,23,203,
2,87,94,23,202,1,23,201,1,250,22,1,22,154,14,23,204,1,23,205,1,
23,200,1,247,22,23,27,249,22,154,14,248,22,74,23,197,2,23,197,2,28,
248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,199,28,248,22,
149,14,193,192,252,2,42,199,200,201,248,22,75,200,11,252,2,42,198,199,200,
248,22,75,199,11,87,94,28,28,248,22,136,14,23,194,2,10,28,248,22,185,
6,23,194,2,28,248,22,158,14,23,194,2,10,248,22,159,14,23,194,2,11,
12,250,22,167,9,2,7,2,23,23,196,2,28,248,22,158,14,23,194,2,12,
248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,2,7,23,
200,2,247,22,23,249,22,3,32,0,89,162,8,44,37,49,9,222,33,40,23,
196,2,27,247,22,178,14,28,248,22,81,23,194,2,248,22,150,12,249,22,189,
11,251,22,169,7,2,25,2,7,28,248,22,81,23,203,2,87,94,23,202,1,
23,201,1,250,22,1,22,154,14,23,204,1,23,205,1,23,200,1,247,22,23,
27,249,22,154,14,248,22,74,23,197,2,23,197,2,28,248,22,149,14,23,194,
2,27,250,22,1,22,154,14,23,197,1,199,28,248,22,149,14,193,192,252,2,
41,199,200,201,248,22,75,200,11,252,2,41,198,199,200,248,22,75,199,11,87,
94,28,28,248,22,136,14,23,194,2,10,28,248,22,185,6,23,194,2,28,248,
22,158,14,23,194,2,10,248,22,159,14,23,194,2,11,12,250,22,167,9,2,
9,2,23,23,196,2,28,248,22,158,14,23,194,2,12,248,22,150,12,249,22,
156,11,248,22,150,7,250,22,169,7,2,24,2,9,23,200,1,247,22,23,32,
45,89,162,8,44,42,59,2,26,222,33,46,28,248,22,81,23,198,2,87,95,
23,197,1,23,194,1,28,23,198,2,197,87,94,23,198,1,248,22,150,12,249,
22,189,11,251,22,169,7,2,25,2,9,28,248,22,81,23,204,2,87,94,23,
203,1,23,202,1,250,22,1,22,154,14,23,205,1,23,206,1,23,200,1,247,
22,23,27,249,22,154,14,248,22,74,23,201,2,23,198,2,28,248,22,149,14,
23,194,2,27,250,22,1,22,154,14,23,197,1,23,201,2,28,248,22,149,14,
23,194,2,28,23,196,2,28,28,248,22,148,14,249,22,154,14,195,198,10,27,
28,248,22,136,14,197,248,22,140,14,197,196,27,248,22,188,6,23,195,2,27,
28,249,22,185,3,23,196,2,40,28,249,22,191,6,2,27,249,22,143,7,23,
199,2,249,22,173,3,23,200,2,40,249,22,144,7,250,22,143,7,23,200,1,
36,249,22,173,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,
28,23,193,2,248,22,148,14,249,22,154,14,198,23,196,1,11,192,253,2,45,
200,201,202,203,248,22,75,205,28,205,205,198,192,253,2,45,200,201,202,203,248,
22,75,205,205,253,2,45,199,200,201,202,248,22,75,204,204,87,95,87,94,28,
28,248,22,136,14,193,10,28,248,22,185,6,193,28,248,22,158,14,193,10,248,
22,159,14,193,11,12,250,22,167,9,2,9,2,23,195,28,248,22,158,14,193,
12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,2,9,
199,247,22,23,87,94,87,94,28,28,248,22,136,14,23,195,2,10,28,248,22,
185,6,23,195,2,28,248,22,158,14,23,195,2,10,248,22,159,14,23,195,2,
11,12,250,22,167,9,2,9,2,23,23,197,2,28,248,22,158,14,23,195,2,
12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,2,9,
23,201,2,247,22,23,249,22,3,32,0,89,162,8,44,37,49,9,222,33,44,
23,197,2,249,22,154,14,27,247,22,178,14,253,2,45,23,199,2,201,23,203,
1,23,204,1,23,199,1,11,194,32,48,89,162,44,44,8,29,2,26,222,33,
49,28,248,22,81,23,200,2,87,95,23,199,1,23,198,1,28,23,200,2,199,
87,94,23,200,1,248,23,196,1,251,22,169,7,2,25,23,199,1,28,248,22,
81,23,203,2,87,94,23,202,1,23,201,1,250,22,1,22,154,14,23,204,1,
23,205,1,23,198,1,27,249,22,154,14,248,22,74,23,203,2,23,199,2,28,
248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,23,202,2,28,
248,22,149,14,23,194,2,28,23,200,2,28,28,248,22,148,14,249,22,154,14,
23,196,2,23,203,2,10,27,28,248,22,136,14,23,202,2,248,22,140,14,23,
202,2,23,201,2,27,248,22,188,6,23,195,2,27,28,249,22,185,3,23,196,
2,40,28,249,22,191,6,2,27,249,22,143,7,23,199,2,249,22,173,3,23,
200,2,40,249,22,144,7,250,22,143,7,23,200,1,36,249,22,173,3,23,201,
1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,23,193,2,248,22,148,
14,249,22,154,14,23,199,2,23,196,1,11,192,27,248,22,75,23,203,1,27,
28,23,204,2,87,94,23,195,1,23,204,1,87,94,23,204,1,23,195,1,28,
248,22,81,23,195,2,87,95,23,202,1,23,194,1,28,23,193,2,192,87,94,
23,193,1,248,23,200,1,251,22,169,7,2,25,23,203,1,28,248,22,81,23,
207,2,87,94,23,206,1,23,205,1,250,22,1,22,154,14,23,208,1,23,209,
1,23,202,1,27,249,22,154,14,248,22,74,23,198,2,23,203,2,28,248,22,
149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,23,206,2,28,248,22,
149,14,23,194,2,28,23,204,2,28,28,248,22,148,14,249,22,154,14,195,206,
10,27,28,248,22,136,14,205,248,22,140,14,205,204,27,248,22,188,6,23,195,
2,27,28,249,22,185,3,23,196,2,40,28,249,22,191,6,2,27,249,22,143,
7,23,199,2,249,22,173,3,23,200,2,40,249,22,144,7,250,22,143,7,23,
200,1,36,249,22,173,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,
11,11,28,23,193,2,248,22,148,14,249,22,154,14,198,23,196,1,11,192,26,
8,2,48,206,23,15,23,16,23,17,23,18,23,19,248,22,75,204,28,202,202,
200,192,26,8,2,48,206,23,15,23,16,23,17,23,18,23,19,248,22,75,204,
202,26,8,2,48,205,206,23,15,23,16,23,17,23,18,248,22,75,203,201,192,
27,248,22,75,23,203,1,28,248,22,81,23,194,2,87,95,23,201,1,23,193,
1,28,23,203,2,202,87,94,23,203,1,248,23,199,1,251,22,169,7,2,25,
23,202,1,28,248,22,81,23,206,2,87,94,23,205,1,23,204,1,250,22,1,
22,154,14,23,207,1,23,208,1,23,201,1,27,249,22,154,14,248,22,74,23,
197,2,23,202,2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,
197,1,23,205,2,28,248,22,149,14,23,194,2,28,23,203,2,28,28,248,22,
148,14,249,22,154,14,195,205,10,27,28,248,22,136,14,204,248,22,140,14,204,
203,27,248,22,188,6,23,195,2,27,28,249,22,185,3,23,196,2,40,28,249,
22,191,6,2,27,249,22,143,7,23,199,2,249,22,173,3,23,200,2,40,249,
22,144,7,250,22,143,7,23,200,1,36,249,22,173,3,23,201,1,40,2,28,
87,95,23,195,1,23,194,1,11,11,28,23,193,2,248,22,148,14,249,22,154,
14,198,23,196,1,11,192,26,8,2,48,205,206,23,15,23,16,23,17,23,18,
248,22,75,203,28,23,20,23,20,200,192,26,8,2,48,205,206,23,15,23,16,
23,17,23,18,248,22,75,203,23,20,26,8,2,48,204,205,206,23,15,23,16,
23,17,248,22,75,202,23,19,87,94,23,193,1,27,248,22,75,23,202,1,28,
248,22,81,23,194,2,87,95,23,200,1,23,193,1,28,23,202,2,201,87,94,
23,202,1,248,23,198,1,251,22,169,7,2,25,23,201,1,28,248,22,81,23,
205,2,87,94,23,204,1,23,203,1,250,22,1,22,154,14,23,206,1,23,207,
1,23,200,1,27,249,22,154,14,248,22,74,23,197,2,23,201,2,28,248,22,
149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,23,204,2,28,248,22,
149,14,23,194,2,28,23,202,2,28,28,248,22,148,14,249,22,154,14,195,204,
10,27,28,248,22,136,14,203,248,22,140,14,203,202,27,248,22,188,6,23,195,
2,27,28,249,22,185,3,23,196,2,40,28,249,22,191,6,2,27,249,22,143,
7,23,199,2,249,22,173,3,23,200,2,40,249,22,144,7,250,22,143,7,23,
200,1,36,249,22,173,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,
11,11,28,23,193,2,248,22,148,14,249,22,154,14,198,23,196,1,11,192,26,
8,2,48,204,205,206,23,15,23,16,23,17,248,22,75,203,28,23,19,23,19,
200,192,26,8,2,48,204,205,206,23,15,23,16,23,17,248,22,75,203,23,19,
26,8,2,48,203,204,205,206,23,15,23,16,248,22,75,202,23,18,27,247,22,
178,14,28,248,22,81,23,194,2,87,94,23,198,1,248,23,196,1,251,22,169,
7,2,25,23,199,1,28,248,22,81,23,203,2,87,94,23,202,1,23,201,1,
250,22,1,22,154,14,23,204,1,23,205,1,23,198,1,27,249,22,154,14,248,
22,74,23,197,2,23,199,2,28,248,22,149,14,23,194,2,27,250,22,1,22,
154,14,23,197,1,23,202,2,28,248,22,149,14,23,194,2,28,23,200,2,28,
28,248,22,148,14,249,22,154,14,195,202,10,27,28,248,22,136,14,201,248,22,
140,14,201,200,27,248,22,188,6,23,195,2,27,28,249,22,185,3,23,196,2,
40,28,249,22,191,6,2,27,249,22,143,7,23,199,2,249,22,173,3,23,200,
2,40,249,22,144,7,250,22,143,7,23,200,1,36,249,22,173,3,23,201,1,
40,2,28,87,95,23,195,1,23,194,1,11,11,28,23,193,2,248,22,148,14,
249,22,154,14,198,23,196,1,11,192,26,8,2,48,202,203,204,205,206,23,15,
248,22,75,203,200,192,26,8,2,48,202,203,204,205,206,23,15,248,22,75,203,
11,26,8,2,48,201,202,203,204,205,206,248,22,75,202,11,87,95,28,28,248,
22,137,14,23,194,2,10,28,248,22,136,14,23,194,2,10,28,248,22,185,6,
23,194,2,28,248,22,158,14,23,194,2,10,248,22,159,14,23,194,2,11,12,
252,22,167,9,23,200,2,2,29,36,23,198,2,23,199,2,28,28,248,22,185,
6,23,195,2,10,248,22,174,7,23,195,2,87,94,23,194,1,12,252,22,167,
9,23,200,2,2,30,37,23,198,2,23,199,1,91,159,39,11,90,161,39,36,
11,248,22,157,14,23,197,2,87,94,23,195,1,87,94,28,192,12,250,22,168,
9,23,201,1,2,31,23,199,1,249,22,7,194,195,91,159,38,11,90,161,38,
36,11,87,95,28,28,248,22,137,14,23,196,2,10,28,248,22,136,14,23,196,
12,250,22,167,9,2,9,2,23,23,196,2,28,248,22,158,14,23,194,2,12,
248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,2,9,23,
200,1,247,22,23,32,46,89,162,8,44,42,59,2,26,222,33,47,28,248,22,
81,23,198,2,87,95,23,197,1,23,194,1,28,23,198,2,197,87,94,23,198,
1,248,22,150,12,249,22,189,11,251,22,169,7,2,25,2,9,28,248,22,81,
23,204,2,87,94,23,203,1,23,202,1,250,22,1,22,154,14,23,205,1,23,
206,1,23,200,1,247,22,23,27,249,22,154,14,248,22,74,23,201,2,23,198,
2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,23,201,
2,28,248,22,149,14,23,194,2,28,23,196,2,28,28,248,22,148,14,249,22,
154,14,195,198,10,27,28,248,22,136,14,197,248,22,140,14,197,196,27,248,22,
188,6,23,195,2,27,28,249,22,185,3,23,196,2,40,28,249,22,191,6,2,
27,249,22,143,7,23,199,2,249,22,173,3,23,200,2,40,249,22,144,7,250,
22,143,7,23,200,1,36,249,22,173,3,23,201,1,40,2,28,87,95,23,195,
1,23,194,1,11,11,28,23,193,2,248,22,148,14,249,22,154,14,198,23,196,
1,11,192,253,2,46,200,201,202,203,248,22,75,205,28,205,205,198,192,253,2,
46,200,201,202,203,248,22,75,205,205,253,2,46,199,200,201,202,248,22,75,204,
204,87,95,87,94,28,28,248,22,136,14,193,10,28,248,22,185,6,193,28,248,
22,158,14,193,10,248,22,159,14,193,11,12,250,22,167,9,2,9,2,23,195,
28,248,22,158,14,193,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,
169,7,2,24,2,9,199,247,22,23,87,94,87,94,28,28,248,22,136,14,23,
195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14,23,195,2,10,248,
22,159,14,23,195,2,11,12,250,22,167,9,2,9,2,23,23,197,2,28,248,
22,158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,
169,7,2,24,2,9,23,201,2,247,22,23,249,22,3,32,0,89,162,8,44,
37,49,9,222,33,45,23,197,2,249,22,154,14,27,247,22,178,14,253,2,46,
23,199,2,201,23,203,1,23,204,1,23,199,1,11,194,32,49,89,162,44,44,
8,29,2,26,222,33,50,28,248,22,81,23,200,2,87,95,23,199,1,23,198,
1,28,23,200,2,199,87,94,23,200,1,248,23,196,1,251,22,169,7,2,25,
23,199,1,28,248,22,81,23,203,2,87,94,23,202,1,23,201,1,250,22,1,
22,154,14,23,204,1,23,205,1,23,198,1,27,249,22,154,14,248,22,74,23,
203,2,23,199,2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,
197,1,23,202,2,28,248,22,149,14,23,194,2,28,23,200,2,28,28,248,22,
148,14,249,22,154,14,23,196,2,23,203,2,10,27,28,248,22,136,14,23,202,
2,248,22,140,14,23,202,2,23,201,2,27,248,22,188,6,23,195,2,27,28,
249,22,185,3,23,196,2,40,28,249,22,191,6,2,27,249,22,143,7,23,199,
2,249,22,173,3,23,200,2,40,249,22,144,7,250,22,143,7,23,200,1,36,
249,22,173,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,
23,193,2,248,22,148,14,249,22,154,14,23,199,2,23,196,1,11,192,27,248,
22,75,23,203,1,27,28,23,204,2,87,94,23,195,1,23,204,1,87,94,23,
204,1,23,195,1,28,248,22,81,23,195,2,87,95,23,202,1,23,194,1,28,
23,193,2,192,87,94,23,193,1,248,23,200,1,251,22,169,7,2,25,23,203,
1,28,248,22,81,23,207,2,87,94,23,206,1,23,205,1,250,22,1,22,154,
14,23,208,1,23,209,1,23,202,1,27,249,22,154,14,248,22,74,23,198,2,
23,203,2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,
23,206,2,28,248,22,149,14,23,194,2,28,23,204,2,28,28,248,22,148,14,
249,22,154,14,195,206,10,27,28,248,22,136,14,205,248,22,140,14,205,204,27,
248,22,188,6,23,195,2,27,28,249,22,185,3,23,196,2,40,28,249,22,191,
6,2,27,249,22,143,7,23,199,2,249,22,173,3,23,200,2,40,249,22,144,
7,250,22,143,7,23,200,1,36,249,22,173,3,23,201,1,40,2,28,87,95,
23,195,1,23,194,1,11,11,28,23,193,2,248,22,148,14,249,22,154,14,198,
23,196,1,11,192,26,8,2,49,206,23,15,23,16,23,17,23,18,23,19,248,
22,75,204,28,202,202,200,192,26,8,2,49,206,23,15,23,16,23,17,23,18,
23,19,248,22,75,204,202,26,8,2,49,205,206,23,15,23,16,23,17,23,18,
248,22,75,203,201,192,27,248,22,75,23,203,1,28,248,22,81,23,194,2,87,
95,23,201,1,23,193,1,28,23,203,2,202,87,94,23,203,1,248,23,199,1,
251,22,169,7,2,25,23,202,1,28,248,22,81,23,206,2,87,94,23,205,1,
23,204,1,250,22,1,22,154,14,23,207,1,23,208,1,23,201,1,27,249,22,
154,14,248,22,74,23,197,2,23,202,2,28,248,22,149,14,23,194,2,27,250,
22,1,22,154,14,23,197,1,23,205,2,28,248,22,149,14,23,194,2,28,23,
203,2,28,28,248,22,148,14,249,22,154,14,195,205,10,27,28,248,22,136,14,
204,248,22,140,14,204,203,27,248,22,188,6,23,195,2,27,28,249,22,185,3,
23,196,2,40,28,249,22,191,6,2,27,249,22,143,7,23,199,2,249,22,173,
3,23,200,2,40,249,22,144,7,250,22,143,7,23,200,1,36,249,22,173,3,
23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,23,193,2,248,
22,148,14,249,22,154,14,198,23,196,1,11,192,26,8,2,49,205,206,23,15,
23,16,23,17,23,18,248,22,75,203,28,23,20,23,20,200,192,26,8,2,49,
205,206,23,15,23,16,23,17,23,18,248,22,75,203,23,20,26,8,2,49,204,
205,206,23,15,23,16,23,17,248,22,75,202,23,19,87,94,23,193,1,27,248,
22,75,23,202,1,28,248,22,81,23,194,2,87,95,23,200,1,23,193,1,28,
23,202,2,201,87,94,23,202,1,248,23,198,1,251,22,169,7,2,25,23,201,
1,28,248,22,81,23,205,2,87,94,23,204,1,23,203,1,250,22,1,22,154,
14,23,206,1,23,207,1,23,200,1,27,249,22,154,14,248,22,74,23,197,2,
23,201,2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,
23,204,2,28,248,22,149,14,23,194,2,28,23,202,2,28,28,248,22,148,14,
249,22,154,14,195,204,10,27,28,248,22,136,14,203,248,22,140,14,203,202,27,
248,22,188,6,23,195,2,27,28,249,22,185,3,23,196,2,40,28,249,22,191,
6,2,27,249,22,143,7,23,199,2,249,22,173,3,23,200,2,40,249,22,144,
7,250,22,143,7,23,200,1,36,249,22,173,3,23,201,1,40,2,28,87,95,
23,195,1,23,194,1,11,11,28,23,193,2,248,22,148,14,249,22,154,14,198,
23,196,1,11,192,26,8,2,49,204,205,206,23,15,23,16,23,17,248,22,75,
203,28,23,19,23,19,200,192,26,8,2,49,204,205,206,23,15,23,16,23,17,
248,22,75,203,23,19,26,8,2,49,203,204,205,206,23,15,23,16,248,22,75,
202,23,18,27,247,22,178,14,28,248,22,81,23,194,2,87,94,23,198,1,248,
23,196,1,251,22,169,7,2,25,23,199,1,28,248,22,81,23,203,2,87,94,
23,202,1,23,201,1,250,22,1,22,154,14,23,204,1,23,205,1,23,198,1,
27,249,22,154,14,248,22,74,23,197,2,23,199,2,28,248,22,149,14,23,194,
2,27,250,22,1,22,154,14,23,197,1,23,202,2,28,248,22,149,14,23,194,
2,28,23,200,2,28,28,248,22,148,14,249,22,154,14,195,202,10,27,28,248,
22,136,14,201,248,22,140,14,201,200,27,248,22,188,6,23,195,2,27,28,249,
22,185,3,23,196,2,40,28,249,22,191,6,2,27,249,22,143,7,23,199,2,
249,22,173,3,23,200,2,40,249,22,144,7,250,22,143,7,23,200,1,36,249,
22,173,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,23,
193,2,248,22,148,14,249,22,154,14,198,23,196,1,11,192,26,8,2,49,202,
203,204,205,206,23,15,248,22,75,203,200,192,26,8,2,49,202,203,204,205,206,
23,15,248,22,75,203,11,26,8,2,49,201,202,203,204,205,206,248,22,75,202,
11,87,95,28,28,248,22,137,14,23,194,2,10,28,248,22,136,14,23,194,2,
10,28,248,22,185,6,23,194,2,28,248,22,158,14,23,194,2,10,248,22,159,
14,23,194,2,11,12,252,22,167,9,23,200,2,2,29,36,23,198,2,23,199,
2,28,28,248,22,185,6,23,195,2,10,248,22,174,7,23,195,2,87,94,23,
194,1,12,252,22,167,9,23,200,2,2,30,37,23,198,2,23,199,1,91,159,
39,11,90,161,39,36,11,248,22,157,14,23,197,2,87,94,23,195,1,87,94,
28,192,12,250,22,168,9,23,201,1,2,31,23,199,1,249,22,7,194,195,91,
159,38,11,90,161,38,36,11,87,95,28,28,248,22,137,14,23,196,2,10,28,
248,22,136,14,23,196,2,10,28,248,22,185,6,23,196,2,28,248,22,158,14,
23,196,2,10,248,22,159,14,23,196,2,11,12,252,22,167,9,2,11,2,29,
36,23,200,2,23,201,2,28,28,248,22,185,6,23,197,2,10,248,22,174,7,
23,197,2,12,252,22,167,9,2,11,2,30,37,23,200,2,23,201,2,91,159,
39,11,90,161,39,36,11,248,22,157,14,23,199,2,87,94,23,195,1,87,94,
28,192,12,250,22,168,9,2,11,2,31,23,201,2,249,22,7,194,195,27,249,
22,146,14,250,22,134,15,0,20,35,114,120,35,34,40,63,58,91,46,93,91,
94,46,93,42,124,41,36,34,248,22,142,14,23,201,1,28,248,22,185,6,23,
203,2,249,22,136,8,23,204,1,8,63,23,202,1,28,248,22,137,14,23,199,
2,248,22,138,14,23,199,1,87,94,23,198,1,247,22,139,14,28,248,22,136,
14,194,249,22,154,14,195,194,192,91,159,38,11,90,161,38,36,11,87,95,28,
28,248,22,137,14,23,196,2,10,28,248,22,136,14,23,196,2,10,28,248,22,
185,6,23,196,2,28,248,22,158,14,23,196,2,10,248,22,159,14,23,196,2,
11,12,252,22,167,9,2,12,2,29,36,23,200,2,23,201,2,28,28,248,22,
185,6,23,197,2,10,248,22,174,7,23,197,2,12,252,22,167,9,2,12,2,
30,37,23,200,2,23,201,2,91,159,39,11,90,161,39,36,11,248,22,157,14,
23,199,2,87,94,23,195,1,87,94,28,192,12,250,22,168,9,2,12,2,31,
23,201,2,249,22,7,194,195,27,249,22,146,14,249,22,186,7,250,22,135,15,
0,9,35,114,120,35,34,91,46,93,34,248,22,142,14,23,203,1,6,1,1,
95,28,248,22,185,6,23,202,2,249,22,136,8,23,203,1,8,63,23,201,1,
28,248,22,137,14,23,199,2,248,22,138,14,23,199,1,87,94,23,198,1,247,
22,139,14,28,248,22,136,14,194,249,22,154,14,195,194,192,249,247,22,150,5,
194,11,249,80,159,38,48,37,9,9,249,80,159,38,48,37,195,9,27,247,22,
180,14,249,80,158,39,49,28,23,195,2,27,248,22,141,8,6,11,11,80,76,
84,67,79,76,76,69,67,84,83,28,192,192,6,0,0,6,0,0,27,28,23,
196,1,250,22,154,14,248,22,176,14,69,97,100,100,111,110,45,100,105,114,247,
22,139,8,6,8,8,99,111,108,108,101,99,116,115,11,27,248,80,159,42,54,
37,250,22,87,23,203,1,248,22,83,248,22,176,14,72,99,111,108,108,101,99,
116,115,45,100,105,114,23,204,1,28,193,249,22,73,195,194,192,32,59,89,162,
8,44,39,8,29,2,20,222,33,61,0,8,35,114,120,35,34,92,34,34,27,
249,22,187,14,23,197,2,23,198,2,28,23,193,2,87,94,23,196,1,27,248,
22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,187,14,23,201,2,
23,196,2,28,23,193,2,87,94,23,194,1,27,248,22,98,23,195,2,27,27,
248,22,107,23,197,1,27,249,22,187,14,23,205,2,23,196,2,28,23,193,2,
87,94,23,194,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27,
249,22,187,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248,
22,98,23,195,2,27,250,2,59,23,211,2,23,212,1,248,22,107,23,199,1,
28,249,22,182,7,23,196,2,2,32,249,22,87,23,210,2,194,249,22,73,248,
22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,
200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,182,7,
23,196,2,2,32,249,22,87,23,208,2,9,249,22,73,248,22,145,14,28,249,
22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23,
197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,206,2,194,249,
22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,
2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7,
23,196,2,2,32,249,22,87,23,204,2,9,249,22,73,248,22,145,14,28,249,
22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23,
197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,202,2,194,249,
22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,
2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7,
23,196,2,2,32,249,22,87,23,200,2,9,249,22,73,248,22,145,14,28,249,
22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23,
197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,197,194,87,94,23,
196,1,249,22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,
22,135,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,
22,182,7,23,198,2,2,32,249,22,87,195,9,87,94,23,194,1,249,22,73,
248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,
23,202,1,2,33,23,199,1,9,87,95,28,28,248,22,174,7,23,195,2,10,
248,22,185,6,23,195,2,12,250,22,167,9,2,15,6,21,21,98,121,116,101,
32,115,116,114,105,110,103,32,111,114,32,115,116,114,105,110,103,23,197,2,28,
28,248,22,82,23,196,2,249,22,4,22,136,14,23,197,2,11,12,250,22,167,
9,2,15,6,13,13,108,105,115,116,32,111,102,32,112,97,116,104,115,23,198,
2,27,28,248,22,185,6,23,196,2,248,22,135,8,23,196,1,23,195,1,27,
249,22,187,14,23,197,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248,
22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,187,14,23,201,2,
23,196,2,28,23,193,2,87,94,23,194,1,27,248,22,98,23,195,2,27,27,
248,22,107,23,197,1,27,249,22,187,14,23,205,2,23,196,2,28,23,193,2,
87,94,23,194,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27,
249,22,187,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248,
22,98,23,195,2,27,250,2,59,23,214,2,23,212,1,248,22,107,23,199,1,
28,249,22,182,7,23,196,2,2,32,249,22,87,23,213,2,194,249,22,73,248,
22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,
200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,182,7,
23,196,2,2,32,249,22,87,23,211,2,9,249,22,73,248,22,145,14,28,249,
22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23,
197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,209,2,194,249,
22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,
2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7,
23,196,2,2,32,249,22,87,23,207,2,9,249,22,73,248,22,145,14,28,249,
22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23,
197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,205,2,194,249,
22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,
2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7,
23,196,2,2,32,249,22,87,23,203,2,9,249,22,73,248,22,145,14,28,249,
22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23,
197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,200,194,87,94,23,
199,1,249,22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,
22,135,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,
22,182,7,23,196,2,2,32,249,22,87,198,9,87,94,23,197,1,249,22,73,
248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,
23,200,1,2,33,23,197,1,9,32,63,89,162,8,44,39,53,70,102,111,117,
110,100,45,101,120,101,99,222,33,66,32,64,89,162,8,44,40,58,64,110,101,
120,116,222,33,65,27,248,22,162,14,23,196,2,28,249,22,133,9,23,195,2,
23,197,1,11,28,248,22,158,14,23,194,2,27,249,22,154,14,23,197,1,23,
196,1,28,23,197,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,197,
2,87,95,23,195,1,23,194,1,27,28,23,202,2,27,248,22,162,14,23,199,
2,28,249,22,133,9,23,195,2,23,200,2,11,28,248,22,158,14,23,194,2,
250,2,63,23,205,2,23,206,2,249,22,154,14,23,200,2,23,198,1,250,2,
63,23,205,2,23,206,2,23,196,1,11,28,23,193,2,192,87,94,23,193,1,
27,28,248,22,136,14,23,196,2,27,249,22,154,14,23,198,2,23,205,2,28,
28,248,22,149,14,193,10,248,22,148,14,193,192,11,11,28,23,193,2,192,87,
94,23,193,1,28,23,203,2,11,27,248,22,162,14,23,200,2,28,249,22,133,
9,23,195,2,23,201,1,11,28,248,22,158,14,23,194,2,250,2,63,23,206,
1,23,207,1,249,22,154,14,23,201,1,23,198,1,250,2,63,205,206,195,192,
87,94,23,194,1,28,23,196,2,91,159,39,11,90,161,39,36,11,248,22,157,
14,23,197,2,87,95,23,195,1,23,194,1,27,28,23,201,2,27,248,22,162,
14,23,199,2,28,249,22,133,9,23,195,2,23,200,2,11,28,248,22,158,14,
23,194,2,250,2,63,23,204,2,23,205,2,249,22,154,14,23,200,2,23,198,
1,250,2,63,23,204,2,23,205,2,23,196,1,11,28,23,193,2,192,87,94,
23,193,1,27,28,248,22,136,14,23,196,2,27,249,22,154,14,23,198,2,23,
204,2,28,28,248,22,149,14,193,10,248,22,148,14,193,192,11,11,28,23,193,
2,192,87,94,23,193,1,28,23,202,2,11,27,248,22,162,14,23,200,2,28,
249,22,133,9,23,195,2,23,201,1,11,28,248,22,158,14,23,194,2,250,2,
63,23,205,1,23,206,1,249,22,154,14,23,201,1,23,198,1,250,2,63,204,
205,195,192,28,23,193,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,
199,2,87,95,23,195,1,23,194,1,27,28,23,198,2,251,2,64,23,198,2,
23,203,2,23,201,2,23,202,2,11,28,23,193,2,192,87,94,23,193,1,27,
28,248,22,136,14,195,27,249,22,154,14,197,200,28,28,248,22,149,14,193,10,
248,22,148,14,193,192,11,11,28,192,192,28,198,11,251,2,64,198,203,201,202,
194,32,67,89,162,8,44,40,8,31,2,20,222,33,68,28,248,22,81,23,197,
2,11,27,248,22,161,14,248,22,74,23,199,2,27,249,22,154,14,23,196,1,
23,197,2,28,248,22,148,14,23,194,2,250,2,63,198,199,195,87,94,23,193,
1,27,248,22,75,23,200,1,28,248,22,81,23,194,2,11,27,248,22,161,14,
248,22,74,23,196,2,27,249,22,154,14,23,196,1,23,200,2,28,248,22,148,
14,23,194,2,250,2,63,201,202,195,87,94,23,193,1,27,248,22,75,23,197,
1,28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,74,23,196,2,27,
249,22,154,14,23,196,1,23,203,2,28,248,22,148,14,23,194,2,250,2,63,
204,205,195,87,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,
2,11,27,248,22,161,14,248,22,74,23,196,2,27,249,22,154,14,23,196,1,
23,206,2,28,248,22,148,14,23,194,2,250,2,63,23,15,23,16,195,87,94,
23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,2,11,27,248,22,
161,14,248,22,74,23,196,2,27,249,22,154,14,23,196,1,23,209,2,28,248,
22,148,14,23,194,2,250,2,63,23,18,23,19,195,87,94,23,193,1,27,248,
22,75,23,197,1,28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,74,
195,27,249,22,154,14,23,196,1,23,19,28,248,22,148,14,193,250,2,63,23,
21,23,22,195,251,2,67,23,21,23,22,23,23,248,22,75,199,87,95,28,28,
248,22,136,14,23,195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14,
23,195,2,10,248,22,159,14,23,195,2,11,12,250,22,167,9,2,16,6,25,
25,112,97,116,104,32,111,114,32,115,116,114,105,110,103,32,40,115,97,110,115,
32,110,117,108,41,23,197,2,28,28,23,195,2,28,28,248,22,136,14,23,196,
2,10,28,248,22,185,6,23,196,2,28,248,22,158,14,23,196,2,10,248,22,
159,14,23,196,2,11,12,252,22,167,9,2,11,2,29,36,23,200,2,23,201,
2,28,28,248,22,185,6,23,197,2,10,248,22,174,7,23,197,2,12,252,22,
167,9,2,11,2,30,37,23,200,2,23,201,2,91,159,39,11,90,161,39,36,
11,248,22,157,14,23,199,2,87,94,23,195,1,87,94,28,192,12,250,22,168,
9,2,11,2,31,23,201,2,249,22,7,194,195,27,249,22,146,14,250,22,134,
15,0,20,35,114,120,35,34,40,63,58,91,46,93,91,94,46,93,42,124,41,
36,34,248,22,142,14,23,201,1,28,248,22,185,6,23,203,2,249,22,136,8,
23,204,1,8,63,23,202,1,28,248,22,137,14,23,199,2,248,22,138,14,23,
199,1,87,94,23,198,1,247,22,139,14,28,248,22,136,14,194,249,22,154,14,
195,194,192,91,159,38,11,90,161,38,36,11,87,95,28,28,248,22,137,14,23,
196,2,10,28,248,22,136,14,23,196,2,10,28,248,22,185,6,23,196,2,28,
248,22,158,14,23,196,2,10,248,22,159,14,23,196,2,11,12,252,22,167,9,
2,12,2,29,36,23,200,2,23,201,2,28,28,248,22,185,6,23,197,2,10,
248,22,174,7,23,197,2,12,252,22,167,9,2,12,2,30,37,23,200,2,23,
201,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,199,2,87,94,23,
195,1,87,94,28,192,12,250,22,168,9,2,12,2,31,23,201,2,249,22,7,
194,195,27,249,22,146,14,249,22,186,7,250,22,135,15,0,9,35,114,120,35,
34,91,46,93,34,248,22,142,14,23,203,1,6,1,1,95,28,248,22,185,6,
23,202,2,249,22,136,8,23,203,1,8,63,23,201,1,28,248,22,137,14,23,
199,2,248,22,138,14,23,199,1,87,94,23,198,1,247,22,139,14,28,248,22,
136,14,194,249,22,154,14,195,194,192,249,247,22,150,5,194,11,249,80,159,38,
48,37,9,9,249,80,159,38,48,37,195,9,27,247,22,180,14,249,80,158,39,
49,28,23,195,2,27,248,22,141,8,6,11,11,80,76,84,67,79,76,76,69,
67,84,83,28,192,192,6,0,0,6,0,0,27,28,23,196,1,250,22,154,14,
248,22,176,14,69,97,100,100,111,110,45,100,105,114,247,22,139,8,6,8,8,
99,111,108,108,101,99,116,115,11,27,248,80,159,42,54,37,250,22,87,23,203,
1,248,22,83,248,22,176,14,72,99,111,108,108,101,99,116,115,45,100,105,114,
23,204,1,28,193,249,22,73,195,194,192,32,58,89,162,8,44,39,8,31,2,
20,222,33,59,27,249,22,187,14,23,197,2,23,198,2,28,23,193,2,87,94,
23,196,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,
187,14,23,201,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248,22,98,
23,195,2,27,27,248,22,107,23,197,1,27,249,22,187,14,23,205,2,23,196,
2,28,23,193,2,87,94,23,194,1,27,248,22,98,23,195,2,27,27,248,22,
107,23,197,1,27,249,22,187,14,23,209,2,23,196,2,28,23,193,2,87,94,
23,194,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,
187,14,23,213,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248,22,98,
23,195,2,27,250,2,58,23,215,2,23,216,1,248,22,107,23,199,1,28,249,
22,182,7,23,196,2,2,32,249,22,87,23,214,2,194,249,22,73,248,22,145,
14,23,197,1,194,87,95,23,211,1,23,193,1,28,249,22,182,7,23,196,2,
2,32,249,22,87,23,212,2,9,249,22,73,248,22,145,14,23,197,1,9,28,
249,22,182,7,23,196,2,2,32,249,22,87,23,210,2,194,249,22,73,248,22,
145,14,23,197,1,194,87,94,23,193,1,28,249,22,182,7,23,196,2,2,32,
249,22,87,23,208,2,9,249,22,73,248,22,145,14,23,197,1,9,28,249,22,
182,7,23,196,2,2,32,249,22,87,23,206,2,194,249,22,73,248,22,145,14,
23,197,1,194,87,94,23,193,1,28,249,22,182,7,23,196,2,2,32,249,22,
87,23,204,2,9,249,22,73,248,22,145,14,23,197,1,9,28,249,22,182,7,
23,196,2,2,32,249,22,87,23,202,2,194,249,22,73,248,22,145,14,23,197,
1,194,87,94,23,193,1,28,249,22,182,7,23,196,2,2,32,249,22,87,23,
200,2,9,249,22,73,248,22,145,14,23,197,1,9,28,249,22,182,7,23,196,
2,2,32,249,22,87,197,194,87,94,23,196,1,249,22,73,248,22,145,14,23,
197,1,194,87,94,23,193,1,28,249,22,182,7,23,198,2,2,32,249,22,87,
195,9,87,94,23,194,1,249,22,73,248,22,145,14,23,199,1,9,87,95,28,
28,248,22,174,7,23,195,2,10,248,22,185,6,23,195,2,12,250,22,167,9,
2,15,6,21,21,98,121,116,101,32,115,116,114,105,110,103,32,111,114,32,115,
116,114,105,110,103,23,197,2,28,28,248,22,82,23,196,2,249,22,4,22,136,
14,23,197,2,11,12,250,22,167,9,2,15,6,13,13,108,105,115,116,32,111,
102,32,112,97,116,104,115,23,198,2,27,28,248,22,185,6,23,196,2,248,22,
135,8,23,196,1,23,195,1,27,249,22,187,14,23,197,2,23,196,2,28,23,
193,2,87,94,23,194,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,
1,27,249,22,187,14,23,201,2,23,196,2,28,23,193,2,87,94,23,194,1,
27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,187,14,23,
205,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248,22,98,23,195,2,
27,27,248,22,107,23,197,1,27,249,22,187,14,23,209,2,23,196,2,28,23,
193,2,87,94,23,194,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,
1,27,249,22,187,14,23,213,2,23,196,2,28,23,193,2,87,94,23,194,1,
27,248,22,98,23,195,2,27,250,2,58,23,218,2,23,216,1,248,22,107,23,
199,1,28,249,22,182,7,23,196,2,2,32,249,22,87,23,217,2,194,249,22,
73,248,22,145,14,23,197,1,194,87,95,23,211,1,23,193,1,28,249,22,182,
7,23,196,2,2,32,249,22,87,23,215,2,9,249,22,73,248,22,145,14,23,
197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,213,2,194,249,
22,73,248,22,145,14,23,197,1,194,87,94,23,193,1,28,249,22,182,7,23,
196,2,2,32,249,22,87,23,211,2,9,249,22,73,248,22,145,14,23,197,1,
9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,209,2,194,249,22,73,
248,22,145,14,23,197,1,194,87,94,23,193,1,28,249,22,182,7,23,196,2,
2,32,249,22,87,23,207,2,9,249,22,73,248,22,145,14,23,197,1,9,28,
249,22,182,7,23,196,2,2,32,249,22,87,23,205,2,194,249,22,73,248,22,
145,14,23,197,1,194,87,94,23,193,1,28,249,22,182,7,23,196,2,2,32,
249,22,87,23,203,2,9,249,22,73,248,22,145,14,23,197,1,9,28,249,22,
182,7,23,196,2,2,32,249,22,87,200,194,87,94,23,199,1,249,22,73,248,
22,145,14,23,197,1,194,87,94,23,193,1,28,249,22,182,7,23,196,2,2,
32,249,22,87,198,9,87,94,23,197,1,249,22,73,248,22,145,14,23,197,1,
9,32,61,89,162,8,44,39,53,70,102,111,117,110,100,45,101,120,101,99,222,
33,64,32,62,89,162,8,44,40,58,64,110,101,120,116,222,33,63,27,248,22,
162,14,23,196,2,28,249,22,133,9,23,195,2,23,197,1,11,28,248,22,158,
14,23,194,2,27,249,22,154,14,23,197,1,23,196,1,28,23,197,2,91,159,
39,11,90,161,39,36,11,248,22,157,14,23,197,2,87,95,23,195,1,23,194,
1,27,28,23,202,2,27,248,22,162,14,23,199,2,28,249,22,133,9,23,195,
2,23,200,2,11,28,248,22,158,14,23,194,2,250,2,61,23,205,2,23,206,
2,249,22,154,14,23,200,2,23,198,1,250,2,61,23,205,2,23,206,2,23,
196,1,11,28,23,193,2,192,87,94,23,193,1,27,28,248,22,136,14,23,196,
2,27,249,22,154,14,23,198,2,23,205,2,28,28,248,22,149,14,193,10,248,
22,148,14,193,192,11,11,28,23,193,2,192,87,94,23,193,1,28,23,203,2,
11,27,248,22,162,14,23,200,2,28,249,22,133,9,23,195,2,23,201,1,11,
28,248,22,158,14,23,194,2,250,2,61,23,206,1,23,207,1,249,22,154,14,
23,201,1,23,198,1,250,2,61,205,206,195,192,87,94,23,194,1,28,23,196,
2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,197,2,87,95,23,195,
1,23,194,1,27,28,23,201,2,27,248,22,162,14,23,199,2,28,249,22,133,
9,23,195,2,23,200,2,11,28,248,22,158,14,23,194,2,250,2,61,23,204,
2,23,205,2,249,22,154,14,23,200,2,23,198,1,250,2,61,23,204,2,23,
205,2,23,196,1,11,28,23,193,2,192,87,94,23,193,1,27,28,248,22,136,
14,23,196,2,27,249,22,154,14,23,198,2,23,204,2,28,28,248,22,149,14,
193,10,248,22,148,14,193,192,11,11,28,23,193,2,192,87,94,23,193,1,28,
23,202,2,11,27,248,22,162,14,23,200,2,28,249,22,133,9,23,195,2,23,
201,1,11,28,248,22,158,14,23,194,2,250,2,61,23,205,1,23,206,1,249,
22,154,14,23,201,1,23,198,1,250,2,61,204,205,195,192,28,23,193,2,91,
159,39,11,90,161,39,36,11,248,22,157,14,23,199,2,87,95,23,195,1,23,
194,1,27,28,23,198,2,251,2,62,23,198,2,23,203,2,23,201,2,23,202,
2,11,28,23,193,2,192,87,94,23,193,1,27,28,248,22,136,14,195,27,249,
22,154,14,197,200,28,28,248,22,149,14,193,10,248,22,148,14,193,192,11,11,
28,192,192,28,198,11,251,2,62,198,203,201,202,194,32,65,89,162,8,44,40,
8,31,2,20,222,33,66,28,248,22,81,23,197,2,11,27,248,22,161,14,248,
22,74,23,199,2,27,249,22,154,14,23,196,1,23,197,2,28,248,22,148,14,
23,194,2,250,2,61,198,199,195,87,94,23,193,1,27,248,22,75,23,200,1,
159,14,23,196,2,11,248,22,158,14,23,196,2,11,10,12,250,22,167,9,2,
16,6,29,29,35,102,32,111,114,32,114,101,108,97,116,105,118,101,32,112,97,
116,104,32,111,114,32,115,116,114,105,110,103,23,198,2,28,28,248,22,158,14,
23,195,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,198,2,249,22,
131,9,194,68,114,101,108,97,116,105,118,101,11,27,248,22,141,8,6,4,4,
80,65,84,72,27,28,23,194,2,27,249,80,159,41,49,38,23,197,1,9,28,
249,22,131,9,247,22,143,8,2,22,249,22,73,248,22,145,14,5,1,46,194,
192,87,94,23,194,1,9,28,248,22,81,23,194,2,11,27,248,22,161,14,248,
22,74,23,196,2,27,249,22,154,14,23,196,1,23,200,2,28,248,22,148,14,
23,194,2,250,2,63,201,202,195,87,94,23,193,1,27,248,22,75,23,197,1,
28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,74,23,196,2,27,249,
22,154,14,23,196,1,23,200,2,28,248,22,148,14,23,194,2,250,2,61,201,
202,195,87,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,2,
11,27,248,22,161,14,248,22,74,23,196,2,27,249,22,154,14,23,196,1,23,
203,2,28,248,22,148,14,23,194,2,250,2,61,204,205,195,87,94,23,193,1,
27,248,22,75,23,197,1,28,248,22,81,23,194,2,11,27,248,22,161,14,248,
22,74,23,196,2,27,249,22,154,14,23,196,1,23,206,2,28,248,22,148,14,
23,194,2,250,2,61,23,15,23,16,195,87,94,23,193,1,27,248,22,75,23,
197,1,28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,74,23,196,2,
27,249,22,154,14,23,196,1,23,209,2,28,248,22,148,14,23,194,2,250,2,
61,23,18,23,19,195,87,94,23,193,1,27,248,22,75,23,197,1,28,248,22,
81,23,194,2,11,27,248,22,161,14,248,22,74,195,27,249,22,154,14,23,196,
1,23,19,28,248,22,148,14,193,250,2,61,23,21,23,22,195,251,2,65,23,
21,23,22,23,23,248,22,75,199,87,95,28,28,248,22,136,14,23,195,2,10,
28,248,22,185,6,23,195,2,28,248,22,158,14,23,195,2,10,248,22,159,14,
23,195,2,11,12,250,22,167,9,2,16,6,25,25,112,97,116,104,32,111,114,
32,115,116,114,105,110,103,32,40,115,97,110,115,32,110,117,108,41,23,197,2,
28,28,23,195,2,28,28,248,22,136,14,23,196,2,10,28,248,22,185,6,23,
196,2,28,248,22,158,14,23,196,2,10,248,22,159,14,23,196,2,11,248,22,
158,14,23,196,2,11,10,12,250,22,167,9,2,16,6,29,29,35,102,32,111,
114,32,114,101,108,97,116,105,118,101,32,112,97,116,104,32,111,114,32,115,116,
114,105,110,103,23,198,2,28,28,248,22,158,14,23,195,2,91,159,39,11,90,
161,39,36,11,248,22,157,14,23,198,2,249,22,131,9,194,68,114,101,108,97,
116,105,118,101,11,27,248,22,141,8,6,4,4,80,65,84,72,27,28,23,194,
2,27,249,80,159,41,49,38,23,197,1,9,28,249,22,131,9,247,22,143,8,
2,22,249,22,73,248,22,145,14,5,1,46,194,192,87,94,23,194,1,9,28,
248,22,81,23,194,2,11,27,248,22,161,14,248,22,74,23,196,2,27,249,22,
154,14,23,196,1,23,200,2,28,248,22,148,14,23,194,2,250,2,61,201,202,
195,87,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,2,11,
27,248,22,161,14,248,22,74,23,196,2,27,249,22,154,14,23,196,1,23,203,
2,28,248,22,148,14,23,194,2,250,2,61,204,205,195,87,94,23,193,1,27,
248,22,75,23,197,1,28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,
74,195,27,249,22,154,14,23,196,1,205,28,248,22,148,14,193,250,2,61,23,
15,23,16,195,251,2,65,23,15,23,16,23,17,248,22,75,199,27,248,22,161,
14,23,196,1,28,248,22,148,14,193,250,2,61,198,199,195,11,250,80,159,39,
50,37,196,197,11,250,80,159,39,50,37,196,11,11,87,94,249,22,174,6,247,
22,146,5,195,248,22,136,6,249,22,189,3,36,249,22,173,3,197,198,27,28,
23,197,2,87,95,23,196,1,23,195,1,23,197,1,87,94,23,197,1,27,248,
22,176,14,2,21,27,249,80,159,41,50,37,23,196,1,11,27,248,22,128,4,
23,199,1,27,28,23,194,2,23,194,1,87,94,23,194,1,36,27,248,22,128,
4,23,202,1,27,28,23,194,2,23,194,1,87,94,23,194,1,36,249,22,177,
5,23,199,1,83,158,40,20,100,95,89,162,8,44,36,48,9,224,4,2,33,
70,23,195,1,23,197,1,27,248,22,162,5,23,195,1,248,80,159,39,55,37,
193,159,36,20,105,159,36,16,1,11,16,0,83,158,42,20,103,145,2,1,2,
1,29,11,11,11,11,11,10,43,80,158,36,36,20,105,159,38,16,18,2,2,
2,3,2,4,2,5,2,6,2,7,2,8,2,9,2,10,2,11,2,12,2,
13,2,14,2,15,2,16,2,17,30,2,19,1,20,112,97,114,97,109,101,116,
101,114,105,122,97,116,105,111,110,45,107,101,121,4,30,2,19,1,23,101,120,
116,101,110,100,45,112,97,114,97,109,101,116,101,114,105,122,97,116,105,111,110,
3,16,0,16,0,36,16,0,36,16,4,2,6,2,5,2,3,2,10,40,11,
11,39,36,11,11,11,16,12,2,9,2,7,2,17,2,8,2,16,2,14,2,
13,2,4,2,12,2,15,2,11,2,2,16,12,11,11,11,11,11,11,11,11,
11,11,11,11,16,12,2,9,2,7,2,17,2,8,2,16,2,14,2,13,2,
4,2,12,2,15,2,11,2,2,48,48,37,11,11,11,16,0,16,0,16,0,
36,36,11,11,11,11,16,0,16,0,16,0,36,36,16,0,16,18,83,158,36,
16,2,89,162,8,44,37,51,2,20,223,0,33,33,80,159,36,55,37,83,158,
36,16,2,89,162,8,44,37,56,2,20,223,0,33,34,80,159,36,54,37,83,
158,36,16,2,32,0,89,162,44,37,45,2,2,222,33,35,80,159,36,36,37,
83,158,36,16,2,249,22,187,6,7,92,7,92,80,159,36,37,37,83,158,36,
16,2,89,162,44,37,54,2,4,223,0,33,36,80,159,36,38,37,83,158,36,
16,2,32,0,89,162,8,44,38,50,2,5,222,33,37,80,159,36,39,37,83,
158,36,16,2,32,0,89,162,8,44,39,51,2,6,222,33,39,80,159,36,40,
37,83,158,36,16,2,32,0,89,162,8,45,38,54,2,7,222,33,43,80,159,
36,41,37,83,158,36,16,2,32,0,89,162,45,39,53,2,9,222,33,47,80,
159,36,43,37,83,158,36,16,2,32,0,89,162,44,41,59,2,8,222,33,50,
80,159,36,42,37,83,158,36,16,2,32,0,89,162,44,39,50,2,10,222,33,
51,80,159,36,44,37,83,158,36,16,2,32,0,89,162,44,38,53,2,11,222,
33,52,80,159,36,45,37,83,158,36,16,2,32,0,89,162,44,38,54,2,12,
222,33,53,80,159,36,46,37,83,158,36,16,2,32,0,89,162,44,37,44,2,
13,222,33,54,80,159,36,47,37,83,158,36,16,2,83,158,39,20,99,96,2,
14,89,162,44,36,44,9,223,0,33,55,89,162,44,37,45,9,223,0,33,56,
89,162,44,38,55,9,223,0,33,57,80,159,36,48,37,83,158,36,16,2,27,
248,22,183,14,248,22,135,8,27,28,249,22,131,9,247,22,143,8,2,22,6,
1,1,59,6,1,1,58,250,22,169,7,6,14,14,40,91,94,126,97,93,42,
41,126,97,40,46,42,41,23,196,2,23,196,1,89,162,8,44,38,8,32,2,
15,223,0,33,60,80,159,36,49,37,83,158,36,16,2,83,158,39,20,99,96,
2,16,89,162,8,44,39,8,24,9,223,0,33,67,89,162,44,38,47,9,223,
0,33,68,89,162,44,37,46,9,223,0,33,69,80,159,36,50,37,83,158,36,
16,2,89,162,8,44,39,54,2,17,223,0,33,71,80,159,36,51,37,94,29,
94,2,18,68,35,37,107,101,114,110,101,108,11,29,94,2,18,69,35,37,109,
105,110,45,115,116,120,11,9,9,9,36,0};
EVAL_ONE_SIZED_STR((char *)expr, 8642);
22,154,14,23,196,1,23,203,2,28,248,22,148,14,23,194,2,250,2,63,204,
205,195,87,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,2,
11,27,248,22,161,14,248,22,74,195,27,249,22,154,14,23,196,1,205,28,248,
22,148,14,193,250,2,63,23,15,23,16,195,251,2,67,23,15,23,16,23,17,
248,22,75,199,27,248,22,161,14,23,196,1,28,248,22,148,14,193,250,2,63,
198,199,195,11,250,80,159,39,50,37,196,197,11,250,80,159,39,50,37,196,11,
11,87,94,249,22,174,6,247,22,146,5,195,248,22,136,6,249,22,189,3,36,
249,22,173,3,197,198,27,28,23,197,2,87,95,23,196,1,23,195,1,23,197,
1,87,94,23,197,1,27,248,22,176,14,2,21,27,249,80,159,41,50,37,23,
196,1,11,27,248,22,128,4,23,199,1,27,28,23,194,2,23,194,1,87,94,
23,194,1,36,27,248,22,128,4,23,202,1,27,28,23,194,2,23,194,1,87,
94,23,194,1,36,249,22,177,5,23,199,1,83,158,40,20,100,95,89,162,8,
44,36,48,9,224,4,2,33,72,23,195,1,23,197,1,27,248,22,162,5,23,
195,1,248,80,159,39,55,37,193,159,36,20,105,159,36,16,1,11,16,0,83,
158,42,20,103,145,2,1,2,1,29,11,11,11,11,11,10,43,80,158,36,36,
20,105,159,38,16,18,2,2,2,3,2,4,2,5,2,6,2,7,2,8,2,
9,2,10,2,11,2,12,2,13,2,14,2,15,2,16,2,17,30,2,19,1,
20,112,97,114,97,109,101,116,101,114,105,122,97,116,105,111,110,45,107,101,121,
4,30,2,19,1,23,101,120,116,101,110,100,45,112,97,114,97,109,101,116,101,
114,105,122,97,116,105,111,110,3,16,0,16,0,36,16,0,36,16,4,2,6,
2,5,2,3,2,10,40,11,11,39,36,11,11,11,16,12,2,9,2,7,2,
17,2,8,2,16,2,14,2,13,2,4,2,12,2,15,2,11,2,2,16,12,
11,11,11,11,11,11,11,11,11,11,11,11,16,12,2,9,2,7,2,17,2,
8,2,16,2,14,2,13,2,4,2,12,2,15,2,11,2,2,48,48,37,11,
11,11,16,0,16,0,16,0,36,36,11,11,11,11,16,0,16,0,16,0,36,
36,16,0,16,18,83,158,36,16,2,89,162,8,44,37,51,2,20,223,0,33,
34,80,159,36,55,37,83,158,36,16,2,89,162,8,44,37,56,2,20,223,0,
33,35,80,159,36,54,37,83,158,36,16,2,32,0,89,162,44,37,45,2,2,
222,33,36,80,159,36,36,37,83,158,36,16,2,249,22,187,6,7,92,7,92,
80,159,36,37,37,83,158,36,16,2,89,162,44,37,54,2,4,223,0,33,37,
80,159,36,38,37,83,158,36,16,2,32,0,89,162,8,44,38,50,2,5,222,
33,38,80,159,36,39,37,83,158,36,16,2,32,0,89,162,8,44,39,51,2,
6,222,33,40,80,159,36,40,37,83,158,36,16,2,32,0,89,162,8,45,38,
54,2,7,222,33,44,80,159,36,41,37,83,158,36,16,2,32,0,89,162,45,
39,53,2,9,222,33,48,80,159,36,43,37,83,158,36,16,2,32,0,89,162,
44,41,59,2,8,222,33,51,80,159,36,42,37,83,158,36,16,2,32,0,89,
162,44,39,50,2,10,222,33,52,80,159,36,44,37,83,158,36,16,2,32,0,
89,162,44,38,53,2,11,222,33,53,80,159,36,45,37,83,158,36,16,2,32,
0,89,162,44,38,54,2,12,222,33,54,80,159,36,46,37,83,158,36,16,2,
32,0,89,162,44,37,44,2,13,222,33,55,80,159,36,47,37,83,158,36,16,
2,83,158,39,20,99,96,2,14,89,162,44,36,44,9,223,0,33,56,89,162,
44,37,45,9,223,0,33,57,89,162,44,38,55,9,223,0,33,58,80,159,36,
48,37,83,158,36,16,2,27,248,22,183,14,248,22,135,8,27,28,249,22,131,
9,247,22,143,8,2,22,6,1,1,59,6,1,1,58,250,22,169,7,6,14,
14,40,91,94,126,97,93,42,41,126,97,40,46,42,41,23,196,2,23,196,1,
89,162,8,44,38,8,30,2,15,223,0,33,62,80,159,36,49,37,83,158,36,
16,2,83,158,39,20,99,96,2,16,89,162,8,44,39,8,24,9,223,0,33,
69,89,162,44,38,47,9,223,0,33,70,89,162,44,37,46,9,223,0,33,71,
80,159,36,50,37,83,158,36,16,2,89,162,8,44,39,54,2,17,223,0,33,
73,80,159,36,51,37,94,29,94,2,18,68,35,37,107,101,114,110,101,108,11,
29,94,2,18,69,35,37,109,105,110,45,115,116,120,11,9,9,9,36,0};
EVAL_ONE_SIZED_STR((char *)expr, 8818);
}
{
SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,55,9,0,0,0,1,0,0,10,0,16,

View File

@ -332,7 +332,10 @@
"(cons-path(lambda(default s l) "
" (if (bytes=? s #\"\")"
"(append default l)"
"(cons(bytes->path s) l)))))"
"(cons(bytes->path(if(eq?(system-type) 'windows)"
" (regexp-replace* #rx#\"\\\"\" s #\"\")"
" s))"
" l)))))"
"(lambda(s default)"
"(unless(or(bytes? s)"
"(string? s))"

View File

@ -403,7 +403,10 @@
(cons-path (lambda (default s l)
(if (bytes=? s #"")
(append default l)
(cons (bytes->path s) l)))))
(cons (bytes->path (if (eq? (system-type) 'windows)
(regexp-replace* #rx#"\"" s #"")
s))
l)))))
(lambda (s default)
(unless (or (bytes? s)
(string? s))