Untersuchungsergebnis.gi Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
BindGlobal( "Kur_2_5_Q", function()
local A, i;
A := rec();
A.rnk := 2;
A.dim := 988;
A.com := false;
A.fld := Rationals;
A.wgs := [ 1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4,
4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,
6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,
6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
12, 12, 12, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14,
14, 14, 14, 14, 14, 14, 14, 14, 14, 14 ];
A.wds := [ ,, [ 1, 1 ], [ 2, 1 ], [ 1, 2 ], [ 2, 2 ], [ 1, 3 ], [ 2, 3 ],
[ 1, 4 ], [ 2, 4 ], [ 1, 5 ], [ 2, 5 ], [ 1, 6 ], [ 2, 6 ], [ 1, 7 ],
[ 2, 7 ], [ 1, 8 ], [ 2, 8 ], [ 1, 9 ], [ 2, 9 ], [ 1, 10 ], [ 2, 10 ],
[ 1, 11 ], [ 2, 11 ], [ 1, 12 ], [ 2, 12 ], [ 1, 13 ], [ 2, 13 ],
[ 1, 14 ], [ 2, 14 ], [ 2, 15 ], [ 1, 16 ], [ 2, 16 ], [ 1, 17 ],
[ 2, 17 ], [ 1, 18 ], [ 2, 18 ], [ 1, 19 ], [ 2, 19 ], [ 1, 20 ],
[ 2, 20 ], [ 1, 21 ], [ 2, 21 ], [ 1, 22 ], [ 2, 22 ], [ 2, 23 ],
[ 1, 24 ], [ 2, 24 ], [ 1, 25 ], [ 2, 25 ], [ 1, 26 ], [ 2, 26 ],
[ 2, 27 ], [ 1, 28 ], [ 2, 28 ], [ 2, 29 ], [ 1, 31 ], [ 2, 31 ],
[ 1, 32 ], [ 2, 32 ], [ 1, 33 ], [ 2, 33 ], [ 1, 34 ], [ 2, 34 ],
[ 1, 35 ], [ 2, 35 ], [ 1, 36 ], [ 2, 36 ], [ 1, 37 ], [ 2, 37 ],
[ 2, 38 ], [ 1, 39 ], [ 2, 39 ], [ 1, 40 ], [ 2, 40 ], [ 1, 41 ],
[ 2, 41 ], [ 2, 42 ], [ 1, 43 ], [ 2, 43 ], [ 2, 44 ], [ 1, 46 ],
[ 2, 46 ], [ 1, 47 ], [ 2, 47 ], [ 1, 48 ], [ 2, 48 ], [ 2, 49 ],
[ 1, 50 ], [ 2, 50 ], [ 1, 51 ], [ 2, 51 ], [ 1, 52 ], [ 2, 52 ],
[ 1, 53 ], [ 2, 53 ], [ 2, 54 ], [ 1, 55 ], [ 2, 55 ], [ 2, 56 ],
[ 1, 57 ], [ 2, 57 ], [ 1, 58 ], [ 2, 58 ], [ 1, 59 ], [ 2, 59 ],
[ 1, 60 ], [ 2, 60 ], [ 1, 61 ], [ 2, 61 ], [ 1, 62 ], [ 2, 62 ],
[ 2, 63 ], [ 1, 64 ], [ 2, 64 ], [ 1, 65 ], [ 2, 65 ], [ 1, 66 ],
[ 2, 66 ], [ 2, 67 ], [ 1, 68 ], [ 2, 68 ], [ 2, 69 ], [ 1, 71 ],
[ 2, 71 ], [ 1, 72 ], [ 2, 72 ], [ 1, 73 ], [ 2, 73 ], [ 2, 74 ],
[ 1, 75 ], [ 2, 75 ], [ 1, 76 ], [ 2, 76 ], [ 1, 77 ], [ 2, 77 ],
[ 1, 78 ], [ 2, 78 ], [ 2, 79 ], [ 1, 80 ], [ 2, 80 ], [ 2, 81 ],
[ 1, 82 ], [ 2, 82 ], [ 1, 83 ], [ 2, 83 ], [ 2, 84 ], [ 1, 85 ],
[ 2, 85 ], [ 1, 86 ], [ 2, 86 ], [ 1, 87 ], [ 2, 87 ], [ 1, 88 ],
[ 2, 88 ], [ 2, 89 ], [ 1, 90 ], [ 2, 90 ], [ 2, 91 ], [ 1, 92 ],
[ 2, 92 ], [ 2, 93 ], [ 2, 95 ], [ 1, 96 ], [ 2, 96 ], [ 2, 97 ],
[ 2, 98 ], [ 1, 99 ], [ 2, 99 ], [ 2, 100 ], [ 1, 101 ], [ 2, 101 ],
[ 1, 102 ], [ 2, 102 ], [ 1, 103 ], [ 2, 103 ], [ 1, 104 ], [ 2, 104 ],
[ 2, 105 ], [ 1, 106 ], [ 2, 106 ], [ 1, 107 ], [ 2, 107 ], [ 1, 108 ],
[ 2, 108 ], [ 2, 109 ], [ 1, 110 ], [ 2, 110 ], [ 2, 111 ], [ 1, 113 ],
[ 2, 113 ], [ 1, 114 ], [ 2, 114 ], [ 1, 115 ], [ 2, 115 ], [ 2, 116 ],
[ 1, 117 ], [ 2, 117 ], [ 1, 118 ], [ 2, 118 ], [ 1, 119 ], [ 2, 119 ],
[ 1, 120 ], [ 2, 120 ], [ 2, 121 ], [ 1, 122 ], [ 2, 122 ], [ 2, 123 ],
[ 1, 124 ], [ 2, 124 ], [ 1, 125 ], [ 2, 125 ], [ 2, 126 ], [ 1, 127 ],
[ 2, 127 ], [ 1, 128 ], [ 2, 128 ], [ 1, 129 ], [ 2, 129 ], [ 1, 130 ],
[ 2, 130 ], [ 2, 131 ], [ 1, 132 ], [ 2, 132 ], [ 2, 133 ], [ 1, 134 ],
[ 2, 134 ], [ 2, 135 ], [ 2, 137 ], [ 1, 138 ], [ 2, 138 ], [ 2, 139 ],
[ 2, 140 ], [ 1, 141 ], [ 2, 141 ], [ 2, 142 ], [ 2, 143 ], [ 1, 144 ],
[ 2, 144 ], [ 1, 145 ], [ 2, 145 ], [ 1, 146 ], [ 2, 146 ], [ 1, 147 ],
[ 2, 147 ], [ 2, 148 ], [ 1, 149 ], [ 2, 149 ], [ 2, 150 ], [ 1, 151 ],
[ 2, 151 ], [ 2, 152 ], [ 2, 154 ], [ 1, 155 ], [ 2, 155 ], [ 2, 156 ],
[ 1, 157 ], [ 2, 157 ], [ 1, 158 ], [ 2, 158 ], [ 1, 159 ], [ 2, 159 ],
[ 2, 160 ], [ 1, 161 ], [ 2, 161 ], [ 2, 162 ], [ 2, 163 ], [ 2, 164 ],
[ 1, 165 ], [ 2, 165 ], [ 2, 166 ], [ 2, 167 ], [ 2, 168 ], [ 2, 170 ],
[ 2, 171 ], [ 1, 172 ], [ 2, 172 ], [ 1, 173 ], [ 2, 173 ], [ 1, 174 ],
[ 2, 174 ], [ 2, 175 ], [ 1, 176 ], [ 2, 176 ], [ 2, 177 ], [ 1, 179 ],
[ 2, 179 ], [ 1, 180 ], [ 2, 180 ], [ 1, 181 ], [ 2, 181 ], [ 2, 182 ],
[ 1, 183 ], [ 2, 183 ], [ 1, 184 ], [ 2, 184 ], [ 1, 185 ], [ 2, 185 ],
[ 1, 186 ], [ 2, 186 ], [ 2, 187 ], [ 1, 188 ], [ 2, 188 ], [ 2, 189 ],
[ 1, 190 ], [ 2, 190 ], [ 1, 191 ], [ 2, 191 ], [ 2, 192 ], [ 1, 193 ],
[ 2, 193 ], [ 1, 194 ], [ 2, 194 ], [ 1, 195 ], [ 2, 195 ], [ 1, 196 ],
[ 2, 196 ], [ 2, 197 ], [ 1, 198 ], [ 2, 198 ], [ 2, 199 ], [ 1, 200 ],
[ 2, 200 ], [ 2, 201 ], [ 2, 203 ], [ 1, 204 ], [ 2, 204 ], [ 2, 205 ],
[ 2, 206 ], [ 1, 207 ], [ 2, 207 ], [ 2, 208 ], [ 2, 209 ], [ 1, 210 ],
[ 2, 210 ], [ 1, 211 ], [ 2, 211 ], [ 1, 212 ], [ 2, 212 ], [ 1, 213 ],
[ 2, 213 ], [ 2, 214 ], [ 1, 215 ], [ 2, 215 ], [ 2, 216 ], [ 1, 217 ],
[ 2, 217 ], [ 2, 218 ], [ 2, 220 ], [ 1, 221 ], [ 2, 221 ], [ 2, 222 ],
[ 1, 223 ], [ 2, 223 ], [ 1, 224 ], [ 2, 224 ], [ 1, 225 ], [ 2, 225 ],
[ 2, 226 ], [ 1, 227 ], [ 2, 227 ], [ 2, 228 ], [ 2, 229 ], [ 2, 230 ],
[ 1, 231 ], [ 2, 231 ], [ 2, 232 ], [ 2, 233 ], [ 2, 234 ], [ 2, 236 ],
[ 1, 237 ], [ 2, 237 ], [ 2, 238 ], [ 1, 239 ], [ 2, 239 ], [ 2, 240 ],
[ 1, 241 ], [ 2, 241 ], [ 2, 242 ], [ 2, 244 ], [ 1, 245 ], [ 2, 245 ],
[ 2, 246 ], [ 2, 247 ], [ 1, 248 ], [ 2, 248 ], [ 1, 249 ], [ 2, 249 ],
[ 2, 250 ], [ 1, 251 ], [ 2, 251 ], [ 2, 252 ], [ 2, 253 ], [ 2, 254 ],
[ 1, 255 ], [ 2, 255 ], [ 2, 256 ], [ 2, 257 ], [ 1, 258 ], [ 2, 258 ],
[ 2, 259 ], [ 2, 261 ], [ 2, 262 ], [ 2, 263 ], [ 2, 264 ], [ 1, 265 ],
[ 2, 265 ], [ 2, 266 ], [ 2, 267 ], [ 2, 268 ], [ 2, 269 ], [ 2, 271 ],
[ 2, 272 ], [ 2, 273 ], [ 1, 275 ], [ 2, 275 ], [ 1, 276 ], [ 2, 276 ],
[ 1, 277 ], [ 2, 277 ], [ 2, 278 ], [ 1, 279 ], [ 2, 279 ], [ 2, 280 ],
[ 1, 282 ], [ 2, 282 ], [ 2, 283 ], [ 1, 284 ], [ 2, 284 ], [ 2, 285 ],
[ 1, 286 ], [ 2, 286 ], [ 1, 287 ], [ 2, 287 ], [ 2, 288 ], [ 1, 289 ],
[ 2, 289 ], [ 1, 290 ], [ 2, 290 ], [ 1, 291 ], [ 2, 291 ], [ 1, 292 ],
[ 2, 292 ], [ 2, 293 ], [ 1, 294 ], [ 2, 294 ], [ 2, 295 ], [ 1, 296 ],
[ 2, 296 ], [ 2, 297 ], [ 2, 299 ], [ 1, 300 ], [ 2, 300 ], [ 2, 301 ],
[ 2, 302 ], [ 1, 303 ], [ 2, 303 ], [ 2, 304 ], [ 2, 305 ], [ 1, 306 ],
[ 2, 306 ], [ 1, 307 ], [ 2, 307 ], [ 1, 308 ], [ 2, 308 ], [ 1, 309 ],
[ 2, 309 ], [ 2, 310 ], [ 1, 311 ], [ 2, 311 ], [ 2, 312 ], [ 1, 313 ],
[ 2, 313 ], [ 2, 314 ], [ 2, 316 ], [ 1, 317 ], [ 2, 317 ], [ 2, 318 ],
[ 1, 319 ], [ 2, 319 ], [ 1, 320 ], [ 2, 320 ], [ 1, 321 ], [ 2, 321 ],
[ 2, 322 ], [ 1, 323 ], [ 2, 323 ], [ 2, 324 ], [ 2, 325 ], [ 2, 326 ],
[ 1, 327 ], [ 2, 327 ], [ 2, 328 ], [ 2, 329 ], [ 2, 330 ], [ 2, 332 ],
[ 1, 333 ], [ 2, 333 ], [ 2, 334 ], [ 1, 335 ], [ 2, 335 ], [ 2, 336 ],
[ 2, 337 ], [ 2, 338 ], [ 2, 340 ], [ 1, 341 ], [ 2, 341 ], [ 2, 342 ],
[ 2, 343 ], [ 1, 344 ], [ 2, 344 ], [ 1, 345 ], [ 2, 345 ], [ 2, 346 ],
[ 1, 347 ], [ 2, 347 ], [ 2, 348 ], [ 2, 349 ], [ 1, 351 ], [ 2, 351 ],
[ 2, 352 ], [ 2, 353 ], [ 1, 354 ], [ 2, 354 ], [ 2, 355 ], [ 2, 357 ],
[ 2, 358 ], [ 2, 359 ], [ 2, 360 ], [ 1, 361 ], [ 2, 361 ], [ 2, 362 ],
[ 2, 363 ], [ 2, 364 ], [ 2, 365 ], [ 2, 367 ], [ 2, 368 ], [ 2, 369 ],
[ 2, 371 ], [ 1, 372 ], [ 2, 372 ], [ 2, 373 ], [ 2, 374 ], [ 1, 376 ],
[ 2, 376 ], [ 2, 377 ], [ 1, 378 ], [ 2, 378 ], [ 2, 379 ], [ 2, 380 ],
[ 2, 381 ], [ 1, 382 ], [ 2, 382 ], [ 2, 383 ], [ 2, 384 ], [ 2, 385 ],
[ 2, 387 ], [ 2, 388 ], [ 2, 389 ], [ 2, 390 ], [ 1, 391 ], [ 2, 391 ],
[ 2, 392 ], [ 2, 393 ], [ 2, 394 ], [ 2, 395 ], [ 2, 397 ], [ 1, 398 ],
[ 2, 398 ], [ 2, 399 ], [ 1, 400 ], [ 2, 400 ], [ 2, 401 ], [ 2, 403 ],
[ 2, 404 ], [ 2, 405 ], [ 2, 406 ], [ 2, 408 ], [ 2, 410 ], [ 2, 411 ],
[ 2, 413 ], [ 2, 414 ], [ 1, 415 ], [ 2, 415 ], [ 1, 416 ], [ 2, 416 ],
[ 2, 417 ], [ 1, 418 ], [ 2, 418 ], [ 2, 419 ], [ 1, 421 ], [ 2, 421 ],
[ 2, 422 ], [ 1, 423 ], [ 2, 423 ], [ 2, 424 ], [ 2, 425 ], [ 1, 426 ],
[ 2, 426 ], [ 2, 427 ], [ 2, 428 ], [ 2, 430 ], [ 2, 431 ], [ 1, 432 ],
[ 2, 432 ], [ 1, 433 ], [ 2, 433 ], [ 1, 434 ], [ 2, 434 ], [ 1, 435 ],
[ 2, 435 ], [ 2, 436 ], [ 1, 437 ], [ 2, 437 ], [ 2, 438 ], [ 1, 439 ],
[ 2, 439 ], [ 2, 440 ], [ 2, 442 ], [ 1, 443 ], [ 2, 443 ], [ 2, 444 ],
[ 1, 445 ], [ 2, 445 ], [ 1, 446 ], [ 2, 446 ], [ 1, 447 ], [ 2, 447 ],
[ 2, 448 ], [ 1, 449 ], [ 2, 449 ], [ 2, 450 ], [ 2, 451 ], [ 2, 452 ],
[ 1, 453 ], [ 2, 453 ], [ 2, 454 ], [ 2, 455 ], [ 2, 456 ], [ 2, 458 ],
[ 1, 459 ], [ 2, 459 ], [ 2, 460 ], [ 1, 461 ], [ 2, 461 ], [ 2, 462 ],
[ 2, 463 ], [ 2, 464 ], [ 2, 466 ], [ 1, 467 ], [ 2, 467 ], [ 2, 468 ],
[ 2, 469 ], [ 1, 470 ], [ 2, 470 ], [ 1, 471 ], [ 2, 471 ], [ 2, 472 ],
[ 1, 473 ], [ 2, 473 ], [ 2, 474 ], [ 2, 475 ], [ 1, 477 ], [ 2, 477 ],
[ 2, 478 ], [ 2, 479 ], [ 1, 480 ], [ 2, 480 ], [ 2, 481 ], [ 2, 483 ],
[ 2, 484 ], [ 2, 485 ], [ 2, 486 ], [ 1, 487 ], [ 2, 487 ], [ 2, 488 ],
[ 2, 489 ], [ 2, 490 ], [ 2, 491 ], [ 2, 493 ], [ 2, 494 ], [ 2, 495 ],
[ 2, 497 ], [ 1, 498 ], [ 2, 498 ], [ 2, 499 ], [ 2, 500 ], [ 2, 502 ],
[ 2, 503 ], [ 2, 504 ], [ 2, 505 ], [ 1, 507 ], [ 2, 507 ], [ 2, 508 ],
[ 2, 509 ], [ 2, 510 ], [ 2, 512 ], [ 2, 513 ], [ 2, 514 ], [ 2, 515 ],
[ 1, 516 ], [ 2, 516 ], [ 2, 517 ], [ 2, 518 ], [ 2, 521 ], [ 1, 522 ],
[ 2, 522 ], [ 2, 523 ], [ 1, 524 ], [ 2, 524 ], [ 2, 525 ], [ 2, 527 ],
[ 2, 528 ], [ 2, 529 ], [ 2, 530 ], [ 2, 532 ], [ 2, 534 ], [ 2, 535 ],
[ 2, 537 ], [ 2, 538 ], [ 2, 539 ], [ 2, 540 ], [ 1, 542 ], [ 2, 542 ],
[ 2, 543 ], [ 2, 544 ], [ 2, 545 ], [ 2, 546 ], [ 2, 547 ], [ 2, 549 ],
[ 2, 550 ], [ 2, 551 ], [ 2, 552 ], [ 1, 554 ], [ 2, 554 ], [ 2, 555 ],
[ 2, 556 ], [ 2, 558 ], [ 2, 559 ], [ 2, 560 ], [ 2, 561 ], [ 2, 563 ],
[ 2, 565 ], [ 2, 566 ], [ 2, 568 ], [ 2, 569 ], [ 2, 570 ], [ 2, 572 ],
[ 2, 573 ], [ 2, 575 ], [ 2, 576 ], [ 2, 577 ], [ 2, 580 ], [ 2, 582 ],
[ 2, 583 ], [ 1, 584 ], [ 2, 584 ], [ 2, 585 ], [ 1, 587 ], [ 2, 587 ],
[ 2, 588 ], [ 1, 589 ], [ 2, 589 ], [ 2, 590 ], [ 2, 591 ], [ 1, 592 ],
[ 2, 592 ], [ 2, 593 ], [ 2, 594 ], [ 2, 596 ], [ 2, 597 ], [ 2, 598 ],
[ 2, 600 ], [ 2, 601 ], [ 1, 603 ], [ 2, 603 ], [ 2, 604 ], [ 1, 605 ],
[ 2, 605 ], [ 2, 606 ], [ 2, 607 ], [ 2, 608 ], [ 2, 610 ], [ 1, 611 ],
[ 2, 611 ], [ 2, 612 ], [ 2, 613 ], [ 1, 614 ], [ 2, 614 ], [ 1, 615 ],
[ 2, 615 ], [ 2, 616 ], [ 1, 617 ], [ 2, 617 ], [ 2, 618 ], [ 2, 619 ],
[ 1, 621 ], [ 2, 621 ], [ 2, 622 ], [ 2, 623 ], [ 2, 624 ], [ 2, 625 ],
[ 2, 627 ], [ 2, 628 ], [ 2, 629 ], [ 2, 630 ], [ 1, 631 ], [ 2, 631 ],
[ 2, 632 ], [ 2, 633 ], [ 2, 634 ], [ 2, 635 ], [ 2, 637 ], [ 2, 638 ],
[ 2, 639 ], [ 2, 641 ], [ 1, 642 ], [ 2, 642 ], [ 2, 643 ], [ 2, 644 ],
[ 2, 646 ], [ 2, 647 ], [ 2, 648 ], [ 2, 649 ], [ 1, 651 ], [ 2, 651 ],
[ 2, 652 ], [ 2, 653 ], [ 2, 654 ], [ 2, 656 ], [ 2, 657 ], [ 2, 658 ],
[ 2, 659 ], [ 1, 660 ], [ 2, 660 ], [ 2, 661 ], [ 2, 662 ], [ 2, 665 ],
[ 1, 666 ], [ 2, 666 ], [ 2, 667 ], [ 1, 668 ], [ 2, 668 ], [ 2, 669 ],
[ 2, 671 ], [ 2, 672 ], [ 2, 673 ], [ 2, 674 ], [ 2, 676 ], [ 2, 678 ],
[ 2, 679 ], [ 2, 681 ], [ 2, 682 ], [ 2, 683 ], [ 2, 686 ], [ 2, 687 ],
[ 2, 688 ], [ 2, 690 ], [ 2, 691 ], [ 2, 694 ], [ 2, 695 ], [ 2, 696 ],
[ 2, 698 ], [ 2, 699 ], [ 2, 700 ], [ 2, 701 ], [ 2, 703 ], [ 2, 706 ],
[ 2, 707 ], [ 2, 708 ], [ 2, 710 ], [ 2, 711 ], [ 2, 713 ], [ 2, 714 ],
[ 2, 715 ], [ 2, 718 ], [ 2, 720 ], [ 2, 722 ], [ 2, 725 ], [ 2, 728 ],
[ 2, 729 ], [ 2, 732 ], [ 2, 736 ], [ 2, 737 ], [ 2, 739 ], [ 2, 740 ],
[ 2, 741 ], [ 2, 747 ], [ 2, 749 ], [ 2, 751 ], [ 2, 752 ], [ 1, 755 ],
[ 2, 755 ], [ 2, 756 ], [ 2, 758 ], [ 2, 759 ], [ 1, 760 ], [ 2, 760 ],
[ 2, 761 ], [ 2, 762 ], [ 2, 764 ], [ 2, 765 ], [ 2, 768 ], [ 2, 769 ],
[ 2, 772 ], [ 2, 774 ], [ 2, 775 ], [ 1, 776 ], [ 2, 776 ], [ 2, 777 ],
[ 2, 778 ], [ 2, 780 ], [ 2, 781 ], [ 2, 782 ], [ 2, 783 ], [ 1, 785 ],
[ 2, 785 ], [ 2, 786 ], [ 2, 787 ], [ 2, 788 ], [ 2, 790 ], [ 2, 791 ],
[ 2, 792 ], [ 2, 793 ], [ 1, 794 ], [ 2, 794 ], [ 2, 795 ], [ 2, 799 ],
[ 2, 800 ], [ 2, 801 ], [ 2, 802 ], [ 2, 805 ], [ 2, 806 ], [ 2, 811 ],
[ 2, 812 ], [ 2, 814 ], [ 2, 815 ], [ 2, 816 ], [ 2, 819 ], [ 2, 820 ],
[ 2, 824 ], [ 2, 827 ], [ 2, 828 ], [ 2, 829 ], [ 2, 831 ], [ 2, 832 ],
[ 2, 833 ], [ 2, 836 ], [ 2, 840 ], [ 2, 841 ], [ 2, 843 ], [ 2, 844 ],
[ 2, 846 ], [ 2, 847 ], [ 2, 848 ], [ 2, 851 ], [ 2, 853 ], [ 2, 861 ],
[ 2, 862 ], [ 2, 870 ], [ 2, 872 ], [ 2, 874 ], [ 2, 875 ], [ 2, 881 ],
[ 2, 886 ], [ 2, 887 ], [ 2, 891 ], [ 2, 892 ], [ 2, 894 ], [ 2, 896 ],
[ 2, 899 ], [ 2, 900 ], [ 2, 904 ], [ 2, 907 ], [ 2, 910 ], [ 2, 911 ],
[ 2, 918 ], [ 2, 920 ], [ 2, 923 ], [ 2, 924 ], [ 2, 930 ], [ 2, 931 ],
[ 2, 933 ], [ 2, 943 ], [ 2, 952 ], [ 2, 954 ], [ 2, 955 ], [ 2, 963 ] ];
A.tab := [ ];
A.tab[1] := [ [ 1, 3, 1 ], [ 2, 5, 1 ], [ 3, 7, 1 ], [ 4, 9, 1 ],
[ 5, 11, 1 ], [ 6, 13, 1 ], [ 7, 15, 1 ], [ 8, 17, 1 ], [ 9, 19, 1 ],
[ 10, 21, 1 ], [ 11, 23, 1 ], [ 12, 25, 1 ], [ 13, 27, 1 ], [ 14, 29, 1 ],
[ 16, 32, 1 ], [ 17, 34, 1 ], [ 18, 36, 1 ], [ 19, 38, 1 ], [ 20, 40, 1 ],
[ 21, 42, 1 ], [ 22, 44, 1 ], [ 23, 31, -1 ], [ 23, 32, -1 ],
[ 23, 34, -1 ], [ 23, 38, -1 ], [ 24, 47, 1 ], [ 25, 49, 1 ],
[ 26, 51, 1 ], [ 27, 33, -1 ], [ 27, 35, -1 ], [ 27, 36, -1 ],
[ 27, 39, -1 ], [ 27, 40, -1 ], [ 27, 42, -1 ], [ 27, 46, -1 ],
[ 27, 47, -1 ], [ 27, 49, -1 ], [ 28, 54, 1 ], [ 29, 37, -1 ],
[ 29, 41, -1 ], [ 29, 43, -1 ], [ 29, 44, -1 ], [ 29, 48, -1 ],
[ 29, 50, -1 ], [ 29, 51, -1 ], [ 29, 53, -1 ], [ 29, 54, -1 ],
[ 30, 45, -1 ], [ 30, 52, -1 ], [ 30, 55, -1 ], [ 30, 56, -1 ],
[ 31, 57, 1 ], [ 32, 59, 1 ], [ 33, 61, 1 ], [ 34, 63, 1 ], [ 35, 65, 1 ],
[ 36, 67, 1 ], [ 37, 69, 1 ], [ 38, 57, -1 ], [ 38, 59, -1 ],
[ 38, 63, -1 ], [ 39, 72, 1 ], [ 40, 74, 1 ], [ 41, 76, 1 ],
[ 42, 58, -1 ], [ 42, 60, -1 ], [ 42, 61, -1 ], [ 42, 64, -1 ],
[ 42, 65, -1 ], [ 42, 67, -1 ], [ 42, 71, -1 ], [ 42, 72, -1 ],
[ 42, 74, -1 ], [ 43, 79, 1 ], [ 44, 62, -1 ], [ 44, 66, -1 ],
[ 44, 68, -1 ], [ 44, 69, -1 ], [ 44, 73, -1 ], [ 44, 75, -1 ],
[ 44, 76, -1 ], [ 44, 78, -1 ], [ 44, 79, -1 ], [ 45, 70, -1 ],
[ 45, 77, -1 ], [ 45, 80, -1 ], [ 45, 81, -1 ], [ 46, 82, 1 ],
[ 47, 84, 1 ], [ 48, 86, 1 ], [ 49, 58, 1 ], [ 49, 65, -1 ],
[ 49, 72, -1 ], [ 49, 74, -1 ], [ 49, 82, -1 ], [ 49, 84, -1 ],
[ 50, 89, 1 ], [ 51, 91, 1 ], [ 52, 93, 1 ], [ 53, 95, 1 ], [ 54, 62, 1 ],
[ 54, 75, -1 ], [ 54, 76, -1 ], [ 54, 79, -1 ], [ 54, 85, -1 ],
[ 54, 86, -1 ], [ 54, 88, -1 ], [ 54, 89, -2 ], [ 54, 91, -1 ],
[ 54, 95, -1 ], [ 55, 98, 1 ], [ 56, 70, 1 ], [ 56, 90, -1 ],
[ 56, 92, -1 ], [ 56, 93, -1 ], [ 56, 97, -1 ], [ 56, 98, -1 ],
[ 57, 101, 1 ], [ 58, 103, 1 ], [ 59, 105, 1 ], [ 60, 107, 1 ],
[ 61, 109, 1 ], [ 62, 111, 1 ], [ 63, 101, -1 ], [ 63, 105, -1 ],
[ 64, 114, 1 ], [ 65, 116, 1 ], [ 66, 118, 1 ], [ 67, 102, -1 ],
[ 67, 103, -1 ], [ 67, 106, -1 ], [ 67, 107, -1 ], [ 67, 109, -1 ],
[ 67, 113, -1 ], [ 67, 114, -1 ], [ 67, 116, -1 ], [ 68, 121, 1 ],
[ 69, 104, -1 ], [ 69, 108, -1 ], [ 69, 110, -1 ], [ 69, 111, -1 ],
[ 69, 115, -1 ], [ 69, 117, -1 ], [ 69, 118, -1 ], [ 69, 120, -1 ],
[ 69, 121, -1 ], [ 70, 112, -1 ], [ 70, 119, -1 ], [ 70, 122, -1 ],
[ 70, 123, -1 ], [ 71, 124, 1 ], [ 72, 126, 1 ], [ 73, 128, 1 ],
[ 74, 107, -1 ], [ 74, 114, -1 ], [ 74, 116, -1 ], [ 74, 124, -1 ],
[ 74, 126, -1 ], [ 75, 131, 1 ], [ 76, 133, 1 ], [ 77, 135, 1 ],
[ 78, 137, 1 ], [ 79, 104, 1 ], [ 79, 117, -1 ], [ 79, 118, -1 ],
[ 79, 121, -1 ], [ 79, 127, -1 ], [ 79, 128, -1 ], [ 79, 130, -1 ],
[ 79, 131, -2 ], [ 79, 133, -1 ], [ 79, 137, -1 ], [ 80, 140, 1 ],
[ 81, 112, 1 ], [ 81, 132, -1 ], [ 81, 134, -1 ], [ 81, 135, -1 ],
[ 81, 139, -1 ], [ 81, 140, -1 ], [ 82, 143, 1 ], [ 83, 145, 1 ],
[ 84, 102, 1 ], [ 84, 103, 1 ], [ 84, 107, 1 ], [ 84, 126, -1 ],
[ 84, 143, -1 ], [ 85, 148, 1 ], [ 86, 150, 1 ], [ 87, 152, 1 ],
[ 88, 154, 1 ], [ 89, 104, -1 ], [ 89, 131, -1 ], [ 89, 148, -1 ],
[ 89, 154, -1 ], [ 90, 157, 1 ], [ 91, 104, 1 ], [ 91, 108, 1 ],
[ 91, 115, 1 ], [ 91, 117, 1 ], [ 91, 125, 1 ], [ 91, 127, 1 ],
[ 91, 130, 1 ], [ 91, 131, 1 ], [ 91, 145, -1 ], [ 91, 150, -1 ],
[ 92, 160, 1 ], [ 93, 146, -1 ], [ 93, 149, -1 ], [ 93, 151, -1 ],
[ 93, 152, -1 ], [ 93, 155, -1 ], [ 93, 156, -1 ], [ 93, 157, -1 ],
[ 93, 159, -1 ], [ 93, 160, -1 ], [ 94, 153, -1 ], [ 94, 158, -1 ],
[ 94, 161, -1 ], [ 94, 162, -1 ], [ 95, 104, 1 ], [ 95, 108, 1 ],
[ 95, 110, 1 ], [ 95, 111, 1 ], [ 95, 117, 1 ], [ 95, 118, 1 ],
[ 95, 121, 1 ], [ 95, 131, 1 ], [ 95, 147, -1 ], [ 95, 150, -1 ],
[ 96, 164, 1 ], [ 97, 112, -1 ], [ 97, 156, -1 ], [ 97, 157, -1 ],
[ 97, 160, -1 ], [ 98, 112, 1 ], [ 98, 119, 1 ], [ 98, 129, 1 ],
[ 98, 132, 1 ], [ 98, 140, -1 ], [ 98, 146, 1 ], [ 98, 149, 1 ],
[ 98, 155, 1 ], [ 98, 156, 1 ], [ 98, 164, -1 ], [ 99, 168, 1 ],
[ 100, 136, 1 ], [ 100, 153, 1 ], [ 100, 158, 1 ], [ 100, 167, -1 ],
[ 100, 168, -1 ], [ 101, 171, 1 ], [ 102, 173, 1 ], [ 103, 175, 1 ],
[ 104, 177, 1 ], [ 105, 171, -1 ], [ 106, 180, 1 ], [ 107, 182, 1 ],
[ 108, 184, 1 ], [ 109, 172, -1 ], [ 109, 173, -1 ], [ 109, 175, -1 ],
[ 109, 179, -1 ], [ 109, 180, -1 ], [ 109, 182, -1 ], [ 110, 187, 1 ],
[ 111, 174, -1 ], [ 111, 176, -1 ], [ 111, 177, -1 ], [ 111, 181, -1 ],
[ 111, 183, -1 ], [ 111, 184, -1 ], [ 111, 186, -1 ], [ 111, 187, -1 ],
[ 112, 178, -1 ], [ 112, 185, -1 ], [ 112, 188, -1 ], [ 112, 189, -1 ],
[ 113, 190, 1 ], [ 114, 192, 1 ], [ 115, 194, 1 ], [ 116, 173, -1 ],
[ 116, 180, -1 ], [ 116, 182, -1 ], [ 116, 190, -1 ], [ 116, 192, -1 ],
[ 117, 197, 1 ], [ 118, 199, 1 ], [ 119, 201, 1 ], [ 120, 203, 1 ],
[ 121, 183, -1 ], [ 121, 184, -1 ], [ 121, 187, -1 ], [ 121, 193, -1 ],
[ 121, 194, -1 ], [ 121, 196, -1 ], [ 121, 197, -2 ], [ 121, 199, -1 ],
[ 121, 203, -1 ], [ 122, 206, 1 ], [ 123, 178, 1 ], [ 123, 198, -1 ],
[ 123, 200, -1 ], [ 123, 201, -1 ], [ 123, 205, -1 ], [ 123, 206, -1 ],
[ 124, 209, 1 ], [ 125, 211, 1 ], [ 126, 173, 1 ], [ 126, 192, -1 ],
[ 126, 209, -1 ], [ 127, 214, 1 ], [ 128, 216, 1 ], [ 129, 218, 1 ],
[ 130, 220, 1 ], [ 131, 197, -1 ], [ 131, 214, -1 ], [ 131, 220, -1 ],
[ 132, 223, 1 ], [ 133, 174, 1 ], [ 133, 181, 1 ], [ 133, 183, 1 ],
[ 133, 191, 1 ], [ 133, 193, 1 ], [ 133, 196, 1 ], [ 133, 197, 1 ],
[ 133, 211, -1 ], [ 133, 216, -1 ], [ 134, 226, 1 ], [ 135, 212, -1 ],
[ 135, 215, -1 ], [ 135, 217, -1 ], [ 135, 218, -1 ], [ 135, 221, -1 ],
[ 135, 222, -1 ], [ 135, 223, -1 ], [ 135, 225, -1 ], [ 135, 226, -1 ],
[ 136, 219, -1 ], [ 136, 224, -1 ], [ 136, 227, -1 ], [ 136, 228, -1 ],
[ 137, 174, 1 ], [ 137, 176, 1 ], [ 137, 177, 1 ], [ 137, 183, 1 ],
[ 137, 184, 1 ], [ 137, 187, 1 ], [ 137, 197, 1 ], [ 137, 213, -1 ],
[ 137, 216, -1 ], [ 138, 230, 1 ], [ 139, 178, -1 ], [ 139, 222, -1 ],
[ 139, 223, -1 ], [ 139, 226, -1 ], [ 140, 178, 1 ], [ 140, 185, 1 ],
[ 140, 195, 1 ], [ 140, 198, 1 ], [ 140, 206, -1 ], [ 140, 212, 1 ],
[ 140, 215, 1 ], [ 140, 221, 1 ], [ 140, 222, 1 ], [ 140, 230, -1 ],
[ 141, 234, 1 ], [ 142, 202, 1 ], [ 142, 219, 1 ], [ 142, 224, 1 ],
[ 142, 233, -1 ], [ 142, 234, -1 ], [ 143, 172, 1 ], [ 143, 173, 1 ],
[ 143, 175, 1 ], [ 143, 180, 1 ], [ 143, 182, 1 ], [ 143, 192, 1 ],
[ 144, 238, 1 ], [ 145, 240, 1 ], [ 146, 242, 1 ], [ 147, 244, 1 ],
[ 148, 174, -3 ], [ 148, 181, -1 ], [ 148, 183, -1 ], [ 148, 184, -1 ],
[ 148, 191, -1 ], [ 148, 196, -1 ], [ 148, 197, -1 ], [ 148, 199, -1 ],
[ 148, 210, 1 ], [ 148, 211, 1 ], [ 148, 213, 1 ], [ 148, 216, 1 ],
[ 148, 238, -1 ], [ 148, 244, -1 ], [ 149, 247, 1 ], [ 150, 174, 2 ],
[ 150, 177, 1 ], [ 150, 181, 1 ], [ 150, 183, 1 ], [ 150, 184, 2 ],
[ 150, 191, 1 ], [ 150, 193, 1 ], [ 150, 194, 1 ], [ 150, 196, 1 ],
[ 150, 197, 1 ], [ 150, 199, 1 ], [ 150, 216, -1 ], [ 150, 240, -1 ],
[ 151, 250, 1 ], [ 152, 178, 1 ], [ 152, 185, 1 ], [ 152, 195, 1 ],
[ 152, 212, 1 ], [ 152, 239, -1 ], [ 152, 241, -1 ], [ 152, 242, -1 ],
[ 152, 245, -1 ], [ 152, 246, -1 ], [ 152, 247, -1 ], [ 152, 249, -1 ],
[ 152, 250, -1 ], [ 153, 243, -1 ], [ 153, 248, -1 ], [ 153, 251, -1 ],
[ 153, 252, -1 ], [ 154, 174, 2 ], [ 154, 176, -1 ], [ 154, 177, -1 ],
[ 154, 181, 1 ], [ 154, 183, 1 ], [ 154, 184, 1 ], [ 154, 191, 1 ],
[ 154, 196, 1 ], [ 154, 197, 2 ], [ 154, 199, 1 ], [ 154, 210, -1 ],
[ 154, 211, -1 ], [ 154, 213, -1 ], [ 154, 216, -1 ], [ 154, 238, 1 ],
[ 155, 254, 1 ], [ 156, 178, 1 ], [ 157, 257, 1 ], [ 158, 259, 1 ],
[ 159, 261, 1 ], [ 160, 178, -2 ], [ 160, 185, -1 ], [ 160, 195, -1 ],
[ 160, 212, -1 ], [ 160, 222, 1 ], [ 160, 247, -1 ], [ 160, 250, -1 ],
[ 160, 254, -1 ], [ 160, 257, -1 ], [ 160, 261, -1 ], [ 161, 264, 1 ],
[ 162, 243, 1 ], [ 162, 256, -1 ], [ 162, 258, -1 ], [ 162, 259, -1 ],
[ 162, 263, -1 ], [ 162, 264, -1 ], [ 163, 178, -2 ], [ 163, 185, -3 ],
[ 163, 188, -1 ], [ 163, 195, -1 ], [ 163, 198, -2 ], [ 163, 201, -1 ],
[ 163, 217, 2 ], [ 163, 218, 1 ], [ 163, 222, 2 ], [ 163, 226, 1 ],
[ 163, 239, -1 ], [ 163, 241, 1 ], [ 163, 247, -2 ], [ 163, 250, -1 ],
[ 163, 253, 1 ], [ 163, 254, -1 ], [ 163, 257, -1 ], [ 163, 261, -1 ],
[ 164, 178, -1 ], [ 164, 189, -1 ], [ 164, 198, 2 ], [ 164, 200, 1 ],
[ 164, 201, 2 ], [ 164, 206, 1 ], [ 164, 212, -1 ], [ 164, 215, 1 ],
[ 164, 217, -1 ], [ 164, 223, 1 ], [ 164, 239, 2 ], [ 164, 242, 1 ],
[ 164, 245, 1 ], [ 164, 246, 1 ], [ 164, 247, 2 ], [ 165, 269, 1 ],
[ 166, 202, -3 ], [ 166, 207, -1 ], [ 166, 208, -1 ], [ 166, 224, -1 ],
[ 166, 228, 1 ], [ 166, 232, -1 ], [ 166, 233, 1 ], [ 166, 248, -1 ],
[ 166, 252, 1 ], [ 166, 256, -1 ], [ 166, 259, -1 ], [ 166, 264, -1 ],
[ 166, 267, -1 ], [ 166, 268, 1 ], [ 167, 202, 2 ], [ 167, 207, 1 ],
[ 167, 208, 1 ], [ 167, 219, -1 ], [ 167, 224, 1 ], [ 167, 228, -1 ],
[ 167, 232, 1 ], [ 167, 233, -1 ], [ 167, 243, -1 ], [ 167, 248, 1 ],
[ 167, 252, -1 ], [ 167, 256, 2 ], [ 167, 259, 1 ], [ 167, 267, 1 ],
[ 167, 268, -1 ], [ 168, 202, 1 ], [ 168, 207, 1 ], [ 168, 219, 1 ],
[ 168, 224, 1 ], [ 168, 227, 1 ], [ 168, 231, 1 ], [ 168, 232, 1 ],
[ 168, 233, 1 ], [ 168, 243, 1 ], [ 168, 248, 1 ], [ 168, 251, 1 ],
[ 168, 255, 1 ], [ 168, 256, 1 ], [ 168, 258, 1 ], [ 168, 262, 1 ],
[ 168, 263, 1 ], [ 168, 264, 1 ], [ 168, 269, -1 ], [ 169, 270, -1 ],
[ 169, 271, -1 ], [ 169, 272, -1 ], [ 169, 273, -1 ], [ 170, 235, 1 ],
[ 170, 260, 1 ], [ 170, 265, 1 ], [ 170, 270, 1 ], [ 170, 271, 1 ],
[ 170, 272, 1 ], [ 172, 276, 1 ], [ 173, 278, 1 ], [ 174, 280, 1 ],
[ 175, 275, -1 ], [ 175, 276, -1 ], [ 175, 278, -1 ], [ 176, 283, 1 ],
[ 177, 277, -1 ], [ 177, 279, -1 ], [ 177, 280, -1 ], [ 177, 282, -1 ],
[ 177, 283, -1 ], [ 178, 281, -1 ], [ 178, 284, -1 ], [ 178, 285, -1 ],
[ 179, 286, 1 ], [ 180, 288, 1 ], [ 181, 290, 1 ], [ 182, 276, -1 ],
[ 182, 278, -1 ], [ 182, 286, -1 ], [ 182, 288, -1 ], [ 183, 293, 1 ],
[ 184, 295, 1 ], [ 185, 297, 1 ], [ 186, 299, 1 ], [ 187, 279, -1 ],
[ 187, 280, -1 ], [ 187, 283, -1 ], [ 187, 289, -1 ], [ 187, 290, -1 ],
[ 187, 292, -1 ], [ 187, 293, -2 ], [ 187, 295, -1 ], [ 187, 299, -1 ],
[ 188, 302, 1 ], [ 189, 294, -1 ], [ 189, 296, -1 ], [ 189, 297, -1 ],
[ 189, 301, -1 ], [ 189, 302, -1 ], [ 190, 305, 1 ], [ 191, 307, 1 ],
[ 192, 288, -1 ], [ 192, 305, -1 ], [ 193, 310, 1 ], [ 194, 312, 1 ],
[ 195, 314, 1 ], [ 196, 316, 1 ], [ 197, 293, -1 ], [ 197, 310, -1 ],
[ 197, 316, -1 ], [ 198, 319, 1 ], [ 199, 277, 1 ], [ 199, 279, 1 ],
[ 199, 287, 1 ], [ 199, 289, 1 ], [ 199, 292, 1 ], [ 199, 293, 1 ],
[ 199, 307, -1 ], [ 199, 312, -1 ], [ 200, 322, 1 ], [ 201, 308, -1 ],
[ 201, 311, -1 ], [ 201, 313, -1 ], [ 201, 314, -1 ], [ 201, 317, -1 ],
[ 201, 318, -1 ], [ 201, 319, -1 ], [ 201, 321, -1 ], [ 201, 322, -1 ],
[ 202, 315, -1 ], [ 202, 320, -1 ], [ 202, 323, -1 ], [ 202, 324, -1 ],
[ 203, 279, 1 ], [ 203, 280, 1 ], [ 203, 283, 1 ], [ 203, 293, 1 ],
[ 203, 309, -1 ], [ 203, 312, -1 ], [ 204, 326, 1 ], [ 205, 318, -1 ],
[ 205, 319, -1 ], [ 205, 322, -1 ], [ 206, 281, 1 ], [ 206, 291, 1 ],
[ 206, 294, 1 ], [ 206, 302, -1 ], [ 206, 308, 1 ], [ 206, 311, 1 ],
[ 206, 317, 1 ], [ 206, 318, 1 ], [ 206, 326, -1 ], [ 207, 330, 1 ],
[ 208, 298, 1 ], [ 208, 315, 1 ], [ 208, 320, 1 ], [ 208, 329, -1 ],
[ 208, 330, -1 ], [ 209, 276, 1 ], [ 209, 278, 1 ], [ 209, 288, 1 ],
[ 210, 334, 1 ], [ 211, 336, 1 ], [ 212, 338, 1 ], [ 213, 340, 1 ],
[ 214, 277, -1 ], [ 214, 279, -1 ], [ 214, 280, -1 ], [ 214, 287, -1 ],
[ 214, 292, -1 ], [ 214, 293, -1 ], [ 214, 295, -1 ], [ 214, 306, 1 ],
[ 214, 307, 1 ], [ 214, 309, 1 ], [ 214, 312, 1 ], [ 214, 334, -1 ],
[ 214, 340, -1 ], [ 215, 343, 1 ], [ 216, 277, 1 ], [ 216, 279, 1 ],
[ 216, 280, 2 ], [ 216, 287, 1 ], [ 216, 289, 1 ], [ 216, 290, 1 ],
[ 216, 292, 1 ], [ 216, 293, 1 ], [ 216, 295, 1 ], [ 216, 312, -1 ],
[ 216, 336, -1 ], [ 217, 346, 1 ], [ 218, 281, 1 ], [ 218, 291, 1 ],
[ 218, 308, 1 ], [ 218, 335, -1 ], [ 218, 337, -1 ], [ 218, 338, -1 ],
[ 218, 341, -1 ], [ 218, 342, -1 ], [ 218, 343, -1 ], [ 218, 345, -1 ],
[ 218, 346, -1 ], [ 219, 339, -1 ], [ 219, 344, -1 ], [ 219, 347, -1 ],
[ 219, 348, -1 ], [ 220, 277, 1 ], [ 220, 279, 1 ], [ 220, 280, 1 ],
[ 220, 287, 1 ], [ 220, 292, 1 ], [ 220, 293, 2 ], [ 220, 295, 1 ],
[ 220, 306, -1 ], [ 220, 307, -1 ], [ 220, 309, -1 ], [ 220, 312, -1 ],
[ 220, 334, 1 ], [ 221, 350, 1 ], [ 223, 353, 1 ], [ 224, 355, 1 ],
[ 225, 357, 1 ], [ 226, 281, -1 ], [ 226, 291, -1 ], [ 226, 308, -1 ],
[ 226, 318, 1 ], [ 226, 343, -1 ], [ 226, 346, -1 ], [ 226, 350, -1 ],
[ 226, 353, -1 ], [ 226, 357, -1 ], [ 227, 360, 1 ], [ 228, 339, 1 ],
[ 228, 352, -1 ], [ 228, 354, -1 ], [ 228, 355, -1 ], [ 228, 359, -1 ],
[ 228, 360, -1 ], [ 229, 281, -3 ], [ 229, 284, -1 ], [ 229, 291, -1 ],
[ 229, 294, -2 ], [ 229, 297, -1 ], [ 229, 313, 2 ], [ 229, 314, 1 ],
[ 229, 318, 2 ], [ 229, 322, 1 ], [ 229, 335, -1 ], [ 229, 337, 1 ],
[ 229, 343, -2 ], [ 229, 346, -1 ], [ 229, 349, 1 ], [ 229, 350, -1 ],
[ 229, 353, -1 ], [ 229, 357, -1 ], [ 230, 285, -1 ], [ 230, 294, 2 ],
[ 230, 296, 1 ], [ 230, 297, 2 ], [ 230, 302, 1 ], [ 230, 308, -1 ],
[ 230, 311, 1 ], [ 230, 313, -1 ], [ 230, 319, 1 ], [ 230, 335, 2 ],
[ 230, 338, 1 ], [ 230, 341, 1 ], [ 230, 342, 1 ], [ 230, 343, 2 ],
[ 231, 365, 1 ], [ 232, 298, -3 ], [ 232, 303, -1 ], [ 232, 304, -1 ],
[ 232, 320, -1 ], [ 232, 324, 1 ], [ 232, 328, -1 ], [ 232, 329, 1 ],
[ 232, 344, -1 ], [ 232, 348, 1 ], [ 232, 352, -1 ], [ 232, 355, -1 ],
[ 232, 360, -1 ], [ 232, 363, -1 ], [ 232, 364, 1 ], [ 233, 298, 2 ],
[ 233, 303, 1 ], [ 233, 304, 1 ], [ 233, 315, -1 ], [ 233, 320, 1 ],
[ 233, 324, -1 ], [ 233, 328, 1 ], [ 233, 329, -1 ], [ 233, 339, -1 ],
[ 233, 344, 1 ], [ 233, 348, -1 ], [ 233, 352, 2 ], [ 233, 355, 1 ],
[ 233, 363, 1 ], [ 233, 364, -1 ], [ 234, 298, 1 ], [ 234, 303, 1 ],
[ 234, 315, 1 ], [ 234, 320, 1 ], [ 234, 323, 1 ], [ 234, 327, 1 ],
[ 234, 328, 1 ], [ 234, 329, 1 ], [ 234, 339, 1 ], [ 234, 344, 1 ],
[ 234, 347, 1 ], [ 234, 351, 1 ], [ 234, 352, 1 ], [ 234, 354, 1 ],
[ 234, 358, 1 ], [ 234, 359, 1 ], [ 234, 360, 1 ], [ 234, 365, -1 ],
[ 235, 366, -1 ], [ 235, 367, -1 ], [ 235, 368, -1 ], [ 235, 369, -1 ],
[ 236, 331, 1 ], [ 236, 356, 1 ], [ 236, 361, 1 ], [ 236, 366, 1 ],
[ 236, 367, 1 ], [ 236, 368, 1 ], [ 237, 371, 1 ], [ 238, 277, -3 ],
[ 238, 279, -2 ], [ 238, 280, -2 ], [ 238, 283, 1 ], [ 238, 287, -1 ],
[ 238, 289, -2 ], [ 238, 290, -2 ], [ 238, 292, -1 ], [ 238, 295, -1 ],
[ 238, 310, 1 ], [ 238, 333, 1 ], [ 238, 334, 1 ], [ 238, 336, 1 ],
[ 238, 371, -1 ], [ 239, 374, 1 ], [ 240, 277, 1 ], [ 240, 280, 1 ],
[ 240, 282, -1 ], [ 240, 283, -1 ], [ 240, 287, 1 ], [ 240, 289, 1 ],
[ 240, 290, 2 ], [ 240, 292, 1 ], [ 240, 293, 1 ], [ 240, 295, 2 ],
[ 240, 312, 1 ], [ 241, 377, 1 ], [ 242, 281, -1 ], [ 242, 294, 1 ],
[ 242, 296, 1 ], [ 242, 297, 1 ], [ 242, 311, 1 ], [ 242, 313, 1 ],
[ 242, 314, 1 ], [ 242, 335, 1 ], [ 242, 337, 1 ], [ 242, 338, 1 ],
[ 242, 372, -1 ], [ 242, 373, -1 ], [ 242, 374, -1 ], [ 242, 376, -1 ],
[ 242, 377, -1 ], [ 243, 298, 1 ], [ 243, 315, 1 ], [ 243, 339, 1 ],
[ 243, 375, -1 ], [ 243, 378, -1 ], [ 243, 379, -1 ], [ 244, 279, -1 ],
[ 244, 280, -1 ], [ 244, 283, -1 ], [ 244, 293, -1 ], [ 245, 381, 1 ],
[ 246, 281, 4 ], [ 246, 291, 1 ], [ 246, 294, 1 ], [ 246, 296, 1 ],
[ 246, 297, 1 ], [ 246, 311, -1 ], [ 246, 313, -1 ], [ 246, 314, -1 ],
[ 246, 318, -1 ], [ 246, 319, -1 ], [ 246, 322, -1 ], [ 246, 342, 1 ],
[ 246, 343, 1 ], [ 246, 346, 1 ], [ 247, 281, -4 ], [ 247, 285, -1/2 ],
[ 247, 291, -2 ], [ 247, 294, -3 ], [ 247, 296, -5/2 ], [ 247, 297, -3 ],
[ 247, 300, -1/2 ], [ 247, 301, -1/2 ], [ 247, 302, -1/2 ],
[ 247, 308, 1 ], [ 247, 311, 1/2 ], [ 247, 313, 3/2 ], [ 247, 314, 1 ],
[ 247, 318, 1 ], [ 247, 319, -1/2 ], [ 247, 321, 1 ], [ 247, 322, 1 ],
[ 247, 335, -1 ], [ 247, 341, -1 ], [ 247, 342, -1 ], [ 247, 343, -5/2 ],
[ 247, 350, -1/2 ], [ 247, 353, -1/2 ], [ 247, 372, -1/2 ],
[ 247, 374, -3/2 ], [ 247, 376, 1/2 ], [ 247, 377, 1/2 ], [ 247, 381, -1 ],
[ 248, 385, 1 ], [ 249, 387, 1 ], [ 250, 281, -1 ], [ 250, 285, 1/2 ],
[ 250, 291, 1 ], [ 250, 294, 2 ], [ 250, 296, 3/2 ], [ 250, 297, 1 ],
[ 250, 300, 1/2 ], [ 250, 301, 1/2 ], [ 250, 302, 1/2 ], [ 250, 311, 3/2 ],
[ 250, 313, 1/2 ], [ 250, 314, 1 ], [ 250, 317, 1 ], [ 250, 318, 2 ],
[ 250, 319, 5/2 ], [ 250, 322, 1 ], [ 250, 337, -1 ], [ 250, 342, -1 ],
[ 250, 343, 1/2 ], [ 250, 345, -1 ], [ 250, 346, -2 ], [ 250, 350, 1/2 ],
[ 250, 353, 1/2 ], [ 250, 372, 1/2 ], [ 250, 374, 1/2 ],
[ 250, 376, -1/2 ], [ 250, 377, -3/2 ], [ 250, 387, -1 ], [ 251, 390, 1 ],
[ 252, 298, -1 ], [ 252, 315, -1 ], [ 252, 339, -1 ], [ 252, 383, -1 ],
[ 252, 384, -1 ], [ 252, 385, -1 ], [ 252, 389, -1 ], [ 252, 390, -1 ],
[ 253, 281, 1 ], [ 253, 284, 1 ], [ 253, 285, -1/2 ], [ 253, 291, 2 ],
[ 253, 296, -3/2 ], [ 253, 297, 1 ], [ 253, 300, 1/2 ], [ 253, 301, 1/2 ],
[ 253, 302, 1/2 ], [ 253, 308, 1 ], [ 253, 311, -1/2 ], [ 253, 313, -1/2 ],
[ 253, 314, 1 ], [ 253, 318, -2 ], [ 253, 319, 3/2 ], [ 253, 321, -1 ],
[ 253, 322, -1 ], [ 253, 335, -1 ], [ 253, 337, -1 ], [ 253, 343, 3/2 ],
[ 253, 350, 5/2 ], [ 253, 353, 3/2 ], [ 253, 357, 1 ], [ 253, 372, 1/2 ],
[ 253, 373, 1 ], [ 253, 374, 1/2 ], [ 253, 376, -1/2 ], [ 253, 377, -1/2 ],
[ 253, 380, 1 ], [ 253, 387, -1 ], [ 254, 285, 1/2 ], [ 254, 291, -2 ],
[ 254, 294, -2 ], [ 254, 296, -3/2 ], [ 254, 297, -1 ], [ 254, 300, -1/2 ],
[ 254, 301, -1/2 ], [ 254, 302, -1/2 ], [ 254, 308, -1 ],
[ 254, 311, -3/2 ], [ 254, 313, -1/2 ], [ 254, 314, -1 ], [ 254, 317, -1 ],
[ 254, 318, -1 ], [ 254, 319, -1/2 ], [ 254, 337, 1 ], [ 254, 342, 1 ],
[ 254, 343, 1/2 ], [ 254, 345, 1 ], [ 254, 346, 1 ], [ 254, 350, -1/2 ],
[ 254, 353, -1/2 ], [ 254, 372, -1/2 ], [ 254, 374, 1/2 ],
[ 254, 376, 1/2 ], [ 254, 377, 1/2 ], [ 255, 395, 1 ], [ 256, 298, 4 ],
[ 256, 303, 1 ], [ 256, 320, 1 ], [ 256, 323, -1 ], [ 256, 344, 1 ],
[ 256, 347, -1 ], [ 256, 352, -1 ], [ 256, 354, 1 ], [ 256, 375, 1 ],
[ 256, 378, -1 ], [ 256, 383, -1 ], [ 256, 384, 1 ], [ 256, 393, -1 ],
[ 256, 394, 1 ], [ 257, 281, 3 ], [ 257, 284, 1 ], [ 257, 285, 1/2 ],
[ 257, 291, 2 ], [ 257, 294, 2 ], [ 257, 296, 3/2 ], [ 257, 297, 2 ],
[ 257, 300, 1/2 ], [ 257, 301, 1/2 ], [ 257, 302, 1/2 ],
[ 257, 311, -1/2 ], [ 257, 313, -1/2 ], [ 257, 318, -1 ],
[ 257, 319, 1/2 ], [ 257, 321, -1 ], [ 257, 322, -1 ], [ 257, 343, 3/2 ],
[ 257, 350, 3/2 ], [ 257, 353, 1/2 ], [ 257, 372, 1/2 ], [ 257, 374, 1/2 ],
[ 257, 376, -1/2 ], [ 257, 377, -1/2 ], [ 257, 381, 1 ], [ 258, 399, 1 ],
[ 259, 298, -4 ], [ 259, 303, -1 ], [ 259, 323, 1 ], [ 259, 347, 1 ],
[ 259, 351, 1 ], [ 259, 352, 2 ], [ 259, 354, -1 ], [ 259, 378, 1 ],
[ 259, 382, 1 ], [ 259, 383, 2 ], [ 259, 384, -1 ], [ 259, 393, 1 ],
[ 259, 394, -2 ], [ 259, 395, -1 ], [ 259, 398, -1 ], [ 259, 399, -1 ],
[ 260, 396, -1 ], [ 260, 397, -1 ], [ 260, 400, -1 ], [ 260, 401, -1 ],
[ 261, 281, 3 ], [ 261, 284, 1 ], [ 261, 285, 1/2 ], [ 261, 291, 2 ],
[ 261, 294, 1 ], [ 261, 296, 1/2 ], [ 261, 297, 1 ], [ 261, 300, 1/2 ],
[ 261, 301, 1/2 ], [ 261, 302, 1/2 ], [ 261, 311, -1/2 ],
[ 261, 313, -3/2 ], [ 261, 314, -1 ], [ 261, 318, -2 ], [ 261, 319, -1/2 ],
[ 261, 321, -1 ], [ 261, 322, -1 ], [ 261, 337, -1 ], [ 261, 338, -1 ],
[ 261, 341, 1 ], [ 261, 343, 1/2 ], [ 261, 350, 1/2 ], [ 261, 353, 1/2 ],
[ 261, 372, 1/2 ], [ 261, 374, 1/2 ], [ 261, 376, -1/2 ],
[ 261, 377, 1/2 ], [ 262, 298, -7/2 ], [ 262, 303, 1/2 ], [ 262, 304, 1 ],
[ 262, 315, -1/2 ], [ 262, 320, -3 ], [ 262, 323, -1/2 ],
[ 262, 324, -5/2 ], [ 262, 327, 1/2 ], [ 262, 330, 1/2 ],
[ 262, 339, -1/2 ], [ 262, 344, -3/2 ], [ 262, 347, 5/2 ],
[ 262, 348, 1/2 ], [ 262, 351, 1/2 ], [ 262, 352, 1 ], [ 262, 355, 1 ],
[ 262, 359, 3/2 ], [ 262, 360, 1 ], [ 262, 363, -1 ], [ 262, 365, -1/2 ],
[ 262, 375, -1/2 ], [ 262, 378, 5/2 ], [ 262, 382, 1/2 ],
[ 262, 383, 3/2 ], [ 262, 384, -3/2 ], [ 262, 385, 1/2 ], [ 262, 389, 1 ],
[ 262, 393, 1/2 ], [ 262, 394, -3/2 ], [ 262, 395, -1/2 ],
[ 262, 398, -3/2 ], [ 262, 399, -1 ], [ 262, 402, -1/2 ], [ 263, 298, -3 ],
[ 263, 303, -1 ], [ 263, 315, 1 ], [ 263, 320, -1 ], [ 263, 323, 1 ],
[ 263, 339, 1 ], [ 263, 344, -1 ], [ 263, 347, 1 ], [ 263, 352, 1 ],
[ 263, 354, -1 ], [ 263, 375, -1 ], [ 263, 378, 1 ], [ 263, 383, 1 ],
[ 263, 384, -1 ], [ 263, 393, 1 ], [ 263, 394, -1 ], [ 263, 399, -1 ],
[ 264, 298, 5/2 ], [ 264, 303, -1/2 ], [ 264, 304, -1 ],
[ 264, 315, -1/2 ], [ 264, 320, 2 ], [ 264, 323, 1/2 ], [ 264, 324, 5/2 ],
[ 264, 327, -1/2 ], [ 264, 330, -1/2 ], [ 264, 339, -1/2 ],
[ 264, 344, 1/2 ], [ 264, 347, -5/2 ], [ 264, 348, -1/2 ],
[ 264, 351, -3/2 ], [ 264, 352, -2 ], [ 264, 355, -1 ], [ 264, 359, -3/2 ],
[ 264, 360, -1 ], [ 264, 363, 1 ], [ 264, 365, 1/2 ], [ 264, 375, 1/2 ],
[ 264, 378, -5/2 ], [ 264, 382, -1/2 ], [ 264, 383, -3/2 ],
[ 264, 384, 3/2 ], [ 264, 385, -1/2 ], [ 264, 389, -1 ], [ 264, 390, -1 ],
[ 264, 393, -1/2 ], [ 264, 394, 3/2 ], [ 264, 395, 1/2 ],
[ 264, 398, 3/2 ], [ 264, 399, 1 ], [ 264, 402, 1/2 ], [ 265, 406, 1 ],
[ 266, 386, 1 ], [ 266, 396, 1 ], [ 266, 397, 1 ], [ 266, 405, -1 ],
[ 266, 406, -1 ], [ 267, 298, -5/2 ], [ 267, 303, -3/2 ], [ 267, 304, 1 ],
[ 267, 315, 1/2 ], [ 267, 320, -2 ], [ 267, 323, 1/2 ], [ 267, 324, -1/2 ],
[ 267, 327, -1/2 ], [ 267, 329, -1 ], [ 267, 330, -1/2 ],
[ 267, 339, -1/2 ], [ 267, 344, -5/2 ], [ 267, 347, 1/2 ],
[ 267, 348, -1/2 ], [ 267, 351, -1/2 ], [ 267, 354, -1 ],
[ 267, 359, -1/2 ], [ 267, 363, 1 ], [ 267, 365, 1/2 ], [ 267, 375, -5/2 ],
[ 267, 378, 1/2 ], [ 267, 382, -1/2 ], [ 267, 383, -1/2 ],
[ 267, 384, -3/2 ], [ 267, 385, -3/2 ], [ 267, 390, -1 ],
[ 267, 393, 1/2 ], [ 267, 394, 1/2 ], [ 267, 395, 1/2 ], [ 267, 398, 1/2 ],
[ 267, 402, 1/2 ], [ 268, 298, 3/2 ], [ 268, 303, -3/2 ], [ 268, 304, -1 ],
[ 268, 315, 1/2 ], [ 268, 320, -1 ], [ 268, 323, -3/2 ], [ 268, 324, 1/2 ],
[ 268, 327, -1/2 ], [ 268, 328, -1 ], [ 268, 330, -1/2 ],
[ 268, 339, 1/2 ], [ 268, 344, -3/2 ], [ 268, 347, -3/2 ],
[ 268, 348, 1/2 ], [ 268, 351, -1/2 ], [ 268, 352, -2 ], [ 268, 354, 1 ],
[ 268, 359, -1/2 ], [ 268, 364, 1 ], [ 268, 365, 1/2 ], [ 268, 375, -1/2 ],
[ 268, 378, -3/2 ], [ 268, 382, -1/2 ], [ 268, 383, -1/2 ],
[ 268, 384, 3/2 ], [ 268, 385, 1/2 ], [ 268, 393, -1/2 ],
[ 268, 394, 3/2 ], [ 268, 395, 1/2 ], [ 268, 398, 1/2 ], [ 268, 402, 1/2 ],
[ 269, 298, 2 ], [ 269, 303, 2 ], [ 269, 315, -1 ], [ 269, 323, -1 ],
[ 269, 324, -1 ], [ 269, 327, 1 ], [ 269, 328, 1 ], [ 269, 329, 1 ],
[ 269, 330, 2 ], [ 269, 344, 1 ], [ 269, 348, -1 ], [ 269, 355, 1 ],
[ 269, 375, 1 ], [ 269, 379, -1 ], [ 269, 382, 1 ], [ 269, 383, 1 ],
[ 269, 384, 1 ], [ 269, 385, 2 ], [ 269, 388, 1 ], [ 269, 389, 1 ],
[ 269, 390, 1 ], [ 270, 331, 1 ], [ 270, 356, 1 ], [ 270, 366, 1 ],
[ 270, 386, 1 ], [ 270, 396, 1 ], [ 270, 409, -1 ], [ 270, 410, -1 ],
[ 270, 411, -1 ], [ 271, 331, -3 ], [ 271, 332, -1 ], [ 271, 356, -2 ],
[ 271, 361, -2 ], [ 271, 367, -1 ], [ 271, 369, 1 ], [ 271, 386, -2 ],
[ 271, 391, -2 ], [ 271, 396, 1 ], [ 271, 400, 1 ], [ 271, 401, 1 ],
[ 271, 406, -1 ], [ 271, 409, -1 ], [ 271, 411, 1 ], [ 272, 356, -1 ],
[ 272, 386, -1 ], [ 272, 396, -1 ], [ 272, 397, -1 ], [ 273, 331, 2 ],
[ 273, 332, 1 ], [ 273, 356, 2 ], [ 273, 361, 2 ], [ 273, 366, -1 ],
[ 273, 367, 1 ], [ 273, 369, -1 ], [ 273, 386, 2 ], [ 273, 391, 2 ],
[ 273, 396, -1 ], [ 273, 397, 1 ], [ 273, 401, -1 ], [ 273, 404, 1 ],
[ 273, 405, 1 ], [ 273, 406, 1 ], [ 273, 409, 1 ], [ 273, 411, -1 ],
[ 274, 370, 1 ], [ 274, 407, 1 ], [ 274, 408, 1 ], [ 274, 412, 1 ],
[ 274, 413, 1 ], [ 274, 414, 1 ], [ 275, 415, 1 ], [ 276, 417, 1 ],
[ 277, 419, 1 ], [ 278, 415, -1 ], [ 278, 417, -1 ], [ 279, 422, 1 ],
[ 280, 416, -1 ], [ 280, 418, -1 ], [ 280, 419, -1 ], [ 280, 421, -1 ],
[ 280, 422, -1 ], [ 281, 420, -1 ], [ 281, 423, -1 ], [ 281, 424, -1 ],
[ 282, 425, 1 ], [ 283, 416, 1 ], [ 283, 422, -1 ], [ 283, 425, -1 ],
[ 284, 428, 1 ], [ 285, 420, 1 ], [ 285, 427, -1 ], [ 285, 428, -1 ],
[ 286, 431, 1 ], [ 287, 433, 1 ], [ 288, 417, -1 ], [ 288, 431, -1 ],
[ 289, 436, 1 ], [ 290, 438, 1 ], [ 291, 440, 1 ], [ 292, 442, 1 ],
[ 293, 422, -1 ], [ 293, 436, -1 ], [ 293, 442, -1 ], [ 294, 445, 1 ],
[ 295, 416, 1 ], [ 295, 418, 1 ], [ 295, 421, 1 ], [ 295, 422, 1 ],
[ 295, 433, -1 ], [ 295, 438, -1 ], [ 296, 448, 1 ], [ 297, 434, -1 ],
[ 297, 437, -1 ], [ 297, 439, -1 ], [ 297, 440, -1 ], [ 297, 443, -1 ],
[ 297, 444, -1 ], [ 297, 445, -1 ], [ 297, 447, -1 ], [ 297, 448, -1 ],
[ 298, 441, -1 ], [ 298, 446, -1 ], [ 298, 449, -1 ], [ 298, 450, -1 ],
[ 299, 422, 1 ], [ 299, 435, -1 ], [ 299, 438, -1 ], [ 300, 452, 1 ],
[ 301, 444, -1 ], [ 301, 445, -1 ], [ 301, 448, -1 ], [ 302, 420, 1 ],
[ 302, 423, 1 ], [ 302, 428, -1 ], [ 302, 434, 1 ], [ 302, 437, 1 ],
[ 302, 443, 1 ], [ 302, 444, 1 ], [ 302, 452, -1 ], [ 303, 456, 1 ],
[ 304, 441, 1 ], [ 304, 446, 1 ], [ 304, 455, -1 ], [ 304, 456, -1 ],
[ 305, 417, 1 ], [ 306, 460, 1 ], [ 307, 462, 1 ], [ 308, 464, 1 ],
[ 309, 466, 1 ], [ 310, 418, 1 ], [ 310, 419, 1 ], [ 310, 432, 1 ],
[ 310, 433, 1 ], [ 310, 435, 1 ], [ 310, 438, 1 ], [ 310, 460, -1 ],
[ 310, 466, -1 ], [ 311, 469, 1 ], [ 312, 438, -1 ], [ 312, 462, -1 ],
[ 313, 472, 1 ], [ 314, 420, 1 ], [ 314, 434, 1 ], [ 314, 461, -1 ],
[ 314, 463, -1 ], [ 314, 464, -1 ], [ 314, 467, -1 ], [ 314, 468, -1 ],
[ 314, 469, -1 ], [ 314, 471, -1 ], [ 314, 472, -1 ], [ 315, 465, -1 ],
[ 315, 470, -1 ], [ 315, 473, -1 ], [ 315, 474, -1 ], [ 316, 418, -1 ],
[ 316, 419, -1 ], [ 316, 422, 1 ], [ 316, 432, -1 ], [ 316, 433, -1 ],
[ 316, 435, -1 ], [ 316, 438, -1 ], [ 316, 460, 1 ], [ 317, 476, 1 ],
[ 319, 479, 1 ], [ 320, 481, 1 ], [ 321, 483, 1 ], [ 322, 420, -1 ],
[ 322, 434, -1 ], [ 322, 444, 1 ], [ 322, 469, -1 ], [ 322, 472, -1 ],
[ 322, 476, -1 ], [ 322, 479, -1 ], [ 322, 483, -1 ], [ 323, 486, 1 ],
[ 324, 465, 1 ], [ 324, 478, -1 ], [ 324, 480, -1 ], [ 324, 481, -1 ],
[ 324, 485, -1 ], [ 324, 486, -1 ], [ 325, 423, -1 ], [ 325, 424, 1 ],
[ 325, 439, 2 ], [ 325, 440, 1 ], [ 325, 444, 2 ], [ 325, 448, 1 ],
[ 325, 461, -1 ], [ 325, 463, 1 ], [ 325, 469, -2 ], [ 325, 472, -1 ],
[ 325, 475, 1 ], [ 325, 476, -1 ], [ 325, 479, -1 ], [ 325, 483, -1 ],
[ 326, 420, -2 ], [ 326, 424, -1 ], [ 326, 428, 1 ], [ 326, 434, -1 ],
[ 326, 437, 1 ], [ 326, 439, -1 ], [ 326, 445, 1 ], [ 326, 461, 2 ],
[ 326, 464, 1 ], [ 326, 467, 1 ], [ 326, 468, 1 ], [ 326, 469, 2 ],
[ 327, 491, 1 ], [ 328, 429, -1 ], [ 328, 430, -1 ], [ 328, 446, -1 ],
[ 328, 450, 1 ], [ 328, 454, -1 ], [ 328, 455, 1 ], [ 328, 470, -1 ],
[ 328, 474, 1 ], [ 328, 478, -1 ], [ 328, 481, -1 ], [ 328, 486, -1 ],
[ 328, 489, -1 ], [ 328, 490, 1 ], [ 329, 429, 1 ], [ 329, 430, 1 ],
[ 329, 441, -1 ], [ 329, 446, 1 ], [ 329, 450, -1 ], [ 329, 454, 1 ],
[ 329, 455, -1 ], [ 329, 465, -1 ], [ 329, 470, 1 ], [ 329, 474, -1 ],
[ 329, 478, 2 ], [ 329, 481, 1 ], [ 329, 489, 1 ], [ 329, 490, -1 ],
[ 330, 429, 1 ], [ 330, 441, 1 ], [ 330, 446, 1 ], [ 330, 449, 1 ],
[ 330, 453, 1 ], [ 330, 454, 1 ], [ 330, 455, 1 ], [ 330, 465, 1 ],
[ 330, 470, 1 ], [ 330, 473, 1 ], [ 330, 477, 1 ], [ 330, 478, 1 ],
[ 330, 480, 1 ], [ 330, 484, 1 ], [ 330, 485, 1 ], [ 330, 486, 1 ],
[ 330, 491, -1 ], [ 331, 492, -1 ], [ 331, 493, -1 ], [ 331, 494, -1 ],
[ 331, 495, -1 ], [ 332, 457, 1 ], [ 332, 482, 1 ], [ 332, 487, 1 ],
[ 332, 492, 1 ], [ 332, 493, 1 ], [ 332, 494, 1 ], [ 333, 497, 1 ],
[ 334, 418, -1 ], [ 334, 419, -1 ], [ 334, 422, 1 ], [ 334, 436, 1 ],
[ 334, 459, 1 ], [ 334, 460, 1 ], [ 334, 462, 1 ], [ 334, 497, -1 ],
[ 335, 500, 1 ], [ 336, 416, -1 ], [ 336, 418, -1 ], [ 336, 421, -1 ],
[ 336, 422, -1 ], [ 336, 438, 1 ], [ 337, 423, 4 ], [ 337, 424, 7 ],
[ 337, 426, -1 ], [ 337, 427, -1 ], [ 337, 428, -1 ], [ 337, 437, 7 ],
[ 337, 439, 5 ], [ 337, 443, 6 ], [ 337, 444, 12 ], [ 337, 445, 3 ],
[ 337, 447, 6 ], [ 337, 448, 6 ], [ 337, 461, 2 ], [ 337, 463, -2 ],
[ 337, 467, 2 ], [ 337, 469, -1 ], [ 337, 471, -2 ], [ 337, 472, -2 ],
[ 337, 476, -3 ], [ 337, 479, -3 ], [ 337, 498, 1 ], [ 337, 500, 1 ],
[ 337, 502, -1 ], [ 338, 420, -1 ], [ 338, 423, -4 ], [ 338, 424, -7 ],
[ 338, 426, 1 ], [ 338, 427, 1 ], [ 338, 428, 1 ], [ 338, 437, -6 ],
[ 338, 439, -4 ], [ 338, 440, 1 ], [ 338, 443, -6 ], [ 338, 444, -12 ],
[ 338, 445, -3 ], [ 338, 447, -6 ], [ 338, 448, -6 ], [ 338, 461, -1 ],
[ 338, 463, 3 ], [ 338, 464, 1 ], [ 338, 467, -2 ], [ 338, 469, 1 ],
[ 338, 471, 2 ], [ 338, 472, 2 ], [ 338, 476, 3 ], [ 338, 479, 3 ],
[ 338, 498, -2 ], [ 338, 499, -1 ], [ 338, 500, -2 ], [ 339, 441, 1 ],
[ 339, 465, 1 ], [ 339, 501, -1 ], [ 339, 503, -1 ], [ 339, 504, -1 ],
[ 340, 422, -1 ], [ 341, 506, 1 ], [ 342, 437, -1 ], [ 342, 439, -1 ],
[ 342, 440, -1 ], [ 342, 444, -1 ], [ 342, 445, -1 ], [ 342, 448, -1 ],
[ 342, 468, 1 ], [ 342, 469, 1 ], [ 342, 472, 1 ], [ 343, 420, 1 ],
[ 343, 423, 2 ], [ 343, 424, 4 ], [ 343, 426, -1 ], [ 343, 427, -1 ],
[ 343, 428, -1 ], [ 343, 434, 1 ], [ 343, 437, 4 ], [ 343, 439, 4 ],
[ 343, 440, 1 ], [ 343, 443, 3 ], [ 343, 444, 7 ], [ 343, 445, 1 ],
[ 343, 447, 4 ], [ 343, 448, 4 ], [ 343, 463, -1 ], [ 343, 468, -1 ],
[ 343, 469, -3 ], [ 343, 471, -1 ], [ 343, 472, -1 ], [ 343, 476, -2 ],
[ 343, 479, -2 ], [ 343, 500, -1 ], [ 343, 506, -1 ], [ 344, 510, 1 ],
[ 345, 512, 1 ], [ 346, 423, -5 ], [ 346, 424, -10 ], [ 346, 426, 2 ],
[ 346, 427, 2 ], [ 346, 428, 2 ], [ 346, 437, -9 ], [ 346, 439, -7 ],
[ 346, 440, 1 ], [ 346, 443, -8 ], [ 346, 444, -16 ], [ 346, 445, -2 ],
[ 346, 447, -9 ], [ 346, 448, -8 ], [ 346, 461, -3 ], [ 346, 463, 2 ],
[ 346, 467, -3 ], [ 346, 468, -1 ], [ 346, 469, 2 ], [ 346, 471, 2 ],
[ 346, 472, 1 ], [ 346, 476, 5 ], [ 346, 479, 5 ], [ 346, 498, -1 ],
[ 346, 500, -1 ], [ 346, 502, 1 ], [ 346, 512, -1 ], [ 347, 515, 1 ],
[ 348, 441, -1 ], [ 348, 465, -1 ], [ 348, 508, -1 ], [ 348, 509, -1 ],
[ 348, 510, -1 ], [ 348, 514, -1 ], [ 348, 515, -1 ], [ 349, 420, 1 ],
[ 349, 423, -3 ], [ 349, 424, -6 ], [ 349, 426, 1 ], [ 349, 427, 1 ],
[ 349, 428, 1 ], [ 349, 434, 1 ], [ 349, 437, -4 ], [ 349, 439, -3 ],
[ 349, 440, 1 ], [ 349, 443, -3 ], [ 349, 444, -8 ], [ 349, 447, -4 ],
[ 349, 448, -4 ], [ 349, 461, -2 ], [ 349, 467, -1 ], [ 349, 469, 2 ],
[ 349, 471, 1 ], [ 349, 472, 1 ], [ 349, 476, 4 ], [ 349, 479, 3 ],
[ 349, 483, 1 ], [ 349, 499, 1 ], [ 349, 505, 1 ], [ 349, 512, -1 ],
[ 350, 420, -1 ], [ 350, 423, 1 ], [ 350, 424, 3 ], [ 350, 426, -1 ],
[ 350, 427, -1 ], [ 350, 428, -1 ], [ 350, 434, -1 ], [ 350, 437, 2 ],
[ 350, 439, 2 ], [ 350, 440, -1 ], [ 350, 443, 2 ], [ 350, 444, 5 ],
[ 350, 445, 1 ], [ 350, 447, 3 ], [ 350, 448, 3 ], [ 350, 461, 1 ],
[ 350, 467, 1 ], [ 350, 468, 1 ], [ 350, 476, -2 ], [ 350, 479, -2 ],
[ 350, 500, 1 ], [ 351, 519, 1 ], [ 352, 429, 1 ], [ 352, 446, 1 ],
[ 352, 449, -1 ], [ 352, 470, 1 ], [ 352, 473, -1 ], [ 352, 478, 1 ],
[ 352, 480, 2 ], [ 352, 485, 1 ], [ 352, 501, 1 ], [ 352, 503, -1 ],
[ 352, 509, 1 ], [ 352, 514, -1 ], [ 353, 423, -2 ], [ 353, 424, -4 ],
[ 353, 426, 1 ], [ 353, 427, 1 ], [ 353, 428, 1 ], [ 353, 437, -4 ],
[ 353, 439, -3 ], [ 353, 443, -3 ], [ 353, 444, -7 ], [ 353, 445, -1 ],
[ 353, 447, -4 ], [ 353, 448, -4 ], [ 353, 461, -1 ], [ 353, 463, 1 ],
[ 353, 467, -1 ], [ 353, 469, 2 ], [ 353, 471, 1 ], [ 353, 472, 1 ],
[ 353, 476, 3 ], [ 353, 479, 2 ], [ 353, 506, 1 ], [ 354, 523, 1 ],
[ 355, 429, -1 ], [ 355, 449, 1 ], [ 355, 473, 1 ], [ 355, 477, 1 ],
[ 355, 478, -2 ], [ 355, 480, -3 ], [ 355, 485, -2 ], [ 355, 503, 1 ],
[ 355, 507, 1 ], [ 355, 509, -1 ], [ 355, 514, 2 ], [ 355, 518, -1 ],
[ 355, 519, -1 ], [ 355, 522, -1 ], [ 355, 523, -1 ], [ 356, 520, -1 ],
[ 356, 521, -1 ], [ 356, 524, -1 ], [ 356, 525, -1 ], [ 357, 420, 1 ],
[ 357, 423, 2 ], [ 357, 424, 3 ], [ 357, 437, 3 ], [ 357, 439, 1 ],
[ 357, 440, -1 ], [ 357, 443, 3 ], [ 357, 444, 4 ], [ 357, 445, 1 ],
[ 357, 447, 2 ], [ 357, 448, 2 ], [ 357, 461, 1 ], [ 357, 463, -2 ],
[ 357, 464, -1 ], [ 357, 467, 2 ], [ 357, 471, -1 ], [ 357, 472, -1 ],
[ 357, 476, -1 ], [ 357, 479, -1 ], [ 357, 498, 1 ], [ 357, 500, 1 ],
[ 357, 502, -1 ], [ 358, 429, 1/2 ], [ 358, 430, 1 ], [ 358, 441, -1/2 ],
[ 358, 446, -3 ], [ 358, 449, -1/2 ], [ 358, 450, -5/2 ],
[ 358, 453, 1/2 ], [ 358, 456, 1/2 ], [ 358, 465, -1/2 ],
[ 358, 470, -3/2 ], [ 358, 473, 5/2 ], [ 358, 474, 1/2 ],
[ 358, 477, 1/2 ], [ 358, 478, -2 ], [ 358, 480, -3/2 ], [ 358, 481, 1 ],
[ 358, 486, 1 ], [ 358, 489, -1 ], [ 358, 491, -1/2 ], [ 358, 501, -1/2 ],
[ 358, 503, 5/2 ], [ 358, 507, 1/2 ], [ 358, 509, -3/2 ],
[ 358, 510, 1/2 ], [ 358, 514, 5/2 ], [ 358, 518, -1 ], [ 358, 519, -1/2 ],
[ 358, 522, -3/2 ], [ 358, 523, -1 ], [ 358, 526, -1/2 ], [ 359, 429, -1 ],
[ 359, 441, 1 ], [ 359, 446, -1 ], [ 359, 449, 1 ], [ 359, 465, 1 ],
[ 359, 470, -1 ], [ 359, 473, 1 ], [ 359, 478, -1 ], [ 359, 480, -2 ],
[ 359, 485, -1 ], [ 359, 501, -1 ], [ 359, 503, 1 ], [ 359, 509, -1 ],
[ 359, 514, 1 ], [ 359, 523, -1 ], [ 360, 429, -1/2 ], [ 360, 430, -1 ],
[ 360, 441, -1/2 ], [ 360, 446, 2 ], [ 360, 449, 1/2 ], [ 360, 450, 5/2 ],
[ 360, 453, -1/2 ], [ 360, 456, -1/2 ], [ 360, 465, -1/2 ],
[ 360, 470, 1/2 ], [ 360, 473, -5/2 ], [ 360, 474, -1/2 ],
[ 360, 477, -3/2 ], [ 360, 478, 1 ], [ 360, 480, 3/2 ], [ 360, 481, -1 ],
[ 360, 486, -1 ], [ 360, 489, 1 ], [ 360, 491, 1/2 ], [ 360, 501, 1/2 ],
[ 360, 503, -5/2 ], [ 360, 507, -1/2 ], [ 360, 509, 3/2 ],
[ 360, 510, -1/2 ], [ 360, 514, -5/2 ], [ 360, 515, -1 ], [ 360, 518, 1 ],
[ 360, 519, 1/2 ], [ 360, 522, 3/2 ], [ 360, 523, 1 ], [ 360, 526, 1/2 ],
[ 361, 530, 1 ], [ 362, 511, 1 ], [ 362, 520, 1 ], [ 362, 521, 1 ],
[ 362, 529, -1 ], [ 362, 530, -1 ], [ 363, 429, -3/2 ], [ 363, 430, 1 ],
[ 363, 441, 1/2 ], [ 363, 446, -2 ], [ 363, 449, 1/2 ], [ 363, 450, -1/2 ],
[ 363, 453, -1/2 ], [ 363, 455, -1 ], [ 363, 456, -1/2 ],
[ 363, 465, -1/2 ], [ 363, 470, -5/2 ], [ 363, 473, 1/2 ],
[ 363, 474, -1/2 ], [ 363, 477, -1/2 ], [ 363, 478, 1 ],
[ 363, 480, -1/2 ], [ 363, 489, 1 ], [ 363, 491, 1/2 ], [ 363, 501, -5/2 ],
[ 363, 503, 1/2 ], [ 363, 507, -1/2 ], [ 363, 509, -3/2 ],
[ 363, 510, -3/2 ], [ 363, 514, -1/2 ], [ 363, 515, -1 ], [ 363, 518, 1 ],
[ 363, 519, 1/2 ], [ 363, 522, 1/2 ], [ 363, 526, 1/2 ],
[ 364, 429, -3/2 ], [ 364, 430, -1 ], [ 364, 441, 1/2 ], [ 364, 446, -1 ],
[ 364, 449, -3/2 ], [ 364, 450, 1/2 ], [ 364, 453, -1/2 ],
[ 364, 454, -1 ], [ 364, 456, -1/2 ], [ 364, 465, 1/2 ],
[ 364, 470, -3/2 ], [ 364, 473, -3/2 ], [ 364, 474, 1/2 ],
[ 364, 477, -1/2 ], [ 364, 478, 1 ], [ 364, 480, 5/2 ], [ 364, 485, 1 ],
[ 364, 490, 1 ], [ 364, 491, 1/2 ], [ 364, 501, -1/2 ], [ 364, 503, -3/2 ],
[ 364, 507, -1/2 ], [ 364, 508, 1 ], [ 364, 509, 3/2 ], [ 364, 510, 1/2 ],
[ 364, 514, -3/2 ], [ 364, 518, 1 ], [ 364, 519, 1/2 ], [ 364, 522, 1/2 ],
[ 364, 526, 1/2 ], [ 365, 429, 2 ], [ 365, 441, -1 ], [ 365, 449, -1 ],
[ 365, 450, -1 ], [ 365, 453, 1 ], [ 365, 454, 1 ], [ 365, 455, 1 ],
[ 365, 456, 2 ], [ 365, 470, 1 ], [ 365, 474, -1 ], [ 365, 481, 1 ],
[ 365, 501, 1 ], [ 365, 504, -1 ], [ 365, 507, 1 ], [ 365, 508, 1 ],
[ 365, 509, 1 ], [ 365, 510, 2 ], [ 365, 513, 1 ], [ 365, 514, 1 ],
[ 365, 515, 1 ], [ 366, 457, 1 ], [ 366, 482, 1 ], [ 366, 492, 1 ],
[ 366, 511, 1 ], [ 366, 520, 1 ], [ 366, 533, -1 ], [ 366, 534, -1 ],
[ 366, 535, -1 ], [ 367, 457, -3 ], [ 367, 458, -1 ], [ 367, 482, -2 ],
[ 367, 487, -2 ], [ 367, 493, -1 ], [ 367, 495, 1 ], [ 367, 511, -2 ],
[ 367, 516, -2 ], [ 367, 520, 1 ], [ 367, 524, 1 ], [ 367, 525, 1 ],
[ 367, 530, -1 ], [ 367, 533, -1 ], [ 367, 535, 1 ], [ 368, 482, -1 ],
[ 368, 511, -1 ], [ 368, 520, -1 ], [ 368, 521, -1 ], [ 369, 457, 2 ],
[ 369, 458, 1 ], [ 369, 482, 2 ], [ 369, 487, 2 ], [ 369, 492, -1 ],
[ 369, 493, 1 ], [ 369, 495, -1 ], [ 369, 511, 2 ], [ 369, 516, 2 ],
[ 369, 520, -1 ], [ 369, 521, 1 ], [ 369, 525, -1 ], [ 369, 528, 1 ],
[ 369, 529, 1 ], [ 369, 530, 1 ], [ 369, 533, 1 ], [ 369, 535, -1 ],
[ 370, 496, 1 ], [ 370, 531, 1 ], [ 370, 532, 1 ], [ 370, 536, 1 ],
[ 370, 537, 1 ], [ 370, 538, 1 ], [ 371, 418, -3 ], [ 371, 419, -3 ],
[ 371, 422, -1 ], [ 371, 432, -1 ], [ 371, 433, -1 ], [ 371, 435, -1 ],
[ 371, 436, -2 ], [ 371, 438, -1 ], [ 371, 459, 1 ], [ 371, 460, 1 ],
[ 371, 462, 1 ], [ 372, 540, 1 ], [ 373, 420, 4 ], [ 373, 423, 4 ],
[ 373, 424, 7 ], [ 373, 426, -1 ], [ 373, 427, -1 ], [ 373, 428, -1 ],
[ 373, 434, 1 ], [ 373, 437, 7 ], [ 373, 439, 5 ], [ 373, 443, 6 ],
[ 373, 444, 11 ], [ 373, 445, 2 ], [ 373, 447, 6 ], [ 373, 448, 5 ],
[ 373, 461, 1 ], [ 373, 463, -3 ], [ 373, 464, -1 ], [ 373, 467, 2 ],
[ 373, 469, -1 ], [ 373, 471, -2 ], [ 373, 472, -2 ], [ 373, 476, -3 ],
[ 373, 479, -3 ], [ 373, 498, 1 ], [ 373, 499, 1 ], [ 373, 500, 2 ],
[ 373, 502, -1 ], [ 374, 420, -2 ], [ 374, 423, -3 ], [ 374, 424, -7 ],
[ 374, 426, 2 ], [ 374, 427, 2 ], [ 374, 428, 3 ], [ 374, 437, -7 ],
[ 374, 439, -5 ], [ 374, 443, -6 ], [ 374, 444, -13 ], [ 374, 445, -1 ],
[ 374, 447, -7 ], [ 374, 448, -7 ], [ 374, 461, -1 ], [ 374, 463, 3 ],
[ 374, 464, 1 ], [ 374, 467, -2 ], [ 374, 469, 3 ], [ 374, 471, 2 ],
[ 374, 472, 2 ], [ 374, 476, 4 ], [ 374, 479, 4 ], [ 374, 498, -1 ],
[ 374, 499, -1 ], [ 374, 500, -1 ], [ 374, 540, -1 ], [ 375, 453, -1 ],
[ 375, 454, -1 ], [ 375, 455, -1 ], [ 375, 456, -1 ], [ 375, 477, -1 ],
[ 375, 478, -1 ], [ 375, 480, -1 ], [ 375, 481, -1 ], [ 375, 507, -1 ],
[ 375, 508, -1 ], [ 375, 509, -1 ], [ 375, 510, -1 ], [ 375, 541, -1 ],
[ 375, 542, -1 ], [ 375, 543, -1 ], [ 376, 544, 1 ], [ 377, 420, -2 ],
[ 377, 423, 1 ], [ 377, 424, 2 ], [ 377, 426, -1 ], [ 377, 427, -2 ],
[ 377, 428, -2 ], [ 377, 434, -1 ], [ 377, 437, 2 ], [ 377, 439, 2 ],
[ 377, 443, 1 ], [ 377, 444, 4 ], [ 377, 445, 1 ], [ 377, 447, 2 ],
[ 377, 448, 4 ], [ 377, 461, 1 ], [ 377, 463, 1 ], [ 377, 464, 1 ],
[ 377, 469, -1 ], [ 377, 472, 1 ], [ 377, 476, -1 ], [ 377, 479, -1 ],
[ 377, 498, -1 ], [ 377, 499, -1 ], [ 377, 500, -1 ], [ 377, 544, -1 ],
[ 378, 547, 1 ], [ 379, 453, 1 ], [ 379, 454, 1 ], [ 379, 455, 1 ],
[ 379, 456, 1 ], [ 379, 477, 1 ], [ 379, 478, 1 ], [ 379, 480, 1 ],
[ 379, 481, 1 ], [ 379, 507, 1 ], [ 379, 508, 1 ], [ 379, 509, 1 ],
[ 379, 510, 1 ], [ 379, 541, 1 ], [ 379, 546, -1 ], [ 379, 547, -1 ],
[ 380, 420, -3 ], [ 380, 423, 3/2 ], [ 380, 424, 3/2 ], [ 380, 427, 1/2 ],
[ 380, 434, -2 ], [ 380, 437, -1 ], [ 380, 439, -3/2 ], [ 380, 440, -2 ],
[ 380, 443, -1/2 ], [ 380, 444, 1/2 ], [ 380, 447, -1/2 ],
[ 380, 451, -1/2 ], [ 380, 452, -1/2 ], [ 380, 461, 2 ], [ 380, 463, 1 ],
[ 380, 467, 1/2 ], [ 380, 468, -1 ], [ 380, 469, -1 ], [ 380, 471, 1/2 ],
[ 380, 472, -1 ], [ 380, 475, -1 ], [ 380, 476, -3/2 ], [ 380, 483, -1/2 ],
[ 380, 498, 1/2 ], [ 380, 499, -1 ], [ 380, 502, 1/2 ], [ 380, 505, -3/2 ],
[ 380, 512, 3/2 ], [ 380, 539, -1 ], [ 380, 540, -1/2 ], [ 380, 544, 1/2 ],
[ 381, 420, 1 ], [ 381, 423, 2 ], [ 381, 424, 3 ], [ 381, 428, -1 ],
[ 381, 437, 3 ], [ 381, 439, 1 ], [ 381, 443, 2 ], [ 381, 444, 4 ],
[ 381, 445, -1 ], [ 381, 447, 2 ], [ 381, 448, 2 ], [ 381, 461, 1 ],
[ 381, 463, -1 ], [ 381, 467, 1 ], [ 381, 469, -1 ], [ 381, 471, -1 ],
[ 381, 472, -1 ], [ 381, 476, -2 ], [ 381, 479, -2 ], [ 382, 552, 1 ],
[ 383, 430, 1 ], [ 383, 446, 4 ], [ 383, 449, 3 ], [ 383, 450, 2 ],
[ 383, 465, 1 ], [ 383, 470, 3 ], [ 383, 473, -1 ], [ 383, 474, -1 ],
[ 383, 480, -1 ], [ 383, 481, -1 ], [ 383, 486, -1 ], [ 383, 501, 2 ],
[ 383, 503, -1 ], [ 383, 504, -1 ], [ 383, 508, -1 ], [ 383, 509, 2 ],
[ 383, 510, 1 ], [ 383, 515, 1 ], [ 383, 542, -1 ], [ 383, 543, 1 ],
[ 383, 550, -1 ], [ 383, 551, 1 ], [ 384, 429, -1/2 ], [ 384, 430, -1 ],
[ 384, 441, 1 ], [ 384, 446, -3 ], [ 384, 449, -2 ], [ 384, 450, -3/2 ],
[ 384, 453, 1/2 ], [ 384, 465, -1 ], [ 384, 470, -3/2 ], [ 384, 473, 3/2 ],
[ 384, 474, 1 ], [ 384, 477, 1/2 ], [ 384, 480, 1/2 ], [ 384, 481, 1/2 ],
[ 384, 485, 1/2 ], [ 384, 486, 1 ], [ 384, 501, -3/2 ], [ 384, 503, 1 ],
[ 384, 504, 1/2 ], [ 384, 507, 1/2 ], [ 384, 508, 1/2 ], [ 384, 509, -2 ],
[ 384, 510, -1/2 ], [ 384, 514, 1/2 ], [ 384, 523, -1/2 ],
[ 384, 541, 1/2 ], [ 384, 542, 1 ], [ 384, 543, -1/2 ], [ 384, 546, 1/2 ],
[ 384, 547, 1/2 ], [ 384, 550, 1 ], [ 384, 551, -1 ], [ 385, 429, -1/2 ],
[ 385, 430, 1/2 ], [ 385, 441, 1 ], [ 385, 446, 1 ], [ 385, 449, 3/2 ],
[ 385, 450, 3/2 ], [ 385, 454, 1/2 ], [ 385, 455, 1/2 ], [ 385, 470, -1 ],
[ 385, 473, -1 ], [ 385, 477, 1/2 ], [ 385, 478, 2 ], [ 385, 480, 5/2 ],
[ 385, 481, 1/2 ], [ 385, 501, -1/2 ], [ 385, 503, -1 ], [ 385, 504, 1/2 ],
[ 385, 507, 1/2 ], [ 385, 508, 1 ], [ 385, 509, 3/2 ], [ 385, 510, -1/2 ],
[ 385, 513, -1 ], [ 385, 514, -2 ], [ 385, 515, -1 ], [ 385, 518, 1/2 ],
[ 385, 522, 1/2 ], [ 385, 523, 1/2 ], [ 385, 541, 1 ], [ 385, 542, 1 ],
[ 385, 543, 1 ], [ 385, 545, -1/2 ], [ 385, 546, -1 ], [ 385, 547, -1/2 ],
[ 385, 552, -1 ], [ 386, 553, -1 ], [ 386, 554, -1 ], [ 386, 555, -1 ],
[ 386, 556, -1 ], [ 387, 420, 2 ], [ 387, 423, -1 ], [ 387, 424, -2 ],
[ 387, 427, 1 ], [ 387, 428, 1 ], [ 387, 434, 1 ], [ 387, 437, -3 ],
[ 387, 439, -1 ], [ 387, 443, -2 ], [ 387, 444, -5 ], [ 387, 445, -1 ],
[ 387, 447, -2 ], [ 387, 448, -4 ], [ 387, 461, -2 ], [ 387, 464, -1 ],
[ 387, 467, -1 ], [ 387, 468, -1 ], [ 387, 471, 1 ], [ 387, 476, 2 ],
[ 387, 479, 2 ], [ 388, 429, 3/2 ], [ 388, 430, 1/4 ], [ 388, 441, 2 ],
[ 388, 446, 5 ], [ 388, 449, 3/4 ], [ 388, 450, 3 ], [ 388, 453, 1/4 ],
[ 388, 454, 1/4 ], [ 388, 455, 1/4 ], [ 388, 465, 1 ], [ 388, 470, 5/4 ],
[ 388, 473, -13/4 ], [ 388, 474, -1 ], [ 388, 478, 1/2 ], [ 388, 480, 2 ],
[ 388, 481, -1/2 ], [ 388, 484, -3/2 ], [ 388, 485, 1/4 ],
[ 388, 486, -1 ], [ 388, 489, -1 ], [ 388, 491, -1/2 ], [ 388, 501, 2 ],
[ 388, 503, -2 ], [ 388, 504, -1 ], [ 388, 508, 5/4 ], [ 388, 509, 15/4 ],
[ 388, 510, 1/2 ], [ 388, 514, -5/4 ], [ 388, 515, 1 ], [ 388, 518, 3/4 ],
[ 388, 522, 3/4 ], [ 388, 523, 1/2 ], [ 388, 541, 1/4 ], [ 388, 543, 3/4 ],
[ 388, 545, -3/4 ], [ 388, 546, -1/4 ], [ 388, 547, -1/2 ],
[ 388, 550, -1/2 ], [ 388, 551, 1 ], [ 388, 552, -1/2 ],
[ 388, 557, -1/2 ], [ 389, 429, 1/2 ], [ 389, 441, -2 ], [ 389, 446, -2 ],
[ 389, 449, -2 ], [ 389, 450, -3/2 ], [ 389, 453, -1/2 ],
[ 389, 470, -1/2 ], [ 389, 473, 1/2 ], [ 389, 474, 1 ], [ 389, 477, -1/2 ],
[ 389, 478, 1 ], [ 389, 480, 3/2 ], [ 389, 481, 1/2 ], [ 389, 485, 1/2 ],
[ 389, 501, -1/2 ], [ 389, 504, 1/2 ], [ 389, 507, -1/2 ],
[ 389, 508, -1/2 ], [ 389, 509, -1 ], [ 389, 510, -1/2 ],
[ 389, 514, -3/2 ], [ 389, 515, -1 ], [ 389, 523, 1/2 ],
[ 389, 541, -1/2 ], [ 389, 543, -1/2 ], [ 389, 546, -1/2 ],
[ 389, 547, -1/2 ], [ 390, 429, -3/2 ], [ 390, 430, -1/4 ],
[ 390, 441, -2 ], [ 390, 446, -5 ], [ 390, 449, -3/4 ], [ 390, 450, -2 ],
[ 390, 453, -1/4 ], [ 390, 454, -1/4 ], [ 390, 455, -1/4 ],
[ 390, 465, -2 ], [ 390, 470, -13/4 ], [ 390, 473, 9/4 ], [ 390, 477, -1 ],
[ 390, 478, -5/2 ], [ 390, 480, -3 ], [ 390, 481, 1/2 ], [ 390, 484, 1/2 ],
[ 390, 485, -5/4 ], [ 390, 486, 1 ], [ 390, 489, 1 ], [ 390, 491, 1/2 ],
[ 390, 501, -2 ], [ 390, 503, 3 ], [ 390, 504, 1 ], [ 390, 508, -1/4 ],
[ 390, 509, -11/4 ], [ 390, 510, -1/2 ], [ 390, 513, 1 ],
[ 390, 514, 9/4 ], [ 390, 515, -1 ], [ 390, 518, -3/4 ],
[ 390, 522, -3/4 ], [ 390, 523, -1/2 ], [ 390, 541, -1/4 ],
[ 390, 543, -3/4 ], [ 390, 545, 3/4 ], [ 390, 546, 1/4 ],
[ 390, 547, -1/2 ], [ 390, 550, 1/2 ], [ 390, 551, -1 ], [ 390, 552, 1/2 ],
[ 390, 557, 1/2 ], [ 391, 561, 1 ], [ 392, 457, -1 ], [ 392, 482, -1 ],
[ 392, 511, -1 ], [ 392, 553, 1 ], [ 392, 554, 1 ], [ 392, 560, -1 ],
[ 392, 561, -1 ], [ 393, 429, 1/2 ], [ 393, 430, -3/4 ],
[ 393, 441, -3/2 ], [ 393, 446, -3 ], [ 393, 449, -3/4 ], [ 393, 450, -2 ],
[ 393, 453, 1/4 ], [ 393, 454, 1/4 ], [ 393, 455, 1/4 ], [ 393, 456, 1/2 ],
[ 393, 465, -3/2 ], [ 393, 470, -7/4 ], [ 393, 473, 7/4 ],
[ 393, 474, 1/2 ], [ 393, 478, -1/2 ], [ 393, 480, -1 ], [ 393, 481, 1 ],
[ 393, 484, 1/2 ], [ 393, 485, -1/4 ], [ 393, 486, 1 ], [ 393, 501, -1 ],
[ 393, 503, 3/2 ], [ 393, 504, 1/2 ], [ 393, 508, -1/4 ],
[ 393, 509, -11/4 ], [ 393, 510, -1/2 ], [ 393, 514, 3/4 ],
[ 393, 515, -1 ], [ 393, 518, -1/4 ], [ 393, 519, 1/2 ],
[ 393, 522, -3/4 ], [ 393, 526, -1/2 ], [ 393, 541, -1/4 ],
[ 393, 543, -3/4 ], [ 393, 545, 1/4 ], [ 393, 546, 1/4 ],
[ 393, 550, 1/2 ], [ 393, 552, 1/2 ], [ 393, 557, 1/2 ], [ 394, 429, 2 ],
[ 394, 430, 5/4 ], [ 394, 441, 3/2 ], [ 394, 446, 4 ], [ 394, 449, 13/4 ],
[ 394, 450, 3/2 ], [ 394, 453, 3/4 ], [ 394, 454, 1/4 ], [ 394, 455, 1/4 ],
[ 394, 456, 1/2 ], [ 394, 465, 1/2 ], [ 394, 470, 11/4 ],
[ 394, 473, -3/4 ], [ 394, 474, -3/2 ], [ 394, 477, 1/2 ],
[ 394, 478, -1/2 ], [ 394, 480, -3/2 ], [ 394, 481, -1/2 ],
[ 394, 484, 1/2 ], [ 394, 485, 1/4 ], [ 394, 501, 5/2 ],
[ 394, 503, -1/2 ], [ 394, 504, -1 ], [ 394, 507, 1/2 ],
[ 394, 508, -3/4 ], [ 394, 509, 5/4 ], [ 394, 510, 1 ], [ 394, 514, 5/4 ],
[ 394, 515, 1 ], [ 394, 518, -1/4 ], [ 394, 519, 1/2 ], [ 394, 522, -3/4 ],
[ 394, 523, -1/2 ], [ 394, 526, -1/2 ], [ 394, 541, 1/4 ],
[ 394, 542, -1 ], [ 394, 543, 3/4 ], [ 394, 545, 1/4 ], [ 394, 546, 3/4 ],
[ 394, 547, 1/2 ], [ 394, 550, -1/2 ], [ 394, 551, 1 ], [ 394, 552, 1/2 ],
[ 394, 557, 1/2 ], [ 395, 429, -3/2 ], [ 395, 430, 1/2 ], [ 395, 441, -1 ],
[ 395, 449, -1/2 ], [ 395, 450, 1/2 ], [ 395, 453, -2 ],
[ 395, 454, -3/2 ], [ 395, 455, -3/2 ], [ 395, 456, -2 ], [ 395, 474, 1 ],
[ 395, 477, -3/2 ], [ 395, 480, 1/2 ], [ 395, 481, -1/2 ],
[ 395, 484, -1 ], [ 395, 486, -1 ], [ 395, 501, -1/2 ], [ 395, 504, 1/2 ],
[ 395, 507, -3/2 ], [ 395, 508, -1 ], [ 395, 509, -1/2 ],
[ 395, 510, -1/2 ], [ 395, 514, -2 ], [ 395, 518, 1/2 ], [ 395, 522, 1/2 ],
[ 395, 523, 1/2 ], [ 395, 541, -1 ], [ 395, 542, -1 ], [ 395, 543, -1 ],
[ 395, 545, -1/2 ], [ 395, 546, -1 ], [ 395, 547, -1/2 ], [ 396, 457, -1 ],
[ 396, 520, 1 ], [ 396, 553, 1 ], [ 396, 564, -1 ], [ 396, 565, -1 ],
[ 396, 566, -1 ], [ 397, 457, 4 ], [ 397, 458, 1 ], [ 397, 488, -1 ],
[ 397, 517, -1 ], [ 397, 521, -1 ], [ 397, 525, 1 ], [ 397, 549, -1 ],
[ 397, 554, -1 ], [ 397, 556, 1 ], [ 397, 564, -1 ], [ 397, 566, 1 ],
[ 398, 568, 1 ], [ 399, 429, -1 ], [ 399, 430, -1/4 ], [ 399, 441, -1/2 ],
[ 399, 446, 7 ], [ 399, 449, 15/4 ], [ 399, 450, 11/2 ],
[ 399, 453, -3/4 ], [ 399, 454, 3/4 ], [ 399, 455, 3/4 ],
[ 399, 456, -1/2 ], [ 399, 465, 1/2 ], [ 399, 470, 9/4 ],
[ 399, 473, -13/4 ], [ 399, 474, -1/2 ], [ 399, 477, -1/2 ],
[ 399, 478, 5/2 ], [ 399, 480, 7/2 ], [ 399, 481, -1/2 ],
[ 399, 484, -1/2 ], [ 399, 485, -1/4 ], [ 399, 486, -1 ],
[ 399, 501, 5/2 ], [ 399, 503, -5/2 ], [ 399, 507, 1/2 ],
[ 399, 508, 3/4 ], [ 399, 509, 19/4 ], [ 399, 514, -13/4 ],
[ 399, 518, 1/4 ], [ 399, 519, -1/2 ], [ 399, 522, 3/4 ],
[ 399, 523, 1/2 ], [ 399, 526, 1/2 ], [ 399, 541, -1/4 ],
[ 399, 543, 5/4 ], [ 399, 545, -1/4 ], [ 399, 546, -7/4 ],
[ 399, 547, -1/2 ], [ 399, 550, -3/2 ], [ 399, 551, 1 ],
[ 399, 552, -1/2 ], [ 399, 557, -1/2 ], [ 399, 568, -1 ], [ 400, 571, 1 ],
[ 401, 457, -3 ], [ 401, 458, -1 ], [ 401, 487, 1 ], [ 401, 488, 1 ],
[ 401, 516, 1 ], [ 401, 517, 1 ], [ 401, 520, -1 ], [ 401, 521, 2 ],
[ 401, 524, -1 ], [ 401, 525, -1 ], [ 401, 548, 1 ], [ 401, 549, 1 ],
[ 401, 553, -1 ], [ 401, 554, 2 ], [ 401, 555, -1 ], [ 401, 556, -1 ],
[ 401, 564, 2 ], [ 401, 565, -1 ], [ 401, 566, -1 ], [ 401, 570, -1 ],
[ 401, 571, -1 ], [ 402, 446, 10 ], [ 402, 449, 5 ], [ 402, 450, 5 ],
[ 402, 454, 1 ], [ 402, 455, 1 ], [ 402, 470, 5 ], [ 402, 473, -2 ],
[ 402, 474, -1 ], [ 402, 477, 1 ], [ 402, 485, -2 ], [ 402, 486, -1 ],
[ 402, 501, 5 ], [ 402, 503, -1 ], [ 402, 507, 1 ], [ 402, 509, 4 ],
[ 402, 510, 1 ], [ 402, 515, 1 ], [ 402, 518, -2 ], [ 402, 519, -1 ],
[ 402, 543, 1 ], [ 402, 546, -1 ], [ 402, 550, -1 ], [ 402, 551, 1 ],
[ 402, 568, -1 ], [ 403, 457, 3 ], [ 403, 458, 1 ], [ 403, 482, -4/3 ],
[ 403, 487, -7/3 ], [ 403, 488, -2/3 ], [ 403, 492, -2/3 ],
[ 403, 493, -4 ], [ 403, 494, -8/3 ], [ 403, 495, -10/3 ],
[ 403, 511, -10/3 ], [ 403, 516, -11/3 ], [ 403, 517, 2/3 ],
[ 403, 520, -5/3 ], [ 403, 521, -9 ], [ 403, 524, 2 ], [ 403, 525, -1 ],
[ 403, 527, 1 ], [ 403, 530, 2 ], [ 403, 533, -1 ], [ 403, 534, 2/3 ],
[ 403, 535, 4/3 ], [ 403, 548, -1 ], [ 403, 553, -2/3 ], [ 403, 554, -7 ],
[ 403, 555, 7/3 ], [ 403, 556, -7/3 ], [ 403, 558, 1 ], [ 403, 561, 1 ],
[ 403, 564, -4 ], [ 403, 565, 17/3 ], [ 403, 566, 7/3 ], [ 403, 569, 2 ],
[ 403, 570, 3 ], [ 403, 571, 2 ], [ 404, 482, 4 ], [ 404, 487, 3 ],
--> --------------------
--> maximum size reached
--> --------------------