shithub: MicroHs

Download patch

ref: 7599c25eebcf7d029c21468ce74609fcd77a5528
parent: 738b5e45f942d5692233af39ef900f2877bd4de4
author: Lennart Augustsson <lennart@augustsson.net>
date: Sat Nov 9 08:11:37 EST 2024 

Make it build with mcabal.


--- a/MicroHs.cabal
+++ b/MicroHs.cabal
@@ -117,9 +117,6 @@
                        directory    >= 1.2 && < 1.5,
                        text         >= 2.0 && < 2.3,
 
--- Hackage does not accept 'mhs' as a valid Haskell compiler,
--- so mcabal has a hack to recognize lines that start with
--- '--MHS' as non-comments.
---MHS  if impl(mhs)
---MHS    hs-source-dirs:    mhs src paths
---MHS    build-depends:     base         >= 0.1 && < 10.0,
+  if impl(mhs)
+    hs-source-dirs:    mhs src
+    build-depends:     base         >= 0.1 && < 10.0,
--- a/generated/mhs.c
+++ b/generated/mhs.c
@@ -1,5 +1,5 @@
 static unsigned char data[] = {
-122,76,90,49,11,116,1,0,26,118,55,46,48,10,49,57,54,51,10,65,
+122,76,90,49,20,116,1,0,26,118,55,46,48,10,49,57,54,51,10,65,
 32,95,48,32,95,50,51,32,64,95,50,48,52,32,64,66,224,15,2,6,
 49,51,32,64,64,66,32,224,18,4,16,50,32,64,64,64,83,39,32,66,
 32,64,66,39,32,67,32,83,64,50,6,83,32,67,39,32,83,39,128,10,
@@ -4226,545 +4226,545 @@
 164,67,2,50,49,57,64,25,198,80,0,50,123,97,0,51,82,76,70,128,
 65,168,247,239,1,227,40,2,194,64,0,52,113,107,226,59,16,7,76,111,
 97,100,105,110,103,32,194,67,245,5,0,229,15,4,227,130,5,0,51,108,
-238,132,232,224,182,1,228,246,2,224,178,2,65,223,2,51,51,50,64,19,
-110,28,1,52,54,88,252,0,50,64,132,224,163,1,193,52,224,165,16,0,
-80,160,157,24,99,111,109,112,105,108,101,32,118,101,114,115,105,111,110,32,
-109,105,115,109,97,116,99,104,58,192,191,164,128,226,85,1,128,111,230,155,
-18,160,82,0,114,128,57,192,153,129,78,192,246,132,179,1,95,52,71,237,
-98,156,68,77,221,216,64,247,135,114,71,108,199,114,224,24,3,0,51,145,
-217,128,24,71,182,160,47,224,22,3,161,243,1,52,55,71,18,1,52,55,
-97,180,1,52,55,160,49,64,206,94,251,100,168,83,20,1,95,51,66,237,
-2,95,52,56,97,249,2,95,51,52,64,40,229,210,0,2,95,52,56,66,
-247,1,52,56,170,105,228,245,5,97,108,70,169,2,95,52,56,69,148,0,
-58,96,214,157,143,0,51,105,32,0,58,96,24,128,17,0,52,201,60,0,
-58,96,78,192,38,0,90,233,83,0,0,58,96,108,3,10,65,32,90,69,
-197,0,58,96,146,192,37,73,127,0,58,96,197,189,238,1,75,52,192,76,
-64,225,243,211,0,193,44,119,43,225,9,0,72,192,0,52,89,159,192,6,
-224,25,6,130,79,96,6,224,26,7,101,181,128,6,0,58,97,82,160,127,
-160,144,0,54,224,144,1,128,16,222,158,128,212,0,58,96,110,224,157,1,
-202,147,77,192,195,255,1,95,51,116,156,160,6,110,120,102,225,101,100,65,
-171,2,95,52,55,96,4,129,131,1,95,51,68,207,64,89,129,89,1,95,
-51,68,165,77,165,96,33,96,124,0,58,64,49,128,28,168,241,133,96,107,
-99,232,224,0,0,58,98,54,224,37,7,217,212,169,29,233,14,1,0,58,
-98,149,128,237,0,50,97,182,193,184,64,26,129,132,129,248,0,52,160,2,
-224,31,0,64,32,176,33,4,52,54,53,32,58,101,246,15,10,65,32,94,
-71,69,84,84,73,77,69,77,73,76,76,73,64,22,129,61,133,36,64,126,
-239,103,12,1,95,52,140,248,174,36,177,208,128,179,235,37,0,104,116,67,
-108,238,116,14,192,22,224,49,3,138,243,64,53,198,222,2,79,32,35,78,
-232,128,198,235,150,9,97,9,150,91,64,0,232,123,1,235,175,3,235,220,
-6,164,238,64,132,229,157,5,233,225,18,228,117,17,0,70,68,195,233,221,
-8,233,51,3,169,46,224,120,0,99,189,236,76,1,0,52,101,213,207,182,
-225,17,7,236,32,1,193,143,162,24,162,156,98,184,0,52,100,51,233,79,
-0,96,33,165,207,236,154,3,69,65,162,216,167,234,128,100,128,14,108,170,
-97,153,98,45,242,27,1,192,141,3,95,52,53,52,231,94,2,7,109,104,
-115,99,112,112,46,104,208,169,64,42,143,178,163,99,226,20,3,224,138,0,
-96,132,135,111,224,232,3,160,186,161,143,224,184,1,1,52,54,96,224,224,
-171,1,128,156,131,120,237,192,6,0,49,70,164,1,95,52,99,210,101,101,
-230,192,2,124,248,76,90,70,190,75,252,167,104,239,30,6,5,114,101,109,
-111,118,101,97,210,5,102,97,105,108,101,100,128,219,0,58,96,134,67,46,
-7,117,110,108,105,110,107,32,58,96,101,161,31,225,33,2,2,50,49,49,
-224,77,2,7,77,72,83,67,80,80,72,83,239,104,3,224,46,6,225,228,
-5,106,223,0,66,235,0,4,128,245,232,69,10,192,209,136,53,226,167,0,
-232,39,1,226,180,19,8,82,117,110,32,99,112,112,104,115,226,175,20,1,
-95,52,199,64,128,183,160,133,169,226,1,56,55,224,91,13,96,87,232,122,
-0,224,244,1,224,140,16,7,32,45,45,115,116,114,105,112,160,138,236,12,
-6,234,229,0,206,100,162,174,107,185,0,53,99,58,224,39,2,3,67,39,
-32,79,141,7,224,109,15,1,45,73,168,86,160,49,224,25,1,10,47,115,
-114,99,47,114,117,110,116,105,109,190,64,100,117,64,76,1,57,53,224,193,
-10,2,79,32,35,91,32,132,154,228,175,2,224,20,1,65,65,248,233,4,
-224,66,11,235,169,0,132,253,129,93,225,44,18,0,79,225,91,1,130,154,
-231,164,0,0,50,229,245,0,224,1,1,236,191,2,1,64,58,96,141,3,
-10,65,32,79,226,164,2,8,45,68,95,95,77,72,83,95,95,64,86,0,
-75,70,196,65,84,70,40,3,50,53,49,32,224,160,2,0,58,97,125,134,
-28,227,118,10,0,53,144,58,234,57,7,227,120,15,129,14,237,22,32,8,
-99,97,108,108,67,111,109,109,97,69,98,131,154,194,46,239,71,8,0,49,
-133,80,224,78,19,0,44,226,246,19,96,234,0,54,131,239,7,115,121,115,
-116,101,109,32,58,96,222,99,239,228,116,3,224,236,2,97,5,183,198,64,
-34,224,21,4,114,187,2,95,52,53,96,249,225,62,3,1,95,50,82,240,
-228,245,8,105,203,225,102,6,0,52,73,80,1,95,52,172,15,229,191,4,
-165,180,64,29,0,51,97,192,232,241,0,2,95,52,53,86,30,129,125,0,
-49,114,89,0,35,134,35,3,95,52,50,57,102,68,183,85,0,83,64,80,
-64,81,75,218,225,51,2,130,63,71,178,3,95,49,55,57,226,55,2,8,
-92,51,52,38,108,105,98,47,83,97,33,5,47,73,79,46,104,115,64,19,
-5,44,50,56,52,58,56,129,94,0,90,129,47,110,59,64,110,97,18,2,
-48,50,32,128,131,160,19,96,0,0,67,96,36,224,118,7,0,58,96,208,
-133,233,0,89,138,243,135,184,224,84,3,173,180,197,36,181,68,64,12,168,
-173,228,78,1,224,136,1,243,70,0,160,53,98,200,160,17,237,212,0,66,
-174,151,97,0,65,96,14,133,242,7,94,116,109,112,110,97,109,101,66,20,
-227,122,0,227,121,10,227,123,5,1,64,58,103,164,98,66,2,95,49,56,
-64,109,5,32,64,95,54,32,89,135,216,128,170,146,115,64,1,65,110,184,
-139,97,66,160,213,64,26,234,192,0,84,50,97,179,97,216,0,35,66,202,
-96,105,96,36,247,186,1,219,127,110,192,224,45,0,0,52,176,20,96,33,
-216,5,201,166,224,42,5,0,51,243,206,1,96,36,224,129,17,138,168,96,
-123,224,117,13,64,10,67,2,64,112,224,33,14,154,66,224,33,19,0,49,
-109,193,224,67,20,97,57,96,33,107,78,130,228,224,36,7,96,138,249,242,
-1,224,0,3,225,132,8,226,91,4,225,133,19,193,44,225,132,71,0,49,
-178,108,128,0,138,12,224,133,18,194,219,163,223,73,95,228,1,0,250,118,
-1,252,128,0,252,127,1,231,199,4,143,70,117,212,1,52,52,130,93,1,
-95,52,83,21,0,58,106,180,233,130,9,132,164,139,102,233,222,9,228,178,
-2,0,58,96,70,164,164,69,66,1,95,50,87,149,234,20,6,0,50,87,
-189,224,236,0,0,83,114,243,64,67,102,71,1,95,54,75,249,0,48,232,
-252,0,165,69,192,60,72,46,0,52,75,244,235,20,2,234,243,4,131,239,
-1,95,50,88,58,161,83,235,49,7,235,68,4,73,107,77,248,1,95,52,
-97,182,224,75,0,237,97,1,64,104,68,47,111,121,0,58,96,38,131,239,
-69,82,0,51,101,154,64,145,64,245,64,1,102,181,100,192,3,52,48,32,
-35,115,165,64,224,0,52,64,210,147,105,97,169,229,119,14,8,68,97,116,
-97,47,67,104,97,114,197,119,3,49,48,49,58,191,152,103,125,64,215,96,
-192,217,170,103,38,0,49,245,14,0,0,49,68,143,96,5,128,123,160,11,
-97,114,96,205,133,122,65,71,0,50,113,119,147,122,0,52,133,20,3,95,
-52,51,57,65,97,94,23,109,38,165,7,64,13,197,21,0,58,64,35,128,
-10,124,177,67,75,128,58,0,54,64,27,130,0,78,117,71,187,65,56,138,
-40,232,20,2,161,211,135,220,0,52,162,189,231,212,15,247,89,0,64,106,
-208,5,243,240,0,98,90,64,68,97,203,198,17,232,55,4,232,6,4,224,
-120,0,224,107,21,244,80,3,226,155,1,158,176,224,26,12,226,182,6,224,
-102,21,2,108,105,110,243,198,0,225,11,4,232,232,33,2,99,111,108,160,
-65,224,52,4,1,64,64,224,37,2,9,101,110,100,45,111,102,45,102,105,
-108,170,248,224,26,1,10,110,111,32,108,111,99,97,116,105,111,110,193,93,
-224,28,17,0,58,97,162,149,207,100,100,79,156,133,66,0,58,97,120,147,
-103,67,199,0,52,152,78,67,160,224,183,11,238,86,0,175,231,174,158,1,
-95,51,73,135,0,58,112,126,162,155,0,51,115,120,130,155,0,51,130,135,
-229,65,0,124,13,98,188,135,245,128,6,0,58,96,51,3,10,65,32,89,
-229,118,0,232,4,9,200,3,64,48,220,63,133,247,78,229,229,66,0,192,
-18,1,66,39,96,21,198,75,128,20,224,29,0,225,230,0,232,239,0,0,
-58,96,150,128,194,247,144,1,0,54,82,101,69,13,160,48,245,167,1,224,
-15,1,141,220,131,204,130,10,69,158,0,56,139,167,192,91,209,234,0,50,
-81,234,64,80,179,17,243,234,3,70,80,114,122,0,48,119,126,75,168,1,
-95,52,112,79,0,73,64,85,65,111,0,85,64,23,67,15,1,58,52,64,
-160,204,101,147,121,64,24,64,63,2,49,50,52,143,249,96,146,139,14,134,
-85,1,95,49,115,234,98,121,0,55,64,74,98,255,2,49,51,48,192,11,
-0,58,96,6,96,132,2,49,32,75,77,103,110,83,0,55,228,238,2,12,
-67,111,110,116,114,111,108,46,69,120,99,101,112,66,104,8,46,73,110,116,
-101,114,110,97,108,66,31,224,39,1,3,83,111,109,101,224,35,0,98,58,
-96,231,0,58,96,215,119,248,135,12,2,64,95,52,72,63,0,95,64,104,
-108,183,0,49,97,78,0,95,67,63,198,28,2,95,52,49,65,168,1,58,
-52,75,189,97,163,0,90,65,11,1,64,58,96,23,245,30,1,64,58,172,
-19,66,104,119,20,153,46,104,39,1,95,52,66,36,0,95,65,140,64,76,
-64,118,237,167,0,96,94,64,30,3,10,65,32,99,86,245,1,32,58,96,
-63,190,195,230,199,2,235,250,1,144,44,240,27,9,64,8,64,196,177,229,
-2,58,52,49,129,171,0,75,245,2,0,64,57,243,213,0,242,92,1,147,
-21,139,75,66,93,103,15,228,74,16,3,111,112,101,110,81,25,4,58,32,
-99,97,110,82,240,64,16,196,156,231,218,4,64,174,166,14,246,112,0,67,
-160,98,146,0,48,83,87,74,40,1,58,52,65,128,249,177,4,97,218,4,
-97,99,116,105,118,68,135,0,58,96,38,128,52,72,129,0,48,104,120,73,
-219,128,19,0,54,64,91,69,105,64,3,0,58,96,30,250,19,7,88,220,
-168,165,102,65,96,225,2,52,48,52,96,27,231,158,0,6,52,48,51,32,
-64,116,111,96,131,64,24,129,62,70,152,64,24,100,206,0,58,96,58,128,
-46,248,70,1,247,255,1,0,51,84,164,247,255,0,68,75,1,95,52,138,
-201,1,58,52,74,104,225,248,5,64,25,245,245,5,0,90,164,44,100,227,
-200,145,0,58,96,85,242,101,0,118,13,224,222,2,64,31,213,244,227,216,
-0,1,58,51,71,192,218,233,1,95,50,111,156,0,50,67,204,242,119,2,
-1,51,48,89,233,139,37,138,230,213,85,0,51,66,59,244,116,1,232,253,
-2,239,215,11,128,97,65,83,250,195,11,228,174,1,226,84,17,218,178,9,
-115,97,118,101,100,32,99,97,99,104,166,239,231,146,8,192,175,64,27,1,
-51,57,171,12,224,184,7,1,58,51,74,69,187,136,172,30,171,178,181,89,
-0,51,140,61,138,104,0,50,73,94,251,168,0,194,38,171,253,229,151,2,
-171,123,64,21,138,140,139,85,1,95,51,78,0,253,51,1,0,95,121,234,
-236,45,3,229,250,0,251,125,0,229,216,8,79,157,81,88,230,251,10,215,
-96,128,69,238,28,1,118,229,64,8,248,41,1,176,44,251,225,12,210,130,
-162,69,240,108,1,224,45,11,182,41,193,34,193,246,160,182,252,11,1,96,
-183,112,85,190,64,224,0,1,1,95,51,117,224,128,51,0,89,224,162,21,
-0,54,144,206,69,126,0,51,149,234,159,52,192,62,128,177,204,34,224,126,
-2,193,101,65,29,197,15,253,114,23,245,45,13,128,248,231,93,4,233,81,
-19,9,105,110,118,97,108,105,100,97,116,101,130,174,210,135,130,176,0,51,
-225,13,2,192,244,225,106,4,100,56,1,95,51,94,47,232,39,0,160,172,
-226,142,4,226,39,2,149,104,192,179,65,119,158,7,0,51,95,5,224,0,
-0,1,95,51,65,185,0,58,99,26,168,176,66,51,68,20,238,45,0,110,
-44,161,87,122,137,225,227,0,222,235,81,33,124,143,96,0,96,35,96,181,
-0,57,99,99,120,102,0,58,96,104,68,190,65,33,72,124,0,51,127,231,
-155,22,0,58,96,42,100,127,64,128,131,126,111,8,224,105,4,146,178,192,
-135,196,110,201,52,75,174,64,169,96,32,201,205,97,16,224,61,3,101,15,
-233,170,1,96,126,101,12,81,173,96,147,232,245,9,96,219,116,220,2,50,
-49,32,101,167,98,93,68,205,129,90,91,202,105,87,64,95,0,79,245,200,
-1,0,51,106,97,97,114,229,144,0,66,219,148,242,128,2,96,144,224,174,
-3,125,153,0,51,124,213,202,97,164,56,0,55,66,43,70,255,98,139,128,
-10,193,17,225,157,0,161,50,135,241,224,2,1,193,244,196,97,129,101,224,
-126,0,227,20,1,225,237,0,96,8,1,95,54,64,115,79,118,128,60,2,
-95,51,56,170,49,128,155,96,181,65,2,125,106,224,125,2,68,126,224,44,
-1,0,58,65,34,129,224,1,80,32,74,42,0,58,66,160,129,20,231,13,
-0,255,13,7,1,95,51,80,18,226,64,0,66,253,203,84,224,195,0,64,
-4,0,83,75,69,161,12,193,6,160,134,96,202,165,122,110,200,69,117,108,
-20,224,217,3,1,95,51,139,130,225,81,5,160,70,225,69,10,225,94,0,
-225,60,8,74,43,225,60,25,128,73,128,159,243,24,0,0,64,162,110,244,
-7,7,224,44,4,192,120,124,180,224,48,20,254,179,3,2,49,52,51,254,
-180,13,0,39,227,107,1,160,45,129,200,223,7,145,227,224,9,1,118,146,
-65,214,177,13,0,67,114,173,68,174,160,54,160,34,224,63,11,96,55,197,
-165,226,37,16,170,205,72,94,64,162,225,198,1,100,99,129,158,0,90,225,
-144,6,226,240,0,227,74,1,160,2,97,41,195,31,103,0,224,80,4,225,
-115,16,128,48,99,217,229,87,1,228,84,5,224,66,0,224,192,6,132,229,
-224,192,70,226,98,0,164,220,224,190,22,192,46,65,151,193,170,224,191,18,
-192,14,131,41,227,226,2,128,209,133,153,128,65,100,188,224,188,0,169,38,
-229,138,0,156,137,229,182,2,1,53,56,162,119,199,94,242,86,0,226,136,
-5,167,91,224,89,1,254,5,2,225,33,6,192,114,224,227,1,234,225,1,
-224,11,0,160,9,160,133,128,207,128,19,229,68,17,225,69,8,225,52,1,
-224,208,0,138,20,0,82,144,36,229,152,25,224,81,8,224,225,2,96,197,
-225,55,1,64,15,136,180,227,172,8,110,37,129,54,1,95,51,111,27,160,
-24,224,78,17,227,250,18,224,77,18,165,196,225,204,3,162,197,81,145,192,
-114,129,21,198,108,224,13,19,224,156,1,226,220,1,224,35,1,128,17,128,
-243,1,52,55,224,164,19,133,162,192,127,96,11,136,202,0,55,232,202,1,
-128,83,0,83,224,176,11,224,177,65,162,128,96,158,224,177,38,0,56,130,
-244,0,56,162,232,160,21,97,111,0,58,98,159,237,176,2,224,195,17,169,
-126,128,1,231,115,0,192,8,0,58,96,94,224,72,33,224,234,1,224,86,
-1,226,57,0,224,5,1,0,85,224,61,2,229,184,4,96,49,234,27,0,
-234,36,1,225,57,0,224,167,5,160,58,129,26,74,185,227,122,1,96,16,
-224,15,0,192,224,224,168,0,224,119,34,192,35,225,39,19,128,26,228,241,
-4,192,24,129,69,137,237,228,97,1,227,5,16,225,143,2,224,124,3,224,
-79,0,224,103,17,0,58,98,188,224,101,34,226,154,3,225,181,2,225,46,
-6,160,67,224,24,3,192,152,225,150,76,224,98,10,225,129,59,67,223,6,
-10,65,32,35,50,32,58,99,76,146,134,228,233,2,224,110,3,166,15,160,
-13,132,81,160,5,135,62,224,225,1,224,51,1,236,40,0,72,21,171,109,
-231,77,14,231,101,17,224,128,3,192,208,170,4,102,19,230,245,8,68,235,
-231,2,6,134,250,228,44,0,0,73,100,16,65,12,212,66,193,110,145,187,
-64,168,225,25,0,136,107,225,147,5,224,13,13,225,248,3,227,237,0,64,
-8,168,2,0,58,96,174,168,184,81,137,2,75,50,32,128,153,83,141,192,
-243,0,58,96,165,115,71,0,57,160,248,106,1,120,173,215,189,182,207,214,
-214,128,24,64,11,182,254,224,24,11,160,49,151,30,1,95,49,88,236,139,
-165,0,58,96,6,242,245,12,224,200,6,1,95,51,158,71,128,166,250,76,
-0,64,54,128,10,108,116,0,54,247,63,0,111,36,117,198,64,65,251,227,
-4,67,68,145,147,0,58,111,120,214,175,1,95,49,93,14,143,172,1,95,
-51,80,19,150,150,128,17,0,58,96,6,180,193,2,95,51,53,146,89,64,
-37,161,163,127,192,0,51,111,179,1,51,54,96,106,66,30,143,151,236,228,
-0,80,199,116,59,129,115,128,180,129,154,193,46,86,242,97,41,0,58,112,
-252,224,206,22,97,158,65,229,66,89,64,50,251,117,3,113,115,180,234,253,
-79,1,143,162,0,50,64,149,0,53,64,81,0,58,114,12,13,10,65,32,
-94,109,100,53,66,70,73,76,69,32,58,96,25,228,190,2,64,241,128,49,
-160,217,216,104,0,51,81,8,64,66,205,238,111,253,76,54,254,170,4,1,
-64,35,125,112,64,164,0,35,141,48,185,181,96,63,225,85,7,64,25,246,
-3,3,0,58,96,24,128,37,0,51,163,166,224,1,11,233,136,2,194,42,
-64,175,160,199,121,161,180,25,154,64,201,11,164,50,247,94,3,119,5,190,
-180,164,11,239,191,2,115,159,99,209,226,93,8,64,14,98,219,235,125,0,
-65,8,112,60,242,63,7,1,79,32,97,11,192,181,0,58,96,82,225,239,
-7,98,68,192,152,225,252,8,128,100,0,58,114,174,226,135,10,152,102,226,
-135,10,84,163,214,126,161,55,0,58,96,27,239,129,12,66,154,196,224,97,
-7,133,111,175,111,189,129,251,146,3,128,169,239,97,1,230,56,5,229,221,
-2,140,8,64,107,64,79,239,79,3,160,73,98,214,64,155,215,225,64,220,
-64,113,113,167,0,90,145,174,1,90,32,160,58,198,100,224,28,6,73,205,
-224,28,16,76,196,224,28,16,107,95,224,29,16,0,50,112,215,224,29,0,
-1,95,53,84,85,144,114,0,54,68,56,96,10,0,58,96,6,224,187,1,
-115,52,95,39,128,56,2,95,51,50,88,252,96,161,159,113,96,16,128,149,
-224,16,2,160,137,224,17,2,160,125,128,17,128,122,96,80,128,122,131,150,
-64,6,224,122,1,91,205,0,51,95,137,1,95,51,95,157,1,95,51,95,
-183,1,95,51,95,212,2,95,51,52,66,240,128,70,64,82,160,70,64,10,
-0,58,96,6,8,10,65,32,98,115,62,61,32,58,96,41,128,13,64,12,
-131,96,2,98,115,60,96,26,130,193,2,98,115,60,64,12,130,148,4,98,
-115,99,109,112,64,14,228,140,0,167,174,231,240,1,98,213,96,145,95,163,
-231,209,9,64,143,68,145,1,95,51,131,72,1,51,51,164,67,69,48,0,
-58,65,77,64,89,112,138,0,58,96,19,123,143,128,13,129,124,112,185,0,
-58,96,62,244,0,2,228,54,6,0,58,96,126,199,0,226,9,6,130,235,
-99,119,230,197,1,98,251,0,58,96,6,160,54,161,173,128,45,167,252,64,
-17,119,23,160,17,0,58,96,71,244,150,1,190,185,160,62,90,52,0,51,
-94,141,0,58,96,46,97,65,0,47,65,92,190,161,2,98,115,61,64,13,
-64,39,154,145,64,95,64,10,85,216,81,159,0,75,170,37,0,58,99,255,
-103,93,138,59,131,163,228,161,0,1,64,95,96,111,130,41,190,16,228,121,
-1,228,105,3,0,83,179,214,96,40,161,34,120,224,0,48,133,19,228,175,
-2,244,56,0,252,83,3,0,51,102,208,105,141,68,138,191,39,65,25,192,
-69,64,11,66,224,118,232,0,58,96,6,165,9,64,85,1,95,51,90,80,
-0,58,64,34,225,190,1,164,181,190,45,166,26,192,20,168,86,65,115,93,
-159,231,66,19,101,67,1,95,49,64,42,183,144,224,208,36,0,90,224,208,
-3,248,87,1,1,95,50,120,215,64,10,0,58,96,6,193,135,224,92,5,
-203,93,225,44,15,224,171,6,185,242,96,107,64,106,158,147,96,6,169,16,
-190,127,224,85,13,103,101,224,77,2,0,58,122,249,233,63,1,190,124,115,
-213,0,52,231,100,30,0,58,123,230,96,221,1,48,57,184,148,160,5,119,
-31,224,11,0,0,51,96,97,163,41,0,51,97,111,131,243,224,5,1,0,
-58,96,37,166,200,170,191,0,58,64,42,160,51,0,48,64,224,129,218,163,
-222,190,46,129,40,235,8,23,0,58,106,68,254,93,4,3,46,109,104,115,
-121,178,94,91,124,77,140,140,232,11,15,131,71,232,70,6,130,29,253,22,
-0,187,47,167,138,64,161,163,112,1,95,51,94,123,128,136,189,144,224,105,
-6,89,168,160,105,224,132,3,1,95,51,94,47,225,211,7,249,194,1,233,
-107,6,0,49,67,19,107,113,224,42,2,224,159,4,100,99,0,48,65,130,
-94,205,160,32,224,109,2,93,184,172,220,224,213,6,226,62,3,96,200,130,
-50,96,188,104,115,127,72,96,65,68,157,14,79,46,100,101,115,101,114,105,
-97,108,105,122,101,32,58,96,29,74,106,20,97,100,100,95,108,122,55,55,
-95,100,101,99,111,109,112,114,101,115,115,111,114,64,31,193,255,0,83,66,
-145,0,64,172,14,243,72,2,170,200,133,72,244,38,3,225,25,3,129,146,
-202,186,224,215,0,0,50,157,231,224,53,2,224,224,5,88,196,65,55,1,
-50,56,209,199,0,58,65,36,194,18,235,66,1,161,27,224,88,1,65,80,
-168,235,224,80,1,107,38,0,51,95,215,1,95,49,105,119,227,122,5,65,
-210,65,10,5,117,110,103,101,116,98,64,251,235,173,11,224,215,3,1,95,
-50,95,199,235,92,3,106,132,0,95,70,138,66,137,141,210,228,48,3,2,
-95,50,57,96,211,3,95,50,48,50,226,245,2,12,104,71,101,116,67,104,
-97,114,58,32,69,79,70,190,87,0,58,96,196,101,217,3,52,52,32,58,
-96,56,64,158,128,156,96,121,101,81,3,51,50,32,79,67,19,0,50,74,
-192,1,95,50,66,113,133,116,96,174,239,202,0,228,122,2,0,50,78,124,
-202,80,0,80,229,140,0,64,146,128,173,253,86,15,22,111,112,101,110,66,
-105,110,97,114,121,70,105,108,101,58,32,99,97,110,110,111,116,32,64,22,
-0,32,253,96,3,1,49,51,66,251,140,154,195,243,225,54,4,115,177,197,
-200,99,97,99,142,0,50,151,61,64,186,130,174,227,5,4,0,50,90,145,
-138,188,225,211,2,99,110,99,120,224,5,0,220,204,66,176,64,3,228,31,
-1,142,103,225,124,6,20,72,97,110,100,108,101,32,97,108,114,101,97,100,
-121,32,99,108,111,115,101,100,161,132,227,167,6,66,144,100,128,67,175,0,
-50,189,130,99,106,73,184,0,50,93,85,96,189,131,84,1,75,51,104,78,
-96,22,99,146,104,185,99,66,96,51,130,212,0,58,96,60,163,178,78,46,
-80,15,0,58,96,29,65,238,96,142,97,240,221,20,3,51,49,32,58,96,
-129,231,121,0,3,95,50,55,57,64,149,0,55,112,75,128,84,188,0,7,
-116,111,70,117,110,80,116,114,64,50,198,90,80,99,195,123,0,58,97,85,
-101,191,134,74,0,58,100,237,226,54,16,65,177,229,113,10,225,227,8,66,
-83,81,122,96,36,0,50,114,109,193,246,231,69,0,229,140,5,226,15,18,
-64,148,217,232,0,67,64,126,98,237,1,95,50,105,253,224,6,1,68,232,
-96,50,160,206,200,125,96,45,100,196,228,39,8,130,16,64,20,225,233,6,
-129,80,192,219,224,55,8,75,101,224,200,1,228,69,1,130,131,1,95,50,
-75,146,160,184,129,199,14,73,79,46,112,101,114,102,111,114,109,73,79,32,
-94,38,161,213,64,31,129,214,6,102,112,102,105,110,32,58,64,119,128,14,
-2,110,101,119,64,14,163,244,69,158,144,9,97,68,192,18,3,117,116,102,
-56,64,18,129,194,97,115,71,26,98,64,178,186,0,67,64,31,161,60,229,
-149,6,160,213,100,219,0,49,105,25,224,17,2,64,215,64,19,161,113,239,
-37,4,0,49,72,53,97,91,224,23,7,0,57,207,62,224,24,5,68,172,
-224,23,8,227,129,1,1,119,43,163,110,65,120,103,42,229,83,3,0,50,
-71,155,67,180,138,43,229,76,2,203,54,226,141,7,0,58,98,170,65,36,
-0,102,100,155,0,58,96,85,207,95,233,73,14,233,71,6,1,58,50,211,
-10,82,139,83,10,239,38,2,224,2,34,0,95,206,141,224,0,3,130,56,
-224,1,21,114,22,1,51,55,228,168,2,5,70,108,97,103,115,123,193,42,
-224,0,6,231,67,2,224,2,33,96,157,224,106,11,7,118,101,114,98,111,
-115,101,61,229,213,0,64,33,79,243,196,96,224,0,6,224,206,33,81,100,
-194,61,224,0,8,224,196,41,224,193,16,4,114,117,110,73,116,224,191,4,
-0,50,84,48,224,191,13,224,188,59,224,187,38,224,184,16,5,109,104,115,
-100,105,114,225,121,5,231,79,1,224,191,12,224,188,56,224,187,35,224,184,
-16,4,112,97,116,104,115,224,183,10,232,12,2,224,189,11,224,186,53,224,
-185,32,224,182,16,4,111,117,116,112,117,226,41,5,225,111,21,224,174,50,
-224,173,29,224,170,16,6,108,111,97,100,105,110,103,226,213,27,224,162,47,
-224,161,26,227,114,17,6,101,97,100,67,97,99,104,228,54,5,224,160,13,
-224,157,44,224,156,23,224,153,16,4,119,114,105,116,101,224,154,30,224,151,
-41,224,150,20,224,147,16,6,117,115,101,84,105,99,107,227,49,5,224,145,
-11,224,142,38,224,141,17,224,138,16,4,100,111,67,80,80,224,135,23,224,
-132,35,224,131,14,224,128,16,5,99,112,112,65,114,103,228,60,35,224,139,
-32,224,138,11,224,135,17,224,133,37,224,130,29,224,129,8,224,126,17,175,
-121,225,138,20,224,114,26,224,113,5,224,110,16,6,98,117,105,108,100,80,
-107,228,79,7,82,52,224,240,12,224,119,23,224,118,2,224,115,16,3,108,
-105,115,116,224,114,33,224,111,20,192,110,224,107,16,6,112,107,103,80,97,
-116,104,225,207,29,224,104,17,96,103,224,100,16,6,105,110,115,116,97,108,
-108,224,211,9,225,181,1,224,88,14,224,77,11,4,116,97,114,103,101,230,
-140,35,224,0,13,192,108,0,49,86,28,193,47,2,95,49,50,76,223,186,
-23,93,73,128,11,0,58,96,6,77,241,109,4,74,238,97,13,125,0,224,
-156,3,6,78,111,116,104,105,110,103,128,156,237,21,1,0,50,93,180,110,
-188,2,56,32,95,78,192,1,64,35,84,19,225,83,6,224,70,1,4,74,
-117,115,116,32,160,68,75,227,76,109,192,49,65,20,64,166,0,64,98,20,
-160,15,87,103,160,15,0,58,96,6,245,18,3,128,221,0,58,64,124,64,
-23,111,248,96,119,4,49,48,50,32,35,88,227,186,38,160,16,207,116,254,
-105,3,0,75,224,235,9,3,70,97,108,115,84,131,161,75,224,24,1,2,
-84,114,117,128,23,225,80,0,158,160,129,80,158,154,96,6,189,125,90,38,
-97,20,1,95,50,94,108,1,58,50,190,162,248,242,5,236,144,26,160,182,
-215,136,238,142,1,0,95,119,37,96,244,245,40,7,0,53,226,131,0,129,
-171,175,211,241,61,1,225,197,3,161,196,176,129,96,51,129,69,64,186,109,
-149,195,114,238,66,3,253,136,1,243,104,3,224,72,4,244,162,6,0,50,
-255,96,1,243,5,6,1,101,97,145,119,0,75,97,39,141,178,1,65,46,
-103,188,1,32,58,96,80,129,249,0,52,224,2,2,128,85,1,58,50,191,
-90,162,23,128,2,225,71,7,1,58,50,191,89,206,7,224,38,1,224,36,
-0,1,58,50,191,106,224,151,1,7,118,55,46,48,92,49,48,38,86,146,
-0,50,191,88,3,95,50,53,50,64,4,95,51,0,50,191,51,3,95,50,
-53,52,67,117,0,48,143,12,128,6,0,52,96,5,0,48,227,134,0,0,
-58,96,51,128,45,2,51,32,58,64,50,128,145,0,58,64,15,128,10,65,
-142,0,53,99,245,254,154,3,0,54,192,67,127,210,179,105,77,147,128,85,
-208,227,64,60,148,221,0,50,94,85,0,58,64,73,128,25,111,198,66,138,
-129,244,129,219,0,64,126,94,195,239,96,30,229,200,2,160,35,96,17,192,
-11,128,110,210,141,90,49,127,78,128,60,0,58,96,123,146,167,81,66,93,
-107,1,58,50,222,45,1,50,52,82,18,64,201,145,181,225,99,1,5,115,
-116,100,111,117,116,65,253,0,58,96,51,145,50,128,21,1,32,58,96,50,
-248,86,0,148,173,131,218,241,156,35,178,91,69,129,96,195,189,69,64,38,
-216,219,96,28,181,243,120,100,2,52,49,32,117,197,2,66,32,95,120,10,
-93,80,64,38,129,170,0,73,64,154,194,167,4,97,108,108,111,99,64,16,
-176,55,0,51,65,222,189,100,244,182,8,1,95,50,93,22,67,39,93,16,
-98,44,1,64,58,65,50,128,145,2,95,50,49,64,227,128,207,64,33,0,
-58,96,47,96,153,227,174,0,1,95,50,125,157,64,13,129,128,97,246,0,
-58,96,47,80,252,1,112,117,118,41,189,99,246,41,0,65,120,246,41,6,
-189,102,1,75,50,244,4,0,189,65,84,42,243,70,0,189,36,88,11,0,
-66,187,151,0,90,160,7,128,9,160,10,245,235,5,247,227,6,225,7,6,
-177,36,0,50,91,168,92,36,132,59,101,87,93,69,113,247,228,35,3,3,
-66,97,100,32,181,176,2,109,111,100,197,137,248,128,1,64,166,213,78,100,
-151,120,175,85,113,244,206,6,134,19,1,50,50,152,40,97,67,116,139,228,
-170,5,189,240,1,95,55,87,129,189,239,5,102,112,50,112,32,58,96,57,
-64,26,94,154,150,115,224,5,3,70,136,0,39,128,7,0,67,149,48,97,
-161,65,196,224,6,13,224,42,2,64,15,128,48,224,42,30,160,28,224,49,
-10,224,42,15,224,49,10,224,42,22,224,49,3,191,109,129,161,0,58,96,
-6,227,156,2,116,73,65,90,0,54,66,182,190,242,96,24,67,65,83,210,
-64,22,0,54,224,22,1,103,22,190,198,136,48,0,50,179,223,88,6,0,
-58,96,32,228,107,0,0,50,91,75,128,142,0,58,96,38,3,10,65,32,
-82,161,95,0,58,96,28,160,138,0,89,228,232,0,92,107,102,165,64,32,
-129,208,225,145,5,0,58,96,179,96,55,0,85,131,148,126,228,118,28,0,
-58,66,154,64,27,151,55,230,43,2,0,58,96,37,183,184,167,105,0,58,
-98,238,224,129,2,251,41,2,0,80,96,90,125,92,150,118,231,61,4,128,
-160,135,92,2,64,64,64,99,78,0,58,68,5,194,100,1,95,50,85,117,
-161,121,93,226,64,30,129,52,7,115,101,113,117,97,108,32,58,96,33,64,
-46,232,25,0,1,49,49,227,59,2,5,77,72,83,68,73,82,99,50,71,
-123,93,198,226,239,2,1,58,50,189,235,224,19,0,230,116,2,0,58,96,
-45,253,32,9,118,34,1,95,50,92,93,245,179,21,253,120,6,0,50,100,
-240,245,185,11,190,78,3,95,50,48,57,64,208,129,151,13,112,101,101,107,
-67,65,83,116,114,105,110,103,32,58,64,26,96,35,1,57,51,103,89,0,
-58,96,102,227,139,0,165,246,70,151,73,107,64,133,152,126,128,6,129,64,
-96,159,0,58,96,6,121,37,1,73,110,70,102,189,60,91,99,2,101,110,
-118,64,16,167,171,233,106,3,225,2,6,233,100,0,166,152,225,81,1,1,
-95,50,157,204,1,58,50,189,101,232,241,8,3,116,97,105,108,97,143,122,
-39,253,107,0,1,95,50,65,238,92,126,64,67,99,47,188,246,70,112,188,
-167,2,95,51,48,98,198,92,23,2,95,49,57,156,207,0,54,97,123,139,
-225,121,126,192,11,67,84,96,11,0,58,96,6,97,230,0,50,72,93,1,
-52,50,64,67,128,61,1,51,54,224,155,2,6,101,114,114,111,114,58,32,
-203,3,0,48,192,38,0,58,96,6,96,128,2,49,32,75,64,21,0,55,
-72,56,235,35,3,8,67,111,110,116,114,111,108,46,69,64,66,64,64,224,
-26,1,96,18,2,67,97,108,128,246,134,88,96,194,108,127,163,11,198,85,
-64,7,133,183,71,159,166,42,69,222,138,111,97,109,127,4,103,218,168,159,
-169,29,92,252,64,0,92,0,96,99,218,253,166,225,96,32,97,109,232,254,
-8,163,140,232,241,2,0,58,100,137,96,162,0,85,225,195,7,16,109,100,
-53,67,111,109,98,105,110,101,58,32,101,109,112,116,121,134,147,64,145,68,
-120,68,48,160,171,122,167,222,184,3,66,32,95,56,65,127,65,205,1,64,
-89,96,127,64,151,103,31,68,56,228,27,1,196,190,233,127,2,224,255,3,
-96,19,96,54,72,221,0,49,124,131,104,190,0,49,158,132,1,64,95,90,
-30,1,95,49,91,254,192,0,0,58,97,54,66,233,9,109,100,53,65,114,
-114,97,121,32,58,96,57,130,126,194,237,0,55,74,97,64,160,1,95,49,
-159,138,102,212,231,189,2,253,159,4,1,49,57,66,35,224,46,2,163,138,
-251,85,1,123,206,249,193,5,189,4,64,145,226,225,0,96,20,186,175,65,
-0,137,60,67,107,0,53,238,97,0,141,215,153,100,224,106,0,225,58,3,
-192,25,168,147,140,249,64,67,1,52,55,205,144,2,49,49,53,129,34,2,
-95,49,56,132,73,128,0,229,150,3,133,191,192,69,232,62,1,64,51,110,
-160,224,44,2,96,95,0,66,165,229,0,52,161,125,106,61,133,43,193,190,
-232,100,3,224,43,10,194,134,229,28,2,96,16,0,58,65,96,130,195,105,
-168,236,221,5,0,58,96,143,99,215,0,48,65,182,93,214,226,3,0,129,
-253,0,35,103,194,78,248,0,58,97,160,7,10,65,32,35,49,54,32,58,
-96,28,128,57,0,52,67,6,76,74,162,58,96,69,0,49,69,5,2,95,
-49,48,67,231,64,16,64,11,69,207,160,11,0,49,65,246,160,11,0,56,
-67,122,192,11,0,51,96,104,0,54,131,56,135,7,169,33,137,36,66,62,
-160,2,225,73,6,97,185,128,50,161,252,165,210,0,64,71,161,64,242,1,
-95,49,70,144,162,77,126,151,0,85,95,108,224,23,0,199,120,1,32,95,
-78,71,224,29,7,224,53,16,4,64,64,83,32,73,95,165,129,86,192,68,
-224,151,0,67,139,0,83,162,93,128,69,113,44,224,69,5,128,161,99,132,
-66,98,224,31,7,130,109,162,247,140,148,67,37,224,40,9,64,0,128,16,
-96,52,73,38,65,96,162,2,240,254,4,96,29,100,159,130,246,113,202,128,
-163,162,246,78,183,227,53,1,203,15,64,34,1,64,95,77,204,167,53,68,
-82,1,55,57,228,222,2,27,92,51,52,38,108,105,98,47,68,97,116,97,
-47,73,110,116,101,103,101,114,95,84,121,112,101,46,104,115,64,27,4,44,
-50,56,58,49,242,18,0,103,234,98,15,96,223,0,85,192,187,192,18,239,
-29,0,128,5,0,50,244,61,2,224,60,3,161,70,0,64,69,25,228,5,
-0,69,226,64,169,128,197,144,236,99,83,99,91,66,162,82,3,171,217,1,
-67,32,130,187,128,18,227,84,1,3,64,95,52,52,131,234,0,58,98,160,
-108,227,0,58,96,113,77,196,64,10,202,33,0,58,64,140,165,17,71,144,
-0,49,95,121,71,75,74,49,65,36,196,174,191,164,199,144,80,63,1,95,
-49,80,105,167,144,224,56,0,67,28,192,11,97,104,104,132,96,6,128,102,
-79,211,226,5,2,95,183,64,31,0,54,160,31,0,85,193,166,94,222,133,
-243,0,80,128,47,131,18,96,47,224,15,8,64,65,242,115,3,167,116,64,
-28,174,79,133,214,169,50,64,147,98,186,65,58,192,73,115,124,224,21,2,
-128,159,147,162,169,187,198,144,137,224,0,49,127,199,0,58,96,169,97,27,
-0,56,65,40,129,101,0,90,64,200,0,58,96,40,161,126,180,128,65,76,
-243,223,0,0,73,64,35,179,213,105,216,237,207,6,224,14,5,192,189,255,
-109,1,137,232,128,207,0,58,96,6,203,72,160,42,69,37,106,32,224,42,
-0,115,188,96,6,192,42,83,110,1,95,49,115,184,96,43,4,10,65,32,
-47,61,64,165,163,110,71,103,0,57,64,130,205,240,204,88,0,75,64,80,
-141,87,129,169,102,31,0,85,224,20,1,99,124,235,251,5,176,176,80,4,
-64,147,149,18,196,248,96,176,160,77,96,175,192,17,0,58,96,6,167,46,
-233,41,3,64,9,192,59,237,232,2,0,58,96,60,101,238,1,54,48,64,
-202,226,239,1,179,67,181,19,160,141,233,216,3,9,110,111,32,109,97,116,
-99,104,32,97,213,193,96,32,96,7,79,179,194,245,106,45,96,11,0,58,
-96,6,234,45,29,8,120,99,101,112,116,105,111,110,46,68,102,2,114,110,
-97,106,35,224,39,1,2,80,97,116,64,22,0,77,64,128,0,70,203,56,
-162,204,179,179,134,87,177,108,0,49,112,121,96,197,98,152,78,27,224,15,
-4,66,0,248,9,2,201,101,145,75,0,51,64,34,243,127,13,170,85,98,
-160,69,86,97,50,1,53,53,130,177,180,11,2,85,32,58,64,18,226,202,
-2,179,232,161,92,77,44,162,136,81,106,0,35,97,244,215,45,1,53,32,
-128,15,99,113,138,43,97,102,68,232,71,156,96,134,224,39,3,161,135,225,
-43,1,6,39,92,57,50,38,39,39,165,151,193,156,169,126,224,99,0,100,
-30,138,123,224,17,3,139,111,233,51,3,224,168,1,0,64,160,35,134,62,
-64,156,164,146,98,6,128,158,130,163,247,247,8,64,146,70,49,160,148,64,
-0,0,58,96,147,226,187,0,175,48,231,109,6,166,166,1,95,49,83,88,
-160,108,0,54,85,103,74,49,129,145,205,244,65,186,165,70,181,26,179,20,
-112,220,208,218,0,90,65,11,102,68,166,21,224,163,5,224,160,0,2,67,
-32,79,249,171,1,67,226,138,9,114,196,225,22,7,96,0,5,79,32,80,
-32,35,55,244,214,3,64,79,0,97,96,79,96,27,0,56,224,27,7,0,
-98,224,27,1,71,242,224,28,5,0,102,224,28,2,0,48,224,28,7,0,
-110,224,28,2,245,73,4,64,28,109,116,128,28,0,57,224,27,7,117,100,
-160,56,0,49,224,28,7,0,118,224,56,2,224,143,8,64,3,227,116,1,
-225,193,0,132,77,69,198,182,105,102,76,66,152,5,95,49,52,48,32,35,
-97,135,65,45,85,11,0,35,67,48,64,53,196,106,3,52,53,32,58,97,
-163,195,27,174,146,193,189,90,11,132,79,96,17,0,58,96,6,154,172,72,
-16,235,205,0,207,130,0,49,118,93,69,207,144,81,96,19,121,249,112,11,
-96,30,64,69,131,183,64,67,226,230,2,249,172,1,192,64,149,153,226,96,
-8,64,69,104,118,203,106,192,40,226,52,3,224,10,1,96,50,106,41,235,
-237,1,96,250,129,28,128,74,70,153,224,74,4,0,58,96,102,5,10,65,
-32,111,114,100,65,36,132,78,2,99,104,114,64,12,216,54,248,191,4,0,
-58,64,193,64,23,78,115,192,175,67,254,134,40,182,170,225,159,6,111,80,
-225,159,0,123,142,64,43,129,203,0,60,70,237,182,196,198,189,0,58,96,
-60,161,243,64,16,97,186,0,51,76,73,182,122,131,203,65,52,82,244,238,
-187,2,0,58,96,145,140,107,0,50,64,47,177,95,103,150,64,136,1,95,
-49,79,37,0,58,99,84,199,108,182,119,0,61,96,11,160,194,128,196,81,
-142,67,205,81,131,131,248,130,46,231,57,0,149,211,96,15,0,58,96,6,
-201,103,105,163,85,194,0,58,96,35,147,197,156,138,82,81,96,26,96,43,
-199,216,194,70,110,176,160,10,231,144,0,199,186,224,32,0,236,59,0,228,
-203,0,244,142,1,97,20,224,65,4,224,64,5,184,159,180,178,129,214,181,
-98,171,186,224,169,2,123,43,96,246,240,220,4,181,94,73,190,73,170,0,
-58,97,33,180,150,216,235,97,61,204,75,128,36,240,1,0,240,174,0,119,
-156,103,16,115,233,208,113,1,95,49,151,172,0,58,103,85,176,72,211,159,
-96,27,248,170,1,105,66,85,68,176,62,64,222,160,26,117,203,112,21,89,
-93,96,78,161,140,128,39,1,95,49,85,98,64,214,192,31,181,140,2,110,
-101,119,212,15,4,76,101,110,32,58,96,39,224,223,7,181,138,75,212,181,
-71,173,54,109,82,0,58,109,155,245,216,4,239,77,3,181,74,220,79,160,
-49,129,32,253,187,5,229,13,0,0,58,109,182,160,52,64,13,229,14,0,
-128,2,70,206,65,248,111,210,84,195,0,58,79,59,160,48,239,209,11,180,
-231,233,206,3,84,161,84,44,79,129,224,27,11,96,120,180,213,252,229,0,
-128,188,180,220,4,114,101,109,32,58,109,47,161,47,224,1,1,113,47,64,
-0,224,20,11,224,17,8,224,14,5,224,11,2,192,8,96,239,128,122,225,
-76,1,225,55,12,180,249,0,79,64,152,170,156,1,56,53,74,46,114,180,
-192,7,1,95,56,68,37,115,48,1,95,57,71,121,160,10,66,148,160,10,
-118,102,128,10,100,223,84,235,0,58,96,17,123,16,3,111,107,101,87,133,
-76,181,4,0,94,86,89,128,18,180,213,171,169,0,95,84,47,1,64,95,
-120,128,180,158,193,78,130,61,180,79,224,46,0,111,217,128,46,129,103,65,
-5,86,161,100,136,69,150,0,95,116,170,0,58,180,73,182,114,179,135,6,
-116,111,80,116,114,32,58,179,130,225,184,5,179,24,175,216,129,239,79,182,
-64,96,68,153,1,64,95,82,23,221,212,134,230,109,132,106,161,179,75,240,
-48,7,178,74,201,109,0,95,82,15,65,181,128,63,1,67,32,96,65,0,
-95,109,196,1,64,58,178,89,230,108,7,178,67,79,104,114,85,72,222,0,
-58,178,75,5,113,117,111,116,32,58,177,252,226,58,1,226,62,2,226,101,
-72,177,26,97,30,165,116,243,175,1,0,95,112,144,132,128,224,20,0,164,
-133,244,160,6,243,158,3,0,58,177,87,85,173,68,171,70,248,0,58,176,
-55,6,94,102,114,101,101,32,58,64,23,227,229,0,224,91,5,85,64,149,
-126,210,244,245,61,4,190,144,80,101,224,116,3,0,58,176,129,227,218,1,
-64,165,134,63,96,244,0,39,79,225,244,29,1,186,76,160,99,244,183,1,
-166,63,193,64,224,120,3,1,64,95,80,190,128,164,134,80,80,155,244,175,
-3,137,80,0,58,177,1,3,85,32,75,51,227,181,5,0,58,240,255,1,
-176,254,130,180,66,225,176,207,76,88,0,83,100,244,189,128,128,188,76,248,
-144,152,64,218,224,122,11,96,121,176,244,229,106,3,229,24,0,176,206,4,
-115,101,113,32,58,176,198,96,225,72,167,162,197,214,252,226,202,7,208,143,
-247,195,5,8,117,110,100,101,102,105,110,101,100,74,222,0,58,176,166,229,
-229,15,176,183,0,95,74,166,99,215,71,176,99,55,0,95,73,175,234,152,
-12,78,47,234,148,2,157,106,2,67,32,95,80,132,224,37,1,234,117,2,
-64,37,96,19,96,10,0,95,81,21,0,58,177,37,0,85,231,88,0,0,
-53,80,111,64,32,210,212,161,65,0,80,96,12,97,123,230,121,1,132,29,
-96,175,1,53,32,179,23,64,70,153,100,132,197,64,30,131,56,224,35,1,
-224,55,11,193,10,177,172,83,150,132,1,113,47,224,13,0,105,208,225,105,
-5,180,65,14,58,32,117,110,115,117,112,112,111,114,116,101,100,32,119,69,
-128,2,115,105,122,159,206,3,35,51,50,55,96,102,8,35,50,49,52,55,
-52,56,51,54,75,36,0,58,178,10,244,16,2,235,183,0,64,117,244,219,
-1,66,246,212,3,81,179,129,20,65,146,0,51,225,33,0,129,143,0,54,
-148,9,98,111,178,32,0,105,91,246,178,1,0,115,75,105,177,245,74,124,
-177,244,230,197,15,177,134,227,43,0,165,37,209,109,1,52,56,183,89,78,
-242,0,95,80,13,0,95,80,32,0,95,80,48,117,157,1,95,53,82,112,
-129,238,65,65,64,9,0,58,64,5,176,216,241,219,3,87,48,89,13,240,
-136,0,177,186,224,29,1,224,49,1,224,39,4,177,141,227,208,10,177,66,
-3,62,61,32,58,176,212,2,62,32,58,176,205,76,5,176,205,2,60,32,
-58,176,201,5,105,99,109,112,32,58,175,192,107,193,77,212,0,95,78,4,
-0,58,174,20,75,190,174,20,65,64,173,244,2,80,32,58,173,240,196,155,
-164,216,193,74,224,20,11,224,17,8,224,14,5,224,11,2,192,8,230,24,
-0,174,49,233,100,13,174,8,4,110,101,103,32,58,173,110,2,42,32,58,
-173,107,2,45,32,58,173,104,2,43,32,58,173,90,224,156,68,0,58,173,
-146,224,155,2,193,143,173,128,171,9,2,66,32,95,77,18,0,95,113,102,
-0,66,107,14,102,140,1,64,58,173,156,117,97,173,151,2,73,32,58,173,
-150,64,54,96,42,3,54,32,64,58,173,156,64,29,128,232,64,9,128,232,
-8,94,109,97,108,108,111,99,32,58,173,119,13,73,79,46,112,101,114,102,
-111,114,109,73,79,32,58,173,128,224,187,2,0,58,173,135,2,85,32,58,
-237,85,0,224,227,12,0,58,173,93,64,19,0,95,76,166,1,64,95,76,
-203,0,58,173,95,131,75,136,231,172,227,6,114,97,105,115,101,32,58,172,
-210,94,240,128,172,7,65,46,114,101,97,100,32,58,172,201,13,73,79,46,
-103,101,116,65,114,103,82,101,102,32,58,172,202,0,95,71,19,101,15,68,
-120,99,108,64,107,128,190,6,73,79,46,62,62,32,58,172,176,0,95,80,
-100,98,175,108,205,252,144,0,71,36,99,131,0,49,95,131,96,9,0,50,
-71,212,99,141,172,216,186,22,111,70,174,120,151,243,96,35,233,89,0,73,
-87,64,32,116,140,192,32,0,95,144,197,165,56,0,55,88,101,224,47,12,
-108,253,96,155,143,143,225,14,0,236,202,0,226,202,6,0,58,236,206,0,
-108,31,228,171,0,130,87,164,140,172,192,233,246,0,70,38,224,11,2,96,
-210,101,33,0,58,236,202,1,0,50,174,66,166,246,0,51,97,221,109,197,
-130,135,74,128,129,75,75,106,96,36,180,183,0,95,68,213,65,237,240,46,
-0,227,137,0,70,206,96,11,2,66,32,58,162,140,9,79,46,114,101,116,
-117,114,110,32,58,225,225,0,0,62,68,141,128,201,2,80,32,58,227,127,
-7,227,107,37,0,58,128,208,226,167,15,235,38,1,194,143,64,202,2,95,
-49,57,69,191,224,0,255,224,0,255,224,0,255,224,0,255,224,0,255,224,
-0,255,224,0,255,224,0,105,1,32,125,
+238,133,0,224,183,3,228,250,4,224,182,2,65,227,2,51,51,50,64,19,
+110,32,1,52,54,89,0,0,50,64,136,194,96,226,235,32,0,80,160,167,
+29,99,111,109,112,105,108,101,32,118,101,114,115,105,111,110,32,109,105,115,
+109,97,116,99,104,58,32,102,105,108,101,164,135,171,105,196,230,230,160,17,
+160,253,160,54,226,147,1,128,169,224,56,18,160,134,0,114,128,57,224,211,
+0,224,215,4,0,51,132,242,1,95,52,72,44,98,219,68,140,222,23,65,
+50,135,177,71,171,199,177,224,24,3,0,51,146,24,128,24,71,245,160,47,
+224,22,3,162,50,1,52,55,71,81,1,52,55,97,243,1,52,55,160,49,
+64,207,95,58,100,231,83,83,1,95,51,67,44,2,95,52,56,98,56,2,
+95,51,52,64,40,230,17,0,2,95,52,56,67,54,1,52,56,170,168,229,
+52,5,97,164,70,232,2,95,52,56,69,211,0,58,96,214,157,206,0,51,
+105,95,0,58,96,24,128,17,0,52,201,123,0,58,96,78,192,38,0,90,
+233,146,0,0,58,96,108,3,10,65,32,90,70,4,0,58,96,146,192,37,
+73,190,0,58,96,197,190,45,1,75,52,192,76,64,225,244,18,0,193,44,
+119,106,225,9,0,72,255,0,52,89,222,192,6,224,25,6,130,138,96,6,
+224,26,7,101,244,128,6,0,58,97,82,160,127,160,144,0,54,224,144,1,
+128,16,222,221,128,212,0,58,96,110,224,157,1,202,210,77,255,196,62,1,
+95,51,116,219,160,6,110,183,103,32,101,163,65,171,2,95,52,55,96,4,
+129,131,1,95,51,69,14,64,89,129,89,1,95,51,68,228,77,228,96,33,
+96,124,0,58,64,49,128,28,169,48,133,159,107,162,233,31,0,0,58,98,
+54,224,37,7,218,19,169,92,233,77,1,0,58,98,149,128,237,0,50,97,
+182,193,184,64,26,129,132,129,248,0,52,160,2,224,31,0,64,32,176,96,
+4,52,54,53,32,58,102,53,15,10,65,32,94,71,69,84,84,73,77,69,
+77,73,76,76,73,64,22,129,61,133,99,64,126,239,166,12,1,95,52,141,
+55,128,14,210,15,128,179,235,100,0,104,179,67,108,238,179,14,192,22,224,
+49,3,139,50,64,53,199,29,2,79,32,35,79,39,128,198,235,213,9,97,
+9,150,154,64,0,232,186,1,235,238,3,236,27,6,165,27,64,132,229,220,
+5,234,32,18,228,118,17,0,70,68,248,234,28,8,233,114,3,169,109,224,
+120,0,99,189,236,139,1,0,52,102,20,207,245,225,17,7,236,95,1,193,
+143,162,24,162,156,98,184,0,52,100,51,233,142,0,96,33,166,13,236,217,
+3,69,66,162,216,168,41,128,100,128,14,108,233,97,153,98,45,242,90,1,
+192,141,3,95,52,53,52,231,157,2,7,109,104,115,99,112,112,46,104,208,
+232,64,42,143,241,163,99,226,20,3,224,138,0,96,132,135,174,224,232,3,
+160,186,161,143,224,184,1,1,52,54,96,224,224,171,1,128,156,131,120,237,
+255,6,0,49,70,223,1,95,52,99,210,101,101,230,251,2,125,55,76,153,
+70,249,76,59,167,167,239,93,6,5,114,101,109,111,118,101,97,210,5,102,
+97,105,108,101,100,128,219,0,58,96,134,67,46,7,117,110,108,105,110,107,
+32,58,96,101,161,31,225,33,2,2,50,49,49,224,77,2,7,77,72,83,
+67,80,80,72,83,239,167,3,224,46,6,225,228,5,107,30,0,66,235,63,
+4,128,245,232,132,10,192,209,136,116,226,167,0,232,102,1,226,180,19,8,
+82,117,110,32,99,112,112,104,115,226,175,20,1,95,52,199,65,128,183,160,
+133,170,33,1,56,55,224,91,13,96,87,232,185,0,224,244,1,224,140,16,
+7,32,45,45,115,116,114,105,112,160,138,236,75,6,128,110,130,163,110,163,
+162,174,107,248,0,53,99,58,224,39,2,3,67,39,32,79,232,95,21,1,
+45,73,168,87,160,49,224,25,1,10,47,115,114,99,47,114,117,110,116,105,
+109,190,127,100,117,64,76,1,57,53,224,193,10,2,79,32,35,91,95,132,
+154,228,175,2,224,20,1,65,65,249,40,4,224,66,11,235,232,0,233,32,
+2,225,44,19,0,79,225,91,1,130,154,231,164,0,0,50,229,245,0,224,
+1,1,236,254,2,1,64,58,96,141,3,10,65,32,79,226,164,2,8,45,
+68,95,95,77,72,83,95,95,64,86,0,75,70,196,65,84,70,40,3,50,
+53,49,32,224,160,2,0,58,97,125,134,28,227,118,10,0,53,144,121,234,
+116,7,227,120,15,129,14,234,105,32,8,99,97,108,108,67,111,109,109,97,
+69,98,131,154,194,46,239,134,8,0,49,133,80,234,100,21,229,166,20,0,
+58,98,248,67,239,7,115,121,115,116,101,109,32,58,96,222,99,239,228,116,
+3,224,236,2,97,5,184,5,64,34,224,21,4,114,250,2,95,52,53,96,
+249,225,62,3,1,95,50,83,47,228,245,8,105,203,225,102,6,0,52,73,
+80,1,95,52,172,78,229,191,4,165,180,64,29,0,51,97,192,232,241,0,
+2,95,52,53,86,93,129,125,0,49,114,152,0,35,134,35,3,95,52,50,
+57,102,68,183,148,0,83,64,80,64,81,76,21,225,51,2,130,63,71,178,
+3,95,49,55,57,226,55,2,8,92,51,52,38,108,105,98,47,83,97,33,
+5,47,73,79,46,104,115,64,19,5,44,50,56,52,58,56,129,94,0,90,
+129,47,110,122,64,110,97,18,2,48,50,32,128,131,160,19,96,0,0,67,
+96,36,224,118,7,0,58,96,208,133,233,0,89,138,243,135,184,224,84,3,
+173,243,197,36,181,131,64,12,168,173,228,78,1,224,136,1,243,133,0,160,
+53,98,200,160,17,238,19,0,66,174,151,160,0,65,96,14,133,242,7,94,
+116,109,112,110,97,109,101,66,20,227,122,0,227,121,10,227,123,5,1,64,
+58,103,164,98,66,2,95,49,56,64,109,5,32,64,95,54,32,89,135,216,
+128,170,146,178,64,1,65,110,184,202,97,66,160,213,64,26,234,192,0,84,
+113,97,179,97,216,0,35,66,202,96,105,96,36,247,249,1,219,190,110,255,
+224,45,0,0,52,176,83,96,33,216,68,201,166,224,42,5,0,51,244,13,
+1,96,36,224,129,17,138,168,96,123,224,117,13,64,10,67,2,64,112,224,
+33,14,154,129,224,33,19,0,49,109,193,224,67,20,97,57,96,33,107,78,
+130,228,224,36,7,96,138,250,49,1,224,0,3,225,132,8,226,91,4,225,
+133,19,193,44,225,132,71,0,49,178,171,128,0,138,12,224,133,18,194,219,
+163,223,73,95,228,1,0,250,181,1,252,191,0,252,190,1,231,199,4,143,
+71,118,19,1,52,52,130,93,1,95,52,83,84,0,58,106,180,233,130,9,
+132,164,139,102,233,222,9,228,178,2,0,58,96,70,164,164,69,66,1,95,
+50,87,212,234,20,6,0,50,87,252,224,236,0,0,83,115,50,64,67,102,
+71,1,95,54,75,249,0,48,232,252,0,165,69,192,60,72,46,0,52,75,
+244,235,20,2,234,243,4,131,239,1,95,50,88,121,161,83,235,49,7,235,
+68,4,73,107,77,248,1,95,52,97,182,224,75,0,237,97,1,64,104,68,
+47,111,121,0,58,96,38,131,239,69,82,0,51,101,154,64,145,64,245,64,
+1,102,181,100,192,3,52,48,32,35,115,228,64,224,0,52,64,210,147,168,
+97,169,229,119,14,8,68,97,116,97,47,67,104,97,114,197,119,3,49,48,
+49,58,191,215,103,125,64,215,96,192,217,233,103,38,0,49,245,77,0,0,
+49,68,143,96,5,128,123,160,11,97,114,96,205,133,122,65,71,0,50,113,
+120,147,185,0,52,133,20,3,95,52,51,57,65,97,94,86,109,38,165,7,
+64,13,197,21,0,58,64,35,128,10,124,240,67,75,128,58,0,54,64,27,
+130,0,78,117,71,187,65,56,138,40,232,20,2,161,211,135,220,0,52,162,
+189,231,212,15,247,152,0,64,106,208,5,244,47,0,98,90,64,68,97,203,
+198,17,232,55,4,232,6,4,224,120,0,224,107,21,244,143,3,226,155,1,
+158,239,224,26,12,226,182,6,224,102,21,2,108,105,110,244,5,0,225,11,
+4,232,232,33,2,99,111,108,160,65,224,52,4,1,64,64,224,37,2,6,
+101,110,100,45,111,102,45,83,172,128,42,224,26,1,10,110,111,32,108,111,
+99,97,116,105,111,110,193,93,224,28,17,0,58,97,162,150,14,100,100,79,
+156,133,66,0,58,97,120,147,103,67,199,0,52,152,141,67,160,224,183,11,
+238,86,0,175,231,174,158,1,95,51,73,135,0,58,112,126,162,155,0,51,
+115,120,130,155,0,51,130,135,229,65,0,124,76,98,188,135,245,128,6,0,
+58,96,51,3,10,65,32,89,229,118,0,232,4,9,200,3,64,48,220,126,
+133,247,78,229,229,66,0,192,18,1,66,39,96,21,198,75,128,20,224,29,
+0,225,230,0,232,239,0,0,58,96,150,128,194,247,207,1,0,54,82,101,
+69,13,160,48,245,230,1,224,15,1,141,220,131,204,130,10,69,158,0,56,
+139,167,192,91,209,234,0,50,81,234,64,80,179,17,243,234,3,70,80,114,
+122,0,48,119,189,75,168,1,95,52,112,79,0,73,64,85,65,111,0,85,
+64,23,67,15,1,58,52,64,160,204,101,147,121,64,24,64,63,2,49,50,
+52,143,249,96,146,139,14,134,85,1,95,49,115,234,98,121,0,55,64,74,
+98,255,2,49,51,48,192,11,0,58,96,6,96,132,2,49,32,75,77,103,
+110,83,0,55,228,238,2,12,67,111,110,116,114,111,108,46,69,120,99,101,
+112,66,104,8,46,73,110,116,101,114,110,97,108,66,31,224,39,1,3,83,
+111,109,101,224,35,0,98,58,96,231,0,58,96,215,120,55,135,12,2,64,
+95,52,72,63,0,95,64,104,108,183,0,49,97,78,0,95,67,63,198,28,
+2,95,52,49,65,168,1,58,52,75,189,97,163,0,90,65,11,1,64,58,
+96,23,245,30,1,64,58,172,19,66,104,119,79,153,109,104,39,1,95,52,
+66,36,0,95,65,140,64,76,64,118,237,167,0,96,94,64,30,3,10,65,
+32,99,87,42,1,32,58,96,63,191,2,230,199,2,235,250,1,144,44,240,
+27,9,64,8,64,196,177,229,2,58,52,49,129,171,0,75,245,2,0,64,
+57,243,213,0,242,92,1,147,21,139,75,66,93,103,15,228,74,16,3,111,
+112,101,110,81,25,4,58,32,99,97,110,82,240,64,16,196,156,231,218,4,
+64,174,166,14,246,112,0,67,160,98,146,0,48,83,87,74,40,1,58,52,
+65,128,249,240,4,97,218,4,97,99,116,105,118,68,135,0,58,96,38,128,
+52,72,129,0,48,104,120,73,219,128,19,0,54,64,91,69,105,64,3,0,
+58,96,30,250,82,7,89,27,168,165,102,65,96,225,2,52,48,52,96,27,
+231,158,0,6,52,48,51,32,64,116,111,96,131,64,24,129,62,70,152,64,
+24,100,206,0,58,96,58,128,46,248,70,1,247,255,1,0,51,84,164,247,
+255,0,68,75,1,95,52,138,201,1,58,52,74,104,225,248,5,64,25,245,
+245,5,0,90,164,44,100,227,200,145,0,58,96,85,242,101,0,118,13,224,
+222,2,64,31,213,244,227,216,0,1,58,51,71,192,219,40,1,95,50,111,
+156,0,50,67,204,242,119,2,1,51,48,90,39,139,37,138,230,213,85,0,
+51,66,59,244,116,1,232,253,2,239,215,11,128,97,65,83,251,2,11,228,
+174,1,226,84,17,218,241,9,115,97,118,101,100,32,99,97,99,104,166,239,
+231,146,8,192,175,64,27,1,51,57,171,12,224,184,7,1,58,51,74,69,
+187,199,172,30,171,178,181,89,0,51,140,61,138,104,0,50,73,94,251,231,
+0,194,38,171,253,229,151,2,171,123,64,21,138,140,139,85,1,95,51,78,
+0,253,114,1,0,95,121,234,236,45,3,229,250,0,251,188,0,229,216,8,
+79,157,81,88,230,251,10,215,96,128,69,238,28,1,118,229,64,8,248,41,
+1,176,44,252,32,12,210,130,162,69,240,108,1,224,45,11,182,41,193,34,
+193,246,160,182,252,70,1,96,183,112,85,190,127,224,0,1,1,95,51,117,
+224,128,51,0,89,224,162,21,0,54,144,206,69,126,0,51,149,234,159,115,
+192,62,128,177,204,34,224,126,2,193,101,65,29,197,15,253,177,23,245,45,
+13,128,248,231,93,4,233,81,19,9,105,110,118,97,108,105,100,97,116,101,
+130,174,210,135,130,176,0,51,225,13,2,192,244,225,106,4,100,56,1,95,
+51,94,110,232,39,0,160,172,226,142,4,226,39,2,149,104,192,179,65,119,
+158,70,0,51,95,68,224,0,0,1,95,51,65,185,0,58,99,26,168,176,
+66,51,68,20,238,45,0,110,44,161,87,122,137,225,227,0,223,42,81,33,
+124,143,96,0,96,35,96,181,0,57,99,99,120,102,0,58,96,104,68,190,
+65,33,72,124,1,51,57,130,104,77,29,0,58,96,42,100,127,64,128,131,
+126,111,8,224,105,4,146,178,192,135,196,110,201,52,75,174,64,169,96,32,
+201,205,97,16,224,61,3,101,15,233,170,1,96,126,101,12,81,173,96,147,
+232,245,9,96,219,116,220,2,50,49,32,101,167,98,93,68,205,129,90,91,
+202,105,87,64,95,0,79,245,200,1,0,51,106,97,97,114,229,144,0,66,
+219,148,242,128,2,96,144,224,174,3,125,153,0,51,124,213,202,97,164,56,
+0,55,66,43,70,255,98,139,128,10,193,17,225,157,0,161,50,135,241,224,
+2,1,193,244,196,97,129,101,224,126,0,227,20,1,225,237,0,96,8,1,
+95,54,64,115,79,118,128,60,2,95,51,56,170,49,128,155,96,181,65,2,
+125,106,224,125,2,68,126,224,44,1,0,58,65,34,129,224,1,80,32,74,
+42,0,58,66,160,129,20,231,13,0,255,13,7,1,95,51,80,18,226,64,
+0,66,253,203,84,224,195,0,64,4,0,83,75,69,161,12,193,6,160,134,
+96,202,165,122,110,200,69,117,108,20,224,217,3,1,95,51,139,130,225,81,
+5,160,70,225,69,10,225,94,0,225,60,8,74,43,225,60,25,128,73,128,
+159,243,24,0,0,64,162,110,244,7,7,224,44,4,192,120,124,180,224,48,
+20,254,179,3,2,49,52,51,254,180,13,0,39,227,107,1,160,45,129,200,
+223,7,145,227,224,9,1,118,146,65,214,177,13,0,67,114,173,68,174,160,
+54,160,34,224,63,11,96,55,197,165,226,37,16,170,205,72,94,64,162,225,
+198,1,100,99,129,158,0,90,225,144,6,226,240,0,227,74,1,160,2,97,
+41,195,31,103,0,224,80,4,225,115,16,128,48,99,217,229,87,1,228,84,
+5,224,66,0,224,192,6,132,229,224,192,70,226,98,0,164,220,224,190,22,
+192,46,65,151,193,170,224,191,18,192,14,131,41,227,226,2,128,209,133,153,
+128,65,100,188,224,188,0,169,38,229,138,0,156,137,229,182,2,1,53,56,
+162,119,199,94,242,86,0,226,136,5,167,91,224,89,1,254,5,2,225,33,
+6,192,114,224,227,1,234,225,1,224,11,0,160,9,160,133,128,207,128,19,
+229,68,17,225,69,8,225,52,1,224,208,0,138,20,0,82,144,36,229,152,
+25,224,81,8,224,225,2,96,197,225,55,1,64,15,136,180,227,172,8,110,
+37,129,54,1,95,51,111,27,160,24,224,78,17,227,250,18,224,77,18,165,
+196,225,204,3,162,197,81,145,192,114,129,21,198,108,224,13,19,224,156,1,
+226,220,1,224,35,1,128,17,128,243,1,52,55,224,164,19,133,162,192,127,
+96,11,136,202,0,55,232,202,1,128,83,0,83,224,176,11,224,177,65,162,
+128,96,158,224,177,38,0,56,130,244,0,56,162,232,160,21,97,111,0,58,
+98,159,237,176,2,224,195,17,169,126,128,1,231,115,0,192,8,0,58,96,
+94,224,72,33,224,234,1,224,86,1,226,57,0,224,5,1,0,85,224,61,
+2,229,184,4,96,49,234,27,0,234,36,1,225,57,0,224,167,5,160,58,
+129,26,74,185,227,122,1,96,16,224,15,0,192,224,224,168,0,224,119,34,
+192,35,225,39,19,128,26,228,241,4,192,24,129,69,137,237,228,97,1,227,
+5,16,225,143,2,224,124,3,224,79,0,224,103,17,0,58,98,188,224,101,
+34,226,154,3,225,181,2,225,46,6,160,67,224,24,3,192,152,225,150,76,
+224,98,10,225,129,59,67,223,6,10,65,32,35,50,32,58,99,76,146,134,
+228,233,2,224,110,3,166,15,160,13,132,81,160,5,135,62,224,225,1,224,
+51,1,236,40,0,72,21,171,109,231,77,14,231,101,17,224,128,3,192,208,
+170,4,102,19,230,245,8,68,235,231,2,6,134,250,228,44,0,0,73,100,
+16,65,12,212,66,193,110,145,187,64,168,225,25,0,136,107,225,147,5,224,
+13,13,225,248,3,227,237,0,64,8,168,2,0,58,96,174,168,184,81,137,
+2,75,50,32,128,153,83,141,192,243,0,58,96,165,115,71,0,57,160,248,
+106,1,120,173,215,189,182,207,214,214,128,24,64,11,182,254,224,24,11,160,
+49,151,30,1,95,49,88,236,139,165,0,58,96,6,242,245,12,224,200,6,
+1,95,51,158,71,128,166,250,76,0,64,54,128,10,108,116,0,54,247,63,
+0,111,36,117,198,64,65,251,227,4,67,68,145,147,0,58,111,120,214,175,
+1,95,49,93,14,143,172,1,95,51,80,19,150,150,128,17,0,58,96,6,
+180,193,2,95,51,53,146,89,64,37,161,163,127,192,0,51,111,179,1,51,
+54,96,106,66,30,143,151,236,228,0,80,199,116,59,129,115,128,180,129,154,
+193,46,86,242,97,41,0,58,112,252,224,206,22,97,158,65,229,66,89,64,
+50,251,117,3,113,115,180,234,253,79,1,143,162,0,50,64,149,0,53,64,
+81,0,58,114,12,13,10,65,32,94,109,100,53,66,70,73,76,69,32,58,
+96,25,228,190,2,64,241,128,49,160,217,216,104,0,51,81,8,64,66,205,
+238,111,253,76,54,254,170,4,1,64,35,125,112,64,164,0,35,141,48,185,
+181,96,63,225,85,7,64,25,246,3,3,0,58,96,24,128,37,0,51,163,
+166,224,1,11,233,136,2,194,42,64,175,160,199,121,161,180,25,154,64,201,
+11,164,50,247,94,3,119,5,190,180,164,11,239,191,2,115,159,99,209,226,
+93,8,64,14,98,219,235,125,0,65,8,112,60,242,63,7,1,79,32,97,
+11,192,181,0,58,96,82,225,239,7,98,68,192,152,225,252,8,128,100,0,
+58,114,174,226,135,10,152,102,226,135,10,84,163,214,126,161,55,0,58,96,
+27,239,129,12,66,154,196,224,97,7,133,111,175,111,189,129,251,146,3,128,
+169,239,97,1,230,56,5,229,221,2,140,8,64,107,64,79,239,79,3,160,
+73,98,214,64,155,215,225,64,220,64,113,113,167,0,90,145,174,1,90,32,
+160,58,198,100,224,28,6,73,205,224,28,16,76,196,224,28,16,107,95,224,
+29,16,0,50,112,215,224,29,0,1,95,53,84,85,144,114,0,54,68,56,
+96,10,0,58,96,6,224,187,1,115,52,95,39,128,56,2,95,51,50,88,
+252,96,161,159,113,96,16,128,149,224,16,2,160,137,224,17,2,160,125,128,
+17,128,122,96,80,128,122,131,150,64,6,224,122,1,91,205,0,51,95,137,
+1,95,51,95,157,1,95,51,95,183,1,95,51,95,212,2,95,51,52,66,
+240,128,70,64,82,160,70,64,10,0,58,96,6,8,10,65,32,98,115,62,
+61,32,58,96,41,128,13,64,12,131,96,2,98,115,60,96,26,130,193,2,
+98,115,60,64,12,130,148,4,98,115,99,109,112,64,14,228,140,0,167,174,
+231,240,1,98,213,96,145,95,163,231,209,9,64,143,68,145,1,95,51,131,
+72,1,51,51,164,67,69,48,0,58,65,77,64,89,112,138,0,58,96,19,
+123,143,128,13,129,124,112,185,0,58,96,62,244,0,2,228,54,6,0,58,
+96,126,199,0,226,9,6,130,235,99,119,230,197,1,98,251,0,58,96,6,
+160,54,161,173,128,45,167,252,64,17,119,23,160,17,0,58,96,71,244,150,
+1,190,185,160,62,90,52,0,51,94,141,0,58,96,46,97,65,0,47,65,
+92,190,161,2,98,115,61,64,13,64,39,154,145,64,95,64,10,85,216,81,
+159,0,75,170,37,0,58,99,255,103,93,138,59,131,163,228,161,0,1,64,
+95,96,111,130,41,190,16,228,121,1,228,105,3,0,83,179,214,96,40,161,
+34,120,224,0,48,133,19,228,175,2,244,56,0,252,83,3,0,51,102,208,
+105,141,68,138,191,39,65,25,192,69,64,11,66,224,118,232,0,58,96,6,
+165,9,64,85,1,95,51,90,80,0,58,64,34,225,190,1,164,181,190,45,
+166,26,192,20,168,86,65,115,93,159,231,66,19,101,67,1,95,49,64,42,
+183,144,224,208,36,0,90,224,208,3,248,87,1,1,95,50,120,215,64,10,
+0,58,96,6,193,135,224,92,5,203,93,225,44,15,224,171,6,185,242,96,
+107,64,106,158,147,96,6,169,16,190,127,224,85,13,103,101,224,77,2,0,
+58,122,249,233,63,1,190,124,115,213,0,52,231,100,30,0,58,123,230,96,
+221,1,48,57,184,148,160,5,119,31,224,11,0,0,51,96,97,163,41,0,
+51,97,111,131,243,224,5,1,0,58,96,37,166,200,170,191,0,58,64,42,
+160,51,0,48,64,224,129,218,163,222,190,46,129,40,235,8,23,0,58,106,
+68,254,93,4,3,46,109,104,115,121,178,94,91,124,77,140,140,232,11,15,
+131,71,232,70,6,130,29,253,22,0,187,47,167,138,64,161,163,112,1,95,
+51,94,123,128,136,189,144,224,105,6,89,168,160,105,224,132,3,1,95,51,
+94,47,225,211,7,249,194,1,233,107,6,0,49,67,19,107,113,224,42,2,
+224,159,4,100,99,0,48,65,130,94,205,160,32,224,109,2,93,184,172,220,
+224,213,6,226,62,3,96,200,130,50,96,188,104,115,127,72,96,65,68,157,
+14,79,46,100,101,115,101,114,105,97,108,105,122,101,32,58,96,29,74,106,
+20,97,100,100,95,108,122,55,55,95,100,101,99,111,109,112,114,101,115,115,
+111,114,64,31,193,255,0,83,66,145,0,64,172,14,243,72,2,170,200,133,
+72,244,38,3,225,25,3,129,146,202,186,224,215,0,0,50,157,231,224,53,
+2,224,224,5,88,196,65,55,1,50,56,209,199,0,58,65,36,194,18,235,
+66,1,161,27,224,88,1,65,80,168,235,224,80,1,107,38,0,51,95,215,
+1,95,49,105,119,227,122,5,65,210,65,10,5,117,110,103,101,116,98,64,
+251,235,173,11,224,215,3,1,95,50,95,199,235,92,3,106,132,0,95,70,
+138,66,137,141,210,228,48,3,2,95,50,57,96,211,3,95,50,48,50,226,
+245,2,12,104,71,101,116,67,104,97,114,58,32,69,79,70,190,87,0,58,
+96,196,101,217,3,52,52,32,58,96,56,64,158,128,156,96,121,101,81,3,
+51,50,32,79,67,19,0,50,74,192,1,95,50,66,113,133,116,96,174,239,
+202,0,228,122,2,0,50,78,124,202,80,0,80,229,140,0,64,146,128,173,
+253,86,15,22,111,112,101,110,66,105,110,97,114,121,70,105,108,101,58,32,
+99,97,110,110,111,116,32,64,22,0,32,253,96,3,1,49,51,66,251,140,
+154,195,243,225,54,4,115,177,197,200,99,97,99,142,0,50,151,61,64,186,
+130,174,227,5,4,0,50,90,145,138,188,225,211,2,99,110,99,120,224,5,
+0,220,204,66,176,64,3,228,31,1,142,103,225,124,6,20,72,97,110,100,
+108,101,32,97,108,114,101,97,100,121,32,99,108,111,115,101,100,161,132,227,
+167,6,66,144,100,128,67,175,0,50,189,130,99,106,73,184,0,50,93,85,
+96,189,131,84,1,75,51,104,78,96,22,99,146,104,185,99,66,96,51,130,
+212,0,58,96,60,163,178,78,46,80,15,0,58,96,29,65,238,96,142,97,
+240,221,20,3,51,49,32,58,96,129,231,121,0,3,95,50,55,57,64,149,
+0,55,112,75,128,84,188,0,7,116,111,70,117,110,80,116,114,64,50,198,
+90,80,99,195,123,0,58,97,85,101,191,134,74,0,58,100,237,226,54,16,
+65,177,229,113,10,225,227,8,66,83,81,122,96,36,0,50,114,109,193,246,
+231,69,0,229,140,5,226,15,18,64,148,217,232,0,67,64,126,98,237,1,
+95,50,105,253,224,6,1,68,232,96,50,160,206,200,125,96,45,100,196,228,
+39,8,130,16,64,20,225,233,6,129,80,192,219,224,55,8,75,101,224,200,
+1,228,69,1,130,131,1,95,50,75,146,160,184,129,199,14,73,79,46,112,
+101,114,102,111,114,109,73,79,32,94,38,161,213,64,31,129,214,6,102,112,
+102,105,110,32,58,64,119,128,14,2,110,101,119,64,14,163,244,69,158,144,
+9,97,68,192,18,3,117,116,102,56,64,18,129,194,97,115,71,26,98,64,
+178,186,0,67,64,31,161,60,229,149,6,160,213,100,219,0,49,105,25,224,
+17,2,64,215,64,19,161,113,239,37,4,0,49,72,53,97,91,224,23,7,
+0,57,207,62,224,24,5,68,172,224,23,8,227,129,1,1,119,43,163,110,
+65,120,103,42,229,83,3,0,50,71,155,67,180,138,43,229,76,2,203,54,
+226,141,7,0,58,98,170,65,36,0,102,100,155,0,58,96,85,207,95,233,
+73,14,233,71,6,1,58,50,211,10,82,139,83,10,239,38,2,224,2,34,
+0,95,206,141,224,0,3,130,56,224,1,21,114,22,1,51,55,228,168,2,
+5,70,108,97,103,115,123,193,42,224,0,6,231,67,2,224,2,33,96,157,
+224,106,11,7,118,101,114,98,111,115,101,61,229,213,0,64,33,79,243,196,
+96,224,0,6,224,206,33,81,100,194,61,224,0,8,224,196,41,224,193,16,
+4,114,117,110,73,116,224,191,4,0,50,84,48,224,191,13,224,188,59,224,
+187,38,224,184,16,5,109,104,115,100,105,114,225,121,5,231,79,1,224,191,
+12,224,188,56,224,187,35,224,184,16,4,112,97,116,104,115,224,183,10,232,
+12,2,224,189,11,224,186,53,224,185,32,224,182,16,4,111,117,116,112,117,
+226,41,5,225,111,21,224,174,50,224,173,29,224,170,16,6,108,111,97,100,
+105,110,103,226,213,27,224,162,47,224,161,26,227,114,17,6,101,97,100,67,
+97,99,104,228,54,5,224,160,13,224,157,44,224,156,23,224,153,16,4,119,
+114,105,116,101,224,154,30,224,151,41,224,150,20,224,147,16,6,117,115,101,
+84,105,99,107,227,49,5,224,145,11,224,142,38,224,141,17,224,138,16,4,
+100,111,67,80,80,224,135,23,224,132,35,224,131,14,224,128,16,5,99,112,
+112,65,114,103,228,60,35,224,139,32,224,138,11,224,135,17,224,133,37,224,
+130,29,224,129,8,224,126,17,175,121,225,138,20,224,114,26,224,113,5,224,
+110,16,6,98,117,105,108,100,80,107,228,79,7,82,52,224,240,12,224,119,
+23,224,118,2,224,115,16,3,108,105,115,116,224,114,33,224,111,20,192,110,
+224,107,16,6,112,107,103,80,97,116,104,225,207,29,224,104,17,96,103,224,
+100,16,6,105,110,115,116,97,108,108,224,211,9,225,181,1,224,88,14,224,
+77,11,4,116,97,114,103,101,230,140,35,224,0,13,192,108,0,49,86,28,
+193,47,2,95,49,50,76,223,186,23,93,73,128,11,0,58,96,6,77,241,
+109,4,74,238,97,13,125,0,224,156,3,6,78,111,116,104,105,110,103,128,
+156,237,21,1,0,50,93,180,110,188,2,56,32,95,78,192,1,64,35,84,
+19,225,83,6,224,70,1,4,74,117,115,116,32,160,68,75,227,76,109,192,
+49,65,20,64,166,0,64,98,20,160,15,87,103,160,15,0,58,96,6,245,
+18,3,128,221,0,58,64,124,64,23,111,248,96,119,4,49,48,50,32,35,
+88,227,186,38,160,16,207,116,254,105,3,0,75,224,235,9,3,70,97,108,
+115,84,131,161,75,224,24,1,2,84,114,117,128,23,225,80,0,158,160,129,
+80,158,154,96,6,189,125,90,38,97,20,1,95,50,94,108,1,58,50,190,
+162,248,242,5,236,144,26,160,182,215,136,238,142,1,0,95,119,37,96,244,
+245,40,7,0,53,226,131,0,129,171,175,211,241,61,1,225,197,3,161,196,
+176,129,96,51,129,69,64,186,109,149,195,114,238,66,3,253,136,1,243,104,
+3,224,72,4,244,162,6,0,50,255,96,1,243,5,6,1,101,97,145,119,
+0,75,97,39,141,178,1,65,46,103,188,1,32,58,96,80,129,249,0,52,
+224,2,2,128,85,1,58,50,191,90,162,23,128,2,225,71,7,1,58,50,
+191,89,206,7,224,38,1,224,36,0,1,58,50,191,106,224,151,1,7,118,
+55,46,48,92,49,48,38,86,146,0,50,191,88,3,95,50,53,50,64,4,
+95,51,0,50,191,51,3,95,50,53,52,67,117,0,48,143,12,128,6,0,
+52,96,5,0,48,227,134,0,0,58,96,51,128,45,2,51,32,58,64,50,
+128,145,0,58,64,15,128,10,65,142,0,53,99,245,254,154,3,0,54,192,
+67,127,210,179,105,77,147,128,85,208,227,64,60,148,221,0,50,94,85,0,
+58,64,73,128,25,111,198,66,138,129,244,129,219,0,64,126,94,195,239,96,
+30,229,200,2,160,35,96,17,192,11,128,110,210,141,90,49,127,78,128,60,
+0,58,96,123,146,167,81,66,93,107,1,58,50,222,45,1,50,52,82,18,
+64,201,145,181,225,99,1,5,115,116,100,111,117,116,65,253,0,58,96,51,
+145,50,128,21,1,32,58,96,50,248,86,0,148,173,131,218,241,156,35,178,
+91,69,129,96,195,189,69,64,38,216,219,96,28,181,243,120,100,2,52,49,
+32,117,197,2,66,32,95,120,10,93,80,64,38,129,170,0,73,64,154,194,
+167,4,97,108,108,111,99,64,16,176,55,0,51,65,222,189,100,244,182,8,
+1,95,50,93,22,67,39,93,16,98,44,1,64,58,65,50,128,145,2,95,
+50,49,64,227,128,207,64,33,0,58,96,47,96,153,227,174,0,1,95,50,
+125,157,64,13,129,128,97,246,0,58,96,47,80,252,1,112,117,118,41,189,
+99,246,41,0,65,120,246,41,6,189,102,1,75,50,244,4,0,189,65,84,
+42,243,70,0,189,36,88,11,0,66,187,151,0,90,160,7,128,9,160,10,
+245,235,5,247,227,6,225,7,6,177,36,0,50,91,168,92,36,132,59,101,
+87,93,69,113,247,228,35,3,3,66,97,100,32,181,176,2,109,111,100,197,
+137,248,128,1,64,166,213,78,100,151,120,175,85,113,244,206,6,134,19,1,
+50,50,152,40,97,67,116,139,228,170,5,189,240,1,95,55,87,129,189,239,
+5,102,112,50,112,32,58,96,57,64,26,94,154,150,115,224,5,3,70,136,
+0,39,128,7,0,67,149,48,97,161,65,196,224,6,13,224,42,2,64,15,
+128,48,224,42,30,160,28,224,49,10,224,42,15,224,49,10,224,42,22,224,
+49,3,191,109,129,161,0,58,96,6,227,156,2,116,73,65,90,0,54,66,
+182,190,242,96,24,67,65,83,210,64,22,0,54,224,22,1,103,22,190,198,
+136,48,0,50,179,223,88,6,0,58,96,32,228,107,0,0,50,91,75,128,
+142,0,58,96,38,3,10,65,32,82,161,95,0,58,96,28,160,138,0,89,
+228,232,0,92,107,102,165,64,32,129,208,225,145,5,0,58,96,179,96,55,
+0,85,131,148,126,228,118,28,0,58,66,154,64,27,151,55,230,43,2,0,
+58,96,37,183,184,167,105,0,58,98,238,224,129,2,251,41,2,0,80,96,
+90,125,92,150,118,231,61,4,128,160,135,92,2,64,64,64,99,78,0,58,
+68,5,194,100,1,95,50,85,117,161,121,93,226,64,30,129,52,7,115,101,
+113,117,97,108,32,58,96,33,64,46,232,25,0,1,49,49,227,59,2,5,
+77,72,83,68,73,82,99,50,71,123,93,198,226,239,2,1,58,50,189,235,
+224,19,0,230,116,2,0,58,96,45,253,32,9,118,34,1,95,50,92,93,
+245,179,21,253,120,6,0,50,100,240,245,185,11,190,78,3,95,50,48,57,
+64,208,129,151,13,112,101,101,107,67,65,83,116,114,105,110,103,32,58,64,
+26,96,35,1,57,51,103,89,0,58,96,102,227,139,0,165,246,70,151,73,
+107,64,133,152,126,128,6,129,64,96,159,0,58,96,6,121,37,1,73,110,
+70,102,189,60,91,99,2,101,110,118,64,16,167,171,233,106,3,225,2,6,
+233,100,0,166,152,225,81,1,1,95,50,157,204,1,58,50,189,101,232,241,
+8,3,116,97,105,108,97,143,122,39,253,107,0,1,95,50,65,238,92,126,
+64,67,99,47,188,246,70,112,188,167,2,95,51,48,98,198,92,23,2,95,
+49,57,156,207,0,54,97,123,139,225,121,126,192,11,67,84,96,11,0,58,
+96,6,97,230,0,50,72,93,1,52,50,64,67,128,61,1,51,54,224,155,
+2,6,101,114,114,111,114,58,32,203,3,0,48,192,38,0,58,96,6,96,
+128,2,49,32,75,64,21,0,55,72,56,235,35,3,8,67,111,110,116,114,
+111,108,46,69,64,66,64,64,224,26,1,96,18,2,67,97,108,128,246,134,
+88,96,194,108,127,163,11,198,85,64,7,133,183,71,159,166,42,69,222,138,
+111,97,109,127,4,103,218,168,159,169,29,92,252,64,0,92,0,96,99,218,
+253,166,225,96,32,97,109,232,254,8,163,140,232,241,2,0,58,100,137,96,
+162,0,85,225,195,7,16,109,100,53,67,111,109,98,105,110,101,58,32,101,
+109,112,116,121,134,147,64,145,68,120,68,48,160,171,122,167,222,184,3,66,
+32,95,56,65,127,65,205,1,64,89,96,127,64,151,103,31,68,56,228,27,
+1,196,190,233,127,2,224,255,3,96,19,96,54,72,221,0,49,124,131,104,
+190,0,49,158,132,1,64,95,90,30,1,95,49,91,254,192,0,0,58,97,
+54,66,233,9,109,100,53,65,114,114,97,121,32,58,96,57,130,126,194,237,
+0,55,74,97,64,160,1,95,49,159,138,102,212,231,189,2,253,159,4,1,
+49,57,66,35,224,46,2,163,138,251,85,1,123,206,249,193,5,189,4,64,
+145,226,225,0,96,20,186,175,65,0,137,60,67,107,0,53,238,97,0,141,
+215,153,100,224,106,0,225,58,3,192,25,168,147,140,249,64,67,1,52,55,
+205,144,2,49,49,53,129,34,2,95,49,56,132,73,128,0,229,150,3,133,
+191,192,69,232,62,1,64,51,110,160,224,44,2,96,95,0,66,165,229,0,
+52,161,125,106,61,133,43,193,190,232,100,3,224,43,10,194,134,229,28,2,
+96,16,0,58,65,96,130,195,105,168,236,221,5,0,58,96,143,99,215,0,
+48,65,182,93,214,226,3,0,129,253,0,35,103,194,78,248,0,58,97,160,
+7,10,65,32,35,49,54,32,58,96,28,128,57,0,52,67,6,76,74,162,
+58,96,69,0,49,69,5,2,95,49,48,67,231,64,16,64,11,69,207,160,
+11,0,49,65,246,160,11,0,56,67,122,192,11,0,51,96,104,0,54,131,
+56,135,7,169,33,137,36,66,62,160,2,225,73,6,97,185,128,50,161,252,
+165,210,0,64,71,161,64,242,1,95,49,70,144,162,77,126,151,0,85,95,
+108,224,23,0,199,120,1,32,95,78,71,224,29,7,224,53,16,4,64,64,
+83,32,73,95,165,129,86,192,68,224,151,0,67,139,0,83,162,93,128,69,
+113,44,224,69,5,128,161,99,132,66,98,224,31,7,130,109,162,247,140,148,
+67,37,224,40,9,64,0,128,16,96,52,73,38,65,96,162,2,240,254,4,
+96,29,100,159,130,246,113,202,128,163,162,246,78,183,227,53,1,203,15,64,
+34,1,64,95,77,204,167,53,68,82,1,55,57,228,222,2,27,92,51,52,
+38,108,105,98,47,68,97,116,97,47,73,110,116,101,103,101,114,95,84,121,
+112,101,46,104,115,64,27,4,44,50,56,58,49,242,18,0,103,234,98,15,
+96,223,0,85,192,187,192,18,239,29,0,128,5,0,50,244,61,2,224,60,
+3,161,70,0,64,69,25,228,5,0,69,226,64,169,128,197,144,236,99,83,
+99,91,66,162,82,3,171,217,1,67,32,130,187,128,18,227,84,1,3,64,
+95,52,52,131,234,0,58,98,160,108,227,0,58,96,113,77,196,64,10,202,
+33,0,58,64,140,165,17,71,144,0,49,95,121,71,75,74,49,65,36,196,
+174,191,164,199,144,80,63,1,95,49,80,105,167,144,224,56,0,67,28,192,
+11,97,104,104,132,96,6,128,102,79,211,226,5,2,95,183,64,31,0,54,
+160,31,0,85,193,166,94,222,133,243,0,80,128,47,131,18,96,47,224,15,
+8,64,65,242,115,3,167,116,64,28,174,79,133,214,169,50,64,147,98,186,
+65,58,192,73,115,124,224,21,2,128,159,147,162,169,187,198,144,137,224,0,
+49,127,199,0,58,96,169,97,27,0,56,65,40,129,101,0,90,64,200,0,
+58,96,40,161,126,180,128,65,76,243,223,0,0,73,64,35,179,213,105,216,
+237,207,6,224,14,5,192,189,255,109,1,137,232,128,207,0,58,96,6,203,
+72,160,42,69,37,106,32,224,42,0,115,188,96,6,192,42,83,110,1,95,
+49,115,184,96,43,4,10,65,32,47,61,64,165,163,110,71,103,0,57,64,
+130,205,240,204,88,0,75,64,80,141,87,129,169,102,31,0,85,224,20,1,
+99,124,235,251,5,176,176,80,4,64,147,149,18,196,248,96,176,160,77,96,
+175,192,17,0,58,96,6,167,46,233,41,3,64,9,192,59,237,232,2,0,
+58,96,60,101,238,1,54,48,64,202,226,239,1,179,67,181,19,160,141,233,
+216,3,9,110,111,32,109,97,116,99,104,32,97,213,193,96,32,96,7,79,
+179,194,245,106,45,96,11,0,58,96,6,234,45,29,8,120,99,101,112,116,
+105,111,110,46,68,102,2,114,110,97,106,35,224,39,1,2,80,97,116,64,
+22,0,77,64,128,0,70,203,56,162,204,179,179,134,87,177,108,0,49,112,
+121,96,197,98,152,78,27,224,15,4,66,0,248,9,2,201,101,145,75,0,
+51,64,34,243,127,13,170,85,98,160,69,86,97,50,1,53,53,130,177,180,
+11,2,85,32,58,64,18,226,202,2,179,232,161,92,77,44,162,136,81,106,
+0,35,97,244,215,45,1,53,32,128,15,99,113,138,43,97,102,68,232,71,
+156,96,134,224,39,3,161,135,225,43,1,6,39,92,57,50,38,39,39,165,
+151,193,156,169,126,224,99,0,100,30,138,123,224,17,3,139,111,233,51,3,
+224,168,1,0,64,160,35,134,62,64,156,164,146,98,6,128,158,130,163,247,
+247,8,64,146,70,49,160,148,64,0,0,58,96,147,226,187,0,175,48,231,
+109,6,166,166,1,95,49,83,88,160,108,0,54,85,103,74,49,129,145,205,
+244,65,186,165,70,181,26,179,20,112,220,208,218,0,90,65,11,102,68,166,
+21,224,163,5,224,160,0,2,67,32,79,249,171,1,67,226,138,9,114,196,
+225,22,7,96,0,5,79,32,80,32,35,55,244,214,3,64,79,0,97,96,
+79,96,27,0,56,224,27,7,0,98,224,27,1,71,242,224,28,5,0,102,
+224,28,2,0,48,224,28,7,0,110,224,28,2,245,73,4,64,28,109,116,
+128,28,0,57,224,27,7,117,100,160,56,0,49,224,28,7,0,118,224,56,
+2,224,143,8,64,3,227,116,1,225,193,0,132,77,69,198,182,105,102,76,
+66,152,5,95,49,52,48,32,35,97,135,65,45,85,11,0,35,67,48,64,
+53,196,106,3,52,53,32,58,97,163,195,27,174,146,193,189,90,11,132,79,
+96,17,0,58,96,6,154,172,72,16,235,205,0,207,130,0,49,118,93,69,
+207,144,81,96,19,121,249,112,11,96,30,64,69,131,183,64,67,226,230,2,
+249,172,1,192,64,149,153,226,96,8,64,69,104,118,203,106,192,40,226,52,
+3,224,10,1,96,50,106,41,235,237,1,96,250,129,28,128,74,70,153,224,
+74,4,0,58,96,102,5,10,65,32,111,114,100,65,36,132,78,2,99,104,
+114,64,12,216,54,248,191,4,0,58,64,193,64,23,78,115,192,175,67,254,
+134,40,182,170,225,159,6,111,80,225,159,0,123,142,64,43,129,203,0,60,
+70,237,182,196,198,189,0,58,96,60,161,243,64,16,97,186,0,51,76,73,
+182,122,131,203,65,52,82,244,238,187,2,0,58,96,145,140,107,0,50,64,
+47,177,95,103,150,64,136,1,95,49,79,37,0,58,99,84,199,108,182,119,
+0,61,96,11,160,194,128,196,81,142,67,205,81,131,131,248,130,46,231,57,
+0,149,211,96,15,0,58,96,6,201,103,105,163,85,194,0,58,96,35,147,
+197,156,138,82,81,96,26,96,43,199,216,194,70,110,176,160,10,231,144,0,
+199,186,224,32,0,236,59,0,228,203,0,244,142,1,97,20,224,65,4,224,
+64,5,184,159,180,178,129,214,181,98,171,186,224,169,2,123,43,96,246,240,
+220,4,181,94,73,190,73,170,0,58,97,33,180,150,216,235,97,61,204,75,
+128,36,240,1,0,240,174,0,119,156,103,16,115,233,208,113,1,95,49,151,
+172,0,58,103,85,176,72,211,159,96,27,248,170,1,105,66,85,68,176,62,
+64,222,160,26,117,203,112,21,89,93,96,78,161,140,128,39,1,95,49,85,
+98,64,214,192,31,181,140,2,110,101,119,212,15,4,76,101,110,32,58,96,
+39,224,223,7,181,138,75,212,181,71,173,54,109,82,0,58,109,155,245,216,
+4,239,77,3,181,74,220,79,160,49,129,32,253,187,5,229,13,0,0,58,
+109,182,160,52,64,13,229,14,0,128,2,70,206,65,248,111,210,84,195,0,
+58,79,59,160,48,239,209,11,180,231,233,206,3,84,161,84,44,79,129,224,
+27,11,96,120,180,213,252,229,0,128,188,180,220,4,114,101,109,32,58,109,
+47,161,47,224,1,1,113,47,64,0,224,20,11,224,17,8,224,14,5,224,
+11,2,192,8,96,239,128,122,225,76,1,225,55,12,180,249,0,79,64,152,
+170,156,1,56,53,74,46,114,180,192,7,1,95,56,68,37,115,48,1,95,
+57,71,121,160,10,66,148,160,10,118,102,128,10,100,223,84,235,0,58,96,
+17,123,16,3,111,107,101,87,133,76,181,4,0,94,86,89,128,18,180,213,
+171,169,0,95,84,47,1,64,95,120,128,180,158,193,78,130,61,180,79,224,
+46,0,111,217,128,46,129,103,65,5,86,161,100,136,69,150,0,95,116,170,
+0,58,180,73,182,114,179,135,6,116,111,80,116,114,32,58,179,130,225,184,
+5,179,24,175,216,129,239,79,182,64,96,68,153,1,64,95,82,23,221,212,
+134,230,109,132,106,161,179,75,240,48,7,178,74,201,109,0,95,82,15,65,
+181,128,63,1,67,32,96,65,0,95,109,196,1,64,58,178,89,230,108,7,
+178,67,79,104,114,85,72,222,0,58,178,75,5,113,117,111,116,32,58,177,
+252,226,58,1,226,62,2,226,101,72,177,26,97,30,165,116,243,175,1,0,
+95,112,144,132,128,224,20,0,164,133,244,160,6,243,158,3,0,58,177,87,
+85,173,68,171,70,248,0,58,176,55,6,94,102,114,101,101,32,58,64,23,
+227,229,0,224,91,5,85,64,149,126,210,244,245,61,4,190,144,80,101,224,
+116,3,0,58,176,129,227,218,1,64,165,134,63,96,244,0,39,79,225,244,
+29,1,186,76,160,99,244,183,1,166,63,193,64,224,120,3,1,64,95,80,
+190,128,164,134,80,80,155,244,175,3,137,80,0,58,177,1,3,85,32,75,
+51,227,181,5,0,58,240,255,1,176,254,130,180,66,225,176,207,76,88,0,
+83,100,244,189,128,128,188,76,248,144,152,64,218,224,122,11,96,121,176,244,
+229,106,3,229,24,0,176,206,4,115,101,113,32,58,176,198,96,225,72,167,
+162,197,214,252,226,202,7,208,143,247,195,5,8,117,110,100,101,102,105,110,
+101,100,74,222,0,58,176,166,229,229,15,176,183,0,95,74,166,99,215,71,
+176,99,55,0,95,73,175,234,152,12,78,47,234,148,2,157,106,2,67,32,
+95,80,132,224,37,1,234,117,2,64,37,96,19,96,10,0,95,81,21,0,
+58,177,37,0,85,231,88,0,0,53,80,111,64,32,210,212,161,65,0,80,
+96,12,97,123,230,121,1,132,29,96,175,1,53,32,179,23,64,70,153,100,
+132,197,64,30,131,56,224,35,1,224,55,11,193,10,177,172,83,150,132,1,
+113,47,224,13,0,105,208,225,105,5,180,65,14,58,32,117,110,115,117,112,
+112,111,114,116,101,100,32,119,69,128,2,115,105,122,159,206,3,35,51,50,
+55,96,102,8,35,50,49,52,55,52,56,51,54,75,36,0,58,178,10,244,
+16,2,235,183,0,64,117,244,219,1,66,246,212,3,81,179,129,20,65,146,
+0,51,225,33,0,129,143,0,54,148,9,98,111,178,32,0,105,91,246,178,
+1,0,115,75,105,177,245,74,124,177,244,230,197,15,177,134,227,43,0,165,
+37,209,109,1,52,56,183,89,78,242,0,95,80,13,0,95,80,32,0,95,
+80,48,117,157,1,95,53,82,112,129,238,65,65,64,9,0,58,64,5,176,
+216,241,219,3,87,48,89,13,240,136,0,177,186,224,29,1,224,49,1,224,
+39,4,177,141,227,208,10,177,66,3,62,61,32,58,176,212,2,62,32,58,
+176,205,76,5,176,205,2,60,32,58,176,201,5,105,99,109,112,32,58,175,
+192,107,193,77,212,0,95,78,4,0,58,174,20,75,190,174,20,65,64,173,
+244,2,80,32,58,173,240,196,155,164,216,193,74,224,20,11,224,17,8,224,
+14,5,224,11,2,192,8,230,24,0,174,49,233,100,13,174,8,4,110,101,
+103,32,58,173,110,2,42,32,58,173,107,2,45,32,58,173,104,2,43,32,
+58,173,90,224,156,68,0,58,173,146,224,155,2,193,143,173,128,171,9,2,
+66,32,95,77,18,0,95,113,102,0,66,107,14,102,140,1,64,58,173,156,
+117,97,173,151,2,73,32,58,173,150,64,54,96,42,3,54,32,64,58,173,
+156,64,29,128,232,64,9,128,232,8,94,109,97,108,108,111,99,32,58,173,
+119,13,73,79,46,112,101,114,102,111,114,109,73,79,32,58,173,128,224,187,
+2,0,58,173,135,2,85,32,58,237,85,0,224,227,12,0,58,173,93,64,
+19,0,95,76,166,1,64,95,76,203,0,58,173,95,131,75,136,231,172,227,
+6,114,97,105,115,101,32,58,172,210,94,240,128,172,7,65,46,114,101,97,
+100,32,58,172,201,13,73,79,46,103,101,116,65,114,103,82,101,102,32,58,
+172,202,0,95,71,19,101,15,68,120,99,108,64,107,128,190,6,73,79,46,
+62,62,32,58,172,176,0,95,80,100,98,175,108,205,252,144,0,71,36,99,
+131,0,49,95,131,96,9,0,50,71,212,99,141,172,216,186,22,111,70,174,
+120,151,243,96,35,233,89,0,73,87,64,32,116,140,192,32,0,95,144,197,
+165,56,0,55,88,101,224,47,12,108,253,96,155,143,143,225,14,0,236,202,
+0,226,202,6,0,58,236,206,0,108,31,228,171,0,130,87,164,140,172,192,
+233,246,0,70,38,224,11,2,96,210,101,33,0,58,236,202,1,0,50,174,
+66,166,246,0,51,97,221,109,197,130,135,74,128,129,75,75,106,96,36,180,
+183,0,95,68,213,65,237,240,46,0,227,137,0,70,206,96,11,2,66,32,
+58,162,140,9,79,46,114,101,116,117,114,110,32,58,225,225,0,0,62,68,
+141,128,201,2,80,32,58,227,127,7,227,107,37,0,58,128,208,226,167,15,
+235,38,1,194,143,64,202,2,95,49,57,69,191,224,0,255,224,0,255,224,
+0,255,224,0,255,224,0,255,224,0,255,224,0,255,224,0,105,1,32,125,
 };
 unsigned char *combexpr = data;
-int combexprlen = 95251;
+int combexprlen = 95260;
 #include "mhsffi.h"
 static struct ffi_entry table[] = {
 { 0,0 }