Quelle  kur_2_5_8.gi   Sprache: unbekannt

BindGlobal( "Kur_2_5_8", function() 
local A, i; 
A := rec(); 
A.rnk := 2; 
A.dim := 1020; 
A.com := false; 
A.fld := GF(2^3); 
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, 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, 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, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 15, 15 ]; 
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 ], [ 2, 241 ], [ 2, 242 ], [ 2, 244 ], 
  [ 1, 245 ], [ 2, 245 ], [ 2, 246 ], [ 1, 247 ], [ 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 ], [ 1, 262 ], [ 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 ], [ 1, 358 ], [ 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 ], [ 2, 376 ], [ 2, 377 ], [ 2, 378 ], [ 1, 379 ], [ 2, 379 ], [ 2, 380 ], [ 1, 381 ], 
  [ 2, 381 ], [ 2, 382 ], [ 2, 383 ], [ 1, 384 ], [ 2, 384 ], [ 2, 385 ], [ 1, 388 ], [ 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 ], [ 1, 484 ], [ 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 ], [ 1, 513 ], [ 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 ], [ 2, 542 ], [ 2, 543 ], [ 2, 544 ], [ 2, 546 ], [ 1, 548 ], [ 2, 548 ], [ 2, 549 ], [ 2, 550 ], 
  [ 2, 552 ], [ 1, 553 ], [ 2, 553 ], [ 2, 554 ], [ 1, 555 ], [ 2, 555 ], [ 2, 556 ], [ 2, 558 ], [ 2, 559 ], 
  [ 2, 560 ], [ 2, 561 ], [ 2, 563 ], [ 2, 565 ], [ 2, 566 ], [ 1, 569 ], [ 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 ], [ 1, 624 ], [ 2, 624 ], 
  [ 2, 625 ], [ 1, 628 ], [ 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 ], [ 1, 657 ], [ 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 ], [ 1, 695 ], [ 2, 695 ], [ 2, 696 ], [ 2, 698 ], 
  [ 2, 699 ], [ 2, 700 ], [ 2, 701 ], [ 2, 703 ], [ 2, 707 ], [ 2, 708 ], [ 2, 710 ], [ 2, 711 ], [ 2, 713 ], 
  [ 2, 714 ], [ 2, 715 ], [ 2, 718 ], [ 2, 720 ], [ 2, 721 ], [ 2, 722 ], [ 2, 724 ], [ 2, 729 ], [ 2, 730 ], 
  [ 1, 733 ], [ 2, 733 ], [ 2, 734 ], [ 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, 757 ], [ 2, 758 ], [ 2, 759 ], 
  [ 1, 760 ], [ 2, 760 ], [ 2, 761 ], [ 2, 762 ], [ 2, 764 ], [ 2, 765 ], [ 2, 768 ], [ 2, 769 ], [ 2, 771 ], 
  [ 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 ], [ 1, 791 ], [ 2, 791 ], 
  [ 2, 792 ], [ 2, 793 ], [ 1, 794 ], [ 2, 794 ], [ 2, 795 ], [ 2, 796 ], [ 2, 799 ], [ 1, 800 ], [ 2, 800 ], 
  [ 2, 801 ], [ 1, 802 ], [ 2, 802 ], [ 2, 803 ], [ 2, 805 ], [ 2, 806 ], [ 2, 807 ], [ 2, 808 ], [ 2, 810 ], 
  [ 2, 812 ], [ 2, 813 ], [ 2, 815 ], [ 2, 816 ], [ 2, 817 ], [ 2, 820 ], [ 2, 821 ], [ 2, 822 ], [ 2, 824 ], 
  [ 2, 825 ], [ 2, 828 ], [ 2, 829 ], [ 2, 830 ], [ 2, 832 ], [ 2, 833 ], [ 2, 834 ], [ 2, 835 ], [ 2, 837 ], 
  [ 2, 841 ], [ 2, 842 ], [ 2, 844 ], [ 2, 845 ], [ 2, 847 ], [ 2, 848 ], [ 2, 849 ], [ 2, 852 ], [ 2, 854 ], 
  [ 2, 863 ], [ 2, 864 ], [ 2, 868 ], [ 2, 871 ], [ 2, 873 ], [ 2, 875 ], [ 2, 876 ], [ 2, 880 ], [ 2, 886 ], 
  [ 2, 890 ], [ 2, 891 ], [ 2, 895 ], [ 2, 896 ], [ 2, 898 ], [ 2, 900 ], [ 2, 901 ], [ 2, 904 ], [ 2, 905 ], 
  [ 2, 909 ], [ 2, 911 ], [ 2, 913 ], [ 2, 916 ], [ 2, 917 ], [ 2, 918 ], [ 2, 920 ], [ 2, 921 ], [ 2, 924 ], 
  [ 2, 925 ], [ 2, 926 ], [ 2, 928 ], [ 2, 929 ], [ 2, 930 ], [ 2, 931 ], [ 2, 933 ], [ 2, 937 ], [ 2, 940 ], 
  [ 2, 941 ], [ 2, 944 ], [ 2, 945 ], [ 2, 958 ], [ 2, 959 ], [ 2, 968 ], [ 2, 970 ], [ 2, 971 ], [ 2, 980 ], 
  [ 2, 991 ], [ 2, 1001 ] ]; 
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, 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, 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, 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, 1 ], [ 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, 177, 1 ], [ 150, 181, 1 ], 
  [ 150, 183, 1 ], [ 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, 176, 1 ], [ 154, 177, 1 ], [ 154, 181, 1 ], [ 154, 183, 1 ], 
  [ 154, 184, 1 ], [ 154, 191, 1 ], [ 154, 196, 1 ], [ 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, 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, 185, 1 ], [ 163, 188, 1 ], [ 163, 195, 1 ], [ 163, 201, 1 ], [ 163, 218, 1 ], [ 163, 226, 1 ], 
  [ 163, 239, 1 ], [ 163, 241, 1 ], [ 163, 250, 1 ], [ 163, 253, 1 ], [ 163, 254, 1 ], [ 163, 257, 1 ], 
  [ 163, 261, 1 ], [ 164, 178, 1 ], [ 164, 189, 1 ], [ 164, 200, 1 ], [ 164, 206, 1 ], [ 164, 212, 1 ], 
  [ 164, 215, 1 ], [ 164, 217, 1 ], [ 164, 223, 1 ], [ 164, 242, 1 ], [ 164, 245, 1 ], [ 164, 246, 1 ], 
  [ 165, 269, 1 ], [ 166, 202, 1 ], [ 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, 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, 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, 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, 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, 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, 1 ], 
  [ 229, 284, 1 ], [ 229, 291, 1 ], [ 229, 297, 1 ], [ 229, 314, 1 ], [ 229, 322, 1 ], [ 229, 335, 1 ], 
  [ 229, 337, 1 ], [ 229, 346, 1 ], [ 229, 349, 1 ], [ 229, 350, 1 ], [ 229, 353, 1 ], [ 229, 357, 1 ], 
  [ 230, 285, 1 ], [ 230, 296, 1 ], [ 230, 302, 1 ], [ 230, 308, 1 ], [ 230, 311, 1 ], [ 230, 313, 1 ], 
  [ 230, 319, 1 ], [ 230, 338, 1 ], [ 230, 341, 1 ], [ 230, 342, 1 ], [ 231, 365, 1 ], [ 232, 298, 1 ], 
  [ 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, 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, 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, 1 ], [ 238, 283, 1 ], [ 238, 287, 1 ], [ 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, 292, 1 ], [ 240, 293, 1 ], [ 240, 312, 1 ], [ 241, 285, 1 ], [ 241, 296, 1 ], [ 241, 300, 1 ], 
  [ 241, 301, 1 ], [ 241, 302, 1 ], [ 241, 311, 1 ], [ 241, 313, 1 ], [ 241, 319, 1 ], [ 241, 343, 1 ], 
  [ 241, 350, 1 ], [ 241, 353, 1 ], [ 241, 372, 1 ], [ 241, 374, 1 ], [ 241, 376, 1 ], [ 242, 281, 1 ], 
  [ 242, 285, 1 ], [ 242, 294, 1 ], [ 242, 297, 1 ], [ 242, 300, 1 ], [ 242, 301, 1 ], [ 242, 302, 1 ], 
  [ 242, 314, 1 ], [ 242, 319, 1 ], [ 242, 335, 1 ], [ 242, 337, 1 ], [ 242, 338, 1 ], [ 242, 343, 1 ], 
  [ 242, 350, 1 ], [ 242, 353, 1 ], [ 242, 373, 1 ], [ 243, 298, 1 ], [ 243, 315, 1 ], [ 243, 339, 1 ], 
  [ 243, 375, 1 ], [ 243, 377, 1 ], [ 243, 378, 1 ], [ 244, 279, 1 ], [ 244, 280, 1 ], [ 244, 283, 1 ], 
  [ 244, 293, 1 ], [ 245, 380, 1 ], [ 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, 383, 1 ], [ 248, 385, 1 ], [ 249, 387, 1 ], 
  [ 250, 281, 1 ], [ 250, 285, 1 ], [ 250, 291, 1 ], [ 250, 294, 1 ], [ 250, 300, 1 ], [ 250, 301, 1 ], 
  [ 250, 302, 1 ], [ 250, 308, 1 ], [ 250, 311, 1 ], [ 250, 313, 1 ], [ 250, 317, 1 ], [ 250, 318, 1 ], 
  [ 250, 319, 1 ], [ 250, 321, 1 ], [ 250, 335, 1 ], [ 250, 337, 1 ], [ 250, 341, 1 ], [ 250, 343, 1 ], 
  [ 250, 345, 1 ], [ 250, 350, 1 ], [ 250, 353, 1 ], [ 250, 372, 1 ], [ 250, 376, 1 ], [ 250, 380, 1 ], 
  [ 250, 383, 1 ], [ 250, 387, 1 ], [ 251, 390, 1 ], [ 252, 298, 1 ], [ 252, 315, 1 ], [ 252, 339, 1 ], 
  [ 252, 382, 1 ], [ 252, 384, 1 ], [ 252, 385, 1 ], [ 252, 389, 1 ], [ 252, 390, 1 ], [ 253, 281, 1 ], 
  [ 253, 284, 1 ], [ 253, 285, 1 ], [ 253, 294, 1 ], [ 253, 313, 1 ], [ 253, 318, 1 ], [ 253, 319, 1 ], 
  [ 253, 337, 1 ], [ 253, 341, 1 ], [ 253, 342, 1 ], [ 253, 343, 1 ], [ 253, 353, 1 ], [ 253, 357, 1 ], 
  [ 253, 373, 1 ], [ 253, 374, 1 ], [ 253, 379, 1 ], [ 253, 380, 1 ], [ 253, 383, 1 ], [ 253, 387, 1 ], 
  [ 254, 285, 1 ], [ 254, 294, 1 ], [ 254, 296, 1 ], [ 254, 317, 1 ], [ 254, 321, 1 ], [ 254, 322, 1 ], 
  [ 254, 335, 1 ], [ 254, 337, 1 ], [ 254, 341, 1 ], [ 254, 343, 1 ], [ 254, 345, 1 ], [ 254, 346, 1 ], 
  [ 254, 380, 1 ], [ 254, 383, 1 ], [ 255, 395, 1 ], [ 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, 377, 1 ], 
  [ 256, 382, 1 ], [ 256, 384, 1 ], [ 256, 393, 1 ], [ 256, 394, 1 ], [ 257, 281, 1 ], [ 257, 284, 1 ], 
  [ 257, 294, 1 ], [ 257, 296, 1 ], [ 257, 297, 1 ], [ 257, 308, 1 ], [ 257, 313, 1 ], [ 257, 314, 1 ], 
  [ 257, 335, 1 ], [ 257, 341, 1 ], [ 257, 342, 1 ], [ 257, 343, 1 ], [ 257, 350, 1 ], [ 257, 374, 1 ], 
  [ 257, 383, 1 ], [ 258, 399, 1 ], [ 259, 303, 1 ], [ 259, 323, 1 ], [ 259, 347, 1 ], [ 259, 351, 1 ], 
  [ 259, 354, 1 ], [ 259, 377, 1 ], [ 259, 381, 1 ], [ 259, 384, 1 ], [ 259, 393, 1 ], [ 259, 395, 1 ], 
  [ 259, 398, 1 ], [ 259, 399, 1 ], [ 260, 396, 1 ], [ 260, 397, 1 ], [ 260, 400, 1 ], [ 260, 401, 1 ], 
  [ 261, 281, 1 ], [ 261, 284, 1 ], [ 261, 285, 1 ], [ 261, 296, 1 ], [ 261, 300, 1 ], [ 261, 301, 1 ], 
  [ 261, 302, 1 ], [ 261, 308, 1 ], [ 261, 311, 1 ], [ 261, 313, 1 ], [ 261, 318, 1 ], [ 261, 335, 1 ], 
  [ 261, 337, 1 ], [ 261, 338, 1 ], [ 261, 342, 1 ], [ 261, 343, 1 ], [ 261, 350, 1 ], [ 261, 353, 1 ], 
  [ 261, 372, 1 ], [ 261, 376, 1 ], [ 261, 380, 1 ], [ 261, 383, 1 ], [ 262, 402, 1 ], [ 263, 298, 1 ], 
  [ 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, 377, 1 ], [ 263, 382, 1 ], 
  [ 263, 384, 1 ], [ 263, 393, 1 ], [ 263, 394, 1 ], [ 263, 399, 1 ], [ 264, 298, 1 ], [ 264, 315, 1 ], 
  [ 264, 320, 1 ], [ 264, 339, 1 ], [ 264, 344, 1 ], [ 264, 351, 1 ], [ 264, 352, 1 ], [ 264, 390, 1 ], 
  [ 264, 402, 1 ], [ 265, 406, 1 ], [ 266, 386, 1 ], [ 266, 396, 1 ], [ 266, 397, 1 ], [ 266, 405, 1 ], 
  [ 266, 406, 1 ], [ 267, 303, 1 ], [ 267, 320, 1 ], [ 267, 324, 1 ], [ 267, 329, 1 ], [ 267, 339, 1 ], 
  [ 267, 347, 1 ], [ 267, 352, 1 ], [ 267, 354, 1 ], [ 267, 355, 1 ], [ 267, 359, 1 ], [ 267, 360, 1 ], 
  [ 267, 375, 1 ], [ 267, 377, 1 ], [ 267, 382, 1 ], [ 267, 384, 1 ], [ 267, 385, 1 ], [ 267, 389, 1 ], 
  [ 267, 390, 1 ], [ 267, 393, 1 ], [ 267, 394, 1 ], [ 267, 398, 1 ], [ 267, 399, 1 ], [ 267, 402, 1 ], 
  [ 268, 303, 1 ], [ 268, 328, 1 ], [ 268, 344, 1 ], [ 268, 347, 1 ], [ 268, 348, 1 ], [ 268, 352, 1 ], 
  [ 268, 354, 1 ], [ 268, 355, 1 ], [ 268, 359, 1 ], [ 268, 360, 1 ], [ 268, 363, 1 ], [ 268, 364, 1 ], 
  [ 268, 375, 1 ], [ 268, 377, 1 ], [ 268, 382, 1 ], [ 268, 385, 1 ], [ 268, 389, 1 ], [ 268, 398, 1 ], 
  [ 268, 399, 1 ], [ 268, 402, 1 ], [ 269, 315, 1 ], [ 269, 323, 1 ], [ 269, 324, 1 ], [ 269, 327, 1 ], 
  [ 269, 328, 1 ], [ 269, 329, 1 ], [ 269, 344, 1 ], [ 269, 348, 1 ], [ 269, 355, 1 ], [ 269, 375, 1 ], 
  [ 269, 378, 1 ], [ 269, 381, 1 ], [ 269, 382, 1 ], [ 269, 384, 1 ], [ 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, 1 ], [ 271, 332, 1 ], [ 271, 367, 1 ], 
  [ 271, 369, 1 ], [ 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, 332, 1 ], 
  [ 273, 366, 1 ], [ 273, 367, 1 ], [ 273, 369, 1 ], [ 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, 440, 1 ], [ 325, 448, 1 ], [ 325, 461, 1 ], [ 325, 463, 1 ], [ 325, 472, 1 ], 
  [ 325, 475, 1 ], [ 325, 476, 1 ], [ 325, 479, 1 ], [ 325, 483, 1 ], [ 326, 424, 1 ], [ 326, 428, 1 ], 
  [ 326, 434, 1 ], [ 326, 437, 1 ], [ 326, 439, 1 ], [ 326, 445, 1 ], [ 326, 464, 1 ], [ 326, 467, 1 ], 
  [ 326, 468, 1 ], [ 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, 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, 424, 1 ], [ 337, 426, 1 ], 
  [ 337, 427, 1 ], [ 337, 428, 1 ], [ 337, 437, 1 ], [ 337, 439, 1 ], [ 337, 445, 1 ], [ 337, 469, 1 ], 
  [ 337, 476, 1 ], [ 337, 479, 1 ], [ 337, 498, 1 ], [ 337, 500, 1 ], [ 337, 502, 1 ], [ 338, 420, 1 ], 
  [ 338, 424, 1 ], [ 338, 426, 1 ], [ 338, 427, 1 ], [ 338, 428, 1 ], [ 338, 440, 1 ], [ 338, 445, 1 ], 
  [ 338, 461, 1 ], [ 338, 463, 1 ], [ 338, 464, 1 ], [ 338, 469, 1 ], [ 338, 476, 1 ], [ 338, 479, 1 ], 
  [ 338, 499, 1 ], [ 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, 426, 1 ], [ 343, 427, 1 ], [ 343, 428, 1 ], [ 343, 434, 1 ], [ 343, 440, 1 ], [ 343, 443, 1 ], 
  [ 343, 444, 1 ], [ 343, 445, 1 ], [ 343, 463, 1 ], [ 343, 468, 1 ], [ 343, 469, 1 ], [ 343, 471, 1 ], 
  [ 343, 472, 1 ], [ 343, 500, 1 ], [ 343, 506, 1 ], [ 344, 510, 1 ], [ 345, 512, 1 ], [ 346, 423, 1 ], 
  [ 346, 437, 1 ], [ 346, 439, 1 ], [ 346, 440, 1 ], [ 346, 447, 1 ], [ 346, 461, 1 ], [ 346, 467, 1 ], 
  [ 346, 468, 1 ], [ 346, 472, 1 ], [ 346, 476, 1 ], [ 346, 479, 1 ], [ 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, 1 ], 
  [ 349, 426, 1 ], [ 349, 427, 1 ], [ 349, 428, 1 ], [ 349, 434, 1 ], [ 349, 439, 1 ], [ 349, 440, 1 ], 
  [ 349, 443, 1 ], [ 349, 467, 1 ], [ 349, 471, 1 ], [ 349, 472, 1 ], [ 349, 479, 1 ], [ 349, 483, 1 ], 
  [ 349, 499, 1 ], [ 349, 505, 1 ], [ 349, 512, 1 ], [ 350, 420, 1 ], [ 350, 423, 1 ], [ 350, 424, 1 ], 
  [ 350, 426, 1 ], [ 350, 427, 1 ], [ 350, 428, 1 ], [ 350, 434, 1 ], [ 350, 440, 1 ], [ 350, 444, 1 ], 
  [ 350, 445, 1 ], [ 350, 447, 1 ], [ 350, 448, 1 ], [ 350, 461, 1 ], [ 350, 467, 1 ], [ 350, 468, 1 ], 
  [ 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, 485, 1 ], [ 352, 501, 1 ], [ 352, 503, 1 ], [ 352, 509, 1 ], 
  [ 352, 514, 1 ], [ 353, 426, 1 ], [ 353, 427, 1 ], [ 353, 428, 1 ], [ 353, 439, 1 ], [ 353, 443, 1 ], 
  [ 353, 444, 1 ], [ 353, 445, 1 ], [ 353, 461, 1 ], [ 353, 463, 1 ], [ 353, 467, 1 ], [ 353, 471, 1 ], 
  [ 353, 472, 1 ], [ 353, 476, 1 ], [ 353, 506, 1 ], [ 354, 523, 1 ], [ 355, 429, 1 ], [ 355, 449, 1 ], 
  [ 355, 473, 1 ], [ 355, 477, 1 ], [ 355, 480, 1 ], [ 355, 503, 1 ], [ 355, 507, 1 ], [ 355, 509, 1 ], 
  [ 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, 424, 1 ], [ 357, 437, 1 ], [ 357, 439, 1 ], 
  [ 357, 440, 1 ], [ 357, 443, 1 ], [ 357, 445, 1 ], [ 357, 461, 1 ], [ 357, 464, 1 ], [ 357, 471, 1 ], 
  [ 357, 472, 1 ], [ 357, 476, 1 ], [ 357, 479, 1 ], [ 357, 498, 1 ], [ 357, 500, 1 ], [ 357, 502, 1 ], 
  [ 358, 526, 1 ], [ 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, 485, 1 ], [ 359, 501, 1 ], [ 359, 503, 1 ], 
  [ 359, 509, 1 ], [ 359, 514, 1 ], [ 359, 523, 1 ], [ 360, 441, 1 ], [ 360, 446, 1 ], [ 360, 465, 1 ], 
  [ 360, 470, 1 ], [ 360, 477, 1 ], [ 360, 478, 1 ], [ 360, 515, 1 ], [ 360, 526, 1 ], [ 361, 530, 1 ], 
  [ 362, 511, 1 ], [ 362, 520, 1 ], [ 362, 521, 1 ], [ 362, 529, 1 ], [ 362, 530, 1 ], [ 363, 429, 1 ], 
  [ 363, 446, 1 ], [ 363, 450, 1 ], [ 363, 455, 1 ], [ 363, 465, 1 ], [ 363, 473, 1 ], [ 363, 478, 1 ], 
  [ 363, 481, 1 ], [ 363, 486, 1 ], [ 363, 501, 1 ], [ 363, 503, 1 ], [ 363, 509, 1 ], [ 363, 510, 1 ], 
  [ 363, 515, 1 ], [ 363, 522, 1 ], [ 363, 523, 1 ], [ 363, 526, 1 ], [ 364, 429, 1 ], [ 364, 454, 1 ], 
  [ 364, 470, 1 ], [ 364, 473, 1 ], [ 364, 474, 1 ], [ 364, 478, 1 ], [ 364, 480, 1 ], [ 364, 481, 1 ], 
  [ 364, 485, 1 ], [ 364, 486, 1 ], [ 364, 489, 1 ], [ 364, 490, 1 ], [ 364, 501, 1 ], [ 364, 503, 1 ], 
  [ 364, 508, 1 ], [ 364, 510, 1 ], [ 364, 514, 1 ], [ 364, 522, 1 ], [ 364, 523, 1 ], [ 364, 526, 1 ], 
  [ 365, 441, 1 ], [ 365, 449, 1 ], [ 365, 450, 1 ], [ 365, 453, 1 ], [ 365, 454, 1 ], [ 365, 455, 1 ], 
  [ 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, 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, 1 ], [ 367, 458, 1 ], [ 367, 493, 1 ], [ 367, 495, 1 ], [ 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, 458, 1 ], [ 369, 492, 1 ], [ 369, 493, 1 ], 
  [ 369, 495, 1 ], [ 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, 1 ], [ 371, 419, 1 ], [ 371, 422, 1 ], 
  [ 371, 432, 1 ], [ 371, 433, 1 ], [ 371, 435, 1 ], [ 371, 438, 1 ], [ 371, 459, 1 ], [ 371, 460, 1 ], 
  [ 371, 462, 1 ], [ 372, 540, 1 ], [ 373, 424, 1 ], [ 373, 426, 1 ], [ 373, 427, 1 ], [ 373, 428, 1 ], 
  [ 373, 434, 1 ], [ 373, 437, 1 ], [ 373, 439, 1 ], [ 373, 444, 1 ], [ 373, 448, 1 ], [ 373, 461, 1 ], 
  [ 373, 463, 1 ], [ 373, 464, 1 ], [ 373, 469, 1 ], [ 373, 476, 1 ], [ 373, 479, 1 ], [ 373, 498, 1 ], 
  [ 373, 499, 1 ], [ 373, 502, 1 ], [ 374, 423, 1 ], [ 374, 424, 1 ], [ 374, 428, 1 ], [ 374, 437, 1 ], 
  [ 374, 439, 1 ], [ 374, 444, 1 ], [ 374, 445, 1 ], [ 374, 447, 1 ], [ 374, 448, 1 ], [ 374, 461, 1 ], 
  [ 374, 463, 1 ], [ 374, 464, 1 ], [ 374, 469, 1 ], [ 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, 423, 1 ], [ 376, 424, 1 ], 
  [ 376, 427, 1 ], [ 376, 439, 1 ], [ 376, 443, 1 ], [ 376, 444, 1 ], [ 376, 447, 1 ], [ 376, 451, 1 ], 
  [ 376, 452, 1 ], [ 376, 467, 1 ], [ 376, 471, 1 ], [ 376, 476, 1 ], [ 376, 483, 1 ], [ 376, 498, 1 ], 
  [ 376, 502, 1 ], [ 376, 505, 1 ], [ 376, 512, 1 ], [ 376, 540, 1 ], [ 377, 429, 1 ], [ 377, 430, 1 ], 
  [ 377, 449, 1 ], [ 377, 450, 1 ], [ 377, 454, 1 ], [ 377, 455, 1 ], [ 377, 477, 1 ], [ 377, 480, 1 ], 
  [ 377, 481, 1 ], [ 377, 501, 1 ], [ 377, 504, 1 ], [ 377, 507, 1 ], [ 377, 509, 1 ], [ 377, 510, 1 ], 
  [ 377, 518, 1 ], [ 377, 522, 1 ], [ 377, 523, 1 ], [ 377, 544, 1 ], [ 378, 429, 1 ], [ 378, 450, 1 ], 
  [ 378, 454, 1 ], [ 378, 455, 1 ], [ 378, 456, 1 ], [ 378, 470, 1 ], [ 378, 473, 1 ], [ 378, 478, 1 ], 
  [ 378, 485, 1 ], [ 378, 501, 1 ], [ 378, 504, 1 ], [ 378, 509, 1 ], [ 378, 514, 1 ], [ 378, 523, 1 ], 
  [ 378, 543, 1 ], [ 379, 547, 1 ], [ 380, 420, 1 ], [ 380, 424, 1 ], [ 380, 428, 1 ], [ 380, 437, 1 ], 
  [ 380, 439, 1 ], [ 380, 445, 1 ], [ 380, 461, 1 ], [ 380, 463, 1 ], [ 380, 467, 1 ], [ 380, 469, 1 ], 
  [ 380, 471, 1 ], [ 380, 472, 1 ], [ 381, 550, 1 ], [ 382, 430, 1 ], [ 382, 449, 1 ], [ 382, 465, 1 ], 
  [ 382, 470, 1 ], [ 382, 473, 1 ], [ 382, 474, 1 ], [ 382, 480, 1 ], [ 382, 481, 1 ], [ 382, 486, 1 ], 
  [ 382, 503, 1 ], [ 382, 504, 1 ], [ 382, 508, 1 ], [ 382, 510, 1 ], [ 382, 515, 1 ], [ 382, 542, 1 ], 
  [ 382, 543, 1 ], [ 382, 548, 1 ], [ 382, 549, 1 ], [ 383, 424, 1 ], [ 383, 426, 1 ], [ 383, 427, 1 ], 
  [ 383, 428, 1 ], [ 383, 437, 1 ], [ 383, 443, 1 ], [ 383, 447, 1 ], [ 383, 448, 1 ], [ 383, 464, 1 ], 
  [ 383, 467, 1 ], [ 383, 471, 1 ], [ 383, 472, 1 ], [ 383, 476, 1 ], [ 383, 479, 1 ], [ 383, 498, 1 ], 
  [ 383, 499, 1 ], [ 383, 506, 1 ], [ 383, 540, 1 ], [ 384, 554, 1 ], [ 385, 429, 1 ], [ 385, 430, 1 ], 
  [ 385, 446, 1 ], [ 385, 449, 1 ], [ 385, 450, 1 ], [ 385, 477, 1 ], [ 385, 481, 1 ], [ 385, 484, 1 ], 
  [ 385, 485, 1 ], [ 385, 486, 1 ], [ 385, 501, 1 ], [ 385, 504, 1 ], [ 385, 509, 1 ], [ 385, 510, 1 ], 
  [ 385, 513, 1 ], [ 385, 514, 1 ], [ 385, 515, 1 ], [ 385, 541, 1 ], [ 385, 543, 1 ], [ 385, 548, 1 ], 
  [ 385, 550, 1 ], [ 385, 553, 1 ], [ 385, 554, 1 ], [ 386, 551, 1 ], [ 386, 552, 1 ], [ 386, 555, 1 ], 
  [ 386, 556, 1 ], [ 387, 423, 1 ], [ 387, 427, 1 ], [ 387, 428, 1 ], [ 387, 434, 1 ], [ 387, 437, 1 ], 
  [ 387, 439, 1 ], [ 387, 444, 1 ], [ 387, 445, 1 ], [ 387, 464, 1 ], [ 387, 467, 1 ], [ 387, 468, 1 ], 
  [ 387, 471, 1 ], [ 388, 557, 1 ], [ 389, 430, 1 ], [ 389, 441, 1 ], [ 389, 446, 1 ], [ 389, 450, 1 ], 
  [ 389, 465, 1 ], [ 389, 478, 1 ], [ 389, 481, 1 ], [ 389, 485, 1 ], [ 389, 486, 1 ], [ 389, 503, 1 ], 
  [ 389, 504, 1 ], [ 389, 509, 1 ], [ 389, 510, 1 ], [ 389, 514, 1 ], [ 389, 515, 1 ], [ 389, 542, 1 ], 
  [ 389, 543, 1 ], [ 389, 548, 1 ], [ 389, 549, 1 ], [ 389, 554, 1 ], [ 390, 429, 1 ], [ 390, 430, 1 ], 
  [ 390, 449, 1 ], [ 390, 454, 1 ], [ 390, 455, 1 ], [ 390, 465, 1 ], [ 390, 473, 1 ], [ 390, 474, 1 ], 
  [ 390, 481, 1 ], [ 390, 484, 1 ], [ 390, 485, 1 ], [ 390, 501, 1 ], [ 390, 503, 1 ], [ 390, 504, 1 ], 
  [ 390, 507, 1 ], [ 390, 508, 1 ], [ 390, 510, 1 ], [ 390, 513, 1 ], [ 390, 514, 1 ], [ 390, 518, 1 ], 
  [ 390, 522, 1 ], [ 390, 523, 1 ], [ 390, 544, 1 ], [ 390, 557, 1 ], [ 391, 561, 1 ], [ 392, 457, 1 ], 
  [ 392, 482, 1 ], [ 392, 511, 1 ], [ 392, 551, 1 ], [ 392, 552, 1 ], [ 392, 560, 1 ], [ 392, 561, 1 ], 
  [ 393, 429, 1 ], [ 393, 446, 1 ], [ 393, 449, 1 ], [ 393, 450, 1 ], [ 393, 453, 1 ], [ 393, 454, 1 ], 
  [ 393, 455, 1 ], [ 393, 470, 1 ], [ 393, 474, 1 ], [ 393, 501, 1 ], [ 393, 507, 1 ], [ 393, 508, 1 ], 
  [ 393, 509, 1 ], [ 393, 510, 1 ], [ 393, 514, 1 ], [ 393, 519, 1 ], [ 393, 523, 1 ], [ 393, 526, 1 ], 
  [ 393, 541, 1 ], [ 393, 542, 1 ], [ 393, 543, 1 ], [ 393, 544, 1 ], [ 393, 548, 1 ], [ 393, 549, 1 ], 
  [ 393, 553, 1 ], [ 393, 554, 1 ], [ 393, 557, 1 ], [ 394, 429, 1 ], [ 394, 430, 1 ], [ 394, 446, 1 ], 
  [ 394, 449, 1 ], [ 394, 453, 1 ], [ 394, 454, 1 ], [ 394, 455, 1 ], [ 394, 465, 1 ], [ 394, 470, 1 ], 
  [ 394, 480, 1 ], [ 394, 503, 1 ], [ 394, 507, 1 ], [ 394, 509, 1 ], [ 394, 510, 1 ], [ 394, 514, 1 ], 
  [ 394, 519, 1 ], [ 394, 523, 1 ], [ 394, 526, 1 ], [ 394, 541, 1 ], [ 394, 542, 1 ], [ 394, 543, 1 ], 
  [ 394, 544, 1 ], [ 394, 548, 1 ], [ 394, 549, 1 ], [ 394, 553, 1 ], [ 394, 557, 1 ], [ 395, 430, 1 ], 
  [ 395, 449, 1 ], [ 395, 470, 1 ], [ 395, 473, 1 ], [ 395, 474, 1 ], [ 395, 477, 1 ], [ 395, 485, 1 ], 
  [ 395, 501, 1 ], [ 395, 503, 1 ], [ 395, 504, 1 ], [ 395, 509, 1 ], [ 395, 510, 1 ], [ 395, 514, 1 ], 
  [ 395, 541, 1 ], [ 395, 543, 1 ], [ 395, 548, 1 ], [ 395, 553, 1 ], [ 395, 554, 1 ], [ 396, 457, 1 ], 
  [ 396, 520, 1 ], [ 396, 551, 1 ], [ 396, 564, 1 ], [ 396, 565, 1 ], [ 396, 566, 1 ], [ 397, 458, 1 ], 
  [ 397, 488, 1 ], [ 397, 517, 1 ], [ 397, 521, 1 ], [ 397, 525, 1 ], [ 397, 546, 1 ], [ 397, 552, 1 ], 
  [ 397, 556, 1 ], [ 397, 564, 1 ], [ 397, 566, 1 ], [ 398, 568, 1 ], [ 399, 430, 1 ], [ 399, 441, 1 ], 
  [ 399, 449, 1 ], [ 399, 450, 1 ], [ 399, 454, 1 ], [ 399, 455, 1 ], [ 399, 470, 1 ], [ 399, 473, 1 ], 
  [ 399, 480, 1 ], [ 399, 481, 1 ], [ 399, 485, 1 ], [ 399, 486, 1 ], [ 399, 501, 1 ], [ 399, 504, 1 ], 
  [ 399, 508, 1 ], [ 399, 515, 1 ], [ 399, 518, 1 ], [ 399, 519, 1 ], [ 399, 522, 1 ], [ 399, 523, 1 ], 
  [ 399, 526, 1 ], [ 399, 548, 1 ], [ 399, 549, 1 ], [ 399, 553, 1 ], [ 399, 557, 1 ], [ 399, 568, 1 ], 
  [ 400, 571, 1 ], [ 401, 457, 1 ], [ 401, 458, 1 ], [ 401, 487, 1 ], [ 401, 488, 1 ], [ 401, 516, 1 ], 
  [ 401, 517, 1 ], [ 401, 520, 1 ], [ 401, 524, 1 ], [ 401, 525, 1 ], [ 401, 545, 1 ], [ 401, 546, 1 ], 
  [ 401, 551, 1 ], [ 401, 555, 1 ], [ 401, 556, 1 ], [ 401, 565, 1 ], [ 401, 566, 1 ], [ 401, 570, 1 ], 
  [ 401, 571, 1 ], [ 402, 450, 1 ], [ 402, 454, 1 ], [ 402, 455, 1 ], [ 402, 470, 1 ], [ 402, 477, 1 ], 
  [ 402, 478, 1 ], [ 402, 480, 1 ], [ 402, 484, 1 ], [ 402, 485, 1 ], [ 402, 486, 1 ], [ 402, 501, 1 ], 
  [ 402, 510, 1 ], [ 402, 513, 1 ], [ 402, 514, 1 ], [ 402, 515, 1 ], [ 402, 518, 1 ], [ 402, 522, 1 ], 
  [ 402, 523, 1 ], [ 402, 544, 1 ], [ 403, 457, 1 ], [ 403, 458, 1 ], [ 403, 487, 1 ], [ 403, 516, 1 ], 
  [ 403, 520, 1 ], [ 403, 521, 1 ], [ 403, 525, 1 ], [ 403, 527, 1 ], [ 403, 533, 1 ], [ 403, 545, 1 ], 
  [ 403, 552, 1 ], [ 403, 555, 1 ], [ 403, 556, 1 ], [ 403, 558, 1 ], [ 403, 561, 1 ], [ 403, 565, 1 ], 
  [ 403, 566, 1 ], [ 403, 570, 1 ], [ 404, 487, 1 ], [ 404, 488, 1 ], [ 404, 493, 1 ], [ 404, 494, 1 ], 
  [ 404, 495, 1 ], [ 404, 517, 1 ], [ 404, 521, 1 ], [ 404, 529, 1 ], [ 404, 534, 1 ], [ 404, 535, 1 ], 
  [ 404, 552, 1 ], [ 404, 555, 1 ], [ 404, 556, 1 ], [ 404, 560, 1 ], [ 404, 565, 1 ], [ 404, 566, 1 ], 
  [ 404, 570, 1 ], [ 404, 571, 1 ], [ 405, 482, 1 ], [ 405, 487, 1 ], [ 405, 488, 1 ], [ 405, 493, 1 ], 
  [ 405, 494, 1 ], [ 405, 495, 1 ], [ 405, 511, 1 ], [ 405, 517, 1 ], [ 405, 520, 1 ], [ 405, 521, 1 ], 
  [ 405, 529, 1 ], [ 405, 534, 1 ], [ 405, 535, 1 ], [ 405, 552, 1 ], [ 405, 555, 1 ], [ 405, 556, 1 ], 
  [ 405, 560, 1 ], [ 405, 565, 1 ], [ 405, 566, 1 ], [ 405, 570, 1 ], [ 406, 457, 1 ], [ 406, 458, 1 ], 
  [ 406, 482, 1 ], [ 406, 511, 1 ], [ 406, 521, 1 ], [ 406, 524, 1 ], [ 406, 525, 1 ], [ 406, 527, 1 ], 
  [ 406, 533, 1 ], [ 406, 545, 1 ], [ 406, 555, 1 ], [ 406, 556, 1 ], [ 406, 559, 1 ], [ 406, 560, 1 ], 
  [ 406, 561, 1 ], [ 406, 564, 1 ], [ 406, 565, 1 ], [ 406, 566, 1 ], [ 406, 569, 1 ], [ 406, 571, 1 ], 
  [ 407, 574, 1 ], [ 407, 575, 1 ], [ 407, 576, 1 ], [ 407, 577, 1 ], [ 408, 562, 1 ], [ 408, 567, 1 ], 
  [ 408, 572, 1 ], [ 408, 574, 1 ], [ 408, 575, 1 ], [ 408, 576, 1 ], [ 409, 482, 1 ], [ 409, 487, 1 ], 
  [ 409, 488, 1 ], [ 409, 495, 1 ], [ 409, 511, 1 ], [ 409, 516, 1 ], [ 409, 517, 1 ], [ 409, 521, 1 ], 
  [ 409, 525, 1 ], [ 409, 533, 1 ], [ 409, 546, 1 ], [ 409, 551, 1 ], [ 409, 552, 1 ], [ 409, 555, 1 ], 
  [ 409, 556, 1 ], [ 409, 561, 1 ], [ 409, 564, 1 ], [ 410, 457, 1 ], [ 410, 487, 1 ], [ 410, 488, 1 ], 
  [ 410, 494, 1 ], [ 410, 511, 1 ], [ 410, 516, 1 ], [ 410, 517, 1 ], [ 410, 534, 1 ], [ 410, 551, 1 ], 
  [ 410, 552, 1 ], [ 410, 555, 1 ], [ 410, 565, 1 ], [ 411, 457, 1 ], [ 411, 482, 1 ], [ 411, 487, 1 ], 
  [ 411, 488, 1 ], [ 411, 492, 1 ], [ 411, 493, 1 ], [ 411, 511, 1 ], [ 411, 516, 1 ], [ 411, 517, 1 ], 
  [ 411, 521, 1 ], [ 411, 525, 1 ], [ 411, 535, 1 ], [ 411, 546, 1 ], [ 411, 551, 1 ], [ 411, 552, 1 ], 
  [ 411, 559, 1 ], [ 411, 560, 1 ], [ 411, 561, 1 ], [ 411, 566, 1 ], [ 412, 496, 1 ], [ 412, 532, 1 ], 
  [ 412, 537, 1 ], [ 412, 538, 1 ], [ 412, 563, 1 ], [ 412, 567, 1 ], [ 412, 574, 1 ], [ 412, 575, 1 ], 
  [ 412, 576, 1 ], [ 412, 577, 1 ], [ 412, 579, 1 ], [ 412, 580, 1 ], [ 413, 531, 1 ], [ 413, 532, 1 ], 
  [ 413, 537, 1 ], [ 413, 538, 1 ], [ 413, 562, 1 ], [ 413, 563, 1 ], [ 413, 567, 1 ], [ 413, 573, 1 ], 
  [ 413, 579, 1 ], [ 413, 580, 1 ], [ 414, 532, 1 ], [ 414, 536, 1 ], [ 414, 537, 1 ], [ 414, 538, 1 ], 
  [ 414, 563, 1 ], [ 414, 567, 1 ], [ 414, 572, 1 ], [ 414, 573, 1 ], [ 414, 574, 1 ], [ 414, 575, 1 ], 
  [ 414, 579, 1 ], [ 414, 580, 1 ], [ 415, 583, 1 ], [ 416, 585, 1 ], [ 417, 583, 1 ], [ 418, 588, 1 ], 
  [ 419, 584, 1 ], [ 419, 585, 1 ], [ 419, 587, 1 ], [ 419, 588, 1 ], [ 420, 586, 1 ], [ 420, 589, 1 ], 
  [ 420, 590, 1 ], [ 421, 591, 1 ], [ 422, 588, 1 ], [ 422, 591, 1 ], [ 423, 594, 1 ], [ 424, 586, 1 ], 
  [ 424, 593, 1 ], [ 424, 594, 1 ], [ 425, 584, 1 ], [ 425, 585, 1 ], [ 425, 588, 1 ], [ 426, 598, 1 ], 
  [ 427, 586, 1 ], [ 428, 586, 1 ], [ 428, 589, 1 ], [ 428, 592, 1 ], [ 428, 593, 1 ], [ 428, 598, 1 ], 
  [ 429, 599, 1 ], [ 429, 600, 1 ], [ 429, 601, 1 ], [ 430, 595, 1 ], [ 430, 599, 1 ], [ 430, 600, 1 ], 
  [ 432, 604, 1 ], [ 433, 606, 1 ], [ 434, 608, 1 ], [ 435, 610, 1 ], [ 436, 588, 1 ], [ 436, 604, 1 ], 
  [ 436, 610, 1 ], [ 437, 613, 1 ], [ 438, 584, 1 ], [ 438, 585, 1 ], [ 438, 587, 1 ], [ 438, 588, 1 ], 
  [ 438, 606, 1 ], [ 439, 616, 1 ], [ 440, 586, 1 ], [ 440, 605, 1 ], [ 440, 607, 1 ], [ 440, 608, 1 ], 
  [ 440, 611, 1 ], [ 440, 612, 1 ], [ 440, 613, 1 ], [ 440, 615, 1 ], [ 440, 616, 1 ], [ 441, 609, 1 ], 
  [ 441, 614, 1 ], [ 441, 617, 1 ], [ 441, 618, 1 ], [ 442, 588, 1 ], [ 442, 604, 1 ], [ 443, 620, 1 ], 
  [ 445, 623, 1 ], [ 446, 625, 1 ], [ 447, 627, 1 ], [ 448, 586, 1 ], [ 448, 593, 1 ], [ 448, 613, 1 ], 
  [ 448, 616, 1 ], [ 448, 620, 1 ], [ 448, 623, 1 ], [ 448, 627, 1 ], [ 449, 630, 1 ], [ 450, 609, 1 ], 
  [ 450, 622, 1 ], [ 450, 624, 1 ], [ 450, 625, 1 ], [ 450, 629, 1 ], [ 450, 630, 1 ], [ 451, 589, 1 ], 
  [ 451, 590, 1 ], [ 451, 593, 1 ], [ 451, 594, 1 ], [ 451, 605, 1 ], [ 451, 607, 1 ], [ 451, 616, 1 ], 
  [ 451, 619, 1 ], [ 451, 620, 1 ], [ 451, 623, 1 ], [ 451, 627, 1 ], [ 452, 586, 1 ], [ 452, 589, 1 ], 
  [ 452, 590, 1 ], [ 452, 594, 1 ], [ 452, 608, 1 ], [ 452, 611, 1 ], [ 452, 612, 1 ], [ 453, 635, 1 ], 
  [ 454, 596, 1 ], [ 454, 600, 1 ], [ 454, 601, 1 ], [ 454, 614, 1 ], [ 454, 618, 1 ], [ 454, 622, 1 ], 
  [ 454, 625, 1 ], [ 454, 630, 1 ], [ 454, 633, 1 ], [ 454, 634, 1 ], [ 455, 596, 1 ], [ 455, 600, 1 ], 
  [ 455, 601, 1 ], [ 455, 609, 1 ], [ 455, 614, 1 ], [ 455, 618, 1 ], [ 455, 625, 1 ], [ 455, 633, 1 ], 
  [ 455, 634, 1 ], [ 456, 595, 1 ], [ 456, 596, 1 ], [ 456, 599, 1 ], [ 456, 600, 1 ], [ 456, 601, 1 ], 
  [ 456, 609, 1 ], [ 456, 614, 1 ], [ 456, 617, 1 ], [ 456, 621, 1 ], [ 456, 622, 1 ], [ 456, 624, 1 ], 
  [ 456, 628, 1 ], [ 456, 629, 1 ], [ 456, 630, 1 ], [ 456, 635, 1 ], [ 457, 636, 1 ], [ 457, 637, 1 ], 
  [ 457, 638, 1 ], [ 457, 639, 1 ], [ 458, 626, 1 ], [ 458, 631, 1 ], [ 458, 636, 1 ], [ 458, 637, 1 ], 
  [ 458, 638, 1 ], [ 459, 641, 1 ], [ 460, 588, 1 ], [ 460, 603, 1 ], [ 460, 604, 1 ], [ 460, 606, 1 ], 
  [ 460, 641, 1 ], [ 461, 644, 1 ], [ 462, 584, 1 ], [ 462, 585, 1 ], [ 462, 587, 1 ], [ 462, 588, 1 ], 
  [ 463, 589, 1 ], [ 463, 590, 1 ], [ 463, 594, 1 ], [ 463, 613, 1 ], [ 463, 620, 1 ], [ 463, 623, 1 ], 
  [ 463, 642, 1 ], [ 463, 644, 1 ], [ 463, 646, 1 ], [ 464, 586, 1 ], [ 464, 589, 1 ], [ 464, 590, 1 ], 
  [ 464, 594, 1 ], [ 464, 605, 1 ], [ 464, 607, 1 ], [ 464, 608, 1 ], [ 464, 613, 1 ], [ 464, 620, 1 ], 
  [ 464, 623, 1 ], [ 464, 643, 1 ], [ 465, 609, 1 ], [ 465, 645, 1 ], [ 465, 647, 1 ], [ 465, 648, 1 ], 
  [ 467, 650, 1 ], [ 468, 612, 1 ], [ 468, 613, 1 ], [ 468, 616, 1 ], [ 469, 589, 1 ], [ 469, 590, 1 ], 
  [ 469, 592, 1 ], [ 469, 593, 1 ], [ 469, 594, 1 ], [ 469, 607, 1 ], [ 469, 612, 1 ], [ 469, 613, 1 ], 
  [ 469, 615, 1 ], [ 469, 616, 1 ], [ 469, 644, 1 ], [ 469, 650, 1 ], [ 470, 654, 1 ], [ 471, 656, 1 ], 
  [ 472, 589, 1 ], [ 472, 590, 1 ], [ 472, 592, 1 ], [ 472, 593, 1 ], [ 472, 605, 1 ], [ 472, 611, 1 ], 
  [ 472, 612, 1 ], [ 472, 616, 1 ], [ 472, 620, 1 ], [ 472, 623, 1 ], [ 472, 642, 1 ], [ 472, 644, 1 ], 
  [ 472, 646, 1 ], [ 472, 656, 1 ], [ 473, 659, 1 ], [ 474, 609, 1 ], [ 474, 652, 1 ], [ 474, 653, 1 ], 
  [ 474, 654, 1 ], [ 474, 658, 1 ], [ 474, 659, 1 ], [ 475, 589, 1 ], [ 475, 592, 1 ], [ 475, 611, 1 ], 
  [ 475, 615, 1 ], [ 475, 616, 1 ], [ 475, 623, 1 ], [ 475, 627, 1 ], [ 475, 643, 1 ], [ 475, 649, 1 ], 
  [ 475, 656, 1 ], [ 476, 592, 1 ], [ 476, 593, 1 ], [ 476, 605, 1 ], [ 476, 611, 1 ], [ 476, 612, 1 ], 
  [ 476, 644, 1 ], [ 477, 663, 1 ], [ 478, 595, 1 ], [ 478, 596, 1 ], [ 478, 614, 1 ], [ 478, 617, 1 ], 
  [ 478, 622, 1 ], [ 478, 629, 1 ], [ 478, 645, 1 ], [ 478, 647, 1 ], [ 478, 653, 1 ], [ 478, 658, 1 ], 
  [ 479, 590, 1 ], [ 479, 592, 1 ], [ 479, 593, 1 ], [ 479, 594, 1 ], [ 479, 605, 1 ], [ 479, 607, 1 ], 
  [ 479, 611, 1 ], [ 479, 615, 1 ], [ 479, 616, 1 ], [ 479, 620, 1 ], [ 479, 650, 1 ], [ 480, 667, 1 ], 
  [ 481, 596, 1 ], [ 481, 617, 1 ], [ 481, 621, 1 ], [ 481, 624, 1 ], [ 481, 647, 1 ], [ 481, 651, 1 ], 
  [ 481, 653, 1 ], [ 481, 662, 1 ], [ 481, 663, 1 ], [ 481, 666, 1 ], [ 481, 667, 1 ], [ 482, 664, 1 ], 
  [ 482, 665, 1 ], [ 482, 668, 1 ], [ 482, 669, 1 ], [ 483, 586, 1 ], [ 483, 592, 1 ], [ 483, 594, 1 ], 
  [ 483, 605, 1 ], [ 483, 608, 1 ], [ 483, 615, 1 ], [ 483, 616, 1 ], [ 483, 620, 1 ], [ 483, 623, 1 ], 
  [ 483, 642, 1 ], [ 483, 644, 1 ], [ 483, 646, 1 ], [ 484, 670, 1 ], [ 485, 595, 1 ], [ 485, 596, 1 ], 
  [ 485, 609, 1 ], [ 485, 614, 1 ], [ 485, 617, 1 ], [ 485, 622, 1 ], [ 485, 629, 1 ], [ 485, 645, 1 ], 
  [ 485, 647, 1 ], [ 485, 653, 1 ], [ 485, 658, 1 ], [ 485, 667, 1 ], [ 486, 595, 1 ], [ 486, 609, 1 ], 
  [ 486, 614, 1 ], [ 486, 621, 1 ], [ 486, 622, 1 ], [ 486, 659, 1 ], [ 486, 670, 1 ], [ 487, 674, 1 ], 
  [ 488, 655, 1 ], [ 488, 664, 1 ], [ 488, 665, 1 ], [ 488, 673, 1 ], [ 488, 674, 1 ], [ 489, 596, 1 ], 
  [ 489, 601, 1 ], [ 489, 609, 1 ], [ 489, 617, 1 ], [ 489, 622, 1 ], [ 489, 625, 1 ], [ 489, 630, 1 ], 
  [ 489, 645, 1 ], [ 489, 647, 1 ], [ 489, 653, 1 ], [ 489, 654, 1 ], [ 489, 659, 1 ], [ 489, 666, 1 ], 
  [ 489, 667, 1 ], [ 489, 670, 1 ], [ 490, 600, 1 ], [ 490, 614, 1 ], [ 490, 617, 1 ], [ 490, 618, 1 ], 
  [ 490, 622, 1 ], [ 490, 624, 1 ], [ 490, 625, 1 ], [ 490, 629, 1 ], [ 490, 630, 1 ], [ 490, 633, 1 ], 
  [ 490, 634, 1 ], [ 490, 645, 1 ], [ 490, 647, 1 ], [ 490, 652, 1 ], [ 490, 654, 1 ], [ 490, 658, 1 ], 
  [ 490, 666, 1 ], [ 490, 667, 1 ], [ 490, 670, 1 ], [ 491, 595, 1 ], [ 491, 599, 1 ], [ 491, 600, 1 ], 
  [ 491, 601, 1 ], [ 491, 614, 1 ], [ 491, 618, 1 ], [ 491, 625, 1 ], [ 491, 645, 1 ], [ 491, 648, 1 ], 
  [ 491, 651, 1 ], [ 491, 652, 1 ], [ 491, 653, 1 ], [ 491, 657, 1 ], [ 491, 658, 1 ], [ 491, 659, 1 ], 
  [ 492, 626, 1 ], [ 492, 636, 1 ], [ 492, 655, 1 ], [ 492, 664, 1 ], [ 492, 677, 1 ], [ 492, 678, 1 ], 
  [ 492, 679, 1 ], [ 493, 602, 1 ], [ 493, 637, 1 ], [ 493, 639, 1 ], [ 493, 664, 1 ], [ 493, 668, 1 ], 
  [ 493, 669, 1 ], [ 493, 674, 1 ], [ 493, 677, 1 ], [ 493, 679, 1 ], [ 494, 626, 1 ], [ 494, 655, 1 ], 
  [ 494, 664, 1 ], [ 494, 665, 1 ], [ 495, 602, 1 ], [ 495, 636, 1 ], [ 495, 637, 1 ], [ 495, 639, 1 ], 
  [ 495, 664, 1 ], [ 495, 665, 1 ], [ 495, 669, 1 ], [ 495, 672, 1 ], [ 495, 673, 1 ], [ 495, 674, 1 ], 
  [ 495, 677, 1 ], [ 495, 679, 1 ], [ 496, 640, 1 ], [ 496, 675, 1 ], [ 496, 676, 1 ], [ 496, 680, 1 ], 
  [ 496, 681, 1 ], [ 496, 682, 1 ], [ 497, 588, 1 ], [ 497, 603, 1 ], [ 497, 604, 1 ], [ 497, 606, 1 ], 
  [ 498, 684, 1 ], [ 499, 589, 1 ], [ 499, 590, 1 ], [ 499, 594, 1 ], [ 499, 605, 1 ], [ 499, 607, 1 ], 
  [ 499, 608, 1 ], [ 499, 613, 1 ], [ 499, 620, 1 ], [ 499, 623, 1 ], [ 499, 642, 1 ], [ 499, 643, 1 ], 
  [ 499, 646, 1 ], [ 500, 592, 1 ], [ 500, 593, 1 ], [ 500, 605, 1 ], [ 500, 607, 1 ], [ 500, 608, 1 ], 
  [ 500, 613, 1 ], [ 500, 642, 1 ], [ 500, 643, 1 ], [ 500, 644, 1 ], [ 500, 684, 1 ], [ 501, 621, 1 ], 
  [ 501, 622, 1 ], [ 501, 624, 1 ], [ 501, 625, 1 ], [ 501, 651, 1 ], [ 501, 652, 1 ], [ 501, 653, 1 ], 
  [ 501, 654, 1 ], [ 501, 685, 1 ], [ 501, 686, 1 ], [ 501, 687, 1 ], [ 502, 586, 1 ], [ 502, 589, 1 ], 
  [ 502, 597, 1 ], [ 502, 598, 1 ], [ 502, 611, 1 ], [ 502, 615, 1 ], [ 502, 620, 1 ], [ 502, 627, 1 ], 
  [ 502, 642, 1 ], [ 502, 646, 1 ], [ 502, 649, 1 ], [ 502, 656, 1 ], [ 502, 684, 1 ], [ 503, 595, 1 ], 
  [ 503, 600, 1 ], [ 503, 601, 1 ], [ 503, 621, 1 ], [ 503, 624, 1 ], [ 503, 625, 1 ], [ 503, 645, 1 ], 
  [ 503, 648, 1 ], [ 503, 651, 1 ], [ 503, 653, 1 ], [ 503, 654, 1 ], [ 503, 662, 1 ], [ 503, 666, 1 ], 
  [ 503, 667, 1 ], [ 503, 688, 1 ], [ 504, 595, 1 ], [ 504, 596, 1 ], [ 504, 599, 1 ], [ 504, 614, 1 ], 
  [ 504, 617, 1 ], [ 504, 622, 1 ], [ 504, 629, 1 ], [ 504, 645, 1 ], [ 504, 648, 1 ], [ 504, 653, 1 ], 
  [ 504, 658, 1 ], [ 504, 667, 1 ], [ 504, 687, 1 ], [ 505, 586, 1 ], [ 505, 590, 1 ], [ 505, 593, 1 ], 
  [ 505, 594, 1 ], [ 505, 597, 1 ], [ 505, 598, 1 ], [ 505, 605, 1 ], [ 505, 607, 1 ], [ 505, 611, 1 ], 
  [ 505, 619, 1 ], [ 505, 620, 1 ], [ 505, 623, 1 ], [ 505, 627, 1 ], [ 505, 649, 1 ], [ 505, 650, 1 ], 
  [ 506, 589, 1 ], [ 506, 590, 1 ], [ 506, 594, 1 ], [ 506, 605, 1 ], [ 506, 607, 1 ], [ 506, 611, 1 ], 
  [ 506, 613, 1 ], [ 506, 615, 1 ], [ 506, 616, 1 ], [ 507, 692, 1 ], [ 508, 599, 1 ], [ 508, 600, 1 ], 
  [ 508, 601, 1 ], [ 508, 609, 1 ], [ 508, 618, 1 ], [ 508, 622, 1 ], [ 508, 625, 1 ], [ 508, 629, 1 ], 
  [ 508, 630, 1 ], [ 508, 647, 1 ], [ 508, 648, 1 ], [ 508, 654, 1 ], [ 508, 659, 1 ], [ 508, 662, 1 ], 
  [ 508, 666, 1 ], [ 508, 685, 1 ], [ 508, 686, 1 ], [ 508, 687, 1 ], [ 508, 688, 1 ], [ 509, 600, 1 ], 
  [ 509, 601, 1 ], [ 509, 609, 1 ], [ 509, 617, 1 ], [ 509, 625, 1 ], [ 509, 629, 1 ], [ 509, 647, 1 ], 
  [ 509, 648, 1 ], [ 509, 658, 1 ], [ 509, 659, 1 ], [ 509, 662, 1 ], [ 509, 666, 1 ], [ 509, 685, 1 ], 
  [ 509, 686, 1 ], [ 509, 687, 1 ], [ 509, 688, 1 ], [ 510, 596, 1 ], [ 510, 600, 1 ], [ 510, 601, 1 ], 
  [ 510, 614, 1 ], [ 510, 618, 1 ], [ 510, 628, 1 ], [ 510, 629, 1 ], [ 510, 630, 1 ], [ 510, 645, 1 ], 
  [ 510, 654, 1 ], [ 510, 658, 1 ], [ 510, 685, 1 ], [ 510, 686, 1 ], [ 510, 687, 1 ], [ 510, 692, 1 ], 
  [ 511, 693, 1 ], [ 511, 694, 1 ], [ 511, 695, 1 ], [ 511, 696, 1 ], [ 512, 586, 1 ], [ 512, 589, 1 ], 
  [ 512, 590, 1 ], [ 512, 593, 1 ], [ 512, 594, 1 ], [ 512, 608, 1 ], [ 512, 611, 1 ], [ 512, 612, 1 ], 
  [ 512, 615, 1 ], [ 513, 697, 1 ], [ 514, 599, 1 ], [ 514, 614, 1 ], [ 514, 624, 1 ], [ 514, 629, 1 ], 
  [ 514, 630, 1 ], [ 514, 652, 1 ], [ 514, 653, 1 ], [ 514, 654, 1 ], [ 515, 596, 1 ], [ 515, 600, 1 ], 
  [ 515, 601, 1 ], [ 515, 609, 1 ], [ 515, 617, 1 ], [ 515, 618, 1 ], [ 515, 625, 1 ], [ 515, 628, 1 ], 
  [ 515, 629, 1 ], [ 515, 645, 1 ], [ 515, 647, 1 ], [ 515, 648, 1 ], [ 515, 651, 1 ], [ 515, 652, 1 ], 
  [ 515, 654, 1 ], [ 515, 657, 1 ], [ 515, 658, 1 ], [ 515, 662, 1 ], [ 515, 666, 1 ], [ 515, 667, 1 ], 
  [ 515, 688, 1 ], [ 515, 697, 1 ], [ 516, 701, 1 ], [ 517, 626, 1 ], [ 517, 655, 1 ], [ 517, 693, 1 ], 
--> --------------------

--> maximum size reached

--> --------------------