diff options
author | ph10 <ph10@6239d852-aaf2-0410-a92c-79f79f948069> | 2018-10-02 15:25:58 +0000 |
---|---|---|
committer | ph10 <ph10@6239d852-aaf2-0410-a92c-79f79f948069> | 2018-10-02 15:25:58 +0000 |
commit | 3899f6557728000c2cfd428cddc597e377baddc2 (patch) | |
tree | aaa05107db98463f3a50a7ca6d3eb9f83a985f3d /src/pcre2_ucd.c | |
parent | af1cda3afb77f3e43c3c8069bd3b784abbcc2036 (diff) | |
download | pcre2-3899f6557728000c2cfd428cddc597e377baddc2.tar.gz |
Basic "script run" implementation. Not yet complete, and not yet documented.
git-svn-id: svn://vcs.exim.org/pcre2/code/trunk@1019 6239d852-aaf2-0410-a92c-79f79f948069
Diffstat (limited to 'src/pcre2_ucd.c')
-rw-r--r-- | src/pcre2_ucd.c | 1741 |
1 files changed, 881 insertions, 860 deletions
diff --git a/src/pcre2_ucd.c b/src/pcre2_ucd.c index 275a4be..02c6e87 100644 --- a/src/pcre2_ucd.c +++ b/src/pcre2_ucd.c @@ -47,11 +47,11 @@ special record. */ #if PCRE2_CODE_UNIT_WIDTH == 32 const ucd_record PRIV(dummy_ucd_record)[] = {{ - ucp_Common, /* script */ - ucp_Cn, /* type unassigned */ - ucp_gbOther, /* grapheme break property */ - 0, /* case set */ - 0, /* other case */ + ucp_Unknown, /* script */ + ucp_Cn, /* type unassigned */ + ucp_gbOther, /* grapheme break property */ + 0, /* case set */ + 0, /* other case */ }}; #endif @@ -68,6 +68,8 @@ pcre_int32 property_4; } ucd_record; */ +/* This table contains lists of characters that are caseless sets of +more than one character. Each list is terminated by NOTACHAR. */ const uint32_t PRIV(ucd_caseless_sets)[] = { NOTACHAR, @@ -100,865 +102,884 @@ const uint32_t PRIV(ucd_caseless_sets)[] = { 0x1c88, 0xa64a, 0xa64b, NOTACHAR, }; -/* When #included in pcre2test, we don't need this large table. */ +/* When #included in pcre2test, we don't need the table of digit +sets, nor the the large main UCD tables. */ #ifndef PCRE2_PCRE2TEST +/* This table lists the code points for the '9' characters in each +set of decimal digits. It is used to ensure that all the digits in +a script run come from the same set. */ + +const uint32_t PRIV(ucd_digit_sets)[] = { + 61, /* Number of subsequent values */ + 0x00039, 0x00669, 0x006f9, 0x007c9, 0x0096f, 0x009ef, 0x00a6f, 0x00aef, + 0x00b6f, 0x00bef, 0x00c6f, 0x00cef, 0x00d6f, 0x00def, 0x00e59, 0x00ed9, + 0x00f29, 0x01049, 0x01099, 0x017e9, 0x01819, 0x0194f, 0x019d9, 0x01a89, + 0x01a99, 0x01b59, 0x01bb9, 0x01c49, 0x01c59, 0x0a629, 0x0a8d9, 0x0a909, + 0x0a9d9, 0x0a9f9, 0x0aa59, 0x0abf9, 0x0ff19, 0x104a9, 0x10d39, 0x1106f, + 0x110f9, 0x1113f, 0x111d9, 0x112f9, 0x11459, 0x114d9, 0x11659, 0x116c9, + 0x11739, 0x118e9, 0x11c59, 0x11d59, 0x11da9, 0x16a69, 0x16b59, 0x1d7d7, + 0x1d7e1, 0x1d7eb, 0x1d7f5, 0x1d7ff, 0x1e959, +}; + +/* These are the main two-stage UCD tables. */ + const ucd_record PRIV(ucd_records)[] = { /* 6832 bytes, record size 8 */ - { 9, 0, 2, 0, 0, }, /* 0 */ - { 9, 0, 1, 0, 0, }, /* 1 */ - { 9, 0, 0, 0, 0, }, /* 2 */ - { 9, 29, 12, 0, 0, }, /* 3 */ - { 9, 21, 12, 0, 0, }, /* 4 */ - { 9, 23, 12, 0, 0, }, /* 5 */ - { 9, 22, 12, 0, 0, }, /* 6 */ - { 9, 18, 12, 0, 0, }, /* 7 */ - { 9, 25, 12, 0, 0, }, /* 8 */ - { 9, 17, 12, 0, 0, }, /* 9 */ - { 9, 13, 12, 0, 0, }, /* 10 */ - { 33, 9, 12, 0, 32, }, /* 11 */ - { 33, 9, 12, 100, 32, }, /* 12 */ - { 33, 9, 12, 1, 32, }, /* 13 */ - { 9, 24, 12, 0, 0, }, /* 14 */ - { 9, 16, 12, 0, 0, }, /* 15 */ - { 33, 5, 12, 0, -32, }, /* 16 */ - { 33, 5, 12, 100, -32, }, /* 17 */ - { 33, 5, 12, 1, -32, }, /* 18 */ - { 9, 26, 12, 0, 0, }, /* 19 */ - { 9, 26, 14, 0, 0, }, /* 20 */ - { 33, 7, 12, 0, 0, }, /* 21 */ - { 9, 20, 12, 0, 0, }, /* 22 */ - { 9, 1, 2, 0, 0, }, /* 23 */ - { 9, 15, 12, 0, 0, }, /* 24 */ - { 9, 5, 12, 26, 775, }, /* 25 */ - { 9, 19, 12, 0, 0, }, /* 26 */ - { 33, 9, 12, 104, 32, }, /* 27 */ - { 33, 5, 12, 0, 7615, }, /* 28 */ - { 33, 5, 12, 104, -32, }, /* 29 */ - { 33, 5, 12, 0, 121, }, /* 30 */ - { 33, 9, 12, 0, 1, }, /* 31 */ - { 33, 5, 12, 0, -1, }, /* 32 */ - { 33, 9, 12, 0, 0, }, /* 33 */ - { 33, 5, 12, 0, 0, }, /* 34 */ - { 33, 9, 12, 0, -121, }, /* 35 */ - { 33, 5, 12, 1, -268, }, /* 36 */ - { 33, 5, 12, 0, 195, }, /* 37 */ - { 33, 9, 12, 0, 210, }, /* 38 */ - { 33, 9, 12, 0, 206, }, /* 39 */ - { 33, 9, 12, 0, 205, }, /* 40 */ - { 33, 9, 12, 0, 79, }, /* 41 */ - { 33, 9, 12, 0, 202, }, /* 42 */ - { 33, 9, 12, 0, 203, }, /* 43 */ - { 33, 9, 12, 0, 207, }, /* 44 */ - { 33, 5, 12, 0, 97, }, /* 45 */ - { 33, 9, 12, 0, 211, }, /* 46 */ - { 33, 9, 12, 0, 209, }, /* 47 */ - { 33, 5, 12, 0, 163, }, /* 48 */ - { 33, 9, 12, 0, 213, }, /* 49 */ - { 33, 5, 12, 0, 130, }, /* 50 */ - { 33, 9, 12, 0, 214, }, /* 51 */ - { 33, 9, 12, 0, 218, }, /* 52 */ - { 33, 9, 12, 0, 217, }, /* 53 */ - { 33, 9, 12, 0, 219, }, /* 54 */ - { 33, 5, 12, 0, 56, }, /* 55 */ - { 33, 9, 12, 5, 2, }, /* 56 */ - { 33, 8, 12, 5, 1, }, /* 57 */ - { 33, 5, 12, 5, -2, }, /* 58 */ - { 33, 9, 12, 9, 2, }, /* 59 */ - { 33, 8, 12, 9, 1, }, /* 60 */ - { 33, 5, 12, 9, -2, }, /* 61 */ - { 33, 9, 12, 13, 2, }, /* 62 */ - { 33, 8, 12, 13, 1, }, /* 63 */ - { 33, 5, 12, 13, -2, }, /* 64 */ - { 33, 5, 12, 0, -79, }, /* 65 */ - { 33, 9, 12, 17, 2, }, /* 66 */ - { 33, 8, 12, 17, 1, }, /* 67 */ - { 33, 5, 12, 17, -2, }, /* 68 */ - { 33, 9, 12, 0, -97, }, /* 69 */ - { 33, 9, 12, 0, -56, }, /* 70 */ - { 33, 9, 12, 0, -130, }, /* 71 */ - { 33, 9, 12, 0, 10795, }, /* 72 */ - { 33, 9, 12, 0, -163, }, /* 73 */ - { 33, 9, 12, 0, 10792, }, /* 74 */ - { 33, 5, 12, 0, 10815, }, /* 75 */ - { 33, 9, 12, 0, -195, }, /* 76 */ - { 33, 9, 12, 0, 69, }, /* 77 */ - { 33, 9, 12, 0, 71, }, /* 78 */ - { 33, 5, 12, 0, 10783, }, /* 79 */ - { 33, 5, 12, 0, 10780, }, /* 80 */ - { 33, 5, 12, 0, 10782, }, /* 81 */ - { 33, 5, 12, 0, -210, }, /* 82 */ - { 33, 5, 12, 0, -206, }, /* 83 */ - { 33, 5, 12, 0, -205, }, /* 84 */ - { 33, 5, 12, 0, -202, }, /* 85 */ - { 33, 5, 12, 0, -203, }, /* 86 */ - { 33, 5, 12, 0, 42319, }, /* 87 */ - { 33, 5, 12, 0, 42315, }, /* 88 */ - { 33, 5, 12, 0, -207, }, /* 89 */ - { 33, 5, 12, 0, 42280, }, /* 90 */ - { 33, 5, 12, 0, 42308, }, /* 91 */ - { 33, 5, 12, 0, -209, }, /* 92 */ - { 33, 5, 12, 0, -211, }, /* 93 */ - { 33, 5, 12, 0, 10743, }, /* 94 */ - { 33, 5, 12, 0, 42305, }, /* 95 */ - { 33, 5, 12, 0, 10749, }, /* 96 */ - { 33, 5, 12, 0, -213, }, /* 97 */ - { 33, 5, 12, 0, -214, }, /* 98 */ - { 33, 5, 12, 0, 10727, }, /* 99 */ - { 33, 5, 12, 0, -218, }, /* 100 */ - { 33, 5, 12, 0, 42282, }, /* 101 */ - { 33, 5, 12, 0, -69, }, /* 102 */ - { 33, 5, 12, 0, -217, }, /* 103 */ - { 33, 5, 12, 0, -71, }, /* 104 */ - { 33, 5, 12, 0, -219, }, /* 105 */ - { 33, 5, 12, 0, 42261, }, /* 106 */ - { 33, 5, 12, 0, 42258, }, /* 107 */ - { 33, 6, 12, 0, 0, }, /* 108 */ - { 9, 6, 12, 0, 0, }, /* 109 */ - { 3, 24, 12, 0, 0, }, /* 110 */ - { 27, 12, 3, 0, 0, }, /* 111 */ - { 27, 12, 3, 21, 116, }, /* 112 */ - { 19, 9, 12, 0, 1, }, /* 113 */ - { 19, 5, 12, 0, -1, }, /* 114 */ - { 19, 24, 12, 0, 0, }, /* 115 */ - { 9, 2, 12, 0, 0, }, /* 116 */ - { 19, 6, 12, 0, 0, }, /* 117 */ - { 19, 5, 12, 0, 130, }, /* 118 */ - { 19, 9, 12, 0, 116, }, /* 119 */ - { 19, 9, 12, 0, 38, }, /* 120 */ - { 19, 9, 12, 0, 37, }, /* 121 */ - { 19, 9, 12, 0, 64, }, /* 122 */ - { 19, 9, 12, 0, 63, }, /* 123 */ - { 19, 5, 12, 0, 0, }, /* 124 */ - { 19, 9, 12, 0, 32, }, /* 125 */ - { 19, 9, 12, 34, 32, }, /* 126 */ - { 19, 9, 12, 59, 32, }, /* 127 */ - { 19, 9, 12, 38, 32, }, /* 128 */ - { 19, 9, 12, 21, 32, }, /* 129 */ - { 19, 9, 12, 51, 32, }, /* 130 */ - { 19, 9, 12, 26, 32, }, /* 131 */ - { 19, 9, 12, 47, 32, }, /* 132 */ - { 19, 9, 12, 55, 32, }, /* 133 */ - { 19, 9, 12, 30, 32, }, /* 134 */ - { 19, 9, 12, 43, 32, }, /* 135 */ - { 19, 9, 12, 96, 32, }, /* 136 */ - { 19, 5, 12, 0, -38, }, /* 137 */ - { 19, 5, 12, 0, -37, }, /* 138 */ - { 19, 5, 12, 0, -32, }, /* 139 */ - { 19, 5, 12, 34, -32, }, /* 140 */ - { 19, 5, 12, 59, -32, }, /* 141 */ - { 19, 5, 12, 38, -32, }, /* 142 */ - { 19, 5, 12, 21, -116, }, /* 143 */ - { 19, 5, 12, 51, -32, }, /* 144 */ - { 19, 5, 12, 26, -775, }, /* 145 */ - { 19, 5, 12, 47, -32, }, /* 146 */ - { 19, 5, 12, 55, -32, }, /* 147 */ - { 19, 5, 12, 30, 1, }, /* 148 */ - { 19, 5, 12, 30, -32, }, /* 149 */ - { 19, 5, 12, 43, -32, }, /* 150 */ - { 19, 5, 12, 96, -32, }, /* 151 */ - { 19, 5, 12, 0, -64, }, /* 152 */ - { 19, 5, 12, 0, -63, }, /* 153 */ - { 19, 9, 12, 0, 8, }, /* 154 */ - { 19, 5, 12, 34, -30, }, /* 155 */ - { 19, 5, 12, 38, -25, }, /* 156 */ - { 19, 9, 12, 0, 0, }, /* 157 */ - { 19, 5, 12, 43, -15, }, /* 158 */ - { 19, 5, 12, 47, -22, }, /* 159 */ - { 19, 5, 12, 0, -8, }, /* 160 */ - { 10, 9, 12, 0, 1, }, /* 161 */ - { 10, 5, 12, 0, -1, }, /* 162 */ - { 19, 5, 12, 51, -54, }, /* 163 */ - { 19, 5, 12, 55, -48, }, /* 164 */ - { 19, 5, 12, 0, 7, }, /* 165 */ - { 19, 5, 12, 0, -116, }, /* 166 */ - { 19, 9, 12, 38, -60, }, /* 167 */ - { 19, 5, 12, 59, -64, }, /* 168 */ - { 19, 25, 12, 0, 0, }, /* 169 */ - { 19, 9, 12, 0, -7, }, /* 170 */ - { 19, 9, 12, 0, -130, }, /* 171 */ - { 12, 9, 12, 0, 80, }, /* 172 */ - { 12, 9, 12, 0, 32, }, /* 173 */ - { 12, 9, 12, 63, 32, }, /* 174 */ - { 12, 9, 12, 67, 32, }, /* 175 */ - { 12, 9, 12, 71, 32, }, /* 176 */ - { 12, 9, 12, 75, 32, }, /* 177 */ - { 12, 9, 12, 79, 32, }, /* 178 */ - { 12, 9, 12, 84, 32, }, /* 179 */ - { 12, 5, 12, 0, -32, }, /* 180 */ - { 12, 5, 12, 63, -32, }, /* 181 */ - { 12, 5, 12, 67, -32, }, /* 182 */ - { 12, 5, 12, 71, -32, }, /* 183 */ - { 12, 5, 12, 75, -32, }, /* 184 */ - { 12, 5, 12, 79, -32, }, /* 185 */ - { 12, 5, 12, 84, -32, }, /* 186 */ - { 12, 5, 12, 0, -80, }, /* 187 */ - { 12, 9, 12, 0, 1, }, /* 188 */ - { 12, 5, 12, 0, -1, }, /* 189 */ - { 12, 9, 12, 88, 1, }, /* 190 */ - { 12, 5, 12, 88, -1, }, /* 191 */ - { 12, 26, 12, 0, 0, }, /* 192 */ - { 12, 12, 3, 0, 0, }, /* 193 */ - { 12, 11, 3, 0, 0, }, /* 194 */ - { 12, 9, 12, 0, 15, }, /* 195 */ - { 12, 5, 12, 0, -15, }, /* 196 */ - { 1, 9, 12, 0, 48, }, /* 197 */ - { 1, 6, 12, 0, 0, }, /* 198 */ - { 1, 21, 12, 0, 0, }, /* 199 */ - { 1, 5, 12, 0, 0, }, /* 200 */ - { 1, 5, 12, 0, -48, }, /* 201 */ - { 1, 17, 12, 0, 0, }, /* 202 */ - { 1, 26, 12, 0, 0, }, /* 203 */ - { 1, 23, 12, 0, 0, }, /* 204 */ - { 25, 12, 3, 0, 0, }, /* 205 */ - { 25, 17, 12, 0, 0, }, /* 206 */ - { 25, 21, 12, 0, 0, }, /* 207 */ - { 25, 7, 12, 0, 0, }, /* 208 */ - { 0, 1, 4, 0, 0, }, /* 209 */ - { 9, 1, 4, 0, 0, }, /* 210 */ - { 0, 25, 12, 0, 0, }, /* 211 */ - { 0, 21, 12, 0, 0, }, /* 212 */ - { 0, 23, 12, 0, 0, }, /* 213 */ - { 0, 26, 12, 0, 0, }, /* 214 */ - { 0, 12, 3, 0, 0, }, /* 215 */ - { 0, 1, 2, 0, 0, }, /* 216 */ - { 0, 7, 12, 0, 0, }, /* 217 */ - { 0, 13, 12, 0, 0, }, /* 218 */ - { 0, 6, 12, 0, 0, }, /* 219 */ - { 49, 21, 12, 0, 0, }, /* 220 */ - { 49, 1, 4, 0, 0, }, /* 221 */ - { 49, 7, 12, 0, 0, }, /* 222 */ - { 49, 12, 3, 0, 0, }, /* 223 */ - { 55, 7, 12, 0, 0, }, /* 224 */ - { 55, 12, 3, 0, 0, }, /* 225 */ - { 63, 13, 12, 0, 0, }, /* 226 */ - { 63, 7, 12, 0, 0, }, /* 227 */ - { 63, 12, 3, 0, 0, }, /* 228 */ - { 63, 6, 12, 0, 0, }, /* 229 */ - { 63, 26, 12, 0, 0, }, /* 230 */ - { 63, 21, 12, 0, 0, }, /* 231 */ - { 63, 23, 12, 0, 0, }, /* 232 */ - { 89, 7, 12, 0, 0, }, /* 233 */ - { 89, 12, 3, 0, 0, }, /* 234 */ - { 89, 6, 12, 0, 0, }, /* 235 */ - { 89, 21, 12, 0, 0, }, /* 236 */ - { 94, 7, 12, 0, 0, }, /* 237 */ - { 94, 12, 3, 0, 0, }, /* 238 */ - { 94, 21, 12, 0, 0, }, /* 239 */ - { 14, 12, 3, 0, 0, }, /* 240 */ - { 14, 10, 5, 0, 0, }, /* 241 */ - { 14, 7, 12, 0, 0, }, /* 242 */ - { 14, 13, 12, 0, 0, }, /* 243 */ - { 14, 21, 12, 0, 0, }, /* 244 */ - { 14, 6, 12, 0, 0, }, /* 245 */ - { 2, 7, 12, 0, 0, }, /* 246 */ - { 2, 12, 3, 0, 0, }, /* 247 */ - { 2, 10, 5, 0, 0, }, /* 248 */ - { 2, 10, 3, 0, 0, }, /* 249 */ - { 2, 13, 12, 0, 0, }, /* 250 */ - { 2, 23, 12, 0, 0, }, /* 251 */ - { 2, 15, 12, 0, 0, }, /* 252 */ - { 2, 26, 12, 0, 0, }, /* 253 */ - { 2, 21, 12, 0, 0, }, /* 254 */ - { 21, 12, 3, 0, 0, }, /* 255 */ - { 21, 10, 5, 0, 0, }, /* 256 */ - { 21, 7, 12, 0, 0, }, /* 257 */ - { 21, 13, 12, 0, 0, }, /* 258 */ - { 21, 21, 12, 0, 0, }, /* 259 */ - { 20, 12, 3, 0, 0, }, /* 260 */ - { 20, 10, 5, 0, 0, }, /* 261 */ - { 20, 7, 12, 0, 0, }, /* 262 */ - { 20, 13, 12, 0, 0, }, /* 263 */ - { 20, 21, 12, 0, 0, }, /* 264 */ - { 20, 23, 12, 0, 0, }, /* 265 */ - { 43, 12, 3, 0, 0, }, /* 266 */ - { 43, 10, 5, 0, 0, }, /* 267 */ - { 43, 7, 12, 0, 0, }, /* 268 */ - { 43, 10, 3, 0, 0, }, /* 269 */ - { 43, 13, 12, 0, 0, }, /* 270 */ - { 43, 26, 12, 0, 0, }, /* 271 */ - { 43, 15, 12, 0, 0, }, /* 272 */ - { 53, 12, 3, 0, 0, }, /* 273 */ - { 53, 7, 12, 0, 0, }, /* 274 */ - { 53, 10, 3, 0, 0, }, /* 275 */ - { 53, 10, 5, 0, 0, }, /* 276 */ - { 53, 13, 12, 0, 0, }, /* 277 */ - { 53, 15, 12, 0, 0, }, /* 278 */ - { 53, 26, 12, 0, 0, }, /* 279 */ - { 53, 23, 12, 0, 0, }, /* 280 */ - { 54, 12, 3, 0, 0, }, /* 281 */ - { 54, 10, 5, 0, 0, }, /* 282 */ - { 54, 7, 12, 0, 0, }, /* 283 */ - { 54, 13, 12, 0, 0, }, /* 284 */ - { 54, 15, 12, 0, 0, }, /* 285 */ - { 54, 26, 12, 0, 0, }, /* 286 */ - { 28, 7, 12, 0, 0, }, /* 287 */ - { 28, 12, 3, 0, 0, }, /* 288 */ - { 28, 10, 5, 0, 0, }, /* 289 */ - { 28, 21, 12, 0, 0, }, /* 290 */ - { 28, 10, 3, 0, 0, }, /* 291 */ - { 28, 13, 12, 0, 0, }, /* 292 */ - { 36, 12, 3, 0, 0, }, /* 293 */ - { 36, 10, 5, 0, 0, }, /* 294 */ - { 36, 7, 12, 0, 0, }, /* 295 */ - { 36, 10, 3, 0, 0, }, /* 296 */ - { 36, 7, 4, 0, 0, }, /* 297 */ - { 36, 26, 12, 0, 0, }, /* 298 */ - { 36, 15, 12, 0, 0, }, /* 299 */ - { 36, 13, 12, 0, 0, }, /* 300 */ - { 47, 10, 5, 0, 0, }, /* 301 */ - { 47, 7, 12, 0, 0, }, /* 302 */ - { 47, 12, 3, 0, 0, }, /* 303 */ - { 47, 10, 3, 0, 0, }, /* 304 */ - { 47, 13, 12, 0, 0, }, /* 305 */ - { 47, 21, 12, 0, 0, }, /* 306 */ - { 56, 7, 12, 0, 0, }, /* 307 */ - { 56, 12, 3, 0, 0, }, /* 308 */ - { 56, 7, 5, 0, 0, }, /* 309 */ - { 56, 6, 12, 0, 0, }, /* 310 */ - { 56, 21, 12, 0, 0, }, /* 311 */ - { 56, 13, 12, 0, 0, }, /* 312 */ - { 32, 7, 12, 0, 0, }, /* 313 */ - { 32, 12, 3, 0, 0, }, /* 314 */ - { 32, 7, 5, 0, 0, }, /* 315 */ - { 32, 6, 12, 0, 0, }, /* 316 */ - { 32, 13, 12, 0, 0, }, /* 317 */ - { 57, 7, 12, 0, 0, }, /* 318 */ - { 57, 26, 12, 0, 0, }, /* 319 */ - { 57, 21, 12, 0, 0, }, /* 320 */ - { 57, 12, 3, 0, 0, }, /* 321 */ - { 57, 13, 12, 0, 0, }, /* 322 */ - { 57, 15, 12, 0, 0, }, /* 323 */ - { 57, 22, 12, 0, 0, }, /* 324 */ - { 57, 18, 12, 0, 0, }, /* 325 */ - { 57, 10, 5, 0, 0, }, /* 326 */ - { 38, 7, 12, 0, 0, }, /* 327 */ - { 38, 10, 12, 0, 0, }, /* 328 */ - { 38, 12, 3, 0, 0, }, /* 329 */ - { 38, 10, 5, 0, 0, }, /* 330 */ - { 38, 13, 12, 0, 0, }, /* 331 */ - { 38, 21, 12, 0, 0, }, /* 332 */ - { 38, 26, 12, 0, 0, }, /* 333 */ - { 16, 9, 12, 0, 7264, }, /* 334 */ - { 16, 5, 12, 0, 3008, }, /* 335 */ - { 16, 6, 12, 0, 0, }, /* 336 */ - { 23, 7, 6, 0, 0, }, /* 337 */ - { 23, 7, 7, 0, 0, }, /* 338 */ - { 23, 7, 8, 0, 0, }, /* 339 */ - { 15, 7, 12, 0, 0, }, /* 340 */ - { 15, 12, 3, 0, 0, }, /* 341 */ - { 15, 21, 12, 0, 0, }, /* 342 */ - { 15, 15, 12, 0, 0, }, /* 343 */ - { 15, 26, 12, 0, 0, }, /* 344 */ - { 8, 9, 12, 0, 38864, }, /* 345 */ - { 8, 9, 12, 0, 8, }, /* 346 */ - { 8, 5, 12, 0, -8, }, /* 347 */ - { 7, 17, 12, 0, 0, }, /* 348 */ - { 7, 7, 12, 0, 0, }, /* 349 */ - { 7, 21, 12, 0, 0, }, /* 350 */ - { 40, 29, 12, 0, 0, }, /* 351 */ - { 40, 7, 12, 0, 0, }, /* 352 */ - { 40, 22, 12, 0, 0, }, /* 353 */ - { 40, 18, 12, 0, 0, }, /* 354 */ - { 45, 7, 12, 0, 0, }, /* 355 */ - { 45, 14, 12, 0, 0, }, /* 356 */ - { 50, 7, 12, 0, 0, }, /* 357 */ - { 50, 12, 3, 0, 0, }, /* 358 */ - { 24, 7, 12, 0, 0, }, /* 359 */ - { 24, 12, 3, 0, 0, }, /* 360 */ - { 6, 7, 12, 0, 0, }, /* 361 */ - { 6, 12, 3, 0, 0, }, /* 362 */ - { 51, 7, 12, 0, 0, }, /* 363 */ - { 51, 12, 3, 0, 0, }, /* 364 */ - { 31, 7, 12, 0, 0, }, /* 365 */ - { 31, 12, 3, 0, 0, }, /* 366 */ - { 31, 10, 5, 0, 0, }, /* 367 */ - { 31, 21, 12, 0, 0, }, /* 368 */ - { 31, 6, 12, 0, 0, }, /* 369 */ - { 31, 23, 12, 0, 0, }, /* 370 */ - { 31, 13, 12, 0, 0, }, /* 371 */ - { 31, 15, 12, 0, 0, }, /* 372 */ - { 37, 21, 12, 0, 0, }, /* 373 */ - { 37, 17, 12, 0, 0, }, /* 374 */ - { 37, 12, 3, 0, 0, }, /* 375 */ - { 37, 1, 2, 0, 0, }, /* 376 */ - { 37, 13, 12, 0, 0, }, /* 377 */ - { 37, 7, 12, 0, 0, }, /* 378 */ - { 37, 6, 12, 0, 0, }, /* 379 */ - { 34, 7, 12, 0, 0, }, /* 380 */ - { 34, 12, 3, 0, 0, }, /* 381 */ - { 34, 10, 5, 0, 0, }, /* 382 */ - { 34, 26, 12, 0, 0, }, /* 383 */ - { 34, 21, 12, 0, 0, }, /* 384 */ - { 34, 13, 12, 0, 0, }, /* 385 */ - { 52, 7, 12, 0, 0, }, /* 386 */ - { 39, 7, 12, 0, 0, }, /* 387 */ - { 39, 13, 12, 0, 0, }, /* 388 */ - { 39, 15, 12, 0, 0, }, /* 389 */ - { 39, 26, 12, 0, 0, }, /* 390 */ - { 31, 26, 12, 0, 0, }, /* 391 */ - { 5, 7, 12, 0, 0, }, /* 392 */ - { 5, 12, 3, 0, 0, }, /* 393 */ - { 5, 10, 5, 0, 0, }, /* 394 */ - { 5, 21, 12, 0, 0, }, /* 395 */ - { 90, 7, 12, 0, 0, }, /* 396 */ - { 90, 10, 5, 0, 0, }, /* 397 */ - { 90, 12, 3, 0, 0, }, /* 398 */ - { 90, 10, 12, 0, 0, }, /* 399 */ - { 90, 13, 12, 0, 0, }, /* 400 */ - { 90, 21, 12, 0, 0, }, /* 401 */ - { 90, 6, 12, 0, 0, }, /* 402 */ - { 27, 11, 3, 0, 0, }, /* 403 */ - { 61, 12, 3, 0, 0, }, /* 404 */ - { 61, 10, 5, 0, 0, }, /* 405 */ - { 61, 7, 12, 0, 0, }, /* 406 */ - { 61, 13, 12, 0, 0, }, /* 407 */ - { 61, 21, 12, 0, 0, }, /* 408 */ - { 61, 26, 12, 0, 0, }, /* 409 */ - { 75, 12, 3, 0, 0, }, /* 410 */ - { 75, 10, 5, 0, 0, }, /* 411 */ - { 75, 7, 12, 0, 0, }, /* 412 */ - { 75, 13, 12, 0, 0, }, /* 413 */ - { 92, 7, 12, 0, 0, }, /* 414 */ - { 92, 12, 3, 0, 0, }, /* 415 */ - { 92, 10, 5, 0, 0, }, /* 416 */ - { 92, 21, 12, 0, 0, }, /* 417 */ - { 69, 7, 12, 0, 0, }, /* 418 */ - { 69, 10, 5, 0, 0, }, /* 419 */ - { 69, 12, 3, 0, 0, }, /* 420 */ - { 69, 21, 12, 0, 0, }, /* 421 */ - { 69, 13, 12, 0, 0, }, /* 422 */ - { 72, 13, 12, 0, 0, }, /* 423 */ - { 72, 7, 12, 0, 0, }, /* 424 */ - { 72, 6, 12, 0, 0, }, /* 425 */ - { 72, 21, 12, 0, 0, }, /* 426 */ - { 12, 5, 12, 63, -6222, }, /* 427 */ - { 12, 5, 12, 67, -6221, }, /* 428 */ - { 12, 5, 12, 71, -6212, }, /* 429 */ - { 12, 5, 12, 75, -6210, }, /* 430 */ - { 12, 5, 12, 79, -6210, }, /* 431 */ - { 12, 5, 12, 79, -6211, }, /* 432 */ - { 12, 5, 12, 84, -6204, }, /* 433 */ - { 12, 5, 12, 88, -6180, }, /* 434 */ - { 12, 5, 12, 108, 35267, }, /* 435 */ - { 16, 9, 12, 0, -3008, }, /* 436 */ - { 75, 21, 12, 0, 0, }, /* 437 */ - { 9, 10, 5, 0, 0, }, /* 438 */ - { 9, 7, 12, 0, 0, }, /* 439 */ - { 12, 5, 12, 0, 0, }, /* 440 */ - { 12, 6, 12, 0, 0, }, /* 441 */ - { 33, 5, 12, 0, 35332, }, /* 442 */ - { 33, 5, 12, 0, 3814, }, /* 443 */ - { 33, 9, 12, 92, 1, }, /* 444 */ - { 33, 5, 12, 92, -1, }, /* 445 */ - { 33, 5, 12, 92, -58, }, /* 446 */ - { 33, 9, 12, 0, -7615, }, /* 447 */ - { 19, 5, 12, 0, 8, }, /* 448 */ - { 19, 9, 12, 0, -8, }, /* 449 */ - { 19, 5, 12, 0, 74, }, /* 450 */ - { 19, 5, 12, 0, 86, }, /* 451 */ - { 19, 5, 12, 0, 100, }, /* 452 */ - { 19, 5, 12, 0, 128, }, /* 453 */ - { 19, 5, 12, 0, 112, }, /* 454 */ - { 19, 5, 12, 0, 126, }, /* 455 */ - { 19, 8, 12, 0, -8, }, /* 456 */ - { 19, 5, 12, 0, 9, }, /* 457 */ - { 19, 9, 12, 0, -74, }, /* 458 */ - { 19, 8, 12, 0, -9, }, /* 459 */ - { 19, 5, 12, 21, -7173, }, /* 460 */ - { 19, 9, 12, 0, -86, }, /* 461 */ - { 19, 9, 12, 0, -100, }, /* 462 */ - { 19, 9, 12, 0, -112, }, /* 463 */ - { 19, 9, 12, 0, -128, }, /* 464 */ - { 19, 9, 12, 0, -126, }, /* 465 */ - { 27, 1, 3, 0, 0, }, /* 466 */ - { 27, 1, 13, 0, 0, }, /* 467 */ - { 9, 27, 2, 0, 0, }, /* 468 */ - { 9, 28, 2, 0, 0, }, /* 469 */ - { 9, 21, 14, 0, 0, }, /* 470 */ - { 9, 2, 2, 0, 0, }, /* 471 */ - { 9, 9, 12, 0, 0, }, /* 472 */ - { 9, 5, 12, 0, 0, }, /* 473 */ - { 19, 9, 12, 96, -7517, }, /* 474 */ - { 33, 9, 12, 100, -8383, }, /* 475 */ - { 33, 9, 12, 104, -8262, }, /* 476 */ - { 33, 9, 12, 0, 28, }, /* 477 */ - { 9, 5, 14, 0, 0, }, /* 478 */ - { 33, 5, 12, 0, -28, }, /* 479 */ - { 33, 14, 12, 0, 16, }, /* 480 */ - { 33, 14, 12, 0, -16, }, /* 481 */ - { 33, 14, 12, 0, 0, }, /* 482 */ - { 9, 25, 14, 0, 0, }, /* 483 */ - { 9, 26, 12, 0, 26, }, /* 484 */ - { 9, 26, 14, 0, 26, }, /* 485 */ - { 9, 26, 12, 0, -26, }, /* 486 */ - { 4, 26, 12, 0, 0, }, /* 487 */ - { 17, 9, 12, 0, 48, }, /* 488 */ - { 17, 5, 12, 0, -48, }, /* 489 */ - { 33, 9, 12, 0, -10743, }, /* 490 */ - { 33, 9, 12, 0, -3814, }, /* 491 */ - { 33, 9, 12, 0, -10727, }, /* 492 */ - { 33, 5, 12, 0, -10795, }, /* 493 */ - { 33, 5, 12, 0, -10792, }, /* 494 */ - { 33, 9, 12, 0, -10780, }, /* 495 */ - { 33, 9, 12, 0, -10749, }, /* 496 */ - { 33, 9, 12, 0, -10783, }, /* 497 */ - { 33, 9, 12, 0, -10782, }, /* 498 */ - { 33, 9, 12, 0, -10815, }, /* 499 */ - { 10, 5, 12, 0, 0, }, /* 500 */ - { 10, 26, 12, 0, 0, }, /* 501 */ - { 10, 12, 3, 0, 0, }, /* 502 */ - { 10, 21, 12, 0, 0, }, /* 503 */ - { 10, 15, 12, 0, 0, }, /* 504 */ - { 16, 5, 12, 0, -7264, }, /* 505 */ - { 58, 7, 12, 0, 0, }, /* 506 */ - { 58, 6, 12, 0, 0, }, /* 507 */ - { 58, 21, 12, 0, 0, }, /* 508 */ - { 58, 12, 3, 0, 0, }, /* 509 */ - { 22, 26, 12, 0, 0, }, /* 510 */ - { 22, 6, 12, 0, 0, }, /* 511 */ - { 22, 14, 12, 0, 0, }, /* 512 */ - { 23, 10, 3, 0, 0, }, /* 513 */ - { 9, 17, 14, 0, 0, }, /* 514 */ - { 26, 7, 12, 0, 0, }, /* 515 */ - { 26, 6, 12, 0, 0, }, /* 516 */ - { 29, 7, 12, 0, 0, }, /* 517 */ - { 29, 6, 12, 0, 0, }, /* 518 */ - { 3, 7, 12, 0, 0, }, /* 519 */ - { 23, 7, 12, 0, 0, }, /* 520 */ - { 23, 26, 12, 0, 0, }, /* 521 */ - { 29, 26, 12, 0, 0, }, /* 522 */ - { 22, 7, 12, 0, 0, }, /* 523 */ - { 60, 7, 12, 0, 0, }, /* 524 */ - { 60, 6, 12, 0, 0, }, /* 525 */ - { 60, 26, 12, 0, 0, }, /* 526 */ - { 85, 7, 12, 0, 0, }, /* 527 */ - { 85, 6, 12, 0, 0, }, /* 528 */ - { 85, 21, 12, 0, 0, }, /* 529 */ - { 76, 7, 12, 0, 0, }, /* 530 */ - { 76, 6, 12, 0, 0, }, /* 531 */ - { 76, 21, 12, 0, 0, }, /* 532 */ - { 76, 13, 12, 0, 0, }, /* 533 */ - { 12, 9, 12, 108, 1, }, /* 534 */ - { 12, 5, 12, 108, -35267, }, /* 535 */ - { 12, 7, 12, 0, 0, }, /* 536 */ - { 12, 21, 12, 0, 0, }, /* 537 */ - { 78, 7, 12, 0, 0, }, /* 538 */ - { 78, 14, 12, 0, 0, }, /* 539 */ - { 78, 12, 3, 0, 0, }, /* 540 */ - { 78, 21, 12, 0, 0, }, /* 541 */ - { 33, 9, 12, 0, -35332, }, /* 542 */ - { 33, 9, 12, 0, -42280, }, /* 543 */ - { 33, 9, 12, 0, -42308, }, /* 544 */ - { 33, 9, 12, 0, -42319, }, /* 545 */ - { 33, 9, 12, 0, -42315, }, /* 546 */ - { 33, 9, 12, 0, -42305, }, /* 547 */ - { 33, 9, 12, 0, -42258, }, /* 548 */ - { 33, 9, 12, 0, -42282, }, /* 549 */ - { 33, 9, 12, 0, -42261, }, /* 550 */ - { 33, 9, 12, 0, 928, }, /* 551 */ - { 48, 7, 12, 0, 0, }, /* 552 */ - { 48, 12, 3, 0, 0, }, /* 553 */ - { 48, 10, 5, 0, 0, }, /* 554 */ - { 48, 26, 12, 0, 0, }, /* 555 */ - { 64, 7, 12, 0, 0, }, /* 556 */ - { 64, 21, 12, 0, 0, }, /* 557 */ - { 74, 10, 5, 0, 0, }, /* 558 */ - { 74, 7, 12, 0, 0, }, /* 559 */ - { 74, 12, 3, 0, 0, }, /* 560 */ - { 74, 21, 12, 0, 0, }, /* 561 */ - { 74, 13, 12, 0, 0, }, /* 562 */ - { 68, 13, 12, 0, 0, }, /* 563 */ - { 68, 7, 12, 0, 0, }, /* 564 */ - { 68, 12, 3, 0, 0, }, /* 565 */ - { 68, 21, 12, 0, 0, }, /* 566 */ - { 73, 7, 12, 0, 0, }, /* 567 */ - { 73, 12, 3, 0, 0, }, /* 568 */ - { 73, 10, 5, 0, 0, }, /* 569 */ - { 73, 21, 12, 0, 0, }, /* 570 */ - { 83, 12, 3, 0, 0, }, /* 571 */ - { 83, 10, 5, 0, 0, }, /* 572 */ - { 83, 7, 12, 0, 0, }, /* 573 */ - { 83, 21, 12, 0, 0, }, /* 574 */ - { 83, 13, 12, 0, 0, }, /* 575 */ - { 38, 6, 12, 0, 0, }, /* 576 */ - { 67, 7, 12, 0, 0, }, /* 577 */ - { 67, 12, 3, 0, 0, }, /* 578 */ - { 67, 10, 5, 0, 0, }, /* 579 */ - { 67, 13, 12, 0, 0, }, /* 580 */ - { 67, 21, 12, 0, 0, }, /* 581 */ - { 91, 7, 12, 0, 0, }, /* 582 */ - { 91, 12, 3, 0, 0, }, /* 583 */ - { 91, 6, 12, 0, 0, }, /* 584 */ - { 91, 21, 12, 0, 0, }, /* 585 */ - { 86, 7, 12, 0, 0, }, /* 586 */ - { 86, 10, 5, 0, 0, }, /* 587 */ - { 86, 12, 3, 0, 0, }, /* 588 */ - { 86, 21, 12, 0, 0, }, /* 589 */ - { 86, 6, 12, 0, 0, }, /* 590 */ - { 33, 5, 12, 0, -928, }, /* 591 */ - { 8, 5, 12, 0, -38864, }, /* 592 */ - { 86, 13, 12, 0, 0, }, /* 593 */ - { 23, 7, 9, 0, 0, }, /* 594 */ - { 23, 7, 10, 0, 0, }, /* 595 */ - { 9, 4, 2, 0, 0, }, /* 596 */ - { 9, 3, 12, 0, 0, }, /* 597 */ - { 25, 25, 12, 0, 0, }, /* 598 */ - { 0, 24, 12, 0, 0, }, /* 599 */ - { 9, 6, 3, 0, 0, }, /* 600 */ - { 35, 7, 12, 0, 0, }, /* 601 */ - { 19, 14, 12, 0, 0, }, /* 602 */ - { 19, 15, 12, 0, 0, }, /* 603 */ - { 19, 26, 12, 0, 0, }, /* 604 */ - { 70, 7, 12, 0, 0, }, /* 605 */ - { 66, 7, 12, 0, 0, }, /* 606 */ - { 41, 7, 12, 0, 0, }, /* 607 */ - { 41, 15, 12, 0, 0, }, /* 608 */ - { 18, 7, 12, 0, 0, }, /* 609 */ - { 18, 14, 12, 0, 0, }, /* 610 */ - { 117, 7, 12, 0, 0, }, /* 611 */ - { 117, 12, 3, 0, 0, }, /* 612 */ - { 59, 7, 12, 0, 0, }, /* 613 */ - { 59, 21, 12, 0, 0, }, /* 614 */ - { 42, 7, 12, 0, 0, }, /* 615 */ - { 42, 21, 12, 0, 0, }, /* 616 */ - { 42, 14, 12, 0, 0, }, /* 617 */ - { 13, 9, 12, 0, 40, }, /* 618 */ - { 13, 5, 12, 0, -40, }, /* 619 */ - { 46, 7, 12, 0, 0, }, /* 620 */ - { 44, 7, 12, 0, 0, }, /* 621 */ - { 44, 13, 12, 0, 0, }, /* 622 */ - { 135, 9, 12, 0, 40, }, /* 623 */ - { 135, 5, 12, 0, -40, }, /* 624 */ - { 105, 7, 12, 0, 0, }, /* 625 */ - { 103, 7, 12, 0, 0, }, /* 626 */ - { 103, 21, 12, 0, 0, }, /* 627 */ - { 109, 7, 12, 0, 0, }, /* 628 */ - { 11, 7, 12, 0, 0, }, /* 629 */ - { 80, 7, 12, 0, 0, }, /* 630 */ - { 80, 21, 12, 0, 0, }, /* 631 */ - { 80, 15, 12, 0, 0, }, /* 632 */ - { 119, 7, 12, 0, 0, }, /* 633 */ - { 119, 26, 12, 0, 0, }, /* 634 */ - { 119, 15, 12, 0, 0, }, /* 635 */ - { 115, 7, 12, 0, 0, }, /* 636 */ - { 115, 15, 12, 0, 0, }, /* 637 */ - { 127, 7, 12, 0, 0, }, /* 638 */ - { 127, 15, 12, 0, 0, }, /* 639 */ - { 65, 7, 12, 0, 0, }, /* 640 */ - { 65, 15, 12, 0, 0, }, /* 641 */ - { 65, 21, 12, 0, 0, }, /* 642 */ - { 71, 7, 12, 0, 0, }, /* 643 */ - { 71, 21, 12, 0, 0, }, /* 644 */ - { 97, 7, 12, 0, 0, }, /* 645 */ - { 96, 7, 12, 0, 0, }, /* 646 */ - { 96, 15, 12, 0, 0, }, /* 647 */ - { 30, 7, 12, 0, 0, }, /* 648 */ - { 30, 12, 3, 0, 0, }, /* 649 */ - { 30, 15, 12, 0, 0, }, /* 650 */ - { 30, 21, 12, 0, 0, }, /* 651 */ - { 87, 7, 12, 0, 0, }, /* 652 */ - { 87, 15, 12, 0, 0, }, /* 653 */ - { 87, 21, 12, 0, 0, }, /* 654 */ - { 116, 7, 12, 0, 0, }, /* 655 */ - { 116, 15, 12, 0, 0, }, /* 656 */ - { 111, 7, 12, 0, 0, }, /* 657 */ - { 111, 26, 12, 0, 0, }, /* 658 */ - { 111, 12, 3, 0, 0, }, /* 659 */ - { 111, 15, 12, 0, 0, }, /* 660 */ - { 111, 21, 12, 0, 0, }, /* 661 */ - { 77, 7, 12, 0, 0, }, /* 662 */ - { 77, 21, 12, 0, 0, }, /* 663 */ - { 82, 7, 12, 0, 0, }, /* 664 */ - { 82, 15, 12, 0, 0, }, /* 665 */ - { 81, 7, 12, 0, 0, }, /* 666 */ - { 81, 15, 12, 0, 0, }, /* 667 */ - { 120, 7, 12, 0, 0, }, /* 668 */ - { 120, 21, 12, 0, 0, }, /* 669 */ - { 120, 15, 12, 0, 0, }, /* 670 */ - { 88, 7, 12, 0, 0, }, /* 671 */ - { 129, 9, 12, 0, 64, }, /* 672 */ - { 129, 5, 12, 0, -64, }, /* 673 */ - { 129, 15, 12, 0, 0, }, /* 674 */ - { 143, 7, 12, 0, 0, }, /* 675 */ - { 143, 12, 3, 0, 0, }, /* 676 */ - { 143, 13, 12, 0, 0, }, /* 677 */ - { 0, 15, 12, 0, 0, }, /* 678 */ - { 146, 7, 12, 0, 0, }, /* 679 */ - { 146, 15, 12, 0, 0, }, /* 680 */ - { 147, 7, 12, 0, 0, }, /* 681 */ - { 147, 12, 3, 0, 0, }, /* 682 */ - { 147, 15, 12, 0, 0, }, /* 683 */ - { 147, 21, 12, 0, 0, }, /* 684 */ - { 93, 10, 5, 0, 0, }, /* 685 */ - { 93, 12, 3, 0, 0, }, /* 686 */ - { 93, 7, 12, 0, 0, }, /* 687 */ - { 93, 21, 12, 0, 0, }, /* 688 */ - { 93, 15, 12, 0, 0, }, /* 689 */ - { 93, 13, 12, 0, 0, }, /* 690 */ - { 84, 12, 3, 0, 0, }, /* 691 */ - { 84, 10, 5, 0, 0, }, /* 692 */ - { 84, 7, 12, 0, 0, }, /* 693 */ - { 84, 21, 12, 0, 0, }, /* 694 */ - { 84, 1, 4, 0, 0, }, /* 695 */ - { 100, 7, 12, 0, 0, }, /* 696 */ - { 100, 13, 12, 0, 0, }, /* 697 */ - { 95, 12, 3, 0, 0, }, /* 698 */ - { 95, 7, 12, 0, 0, }, /* 699 */ - { 95, 10, 5, 0, 0, }, /* 700 */ - { 95, 13, 12, 0, 0, }, /* 701 */ - { 95, 21, 12, 0, 0, }, /* 702 */ - { 110, 7, 12, 0, 0, }, /* 703 */ - { 110, 12, 3, 0, 0, }, /* 704 */ - { 110, 21, 12, 0, 0, }, /* 705 */ - { 99, 12, 3, 0, 0, }, /* 706 */ - { 99, 10, 5, 0, 0, }, /* 707 */ - { 99, 7, 12, 0, 0, }, /* 708 */ - { 99, 7, 4, 0, 0, }, /* 709 */ - { 99, 21, 12, 0, 0, }, /* 710 */ - { 99, 13, 12, 0, 0, }, /* 711 */ - { 47, 15, 12, 0, 0, }, /* 712 */ - { 107, 7, 12, 0, 0, }, /* 713 */ - { 107, 10, 5, 0, 0, }, /* 714 */ - { 107, 12, 3, 0, 0, }, /* 715 */ - { 107, 21, 12, 0, 0, }, /* 716 */ - { 128, 7, 12, 0, 0, }, /* 717 */ - { 128, 21, 12, 0, 0, }, /* 718 */ - { 108, 7, 12, 0, 0, }, /* 719 */ - { 108, 12, 3, 0, 0, }, /* 720 */ - { 108, 10, 5, 0, 0, }, /* 721 */ - { 108, 13, 12, 0, 0, }, /* 722 */ - { 106, 12, 3, 0, 0, }, /* 723 */ - { 106, 10, 5, 0, 0, }, /* 724 */ - { 106, 7, 12, 0, 0, }, /* 725 */ - { 106, 10, 3, 0, 0, }, /* 726 */ - { 134, 7, 12, 0, 0, }, /* 727 */ - { 134, 10, 5, 0, 0, }, /* 728 */ - { 134, 12, 3, 0, 0, }, /* 729 */ - { 134, 21, 12, 0, 0, }, /* 730 */ - { 134, 13, 12, 0, 0, }, /* 731 */ - { 123, 7, 12, 0, 0, }, /* 732 */ - { 123, 10, 3, 0, 0, }, /* 733 */ - { 123, 10, 5, 0, 0, }, /* 734 */ - { 123, 12, 3, 0, 0, }, /* 735 */ - { 123, 21, 12, 0, 0, }, /* 736 */ - { 123, 13, 12, 0, 0, }, /* 737 */ - { 122, 7, 12, 0, 0, }, /* 738 */ - { 122, 10, 3, 0, 0, }, /* 739 */ - { 122, 10, 5, 0, 0, }, /* 740 */ - { 122, 12, 3, 0, 0, }, /* 741 */ - { 122, 21, 12, 0, 0, }, /* 742 */ - { 113, 7, 12, 0, 0, }, /* 743 */ - { 113, 10, 5, 0, 0, }, /* 744 */ - { 113, 12, 3, 0, 0, }, /* 745 */ - { 113, 21, 12, 0, 0, }, /* 746 */ - { 113, 13, 12, 0, 0, }, /* 747 */ - { 101, 7, 12, 0, 0, }, /* 748 */ - { 101, 12, 3, 0, 0, }, /* 749 */ - { 101, 10, 5, 0, 0, }, /* 750 */ - { 101, 13, 12, 0, 0, }, /* 751 */ - { 125, 7, 12, 0, 0, }, /* 752 */ - { 125, 12, 3, 0, 0, }, /* 753 */ - { 125, 10, 5, 0, 0, }, /* 754 */ - { 125, 13, 12, 0, 0, }, /* 755 */ - { 125, 15, 12, 0, 0, }, /* 756 */ - { 125, 21, 12, 0, 0, }, /* 757 */ - { 125, 26, 12, 0, 0, }, /* 758 */ - { 141, 7, 12, 0, 0, }, /* 759 */ - { 141, 10, 5, 0, 0, }, /* 760 */ - { 141, 12, 3, 0, 0, }, /* 761 */ - { 141, 21, 12, 0, 0, }, /* 762 */ - { 124, 9, 12, 0, 32, }, /* 763 */ - { 124, 5, 12, 0, -32, }, /* 764 */ - { 124, 13, 12, 0, 0, }, /* 765 */ - { 124, 15, 12, 0, 0, }, /* 766 */ - { 124, 7, 12, 0, 0, }, /* 767 */ - { 140, 7, 12, 0, 0, }, /* 768 */ - { 140, 12, 3, 0, 0, }, /* 769 */ - { 140, 10, 5, 0, 0, }, /* 770 */ - { 140, 7, 4, 0, 0, }, /* 771 */ - { 140, 21, 12, 0, 0, }, /* 772 */ - { 139, 7, 12, 0, 0, }, /* 773 */ - { 139, 12, 3, 0, 0, }, /* 774 */ - { 139, 10, 5, 0, 0, }, /* 775 */ - { 139, 7, 4, 0, 0, }, /* 776 */ - { 139, 21, 12, 0, 0, }, /* 777 */ - { 121, 7, 12, 0, 0, }, /* 778 */ - { 132, 7, 12, 0, 0, }, /* 779 */ - { 132, 10, 5, 0, 0, }, /* 780 */ - { 132, 12, 3, 0, 0, }, /* 781 */ - { 132, 21, 12, 0, 0, }, /* 782 */ - { 132, 13, 12, 0, 0, }, /* 783 */ - { 132, 15, 12, 0, 0, }, /* 784 */ - { 133, 21, 12, 0, 0, }, /* 785 */ - { 133, 7, 12, 0, 0, }, /* 786 */ - { 133, 12, 3, 0, 0, }, /* 787 */ - { 133, 10, 5, 0, 0, }, /* 788 */ - { 137, 7, 12, 0, 0, }, /* 789 */ - { 137, 12, 3, 0, 0, }, /* 790 */ - { 137, 7, 4, 0, 0, }, /* 791 */ - { 137, 13, 12, 0, 0, }, /* 792 */ - { 142, 7, 12, 0, 0, }, /* 793 */ - { 142, 10, 5, 0, 0, }, /* 794 */ - { 142, 12, 3, 0, 0, }, /* 795 */ - { 142, 13, 12, 0, 0, }, /* 796 */ - { 144, 7, 12, 0, 0, }, /* 797 */ - { 144, 12, 3, 0, 0, }, /* 798 */ - { 144, 10, 5, 0, 0, }, /* 799 */ - { 144, 21, 12, 0, 0, }, /* 800 */ - { 62, 7, 12, 0, 0, }, /* 801 */ - { 62, 14, 12, 0, 0, }, /* 802 */ - { 62, 21, 12, 0, 0, }, /* 803 */ - { 79, 7, 12, 0, 0, }, /* 804 */ - { 126, 7, 12, 0, 0, }, /* 805 */ - { 114, 7, 12, 0, 0, }, /* 806 */ - { 114, 13, 12, 0, 0, }, /* 807 */ - { 114, 21, 12, 0, 0, }, /* 808 */ - { 102, 7, 12, 0, 0, }, /* 809 */ - { 102, 12, 3, 0, 0, }, /* 810 */ - { 102, 21, 12, 0, 0, }, /* 811 */ - { 118, 7, 12, 0, 0, }, /* 812 */ - { 118, 12, 3, 0, 0, }, /* 813 */ - { 118, 21, 12, 0, 0, }, /* 814 */ - { 118, 26, 12, 0, 0, }, /* 815 */ - { 118, 6, 12, 0, 0, }, /* 816 */ - { 118, 13, 12, 0, 0, }, /* 817 */ - { 118, 15, 12, 0, 0, }, /* 818 */ - { 145, 9, 12, 0, 32, }, /* 819 */ - { 145, 5, 12, 0, -32, }, /* 820 */ - { 145, 15, 12, 0, 0, }, /* 821 */ - { 145, 21, 12, 0, 0, }, /* 822 */ - { 98, 7, 12, 0, 0, }, /* 823 */ - { 98, 10, 5, 0, 0, }, /* 824 */ - { 98, 12, 3, 0, 0, }, /* 825 */ - { 98, 6, 12, 0, 0, }, /* 826 */ - { 136, 6, 12, 0, 0, }, /* 827 */ - { 138, 6, 12, 0, 0, }, /* 828 */ - { 136, 7, 12, 0, 0, }, /* 829 */ - { 138, 7, 12, 0, 0, }, /* 830 */ - { 104, 7, 12, 0, 0, }, /* 831 */ - { 104, 26, 12, 0, 0, }, /* 832 */ - { 104, 12, 3, 0, 0, }, /* 833 */ - { 104, 21, 12, 0, 0, }, /* 834 */ - { 9, 10, 3, 0, 0, }, /* 835 */ - { 19, 12, 3, 0, 0, }, /* 836 */ - { 130, 26, 12, 0, 0, }, /* 837 */ - { 130, 12, 3, 0, 0, }, /* 838 */ - { 130, 21, 12, 0, 0, }, /* 839 */ - { 17, 12, 3, 0, 0, }, /* 840 */ - { 112, 7, 12, 0, 0, }, /* 841 */ - { 112, 15, 12, 0, 0, }, /* 842 */ - { 112, 12, 3, 0, 0, }, /* 843 */ - { 131, 9, 12, 0, 34, }, /* 844 */ - { 131, 5, 12, 0, -34, }, /* 845 */ - { 131, 12, 3, 0, 0, }, /* 846 */ - { 131, 13, 12, 0, 0, }, /* 847 */ - { 131, 21, 12, 0, 0, }, /* 848 */ - { 9, 2, 14, 0, 0, }, /* 849 */ - { 9, 26, 11, 0, 0, }, /* 850 */ - { 26, 26, 12, 0, 0, }, /* 851 */ - { 9, 24, 3, 0, 0, }, /* 852 */ - { 9, 1, 3, 0, 0, }, /* 853 */ + { 10, 0, 2, 0, 0, }, /* 0 */ + { 10, 0, 1, 0, 0, }, /* 1 */ + { 10, 0, 0, 0, 0, }, /* 2 */ + { 10, 29, 12, 0, 0, }, /* 3 */ + { 10, 21, 12, 0, 0, }, /* 4 */ + { 10, 23, 12, 0, 0, }, /* 5 */ + { 10, 22, 12, 0, 0, }, /* 6 */ + { 10, 18, 12, 0, 0, }, /* 7 */ + { 10, 25, 12, 0, 0, }, /* 8 */ + { 10, 17, 12, 0, 0, }, /* 9 */ + { 10, 13, 12, 0, 0, }, /* 10 */ + { 34, 9, 12, 0, 32, }, /* 11 */ + { 34, 9, 12, 100, 32, }, /* 12 */ + { 34, 9, 12, 1, 32, }, /* 13 */ + { 10, 24, 12, 0, 0, }, /* 14 */ + { 10, 16, 12, 0, 0, }, /* 15 */ + { 34, 5, 12, 0, -32, }, /* 16 */ + { 34, 5, 12, 100, -32, }, /* 17 */ + { 34, 5, 12, 1, -32, }, /* 18 */ + { 10, 26, 12, 0, 0, }, /* 19 */ + { 10, 26, 14, 0, 0, }, /* 20 */ + { 34, 7, 12, 0, 0, }, /* 21 */ + { 10, 20, 12, 0, 0, }, /* 22 */ + { 10, 1, 2, 0, 0, }, /* 23 */ + { 10, 15, 12, 0, 0, }, /* 24 */ + { 10, 5, 12, 26, 775, }, /* 25 */ + { 10, 19, 12, 0, 0, }, /* 26 */ + { 34, 9, 12, 104, 32, }, /* 27 */ + { 34, 5, 12, 0, 7615, }, /* 28 */ + { 34, 5, 12, 104, -32, }, /* 29 */ + { 34, 5, 12, 0, 121, }, /* 30 */ + { 34, 9, 12, 0, 1, }, /* 31 */ + { 34, 5, 12, 0, -1, }, /* 32 */ + { 34, 9, 12, 0, 0, }, /* 33 */ + { 34, 5, 12, 0, 0, }, /* 34 */ + { 34, 9, 12, 0, -121, }, /* 35 */ + { 34, 5, 12, 1, -268, }, /* 36 */ + { 34, 5, 12, 0, 195, }, /* 37 */ + { 34, 9, 12, 0, 210, }, /* 38 */ + { 34, 9, 12, 0, 206, }, /* 39 */ + { 34, 9, 12, 0, 205, }, /* 40 */ + { 34, 9, 12, 0, 79, }, /* 41 */ + { 34, 9, 12, 0, 202, }, /* 42 */ + { 34, 9, 12, 0, 203, }, /* 43 */ + { 34, 9, 12, 0, 207, }, /* 44 */ + { 34, 5, 12, 0, 97, }, /* 45 */ + { 34, 9, 12, 0, 211, }, /* 46 */ + { 34, 9, 12, 0, 209, }, /* 47 */ + { 34, 5, 12, 0, 163, }, /* 48 */ + { 34, 9, 12, 0, 213, }, /* 49 */ + { 34, 5, 12, 0, 130, }, /* 50 */ + { 34, 9, 12, 0, 214, }, /* 51 */ + { 34, 9, 12, 0, 218, }, /* 52 */ + { 34, 9, 12, 0, 217, }, /* 53 */ + { 34, 9, 12, 0, 219, }, /* 54 */ + { 34, 5, 12, 0, 56, }, /* 55 */ + { 34, 9, 12, 5, 2, }, /* 56 */ + { 34, 8, 12, 5, 1, }, /* 57 */ + { 34, 5, 12, 5, -2, }, /* 58 */ + { 34, 9, 12, 9, 2, }, /* 59 */ + { 34, 8, 12, 9, 1, }, /* 60 */ + { 34, 5, 12, 9, -2, }, /* 61 */ + { 34, 9, 12, 13, 2, }, /* 62 */ + { 34, 8, 12, 13, 1, }, /* 63 */ + { 34, 5, 12, 13, -2, }, /* 64 */ + { 34, 5, 12, 0, -79, }, /* 65 */ + { 34, 9, 12, 17, 2, }, /* 66 */ + { 34, 8, 12, 17, 1, }, /* 67 */ + { 34, 5, 12, 17, -2, }, /* 68 */ + { 34, 9, 12, 0, -97, }, /* 69 */ + { 34, 9, 12, 0, -56, }, /* 70 */ + { 34, 9, 12, 0, -130, }, /* 71 */ + { 34, 9, 12, 0, 10795, }, /* 72 */ + { 34, 9, 12, 0, -163, }, /* 73 */ + { 34, 9, 12, 0, 10792, }, /* 74 */ + { 34, 5, 12, 0, 10815, }, /* 75 */ + { 34, 9, 12, 0, -195, }, /* 76 */ + { 34, 9, 12, 0, 69, }, /* 77 */ + { 34, 9, 12, 0, 71, }, /* 78 */ + { 34, 5, 12, 0, 10783, }, /* 79 */ + { 34, 5, 12, 0, 10780, }, /* 80 */ + { 34, 5, 12, 0, 10782, }, /* 81 */ + { 34, 5, 12, 0, -210, }, /* 82 */ + { 34, 5, 12, 0, -206, }, /* 83 */ + { 34, 5, 12, 0, -205, }, /* 84 */ + { 34, 5, 12, 0, -202, }, /* 85 */ + { 34, 5, 12, 0, -203, }, /* 86 */ + { 34, 5, 12, 0, 42319, }, /* 87 */ + { 34, 5, 12, 0, 42315, }, /* 88 */ + { 34, 5, 12, 0, -207, }, /* 89 */ + { 34, 5, 12, 0, 42280, }, /* 90 */ + { 34, 5, 12, 0, 42308, }, /* 91 */ + { 34, 5, 12, 0, -209, }, /* 92 */ + { 34, 5, 12, 0, -211, }, /* 93 */ + { 34, 5, 12, 0, 10743, }, /* 94 */ + { 34, 5, 12, 0, 42305, }, /* 95 */ + { 34, 5, 12, 0, 10749, }, /* 96 */ + { 34, 5, 12, 0, -213, }, /* 97 */ + { 34, 5, 12, 0, -214, }, /* 98 */ + { 34, 5, 12, 0, 10727, }, /* 99 */ + { 34, 5, 12, 0, -218, }, /* 100 */ + { 34, 5, 12, 0, 42282, }, /* 101 */ + { 34, 5, 12, 0, -69, }, /* 102 */ + { 34, 5, 12, 0, -217, }, /* 103 */ + { 34, 5, 12, 0, -71, }, /* 104 */ + { 34, 5, 12, 0, -219, }, /* 105 */ + { 34, 5, 12, 0, 42261, }, /* 106 */ + { 34, 5, 12, 0, 42258, }, /* 107 */ + { 34, 6, 12, 0, 0, }, /* 108 */ + { 10, 6, 12, 0, 0, }, /* 109 */ + { 4, 24, 12, 0, 0, }, /* 110 */ + { 28, 12, 3, 0, 0, }, /* 111 */ + { 28, 12, 3, 21, 116, }, /* 112 */ + { 20, 9, 12, 0, 1, }, /* 113 */ + { 20, 5, 12, 0, -1, }, /* 114 */ + { 20, 24, 12, 0, 0, }, /* 115 */ + { 0, 2, 12, 0, 0, }, /* 116 */ + { 20, 6, 12, 0, 0, }, /* 117 */ + { 20, 5, 12, 0, 130, }, /* 118 */ + { 20, 9, 12, 0, 116, }, /* 119 */ + { 20, 9, 12, 0, 38, }, /* 120 */ + { 20, 9, 12, 0, 37, }, /* 121 */ + { 20, 9, 12, 0, 64, }, /* 122 */ + { 20, 9, 12, 0, 63, }, /* 123 */ + { 20, 5, 12, 0, 0, }, /* 124 */ + { 20, 9, 12, 0, 32, }, /* 125 */ + { 20, 9, 12, 34, 32, }, /* 126 */ + { 20, 9, 12, 59, 32, }, /* 127 */ + { 20, 9, 12, 38, 32, }, /* 128 */ + { 20, 9, 12, 21, 32, }, /* 129 */ + { 20, 9, 12, 51, 32, }, /* 130 */ + { 20, 9, 12, 26, 32, }, /* 131 */ + { 20, 9, 12, 47, 32, }, /* 132 */ + { 20, 9, 12, 55, 32, }, /* 133 */ + { 20, 9, 12, 30, 32, }, /* 134 */ + { 20, 9, 12, 43, 32, }, /* 135 */ + { 20, 9, 12, 96, 32, }, /* 136 */ + { 20, 5, 12, 0, -38, }, /* 137 */ + { 20, 5, 12, 0, -37, }, /* 138 */ + { 20, 5, 12, 0, -32, }, /* 139 */ + { 20, 5, 12, 34, -32, }, /* 140 */ + { 20, 5, 12, 59, -32, }, /* 141 */ + { 20, 5, 12, 38, -32, }, /* 142 */ + { 20, 5, 12, 21, -116, }, /* 143 */ + { 20, 5, 12, 51, -32, }, /* 144 */ + { 20, 5, 12, 26, -775, }, /* 145 */ + { 20, 5, 12, 47, -32, }, /* 146 */ + { 20, 5, 12, 55, -32, }, /* 147 */ + { 20, 5, 12, 30, 1, }, /* 148 */ + { 20, 5, 12, 30, -32, }, /* 149 */ + { 20, 5, 12, 43, -32, }, /* 150 */ + { 20, 5, 12, 96, -32, }, /* 151 */ + { 20, 5, 12, 0, -64, }, /* 152 */ + { 20, 5, 12, 0, -63, }, /* 153 */ + { 20, 9, 12, 0, 8, }, /* 154 */ + { 20, 5, 12, 34, -30, }, /* 155 */ + { 20, 5, 12, 38, -25, }, /* 156 */ + { 20, 9, 12, 0, 0, }, /* 157 */ + { 20, 5, 12, 43, -15, }, /* 158 */ + { 20, 5, 12, 47, -22, }, /* 159 */ + { 20, 5, 12, 0, -8, }, /* 160 */ + { 11, 9, 12, 0, 1, }, /* 161 */ + { 11, 5, 12, 0, -1, }, /* 162 */ + { 20, 5, 12, 51, -54, }, /* 163 */ + { 20, 5, 12, 55, -48, }, /* 164 */ + { 20, 5, 12, 0, 7, }, /* 165 */ + { 20, 5, 12, 0, -116, }, /* 166 */ + { 20, 9, 12, 38, -60, }, /* 167 */ + { 20, 5, 12, 59, -64, }, /* 168 */ + { 20, 25, 12, 0, 0, }, /* 169 */ + { 20, 9, 12, 0, -7, }, /* 170 */ + { 20, 9, 12, 0, -130, }, /* 171 */ + { 13, 9, 12, 0, 80, }, /* 172 */ + { 13, 9, 12, 0, 32, }, /* 173 */ + { 13, 9, 12, 63, 32, }, /* 174 */ + { 13, 9, 12, 67, 32, }, /* 175 */ + { 13, 9, 12, 71, 32, }, /* 176 */ + { 13, 9, 12, 75, 32, }, /* 177 */ + { 13, 9, 12, 79, 32, }, /* 178 */ + { 13, 9, 12, 84, 32, }, /* 179 */ + { 13, 5, 12, 0, -32, }, /* 180 */ + { 13, 5, 12, 63, -32, }, /* 181 */ + { 13, 5, 12, 67, -32, }, /* 182 */ + { 13, 5, 12, 71, -32, }, /* 183 */ + { 13, 5, 12, 75, -32, }, /* 184 */ + { 13, 5, 12, 79, -32, }, /* 185 */ + { 13, 5, 12, 84, -32, }, /* 186 */ + { 13, 5, 12, 0, -80, }, /* 187 */ + { 13, 9, 12, 0, 1, }, /* 188 */ + { 13, 5, 12, 0, -1, }, /* 189 */ + { 13, 9, 12, 88, 1, }, /* 190 */ + { 13, 5, 12, 88, -1, }, /* 191 */ + { 13, 26, 12, 0, 0, }, /* 192 */ + { 13, 12, 3, 0, 0, }, /* 193 */ + { 13, 11, 3, 0, 0, }, /* 194 */ + { 13, 9, 12, 0, 15, }, /* 195 */ + { 13, 5, 12, 0, -15, }, /* 196 */ + { 2, 9, 12, 0, 48, }, /* 197 */ + { 2, 6, 12, 0, 0, }, /* 198 */ + { 2, 21, 12, 0, 0, }, /* 199 */ + { 2, 5, 12, 0, 0, }, /* 200 */ + { 2, 5, 12, 0, -48, }, /* 201 */ + { 2, 17, 12, 0, 0, }, /* 202 */ + { 2, 26, 12, 0, 0, }, /* 203 */ + { 2, 23, 12, 0, 0, }, /* 204 */ + { 26, 12, 3, 0, 0, }, /* 205 */ + { 26, 17, 12, 0, 0, }, /* 206 */ + { 26, 21, 12, 0, 0, }, /* 207 */ + { 26, 7, 12, 0, 0, }, /* 208 */ + { 1, 1, 4, 0, 0, }, /* 209 */ + { 10, 1, 4, 0, 0, }, /* 210 */ + { 1, 25, 12, 0, 0, }, /* 211 */ + { 1, 21, 12, 0, 0, }, /* 212 */ + { 1, 23, 12, 0, 0, }, /* 213 */ + { 1, 26, 12, 0, 0, }, /* 214 */ + { 1, 12, 3, 0, 0, }, /* 215 */ + { 1, 1, 2, 0, 0, }, /* 216 */ + { 1, 7, 12, 0, 0, }, /* 217 */ + { 1, 13, 12, 0, 0, }, /* 218 */ + { 1, 6, 12, 0, 0, }, /* 219 */ + { 50, 21, 12, 0, 0, }, /* 220 */ + { 50, 1, 4, 0, 0, }, /* 221 */ + { 50, 7, 12, 0, 0, }, /* 222 */ + { 50, 12, 3, 0, 0, }, /* 223 */ + { 56, 7, 12, 0, 0, }, /* 224 */ + { 56, 12, 3, 0, 0, }, /* 225 */ + { 64, 13, 12, 0, 0, }, /* 226 */ + { 64, 7, 12, 0, 0, }, /* 227 */ + { 64, 12, 3, 0, 0, }, /* 228 */ + { 64, 6, 12, 0, 0, }, /* 229 */ + { 64, 26, 12, 0, 0, }, /* 230 */ + { 64, 21, 12, 0, 0, }, /* 231 */ + { 64, 23, 12, 0, 0, }, /* 232 */ + { 90, 7, 12, 0, 0, }, /* 233 */ + { 90, 12, 3, 0, 0, }, /* 234 */ + { 90, 6, 12, 0, 0, }, /* 235 */ + { 90, 21, 12, 0, 0, }, /* 236 */ + { 95, 7, 12, 0, 0, }, /* 237 */ + { 95, 12, 3, 0, 0, }, /* 238 */ + { 95, 21, 12, 0, 0, }, /* 239 */ + { 15, 12, 3, 0, 0, }, /* 240 */ + { 15, 10, 5, 0, 0, }, /* 241 */ + { 15, 7, 12, 0, 0, }, /* 242 */ + { 15, 13, 12, 0, 0, }, /* 243 */ + { 15, 21, 12, 0, 0, }, /* 244 */ + { 15, 6, 12, 0, 0, }, /* 245 */ + { 3, 7, 12, 0, 0, }, /* 246 */ + { 3, 12, 3, 0, 0, }, /* 247 */ + { 3, 10, 5, 0, 0, }, /* 248 */ + { 3, 10, 3, 0, 0, }, /* 249 */ + { 3, 13, 12, 0, 0, }, /* 250 */ + { 3, 23, 12, 0, 0, }, /* 251 */ + { 3, 15, 12, 0, 0, }, /* 252 */ + { 3, 26, 12, 0, 0, }, /* 253 */ + { 3, 21, 12, 0, 0, }, /* 254 */ + { 22, 12, 3, 0, 0, }, /* 255 */ + { 22, 10, 5, 0, 0, }, /* 256 */ + { 22, 7, 12, 0, 0, }, /* 257 */ + { 22, 13, 12, 0, 0, }, /* 258 */ + { 22, 21, 12, 0, 0, }, /* 259 */ + { 21, 12, 3, 0, 0, }, /* 260 */ + { 21, 10, 5, 0, 0, }, /* 261 */ + { 21, 7, 12, 0, 0, }, /* 262 */ + { 21, 13, 12, 0, 0, }, /* 263 */ + { 21, 21, 12, 0, 0, }, /* 264 */ + { 21, 23, 12, 0, 0, }, /* 265 */ + { 44, 12, 3, 0, 0, }, /* 266 */ + { 44, 10, 5, 0, 0, }, /* 267 */ + { 44, 7, 12, 0, 0, }, /* 268 */ + { 44, 10, 3, 0, 0, }, /* 269 */ + { 44, 13, 12, 0, 0, }, /* 270 */ + { 44, 26, 12, 0, 0, }, /* 271 */ + { 44, 15, 12, 0, 0, }, /* 272 */ + { 54, 12, 3, 0, 0, }, /* 273 */ + { 54, 7, 12, 0, 0, }, /* 274 */ + { 54, 10, 3, 0, 0, }, /* 275 */ + { 54, 10, 5, 0, 0, }, /* 276 */ + { 54, 13, 12, 0, 0, }, /* 277 */ + { 54, 15, 12, 0, 0, }, /* 278 */ + { 54, 26, 12, 0, 0, }, /* 279 */ + { 54, 23, 12, 0, 0, }, /* 280 */ + { 55, 12, 3, 0, 0, }, /* 281 */ + { 55, 10, 5, 0, 0, }, /* 282 */ + { 55, 7, 12, 0, 0, }, /* 283 */ + { 55, 13, 12, 0, 0, }, /* 284 */ + { 55, 15, 12, 0, 0, }, /* 285 */ + { 55, 26, 12, 0, 0, }, /* 286 */ + { 29, 7, 12, 0, 0, }, /* 287 */ + { 29, 12, 3, 0, 0, }, /* 288 */ + { 29, 10, 5, 0, 0, }, /* 289 */ + { 29, 21, 12, 0, 0, }, /* 290 */ + { 29, 10, 3, 0, 0, }, /* 291 */ + { 29, 13, 12, 0, 0, }, /* 292 */ + { 37, 12, 3, 0, 0, }, /* 293 */ + { 37, 10, 5, 0, 0, }, /* 294 */ + { 37, 7, 12, 0, 0, }, /* 295 */ + { 37, 10, 3, 0, 0, }, /* 296 */ + { 37, 7, 4, 0, 0, }, /* 297 */ + { 37, 26, 12, 0, 0, }, /* 298 */ + { 37, 15, 12, 0, 0, }, /* 299 */ + { 37, 13, 12, 0, 0, }, /* 300 */ + { 48, 10, 5, 0, 0, }, /* 301 */ + { 48, 7, 12, 0, 0, }, /* 302 */ + { 48, 12, 3, 0, 0, }, /* 303 */ + { 48, 10, 3, 0, 0, }, /* 304 */ + { 48, 13, 12, 0, 0, }, /* 305 */ + { 48, 21, 12, 0, 0, }, /* 306 */ + { 57, 7, 12, 0, 0, }, /* 307 */ + { 57, 12, 3, 0, 0, }, /* 308 */ + { 57, 7, 5, 0, 0, }, /* 309 */ + { 57, 6, 12, 0, 0, }, /* 310 */ + { 57, 21, 12, 0, 0, }, /* 311 */ + { 57, 13, 12, 0, 0, }, /* 312 */ + { 33, 7, 12, 0, 0, }, /* 313 */ + { 33, 12, 3, 0, 0, }, /* 314 */ + { 33, 7, 5, 0, 0, }, /* 315 */ + { 33, 6, 12, 0, 0, }, /* 316 */ + { 33, 13, 12, 0, 0, }, /* 317 */ + { 58, 7, 12, 0, 0, }, /* 318 */ + { 58, 26, 12, 0, 0, }, /* 319 */ + { 58, 21, 12, 0, 0, }, /* 320 */ + { 58, 12, 3, 0, 0, }, /* 321 */ + { 58, 13, 12, 0, 0, }, /* 322 */ + { 58, 15, 12, 0, 0, }, /* 323 */ + { 58, 22, 12, 0, 0, }, /* 324 */ + { 58, 18, 12, 0, 0, }, /* 325 */ + { 58, 10, 5, 0, 0, }, /* 326 */ + { 39, 7, 12, 0, 0, }, /* 327 */ + { 39, 10, 12, 0, 0, }, /* 328 */ + { 39, 12, 3, 0, 0, }, /* 329 */ + { 39, 10, 5, 0, 0, }, /* 330 */ + { 39, 13, 12, 0, 0, }, /* 331 */ + { 39, 21, 12, 0, 0, }, /* 332 */ + { 39, 26, 12, 0, 0, }, /* 333 */ + { 17, 9, 12, 0, 7264, }, /* 334 */ + { 17, 5, 12, 0, 3008, }, /* 335 */ + { 17, 6, 12, 0, 0, }, /* 336 */ + { 24, 7, 6, 0, 0, }, /* 337 */ + { 24, 7, 7, 0, 0, }, /* 338 */ + { 24, 7, 8, 0, 0, }, /* 339 */ + { 16, 7, 12, 0, 0, }, /* 340 */ + { 16, 12, 3, 0, 0, }, /* 341 */ + { 16, 21, 12, 0, 0, }, /* 342 */ + { 16, 15, 12, 0, 0, }, /* 343 */ + { 16, 26, 12, 0, 0, }, /* 344 */ + { 9, 9, 12, 0, 38864, }, /* 345 */ + { 9, 9, 12, 0, 8, }, /* 346 */ + { 9, 5, 12, 0, -8, }, /* 347 */ + { 8, 17, 12, 0, 0, }, /* 348 */ + { 8, 7, 12, 0, 0, }, /* 349 */ + { 8, 21, 12, 0, 0, }, /* 350 */ + { 41, 29, 12, 0, 0, }, /* 351 */ + { 41, 7, 12, 0, 0, }, /* 352 */ + { 41, 22, 12, 0, 0, }, /* 353 */ + { 41, 18, 12, 0, 0, }, /* 354 */ + { 46, 7, 12, 0, 0, }, /* 355 */ + { 46, 14, 12, 0, 0, }, /* 356 */ + { 51, 7, 12, 0, 0, }, /* 357 */ + { 51, 12, 3, 0, 0, }, /* 358 */ + { 25, 7, 12, 0, 0, }, /* 359 */ + { 25, 12, 3, 0, 0, }, /* 360 */ + { 7, 7, 12, 0, 0, }, /* 361 */ + { 7, 12, 3, 0, 0, }, /* 362 */ + { 52, 7, 12, 0, 0, }, /* 363 */ + { 52, 12, 3, 0, 0, }, /* 364 */ + { 32, 7, 12, 0, 0, }, /* 365 */ + { 32, 12, 3, 0, 0, }, /* 366 */ + { 32, 10, 5, 0, 0, }, /* 367 */ + { 32, 21, 12, 0, 0, }, /* 368 */ + { 32, 6, 12, 0, 0, }, /* 369 */ + { 32, 23, 12, 0, 0, }, /* 370 */ + { 32, 13, 12, 0, 0, }, /* 371 */ + { 32, 15, 12, 0, 0, }, /* 372 */ + { 38, 21, 12, 0, 0, }, /* 373 */ + { 38, 17, 12, 0, 0, }, /* 374 */ + { 38, 12, 3, 0, 0, }, /* 375 */ + { 38, 1, 2, 0, 0, }, /* 376 */ + { 38, 13, 12, 0, 0, }, /* 377 */ + { 38, 7, 12, 0, 0, }, /* 378 */ + { 38, 6, 12, 0, 0, }, /* 379 */ + { 35, 7, 12, 0, 0, }, /* 380 */ + { 35, 12, 3, 0, 0, }, /* 381 */ + { 35, 10, 5, 0, 0, }, /* 382 */ + { 35, 26, 12, 0, 0, }, /* 383 */ + { 35, 21, 12, 0, 0, }, /* 384 */ + { 35, 13, 12, 0, 0, }, /* 385 */ + { 53, 7, 12, 0, 0, }, /* 386 */ + { 40, 7, 12, 0, 0, }, /* 387 */ + { 40, 13, 12, 0, 0, }, /* 388 */ + { 40, 15, 12, 0, 0, }, /* 389 */ + { 40, 26, 12, 0, 0, }, /* 390 */ + { 32, 26, 12, 0, 0, }, /* 391 */ + { 6, 7, 12, 0, 0, }, /* 392 */ + { 6, 12, 3, 0, 0, }, /* 393 */ + { 6, 10, 5, 0, 0, }, /* 394 */ + { 6, 21, 12, 0, 0, }, /* 395 */ + { 91, 7, 12, 0, 0, }, /* 396 */ + { 91, 10, 5, 0, 0, }, /* 397 */ + { 91, 12, 3, 0, 0, }, /* 398 */ + { 91, 10, 12, 0, 0, }, /* 399 */ + { 91, 13, 12, 0, 0, }, /* 400 */ + { 91, 21, 12, 0, 0, }, /* 401 */ + { 91, 6, 12, 0, 0, }, /* 402 */ + { 28, 11, 3, 0, 0, }, /* 403 */ + { 62, 12, 3, 0, 0, }, /* 404 */ + { 62, 10, 5, 0, 0, }, /* 405 */ + { 62, 7, 12, 0, 0, }, /* 406 */ + { 62, 13, 12, 0, 0, }, /* 407 */ + { 62, 21, 12, 0, 0, }, /* 408 */ + { 62, 26, 12, 0, 0, }, /* 409 */ + { 76, 12, 3, 0, 0, }, /* 410 */ + { 76, 10, 5, 0, 0, }, /* 411 */ + { 76, 7, 12, 0, 0, }, /* 412 */ + { 76, 13, 12, 0, 0, }, /* 413 */ + { 93, 7, 12, 0, 0, }, /* 414 */ + { 93, 12, 3, 0, 0, }, /* 415 */ + { 93, 10, 5, 0, 0, }, /* 416 */ + { 93, 21, 12, 0, 0, }, /* 417 */ + { 70, 7, 12, 0, 0, }, /* 418 */ + { 70, 10, 5, 0, 0, }, /* 419 */ + { 70, 12, 3, 0, 0, }, /* 420 */ + { 70, 21, 12, 0, 0, }, /* 421 */ + { 70, 13, 12, 0, 0, }, /* 422 */ + { 73, 13, 12, 0, 0, }, /* 423 */ + { 73, 7, 12, 0, 0, }, /* 424 */ + { 73, 6, 12, 0, 0, }, /* 425 */ + { 73, 21, 12, 0, 0, }, /* 426 */ + { 13, 5, 12, 63, -6222, }, /* 427 */ + { 13, 5, 12, 67, -6221, }, /* 428 */ + { 13, 5, 12, 71, -6212, }, /* 429 */ + { 13, 5, 12, 75, -6210, }, /* 430 */ + { 13, 5, 12, 79, -6210, }, /* 431 */ + { 13, 5, 12, 79, -6211, }, /* 432 */ + { 13, 5, 12, 84, -6204, }, /* 433 */ + { 13, 5, 12, 88, -6180, }, /* 434 */ + { 13, 5, 12, 108, 35267, }, /* 435 */ + { 17, 9, 12, 0, -3008, }, /* 436 */ + { 76, 21, 12, 0, 0, }, /* 437 */ + { 10, 10, 5, 0, 0, }, /* 438 */ + { 10, 7, 12, 0, 0, }, /* 439 */ + { 13, 5, 12, 0, 0, }, /* 440 */ + { 13, 6, 12, 0, 0, }, /* 441 */ + { 34, 5, 12, 0, 35332, }, /* 442 */ + { 34, 5, 12, 0, 3814, }, /* 443 */ + { 34, 9, 12, 92, 1, }, /* 444 */ + { 34, 5, 12, 92, -1, }, /* 445 */ + { 34, 5, 12, 92, -58, }, /* 446 */ + { 34, 9, 12, 0, -7615, }, /* 447 */ + { 20, 5, 12, 0, 8, }, /* 448 */ + { 20, 9, 12, 0, -8, }, /* 449 */ + { 20, 5, 12, 0, 74, }, /* 450 */ + { 20, 5, 12, 0, 86, }, /* 451 */ + { 20, 5, 12, 0, 100, }, /* 452 */ + { 20, 5, 12, 0, 128, }, /* 453 */ + { 20, 5, 12, 0, 112, }, /* 454 */ + { 20, 5, 12, 0, 126, }, /* 455 */ + { 20, 8, 12, 0, -8, }, /* 456 */ + { 20, 5, 12, 0, 9, }, /* 457 */ + { 20, 9, 12, 0, -74, }, /* 458 */ + { 20, 8, 12, 0, -9, }, /* 459 */ + { 20, 5, 12, 21, -7173, }, /* 460 */ + { 20, 9, 12, 0, -86, }, /* 461 */ + { 20, 9, 12, 0, -100, }, /* 462 */ + { 20, 9, 12, 0, -112, }, /* 463 */ + { 20, 9, 12, 0, -128, }, /* 464 */ + { 20, 9, 12, 0, -126, }, /* 465 */ + { 28, 1, 3, 0, 0, }, /* 466 */ + { 28, 1, 13, 0, 0, }, /* 467 */ + { 10, 27, 2, 0, 0, }, /* 468 */ + { 10, 28, 2, 0, 0, }, /* 469 */ + { 10, 21, 14, 0, 0, }, /* 470 */ + { 0, 2, 2, 0, 0, }, /* 471 */ + { 10, 9, 12, 0, 0, }, /* 472 */ + { 10, 5, 12, 0, 0, }, /* 473 */ + { 20, 9, 12, 96, -7517, }, /* 474 */ + { 34, 9, 12, 100, -8383, }, /* 475 */ + { 34, 9, 12, 104, -8262, }, /* 476 */ + { 34, 9, 12, 0, 28, }, /* 477 */ + { 10, 5, 14, 0, 0, }, /* 478 */ + { 34, 5, 12, 0, -28, }, /* 479 */ + { 34, 14, 12, 0, 16, }, /* 480 */ + { 34, 14, 12, 0, -16, }, /* 481 */ + { 34, 14, 12, 0, 0, }, /* 482 */ + { 10, 25, 14, 0, 0, }, /* 483 */ + { 10, 26, 12, 0, 26, }, /* 484 */ + { 10, 26, 14, 0, 26, }, /* 485 */ + { 10, 26, 12, 0, -26, }, /* 486 */ + { 5, 26, 12, 0, 0, }, /* 487 */ + { 18, 9, 12, 0, 48, }, /* 488 */ + { 18, 5, 12, 0, -48, }, /* 489 */ + { 34, 9, 12, 0, -10743, }, /* 490 */ + { 34, 9, 12, 0, -3814, }, /* 491 */ + { 34, 9, 12, 0, -10727, }, /* 492 */ + { 34, 5, 12, 0, -10795, }, /* 493 */ + { 34, 5, 12, 0, -10792, }, /* 494 */ + { 34, 9, 12, 0, -10780, }, /* 495 */ + { 34, 9, 12, 0, -10749, }, /* 496 */ + { 34, 9, 12, 0, -10783, }, /* 497 */ + { 34, 9, 12, 0, -10782, }, /* 498 */ + { 34, 9, 12, 0, -10815, }, /* 499 */ + { 11, 5, 12, 0, 0, }, /* 500 */ + { 11, 26, 12, 0, 0, }, /* 501 */ + { 11, 12, 3, 0, 0, }, /* 502 */ + { 11, 21, 12, 0, 0, }, /* 503 */ + { 11, 15, 12, 0, 0, }, /* 504 */ + { 17, 5, 12, 0, -7264, }, /* 505 */ + { 59, 7, 12, 0, 0, }, /* 506 */ + { 59, 6, 12, 0, 0, }, /* 507 */ + { 59, 21, 12, 0, 0, }, /* 508 */ + { 59, 12, 3, 0, 0, }, /* 509 */ + { 23, 26, 12, 0, 0, }, /* 510 */ + { 23, 6, 12, 0, 0, }, /* 511 */ + { 23, 14, 12, 0, 0, }, /* 512 */ + { 24, 10, 3, 0, 0, }, /* 513 */ + { 10, 17, 14, 0, 0, }, /* 514 */ + { 27, 7, 12, 0, 0, }, /* 515 */ + { 27, 6, 12, 0, 0, }, /* 516 */ + { 30, 7, 12, 0, 0, }, /* 517 */ + { 30, 6, 12, 0, 0, }, /* 518 */ + { 4, 7, 12, 0, 0, }, /* 519 */ + { 24, 7, 12, 0, 0, }, /* 520 */ + { 24, 26, 12, 0, 0, }, /* 521 */ + { 30, 26, 12, 0, 0, }, /* 522 */ + { 23, 7, 12, 0, 0, }, /* 523 */ + { 61, 7, 12, 0, 0, }, /* 524 */ + { 61, 6, 12, 0, 0, }, /* 525 */ + { 61, 26, 12, 0, 0, }, /* 526 */ + { 86, 7, 12, 0, 0, }, /* 527 */ + { 86, 6, 12, 0, 0, }, /* 528 */ + { 86, 21, 12, 0, 0, }, /* 529 */ + { 77, 7, 12, 0, 0, }, /* 530 */ + { 77, 6, 12, 0, 0, }, /* 531 */ + { 77, 21, 12, 0, 0, }, /* 532 */ + { 77, 13, 12, 0, 0, }, /* 533 */ + { 13, 9, 12, 108, 1, }, /* 534 */ + { 13, 5, 12, 108, -35267, }, /* 535 */ + { 13, 7, 12, 0, 0, }, /* 536 */ + { 13, 21, 12, 0, 0, }, /* 537 */ + { 79, 7, 12, 0, 0, }, /* 538 */ + { 79, 14, 12, 0, 0, }, /* 539 */ + { 79, 12, 3, 0, 0, }, /* 540 */ + { 79, 21, 12, 0, 0, }, /* 541 */ + { 34, 9, 12, 0, -35332, }, /* 542 */ + { 34, 9, 12, 0, -42280, }, /* 543 */ + { 34, 9, 12, 0, -42308, }, /* 544 */ + { 34, 9, 12, 0, -42319, }, /* 545 */ + { 34, 9, 12, 0, -42315, }, /* 546 */ + { 34, 9, 12, 0, -42305, }, /* 547 */ + { 34, 9, 12, 0, -42258, }, /* 548 */ + { 34, 9, 12, 0, -42282, }, /* 549 */ + { 34, 9, 12, 0, -42261, }, /* 550 */ + { 34, 9, 12, 0, 928, }, /* 551 */ + { 49, 7, 12, 0, 0, }, /* 552 */ + { 49, 12, 3, 0, 0, }, /* 553 */ + { 49, 10, 5, 0, 0, }, /* 554 */ + { 49, 26, 12, 0, 0, }, /* 555 */ + { 65, 7, 12, 0, 0, }, /* 556 */ + { 65, 21, 12, 0, 0, }, /* 557 */ + { 75, 10, 5, 0, 0, }, /* 558 */ + { 75, 7, 12, 0, 0, }, /* 559 */ + { 75, 12, 3, 0, 0, }, /* 560 */ + { 75, 21, 12, 0, 0, }, /* 561 */ + { 75, 13, 12, 0, 0, }, /* 562 */ + { 69, 13, 12, 0, 0, }, /* 563 */ + { 69, 7, 12, 0, 0, }, /* 564 */ + { 69, 12, 3, 0, 0, }, /* 565 */ + { 69, 21, 12, 0, 0, }, /* 566 */ + { 74, 7, 12, 0, 0, }, /* 567 */ + { 74, 12, 3, 0, 0, }, /* 568 */ + { 74, 10, 5, 0, 0, }, /* 569 */ + { 74, 21, 12, 0, 0, }, /* 570 */ + { 84, 12, 3, 0, 0, }, /* 571 */ + { 84, 10, 5, 0, 0, }, /* 572 */ + { 84, 7, 12, 0, 0, }, /* 573 */ + { 84, 21, 12, 0, 0, }, /* 574 */ + { 84, 13, 12, 0, 0, }, /* 575 */ + { 39, 6, 12, 0, 0, }, /* 576 */ + { 68, 7, 12, 0, 0, }, /* 577 */ + { 68, 12, 3, 0, 0, }, /* 578 */ + { 68, 10, 5, 0, 0, }, /* 579 */ + { 68, 13, 12, 0, 0, }, /* 580 */ + { 68, 21, 12, 0, 0, }, /* 581 */ + { 92, 7, 12, 0, 0, }, /* 582 */ + { 92, 12, 3, 0, 0, }, /* 583 */ + { 92, 6, 12, 0, 0, }, /* 584 */ + { 92, 21, 12, 0, 0, }, /* 585 */ + { 87, 7, 12, 0, 0, }, /* 586 */ + { 87, 10, 5, 0, 0, }, /* 587 */ + { 87, 12, 3, 0, 0, }, /* 588 */ + { 87, 21, 12, 0, 0, }, /* 589 */ + { 87, 6, 12, 0, 0, }, /* 590 */ + { 34, 5, 12, 0, -928, }, /* 591 */ + { 9, 5, 12, 0, -38864, }, /* 592 */ + { 87, 13, 12, 0, 0, }, /* 593 */ + { 24, 7, 9, 0, 0, }, /* 594 */ + { 24, 7, 10, 0, 0, }, /* 595 */ + { 0, 4, 2, 0, 0, }, /* 596 */ + { 0, 3, 12, 0, 0, }, /* 597 */ + { 26, 25, 12, 0, 0, }, /* 598 */ + { 1, 24, 12, 0, 0, }, /* 599 */ + { 10, 6, 3, 0, 0, }, /* 600 */ + { 36, 7, 12, 0, 0, }, /* 601 */ + { 20, 14, 12, 0, 0, }, /* 602 */ + { 20, 15, 12, 0, 0, }, /* 603 */ + { 20, 26, 12, 0, 0, }, /* 604 */ + { 71, 7, 12, 0, 0, }, /* 605 */ + { 67, 7, 12, 0, 0, }, /* 606 */ + { 42, 7, 12, 0, 0, }, /* 607 */ + { 42, 15, 12, 0, 0, }, /* 608 */ + { 19, 7, 12, 0, 0, }, /* 609 */ + { 19, 14, 12, 0, 0, }, /* 610 */ + { 118, 7, 12, 0, 0, }, /* 611 */ + { 118, 12, 3, 0, 0, }, /* 612 */ + { 60, 7, 12, 0, 0, }, /* 613 */ + { 60, 21, 12, 0, 0, }, /* 614 */ + { 43, 7, 12, 0, 0, }, /* 615 */ + { 43, 21, 12, 0, 0, }, /* 616 */ + { 43, 14, 12, 0, 0, }, /* 617 */ + { 14, 9, 12, 0, 40, }, /* 618 */ + { 14, 5, 12, 0, -40, }, /* 619 */ + { 47, 7, 12, 0, 0, }, /* 620 */ + { 45, 7, 12, 0, 0, }, /* 621 */ + { 45, 13, 12, 0, 0, }, /* 622 */ + { 136, 9, 12, 0, 40, }, /* 623 */ + { 136, 5, 12, 0, -40, }, /* 624 */ + { 106, 7, 12, 0, 0, }, /* 625 */ + { 104, 7, 12, 0, 0, }, /* 626 */ + { 104, 21, 12, 0, 0, }, /* 627 */ + { 110, 7, 12, 0, 0, }, /* 628 */ + { 12, 7, 12, 0, 0, }, /* 629 */ + { 81, 7, 12, 0, 0, }, /* 630 */ + { 81, 21, 12, 0, 0, }, /* 631 */ + { 81, 15, 12, 0, 0, }, /* 632 */ + { 120, 7, 12, 0, 0, }, /* 633 */ + { 120, 26, 12, 0, 0, }, /* 634 */ + { 120, 15, 12, 0, 0, }, /* 635 */ + { 116, 7, 12, 0, 0, }, /* 636 */ + { 116, 15, 12, 0, 0, }, /* 637 */ + { 128, 7, 12, 0, 0, }, /* 638 */ + { 128, 15, 12, 0, 0, }, /* 639 */ + { 66, 7, 12, 0, 0, }, /* 640 */ + { 66, 15, 12, 0, 0, }, /* 641 */ + { 66, 21, 12, 0, 0, }, /* 642 */ + { 72, 7, 12, 0, 0, }, /* 643 */ + { 72, 21, 12, 0, 0, }, /* 644 */ + { 98, 7, 12, 0, 0, }, /* 645 */ + { 97, 7, 12, 0, 0, }, /* 646 */ + { 97, 15, 12, 0, 0, }, /* 647 */ + { 31, 7, 12, 0, 0, }, /* 648 */ + { 31, 12, 3, 0, 0, }, /* 649 */ + { 31, 15, 12, 0, 0, }, /* 650 */ + { 31, 21, 12, 0, 0, }, /* 651 */ + { 88, 7, 12, 0, 0, }, /* 652 */ + { 88, 15, 12, 0, 0, }, /* 653 */ + { 88, 21, 12, 0, 0, }, /* 654 */ + { 117, 7, 12, 0, 0, }, /* 655 */ + { 117, 15, 12, 0, 0, }, /* 656 */ + { 112, 7, 12, 0, 0, }, /* 657 */ + { 112, 26, 12, 0, 0, }, /* 658 */ + { 112, 12, 3, 0, 0, }, /* 659 */ + { 112, 15, 12, 0, 0, }, /* 660 */ + { 112, 21, 12, 0, 0, }, /* 661 */ + { 78, 7, 12, 0, 0, }, /* 662 */ + { 78, 21, 12, 0, 0, }, /* 663 */ + { 83, 7, 12, 0, 0, }, /* 664 */ + { 83, 15, 12, 0, 0, }, /* 665 */ + { 82, 7, 12, 0, 0, }, /* 666 */ + { 82, 15, 12, 0, 0, }, /* 667 */ + { 121, 7, 12, 0, 0, }, /* 668 */ + { 121, 21, 12, 0, 0, }, /* 669 */ + { 121, 15, 12, 0, 0, }, /* 670 */ + { 89, 7, 12, 0, 0, }, /* 671 */ + { 130, 9, 12, 0, 64, }, /* 672 */ + { 130, 5, 12, 0, -64, }, /* 673 */ + { 130, 15, 12, 0, 0, }, /* 674 */ + { 144, 7, 12, 0, 0, }, /* 675 */ + { 144, 12, 3, 0, 0, }, /* 676 */ + { 144, 13, 12, 0, 0, }, /* 677 */ + { 1, 15, 12, 0, 0, }, /* 678 */ + { 147, 7, 12, 0, 0, }, /* 679 */ + { 147, 15, 12, 0, 0, }, /* 680 */ + { 148, 7, 12, 0, 0, }, /* 681 */ + { 148, 12, 3, 0, 0, }, /* 682 */ + { 148, 15, 12, 0, 0, }, /* 683 */ + { 148, 21, 12, 0, 0, }, /* 684 */ + { 94, 10, 5, 0, 0, }, /* 685 */ + { 94, 12, 3, 0, 0, }, /* 686 */ + { 94, 7, 12, 0, 0, }, /* 687 */ + { 94, 21, 12, 0, 0, }, /* 688 */ + { 94, 15, 12, 0, 0, }, /* 689 */ + { 94, 13, 12, 0, 0, }, /* 690 */ + { 85, 12, 3, 0, 0, }, /* 691 */ + { 85, 10, 5, 0, 0, }, /* 692 */ + { 85, 7, 12, 0, 0, }, /* 693 */ + { 85, 21, 12, 0, 0, }, /* 694 */ + { 85, 1, 4, 0, 0, }, /* 695 */ + { 101, 7, 12, 0, 0, }, /* 696 */ + { 101, 13, 12, 0, 0, }, /* 697 */ + { 96, 12, 3, 0, 0, }, /* 698 */ + { 96, 7, 12, 0, 0, }, /* 699 */ + { 96, 10, 5, 0, 0, }, /* 700 */ + { 96, 13, 12, 0, 0, }, /* 701 */ + { 96, 21, 12, 0, 0, }, /* 702 */ + { 111, 7, 12, 0, 0, }, /* 703 */ + { 111, 12, 3, 0, 0, }, /* 704 */ + { 111, 21, 12, 0, 0, }, /* 705 */ + { 100, 12, 3, 0, 0, }, /* 706 */ + { 100, 10, 5, 0, 0, }, /* 707 */ + { 100, 7, 12, 0, 0, }, /* 708 */ + { 100, 7, 4, 0, 0, }, /* 709 */ + { 100, 21, 12, 0, 0, }, /* 710 */ + { 100, 13, 12, 0, 0, }, /* 711 */ + { 48, 15, 12, 0, 0, }, /* 712 */ + { 108, 7, 12, 0, 0, }, /* 713 */ + { 108, 10, 5, 0, 0, }, /* 714 */ + { 108, 12, 3, 0, 0, }, /* 715 */ + { 108, 21, 12, 0, 0, }, /* 716 */ + { 129, 7, 12, 0, 0, }, /* 717 */ + { 129, 21, 12, 0, 0, }, /* 718 */ + { 109, 7, 12, 0, 0, }, /* 719 */ + { 109, 12, 3, 0, 0, }, /* 720 */ + { 109, 10, 5, 0, 0, }, /* 721 */ + { 109, 13, 12, 0, 0, }, /* 722 */ + { 107, 12, 3, 0, 0, }, /* 723 */ + { 107, 10, 5, 0, 0, }, /* 724 */ + { 107, 7, 12, 0, 0, }, /* 725 */ + { 107, 10, 3, 0, 0, }, /* 726 */ + { 135, 7, 12, 0, 0, }, /* 727 */ + { 135, 10, 5, 0, 0, }, /* 728 */ + { 135, 12, 3, 0, 0, }, /* 729 */ + { 135, 21, 12, 0, 0, }, /* 730 */ + { 135, 13, 12, 0, 0, }, /* 731 */ + { 124, 7, 12, 0, 0, }, /* 732 */ + { 124, 10, 3, 0, 0, }, /* 733 */ + { 124, 10, 5, 0, 0, }, /* 734 */ + { 124, 12, 3, 0, 0, }, /* 735 */ + { 124, 21, 12, 0, 0, }, /* 736 */ + { 124, 13, 12, 0, 0, }, /* 737 */ + { 123, 7, 12, 0, 0, }, /* 738 */ + { 123, 10, 3, 0, 0, }, /* 739 */ + { 123, 10, 5, 0, 0, }, /* 740 */ + { 123, 12, 3, 0, 0, }, /* 741 */ + { 123, 21, 12, 0, 0, }, /* 742 */ + { 114, 7, 12, 0, 0, }, /* 743 */ + { 114, 10, 5, 0, 0, }, /* 744 */ + { 114, 12, 3, 0, 0, }, /* 745 */ + { 114, 21, 12, 0, 0, }, /* 746 */ + { 114, 13, 12, 0, 0, }, /* 747 */ + { 102, 7, 12, 0, 0, }, /* 748 */ + { 102, 12, 3, 0, 0, }, /* 749 */ + { 102, 10, 5, 0, 0, }, /* 750 */ + { 102, 13, 12, 0, 0, }, /* 751 */ + { 126, 7, 12, 0, 0, }, /* 752 */ + { 126, 12, 3, 0, 0, }, /* 753 */ + { 126, 10, 5, 0, 0, }, /* 754 */ + { 126, 13, 12, 0, 0, }, /* 755 */ + { 126, 15, 12, 0, 0, }, /* 756 */ + { 126, 21, 12, 0, 0, }, /* 757 */ + { 126, 26, 12, 0, 0, }, /* 758 */ + { 142, 7, 12, 0, 0, }, /* 759 */ + { 142, 10, 5, 0, 0, }, /* 760 */ + { 142, 12, 3, 0, 0, }, /* 761 */ + { 142, 21, 12, 0, 0, }, /* 762 */ + { 125, 9, 12, 0, 32, }, /* 763 */ + { 125, 5, 12, 0, -32, }, /* 764 */ + { 125, 13, 12, 0, 0, }, /* 765 */ + { 125, 15, 12, 0, 0, }, /* 766 */ + { 125, 7, 12, 0, 0, }, /* 767 */ + { 141, 7, 12, 0, 0, }, /* 768 */ + { 141, 12, 3, 0, 0, }, /* 769 */ + { 141, 10, 5, 0, 0, }, /* 770 */ + { 141, 7, 4, 0, 0, }, /* 771 */ + { 141, 21, 12, 0, 0, }, /* 772 */ + { 140, 7, 12, 0, 0, }, /* 773 */ + { 140, 12, 3, 0, 0, }, /* 774 */ + { 140, 10, 5, 0, 0, }, /* 775 */ + { 140, 7, 4, 0, 0, }, /* 776 */ + { 140, 21, 12, 0, 0, }, /* 777 */ + { 122, 7, 12, 0, 0, }, /* 778 */ + { 133, 7, 12, 0, 0, }, /* 779 */ + { 133, 10, 5, 0, 0, }, /* 780 */ + { 133, 12, 3, 0, 0, }, /* 781 */ + { 133, 21, 12, 0, 0, }, /* 782 */ + { 133, 13, 12, 0, 0, }, /* 783 */ + { 133, 15, 12, 0, 0, }, /* 784 */ + { 134, 21, 12, 0, 0, }, /* 785 */ + { 134, 7, 12, 0, 0, }, /* 786 */ + { 134, 12, 3, 0, 0, }, /* 787 */ + { 134, 10, 5, 0, 0, }, /* 788 */ + { 138, 7, 12, 0, 0, }, /* 789 */ + { 138, 12, 3, 0, 0, }, /* 790 */ + { 138, 7, 4, 0, 0, }, /* 791 */ + { 138, 13, 12, 0, 0, }, /* 792 */ + { 143, 7, 12, 0, 0, }, /* 793 */ + { 143, 10, 5, 0, 0, }, /* 794 */ + { 143, 12, 3, 0, 0, }, /* 795 */ + { 143, 13, 12, 0, 0, }, /* 796 */ + { 145, 7, 12, 0, 0, }, /* 797 */ + { 145, 12, 3, 0, 0, }, /* 798 */ + { 145, 10, 5, 0, 0, }, /* 799 */ + { 145, 21, 12, 0, 0, }, /* 800 */ + { 63, 7, 12, 0, 0, }, /* 801 */ + { 63, 14, 12, 0, 0, }, /* 802 */ + { 63, 21, 12, 0, 0, }, /* 803 */ + { 80, 7, 12, 0, 0, }, /* 804 */ + { 127, 7, 12, 0, 0, }, /* 805 */ + { 115, 7, 12, 0, 0, }, /* 806 */ + { 115, 13, 12, 0, 0, }, /* 807 */ + { 115, 21, 12, 0, 0, }, /* 808 */ + { 103, 7, 12, 0, 0, }, /* 809 */ + { 103, 12, 3, 0, 0, }, /* 810 */ + { 103, 21, 12, 0, 0, }, /* 811 */ + { 119, 7, 12, 0, 0, }, /* 812 */ + { 119, 12, 3, 0, 0, }, /* 813 */ + { 119, 21, 12, 0, 0, }, /* 814 */ + { 119, 26, 12, 0, 0, }, /* 815 */ + { 119, 6, 12, 0, 0, }, /* 816 */ + { 119, 13, 12, 0, 0, }, /* 817 */ + { 119, 15, 12, 0, 0, }, /* 818 */ + { 146, 9, 12, 0, 32, }, /* 819 */ + { 146, 5, 12, 0, -32, }, /* 820 */ + { 146, 15, 12, 0, 0, }, /* 821 */ + { 146, 21, 12, 0, 0, }, /* 822 */ + { 99, 7, 12, 0, 0, }, /* 823 */ + { 99, 10, 5, 0, 0, }, /* 824 */ + { 99, 12, 3, 0, 0, }, /* 825 */ + { 99, 6, 12, 0, 0, }, /* 826 */ + { 137, 6, 12, 0, 0, }, /* 827 */ + { 139, 6, 12, 0, 0, }, /* 828 */ + { 137, 7, 12, 0, 0, }, /* 829 */ + { 139, 7, 12, 0, 0, }, /* 830 */ + { 105, 7, 12, 0, 0, }, /* 831 */ + { 105, 26, 12, 0, 0, }, /* 832 */ + { 105, 12, 3, 0, 0, }, /* 833 */ + { 105, 21, 12, 0, 0, }, /* 834 */ + { 10, 10, 3, 0, 0, }, /* 835 */ + { 20, 12, 3, 0, 0, }, /* 836 */ + { 131, 26, 12, 0, 0, }, /* 837 */ + { 131, 12, 3, 0, 0, }, /* 838 */ + { 131, 21, 12, 0, 0, }, /* 839 */ + { 18, 12, 3, 0, 0, }, /* 840 */ + { 113, 7, 12, 0, 0, }, /* 841 */ + { 113, 15, 12, 0, 0, }, /* 842 */ + { 113, 12, 3, 0, 0, }, /* 843 */ + { 132, 9, 12, 0, 34, }, /* 844 */ + { 132, 5, 12, 0, -34, }, /* 845 */ + { 132, 12, 3, 0, 0, }, /* 846 */ + { 132, 13, 12, 0, 0, }, /* 847 */ + { 132, 21, 12, 0, 0, }, /* 848 */ + { 0, 2, 14, 0, 0, }, /* 849 */ + { 10, 26, 11, 0, 0, }, /* 850 */ + { 27, 26, 12, 0, 0, }, /* 851 */ + { 10, 24, 3, 0, 0, }, /* 852 */ + { 10, 1, 3, 0, 0, }, /* 853 */ }; const uint16_t PRIV(ucd_stage1)[] = { /* 17408 bytes */ |