ref: b302b53214f1ff1d79eda9c7285222107a6131e6
parent: e103bc49dc89d3083888f4ad00e0044af9db291d
author: Lennart Augustsson <lennart@augustsson.net>
date: Thu Sep 26 15:01:28 EDT 2024
Prepare for hsc2hs
--- a/generated/mhs.c
+++ b/generated/mhs.c
@@ -865,102 +865,103 @@
6,2,53,50,49,128,32,67,1,233,44,0,226,117,0,66,2,224,147,4,
156,60,229,65,5,32,212,32,64,133,65,227,66,3,224,119,1,224,68,4,
2,52,53,48,224,216,21,138,225,192,218,88,43,225,38,7,225,49,15,65,
-146,224,88,3,224,11,15,224,112,6,2,102,111,114,2,101,105,103,132,149,
-224,140,18,224,27,8,2,99,99,97,2,108,108,34,192,26,32,168,32,174,
-2,54,53,32,192,15,103,95,224,118,5,40,39,224,62,1,2,58,58,34,
-193,190,192,52,224,216,13,2,54,57,52,224,245,15,72,8,227,152,4,105,
-217,128,54,2,50,48,49,225,92,10,2,110,102,105,2,120,108,34,199,51,
-225,150,2,2,50,50,32,224,45,13,2,114,34,32,196,127,224,92,3,120,
-240,224,46,10,203,249,66,12,128,151,247,146,4,2,100,105,103,2,105,116,
-34,231,61,9,210,234,96,25,2,75,32,66,51,148,114,35,171,46,73,131,
-66,204,248,163,13,35,133,192,32,224,33,8,229,61,0,158,29,59,158,224,
-36,4,224,0,0,226,201,1,108,43,226,201,6,226,125,13,226,136,15,64,
-6,226,112,18,2,99,108,97,2,115,115,34,193,252,167,80,131,196,161,199,
-227,201,9,2,49,50,52,128,30,96,164,226,11,17,42,69,194,124,224,131,
-6,2,54,48,52,224,33,8,230,245,7,232,148,3,200,84,32,57,75,108,
-32,5,199,26,224,246,14,64,192,227,216,20,2,110,115,116,2,97,110,99,
-228,181,1,164,28,160,94,43,223,228,163,7,32,83,229,5,22,2,100,101,
-102,2,97,117,108,196,45,2,53,54,53,96,219,96,79,120,182,225,199,5,
-227,99,19,65,245,229,110,29,2,53,57,55,229,110,10,227,219,15,172,176,
-224,119,16,224,224,22,2,112,97,116,45,250,196,156,197,233,226,37,15,131,
-1,232,92,2,115,81,208,187,233,35,3,2,54,54,32,64,5,234,205,1,
-96,140,132,179,232,119,6,224,231,18,2,60,45,34,160,58,115,185,230,65,
-44,224,252,32,163,159,70,178,225,215,7,194,77,229,12,0,225,141,13,64,
-22,47,250,2,56,55,53,32,108,202,127,105,121,123,62,2,83,32,83,107,
-55,36,79,2,60,32,64,114,145,224,18,6,65,248,100,150,224,18,1,157,
-75,228,201,2,131,198,97,105,2,85,32,85,228,229,5,132,130,160,27,2,
-95,53,57,64,249,237,200,2,224,20,10,224,62,4,169,35,128,62,2,75,
-50,32,36,198,200,81,224,149,6,66,7,236,157,5,224,58,3,241,81,0,
-132,24,129,246,224,115,1,69,128,224,90,1,65,33,220,147,77,196,36,138,
-64,24,36,110,64,25,156,122,160,25,99,193,160,24,156,126,232,113,8,2,
-55,53,52,232,113,1,64,39,141,150,160,64,96,128,160,64,141,124,226,79,
-6,226,94,10,227,88,11,110,61,72,107,169,179,231,27,6,125,112,64,131,
-2,56,32,102,226,37,0,2,83,79,85,2,82,67,69,167,26,229,8,4,
-255,214,0,235,108,6,224,135,1,229,134,5,204,154,224,158,16,208,210,128,
-37,112,15,96,85,224,118,5,97,172,232,93,2,227,40,18,2,97,115,34,
-197,1,128,170,200,144,232,52,22,231,209,2,65,238,224,86,7,2,104,105,
-100,52,105,225,18,11,160,155,229,114,0,109,71,2,54,57,50,227,154,11,
-224,100,22,2,113,117,97,2,108,105,102,2,105,101,100,128,103,65,250,143,
-3,236,114,25,159,207,65,200,162,200,173,213,2,55,52,32,228,101,21,238,
-2,3,115,136,237,239,5,229,173,17,138,229,128,95,231,44,13,224,46,4,
-132,170,2,56,54,32,128,215,143,104,81,104,80,220,64,17,142,250,241,88,
-3,64,7,66,29,64,29,141,226,2,90,32,66,64,21,160,50,64,234,176,
-32,225,88,1,112,64,2,83,32,95,33,43,96,230,101,209,99,4,148,200,
-228,6,0,128,235,129,189,96,31,2,90,32,95,108,192,80,182,164,132,64,
-100,131,240,230,73,4,32,197,228,114,2,2,85,32,66,37,47,82,114,132,
-119,81,203,208,151,211,98,114,2,249,36,1,240,182,1,116,21,238,237,1,
-121,194,180,76,96,56,224,16,0,178,90,249,104,3,146,87,243,197,3,64,
-17,181,110,230,184,2,179,39,240,235,3,178,44,242,230,2,192,10,213,156,
-67,214,240,76,1,182,161,2,53,53,57,224,97,0,226,69,8,96,27,192,
-41,65,35,246,63,7,165,102,147,244,65,104,197,101,146,219,238,60,0,238,
-29,3,208,4,231,136,4,183,224,64,237,64,10,147,22,245,22,5,225,190,
-0,197,149,225,192,5,150,17,98,20,240,132,7,89,39,232,67,3,253,248,
-1,213,224,245,221,2,193,30,242,132,1,232,77,9,149,250,32,57,192,214,
-224,211,23,38,25,194,129,64,193,134,62,229,112,1,85,49,96,57,224,100,
-2,228,222,18,110,143,97,163,50,166,32,78,132,141,232,156,19,116,149,129,
-182,97,98,184,53,228,229,1,224,78,8,236,10,24,224,77,2,32,7,34,
-135,226,140,2,73,50,179,155,144,80,83,248,48,80,151,213,2,95,56,52,
-206,247,128,38,65,18,244,192,0,241,148,14,224,5,8,225,223,3,65,15,
-230,190,6,224,167,0,68,63,229,35,13,2,54,52,32,135,172,96,240,225,
-190,6,45,111,238,184,19,165,156,96,36,119,134,71,234,192,51,229,164,1,
-2,54,51,53,225,214,8,2,54,56,51,192,253,2,48,57,32,229,85,7,
-85,104,229,220,32,106,50,74,156,243,223,19,241,24,5,35,144,110,3,2,
-53,48,55,230,70,26,69,194,224,105,26,176,199,230,90,15,2,57,48,52,
-224,199,19,2,54,54,55,214,220,224,139,14,173,221,129,169,224,221,18,2,
-55,56,56,197,195,238,101,12,139,159,195,48,224,57,9,99,249,224,57,10,
-182,104,160,56,66,174,183,60,225,62,22,91,148,136,174,151,48,226,182,5,
-231,134,13,132,248,195,226,41,158,226,64,9,131,186,226,240,17,2,49,48,
-49,226,241,14,211,16,112,27,226,241,7,32,23,199,231,232,213,2,2,54,
-56,50,237,26,9,2,46,46,34,228,61,0,226,14,9,2,49,50,53,163,
-213,136,235,120,213,64,14,200,34,231,242,4,183,32,2,49,54,55,2,57,
-32,58,128,155,128,15,120,101,132,58,32,28,32,251,32,29,72,207,228,39,
-1,237,188,8,92,250,32,123,100,133,227,87,5,2,51,55,32,96,70,162,
-106,96,8,64,79,168,11,228,113,22,2,54,54,56,128,62,161,64,123,156,
-64,7,162,24,195,238,70,14,64,85,134,162,225,226,15,2,49,57,49,234,
-165,1,224,23,2,64,93,64,68,133,142,225,131,2,145,240,240,28,6,2,
-111,34,32,235,65,1,119,101,103,40,64,126,204,158,242,164,12,2,81,117,
-97,2,108,68,111,242,165,10,178,66,146,165,220,252,45,180,128,18,251,32,
-4,192,7,64,59,233,98,2,253,125,12,192,168,192,71,168,55,97,74,103,
-235,2,51,55,48,66,173,131,73,192,63,65,201,248,128,0,231,254,3,65,
-29,225,177,2,242,176,23,2,55,55,51,241,184,22,154,181,227,21,0,245,
-88,18,108,116,233,24,2,241,70,8,2,104,101,110,192,235,224,77,57,2,
-101,108,115,185,85,224,77,1,226,210,4,89,48,224,245,15,65,66,224,245,
-28,194,58,240,88,9,2,45,62,34,242,88,0,236,13,11,65,139,197,6,
-224,132,14,225,122,22,2,108,101,116,224,133,6,167,114,243,103,20,225,174,
-4,64,132,205,80,224,132,12,2,56,51,56,244,175,22,2,97,115,101,226,
-1,18,224,45,6,188,227,224,177,0,130,210,64,133,188,103,231,67,10,132,
-43,250,91,18,37,175,244,189,2,201,128,231,1,13,226,7,10,2,54,57,
-32,224,225,31,224,181,4,128,183,197,126,234,109,17,114,253,203,69,96,136,
-96,56,133,167,107,171,81,52,255,219,24,75,95,65,224,236,180,3,128,131,
-64,192,237,144,7,72,19,252,74,6,138,158,136,44,252,103,9,240,67,8,
-248,143,21,205,203,252,142,12,50,111,41,39,134,50,2,48,49,53,166,234,
+146,224,88,3,224,11,27,224,124,6,2,102,111,114,2,101,105,103,132,161,
+224,152,18,224,27,8,2,99,99,97,2,108,108,34,192,26,32,180,224,32,
+7,2,117,110,115,2,97,102,101,164,2,192,34,2,54,54,53,224,50,0,
+103,142,224,153,5,40,86,224,64,1,2,58,58,34,193,237,192,52,225,7,
+13,2,54,57,52,225,36,15,72,55,227,199,4,106,8,128,54,2,50,48,
+49,225,139,10,2,110,102,105,2,120,108,34,199,98,225,197,2,2,50,50,
+32,224,45,13,2,114,34,32,196,174,224,92,3,121,31,224,46,10,204,40,
+66,59,128,151,247,193,4,2,100,105,103,2,105,116,34,231,108,9,211,25,
+96,25,2,75,32,66,51,195,114,82,171,93,73,178,66,251,248,210,13,35,
+180,192,32,224,33,8,229,108,0,158,76,59,205,224,36,4,224,0,0,226,
+248,1,108,90,226,248,6,226,172,13,226,183,15,64,6,226,147,18,2,99,
+108,97,2,115,115,34,193,252,167,127,131,243,161,199,227,248,9,2,49,50,
+52,128,30,96,164,226,11,17,42,116,194,124,224,131,6,2,54,48,52,224,
+33,8,231,36,7,232,195,3,200,131,32,57,75,155,32,5,199,73,224,246,
+14,64,192,228,7,20,2,110,115,116,2,97,110,99,228,228,1,164,75,160,
+94,44,14,228,210,7,32,83,229,52,22,2,100,101,102,2,97,117,108,196,
+92,2,53,54,53,96,219,96,79,120,229,225,199,5,227,99,19,65,245,229,
+157,29,2,53,57,55,229,157,10,227,219,15,172,223,224,119,16,224,224,22,
+2,112,97,116,46,41,196,191,198,24,226,37,15,131,1,232,139,2,115,128,
+208,234,233,82,3,2,54,54,32,64,5,234,252,1,96,140,132,179,232,166,
+6,224,231,18,2,60,45,34,160,58,115,232,230,112,44,224,252,32,163,159,
+70,225,225,215,7,194,77,229,12,0,225,141,13,64,22,48,41,2,56,55,
+53,32,108,202,174,105,168,123,109,2,83,32,83,107,102,36,79,2,60,32,
+64,114,192,224,18,6,65,248,100,150,224,18,1,157,122,228,201,2,131,198,
+97,105,2,85,32,85,228,229,5,132,130,160,27,2,95,53,57,64,249,237,
+247,2,224,20,10,224,62,4,169,82,128,62,2,75,50,32,36,198,200,128,
+224,149,6,66,7,236,204,5,224,58,3,241,128,0,132,24,129,246,224,115,
+1,69,128,224,90,1,65,33,220,194,77,243,36,138,64,24,36,110,64,25,
+156,169,160,25,99,193,160,24,156,173,232,160,8,2,55,53,52,232,160,1,
+64,39,141,197,160,64,96,128,160,64,141,171,226,79,6,226,94,10,227,88,
+11,110,108,72,154,169,226,231,27,6,125,159,64,131,2,56,32,102,226,37,
+0,2,83,79,85,2,82,67,69,167,26,229,8,4,2,52,53,50,129,10,
+235,155,6,224,135,1,229,134,5,204,201,224,158,16,209,1,128,37,112,62,
+96,85,224,118,5,97,172,232,93,2,227,40,18,2,97,115,34,197,1,128,
+170,200,144,232,52,22,231,209,2,65,238,224,86,7,2,104,105,100,52,152,
+225,18,11,160,155,229,114,0,109,118,2,54,57,50,227,154,11,224,100,22,
+2,113,117,97,2,108,105,102,2,105,101,100,128,103,65,250,143,50,236,161,
+25,159,254,65,200,162,200,174,4,2,55,52,32,228,101,21,238,49,3,115,
+183,238,30,5,229,173,17,139,20,128,95,231,44,13,224,46,4,132,170,2,
+56,54,32,128,215,143,151,81,151,81,11,64,17,143,41,241,135,3,64,7,
+66,29,64,29,142,17,2,90,32,66,64,21,160,50,64,234,176,79,225,88,
+1,112,111,2,83,32,95,33,43,96,230,101,209,99,4,148,247,228,6,0,
+128,235,129,189,96,31,2,90,32,95,108,239,80,229,164,132,64,100,131,240,
+230,73,4,32,197,228,114,2,2,85,32,66,37,47,82,161,132,119,81,250,
+208,198,211,145,114,49,249,83,1,240,229,1,116,68,239,28,1,121,241,180,
+123,96,56,224,16,0,178,137,249,151,3,146,134,243,244,3,64,17,181,157,
+230,184,2,179,86,241,26,3,178,91,243,21,2,192,10,213,203,67,214,240,
+123,1,182,208,2,53,53,57,224,97,0,226,69,8,96,27,192,41,65,35,
+246,110,7,165,102,148,35,65,104,197,101,147,10,238,107,0,238,76,3,208,
+51,231,136,4,184,15,64,237,64,10,147,69,245,69,5,225,190,0,197,149,
+225,192,5,150,64,98,20,240,179,7,89,86,232,67,3,254,39,1,214,15,
+246,12,2,193,30,242,179,1,232,77,9,150,41,32,57,192,214,224,211,23,
+38,25,194,129,64,193,134,62,229,112,1,85,96,96,57,224,100,2,228,222,
+18,110,190,97,163,50,213,32,78,132,141,232,156,19,116,196,129,182,97,98,
+184,100,228,229,1,224,78,8,236,10,24,224,77,2,32,7,34,135,226,140,
+2,73,50,179,202,144,127,84,39,48,127,152,4,2,95,56,52,207,38,128,
+38,65,18,244,239,0,241,195,14,224,5,8,225,223,3,65,15,230,190,6,
+224,167,0,68,63,229,35,13,2,54,52,32,135,172,96,240,225,190,6,45,
+111,238,184,19,165,156,96,36,119,181,71,234,192,51,229,164,1,2,54,51,
+53,225,214,8,2,54,56,51,192,253,2,48,57,32,229,85,7,85,151,229,
+220,32,106,50,74,156,244,14,19,241,71,5,35,144,110,3,2,53,48,55,
+230,70,26,69,194,224,105,26,176,246,230,90,15,2,57,48,52,224,199,19,
+2,54,54,55,215,11,224,139,14,173,221,129,169,224,221,18,2,55,56,56,
+197,195,238,101,12,139,159,195,48,224,57,9,99,249,224,57,10,182,151,160,
+56,66,174,183,107,225,62,22,91,195,136,174,151,95,226,182,5,231,134,13,
+132,248,195,226,41,158,226,64,9,131,186,226,240,17,2,49,48,49,226,241,
+14,211,63,112,27,226,241,7,32,23,199,231,232,213,2,2,54,56,50,237,
+26,9,2,46,46,34,228,61,0,226,14,9,2,49,50,53,163,213,136,235,
+121,4,64,14,200,34,231,242,4,183,79,2,49,54,55,2,57,32,58,128,
+155,128,15,120,148,132,58,32,28,32,251,32,29,72,207,228,39,1,237,188,
+8,93,41,32,123,100,133,227,87,5,2,51,55,32,96,70,162,106,96,8,
+64,79,168,11,228,113,22,2,54,54,56,128,62,161,64,123,203,64,7,162,
+24,195,238,70,14,64,85,134,162,225,226,15,2,49,57,49,234,165,1,224,
+23,2,64,93,64,68,133,142,225,131,2,145,240,240,28,6,2,111,34,32,
+235,65,1,119,148,103,40,64,126,204,158,242,164,12,2,81,117,97,2,108,
+68,111,242,165,10,178,66,146,165,221,43,45,180,128,18,251,79,4,192,7,
+64,59,233,98,2,253,172,12,192,168,192,71,168,55,97,74,103,235,2,51,
+55,48,66,173,131,73,192,63,65,201,248,175,0,231,254,3,65,29,225,177,
+2,242,176,23,2,55,55,51,241,184,22,154,228,227,21,0,245,123,18,149,
+40,233,24,1,241,70,8,2,104,101,110,192,235,224,77,57,2,101,108,115,
+181,129,224,77,1,226,210,4,89,95,224,245,15,65,66,224,245,28,194,58,
+240,88,9,2,45,62,34,242,88,0,236,13,11,65,139,197,6,224,132,14,
+225,122,22,2,108,101,116,224,133,6,167,114,243,103,20,225,174,4,64,132,
+205,80,224,132,12,2,56,51,56,244,175,22,2,97,115,101,226,1,18,224,
+45,6,189,18,224,177,0,130,210,64,133,188,150,231,67,10,132,43,250,138,
+18,37,175,244,189,2,201,128,231,1,13,226,7,10,2,54,57,32,224,225,
+31,224,181,4,128,183,197,126,234,109,17,114,253,203,69,96,136,96,56,133,
+167,107,171,81,52,255,128,11,255,98,4,75,95,65,224,236,180,3,128,131,
+64,192,237,144,7,72,19,252,121,6,138,158,136,44,252,150,9,240,67,8,
+248,143,21,205,203,252,189,12,50,111,41,39,134,50,2,48,49,53,166,234,
2,53,55,55,87,134,175,251,64,183,238,72,10,44,44,224,183,6,231,194,
-12,138,3,224,197,7,231,237,18,253,59,18,197,136,179,35,2,95,51,57,
+12,138,3,224,197,7,231,237,18,253,106,18,197,136,179,35,2,95,51,57,
32,57,32,42,96,170,64,146,96,177,78,205,192,196,138,174,224,198,0,198,
173,235,123,32,230,186,8,214,143,110,34,224,24,11,103,32,234,242,64,127,
-122,234,242,31,138,239,234,232,29,2,54,53,57,234,97,1,234,213,22,33,
-56,251,236,9,234,214,3,200,107,252,81,4,2,54,54,49,224,40,1,224,
-173,0,224,96,15,249,107,9,235,55,4,190,95,224,96,5,64,118,225,14,
+169,234,242,31,138,239,234,232,29,2,54,53,57,234,97,1,234,213,22,33,
+56,252,27,9,234,214,3,200,107,252,128,4,2,54,54,49,224,40,1,224,
+173,0,224,96,15,249,107,9,235,55,4,190,142,224,96,5,64,118,225,14,
18,130,15,225,111,31,132,145,130,130,236,86,21,2,55,57,50,71,202,100,
236,169,31,246,252,19,2,114,105,109,2,105,116,105,2,118,101,34,162,23,
156,91,66,141,232,188,20,2,115,116,114,179,180,232,188,6,129,191,251,98,
@@ -4009,470 +4010,471 @@
138,231,191,0,32,34,131,55,96,123,2,90,32,90,169,175,32,23,131,49,
96,23,64,132,96,2,192,30,96,32,178,254,2,52,50,57,46,157,68,71,
32,13,2,94,71,69,2,84,84,73,2,77,69,77,2,73,76,76,2,73,
-32,58,64,27,161,99,214,81,238,9,11,40,119,190,90,236,240,7,233,197,
-0,100,201,131,157,233,238,9,170,121,160,81,234,38,15,167,208,71,217,227,
-150,5,231,218,18,226,112,17,2,70,105,108,231,214,10,231,44,3,167,39,
-253,166,5,234,150,1,2,52,49,50,243,71,1,128,249,224,237,2,234,106,
-1,193,55,164,237,101,250,100,57,64,66,96,44,199,72,199,110,234,228,7,
-32,32,2,50,55,32,239,234,1,192,100,128,14,100,1,110,88,65,213,70,
-179,233,110,3,65,100,2,52,49,56,229,87,2,2,109,104,115,2,99,112,
-112,2,46,104,115,230,139,0,205,252,164,255,249,147,2,224,138,1,96,132,
-66,115,232,17,1,161,5,144,45,235,157,6,2,52,50,54,100,235,224,171,
-0,128,156,204,55,225,227,4,2,49,50,48,64,164,35,144,164,165,228,187,
-3,64,220,65,48,68,185,74,167,165,97,237,104,6,2,114,101,109,58,159,
-97,210,2,102,97,105,2,108,101,100,128,219,32,113,131,96,2,94,117,110,
-2,108,105,110,2,107,32,58,96,101,161,31,225,33,2,2,50,49,49,224,
-77,2,2,77,72,83,2,67,80,80,2,72,83,34,238,62,6,224,46,2,
-225,228,5,104,216,32,2,230,63,3,245,32,2,224,209,13,102,46,205,166,
-230,32,2,226,180,19,2,82,117,110,2,32,99,112,2,112,104,115,226,175,
-20,33,75,230,134,0,255,74,2,167,219,33,69,224,91,12,96,87,251,215,
-1,224,244,0,224,140,16,2,32,45,45,2,115,116,114,2,105,112,32,230,
-168,2,234,5,1,232,222,0,204,174,233,57,2,2,52,50,50,229,137,1,
-143,227,2,39,32,79,139,0,224,109,15,2,45,73,34,232,189,0,64,49,
-224,25,1,2,47,115,114,2,99,47,114,2,117,110,116,2,105,109,101,128,
-35,100,228,32,101,230,65,1,233,101,22,165,212,139,204,224,239,17,2,79,
-34,32,233,47,2,34,76,133,158,229,99,2,69,129,128,1,234,121,2,32,
-40,133,164,2,79,32,102,224,77,0,2,39,45,68,2,77,73,78,2,95,
-86,69,2,82,83,73,2,79,78,95,2,98,97,115,2,101,40,120,2,44,
-121,44,2,122,41,61,2,40,120,60,2,61,52,124,2,124,121,60,2,61,
-49,52,2,41,39,34,32,72,224,56,3,2,45,68,95,2,95,77,72,2,
-83,95,95,64,24,134,91,65,78,141,125,2,56,32,79,224,215,1,32,24,
-133,227,229,84,6,163,112,2,49,57,32,237,35,6,227,114,20,235,9,38,
-2,99,97,108,2,108,67,111,2,109,109,97,69,92,131,148,237,58,16,2,
-49,52,56,237,58,23,2,44,32,34,229,160,19,32,234,166,192,2,115,121,
-115,2,116,101,109,35,233,64,222,99,233,228,110,3,224,236,2,97,5,182,
-10,64,34,224,21,4,112,255,33,34,103,101,240,141,4,2,50,49,48,240,
-141,10,58,136,224,39,5,33,64,2,51,55,55,97,102,138,2,229,185,4,
-165,174,64,29,32,35,32,171,133,181,104,144,46,219,193,125,2,49,51,52,
-65,126,139,135,39,100,32,13,204,169,104,220,123,19,105,207,225,51,2,130,
-120,135,102,42,154,238,33,2,2,51,52,38,2,108,105,98,2,47,83,121,
-65,33,2,47,73,79,38,3,64,19,2,44,50,56,2,53,58,56,129,94,
-2,90,32,66,64,96,76,46,96,110,97,18,33,238,128,131,160,19,181,112,
-64,36,224,118,7,32,202,229,227,0,50,3,167,209,32,41,224,84,3,171,
-167,249,125,3,166,67,253,31,4,68,72,224,136,1,241,138,0,243,25,0,
-203,226,235,199,2,80,23,149,165,33,192,32,14,133,236,2,94,116,109,2,
-112,110,97,2,109,101,32,32,17,227,177,0,227,176,8,227,178,4,64,60,
-215,175,60,102,64,106,32,137,2,54,32,89,135,207,252,13,1,213,215,254,
-134,17,208,219,82,115,97,176,97,213,2,35,49,50,254,120,3,245,251,1,
-217,192,108,176,224,45,0,173,186,128,33,214,70,247,52,1,224,42,3,138,
-196,244,35,1,224,129,17,2,48,57,32,145,126,179,34,224,74,8,114,8,
-34,215,64,112,224,33,14,41,122,224,33,22,112,185,224,67,21,97,57,96,
-33,106,222,130,225,224,36,7,137,9,248,51,0,224,0,3,225,132,8,226,
-88,4,225,133,19,193,44,225,132,71,2,49,50,53,224,166,2,138,3,224,
-133,18,194,216,203,101,42,193,36,90,131,254,248,183,1,250,193,0,250,192,
-1,231,190,4,141,56,116,21,2,52,48,56,169,180,147,203,74,171,233,121,
-9,132,161,139,93,233,213,9,228,175,2,32,64,230,73,9,37,72,32,6,
-192,219,2,83,32,67,161,1,102,51,2,95,54,50,143,108,168,226,165,49,
-192,59,107,181,32,118,234,250,3,234,217,4,173,97,2,50,54,52,255,54,
-0,235,23,7,224,47,0,228,122,0,244,159,0,69,17,77,24,2,58,52,
-48,172,192,64,1,102,116,64,116,2,49,52,48,2,32,35,54,106,111,70,
-124,64,165,85,56,161,107,229,54,14,2,68,97,116,2,97,47,67,2,104,
-97,114,197,54,34,146,2,58,49,34,239,239,2,32,170,96,166,215,173,242,
-192,6,2,49,52,57,96,123,2,57,32,35,156,245,128,11,141,58,64,170,
-203,186,36,241,109,27,129,186,34,9,141,167,2,48,52,32,32,4,117,110,
-76,223,164,198,64,13,132,230,2,85,32,58,64,35,128,10,122,180,45,11,
-160,58,2,49,32,58,109,32,32,13,77,214,67,76,69,39,137,225,231,211,
-2,234,42,5,2,57,57,32,240,176,19,245,11,0,64,106,129,123,2,85,
-32,67,209,162,149,205,32,68,66,137,229,208,0,231,246,4,231,197,4,232,
-78,21,247,66,1,242,2,2,226,110,1,156,179,224,26,12,226,137,6,224,
-102,21,44,37,241,120,0,225,11,4,232,167,33,2,99,111,108,232,171,5,
-128,52,32,0,224,37,1,2,101,110,100,2,45,111,102,2,45,102,105,2,
-108,101,34,96,28,224,26,1,2,110,111,32,2,108,111,99,2,97,116,105,
-2,111,110,34,224,55,8,224,28,7,2,58,51,57,220,169,132,38,38,249,
-165,4,32,26,194,79,99,154,2,51,57,54,164,81,224,183,12,238,15,0,
-175,146,174,87,49,11,87,250,111,223,194,155,104,110,98,155,64,83,254,162,
-0,218,172,130,188,135,180,128,6,32,39,130,161,2,89,32,66,165,56,231,
-195,9,167,194,96,48,218,66,204,188,253,188,2,236,207,0,2,39,32,85,
-254,65,6,182,76,240,126,1,131,237,162,161,96,150,128,194,245,66,1,88,
-173,2,51,57,49,248,102,13,237,149,4,242,201,2,101,96,2,56,32,35,
-220,142,64,91,171,128,89,127,32,13,131,93,91,61,209,233,121,152,96,33,
-2,48,32,80,32,5,2,56,54,32,32,126,2,56,55,32,118,204,129,108,
-32,207,2,51,56,56,97,186,86,154,242,80,4,96,24,64,63,2,49,50,
-52,143,175,96,143,138,202,134,20,32,68,133,43,32,22,37,40,128,92,32,
-178,32,237,128,11,32,68,164,74,35,119,95,26,33,212,33,117,2,55,32,
-102,226,5,0,2,67,111,110,2,116,114,111,2,108,46,69,2,120,99,101,
-2,112,116,105,2,111,110,46,2,73,110,116,2,101,114,110,2,97,108,34,
-32,64,224,39,1,2,83,111,109,2,101,69,120,160,35,166,118,137,211,32,
-100,162,19,177,19,64,230,69,201,64,107,70,84,2,51,56,51,96,47,66,
-141,251,185,0,2,51,56,52,128,160,207,157,40,5,83,18,96,23,243,32,
-0,96,58,171,210,66,104,2,56,48,32,218,209,103,233,32,17,150,106,160,
-136,243,1,3,128,94,129,152,35,64,57,129,32,14,129,147,230,154,6,231,
-23,0,2,51,55,56,241,224,1,239,212,3,75,115,101,25,145,158,2,58,
-51,55,129,174,2,75,32,90,160,104,64,57,243,54,0,242,21,1,146,206,
-139,10,66,93,102,226,228,74,16,2,111,112,101,2,110,70,105,92,61,2,
-99,97,110,82,169,64,16,196,156,231,156,3,96,174,166,14,226,112,0,87,
-105,97,235,2,55,51,32,32,4,99,134,38,153,247,99,5,97,221,2,97,
-99,116,60,170,87,102,96,38,128,52,66,53,2,55,50,32,64,19,220,76,
-34,163,32,91,69,105,64,3,32,24,220,54,247,197,1,64,35,200,103,98,
-225,2,54,55,32,64,5,100,67,68,87,164,67,2,54,56,32,2,64,116,
-111,96,131,32,24,64,30,134,152,96,24,100,206,32,10,228,114,0,245,253,
-1,245,210,2,71,109,213,210,2,67,32,66,96,102,99,184,32,57,231,29,
-0,193,248,64,25,245,71,5,34,96,192,184,32,56,166,130,32,40,248,153,
-1,128,28,224,37,0,68,181,32,31,213,109,227,218,2,38,95,248,155,0,
-33,225,66,228,2,50,53,49,244,44,3,34,146,79,88,65,73,245,0,7,
-2,50,55,55,174,98,148,94,226,102,0,243,9,12,248,117,21,228,174,1,
-248,100,25,2,115,97,118,47,144,2,99,97,99,2,104,101,32,163,192,231,
-146,6,192,175,110,122,2,54,48,32,226,118,5,160,184,32,253,249,58,1,
-255,105,3,220,9,37,105,165,94,96,12,73,94,249,90,0,194,38,251,154,
-16,203,138,204,18,36,184,96,220,218,229,2,95,55,56,231,170,3,254,4,
-1,254,63,19,67,223,65,76,230,251,10,254,74,5,237,222,1,118,158,215,
-123,128,18,254,163,4,249,147,5,2,51,50,51,243,125,10,249,159,1,249,
-193,6,149,226,236,75,1,129,246,160,182,249,191,1,241,146,0,2,49,54,
-54,237,1,6,32,113,133,249,64,51,39,54,224,162,19,108,151,159,193,2,
-51,50,54,128,174,200,159,253,242,3,64,27,224,126,4,243,222,3,251,36,
-31,244,230,13,251,20,10,233,81,19,2,105,110,118,2,97,108,105,2,100,
-97,116,58,117,66,174,210,70,255,117,4,237,151,1,224,154,4,68,107,68,
-56,52,245,192,130,224,172,2,226,142,4,226,39,2,149,33,224,48,0,64,
-177,106,72,2,51,53,52,225,121,2,32,14,100,214,67,26,168,176,66,51,
-68,20,237,239,0,144,205,129,85,66,59,225,227,1,220,157,112,224,90,125,
-96,0,96,35,96,181,120,247,154,136,2,58,51,53,133,32,103,51,72,124,
-2,51,53,54,128,143,82,60,96,42,100,127,64,128,131,126,110,202,224,105,
-4,146,113,192,135,254,230,0,169,52,75,174,64,169,207,43,255,153,2,224,
-61,2,101,15,233,170,2,64,126,101,12,81,108,96,147,229,26,0,241,82,
-8,32,31,165,131,91,121,101,176,219,134,161,99,90,244,150,51,32,104,54,
-12,160,58,190,51,97,123,229,153,0,66,228,148,186,128,2,96,153,224,183,
-3,64,176,2,95,51,52,248,155,1,228,65,0,59,135,32,82,32,117,98,
-148,128,10,226,252,3,129,130,218,201,224,98,1,176,76,250,14,6,185,253,
-227,5,0,163,29,225,246,0,96,8,2,95,54,51,66,67,163,231,65,221,
-95,81,228,183,1,208,63,2,51,52,49,238,236,0,251,71,0,224,44,1,
-33,3,134,125,115,122,77,224,66,169,203,226,252,233,10,137,37,102,144,226,
-73,0,133,173,97,65,224,195,0,143,190,42,126,161,12,193,6,240,143,1,
-201,100,142,209,37,126,2,51,51,53,137,197,224,217,0,42,217,107,15,225,
-81,5,160,70,225,69,10,225,94,0,225,60,8,74,52,225,60,25,128,73,
-210,42,177,89,35,64,98,54,226,126,7,224,44,4,192,120,124,118,224,48,
-20,45,56,209,177,45,198,32,135,101,171,32,252,131,126,96,6,64,185,195,
-116,160,45,129,200,67,8,128,78,116,109,224,9,0,118,90,64,35,166,157,
-32,54,176,156,160,54,160,34,224,63,11,96,55,204,211,226,37,16,170,214,
-72,103,73,163,225,198,1,68,108,161,158,2,90,32,83,225,144,4,226,240,
-0,227,74,1,227,1,1,227,31,1,103,9,224,80,4,225,115,16,201,67,
-224,177,0,230,92,0,237,170,1,252,185,1,224,192,3,64,47,224,192,73,
-226,98,0,233,211,5,224,190,15,192,46,97,151,232,72,0,224,191,16,192,
-14,131,41,227,226,2,128,209,253,149,1,164,188,228,186,1,195,17,252,75,
-4,229,191,2,37,222,130,119,248,117,0,210,95,226,136,5,167,100,224,89,
-1,253,199,2,225,33,6,192,114,224,227,1,234,234,1,224,11,0,255,240,
-4,160,207,229,68,23,225,69,8,225,52,1,224,208,0,138,29,2,82,32,
-64,229,152,29,247,156,10,225,248,5,225,55,1,64,15,186,91,227,172,7,
-243,151,4,84,124,36,195,64,11,32,30,127,137,225,73,0,163,92,224,98,
-14,228,14,18,224,97,38,165,236,225,244,3,162,237,81,194,64,7,230,148,
-9,224,13,19,229,97,3,193,195,233,209,4,214,128,2,95,52,55,224,184,
-5,224,171,4,41,187,224,24,0,195,151,143,161,73,199,225,211,4,81,200,
-224,176,8,224,177,65,208,62,64,158,224,177,39,139,134,155,54,224,21,1,
-143,171,66,199,237,225,2,224,195,17,169,175,172,155,199,155,192,8,32,72,
-136,239,224,72,30,232,170,5,227,21,1,152,14,224,5,0,39,132,224,61,
-0,229,224,4,96,49,234,76,0,234,85,1,225,57,0,224,167,5,248,74,
-2,96,17,227,162,2,96,16,224,15,0,192,224,225,151,1,224,119,33,192,
-35,225,39,19,229,25,11,204,240,97,69,138,21,228,137,1,227,5,16,225,
-143,2,230,249,6,203,169,224,103,15,32,101,138,60,224,101,31,232,174,4,
-225,181,1,225,46,6,160,67,228,231,6,230,135,5,225,150,67,224,98,10,
-225,129,60,138,84,2,35,50,32,32,11,138,79,231,89,15,230,55,0,227,
-156,1,224,5,1,135,102,224,225,1,231,127,6,200,61,171,149,231,117,14,
-231,141,17,224,128,3,192,208,170,44,102,59,231,29,8,229,144,4,132,32,
-135,34,228,44,0,43,66,64,255,203,18,178,18,65,110,145,236,64,168,65,
-25,85,211,69,182,64,11,2,51,32,58,101,208,227,249,0,228,234,21,226,
-4,3,242,78,8,97,126,64,186,168,236,81,198,34,145,128,165,83,202,192,
-255,32,37,179,205,41,26,234,108,0,97,88,100,120,119,28,183,12,215,19,
-128,24,64,11,183,59,224,24,11,160,49,151,91,44,54,108,65,66,129,32,
-113,243,50,20,2,50,55,52,224,192,0,218,114,32,10,211,29,108,156,87,
-31,243,192,1,2,50,56,50,247,150,0,251,231,2,67,68,143,127,32,48,
-129,137,118,227,39,96,96,140,129,188,2,50,57,32,214,202,96,17,32,43,
-218,111,54,200,2,51,49,56,96,19,64,37,161,151,127,179,2,50,57,48,
-119,228,105,137,141,12,79,200,237,12,0,80,248,116,108,129,103,96,180,64,
-44,185,79,65,28,87,38,97,29,32,25,197,239,224,206,17,97,146,65,217,
-66,89,64,50,219,152,91,166,113,164,224,64,1,2,49,57,50,128,218,117,
-100,64,63,32,27,2,94,109,100,2,53,66,70,2,73,76,69,33,76,64,
-24,228,179,2,64,188,117,82,159,79,248,142,1,2,51,50,48,128,159,194,
-199,112,35,76,83,254,146,4,62,190,64,199,64,153,2,35,52,55,131,7,
-153,219,64,63,225,74,7,64,25,246,41,3,32,17,129,44,32,37,2,51,
-32,90,224,1,14,233,163,2,162,28,64,172,160,196,121,196,180,60,154,99,
-240,134,2,254,88,4,82,54,112,255,158,153,239,217,9,113,146,98,179,226,
-79,8,64,14,122,185,235,151,0,65,5,137,123,242,98,6,2,79,32,35,
-65,8,192,180,32,172,225,225,10,98,54,254,181,1,225,238,6,128,100,32,
-57,216,183,226,121,4,2,50,57,49,226,121,14,84,198,246,161,5,64,24,
-239,152,12,66,137,196,207,187,100,107,47,97,217,2,50,57,56,153,249,251,
-178,2,239,120,7,230,39,5,230,56,7,98,90,64,79,239,102,3,160,73,
-98,197,64,155,186,221,44,197,128,113,113,190,2,90,32,67,128,6,160,58,
-211,135,224,28,6,73,188,224,28,16,76,219,224,28,16,107,98,224,29,16,
-2,50,52,55,224,29,3,2,95,53,57,240,137,0,51,145,160,10,32,187,
-164,83,128,187,120,141,63,21,160,56,32,17,36,100,96,72,2,48,57,32,
-112,188,64,16,96,149,224,16,3,128,137,224,17,3,128,125,160,17,128,122,
-96,80,128,122,131,144,64,6,224,122,1,93,53,2,51,48,52,96,5,128,
-11,99,188,95,221,32,5,66,237,96,70,96,82,128,70,96,10,2,58,51,
-48,131,138,2,98,115,62,2,61,32,58,96,41,128,13,64,12,131,93,2,
-98,115,60,96,26,130,190,32,13,64,12,130,145,2,98,115,99,2,109,112,
-32,32,14,201,0,199,157,231,223,1,98,210,104,139,127,238,231,192,8,64,
-143,148,141,95,227,64,6,167,69,81,239,32,89,130,184,112,161,32,13,130,
-42,100,10,32,13,129,124,112,208,32,13,196,103,244,32,13,96,126,198,227,
-226,9,6,130,235,207,81,134,168,130,251,32,54,189,25,32,54,161,173,128,
-45,146,160,129,173,87,55,160,17,32,48,244,182,3,64,26,224,62,2,120,
-217,126,179,96,46,97,65,2,47,61,32,32,13,129,64,2,98,115,61,96,
-13,128,244,58,177,64,95,134,48,145,182,37,67,106,20,32,24,162,121,2,
-51,32,66,227,196,1,228,158,0,2,64,95,57,164,38,64,42,162,41,228,
-118,0,228,102,3,127,48,134,80,121,23,103,33,183,97,254,164,1,100,172,
-244,79,0,252,115,4,189,38,41,124,64,44,96,13,128,23,41,28,151,167,
-32,6,247,50,0,32,100,200,222,34,229,98,23,93,209,32,22,193,54,250,
-250,1,96,25,230,20,1,192,20,213,232,64,82,32,131,231,49,19,101,64,
-39,240,247,176,1,224,208,36,68,7,224,208,0,38,179,224,207,0,120,247,
-126,83,96,6,193,135,224,92,5,247,140,0,225,44,14,224,171,6,186,18,
-96,107,96,106,101,203,96,6,136,255,96,86,227,101,0,224,85,7,103,95,
-224,77,2,32,46,130,33,137,46,96,35,167,134,2,75,52,32,231,94,26,
-2,58,50,55,130,14,2,82,32,95,104,164,32,16,163,11,73,158,151,165,
-160,5,119,68,183,183,123,185,128,37,2,53,32,58,96,25,227,178,0,108,
-127,253,0,18,105,247,254,66,4,2,46,109,104,2,115,99,97,57,151,94,
-64,124,50,140,64,231,205,15,252,254,5,168,8,129,226,252,251,0,187,20,
-167,76,69,71,163,53,32,178,134,161,32,105,225,107,0,224,105,4,93,140,
-160,105,224,132,3,32,24,108,34,225,152,5,249,167,1,233,42,6,2,49,
-50,50,130,152,225,174,0,250,87,0,160,77,120,182,224,158,1,2,50,50,
-49,128,23,138,203,224,122,5,64,227,252,5,3,224,226,2,226,16,3,96,
-213,164,52,2,50,54,57,65,154,130,18,2,73,79,46,2,100,101,115,2,
-101,114,105,59,7,2,122,101,32,2,58,50,54,129,247,2,94,97,100,2,
-100,95,108,2,122,55,55,2,95,100,101,2,99,111,109,2,112,114,101,2,
-115,115,111,2,114,32,58,96,133,225,133,6,128,178,169,104,224,133,0,190,
-101,98,27,117,165,224,143,2,32,70,130,39,2,94,117,110,2,103,101,116,
-2,98,32,58,96,40,225,115,6,32,61,32,6,234,109,3,88,147,38,193,
-79,89,32,190,140,204,227,71,3,32,49,108,59,35,164,2,50,32,102,226,
-71,0,2,104,71,101,2,116,67,104,2,97,114,58,2,32,69,79,2,70,
-34,32,129,14,223,183,2,49,52,52,64,126,130,123,2,94,103,101,128,141,
-226,107,0,227,109,6,89,38,32,18,34,176,195,239,187,108,252,100,17,2,
-111,112,101,2,110,66,105,2,110,97,114,2,121,70,105,2,108,101,58,60,
-105,2,110,110,111,2,116,32,111,32,22,252,110,4,255,31,2,161,61,225,
-8,1,91,14,224,232,5,98,20,96,199,169,65,2,50,54,48,64,184,129,
-228,2,94,99,108,2,111,115,101,96,201,129,231,195,227,2,58,50,53,183,
-1,224,218,12,227,63,9,224,36,3,64,242,59,106,191,164,156,40,96,154,
-224,155,4,198,135,224,163,0,64,116,130,53,98,85,140,131,96,55,192,18,
-2,117,116,102,44,7,96,81,166,29,91,146,32,119,64,58,177,197,64,31,
-232,105,3,224,186,1,253,118,3,2,49,50,48,251,151,0,222,53,96,19,
-67,135,64,221,235,162,3,2,49,49,52,171,163,224,23,7,33,35,133,17,
-224,24,5,71,222,224,23,8,225,233,1,2,119,43,34,197,196,2,50,53,
-50,173,181,226,188,0,2,50,48,55,134,63,190,61,225,204,1,199,182,228,
-186,7,32,241,173,187,2,102,111,112,34,45,32,15,129,236,139,220,229,201,
-11,229,199,5,32,48,130,15,239,200,5,32,22,168,21,79,14,79,129,241,
-249,8,224,2,25,62,49,237,145,5,242,90,6,224,1,13,126,103,48,151,
-225,52,1,2,70,108,97,2,103,115,123,193,56,224,0,5,243,84,1,224,
-2,31,96,150,224,102,11,2,118,101,114,2,98,111,115,2,101,61,34,195,
-113,64,33,89,59,81,25,224,0,9,224,199,31,77,232,194,68,224,189,54,
-224,186,16,2,114,117,110,2,73,116,61,224,184,3,2,50,52,53,224,184,
-14,224,181,56,224,180,35,224,177,16,39,183,2,100,105,114,225,107,5,228,
-221,1,224,184,11,224,181,53,224,180,32,224,177,16,2,112,97,116,2,104,
-115,61,224,176,9,229,147,2,224,182,10,224,179,50,224,178,29,224,175,16,
-2,111,117,116,2,112,117,116,225,97,33,224,167,47,224,166,26,224,163,16,
-2,108,111,97,2,100,105,110,2,103,61,34,226,185,24,224,155,44,224,154,
-23,227,79,17,2,101,97,100,2,67,97,99,2,104,101,61,224,153,24,224,
-150,41,224,149,20,224,146,16,2,119,114,105,2,116,101,67,224,147,28,224,
-144,38,224,143,17,224,140,16,2,117,115,101,2,84,105,99,2,107,115,61,
-224,138,22,224,135,35,224,134,14,224,131,16,2,100,111,67,2,80,80,61,
-224,128,21,224,125,32,224,124,11,224,121,16,2,99,112,112,2,65,114,103,
-228,11,34,224,132,29,224,131,8,224,128,17,171,110,224,253,20,224,114,26,
-224,113,5,224,110,16,2,98,117,105,2,108,100,80,2,107,103,61,224,110,
-5,76,125,224,240,12,224,119,23,224,118,2,228,25,17,2,105,115,116,224,
-114,33,224,111,20,246,195,1,229,217,15,2,107,103,80,37,220,225,207,29,
-224,104,17,170,82,224,100,14,2,105,110,115,2,116,97,108,2,108,80,107,
-228,237,17,224,88,14,224,77,11,2,116,97,114,44,135,231,62,35,224,0,
-10,192,106,2,49,50,53,225,45,1,32,76,77,159,173,143,88,244,128,11,
-2,58,50,52,140,22,2,83,32,83,87,253,88,79,188,135,224,154,5,2,
-78,111,116,2,104,105,110,2,103,34,32,215,1,171,105,88,0,79,35,255,
-79,0,43,68,246,48,0,224,225,9,2,74,117,115,2,116,32,34,161,89,
-64,111,123,65,252,83,0,96,166,43,42,73,159,173,92,111,9,96,15,32,
-171,248,47,0,139,4,186,201,64,124,140,42,52,123,145,96,45,156,2,35,
-52,48,139,137,51,239,160,16,205,58,191,102,171,5,224,235,8,2,70,97,
-108,2,115,101,34,139,153,224,24,4,2,84,114,117,128,23,225,80,1,83,
-255,193,80,122,228,96,6,185,51,85,226,143,146,2,50,52,51,75,126,190,
-51,244,174,5,248,243,25,96,86,215,204,50,70,97,112,77,105,122,230,32,
-27,236,29,0,224,64,5,32,25,217,192,248,113,1,32,58,209,130,241,82,
-8,226,180,0,129,222,149,208,239,218,2,225,248,2,161,247,76,86,224,51,
-0,129,120,32,97,92,217,227,163,1,237,177,3,249,116,1,240,49,3,224,
-72,4,240,191,7,189,50,33,166,239,221,6,39,206,97,141,114,100,189,76,
-2,65,46,119,71,82,45,50,189,81,116,71,34,45,160,2,193,24,189,34,
-32,29,192,26,246,59,8,189,31,162,109,224,36,1,224,34,3,129,235,236,
-109,2,2,55,46,48,2,92,49,48,2,38,34,32,64,29,180,37,2,50,
-50,57,64,208,86,218,2,50,51,51,160,19,35,215,35,164,32,218,67,170,
-128,6,32,32,128,18,224,165,1,207,227,34,96,32,13,211,219,32,10,211,
-216,65,138,60,115,250,130,6,32,6,206,174,54,114,176,102,131,84,32,85,
-252,211,3,2,50,50,54,144,86,33,15,32,25,213,166,111,49,147,47,122,
-106,97,215,32,12,58,73,196,30,96,30,229,245,2,160,35,154,154,160,11,
-128,110,212,26,34,95,188,95,180,52,252,254,0,96,88,160,107,123,140,122,
-72,32,32,213,246,117,124,66,19,32,19,225,85,0,66,38,124,234,96,25,
-146,212,2,115,116,100,43,34,33,33,188,234,87,78,188,197,177,212,226,118,
-1,2,95,50,49,33,9,66,124,92,136,97,133,64,75,129,90,65,27,47,
-57,209,118,64,33,2,58,50,49,241,67,0,32,17,68,169,114,225,32,23,
-176,230,43,154,81,123,188,161,192,215,187,123,64,5,32,220,112,22,195,187,
-227,18,5,128,246,131,49,32,26,127,246,32,77,248,77,3,80,185,184,171,
-92,32,64,30,129,35,2,115,101,113,2,117,97,108,64,124,161,31,227,238,
-0,32,109,226,160,1,2,77,72,83,2,68,73,82,99,54,67,80,124,65,
-243,159,3,188,51,224,19,0,226,77,2,32,28,245,31,12,113,102,35,155,
-64,142,240,247,20,245,119,7,155,104,240,253,10,219,96,2,50,48,57,64,
-208,129,144,2,112,101,101,2,107,67,65,2,83,116,114,38,134,32,21,186,
-194,2,95,57,51,99,50,32,16,249,179,1,164,163,149,125,83,239,64,133,
-130,231,128,6,129,64,96,159,32,56,129,173,2,116,111,73,2,110,116,32,
-32,14,129,110,84,17,2,101,110,118,64,16,162,132,229,63,3,246,34,7,
-197,57,223,136,225,81,0,32,101,161,89,187,46,228,198,8,2,116,97,105,
-2,108,34,32,32,34,122,58,186,250,64,71,65,238,155,30,2,50,48,49,
-96,27,226,210,1,187,5,59,48,99,139,90,175,32,5,135,221,38,113,192,
-56,2,49,55,53,224,11,2,116,181,130,228,187,55,103,1,34,196,90,225,
-160,61,35,159,224,155,1,2,101,114,114,2,111,114,58,135,176,134,229,128,
-38,2,58,49,57,161,126,36,147,88,130,51,32,35,212,231,43,3,2,67,
-111,110,2,116,114,111,2,108,46,69,64,66,64,64,224,26,1,96,18,2,
-67,97,108,128,246,196,73,32,83,182,98,158,169,158,111,254,119,6,252,66,
-0,2,95,51,50,249,218,3,2,49,57,52,183,243,196,123,164,249,91,138,
-64,0,190,119,64,168,199,129,98,211,96,32,223,36,228,218,5,163,143,228,
-205,2,32,45,130,11,2,83,32,85,225,198,7,2,109,100,53,2,67,111,
-109,2,98,105,110,53,233,2,101,109,112,2,116,121,34,199,48,100,209,70,
-56,160,171,70,2,119,205,180,166,58,76,32,97,64,114,2,89,32,66,123,
-244,184,188,68,59,228,30,1,197,23,229,91,2,224,255,3,250,125,2,98,
-11,98,153,32,100,40,1,119,52,36,112,101,121,91,114,232,85,0,97,54,
-66,236,32,189,2,65,114,114,2,97,121,32,32,18,226,129,0,194,240,57,
-128,128,160,32,61,100,180,35,229,229,72,4,248,20,4,2,49,57,48,224,
-46,5,248,166,8,122,228,245,8,5,92,216,160,145,226,228,0,96,20,181,
-246,65,0,133,191,67,110,95,76,138,108,137,226,254,94,2,187,218,225,58,
-0,192,25,172,76,136,209,64,67,234,176,0,32,134,34,40,65,34,32,175,
-132,76,204,97,229,153,1,133,194,236,146,0,232,208,0,64,51,104,235,224,
-44,2,96,95,32,10,101,7,33,219,97,125,152,179,96,19,193,190,232,231,
-3,224,43,10,194,134,229,31,2,96,16,33,23,251,213,0,2,50,32,90,
-232,183,6,2,58,49,56,221,207,36,74,32,157,65,244,194,3,129,253,2,
-35,56,32,89,76,71,240,97,160,32,44,2,35,49,54,33,111,189,141,32,
-57,2,52,32,80,153,116,162,58,96,69,2,49,48,53,96,5,67,234,64,
-16,64,11,69,210,160,11,37,166,224,11,0,94,6,224,11,0,71,181,96,
-12,135,131,97,36,43,168,129,155,32,8,66,62,160,2,234,35,7,65,185,
-128,50,161,252,165,213,125,77,64,242,32,13,162,248,32,9,126,23,127,130,
-224,23,0,199,123,33,235,127,2,224,29,5,224,53,16,95,33,36,49,193,
-86,192,68,224,151,0,67,139,38,232,224,147,2,109,55,224,69,5,128,161,
-139,22,71,164,224,31,6,130,109,162,247,100,39,64,73,93,43,224,142,10,
-128,16,96,52,32,105,33,78,132,135,237,9,7,96,29,100,159,130,246,109,
-213,128,163,162,246,89,125,227,53,1,219,189,64,34,2,64,95,53,32,23,
-167,56,68,82,62,9,228,222,1,2,92,51,52,2,38,108,105,2,98,47,
-68,2,97,116,97,2,47,73,110,2,116,101,103,2,101,114,95,2,84,121,
-112,2,101,46,104,2,115,92,51,2,52,38,44,2,50,56,58,2,49,34,
-32,228,149,1,2,49,56,48,64,4,96,223,44,178,128,187,192,18,234,249,
-0,234,248,0,235,84,0,224,60,3,161,70,32,4,2,89,32,67,196,5,
-69,226,64,169,128,197,140,196,99,83,99,91,66,162,157,48,195,131,98,187,
-189,67,227,84,0,35,19,2,52,32,35,103,11,98,160,33,51,2,75,32,
-58,96,113,76,68,64,10,217,64,32,10,234,17,1,39,147,2,49,55,55,
-135,78,74,17,65,36,196,174,223,40,167,147,126,159,2,49,53,57,231,147,
-0,224,56,0,67,28,192,11,97,104,104,135,96,6,174,56,67,238,226,5,
-1,95,31,64,31,198,169,33,17,129,37,95,25,133,243,124,151,195,18,96,
-47,224,15,8,64,65,194,53,228,49,0,32,19,219,91,66,129,97,75,137,
-53,64,147,98,186,65,58,192,73,94,36,224,21,3,128,159,96,21,201,190,
-198,144,137,227,2,49,55,50,128,187,170,86,45,148,32,12,129,101,2,90,
-32,85,97,65,129,104,65,126,222,155,32,10,190,142,2,85,32,73,64,35,
-190,124,105,219,131,138,40,19,96,4,224,14,6,192,189,250,163,1,137,235,
-128,207,32,72,164,226,75,75,160,42,69,37,106,35,224,42,0,64,60,32,
-42,235,118,2,94,37,32,24,99,122,190,63,2,47,61,32,32,11,163,110,
-71,103,32,176,159,245,67,105,219,119,37,161,155,122,239,60,2,2,39,32,
-85,224,20,1,99,124,235,254,5,134,98,2,49,51,57,165,253,254,237,1,
-103,83,94,162,209,45,68,212,160,17,32,140,129,99,231,13,3,192,9,192,
-59,64,146,220,11,96,60,101,238,94,64,66,161,194,239,190,58,177,30,160,
-141,233,219,3,2,110,111,32,2,109,97,116,2,99,104,32,2,97,116,32,
-210,172,79,80,209,22,194,245,106,48,96,11,2,58,49,53,234,48,32,2,
-120,99,101,2,112,116,105,2,111,110,46,68,102,2,114,110,97,106,38,224,
-39,1,51,212,64,22,2,77,97,116,2,99,104,70,203,59,234,68,1,190,
-113,134,90,173,242,2,49,49,55,234,44,4,78,27,224,15,4,255,133,10,
-191,217,139,17,239,94,15,170,88,98,163,190,215,32,37,2,53,32,73,96,
-16,208,63,32,10,195,120,128,24,173,161,129,95,77,50,162,139,80,48,2,
-35,51,57,131,69,115,59,2,53,32,35,130,7,189,120,161,138,100,235,71,
-159,190,196,224,39,1,242,179,8,2,39,92,57,2,50,38,39,2,39,34,
-32,242,182,2,128,230,224,99,3,100,33,138,126,224,17,3,139,114,233,54,
-3,224,168,1,32,169,96,35,134,65,126,21,226,42,0,97,144,134,187,244,
-5,11,64,146,70,52,253,252,2,33,21,226,190,3,175,54,231,112,6,166,
-169,44,176,104,2,161,162,95,159,230,65,0,205,250,65,186,165,73,176,249,
-143,171,70,23,75,145,131,4,2,90,32,95,2,49,53,48,226,64,2,224,
-163,5,224,160,0,2,67,32,79,245,183,1,67,229,138,12,72,22,71,67,
-225,22,4,96,0,2,79,32,80,2,32,35,55,2,32,64,102,224,79,4,
-2,97,34,32,192,27,32,124,224,27,5,2,98,34,32,192,27,71,245,224,
-28,5,2,102,34,32,224,28,0,32,174,224,28,5,2,110,34,32,224,28,
-0,33,67,224,28,5,109,122,128,28,32,253,224,27,5,2,116,34,32,224,
-56,0,32,252,224,28,5,2,118,34,32,224,56,0,224,143,8,64,3,211,
-122,225,193,2,132,80,69,201,65,76,165,24,100,200,33,124,2,48,32,35,
-97,135,65,45,83,210,2,35,53,55,132,24,196,109,53,56,2,58,49,52,
-202,189,238,152,1,193,189,113,111,100,82,150,14,96,6,150,186,72,19,246,
-129,1,166,134,2,49,52,54,71,249,32,66,144,87,205,201,2,35,52,53,
-128,80,133,231,182,60,64,67,226,230,2,245,186,1,192,64,146,31,226,96,
-8,183,0,235,109,1,192,40,226,52,3,224,10,1,96,50,106,44,235,240,
-1,96,250,129,28,128,74,70,156,224,74,4,32,165,132,76,2,111,114,100,
-65,36,132,78,2,99,104,114,64,12,214,83,244,158,4,32,23,131,79,78,
-118,192,175,67,254,134,43,182,49,225,159,6,111,83,225,159,0,119,156,64,
-43,129,203,2,60,61,32,32,11,204,122,198,68,181,118,65,243,181,112,96,
-106,32,13,183,147,99,203,179,215,238,190,3,32,33,215,133,32,16,32,13,
-177,101,103,153,64,136,32,5,108,57,181,69,103,111,181,61,2,61,61,32,
-32,11,160,194,248,184,1,67,205,81,137,248,72,1,69,212,248,72,3,128,
-15,32,59,215,22,32,39,105,166,85,18,32,22,128,221,248,152,0,82,87,
-96,26,96,43,199,219,194,70,110,179,160,10,231,147,0,199,189,224,32,0,
-236,62,0,228,203,0,244,234,1,97,20,224,65,4,224,64,5,65,218,196,
-212,195,100,181,162,171,189,224,169,2,119,6,96,246,240,223,4,181,99,73,
-193,73,173,32,16,216,159,141,94,32,129,32,19,226,67,0,192,53,242,134,
-1,208,177,116,244,103,16,115,239,208,116,32,14,167,121,181,113,80,75,211,
-165,96,27,170,93,32,75,105,69,85,67,176,65,64,222,216,79,64,74,112,
-24,2,95,53,32,128,78,161,140,128,39,32,55,106,113,33,227,160,31,181,
-139,2,110,101,119,212,21,2,76,101,110,32,114,181,139,224,223,4,181,144,
-75,215,181,77,173,57,109,85,32,20,237,78,1,239,80,9,181,80,216,7,
-160,49,129,32,249,201,5,248,25,1,109,185,160,52,64,13,229,14,0,128,
-2,70,206,65,248,111,213,84,201,32,34,239,212,20,180,237,233,209,3,84,
-167,84,50,79,132,224,27,11,96,120,180,219,96,85,224,188,1,180,226,2,
-114,101,109,33,16,180,222,255,84,5,113,50,254,228,7,192,20,224,17,8,
-224,14,5,224,11,2,225,132,2,192,200,225,76,1,225,55,12,180,255,2,
-79,32,58,100,39,68,17,46,235,42,49,114,183,192,7,2,95,56,57,211,
-51,2,95,57,49,224,10,1,66,148,160,10,118,108,128,10,100,223,84,241,
-32,83,129,136,2,94,112,111,2,107,101,87,133,76,181,10,2,94,112,101,
-2,101,107,87,96,18,180,219,218,189,84,50,32,69,33,38,2,58,57,56,
-225,78,4,130,61,180,82,224,46,0,111,220,128,46,248,223,1,86,167,100,
-136,69,150,2,95,57,52,67,101,180,76,182,120,179,138,2,116,111,80,2,
-116,114,32,2,58,57,51,225,184,10,179,27,175,219,210,222,251,203,0,64,
-118,134,251,101,104,134,230,109,135,106,161,179,78,240,51,7,178,77,201,109,
-2,95,56,56,140,200,128,63,32,7,64,65,2,95,55,50,96,129,178,92,
-230,108,7,178,70,79,107,114,88,72,222,2,58,56,55,96,20,2,113,117,
-111,32,221,177,255,226,101,93,177,29,252,109,4,243,178,0,2,95,56,49,
-228,128,0,252,152,2,244,163,11,243,161,3,2,58,56,52,197,18,80,37,
-2,95,51,57,64,226,129,165,2,94,102,114,2,101,101,32,2,58,56,50,
-227,229,2,224,91,5,85,67,149,129,210,247,253,87,8,65,122,151,168,249,
-142,1,176,132,227,218,1,230,63,1,206,48,71,138,212,32,186,82,244,186,
-8,166,63,230,92,0,224,120,2,32,52,172,95,202,202,80,158,244,178,3,
-137,80,2,58,56,48,253,78,1,254,100,5,241,2,1,177,1,130,180,66,
-225,176,210,76,88,2,83,32,80,96,183,79,179,213,165,44,248,144,155,110,
-173,224,122,10,96,121,176,247,229,106,3,229,24,0,176,209,58,252,32,125,
-193,160,66,251,163,7,246,255,2,226,202,7,208,146,247,198,5,2,117,110,
-100,2,101,102,105,2,110,101,100,74,222,2,58,55,50,229,229,20,176,186,
-2,95,52,50,163,215,71,176,99,55,2,95,52,54,115,125,234,152,9,78,
-47,234,148,2,72,84,64,1,2,95,54,51,224,37,3,234,117,2,64,37,
-96,19,96,10,2,95,54,57,65,18,193,140,199,88,32,114,75,197,128,130,
-64,45,161,65,32,20,32,12,97,123,230,121,1,132,29,96,175,33,112,147,
-26,249,103,1,132,197,64,30,131,56,224,35,1,224,55,11,193,10,177,175,
-83,153,132,1,113,50,224,13,0,105,208,225,105,5,180,68,2,58,32,117,
-2,110,115,117,2,112,112,111,2,114,116,101,2,100,32,119,69,128,2,115,
-105,122,2,101,34,32,64,246,2,51,50,55,96,102,2,35,50,49,2,52,
-55,52,2,56,51,54,75,36,2,58,54,56,162,85,248,25,2,171,183,64,
-117,248,20,2,116,1,148,6,81,182,129,20,65,146,32,196,161,33,129,143,
-2,54,32,35,97,98,66,111,178,35,2,105,110,118,2,32,58,54,130,123,
-2,115,104,114,32,11,130,107,74,124,177,247,230,197,15,177,137,227,43,0,
-165,37,209,112,32,196,151,92,78,242,2,95,53,52,64,4,66,51,80,48,
-117,160,2,95,53,57,236,125,0,65,65,106,180,177,160,251,8,7,87,51,
-89,16,240,136,0,177,189,224,29,1,224,49,1,224,39,4,177,144,227,208,
-10,177,66,2,62,61,32,2,58,53,55,128,10,32,9,129,9,76,5,176,
-205,2,60,32,58,176,201,2,105,99,109,2,112,32,58,175,192,107,193,77,
-212,2,95,53,49,64,102,128,244,75,190,174,20,65,64,173,244,50,109,173,
-240,230,24,93,174,49,233,100,13,174,8,2,110,101,103,32,149,128,237,2,
-42,32,58,173,107,2,45,32,58,173,104,2,43,32,58,173,90,224,156,68,
-2,58,52,50,224,155,7,193,143,173,128,171,9,35,131,77,18,2,95,51,
-55,136,80,66,57,113,251,2,58,52,48,245,100,1,173,151,37,148,173,150,
-64,54,96,42,32,217,2,58,51,55,224,29,0,128,232,64,9,128,232,2,
-94,109,97,2,108,108,111,2,99,32,58,173,119,2,73,79,46,2,112,101,
-114,2,102,111,114,2,109,73,79,32,20,224,249,1,203,92,173,135,50,230,
-237,85,0,224,227,12,2,58,51,48,229,159,1,76,166,36,16,67,205,173,
-95,131,75,136,231,172,227,2,114,97,105,2,115,101,32,2,58,50,55,254,
-246,0,128,172,2,65,46,114,2,101,97,100,32,14,128,177,32,161,63,171,
-2,65,114,103,2,82,101,102,32,20,211,92,32,100,101,15,68,120,99,108,
-64,107,128,190,32,49,2,62,62,32,2,58,50,50,166,1,74,42,128,33,
-44,205,252,147,0,71,36,141,226,95,137,96,9,44,147,128,9,2,58,50,
-49,250,207,3,111,70,174,120,151,246,159,101,224,35,2,96,32,116,140,192,
-32,2,95,56,32,123,205,128,132,2,55,32,58,172,185,224,47,7,108,253,
-96,155,143,143,225,14,0,236,202,0,226,202,6,49,83,160,24,108,31,228,
-171,0,130,87,208,31,129,10,233,246,0,70,38,224,11,2,96,210,205,216,
-224,64,1,142,66,166,246,2,51,32,66,102,223,226,135,0,74,128,129,75,
-75,106,226,180,0,68,214,68,213,65,237,240,46,0,227,137,0,70,206,162,
-24,2,58,54,32,161,158,2,114,101,116,2,117,114,110,36,39,225,175,1,
-36,53,128,201,36,52,227,127,7,227,107,37,2,58,50,32,226,167,19,235,
-38,1,194,143,64,202,94,215,201,16,224,0,255,224,0,255,224,0,255,224,
-0,255,224,0,255,224,0,255,224,0,255,224,0,39,1,32,125,
+32,58,64,27,161,99,214,81,238,9,11,40,119,97,27,240,130,0,247,214,
+2,233,199,0,100,203,65,194,237,22,14,238,231,0,224,49,2,137,149,64,
+53,197,47,37,28,2,57,57,32,165,28,234,56,9,96,238,149,10,234,209,
+1,160,169,234,126,15,168,40,64,132,227,238,5,232,50,18,226,200,17,2,
+70,105,108,232,46,10,231,132,3,167,127,253,254,5,234,238,1,2,52,49,
+50,243,159,1,225,17,8,234,194,1,193,143,165,69,102,82,100,145,64,66,
+96,44,199,160,199,198,235,60,7,32,32,2,50,55,32,240,66,1,192,100,
+128,14,100,89,97,153,66,45,71,11,233,198,3,65,114,2,52,49,56,229,
+175,2,2,109,104,115,2,99,112,112,2,46,104,115,230,227,0,206,84,165,
+87,226,20,3,224,138,0,96,132,66,203,232,105,1,161,5,144,133,235,245,
+6,2,52,50,54,101,67,224,171,0,128,156,204,143,225,227,4,2,49,50,
+48,64,164,35,232,164,253,229,19,3,98,136,165,17,74,255,165,185,237,192,
+6,2,114,101,109,58,247,97,210,2,102,97,105,2,108,101,100,128,219,32,
+113,131,184,2,94,117,110,2,108,105,110,2,107,32,58,96,101,161,31,225,
+33,2,2,50,49,49,224,77,2,2,77,72,83,2,67,80,80,2,72,83,
+34,238,150,6,224,46,2,225,228,5,105,48,32,2,230,151,3,245,120,2,
+224,209,13,102,134,205,254,230,120,2,226,180,19,2,82,117,110,2,32,99,
+112,2,112,104,115,226,175,20,33,75,230,222,0,255,162,2,168,51,33,69,
+224,91,12,96,87,252,47,1,224,244,0,224,140,16,2,32,45,45,2,115,
+116,114,2,105,112,32,231,0,2,234,93,1,233,54,0,205,6,233,145,2,
+2,52,50,50,229,225,1,144,59,2,39,32,79,139,88,224,109,15,2,45,
+73,34,233,21,0,64,49,224,25,1,2,47,115,114,2,99,47,114,2,117,
+110,116,2,105,109,101,128,35,100,117,32,101,230,153,1,233,189,22,166,44,
+140,36,224,239,17,2,79,34,32,233,135,2,34,76,133,246,229,187,2,69,
+217,128,1,234,209,2,32,40,133,252,2,79,32,102,224,77,0,2,39,45,
+68,2,77,73,78,2,95,86,69,2,82,83,73,2,79,78,95,2,98,97,
+115,2,101,40,120,2,44,121,44,2,122,41,61,2,40,120,60,2,61,52,
+124,2,124,121,60,2,61,49,52,2,41,39,34,32,72,224,56,3,2,45,
+68,95,2,95,77,72,2,83,95,95,64,24,134,179,65,78,141,213,2,56,
+32,79,224,215,1,32,24,134,59,229,84,6,163,112,2,49,57,32,237,123,
+6,227,114,20,235,97,38,2,99,97,108,2,108,67,111,2,109,109,97,69,
+92,131,148,237,146,16,2,49,52,56,237,146,23,2,44,32,34,229,160,19,
+32,234,167,24,2,115,121,115,2,116,101,109,35,233,64,222,99,233,228,110,
+3,224,236,2,97,5,182,98,64,34,224,21,4,113,87,33,34,103,189,240,
+229,4,2,50,49,48,240,229,10,58,224,224,39,5,33,64,2,51,55,55,
+97,102,138,90,229,185,4,165,174,64,29,32,35,32,171,133,181,104,232,47,
+51,193,125,2,49,51,52,65,126,139,223,39,188,32,13,205,1,105,52,123,
+107,106,39,225,51,2,130,120,139,103,42,242,238,121,2,2,51,52,38,2,
+108,105,98,2,47,83,121,65,33,2,47,73,79,38,3,64,19,2,44,50,
+56,2,53,58,56,129,94,2,90,32,66,64,96,76,134,96,110,97,18,33,
+238,128,131,160,19,181,200,64,36,224,118,7,32,202,229,227,0,50,91,167,
+209,32,41,224,84,3,171,255,249,213,3,166,67,253,119,4,68,72,224,136,
+1,241,226,0,243,113,0,204,58,236,31,2,80,111,149,253,33,192,32,14,
+133,236,2,94,116,109,2,112,110,97,2,109,101,32,32,17,227,177,0,227,
+176,8,227,178,4,64,60,216,7,60,190,64,106,32,137,2,54,32,89,135,
+207,252,101,1,201,24,254,222,17,209,51,82,203,97,176,97,213,2,35,49,
+50,254,208,3,246,83,1,218,24,109,8,224,45,0,174,18,128,33,214,158,
+247,140,1,224,42,3,139,28,244,123,1,224,129,17,2,48,57,32,145,214,
+179,122,224,74,8,114,96,34,215,64,112,224,33,14,41,122,224,33,22,113,
+17,224,67,21,97,57,96,33,107,54,130,225,224,36,7,137,9,248,139,0,
+224,0,3,225,132,8,226,88,4,225,133,19,193,44,225,132,71,2,49,50,
+53,224,166,2,138,3,224,133,18,194,216,203,189,42,193,36,90,131,254,249,
+15,1,251,25,0,251,24,1,231,190,4,141,144,116,109,2,52,48,56,169,
+180,148,35,74,171,233,121,9,132,161,139,93,233,213,9,228,175,2,32,64,
+230,73,9,37,72,32,6,192,219,2,83,32,67,161,1,102,51,2,95,54,
+50,143,196,168,226,165,49,192,59,107,181,32,118,234,250,3,234,217,4,173,
+185,2,50,54,52,255,142,0,235,23,7,224,47,0,228,122,0,244,247,0,
+69,17,77,112,2,58,52,48,173,24,64,1,102,116,64,116,2,49,52,48,
+2,32,35,54,106,111,70,124,64,165,85,144,161,107,229,54,14,2,68,97,
+116,2,97,47,67,2,104,97,114,197,54,34,146,2,58,49,34,240,71,2,
+32,170,96,166,216,5,243,24,6,2,49,52,57,96,123,2,57,32,35,157,
+77,128,11,141,146,64,170,203,186,36,241,109,41,129,186,34,9,141,255,2,
+48,52,32,32,4,117,198,76,223,164,198,64,13,132,230,2,85,32,58,64,
+35,128,10,123,12,45,11,160,58,2,49,32,58,109,32,32,13,78,46,67,
+76,69,39,137,225,231,211,2,234,42,5,77,193,233,16,18,245,99,0,64,
+106,129,123,2,85,32,67,209,250,150,37,32,68,66,137,229,208,0,231,246,
+4,231,197,4,232,78,21,247,154,1,242,90,2,226,110,1,157,11,224,26,
+12,226,137,6,224,102,21,44,37,241,208,0,225,11,4,232,167,33,2,99,
+111,108,232,171,5,128,52,32,0,224,37,1,2,101,110,100,2,45,111,102,
+2,45,102,105,2,108,101,34,96,28,224,26,1,2,110,111,32,2,108,111,
+99,2,97,116,105,2,111,110,34,224,55,8,224,28,7,2,58,51,57,221,
+1,132,38,79,85,133,4,32,26,194,79,99,154,2,51,57,54,164,81,224,
+183,12,238,15,0,175,160,174,87,49,99,88,82,112,55,194,155,104,110,98,
+155,64,83,254,250,0,219,4,130,188,135,180,128,6,32,39,130,161,2,89,
+32,66,165,56,231,195,9,167,194,96,48,218,154,204,188,254,20,2,236,207,
+0,2,39,32,85,254,153,6,182,164,240,176,1,131,237,162,161,96,150,128,
+194,245,154,1,89,5,2,51,57,49,248,190,13,237,149,4,243,33,2,101,
+96,2,56,32,35,220,230,64,91,171,128,89,215,32,13,131,93,91,149,210,
+65,121,240,96,33,2,48,32,80,32,5,2,56,54,32,32,126,2,56,55,
+32,119,36,129,108,32,207,2,51,56,56,97,186,86,242,242,168,4,96,24,
+64,63,2,49,50,52,143,175,96,143,138,202,134,20,32,68,133,43,32,22,
+37,40,128,92,32,178,32,237,128,11,32,68,164,74,35,119,95,114,33,212,
+33,117,2,55,32,102,226,5,0,2,67,111,110,2,116,114,111,2,108,46,
+69,2,120,99,101,2,112,116,105,2,111,110,46,2,73,110,116,2,101,114,
+110,2,97,108,34,32,64,224,39,1,2,83,111,109,2,101,69,120,160,35,
+166,118,137,211,32,100,162,19,177,19,64,230,69,201,64,107,70,84,2,51,
+56,51,96,47,66,141,252,17,0,2,51,56,52,128,160,207,157,40,5,83,
+106,96,23,243,120,0,96,58,171,210,66,104,2,56,48,32,219,41,103,233,
+32,17,150,194,160,136,243,89,3,128,94,129,152,35,64,57,217,32,14,129,
+147,230,154,6,231,23,0,2,51,55,56,241,224,1,239,212,3,75,115,101,
+25,145,158,2,58,51,55,129,174,2,75,32,90,160,104,64,57,243,142,0,
+242,21,1,146,206,139,10,66,93,102,226,228,74,16,2,111,112,101,2,110,
+70,105,92,149,2,99,97,110,82,169,64,16,196,156,231,156,3,96,174,166,
+14,226,112,0,87,193,97,235,2,55,51,32,32,4,99,134,38,153,247,187,
+5,97,221,2,97,99,116,61,2,87,190,96,38,128,52,66,53,83,158,32,
+19,220,164,34,163,32,91,69,105,64,3,32,24,220,142,248,29,1,64,35,
+200,103,98,225,2,54,55,32,64,5,100,67,68,87,164,67,2,54,56,32,
+2,64,116,111,96,131,32,24,64,30,134,152,96,24,100,206,32,10,228,114,
+0,246,85,1,246,42,2,71,109,214,42,2,67,32,66,96,102,99,184,32,
+57,231,29,0,193,248,64,25,245,159,5,34,96,192,184,32,56,166,130,32,
+40,248,241,1,128,28,224,37,0,68,181,32,31,213,197,227,218,2,38,95,
+248,243,0,33,225,66,228,2,50,53,49,244,44,3,34,146,79,88,65,73,
+205,153,213,14,2,50,55,55,174,98,148,94,226,102,0,243,9,12,248,205,
+21,228,174,1,248,188,25,2,115,97,118,47,144,2,99,97,99,2,104,101,
+32,163,192,231,146,6,192,175,110,122,2,54,48,32,226,118,5,160,184,32,
+253,249,146,1,255,193,3,220,97,37,105,165,94,96,12,73,94,249,178,0,
+194,38,251,242,16,203,138,204,18,36,184,96,220,219,61,2,95,55,56,231,
+170,3,254,92,1,254,151,19,67,223,65,76,230,251,10,254,162,5,237,222,
+1,118,158,215,211,128,18,254,251,4,249,235,5,2,51,50,51,243,125,10,
+249,247,1,250,25,6,149,226,236,75,1,129,246,160,182,250,23,1,241,146,
+0,2,49,54,54,237,1,6,32,113,133,249,64,51,39,54,224,162,19,108,
+151,32,12,96,11,143,211,125,62,243,242,3,192,131,224,126,4,243,222,3,
+251,124,31,244,230,13,251,108,10,233,81,19,2,105,110,118,2,97,108,105,
+2,100,97,116,58,205,66,174,210,70,255,205,4,237,151,1,224,154,4,68,
+107,68,56,52,245,192,130,224,172,2,226,142,4,226,39,2,149,33,224,48,
+0,64,177,106,72,2,51,53,52,225,121,2,32,14,100,214,67,26,168,176,
+66,51,68,20,237,239,0,144,205,129,85,66,59,225,227,1,220,245,112,224,
+90,213,96,0,96,35,96,181,120,247,154,224,2,58,51,53,133,32,103,51,
+72,124,2,51,53,54,128,143,82,60,96,42,100,127,64,128,131,126,110,202,
+224,105,4,146,113,192,135,255,62,0,169,52,75,174,64,169,207,43,255,241,
+2,224,61,2,101,15,233,170,2,64,126,101,12,81,108,96,147,229,26,0,
+241,82,8,32,31,165,131,91,209,101,176,219,222,161,99,91,76,150,51,32,
+104,54,12,160,58,190,139,97,123,229,153,0,66,228,148,186,128,2,96,153,
+224,183,3,64,176,2,95,51,52,248,155,1,228,65,0,59,223,32,82,32,
+117,98,148,128,10,226,252,3,129,130,250,228,0,224,98,0,176,76,250,14,
+6,185,253,227,5,0,163,29,225,246,0,96,8,2,95,54,51,66,67,163,
+231,65,221,95,169,228,183,1,208,63,2,51,52,49,238,236,0,251,121,0,
+224,44,1,33,3,134,125,115,122,77,224,66,169,203,226,253,65,10,137,37,
+102,144,226,73,0,133,173,97,65,224,195,0,143,190,42,126,161,12,193,6,
+240,143,1,201,100,142,209,37,126,2,51,51,53,137,197,224,217,0,42,217,
+107,15,225,81,5,160,70,225,69,10,225,94,0,225,60,8,74,52,225,60,
+25,128,73,210,42,177,89,35,64,98,54,226,126,7,224,44,4,192,120,124,
+118,224,48,20,45,56,209,177,45,198,32,135,101,171,32,252,131,126,96,6,
+64,185,195,116,160,45,129,200,67,8,128,78,116,109,224,9,0,118,90,64,
+35,166,157,32,54,176,156,160,54,160,34,224,63,11,96,55,204,211,226,37,
+16,170,214,72,103,73,163,225,198,1,68,108,161,158,2,90,32,83,225,144,
+4,226,240,0,227,74,1,227,1,1,227,31,1,103,9,224,80,4,225,115,
+16,201,67,224,177,0,230,92,0,237,170,1,252,185,1,224,192,3,64,47,
+224,192,73,226,98,0,233,211,5,224,190,15,192,46,97,151,232,72,0,224,
+191,16,192,14,131,41,227,226,2,128,209,253,149,1,164,188,228,186,1,195,
+17,252,75,4,229,191,2,37,222,130,119,248,117,0,210,95,226,136,5,167,
+100,255,220,12,225,33,6,192,114,224,227,1,234,234,1,224,11,0,160,9,
+160,133,128,207,229,68,23,225,69,8,225,52,1,224,208,0,138,29,2,82,
+32,64,229,152,29,247,156,10,225,248,5,225,55,1,64,15,186,91,227,172,
+7,243,151,4,84,124,36,195,64,11,32,30,127,137,225,73,0,163,92,224,
+98,14,228,14,18,224,97,38,165,236,225,244,3,162,237,81,194,64,7,230,
+148,9,224,13,19,229,97,3,193,195,233,209,4,214,128,2,95,52,55,224,
+184,5,224,171,4,41,187,224,24,0,195,151,143,161,73,199,225,211,4,81,
+200,224,176,8,224,177,65,208,62,64,158,224,177,39,139,134,155,54,224,21,
+1,143,171,66,199,237,225,2,224,195,17,169,175,172,155,199,155,192,8,32,
+72,136,239,224,72,30,232,170,5,227,21,1,152,14,224,5,0,39,132,224,
+61,0,229,224,4,96,49,234,76,0,234,85,1,225,57,0,224,167,5,248,
+74,2,96,17,227,162,2,96,16,224,15,0,192,224,225,151,1,224,119,33,
+192,35,225,39,19,229,25,11,204,240,97,69,138,21,228,137,1,227,5,16,
+225,143,2,230,249,6,203,169,224,103,15,32,101,138,60,224,101,31,232,174,
+4,225,181,1,225,46,6,160,67,228,231,6,230,135,5,225,150,67,224,98,
+10,225,129,60,138,84,2,35,50,32,32,11,138,79,231,89,15,230,55,0,
+227,156,1,224,5,1,135,102,224,225,1,231,127,6,200,61,171,149,231,117,
+14,231,141,17,224,128,3,192,208,170,44,102,59,231,29,8,229,144,4,132,
+32,135,34,228,44,0,43,66,64,255,203,18,178,18,65,110,145,236,64,168,
+65,25,85,211,69,182,64,11,2,51,32,58,101,208,227,249,0,228,234,21,
+226,4,3,242,78,8,97,126,64,186,168,236,81,198,34,145,128,165,83,202,
+192,255,32,37,179,205,41,26,234,108,0,97,88,100,120,119,28,183,12,215,
+19,128,24,64,11,183,59,224,24,11,160,49,151,91,44,54,108,65,66,129,
+32,113,243,50,20,2,50,55,52,224,192,0,218,114,32,10,211,29,108,156,
+87,31,243,192,1,2,50,56,50,247,150,0,251,231,2,67,68,143,127,32,
+48,129,137,118,227,39,96,96,140,129,188,2,50,57,32,214,202,96,17,32,
+43,218,111,54,200,2,51,49,56,96,19,64,37,161,151,127,179,2,50,57,
+48,119,228,105,137,141,12,79,200,237,12,0,80,248,116,108,129,103,96,180,
+64,44,185,79,65,28,87,38,97,29,32,25,197,239,224,206,17,97,146,65,
+217,66,89,64,50,219,152,91,166,113,164,224,64,1,2,49,57,50,128,218,
+117,100,64,63,32,27,2,94,109,100,2,53,66,70,2,73,76,69,33,76,
+64,24,228,179,2,64,188,117,82,159,79,248,142,1,2,51,50,48,128,159,
+194,199,112,35,76,83,254,146,4,62,190,64,199,64,153,2,35,52,55,131,
+7,153,219,64,63,225,74,7,64,25,246,41,3,32,17,129,44,32,37,2,
+51,32,90,224,1,14,233,163,2,162,28,64,172,160,196,121,196,180,60,154,
+99,240,134,2,254,88,4,82,54,112,255,158,153,239,217,9,113,146,98,179,
+226,79,8,64,14,122,185,235,151,0,65,5,137,123,242,98,6,2,79,32,
+35,65,8,192,180,32,172,225,225,10,98,54,254,181,1,225,238,6,128,100,
+32,57,216,183,226,121,4,2,50,57,49,226,121,14,84,198,246,161,5,64,
+24,239,152,12,66,137,196,207,187,100,107,47,97,217,2,50,57,56,153,249,
+251,178,2,239,120,7,230,39,5,230,56,7,98,90,64,79,239,102,3,160,
+73,98,197,64,155,186,221,44,197,128,113,113,190,2,90,32,67,128,6,160,
+58,211,135,224,28,6,73,188,224,28,16,76,219,224,28,16,107,98,224,29,
+16,2,50,52,55,224,29,3,2,95,53,57,240,137,0,51,145,160,10,32,
+187,164,83,128,187,120,141,63,21,160,56,32,17,36,100,96,72,2,48,57,
+32,112,188,64,16,96,149,224,16,3,128,137,224,17,3,128,125,160,17,128,
+122,96,80,128,122,131,144,64,6,224,122,1,93,53,2,51,48,52,96,5,
+128,11,99,188,95,221,32,5,66,237,96,70,96,82,128,70,96,10,2,58,
+51,48,131,138,2,98,115,62,2,61,32,58,96,41,128,13,64,12,131,93,
+2,98,115,60,96,26,130,190,32,13,64,12,130,145,2,98,115,99,2,109,
+112,32,32,14,201,0,199,157,231,223,1,98,210,104,139,127,238,231,192,8,
+64,143,148,141,95,227,64,6,167,69,81,239,32,89,130,184,112,161,32,13,
+130,42,100,10,32,13,129,124,112,208,32,13,196,103,244,32,13,96,126,198,
+227,226,9,6,130,235,207,81,134,168,130,251,32,54,189,25,32,54,161,173,
+128,45,146,160,129,173,87,55,160,17,32,48,244,182,3,64,26,224,62,2,
+120,217,126,179,96,46,97,65,2,47,61,32,32,13,129,64,2,98,115,61,
+96,13,128,244,58,177,64,95,134,48,145,182,37,67,106,20,32,24,162,121,
+2,51,32,66,227,196,1,228,158,0,2,64,95,57,164,38,64,42,162,41,
+228,118,0,228,102,3,127,48,134,80,121,23,103,33,183,97,254,164,1,100,
+172,244,79,0,252,115,4,189,38,41,124,64,44,96,13,128,23,41,28,151,
+167,32,6,247,50,0,32,100,200,222,34,229,98,23,93,209,32,22,193,54,
+250,250,1,96,25,230,20,1,192,20,213,232,64,82,32,131,231,49,19,101,
+64,39,240,247,176,1,224,208,36,68,7,224,208,0,38,179,224,207,0,120,
+247,126,83,96,6,193,135,224,92,5,247,140,0,225,44,14,224,171,6,186,
+18,96,107,96,106,101,203,96,6,136,255,96,86,227,101,0,224,85,7,103,
+95,224,77,2,32,46,130,33,137,46,96,35,167,134,2,75,52,32,231,94,
+26,2,58,50,55,130,14,2,82,32,95,104,164,32,16,163,11,73,158,151,
+165,160,5,119,68,183,183,123,185,128,37,2,53,32,58,96,25,227,178,0,
+108,127,253,0,18,105,247,254,66,4,2,46,109,104,2,115,99,97,57,151,
+94,64,124,50,140,64,231,205,15,252,254,5,168,8,129,226,252,251,0,187,
+20,167,76,69,71,163,53,32,178,134,161,32,105,225,107,0,224,105,4,93,
+140,160,105,224,132,3,32,24,108,34,225,152,5,249,167,1,233,42,6,2,
+49,50,50,130,152,225,174,0,250,87,0,160,77,120,182,224,158,1,2,50,
+50,49,128,23,138,203,224,122,5,64,227,252,5,3,224,226,2,226,16,3,
+96,213,164,52,2,50,54,57,65,154,130,18,2,73,79,46,2,100,101,115,
+2,101,114,105,59,7,2,122,101,32,2,58,50,54,129,247,2,94,97,100,
+2,100,95,108,2,122,55,55,2,95,100,101,2,99,111,109,2,112,114,101,
+2,115,115,111,2,114,32,58,96,133,225,133,6,128,178,169,104,224,133,0,
+190,101,98,27,117,165,224,143,2,32,70,130,39,2,94,117,110,2,103,101,
+116,2,98,32,58,96,40,225,115,6,32,61,32,6,234,109,3,88,147,38,
+193,79,89,32,190,140,204,227,71,3,32,49,108,59,35,164,2,50,32,102,
+226,71,0,2,104,71,101,2,116,67,104,2,97,114,58,2,32,69,79,2,
+70,34,32,129,14,223,183,2,49,52,52,64,126,130,123,2,94,103,101,128,
+141,226,107,0,227,109,6,89,38,32,18,34,176,195,239,187,108,252,100,17,
+2,111,112,101,2,110,66,105,2,110,97,114,2,121,70,105,2,108,101,58,
+60,105,2,110,110,111,2,116,32,111,32,22,252,110,4,255,31,2,161,61,
+225,8,1,91,14,224,232,5,98,20,96,199,169,65,2,50,54,48,64,184,
+129,228,2,94,99,108,2,111,115,101,96,201,129,231,195,227,2,58,50,53,
+183,1,224,218,12,227,63,9,224,36,3,64,242,59,106,191,164,156,40,96,
+154,224,155,4,198,135,224,163,0,64,116,130,53,98,85,140,131,96,55,192,
+18,2,117,116,102,44,7,96,81,166,29,91,146,32,119,64,58,177,197,64,
+31,232,105,3,224,186,1,253,118,3,2,49,50,48,251,151,0,222,53,96,
+19,67,135,64,221,235,162,3,2,49,49,52,171,163,224,23,7,33,35,133,
+17,224,24,5,71,222,224,23,8,225,233,1,2,119,43,34,197,196,2,50,
+53,50,173,181,226,188,0,2,50,48,55,134,63,190,61,225,204,1,199,182,
+228,186,7,32,241,173,187,2,102,111,112,34,45,32,15,129,236,139,220,229,
+201,11,229,199,5,32,48,130,15,239,200,5,32,22,168,21,79,14,79,129,
+241,249,8,224,2,25,62,49,237,145,5,242,90,6,224,1,13,126,103,48,
+151,225,52,1,2,70,108,97,2,103,115,123,193,56,224,0,5,243,84,1,
+224,2,31,96,150,224,102,11,2,118,101,114,2,98,111,115,2,101,61,34,
+195,113,64,33,89,59,81,25,224,0,9,224,199,31,77,232,194,68,224,189,
+54,224,186,16,2,114,117,110,2,73,116,61,224,184,3,2,50,52,53,224,
+184,14,224,181,56,224,180,35,224,177,16,39,183,2,100,105,114,225,107,5,
+228,221,1,224,184,11,224,181,53,224,180,32,224,177,16,2,112,97,116,2,
+104,115,61,224,176,9,229,147,2,224,182,10,224,179,50,224,178,29,224,175,
+16,2,111,117,116,2,112,117,116,225,97,33,224,167,47,224,166,26,224,163,
+16,2,108,111,97,2,100,105,110,2,103,61,34,226,185,24,224,155,44,224,
+154,23,227,79,17,2,101,97,100,2,67,97,99,2,104,101,61,224,153,24,
+224,150,41,224,149,20,224,146,16,2,119,114,105,2,116,101,67,224,147,28,
+224,144,38,224,143,17,224,140,16,2,117,115,101,2,84,105,99,2,107,115,
+61,224,138,22,224,135,35,224,134,14,224,131,16,2,100,111,67,2,80,80,
+61,224,128,21,224,125,32,224,124,11,224,121,16,2,99,112,112,2,65,114,
+103,228,11,34,224,132,29,224,131,8,224,128,17,171,110,224,253,20,224,114,
+26,224,113,5,224,110,16,2,98,117,105,2,108,100,80,2,107,103,61,224,
+110,5,76,125,224,240,12,224,119,23,224,118,2,228,25,17,2,105,115,116,
+224,114,33,224,111,20,246,195,1,229,217,15,2,107,103,80,37,220,225,207,
+29,224,104,17,170,82,224,100,14,2,105,110,115,2,116,97,108,2,108,80,
+107,228,237,17,224,88,14,224,77,11,2,116,97,114,44,135,231,62,35,224,
+0,10,192,106,2,49,50,53,225,45,1,32,76,77,159,173,143,88,244,128,
+11,2,58,50,52,140,22,2,83,32,83,87,253,88,79,188,135,224,154,5,
+2,78,111,116,2,104,105,110,2,103,34,32,215,1,171,105,88,0,79,35,
+255,79,0,43,68,246,48,0,224,225,9,2,74,117,115,2,116,32,34,161,
+89,64,111,123,65,252,83,0,96,166,43,42,73,159,173,92,111,9,96,15,
+32,171,248,47,0,139,4,186,201,64,124,140,42,52,123,145,96,45,156,2,
+35,52,48,139,137,51,239,160,16,205,58,191,102,171,5,224,235,8,2,70,
+97,108,2,115,101,34,139,153,224,24,4,2,84,114,117,128,23,225,80,1,
+83,255,193,80,122,228,96,6,185,51,85,226,143,146,2,50,52,51,75,126,
+190,51,244,174,5,248,243,25,96,86,215,204,50,70,97,112,77,105,122,230,
+32,27,236,29,0,224,64,5,32,25,217,192,248,113,1,32,58,209,130,241,
+82,8,226,180,0,129,222,149,208,239,218,2,225,248,2,161,247,76,86,224,
+51,0,129,120,32,97,92,217,227,163,1,237,177,3,249,116,1,240,49,3,
+224,72,4,240,191,7,189,50,33,166,239,221,6,39,206,97,141,114,100,189,
+76,2,65,46,119,71,82,45,50,189,81,116,71,34,45,160,2,193,24,189,
+34,32,29,192,26,246,59,8,189,31,162,109,224,36,1,224,34,3,129,235,
+236,109,2,2,55,46,48,2,92,49,48,2,38,34,32,64,29,180,37,2,
+50,50,57,64,208,86,218,2,50,51,51,160,19,35,215,35,164,32,218,67,
+170,128,6,32,32,128,18,224,165,1,207,227,34,96,32,13,211,219,32,10,
+211,216,65,138,60,115,250,130,6,32,6,206,174,54,114,176,102,131,84,32,
+85,252,211,3,2,50,50,54,144,86,33,15,32,25,213,166,111,49,147,47,
+122,106,97,215,32,12,58,73,196,30,96,30,229,245,2,160,35,154,154,160,
+11,128,110,212,26,34,95,188,95,180,52,252,254,0,96,88,160,107,123,140,
+122,72,32,32,213,246,117,124,66,19,32,19,225,85,0,66,38,124,234,96,
+25,146,212,2,115,116,100,43,34,33,33,188,234,87,78,188,197,177,212,226,
+118,1,2,95,50,49,33,9,66,124,92,136,97,133,64,75,129,90,65,27,
+47,57,209,118,64,33,2,58,50,49,241,67,0,32,17,68,169,114,225,32,
+23,176,230,43,154,81,123,188,161,192,215,187,123,64,5,32,220,112,22,195,
+187,227,18,5,128,246,131,49,32,26,127,246,32,77,248,77,3,80,185,184,
+171,92,32,64,30,129,35,2,115,101,113,2,117,97,108,64,124,161,31,227,
+238,0,32,109,226,160,1,2,77,72,83,2,68,73,82,99,54,67,80,124,
+65,243,159,3,188,51,224,19,0,226,77,2,32,28,245,31,12,113,102,35,
+155,64,142,240,247,20,245,119,7,155,104,240,253,10,219,96,2,50,48,57,
+64,208,129,144,2,112,101,101,2,107,67,65,2,83,116,114,38,134,32,21,
+186,194,2,95,57,51,99,50,32,16,249,179,1,164,163,149,125,83,239,64,
+133,130,231,128,6,129,64,96,159,32,56,129,173,2,116,111,73,2,110,116,
+32,32,14,129,110,84,17,2,101,110,118,64,16,162,132,229,63,3,246,34,
+7,197,57,223,136,225,81,0,32,101,161,89,187,46,228,198,8,2,116,97,
+105,2,108,34,32,32,34,122,58,186,250,64,71,65,238,155,30,2,50,48,
+49,96,27,226,210,1,187,5,59,48,99,139,90,175,32,5,135,221,38,113,
+192,56,2,49,55,53,224,11,2,116,181,130,228,187,55,103,1,34,196,90,
+225,160,61,35,159,224,155,1,2,101,114,114,2,111,114,58,135,176,134,229,
+128,38,2,58,49,57,161,126,36,147,88,130,51,32,35,212,231,43,3,2,
+67,111,110,2,116,114,111,2,108,46,69,64,66,64,64,224,26,1,96,18,
+2,67,97,108,128,246,196,73,32,83,182,98,158,169,158,111,254,119,6,252,
+66,0,2,95,51,50,249,218,3,2,49,57,52,183,243,196,123,164,249,91,
+138,64,0,190,119,64,168,199,129,98,211,96,32,223,36,228,218,5,163,143,
+228,205,2,32,45,130,11,2,83,32,85,225,198,7,2,109,100,53,2,67,
+111,109,2,98,105,110,53,233,2,101,109,112,2,116,121,34,199,48,100,209,
+70,56,160,171,70,2,119,205,180,166,58,76,32,97,64,114,2,89,32,66,
+123,244,184,188,68,59,228,30,1,197,23,229,91,2,224,255,3,250,125,2,
+98,11,98,153,32,100,40,1,119,52,36,112,101,121,91,114,232,85,0,97,
+54,66,236,32,189,2,65,114,114,2,97,121,32,32,18,226,129,0,194,240,
+57,128,128,160,32,61,100,180,35,229,229,72,4,248,20,4,2,49,57,48,
+224,46,5,248,166,8,122,228,245,8,5,92,216,160,145,226,228,0,96,20,
+181,246,65,0,133,191,67,110,95,76,138,108,137,226,254,94,2,187,218,225,
+58,0,192,25,172,76,136,209,64,67,234,176,0,32,134,34,40,65,34,32,
+175,132,76,204,97,229,153,1,133,194,236,146,0,232,208,0,64,51,104,235,
+224,44,2,96,95,32,10,101,7,33,219,97,125,152,179,96,19,193,190,232,
+231,3,224,43,10,194,134,229,31,2,96,16,33,23,251,213,0,2,50,32,
+90,232,183,6,2,58,49,56,221,207,36,74,32,157,65,244,194,3,129,253,
+2,35,56,32,89,76,71,240,97,160,32,44,2,35,49,54,33,111,189,141,
+32,57,2,52,32,80,153,116,162,58,96,69,2,49,48,53,96,5,67,234,
+64,16,64,11,69,210,160,11,37,166,224,11,0,94,6,224,11,0,71,181,
+96,12,135,131,97,36,43,168,129,155,32,8,66,62,160,2,234,35,7,65,
+185,128,50,161,252,165,213,125,77,64,242,32,13,162,248,32,9,126,23,127,
+130,224,23,0,199,123,33,235,127,2,224,29,5,224,53,16,95,33,36,49,
+193,86,192,68,224,151,0,67,139,38,232,224,147,2,109,55,224,69,5,128,
+161,139,22,71,164,224,31,6,130,109,162,247,100,39,64,73,93,43,224,142,
+10,128,16,96,52,32,105,33,78,132,135,237,9,7,96,29,100,159,130,246,
+109,213,128,163,162,246,89,125,227,53,1,219,189,64,34,2,64,95,53,32,
+23,167,56,68,82,62,9,228,222,1,2,92,51,52,2,38,108,105,2,98,
+47,68,2,97,116,97,2,47,73,110,2,116,101,103,2,101,114,95,2,84,
+121,112,2,101,46,104,2,115,92,51,2,52,38,44,2,50,56,58,2,49,
+34,32,228,149,1,2,49,56,48,64,4,96,223,44,178,128,187,192,18,234,
+249,0,234,248,0,235,84,0,224,60,3,161,70,32,4,2,89,32,67,196,
+5,69,226,64,169,128,197,140,196,99,83,99,91,66,162,157,48,195,131,98,
+187,189,67,227,84,0,35,19,2,52,32,35,103,11,98,160,33,51,2,75,
+32,58,96,113,76,68,64,10,217,64,32,10,234,17,1,39,147,2,49,55,
+55,135,78,74,17,65,36,196,174,223,40,167,147,126,159,2,49,53,57,231,
+147,0,224,56,0,67,28,192,11,97,104,104,135,96,6,174,56,67,238,226,
+5,1,95,31,64,31,198,169,33,17,129,37,95,25,133,243,124,151,195,18,
+96,47,224,15,8,64,65,194,53,228,49,0,32,19,219,91,66,129,97,75,
+137,53,64,147,98,186,65,58,192,73,94,36,224,21,3,128,159,96,21,201,
+190,198,144,137,227,2,49,55,50,128,187,170,86,45,148,32,12,129,101,2,
+90,32,85,97,65,129,104,65,126,222,155,32,10,190,142,2,85,32,73,64,
+35,190,124,105,219,131,138,40,19,96,4,224,14,6,192,189,250,163,1,137,
+235,128,207,32,72,164,226,75,75,160,42,69,37,106,35,224,42,0,64,60,
+32,42,235,118,2,94,37,32,24,99,122,190,63,2,47,61,32,32,11,163,
+110,71,103,32,176,159,245,67,105,219,119,37,161,155,122,239,60,2,2,39,
+32,85,224,20,1,99,124,235,254,5,134,98,2,49,51,57,165,253,254,237,
+1,103,83,94,162,209,45,68,212,160,17,32,140,129,99,231,13,3,192,9,
+192,59,64,146,220,11,96,60,101,238,94,64,66,161,194,239,190,58,177,30,
+160,141,233,219,3,2,110,111,32,2,109,97,116,2,99,104,32,2,97,116,
+32,210,172,79,80,209,22,194,245,106,48,96,11,2,58,49,53,234,48,32,
+2,120,99,101,2,112,116,105,2,111,110,46,68,102,2,114,110,97,106,38,
+224,39,1,51,212,64,22,2,77,97,116,2,99,104,70,203,59,234,68,1,
+190,113,134,90,173,242,2,49,49,55,234,44,4,78,27,224,15,4,255,133,
+10,191,217,139,17,239,94,15,170,88,98,163,190,215,32,37,2,53,32,73,
+96,16,208,63,32,10,195,120,128,24,173,161,129,95,77,50,162,139,80,48,
+2,35,51,57,131,69,115,59,2,53,32,35,130,7,189,120,161,138,100,235,
+71,159,190,196,224,39,1,242,179,8,2,39,92,57,2,50,38,39,2,39,
+34,32,242,182,2,128,230,224,99,3,100,33,138,126,224,17,3,139,114,233,
+54,3,224,168,1,32,169,96,35,134,65,126,21,226,42,0,97,144,134,187,
+244,5,11,64,146,70,52,253,252,2,33,21,226,190,3,175,54,231,112,6,
+166,169,44,176,104,2,161,162,95,159,230,65,0,205,250,65,186,165,73,176,
+249,143,171,70,23,75,145,131,4,2,90,32,95,2,49,53,48,226,64,2,
+224,163,5,224,160,0,2,67,32,79,245,183,1,67,229,138,12,72,22,71,
+67,225,22,4,96,0,2,79,32,80,2,32,35,55,2,32,64,102,224,79,
+4,2,97,34,32,192,27,32,124,224,27,5,2,98,34,32,192,27,71,245,
+224,28,5,2,102,34,32,224,28,0,32,174,224,28,5,2,110,34,32,224,
+28,0,33,67,224,28,5,109,122,128,28,32,253,224,27,5,2,116,34,32,
+224,56,0,32,252,224,28,5,2,118,34,32,224,56,0,224,143,8,64,3,
+211,122,225,193,2,132,80,69,201,65,76,165,24,100,200,33,124,2,48,32,
+35,97,135,65,45,83,210,2,35,53,55,132,24,196,109,53,56,2,58,49,
+52,202,189,238,152,1,193,189,113,111,100,82,150,14,96,6,150,186,72,19,
+246,129,1,166,134,2,49,52,54,71,249,32,66,144,87,205,201,2,35,52,
+53,128,80,133,231,182,60,64,67,226,230,2,245,186,1,192,64,146,31,226,
+96,8,183,0,235,109,1,192,40,226,52,3,224,10,1,96,50,106,44,235,
+240,1,96,250,129,28,128,74,70,156,224,74,4,32,165,132,76,2,111,114,
+100,65,36,132,78,2,99,104,114,64,12,214,83,244,158,4,32,23,131,79,
+78,118,192,175,67,254,134,43,182,49,225,159,6,111,83,225,159,0,119,156,
+64,43,129,203,2,60,61,32,32,11,204,122,198,68,181,118,65,243,181,112,
+96,106,32,13,183,147,99,203,179,215,238,190,3,32,33,215,133,32,16,32,
+13,177,101,103,153,64,136,32,5,108,57,181,69,103,111,181,61,2,61,61,
+32,32,11,160,194,248,184,1,67,205,81,137,248,72,1,69,212,248,72,3,
+128,15,32,59,215,22,32,39,105,166,85,18,32,22,128,221,248,152,0,82,
+87,96,26,96,43,199,219,194,70,110,179,160,10,231,147,0,199,189,224,32,
+0,236,62,0,228,203,0,244,234,1,97,20,224,65,4,224,64,5,65,218,
+196,212,195,100,181,162,171,189,224,169,2,119,6,96,246,240,223,4,181,99,
+73,193,73,173,32,16,216,159,141,94,32,129,32,19,226,67,0,192,53,242,
+134,1,208,177,116,244,103,16,115,239,208,116,32,14,167,121,181,113,80,75,
+211,165,96,27,170,93,32,75,105,69,85,67,176,65,64,222,216,79,64,74,
+112,24,2,95,53,32,128,78,161,140,128,39,32,55,106,113,33,227,160,31,
+181,139,2,110,101,119,212,21,2,76,101,110,32,114,181,139,224,223,4,181,
+144,75,215,181,77,173,57,109,85,32,20,237,78,1,239,80,9,181,80,216,
+7,160,49,129,32,249,201,5,248,25,1,109,185,160,52,64,13,229,14,0,
+128,2,70,206,65,248,111,213,84,201,32,34,239,212,20,180,237,233,209,3,
+84,167,84,50,79,132,224,27,11,96,120,180,219,96,85,224,188,1,180,226,
+2,114,101,109,33,16,180,222,255,84,5,113,50,254,228,7,192,20,224,17,
+8,224,14,5,224,11,2,225,132,2,192,200,225,76,1,225,55,12,180,255,
+2,79,32,58,100,39,68,17,46,235,42,49,114,183,192,7,2,95,56,57,
+211,51,2,95,57,49,224,10,1,66,148,160,10,118,108,128,10,100,223,84,
+241,32,83,129,136,2,94,112,111,2,107,101,87,133,76,181,10,2,94,112,
+101,2,101,107,87,96,18,180,219,218,189,84,50,32,69,33,38,2,58,57,
+56,225,78,4,130,61,180,82,224,46,0,111,220,128,46,248,223,1,86,167,
+100,136,69,150,2,95,57,52,67,101,180,76,182,120,179,138,2,116,111,80,
+2,116,114,32,2,58,57,51,225,184,10,179,27,175,219,210,222,251,203,0,
+64,118,134,251,101,104,134,230,109,135,106,161,179,78,240,51,7,178,77,201,
+109,2,95,56,56,140,200,128,63,32,7,64,65,2,95,55,50,96,129,178,
+92,230,108,7,178,70,79,107,114,88,72,222,2,58,56,55,96,20,2,113,
+117,111,32,221,177,255,226,101,93,177,29,252,109,4,243,178,0,2,95,56,
+49,228,128,0,252,152,2,244,163,11,243,161,3,2,58,56,52,197,18,80,
+37,2,95,51,57,64,226,129,165,2,94,102,114,2,101,101,32,2,58,56,
+50,227,229,2,224,91,5,85,67,149,129,210,247,253,87,8,65,122,151,168,
+249,142,1,176,132,227,218,1,230,63,1,206,48,71,138,212,32,186,82,244,
+186,8,166,63,230,92,0,224,120,2,32,52,172,95,202,202,80,158,244,178,
+3,137,80,2,58,56,48,253,78,1,254,100,5,241,2,1,177,1,130,180,
+66,225,176,210,76,88,2,83,32,80,96,183,79,179,213,165,44,248,144,155,
+110,173,224,122,10,96,121,176,247,229,106,3,229,24,0,176,209,58,252,32,
+125,193,160,66,251,163,7,246,255,2,226,202,7,208,146,247,198,5,2,117,
+110,100,2,101,102,105,2,110,101,100,74,222,2,58,55,50,229,229,20,176,
+186,2,95,52,50,163,215,71,176,99,55,2,95,52,54,115,125,234,152,9,
+78,47,234,148,2,72,84,64,1,2,95,54,51,224,37,3,234,117,2,64,
+37,96,19,96,10,2,95,54,57,65,18,193,140,199,88,32,114,75,197,128,
+130,64,45,161,65,32,20,32,12,97,123,230,121,1,132,29,96,175,33,112,
+147,26,249,103,1,132,197,64,30,131,56,224,35,1,224,55,11,193,10,177,
+175,83,153,132,1,113,50,224,13,0,105,208,225,105,5,180,68,2,58,32,
+117,2,110,115,117,2,112,112,111,2,114,116,101,2,100,32,119,69,128,2,
+115,105,122,2,101,34,32,64,246,2,51,50,55,96,102,2,35,50,49,2,
+52,55,52,2,56,51,54,75,36,2,58,54,56,162,85,248,25,2,171,183,
+64,117,248,20,2,116,1,148,6,81,182,129,20,65,146,32,196,161,33,129,
+143,2,54,32,35,97,98,66,111,178,35,2,105,110,118,2,32,58,54,130,
+123,2,115,104,114,32,11,130,107,74,124,177,247,230,197,15,177,137,227,43,
+0,165,37,209,112,32,196,151,92,78,242,2,95,53,52,64,4,66,51,80,
+48,117,160,2,95,53,57,236,125,0,65,65,106,180,177,160,251,8,7,87,
+51,89,16,240,136,0,177,189,224,29,1,224,49,1,224,39,4,177,144,227,
+208,10,177,66,2,62,61,32,2,58,53,55,128,10,32,9,129,9,76,5,
+176,205,2,60,32,58,176,201,2,105,99,109,2,112,32,58,175,192,107,193,
+77,212,2,95,53,49,64,102,128,244,75,190,174,20,65,64,173,244,50,109,
+173,240,230,24,93,174,49,233,100,13,174,8,2,110,101,103,32,149,128,237,
+2,42,32,58,173,107,2,45,32,58,173,104,2,43,32,58,173,90,224,156,
+68,2,58,52,50,224,155,7,193,143,173,128,171,9,35,131,77,18,2,95,
+51,55,136,80,66,57,113,251,2,58,52,48,245,100,1,173,151,37,148,173,
+150,64,54,96,42,32,217,2,58,51,55,224,29,0,128,232,64,9,128,232,
+2,94,109,97,2,108,108,111,2,99,32,58,173,119,2,73,79,46,2,112,
+101,114,2,102,111,114,2,109,73,79,32,20,224,249,1,203,92,173,135,50,
+230,237,85,0,224,227,12,2,58,51,48,229,159,1,76,166,36,16,67,205,
+173,95,131,75,136,231,172,227,2,114,97,105,2,115,101,32,2,58,50,55,
+254,246,0,128,172,2,65,46,114,2,101,97,100,32,14,128,177,32,161,63,
+171,2,65,114,103,2,82,101,102,32,20,211,92,32,100,101,15,68,120,99,
+108,64,107,128,190,32,49,2,62,62,32,2,58,50,50,166,1,74,42,128,
+33,44,205,252,147,0,71,36,141,226,95,137,96,9,44,147,128,9,2,58,
+50,49,250,207,3,111,70,174,120,151,246,159,101,224,35,2,96,32,116,140,
+192,32,2,95,56,32,123,205,128,132,2,55,32,58,172,185,224,47,7,108,
+253,96,155,143,143,225,14,0,236,202,0,226,202,6,49,83,160,24,108,31,
+228,171,0,130,87,208,31,129,10,233,246,0,70,38,224,11,2,96,210,205,
+216,224,64,1,142,66,166,246,2,51,32,66,102,223,226,135,0,74,128,129,
+75,75,106,226,180,0,68,214,68,213,65,237,240,46,0,227,137,0,70,206,
+162,24,2,58,54,32,161,158,2,114,101,116,2,117,114,110,36,39,225,175,
+1,36,53,128,201,36,52,227,127,7,227,107,37,2,58,50,32,226,167,19,
+235,38,1,194,143,64,202,94,215,201,16,224,0,255,224,0,255,224,0,255,
+224,0,255,224,0,255,224,0,255,224,0,255,224,0,39,1,32,125,
};
unsigned char *combexpr = data;
-int combexprlen = 89417;
+int combexprlen = 89458;
#include "mhsffi.h"
static struct ffi_entry table[] = { { 0,0 }--- a/src/MicroHs/Compile.hs
+++ b/src/MicroHs/Compile.hs
@@ -275,7 +275,7 @@
-- Is the module name actually a file name?
getFileName :: IdentModule -> Maybe String
getFileName m | ".hs" `isSuffixOf` s = Just s
- | otherwise = Nothing
+ | otherwise = Nothing
where s = unIdent m
readModulePath :: Flags -> String -> IdentModule -> IO (Maybe (FilePath, String))
@@ -285,10 +285,14 @@
Nothing -> errorMessage (getSLoc mn) $ "File not found: " ++ show fn
Just h -> readRest fn h
- | otherwise = do
+ | otherwise = do
mh <- findModulePath flags suf mn
case mh of
- Nothing -> return Nothing
+ Nothing -> do
+ mhc <- findModulePath flags (suf ++ "c") mn -- look for hsc file
+ case mhc of
+ Nothing -> return Nothing
+ Just (_fn, _h) -> undefined
Just (fn, h) -> readRest fn h
where readRest fn h = do
hasCPP <- hasLangCPP fn