From 03ec1ec501e077071c448c7be16c5fbe236bdc14 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 17 Jan 2011 17:34:04 -0500 Subject: [PATCH] Add a single-flonum? predicate to test for single-precision floats. --- collects/racket/private/base.rkt | 1 + collects/scribblings/reference/numbers.scrbl | 6 + collects/tests/racket/number.rktl | 21 + src/racket/src/cstartup.inc | 970 +++++++++---------- src/racket/src/jit.c | 3 + src/racket/src/number.c | 17 + src/racket/src/schminc.h | 2 +- src/racket/src/schvers.h | 4 +- 8 files changed, 536 insertions(+), 488 deletions(-) diff --git a/collects/racket/private/base.rkt b/collects/racket/private/base.rkt index a1e784a333..bcb848cdd3 100644 --- a/collects/racket/private/base.rkt +++ b/collects/racket/private/base.rkt @@ -21,6 +21,7 @@ with-output-to-file regexp-replace* new-apply-proc) + (rename flonum? double-flonum?) ; for symmetry with single-flonum? struct (all-from "hash.rkt") (all-from "list.rkt") diff --git a/collects/scribblings/reference/numbers.scrbl b/collects/scribblings/reference/numbers.scrbl index a4da850099..43bc020538 100644 --- a/collects/scribblings/reference/numbers.scrbl +++ b/collects/scribblings/reference/numbers.scrbl @@ -159,6 +159,12 @@ syntax transformers can lead to platform-dependent bytecode files.} Return @racket[#t] if @racket[v] is a @techlink{flonum}, @racket[#f] otherwise.} +@defproc[(double-flonum? [v any/c]) boolean?]{ +Identical to @racket[flonum?]}. + +@defproc[(single-flonum? [v any/c]) boolean?]{ +Return @racket[#t] if @racket[v] is a single-precision floating-point +number, @racket[#f] otherwise.} @defproc[(zero? [z number?]) boolean?]{ Returns @racket[(= 0 z)]. diff --git a/collects/tests/racket/number.rktl b/collects/tests/racket/number.rktl index 6084b53667..3d13e1898e 100644 --- a/collects/tests/racket/number.rktl +++ b/collects/tests/racket/number.rktl @@ -73,6 +73,13 @@ (test #t inexact? 0+4.0i) (test #t inexact? 4+0.i) +(test #t flonum? 1.2) +(test #f single-flonum? 1.2) +(test #t flonum? 1.2e3) +(test #f single-flonum? 1.2e3) +(test #f flonum? 1.2f3) +(test #t single-flonum? 1.2f3) + (test #t complex? -4.242154731064108e-5-6.865001427422244e-5i) (test #f exact? -4.242154731064108e-5-6.865001427422244e-5i) (test #t inexact? -4.242154731064108e-5-6.865001427422244e-5i) @@ -86,42 +93,56 @@ (test #t real? +inf.0) (test #f rational? +inf.0) (test #f integer? +inf.0) +(test #t flonum? +inf.0) +(test #f single-flonum? +inf.0) (test #t number? -inf.0) (test #t complex? -inf.0) (test #t real? -inf.0) (test #f rational? -inf.0) (test #f integer? -inf.0) +(test #t flonum? -inf.0) +(test #f single-flonum? -inf.0) (test #t number? +nan.0) (test #t complex? +nan.0) (test #t real? +nan.0) (test #f rational? +nan.0) (test #f integer? +nan.0) +(test #t flonum? +nan.0) +(test #f single-flonum? +nan.0) (test #t number? +inf.f) (test #t complex? +inf.f) (test #t real? +inf.f) (test #f rational? +inf.f) (test #f integer? +inf.f) +(test #f flonum? +inf.f) +(test #t single-flonum? +inf.f) (test #t number? -inf.f) (test #t complex? -inf.f) (test #t real? -inf.f) (test #f rational? -inf.f) (test #f integer? -inf.f) +(test #f flonum? -inf.f) +(test #t single-flonum? -inf.f) (test #t number? +nan.f) (test #t complex? +nan.f) (test #t real? +nan.f) (test #f rational? +nan.f) (test #f integer? +nan.f) +(test #f flonum? +nan.f) +(test #t single-flonum? +nan.f) (test #t number? -nan.f) (test #t complex? -nan.f) (test #t real? -nan.f) (test #f rational? -nan.f) (test #f integer? -nan.f) +(test #f flonum? -nan.f) +(test #t single-flonum? -nan.f) (arity-test inexact? 1 1) (arity-test number? 1 1) diff --git a/src/racket/src/cstartup.inc b/src/racket/src/cstartup.inc index 6e91cf239f..82f40f1b48 100644 --- a/src/racket/src/cstartup.inc +++ b/src/racket/src/cstartup.inc @@ -1,78 +1,78 @@ { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,55,51,0,0,0,1,0,0,10,0,13, -0,22,0,27,0,34,0,38,0,51,0,55,0,58,0,65,0,72,0,77,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,56,51,0,0,0,1,0,0,10,0,13, +0,22,0,35,0,40,0,43,0,50,0,57,0,61,0,68,0,73,0,78,0, 82,0,88,0,102,0,116,0,119,0,125,0,129,0,131,0,142,0,144,0,158, 0,165,0,187,0,189,0,203,0,14,1,43,1,54,1,65,1,75,1,111,1, 144,1,177,1,236,1,46,2,124,2,190,2,195,2,215,2,106,3,126,3,177, 3,243,3,128,4,14,5,66,5,89,5,168,5,0,0,109,7,0,0,69,35, -37,109,105,110,45,115,116,120,29,11,11,68,104,101,114,101,45,115,116,120,64, -99,111,110,100,66,108,101,116,114,101,99,63,97,110,100,72,112,97,114,97,109, -101,116,101,114,105,122,101,63,108,101,116,62,111,114,66,100,101,102,105,110,101, -66,117,110,108,101,115,115,64,108,101,116,42,64,119,104,101,110,65,113,117,111, +37,109,105,110,45,115,116,120,29,11,11,68,104,101,114,101,45,115,116,120,72, +112,97,114,97,109,101,116,101,114,105,122,101,64,99,111,110,100,62,111,114,66, +108,101,116,114,101,99,66,117,110,108,101,115,115,63,108,101,116,66,100,101,102, +105,110,101,64,119,104,101,110,64,108,101,116,42,63,97,110,100,65,113,117,111, 116,101,29,94,2,14,68,35,37,107,101,114,110,101,108,11,29,94,2,14,68, 35,37,112,97,114,97,109,122,11,62,105,102,65,98,101,103,105,110,63,115,116, 120,61,115,70,108,101,116,45,118,97,108,117,101,115,61,120,73,108,101,116,114, 101,99,45,118,97,108,117,101,115,66,108,97,109,98,100,97,1,20,112,97,114, 97,109,101,116,101,114,105,122,97,116,105,111,110,45,107,101,121,61,118,73,100, 101,102,105,110,101,45,118,97,108,117,101,115,97,36,11,8,240,79,82,0,0, -95,159,2,16,36,36,159,2,15,36,36,159,2,15,36,36,16,20,2,7,2, -2,2,6,2,2,2,4,2,2,2,8,2,2,2,5,2,2,2,10,2,2, -2,9,2,2,2,11,2,2,2,12,2,2,2,13,2,2,97,37,11,8,240, +95,159,2,16,36,36,159,2,15,36,36,159,2,15,36,36,16,20,2,4,2, +2,2,5,2,2,2,7,2,2,2,8,2,2,2,9,2,2,2,10,2,2, +2,11,2,2,2,6,2,2,2,12,2,2,2,13,2,2,97,37,11,8,240, 79,82,0,0,93,159,2,15,36,37,16,2,2,3,161,2,2,37,2,3,2, 2,2,3,96,38,11,8,240,79,82,0,0,16,0,96,11,11,8,240,79,82, 0,0,16,0,13,16,4,36,29,11,11,2,2,11,18,16,2,99,64,104,101, 114,101,8,32,8,31,8,30,8,29,8,28,93,8,224,86,82,0,0,95,9, -8,224,86,82,0,0,2,2,27,248,22,152,4,195,249,22,145,4,80,158,39, +8,224,86,82,0,0,2,2,27,248,22,153,4,195,249,22,146,4,80,158,39, 36,251,22,83,2,17,248,22,98,199,12,249,22,73,2,18,248,22,100,201,27, -248,22,152,4,195,249,22,145,4,80,158,39,36,251,22,83,2,17,248,22,98, -199,249,22,73,2,18,248,22,100,201,12,27,248,22,75,248,22,152,4,196,28, +248,22,153,4,195,249,22,146,4,80,158,39,36,251,22,83,2,17,248,22,98, +199,249,22,73,2,18,248,22,100,201,12,27,248,22,75,248,22,153,4,196,28, 248,22,81,193,20,15,159,37,36,37,28,248,22,81,248,22,75,194,248,22,74, -193,249,22,145,4,80,158,39,36,251,22,83,2,17,248,22,74,199,249,22,73, -2,6,248,22,75,201,11,18,16,2,101,10,8,32,8,31,8,30,8,29,8, +193,249,22,146,4,80,158,39,36,251,22,83,2,17,248,22,74,199,249,22,73, +2,13,248,22,75,201,11,18,16,2,101,10,8,32,8,31,8,30,8,29,8, 28,16,4,11,11,2,19,3,1,8,101,110,118,49,51,52,53,52,16,4,11, 11,2,20,3,1,8,101,110,118,49,51,52,53,53,93,8,224,87,82,0,0, -95,9,8,224,87,82,0,0,2,2,27,248,22,75,248,22,152,4,196,28,248, +95,9,8,224,87,82,0,0,2,2,27,248,22,75,248,22,153,4,196,28,248, 22,81,193,20,15,159,37,36,37,28,248,22,81,248,22,75,194,248,22,74,193, -249,22,145,4,80,158,39,36,250,22,83,2,21,248,22,83,249,22,83,248,22, -83,2,22,248,22,74,201,251,22,83,2,17,2,22,2,22,249,22,73,2,9, +249,22,146,4,80,158,39,36,250,22,83,2,21,248,22,83,249,22,83,248,22, +83,2,22,248,22,74,201,251,22,83,2,17,2,22,2,22,249,22,73,2,6, 248,22,75,204,18,16,2,101,11,8,32,8,31,8,30,8,29,8,28,16,4, 11,11,2,19,3,1,8,101,110,118,49,51,52,53,55,16,4,11,11,2,20, 3,1,8,101,110,118,49,51,52,53,56,93,8,224,88,82,0,0,95,9,8, -224,88,82,0,0,2,2,248,22,152,4,193,27,248,22,152,4,194,249,22,73, -248,22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,152,4,23,197, -1,249,22,145,4,80,158,39,36,28,248,22,58,248,22,146,4,248,22,74,23, -198,2,27,249,22,2,32,0,89,162,8,44,37,43,9,222,33,40,248,22,152, +224,88,82,0,0,2,2,248,22,153,4,193,27,248,22,153,4,194,249,22,73, +248,22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,153,4,23,197, +1,249,22,146,4,80,158,39,36,28,248,22,58,248,22,147,4,248,22,74,23, +198,2,27,249,22,2,32,0,89,162,8,44,37,43,9,222,33,40,248,22,153, 4,248,22,98,23,200,2,250,22,83,2,23,248,22,83,249,22,83,248,22,83, 248,22,74,23,204,2,250,22,84,2,24,249,22,2,22,74,23,204,2,248,22, 100,23,206,2,249,22,73,248,22,74,23,202,1,249,22,2,22,98,23,200,1, 250,22,84,2,21,249,22,2,32,0,89,162,8,44,37,47,9,222,33,41,248, -22,152,4,248,22,74,201,248,22,75,198,27,248,22,152,4,194,249,22,73,248, -22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,152,4,23,197,1, -249,22,145,4,80,158,39,36,250,22,84,2,23,249,22,2,32,0,89,162,8, -44,37,47,9,222,33,43,248,22,152,4,248,22,74,201,248,22,75,198,27,248, -22,75,248,22,152,4,196,27,248,22,152,4,248,22,74,195,249,22,145,4,80, +22,153,4,248,22,74,201,248,22,75,198,27,248,22,153,4,194,249,22,73,248, +22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,153,4,23,197,1, +249,22,146,4,80,158,39,36,250,22,84,2,23,249,22,2,32,0,89,162,8, +44,37,47,9,222,33,43,248,22,153,4,248,22,74,201,248,22,75,198,27,248, +22,75,248,22,153,4,196,27,248,22,153,4,248,22,74,195,249,22,146,4,80, 158,40,36,28,248,22,81,195,250,22,84,2,21,9,248,22,75,199,250,22,83, -2,8,248,22,83,248,22,74,199,250,22,84,2,12,248,22,75,201,248,22,75, -202,27,248,22,75,248,22,152,4,23,197,1,27,249,22,1,22,87,249,22,2, -22,152,4,248,22,152,4,248,22,74,199,249,22,145,4,80,158,40,36,251,22, +2,9,248,22,83,248,22,74,199,250,22,84,2,12,248,22,75,201,248,22,75, +202,27,248,22,75,248,22,153,4,23,197,1,27,249,22,1,22,87,249,22,2, +22,153,4,248,22,153,4,248,22,74,199,249,22,146,4,80,158,40,36,251,22, 83,1,22,119,105,116,104,45,99,111,110,116,105,110,117,97,116,105,111,110,45, 109,97,114,107,2,25,250,22,84,1,23,101,120,116,101,110,100,45,112,97,114, 97,109,101,116,101,114,105,122,97,116,105,111,110,21,95,1,27,99,111,110,116, 105,110,117,97,116,105,111,110,45,109,97,114,107,45,115,101,116,45,102,105,114, 115,116,11,2,25,201,250,22,84,2,21,9,248,22,75,203,27,248,22,75,248, -22,152,4,196,28,248,22,81,193,20,15,159,37,36,37,249,22,145,4,80,158, -39,36,27,248,22,152,4,248,22,74,197,28,249,22,131,9,62,61,62,248,22, -146,4,248,22,98,196,250,22,83,2,21,248,22,83,249,22,83,21,93,2,26, -248,22,74,199,250,22,84,2,4,249,22,83,2,26,249,22,83,248,22,107,203, -2,26,248,22,75,202,251,22,83,2,17,28,249,22,131,9,248,22,146,4,248, +22,153,4,196,28,248,22,81,193,20,15,159,37,36,37,249,22,146,4,80,158, +39,36,27,248,22,153,4,248,22,74,197,28,249,22,132,9,62,61,62,248,22, +147,4,248,22,98,196,250,22,83,2,21,248,22,83,249,22,83,21,93,2,26, +248,22,74,199,250,22,84,2,5,249,22,83,2,26,249,22,83,248,22,107,203, +2,26,248,22,75,202,251,22,83,2,17,28,249,22,132,9,248,22,147,4,248, 22,74,200,64,101,108,115,101,10,248,22,74,197,250,22,84,2,21,9,248,22, -75,200,249,22,73,2,4,248,22,75,202,100,8,32,8,31,8,30,8,29,8, +75,200,249,22,73,2,5,248,22,75,202,100,8,32,8,31,8,30,8,29,8, 28,16,4,11,11,2,19,3,1,8,101,110,118,49,51,52,56,48,16,4,11, 11,2,20,3,1,8,101,110,118,49,51,52,56,49,93,8,224,89,82,0,0, 18,16,2,158,94,10,64,118,111,105,100,8,48,95,9,8,224,89,82,0,0, -2,2,27,248,22,75,248,22,152,4,196,249,22,145,4,80,158,39,36,28,248, -22,58,248,22,146,4,248,22,74,197,250,22,83,2,27,248,22,83,248,22,74, -199,248,22,98,198,27,248,22,146,4,248,22,74,197,250,22,83,2,27,248,22, +2,2,27,248,22,75,248,22,153,4,196,249,22,146,4,80,158,39,36,28,248, +22,58,248,22,147,4,248,22,74,197,250,22,83,2,27,248,22,83,248,22,74, +199,248,22,98,198,27,248,22,147,4,248,22,74,197,250,22,83,2,27,248,22, 83,248,22,74,197,250,22,84,2,24,248,22,75,199,248,22,75,202,159,36,20, 105,159,36,16,1,11,16,0,83,158,42,20,103,145,2,1,2,1,2,2,11, 11,11,10,36,80,158,36,36,20,105,159,36,16,0,16,0,16,1,2,3,37, @@ -81,25 +81,25 @@ 11,11,11,11,11,16,10,2,4,2,5,2,6,2,7,2,8,2,9,2,10, 2,11,2,12,2,13,36,46,37,11,11,11,16,0,16,0,16,0,36,36,11, 11,11,11,16,0,16,0,16,0,36,36,16,11,16,5,2,3,20,15,159,36, -36,36,36,20,105,159,36,16,0,16,1,33,33,10,16,5,2,11,89,162,8, +36,36,36,20,105,159,36,16,0,16,1,33,33,10,16,5,2,8,89,162,8, 44,37,53,9,223,0,33,34,36,20,105,159,36,16,1,2,3,16,0,11,16, -5,2,13,89,162,8,44,37,53,9,223,0,33,35,36,20,105,159,36,16,1, -2,3,16,0,11,16,5,2,6,89,162,8,44,37,53,9,223,0,33,36,36, -20,105,159,36,16,1,2,3,16,1,33,37,11,16,5,2,9,89,162,8,44, +5,2,11,89,162,8,44,37,53,9,223,0,33,35,36,20,105,159,36,16,1, +2,3,16,0,11,16,5,2,13,89,162,8,44,37,53,9,223,0,33,36,36, +20,105,159,36,16,1,2,3,16,1,33,37,11,16,5,2,6,89,162,8,44, 37,56,9,223,0,33,38,36,20,105,159,36,16,1,2,3,16,1,33,39,11, -16,5,2,8,89,162,8,44,37,58,9,223,0,33,42,36,20,105,159,36,16, -1,2,3,16,0,11,16,5,2,5,89,162,8,44,37,53,9,223,0,33,44, +16,5,2,9,89,162,8,44,37,58,9,223,0,33,42,36,20,105,159,36,16, +1,2,3,16,0,11,16,5,2,7,89,162,8,44,37,53,9,223,0,33,44, 36,20,105,159,36,16,1,2,3,16,0,11,16,5,2,12,89,162,8,44,37, 54,9,223,0,33,45,36,20,105,159,36,16,1,2,3,16,0,11,16,5,2, -7,89,162,8,44,37,55,9,223,0,33,46,36,20,105,159,36,16,1,2,3, -16,0,11,16,5,2,4,89,162,8,44,37,58,9,223,0,33,47,36,20,105, +4,89,162,8,44,37,55,9,223,0,33,46,36,20,105,159,36,16,1,2,3, +16,0,11,16,5,2,5,89,162,8,44,37,58,9,223,0,33,47,36,20,105, 159,36,16,1,2,3,16,1,33,49,11,16,5,2,10,89,162,8,44,37,54, 9,223,0,33,50,36,20,105,159,36,16,1,2,3,16,0,11,16,0,94,2, 15,2,16,93,2,15,9,9,36,0}; EVAL_ONE_SIZED_STR((char *)expr, 2025); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,55,74,0,0,0,1,0,0,8,0,21, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,56,74,0,0,0,1,0,0,8,0,21, 0,26,0,43,0,58,0,76,0,92,0,106,0,128,0,146,0,166,0,182,0, 200,0,231,0,4,1,26,1,40,1,46,1,60,1,65,1,75,1,83,1,111, 1,143,1,188,1,194,1,201,1,207,1,252,1,20,2,59,2,61,2,63,2, @@ -135,352 +135,352 @@ 116,101,32,115,116,114,105,110,103,6,36,36,99,97,110,110,111,116,32,97,100, 100,32,97,32,115,117,102,102,105,120,32,116,111,32,97,32,114,111,111,116,32, 112,97,116,104,58,32,5,0,5,0,27,20,14,159,80,159,37,52,38,250,80, -159,40,53,38,249,22,27,11,80,159,42,52,38,22,174,13,10,248,22,181,5, -23,196,2,28,248,22,180,6,23,194,2,12,87,94,248,22,139,9,23,194,1, +159,40,53,38,249,22,27,11,80,159,42,52,38,22,175,13,10,248,22,182,5, +23,196,2,28,248,22,181,6,23,194,2,12,87,94,248,22,140,9,23,194,1, 27,20,14,159,80,159,38,52,38,250,80,159,41,53,38,249,22,27,11,80,159, -43,52,38,22,174,13,10,248,22,181,5,23,197,2,28,248,22,180,6,23,194, -2,12,87,94,248,22,139,9,23,194,1,27,20,14,159,80,159,39,52,38,250, -80,159,42,53,38,249,22,27,11,80,159,44,52,38,22,174,13,10,248,22,181, -5,23,198,2,28,248,22,180,6,23,194,2,12,87,94,248,22,139,9,23,194, +43,52,38,22,175,13,10,248,22,182,5,23,197,2,28,248,22,181,6,23,194, +2,12,87,94,248,22,140,9,23,194,1,27,20,14,159,80,159,39,52,38,250, +80,159,42,53,38,249,22,27,11,80,159,44,52,38,22,175,13,10,248,22,182, +5,23,198,2,28,248,22,181,6,23,194,2,12,87,94,248,22,140,9,23,194, 1,248,80,159,40,55,37,197,28,248,22,81,23,195,2,9,27,248,22,74,23, -196,2,27,28,248,22,160,14,23,195,2,23,194,1,28,248,22,159,14,23,195, -2,249,22,161,14,23,196,1,250,80,158,43,50,248,22,176,14,2,21,11,10, -250,80,158,41,50,248,22,176,14,2,21,23,197,1,10,28,23,193,2,249,22, -73,248,22,163,14,249,22,161,14,23,198,1,247,22,177,14,27,248,22,75,23, +196,2,27,28,248,22,161,14,23,195,2,23,194,1,28,248,22,160,14,23,195, +2,249,22,162,14,23,196,1,250,80,158,43,50,248,22,177,14,2,21,11,10, +250,80,158,41,50,248,22,177,14,2,21,23,197,1,10,28,23,193,2,249,22, +73,248,22,164,14,249,22,162,14,23,198,1,247,22,178,14,27,248,22,75,23, 200,1,28,248,22,81,23,194,2,9,27,248,22,74,23,195,2,27,28,248,22, -160,14,23,195,2,23,194,1,28,248,22,159,14,23,195,2,249,22,161,14,23, -196,1,250,80,158,48,50,248,22,176,14,2,21,11,10,250,80,158,46,50,248, -22,176,14,2,21,23,197,1,10,28,23,193,2,249,22,73,248,22,163,14,249, -22,161,14,23,198,1,247,22,177,14,248,80,159,46,54,37,248,22,75,23,199, +161,14,23,195,2,23,194,1,28,248,22,160,14,23,195,2,249,22,162,14,23, +196,1,250,80,158,48,50,248,22,177,14,2,21,11,10,250,80,158,46,50,248, +22,177,14,2,21,23,197,1,10,28,23,193,2,249,22,73,248,22,164,14,249, +22,162,14,23,198,1,247,22,178,14,248,80,159,46,54,37,248,22,75,23,199, 1,87,94,23,193,1,248,80,159,44,54,37,248,22,75,23,197,1,87,94,23, 193,1,27,248,22,75,23,198,1,28,248,22,81,23,194,2,9,27,248,22,74, -23,195,2,27,28,248,22,160,14,23,195,2,23,194,1,28,248,22,159,14,23, -195,2,249,22,161,14,23,196,1,250,80,158,46,50,248,22,176,14,2,21,11, -10,250,80,158,44,50,248,22,176,14,2,21,23,197,1,10,28,23,193,2,249, -22,73,248,22,163,14,249,22,161,14,23,198,1,247,22,177,14,248,80,159,44, +23,195,2,27,28,248,22,161,14,23,195,2,23,194,1,28,248,22,160,14,23, +195,2,249,22,162,14,23,196,1,250,80,158,46,50,248,22,177,14,2,21,11, +10,250,80,158,44,50,248,22,177,14,2,21,23,197,1,10,28,23,193,2,249, +22,73,248,22,164,14,249,22,162,14,23,198,1,247,22,178,14,248,80,159,44, 54,37,248,22,75,23,199,1,248,80,159,42,54,37,248,22,75,196,27,248,22, -136,14,23,195,2,28,23,193,2,192,87,94,23,193,1,28,248,22,185,6,23, -195,2,27,248,22,158,14,195,28,192,192,248,22,159,14,195,11,87,94,28,28, -248,22,137,14,23,195,2,10,28,248,22,136,14,23,195,2,10,28,248,22,185, -6,23,195,2,28,248,22,158,14,23,195,2,10,248,22,159,14,23,195,2,11, -12,250,22,167,9,76,110,111,114,109,97,108,45,112,97,116,104,45,99,97,115, +137,14,23,195,2,28,23,193,2,192,87,94,23,193,1,28,248,22,186,6,23, +195,2,27,248,22,159,14,195,28,192,192,248,22,160,14,195,11,87,94,28,28, +248,22,138,14,23,195,2,10,28,248,22,137,14,23,195,2,10,28,248,22,186, +6,23,195,2,28,248,22,159,14,23,195,2,10,248,22,160,14,23,195,2,11, +12,250,22,168,9,76,110,111,114,109,97,108,45,112,97,116,104,45,99,97,115, 101,6,42,42,112,97,116,104,32,40,102,111,114,32,97,110,121,32,115,121,115, 116,101,109,41,32,111,114,32,118,97,108,105,100,45,112,97,116,104,32,115,116, -114,105,110,103,23,197,2,28,28,248,22,137,14,23,195,2,249,22,131,9,248, -22,138,14,23,197,2,2,22,249,22,131,9,247,22,143,8,2,22,27,28,248, -22,185,6,23,196,2,23,195,2,248,22,133,8,248,22,141,14,23,197,2,28, -249,22,191,14,0,21,35,114,120,34,94,91,92,92,93,91,92,92,93,91,63, -93,91,92,92,93,34,23,195,2,28,248,22,185,6,195,248,22,144,14,195,194, -27,248,22,160,7,23,195,1,249,22,145,14,248,22,136,8,250,22,135,15,0, -6,35,114,120,34,47,34,28,249,22,191,14,0,22,35,114,120,34,91,47,92, +114,105,110,103,23,197,2,28,28,248,22,138,14,23,195,2,249,22,132,9,248, +22,139,14,23,197,2,2,22,249,22,132,9,247,22,144,8,2,22,27,28,248, +22,186,6,23,196,2,23,195,2,248,22,134,8,248,22,142,14,23,197,2,28, +249,22,128,15,0,21,35,114,120,34,94,91,92,92,93,91,92,92,93,91,63, +93,91,92,92,93,34,23,195,2,28,248,22,186,6,195,248,22,145,14,195,194, +27,248,22,161,7,23,195,1,249,22,146,14,248,22,137,8,250,22,136,15,0, +6,35,114,120,34,47,34,28,249,22,128,15,0,22,35,114,120,34,91,47,92, 92,93,91,46,32,93,43,91,47,92,92,93,42,36,34,23,201,2,23,199,1, -250,22,135,15,0,19,35,114,120,34,91,32,46,93,43,40,91,47,92,92,93, +250,22,136,15,0,19,35,114,120,34,91,32,46,93,43,40,91,47,92,92,93, 42,41,36,34,23,202,1,6,2,2,92,49,80,159,44,37,38,2,22,28,248, -22,185,6,194,248,22,144,14,194,193,87,94,28,28,248,22,136,14,23,195,2, -10,28,248,22,185,6,23,195,2,28,248,22,158,14,23,195,2,10,248,22,159, -14,23,195,2,11,12,250,22,167,9,23,196,2,2,23,23,197,2,28,248,22, -158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169, -7,2,24,23,200,1,23,201,1,247,22,23,87,94,28,28,248,22,136,14,23, -195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14,23,195,2,10,248, -22,159,14,23,195,2,11,12,250,22,167,9,23,196,2,2,23,23,197,2,28, -248,22,158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250, -22,169,7,2,24,23,200,1,23,201,1,247,22,23,87,94,87,94,28,28,248, -22,136,14,23,195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14,23, -195,2,10,248,22,159,14,23,195,2,11,12,250,22,167,9,195,2,23,23,197, -2,28,248,22,158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150, -7,250,22,169,7,2,24,199,23,201,1,247,22,23,249,22,3,89,162,8,44, -37,50,9,223,2,33,39,196,87,94,28,28,248,22,136,14,23,194,2,10,28, -248,22,185,6,23,194,2,28,248,22,158,14,23,194,2,10,248,22,159,14,23, -194,2,11,12,250,22,167,9,2,7,2,23,23,196,2,28,248,22,158,14,23, -194,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24, +22,186,6,194,248,22,145,14,194,193,87,94,28,28,248,22,137,14,23,195,2, +10,28,248,22,186,6,23,195,2,28,248,22,159,14,23,195,2,10,248,22,160, +14,23,195,2,11,12,250,22,168,9,23,196,2,2,23,23,197,2,28,248,22, +159,14,23,195,2,12,248,22,151,12,249,22,157,11,248,22,151,7,250,22,170, +7,2,24,23,200,1,23,201,1,247,22,23,87,94,28,28,248,22,137,14,23, +195,2,10,28,248,22,186,6,23,195,2,28,248,22,159,14,23,195,2,10,248, +22,160,14,23,195,2,11,12,250,22,168,9,23,196,2,2,23,23,197,2,28, +248,22,159,14,23,195,2,12,248,22,151,12,249,22,157,11,248,22,151,7,250, +22,170,7,2,24,23,200,1,23,201,1,247,22,23,87,94,87,94,28,28,248, +22,137,14,23,195,2,10,28,248,22,186,6,23,195,2,28,248,22,159,14,23, +195,2,10,248,22,160,14,23,195,2,11,12,250,22,168,9,195,2,23,23,197, +2,28,248,22,159,14,23,195,2,12,248,22,151,12,249,22,157,11,248,22,151, +7,250,22,170,7,2,24,199,23,201,1,247,22,23,249,22,3,89,162,8,44, +37,50,9,223,2,33,39,196,87,94,28,28,248,22,137,14,23,194,2,10,28, +248,22,186,6,23,194,2,28,248,22,159,14,23,194,2,10,248,22,160,14,23, +194,2,11,12,250,22,168,9,2,7,2,23,23,196,2,28,248,22,159,14,23, +194,2,12,248,22,151,12,249,22,157,11,248,22,151,7,250,22,170,7,2,24, 2,7,23,200,1,247,22,23,32,42,89,162,8,44,41,56,2,26,222,33,43, 28,248,22,81,23,197,2,87,94,23,196,1,28,23,197,2,196,87,94,23,197, -1,248,22,150,12,249,22,189,11,251,22,169,7,2,25,2,7,28,248,22,81, -23,203,2,87,94,23,202,1,23,201,1,250,22,1,22,154,14,23,204,1,23, -205,1,23,200,1,247,22,23,27,249,22,154,14,248,22,74,23,200,2,23,197, -2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,199,28, -248,22,149,14,193,192,252,2,42,199,200,201,248,22,75,203,203,252,2,42,198, -199,200,248,22,75,202,202,87,94,87,94,87,94,28,28,248,22,136,14,23,194, -2,10,28,248,22,185,6,23,194,2,28,248,22,158,14,23,194,2,10,248,22, -159,14,23,194,2,11,12,250,22,167,9,2,7,2,23,23,196,2,28,248,22, -158,14,23,194,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22,169, +1,248,22,151,12,249,22,190,11,251,22,170,7,2,25,2,7,28,248,22,81, +23,203,2,87,94,23,202,1,23,201,1,250,22,1,22,155,14,23,204,1,23, +205,1,23,200,1,247,22,23,27,249,22,155,14,248,22,74,23,200,2,23,197, +2,28,248,22,150,14,23,194,2,27,250,22,1,22,155,14,23,197,1,199,28, +248,22,150,14,193,192,252,2,42,199,200,201,248,22,75,203,203,252,2,42,198, +199,200,248,22,75,202,202,87,94,87,94,87,94,28,28,248,22,137,14,23,194, +2,10,28,248,22,186,6,23,194,2,28,248,22,159,14,23,194,2,10,248,22, +160,14,23,194,2,11,12,250,22,168,9,2,7,2,23,23,196,2,28,248,22, +159,14,23,194,2,12,248,22,151,12,249,22,157,11,248,22,151,7,250,22,170, 7,2,24,2,7,23,200,2,247,22,23,249,22,3,32,0,89,162,8,44,37, -49,9,222,33,41,23,196,2,27,247,22,178,14,28,248,22,81,23,194,2,248, -22,150,12,249,22,189,11,251,22,169,7,2,25,2,7,28,248,22,81,23,203, -2,87,94,23,202,1,23,201,1,250,22,1,22,154,14,23,204,1,23,205,1, -23,200,1,247,22,23,27,249,22,154,14,248,22,74,23,197,2,23,197,2,28, -248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,199,28,248,22, -149,14,193,192,252,2,42,199,200,201,248,22,75,200,11,252,2,42,198,199,200, -248,22,75,199,11,87,94,28,28,248,22,136,14,23,194,2,10,28,248,22,185, -6,23,194,2,28,248,22,158,14,23,194,2,10,248,22,159,14,23,194,2,11, -12,250,22,167,9,2,9,2,23,23,196,2,28,248,22,158,14,23,194,2,12, -248,22,150,12,249,22,156,11,248,22,150,7,250,22,169,7,2,24,2,9,23, +49,9,222,33,41,23,196,2,27,247,22,179,14,28,248,22,81,23,194,2,248, +22,151,12,249,22,190,11,251,22,170,7,2,25,2,7,28,248,22,81,23,203, +2,87,94,23,202,1,23,201,1,250,22,1,22,155,14,23,204,1,23,205,1, +23,200,1,247,22,23,27,249,22,155,14,248,22,74,23,197,2,23,197,2,28, +248,22,150,14,23,194,2,27,250,22,1,22,155,14,23,197,1,199,28,248,22, +150,14,193,192,252,2,42,199,200,201,248,22,75,200,11,252,2,42,198,199,200, +248,22,75,199,11,87,94,28,28,248,22,137,14,23,194,2,10,28,248,22,186, +6,23,194,2,28,248,22,159,14,23,194,2,10,248,22,160,14,23,194,2,11, +12,250,22,168,9,2,9,2,23,23,196,2,28,248,22,159,14,23,194,2,12, +248,22,151,12,249,22,157,11,248,22,151,7,250,22,170,7,2,24,2,9,23, 200,1,247,22,23,32,46,89,162,8,44,42,59,2,26,222,33,47,28,248,22, 81,23,198,2,87,95,23,197,1,23,194,1,28,23,198,2,197,87,94,23,198, -1,248,22,150,12,249,22,189,11,251,22,169,7,2,25,2,9,28,248,22,81, -23,204,2,87,94,23,203,1,23,202,1,250,22,1,22,154,14,23,205,1,23, -206,1,23,200,1,247,22,23,27,249,22,154,14,248,22,74,23,201,2,23,198, -2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1,23,201, -2,28,248,22,149,14,23,194,2,28,23,196,2,28,28,248,22,148,14,249,22, -154,14,195,198,10,27,28,248,22,136,14,197,248,22,140,14,197,196,27,248,22, -188,6,23,195,2,27,28,249,22,185,3,23,196,2,40,28,249,22,191,6,2, -27,249,22,143,7,23,199,2,249,22,173,3,23,200,2,40,249,22,144,7,250, -22,143,7,23,200,1,36,249,22,173,3,23,201,1,40,2,28,87,95,23,195, -1,23,194,1,11,11,28,23,193,2,248,22,148,14,249,22,154,14,198,23,196, +1,248,22,151,12,249,22,190,11,251,22,170,7,2,25,2,9,28,248,22,81, +23,204,2,87,94,23,203,1,23,202,1,250,22,1,22,155,14,23,205,1,23, +206,1,23,200,1,247,22,23,27,249,22,155,14,248,22,74,23,201,2,23,198, +2,28,248,22,150,14,23,194,2,27,250,22,1,22,155,14,23,197,1,23,201, +2,28,248,22,150,14,23,194,2,28,23,196,2,28,28,248,22,149,14,249,22, +155,14,195,198,10,27,28,248,22,137,14,197,248,22,141,14,197,196,27,248,22, +189,6,23,195,2,27,28,249,22,186,3,23,196,2,40,28,249,22,128,7,2, +27,249,22,144,7,23,199,2,249,22,174,3,23,200,2,40,249,22,145,7,250, +22,144,7,23,200,1,36,249,22,174,3,23,201,1,40,2,28,87,95,23,195, +1,23,194,1,11,11,28,23,193,2,248,22,149,14,249,22,155,14,198,23,196, 1,11,192,253,2,46,200,201,202,203,248,22,75,205,28,205,205,198,192,253,2, 46,200,201,202,203,248,22,75,205,205,253,2,46,199,200,201,202,248,22,75,204, -204,87,95,87,94,28,28,248,22,136,14,193,10,28,248,22,185,6,193,28,248, -22,158,14,193,10,248,22,159,14,193,11,12,250,22,167,9,2,9,2,23,195, -28,248,22,158,14,193,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22, -169,7,2,24,2,9,199,247,22,23,87,94,87,94,28,28,248,22,136,14,23, -195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14,23,195,2,10,248, -22,159,14,23,195,2,11,12,250,22,167,9,2,9,2,23,23,197,2,28,248, -22,158,14,23,195,2,12,248,22,150,12,249,22,156,11,248,22,150,7,250,22, -169,7,2,24,2,9,23,201,2,247,22,23,249,22,3,32,0,89,162,8,44, -37,49,9,222,33,45,23,197,2,249,22,154,14,27,247,22,178,14,253,2,46, +204,87,95,87,94,28,28,248,22,137,14,193,10,28,248,22,186,6,193,28,248, +22,159,14,193,10,248,22,160,14,193,11,12,250,22,168,9,2,9,2,23,195, +28,248,22,159,14,193,12,248,22,151,12,249,22,157,11,248,22,151,7,250,22, +170,7,2,24,2,9,199,247,22,23,87,94,87,94,28,28,248,22,137,14,23, +195,2,10,28,248,22,186,6,23,195,2,28,248,22,159,14,23,195,2,10,248, +22,160,14,23,195,2,11,12,250,22,168,9,2,9,2,23,23,197,2,28,248, +22,159,14,23,195,2,12,248,22,151,12,249,22,157,11,248,22,151,7,250,22, +170,7,2,24,2,9,23,201,2,247,22,23,249,22,3,32,0,89,162,8,44, +37,49,9,222,33,45,23,197,2,249,22,155,14,27,247,22,179,14,253,2,46, 23,199,2,201,23,203,1,23,204,1,23,199,1,11,194,32,49,89,162,44,44, 8,29,2,26,222,33,50,28,248,22,81,23,200,2,87,95,23,199,1,23,198, -1,28,23,200,2,199,87,94,23,200,1,248,23,196,1,251,22,169,7,2,25, +1,28,23,200,2,199,87,94,23,200,1,248,23,196,1,251,22,170,7,2,25, 23,199,1,28,248,22,81,23,203,2,87,94,23,202,1,23,201,1,250,22,1, -22,154,14,23,204,1,23,205,1,23,198,1,27,249,22,154,14,248,22,74,23, -203,2,23,199,2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23, -197,1,23,202,2,28,248,22,149,14,23,194,2,28,23,200,2,28,28,248,22, -148,14,249,22,154,14,23,196,2,23,203,2,10,27,28,248,22,136,14,23,202, -2,248,22,140,14,23,202,2,23,201,2,27,248,22,188,6,23,195,2,27,28, -249,22,185,3,23,196,2,40,28,249,22,191,6,2,27,249,22,143,7,23,199, -2,249,22,173,3,23,200,2,40,249,22,144,7,250,22,143,7,23,200,1,36, -249,22,173,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28, -23,193,2,248,22,148,14,249,22,154,14,23,199,2,23,196,1,11,192,27,248, +22,155,14,23,204,1,23,205,1,23,198,1,27,249,22,155,14,248,22,74,23, +203,2,23,199,2,28,248,22,150,14,23,194,2,27,250,22,1,22,155,14,23, +197,1,23,202,2,28,248,22,150,14,23,194,2,28,23,200,2,28,28,248,22, +149,14,249,22,155,14,23,196,2,23,203,2,10,27,28,248,22,137,14,23,202, +2,248,22,141,14,23,202,2,23,201,2,27,248,22,189,6,23,195,2,27,28, +249,22,186,3,23,196,2,40,28,249,22,128,7,2,27,249,22,144,7,23,199, +2,249,22,174,3,23,200,2,40,249,22,145,7,250,22,144,7,23,200,1,36, +249,22,174,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28, +23,193,2,248,22,149,14,249,22,155,14,23,199,2,23,196,1,11,192,27,248, 22,75,23,203,1,27,28,23,204,2,87,94,23,195,1,23,204,1,87,94,23, 204,1,23,195,1,28,248,22,81,23,195,2,87,95,23,202,1,23,194,1,28, -23,193,2,192,87,94,23,193,1,248,23,200,1,251,22,169,7,2,25,23,203, -1,28,248,22,81,23,207,2,87,94,23,206,1,23,205,1,250,22,1,22,154, -14,23,208,1,23,209,1,23,202,1,27,249,22,154,14,248,22,74,23,198,2, -23,203,2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1, -23,206,2,28,248,22,149,14,23,194,2,28,23,204,2,28,28,248,22,148,14, -249,22,154,14,195,206,10,27,28,248,22,136,14,205,248,22,140,14,205,204,27, -248,22,188,6,23,195,2,27,28,249,22,185,3,23,196,2,40,28,249,22,191, -6,2,27,249,22,143,7,23,199,2,249,22,173,3,23,200,2,40,249,22,144, -7,250,22,143,7,23,200,1,36,249,22,173,3,23,201,1,40,2,28,87,95, -23,195,1,23,194,1,11,11,28,23,193,2,248,22,148,14,249,22,154,14,198, +23,193,2,192,87,94,23,193,1,248,23,200,1,251,22,170,7,2,25,23,203, +1,28,248,22,81,23,207,2,87,94,23,206,1,23,205,1,250,22,1,22,155, +14,23,208,1,23,209,1,23,202,1,27,249,22,155,14,248,22,74,23,198,2, +23,203,2,28,248,22,150,14,23,194,2,27,250,22,1,22,155,14,23,197,1, +23,206,2,28,248,22,150,14,23,194,2,28,23,204,2,28,28,248,22,149,14, +249,22,155,14,195,206,10,27,28,248,22,137,14,205,248,22,141,14,205,204,27, +248,22,189,6,23,195,2,27,28,249,22,186,3,23,196,2,40,28,249,22,128, +7,2,27,249,22,144,7,23,199,2,249,22,174,3,23,200,2,40,249,22,145, +7,250,22,144,7,23,200,1,36,249,22,174,3,23,201,1,40,2,28,87,95, +23,195,1,23,194,1,11,11,28,23,193,2,248,22,149,14,249,22,155,14,198, 23,196,1,11,192,26,8,2,49,206,23,15,23,16,23,17,23,18,23,19,248, 22,75,204,28,202,202,200,192,26,8,2,49,206,23,15,23,16,23,17,23,18, 23,19,248,22,75,204,202,26,8,2,49,205,206,23,15,23,16,23,17,23,18, 248,22,75,203,201,192,27,248,22,75,23,203,1,28,248,22,81,23,194,2,87, 95,23,201,1,23,193,1,28,23,203,2,202,87,94,23,203,1,248,23,199,1, -251,22,169,7,2,25,23,202,1,28,248,22,81,23,206,2,87,94,23,205,1, -23,204,1,250,22,1,22,154,14,23,207,1,23,208,1,23,201,1,27,249,22, -154,14,248,22,74,23,197,2,23,202,2,28,248,22,149,14,23,194,2,27,250, -22,1,22,154,14,23,197,1,23,205,2,28,248,22,149,14,23,194,2,28,23, -203,2,28,28,248,22,148,14,249,22,154,14,195,205,10,27,28,248,22,136,14, -204,248,22,140,14,204,203,27,248,22,188,6,23,195,2,27,28,249,22,185,3, -23,196,2,40,28,249,22,191,6,2,27,249,22,143,7,23,199,2,249,22,173, -3,23,200,2,40,249,22,144,7,250,22,143,7,23,200,1,36,249,22,173,3, +251,22,170,7,2,25,23,202,1,28,248,22,81,23,206,2,87,94,23,205,1, +23,204,1,250,22,1,22,155,14,23,207,1,23,208,1,23,201,1,27,249,22, +155,14,248,22,74,23,197,2,23,202,2,28,248,22,150,14,23,194,2,27,250, +22,1,22,155,14,23,197,1,23,205,2,28,248,22,150,14,23,194,2,28,23, +203,2,28,28,248,22,149,14,249,22,155,14,195,205,10,27,28,248,22,137,14, +204,248,22,141,14,204,203,27,248,22,189,6,23,195,2,27,28,249,22,186,3, +23,196,2,40,28,249,22,128,7,2,27,249,22,144,7,23,199,2,249,22,174, +3,23,200,2,40,249,22,145,7,250,22,144,7,23,200,1,36,249,22,174,3, 23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,23,193,2,248, -22,148,14,249,22,154,14,198,23,196,1,11,192,26,8,2,49,205,206,23,15, +22,149,14,249,22,155,14,198,23,196,1,11,192,26,8,2,49,205,206,23,15, 23,16,23,17,23,18,248,22,75,203,28,23,20,23,20,200,192,26,8,2,49, 205,206,23,15,23,16,23,17,23,18,248,22,75,203,23,20,26,8,2,49,204, 205,206,23,15,23,16,23,17,248,22,75,202,23,19,87,94,23,193,1,27,248, 22,75,23,202,1,28,248,22,81,23,194,2,87,95,23,200,1,23,193,1,28, -23,202,2,201,87,94,23,202,1,248,23,198,1,251,22,169,7,2,25,23,201, -1,28,248,22,81,23,205,2,87,94,23,204,1,23,203,1,250,22,1,22,154, -14,23,206,1,23,207,1,23,200,1,27,249,22,154,14,248,22,74,23,197,2, -23,201,2,28,248,22,149,14,23,194,2,27,250,22,1,22,154,14,23,197,1, -23,204,2,28,248,22,149,14,23,194,2,28,23,202,2,28,28,248,22,148,14, -249,22,154,14,195,204,10,27,28,248,22,136,14,203,248,22,140,14,203,202,27, -248,22,188,6,23,195,2,27,28,249,22,185,3,23,196,2,40,28,249,22,191, -6,2,27,249,22,143,7,23,199,2,249,22,173,3,23,200,2,40,249,22,144, -7,250,22,143,7,23,200,1,36,249,22,173,3,23,201,1,40,2,28,87,95, -23,195,1,23,194,1,11,11,28,23,193,2,248,22,148,14,249,22,154,14,198, +23,202,2,201,87,94,23,202,1,248,23,198,1,251,22,170,7,2,25,23,201, +1,28,248,22,81,23,205,2,87,94,23,204,1,23,203,1,250,22,1,22,155, +14,23,206,1,23,207,1,23,200,1,27,249,22,155,14,248,22,74,23,197,2, +23,201,2,28,248,22,150,14,23,194,2,27,250,22,1,22,155,14,23,197,1, +23,204,2,28,248,22,150,14,23,194,2,28,23,202,2,28,28,248,22,149,14, +249,22,155,14,195,204,10,27,28,248,22,137,14,203,248,22,141,14,203,202,27, +248,22,189,6,23,195,2,27,28,249,22,186,3,23,196,2,40,28,249,22,128, +7,2,27,249,22,144,7,23,199,2,249,22,174,3,23,200,2,40,249,22,145, +7,250,22,144,7,23,200,1,36,249,22,174,3,23,201,1,40,2,28,87,95, +23,195,1,23,194,1,11,11,28,23,193,2,248,22,149,14,249,22,155,14,198, 23,196,1,11,192,26,8,2,49,204,205,206,23,15,23,16,23,17,248,22,75, 203,28,23,19,23,19,200,192,26,8,2,49,204,205,206,23,15,23,16,23,17, 248,22,75,203,23,19,26,8,2,49,203,204,205,206,23,15,23,16,248,22,75, -202,23,18,27,247,22,178,14,28,248,22,81,23,194,2,87,94,23,198,1,248, -23,196,1,251,22,169,7,2,25,23,199,1,28,248,22,81,23,203,2,87,94, -23,202,1,23,201,1,250,22,1,22,154,14,23,204,1,23,205,1,23,198,1, -27,249,22,154,14,248,22,74,23,197,2,23,199,2,28,248,22,149,14,23,194, -2,27,250,22,1,22,154,14,23,197,1,23,202,2,28,248,22,149,14,23,194, -2,28,23,200,2,28,28,248,22,148,14,249,22,154,14,195,202,10,27,28,248, -22,136,14,201,248,22,140,14,201,200,27,248,22,188,6,23,195,2,27,28,249, -22,185,3,23,196,2,40,28,249,22,191,6,2,27,249,22,143,7,23,199,2, -249,22,173,3,23,200,2,40,249,22,144,7,250,22,143,7,23,200,1,36,249, -22,173,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,23, -193,2,248,22,148,14,249,22,154,14,198,23,196,1,11,192,26,8,2,49,202, +202,23,18,27,247,22,179,14,28,248,22,81,23,194,2,87,94,23,198,1,248, +23,196,1,251,22,170,7,2,25,23,199,1,28,248,22,81,23,203,2,87,94, +23,202,1,23,201,1,250,22,1,22,155,14,23,204,1,23,205,1,23,198,1, +27,249,22,155,14,248,22,74,23,197,2,23,199,2,28,248,22,150,14,23,194, +2,27,250,22,1,22,155,14,23,197,1,23,202,2,28,248,22,150,14,23,194, +2,28,23,200,2,28,28,248,22,149,14,249,22,155,14,195,202,10,27,28,248, +22,137,14,201,248,22,141,14,201,200,27,248,22,189,6,23,195,2,27,28,249, +22,186,3,23,196,2,40,28,249,22,128,7,2,27,249,22,144,7,23,199,2, +249,22,174,3,23,200,2,40,249,22,145,7,250,22,144,7,23,200,1,36,249, +22,174,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,23, +193,2,248,22,149,14,249,22,155,14,198,23,196,1,11,192,26,8,2,49,202, 203,204,205,206,23,15,248,22,75,203,200,192,26,8,2,49,202,203,204,205,206, 23,15,248,22,75,203,11,26,8,2,49,201,202,203,204,205,206,248,22,75,202, -11,87,95,28,28,248,22,137,14,23,194,2,10,28,248,22,136,14,23,194,2, -10,28,248,22,185,6,23,194,2,28,248,22,158,14,23,194,2,10,248,22,159, -14,23,194,2,11,12,252,22,167,9,23,200,2,2,29,36,23,198,2,23,199, -2,28,28,248,22,185,6,23,195,2,10,248,22,174,7,23,195,2,87,94,23, -194,1,12,252,22,167,9,23,200,2,2,30,37,23,198,2,23,199,1,91,159, -39,11,90,161,39,36,11,248,22,157,14,23,197,2,87,94,23,195,1,87,94, -28,192,12,250,22,168,9,23,201,1,2,31,23,199,1,249,22,7,194,195,91, -159,38,11,90,161,38,36,11,87,95,28,28,248,22,137,14,23,196,2,10,28, -248,22,136,14,23,196,2,10,28,248,22,185,6,23,196,2,28,248,22,158,14, -23,196,2,10,248,22,159,14,23,196,2,11,12,252,22,167,9,2,11,2,29, -36,23,200,2,23,201,2,28,28,248,22,185,6,23,197,2,10,248,22,174,7, -23,197,2,12,252,22,167,9,2,11,2,30,37,23,200,2,23,201,2,91,159, -39,11,90,161,39,36,11,248,22,157,14,23,199,2,87,94,23,195,1,87,94, -28,192,12,250,22,168,9,2,11,2,31,23,201,2,249,22,7,194,195,27,249, -22,146,14,250,22,134,15,0,20,35,114,120,35,34,40,63,58,91,46,93,91, -94,46,93,42,124,41,36,34,248,22,142,14,23,201,1,28,248,22,185,6,23, -203,2,249,22,136,8,23,204,1,8,63,23,202,1,28,248,22,137,14,23,199, -2,248,22,138,14,23,199,1,87,94,23,198,1,247,22,139,14,28,248,22,136, -14,194,249,22,154,14,195,194,192,91,159,38,11,90,161,38,36,11,87,95,28, -28,248,22,137,14,23,196,2,10,28,248,22,136,14,23,196,2,10,28,248,22, -185,6,23,196,2,28,248,22,158,14,23,196,2,10,248,22,159,14,23,196,2, -11,12,252,22,167,9,2,12,2,29,36,23,200,2,23,201,2,28,28,248,22, -185,6,23,197,2,10,248,22,174,7,23,197,2,12,252,22,167,9,2,12,2, -30,37,23,200,2,23,201,2,91,159,39,11,90,161,39,36,11,248,22,157,14, -23,199,2,87,94,23,195,1,87,94,28,192,12,250,22,168,9,2,12,2,31, -23,201,2,249,22,7,194,195,27,249,22,146,14,249,22,186,7,250,22,135,15, -0,9,35,114,120,35,34,91,46,93,34,248,22,142,14,23,203,1,6,1,1, -95,28,248,22,185,6,23,202,2,249,22,136,8,23,203,1,8,63,23,201,1, -28,248,22,137,14,23,199,2,248,22,138,14,23,199,1,87,94,23,198,1,247, -22,139,14,28,248,22,136,14,194,249,22,154,14,195,194,192,249,247,22,150,5, +11,87,95,28,28,248,22,138,14,23,194,2,10,28,248,22,137,14,23,194,2, +10,28,248,22,186,6,23,194,2,28,248,22,159,14,23,194,2,10,248,22,160, +14,23,194,2,11,12,252,22,168,9,23,200,2,2,29,36,23,198,2,23,199, +2,28,28,248,22,186,6,23,195,2,10,248,22,175,7,23,195,2,87,94,23, +194,1,12,252,22,168,9,23,200,2,2,30,37,23,198,2,23,199,1,91,159, +39,11,90,161,39,36,11,248,22,158,14,23,197,2,87,94,23,195,1,87,94, +28,192,12,250,22,169,9,23,201,1,2,31,23,199,1,249,22,7,194,195,91, +159,38,11,90,161,38,36,11,87,95,28,28,248,22,138,14,23,196,2,10,28, +248,22,137,14,23,196,2,10,28,248,22,186,6,23,196,2,28,248,22,159,14, +23,196,2,10,248,22,160,14,23,196,2,11,12,252,22,168,9,2,11,2,29, +36,23,200,2,23,201,2,28,28,248,22,186,6,23,197,2,10,248,22,175,7, +23,197,2,12,252,22,168,9,2,11,2,30,37,23,200,2,23,201,2,91,159, +39,11,90,161,39,36,11,248,22,158,14,23,199,2,87,94,23,195,1,87,94, +28,192,12,250,22,169,9,2,11,2,31,23,201,2,249,22,7,194,195,27,249, +22,147,14,250,22,135,15,0,20,35,114,120,35,34,40,63,58,91,46,93,91, +94,46,93,42,124,41,36,34,248,22,143,14,23,201,1,28,248,22,186,6,23, +203,2,249,22,137,8,23,204,1,8,63,23,202,1,28,248,22,138,14,23,199, +2,248,22,139,14,23,199,1,87,94,23,198,1,247,22,140,14,28,248,22,137, +14,194,249,22,155,14,195,194,192,91,159,38,11,90,161,38,36,11,87,95,28, +28,248,22,138,14,23,196,2,10,28,248,22,137,14,23,196,2,10,28,248,22, +186,6,23,196,2,28,248,22,159,14,23,196,2,10,248,22,160,14,23,196,2, +11,12,252,22,168,9,2,12,2,29,36,23,200,2,23,201,2,28,28,248,22, +186,6,23,197,2,10,248,22,175,7,23,197,2,12,252,22,168,9,2,12,2, +30,37,23,200,2,23,201,2,91,159,39,11,90,161,39,36,11,248,22,158,14, +23,199,2,87,94,23,195,1,87,94,28,192,12,250,22,169,9,2,12,2,31, +23,201,2,249,22,7,194,195,27,249,22,147,14,249,22,187,7,250,22,136,15, +0,9,35,114,120,35,34,91,46,93,34,248,22,143,14,23,203,1,6,1,1, +95,28,248,22,186,6,23,202,2,249,22,137,8,23,203,1,8,63,23,201,1, +28,248,22,138,14,23,199,2,248,22,139,14,23,199,1,87,94,23,198,1,247, +22,140,14,28,248,22,137,14,194,249,22,155,14,195,194,192,249,247,22,151,5, 194,11,249,80,159,38,48,37,9,9,249,80,159,38,48,37,195,9,27,247,22, -180,14,249,80,158,39,49,28,23,195,2,27,248,22,141,8,6,11,11,80,76, +181,14,249,80,158,39,49,28,23,195,2,27,248,22,142,8,6,11,11,80,76, 84,67,79,76,76,69,67,84,83,28,192,192,6,0,0,6,0,0,27,28,23, -196,1,250,22,154,14,248,22,176,14,69,97,100,100,111,110,45,100,105,114,247, -22,139,8,6,8,8,99,111,108,108,101,99,116,115,11,27,248,80,159,42,54, -37,250,22,87,23,203,1,248,22,83,248,22,176,14,72,99,111,108,108,101,99, +196,1,250,22,155,14,248,22,177,14,69,97,100,100,111,110,45,100,105,114,247, +22,140,8,6,8,8,99,111,108,108,101,99,116,115,11,27,248,80,159,42,54, +37,250,22,87,23,203,1,248,22,83,248,22,177,14,72,99,111,108,108,101,99, 116,115,45,100,105,114,23,204,1,28,193,249,22,73,195,194,192,32,59,89,162, 8,44,39,8,29,2,20,222,33,61,0,8,35,114,120,35,34,92,34,34,27, -249,22,187,14,23,197,2,23,198,2,28,23,193,2,87,94,23,196,1,27,248, -22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,187,14,23,201,2, +249,22,188,14,23,197,2,23,198,2,28,23,193,2,87,94,23,196,1,27,248, +22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,188,14,23,201,2, 23,196,2,28,23,193,2,87,94,23,194,1,27,248,22,98,23,195,2,27,27, -248,22,107,23,197,1,27,249,22,187,14,23,205,2,23,196,2,28,23,193,2, +248,22,107,23,197,1,27,249,22,188,14,23,205,2,23,196,2,28,23,193,2, 87,94,23,194,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27, -249,22,187,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, +249,22,188,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, 22,98,23,195,2,27,250,2,59,23,211,2,23,212,1,248,22,107,23,199,1, -28,249,22,182,7,23,196,2,2,32,249,22,87,23,210,2,194,249,22,73,248, -22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23, -200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,182,7, -23,196,2,2,32,249,22,87,23,208,2,9,249,22,73,248,22,145,14,28,249, -22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23, -197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,206,2,194,249, -22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15, -2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7, -23,196,2,2,32,249,22,87,23,204,2,9,249,22,73,248,22,145,14,28,249, -22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23, -197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,202,2,194,249, -22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15, -2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7, -23,196,2,2,32,249,22,87,23,200,2,9,249,22,73,248,22,145,14,28,249, -22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23, -197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,197,194,87,94,23, -196,1,249,22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250, -22,135,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249, -22,182,7,23,198,2,2,32,249,22,87,195,9,87,94,23,194,1,249,22,73, -248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60, -23,202,1,2,33,23,199,1,9,87,95,28,28,248,22,174,7,23,195,2,10, -248,22,185,6,23,195,2,12,250,22,167,9,2,15,6,21,21,98,121,116,101, +28,249,22,183,7,23,196,2,2,32,249,22,87,23,210,2,194,249,22,73,248, +22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23, +200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,183,7, +23,196,2,2,32,249,22,87,23,208,2,9,249,22,73,248,22,146,14,28,249, +22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,183,7,23,196,2,2,32,249,22,87,23,206,2,194,249, +22,73,248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,183,7, +23,196,2,2,32,249,22,87,23,204,2,9,249,22,73,248,22,146,14,28,249, +22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,183,7,23,196,2,2,32,249,22,87,23,202,2,194,249, +22,73,248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,183,7, +23,196,2,2,32,249,22,87,23,200,2,9,249,22,73,248,22,146,14,28,249, +22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,183,7,23,196,2,2,32,249,22,87,197,194,87,94,23, +196,1,249,22,73,248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250, +22,136,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249, +22,183,7,23,198,2,2,32,249,22,87,195,9,87,94,23,194,1,249,22,73, +248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15,2,60, +23,202,1,2,33,23,199,1,9,87,95,28,28,248,22,175,7,23,195,2,10, +248,22,186,6,23,195,2,12,250,22,168,9,2,15,6,21,21,98,121,116,101, 32,115,116,114,105,110,103,32,111,114,32,115,116,114,105,110,103,23,197,2,28, -28,248,22,82,23,196,2,249,22,4,22,136,14,23,197,2,11,12,250,22,167, +28,248,22,82,23,196,2,249,22,4,22,137,14,23,197,2,11,12,250,22,168, 9,2,15,6,13,13,108,105,115,116,32,111,102,32,112,97,116,104,115,23,198, -2,27,28,248,22,185,6,23,196,2,248,22,135,8,23,196,1,23,195,1,27, -249,22,187,14,23,197,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, -22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,187,14,23,201,2, +2,27,28,248,22,186,6,23,196,2,248,22,136,8,23,196,1,23,195,1,27, +249,22,188,14,23,197,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, +22,98,23,195,2,27,27,248,22,107,23,197,1,27,249,22,188,14,23,201,2, 23,196,2,28,23,193,2,87,94,23,194,1,27,248,22,98,23,195,2,27,27, -248,22,107,23,197,1,27,249,22,187,14,23,205,2,23,196,2,28,23,193,2, +248,22,107,23,197,1,27,249,22,188,14,23,205,2,23,196,2,28,23,193,2, 87,94,23,194,1,27,248,22,98,23,195,2,27,27,248,22,107,23,197,1,27, -249,22,187,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, +249,22,188,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, 22,98,23,195,2,27,250,2,59,23,214,2,23,212,1,248,22,107,23,199,1, -28,249,22,182,7,23,196,2,2,32,249,22,87,23,213,2,194,249,22,73,248, -22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23, -200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,182,7, -23,196,2,2,32,249,22,87,23,211,2,9,249,22,73,248,22,145,14,28,249, -22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23, -197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,209,2,194,249, -22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15, -2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7, -23,196,2,2,32,249,22,87,23,207,2,9,249,22,73,248,22,145,14,28,249, -22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23, -197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,23,205,2,194,249, -22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15, -2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,182,7, -23,196,2,2,32,249,22,87,23,203,2,9,249,22,73,248,22,145,14,28,249, -22,131,9,247,22,143,8,2,22,250,22,135,15,2,60,23,200,1,2,33,23, -197,1,9,28,249,22,182,7,23,196,2,2,32,249,22,87,200,194,87,94,23, -199,1,249,22,73,248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250, -22,135,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249, -22,182,7,23,196,2,2,32,249,22,87,198,9,87,94,23,197,1,249,22,73, -248,22,145,14,28,249,22,131,9,247,22,143,8,2,22,250,22,135,15,2,60, +28,249,22,183,7,23,196,2,2,32,249,22,87,23,213,2,194,249,22,73,248, +22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23, +200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,183,7, +23,196,2,2,32,249,22,87,23,211,2,9,249,22,73,248,22,146,14,28,249, +22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,183,7,23,196,2,2,32,249,22,87,23,209,2,194,249, +22,73,248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,183,7, +23,196,2,2,32,249,22,87,23,207,2,9,249,22,73,248,22,146,14,28,249, +22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,183,7,23,196,2,2,32,249,22,87,23,205,2,194,249, +22,73,248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,183,7, +23,196,2,2,32,249,22,87,23,203,2,9,249,22,73,248,22,146,14,28,249, +22,132,9,247,22,144,8,2,22,250,22,136,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,183,7,23,196,2,2,32,249,22,87,200,194,87,94,23, +199,1,249,22,73,248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250, +22,136,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249, +22,183,7,23,196,2,2,32,249,22,87,198,9,87,94,23,197,1,249,22,73, +248,22,146,14,28,249,22,132,9,247,22,144,8,2,22,250,22,136,15,2,60, 23,200,1,2,33,23,197,1,9,32,63,89,162,8,44,39,53,70,102,111,117, 110,100,45,101,120,101,99,222,33,66,32,64,89,162,8,44,40,58,64,110,101, -120,116,222,33,65,27,248,22,162,14,23,196,2,28,249,22,133,9,23,195,2, -23,197,1,11,28,248,22,158,14,23,194,2,27,249,22,154,14,23,197,1,23, -196,1,28,23,197,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,197, -2,87,95,23,195,1,23,194,1,27,28,23,202,2,27,248,22,162,14,23,199, -2,28,249,22,133,9,23,195,2,23,200,2,11,28,248,22,158,14,23,194,2, -250,2,63,23,205,2,23,206,2,249,22,154,14,23,200,2,23,198,1,250,2, +120,116,222,33,65,27,248,22,163,14,23,196,2,28,249,22,134,9,23,195,2, +23,197,1,11,28,248,22,159,14,23,194,2,27,249,22,155,14,23,197,1,23, +196,1,28,23,197,2,91,159,39,11,90,161,39,36,11,248,22,158,14,23,197, +2,87,95,23,195,1,23,194,1,27,28,23,202,2,27,248,22,163,14,23,199, +2,28,249,22,134,9,23,195,2,23,200,2,11,28,248,22,159,14,23,194,2, +250,2,63,23,205,2,23,206,2,249,22,155,14,23,200,2,23,198,1,250,2, 63,23,205,2,23,206,2,23,196,1,11,28,23,193,2,192,87,94,23,193,1, -27,28,248,22,136,14,23,196,2,27,249,22,154,14,23,198,2,23,205,2,28, -28,248,22,149,14,193,10,248,22,148,14,193,192,11,11,28,23,193,2,192,87, -94,23,193,1,28,23,203,2,11,27,248,22,162,14,23,200,2,28,249,22,133, -9,23,195,2,23,201,1,11,28,248,22,158,14,23,194,2,250,2,63,23,206, -1,23,207,1,249,22,154,14,23,201,1,23,198,1,250,2,63,205,206,195,192, -87,94,23,194,1,28,23,196,2,91,159,39,11,90,161,39,36,11,248,22,157, -14,23,197,2,87,95,23,195,1,23,194,1,27,28,23,201,2,27,248,22,162, -14,23,199,2,28,249,22,133,9,23,195,2,23,200,2,11,28,248,22,158,14, -23,194,2,250,2,63,23,204,2,23,205,2,249,22,154,14,23,200,2,23,198, +27,28,248,22,137,14,23,196,2,27,249,22,155,14,23,198,2,23,205,2,28, +28,248,22,150,14,193,10,248,22,149,14,193,192,11,11,28,23,193,2,192,87, +94,23,193,1,28,23,203,2,11,27,248,22,163,14,23,200,2,28,249,22,134, +9,23,195,2,23,201,1,11,28,248,22,159,14,23,194,2,250,2,63,23,206, +1,23,207,1,249,22,155,14,23,201,1,23,198,1,250,2,63,205,206,195,192, +87,94,23,194,1,28,23,196,2,91,159,39,11,90,161,39,36,11,248,22,158, +14,23,197,2,87,95,23,195,1,23,194,1,27,28,23,201,2,27,248,22,163, +14,23,199,2,28,249,22,134,9,23,195,2,23,200,2,11,28,248,22,159,14, +23,194,2,250,2,63,23,204,2,23,205,2,249,22,155,14,23,200,2,23,198, 1,250,2,63,23,204,2,23,205,2,23,196,1,11,28,23,193,2,192,87,94, -23,193,1,27,28,248,22,136,14,23,196,2,27,249,22,154,14,23,198,2,23, -204,2,28,28,248,22,149,14,193,10,248,22,148,14,193,192,11,11,28,23,193, -2,192,87,94,23,193,1,28,23,202,2,11,27,248,22,162,14,23,200,2,28, -249,22,133,9,23,195,2,23,201,1,11,28,248,22,158,14,23,194,2,250,2, -63,23,205,1,23,206,1,249,22,154,14,23,201,1,23,198,1,250,2,63,204, -205,195,192,28,23,193,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23, +23,193,1,27,28,248,22,137,14,23,196,2,27,249,22,155,14,23,198,2,23, +204,2,28,28,248,22,150,14,193,10,248,22,149,14,193,192,11,11,28,23,193, +2,192,87,94,23,193,1,28,23,202,2,11,27,248,22,163,14,23,200,2,28, +249,22,134,9,23,195,2,23,201,1,11,28,248,22,159,14,23,194,2,250,2, +63,23,205,1,23,206,1,249,22,155,14,23,201,1,23,198,1,250,2,63,204, +205,195,192,28,23,193,2,91,159,39,11,90,161,39,36,11,248,22,158,14,23, 199,2,87,95,23,195,1,23,194,1,27,28,23,198,2,251,2,64,23,198,2, 23,203,2,23,201,2,23,202,2,11,28,23,193,2,192,87,94,23,193,1,27, -28,248,22,136,14,195,27,249,22,154,14,197,200,28,28,248,22,149,14,193,10, -248,22,148,14,193,192,11,11,28,192,192,28,198,11,251,2,64,198,203,201,202, +28,248,22,137,14,195,27,249,22,155,14,197,200,28,28,248,22,150,14,193,10, +248,22,149,14,193,192,11,11,28,192,192,28,198,11,251,2,64,198,203,201,202, 194,32,67,89,162,8,44,40,8,31,2,20,222,33,68,28,248,22,81,23,197, -2,11,27,248,22,161,14,248,22,74,23,199,2,27,249,22,154,14,23,196,1, -23,197,2,28,248,22,148,14,23,194,2,250,2,63,198,199,195,87,94,23,193, -1,27,248,22,75,23,200,1,28,248,22,81,23,194,2,11,27,248,22,161,14, -248,22,74,23,196,2,27,249,22,154,14,23,196,1,23,200,2,28,248,22,148, +2,11,27,248,22,162,14,248,22,74,23,199,2,27,249,22,155,14,23,196,1, +23,197,2,28,248,22,149,14,23,194,2,250,2,63,198,199,195,87,94,23,193, +1,27,248,22,75,23,200,1,28,248,22,81,23,194,2,11,27,248,22,162,14, +248,22,74,23,196,2,27,249,22,155,14,23,196,1,23,200,2,28,248,22,149, 14,23,194,2,250,2,63,201,202,195,87,94,23,193,1,27,248,22,75,23,197, -1,28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,74,23,196,2,27, -249,22,154,14,23,196,1,23,203,2,28,248,22,148,14,23,194,2,250,2,63, +1,28,248,22,81,23,194,2,11,27,248,22,162,14,248,22,74,23,196,2,27, +249,22,155,14,23,196,1,23,203,2,28,248,22,149,14,23,194,2,250,2,63, 204,205,195,87,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194, -2,11,27,248,22,161,14,248,22,74,23,196,2,27,249,22,154,14,23,196,1, -23,206,2,28,248,22,148,14,23,194,2,250,2,63,23,15,23,16,195,87,94, +2,11,27,248,22,162,14,248,22,74,23,196,2,27,249,22,155,14,23,196,1, +23,206,2,28,248,22,149,14,23,194,2,250,2,63,23,15,23,16,195,87,94, 23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,2,11,27,248,22, -161,14,248,22,74,23,196,2,27,249,22,154,14,23,196,1,23,209,2,28,248, -22,148,14,23,194,2,250,2,63,23,18,23,19,195,87,94,23,193,1,27,248, -22,75,23,197,1,28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,74, -195,27,249,22,154,14,23,196,1,23,19,28,248,22,148,14,193,250,2,63,23, +162,14,248,22,74,23,196,2,27,249,22,155,14,23,196,1,23,209,2,28,248, +22,149,14,23,194,2,250,2,63,23,18,23,19,195,87,94,23,193,1,27,248, +22,75,23,197,1,28,248,22,81,23,194,2,11,27,248,22,162,14,248,22,74, +195,27,249,22,155,14,23,196,1,23,19,28,248,22,149,14,193,250,2,63,23, 21,23,22,195,251,2,67,23,21,23,22,23,23,248,22,75,199,87,95,28,28, -248,22,136,14,23,195,2,10,28,248,22,185,6,23,195,2,28,248,22,158,14, -23,195,2,10,248,22,159,14,23,195,2,11,12,250,22,167,9,2,16,6,25, +248,22,137,14,23,195,2,10,28,248,22,186,6,23,195,2,28,248,22,159,14, +23,195,2,10,248,22,160,14,23,195,2,11,12,250,22,168,9,2,16,6,25, 25,112,97,116,104,32,111,114,32,115,116,114,105,110,103,32,40,115,97,110,115, -32,110,117,108,41,23,197,2,28,28,23,195,2,28,28,248,22,136,14,23,196, -2,10,28,248,22,185,6,23,196,2,28,248,22,158,14,23,196,2,10,248,22, -159,14,23,196,2,11,248,22,158,14,23,196,2,11,10,12,250,22,167,9,2, +32,110,117,108,41,23,197,2,28,28,23,195,2,28,28,248,22,137,14,23,196, +2,10,28,248,22,186,6,23,196,2,28,248,22,159,14,23,196,2,10,248,22, +160,14,23,196,2,11,248,22,159,14,23,196,2,11,10,12,250,22,168,9,2, 16,6,29,29,35,102,32,111,114,32,114,101,108,97,116,105,118,101,32,112,97, -116,104,32,111,114,32,115,116,114,105,110,103,23,198,2,28,28,248,22,158,14, -23,195,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,198,2,249,22, -131,9,194,68,114,101,108,97,116,105,118,101,11,27,248,22,141,8,6,4,4, +116,104,32,111,114,32,115,116,114,105,110,103,23,198,2,28,28,248,22,159,14, +23,195,2,91,159,39,11,90,161,39,36,11,248,22,158,14,23,198,2,249,22, +132,9,194,68,114,101,108,97,116,105,118,101,11,27,248,22,142,8,6,4,4, 80,65,84,72,27,28,23,194,2,27,249,80,159,41,49,38,23,197,1,9,28, -249,22,131,9,247,22,143,8,2,22,249,22,73,248,22,145,14,5,1,46,194, -192,87,94,23,194,1,9,28,248,22,81,23,194,2,11,27,248,22,161,14,248, -22,74,23,196,2,27,249,22,154,14,23,196,1,23,200,2,28,248,22,148,14, +249,22,132,9,247,22,144,8,2,22,249,22,73,248,22,146,14,5,1,46,194, +192,87,94,23,194,1,9,28,248,22,81,23,194,2,11,27,248,22,162,14,248, +22,74,23,196,2,27,249,22,155,14,23,196,1,23,200,2,28,248,22,149,14, 23,194,2,250,2,63,201,202,195,87,94,23,193,1,27,248,22,75,23,197,1, -28,248,22,81,23,194,2,11,27,248,22,161,14,248,22,74,23,196,2,27,249, -22,154,14,23,196,1,23,203,2,28,248,22,148,14,23,194,2,250,2,63,204, +28,248,22,81,23,194,2,11,27,248,22,162,14,248,22,74,23,196,2,27,249, +22,155,14,23,196,1,23,203,2,28,248,22,149,14,23,194,2,250,2,63,204, 205,195,87,94,23,193,1,27,248,22,75,23,197,1,28,248,22,81,23,194,2, -11,27,248,22,161,14,248,22,74,195,27,249,22,154,14,23,196,1,205,28,248, -22,148,14,193,250,2,63,23,15,23,16,195,251,2,67,23,15,23,16,23,17, -248,22,75,199,27,248,22,161,14,23,196,1,28,248,22,148,14,193,250,2,63, +11,27,248,22,162,14,248,22,74,195,27,249,22,155,14,23,196,1,205,28,248, +22,149,14,193,250,2,63,23,15,23,16,195,251,2,67,23,15,23,16,23,17, +248,22,75,199,27,248,22,162,14,23,196,1,28,248,22,149,14,193,250,2,63, 198,199,195,11,250,80,159,39,50,37,196,197,11,250,80,159,39,50,37,196,11, -11,87,94,249,22,174,6,247,22,146,5,195,248,22,136,6,249,22,189,3,36, -249,22,173,3,197,198,27,28,23,197,2,87,95,23,196,1,23,195,1,23,197, -1,87,94,23,197,1,27,248,22,176,14,2,21,27,249,80,159,41,50,37,23, -196,1,11,27,248,22,128,4,23,199,1,27,28,23,194,2,23,194,1,87,94, -23,194,1,36,27,248,22,128,4,23,202,1,27,28,23,194,2,23,194,1,87, -94,23,194,1,36,249,22,177,5,23,199,1,83,158,40,20,100,95,89,162,8, -44,36,48,9,224,4,2,33,72,23,195,1,23,197,1,27,248,22,162,5,23, +11,87,94,249,22,175,6,247,22,147,5,195,248,22,137,6,249,22,190,3,36, +249,22,174,3,197,198,27,28,23,197,2,87,95,23,196,1,23,195,1,23,197, +1,87,94,23,197,1,27,248,22,177,14,2,21,27,249,80,159,41,50,37,23, +196,1,11,27,248,22,129,4,23,199,1,27,28,23,194,2,23,194,1,87,94, +23,194,1,36,27,248,22,129,4,23,202,1,27,28,23,194,2,23,194,1,87, +94,23,194,1,36,249,22,178,5,23,199,1,83,158,40,20,100,95,89,162,8, +44,36,48,9,224,4,2,33,72,23,195,1,23,197,1,27,248,22,163,5,23, 195,1,248,80,159,39,55,37,193,159,36,20,105,159,36,16,1,11,16,0,83, 158,42,20,103,145,2,1,2,1,29,11,11,11,11,11,10,43,80,158,36,36, 20,105,159,38,16,18,2,2,2,3,2,4,2,5,2,6,2,7,2,8,2, @@ -496,7 +496,7 @@ 36,16,0,16,18,83,158,36,16,2,89,162,8,44,37,51,2,20,223,0,33, 34,80,159,36,55,37,83,158,36,16,2,89,162,8,44,37,56,2,20,223,0, 33,35,80,159,36,54,37,83,158,36,16,2,32,0,89,162,44,37,45,2,2, -222,33,36,80,159,36,36,37,83,158,36,16,2,249,22,187,6,7,92,7,92, +222,33,36,80,159,36,36,37,83,158,36,16,2,249,22,188,6,7,92,7,92, 80,159,36,37,37,83,158,36,16,2,89,162,44,37,54,2,4,223,0,33,37, 80,159,36,38,37,83,158,36,16,2,32,0,89,162,8,44,38,50,2,5,222, 33,38,80,159,36,39,37,83,158,36,16,2,32,0,89,162,8,44,39,51,2, @@ -510,8 +510,8 @@ 32,0,89,162,44,37,44,2,13,222,33,55,80,159,36,47,37,83,158,36,16, 2,83,158,39,20,99,96,2,14,89,162,44,36,44,9,223,0,33,56,89,162, 44,37,45,9,223,0,33,57,89,162,44,38,55,9,223,0,33,58,80,159,36, -48,37,83,158,36,16,2,27,248,22,183,14,248,22,135,8,27,28,249,22,131, -9,247,22,143,8,2,22,6,1,1,59,6,1,1,58,250,22,169,7,6,14, +48,37,83,158,36,16,2,27,248,22,184,14,248,22,136,8,27,28,249,22,132, +9,247,22,144,8,2,22,6,1,1,59,6,1,1,58,250,22,170,7,6,14, 14,40,91,94,126,97,93,42,41,126,97,40,46,42,41,23,196,2,23,196,1, 89,162,8,44,38,8,30,2,15,223,0,33,62,80,159,36,49,37,83,158,36, 16,2,83,158,39,20,99,96,2,16,89,162,8,44,39,8,24,9,223,0,33, @@ -522,7 +522,7 @@ EVAL_ONE_SIZED_STR((char *)expr, 8818); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,55,9,0,0,0,1,0,0,10,0,16, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,56,9,0,0,0,1,0,0,10,0,16, 0,29,0,44,0,58,0,72,0,86,0,128,0,0,0,57,1,0,0,69,35, 37,98,117,105,108,116,105,110,65,113,117,111,116,101,29,94,2,2,67,35,37, 117,116,105,108,115,11,29,94,2,2,69,35,37,110,101,116,119,111,114,107,11, @@ -542,7 +542,7 @@ EVAL_ONE_SIZED_STR((char *)expr, 353); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,55,74,0,0,0,1,0,0,7,0,18, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,8,53,46,48,46,57,57,46,56,74,0,0,0,1,0,0,7,0,18, 0,45,0,51,0,64,0,73,0,80,0,102,0,124,0,150,0,162,0,180,0, 200,0,212,0,228,0,251,0,7,1,38,1,45,1,50,1,55,1,60,1,65, 1,70,1,79,1,84,1,88,1,94,1,101,1,107,1,115,1,124,1,145,1, @@ -568,98 +568,98 @@ 97,109,101,5,3,46,122,111,5,3,46,122,111,6,6,6,110,97,116,105,118, 101,64,108,111,111,112,63,108,105,98,6,3,3,46,115,115,6,4,4,46,114, 107,116,5,4,46,114,107,116,67,105,103,110,111,114,101,100,249,22,14,195,80, -159,38,46,38,250,22,154,14,23,197,1,23,199,1,249,80,159,43,39,38,23, -198,1,2,23,250,22,154,14,23,197,1,23,199,1,249,80,159,43,39,38,23, -198,1,2,24,252,22,154,14,23,199,1,23,201,1,2,25,247,22,144,8,249, -80,159,45,39,38,23,200,1,80,159,45,36,38,252,22,154,14,23,199,1,23, -201,1,2,25,247,22,144,8,249,80,159,45,39,38,23,200,1,80,159,45,36, -38,27,252,22,154,14,23,200,1,23,202,1,2,25,247,22,144,8,249,80,159, -46,39,38,23,201,1,80,159,46,36,38,27,250,22,171,14,196,11,32,0,89, -162,8,44,36,41,9,222,11,28,192,249,22,73,195,194,11,27,252,22,154,14, -23,200,1,23,202,1,2,25,247,22,144,8,249,80,159,46,39,38,23,201,1, -80,159,46,36,38,27,250,22,171,14,196,11,32,0,89,162,8,44,36,41,9, -222,11,28,192,249,22,73,195,194,11,27,250,22,154,14,23,198,1,23,200,1, -249,80,159,44,39,38,23,199,1,2,23,27,250,22,171,14,196,11,32,0,89, -162,8,44,36,41,9,222,11,28,192,249,22,73,195,194,11,27,250,22,154,14, -23,198,1,23,200,1,249,80,159,44,39,38,23,199,1,2,24,27,250,22,171, +159,38,46,38,250,22,155,14,23,197,1,23,199,1,249,80,159,43,39,38,23, +198,1,2,23,250,22,155,14,23,197,1,23,199,1,249,80,159,43,39,38,23, +198,1,2,24,252,22,155,14,23,199,1,23,201,1,2,25,247,22,145,8,249, +80,159,45,39,38,23,200,1,80,159,45,36,38,252,22,155,14,23,199,1,23, +201,1,2,25,247,22,145,8,249,80,159,45,39,38,23,200,1,80,159,45,36, +38,27,252,22,155,14,23,200,1,23,202,1,2,25,247,22,145,8,249,80,159, +46,39,38,23,201,1,80,159,46,36,38,27,250,22,172,14,196,11,32,0,89, +162,8,44,36,41,9,222,11,28,192,249,22,73,195,194,11,27,252,22,155,14, +23,200,1,23,202,1,2,25,247,22,145,8,249,80,159,46,39,38,23,201,1, +80,159,46,36,38,27,250,22,172,14,196,11,32,0,89,162,8,44,36,41,9, +222,11,28,192,249,22,73,195,194,11,27,250,22,155,14,23,198,1,23,200,1, +249,80,159,44,39,38,23,199,1,2,23,27,250,22,172,14,196,11,32,0,89, +162,8,44,36,41,9,222,11,28,192,249,22,73,195,194,11,27,250,22,155,14, +23,198,1,23,200,1,249,80,159,44,39,38,23,199,1,2,24,27,250,22,172, 14,196,11,32,0,89,162,8,44,36,41,9,222,11,28,192,249,22,73,195,194, -11,87,94,28,248,80,159,37,38,38,23,195,2,12,250,22,167,9,77,108,111, +11,87,94,28,248,80,159,37,38,38,23,195,2,12,250,22,168,9,77,108,111, 97,100,47,117,115,101,45,99,111,109,112,105,108,101,100,6,25,25,112,97,116, 104,32,111,114,32,118,97,108,105,100,45,112,97,116,104,32,115,116,114,105,110, -103,23,197,2,91,159,46,11,90,161,37,36,11,28,248,22,160,14,23,205,2, -23,204,2,27,247,22,151,5,28,23,193,2,249,22,161,14,23,207,2,23,195, -1,23,205,2,90,161,39,37,11,248,22,157,14,23,205,1,87,94,23,196,1, -90,161,38,40,11,28,23,205,2,27,248,22,141,14,23,197,2,27,248,22,179, -7,23,195,2,28,28,249,22,185,3,23,195,2,40,249,22,182,7,5,4,46, -114,107,116,249,22,185,7,23,198,2,249,22,173,3,23,199,2,40,11,249,22, -7,23,199,2,248,22,145,14,249,22,186,7,250,22,185,7,23,202,1,36,249, -22,173,3,23,203,1,40,5,3,46,115,115,249,22,7,23,199,2,11,249,22, -7,23,197,2,11,90,161,37,42,11,28,249,22,131,9,23,199,2,23,197,2, -23,193,2,249,22,154,14,23,196,2,23,199,2,90,161,37,43,11,28,23,198, -2,28,249,22,131,9,23,200,2,23,197,1,23,193,1,87,94,23,193,1,249, -22,154,14,23,196,2,23,200,2,87,94,23,195,1,11,90,161,37,44,11,28, -249,22,131,9,23,196,2,68,114,101,108,97,116,105,118,101,87,94,23,194,1, -2,22,23,194,1,90,161,37,45,11,247,22,179,14,27,250,22,171,14,23,203, +103,23,197,2,91,159,46,11,90,161,37,36,11,28,248,22,161,14,23,205,2, +23,204,2,27,247,22,152,5,28,23,193,2,249,22,162,14,23,207,2,23,195, +1,23,205,2,90,161,39,37,11,248,22,158,14,23,205,1,87,94,23,196,1, +90,161,38,40,11,28,23,205,2,27,248,22,142,14,23,197,2,27,248,22,180, +7,23,195,2,28,28,249,22,186,3,23,195,2,40,249,22,183,7,5,4,46, +114,107,116,249,22,186,7,23,198,2,249,22,174,3,23,199,2,40,11,249,22, +7,23,199,2,248,22,146,14,249,22,187,7,250,22,186,7,23,202,1,36,249, +22,174,3,23,203,1,40,5,3,46,115,115,249,22,7,23,199,2,11,249,22, +7,23,197,2,11,90,161,37,42,11,28,249,22,132,9,23,199,2,23,197,2, +23,193,2,249,22,155,14,23,196,2,23,199,2,90,161,37,43,11,28,23,198, +2,28,249,22,132,9,23,200,2,23,197,1,23,193,1,87,94,23,193,1,249, +22,155,14,23,196,2,23,200,2,87,94,23,195,1,11,90,161,37,44,11,28, +249,22,132,9,23,196,2,68,114,101,108,97,116,105,118,101,87,94,23,194,1, +2,22,23,194,1,90,161,37,45,11,247,22,180,14,27,250,22,172,14,23,203, 2,11,32,0,89,162,8,44,36,41,9,222,11,27,28,23,194,2,249,22,73, 23,203,2,23,196,1,87,94,23,194,1,11,27,28,23,203,2,28,23,194,2, -11,27,250,22,171,14,23,207,2,11,32,0,89,162,8,44,36,41,9,222,11, +11,27,250,22,172,14,23,207,2,11,32,0,89,162,8,44,36,41,9,222,11, 28,192,249,22,73,23,206,2,194,11,11,27,28,23,195,2,23,195,2,23,194, 2,27,89,162,44,37,50,62,122,111,225,15,13,9,33,33,27,89,162,44,37, 50,66,97,108,116,45,122,111,225,16,14,11,33,34,27,89,162,44,37,52,9, 225,17,15,11,33,35,27,89,162,44,37,52,9,225,18,16,13,33,36,27,28, -23,200,2,23,200,2,248,22,129,9,23,200,2,27,28,23,208,2,28,23,200, -2,87,94,23,201,1,23,200,2,248,22,129,9,23,202,1,11,27,28,23,195, +23,200,2,23,200,2,248,22,130,9,23,200,2,27,28,23,208,2,28,23,200, +2,87,94,23,201,1,23,200,2,248,22,130,9,23,202,1,11,27,28,23,195, 2,28,23,197,1,27,249,22,5,89,162,8,44,37,53,9,225,24,22,18,33, 37,23,216,2,27,28,23,202,2,11,193,28,192,192,28,193,28,23,202,2,28, -249,22,185,3,248,22,75,196,248,22,75,23,205,2,193,11,11,11,11,87,94, +249,22,186,3,248,22,75,196,248,22,75,23,205,2,193,11,11,11,11,87,94, 23,197,1,11,28,23,193,2,87,105,23,213,1,23,211,1,23,210,1,23,209, 1,23,208,1,23,201,1,23,200,1,23,199,1,23,198,1,23,196,1,23,195, 1,23,194,1,20,14,159,80,159,57,40,38,250,80,159,8,24,41,38,249,22, -27,11,80,159,8,26,40,38,22,173,4,11,20,14,159,80,159,57,40,38,250, -80,159,8,24,41,38,249,22,27,11,80,159,8,26,40,38,22,151,5,28,248, -22,136,14,23,216,2,23,215,1,87,94,23,215,1,247,22,177,14,249,247,22, -182,14,248,22,74,195,23,25,87,94,23,193,1,27,28,23,195,2,28,23,197, +27,11,80,159,8,26,40,38,22,174,4,11,20,14,159,80,159,57,40,38,250, +80,159,8,24,41,38,249,22,27,11,80,159,8,26,40,38,22,152,5,28,248, +22,137,14,23,216,2,23,215,1,87,94,23,215,1,247,22,178,14,249,247,22, +183,14,248,22,74,195,23,25,87,94,23,193,1,27,28,23,195,2,28,23,197, 1,27,249,22,5,89,162,8,44,37,53,9,225,25,23,20,33,38,23,217,2, -27,28,23,204,2,11,193,28,192,192,28,193,28,203,28,249,22,185,3,248,22, +27,28,23,204,2,11,193,28,192,192,28,193,28,203,28,249,22,186,3,248,22, 75,196,248,22,75,206,193,11,11,11,11,87,94,23,197,1,11,28,23,193,2, 87,102,23,214,1,23,211,1,23,210,1,23,209,1,23,201,1,23,200,1,23, 199,1,23,196,1,23,195,1,20,14,159,80,159,58,40,38,250,80,159,8,25, -41,38,249,22,27,11,80,159,8,27,40,38,22,173,4,23,215,1,20,14,159, +41,38,249,22,27,11,80,159,8,27,40,38,22,174,4,23,215,1,20,14,159, 80,159,58,40,38,250,80,159,8,25,41,38,249,22,27,11,80,159,8,27,40, -38,22,151,5,28,248,22,136,14,23,217,2,23,216,1,87,94,23,216,1,247, -22,177,14,249,247,22,182,14,248,22,74,195,23,26,87,94,23,193,1,27,28, +38,22,152,5,28,248,22,137,14,23,217,2,23,216,1,87,94,23,216,1,247, +22,178,14,249,247,22,183,14,248,22,74,195,23,26,87,94,23,193,1,27,28, 23,197,2,28,23,201,1,27,249,22,5,83,158,40,20,100,94,89,162,8,44, 37,51,9,225,26,24,20,33,39,23,213,1,23,218,2,27,28,23,204,2,11, -193,28,192,192,28,193,28,23,204,2,28,249,22,185,3,248,22,75,196,248,22, +193,28,192,192,28,193,28,23,204,2,28,249,22,186,3,248,22,75,196,248,22, 75,23,207,2,193,11,11,11,87,94,23,210,1,11,87,94,23,201,1,11,28, 23,193,2,87,101,23,215,1,23,213,1,23,212,1,23,211,1,23,202,1,23, 200,1,23,197,1,23,196,1,20,14,159,80,159,59,40,38,250,80,159,8,26, -41,38,249,22,27,11,80,159,8,28,40,38,22,173,4,11,20,14,159,80,159, +41,38,249,22,27,11,80,159,8,28,40,38,22,174,4,11,20,14,159,80,159, 59,40,38,250,80,159,8,26,41,38,249,22,27,11,80,159,8,28,40,38,22, -151,5,28,248,22,136,14,23,218,2,23,217,1,87,94,23,217,1,247,22,177, -14,249,247,22,149,5,248,22,74,195,23,27,87,94,23,193,1,27,28,23,197, +152,5,28,248,22,137,14,23,218,2,23,217,1,87,94,23,217,1,247,22,178, +14,249,247,22,150,5,248,22,74,195,23,27,87,94,23,193,1,27,28,23,197, 1,28,23,201,1,27,249,22,5,83,158,40,20,100,94,89,162,8,44,37,51, 9,225,27,25,22,33,40,23,215,1,23,219,1,27,28,23,205,2,11,193,28, -192,192,28,193,28,204,28,249,22,185,3,248,22,75,196,248,22,75,23,15,193, +192,192,28,193,28,204,28,249,22,186,3,248,22,75,196,248,22,75,23,15,193, 11,11,11,87,95,23,216,1,23,212,1,11,87,94,23,201,1,11,28,23,193, 2,87,95,23,213,1,23,198,1,20,14,159,80,159,8,24,40,38,250,80,159, -8,27,41,38,249,22,27,11,80,159,8,29,40,38,22,173,4,23,217,1,20, +8,27,41,38,249,22,27,11,80,159,8,29,40,38,22,174,4,23,217,1,20, 14,159,80,159,8,24,40,38,250,80,159,8,27,41,38,249,22,27,11,80,159, -8,29,40,38,22,151,5,28,248,22,136,14,23,219,2,23,218,1,87,94,23, -218,1,247,22,177,14,249,247,22,149,5,248,22,74,195,23,28,87,94,23,193, +8,29,40,38,22,152,5,28,248,22,137,14,23,219,2,23,218,1,87,94,23, +218,1,247,22,178,14,249,247,22,150,5,248,22,74,195,23,28,87,94,23,193, 1,27,28,23,199,2,87,94,23,215,1,23,214,1,87,94,23,214,1,23,215, 1,20,14,159,80,159,8,25,40,38,250,80,159,8,28,41,38,249,22,27,11, -80,159,8,30,40,38,22,173,4,28,23,30,28,23,202,1,11,195,87,94,23, +80,159,8,30,40,38,22,174,4,28,23,30,28,23,202,1,11,195,87,94,23, 202,1,11,20,14,159,80,159,8,25,40,38,250,80,159,8,28,41,38,249,22, -27,11,80,159,8,30,40,38,22,151,5,28,248,22,136,14,23,220,2,23,219, -1,87,94,23,219,1,247,22,177,14,249,247,22,149,5,194,23,29,0,17,35, +27,11,80,159,8,30,40,38,22,152,5,28,248,22,137,14,23,220,2,23,219, +1,87,94,23,219,1,247,22,178,14,249,247,22,150,5,194,23,29,0,17,35, 114,120,34,94,40,46,42,63,41,47,40,46,42,41,36,34,32,43,89,162,8, -44,37,59,2,26,222,33,44,27,249,22,187,14,2,42,23,196,2,28,23,193, +44,37,59,2,26,222,33,44,27,249,22,188,14,2,42,23,196,2,28,23,193, 2,87,94,23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107,23,197, -1,27,249,22,187,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249, -22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,187,14,2, +1,27,249,22,188,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249, +22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,188,14,2, 42,23,196,2,28,23,193,2,87,94,23,194,1,249,22,73,248,22,98,23,196, -2,27,248,22,107,23,197,1,27,249,22,187,14,2,42,23,196,2,28,23,193, +2,27,248,22,107,23,197,1,27,249,22,188,14,2,42,23,196,2,28,23,193, 2,87,94,23,194,1,249,22,73,248,22,98,23,196,2,248,2,43,248,22,107, 23,197,1,248,22,83,194,248,22,83,194,248,22,83,194,248,22,83,194,32,45, 89,162,44,37,8,40,2,26,222,33,46,28,248,22,81,248,22,75,23,195,2, @@ -683,12 +683,12 @@ 200,196,195,249,22,7,249,22,73,248,22,74,201,196,195,249,22,7,249,22,73, 248,22,74,200,196,195,249,22,7,249,22,73,248,22,74,201,196,195,249,22,7, 249,22,73,248,22,74,200,196,195,249,22,7,249,22,73,248,22,74,201,196,195, -249,22,7,249,22,73,248,22,74,200,196,195,27,27,249,22,187,14,2,42,23, +249,22,7,249,22,73,248,22,74,200,196,195,27,27,249,22,188,14,2,42,23, 197,2,28,23,193,2,87,94,23,195,1,249,22,73,248,22,98,23,196,2,27, -248,22,107,23,197,1,27,249,22,187,14,2,42,23,196,2,28,23,193,2,87, +248,22,107,23,197,1,27,249,22,188,14,2,42,23,196,2,28,23,193,2,87, 94,23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27, -249,22,187,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249,22,73, -248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,187,14,2,42,23, +249,22,188,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249,22,73, +248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,188,14,2,42,23, 196,2,28,23,193,2,87,94,23,194,1,249,22,73,248,22,98,23,196,2,248, 2,43,248,22,107,23,197,1,248,22,83,194,248,22,83,194,248,22,83,194,248, 22,83,195,28,23,195,1,192,28,248,22,81,248,22,75,23,195,2,249,22,7, @@ -712,14 +712,14 @@ 249,22,7,249,22,73,248,22,74,202,196,195,249,22,7,249,22,73,248,22,74, 202,196,195,249,22,7,249,22,73,248,22,74,202,196,195,249,22,7,249,22,73, 248,22,74,202,196,195,249,22,7,249,22,73,248,22,74,202,196,195,249,22,7, -249,22,73,248,22,74,200,196,195,87,95,28,248,22,191,4,195,12,250,22,167, +249,22,73,248,22,74,200,196,195,87,95,28,248,22,128,5,195,12,250,22,168, 9,2,18,6,20,20,114,101,115,111,108,118,101,100,45,109,111,100,117,108,101, 45,112,97,116,104,197,28,24,193,2,248,24,194,1,195,87,94,23,193,1,12, -27,250,22,153,2,80,159,41,43,38,248,22,148,15,247,22,178,12,11,27,28, +27,250,22,153,2,80,159,41,43,38,248,22,149,15,247,22,179,12,11,27,28, 23,194,2,193,87,94,23,194,1,27,247,22,133,2,87,94,250,22,151,2,80, -159,43,43,38,248,22,148,15,247,22,178,12,195,192,250,22,151,2,195,199,66, -97,116,116,97,99,104,251,211,197,198,199,10,28,192,250,22,166,9,11,196,195, -248,22,164,9,194,32,51,89,162,44,37,8,34,2,26,222,33,52,28,248,22, +159,43,43,38,248,22,149,15,247,22,179,12,195,192,250,22,151,2,195,199,66, +97,116,116,97,99,104,251,211,197,198,199,10,28,192,250,22,167,9,11,196,195, +248,22,165,9,194,32,51,89,162,44,37,8,34,2,26,222,33,52,28,248,22, 81,248,22,75,23,195,2,249,22,7,9,248,22,74,195,27,248,22,75,194,91, 159,38,11,90,161,38,36,11,28,248,22,81,248,22,75,23,197,2,249,22,7, 9,248,22,74,197,91,159,38,11,90,161,38,36,11,27,248,22,75,198,28,248, @@ -737,10 +737,10 @@ 249,22,73,248,22,74,200,196,195,249,22,7,249,22,73,248,22,74,201,196,195, 249,22,7,249,22,73,248,22,74,200,196,195,249,22,7,249,22,73,248,22,74, 201,196,195,249,22,7,249,22,73,248,22,74,200,196,195,32,53,89,162,8,44, -37,55,2,26,222,33,54,27,249,22,187,14,2,42,23,196,2,28,23,193,2, +37,55,2,26,222,33,54,27,249,22,188,14,2,42,23,196,2,28,23,193,2, 87,94,23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107,23,197,1, -27,249,22,187,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249,22, -73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,187,14,2,42, +27,249,22,188,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249,22, +73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,188,14,2,42, 23,196,2,28,23,193,2,87,94,23,194,1,249,22,73,248,22,98,23,196,2, 248,2,53,248,22,107,23,197,1,248,22,83,194,248,22,83,194,248,22,83,194, 32,55,89,162,44,37,8,34,2,26,222,33,56,28,248,22,81,248,22,75,23, @@ -761,13 +761,13 @@ 74,200,196,195,249,22,7,249,22,73,248,22,74,201,196,195,249,22,7,249,22, 73,248,22,74,200,196,195,249,22,7,249,22,73,248,22,74,201,196,195,249,22, 7,249,22,73,248,22,74,200,196,195,32,57,89,162,8,44,37,55,2,26,222, -33,58,27,249,22,187,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1, -249,22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,187,14, +33,58,27,249,22,188,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1, +249,22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,188,14, 2,42,23,196,2,28,23,193,2,87,94,23,194,1,249,22,73,248,22,98,23, -196,2,27,248,22,107,23,197,1,27,249,22,187,14,2,42,23,196,2,28,23, +196,2,27,248,22,107,23,197,1,27,249,22,188,14,2,42,23,196,2,28,23, 193,2,87,94,23,194,1,249,22,73,248,22,98,23,196,2,248,2,57,248,22, -107,23,197,1,248,22,83,194,248,22,83,194,248,22,83,194,28,249,22,191,6, -194,6,1,1,46,2,22,28,249,22,191,6,194,6,2,2,46,46,62,117,112, +107,23,197,1,248,22,83,194,248,22,83,194,248,22,83,194,28,249,22,128,7, +194,6,1,1,46,2,22,28,249,22,128,7,194,6,2,2,46,46,62,117,112, 192,0,11,35,114,120,34,91,46,93,115,115,36,34,32,61,89,162,44,37,8, 34,2,26,222,33,62,28,248,22,81,248,22,75,23,195,2,249,22,7,9,248, 22,74,195,27,248,22,75,194,91,159,38,11,90,161,38,36,11,28,248,22,81, @@ -786,129 +786,129 @@ 248,22,74,201,196,195,249,22,7,249,22,73,248,22,74,200,196,195,249,22,7, 249,22,73,248,22,74,201,196,195,249,22,7,249,22,73,248,22,74,200,196,195, 249,22,7,249,22,73,248,22,74,201,196,195,249,22,7,249,22,73,248,22,74, -200,196,195,32,63,89,162,8,44,37,55,2,26,222,33,64,27,249,22,187,14, +200,196,195,32,63,89,162,8,44,37,55,2,26,222,33,64,27,249,22,188,14, 2,42,23,196,2,28,23,193,2,87,94,23,194,1,249,22,73,248,22,98,23, -196,2,27,248,22,107,23,197,1,27,249,22,187,14,2,42,23,196,2,28,23, +196,2,27,248,22,107,23,197,1,27,249,22,188,14,2,42,23,196,2,28,23, 193,2,87,94,23,194,1,249,22,73,248,22,98,23,196,2,27,248,22,107,23, -197,1,27,249,22,187,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1, +197,1,27,249,22,188,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1, 249,22,73,248,22,98,23,196,2,248,2,63,248,22,107,23,197,1,248,22,83, 194,248,22,83,194,248,22,83,194,32,65,89,162,8,44,37,55,2,26,222,33, -66,27,249,22,187,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249, -22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,187,14,2, +66,27,249,22,188,14,2,42,23,196,2,28,23,193,2,87,94,23,194,1,249, +22,73,248,22,98,23,196,2,27,248,22,107,23,197,1,27,249,22,188,14,2, 42,23,196,2,28,23,193,2,87,94,23,194,1,249,22,73,248,22,98,23,196, -2,27,248,22,107,23,197,1,27,249,22,187,14,2,42,23,196,2,28,23,193, +2,27,248,22,107,23,197,1,27,249,22,188,14,2,42,23,196,2,28,23,193, 2,87,94,23,194,1,249,22,73,248,22,98,23,196,2,248,2,65,248,22,107, 23,197,1,248,22,83,194,248,22,83,194,248,22,83,194,27,248,2,65,23,195, -1,192,28,249,22,133,9,248,22,75,23,200,2,23,197,1,28,249,22,131,9, -248,22,74,23,200,2,23,196,1,251,22,164,9,2,18,6,28,28,99,121,99, +1,192,28,249,22,134,9,248,22,75,23,200,2,23,197,1,28,249,22,132,9, +248,22,74,23,200,2,23,196,1,251,22,165,9,2,18,6,28,28,99,121,99, 108,101,32,105,110,32,108,111,97,100,105,110,103,32,97,116,32,126,46,115,58, 32,126,46,115,23,200,1,249,22,2,22,75,248,22,88,249,22,73,23,206,1, -23,202,1,12,12,247,192,20,14,159,80,159,40,45,38,249,22,73,248,22,148, -15,247,22,178,12,23,197,1,20,14,159,80,159,40,40,38,250,80,159,43,41, -38,249,22,27,11,80,159,45,40,38,22,172,4,23,196,1,249,247,22,150,5, -23,198,1,248,22,61,248,22,140,14,23,198,1,87,94,28,28,248,22,136,14, -23,196,2,10,248,22,135,5,23,196,2,12,28,23,197,2,250,22,166,9,11, +23,202,1,12,12,247,192,20,14,159,80,159,40,45,38,249,22,73,248,22,149, +15,247,22,179,12,23,197,1,20,14,159,80,159,40,40,38,250,80,159,43,41, +38,249,22,27,11,80,159,45,40,38,22,173,4,23,196,1,249,247,22,151,5, +23,198,1,248,22,61,248,22,141,14,23,198,1,87,94,28,28,248,22,137,14, +23,196,2,10,248,22,136,5,23,196,2,12,28,23,197,2,250,22,167,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,167,9,2,18,6,19,19,109,111,100,117,108,101,45,112,97,116,104,32, -111,114,32,112,97,116,104,23,198,2,28,28,248,22,71,23,196,2,249,22,131, -9,248,22,74,23,198,2,2,4,11,248,22,128,5,248,22,98,196,28,28,248, -22,71,23,196,2,249,22,131,9,248,22,74,23,198,2,66,112,108,97,110,101, +250,22,168,9,2,18,6,19,19,109,111,100,117,108,101,45,112,97,116,104,32, +111,114,32,112,97,116,104,23,198,2,28,28,248,22,71,23,196,2,249,22,132, +9,248,22,74,23,198,2,2,4,11,248,22,129,5,248,22,98,196,28,28,248, +22,71,23,196,2,249,22,132,9,248,22,74,23,198,2,66,112,108,97,110,101, 116,11,87,94,28,207,12,20,14,159,80,159,37,52,38,80,158,37,50,90,161, -37,36,10,249,22,174,4,21,94,2,27,6,19,19,112,108,97,110,101,116,47, +37,36,10,249,22,175,4,21,94,2,27,6,19,19,112,108,97,110,101,116,47, 114,101,115,111,108,118,101,114,46,114,107,116,1,27,112,108,97,110,101,116,45, 109,111,100,117,108,101,45,110,97,109,101,45,114,101,115,111,108,118,101,114,12, 252,212,199,200,201,202,80,158,42,50,87,94,23,193,1,27,89,162,8,44,37, 46,79,115,104,111,119,45,99,111,108,108,101,99,116,105,111,110,45,101,114,114, 223,5,33,50,27,28,248,22,58,23,198,2,27,250,22,153,2,80,159,43,44, -38,249,22,73,23,203,2,247,22,178,14,11,28,23,193,2,192,87,94,23,193, +38,249,22,73,23,203,2,247,22,179,14,11,28,23,193,2,192,87,94,23,193, 1,91,159,38,11,90,161,38,36,11,27,248,22,64,23,202,2,248,2,51,248, 2,53,23,195,1,27,28,248,22,81,23,195,2,6,8,8,109,97,105,110,46, -114,107,116,249,22,144,7,23,197,2,6,4,4,46,114,107,116,27,252,80,159, +114,107,116,249,22,145,7,23,197,2,6,4,4,46,114,107,116,27,252,80,159, 49,54,38,2,18,23,204,1,28,248,22,81,23,201,2,23,201,1,87,94,23, 201,1,248,22,74,23,201,2,28,248,22,81,23,201,2,87,94,23,200,1,9, -248,22,75,23,201,1,23,199,2,249,22,154,14,23,195,1,23,196,1,28,248, -22,185,6,23,198,2,87,94,23,194,1,27,28,23,199,2,28,249,22,131,9, -23,201,2,80,158,42,47,80,158,40,48,27,248,22,129,5,23,201,2,28,248, -22,136,14,23,194,2,91,159,39,11,90,161,39,36,11,248,22,157,14,23,197, +248,22,75,23,201,1,23,199,2,249,22,155,14,23,195,1,23,196,1,28,248, +22,186,6,23,198,2,87,94,23,194,1,27,28,23,199,2,28,249,22,132,9, +23,201,2,80,158,42,47,80,158,40,48,27,248,22,130,5,23,201,2,28,248, +22,137,14,23,194,2,91,159,39,11,90,161,39,36,11,248,22,158,14,23,197, 1,87,95,83,160,38,11,80,158,44,47,23,203,2,83,160,38,11,80,158,44, 48,192,192,11,11,27,28,23,194,2,23,194,1,87,94,23,194,1,27,247,22, -151,5,28,23,193,2,192,87,94,23,193,1,247,22,177,14,27,250,22,153,2, +152,5,28,23,193,2,192,87,94,23,193,1,247,22,178,14,27,250,22,153,2, 80,159,45,44,38,249,22,73,23,205,2,23,199,2,11,28,23,193,2,192,87, 94,23,193,1,91,159,38,11,90,161,38,36,11,248,2,55,248,2,57,23,204, -2,250,22,1,22,154,14,23,199,1,249,22,87,249,22,2,32,0,89,162,8, -44,37,44,9,222,33,59,23,200,1,248,22,83,27,248,22,188,6,23,202,2, -28,249,22,185,3,194,39,28,249,22,191,6,2,28,249,22,143,7,204,249,22, -173,3,198,39,249,22,144,7,250,22,143,7,205,36,249,22,173,3,199,39,2, -29,200,200,28,248,22,136,14,23,198,2,87,94,23,194,1,28,248,22,159,14, -23,198,2,27,248,22,163,14,23,199,2,91,159,39,11,90,161,39,36,11,248, -22,157,14,23,197,2,87,95,23,195,1,23,193,1,28,249,22,187,14,2,60, -248,22,141,14,23,197,1,249,80,159,45,53,38,23,198,1,2,30,195,248,22, +2,250,22,1,22,155,14,23,199,1,249,22,87,249,22,2,32,0,89,162,8, +44,37,44,9,222,33,59,23,200,1,248,22,83,27,248,22,189,6,23,202,2, +28,249,22,186,3,194,39,28,249,22,128,7,2,28,249,22,144,7,204,249,22, +174,3,198,39,249,22,145,7,250,22,144,7,205,36,249,22,174,3,199,39,2, +29,200,200,28,248,22,137,14,23,198,2,87,94,23,194,1,28,248,22,160,14, +23,198,2,27,248,22,164,14,23,199,2,91,159,39,11,90,161,39,36,11,248, +22,158,14,23,197,2,87,95,23,195,1,23,193,1,28,249,22,188,14,2,60, +248,22,142,14,23,197,1,249,80,159,45,53,38,23,198,1,2,30,195,248,22, 83,6,26,26,32,40,97,32,112,97,116,104,32,109,117,115,116,32,98,101,32, -97,98,115,111,108,117,116,101,41,28,249,22,131,9,248,22,74,23,200,2,2, -27,27,250,22,153,2,80,159,43,44,38,249,22,73,23,203,2,247,22,178,14, +97,98,115,111,108,117,116,101,41,28,249,22,132,9,248,22,74,23,200,2,2, +27,27,250,22,153,2,80,159,43,44,38,249,22,73,23,203,2,247,22,179,14, 11,28,23,193,2,192,87,94,23,193,1,91,159,39,11,90,161,38,36,11,27, 248,22,98,23,203,2,248,2,61,248,2,63,23,195,1,90,161,37,38,11,28, -248,22,81,248,22,100,23,203,2,28,248,22,81,23,194,2,249,22,191,14,0, +248,22,81,248,22,100,23,203,2,28,248,22,81,23,194,2,249,22,128,15,0, 8,35,114,120,34,91,46,93,34,23,196,2,11,10,27,28,23,196,2,27,248, -22,188,6,23,197,2,28,249,22,185,3,194,39,28,249,22,191,6,2,28,249, -22,143,7,23,200,2,249,22,173,3,198,39,249,22,144,7,250,22,143,7,23, -201,2,36,249,22,173,3,199,39,2,29,23,196,2,23,196,2,28,248,22,81, -23,195,2,6,8,8,109,97,105,110,46,114,107,116,28,249,22,191,14,0,8, -35,114,120,34,91,46,93,34,23,197,2,27,248,22,188,6,23,197,2,28,249, -22,185,3,194,39,28,249,22,191,6,2,28,249,22,143,7,23,200,2,249,22, -173,3,198,39,249,22,144,7,250,22,143,7,23,201,2,36,249,22,173,3,199, -39,2,29,23,196,2,23,196,2,249,22,144,7,23,197,2,6,4,4,46,114, +22,189,6,23,197,2,28,249,22,186,3,194,39,28,249,22,128,7,2,28,249, +22,144,7,23,200,2,249,22,174,3,198,39,249,22,145,7,250,22,144,7,23, +201,2,36,249,22,174,3,199,39,2,29,23,196,2,23,196,2,28,248,22,81, +23,195,2,6,8,8,109,97,105,110,46,114,107,116,28,249,22,128,15,0,8, +35,114,120,34,91,46,93,34,23,197,2,27,248,22,189,6,23,197,2,28,249, +22,186,3,194,39,28,249,22,128,7,2,28,249,22,144,7,23,200,2,249,22, +174,3,198,39,249,22,145,7,250,22,144,7,23,201,2,36,249,22,174,3,199, +39,2,29,23,196,2,23,196,2,249,22,145,7,23,197,2,6,4,4,46,114, 107,116,27,28,23,197,1,87,94,23,196,1,249,22,87,28,248,22,81,248,22, 100,23,207,2,21,93,6,5,5,109,122,108,105,98,249,22,1,22,87,249,22, 2,32,0,89,162,8,44,37,44,9,222,33,67,248,22,100,23,210,2,23,197, 1,28,248,22,81,23,196,2,87,94,23,195,1,248,22,83,23,197,1,87,94, 23,196,1,23,195,1,27,252,80,159,51,54,38,2,18,23,206,1,248,22,74, -23,200,2,248,22,75,23,200,1,23,200,2,249,22,154,14,23,195,1,23,197, -1,28,249,22,131,9,248,22,74,23,200,2,64,102,105,108,101,27,248,22,163, -14,249,22,161,14,248,22,165,14,248,22,98,23,203,2,27,28,23,203,2,28, -249,22,131,9,23,205,2,80,158,46,47,80,158,44,48,27,248,22,129,5,23, -205,2,28,248,22,136,14,23,194,2,91,159,39,11,90,161,39,36,11,248,22, -157,14,23,197,1,87,95,83,160,38,11,80,158,48,47,23,207,2,83,160,38, +23,200,2,248,22,75,23,200,1,23,200,2,249,22,155,14,23,195,1,23,197, +1,28,249,22,132,9,248,22,74,23,200,2,64,102,105,108,101,27,248,22,164, +14,249,22,162,14,248,22,166,14,248,22,98,23,203,2,27,28,23,203,2,28, +249,22,132,9,23,205,2,80,158,46,47,80,158,44,48,27,248,22,130,5,23, +205,2,28,248,22,137,14,23,194,2,91,159,39,11,90,161,39,36,11,248,22, +158,14,23,197,1,87,95,83,160,38,11,80,158,48,47,23,207,2,83,160,38, 11,80,158,48,48,192,192,11,11,28,23,193,2,192,87,94,23,193,1,27,247, -22,151,5,28,23,193,2,192,87,94,23,193,1,247,22,177,14,91,159,39,11, -90,161,39,36,11,248,22,157,14,23,197,2,87,95,23,195,1,23,193,1,28, -249,22,187,14,2,60,248,22,141,14,23,197,1,249,80,159,45,53,38,23,198, -1,2,30,195,12,87,94,28,28,248,22,136,14,23,194,2,10,248,22,146,8, -23,194,2,87,94,23,199,1,12,28,23,199,2,250,22,166,9,67,114,101,113, -117,105,114,101,249,22,169,7,6,17,17,98,97,100,32,109,111,100,117,108,101, +22,152,5,28,23,193,2,192,87,94,23,193,1,247,22,178,14,91,159,39,11, +90,161,39,36,11,248,22,158,14,23,197,2,87,95,23,195,1,23,193,1,28, +249,22,188,14,2,60,248,22,142,14,23,197,1,249,80,159,45,53,38,23,198, +1,2,30,195,12,87,94,28,28,248,22,137,14,23,194,2,10,248,22,147,8, +23,194,2,87,94,23,199,1,12,28,23,199,2,250,22,167,9,67,114,101,113, +117,105,114,101,249,22,170,7,6,17,17,98,97,100,32,109,111,100,117,108,101, 32,112,97,116,104,126,97,28,23,198,2,248,22,74,23,199,2,6,0,0,23, -202,1,87,94,23,199,1,250,22,167,9,2,18,249,22,169,7,6,13,13,109, +202,1,87,94,23,199,1,250,22,168,9,2,18,249,22,170,7,6,13,13,109, 111,100,117,108,101,32,112,97,116,104,126,97,28,23,198,2,248,22,74,23,199, -2,6,0,0,23,200,2,27,28,248,22,146,8,23,195,2,249,22,151,8,23, -196,2,36,249,22,163,14,248,22,164,14,23,197,2,11,27,28,248,22,146,8, -23,196,2,249,22,151,8,23,197,2,37,248,80,159,42,55,38,23,195,2,91, -159,39,11,90,161,39,36,11,28,248,22,146,8,23,199,2,250,22,7,2,31, -249,22,151,8,23,203,2,38,2,31,248,22,157,14,23,198,2,87,95,23,195, -1,23,193,1,27,28,248,22,146,8,23,200,2,249,22,151,8,23,201,2,39, -249,80,159,47,53,38,23,197,2,5,0,27,28,248,22,146,8,23,201,2,249, -22,151,8,23,202,2,40,248,22,128,5,23,200,2,27,27,250,22,153,2,80, -159,51,43,38,248,22,148,15,247,22,178,12,11,28,23,193,2,192,87,94,23, -193,1,27,247,22,133,2,87,94,250,22,151,2,80,159,52,43,38,248,22,148, -15,247,22,178,12,195,192,87,95,28,23,208,1,27,250,22,153,2,23,197,2, +2,6,0,0,23,200,2,27,28,248,22,147,8,23,195,2,249,22,152,8,23, +196,2,36,249,22,164,14,248,22,165,14,23,197,2,11,27,28,248,22,147,8, +23,196,2,249,22,152,8,23,197,2,37,248,80,159,42,55,38,23,195,2,91, +159,39,11,90,161,39,36,11,28,248,22,147,8,23,199,2,250,22,7,2,31, +249,22,152,8,23,203,2,38,2,31,248,22,158,14,23,198,2,87,95,23,195, +1,23,193,1,27,28,248,22,147,8,23,200,2,249,22,152,8,23,201,2,39, +249,80,159,47,53,38,23,197,2,5,0,27,28,248,22,147,8,23,201,2,249, +22,152,8,23,202,2,40,248,22,129,5,23,200,2,27,27,250,22,153,2,80, +159,51,43,38,248,22,149,15,247,22,179,12,11,28,23,193,2,192,87,94,23, +193,1,27,247,22,133,2,87,94,250,22,151,2,80,159,52,43,38,248,22,149, +15,247,22,179,12,195,192,87,95,28,23,208,1,27,250,22,153,2,23,197,2, 197,11,28,23,193,1,12,87,95,27,27,28,248,22,17,80,159,51,46,38,80, 159,50,46,38,247,22,19,250,22,25,248,22,23,23,197,2,80,159,53,45,38, -23,196,1,27,248,22,148,15,247,22,178,12,249,22,3,83,158,40,20,100,94, +23,196,1,27,248,22,149,15,247,22,179,12,249,22,3,83,158,40,20,100,94, 89,162,8,44,37,55,9,226,12,11,2,3,33,68,23,195,1,23,196,1,248, 28,248,22,17,80,159,50,46,38,32,0,89,162,44,37,42,9,222,33,69,80, 159,49,59,37,89,162,44,36,51,9,227,13,9,8,4,3,33,70,250,22,151, -2,23,197,1,197,10,12,28,28,248,22,146,8,23,202,1,11,28,248,22,185, +2,23,197,1,197,10,12,28,28,248,22,147,8,23,202,1,11,28,248,22,186, 6,23,206,2,10,28,248,22,58,23,206,2,10,28,248,22,71,23,206,2,249, -22,131,9,248,22,74,23,208,2,2,27,11,250,22,151,2,80,159,50,44,38, -28,248,22,185,6,23,209,2,249,22,73,23,210,1,27,28,23,212,2,28,249, -22,131,9,23,214,2,80,158,55,47,87,94,23,212,1,80,158,53,48,27,248, -22,129,5,23,214,2,28,248,22,136,14,23,194,2,91,159,39,11,90,161,39, -36,11,248,22,157,14,23,197,1,87,95,83,160,38,11,80,158,57,47,23,23, +22,132,9,248,22,74,23,208,2,2,27,11,250,22,151,2,80,159,50,44,38, +28,248,22,186,6,23,209,2,249,22,73,23,210,1,27,28,23,212,2,28,249, +22,132,9,23,214,2,80,158,55,47,87,94,23,212,1,80,158,53,48,27,248, +22,130,5,23,214,2,28,248,22,137,14,23,194,2,91,159,39,11,90,161,39, +36,11,248,22,158,14,23,197,1,87,95,83,160,38,11,80,158,57,47,23,23, 83,160,38,11,80,158,57,48,192,192,11,11,28,23,193,2,192,87,94,23,193, -1,27,247,22,151,5,28,23,193,2,192,87,94,23,193,1,247,22,177,14,249, -22,73,23,210,1,247,22,178,14,252,22,148,8,23,208,1,23,207,1,23,205, +1,27,247,22,152,5,28,23,193,2,192,87,94,23,193,1,247,22,178,14,249, +22,73,23,210,1,247,22,179,14,252,22,149,8,23,208,1,23,207,1,23,205, 1,23,203,1,201,12,193,87,96,83,160,38,11,80,158,36,50,248,80,159,37, -58,38,249,22,27,11,80,159,39,52,38,248,22,171,4,80,159,37,51,38,248, -22,150,5,80,159,37,37,37,248,22,169,13,80,159,37,42,37,83,160,38,11, +58,38,249,22,27,11,80,159,39,52,38,248,22,172,4,80,159,37,51,38,248, +22,151,5,80,159,37,37,37,248,22,170,13,80,159,37,42,37,83,160,38,11, 80,158,36,50,248,80,159,37,58,38,249,22,27,11,80,159,39,52,38,159,36, 20,105,159,36,16,1,11,16,0,83,158,42,20,103,145,2,1,2,1,29,11, 11,11,11,11,10,38,80,158,36,36,20,105,159,37,16,23,2,2,2,3,30, @@ -926,7 +926,7 @@ 16,2,11,11,16,2,2,20,2,21,38,38,37,11,11,11,16,0,16,0,16, 0,36,36,11,11,11,11,16,0,16,0,16,0,36,36,16,0,16,15,83,158, 36,16,2,89,162,44,37,45,9,223,0,33,32,80,159,36,59,37,83,158,36, -16,2,248,22,143,8,69,115,111,45,115,117,102,102,105,120,80,159,36,36,37, +16,2,248,22,144,8,69,115,111,45,115,117,102,102,105,120,80,159,36,36,37, 83,158,36,16,2,89,162,44,38,8,38,2,3,223,0,33,41,80,159,36,37, 37,83,158,36,16,2,32,0,89,162,8,44,37,42,2,9,222,192,80,159,36, 42,37,83,158,36,16,2,247,22,136,2,80,159,36,43,37,83,158,36,16,2, diff --git a/src/racket/src/jit.c b/src/racket/src/jit.c index 3183380145..7a9249c8eb 100644 --- a/src/racket/src/jit.c +++ b/src/racket/src/jit.c @@ -6812,6 +6812,9 @@ static int generate_inlined_unary(mz_jit_state *jitter, Scheme_App2_Rec *app, in } else if (IS_NAMED_PRIM(rator, "flonum?")) { generate_inlined_type_test(jitter, app, scheme_double_type, scheme_double_type, 0, for_branch, branch_short, need_sync); return 1; + } else if (IS_NAMED_PRIM(rator, "single-flonum?")) { + generate_inlined_type_test(jitter, app, SCHEME_FLOAT_TYPE, SCHEME_FLOAT_TYPE, 0, for_branch, branch_short, need_sync); + return 1; } else if (IS_NAMED_PRIM(rator, "procedure?")) { generate_inlined_type_test(jitter, app, scheme_prim_type, scheme_proc_chaperone_type, 1, for_branch, branch_short, need_sync); return 1; diff --git a/src/racket/src/number.c b/src/racket/src/number.c index aef0c855ca..6ccca0fff2 100644 --- a/src/racket/src/number.c +++ b/src/racket/src/number.c @@ -64,6 +64,7 @@ static Scheme_Object *exact_positive_integer_p (int argc, Scheme_Object *argv[]) static Scheme_Object *fixnum_p (int argc, Scheme_Object *argv[]); static Scheme_Object *inexact_real_p (int argc, Scheme_Object *argv[]); static Scheme_Object *flonum_p (int argc, Scheme_Object *argv[]); +static Scheme_Object *single_flonum_p (int argc, Scheme_Object *argv[]); static Scheme_Object *exact_p (int argc, Scheme_Object *argv[]); static Scheme_Object *even_p (int argc, Scheme_Object *argv[]); static Scheme_Object *bitwise_or (int argc, Scheme_Object *argv[]); @@ -365,6 +366,10 @@ scheme_init_number (Scheme_Env *env) SCHEME_PRIM_PROC_FLAGS(p) |= SCHEME_PRIM_IS_UNARY_INLINED; scheme_add_global_constant("flonum?", p, env); + p = scheme_make_folding_prim(single_flonum_p, "single-flonum?", 1, 1, 1); + SCHEME_PRIM_PROC_FLAGS(p) |= SCHEME_PRIM_IS_UNARY_INLINED; + scheme_add_global_constant("single-flonum?", p, env); + scheme_add_global_constant("exact?", scheme_make_folding_prim(exact_p, "exact?", @@ -1332,6 +1337,18 @@ flonum_p (int argc, Scheme_Object *argv[]) return scheme_false; } +static Scheme_Object * +single_flonum_p (int argc, Scheme_Object *argv[]) +{ + Scheme_Object *n = argv[0]; +#ifdef MZ_USE_SINGLE_FLOATS + if (SCHEME_FLTP(n)) + return scheme_true; + else +#endif + return scheme_false; +} + int scheme_is_exact(const Scheme_Object *n) { if (SCHEME_INTP(n)) { diff --git a/src/racket/src/schminc.h b/src/racket/src/schminc.h index 6a06b784d0..21a5ad6d49 100644 --- a/src/racket/src/schminc.h +++ b/src/racket/src/schminc.h @@ -13,7 +13,7 @@ #define USE_COMPILED_STARTUP 1 -#define EXPECTED_PRIM_COUNT 1018 +#define EXPECTED_PRIM_COUNT 1019 #define EXPECTED_UNSAFE_COUNT 76 #define EXPECTED_FLFXNUM_COUNT 68 #define EXPECTED_FUTURES_COUNT 5 diff --git a/src/racket/src/schvers.h b/src/racket/src/schvers.h index 33137239ed..cd77ba718c 100644 --- a/src/racket/src/schvers.h +++ b/src/racket/src/schvers.h @@ -13,12 +13,12 @@ consistently.) */ -#define MZSCHEME_VERSION "5.1.0.1" +#define MZSCHEME_VERSION "5.1.0.2" #define MZSCHEME_VERSION_X 5 #define MZSCHEME_VERSION_Y 1 #define MZSCHEME_VERSION_Z 0 -#define MZSCHEME_VERSION_W 1 +#define MZSCHEME_VERSION_W 2 #define MZSCHEME_VERSION_MAJOR ((MZSCHEME_VERSION_X * 100) + MZSCHEME_VERSION_Y) #define MZSCHEME_VERSION_MINOR ((MZSCHEME_VERSION_Z * 1000) + MZSCHEME_VERSION_W)