From 208c7d23a6a52769443b799058a53ba9f633dc4c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 21 Jun 2013 13:13:34 -0600 Subject: [PATCH] detect changes to "links.rktd" by content instead of timestamp The 1-second granularity of filesystem timestamps is not good enough to deetct changes to the file --- especially when `raco pkg' installs links and runs `raco setup' (in the same Rcket process), in which case a newly installed link might not be detected. The longer-term repair is probably to add file-changed events to Racket (based on `inotify' and similar interfaces provided by OSes). --- racket/src/racket/src/cstartup.inc | 1265 ++++++++++++++-------------- racket/src/racket/src/schminc.h | 2 +- racket/src/racket/src/startup.inc | 50 +- racket/src/racket/src/startup.rktl | 60 +- 4 files changed, 730 insertions(+), 647 deletions(-) diff --git a/racket/src/racket/src/cstartup.inc b/racket/src/racket/src/cstartup.inc index 6263a7a5dc..c46ac06b8d 100644 --- a/racket/src/racket/src/cstartup.inc +++ b/racket/src/racket/src/cstartup.inc @@ -16,12 +16,12 @@ 120,73,108,101,116,114,101,99,45,118,97,108,117,101,115,66,108,97,109,98,100, 97,1,20,112,97,114,97,109,101,116,101,114,105,122,97,116,105,111,110,45,107, 101,121,61,118,73,100,101,102,105,110,101,45,118,97,108,117,101,115,97,36,11, -8,240,14,89,0,0,95,159,2,17,36,36,159,2,16,36,36,159,2,16,36, +8,240,20,89,0,0,95,159,2,17,36,36,159,2,16,36,36,159,2,16,36, 36,16,20,2,10,2,2,2,7,2,2,2,5,2,2,2,6,2,2,2,3, 2,2,2,8,2,2,2,9,2,2,2,4,2,2,2,11,2,2,2,12,2, -2,97,37,11,8,240,14,89,0,0,93,159,2,16,36,37,16,2,2,13,161, -2,2,37,2,13,2,2,2,13,96,38,11,8,240,14,89,0,0,16,0,96, -11,11,8,240,14,89,0,0,16,0,18,98,64,104,101,114,101,13,16,6,36, +2,97,37,11,8,240,20,89,0,0,93,159,2,16,36,37,16,2,2,13,161, +2,2,37,2,13,2,2,2,13,96,38,11,8,240,20,89,0,0,16,0,96, +11,11,8,240,20,89,0,0,16,0,18,98,64,104,101,114,101,13,16,6,36, 2,14,2,2,11,11,11,8,32,8,31,8,30,8,29,27,248,22,161,4,195, 249,22,154,4,80,158,39,36,251,22,89,2,18,248,22,101,199,12,249,22,79, 2,19,248,22,103,201,27,248,22,161,4,195,249,22,154,4,80,158,39,36,251, @@ -30,14 +30,14 @@ 248,22,81,194,248,22,132,18,193,249,22,154,4,80,158,39,36,251,22,89,2, 18,248,22,132,18,199,249,22,79,2,8,248,22,133,18,201,11,18,100,10,13, 16,6,36,2,14,2,2,11,11,11,8,32,8,31,8,30,8,29,16,4,11, -11,2,20,3,1,8,101,110,118,49,55,51,54,56,16,4,11,11,2,21,3, -1,8,101,110,118,49,55,51,54,57,27,248,22,81,248,22,161,4,196,28,248, +11,2,20,3,1,8,101,110,118,49,55,51,56,50,16,4,11,11,2,21,3, +1,8,101,110,118,49,55,51,56,51,27,248,22,81,248,22,161,4,196,28,248, 22,87,193,20,14,159,37,36,37,28,248,22,87,248,22,81,194,248,22,132,18, 193,249,22,154,4,80,158,39,36,250,22,89,2,22,248,22,89,249,22,89,248, 22,89,2,23,248,22,132,18,201,251,22,89,2,18,2,23,2,23,249,22,79, 2,5,248,22,133,18,204,18,100,11,13,16,6,36,2,14,2,2,11,11,11, 8,32,8,31,8,30,8,29,16,4,11,11,2,20,3,1,8,101,110,118,49, -55,51,55,49,16,4,11,11,2,21,3,1,8,101,110,118,49,55,51,55,50, +55,51,56,53,16,4,11,11,2,21,3,1,8,101,110,118,49,55,51,56,54, 248,22,161,4,193,27,248,22,161,4,194,249,22,79,248,22,89,248,22,80,196, 248,22,133,18,195,27,248,22,81,248,22,161,4,23,197,1,249,22,154,4,80, 158,39,36,28,248,22,64,248,22,155,4,248,22,80,23,198,2,27,249,22,2, @@ -68,8 +68,8 @@ 22,159,9,248,22,155,4,248,22,80,200,64,101,108,115,101,10,248,22,132,18, 197,250,22,90,2,22,9,248,22,133,18,200,249,22,79,2,3,248,22,81,202, 99,13,16,6,36,2,14,2,2,11,11,11,8,32,8,31,8,30,8,29,16, -4,11,11,2,20,3,1,8,101,110,118,49,55,51,57,52,16,4,11,11,2, -21,3,1,8,101,110,118,49,55,51,57,53,18,158,94,10,64,118,111,105,100, +4,11,11,2,20,3,1,8,101,110,118,49,55,52,48,56,16,4,11,11,2, +21,3,1,8,101,110,118,49,55,52,48,57,18,158,94,10,64,118,111,105,100, 8,48,27,248,22,81,248,22,161,4,196,249,22,154,4,80,158,39,36,28,248, 22,64,248,22,155,4,248,22,80,197,250,22,89,2,28,248,22,89,248,22,132, 18,199,248,22,101,198,27,248,22,155,4,248,22,132,18,197,250,22,89,2,28, @@ -101,622 +101,643 @@ } { SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,9,53,46,51,46,57,48,48,46,49,84,0,0,0,0,0,0,0,0, -0,0,0,0,0,0,0,0,0,0,0,0,137,0,0,0,1,0,0,8,0, +0,0,0,0,0,0,0,0,0,0,0,0,144,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,94,1,126,1,144,1,163,1,183,1,199,1,217,1,248,1,6,2,23, -2,67,2,75,2,80,2,124,2,131,2,141,2,156,2,165,2,170,2,172,2, -196,2,217,2,227,2,233,2,22,3,25,3,29,3,53,3,92,3,95,3,108, -3,118,3,129,3,142,3,194,3,217,3,225,3,249,3,14,4,227,4,1,5, -138,8,161,8,178,8,126,10,229,10,243,10,147,11,79,13,88,13,97,13,111, -13,121,13,162,14,9,15,82,15,155,15,3,16,32,16,103,16,240,16,55,17, -9,18,17,18,129,18,217,18,219,18,115,19,175,19,182,19,50,20,69,20,222, -20,238,20,164,22,192,22,201,22,19,24,37,24,51,24,72,24,88,24,136,24, -157,24,177,24,195,24,250,24,220,27,115,28,18,29,32,29,183,31,55,34,68, -34,213,35,150,36,152,36,177,36,190,36,113,38,50,39,65,39,74,39,81,39, -206,39,75,40,182,41,17,42,110,42,205,42,155,43,187,43,61,44,0,0,54, -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, -100,45,101,120,101,99,117,116,97,98,108,101,45,112,97,116,104,1,27,112,97, -116,104,45,108,105,115,116,45,115,116,114,105,110,103,45,62,112,97,116,104,45, -108,105,115,116,74,45,99,104,101,99,107,45,114,101,108,112,97,116,104,77,45, -99,104,101,99,107,45,99,111,108,108,101,99,116,105,111,110,71,45,99,104,101, -99,107,45,102,97,105,108,75,99,111,108,108,101,99,116,105,111,110,45,112,97, -116,104,73,102,105,110,100,45,99,111,108,45,102,105,108,101,1,20,99,111,108, -108,101,99,116,105,111,110,45,102,105,108,101,45,112,97,116,104,75,117,115,101, -114,45,108,105,110,107,115,45,112,97,116,104,76,117,115,101,114,45,108,105,110, -107,115,45,99,97,99,104,101,1,20,117,115,101,114,45,108,105,110,107,115,45, -116,105,109,101,115,116,97,109,112,70,108,105,110,107,115,45,112,97,116,104,65, -113,117,111,116,101,68,35,37,112,97,114,97,109,122,29,94,2,18,2,19,11, -29,94,2,18,2,19,11,71,108,105,110,107,115,45,99,97,99,104,101,75,108, -105,110,107,115,45,116,105,109,101,115,116,97,109,112,1,22,103,101,116,45,108, -105,110,107,101,100,45,99,111,108,108,101,99,116,105,111,110,115,1,30,110,111, -114,109,97,108,105,122,101,45,99,111,108,108,101,99,116,105,111,110,45,114,101, -102,101,114,101,110,99,101,77,99,104,101,99,107,45,115,117,102,102,105,120,45, -99,97,108,108,78,112,97,116,104,45,97,100,106,117,115,116,45,115,117,102,102, -105,120,79,112,97,116,104,45,114,101,112,108,97,99,101,45,115,117,102,102,105, -120,75,112,97,116,104,45,97,100,100,45,115,117,102,102,105,120,77,108,111,97, -100,47,117,115,101,45,99,111,109,112,105,108,101,100,1,29,102,105,110,100,45, -108,105,98,114,97,114,121,45,99,111,108,108,101,99,116,105,111,110,45,112,97, -116,104,115,73,101,109,98,101,100,100,101,100,45,108,111,97,100,76,110,111,114, -109,97,108,45,112,97,116,104,45,99,97,115,101,6,41,41,40,111,114,47,99, -32,112,97,116,104,45,102,111,114,45,115,111,109,101,45,115,121,115,116,101,109, -63,32,112,97,116,104,45,115,116,114,105,110,103,63,41,67,119,105,110,100,111, -119,115,6,2,2,92,49,6,41,41,40,111,114,47,99,32,112,97,116,104,45, -115,116,114,105,110,103,63,32,112,97,116,104,45,102,111,114,45,115,111,109,101, -45,115,121,115,116,101,109,63,41,6,4,4,112,97,116,104,5,8,92,92,63, -92,82,69,76,92,6,12,12,112,97,116,104,45,115,116,114,105,110,103,63,68, -114,101,108,97,116,105,118,101,64,108,111,111,112,5,0,6,21,21,105,110,118, -97,108,105,100,32,114,101,108,97,116,105,118,101,32,112,97,116,104,6,18,18, -40,97,110,121,47,99,32,46,32,45,62,32,46,32,97,110,121,41,69,101,120, -101,99,45,102,105,108,101,65,101,114,114,111,114,6,42,42,101,114,114,111,114, -32,114,101,97,100,105,110,103,32,99,111,108,108,101,99,116,105,111,110,32,108, -105,110,107,115,32,102,105,108,101,32,126,115,58,32,126,97,6,0,0,6,1, -1,47,6,21,21,40,111,114,47,99,32,115,116,114,105,110,103,63,32,98,121, -116,101,115,63,41,6,36,36,99,97,110,110,111,116,32,97,100,100,32,97,32, -115,117,102,102,105,120,32,116,111,32,97,32,114,111,111,116,32,112,97,116,104, -58,32,5,1,95,5,11,80,76,84,67,79,76,76,69,67,84,83,69,97,100, -100,111,110,45,100,105,114,6,8,8,99,111,108,108,101,99,116,115,72,99,111, -108,108,101,99,116,115,45,100,105,114,27,248,22,150,15,23,195,2,28,23,193, -2,192,86,94,23,193,1,28,248,22,144,7,23,195,2,27,248,22,173,15,23, -196,2,28,23,193,2,192,86,94,23,193,1,248,22,174,15,23,196,1,11,0, -21,35,114,120,34,94,91,92,92,93,91,92,92,93,91,63,93,91,92,92,93, -34,0,6,35,114,120,34,47,34,0,22,35,114,120,34,91,47,92,92,93,91, -46,32,93,43,91,47,92,92,93,42,36,34,0,19,35,114,120,34,91,32,46, -93,43,40,91,47,92,92,93,42,41,36,34,86,94,28,28,248,22,151,15,23, -195,2,10,28,248,22,150,15,23,195,2,10,28,248,22,144,7,23,195,2,28, -248,22,173,15,23,195,2,10,248,22,174,15,23,195,2,11,12,250,22,168,11, -2,33,2,34,23,197,2,28,28,248,22,151,15,23,195,2,249,22,159,9,248, -22,152,15,23,197,2,2,35,249,22,159,9,247,22,171,8,2,35,27,28,248, -22,144,7,23,196,2,23,195,2,248,22,156,8,248,22,155,15,23,197,2,28, -249,22,145,16,2,59,23,195,2,86,94,23,193,1,28,248,22,144,7,23,196, -2,248,22,158,15,23,196,1,194,27,248,22,183,7,23,195,1,249,22,159,15, -248,22,159,8,250,22,153,16,2,60,28,249,22,145,16,2,61,23,201,2,23, -199,1,250,22,153,16,2,62,23,202,1,2,36,80,159,44,37,38,2,35,28, -248,22,144,7,23,195,2,248,22,158,15,23,195,1,193,0,28,35,114,120,34, -94,92,92,92,92,92,92,92,92,91,63,93,92,92,92,92,85,78,67,92,92, -92,92,34,86,95,28,28,28,248,22,150,15,23,195,2,10,28,248,22,144,7, -23,195,2,28,248,22,173,15,23,195,2,10,248,22,174,15,23,195,2,11,10, -248,22,151,15,23,195,2,12,252,22,168,11,2,5,2,37,36,23,199,2,23, -200,2,28,28,28,248,22,150,15,23,196,2,10,28,248,22,144,7,23,196,2, -28,248,22,173,15,23,196,2,10,248,22,174,15,23,196,2,11,10,248,22,151, -15,23,196,2,12,252,22,168,11,2,5,2,37,37,23,199,2,23,200,2,27, -28,248,22,151,15,23,196,2,248,22,152,15,23,196,2,247,22,153,15,86,95, -28,28,248,22,175,15,23,196,2,10,249,22,159,9,247,22,153,15,23,195,2, -12,253,22,170,11,2,5,6,54,54,112,97,116,104,32,105,115,32,110,111,116, -32,99,111,109,112,108,101,116,101,32,97,110,100,32,110,111,116,32,116,104,101, -32,112,108,97,116,102,111,114,109,39,115,32,99,111,110,118,101,110,116,105,111, -110,2,38,23,201,2,6,24,24,112,108,97,116,102,111,114,109,32,99,111,110, -118,101,110,116,105,111,110,32,116,121,112,101,247,22,153,15,28,249,22,159,9, -28,248,22,151,15,23,199,2,248,22,152,15,23,199,2,247,22,153,15,23,195, -2,12,253,22,170,11,2,5,6,37,37,103,105,118,101,110,32,112,97,116,104, -115,32,117,115,101,32,100,105,102,102,101,114,101,110,116,32,99,111,110,118,101, -110,116,105,111,110,115,2,38,23,201,2,6,9,9,114,111,111,116,32,112,97, -116,104,23,202,2,27,27,248,22,179,15,28,248,22,175,15,23,199,2,23,198, -1,248,22,176,15,23,199,1,86,94,28,28,248,22,151,15,23,194,2,10,28, -248,22,150,15,23,194,2,10,28,248,22,144,7,23,194,2,28,248,22,173,15, -23,194,2,10,248,22,174,15,23,194,2,11,12,250,22,168,11,2,33,2,34, -23,196,2,28,28,248,22,151,15,23,194,2,249,22,159,9,248,22,152,15,23, -196,2,2,35,249,22,159,9,247,22,171,8,2,35,27,28,248,22,144,7,23, -195,2,23,194,2,248,22,156,8,248,22,155,15,23,196,2,28,249,22,145,16, -2,59,23,195,2,86,94,23,193,1,28,248,22,144,7,23,195,2,248,22,158, -15,23,195,1,193,27,248,22,183,7,23,195,1,249,22,159,15,248,22,159,8, -250,22,153,16,2,60,28,249,22,145,16,2,61,23,201,2,23,199,1,250,22, -153,16,2,62,23,202,1,2,36,80,159,47,37,38,2,35,28,248,22,144,7, -23,194,2,248,22,158,15,23,194,1,192,27,248,22,155,15,23,195,2,28,249, -22,159,9,23,197,2,64,117,110,105,120,28,249,22,141,8,23,195,1,5,1, -47,86,95,23,195,1,23,194,1,28,248,22,151,15,23,199,2,197,248,22,158, -15,23,199,1,249,22,168,15,23,200,1,249,22,159,15,249,22,144,8,248,22, -155,15,23,201,1,37,23,199,1,28,249,22,159,9,23,197,2,2,35,249,22, -168,15,23,200,1,249,22,159,15,28,249,22,145,16,0,27,35,114,120,34,94, -92,92,92,92,92,92,92,92,91,63,93,92,92,92,92,91,97,45,122,93,58, -34,23,199,2,251,22,145,8,2,39,250,22,144,8,23,204,2,40,41,5,1, -92,249,22,144,8,23,203,1,42,28,249,22,145,16,2,64,23,199,2,249,22, -145,8,2,39,249,22,144,8,23,201,1,40,28,249,22,145,16,2,64,23,199, -2,249,22,145,8,2,39,249,22,144,8,23,201,1,40,28,249,22,145,16,0, -14,35,114,120,34,94,92,92,92,92,92,92,92,92,34,23,199,2,249,22,145, -8,5,4,85,78,67,92,249,22,144,8,23,201,1,38,28,249,22,145,16,0, -12,35,114,120,34,94,91,97,45,122,93,58,34,23,199,2,249,22,145,8,250, -22,144,8,23,202,2,36,37,249,22,144,8,23,201,1,38,86,94,23,197,1, -12,23,199,1,12,32,66,88,163,8,36,39,53,11,70,102,111,117,110,100,45, -101,120,101,99,222,33,69,32,67,88,163,8,36,40,58,11,64,110,101,120,116, -222,33,68,27,248,22,177,15,23,196,2,28,249,22,161,9,23,195,2,23,197, -1,11,28,248,22,173,15,23,194,2,27,249,22,168,15,23,197,1,23,196,1, -28,23,197,2,90,159,39,11,89,161,39,36,11,248,22,171,15,23,197,2,86, -95,23,195,1,23,194,1,27,28,23,202,2,27,248,22,177,15,23,199,2,28, -249,22,161,9,23,195,2,23,200,2,11,28,248,22,173,15,23,194,2,250,2, -66,23,205,2,23,206,2,249,22,168,15,23,200,2,23,198,1,250,2,66,23, -205,2,23,206,2,23,196,1,11,28,23,193,2,192,86,94,23,193,1,27,28, -248,22,150,15,23,196,2,27,249,22,168,15,23,198,2,23,205,2,28,28,248, -22,163,15,193,10,248,22,162,15,193,192,11,11,28,23,193,2,192,86,94,23, -193,1,28,23,203,2,11,27,248,22,177,15,23,200,2,28,249,22,161,9,23, -195,2,23,201,1,11,28,248,22,173,15,23,194,2,250,2,66,23,206,1,23, -207,1,249,22,168,15,23,201,1,23,198,1,250,2,66,205,206,195,192,86,94, -23,194,1,28,23,196,2,90,159,39,11,89,161,39,36,11,248,22,171,15,23, -197,2,86,95,23,195,1,23,194,1,27,28,23,201,2,27,248,22,177,15,23, -199,2,28,249,22,161,9,23,195,2,23,200,2,11,28,248,22,173,15,23,194, -2,250,2,66,23,204,2,23,205,2,249,22,168,15,23,200,2,23,198,1,250, -2,66,23,204,2,23,205,2,23,196,1,11,28,23,193,2,192,86,94,23,193, -1,27,28,248,22,150,15,23,196,2,27,249,22,168,15,23,198,2,23,204,2, -28,28,248,22,163,15,193,10,248,22,162,15,193,192,11,11,28,23,193,2,192, -86,94,23,193,1,28,23,202,2,11,27,248,22,177,15,23,200,2,28,249,22, -161,9,23,195,2,23,201,1,11,28,248,22,173,15,23,194,2,250,2,66,23, -205,1,23,206,1,249,22,168,15,23,201,1,23,198,1,250,2,66,204,205,195, -192,28,23,193,2,90,159,39,11,89,161,39,36,11,248,22,171,15,23,199,2, -86,95,23,195,1,23,194,1,27,28,23,198,2,251,2,67,23,198,2,23,203, -2,23,201,2,23,202,2,11,28,23,193,2,192,86,94,23,193,1,27,28,248, -22,150,15,195,27,249,22,168,15,197,200,28,28,248,22,163,15,193,10,248,22, -162,15,193,192,11,11,28,192,192,28,198,11,251,2,67,198,203,201,202,194,32, -70,88,163,8,36,40,58,11,2,42,222,33,71,28,248,22,87,23,197,2,11, -27,248,22,176,15,248,22,80,23,199,2,27,249,22,168,15,23,196,1,23,197, -2,28,248,22,162,15,23,194,2,250,2,66,198,199,195,86,94,23,193,1,27, -248,22,81,23,200,1,28,248,22,87,23,194,2,11,27,248,22,176,15,248,22, -80,23,196,2,27,249,22,168,15,23,196,1,23,200,2,28,248,22,162,15,23, -194,2,250,2,66,201,202,195,86,94,23,193,1,27,248,22,81,23,197,1,28, -248,22,87,23,194,2,11,27,248,22,176,15,248,22,80,195,27,249,22,168,15, -23,196,1,202,28,248,22,162,15,193,250,2,66,204,205,195,251,2,70,204,205, -206,248,22,81,199,86,95,28,28,248,22,150,15,23,195,2,10,28,248,22,144, -7,23,195,2,28,248,22,173,15,23,195,2,10,248,22,174,15,23,195,2,11, -12,250,22,168,11,2,6,2,40,23,197,2,28,28,23,195,2,28,28,248,22, -150,15,23,196,2,10,28,248,22,144,7,23,196,2,28,248,22,173,15,23,196, -2,10,248,22,174,15,23,196,2,11,248,22,173,15,23,196,2,11,10,12,250, -22,168,11,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,173,15,23, -195,2,90,159,39,11,89,161,39,36,11,248,22,171,15,23,198,2,249,22,159, -9,194,2,41,11,27,249,22,166,8,247,22,165,8,5,4,80,65,84,72,27, -28,23,194,2,249,80,158,40,41,249,22,156,8,23,198,1,7,63,9,86,94, -23,194,1,9,27,28,249,22,159,9,247,22,171,8,2,35,249,22,79,248,22, -159,15,5,1,46,23,196,1,23,194,1,28,248,22,87,23,194,2,11,27,248, -22,176,15,248,22,80,23,196,2,27,249,22,168,15,23,196,1,23,201,2,28, -248,22,162,15,23,194,2,250,2,66,202,203,195,86,94,23,193,1,27,248,22, -81,23,197,1,28,248,22,87,23,194,2,11,27,248,22,176,15,248,22,80,23, -196,2,27,249,22,168,15,23,196,1,23,204,2,28,248,22,162,15,23,194,2, -250,2,66,205,206,195,86,94,23,193,1,27,248,22,81,23,197,1,28,248,22, -87,23,194,2,11,27,248,22,176,15,248,22,80,195,27,249,22,168,15,23,196, -1,206,28,248,22,162,15,193,250,2,66,23,16,23,17,195,251,2,70,23,16, -23,17,23,18,248,22,81,199,27,248,22,176,15,23,196,1,28,248,22,162,15, -193,250,2,66,198,199,195,11,250,80,159,39,40,39,196,197,11,250,80,159,39, -40,39,196,11,11,32,75,88,163,8,36,39,57,11,2,42,222,33,77,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,101,23,195,2,27,27,248,22,110,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,101,23,195,2,27,250,2,75,23,203,2,23,204,1,248,22,110,23, -199,1,28,249,22,141,8,23,196,2,2,43,249,22,93,23,202,2,194,249,22, -79,248,22,159,15,28,249,22,159,9,247,22,171,8,2,35,250,22,153,16,2, -76,23,200,1,2,43,23,197,1,194,86,95,23,199,1,23,193,1,28,249,22, -141,8,23,196,2,2,43,249,22,93,23,200,2,9,249,22,79,248,22,159,15, -28,249,22,159,9,247,22,171,8,2,35,250,22,153,16,2,76,23,200,1,2, -43,23,197,1,9,28,249,22,141,8,23,196,2,2,43,249,22,93,197,194,86, -94,23,196,1,249,22,79,248,22,159,15,28,249,22,159,9,247,22,171,8,2, -35,250,22,153,16,2,76,23,200,1,2,43,23,197,1,194,86,94,23,193,1, -28,249,22,141,8,23,198,2,2,43,249,22,93,195,9,86,94,23,194,1,249, -22,79,248,22,159,15,28,249,22,159,9,247,22,171,8,2,35,250,22,153,16, -2,76,23,202,1,2,43,23,199,1,9,86,95,28,28,248,22,133,8,194,10, -248,22,144,7,194,12,250,22,168,11,2,7,6,21,21,40,111,114,47,99,32, -98,121,116,101,115,63,32,115,116,114,105,110,103,63,41,196,28,28,248,22,88, -195,249,22,4,22,150,15,196,11,12,250,22,168,11,2,7,6,14,14,40,108, -105,115,116,111,102,32,112,97,116,104,63,41,197,250,2,75,197,195,28,248,22, -144,7,197,248,22,158,8,197,196,86,94,28,28,248,22,150,15,23,195,2,10, -28,248,22,144,7,23,195,2,28,248,22,173,15,23,195,2,10,248,22,174,15, -23,195,2,11,12,250,22,168,11,23,196,2,2,40,23,197,2,28,248,22,173, -15,23,195,2,12,251,22,170,11,23,197,1,2,44,2,38,23,198,1,86,94, -28,28,248,22,150,15,23,195,2,10,28,248,22,144,7,23,195,2,28,248,22, -173,15,23,195,2,10,248,22,174,15,23,195,2,11,12,250,22,168,11,23,196, -2,2,40,23,197,2,28,248,22,173,15,23,195,2,12,251,22,170,11,23,197, -1,2,44,2,38,23,198,1,86,94,86,94,28,28,248,22,150,15,23,195,2, -10,28,248,22,144,7,23,195,2,28,248,22,173,15,23,195,2,10,248,22,174, -15,23,195,2,11,12,250,22,168,11,23,196,2,2,40,23,197,2,28,248,22, -173,15,23,195,2,86,94,23,194,1,12,251,22,170,11,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, -80,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,168,11,23,196,1,2,45,23,197,1,86,94,28,28,248,22, -150,15,23,194,2,10,28,248,22,144,7,23,194,2,28,248,22,173,15,23,194, -2,10,248,22,174,15,23,194,2,11,12,250,22,168,11,2,11,2,40,23,196, -2,28,248,22,173,15,23,194,2,12,251,22,170,11,2,11,2,44,2,38,23, -197,1,86,95,86,94,86,94,28,28,248,22,150,15,23,196,2,10,28,248,22, -144,7,23,196,2,28,248,22,173,15,23,196,2,10,248,22,174,15,23,196,2, -11,12,250,22,168,11,2,11,2,40,23,198,2,28,248,22,173,15,23,196,2, -12,251,22,170,11,2,11,2,44,2,38,23,199,2,249,22,3,32,0,88,163, -8,36,37,46,11,9,222,33,83,23,198,2,28,28,248,22,0,23,195,2,249, -22,50,23,196,2,37,11,12,250,22,168,11,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,150,15, +0,203,0,219,0,236,0,253,0,8,1,14,1,23,1,30,1,37,1,49,1, +61,1,73,1,97,1,129,1,147,1,166,1,186,1,202,1,220,1,251,1,9, +2,26,2,70,2,78,2,83,2,127,2,134,2,144,2,159,2,168,2,173,2, +175,2,199,2,220,2,230,2,236,2,25,3,28,3,32,3,56,3,95,3,98, +3,111,3,121,3,132,3,145,3,197,3,220,3,228,3,252,3,17,4,230,4, +4,5,141,8,164,8,181,8,129,10,232,10,246,10,150,11,82,13,91,13,100, +13,114,13,124,13,165,14,12,15,85,15,158,15,6,16,35,16,106,16,243,16, +58,17,12,18,124,18,131,18,174,18,188,18,42,19,200,19,207,19,13,20,39, +20,127,20,23,21,83,21,90,21,214,21,233,21,130,22,146,22,60,24,88,24, +97,24,172,25,190,25,204,25,225,25,241,25,33,26,54,26,74,26,92,26,147, +26,117,29,13,30,172,30,186,30,81,33,209,35,222,35,111,37,48,38,50,38, +75,38,90,38,14,40,208,40,223,40,232,40,239,40,108,41,233,41,84,43,175, +43,12,44,107,44,57,45,89,45,219,45,0,0,240,50,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,100,45,101,120,101,99,117, +116,97,98,108,101,45,112,97,116,104,1,27,112,97,116,104,45,108,105,115,116, +45,115,116,114,105,110,103,45,62,112,97,116,104,45,108,105,115,116,74,45,99, +104,101,99,107,45,114,101,108,112,97,116,104,77,45,99,104,101,99,107,45,99, +111,108,108,101,99,116,105,111,110,71,45,99,104,101,99,107,45,102,97,105,108, +75,99,111,108,108,101,99,116,105,111,110,45,112,97,116,104,73,102,105,110,100, +45,99,111,108,45,102,105,108,101,1,20,99,111,108,108,101,99,116,105,111,110, +45,102,105,108,101,45,112,97,116,104,75,117,115,101,114,45,108,105,110,107,115, +45,112,97,116,104,76,117,115,101,114,45,108,105,110,107,115,45,99,97,99,104, +101,76,117,115,101,114,45,108,105,110,107,115,45,115,116,97,109,112,70,108,105, +110,107,115,45,112,97,116,104,65,113,117,111,116,101,68,35,37,112,97,114,97, +109,122,29,94,2,18,2,19,11,29,94,2,18,2,19,11,71,108,105,110,107, +115,45,99,97,99,104,101,71,108,105,110,107,115,45,115,116,97,109,112,71,102, +105,108,101,45,62,115,116,97,109,112,1,22,103,101,116,45,108,105,110,107,101, +100,45,99,111,108,108,101,99,116,105,111,110,115,1,30,110,111,114,109,97,108, +105,122,101,45,99,111,108,108,101,99,116,105,111,110,45,114,101,102,101,114,101, +110,99,101,77,99,104,101,99,107,45,115,117,102,102,105,120,45,99,97,108,108, +78,112,97,116,104,45,97,100,106,117,115,116,45,115,117,102,102,105,120,79,112, +97,116,104,45,114,101,112,108,97,99,101,45,115,117,102,102,105,120,75,112,97, +116,104,45,97,100,100,45,115,117,102,102,105,120,77,108,111,97,100,47,117,115, +101,45,99,111,109,112,105,108,101,100,1,29,102,105,110,100,45,108,105,98,114, +97,114,121,45,99,111,108,108,101,99,116,105,111,110,45,112,97,116,104,115,73, +101,109,98,101,100,100,101,100,45,108,111,97,100,76,110,111,114,109,97,108,45, +112,97,116,104,45,99,97,115,101,6,41,41,40,111,114,47,99,32,112,97,116, +104,45,102,111,114,45,115,111,109,101,45,115,121,115,116,101,109,63,32,112,97, +116,104,45,115,116,114,105,110,103,63,41,67,119,105,110,100,111,119,115,6,2, +2,92,49,6,41,41,40,111,114,47,99,32,112,97,116,104,45,115,116,114,105, +110,103,63,32,112,97,116,104,45,102,111,114,45,115,111,109,101,45,115,121,115, +116,101,109,63,41,6,4,4,112,97,116,104,5,8,92,92,63,92,82,69,76, +92,6,12,12,112,97,116,104,45,115,116,114,105,110,103,63,68,114,101,108,97, +116,105,118,101,64,108,111,111,112,5,0,6,21,21,105,110,118,97,108,105,100, +32,114,101,108,97,116,105,118,101,32,112,97,116,104,6,18,18,40,97,110,121, +47,99,32,46,32,45,62,32,46,32,97,110,121,41,69,101,120,101,99,45,102, +105,108,101,65,101,114,114,111,114,6,42,42,101,114,114,111,114,32,114,101,97, +100,105,110,103,32,99,111,108,108,101,99,116,105,111,110,32,108,105,110,107,115, +32,102,105,108,101,32,126,115,58,32,126,97,6,0,0,6,1,1,47,6,21, +21,40,111,114,47,99,32,115,116,114,105,110,103,63,32,98,121,116,101,115,63, +41,6,36,36,99,97,110,110,111,116,32,97,100,100,32,97,32,115,117,102,102, +105,120,32,116,111,32,97,32,114,111,111,116,32,112,97,116,104,58,32,5,1, +95,5,11,80,76,84,67,79,76,76,69,67,84,83,69,97,100,100,111,110,45, +100,105,114,6,8,8,99,111,108,108,101,99,116,115,72,99,111,108,108,101,99, +116,115,45,100,105,114,27,248,22,150,15,23,195,2,28,23,193,2,192,86,94, +23,193,1,28,248,22,144,7,23,195,2,27,248,22,173,15,23,196,2,28,23, +193,2,192,86,94,23,193,1,248,22,174,15,23,196,1,11,0,21,35,114,120, +34,94,91,92,92,93,91,92,92,93,91,63,93,91,92,92,93,34,0,6,35, +114,120,34,47,34,0,22,35,114,120,34,91,47,92,92,93,91,46,32,93,43, +91,47,92,92,93,42,36,34,0,19,35,114,120,34,91,32,46,93,43,40,91, +47,92,92,93,42,41,36,34,86,94,28,28,248,22,151,15,23,195,2,10,28, +248,22,150,15,23,195,2,10,28,248,22,144,7,23,195,2,28,248,22,173,15, +23,195,2,10,248,22,174,15,23,195,2,11,12,250,22,168,11,2,34,2,35, +23,197,2,28,28,248,22,151,15,23,195,2,249,22,159,9,248,22,152,15,23, +197,2,2,36,249,22,159,9,247,22,171,8,2,36,27,28,248,22,144,7,23, +196,2,23,195,2,248,22,156,8,248,22,155,15,23,197,2,28,249,22,145,16, +2,60,23,195,2,86,94,23,193,1,28,248,22,144,7,23,196,2,248,22,158, +15,23,196,1,194,27,248,22,183,7,23,195,1,249,22,159,15,248,22,159,8, +250,22,153,16,2,61,28,249,22,145,16,2,62,23,201,2,23,199,1,250,22, +153,16,2,63,23,202,1,2,37,80,159,44,37,38,2,36,28,248,22,144,7, +23,195,2,248,22,158,15,23,195,1,193,0,28,35,114,120,34,94,92,92,92, +92,92,92,92,92,91,63,93,92,92,92,92,85,78,67,92,92,92,92,34,86, +95,28,28,28,248,22,150,15,23,195,2,10,28,248,22,144,7,23,195,2,28, +248,22,173,15,23,195,2,10,248,22,174,15,23,195,2,11,10,248,22,151,15, +23,195,2,12,252,22,168,11,2,5,2,38,36,23,199,2,23,200,2,28,28, +28,248,22,150,15,23,196,2,10,28,248,22,144,7,23,196,2,28,248,22,173, +15,23,196,2,10,248,22,174,15,23,196,2,11,10,248,22,151,15,23,196,2, +12,252,22,168,11,2,5,2,38,37,23,199,2,23,200,2,27,28,248,22,151, +15,23,196,2,248,22,152,15,23,196,2,247,22,153,15,86,95,28,28,248,22, +175,15,23,196,2,10,249,22,159,9,247,22,153,15,23,195,2,12,253,22,170, +11,2,5,6,54,54,112,97,116,104,32,105,115,32,110,111,116,32,99,111,109, +112,108,101,116,101,32,97,110,100,32,110,111,116,32,116,104,101,32,112,108,97, +116,102,111,114,109,39,115,32,99,111,110,118,101,110,116,105,111,110,2,39,23, +201,2,6,24,24,112,108,97,116,102,111,114,109,32,99,111,110,118,101,110,116, +105,111,110,32,116,121,112,101,247,22,153,15,28,249,22,159,9,28,248,22,151, +15,23,199,2,248,22,152,15,23,199,2,247,22,153,15,23,195,2,12,253,22, +170,11,2,5,6,37,37,103,105,118,101,110,32,112,97,116,104,115,32,117,115, +101,32,100,105,102,102,101,114,101,110,116,32,99,111,110,118,101,110,116,105,111, +110,115,2,39,23,201,2,6,9,9,114,111,111,116,32,112,97,116,104,23,202, +2,27,27,248,22,179,15,28,248,22,175,15,23,199,2,23,198,1,248,22,176, +15,23,199,1,86,94,28,28,248,22,151,15,23,194,2,10,28,248,22,150,15, 23,194,2,10,28,248,22,144,7,23,194,2,28,248,22,173,15,23,194,2,10, -248,22,174,15,23,194,2,11,12,250,22,168,11,2,13,2,40,23,196,2,28, -248,22,173,15,23,194,2,12,251,22,170,11,2,13,2,44,2,38,23,197,1, -86,96,86,94,28,28,248,22,150,15,23,196,2,10,28,248,22,144,7,23,196, +248,22,174,15,23,194,2,11,12,250,22,168,11,2,34,2,35,23,196,2,28, +28,248,22,151,15,23,194,2,249,22,159,9,248,22,152,15,23,196,2,2,36, +249,22,159,9,247,22,171,8,2,36,27,28,248,22,144,7,23,195,2,23,194, +2,248,22,156,8,248,22,155,15,23,196,2,28,249,22,145,16,2,60,23,195, +2,86,94,23,193,1,28,248,22,144,7,23,195,2,248,22,158,15,23,195,1, +193,27,248,22,183,7,23,195,1,249,22,159,15,248,22,159,8,250,22,153,16, +2,61,28,249,22,145,16,2,62,23,201,2,23,199,1,250,22,153,16,2,63, +23,202,1,2,37,80,159,47,37,38,2,36,28,248,22,144,7,23,194,2,248, +22,158,15,23,194,1,192,27,248,22,155,15,23,195,2,28,249,22,159,9,23, +197,2,64,117,110,105,120,28,249,22,141,8,23,195,1,5,1,47,86,95,23, +195,1,23,194,1,28,248,22,151,15,23,199,2,197,248,22,158,15,23,199,1, +249,22,168,15,23,200,1,249,22,159,15,249,22,144,8,248,22,155,15,23,201, +1,37,23,199,1,28,249,22,159,9,23,197,2,2,36,249,22,168,15,23,200, +1,249,22,159,15,28,249,22,145,16,0,27,35,114,120,34,94,92,92,92,92, +92,92,92,92,91,63,93,92,92,92,92,91,97,45,122,93,58,34,23,199,2, +251,22,145,8,2,40,250,22,144,8,23,204,2,40,41,5,1,92,249,22,144, +8,23,203,1,42,28,249,22,145,16,2,65,23,199,2,249,22,145,8,2,40, +249,22,144,8,23,201,1,40,28,249,22,145,16,2,65,23,199,2,249,22,145, +8,2,40,249,22,144,8,23,201,1,40,28,249,22,145,16,0,14,35,114,120, +34,94,92,92,92,92,92,92,92,92,34,23,199,2,249,22,145,8,5,4,85, +78,67,92,249,22,144,8,23,201,1,38,28,249,22,145,16,0,12,35,114,120, +34,94,91,97,45,122,93,58,34,23,199,2,249,22,145,8,250,22,144,8,23, +202,2,36,37,249,22,144,8,23,201,1,38,86,94,23,197,1,12,23,199,1, +12,32,67,88,163,8,36,39,53,11,70,102,111,117,110,100,45,101,120,101,99, +222,33,70,32,68,88,163,8,36,40,58,11,64,110,101,120,116,222,33,69,27, +248,22,177,15,23,196,2,28,249,22,161,9,23,195,2,23,197,1,11,28,248, +22,173,15,23,194,2,27,249,22,168,15,23,197,1,23,196,1,28,23,197,2, +90,159,39,11,89,161,39,36,11,248,22,171,15,23,197,2,86,95,23,195,1, +23,194,1,27,28,23,202,2,27,248,22,177,15,23,199,2,28,249,22,161,9, +23,195,2,23,200,2,11,28,248,22,173,15,23,194,2,250,2,67,23,205,2, +23,206,2,249,22,168,15,23,200,2,23,198,1,250,2,67,23,205,2,23,206, +2,23,196,1,11,28,23,193,2,192,86,94,23,193,1,27,28,248,22,150,15, +23,196,2,27,249,22,168,15,23,198,2,23,205,2,28,28,248,22,163,15,193, +10,248,22,162,15,193,192,11,11,28,23,193,2,192,86,94,23,193,1,28,23, +203,2,11,27,248,22,177,15,23,200,2,28,249,22,161,9,23,195,2,23,201, +1,11,28,248,22,173,15,23,194,2,250,2,67,23,206,1,23,207,1,249,22, +168,15,23,201,1,23,198,1,250,2,67,205,206,195,192,86,94,23,194,1,28, +23,196,2,90,159,39,11,89,161,39,36,11,248,22,171,15,23,197,2,86,95, +23,195,1,23,194,1,27,28,23,201,2,27,248,22,177,15,23,199,2,28,249, +22,161,9,23,195,2,23,200,2,11,28,248,22,173,15,23,194,2,250,2,67, +23,204,2,23,205,2,249,22,168,15,23,200,2,23,198,1,250,2,67,23,204, +2,23,205,2,23,196,1,11,28,23,193,2,192,86,94,23,193,1,27,28,248, +22,150,15,23,196,2,27,249,22,168,15,23,198,2,23,204,2,28,28,248,22, +163,15,193,10,248,22,162,15,193,192,11,11,28,23,193,2,192,86,94,23,193, +1,28,23,202,2,11,27,248,22,177,15,23,200,2,28,249,22,161,9,23,195, +2,23,201,1,11,28,248,22,173,15,23,194,2,250,2,67,23,205,1,23,206, +1,249,22,168,15,23,201,1,23,198,1,250,2,67,204,205,195,192,28,23,193, +2,90,159,39,11,89,161,39,36,11,248,22,171,15,23,199,2,86,95,23,195, +1,23,194,1,27,28,23,198,2,251,2,68,23,198,2,23,203,2,23,201,2, +23,202,2,11,28,23,193,2,192,86,94,23,193,1,27,28,248,22,150,15,195, +27,249,22,168,15,197,200,28,28,248,22,163,15,193,10,248,22,162,15,193,192, +11,11,28,192,192,28,198,11,251,2,68,198,203,201,202,194,32,71,88,163,8, +36,40,58,11,2,43,222,33,72,28,248,22,87,23,197,2,11,27,248,22,176, +15,248,22,80,23,199,2,27,249,22,168,15,23,196,1,23,197,2,28,248,22, +162,15,23,194,2,250,2,67,198,199,195,86,94,23,193,1,27,248,22,81,23, +200,1,28,248,22,87,23,194,2,11,27,248,22,176,15,248,22,80,23,196,2, +27,249,22,168,15,23,196,1,23,200,2,28,248,22,162,15,23,194,2,250,2, +67,201,202,195,86,94,23,193,1,27,248,22,81,23,197,1,28,248,22,87,23, +194,2,11,27,248,22,176,15,248,22,80,195,27,249,22,168,15,23,196,1,202, +28,248,22,162,15,193,250,2,67,204,205,195,251,2,71,204,205,206,248,22,81, +199,86,95,28,28,248,22,150,15,23,195,2,10,28,248,22,144,7,23,195,2, +28,248,22,173,15,23,195,2,10,248,22,174,15,23,195,2,11,12,250,22,168, +11,2,6,2,41,23,197,2,28,28,23,195,2,28,28,248,22,150,15,23,196, +2,10,28,248,22,144,7,23,196,2,28,248,22,173,15,23,196,2,10,248,22, +174,15,23,196,2,11,248,22,173,15,23,196,2,11,10,12,250,22,168,11,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,173,15,23,195,2,90,159, +39,11,89,161,39,36,11,248,22,171,15,23,198,2,249,22,159,9,194,2,42, +11,27,249,22,166,8,247,22,165,8,5,4,80,65,84,72,27,28,23,194,2, +249,80,158,40,41,249,22,156,8,23,198,1,7,63,9,86,94,23,194,1,9, +27,28,249,22,159,9,247,22,171,8,2,36,249,22,79,248,22,159,15,5,1, +46,23,196,1,23,194,1,28,248,22,87,23,194,2,11,27,248,22,176,15,248, +22,80,23,196,2,27,249,22,168,15,23,196,1,23,201,2,28,248,22,162,15, +23,194,2,250,2,67,202,203,195,86,94,23,193,1,27,248,22,81,23,197,1, +28,248,22,87,23,194,2,11,27,248,22,176,15,248,22,80,23,196,2,27,249, +22,168,15,23,196,1,23,204,2,28,248,22,162,15,23,194,2,250,2,67,205, +206,195,86,94,23,193,1,27,248,22,81,23,197,1,28,248,22,87,23,194,2, +11,27,248,22,176,15,248,22,80,195,27,249,22,168,15,23,196,1,206,28,248, +22,162,15,193,250,2,67,23,16,23,17,195,251,2,71,23,16,23,17,23,18, +248,22,81,199,27,248,22,176,15,23,196,1,28,248,22,162,15,193,250,2,67, +198,199,195,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,43,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,101,23,195,2,27,27,248,22,110,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,101, +23,195,2,27,250,2,76,23,203,2,23,204,1,248,22,110,23,199,1,28,249, +22,141,8,23,196,2,2,44,249,22,93,23,202,2,194,249,22,79,248,22,159, +15,28,249,22,159,9,247,22,171,8,2,36,250,22,153,16,2,77,23,200,1, +2,44,23,197,1,194,86,95,23,199,1,23,193,1,28,249,22,141,8,23,196, +2,2,44,249,22,93,23,200,2,9,249,22,79,248,22,159,15,28,249,22,159, +9,247,22,171,8,2,36,250,22,153,16,2,77,23,200,1,2,44,23,197,1, +9,28,249,22,141,8,23,196,2,2,44,249,22,93,197,194,86,94,23,196,1, +249,22,79,248,22,159,15,28,249,22,159,9,247,22,171,8,2,36,250,22,153, +16,2,77,23,200,1,2,44,23,197,1,194,86,94,23,193,1,28,249,22,141, +8,23,198,2,2,44,249,22,93,195,9,86,94,23,194,1,249,22,79,248,22, +159,15,28,249,22,159,9,247,22,171,8,2,36,250,22,153,16,2,77,23,202, +1,2,44,23,199,1,9,86,95,28,28,248,22,133,8,194,10,248,22,144,7, +194,12,250,22,168,11,2,7,6,21,21,40,111,114,47,99,32,98,121,116,101, +115,63,32,115,116,114,105,110,103,63,41,196,28,28,248,22,88,195,249,22,4, +22,150,15,196,11,12,250,22,168,11,2,7,6,14,14,40,108,105,115,116,111, +102,32,112,97,116,104,63,41,197,250,2,76,197,195,28,248,22,144,7,197,248, +22,158,8,197,196,86,94,28,28,248,22,150,15,23,195,2,10,28,248,22,144, +7,23,195,2,28,248,22,173,15,23,195,2,10,248,22,174,15,23,195,2,11, +12,250,22,168,11,23,196,2,2,41,23,197,2,28,248,22,173,15,23,195,2, +12,251,22,170,11,23,197,1,2,45,2,39,23,198,1,86,94,28,28,248,22, +150,15,23,195,2,10,28,248,22,144,7,23,195,2,28,248,22,173,15,23,195, +2,10,248,22,174,15,23,195,2,11,12,250,22,168,11,23,196,2,2,41,23, +197,2,28,248,22,173,15,23,195,2,12,251,22,170,11,23,197,1,2,45,2, +39,23,198,1,86,94,86,94,28,28,248,22,150,15,23,195,2,10,28,248,22, +144,7,23,195,2,28,248,22,173,15,23,195,2,10,248,22,174,15,23,195,2, +11,12,250,22,168,11,23,196,2,2,41,23,197,2,28,248,22,173,15,23,195, +2,86,94,23,194,1,12,251,22,170,11,23,197,2,2,45,2,39,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,168,11,23,196,1,2,46,23,197,1,86,94,28,28,248,22,150,15,23,194, +2,10,28,248,22,144,7,23,194,2,28,248,22,173,15,23,194,2,10,248,22, +174,15,23,194,2,11,12,250,22,168,11,2,11,2,41,23,196,2,28,248,22, +173,15,23,194,2,12,251,22,170,11,2,11,2,45,2,39,23,197,1,86,95, +86,94,86,94,28,28,248,22,150,15,23,196,2,10,28,248,22,144,7,23,196, 2,28,248,22,173,15,23,196,2,10,248,22,174,15,23,196,2,11,12,250,22, -168,11,2,13,2,40,23,198,2,28,248,22,173,15,23,196,2,12,251,22,170, -11,2,13,2,44,2,38,23,199,2,86,94,86,94,28,28,248,22,150,15,23, -197,2,10,28,248,22,144,7,23,197,2,28,248,22,173,15,23,197,2,10,248, -22,174,15,23,197,2,11,12,250,22,168,11,2,13,2,40,23,199,2,28,248, -22,173,15,23,197,2,12,251,22,170,11,2,13,2,44,2,38,23,200,2,249, -22,3,32,0,88,163,8,36,37,46,11,9,222,33,85,23,199,2,28,28,248, -22,0,23,195,2,249,22,50,23,196,2,37,11,12,250,22,168,11,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,191,15,70,99,111,110,102,105,103,45, -100,105,114,27,28,248,22,174,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,128,16,248, -22,191,15,68,111,114,105,103,45,100,105,114,27,248,22,191,15,2,46,250,80, -159,42,40,39,23,196,1,23,198,1,11,28,23,193,2,249,22,168,15,23,195, -1,6,10,10,108,105,110,107,115,46,114,107,116,100,11,86,94,28,248,22,135, -12,23,197,2,27,247,22,191,11,28,249,22,183,11,23,195,2,2,47,251,22, -187,11,23,197,1,2,47,250,22,128,8,2,48,28,23,202,1,80,159,46,48, -38,80,159,46,51,38,248,22,131,12,23,205,2,247,22,29,12,12,28,248,22, -135,12,23,197,2,86,94,23,196,1,248,23,194,1,247,22,137,2,195,2,87, -86,95,28,248,22,135,12,23,198,2,27,247,22,191,11,28,249,22,183,11,23, -195,2,2,47,251,22,187,11,23,197,1,2,47,250,22,128,8,2,48,28,23, -203,2,80,159,47,48,38,80,159,47,51,38,248,22,131,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,137,2,20,18,159,11,80,158,39,50,23,193,1,86,94,20,18,159,11, -80,158,39,55,247,22,137,2,20,18,159,11,80,158,39,56,23,193,1,86,94, -23,195,1,12,28,248,22,135,12,23,198,2,86,94,23,197,1,248,23,195,1, -247,22,137,2,196,20,20,94,248,22,139,6,23,194,2,28,248,22,139,7,248, -22,139,6,23,195,1,12,248,22,164,11,6,30,30,101,120,112,101,99,116,101, -100,32,97,32,115,105,110,103,108,101,32,83,45,101,120,112,114,101,115,115,105, -111,110,248,22,191,5,23,194,1,28,248,22,88,23,194,2,28,28,249,22,189, -3,38,248,22,92,23,196,2,10,249,22,189,3,39,248,22,92,23,196,2,28, -28,248,22,144,7,248,22,80,23,195,2,10,249,22,159,9,64,114,111,111,116, -248,22,132,18,23,196,2,28,27,248,22,101,194,28,248,22,150,15,23,194,2, -10,28,248,22,144,7,23,194,2,28,248,22,173,15,23,194,2,10,248,22,174, -15,23,194,1,11,27,248,22,87,248,22,103,195,28,192,192,248,22,154,16,248, -22,110,195,11,11,11,11,250,22,155,2,23,197,1,23,198,1,249,22,79,23, -198,1,23,201,1,28,28,248,22,87,248,22,103,23,197,2,10,249,22,145,16, -248,22,110,23,198,2,247,22,162,8,27,248,22,178,15,249,22,176,15,248,22, -101,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,157,2,23,197,2,11,11,12,250,22,155,2,23,197,2, -11,9,249,22,161,2,23,196,2,20,20,95,88,163,8,36,38,50,11,9,224, -3,2,33,95,23,195,1,23,196,1,27,248,22,67,248,22,132,18,23,199,1, -250,22,155,2,23,198,2,23,196,2,249,22,79,248,22,128,2,23,200,1,250, -22,157,2,23,203,1,23,201,1,9,12,250,22,155,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,89,27,250,22,186,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,90,28,249,22,191,3,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,91,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,184,14, -10,22,185,14,10,22,186,14,10,22,189,14,10,22,188,14,10,22,190,14,10, -22,187,14,10,22,191,14,10,22,128,15,10,22,129,15,10,22,130,15,10,22, -131,15,10,22,132,15,11,22,182,14,11,27,249,22,182,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,92,20,20,94,88,163,36,36,43,11,9, -223,4,33,93,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,94,23,195,2,11,12,248,22,164,11, -6,18,18,105,108,108,45,102,111,114,109,101,100,32,99,111,110,116,101,110,116, -27,247,22,137,2,27,90,159,39,11,89,161,39,36,11,248,22,171,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,96,23,195,1,23,197,1,249,22,161,2, -195,88,163,8,36,38,48,11,9,223,3,33,97,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,9,20,20,94,88,163,8,32,37,8,40,8,240,0,240,94, -0,9,224,1,2,33,98,23,195,1,0,7,35,114,120,34,47,43,34,28,248, -22,144,7,23,195,2,27,249,22,143,16,2,100,23,197,2,28,23,193,2,28, -249,22,189,3,248,22,100,23,196,2,248,22,179,3,248,22,147,7,23,199,2, -249,22,7,250,22,166,7,23,200,1,36,248,22,100,23,199,1,23,198,1,249, -22,7,250,22,166,7,23,200,2,36,248,22,100,23,199,2,249,22,79,249,22, -166,7,23,201,1,248,22,102,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,171,15,23,198,1,86,94,23, -195,1,28,249,22,159,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,144,7,23, -195,2,27,249,22,143,16,2,100,23,197,2,28,23,193,2,28,249,22,189,3, -248,22,100,23,196,2,248,22,179,3,248,22,147,7,23,199,2,249,22,7,250, -22,166,7,23,200,1,36,248,22,100,23,199,1,23,196,1,249,22,7,250,22, -166,7,23,200,2,36,248,22,100,23,199,2,249,22,79,249,22,166,7,23,201, -1,248,22,102,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,171,15,23,198,1,86,94,23,195,1,28,249, -22,159,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,102,88,163,36,43,8,31, -11,65,99,108,111,111,112,222,33,111,32,103,88,163,8,36,37,47,11,2,42, -222,33,106,32,104,88,163,36,37,43,11,69,116,111,45,115,116,114,105,110,103, -222,33,105,28,248,22,150,15,23,194,2,248,22,154,15,23,194,1,192,28,248, -22,87,248,22,81,23,195,2,248,22,89,248,2,104,248,22,132,18,23,196,1, -250,22,90,248,2,104,248,22,132,18,23,198,2,2,50,248,2,103,248,22,133, -18,23,198,1,250,22,128,8,6,7,7,10,32,126,97,32,126,97,6,1,1, -32,23,196,1,249,22,128,8,6,6,6,10,32,32,32,126,97,248,22,131,2, -23,196,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,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,168,15,23,201,1,23,199,1,198,27,28,248,22,87, -23,197,2,2,49,249,22,1,22,167,7,248,2,103,23,199,2,248,23,198,1, -251,22,128,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,104,23,201,1,250,22,167,7,248,2,104,23,204,1,2,50,23,201,2, -249,22,1,22,167,7,249,22,2,32,0,88,163,8,36,37,45,11,9,222,33, -107,27,248,22,92,23,205,2,27,248,22,92,247,22,130,16,28,249,22,190,3, -249,22,181,3,23,198,2,23,197,2,41,23,205,2,249,22,93,247,22,130,16, -248,22,89,249,22,128,8,6,50,50,46,46,46,32,91,126,97,32,97,100,100, -105,116,105,111,110,97,108,32,108,105,110,107,101,100,32,97,110,100,32,112,97, -99,107,97,103,101,32,100,105,114,101,99,116,111,114,105,101,115,93,249,22,181, -3,23,201,1,23,200,1,28,249,22,5,22,130,2,23,201,2,250,22,128,8, -6,49,49,10,32,32,32,115,117,98,45,99,111,108,108,101,99,116,105,111,110, -58,32,126,115,10,32,32,105,110,32,112,97,114,101,110,116,32,100,105,114,101, -99,116,111,114,105,101,115,58,126,97,23,201,1,249,22,1,22,167,7,249,22, -2,32,0,88,163,8,36,37,45,11,9,222,33,108,249,2,109,22,130,2,23, -208,1,86,95,23,199,1,23,198,1,2,49,27,248,22,80,23,200,2,27,28, -248,22,150,15,23,195,2,249,22,168,15,23,196,1,23,198,2,248,22,131,2, -23,195,1,28,28,248,22,150,15,248,22,80,23,202,2,248,22,163,15,23,194, -2,10,27,250,22,1,22,168,15,23,197,1,23,201,2,28,28,248,22,87,23, -199,2,10,248,22,163,15,23,194,2,28,23,200,2,28,28,248,22,162,15,249, -22,168,15,23,196,2,23,203,2,10,27,28,248,22,150,15,23,202,2,248,22, -154,15,23,202,2,23,201,2,19,248,22,147,7,23,195,2,27,28,249,22,129, -4,23,196,4,40,28,249,22,150,7,6,4,4,46,114,107,116,249,22,166,7, -23,199,2,249,22,181,3,23,200,4,40,249,22,167,7,250,22,166,7,23,200, -1,36,249,22,181,3,23,201,4,40,6,3,3,46,115,115,86,94,23,195,1, -11,11,28,23,193,2,248,22,162,15,249,22,168,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,168,15,23,195,1,23,202,1,192,254,2,102,202,203,204, -205,206,248,22,81,23,16,28,23,16,23,16,199,28,23,200,2,249,22,168,15, -23,195,1,23,202,1,192,254,2,102,202,203,204,205,206,248,22,81,23,16,23, -16,254,2,102,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,150,15,195,248,22,154,15,195,194,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,249,22,93,250,22, -157,2,23,198,2,23,204,2,9,250,22,157,2,23,198,1,11,9,9,9,28, -23,197,1,28,80,159,44,51,38,27,248,80,159,46,57,39,11,249,22,93,250, -22,157,2,23,198,2,23,204,1,9,250,22,157,2,23,198,1,11,9,86,94, -23,198,1,9,9,247,22,130,16,254,2,102,199,202,203,205,23,16,199,11,86, -95,28,28,248,22,151,15,23,194,2,10,28,248,22,150,15,23,194,2,10,28, -248,22,144,7,23,194,2,28,248,22,173,15,23,194,2,10,248,22,174,15,23, -194,2,11,12,252,22,168,11,23,200,2,2,34,36,23,198,2,23,199,2,28, -28,248,22,144,7,23,195,2,10,248,22,133,8,23,195,2,86,94,23,194,1, -12,252,22,168,11,23,200,2,2,51,37,23,198,2,23,199,1,90,159,39,11, -89,161,39,36,11,248,22,171,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,171,11,23,201,1,2,52,23, -199,1,249,22,7,23,195,1,23,196,1,32,114,88,163,36,42,8,24,11,2, -42,222,33,115,28,248,22,130,4,23,199,2,86,95,23,198,1,23,194,1,19, -248,22,138,8,23,195,2,19,248,22,138,8,23,196,2,249,22,160,15,251,22, -145,8,250,22,144,8,23,204,2,36,23,203,4,2,43,249,23,205,1,23,203, -1,23,201,4,28,248,22,144,7,23,206,2,249,22,159,8,23,207,1,8,63, -23,205,1,28,248,22,151,15,23,201,2,248,22,152,15,23,201,1,86,94,23, -200,1,247,22,153,15,2,2,27,248,22,179,3,23,200,1,28,249,22,159,9, -8,46,249,22,139,8,23,198,2,23,197,2,27,248,22,178,3,23,195,2,249, -22,160,15,251,22,145,8,250,22,144,8,23,204,2,36,23,203,1,23,202,1, -249,23,205,1,23,203,1,23,201,1,28,248,22,144,7,23,206,2,249,22,159, -8,23,207,1,8,63,23,205,1,28,248,22,151,15,23,201,2,248,22,152,15, -23,201,1,86,94,23,200,1,247,22,153,15,28,248,22,130,4,23,194,2,86, -95,23,195,1,23,193,1,19,248,22,138,8,23,196,2,19,248,22,138,8,23, -197,2,249,22,160,15,251,22,145,8,250,22,144,8,23,205,2,36,23,203,4, -2,43,249,23,206,1,23,204,1,23,201,4,28,248,22,144,7,23,207,2,249, -22,159,8,23,208,1,8,63,23,206,1,28,248,22,151,15,23,202,2,248,22, -152,15,23,202,1,86,94,23,201,1,247,22,153,15,2,2,27,248,22,179,3, -23,195,1,28,249,22,159,9,8,46,249,22,139,8,23,199,2,23,197,2,27, -248,22,178,3,23,195,2,249,22,160,15,251,22,145,8,250,22,144,8,23,205, -2,36,23,203,1,23,203,1,249,23,206,1,23,204,1,23,201,1,28,248,22, -144,7,23,207,2,249,22,159,8,23,208,1,8,63,23,206,1,28,248,22,151, -15,23,202,2,248,22,152,15,23,202,1,86,94,23,201,1,247,22,153,15,28, -248,22,130,4,23,194,2,86,95,23,196,1,23,193,1,19,248,22,138,8,23, -197,2,19,248,22,138,8,23,198,2,249,22,160,15,251,22,145,8,250,22,144, -8,23,206,2,36,23,203,4,2,43,249,23,207,1,23,205,1,23,201,4,28, -248,22,144,7,23,208,2,249,22,159,8,23,209,1,8,63,23,207,1,28,248, -22,151,15,23,203,2,248,22,152,15,23,203,1,86,94,23,202,1,247,22,153, -15,2,2,27,248,22,179,3,23,195,1,28,249,22,159,9,8,46,249,22,139, -8,23,200,2,23,197,2,27,248,22,178,3,23,195,2,249,22,160,15,251,22, -145,8,250,22,144,8,23,206,2,36,23,203,1,23,204,1,249,23,207,1,23, -205,1,23,201,1,28,248,22,144,7,23,208,2,249,22,159,8,23,209,1,8, -63,23,207,1,28,248,22,151,15,23,203,2,248,22,152,15,23,203,1,86,94, -23,202,1,247,22,153,15,253,2,114,201,202,203,204,205,198,90,159,38,11,89, -161,38,36,11,86,95,28,28,248,22,151,15,23,199,2,10,28,248,22,150,15, -23,199,2,10,28,248,22,144,7,23,199,2,28,248,22,173,15,23,199,2,10, -248,22,174,15,23,199,2,11,12,252,22,168,11,23,200,2,2,34,36,23,203, -2,23,204,2,28,28,248,22,144,7,23,200,2,10,248,22,133,8,23,200,2, -12,252,22,168,11,23,200,2,2,51,37,23,203,2,23,204,2,90,159,39,11, -89,161,39,36,11,248,22,171,15,23,202,2,86,94,23,195,1,86,94,28,192, -12,250,22,171,11,23,201,1,2,52,23,204,2,249,22,7,194,195,27,248,22, -156,15,23,196,1,27,19,248,22,138,8,23,196,2,28,248,22,130,4,23,194, -4,86,94,23,199,1,19,248,22,138,8,23,197,2,19,248,22,138,8,23,198, -2,249,22,160,15,251,22,145,8,250,22,144,8,23,206,2,36,23,203,4,2, -43,249,23,210,1,23,205,1,23,201,4,28,248,22,144,7,23,211,2,249,22, -159,8,23,212,1,8,63,23,210,1,28,248,22,151,15,23,206,2,248,22,152, -15,23,206,1,86,94,23,205,1,247,22,153,15,2,2,27,248,22,179,3,23, -195,4,28,249,22,159,9,8,46,249,22,139,8,23,200,2,23,197,2,27,248, -22,178,3,23,195,2,249,22,160,15,251,22,145,8,250,22,144,8,23,206,2, -36,23,203,1,23,207,1,249,23,210,1,23,205,1,23,201,1,28,248,22,144, -7,23,211,2,249,22,159,8,23,212,1,8,63,23,210,1,28,248,22,151,15, -23,206,2,248,22,152,15,23,206,1,86,94,23,205,1,247,22,153,15,28,248, -22,130,4,23,194,2,86,95,23,200,1,23,193,1,19,248,22,138,8,23,198, -2,19,248,22,138,8,23,199,2,249,22,160,15,251,22,145,8,250,22,144,8, -23,207,2,36,23,203,4,2,43,249,23,211,1,23,206,1,23,201,4,28,248, -22,144,7,23,212,2,249,22,159,8,23,213,1,8,63,23,211,1,28,248,22, -151,15,23,207,2,248,22,152,15,23,207,1,86,94,23,206,1,247,22,153,15, -2,2,27,248,22,179,3,23,195,1,28,249,22,159,9,8,46,249,22,139,8, -23,201,2,23,197,2,27,248,22,178,3,23,195,2,249,22,160,15,251,22,145, -8,250,22,144,8,23,207,2,36,23,203,1,23,208,1,249,23,211,1,23,206, -1,23,201,1,28,248,22,144,7,23,212,2,249,22,159,8,23,213,1,8,63, -23,211,1,28,248,22,151,15,23,207,2,248,22,152,15,23,207,1,86,94,23, -206,1,247,22,153,15,253,2,114,23,203,1,23,207,1,23,208,1,23,209,1, -23,210,1,23,199,1,2,28,248,22,150,15,23,196,2,249,22,168,15,23,197, -1,23,195,1,192,32,117,88,163,36,40,57,11,2,42,222,33,118,28,248,22, -130,4,23,197,2,86,94,23,196,1,19,248,22,138,8,23,195,2,35,248,22, -138,8,23,196,2,249,22,160,15,251,22,145,8,250,22,144,8,23,204,1,36, -23,203,4,2,43,2,43,28,248,22,144,7,23,204,2,249,22,159,8,23,205, -1,8,63,23,203,1,28,248,22,151,15,23,199,2,248,22,152,15,23,199,1, -86,94,23,198,1,247,22,153,15,2,27,248,22,179,3,23,198,1,28,249,22, -159,9,8,46,249,22,139,8,23,198,2,23,197,2,35,248,22,178,3,23,195, -2,249,22,160,15,251,22,145,8,250,22,144,8,23,204,1,36,23,203,1,2, -43,2,43,28,248,22,144,7,23,204,2,249,22,159,8,23,205,1,8,63,23, -203,1,28,248,22,151,15,23,199,2,248,22,152,15,23,199,1,86,94,23,198, -1,247,22,153,15,28,248,22,130,4,23,194,2,86,94,23,193,1,19,248,22, -138,8,23,196,2,35,248,22,138,8,23,197,2,249,22,160,15,251,22,145,8, -250,22,144,8,23,205,1,36,23,203,4,2,43,2,43,28,248,22,144,7,23, -205,2,249,22,159,8,23,206,1,8,63,23,204,1,28,248,22,151,15,23,200, -2,248,22,152,15,23,200,1,86,94,23,199,1,247,22,153,15,2,27,248,22, -179,3,23,195,1,28,249,22,159,9,8,46,249,22,139,8,23,199,2,23,197, -2,35,248,22,178,3,23,195,2,249,22,160,15,251,22,145,8,250,22,144,8, -23,205,1,36,23,203,1,2,43,2,43,28,248,22,144,7,23,205,2,249,22, -159,8,23,206,1,8,63,23,204,1,28,248,22,151,15,23,200,2,248,22,152, -15,23,200,1,86,94,23,199,1,247,22,153,15,251,2,117,198,199,200,196,90, -159,38,11,89,161,38,36,11,86,95,28,28,248,22,151,15,23,196,2,10,28, -248,22,150,15,23,196,2,10,28,248,22,144,7,23,196,2,28,248,22,173,15, -23,196,2,10,248,22,174,15,23,196,2,11,12,252,22,168,11,2,28,2,34, -36,23,200,2,23,201,2,28,28,248,22,144,7,23,197,2,10,248,22,133,8, -23,197,2,12,252,22,168,11,2,28,2,51,37,23,200,2,23,201,2,90,159, -39,11,89,161,39,36,11,248,22,171,15,23,199,2,86,94,23,195,1,86,94, -28,192,12,250,22,171,11,2,28,2,52,23,201,2,249,22,7,194,195,27,248, -22,156,15,23,196,1,27,251,2,117,23,198,2,23,201,1,23,202,1,248,22, -138,8,23,199,1,28,248,22,150,15,23,196,2,249,22,168,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,120,198,199,32,122,88,163,36,40,57,11,2,42,222,33, -123,28,248,22,130,4,23,197,2,86,94,23,196,1,19,248,22,138,8,23,195, -2,19,248,22,138,8,23,196,2,249,22,160,15,251,22,145,8,250,22,144,8, -23,204,2,36,23,203,4,2,43,249,22,144,8,23,203,1,23,201,4,28,248, -22,144,7,23,204,2,249,22,159,8,23,205,1,8,63,23,203,1,28,248,22, -151,15,23,199,2,248,22,152,15,23,199,1,86,94,23,198,1,247,22,153,15, -2,2,27,248,22,179,3,23,198,1,28,249,22,159,9,8,46,249,22,139,8, -23,198,2,23,197,2,27,248,22,178,3,23,195,2,249,22,160,15,251,22,145, -8,250,22,144,8,23,204,2,36,23,203,1,2,53,249,22,144,8,23,203,1, -23,201,1,28,248,22,144,7,23,204,2,249,22,159,8,23,205,1,8,63,23, -203,1,28,248,22,151,15,23,199,2,248,22,152,15,23,199,1,86,94,23,198, -1,247,22,153,15,28,248,22,130,4,23,194,2,86,94,23,193,1,19,248,22, -138,8,23,196,2,19,248,22,138,8,23,197,2,249,22,160,15,251,22,145,8, -250,22,144,8,23,205,2,36,23,203,4,2,43,249,22,144,8,23,204,1,23, -201,4,28,248,22,144,7,23,205,2,249,22,159,8,23,206,1,8,63,23,204, -1,28,248,22,151,15,23,200,2,248,22,152,15,23,200,1,86,94,23,199,1, +168,11,2,11,2,41,23,198,2,28,248,22,173,15,23,196,2,12,251,22,170, +11,2,11,2,45,2,39,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,168,11,2,11,2,46,23,197,2,251,80,158,40,46,23, +198,1,23,199,1,23,200,1,11,86,94,28,28,248,22,150,15,23,194,2,10, +28,248,22,144,7,23,194,2,28,248,22,173,15,23,194,2,10,248,22,174,15, +23,194,2,11,12,250,22,168,11,2,13,2,41,23,196,2,28,248,22,173,15, +23,194,2,12,251,22,170,11,2,13,2,45,2,39,23,197,1,86,96,86,94, +28,28,248,22,150,15,23,196,2,10,28,248,22,144,7,23,196,2,28,248,22, +173,15,23,196,2,10,248,22,174,15,23,196,2,11,12,250,22,168,11,2,13, +2,41,23,198,2,28,248,22,173,15,23,196,2,12,251,22,170,11,2,13,2, +45,2,39,23,199,2,86,94,86,94,28,28,248,22,150,15,23,197,2,10,28, +248,22,144,7,23,197,2,28,248,22,173,15,23,197,2,10,248,22,174,15,23, +197,2,11,12,250,22,168,11,2,13,2,41,23,199,2,28,248,22,173,15,23, +197,2,12,251,22,170,11,2,13,2,45,2,39,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,168,11,2,13,2,46,23,197,2, +251,80,158,40,46,23,198,1,23,200,1,23,201,1,23,199,1,27,248,22,191, +15,70,99,111,110,102,105,103,45,100,105,114,27,28,248,22,174,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,128,16,248,22,191,15,68,111,114,105,103,45,100,105,114, +27,248,22,191,15,2,47,250,80,159,42,40,39,23,196,1,23,198,1,11,28, +23,193,2,249,22,168,15,23,195,1,6,10,10,108,105,110,107,115,46,114,107, +116,100,11,248,22,158,13,23,194,1,28,248,22,178,12,23,194,2,86,94,23, +193,1,249,22,16,247,22,19,32,0,88,163,8,36,36,41,11,9,222,11,88, +163,8,36,36,43,11,9,223,0,33,89,32,91,88,163,8,36,37,55,11,2, +43,222,33,92,27,249,22,154,6,8,128,128,23,196,2,28,248,22,139,7,23, +194,2,9,249,22,79,23,195,1,27,249,22,154,6,8,128,128,23,199,2,28, +248,22,139,7,23,194,2,9,249,22,79,23,195,1,27,249,22,154,6,8,128, +128,23,202,2,28,248,22,139,7,23,194,2,9,249,22,79,23,195,1,27,249, +22,154,6,8,128,128,23,205,2,28,248,22,139,7,23,194,2,9,249,22,79, +23,195,1,248,2,91,23,206,1,27,249,22,154,6,8,128,128,23,196,2,28, +248,22,133,8,23,194,2,28,249,22,129,4,248,22,138,8,23,196,2,8,128, +128,249,22,1,22,145,8,249,22,79,23,197,1,27,249,22,154,6,8,128,128, +23,201,2,28,248,22,139,7,23,194,2,9,249,22,79,23,195,1,27,249,22, +154,6,8,128,128,23,204,2,28,248,22,139,7,23,194,2,9,249,22,79,23, +195,1,27,249,22,154,6,8,128,128,23,207,2,28,248,22,139,7,23,194,2, +9,249,22,79,23,195,1,27,249,22,154,6,8,128,128,23,210,2,28,248,22, +139,7,23,194,2,9,249,22,79,23,195,1,248,2,91,23,211,1,192,192,248, +22,191,5,23,194,1,20,13,159,80,159,37,58,37,32,0,88,163,36,37,44, +11,9,222,33,90,27,248,22,182,5,23,195,1,250,22,46,22,37,88,163,36, +36,8,24,11,9,223,3,33,93,20,20,94,88,163,36,36,43,11,9,223,3, +33,94,23,196,1,248,22,14,20,20,94,88,163,36,36,47,8,240,0,0,64, +0,9,224,1,2,33,95,23,195,1,86,94,28,248,22,135,12,23,197,2,27, +247,22,191,11,28,249,22,183,11,23,195,2,2,48,251,22,187,11,23,197,1, +2,48,250,22,128,8,2,49,28,23,202,1,80,159,46,48,38,80,159,46,51, +38,248,22,131,12,23,205,2,247,22,29,12,12,28,248,22,135,12,23,197,2, +86,94,23,196,1,248,23,194,1,247,22,137,2,195,86,95,28,248,22,135,12, +23,198,2,27,247,22,191,11,28,249,22,183,11,23,195,2,2,48,251,22,187, +11,23,197,1,2,48,250,22,128,8,2,49,28,23,203,2,80,159,47,48,38, +80,159,47,51,38,248,22,131,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,137,2,20,18,159, +11,80,158,39,50,23,193,1,86,94,20,18,159,11,80,158,39,55,247,22,137, +2,20,18,159,11,80,158,39,56,23,193,1,86,94,23,195,1,12,28,248,22, +135,12,23,198,2,86,94,23,197,1,248,23,195,1,247,22,137,2,196,20,20, +94,248,22,139,6,23,194,2,28,248,22,139,7,248,22,139,6,23,195,1,12, +248,22,164,11,6,30,30,101,120,112,101,99,116,101,100,32,97,32,115,105,110, +103,108,101,32,83,45,101,120,112,114,101,115,115,105,111,110,248,22,191,5,23, +194,1,28,248,22,88,23,194,2,28,28,249,22,189,3,38,248,22,92,23,196, +2,10,249,22,189,3,39,248,22,92,23,196,2,28,28,248,22,144,7,248,22, +80,23,195,2,10,249,22,159,9,64,114,111,111,116,248,22,132,18,23,196,2, +28,27,248,22,101,194,28,248,22,150,15,23,194,2,10,28,248,22,144,7,23, +194,2,28,248,22,173,15,23,194,2,10,248,22,174,15,23,194,1,11,27,248, +22,87,248,22,103,195,28,192,192,248,22,154,16,248,22,110,195,11,11,11,11, +250,22,155,2,23,197,1,23,198,1,249,22,79,23,198,1,23,201,1,28,28, +248,22,87,248,22,103,23,197,2,10,249,22,145,16,248,22,110,23,198,2,247, +22,162,8,27,248,22,178,15,249,22,176,15,248,22,101,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,157, +2,23,197,2,11,11,12,250,22,155,2,23,197,2,11,9,249,22,161,2,23, +196,2,20,20,95,88,163,8,36,38,50,11,9,224,3,2,33,102,23,195,1, +23,196,1,27,248,22,67,248,22,132,18,23,199,1,250,22,155,2,23,198,2, +23,196,2,249,22,79,248,22,128,2,23,200,1,250,22,157,2,23,203,1,23, +201,1,9,12,250,22,155,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,97,27,248,80,159,39,57,39,28,23,195,2,80,159,39,48,38,80, +159,39,51,38,28,249,22,161,9,23,195,2,28,23,196,2,80,158,40,50,80, +158,40,56,28,193,80,158,38,49,80,158,38,55,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, +98,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,184,14,10,22,185,14,10,22,186,14,10, +22,189,14,10,22,188,14,10,22,190,14,10,22,187,14,10,22,191,14,10,22, +128,15,10,22,129,15,10,22,130,15,10,22,131,15,10,22,132,15,11,22,182, +14,11,27,249,22,182,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,99,20,20,94,88,163,36,36,43,11,9,223,4,33,100,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,101,23,195,2,11,12,248,22,164,11,6,18,18,105,108,108,45,102,111, +114,109,101,100,32,99,111,110,116,101,110,116,27,247,22,137,2,27,90,159,39, +11,89,161,39,36,11,248,22,171,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,103,23,195,1,23,197,1,249,22,161,2,195,88,163,8,36,38,48,11,9, +223,3,33,104,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,248,22,9,20,20,94,88,163,8,32,37,8,40,8,240,0, +240,126,0,9,224,1,2,33,105,23,195,1,0,7,35,114,120,34,47,43,34, +28,248,22,144,7,23,195,2,27,249,22,143,16,2,107,23,197,2,28,23,193, +2,28,249,22,189,3,248,22,100,23,196,2,248,22,179,3,248,22,147,7,23, +199,2,249,22,7,250,22,166,7,23,200,1,36,248,22,100,23,199,1,23,198, +1,249,22,7,250,22,166,7,23,200,2,36,248,22,100,23,199,2,249,22,79, +249,22,166,7,23,201,1,248,22,102,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,171,15,23,198,1,86, +94,23,195,1,28,249,22,159,9,23,195,2,2,42,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,144, +7,23,195,2,27,249,22,143,16,2,107,23,197,2,28,23,193,2,28,249,22, +189,3,248,22,100,23,196,2,248,22,179,3,248,22,147,7,23,199,2,249,22, +7,250,22,166,7,23,200,1,36,248,22,100,23,199,1,23,196,1,249,22,7, +250,22,166,7,23,200,2,36,248,22,100,23,199,2,249,22,79,249,22,166,7, +23,201,1,248,22,102,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,171,15,23,198,1,86,94,23,195,1, +28,249,22,159,9,23,195,2,2,42,86,94,23,193,1,249,22,7,23,196,1, +23,198,1,249,80,159,45,8,24,39,194,249,22,79,197,199,32,109,88,163,36, +43,8,31,11,65,99,108,111,111,112,222,33,118,32,110,88,163,8,36,37,47, +11,2,43,222,33,113,32,111,88,163,36,37,43,11,69,116,111,45,115,116,114, +105,110,103,222,33,112,28,248,22,150,15,23,194,2,248,22,154,15,23,194,1, +192,28,248,22,87,248,22,81,23,195,2,248,22,89,248,2,111,248,22,132,18, +23,196,1,250,22,90,248,2,111,248,22,132,18,23,198,2,2,51,248,2,110, +248,22,133,18,23,198,1,250,22,128,8,6,7,7,10,32,126,97,32,126,97, +6,1,1,32,23,196,1,249,22,128,8,6,6,6,10,32,32,32,126,97,248, +22,131,2,23,196,1,32,116,88,163,36,38,48,11,66,102,105,108,116,101,114, +222,33,117,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,116,23,197,1,248,22,133,18, +23,199,1,249,2,116,23,195,1,248,22,133,18,23,197,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,168,15,23,201,1,23,199,1,198,27,28, +248,22,87,23,197,2,2,50,249,22,1,22,167,7,248,2,110,23,199,2,248, +23,198,1,251,22,128,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,111,23,201,1,250,22,167,7,248,2,111,23,204,1,2,51, +23,201,2,249,22,1,22,167,7,249,22,2,32,0,88,163,8,36,37,45,11, +9,222,33,114,27,248,22,92,23,205,2,27,248,22,92,247,22,130,16,28,249, +22,190,3,249,22,181,3,23,198,2,23,197,2,41,23,205,2,249,22,93,247, +22,130,16,248,22,89,249,22,128,8,6,50,50,46,46,46,32,91,126,97,32, +97,100,100,105,116,105,111,110,97,108,32,108,105,110,107,101,100,32,97,110,100, +32,112,97,99,107,97,103,101,32,100,105,114,101,99,116,111,114,105,101,115,93, +249,22,181,3,23,201,1,23,200,1,28,249,22,5,22,130,2,23,201,2,250, +22,128,8,6,49,49,10,32,32,32,115,117,98,45,99,111,108,108,101,99,116, +105,111,110,58,32,126,115,10,32,32,105,110,32,112,97,114,101,110,116,32,100, +105,114,101,99,116,111,114,105,101,115,58,126,97,23,201,1,249,22,1,22,167, +7,249,22,2,32,0,88,163,8,36,37,45,11,9,222,33,115,249,2,116,22, +130,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,150,15,23,195,2,249,22,168,15,23,196,1,23,198,2,248, +22,131,2,23,195,1,28,28,248,22,150,15,248,22,80,23,202,2,248,22,163, +15,23,194,2,10,27,250,22,1,22,168,15,23,197,1,23,201,2,28,28,248, +22,87,23,199,2,10,248,22,163,15,23,194,2,28,23,200,2,28,28,248,22, +162,15,249,22,168,15,23,196,2,23,203,2,10,27,28,248,22,150,15,23,202, +2,248,22,154,15,23,202,2,23,201,2,19,248,22,147,7,23,195,2,27,28, +249,22,129,4,23,196,4,40,28,249,22,150,7,6,4,4,46,114,107,116,249, +22,166,7,23,199,2,249,22,181,3,23,200,4,40,249,22,167,7,250,22,166, +7,23,200,1,36,249,22,181,3,23,201,4,40,6,3,3,46,115,115,86,94, +23,195,1,11,11,28,23,193,2,248,22,162,15,249,22,168,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,168,15,23,195,1,23,202,1,192,254,2,109, +202,203,204,205,206,248,22,81,23,16,28,23,16,23,16,199,28,23,200,2,249, +22,168,15,23,195,1,23,202,1,192,254,2,109,202,203,204,205,206,248,22,81, +23,16,23,16,254,2,109,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,8,24,39,23,199,1,23,200,1,27, +248,22,67,28,248,22,150,15,195,248,22,154,15,195,194,27,247,22,134,16,27, +250,22,93,28,23,197,2,28,247,22,133,16,27,248,80,159,46,59,39,10,249, +22,93,250,22,157,2,23,198,2,23,204,2,9,250,22,157,2,23,198,1,11, +9,9,9,28,23,197,1,28,80,159,44,51,38,27,248,80,159,46,59,39,11, +249,22,93,250,22,157,2,23,198,2,23,204,1,9,250,22,157,2,23,198,1, +11,9,86,94,23,198,1,9,9,247,22,130,16,254,2,109,199,202,203,205,23, +16,199,11,86,95,28,28,248,22,151,15,23,194,2,10,28,248,22,150,15,23, +194,2,10,28,248,22,144,7,23,194,2,28,248,22,173,15,23,194,2,10,248, +22,174,15,23,194,2,11,12,252,22,168,11,23,200,2,2,35,36,23,198,2, +23,199,2,28,28,248,22,144,7,23,195,2,10,248,22,133,8,23,195,2,86, +94,23,194,1,12,252,22,168,11,23,200,2,2,52,37,23,198,2,23,199,1, +90,159,39,11,89,161,39,36,11,248,22,171,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,171,11,23,201, +1,2,53,23,199,1,249,22,7,23,195,1,23,196,1,32,121,88,163,36,42, +8,24,11,2,43,222,33,122,28,248,22,130,4,23,199,2,86,95,23,198,1, +23,194,1,19,248,22,138,8,23,195,2,19,248,22,138,8,23,196,2,249,22, +160,15,251,22,145,8,250,22,144,8,23,204,2,36,23,203,4,2,44,249,23, +205,1,23,203,1,23,201,4,28,248,22,144,7,23,206,2,249,22,159,8,23, +207,1,8,63,23,205,1,28,248,22,151,15,23,201,2,248,22,152,15,23,201, +1,86,94,23,200,1,247,22,153,15,2,2,27,248,22,179,3,23,200,1,28, +249,22,159,9,8,46,249,22,139,8,23,198,2,23,197,2,27,248,22,178,3, +23,195,2,249,22,160,15,251,22,145,8,250,22,144,8,23,204,2,36,23,203, +1,23,202,1,249,23,205,1,23,203,1,23,201,1,28,248,22,144,7,23,206, +2,249,22,159,8,23,207,1,8,63,23,205,1,28,248,22,151,15,23,201,2, +248,22,152,15,23,201,1,86,94,23,200,1,247,22,153,15,28,248,22,130,4, +23,194,2,86,95,23,195,1,23,193,1,19,248,22,138,8,23,196,2,19,248, +22,138,8,23,197,2,249,22,160,15,251,22,145,8,250,22,144,8,23,205,2, +36,23,203,4,2,44,249,23,206,1,23,204,1,23,201,4,28,248,22,144,7, +23,207,2,249,22,159,8,23,208,1,8,63,23,206,1,28,248,22,151,15,23, +202,2,248,22,152,15,23,202,1,86,94,23,201,1,247,22,153,15,2,2,27, +248,22,179,3,23,195,1,28,249,22,159,9,8,46,249,22,139,8,23,199,2, +23,197,2,27,248,22,178,3,23,195,2,249,22,160,15,251,22,145,8,250,22, +144,8,23,205,2,36,23,203,1,23,203,1,249,23,206,1,23,204,1,23,201, +1,28,248,22,144,7,23,207,2,249,22,159,8,23,208,1,8,63,23,206,1, +28,248,22,151,15,23,202,2,248,22,152,15,23,202,1,86,94,23,201,1,247, +22,153,15,28,248,22,130,4,23,194,2,86,95,23,196,1,23,193,1,19,248, +22,138,8,23,197,2,19,248,22,138,8,23,198,2,249,22,160,15,251,22,145, +8,250,22,144,8,23,206,2,36,23,203,4,2,44,249,23,207,1,23,205,1, +23,201,4,28,248,22,144,7,23,208,2,249,22,159,8,23,209,1,8,63,23, +207,1,28,248,22,151,15,23,203,2,248,22,152,15,23,203,1,86,94,23,202, +1,247,22,153,15,2,2,27,248,22,179,3,23,195,1,28,249,22,159,9,8, +46,249,22,139,8,23,200,2,23,197,2,27,248,22,178,3,23,195,2,249,22, +160,15,251,22,145,8,250,22,144,8,23,206,2,36,23,203,1,23,204,1,249, +23,207,1,23,205,1,23,201,1,28,248,22,144,7,23,208,2,249,22,159,8, +23,209,1,8,63,23,207,1,28,248,22,151,15,23,203,2,248,22,152,15,23, +203,1,86,94,23,202,1,247,22,153,15,253,2,121,201,202,203,204,205,198,90, +159,38,11,89,161,38,36,11,86,95,28,28,248,22,151,15,23,199,2,10,28, +248,22,150,15,23,199,2,10,28,248,22,144,7,23,199,2,28,248,22,173,15, +23,199,2,10,248,22,174,15,23,199,2,11,12,252,22,168,11,23,200,2,2, +35,36,23,203,2,23,204,2,28,28,248,22,144,7,23,200,2,10,248,22,133, +8,23,200,2,12,252,22,168,11,23,200,2,2,52,37,23,203,2,23,204,2, +90,159,39,11,89,161,39,36,11,248,22,171,15,23,202,2,86,94,23,195,1, +86,94,28,192,12,250,22,171,11,23,201,1,2,53,23,204,2,249,22,7,194, +195,27,248,22,156,15,23,196,1,27,19,248,22,138,8,23,196,2,28,248,22, +130,4,23,194,4,86,94,23,199,1,19,248,22,138,8,23,197,2,19,248,22, +138,8,23,198,2,249,22,160,15,251,22,145,8,250,22,144,8,23,206,2,36, +23,203,4,2,44,249,23,210,1,23,205,1,23,201,4,28,248,22,144,7,23, +211,2,249,22,159,8,23,212,1,8,63,23,210,1,28,248,22,151,15,23,206, +2,248,22,152,15,23,206,1,86,94,23,205,1,247,22,153,15,2,2,27,248, +22,179,3,23,195,4,28,249,22,159,9,8,46,249,22,139,8,23,200,2,23, +197,2,27,248,22,178,3,23,195,2,249,22,160,15,251,22,145,8,250,22,144, +8,23,206,2,36,23,203,1,23,207,1,249,23,210,1,23,205,1,23,201,1, +28,248,22,144,7,23,211,2,249,22,159,8,23,212,1,8,63,23,210,1,28, +248,22,151,15,23,206,2,248,22,152,15,23,206,1,86,94,23,205,1,247,22, +153,15,28,248,22,130,4,23,194,2,86,95,23,200,1,23,193,1,19,248,22, +138,8,23,198,2,19,248,22,138,8,23,199,2,249,22,160,15,251,22,145,8, +250,22,144,8,23,207,2,36,23,203,4,2,44,249,23,211,1,23,206,1,23, +201,4,28,248,22,144,7,23,212,2,249,22,159,8,23,213,1,8,63,23,211, +1,28,248,22,151,15,23,207,2,248,22,152,15,23,207,1,86,94,23,206,1, 247,22,153,15,2,2,27,248,22,179,3,23,195,1,28,249,22,159,9,8,46, -249,22,139,8,23,199,2,23,197,2,27,248,22,178,3,23,195,2,249,22,160, -15,251,22,145,8,250,22,144,8,23,205,2,36,23,203,1,2,53,249,22,144, -8,23,204,1,23,201,1,28,248,22,144,7,23,205,2,249,22,159,8,23,206, -1,8,63,23,204,1,28,248,22,151,15,23,200,2,248,22,152,15,23,200,1, -86,94,23,199,1,247,22,153,15,251,2,122,198,199,200,196,90,159,38,11,89, -161,38,36,11,86,95,28,28,248,22,151,15,23,196,2,10,28,248,22,150,15, -23,196,2,10,28,248,22,144,7,23,196,2,28,248,22,173,15,23,196,2,10, -248,22,174,15,23,196,2,11,12,252,22,168,11,2,28,2,34,36,23,200,2, -23,201,2,28,28,248,22,144,7,23,197,2,10,248,22,133,8,23,197,2,12, -252,22,168,11,2,28,2,51,37,23,200,2,23,201,2,90,159,39,11,89,161, -39,36,11,248,22,171,15,23,199,2,86,94,23,195,1,86,94,28,192,12,250, -22,171,11,2,28,2,52,23,201,2,249,22,7,194,195,27,248,22,156,15,23, -196,1,27,251,2,122,23,198,2,23,201,1,23,202,1,248,22,138,8,23,199, -1,28,248,22,150,15,23,196,2,249,22,168,15,23,197,1,23,195,1,192,252, -80,158,41,8,25,2,28,2,53,22,144,8,198,199,249,247,22,171,5,23,195, -1,11,249,247,22,171,5,194,11,28,248,22,87,23,195,2,9,27,248,22,80, -23,196,2,27,28,248,22,175,15,23,195,2,23,194,1,28,248,22,174,15,23, -195,2,249,22,176,15,23,196,1,250,80,159,43,40,39,248,22,191,15,2,46, -11,10,250,80,159,41,40,39,248,22,191,15,2,46,23,197,1,10,28,23,193, -2,249,22,79,248,22,178,15,249,22,176,15,23,198,1,247,22,128,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,175,15,23,195,2,23,194,1,28,248,22,174,15,23,195, -2,249,22,176,15,23,196,1,250,80,159,43,40,39,248,22,191,15,2,46,11, -10,250,80,159,41,40,39,248,22,191,15,2,46,23,197,1,10,28,23,193,2, -249,22,79,248,22,178,15,249,22,176,15,23,198,1,247,22,128,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,175,15,23,195,2,23,194,1,28,248,22,174,15,23,195,2, -249,22,176,15,23,196,1,250,80,159,43,40,39,248,22,191,15,2,46,11,10, -250,80,159,41,40,39,248,22,191,15,2,46,23,197,1,10,28,23,193,2,249, -22,79,248,22,178,15,249,22,176,15,23,198,1,247,22,128,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,175,15,23,195,2,23,194,1,28,248,22,174,15,23,195,2,249,22,176,15, -23,196,1,250,80,159,48,40,39,248,22,191,15,2,46,11,10,250,80,159,46, -40,39,248,22,191,15,2,46,23,197,1,10,28,23,193,2,249,22,79,248,22, -178,15,249,22,176,15,23,198,1,247,22,128,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,175,15,23,195,2,23,194,1,28, -248,22,174,15,23,195,2,249,22,176,15,23,196,1,250,80,159,46,40,39,248, -22,191,15,2,46,11,10,250,80,159,44,40,39,248,22,191,15,2,46,23,197, -1,10,28,23,193,2,249,22,79,248,22,178,15,249,22,176,15,23,198,1,247, -22,128,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,166,8,247,22,165,8,2,54,28,192,249, -22,156,8,194,7,63,2,49,2,49,27,28,23,196,1,250,22,168,15,248,22, -191,15,2,55,247,22,162,8,2,56,11,27,248,80,159,42,8,31,39,250,22, -93,9,248,22,89,248,22,191,15,2,57,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,166,8,247,22, -165,8,2,54,28,192,249,22,156,8,194,7,63,2,49,2,49,27,28,23,196, -1,250,22,168,15,248,22,191,15,2,55,247,22,162,8,2,56,11,27,248,80, -159,42,8,32,39,250,22,93,23,203,1,248,22,89,248,22,191,15,2,57,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,166,8,247,22,165,8,2,54,28,192,249,22,156,8,194,7, -63,2,49,2,49,27,28,23,196,1,250,22,168,15,248,22,191,15,2,55,247, -22,162,8,2,56,11,27,248,80,159,42,8,33,39,250,22,93,23,203,1,248, -22,89,248,22,191,15,2,57,23,204,1,28,193,249,22,79,195,194,192,27,20, -13,159,80,159,37,53,37,26,9,80,159,46,54,37,249,22,33,11,80,159,48, -53,37,22,188,14,10,22,131,15,10,22,132,15,10,22,133,15,10,248,22,139, -6,23,196,2,28,248,22,139,7,23,194,2,12,86,94,248,22,167,9,23,194, -1,27,20,13,159,80,159,38,53,37,26,9,80,159,47,54,37,249,22,33,11, -80,159,49,53,37,22,188,14,10,22,131,15,10,22,132,15,10,22,133,15,10, -248,22,139,6,23,197,2,28,248,22,139,7,23,194,2,12,86,94,248,22,167, -9,23,194,1,27,20,13,159,80,159,39,53,37,26,9,80,159,48,54,37,249, -22,33,11,80,159,50,53,37,22,188,14,10,22,131,15,10,22,132,15,10,22, -133,15,10,248,22,139,6,23,198,2,28,248,22,139,7,23,194,2,12,86,94, -248,22,167,9,23,194,1,248,80,159,40,8,34,39,197,86,94,249,22,130,7, -247,22,167,5,23,196,2,248,22,154,6,249,22,133,4,36,249,22,181,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,191,15,2,46,27,250,80,159,42,40,39,23,197, -1,11,11,27,248,22,136,4,23,199,1,27,28,23,194,2,23,194,1,86,94, -23,194,1,36,27,248,22,136,4,23,202,1,27,28,23,194,2,23,194,1,86, -94,23,194,1,36,249,22,134,6,23,199,1,20,20,95,88,163,8,36,36,48, -11,9,224,4,2,33,135,2,23,195,1,23,197,1,27,248,22,183,5,23,195, -1,248,80,159,39,8,34,39,193,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,58,80,159,36,36,37,20,15,16,2, -249,22,146,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,63,80,159,36,38,37,20,15,16,2,88,163,36,38, -58,38,2,5,223,0,33,65,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,72,88,163,36,38,47,52, -9,223,0,33,73,88,163,36,37,46,52,9,223,0,33,74,80,159,36,40,37, -20,15,16,2,27,248,22,137,16,248,22,158,8,27,28,249,22,159,9,247,22, -171,8,2,35,6,1,1,59,6,1,1,58,250,22,128,8,6,14,14,40,91, -94,126,97,93,42,41,126,97,40,46,42,41,23,196,2,23,196,1,88,163,8, -36,38,48,11,2,7,223,0,33,78,80,159,36,41,37,20,15,16,2,32,0, -88,163,8,36,38,47,11,2,8,222,33,79,80,159,36,42,37,20,15,16,2, -32,0,88,163,8,36,39,48,11,2,9,222,33,81,80,159,36,43,37,20,15, -16,2,32,0,88,163,8,36,38,46,11,2,10,222,33,82,80,159,36,44,37, -20,15,16,2,88,163,45,39,49,8,128,16,2,11,223,0,33,84,80,159,36, -45,37,20,15,16,2,88,163,45,40,50,8,128,16,2,13,223,0,33,86,80, -159,36,47,37,20,15,16,2,248,22,191,15,70,108,105,110,107,115,45,102,105, -108,101,80,159,36,48,37,20,15,16,2,247,22,137,2,80,158,36,49,20,15, -16,2,2,87,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,88,80,159,36,51,37,20,15,16, -2,247,22,137,2,80,158,36,55,20,15,16,2,2,87,80,158,36,56,20,15, -16,2,88,163,36,37,44,8,240,0,240,94,0,2,24,223,0,33,99,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,101,80,159,36,59,37,20,15,16,2,88,163,36,40,8,24,8,240,0, -128,160,0,2,12,223,0,33,112,80,159,36,46,37,20,15,16,2,32,0,88, -163,36,39,50,11,2,26,222,33,113,80,159,36,8,24,37,20,15,16,2,32, -0,88,163,36,41,8,27,11,2,27,222,33,116,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,119,88,163,36, -38,49,8,240,0,0,0,2,2,28,223,0,33,121,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,124,88,163, -36,38,49,8,240,0,0,0,2,2,29,223,0,33,125,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,126,32, -0,88,163,36,37,44,11,2,30,222,33,127,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, -128,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,129,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,130,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,131,2,88,163,36,37,54,16,4,8,32, -36,37,36,9,223,0,33,132,2,88,163,36,38,55,16,4,8,32,36,38,36, -9,223,0,33,133,2,80,159,36,8,29,37,20,15,16,2,88,163,8,36,37, -57,16,4,36,42,40,36,2,42,223,0,33,134,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,136, -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, 12916); +249,22,139,8,23,201,2,23,197,2,27,248,22,178,3,23,195,2,249,22,160, +15,251,22,145,8,250,22,144,8,23,207,2,36,23,203,1,23,208,1,249,23, +211,1,23,206,1,23,201,1,28,248,22,144,7,23,212,2,249,22,159,8,23, +213,1,8,63,23,211,1,28,248,22,151,15,23,207,2,248,22,152,15,23,207, +1,86,94,23,206,1,247,22,153,15,253,2,121,23,203,1,23,207,1,23,208, +1,23,209,1,23,210,1,23,199,1,2,28,248,22,150,15,23,196,2,249,22, +168,15,23,197,1,23,195,1,192,32,124,88,163,36,40,57,11,2,43,222,33, +125,28,248,22,130,4,23,197,2,86,94,23,196,1,19,248,22,138,8,23,195, +2,35,248,22,138,8,23,196,2,249,22,160,15,251,22,145,8,250,22,144,8, +23,204,1,36,23,203,4,2,44,2,44,28,248,22,144,7,23,204,2,249,22, +159,8,23,205,1,8,63,23,203,1,28,248,22,151,15,23,199,2,248,22,152, +15,23,199,1,86,94,23,198,1,247,22,153,15,2,27,248,22,179,3,23,198, +1,28,249,22,159,9,8,46,249,22,139,8,23,198,2,23,197,2,35,248,22, +178,3,23,195,2,249,22,160,15,251,22,145,8,250,22,144,8,23,204,1,36, +23,203,1,2,44,2,44,28,248,22,144,7,23,204,2,249,22,159,8,23,205, +1,8,63,23,203,1,28,248,22,151,15,23,199,2,248,22,152,15,23,199,1, +86,94,23,198,1,247,22,153,15,28,248,22,130,4,23,194,2,86,94,23,193, +1,19,248,22,138,8,23,196,2,35,248,22,138,8,23,197,2,249,22,160,15, +251,22,145,8,250,22,144,8,23,205,1,36,23,203,4,2,44,2,44,28,248, +22,144,7,23,205,2,249,22,159,8,23,206,1,8,63,23,204,1,28,248,22, +151,15,23,200,2,248,22,152,15,23,200,1,86,94,23,199,1,247,22,153,15, +2,27,248,22,179,3,23,195,1,28,249,22,159,9,8,46,249,22,139,8,23, +199,2,23,197,2,35,248,22,178,3,23,195,2,249,22,160,15,251,22,145,8, +250,22,144,8,23,205,1,36,23,203,1,2,44,2,44,28,248,22,144,7,23, +205,2,249,22,159,8,23,206,1,8,63,23,204,1,28,248,22,151,15,23,200, +2,248,22,152,15,23,200,1,86,94,23,199,1,247,22,153,15,251,2,124,198, +199,200,196,90,159,38,11,89,161,38,36,11,86,95,28,28,248,22,151,15,23, +196,2,10,28,248,22,150,15,23,196,2,10,28,248,22,144,7,23,196,2,28, +248,22,173,15,23,196,2,10,248,22,174,15,23,196,2,11,12,252,22,168,11, +2,29,2,35,36,23,200,2,23,201,2,28,28,248,22,144,7,23,197,2,10, +248,22,133,8,23,197,2,12,252,22,168,11,2,29,2,52,37,23,200,2,23, +201,2,90,159,39,11,89,161,39,36,11,248,22,171,15,23,199,2,86,94,23, +195,1,86,94,28,192,12,250,22,171,11,2,29,2,53,23,201,2,249,22,7, +194,195,27,248,22,156,15,23,196,1,27,251,2,124,23,198,2,23,201,1,23, +202,1,248,22,138,8,23,199,1,28,248,22,150,15,23,196,2,249,22,168,15, +23,197,1,23,195,1,192,2,44,252,80,158,41,8,26,2,29,2,44,32,0, +88,163,8,36,38,43,11,9,222,33,127,198,199,32,129,2,88,163,36,40,57, +11,2,43,222,33,130,2,28,248,22,130,4,23,197,2,86,94,23,196,1,19, +248,22,138,8,23,195,2,19,248,22,138,8,23,196,2,249,22,160,15,251,22, +145,8,250,22,144,8,23,204,2,36,23,203,4,2,44,249,22,144,8,23,203, +1,23,201,4,28,248,22,144,7,23,204,2,249,22,159,8,23,205,1,8,63, +23,203,1,28,248,22,151,15,23,199,2,248,22,152,15,23,199,1,86,94,23, +198,1,247,22,153,15,2,2,27,248,22,179,3,23,198,1,28,249,22,159,9, +8,46,249,22,139,8,23,198,2,23,197,2,27,248,22,178,3,23,195,2,249, +22,160,15,251,22,145,8,250,22,144,8,23,204,2,36,23,203,1,2,54,249, +22,144,8,23,203,1,23,201,1,28,248,22,144,7,23,204,2,249,22,159,8, +23,205,1,8,63,23,203,1,28,248,22,151,15,23,199,2,248,22,152,15,23, +199,1,86,94,23,198,1,247,22,153,15,28,248,22,130,4,23,194,2,86,94, +23,193,1,19,248,22,138,8,23,196,2,19,248,22,138,8,23,197,2,249,22, +160,15,251,22,145,8,250,22,144,8,23,205,2,36,23,203,4,2,44,249,22, +144,8,23,204,1,23,201,4,28,248,22,144,7,23,205,2,249,22,159,8,23, +206,1,8,63,23,204,1,28,248,22,151,15,23,200,2,248,22,152,15,23,200, +1,86,94,23,199,1,247,22,153,15,2,2,27,248,22,179,3,23,195,1,28, +249,22,159,9,8,46,249,22,139,8,23,199,2,23,197,2,27,248,22,178,3, +23,195,2,249,22,160,15,251,22,145,8,250,22,144,8,23,205,2,36,23,203, +1,2,54,249,22,144,8,23,204,1,23,201,1,28,248,22,144,7,23,205,2, +249,22,159,8,23,206,1,8,63,23,204,1,28,248,22,151,15,23,200,2,248, +22,152,15,23,200,1,86,94,23,199,1,247,22,153,15,251,2,129,2,198,199, +200,196,90,159,38,11,89,161,38,36,11,86,95,28,28,248,22,151,15,23,196, +2,10,28,248,22,150,15,23,196,2,10,28,248,22,144,7,23,196,2,28,248, +22,173,15,23,196,2,10,248,22,174,15,23,196,2,11,12,252,22,168,11,2, +29,2,35,36,23,200,2,23,201,2,28,28,248,22,144,7,23,197,2,10,248, +22,133,8,23,197,2,12,252,22,168,11,2,29,2,52,37,23,200,2,23,201, +2,90,159,39,11,89,161,39,36,11,248,22,171,15,23,199,2,86,94,23,195, +1,86,94,28,192,12,250,22,171,11,2,29,2,53,23,201,2,249,22,7,194, +195,27,248,22,156,15,23,196,1,27,251,2,129,2,23,198,2,23,201,1,23, +202,1,248,22,138,8,23,199,1,28,248,22,150,15,23,196,2,249,22,168,15, +23,197,1,23,195,1,192,252,80,158,41,8,26,2,29,2,54,22,144,8,198, +199,249,247,22,171,5,23,195,1,11,249,247,22,171,5,194,11,28,248,22,87, +23,195,2,9,27,248,22,80,23,196,2,27,28,248,22,175,15,23,195,2,23, +194,1,28,248,22,174,15,23,195,2,249,22,176,15,23,196,1,250,80,159,43, +40,39,248,22,191,15,2,47,11,10,250,80,159,41,40,39,248,22,191,15,2, +47,23,197,1,10,28,23,193,2,249,22,79,248,22,178,15,249,22,176,15,23, +198,1,247,22,128,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,175,15,23,195,2,23,194, +1,28,248,22,174,15,23,195,2,249,22,176,15,23,196,1,250,80,159,43,40, +39,248,22,191,15,2,47,11,10,250,80,159,41,40,39,248,22,191,15,2,47, +23,197,1,10,28,23,193,2,249,22,79,248,22,178,15,249,22,176,15,23,198, +1,247,22,128,16,248,80,159,41,8,33,39,248,22,81,23,200,1,86,94,23, +193,1,248,80,159,39,8,33,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,175,15,23,195,2,23,194,1, +28,248,22,174,15,23,195,2,249,22,176,15,23,196,1,250,80,159,43,40,39, +248,22,191,15,2,47,11,10,250,80,159,41,40,39,248,22,191,15,2,47,23, +197,1,10,28,23,193,2,249,22,79,248,22,178,15,249,22,176,15,23,198,1, +247,22,128,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,175,15,23,195,2,23,194,1,28,248,22,174, +15,23,195,2,249,22,176,15,23,196,1,250,80,159,48,40,39,248,22,191,15, +2,47,11,10,250,80,159,46,40,39,248,22,191,15,2,47,23,197,1,10,28, +23,193,2,249,22,79,248,22,178,15,249,22,176,15,23,198,1,247,22,128,16, +248,80,159,46,8,34,39,248,22,81,23,199,1,86,94,23,193,1,248,80,159, +44,8,34,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,175, +15,23,195,2,23,194,1,28,248,22,174,15,23,195,2,249,22,176,15,23,196, +1,250,80,159,46,40,39,248,22,191,15,2,47,11,10,250,80,159,44,40,39, +248,22,191,15,2,47,23,197,1,10,28,23,193,2,249,22,79,248,22,178,15, +249,22,176,15,23,198,1,247,22,128,16,248,80,159,44,8,34,39,248,22,81, +23,199,1,86,94,23,193,1,248,80,159,42,8,34,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,166,8,247, +22,165,8,2,55,28,192,249,22,156,8,194,7,63,2,50,2,50,27,28,23, +196,1,250,22,168,15,248,22,191,15,2,56,247,22,162,8,2,57,11,27,248, +80,159,42,8,32,39,250,22,93,9,248,22,89,248,22,191,15,2,58,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,166,8,247,22,165,8,2,55,28,192,249,22,156,8,194,7,63, +2,50,2,50,27,28,23,196,1,250,22,168,15,248,22,191,15,2,56,247,22, +162,8,2,57,11,27,248,80,159,42,8,33,39,250,22,93,23,203,1,248,22, +89,248,22,191,15,2,58,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,166,8,247,22,165,8,2,55, +28,192,249,22,156,8,194,7,63,2,50,2,50,27,28,23,196,1,250,22,168, +15,248,22,191,15,2,56,247,22,162,8,2,57,11,27,248,80,159,42,8,34, +39,250,22,93,23,203,1,248,22,89,248,22,191,15,2,58,23,204,1,28,193, +249,22,79,195,194,192,27,20,13,159,80,159,37,53,37,26,9,80,159,46,54, +37,249,22,33,11,80,159,48,53,37,22,188,14,10,22,131,15,10,22,132,15, +10,22,133,15,10,248,22,139,6,23,196,2,28,248,22,139,7,23,194,2,12, +86,94,248,22,167,9,23,194,1,27,20,13,159,80,159,38,53,37,26,9,80, +159,47,54,37,249,22,33,11,80,159,49,53,37,22,188,14,10,22,131,15,10, +22,132,15,10,22,133,15,10,248,22,139,6,23,197,2,28,248,22,139,7,23, +194,2,12,86,94,248,22,167,9,23,194,1,27,20,13,159,80,159,39,53,37, +26,9,80,159,48,54,37,249,22,33,11,80,159,50,53,37,22,188,14,10,22, +131,15,10,22,132,15,10,22,133,15,10,248,22,139,6,23,198,2,28,248,22, +139,7,23,194,2,12,86,94,248,22,167,9,23,194,1,248,80,159,40,8,35, +39,197,86,94,249,22,130,7,247,22,167,5,23,196,2,248,22,154,6,249,22, +133,4,36,249,22,181,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,191,15,2,47,27, +250,80,159,42,40,39,23,197,1,11,11,27,248,22,136,4,23,199,1,27,28, +23,194,2,23,194,1,86,94,23,194,1,36,27,248,22,136,4,23,202,1,27, +28,23,194,2,23,194,1,86,94,23,194,1,36,249,22,134,6,23,199,1,20, +20,95,88,163,8,36,36,48,11,9,224,4,2,33,142,2,23,195,1,23,197, +1,27,248,22,183,5,23,195,1,248,80,159,39,8,35,39,193,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,32,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,2,33,16,0,37,39,36,16,0,36,16,15, +2,9,2,10,2,8,2,3,2,27,2,24,2,25,2,22,2,17,2,23,2, +26,2,28,2,15,2,14,2,16,51,11,11,11,16,13,2,13,2,11,2,33, +2,12,2,6,2,32,2,31,2,4,2,30,2,7,2,29,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, +33,2,12,2,6,2,32,2,31,2,4,2,30,2,7,2,29,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,32,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,146,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,158,8,27,28,249,22,159,9,247,22,171,8,2,36,6,1,1,59,6, +1,1,58,250,22,128,8,6,14,14,40,91,94,126,97,93,42,41,126,97,40, +46,42,41,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,191,15,70,108,105,110,107,115,45,102,105,108,101,80,159,36,48,37,20,15, +16,2,247,22,137,2,80,158,36,49,20,15,16,2,11,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,88,80,159,36,51,37,20,15,16,2,247,22,137,2,80,158,36,55,20, +15,16,2,11,80,158,36,56,20,15,16,2,88,163,36,37,44,8,240,0,0, +64,0,2,24,223,0,33,96,80,159,36,57,37,20,15,16,2,88,163,36,37, +44,8,240,0,240,126,0,2,25,223,0,33,106,80,159,36,59,37,20,15,16, +2,88,163,36,38,56,8,240,0,0,0,1,2,26,223,0,33,108,80,159,36, +8,24,37,20,15,16,2,88,163,36,40,8,24,8,240,0,128,128,1,2,12, +223,0,33,119,80,159,36,46,37,20,15,16,2,32,0,88,163,36,39,50,11, +2,27,222,33,120,80,159,36,8,25,37,20,15,16,2,32,0,88,163,36,41, +8,27,11,2,28,222,33,123,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,126,88,163,36,38,49,8,240,0, +0,0,4,2,29,223,0,33,128,2,80,159,36,8,27,37,20,15,16,2,20, +27,158,32,0,88,163,36,38,52,11,2,30,222,33,131,2,88,163,36,38,49, +8,240,0,0,0,4,2,30,223,0,33,132,2,80,159,36,8,28,37,20,15, +16,2,20,27,158,32,0,88,163,36,37,44,11,2,31,222,33,133,2,32,0, +88,163,36,37,44,11,2,31,222,33,134,2,80,159,36,8,29,37,20,15,16, +2,88,163,8,36,37,51,16,4,52,36,37,36,2,43,223,0,33,135,2,80, +159,36,8,32,39,20,15,16,2,88,163,8,36,37,51,16,4,52,36,38,36, +2,43,223,0,33,136,2,80,159,36,8,33,39,20,15,16,2,88,163,8,36, +37,56,16,4,52,36,40,36,2,43,223,0,33,137,2,80,159,36,8,34,39, +20,15,16,2,20,25,96,2,32,88,163,36,36,53,16,4,8,32,36,37,36, +9,223,0,33,138,2,88,163,36,37,54,16,4,8,32,36,38,36,9,223,0, +33,139,2,88,163,36,38,55,16,4,8,32,36,40,36,9,223,0,33,140,2, +80,159,36,8,30,37,20,15,16,2,88,163,8,36,37,57,16,4,36,42,44, +36,2,43,223,0,33,141,2,80,159,36,8,35,39,20,15,16,2,88,163,8, +36,39,54,16,4,52,36,44,36,2,33,223,0,33,143,2,80,159,36,8,31, +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, 13372); } { SHARED_OK static MZCOMPILED_STRING_FAR unsigned char expr[] = {35,126,9,53,46,51,46,57,48,48,46,49,84,0,0,0,0,0,0,0,0, @@ -1240,7 +1261,7 @@ 2,2,74,35,37,112,108,97,99,101,45,115,116,114,117,99,116,11,29,94,2, 2,66,35,37,98,111,111,116,11,29,94,2,2,68,35,37,101,120,112,111,98, 115,11,29,94,2,2,68,35,37,107,101,114,110,101,108,11,97,36,11,8,240, -62,91,0,0,100,159,2,3,36,36,159,2,4,36,36,159,2,5,36,36,159, +74,91,0,0,100,159,2,3,36,36,159,2,4,36,36,159,2,5,36,36,159, 2,6,36,36,159,2,7,36,36,159,2,8,36,36,159,2,9,36,36,159,2, 9,36,36,16,0,159,36,20,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,18,96,11,46,46,46,36,80, diff --git a/racket/src/racket/src/schminc.h b/racket/src/racket/src/schminc.h index 4d64f1573f..dd10952591 100644 --- a/racket/src/racket/src/schminc.h +++ b/racket/src/racket/src/schminc.h @@ -12,7 +12,7 @@ finally, set EXPECTED_PRIM_COUNT to the right value and USE_COMPILED_STARTUP to 1 and `make' again. */ -#define USE_COMPILED_STARTUP 0 +#define USE_COMPILED_STARTUP 1 #define EXPECTED_PRIM_COUNT 1105 #define EXPECTED_UNSAFE_COUNT 100 diff --git a/racket/src/racket/src/startup.inc b/racket/src/racket/src/startup.inc index cf9f503737..2108b8298c 100644 --- a/racket/src/racket/src/startup.inc +++ b/racket/src/racket/src/startup.inc @@ -343,7 +343,7 @@ " file-name)))" "(define-values(user-links-path)(find-system-path 'links-file))" "(define-values(user-links-cache)(make-hasheq))" -"(define-values(user-links-timestamp) -inf.0)" +"(define-values(user-links-stamp) #f)" "(define-values(links-path)(find-links-path!" "(lambda()" "(let((d(let((c(find-system-path 'config-dir)))" @@ -354,7 +354,37 @@ "(and d" " (build-path d \"links.rktd\"))))))" "(define-values(links-cache)(make-hasheq))" -"(define-values(links-timestamp) -inf.0)" +"(define-values(links-stamp) #f)" +"(define-values(file->stamp)" +"(lambda(path)" +"(call-with-continuation-prompt" +"(lambda()" +"(with-continuation-mark" +" exception-handler-key" +"(lambda(exn)" +"(if(exn:fail:filesystem? exn)" +"(abort-current-continuation " +"(default-continuation-prompt-tag)" +"(lambda() #f))" +"(lambda()(raise exn))))" +"(let((p(open-input-file path)))" +"(dynamic-wind" +" void" +"(lambda()" +"(let((bstr(read-bytes 8192 p)))" +"(if(and(bytes? bstr)" +"((bytes-length bstr) . >= . 8192))" +"(apply" +" bytes-append" +"(cons" +" bstr" +"(let loop()" +"(let((bstr(read-bytes 8192 p)))" +"(if(eof-object? bstr)" +" null" +"(cons bstr(loop)))))))" +" bstr)))" +"(lambda()(close-input-port p)))))))))" "(define-values(get-linked-collections)" "(lambda(user?)" "(call/ec(lambda(esc)" @@ -375,22 +405,20 @@ "(if user?" "(begin" "(set! user-links-cache(make-hasheq))" -"(set! user-links-timestamp ts))" +"(set! user-links-stamp ts))" "(begin" "(set! links-cache(make-hasheq))" -"(set! links-timestamp ts))))" +"(set! links-stamp ts))))" "(if(exn:fail? exn)" "(esc(make-hasheq))" " exn))))" "(with-continuation-mark" " exception-handler-key" "(make-handler #f)" -"(let((ts(file-or-directory-modify-seconds(if user?" +"(let((ts(file->stamp(if user?" " user-links-path" -" links-path)" -" #f " -"(lambda() -inf.0))))" -"(if(ts . > .(if user? user-links-timestamp links-timestamp))" +" links-path))))" +"(if(not(equal? ts(if user? user-links-stamp links-stamp)))" "(with-continuation-mark" " exception-handler-key" "(make-handler ts)" @@ -459,10 +487,10 @@ "(if user?" "(begin" "(set! user-links-cache ht)" -"(set! user-links-timestamp ts))" +"(set! user-links-stamp ts))" "(begin" "(set! links-cache ht)" -"(set! links-timestamp ts)))" +"(set! links-stamp ts)))" " ht))))" "(if user?" " user-links-cache" diff --git a/racket/src/racket/src/startup.rktl b/racket/src/racket/src/startup.rktl index 450fa7672d..5bd7afa068 100644 --- a/racket/src/racket/src/startup.rktl +++ b/racket/src/racket/src/startup.rktl @@ -407,7 +407,7 @@ (define-values (user-links-path) (find-system-path 'links-file)) (define-values (user-links-cache) (make-hasheq)) - (define-values (user-links-timestamp) -inf.0) + (define-values (user-links-stamp) #f) (define-values (links-path) (find-links-path! ;; This thunk is called once per place, and the result @@ -423,7 +423,43 @@ (and d (build-path d "links.rktd")))))) (define-values (links-cache) (make-hasheq)) - (define-values (links-timestamp) -inf.0) + (define-values (links-stamp) #f) + + (define-values (file->stamp) + (lambda (path) + ;; We'd prefer to do something lighter than read the file every time! + ;; Using just the file's modification date almost works, but 1-second + ;; granularity isn't fine enough. To do this right, probably Racket needs + ;; to provide more support from the OS's filesystem (along the lines of + ;; inotify, but the interface varies among platforms). + (call-with-continuation-prompt + (lambda () + (with-continuation-mark + exception-handler-key + (lambda (exn) + (if (exn:fail:filesystem? exn) + (abort-current-continuation + (default-continuation-prompt-tag) + (lambda () #f)) + (lambda () (raise exn)))) + (let ([p (open-input-file path)]) + (dynamic-wind + void + (lambda () + (let ([bstr (read-bytes 8192 p)]) + (if (and (bytes? bstr) + ((bytes-length bstr) . >= . 8192)) + (apply + bytes-append + (cons + bstr + (let loop () + (let ([bstr (read-bytes 8192 p)]) + (if (eof-object? bstr) + null + (cons bstr (loop))))))) + bstr))) + (lambda () (close-input-port p))))))))) (define-values (get-linked-collections) (lambda (user?) @@ -445,10 +481,10 @@ (if user? (begin (set! user-links-cache (make-hasheq)) - (set! user-links-timestamp ts)) + (set! user-links-stamp ts)) (begin (set! links-cache (make-hasheq)) - (set! links-timestamp ts)))) + (set! links-stamp ts)))) (if (exn:fail? exn) (esc (make-hasheq)) ;; re-raise the exception (which is probably a break) @@ -456,12 +492,10 @@ (with-continuation-mark exception-handler-key (make-handler #f) - (let ([ts (file-or-directory-modify-seconds (if user? - user-links-path - links-path) - #f - (lambda () -inf.0))]) - (if (ts . > . (if user? user-links-timestamp links-timestamp)) + (let ([ts (file->stamp (if user? + user-links-path + links-path))]) + (if (not (equal? ts (if user? user-links-stamp links-stamp))) (with-continuation-mark exception-handler-key (make-handler ts) @@ -532,14 +566,14 @@ (hash-for-each ht (lambda (k v) (hash-set! ht k (reverse v)))) - ;; save table & timestamp: + ;; save table & file content: (if user? (begin (set! user-links-cache ht) - (set! user-links-timestamp ts)) + (set! user-links-stamp ts)) (begin (set! links-cache ht) - (set! links-timestamp ts))) + (set! links-stamp ts))) ht)))) (if user? user-links-cache