Patrick George Wyndham Smith's submission

/* SPDX-License-Identifier: MIT
 * HTML character-reference decoder, authored with OpenAI GPT-6 (Codex).
 * Entity mappings: WHATWG HTML named character reference data, obtained from
 * Python html.entities.html5. Front-coded sorted names in blocks of eight.
 * Build: zig cc -target wasm32-freestanding -Oz -msimd128 -nostdlib
 *   -Wl,--no-entry -Wl,--export-memory -Wl,-z,stack-size=16384
 *   -Wl,--initial-memory=1441792 -Wl,--max-memory=1441792
 *   -Wl,--export=input_ptr -Wl,--export=input_utf8_cap
 *   -Wl,--export=output_utf8_cap -Wl,--export=render
 *   -Wl,--strip-all unescape.c -o unescape.wasm
 */
#include <stdint.h>
#include <wasm_simd128.h>
#define EXPORT __attribute__((visibility("default")))
/* Input starts 256 KiB ahead of output. The maximum expansion is one byte
 * per five input bytes (&nGt; and &nLt;), at most 209715 bytes for 1 MiB,
 * so writes cannot overwrite unread input, including 16-byte SIMD copies. */
static unsigned char buffer[1310720];
EXPORT uint32_t input_ptr(void) { return (uint32_t)(buffer+262144); }
EXPORT uint32_t input_utf8_cap(void) { return 1048576; }
EXPORT uint32_t output_utf8_cap(void) { return 1258298; }
static const unsigned char names[]={
0,65,69,108,105,103,0,1,77,80,0,1,97,99,117,116,101,0,1,98,114,101,118,101,
0,1,99,105,114,99,0,2,121,0,1,102,114,0,1,103,114,97,118,101,0,0,65,108,
112,104,97,0,1,109,97,99,114,0,1,110,100,0,1,111,103,111,110,0,2,112,102,0,
1,112,112,108,121,70,117,110,99,116,105,111,110,0,1,114,105,110,103,0,1,115,99,114,
0,0,65,115,115,105,103,110,0,1,116,105,108,100,101,0,1,117,109,108,0,0,66,97,
99,107,115,108,97,115,104,0,2,114,118,0,3,119,101,100,0,1,99,121,0,1,101,99,
97,117,115,101,0,0,66,101,114,110,111,117,108,108,105,115,0,2,116,97,0,1,102,114,
0,1,111,112,102,0,1,114,101,118,101,0,1,115,99,114,0,1,117,109,112,101,113,0,
0,67,72,99,121,0,0,67,79,80,89,0,1,97,99,117,116,101,0,2,112,0,3,105,
116,97,108,68,105,102,102,101,114,101,110,116,105,97,108,68,0,2,121,108,101,121,115,0,
1,99,97,114,111,110,0,2,101,100,105,108,0,2,105,114,99,0,0,67,99,111,110,105,
110,116,0,1,100,111,116,0,1,101,100,105,108,108,97,0,2,110,116,101,114,68,111,116,
0,1,102,114,0,1,104,105,0,1,105,114,99,108,101,68,111,116,0,6,77,105,110,117,
115,0,0,67,105,114,99,108,101,80,108,117,115,0,6,84,105,109,101,115,0,1,108,111,
99,107,119,105,115,101,67,111,110,116,111,117,114,73,110,116,101,103,114,97,108,0,3,115,
101,67,117,114,108,121,68,111,117,98,108,101,81,117,111,116,101,0,10,81,117,111,116,101,
0,1,111,108,111,110,0,5,101,0,2,110,103,114,117,101,110,116,0,0,67,111,110,105,
110,116,0,3,116,111,117,114,73,110,116,101,103,114,97,108,0,2,112,102,0,3,114,111,
100,117,99,116,0,2,117,110,116,101,114,67,108,111,99,107,119,105,115,101,67,111,110,116,
111,117,114,73,110,116,101,103,114,97,108,0,1,114,111,115,115,0,1,115,99,114,0,1,
117,112,0,0,67,117,112,67,97,112,0,0,68,68,0,2,111,116,114,97,104,100,0,1,
74,99,121,0,1,83,99,121,0,1,90,99,121,0,1,97,103,103,101,114,0,2,114,114,
0,0,68,97,115,104,118,0,1,99,97,114,111,110,0,2,121,0,1,101,108,0,3,116,
97,0,1,102,114,0,1,105,97,99,114,105,116,105,99,97,108,65,99,117,116,101,0,11,
68,111,116,0,0,68,105,97,99,114,105,116,105,99,97,108,68,111,117,98,108,101,65,99,
117,116,101,0,11,71,114,97,118,101,0,11,84,105,108,100,101,0,3,109,111,110,100,0,
2,102,102,101,114,101,110,116,105,97,108,68,0,1,111,112,102,0,2,116,0,3,68,111,
116,0,0,68,111,116,69,113,117,97,108,0,2,117,98,108,101,67,111,110,116,111,117,114,
73,110,116,101,103,114,97,108,0,6,68,111,116,0,8,119,110,65,114,114,111,119,0,6,
76,101,102,116,65,114,114,111,119,0,10,82,105,103,104,116,65,114,114,111,119,0,10,84,
101,101,0,7,111,110,103,76,101,102,116,65,114,114,111,119,0,0,68,111,117,98,108,101,
76,111,110,103,76,101,102,116,82,105,103,104,116,65,114,114,111,119,0,10,82,105,103,104,
116,65,114,114,111,119,0,6,82,105,103,104,116,65,114,114,111,119,0,11,84,101,101,0,
6,85,112,65,114,114,111,119,0,8,68,111,119,110,65,114,114,111,119,0,6,86,101,114,
116,105,99,97,108,66,97,114,0,2,119,110,65,114,114,111,119,0,0,68,111,119,110,65,
114,114,111,119,66,97,114,0,9,85,112,65,114,114,111,119,0,4,66,114,101,118,101,0,
4,76,101,102,116,82,105,103,104,116,86,101,99,116,111,114,0,8,84,101,101,86,101,99,
116,111,114,0,8,86,101,99,116,111,114,0,14,66,97,114,0,4,82,105,103,104,116,84,
101,101,86,101,99,116,111,114,0,0,68,111,119,110,82,105,103,104,116,86,101,99,116,111,
114,0,15,66,97,114,0,4,84,101,101,0,7,65,114,114,111,119,0,4,97,114,114,111,
119,0,1,115,99,114,0,2,116,114,111,107,0,0,69,78,71,0,0,69,84,72,0,1,
97,99,117,116,101,0,1,99,97,114,111,110,0,2,105,114,99,0,2,121,0,1,100,111,
116,0,1,102,114,0,1,103,114,97,118,101,0,0,69,108,101,109,101,110,116,0,1,109,
97,99,114,0,2,112,116,121,83,109,97,108,108,83,113,117,97,114,101,0,5,86,101,114,
121,83,109,97,108,108,83,113,117,97,114,101,0,1,111,103,111,110,0,2,112,102,0,1,
112,115,105,108,111,110,0,1,113,117,97,108,0,0,69,113,117,97,108,84,105,108,100,101,
0,3,105,108,105,98,114,105,117,109,0,1,115,99,114,0,2,105,109,0,1,116,97,0,
1,117,109,108,0,1,120,105,115,116,115,0,2,112,111,110,101,110,116,105,97,108,69,0,
0,70,99,121,0,1,102,114,0,1,105,108,108,101,100,83,109,97,108,108,83,113,117,97,
114,101,0,6,86,101,114,121,83,109,97,108,108,83,113,117,97,114,101,0,1,111,112,102,
0,2,114,65,108,108,0,2,117,114,105,101,114,116,114,102,0,1,115,99,114,0,0,71,
74,99,121,0,1,84,0,1,97,109,109,97,0,5,100,0,1,98,114,101,118,101,0,1,
99,101,100,105,108,0,2,105,114,99,0,2,121,0,0,71,100,111,116,0,1,102,114,0,
1,103,0,1,111,112,102,0,1,114,101,97,116,101,114,69,113,117,97,108,0,12,76,101,
115,115,0,7,70,117,108,108,69,113,117,97,108,0,7,71,114,101,97,116,101,114,0,0,
71,114,101,97,116,101,114,76,101,115,115,0,7,83,108,97,110,116,69,113,117,97,108,0,
7,84,105,108,100,101,0,1,115,99,114,0,1,116,0,0,72,65,82,68,99,121,0,1,
97,99,101,107,0,2,116,0,0,72,99,105,114,99,0,1,102,114,0,1,105,108,98,101,
114,116,83,112,97,99,101,0,1,111,112,102,0,2,114,105,122,111,110,116,97,108,76,105,
110,101,0,1,115,99,114,0,2,116,114,111,107,0,1,117,109,112,68,111,119,110,72,117,
109,112,0,0,72,117,109,112,69,113,117,97,108,0,0,73,69,99,121,0,1,74,108,105,
103,0,1,79,99,121,0,1,97,99,117,116,101,0,1,99,105,114,99,0,2,121,0,1,
100,111,116,0,0,73,102,114,0,1,103,114,97,118,101,0,1,109,0,2,97,99,114,0,
3,103,105,110,97,114,121,73,0,2,112,108,105,101,115,0,1,110,116,0,3,101,103,114,
97,108,0,0,73,110,116,101,114,115,101,99,116,105,111,110,0,2,118,105,115,105,98,108,
101,67,111,109,109,97,0,9,84,105,109,101,115,0,1,111,103,111,110,0,2,112,102,0,
2,116,97,0,1,115,99,114,0,1,116,105,108,100,101,0,0,73,117,107,99,121,0,2,
109,108,0,0,74,99,105,114,99,0,2,121,0,1,102,114,0,1,111,112,102,0,1,115,
99,114,0,2,101,114,99,121,0,0,74,117,107,99,121,0,0,75,72,99,121,0,1,74,
99,121,0,1,97,112,112,97,0,1,99,101,100,105,108,0,2,121,0,1,102,114,0,1,
111,112,102,0,0,75,115,99,114,0,0,76,74,99,121,0,1,84,0,1,97,99,117,116,
101,0,2,109,98,100,97,0,2,110,103,0,2,112,108,97,99,101,116,114,102,0,2,114,
114,0,0,76,99,97,114,111,110,0,2,101,100,105,108,0,2,121,0,1,101,102,116,65,
110,103,108,101,66,114,97,99,107,101,116,0,5,114,114,111,119,0,9,66,97,114,0,9,
82,105,103,104,116,65,114,114,111,119,0,4,67,101,105,108,105,110,103,0,0,76,101,102,
116,68,111,117,98,108,101,66,114,97,99,107,101,116,0,6,119,110,84,101,101,86,101,99,
116,111,114,0,8,86,101,99,116,111,114,0,14,66,97,114,0,4,70,108,111,111,114,0,
4,82,105,103,104,116,65,114,114,111,119,0,9,86,101,99,116,111,114,0,4,84,101,101,
0,0,76,101,102,116,84,101,101,65,114,114,111,119,0,7,86,101,99,116,111,114,0,5,
114,105,97,110,103,108,101,0,12,66,97,114,0,12,69,113,117,97,108,0,4,85,112,68,
111,119,110,86,101,99,116,111,114,0,6,84,101,101,86,101,99,116,111,114,0,6,86,101,
99,116,111,114,0,0,76,101,102,116,85,112,86,101,99,116,111,114,66,97,114,0,4,86,
101,99,116,111,114,0,10,66,97,114,0,4,97,114,114,111,119,0,4,114,105,103,104,116,
97,114,114,111,119,0,2,115,115,69,113,117,97,108,71,114,101,97,116,101,114,0,4,70,
117,108,108,69,113,117,97,108,0,4,71,114,101,97,116,101,114,0,0,76,101,115,115,76,
101,115,115,0,4,83,108,97,110,116,69,113,117,97,108,0,4,84,105,108,100,101,0,1,
102,114,0,1,108,0,2,101,102,116,97,114,114,111,119,0,1,109,105,100,111,116,0,1,
111,110,103,76,101,102,116,65,114,114,111,119,0,0,76,111,110,103,76,101,102,116,82,105,
103,104,116,65,114,114,111,119,0,4,82,105,103,104,116,65,114,114,111,119,0,4,108,101,
102,116,97,114,114,111,119,0,8,114,105,103,104,116,97,114,114,111,119,0,4,114,105,103,
104,116,97,114,114,111,119,0,2,112,102,0,2,119,101,114,76,101,102,116,65,114,114,111,
119,0,5,82,105,103,104,116,65,114,114,111,119,0,0,76,115,99,114,0,2,104,0,2,
116,114,111,107,0,1,116,0,0,77,97,112,0,1,99,121,0,1,101,100,105,117,109,83,
112,97,99,101,0,2,108,108,105,110,116,114,102,0,0,77,102,114,0,1,105,110,117,115,
80,108,117,115,0,1,111,112,102,0,1,115,99,114,0,1,117,0,0,78,74,99,121,0,
1,97,99,117,116,101,0,1,99,97,114,111,110,0,0,78,99,101,100,105,108,0,2,121,
0,1,101,103,97,116,105,118,101,77,101,100,105,117,109,83,112,97,99,101,0,8,84,104,
105,99,107,83,112,97,99,101,0,11,110,83,112,97,99,101,0,8,86,101,114,121,84,104,
105,110,83,112,97,99,101,0,2,115,116,101,100,71,114,101,97,116,101,114,71,114,101,97,
116,101,114,0,6,76,101,115,115,76,101,115,115,0,0,78,101,119,76,105,110,101,0,1,
102,114,0,1,111,66,114,101,97,107,0,2,110,66,114,101,97,107,105,110,103,83,112,97,
99,101,0,2,112,102,0,2,116,0,3,67,111,110,103,114,117,101,110,116,0,4,117,112,
67,97,112,0,0,78,111,116,68,111,117,98,108,101,86,101,114,116,105,99,97,108,66,97,
114,0,3,69,108,101,109,101,110,116,0,4,113,117,97,108,0,8,84,105,108,100,101,0,
4,120,105,115,116,115,0,3,71,114,101,97,116,101,114,0,10,69,113,117,97,108,0,10,
70,117,108,108,69,113,117,97,108,0,0,78,111,116,71,114,101,97,116,101,114,71,114,101,
97,116,101,114,0,10,76,101,115,115,0,10,83,108,97,110,116,69,113,117,97,108,0,10,
84,105,108,100,101,0,3,72,117,109,112,68,111,119,110,72,117,109,112,0,7,69,113,117,
97,108,0,3,76,101,102,116,84,114,105,97,110,103,108,101,0,15,66,97,114,0,0,78,
111,116,76,101,102,116,84,114,105,97,110,103,108,101,69,113,117,97,108,0,5,115,115,0,
7,69,113,117,97,108,0,7,71,114,101,97,116,101,114,0,7,76,101,115,115,0,7,83,
108,97,110,116,69,113,117,97,108,0,7,84,105,108,100,101,0,3,78,101,115,116,101,100,
71,114,101,97,116,101,114,71,114,101,97,116,101,114,0,0,78,111,116,78,101,115,116,101,
100,76,101,115,115,76,101,115,115,0,3,80,114,101,99,101,100,101,115,0,11,69,113,117,
97,108,0,11,83,108,97,110,116,69,113,117,97,108,0,3,82,101,118,101,114,115,101,69,
108,101,109,101,110,116,0,4,105,103,104,116,84,114,105,97,110,103,108,101,0,16,66,97,
114,0,16,69,113,117,97,108,0,0,78,111,116,83,113,117,97,114,101,83,117,98,115,101,
116,0,15,69,113,117,97,108,0,11,112,101,114,115,101,116,0,17,69,113,117,97,108,0,
4,117,98,115,101,116,0,9,69,113,117,97,108,0,5,99,99,101,101,100,115,0,11,69,
113,117,97,108,0,0,78,111,116,83,117,99,99,101,101,100,115,83,108,97,110,116,69,113,
117,97,108,0,11,84,105,108,100,101,0,5,112,101,114,115,101,116,0,11,69,113,117,97,
108,0,3,84,105,108,100,101,0,8,69,113,117,97,108,0,8,70,117,108,108,69,113,117,
97,108,0,8,84,105,108,100,101,0,0,78,111,116,86,101,114,116,105,99,97,108,66,97,
114,0,1,115,99,114,0,1,116,105,108,100,101,0,1,117,0,0,79,69,108,105,103,0,
1,97,99,117,116,101,0,1,99,105,114,99,0,2,121,0,0,79,100,98,108,97,99,0,
1,102,114,0,1,103,114,97,118,101,0,1,109,97,99,114,0,2,101,103,97,0,2,105,
99,114,111,110,0,1,111,112,102,0,1,112,101,110,67,117,114,108,121,68,111,117,98,108,
101,81,117,111,116,101,0,0,79,112,101,110,67,117,114,108,121,81,117,111,116,101,0,1,
114,0,1,115,99,114,0,2,108,97,115,104,0,1,116,105,108,100,101,0,3,109,101,115,
0,1,117,109,108,0,1,118,101,114,66,97,114,0,0,79,118,101,114,66,114,97,99,101,
0,8,107,101,116,0,4,80,97,114,101,110,116,104,101,115,105,115,0,0,80,97,114,116,
105,97,108,68,0,1,99,121,0,1,102,114,0,1,104,105,0,1,105,0,0,80,108,117,
115,77,105,110,117,115,0,1,111,105,110,99,97,114,101,112,108,97,110,101,0,2,112,102,
0,1,114,0,2,101,99,101,100,101,115,0,8,69,113,117,97,108,0,8,83,108,97,110,
116,69,113,117,97,108,0,8,84,105,108,100,101,0,0,80,114,105,109,101,0,2,111,100,
117,99,116,0,3,112,111,114,116,105,111,110,0,10,97,108,0,1,115,99,114,0,2,105,
0,0,81,85,79,84,0,1,102,114,0,0,81,111,112,102,0,1,115,99,114,0,0,82,
66,97,114,114,0,1,69,71,0,1,97,99,117,116,101,0,2,110,103,0,2,114,114,0,
4,116,108,0,0,82,99,97,114,111,110,0,2,101,100,105,108,0,2,121,0,1,101,0,
2,118,101,114,115,101,69,108,101,109,101,110,116,0,8,113,117,105,108,105,98,114,105,117,
109,0,7,85,112,69,113,117,105,108,105,98,114,105,117,109,0,1,102,114,0,0,82,104,
111,0,1,105,103,104,116,65,110,103,108,101,66,114,97,99,107,101,116,0,6,114,114,111,
119,0,10,66,97,114,0,10,76,101,102,116,65,114,114,111,119,0,5,67,101,105,108,105,
110,103,0,5,68,111,117,98,108,101,66,114,97,99,107,101,116,0,7,119,110,84,101,101,
86,101,99,116,111,114,0,0,82,105,103,104,116,68,111,119,110,86,101,99,116,111,114,0,
15,66,97,114,0,5,70,108,111,111,114,0,5,84,101,101,0,8,65,114,114,111,119,0,
8,86,101,99,116,111,114,0,6,114,105,97,110,103,108,101,0,13,66,97,114,0,0,82,
105,103,104,116,84,114,105,97,110,103,108,101,69,113,117,97,108,0,5,85,112,68,111,119,
110,86,101,99,116,111,114,0,7,84,101,101,86,101,99,116,111,114,0,7,86,101,99,116,
111,114,0,13,66,97,114,0,5,86,101,99,116,111,114,0,11,66,97,114,0,5,97,114,
114,111,119,0,0,82,111,112,102,0,2,117,110,100,73,109,112,108,105,101,115,0,1,114,
105,103,104,116,97,114,114,111,119,0,1,115,99,114,0,2,104,0,1,117,108,101,68,101,
108,97,121,101,100,0,0,83,72,67,72,99,121,0,2,99,121,0,0,83,79,70,84,99,
121,0,1,97,99,117,116,101,0,1,99,0,2,97,114,111,110,0,2,101,100,105,108,0,
2,105,114,99,0,2,121,0,1,102,114,0,0,83,104,111,114,116,68,111,119,110,65,114,
114,111,119,0,5,76,101,102,116,65,114,114,111,119,0,5,82,105,103,104,116,65,114,114,
111,119,0,5,85,112,65,114,114,111,119,0,1,105,103,109,97,0,1,109,97,108,108,67,
105,114,99,108,101,0,1,111,112,102,0,1,113,114,116,0,0,83,113,117,97,114,101,0,
6,73,110,116,101,114,115,101,99,116,105,111,110,0,6,83,117,98,115,101,116,0,12,69,
113,117,97,108,0,8,112,101,114,115,101,116,0,14,69,113,117,97,108,0,6,85,110,105,
111,110,0,1,115,99,114,0,0,83,116,97,114,0,1,117,98,0,3,115,101,116,0,6,
69,113,117,97,108,0,2,99,99,101,101,100,115,0,8,69,113,117,97,108,0,8,83,108,
97,110,116,69,113,117,97,108,0,8,84,105,108,100,101,0,0,83,117,99,104,84,104,97,
116,0,2,109,0,2,112,0,3,101,114,115,101,116,0,8,69,113,117,97,108,0,3,115,
101,116,0,0,84,72,79,82,78,0,1,82,65,68,69,0,0,84,83,72,99,121,0,2,
99,121,0,1,97,98,0,2,117,0,1,99,97,114,111,110,0,2,101,100,105,108,0,2,
121,0,1,102,114,0,0,84,104,101,114,101,102,111,114,101,0,3,116,97,0,2,105,99,
107,83,112,97,99,101,0,3,110,83,112,97,99,101,0,1,105,108,100,101,0,5,69,113,
117,97,108,0,5,70,117,108,108,69,113,117,97,108,0,5,84,105,108,100,101,0,0,84,
111,112,102,0,1,114,105,112,108,101,68,111,116,0,1,115,99,114,0,2,116,114,111,107,
0,0,85,97,99,117,116,101,0,2,114,114,0,4,111,99,105,114,0,1,98,114,99,121,
0,0,85,98,114,101,118,101,0,1,99,105,114,99,0,2,121,0,1,100,98,108,97,99,
0,1,102,114,0,1,103,114,97,118,101,0,1,109,97,99,114,0,1,110,100,101,114,66,
97,114,0,0,85,110,100,101,114,66,114,97,99,101,0,9,107,101,116,0,5,80,97,114,
101,110,116,104,101,115,105,115,0,2,105,111,110,0,5,80,108,117,115,0,1,111,103,111,
110,0,2,112,102,0,1,112,65,114,114,111,119,0,0,85,112,65,114,114,111,119,66,97,
114,0,7,68,111,119,110,65,114,114,111,119,0,2,68,111,119,110,65,114,114,111,119,0,
2,69,113,117,105,108,105,98,114,105,117,109,0,2,84,101,101,0,5,65,114,114,111,119,
0,2,97,114,114,111,119,0,2,100,111,119,110,97,114,114,111,119,0,0,85,112,112,101,
114,76,101,102,116,65,114,114,111,119,0,5,82,105,103,104,116,65,114,114,111,119,0,2,
115,105,0,4,108,111,110,0,1,114,105,110,103,0,1,115,99,114,0,1,116,105,108,100,
101,0,1,117,109,108,0,0,86,68,97,115,104,0,1,98,97,114,0,1,99,121,0,1,
100,97,115,104,0,5,108,0,1,101,101,0,2,114,98,97,114,0,3,116,0,0,86,101,
114,116,105,99,97,108,66,97,114,0,8,76,105,110,101,0,8,83,101,112,97,114,97,116,
111,114,0,8,84,105,108,100,101,0,3,121,84,104,105,110,83,112,97,99,101,0,1,102,
114,0,1,111,112,102,0,1,115,99,114,0,0,86,118,100,97,115,104,0,0,87,99,105,
114,99,0,1,101,100,103,101,0,1,102,114,0,1,111,112,102,0,1,115,99,114,0,0,
88,102,114,0,1,105,0,0,88,111,112,102,0,1,115,99,114,0,0,89,65,99,121,0,
1,73,99,121,0,1,85,99,121,0,1,97,99,117,116,101,0,1,99,105,114,99,0,2,
121,0,0,89,102,114,0,1,111,112,102,0,1,115,99,114,0,1,117,109,108,0,0,90,
72,99,121,0,1,97,99,117,116,101,0,1,99,97,114,111,110,0,2,121,0,0,90,100,
111,116,0,1,101,114,111,87,105,100,116,104,83,112,97,99,101,0,2,116,97,0,1,102,
114,0,1,111,112,102,0,1,115,99,114,0,0,97,97,99,117,116,101,0,1,98,114,101,
118,101,0,0,97,99,0,2,69,0,2,100,0,2,105,114,99,0,2,117,116,101,0,2,
121,0,1,101,108,105,103,0,1,102,0,0,97,102,114,0,1,103,114,97,118,101,0,1,
108,101,102,115,121,109,0,3,112,104,0,2,112,104,97,0,1,109,97,99,114,0,3,108,
103,0,2,112,0,0,97,110,100,0,3,97,110,100,0,3,100,0,3,115,108,111,112,101,
0,3,118,0,2,103,0,3,101,0,3,108,101,0,0,97,110,103,109,115,100,0,6,97,
97,0,7,98,0,7,99,0,7,100,0,7,101,0,7,102,0,7,103,0,0,97,110,103,
109,115,100,97,104,0,3,114,116,0,5,118,98,0,7,100,0,3,115,112,104,0,4,116,
0,3,122,97,114,114,0,1,111,103,111,110,0,0,97,111,112,102,0,1,112,0,2,69,
0,2,97,99,105,114,0,2,101,0,2,105,100,0,2,111,115,0,2,112,114,111,120,0,
0,97,112,112,114,111,120,101,113,0,1,114,105,110,103,0,1,115,99,114,0,2,116,0,
2,121,109,112,0,5,101,113,0,1,116,105,108,100,101,0,1,117,109,108,0,0,97,119,
99,111,110,105,110,116,0,2,105,110,116,0,0,98,78,111,116,0,1,97,99,107,99,111,
110,103,0,4,101,112,115,105,108,111,110,0,4,112,114,105,109,101,0,4,115,105,109,0,
7,101,113,0,0,98,97,114,118,101,101,0,3,119,101,100,0,6,103,101,0,1,98,114,
107,0,4,116,98,114,107,0,1,99,111,110,103,0,2,121,0,1,100,113,117,111,0,0,
98,101,99,97,117,115,0,6,101,0,2,109,112,116,121,118,0,2,112,115,105,0,2,114,
110,111,117,0,2,116,97,0,3,104,0,3,119,101,101,110,0,0,98,102,114,0,1,105,
103,99,97,112,0,4,105,114,99,0,4,117,112,0,3,111,100,111,116,0,4,112,108,117,
115,0,4,116,105,109,101,115,0,3,115,113,99,117,112,0,0,98,105,103,115,116,97,114,
0,3,116,114,105,97,110,103,108,101,100,111,119,110,0,11,117,112,0,3,117,112,108,117,
115,0,3,118,101,101,0,3,119,101,100,103,101,0,1,107,97,114,111,119,0,1,108,97,
99,107,108,111,122,101,110,103,101,0,0,98,108,97,99,107,115,113,117,97,114,101,0,5,
116,114,105,97,110,103,108,101,0,13,100,111,119,110,0,13,108,101,102,116,0,13,114,105,
103,104,116,0,3,110,107,0,2,107,49,50,0,4,52,0,0,98,108,107,51,52,0,2,
111,99,107,0,1,110,101,0,3,113,117,105,118,0,2,111,116,0,1,111,112,102,0,2,
116,0,3,116,111,109,0,0,98,111,119,116,105,101,0,2,120,68,76,0,4,82,0,4,
108,0,4,114,0,3,72,0,4,68,0,4,85,0,0,98,111,120,72,100,0,4,117,0,
3,85,76,0,4,82,0,4,108,0,4,114,0,3,86,0,4,72,0,0,98,111,120,86,
76,0,4,82,0,4,104,0,4,108,0,4,114,0,3,98,111,120,0,3,100,76,0,4,
82,0,0,98,111,120,100,108,0,4,114,0,3,104,0,4,68,0,4,85,0,4,100,0,
4,117,0,3,109,105,110,117,115,0,0,98,111,120,112,108,117,115,0,3,116,105,109,101,
115,0,3,117,76,0,4,82,0,4,108,0,4,114,0,3,118,0,4,72,0,0,98,111,
120,118,76,0,4,82,0,4,104,0,4,108,0,4,114,0,1,112,114,105,109,101,0,1,
114,101,118,101,0,2,118,98,97,114,0,0,98,115,99,114,0,2,101,109,105,0,2,105,
109,0,4,101,0,2,111,108,0,4,98,0,4,104,115,117,98,0,1,117,108,108,0,0,
98,117,108,108,101,116,0,2,109,112,0,4,69,0,4,101,0,5,113,0,0,99,97,99,
117,116,101,0,2,112,0,3,97,110,100,0,0,99,97,112,98,114,99,117,112,0,3,99,
97,112,0,4,117,112,0,3,100,111,116,0,3,115,0,2,114,101,116,0,3,111,110,0,
1,99,97,112,115,0,0,99,99,97,114,111,110,0,2,101,100,105,108,0,2,105,114,99,
0,2,117,112,115,0,5,115,109,0,1,100,111,116,0,1,101,100,105,108,0,2,109,112,
116,121,118,0,0,99,101,110,116,0,4,101,114,100,111,116,0,1,102,114,0,1,104,99,
121,0,2,101,99,107,0,5,109,97,114,107,0,2,105,0,1,105,114,0,0,99,105,114,
69,0,3,99,0,4,101,113,0,4,108,101,97,114,114,111,119,108,101,102,116,0,11,114,
105,103,104,116,0,6,100,82,0,7,83,0,7,97,115,116,0,0,99,105,114,99,108,101,
100,99,105,114,99,0,7,100,97,115,104,0,3,101,0,3,102,110,105,110,116,0,3,109,
105,100,0,3,115,99,105,114,0,1,108,117,98,115,0,5,117,105,116,0,0,99,111,108,
111,110,0,5,101,0,6,113,0,2,109,109,97,0,5,116,0,3,112,0,4,102,110,0,
4,108,101,109,101,110,116,0,0,99,111,109,112,108,101,120,101,115,0,2,110,103,0,4,
100,111,116,0,3,105,110,116,0,2,112,102,0,3,114,111,100,0,3,121,0,4,115,114,
0,0,99,114,97,114,114,0,2,111,115,115,0,1,115,99,114,0,2,117,98,0,4,101,
0,3,112,0,4,101,0,1,116,100,111,116,0,0,99,117,100,97,114,114,108,0,6,114,
0,2,101,112,114,0,3,115,99,0,2,108,97,114,114,0,6,112,0,2,112,0,3,98,
114,99,97,112,0,0,99,117,112,99,97,112,0,4,117,112,0,3,100,111,116,0,3,111,
114,0,3,115,0,2,114,97,114,114,0,6,109,0,3,108,121,101,113,112,114,101,99,0,
0,99,117,114,108,121,101,113,115,117,99,99,0,5,118,101,101,0,5,119,101,100,103,101,
0,3,114,101,110,0,3,118,101,97,114,114,111,119,108,101,102,116,0,10,114,105,103,104,
116,0,2,118,101,101,0,2,119,101,100,0,0,99,119,99,111,110,105,110,116,0,2,105,
110,116,0,1,121,108,99,116,121,0,0,100,65,114,114,0,1,72,97,114,0,1,97,103,
103,101,114,0,2,108,101,116,104,0,2,114,114,0,0,100,97,115,104,0,4,118,0,1,
98,107,97,114,111,119,0,2,108,97,99,0,1,99,97,114,111,110,0,2,121,0,1,100,
0,2,97,103,103,101,114,0,0,100,100,97,114,114,0,2,111,116,115,101,113,0,1,101,
103,0,2,108,116,97,0,2,109,112,116,121,118,0,1,102,105,115,104,116,0,2,114,0,
1,104,97,114,108,0,0,100,104,97,114,114,0,1,105,97,109,0,4,111,110,100,0,7,
115,117,105,116,0,4,115,0,2,101,0,2,103,97,109,109,97,0,2,115,105,110,0,0,
100,105,118,0,3,105,100,101,0,6,111,110,116,105,109,101,115,0,3,111,110,120,0,1,
106,99,121,0,1,108,99,111,114,110,0,3,114,111,112,0,1,111,108,108,97,114,0,0,
100,111,112,102,0,2,116,0,3,101,113,0,5,100,111,116,0,3,109,105,110,117,115,0,
3,112,108,117,115,0,3,115,113,117,97,114,101,0,2,117,98,108,101,98,97,114,119,101,
100,103,101,0,0,100,111,119,110,97,114,114,111,119,0,4,100,111,119,110,97,114,114,111,
119,115,0,4,104,97,114,112,111,111,110,108,101,102,116,0,11,114,105,103,104,116,0,1,
114,98,107,97,114,111,119,0,2,99,111,114,110,0,3,114,111,112,0,1,115,99,114,0,
0,100,115,99,121,0,2,111,108,0,2,116,114,111,107,0,1,116,100,111,116,0,2,114,
105,0,4,102,0,1,117,97,114,114,0,2,104,97,114,0,0,100,119,97,110,103,108,101,
0,1,122,99,121,0,2,105,103,114,97,114,114,0,0,101,68,68,111,116,0,2,111,116,
0,1,97,99,117,116,101,0,2,115,116,101,114,0,1,99,97,114,111,110,0,0,101,99,
105,114,0,4,99,0,2,111,108,111,110,0,2,121,0,1,100,111,116,0,1,101,0,1,
102,68,111,116,0,2,114,0,0,101,103,0,2,114,97,118,101,0,2,115,0,3,100,111,
116,0,1,108,0,2,105,110,116,101,114,115,0,2,108,0,2,115,0,0,101,108,115,100,
111,116,0,1,109,97,99,114,0,2,112,116,121,0,5,115,101,116,0,5,118,0,2,115,
112,0,4,49,51,0,5,52,0,0,101,110,103,0,2,115,112,0,1,111,103,111,110,0,
2,112,102,0,1,112,97,114,0,4,115,108,0,2,108,117,115,0,2,115,105,0,0,101,
112,115,105,108,111,110,0,4,118,0,1,113,99,105,114,99,0,3,111,108,111,110,0,2,
115,105,109,0,3,108,97,110,116,103,116,114,0,7,108,101,115,115,0,2,117,97,108,115,
0,0,101,113,117,101,115,116,0,3,105,118,0,5,68,68,0,2,118,112,97,114,115,108,
0,1,114,68,111,116,0,2,97,114,114,0,1,115,99,114,0,2,100,111,116,0,0,101,
115,105,109,0,1,116,97,0,2,104,0,1,117,109,108,0,2,114,111,0,1,120,99,108,
0,2,105,115,116,0,2,112,101,99,116,97,116,105,111,110,0,0,101,120,112,111,110,101,
110,116,105,97,108,101,0,0,102,97,108,108,105,110,103,100,111,116,115,101,113,0,1,99,
121,0,1,101,109,97,108,101,0,1,102,105,108,105,103,0,2,108,105,103,0,3,108,105,
103,0,2,114,0,0,102,105,108,105,103,0,1,106,108,105,103,0,1,108,97,116,0,2,
108,105,103,0,2,116,110,115,0,1,110,111,102,0,1,111,112,102,0,2,114,97,108,108,
0,0,102,111,114,107,0,4,118,0,1,112,97,114,116,105,110,116,0,1,114,97,99,49,
50,0,5,51,0,5,52,0,5,53,0,5,54,0,0,102,114,97,99,49,56,0,4,50,
51,0,5,53,0,4,51,52,0,5,53,0,5,56,0,4,52,53,0,4,53,54,0,0,
102,114,97,99,53,56,0,4,55,56,0,3,115,108,0,2,111,119,110,0,1,115,99,114,
0,0,103,69,0,2,108,0,1,97,99,117,116,101,0,0,103,97,109,109,97,0,5,100,
0,2,112,0,1,98,114,101,118,101,0,1,99,105,114,99,0,2,121,0,1,100,111,116,
0,1,101,0,0,103,101,108,0,2,113,0,3,113,0,3,115,108,97,110,116,0,2,115,
0,3,99,99,0,3,100,111,116,0,6,111,0,0,103,101,115,100,111,116,111,108,0,3,
108,0,4,101,115,0,1,102,114,0,1,103,0,2,103,0,1,105,109,101,108,0,1,106,
99,121,0,0,103,108,0,2,69,0,2,97,0,2,106,0,1,110,69,0,2,97,112,0,
4,112,114,111,120,0,2,101,0,0,103,110,101,113,0,4,113,0,2,115,105,109,0,1,
111,112,102,0,1,114,97,118,101,0,1,115,99,114,0,2,105,109,0,4,101,0,0,103,
115,105,109,108,0,1,116,0,2,99,99,0,3,105,114,0,2,100,111,116,0,2,108,80,
97,114,0,2,113,117,101,115,116,0,2,114,97,112,112,114,111,120,0,0,103,116,114,97,
114,114,0,3,100,111,116,0,3,101,113,108,101,115,115,0,5,113,108,101,115,115,0,3,
108,101,115,115,0,3,115,105,109,0,1,118,101,114,116,110,101,113,113,0,2,110,69,0,
0,104,65,114,114,0,1,97,105,114,115,112,0,2,108,102,0,2,109,105,108,116,0,2,
114,100,99,121,0,3,114,0,4,99,105,114,0,4,119,0,0,104,98,97,114,0,1,99,
105,114,99,0,1,101,97,114,116,115,0,6,117,105,116,0,2,108,108,105,112,0,2,114,
99,111,110,0,1,102,114,0,1,107,115,101,97,114,111,119,0,0,104,107,115,119,97,114,
111,119,0,1,111,97,114,114,0,2,109,116,104,116,0,2,111,107,108,101,102,116,97,114,
114,111,119,0,4,114,105,103,104,116,97,114,114,111,119,0,2,112,102,0,2,114,98,97,
114,0,1,115,99,114,0,0,104,115,108,97,115,104,0,2,116,114,111,107,0,1,121,98,
117,108,108,0,2,112,104,101,110,0,0,105,97,99,117,116,101,0,1,99,0,2,105,114,
99,0,2,121,0,0,105,101,99,121,0,2,120,99,108,0,1,102,102,0,2,114,0,1,
103,114,97,118,101,0,1,105,0,2,105,105,110,116,0,3,110,116,0,0,105,105,110,102,
105,110,0,2,111,116,97,0,1,106,108,105,103,0,1,109,97,99,114,0,3,103,101,0,
4,108,105,110,101,0,4,112,97,114,116,0,3,116,104,0,0,105,109,111,102,0,2,112,
101,100,0,1,110,0,2,99,97,114,101,0,2,102,105,110,0,5,116,105,101,0,2,111,
100,111,116,0,2,116,0,0,105,110,116,99,97,108,0,3,101,103,101,114,115,0,4,114,
99,97,108,0,3,108,97,114,104,107,0,3,112,114,111,100,0,1,111,99,121,0,2,103,
111,110,0,2,112,102,0,0,105,111,116,97,0,1,112,114,111,100,0,1,113,117,101,115,
116,0,1,115,99,114,0,2,105,110,0,4,69,0,4,100,111,116,0,4,115,0,0,105,
115,105,110,115,118,0,4,118,0,1,116,0,2,105,108,100,101,0,1,117,107,99,121,0,
2,109,108,0,0,106,99,105,114,99,0,2,121,0,0,106,102,114,0,1,109,97,116,104,
0,1,111,112,102,0,1,115,99,114,0,2,101,114,99,121,0,1,117,107,99,121,0,0,
107,97,112,112,97,0,5,118,0,0,107,99,101,100,105,108,0,2,121,0,1,102,114,0,
1,103,114,101,101,110,0,1,104,99,121,0,1,106,99,121,0,1,111,112,102,0,1,115,
99,114,0,0,108,65,97,114,114,0,2,114,114,0,2,116,97,105,108,0,1,66,97,114,
114,0,1,69,0,2,103,0,1,72,97,114,0,1,97,99,117,116,101,0,0,108,97,101,
109,112,116,121,118,0,2,103,114,97,110,0,2,109,98,100,97,0,2,110,103,0,4,100,
0,4,108,101,0,2,112,0,2,113,117,111,0,0,108,97,114,114,0,4,98,0,5,102,
115,0,4,102,115,0,4,104,107,0,4,108,112,0,4,112,108,0,4,115,105,109,0,0,
108,97,114,114,116,108,0,2,116,0,3,97,105,108,0,3,101,0,4,115,0,1,98,97,
114,114,0,2,98,114,107,0,2,114,97,99,101,0,0,108,98,114,97,99,107,0,3,107,
101,0,4,115,108,100,0,6,117,0,1,99,97,114,111,110,0,2,101,100,105,108,0,3,
105,108,0,2,117,98,0,0,108,99,121,0,1,100,99,97,0,2,113,117,111,0,5,114,
0,2,114,100,104,97,114,0,3,117,115,104,97,114,0,2,115,104,0,1,101,0,0,108,
101,102,116,97,114,114,111,119,0,9,116,97,105,108,0,4,104,97,114,112,111,111,110,100,
111,119,110,0,11,117,112,0,4,108,101,102,116,97,114,114,111,119,115,0,4,114,105,103,
104,116,97,114,114,111,119,0,14,115,0,9,104,97,114,112,111,111,110,115,0,0,108,101,
102,116,114,105,103,104,116,115,113,117,105,103,97,114,114,111,119,0,4,116,104,114,101,101,
116,105,109,101,115,0,2,103,0,2,113,0,3,113,0,3,115,108,97,110,116,0,2,115,
0,3,99,99,0,0,108,101,115,100,111,116,0,6,111,0,7,114,0,3,103,0,4,101,
115,0,3,115,97,112,112,114,111,120,0,4,100,111,116,0,4,101,113,103,116,114,0,0,
108,101,115,115,101,113,113,103,116,114,0,4,103,116,114,0,4,115,105,109,0,1,102,105,
115,104,116,0,2,108,111,111,114,0,2,114,0,1,103,0,2,69,0,0,108,104,97,114,
100,0,4,117,0,5,108,0,2,98,108,107,0,1,106,99,121,0,1,108,0,2,97,114,
114,0,2,99,111,114,110,101,114,0,0,108,108,104,97,114,100,0,2,116,114,105,0,1,
109,105,100,111,116,0,2,111,117,115,116,0,6,97,99,104,101,0,1,110,69,0,2,97,
112,0,4,112,114,111,120,0,0,108,110,101,0,3,113,0,4,113,0,2,115,105,109,0,
1,111,97,110,103,0,3,114,114,0,2,98,114,107,0,2,110,103,108,101,102,116,97,114,
114,111,119,0,0,108,111,110,103,108,101,102,116,114,105,103,104,116,97,114,114,111,119,0,
4,109,97,112,115,116,111,0,4,114,105,103,104,116,97,114,114,111,119,0,2,111,112,97,
114,114,111,119,108,101,102,116,0,9,114,105,103,104,116,0,2,112,97,114,0,3,102,0,
3,108,117,115,0,0,108,111,116,105,109,101,115,0,2,119,97,115,116,0,3,98,97,114,
0,2,122,0,3,101,110,103,101,0,3,102,0,1,112,97,114,0,4,108,116,0,0,108,
114,97,114,114,0,2,99,111,114,110,101,114,0,2,104,97,114,0,5,100,0,2,109,0,
2,116,114,105,0,1,115,97,113,117,111,0,2,99,114,0,0,108,115,104,0,2,105,109,
0,4,101,0,4,103,0,2,113,98,0,3,117,111,0,5,114,0,2,116,114,111,107,0,
0,108,116,0,2,99,99,0,3,105,114,0,2,100,111,116,0,2,104,114,101,101,0,2,
105,109,101,115,0,2,108,97,114,114,0,2,113,117,101,115,116,0,0,108,116,114,80,97,
114,0,3,105,0,4,101,0,4,102,0,1,117,114,100,115,104,97,114,0,3,117,104,97,
114,0,1,118,101,114,116,110,101,113,113,0,2,110,69,0,0,109,68,68,111,116,0,1,
97,99,114,0,2,108,101,0,3,116,0,4,101,115,101,0,2,112,0,3,115,116,111,0,
6,100,111,119,110,0,0,109,97,112,115,116,111,108,101,102,116,0,6,117,112,0,2,114,
107,101,114,0,1,99,111,109,109,97,0,2,121,0,1,100,97,115,104,0,1,101,97,115,
117,114,101,100,97,110,103,108,101,0,1,102,114,0,0,109,104,111,0,1,105,99,114,111,
0,2,100,0,3,97,115,116,0,3,99,105,114,0,3,100,111,116,0,2,110,117,115,0,
5,98,0,0,109,105,110,117,115,100,0,6,117,0,1,108,99,112,0,2,100,114,0,1,
110,112,108,117,115,0,1,111,100,101,108,115,0,2,112,102,0,1,112,0,0,109,115,99,
114,0,2,116,112,111,115,0,1,117,0,2,108,116,105,109,97,112,0,2,109,97,112,0,
0,110,71,103,0,2,116,0,3,118,0,0,110,76,101,102,116,97,114,114,111,119,0,5,
114,105,103,104,116,97,114,114,111,119,0,2,108,0,2,116,0,3,118,0,1,82,105,103,
104,116,97,114,114,111,119,0,1,86,68,97,115,104,0,2,100,97,115,104,0,0,110,97,
98,108,97,0,2,99,117,116,101,0,2,110,103,0,2,112,0,3,69,0,3,105,100,0,
3,111,115,0,3,112,114,111,120,0,0,110,97,116,117,114,0,5,97,108,0,7,115,0,
1,98,115,112,0,2,117,109,112,0,5,101,0,1,99,97,112,0,3,114,111,110,0,0,
110,99,101,100,105,108,0,2,111,110,103,0,5,100,111,116,0,2,117,112,0,2,121,0,
1,100,97,115,104,0,1,101,0,2,65,114,114,0,0,110,101,97,114,104,107,0,4,114,
0,5,111,119,0,2,100,111,116,0,2,113,117,105,118,0,2,115,101,97,114,0,3,105,
109,0,2,120,105,115,116,0,0,110,101,120,105,115,116,115,0,1,102,114,0,1,103,69,
0,2,101,0,3,113,0,4,113,0,4,115,108,97,110,116,0,3,115,0,0,110,103,115,
105,109,0,2,116,0,3,114,0,1,104,65,114,114,0,2,97,114,114,0,2,112,97,114,
0,1,105,0,2,115,0,0,110,105,115,100,0,2,118,0,1,106,99,121,0,1,108,65,
114,114,0,2,69,0,2,97,114,114,0,2,100,114,0,2,101,0,0,110,108,101,102,116,
97,114,114,111,119,0,5,114,105,103,104,116,97,114,114,111,119,0,3,113,0,4,113,0,
4,115,108,97,110,116,0,3,115,0,4,115,0,2,115,105,109,0,0,110,108,116,0,3,
114,105,0,5,101,0,1,109,105,100,0,1,111,112,102,0,2,116,0,3,105,110,0,5,
69,0,0,110,111,116,105,110,100,111,116,0,5,118,97,0,6,98,0,6,99,0,3,110,
105,0,5,118,97,0,6,98,0,6,99,0,0,110,112,97,114,0,4,97,108,108,101,108,
0,4,115,108,0,4,116,0,2,111,108,105,110,116,0,2,114,0,3,99,117,101,0,3,
101,0,0,110,112,114,101,99,0,5,101,113,0,1,114,65,114,114,0,2,97,114,114,0,
5,99,0,5,119,0,2,105,103,104,116,97,114,114,111,119,0,2,116,114,105,0,0,110,
114,116,114,105,101,0,1,115,99,0,3,99,117,101,0,3,101,0,3,114,0,2,104,111,
114,116,109,105,100,0,6,112,97,114,97,108,108,101,108,0,2,105,109,0,0,110,115,105,
109,101,0,5,113,0,2,109,105,100,0,2,112,97,114,0,2,113,115,117,98,101,0,5,
112,101,0,2,117,98,0,4,69,0,0,110,115,117,98,101,0,4,115,101,116,0,7,101,
113,0,9,113,0,3,99,99,0,5,101,113,0,3,112,0,4,69,0,0,110,115,117,112,
101,0,4,115,101,116,0,7,101,113,0,9,113,0,1,116,103,108,0,2,105,108,100,101,
0,2,108,103,0,2,114,105,97,110,103,108,101,108,101,102,116,0,0,110,116,114,105,97,
110,103,108,101,108,101,102,116,101,113,0,9,114,105,103,104,116,0,14,101,113,0,1,117,
0,2,109,0,3,101,114,111,0,3,115,112,0,1,118,68,97,115,104,0,0,110,118,72,
97,114,114,0,2,97,112,0,2,100,97,115,104,0,2,103,101,0,3,116,0,2,105,110,
102,105,110,0,2,108,65,114,114,0,3,101,0,0,110,118,108,116,0,4,114,105,101,0,
2,114,65,114,114,0,3,116,114,105,101,0,2,115,105,109,0,1,119,65,114,114,0,2,
97,114,104,107,0,4,114,0,0,110,119,97,114,114,111,119,0,2,110,101,97,114,0,0,
111,83,0,1,97,99,117,116,101,0,2,115,116,0,1,99,105,114,0,4,99,0,2,121,
0,0,111,100,97,115,104,0,2,98,108,97,99,0,2,105,118,0,2,111,116,0,2,115,
111,108,100,0,1,101,108,105,103,0,1,102,99,105,114,0,2,114,0,0,111,103,111,110,
0,2,114,97,118,101,0,2,116,0,1,104,98,97,114,0,2,109,0,1,105,110,116,0,
1,108,97,114,114,0,2,99,105,114,0,0,111,108,99,114,111,115,115,0,2,105,110,101,
0,2,116,0,1,109,97,99,114,0,2,101,103,97,0,2,105,99,114,111,110,0,3,100,
0,3,110,117,115,0,0,111,111,112,102,0,1,112,97,114,0,2,101,114,112,0,2,108,
117,115,0,1,114,0,2,97,114,114,0,2,100,0,3,101,114,0,0,111,114,100,101,114,
111,102,0,3,102,0,3,109,0,2,105,103,111,102,0,2,111,114,0,2,115,108,111,112,
101,0,2,118,0,1,115,99,114,0,0,111,115,108,97,115,104,0,2,111,108,0,1,116,
105,108,100,101,0,3,109,101,115,0,6,97,115,0,1,117,109,108,0,1,118,98,97,114,
0,0,112,97,114,0,0,112,97,114,97,0,4,108,108,101,108,0,3,115,105,109,0,4,
108,0,3,116,0,1,99,121,0,1,101,114,99,110,116,0,3,105,111,100,0,0,112,101,
114,109,105,108,0,3,112,0,3,116,101,110,107,0,1,102,114,0,1,104,105,0,3,118,
0,2,109,109,97,116,0,2,111,110,101,0,0,112,105,0,2,116,99,104,102,111,114,107,
0,2,118,0,1,108,97,110,99,107,0,6,104,0,4,107,118,0,2,117,115,0,4,97,
99,105,114,0,0,112,108,117,115,98,0,4,99,105,114,0,4,100,111,0,5,117,0,4,
101,0,4,109,110,0,4,115,105,109,0,4,116,119,111,0,0,112,109,0,1,111,105,110,
116,105,110,116,0,2,112,102,0,2,117,110,100,0,1,114,0,2,69,0,2,97,112,0,
2,99,117,101,0,0,112,114,101,0,3,99,0,4,97,112,112,114,111,120,0,4,99,117,
114,108,121,101,113,0,4,101,113,0,4,110,97,112,112,114,111,120,0,5,101,113,113,0,
5,115,105,109,0,0,112,114,101,99,115,105,109,0,2,105,109,101,0,5,115,0,2,110,
69,0,3,97,112,0,3,115,105,109,0,2,111,100,0,3,102,97,108,97,114,0,0,112,
114,111,102,108,105,110,101,0,4,115,117,114,102,0,3,112,0,4,116,111,0,2,115,105,
109,0,2,117,114,101,108,0,1,115,99,114,0,2,105,0,0,112,117,110,99,115,112,0,
0,113,102,114,0,1,105,110,116,0,1,111,112,102,0,1,112,114,105,109,101,0,1,115,
99,114,0,1,117,97,116,101,114,110,105,111,110,115,0,4,105,110,116,0,0,113,117,101,
115,116,0,5,101,113,0,2,111,116,0,0,114,65,97,114,114,0,2,114,114,0,2,116,
97,105,108,0,1,66,97,114,114,0,1,72,97,114,0,0,114,97,99,101,0,3,117,116,
101,0,2,100,105,99,0,2,101,109,112,116,121,118,0,2,110,103,0,4,100,0,4,101,
0,4,108,101,0,0,114,97,113,117,111,0,2,114,114,0,4,97,112,0,4,98,0,5,
102,115,0,4,99,0,4,102,115,0,4,104,107,0,0,114,97,114,114,108,112,0,4,112,
108,0,4,115,105,109,0,4,116,108,0,4,119,0,2,116,97,105,108,0,3,105,111,0,
5,110,97,108,115,0,0,114,98,97,114,114,0,2,98,114,107,0,2,114,97,99,101,0,
5,107,0,3,107,101,0,4,115,108,100,0,6,117,0,1,99,97,114,111,110,0,0,114,
99,101,100,105,108,0,3,105,108,0,2,117,98,0,2,121,0,1,100,99,97,0,2,108,
100,104,97,114,0,2,113,117,111,0,5,114,0,0,114,100,115,104,0,1,101,97,108,0,
4,105,110,101,0,4,112,97,114,116,0,4,115,0,2,99,116,0,2,103,0,1,102,105,
115,104,116,0,0,114,102,108,111,111,114,0,2,114,0,1,104,97,114,100,0,4,117,0,
5,108,0,2,111,0,3,118,0,1,105,103,104,116,97,114,114,111,119,0,0,114,105,103,
104,116,97,114,114,111,119,116,97,105,108,0,5,104,97,114,112,111,111,110,100,111,119,110,
0,12,117,112,0,5,108,101,102,116,97,114,114,111,119,115,0,9,104,97,114,112,111,111,
110,115,0,5,114,105,103,104,116,97,114,114,111,119,115,0,5,115,113,117,105,103,97,114,
114,111,119,0,5,116,104,114,101,101,116,105,109,101,115,0,0,114,105,110,103,0,2,115,
105,110,103,100,111,116,115,101,113,0,1,108,97,114,114,0,2,104,97,114,0,2,109,0,
1,109,111,117,115,116,0,6,97,99,104,101,0,1,110,109,105,100,0,0,114,111,97,110,
103,0,3,114,114,0,2,98,114,107,0,2,112,97,114,0,3,102,0,3,108,117,115,0,
2,116,105,109,101,115,0,1,112,97,114,0,0,114,112,97,114,103,116,0,2,112,111,108,
105,110,116,0,1,114,97,114,114,0,1,115,97,113,117,111,0,2,99,114,0,2,104,0,
2,113,98,0,3,117,111,0,0,114,115,113,117,111,114,0,1,116,104,114,101,101,0,2,
105,109,101,115,0,2,114,105,0,4,101,0,4,102,0,4,108,116,114,105,0,1,117,108,
117,104,97,114,0,0,114,120,0,0,115,97,99,117,116,101,0,1,98,113,117,111,0,1,
99,0,2,69,0,2,97,112,0,3,114,111,110,0,2,99,117,101,0,0,115,99,101,0,
3,100,105,108,0,2,105,114,99,0,2,110,69,0,3,97,112,0,3,115,105,109,0,2,
112,111,108,105,110,116,0,2,115,105,109,0,0,115,99,121,0,1,100,111,116,0,4,98,
0,4,101,0,1,101,65,114,114,0,2,97,114,104,107,0,4,114,0,5,111,119,0,0,
115,101,99,116,0,2,109,105,0,2,115,119,97,114,0,2,116,109,105,110,117,115,0,4,
110,0,2,120,116,0,1,102,114,0,3,111,119,110,0,0,115,104,97,114,112,0,2,99,
104,99,121,0,3,121,0,2,111,114,116,109,105,100,0,5,112,97,114,97,108,108,101,108,
0,2,121,0,1,105,103,109,97,0,5,102,0,0,115,105,103,109,97,118,0,2,109,0,
3,100,111,116,0,3,101,0,4,113,0,3,103,0,4,69,0,3,108,0,0,115,105,109,
108,69,0,3,110,101,0,3,112,108,117,115,0,3,114,97,114,114,0,1,108,97,114,114,
0,1,109,97,108,108,115,101,116,109,105,110,117,115,0,3,115,104,112,0,2,101,112,97,
114,115,108,0,0,115,109,105,100,0,3,108,101,0,2,116,0,3,101,0,4,115,0,1,
111,102,116,99,121,0,2,108,0,3,98,0,0,115,111,108,98,97,114,0,2,112,102,0,
1,112,97,100,101,115,0,6,117,105,116,0,3,114,0,1,113,99,97,112,0,5,115,0,
3,117,112,0,0,115,113,99,117,112,115,0,2,115,117,98,0,5,101,0,5,115,101,116,
0,8,101,113,0,4,112,0,5,101,0,5,115,101,116,0,0,115,113,115,117,112,115,101,
116,101,113,0,2,117,0,3,97,114,101,0,5,102,0,3,102,0,1,114,97,114,114,0,
1,115,99,114,0,2,101,116,109,110,0,0,115,115,109,105,108,101,0,2,116,97,114,102,
0,1,116,97,114,0,4,102,0,2,114,97,105,103,104,116,101,112,115,105,108,111,110,0,
8,112,104,105,0,3,110,115,0,1,117,98,0,0,115,117,98,69,0,3,100,111,116,0,
3,101,0,4,100,111,116,0,3,109,117,108,116,0,3,110,69,0,4,101,0,3,112,108,
117,115,0,0,115,117,98,114,97,114,114,0,3,115,101,116,0,6,101,113,0,8,113,0,
6,110,101,113,0,9,113,0,4,105,109,0,4,117,98,0,0,115,117,98,115,117,112,0,
2,99,99,0,4,97,112,112,114,111,120,0,4,99,117,114,108,121,101,113,0,4,101,113,
0,4,110,97,112,112,114,111,120,0,5,101,113,113,0,5,115,105,109,0,0,115,117,99,
99,115,105,109,0,2,109,0,2,110,103,0,2,112,0,3,49,0,3,50,0,3,51,0,
3,69,0,0,115,117,112,100,111,116,0,4,115,117,98,0,3,101,0,4,100,111,116,0,
3,104,115,111,108,0,5,117,98,0,3,108,97,114,114,0,3,109,117,108,116,0,0,115,
117,112,110,69,0,4,101,0,3,112,108,117,115,0,3,115,101,116,0,6,101,113,0,8,
113,0,6,110,101,113,0,9,113,0,0,115,117,112,115,105,109,0,4,117,98,0,5,112,
0,1,119,65,114,114,0,2,97,114,104,107,0,4,114,0,5,111,119,0,2,110,119,97,
114,0,0,115,122,108,105,103,0,0,116,97,114,103,101,116,0,2,117,0,1,98,114,107,
0,1,99,97,114,111,110,0,2,101,100,105,108,0,2,121,0,1,100,111,116,0,0,116,
101,108,114,101,99,0,1,102,114,0,1,104,101,114,101,52,0,5,102,111,114,101,0,3,
116,97,0,5,115,121,109,0,5,118,0,2,105,99,107,97,112,112,114,111,120,0,0,116,
104,105,99,107,115,105,109,0,3,110,115,112,0,2,107,97,112,0,3,115,105,109,0,2,
111,114,110,0,1,105,108,100,101,0,2,109,101,115,0,5,98,0,0,116,105,109,101,115,
98,97,114,0,5,100,0,2,110,116,0,1,111,101,97,0,2,112,0,3,98,111,116,0,
3,99,105,114,0,3,102,0,0,116,111,112,102,111,114,107,0,2,115,97,0,1,112,114,
105,109,101,0,1,114,97,100,101,0,2,105,97,110,103,108,101,0,8,100,111,119,110,0,
8,108,101,102,116,0,12,101,113,0,0,116,114,105,97,110,103,108,101,113,0,8,114,105,
103,104,116,0,13,101,113,0,3,100,111,116,0,3,101,0,3,109,105,110,117,115,0,3,
112,108,117,115,0,3,115,98,0,0,116,114,105,116,105,109,101,0,2,112,101,122,105,117,
109,0,1,115,99,114,0,3,121,0,2,104,99,121,0,2,116,114,111,107,0,1,119,105,
120,116,0,2,111,104,101,97,100,108,101,102,116,97,114,114,111,119,0,0,116,119,111,104,
101,97,100,114,105,103,104,116,97,114,114,111,119,0,0,117,65,114,114,0,1,72,97,114,
0,1,97,99,117,116,101,0,2,114,114,0,1,98,114,99,121,0,3,101,118,101,0,1,
99,105,114,99,0,0,117,99,121,0,1,100,97,114,114,0,2,98,108,97,99,0,2,104,
97,114,0,1,102,105,115,104,116,0,2,114,0,1,103,114,97,118,101,0,1,104,97,114,
108,0,0,117,104,97,114,114,0,2,98,108,107,0,1,108,99,111,114,110,0,6,101,114,
0,3,114,111,112,0,2,116,114,105,0,1,109,97,99,114,0,2,108,0,0,117,111,103,
111,110,0,2,112,102,0,1,112,97,114,114,111,119,0,2,100,111,119,110,97,114,114,111,
119,0,2,104,97,114,112,111,111,110,108,101,102,116,0,9,114,105,103,104,116,0,2,108,
117,115,0,2,115,105,0,0,117,112,115,105,104,0,4,108,111,110,0,2,117,112,97,114,
114,111,119,115,0,1,114,99,111,114,110,0,6,101,114,0,3,114,111,112,0,2,105,110,
103,0,2,116,114,105,0,0,117,115,99,114,0,1,116,100,111,116,0,2,105,108,100,101,
0,2,114,105,0,4,102,0,1,117,97,114,114,0,2,109,108,0,1,119,97,110,103,108,
101,0,0,118,65,114,114,0,1,66,97,114,0,4,118,0,1,68,97,115,104,0,1,97,
110,103,114,116,0,2,114,101,112,115,105,108,111,110,0,3,107,97,112,112,97,0,3,110,
111,116,104,105,110,103,0,0,118,97,114,112,104,105,0,4,105,0,4,114,111,112,116,111,
0,3,114,0,4,104,111,0,3,115,105,103,109,97,0,4,117,98,115,101,116,110,101,113,
0,12,113,0,0,118,97,114,115,117,112,115,101,116,110,101,113,0,12,113,0,3,116,104,
101,116,97,0,4,114,105,97,110,103,108,101,108,101,102,116,0,11,114,105,103,104,116,0,
1,99,121,0,1,100,97,115,104,0,1,101,101,0,0,118,101,101,98,97,114,0,3,101,
113,0,2,108,108,105,112,0,2,114,98,97,114,0,3,116,0,1,102,114,0,1,108,116,
114,105,0,1,110,115,117,98,0,0,118,110,115,117,112,0,1,111,112,102,0,1,112,114,
111,112,0,1,114,116,114,105,0,1,115,99,114,0,2,117,98,110,69,0,5,101,0,3,
112,110,69,0,0,118,115,117,112,110,101,0,1,122,105,103,122,97,103,0,0,119,99,105,
114,99,0,1,101,100,98,97,114,0,3,103,101,0,5,113,0,2,105,101,114,112,0,1,
102,114,0,0,119,111,112,102,0,1,112,0,1,114,0,2,101,97,116,104,0,1,115,99,
114,0,0,120,99,97,112,0,2,105,114,99,0,2,117,112,0,0,120,100,116,114,105,0,
1,102,114,0,1,104,65,114,114,0,2,97,114,114,0,1,105,0,1,108,65,114,114,0,
2,97,114,114,0,1,109,97,112,0,0,120,110,105,115,0,1,111,100,111,116,0,2,112,
102,0,3,108,117,115,0,2,116,105,109,101,0,1,114,65,114,114,0,2,97,114,114,0,
1,115,99,114,0,0,120,115,113,99,117,112,0,1,117,112,108,117,115,0,2,116,114,105,
0,1,118,101,101,0,1,119,101,100,103,101,0,0,121,97,99,117,116,101,0,3,121,0,
1,99,105,114,99,0,0,121,99,121,0,1,101,110,0,1,102,114,0,1,105,99,121,0,
1,111,112,102,0,1,115,99,114,0,1,117,99,121,0,2,109,108,0,0,122,97,99,117,
116,101,0,1,99,97,114,111,110,0,2,121,0,1,100,111,116,0,1,101,101,116,114,102,
0,2,116,97,0,1,102,114,0,1,104,99,121,0,0,122,105,103,114,97,114,114,0,1,
111,112,102,0,1,115,99,114,0,1,119,106,0,2,110,106,0
};
static const uint16_t groups[]={
0,45,97,149,198,258,314,403,483,529,580,650,737,834,921,978,1021,1093,1152,1222,1262,1319,1376,1443,
1492,1539,1600,1641,1684,1730,1796,1873,1949,2034,2101,2198,2246,2294,2390,2452,2530,2614,2703,2793,2861,2938,2992,3055,
3110,3164,3230,3275,3316,3381,3463,3526,3604,3666,3708,3784,3848,3904,3952,3990,4054,4105,4155,4214,4291,4351,4389,4452,
4495,4538,4581,4635,4667,4709,4742,4772,4813,4848,4893,4948,4991,5033,5080,5146,5200,5239,5270,5299,5330,5362,5397,5435,
5471,5508,5550,5596,5636,5681,5732,5768,5809,5845,5885,5928,5988,6038,6080,6126,6167,6215,6268,6336,6376,6429,6464,6499,
6537,6574,6625,6670,6713,6773,6817,6854,6887,6927,6964,6997,7035,7065,7102,7147,7200,7240,7289,7351,7397,7435,7480,7519,
7567,7606,7646,7689,7731,7772,7813,7847,7886,7927,7966,8037,8093,8135,8179,8218,8264,8308,8381,8422,8464,8496,8538,8584,
8622,8678,8715,8756,8795,8853,8890,8927,8966,9008,9044,9079,9114,9162,9194,9228,9266,9310,9356,9394,9427,9474,9524,9565,
9608,9649,9691,9731,9774,9810,9850,9894,9933,9972,10012,10048,10085,10133,10174,10216,10268,10311,10349,10382,10422,10462,10501,10540,
10580,10672,10723,10764,10808,10853,10891,10932,10967,11007,11053,11084,11140,11172,11212,11248,11291,11341,11379,11416,11468,11499,11542,11578,
11618,11662,11710,11754,11792,11842,11889,11947,12005,12050,12092,12151,12199,12242,12295,12340,12398,12441,12484,12531,12569,12610,12653,12702,
12739,12782
};
static const uint16_t refs[]={
32768,32771,32773,8,32779,14,17,32790,25,28,31,35,38,43,32815,50,55,32827,32830,65,69,73,77,80,
84,88,91,96,101,84,104,108,32879,114,117,121,125,129,32900,135,138,142,145,148,125,151,154,158,
162,166,170,174,178,182,186,190,194,198,202,206,210,214,218,223,227,121,231,235,238,241,244,248,
252,256,259,262,266,269,274,277,280,283,285,288,292,296,301,304,308,194,301,312,316,320,252,324,
328,332,336,340,344,348,352,356,360,364,368,371,375,379,383,387,391,395,399,403,312,407,412,415,
33186,33189,424,33195,430,433,436,33209,444,448,451,455,459,462,467,470,474,478,482,486,490,33261,496,500,
504,507,512,516,520,525,529,529,533,33304,538,541,544,547,550,553,556,559,564,568,573,577,581,585,
589,593,597,601,606,610,613,616,618,621,625,629,633,625,637,104,640,644,647,650,33421,33424,659,662,
665,33437,665,672,675,336,679,683,687,691,695,699,702,707,710,714,717,33488,723,726,729,734,739,744,
747,750,753,756,759,762,765,770,775,780,33551,785,788,791,795,799,803,806,809,812,816,820,824,828,
832,836,840,844,848,852,856,860,864,868,872,876,880,884,888,892,896,900,904,316,320,908,912,916,
920,924,928,932,937,941,945,948,952,956,324,328,332,960,965,969,795,973,977,980,984,988,991,995,
999,1004,1008,995,1013,1016,1019,1022,1025,1028,1031,1031,1031,1031,606,980,1035,1037,1042,1046,1049,1053,1057,1061,
1065,1069,1073,1077,1083,1087,1091,1095,1101,1107,1111,1117,1121,1127,1133,1137,1143,1147,1151,1155,1159,1165,1171,1175,
1181,1187,1191,1197,1201,1205,1209,1215,1219,1225,1229,1235,1239,1246,1250,1254,1260,1264,1270,1277,1281,1285,1289,1293,
1297,1301,34074,1309,1312,34083,34086,1321,1324,1327,34100,1335,1338,1341,1344,1349,1353,1357,1361,34134,34137,1372,34144,1379,
1383,1387,1391,1395,1399,1402,1407,1410,1413,621,1416,1420,1424,1428,1432,1436,1440,1444,182,1448,1452,1457,34228,1462,
1467,1471,1476,34248,1483,1486,1490,1494,1498,1501,1504,1507,1511,1515,1519,1507,1523,1526,1530,1534,1538,1542,1546,1550,
1554,1558,1562,1566,1570,1574,1578,1582,1586,1590,1594,1598,1602,1606,1610,336,1614,1618,1622,1626,1630,1634,1638,1641,
1644,1647,1650,1654,1657,1660,1663,1666,356,816,1530,1671,1675,1678,1682,1687,1691,1695,1699,1703,1707,1711,1715,1719,
1724,1728,1728,1732,1736,1740,1744,1748,1511,1752,1756,1760,1764,1756,34536,1771,1775,1778,1781,1783,1786,1789,1792,1795,
1800,1804,1807,1814,1818,1822,1826,1830,1834,1839,1843,1848,34619,1854,1858,1862,1865,34636,1871,1874,1877,34650,1885,1888,
1890,1894,1898,1902,1906,1910,1913,1671,1918,1922,1926,1930,1934,1938,344,348,1942,1946,1950,1953,1956,1959,1964,34735,
1970,1974,1978,1981,1985,1989,1993,1993,1997,2001,2003,2007,2011,2015,2020,2025,2030,2034,2037,2041,2046,2051,2056,2061,
2064,2069,2074,2077,2080,34851,2086,2089,2092,2097,2102,2107,2110,2113,2116,2119,2122,1031,2125,2128,2132,2136,34909,2144,
2147,2151,2157,34929,33042,2164,34935,43,2170,34943,2178,2178,2182,2185,2188,32771,2192,2196,2200,2204,2208,2212,2216,2212,
2220,2224,2228,2232,2236,2240,2244,2248,2252,2256,2260,2264,2268,47,2272,2276,2279,1830,2284,2288,2292,2296,2300,1830,
2292,35070,2305,2310,1830,227,35080,35083,210,2318,2322,2326,2330,2333,2337,2341,2345,2349,2349,1894,2353,2326,2357,2360,
80,80,2364,2330,84,2368,2371,2375,2379,687,2384,1902,2388,2392,2396,2400,2404,2408,2412,2416,1989,2037,2420,2424,
516,2428,2432,2436,2440,2444,2448,2452,2456,2460,2464,2469,2476,2480,1934,1934,2485,2489,2493,2497,2501,2505,2509,2513,
2517,2521,2525,2529,2533,2537,2541,2545,2549,2553,2557,2561,2565,2569,2573,2577,2581,2585,633,2589,2593,2597,2601,2605,
2609,2613,2617,2621,2625,2629,2633,2637,2641,2645,2649,2653,2657,2333,101,35429,2664,2669,2337,2341,2673,2675,2679,2683,
2683,104,2687,640,640,2691,2694,2698,2702,2706,2710,2714,2718,2725,613,2729,2733,35504,2739,2742,2746,2750,32913,2753,
35525,148,2760,2765,2768,2768,2772,2775,2779,2783,2786,2790,2794,1480,2798,2802,2806,2810,2786,2814,2818,2822,2826,2826,
2830,55,55,2832,2834,2836,1678,2836,202,1826,2840,198,2844,206,32879,2849,2853,2857,2861,2866,2870,2874,2878,2882,
2886,2890,2894,2898,2902,2906,2910,2914,2918,2922,2926,2930,2934,2941,2945,2894,2898,2949,2953,35725,2902,2941,2949,2953,
170,2960,2964,312,2968,2972,2976,356,2980,860,2984,280,2988,2991,292,244,2994,2998,35770,3005,3008,3012,3016,840,
1554,288,288,3021,3021,301,3025,3028,3032,35800,3035,3035,3039,3042,3046,3050,3052,277,308,3057,3061,3065,3069,73,
356,2994,840,1554,1476,3073,3077,3081,3086,3089,3093,3096,3100,2432,364,1519,3104,3108,3111,2998,3057,35883,3118,3122,
3125,35897,3132,3136,3139,500,3142,3146,3151,35923,3158,3162,3166,3170,3174,3178,3182,3186,3189,3189,3189,3193,3197,3201,
3205,3208,3212,3215,3220,3224,3228,3232,3232,3235,3125,3132,474,3158,3178,3238,3240,190,3244,3248,3252,3256,3260,308,
474,3264,36035,36038,3273,3277,496,482,500,3142,3279,3282,3286,3290,3294,3298,3303,3307,3310,3314,3318,3322,3325,525,
3330,3334,3338,36110,3345,36117,3352,3356,3360,3364,3368,36140,3375,3379,3383,3387,3391,3395,3399,3403,3407,581,3412,3416,
3419,3025,3422,3426,3429,3432,3435,573,577,573,581,593,593,3438,3442,3446,3450,3454,3461,3465,606,564,3470,3474,
589,3477,3481,3485,3489,3493,3493,3497,3497,3489,3501,3505,283,3510,597,3514,3518,33304,3522,3526,3530,3534,3538,3422,
3542,3530,577,3412,589,597,3546,3546,320,2011,3342,625,3553,852,3556,3560,3564,3568,3571,3571,3575,3579,3583,3588,
3592,3596,3600,3604,3608,3612,3617,3621,3564,3626,3629,2980,36401,691,36404,3639,3642,36413,320,3648,36421,675,3656,3660,
3664,3668,3672,3675,665,710,665,3678,3681,3685,444,3688,3692,3696,3678,683,3700,2132,3700,3704,3708,3712,3715,3718,
3723,3708,36494,3729,444,3734,3738,3742,3746,444,695,3750,3753,36524,3759,3762,3765,3770,3773,3778,3783,3786,3789,3792,
3795,3798,3801,3806,3809,3812,3815,3820,941,316,3825,3829,912,3833,3837,3841,3844,795,3848,812,3851,812,3855,36627,
816,820,3862,3866,3604,3870,3874,3878,3882,3886,3890,3894,3898,3905,3909,3913,3915,3917,3921,3925,3929,3932,828,3913,
3935,3938,1349,2360,3942,3946,3950,3954,816,3882,379,900,3958,852,824,1515,3560,3962,908,3954,912,924,924,3966,
3970,3974,3978,3982,3989,3855,3993,908,3833,916,928,3997,848,4001,916,4006,379,900,4010,4014,4018,980,3958,3042,
4021,4025,4029,4032,4032,4036,4040,4040,4044,4044,4036,4048,4052,4056,832,948,952,4060,956,3870,4064,4068,4072,4077,
4081,4085,1888,4089,4089,2424,4093,4095,824,3073,1515,4099,4103,4107,4111,4115,973,928,4120,4124,3915,1353,4128,4132,
33551,4135,4139,3993,3962,4143,4147,4151,4155,4159,880,2436,4163,4167,4171,4171,4178,36950,4185,4189,4189,1570,1570,403,
864,1938,4193,4197,4201,4204,2220,4208,4213,36985,1997,2310,4220,32916,4224,2605,3061,4228,4232,3575,1004,4236,4240,1004,
4245,2147,4250,4253,4253,4257,4263,1101,4270,4274,4278,4284,1159,4291,4295,4299,262,4303,4306,1293,4313,4319,4325,1293,
4328,4328,1049,33814,1121,1127,4332,4336,4339,1289,4342,4348,4352,4355,1073,4359,4363,1946,1946,4367,1057,4373,1077,1083,
1083,4377,1095,1091,1091,1095,1111,1111,1117,1087,1087,4274,4382,4386,1511,4390,4394,1511,4398,4270,4401,4407,4411,1151,
4407,4382,1151,4401,1165,1165,1147,1171,1147,1133,1143,1297,4415,37188,1069,4423,4429,1069,4435,4439,1201,1201,4443,4447,
1065,1065,4451,4458,4464,1187,1197,1191,1187,1191,4291,4468,4472,4478,4468,1205,1215,1250,1260,1254,4484,1297,1065,1281,
1285,1285,1297,1065,1225,1235,4489,4493,1246,1239,1246,4493,1250,1254,4499,4503,1277,1270,1277,4503,1107,37277,1155,1133,
1143,1205,1215,4512,4515,4517,4521,4525,4529,4533,4540,4544,4551,4556,4560,4564,4571,4576,4583,4587,4594,4601,4605,1942,
1942,4609,2798,37381,2802,2806,37384,4619,2810,4622,4625,154,4629,4633,4636,4640,4645,37416,4651,4655,1338,198,2790,4659,
4663,1379,4667,4671,4674,4677,4680,158,4684,4689,4693,162,4697,2794,4701,4705,4705,37477,37480,4715,4719,4723,4727,4705,
37499,4734,37506,166,4741,37513,4748,352,37520,352,4755,4759,1395,4763,4766,4768,4770,1934,4774,4778,4783,4786,995,4789,
4793,3330,4796,3564,4799,3564,4803,4805,2609,4809,3065,4813,4817,34181,4821,4825,1413,4829,4833,37606,1424,4841,4845,1432,
1428,1424,4845,1432,1428,4849,4853,4857,1436,4861,1416,4853,4849,4857,1444,4865,4869,4873,1448,1448,1436,4877,4881,4886,
4889,4893,3656,4898,4903,4907,629,4912,4916,3240,34228,1622,336,4918,2984,4922,4926,4932,1687,4935,1526,4939,4943,1526,
37715,1530,4950,1534,4954,4958,4962,3608,4064,4966,4970,4974,4978,4982,4986,1467,2420,4990,4994,4996,4998,5002,5006,5010,
5013,1542,4994,5016,5019,5023,174,174,5027,1507,1626,1507,1614,5031,34248,5035,1562,5039,391,1606,5044,5048,5051,1530,
4974,391,1606,1538,478,5054,4978,5058,5062,3252,1538,478,5065,5069,5069,5073,5077,5081,1546,5085,5089,5094,5098,5102,
5104,5108,5054,5112,5116,1630,4996,178,178,5058,5121,5125,1586,2440,5129,5133,5137,5141,4128,1736,5144,5148,5152,1744,
1740,5155,5158,5161,5165,5169,5173,1748,5177,5180,3069,5184,5188,3588,969,969,37960,5195,5197,65,65,5201,5205,3403,
5210,5214,5217,1997,352,37988,5223,5226,5226,1818,5229,1822,1822,5233,5237,5241,5245,5249,5253,5257,816,65,5261,5265,
1997,5269,5273,5277,5281,5288,5291,5293,5297,5301,5306,5306,352,1695,5310,1715,5317,1699,1703,1699,1703,1707,1711,1707,
1711,1691,1691,516,516,1530,5324,65,5269,1724,5329,2404,3235,4786,4182,5333,5337,5341,1732,5345,5349,5353,5357,5361,
5365,5333,1732,5337,5357,5353,5369,5373,5377,1736,5148,1744,1740,5165,5161,5169,1748,1752,5381,1760,38153,38156,38159,5394,
5398,5402,1764,5406,5410,5414,5418,5422,5426,5430,5434,1760,1764,5394,5430,5426,5438,5442,5446,5450,3592,965,965,5454,
38226,5461,5465,1387,5468,5471,5474,1839,5477,5481,1800,1800,5486,5489,5489,1830,1818,1814,1830,1818,38260,285,38263,2613,
5498,5502,3660,4373,399,5506,5510,5514,5519,5197,5523,1771,5527,3100,4159,880,5531,5125,1586,5535,5531,5539,5543,5547,
5551,5555,5559,5564,5567,5570,2375,799,1490,344,5573,38345,1671,5580,5583,38354,5589,1922,5592,1930,5595,5599,38372,892,
1598,5607,5611,5611,5615,5619,5623,33069,5626,5629,1671,1926,892,1598,1906,5634,1950,5634,5637,5641,5641,5645,5649,5652,
5656,5661,5665,5527,2428,5637,38436,5671,348,5675,5679,340,5683,3235,3792,3189,4786,4796,1448,1926,5051,5226,5687,5694,
5701,5708,5489,872,1578,5715,1566,4697,5718,5722,5726,2001,2001,5730,872,1239,1270,5735,1448,1578,5740,5694,5687,5708,
5701,5745,5749,5752,2192,5756,5760,5764,5769,5760,2007,2007,5774,687,2384,1902,2408,5779,328,952,5784,324,948,4060,
5787,2388,5791,2392,2396,332,956,5796,2400,2416,2412,1989,2037,38569,5804,5807,5810,38581,5816,5821,5824,5829,5834,38605,
5840,5843,5846,5849,2128,5852,5855,5860,5863,5867,5872,5877,5881
};
static const unsigned char values[]={
195,134,0,38,0,195,129,0,196,130,0,195,130,0,208,144,0,240,157,148,132,0,195,128,
0,206,145,0,196,128,0,226,169,147,0,196,132,0,240,157,148,184,0,226,129,161,0,195,
133,0,240,157,146,156,0,226,137,148,0,195,131,0,195,132,0,226,136,150,0,226,171,167,
0,226,140,134,0,208,145,0,226,136,181,0,226,132,172,0,206,146,0,240,157,148,133,0,
240,157,148,185,0,203,152,0,226,137,142,0,208,167,0,194,169,0,196,134,0,226,139,146,
0,226,133,133,0,226,132,173,0,196,140,0,195,135,0,196,136,0,226,136,176,0,196,138,
0,194,184,0,194,183,0,206,167,0,226,138,153,0,226,138,150,0,226,138,149,0,226,138,
151,0,226,136,178,0,226,128,157,0,226,128,153,0,226,136,183,0,226,169,180,0,226,137,
161,0,226,136,175,0,226,136,174,0,226,132,130,0,226,136,144,0,226,136,179,0,226,168,
175,0,240,157,146,158,0,226,139,147,0,226,137,141,0,226,164,145,0,208,130,0,208,133,
0,208,143,0,226,128,161,0,226,134,161,0,226,171,164,0,196,142,0,208,148,0,226,136,
135,0,206,148,0,240,157,148,135,0,194,180,0,203,153,0,203,157,0,96,0,203,156,0,
226,139,132,0,226,133,134,0,240,157,148,187,0,194,168,0,226,131,156,0,226,137,144,0,
226,135,147,0,226,135,144,0,226,135,148,0,226,159,184,0,226,159,186,0,226,159,185,0,
226,135,146,0,226,138,168,0,226,135,145,0,226,135,149,0,226,136,165,0,226,134,147,0,
226,164,147,0,226,135,181,0,204,145,0,226,165,144,0,226,165,158,0,226,134,189,0,226,
165,150,0,226,165,159,0,226,135,129,0,226,165,151,0,226,138,164,0,226,134,167,0,240,
157,146,159,0,196,144,0,197,138,0,195,144,0,195,137,0,196,154,0,195,138,0,208,173,
0,196,150,0,240,157,148,136,0,195,136,0,226,136,136,0,196,146,0,226,151,187,0,226,
150,171,0,196,152,0,240,157,148,188,0,206,149,0,226,169,181,0,226,137,130,0,226,135,
140,0,226,132,176,0,226,169,179,0,206,151,0,195,139,0,226,136,131,0,226,133,135,0,
208,164,0,240,157,148,137,0,226,151,188,0,226,150,170,0,240,157,148,189,0,226,136,128,
0,226,132,177,0,208,131,0,62,0,206,147,0,207,156,0,196,158,0,196,162,0,196,156,
0,208,147,0,196,160,0,240,157,148,138,0,226,139,153,0,240,157,148,190,0,226,137,165,
0,226,139,155,0,226,137,167,0,226,170,162,0,226,137,183,0,226,169,190,0,226,137,179,
0,240,157,146,162,0,226,137,171,0,208,170,0,203,135,0,94,0,196,164,0,226,132,140,
0,226,132,139,0,226,132,141,0,226,148,128,0,196,166,0,226,137,143,0,208,149,0,196,
178,0,208,129,0,195,141,0,195,142,0,208,152,0,196,176,0,226,132,145,0,195,140,0,
196,170,0,226,133,136,0,226,136,172,0,226,136,171,0,226,139,130,0,226,129,163,0,226,
129,162,0,196,174,0,240,157,149,128,0,206,153,0,226,132,144,0,196,168,0,208,134,0,
195,143,0,196,180,0,208,153,0,240,157,148,141,0,240,157,149,129,0,240,157,146,165,0,
208,136,0,208,132,0,208,165,0,208,140,0,206,154,0,196,182,0,208,154,0,240,157,148,
142,0,240,157,149,130,0,240,157,146,166,0,208,137,0,60,0,196,185,0,206,155,0,226,
159,170,0,226,132,146,0,226,134,158,0,196,189,0,196,187,0,208,155,0,226,159,168,0,
226,134,144,0,226,135,164,0,226,135,134,0,226,140,136,0,226,159,166,0,226,165,161,0,
226,135,131,0,226,165,153,0,226,140,138,0,226,134,148,0,226,165,142,0,226,138,163,0,
226,134,164,0,226,165,154,0,226,138,178,0,226,167,143,0,226,138,180,0,226,165,145,0,
226,165,160,0,226,134,191,0,226,165,152,0,226,134,188,0,226,165,146,0,226,139,154,0,
226,137,166,0,226,137,182,0,226,170,161,0,226,169,189,0,226,137,178,0,240,157,148,143,
0,226,139,152,0,226,135,154,0,196,191,0,226,159,181,0,226,159,183,0,226,159,182,0,
240,157,149,131,0,226,134,153,0,226,134,152,0,226,134,176,0,197,129,0,226,137,170,0,
226,164,133,0,208,156,0,226,129,159,0,226,132,179,0,240,157,148,144,0,226,136,147,0,
240,157,149,132,0,206,156,0,208,138,0,197,131,0,197,135,0,197,133,0,208,157,0,226,
128,139,0,10,0,240,157,148,145,0,226,129,160,0,194,160,0,226,132,149,0,226,171,172,
0,226,137,162,0,226,137,173,0,226,136,166,0,226,136,137,0,226,137,160,0,226,137,130,
204,184,0,226,136,132,0,226,137,175,0,226,137,177,0,226,137,167,204,184,0,226,137,171,
204,184,0,226,137,185,0,226,169,190,204,184,0,226,137,181,0,226,137,142,204,184,0,226,
137,143,204,184,0,226,139,170,0,226,167,143,204,184,0,226,139,172,0,226,137,174,0,226,
137,176,0,226,137,184,0,226,137,170,204,184,0,226,169,189,204,184,0,226,137,180,0,226,
170,162,204,184,0,226,170,161,204,184,0,226,138,128,0,226,170,175,204,184,0,226,139,160,
0,226,136,140,0,226,139,171,0,226,167,144,204,184,0,226,139,173,0,226,138,143,204,184,
0,226,139,162,0,226,138,144,204,184,0,226,139,163,0,226,138,130,226,131,146,0,226,138,
136,0,226,138,129,0,226,170,176,204,184,0,226,139,161,0,226,137,191,204,184,0,226,138,
131,226,131,146,0,226,138,137,0,226,137,129,0,226,137,132,0,226,137,135,0,226,137,137,
0,226,136,164,0,240,157,146,169,0,195,145,0,206,157,0,197,146,0,195,147,0,195,148,
0,208,158,0,197,144,0,240,157,148,146,0,195,146,0,197,140,0,206,169,0,206,159,0,
240,157,149,134,0,226,128,156,0,226,128,152,0,226,169,148,0,240,157,146,170,0,195,152,
0,195,149,0,226,168,183,0,195,150,0,226,128,190,0,226,143,158,0,226,142,180,0,226,
143,156,0,226,136,130,0,208,159,0,240,157,148,147,0,206,166,0,206,160,0,194,177,0,
226,132,153,0,226,170,187,0,226,137,186,0,226,170,175,0,226,137,188,0,226,137,190,0,
226,128,179,0,226,136,143,0,226,136,157,0,240,157,146,171,0,206,168,0,34,0,240,157,
148,148,0,226,132,154,0,240,157,146,172,0,226,164,144,0,194,174,0,197,148,0,226,159,
171,0,226,134,160,0,226,164,150,0,197,152,0,197,150,0,208,160,0,226,132,156,0,226,
136,139,0,226,135,139,0,226,165,175,0,206,161,0,226,159,169,0,226,134,146,0,226,135,
165,0,226,135,132,0,226,140,137,0,226,159,167,0,226,165,157,0,226,135,130,0,226,165,
149,0,226,140,139,0,226,138,162,0,226,134,166,0,226,165,155,0,226,138,179,0,226,167,
144,0,226,138,181,0,226,165,143,0,226,165,156,0,226,134,190,0,226,165,148,0,226,135,
128,0,226,165,147,0,226,132,157,0,226,165,176,0,226,135,155,0,226,132,155,0,226,134,
177,0,226,167,180,0,208,169,0,208,168,0,208,172,0,197,154,0,226,170,188,0,197,160,
0,197,158,0,197,156,0,208,161,0,240,157,148,150,0,226,134,145,0,206,163,0,226,136,
152,0,240,157,149,138,0,226,136,154,0,226,150,161,0,226,138,147,0,226,138,143,0,226,
138,145,0,226,138,144,0,226,138,146,0,226,138,148,0,240,157,146,174,0,226,139,134,0,
226,139,144,0,226,138,134,0,226,137,187,0,226,170,176,0,226,137,189,0,226,137,191,0,
226,136,145,0,226,139,145,0,226,138,131,0,226,138,135,0,195,158,0,226,132,162,0,208,
139,0,208,166,0,9,0,206,164,0,197,164,0,197,162,0,208,162,0,240,157,148,151,0,
226,136,180,0,206,152,0,226,129,159,226,128,138,0,226,128,137,0,226,136,188,0,226,137,
131,0,226,137,133,0,226,137,136,0,240,157,149,139,0,226,131,155,0,240,157,146,175,0,
197,166,0,195,154,0,226,134,159,0,226,165,137,0,208,142,0,197,172,0,195,155,0,208,
163,0,197,176,0,240,157,148,152,0,195,153,0,197,170,0,95,0,226,143,159,0,226,142,
181,0,226,143,157,0,226,139,131,0,226,138,142,0,197,178,0,240,157,149,140,0,226,164,
146,0,226,135,133,0,226,134,149,0,226,165,174,0,226,138,165,0,226,134,165,0,226,134,
150,0,226,134,151,0,207,146,0,206,165,0,197,174,0,240,157,146,176,0,197,168,0,195,
156,0,226,138,171,0,226,171,171,0,208,146,0,226,138,169,0,226,171,166,0,226,139,129,
0,226,128,150,0,226,136,163,0,124,0,226,157,152,0,226,137,128,0,226,128,138,0,240,
157,148,153,0,240,157,149,141,0,240,157,146,177,0,226,138,170,0,197,180,0,226,139,128,
0,240,157,148,154,0,240,157,149,142,0,240,157,146,178,0,240,157,148,155,0,206,158,0,
240,157,149,143,0,240,157,146,179,0,208,175,0,208,135,0,208,174,0,195,157,0,197,182,
0,208,171,0,240,157,148,156,0,240,157,149,144,0,240,157,146,180,0,197,184,0,208,150,
0,197,185,0,197,189,0,208,151,0,197,187,0,206,150,0,226,132,168,0,226,132,164,0,
240,157,146,181,0,195,161,0,196,131,0,226,136,190,0,226,136,190,204,179,0,226,136,191,
0,195,162,0,208,176,0,195,166,0,240,157,148,158,0,195,160,0,226,132,181,0,206,177,
0,196,129,0,226,168,191,0,226,136,167,0,226,169,149,0,226,169,156,0,226,169,152,0,
226,169,154,0,226,136,160,0,226,166,164,0,226,136,161,0,226,166,168,0,226,166,169,0,
226,166,170,0,226,166,171,0,226,166,172,0,226,166,173,0,226,166,174,0,226,166,175,0,
226,136,159,0,226,138,190,0,226,166,157,0,226,136,162,0,226,141,188,0,196,133,0,240,
157,149,146,0,226,169,176,0,226,169,175,0,226,137,138,0,226,137,139,0,39,0,195,165,
0,240,157,146,182,0,42,0,195,163,0,195,164,0,226,168,145,0,226,171,173,0,226,137,
140,0,207,182,0,226,128,181,0,226,136,189,0,226,139,141,0,226,138,189,0,226,140,133,
0,226,142,182,0,208,177,0,226,128,158,0,226,166,176,0,206,178,0,226,132,182,0,226,
137,172,0,240,157,148,159,0,226,151,175,0,226,168,128,0,226,168,129,0,226,168,130,0,
226,168,134,0,226,152,133,0,226,150,189,0,226,150,179,0,226,168,132,0,226,164,141,0,
226,167,171,0,226,150,180,0,226,150,190,0,226,151,130,0,226,150,184,0,226,144,163,0,
226,150,146,0,226,150,145,0,226,150,147,0,226,150,136,0,61,226,131,165,0,226,137,161,
226,131,165,0,226,140,144,0,240,157,149,147,0,226,139,136,0,226,149,151,0,226,149,148,
0,226,149,150,0,226,149,147,0,226,149,144,0,226,149,166,0,226,149,169,0,226,149,164,
0,226,149,167,0,226,149,157,0,226,149,154,0,226,149,156,0,226,149,153,0,226,149,145,
0,226,149,172,0,226,149,163,0,226,149,160,0,226,149,171,0,226,149,162,0,226,149,159,
0,226,167,137,0,226,149,149,0,226,149,146,0,226,148,144,0,226,148,140,0,226,149,165,
0,226,149,168,0,226,148,172,0,226,148,180,0,226,138,159,0,226,138,158,0,226,138,160,
0,226,149,155,0,226,149,152,0,226,148,152,0,226,148,148,0,226,148,130,0,226,149,170,
0,226,149,161,0,226,149,158,0,226,148,188,0,226,148,164,0,226,148,156,0,194,166,0,
240,157,146,183,0,226,129,143,0,92,0,226,167,133,0,226,159,136,0,226,128,162,0,226,
170,174,0,196,135,0,226,136,169,0,226,169,132,0,226,169,137,0,226,169,139,0,226,169,
135,0,226,169,128,0,226,136,169,239,184,128,0,226,129,129,0,226,169,141,0,196,141,0,
195,167,0,196,137,0,226,169,140,0,226,169,144,0,196,139,0,226,166,178,0,194,162,0,
240,157,148,160,0,209,135,0,226,156,147,0,207,135,0,226,151,139,0,226,167,131,0,203,
134,0,226,137,151,0,226,134,186,0,226,134,187,0,226,147,136,0,226,138,155,0,226,138,
154,0,226,138,157,0,226,168,144,0,226,171,175,0,226,167,130,0,226,153,163,0,58,0,
44,0,64,0,226,136,129,0,226,169,173,0,240,157,149,148,0,226,132,151,0,226,134,181,
0,226,156,151,0,240,157,146,184,0,226,171,143,0,226,171,145,0,226,171,144,0,226,171,
146,0,226,139,175,0,226,164,184,0,226,164,181,0,226,139,158,0,226,139,159,0,226,134,
182,0,226,164,189,0,226,136,170,0,226,169,136,0,226,169,134,0,226,169,138,0,226,138,
141,0,226,169,133,0,226,136,170,239,184,128,0,226,134,183,0,226,164,188,0,226,139,142,
0,226,139,143,0,194,164,0,226,136,177,0,226,140,173,0,226,165,165,0,226,128,160,0,
226,132,184,0,226,128,144,0,226,164,143,0,196,143,0,208,180,0,226,135,138,0,226,169,
183,0,194,176,0,206,180,0,226,166,177,0,226,165,191,0,240,157,148,161,0,226,153,166,
0,207,157,0,226,139,178,0,195,183,0,226,139,135,0,209,146,0,226,140,158,0,226,140,
141,0,36,0,240,157,149,149,0,226,137,145,0,226,136,184,0,226,136,148,0,226,138,161,
0,226,140,159,0,226,140,140,0,240,157,146,185,0,209,149,0,226,167,182,0,196,145,0,
226,139,177,0,226,150,191,0,226,166,166,0,209,159,0,226,159,191,0,195,169,0,226,169,
174,0,196,155,0,226,137,150,0,195,170,0,226,137,149,0,209,141,0,196,151,0,226,137,
146,0,240,157,148,162,0,226,170,154,0,195,168,0,226,170,150,0,226,170,152,0,226,170,
153,0,226,143,167,0,226,132,147,0,226,170,149,0,226,170,151,0,196,147,0,226,136,133,
0,226,128,131,0,226,128,132,0,226,128,133,0,197,139,0,226,128,130,0,196,153,0,240,
157,149,150,0,226,139,149,0,226,167,163,0,226,169,177,0,206,181,0,207,181,0,61,0,
226,137,159,0,226,169,184,0,226,167,165,0,226,137,147,0,226,165,177,0,226,132,175,0,
206,183,0,195,176,0,195,171,0,226,130,172,0,33,0,209,132,0,226,153,128,0,239,172,
131,0,239,172,128,0,239,172,132,0,240,157,148,163,0,239,172,129,0,102,106,0,226,153,
173,0,239,172,130,0,226,150,177,0,198,146,0,240,157,149,151,0,226,139,148,0,226,171,
153,0,226,168,141,0,194,189,0,226,133,147,0,194,188,0,226,133,149,0,226,133,153,0,
226,133,155,0,226,133,148,0,226,133,150,0,194,190,0,226,133,151,0,226,133,156,0,226,
133,152,0,226,133,154,0,226,133,157,0,226,133,158,0,226,129,132,0,226,140,162,0,240,
157,146,187,0,226,170,140,0,199,181,0,206,179,0,226,170,134,0,196,159,0,196,157,0,
208,179,0,196,161,0,226,170,169,0,226,170,128,0,226,170,130,0,226,170,132,0,226,139,
155,239,184,128,0,226,170,148,0,240,157,148,164,0,226,132,183,0,209,147,0,226,170,146,
0,226,170,165,0,226,170,164,0,226,137,169,0,226,170,138,0,226,170,136,0,226,139,167,
0,240,157,149,152,0,226,132,138,0,226,170,142,0,226,170,144,0,226,170,167,0,226,169,
186,0,226,139,151,0,226,166,149,0,226,169,188,0,226,165,184,0,226,137,169,239,184,128,
0,209,138,0,226,165,136,0,226,134,173,0,226,132,143,0,196,165,0,226,153,165,0,226,
128,166,0,226,138,185,0,240,157,148,165,0,226,164,165,0,226,164,166,0,226,135,191,0,
226,136,187,0,226,134,169,0,226,134,170,0,240,157,149,153,0,226,128,149,0,240,157,146,
189,0,196,167,0,226,129,131,0,195,173,0,195,174,0,208,184,0,208,181,0,194,161,0,
240,157,148,166,0,195,172,0,226,168,140,0,226,136,173,0,226,167,156,0,226,132,169,0,
196,179,0,196,171,0,196,177,0,226,138,183,0,198,181,0,226,132,133,0,226,136,158,0,
226,167,157,0,226,138,186,0,226,168,151,0,226,168,188,0,209,145,0,196,175,0,240,157,
149,154,0,206,185,0,194,191,0,240,157,146,190,0,226,139,185,0,226,139,181,0,226,139,
180,0,226,139,179,0,196,169,0,209,150,0,195,175,0,196,181,0,208,185,0,240,157,148,
167,0,200,183,0,240,157,149,155,0,240,157,146,191,0,209,152,0,209,148,0,206,186,0,
207,176,0,196,183,0,208,186,0,240,157,148,168,0,196,184,0,209,133,0,209,156,0,240,
157,149,156,0,240,157,147,128,0,226,164,155,0,226,164,142,0,226,170,139,0,226,165,162,
0,196,186,0,226,166,180,0,206,187,0,226,166,145,0,226,170,133,0,194,171,0,226,164,
159,0,226,164,157,0,226,134,171,0,226,164,185,0,226,165,179,0,226,134,162,0,226,170,
171,0,226,164,153,0,226,170,173,0,226,170,173,239,184,128,0,226,164,140,0,226,157,178,
0,123,0,91,0,226,166,139,0,226,166,143,0,226,166,141,0,196,190,0,196,188,0,208,
187,0,226,164,182,0,226,165,167,0,226,165,139,0,226,134,178,0,226,137,164,0,226,135,
135,0,226,139,139,0,226,170,168,0,226,169,191,0,226,170,129,0,226,170,131,0,226,139,
154,239,184,128,0,226,170,147,0,226,139,150,0,226,165,188,0,240,157,148,169,0,226,170,
145,0,226,165,170,0,226,150,132,0,209,153,0,226,165,171,0,226,151,186,0,197,128,0,
226,142,176,0,226,137,168,0,226,170,137,0,226,170,135,0,226,139,166,0,226,159,172,0,
226,135,189,0,226,159,188,0,226,134,172,0,226,166,133,0,240,157,149,157,0,226,168,173,
0,226,168,180,0,226,136,151,0,226,151,138,0,40,0,226,166,147,0,226,165,173,0,226,
128,142,0,226,138,191,0,226,128,185,0,240,157,147,129,0,226,170,141,0,226,170,143,0,
226,128,154,0,197,130,0,226,170,166,0,226,169,185,0,226,139,137,0,226,165,182,0,226,
169,187,0,226,166,150,0,226,151,131,0,226,165,138,0,226,165,166,0,226,137,168,239,184,
128,0,226,136,186,0,194,175,0,226,153,130,0,226,156,160,0,226,150,174,0,226,168,169,
0,208,188,0,226,128,148,0,240,157,148,170,0,226,132,167,0,194,181,0,226,171,176,0,
226,136,146,0,226,168,170,0,226,171,155,0,226,138,167,0,240,157,149,158,0,240,157,147,
130,0,206,188,0,226,138,184,0,226,139,153,204,184,0,226,137,171,226,131,146,0,226,135,
141,0,226,135,142,0,226,139,152,204,184,0,226,137,170,226,131,146,0,226,135,143,0,226,
138,175,0,226,138,174,0,197,132,0,226,136,160,226,131,146,0,226,169,176,204,184,0,226,
137,139,204,184,0,197,137,0,226,153,174,0,226,169,131,0,197,136,0,197,134,0,226,169,
173,204,184,0,226,169,130,0,208,189,0,226,128,147,0,226,135,151,0,226,164,164,0,226,
137,144,204,184,0,226,164,168,0,240,157,148,171,0,226,134,174,0,226,171,178,0,226,139,
188,0,226,139,186,0,209,154,0,226,137,166,204,184,0,226,134,154,0,226,128,165,0,240,
157,149,159,0,194,172,0,226,139,185,204,184,0,226,139,181,204,184,0,226,139,183,0,226,
139,182,0,226,139,190,0,226,139,189,0,226,171,189,226,131,165,0,226,136,130,204,184,0,
226,168,148,0,226,134,155,0,226,164,179,204,184,0,226,134,157,204,184,0,240,157,147,131,
0,226,138,132,0,226,171,133,204,184,0,226,138,133,0,226,171,134,204,184,0,195,177,0,
206,189,0,35,0,226,132,150,0,226,128,135,0,226,138,173,0,226,164,132,0,226,137,141,
226,131,146,0,226,138,172,0,226,137,165,226,131,146,0,62,226,131,146,0,226,167,158,0,
226,164,130,0,226,137,164,226,131,146,0,60,226,131,146,0,226,138,180,226,131,146,0,226,
164,131,0,226,138,181,226,131,146,0,226,136,188,226,131,146,0,226,135,150,0,226,164,163,
0,226,164,167,0,195,179,0,195,180,0,208,190,0,197,145,0,226,168,184,0,226,166,188,
0,197,147,0,226,166,191,0,240,157,148,172,0,203,155,0,195,178,0,226,167,129,0,226,
166,181,0,226,166,190,0,226,166,187,0,226,167,128,0,197,141,0,207,137,0,206,191,0,
226,166,182,0,240,157,149,160,0,226,166,183,0,226,166,185,0,226,136,168,0,226,169,157,
0,226,132,180,0,194,170,0,194,186,0,226,138,182,0,226,169,150,0,226,169,151,0,226,
169,155,0,195,184,0,226,138,152,0,195,181,0,226,168,182,0,195,182,0,226,140,189,0,
194,182,0,226,171,179,0,226,171,189,0,208,191,0,37,0,46,0,226,128,176,0,226,128,
177,0,240,157,148,173,0,207,134,0,207,149,0,226,152,142,0,207,128,0,207,150,0,226,
132,142,0,43,0,226,168,163,0,226,168,162,0,226,168,165,0,226,169,178,0,226,168,166,
0,226,168,167,0,226,168,149,0,240,157,149,161,0,194,163,0,226,170,179,0,226,170,183,
0,226,170,185,0,226,170,181,0,226,139,168,0,226,128,178,0,226,140,174,0,226,140,146,
0,226,140,147,0,226,138,176,0,240,157,147,133,0,207,136,0,226,128,136,0,240,157,148,
174,0,240,157,149,162,0,226,129,151,0,240,157,147,134,0,226,168,150,0,63,0,226,164,
156,0,226,165,164,0,226,136,189,204,177,0,197,149,0,226,166,179,0,226,166,146,0,226,
166,165,0,194,187,0,226,165,181,0,226,164,160,0,226,164,179,0,226,164,158,0,226,165,
133,0,226,165,180,0,226,134,163,0,226,134,157,0,226,164,154,0,226,136,182,0,226,157,
179,0,125,0,93,0,226,166,140,0,226,166,142,0,226,166,144,0,197,153,0,197,151,0,
209,128,0,226,164,183,0,226,165,169,0,226,134,179,0,226,150,173,0,226,165,189,0,240,
157,148,175,0,226,165,172,0,207,129,0,207,177,0,226,135,137,0,226,139,140,0,203,154,
0,226,128,143,0,226,142,177,0,226,171,174,0,226,159,173,0,226,135,190,0,226,166,134,
0,240,157,149,163,0,226,168,174,0,226,168,181,0,41,0,226,166,148,0,226,168,146,0,
226,128,186,0,240,157,147,135,0,226,139,138,0,226,150,185,0,226,167,142,0,226,165,168,
0,226,132,158,0,197,155,0,226,170,180,0,226,170,184,0,197,161,0,197,159,0,197,157,
0,226,170,182,0,226,170,186,0,226,139,169,0,226,168,147,0,209,129,0,226,139,133,0,
226,169,166,0,226,135,152,0,194,167,0,59,0,226,164,169,0,226,156,182,0,240,157,148,
176,0,226,153,175,0,209,137,0,209,136,0,194,173,0,207,131,0,207,130,0,226,169,170,
0,226,170,158,0,226,170,160,0,226,170,157,0,226,170,159,0,226,137,134,0,226,168,164,
0,226,165,178,0,226,168,179,0,226,167,164,0,226,140,163,0,226,170,170,0,226,170,172,
0,226,170,172,239,184,128,0,209,140,0,47,0,226,167,132,0,226,140,191,0,240,157,149,
164,0,226,153,160,0,226,138,147,239,184,128,0,226,138,148,239,184,128,0,240,157,147,136,
0,226,152,134,0,226,138,130,0,226,171,133,0,226,170,189,0,226,171,131,0,226,171,129,
0,226,171,139,0,226,138,138,0,226,170,191,0,226,165,185,0,226,171,135,0,226,171,149,
0,226,171,147,0,226,153,170,0,194,185,0,194,178,0,194,179,0,226,171,134,0,226,170,
190,0,226,171,152,0,226,171,132,0,226,159,137,0,226,171,151,0,226,165,187,0,226,171,
130,0,226,171,140,0,226,138,139,0,226,171,128,0,226,171,136,0,226,171,148,0,226,171,
150,0,226,135,153,0,226,164,170,0,195,159,0,226,140,150,0,207,132,0,197,165,0,197,
163,0,209,130,0,226,140,149,0,240,157,148,177,0,206,184,0,207,145,0,195,190,0,195,
151,0,226,168,177,0,226,168,176,0,226,140,182,0,226,171,177,0,240,157,149,165,0,226,
171,154,0,226,128,180,0,226,150,181,0,226,137,156,0,226,151,172,0,226,168,186,0,226,
168,185,0,226,167,141,0,226,168,187,0,226,143,162,0,240,157,147,137,0,209,134,0,209,
155,0,197,167,0,226,165,163,0,195,186,0,209,158,0,197,173,0,195,187,0,209,131,0,
197,177,0,226,165,190,0,240,157,148,178,0,195,185,0,226,150,128,0,226,140,156,0,226,
140,143,0,226,151,184,0,197,171,0,197,179,0,240,157,149,166,0,207,133,0,226,135,136,
0,226,140,157,0,226,140,142,0,197,175,0,226,151,185,0,240,157,147,138,0,226,139,176,
0,197,169,0,195,188,0,226,166,167,0,226,171,168,0,226,171,169,0,226,166,156,0,226,
138,138,239,184,128,0,226,171,139,239,184,128,0,226,138,139,239,184,128,0,226,171,140,239,
184,128,0,208,178,0,226,138,187,0,226,137,154,0,226,139,174,0,240,157,148,179,0,240,
157,149,167,0,240,157,147,139,0,226,166,154,0,197,181,0,226,169,159,0,226,137,153,0,
226,132,152,0,240,157,148,180,0,240,157,149,168,0,240,157,147,140,0,240,157,148,181,0,
206,190,0,226,139,187,0,240,157,149,169,0,240,157,147,141,0,195,189,0,209,143,0,197,
183,0,209,139,0,194,165,0,240,157,148,182,0,209,151,0,240,157,149,170,0,240,157,147,
142,0,209,142,0,195,191,0,197,186,0,197,190,0,208,183,0,197,188,0,206,182,0,240,
157,148,183,0,208,182,0,226,135,157,0,240,157,149,171,0,240,157,147,143,0,226,128,141,
0,226,128,140,0
};
/* Return a value offset and a legacy flag, or -1. */
static int lookup(const unsigned char *s, unsigned n) {
 unsigned lo=0,hi=sizeof(refs)/sizeof(refs[0]);
 while(lo<hi) {
  unsigned mid=(lo+hi)/2;
  const unsigned char *p=names+groups[mid/8];
  unsigned char key[32]; unsigned len=0;
  for(unsigned k=0;k<=mid%8;k++) {
   len=*p++;
   while(*p) key[len++]=*p++;
   p++;
  }
  unsigned j=0;
  while(j<len && j<n && key[j]==s[j]) j++;
  int cmp=(j<len && j<n)?(int)key[j]-(int)s[j]:(int)len-(int)n;
  if(cmp<0) lo=mid+1;
  else if(cmp>0) hi=mid;
  else return refs[mid];
 }
 return -1;
}
static unsigned utf8(unsigned o,uint32_t c) {
 if(c<128) buffer[o++]=c;
 else if(c<2048) { buffer[o++]=192|(c>>6); buffer[o++]=128|(c&63); }
 else if(c<65536) { buffer[o++]=224|(c>>12); buffer[o++]=128|((c>>6)&63); buffer[o++]=128|(c&63); }
 else { buffer[o++]=240|(c>>18); buffer[o++]=128|((c>>12)&63); buffer[o++]=128|((c>>6)&63); buffer[o++]=128|(c&63); }
 return o;
}
static const uint16_t c1[]={8364,129,8218,402,8222,8230,8224,8225,710,8240,352,8249,338,141,381,143,144,8216,8217,8220,8221,8226,8211,8212,732,8482,353,8250,339,157,382,376};
EXPORT uint64_t render(uint32_t len) {
 const unsigned char *in=buffer+262144;
 if(len>1048576) len=1048576;
 unsigned i=0,o=0;
 while(i<len) {
  if(in[i]!='&') {
   if(len-i>=16) {
    v128_t v=wasm_v128_load(in+i);
    unsigned mask=wasm_i8x16_bitmask(wasm_i8x16_eq(v,wasm_i8x16_splat('&')));
    if(!mask) { wasm_v128_store(buffer+o,v); i+=16; o+=16; continue; }
    unsigned count=__builtin_ctz(mask);
    for(unsigned k=0;k<count;k++) buffer[o++]=in[i++];
    if(count) continue;
   }
   buffer[o++]=in[i++]; continue;
  }
  if(i+1<len && in[i+1]=='#') {
   unsigned j=i+2,base=10;
   if(j<len && (in[j]|32)=='x') { base=16;j++; }
   unsigned start=j; uint32_t c=0;
   while(j<len) {
    unsigned d=in[j]-'0';
    if(d>9) { d=(in[j]|32)-'a'+10; if(base!=16 || d<10 || d>15) break; }
    c=c*base+d; if(c>0x110000) c=0x110000;
    j++;
   }
   if(j!=start) {
    if(j<len && in[j]==';') j++;
    if(c>=128 && c<=159) c=c1[c-128];
    else if(!c || (c>=0xd800 && c<=0xdfff) || c>0x10ffff) c=0xfffd;
    o=utf8(o,c); i=j;continue;
   }
  } else {
   unsigned j=i+1;
   while(j<len && j-i<=31) {
    unsigned c=in[j];
    if(!((c>='0' && c<='9') || ((c|32)>='a' && (c|32)<='z'))) break;
    j++;
   }
   int ref=-1; unsigned used=0;
   if(j<len && in[j]==';') { ref=lookup(in+i+1,j-i-1); if(ref>=0) used=j-i+1; }
   if(!used) {
    unsigned n=j-i-1; if(n>6) n=6;
    for(;n>=2;n--) {
     ref=lookup(in+i+1,n);
     if(ref>=0 && (ref&32768)) { used=n+1;break; }
    }
   }
   if(used) {
    const unsigned char *v=values+(ref&32767);
    while(*v) buffer[o++]=*v++;
    i+=used;continue;
   }
  }
  buffer[o++]=in[i++];
 }
 return ((uint64_t)(uint32_t)buffer<<32)|o;
}