ref: f0ee74025e2758515028bd91b4ffbcf4110688b4
parent: 69ea1e3b891c51b0c11ba6e0fe58c49b56ffb8b0
author: Lennart Augustsson <lennart@augustsson.net>
date: Mon Sep 23 15:11:33 EDT 2024
Small IdentMap speedup.
--- a/generated/mhs.c
+++ b/generated/mhs.c
@@ -4178,291 +4178,291 @@
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,238,189,0,111,34,171,56,239,130,2,251,186,5,161,100,239,135,6,
-230,54,5,230,71,7,98,105,224,85,5,224,80,0,98,212,64,170,186,236,
-44,212,32,226,88,208,64,174,2,90,32,67,128,6,160,58,211,150,224,28,
-6,73,203,224,28,16,76,234,224,28,16,107,113,224,29,16,2,50,52,55,
-224,29,3,2,95,53,57,225,21,0,51,160,160,10,32,187,164,98,128,187,
-120,156,63,36,160,56,32,17,36,115,96,72,2,48,57,32,112,203,64,16,
-96,149,224,16,3,128,137,224,17,3,128,125,160,17,128,122,96,80,128,122,
-131,159,64,6,224,122,1,93,68,2,51,48,52,96,5,128,11,99,203,95,
-236,32,5,66,252,96,70,96,82,128,70,96,10,2,58,51,48,131,153,2,
-98,115,62,2,61,32,58,96,41,128,13,64,12,131,108,2,98,115,60,96,
-26,130,205,32,13,64,12,130,160,2,98,115,99,2,109,112,32,32,14,201,
-15,199,172,231,238,1,98,225,104,154,127,253,231,207,8,64,143,148,156,95,
-242,64,6,167,84,81,254,32,89,130,199,112,176,32,13,130,42,100,25,32,
-13,129,124,112,223,32,13,196,118,244,47,13,96,126,198,242,226,9,6,99,
-130,65,189,180,142,70,183,98,137,64,54,189,40,32,54,161,173,128,45,146,
-175,129,173,87,70,160,17,32,48,244,197,3,64,26,224,62,2,120,232,126,
-194,96,46,97,65,2,47,61,32,32,13,129,64,2,98,115,61,96,13,128,
-244,58,192,64,95,134,63,145,197,37,82,106,35,32,24,162,121,2,51,32,
-66,227,211,1,228,173,0,2,64,95,57,164,53,64,42,162,41,228,133,0,
-228,117,3,127,63,134,95,121,38,103,48,183,112,254,179,1,100,187,244,94,
-0,252,130,4,189,53,41,139,64,44,96,13,128,23,41,43,151,182,32,6,
-247,65,0,32,100,200,237,34,229,98,23,93,224,32,22,193,54,251,9,1,
-96,25,230,35,1,192,20,213,247,64,82,32,131,231,64,19,101,79,39,255,
-247,191,1,224,208,36,68,7,224,208,0,38,194,224,207,0,121,6,126,98,
-96,6,193,135,224,92,5,247,155,0,225,44,14,224,171,6,186,33,96,107,
-96,106,101,218,96,6,137,14,96,86,227,101,0,224,85,7,103,110,224,77,
-2,32,46,130,33,137,61,96,35,167,149,2,75,52,32,231,109,26,2,58,
-50,55,130,14,2,82,32,95,104,179,32,16,163,11,73,173,151,180,160,5,
-119,83,183,198,123,200,128,37,2,53,32,58,96,25,227,178,0,108,142,253,
-15,18,106,6,254,81,4,2,46,109,104,2,115,99,97,57,166,94,79,124,
-65,140,79,231,220,15,253,13,5,166,178,129,226,253,10,0,187,35,167,91,
-69,71,198,226,2,50,55,49,161,60,190,140,225,104,3,64,105,93,155,160,
-105,224,132,3,32,24,108,49,225,152,5,249,182,1,233,57,6,2,49,50,
-50,130,152,225,174,0,250,102,0,160,77,120,197,224,158,1,2,50,50,49,
-128,23,138,218,224,122,5,64,227,252,20,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,22,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,119,224,133,0,190,116,
-98,27,117,180,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,124,3,88,162,38,193,79,
-104,32,190,140,219,227,71,3,32,49,108,74,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,198,2,49,52,52,64,126,130,123,2,94,103,101,128,141,226,
-107,0,227,109,6,89,53,32,18,34,176,195,239,187,123,252,115,17,2,111,
-112,101,2,110,66,105,2,110,97,114,2,121,70,105,2,108,101,58,60,120,
-2,110,110,111,2,116,32,111,32,22,252,125,4,255,46,2,161,61,225,8,
-1,91,29,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,16,
-224,218,12,227,63,9,224,36,3,64,242,59,121,191,179,156,55,96,154,224,
-155,4,198,135,224,163,0,64,116,130,53,98,85,140,146,96,55,192,18,2,
-117,116,102,44,22,96,81,166,29,91,161,32,119,64,58,177,212,64,31,232,
-105,3,224,186,1,253,133,3,2,49,50,48,251,166,0,222,68,96,19,67,
-135,64,221,235,177,3,2,49,49,52,171,178,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,196,226,188,0,2,50,48,55,134,63,190,76,225,204,1,199,182,228,186,
-7,32,241,173,202,2,102,111,112,34,45,32,15,129,236,139,235,229,201,11,
-229,199,5,32,48,130,15,239,215,5,32,22,168,21,79,29,79,144,242,8,
-8,224,2,25,62,64,237,160,5,242,105,6,224,1,13,126,118,48,166,225,
-52,1,2,70,108,97,2,103,115,123,193,56,224,0,5,243,99,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,74,81,40,224,0,9,224,199,31,77,247,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,210,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,89,3,128,11,2,
-58,50,52,140,22,2,83,32,83,88,12,88,94,188,150,224,154,5,2,78,
-111,116,2,104,105,110,2,103,34,32,215,16,171,105,88,15,79,35,255,94,
-0,43,68,246,48,0,224,225,9,2,74,117,115,2,116,32,34,161,89,64,
-111,123,80,252,98,0,96,166,43,42,73,159,173,92,111,9,96,15,32,171,
-248,62,0,139,4,186,216,64,124,140,42,52,123,145,96,45,156,2,35,52,
-48,139,137,51,239,160,16,205,58,191,117,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,243,96,6,185,66,85,226,143,146,2,50,52,51,75,126,190,66,
-244,174,5,249,2,25,96,86,215,219,50,70,97,112,77,105,122,245,32,27,
-236,29,0,224,64,5,32,25,217,207,248,128,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,232,227,163,1,237,177,3,249,131,1,240,49,3,224,72,
-4,240,191,7,189,65,33,166,239,221,6,39,206,97,141,114,100,189,91,2,
-65,46,119,71,82,45,50,189,96,116,71,34,45,160,2,193,24,189,49,32,
-29,192,26,246,59,8,189,46,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,130,250,145,6,32,6,206,174,54,114,176,102,131,84,32,85,252,
-226,3,2,50,50,54,144,86,33,15,32,25,213,166,111,49,147,47,122,121,
-97,215,32,12,58,88,196,30,96,30,229,245,2,160,35,154,169,160,11,128,
-110,212,26,34,95,188,110,180,52,253,13,0,96,88,160,107,123,155,122,72,
-32,32,213,246,117,124,66,19,32,19,225,85,0,66,38,124,249,96,25,146,
-212,2,115,116,100,43,34,33,33,188,249,87,78,188,212,177,212,226,118,1,
-2,95,50,49,33,9,66,124,92,151,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,176,192,215,187,138,64,5,32,220,112,22,195,187,227,
-18,5,128,246,131,49,32,26,91,111,64,92,248,77,3,80,185,184,171,92,
-47,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,80,243,
-159,3,188,66,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,151,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,184,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,51,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,93,232,181,97,224,0,255,224,0,255,224,0,255,224,0,
-255,224,0,255,224,0,255,224,0,255,224,0,38,1,32,125,
+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,93,232,181,97,224,0,255,224,0,255,224,0,255,224,0,255,224,0,255,
+224,0,255,224,0,255,224,0,38,1,32,125,
};
unsigned char *combexpr = data;
-int combexprlen = 89216;
+int combexprlen = 89212;
#include "mhsffi.h"
static struct ffi_entry table[] = { { 0,0 }--- a/src/MicroHs/IdentMap.hs
+++ b/src/MicroHs/IdentMap.hs
@@ -78,9 +78,10 @@
where
look Nil = Nothing
look (One key val) =
- case compare k key of
- EQ -> Just val
- _ -> Nothing
+ if k == key then
+ Just val
+ else
+ Nothing
look (Node left _ key val right) =
case k `compare` key of
LT -> look left
--
⑨