/* adversarial all-wrong-guess input, generated by simulating HASH(x)=(Hash<<4)^x (u_int16) */
static const u_char df_worstcase[3645] = {
1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,1,2,3,4,10,6,7,8,9,20,11,12,13,14,30,16,17,18,19,40,21,22,23,24,50,26,27,28,29,60,31,32,33,34,70,36,37,38,39,80,41,42,43,44,90,46,47,48,49,100,51,52,53,54,110,56,57,58,59,120,61,62,63,64,130,66,67,68,69,140,71,72,73,74,150,76,77,78,79,160,81,82,83,168,85,86,87,88,178,90,91,92,93,188,95,96,97,98,198,100,101,102,103,208,105,106,107,108,218,110,111,112,113,228,115,116,117,118,238,120,121,122,123,248,125,126,127,128,2,130,131,132,133,12,135,136,137,138,22,140,141,142,143,32,145,146,147,40,149,150,151,152,50,154,155,156,157,60,159,160,161,162,70,164,165,166,167,80,169,170,171,172,90,174,175,176,177,100,179,180,181,182,110,184,185,186,187,120,189,190,191,192,130,194,195,196,197,140,199,200,201,202,150,204,205,206,207,160,209,210,211,168,213,214,215,216,178,218,219,220,221,188,223,224,225,226,198,228,229,230,231,208,233,234,235,236,218,238,239,240,241,228,243,244,245,246,238,248,249,250,1,4,3,4,5,6,14,8,9,10,11,24,13,14,15,16,34,18,19,20,21,44,23,24,25,26,54,28,29,30,31,64,33,34,35,72,37,38,39,40,82,42,43,44,45,92,47,48,49,50,102,52,53,54,55,112,57,58,59,60,122,62,63,64,65,132,67,68,69,70,142,72,73,74,75,152,77,78,79,80,162,82,83,84,85,172,87,88,89,90,182,92,93,94,95,192,97,98,99,200,101,102,103,104,210,106,107,108,109,220,111,112,113,114,230,116,117,118,119,240,121,122,123,124,250,126,127,128,129,4,131,132,133,134,14,136,137,138,139,24,141,142,143,144,34,146,147,148,149,44,151,152,153,154,54,156,157,158,159,64,161,162,163,72,165,166,167,168,82,170,171,172,173,92,175,176,177,178,102,180,181,182,183,112,185,186,187,188,122,190,191,192,193,132,195,196,197,198,142,200,201,202,203,152,205,206,207,208,162,210,211,212,213,172,215,216,217,218,182,220,221,222,223,192,225,226,227,200,229,230,231,232,210,234,235,236,237,220,239,240,241,242,230,244,245,246,247,240,249,250,1,2,6,4,5,6,7,16,43,10,11,12,13,28,15,16,17,18,38,20,21,22,23,48,25,26,27,28,58,30,31,32,33,68,35,36,37,38,78,40,41,42,43,88,45,46,47,48,98,50,51,52,53,108,55,56,57,58,118,60,61,62,63,128,65,66,67,136,69,70,71,72,146,74,75,76,77,156,79,80,81,82,166,84,85,86,87,176,89,90,91,92,186,94,95,96,97,196,99,100,136,102,103,104,105,212,107,108,109,110,222,112,113,114,115,232,117,118,119,120,242,122,123,124,125,252,127,128,129,130,6,132,133,134,135,16,137,138,139,140,26,142,143,144,145,36,147,148,149,150,46,152,153,154,155,56,157,158,159,160,66,162,163,164,165,76,167,168,169,170,86,172,173,174,175,96,177,178,179,104,181,182,183,184,114,186,187,188,189,124,191,192,193,194,134,196,197,198,199,144,201,202,203,204,154,206,207,208,209,164,211,212,213,214,174,216,217,218,219,184,221,222,223,224,194,226,227,228,229,204,231,232,233,234,214,236,237,238,239,224,241,242,243,232,245,246,247,248,242,250,1,2,3,8,151,6,7,8,9,30,11,12,13,14,45,16,17,18,19,60,21,22,23,24,75,26,27,28,29,90,31,32,33,34,105,36,37,38,39,120,41,42,43,132,45,46,47,48,147,50,51,52,53,162,55,56,57,58,177,60,61,62,63,192,65,66,67,204,69,70,71,72,224,74,75,76,77,234,79,80,81,82,249,84,85,86,87,8,89,90,91,184,93,94,95,128,97,98,99,44,101,102,103,104,59,106,107,108,109,74,111,112,113,114,89,116,117,118,119,104,121,122,123,116,114,126,127,128,129,134,131,132,133,134,149,136,137,138,139,164,141,142,143,144,188,146,147,148,149,194,151,152,153,154,209,156,157,158,159,224,161,162,163,236,165,166,167,168,251,170,171,172,173,10,175,176,177,178,25,180,181,182,183,40,185,186,118,188,189,190,191,128,193,194,195,136,197,198,199,200,146,202,203,204,205,156,207,208,209,210,166,212,213,214,215,176,217,218,219,220,186,222,223,224,225,196,227,228,229,230,206,232,233,234,235,216,237,238,239,240,226,242,243,244,245,236,247,248,249,250,2,2,3,4,5,12,7,8,9,10,22,12,13,14,15,32,17,18,19,80,21,22,23,24,100,26,27,28,29,120,31,32,33,34,140,36,37,38,39,160,41,42,43,88,90,46,47,48,98,100,51,52,53,108,110,56,57,58,118,120,61,62,63,128,130,66,67,136,69,140,71,72,146,74,150,76,77,156,79,160,81,82,166,168,85,86,87,176,178,90,91,92,186,188,95,96,97,196,198,100,101,102,206,104,105,106,107,216,109,110,111,112,226,114,115,116,117,236,119,120,121,122,246,124,125,126,127,0,129,130,131,8,133,134,135,136,18,138,139,140,141,28,143,144,145,146,38,148,149,150,151,48,153,154,155,156,58,158,159,160,161,68,163,164,165,166,78,168,169,170,171,88,173,174,175,176,98,178,179,180,181,108,183,184,185,186,118,120,189,190,191,128,130,194,195,136,197,140,199,200,146,202,150,204,205,156,207,160,209,210,166,168,213,214,215,176,178,218,219,220,186,188,223,224,225,196,198,228,229,230,206,208,233,234,235,216,218,238,239,240,226,228,243,244,245,236,238,248,249,250,2,4,3,4,5,12,14,8,9,10,22,24,13,14,15,32,34,18,159,20,21,22,23,72,25,26,27,56,29,30,31,32,66,34,35,36,37,76,39,40,41,42,86,44,45,46,47,96,49,50,51,104,53,54,55,56,114,58,59,60,61,124,63,64,65,66,134,68,69,70,71,144,73,74,75,76,154,78,79,80,81,164,83,84,85,86,174,88,89,90,91,20,93,94,95,96,194,98,99,100,101,204,103,104,105,106,214,108,109,110,111,224,113,114,115,92,117,118,119,120,107,122,123,124,125,122,127,128,129,130,137,132,133,134,135,152,137,138,139,48,141,142,143,144,77,146,147,148,149,88,151,152,153,154,108,156,157,158,159,128,161,162,163,144,142,166,167,168,169,84,171,172,173,174,94,176,177,178,179,28,181,182,183,184,43,186,187,188,189,58,191,192,193,194,73,196,197,198,199,88,201,202,150,152,205,206,207,160,162,210,211,168,213,172,215,216,178,218,182,220,221,188,223,192,225,226,198,200,229,230,231,208,119,234,235,236,237,202,239,240,241,242,217,244,245,246,247,232,249,250,1,6,3,4,5,6,21,62,9,10,11,12,26,14,15,16,17,36,19,20,21,22,46,24,25,26,27,84,29,30,31,32,99,34,35,36,37,114,39,40,41,42,129,44,45,46,47,144,49,50,51,156,53,54,55,56,171,58,59,60,61,186,64,64,65,66,67,16,69,70,71,72,41,74,75,76,231,78,79,80,81,246,83,84,85,108,87,88,89,180,91,92,93,94,190,96,97,98,99,144,101,102,103,104,164,106,107,108,109,184,111,112,113,114,204,116,117,118,119,224,121,122,123,248,250,126,127,128,2,4,131,132,133,12,14,136,137,138,22,24,141,142,143,32,34,146,147,40,149,44,151,152,50,154,54,156,157,60,159,64,161,162,70,72,165,166,167,80,82,170,171,172,90,92,175,176,177,100,102,180,181,182,110,112,185,186,187,120,122,190,191,192,130,132,195,196,197,140,142,200,201,202,97,204,205,206,207,112,94,210,211,212,213,130,215,216,217,218,145,220,221,222,223,160,225,226,227,172,229,230,231,232,187,234,235,236,237,184,239,240,241,242,204,244,245,246,247,224,249,250,1,4,6,4,5,6,14,16,9,10,11,12,39,14,15,16,17,54,19,20,21,22,69,24,25,26,27,112,207,30,31,32,33,102,35,36,37,38,117,40,41,42,43,176,45,46,47,48,196,50,51,52,53,216,55,56,57,58,236,60,61,62,63,0,65,66,67,84,69,70,71,216,214,74,75,76,77,56,79,80,81,82,76,84,85,86,87,96,27,90,91,92,93,26,95,128,97,98,198,200,101,102,103,208,210,106,107,108,218,220,111,112,113,228,230,116,117,118,238,240,121,116,123,124,125,126,254,128,129,130,131,140,172,134,135,136,137,20,139,140,141,142,30,144,145,146,147,188,149,150,151,152,203,154,155,156,157,218,159,128,161,162,70,236,165,166,167,80,251,170,171,172,90,10,175,176,177,100,25,180,181,182,110,40,185,186,49,188,189,190,191,64,193,194,195,76,197,198,199,200,91,202,203,204,205,106,207,208,209,210,121,212,213,214,215,136,217,218,219,148,221,222,223,224,252,226,227,228,229,178,231,232,233,234,193,236,237,238,62,240,241,242,230,232,245,246,247,240,242,250,1,2,6,8,5,6,7,8,18,10,11,12,13,42,15,16,17,18,57,20,21,22,23,96,186,26,27,28,29,150,31,32,33,34,194,36,37,38,39,200,41,42,43,220,45,46,47,192,49,50,51,208,53,54,55,56,228,58,59,60,61,248,63,64,65,66,201,68,69,70,71,32,235,74,75,76,77,134,79,80,81,82,159,84,234,86,87,88,89,180,182,92,93,94,190,192,97,98,99,244,101,102,103,56,105,106,107,68,109,110,111,112,83,114,115,116,117,98,119,120,121,122,113,124,125,126,127,128,131,130,131,132,133,146,135,136,137,138,161,140,141,142,143,176,145,146,147,80,149,150,151,152,100,154,155,156,234,158,159,160,66,68,221,164,165,166,167,248,169,170,171,4,173,174,190,176,177,178,102,104,181,182,183,112,114,186,187,188,122,124,191,192,193,132,134,196,197,198,142,144,201,202,203,152,154,206,207,208,162,164,211,212,213,172,174,216,217,218,182,184,221,222,223,96,225,226,227,144,229,230,231,232,164,234,235,236,237,166,239,240,241,242,191,244,245,246,247,216,249,250,1,8,3,4,5,6,28,8,9,10,11,36,13,14,15,16,51,18,19,20,21,66,23,24,25,26,81,28,29,124,31,32,33,68,171,110,37,38,39,40,123,42,43,44,45,138,47,48,49,50,153,52,53,54,55,168,174,58,59,60,61,54,173,64,65,66,67,152,69,70,71,144,146,74,75,76,154,156,79,80,81,164,166,84,85,86,174,176,89,90,91,184,186,94,95,96,194,196,99,100,101,102,206,208,105,106,107,216,218,110,111,112,226,228,115,116,117,236,238,120,121,122,246,248,125,126,127,0,2,130,131,8,133,12,135,136,18,138,22,140,141,28,143,32,145,146,38,40,149,150,151,48,50,154,155,156,58,60,159,160,161,68,70,164,165,166,78,80,169,170,171,88,90,174,175,176,98,100,179,180,181,108,110,184,185,186,49,120,189,190,191,64,130,194,195,76,197,140,14,200,201,202,44,204,205,206,207,64,209,210,211,124,213,214,215,216,139,218,219,220,221,154,223,128,130,226,227,228,202,230,231,232,233,212,235,236,237,238,222,240,241,242,217,232,245,246,247,232,242,250,1,4,3,8,5,6,7,16,86,10,11,12,13,56,15,16,17,18,76,20,21,22,23,120,246,26,27,28,29,180,31,32,33,34,229,36,37,38,39,240,41,42,43,132,90,46,47,48,147,100,51,52,53,162,110,56,57,58,177,120,61,62,63,192,130,66,67,204,69,140,213,72,73,74,75,228,77,78,79,80,243,82,83,84,85,2,87,88,89,90,17,92,93,94,95,32,130,98,99,100,202,102,103,104,105,62,107,108,109,110,77,112,113,114,115,208,117,118,119,120,228,122,123,124,125,248,127,128,129,130,12,132,133,134,135,32,137,138,139,24,99,142,143,144,145,182,147,148,149,150,197,152,153,154,155,212,157,158,159,192,161,162,163,52,165,166,167,160,169,170,171,4,90,174,142,176,177,178,25,104,181,182,183,40,114,186,230,188,189,190,126,192,193,194,195,16,197,198,199,200,36,202,203,204,205,56,207,208,209,210,76,212,213,214,215,96,217,218,219,184,211,222,223,224,225,166,227,228,229,230,181,232,233,234,235,196,237,238,239,240,211,242,243,244,245,226,247,248,249,250,3,2,3,4,5,18,7,8,9,10,33,12,13,14,15,48,17,18,38,40,21,22,23,48,50,26,27,28,58,60,31,32,33,102,70,36,37,38,78,80,41,42,43,176,90,46,47,48,196,100,51,52,53,216,110,56,57,58,236,120,61,62,63,0,130,66,67,16,69,140,71,72,219,74,75,76,154,234,42,80,81,82,83,252,85,86,87,88,11,90,91,92,186,26,95,96,97,98,41,100,101,102,103,160,105,106,107,68,218,41,111,112,113,114,63,116,117,118,119,88,121,122,123,240,125,126,127,128,4,130,131,132,133,24,135,136,137,138,44,140,141,142,143,64,145,146,147,228,149,150,151,200,153,154,155,112,79,158,159,160,161,230,163,164,165,166,245,168,169,170,171,176,128,174,175,176,177,22,179,180,181,182,100,184,185,186,187,52,189,190,191,192,67,194,195,196,197,82,199,200,201,202,97,152,205,206,207,112,47,210,211,212,213,88,215,216,217,218,108,220,221,222,223,128,130,226,198,228,229,204,231,208,233,234,214,236,218,238,142,240,241,242,204,232,245,246,247,224,242,250,1,4,6,8,5,6,14,8,18,10,11,24,13,28,15,16,34,18,38,20,21,44,23,48,25,26,54,28,58,30,31,64,33,68,35,72,55,38,39,40,41,84,43,44,45,46,94,48,49,50,51,4,53,54,55,224,57,58,59,120,122,62,63,96,65,66,134,136,69,70,71,216,172,74,75,76,77,212,79,80,81,82,242,84,85,86,87,184,89,90,91,112,93,94,95,96,35,98,99,100,101,50,103,104,105,106,65,108,109,110,111,80,232,114,115,116,117,216,119,120,121,122,236,124,125,188,127,128,129,4,6,132,133,134,14,16,137,138,139,164,26,142,143,144,34,36,147,148,149,44,46,152,153,154,54,56,157,158,142,144,161,162,233,164,165,166,167,72,169,170,171,92,173,174,175,16,177,178,179,208,181,182,183,184,228,186,187,188,189,248,191,192,193,194,12,196,197,198,199,32,26,202,203,204,205,6,207,208,209,210,31,212,213,214,215,56,18,218,219,220,151,190,78,224,225,226,227,116,229,230,231,184,233,234,235,176,237,238,239,240,113,242,243,244,103,246,247,248,249,244,1,2,3,4,15,6,7,8,9,40,11,12,13,14,60,16,17,18,38,60,21,22,23,48,75,26,27,28,58,90,31,32,82,34,35,36,74,38,39,40,41,126,43,44,45,46,141,48,113,50,51,52,106,54,55,56,57,116,59,60,61,62,126,64,65,66,67,220,69,70,71,144,219,74,75,76,231,156,79,80,81,246,166,84,85,86,5,88,89,90,91,204,93,94,95,128,194,98,99,200,126,102,103,104,105,168,107,108,109,110,188,112,113,114,115,68,117,118,119,208,121,122,123,116,228,126,127,128,129,8,131,132,133,134,28,136,137,138,139,188,141,142,143,208,214
};