diff --git a/collects/scribblings/reference/numbers.scrbl b/collects/scribblings/reference/numbers.scrbl index 43bc020538..afdc69030d 100644 --- a/collects/scribblings/reference/numbers.scrbl +++ b/collects/scribblings/reference/numbers.scrbl @@ -217,6 +217,14 @@ number, @racket[#f] otherwise.} @mz-examples[(exact->inexact 1) (exact->inexact 1.0)]} +@defproc[(real->single-flonum [z real?]) single-flonum?]{ Coerces @racket[z] + to a single-precision floating-point number. If @racket[z] is already + a single-precision floating-point number, it is returned.} + +@defproc[(real->double-flonum [z real?]) flonum?]{ Coerces @racket[z] + to a double-precision floating-point number. If @racket[z] is already + a double-precision floating-point number, it is returned.} + @; ---------------------------------------- @section[#:tag "generic-numbers"]{Generic Numerics} diff --git a/collects/tests/racket/number.rktl b/collects/tests/racket/number.rktl index 3d13e1898e..4159d18488 100644 --- a/collects/tests/racket/number.rktl +++ b/collects/tests/racket/number.rktl @@ -679,6 +679,13 @@ (err/rt-test (inexact->exact -inf.0)) (err/rt-test (inexact->exact +nan.0)) +(test 2.0f0 real->single-flonum 2) +(test 2.25f0 real->single-flonum 2.25) +(test 2.25f0 real->single-flonum 2.25f0) +(test 2.0 real->double-flonum 2) +(test 2.25 real->double-flonum 2.25) +(test 2.25 real->double-flonum 2.25f0) + (err/rt-test (* 'a 0)) (err/rt-test (+ 'a 0)) (err/rt-test (/ 'a 0)) diff --git a/src/racket/src/cstartup.inc b/src/racket/src/cstartup.inc index 82f40f1b48..b9d23c8273 100644 --- a/src/racket/src/cstartup.inc +++ b/src/racket/src/cstartup.inc @@ -22,57 +22,57 @@ 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,153,4,195,249,22,146,4,80,158,39, +8,224,86,82,0,0,2,2,27,248,22,155,4,195,249,22,148,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,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,155,4,195,249,22,148,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,155,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,146,4,80,158,39,36,251,22,83,2,17,248,22,74,199,249,22,73, +193,249,22,148,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,153,4,196,28,248, +95,9,8,224,87,82,0,0,2,2,27,248,22,75,248,22,155,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,146,4,80,158,39,36,250,22,83,2,21,248,22,83,249,22,83,248,22, +249,22,148,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,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, +224,88,82,0,0,2,2,248,22,155,4,193,27,248,22,155,4,194,249,22,73, +248,22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,155,4,23,197, +1,249,22,148,4,80,158,39,36,28,248,22,58,248,22,149,4,248,22,74,23, +198,2,27,249,22,2,32,0,89,162,8,44,37,43,9,222,33,40,248,22,155, 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,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, +22,155,4,248,22,74,201,248,22,75,198,27,248,22,155,4,194,249,22,73,248, +22,83,248,22,74,196,248,22,75,195,27,248,22,75,248,22,155,4,23,197,1, +249,22,148,4,80,158,39,36,250,22,84,2,23,249,22,2,32,0,89,162,8, +44,37,47,9,222,33,43,248,22,155,4,248,22,74,201,248,22,75,198,27,248, +22,75,248,22,155,4,196,27,248,22,155,4,248,22,74,195,249,22,148,4,80, 158,40,36,28,248,22,81,195,250,22,84,2,21,9,248,22,75,199,250,22,83, 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, +202,27,248,22,75,248,22,155,4,23,197,1,27,249,22,1,22,87,249,22,2, +22,155,4,248,22,155,4,248,22,74,199,249,22,148,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,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, +22,155,4,196,28,248,22,81,193,20,15,159,37,36,37,249,22,148,4,80,158, +39,36,27,248,22,155,4,248,22,74,197,28,249,22,134,9,62,61,62,248,22, +149,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, +2,26,248,22,75,202,251,22,83,2,17,28,249,22,134,9,248,22,149,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,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,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, +2,2,27,248,22,75,248,22,155,4,196,249,22,148,4,80,158,39,36,28,248, +22,58,248,22,149,4,248,22,74,197,250,22,83,2,27,248,22,83,248,22,74, +199,248,22,98,198,27,248,22,149,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, @@ -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,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, +159,40,53,38,249,22,27,11,80,159,42,52,38,22,177,13,10,248,22,184,5, +23,196,2,28,248,22,183,6,23,194,2,12,87,94,248,22,142,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,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, +43,52,38,22,177,13,10,248,22,184,5,23,197,2,28,248,22,183,6,23,194, +2,12,87,94,248,22,142,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,177,13,10,248,22,184, +5,23,198,2,28,248,22,183,6,23,194,2,12,87,94,248,22,142,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,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, +196,2,27,28,248,22,163,14,23,195,2,23,194,1,28,248,22,162,14,23,195, +2,249,22,164,14,23,196,1,250,80,158,43,50,248,22,179,14,2,21,11,10, +250,80,158,41,50,248,22,179,14,2,21,23,197,1,10,28,23,193,2,249,22, +73,248,22,166,14,249,22,164,14,23,198,1,247,22,180,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, -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, +163,14,23,195,2,23,194,1,28,248,22,162,14,23,195,2,249,22,164,14,23, +196,1,250,80,158,48,50,248,22,179,14,2,21,11,10,250,80,158,46,50,248, +22,179,14,2,21,23,197,1,10,28,23,193,2,249,22,73,248,22,166,14,249, +22,164,14,23,198,1,247,22,180,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,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, +23,195,2,27,28,248,22,163,14,23,195,2,23,194,1,28,248,22,162,14,23, +195,2,249,22,164,14,23,196,1,250,80,158,46,50,248,22,179,14,2,21,11, +10,250,80,158,44,50,248,22,179,14,2,21,23,197,1,10,28,23,193,2,249, +22,73,248,22,166,14,249,22,164,14,23,198,1,247,22,180,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, -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, +139,14,23,195,2,28,23,193,2,192,87,94,23,193,1,28,248,22,188,6,23, +195,2,27,248,22,161,14,195,28,192,192,248,22,162,14,195,11,87,94,28,28, +248,22,140,14,23,195,2,10,28,248,22,139,14,23,195,2,10,28,248,22,188, +6,23,195,2,28,248,22,161,14,23,195,2,10,248,22,162,14,23,195,2,11, +12,250,22,170,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,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, +114,105,110,103,23,197,2,28,28,248,22,140,14,23,195,2,249,22,134,9,248, +22,141,14,23,197,2,2,22,249,22,134,9,247,22,146,8,2,22,27,28,248, +22,188,6,23,196,2,23,195,2,248,22,136,8,248,22,144,14,23,197,2,28, +249,22,130,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,188,6,195,248,22,147,14,195,194, +27,248,22,163,7,23,195,1,249,22,148,14,248,22,139,8,250,22,138,15,0, +6,35,114,120,34,47,34,28,249,22,130,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,136,15,0,19,35,114,120,34,91,32,46,93,43,40,91,47,92,92,93, +250,22,138,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,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, +22,188,6,194,248,22,147,14,194,193,87,94,28,28,248,22,139,14,23,195,2, +10,28,248,22,188,6,23,195,2,28,248,22,161,14,23,195,2,10,248,22,162, +14,23,195,2,11,12,250,22,170,9,23,196,2,2,23,23,197,2,28,248,22, +161,14,23,195,2,12,248,22,153,12,249,22,159,11,248,22,153,7,250,22,172, +7,2,24,23,200,1,23,201,1,247,22,23,87,94,28,28,248,22,139,14,23, +195,2,10,28,248,22,188,6,23,195,2,28,248,22,161,14,23,195,2,10,248, +22,162,14,23,195,2,11,12,250,22,170,9,23,196,2,2,23,23,197,2,28, +248,22,161,14,23,195,2,12,248,22,153,12,249,22,159,11,248,22,153,7,250, +22,172,7,2,24,23,200,1,23,201,1,247,22,23,87,94,87,94,28,28,248, +22,139,14,23,195,2,10,28,248,22,188,6,23,195,2,28,248,22,161,14,23, +195,2,10,248,22,162,14,23,195,2,11,12,250,22,170,9,195,2,23,23,197, +2,28,248,22,161,14,23,195,2,12,248,22,153,12,249,22,159,11,248,22,153, +7,250,22,172,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,139,14,23,194,2,10,28, +248,22,188,6,23,194,2,28,248,22,161,14,23,194,2,10,248,22,162,14,23, +194,2,11,12,250,22,170,9,2,7,2,23,23,196,2,28,248,22,161,14,23, +194,2,12,248,22,153,12,249,22,159,11,248,22,153,7,250,22,172,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,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, +1,248,22,153,12,249,22,128,12,251,22,172,7,2,25,2,7,28,248,22,81, +23,203,2,87,94,23,202,1,23,201,1,250,22,1,22,157,14,23,204,1,23, +205,1,23,200,1,247,22,23,27,249,22,157,14,248,22,74,23,200,2,23,197, +2,28,248,22,152,14,23,194,2,27,250,22,1,22,157,14,23,197,1,199,28, +248,22,152,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,139,14,23,194, +2,10,28,248,22,188,6,23,194,2,28,248,22,161,14,23,194,2,10,248,22, +162,14,23,194,2,11,12,250,22,170,9,2,7,2,23,23,196,2,28,248,22, +161,14,23,194,2,12,248,22,153,12,249,22,159,11,248,22,153,7,250,22,172, 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,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, +49,9,222,33,41,23,196,2,27,247,22,181,14,28,248,22,81,23,194,2,248, +22,153,12,249,22,128,12,251,22,172,7,2,25,2,7,28,248,22,81,23,203, +2,87,94,23,202,1,23,201,1,250,22,1,22,157,14,23,204,1,23,205,1, +23,200,1,247,22,23,27,249,22,157,14,248,22,74,23,197,2,23,197,2,28, +248,22,152,14,23,194,2,27,250,22,1,22,157,14,23,197,1,199,28,248,22, +152,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,139,14,23,194,2,10,28,248,22,188, +6,23,194,2,28,248,22,161,14,23,194,2,10,248,22,162,14,23,194,2,11, +12,250,22,170,9,2,9,2,23,23,196,2,28,248,22,161,14,23,194,2,12, +248,22,153,12,249,22,159,11,248,22,153,7,250,22,172,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,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,248,22,153,12,249,22,128,12,251,22,172,7,2,25,2,9,28,248,22,81, +23,204,2,87,94,23,203,1,23,202,1,250,22,1,22,157,14,23,205,1,23, +206,1,23,200,1,247,22,23,27,249,22,157,14,248,22,74,23,201,2,23,198, +2,28,248,22,152,14,23,194,2,27,250,22,1,22,157,14,23,197,1,23,201, +2,28,248,22,152,14,23,194,2,28,23,196,2,28,28,248,22,151,14,249,22, +157,14,195,198,10,27,28,248,22,139,14,197,248,22,143,14,197,196,27,248,22, +191,6,23,195,2,27,28,249,22,188,3,23,196,2,40,28,249,22,130,7,2, +27,249,22,146,7,23,199,2,249,22,176,3,23,200,2,40,249,22,147,7,250, +22,146,7,23,200,1,36,249,22,176,3,23,201,1,40,2,28,87,95,23,195, +1,23,194,1,11,11,28,23,193,2,248,22,151,14,249,22,157,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,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, +204,87,95,87,94,28,28,248,22,139,14,193,10,28,248,22,188,6,193,28,248, +22,161,14,193,10,248,22,162,14,193,11,12,250,22,170,9,2,9,2,23,195, +28,248,22,161,14,193,12,248,22,153,12,249,22,159,11,248,22,153,7,250,22, +172,7,2,24,2,9,199,247,22,23,87,94,87,94,28,28,248,22,139,14,23, +195,2,10,28,248,22,188,6,23,195,2,28,248,22,161,14,23,195,2,10,248, +22,162,14,23,195,2,11,12,250,22,170,9,2,9,2,23,23,197,2,28,248, +22,161,14,23,195,2,12,248,22,153,12,249,22,159,11,248,22,153,7,250,22, +172,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,157,14,27,247,22,181,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,170,7,2,25, +1,28,23,200,2,199,87,94,23,200,1,248,23,196,1,251,22,172,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, -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,157,14,23,204,1,23,205,1,23,198,1,27,249,22,157,14,248,22,74,23, +203,2,23,199,2,28,248,22,152,14,23,194,2,27,250,22,1,22,157,14,23, +197,1,23,202,2,28,248,22,152,14,23,194,2,28,23,200,2,28,28,248,22, +151,14,249,22,157,14,23,196,2,23,203,2,10,27,28,248,22,139,14,23,202, +2,248,22,143,14,23,202,2,23,201,2,27,248,22,191,6,23,195,2,27,28, +249,22,188,3,23,196,2,40,28,249,22,130,7,2,27,249,22,146,7,23,199, +2,249,22,176,3,23,200,2,40,249,22,147,7,250,22,146,7,23,200,1,36, +249,22,176,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28, +23,193,2,248,22,151,14,249,22,157,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,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,193,2,192,87,94,23,193,1,248,23,200,1,251,22,172,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,157, +14,23,208,1,23,209,1,23,202,1,27,249,22,157,14,248,22,74,23,198,2, +23,203,2,28,248,22,152,14,23,194,2,27,250,22,1,22,157,14,23,197,1, +23,206,2,28,248,22,152,14,23,194,2,28,23,204,2,28,28,248,22,151,14, +249,22,157,14,195,206,10,27,28,248,22,139,14,205,248,22,143,14,205,204,27, +248,22,191,6,23,195,2,27,28,249,22,188,3,23,196,2,40,28,249,22,130, +7,2,27,249,22,146,7,23,199,2,249,22,176,3,23,200,2,40,249,22,147, +7,250,22,146,7,23,200,1,36,249,22,176,3,23,201,1,40,2,28,87,95, +23,195,1,23,194,1,11,11,28,23,193,2,248,22,151,14,249,22,157,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,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, +251,22,172,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,157,14,23,207,1,23,208,1,23,201,1,27,249,22, +157,14,248,22,74,23,197,2,23,202,2,28,248,22,152,14,23,194,2,27,250, +22,1,22,157,14,23,197,1,23,205,2,28,248,22,152,14,23,194,2,28,23, +203,2,28,28,248,22,151,14,249,22,157,14,195,205,10,27,28,248,22,139,14, +204,248,22,143,14,204,203,27,248,22,191,6,23,195,2,27,28,249,22,188,3, +23,196,2,40,28,249,22,130,7,2,27,249,22,146,7,23,199,2,249,22,176, +3,23,200,2,40,249,22,147,7,250,22,146,7,23,200,1,36,249,22,176,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,205,206,23,15, +22,151,14,249,22,157,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,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,202,2,201,87,94,23,202,1,248,23,198,1,251,22,172,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,157, +14,23,206,1,23,207,1,23,200,1,27,249,22,157,14,248,22,74,23,197,2, +23,201,2,28,248,22,152,14,23,194,2,27,250,22,1,22,157,14,23,197,1, +23,204,2,28,248,22,152,14,23,194,2,28,23,202,2,28,28,248,22,151,14, +249,22,157,14,195,204,10,27,28,248,22,139,14,203,248,22,143,14,203,202,27, +248,22,191,6,23,195,2,27,28,249,22,188,3,23,196,2,40,28,249,22,130, +7,2,27,249,22,146,7,23,199,2,249,22,176,3,23,200,2,40,249,22,147, +7,250,22,146,7,23,200,1,36,249,22,176,3,23,201,1,40,2,28,87,95, +23,195,1,23,194,1,11,11,28,23,193,2,248,22,151,14,249,22,157,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,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, +202,23,18,27,247,22,181,14,28,248,22,81,23,194,2,87,94,23,198,1,248, +23,196,1,251,22,172,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,157,14,23,204,1,23,205,1,23,198,1, +27,249,22,157,14,248,22,74,23,197,2,23,199,2,28,248,22,152,14,23,194, +2,27,250,22,1,22,157,14,23,197,1,23,202,2,28,248,22,152,14,23,194, +2,28,23,200,2,28,28,248,22,151,14,249,22,157,14,195,202,10,27,28,248, +22,139,14,201,248,22,143,14,201,200,27,248,22,191,6,23,195,2,27,28,249, +22,188,3,23,196,2,40,28,249,22,130,7,2,27,249,22,146,7,23,199,2, +249,22,176,3,23,200,2,40,249,22,147,7,250,22,146,7,23,200,1,36,249, +22,176,3,23,201,1,40,2,28,87,95,23,195,1,23,194,1,11,11,28,23, +193,2,248,22,151,14,249,22,157,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,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, +11,87,95,28,28,248,22,140,14,23,194,2,10,28,248,22,139,14,23,194,2, +10,28,248,22,188,6,23,194,2,28,248,22,161,14,23,194,2,10,248,22,162, +14,23,194,2,11,12,252,22,170,9,23,200,2,2,29,36,23,198,2,23,199, +2,28,28,248,22,188,6,23,195,2,10,248,22,177,7,23,195,2,87,94,23, +194,1,12,252,22,170,9,23,200,2,2,30,37,23,198,2,23,199,1,91,159, +39,11,90,161,39,36,11,248,22,160,14,23,197,2,87,94,23,195,1,87,94, +28,192,12,250,22,171,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,140,14,23,196,2,10,28, +248,22,139,14,23,196,2,10,28,248,22,188,6,23,196,2,28,248,22,161,14, +23,196,2,10,248,22,162,14,23,196,2,11,12,252,22,170,9,2,11,2,29, +36,23,200,2,23,201,2,28,28,248,22,188,6,23,197,2,10,248,22,177,7, +23,197,2,12,252,22,170,9,2,11,2,30,37,23,200,2,23,201,2,91,159, +39,11,90,161,39,36,11,248,22,160,14,23,199,2,87,94,23,195,1,87,94, +28,192,12,250,22,171,9,2,11,2,31,23,201,2,249,22,7,194,195,27,249, +22,149,14,250,22,137,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,145,14,23,201,1,28,248,22,188,6,23, +203,2,249,22,139,8,23,204,1,8,63,23,202,1,28,248,22,140,14,23,199, +2,248,22,141,14,23,199,1,87,94,23,198,1,247,22,142,14,28,248,22,139, +14,194,249,22,157,14,195,194,192,91,159,38,11,90,161,38,36,11,87,95,28, +28,248,22,140,14,23,196,2,10,28,248,22,139,14,23,196,2,10,28,248,22, +188,6,23,196,2,28,248,22,161,14,23,196,2,10,248,22,162,14,23,196,2, +11,12,252,22,170,9,2,12,2,29,36,23,200,2,23,201,2,28,28,248,22, +188,6,23,197,2,10,248,22,177,7,23,197,2,12,252,22,170,9,2,12,2, +30,37,23,200,2,23,201,2,91,159,39,11,90,161,39,36,11,248,22,160,14, +23,199,2,87,94,23,195,1,87,94,28,192,12,250,22,171,9,2,12,2,31, +23,201,2,249,22,7,194,195,27,249,22,149,14,249,22,189,7,250,22,138,15, +0,9,35,114,120,35,34,91,46,93,34,248,22,145,14,23,203,1,6,1,1, +95,28,248,22,188,6,23,202,2,249,22,139,8,23,203,1,8,63,23,201,1, +28,248,22,140,14,23,199,2,248,22,141,14,23,199,1,87,94,23,198,1,247, +22,142,14,28,248,22,139,14,194,249,22,157,14,195,194,192,249,247,22,153,5, 194,11,249,80,159,38,48,37,9,9,249,80,159,38,48,37,195,9,27,247,22, -181,14,249,80,158,39,49,28,23,195,2,27,248,22,142,8,6,11,11,80,76, +183,14,249,80,158,39,49,28,23,195,2,27,248,22,144,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,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, +196,1,250,22,157,14,248,22,179,14,69,97,100,100,111,110,45,100,105,114,247, +22,142,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,179,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,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, +249,22,190,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,190,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,188,14,23,205,2,23,196,2,28,23,193,2, +248,22,107,23,197,1,27,249,22,190,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,188,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, +249,22,190,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,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, +28,249,22,185,7,23,196,2,2,32,249,22,87,23,210,2,194,249,22,73,248, +22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23, +200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,185,7, +23,196,2,2,32,249,22,87,23,208,2,9,249,22,73,248,22,148,14,28,249, +22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,185,7,23,196,2,2,32,249,22,87,23,206,2,194,249, +22,73,248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,185,7, +23,196,2,2,32,249,22,87,23,204,2,9,249,22,73,248,22,148,14,28,249, +22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,185,7,23,196,2,2,32,249,22,87,23,202,2,194,249, +22,73,248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,185,7, +23,196,2,2,32,249,22,87,23,200,2,9,249,22,73,248,22,148,14,28,249, +22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,185,7,23,196,2,2,32,249,22,87,197,194,87,94,23, +196,1,249,22,73,248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250, +22,138,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249, +22,185,7,23,198,2,2,32,249,22,87,195,9,87,94,23,194,1,249,22,73, +248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,15,2,60, +23,202,1,2,33,23,199,1,9,87,95,28,28,248,22,177,7,23,195,2,10, +248,22,188,6,23,195,2,12,250,22,170,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,137,14,23,197,2,11,12,250,22,168, +28,248,22,82,23,196,2,249,22,4,22,139,14,23,197,2,11,12,250,22,170, 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,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, +2,27,28,248,22,188,6,23,196,2,248,22,138,8,23,196,1,23,195,1,27, +249,22,190,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,190,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,188,14,23,205,2,23,196,2,28,23,193,2, +248,22,107,23,197,1,27,249,22,190,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,188,14,23,209,2,23,196,2,28,23,193,2,87,94,23,194,1,27,248, +249,22,190,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,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, +28,249,22,185,7,23,196,2,2,32,249,22,87,23,213,2,194,249,22,73,248, +22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23, +200,1,2,33,23,197,1,194,87,95,23,207,1,23,193,1,28,249,22,185,7, +23,196,2,2,32,249,22,87,23,211,2,9,249,22,73,248,22,148,14,28,249, +22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,185,7,23,196,2,2,32,249,22,87,23,209,2,194,249, +22,73,248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,185,7, +23,196,2,2,32,249,22,87,23,207,2,9,249,22,73,248,22,148,14,28,249, +22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,185,7,23,196,2,2,32,249,22,87,23,205,2,194,249, +22,73,248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,15, +2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249,22,185,7, +23,196,2,2,32,249,22,87,23,203,2,9,249,22,73,248,22,148,14,28,249, +22,134,9,247,22,146,8,2,22,250,22,138,15,2,60,23,200,1,2,33,23, +197,1,9,28,249,22,185,7,23,196,2,2,32,249,22,87,200,194,87,94,23, +199,1,249,22,73,248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250, +22,138,15,2,60,23,200,1,2,33,23,197,1,194,87,94,23,193,1,28,249, +22,185,7,23,196,2,2,32,249,22,87,198,9,87,94,23,197,1,249,22,73, +248,22,148,14,28,249,22,134,9,247,22,146,8,2,22,250,22,138,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,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, +120,116,222,33,65,27,248,22,165,14,23,196,2,28,249,22,136,9,23,195,2, +23,197,1,11,28,248,22,161,14,23,194,2,27,249,22,157,14,23,197,1,23, +196,1,28,23,197,2,91,159,39,11,90,161,39,36,11,248,22,160,14,23,197, +2,87,95,23,195,1,23,194,1,27,28,23,202,2,27,248,22,165,14,23,199, +2,28,249,22,136,9,23,195,2,23,200,2,11,28,248,22,161,14,23,194,2, +250,2,63,23,205,2,23,206,2,249,22,157,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,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, +27,28,248,22,139,14,23,196,2,27,249,22,157,14,23,198,2,23,205,2,28, +28,248,22,152,14,193,10,248,22,151,14,193,192,11,11,28,23,193,2,192,87, +94,23,193,1,28,23,203,2,11,27,248,22,165,14,23,200,2,28,249,22,136, +9,23,195,2,23,201,1,11,28,248,22,161,14,23,194,2,250,2,63,23,206, +1,23,207,1,249,22,157,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,160, +14,23,197,2,87,95,23,195,1,23,194,1,27,28,23,201,2,27,248,22,165, +14,23,199,2,28,249,22,136,9,23,195,2,23,200,2,11,28,248,22,161,14, +23,194,2,250,2,63,23,204,2,23,205,2,249,22,157,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,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, +23,193,1,27,28,248,22,139,14,23,196,2,27,249,22,157,14,23,198,2,23, +204,2,28,28,248,22,152,14,193,10,248,22,151,14,193,192,11,11,28,23,193, +2,192,87,94,23,193,1,28,23,202,2,11,27,248,22,165,14,23,200,2,28, +249,22,136,9,23,195,2,23,201,1,11,28,248,22,161,14,23,194,2,250,2, +63,23,205,1,23,206,1,249,22,157,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,160,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,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, +28,248,22,139,14,195,27,249,22,157,14,197,200,28,28,248,22,152,14,193,10, +248,22,151,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,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, +2,11,27,248,22,164,14,248,22,74,23,199,2,27,249,22,157,14,23,196,1, +23,197,2,28,248,22,151,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,164,14, +248,22,74,23,196,2,27,249,22,157,14,23,196,1,23,200,2,28,248,22,151, 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,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, +1,28,248,22,81,23,194,2,11,27,248,22,164,14,248,22,74,23,196,2,27, +249,22,157,14,23,196,1,23,203,2,28,248,22,151,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,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, +2,11,27,248,22,164,14,248,22,74,23,196,2,27,249,22,157,14,23,196,1, +23,206,2,28,248,22,151,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, -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, +164,14,248,22,74,23,196,2,27,249,22,157,14,23,196,1,23,209,2,28,248, +22,151,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,164,14,248,22,74, +195,27,249,22,157,14,23,196,1,23,19,28,248,22,151,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,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, +248,22,139,14,23,195,2,10,28,248,22,188,6,23,195,2,28,248,22,161,14, +23,195,2,10,248,22,162,14,23,195,2,11,12,250,22,170,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,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, +32,110,117,108,41,23,197,2,28,28,23,195,2,28,28,248,22,139,14,23,196, +2,10,28,248,22,188,6,23,196,2,28,248,22,161,14,23,196,2,10,248,22, +162,14,23,196,2,11,248,22,161,14,23,196,2,11,10,12,250,22,170,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,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, +116,104,32,111,114,32,115,116,114,105,110,103,23,198,2,28,28,248,22,161,14, +23,195,2,91,159,39,11,90,161,39,36,11,248,22,160,14,23,198,2,249,22, +134,9,194,68,114,101,108,97,116,105,118,101,11,27,248,22,144,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,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, +249,22,134,9,247,22,146,8,2,22,249,22,73,248,22,148,14,5,1,46,194, +192,87,94,23,194,1,9,28,248,22,81,23,194,2,11,27,248,22,164,14,248, +22,74,23,196,2,27,249,22,157,14,23,196,1,23,200,2,28,248,22,151,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,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, +28,248,22,81,23,194,2,11,27,248,22,164,14,248,22,74,23,196,2,27,249, +22,157,14,23,196,1,23,203,2,28,248,22,151,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,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, +11,27,248,22,164,14,248,22,74,195,27,249,22,157,14,23,196,1,205,28,248, +22,151,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,164,14,23,196,1,28,248,22,151,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,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, +11,87,94,249,22,177,6,247,22,149,5,195,248,22,139,6,249,22,128,4,36, +249,22,176,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,179,14,2,21,27,249,80,159,41,50,37,23, +196,1,11,27,248,22,131,4,23,199,1,27,28,23,194,2,23,194,1,87,94, +23,194,1,36,27,248,22,131,4,23,202,1,27,28,23,194,2,23,194,1,87, +94,23,194,1,36,249,22,180,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,165,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,188,6,7,92,7,92, +222,33,36,80,159,36,36,37,83,158,36,16,2,249,22,190,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,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, +48,37,83,158,36,16,2,27,248,22,186,14,248,22,138,8,27,28,249,22,134, +9,247,22,146,8,2,22,6,1,1,59,6,1,1,58,250,22,172,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, @@ -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,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, +159,38,46,38,250,22,157,14,23,197,1,23,199,1,249,80,159,43,39,38,23, +198,1,2,23,250,22,157,14,23,197,1,23,199,1,249,80,159,43,39,38,23, +198,1,2,24,252,22,157,14,23,199,1,23,201,1,2,25,247,22,147,8,249, +80,159,45,39,38,23,200,1,80,159,45,36,38,252,22,157,14,23,199,1,23, +201,1,2,25,247,22,147,8,249,80,159,45,39,38,23,200,1,80,159,45,36, +38,27,252,22,157,14,23,200,1,23,202,1,2,25,247,22,147,8,249,80,159, +46,39,38,23,201,1,80,159,46,36,38,27,250,22,174,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,157,14, +23,200,1,23,202,1,2,25,247,22,147,8,249,80,159,46,39,38,23,201,1, +80,159,46,36,38,27,250,22,174,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,157,14,23,198,1,23,200,1, +249,80,159,44,39,38,23,199,1,2,23,27,250,22,174,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,157,14, +23,198,1,23,200,1,249,80,159,44,39,38,23,199,1,2,24,27,250,22,174, 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,168,9,77,108,111, +11,87,94,28,248,80,159,37,38,38,23,195,2,12,250,22,170,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,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, +103,23,197,2,91,159,46,11,90,161,37,36,11,28,248,22,163,14,23,205,2, +23,204,2,27,247,22,154,5,28,23,193,2,249,22,164,14,23,207,2,23,195, +1,23,205,2,90,161,39,37,11,248,22,160,14,23,205,1,87,94,23,196,1, +90,161,38,40,11,28,23,205,2,27,248,22,144,14,23,197,2,27,248,22,182, +7,23,195,2,28,28,249,22,188,3,23,195,2,40,249,22,185,7,5,4,46, +114,107,116,249,22,188,7,23,198,2,249,22,176,3,23,199,2,40,11,249,22, +7,23,199,2,248,22,148,14,249,22,189,7,250,22,188,7,23,202,1,36,249, +22,176,3,23,203,1,40,5,3,46,115,115,249,22,7,23,199,2,11,249,22, +7,23,197,2,11,90,161,37,42,11,28,249,22,134,9,23,199,2,23,197,2, +23,193,2,249,22,157,14,23,196,2,23,199,2,90,161,37,43,11,28,23,198, +2,28,249,22,134,9,23,200,2,23,197,1,23,193,1,87,94,23,193,1,249, +22,157,14,23,196,2,23,200,2,87,94,23,195,1,11,90,161,37,44,11,28, +249,22,134,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,182,14,27,250,22,174,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,172,14,23,207,2,11,32,0,89,162,8,44,36,41,9,222,11, +11,27,250,22,174,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,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, +23,200,2,23,200,2,248,22,132,9,23,200,2,27,28,23,208,2,28,23,200, +2,87,94,23,201,1,23,200,2,248,22,132,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,186,3,248,22,75,196,248,22,75,23,205,2,193,11,11,11,11,87,94, +249,22,188,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,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, +27,11,80,159,8,26,40,38,22,176,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,154,5,28,248, +22,139,14,23,216,2,23,215,1,87,94,23,215,1,247,22,180,14,249,247,22, +185,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,186,3,248,22, +27,28,23,204,2,11,193,28,192,192,28,193,28,203,28,249,22,188,3,248,22, 75,196,248,22,75,206,193,11,11,11,11,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,174,4,23,215,1,20,14,159, +41,38,249,22,27,11,80,159,8,27,40,38,22,176,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,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, +38,22,154,5,28,248,22,139,14,23,217,2,23,216,1,87,94,23,216,1,247, +22,180,14,249,247,22,185,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,186,3,248,22,75,196,248,22, +193,28,192,192,28,193,28,23,204,2,28,249,22,188,3,248,22,75,196,248,22, 75,23,207,2,193,11,11,11,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,174,4,11,20,14,159,80,159, +41,38,249,22,27,11,80,159,8,28,40,38,22,176,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, -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, +154,5,28,248,22,139,14,23,218,2,23,217,1,87,94,23,217,1,247,22,180, +14,249,247,22,152,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,186,3,248,22,75,196,248,22,75,23,15,193, +192,192,28,193,28,204,28,249,22,188,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,174,4,23,217,1,20, +8,27,41,38,249,22,27,11,80,159,8,29,40,38,22,176,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,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, +8,29,40,38,22,154,5,28,248,22,139,14,23,219,2,23,218,1,87,94,23, +218,1,247,22,180,14,249,247,22,152,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,174,4,28,23,30,28,23,202,1,11,195,87,94,23, +80,159,8,30,40,38,22,176,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,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, +27,11,80,159,8,30,40,38,22,154,5,28,248,22,139,14,23,220,2,23,219, +1,87,94,23,219,1,247,22,180,14,249,247,22,152,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,188,14,2,42,23,196,2,28,23,193, +44,37,59,2,26,222,33,44,27,249,22,190,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,188,14,2, +1,27,249,22,190,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,190,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,27,248,22,107,23,197,1,27,249,22,190,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,188,14,2,42,23, +249,22,7,249,22,73,248,22,74,200,196,195,27,27,249,22,190,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,188,14,2,42,23,196,2,28,23,193,2,87, +248,22,107,23,197,1,27,249,22,190,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,188,14,2,42,23, +249,22,190,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,190,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,128,5,195,12,250,22,168, +249,22,73,248,22,74,200,196,195,87,95,28,248,22,130,5,195,12,250,22,170, 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,149,15,247,22,179,12,11,27,28, +27,250,22,153,2,80,159,41,43,38,248,22,151,15,247,22,181,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,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, +159,43,43,38,248,22,151,15,247,22,181,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,169,9,11,196,195, +248,22,167,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,188,14,2,42,23,196,2,28,23,193,2, +37,55,2,26,222,33,54,27,249,22,190,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,188,14,2,42, +27,249,22,190,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,190,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,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, +33,58,27,249,22,190,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,190,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, +196,2,27,248,22,107,23,197,1,27,249,22,190,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,128,7, -194,6,1,1,46,2,22,28,249,22,128,7,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,130,7, +194,6,1,1,46,2,22,28,249,22,130,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,188,14, +200,196,195,32,63,89,162,8,44,37,55,2,26,222,33,64,27,249,22,190,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, +196,2,27,248,22,107,23,197,1,27,249,22,190,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, +197,1,27,249,22,190,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,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, +66,27,249,22,190,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,190,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,27,248,22,107,23,197,1,27,249,22,190,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,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, +1,192,28,249,22,136,9,248,22,75,23,200,2,23,197,1,28,249,22,134,9, +248,22,74,23,200,2,23,196,1,251,22,167,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,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, +23,202,1,12,12,247,192,20,14,159,80,159,40,45,38,249,22,73,248,22,151, +15,247,22,181,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,175,4,23,196,1,249,247,22,153,5, +23,198,1,248,22,61,248,22,143,14,23,198,1,87,94,28,28,248,22,139,14, +23,196,2,10,248,22,138,5,23,196,2,12,28,23,197,2,250,22,169,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,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, +250,22,170,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,134, +9,248,22,74,23,198,2,2,4,11,248,22,131,5,248,22,98,196,28,28,248, +22,71,23,196,2,249,22,134,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,175,4,21,94,2,27,6,19,19,112,108,97,110,101,116,47, +37,36,10,249,22,177,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,179,14,11,28,23,193,2,192,87,94,23,193, +38,249,22,73,23,203,2,247,22,181,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,145,7,23,197,2,6,4,4,46,114,107,116,27,252,80,159, +114,107,116,249,22,147,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,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, +248,22,75,23,201,1,23,199,2,249,22,157,14,23,195,1,23,196,1,28,248, +22,188,6,23,198,2,87,94,23,194,1,27,28,23,199,2,28,249,22,134,9, +23,201,2,80,158,42,47,80,158,40,48,27,248,22,132,5,23,201,2,28,248, +22,139,14,23,194,2,91,159,39,11,90,161,39,36,11,248,22,160,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, -152,5,28,23,193,2,192,87,94,23,193,1,247,22,178,14,27,250,22,153,2, +154,5,28,23,193,2,192,87,94,23,193,1,247,22,180,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,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, +2,250,22,1,22,157,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,191,6,23,202,2, +28,249,22,188,3,194,39,28,249,22,130,7,2,28,249,22,146,7,204,249,22, +176,3,198,39,249,22,147,7,250,22,146,7,205,36,249,22,176,3,199,39,2, +29,200,200,28,248,22,139,14,23,198,2,87,94,23,194,1,28,248,22,162,14, +23,198,2,27,248,22,166,14,23,199,2,91,159,39,11,90,161,39,36,11,248, +22,160,14,23,197,2,87,95,23,195,1,23,193,1,28,249,22,190,14,2,60, +248,22,144,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,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, +97,98,115,111,108,117,116,101,41,28,249,22,134,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,181,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,128,15,0, +248,22,81,248,22,100,23,203,2,28,248,22,81,23,194,2,249,22,130,15,0, 8,35,114,120,34,91,46,93,34,23,196,2,11,10,27,28,23,196,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,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, +22,191,6,23,197,2,28,249,22,188,3,194,39,28,249,22,130,7,2,28,249, +22,146,7,23,200,2,249,22,176,3,198,39,249,22,147,7,250,22,146,7,23, +201,2,36,249,22,176,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,130,15,0,8, +35,114,120,34,91,46,93,34,23,197,2,27,248,22,191,6,23,197,2,28,249, +22,188,3,194,39,28,249,22,130,7,2,28,249,22,146,7,23,200,2,249,22, +176,3,198,39,249,22,147,7,250,22,146,7,23,201,2,36,249,22,176,3,199, +39,2,29,23,196,2,23,196,2,249,22,147,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,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, +23,200,2,248,22,75,23,200,1,23,200,2,249,22,157,14,23,195,1,23,197, +1,28,249,22,134,9,248,22,74,23,200,2,64,102,105,108,101,27,248,22,166, +14,249,22,164,14,248,22,168,14,248,22,98,23,203,2,27,28,23,203,2,28, +249,22,134,9,23,205,2,80,158,46,47,80,158,44,48,27,248,22,132,5,23, +205,2,28,248,22,139,14,23,194,2,91,159,39,11,90,161,39,36,11,248,22, +160,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,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, +22,154,5,28,23,193,2,192,87,94,23,193,1,247,22,180,14,91,159,39,11, +90,161,39,36,11,248,22,160,14,23,197,2,87,95,23,195,1,23,193,1,28, +249,22,190,14,2,60,248,22,144,14,23,197,1,249,80,159,45,53,38,23,198, +1,2,30,195,12,87,94,28,28,248,22,139,14,23,194,2,10,248,22,149,8, +23,194,2,87,94,23,199,1,12,28,23,199,2,250,22,169,9,67,114,101,113, +117,105,114,101,249,22,172,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,168,9,2,18,249,22,170,7,6,13,13,109, +202,1,87,94,23,199,1,250,22,170,9,2,18,249,22,172,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,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, +2,6,0,0,23,200,2,27,28,248,22,149,8,23,195,2,249,22,154,8,23, +196,2,36,249,22,166,14,248,22,167,14,23,197,2,11,27,28,248,22,149,8, +23,196,2,249,22,154,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,149,8,23,199,2,250,22,7,2,31, +249,22,154,8,23,203,2,38,2,31,248,22,160,14,23,198,2,87,95,23,195, +1,23,193,1,27,28,248,22,149,8,23,200,2,249,22,154,8,23,201,2,39, +249,80,159,47,53,38,23,197,2,5,0,27,28,248,22,149,8,23,201,2,249, +22,154,8,23,202,2,40,248,22,131,5,23,200,2,27,27,250,22,153,2,80, +159,51,43,38,248,22,151,15,247,22,181,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,151, +15,247,22,181,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,149,15,247,22,179,12,249,22,3,83,158,40,20,100,94, +23,196,1,27,248,22,151,15,247,22,181,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,147,8,23,202,1,11,28,248,22,186, +2,23,197,1,197,10,12,28,28,248,22,149,8,23,202,1,11,28,248,22,188, 6,23,206,2,10,28,248,22,58,23,206,2,10,28,248,22,71,23,206,2,249, -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, +22,134,9,248,22,74,23,208,2,2,27,11,250,22,151,2,80,159,50,44,38, +28,248,22,188,6,23,209,2,249,22,73,23,210,1,27,28,23,212,2,28,249, +22,134,9,23,214,2,80,158,55,47,87,94,23,212,1,80,158,53,48,27,248, +22,132,5,23,214,2,28,248,22,139,14,23,194,2,91,159,39,11,90,161,39, +36,11,248,22,160,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,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,27,247,22,154,5,28,23,193,2,192,87,94,23,193,1,247,22,180,14,249, +22,73,23,210,1,247,22,181,14,252,22,151,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,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, +58,38,249,22,27,11,80,159,39,52,38,248,22,174,4,80,159,37,51,38,248, +22,153,5,80,159,37,37,37,248,22,172,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,144,8,69,115,111,45,115,117,102,102,105,120,80,159,36,36,37, +16,2,248,22,146,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/number.c b/src/racket/src/number.c index 6ccca0fff2..6fcb9d6610 100644 --- a/src/racket/src/number.c +++ b/src/racket/src/number.c @@ -65,6 +65,8 @@ 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 *real_to_single_flonum (int argc, Scheme_Object *argv[]); +static Scheme_Object *real_to_double_flonum (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[]); @@ -164,6 +166,9 @@ static Scheme_Object *unsafe_make_flrectangular (int argc, Scheme_Object *argv[] static Scheme_Object *unsafe_flreal_part (int argc, Scheme_Object *argv[]); static Scheme_Object *unsafe_flimag_part (int argc, Scheme_Object *argv[]); +static Scheme_Object *TO_FLOAT(const Scheme_Object *n); +Scheme_Object *scheme_TO_DOUBLE(const Scheme_Object *n); + /* globals */ READ_ONLY double scheme_infinity_val; READ_ONLY double scheme_minus_infinity_val; @@ -370,6 +375,12 @@ scheme_init_number (Scheme_Env *env) SCHEME_PRIM_PROC_FLAGS(p) |= SCHEME_PRIM_IS_UNARY_INLINED; scheme_add_global_constant("single-flonum?", p, env); + p = scheme_make_folding_prim(real_to_single_flonum, "real->single-flonum", 1, 1, 1); + scheme_add_global_constant("real->single-flonum", p, env); + + p = scheme_make_folding_prim(real_to_double_flonum, "real->double-flonum", 1, 1, 1); + scheme_add_global_constant("real->double-flonum", p, env); + scheme_add_global_constant("exact?", scheme_make_folding_prim(exact_p, "exact?", @@ -1349,6 +1360,28 @@ single_flonum_p (int argc, Scheme_Object *argv[]) return scheme_false; } +static Scheme_Object * +real_to_single_flonum (int argc, Scheme_Object *argv[]) +{ + Scheme_Object *n = argv[0]; + + if (!SCHEME_REALP(n)) + NEED_REAL(real->single-flonum); + + return TO_FLOAT(n); +} + +static Scheme_Object * +real_to_double_flonum (int argc, Scheme_Object *argv[]) +{ + Scheme_Object *n = argv[0]; + + if (!SCHEME_REALP(n)) + NEED_REAL(real->double-flonum); + + return scheme_TO_DOUBLE(n); +} + 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 21a5ad6d49..7e6eb3f287 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 1019 +#define EXPECTED_PRIM_COUNT 1021 #define EXPECTED_UNSAFE_COUNT 76 #define EXPECTED_FLFXNUM_COUNT 68 #define EXPECTED_FUTURES_COUNT 5