From 287d5cedf507986bf1941a7fb468139b4fd0ca38 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 9 Dec 2011 09:12:17 -0700 Subject: [PATCH] add `pseudo-random-generator-vector?' Also, adjust docs to clarify that `vector->pseudo-random-generator!' can be used as a more complete seeding function. --- collects/scribblings/reference/numbers.scrbl | 31 +- collects/tests/racket/number.rktl | 16 + doc/release-notes/racket/HISTORY.txt | 3 + src/racket/src/cstartup.inc | 1590 +++++++++--------- src/racket/src/numstr.c | 27 +- src/racket/src/schminc.h | 2 +- src/racket/src/schvers.h | 4 +- 7 files changed, 861 insertions(+), 812 deletions(-) diff --git a/collects/scribblings/reference/numbers.scrbl b/collects/scribblings/reference/numbers.scrbl index 2d16d55a42..58fda6f091 100644 --- a/collects/scribblings/reference/numbers.scrbl +++ b/collects/scribblings/reference/numbers.scrbl @@ -796,7 +796,13 @@ Seeds the current pseudo-random number generator with @racket[k]. Seeding a generator sets its internal state deterministically; that is, seeding a generator with a particular number forces it to produce a sequence of pseudo-random numbers that -is the same across runs and across platforms.} +is the same across runs and across platforms. + +The @racket[random-seed] function is convenient for some purposes, but +note that the space of states for a pseudo-random number generator is +much larger that the space of allowed values for @racket[k]. Use +@racket[vector->pseudo-random-generator!] to set a pseudo-random +number generator to any of its possible states.} @defproc[(make-pseudo-random-generator) pseudo-random-generator?]{ @@ -818,7 +824,7 @@ used by @racket[random].} @defproc[(pseudo-random-generator->vector [generator pseudo-random-generator?]) - vector?]{ + pseudo-random-generator-vector?]{ Produces a vector that represents the complete internal state of @racket[generator]. The vector is suitable as an argument to @@ -826,25 +832,30 @@ Produces a vector that represents the complete internal state of its current state (across runs and across platforms).} -@defproc[(vector->pseudo-random-generator [vec vector?]) +@defproc[(vector->pseudo-random-generator [vec pseudo-random-generator-vector?]) pseudo-random-generator?]{ Produces a pseudo-random number generator whose internal state -corresponds to @racket[vec]. The vector @racket[vec] must contain six -exact integers; the first three integers must be in the range -@racket[0] to @racket[4294967086], inclusive; the last three integers -must be in the range @racket[0] to @racket[4294944442], inclusive; at -least one of the first three integers must be non-zero; and at least -one of the last three integers must be non-zero.} +corresponds to @racket[vec].} @defproc[(vector->pseudo-random-generator! [generator pseudo-random-generator?] - [vec vector?]) + [vec pseudo-random-generator-vector?]) void?]{ Like @racket[vector->pseudo-random-generator], but changes @racket[generator] to the given state, instead of creating a new generator.} + +@defproc[(pseudo-random-generator-vector? [v any/c]) boolean?]{ + +Returns @racket[#t] if @racket[v] is a vector of six exact integers, +where the first three integers are in the range @racket[0] to +@racket[4294967086], inclusive; the last three integers are in the +range @racket[0] to @racket[4294944442], inclusive; at least one of +the first three integers is non-zero; and at least one of the last +three integers is non-zero. Otherwise, the result is @racket[#f].} + @; ------------------------------------------------------------------------ @subsection{Number--String Conversions} diff --git a/collects/tests/racket/number.rktl b/collects/tests/racket/number.rktl index 4d73e280ff..de08074e3b 100644 --- a/collects/tests/racket/number.rktl +++ b/collects/tests/racket/number.rktl @@ -2230,6 +2230,22 @@ (arity-test current-evt-pseudo-random-generator 0 1) (err/rt-test (current-pseudo-random-generator 10)) +(let ([g (current-pseudo-random-generator)]) + (test #t pseudo-random-generator-vector? (pseudo-random-generator->vector g))) +(test #f pseudo-random-generator-vector? #()) +(test #t pseudo-random-generator-vector? #(1 2 3 4 5 6)) +(test #f pseudo-random-generator-vector? #(0 0 0 4 5 6)) +(test #f pseudo-random-generator-vector? #(1 2 3 0 0 0)) +(test #f pseudo-random-generator-vector? #(1 2 3 4 5 #f)) +(err/rt-test (vector->pseudo-random-generator #())) +(err/rt-test (vector->pseudo-random-generator #(0 0 0 1 2 3))) +;; Known state should produce known values: +(parameterize ([current-pseudo-random-generator + (vector->pseudo-random-generator + #(3620087466 1904163406 3177592043 1406334318 257151704 3090455638))]) + (test 5353 random 10000) + (test 8571 random 10000) + (test 9729 random 10000)) (test #t = 0 0) (test #f = 0 (expt 2 32)) diff --git a/doc/release-notes/racket/HISTORY.txt b/doc/release-notes/racket/HISTORY.txt index bfa0f3b62d..ea31c38b8b 100644 --- a/doc/release-notes/racket/HISTORY.txt +++ b/doc/release-notes/racket/HISTORY.txt @@ -1,3 +1,6 @@ +Version 5.2.0.6 +Added pseudo-random-generator-vector? + Version 5.2.0.5 Cross-module inlining of trivial functions, plus map, for-each, andmap, and ormap; 'compiler-hint:cross-module-inline hint diff --git a/src/racket/src/cstartup.inc b/src/racket/src/cstartup.inc index 46afea858d..741000df87 100644 --- a/src/racket/src/cstartup.inc +++ b/src/racket/src/cstartup.inc @@ -1,5 +1,5 @@ { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,53,0,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,54,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,51,0,0,0,1,0,0,10,0,13,0,18, 0,25,0,30,0,33,0,46,0,53,0,58,0,62,0,66,0,73,0,82,0, 85,0,91,0,105,0,119,0,122,0,128,0,132,0,134,0,145,0,147,0,161, @@ -15,63 +15,63 @@ 116,120,61,115,70,108,101,116,45,118,97,108,117,101,115,61,120,73,108,101,116, 114,101,99,45,118,97,108,117,101,115,66,108,97,109,98,100,97,1,20,112,97, 114,97,109,101,116,101,114,105,122,97,116,105,111,110,45,107,101,121,61,118,73, -100,101,102,105,110,101,45,118,97,108,117,101,115,97,36,11,8,240,85,76,0, +100,101,102,105,110,101,45,118,97,108,117,101,115,97,36,11,8,240,152,76,0, 0,95,159,2,17,36,36,159,2,16,36,36,159,2,16,36,36,16,20,2,3, 2,2,2,4,2,2,2,5,2,2,2,6,2,2,2,7,2,2,2,8,2, 2,2,9,2,2,2,10,2,2,2,11,2,2,2,12,2,2,97,37,11,8, -240,85,76,0,0,93,159,2,16,36,37,16,2,2,13,161,2,2,37,2,13, -2,2,2,13,96,38,11,8,240,85,76,0,0,16,0,96,11,11,8,240,85, +240,152,76,0,0,93,159,2,16,36,37,16,2,2,13,161,2,2,37,2,13, +2,2,2,13,96,38,11,8,240,152,76,0,0,16,0,96,11,11,8,240,152, 76,0,0,16,0,18,98,64,104,101,114,101,13,16,5,36,2,14,2,2,11, -11,8,32,8,31,8,30,8,29,27,248,22,155,4,195,249,22,148,4,80,158, +11,8,32,8,31,8,30,8,29,27,248,22,156,4,195,249,22,149,4,80,158, 39,36,251,22,83,2,18,248,22,98,199,12,249,22,73,2,19,248,22,100,201, -27,248,22,155,4,195,249,22,148,4,80,158,39,36,251,22,83,2,18,248,22, -98,199,249,22,73,2,19,248,22,100,201,12,27,248,22,75,248,22,155,4,196, +27,248,22,156,4,195,249,22,149,4,80,158,39,36,251,22,83,2,18,248,22, +98,199,249,22,73,2,19,248,22,100,201,12,27,248,22,75,248,22,156,4,196, 28,248,22,81,193,20,14,159,37,36,37,28,248,22,81,248,22,75,194,248,22, -74,193,249,22,148,4,80,158,39,36,251,22,83,2,18,248,22,74,199,249,22, +74,193,249,22,149,4,80,158,39,36,251,22,83,2,18,248,22,74,199,249,22, 73,2,11,248,22,75,201,11,18,100,10,13,16,5,36,2,14,2,2,11,11, 8,32,8,31,8,30,8,29,16,4,11,11,2,20,3,1,8,101,110,118,49, -52,57,54,54,16,4,11,11,2,21,3,1,8,101,110,118,49,52,57,54,55, -27,248,22,75,248,22,155,4,196,28,248,22,81,193,20,14,159,37,36,37,28, -248,22,81,248,22,75,194,248,22,74,193,249,22,148,4,80,158,39,36,250,22, +53,48,49,54,16,4,11,11,2,21,3,1,8,101,110,118,49,53,48,49,55, +27,248,22,75,248,22,156,4,196,28,248,22,81,193,20,14,159,37,36,37,28, +248,22,81,248,22,75,194,248,22,74,193,249,22,149,4,80,158,39,36,250,22, 83,2,22,248,22,83,249,22,83,248,22,83,2,23,248,22,74,201,251,22,83, 2,18,2,23,2,23,249,22,73,2,6,248,22,75,204,18,100,11,13,16,5, 36,2,14,2,2,11,11,8,32,8,31,8,30,8,29,16,4,11,11,2,20, -3,1,8,101,110,118,49,52,57,54,57,16,4,11,11,2,21,3,1,8,101, -110,118,49,52,57,55,48,248,22,155,4,193,27,248,22,155,4,194,249,22,73, -248,22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,155,4,23,197, -1,249,22,148,4,80,158,39,36,28,248,22,58,248,22,149,4,248,22,74,23, +3,1,8,101,110,118,49,53,48,49,57,16,4,11,11,2,21,3,1,8,101, +110,118,49,53,48,50,48,248,22,156,4,193,27,248,22,156,4,194,249,22,73, +248,22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,156,4,23,197, +1,249,22,149,4,80,158,39,36,28,248,22,58,248,22,150,4,248,22,74,23, 198,2,27,249,22,2,32,0,88,163,8,36,37,43,11,9,222,33,40,248,22, -155,4,248,22,98,23,200,2,250,22,83,2,24,248,22,83,249,22,83,248,22, +156,4,248,22,98,23,200,2,250,22,83,2,24,248,22,83,249,22,83,248,22, 83,248,22,74,23,204,2,250,22,84,2,25,249,22,2,22,74,23,204,2,248, 22,100,23,206,2,249,22,73,248,22,74,23,202,1,249,22,2,22,98,23,200, 1,250,22,84,2,22,249,22,2,32,0,88,163,8,36,37,47,11,9,222,33, -41,248,22,155,4,248,22,74,201,248,22,75,198,27,248,22,155,4,194,249,22, -73,248,22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,155,4,23, -197,1,249,22,148,4,80,158,39,36,250,22,84,2,24,249,22,2,32,0,88, -163,8,36,37,47,11,9,222,33,43,248,22,155,4,248,22,74,201,248,22,75, -198,27,248,22,75,248,22,155,4,196,27,248,22,155,4,248,22,74,195,249,22, -148,4,80,158,40,36,28,248,22,81,195,250,22,84,2,22,9,248,22,75,199, +41,248,22,156,4,248,22,74,201,248,22,75,198,27,248,22,156,4,194,249,22, +73,248,22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,156,4,23, +197,1,249,22,149,4,80,158,39,36,250,22,84,2,24,249,22,2,32,0,88, +163,8,36,37,47,11,9,222,33,43,248,22,156,4,248,22,74,201,248,22,75, +198,27,248,22,75,248,22,156,4,196,27,248,22,156,4,248,22,74,195,249,22, +149,4,80,158,40,36,28,248,22,81,195,250,22,84,2,22,9,248,22,75,199, 250,22,83,2,10,248,22,83,248,22,74,199,250,22,84,2,9,248,22,75,201, -248,22,75,202,27,248,22,75,248,22,155,4,23,197,1,27,249,22,1,22,87, -249,22,2,22,155,4,248,22,155,4,248,22,74,199,248,22,175,4,249,22,148, +248,22,75,202,27,248,22,75,248,22,156,4,23,197,1,27,249,22,1,22,87, +249,22,2,22,156,4,248,22,156,4,248,22,74,199,248,22,176,4,249,22,149, 4,80,158,41,36,251,22,83,1,22,119,105,116,104,45,99,111,110,116,105,110, 117,97,116,105,111,110,45,109,97,114,107,2,26,250,22,84,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,21, 95,1,27,99,111,110,116,105,110,117,97,116,105,111,110,45,109,97,114,107,45, 115,101,116,45,102,105,114,115,116,11,2,26,202,250,22,84,2,22,9,248,22, -75,204,27,248,22,75,248,22,155,4,196,28,248,22,81,193,20,14,159,37,36, -37,249,22,148,4,80,158,39,36,27,248,22,155,4,248,22,74,197,28,249,22, -139,9,62,61,62,248,22,149,4,248,22,98,196,250,22,83,2,22,248,22,83, +75,204,27,248,22,75,248,22,156,4,196,28,248,22,81,193,20,14,159,37,36, +37,249,22,149,4,80,158,39,36,27,248,22,156,4,248,22,74,197,28,249,22, +140,9,62,61,62,248,22,150,4,248,22,98,196,250,22,83,2,22,248,22,83, 249,22,83,21,93,2,27,248,22,74,199,250,22,84,2,5,249,22,83,2,27, 249,22,83,248,22,107,203,2,27,248,22,75,202,251,22,83,2,18,28,249,22, -139,9,248,22,149,4,248,22,74,200,64,101,108,115,101,10,248,22,74,197,250, +140,9,248,22,150,4,248,22,74,200,64,101,108,115,101,10,248,22,74,197,250, 22,84,2,22,9,248,22,75,200,249,22,73,2,5,248,22,75,202,99,13,16, 5,36,2,14,2,2,11,11,8,32,8,31,8,30,8,29,16,4,11,11,2, -20,3,1,8,101,110,118,49,52,57,57,50,16,4,11,11,2,21,3,1,8, -101,110,118,49,52,57,57,51,18,158,94,10,64,118,111,105,100,8,48,27,248, -22,75,248,22,155,4,196,249,22,148,4,80,158,39,36,28,248,22,58,248,22, -149,4,248,22,74,197,250,22,83,2,28,248,22,83,248,22,74,199,248,22,98, -198,27,248,22,149,4,248,22,74,197,250,22,83,2,28,248,22,83,248,22,74, +20,3,1,8,101,110,118,49,53,48,52,50,16,4,11,11,2,21,3,1,8, +101,110,118,49,53,48,52,51,18,158,94,10,64,118,111,105,100,8,48,27,248, +22,75,248,22,156,4,196,249,22,149,4,80,158,39,36,28,248,22,58,248,22, +150,4,248,22,74,197,250,22,83,2,28,248,22,83,248,22,74,199,248,22,98, +198,27,248,22,150,4,248,22,74,197,250,22,83,2,28,248,22,83,248,22,74, 197,250,22,84,2,25,248,22,75,199,248,22,75,202,159,36,20,113,159,36,16, 1,11,16,0,20,26,146,2,1,2,1,2,2,11,11,11,10,36,80,158,36, 36,20,113,159,36,16,0,16,0,38,39,36,16,0,36,16,0,36,11,11,11, @@ -99,8 +99,8 @@ EVAL_ONE_SIZED_STR((char *)expr, 2018); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,53,0,0,0,0,0,0,0,0,0,0,0, -0,0,0,0,0,0,0,0,0,107,0,0,0,1,0,0,8,0,21,0,26, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,54,0,0,0,0,0,0,0,0,0,0,0, +0,0,0,0,0,0,0,0,0,108,0,0,0,1,0,0,8,0,21,0,26, 0,43,0,65,0,94,0,109,0,127,0,143,0,157,0,179,0,195,0,212,0, 234,0,245,0,251,0,4,1,11,1,18,1,30,1,46,1,70,1,102,1,120, 1,140,1,156,1,174,1,205,1,219,1,224,1,234,1,23,2,31,2,40,2, @@ -110,493 +110,494 @@ 13,30,14,116,14,216,14,44,15,58,15,172,15,0,16,14,16,223,16,231,16, 81,17,144,17,146,17,2,18,62,18,67,18,190,18,201,18,81,19,91,19,14, 21,36,21,45,21,38,22,56,22,70,22,29,23,48,23,242,25,102,30,16,31, -161,31,146,32,128,33,135,33,216,33,43,34,128,34,154,34,27,35,0,0,125, -39,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,1,20,102,105,110,100,45,101,120,101,99,117,116,97,98,108,101, -45,112,97,116,104,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,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,75,117,115,101,114,45,108, -105,110,107,115,45,112,97,116,104,76,117,115,101,114,45,108,105,110,107,115,45, -99,97,99,104,101,1,20,117,115,101,114,45,108,105,110,107,115,45,116,105,109, -101,115,116,97,109,112,70,108,105,110,107,115,45,112,97,116,104,65,113,117,111, -116,101,68,35,37,112,97,114,97,109,122,29,94,2,16,2,17,11,29,94,2, -16,2,17,11,71,108,105,110,107,115,45,99,97,99,104,101,75,108,105,110,107, -115,45,116,105,109,101,115,116,97,109,112,1,22,103,101,116,45,108,105,110,107, -101,100,45,99,111,108,108,101,99,116,105,111,110,115,1,30,110,111,114,109,97, -108,105,122,101,45,99,111,108,108,101,99,116,105,111,110,45,114,101,102,101,114, -101,110,99,101,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,73,101,109,98,101,100,100,101,100,45,108,111,97,100,64,108,111,111,112, -69,101,120,101,99,45,102,105,108,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,67,119,105,110,100,111,119,115, -68,114,101,108,97,116,105,118,101,5,0,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,72,99,111,108,108,101,99,116,115,45,100,105,114, -65,101,114,114,111,114,6,42,42,101,114,114,111,114,32,114,101,97,100,105,110, -103,32,99,111,108,108,101,99,116,105,111,110,32,108,105,110,107,115,32,102,105, -108,101,32,126,115,58,32,126,97,6,0,0,6,1,1,47,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,6,11,11,80,76, -84,67,79,76,76,69,67,84,83,69,97,100,100,111,110,45,100,105,114,6,8, -8,99,111,108,108,101,99,116,115,27,20,13,159,80,159,37,51,37,250,80,159, -40,52,37,249,22,27,11,80,159,42,51,37,22,129,14,10,248,22,128,6,23, -196,2,28,248,22,188,6,23,194,2,12,86,94,248,22,147,9,23,194,1,27, -20,13,159,80,159,38,51,37,250,80,159,41,52,37,249,22,27,11,80,159,43, -51,37,22,129,14,10,248,22,128,6,23,197,2,28,248,22,188,6,23,194,2, -12,86,94,248,22,147,9,23,194,1,27,20,13,159,80,159,39,51,37,250,80, -159,42,52,37,249,22,27,11,80,159,44,51,37,22,129,14,10,248,22,128,6, -23,198,2,28,248,22,188,6,23,194,2,12,86,94,248,22,147,9,23,194,1, -248,80,159,40,8,31,39,197,28,248,22,81,23,195,2,9,27,248,22,74,23, -196,2,27,28,248,22,179,14,23,195,2,23,194,1,28,248,22,178,14,23,195, -2,249,22,180,14,23,196,1,250,80,159,43,39,39,248,22,131,15,2,31,11, -10,250,80,159,41,39,39,248,22,131,15,2,31,23,197,1,10,28,23,193,2, -249,22,73,248,22,182,14,249,22,180,14,23,198,1,247,22,132,15,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,179,14,23,195,2,23,194,1,28,248,22,178,14,23,195,2,249,22,180, -14,23,196,1,250,80,159,48,39,39,248,22,131,15,2,31,11,10,250,80,159, -46,39,39,248,22,131,15,2,31,23,197,1,10,28,23,193,2,249,22,73,248, -22,182,14,249,22,180,14,23,198,1,247,22,132,15,248,80,159,46,8,30,39, -248,22,75,23,199,1,86,94,23,193,1,248,80,159,44,8,30,39,248,22,75, -23,197,1,86,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,179,14,23,195,2,23,194,1, -28,248,22,178,14,23,195,2,249,22,180,14,23,196,1,250,80,159,46,39,39, -248,22,131,15,2,31,11,10,250,80,159,44,39,39,248,22,131,15,2,31,23, -197,1,10,28,23,193,2,249,22,73,248,22,182,14,249,22,180,14,23,198,1, -247,22,132,15,248,80,159,44,8,30,39,248,22,75,23,199,1,248,80,159,42, -8,30,39,248,22,75,196,28,248,22,81,23,195,2,9,27,248,22,74,23,196, -2,27,28,248,22,179,14,23,195,2,23,194,1,28,248,22,178,14,23,195,2, -249,22,180,14,23,196,1,250,80,159,43,39,39,248,22,131,15,2,31,11,10, -250,80,159,41,39,39,248,22,131,15,2,31,23,197,1,10,28,23,193,2,249, -22,73,248,22,182,14,249,22,180,14,23,198,1,247,22,132,15,248,80,159,41, -8,29,39,248,22,75,23,200,1,248,80,159,39,8,29,39,248,22,75,197,28, -248,22,81,23,195,2,9,27,248,22,74,23,196,2,27,28,248,22,179,14,23, -195,2,23,194,1,28,248,22,178,14,23,195,2,249,22,180,14,23,196,1,250, -80,159,43,39,39,248,22,131,15,2,31,11,10,250,80,159,41,39,39,248,22, -131,15,2,31,23,197,1,10,28,23,193,2,249,22,73,248,22,182,14,249,22, -180,14,23,198,1,247,22,132,15,248,80,159,41,8,28,39,248,22,75,23,200, -1,248,80,159,39,8,28,39,248,22,75,197,27,248,22,155,14,23,195,2,28, -23,193,2,192,86,94,23,193,1,28,248,22,129,7,23,195,2,27,248,22,177, -14,195,28,192,192,248,22,178,14,195,11,86,94,28,28,248,22,156,14,23,195, -2,10,28,248,22,155,14,23,195,2,10,28,248,22,129,7,23,195,2,28,248, -22,177,14,23,195,2,10,248,22,178,14,23,195,2,11,12,250,22,175,9,76, -110,111,114,109,97,108,45,112,97,116,104,45,99,97,115,101,2,32,23,197,2, -28,28,248,22,156,14,23,195,2,249,22,139,9,248,22,157,14,23,197,2,2, -33,249,22,139,9,247,22,151,8,2,33,27,28,248,22,129,7,23,196,2,23, -195,2,248,22,141,8,248,22,160,14,23,197,2,28,249,22,147,15,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,129,7,195,248,22,163,14,195,194,27,248,22,168,7,23,195, -1,249,22,164,14,248,22,144,8,250,22,155,15,0,6,35,114,120,34,47,34, -28,249,22,147,15,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,155,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,33,28,248,22,129,7,194,248,22,163, -14,194,193,32,54,88,163,8,36,39,53,11,70,102,111,117,110,100,45,101,120, -101,99,222,33,57,32,55,88,163,8,36,40,58,11,64,110,101,120,116,222,33, -56,27,248,22,181,14,23,196,2,28,249,22,141,9,23,195,2,23,197,1,11, -28,248,22,177,14,23,194,2,27,249,22,173,14,23,197,1,23,196,1,28,23, -197,2,90,159,39,11,89,161,39,36,11,248,22,176,14,23,197,2,86,95,23, -195,1,23,194,1,27,28,23,202,2,27,248,22,181,14,23,199,2,28,249,22, -141,9,23,195,2,23,200,2,11,28,248,22,177,14,23,194,2,250,2,54,23, -205,2,23,206,2,249,22,173,14,23,200,2,23,198,1,250,2,54,23,205,2, -23,206,2,23,196,1,11,28,23,193,2,192,86,94,23,193,1,27,28,248,22, -155,14,23,196,2,27,249,22,173,14,23,198,2,23,205,2,28,28,248,22,168, -14,193,10,248,22,167,14,193,192,11,11,28,23,193,2,192,86,94,23,193,1, -28,23,203,2,11,27,248,22,181,14,23,200,2,28,249,22,141,9,23,195,2, -23,201,1,11,28,248,22,177,14,23,194,2,250,2,54,23,206,1,23,207,1, -249,22,173,14,23,201,1,23,198,1,250,2,54,205,206,195,192,86,94,23,194, -1,28,23,196,2,90,159,39,11,89,161,39,36,11,248,22,176,14,23,197,2, -86,95,23,195,1,23,194,1,27,28,23,201,2,27,248,22,181,14,23,199,2, -28,249,22,141,9,23,195,2,23,200,2,11,28,248,22,177,14,23,194,2,250, -2,54,23,204,2,23,205,2,249,22,173,14,23,200,2,23,198,1,250,2,54, -23,204,2,23,205,2,23,196,1,11,28,23,193,2,192,86,94,23,193,1,27, -28,248,22,155,14,23,196,2,27,249,22,173,14,23,198,2,23,204,2,28,28, -248,22,168,14,193,10,248,22,167,14,193,192,11,11,28,23,193,2,192,86,94, -23,193,1,28,23,202,2,11,27,248,22,181,14,23,200,2,28,249,22,141,9, -23,195,2,23,201,1,11,28,248,22,177,14,23,194,2,250,2,54,23,205,1, -23,206,1,249,22,173,14,23,201,1,23,198,1,250,2,54,204,205,195,192,28, -23,193,2,90,159,39,11,89,161,39,36,11,248,22,176,14,23,199,2,86,95, -23,195,1,23,194,1,27,28,23,198,2,251,2,55,23,198,2,23,203,2,23, -201,2,23,202,2,11,28,23,193,2,192,86,94,23,193,1,27,28,248,22,155, -14,195,27,249,22,173,14,197,200,28,28,248,22,168,14,193,10,248,22,167,14, -193,192,11,11,28,192,192,28,198,11,251,2,55,198,203,201,202,194,32,58,88, -163,8,36,40,58,11,2,30,222,33,59,28,248,22,81,23,197,2,11,27,248, -22,180,14,248,22,74,23,199,2,27,249,22,173,14,23,196,1,23,197,2,28, -248,22,167,14,23,194,2,250,2,54,198,199,195,86,94,23,193,1,27,248,22, -75,23,200,1,28,248,22,81,23,194,2,11,27,248,22,180,14,248,22,74,23, -196,2,27,249,22,173,14,23,196,1,23,200,2,28,248,22,167,14,23,194,2, -250,2,54,201,202,195,86,94,23,193,1,27,248,22,75,23,197,1,28,248,22, -81,23,194,2,11,27,248,22,180,14,248,22,74,195,27,249,22,173,14,23,196, -1,202,28,248,22,167,14,193,250,2,54,204,205,195,251,2,58,204,205,206,248, -22,75,199,86,95,28,28,248,22,155,14,23,195,2,10,28,248,22,129,7,23, -195,2,28,248,22,177,14,23,195,2,10,248,22,178,14,23,195,2,11,12,250, -22,175,9,2,5,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,155,14,23,196,2,10,28,248,22,129,7,23,196,2,28,248,22,177, -14,23,196,2,10,248,22,178,14,23,196,2,11,248,22,177,14,23,196,2,11, -10,12,250,22,175,9,2,5,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,177,14,23,195,2,90,159,39,11,89,161,39,36,11,248,22, -176,14,23,198,2,249,22,139,9,194,2,34,11,27,248,22,149,8,6,4,4, -80,65,84,72,27,28,23,194,2,27,249,80,158,41,40,23,197,1,9,28,249, -22,139,9,247,22,151,8,2,33,249,22,73,248,22,164,14,5,1,46,194,192, -86,94,23,194,1,9,28,248,22,81,23,194,2,11,27,248,22,180,14,248,22, -74,23,196,2,27,249,22,173,14,23,196,1,23,200,2,28,248,22,167,14,23, +161,31,146,32,128,33,135,33,142,33,223,33,50,34,135,34,161,34,34,35,0, +0,148,39,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,1,20,102,105,110,100,45,101,120,101,99,117,116,97,98, +108,101,45,112,97,116,104,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,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,75,117,115,101,114, +45,108,105,110,107,115,45,112,97,116,104,76,117,115,101,114,45,108,105,110,107, +115,45,99,97,99,104,101,1,20,117,115,101,114,45,108,105,110,107,115,45,116, +105,109,101,115,116,97,109,112,70,108,105,110,107,115,45,112,97,116,104,65,113, +117,111,116,101,68,35,37,112,97,114,97,109,122,29,94,2,16,2,17,11,29, +94,2,16,2,17,11,71,108,105,110,107,115,45,99,97,99,104,101,75,108,105, +110,107,115,45,116,105,109,101,115,116,97,109,112,1,22,103,101,116,45,108,105, +110,107,101,100,45,99,111,108,108,101,99,116,105,111,110,115,1,30,110,111,114, +109,97,108,105,122,101,45,99,111,108,108,101,99,116,105,111,110,45,114,101,102, +101,114,101,110,99,101,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,73,101,109,98,101,100,100,101,100,45,108,111,97,100,64,108,111, +111,112,69,101,120,101,99,45,102,105,108,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,67,119,105,110,100,111, +119,115,68,114,101,108,97,116,105,118,101,5,0,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,72,99,111,108,108,101,99,116,115,45,100, +105,114,65,101,114,114,111,114,6,42,42,101,114,114,111,114,32,114,101,97,100, +105,110,103,32,99,111,108,108,101,99,116,105,111,110,32,108,105,110,107,115,32, +102,105,108,101,32,126,115,58,32,126,97,6,0,0,6,1,1,47,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,6,11,11, +80,76,84,67,79,76,76,69,67,84,83,69,97,100,100,111,110,45,100,105,114, +6,8,8,99,111,108,108,101,99,116,115,27,20,13,159,80,159,37,51,37,250, +80,159,40,52,37,249,22,27,11,80,159,42,51,37,22,130,14,10,248,22,129, +6,23,196,2,28,248,22,189,6,23,194,2,12,86,94,248,22,148,9,23,194, +1,27,20,13,159,80,159,38,51,37,250,80,159,41,52,37,249,22,27,11,80, +159,43,51,37,22,130,14,10,248,22,129,6,23,197,2,28,248,22,189,6,23, +194,2,12,86,94,248,22,148,9,23,194,1,27,20,13,159,80,159,39,51,37, +250,80,159,42,52,37,249,22,27,11,80,159,44,51,37,22,130,14,10,248,22, +129,6,23,198,2,28,248,22,189,6,23,194,2,12,86,94,248,22,148,9,23, +194,1,248,80,159,40,8,31,39,197,28,248,22,81,23,195,2,9,27,248,22, +74,23,196,2,27,28,248,22,180,14,23,195,2,23,194,1,28,248,22,179,14, +23,195,2,249,22,181,14,23,196,1,250,80,159,43,39,39,248,22,132,15,2, +31,11,10,250,80,159,41,39,39,248,22,132,15,2,31,23,197,1,10,28,23, +193,2,249,22,73,248,22,183,14,249,22,181,14,23,198,1,247,22,133,15,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,180,14,23,195,2,23,194,1,28,248,22,179,14,23,195,2,249, +22,181,14,23,196,1,250,80,159,48,39,39,248,22,132,15,2,31,11,10,250, +80,159,46,39,39,248,22,132,15,2,31,23,197,1,10,28,23,193,2,249,22, +73,248,22,183,14,249,22,181,14,23,198,1,247,22,133,15,248,80,159,46,8, +30,39,248,22,75,23,199,1,86,94,23,193,1,248,80,159,44,8,30,39,248, +22,75,23,197,1,86,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,180,14,23,195,2,23, +194,1,28,248,22,179,14,23,195,2,249,22,181,14,23,196,1,250,80,159,46, +39,39,248,22,132,15,2,31,11,10,250,80,159,44,39,39,248,22,132,15,2, +31,23,197,1,10,28,23,193,2,249,22,73,248,22,183,14,249,22,181,14,23, +198,1,247,22,133,15,248,80,159,44,8,30,39,248,22,75,23,199,1,248,80, +159,42,8,30,39,248,22,75,196,28,248,22,81,23,195,2,9,27,248,22,74, +23,196,2,27,28,248,22,180,14,23,195,2,23,194,1,28,248,22,179,14,23, +195,2,249,22,181,14,23,196,1,250,80,159,43,39,39,248,22,132,15,2,31, +11,10,250,80,159,41,39,39,248,22,132,15,2,31,23,197,1,10,28,23,193, +2,249,22,73,248,22,183,14,249,22,181,14,23,198,1,247,22,133,15,248,80, +159,41,8,29,39,248,22,75,23,200,1,248,80,159,39,8,29,39,248,22,75, +197,28,248,22,81,23,195,2,9,27,248,22,74,23,196,2,27,28,248,22,180, +14,23,195,2,23,194,1,28,248,22,179,14,23,195,2,249,22,181,14,23,196, +1,250,80,159,43,39,39,248,22,132,15,2,31,11,10,250,80,159,41,39,39, +248,22,132,15,2,31,23,197,1,10,28,23,193,2,249,22,73,248,22,183,14, +249,22,181,14,23,198,1,247,22,133,15,248,80,159,41,8,28,39,248,22,75, +23,200,1,248,80,159,39,8,28,39,248,22,75,197,27,248,22,156,14,23,195, +2,28,23,193,2,192,86,94,23,193,1,28,248,22,130,7,23,195,2,27,248, +22,178,14,195,28,192,192,248,22,179,14,195,11,86,94,28,28,248,22,157,14, +23,195,2,10,28,248,22,156,14,23,195,2,10,28,248,22,130,7,23,195,2, +28,248,22,178,14,23,195,2,10,248,22,179,14,23,195,2,11,12,250,22,176, +9,76,110,111,114,109,97,108,45,112,97,116,104,45,99,97,115,101,2,32,23, +197,2,28,28,248,22,157,14,23,195,2,249,22,140,9,248,22,158,14,23,197, +2,2,33,249,22,140,9,247,22,152,8,2,33,27,28,248,22,130,7,23,196, +2,23,195,2,248,22,142,8,248,22,161,14,23,197,2,28,249,22,148,15,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,130,7,195,248,22,164,14,195,194,27,248,22,169,7, +23,195,1,249,22,165,14,248,22,145,8,250,22,156,15,0,6,35,114,120,34, +47,34,28,249,22,148,15,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,156,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,33,28,248,22,130,7,194,248, +22,164,14,194,193,32,54,88,163,8,36,39,53,11,70,102,111,117,110,100,45, +101,120,101,99,222,33,57,32,55,88,163,8,36,40,58,11,64,110,101,120,116, +222,33,56,27,248,22,182,14,23,196,2,28,249,22,142,9,23,195,2,23,197, +1,11,28,248,22,178,14,23,194,2,27,249,22,174,14,23,197,1,23,196,1, +28,23,197,2,90,159,39,11,89,161,39,36,11,248,22,177,14,23,197,2,86, +95,23,195,1,23,194,1,27,28,23,202,2,27,248,22,182,14,23,199,2,28, +249,22,142,9,23,195,2,23,200,2,11,28,248,22,178,14,23,194,2,250,2, +54,23,205,2,23,206,2,249,22,174,14,23,200,2,23,198,1,250,2,54,23, +205,2,23,206,2,23,196,1,11,28,23,193,2,192,86,94,23,193,1,27,28, +248,22,156,14,23,196,2,27,249,22,174,14,23,198,2,23,205,2,28,28,248, +22,169,14,193,10,248,22,168,14,193,192,11,11,28,23,193,2,192,86,94,23, +193,1,28,23,203,2,11,27,248,22,182,14,23,200,2,28,249,22,142,9,23, +195,2,23,201,1,11,28,248,22,178,14,23,194,2,250,2,54,23,206,1,23, +207,1,249,22,174,14,23,201,1,23,198,1,250,2,54,205,206,195,192,86,94, +23,194,1,28,23,196,2,90,159,39,11,89,161,39,36,11,248,22,177,14,23, +197,2,86,95,23,195,1,23,194,1,27,28,23,201,2,27,248,22,182,14,23, +199,2,28,249,22,142,9,23,195,2,23,200,2,11,28,248,22,178,14,23,194, +2,250,2,54,23,204,2,23,205,2,249,22,174,14,23,200,2,23,198,1,250, +2,54,23,204,2,23,205,2,23,196,1,11,28,23,193,2,192,86,94,23,193, +1,27,28,248,22,156,14,23,196,2,27,249,22,174,14,23,198,2,23,204,2, +28,28,248,22,169,14,193,10,248,22,168,14,193,192,11,11,28,23,193,2,192, +86,94,23,193,1,28,23,202,2,11,27,248,22,182,14,23,200,2,28,249,22, +142,9,23,195,2,23,201,1,11,28,248,22,178,14,23,194,2,250,2,54,23, +205,1,23,206,1,249,22,174,14,23,201,1,23,198,1,250,2,54,204,205,195, +192,28,23,193,2,90,159,39,11,89,161,39,36,11,248,22,177,14,23,199,2, +86,95,23,195,1,23,194,1,27,28,23,198,2,251,2,55,23,198,2,23,203, +2,23,201,2,23,202,2,11,28,23,193,2,192,86,94,23,193,1,27,28,248, +22,156,14,195,27,249,22,174,14,197,200,28,28,248,22,169,14,193,10,248,22, +168,14,193,192,11,11,28,192,192,28,198,11,251,2,55,198,203,201,202,194,32, +58,88,163,8,36,40,58,11,2,30,222,33,59,28,248,22,81,23,197,2,11, +27,248,22,181,14,248,22,74,23,199,2,27,249,22,174,14,23,196,1,23,197, +2,28,248,22,168,14,23,194,2,250,2,54,198,199,195,86,94,23,193,1,27, +248,22,75,23,200,1,28,248,22,81,23,194,2,11,27,248,22,181,14,248,22, +74,23,196,2,27,249,22,174,14,23,196,1,23,200,2,28,248,22,168,14,23, 194,2,250,2,54,201,202,195,86,94,23,193,1,27,248,22,75,23,197,1,28, -248,22,81,23,194,2,11,27,248,22,180,14,248,22,74,23,196,2,27,249,22, -173,14,23,196,1,23,203,2,28,248,22,167,14,23,194,2,250,2,54,204,205, -195,86,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,2,11, -27,248,22,180,14,248,22,74,195,27,249,22,173,14,23,196,1,205,28,248,22, -167,14,193,250,2,54,23,15,23,16,195,251,2,58,23,15,23,16,23,17,248, -22,75,199,27,248,22,180,14,23,196,1,28,248,22,167,14,193,250,2,54,198, -199,195,11,250,80,159,39,39,39,196,197,11,250,80,159,39,39,39,196,11,11, -32,63,88,163,8,36,39,57,11,2,30,222,33,65,0,8,35,114,120,35,34, -92,34,34,27,249,22,143,15,23,197,2,23,198,2,28,23,193,2,86,94,23, -196,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,143, -15,23,201,2,23,196,2,28,23,193,2,86,94,23,194,1,27,248,22,98,23, -195,2,27,250,2,63,23,203,2,23,204,1,248,22,107,23,199,1,28,249,22, -190,7,23,196,2,2,35,249,22,87,23,202,2,194,249,22,73,248,22,164,14, -28,249,22,139,9,247,22,151,8,2,33,250,22,155,15,2,64,23,200,1,2, -35,23,197,1,194,86,95,23,199,1,23,193,1,28,249,22,190,7,23,196,2, -2,35,249,22,87,23,200,2,9,249,22,73,248,22,164,14,28,249,22,139,9, -247,22,151,8,2,33,250,22,155,15,2,64,23,200,1,2,35,23,197,1,9, -28,249,22,190,7,23,196,2,2,35,249,22,87,197,194,86,94,23,196,1,249, -22,73,248,22,164,14,28,249,22,139,9,247,22,151,8,2,33,250,22,155,15, -2,64,23,200,1,2,35,23,197,1,194,86,94,23,193,1,28,249,22,190,7, -23,198,2,2,35,249,22,87,195,9,86,94,23,194,1,249,22,73,248,22,164, -14,28,249,22,139,9,247,22,151,8,2,33,250,22,155,15,2,64,23,202,1, -2,35,23,199,1,9,86,95,28,28,248,22,182,7,194,10,248,22,129,7,194, -12,250,22,175,9,2,6,6,21,21,98,121,116,101,32,115,116,114,105,110,103, -32,111,114,32,115,116,114,105,110,103,196,28,28,248,22,82,195,249,22,4,22, -155,14,196,11,12,250,22,175,9,2,6,6,13,13,108,105,115,116,32,111,102, -32,112,97,116,104,115,197,250,2,63,197,195,28,248,22,129,7,197,248,22,143, -8,197,196,86,94,28,28,248,22,155,14,23,195,2,10,28,248,22,129,7,23, -195,2,28,248,22,177,14,23,195,2,10,248,22,178,14,23,195,2,11,12,250, -22,175,9,23,196,2,2,36,23,197,2,28,248,22,177,14,23,195,2,12,248, -22,169,12,249,22,172,11,248,22,158,7,250,22,177,7,2,37,23,200,1,23, -201,1,247,22,23,86,94,28,28,248,22,155,14,23,195,2,10,28,248,22,129, -7,23,195,2,28,248,22,177,14,23,195,2,10,248,22,178,14,23,195,2,11, -12,250,22,175,9,23,196,2,2,36,23,197,2,28,248,22,177,14,23,195,2, -12,248,22,169,12,249,22,172,11,248,22,158,7,250,22,177,7,2,37,23,200, -1,23,201,1,247,22,23,86,94,86,94,28,28,248,22,155,14,23,195,2,10, -28,248,22,129,7,23,195,2,28,248,22,177,14,23,195,2,10,248,22,178,14, -23,195,2,11,12,250,22,175,9,195,2,36,23,197,2,28,248,22,177,14,23, -195,2,12,248,22,169,12,249,22,172,11,248,22,158,7,250,22,177,7,2,37, -199,23,201,1,247,22,23,249,22,3,88,163,8,36,37,50,11,9,223,2,33, -68,196,86,94,28,28,248,22,155,14,23,194,2,10,28,248,22,129,7,23,194, -2,28,248,22,177,14,23,194,2,10,248,22,178,14,23,194,2,11,12,250,22, -175,9,2,9,2,36,23,196,2,28,248,22,177,14,23,194,2,12,248,22,169, -12,249,22,172,11,248,22,158,7,250,22,177,7,2,37,2,9,23,200,1,247, -22,23,248,22,169,12,249,22,144,12,23,196,1,247,22,23,86,94,86,94,86, -94,28,28,248,22,155,14,194,10,28,248,22,129,7,194,28,248,22,177,14,194, -10,248,22,178,14,194,11,12,250,22,175,9,2,9,2,36,196,28,248,22,177, -14,194,12,248,22,169,12,249,22,172,11,248,22,158,7,250,22,177,7,2,37, -2,9,200,247,22,23,249,22,3,32,0,88,163,8,36,37,49,11,9,222,33, -70,196,252,80,158,41,44,2,9,32,0,88,163,8,36,37,45,11,9,222,33, -71,198,199,11,86,94,28,28,248,22,155,14,23,194,2,10,28,248,22,129,7, -23,194,2,28,248,22,177,14,23,194,2,10,248,22,178,14,23,194,2,11,12, -250,22,175,9,2,11,2,36,23,196,2,28,248,22,177,14,23,194,2,12,248, -22,169,12,249,22,172,11,248,22,158,7,250,22,177,7,2,37,2,11,23,200, -1,247,22,23,248,22,169,12,249,22,144,12,23,196,1,247,22,23,86,95,86, -94,28,28,248,22,155,14,194,10,28,248,22,129,7,194,28,248,22,177,14,194, -10,248,22,178,14,194,11,12,250,22,175,9,2,11,2,36,196,28,248,22,177, -14,194,12,248,22,169,12,249,22,172,11,248,22,158,7,250,22,177,7,2,37, -2,11,200,247,22,23,86,94,86,94,28,28,248,22,155,14,23,196,2,10,28, -248,22,129,7,23,196,2,28,248,22,177,14,23,196,2,10,248,22,178,14,23, -196,2,11,12,250,22,175,9,2,11,2,36,23,198,2,28,248,22,177,14,23, -196,2,12,248,22,169,12,249,22,172,11,248,22,158,7,250,22,177,7,2,37, -2,11,23,202,2,247,22,23,249,22,3,32,0,88,163,8,36,37,49,11,9, -222,33,73,23,198,2,249,22,173,14,252,80,158,43,44,2,11,32,0,88,163, -8,36,37,45,11,9,222,33,74,23,202,1,23,203,1,200,195,0,6,45,105, -110,102,46,48,27,248,22,131,15,2,38,27,28,248,22,178,14,23,195,2,193, -20,13,159,80,159,38,51,37,250,80,159,41,52,37,249,22,27,11,80,159,43, -51,37,22,132,15,248,22,131,15,68,111,114,105,103,45,100,105,114,27,248,22, -131,15,2,31,250,80,159,42,39,39,23,196,1,23,198,1,11,28,192,250,22, -173,14,195,6,6,6,99,111,110,102,105,103,6,10,10,108,105,110,107,115,46, -114,107,116,100,11,86,94,27,247,22,130,10,28,249,22,187,9,23,195,2,2, -39,251,22,190,9,23,197,1,2,39,250,22,177,7,2,40,28,23,202,1,80, -159,46,46,38,80,159,46,49,38,248,22,164,11,23,205,1,247,22,23,12,248, -193,247,22,133,2,2,76,86,95,27,247,22,130,10,28,249,22,187,9,23,195, -2,2,39,251,22,190,9,23,197,1,2,39,250,22,177,7,2,40,28,202,80, -159,47,46,38,80,159,47,49,38,248,22,164,11,23,206,1,247,22,23,12,28, -192,28,194,86,94,20,18,159,11,80,158,39,47,247,22,133,2,20,18,159,11, -80,158,39,48,192,86,94,20,18,159,11,80,158,39,53,247,22,133,2,20,18, -159,11,80,158,39,54,192,12,248,194,247,22,133,2,20,20,94,248,22,128,6, -23,194,2,28,248,22,188,6,248,22,128,6,23,195,1,12,248,22,172,9,6, -30,30,101,120,112,101,99,116,101,100,32,97,32,115,105,110,103,108,101,32,83, -45,101,120,112,114,101,115,115,105,111,110,248,22,180,5,193,28,248,22,82,23, -194,2,28,28,249,22,184,3,38,248,22,86,23,196,2,10,249,22,184,3,39, -248,22,86,23,196,2,28,28,248,22,129,7,248,22,74,23,195,2,10,249,22, -139,9,64,114,111,111,116,248,22,74,23,196,2,28,27,248,22,98,194,28,248, -22,155,14,23,194,2,10,28,248,22,129,7,23,194,2,28,248,22,177,14,23, -194,2,10,248,22,178,14,23,194,1,11,27,248,22,81,248,22,100,195,28,192, -192,248,22,156,15,248,22,107,195,11,11,11,11,250,22,151,2,196,197,249,22, -73,197,200,28,28,248,22,81,248,22,100,23,197,2,10,249,22,147,15,248,22, -107,23,198,2,247,22,147,8,27,248,22,182,14,249,22,180,14,248,22,98,23, -200,2,23,198,1,28,248,22,58,248,22,74,23,198,2,86,94,23,196,1,86, -94,28,250,22,153,2,196,11,11,12,250,22,151,2,196,11,9,249,22,157,2, -195,88,163,8,36,38,50,11,9,224,3,2,33,84,27,248,22,61,248,22,74, -23,199,1,250,22,151,2,23,198,2,23,196,2,249,22,73,248,22,125,23,200, -1,250,22,153,2,23,203,1,23,201,1,9,12,250,22,151,2,195,196,248,22, -88,198,20,13,159,80,159,37,56,37,88,163,36,37,54,8,128,144,9,225,1, -0,2,33,78,27,250,22,190,14,28,23,197,2,80,159,41,46,38,80,159,41, -49,38,11,32,0,88,163,8,36,36,41,11,9,222,33,79,28,249,22,186,3, -23,195,2,28,23,196,2,80,158,40,48,80,158,40,54,20,13,159,80,159,38, -56,37,20,20,94,88,163,36,37,55,8,240,0,60,6,0,9,226,2,1,3, -0,33,80,23,196,1,20,13,159,80,159,38,51,37,26,29,80,159,8,31,52, -37,249,22,27,11,80,159,8,33,51,37,22,189,13,10,22,190,13,10,22,191, -13,10,22,130,14,10,22,129,14,10,22,131,14,10,22,128,14,10,22,132,14, -10,22,133,14,10,22,134,14,10,22,135,14,10,22,136,14,10,22,137,14,11, -22,187,13,11,27,249,22,171,5,28,196,80,159,41,46,38,80,159,41,49,38, -66,98,105,110,97,114,121,27,250,22,40,22,31,88,163,8,36,36,44,11,9, -223,4,33,81,20,20,94,88,163,36,36,43,11,9,223,4,33,82,23,197,1, -86,94,28,28,248,22,82,23,194,2,249,22,4,32,0,88,163,8,36,37,45, -11,9,222,33,83,23,195,2,11,12,248,22,172,9,6,18,18,105,108,108,45, -102,111,114,109,101,100,32,99,111,110,116,101,110,116,27,247,22,133,2,27,90, -159,39,11,89,161,39,36,11,248,22,176,14,28,201,80,159,46,46,38,80,159, -46,49,38,192,86,96,249,22,3,20,20,94,88,163,8,36,37,54,11,9,224, -2,3,33,85,23,195,1,23,197,1,249,22,157,2,195,88,163,8,36,38,48, -11,9,223,3,33,86,28,197,86,94,20,18,159,11,80,158,42,47,193,20,18, -159,11,80,158,42,48,196,86,94,20,18,159,11,80,158,42,53,193,20,18,159, -11,80,158,42,54,196,193,28,193,80,158,38,47,80,158,38,53,248,22,9,88, -163,8,32,37,8,40,8,240,0,188,23,0,9,224,1,2,33,87,0,7,35, -114,120,34,47,43,34,28,248,22,129,7,23,195,2,27,249,22,145,15,2,89, -196,28,192,28,249,22,184,3,248,22,97,195,248,22,174,3,248,22,132,7,198, -249,22,7,250,22,151,7,199,36,248,22,97,198,197,249,22,7,250,22,151,7, -199,36,248,22,97,198,249,22,73,249,22,151,7,200,248,22,99,199,199,249,22, -7,196,197,90,159,39,11,89,161,39,36,11,248,22,176,14,23,198,1,86,94, -23,195,1,28,249,22,139,9,23,195,2,2,34,249,22,7,195,199,27,249,22, -73,23,197,1,23,201,1,28,248,22,129,7,23,195,2,27,249,22,145,15,2, -89,196,28,192,28,249,22,184,3,248,22,97,195,248,22,174,3,248,22,132,7, -198,249,22,7,250,22,151,7,199,36,248,22,97,198,195,249,22,7,250,22,151, -7,199,36,248,22,97,198,249,22,73,249,22,151,7,200,248,22,99,199,197,249, -22,7,196,195,90,159,39,11,89,161,39,36,11,248,22,176,14,23,198,1,28, -249,22,139,9,194,2,34,249,22,7,195,197,249,80,159,45,57,39,194,249,22, -73,197,199,32,91,88,163,36,44,8,36,11,65,99,108,111,111,112,222,33,96, -32,92,88,163,8,36,37,55,11,2,30,222,33,93,28,248,22,81,248,22,75, -23,195,2,248,22,83,27,248,22,74,23,196,1,28,248,22,155,14,23,194,2, -248,22,159,14,23,194,1,192,250,22,84,27,248,22,74,23,198,2,28,248,22, -155,14,23,194,2,248,22,159,14,23,194,1,192,2,42,27,248,22,75,23,198, -1,28,248,22,81,248,22,75,23,195,2,248,22,83,27,248,22,74,23,196,1, -28,248,22,155,14,23,194,2,248,22,159,14,23,194,1,192,250,22,84,27,248, -22,74,23,198,2,28,248,22,155,14,23,194,2,248,22,159,14,23,194,1,192, -2,42,27,248,22,75,23,198,1,28,248,22,81,248,22,75,23,195,2,248,22, -83,27,248,22,74,23,196,1,28,248,22,155,14,23,194,2,248,22,159,14,23, -194,1,192,250,22,84,27,248,22,74,23,198,2,28,248,22,155,14,23,194,2, -248,22,159,14,23,194,1,192,2,42,248,2,92,248,22,75,23,198,1,32,94, -88,163,8,36,38,57,11,66,102,105,108,116,101,114,222,33,95,28,248,22,81, -23,195,2,9,28,248,23,194,2,248,22,74,23,196,2,249,22,73,248,22,74, -23,197,2,27,248,22,75,23,198,1,28,248,22,81,23,194,2,9,28,248,23, -197,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,27,248,22,75, -23,197,1,28,248,22,81,23,194,2,9,28,248,23,200,2,248,22,74,23,195, -2,249,22,73,248,22,74,23,196,2,27,248,22,75,23,197,1,28,248,22,81, -23,194,2,9,28,248,23,203,2,248,22,74,23,195,2,249,22,73,248,22,74, -23,196,2,249,2,94,23,206,1,248,22,75,23,198,1,249,2,94,23,204,1, -248,22,75,23,196,1,27,248,22,75,23,195,1,28,248,22,81,23,194,2,9, -28,248,23,201,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249, -2,94,23,204,1,248,22,75,23,198,1,249,2,94,23,202,1,248,22,75,23, -196,1,27,248,22,75,23,195,1,28,248,22,81,23,194,2,9,28,248,23,198, -2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,27,248,22,75,23, -197,1,28,248,22,81,23,194,2,9,28,248,23,201,2,248,22,74,23,195,2, -249,22,73,248,22,74,23,196,2,249,2,94,23,204,1,248,22,75,23,198,1, -249,2,94,23,202,1,248,22,75,23,196,1,27,248,22,75,23,195,1,28,248, -22,81,23,194,2,9,28,248,23,199,2,248,22,74,23,195,2,249,22,73,248, -22,74,23,196,2,249,2,94,23,202,1,248,22,75,23,198,1,249,2,94,23, -200,1,248,22,75,23,196,1,27,248,22,75,23,196,1,28,248,22,81,23,194, -2,9,28,248,23,195,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196, -2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,23,198,2, -248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,27,248,22,75,23,197, -1,28,248,22,81,23,194,2,9,28,248,23,201,2,248,22,74,23,195,2,249, -22,73,248,22,74,23,196,2,249,2,94,23,204,1,248,22,75,23,198,1,249, -2,94,23,202,1,248,22,75,23,196,1,27,248,22,75,23,195,1,28,248,22, -81,23,194,2,9,28,248,23,199,2,248,22,74,23,195,2,249,22,73,248,22, -74,23,196,2,249,2,94,23,202,1,248,22,75,23,198,1,249,2,94,23,200, -1,248,22,75,23,196,1,27,248,22,75,23,195,1,28,248,22,81,23,194,2, -9,28,248,23,196,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2, -27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,23,199,2,248, -22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,23,202,1,248, -22,75,23,198,1,249,2,94,23,200,1,248,22,75,23,196,1,27,248,22,75, -23,195,1,28,248,22,81,23,194,2,9,28,248,23,197,2,248,22,74,23,195, -2,249,22,73,248,22,74,23,196,2,249,2,94,23,200,1,248,22,75,23,198, -1,249,2,94,197,248,22,75,195,28,248,22,81,23,200,2,86,95,23,199,1, -23,198,1,28,23,200,2,199,86,94,23,200,1,27,28,248,22,81,23,197,2, -2,41,249,22,1,22,152,7,248,2,92,23,199,2,248,23,199,1,252,22,177, -7,6,44,44,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,126,97,23,203,1,28,248,22,81,23,203,1,28,248,22,155,14, -23,202,2,248,22,159,14,23,202,1,23,201,1,250,22,152,7,28,248,22,155, -14,23,205,2,248,22,159,14,23,205,1,23,204,1,2,42,23,202,2,28,248, -22,81,23,201,2,9,28,248,22,155,14,248,22,74,23,202,2,249,22,73,248, -22,74,23,203,2,27,248,22,75,23,204,2,28,248,22,81,23,194,2,9,28, -248,22,155,14,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,27,248, -22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,22,155,14,248,22,74, -23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,22,155,14,248,22,75, -23,198,1,249,2,94,22,155,14,248,22,75,23,196,1,27,248,22,75,23,195, -1,28,248,22,81,23,194,2,9,28,248,22,155,14,248,22,74,23,195,2,249, -22,73,248,22,74,23,196,2,249,2,94,22,155,14,248,22,75,23,198,1,249, -2,94,22,155,14,248,22,75,23,196,1,27,248,22,75,23,202,2,28,248,22, -81,23,194,2,9,28,248,22,155,14,248,22,74,23,195,2,249,22,73,248,22, +248,22,81,23,194,2,11,27,248,22,181,14,248,22,74,195,27,249,22,174,14, +23,196,1,202,28,248,22,168,14,193,250,2,54,204,205,195,251,2,58,204,205, +206,248,22,75,199,86,95,28,28,248,22,156,14,23,195,2,10,28,248,22,130, +7,23,195,2,28,248,22,178,14,23,195,2,10,248,22,179,14,23,195,2,11, +12,250,22,176,9,2,5,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,156,14,23,196,2,10,28,248,22,130,7,23,196,2,28,248, +22,178,14,23,196,2,10,248,22,179,14,23,196,2,11,248,22,178,14,23,196, +2,11,10,12,250,22,176,9,2,5,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,178,14,23,195,2,90,159,39,11,89,161,39,36,11, +248,22,177,14,23,198,2,249,22,140,9,194,2,34,11,27,248,22,150,8,6, +4,4,80,65,84,72,27,28,23,194,2,27,249,80,158,41,40,23,197,1,9, +28,249,22,140,9,247,22,152,8,2,33,249,22,73,248,22,165,14,5,1,46, +194,192,86,94,23,194,1,9,28,248,22,81,23,194,2,11,27,248,22,181,14, +248,22,74,23,196,2,27,249,22,174,14,23,196,1,23,200,2,28,248,22,168, +14,23,194,2,250,2,54,201,202,195,86,94,23,193,1,27,248,22,75,23,197, +1,28,248,22,81,23,194,2,11,27,248,22,181,14,248,22,74,23,196,2,27, +249,22,174,14,23,196,1,23,203,2,28,248,22,168,14,23,194,2,250,2,54, +204,205,195,86,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194, +2,11,27,248,22,181,14,248,22,74,195,27,249,22,174,14,23,196,1,205,28, +248,22,168,14,193,250,2,54,23,15,23,16,195,251,2,58,23,15,23,16,23, +17,248,22,75,199,27,248,22,181,14,23,196,1,28,248,22,168,14,193,250,2, +54,198,199,195,11,250,80,159,39,39,39,196,197,11,250,80,159,39,39,39,196, +11,11,32,63,88,163,8,36,39,57,11,2,30,222,33,65,0,8,35,114,120, +35,34,92,34,34,27,249,22,144,15,23,197,2,23,198,2,28,23,193,2,86, +94,23,196,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27,249, +22,144,15,23,201,2,23,196,2,28,23,193,2,86,94,23,194,1,27,248,22, +98,23,195,2,27,250,2,63,23,203,2,23,204,1,248,22,107,23,199,1,28, +249,22,191,7,23,196,2,2,35,249,22,87,23,202,2,194,249,22,73,248,22, +165,14,28,249,22,140,9,247,22,152,8,2,33,250,22,156,15,2,64,23,200, +1,2,35,23,197,1,194,86,95,23,199,1,23,193,1,28,249,22,191,7,23, +196,2,2,35,249,22,87,23,200,2,9,249,22,73,248,22,165,14,28,249,22, +140,9,247,22,152,8,2,33,250,22,156,15,2,64,23,200,1,2,35,23,197, +1,9,28,249,22,191,7,23,196,2,2,35,249,22,87,197,194,86,94,23,196, +1,249,22,73,248,22,165,14,28,249,22,140,9,247,22,152,8,2,33,250,22, +156,15,2,64,23,200,1,2,35,23,197,1,194,86,94,23,193,1,28,249,22, +191,7,23,198,2,2,35,249,22,87,195,9,86,94,23,194,1,249,22,73,248, +22,165,14,28,249,22,140,9,247,22,152,8,2,33,250,22,156,15,2,64,23, +202,1,2,35,23,199,1,9,86,95,28,28,248,22,183,7,194,10,248,22,130, +7,194,12,250,22,176,9,2,6,6,21,21,98,121,116,101,32,115,116,114,105, +110,103,32,111,114,32,115,116,114,105,110,103,196,28,28,248,22,82,195,249,22, +4,22,156,14,196,11,12,250,22,176,9,2,6,6,13,13,108,105,115,116,32, +111,102,32,112,97,116,104,115,197,250,2,63,197,195,28,248,22,130,7,197,248, +22,144,8,197,196,86,94,28,28,248,22,156,14,23,195,2,10,28,248,22,130, +7,23,195,2,28,248,22,178,14,23,195,2,10,248,22,179,14,23,195,2,11, +12,250,22,176,9,23,196,2,2,36,23,197,2,28,248,22,178,14,23,195,2, +12,248,22,170,12,249,22,173,11,248,22,159,7,250,22,178,7,2,37,23,200, +1,23,201,1,247,22,23,86,94,28,28,248,22,156,14,23,195,2,10,28,248, +22,130,7,23,195,2,28,248,22,178,14,23,195,2,10,248,22,179,14,23,195, +2,11,12,250,22,176,9,23,196,2,2,36,23,197,2,28,248,22,178,14,23, +195,2,12,248,22,170,12,249,22,173,11,248,22,159,7,250,22,178,7,2,37, +23,200,1,23,201,1,247,22,23,86,94,86,94,28,28,248,22,156,14,23,195, +2,10,28,248,22,130,7,23,195,2,28,248,22,178,14,23,195,2,10,248,22, +179,14,23,195,2,11,12,250,22,176,9,195,2,36,23,197,2,28,248,22,178, +14,23,195,2,12,248,22,170,12,249,22,173,11,248,22,159,7,250,22,178,7, +2,37,199,23,201,1,247,22,23,249,22,3,88,163,8,36,37,50,11,9,223, +2,33,68,196,86,94,28,28,248,22,156,14,23,194,2,10,28,248,22,130,7, +23,194,2,28,248,22,178,14,23,194,2,10,248,22,179,14,23,194,2,11,12, +250,22,176,9,2,9,2,36,23,196,2,28,248,22,178,14,23,194,2,12,248, +22,170,12,249,22,173,11,248,22,159,7,250,22,178,7,2,37,2,9,23,200, +1,247,22,23,248,22,170,12,249,22,145,12,23,196,1,247,22,23,86,94,86, +94,86,94,28,28,248,22,156,14,194,10,28,248,22,130,7,194,28,248,22,178, +14,194,10,248,22,179,14,194,11,12,250,22,176,9,2,9,2,36,196,28,248, +22,178,14,194,12,248,22,170,12,249,22,173,11,248,22,159,7,250,22,178,7, +2,37,2,9,200,247,22,23,249,22,3,32,0,88,163,8,36,37,49,11,9, +222,33,70,196,252,80,158,41,44,2,9,32,0,88,163,8,36,37,45,11,9, +222,33,71,198,199,11,86,94,28,28,248,22,156,14,23,194,2,10,28,248,22, +130,7,23,194,2,28,248,22,178,14,23,194,2,10,248,22,179,14,23,194,2, +11,12,250,22,176,9,2,11,2,36,23,196,2,28,248,22,178,14,23,194,2, +12,248,22,170,12,249,22,173,11,248,22,159,7,250,22,178,7,2,37,2,11, +23,200,1,247,22,23,248,22,170,12,249,22,145,12,23,196,1,247,22,23,86, +95,86,94,28,28,248,22,156,14,194,10,28,248,22,130,7,194,28,248,22,178, +14,194,10,248,22,179,14,194,11,12,250,22,176,9,2,11,2,36,196,28,248, +22,178,14,194,12,248,22,170,12,249,22,173,11,248,22,159,7,250,22,178,7, +2,37,2,11,200,247,22,23,86,94,86,94,28,28,248,22,156,14,23,196,2, +10,28,248,22,130,7,23,196,2,28,248,22,178,14,23,196,2,10,248,22,179, +14,23,196,2,11,12,250,22,176,9,2,11,2,36,23,198,2,28,248,22,178, +14,23,196,2,12,248,22,170,12,249,22,173,11,248,22,159,7,250,22,178,7, +2,37,2,11,23,202,2,247,22,23,249,22,3,32,0,88,163,8,36,37,49, +11,9,222,33,73,23,198,2,249,22,174,14,252,80,158,43,44,2,11,32,0, +88,163,8,36,37,45,11,9,222,33,74,23,202,1,23,203,1,200,195,0,6, +45,105,110,102,46,48,27,248,22,132,15,2,38,27,28,248,22,179,14,23,195, +2,193,20,13,159,80,159,38,51,37,250,80,159,41,52,37,249,22,27,11,80, +159,43,51,37,22,133,15,248,22,132,15,68,111,114,105,103,45,100,105,114,27, +248,22,132,15,2,31,250,80,159,42,39,39,23,196,1,23,198,1,11,28,192, +250,22,174,14,195,6,6,6,99,111,110,102,105,103,6,10,10,108,105,110,107, +115,46,114,107,116,100,11,86,94,27,247,22,131,10,28,249,22,188,9,23,195, +2,2,39,251,22,191,9,23,197,1,2,39,250,22,178,7,2,40,28,23,202, +1,80,159,46,46,38,80,159,46,49,38,248,22,165,11,23,205,1,247,22,23, +12,248,193,247,22,133,2,2,76,86,95,27,247,22,131,10,28,249,22,188,9, +23,195,2,2,39,251,22,191,9,23,197,1,2,39,250,22,178,7,2,40,28, +202,80,159,47,46,38,80,159,47,49,38,248,22,165,11,23,206,1,247,22,23, +12,28,192,28,194,86,94,20,18,159,11,80,158,39,47,247,22,133,2,20,18, +159,11,80,158,39,48,192,86,94,20,18,159,11,80,158,39,53,247,22,133,2, +20,18,159,11,80,158,39,54,192,12,248,194,247,22,133,2,20,20,94,248,22, +129,6,23,194,2,28,248,22,189,6,248,22,129,6,23,195,1,12,248,22,173, +9,6,30,30,101,120,112,101,99,116,101,100,32,97,32,115,105,110,103,108,101, +32,83,45,101,120,112,114,101,115,115,105,111,110,248,22,181,5,193,28,248,22, +82,23,194,2,28,28,249,22,184,3,38,248,22,86,23,196,2,10,249,22,184, +3,39,248,22,86,23,196,2,28,28,248,22,130,7,248,22,74,23,195,2,10, +249,22,140,9,64,114,111,111,116,248,22,74,23,196,2,28,27,248,22,98,194, +28,248,22,156,14,23,194,2,10,28,248,22,130,7,23,194,2,28,248,22,178, +14,23,194,2,10,248,22,179,14,23,194,1,11,27,248,22,81,248,22,100,195, +28,192,192,248,22,157,15,248,22,107,195,11,11,11,11,250,22,151,2,196,197, +249,22,73,197,200,28,28,248,22,81,248,22,100,23,197,2,10,249,22,148,15, +248,22,107,23,198,2,247,22,148,8,27,248,22,183,14,249,22,181,14,248,22, +98,23,200,2,23,198,1,28,248,22,58,248,22,74,23,198,2,86,94,23,196, +1,86,94,28,250,22,153,2,196,11,11,12,250,22,151,2,196,11,9,249,22, +157,2,195,88,163,8,36,38,50,11,9,224,3,2,33,84,27,248,22,61,248, +22,74,23,199,1,250,22,151,2,23,198,2,23,196,2,249,22,73,248,22,125, +23,200,1,250,22,153,2,23,203,1,23,201,1,9,12,250,22,151,2,195,196, +248,22,88,198,20,13,159,80,159,37,56,37,88,163,36,37,54,8,128,144,9, +225,1,0,2,33,78,27,250,22,191,14,28,23,197,2,80,159,41,46,38,80, +159,41,49,38,11,32,0,88,163,8,36,36,41,11,9,222,33,79,28,249,22, +186,3,23,195,2,28,23,196,2,80,158,40,48,80,158,40,54,20,13,159,80, +159,38,56,37,20,20,94,88,163,36,37,55,8,240,0,60,6,0,9,226,2, +1,3,0,33,80,23,196,1,20,13,159,80,159,38,51,37,26,29,80,159,8, +31,52,37,249,22,27,11,80,159,8,33,51,37,22,190,13,10,22,191,13,10, +22,128,14,10,22,131,14,10,22,130,14,10,22,132,14,10,22,129,14,10,22, +133,14,10,22,134,14,10,22,135,14,10,22,136,14,10,22,137,14,10,22,138, +14,11,22,188,13,11,27,249,22,172,5,28,196,80,159,41,46,38,80,159,41, +49,38,66,98,105,110,97,114,121,27,250,22,40,22,31,88,163,8,36,36,44, +11,9,223,4,33,81,20,20,94,88,163,36,36,43,11,9,223,4,33,82,23, +197,1,86,94,28,28,248,22,82,23,194,2,249,22,4,32,0,88,163,8,36, +37,45,11,9,222,33,83,23,195,2,11,12,248,22,173,9,6,18,18,105,108, +108,45,102,111,114,109,101,100,32,99,111,110,116,101,110,116,27,247,22,133,2, +27,90,159,39,11,89,161,39,36,11,248,22,177,14,28,201,80,159,46,46,38, +80,159,46,49,38,192,86,96,249,22,3,20,20,94,88,163,8,36,37,54,11, +9,224,2,3,33,85,23,195,1,23,197,1,249,22,157,2,195,88,163,8,36, +38,48,11,9,223,3,33,86,28,197,86,94,20,18,159,11,80,158,42,47,193, +20,18,159,11,80,158,42,48,196,86,94,20,18,159,11,80,158,42,53,193,20, +18,159,11,80,158,42,54,196,193,28,193,80,158,38,47,80,158,38,53,248,22, +9,88,163,8,32,37,8,40,8,240,0,188,23,0,9,224,1,2,33,87,0, +7,35,114,120,34,47,43,34,28,248,22,130,7,23,195,2,27,249,22,146,15, +2,89,196,28,192,28,249,22,184,3,248,22,97,195,248,22,174,3,248,22,133, +7,198,249,22,7,250,22,152,7,199,36,248,22,97,198,197,249,22,7,250,22, +152,7,199,36,248,22,97,198,249,22,73,249,22,152,7,200,248,22,99,199,199, +249,22,7,196,197,90,159,39,11,89,161,39,36,11,248,22,177,14,23,198,1, +86,94,23,195,1,28,249,22,140,9,23,195,2,2,34,249,22,7,195,199,27, +249,22,73,23,197,1,23,201,1,28,248,22,130,7,23,195,2,27,249,22,146, +15,2,89,196,28,192,28,249,22,184,3,248,22,97,195,248,22,174,3,248,22, +133,7,198,249,22,7,250,22,152,7,199,36,248,22,97,198,195,249,22,7,250, +22,152,7,199,36,248,22,97,198,249,22,73,249,22,152,7,200,248,22,99,199, +197,249,22,7,196,195,90,159,39,11,89,161,39,36,11,248,22,177,14,23,198, +1,28,249,22,140,9,194,2,34,249,22,7,195,197,249,80,159,45,57,39,194, +249,22,73,197,199,32,91,88,163,36,44,8,36,11,65,99,108,111,111,112,222, +33,96,32,92,88,163,8,36,37,55,11,2,30,222,33,93,28,248,22,81,248, +22,75,23,195,2,248,22,83,27,248,22,74,23,196,1,28,248,22,156,14,23, +194,2,248,22,160,14,23,194,1,192,250,22,84,27,248,22,74,23,198,2,28, +248,22,156,14,23,194,2,248,22,160,14,23,194,1,192,2,42,27,248,22,75, +23,198,1,28,248,22,81,248,22,75,23,195,2,248,22,83,27,248,22,74,23, +196,1,28,248,22,156,14,23,194,2,248,22,160,14,23,194,1,192,250,22,84, +27,248,22,74,23,198,2,28,248,22,156,14,23,194,2,248,22,160,14,23,194, +1,192,2,42,27,248,22,75,23,198,1,28,248,22,81,248,22,75,23,195,2, +248,22,83,27,248,22,74,23,196,1,28,248,22,156,14,23,194,2,248,22,160, +14,23,194,1,192,250,22,84,27,248,22,74,23,198,2,28,248,22,156,14,23, +194,2,248,22,160,14,23,194,1,192,2,42,248,2,92,248,22,75,23,198,1, +32,94,88,163,8,36,38,57,11,66,102,105,108,116,101,114,222,33,95,28,248, +22,81,23,195,2,9,28,248,23,194,2,248,22,74,23,196,2,249,22,73,248, +22,74,23,197,2,27,248,22,75,23,198,1,28,248,22,81,23,194,2,9,28, +248,23,197,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,27,248, +22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,23,200,2,248,22,74, +23,195,2,249,22,73,248,22,74,23,196,2,27,248,22,75,23,197,1,28,248, +22,81,23,194,2,9,28,248,23,203,2,248,22,74,23,195,2,249,22,73,248, +22,74,23,196,2,249,2,94,23,206,1,248,22,75,23,198,1,249,2,94,23, +204,1,248,22,75,23,196,1,27,248,22,75,23,195,1,28,248,22,81,23,194, +2,9,28,248,23,201,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196, +2,249,2,94,23,204,1,248,22,75,23,198,1,249,2,94,23,202,1,248,22, +75,23,196,1,27,248,22,75,23,195,1,28,248,22,81,23,194,2,9,28,248, +23,198,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,27,248,22, +75,23,197,1,28,248,22,81,23,194,2,9,28,248,23,201,2,248,22,74,23, +195,2,249,22,73,248,22,74,23,196,2,249,2,94,23,204,1,248,22,75,23, +198,1,249,2,94,23,202,1,248,22,75,23,196,1,27,248,22,75,23,195,1, +28,248,22,81,23,194,2,9,28,248,23,199,2,248,22,74,23,195,2,249,22, +73,248,22,74,23,196,2,249,2,94,23,202,1,248,22,75,23,198,1,249,2, +94,23,200,1,248,22,75,23,196,1,27,248,22,75,23,196,1,28,248,22,81, +23,194,2,9,28,248,23,195,2,248,22,74,23,195,2,249,22,73,248,22,74, +23,196,2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,23, +198,2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,27,248,22,75, +23,197,1,28,248,22,81,23,194,2,9,28,248,23,201,2,248,22,74,23,195, +2,249,22,73,248,22,74,23,196,2,249,2,94,23,204,1,248,22,75,23,198, +1,249,2,94,23,202,1,248,22,75,23,196,1,27,248,22,75,23,195,1,28, +248,22,81,23,194,2,9,28,248,23,199,2,248,22,74,23,195,2,249,22,73, +248,22,74,23,196,2,249,2,94,23,202,1,248,22,75,23,198,1,249,2,94, +23,200,1,248,22,75,23,196,1,27,248,22,75,23,195,1,28,248,22,81,23, +194,2,9,28,248,23,196,2,248,22,74,23,195,2,249,22,73,248,22,74,23, +196,2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,23,199, +2,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,23,202, +1,248,22,75,23,198,1,249,2,94,23,200,1,248,22,75,23,196,1,27,248, +22,75,23,195,1,28,248,22,81,23,194,2,9,28,248,23,197,2,248,22,74, +23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,23,200,1,248,22,75, +23,198,1,249,2,94,197,248,22,75,195,28,248,22,81,23,200,2,86,95,23, +199,1,23,198,1,28,23,200,2,199,86,94,23,200,1,27,28,248,22,81,23, +197,2,2,41,249,22,1,22,153,7,248,2,92,23,199,2,248,23,199,1,252, +22,178,7,6,44,44,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,126,97,23,203,1,28,248,22,81,23,203,1,28,248,22, +156,14,23,202,2,248,22,160,14,23,202,1,23,201,1,250,22,153,7,28,248, +22,156,14,23,205,2,248,22,160,14,23,205,1,23,204,1,2,42,23,202,2, +28,248,22,81,23,201,2,9,28,248,22,156,14,248,22,74,23,202,2,249,22, +73,248,22,74,23,203,2,27,248,22,75,23,204,2,28,248,22,81,23,194,2, +9,28,248,22,156,14,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2, +27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,22,156,14,248, +22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,22,156,14,248, +22,75,23,198,1,249,2,94,22,156,14,248,22,75,23,196,1,27,248,22,75, +23,195,1,28,248,22,81,23,194,2,9,28,248,22,156,14,248,22,74,23,195, +2,249,22,73,248,22,74,23,196,2,249,2,94,22,156,14,248,22,75,23,198, +1,249,2,94,22,156,14,248,22,75,23,196,1,27,248,22,75,23,202,2,28, +248,22,81,23,194,2,9,28,248,22,156,14,248,22,74,23,195,2,249,22,73, +248,22,74,23,196,2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9, +28,248,22,156,14,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249, +2,94,22,156,14,248,22,75,23,198,1,249,2,94,22,156,14,248,22,75,23, +196,1,27,248,22,75,23,195,1,28,248,22,81,23,194,2,9,28,248,22,156, +14,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,22,156, +14,248,22,75,23,198,1,249,2,94,22,156,14,248,22,75,23,196,1,28,249, +22,5,22,127,23,202,2,250,22,178,7,6,21,21,32,111,114,58,32,126,115, +32,105,110,32,97,110,121,32,111,102,58,32,126,115,23,202,1,249,22,2,22, +128,2,28,248,22,81,23,206,2,86,94,23,205,1,9,28,248,22,127,248,22, +74,23,207,2,249,22,73,248,22,74,23,208,2,27,248,22,75,23,209,1,28, +248,22,81,23,194,2,9,28,248,22,127,248,22,74,23,195,2,249,22,73,248, +22,74,23,196,2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28, +248,22,127,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94, +22,127,248,22,75,23,198,1,249,2,94,22,127,248,22,75,23,196,1,27,248, +22,75,23,195,1,28,248,22,81,23,194,2,9,28,248,22,127,248,22,74,23, +195,2,249,22,73,248,22,74,23,196,2,249,2,94,22,127,248,22,75,23,198, +1,249,2,94,22,127,248,22,75,23,196,1,27,248,22,75,23,207,1,28,248, +22,81,23,194,2,9,28,248,22,127,248,22,74,23,195,2,249,22,73,248,22, 74,23,196,2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248, -22,155,14,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94, -22,155,14,248,22,75,23,198,1,249,2,94,22,155,14,248,22,75,23,196,1, -27,248,22,75,23,195,1,28,248,22,81,23,194,2,9,28,248,22,155,14,248, -22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,22,155,14,248, -22,75,23,198,1,249,2,94,22,155,14,248,22,75,23,196,1,28,249,22,5, -22,127,23,202,2,250,22,177,7,6,21,21,32,111,114,58,32,126,115,32,105, -110,32,97,110,121,32,111,102,58,32,126,115,23,202,1,249,22,2,22,128,2, -28,248,22,81,23,206,2,86,94,23,205,1,9,28,248,22,127,248,22,74,23, -207,2,249,22,73,248,22,74,23,208,2,27,248,22,75,23,209,1,28,248,22, -81,23,194,2,9,28,248,22,127,248,22,74,23,195,2,249,22,73,248,22,74, -23,196,2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,22, -127,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,22,127, -248,22,75,23,198,1,249,2,94,22,127,248,22,75,23,196,1,27,248,22,75, -23,195,1,28,248,22,81,23,194,2,9,28,248,22,127,248,22,74,23,195,2, -249,22,73,248,22,74,23,196,2,249,2,94,22,127,248,22,75,23,198,1,249, -2,94,22,127,248,22,75,23,196,1,27,248,22,75,23,207,1,28,248,22,81, -23,194,2,9,28,248,22,127,248,22,74,23,195,2,249,22,73,248,22,74,23, -196,2,27,248,22,75,23,197,1,28,248,22,81,23,194,2,9,28,248,22,127, -248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,22,127,248, -22,75,23,198,1,249,2,94,22,127,248,22,75,23,196,1,27,248,22,75,23, -195,1,28,248,22,81,23,194,2,9,28,248,22,127,248,22,74,23,195,2,249, -22,73,248,22,74,23,196,2,249,2,94,22,127,248,22,75,23,198,1,249,2, -94,22,127,248,22,75,23,196,1,86,94,23,199,1,2,41,27,248,22,74,23, -201,2,27,28,248,22,155,14,23,195,2,249,22,173,14,23,196,1,23,198,2, -248,22,128,2,23,195,1,28,28,248,22,155,14,248,22,74,23,203,2,248,22, -168,14,23,194,2,10,27,250,22,1,22,173,14,23,197,1,23,201,2,28,28, -248,22,81,23,199,2,10,248,22,168,14,23,194,2,28,23,201,2,28,28,248, -22,167,14,249,22,173,14,195,203,10,27,28,248,22,155,14,202,248,22,159,14, -202,201,27,248,22,132,7,23,195,2,27,28,249,22,188,3,23,196,2,40,28, -249,22,135,7,6,4,4,46,114,107,116,249,22,151,7,23,199,2,249,22,176, -3,23,200,2,40,249,22,152,7,250,22,151,7,23,200,1,36,249,22,176,3, -23,201,1,40,6,3,3,46,115,115,86,95,23,195,1,23,194,1,11,11,28, -23,193,2,248,22,167,14,249,22,173,14,198,23,196,1,11,192,26,8,2,91, -203,204,205,206,23,15,23,16,248,22,75,23,18,28,23,18,23,18,200,192,26, -8,2,91,203,204,205,206,23,15,23,16,248,22,75,23,18,23,18,26,8,2, -91,202,203,204,205,206,23,15,248,22,75,23,17,23,17,90,159,38,11,89,161, -38,36,11,249,80,159,40,57,39,23,200,1,23,201,1,27,248,22,61,28,248, -22,155,14,195,248,22,159,14,195,194,27,247,22,136,15,27,250,22,87,28,23, -197,2,28,247,22,135,15,27,248,80,159,46,55,39,10,27,250,22,153,2,23, -197,2,23,203,2,11,28,23,193,2,192,86,94,23,193,1,250,22,153,2,23, -197,1,11,9,9,9,28,23,197,1,28,80,159,44,49,38,27,248,80,159,46, -55,39,11,27,250,22,153,2,23,197,2,23,203,1,11,28,23,193,2,192,86, -94,23,193,1,250,22,153,2,23,197,1,11,9,86,94,23,198,1,9,9,247, -22,133,15,26,8,2,91,200,203,204,206,23,15,23,18,200,11,86,95,28,28, -248,22,156,14,23,194,2,10,28,248,22,155,14,23,194,2,10,28,248,22,129, -7,23,194,2,28,248,22,177,14,23,194,2,10,248,22,178,14,23,194,2,11, -12,252,22,175,9,23,200,2,2,32,36,23,198,2,23,199,2,28,28,248,22, -129,7,23,195,2,10,248,22,182,7,23,195,2,86,94,23,194,1,12,252,22, -175,9,23,200,2,2,43,37,23,198,2,23,199,1,90,159,39,11,89,161,39, -36,11,248,22,176,14,23,197,2,86,94,23,195,1,86,94,28,192,12,250,22, -176,9,23,201,1,2,44,23,199,1,249,22,7,194,195,90,159,38,11,89,161, -38,36,11,86,95,28,28,248,22,156,14,23,196,2,10,28,248,22,155,14,23, -196,2,10,28,248,22,129,7,23,196,2,28,248,22,177,14,23,196,2,10,248, -22,178,14,23,196,2,11,12,252,22,175,9,2,25,2,32,36,23,200,2,23, -201,2,28,28,248,22,129,7,23,197,2,10,248,22,182,7,23,197,2,12,252, -22,175,9,2,25,2,43,37,23,200,2,23,201,2,90,159,39,11,89,161,39, -36,11,248,22,176,14,23,199,2,86,94,23,195,1,86,94,28,192,12,250,22, -176,9,2,25,2,44,23,201,2,249,22,7,194,195,27,249,22,165,14,250,22, -154,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,161,14,23,201,1,28,248,22,129,7,23,203,2,249,22,144, -8,23,204,1,8,63,23,202,1,28,248,22,156,14,23,199,2,248,22,157,14, -23,199,1,86,94,23,198,1,247,22,158,14,28,248,22,155,14,194,249,22,173, -14,195,194,192,90,159,38,11,89,161,38,36,11,86,95,28,28,248,22,156,14, -23,196,2,10,28,248,22,155,14,23,196,2,10,28,248,22,129,7,23,196,2, -28,248,22,177,14,23,196,2,10,248,22,178,14,23,196,2,11,12,252,22,175, -9,2,26,2,32,36,23,200,2,23,201,2,28,28,248,22,129,7,23,197,2, -10,248,22,182,7,23,197,2,12,252,22,175,9,2,26,2,43,37,23,200,2, -23,201,2,90,159,39,11,89,161,39,36,11,248,22,176,14,23,199,2,86,94, -23,195,1,86,94,28,192,12,250,22,176,9,2,26,2,44,23,201,2,249,22, -7,194,195,27,249,22,165,14,249,22,130,8,250,22,155,15,0,9,35,114,120, -35,34,91,46,93,34,248,22,161,14,23,203,1,6,1,1,95,28,248,22,129, -7,23,202,2,249,22,144,8,23,203,1,8,63,23,201,1,28,248,22,156,14, -23,199,2,248,22,157,14,23,199,1,86,94,23,198,1,247,22,158,14,28,248, -22,155,14,194,249,22,173,14,195,194,192,249,247,22,160,5,194,11,27,247,22, -135,15,249,80,159,39,40,38,28,23,195,2,27,248,22,149,8,2,45,28,192, -192,2,41,2,41,27,28,23,196,1,250,22,173,14,248,22,131,15,2,46,247, -22,147,8,2,47,11,27,248,80,159,42,8,28,39,250,22,87,9,248,22,83, -248,22,131,15,2,38,9,28,193,249,22,73,195,194,192,27,247,22,135,15,249, -80,159,39,40,38,28,23,195,2,27,248,22,149,8,2,45,28,192,192,2,41, -2,41,27,28,23,196,1,250,22,173,14,248,22,131,15,2,46,247,22,147,8, -2,47,11,27,248,80,159,42,8,29,39,250,22,87,23,203,1,248,22,83,248, -22,131,15,2,38,9,28,193,249,22,73,195,194,192,27,247,22,135,15,249,80, -159,39,40,38,28,23,195,2,27,248,22,149,8,2,45,28,192,192,2,41,2, -41,27,28,23,196,1,250,22,173,14,248,22,131,15,2,46,247,22,147,8,2, -47,11,27,248,80,159,42,8,30,39,250,22,87,23,203,1,248,22,83,248,22, -131,15,2,38,23,204,1,28,193,249,22,73,195,194,192,86,94,249,22,182,6, -247,22,156,5,195,248,22,143,6,249,22,128,4,36,249,22,176,3,197,198,27, -28,23,197,2,86,95,23,196,1,23,195,1,23,197,1,86,94,23,197,1,27, -248,22,131,15,2,31,27,250,80,159,42,39,39,23,197,1,11,11,27,248,22, -131,4,23,199,1,27,28,23,194,2,23,194,1,86,94,23,194,1,36,27,248, -22,131,4,23,202,1,27,28,23,194,2,23,194,1,86,94,23,194,1,36,249, -22,187,5,23,199,1,20,20,95,88,163,8,36,36,48,11,9,224,4,2,33, -105,23,195,1,23,197,1,27,248,22,172,5,23,195,1,248,80,159,39,8,31, -39,193,159,36,20,113,159,36,16,1,11,16,0,20,26,141,2,1,2,1,29, -11,11,11,11,11,10,43,80,158,36,36,20,113,159,40,16,28,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,30,2,18,76,102,105,110,100,45,108,105,110,107,115,45,112,97,116, -104,33,4,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,6,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,2,20,2,21,2, -22,30,2,18,1,21,101,120,99,101,112,116,105,111,110,45,104,97,110,100,108, -101,114,45,107,101,121,2,2,23,2,24,2,25,2,26,2,27,2,28,2,29, -16,0,37,39,36,16,0,36,16,12,2,8,2,7,2,3,2,24,2,22,2, -20,2,15,2,21,2,23,2,13,2,12,2,14,48,11,11,11,16,12,2,11, -2,9,2,29,2,10,2,5,2,28,2,27,2,4,2,26,2,6,2,25,2, -2,16,12,11,11,11,11,11,11,11,11,11,11,11,11,16,12,2,11,2,9, -2,29,2,10,2,5,2,28,2,27,2,4,2,26,2,6,2,25,2,2,48, -48,37,12,11,11,16,0,16,0,16,0,36,36,11,12,11,11,16,0,16,0, -16,0,36,36,16,28,20,15,16,2,88,163,8,36,37,51,16,2,8,240,0, -128,0,0,8,240,1,128,0,0,2,30,223,0,33,48,80,159,36,8,31,39, -20,15,16,2,88,163,8,36,37,56,16,2,44,8,240,0,64,0,0,2,30, -223,0,33,49,80,159,36,8,30,39,20,15,16,2,88,163,8,36,37,51,16, -2,44,8,128,128,2,30,223,0,33,50,80,159,36,8,29,39,20,15,16,2, -88,163,8,36,37,51,16,2,44,8,128,64,2,30,223,0,33,51,80,159,36, -8,28,39,20,15,16,2,32,0,88,163,36,37,45,11,2,2,222,33,52,80, -159,36,36,37,20,15,16,2,249,22,131,7,7,92,7,92,80,159,36,37,37, -20,15,16,2,88,163,36,37,54,38,2,4,223,0,33,53,80,159,36,38,37, -20,15,16,2,20,25,96,2,5,88,163,8,36,39,8,24,52,9,223,0,33, -60,88,163,36,38,47,44,9,223,0,33,61,88,163,36,37,46,44,9,223,0, -33,62,80,159,36,39,37,20,15,16,2,27,248,22,139,15,248,22,143,8,27, -28,249,22,139,9,247,22,151,8,2,33,6,1,1,59,6,1,1,58,250,22, -177,7,6,14,14,40,91,94,126,97,93,42,41,126,97,40,46,42,41,23,196, -2,23,196,1,88,163,8,36,38,48,11,2,6,223,0,33,66,80,159,36,40, -37,20,15,16,2,32,0,88,163,8,36,38,50,11,2,7,222,33,67,80,159, -36,41,37,20,15,16,2,32,0,88,163,8,36,39,51,11,2,8,222,33,69, -80,159,36,42,37,20,15,16,2,88,163,45,38,51,8,128,4,2,9,223,0, -33,72,80,159,36,43,37,20,15,16,2,88,163,45,39,52,8,128,4,2,11, -223,0,33,75,80,159,36,45,37,20,15,16,2,248,22,131,15,70,108,105,110, -107,115,45,102,105,108,101,80,159,36,46,37,20,15,16,2,247,22,133,2,80, -158,36,47,20,15,16,2,2,76,80,158,36,48,20,15,16,2,248,80,159,37, -50,37,88,163,36,36,49,8,240,8,128,1,0,9,223,1,33,77,80,159,36, -49,37,20,15,16,2,247,22,133,2,80,158,36,53,20,15,16,2,2,76,80, -158,36,54,20,15,16,2,88,163,36,37,44,8,240,0,188,23,0,2,22,223, -0,33,88,80,159,36,55,37,20,15,16,2,88,163,36,38,56,8,240,0,0, -32,0,2,23,223,0,33,90,80,159,36,57,37,20,15,16,2,88,163,36,41, -8,24,8,240,0,32,40,0,2,10,223,0,33,97,80,159,36,44,37,20,15, -16,2,32,0,88,163,36,39,50,11,2,24,222,33,98,80,159,36,58,37,20, -15,16,2,32,0,88,163,36,38,53,11,2,25,222,33,99,80,159,36,59,37, -20,15,16,2,32,0,88,163,36,38,54,11,2,26,222,33,100,80,159,36,8, -24,37,20,15,16,2,32,0,88,163,36,37,44,11,2,27,222,33,101,80,159, -36,8,25,37,20,15,16,2,20,25,96,2,28,88,163,36,36,53,16,2,52, -8,128,64,9,223,0,33,102,88,163,36,37,54,16,2,52,8,128,128,9,223, -0,33,103,88,163,36,38,55,16,2,52,8,240,0,64,0,0,9,223,0,33, -104,80,159,36,8,26,37,20,15,16,2,88,163,8,36,39,54,16,2,44,8, -240,0,128,0,0,2,29,223,0,33,106,80,159,36,8,27,37,95,29,94,2, -16,68,35,37,107,101,114,110,101,108,11,29,94,2,16,69,35,37,109,105,110, -45,115,116,120,11,2,18,9,9,9,36,0}; - EVAL_ONE_SIZED_STR((char *)expr, 10364); +22,127,248,22,74,23,195,2,249,22,73,248,22,74,23,196,2,249,2,94,22, +127,248,22,75,23,198,1,249,2,94,22,127,248,22,75,23,196,1,27,248,22, +75,23,195,1,28,248,22,81,23,194,2,9,28,248,22,127,248,22,74,23,195, +2,249,22,73,248,22,74,23,196,2,249,2,94,22,127,248,22,75,23,198,1, +249,2,94,22,127,248,22,75,23,196,1,86,94,23,199,1,2,41,27,248,22, +74,23,201,2,27,28,248,22,156,14,23,195,2,249,22,174,14,23,196,1,23, +198,2,248,22,128,2,23,195,1,28,28,248,22,156,14,248,22,74,23,203,2, +248,22,169,14,23,194,2,10,27,250,22,1,22,174,14,23,197,1,23,201,2, +28,28,248,22,81,23,199,2,10,248,22,169,14,23,194,2,28,23,201,2,28, +28,248,22,168,14,249,22,174,14,195,203,10,27,28,248,22,156,14,202,248,22, +160,14,202,201,27,248,22,133,7,23,195,2,27,28,249,22,188,3,23,196,2, +40,28,249,22,136,7,6,4,4,46,114,107,116,249,22,152,7,23,199,2,249, +22,176,3,23,200,2,40,249,22,153,7,250,22,152,7,23,200,1,36,249,22, +176,3,23,201,1,40,6,3,3,46,115,115,86,95,23,195,1,23,194,1,11, +11,28,23,193,2,248,22,168,14,249,22,174,14,198,23,196,1,11,192,26,8, +2,91,203,204,205,206,23,15,23,16,248,22,75,23,18,28,23,18,23,18,200, +192,26,8,2,91,203,204,205,206,23,15,23,16,248,22,75,23,18,23,18,26, +8,2,91,202,203,204,205,206,23,15,248,22,75,23,17,23,17,90,159,38,11, +89,161,38,36,11,249,80,159,40,57,39,23,200,1,23,201,1,27,248,22,61, +28,248,22,156,14,195,248,22,160,14,195,194,27,247,22,137,15,27,250,22,87, +28,23,197,2,28,247,22,136,15,27,248,80,159,46,55,39,10,27,250,22,153, +2,23,197,2,23,203,2,11,28,23,193,2,192,86,94,23,193,1,250,22,153, +2,23,197,1,11,9,9,9,28,23,197,1,28,80,159,44,49,38,27,248,80, +159,46,55,39,11,27,250,22,153,2,23,197,2,23,203,1,11,28,23,193,2, +192,86,94,23,193,1,250,22,153,2,23,197,1,11,9,86,94,23,198,1,9, +9,247,22,134,15,26,8,2,91,200,203,204,206,23,15,23,18,200,11,86,95, +28,28,248,22,157,14,23,194,2,10,28,248,22,156,14,23,194,2,10,28,248, +22,130,7,23,194,2,28,248,22,178,14,23,194,2,10,248,22,179,14,23,194, +2,11,12,252,22,176,9,23,200,2,2,32,36,23,198,2,23,199,2,28,28, +248,22,130,7,23,195,2,10,248,22,183,7,23,195,2,86,94,23,194,1,12, +252,22,176,9,23,200,2,2,43,37,23,198,2,23,199,1,90,159,39,11,89, +161,39,36,11,248,22,177,14,23,197,2,86,94,23,195,1,86,94,28,192,12, +250,22,177,9,23,201,1,2,44,23,199,1,249,22,7,194,195,90,159,38,11, +89,161,38,36,11,86,95,28,28,248,22,157,14,23,196,2,10,28,248,22,156, +14,23,196,2,10,28,248,22,130,7,23,196,2,28,248,22,178,14,23,196,2, +10,248,22,179,14,23,196,2,11,12,252,22,176,9,2,25,2,32,36,23,200, +2,23,201,2,28,28,248,22,130,7,23,197,2,10,248,22,183,7,23,197,2, +12,252,22,176,9,2,25,2,43,37,23,200,2,23,201,2,90,159,39,11,89, +161,39,36,11,248,22,177,14,23,199,2,86,94,23,195,1,86,94,28,192,12, +250,22,177,9,2,25,2,44,23,201,2,249,22,7,194,195,27,249,22,166,14, +250,22,155,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,162,14,23,201,1,28,248,22,130,7,23,203,2,249, +22,145,8,23,204,1,8,63,23,202,1,28,248,22,157,14,23,199,2,248,22, +158,14,23,199,1,86,94,23,198,1,247,22,159,14,28,248,22,156,14,194,249, +22,174,14,195,194,192,90,159,38,11,89,161,38,36,11,86,95,28,28,248,22, +157,14,23,196,2,10,28,248,22,156,14,23,196,2,10,28,248,22,130,7,23, +196,2,28,248,22,178,14,23,196,2,10,248,22,179,14,23,196,2,11,12,252, +22,176,9,2,26,2,32,36,23,200,2,23,201,2,28,28,248,22,130,7,23, +197,2,10,248,22,183,7,23,197,2,12,252,22,176,9,2,26,2,43,37,23, +200,2,23,201,2,90,159,39,11,89,161,39,36,11,248,22,177,14,23,199,2, +86,94,23,195,1,86,94,28,192,12,250,22,177,9,2,26,2,44,23,201,2, +249,22,7,194,195,27,249,22,166,14,249,22,131,8,250,22,156,15,0,9,35, +114,120,35,34,91,46,93,34,248,22,162,14,23,203,1,6,1,1,95,28,248, +22,130,7,23,202,2,249,22,145,8,23,203,1,8,63,23,201,1,28,248,22, +157,14,23,199,2,248,22,158,14,23,199,1,86,94,23,198,1,247,22,159,14, +28,248,22,156,14,194,249,22,174,14,195,194,192,249,247,22,161,5,194,11,249, +247,22,161,5,194,11,27,247,22,136,15,249,80,159,39,40,38,28,23,195,2, +27,248,22,150,8,2,45,28,192,192,2,41,2,41,27,28,23,196,1,250,22, +174,14,248,22,132,15,2,46,247,22,148,8,2,47,11,27,248,80,159,42,8, +28,39,250,22,87,9,248,22,83,248,22,132,15,2,38,9,28,193,249,22,73, +195,194,192,27,247,22,136,15,249,80,159,39,40,38,28,23,195,2,27,248,22, +150,8,2,45,28,192,192,2,41,2,41,27,28,23,196,1,250,22,174,14,248, +22,132,15,2,46,247,22,148,8,2,47,11,27,248,80,159,42,8,29,39,250, +22,87,23,203,1,248,22,83,248,22,132,15,2,38,9,28,193,249,22,73,195, +194,192,27,247,22,136,15,249,80,159,39,40,38,28,23,195,2,27,248,22,150, +8,2,45,28,192,192,2,41,2,41,27,28,23,196,1,250,22,174,14,248,22, +132,15,2,46,247,22,148,8,2,47,11,27,248,80,159,42,8,30,39,250,22, +87,23,203,1,248,22,83,248,22,132,15,2,38,23,204,1,28,193,249,22,73, +195,194,192,86,94,249,22,183,6,247,22,157,5,195,248,22,144,6,249,22,128, +4,36,249,22,176,3,197,198,27,28,23,197,2,86,95,23,196,1,23,195,1, +23,197,1,86,94,23,197,1,27,248,22,132,15,2,31,27,250,80,159,42,39, +39,23,197,1,11,11,27,248,22,131,4,23,199,1,27,28,23,194,2,23,194, +1,86,94,23,194,1,36,27,248,22,131,4,23,202,1,27,28,23,194,2,23, +194,1,86,94,23,194,1,36,249,22,188,5,23,199,1,20,20,95,88,163,8, +36,36,48,11,9,224,4,2,33,106,23,195,1,23,197,1,27,248,22,173,5, +23,195,1,248,80,159,39,8,31,39,193,159,36,20,113,159,36,16,1,11,16, +0,20,26,141,2,1,2,1,29,11,11,11,11,11,10,43,80,158,36,36,20, +113,159,40,16,28,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,30,2,18,76,102,105,110,100,45, +108,105,110,107,115,45,112,97,116,104,33,4,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,6,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,2,20,2,21,2,22,30,2,18,1,21,101,120,99,101,112,116, +105,111,110,45,104,97,110,100,108,101,114,45,107,101,121,2,2,23,2,24,2, +25,2,26,2,27,2,28,2,29,16,0,37,39,36,16,0,36,16,12,2,8, +2,7,2,3,2,24,2,22,2,20,2,15,2,21,2,23,2,13,2,12,2, +14,48,11,11,11,16,12,2,11,2,9,2,29,2,10,2,5,2,28,2,27, +2,4,2,26,2,6,2,25,2,2,16,12,11,11,11,11,11,11,11,11,11, +11,11,11,16,12,2,11,2,9,2,29,2,10,2,5,2,28,2,27,2,4, +2,26,2,6,2,25,2,2,48,48,37,12,11,11,16,0,16,0,16,0,36, +36,11,12,11,11,16,0,16,0,16,0,36,36,16,28,20,15,16,2,88,163, +8,36,37,51,16,2,8,240,0,128,0,0,8,240,1,128,0,0,2,30,223, +0,33,48,80,159,36,8,31,39,20,15,16,2,88,163,8,36,37,56,16,2, +44,8,240,0,64,0,0,2,30,223,0,33,49,80,159,36,8,30,39,20,15, +16,2,88,163,8,36,37,51,16,2,44,8,128,128,2,30,223,0,33,50,80, +159,36,8,29,39,20,15,16,2,88,163,8,36,37,51,16,2,44,8,128,64, +2,30,223,0,33,51,80,159,36,8,28,39,20,15,16,2,32,0,88,163,36, +37,45,11,2,2,222,33,52,80,159,36,36,37,20,15,16,2,249,22,132,7, +7,92,7,92,80,159,36,37,37,20,15,16,2,88,163,36,37,54,38,2,4, +223,0,33,53,80,159,36,38,37,20,15,16,2,20,25,96,2,5,88,163,8, +36,39,8,24,52,9,223,0,33,60,88,163,36,38,47,44,9,223,0,33,61, +88,163,36,37,46,44,9,223,0,33,62,80,159,36,39,37,20,15,16,2,27, +248,22,140,15,248,22,144,8,27,28,249,22,140,9,247,22,152,8,2,33,6, +1,1,59,6,1,1,58,250,22,178,7,6,14,14,40,91,94,126,97,93,42, +41,126,97,40,46,42,41,23,196,2,23,196,1,88,163,8,36,38,48,11,2, +6,223,0,33,66,80,159,36,40,37,20,15,16,2,32,0,88,163,8,36,38, +50,11,2,7,222,33,67,80,159,36,41,37,20,15,16,2,32,0,88,163,8, +36,39,51,11,2,8,222,33,69,80,159,36,42,37,20,15,16,2,88,163,45, +38,51,8,128,4,2,9,223,0,33,72,80,159,36,43,37,20,15,16,2,88, +163,45,39,52,8,128,4,2,11,223,0,33,75,80,159,36,45,37,20,15,16, +2,248,22,132,15,70,108,105,110,107,115,45,102,105,108,101,80,159,36,46,37, +20,15,16,2,247,22,133,2,80,158,36,47,20,15,16,2,2,76,80,158,36, +48,20,15,16,2,248,80,159,37,50,37,88,163,36,36,49,8,240,8,128,1, +0,9,223,1,33,77,80,159,36,49,37,20,15,16,2,247,22,133,2,80,158, +36,53,20,15,16,2,2,76,80,158,36,54,20,15,16,2,88,163,36,37,44, +8,240,0,188,23,0,2,22,223,0,33,88,80,159,36,55,37,20,15,16,2, +88,163,36,38,56,8,240,0,0,32,0,2,23,223,0,33,90,80,159,36,57, +37,20,15,16,2,88,163,36,41,8,24,8,240,0,32,40,0,2,10,223,0, +33,97,80,159,36,44,37,20,15,16,2,32,0,88,163,36,39,50,11,2,24, +222,33,98,80,159,36,58,37,20,15,16,2,32,0,88,163,36,38,53,11,2, +25,222,33,99,80,159,36,59,37,20,15,16,2,32,0,88,163,36,38,54,11, +2,26,222,33,100,80,159,36,8,24,37,20,15,16,2,20,27,158,32,0,88, +163,36,37,44,11,2,27,222,33,101,32,0,88,163,36,37,44,11,2,27,222, +33,102,80,159,36,8,25,37,20,15,16,2,20,25,96,2,28,88,163,36,36, +53,16,2,52,8,128,64,9,223,0,33,103,88,163,36,37,54,16,2,52,8, +128,128,9,223,0,33,104,88,163,36,38,55,16,2,52,8,240,0,64,0,0, +9,223,0,33,105,80,159,36,8,26,37,20,15,16,2,88,163,8,36,39,54, +16,2,44,8,240,0,128,0,0,2,29,223,0,33,107,80,159,36,8,27,37, +95,29,94,2,16,68,35,37,107,101,114,110,101,108,11,29,94,2,16,69,35, +37,109,105,110,45,115,116,120,11,2,18,9,9,9,36,0}; + EVAL_ONE_SIZED_STR((char *)expr, 10389); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,53,0,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,54,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,12,0,0,0,1,0,0,15,0,40,0,57, 0,75,0,97,0,120,0,140,0,162,0,169,0,176,0,183,0,0,0,175,1, 0,0,74,35,37,112,108,97,99,101,45,115,116,114,117,99,116,1,23,115,116, @@ -614,7 +615,7 @@ 11,16,5,2,3,2,7,2,8,2,4,2,2,16,5,11,11,11,11,11,16, 5,2,3,2,7,2,8,2,4,2,2,41,41,37,12,11,11,16,0,16,0, 16,0,36,36,11,12,11,11,16,0,16,0,16,0,36,36,16,2,20,15,16, -6,253,22,180,10,2,3,11,38,36,11,248,22,83,249,22,73,22,168,10,88, +6,253,22,181,10,2,3,11,38,36,11,248,22,83,249,22,73,22,169,10,88, 163,36,37,45,44,9,223,9,33,9,80,159,36,36,37,80,159,36,37,37,80, 159,36,38,37,80,159,36,39,37,80,159,36,40,37,20,15,16,3,249,22,7, 88,163,36,37,45,44,9,223,2,33,10,88,163,36,37,45,44,9,223,2,33, @@ -623,284 +624,286 @@ EVAL_ONE_SIZED_STR((char *)expr, 496); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,53,0,0,0,0,0,0,0,0,0,0,0, -0,0,0,0,0,0,0,0,0,69,0,0,0,1,0,0,7,0,18,0,45, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,54,0,0,0,0,0,0,0,0,0,0,0, +0,0,0,0,0,0,0,0,0,70,0,0,0,1,0,0,7,0,18,0,45, 0,51,0,64,0,73,0,80,0,102,0,124,0,150,0,158,0,170,0,185,0, 201,0,219,0,239,0,251,0,11,1,34,1,46,1,77,1,84,1,89,1,94, 1,100,1,105,1,110,1,119,1,124,1,128,1,139,1,146,1,149,1,157,1, 166,1,174,1,231,1,78,2,99,2,120,2,150,2,180,2,238,2,40,3,89, 3,138,3,68,9,119,9,182,9,201,9,215,9,117,10,130,10,8,11,50,12, 173,12,179,12,193,12,220,12,240,12,39,13,49,13,136,13,138,13,213,13,172, -19,225,19,249,19,0,0,82,23,0,0,66,35,37,98,111,111,116,70,100,108, -108,45,115,117,102,102,105,120,1,25,100,101,102,97,117,108,116,45,108,111,97, -100,47,117,115,101,45,99,111,109,112,105,108,101,100,65,113,117,111,116,101,29, -94,2,4,67,35,37,117,116,105,108,115,11,68,35,37,112,97,114,97,109,122, -29,94,2,4,2,6,11,1,20,112,97,114,97,109,101,116,101,114,105,122,97, -116,105,111,110,45,107,101,121,1,20,100,101,102,97,117,108,116,45,114,101,97, -100,101,114,45,103,117,97,114,100,1,24,45,109,111,100,117,108,101,45,104,97, -115,104,45,116,97,98,108,101,45,116,97,98,108,101,67,67,65,67,72,69,45, -78,71,45,112,97,116,104,45,99,97,99,104,101,74,112,97,116,104,45,99,97, -99,104,101,45,103,101,116,75,112,97,116,104,45,99,97,99,104,101,45,115,101, -116,33,77,45,108,111,97,100,105,110,103,45,102,105,108,101,110,97,109,101,79, -45,108,111,97,100,105,110,103,45,112,114,111,109,112,116,45,116,97,103,71,45, -112,114,101,118,45,114,101,108,116,111,75,45,112,114,101,118,45,114,101,108,116, -111,45,100,105,114,1,21,115,112,108,105,116,45,114,101,108,97,116,105,118,101, -45,115,116,114,105,110,103,71,111,114,105,103,45,112,97,114,97,109,122,1,29, -115,116,97,110,100,97,114,100,45,109,111,100,117,108,101,45,110,97,109,101,45, -114,101,115,111,108,118,101,114,29,94,2,4,2,6,11,64,98,111,111,116,64, -115,101,97,108,5,4,46,114,107,116,64,115,97,109,101,5,3,46,122,111,6, -6,6,110,97,116,105,118,101,64,108,111,111,112,63,108,105,98,6,8,8,109, -97,105,110,46,114,107,116,6,4,4,46,114,107,116,6,0,0,67,105,103,110, -111,114,101,100,249,22,14,195,80,159,38,49,38,249,80,159,38,52,39,195,10, -90,159,39,11,89,161,39,36,11,248,22,176,14,197,86,95,23,195,1,23,193, -1,28,249,22,143,15,0,11,35,114,120,34,91,46,93,115,115,36,34,248,22, -160,14,23,197,1,249,80,159,41,56,39,198,2,25,196,27,28,23,195,2,28, -249,22,139,9,23,197,2,80,158,39,50,86,94,23,195,1,80,158,37,51,27, -248,22,138,5,23,197,2,28,248,22,155,14,23,194,2,90,159,39,11,89,161, -39,36,11,248,22,176,14,23,197,1,86,95,20,18,159,11,80,158,41,50,198, -20,18,159,11,80,158,41,51,192,192,11,11,28,23,193,2,192,86,94,23,193, -1,27,247,22,161,5,28,192,192,247,22,132,15,250,22,173,14,23,197,1,23, -199,1,249,80,159,43,39,39,23,198,1,2,27,250,22,173,14,23,197,1,23, -199,1,249,80,159,43,39,39,23,198,1,2,27,252,22,173,14,23,199,1,23, -201,1,2,28,247,22,152,8,249,80,159,45,39,39,23,200,1,80,159,45,36, -38,252,22,173,14,23,199,1,23,201,1,2,28,247,22,152,8,249,80,159,45, -39,39,23,200,1,80,159,45,36,38,27,252,22,173,14,23,200,1,23,202,1, -2,28,247,22,152,8,249,80,159,46,39,39,23,201,1,80,159,46,36,38,27, -250,22,190,14,196,11,32,0,88,163,8,36,36,41,11,9,222,11,28,192,249, -22,73,195,194,11,27,252,22,173,14,23,200,1,23,202,1,2,28,247,22,152, -8,249,80,159,46,39,39,23,201,1,80,159,46,36,38,27,250,22,190,14,196, -11,32,0,88,163,8,36,36,41,11,9,222,11,28,192,249,22,73,195,194,11, -27,250,22,173,14,23,198,1,23,200,1,249,80,159,44,39,39,23,199,1,2, -27,27,250,22,190,14,196,11,32,0,88,163,8,36,36,41,11,9,222,11,28, -192,249,22,73,195,194,11,27,250,22,173,14,23,198,1,23,200,1,249,80,159, -44,39,39,23,199,1,2,27,27,250,22,190,14,196,11,32,0,88,163,8,36, -36,41,11,9,222,11,28,192,249,22,73,195,194,11,86,94,28,248,80,159,37, -38,39,23,195,2,12,250,22,175,9,77,108,111,97,100,47,117,115,101,45,99, -111,109,112,105,108,101,100,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,23,197,2,90,159,46,11, -89,161,37,36,11,28,248,22,179,14,23,205,2,23,204,2,27,247,22,161,5, -28,23,193,2,249,22,180,14,23,207,2,23,195,1,23,205,2,89,161,39,37, -11,248,22,176,14,23,205,1,86,94,23,196,1,89,161,38,40,11,28,23,205, -2,27,248,22,160,14,23,197,2,27,248,22,187,7,23,195,2,28,28,249,22, -188,3,23,195,2,40,249,22,190,7,2,25,249,22,129,8,23,198,2,249,22, -176,3,23,199,2,40,11,249,22,7,23,199,2,248,22,164,14,249,22,130,8, -250,22,129,8,23,202,1,36,249,22,176,3,23,203,1,40,5,3,46,115,115, -249,22,7,23,199,2,11,249,22,7,23,197,2,11,89,161,37,42,11,28,249, -22,139,9,23,199,2,23,197,2,23,193,2,249,22,173,14,23,196,2,23,199, -2,89,161,37,43,11,28,23,198,2,28,249,22,139,9,23,200,2,23,197,1, -23,193,1,86,94,23,193,1,249,22,173,14,23,196,2,23,200,2,86,94,23, -195,1,11,89,161,37,44,11,28,249,22,139,9,23,196,2,68,114,101,108,97, -116,105,118,101,86,94,23,194,1,2,26,23,194,1,89,161,37,45,11,247,22, -134,15,27,250,22,190,14,23,203,2,11,32,0,88,163,8,36,36,41,11,9, -222,11,27,28,23,194,2,249,22,73,23,203,2,23,196,1,86,94,23,194,1, -11,27,28,23,203,2,28,23,194,2,11,27,250,22,190,14,23,207,2,11,32, -0,88,163,8,36,36,41,11,9,222,11,28,192,249,22,73,23,206,2,194,11, -11,27,28,23,195,2,23,195,2,23,194,2,27,88,163,36,37,50,44,62,122, -111,225,15,13,9,33,39,27,88,163,36,37,50,44,66,97,108,116,45,122,111, -225,16,14,11,33,40,27,88,163,36,37,52,45,9,225,17,15,11,33,41,27, -88,163,36,37,52,45,9,225,18,16,13,33,42,27,28,23,200,2,23,200,2, -248,22,137,9,23,200,2,27,28,23,208,2,28,23,200,2,86,94,23,201,1, -23,200,2,248,22,137,9,23,202,1,11,27,28,23,195,2,28,23,197,1,27, -249,22,5,88,163,8,36,37,53,45,9,225,24,22,18,33,43,23,216,2,27, -28,23,202,2,11,193,28,192,192,28,193,28,23,202,2,28,249,22,188,3,248, -22,75,196,248,22,75,23,205,2,193,11,11,11,11,86,94,23,197,1,11,28, -23,193,2,86,105,23,213,1,23,211,1,23,210,1,23,209,1,23,208,1,23, -201,1,23,200,1,23,199,1,23,198,1,23,196,1,23,195,1,23,194,1,20, -13,159,80,159,57,40,37,250,80,159,8,24,41,37,249,22,27,11,80,159,8, -26,40,37,22,181,4,11,20,13,159,80,159,57,40,37,250,80,159,8,24,41, -37,249,22,27,11,80,159,8,26,40,37,22,161,5,28,248,22,155,14,23,216, -2,23,215,1,86,94,23,215,1,247,22,132,15,249,247,22,138,15,248,22,74, -195,23,25,86,94,23,193,1,27,28,23,195,2,28,23,197,1,27,249,22,5, -88,163,8,36,37,53,45,9,225,25,23,20,33,44,23,217,2,27,28,23,204, -2,11,193,28,192,192,28,193,28,203,28,249,22,188,3,248,22,75,196,248,22, -75,206,193,11,11,11,11,86,94,23,197,1,11,28,23,193,2,86,102,23,214, -1,23,211,1,23,210,1,23,209,1,23,201,1,23,200,1,23,199,1,23,196, -1,23,195,1,20,13,159,80,159,58,40,37,250,80,159,8,25,41,37,249,22, -27,11,80,159,8,27,40,37,22,181,4,23,215,1,20,13,159,80,159,58,40, -37,250,80,159,8,25,41,37,249,22,27,11,80,159,8,27,40,37,22,161,5, -28,248,22,155,14,23,217,2,23,216,1,86,94,23,216,1,247,22,132,15,249, -247,22,138,15,248,22,74,195,23,26,86,94,23,193,1,27,28,23,197,2,28, -23,201,1,27,249,22,5,20,20,94,88,163,8,36,37,51,44,9,225,26,24, -20,33,45,23,213,1,23,218,2,27,28,23,204,2,11,193,28,192,192,28,193, -28,23,204,2,28,249,22,188,3,248,22,75,196,248,22,75,23,207,2,193,11, -11,11,86,94,23,210,1,11,86,94,23,201,1,11,28,23,193,2,86,101,23, -215,1,23,213,1,23,212,1,23,211,1,23,202,1,23,200,1,23,197,1,23, -196,1,20,13,159,80,159,59,40,37,250,80,159,8,26,41,37,249,22,27,11, -80,159,8,28,40,37,22,181,4,11,20,13,159,80,159,59,40,37,250,80,159, -8,26,41,37,249,22,27,11,80,159,8,28,40,37,22,161,5,28,248,22,155, -14,23,218,2,23,217,1,86,94,23,217,1,247,22,132,15,249,247,22,159,5, -248,22,74,195,23,27,86,94,23,193,1,27,28,23,197,1,28,23,201,1,27, -249,22,5,20,20,94,88,163,8,36,37,51,44,9,225,27,25,22,33,46,23, -215,1,23,219,1,27,28,23,205,2,11,193,28,192,192,28,193,28,204,28,249, -22,188,3,248,22,75,196,248,22,75,23,15,193,11,11,11,86,95,23,216,1, -23,212,1,11,86,94,23,201,1,11,28,23,193,2,86,95,23,213,1,23,198, -1,20,13,159,80,159,8,24,40,37,250,80,159,8,27,41,37,249,22,27,11, -80,159,8,29,40,37,22,181,4,23,217,1,20,13,159,80,159,8,24,40,37, -250,80,159,8,27,41,37,249,22,27,11,80,159,8,29,40,37,22,161,5,28, -248,22,155,14,23,219,2,23,218,1,86,94,23,218,1,247,22,132,15,249,247, -22,159,5,248,22,74,195,23,28,86,94,23,193,1,27,28,23,199,2,86,94, -23,215,1,23,214,1,86,94,23,214,1,23,215,1,20,13,159,80,159,8,25, -40,37,250,80,159,8,28,41,37,249,22,27,11,80,159,8,30,40,37,22,181, -4,28,23,30,28,23,202,1,11,195,86,94,23,202,1,11,20,13,159,80,159, +19,225,19,249,19,17,20,0,0,143,23,0,0,66,35,37,98,111,111,116,70, +100,108,108,45,115,117,102,102,105,120,1,25,100,101,102,97,117,108,116,45,108, +111,97,100,47,117,115,101,45,99,111,109,112,105,108,101,100,65,113,117,111,116, +101,29,94,2,4,67,35,37,117,116,105,108,115,11,68,35,37,112,97,114,97, +109,122,29,94,2,4,2,6,11,1,20,112,97,114,97,109,101,116,101,114,105, +122,97,116,105,111,110,45,107,101,121,1,20,100,101,102,97,117,108,116,45,114, +101,97,100,101,114,45,103,117,97,114,100,1,24,45,109,111,100,117,108,101,45, +104,97,115,104,45,116,97,98,108,101,45,116,97,98,108,101,67,67,65,67,72, +69,45,78,71,45,112,97,116,104,45,99,97,99,104,101,74,112,97,116,104,45, +99,97,99,104,101,45,103,101,116,75,112,97,116,104,45,99,97,99,104,101,45, +115,101,116,33,77,45,108,111,97,100,105,110,103,45,102,105,108,101,110,97,109, +101,79,45,108,111,97,100,105,110,103,45,112,114,111,109,112,116,45,116,97,103, +71,45,112,114,101,118,45,114,101,108,116,111,75,45,112,114,101,118,45,114,101, +108,116,111,45,100,105,114,1,21,115,112,108,105,116,45,114,101,108,97,116,105, +118,101,45,115,116,114,105,110,103,71,111,114,105,103,45,112,97,114,97,109,122, +1,29,115,116,97,110,100,97,114,100,45,109,111,100,117,108,101,45,110,97,109, +101,45,114,101,115,111,108,118,101,114,29,94,2,4,2,6,11,64,98,111,111, +116,64,115,101,97,108,5,4,46,114,107,116,64,115,97,109,101,5,3,46,122, +111,6,6,6,110,97,116,105,118,101,64,108,111,111,112,63,108,105,98,6,8, +8,109,97,105,110,46,114,107,116,6,4,4,46,114,107,116,6,0,0,67,105, +103,110,111,114,101,100,249,22,14,195,80,159,38,49,38,249,80,159,38,52,39, +195,10,90,159,39,11,89,161,39,36,11,248,22,177,14,197,86,95,23,195,1, +23,193,1,28,249,22,144,15,0,11,35,114,120,34,91,46,93,115,115,36,34, +248,22,161,14,23,197,1,249,80,159,41,56,39,198,2,25,196,27,28,23,195, +2,28,249,22,140,9,23,197,2,80,158,39,50,86,94,23,195,1,80,158,37, +51,27,248,22,139,5,23,197,2,28,248,22,156,14,23,194,2,90,159,39,11, +89,161,39,36,11,248,22,177,14,23,197,1,86,95,20,18,159,11,80,158,41, +50,198,20,18,159,11,80,158,41,51,192,192,11,11,28,23,193,2,192,86,94, +23,193,1,27,247,22,162,5,28,192,192,247,22,133,15,250,22,174,14,23,197, +1,23,199,1,249,80,159,43,39,39,23,198,1,2,27,250,22,174,14,23,197, +1,23,199,1,249,80,159,43,39,39,23,198,1,2,27,252,22,174,14,23,199, +1,23,201,1,2,28,247,22,153,8,249,80,159,45,39,39,23,200,1,80,159, +45,36,38,252,22,174,14,23,199,1,23,201,1,2,28,247,22,153,8,249,80, +159,45,39,39,23,200,1,80,159,45,36,38,27,252,22,174,14,23,200,1,23, +202,1,2,28,247,22,153,8,249,80,159,46,39,39,23,201,1,80,159,46,36, +38,27,250,22,191,14,196,11,32,0,88,163,8,36,36,41,11,9,222,11,28, +192,249,22,73,195,194,11,27,252,22,174,14,23,200,1,23,202,1,2,28,247, +22,153,8,249,80,159,46,39,39,23,201,1,80,159,46,36,38,27,250,22,191, +14,196,11,32,0,88,163,8,36,36,41,11,9,222,11,28,192,249,22,73,195, +194,11,27,250,22,174,14,23,198,1,23,200,1,249,80,159,44,39,39,23,199, +1,2,27,27,250,22,191,14,196,11,32,0,88,163,8,36,36,41,11,9,222, +11,28,192,249,22,73,195,194,11,27,250,22,174,14,23,198,1,23,200,1,249, +80,159,44,39,39,23,199,1,2,27,27,250,22,191,14,196,11,32,0,88,163, +8,36,36,41,11,9,222,11,28,192,249,22,73,195,194,11,86,94,28,248,80, +159,37,38,39,23,195,2,12,250,22,176,9,77,108,111,97,100,47,117,115,101, +45,99,111,109,112,105,108,101,100,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,23,197,2,90,159, +46,11,89,161,37,36,11,28,248,22,180,14,23,205,2,23,204,2,27,247,22, +162,5,28,23,193,2,249,22,181,14,23,207,2,23,195,1,23,205,2,89,161, +39,37,11,248,22,177,14,23,205,1,86,94,23,196,1,89,161,38,40,11,28, +23,205,2,27,248,22,161,14,23,197,2,27,248,22,188,7,23,195,2,28,28, +249,22,188,3,23,195,2,40,249,22,191,7,2,25,249,22,130,8,23,198,2, +249,22,176,3,23,199,2,40,11,249,22,7,23,199,2,248,22,165,14,249,22, +131,8,250,22,130,8,23,202,1,36,249,22,176,3,23,203,1,40,5,3,46, +115,115,249,22,7,23,199,2,11,249,22,7,23,197,2,11,89,161,37,42,11, +28,249,22,140,9,23,199,2,23,197,2,23,193,2,249,22,174,14,23,196,2, +23,199,2,89,161,37,43,11,28,23,198,2,28,249,22,140,9,23,200,2,23, +197,1,23,193,1,86,94,23,193,1,249,22,174,14,23,196,2,23,200,2,86, +94,23,195,1,11,89,161,37,44,11,28,249,22,140,9,23,196,2,68,114,101, +108,97,116,105,118,101,86,94,23,194,1,2,26,23,194,1,89,161,37,45,11, +247,22,135,15,27,250,22,191,14,23,203,2,11,32,0,88,163,8,36,36,41, +11,9,222,11,27,28,23,194,2,249,22,73,23,203,2,23,196,1,86,94,23, +194,1,11,27,28,23,203,2,28,23,194,2,11,27,250,22,191,14,23,207,2, +11,32,0,88,163,8,36,36,41,11,9,222,11,28,192,249,22,73,23,206,2, +194,11,11,27,28,23,195,2,23,195,2,23,194,2,27,88,163,36,37,50,44, +62,122,111,225,15,13,9,33,39,27,88,163,36,37,50,44,66,97,108,116,45, +122,111,225,16,14,11,33,40,27,88,163,36,37,52,45,9,225,17,15,11,33, +41,27,88,163,36,37,52,45,9,225,18,16,13,33,42,27,28,23,200,2,23, +200,2,248,22,138,9,23,200,2,27,28,23,208,2,28,23,200,2,86,94,23, +201,1,23,200,2,248,22,138,9,23,202,1,11,27,28,23,195,2,28,23,197, +1,27,249,22,5,88,163,8,36,37,53,45,9,225,24,22,18,33,43,23,216, +2,27,28,23,202,2,11,193,28,192,192,28,193,28,23,202,2,28,249,22,188, +3,248,22,75,196,248,22,75,23,205,2,193,11,11,11,11,86,94,23,197,1, +11,28,23,193,2,86,105,23,213,1,23,211,1,23,210,1,23,209,1,23,208, +1,23,201,1,23,200,1,23,199,1,23,198,1,23,196,1,23,195,1,23,194, +1,20,13,159,80,159,57,40,37,250,80,159,8,24,41,37,249,22,27,11,80, +159,8,26,40,37,22,182,4,11,20,13,159,80,159,57,40,37,250,80,159,8, +24,41,37,249,22,27,11,80,159,8,26,40,37,22,162,5,28,248,22,156,14, +23,216,2,23,215,1,86,94,23,215,1,247,22,133,15,249,247,22,139,15,248, +22,74,195,23,25,86,94,23,193,1,27,28,23,195,2,28,23,197,1,27,249, +22,5,88,163,8,36,37,53,45,9,225,25,23,20,33,44,23,217,2,27,28, +23,204,2,11,193,28,192,192,28,193,28,203,28,249,22,188,3,248,22,75,196, +248,22,75,206,193,11,11,11,11,86,94,23,197,1,11,28,23,193,2,86,102, +23,214,1,23,211,1,23,210,1,23,209,1,23,201,1,23,200,1,23,199,1, +23,196,1,23,195,1,20,13,159,80,159,58,40,37,250,80,159,8,25,41,37, +249,22,27,11,80,159,8,27,40,37,22,182,4,23,215,1,20,13,159,80,159, +58,40,37,250,80,159,8,25,41,37,249,22,27,11,80,159,8,27,40,37,22, +162,5,28,248,22,156,14,23,217,2,23,216,1,86,94,23,216,1,247,22,133, +15,249,247,22,139,15,248,22,74,195,23,26,86,94,23,193,1,27,28,23,197, +2,28,23,201,1,27,249,22,5,20,20,94,88,163,8,36,37,51,44,9,225, +26,24,20,33,45,23,213,1,23,218,2,27,28,23,204,2,11,193,28,192,192, +28,193,28,23,204,2,28,249,22,188,3,248,22,75,196,248,22,75,23,207,2, +193,11,11,11,86,94,23,210,1,11,86,94,23,201,1,11,28,23,193,2,86, +101,23,215,1,23,213,1,23,212,1,23,211,1,23,202,1,23,200,1,23,197, +1,23,196,1,20,13,159,80,159,59,40,37,250,80,159,8,26,41,37,249,22, +27,11,80,159,8,28,40,37,22,182,4,11,20,13,159,80,159,59,40,37,250, +80,159,8,26,41,37,249,22,27,11,80,159,8,28,40,37,22,162,5,28,248, +22,156,14,23,218,2,23,217,1,86,94,23,217,1,247,22,133,15,249,247,22, +160,5,248,22,74,195,23,27,86,94,23,193,1,27,28,23,197,1,28,23,201, +1,27,249,22,5,20,20,94,88,163,8,36,37,51,44,9,225,27,25,22,33, +46,23,215,1,23,219,1,27,28,23,205,2,11,193,28,192,192,28,193,28,204, +28,249,22,188,3,248,22,75,196,248,22,75,23,15,193,11,11,11,86,95,23, +216,1,23,212,1,11,86,94,23,201,1,11,28,23,193,2,86,95,23,213,1, +23,198,1,20,13,159,80,159,8,24,40,37,250,80,159,8,27,41,37,249,22, +27,11,80,159,8,29,40,37,22,182,4,23,217,1,20,13,159,80,159,8,24, +40,37,250,80,159,8,27,41,37,249,22,27,11,80,159,8,29,40,37,22,162, +5,28,248,22,156,14,23,219,2,23,218,1,86,94,23,218,1,247,22,133,15, +249,247,22,160,5,248,22,74,195,23,28,86,94,23,193,1,27,28,23,199,2, +86,94,23,215,1,23,214,1,86,94,23,214,1,23,215,1,20,13,159,80,159, 8,25,40,37,250,80,159,8,28,41,37,249,22,27,11,80,159,8,30,40,37, -22,161,5,28,248,22,155,14,23,220,2,23,219,1,86,94,23,219,1,247,22, -132,15,249,247,22,159,5,194,23,29,27,249,22,159,8,80,159,39,45,38,249, -22,183,3,248,22,179,3,248,22,166,2,200,8,128,8,27,28,193,248,22,169, -2,194,11,28,192,27,249,22,96,198,195,28,192,248,22,75,193,11,11,27,249, -22,183,3,248,22,179,3,248,22,166,2,198,8,128,8,27,249,22,159,8,80, -159,40,45,38,195,27,28,193,248,22,169,2,194,11,250,22,160,8,80,159,42, -45,38,197,248,22,168,2,249,22,73,249,22,73,204,205,28,198,198,9,0,17, -35,114,120,34,94,40,46,42,63,41,47,40,46,42,41,36,34,32,51,88,163, -8,36,37,59,11,2,29,222,33,52,27,249,22,143,15,2,50,23,196,2,28, -23,193,2,86,94,23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107, -23,197,1,27,249,22,143,15,2,50,23,196,2,28,23,193,2,86,94,23,194, -1,249,22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,143, +22,182,4,28,23,30,28,23,202,1,11,195,86,94,23,202,1,11,20,13,159, +80,159,8,25,40,37,250,80,159,8,28,41,37,249,22,27,11,80,159,8,30, +40,37,22,162,5,28,248,22,156,14,23,220,2,23,219,1,86,94,23,219,1, +247,22,133,15,249,247,22,160,5,194,23,29,27,249,22,160,8,80,159,39,45, +38,249,22,183,3,248,22,179,3,248,22,166,2,200,8,128,8,27,28,193,248, +22,169,2,194,11,28,192,27,249,22,96,198,195,28,192,248,22,75,193,11,11, +27,249,22,183,3,248,22,179,3,248,22,166,2,198,8,128,8,27,249,22,160, +8,80,159,40,45,38,195,27,28,193,248,22,169,2,194,11,250,22,161,8,80, +159,42,45,38,197,248,22,168,2,249,22,73,249,22,73,204,205,28,198,198,9, +0,17,35,114,120,34,94,40,46,42,63,41,47,40,46,42,41,36,34,32,51, +88,163,8,36,37,59,11,2,29,222,33,52,27,249,22,144,15,2,50,23,196, +2,28,23,193,2,86,94,23,194,1,249,22,73,248,22,98,23,196,2,27,248, +22,107,23,197,1,27,249,22,144,15,2,50,23,196,2,28,23,193,2,86,94, +23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249, +22,144,15,2,50,23,196,2,28,23,193,2,86,94,23,194,1,249,22,73,248, +22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,144,15,2,50,23,196, +2,28,23,193,2,86,94,23,194,1,249,22,73,248,22,98,23,196,2,248,2, +51,248,22,107,23,197,1,248,22,83,194,248,22,83,194,248,22,83,194,248,22, +83,194,32,53,88,163,36,37,55,11,2,29,222,33,54,28,248,22,81,248,22, +75,23,195,2,249,22,7,9,248,22,74,195,90,159,38,11,89,161,38,36,11, +27,248,22,75,196,28,248,22,81,248,22,75,23,195,2,249,22,7,9,248,22, +74,195,90,159,38,11,89,161,38,36,11,27,248,22,75,196,28,248,22,81,248, +22,75,23,195,2,249,22,7,9,248,22,74,195,90,159,38,11,89,161,38,36, +11,248,2,53,248,22,75,196,249,22,7,249,22,73,248,22,74,199,196,195,249, +22,7,249,22,73,248,22,74,199,196,195,249,22,7,249,22,73,248,22,74,199, +196,195,27,27,249,22,144,15,2,50,23,197,2,28,23,193,2,86,94,23,195, +1,249,22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,144, 15,2,50,23,196,2,28,23,193,2,86,94,23,194,1,249,22,73,248,22,98, -23,196,2,27,248,22,107,23,197,1,27,249,22,143,15,2,50,23,196,2,28, -23,193,2,86,94,23,194,1,249,22,73,248,22,98,23,196,2,248,2,51,248, -22,107,23,197,1,248,22,83,194,248,22,83,194,248,22,83,194,248,22,83,194, -32,53,88,163,36,37,55,11,2,29,222,33,54,28,248,22,81,248,22,75,23, -195,2,249,22,7,9,248,22,74,195,90,159,38,11,89,161,38,36,11,27,248, -22,75,196,28,248,22,81,248,22,75,23,195,2,249,22,7,9,248,22,74,195, -90,159,38,11,89,161,38,36,11,27,248,22,75,196,28,248,22,81,248,22,75, -23,195,2,249,22,7,9,248,22,74,195,90,159,38,11,89,161,38,36,11,248, -2,53,248,22,75,196,249,22,7,249,22,73,248,22,74,199,196,195,249,22,7, -249,22,73,248,22,74,199,196,195,249,22,7,249,22,73,248,22,74,199,196,195, -27,27,249,22,143,15,2,50,23,197,2,28,23,193,2,86,94,23,195,1,249, -22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,143,15,2, -50,23,196,2,28,23,193,2,86,94,23,194,1,249,22,73,248,22,98,23,196, -2,27,248,22,107,23,197,1,27,249,22,143,15,2,50,23,196,2,28,23,193, -2,86,94,23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107,23,197, -1,27,249,22,143,15,2,50,23,196,2,28,23,193,2,86,94,23,194,1,249, -22,73,248,22,98,23,196,2,248,2,51,248,22,107,23,197,1,248,22,83,194, -248,22,83,194,248,22,83,194,248,22,83,195,28,23,195,1,192,28,248,22,81, -248,22,75,23,195,2,249,22,7,9,248,22,74,195,27,248,22,75,194,90,159, -38,11,89,161,38,36,11,28,248,22,81,248,22,75,23,197,2,249,22,7,9, -248,22,74,197,27,248,22,75,196,90,159,38,11,89,161,38,36,11,28,248,22, -81,248,22,75,23,197,2,249,22,7,9,248,22,74,197,90,159,38,11,89,161, -38,36,11,248,2,53,248,22,75,198,249,22,7,249,22,73,248,22,74,201,196, -195,249,22,7,249,22,73,248,22,74,202,196,195,249,22,7,249,22,73,248,22, -74,200,196,195,86,95,28,248,22,136,5,195,12,250,22,175,9,2,21,6,20, -20,114,101,115,111,108,118,101,100,45,109,111,100,117,108,101,45,112,97,116,104, -197,28,24,193,2,248,24,194,1,195,86,94,23,193,1,12,27,250,22,153,2, -80,159,41,43,38,248,22,168,15,247,22,133,13,11,27,28,23,194,2,193,86, -94,23,194,1,27,247,22,133,2,86,94,250,22,151,2,80,159,43,43,38,248, -22,168,15,247,22,133,13,195,192,250,22,151,2,195,199,66,97,116,116,97,99, -104,251,211,197,198,199,10,28,192,250,22,174,9,11,196,195,248,22,172,9,194, -28,249,22,135,7,194,6,1,1,46,2,26,28,249,22,135,7,194,6,2,2, -46,46,62,117,112,192,32,60,88,163,8,36,37,50,11,67,115,115,45,62,114, -107,116,222,33,61,27,248,22,132,7,194,28,249,22,188,3,194,39,28,249,22, -135,7,6,3,3,46,115,115,249,22,151,7,197,249,22,176,3,198,39,249,22, -152,7,250,22,151,7,198,36,249,22,176,3,199,39,2,32,193,193,0,8,35, -114,120,34,91,46,93,34,28,249,22,141,9,248,22,75,23,200,2,23,197,1, -28,249,22,139,9,248,22,74,23,200,2,23,196,1,251,22,172,9,2,21,6, -28,28,99,121,99,108,101,32,105,110,32,108,111,97,100,105,110,103,32,97,116, -32,126,46,115,58,32,126,46,115,23,200,1,249,22,2,22,75,248,22,88,249, -22,73,23,206,1,23,202,1,12,12,247,192,20,13,159,80,159,41,48,38,249, -22,73,249,22,73,248,22,168,15,247,22,133,13,23,200,1,23,195,1,20,13, -159,80,159,41,40,37,250,80,159,44,41,37,249,22,27,11,80,159,46,40,37, -22,180,4,23,197,1,249,247,22,160,5,23,199,1,248,22,61,248,22,159,14, -23,199,1,86,94,28,28,248,22,155,14,23,196,2,10,248,22,145,5,23,196, -2,12,28,23,197,2,250,22,174,9,11,6,15,15,98,97,100,32,109,111,100, -117,108,101,32,112,97,116,104,23,200,2,250,22,175,9,2,21,6,19,19,109, -111,100,117,108,101,45,112,97,116,104,32,111,114,32,112,97,116,104,23,198,2, -28,28,248,22,71,23,196,2,249,22,139,9,248,22,74,23,198,2,2,4,11, -248,22,137,5,248,22,98,196,28,28,248,22,71,23,196,2,249,22,139,9,248, -22,74,23,198,2,66,112,108,97,110,101,116,11,86,94,28,207,12,20,13,159, -80,159,37,55,37,80,158,37,53,89,161,37,36,10,249,22,182,4,21,94,2, -30,6,19,19,112,108,97,110,101,116,47,114,101,115,111,108,118,101,114,46,114, -107,116,1,27,112,108,97,110,101,116,45,109,111,100,117,108,101,45,110,97,109, -101,45,114,101,115,111,108,118,101,114,12,252,212,199,200,201,202,80,158,42,53, -86,94,23,193,1,27,88,163,8,36,37,46,11,79,115,104,111,119,45,99,111, -108,108,101,99,116,105,111,110,45,101,114,114,223,5,33,58,27,28,248,22,58, -23,198,2,27,248,80,159,41,46,39,249,22,73,23,201,2,247,22,133,15,28, -23,193,2,192,86,94,23,193,1,90,159,38,11,89,161,38,36,11,249,80,159, -44,52,39,248,22,64,23,203,2,11,27,28,248,22,81,23,195,2,2,31,249, -22,152,7,23,197,2,2,32,27,252,80,159,49,57,39,2,21,23,204,1,28, -248,22,81,23,201,2,23,201,1,86,94,23,201,1,248,22,74,23,201,2,28, -248,22,81,23,201,2,86,94,23,200,1,9,248,22,75,23,201,1,23,199,2, -249,22,173,14,23,195,1,23,196,1,28,248,22,129,7,23,198,2,86,94,23, -194,1,27,248,80,159,41,8,26,39,23,200,2,27,248,80,159,42,46,39,249, -22,73,23,202,2,23,197,2,28,23,193,2,192,86,94,23,193,1,90,159,38, -11,89,161,38,36,11,249,80,159,45,52,39,23,203,2,11,250,22,1,22,173, -14,23,199,1,249,22,87,249,22,2,32,0,88,163,8,36,37,44,11,9,222, -33,59,23,200,1,248,22,83,248,2,60,23,201,1,28,248,22,155,14,23,198, -2,86,94,23,194,1,28,248,22,178,14,23,198,2,248,80,159,40,8,27,39, -248,22,182,14,23,199,2,248,22,83,6,26,26,32,40,97,32,112,97,116,104, -32,109,117,115,116,32,98,101,32,97,98,115,111,108,117,116,101,41,28,249,22, -139,9,248,22,74,23,200,2,2,30,27,248,80,159,41,46,39,249,22,73,23, -201,2,247,22,133,15,28,23,193,2,192,86,94,23,193,1,90,159,39,11,89, -161,38,36,11,249,80,159,45,52,39,248,22,98,23,204,2,11,89,161,37,38, -11,28,248,22,81,248,22,100,23,203,2,28,248,22,81,23,194,2,249,22,147, -15,2,62,23,196,2,11,10,27,28,23,196,2,248,2,60,23,196,2,28,248, -22,81,23,195,2,2,31,28,249,22,147,15,2,62,23,197,2,248,2,60,23, -196,2,249,22,152,7,23,197,2,2,32,27,28,23,197,1,86,94,23,196,1, -249,22,87,28,248,22,81,248,22,100,23,207,2,21,93,6,5,5,109,122,108, -105,98,249,22,1,22,87,249,22,2,80,159,51,8,28,39,248,22,100,23,210, -2,23,197,1,28,248,22,81,23,196,2,86,94,23,195,1,248,22,83,23,197, -1,86,94,23,196,1,23,195,1,27,252,80,159,51,57,39,2,21,23,206,1, -248,22,74,23,200,2,248,22,75,23,200,1,23,200,2,249,22,173,14,23,195, -1,23,197,1,28,249,22,139,9,248,22,74,23,200,2,64,102,105,108,101,248, -80,159,40,8,27,39,248,22,182,14,249,22,180,14,248,22,184,14,248,22,98, -23,203,2,248,80,159,44,8,26,39,23,203,2,12,86,94,28,28,248,22,155, -14,23,194,2,10,248,22,154,8,23,194,2,86,94,23,199,1,12,28,23,199, -2,250,22,174,9,67,114,101,113,117,105,114,101,249,22,177,7,6,17,17,98, -97,100,32,109,111,100,117,108,101,32,112,97,116,104,126,97,28,23,198,2,248, -22,74,23,199,2,2,33,23,202,1,86,94,23,199,1,250,22,175,9,2,21, -249,22,177,7,6,13,13,109,111,100,117,108,101,32,112,97,116,104,126,97,28, -23,198,2,248,22,74,23,199,2,2,33,23,200,2,27,28,248,22,154,8,23, -195,2,249,22,159,8,23,196,2,36,249,22,182,14,248,22,183,14,23,197,2, -11,27,28,248,22,154,8,23,196,2,249,22,159,8,23,197,2,37,248,80,159, -42,58,39,23,195,2,90,159,39,11,89,161,39,36,11,28,248,22,154,8,23, -199,2,250,22,7,2,34,249,22,159,8,23,203,2,38,2,34,248,22,176,14, -23,198,2,86,95,23,195,1,23,193,1,27,28,248,22,154,8,23,200,2,249, -22,159,8,23,201,2,39,249,80,159,47,56,39,23,197,2,5,0,27,28,248, -22,154,8,23,201,2,249,22,159,8,23,202,2,40,248,22,137,5,23,200,2, -27,27,250,22,153,2,80,159,51,43,38,248,22,168,15,247,22,133,13,11,28, -23,193,2,192,86,94,23,193,1,27,247,22,133,2,86,94,250,22,151,2,80, -159,52,43,38,248,22,168,15,247,22,133,13,195,192,86,95,28,23,208,1,27, -250,22,153,2,23,197,2,197,11,28,23,193,1,12,86,94,27,27,28,248,22, -17,80,159,51,49,38,80,159,50,49,38,247,22,19,251,22,27,11,80,159,54, -48,38,9,23,197,1,27,248,22,168,15,247,22,133,13,86,94,249,22,3,20, -20,94,88,163,8,36,37,55,11,9,226,12,11,2,3,33,63,23,195,1,23, -196,2,248,28,248,22,17,80,159,52,49,38,32,0,88,163,36,37,42,11,9, -222,33,64,80,159,51,8,29,39,20,20,94,88,163,36,36,52,8,176,64,9, -228,15,11,10,6,5,2,33,65,23,195,1,250,22,151,2,23,197,1,197,10, -12,28,28,248,22,154,8,23,202,1,11,28,248,22,129,7,23,206,2,10,28, -248,22,58,23,206,2,10,28,248,22,71,23,206,2,249,22,139,9,248,22,74, -23,208,2,2,30,11,249,80,159,49,47,39,28,248,22,129,7,23,208,2,249, -22,73,23,209,1,248,80,159,52,8,26,39,23,211,1,86,94,23,208,1,249, -22,73,23,209,1,247,22,133,15,252,22,156,8,23,207,1,23,206,1,23,204, -1,23,202,1,200,12,193,86,96,20,18,159,11,80,158,36,53,248,80,159,37, -8,25,37,249,22,27,11,80,159,39,55,37,248,22,179,4,80,159,37,54,38, -248,22,160,5,80,159,37,37,39,248,22,188,13,80,159,37,42,39,20,18,159, -11,80,158,36,53,248,80,159,37,8,25,37,249,22,27,11,80,159,39,55,37, -159,36,20,113,159,36,16,1,11,16,0,20,26,141,2,1,2,1,29,11,11, -11,11,11,10,38,80,158,36,36,20,113,159,40,16,26,2,2,2,3,30,2, -5,72,112,97,116,104,45,115,116,114,105,110,103,63,11,30,2,5,75,112,97, -116,104,45,97,100,100,45,115,117,102,102,105,120,8,30,2,7,2,8,6,30, -2,7,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,2,9,2,10,2,11,2,12,2,13,2,14,2,15, -2,16,2,17,2,18,2,19,2,20,2,21,30,2,22,2,8,6,30,2,5, -79,112,97,116,104,45,114,101,112,108,97,99,101,45,115,117,102,102,105,120,10, -30,2,5,73,102,105,110,100,45,99,111,108,45,102,105,108,101,3,30,2,5, -76,110,111,114,109,97,108,45,99,97,115,101,45,112,97,116,104,7,2,23,2, -24,30,2,22,74,114,101,112,97,114,97,109,101,116,101,114,105,122,101,7,16, -0,37,39,36,16,0,36,16,14,2,15,2,16,2,10,2,12,2,17,2,18, -2,11,2,3,2,9,2,2,2,13,2,14,2,19,2,21,50,11,11,11,16, -3,2,23,2,20,2,24,16,3,11,11,11,16,3,2,23,2,20,2,24,39, -39,37,12,11,11,16,0,16,0,16,0,36,36,11,12,11,11,16,0,16,0, -16,0,36,36,16,21,20,15,16,2,88,163,36,37,45,8,128,128,9,223,0, -33,35,80,159,36,8,29,39,20,15,16,2,88,163,8,36,37,45,8,240,0, -0,1,0,9,223,0,33,36,80,159,36,8,28,39,20,15,16,2,88,163,36, -37,49,8,240,0,0,16,0,72,112,97,116,104,45,115,115,45,62,114,107,116, -223,0,33,37,80,159,36,8,27,39,20,15,16,2,88,163,36,37,49,8,240, -0,192,0,0,67,103,101,116,45,100,105,114,223,0,33,38,80,159,36,8,26, -39,20,15,16,2,248,22,151,8,69,115,111,45,115,117,102,102,105,120,80,159, -36,36,37,20,15,16,2,88,163,36,38,8,38,8,61,2,3,223,0,33,47, -80,159,36,37,37,20,15,16,2,32,0,88,163,8,36,37,42,11,2,9,222, +23,196,2,27,248,22,107,23,197,1,27,249,22,144,15,2,50,23,196,2,28, +23,193,2,86,94,23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107, +23,197,1,27,249,22,144,15,2,50,23,196,2,28,23,193,2,86,94,23,194, +1,249,22,73,248,22,98,23,196,2,248,2,51,248,22,107,23,197,1,248,22, +83,194,248,22,83,194,248,22,83,194,248,22,83,195,28,23,195,1,192,28,248, +22,81,248,22,75,23,195,2,249,22,7,9,248,22,74,195,27,248,22,75,194, +90,159,38,11,89,161,38,36,11,28,248,22,81,248,22,75,23,197,2,249,22, +7,9,248,22,74,197,27,248,22,75,196,90,159,38,11,89,161,38,36,11,28, +248,22,81,248,22,75,23,197,2,249,22,7,9,248,22,74,197,90,159,38,11, +89,161,38,36,11,248,2,53,248,22,75,198,249,22,7,249,22,73,248,22,74, +201,196,195,249,22,7,249,22,73,248,22,74,202,196,195,249,22,7,249,22,73, +248,22,74,200,196,195,86,95,28,248,22,137,5,195,12,250,22,176,9,2,21, +6,20,20,114,101,115,111,108,118,101,100,45,109,111,100,117,108,101,45,112,97, +116,104,197,28,24,193,2,248,24,194,1,195,86,94,23,193,1,12,27,250,22, +153,2,80,159,41,43,38,248,22,169,15,247,22,134,13,11,27,28,23,194,2, +193,86,94,23,194,1,27,247,22,133,2,86,94,250,22,151,2,80,159,43,43, +38,248,22,169,15,247,22,134,13,195,192,250,22,151,2,195,199,66,97,116,116, +97,99,104,251,211,197,198,199,10,28,192,250,22,175,9,11,196,195,248,22,173, +9,194,28,249,22,136,7,194,6,1,1,46,2,26,28,249,22,136,7,194,6, +2,2,46,46,62,117,112,192,32,60,88,163,8,36,37,50,11,67,115,115,45, +62,114,107,116,222,33,61,27,248,22,133,7,194,28,249,22,188,3,194,39,28, +249,22,136,7,6,3,3,46,115,115,249,22,152,7,197,249,22,176,3,198,39, +249,22,153,7,250,22,152,7,198,36,249,22,176,3,199,39,2,32,193,193,0, +8,35,114,120,34,91,46,93,34,28,249,22,142,9,248,22,75,23,200,2,23, +197,1,28,249,22,140,9,248,22,74,23,200,2,23,196,1,251,22,173,9,2, +21,6,28,28,99,121,99,108,101,32,105,110,32,108,111,97,100,105,110,103,32, +97,116,32,126,46,115,58,32,126,46,115,23,200,1,249,22,2,22,75,248,22, +88,249,22,73,23,206,1,23,202,1,12,12,247,192,20,13,159,80,159,41,48, +38,249,22,73,249,22,73,248,22,169,15,247,22,134,13,23,200,1,23,195,1, +20,13,159,80,159,41,40,37,250,80,159,44,41,37,249,22,27,11,80,159,46, +40,37,22,181,4,23,197,1,249,247,22,161,5,23,199,1,248,22,61,248,22, +160,14,23,199,1,86,94,28,28,248,22,156,14,23,196,2,10,248,22,146,5, +23,196,2,12,28,23,197,2,250,22,175,9,11,6,15,15,98,97,100,32,109, +111,100,117,108,101,32,112,97,116,104,23,200,2,250,22,176,9,2,21,6,19, +19,109,111,100,117,108,101,45,112,97,116,104,32,111,114,32,112,97,116,104,23, +198,2,28,28,248,22,71,23,196,2,249,22,140,9,248,22,74,23,198,2,2, +4,11,248,22,138,5,248,22,98,196,28,28,248,22,71,23,196,2,249,22,140, +9,248,22,74,23,198,2,66,112,108,97,110,101,116,11,86,94,28,207,12,20, +13,159,80,159,37,55,37,80,158,37,53,89,161,37,36,10,249,22,183,4,21, +94,2,30,6,19,19,112,108,97,110,101,116,47,114,101,115,111,108,118,101,114, +46,114,107,116,1,27,112,108,97,110,101,116,45,109,111,100,117,108,101,45,110, +97,109,101,45,114,101,115,111,108,118,101,114,12,252,212,199,200,201,202,80,158, +42,53,86,94,23,193,1,27,88,163,8,36,37,46,11,79,115,104,111,119,45, +99,111,108,108,101,99,116,105,111,110,45,101,114,114,223,5,33,58,27,28,248, +22,58,23,198,2,27,248,80,159,41,46,39,249,22,73,23,201,2,247,22,134, +15,28,23,193,2,192,86,94,23,193,1,90,159,38,11,89,161,38,36,11,249, +80,159,44,52,39,248,22,64,23,203,2,11,27,28,248,22,81,23,195,2,2, +31,249,22,153,7,23,197,2,2,32,27,252,80,159,49,57,39,2,21,23,204, +1,28,248,22,81,23,201,2,23,201,1,86,94,23,201,1,248,22,74,23,201, +2,28,248,22,81,23,201,2,86,94,23,200,1,9,248,22,75,23,201,1,23, +199,2,249,22,174,14,23,195,1,23,196,1,28,248,22,130,7,23,198,2,86, +94,23,194,1,27,248,80,159,41,8,26,39,23,200,2,27,248,80,159,42,46, +39,249,22,73,23,202,2,23,197,2,28,23,193,2,192,86,94,23,193,1,90, +159,38,11,89,161,38,36,11,249,80,159,45,52,39,23,203,2,11,250,22,1, +22,174,14,23,199,1,249,22,87,249,22,2,32,0,88,163,8,36,37,44,11, +9,222,33,59,23,200,1,248,22,83,248,2,60,23,201,1,28,248,22,156,14, +23,198,2,86,94,23,194,1,28,248,22,179,14,23,198,2,248,80,159,40,8, +27,39,248,22,183,14,23,199,2,248,22,83,6,26,26,32,40,97,32,112,97, +116,104,32,109,117,115,116,32,98,101,32,97,98,115,111,108,117,116,101,41,28, +249,22,140,9,248,22,74,23,200,2,2,30,27,248,80,159,41,46,39,249,22, +73,23,201,2,247,22,134,15,28,23,193,2,192,86,94,23,193,1,90,159,39, +11,89,161,38,36,11,249,80,159,45,52,39,248,22,98,23,204,2,11,89,161, +37,38,11,28,248,22,81,248,22,100,23,203,2,28,248,22,81,23,194,2,249, +22,148,15,2,62,23,196,2,11,10,27,28,23,196,2,248,2,60,23,196,2, +28,248,22,81,23,195,2,2,31,28,249,22,148,15,2,62,23,197,2,248,2, +60,23,196,2,249,22,153,7,23,197,2,2,32,27,28,23,197,1,86,94,23, +196,1,249,22,87,28,248,22,81,248,22,100,23,207,2,21,93,6,5,5,109, +122,108,105,98,249,22,1,22,87,249,22,2,80,159,51,8,28,39,248,22,100, +23,210,2,23,197,1,28,248,22,81,23,196,2,86,94,23,195,1,248,22,83, +23,197,1,86,94,23,196,1,23,195,1,27,252,80,159,51,57,39,2,21,23, +206,1,248,22,74,23,200,2,248,22,75,23,200,1,23,200,2,249,22,174,14, +23,195,1,23,197,1,28,249,22,140,9,248,22,74,23,200,2,64,102,105,108, +101,248,80,159,40,8,27,39,248,22,183,14,249,22,181,14,248,22,185,14,248, +22,98,23,203,2,248,80,159,44,8,26,39,23,203,2,12,86,94,28,28,248, +22,156,14,23,194,2,10,248,22,155,8,23,194,2,86,94,23,199,1,12,28, +23,199,2,250,22,175,9,67,114,101,113,117,105,114,101,249,22,178,7,6,17, +17,98,97,100,32,109,111,100,117,108,101,32,112,97,116,104,126,97,28,23,198, +2,248,22,74,23,199,2,2,33,23,202,1,86,94,23,199,1,250,22,176,9, +2,21,249,22,178,7,6,13,13,109,111,100,117,108,101,32,112,97,116,104,126, +97,28,23,198,2,248,22,74,23,199,2,2,33,23,200,2,27,28,248,22,155, +8,23,195,2,249,22,160,8,23,196,2,36,249,22,183,14,248,22,184,14,23, +197,2,11,27,28,248,22,155,8,23,196,2,249,22,160,8,23,197,2,37,248, +80,159,42,58,39,23,195,2,90,159,39,11,89,161,39,36,11,28,248,22,155, +8,23,199,2,250,22,7,2,34,249,22,160,8,23,203,2,38,2,34,248,22, +177,14,23,198,2,86,95,23,195,1,23,193,1,27,28,248,22,155,8,23,200, +2,249,22,160,8,23,201,2,39,249,80,159,47,56,39,23,197,2,5,0,27, +28,248,22,155,8,23,201,2,249,22,160,8,23,202,2,40,248,22,138,5,23, +200,2,27,27,250,22,153,2,80,159,51,43,38,248,22,169,15,247,22,134,13, +11,28,23,193,2,192,86,94,23,193,1,27,247,22,133,2,86,94,250,22,151, +2,80,159,52,43,38,248,22,169,15,247,22,134,13,195,192,86,95,28,23,208, +1,27,250,22,153,2,23,197,2,197,11,28,23,193,1,12,86,94,27,27,28, +248,22,17,80,159,51,49,38,80,159,50,49,38,247,22,19,251,22,27,11,80, +159,54,48,38,9,23,197,1,27,248,22,169,15,247,22,134,13,86,94,249,22, +3,20,20,94,88,163,8,36,37,55,11,9,226,12,11,2,3,33,63,23,195, +1,23,196,2,248,28,248,22,17,80,159,52,49,38,32,0,88,163,36,37,42, +11,9,222,33,64,80,159,51,8,29,39,20,20,94,88,163,36,36,52,8,176, +64,9,228,15,11,10,6,5,2,33,65,23,195,1,250,22,151,2,23,197,1, +197,10,12,28,28,248,22,155,8,23,202,1,11,28,248,22,130,7,23,206,2, +10,28,248,22,58,23,206,2,10,28,248,22,71,23,206,2,249,22,140,9,248, +22,74,23,208,2,2,30,11,249,80,159,49,47,39,28,248,22,130,7,23,208, +2,249,22,73,23,209,1,248,80,159,52,8,26,39,23,211,1,86,94,23,208, +1,249,22,73,23,209,1,247,22,134,15,252,22,157,8,23,207,1,23,206,1, +23,204,1,23,202,1,200,12,193,86,96,20,18,159,11,80,158,36,53,248,80, +159,37,8,25,37,249,22,27,11,80,159,39,55,37,248,22,180,4,80,159,37, +54,38,248,22,161,5,80,159,37,37,39,248,22,189,13,80,159,37,42,39,20, +18,159,11,80,158,36,53,248,80,159,37,8,25,37,249,22,27,11,80,159,39, +55,37,20,18,159,11,80,158,36,53,248,80,159,37,8,25,37,249,22,27,11, +80,159,39,55,37,159,36,20,113,159,36,16,1,11,16,0,20,26,141,2,1, +2,1,29,11,11,11,11,11,10,38,80,158,36,36,20,113,159,40,16,26,2, +2,2,3,30,2,5,72,112,97,116,104,45,115,116,114,105,110,103,63,11,30, +2,5,75,112,97,116,104,45,97,100,100,45,115,117,102,102,105,120,8,30,2, +7,2,8,6,30,2,7,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,2,9,2,10,2,11,2,12,2, +13,2,14,2,15,2,16,2,17,2,18,2,19,2,20,2,21,30,2,22,2, +8,6,30,2,5,79,112,97,116,104,45,114,101,112,108,97,99,101,45,115,117, +102,102,105,120,10,30,2,5,73,102,105,110,100,45,99,111,108,45,102,105,108, +101,3,30,2,5,76,110,111,114,109,97,108,45,99,97,115,101,45,112,97,116, +104,7,2,23,2,24,30,2,22,74,114,101,112,97,114,97,109,101,116,101,114, +105,122,101,7,16,0,37,39,36,16,0,36,16,14,2,15,2,16,2,10,2, +12,2,17,2,18,2,11,2,3,2,9,2,2,2,13,2,14,2,19,2,21, +50,11,11,11,16,3,2,23,2,20,2,24,16,3,11,11,11,16,3,2,23, +2,20,2,24,39,39,37,12,11,11,16,0,16,0,16,0,36,36,11,12,11, +11,16,0,16,0,16,0,36,36,16,21,20,15,16,2,88,163,36,37,45,8, +128,128,9,223,0,33,35,80,159,36,8,29,39,20,15,16,2,88,163,8,36, +37,45,8,240,0,0,1,0,9,223,0,33,36,80,159,36,8,28,39,20,15, +16,2,88,163,36,37,49,8,240,0,0,16,0,72,112,97,116,104,45,115,115, +45,62,114,107,116,223,0,33,37,80,159,36,8,27,39,20,15,16,2,88,163, +36,37,49,8,240,0,192,0,0,67,103,101,116,45,100,105,114,223,0,33,38, +80,159,36,8,26,39,20,15,16,2,248,22,152,8,69,115,111,45,115,117,102, +102,105,120,80,159,36,36,37,20,15,16,2,88,163,36,38,8,38,8,61,2, +3,223,0,33,47,80,159,36,37,37,20,15,16,2,20,27,158,32,0,88,163, +8,36,37,42,11,2,9,222,192,32,0,88,163,8,36,37,42,11,2,9,222, 192,80,159,36,42,37,20,15,16,2,247,22,136,2,80,159,36,43,37,20,15, -16,2,8,128,8,80,159,36,44,37,20,15,16,2,249,22,155,8,8,128,8, +16,2,8,128,8,80,159,36,44,37,20,15,16,2,249,22,156,8,8,128,8, 11,80,159,36,45,37,20,15,16,2,88,163,8,36,37,50,8,128,8,2,13, 223,0,33,48,80,159,36,46,37,20,15,16,2,88,163,8,36,38,55,8,128, 8,2,14,223,0,33,49,80,159,36,47,37,20,15,16,2,247,22,69,80,159, @@ -912,14 +915,15 @@ 163,8,36,37,51,8,128,2,9,224,2,1,33,56,88,163,36,39,49,11,9, 223,0,33,57,88,163,36,40,8,28,16,2,8,176,242,8,187,241,9,224,2, 1,33,66,207,80,159,36,54,37,20,15,16,2,88,163,36,36,45,8,240,66, -0,14,2,2,23,223,0,33,67,80,159,36,59,37,20,15,16,2,88,163,8, -36,36,45,8,240,0,0,10,2,2,24,223,0,33,68,80,159,36,8,24,37, +0,14,2,2,23,223,0,33,67,80,159,36,59,37,20,15,16,2,20,27,158, +88,163,8,36,36,45,8,240,0,0,10,2,2,24,223,0,33,68,88,163,8, +36,36,45,8,240,0,0,10,2,2,24,223,0,33,69,80,159,36,8,24,37, 96,29,94,2,4,68,35,37,107,101,114,110,101,108,11,29,94,2,4,69,35, 37,109,105,110,45,115,116,120,11,2,5,2,22,9,9,9,36,0}; - EVAL_ONE_SIZED_STR((char *)expr, 6149); + EVAL_ONE_SIZED_STR((char *)expr, 6212); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,53,0,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,50,46,48,46,54,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,11,0,0,0,1,0,0,10,0,16,0,29, 0,44,0,58,0,78,0,90,0,104,0,118,0,170,0,0,0,94,1,0,0, 69,35,37,98,117,105,108,116,105,110,65,113,117,111,116,101,29,94,2,2,67, @@ -927,7 +931,7 @@ 107,11,29,94,2,2,68,35,37,112,97,114,97,109,122,11,29,94,2,2,74, 35,37,112,108,97,99,101,45,115,116,114,117,99,116,11,29,94,2,2,66,35, 37,98,111,111,116,11,29,94,2,2,68,35,37,101,120,112,111,98,115,11,29, -94,2,2,68,35,37,107,101,114,110,101,108,11,97,36,11,8,240,13,78,0, +94,2,2,68,35,37,107,101,114,110,101,108,11,97,36,11,8,240,80,78,0, 0,100,159,2,3,36,36,159,2,4,36,36,159,2,5,36,36,159,2,6,36, 36,159,2,7,36,36,159,2,8,36,36,159,2,9,36,36,159,2,9,36,36, 16,0,159,36,20,113,159,36,16,1,11,16,0,20,26,141,2,1,2,1,29, diff --git a/src/racket/src/numstr.c b/src/racket/src/numstr.c index 32f5fc492f..66ae669d9f 100644 --- a/src/racket/src/numstr.c +++ b/src/racket/src/numstr.c @@ -28,7 +28,7 @@ the error messages are better this way. Also, for no particularly good reason, random-number support is - here, though the real work is in random.inc (from FreeBSD). */ + here, though the real work is in newrandom.inc. */ #include "schpriv.h" #include @@ -53,6 +53,7 @@ static Scheme_Object *pseudo_random_generator_p(int argc, Scheme_Object **argv); static Scheme_Object *sch_unpack(int argc, Scheme_Object *argv[]); static Scheme_Object *sch_pack(int argc, Scheme_Object *argv[]); static Scheme_Object *sch_pack_bang(int argc, Scheme_Object *argv[]); +static Scheme_Object *sch_check_pack(int argc, Scheme_Object *argv[]); static char *number_to_allocated_string(int radix, Scheme_Object *obj, int alloc); @@ -151,6 +152,11 @@ void scheme_init_numstr(Scheme_Env *env) "pseudo-random-generator->vector", 1, 1), env); + scheme_add_global_constant("pseudo-random-generator-vector?", + scheme_make_prim_w_arity(sch_check_pack, + "pseudo-random-generator-vector?", + 1, 1), + env); scheme_add_global_constant("pseudo-random-generator?", scheme_make_prim_w_arity(pseudo_random_generator_p, "pseudo-random-generator?", @@ -2292,7 +2298,7 @@ sch_random(int argc, Scheme_Object *argv[]) } static Scheme_Object * -do_pack(const char *name, int argc, Scheme_Object *argv[], int set) +do_pack(const char *name, int argc, Scheme_Object *argv[], int set, int check) { Scheme_Object *s; GC_CAN_IGNORE Scheme_Random_State rs; @@ -2304,11 +2310,14 @@ do_pack(const char *name, int argc, Scheme_Object *argv[], int set) } } - if (SCHEME_VECTORP(argv[set])) - s = pack_rand_state(argv[set], (set ? &rs : NULL)); + if (SCHEME_VECTORP(argv[set]) && (SCHEME_VEC_SIZE(argv[set]) == 6)) + s = pack_rand_state(argv[set], ((set || check) ? &rs : NULL)); else s = NULL; + if (check) + return (s ? scheme_true : scheme_false); + if (!s) scheme_wrong_type(name, "vector of six elements, three in [0, 4294967086] and three in [0, 4294944442], " @@ -2333,13 +2342,19 @@ do_pack(const char *name, int argc, Scheme_Object *argv[], int set) static Scheme_Object * sch_pack(int argc, Scheme_Object *argv[]) { - return do_pack("vector->pseudo-random-generator", argc, argv, 0); + return do_pack("vector->pseudo-random-generator", argc, argv, 0, 0); } static Scheme_Object * sch_pack_bang(int argc, Scheme_Object *argv[]) { - return do_pack("vector->pseudo-random-generator!", argc, argv, 1); + return do_pack("vector->pseudo-random-generator!", argc, argv, 1, 0); +} + +static Scheme_Object * +sch_check_pack(int argc, Scheme_Object *argv[]) +{ + return do_pack("pseudo-random-generator-vector?", argc, argv, 0, 1); } static Scheme_Object * diff --git a/src/racket/src/schminc.h b/src/racket/src/schminc.h index 01419e4f4f..4d377b1f85 100644 --- a/src/racket/src/schminc.h +++ b/src/racket/src/schminc.h @@ -13,7 +13,7 @@ #define USE_COMPILED_STARTUP 1 -#define EXPECTED_PRIM_COUNT 1041 +#define EXPECTED_PRIM_COUNT 1042 #define EXPECTED_UNSAFE_COUNT 78 #define EXPECTED_FLFXNUM_COUNT 68 #define EXPECTED_FUTURES_COUNT 11 diff --git a/src/racket/src/schvers.h b/src/racket/src/schvers.h index 0b8caa2f19..8ac3b2fb14 100644 --- a/src/racket/src/schvers.h +++ b/src/racket/src/schvers.h @@ -13,12 +13,12 @@ consistently.) */ -#define MZSCHEME_VERSION "5.2.0.5" +#define MZSCHEME_VERSION "5.2.0.6" #define MZSCHEME_VERSION_X 5 #define MZSCHEME_VERSION_Y 2 #define MZSCHEME_VERSION_Z 0 -#define MZSCHEME_VERSION_W 5 +#define MZSCHEME_VERSION_W 6 #define MZSCHEME_VERSION_MAJOR ((MZSCHEME_VERSION_X * 100) + MZSCHEME_VERSION_Y) #define MZSCHEME_VERSION_MINOR ((MZSCHEME_VERSION_Z * 1000) + MZSCHEME_VERSION_W)