diff --git a/collects/scribblings/reference/chaperones.scrbl b/collects/scribblings/reference/chaperones.scrbl index b11cc65da7..df1fa9f167 100644 --- a/collects/scribblings/reference/chaperones.scrbl +++ b/collects/scribblings/reference/chaperones.scrbl @@ -110,6 +110,16 @@ Otherwise, all chaperones of @racket[v2] must be intact in from @racket[v1] through one of the chaperone constructors (e.g., @racket[chaperone-procedure]).} +@defproc[(impersonator-ephemeron [v any/c]) ephemeron?]{ + +Produces an @tech{ephemeron} that can be used to connect the +reachability of @racket[v] (in the sense of garbage collection; see +@secref["gc-model"]) with the reachability of any value for which +@racket[v] is an @tech{impersonator}. That is, the value @racket[v] +will be considered reachable as long as the result ephemeron is +reachable in addition to any value that @racket[v] impersonates +(including itself).} + @; ------------------------------------------------------------ @section{Impersonator Constructors} diff --git a/collects/scribblings/reference/memory.scrbl b/collects/scribblings/reference/memory.scrbl index eaded6f65d..03a7c096dd 100644 --- a/collects/scribblings/reference/memory.scrbl +++ b/collects/scribblings/reference/memory.scrbl @@ -13,7 +13,7 @@ A @deftech{weak box} is similar to a normal box (see only reachable via weak references, the content of the weak box is replaced with @racket[#f]. A @defterm{@tech{weak reference}} is a reference through a weak box, through a key reference in a weak hash -table (see @secref["hashtables"]), through a value in an ephemeron +table (see @secref["hashtables"]), through a value in an @tech{ephemeron} where the value can be replaced by @racket[#f] (see @secref["ephemerons"]), or through a custodian (see @secref["custodians"]). @@ -56,7 +56,9 @@ are the same. One particularly common use of ephemerons is to combine them with a weak hash table (see @secref["hashtables"]) to produce a mapping where the memory manager can reclaim key--value pairs even when the value -refers to the key. +refers to the key. A related use is to retain a reference to a value +as long as any value for which it is an @tech{impersonator} is +reachable; see @racket[impersonator-ephemeron]. More precisely, @itemize[ diff --git a/collects/tests/racket/chaperone.rktl b/collects/tests/racket/chaperone.rktl index 8c13773e6b..7b06cf1423 100644 --- a/collects/tests/racket/chaperone.rktl +++ b/collects/tests/racket/chaperone.rktl @@ -1314,6 +1314,29 @@ o) (test #"(a #0=(a #0#))" get-output-bytes o))) +;; ---------------------------------------- +;; Impersonators and ephemerons: + +(let () + (define stuff + (for/list ([n 100]) + (define v (vector n)) + (define c (chaperone-vector v + (lambda (b i v) v) + (lambda (b i v) v))) + (define e (impersonator-ephemeron c)) + (test c ephemeron-value e) + ;; hold on to every other vector: + (cons e (if (even? n) v #f)))) + (collect-garbage) + (define n (for/fold ([n 0]) ([p stuff]) + (+ n + ;; add 1 if should-retained != is-retained + (if (ephemeron-value (car p)) + (if (vector? (cdr p)) 0 1) + (if (vector? (cdr p)) 1 0))))) + (test #t < n 50)) + ;; ---------------------------------------- (report-errs) diff --git a/doc/release-notes/racket/HISTORY.txt b/doc/release-notes/racket/HISTORY.txt index 6c1e42bccb..fdf63b8485 100644 --- a/doc/release-notes/racket/HISTORY.txt +++ b/doc/release-notes/racket/HISTORY.txt @@ -1,3 +1,6 @@ +Version 5.3.3.4 +Added impersonator-ephemeron + Version 5.3.3.3 ffi/unsafe: added _size, _ssize, _ptrdiff, _intmax, _uintmax ffi/vector: added f8vectors diff --git a/src/racket/src/cstartup.inc b/src/racket/src/cstartup.inc index fa3bb7dd0f..4aebe498f3 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,51,46,51,46,51,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,52,84,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,14,0, 21,0,28,0,33,0,37,0,40,0,45,0,58,0,62,0,67,0,74,0,83, 0,87,0,93,0,107,0,121,0,124,0,130,0,134,0,136,0,147,0,149,0, @@ -22,58 +22,58 @@ 37,11,8,240,110,91,0,0,93,159,2,16,36,37,16,2,2,13,161,2,2, 37,2,13,2,2,2,13,96,11,11,8,240,110,91,0,0,16,0,96,38,11, 8,240,110,91,0,0,16,0,18,98,64,104,101,114,101,13,16,6,36,2,14, -2,2,11,11,11,8,32,8,31,8,30,8,29,27,248,22,163,4,195,249,22, -156,4,80,158,39,36,251,22,89,2,18,248,22,104,199,12,249,22,79,2,19, -248,22,106,201,27,248,22,163,4,195,249,22,156,4,80,158,39,36,251,22,89, +2,2,11,11,11,8,32,8,31,8,30,8,29,27,248,22,164,4,195,249,22, +157,4,80,158,39,36,251,22,89,2,18,248,22,104,199,12,249,22,79,2,19, +248,22,106,201,27,248,22,164,4,195,249,22,157,4,80,158,39,36,251,22,89, 2,18,248,22,104,199,249,22,79,2,19,248,22,106,201,12,27,248,22,81,248, -22,163,4,196,28,248,22,87,193,20,14,159,37,36,37,28,248,22,87,248,22, -81,194,248,22,177,17,193,249,22,156,4,80,158,39,36,251,22,89,2,18,248, -22,177,17,199,249,22,79,2,6,248,22,178,17,201,11,18,100,10,13,16,6, +22,164,4,196,28,248,22,87,193,20,14,159,37,36,37,28,248,22,87,248,22, +81,194,248,22,178,17,193,249,22,157,4,80,158,39,36,251,22,89,2,18,248, +22,178,17,199,249,22,79,2,6,248,22,179,17,201,11,18,100,10,13,16,6, 36,2,14,2,2,11,11,11,8,32,8,31,8,30,8,29,16,4,11,11,2, 20,3,1,8,101,110,118,49,55,52,48,56,16,4,11,11,2,21,3,1,8, -101,110,118,49,55,52,48,57,27,248,22,81,248,22,163,4,196,28,248,22,87, -193,20,14,159,37,36,37,28,248,22,87,248,22,81,194,248,22,177,17,193,249, -22,156,4,80,158,39,36,250,22,89,2,22,248,22,89,249,22,89,248,22,89, -2,23,248,22,177,17,201,251,22,89,2,18,2,23,2,23,249,22,79,2,7, -248,22,178,17,204,18,100,11,13,16,6,36,2,14,2,2,11,11,11,8,32, +101,110,118,49,55,52,48,57,27,248,22,81,248,22,164,4,196,28,248,22,87, +193,20,14,159,37,36,37,28,248,22,87,248,22,81,194,248,22,178,17,193,249, +22,157,4,80,158,39,36,250,22,89,2,22,248,22,89,249,22,89,248,22,89, +2,23,248,22,178,17,201,251,22,89,2,18,2,23,2,23,249,22,79,2,7, +248,22,179,17,204,18,100,11,13,16,6,36,2,14,2,2,11,11,11,8,32, 8,31,8,30,8,29,16,4,11,11,2,20,3,1,8,101,110,118,49,55,52, 49,49,16,4,11,11,2,21,3,1,8,101,110,118,49,55,52,49,50,248,22, -163,4,193,27,248,22,163,4,194,249,22,79,248,22,89,248,22,80,196,248,22, -178,17,195,27,248,22,81,248,22,163,4,23,197,1,249,22,156,4,80,158,39, -36,28,248,22,64,248,22,157,4,248,22,80,23,198,2,27,249,22,2,32,0, -88,163,8,36,37,43,11,9,222,33,40,248,22,163,4,248,22,104,23,200,2, -250,22,89,2,24,248,22,89,249,22,89,248,22,89,248,22,177,17,23,204,2, +164,4,193,27,248,22,164,4,194,249,22,79,248,22,89,248,22,80,196,248,22, +179,17,195,27,248,22,81,248,22,164,4,23,197,1,249,22,157,4,80,158,39, +36,28,248,22,64,248,22,158,4,248,22,80,23,198,2,27,249,22,2,32,0, +88,163,8,36,37,43,11,9,222,33,40,248,22,164,4,248,22,104,23,200,2, +250,22,89,2,24,248,22,89,249,22,89,248,22,89,248,22,178,17,23,204,2, 250,22,90,2,25,249,22,2,22,80,23,204,2,248,22,106,23,206,2,249,22, -79,248,22,177,17,23,202,1,249,22,2,22,104,23,200,1,250,22,90,2,22, -249,22,2,32,0,88,163,8,36,37,47,11,9,222,33,41,248,22,163,4,248, -22,177,17,201,248,22,178,17,198,27,248,22,163,4,194,249,22,79,248,22,89, -248,22,80,196,248,22,178,17,195,27,248,22,81,248,22,163,4,23,197,1,249, -22,156,4,80,158,39,36,250,22,90,2,24,249,22,2,32,0,88,163,8,36, -37,47,11,9,222,33,43,248,22,163,4,248,22,80,201,248,22,178,17,198,27, -248,22,81,248,22,163,4,196,27,248,22,163,4,248,22,80,195,249,22,156,4, +79,248,22,178,17,23,202,1,249,22,2,22,104,23,200,1,250,22,90,2,22, +249,22,2,32,0,88,163,8,36,37,47,11,9,222,33,41,248,22,164,4,248, +22,178,17,201,248,22,179,17,198,27,248,22,164,4,194,249,22,79,248,22,89, +248,22,80,196,248,22,179,17,195,27,248,22,81,248,22,164,4,23,197,1,249, +22,157,4,80,158,39,36,250,22,90,2,24,249,22,2,32,0,88,163,8,36, +37,47,11,9,222,33,43,248,22,164,4,248,22,80,201,248,22,179,17,198,27, +248,22,81,248,22,164,4,196,27,248,22,164,4,248,22,80,195,249,22,157,4, 80,158,40,36,28,248,22,87,195,250,22,90,2,22,9,248,22,81,199,250,22, -89,2,10,248,22,89,248,22,80,199,250,22,90,2,5,248,22,178,17,201,248, -22,81,202,27,248,22,81,248,22,163,4,23,197,1,27,249,22,1,22,93,249, -22,2,22,163,4,248,22,163,4,248,22,80,199,248,22,183,4,249,22,156,4, +89,2,10,248,22,89,248,22,80,199,250,22,90,2,5,248,22,179,17,201,248, +22,81,202,27,248,22,81,248,22,164,4,23,197,1,27,249,22,1,22,93,249, +22,2,22,164,4,248,22,164,4,248,22,80,199,248,22,184,4,249,22,157,4, 80,158,41,36,251,22,89,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,90,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,90,2,22,9,248,22,81, -204,27,248,22,81,248,22,163,4,196,28,248,22,87,193,20,14,159,37,36,37, -249,22,156,4,80,158,39,36,27,248,22,163,4,248,22,80,197,28,249,22,154, -9,62,61,62,248,22,157,4,248,22,104,196,250,22,89,2,22,248,22,89,249, +204,27,248,22,81,248,22,164,4,196,28,248,22,87,193,20,14,159,37,36,37, +249,22,157,4,80,158,39,36,27,248,22,164,4,248,22,80,197,28,249,22,155, +9,62,61,62,248,22,158,4,248,22,104,196,250,22,89,2,22,248,22,89,249, 22,89,21,93,2,27,248,22,80,199,250,22,90,2,11,249,22,89,2,27,249, -22,89,248,22,113,203,2,27,248,22,81,202,251,22,89,2,18,28,249,22,154, -9,248,22,157,4,248,22,80,200,64,101,108,115,101,10,248,22,177,17,197,250, -22,90,2,22,9,248,22,178,17,200,249,22,79,2,11,248,22,81,202,99,13, +22,89,248,22,113,203,2,27,248,22,81,202,251,22,89,2,18,28,249,22,155, +9,248,22,158,4,248,22,80,200,64,101,108,115,101,10,248,22,178,17,197,250, +22,90,2,22,9,248,22,179,17,200,249,22,79,2,11,248,22,81,202,99,13, 16,6,36,2,14,2,2,11,11,11,8,32,8,31,8,30,8,29,16,4,11, 11,2,20,3,1,8,101,110,118,49,55,52,51,52,16,4,11,11,2,21,3, 1,8,101,110,118,49,55,52,51,53,18,158,94,10,64,118,111,105,100,8,48, -27,248,22,81,248,22,163,4,196,249,22,156,4,80,158,39,36,28,248,22,64, -248,22,157,4,248,22,80,197,250,22,89,2,28,248,22,89,248,22,177,17,199, -248,22,104,198,27,248,22,157,4,248,22,177,17,197,250,22,89,2,28,248,22, -89,248,22,80,197,250,22,90,2,25,248,22,178,17,199,248,22,178,17,202,159, +27,248,22,81,248,22,164,4,196,249,22,157,4,80,158,39,36,28,248,22,64, +248,22,158,4,248,22,80,197,250,22,89,2,28,248,22,89,248,22,178,17,199, +248,22,104,198,27,248,22,158,4,248,22,178,17,197,250,22,89,2,28,248,22, +89,248,22,80,197,250,22,90,2,25,248,22,179,17,199,248,22,179,17,202,159, 36,20,114,159,36,16,1,11,16,0,20,26,149,9,2,1,2,1,2,2,9, 9,11,11,11,10,36,80,158,36,36,20,114,159,36,16,0,16,0,38,39,36, 16,0,36,16,0,36,11,11,11,16,10,2,3,2,4,2,5,2,6,2,7, @@ -100,7 +100,7 @@ EVAL_ONE_SIZED_STR((char *)expr, 2048); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,51,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,52,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,126,0,0,0,1,0,0,8,0,21,0, 26,0,43,0,55,0,77,0,106,0,121,0,139,0,151,0,167,0,181,0,203, 0,219,0,236,0,2,1,13,1,19,1,28,1,35,1,42,1,54,1,70,1, @@ -156,371 +156,371 @@ 116,101,115,63,41,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,248,22,133,15, -23,195,2,28,23,193,2,192,86,94,23,193,1,28,248,22,144,7,23,195,2, -27,248,22,155,15,195,28,192,192,248,22,156,15,195,11,0,21,35,114,120,34, +110,45,100,105,114,6,8,8,99,111,108,108,101,99,116,115,27,248,22,134,15, +23,195,2,28,23,193,2,192,86,94,23,193,1,28,248,22,145,7,23,195,2, +27,248,22,156,15,195,28,192,192,248,22,157,15,195,11,0,21,35,114,120,34, 94,91,92,92,93,91,92,92,93,91,63,93,91,92,92,93,34,0,6,35,114, 120,34,47,34,0,22,35,114,120,34,91,47,92,92,93,91,46,32,93,43,91, 47,92,92,93,42,36,34,0,19,35,114,120,34,91,32,46,93,43,40,91,47, -92,92,93,42,41,36,34,86,94,28,28,248,22,134,15,23,195,2,10,28,248, -22,133,15,23,195,2,10,28,248,22,144,7,23,195,2,28,248,22,155,15,23, -195,2,10,248,22,156,15,23,195,2,11,12,250,22,191,9,2,32,2,33,23, -197,2,28,28,248,22,134,15,23,195,2,249,22,154,9,248,22,135,15,23,197, -2,2,34,249,22,154,9,247,22,166,8,2,34,27,28,248,22,144,7,23,196, -2,23,195,2,248,22,156,8,248,22,138,15,23,197,2,28,249,22,190,15,2, -58,23,195,2,28,248,22,144,7,195,248,22,141,15,195,194,27,248,22,183,7, -23,195,1,249,22,142,15,248,22,159,8,250,22,134,16,2,59,28,249,22,190, -15,2,60,23,201,2,23,199,1,250,22,134,16,2,61,23,202,1,2,35,80, -159,44,37,38,2,34,28,248,22,144,7,194,248,22,141,15,194,193,0,28,35, +92,92,93,42,41,36,34,86,94,28,28,248,22,135,15,23,195,2,10,28,248, +22,134,15,23,195,2,10,28,248,22,145,7,23,195,2,28,248,22,156,15,23, +195,2,10,248,22,157,15,23,195,2,11,12,250,22,128,10,2,32,2,33,23, +197,2,28,28,248,22,135,15,23,195,2,249,22,155,9,248,22,136,15,23,197, +2,2,34,249,22,155,9,247,22,167,8,2,34,27,28,248,22,145,7,23,196, +2,23,195,2,248,22,157,8,248,22,139,15,23,197,2,28,249,22,191,15,2, +58,23,195,2,28,248,22,145,7,195,248,22,142,15,195,194,27,248,22,184,7, +23,195,1,249,22,143,15,248,22,160,8,250,22,135,16,2,59,28,249,22,191, +15,2,60,23,201,2,23,199,1,250,22,135,16,2,61,23,202,1,2,35,80, +159,44,37,38,2,34,28,248,22,145,7,194,248,22,142,15,194,193,0,28,35, 114,120,34,94,92,92,92,92,92,92,92,92,91,63,93,92,92,92,92,85,78, -67,92,92,92,92,34,86,95,28,28,28,248,22,133,15,23,195,2,10,28,248, -22,144,7,23,195,2,28,248,22,155,15,23,195,2,10,248,22,156,15,23,195, -2,11,10,248,22,134,15,23,195,2,12,252,22,191,9,2,5,2,36,36,23, -199,2,23,200,2,28,28,28,248,22,133,15,23,196,2,10,28,248,22,144,7, -23,196,2,28,248,22,155,15,23,196,2,10,248,22,156,15,23,196,2,11,10, -248,22,134,15,23,196,2,12,252,22,191,9,2,5,2,36,37,23,199,2,23, -200,2,27,28,248,22,134,15,23,196,2,248,22,135,15,23,196,2,247,22,136, -15,86,95,28,28,248,22,157,15,23,196,2,10,249,22,154,9,247,22,136,15, -23,195,2,12,253,22,129,10,2,5,6,54,54,112,97,116,104,32,105,115,32, +67,92,92,92,92,34,86,95,28,28,28,248,22,134,15,23,195,2,10,28,248, +22,145,7,23,195,2,28,248,22,156,15,23,195,2,10,248,22,157,15,23,195, +2,11,10,248,22,135,15,23,195,2,12,252,22,128,10,2,5,2,36,36,23, +199,2,23,200,2,28,28,28,248,22,134,15,23,196,2,10,28,248,22,145,7, +23,196,2,28,248,22,156,15,23,196,2,10,248,22,157,15,23,196,2,11,10, +248,22,135,15,23,196,2,12,252,22,128,10,2,5,2,36,37,23,199,2,23, +200,2,27,28,248,22,135,15,23,196,2,248,22,136,15,23,196,2,247,22,137, +15,86,95,28,28,248,22,158,15,23,196,2,10,249,22,155,9,247,22,137,15, +23,195,2,12,253,22,130,10,2,5,6,54,54,112,97,116,104,32,105,115,32, 110,111,116,32,99,111,109,112,108,101,116,101,32,97,110,100,32,110,111,116,32, 116,104,101,32,112,108,97,116,102,111,114,109,39,115,32,99,111,110,118,101,110, 116,105,111,110,2,37,23,201,2,6,24,24,112,108,97,116,102,111,114,109,32, -99,111,110,118,101,110,116,105,111,110,32,116,121,112,101,247,22,136,15,28,249, -22,154,9,28,248,22,134,15,23,199,2,248,22,135,15,23,199,2,247,22,136, -15,23,195,2,12,253,22,129,10,2,5,6,37,37,103,105,118,101,110,32,112, +99,111,110,118,101,110,116,105,111,110,32,116,121,112,101,247,22,137,15,28,249, +22,155,9,28,248,22,135,15,23,199,2,248,22,136,15,23,199,2,247,22,137, +15,23,195,2,12,253,22,130,10,2,5,6,37,37,103,105,118,101,110,32,112, 97,116,104,115,32,117,115,101,32,100,105,102,102,101,114,101,110,116,32,99,111, 110,118,101,110,116,105,111,110,115,2,37,23,201,2,6,9,9,114,111,111,116, -32,112,97,116,104,23,202,2,27,27,248,22,161,15,28,248,22,157,15,23,199, -2,23,198,1,248,22,158,15,23,199,1,86,94,28,28,248,22,134,15,23,194, -2,10,28,248,22,133,15,23,194,2,10,28,248,22,144,7,23,194,2,28,248, -22,155,15,23,194,2,10,248,22,156,15,23,194,2,11,12,250,22,191,9,2, -32,2,33,23,196,2,28,28,248,22,134,15,23,194,2,249,22,154,9,248,22, -135,15,23,196,2,2,34,249,22,154,9,247,22,166,8,2,34,27,28,248,22, -144,7,23,195,2,23,194,2,248,22,156,8,248,22,138,15,23,196,2,28,249, -22,190,15,2,58,23,195,2,86,94,23,193,1,28,248,22,144,7,23,195,2, -248,22,141,15,23,195,1,193,27,248,22,183,7,23,195,1,249,22,142,15,248, -22,159,8,250,22,134,16,2,59,28,249,22,190,15,2,60,23,201,2,23,199, -1,250,22,134,16,2,61,23,202,1,2,35,80,159,47,37,38,2,34,28,248, -22,144,7,23,194,2,248,22,141,15,23,194,1,192,27,248,22,138,15,23,195, -2,28,249,22,154,9,23,197,2,64,117,110,105,120,28,249,22,141,8,23,195, -1,5,1,47,28,248,22,134,15,198,197,248,22,141,15,198,249,22,151,15,23, -200,1,249,22,142,15,249,22,144,8,248,22,138,15,23,201,1,37,23,199,1, -28,249,22,154,9,23,197,2,2,34,249,22,151,15,23,200,1,249,22,142,15, -28,249,22,190,15,0,27,35,114,120,34,94,92,92,92,92,92,92,92,92,91, -63,93,92,92,92,92,91,97,45,122,93,58,34,23,199,2,251,22,145,8,2, -38,250,22,144,8,23,204,2,40,41,5,1,92,249,22,144,8,23,203,1,42, -28,249,22,190,15,2,63,23,199,2,249,22,145,8,2,38,249,22,144,8,23, -201,1,40,28,249,22,190,15,2,63,23,199,2,249,22,145,8,2,38,249,22, -144,8,23,201,1,40,28,249,22,190,15,0,14,35,114,120,34,94,92,92,92, -92,92,92,92,92,34,23,199,2,249,22,145,8,5,4,85,78,67,92,249,22, -144,8,23,201,1,38,28,249,22,190,15,0,12,35,114,120,34,94,91,97,45, -122,93,58,34,23,199,2,249,22,145,8,250,22,144,8,23,202,2,36,37,249, -22,144,8,23,201,1,38,86,94,23,197,1,12,23,199,1,12,32,65,88,163, +32,112,97,116,104,23,202,2,27,27,248,22,162,15,28,248,22,158,15,23,199, +2,23,198,1,248,22,159,15,23,199,1,86,94,28,28,248,22,135,15,23,194, +2,10,28,248,22,134,15,23,194,2,10,28,248,22,145,7,23,194,2,28,248, +22,156,15,23,194,2,10,248,22,157,15,23,194,2,11,12,250,22,128,10,2, +32,2,33,23,196,2,28,28,248,22,135,15,23,194,2,249,22,155,9,248,22, +136,15,23,196,2,2,34,249,22,155,9,247,22,167,8,2,34,27,28,248,22, +145,7,23,195,2,23,194,2,248,22,157,8,248,22,139,15,23,196,2,28,249, +22,191,15,2,58,23,195,2,86,94,23,193,1,28,248,22,145,7,23,195,2, +248,22,142,15,23,195,1,193,27,248,22,184,7,23,195,1,249,22,143,15,248, +22,160,8,250,22,135,16,2,59,28,249,22,191,15,2,60,23,201,2,23,199, +1,250,22,135,16,2,61,23,202,1,2,35,80,159,47,37,38,2,34,28,248, +22,145,7,23,194,2,248,22,142,15,23,194,1,192,27,248,22,139,15,23,195, +2,28,249,22,155,9,23,197,2,64,117,110,105,120,28,249,22,142,8,23,195, +1,5,1,47,28,248,22,135,15,198,197,248,22,142,15,198,249,22,152,15,23, +200,1,249,22,143,15,249,22,145,8,248,22,139,15,23,201,1,37,23,199,1, +28,249,22,155,9,23,197,2,2,34,249,22,152,15,23,200,1,249,22,143,15, +28,249,22,191,15,0,27,35,114,120,34,94,92,92,92,92,92,92,92,92,91, +63,93,92,92,92,92,91,97,45,122,93,58,34,23,199,2,251,22,146,8,2, +38,250,22,145,8,23,204,2,40,41,5,1,92,249,22,145,8,23,203,1,42, +28,249,22,191,15,2,63,23,199,2,249,22,146,8,2,38,249,22,145,8,23, +201,1,40,28,249,22,191,15,2,63,23,199,2,249,22,146,8,2,38,249,22, +145,8,23,201,1,40,28,249,22,191,15,0,14,35,114,120,34,94,92,92,92, +92,92,92,92,92,34,23,199,2,249,22,146,8,5,4,85,78,67,92,249,22, +145,8,23,201,1,38,28,249,22,191,15,0,12,35,114,120,34,94,91,97,45, +122,93,58,34,23,199,2,249,22,146,8,250,22,145,8,23,202,2,36,37,249, +22,145,8,23,201,1,38,86,94,23,197,1,12,23,199,1,12,32,65,88,163, 8,36,39,53,11,70,102,111,117,110,100,45,101,120,101,99,222,33,68,32,66, -88,163,8,36,40,58,11,64,110,101,120,116,222,33,67,27,248,22,159,15,23, -196,2,28,249,22,156,9,23,195,2,23,197,1,11,28,248,22,155,15,23,194, -2,27,249,22,151,15,23,197,1,23,196,1,28,23,197,2,90,159,39,11,89, -161,39,36,11,248,22,154,15,23,197,2,86,95,23,195,1,23,194,1,27,28, -23,202,2,27,248,22,159,15,23,199,2,28,249,22,156,9,23,195,2,23,200, -2,11,28,248,22,155,15,23,194,2,250,2,65,23,205,2,23,206,2,249,22, -151,15,23,200,2,23,198,1,250,2,65,23,205,2,23,206,2,23,196,1,11, -28,23,193,2,192,86,94,23,193,1,27,28,248,22,133,15,23,196,2,27,249, -22,151,15,23,198,2,23,205,2,28,28,248,22,146,15,193,10,248,22,145,15, +88,163,8,36,40,58,11,64,110,101,120,116,222,33,67,27,248,22,160,15,23, +196,2,28,249,22,157,9,23,195,2,23,197,1,11,28,248,22,156,15,23,194, +2,27,249,22,152,15,23,197,1,23,196,1,28,23,197,2,90,159,39,11,89, +161,39,36,11,248,22,155,15,23,197,2,86,95,23,195,1,23,194,1,27,28, +23,202,2,27,248,22,160,15,23,199,2,28,249,22,157,9,23,195,2,23,200, +2,11,28,248,22,156,15,23,194,2,250,2,65,23,205,2,23,206,2,249,22, +152,15,23,200,2,23,198,1,250,2,65,23,205,2,23,206,2,23,196,1,11, +28,23,193,2,192,86,94,23,193,1,27,28,248,22,134,15,23,196,2,27,249, +22,152,15,23,198,2,23,205,2,28,28,248,22,147,15,193,10,248,22,146,15, 193,192,11,11,28,23,193,2,192,86,94,23,193,1,28,23,203,2,11,27,248, -22,159,15,23,200,2,28,249,22,156,9,23,195,2,23,201,1,11,28,248,22, -155,15,23,194,2,250,2,65,23,206,1,23,207,1,249,22,151,15,23,201,1, +22,160,15,23,200,2,28,249,22,157,9,23,195,2,23,201,1,11,28,248,22, +156,15,23,194,2,250,2,65,23,206,1,23,207,1,249,22,152,15,23,201,1, 23,198,1,250,2,65,205,206,195,192,86,94,23,194,1,28,23,196,2,90,159, -39,11,89,161,39,36,11,248,22,154,15,23,197,2,86,95,23,195,1,23,194, -1,27,28,23,201,2,27,248,22,159,15,23,199,2,28,249,22,156,9,23,195, -2,23,200,2,11,28,248,22,155,15,23,194,2,250,2,65,23,204,2,23,205, -2,249,22,151,15,23,200,2,23,198,1,250,2,65,23,204,2,23,205,2,23, -196,1,11,28,23,193,2,192,86,94,23,193,1,27,28,248,22,133,15,23,196, -2,27,249,22,151,15,23,198,2,23,204,2,28,28,248,22,146,15,193,10,248, -22,145,15,193,192,11,11,28,23,193,2,192,86,94,23,193,1,28,23,202,2, -11,27,248,22,159,15,23,200,2,28,249,22,156,9,23,195,2,23,201,1,11, -28,248,22,155,15,23,194,2,250,2,65,23,205,1,23,206,1,249,22,151,15, +39,11,89,161,39,36,11,248,22,155,15,23,197,2,86,95,23,195,1,23,194, +1,27,28,23,201,2,27,248,22,160,15,23,199,2,28,249,22,157,9,23,195, +2,23,200,2,11,28,248,22,156,15,23,194,2,250,2,65,23,204,2,23,205, +2,249,22,152,15,23,200,2,23,198,1,250,2,65,23,204,2,23,205,2,23, +196,1,11,28,23,193,2,192,86,94,23,193,1,27,28,248,22,134,15,23,196, +2,27,249,22,152,15,23,198,2,23,204,2,28,28,248,22,147,15,193,10,248, +22,146,15,193,192,11,11,28,23,193,2,192,86,94,23,193,1,28,23,202,2, +11,27,248,22,160,15,23,200,2,28,249,22,157,9,23,195,2,23,201,1,11, +28,248,22,156,15,23,194,2,250,2,65,23,205,1,23,206,1,249,22,152,15, 23,201,1,23,198,1,250,2,65,204,205,195,192,28,23,193,2,90,159,39,11, -89,161,39,36,11,248,22,154,15,23,199,2,86,95,23,195,1,23,194,1,27, +89,161,39,36,11,248,22,155,15,23,199,2,86,95,23,195,1,23,194,1,27, 28,23,198,2,251,2,66,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,133,15,195,27,249,22,151,15, -197,200,28,28,248,22,146,15,193,10,248,22,145,15,193,192,11,11,28,192,192, +23,193,2,192,86,94,23,193,1,27,28,248,22,134,15,195,27,249,22,152,15, +197,200,28,28,248,22,147,15,193,10,248,22,146,15,193,192,11,11,28,192,192, 28,198,11,251,2,66,198,203,201,202,194,32,69,88,163,8,36,40,58,11,2, -41,222,33,70,28,248,22,87,23,197,2,11,27,248,22,158,15,248,22,80,23, -199,2,27,249,22,151,15,23,196,1,23,197,2,28,248,22,145,15,23,194,2, +41,222,33,70,28,248,22,87,23,197,2,11,27,248,22,159,15,248,22,80,23, +199,2,27,249,22,152,15,23,196,1,23,197,2,28,248,22,146,15,23,194,2, 250,2,65,198,199,195,86,94,23,193,1,27,248,22,81,23,200,1,28,248,22, -87,23,194,2,11,27,248,22,158,15,248,22,80,23,196,2,27,249,22,151,15, -23,196,1,23,200,2,28,248,22,145,15,23,194,2,250,2,65,201,202,195,86, +87,23,194,2,11,27,248,22,159,15,248,22,80,23,196,2,27,249,22,152,15, +23,196,1,23,200,2,28,248,22,146,15,23,194,2,250,2,65,201,202,195,86, 94,23,193,1,27,248,22,81,23,197,1,28,248,22,87,23,194,2,11,27,248, -22,158,15,248,22,80,195,27,249,22,151,15,23,196,1,202,28,248,22,145,15, +22,159,15,248,22,80,195,27,249,22,152,15,23,196,1,202,28,248,22,146,15, 193,250,2,65,204,205,195,251,2,69,204,205,206,248,22,81,199,86,95,28,28, -248,22,133,15,23,195,2,10,28,248,22,144,7,23,195,2,28,248,22,155,15, -23,195,2,10,248,22,156,15,23,195,2,11,12,250,22,191,9,2,6,2,39, -23,197,2,28,28,23,195,2,28,28,248,22,133,15,23,196,2,10,28,248,22, -144,7,23,196,2,28,248,22,155,15,23,196,2,10,248,22,156,15,23,196,2, -11,248,22,155,15,23,196,2,11,10,12,250,22,191,9,2,6,6,45,45,40, +248,22,134,15,23,195,2,10,28,248,22,145,7,23,195,2,28,248,22,156,15, +23,195,2,10,248,22,157,15,23,195,2,11,12,250,22,128,10,2,6,2,39, +23,197,2,28,28,23,195,2,28,28,248,22,134,15,23,196,2,10,28,248,22, +145,7,23,196,2,28,248,22,156,15,23,196,2,10,248,22,157,15,23,196,2, +11,248,22,156,15,23,196,2,11,10,12,250,22,128,10,2,6,6,45,45,40, 111,114,47,99,32,35,102,32,40,97,110,100,47,99,32,112,97,116,104,45,115, 116,114,105,110,103,63,32,114,101,108,97,116,105,118,101,45,112,97,116,104,63, -41,41,23,198,2,28,28,248,22,155,15,23,195,2,90,159,39,11,89,161,39, -36,11,248,22,154,15,23,198,2,249,22,154,9,194,2,40,11,27,248,22,164, +41,41,23,198,2,28,28,248,22,156,15,23,195,2,90,159,39,11,89,161,39, +36,11,248,22,155,15,23,198,2,249,22,155,9,194,2,40,11,27,248,22,165, 8,6,4,4,80,65,84,72,27,28,23,194,2,249,80,158,40,41,23,196,1, -9,86,94,23,194,1,9,27,28,249,22,154,9,247,22,166,8,2,34,249,22, -79,248,22,142,15,5,1,46,23,196,1,23,194,1,28,248,22,87,23,194,2, -11,27,248,22,158,15,248,22,80,23,196,2,27,249,22,151,15,23,196,1,23, -201,2,28,248,22,145,15,23,194,2,250,2,65,202,203,195,86,94,23,193,1, -27,248,22,81,23,197,1,28,248,22,87,23,194,2,11,27,248,22,158,15,248, -22,80,23,196,2,27,249,22,151,15,23,196,1,23,204,2,28,248,22,145,15, +9,86,94,23,194,1,9,27,28,249,22,155,9,247,22,167,8,2,34,249,22, +79,248,22,143,15,5,1,46,23,196,1,23,194,1,28,248,22,87,23,194,2, +11,27,248,22,159,15,248,22,80,23,196,2,27,249,22,152,15,23,196,1,23, +201,2,28,248,22,146,15,23,194,2,250,2,65,202,203,195,86,94,23,193,1, +27,248,22,81,23,197,1,28,248,22,87,23,194,2,11,27,248,22,159,15,248, +22,80,23,196,2,27,249,22,152,15,23,196,1,23,204,2,28,248,22,146,15, 23,194,2,250,2,65,205,206,195,86,94,23,193,1,27,248,22,81,23,197,1, -28,248,22,87,23,194,2,11,27,248,22,158,15,248,22,80,195,27,249,22,151, -15,23,196,1,206,28,248,22,145,15,193,250,2,65,23,16,23,17,195,251,2, -69,23,16,23,17,23,18,248,22,81,199,27,248,22,158,15,23,196,1,28,248, -22,145,15,193,250,2,65,198,199,195,11,250,80,159,39,40,39,196,197,11,250, +28,248,22,87,23,194,2,11,27,248,22,159,15,248,22,80,195,27,249,22,152, +15,23,196,1,206,28,248,22,146,15,193,250,2,65,23,16,23,17,195,251,2, +69,23,16,23,17,23,18,248,22,81,199,27,248,22,159,15,23,196,1,28,248, +22,146,15,193,250,2,65,198,199,195,11,250,80,159,39,40,39,196,197,11,250, 80,159,39,40,39,196,11,11,32,74,88,163,8,36,39,57,11,2,41,222,33, -76,0,8,35,114,120,35,34,92,34,34,27,249,22,186,15,23,197,2,23,198, +76,0,8,35,114,120,35,34,92,34,34,27,249,22,187,15,23,197,2,23,198, 2,28,23,193,2,86,94,23,196,1,27,248,22,104,23,195,2,27,27,248,22, -113,23,197,1,27,249,22,186,15,23,201,2,23,196,2,28,23,193,2,86,94, +113,23,197,1,27,249,22,187,15,23,201,2,23,196,2,28,23,193,2,86,94, 23,194,1,27,248,22,104,23,195,2,27,250,2,74,23,203,2,23,204,1,248, -22,113,23,199,1,28,249,22,141,8,23,196,2,2,42,249,22,93,23,202,2, -194,249,22,79,248,22,142,15,28,249,22,154,9,247,22,166,8,2,34,250,22, -134,16,2,75,23,200,1,2,42,23,197,1,194,86,95,23,199,1,23,193,1, -28,249,22,141,8,23,196,2,2,42,249,22,93,23,200,2,9,249,22,79,248, -22,142,15,28,249,22,154,9,247,22,166,8,2,34,250,22,134,16,2,75,23, -200,1,2,42,23,197,1,9,28,249,22,141,8,23,196,2,2,42,249,22,93, -197,194,86,94,23,196,1,249,22,79,248,22,142,15,28,249,22,154,9,247,22, -166,8,2,34,250,22,134,16,2,75,23,200,1,2,42,23,197,1,194,86,94, -23,193,1,28,249,22,141,8,23,198,2,2,42,249,22,93,195,9,86,94,23, -194,1,249,22,79,248,22,142,15,28,249,22,154,9,247,22,166,8,2,34,250, -22,134,16,2,75,23,202,1,2,42,23,199,1,9,86,95,28,28,248,22,133, -8,194,10,248,22,144,7,194,12,250,22,191,9,2,7,6,21,21,40,111,114, +22,113,23,199,1,28,249,22,142,8,23,196,2,2,42,249,22,93,23,202,2, +194,249,22,79,248,22,143,15,28,249,22,155,9,247,22,167,8,2,34,250,22, +135,16,2,75,23,200,1,2,42,23,197,1,194,86,95,23,199,1,23,193,1, +28,249,22,142,8,23,196,2,2,42,249,22,93,23,200,2,9,249,22,79,248, +22,143,15,28,249,22,155,9,247,22,167,8,2,34,250,22,135,16,2,75,23, +200,1,2,42,23,197,1,9,28,249,22,142,8,23,196,2,2,42,249,22,93, +197,194,86,94,23,196,1,249,22,79,248,22,143,15,28,249,22,155,9,247,22, +167,8,2,34,250,22,135,16,2,75,23,200,1,2,42,23,197,1,194,86,94, +23,193,1,28,249,22,142,8,23,198,2,2,42,249,22,93,195,9,86,94,23, +194,1,249,22,79,248,22,143,15,28,249,22,155,9,247,22,167,8,2,34,250, +22,135,16,2,75,23,202,1,2,42,23,199,1,9,86,95,28,28,248,22,134, +8,194,10,248,22,145,7,194,12,250,22,128,10,2,7,6,21,21,40,111,114, 47,99,32,98,121,116,101,115,63,32,115,116,114,105,110,103,63,41,196,28,28, -248,22,88,195,249,22,4,22,133,15,196,11,12,250,22,191,9,2,7,6,14, +248,22,88,195,249,22,4,22,134,15,196,11,12,250,22,128,10,2,7,6,14, 14,40,108,105,115,116,111,102,32,112,97,116,104,63,41,197,250,2,74,197,195, -28,248,22,144,7,197,248,22,158,8,197,196,86,94,28,28,248,22,133,15,194, -10,28,248,22,144,7,194,28,248,22,155,15,194,10,248,22,156,15,194,11,12, -250,22,191,9,195,2,39,196,28,248,22,155,15,194,12,251,22,129,10,196,2, -43,2,37,197,86,94,28,28,248,22,133,15,194,10,28,248,22,144,7,194,28, -248,22,155,15,194,10,248,22,156,15,194,11,12,250,22,191,9,195,2,39,196, -28,248,22,155,15,194,12,251,22,129,10,196,2,43,2,37,197,86,94,86,94, -28,28,248,22,133,15,23,195,2,10,28,248,22,144,7,23,195,2,28,248,22, -155,15,23,195,2,10,248,22,156,15,23,195,2,11,12,250,22,191,9,195,2, -39,23,197,2,28,248,22,155,15,23,195,2,12,251,22,129,10,196,2,43,2, +28,248,22,145,7,197,248,22,159,8,197,196,86,94,28,28,248,22,134,15,194, +10,28,248,22,145,7,194,28,248,22,156,15,194,10,248,22,157,15,194,11,12, +250,22,128,10,195,2,39,196,28,248,22,156,15,194,12,251,22,130,10,196,2, +43,2,37,197,86,94,28,28,248,22,134,15,194,10,28,248,22,145,7,194,28, +248,22,156,15,194,10,248,22,157,15,194,11,12,250,22,128,10,195,2,39,196, +28,248,22,156,15,194,12,251,22,130,10,196,2,43,2,37,197,86,94,86,94, +28,28,248,22,134,15,23,195,2,10,28,248,22,145,7,23,195,2,28,248,22, +156,15,23,195,2,10,248,22,157,15,23,195,2,11,12,250,22,128,10,195,2, +39,23,197,2,28,248,22,156,15,23,195,2,12,251,22,130,10,196,2,43,2, 37,23,198,1,249,22,3,88,163,8,36,37,47,11,9,223,2,33,79,196,28, -28,248,22,0,194,249,22,50,195,37,11,12,250,22,191,9,195,2,44,196,86, -94,28,28,248,22,133,15,193,10,28,248,22,144,7,193,28,248,22,155,15,193, -10,248,22,156,15,193,11,12,250,22,191,9,2,11,2,39,195,28,248,22,155, -15,193,12,251,22,129,10,2,11,2,43,2,37,196,86,95,86,94,86,94,28, -28,248,22,133,15,195,10,28,248,22,144,7,195,28,248,22,155,15,195,10,248, -22,156,15,195,11,12,250,22,191,9,2,11,2,39,197,28,248,22,155,15,195, -12,251,22,129,10,2,11,2,43,2,37,198,249,22,3,32,0,88,163,8,36, +28,248,22,0,194,249,22,50,195,37,11,12,250,22,128,10,195,2,44,196,86, +94,28,28,248,22,134,15,193,10,28,248,22,145,7,193,28,248,22,156,15,193, +10,248,22,157,15,193,11,12,250,22,128,10,2,11,2,39,195,28,248,22,156, +15,193,12,251,22,130,10,2,11,2,43,2,37,196,86,95,86,94,86,94,28, +28,248,22,134,15,195,10,28,248,22,145,7,195,28,248,22,156,15,195,10,248, +22,157,15,195,11,12,250,22,128,10,2,11,2,39,197,28,248,22,156,15,195, +12,251,22,130,10,2,11,2,43,2,37,198,249,22,3,32,0,88,163,8,36, 37,46,11,9,222,33,82,197,28,28,248,22,0,194,249,22,50,195,37,11,12, -250,22,191,9,2,11,2,44,196,251,80,158,40,46,197,198,199,11,86,94,28, -28,248,22,133,15,193,10,28,248,22,144,7,193,28,248,22,155,15,193,10,248, -22,156,15,193,11,12,250,22,191,9,2,13,2,39,195,28,248,22,155,15,193, -12,251,22,129,10,2,13,2,43,2,37,196,86,96,86,94,28,28,248,22,133, -15,195,10,28,248,22,144,7,195,28,248,22,155,15,195,10,248,22,156,15,195, -11,12,250,22,191,9,2,13,2,39,197,28,248,22,155,15,195,12,251,22,129, -10,2,13,2,43,2,37,198,86,94,86,94,28,28,248,22,133,15,196,10,28, -248,22,144,7,196,28,248,22,155,15,196,10,248,22,156,15,196,11,12,250,22, -191,9,2,13,2,39,198,28,248,22,155,15,196,12,251,22,129,10,2,13,2, +250,22,128,10,2,11,2,44,196,251,80,158,40,46,197,198,199,11,86,94,28, +28,248,22,134,15,193,10,28,248,22,145,7,193,28,248,22,156,15,193,10,248, +22,157,15,193,11,12,250,22,128,10,2,13,2,39,195,28,248,22,156,15,193, +12,251,22,130,10,2,13,2,43,2,37,196,86,96,86,94,28,28,248,22,134, +15,195,10,28,248,22,145,7,195,28,248,22,156,15,195,10,248,22,157,15,195, +11,12,250,22,128,10,2,13,2,39,197,28,248,22,156,15,195,12,251,22,130, +10,2,13,2,43,2,37,198,86,94,86,94,28,28,248,22,134,15,196,10,28, +248,22,145,7,196,28,248,22,156,15,196,10,248,22,157,15,196,11,12,250,22, +128,10,2,13,2,39,198,28,248,22,156,15,196,12,251,22,130,10,2,13,2, 43,2,37,199,249,22,3,32,0,88,163,8,36,37,46,11,9,222,33,84,198, -28,28,248,22,0,194,249,22,50,195,37,11,12,250,22,191,9,2,13,2,44, +28,28,248,22,0,194,249,22,50,195,37,11,12,250,22,128,10,2,13,2,44, 196,251,80,158,40,46,197,199,200,198,0,6,45,105,110,102,46,48,27,248,22, -173,15,2,45,27,28,248,22,156,15,23,195,2,193,20,13,159,80,159,38,53, -37,250,80,159,41,54,37,249,22,33,11,80,159,43,53,37,22,174,15,248,22, -173,15,68,111,114,105,103,45,100,105,114,27,248,22,173,15,2,46,250,80,159, -42,40,39,23,196,1,23,198,1,11,28,192,250,22,151,15,195,6,6,6,99, +174,15,2,45,27,28,248,22,157,15,23,195,2,193,20,13,159,80,159,38,53, +37,250,80,159,41,54,37,249,22,33,11,80,159,43,53,37,22,175,15,248,22, +174,15,68,111,114,105,103,45,100,105,114,27,248,22,174,15,2,46,250,80,159, +42,40,39,23,196,1,23,198,1,11,28,192,250,22,152,15,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, -28,248,22,190,11,196,27,247,22,150,10,28,249,22,142,10,23,195,2,2,47, -251,22,146,10,23,197,1,2,47,250,22,128,8,2,48,28,23,202,1,80,159, -46,48,38,80,159,46,51,38,248,22,186,11,204,247,22,29,12,12,28,248,22, -190,11,196,248,193,247,22,140,2,195,2,86,86,95,28,248,22,190,11,197,27, -247,22,150,10,28,249,22,142,10,23,195,2,2,47,251,22,146,10,23,197,1, -2,47,250,22,128,8,2,48,28,202,80,159,47,48,38,80,159,47,51,38,248, -22,186,11,205,247,22,29,12,12,28,192,28,194,86,94,20,18,159,11,80,158, +28,248,22,191,11,196,27,247,22,151,10,28,249,22,143,10,23,195,2,2,47, +251,22,147,10,23,197,1,2,47,250,22,129,8,2,48,28,23,202,1,80,159, +46,48,38,80,159,46,51,38,248,22,187,11,204,247,22,29,12,12,28,248,22, +191,11,196,248,193,247,22,140,2,195,2,86,86,95,28,248,22,191,11,197,27, +247,22,151,10,28,249,22,143,10,23,195,2,2,47,251,22,147,10,23,197,1, +2,47,250,22,129,8,2,48,28,202,80,159,47,48,38,80,159,47,51,38,248, +22,187,11,205,247,22,29,12,12,28,192,28,194,86,94,20,18,159,11,80,158, 39,49,247,22,140,2,20,18,159,11,80,158,39,50,192,86,94,20,18,159,11, 80,158,39,55,247,22,140,2,20,18,159,11,80,158,39,56,192,12,28,248,22, -190,11,197,248,194,247,22,140,2,196,20,20,94,248,22,139,6,23,194,2,28, -248,22,139,7,248,22,139,6,23,195,1,12,248,22,187,9,6,30,30,101,120, +191,11,197,248,194,247,22,140,2,196,20,20,94,248,22,140,6,23,194,2,28, +248,22,140,7,248,22,140,6,23,195,1,12,248,22,188,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,191,5,193,28,248,22,88,23,194,2,28,28, -249,22,191,3,38,248,22,92,23,196,2,10,249,22,191,3,39,248,22,92,23, -196,2,28,28,248,22,144,7,248,22,80,23,195,2,10,249,22,154,9,64,114, -111,111,116,248,22,177,17,23,196,2,28,27,248,22,104,194,28,248,22,133,15, -23,194,2,10,28,248,22,144,7,23,194,2,28,248,22,155,15,23,194,2,10, -248,22,156,15,23,194,1,11,27,248,22,87,248,22,106,195,28,192,192,248,22, -135,16,248,22,113,195,11,11,11,11,250,22,158,2,196,197,249,22,79,197,200, -28,28,248,22,87,248,22,106,23,197,2,10,249,22,190,15,248,22,113,23,198, -2,247,22,162,8,27,248,22,160,15,249,22,158,15,248,22,104,23,200,2,23, +114,101,115,115,105,111,110,248,22,128,6,193,28,248,22,88,23,194,2,28,28, +249,22,128,4,38,248,22,92,23,196,2,10,249,22,128,4,39,248,22,92,23, +196,2,28,28,248,22,145,7,248,22,80,23,195,2,10,249,22,155,9,64,114, +111,111,116,248,22,178,17,23,196,2,28,27,248,22,104,194,28,248,22,134,15, +23,194,2,10,28,248,22,145,7,23,194,2,28,248,22,156,15,23,194,2,10, +248,22,157,15,23,194,1,11,27,248,22,87,248,22,106,195,28,192,192,248,22, +136,16,248,22,113,195,11,11,11,11,250,22,158,2,196,197,249,22,79,197,200, +28,28,248,22,87,248,22,106,23,197,2,10,249,22,191,15,248,22,113,23,198, +2,247,22,163,8,27,248,22,161,15,249,22,159,15,248,22,104,23,200,2,23, 198,1,28,248,22,64,248,22,80,23,198,2,86,94,23,196,1,86,94,28,250, 22,160,2,196,11,11,12,250,22,158,2,196,11,9,249,22,164,2,195,88,163, -8,36,38,50,11,9,224,3,2,33,94,27,248,22,67,248,22,177,17,23,199, +8,36,38,50,11,9,224,3,2,33,94,27,248,22,67,248,22,178,17,23,199, 1,250,22,158,2,23,198,2,23,196,2,249,22,79,248,22,131,2,23,200,1, 250,22,160,2,23,203,1,23,201,1,9,12,250,22,158,2,195,196,248,22,94, 198,20,13,159,80,159,37,58,37,88,163,36,37,54,8,240,0,144,0,0,9, -225,1,0,2,33,88,27,250,22,168,15,28,23,197,2,80,159,41,48,38,80, +225,1,0,2,33,88,27,250,22,169,15,28,23,197,2,80,159,41,48,38,80, 159,41,51,38,11,32,0,88,163,8,36,36,41,11,9,222,33,89,28,249,22, -129,4,23,195,2,28,23,196,2,80,158,40,50,80,158,40,56,20,13,159,80, +130,4,23,195,2,28,23,196,2,80,158,40,50,80,158,40,56,20,13,159,80, 159,38,58,37,20,20,94,88,163,36,37,55,8,240,0,240,24,0,9,226,2, 1,3,0,33,90,23,196,1,20,13,159,80,159,38,53,37,26,29,80,159,8, -31,54,37,249,22,33,11,80,159,8,33,53,37,22,167,14,10,22,168,14,10, -22,169,14,10,22,172,14,10,22,171,14,10,22,173,14,10,22,170,14,10,22, -174,14,10,22,175,14,10,22,176,14,10,22,177,14,10,22,178,14,10,22,179, -14,11,22,165,14,11,27,249,22,182,5,28,196,80,159,41,48,38,80,159,41, +31,54,37,249,22,33,11,80,159,8,33,53,37,22,168,14,10,22,169,14,10, +22,170,14,10,22,173,14,10,22,172,14,10,22,174,14,10,22,171,14,10,22, +175,14,10,22,176,14,10,22,177,14,10,22,178,14,10,22,179,14,10,22,180, +14,11,22,166,14,11,27,249,22,183,5,28,196,80,159,41,48,38,80,159,41, 51,38,66,98,105,110,97,114,121,27,250,22,46,22,37,88,163,8,36,36,44, 11,9,223,4,33,91,20,20,94,88,163,36,36,43,11,9,223,4,33,92,23, 197,1,86,94,28,28,248,22,88,23,194,2,249,22,4,32,0,88,163,8,36, -37,45,11,9,222,33,93,23,195,2,11,12,248,22,187,9,6,18,18,105,108, +37,45,11,9,222,33,93,23,195,2,11,12,248,22,188,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,140,2, -27,90,159,39,11,89,161,39,36,11,248,22,154,15,28,201,80,159,46,48,38, +27,90,159,39,11,89,161,39,36,11,248,22,155,15,28,201,80,159,46,48,38, 80,159,46,51,38,192,86,96,249,22,3,20,20,94,88,163,8,36,37,54,11, 9,224,2,3,33,95,23,195,1,23,197,1,249,22,164,2,195,88,163,8,36, 38,48,11,9,223,3,33,96,28,197,86,94,20,18,159,11,80,158,42,49,193, 20,18,159,11,80,158,42,50,196,86,94,20,18,159,11,80,158,42,55,193,20, 18,159,11,80,158,42,56,196,193,28,193,80,158,38,49,80,158,38,55,248,22, 8,88,163,8,32,37,8,40,8,240,0,240,94,0,9,224,1,2,33,97,0, -7,35,114,120,34,47,43,34,28,248,22,144,7,23,195,2,27,249,22,188,15, -2,99,196,28,192,28,249,22,191,3,248,22,103,195,248,22,181,3,248,22,147, -7,198,249,22,7,250,22,166,7,199,36,248,22,103,198,197,249,22,7,250,22, -166,7,199,36,248,22,103,198,249,22,79,249,22,166,7,200,248,22,105,199,199, -249,22,7,196,197,90,159,39,11,89,161,39,36,11,248,22,154,15,23,198,1, -86,94,23,195,1,28,249,22,154,9,23,195,2,2,40,249,22,7,195,199,27, -249,22,79,23,197,1,23,201,1,28,248,22,144,7,23,195,2,27,249,22,188, -15,2,99,196,28,192,28,249,22,191,3,248,22,103,195,248,22,181,3,248,22, -147,7,198,249,22,7,250,22,166,7,199,36,248,22,103,198,195,249,22,7,250, -22,166,7,199,36,248,22,103,198,249,22,79,249,22,166,7,200,248,22,105,199, -197,249,22,7,196,195,90,159,39,11,89,161,39,36,11,248,22,154,15,23,198, -1,28,249,22,154,9,194,2,40,249,22,7,195,197,249,80,159,45,59,39,194, +7,35,114,120,34,47,43,34,28,248,22,145,7,23,195,2,27,249,22,189,15, +2,99,196,28,192,28,249,22,128,4,248,22,103,195,248,22,182,3,248,22,148, +7,198,249,22,7,250,22,167,7,199,36,248,22,103,198,197,249,22,7,250,22, +167,7,199,36,248,22,103,198,249,22,79,249,22,167,7,200,248,22,105,199,199, +249,22,7,196,197,90,159,39,11,89,161,39,36,11,248,22,155,15,23,198,1, +86,94,23,195,1,28,249,22,155,9,23,195,2,2,40,249,22,7,195,199,27, +249,22,79,23,197,1,23,201,1,28,248,22,145,7,23,195,2,27,249,22,189, +15,2,99,196,28,192,28,249,22,128,4,248,22,103,195,248,22,182,3,248,22, +148,7,198,249,22,7,250,22,167,7,199,36,248,22,103,198,195,249,22,7,250, +22,167,7,199,36,248,22,103,198,249,22,79,249,22,167,7,200,248,22,105,199, +197,249,22,7,196,195,90,159,39,11,89,161,39,36,11,248,22,155,15,23,198, +1,28,249,22,155,9,194,2,40,249,22,7,195,197,249,80,159,45,59,39,194, 249,22,79,197,199,32,101,88,163,36,43,8,27,11,65,99,108,111,111,112,222, 33,110,32,102,88,163,8,36,37,47,11,2,41,222,33,105,32,103,88,163,36, -37,43,11,69,116,111,45,115,116,114,105,110,103,222,33,104,28,248,22,133,15, -193,248,22,137,15,193,192,28,248,22,87,248,22,81,23,195,2,248,22,89,248, -2,103,248,22,177,17,23,196,1,250,22,90,248,2,103,248,22,177,17,23,198, -2,2,50,248,2,102,248,22,178,17,23,198,1,249,22,128,8,2,51,194,32, +37,43,11,69,116,111,45,115,116,114,105,110,103,222,33,104,28,248,22,134,15, +193,248,22,138,15,193,192,28,248,22,87,248,22,81,23,195,2,248,22,89,248, +2,103,248,22,178,17,23,196,1,250,22,90,248,2,103,248,22,178,17,23,198, +2,2,50,248,2,102,248,22,179,17,23,198,1,249,22,129,8,2,51,194,32, 107,88,163,36,38,48,11,66,102,105,108,116,101,114,222,33,108,28,248,22,87, -23,195,2,9,28,248,23,194,2,248,22,80,23,196,2,249,22,79,248,22,177, -17,23,197,2,249,2,107,23,197,1,248,22,178,17,23,199,1,249,2,107,194, -248,22,178,17,196,249,22,128,8,2,51,248,22,134,2,23,196,1,28,248,22, -87,23,199,2,86,94,23,198,1,28,23,199,2,28,196,249,22,151,15,200,198, -198,27,28,248,22,87,23,197,2,2,49,249,22,1,22,167,7,248,2,102,23, -199,2,248,23,198,1,251,22,128,8,6,70,70,99,111,108,108,101,99,116,105, +23,195,2,9,28,248,23,194,2,248,22,80,23,196,2,249,22,79,248,22,178, +17,23,197,2,249,2,107,23,197,1,248,22,179,17,23,199,1,249,2,107,194, +248,22,179,17,196,249,22,129,8,2,51,248,22,134,2,23,196,1,28,248,22, +87,23,199,2,86,94,23,198,1,28,23,199,2,28,196,249,22,152,15,200,198, +198,27,28,248,22,87,23,197,2,2,49,249,22,1,22,168,7,248,2,102,23, +199,2,248,23,198,1,251,22,129,8,6,70,70,99,111,108,108,101,99,116,105, 111,110,32,110,111,116,32,102,111,117,110,100,10,32,32,99,111,108,108,101,99, 116,105,111,110,58,32,126,115,10,32,32,105,110,32,99,111,108,108,101,99,116, 105,111,110,32,100,105,114,101,99,116,111,114,105,101,115,58,126,97,126,97,28, -248,22,87,23,202,1,248,2,103,23,201,1,250,22,167,7,248,2,103,23,204, -1,2,50,23,201,2,249,22,1,22,167,7,249,22,2,32,0,88,163,8,36, -37,44,11,9,222,33,106,249,2,107,22,133,15,23,205,2,28,249,22,5,22, -133,2,23,201,2,250,22,128,8,6,49,49,10,32,32,32,115,117,98,45,99, +248,22,87,23,202,1,248,2,103,23,201,1,250,22,168,7,248,2,103,23,204, +1,2,50,23,201,2,249,22,1,22,168,7,249,22,2,32,0,88,163,8,36, +37,44,11,9,222,33,106,249,2,107,22,134,15,23,205,2,28,249,22,5,22, +133,2,23,201,2,250,22,129,8,6,49,49,10,32,32,32,115,117,98,45,99, 111,108,108,101,99,116,105,111,110,58,32,126,115,10,32,32,105,110,32,112,97, 114,101,110,116,32,100,105,114,101,99,116,111,114,105,101,115,58,126,97,23,201, -1,249,22,1,22,167,7,249,22,2,32,0,88,163,8,36,37,45,11,9,222, +1,249,22,1,22,168,7,249,22,2,32,0,88,163,8,36,37,45,11,9,222, 33,109,249,2,107,22,133,2,23,208,1,86,95,23,199,1,23,198,1,2,49, -27,248,22,80,23,200,2,27,28,248,22,133,15,23,195,2,249,22,151,15,23, -196,1,23,198,2,248,22,134,2,23,195,1,28,28,248,22,133,15,248,22,80, -23,202,2,248,22,146,15,23,194,2,10,27,250,22,1,22,151,15,23,197,1, -23,201,2,28,28,248,22,87,23,199,2,10,248,22,146,15,23,194,2,28,23, -200,2,28,28,248,22,145,15,249,22,151,15,195,202,10,27,28,248,22,133,15, -201,248,22,137,15,201,200,19,248,22,147,7,23,195,2,27,28,249,22,131,4, -23,196,4,40,28,249,22,150,7,6,4,4,46,114,107,116,249,22,166,7,23, -199,2,249,22,183,3,23,200,4,40,249,22,167,7,250,22,166,7,23,200,1, -36,249,22,183,3,23,201,4,40,6,3,3,46,115,115,86,95,23,195,1,23, -194,1,11,11,28,23,193,2,248,22,145,15,249,22,151,15,198,23,196,1,11, -2,28,199,249,22,151,15,194,201,192,254,2,101,202,203,204,205,206,248,22,81, -23,16,28,23,16,23,16,199,28,199,249,22,151,15,194,201,192,254,2,101,202, +27,248,22,80,23,200,2,27,28,248,22,134,15,23,195,2,249,22,152,15,23, +196,1,23,198,2,248,22,134,2,23,195,1,28,28,248,22,134,15,248,22,80, +23,202,2,248,22,147,15,23,194,2,10,27,250,22,1,22,152,15,23,197,1, +23,201,2,28,28,248,22,87,23,199,2,10,248,22,147,15,23,194,2,28,23, +200,2,28,28,248,22,146,15,249,22,152,15,195,202,10,27,28,248,22,134,15, +201,248,22,138,15,201,200,19,248,22,148,7,23,195,2,27,28,249,22,132,4, +23,196,4,40,28,249,22,151,7,6,4,4,46,114,107,116,249,22,167,7,23, +199,2,249,22,184,3,23,200,4,40,249,22,168,7,250,22,167,7,23,200,1, +36,249,22,184,3,23,201,4,40,6,3,3,46,115,115,86,95,23,195,1,23, +194,1,11,11,28,23,193,2,248,22,146,15,249,22,152,15,198,23,196,1,11, +2,28,199,249,22,152,15,194,201,192,254,2,101,202,203,204,205,206,248,22,81, +23,16,28,23,16,23,16,199,28,199,249,22,152,15,194,201,192,254,2,101,202, 203,204,205,206,248,22,81,23,16,23,16,254,2,101,201,202,203,204,205,248,22, 81,23,15,23,15,90,159,38,11,89,161,38,36,11,249,80,159,40,59,39,23, -199,1,23,200,1,27,248,22,67,28,248,22,133,15,195,248,22,137,15,195,194, -27,247,22,179,15,27,250,22,93,28,23,197,2,28,247,22,178,15,27,248,80, +199,1,23,200,1,27,248,22,67,28,248,22,134,15,195,248,22,138,15,195,194, +27,247,22,180,15,27,250,22,93,28,23,197,2,28,247,22,179,15,27,248,80, 159,46,57,39,10,27,250,22,160,2,23,197,2,23,203,2,11,28,23,193,2, 192,86,94,23,193,1,250,22,160,2,23,197,1,11,9,9,9,28,23,197,1, 28,80,159,44,51,38,27,248,80,159,46,57,39,11,27,250,22,160,2,23,197, 2,23,203,1,11,28,23,193,2,192,86,94,23,193,1,250,22,160,2,23,197, -1,11,9,86,94,23,198,1,9,9,247,22,175,15,254,2,101,199,202,203,205, -23,16,199,11,86,95,28,28,248,22,134,15,23,194,2,10,28,248,22,133,15, -23,194,2,10,28,248,22,144,7,23,194,2,28,248,22,155,15,23,194,2,10, -248,22,156,15,23,194,2,11,12,252,22,191,9,23,200,2,2,33,36,23,198, -2,23,199,2,28,28,248,22,144,7,23,195,2,10,248,22,133,8,23,195,2, -86,94,23,194,1,12,252,22,191,9,23,200,2,2,52,37,23,198,2,23,199, -1,90,159,39,11,89,161,39,36,11,248,22,154,15,23,197,2,86,94,23,195, -1,86,94,28,192,12,250,22,130,10,23,201,1,2,53,23,199,1,249,22,7, -194,195,90,159,38,11,89,161,38,36,11,86,95,28,28,248,22,134,15,23,196, -2,10,28,248,22,133,15,23,196,2,10,28,248,22,144,7,23,196,2,28,248, -22,155,15,23,196,2,10,248,22,156,15,23,196,2,11,12,252,22,191,9,2, -27,2,33,36,23,200,2,23,201,2,28,28,248,22,144,7,23,197,2,10,248, -22,133,8,23,197,2,12,252,22,191,9,2,27,2,52,37,23,200,2,23,201, -2,90,159,39,11,89,161,39,36,11,248,22,154,15,23,199,2,86,94,23,195, -1,86,94,28,192,12,250,22,130,10,2,27,2,53,23,201,2,249,22,7,194, -195,27,249,22,143,15,250,22,133,16,0,20,35,114,120,35,34,40,63,58,91, -46,93,91,94,46,93,42,124,41,36,34,248,22,139,15,23,201,1,28,248,22, -144,7,23,203,2,249,22,159,8,23,204,1,8,63,23,202,1,28,248,22,134, -15,23,199,2,248,22,135,15,23,199,1,86,94,23,198,1,247,22,136,15,28, -248,22,133,15,194,249,22,151,15,195,194,192,90,159,38,11,89,161,38,36,11, -86,95,28,28,248,22,134,15,23,196,2,10,28,248,22,133,15,23,196,2,10, -28,248,22,144,7,23,196,2,28,248,22,155,15,23,196,2,10,248,22,156,15, -23,196,2,11,12,252,22,191,9,2,28,2,33,36,23,200,2,23,201,2,28, -28,248,22,144,7,23,197,2,10,248,22,133,8,23,197,2,12,252,22,191,9, +1,11,9,86,94,23,198,1,9,9,247,22,176,15,254,2,101,199,202,203,205, +23,16,199,11,86,95,28,28,248,22,135,15,23,194,2,10,28,248,22,134,15, +23,194,2,10,28,248,22,145,7,23,194,2,28,248,22,156,15,23,194,2,10, +248,22,157,15,23,194,2,11,12,252,22,128,10,23,200,2,2,33,36,23,198, +2,23,199,2,28,28,248,22,145,7,23,195,2,10,248,22,134,8,23,195,2, +86,94,23,194,1,12,252,22,128,10,23,200,2,2,52,37,23,198,2,23,199, +1,90,159,39,11,89,161,39,36,11,248,22,155,15,23,197,2,86,94,23,195, +1,86,94,28,192,12,250,22,131,10,23,201,1,2,53,23,199,1,249,22,7, +194,195,90,159,38,11,89,161,38,36,11,86,95,28,28,248,22,135,15,23,196, +2,10,28,248,22,134,15,23,196,2,10,28,248,22,145,7,23,196,2,28,248, +22,156,15,23,196,2,10,248,22,157,15,23,196,2,11,12,252,22,128,10,2, +27,2,33,36,23,200,2,23,201,2,28,28,248,22,145,7,23,197,2,10,248, +22,134,8,23,197,2,12,252,22,128,10,2,27,2,52,37,23,200,2,23,201, +2,90,159,39,11,89,161,39,36,11,248,22,155,15,23,199,2,86,94,23,195, +1,86,94,28,192,12,250,22,131,10,2,27,2,53,23,201,2,249,22,7,194, +195,27,249,22,144,15,250,22,134,16,0,20,35,114,120,35,34,40,63,58,91, +46,93,91,94,46,93,42,124,41,36,34,248,22,140,15,23,201,1,28,248,22, +145,7,23,203,2,249,22,160,8,23,204,1,8,63,23,202,1,28,248,22,135, +15,23,199,2,248,22,136,15,23,199,1,86,94,23,198,1,247,22,137,15,28, +248,22,134,15,194,249,22,152,15,195,194,192,90,159,38,11,89,161,38,36,11, +86,95,28,28,248,22,135,15,23,196,2,10,28,248,22,134,15,23,196,2,10, +28,248,22,145,7,23,196,2,28,248,22,156,15,23,196,2,10,248,22,157,15, +23,196,2,11,12,252,22,128,10,2,28,2,33,36,23,200,2,23,201,2,28, +28,248,22,145,7,23,197,2,10,248,22,134,8,23,197,2,12,252,22,128,10, 2,28,2,52,37,23,200,2,23,201,2,90,159,39,11,89,161,39,36,11,248, -22,154,15,23,199,2,86,94,23,195,1,86,94,28,192,12,250,22,130,10,2, -28,2,53,23,201,2,249,22,7,194,195,27,249,22,143,15,249,22,145,8,250, -22,134,16,0,9,35,114,120,35,34,91,46,93,34,248,22,139,15,23,203,1, -6,1,1,95,28,248,22,144,7,23,202,2,249,22,159,8,23,203,1,8,63, -23,201,1,28,248,22,134,15,23,199,2,248,22,135,15,23,199,1,86,94,23, -198,1,247,22,136,15,28,248,22,133,15,194,249,22,151,15,195,194,192,249,247, -22,171,5,194,11,249,247,22,171,5,194,11,28,248,22,87,23,195,2,9,27, -248,22,80,23,196,2,27,28,248,22,157,15,23,195,2,23,194,1,28,248,22, -156,15,23,195,2,249,22,158,15,23,196,1,250,80,159,43,40,39,248,22,173, -15,2,46,11,10,250,80,159,41,40,39,248,22,173,15,2,46,23,197,1,10, -28,23,193,2,249,22,79,248,22,160,15,249,22,158,15,23,198,1,247,22,174, +22,155,15,23,199,2,86,94,23,195,1,86,94,28,192,12,250,22,131,10,2, +28,2,53,23,201,2,249,22,7,194,195,27,249,22,144,15,249,22,146,8,250, +22,135,16,0,9,35,114,120,35,34,91,46,93,34,248,22,140,15,23,203,1, +6,1,1,95,28,248,22,145,7,23,202,2,249,22,160,8,23,203,1,8,63, +23,201,1,28,248,22,135,15,23,199,2,248,22,136,15,23,199,1,86,94,23, +198,1,247,22,137,15,28,248,22,134,15,194,249,22,152,15,195,194,192,249,247, +22,172,5,194,11,249,247,22,172,5,194,11,28,248,22,87,23,195,2,9,27, +248,22,80,23,196,2,27,28,248,22,158,15,23,195,2,23,194,1,28,248,22, +157,15,23,195,2,249,22,159,15,23,196,1,250,80,159,43,40,39,248,22,174, +15,2,46,11,10,250,80,159,41,40,39,248,22,174,15,2,46,23,197,1,10, +28,23,193,2,249,22,79,248,22,161,15,249,22,159,15,23,198,1,247,22,175, 15,248,80,159,41,8,30,39,248,22,81,23,200,1,248,80,159,39,8,30,39, 248,22,81,197,28,248,22,87,23,195,2,9,27,248,22,80,23,196,2,27,28, -248,22,157,15,23,195,2,23,194,1,28,248,22,156,15,23,195,2,249,22,158, -15,23,196,1,250,80,159,43,40,39,248,22,173,15,2,46,11,10,250,80,159, -41,40,39,248,22,173,15,2,46,23,197,1,10,28,23,193,2,249,22,79,248, -22,160,15,249,22,158,15,23,198,1,247,22,174,15,248,80,159,41,8,31,39, +248,22,158,15,23,195,2,23,194,1,28,248,22,157,15,23,195,2,249,22,159, +15,23,196,1,250,80,159,43,40,39,248,22,174,15,2,46,11,10,250,80,159, +41,40,39,248,22,174,15,2,46,23,197,1,10,28,23,193,2,249,22,79,248, +22,161,15,249,22,159,15,23,198,1,247,22,175,15,248,80,159,41,8,31,39, 248,22,81,23,200,1,248,80,159,39,8,31,39,248,22,81,197,28,248,22,87, -23,195,2,9,27,248,22,80,23,196,2,27,28,248,22,157,15,23,195,2,23, -194,1,28,248,22,156,15,23,195,2,249,22,158,15,23,196,1,250,80,159,43, -40,39,248,22,173,15,2,46,11,10,250,80,159,41,40,39,248,22,173,15,2, -46,23,197,1,10,28,23,193,2,249,22,79,248,22,160,15,249,22,158,15,23, -198,1,247,22,174,15,27,248,22,81,23,200,1,28,248,22,87,23,194,2,9, -27,248,22,80,23,195,2,27,28,248,22,157,15,23,195,2,23,194,1,28,248, -22,156,15,23,195,2,249,22,158,15,23,196,1,250,80,159,48,40,39,248,22, -173,15,2,46,11,10,250,80,159,46,40,39,248,22,173,15,2,46,23,197,1, -10,28,23,193,2,249,22,79,248,22,160,15,249,22,158,15,23,198,1,247,22, -174,15,248,80,159,46,8,32,39,248,22,81,23,199,1,86,94,23,193,1,248, +23,195,2,9,27,248,22,80,23,196,2,27,28,248,22,158,15,23,195,2,23, +194,1,28,248,22,157,15,23,195,2,249,22,159,15,23,196,1,250,80,159,43, +40,39,248,22,174,15,2,46,11,10,250,80,159,41,40,39,248,22,174,15,2, +46,23,197,1,10,28,23,193,2,249,22,79,248,22,161,15,249,22,159,15,23, +198,1,247,22,175,15,27,248,22,81,23,200,1,28,248,22,87,23,194,2,9, +27,248,22,80,23,195,2,27,28,248,22,158,15,23,195,2,23,194,1,28,248, +22,157,15,23,195,2,249,22,159,15,23,196,1,250,80,159,48,40,39,248,22, +174,15,2,46,11,10,250,80,159,46,40,39,248,22,174,15,2,46,23,197,1, +10,28,23,193,2,249,22,79,248,22,161,15,249,22,159,15,23,198,1,247,22, +175,15,248,80,159,46,8,32,39,248,22,81,23,199,1,86,94,23,193,1,248, 80,159,44,8,32,39,248,22,81,23,197,1,86,94,23,193,1,27,248,22,81, 23,198,1,28,248,22,87,23,194,2,9,27,248,22,80,23,195,2,27,28,248, -22,157,15,23,195,2,23,194,1,28,248,22,156,15,23,195,2,249,22,158,15, -23,196,1,250,80,159,46,40,39,248,22,173,15,2,46,11,10,250,80,159,44, -40,39,248,22,173,15,2,46,23,197,1,10,28,23,193,2,249,22,79,248,22, -160,15,249,22,158,15,23,198,1,247,22,174,15,248,80,159,44,8,32,39,248, -22,81,23,199,1,248,80,159,42,8,32,39,248,22,81,196,27,247,22,178,15, -249,80,159,39,41,38,28,23,195,2,27,248,22,164,8,2,54,28,192,192,2, -49,2,49,27,28,23,196,1,250,22,151,15,248,22,173,15,2,55,247,22,162, +22,158,15,23,195,2,23,194,1,28,248,22,157,15,23,195,2,249,22,159,15, +23,196,1,250,80,159,46,40,39,248,22,174,15,2,46,11,10,250,80,159,44, +40,39,248,22,174,15,2,46,23,197,1,10,28,23,193,2,249,22,79,248,22, +161,15,249,22,159,15,23,198,1,247,22,175,15,248,80,159,44,8,32,39,248, +22,81,23,199,1,248,80,159,42,8,32,39,248,22,81,196,27,247,22,179,15, +249,80,159,39,41,38,28,23,195,2,27,248,22,165,8,2,54,28,192,192,2, +49,2,49,27,28,23,196,1,250,22,152,15,248,22,174,15,2,55,247,22,163, 8,2,56,11,27,248,80,159,42,8,30,39,250,22,93,9,248,22,89,248,22, -173,15,2,45,9,28,193,249,22,79,195,194,192,27,247,22,178,15,249,80,159, -39,41,38,28,23,195,2,27,248,22,164,8,2,54,28,192,192,2,49,2,49, -27,28,23,196,1,250,22,151,15,248,22,173,15,2,55,247,22,162,8,2,56, -11,27,248,80,159,42,8,31,39,250,22,93,23,203,1,248,22,89,248,22,173, -15,2,45,9,28,193,249,22,79,195,194,192,27,247,22,178,15,249,80,159,39, -41,38,28,23,195,2,27,248,22,164,8,2,54,28,192,192,2,49,2,49,27, -28,23,196,1,250,22,151,15,248,22,173,15,2,55,247,22,162,8,2,56,11, -27,248,80,159,42,8,32,39,250,22,93,23,203,1,248,22,89,248,22,173,15, +174,15,2,45,9,28,193,249,22,79,195,194,192,27,247,22,179,15,249,80,159, +39,41,38,28,23,195,2,27,248,22,165,8,2,54,28,192,192,2,49,2,49, +27,28,23,196,1,250,22,152,15,248,22,174,15,2,55,247,22,163,8,2,56, +11,27,248,80,159,42,8,31,39,250,22,93,23,203,1,248,22,89,248,22,174, +15,2,45,9,28,193,249,22,79,195,194,192,27,247,22,179,15,249,80,159,39, +41,38,28,23,195,2,27,248,22,165,8,2,54,28,192,192,2,49,2,49,27, +28,23,196,1,250,22,152,15,248,22,174,15,2,55,247,22,163,8,2,56,11, +27,248,80,159,42,8,32,39,250,22,93,23,203,1,248,22,89,248,22,174,15, 2,45,23,204,1,28,193,249,22,79,195,194,192,27,20,13,159,80,159,37,53, -37,254,80,159,44,54,37,249,22,33,11,80,159,46,53,37,22,171,14,10,22, -178,14,10,22,179,14,10,248,22,139,6,23,196,2,28,248,22,139,7,23,194, -2,12,86,94,248,22,162,9,23,194,1,27,20,13,159,80,159,38,53,37,254, -80,159,45,54,37,249,22,33,11,80,159,47,53,37,22,171,14,10,22,178,14, -10,22,179,14,10,248,22,139,6,23,197,2,28,248,22,139,7,23,194,2,12, -86,94,248,22,162,9,23,194,1,27,20,13,159,80,159,39,53,37,254,80,159, -46,54,37,249,22,33,11,80,159,48,53,37,22,171,14,10,22,178,14,10,22, -179,14,10,248,22,139,6,23,198,2,28,248,22,139,7,23,194,2,12,86,94, -248,22,162,9,23,194,1,248,80,159,40,8,33,39,197,86,94,249,22,130,7, -247,22,167,5,195,248,22,154,6,249,22,135,4,36,249,22,183,3,197,198,27, +37,254,80,159,44,54,37,249,22,33,11,80,159,46,53,37,22,172,14,10,22, +179,14,10,22,180,14,10,248,22,140,6,23,196,2,28,248,22,140,7,23,194, +2,12,86,94,248,22,163,9,23,194,1,27,20,13,159,80,159,38,53,37,254, +80,159,45,54,37,249,22,33,11,80,159,47,53,37,22,172,14,10,22,179,14, +10,22,180,14,10,248,22,140,6,23,197,2,28,248,22,140,7,23,194,2,12, +86,94,248,22,163,9,23,194,1,27,20,13,159,80,159,39,53,37,254,80,159, +46,54,37,249,22,33,11,80,159,48,53,37,22,172,14,10,22,179,14,10,22, +180,14,10,248,22,140,6,23,198,2,28,248,22,140,7,23,194,2,12,86,94, +248,22,163,9,23,194,1,248,80,159,40,8,33,39,197,86,94,249,22,131,7, +247,22,168,5,195,248,22,155,6,249,22,136,4,36,249,22,184,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,173,15,2,46,27,250,80,159,42,40,39,23,197,1,11,11,27,248,22, -138,4,23,199,1,27,28,23,194,2,23,194,1,86,94,23,194,1,36,27,248, -22,138,4,23,202,1,27,28,23,194,2,23,194,1,86,94,23,194,1,36,249, -22,134,6,23,199,1,20,20,95,88,163,8,36,36,48,11,9,224,4,2,33, -124,23,195,1,23,197,1,27,248,22,183,5,23,195,1,248,80,159,39,8,33, +248,22,174,15,2,46,27,250,80,159,42,40,39,23,197,1,11,11,27,248,22, +139,4,23,199,1,27,28,23,194,2,23,194,1,86,94,23,194,1,36,27,248, +22,139,4,23,202,1,27,28,23,194,2,23,194,1,86,94,23,194,1,36,249, +22,135,6,23,199,1,20,20,95,88,163,8,36,36,48,11,9,224,4,2,33, +124,23,195,1,23,197,1,27,248,22,184,5,23,195,1,248,80,159,39,8,33, 39,193,159,36,20,114,159,36,16,1,11,16,0,20,26,144,9,2,1,2,1, 29,11,11,11,9,9,11,11,11,10,43,80,158,36,36,20,114,159,40,16,30, 2,2,2,3,2,4,2,5,2,6,2,7,2,8,2,9,2,10,2,11,2, @@ -538,21 +538,21 @@ 2,6,2,30,2,29,2,4,2,28,2,7,2,27,2,2,2,5,49,49,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,30,20,15,16,2,32,0,88,163,36,37,45,11,2,2,222,33,57, -80,159,36,36,37,20,15,16,2,249,22,146,7,7,92,7,92,80,159,36,37, +80,159,36,36,37,20,15,16,2,249,22,147,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,62,80,159,36,38, 37,20,15,16,2,88,163,36,38,58,38,2,5,223,0,33,64,80,159,36,39, 37,20,15,16,2,20,25,96,2,6,88,163,8,36,39,8,25,8,32,9,223, 0,33,71,88,163,36,38,47,52,9,223,0,33,72,88,163,36,37,46,52,9, -223,0,33,73,80,159,36,40,37,20,15,16,2,27,248,22,182,15,248,22,158, -8,27,28,249,22,154,9,247,22,166,8,2,34,6,1,1,59,6,1,1,58, -250,22,128,8,6,14,14,40,91,94,126,97,93,42,41,126,97,40,46,42,41, +223,0,33,73,80,159,36,40,37,20,15,16,2,27,248,22,183,15,248,22,159, +8,27,28,249,22,155,9,247,22,167,8,2,34,6,1,1,59,6,1,1,58, +250,22,129,8,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,7,223,0,33,77,80,159, 36,41,37,20,15,16,2,32,0,88,163,8,36,38,47,11,2,8,222,33,78, 80,159,36,42,37,20,15,16,2,32,0,88,163,8,36,39,48,11,2,9,222, 33,80,80,159,36,43,37,20,15,16,2,32,0,88,163,8,36,38,46,11,2, 10,222,33,81,80,159,36,44,37,20,15,16,2,88,163,45,39,49,8,128,16, 2,11,223,0,33,83,80,159,36,45,37,20,15,16,2,88,163,45,40,50,8, -128,16,2,13,223,0,33,85,80,159,36,47,37,20,15,16,2,248,22,173,15, +128,16,2,13,223,0,33,85,80,159,36,47,37,20,15,16,2,248,22,174,15, 70,108,105,110,107,115,45,102,105,108,101,80,159,36,48,37,20,15,16,2,247, 22,140,2,80,158,36,49,20,15,16,2,2,86,80,158,36,50,20,15,16,2, 248,80,159,37,52,37,88,163,36,36,49,8,240,16,0,6,0,9,223,1,33, @@ -582,7 +582,7 @@ EVAL_ONE_SIZED_STR((char *)expr, 10044); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,51,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,52,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,14,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,190,0,197, 0,0,0,222,1,0,0,74,35,37,112,108,97,99,101,45,115,116,114,117,99, @@ -601,7 +601,7 @@ 11,11,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,3,20, -15,16,6,253,22,137,11,2,3,11,38,36,11,248,22,89,249,22,79,22,188, +15,16,6,253,22,138,11,2,3,11,38,36,11,248,22,89,249,22,79,22,189, 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,2,20, 27,158,88,163,36,37,45,44,9,223,0,33,10,88,163,36,37,45,44,9,223, @@ -612,7 +612,7 @@ EVAL_ONE_SIZED_STR((char *)expr, 548); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,51,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,52,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,89,0,0,0,1,0,0,7,0,18,0, 45,0,51,0,60,0,67,0,89,0,102,0,128,0,145,0,167,0,175,0,187, 0,202,0,218,0,236,0,0,1,12,1,28,1,51,1,63,1,94,1,101,1, @@ -645,328 +645,328 @@ 64,108,111,111,112,63,108,105,98,6,12,12,109,111,100,117,108,101,45,112,97, 116,104,63,66,115,117,98,109,111,100,6,2,2,46,46,6,1,1,46,64,102, 105,108,101,66,112,108,97,110,101,116,6,8,8,109,97,105,110,46,114,107,116, -6,4,4,46,114,107,116,67,105,103,110,111,114,101,100,250,22,151,15,28,249, -22,154,9,23,201,2,2,28,86,94,23,199,1,23,197,1,28,248,22,155,15, -23,200,2,249,22,151,15,23,199,1,23,201,1,249,80,159,43,42,39,23,199, -1,23,201,1,23,200,1,249,80,159,43,43,39,23,198,1,2,29,250,22,151, -15,28,249,22,154,9,23,201,2,2,28,86,94,23,199,1,23,197,1,28,248, -22,155,15,23,200,2,249,22,151,15,23,199,1,23,201,1,249,80,159,43,42, +6,4,4,46,114,107,116,67,105,103,110,111,114,101,100,250,22,152,15,28,249, +22,155,9,23,201,2,2,28,86,94,23,199,1,23,197,1,28,248,22,156,15, +23,200,2,249,22,152,15,23,199,1,23,201,1,249,80,159,43,42,39,23,199, +1,23,201,1,23,200,1,249,80,159,43,43,39,23,198,1,2,29,250,22,152, +15,28,249,22,155,9,23,201,2,2,28,86,94,23,199,1,23,197,1,28,248, +22,156,15,23,200,2,249,22,152,15,23,199,1,23,201,1,249,80,159,43,42, 39,23,199,1,23,201,1,23,200,1,249,80,159,43,43,39,23,198,1,2,29, -252,22,151,15,28,249,22,154,9,23,203,2,2,28,86,94,23,201,1,23,199, -1,28,248,22,155,15,23,202,2,249,22,151,15,23,201,1,23,203,1,249,80, -159,45,42,39,23,201,1,23,203,1,23,202,1,2,30,247,22,167,8,249,80, -159,45,43,39,23,200,1,80,159,45,36,38,252,22,151,15,28,249,22,154,9, -23,203,2,2,28,86,94,23,201,1,23,199,1,28,248,22,155,15,23,202,2, -249,22,151,15,23,201,1,23,203,1,249,80,159,45,42,39,23,201,1,23,203, -1,23,202,1,2,30,247,22,167,8,249,80,159,45,43,39,23,200,1,80,159, -45,36,38,27,252,22,151,15,28,249,22,154,9,23,201,2,2,28,86,94,23, -199,1,23,201,1,28,248,22,155,15,23,200,2,249,22,151,15,23,203,1,23, +252,22,152,15,28,249,22,155,9,23,203,2,2,28,86,94,23,201,1,23,199, +1,28,248,22,156,15,23,202,2,249,22,152,15,23,201,1,23,203,1,249,80, +159,45,42,39,23,201,1,23,203,1,23,202,1,2,30,247,22,168,8,249,80, +159,45,43,39,23,200,1,80,159,45,36,38,252,22,152,15,28,249,22,155,9, +23,203,2,2,28,86,94,23,201,1,23,199,1,28,248,22,156,15,23,202,2, +249,22,152,15,23,201,1,23,203,1,249,80,159,45,42,39,23,201,1,23,203, +1,23,202,1,2,30,247,22,168,8,249,80,159,45,43,39,23,200,1,80,159, +45,36,38,27,252,22,152,15,28,249,22,155,9,23,201,2,2,28,86,94,23, +199,1,23,201,1,28,248,22,156,15,23,200,2,249,22,152,15,23,203,1,23, 201,1,249,80,159,47,42,39,23,203,1,23,201,1,23,203,1,2,30,247,22, -167,8,249,80,159,47,43,39,23,202,1,80,159,47,36,38,27,250,22,168,15, +168,8,249,80,159,47,43,39,23,202,1,80,159,47,36,38,27,250,22,169,15, 196,11,32,0,88,163,8,36,36,41,11,9,222,11,28,192,249,22,79,195,194, 11,249,22,5,88,163,8,36,37,54,8,129,3,9,226,5,3,2,6,33,46, -196,27,252,22,151,15,28,249,22,154,9,23,201,2,2,28,86,94,23,199,1, -23,201,1,28,248,22,155,15,23,200,2,249,22,151,15,23,203,1,23,201,1, -249,80,159,47,42,39,23,203,1,23,201,1,23,203,1,2,30,247,22,167,8, -249,80,159,47,43,39,23,202,1,80,159,47,36,38,27,250,22,168,15,196,11, +196,27,252,22,152,15,28,249,22,155,9,23,201,2,2,28,86,94,23,199,1, +23,201,1,28,248,22,156,15,23,200,2,249,22,152,15,23,203,1,23,201,1, +249,80,159,47,42,39,23,203,1,23,201,1,23,203,1,2,30,247,22,168,8, +249,80,159,47,43,39,23,202,1,80,159,47,36,38,27,250,22,169,15,196,11, 32,0,88,163,8,36,36,41,11,9,222,11,28,192,249,22,79,195,194,11,249, 22,5,88,163,8,36,37,54,8,129,3,9,226,5,3,2,6,33,48,196,27, -250,22,151,15,28,249,22,154,9,23,199,2,2,28,86,94,23,197,1,23,199, -1,28,248,22,155,15,23,198,2,249,22,151,15,23,201,1,23,199,1,249,80, +250,22,152,15,28,249,22,155,9,23,199,2,2,28,86,94,23,197,1,23,199, +1,28,248,22,156,15,23,198,2,249,22,152,15,23,201,1,23,199,1,249,80, 159,45,42,39,23,201,1,23,199,1,23,201,1,249,80,159,45,43,39,23,200, -1,2,29,27,250,22,168,15,196,11,32,0,88,163,8,36,36,41,11,9,222, +1,2,29,27,250,22,169,15,196,11,32,0,88,163,8,36,36,41,11,9,222, 11,28,192,249,22,79,195,194,11,249,22,5,88,163,8,36,37,52,8,128,3, -9,226,5,3,2,6,33,50,196,27,250,22,151,15,28,249,22,154,9,23,199, -2,2,28,86,94,23,197,1,23,199,1,28,248,22,155,15,23,198,2,249,22, -151,15,23,201,1,23,199,1,249,80,159,45,42,39,23,201,1,23,199,1,23, -201,1,249,80,159,45,43,39,23,200,1,2,29,27,250,22,168,15,196,11,32, +9,226,5,3,2,6,33,50,196,27,250,22,152,15,28,249,22,155,9,23,199, +2,2,28,86,94,23,197,1,23,199,1,28,248,22,156,15,23,198,2,249,22, +152,15,23,201,1,23,199,1,249,80,159,45,42,39,23,201,1,23,199,1,23, +201,1,249,80,159,45,43,39,23,200,1,2,29,27,250,22,169,15,196,11,32, 0,88,163,8,36,36,41,11,9,222,11,28,192,249,22,79,195,194,11,249,22, 5,88,163,8,36,37,52,8,128,3,9,226,5,3,2,6,33,52,196,86,95, -28,248,80,159,37,40,39,23,195,2,12,250,22,191,9,2,26,6,12,12,112, +28,248,80,159,37,40,39,23,195,2,12,250,22,128,10,2,26,6,12,12,112, 97,116,104,45,115,116,114,105,110,103,63,23,197,2,28,28,23,195,2,28,248, -22,64,23,196,2,10,28,248,22,88,23,196,2,28,249,22,129,4,248,22,92, -23,198,2,37,28,28,248,22,64,248,22,80,23,197,2,10,248,22,152,9,248, -22,177,17,23,197,2,249,22,4,22,64,248,22,178,17,23,198,2,11,11,11, -10,12,250,22,191,9,2,26,6,71,71,40,111,114,47,99,32,35,102,32,115, +22,64,23,196,2,10,28,248,22,88,23,196,2,28,249,22,130,4,248,22,92, +23,198,2,37,28,28,248,22,64,248,22,80,23,197,2,10,248,22,153,9,248, +22,178,17,23,197,2,249,22,4,22,64,248,22,179,17,23,198,2,11,11,11, +10,12,250,22,128,10,2,26,6,71,71,40,111,114,47,99,32,35,102,32,115, 121,109,98,111,108,63,32,40,99,111,110,115,47,99,32,40,111,114,47,99,32, 35,102,32,115,121,109,98,111,108,63,41,32,40,110,111,110,45,101,109,112,116, 121,45,108,105,115,116,111,102,32,115,121,109,98,111,108,63,41,41,41,23,197, -2,27,28,23,196,2,247,22,188,4,11,27,28,23,194,2,250,22,160,2,80, -158,41,41,248,22,147,16,247,22,169,13,11,11,27,28,23,194,2,250,22,160, +2,27,28,23,196,2,247,22,189,4,11,27,28,23,194,2,250,22,160,2,80, +158,41,41,248,22,148,16,247,22,170,13,11,11,27,28,23,194,2,250,22,160, 2,248,22,81,23,198,2,23,198,2,11,11,28,23,193,2,86,96,23,197,1, 23,195,1,23,194,1,20,13,159,80,159,39,38,37,250,80,159,42,39,37,249, -22,33,11,80,159,44,38,37,22,189,4,248,22,104,196,27,248,22,113,194,20, +22,33,11,80,159,44,38,37,22,190,4,248,22,104,196,27,248,22,113,194,20, 13,159,80,159,40,38,37,250,80,159,43,39,37,249,22,33,11,80,159,45,38, -37,22,172,5,28,248,22,133,15,23,197,2,23,196,1,86,94,23,196,1,247, -22,174,15,249,247,22,170,5,248,22,80,196,200,86,94,23,193,1,90,159,47, -11,89,161,37,36,11,28,248,22,157,15,23,209,2,23,208,2,27,247,22,172, -5,28,23,193,2,249,22,158,15,23,211,2,23,195,1,23,209,2,89,161,39, -37,11,248,22,154,15,23,209,1,86,94,23,196,1,89,161,38,40,11,28,23, -209,2,27,248,22,138,15,23,197,2,19,248,22,138,8,23,195,2,28,28,249, -22,131,4,23,195,4,40,249,22,141,8,2,27,249,22,144,8,23,198,2,249, -22,183,3,23,199,4,40,11,249,22,7,23,199,2,248,22,142,15,249,22,145, -8,250,22,144,8,23,202,1,36,249,22,183,3,23,203,4,40,5,3,46,115, +37,22,173,5,28,248,22,134,15,23,197,2,23,196,1,86,94,23,196,1,247, +22,175,15,249,247,22,171,5,248,22,80,196,200,86,94,23,193,1,90,159,47, +11,89,161,37,36,11,28,248,22,158,15,23,209,2,23,208,2,27,247,22,173, +5,28,23,193,2,249,22,159,15,23,211,2,23,195,1,23,209,2,89,161,39, +37,11,248,22,155,15,23,209,1,86,94,23,196,1,89,161,38,40,11,28,23, +209,2,27,248,22,139,15,23,197,2,19,248,22,139,8,23,195,2,28,28,249, +22,132,4,23,195,4,40,249,22,142,8,2,27,249,22,145,8,23,198,2,249, +22,184,3,23,199,4,40,11,249,22,7,23,199,2,248,22,143,15,249,22,146, +8,250,22,145,8,23,202,1,36,249,22,184,3,23,203,4,40,5,3,46,115, 115,249,22,7,23,199,2,11,2,249,22,7,23,197,2,11,89,161,37,42,11, -28,249,22,154,9,23,199,2,23,197,2,23,193,2,249,22,151,15,23,196,2, -23,199,2,89,161,37,43,11,28,23,198,2,28,249,22,154,9,23,200,2,23, -197,1,23,193,1,86,94,23,193,1,249,22,151,15,23,196,2,23,200,2,86, -94,23,195,1,11,89,161,37,44,11,28,249,22,154,9,23,196,2,68,114,101, +28,249,22,155,9,23,199,2,23,197,2,23,193,2,249,22,152,15,23,196,2, +23,199,2,89,161,37,43,11,28,23,198,2,28,249,22,155,9,23,200,2,23, +197,1,23,193,1,86,94,23,193,1,249,22,152,15,23,196,2,23,200,2,86, +94,23,195,1,11,89,161,37,44,11,28,249,22,155,9,23,196,2,68,114,101, 108,97,116,105,118,101,86,94,23,194,1,2,28,23,194,1,89,161,37,45,11, -247,22,176,15,89,161,37,46,11,247,22,177,15,27,250,22,168,15,23,203,2, +247,22,177,15,89,161,37,46,11,247,22,178,15,27,250,22,169,15,23,203,2, 11,32,0,88,163,8,36,36,41,11,9,222,11,27,28,23,194,2,249,22,79, 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,168,15,23,207,2,11,32,0,88,163,8,36,36,41,11,9,222, +11,27,250,22,169,15,23,207,2,11,32,0,88,163,8,36,36,41,11,9,222, 11,28,192,249,22,79,23,206,2,194,11,11,27,28,23,195,2,23,195,2,23, 194,2,27,88,163,36,38,51,8,128,3,62,122,111,225,19,13,9,33,42,27, 88,163,36,38,51,8,128,3,66,97,108,116,45,122,111,225,20,14,11,33,43, 27,88,163,36,38,53,8,129,3,9,225,21,15,11,33,44,27,88,163,36,38, 53,8,129,3,9,225,22,16,13,33,45,27,28,23,200,2,23,200,2,248,22, -152,9,23,200,2,27,28,23,208,2,28,23,200,2,86,94,23,201,1,23,200, -2,248,22,152,9,23,202,1,11,27,28,23,195,2,28,23,197,1,27,249,22, +153,9,23,200,2,27,28,23,208,2,28,23,200,2,86,94,23,201,1,23,200, +2,248,22,153,9,23,202,1,11,27,28,23,195,2,28,23,197,1,27,249,22, 5,88,163,36,37,48,8,129,3,9,226,28,23,22,18,33,47,23,217,2,27, -28,23,202,2,11,193,28,192,192,28,193,28,23,202,2,28,249,22,131,4,248, +28,23,202,2,11,193,28,192,192,28,193,28,23,202,2,28,249,22,132,4,248, 22,81,196,248,22,81,23,205,2,193,11,11,11,11,86,94,23,197,1,11,28, 23,193,2,86,108,23,217,1,23,216,1,23,214,1,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,8,25,38,37,250,80,159,8, -28,39,37,249,22,33,11,80,159,8,30,38,37,22,189,4,11,20,13,159,80, +28,39,37,249,22,33,11,80,159,8,30,38,37,22,190,4,11,20,13,159,80, 159,8,25,38,37,250,80,159,8,28,39,37,249,22,33,11,80,159,8,30,38, -37,22,172,5,28,248,22,133,15,23,216,2,23,215,1,86,94,23,215,1,247, -22,174,15,249,247,22,181,15,248,22,80,195,23,29,86,94,23,193,1,27,28, +37,22,173,5,28,248,22,134,15,23,216,2,23,215,1,86,94,23,215,1,247, +22,175,15,249,247,22,182,15,248,22,80,195,23,29,86,94,23,193,1,27,28, 23,195,2,28,23,197,1,27,249,22,5,88,163,36,37,48,8,129,3,9,226, 29,24,23,20,33,49,23,218,2,27,28,23,204,2,11,193,28,192,192,28,193, -28,203,28,249,22,131,4,248,22,81,196,248,22,81,206,193,11,11,11,11,86, +28,203,28,249,22,132,4,248,22,81,196,248,22,81,206,193,11,11,11,11,86, 94,23,197,1,11,28,23,193,2,86,105,23,218,1,23,217,1,23,215,1,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,8,26,38,37,250,80,159,8,29,39,37, -249,22,33,11,80,159,8,31,38,37,22,189,4,23,215,1,20,13,159,80,159, +249,22,33,11,80,159,8,31,38,37,22,190,4,23,215,1,20,13,159,80,159, 8,26,38,37,250,80,159,8,29,39,37,249,22,33,11,80,159,8,31,38,37, -22,172,5,28,248,22,133,15,23,217,2,23,216,1,86,94,23,216,1,247,22, -174,15,249,247,22,181,15,248,22,80,195,23,30,86,94,23,193,1,27,28,23, +22,173,5,28,248,22,134,15,23,217,2,23,216,1,86,94,23,216,1,247,22, +175,15,249,247,22,182,15,248,22,80,195,23,30,86,94,23,193,1,27,28,23, 197,2,28,23,201,1,27,249,22,5,20,20,94,88,163,36,37,48,8,128,3, 9,226,30,25,24,20,33,51,23,213,1,23,219,2,27,28,23,204,2,11,193, -28,192,192,28,193,28,23,204,2,28,249,22,131,4,248,22,81,196,248,22,81, +28,192,192,28,193,28,23,204,2,28,249,22,132,4,248,22,81,196,248,22,81, 23,207,2,193,11,11,11,86,94,23,210,1,11,86,94,23,201,1,11,28,23, 193,2,86,102,23,216,1,23,215,1,23,213,1,23,212,1,23,211,1,23,202, 1,23,200,1,23,197,1,23,196,1,86,94,27,248,22,80,194,28,23,219,2, 250,22,158,2,248,22,81,23,223,1,23,223,1,250,22,89,23,199,1,11,23, 221,2,12,20,13,159,80,159,8,27,38,37,250,80,159,8,30,39,37,249,22, -33,11,80,159,8,32,38,37,22,189,4,11,20,13,159,80,159,8,27,38,37, -250,80,159,8,30,39,37,249,22,33,11,80,159,8,32,38,37,22,172,5,28, -248,22,133,15,23,218,2,23,217,1,86,94,23,217,1,247,22,174,15,249,247, -22,170,5,248,22,177,17,195,23,31,86,94,23,193,1,27,28,23,197,1,28, +33,11,80,159,8,32,38,37,22,190,4,11,20,13,159,80,159,8,27,38,37, +250,80,159,8,30,39,37,249,22,33,11,80,159,8,32,38,37,22,173,5,28, +248,22,134,15,23,218,2,23,217,1,86,94,23,217,1,247,22,175,15,249,247, +22,171,5,248,22,178,17,195,23,31,86,94,23,193,1,27,28,23,197,1,28, 23,201,1,27,249,22,5,20,20,95,88,163,36,37,48,8,128,3,9,226,31, 26,25,22,33,53,23,215,1,23,219,1,23,220,1,27,28,23,205,2,11,193, -28,192,192,28,193,28,204,28,249,22,131,4,248,22,81,196,248,22,81,23,15, +28,192,192,28,193,28,204,28,249,22,132,4,248,22,81,196,248,22,81,23,15, 193,11,11,11,86,96,23,217,1,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,86,94,27,248,22,80,194,28, 23,220,2,250,22,158,2,248,22,81,23,224,32,0,0,0,1,23,224,32,0, 0,0,1,250,22,89,23,199,1,23,221,2,23,222,2,12,20,13,159,80,159, 8,28,38,37,250,80,159,8,31,39,37,249,22,33,11,80,159,8,33,38,37, -22,189,4,23,217,1,20,13,159,80,159,8,28,38,37,250,80,159,8,31,39, -37,249,22,33,11,80,159,8,33,38,37,22,172,5,28,248,22,133,15,23,219, -2,23,218,1,86,94,23,218,1,247,22,174,15,249,247,22,170,5,248,22,177, +22,190,4,23,217,1,20,13,159,80,159,8,28,38,37,250,80,159,8,31,39, +37,249,22,33,11,80,159,8,33,38,37,22,173,5,28,248,22,134,15,23,219, +2,23,218,1,86,94,23,218,1,247,22,175,15,249,247,22,171,5,248,22,178, 17,195,23,32,86,94,23,193,1,28,28,248,22,77,23,224,32,0,0,0,2, -248,22,177,17,23,224,32,0,0,0,2,10,27,28,23,199,2,86,94,23,215, +248,22,178,17,23,224,32,0,0,0,2,10,27,28,23,199,2,86,94,23,215, 1,23,214,1,86,94,23,214,1,23,215,1,28,28,248,22,77,23,224,33,0, -0,0,2,248,22,152,9,248,22,145,15,23,195,2,11,12,20,13,159,80,159, +0,0,2,248,22,153,9,248,22,146,15,23,195,2,11,12,20,13,159,80,159, 8,29,38,37,250,80,159,8,32,39,37,249,22,33,11,80,159,8,34,38,37, -22,189,4,28,23,34,28,23,202,1,11,195,86,94,23,202,1,11,20,13,159, +22,190,4,28,23,34,28,23,202,1,11,195,86,94,23,202,1,11,20,13,159, 80,159,8,29,38,37,250,80,159,8,32,39,37,249,22,33,11,80,159,8,34, -38,37,22,172,5,28,248,22,133,15,23,220,2,23,219,1,86,94,23,219,1, -247,22,174,15,249,247,22,170,5,194,23,33,12,28,193,250,22,158,2,248,22, -81,197,195,250,22,89,200,201,202,12,27,249,22,174,8,80,159,39,47,38,249, -22,190,3,248,22,186,3,248,22,173,2,200,8,128,8,27,28,193,248,22,176, +38,37,22,173,5,28,248,22,134,15,23,220,2,23,219,1,86,94,23,219,1, +247,22,175,15,249,247,22,171,5,194,23,33,12,28,193,250,22,158,2,248,22, +81,197,195,250,22,89,200,201,202,12,27,249,22,175,8,80,159,39,47,38,249, +22,191,3,248,22,187,3,248,22,173,2,200,8,128,8,27,28,193,248,22,176, 2,194,11,28,192,27,249,22,102,198,195,28,192,248,22,81,193,11,11,27,249, -22,190,3,248,22,186,3,248,22,173,2,198,8,128,8,27,249,22,174,8,80, -159,40,47,38,195,27,28,193,248,22,176,2,194,11,250,22,175,8,80,159,42, +22,191,3,248,22,187,3,248,22,173,2,198,8,128,8,27,249,22,175,8,80, +159,40,47,38,195,27,28,193,248,22,176,2,194,11,250,22,176,8,80,159,42, 47,38,197,248,22,175,2,249,22,79,249,22,79,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,59,88,163, -8,36,37,59,11,2,31,222,33,60,27,249,22,186,15,2,58,23,196,2,28, +8,36,37,59,11,2,31,222,33,60,27,249,22,187,15,2,58,23,196,2,28, 23,193,2,86,94,23,194,1,249,22,79,248,22,104,23,196,2,27,248,22,113, -23,197,1,27,249,22,186,15,2,58,23,196,2,28,23,193,2,86,94,23,194, -1,249,22,79,248,22,104,23,196,2,27,248,22,113,23,197,1,27,249,22,186, +23,197,1,27,249,22,187,15,2,58,23,196,2,28,23,193,2,86,94,23,194, +1,249,22,79,248,22,104,23,196,2,27,248,22,113,23,197,1,27,249,22,187, 15,2,58,23,196,2,28,23,193,2,86,94,23,194,1,249,22,79,248,22,104, -23,196,2,27,248,22,113,23,197,1,27,249,22,186,15,2,58,23,196,2,28, +23,196,2,27,248,22,113,23,197,1,27,249,22,187,15,2,58,23,196,2,28, 23,193,2,86,94,23,194,1,249,22,79,248,22,104,23,196,2,248,2,59,248, 22,113,23,197,1,248,22,89,194,248,22,89,194,248,22,89,194,248,22,89,194, 32,61,88,163,36,37,55,11,2,31,222,33,62,28,248,22,87,248,22,81,23, -195,2,249,22,7,9,248,22,177,17,195,90,159,38,11,89,161,38,36,11,27, -248,22,178,17,196,28,248,22,87,248,22,81,23,195,2,249,22,7,9,248,22, -177,17,195,90,159,38,11,89,161,38,36,11,27,248,22,178,17,196,28,248,22, -87,248,22,81,23,195,2,249,22,7,9,248,22,177,17,195,90,159,38,11,89, -161,38,36,11,248,2,61,248,22,178,17,196,249,22,7,249,22,79,248,22,177, -17,199,196,195,249,22,7,249,22,79,248,22,177,17,199,196,195,249,22,7,249, -22,79,248,22,177,17,199,196,195,27,27,249,22,186,15,2,58,23,197,2,28, +195,2,249,22,7,9,248,22,178,17,195,90,159,38,11,89,161,38,36,11,27, +248,22,179,17,196,28,248,22,87,248,22,81,23,195,2,249,22,7,9,248,22, +178,17,195,90,159,38,11,89,161,38,36,11,27,248,22,179,17,196,28,248,22, +87,248,22,81,23,195,2,249,22,7,9,248,22,178,17,195,90,159,38,11,89, +161,38,36,11,248,2,61,248,22,179,17,196,249,22,7,249,22,79,248,22,178, +17,199,196,195,249,22,7,249,22,79,248,22,178,17,199,196,195,249,22,7,249, +22,79,248,22,178,17,199,196,195,27,27,249,22,187,15,2,58,23,197,2,28, 23,193,2,86,94,23,195,1,249,22,79,248,22,104,23,196,2,27,248,22,113, -23,197,1,27,249,22,186,15,2,58,23,196,2,28,23,193,2,86,94,23,194, -1,249,22,79,248,22,104,23,196,2,27,248,22,113,23,197,1,27,249,22,186, +23,197,1,27,249,22,187,15,2,58,23,196,2,28,23,193,2,86,94,23,194, +1,249,22,79,248,22,104,23,196,2,27,248,22,113,23,197,1,27,249,22,187, 15,2,58,23,196,2,28,23,193,2,86,94,23,194,1,249,22,79,248,22,104, -23,196,2,27,248,22,113,23,197,1,27,249,22,186,15,2,58,23,196,2,28, +23,196,2,27,248,22,113,23,197,1,27,249,22,187,15,2,58,23,196,2,28, 23,193,2,86,94,23,194,1,249,22,79,248,22,104,23,196,2,248,2,59,248, 22,113,23,197,1,248,22,89,194,248,22,89,194,248,22,89,194,248,22,89,195, 28,23,195,1,192,28,248,22,87,248,22,81,23,195,2,249,22,7,9,248,22, -177,17,195,27,248,22,178,17,194,90,159,38,11,89,161,38,36,11,28,248,22, -87,248,22,81,23,197,2,249,22,7,9,248,22,177,17,197,27,248,22,178,17, +178,17,195,27,248,22,179,17,194,90,159,38,11,89,161,38,36,11,28,248,22, +87,248,22,81,23,197,2,249,22,7,9,248,22,178,17,197,27,248,22,179,17, 196,90,159,38,11,89,161,38,36,11,28,248,22,87,248,22,81,23,197,2,249, -22,7,9,248,22,177,17,197,90,159,38,11,89,161,38,36,11,248,2,61,248, -22,178,17,198,249,22,7,249,22,79,248,22,177,17,201,196,195,249,22,7,249, -22,79,248,22,177,17,202,196,195,249,22,7,249,22,79,248,22,177,17,200,196, +22,7,9,248,22,178,17,197,90,159,38,11,89,161,38,36,11,248,2,61,248, +22,179,17,198,249,22,7,249,22,79,248,22,178,17,201,196,195,249,22,7,249, +22,79,248,22,178,17,202,196,195,249,22,7,249,22,79,248,22,178,17,200,196, 195,28,24,194,2,12,20,13,159,80,159,36,57,37,80,158,36,55,89,161,37, -37,10,249,22,190,4,21,94,2,32,6,19,19,112,108,97,110,101,116,47,114, +37,10,249,22,191,4,21,94,2,32,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,27, -28,23,195,2,28,249,22,154,9,23,197,2,80,158,39,52,86,94,23,195,1, -80,158,37,53,27,248,22,148,5,23,197,2,27,28,248,22,77,23,195,2,248, -22,177,17,23,195,1,23,194,1,28,248,22,133,15,23,194,2,90,159,39,11, -89,161,39,36,11,248,22,154,15,23,197,1,86,95,20,18,159,11,80,158,42, +28,23,195,2,28,249,22,155,9,23,197,2,80,158,39,52,86,94,23,195,1, +80,158,37,53,27,248,22,149,5,23,197,2,27,28,248,22,77,23,195,2,248, +22,178,17,23,195,1,23,194,1,28,248,22,134,15,23,194,2,90,159,39,11, +89,161,39,36,11,248,22,155,15,23,197,1,86,95,20,18,159,11,80,158,42, 52,199,20,18,159,11,80,158,42,53,192,192,11,11,28,23,193,2,192,86,94, -23,193,1,27,247,22,172,5,28,192,192,247,22,174,15,90,159,39,11,89,161, -39,36,11,248,22,154,15,197,86,95,23,195,1,23,193,1,28,249,22,186,15, -0,11,35,114,120,34,91,46,93,115,115,36,34,248,22,138,15,23,197,1,249, +23,193,1,27,247,22,173,5,28,192,192,247,22,175,15,90,159,39,11,89,161, +39,36,11,248,22,155,15,197,86,95,23,195,1,23,193,1,28,249,22,187,15, +0,11,35,114,120,34,91,46,93,115,115,36,34,248,22,139,15,23,197,1,249, 80,159,41,58,39,198,2,27,196,249,80,159,38,54,39,195,10,249,22,14,195, -80,159,38,51,38,86,96,28,248,22,146,5,23,196,2,12,250,22,191,9,2, +80,159,38,51,38,86,96,28,248,22,147,5,23,196,2,12,250,22,128,10,2, 22,6,21,21,114,101,115,111,108,118,101,100,45,109,111,100,117,108,101,45,112, -97,116,104,63,23,198,2,28,28,23,196,2,248,22,170,13,23,197,2,10,12, -250,22,191,9,2,22,6,20,20,40,111,114,47,99,32,35,102,32,110,97,109, +97,116,104,63,23,198,2,28,28,23,196,2,248,22,171,13,23,197,2,10,12, +250,22,128,10,2,22,6,20,20,40,111,114,47,99,32,35,102,32,110,97,109, 101,115,112,97,99,101,63,41,23,199,2,28,24,193,2,248,24,194,1,23,196, -2,86,94,23,193,1,12,27,250,22,160,2,80,159,41,41,38,248,22,147,16, -247,22,169,13,11,27,28,23,194,2,23,194,1,86,94,23,194,1,27,249,22, +2,86,94,23,193,1,12,27,250,22,160,2,80,159,41,41,38,248,22,148,16, +247,22,170,13,11,27,28,23,194,2,23,194,1,86,94,23,194,1,27,249,22, 79,247,22,140,2,247,22,140,2,86,94,250,22,158,2,80,159,43,41,38,248, -22,147,16,247,22,169,13,195,192,86,94,250,22,158,2,248,22,80,23,197,2, +22,148,16,247,22,170,13,195,192,86,94,250,22,158,2,248,22,80,23,197,2, 23,200,2,68,100,101,99,108,97,114,101,100,28,23,198,2,27,28,248,22,77, -248,22,148,5,23,200,2,248,22,147,5,248,22,80,248,22,148,5,23,201,1, -23,198,1,27,250,22,160,2,80,159,44,41,38,248,22,147,16,23,204,1,11, +248,22,149,5,23,200,2,248,22,148,5,248,22,80,248,22,149,5,23,201,1, +23,198,1,27,250,22,160,2,80,159,44,41,38,248,22,148,16,23,204,1,11, 28,23,193,2,27,250,22,160,2,248,22,81,23,198,1,197,11,28,192,250,22, -158,2,248,22,178,17,199,197,195,12,12,12,251,211,197,198,199,10,32,71,88, +158,2,248,22,179,17,199,197,195,12,12,12,251,211,197,198,199,10,32,71,88, 163,36,38,47,11,76,102,108,97,116,116,101,110,45,115,117,98,45,112,97,116, 104,222,33,74,32,72,88,163,36,40,54,11,2,31,222,33,73,28,248,22,87, -23,197,2,28,248,22,87,195,192,249,22,79,194,248,22,94,197,28,249,22,156, +23,197,2,28,248,22,87,195,192,249,22,79,194,248,22,94,197,28,249,22,157, 9,248,22,80,23,199,2,2,35,28,248,22,87,23,196,2,86,95,23,196,1, -23,195,1,250,22,187,9,2,22,6,37,37,116,111,111,32,109,97,110,121,32, +23,195,1,250,22,188,9,2,22,6,37,37,116,111,111,32,109,97,110,121,32, 34,46,46,34,115,32,105,110,32,115,117,98,109,111,100,117,108,101,32,112,97, -116,104,58,32,126,46,115,250,22,90,2,34,28,249,22,156,9,23,201,2,2, -36,198,28,248,22,133,15,199,198,249,22,89,28,248,22,64,201,2,4,2,37, -200,199,251,2,72,196,197,248,22,81,199,248,22,178,17,200,251,2,72,196,197, -249,22,79,248,22,177,17,202,200,248,22,178,17,200,251,2,72,196,197,9,197, -27,249,22,167,7,6,31,31,115,116,97,110,100,97,114,100,45,109,111,100,117, +116,104,58,32,126,46,115,250,22,90,2,34,28,249,22,157,9,23,201,2,2, +36,198,28,248,22,134,15,199,198,249,22,89,28,248,22,64,201,2,4,2,37, +200,199,251,2,72,196,197,248,22,81,199,248,22,179,17,200,251,2,72,196,197, +249,22,79,248,22,178,17,202,200,248,22,179,17,200,251,2,72,196,197,9,197, +27,249,22,168,7,6,31,31,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,58,32,196,28,193, -250,22,189,9,11,195,196,248,22,187,9,193,28,249,22,150,7,194,2,36,2, -28,28,249,22,150,7,194,2,35,62,117,112,192,32,77,88,163,8,36,37,50, -11,67,115,115,45,62,114,107,116,222,33,78,19,248,22,147,7,194,28,249,22, -131,4,23,195,4,39,28,249,22,150,7,6,3,3,46,115,115,249,22,166,7, -197,249,22,183,3,23,199,4,39,249,22,167,7,250,22,166,7,198,36,249,22, -183,3,23,200,4,39,2,40,193,193,2,0,8,35,114,120,34,91,46,93,34, +250,22,190,9,11,195,196,248,22,188,9,193,28,249,22,151,7,194,2,36,2, +28,28,249,22,151,7,194,2,35,62,117,112,192,32,77,88,163,8,36,37,50, +11,67,115,115,45,62,114,107,116,222,33,78,19,248,22,148,7,194,28,249,22, +132,4,23,195,4,39,28,249,22,151,7,6,3,3,46,115,115,249,22,167,7, +197,249,22,184,3,23,199,4,39,249,22,168,7,250,22,167,7,198,36,249,22, +184,3,23,200,4,39,2,40,193,193,2,0,8,35,114,120,34,91,46,93,34, 32,80,88,163,8,36,37,47,11,2,31,222,33,81,28,248,22,87,23,194,2, -9,250,22,90,6,4,4,10,32,32,32,248,22,137,15,248,22,105,23,198,2, -248,2,80,248,22,81,23,198,1,28,249,22,156,9,248,22,81,23,200,2,23, -197,1,28,249,22,154,9,248,22,177,17,23,200,1,23,196,1,251,22,187,9, +9,250,22,90,6,4,4,10,32,32,32,248,22,138,15,248,22,105,23,198,2, +248,2,80,248,22,81,23,198,1,28,249,22,157,9,248,22,81,23,200,2,23, +197,1,28,249,22,155,9,248,22,178,17,23,200,1,23,196,1,251,22,188,9, 2,22,6,41,41,99,121,99,108,101,32,105,110,32,108,111,97,100,105,110,103, 10,32,32,97,116,32,112,97,116,104,58,32,126,97,10,32,32,112,97,116,104, -115,58,126,97,23,200,1,249,22,1,22,167,7,248,2,80,248,22,94,23,201, +115,58,126,97,23,200,1,249,22,1,22,168,7,248,2,80,248,22,94,23,201, 1,12,12,247,192,20,13,159,80,159,43,50,38,249,22,79,249,22,79,248,22, -147,16,247,22,169,13,23,201,1,23,195,1,20,13,159,80,159,43,38,37,250, -80,159,46,39,37,249,22,33,11,80,159,48,38,37,22,188,4,23,198,2,249, -247,22,171,5,23,200,1,27,248,22,67,248,22,137,15,23,201,1,28,23,202, +148,16,247,22,170,13,23,201,1,23,195,1,20,13,159,80,159,43,38,37,250, +80,159,46,39,37,249,22,33,11,80,159,48,38,37,22,189,4,23,198,2,249, +247,22,172,5,23,200,1,27,248,22,67,248,22,138,15,23,201,1,28,23,202, 2,28,250,22,160,2,248,22,80,23,201,1,23,201,1,11,249,22,79,11,203, -249,22,79,194,203,192,86,94,28,248,22,156,5,23,196,2,12,28,23,197,2, -250,22,189,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,191,9,2,22,2,33,23,198,2,28,28,248,22,77, -23,196,2,249,22,154,9,248,22,177,17,23,198,2,2,4,11,248,22,147,5, -248,22,104,196,28,28,248,22,77,23,196,2,28,249,22,154,9,248,22,177,17, -23,198,2,2,34,28,248,22,77,248,22,104,23,197,2,249,22,154,9,248,22, +249,22,79,194,203,192,86,94,28,248,22,157,5,23,196,2,12,28,23,197,2, +250,22,190,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,128,10,2,22,2,33,23,198,2,28,28,248,22,77, +23,196,2,249,22,155,9,248,22,178,17,23,198,2,2,4,11,248,22,148,5, +248,22,104,196,28,28,248,22,77,23,196,2,28,249,22,155,9,248,22,178,17, +23,198,2,2,34,28,248,22,77,248,22,104,23,197,2,249,22,155,9,248,22, 108,23,198,2,2,4,11,11,11,86,97,23,198,1,23,197,1,23,196,1,23, -193,1,248,22,147,5,249,2,71,248,22,121,23,199,2,248,22,106,23,199,1, -28,28,248,22,77,23,196,2,28,249,22,154,9,248,22,177,17,23,198,2,2, -34,28,28,249,22,156,9,248,22,104,23,198,2,2,36,10,249,22,156,9,248, -22,104,23,198,2,2,35,28,23,196,2,27,248,22,148,5,23,198,2,28,248, -22,64,193,10,28,248,22,77,193,248,22,64,248,22,177,17,194,11,11,11,11, -11,86,96,23,198,1,23,197,1,23,193,1,27,248,22,148,5,23,198,1,248, -22,147,5,249,2,71,28,248,22,77,23,197,2,248,22,177,17,23,197,2,23, -196,2,27,28,249,22,156,9,248,22,104,23,203,2,2,35,248,22,178,17,200, -248,22,106,200,28,248,22,77,23,198,2,249,22,93,248,22,178,17,199,194,192, -28,28,248,22,77,23,196,2,249,22,154,9,248,22,177,17,23,198,2,2,38, +193,1,248,22,148,5,249,2,71,248,22,121,23,199,2,248,22,106,23,199,1, +28,28,248,22,77,23,196,2,28,249,22,155,9,248,22,178,17,23,198,2,2, +34,28,28,249,22,157,9,248,22,104,23,198,2,2,36,10,249,22,157,9,248, +22,104,23,198,2,2,35,28,23,196,2,27,248,22,149,5,23,198,2,28,248, +22,64,193,10,28,248,22,77,193,248,22,64,248,22,178,17,194,11,11,11,11, +11,86,96,23,198,1,23,197,1,23,193,1,27,248,22,149,5,23,198,1,248, +22,148,5,249,2,71,28,248,22,77,23,197,2,248,22,178,17,23,197,2,23, +196,2,27,28,249,22,157,9,248,22,104,23,203,2,2,35,248,22,179,17,200, +248,22,106,200,28,248,22,77,23,198,2,249,22,93,248,22,179,17,199,194,192, +28,28,248,22,77,23,196,2,249,22,155,9,248,22,178,17,23,198,2,2,38, 11,86,94,248,80,159,38,8,28,39,193,253,213,200,201,202,203,11,80,158,43, -55,28,28,248,22,77,23,196,2,28,249,22,154,9,248,22,177,17,23,198,2, -2,34,28,248,22,77,248,22,104,23,197,2,249,22,154,9,248,22,108,23,198, +55,28,28,248,22,77,23,196,2,28,249,22,155,9,248,22,178,17,23,198,2, +2,34,28,248,22,77,248,22,104,23,197,2,249,22,155,9,248,22,108,23,198, 2,2,38,11,11,11,86,94,248,80,159,38,8,28,39,193,253,213,248,22,104, 201,201,202,203,248,22,106,201,80,158,43,55,86,94,23,193,1,27,88,163,8, 36,37,47,11,79,115,104,111,119,45,99,111,108,108,101,99,116,105,111,110,45, -101,114,114,223,5,33,75,27,28,248,22,77,23,198,2,28,249,22,154,9,2, -34,248,22,177,17,23,200,2,27,248,22,104,23,199,2,28,28,249,22,156,9, -23,195,2,2,36,10,249,22,156,9,23,195,2,2,35,86,94,23,193,1,28, -23,199,2,27,248,22,148,5,23,201,2,28,248,22,77,193,248,22,177,17,193, -192,250,22,187,9,2,22,6,45,45,110,111,32,98,97,115,101,32,112,97,116, +101,114,114,223,5,33,75,27,28,248,22,77,23,198,2,28,249,22,155,9,2, +34,248,22,178,17,23,200,2,27,248,22,104,23,199,2,28,28,249,22,157,9, +23,195,2,2,36,10,249,22,157,9,23,195,2,2,35,86,94,23,193,1,28, +23,199,2,27,248,22,149,5,23,201,2,28,248,22,77,193,248,22,178,17,193, +192,250,22,188,9,2,22,6,45,45,110,111,32,98,97,115,101,32,112,97,116, 104,32,102,111,114,32,114,101,108,97,116,105,118,101,32,115,117,98,109,111,100, 117,108,101,32,112,97,116,104,58,32,126,46,115,23,201,2,192,23,197,2,23, -197,2,27,28,248,22,77,23,199,2,28,249,22,154,9,2,34,248,22,177,17, -23,201,2,27,28,28,28,249,22,156,9,248,22,104,23,202,2,2,36,10,249, -22,156,9,248,22,104,23,202,2,2,35,23,200,2,11,27,248,22,148,5,23, -202,2,27,28,249,22,156,9,248,22,104,23,204,2,2,35,248,22,178,17,23, -202,1,248,22,106,23,202,1,28,248,22,77,23,195,2,249,2,71,248,22,177, -17,23,197,2,249,22,93,248,22,178,17,23,199,1,23,197,1,249,2,71,23, -196,1,23,195,1,249,2,71,2,36,28,249,22,156,9,248,22,104,23,204,2, -2,35,248,22,178,17,23,202,1,248,22,106,23,202,1,28,248,22,77,193,248, -22,178,17,193,11,11,11,27,28,248,22,64,23,196,2,27,248,80,159,43,48, -39,249,22,79,23,199,2,247,22,175,15,28,23,193,2,192,86,94,23,193,1, +197,2,27,28,248,22,77,23,199,2,28,249,22,155,9,2,34,248,22,178,17, +23,201,2,27,28,28,28,249,22,157,9,248,22,104,23,202,2,2,36,10,249, +22,157,9,248,22,104,23,202,2,2,35,23,200,2,11,27,248,22,149,5,23, +202,2,27,28,249,22,157,9,248,22,104,23,204,2,2,35,248,22,179,17,23, +202,1,248,22,106,23,202,1,28,248,22,77,23,195,2,249,2,71,248,22,178, +17,23,197,2,249,22,93,248,22,179,17,23,199,1,23,197,1,249,2,71,23, +196,1,23,195,1,249,2,71,2,36,28,249,22,157,9,248,22,104,23,204,2, +2,35,248,22,179,17,23,202,1,248,22,106,23,202,1,28,248,22,77,193,248, +22,179,17,193,11,11,11,27,28,248,22,64,23,196,2,27,248,80,159,43,48, +39,249,22,79,23,199,2,247,22,176,15,28,23,193,2,192,86,94,23,193,1, 90,159,38,11,89,161,38,36,11,249,80,159,46,54,39,248,22,70,23,201,2, -11,27,28,248,22,87,23,195,2,2,39,249,22,167,7,23,197,2,2,40,251, +11,27,28,248,22,87,23,195,2,2,39,249,22,168,7,23,197,2,2,40,251, 80,159,49,59,39,23,204,1,28,248,22,87,23,199,2,23,199,1,86,94,23, 199,1,248,22,80,23,199,2,28,248,22,87,23,199,2,86,94,23,198,1,9, -248,22,178,17,23,199,1,23,197,1,28,248,22,144,7,23,196,2,86,94,23, +248,22,179,17,23,199,1,23,197,1,28,248,22,145,7,23,196,2,86,94,23, 196,1,27,248,80,159,43,8,29,39,23,202,2,27,248,80,159,44,48,39,249, 22,79,23,200,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,47,54,39,23,201,2,11,250,22,1,22,151, +11,89,161,38,36,11,249,80,159,47,54,39,23,201,2,11,250,22,1,22,152, 15,23,199,1,249,22,93,249,22,2,32,0,88,163,8,36,37,44,11,9,222, -33,76,23,200,1,248,22,89,248,2,77,23,201,1,28,248,22,133,15,23,196, -2,86,94,23,196,1,248,80,159,42,8,30,39,248,22,160,15,28,248,22,157, -15,23,198,2,23,197,2,249,22,158,15,23,199,2,248,80,159,46,8,29,39, -23,205,2,28,249,22,154,9,248,22,80,23,198,2,2,32,27,248,80,159,43, -48,39,249,22,79,23,199,2,247,22,175,15,28,23,193,2,192,86,94,23,193, +33,76,23,200,1,248,22,89,248,2,77,23,201,1,28,248,22,134,15,23,196, +2,86,94,23,196,1,248,80,159,42,8,30,39,248,22,161,15,28,248,22,158, +15,23,198,2,23,197,2,249,22,159,15,23,199,2,248,80,159,46,8,29,39, +23,205,2,28,249,22,155,9,248,22,80,23,198,2,2,32,27,248,80,159,43, +48,39,249,22,79,23,199,2,247,22,176,15,28,23,193,2,192,86,94,23,193, 1,90,159,39,11,89,161,38,36,11,249,80,159,47,54,39,248,22,104,23,202, 2,11,89,161,37,38,11,28,248,22,87,248,22,106,23,201,2,28,248,22,87, -23,194,2,249,22,190,15,2,79,23,196,2,11,10,27,28,23,196,2,248,2, -77,23,196,2,28,248,22,87,23,195,2,2,39,28,249,22,190,15,2,79,23, -197,2,248,2,77,23,196,2,249,22,167,7,23,197,2,2,40,27,28,23,197, +23,194,2,249,22,191,15,2,79,23,196,2,11,10,27,28,23,196,2,248,2, +77,23,196,2,28,248,22,87,23,195,2,2,39,28,249,22,191,15,2,79,23, +197,2,248,2,77,23,196,2,249,22,168,7,23,197,2,2,40,27,28,23,197, 1,86,94,23,196,1,249,22,93,28,248,22,87,248,22,106,23,205,2,21,93, 6,5,5,109,122,108,105,98,249,22,1,22,93,249,22,2,80,159,53,8,31, 39,248,22,106,23,208,2,23,197,1,28,248,22,87,23,196,2,86,94,23,195, 1,248,22,89,23,197,1,86,94,23,196,1,23,195,1,251,80,159,51,59,39, -23,206,1,248,22,80,23,198,2,248,22,178,17,23,198,1,23,198,1,28,249, -22,154,9,248,22,177,17,23,198,2,2,37,248,80,159,42,8,30,39,248,22, -160,15,249,22,158,15,248,22,162,15,248,22,104,23,201,2,248,80,159,46,8, -29,39,23,205,2,12,86,94,28,28,248,22,133,15,23,194,2,10,248,22,169, -8,23,194,2,86,94,23,201,1,12,28,23,201,2,250,22,189,9,67,114,101, -113,117,105,114,101,249,22,128,8,6,17,17,98,97,100,32,109,111,100,117,108, +23,206,1,248,22,80,23,198,2,248,22,179,17,23,198,1,23,198,1,28,249, +22,155,9,248,22,178,17,23,198,2,2,37,248,80,159,42,8,30,39,248,22, +161,15,249,22,159,15,248,22,163,15,248,22,104,23,201,2,248,80,159,46,8, +29,39,23,205,2,12,86,94,28,28,248,22,134,15,23,194,2,10,248,22,170, +8,23,194,2,86,94,23,201,1,12,28,23,201,2,250,22,190,9,67,114,101, +113,117,105,114,101,249,22,129,8,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,80,23,199,2,6,0,0, -23,204,1,86,94,23,201,1,250,22,191,9,2,22,2,33,23,198,2,27,28, -248,22,169,8,23,195,2,249,22,174,8,23,196,2,36,249,22,160,15,248,22, -161,15,23,197,2,11,27,28,248,22,169,8,23,196,2,249,22,174,8,23,197, +23,204,1,86,94,23,201,1,250,22,128,10,2,22,2,33,23,198,2,27,28, +248,22,170,8,23,195,2,249,22,175,8,23,196,2,36,249,22,161,15,248,22, +162,15,23,197,2,11,27,28,248,22,170,8,23,196,2,249,22,175,8,23,197, 2,37,248,80,159,44,8,24,39,23,195,2,90,159,39,11,89,161,39,36,11, -28,248,22,169,8,23,199,2,250,22,7,2,41,249,22,174,8,23,203,2,38, -2,41,248,22,154,15,23,198,2,86,95,23,195,1,23,193,1,27,28,248,22, -169,8,23,200,2,249,22,174,8,23,201,2,39,249,80,159,49,58,39,23,197, -2,5,0,27,28,248,22,169,8,23,201,2,249,22,174,8,23,202,2,40,248, -22,147,5,23,200,2,27,250,22,160,2,80,159,52,41,38,248,22,147,16,247, -22,169,13,11,27,28,23,194,2,23,194,1,86,94,23,194,1,27,249,22,79, +28,248,22,170,8,23,199,2,250,22,7,2,41,249,22,175,8,23,203,2,38, +2,41,248,22,155,15,23,198,2,86,95,23,195,1,23,193,1,27,28,248,22, +170,8,23,200,2,249,22,175,8,23,201,2,39,249,80,159,49,58,39,23,197, +2,5,0,27,28,248,22,170,8,23,201,2,249,22,175,8,23,202,2,40,248, +22,148,5,23,200,2,27,250,22,160,2,80,159,52,41,38,248,22,148,16,247, +22,170,13,11,27,28,23,194,2,23,194,1,86,94,23,194,1,27,249,22,79, 247,22,140,2,247,22,140,2,86,94,250,22,158,2,80,159,54,41,38,248,22, -147,16,247,22,169,13,195,192,27,28,23,204,2,248,22,147,5,249,22,79,248, -22,148,5,23,200,2,23,207,2,23,196,2,86,95,28,23,212,1,27,250,22, +148,16,247,22,170,13,195,192,27,28,23,204,2,248,22,148,5,249,22,79,248, +22,149,5,23,200,2,23,207,2,23,196,2,86,95,28,23,212,1,27,250,22, 160,2,248,22,80,23,199,2,196,11,28,23,193,1,12,27,27,28,248,22,17, 80,159,55,51,38,80,159,54,51,38,247,22,19,251,22,33,11,80,159,58,50, -38,9,23,197,1,27,248,22,147,16,247,22,169,13,86,94,249,22,3,20,20, +38,9,23,197,1,27,248,22,148,16,247,22,170,13,86,94,249,22,3,20,20, 94,88,163,8,36,37,54,11,9,226,14,13,2,3,33,82,23,195,1,23,196, 2,248,28,248,22,17,80,159,56,51,38,32,0,88,163,36,37,42,11,9,222, 33,83,80,159,55,8,32,39,20,20,96,88,163,36,36,56,8,240,12,64,0, 0,9,230,19,15,13,12,8,7,5,2,33,84,23,195,1,23,198,1,23,208, -1,12,28,28,248,22,169,8,23,204,1,11,28,248,22,144,7,23,206,2,10, -28,248,22,64,23,206,2,10,28,248,22,77,23,206,2,249,22,154,9,248,22, -177,17,23,208,2,2,32,11,249,80,159,53,49,39,28,248,22,144,7,23,208, +1,12,28,28,248,22,170,8,23,204,1,11,28,248,22,145,7,23,206,2,10, +28,248,22,64,23,206,2,10,28,248,22,77,23,206,2,249,22,155,9,248,22, +178,17,23,208,2,2,32,11,249,80,159,53,49,39,28,248,22,145,7,23,208, 2,249,22,79,23,209,1,248,80,159,56,8,29,39,23,215,1,86,94,23,212, -1,249,22,79,23,209,1,247,22,175,15,252,22,171,8,23,209,1,23,208,1, +1,249,22,79,23,209,1,247,22,176,15,252,22,172,8,23,209,1,23,208,1, 23,206,1,23,204,1,23,203,1,12,192,86,96,20,18,159,11,80,158,36,55, -248,80,159,37,8,27,37,249,22,33,11,80,159,39,57,37,248,22,187,4,80, -159,37,56,38,248,22,171,5,80,159,37,37,39,248,22,166,14,80,159,37,45, +248,80,159,37,8,27,37,249,22,33,11,80,159,39,57,37,248,22,188,4,80, +159,37,56,38,248,22,172,5,80,159,37,37,39,248,22,167,14,80,159,37,45, 39,20,18,159,11,80,158,36,55,248,80,159,37,8,27,37,249,22,33,11,80, 159,39,57,37,20,18,159,11,80,158,36,55,248,80,159,37,8,27,37,249,22, 33,11,80,159,39,57,37,159,36,20,114,159,36,16,1,11,16,0,20,26,144, @@ -986,14 +986,14 @@ 18,2,19,2,12,2,3,2,11,2,2,2,14,2,15,2,10,2,20,2,22, 51,11,11,11,16,3,2,24,2,21,2,25,16,3,11,11,11,16,3,2,24, 2,21,2,25,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,23,20,15,16,2,248,22,166,8,69,115, +11,16,0,16,0,16,0,36,36,16,23,20,15,16,2,248,22,167,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,43,8,189,3,2,3,223,0,33,54,80,159,36,37,37,20,15,16,2,32, 0,88,163,8,36,41,52,11,2,10,222,33,55,80,159,36,44,37,20,15,16, 2,20,27,158,32,0,88,163,8,36,37,42,11,2,11,222,192,32,0,88,163, 8,36,37,42,11,2,11,222,192,80,159,36,45,37,20,15,16,2,247,22,143, 2,80,159,36,41,37,20,15,16,2,8,128,8,80,159,36,46,37,20,15,16, -2,249,22,170,8,8,128,8,11,80,159,36,47,37,20,15,16,2,88,163,8, +2,249,22,171,8,8,128,8,11,80,159,36,47,37,20,15,16,2,88,163,8, 36,37,50,8,128,32,2,14,223,0,33,56,80,159,36,48,37,20,15,16,2, 88,163,8,36,38,55,8,128,32,2,15,223,0,33,57,80,159,36,49,37,20, 15,16,2,247,22,75,80,159,36,50,37,20,15,16,2,248,22,18,74,109,111, @@ -1022,7 +1022,7 @@ EVAL_ONE_SIZED_STR((char *)expr, 8526); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,51,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,51,46,52,84,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,98,1,0, 0,69,35,37,98,117,105,108,116,105,110,65,113,117,111,116,101,29,94,2,2, diff --git a/src/racket/src/list.c b/src/racket/src/list.c index 84ad595483..6b6ee0efb7 100644 --- a/src/racket/src/list.c +++ b/src/racket/src/list.c @@ -145,6 +145,7 @@ static Scheme_Object *weak_boxp(int argc, Scheme_Object *argv[]); static Scheme_Object *make_ephemeron(int argc, Scheme_Object *argv[]); static Scheme_Object *ephemeron_value(int argc, Scheme_Object *argv[]); static Scheme_Object *ephemeronp(int argc, Scheme_Object *argv[]); +static Scheme_Object *impersonator_ephemeron(int argc, Scheme_Object *argv[]); static Scheme_Object *make_graph(int argc, Scheme_Object *argv[]); static Scheme_Object *make_placeholder(int argc, Scheme_Object *argv[]); @@ -693,6 +694,11 @@ scheme_init_list (Scheme_Env *env) "ephemeron?", 1, 1, 1), env); + scheme_add_global_constant("impersonator-ephemeron", + scheme_make_immed_prim(impersonator_ephemeron, + "impersonator-ephemeron", + 1, 1), + env); scheme_add_global_constant("make-reader-graph", scheme_make_prim_w_arity(make_graph, @@ -3551,6 +3557,19 @@ static Scheme_Object *ephemeronp(int argc, Scheme_Object *argv[]) : scheme_false); } +static Scheme_Object *impersonator_ephemeron(int argc, Scheme_Object *argv[]) +{ + Scheme_Object *obj = argv[0]; + + if (SCHEME_CHAPERONEP(obj)) { + return scheme_make_ephemeron(SCHEME_CHAPERONE_VAL(obj), obj); + } else { + /* This is a useless ephemeron, but we create one for consistency + with the case that we have an impersonator: */ + return scheme_make_ephemeron(obj, obj); + } +} + #ifndef MZ_PRECISE_GC int scheme_propagate_ephemeron_marks() diff --git a/src/racket/src/schminc.h b/src/racket/src/schminc.h index 463e625703..a6e2274150 100644 --- a/src/racket/src/schminc.h +++ b/src/racket/src/schminc.h @@ -14,7 +14,7 @@ #define USE_COMPILED_STARTUP 1 -#define EXPECTED_PRIM_COUNT 1086 +#define EXPECTED_PRIM_COUNT 1087 #define EXPECTED_UNSAFE_COUNT 100 #define EXPECTED_FLFXNUM_COUNT 69 #define EXPECTED_EXTFL_COUNT 45 diff --git a/src/racket/src/schvers.h b/src/racket/src/schvers.h index 677937e454..b3412fb1b7 100644 --- a/src/racket/src/schvers.h +++ b/src/racket/src/schvers.h @@ -13,12 +13,12 @@ consistently.) */ -#define MZSCHEME_VERSION "5.3.3.3" +#define MZSCHEME_VERSION "5.3.3.4" #define MZSCHEME_VERSION_X 5 #define MZSCHEME_VERSION_Y 3 #define MZSCHEME_VERSION_Z 3 -#define MZSCHEME_VERSION_W 3 +#define MZSCHEME_VERSION_W 4 #define MZSCHEME_VERSION_MAJOR ((MZSCHEME_VERSION_X * 100) + MZSCHEME_VERSION_Y) #define MZSCHEME_VERSION_MINOR ((MZSCHEME_VERSION_Z * 1000) + MZSCHEME_VERSION_W)