diff --git a/collects/tests/racket/optimize.rktl b/collects/tests/racket/optimize.rktl index 372828da4d..d4268f919e 100644 --- a/collects/tests/racket/optimize.rktl +++ b/collects/tests/racket/optimize.rktl @@ -3107,6 +3107,23 @@ (test 2 (f b (lambda () 2)))) ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; Make sure an already-in-place loop argument +;; isn't cleared for space safety: + +(test '((1 2 3 4 5 6) + (- 4 6 8 10 12) + (- - 9 12 15 18) + (- - - 16 20 24) + (- - - - 25 30) + (- - - - - 36)) + values + (for/list ([y (in-range 1 7)]) + ;; `y' is the already in place argument for the + ;; following loop: + (for/list ([x (in-range 1 7)]) + (if (<= y x) (* x y) '-)))) + +;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (report-errs) diff --git a/src/racket/src/cstartup.inc b/src/racket/src/cstartup.inc index 87d27b8ed0..ed704def46 100644 --- a/src/racket/src/cstartup.inc +++ b/src/racket/src/cstartup.inc @@ -1,5 +1,5 @@ { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,52,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,54,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,51,0,0,0,1,0,0,10,0,14,0, 19,0,26,0,29,0,36,0,49,0,53,0,60,0,65,0,69,0,74,0,83, 0,87,0,93,0,107,0,121,0,124,0,130,0,134,0,136,0,147,0,149,0, @@ -100,7 +100,7 @@ EVAL_ONE_SIZED_STR((char *)expr, 2049); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,52,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,54,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,138,0,0,0,1,0,0,8,0,21,0, 26,0,43,0,55,0,77,0,106,0,121,0,139,0,151,0,167,0,181,0,203, 0,219,0,236,0,2,1,13,1,19,1,28,1,35,1,42,1,54,1,70,1, @@ -108,13 +108,13 @@ 2,75,2,80,2,124,2,131,2,141,2,156,2,165,2,170,2,172,2,196,2, 217,2,230,2,240,2,246,2,35,3,38,3,42,3,51,3,75,3,114,3,117, 3,130,3,140,3,151,3,203,3,226,3,234,3,2,4,23,4,236,4,10,5, -147,8,170,8,187,8,157,10,27,11,41,11,6,12,2,14,11,14,20,14,34, -14,44,14,85,15,210,15,27,16,100,16,204,16,233,16,48,17,185,17,0,18, -210,18,218,18,74,19,162,19,164,19,60,20,120,20,127,20,251,20,14,21,167, -21,183,21,109,23,137,23,146,23,220,24,238,24,252,24,17,25,33,25,81,25, -90,25,108,25,163,25,176,25,101,28,29,29,188,29,202,29,109,32,240,34,253, -34,150,36,87,37,89,37,114,37,127,37,58,39,251,39,10,40,19,40,26,40, -151,40,20,41,127,42,218,42,55,43,150,43,87,44,119,44,251,44,0,0,244, +147,8,170,8,187,8,157,10,27,11,41,11,249,11,245,13,254,13,7,14,21, +14,31,14,72,15,197,15,14,16,87,16,191,16,220,16,35,17,172,17,243,17, +197,18,205,18,61,19,149,19,151,19,47,20,107,20,114,20,238,20,1,21,154, +21,170,21,96,23,124,23,133,23,207,24,225,24,239,24,4,25,20,25,68,25, +77,25,95,25,146,25,159,25,27,28,211,28,114,29,128,29,23,32,151,34,164, +34,55,36,248,36,250,36,19,37,32,37,211,38,148,39,163,39,172,39,179,39, +48,40,173,40,24,42,115,42,208,42,47,43,240,43,16,44,148,44,0,0,141, 49,0,0,67,35,37,117,116,105,108,115,72,112,97,116,104,45,115,116,114,105, 110,103,63,64,98,115,98,115,76,110,111,114,109,97,108,45,99,97,115,101,45, 112,97,116,104,71,114,101,114,111,111,116,45,112,97,116,104,1,20,102,105,110, @@ -260,475 +260,470 @@ 23,203,1,23,196,1,86,94,23,193,1,27,248,22,81,23,197,1,28,248,22, 87,23,194,2,11,27,248,22,177,15,248,22,80,23,196,2,27,249,22,170,15, 23,196,1,23,203,2,28,248,22,164,15,23,194,2,86,95,23,201,1,23,195, -1,250,2,67,23,205,1,23,206,1,23,196,1,86,94,23,193,1,251,2,71, -23,205,1,23,206,1,23,207,1,248,22,81,23,200,1,86,95,28,28,248,22, -152,15,23,195,2,10,28,248,22,147,7,23,195,2,28,248,22,174,15,23,195, -2,10,248,22,175,15,23,195,2,11,12,250,22,135,10,2,6,2,40,23,197, -2,28,28,23,195,2,28,28,248,22,152,15,23,196,2,10,28,248,22,147,7, -23,196,2,28,248,22,174,15,23,196,2,10,248,22,175,15,23,196,2,11,248, -22,174,15,23,196,2,11,10,12,250,22,135,10,2,6,6,45,45,40,111,114, -47,99,32,35,102,32,40,97,110,100,47,99,32,112,97,116,104,45,115,116,114, -105,110,103,63,32,114,101,108,97,116,105,118,101,45,112,97,116,104,63,41,41, -23,198,2,28,28,248,22,174,15,23,195,2,90,159,39,11,89,161,39,36,11, -248,22,173,15,23,198,2,249,22,162,9,194,2,41,11,27,249,22,169,8,247, -22,168,8,5,4,80,65,84,72,27,28,23,194,2,249,80,158,40,41,249,22, -159,8,23,198,1,7,63,9,86,94,23,194,1,9,27,28,249,22,162,9,247, -22,174,8,2,35,249,22,79,248,22,161,15,5,1,46,23,196,1,23,194,1, -28,248,22,87,23,194,2,11,27,248,22,177,15,248,22,80,23,196,2,27,249, -22,170,15,23,196,1,23,201,2,28,248,22,164,15,23,194,2,86,95,23,199, -1,23,195,1,250,2,67,23,203,1,23,204,1,23,196,1,86,94,23,193,1, -27,248,22,81,23,197,1,28,248,22,87,23,194,2,11,27,248,22,177,15,248, -22,80,23,196,2,27,249,22,170,15,23,196,1,23,204,2,28,248,22,164,15, -23,194,2,86,95,23,202,1,23,195,1,250,2,67,23,206,1,23,207,1,23, -196,1,86,94,23,193,1,27,248,22,81,23,197,1,28,248,22,87,23,194,2, -11,27,248,22,177,15,248,22,80,23,196,2,27,249,22,170,15,23,196,1,23, -207,2,28,248,22,164,15,23,194,2,86,95,23,205,1,23,195,1,250,2,67, -23,209,1,23,210,1,23,196,1,86,94,23,193,1,251,2,71,23,209,1,23, -210,1,23,211,1,248,22,81,23,200,1,27,248,22,177,15,23,196,1,28,248, -22,164,15,23,194,2,250,2,67,23,199,1,23,200,1,23,196,1,11,250,80, -159,39,40,39,196,197,11,250,80,159,39,40,39,196,11,11,32,76,88,163,8, -36,39,57,11,2,42,222,33,78,0,8,35,114,120,35,34,92,34,34,27,249, -22,141,16,23,197,2,23,198,2,28,23,193,2,86,94,23,196,1,27,248,22, -104,23,195,2,27,27,248,22,113,23,197,1,27,249,22,141,16,23,201,2,23, -196,2,28,23,193,2,86,94,23,194,1,27,248,22,104,23,195,2,27,250,2, -76,23,203,2,23,204,1,248,22,113,23,199,1,28,249,22,144,8,23,196,2, -2,43,249,22,93,23,202,2,194,249,22,79,248,22,161,15,28,249,22,162,9, -247,22,174,8,2,35,250,22,153,16,2,77,23,200,1,2,43,23,197,1,194, -86,95,23,199,1,23,193,1,28,249,22,144,8,23,196,2,2,43,249,22,93, -23,200,2,9,249,22,79,248,22,161,15,28,249,22,162,9,247,22,174,8,2, -35,250,22,153,16,2,77,23,200,1,2,43,23,197,1,9,28,249,22,144,8, -23,196,2,2,43,249,22,93,197,194,86,94,23,196,1,249,22,79,248,22,161, -15,28,249,22,162,9,247,22,174,8,2,35,250,22,153,16,2,77,23,200,1, -2,43,23,197,1,194,86,94,23,193,1,28,249,22,144,8,23,198,2,2,43, -249,22,93,195,9,86,94,23,194,1,249,22,79,248,22,161,15,28,249,22,162, -9,247,22,174,8,2,35,250,22,153,16,2,77,23,202,1,2,43,23,199,1, -9,86,95,28,28,248,22,136,8,23,195,2,10,248,22,147,7,23,195,2,12, -250,22,135,10,2,7,6,21,21,40,111,114,47,99,32,98,121,116,101,115,63, -32,115,116,114,105,110,103,63,41,23,197,2,28,28,248,22,88,23,196,2,249, -22,4,22,152,15,23,197,2,11,12,250,22,135,10,2,7,6,14,14,40,108, -105,115,116,111,102,32,112,97,116,104,63,41,23,198,2,250,2,76,23,198,1, -23,196,1,28,248,22,147,7,23,198,2,248,22,161,8,23,198,1,23,197,1, -86,94,28,28,248,22,152,15,23,195,2,10,28,248,22,147,7,23,195,2,28, -248,22,174,15,23,195,2,10,248,22,175,15,23,195,2,11,12,250,22,135,10, -23,196,2,2,40,23,197,2,28,248,22,174,15,23,195,2,12,251,22,137,10, -23,197,1,2,44,2,38,23,198,1,86,94,28,28,248,22,152,15,23,195,2, -10,28,248,22,147,7,23,195,2,28,248,22,174,15,23,195,2,10,248,22,175, -15,23,195,2,11,12,250,22,135,10,23,196,2,2,40,23,197,2,28,248,22, -174,15,23,195,2,12,251,22,137,10,23,197,1,2,44,2,38,23,198,1,86, -94,86,94,28,28,248,22,152,15,23,195,2,10,28,248,22,147,7,23,195,2, -28,248,22,174,15,23,195,2,10,248,22,175,15,23,195,2,11,12,250,22,135, -10,23,196,2,2,40,23,197,2,28,248,22,174,15,23,195,2,86,94,23,194, -1,12,251,22,137,10,23,197,2,2,44,2,38,23,198,1,249,22,3,20,20, -94,88,163,8,36,37,47,11,9,223,2,33,81,23,195,1,23,197,1,28,28, -248,22,0,23,195,2,249,22,50,23,196,2,37,11,12,250,22,135,10,23,196, -1,2,45,23,197,1,86,94,28,28,248,22,152,15,23,194,2,10,28,248,22, -147,7,23,194,2,28,248,22,174,15,23,194,2,10,248,22,175,15,23,194,2, -11,12,250,22,135,10,2,11,2,40,23,196,2,28,248,22,174,15,23,194,2, -12,251,22,137,10,2,11,2,44,2,38,23,197,1,86,95,86,94,86,94,28, -28,248,22,152,15,23,196,2,10,28,248,22,147,7,23,196,2,28,248,22,174, -15,23,196,2,10,248,22,175,15,23,196,2,11,12,250,22,135,10,2,11,2, -40,23,198,2,28,248,22,174,15,23,196,2,12,251,22,137,10,2,11,2,44, -2,38,23,199,2,249,22,3,32,0,88,163,8,36,37,46,11,9,222,33,84, -23,198,2,28,28,248,22,0,23,195,2,249,22,50,23,196,2,37,11,12,250, -22,135,10,2,11,2,45,23,197,2,251,80,158,40,46,23,198,1,23,199,1, -23,200,1,11,86,94,28,28,248,22,152,15,23,194,2,10,28,248,22,147,7, -23,194,2,28,248,22,174,15,23,194,2,10,248,22,175,15,23,194,2,11,12, -250,22,135,10,2,13,2,40,23,196,2,28,248,22,174,15,23,194,2,12,251, -22,137,10,2,13,2,44,2,38,23,197,1,86,96,86,94,28,28,248,22,152, -15,23,196,2,10,28,248,22,147,7,23,196,2,28,248,22,174,15,23,196,2, -10,248,22,175,15,23,196,2,11,12,250,22,135,10,2,13,2,40,23,198,2, -28,248,22,174,15,23,196,2,12,251,22,137,10,2,13,2,44,2,38,23,199, -2,86,94,86,94,28,28,248,22,152,15,23,197,2,10,28,248,22,147,7,23, -197,2,28,248,22,174,15,23,197,2,10,248,22,175,15,23,197,2,11,12,250, -22,135,10,2,13,2,40,23,199,2,28,248,22,174,15,23,197,2,12,251,22, -137,10,2,13,2,44,2,38,23,200,2,249,22,3,32,0,88,163,8,36,37, -46,11,9,222,33,86,23,199,2,28,28,248,22,0,23,195,2,249,22,50,23, -196,2,37,11,12,250,22,135,10,2,13,2,45,23,197,2,251,80,158,40,46, -23,198,1,23,200,1,23,201,1,23,199,1,0,6,45,105,110,102,46,48,27, -248,22,128,16,2,46,27,28,248,22,175,15,23,195,2,23,194,1,20,13,159, -80,159,38,53,37,250,80,159,41,54,37,249,22,33,11,80,159,43,53,37,22, -129,16,248,22,128,16,68,111,114,105,103,45,100,105,114,27,248,22,128,16,2, -47,250,80,159,42,40,39,23,196,1,23,198,1,11,28,23,193,2,250,22,170, -15,23,196,1,6,6,6,99,111,110,102,105,103,6,10,10,108,105,110,107,115, -46,114,107,116,100,11,86,94,28,248,22,137,12,23,197,2,27,247,22,158,10, -28,249,22,150,10,23,195,2,2,48,251,22,154,10,23,197,1,2,48,250,22, -131,8,2,49,28,23,202,1,80,159,46,48,38,80,159,46,51,38,248,22,133, -12,23,205,2,247,22,29,12,12,28,248,22,137,12,23,197,2,86,94,23,196, -1,248,23,194,1,247,22,140,2,195,2,88,86,95,28,248,22,137,12,23,198, -2,27,247,22,158,10,28,249,22,150,10,23,195,2,2,48,251,22,154,10,23, -197,1,2,48,250,22,131,8,2,49,28,23,203,2,80,159,47,48,38,80,159, -47,51,38,248,22,133,12,23,206,2,247,22,29,12,12,28,23,193,2,28,23, -195,1,86,94,20,18,159,11,80,158,39,49,247,22,140,2,20,18,159,11,80, -158,39,50,23,193,1,86,94,20,18,159,11,80,158,39,55,247,22,140,2,20, -18,159,11,80,158,39,56,23,193,1,86,94,23,195,1,12,28,248,22,137,12, -23,198,2,86,94,23,197,1,248,23,195,1,247,22,140,2,196,20,20,94,248, -22,142,6,23,194,2,28,248,22,142,7,248,22,142,6,23,195,1,12,248,22, -131,10,6,30,30,101,120,112,101,99,116,101,100,32,97,32,115,105,110,103,108, -101,32,83,45,101,120,112,114,101,115,115,105,111,110,248,22,130,6,23,194,1, -28,248,22,88,23,194,2,28,28,249,22,128,4,38,248,22,92,23,196,2,10, -249,22,128,4,39,248,22,92,23,196,2,28,28,248,22,147,7,248,22,80,23, -195,2,10,249,22,162,9,64,114,111,111,116,248,22,132,18,23,196,2,28,27, -248,22,104,194,28,248,22,152,15,23,194,2,10,28,248,22,147,7,23,194,2, -28,248,22,174,15,23,194,2,10,248,22,175,15,23,194,1,11,27,248,22,87, -248,22,106,195,28,192,192,248,22,154,16,248,22,113,195,11,11,11,11,250,22, -158,2,23,197,1,23,198,1,249,22,79,23,198,1,23,201,1,28,28,248,22, -87,248,22,106,23,197,2,10,249,22,145,16,248,22,113,23,198,2,247,22,165, -8,27,248,22,179,15,249,22,177,15,248,22,104,23,200,2,23,198,1,28,248, -22,64,248,22,80,23,198,2,86,94,23,196,1,86,94,28,250,22,160,2,23, -197,2,11,11,12,250,22,158,2,23,197,2,11,9,249,22,164,2,23,196,2, -20,20,95,88,163,8,36,38,50,11,9,224,3,2,33,96,23,195,1,23,196, -1,27,248,22,67,248,22,132,18,23,199,1,250,22,158,2,23,198,2,23,196, -2,249,22,79,248,22,131,2,23,200,1,250,22,160,2,23,203,1,23,201,1, -9,12,250,22,158,2,23,196,1,23,197,1,248,22,94,23,199,1,20,13,159, -80,159,37,58,37,88,163,36,37,54,8,240,0,144,0,0,9,225,1,0,2, -33,90,27,250,22,187,15,28,23,197,2,80,159,41,48,38,80,159,41,51,38, -11,32,0,88,163,8,36,36,41,11,9,222,33,91,28,249,22,130,4,23,195, -2,28,23,196,2,80,158,40,50,80,158,40,56,20,13,159,80,159,38,58,37, -20,20,94,88,163,36,37,55,8,240,0,240,24,0,9,226,2,1,3,0,33, -92,23,196,1,20,13,159,80,159,38,53,37,26,29,80,159,8,31,54,37,249, -22,33,11,80,159,8,33,53,37,22,186,14,10,22,187,14,10,22,188,14,10, -22,191,14,10,22,190,14,10,22,128,15,10,22,189,14,10,22,129,15,10,22, -130,15,10,22,131,15,10,22,132,15,10,22,133,15,10,22,134,15,11,22,184, -14,11,27,249,22,185,5,28,196,80,159,41,48,38,80,159,41,51,38,66,98, -105,110,97,114,121,27,250,22,46,22,37,88,163,8,36,36,44,11,9,223,4, -33,93,20,20,94,88,163,36,36,43,11,9,223,4,33,94,23,197,1,86,94, -28,28,248,22,88,23,194,2,249,22,4,32,0,88,163,8,36,37,45,11,9, -222,33,95,23,195,2,11,12,248,22,131,10,6,18,18,105,108,108,45,102,111, -114,109,101,100,32,99,111,110,116,101,110,116,27,247,22,140,2,27,90,159,39, -11,89,161,39,36,11,248,22,173,15,28,201,80,159,46,48,38,80,159,46,51, -38,192,86,96,249,22,3,20,20,94,88,163,8,36,37,54,11,9,224,2,3, -33,97,23,195,1,23,197,1,249,22,164,2,195,88,163,8,36,38,48,11,9, -223,3,33,98,28,197,86,94,20,18,159,11,80,158,42,49,193,20,18,159,11, -80,158,42,50,196,86,94,20,18,159,11,80,158,42,55,193,20,18,159,11,80, -158,42,56,196,193,28,193,80,158,38,49,80,158,38,55,248,22,8,20,20,94, -88,163,8,32,37,8,40,8,240,0,240,94,0,9,224,1,2,33,99,23,195, -1,0,7,35,114,120,34,47,43,34,28,248,22,147,7,23,195,2,27,249,22, -143,16,2,101,23,197,2,28,23,193,2,28,249,22,128,4,248,22,103,23,196, -2,248,22,182,3,248,22,150,7,23,199,2,249,22,7,250,22,169,7,23,200, -1,36,248,22,103,23,199,1,23,198,1,249,22,7,250,22,169,7,23,200,2, -36,248,22,103,23,199,2,249,22,79,249,22,169,7,23,201,1,248,22,105,23, -200,1,23,200,1,249,22,7,23,197,1,23,198,1,90,159,39,11,89,161,39, -36,11,248,22,173,15,23,198,1,86,94,23,195,1,28,249,22,162,9,23,195, -2,2,41,86,94,23,193,1,249,22,7,23,196,1,23,200,1,27,249,22,79, -23,197,1,23,201,1,28,248,22,147,7,23,195,2,27,249,22,143,16,2,101, -23,197,2,28,23,193,2,28,249,22,128,4,248,22,103,23,196,2,248,22,182, -3,248,22,150,7,23,199,2,249,22,7,250,22,169,7,23,200,1,36,248,22, -103,23,199,1,23,196,1,249,22,7,250,22,169,7,23,200,2,36,248,22,103, -23,199,2,249,22,79,249,22,169,7,23,201,1,248,22,105,23,200,1,23,198, -1,249,22,7,23,197,1,23,196,1,90,159,39,11,89,161,39,36,11,248,22, -173,15,23,198,1,86,94,23,195,1,28,249,22,162,9,23,195,2,2,41,86, -94,23,193,1,249,22,7,23,196,1,23,198,1,249,80,159,45,59,39,194,249, -22,79,197,199,32,103,88,163,36,43,8,27,11,65,99,108,111,111,112,222,33, -112,32,104,88,163,8,36,37,47,11,2,42,222,33,107,32,105,88,163,36,37, -43,11,69,116,111,45,115,116,114,105,110,103,222,33,106,28,248,22,152,15,23, -194,2,248,22,156,15,23,194,1,192,28,248,22,87,248,22,81,23,195,2,248, -22,89,248,2,105,248,22,132,18,23,196,1,250,22,90,248,2,105,248,22,132, -18,23,198,2,2,51,248,2,104,248,22,133,18,23,198,1,249,22,131,8,2, -52,23,195,1,32,109,88,163,36,38,48,11,66,102,105,108,116,101,114,222,33, -110,28,248,22,87,23,195,2,9,28,248,23,194,2,248,22,80,23,196,2,249, -22,79,248,22,132,18,23,197,2,249,2,109,23,197,1,248,22,133,18,23,199, -1,249,2,109,23,195,1,248,22,133,18,23,197,1,249,22,131,8,2,52,248, -22,134,2,23,196,1,28,248,22,87,23,199,2,86,94,23,198,1,28,23,199, -2,86,97,23,196,1,23,195,1,23,194,1,23,193,1,28,23,197,2,249,22, -170,15,23,201,1,23,199,1,198,27,28,248,22,87,23,197,2,2,50,249,22, -1,22,170,7,248,2,104,23,199,2,248,23,198,1,251,22,131,8,6,70,70, -99,111,108,108,101,99,116,105,111,110,32,110,111,116,32,102,111,117,110,100,10, -32,32,99,111,108,108,101,99,116,105,111,110,58,32,126,115,10,32,32,105,110, -32,99,111,108,108,101,99,116,105,111,110,32,100,105,114,101,99,116,111,114,105, -101,115,58,126,97,126,97,28,248,22,87,23,202,1,248,2,105,23,201,1,250, -22,170,7,248,2,105,23,204,1,2,51,23,201,2,249,22,1,22,170,7,249, -22,2,32,0,88,163,8,36,37,44,11,9,222,33,108,249,2,109,22,152,15, -23,205,2,28,249,22,5,22,133,2,23,201,2,250,22,131,8,6,49,49,10, -32,32,32,115,117,98,45,99,111,108,108,101,99,116,105,111,110,58,32,126,115, -10,32,32,105,110,32,112,97,114,101,110,116,32,100,105,114,101,99,116,111,114, -105,101,115,58,126,97,23,201,1,249,22,1,22,170,7,249,22,2,32,0,88, -163,8,36,37,45,11,9,222,33,111,249,2,109,22,133,2,23,208,1,86,95, -23,199,1,23,198,1,2,50,27,248,22,80,23,200,2,27,28,248,22,152,15, -23,195,2,249,22,170,15,23,196,1,23,198,2,248,22,134,2,23,195,1,28, -28,248,22,152,15,248,22,80,23,202,2,248,22,165,15,23,194,2,10,27,250, -22,1,22,170,15,23,197,1,23,201,2,28,28,248,22,87,23,199,2,10,248, -22,165,15,23,194,2,28,23,200,2,28,28,248,22,164,15,249,22,170,15,23, -196,2,23,203,2,10,27,28,248,22,152,15,23,202,2,248,22,156,15,23,202, -2,23,201,2,19,248,22,150,7,23,195,2,27,28,249,22,132,4,23,196,4, -40,28,249,22,153,7,6,4,4,46,114,107,116,249,22,169,7,23,199,2,249, -22,184,3,23,200,4,40,249,22,170,7,250,22,169,7,23,200,1,36,249,22, -184,3,23,201,4,40,6,3,3,46,115,115,86,95,23,195,1,23,194,1,11, -11,28,23,193,2,248,22,164,15,249,22,170,15,23,199,2,23,196,1,11,2, -86,99,23,202,1,23,201,1,23,199,1,23,198,1,23,197,1,23,196,1,28, -23,200,2,249,22,170,15,23,195,1,23,202,1,192,254,2,103,23,203,1,23, -204,1,23,205,1,23,206,1,23,207,1,248,22,81,23,209,1,28,23,209,2, -86,94,23,200,1,23,209,1,86,94,23,209,1,23,200,1,28,23,200,2,249, -22,170,15,23,195,1,23,202,1,192,254,2,103,23,203,1,23,204,1,23,205, -1,23,206,1,23,207,1,248,22,81,23,209,1,23,209,1,86,94,23,193,1, -254,2,103,23,202,1,23,203,1,23,204,1,23,205,1,23,206,1,248,22,81, -23,208,1,23,208,1,90,159,38,11,89,161,38,36,11,249,80,159,40,59,39, -23,199,1,23,200,1,27,248,22,67,28,248,22,152,15,23,196,2,248,22,156, -15,23,196,2,23,195,2,27,247,22,134,16,27,250,22,93,28,23,197,2,28, -247,22,133,16,27,248,80,159,46,57,39,10,27,250,22,160,2,23,197,2,23, -203,2,11,28,23,193,2,192,86,94,23,193,1,250,22,160,2,23,197,1,11, -9,9,9,28,23,197,1,28,80,159,44,51,38,27,248,80,159,46,57,39,11, -27,250,22,160,2,23,197,2,23,203,1,11,28,23,193,2,192,86,94,23,193, -1,250,22,160,2,23,197,1,11,9,86,94,23,198,1,9,9,247,22,130,16, -254,2,103,23,200,2,23,203,1,23,204,1,23,206,1,23,209,1,23,200,1, -11,86,95,28,28,248,22,153,15,23,194,2,10,28,248,22,152,15,23,194,2, -10,28,248,22,147,7,23,194,2,28,248,22,174,15,23,194,2,10,248,22,175, -15,23,194,2,11,12,252,22,135,10,23,200,2,2,34,36,23,198,2,23,199, -2,28,28,248,22,147,7,23,195,2,10,248,22,136,8,23,195,2,86,94,23, -194,1,12,252,22,135,10,23,200,2,2,53,37,23,198,2,23,199,1,90,159, -39,11,89,161,39,36,11,248,22,173,15,23,197,2,86,94,23,195,1,86,94, -28,23,193,2,86,95,23,198,1,23,196,1,12,250,22,138,10,23,201,1,2, -54,23,199,1,249,22,7,23,195,1,23,196,1,32,115,88,163,36,42,8,24, -11,2,42,222,33,116,28,248,22,133,4,23,199,2,86,95,23,198,1,23,194, +1,250,2,67,23,205,1,23,206,1,23,196,1,251,2,71,204,205,206,248,22, +81,199,86,95,28,28,248,22,152,15,23,195,2,10,28,248,22,147,7,23,195, +2,28,248,22,174,15,23,195,2,10,248,22,175,15,23,195,2,11,12,250,22, +135,10,2,6,2,40,23,197,2,28,28,23,195,2,28,28,248,22,152,15,23, +196,2,10,28,248,22,147,7,23,196,2,28,248,22,174,15,23,196,2,10,248, +22,175,15,23,196,2,11,248,22,174,15,23,196,2,11,10,12,250,22,135,10, +2,6,6,45,45,40,111,114,47,99,32,35,102,32,40,97,110,100,47,99,32, +112,97,116,104,45,115,116,114,105,110,103,63,32,114,101,108,97,116,105,118,101, +45,112,97,116,104,63,41,41,23,198,2,28,28,248,22,174,15,23,195,2,90, +159,39,11,89,161,39,36,11,248,22,173,15,23,198,2,249,22,162,9,194,2, +41,11,27,249,22,169,8,247,22,168,8,5,4,80,65,84,72,27,28,23,194, +2,249,80,158,40,41,249,22,159,8,23,198,1,7,63,9,86,94,23,194,1, +9,27,28,249,22,162,9,247,22,174,8,2,35,249,22,79,248,22,161,15,5, +1,46,23,196,1,23,194,1,28,248,22,87,23,194,2,11,27,248,22,177,15, +248,22,80,23,196,2,27,249,22,170,15,23,196,1,23,201,2,28,248,22,164, +15,23,194,2,86,95,23,199,1,23,195,1,250,2,67,23,203,1,23,204,1, +23,196,1,86,94,23,193,1,27,248,22,81,23,197,1,28,248,22,87,23,194, +2,11,27,248,22,177,15,248,22,80,23,196,2,27,249,22,170,15,23,196,1, +23,204,2,28,248,22,164,15,23,194,2,86,95,23,202,1,23,195,1,250,2, +67,23,206,1,23,207,1,23,196,1,86,94,23,193,1,27,248,22,81,23,197, +1,28,248,22,87,23,194,2,11,27,248,22,177,15,248,22,80,23,196,2,27, +249,22,170,15,23,196,1,23,207,2,28,248,22,164,15,23,194,2,86,95,23, +205,1,23,195,1,250,2,67,23,209,1,23,210,1,23,196,1,86,94,23,193, +1,251,2,71,23,209,1,23,210,1,23,211,1,248,22,81,23,200,1,27,248, +22,177,15,23,196,1,28,248,22,164,15,23,194,2,250,2,67,23,199,1,23, +200,1,23,196,1,11,250,80,159,39,40,39,196,197,11,250,80,159,39,40,39, +196,11,11,32,76,88,163,8,36,39,57,11,2,42,222,33,78,0,8,35,114, +120,35,34,92,34,34,27,249,22,141,16,23,197,2,23,198,2,28,23,193,2, +86,94,23,196,1,27,248,22,104,23,195,2,27,27,248,22,113,23,197,1,27, +249,22,141,16,23,201,2,23,196,2,28,23,193,2,86,94,23,194,1,27,248, +22,104,23,195,2,27,250,2,76,23,203,2,23,204,1,248,22,113,23,199,1, +28,249,22,144,8,23,196,2,2,43,249,22,93,23,202,2,194,249,22,79,248, +22,161,15,28,249,22,162,9,247,22,174,8,2,35,250,22,153,16,2,77,23, +200,1,2,43,23,197,1,194,86,95,23,199,1,23,193,1,28,249,22,144,8, +23,196,2,2,43,249,22,93,23,200,2,9,249,22,79,248,22,161,15,28,249, +22,162,9,247,22,174,8,2,35,250,22,153,16,2,77,23,200,1,2,43,23, +197,1,9,28,249,22,144,8,23,196,2,2,43,249,22,93,197,194,86,94,23, +196,1,249,22,79,248,22,161,15,28,249,22,162,9,247,22,174,8,2,35,250, +22,153,16,2,77,23,200,1,2,43,23,197,1,194,86,94,23,193,1,28,249, +22,144,8,23,198,2,2,43,249,22,93,195,9,86,94,23,194,1,249,22,79, +248,22,161,15,28,249,22,162,9,247,22,174,8,2,35,250,22,153,16,2,77, +23,202,1,2,43,23,199,1,9,86,95,28,28,248,22,136,8,23,195,2,10, +248,22,147,7,23,195,2,12,250,22,135,10,2,7,6,21,21,40,111,114,47, +99,32,98,121,116,101,115,63,32,115,116,114,105,110,103,63,41,23,197,2,28, +28,248,22,88,23,196,2,249,22,4,22,152,15,23,197,2,11,12,250,22,135, +10,2,7,6,14,14,40,108,105,115,116,111,102,32,112,97,116,104,63,41,23, +198,2,250,2,76,23,198,1,23,196,1,28,248,22,147,7,23,198,2,248,22, +161,8,23,198,1,23,197,1,86,94,28,28,248,22,152,15,23,195,2,10,28, +248,22,147,7,23,195,2,28,248,22,174,15,23,195,2,10,248,22,175,15,23, +195,2,11,12,250,22,135,10,23,196,2,2,40,23,197,2,28,248,22,174,15, +23,195,2,12,251,22,137,10,23,197,1,2,44,2,38,23,198,1,86,94,28, +28,248,22,152,15,23,195,2,10,28,248,22,147,7,23,195,2,28,248,22,174, +15,23,195,2,10,248,22,175,15,23,195,2,11,12,250,22,135,10,23,196,2, +2,40,23,197,2,28,248,22,174,15,23,195,2,12,251,22,137,10,23,197,1, +2,44,2,38,23,198,1,86,94,86,94,28,28,248,22,152,15,23,195,2,10, +28,248,22,147,7,23,195,2,28,248,22,174,15,23,195,2,10,248,22,175,15, +23,195,2,11,12,250,22,135,10,23,196,2,2,40,23,197,2,28,248,22,174, +15,23,195,2,86,94,23,194,1,12,251,22,137,10,23,197,2,2,44,2,38, +23,198,1,249,22,3,20,20,94,88,163,8,36,37,47,11,9,223,2,33,81, +23,195,1,23,197,1,28,28,248,22,0,23,195,2,249,22,50,23,196,2,37, +11,12,250,22,135,10,23,196,1,2,45,23,197,1,86,94,28,28,248,22,152, +15,23,194,2,10,28,248,22,147,7,23,194,2,28,248,22,174,15,23,194,2, +10,248,22,175,15,23,194,2,11,12,250,22,135,10,2,11,2,40,23,196,2, +28,248,22,174,15,23,194,2,12,251,22,137,10,2,11,2,44,2,38,23,197, +1,86,95,86,94,86,94,28,28,248,22,152,15,23,196,2,10,28,248,22,147, +7,23,196,2,28,248,22,174,15,23,196,2,10,248,22,175,15,23,196,2,11, +12,250,22,135,10,2,11,2,40,23,198,2,28,248,22,174,15,23,196,2,12, +251,22,137,10,2,11,2,44,2,38,23,199,2,249,22,3,32,0,88,163,8, +36,37,46,11,9,222,33,84,23,198,2,28,28,248,22,0,23,195,2,249,22, +50,23,196,2,37,11,12,250,22,135,10,2,11,2,45,23,197,2,251,80,158, +40,46,23,198,1,23,199,1,23,200,1,11,86,94,28,28,248,22,152,15,23, +194,2,10,28,248,22,147,7,23,194,2,28,248,22,174,15,23,194,2,10,248, +22,175,15,23,194,2,11,12,250,22,135,10,2,13,2,40,23,196,2,28,248, +22,174,15,23,194,2,12,251,22,137,10,2,13,2,44,2,38,23,197,1,86, +96,86,94,28,28,248,22,152,15,23,196,2,10,28,248,22,147,7,23,196,2, +28,248,22,174,15,23,196,2,10,248,22,175,15,23,196,2,11,12,250,22,135, +10,2,13,2,40,23,198,2,28,248,22,174,15,23,196,2,12,251,22,137,10, +2,13,2,44,2,38,23,199,2,86,94,86,94,28,28,248,22,152,15,23,197, +2,10,28,248,22,147,7,23,197,2,28,248,22,174,15,23,197,2,10,248,22, +175,15,23,197,2,11,12,250,22,135,10,2,13,2,40,23,199,2,28,248,22, +174,15,23,197,2,12,251,22,137,10,2,13,2,44,2,38,23,200,2,249,22, +3,32,0,88,163,8,36,37,46,11,9,222,33,86,23,199,2,28,28,248,22, +0,23,195,2,249,22,50,23,196,2,37,11,12,250,22,135,10,2,13,2,45, +23,197,2,251,80,158,40,46,23,198,1,23,200,1,23,201,1,23,199,1,0, +6,45,105,110,102,46,48,27,248,22,128,16,2,46,27,28,248,22,175,15,23, +195,2,23,194,1,20,13,159,80,159,38,53,37,250,80,159,41,54,37,249,22, +33,11,80,159,43,53,37,22,129,16,248,22,128,16,68,111,114,105,103,45,100, +105,114,27,248,22,128,16,2,47,250,80,159,42,40,39,23,196,1,23,198,1, +11,28,23,193,2,250,22,170,15,23,196,1,6,6,6,99,111,110,102,105,103, +6,10,10,108,105,110,107,115,46,114,107,116,100,11,86,94,28,248,22,137,12, +23,197,2,27,247,22,158,10,28,249,22,150,10,23,195,2,2,48,251,22,154, +10,23,197,1,2,48,250,22,131,8,2,49,28,23,202,1,80,159,46,48,38, +80,159,46,51,38,248,22,133,12,23,205,2,247,22,29,12,12,28,248,22,137, +12,23,197,2,86,94,23,196,1,248,23,194,1,247,22,140,2,195,2,88,86, +95,28,248,22,137,12,23,198,2,27,247,22,158,10,28,249,22,150,10,23,195, +2,2,48,251,22,154,10,23,197,1,2,48,250,22,131,8,2,49,28,23,203, +2,80,159,47,48,38,80,159,47,51,38,248,22,133,12,23,206,2,247,22,29, +12,12,28,23,193,2,28,23,195,1,86,94,20,18,159,11,80,158,39,49,247, +22,140,2,20,18,159,11,80,158,39,50,23,193,1,86,94,20,18,159,11,80, +158,39,55,247,22,140,2,20,18,159,11,80,158,39,56,23,193,1,86,94,23, +195,1,12,28,248,22,137,12,23,198,2,86,94,23,197,1,248,23,195,1,247, +22,140,2,196,20,20,94,248,22,142,6,23,194,2,28,248,22,142,7,248,22, +142,6,23,195,1,12,248,22,131,10,6,30,30,101,120,112,101,99,116,101,100, +32,97,32,115,105,110,103,108,101,32,83,45,101,120,112,114,101,115,115,105,111, +110,248,22,130,6,23,194,1,28,248,22,88,23,194,2,28,28,249,22,128,4, +38,248,22,92,23,196,2,10,249,22,128,4,39,248,22,92,23,196,2,28,28, +248,22,147,7,248,22,80,23,195,2,10,249,22,162,9,64,114,111,111,116,248, +22,132,18,23,196,2,28,27,248,22,104,194,28,248,22,152,15,23,194,2,10, +28,248,22,147,7,23,194,2,28,248,22,174,15,23,194,2,10,248,22,175,15, +23,194,1,11,27,248,22,87,248,22,106,195,28,192,192,248,22,154,16,248,22, +113,195,11,11,11,11,250,22,158,2,23,197,1,23,198,1,249,22,79,23,198, +1,23,201,1,28,28,248,22,87,248,22,106,23,197,2,10,249,22,145,16,248, +22,113,23,198,2,247,22,165,8,27,248,22,179,15,249,22,177,15,248,22,104, +23,200,2,23,198,1,28,248,22,64,248,22,80,23,198,2,86,94,23,196,1, +86,94,28,250,22,160,2,23,197,2,11,11,12,250,22,158,2,23,197,2,11, +9,249,22,164,2,23,196,2,20,20,95,88,163,8,36,38,50,11,9,224,3, +2,33,96,23,195,1,23,196,1,27,248,22,67,248,22,132,18,23,199,1,250, +22,158,2,23,198,2,23,196,2,249,22,79,248,22,131,2,23,200,1,250,22, +160,2,23,203,1,23,201,1,9,12,250,22,158,2,23,196,1,23,197,1,248, +22,94,23,199,1,20,13,159,80,159,37,58,37,88,163,36,37,54,8,240,0, +144,0,0,9,225,1,0,2,33,90,27,250,22,187,15,28,23,197,2,80,159, +41,48,38,80,159,41,51,38,11,32,0,88,163,8,36,36,41,11,9,222,33, +91,28,249,22,130,4,23,195,2,28,23,196,2,80,158,40,50,80,158,40,56, +20,13,159,80,159,38,58,37,20,20,94,88,163,36,37,55,8,240,0,240,24, +0,9,226,2,1,3,0,33,92,23,196,1,20,13,159,80,159,38,53,37,26, +29,80,159,8,31,54,37,249,22,33,11,80,159,8,33,53,37,22,186,14,10, +22,187,14,10,22,188,14,10,22,191,14,10,22,190,14,10,22,128,15,10,22, +189,14,10,22,129,15,10,22,130,15,10,22,131,15,10,22,132,15,10,22,133, +15,10,22,134,15,11,22,184,14,11,27,249,22,185,5,28,196,80,159,41,48, +38,80,159,41,51,38,66,98,105,110,97,114,121,27,250,22,46,22,37,88,163, +8,36,36,44,11,9,223,4,33,93,20,20,94,88,163,36,36,43,11,9,223, +4,33,94,23,197,1,86,94,28,28,248,22,88,23,194,2,249,22,4,32,0, +88,163,8,36,37,45,11,9,222,33,95,23,195,2,11,12,248,22,131,10,6, +18,18,105,108,108,45,102,111,114,109,101,100,32,99,111,110,116,101,110,116,27, +247,22,140,2,27,90,159,39,11,89,161,39,36,11,248,22,173,15,28,201,80, +159,46,48,38,80,159,46,51,38,192,86,96,249,22,3,20,20,94,88,163,8, +36,37,54,11,9,224,2,3,33,97,23,195,1,23,197,1,249,22,164,2,195, +88,163,8,36,38,48,11,9,223,3,33,98,28,197,86,94,20,18,159,11,80, +158,42,49,193,20,18,159,11,80,158,42,50,196,86,94,20,18,159,11,80,158, +42,55,193,20,18,159,11,80,158,42,56,196,193,28,193,80,158,38,49,80,158, +38,55,248,22,8,20,20,94,88,163,8,32,37,8,40,8,240,0,240,94,0, +9,224,1,2,33,99,23,195,1,0,7,35,114,120,34,47,43,34,28,248,22, +147,7,23,195,2,27,249,22,143,16,2,101,23,197,2,28,23,193,2,28,249, +22,128,4,248,22,103,23,196,2,248,22,182,3,248,22,150,7,23,199,2,249, +22,7,250,22,169,7,23,200,1,36,248,22,103,23,199,1,23,198,1,249,22, +7,250,22,169,7,23,200,2,36,248,22,103,23,199,2,249,22,79,249,22,169, +7,23,201,1,248,22,105,23,200,1,23,200,1,249,22,7,23,197,1,23,198, +1,90,159,39,11,89,161,39,36,11,248,22,173,15,23,198,1,86,94,23,195, +1,28,249,22,162,9,23,195,2,2,41,86,94,23,193,1,249,22,7,23,196, +1,23,200,1,27,249,22,79,23,197,1,23,201,1,28,248,22,147,7,23,195, +2,27,249,22,143,16,2,101,23,197,2,28,23,193,2,28,249,22,128,4,248, +22,103,23,196,2,248,22,182,3,248,22,150,7,23,199,2,249,22,7,250,22, +169,7,23,200,1,36,248,22,103,23,199,1,23,196,1,249,22,7,250,22,169, +7,23,200,2,36,248,22,103,23,199,2,249,22,79,249,22,169,7,23,201,1, +248,22,105,23,200,1,23,198,1,249,22,7,23,197,1,23,196,1,90,159,39, +11,89,161,39,36,11,248,22,173,15,23,198,1,86,94,23,195,1,28,249,22, +162,9,23,195,2,2,41,86,94,23,193,1,249,22,7,23,196,1,23,198,1, +249,80,159,45,59,39,194,249,22,79,197,199,32,103,88,163,36,43,8,27,11, +65,99,108,111,111,112,222,33,112,32,104,88,163,8,36,37,47,11,2,42,222, +33,107,32,105,88,163,36,37,43,11,69,116,111,45,115,116,114,105,110,103,222, +33,106,28,248,22,152,15,23,194,2,248,22,156,15,23,194,1,192,28,248,22, +87,248,22,81,23,195,2,248,22,89,248,2,105,248,22,132,18,23,196,1,250, +22,90,248,2,105,248,22,132,18,23,198,2,2,51,248,2,104,248,22,133,18, +23,198,1,249,22,131,8,2,52,23,195,1,32,109,88,163,36,38,48,11,66, +102,105,108,116,101,114,222,33,110,28,248,22,87,23,195,2,9,28,248,23,194, +2,248,22,80,23,196,2,249,22,79,248,22,132,18,23,197,2,249,2,109,23, +197,1,248,22,133,18,23,199,1,249,2,109,194,248,22,133,18,196,249,22,131, +8,2,52,248,22,134,2,23,196,1,28,248,22,87,23,199,2,86,94,23,198, +1,28,23,199,2,86,97,23,196,1,23,195,1,23,194,1,23,193,1,28,23, +197,2,249,22,170,15,23,201,1,23,199,1,198,27,28,248,22,87,23,197,2, +2,50,249,22,1,22,170,7,248,2,104,23,199,2,248,23,198,1,251,22,131, +8,6,70,70,99,111,108,108,101,99,116,105,111,110,32,110,111,116,32,102,111, +117,110,100,10,32,32,99,111,108,108,101,99,116,105,111,110,58,32,126,115,10, +32,32,105,110,32,99,111,108,108,101,99,116,105,111,110,32,100,105,114,101,99, +116,111,114,105,101,115,58,126,97,126,97,28,248,22,87,23,202,1,248,2,105, +23,201,1,250,22,170,7,248,2,105,23,204,1,2,51,23,201,2,249,22,1, +22,170,7,249,22,2,32,0,88,163,8,36,37,44,11,9,222,33,108,249,2, +109,22,152,15,23,205,2,28,249,22,5,22,133,2,23,201,2,250,22,131,8, +6,49,49,10,32,32,32,115,117,98,45,99,111,108,108,101,99,116,105,111,110, +58,32,126,115,10,32,32,105,110,32,112,97,114,101,110,116,32,100,105,114,101, +99,116,111,114,105,101,115,58,126,97,23,201,1,249,22,1,22,170,7,249,22, +2,32,0,88,163,8,36,37,45,11,9,222,33,111,249,2,109,22,133,2,23, +208,1,86,95,23,199,1,23,198,1,2,50,27,248,22,80,23,200,2,27,28, +248,22,152,15,23,195,2,249,22,170,15,23,196,1,23,198,2,248,22,134,2, +23,195,1,28,28,248,22,152,15,248,22,80,23,202,2,248,22,165,15,23,194, +2,10,27,250,22,1,22,170,15,23,197,1,23,201,2,28,28,248,22,87,23, +199,2,10,248,22,165,15,23,194,2,28,23,200,2,28,28,248,22,164,15,249, +22,170,15,23,196,2,23,203,2,10,27,28,248,22,152,15,23,202,2,248,22, +156,15,23,202,2,23,201,2,19,248,22,150,7,23,195,2,27,28,249,22,132, +4,23,196,4,40,28,249,22,153,7,6,4,4,46,114,107,116,249,22,169,7, +23,199,2,249,22,184,3,23,200,4,40,249,22,170,7,250,22,169,7,23,200, +1,36,249,22,184,3,23,201,4,40,6,3,3,46,115,115,86,94,23,195,1, +11,11,28,23,193,2,248,22,164,15,249,22,170,15,23,199,2,23,196,1,11, +2,86,99,23,202,1,23,201,1,23,199,1,23,198,1,23,197,1,23,196,1, +28,23,200,2,249,22,170,15,23,195,1,23,202,1,192,254,2,103,202,203,204, +205,206,248,22,81,23,16,28,23,16,23,16,199,28,23,200,2,249,22,170,15, +23,195,1,23,202,1,192,254,2,103,202,203,204,205,206,248,22,81,23,16,23, +16,254,2,103,201,202,203,204,205,248,22,81,23,15,23,15,90,159,38,11,89, +161,38,36,11,249,80,159,40,59,39,23,199,1,23,200,1,27,248,22,67,28, +248,22,152,15,23,196,2,248,22,156,15,23,196,2,23,195,2,27,247,22,134, +16,27,250,22,93,28,23,197,2,28,247,22,133,16,27,248,80,159,46,57,39, +10,27,250,22,160,2,23,197,2,23,203,2,11,28,23,193,2,192,86,94,23, +193,1,250,22,160,2,23,197,1,11,9,9,9,28,23,197,1,28,80,159,44, +51,38,27,248,80,159,46,57,39,11,27,250,22,160,2,23,197,2,23,203,1, +11,28,23,193,2,192,86,94,23,193,1,250,22,160,2,23,197,1,11,9,86, +94,23,198,1,9,9,247,22,130,16,254,2,103,23,200,2,23,203,1,23,204, +1,23,206,1,23,209,1,23,200,1,11,86,95,28,28,248,22,153,15,23,194, +2,10,28,248,22,152,15,23,194,2,10,28,248,22,147,7,23,194,2,28,248, +22,174,15,23,194,2,10,248,22,175,15,23,194,2,11,12,252,22,135,10,23, +200,2,2,34,36,23,198,2,23,199,2,28,28,248,22,147,7,23,195,2,10, +248,22,136,8,23,195,2,86,94,23,194,1,12,252,22,135,10,23,200,2,2, +53,37,23,198,2,23,199,1,90,159,39,11,89,161,39,36,11,248,22,173,15, +23,197,2,86,94,23,195,1,86,94,28,23,193,2,86,95,23,198,1,23,196, +1,12,250,22,138,10,23,201,1,2,54,23,199,1,249,22,7,23,195,1,23, +196,1,32,115,88,163,36,42,8,24,11,2,42,222,33,116,28,248,22,133,4, +23,199,2,86,95,23,198,1,23,194,1,19,248,22,141,8,23,195,2,19,248, +22,141,8,23,196,2,249,22,162,15,251,22,148,8,250,22,147,8,23,204,2, +36,23,203,4,2,43,249,23,205,1,23,203,1,23,201,4,28,248,22,147,7, +23,206,2,249,22,162,8,23,207,1,8,63,23,205,1,28,248,22,153,15,23, +201,2,248,22,154,15,23,201,1,86,94,23,200,1,247,22,155,15,2,2,27, +248,22,182,3,23,200,1,28,249,22,162,9,8,46,249,22,142,8,23,198,2, +23,197,2,27,248,22,181,3,23,195,2,249,22,162,15,251,22,148,8,250,22, +147,8,23,204,2,36,23,203,1,23,202,1,249,23,205,1,23,203,1,23,201, +1,28,248,22,147,7,23,206,2,249,22,162,8,23,207,1,8,63,23,205,1, +28,248,22,153,15,23,201,2,248,22,154,15,23,201,1,86,94,23,200,1,247, +22,155,15,28,248,22,133,4,23,194,2,86,95,23,195,1,23,193,1,19,248, +22,141,8,23,196,2,19,248,22,141,8,23,197,2,249,22,162,15,251,22,148, +8,250,22,147,8,23,205,2,36,23,203,4,2,43,249,23,206,1,23,204,1, +23,201,4,28,248,22,147,7,23,207,2,249,22,162,8,23,208,1,8,63,23, +206,1,28,248,22,153,15,23,202,2,248,22,154,15,23,202,1,86,94,23,201, +1,247,22,155,15,2,2,27,248,22,182,3,23,195,1,28,249,22,162,9,8, +46,249,22,142,8,23,199,2,23,197,2,27,248,22,181,3,23,195,2,249,22, +162,15,251,22,148,8,250,22,147,8,23,205,2,36,23,203,1,23,203,1,249, +23,206,1,23,204,1,23,201,1,28,248,22,147,7,23,207,2,249,22,162,8, +23,208,1,8,63,23,206,1,28,248,22,153,15,23,202,2,248,22,154,15,23, +202,1,86,94,23,201,1,247,22,155,15,28,248,22,133,4,23,194,2,86,95, +23,196,1,23,193,1,19,248,22,141,8,23,197,2,19,248,22,141,8,23,198, +2,249,22,162,15,251,22,148,8,250,22,147,8,23,206,2,36,23,203,4,2, +43,249,23,207,1,23,205,1,23,201,4,28,248,22,147,7,23,208,2,249,22, +162,8,23,209,1,8,63,23,207,1,28,248,22,153,15,23,203,2,248,22,154, +15,23,203,1,86,94,23,202,1,247,22,155,15,2,2,27,248,22,182,3,23, +195,1,28,249,22,162,9,8,46,249,22,142,8,23,200,2,23,197,2,27,248, +22,181,3,23,195,2,249,22,162,15,251,22,148,8,250,22,147,8,23,206,2, +36,23,203,1,23,204,1,249,23,207,1,23,205,1,23,201,1,28,248,22,147, +7,23,208,2,249,22,162,8,23,209,1,8,63,23,207,1,28,248,22,153,15, +23,203,2,248,22,154,15,23,203,1,86,94,23,202,1,247,22,155,15,253,2, +115,201,202,203,204,205,198,90,159,38,11,89,161,38,36,11,86,95,28,28,248, +22,153,15,23,199,2,10,28,248,22,152,15,23,199,2,10,28,248,22,147,7, +23,199,2,28,248,22,174,15,23,199,2,10,248,22,175,15,23,199,2,11,12, +252,22,135,10,23,200,2,2,34,36,23,203,2,23,204,2,28,28,248,22,147, +7,23,200,2,10,248,22,136,8,23,200,2,12,252,22,135,10,23,200,2,2, +53,37,23,203,2,23,204,2,90,159,39,11,89,161,39,36,11,248,22,173,15, +23,202,2,86,94,23,195,1,86,94,28,192,12,250,22,138,10,23,201,1,2, +54,23,204,2,249,22,7,194,195,27,248,22,158,15,23,196,1,27,19,248,22, +141,8,23,196,2,28,248,22,133,4,23,194,4,86,94,23,199,1,19,248,22, +141,8,23,197,2,19,248,22,141,8,23,198,2,249,22,162,15,251,22,148,8, +250,22,147,8,23,206,2,36,23,203,4,2,43,249,23,210,1,23,205,1,23, +201,4,28,248,22,147,7,23,211,2,249,22,162,8,23,212,1,8,63,23,210, +1,28,248,22,153,15,23,206,2,248,22,154,15,23,206,1,86,94,23,205,1, +247,22,155,15,2,2,27,248,22,182,3,23,195,4,28,249,22,162,9,8,46, +249,22,142,8,23,200,2,23,197,2,27,248,22,181,3,23,195,2,249,22,162, +15,251,22,148,8,250,22,147,8,23,206,2,36,23,203,1,23,207,1,249,23, +210,1,23,205,1,23,201,1,28,248,22,147,7,23,211,2,249,22,162,8,23, +212,1,8,63,23,210,1,28,248,22,153,15,23,206,2,248,22,154,15,23,206, +1,86,94,23,205,1,247,22,155,15,28,248,22,133,4,23,194,2,86,95,23, +200,1,23,193,1,19,248,22,141,8,23,198,2,19,248,22,141,8,23,199,2, +249,22,162,15,251,22,148,8,250,22,147,8,23,207,2,36,23,203,4,2,43, +249,23,211,1,23,206,1,23,201,4,28,248,22,147,7,23,212,2,249,22,162, +8,23,213,1,8,63,23,211,1,28,248,22,153,15,23,207,2,248,22,154,15, +23,207,1,86,94,23,206,1,247,22,155,15,2,2,27,248,22,182,3,23,195, +1,28,249,22,162,9,8,46,249,22,142,8,23,201,2,23,197,2,27,248,22, +181,3,23,195,2,249,22,162,15,251,22,148,8,250,22,147,8,23,207,2,36, +23,203,1,23,208,1,249,23,211,1,23,206,1,23,201,1,28,248,22,147,7, +23,212,2,249,22,162,8,23,213,1,8,63,23,211,1,28,248,22,153,15,23, +207,2,248,22,154,15,23,207,1,86,94,23,206,1,247,22,155,15,253,2,115, +23,203,1,23,207,1,23,208,1,23,209,1,23,210,1,23,199,1,2,28,248, +22,152,15,23,196,2,249,22,170,15,23,197,1,23,195,1,192,32,118,88,163, +36,40,57,11,2,42,222,33,119,28,248,22,133,4,23,197,2,86,94,23,196, 1,19,248,22,141,8,23,195,2,19,248,22,141,8,23,196,2,249,22,162,15, -251,22,148,8,250,22,147,8,23,204,2,36,23,203,4,2,43,249,23,205,1, -23,203,1,23,201,4,28,248,22,147,7,23,206,2,249,22,162,8,23,207,1, -8,63,23,205,1,28,248,22,153,15,23,201,2,248,22,154,15,23,201,1,86, -94,23,200,1,247,22,155,15,2,2,27,248,22,182,3,23,200,1,28,249,22, -162,9,8,46,249,22,142,8,23,198,2,23,197,2,27,248,22,181,3,23,195, -2,249,22,162,15,251,22,148,8,250,22,147,8,23,204,2,36,23,203,1,23, -202,1,249,23,205,1,23,203,1,23,201,1,28,248,22,147,7,23,206,2,249, -22,162,8,23,207,1,8,63,23,205,1,28,248,22,153,15,23,201,2,248,22, -154,15,23,201,1,86,94,23,200,1,247,22,155,15,28,248,22,133,4,23,194, -2,86,95,23,195,1,23,193,1,19,248,22,141,8,23,196,2,19,248,22,141, -8,23,197,2,249,22,162,15,251,22,148,8,250,22,147,8,23,205,2,36,23, -203,4,2,43,249,23,206,1,23,204,1,23,201,4,28,248,22,147,7,23,207, -2,249,22,162,8,23,208,1,8,63,23,206,1,28,248,22,153,15,23,202,2, -248,22,154,15,23,202,1,86,94,23,201,1,247,22,155,15,2,2,27,248,22, -182,3,23,195,1,28,249,22,162,9,8,46,249,22,142,8,23,199,2,23,197, -2,27,248,22,181,3,23,195,2,249,22,162,15,251,22,148,8,250,22,147,8, -23,205,2,36,23,203,1,23,203,1,249,23,206,1,23,204,1,23,201,1,28, -248,22,147,7,23,207,2,249,22,162,8,23,208,1,8,63,23,206,1,28,248, -22,153,15,23,202,2,248,22,154,15,23,202,1,86,94,23,201,1,247,22,155, -15,28,248,22,133,4,23,194,2,86,95,23,196,1,23,193,1,19,248,22,141, -8,23,197,2,19,248,22,141,8,23,198,2,249,22,162,15,251,22,148,8,250, -22,147,8,23,206,2,36,23,203,4,2,43,249,23,207,1,23,205,1,23,201, -4,28,248,22,147,7,23,208,2,249,22,162,8,23,209,1,8,63,23,207,1, -28,248,22,153,15,23,203,2,248,22,154,15,23,203,1,86,94,23,202,1,247, -22,155,15,2,2,27,248,22,182,3,23,195,1,28,249,22,162,9,8,46,249, -22,142,8,23,200,2,23,197,2,27,248,22,181,3,23,195,2,249,22,162,15, -251,22,148,8,250,22,147,8,23,206,2,36,23,203,1,23,204,1,249,23,207, -1,23,205,1,23,201,1,28,248,22,147,7,23,208,2,249,22,162,8,23,209, -1,8,63,23,207,1,28,248,22,153,15,23,203,2,248,22,154,15,23,203,1, -86,94,23,202,1,247,22,155,15,253,2,115,23,202,1,23,203,1,23,204,1, -23,205,1,23,206,1,23,199,1,90,159,38,11,89,161,38,36,11,86,95,28, -28,248,22,153,15,23,199,2,10,28,248,22,152,15,23,199,2,10,28,248,22, -147,7,23,199,2,28,248,22,174,15,23,199,2,10,248,22,175,15,23,199,2, -11,12,252,22,135,10,23,200,2,2,34,36,23,203,2,23,204,2,28,28,248, -22,147,7,23,200,2,10,248,22,136,8,23,200,2,12,252,22,135,10,23,200, -2,2,53,37,23,203,2,23,204,2,90,159,39,11,89,161,39,36,11,248,22, -173,15,23,202,2,86,94,23,195,1,86,94,28,192,12,250,22,138,10,23,201, -1,2,54,23,204,2,249,22,7,194,195,27,248,22,158,15,23,196,1,27,19, -248,22,141,8,23,196,2,28,248,22,133,4,23,194,4,86,95,23,199,1,23, -193,1,19,248,22,141,8,23,197,2,19,248,22,141,8,23,198,2,249,22,162, -15,251,22,148,8,250,22,147,8,23,206,2,36,23,203,4,2,43,249,23,210, -1,23,205,1,23,201,4,28,248,22,147,7,23,211,2,249,22,162,8,23,212, -1,8,63,23,210,1,28,248,22,153,15,23,206,2,248,22,154,15,23,206,1, -86,94,23,205,1,247,22,155,15,2,2,27,248,22,182,3,23,195,4,28,249, -22,162,9,8,46,249,22,142,8,23,200,2,23,197,2,27,248,22,181,3,23, -195,2,249,22,162,15,251,22,148,8,250,22,147,8,23,206,2,36,23,203,1, -23,207,1,249,23,210,1,23,205,1,23,201,1,28,248,22,147,7,23,211,2, -249,22,162,8,23,212,1,8,63,23,210,1,28,248,22,153,15,23,206,2,248, -22,154,15,23,206,1,86,94,23,205,1,247,22,155,15,28,248,22,133,4,23, -194,2,86,95,23,200,1,23,193,1,19,248,22,141,8,23,198,2,19,248,22, -141,8,23,199,2,249,22,162,15,251,22,148,8,250,22,147,8,23,207,2,36, -23,203,4,2,43,249,23,211,1,23,206,1,23,201,4,28,248,22,147,7,23, -212,2,249,22,162,8,23,213,1,8,63,23,211,1,28,248,22,153,15,23,207, -2,248,22,154,15,23,207,1,86,94,23,206,1,247,22,155,15,2,2,27,248, -22,182,3,23,195,1,28,249,22,162,9,8,46,249,22,142,8,23,201,2,23, -197,2,27,248,22,181,3,23,195,2,249,22,162,15,251,22,148,8,250,22,147, -8,23,207,2,36,23,203,1,23,208,1,249,23,211,1,23,206,1,23,201,1, -28,248,22,147,7,23,212,2,249,22,162,8,23,213,1,8,63,23,211,1,28, -248,22,153,15,23,207,2,248,22,154,15,23,207,1,86,94,23,206,1,247,22, -155,15,253,2,115,23,203,1,23,207,1,23,208,1,23,209,1,23,210,1,23, -199,1,2,28,248,22,152,15,23,196,2,249,22,170,15,23,197,1,23,195,1, -192,32,118,88,163,36,40,57,11,2,42,222,33,119,28,248,22,133,4,23,197, -2,86,94,23,196,1,19,248,22,141,8,23,195,2,35,248,22,141,8,23,196, -2,249,22,162,15,251,22,148,8,250,22,147,8,23,204,1,36,23,203,4,2, -43,2,43,28,248,22,147,7,23,204,2,249,22,162,8,23,205,1,8,63,23, -203,1,28,248,22,153,15,23,199,2,248,22,154,15,23,199,1,86,94,23,198, -1,247,22,155,15,2,27,248,22,182,3,23,198,1,28,249,22,162,9,8,46, -249,22,142,8,23,198,2,23,197,2,35,248,22,181,3,23,195,2,249,22,162, -15,251,22,148,8,250,22,147,8,23,204,1,36,23,203,1,2,43,2,43,28, -248,22,147,7,23,204,2,249,22,162,8,23,205,1,8,63,23,203,1,28,248, -22,153,15,23,199,2,248,22,154,15,23,199,1,86,94,23,198,1,247,22,155, -15,28,248,22,133,4,23,194,2,86,94,23,193,1,19,248,22,141,8,23,196, -2,35,248,22,141,8,23,197,2,249,22,162,15,251,22,148,8,250,22,147,8, -23,205,1,36,23,203,4,2,43,2,43,28,248,22,147,7,23,205,2,249,22, -162,8,23,206,1,8,63,23,204,1,28,248,22,153,15,23,200,2,248,22,154, -15,23,200,1,86,94,23,199,1,247,22,155,15,2,27,248,22,182,3,23,195, -1,28,249,22,162,9,8,46,249,22,142,8,23,199,2,23,197,2,35,248,22, -181,3,23,195,2,249,22,162,15,251,22,148,8,250,22,147,8,23,205,1,36, -23,203,1,2,43,2,43,28,248,22,147,7,23,205,2,249,22,162,8,23,206, +251,22,148,8,250,22,147,8,23,204,1,36,23,203,4,2,43,2,43,28,248, +22,147,7,23,204,2,249,22,162,8,23,205,1,8,63,23,203,1,28,248,22, +153,15,23,199,2,248,22,154,15,23,199,1,86,94,23,198,1,247,22,155,15, +2,2,27,248,22,182,3,23,198,1,28,249,22,162,9,8,46,249,22,142,8, +23,198,2,23,197,2,35,248,22,181,3,23,195,2,249,22,162,15,251,22,148, +8,250,22,147,8,23,204,1,36,23,203,1,2,43,2,43,28,248,22,147,7, +23,204,2,249,22,162,8,23,205,1,8,63,23,203,1,28,248,22,153,15,23, +199,2,248,22,154,15,23,199,1,86,94,23,198,1,247,22,155,15,28,248,22, +133,4,23,194,2,86,94,23,193,1,19,248,22,141,8,23,196,2,19,248,22, +141,8,23,197,2,249,22,162,15,251,22,148,8,250,22,147,8,23,205,1,36, +23,203,4,2,43,2,43,28,248,22,147,7,23,205,2,249,22,162,8,23,206, 1,8,63,23,204,1,28,248,22,153,15,23,200,2,248,22,154,15,23,200,1, -86,94,23,199,1,247,22,155,15,251,2,118,23,199,1,23,200,1,23,201,1, -23,197,1,90,159,38,11,89,161,38,36,11,86,95,28,28,248,22,153,15,23, -196,2,10,28,248,22,152,15,23,196,2,10,28,248,22,147,7,23,196,2,28, -248,22,174,15,23,196,2,10,248,22,175,15,23,196,2,11,12,252,22,135,10, -2,28,2,34,36,23,200,2,23,201,2,28,28,248,22,147,7,23,197,2,10, -248,22,136,8,23,197,2,12,252,22,135,10,2,28,2,53,37,23,200,2,23, -201,2,90,159,39,11,89,161,39,36,11,248,22,173,15,23,199,2,86,94,23, -195,1,86,94,28,192,12,250,22,138,10,2,28,2,54,23,201,2,249,22,7, -194,195,27,248,22,158,15,23,196,1,27,251,2,118,23,198,2,23,201,1,23, -202,1,248,22,141,8,23,199,1,28,248,22,152,15,23,196,2,249,22,170,15, -23,197,1,23,195,1,192,2,43,252,80,158,41,8,25,2,28,2,43,32,0, -88,163,8,36,38,43,11,9,222,33,121,198,199,32,123,88,163,36,40,57,11, -2,42,222,33,124,28,248,22,133,4,23,197,2,86,94,23,196,1,19,248,22, -141,8,23,195,2,19,248,22,141,8,23,196,2,249,22,162,15,251,22,148,8, -250,22,147,8,23,204,2,36,23,203,4,2,43,249,22,147,8,23,203,1,23, -201,4,28,248,22,147,7,23,204,2,249,22,162,8,23,205,1,8,63,23,203, -1,28,248,22,153,15,23,199,2,248,22,154,15,23,199,1,86,94,23,198,1, -247,22,155,15,2,2,27,248,22,182,3,23,198,1,28,249,22,162,9,8,46, -249,22,142,8,23,198,2,23,197,2,27,248,22,181,3,23,195,2,249,22,162, -15,251,22,148,8,250,22,147,8,23,204,2,36,23,203,1,2,55,249,22,147, -8,23,203,1,23,201,1,28,248,22,147,7,23,204,2,249,22,162,8,23,205, -1,8,63,23,203,1,28,248,22,153,15,23,199,2,248,22,154,15,23,199,1, -86,94,23,198,1,247,22,155,15,28,248,22,133,4,23,194,2,86,94,23,193, -1,19,248,22,141,8,23,196,2,19,248,22,141,8,23,197,2,249,22,162,15, -251,22,148,8,250,22,147,8,23,205,2,36,23,203,4,2,43,249,22,147,8, -23,204,1,23,201,4,28,248,22,147,7,23,205,2,249,22,162,8,23,206,1, -8,63,23,204,1,28,248,22,153,15,23,200,2,248,22,154,15,23,200,1,86, -94,23,199,1,247,22,155,15,2,2,27,248,22,182,3,23,195,1,28,249,22, -162,9,8,46,249,22,142,8,23,199,2,23,197,2,27,248,22,181,3,23,195, -2,249,22,162,15,251,22,148,8,250,22,147,8,23,205,2,36,23,203,1,2, -55,249,22,147,8,23,204,1,23,201,1,28,248,22,147,7,23,205,2,249,22, -162,8,23,206,1,8,63,23,204,1,28,248,22,153,15,23,200,2,248,22,154, -15,23,200,1,86,94,23,199,1,247,22,155,15,251,2,123,23,199,1,23,200, -1,23,201,1,23,197,1,90,159,38,11,89,161,38,36,11,86,95,28,28,248, -22,153,15,23,196,2,10,28,248,22,152,15,23,196,2,10,28,248,22,147,7, -23,196,2,28,248,22,174,15,23,196,2,10,248,22,175,15,23,196,2,11,12, -252,22,135,10,2,28,2,34,36,23,200,2,23,201,2,28,28,248,22,147,7, -23,197,2,10,248,22,136,8,23,197,2,12,252,22,135,10,2,28,2,53,37, -23,200,2,23,201,2,90,159,39,11,89,161,39,36,11,248,22,173,15,23,199, -2,86,94,23,195,1,86,94,28,192,12,250,22,138,10,2,28,2,54,23,201, -2,249,22,7,194,195,27,248,22,158,15,23,196,1,27,251,2,123,23,198,2, -23,201,1,23,202,1,248,22,141,8,23,199,1,28,248,22,152,15,23,196,2, -249,22,170,15,23,197,1,23,195,1,192,252,80,158,41,8,25,2,28,2,55, -22,147,8,198,199,249,247,22,174,5,23,195,1,11,249,247,22,174,5,194,11, +86,94,23,199,1,247,22,155,15,2,2,27,248,22,182,3,23,195,1,28,249, +22,162,9,8,46,249,22,142,8,23,199,2,23,197,2,35,248,22,181,3,23, +195,2,249,22,162,15,251,22,148,8,250,22,147,8,23,205,1,36,23,203,1, +2,43,2,43,28,248,22,147,7,23,205,2,249,22,162,8,23,206,1,8,63, +23,204,1,28,248,22,153,15,23,200,2,248,22,154,15,23,200,1,86,94,23, +199,1,247,22,155,15,251,2,118,198,199,200,196,90,159,38,11,89,161,38,36, +11,86,95,28,28,248,22,153,15,23,196,2,10,28,248,22,152,15,23,196,2, +10,28,248,22,147,7,23,196,2,28,248,22,174,15,23,196,2,10,248,22,175, +15,23,196,2,11,12,252,22,135,10,2,28,2,34,36,23,200,2,23,201,2, +28,28,248,22,147,7,23,197,2,10,248,22,136,8,23,197,2,12,252,22,135, +10,2,28,2,53,37,23,200,2,23,201,2,90,159,39,11,89,161,39,36,11, +248,22,173,15,23,199,2,86,94,23,195,1,86,94,28,192,12,250,22,138,10, +2,28,2,54,23,201,2,249,22,7,194,195,27,248,22,158,15,23,196,1,27, +251,2,118,23,198,2,23,201,1,23,202,1,248,22,141,8,23,199,1,28,248, +22,152,15,23,196,2,249,22,170,15,23,197,1,23,195,1,192,2,43,252,80, +158,41,8,25,2,28,2,43,32,0,88,163,8,36,38,43,11,9,222,33,121, +198,199,32,123,88,163,36,40,57,11,2,42,222,33,124,28,248,22,133,4,23, +197,2,86,94,23,196,1,19,248,22,141,8,23,195,2,19,248,22,141,8,23, +196,2,249,22,162,15,251,22,148,8,250,22,147,8,23,204,2,36,23,203,4, +2,43,249,22,147,8,23,203,1,23,201,4,28,248,22,147,7,23,204,2,249, +22,162,8,23,205,1,8,63,23,203,1,28,248,22,153,15,23,199,2,248,22, +154,15,23,199,1,86,94,23,198,1,247,22,155,15,2,2,27,248,22,182,3, +23,198,1,28,249,22,162,9,8,46,249,22,142,8,23,198,2,23,197,2,27, +248,22,181,3,23,195,2,249,22,162,15,251,22,148,8,250,22,147,8,23,204, +2,36,23,203,1,2,55,249,22,147,8,23,203,1,23,201,1,28,248,22,147, +7,23,204,2,249,22,162,8,23,205,1,8,63,23,203,1,28,248,22,153,15, +23,199,2,248,22,154,15,23,199,1,86,94,23,198,1,247,22,155,15,28,248, +22,133,4,23,194,2,86,94,23,193,1,19,248,22,141,8,23,196,2,19,248, +22,141,8,23,197,2,249,22,162,15,251,22,148,8,250,22,147,8,23,205,2, +36,23,203,4,2,43,249,22,147,8,23,204,1,23,201,4,28,248,22,147,7, +23,205,2,249,22,162,8,23,206,1,8,63,23,204,1,28,248,22,153,15,23, +200,2,248,22,154,15,23,200,1,86,94,23,199,1,247,22,155,15,2,2,27, +248,22,182,3,23,195,1,28,249,22,162,9,8,46,249,22,142,8,23,199,2, +23,197,2,27,248,22,181,3,23,195,2,249,22,162,15,251,22,148,8,250,22, +147,8,23,205,2,36,23,203,1,2,55,249,22,147,8,23,204,1,23,201,1, +28,248,22,147,7,23,205,2,249,22,162,8,23,206,1,8,63,23,204,1,28, +248,22,153,15,23,200,2,248,22,154,15,23,200,1,86,94,23,199,1,247,22, +155,15,251,2,123,198,199,200,196,90,159,38,11,89,161,38,36,11,86,95,28, +28,248,22,153,15,23,196,2,10,28,248,22,152,15,23,196,2,10,28,248,22, +147,7,23,196,2,28,248,22,174,15,23,196,2,10,248,22,175,15,23,196,2, +11,12,252,22,135,10,2,28,2,34,36,23,200,2,23,201,2,28,28,248,22, +147,7,23,197,2,10,248,22,136,8,23,197,2,12,252,22,135,10,2,28,2, +53,37,23,200,2,23,201,2,90,159,39,11,89,161,39,36,11,248,22,173,15, +23,199,2,86,94,23,195,1,86,94,28,192,12,250,22,138,10,2,28,2,54, +23,201,2,249,22,7,194,195,27,248,22,158,15,23,196,1,27,251,2,123,23, +198,2,23,201,1,23,202,1,248,22,141,8,23,199,1,28,248,22,152,15,23, +196,2,249,22,170,15,23,197,1,23,195,1,192,252,80,158,41,8,25,2,28, +2,55,22,147,8,198,199,249,247,22,174,5,23,195,1,11,249,247,22,174,5, +194,11,28,248,22,87,23,195,2,9,27,248,22,80,23,196,2,27,28,248,22, +176,15,23,195,2,23,194,1,28,248,22,175,15,23,195,2,249,22,177,15,23, +196,1,250,80,159,43,40,39,248,22,128,16,2,47,11,10,250,80,159,41,40, +39,248,22,128,16,2,47,23,197,1,10,28,23,193,2,249,22,79,248,22,179, +15,249,22,177,15,23,198,1,247,22,129,16,248,80,159,41,8,31,39,248,22, +81,23,200,1,86,94,23,193,1,248,80,159,39,8,31,39,248,22,81,23,198, +1,28,248,22,87,23,195,2,9,27,248,22,80,23,196,2,27,28,248,22,176, +15,23,195,2,23,194,1,28,248,22,175,15,23,195,2,249,22,177,15,23,196, +1,250,80,159,43,40,39,248,22,128,16,2,47,11,10,250,80,159,41,40,39, +248,22,128,16,2,47,23,197,1,10,28,23,193,2,249,22,79,248,22,179,15, +249,22,177,15,23,198,1,247,22,129,16,248,80,159,41,8,32,39,248,22,81, +23,200,1,86,94,23,193,1,248,80,159,39,8,32,39,248,22,81,23,198,1, 28,248,22,87,23,195,2,9,27,248,22,80,23,196,2,27,28,248,22,176,15, 23,195,2,23,194,1,28,248,22,175,15,23,195,2,249,22,177,15,23,196,1, 250,80,159,43,40,39,248,22,128,16,2,47,11,10,250,80,159,41,40,39,248, 22,128,16,2,47,23,197,1,10,28,23,193,2,249,22,79,248,22,179,15,249, -22,177,15,23,198,1,247,22,129,16,248,80,159,41,8,31,39,248,22,81,23, -200,1,86,94,23,193,1,248,80,159,39,8,31,39,248,22,81,23,198,1,28, -248,22,87,23,195,2,9,27,248,22,80,23,196,2,27,28,248,22,176,15,23, -195,2,23,194,1,28,248,22,175,15,23,195,2,249,22,177,15,23,196,1,250, -80,159,43,40,39,248,22,128,16,2,47,11,10,250,80,159,41,40,39,248,22, -128,16,2,47,23,197,1,10,28,23,193,2,249,22,79,248,22,179,15,249,22, -177,15,23,198,1,247,22,129,16,248,80,159,41,8,32,39,248,22,81,23,200, -1,86,94,23,193,1,248,80,159,39,8,32,39,248,22,81,23,198,1,28,248, -22,87,23,195,2,9,27,248,22,80,23,196,2,27,28,248,22,176,15,23,195, -2,23,194,1,28,248,22,175,15,23,195,2,249,22,177,15,23,196,1,250,80, -159,43,40,39,248,22,128,16,2,47,11,10,250,80,159,41,40,39,248,22,128, -16,2,47,23,197,1,10,28,23,193,2,249,22,79,248,22,179,15,249,22,177, -15,23,198,1,247,22,129,16,27,248,22,81,23,200,1,28,248,22,87,23,194, -2,9,27,248,22,80,23,195,2,27,28,248,22,176,15,23,195,2,23,194,1, -28,248,22,175,15,23,195,2,249,22,177,15,23,196,1,250,80,159,48,40,39, -248,22,128,16,2,47,11,10,250,80,159,46,40,39,248,22,128,16,2,47,23, -197,1,10,28,23,193,2,249,22,79,248,22,179,15,249,22,177,15,23,198,1, -247,22,129,16,248,80,159,46,8,33,39,248,22,81,23,199,1,86,94,23,193, -1,248,80,159,44,8,33,39,248,22,81,23,197,1,86,94,23,193,1,27,248, -22,81,23,198,1,28,248,22,87,23,194,2,9,27,248,22,80,23,195,2,27, -28,248,22,176,15,23,195,2,23,194,1,28,248,22,175,15,23,195,2,249,22, -177,15,23,196,1,250,80,159,46,40,39,248,22,128,16,2,47,11,10,250,80, -159,44,40,39,248,22,128,16,2,47,23,197,1,10,28,23,193,2,249,22,79, -248,22,179,15,249,22,177,15,23,198,1,247,22,129,16,248,80,159,44,8,33, -39,248,22,81,23,199,1,86,94,23,193,1,248,80,159,42,8,33,39,248,22, -81,23,197,1,27,247,22,133,16,249,80,159,39,41,38,28,23,195,2,27,249, -22,169,8,247,22,168,8,2,56,28,192,249,22,159,8,194,7,63,2,50,2, -50,27,28,23,196,1,250,22,170,15,248,22,128,16,2,57,247,22,165,8,2, -58,11,27,248,80,159,42,8,31,39,250,22,93,9,248,22,89,248,22,128,16, -2,46,9,28,193,249,22,79,195,194,192,27,247,22,133,16,249,80,159,39,41, -38,28,23,195,2,27,249,22,169,8,247,22,168,8,2,56,28,192,249,22,159, -8,194,7,63,2,50,2,50,27,28,23,196,1,250,22,170,15,248,22,128,16, -2,57,247,22,165,8,2,58,11,27,248,80,159,42,8,32,39,250,22,93,23, -203,1,248,22,89,248,22,128,16,2,46,9,28,193,249,22,79,195,194,192,27, -247,22,133,16,249,80,159,39,41,38,28,23,195,2,27,249,22,169,8,247,22, -168,8,2,56,28,192,249,22,159,8,194,7,63,2,50,2,50,27,28,23,196, -1,250,22,170,15,248,22,128,16,2,57,247,22,165,8,2,58,11,27,248,80, -159,42,8,33,39,250,22,93,23,203,1,248,22,89,248,22,128,16,2,46,23, -204,1,28,193,249,22,79,195,194,192,27,20,13,159,80,159,37,53,37,254,80, -159,44,54,37,249,22,33,11,80,159,46,53,37,22,190,14,10,22,133,15,10, -22,134,15,10,248,22,142,6,23,196,2,28,248,22,142,7,23,194,2,12,86, -94,248,22,170,9,23,194,1,27,20,13,159,80,159,38,53,37,254,80,159,45, -54,37,249,22,33,11,80,159,47,53,37,22,190,14,10,22,133,15,10,22,134, -15,10,248,22,142,6,23,197,2,28,248,22,142,7,23,194,2,12,86,94,248, -22,170,9,23,194,1,27,20,13,159,80,159,39,53,37,254,80,159,46,54,37, -249,22,33,11,80,159,48,53,37,22,190,14,10,22,133,15,10,22,134,15,10, -248,22,142,6,23,198,2,28,248,22,142,7,23,194,2,12,86,94,248,22,170, -9,23,194,1,248,80,159,40,8,34,39,23,198,1,86,94,249,22,133,7,247, -22,170,5,23,196,2,248,22,157,6,249,22,136,4,36,249,22,184,3,23,198, -1,23,199,1,27,28,23,197,2,86,95,23,196,1,23,195,1,23,197,1,86, -94,23,197,1,27,248,22,128,16,2,47,27,250,80,159,42,40,39,23,197,1, -11,11,27,248,22,139,4,23,199,1,27,28,23,194,2,23,194,1,86,94,23, -194,1,36,27,248,22,139,4,23,202,1,27,28,23,194,2,23,194,1,86,94, -23,194,1,36,249,22,137,6,23,199,1,20,20,95,88,163,8,36,36,48,11, -9,224,4,2,33,136,2,23,195,1,23,197,1,27,248,22,186,5,23,195,1, -248,80,159,39,8,34,39,23,194,1,159,36,20,114,159,36,16,1,11,16,0, -20,26,145,9,2,1,2,1,29,11,11,11,11,9,9,11,11,11,10,43,80, -158,36,36,20,114,159,40,16,31,2,2,2,3,2,4,2,5,2,6,2,7, -2,8,2,9,2,10,2,11,2,12,2,13,2,14,2,15,2,16,2,17,30, -2,20,76,102,105,110,100,45,108,105,110,107,115,45,112,97,116,104,33,11,4, -30,2,21,1,20,112,97,114,97,109,101,116,101,114,105,122,97,116,105,111,110, -45,107,101,121,11,6,30,2,21,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,11,3,2,22,2,23,2,24, -30,2,20,1,21,101,120,99,101,112,116,105,111,110,45,104,97,110,100,108,101, -114,45,107,101,121,11,2,2,25,2,26,2,27,2,28,2,29,2,30,2,31, -2,32,16,0,37,39,36,16,0,36,16,14,2,9,2,10,2,8,2,3,2, -26,2,24,2,22,2,17,2,23,2,25,2,27,2,15,2,14,2,16,50,11, -11,11,16,13,2,13,2,11,2,32,2,12,2,6,2,31,2,30,2,4,2, -29,2,7,2,28,2,2,2,5,16,13,11,11,11,11,11,11,11,11,11,11, -11,11,11,16,13,2,13,2,11,2,32,2,12,2,6,2,31,2,30,2,4, -2,29,2,7,2,28,2,2,2,5,49,49,37,12,11,11,16,0,16,0,16, -0,36,36,11,12,11,11,16,0,16,0,16,0,36,36,16,31,20,15,16,2, -32,0,88,163,36,37,45,11,2,2,222,33,59,80,159,36,36,37,20,15,16, -2,249,22,149,7,7,92,7,92,80,159,36,37,37,20,15,16,2,88,163,36, -37,54,38,2,4,223,0,33,64,80,159,36,38,37,20,15,16,2,88,163,36, -38,58,38,2,5,223,0,33,66,80,159,36,39,37,20,15,16,2,20,25,96, -2,6,88,163,8,36,39,8,25,8,32,9,223,0,33,73,88,163,36,38,47, -52,9,223,0,33,74,88,163,36,37,46,52,9,223,0,33,75,80,159,36,40, -37,20,15,16,2,27,248,22,137,16,248,22,161,8,27,28,249,22,162,9,247, -22,174,8,2,35,6,1,1,59,6,1,1,58,250,22,131,8,6,14,14,40, -91,94,126,97,93,42,41,126,97,40,46,42,41,23,196,2,23,196,1,88,163, -8,36,38,48,11,2,7,223,0,33,79,80,159,36,41,37,20,15,16,2,32, -0,88,163,8,36,38,47,11,2,8,222,33,80,80,159,36,42,37,20,15,16, -2,32,0,88,163,8,36,39,48,11,2,9,222,33,82,80,159,36,43,37,20, -15,16,2,32,0,88,163,8,36,38,46,11,2,10,222,33,83,80,159,36,44, -37,20,15,16,2,88,163,45,39,49,8,128,16,2,11,223,0,33,85,80,159, -36,45,37,20,15,16,2,88,163,45,40,50,8,128,16,2,13,223,0,33,87, -80,159,36,47,37,20,15,16,2,248,22,128,16,70,108,105,110,107,115,45,102, -105,108,101,80,159,36,48,37,20,15,16,2,247,22,140,2,80,158,36,49,20, -15,16,2,2,88,80,158,36,50,20,15,16,2,248,80,159,37,52,37,88,163, -36,36,49,8,240,16,0,6,0,9,223,1,33,89,80,159,36,51,37,20,15, -16,2,247,22,140,2,80,158,36,55,20,15,16,2,2,88,80,158,36,56,20, -15,16,2,88,163,36,37,44,8,240,0,240,94,0,2,24,223,0,33,100,80, -159,36,57,37,20,15,16,2,88,163,36,38,56,8,240,0,0,128,0,2,25, -223,0,33,102,80,159,36,59,37,20,15,16,2,88,163,36,40,59,8,240,0, -128,160,0,2,12,223,0,33,113,80,159,36,46,37,20,15,16,2,32,0,88, -163,36,39,50,11,2,26,222,33,114,80,159,36,8,24,37,20,15,16,2,32, -0,88,163,36,41,8,27,11,2,27,222,33,117,80,159,36,8,25,37,20,15, -16,2,20,27,158,32,0,88,163,36,38,52,11,2,28,222,33,120,88,163,36, -38,49,8,240,0,0,0,2,2,28,223,0,33,122,80,159,36,8,26,37,20, -15,16,2,20,27,158,32,0,88,163,36,38,52,11,2,29,222,33,125,88,163, -36,38,49,8,240,0,0,0,2,2,29,223,0,33,126,80,159,36,8,27,37, -20,15,16,2,20,27,158,32,0,88,163,36,37,44,11,2,30,222,33,127,32, -0,88,163,36,37,44,11,2,30,222,33,128,2,80,159,36,8,28,37,20,15, -16,2,88,163,8,36,37,51,16,2,52,8,240,0,128,0,0,2,42,223,0, -33,129,2,80,159,36,8,31,39,20,15,16,2,88,163,8,36,37,51,16,4, -52,36,37,36,2,42,223,0,33,130,2,80,159,36,8,32,39,20,15,16,2, -88,163,8,36,37,56,16,4,52,36,38,36,2,42,223,0,33,131,2,80,159, -36,8,33,39,20,15,16,2,20,25,96,2,31,88,163,36,36,53,16,2,8, -32,8,240,0,128,0,0,9,223,0,33,132,2,88,163,36,37,54,16,4,8, -32,36,37,36,9,223,0,33,133,2,88,163,36,38,55,16,4,8,32,36,38, -36,9,223,0,33,134,2,80,159,36,8,29,37,20,15,16,2,88,163,8,36, -37,55,16,4,36,42,40,36,2,42,223,0,33,135,2,80,159,36,8,34,39, -20,15,16,2,88,163,8,36,39,54,16,4,52,36,40,36,2,32,223,0,33, -137,2,80,159,36,8,30,37,95,29,94,2,18,68,35,37,107,101,114,110,101, -108,11,29,94,2,18,69,35,37,109,105,110,45,115,116,120,11,2,20,9,9, -9,36,0}; - EVAL_ONE_SIZED_STR((char *)expr, 13106); +22,177,15,23,198,1,247,22,129,16,27,248,22,81,23,200,1,28,248,22,87, +23,194,2,9,27,248,22,80,23,195,2,27,28,248,22,176,15,23,195,2,23, +194,1,28,248,22,175,15,23,195,2,249,22,177,15,23,196,1,250,80,159,48, +40,39,248,22,128,16,2,47,11,10,250,80,159,46,40,39,248,22,128,16,2, +47,23,197,1,10,28,23,193,2,249,22,79,248,22,179,15,249,22,177,15,23, +198,1,247,22,129,16,248,80,159,46,8,33,39,248,22,81,23,199,1,86,94, +23,193,1,248,80,159,44,8,33,39,248,22,81,23,197,1,86,94,23,193,1, +27,248,22,81,23,198,1,28,248,22,87,23,194,2,9,27,248,22,80,23,195, +2,27,28,248,22,176,15,23,195,2,23,194,1,28,248,22,175,15,23,195,2, +249,22,177,15,23,196,1,250,80,159,46,40,39,248,22,128,16,2,47,11,10, +250,80,159,44,40,39,248,22,128,16,2,47,23,197,1,10,28,23,193,2,249, +22,79,248,22,179,15,249,22,177,15,23,198,1,247,22,129,16,248,80,159,44, +8,33,39,248,22,81,23,199,1,86,94,23,193,1,248,80,159,42,8,33,39, +248,22,81,23,197,1,27,247,22,133,16,249,80,159,39,41,38,28,23,195,2, +27,249,22,169,8,247,22,168,8,2,56,28,192,249,22,159,8,194,7,63,2, +50,2,50,27,28,23,196,1,250,22,170,15,248,22,128,16,2,57,247,22,165, +8,2,58,11,27,248,80,159,42,8,31,39,250,22,93,9,248,22,89,248,22, +128,16,2,46,9,28,193,249,22,79,195,194,192,27,247,22,133,16,249,80,159, +39,41,38,28,23,195,2,27,249,22,169,8,247,22,168,8,2,56,28,192,249, +22,159,8,194,7,63,2,50,2,50,27,28,23,196,1,250,22,170,15,248,22, +128,16,2,57,247,22,165,8,2,58,11,27,248,80,159,42,8,32,39,250,22, +93,23,203,1,248,22,89,248,22,128,16,2,46,9,28,193,249,22,79,195,194, +192,27,247,22,133,16,249,80,159,39,41,38,28,23,195,2,27,249,22,169,8, +247,22,168,8,2,56,28,192,249,22,159,8,194,7,63,2,50,2,50,27,28, +23,196,1,250,22,170,15,248,22,128,16,2,57,247,22,165,8,2,58,11,27, +248,80,159,42,8,33,39,250,22,93,23,203,1,248,22,89,248,22,128,16,2, +46,23,204,1,28,193,249,22,79,195,194,192,27,20,13,159,80,159,37,53,37, +254,80,159,44,54,37,249,22,33,11,80,159,46,53,37,22,190,14,10,22,133, +15,10,22,134,15,10,248,22,142,6,23,196,2,28,248,22,142,7,23,194,2, +12,86,94,248,22,170,9,23,194,1,27,20,13,159,80,159,38,53,37,254,80, +159,45,54,37,249,22,33,11,80,159,47,53,37,22,190,14,10,22,133,15,10, +22,134,15,10,248,22,142,6,23,197,2,28,248,22,142,7,23,194,2,12,86, +94,248,22,170,9,23,194,1,27,20,13,159,80,159,39,53,37,254,80,159,46, +54,37,249,22,33,11,80,159,48,53,37,22,190,14,10,22,133,15,10,22,134, +15,10,248,22,142,6,23,198,2,28,248,22,142,7,23,194,2,12,86,94,248, +22,170,9,23,194,1,248,80,159,40,8,34,39,23,198,1,86,94,249,22,133, +7,247,22,170,5,23,196,2,248,22,157,6,249,22,136,4,36,249,22,184,3, +23,198,1,23,199,1,27,28,23,197,2,86,95,23,196,1,23,195,1,23,197, +1,86,94,23,197,1,27,248,22,128,16,2,47,27,250,80,159,42,40,39,23, +197,1,11,11,27,248,22,139,4,23,199,1,27,28,23,194,2,23,194,1,86, +94,23,194,1,36,27,248,22,139,4,23,202,1,27,28,23,194,2,23,194,1, +86,94,23,194,1,36,249,22,137,6,23,199,1,20,20,95,88,163,8,36,36, +48,11,9,224,4,2,33,136,2,23,195,1,23,197,1,27,248,22,186,5,23, +195,1,248,80,159,39,8,34,39,23,194,1,159,36,20,114,159,36,16,1,11, +16,0,20,26,145,9,2,1,2,1,29,11,11,11,11,9,9,11,11,11,10, +43,80,158,36,36,20,114,159,40,16,31,2,2,2,3,2,4,2,5,2,6, +2,7,2,8,2,9,2,10,2,11,2,12,2,13,2,14,2,15,2,16,2, +17,30,2,20,76,102,105,110,100,45,108,105,110,107,115,45,112,97,116,104,33, +11,4,30,2,21,1,20,112,97,114,97,109,101,116,101,114,105,122,97,116,105, +111,110,45,107,101,121,11,6,30,2,21,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,11,3,2,22,2,23, +2,24,30,2,20,1,21,101,120,99,101,112,116,105,111,110,45,104,97,110,100, +108,101,114,45,107,101,121,11,2,2,25,2,26,2,27,2,28,2,29,2,30, +2,31,2,32,16,0,37,39,36,16,0,36,16,14,2,9,2,10,2,8,2, +3,2,26,2,24,2,22,2,17,2,23,2,25,2,27,2,15,2,14,2,16, +50,11,11,11,16,13,2,13,2,11,2,32,2,12,2,6,2,31,2,30,2, +4,2,29,2,7,2,28,2,2,2,5,16,13,11,11,11,11,11,11,11,11, +11,11,11,11,11,16,13,2,13,2,11,2,32,2,12,2,6,2,31,2,30, +2,4,2,29,2,7,2,28,2,2,2,5,49,49,37,12,11,11,16,0,16, +0,16,0,36,36,11,12,11,11,16,0,16,0,16,0,36,36,16,31,20,15, +16,2,32,0,88,163,36,37,45,11,2,2,222,33,59,80,159,36,36,37,20, +15,16,2,249,22,149,7,7,92,7,92,80,159,36,37,37,20,15,16,2,88, +163,36,37,54,38,2,4,223,0,33,64,80,159,36,38,37,20,15,16,2,88, +163,36,38,58,38,2,5,223,0,33,66,80,159,36,39,37,20,15,16,2,20, +25,96,2,6,88,163,8,36,39,8,25,8,32,9,223,0,33,73,88,163,36, +38,47,52,9,223,0,33,74,88,163,36,37,46,52,9,223,0,33,75,80,159, +36,40,37,20,15,16,2,27,248,22,137,16,248,22,161,8,27,28,249,22,162, +9,247,22,174,8,2,35,6,1,1,59,6,1,1,58,250,22,131,8,6,14, +14,40,91,94,126,97,93,42,41,126,97,40,46,42,41,23,196,2,23,196,1, +88,163,8,36,38,48,11,2,7,223,0,33,79,80,159,36,41,37,20,15,16, +2,32,0,88,163,8,36,38,47,11,2,8,222,33,80,80,159,36,42,37,20, +15,16,2,32,0,88,163,8,36,39,48,11,2,9,222,33,82,80,159,36,43, +37,20,15,16,2,32,0,88,163,8,36,38,46,11,2,10,222,33,83,80,159, +36,44,37,20,15,16,2,88,163,45,39,49,8,128,16,2,11,223,0,33,85, +80,159,36,45,37,20,15,16,2,88,163,45,40,50,8,128,16,2,13,223,0, +33,87,80,159,36,47,37,20,15,16,2,248,22,128,16,70,108,105,110,107,115, +45,102,105,108,101,80,159,36,48,37,20,15,16,2,247,22,140,2,80,158,36, +49,20,15,16,2,2,88,80,158,36,50,20,15,16,2,248,80,159,37,52,37, +88,163,36,36,49,8,240,16,0,6,0,9,223,1,33,89,80,159,36,51,37, +20,15,16,2,247,22,140,2,80,158,36,55,20,15,16,2,2,88,80,158,36, +56,20,15,16,2,88,163,36,37,44,8,240,0,240,94,0,2,24,223,0,33, +100,80,159,36,57,37,20,15,16,2,88,163,36,38,56,8,240,0,0,128,0, +2,25,223,0,33,102,80,159,36,59,37,20,15,16,2,88,163,36,40,59,8, +240,0,128,160,0,2,12,223,0,33,113,80,159,36,46,37,20,15,16,2,32, +0,88,163,36,39,50,11,2,26,222,33,114,80,159,36,8,24,37,20,15,16, +2,32,0,88,163,36,41,8,27,11,2,27,222,33,117,80,159,36,8,25,37, +20,15,16,2,20,27,158,32,0,88,163,36,38,52,11,2,28,222,33,120,88, +163,36,38,49,8,240,0,0,0,2,2,28,223,0,33,122,80,159,36,8,26, +37,20,15,16,2,20,27,158,32,0,88,163,36,38,52,11,2,29,222,33,125, +88,163,36,38,49,8,240,0,0,0,2,2,29,223,0,33,126,80,159,36,8, +27,37,20,15,16,2,20,27,158,32,0,88,163,36,37,44,11,2,30,222,33, +127,32,0,88,163,36,37,44,11,2,30,222,33,128,2,80,159,36,8,28,37, +20,15,16,2,88,163,8,36,37,51,16,2,52,8,240,0,128,0,0,2,42, +223,0,33,129,2,80,159,36,8,31,39,20,15,16,2,88,163,8,36,37,51, +16,4,52,36,37,36,2,42,223,0,33,130,2,80,159,36,8,32,39,20,15, +16,2,88,163,8,36,37,56,16,4,52,36,38,36,2,42,223,0,33,131,2, +80,159,36,8,33,39,20,15,16,2,20,25,96,2,31,88,163,36,36,53,16, +2,8,32,8,240,0,128,0,0,9,223,0,33,132,2,88,163,36,37,54,16, +4,8,32,36,37,36,9,223,0,33,133,2,88,163,36,38,55,16,4,8,32, +36,38,36,9,223,0,33,134,2,80,159,36,8,29,37,20,15,16,2,88,163, +8,36,37,55,16,4,36,42,40,36,2,42,223,0,33,135,2,80,159,36,8, +34,39,20,15,16,2,88,163,8,36,39,54,16,4,52,36,40,36,2,32,223, +0,33,137,2,80,159,36,8,30,37,95,29,94,2,18,68,35,37,107,101,114, +110,101,108,11,29,94,2,18,69,35,37,109,105,110,45,115,116,120,11,2,20, +9,9,9,36,0}; + EVAL_ONE_SIZED_STR((char *)expr, 13003); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,52,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,54,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,14,0,0,0,1,0,0,15,0,40,0, 57,0,75,0,97,0,120,0,140,0,162,0,171,0,180,0,187,0,196,0,203, 0,0,0,229,1,0,0,74,35,37,112,108,97,99,101,45,115,116,114,117,99, @@ -758,18 +753,18 @@ EVAL_ONE_SIZED_STR((char *)expr, 555); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,52,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,54,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,104,0,0,0,1,0,0,7,0,18,0, 45,0,51,0,60,0,67,0,89,0,102,0,128,0,145,0,167,0,175,0,187, 0,202,0,218,0,236,0,0,1,12,1,28,1,51,1,63,1,94,1,101,1, 106,1,111,1,129,1,135,1,140,1,145,1,154,1,160,1,165,1,169,1,184, 1,191,1,196,1,200,1,205,1,212,1,223,1,230,1,238,1,48,2,114,2, 189,2,8,3,111,3,146,3,249,3,28,4,122,4,157,4,251,4,30,5,231, -12,5,13,56,13,147,13,163,13,179,13,193,13,209,13,37,14,53,14,69,14, -85,14,169,14,90,15,106,15,190,15,204,16,96,17,180,17,101,18,114,18,11, -19,195,19,21,20,149,20,210,20,218,20,229,20,7,22,21,22,49,22,62,22, -1,23,14,23,147,23,169,23,189,23,251,23,5,24,19,24,56,24,155,24,159, -24,166,24,120,25,215,33,12,34,36,34,60,34,0,0,58,38,0,0,66,35, +12,5,13,56,13,147,13,163,13,179,13,193,13,209,13,28,14,44,14,60,14, +76,14,151,14,58,15,74,15,149,15,144,16,26,17,101,17,8,18,21,18,174, +18,102,19,184,19,56,20,117,20,125,20,136,20,170,21,184,21,212,21,225,21, +146,22,159,22,36,23,58,23,78,23,140,23,150,23,164,23,201,23,44,24,48, +24,55,24,9,25,104,33,157,33,181,33,205,33,0,0,203,37,0,0,66,35, 37,98,111,111,116,70,100,108,108,45,115,117,102,102,105,120,1,25,100,101,102, 97,117,108,116,45,108,111,97,100,47,117,115,101,45,99,111,109,112,105,108,101, 100,65,113,117,111,116,101,68,35,37,112,97,114,97,109,122,29,94,2,4,2, @@ -939,307 +934,302 @@ 3,33,74,32,60,88,164,8,38,39,50,11,2,31,36,223,3,33,73,32,61, 88,163,8,36,37,50,11,2,32,222,33,72,32,62,88,164,8,38,39,50,11, 2,31,36,223,3,33,63,28,249,22,128,4,23,197,2,23,195,4,248,22,89, -194,28,249,22,129,9,7,47,249,22,151,7,23,198,2,23,199,2,86,94,23, -193,1,249,22,79,250,22,169,7,23,199,2,36,23,200,2,248,2,61,249,22, -169,7,23,199,1,248,22,181,3,23,201,1,250,2,62,23,196,4,23,197,1, -248,22,181,3,23,199,1,32,64,88,164,8,38,39,52,11,2,31,36,223,3, -33,71,32,65,88,164,8,38,39,51,11,2,31,36,223,3,33,68,32,66,88, -164,8,38,39,50,11,2,31,36,223,3,33,67,28,249,22,128,4,23,197,2, -23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22,151,7,23,198,2, -23,199,2,86,94,23,193,1,249,22,79,250,22,169,7,23,199,2,36,23,200, -2,248,2,61,249,22,169,7,23,199,1,248,22,181,3,23,201,1,250,2,66, -23,196,4,23,197,1,248,22,181,3,23,199,1,28,249,22,128,4,23,197,2, -23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22,151,7,23,198,2, -23,199,2,86,94,23,193,1,249,22,79,250,22,169,7,23,199,2,36,23,200, +194,28,249,22,129,9,7,47,249,22,151,7,23,198,2,23,199,2,249,22,79, +250,22,169,7,23,199,2,36,23,200,2,248,2,61,249,22,169,7,23,199,1, +248,22,181,3,23,201,1,250,2,62,23,196,4,196,248,22,181,3,198,32,64, +88,164,8,38,39,52,11,2,31,36,223,3,33,71,32,65,88,164,8,38,39, +51,11,2,31,36,223,3,33,68,32,66,88,164,8,38,39,50,11,2,31,36, +223,3,33,67,28,249,22,128,4,23,197,2,23,195,4,248,22,89,194,28,249, +22,129,9,7,47,249,22,151,7,23,198,2,23,199,2,249,22,79,250,22,169, +7,23,199,2,36,23,200,2,248,2,61,249,22,169,7,23,199,1,248,22,181, +3,23,201,1,250,2,66,23,196,4,196,248,22,181,3,198,28,249,22,128,4, +23,197,2,23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22,151,7, +23,198,2,23,199,2,249,22,79,250,22,169,7,23,199,2,36,23,200,2,27, +249,22,169,7,23,199,1,248,22,181,3,23,201,1,19,248,22,150,7,23,195, +2,250,2,66,23,196,4,23,197,1,36,2,27,248,22,181,3,23,197,1,28, +249,22,128,4,23,195,2,23,196,4,248,22,89,195,28,249,22,129,9,7,47, +249,22,151,7,23,199,2,23,197,2,249,22,79,250,22,169,7,23,200,2,36, +23,198,2,248,2,61,249,22,169,7,23,200,1,248,22,181,3,23,199,1,250, +2,65,23,197,4,197,248,22,181,3,196,32,69,88,164,8,38,39,50,11,2, +31,36,223,3,33,70,28,249,22,128,4,23,197,2,23,195,4,248,22,89,194, +28,249,22,129,9,7,47,249,22,151,7,23,198,2,23,199,2,249,22,79,250, +22,169,7,23,199,2,36,23,200,2,248,2,61,249,22,169,7,23,199,1,248, +22,181,3,23,201,1,250,2,69,23,196,4,196,248,22,181,3,198,28,249,22, +128,4,23,197,2,23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22, +151,7,23,198,2,23,199,2,249,22,79,250,22,169,7,23,199,2,36,23,200, 2,27,249,22,169,7,23,199,1,248,22,181,3,23,201,1,19,248,22,150,7, -23,195,2,250,2,66,23,196,4,23,197,1,36,2,27,248,22,181,3,23,197, +23,195,2,250,2,65,23,196,4,23,197,1,36,2,27,248,22,181,3,23,197, 1,28,249,22,128,4,23,195,2,23,196,4,248,22,89,195,28,249,22,129,9, -7,47,249,22,151,7,23,199,2,23,197,2,86,94,23,194,1,249,22,79,250, -22,169,7,23,200,2,36,23,198,2,248,2,61,249,22,169,7,23,200,1,248, -22,181,3,23,199,1,250,2,65,23,197,4,23,198,1,248,22,181,3,23,197, -1,32,69,88,164,8,38,39,50,11,2,31,36,223,3,33,70,28,249,22,128, -4,23,197,2,23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22,151, -7,23,198,2,23,199,2,86,94,23,193,1,249,22,79,250,22,169,7,23,199, -2,36,23,200,2,248,2,61,249,22,169,7,23,199,1,248,22,181,3,23,201, -1,250,2,69,23,196,4,23,197,1,248,22,181,3,23,199,1,28,249,22,128, -4,23,197,2,23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22,151, -7,23,198,2,23,199,2,86,94,23,193,1,249,22,79,250,22,169,7,23,199, -2,36,23,200,2,27,249,22,169,7,23,199,1,248,22,181,3,23,201,1,19, -248,22,150,7,23,195,2,250,2,65,23,196,4,23,197,1,36,2,27,248,22, -181,3,23,197,1,28,249,22,128,4,23,195,2,23,196,4,248,22,89,195,28, -249,22,129,9,7,47,249,22,151,7,23,199,2,23,197,2,86,94,23,194,1, -249,22,79,250,22,169,7,23,200,2,36,23,198,2,27,249,22,169,7,23,200, -1,248,22,181,3,23,199,1,19,248,22,150,7,23,195,2,250,2,69,23,196, -4,23,197,1,36,2,27,248,22,181,3,23,195,1,28,249,22,128,4,23,195, -2,23,197,4,248,22,89,196,28,249,22,129,9,7,47,249,22,151,7,23,200, -2,23,197,2,86,94,23,195,1,249,22,79,250,22,169,7,23,201,2,36,23, -198,2,248,2,61,249,22,169,7,23,201,1,248,22,181,3,23,199,1,250,2, -64,23,198,4,23,199,1,248,22,181,3,23,197,1,19,248,22,150,7,23,195, -2,28,249,22,128,4,36,23,195,4,248,22,89,194,28,249,22,129,9,7,47, -249,22,151,7,23,198,2,36,86,94,23,193,1,249,22,79,250,22,169,7,23, -199,2,36,36,27,249,22,169,7,23,199,1,37,19,248,22,150,7,23,195,2, -250,2,62,23,196,4,23,197,1,36,2,28,249,22,128,4,37,23,195,4,248, -22,89,194,28,249,22,129,9,7,47,249,22,151,7,23,198,2,37,86,94,23, -193,1,249,22,79,250,22,169,7,23,199,2,36,37,248,2,61,249,22,169,7, -23,199,1,38,250,2,64,23,196,4,23,197,1,38,2,28,249,22,128,4,23, -197,2,23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22,151,7,23, -198,2,23,199,2,86,94,23,193,1,249,22,79,250,22,169,7,23,199,2,36, -23,200,2,248,2,61,249,22,169,7,23,199,1,248,22,181,3,23,201,1,250, -2,60,23,196,4,23,197,1,248,22,181,3,23,199,1,28,249,22,128,4,23, -197,2,23,195,4,248,22,89,194,28,249,22,129,9,7,47,249,22,151,7,23, -198,2,23,199,2,86,94,23,193,1,249,22,79,250,22,169,7,23,199,2,36, +7,47,249,22,151,7,23,199,2,23,197,2,249,22,79,250,22,169,7,23,200, +2,36,23,198,2,27,249,22,169,7,23,200,1,248,22,181,3,23,199,1,19, +248,22,150,7,23,195,2,250,2,69,23,196,4,23,197,1,36,2,27,248,22, +181,3,23,195,1,28,249,22,128,4,23,195,2,23,197,4,248,22,89,196,28, +249,22,129,9,7,47,249,22,151,7,23,200,2,23,197,2,249,22,79,250,22, +169,7,23,201,2,36,23,198,2,248,2,61,249,22,169,7,23,201,1,248,22, +181,3,23,199,1,250,2,64,23,198,4,198,248,22,181,3,196,19,248,22,150, +7,23,195,2,28,249,22,128,4,36,23,195,4,248,22,89,194,28,249,22,129, +9,7,47,249,22,151,7,23,198,2,36,249,22,79,250,22,169,7,23,199,2, +36,36,27,249,22,169,7,23,199,1,37,19,248,22,150,7,23,195,2,250,2, +62,23,196,4,23,197,1,36,2,28,249,22,128,4,37,23,195,4,248,22,89, +194,28,249,22,129,9,7,47,249,22,151,7,23,198,2,37,249,22,79,250,22, +169,7,23,199,2,36,37,248,2,61,249,22,169,7,23,199,1,38,250,2,64, +23,196,4,23,197,1,38,2,28,249,22,128,4,23,197,2,23,195,4,248,22, +89,194,28,249,22,129,9,7,47,249,22,151,7,23,198,2,23,199,2,249,22, +79,250,22,169,7,23,199,2,36,23,200,2,248,2,61,249,22,169,7,23,199, +1,248,22,181,3,23,201,1,250,2,60,23,196,4,196,248,22,181,3,198,28, +249,22,128,4,23,197,2,23,195,4,248,22,89,194,28,249,22,129,9,7,47, +249,22,151,7,23,198,2,23,199,2,249,22,79,250,22,169,7,23,199,2,36, 23,200,2,27,249,22,169,7,23,199,1,248,22,181,3,23,201,1,19,248,22, 150,7,23,195,2,250,2,60,23,196,4,23,197,1,36,2,27,248,22,181,3, 23,197,1,28,249,22,128,4,23,195,2,23,196,4,248,22,89,195,28,249,22, -129,9,7,47,249,22,151,7,23,199,2,23,197,2,86,94,23,194,1,249,22, -79,250,22,169,7,23,200,2,36,23,198,2,248,2,61,249,22,169,7,23,200, -1,248,22,181,3,23,199,1,250,2,59,23,197,4,23,198,1,248,22,181,3, -23,197,1,32,75,88,163,36,37,55,11,2,32,222,33,76,28,248,22,87,248, -22,81,23,195,2,249,22,7,9,248,22,132,18,23,196,1,90,159,38,11,89, -161,38,36,11,27,248,22,133,18,23,197,2,28,248,22,87,248,22,81,23,195, -2,249,22,7,9,248,22,132,18,195,90,159,38,11,89,161,38,36,11,27,248, -22,133,18,196,28,248,22,87,248,22,81,23,195,2,249,22,7,9,248,22,132, -18,195,90,159,38,11,89,161,38,36,11,248,2,75,248,22,133,18,196,249,22, -7,249,22,79,248,22,132,18,199,196,195,249,22,7,249,22,79,248,22,132,18, -199,196,195,249,22,7,249,22,79,248,22,132,18,23,200,1,23,197,1,23,196, -1,27,19,248,22,150,7,23,196,2,250,2,59,23,196,4,23,198,1,36,2, -28,23,195,1,192,28,248,22,87,248,22,81,23,195,2,249,22,7,9,248,22, -132,18,23,196,1,27,248,22,133,18,23,195,2,90,159,38,11,89,161,38,36, -11,28,248,22,87,248,22,81,23,197,2,249,22,7,9,248,22,132,18,23,198, -1,27,248,22,133,18,23,197,2,90,159,38,11,89,161,38,36,11,28,248,22, -87,248,22,81,23,197,2,249,22,7,9,248,22,132,18,197,90,159,38,11,89, -161,38,36,11,248,2,75,248,22,133,18,198,249,22,7,249,22,79,248,22,132, -18,201,196,195,249,22,7,249,22,79,248,22,132,18,23,203,1,196,195,249,22, -7,249,22,79,248,22,132,18,23,201,1,23,197,1,23,196,1,28,24,194,2, -12,20,13,159,80,159,36,57,37,80,158,36,55,89,161,37,37,10,249,22,128, -5,21,94,2,33,6,19,19,112,108,97,110,101,116,47,114,101,115,111,108,118, -101,114,46,114,107,116,1,27,112,108,97,110,101,116,45,109,111,100,117,108,101, -45,110,97,109,101,45,114,101,115,111,108,118,101,114,12,27,28,23,195,2,28, -249,22,162,9,23,197,2,80,158,39,52,86,94,23,195,1,80,158,37,53,27, -248,22,151,5,23,197,2,27,28,248,22,77,23,195,2,248,22,132,18,23,195, -1,23,194,1,28,248,22,152,15,23,194,2,90,159,39,11,89,161,39,36,11, -248,22,173,15,23,197,1,86,95,20,18,159,11,80,158,42,52,199,20,18,159, -11,80,158,42,53,192,192,11,11,28,23,193,2,192,86,94,23,193,1,27,247, -22,175,5,28,23,193,2,192,86,94,23,193,1,247,22,129,16,90,159,39,11, -89,161,39,36,11,248,22,173,15,23,198,2,86,95,23,195,1,23,193,1,28, -249,22,141,16,0,11,35,114,120,34,91,46,93,115,115,36,34,248,22,157,15, -23,197,1,249,80,159,41,58,39,23,199,1,2,27,196,249,80,159,38,54,39, -195,10,249,22,14,23,196,1,80,159,38,51,38,86,96,28,248,22,149,5,23, -196,2,12,250,22,135,10,2,22,6,21,21,114,101,115,111,108,118,101,100,45, -109,111,100,117,108,101,45,112,97,116,104,63,23,198,2,28,28,23,196,2,248, -22,189,13,23,197,2,10,12,250,22,135,10,2,22,6,20,20,40,111,114,47, -99,32,35,102,32,110,97,109,101,115,112,97,99,101,63,41,23,199,2,28,24, -193,2,248,24,194,1,23,196,2,86,94,23,193,1,12,27,250,22,160,2,80, -159,41,41,38,248,22,166,16,247,22,188,13,11,27,28,23,194,2,23,194,1, -86,94,23,194,1,27,249,22,79,247,22,140,2,247,22,140,2,86,94,250,22, -158,2,80,159,43,41,38,248,22,166,16,247,22,188,13,195,192,86,94,250,22, -158,2,248,22,80,23,197,2,23,200,2,68,100,101,99,108,97,114,101,100,28, -23,198,2,27,28,248,22,77,248,22,151,5,23,200,2,248,22,150,5,248,22, -80,248,22,151,5,23,201,1,23,198,1,27,250,22,160,2,80,159,44,41,38, -248,22,166,16,23,204,1,11,28,23,193,2,27,250,22,160,2,248,22,81,23, -198,1,23,198,2,11,28,23,193,2,250,22,158,2,248,22,133,18,23,200,1, -23,198,1,23,196,1,12,12,12,251,24,197,1,23,198,1,23,199,1,23,200, -1,10,32,85,88,163,36,38,47,11,76,102,108,97,116,116,101,110,45,115,117, -98,45,112,97,116,104,222,33,88,32,86,88,163,36,40,54,11,2,32,222,33, -87,28,248,22,87,23,197,2,28,248,22,87,195,192,249,22,79,194,248,22,94, -197,28,249,22,164,9,248,22,80,23,199,2,2,36,28,248,22,87,23,196,2, -86,95,23,196,1,23,195,1,250,22,131,10,2,22,6,37,37,116,111,111,32, -109,97,110,121,32,34,46,46,34,115,32,105,110,32,115,117,98,109,111,100,117, -108,101,32,112,97,116,104,58,32,126,46,115,250,22,90,2,35,28,249,22,164, -9,23,201,2,2,37,23,199,1,28,248,22,152,15,23,200,2,23,199,1,249, -22,89,28,248,22,64,23,202,2,2,4,2,38,23,201,1,23,200,1,251,2, -86,23,197,1,23,198,1,248,22,81,23,200,1,248,22,133,18,23,201,1,251, -2,86,23,197,1,23,198,1,249,22,79,248,22,132,18,23,203,2,23,201,1, -248,22,133,18,23,201,1,251,2,86,23,197,1,23,198,2,9,23,198,1,27, -249,22,170,7,6,31,31,115,116,97,110,100,97,114,100,45,109,111,100,117,108, -101,45,110,97,109,101,45,114,101,115,111,108,118,101,114,58,32,250,22,152,16, -0,7,35,114,120,34,92,110,34,23,201,1,249,22,131,8,6,23,23,10,32, -32,102,111,114,32,109,111,100,117,108,101,32,112,97,116,104,58,32,126,115,10, -23,201,2,248,22,160,13,28,23,196,2,251,22,168,12,23,198,1,247,22,29, -248,22,89,23,201,1,23,199,1,86,94,23,196,1,250,22,131,13,23,197,1, -247,22,29,23,198,1,28,249,22,153,7,194,2,37,2,28,28,249,22,153,7, -194,2,36,62,117,112,192,32,91,88,163,8,36,37,50,11,67,115,115,45,62, -114,107,116,222,33,92,19,248,22,150,7,194,28,249,22,132,4,23,195,4,39, -28,249,22,153,7,6,3,3,46,115,115,249,22,169,7,197,249,22,184,3,23, -199,4,39,249,22,170,7,250,22,169,7,198,36,249,22,184,3,23,200,4,39, -2,41,193,193,2,0,8,35,114,120,34,91,46,93,34,32,94,88,163,8,36, -37,47,11,2,32,222,33,95,28,248,22,87,23,194,2,9,250,22,90,6,4, -4,10,32,32,32,248,22,156,15,248,22,105,23,198,2,248,2,94,248,22,81, -23,198,1,28,249,22,164,9,248,22,81,23,200,2,23,197,1,28,249,22,162, -9,248,22,132,18,23,200,1,23,196,1,251,22,131,10,2,22,6,41,41,99, -121,99,108,101,32,105,110,32,108,111,97,100,105,110,103,10,32,32,97,116,32, -112,97,116,104,58,32,126,97,10,32,32,112,97,116,104,115,58,126,97,23,200, -1,249,22,1,22,170,7,248,2,94,248,22,94,23,201,1,12,12,247,23,193, -1,250,22,157,4,11,196,195,20,13,159,80,159,45,50,38,249,22,79,249,22, -79,248,22,166,16,247,22,188,13,23,201,1,23,195,1,20,13,159,80,159,45, -38,37,252,80,159,50,39,37,249,22,33,11,80,159,52,38,37,22,189,4,23, -200,2,22,191,4,248,28,23,207,2,20,20,94,88,163,8,36,37,46,11,9, -223,14,33,98,23,207,1,86,94,23,207,1,22,7,28,248,22,64,23,206,2, -23,205,1,28,28,248,22,77,23,206,2,249,22,162,9,248,22,132,18,23,208, -2,2,33,11,23,205,1,86,94,23,205,1,28,248,22,149,5,23,202,2,27, -248,22,151,5,23,203,2,28,248,22,64,193,249,22,89,2,4,194,192,23,201, -2,249,247,22,174,5,23,200,1,27,248,22,67,248,22,156,15,23,201,1,28, -23,203,2,28,250,22,160,2,248,22,80,23,201,1,23,201,1,11,249,22,79, -11,204,249,22,79,194,204,192,86,96,28,248,22,159,5,23,196,2,12,28,248, -22,155,4,23,198,2,250,22,133,10,11,6,15,15,98,97,100,32,109,111,100, -117,108,101,32,112,97,116,104,23,200,2,250,22,135,10,2,22,2,34,23,198, -2,28,28,23,196,2,248,22,149,5,23,197,2,10,12,250,22,135,10,2,22, -6,31,31,40,111,114,47,99,32,35,102,32,114,101,115,111,108,118,101,100,45, -109,111,100,117,108,101,45,112,97,116,104,63,41,23,199,2,28,28,23,197,2, -248,22,155,4,23,198,2,10,12,250,22,135,10,2,22,6,17,17,40,111,114, -47,99,32,35,102,32,115,121,110,116,97,120,63,41,23,200,2,28,28,248,22, -77,23,196,2,249,22,162,9,248,22,132,18,23,198,2,2,4,11,86,97,23, -198,1,23,197,1,23,196,1,23,193,1,248,22,150,5,248,22,104,23,197,1, -28,28,248,22,77,23,196,2,28,249,22,162,9,248,22,132,18,23,198,2,2, -35,28,248,22,77,248,22,104,23,197,2,249,22,162,9,248,22,108,23,198,2, -2,4,11,11,11,86,97,23,198,1,23,197,1,23,196,1,23,193,1,248,22, -150,5,249,2,85,248,22,121,23,199,2,248,22,106,23,199,1,28,28,248,22, -77,23,196,2,28,249,22,162,9,248,22,132,18,23,198,2,2,35,28,28,249, -22,164,9,248,22,104,23,198,2,2,37,10,249,22,164,9,248,22,104,23,198, -2,2,36,28,23,196,2,27,248,22,151,5,23,198,2,28,248,22,64,193,10, -28,248,22,77,193,248,22,64,248,22,132,18,194,11,11,11,11,11,86,96,23, -198,1,23,197,1,23,193,1,27,248,22,151,5,23,198,1,248,22,150,5,249, -2,85,28,248,22,77,23,197,2,248,22,132,18,23,197,2,23,196,2,27,28, -249,22,164,9,248,22,104,23,203,2,2,36,248,22,133,18,200,248,22,106,200, -28,248,22,77,23,198,2,249,22,93,248,22,133,18,199,194,192,28,28,248,22, -77,23,196,2,249,22,162,9,248,22,132,18,23,198,2,2,39,11,86,94,248, -80,159,38,8,28,39,23,194,2,253,24,199,1,23,201,1,23,202,1,23,203, -1,23,204,1,11,80,158,43,55,28,28,248,22,77,23,196,2,28,249,22,162, -9,248,22,132,18,23,198,2,2,35,28,248,22,77,248,22,104,23,197,2,249, -22,162,9,248,22,108,23,198,2,2,39,11,11,11,86,94,248,80,159,38,8, -28,39,23,194,2,253,24,199,1,248,22,104,23,202,2,23,202,1,23,203,1, -23,204,1,248,22,106,23,202,1,80,158,43,55,86,94,23,193,1,27,88,163, -8,36,37,52,11,79,115,104,111,119,45,99,111,108,108,101,99,116,105,111,110, -45,101,114,114,224,5,3,33,89,27,28,248,22,77,23,198,2,28,249,22,162, -9,2,35,248,22,132,18,23,200,2,27,248,22,104,23,199,2,28,28,249,22, -164,9,23,195,2,2,37,10,249,22,164,9,23,195,2,2,36,86,94,23,193, -1,28,23,199,2,27,248,22,151,5,23,201,2,28,248,22,77,193,248,22,132, -18,193,192,250,22,131,10,2,22,6,45,45,110,111,32,98,97,115,101,32,112, -97,116,104,32,102,111,114,32,114,101,108,97,116,105,118,101,32,115,117,98,109, -111,100,117,108,101,32,112,97,116,104,58,32,126,46,115,23,201,2,192,23,197, -2,23,197,2,27,28,248,22,77,23,199,2,28,249,22,162,9,2,35,248,22, -132,18,23,201,2,27,28,28,28,249,22,164,9,248,22,104,23,202,2,2,37, -10,249,22,164,9,248,22,104,23,202,2,2,36,23,200,2,11,27,248,22,151, -5,23,202,2,27,28,249,22,164,9,248,22,104,23,204,2,2,36,248,22,133, -18,23,202,1,248,22,106,23,202,1,28,248,22,77,23,195,2,249,2,85,248, -22,132,18,23,197,2,249,22,93,248,22,133,18,23,199,1,23,197,1,249,2, -85,23,196,1,23,195,1,249,2,85,2,37,28,249,22,164,9,248,22,104,23, -204,2,2,36,248,22,133,18,23,202,1,248,22,106,23,202,1,28,248,22,77, -193,248,22,133,18,193,11,11,11,27,28,248,22,64,23,196,2,27,248,80,159, -43,48,39,249,22,79,23,199,2,247,22,130,16,28,23,193,2,192,86,94,23, -193,1,90,159,38,11,89,161,38,36,11,249,80,159,46,54,39,248,22,70,23, -201,2,11,27,28,248,22,87,23,195,2,2,40,249,22,170,7,23,197,2,2, -41,251,80,159,49,59,39,23,204,1,28,248,22,87,23,199,2,23,199,1,86, -94,23,199,1,248,22,80,23,199,2,28,248,22,87,23,199,2,86,94,23,198, -1,9,248,22,133,18,23,199,1,23,197,1,28,248,22,147,7,23,196,2,86, -94,23,196,1,27,248,80,159,43,8,29,39,23,202,2,27,248,80,159,44,48, -39,249,22,79,23,200,2,23,197,2,28,23,193,2,192,86,94,23,193,1,90, -159,38,11,89,161,38,36,11,249,80,159,47,54,39,23,201,2,11,250,22,1, -22,170,15,23,199,1,249,22,93,249,22,2,32,0,88,163,8,36,37,44,11, -9,222,33,90,23,200,1,248,22,89,248,2,91,23,201,1,28,248,22,152,15, -23,196,2,86,94,23,196,1,248,80,159,42,8,30,39,248,22,179,15,28,248, -22,176,15,23,198,2,23,197,2,249,22,177,15,23,199,2,248,80,159,46,8, -29,39,23,205,2,28,249,22,162,9,248,22,80,23,198,2,2,33,27,248,80, -159,43,48,39,249,22,79,23,199,2,247,22,130,16,28,23,193,2,192,86,94, -23,193,1,90,159,39,11,89,161,38,36,11,249,80,159,47,54,39,248,22,104, -23,202,2,11,89,161,37,38,11,28,248,22,87,248,22,106,23,201,2,28,248, -22,87,23,194,2,249,22,145,16,2,93,23,196,2,11,10,27,28,23,196,2, -248,2,91,23,196,2,28,248,22,87,23,195,2,2,40,28,249,22,145,16,2, -93,23,197,2,248,2,91,23,196,2,249,22,170,7,23,197,2,2,41,27,28, -23,197,1,86,94,23,196,1,249,22,93,28,248,22,87,248,22,106,23,205,2, -21,93,6,5,5,109,122,108,105,98,249,22,1,22,93,249,22,2,80,159,53, -8,31,39,248,22,106,23,208,2,23,197,1,28,248,22,87,23,196,2,86,94, -23,195,1,248,22,89,23,197,1,86,94,23,196,1,23,195,1,251,80,159,51, -59,39,23,206,1,248,22,80,23,198,2,248,22,133,18,23,198,1,23,198,1, -28,249,22,162,9,248,22,132,18,23,198,2,2,38,248,80,159,42,8,30,39, -248,22,179,15,249,22,177,15,248,22,181,15,248,22,104,23,201,2,248,80,159, -46,8,29,39,23,205,2,12,86,94,28,28,248,22,152,15,23,194,2,10,248, -22,177,8,23,194,2,12,28,23,201,2,250,22,133,10,67,114,101,113,117,105, -114,101,249,22,131,8,6,17,17,98,97,100,32,109,111,100,117,108,101,32,112, -97,116,104,126,97,28,23,198,2,248,22,80,23,199,2,6,0,0,23,204,2, -250,22,135,10,2,22,2,34,23,198,2,27,28,248,22,177,8,23,195,2,249, -22,182,8,23,196,2,36,249,22,179,15,248,22,180,15,23,197,2,11,27,28, -248,22,177,8,23,196,2,249,22,182,8,23,197,2,37,248,80,159,44,8,24, -39,23,195,2,90,159,39,11,89,161,39,36,11,28,248,22,177,8,23,199,2, -250,22,7,2,42,249,22,182,8,23,203,2,38,2,42,248,22,173,15,23,198, -2,86,95,23,195,1,23,193,1,27,28,248,22,177,8,23,200,2,249,22,182, -8,23,201,2,39,249,80,159,49,58,39,23,197,2,5,0,27,28,248,22,177, -8,23,201,2,249,22,182,8,23,202,2,40,248,22,150,5,23,200,2,27,250, -22,160,2,80,159,52,41,38,248,22,166,16,247,22,188,13,11,27,28,23,194, -2,23,194,1,86,94,23,194,1,27,249,22,79,247,22,140,2,247,22,140,2, -86,94,250,22,158,2,80,159,54,41,38,248,22,166,16,247,22,188,13,195,192, -27,28,23,204,2,248,22,150,5,249,22,79,248,22,151,5,23,200,2,23,207, -2,23,196,2,86,95,28,23,212,1,27,250,22,160,2,248,22,80,23,199,2, -196,11,28,23,193,1,12,27,27,28,248,22,17,80,159,55,51,38,80,159,54, -51,38,247,22,19,251,22,33,11,80,159,58,50,38,9,23,197,1,27,248,22, -166,16,247,22,188,13,86,94,249,22,3,20,20,94,88,163,8,36,37,54,11, -9,226,14,13,2,3,33,96,23,195,1,23,196,2,248,28,248,22,17,80,159, -56,51,38,32,0,88,163,36,37,42,11,9,222,33,97,80,159,55,8,32,39, -20,20,97,88,163,36,36,8,24,8,240,12,64,0,0,9,232,19,22,15,16, -13,12,8,7,5,2,33,99,23,195,1,23,198,1,23,208,1,23,215,1,12, -28,28,248,22,177,8,23,204,1,11,28,248,22,147,7,23,206,2,10,28,248, -22,64,23,206,2,10,28,248,22,77,23,206,2,249,22,162,9,248,22,132,18, -23,208,2,2,33,11,249,80,159,53,49,39,28,248,22,147,7,23,208,2,249, -22,79,23,209,1,248,80,159,56,8,29,39,23,215,1,86,94,23,212,1,249, -22,79,23,209,1,247,22,130,16,252,22,179,8,23,209,1,23,208,1,23,206, -1,23,204,1,23,203,1,12,192,86,96,20,18,159,11,80,158,36,55,248,80, -159,37,8,27,37,249,22,33,11,80,159,39,57,37,248,22,188,4,80,159,37, -56,38,248,22,174,5,80,159,37,37,39,248,22,185,14,80,159,37,45,39,20, -18,159,11,80,158,36,55,248,80,159,37,8,27,37,249,22,33,11,80,159,39, -57,37,20,18,159,11,80,158,36,55,248,80,159,37,8,27,37,249,22,33,11, -80,159,39,57,37,159,36,20,114,159,36,16,1,11,16,0,20,26,145,9,2, -1,2,1,29,11,11,11,11,9,9,11,11,11,10,38,80,158,36,36,20,114, -159,41,16,28,2,2,2,3,30,2,6,2,7,11,6,30,2,6,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,11,3,30,2,8,72,112,97,116,104,45,115,116,114,105,110,103,63,38,196, -11,2,9,30,2,8,71,114,101,114,111,111,116,45,112,97,116,104,40,196,12, -30,2,8,75,112,97,116,104,45,97,100,100,45,115,117,102,102,105,120,40,196, -8,2,10,2,11,2,12,2,13,2,14,2,15,2,16,2,17,2,18,2,19, -2,20,2,21,2,22,30,2,23,2,7,11,6,30,2,8,79,112,97,116,104, -45,114,101,112,108,97,99,101,45,115,117,102,102,105,120,40,196,10,30,2,8, -73,102,105,110,100,45,99,111,108,45,102,105,108,101,44,196,3,30,2,8,76, -110,111,114,109,97,108,45,99,97,115,101,45,112,97,116,104,38,196,7,2,24, -2,25,30,2,23,74,114,101,112,97,114,97,109,101,116,101,114,105,122,101,11, -7,16,0,37,39,36,16,0,36,16,15,2,16,2,17,2,9,2,13,2,18, -2,19,2,12,2,3,2,11,2,2,2,14,2,15,2,10,2,20,2,22,51, -11,11,11,16,3,2,24,2,21,2,25,16,3,11,11,11,16,3,2,24,2, -21,2,25,39,39,37,12,11,11,16,0,16,0,16,0,36,36,11,12,11,11, -16,0,16,0,16,0,36,36,16,23,20,15,16,2,248,22,174,8,69,115,111, -45,115,117,102,102,105,120,80,159,36,36,37,20,15,16,2,88,163,36,38,8, -43,8,189,3,2,3,223,0,33,55,80,159,36,37,37,20,15,16,2,32,0, -88,163,8,36,41,52,11,2,10,222,33,56,80,159,36,44,37,20,15,16,2, -20,27,158,32,0,88,163,8,36,37,42,11,2,11,222,192,32,0,88,163,8, -36,37,42,11,2,11,222,192,80,159,36,45,37,20,15,16,2,247,22,143,2, -80,159,36,41,37,20,15,16,2,8,128,8,80,159,36,46,37,20,15,16,2, -249,22,178,8,8,128,8,11,80,159,36,47,37,20,15,16,2,88,163,8,36, -37,50,8,128,32,2,14,223,0,33,57,80,159,36,48,37,20,15,16,2,88, -163,8,36,38,55,8,128,32,2,15,223,0,33,58,80,159,36,49,37,20,15, -16,2,247,22,75,80,159,36,50,37,20,15,16,2,248,22,18,74,109,111,100, -117,108,101,45,108,111,97,100,105,110,103,80,159,36,51,37,20,15,16,2,11, -80,158,36,52,20,15,16,2,11,80,158,36,53,20,15,16,2,32,0,88,163, -36,38,57,11,2,20,222,33,77,80,159,36,54,37,20,15,16,2,11,80,158, -36,55,20,15,16,2,88,164,8,34,37,45,8,240,0,0,40,0,1,21,112, -114,101,112,45,112,108,97,110,101,116,45,114,101,115,111,108,118,101,114,33,37, -224,1,0,33,78,80,159,36,8,28,39,20,15,16,2,88,163,36,37,50,8, -240,0,0,3,0,67,103,101,116,45,100,105,114,223,0,33,79,80,159,36,8, -29,39,20,15,16,2,88,163,36,37,49,8,240,0,0,64,0,72,112,97,116, -104,45,115,115,45,62,114,107,116,223,0,33,80,80,159,36,8,30,39,20,15, -16,2,88,163,8,36,37,45,8,240,0,0,4,0,9,223,0,33,81,80,159, -36,8,31,39,20,15,16,2,88,163,36,37,45,8,240,0,128,0,0,9,223, -0,33,82,80,159,36,8,32,39,20,15,16,2,27,11,20,19,158,36,90,159, -37,10,89,161,37,36,10,20,25,96,2,22,88,163,8,36,38,54,8,32,9, -224,2,1,33,83,88,163,36,39,49,11,9,223,0,33,84,88,163,36,40,8, -32,16,4,8,240,44,240,0,0,8,240,204,241,0,0,37,36,9,224,2,1, -33,100,207,80,159,36,56,37,20,15,16,2,88,163,36,36,45,16,2,8,130, -8,8,184,32,2,24,223,0,33,101,80,159,36,8,25,37,20,15,16,2,20, -27,158,88,163,8,36,36,45,16,2,36,8,168,32,2,25,223,0,33,102,88, -163,8,36,36,45,16,2,36,8,168,32,2,25,223,0,33,103,80,159,36,8, -26,37,96,29,94,2,4,68,35,37,107,101,114,110,101,108,11,29,94,2,4, -69,35,37,109,105,110,45,115,116,120,11,2,8,2,23,9,9,9,36,0}; - EVAL_ONE_SIZED_STR((char *)expr, 10036); +129,9,7,47,249,22,151,7,23,199,2,23,197,2,249,22,79,250,22,169,7, +23,200,2,36,23,198,2,248,2,61,249,22,169,7,23,200,1,248,22,181,3, +23,199,1,250,2,59,23,197,4,197,248,22,181,3,196,32,75,88,163,36,37, +55,11,2,32,222,33,76,28,248,22,87,248,22,81,23,195,2,249,22,7,9, +248,22,132,18,23,196,1,90,159,38,11,89,161,38,36,11,27,248,22,133,18, +23,197,2,28,248,22,87,248,22,81,23,195,2,249,22,7,9,248,22,132,18, +195,90,159,38,11,89,161,38,36,11,27,248,22,133,18,196,28,248,22,87,248, +22,81,23,195,2,249,22,7,9,248,22,132,18,195,90,159,38,11,89,161,38, +36,11,248,2,75,248,22,133,18,196,249,22,7,249,22,79,248,22,132,18,199, +196,195,249,22,7,249,22,79,248,22,132,18,199,196,195,249,22,7,249,22,79, +248,22,132,18,23,200,1,23,197,1,23,196,1,27,19,248,22,150,7,23,196, +2,250,2,59,23,196,4,23,198,1,36,2,28,23,195,1,192,28,248,22,87, +248,22,81,23,195,2,249,22,7,9,248,22,132,18,23,196,1,27,248,22,133, +18,23,195,2,90,159,38,11,89,161,38,36,11,28,248,22,87,248,22,81,23, +197,2,249,22,7,9,248,22,132,18,23,198,1,27,248,22,133,18,23,197,2, +90,159,38,11,89,161,38,36,11,28,248,22,87,248,22,81,23,197,2,249,22, +7,9,248,22,132,18,197,90,159,38,11,89,161,38,36,11,248,2,75,248,22, +133,18,198,249,22,7,249,22,79,248,22,132,18,201,196,195,249,22,7,249,22, +79,248,22,132,18,23,203,1,196,195,249,22,7,249,22,79,248,22,132,18,23, +201,1,23,197,1,23,196,1,28,24,194,2,12,20,13,159,80,159,36,57,37, +80,158,36,55,89,161,37,37,10,249,22,128,5,21,94,2,33,6,19,19,112, +108,97,110,101,116,47,114,101,115,111,108,118,101,114,46,114,107,116,1,27,112, +108,97,110,101,116,45,109,111,100,117,108,101,45,110,97,109,101,45,114,101,115, +111,108,118,101,114,12,27,28,23,195,2,28,249,22,162,9,23,197,2,80,158, +39,52,86,94,23,195,1,80,158,37,53,27,248,22,151,5,23,197,2,27,28, +248,22,77,23,195,2,248,22,132,18,23,195,1,23,194,1,28,248,22,152,15, +23,194,2,90,159,39,11,89,161,39,36,11,248,22,173,15,23,197,1,86,95, +20,18,159,11,80,158,42,52,199,20,18,159,11,80,158,42,53,192,192,11,11, +28,23,193,2,192,86,94,23,193,1,27,247,22,175,5,28,23,193,2,192,86, +94,23,193,1,247,22,129,16,90,159,39,11,89,161,39,36,11,248,22,173,15, +23,198,2,86,95,23,195,1,23,193,1,28,249,22,141,16,0,11,35,114,120, +34,91,46,93,115,115,36,34,248,22,157,15,23,197,1,249,80,159,41,58,39, +23,199,1,2,27,196,249,80,159,38,54,39,195,10,249,22,14,23,196,1,80, +159,38,51,38,86,96,28,248,22,149,5,23,196,2,12,250,22,135,10,2,22, +6,21,21,114,101,115,111,108,118,101,100,45,109,111,100,117,108,101,45,112,97, +116,104,63,23,198,2,28,28,23,196,2,248,22,189,13,23,197,2,10,12,250, +22,135,10,2,22,6,20,20,40,111,114,47,99,32,35,102,32,110,97,109,101, +115,112,97,99,101,63,41,23,199,2,28,24,193,2,248,24,194,1,23,196,2, +86,94,23,193,1,12,27,250,22,160,2,80,159,41,41,38,248,22,166,16,247, +22,188,13,11,27,28,23,194,2,23,194,1,86,94,23,194,1,27,249,22,79, +247,22,140,2,247,22,140,2,86,94,250,22,158,2,80,159,43,41,38,248,22, +166,16,247,22,188,13,195,192,86,94,250,22,158,2,248,22,80,23,197,2,23, +200,2,68,100,101,99,108,97,114,101,100,28,23,198,2,27,28,248,22,77,248, +22,151,5,23,200,2,248,22,150,5,248,22,80,248,22,151,5,23,201,1,23, +198,1,27,250,22,160,2,80,159,44,41,38,248,22,166,16,23,204,1,11,28, +23,193,2,27,250,22,160,2,248,22,81,23,198,1,23,198,2,11,28,23,193, +2,250,22,158,2,248,22,133,18,23,200,1,23,198,1,23,196,1,12,12,12, +251,24,197,1,23,198,1,23,199,1,23,200,1,10,32,85,88,163,36,38,47, +11,76,102,108,97,116,116,101,110,45,115,117,98,45,112,97,116,104,222,33,88, +32,86,88,163,36,40,54,11,2,32,222,33,87,28,248,22,87,23,197,2,28, +248,22,87,195,192,249,22,79,194,248,22,94,197,28,249,22,164,9,248,22,80, +23,199,2,2,36,28,248,22,87,23,196,2,86,95,23,196,1,23,195,1,250, +22,131,10,2,22,6,37,37,116,111,111,32,109,97,110,121,32,34,46,46,34, +115,32,105,110,32,115,117,98,109,111,100,117,108,101,32,112,97,116,104,58,32, +126,46,115,250,22,90,2,35,28,249,22,164,9,23,201,2,2,37,23,199,1, +28,248,22,152,15,23,200,2,23,199,1,249,22,89,28,248,22,64,23,202,2, +2,4,2,38,23,201,1,23,200,1,251,2,86,196,197,248,22,81,199,248,22, +133,18,200,251,2,86,196,197,249,22,79,248,22,132,18,202,200,248,22,133,18, +200,251,2,86,23,197,1,23,198,2,9,23,198,1,27,249,22,170,7,6,31, +31,115,116,97,110,100,97,114,100,45,109,111,100,117,108,101,45,110,97,109,101, +45,114,101,115,111,108,118,101,114,58,32,250,22,152,16,0,7,35,114,120,34, +92,110,34,23,201,1,249,22,131,8,6,23,23,10,32,32,102,111,114,32,109, +111,100,117,108,101,32,112,97,116,104,58,32,126,115,10,23,201,2,248,22,160, +13,28,23,196,2,251,22,168,12,23,198,1,247,22,29,248,22,89,23,201,1, +23,199,1,86,94,23,196,1,250,22,131,13,23,197,1,247,22,29,23,198,1, +28,249,22,153,7,194,2,37,2,28,28,249,22,153,7,194,2,36,62,117,112, +192,32,91,88,163,8,36,37,50,11,67,115,115,45,62,114,107,116,222,33,92, +19,248,22,150,7,194,28,249,22,132,4,23,195,4,39,28,249,22,153,7,6, +3,3,46,115,115,249,22,169,7,197,249,22,184,3,23,199,4,39,249,22,170, +7,250,22,169,7,198,36,249,22,184,3,23,200,4,39,2,41,193,193,2,0, +8,35,114,120,34,91,46,93,34,32,94,88,163,8,36,37,47,11,2,32,222, +33,95,28,248,22,87,23,194,2,9,250,22,90,6,4,4,10,32,32,32,248, +22,156,15,248,22,105,23,198,2,248,2,94,248,22,81,23,198,1,28,249,22, +164,9,248,22,81,23,200,2,23,197,1,28,249,22,162,9,248,22,132,18,23, +200,1,23,196,1,251,22,131,10,2,22,6,41,41,99,121,99,108,101,32,105, +110,32,108,111,97,100,105,110,103,10,32,32,97,116,32,112,97,116,104,58,32, +126,97,10,32,32,112,97,116,104,115,58,126,97,23,200,1,249,22,1,22,170, +7,248,2,94,248,22,94,23,201,1,12,12,247,23,193,1,250,22,157,4,11, +196,195,20,13,159,80,159,45,50,38,249,22,79,249,22,79,248,22,166,16,247, +22,188,13,23,201,1,23,195,1,20,13,159,80,159,45,38,37,252,80,159,50, +39,37,249,22,33,11,80,159,52,38,37,22,189,4,23,200,2,22,191,4,248, +28,23,207,2,20,20,94,88,163,8,36,37,46,11,9,223,14,33,98,23,207, +1,86,94,23,207,1,22,7,28,248,22,64,23,206,2,23,205,1,28,28,248, +22,77,23,206,2,249,22,162,9,248,22,132,18,23,208,2,2,33,11,23,205, +1,86,94,23,205,1,28,248,22,149,5,23,202,2,27,248,22,151,5,23,203, +2,28,248,22,64,193,249,22,89,2,4,194,192,23,201,2,249,247,22,174,5, +23,200,1,27,248,22,67,248,22,156,15,23,201,1,28,23,203,2,28,250,22, +160,2,248,22,80,23,201,1,23,201,1,11,249,22,79,11,204,249,22,79,194, +204,192,86,96,28,248,22,159,5,23,196,2,12,28,248,22,155,4,23,198,2, +250,22,133,10,11,6,15,15,98,97,100,32,109,111,100,117,108,101,32,112,97, +116,104,23,200,2,250,22,135,10,2,22,2,34,23,198,2,28,28,23,196,2, +248,22,149,5,23,197,2,10,12,250,22,135,10,2,22,6,31,31,40,111,114, +47,99,32,35,102,32,114,101,115,111,108,118,101,100,45,109,111,100,117,108,101, +45,112,97,116,104,63,41,23,199,2,28,28,23,197,2,248,22,155,4,23,198, +2,10,12,250,22,135,10,2,22,6,17,17,40,111,114,47,99,32,35,102,32, +115,121,110,116,97,120,63,41,23,200,2,28,28,248,22,77,23,196,2,249,22, +162,9,248,22,132,18,23,198,2,2,4,11,86,97,23,198,1,23,197,1,23, +196,1,23,193,1,248,22,150,5,248,22,104,23,197,1,28,28,248,22,77,23, +196,2,28,249,22,162,9,248,22,132,18,23,198,2,2,35,28,248,22,77,248, +22,104,23,197,2,249,22,162,9,248,22,108,23,198,2,2,4,11,11,11,86, +97,23,198,1,23,197,1,23,196,1,23,193,1,248,22,150,5,249,2,85,248, +22,121,23,199,2,248,22,106,23,199,1,28,28,248,22,77,23,196,2,28,249, +22,162,9,248,22,132,18,23,198,2,2,35,28,28,249,22,164,9,248,22,104, +23,198,2,2,37,10,249,22,164,9,248,22,104,23,198,2,2,36,28,23,196, +2,27,248,22,151,5,23,198,2,28,248,22,64,193,10,28,248,22,77,193,248, +22,64,248,22,132,18,194,11,11,11,11,11,86,96,23,198,1,23,197,1,23, +193,1,27,248,22,151,5,23,198,1,248,22,150,5,249,2,85,28,248,22,77, +23,197,2,248,22,132,18,23,197,2,23,196,2,27,28,249,22,164,9,248,22, +104,23,203,2,2,36,248,22,133,18,200,248,22,106,200,28,248,22,77,23,198, +2,249,22,93,248,22,133,18,199,194,192,28,28,248,22,77,23,196,2,249,22, +162,9,248,22,132,18,23,198,2,2,39,11,86,94,248,80,159,38,8,28,39, +23,194,2,253,24,199,1,23,201,1,23,202,1,23,203,1,23,204,1,11,80, +158,43,55,28,28,248,22,77,23,196,2,28,249,22,162,9,248,22,132,18,23, +198,2,2,35,28,248,22,77,248,22,104,23,197,2,249,22,162,9,248,22,108, +23,198,2,2,39,11,11,11,86,94,248,80,159,38,8,28,39,23,194,2,253, +24,199,1,248,22,104,23,202,2,23,202,1,23,203,1,23,204,1,248,22,106, +23,202,1,80,158,43,55,86,94,23,193,1,27,88,163,8,36,37,52,11,79, +115,104,111,119,45,99,111,108,108,101,99,116,105,111,110,45,101,114,114,224,5, +3,33,89,27,28,248,22,77,23,198,2,28,249,22,162,9,2,35,248,22,132, +18,23,200,2,27,248,22,104,23,199,2,28,28,249,22,164,9,23,195,2,2, +37,10,249,22,164,9,23,195,2,2,36,86,94,23,193,1,28,23,199,2,27, +248,22,151,5,23,201,2,28,248,22,77,193,248,22,132,18,193,192,250,22,131, +10,2,22,6,45,45,110,111,32,98,97,115,101,32,112,97,116,104,32,102,111, +114,32,114,101,108,97,116,105,118,101,32,115,117,98,109,111,100,117,108,101,32, +112,97,116,104,58,32,126,46,115,23,201,2,192,23,197,2,23,197,2,27,28, +248,22,77,23,199,2,28,249,22,162,9,2,35,248,22,132,18,23,201,2,27, +28,28,28,249,22,164,9,248,22,104,23,202,2,2,37,10,249,22,164,9,248, +22,104,23,202,2,2,36,23,200,2,11,27,248,22,151,5,23,202,2,27,28, +249,22,164,9,248,22,104,23,204,2,2,36,248,22,133,18,23,202,1,248,22, +106,23,202,1,28,248,22,77,23,195,2,249,2,85,248,22,132,18,23,197,2, +249,22,93,248,22,133,18,23,199,1,23,197,1,249,2,85,23,196,1,23,195, +1,249,2,85,2,37,28,249,22,164,9,248,22,104,23,204,2,2,36,248,22, +133,18,23,202,1,248,22,106,23,202,1,28,248,22,77,193,248,22,133,18,193, +11,11,11,27,28,248,22,64,23,196,2,27,248,80,159,43,48,39,249,22,79, +23,199,2,247,22,130,16,28,23,193,2,192,86,94,23,193,1,90,159,38,11, +89,161,38,36,11,249,80,159,46,54,39,248,22,70,23,201,2,11,27,28,248, +22,87,23,195,2,2,40,249,22,170,7,23,197,2,2,41,251,80,159,49,59, +39,23,204,1,28,248,22,87,23,199,2,23,199,1,86,94,23,199,1,248,22, +80,23,199,2,28,248,22,87,23,199,2,86,94,23,198,1,9,248,22,133,18, +23,199,1,23,197,1,28,248,22,147,7,23,196,2,86,94,23,196,1,27,248, +80,159,43,8,29,39,23,202,2,27,248,80,159,44,48,39,249,22,79,23,200, +2,23,197,2,28,23,193,2,192,86,94,23,193,1,90,159,38,11,89,161,38, +36,11,249,80,159,47,54,39,23,201,2,11,250,22,1,22,170,15,23,199,1, +249,22,93,249,22,2,32,0,88,163,8,36,37,44,11,9,222,33,90,23,200, +1,248,22,89,248,2,91,23,201,1,28,248,22,152,15,23,196,2,86,94,23, +196,1,248,80,159,42,8,30,39,248,22,179,15,28,248,22,176,15,23,198,2, +23,197,2,249,22,177,15,23,199,2,248,80,159,46,8,29,39,23,205,2,28, +249,22,162,9,248,22,80,23,198,2,2,33,27,248,80,159,43,48,39,249,22, +79,23,199,2,247,22,130,16,28,23,193,2,192,86,94,23,193,1,90,159,39, +11,89,161,38,36,11,249,80,159,47,54,39,248,22,104,23,202,2,11,89,161, +37,38,11,28,248,22,87,248,22,106,23,201,2,28,248,22,87,23,194,2,249, +22,145,16,2,93,23,196,2,11,10,27,28,23,196,2,248,2,91,23,196,2, +28,248,22,87,23,195,2,2,40,28,249,22,145,16,2,93,23,197,2,248,2, +91,23,196,2,249,22,170,7,23,197,2,2,41,27,28,23,197,1,86,94,23, +196,1,249,22,93,28,248,22,87,248,22,106,23,205,2,21,93,6,5,5,109, +122,108,105,98,249,22,1,22,93,249,22,2,80,159,53,8,31,39,248,22,106, +23,208,2,23,197,1,28,248,22,87,23,196,2,86,94,23,195,1,248,22,89, +23,197,1,86,94,23,196,1,23,195,1,251,80,159,51,59,39,23,206,1,248, +22,80,23,198,2,248,22,133,18,23,198,1,23,198,1,28,249,22,162,9,248, +22,132,18,23,198,2,2,38,248,80,159,42,8,30,39,248,22,179,15,249,22, +177,15,248,22,181,15,248,22,104,23,201,2,248,80,159,46,8,29,39,23,205, +2,12,86,94,28,28,248,22,152,15,23,194,2,10,248,22,177,8,23,194,2, +12,28,23,201,2,250,22,133,10,67,114,101,113,117,105,114,101,249,22,131,8, +6,17,17,98,97,100,32,109,111,100,117,108,101,32,112,97,116,104,126,97,28, +23,198,2,248,22,80,23,199,2,6,0,0,23,204,2,250,22,135,10,2,22, +2,34,23,198,2,27,28,248,22,177,8,23,195,2,249,22,182,8,23,196,2, +36,249,22,179,15,248,22,180,15,23,197,2,11,27,28,248,22,177,8,23,196, +2,249,22,182,8,23,197,2,37,248,80,159,44,8,24,39,23,195,2,90,159, +39,11,89,161,39,36,11,28,248,22,177,8,23,199,2,250,22,7,2,42,249, +22,182,8,23,203,2,38,2,42,248,22,173,15,23,198,2,86,95,23,195,1, +23,193,1,27,28,248,22,177,8,23,200,2,249,22,182,8,23,201,2,39,249, +80,159,49,58,39,23,197,2,5,0,27,28,248,22,177,8,23,201,2,249,22, +182,8,23,202,2,40,248,22,150,5,23,200,2,27,250,22,160,2,80,159,52, +41,38,248,22,166,16,247,22,188,13,11,27,28,23,194,2,23,194,1,86,94, +23,194,1,27,249,22,79,247,22,140,2,247,22,140,2,86,94,250,22,158,2, +80,159,54,41,38,248,22,166,16,247,22,188,13,195,192,27,28,23,204,2,248, +22,150,5,249,22,79,248,22,151,5,23,200,2,23,207,2,23,196,2,86,95, +28,23,212,1,27,250,22,160,2,248,22,80,23,199,2,196,11,28,23,193,1, +12,27,27,28,248,22,17,80,159,55,51,38,80,159,54,51,38,247,22,19,251, +22,33,11,80,159,58,50,38,9,23,197,1,27,248,22,166,16,247,22,188,13, +86,94,249,22,3,20,20,94,88,163,8,36,37,54,11,9,226,14,13,2,3, +33,96,23,195,1,23,196,2,248,28,248,22,17,80,159,56,51,38,32,0,88, +163,36,37,42,11,9,222,33,97,80,159,55,8,32,39,20,20,97,88,163,36, +36,8,24,8,240,12,64,0,0,9,232,19,22,15,16,13,12,8,7,5,2, +33,99,23,195,1,23,198,1,23,208,1,23,215,1,12,28,28,248,22,177,8, +23,204,1,11,28,248,22,147,7,23,206,2,10,28,248,22,64,23,206,2,10, +28,248,22,77,23,206,2,249,22,162,9,248,22,132,18,23,208,2,2,33,11, +249,80,159,53,49,39,28,248,22,147,7,23,208,2,249,22,79,23,209,1,248, +80,159,56,8,29,39,23,215,1,86,94,23,212,1,249,22,79,23,209,1,247, +22,130,16,252,22,179,8,23,209,1,23,208,1,23,206,1,23,204,1,23,203, +1,12,192,86,96,20,18,159,11,80,158,36,55,248,80,159,37,8,27,37,249, +22,33,11,80,159,39,57,37,248,22,188,4,80,159,37,56,38,248,22,174,5, +80,159,37,37,39,248,22,185,14,80,159,37,45,39,20,18,159,11,80,158,36, +55,248,80,159,37,8,27,37,249,22,33,11,80,159,39,57,37,20,18,159,11, +80,158,36,55,248,80,159,37,8,27,37,249,22,33,11,80,159,39,57,37,159, +36,20,114,159,36,16,1,11,16,0,20,26,145,9,2,1,2,1,29,11,11, +11,11,9,9,11,11,11,10,38,80,158,36,36,20,114,159,41,16,28,2,2, +2,3,30,2,6,2,7,11,6,30,2,6,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,11,3,30,2,8, +72,112,97,116,104,45,115,116,114,105,110,103,63,38,196,11,2,9,30,2,8, +71,114,101,114,111,111,116,45,112,97,116,104,40,196,12,30,2,8,75,112,97, +116,104,45,97,100,100,45,115,117,102,102,105,120,40,196,8,2,10,2,11,2, +12,2,13,2,14,2,15,2,16,2,17,2,18,2,19,2,20,2,21,2,22, +30,2,23,2,7,11,6,30,2,8,79,112,97,116,104,45,114,101,112,108,97, +99,101,45,115,117,102,102,105,120,40,196,10,30,2,8,73,102,105,110,100,45, +99,111,108,45,102,105,108,101,44,196,3,30,2,8,76,110,111,114,109,97,108, +45,99,97,115,101,45,112,97,116,104,38,196,7,2,24,2,25,30,2,23,74, +114,101,112,97,114,97,109,101,116,101,114,105,122,101,11,7,16,0,37,39,36, +16,0,36,16,15,2,16,2,17,2,9,2,13,2,18,2,19,2,12,2,3, +2,11,2,2,2,14,2,15,2,10,2,20,2,22,51,11,11,11,16,3,2, +24,2,21,2,25,16,3,11,11,11,16,3,2,24,2,21,2,25,39,39,37, +12,11,11,16,0,16,0,16,0,36,36,11,12,11,11,16,0,16,0,16,0, +36,36,16,23,20,15,16,2,248,22,174,8,69,115,111,45,115,117,102,102,105, +120,80,159,36,36,37,20,15,16,2,88,163,36,38,8,43,8,189,3,2,3, +223,0,33,55,80,159,36,37,37,20,15,16,2,32,0,88,163,8,36,41,52, +11,2,10,222,33,56,80,159,36,44,37,20,15,16,2,20,27,158,32,0,88, +163,8,36,37,42,11,2,11,222,192,32,0,88,163,8,36,37,42,11,2,11, +222,192,80,159,36,45,37,20,15,16,2,247,22,143,2,80,159,36,41,37,20, +15,16,2,8,128,8,80,159,36,46,37,20,15,16,2,249,22,178,8,8,128, +8,11,80,159,36,47,37,20,15,16,2,88,163,8,36,37,50,8,128,32,2, +14,223,0,33,57,80,159,36,48,37,20,15,16,2,88,163,8,36,38,55,8, +128,32,2,15,223,0,33,58,80,159,36,49,37,20,15,16,2,247,22,75,80, +159,36,50,37,20,15,16,2,248,22,18,74,109,111,100,117,108,101,45,108,111, +97,100,105,110,103,80,159,36,51,37,20,15,16,2,11,80,158,36,52,20,15, +16,2,11,80,158,36,53,20,15,16,2,32,0,88,163,36,38,57,11,2,20, +222,33,77,80,159,36,54,37,20,15,16,2,11,80,158,36,55,20,15,16,2, +88,164,8,34,37,45,8,240,0,0,40,0,1,21,112,114,101,112,45,112,108, +97,110,101,116,45,114,101,115,111,108,118,101,114,33,37,224,1,0,33,78,80, +159,36,8,28,39,20,15,16,2,88,163,36,37,50,8,240,0,0,3,0,67, +103,101,116,45,100,105,114,223,0,33,79,80,159,36,8,29,39,20,15,16,2, +88,163,36,37,49,8,240,0,0,64,0,72,112,97,116,104,45,115,115,45,62, +114,107,116,223,0,33,80,80,159,36,8,30,39,20,15,16,2,88,163,8,36, +37,45,8,240,0,0,4,0,9,223,0,33,81,80,159,36,8,31,39,20,15, +16,2,88,163,36,37,45,8,240,0,128,0,0,9,223,0,33,82,80,159,36, +8,32,39,20,15,16,2,27,11,20,19,158,36,90,159,37,10,89,161,37,36, +10,20,25,96,2,22,88,163,8,36,38,54,8,32,9,224,2,1,33,83,88, +163,36,39,49,11,9,223,0,33,84,88,163,36,40,8,32,16,4,8,240,44, +240,0,0,8,240,204,241,0,0,37,36,9,224,2,1,33,100,207,80,159,36, +56,37,20,15,16,2,88,163,36,36,45,16,2,8,130,8,8,184,32,2,24, +223,0,33,101,80,159,36,8,25,37,20,15,16,2,20,27,158,88,163,8,36, +36,45,16,2,36,8,168,32,2,25,223,0,33,102,88,163,8,36,36,45,16, +2,36,8,168,32,2,25,223,0,33,103,80,159,36,8,26,37,96,29,94,2, +4,68,35,37,107,101,114,110,101,108,11,29,94,2,4,69,35,37,109,105,110, +45,115,116,120,11,2,8,2,23,9,9,9,36,0}; + EVAL_ONE_SIZED_STR((char *)expr, 9925); } { - SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,52,84,0,0,0,0,0,0,0,0,0,0, + SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,7,53,46,51,46,52,46,54,84,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,11,0,0,0,1,0,0,10,0,16,0, 29,0,44,0,58,0,78,0,90,0,104,0,118,0,170,0,0,0,99,1,0, 0,69,35,37,98,117,105,108,116,105,110,65,113,117,111,116,101,29,94,2,2, diff --git a/src/racket/src/resolve.c b/src/racket/src/resolve.c index 58d38e3a05..0ac13be2d2 100644 --- a/src/racket/src/resolve.c +++ b/src/racket/src/resolve.c @@ -201,6 +201,7 @@ static Scheme_Object *resolve_application(Scheme_Object *o, Resolve_Info *orig_i n += m; app = app2; already_resolved_arg_count = m + 1 + rdelta; + SCHEME_APPN_FLAGS(app) |= APPN_FLAG_SFS_TAIL; } } @@ -285,6 +286,7 @@ static Scheme_Object *resolve_application2(Scheme_Object *o, Resolve_Info *orig_ } app2->args[0] = rator; app2->args[m+1] = app->rand; + SCHEME_APPN_FLAGS(app2) |= APPN_FLAG_SFS_TAIL; return resolve_application((Scheme_Object *)app2, orig_info, m + 1 + rdelta); } else { Scheme_App3_Rec *app2; @@ -299,6 +301,7 @@ static Scheme_Object *resolve_application2(Scheme_Object *o, Resolve_Info *orig_ loc = SCHEME_VEC_ELS(loc)[0]; app2->rand1 = loc; app2->rand2 = app->rand; + SCHEME_APPN_FLAGS(app2) |= APPN_FLAG_SFS_TAIL; return resolve_application3((Scheme_Object *)app2, orig_info, 2 + rdelta); } } @@ -404,6 +407,7 @@ static Scheme_Object *resolve_application3(Scheme_Object *o, Resolve_Info *orig_ app2->args[0] = rator; app2->args[m+1] = app->rand1; app2->args[m+2] = app->rand2; + SCHEME_APPN_FLAGS(app2) |= APPN_FLAG_SFS_TAIL; return resolve_application((Scheme_Object *)app2, orig_info, m + 1 + rdelta); } else { app->rator = rator; diff --git a/src/racket/src/schvers.h b/src/racket/src/schvers.h index 796567ae3a..7b07b4d3dd 100644 --- a/src/racket/src/schvers.h +++ b/src/racket/src/schvers.h @@ -13,12 +13,12 @@ consistently.) */ -#define MZSCHEME_VERSION "5.3.4.5" +#define MZSCHEME_VERSION "5.3.4.6" #define MZSCHEME_VERSION_X 5 #define MZSCHEME_VERSION_Y 3 #define MZSCHEME_VERSION_Z 4 -#define MZSCHEME_VERSION_W 5 +#define MZSCHEME_VERSION_W 6 #define MZSCHEME_VERSION_MAJOR ((MZSCHEME_VERSION_X * 100) + MZSCHEME_VERSION_Y) #define MZSCHEME_VERSION_MINOR ((MZSCHEME_VERSION_Z * 1000) + MZSCHEME_VERSION_W) diff --git a/src/racket/src/sfs.c b/src/racket/src/sfs.c index 2ae594c3a6..154c02f104 100644 --- a/src/racket/src/sfs.c +++ b/src/racket/src/sfs.c @@ -35,6 +35,8 @@ static void register_traversers(void); #endif +#define FAR_VALUE_FOR_MAX_USED 0x3FFFFFFe + void scheme_init_sfs() { #ifdef MZ_PRECISE_GC @@ -172,6 +174,11 @@ void scheme_sfs_used(SFS_Info *info, int pos) scheme_signal_error("internal error: misuse of toplevel pointer"); SFS_LOG(printf("touch %d %d\n", pos, info->ip)); + + if (info->max_used[pos] >= FAR_VALUE_FOR_MAX_USED) { + info->max_used[pos] = (FAR_VALUE_FOR_MAX_USED + 1); + return; + } if ((info->min_touch == -1) || (pos < info->min_touch)) @@ -230,17 +237,16 @@ static void sfs_note_app(SFS_Info *info, Scheme_Object *rator, int flags) } else { int tail_ok = (flags & APPN_FLAG_SFS_TAIL); if (!MAX_SFS_CLEARING && (info->selfpos >= 0)) { - if (SAME_TYPE(SCHEME_TYPE(rator), scheme_local_type)) { - if ((SCHEME_LOCAL_POS(rator) + info->stackpos) == info->selfpos) { - /* No point in clearing out any of the closure before the - tail call. */ - int i; - for (i = info->selflen; i--; ) { - if ((info->selfstart + i) != info->tlpos) - scheme_sfs_used(info, (info->selfstart - info->stackpos) + i); - } - tail_ok = 1; + if (SAME_TYPE(SCHEME_TYPE(rator), scheme_local_type) + && (SCHEME_LOCAL_POS(rator) + info->stackpos) == info->selfpos) { + /* No point in clearing out any of the closure before the + tail call. */ + int i; + for (i = info->selflen; i--; ) { + if ((info->selfstart + i) != info->tlpos) + scheme_sfs_used(info, (info->selfstart - info->stackpos) + i); } + tail_ok = 1; } } if (!tail_ok) @@ -498,7 +504,7 @@ static Scheme_Object *sfs_one_branch(SFS_Info *info, int ip, n = info->max_used[i + t_min_t]; SFS_LOG(printf("%d %s %d %d -> %d/%d\n", info->pass, (delta ? "else" : "then"), ip, i + t_min_t, n, info->max_calls[i+ t_min_t])); - if (n > ip) { + if ((n > ip) && (n < FAR_VALUE_FOR_MAX_USED)) { SCHEME_VEC_ELS(t_vec)[i] = scheme_make_integer(n); info->max_used[i + t_min_t] = ip; } else { @@ -641,6 +647,10 @@ static Scheme_Object *sfs_let_one(Scheme_Object *o, SFS_Info *info) save_mnt = info->max_nontail; if (!info->pass) { + if (SCHEME_LET_ONE_TYPE(lo)) { + /* never clear a typed slot */ + info->max_used[pos] = FAR_VALUE_FOR_MAX_USED; + } vec = scheme_make_vector(3, NULL); scheme_sfs_save(info, vec); } else { @@ -659,7 +669,7 @@ static Scheme_Object *sfs_let_one(Scheme_Object *o, SFS_Info *info) if (!info->pass) info->max_nontail = info->ip; # endif - + if (!info->pass) { int n; info->max_calls[pos] = info->max_nontail; @@ -671,7 +681,8 @@ static Scheme_Object *sfs_let_one(Scheme_Object *o, SFS_Info *info) } else { info->max_nontail = save_mnt; - if (info->max_used[pos] <= ip) { + if ((info->max_used[pos] <= ip) + || (info->max_used[pos] == FAR_VALUE_FOR_MAX_USED)) { /* No one is using it, so don't actually push the value at run time (but keep the check that the result is single-valued). The optimizer normally would have converted away the binding, but @@ -1080,6 +1091,25 @@ static Scheme_Object *sfs_closure(Scheme_Object *expr, SFS_Info *info, int self_ } } + /* Never clear typed arguments or typed closure elements: */ + if (SCHEME_CLOSURE_DATA_FLAGS(data) & CLOS_HAS_TYPED_ARGS) { + int delta, size, ct, j, pos; + mzshort *map; + delta = data->closure_size; + size = data->closure_size + data->num_params; + map = data->closure_map; + for (j = 0; j < size; j++) { + ct = scheme_boxmap_get(map, j, delta); + if (ct > CLOS_TYPE_TYPE_OFFSET) { + if (j < data->num_params) + pos = info->stackpos + delta + j; + else + pos = info->stackpos + (j - data->num_params); + info->max_used[pos] = FAR_VALUE_FOR_MAX_USED; + } + } + } + code = scheme_sfs(data->code, info, data->max_let_depth); /* If any arguments go unused, and if there's a non-tail, diff --git a/src/racket/src/validate.c b/src/racket/src/validate.c index 07d897fc72..efd6cc50a8 100644 --- a/src/racket/src/validate.c +++ b/src/racket/src/validate.c @@ -1457,7 +1457,9 @@ static int validate_expr(Mz_CPort *port, Scheme_Object *expr, } if (SCHEME_GET_LOCAL_FLAGS(expr) == SCHEME_LOCAL_CLEAR_ON_READ) { - if ((stack[p] == VALID_VAL_NOCLEAR) || (stack[p] == VALID_BOX_NOCLEAR)) + if ((stack[p] == VALID_VAL_NOCLEAR) + || (stack[p] == VALID_BOX_NOCLEAR) + || (stack[p] >= VALID_TYPED)) scheme_ill_formed_code(port); if (p >= letlimit) clearing_stack_push(vc, p, stack[p]); @@ -2003,12 +2005,15 @@ static int validate_expr(Mz_CPort *port, Scheme_Object *expr, NULL, 0, 0, vc, 0, 0, procs, 1, NULL); } } else if (need_local_type) { - if (!SCHEME_FLOATP(expr) + if (SCHEME_DBLP(expr) && (need_local_type == SCHEME_LOCAL_TYPE_FLONUM)) + need_local_type = 0; #ifdef MZ_LONG_DOUBLE - && !SCHEME_LONG_DBLP(expr) + if (SCHEME_LONG_DBLP(expr) && (need_local_type == SCHEME_LOCAL_TYPE_EXTFLONUM)) + need_local_type = 0; #endif - ) - no_typed(need_local_type, port); + if (SCHEME_INTP(expr) && (need_local_type == SCHEME_LOCAL_TYPE_FIXNUM)) + need_local_type = 0; + no_typed(need_local_type, port); } break; }