Quellcode-Bibliothek kur_2_5_4.gi   Sprache: unbekannt

BindGlobal( "Kur_2_5_4", function() 
local A, i; 
A := rec(); 
A.rnk := 2; 
A.dim := 1021; 
A.com := false; 
A.fld := GF(2^2); 
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, 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 ], [ 1, 23 ], 
  [ 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, 47 ], [ 2, 47 ], [ 1, 48 ], [ 2, 48 ], [ 1, 49 ], [ 2, 49 ], 
  [ 2, 50 ], [ 1, 51 ], [ 2, 51 ], [ 1, 52 ], [ 2, 52 ], [ 1, 53 ], 
  [ 2, 53 ], [ 1, 54 ], [ 2, 54 ], [ 2, 55 ], [ 1, 56 ], [ 2, 56 ], 
  [ 2, 57 ], [ 1, 58 ], [ 2, 58 ], [ 1, 59 ], [ 2, 59 ], [ 1, 60 ], 
  [ 2, 60 ], [ 1, 61 ], [ 2, 61 ], [ 1, 62 ], [ 2, 62 ], [ 1, 63 ], 
  [ 2, 63 ], [ 2, 64 ], [ 1, 65 ], [ 2, 65 ], [ 1, 66 ], [ 2, 66 ], 
  [ 1, 67 ], [ 2, 67 ], [ 2, 68 ], [ 1, 69 ], [ 2, 69 ], [ 2, 70 ], 
  [ 1, 72 ], [ 2, 72 ], [ 1, 73 ], [ 2, 73 ], [ 1, 74 ], [ 2, 74 ], 
  [ 2, 75 ], [ 1, 76 ], [ 2, 76 ], [ 1, 77 ], [ 2, 77 ], [ 1, 78 ], 
  [ 2, 78 ], [ 1, 79 ], [ 2, 79 ], [ 2, 80 ], [ 1, 81 ], [ 2, 81 ], 
  [ 2, 82 ], [ 1, 83 ], [ 2, 83 ], [ 1, 84 ], [ 2, 84 ], [ 2, 85 ], 
  [ 1, 86 ], [ 2, 86 ], [ 1, 87 ], [ 2, 87 ], [ 1, 88 ], [ 2, 88 ], 
  [ 1, 89 ], [ 2, 89 ], [ 2, 90 ], [ 1, 91 ], [ 2, 91 ], [ 2, 92 ], 
  [ 1, 93 ], [ 2, 93 ], [ 2, 94 ], [ 2, 96 ], [ 1, 97 ], [ 2, 97 ], 
  [ 2, 98 ], [ 2, 99 ], [ 1, 100 ], [ 2, 100 ], [ 2, 101 ], [ 1, 102 ], 
  [ 2, 102 ], [ 1, 103 ], [ 2, 103 ], [ 1, 104 ], [ 2, 104 ], [ 1, 105 ], 
  [ 2, 105 ], [ 2, 106 ], [ 1, 107 ], [ 2, 107 ], [ 1, 108 ], [ 2, 108 ], 
  [ 1, 109 ], [ 2, 109 ], [ 2, 110 ], [ 1, 111 ], [ 2, 111 ], [ 2, 112 ], 
  [ 1, 114 ], [ 2, 114 ], [ 1, 115 ], [ 2, 115 ], [ 1, 116 ], [ 2, 116 ], 
  [ 2, 117 ], [ 1, 118 ], [ 2, 118 ], [ 1, 119 ], [ 2, 119 ], [ 1, 120 ], 
  [ 2, 120 ], [ 1, 121 ], [ 2, 121 ], [ 2, 122 ], [ 1, 123 ], [ 2, 123 ], 
  [ 2, 124 ], [ 1, 125 ], [ 2, 125 ], [ 1, 126 ], [ 2, 126 ], [ 2, 127 ], 
  [ 1, 128 ], [ 2, 128 ], [ 1, 129 ], [ 2, 129 ], [ 1, 130 ], [ 2, 130 ], 
  [ 1, 131 ], [ 2, 131 ], [ 2, 132 ], [ 1, 133 ], [ 2, 133 ], [ 2, 134 ], 
  [ 1, 135 ], [ 2, 135 ], [ 2, 136 ], [ 2, 138 ], [ 1, 139 ], [ 2, 139 ], 
  [ 2, 140 ], [ 2, 141 ], [ 1, 142 ], [ 2, 142 ], [ 2, 143 ], [ 2, 144 ], 
  [ 1, 145 ], [ 2, 145 ], [ 1, 146 ], [ 2, 146 ], [ 1, 147 ], [ 2, 147 ], 
  [ 1, 148 ], [ 2, 148 ], [ 2, 149 ], [ 1, 150 ], [ 2, 150 ], [ 2, 151 ], 
  [ 1, 152 ], [ 2, 152 ], [ 2, 153 ], [ 2, 155 ], [ 1, 156 ], [ 2, 156 ], 
  [ 2, 157 ], [ 1, 158 ], [ 2, 158 ], [ 1, 159 ], [ 2, 159 ], [ 1, 160 ], 
  [ 2, 160 ], [ 2, 161 ], [ 1, 162 ], [ 2, 162 ], [ 2, 163 ], [ 2, 164 ], 
  [ 2, 165 ], [ 1, 166 ], [ 2, 166 ], [ 2, 167 ], [ 2, 168 ], [ 2, 169 ], 
  [ 2, 171 ], [ 2, 172 ], [ 1, 173 ], [ 2, 173 ], [ 1, 174 ], [ 2, 174 ], 
  [ 1, 175 ], [ 2, 175 ], [ 2, 176 ], [ 1, 177 ], [ 2, 177 ], [ 2, 178 ], 
  [ 1, 180 ], [ 2, 180 ], [ 1, 181 ], [ 2, 181 ], [ 1, 182 ], [ 2, 182 ], 
  [ 2, 183 ], [ 1, 184 ], [ 2, 184 ], [ 1, 185 ], [ 2, 185 ], [ 1, 186 ], 
  [ 2, 186 ], [ 1, 187 ], [ 2, 187 ], [ 2, 188 ], [ 1, 189 ], [ 2, 189 ], 
  [ 2, 190 ], [ 1, 191 ], [ 2, 191 ], [ 1, 192 ], [ 2, 192 ], [ 2, 193 ], 
  [ 1, 194 ], [ 2, 194 ], [ 1, 195 ], [ 2, 195 ], [ 1, 196 ], [ 2, 196 ], 
  [ 1, 197 ], [ 2, 197 ], [ 2, 198 ], [ 1, 199 ], [ 2, 199 ], [ 2, 200 ], 
  [ 1, 201 ], [ 2, 201 ], [ 2, 202 ], [ 2, 204 ], [ 1, 205 ], [ 2, 205 ], 
  [ 2, 206 ], [ 2, 207 ], [ 1, 208 ], [ 2, 208 ], [ 2, 209 ], [ 2, 210 ], 
  [ 1, 211 ], [ 2, 211 ], [ 1, 212 ], [ 2, 212 ], [ 1, 213 ], [ 2, 213 ], 
  [ 1, 214 ], [ 2, 214 ], [ 2, 215 ], [ 1, 216 ], [ 2, 216 ], [ 2, 217 ], 
  [ 1, 218 ], [ 2, 218 ], [ 2, 219 ], [ 2, 221 ], [ 1, 222 ], [ 2, 222 ], 
  [ 2, 223 ], [ 1, 224 ], [ 2, 224 ], [ 1, 225 ], [ 2, 225 ], [ 1, 226 ], 
  [ 2, 226 ], [ 2, 227 ], [ 1, 228 ], [ 2, 228 ], [ 2, 229 ], [ 2, 230 ], 
  [ 2, 231 ], [ 1, 232 ], [ 2, 232 ], [ 2, 233 ], [ 2, 234 ], [ 2, 235 ], 
  [ 2, 237 ], [ 1, 238 ], [ 2, 238 ], [ 2, 239 ], [ 1, 240 ], [ 2, 240 ], 
  [ 2, 241 ], [ 2, 242 ], [ 2, 243 ], [ 2, 245 ], [ 1, 246 ], [ 2, 246 ], 
  [ 2, 247 ], [ 1, 248 ], [ 2, 248 ], [ 1, 249 ], [ 2, 249 ], [ 1, 250 ], 
  [ 2, 250 ], [ 2, 251 ], [ 1, 252 ], [ 2, 252 ], [ 2, 253 ], [ 2, 254 ], 
  [ 2, 255 ], [ 1, 256 ], [ 2, 256 ], [ 2, 257 ], [ 2, 258 ], [ 1, 259 ], 
  [ 2, 259 ], [ 2, 260 ], [ 1, 263 ], [ 2, 263 ], [ 2, 264 ], [ 2, 265 ], 
  [ 1, 266 ], [ 2, 266 ], [ 2, 267 ], [ 2, 268 ], [ 2, 269 ], [ 2, 270 ], 
  [ 2, 272 ], [ 2, 273 ], [ 2, 274 ], [ 1, 276 ], [ 2, 276 ], [ 1, 277 ], 
  [ 2, 277 ], [ 1, 278 ], [ 2, 278 ], [ 2, 279 ], [ 1, 280 ], [ 2, 280 ], 
  [ 2, 281 ], [ 1, 283 ], [ 2, 283 ], [ 2, 284 ], [ 1, 285 ], [ 2, 285 ], 
  [ 2, 286 ], [ 1, 287 ], [ 2, 287 ], [ 1, 288 ], [ 2, 288 ], [ 2, 289 ], 
  [ 1, 290 ], [ 2, 290 ], [ 1, 291 ], [ 2, 291 ], [ 1, 292 ], [ 2, 292 ], 
  [ 1, 293 ], [ 2, 293 ], [ 2, 294 ], [ 1, 295 ], [ 2, 295 ], [ 2, 296 ], 
  [ 1, 297 ], [ 2, 297 ], [ 2, 298 ], [ 2, 300 ], [ 1, 301 ], [ 2, 301 ], 
  [ 2, 302 ], [ 2, 303 ], [ 1, 304 ], [ 2, 304 ], [ 2, 305 ], [ 2, 306 ], 
  [ 1, 307 ], [ 2, 307 ], [ 1, 308 ], [ 2, 308 ], [ 1, 309 ], [ 2, 309 ], 
  [ 1, 310 ], [ 2, 310 ], [ 2, 311 ], [ 1, 312 ], [ 2, 312 ], [ 2, 313 ], 
  [ 1, 314 ], [ 2, 314 ], [ 2, 315 ], [ 2, 317 ], [ 1, 318 ], [ 2, 318 ], 
  [ 2, 319 ], [ 1, 320 ], [ 2, 320 ], [ 1, 321 ], [ 2, 321 ], [ 1, 322 ], 
  [ 2, 322 ], [ 2, 323 ], [ 1, 324 ], [ 2, 324 ], [ 2, 325 ], [ 2, 326 ], 
  [ 2, 327 ], [ 1, 328 ], [ 2, 328 ], [ 2, 329 ], [ 2, 330 ], [ 2, 331 ], 
  [ 2, 333 ], [ 1, 334 ], [ 2, 334 ], [ 2, 335 ], [ 1, 336 ], [ 2, 336 ], 
  [ 2, 337 ], [ 2, 338 ], [ 2, 339 ], [ 2, 341 ], [ 1, 342 ], [ 2, 342 ], 
  [ 2, 343 ], [ 2, 344 ], [ 1, 345 ], [ 2, 345 ], [ 1, 346 ], [ 2, 346 ], 
  [ 2, 347 ], [ 1, 348 ], [ 2, 348 ], [ 2, 349 ], [ 2, 350 ], [ 1, 352 ], 
  [ 2, 352 ], [ 2, 353 ], [ 2, 354 ], [ 1, 355 ], [ 2, 355 ], [ 2, 356 ], 
  [ 1, 359 ], [ 2, 359 ], [ 2, 360 ], [ 2, 361 ], [ 1, 362 ], [ 2, 362 ], 
  [ 2, 363 ], [ 2, 364 ], [ 2, 365 ], [ 2, 366 ], [ 2, 368 ], [ 2, 369 ], 
  [ 2, 370 ], [ 2, 372 ], [ 1, 373 ], [ 2, 373 ], [ 2, 374 ], [ 2, 375 ], 
  [ 2, 377 ], [ 2, 378 ], [ 2, 379 ], [ 1, 380 ], [ 2, 380 ], [ 2, 381 ], 
  [ 1, 382 ], [ 2, 382 ], [ 2, 383 ], [ 2, 384 ], [ 1, 385 ], [ 2, 385 ], 
  [ 2, 386 ], [ 1, 389 ], [ 2, 389 ], [ 2, 390 ], [ 2, 391 ], [ 1, 392 ], 
  [ 2, 392 ], [ 2, 393 ], [ 2, 394 ], [ 2, 395 ], [ 2, 396 ], [ 2, 398 ], 
  [ 1, 399 ], [ 2, 399 ], [ 2, 400 ], [ 1, 401 ], [ 2, 401 ], [ 2, 402 ], 
  [ 2, 404 ], [ 2, 405 ], [ 2, 406 ], [ 2, 407 ], [ 2, 409 ], [ 2, 411 ], 
  [ 2, 412 ], [ 2, 414 ], [ 2, 415 ], [ 1, 416 ], [ 2, 416 ], [ 1, 417 ], 
  [ 2, 417 ], [ 2, 418 ], [ 1, 419 ], [ 2, 419 ], [ 2, 420 ], [ 1, 422 ], 
  [ 2, 422 ], [ 2, 423 ], [ 1, 424 ], [ 2, 424 ], [ 2, 425 ], [ 2, 426 ], 
  [ 1, 427 ], [ 2, 427 ], [ 2, 428 ], [ 2, 429 ], [ 2, 431 ], [ 2, 432 ], 
  [ 1, 433 ], [ 2, 433 ], [ 1, 434 ], [ 2, 434 ], [ 1, 435 ], [ 2, 435 ], 
  [ 1, 436 ], [ 2, 436 ], [ 2, 437 ], [ 1, 438 ], [ 2, 438 ], [ 2, 439 ], 
  [ 1, 440 ], [ 2, 440 ], [ 2, 441 ], [ 2, 443 ], [ 1, 444 ], [ 2, 444 ], 
  [ 2, 445 ], [ 1, 446 ], [ 2, 446 ], [ 1, 447 ], [ 2, 447 ], [ 1, 448 ], 
  [ 2, 448 ], [ 2, 449 ], [ 1, 450 ], [ 2, 450 ], [ 2, 451 ], [ 2, 452 ], 
  [ 2, 453 ], [ 1, 454 ], [ 2, 454 ], [ 2, 455 ], [ 2, 456 ], [ 2, 457 ], 
  [ 2, 459 ], [ 1, 460 ], [ 2, 460 ], [ 2, 461 ], [ 1, 462 ], [ 2, 462 ], 
  [ 2, 463 ], [ 2, 464 ], [ 2, 465 ], [ 2, 467 ], [ 1, 468 ], [ 2, 468 ], 
  [ 2, 469 ], [ 2, 470 ], [ 1, 471 ], [ 2, 471 ], [ 1, 472 ], [ 2, 472 ], 
  [ 2, 473 ], [ 1, 474 ], [ 2, 474 ], [ 2, 475 ], [ 2, 476 ], [ 1, 478 ], 
  [ 2, 478 ], [ 2, 479 ], [ 2, 480 ], [ 1, 481 ], [ 2, 481 ], [ 2, 482 ], 
  [ 1, 485 ], [ 2, 485 ], [ 2, 486 ], [ 2, 487 ], [ 1, 488 ], [ 2, 488 ], 
  [ 2, 489 ], [ 2, 490 ], [ 2, 491 ], [ 2, 492 ], [ 2, 494 ], [ 2, 495 ], 
  [ 2, 496 ], [ 2, 498 ], [ 1, 499 ], [ 2, 499 ], [ 2, 500 ], [ 2, 501 ], 
  [ 2, 503 ], [ 2, 504 ], [ 2, 505 ], [ 2, 506 ], [ 1, 508 ], [ 2, 508 ], 
  [ 2, 509 ], [ 2, 510 ], [ 2, 511 ], [ 1, 514 ], [ 2, 514 ], [ 2, 515 ], 
  [ 2, 516 ], [ 1, 517 ], [ 2, 517 ], [ 2, 518 ], [ 2, 519 ], [ 2, 522 ], 
  [ 1, 523 ], [ 2, 523 ], [ 2, 524 ], [ 1, 525 ], [ 2, 525 ], [ 2, 526 ], 
  [ 2, 528 ], [ 2, 529 ], [ 2, 530 ], [ 2, 531 ], [ 2, 533 ], [ 2, 535 ], 
  [ 2, 536 ], [ 2, 538 ], [ 2, 539 ], [ 2, 540 ], [ 2, 541 ], [ 2, 543 ], 
  [ 2, 544 ], [ 2, 545 ], [ 2, 547 ], [ 1, 549 ], [ 2, 549 ], [ 2, 550 ], 
  [ 2, 551 ], [ 2, 553 ], [ 1, 554 ], [ 2, 554 ], [ 2, 555 ], [ 1, 556 ], 
  [ 2, 556 ], [ 2, 557 ], [ 2, 559 ], [ 2, 560 ], [ 2, 561 ], [ 2, 562 ], 
  [ 2, 564 ], [ 2, 566 ], [ 2, 567 ], [ 1, 570 ], [ 2, 570 ], [ 2, 571 ], 
  [ 2, 573 ], [ 2, 574 ], [ 2, 576 ], [ 2, 577 ], [ 2, 578 ], [ 2, 581 ], 
  [ 2, 583 ], [ 2, 584 ], [ 1, 585 ], [ 2, 585 ], [ 2, 586 ], [ 1, 588 ], 
  [ 2, 588 ], [ 2, 589 ], [ 1, 590 ], [ 2, 590 ], [ 2, 591 ], [ 2, 592 ], 
  [ 1, 593 ], [ 2, 593 ], [ 2, 594 ], [ 2, 595 ], [ 2, 597 ], [ 2, 598 ], 
  [ 2, 599 ], [ 2, 601 ], [ 2, 602 ], [ 1, 604 ], [ 2, 604 ], [ 2, 605 ], 
  [ 1, 606 ], [ 2, 606 ], [ 2, 607 ], [ 2, 608 ], [ 2, 609 ], [ 2, 611 ], 
  [ 1, 612 ], [ 2, 612 ], [ 2, 613 ], [ 2, 614 ], [ 1, 615 ], [ 2, 615 ], 
  [ 1, 616 ], [ 2, 616 ], [ 2, 617 ], [ 1, 618 ], [ 2, 618 ], [ 2, 619 ], 
  [ 2, 620 ], [ 1, 622 ], [ 2, 622 ], [ 2, 623 ], [ 2, 624 ], [ 1, 625 ], 
  [ 2, 625 ], [ 2, 626 ], [ 1, 629 ], [ 2, 629 ], [ 2, 630 ], [ 2, 631 ], 
  [ 1, 632 ], [ 2, 632 ], [ 2, 633 ], [ 2, 634 ], [ 2, 635 ], [ 2, 636 ], 
  [ 2, 638 ], [ 2, 639 ], [ 2, 640 ], [ 2, 642 ], [ 1, 643 ], [ 2, 643 ], 
  [ 2, 644 ], [ 2, 645 ], [ 2, 647 ], [ 2, 648 ], [ 2, 649 ], [ 2, 650 ], 
  [ 1, 652 ], [ 2, 652 ], [ 2, 653 ], [ 2, 654 ], [ 2, 655 ], [ 1, 658 ], 
  [ 2, 658 ], [ 2, 659 ], [ 2, 660 ], [ 1, 661 ], [ 2, 661 ], [ 2, 662 ], 
  [ 2, 663 ], [ 2, 666 ], [ 1, 667 ], [ 2, 667 ], [ 2, 668 ], [ 1, 669 ], 
  [ 2, 669 ], [ 2, 670 ], [ 2, 672 ], [ 2, 673 ], [ 2, 674 ], [ 2, 675 ], 
  [ 2, 677 ], [ 2, 679 ], [ 2, 680 ], [ 2, 682 ], [ 2, 683 ], [ 2, 684 ], 
  [ 2, 687 ], [ 2, 688 ], [ 2, 689 ], [ 2, 691 ], [ 2, 692 ], [ 2, 695 ], 
  [ 1, 696 ], [ 2, 696 ], [ 2, 697 ], [ 2, 699 ], [ 2, 700 ], [ 2, 701 ], 
  [ 2, 702 ], [ 2, 704 ], [ 2, 708 ], [ 2, 709 ], [ 2, 711 ], [ 2, 712 ], 
  [ 2, 714 ], [ 2, 715 ], [ 2, 716 ], [ 2, 719 ], [ 2, 721 ], [ 2, 722 ], 
  [ 2, 723 ], [ 2, 725 ], [ 2, 730 ], [ 2, 731 ], [ 1, 734 ], [ 2, 734 ], 
  [ 2, 735 ], [ 2, 737 ], [ 2, 738 ], [ 2, 740 ], [ 2, 741 ], [ 2, 742 ], 
  [ 2, 748 ], [ 2, 750 ], [ 2, 752 ], [ 2, 753 ], [ 1, 756 ], [ 2, 756 ], 
  [ 2, 757 ], [ 2, 758 ], [ 2, 759 ], [ 2, 760 ], [ 1, 761 ], [ 2, 761 ], 
  [ 2, 762 ], [ 2, 763 ], [ 2, 765 ], [ 2, 766 ], [ 2, 769 ], [ 2, 770 ], 
  [ 2, 772 ], [ 2, 773 ], [ 2, 775 ], [ 2, 776 ], [ 1, 777 ], [ 2, 777 ], 
  [ 2, 778 ], [ 2, 779 ], [ 2, 781 ], [ 2, 782 ], [ 2, 783 ], [ 2, 784 ], 
  [ 1, 786 ], [ 2, 786 ], [ 2, 787 ], [ 2, 788 ], [ 2, 789 ], [ 1, 792 ], 
  [ 2, 792 ], [ 2, 793 ], [ 2, 794 ], [ 1, 795 ], [ 2, 795 ], [ 2, 796 ], 
  [ 2, 797 ], [ 2, 800 ], [ 1, 801 ], [ 2, 801 ], [ 2, 802 ], [ 1, 803 ], 
  [ 2, 803 ], [ 2, 804 ], [ 2, 806 ], [ 2, 807 ], [ 2, 808 ], [ 2, 809 ], 
  [ 2, 811 ], [ 2, 813 ], [ 2, 814 ], [ 2, 816 ], [ 2, 817 ], [ 2, 818 ], 
  [ 2, 821 ], [ 2, 822 ], [ 2, 823 ], [ 2, 825 ], [ 2, 826 ], [ 2, 829 ], 
  [ 2, 830 ], [ 2, 831 ], [ 2, 833 ], [ 2, 834 ], [ 2, 835 ], [ 2, 836 ], 
  [ 2, 838 ], [ 2, 842 ], [ 2, 843 ], [ 2, 845 ], [ 2, 846 ], [ 2, 848 ], 
  [ 2, 849 ], [ 2, 850 ], [ 2, 853 ], [ 2, 855 ], [ 2, 864 ], [ 2, 865 ], 
  [ 2, 869 ], [ 2, 872 ], [ 2, 874 ], [ 2, 876 ], [ 2, 877 ], [ 2, 881 ], 
  [ 2, 887 ], [ 2, 891 ], [ 2, 892 ], [ 2, 896 ], [ 2, 897 ], [ 2, 899 ], 
  [ 2, 901 ], [ 2, 902 ], [ 2, 905 ], [ 2, 906 ], [ 2, 910 ], [ 2, 912 ], 
  [ 2, 914 ], [ 2, 917 ], [ 2, 918 ], [ 2, 919 ], [ 2, 921 ], [ 2, 922 ], 
  [ 2, 925 ], [ 2, 926 ], [ 2, 927 ], [ 2, 929 ], [ 2, 930 ], [ 2, 931 ], 
  [ 2, 932 ], [ 2, 934 ], [ 2, 938 ], [ 2, 941 ], [ 2, 942 ], [ 2, 945 ], 
  [ 2, 946 ], [ 2, 959 ], [ 2, 960 ], [ 2, 969 ], [ 2, 971 ], [ 2, 972 ], 
  [ 2, 981 ], [ 2, 992 ], [ 2, 1002 ] ]; 
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, 46, 1 ], [ 24, 48, 1 ], [ 25, 50, 1 ], 
  [ 26, 52, 1 ], [ 27, 33, 1 ], [ 27, 35, 1 ], [ 27, 36, 1 ], [ 27, 39, 1 ], 
  [ 27, 40, 1 ], [ 27, 42, 1 ], [ 27, 47, 1 ], [ 27, 48, 1 ], [ 27, 50, 1 ], 
  [ 28, 55, 1 ], [ 29, 37, 1 ], [ 29, 41, 1 ], [ 29, 43, 1 ], [ 29, 44, 1 ], 
  [ 29, 49, 1 ], [ 29, 51, 1 ], [ 29, 52, 1 ], [ 29, 54, 1 ], [ 29, 55, 1 ], 
  [ 30, 31, 1 ], [ 30, 32, 1 ], [ 30, 34, 1 ], [ 30, 38, 1 ], [ 30, 45, 1 ], 
  [ 30, 46, 1 ], [ 30, 53, 1 ], [ 30, 56, 1 ], [ 30, 57, 1 ], [ 31, 58, 1 ], 
  [ 32, 60, 1 ], [ 33, 62, 1 ], [ 34, 64, 1 ], [ 35, 66, 1 ], [ 36, 68, 1 ], 
  [ 37, 70, 1 ], [ 38, 58, 1 ], [ 38, 60, 1 ], [ 38, 64, 1 ], [ 39, 73, 1 ], 
  [ 40, 75, 1 ], [ 41, 77, 1 ], [ 42, 59, 1 ], [ 42, 61, 1 ], [ 42, 62, 1 ], 
  [ 42, 65, 1 ], [ 42, 66, 1 ], [ 42, 68, 1 ], [ 42, 72, 1 ], [ 42, 73, 1 ], 
  [ 42, 75, 1 ], [ 43, 80, 1 ], [ 44, 63, 1 ], [ 44, 67, 1 ], [ 44, 69, 1 ], 
  [ 44, 70, 1 ], [ 44, 74, 1 ], [ 44, 76, 1 ], [ 44, 77, 1 ], [ 44, 79, 1 ], 
  [ 44, 80, 1 ], [ 45, 71, 1 ], [ 45, 78, 1 ], [ 45, 81, 1 ], [ 45, 82, 1 ], 
  [ 47, 83, 1 ], [ 48, 85, 1 ], [ 49, 87, 1 ], [ 50, 59, 1 ], [ 50, 66, 1 ], 
  [ 50, 73, 1 ], [ 50, 75, 1 ], [ 50, 83, 1 ], [ 50, 85, 1 ], [ 51, 90, 1 ], 
  [ 52, 92, 1 ], [ 53, 94, 1 ], [ 54, 96, 1 ], [ 55, 63, 1 ], [ 55, 76, 1 ], 
  [ 55, 77, 1 ], [ 55, 80, 1 ], [ 55, 86, 1 ], [ 55, 87, 1 ], [ 55, 89, 1 ], 
  [ 55, 92, 1 ], [ 55, 96, 1 ], [ 56, 99, 1 ], [ 57, 71, 1 ], [ 57, 91, 1 ], 
  [ 57, 93, 1 ], [ 57, 94, 1 ], [ 57, 98, 1 ], [ 57, 99, 1 ], 
  [ 58, 102, 1 ], [ 59, 104, 1 ], [ 60, 106, 1 ], [ 61, 108, 1 ], 
  [ 62, 110, 1 ], [ 63, 112, 1 ], [ 64, 102, 1 ], [ 64, 106, 1 ], 
  [ 65, 115, 1 ], [ 66, 117, 1 ], [ 67, 119, 1 ], [ 68, 103, 1 ], 
  [ 68, 104, 1 ], [ 68, 107, 1 ], [ 68, 108, 1 ], [ 68, 110, 1 ], 
  [ 68, 114, 1 ], [ 68, 115, 1 ], [ 68, 117, 1 ], [ 69, 122, 1 ], 
  [ 70, 105, 1 ], [ 70, 109, 1 ], [ 70, 111, 1 ], [ 70, 112, 1 ], 
  [ 70, 116, 1 ], [ 70, 118, 1 ], [ 70, 119, 1 ], [ 70, 121, 1 ], 
  [ 70, 122, 1 ], [ 71, 113, 1 ], [ 71, 120, 1 ], [ 71, 123, 1 ], 
  [ 71, 124, 1 ], [ 72, 125, 1 ], [ 73, 127, 1 ], [ 74, 129, 1 ], 
  [ 75, 108, 1 ], [ 75, 115, 1 ], [ 75, 117, 1 ], [ 75, 125, 1 ], 
  [ 75, 127, 1 ], [ 76, 132, 1 ], [ 77, 134, 1 ], [ 78, 136, 1 ], 
  [ 79, 138, 1 ], [ 80, 105, 1 ], [ 80, 118, 1 ], [ 80, 119, 1 ], 
  [ 80, 122, 1 ], [ 80, 128, 1 ], [ 80, 129, 1 ], [ 80, 131, 1 ], 
  [ 80, 134, 1 ], [ 80, 138, 1 ], [ 81, 141, 1 ], [ 82, 113, 1 ], 
  [ 82, 133, 1 ], [ 82, 135, 1 ], [ 82, 136, 1 ], [ 82, 140, 1 ], 
  [ 82, 141, 1 ], [ 83, 144, 1 ], [ 84, 146, 1 ], [ 85, 103, 1 ], 
  [ 85, 104, 1 ], [ 85, 108, 1 ], [ 85, 127, 1 ], [ 85, 144, 1 ], 
  [ 86, 149, 1 ], [ 87, 151, 1 ], [ 88, 153, 1 ], [ 89, 155, 1 ], 
  [ 90, 105, 1 ], [ 90, 132, 1 ], [ 90, 149, 1 ], [ 90, 155, 1 ], 
  [ 91, 158, 1 ], [ 92, 105, 1 ], [ 92, 109, 1 ], [ 92, 116, 1 ], 
  [ 92, 118, 1 ], [ 92, 126, 1 ], [ 92, 128, 1 ], [ 92, 131, 1 ], 
  [ 92, 132, 1 ], [ 92, 146, 1 ], [ 92, 151, 1 ], [ 93, 161, 1 ], 
  [ 94, 147, 1 ], [ 94, 150, 1 ], [ 94, 152, 1 ], [ 94, 153, 1 ], 
  [ 94, 156, 1 ], [ 94, 157, 1 ], [ 94, 158, 1 ], [ 94, 160, 1 ], 
  [ 94, 161, 1 ], [ 95, 154, 1 ], [ 95, 159, 1 ], [ 95, 162, 1 ], 
  [ 95, 163, 1 ], [ 96, 105, 1 ], [ 96, 109, 1 ], [ 96, 111, 1 ], 
  [ 96, 112, 1 ], [ 96, 118, 1 ], [ 96, 119, 1 ], [ 96, 122, 1 ], 
  [ 96, 132, 1 ], [ 96, 148, 1 ], [ 96, 151, 1 ], [ 97, 165, 1 ], 
  [ 98, 113, 1 ], [ 98, 157, 1 ], [ 98, 158, 1 ], [ 98, 161, 1 ], 
  [ 99, 113, 1 ], [ 99, 120, 1 ], [ 99, 130, 1 ], [ 99, 133, 1 ], 
  [ 99, 141, 1 ], [ 99, 147, 1 ], [ 99, 150, 1 ], [ 99, 156, 1 ], 
  [ 99, 157, 1 ], [ 99, 165, 1 ], [ 100, 169, 1 ], [ 101, 137, 1 ], 
  [ 101, 154, 1 ], [ 101, 159, 1 ], [ 101, 168, 1 ], [ 101, 169, 1 ], 
  [ 102, 172, 1 ], [ 103, 174, 1 ], [ 104, 176, 1 ], [ 105, 178, 1 ], 
  [ 106, 172, 1 ], [ 107, 181, 1 ], [ 108, 183, 1 ], [ 109, 185, 1 ], 
  [ 110, 173, 1 ], [ 110, 174, 1 ], [ 110, 176, 1 ], [ 110, 180, 1 ], 
  [ 110, 181, 1 ], [ 110, 183, 1 ], [ 111, 188, 1 ], [ 112, 175, 1 ], 
  [ 112, 177, 1 ], [ 112, 178, 1 ], [ 112, 182, 1 ], [ 112, 184, 1 ], 
  [ 112, 185, 1 ], [ 112, 187, 1 ], [ 112, 188, 1 ], [ 113, 179, 1 ], 
  [ 113, 186, 1 ], [ 113, 189, 1 ], [ 113, 190, 1 ], [ 114, 191, 1 ], 
  [ 115, 193, 1 ], [ 116, 195, 1 ], [ 117, 174, 1 ], [ 117, 181, 1 ], 
  [ 117, 183, 1 ], [ 117, 191, 1 ], [ 117, 193, 1 ], [ 118, 198, 1 ], 
  [ 119, 200, 1 ], [ 120, 202, 1 ], [ 121, 204, 1 ], [ 122, 184, 1 ], 
  [ 122, 185, 1 ], [ 122, 188, 1 ], [ 122, 194, 1 ], [ 122, 195, 1 ], 
  [ 122, 197, 1 ], [ 122, 200, 1 ], [ 122, 204, 1 ], [ 123, 207, 1 ], 
  [ 124, 179, 1 ], [ 124, 199, 1 ], [ 124, 201, 1 ], [ 124, 202, 1 ], 
  [ 124, 206, 1 ], [ 124, 207, 1 ], [ 125, 210, 1 ], [ 126, 212, 1 ], 
  [ 127, 174, 1 ], [ 127, 193, 1 ], [ 127, 210, 1 ], [ 128, 215, 1 ], 
  [ 129, 217, 1 ], [ 130, 219, 1 ], [ 131, 221, 1 ], [ 132, 198, 1 ], 
  [ 132, 215, 1 ], [ 132, 221, 1 ], [ 133, 224, 1 ], [ 134, 175, 1 ], 
  [ 134, 182, 1 ], [ 134, 184, 1 ], [ 134, 192, 1 ], [ 134, 194, 1 ], 
  [ 134, 197, 1 ], [ 134, 198, 1 ], [ 134, 212, 1 ], [ 134, 217, 1 ], 
  [ 135, 227, 1 ], [ 136, 213, 1 ], [ 136, 216, 1 ], [ 136, 218, 1 ], 
  [ 136, 219, 1 ], [ 136, 222, 1 ], [ 136, 223, 1 ], [ 136, 224, 1 ], 
  [ 136, 226, 1 ], [ 136, 227, 1 ], [ 137, 220, 1 ], [ 137, 225, 1 ], 
  [ 137, 228, 1 ], [ 137, 229, 1 ], [ 138, 175, 1 ], [ 138, 177, 1 ], 
  [ 138, 178, 1 ], [ 138, 184, 1 ], [ 138, 185, 1 ], [ 138, 188, 1 ], 
  [ 138, 198, 1 ], [ 138, 214, 1 ], [ 138, 217, 1 ], [ 139, 231, 1 ], 
  [ 140, 179, 1 ], [ 140, 223, 1 ], [ 140, 224, 1 ], [ 140, 227, 1 ], 
  [ 141, 179, 1 ], [ 141, 186, 1 ], [ 141, 196, 1 ], [ 141, 199, 1 ], 
  [ 141, 207, 1 ], [ 141, 213, 1 ], [ 141, 216, 1 ], [ 141, 222, 1 ], 
  [ 141, 223, 1 ], [ 141, 231, 1 ], [ 142, 235, 1 ], [ 143, 203, 1 ], 
  [ 143, 220, 1 ], [ 143, 225, 1 ], [ 143, 234, 1 ], [ 143, 235, 1 ], 
  [ 144, 173, 1 ], [ 144, 174, 1 ], [ 144, 176, 1 ], [ 144, 181, 1 ], 
  [ 144, 183, 1 ], [ 144, 193, 1 ], [ 145, 239, 1 ], [ 146, 241, 1 ], 
  [ 147, 243, 1 ], [ 148, 245, 1 ], [ 149, 175, 1 ], [ 149, 182, 1 ], 
  [ 149, 184, 1 ], [ 149, 185, 1 ], [ 149, 192, 1 ], [ 149, 197, 1 ], 
  [ 149, 198, 1 ], [ 149, 200, 1 ], [ 149, 211, 1 ], [ 149, 212, 1 ], 
  [ 149, 214, 1 ], [ 149, 217, 1 ], [ 149, 239, 1 ], [ 149, 245, 1 ], 
  [ 150, 248, 1 ], [ 151, 178, 1 ], [ 151, 182, 1 ], [ 151, 184, 1 ], 
  [ 151, 192, 1 ], [ 151, 194, 1 ], [ 151, 195, 1 ], [ 151, 197, 1 ], 
  [ 151, 198, 1 ], [ 151, 200, 1 ], [ 151, 217, 1 ], [ 151, 241, 1 ], 
  [ 152, 251, 1 ], [ 153, 179, 1 ], [ 153, 186, 1 ], [ 153, 196, 1 ], 
  [ 153, 213, 1 ], [ 153, 240, 1 ], [ 153, 242, 1 ], [ 153, 243, 1 ], 
  [ 153, 246, 1 ], [ 153, 247, 1 ], [ 153, 248, 1 ], [ 153, 250, 1 ], 
  [ 153, 251, 1 ], [ 154, 244, 1 ], [ 154, 249, 1 ], [ 154, 252, 1 ], 
  [ 154, 253, 1 ], [ 155, 177, 1 ], [ 155, 178, 1 ], [ 155, 182, 1 ], 
  [ 155, 184, 1 ], [ 155, 185, 1 ], [ 155, 192, 1 ], [ 155, 197, 1 ], 
  [ 155, 200, 1 ], [ 155, 211, 1 ], [ 155, 212, 1 ], [ 155, 214, 1 ], 
  [ 155, 217, 1 ], [ 155, 239, 1 ], [ 156, 255, 1 ], [ 157, 179, 1 ], 
  [ 158, 258, 1 ], [ 159, 260, 1 ], [ 160, 262, 1 ], [ 161, 186, 1 ], 
  [ 161, 196, 1 ], [ 161, 213, 1 ], [ 161, 223, 1 ], [ 161, 248, 1 ], 
  [ 161, 251, 1 ], [ 161, 255, 1 ], [ 161, 258, 1 ], [ 161, 262, 1 ], 
  [ 162, 265, 1 ], [ 163, 244, 1 ], [ 163, 257, 1 ], [ 163, 259, 1 ], 
  [ 163, 260, 1 ], [ 163, 264, 1 ], [ 163, 265, 1 ], [ 164, 186, 1 ], 
  [ 164, 189, 1 ], [ 164, 196, 1 ], [ 164, 202, 1 ], [ 164, 219, 1 ], 
  [ 164, 227, 1 ], [ 164, 240, 1 ], [ 164, 242, 1 ], [ 164, 251, 1 ], 
  [ 164, 254, 1 ], [ 164, 255, 1 ], [ 164, 258, 1 ], [ 164, 262, 1 ], 
  [ 165, 179, 1 ], [ 165, 190, 1 ], [ 165, 201, 1 ], [ 165, 207, 1 ], 
  [ 165, 213, 1 ], [ 165, 216, 1 ], [ 165, 218, 1 ], [ 165, 224, 1 ], 
  [ 165, 243, 1 ], [ 165, 246, 1 ], [ 165, 247, 1 ], [ 166, 270, 1 ], 
  [ 167, 203, 1 ], [ 167, 208, 1 ], [ 167, 209, 1 ], [ 167, 225, 1 ], 
  [ 167, 229, 1 ], [ 167, 233, 1 ], [ 167, 234, 1 ], [ 167, 249, 1 ], 
  [ 167, 253, 1 ], [ 167, 257, 1 ], [ 167, 260, 1 ], [ 167, 265, 1 ], 
  [ 167, 268, 1 ], [ 167, 269, 1 ], [ 168, 208, 1 ], [ 168, 209, 1 ], 
  [ 168, 220, 1 ], [ 168, 225, 1 ], [ 168, 229, 1 ], [ 168, 233, 1 ], 
  [ 168, 234, 1 ], [ 168, 244, 1 ], [ 168, 249, 1 ], [ 168, 253, 1 ], 
  [ 168, 260, 1 ], [ 168, 268, 1 ], [ 168, 269, 1 ], [ 169, 203, 1 ], 
  [ 169, 208, 1 ], [ 169, 220, 1 ], [ 169, 225, 1 ], [ 169, 228, 1 ], 
  [ 169, 232, 1 ], [ 169, 233, 1 ], [ 169, 234, 1 ], [ 169, 244, 1 ], 
  [ 169, 249, 1 ], [ 169, 252, 1 ], [ 169, 256, 1 ], [ 169, 257, 1 ], 
  [ 169, 259, 1 ], [ 169, 263, 1 ], [ 169, 264, 1 ], [ 169, 265, 1 ], 
  [ 169, 270, 1 ], [ 170, 271, 1 ], [ 170, 272, 1 ], [ 170, 273, 1 ], 
  [ 170, 274, 1 ], [ 171, 236, 1 ], [ 171, 261, 1 ], [ 171, 266, 1 ], 
  [ 171, 271, 1 ], [ 171, 272, 1 ], [ 171, 273, 1 ], [ 173, 277, 1 ], 
  [ 174, 279, 1 ], [ 175, 281, 1 ], [ 176, 276, 1 ], [ 176, 277, 1 ], 
  [ 176, 279, 1 ], [ 177, 284, 1 ], [ 178, 278, 1 ], [ 178, 280, 1 ], 
  [ 178, 281, 1 ], [ 178, 283, 1 ], [ 178, 284, 1 ], [ 179, 282, 1 ], 
  [ 179, 285, 1 ], [ 179, 286, 1 ], [ 180, 287, 1 ], [ 181, 289, 1 ], 
  [ 182, 291, 1 ], [ 183, 277, 1 ], [ 183, 279, 1 ], [ 183, 287, 1 ], 
  [ 183, 289, 1 ], [ 184, 294, 1 ], [ 185, 296, 1 ], [ 186, 298, 1 ], 
  [ 187, 300, 1 ], [ 188, 280, 1 ], [ 188, 281, 1 ], [ 188, 284, 1 ], 
  [ 188, 290, 1 ], [ 188, 291, 1 ], [ 188, 293, 1 ], [ 188, 296, 1 ], 
  [ 188, 300, 1 ], [ 189, 303, 1 ], [ 190, 295, 1 ], [ 190, 297, 1 ], 
  [ 190, 298, 1 ], [ 190, 302, 1 ], [ 190, 303, 1 ], [ 191, 306, 1 ], 
  [ 192, 308, 1 ], [ 193, 289, 1 ], [ 193, 306, 1 ], [ 194, 311, 1 ], 
  [ 195, 313, 1 ], [ 196, 315, 1 ], [ 197, 317, 1 ], [ 198, 294, 1 ], 
  [ 198, 311, 1 ], [ 198, 317, 1 ], [ 199, 320, 1 ], [ 200, 278, 1 ], 
  [ 200, 280, 1 ], [ 200, 288, 1 ], [ 200, 290, 1 ], [ 200, 293, 1 ], 
  [ 200, 294, 1 ], [ 200, 308, 1 ], [ 200, 313, 1 ], [ 201, 323, 1 ], 
  [ 202, 309, 1 ], [ 202, 312, 1 ], [ 202, 314, 1 ], [ 202, 315, 1 ], 
  [ 202, 318, 1 ], [ 202, 319, 1 ], [ 202, 320, 1 ], [ 202, 322, 1 ], 
  [ 202, 323, 1 ], [ 203, 316, 1 ], [ 203, 321, 1 ], [ 203, 324, 1 ], 
  [ 203, 325, 1 ], [ 204, 280, 1 ], [ 204, 281, 1 ], [ 204, 284, 1 ], 
  [ 204, 294, 1 ], [ 204, 310, 1 ], [ 204, 313, 1 ], [ 205, 327, 1 ], 
  [ 206, 319, 1 ], [ 206, 320, 1 ], [ 206, 323, 1 ], [ 207, 282, 1 ], 
  [ 207, 292, 1 ], [ 207, 295, 1 ], [ 207, 303, 1 ], [ 207, 309, 1 ], 
  [ 207, 312, 1 ], [ 207, 318, 1 ], [ 207, 319, 1 ], [ 207, 327, 1 ], 
  [ 208, 331, 1 ], [ 209, 299, 1 ], [ 209, 316, 1 ], [ 209, 321, 1 ], 
  [ 209, 330, 1 ], [ 209, 331, 1 ], [ 210, 277, 1 ], [ 210, 279, 1 ], 
  [ 210, 289, 1 ], [ 211, 335, 1 ], [ 212, 337, 1 ], [ 213, 339, 1 ], 
  [ 214, 341, 1 ], [ 215, 278, 1 ], [ 215, 280, 1 ], [ 215, 281, 1 ], 
  [ 215, 288, 1 ], [ 215, 293, 1 ], [ 215, 294, 1 ], [ 215, 296, 1 ], 
  [ 215, 307, 1 ], [ 215, 308, 1 ], [ 215, 310, 1 ], [ 215, 313, 1 ], 
  [ 215, 335, 1 ], [ 215, 341, 1 ], [ 216, 344, 1 ], [ 217, 278, 1 ], 
  [ 217, 280, 1 ], [ 217, 288, 1 ], [ 217, 290, 1 ], [ 217, 291, 1 ], 
  [ 217, 293, 1 ], [ 217, 294, 1 ], [ 217, 296, 1 ], [ 217, 313, 1 ], 
  [ 217, 337, 1 ], [ 218, 347, 1 ], [ 219, 282, 1 ], [ 219, 292, 1 ], 
  [ 219, 309, 1 ], [ 219, 336, 1 ], [ 219, 338, 1 ], [ 219, 339, 1 ], 
  [ 219, 342, 1 ], [ 219, 343, 1 ], [ 219, 344, 1 ], [ 219, 346, 1 ], 
  [ 219, 347, 1 ], [ 220, 340, 1 ], [ 220, 345, 1 ], [ 220, 348, 1 ], 
  [ 220, 349, 1 ], [ 221, 278, 1 ], [ 221, 280, 1 ], [ 221, 281, 1 ], 
  [ 221, 288, 1 ], [ 221, 293, 1 ], [ 221, 296, 1 ], [ 221, 307, 1 ], 
  [ 221, 308, 1 ], [ 221, 310, 1 ], [ 221, 313, 1 ], [ 221, 335, 1 ], 
  [ 222, 351, 1 ], [ 224, 354, 1 ], [ 225, 356, 1 ], [ 226, 358, 1 ], 
  [ 227, 282, 1 ], [ 227, 292, 1 ], [ 227, 309, 1 ], [ 227, 319, 1 ], 
  [ 227, 344, 1 ], [ 227, 347, 1 ], [ 227, 351, 1 ], [ 227, 354, 1 ], 
  [ 227, 358, 1 ], [ 228, 361, 1 ], [ 229, 340, 1 ], [ 229, 353, 1 ], 
  [ 229, 355, 1 ], [ 229, 356, 1 ], [ 229, 360, 1 ], [ 229, 361, 1 ], 
  [ 230, 282, 1 ], [ 230, 285, 1 ], [ 230, 292, 1 ], [ 230, 298, 1 ], 
  [ 230, 315, 1 ], [ 230, 323, 1 ], [ 230, 336, 1 ], [ 230, 338, 1 ], 
  [ 230, 347, 1 ], [ 230, 350, 1 ], [ 230, 351, 1 ], [ 230, 354, 1 ], 
  [ 230, 358, 1 ], [ 231, 286, 1 ], [ 231, 297, 1 ], [ 231, 303, 1 ], 
  [ 231, 309, 1 ], [ 231, 312, 1 ], [ 231, 314, 1 ], [ 231, 320, 1 ], 
  [ 231, 339, 1 ], [ 231, 342, 1 ], [ 231, 343, 1 ], [ 232, 366, 1 ], 
  [ 233, 299, 1 ], [ 233, 304, 1 ], [ 233, 305, 1 ], [ 233, 321, 1 ], 
  [ 233, 325, 1 ], [ 233, 329, 1 ], [ 233, 330, 1 ], [ 233, 345, 1 ], 
  [ 233, 349, 1 ], [ 233, 353, 1 ], [ 233, 356, 1 ], [ 233, 361, 1 ], 
  [ 233, 364, 1 ], [ 233, 365, 1 ], [ 234, 304, 1 ], [ 234, 305, 1 ], 
  [ 234, 316, 1 ], [ 234, 321, 1 ], [ 234, 325, 1 ], [ 234, 329, 1 ], 
  [ 234, 330, 1 ], [ 234, 340, 1 ], [ 234, 345, 1 ], [ 234, 349, 1 ], 
  [ 234, 356, 1 ], [ 234, 364, 1 ], [ 234, 365, 1 ], [ 235, 299, 1 ], 
  [ 235, 304, 1 ], [ 235, 316, 1 ], [ 235, 321, 1 ], [ 235, 324, 1 ], 
  [ 235, 328, 1 ], [ 235, 329, 1 ], [ 235, 330, 1 ], [ 235, 340, 1 ], 
  [ 235, 345, 1 ], [ 235, 348, 1 ], [ 235, 352, 1 ], [ 235, 353, 1 ], 
  [ 235, 355, 1 ], [ 235, 359, 1 ], [ 235, 360, 1 ], [ 235, 361, 1 ], 
  [ 235, 366, 1 ], [ 236, 367, 1 ], [ 236, 368, 1 ], [ 236, 369, 1 ], 
  [ 236, 370, 1 ], [ 237, 332, 1 ], [ 237, 357, 1 ], [ 237, 362, 1 ], 
  [ 237, 367, 1 ], [ 237, 368, 1 ], [ 237, 369, 1 ], [ 238, 372, 1 ], 
  [ 239, 278, 1 ], [ 239, 284, 1 ], [ 239, 288, 1 ], [ 239, 293, 1 ], 
  [ 239, 296, 1 ], [ 239, 311, 1 ], [ 239, 334, 1 ], [ 239, 335, 1 ], 
  [ 239, 337, 1 ], [ 239, 372, 1 ], [ 240, 375, 1 ], [ 241, 278, 1 ], 
  [ 241, 281, 1 ], [ 241, 283, 1 ], [ 241, 284, 1 ], [ 241, 288, 1 ], 
  [ 241, 290, 1 ], [ 241, 293, 1 ], [ 241, 294, 1 ], [ 241, 313, 1 ], 
  [ 242, 286, 1 ], [ 242, 297, 1 ], [ 242, 301, 1 ], [ 242, 302, 1 ], 
  [ 242, 303, 1 ], [ 242, 312, 1 ], [ 242, 314, 1 ], [ 242, 320, 1 ], 
  [ 242, 344, 1 ], [ 242, 351, 1 ], [ 242, 354, 1 ], [ 242, 373, 1 ], 
  [ 242, 375, 1 ], [ 242, 377, 1 ], [ 243, 282, 1 ], [ 243, 286, 1 ], 
  [ 243, 295, 1 ], [ 243, 298, 1 ], [ 243, 301, 1 ], [ 243, 302, 1 ], 
  [ 243, 303, 1 ], [ 243, 315, 1 ], [ 243, 320, 1 ], [ 243, 336, 1 ], 
  [ 243, 338, 1 ], [ 243, 339, 1 ], [ 243, 344, 1 ], [ 243, 351, 1 ], 
  [ 243, 354, 1 ], [ 243, 374, 1 ], [ 244, 299, 1 ], [ 244, 316, 1 ], 
  [ 244, 340, 1 ], [ 244, 376, 1 ], [ 244, 378, 1 ], [ 244, 379, 1 ], 
  [ 245, 280, 1 ], [ 245, 281, 1 ], [ 245, 284, 1 ], [ 245, 294, 1 ], 
  [ 246, 381, 1 ], [ 247, 292, 1 ], [ 247, 295, 1 ], [ 247, 297, 1 ], 
  [ 247, 298, 1 ], [ 247, 312, 1 ], [ 247, 314, 1 ], [ 247, 315, 1 ], 
  [ 247, 319, 1 ], [ 247, 320, 1 ], [ 247, 323, 1 ], [ 247, 343, 1 ], 
  [ 247, 344, 1 ], [ 247, 347, 1 ], [ 248, 384, 1 ], [ 249, 386, 1 ], 
  [ 250, 388, 1 ], [ 251, 282, 1 ], [ 251, 286, 1 ], [ 251, 292, 1 ], 
  [ 251, 295, 1 ], [ 251, 301, 1 ], [ 251, 302, 1 ], [ 251, 303, 1 ], 
  [ 251, 309, 1 ], [ 251, 312, 1 ], [ 251, 314, 1 ], [ 251, 318, 1 ], 
  [ 251, 319, 1 ], [ 251, 320, 1 ], [ 251, 322, 1 ], [ 251, 336, 1 ], 
  [ 251, 338, 1 ], [ 251, 342, 1 ], [ 251, 344, 1 ], [ 251, 346, 1 ], 
  [ 251, 351, 1 ], [ 251, 354, 1 ], [ 251, 373, 1 ], [ 251, 377, 1 ], 
  [ 251, 381, 1 ], [ 251, 384, 1 ], [ 251, 388, 1 ], [ 252, 391, 1 ], 
  [ 253, 299, 1 ], [ 253, 316, 1 ], [ 253, 340, 1 ], [ 253, 383, 1 ], 
  [ 253, 385, 1 ], [ 253, 386, 1 ], [ 253, 390, 1 ], [ 253, 391, 1 ], 
  [ 254, 282, 1 ], [ 254, 285, 1 ], [ 254, 286, 1 ], [ 254, 295, 1 ], 
  [ 254, 314, 1 ], [ 254, 319, 1 ], [ 254, 320, 1 ], [ 254, 338, 1 ], 
  [ 254, 342, 1 ], [ 254, 343, 1 ], [ 254, 344, 1 ], [ 254, 354, 1 ], 
  [ 254, 358, 1 ], [ 254, 374, 1 ], [ 254, 375, 1 ], [ 254, 380, 1 ], 
  [ 254, 381, 1 ], [ 254, 384, 1 ], [ 254, 388, 1 ], [ 255, 286, 1 ], 
  [ 255, 295, 1 ], [ 255, 297, 1 ], [ 255, 318, 1 ], [ 255, 322, 1 ], 
  [ 255, 323, 1 ], [ 255, 336, 1 ], [ 255, 338, 1 ], [ 255, 342, 1 ], 
  [ 255, 344, 1 ], [ 255, 346, 1 ], [ 255, 347, 1 ], [ 255, 381, 1 ], 
  [ 255, 384, 1 ], [ 256, 396, 1 ], [ 257, 304, 1 ], [ 257, 321, 1 ], 
  [ 257, 324, 1 ], [ 257, 345, 1 ], [ 257, 348, 1 ], [ 257, 353, 1 ], 
  [ 257, 355, 1 ], [ 257, 376, 1 ], [ 257, 378, 1 ], [ 257, 383, 1 ], 
  [ 257, 385, 1 ], [ 257, 394, 1 ], [ 257, 395, 1 ], [ 258, 282, 1 ], 
  [ 258, 285, 1 ], [ 258, 295, 1 ], [ 258, 297, 1 ], [ 258, 298, 1 ], 
  [ 258, 309, 1 ], [ 258, 314, 1 ], [ 258, 315, 1 ], [ 258, 336, 1 ], 
  [ 258, 342, 1 ], [ 258, 343, 1 ], [ 258, 344, 1 ], [ 258, 351, 1 ], 
  [ 258, 375, 1 ], [ 258, 384, 1 ], [ 259, 400, 1 ], [ 260, 304, 1 ], 
  [ 260, 324, 1 ], [ 260, 348, 1 ], [ 260, 352, 1 ], [ 260, 355, 1 ], 
  [ 260, 378, 1 ], [ 260, 382, 1 ], [ 260, 385, 1 ], [ 260, 394, 1 ], 
  [ 260, 396, 1 ], [ 260, 399, 1 ], [ 260, 400, 1 ], [ 261, 397, 1 ], 
  [ 261, 398, 1 ], [ 261, 401, 1 ], [ 261, 402, 1 ], [ 262, 282, 1 ], 
  [ 262, 285, 1 ], [ 262, 286, 1 ], [ 262, 297, 1 ], [ 262, 301, 1 ], 
  [ 262, 302, 1 ], [ 262, 303, 1 ], [ 262, 309, 1 ], [ 262, 312, 1 ], 
  [ 262, 314, 1 ], [ 262, 319, 1 ], [ 262, 336, 1 ], [ 262, 338, 1 ], 
  [ 262, 339, 1 ], [ 262, 343, 1 ], [ 262, 344, 1 ], [ 262, 351, 1 ], 
  [ 262, 354, 1 ], [ 262, 373, 1 ], [ 262, 377, 1 ], [ 262, 381, 1 ], 
  [ 262, 384, 1 ], [ 263, 403, 1 ], [ 264, 299, 1 ], [ 264, 304, 1 ], 
  [ 264, 316, 1 ], [ 264, 321, 1 ], [ 264, 324, 1 ], [ 264, 340, 1 ], 
  [ 264, 345, 1 ], [ 264, 348, 1 ], [ 264, 353, 1 ], [ 264, 355, 1 ], 
  [ 264, 376, 1 ], [ 264, 378, 1 ], [ 264, 383, 1 ], [ 264, 385, 1 ], 
  [ 264, 394, 1 ], [ 264, 395, 1 ], [ 264, 400, 1 ], [ 265, 299, 1 ], 
  [ 265, 316, 1 ], [ 265, 321, 1 ], [ 265, 340, 1 ], [ 265, 345, 1 ], 
  [ 265, 352, 1 ], [ 265, 353, 1 ], [ 265, 391, 1 ], [ 265, 403, 1 ], 
  [ 266, 407, 1 ], [ 267, 387, 1 ], [ 267, 397, 1 ], [ 267, 398, 1 ], 
  [ 267, 406, 1 ], [ 267, 407, 1 ], [ 268, 304, 1 ], [ 268, 321, 1 ], 
  [ 268, 325, 1 ], [ 268, 330, 1 ], [ 268, 340, 1 ], [ 268, 348, 1 ], 
  [ 268, 353, 1 ], [ 268, 355, 1 ], [ 268, 356, 1 ], [ 268, 360, 1 ], 
  [ 268, 361, 1 ], [ 268, 376, 1 ], [ 268, 378, 1 ], [ 268, 383, 1 ], 
  [ 268, 385, 1 ], [ 268, 386, 1 ], [ 268, 390, 1 ], [ 268, 391, 1 ], 
  [ 268, 394, 1 ], [ 268, 395, 1 ], [ 268, 399, 1 ], [ 268, 400, 1 ], 
  [ 268, 403, 1 ], [ 269, 304, 1 ], [ 269, 329, 1 ], [ 269, 345, 1 ], 
  [ 269, 348, 1 ], [ 269, 349, 1 ], [ 269, 353, 1 ], [ 269, 355, 1 ], 
  [ 269, 356, 1 ], [ 269, 360, 1 ], [ 269, 361, 1 ], [ 269, 364, 1 ], 
  [ 269, 365, 1 ], [ 269, 376, 1 ], [ 269, 378, 1 ], [ 269, 383, 1 ], 
  [ 269, 386, 1 ], [ 269, 390, 1 ], [ 269, 399, 1 ], [ 269, 400, 1 ], 
  [ 269, 403, 1 ], [ 270, 316, 1 ], [ 270, 324, 1 ], [ 270, 325, 1 ], 
  [ 270, 328, 1 ], [ 270, 329, 1 ], [ 270, 330, 1 ], [ 270, 345, 1 ], 
  [ 270, 349, 1 ], [ 270, 356, 1 ], [ 270, 376, 1 ], [ 270, 379, 1 ], 
  [ 270, 382, 1 ], [ 270, 383, 1 ], [ 270, 385, 1 ], [ 270, 389, 1 ], 
  [ 270, 390, 1 ], [ 270, 391, 1 ], [ 271, 332, 1 ], [ 271, 357, 1 ], 
  [ 271, 367, 1 ], [ 271, 387, 1 ], [ 271, 397, 1 ], [ 271, 410, 1 ], 
  [ 271, 411, 1 ], [ 271, 412, 1 ], [ 272, 332, 1 ], [ 272, 333, 1 ], 
  [ 272, 368, 1 ], [ 272, 370, 1 ], [ 272, 397, 1 ], [ 272, 401, 1 ], 
  [ 272, 402, 1 ], [ 272, 407, 1 ], [ 272, 410, 1 ], [ 272, 412, 1 ], 
  [ 273, 357, 1 ], [ 273, 387, 1 ], [ 273, 397, 1 ], [ 273, 398, 1 ], 
  [ 274, 333, 1 ], [ 274, 367, 1 ], [ 274, 368, 1 ], [ 274, 370, 1 ], 
  [ 274, 397, 1 ], [ 274, 398, 1 ], [ 274, 402, 1 ], [ 274, 405, 1 ], 
  [ 274, 406, 1 ], [ 274, 407, 1 ], [ 274, 410, 1 ], [ 274, 412, 1 ], 
  [ 275, 371, 1 ], [ 275, 408, 1 ], [ 275, 409, 1 ], [ 275, 413, 1 ], 
  [ 275, 414, 1 ], [ 275, 415, 1 ], [ 276, 416, 1 ], [ 277, 418, 1 ], 
  [ 278, 420, 1 ], [ 279, 416, 1 ], [ 279, 418, 1 ], [ 280, 423, 1 ], 
  [ 281, 417, 1 ], [ 281, 419, 1 ], [ 281, 420, 1 ], [ 281, 422, 1 ], 
  [ 281, 423, 1 ], [ 282, 421, 1 ], [ 282, 424, 1 ], [ 282, 425, 1 ], 
  [ 283, 426, 1 ], [ 284, 417, 1 ], [ 284, 423, 1 ], [ 284, 426, 1 ], 
  [ 285, 429, 1 ], [ 286, 421, 1 ], [ 286, 428, 1 ], [ 286, 429, 1 ], 
  [ 287, 432, 1 ], [ 288, 434, 1 ], [ 289, 418, 1 ], [ 289, 432, 1 ], 
  [ 290, 437, 1 ], [ 291, 439, 1 ], [ 292, 441, 1 ], [ 293, 443, 1 ], 
  [ 294, 423, 1 ], [ 294, 437, 1 ], [ 294, 443, 1 ], [ 295, 446, 1 ], 
  [ 296, 417, 1 ], [ 296, 419, 1 ], [ 296, 422, 1 ], [ 296, 423, 1 ], 
  [ 296, 434, 1 ], [ 296, 439, 1 ], [ 297, 449, 1 ], [ 298, 435, 1 ], 
  [ 298, 438, 1 ], [ 298, 440, 1 ], [ 298, 441, 1 ], [ 298, 444, 1 ], 
  [ 298, 445, 1 ], [ 298, 446, 1 ], [ 298, 448, 1 ], [ 298, 449, 1 ], 
  [ 299, 442, 1 ], [ 299, 447, 1 ], [ 299, 450, 1 ], [ 299, 451, 1 ], 
  [ 300, 423, 1 ], [ 300, 436, 1 ], [ 300, 439, 1 ], [ 301, 453, 1 ], 
  [ 302, 445, 1 ], [ 302, 446, 1 ], [ 302, 449, 1 ], [ 303, 421, 1 ], 
  [ 303, 424, 1 ], [ 303, 429, 1 ], [ 303, 435, 1 ], [ 303, 438, 1 ], 
  [ 303, 444, 1 ], [ 303, 445, 1 ], [ 303, 453, 1 ], [ 304, 457, 1 ], 
  [ 305, 442, 1 ], [ 305, 447, 1 ], [ 305, 456, 1 ], [ 305, 457, 1 ], 
  [ 306, 418, 1 ], [ 307, 461, 1 ], [ 308, 463, 1 ], [ 309, 465, 1 ], 
  [ 310, 467, 1 ], [ 311, 419, 1 ], [ 311, 420, 1 ], [ 311, 433, 1 ], 
  [ 311, 434, 1 ], [ 311, 436, 1 ], [ 311, 439, 1 ], [ 311, 461, 1 ], 
  [ 311, 467, 1 ], [ 312, 470, 1 ], [ 313, 439, 1 ], [ 313, 463, 1 ], 
  [ 314, 473, 1 ], [ 315, 421, 1 ], [ 315, 435, 1 ], [ 315, 462, 1 ], 
  [ 315, 464, 1 ], [ 315, 465, 1 ], [ 315, 468, 1 ], [ 315, 469, 1 ], 
  [ 315, 470, 1 ], [ 315, 472, 1 ], [ 315, 473, 1 ], [ 316, 466, 1 ], 
  [ 316, 471, 1 ], [ 316, 474, 1 ], [ 316, 475, 1 ], [ 317, 419, 1 ], 
  [ 317, 420, 1 ], [ 317, 423, 1 ], [ 317, 433, 1 ], [ 317, 434, 1 ], 
  [ 317, 436, 1 ], [ 317, 439, 1 ], [ 317, 461, 1 ], [ 318, 477, 1 ], 
  [ 320, 480, 1 ], [ 321, 482, 1 ], [ 322, 484, 1 ], [ 323, 421, 1 ], 
  [ 323, 435, 1 ], [ 323, 445, 1 ], [ 323, 470, 1 ], [ 323, 473, 1 ], 
  [ 323, 477, 1 ], [ 323, 480, 1 ], [ 323, 484, 1 ], [ 324, 487, 1 ], 
  [ 325, 466, 1 ], [ 325, 479, 1 ], [ 325, 481, 1 ], [ 325, 482, 1 ], 
  [ 325, 486, 1 ], [ 325, 487, 1 ], [ 326, 424, 1 ], [ 326, 425, 1 ], 
  [ 326, 441, 1 ], [ 326, 449, 1 ], [ 326, 462, 1 ], [ 326, 464, 1 ], 
  [ 326, 473, 1 ], [ 326, 476, 1 ], [ 326, 477, 1 ], [ 326, 480, 1 ], 
  [ 326, 484, 1 ], [ 327, 425, 1 ], [ 327, 429, 1 ], [ 327, 435, 1 ], 
  [ 327, 438, 1 ], [ 327, 440, 1 ], [ 327, 446, 1 ], [ 327, 465, 1 ], 
  [ 327, 468, 1 ], [ 327, 469, 1 ], [ 328, 492, 1 ], [ 329, 430, 1 ], 
  [ 329, 431, 1 ], [ 329, 447, 1 ], [ 329, 451, 1 ], [ 329, 455, 1 ], 
  [ 329, 456, 1 ], [ 329, 471, 1 ], [ 329, 475, 1 ], [ 329, 479, 1 ], 
  [ 329, 482, 1 ], [ 329, 487, 1 ], [ 329, 490, 1 ], [ 329, 491, 1 ], 
  [ 330, 430, 1 ], [ 330, 431, 1 ], [ 330, 442, 1 ], [ 330, 447, 1 ], 
  [ 330, 451, 1 ], [ 330, 455, 1 ], [ 330, 456, 1 ], [ 330, 466, 1 ], 
  [ 330, 471, 1 ], [ 330, 475, 1 ], [ 330, 482, 1 ], [ 330, 490, 1 ], 
  [ 330, 491, 1 ], [ 331, 430, 1 ], [ 331, 442, 1 ], [ 331, 447, 1 ], 
  [ 331, 450, 1 ], [ 331, 454, 1 ], [ 331, 455, 1 ], [ 331, 456, 1 ], 
  [ 331, 466, 1 ], [ 331, 471, 1 ], [ 331, 474, 1 ], [ 331, 478, 1 ], 
  [ 331, 479, 1 ], [ 331, 481, 1 ], [ 331, 485, 1 ], [ 331, 486, 1 ], 
  [ 331, 487, 1 ], [ 331, 492, 1 ], [ 332, 493, 1 ], [ 332, 494, 1 ], 
  [ 332, 495, 1 ], [ 332, 496, 1 ], [ 333, 458, 1 ], [ 333, 483, 1 ], 
  [ 333, 488, 1 ], [ 333, 493, 1 ], [ 333, 494, 1 ], [ 333, 495, 1 ], 
  [ 334, 498, 1 ], [ 335, 419, 1 ], [ 335, 420, 1 ], [ 335, 423, 1 ], 
  [ 335, 437, 1 ], [ 335, 460, 1 ], [ 335, 461, 1 ], [ 335, 463, 1 ], 
  [ 335, 498, 1 ], [ 336, 501, 1 ], [ 337, 417, 1 ], [ 337, 419, 1 ], 
  [ 337, 422, 1 ], [ 337, 423, 1 ], [ 337, 439, 1 ], [ 338, 425, 1 ], 
  [ 338, 427, 1 ], [ 338, 428, 1 ], [ 338, 429, 1 ], [ 338, 438, 1 ], 
  [ 338, 440, 1 ], [ 338, 446, 1 ], [ 338, 470, 1 ], [ 338, 477, 1 ], 
  [ 338, 480, 1 ], [ 338, 499, 1 ], [ 338, 501, 1 ], [ 338, 503, 1 ], 
  [ 339, 421, 1 ], [ 339, 425, 1 ], [ 339, 427, 1 ], [ 339, 428, 1 ], 
  [ 339, 429, 1 ], [ 339, 441, 1 ], [ 339, 446, 1 ], [ 339, 462, 1 ], 
  [ 339, 464, 1 ], [ 339, 465, 1 ], [ 339, 470, 1 ], [ 339, 477, 1 ], 
  [ 339, 480, 1 ], [ 339, 500, 1 ], [ 340, 442, 1 ], [ 340, 466, 1 ], 
  [ 340, 502, 1 ], [ 340, 504, 1 ], [ 340, 505, 1 ], [ 341, 423, 1 ], 
  [ 342, 507, 1 ], [ 343, 438, 1 ], [ 343, 440, 1 ], [ 343, 441, 1 ], 
  [ 343, 445, 1 ], [ 343, 446, 1 ], [ 343, 449, 1 ], [ 343, 469, 1 ], 
  [ 343, 470, 1 ], [ 343, 473, 1 ], [ 344, 421, 1 ], [ 344, 427, 1 ], 
  [ 344, 428, 1 ], [ 344, 429, 1 ], [ 344, 435, 1 ], [ 344, 441, 1 ], 
  [ 344, 444, 1 ], [ 344, 445, 1 ], [ 344, 446, 1 ], [ 344, 464, 1 ], 
  [ 344, 469, 1 ], [ 344, 470, 1 ], [ 344, 472, 1 ], [ 344, 473, 1 ], 
  [ 344, 501, 1 ], [ 344, 507, 1 ], [ 345, 511, 1 ], [ 346, 513, 1 ], 
  [ 347, 424, 1 ], [ 347, 438, 1 ], [ 347, 440, 1 ], [ 347, 441, 1 ], 
  [ 347, 448, 1 ], [ 347, 462, 1 ], [ 347, 468, 1 ], [ 347, 469, 1 ], 
  [ 347, 473, 1 ], [ 347, 477, 1 ], [ 347, 480, 1 ], [ 347, 499, 1 ], 
  [ 347, 501, 1 ], [ 347, 503, 1 ], [ 347, 513, 1 ], [ 348, 516, 1 ], 
  [ 349, 442, 1 ], [ 349, 466, 1 ], [ 349, 509, 1 ], [ 349, 510, 1 ], 
  [ 349, 511, 1 ], [ 349, 515, 1 ], [ 349, 516, 1 ], [ 350, 421, 1 ], 
  [ 350, 424, 1 ], [ 350, 427, 1 ], [ 350, 428, 1 ], [ 350, 429, 1 ], 
  [ 350, 435, 1 ], [ 350, 440, 1 ], [ 350, 441, 1 ], [ 350, 444, 1 ], 
  [ 350, 468, 1 ], [ 350, 472, 1 ], [ 350, 473, 1 ], [ 350, 480, 1 ], 
  [ 350, 484, 1 ], [ 350, 500, 1 ], [ 350, 506, 1 ], [ 350, 513, 1 ], 
  [ 351, 421, 1 ], [ 351, 424, 1 ], [ 351, 425, 1 ], [ 351, 427, 1 ], 
  [ 351, 428, 1 ], [ 351, 429, 1 ], [ 351, 435, 1 ], [ 351, 441, 1 ], 
  [ 351, 445, 1 ], [ 351, 446, 1 ], [ 351, 448, 1 ], [ 351, 449, 1 ], 
  [ 351, 462, 1 ], [ 351, 468, 1 ], [ 351, 469, 1 ], [ 351, 501, 1 ], 
  [ 352, 520, 1 ], [ 353, 430, 1 ], [ 353, 447, 1 ], [ 353, 450, 1 ], 
  [ 353, 471, 1 ], [ 353, 474, 1 ], [ 353, 479, 1 ], [ 353, 486, 1 ], 
  [ 353, 502, 1 ], [ 353, 504, 1 ], [ 353, 510, 1 ], [ 353, 515, 1 ], 
  [ 354, 427, 1 ], [ 354, 428, 1 ], [ 354, 429, 1 ], [ 354, 440, 1 ], 
  [ 354, 444, 1 ], [ 354, 445, 1 ], [ 354, 446, 1 ], [ 354, 462, 1 ], 
  [ 354, 464, 1 ], [ 354, 468, 1 ], [ 354, 472, 1 ], [ 354, 473, 1 ], 
  [ 354, 477, 1 ], [ 354, 507, 1 ], [ 355, 524, 1 ], [ 356, 430, 1 ], 
  [ 356, 450, 1 ], [ 356, 474, 1 ], [ 356, 478, 1 ], [ 356, 481, 1 ], 
  [ 356, 504, 1 ], [ 356, 508, 1 ], [ 356, 510, 1 ], [ 356, 519, 1 ], 
  [ 356, 520, 1 ], [ 356, 523, 1 ], [ 356, 524, 1 ], [ 357, 521, 1 ], 
  [ 357, 522, 1 ], [ 357, 525, 1 ], [ 357, 526, 1 ], [ 358, 421, 1 ], 
  [ 358, 425, 1 ], [ 358, 438, 1 ], [ 358, 440, 1 ], [ 358, 441, 1 ], 
  [ 358, 444, 1 ], [ 358, 446, 1 ], [ 358, 462, 1 ], [ 358, 465, 1 ], 
  [ 358, 472, 1 ], [ 358, 473, 1 ], [ 358, 477, 1 ], [ 358, 480, 1 ], 
  [ 358, 499, 1 ], [ 358, 501, 1 ], [ 358, 503, 1 ], [ 359, 527, 1 ], 
  [ 360, 430, 1 ], [ 360, 442, 1 ], [ 360, 447, 1 ], [ 360, 450, 1 ], 
  [ 360, 466, 1 ], [ 360, 471, 1 ], [ 360, 474, 1 ], [ 360, 479, 1 ], 
  [ 360, 486, 1 ], [ 360, 502, 1 ], [ 360, 504, 1 ], [ 360, 510, 1 ], 
  [ 360, 515, 1 ], [ 360, 524, 1 ], [ 361, 442, 1 ], [ 361, 447, 1 ], 
  [ 361, 466, 1 ], [ 361, 471, 1 ], [ 361, 478, 1 ], [ 361, 479, 1 ], 
  [ 361, 516, 1 ], [ 361, 527, 1 ], [ 362, 531, 1 ], [ 363, 512, 1 ], 
  [ 363, 521, 1 ], [ 363, 522, 1 ], [ 363, 530, 1 ], [ 363, 531, 1 ], 
  [ 364, 430, 1 ], [ 364, 447, 1 ], [ 364, 451, 1 ], [ 364, 456, 1 ], 
  [ 364, 466, 1 ], [ 364, 474, 1 ], [ 364, 479, 1 ], [ 364, 482, 1 ], 
  [ 364, 487, 1 ], [ 364, 502, 1 ], [ 364, 504, 1 ], [ 364, 510, 1 ], 
  [ 364, 511, 1 ], [ 364, 516, 1 ], [ 364, 523, 1 ], [ 364, 524, 1 ], 
  [ 364, 527, 1 ], [ 365, 430, 1 ], [ 365, 455, 1 ], [ 365, 471, 1 ], 
  [ 365, 474, 1 ], [ 365, 475, 1 ], [ 365, 479, 1 ], [ 365, 481, 1 ], 
  [ 365, 482, 1 ], [ 365, 486, 1 ], [ 365, 487, 1 ], [ 365, 490, 1 ], 
  [ 365, 491, 1 ], [ 365, 502, 1 ], [ 365, 504, 1 ], [ 365, 509, 1 ], 
  [ 365, 511, 1 ], [ 365, 515, 1 ], [ 365, 523, 1 ], [ 365, 524, 1 ], 
  [ 365, 527, 1 ], [ 366, 442, 1 ], [ 366, 450, 1 ], [ 366, 451, 1 ], 
  [ 366, 454, 1 ], [ 366, 455, 1 ], [ 366, 456, 1 ], [ 366, 471, 1 ], 
  [ 366, 475, 1 ], [ 366, 482, 1 ], [ 366, 502, 1 ], [ 366, 505, 1 ], 
  [ 366, 508, 1 ], [ 366, 509, 1 ], [ 366, 510, 1 ], [ 366, 514, 1 ], 
  [ 366, 515, 1 ], [ 366, 516, 1 ], [ 367, 458, 1 ], [ 367, 483, 1 ], 
  [ 367, 493, 1 ], [ 367, 512, 1 ], [ 367, 521, 1 ], [ 367, 534, 1 ], 
  [ 367, 535, 1 ], [ 367, 536, 1 ], [ 368, 458, 1 ], [ 368, 459, 1 ], 
  [ 368, 494, 1 ], [ 368, 496, 1 ], [ 368, 521, 1 ], [ 368, 525, 1 ], 
  [ 368, 526, 1 ], [ 368, 531, 1 ], [ 368, 534, 1 ], [ 368, 536, 1 ], 
  [ 369, 483, 1 ], [ 369, 512, 1 ], [ 369, 521, 1 ], [ 369, 522, 1 ], 
  [ 370, 459, 1 ], [ 370, 493, 1 ], [ 370, 494, 1 ], [ 370, 496, 1 ], 
  [ 370, 521, 1 ], [ 370, 522, 1 ], [ 370, 526, 1 ], [ 370, 529, 1 ], 
  [ 370, 530, 1 ], [ 370, 531, 1 ], [ 370, 534, 1 ], [ 370, 536, 1 ], 
  [ 371, 497, 1 ], [ 371, 532, 1 ], [ 371, 533, 1 ], [ 371, 537, 1 ], 
  [ 371, 538, 1 ], [ 371, 539, 1 ], [ 372, 419, 1 ], [ 372, 420, 1 ], 
  [ 372, 423, 1 ], [ 372, 433, 1 ], [ 372, 434, 1 ], [ 372, 436, 1 ], 
  [ 372, 439, 1 ], [ 372, 460, 1 ], [ 372, 461, 1 ], [ 372, 463, 1 ], 
  [ 373, 541, 1 ], [ 374, 425, 1 ], [ 374, 427, 1 ], [ 374, 428, 1 ], 
  [ 374, 429, 1 ], [ 374, 435, 1 ], [ 374, 438, 1 ], [ 374, 440, 1 ], 
  [ 374, 445, 1 ], [ 374, 449, 1 ], [ 374, 462, 1 ], [ 374, 464, 1 ], 
  [ 374, 465, 1 ], [ 374, 470, 1 ], [ 374, 477, 1 ], [ 374, 480, 1 ], 
  [ 374, 499, 1 ], [ 374, 500, 1 ], [ 374, 503, 1 ], [ 375, 424, 1 ], 
  [ 375, 425, 1 ], [ 375, 429, 1 ], [ 375, 438, 1 ], [ 375, 440, 1 ], 
  [ 375, 445, 1 ], [ 375, 446, 1 ], [ 375, 448, 1 ], [ 375, 449, 1 ], 
  [ 375, 462, 1 ], [ 375, 464, 1 ], [ 375, 465, 1 ], [ 375, 470, 1 ], 
  [ 375, 499, 1 ], [ 375, 500, 1 ], [ 375, 501, 1 ], [ 375, 541, 1 ], 
  [ 376, 454, 1 ], [ 376, 455, 1 ], [ 376, 456, 1 ], [ 376, 457, 1 ], 
  [ 376, 478, 1 ], [ 376, 479, 1 ], [ 376, 481, 1 ], [ 376, 482, 1 ], 
  [ 376, 508, 1 ], [ 376, 509, 1 ], [ 376, 510, 1 ], [ 376, 511, 1 ], 
  [ 376, 542, 1 ], [ 376, 543, 1 ], [ 376, 544, 1 ], [ 377, 424, 1 ], 
  [ 377, 425, 1 ], [ 377, 428, 1 ], [ 377, 440, 1 ], [ 377, 444, 1 ], 
  [ 377, 445, 1 ], [ 377, 448, 1 ], [ 377, 452, 1 ], [ 377, 453, 1 ], 
  [ 377, 468, 1 ], [ 377, 472, 1 ], [ 377, 477, 1 ], [ 377, 484, 1 ], 
  [ 377, 499, 1 ], [ 377, 503, 1 ], [ 377, 506, 1 ], [ 377, 513, 1 ], 
  [ 377, 541, 1 ], [ 378, 430, 1 ], [ 378, 431, 1 ], [ 378, 450, 1 ], 
  [ 378, 451, 1 ], [ 378, 455, 1 ], [ 378, 456, 1 ], [ 378, 478, 1 ], 
  [ 378, 481, 1 ], [ 378, 482, 1 ], [ 378, 502, 1 ], [ 378, 505, 1 ], 
  [ 378, 508, 1 ], [ 378, 510, 1 ], [ 378, 511, 1 ], [ 378, 519, 1 ], 
  [ 378, 523, 1 ], [ 378, 524, 1 ], [ 378, 545, 1 ], [ 379, 430, 1 ], 
  [ 379, 451, 1 ], [ 379, 455, 1 ], [ 379, 456, 1 ], [ 379, 457, 1 ], 
  [ 379, 471, 1 ], [ 379, 474, 1 ], [ 379, 479, 1 ], [ 379, 486, 1 ], 
  [ 379, 502, 1 ], [ 379, 505, 1 ], [ 379, 510, 1 ], [ 379, 515, 1 ], 
  [ 379, 524, 1 ], [ 379, 544, 1 ], [ 380, 548, 1 ], [ 381, 421, 1 ], 
  [ 381, 425, 1 ], [ 381, 429, 1 ], [ 381, 438, 1 ], [ 381, 440, 1 ], 
  [ 381, 446, 1 ], [ 381, 462, 1 ], [ 381, 464, 1 ], [ 381, 468, 1 ], 
  [ 381, 470, 1 ], [ 381, 472, 1 ], [ 381, 473, 1 ], [ 382, 551, 1 ], 
  [ 383, 431, 1 ], [ 383, 450, 1 ], [ 383, 466, 1 ], [ 383, 471, 1 ], 
  [ 383, 474, 1 ], [ 383, 475, 1 ], [ 383, 481, 1 ], [ 383, 482, 1 ], 
  [ 383, 487, 1 ], [ 383, 504, 1 ], [ 383, 505, 1 ], [ 383, 509, 1 ], 
  [ 383, 511, 1 ], [ 383, 516, 1 ], [ 383, 543, 1 ], [ 383, 544, 1 ], 
  [ 383, 549, 1 ], [ 383, 550, 1 ], [ 384, 425, 1 ], [ 384, 427, 1 ], 
  [ 384, 428, 1 ], [ 384, 429, 1 ], [ 384, 438, 1 ], [ 384, 444, 1 ], 
  [ 384, 448, 1 ], [ 384, 449, 1 ], [ 384, 465, 1 ], [ 384, 468, 1 ], 
  [ 384, 472, 1 ], [ 384, 473, 1 ], [ 384, 477, 1 ], [ 384, 480, 1 ], 
  [ 384, 499, 1 ], [ 384, 500, 1 ], [ 384, 507, 1 ], [ 384, 541, 1 ], 
  [ 385, 555, 1 ], [ 386, 430, 1 ], [ 386, 431, 1 ], [ 386, 447, 1 ], 
  [ 386, 450, 1 ], [ 386, 451, 1 ], [ 386, 478, 1 ], [ 386, 482, 1 ], 
  [ 386, 485, 1 ], [ 386, 486, 1 ], [ 386, 487, 1 ], [ 386, 502, 1 ], 
  [ 386, 505, 1 ], [ 386, 510, 1 ], [ 386, 511, 1 ], [ 386, 514, 1 ], 
  [ 386, 515, 1 ], [ 386, 516, 1 ], [ 386, 542, 1 ], [ 386, 544, 1 ], 
  [ 386, 549, 1 ], [ 386, 551, 1 ], [ 386, 554, 1 ], [ 386, 555, 1 ], 
  [ 387, 552, 1 ], [ 387, 553, 1 ], [ 387, 556, 1 ], [ 387, 557, 1 ], 
  [ 388, 424, 1 ], [ 388, 428, 1 ], [ 388, 429, 1 ], [ 388, 435, 1 ], 
  [ 388, 438, 1 ], [ 388, 440, 1 ], [ 388, 445, 1 ], [ 388, 446, 1 ], 
  [ 388, 465, 1 ], [ 388, 468, 1 ], [ 388, 469, 1 ], [ 388, 472, 1 ], 
  [ 389, 558, 1 ], [ 390, 431, 1 ], [ 390, 442, 1 ], [ 390, 447, 1 ], 
  [ 390, 451, 1 ], [ 390, 466, 1 ], [ 390, 479, 1 ], [ 390, 482, 1 ], 
  [ 390, 486, 1 ], [ 390, 487, 1 ], [ 390, 504, 1 ], [ 390, 505, 1 ], 
  [ 390, 510, 1 ], [ 390, 511, 1 ], [ 390, 515, 1 ], [ 390, 516, 1 ], 
  [ 390, 543, 1 ], [ 390, 544, 1 ], [ 390, 549, 1 ], [ 390, 550, 1 ], 
  [ 390, 555, 1 ], [ 391, 430, 1 ], [ 391, 431, 1 ], [ 391, 450, 1 ], 
  [ 391, 455, 1 ], [ 391, 456, 1 ], [ 391, 466, 1 ], [ 391, 474, 1 ], 
  [ 391, 475, 1 ], [ 391, 482, 1 ], [ 391, 485, 1 ], [ 391, 486, 1 ], 
  [ 391, 502, 1 ], [ 391, 504, 1 ], [ 391, 505, 1 ], [ 391, 508, 1 ], 
  [ 391, 509, 1 ], [ 391, 511, 1 ], [ 391, 514, 1 ], [ 391, 515, 1 ], 
  [ 391, 519, 1 ], [ 391, 523, 1 ], [ 391, 524, 1 ], [ 391, 545, 1 ], 
  [ 391, 558, 1 ], [ 392, 562, 1 ], [ 393, 458, 1 ], [ 393, 483, 1 ], 
  [ 393, 512, 1 ], [ 393, 552, 1 ], [ 393, 553, 1 ], [ 393, 561, 1 ], 
  [ 393, 562, 1 ], [ 394, 430, 1 ], [ 394, 447, 1 ], [ 394, 450, 1 ], 
  [ 394, 451, 1 ], [ 394, 454, 1 ], [ 394, 455, 1 ], [ 394, 456, 1 ], 
  [ 394, 471, 1 ], [ 394, 475, 1 ], [ 394, 502, 1 ], [ 394, 508, 1 ], 
  [ 394, 509, 1 ], [ 394, 510, 1 ], [ 394, 511, 1 ], [ 394, 515, 1 ], 
  [ 394, 520, 1 ], [ 394, 524, 1 ], [ 394, 527, 1 ], [ 394, 542, 1 ], 
  [ 394, 543, 1 ], [ 394, 544, 1 ], [ 394, 545, 1 ], [ 394, 549, 1 ], 
  [ 394, 550, 1 ], [ 394, 554, 1 ], [ 394, 555, 1 ], [ 394, 558, 1 ], 
  [ 395, 430, 1 ], [ 395, 431, 1 ], [ 395, 447, 1 ], [ 395, 450, 1 ], 
  [ 395, 454, 1 ], [ 395, 455, 1 ], [ 395, 456, 1 ], [ 395, 466, 1 ], 
  [ 395, 471, 1 ], [ 395, 481, 1 ], [ 395, 504, 1 ], [ 395, 508, 1 ], 
  [ 395, 510, 1 ], [ 395, 511, 1 ], [ 395, 515, 1 ], [ 395, 520, 1 ], 
  [ 395, 524, 1 ], [ 395, 527, 1 ], [ 395, 542, 1 ], [ 395, 543, 1 ], 
  [ 395, 544, 1 ], [ 395, 545, 1 ], [ 395, 549, 1 ], [ 395, 550, 1 ], 
  [ 395, 554, 1 ], [ 395, 558, 1 ], [ 396, 431, 1 ], [ 396, 450, 1 ], 
  [ 396, 471, 1 ], [ 396, 474, 1 ], [ 396, 475, 1 ], [ 396, 478, 1 ], 
  [ 396, 486, 1 ], [ 396, 502, 1 ], [ 396, 504, 1 ], [ 396, 505, 1 ], 
  [ 396, 510, 1 ], [ 396, 511, 1 ], [ 396, 515, 1 ], [ 396, 542, 1 ], 
  [ 396, 544, 1 ], [ 396, 549, 1 ], [ 396, 554, 1 ], [ 396, 555, 1 ], 
  [ 397, 458, 1 ], [ 397, 521, 1 ], [ 397, 552, 1 ], [ 397, 565, 1 ], 
  [ 397, 566, 1 ], [ 397, 567, 1 ], [ 398, 459, 1 ], [ 398, 489, 1 ], 
  [ 398, 518, 1 ], [ 398, 522, 1 ], [ 398, 526, 1 ], [ 398, 547, 1 ], 
  [ 398, 553, 1 ], [ 398, 557, 1 ], [ 398, 565, 1 ], [ 398, 567, 1 ], 
  [ 399, 569, 1 ], [ 400, 431, 1 ], [ 400, 442, 1 ], [ 400, 450, 1 ], 
  [ 400, 451, 1 ], [ 400, 455, 1 ], [ 400, 456, 1 ], [ 400, 471, 1 ], 
  [ 400, 474, 1 ], [ 400, 481, 1 ], [ 400, 482, 1 ], [ 400, 486, 1 ], 
  [ 400, 487, 1 ], [ 400, 502, 1 ], [ 400, 505, 1 ], [ 400, 509, 1 ], 
  [ 400, 516, 1 ], [ 400, 519, 1 ], [ 400, 520, 1 ], [ 400, 523, 1 ], 
  [ 400, 524, 1 ], [ 400, 527, 1 ], [ 400, 549, 1 ], [ 400, 550, 1 ], 
  [ 400, 554, 1 ], [ 400, 558, 1 ], [ 400, 569, 1 ], [ 401, 572, 1 ], 
  [ 402, 458, 1 ], [ 402, 459, 1 ], [ 402, 488, 1 ], [ 402, 489, 1 ], 
  [ 402, 517, 1 ], [ 402, 518, 1 ], [ 402, 521, 1 ], [ 402, 525, 1 ], 
  [ 402, 526, 1 ], [ 402, 546, 1 ], [ 402, 547, 1 ], [ 402, 552, 1 ], 
  [ 402, 556, 1 ], [ 402, 557, 1 ], [ 402, 566, 1 ], [ 402, 567, 1 ], 
  [ 402, 571, 1 ], [ 402, 572, 1 ], [ 403, 451, 1 ], [ 403, 455, 1 ], 
  [ 403, 456, 1 ], [ 403, 471, 1 ], [ 403, 478, 1 ], [ 403, 479, 1 ], 
  [ 403, 481, 1 ], [ 403, 485, 1 ], [ 403, 486, 1 ], [ 403, 487, 1 ], 
  [ 403, 502, 1 ], [ 403, 511, 1 ], [ 403, 514, 1 ], [ 403, 515, 1 ], 
  [ 403, 516, 1 ], [ 403, 519, 1 ], [ 403, 523, 1 ], [ 403, 524, 1 ], 
  [ 403, 545, 1 ], [ 404, 458, 1 ], [ 404, 459, 1 ], [ 404, 488, 1 ], 
  [ 404, 517, 1 ], [ 404, 521, 1 ], [ 404, 522, 1 ], [ 404, 526, 1 ], 
  [ 404, 528, 1 ], [ 404, 534, 1 ], [ 404, 546, 1 ], [ 404, 553, 1 ], 
  [ 404, 556, 1 ], [ 404, 557, 1 ], [ 404, 559, 1 ], [ 404, 562, 1 ], 
  [ 404, 566, 1 ], [ 404, 567, 1 ], [ 404, 571, 1 ], [ 405, 488, 1 ], 
  [ 405, 489, 1 ], [ 405, 494, 1 ], [ 405, 495, 1 ], [ 405, 496, 1 ], 
  [ 405, 518, 1 ], [ 405, 522, 1 ], [ 405, 530, 1 ], [ 405, 535, 1 ], 
  [ 405, 536, 1 ], [ 405, 553, 1 ], [ 405, 556, 1 ], [ 405, 557, 1 ], 
  [ 405, 561, 1 ], [ 405, 566, 1 ], [ 405, 567, 1 ], [ 405, 571, 1 ], 
  [ 405, 572, 1 ], [ 406, 483, 1 ], [ 406, 488, 1 ], [ 406, 489, 1 ], 
  [ 406, 494, 1 ], [ 406, 495, 1 ], [ 406, 496, 1 ], [ 406, 512, 1 ], 
  [ 406, 518, 1 ], [ 406, 521, 1 ], [ 406, 522, 1 ], [ 406, 530, 1 ], 
  [ 406, 535, 1 ], [ 406, 536, 1 ], [ 406, 553, 1 ], [ 406, 556, 1 ], 
  [ 406, 557, 1 ], [ 406, 561, 1 ], [ 406, 566, 1 ], [ 406, 567, 1 ], 
  [ 406, 571, 1 ], [ 407, 458, 1 ], [ 407, 459, 1 ], [ 407, 483, 1 ], 
  [ 407, 512, 1 ], [ 407, 522, 1 ], [ 407, 525, 1 ], [ 407, 526, 1 ], 
  [ 407, 528, 1 ], [ 407, 534, 1 ], [ 407, 546, 1 ], [ 407, 556, 1 ], 
  [ 407, 557, 1 ], [ 407, 560, 1 ], [ 407, 561, 1 ], [ 407, 562, 1 ], 
  [ 407, 565, 1 ], [ 407, 566, 1 ], [ 407, 567, 1 ], [ 407, 570, 1 ], 
  [ 407, 572, 1 ], [ 408, 575, 1 ], [ 408, 576, 1 ], [ 408, 577, 1 ], 
  [ 408, 578, 1 ], [ 409, 563, 1 ], [ 409, 568, 1 ], [ 409, 573, 1 ], 
  [ 409, 575, 1 ], [ 409, 576, 1 ], [ 409, 577, 1 ], [ 410, 483, 1 ], 
  [ 410, 488, 1 ], [ 410, 489, 1 ], [ 410, 496, 1 ], [ 410, 512, 1 ], 
  [ 410, 517, 1 ], [ 410, 518, 1 ], [ 410, 522, 1 ], [ 410, 526, 1 ], 
  [ 410, 534, 1 ], [ 410, 547, 1 ], [ 410, 552, 1 ], [ 410, 553, 1 ], 
  [ 410, 556, 1 ], [ 410, 557, 1 ], [ 410, 562, 1 ], [ 410, 565, 1 ], 
  [ 411, 458, 1 ], [ 411, 488, 1 ], [ 411, 489, 1 ], [ 411, 495, 1 ], 
  [ 411, 512, 1 ], [ 411, 517, 1 ], [ 411, 518, 1 ], [ 411, 535, 1 ], 
  [ 411, 552, 1 ], [ 411, 553, 1 ], [ 411, 556, 1 ], [ 411, 566, 1 ], 
  [ 412, 458, 1 ], [ 412, 483, 1 ], [ 412, 488, 1 ], [ 412, 489, 1 ], 
  [ 412, 493, 1 ], [ 412, 494, 1 ], [ 412, 512, 1 ], [ 412, 517, 1 ], 
  [ 412, 518, 1 ], [ 412, 522, 1 ], [ 412, 526, 1 ], [ 412, 536, 1 ], 
  [ 412, 547, 1 ], [ 412, 552, 1 ], [ 412, 553, 1 ], [ 412, 560, 1 ], 
  [ 412, 561, 1 ], [ 412, 562, 1 ], [ 412, 567, 1 ], [ 413, 497, 1 ], 
  [ 413, 533, 1 ], [ 413, 538, 1 ], [ 413, 539, 1 ], [ 413, 564, 1 ], 
  [ 413, 568, 1 ], [ 413, 575, 1 ], [ 413, 576, 1 ], [ 413, 577, 1 ], 
  [ 413, 578, 1 ], [ 413, 580, 1 ], [ 413, 581, 1 ], [ 414, 532, 1 ], 
  [ 414, 533, 1 ], [ 414, 538, 1 ], [ 414, 539, 1 ], [ 414, 563, 1 ], 
  [ 414, 564, 1 ], [ 414, 568, 1 ], [ 414, 574, 1 ], [ 414, 580, 1 ], 
  [ 414, 581, 1 ], [ 415, 533, 1 ], [ 415, 537, 1 ], [ 415, 538, 1 ], 
  [ 415, 539, 1 ], [ 415, 564, 1 ], [ 415, 568, 1 ], [ 415, 573, 1 ], 
  [ 415, 574, 1 ], [ 415, 575, 1 ], [ 415, 576, 1 ], [ 415, 580, 1 ], 
  [ 415, 581, 1 ], [ 416, 584, 1 ], [ 417, 586, 1 ], [ 418, 584, 1 ], 
  [ 419, 589, 1 ], [ 420, 585, 1 ], [ 420, 586, 1 ], [ 420, 588, 1 ], 
  [ 420, 589, 1 ], [ 421, 587, 1 ], [ 421, 590, 1 ], [ 421, 591, 1 ], 
  [ 422, 592, 1 ], [ 423, 589, 1 ], [ 423, 592, 1 ], [ 424, 595, 1 ], 
  [ 425, 587, 1 ], [ 425, 594, 1 ], [ 425, 595, 1 ], [ 426, 585, 1 ], 
  [ 426, 586, 1 ], [ 426, 589, 1 ], [ 427, 599, 1 ], [ 428, 587, 1 ], 
  [ 429, 587, 1 ], [ 429, 590, 1 ], [ 429, 593, 1 ], [ 429, 594, 1 ], 
  [ 429, 599, 1 ], [ 430, 600, 1 ], [ 430, 601, 1 ], [ 430, 602, 1 ], 
  [ 431, 596, 1 ], [ 431, 600, 1 ], [ 431, 601, 1 ], [ 433, 605, 1 ], 
  [ 434, 607, 1 ], [ 435, 609, 1 ], [ 436, 611, 1 ], [ 437, 589, 1 ], 
  [ 437, 605, 1 ], [ 437, 611, 1 ], [ 438, 614, 1 ], [ 439, 585, 1 ], 
  [ 439, 586, 1 ], [ 439, 588, 1 ], [ 439, 589, 1 ], [ 439, 607, 1 ], 
  [ 440, 617, 1 ], [ 441, 587, 1 ], [ 441, 606, 1 ], [ 441, 608, 1 ], 
  [ 441, 609, 1 ], [ 441, 612, 1 ], [ 441, 613, 1 ], [ 441, 614, 1 ], 
  [ 441, 616, 1 ], [ 441, 617, 1 ], [ 442, 610, 1 ], [ 442, 615, 1 ], 
  [ 442, 618, 1 ], [ 442, 619, 1 ], [ 443, 589, 1 ], [ 443, 605, 1 ], 
  [ 444, 621, 1 ], [ 446, 624, 1 ], [ 447, 626, 1 ], [ 448, 628, 1 ], 
  [ 449, 587, 1 ], [ 449, 594, 1 ], [ 449, 614, 1 ], [ 449, 617, 1 ], 
  [ 449, 621, 1 ], [ 449, 624, 1 ], [ 449, 628, 1 ], [ 450, 631, 1 ], 
  [ 451, 610, 1 ], [ 451, 623, 1 ], [ 451, 625, 1 ], [ 451, 626, 1 ], 
  [ 451, 630, 1 ], [ 451, 631, 1 ], [ 452, 590, 1 ], [ 452, 591, 1 ], 
  [ 452, 594, 1 ], [ 452, 595, 1 ], [ 452, 606, 1 ], [ 452, 608, 1 ], 
  [ 452, 617, 1 ], [ 452, 620, 1 ], [ 452, 621, 1 ], [ 452, 624, 1 ], 
  [ 452, 628, 1 ], [ 453, 587, 1 ], [ 453, 590, 1 ], [ 453, 591, 1 ], 
  [ 453, 595, 1 ], [ 453, 609, 1 ], [ 453, 612, 1 ], [ 453, 613, 1 ], 
  [ 454, 636, 1 ], [ 455, 597, 1 ], [ 455, 601, 1 ], [ 455, 602, 1 ], 
  [ 455, 615, 1 ], [ 455, 619, 1 ], [ 455, 623, 1 ], [ 455, 626, 1 ], 
  [ 455, 631, 1 ], [ 455, 634, 1 ], [ 455, 635, 1 ], [ 456, 597, 1 ], 
  [ 456, 601, 1 ], [ 456, 602, 1 ], [ 456, 610, 1 ], [ 456, 615, 1 ], 
  [ 456, 619, 1 ], [ 456, 626, 1 ], [ 456, 634, 1 ], [ 456, 635, 1 ], 
  [ 457, 596, 1 ], [ 457, 597, 1 ], [ 457, 600, 1 ], [ 457, 601, 1 ], 
  [ 457, 602, 1 ], [ 457, 610, 1 ], [ 457, 615, 1 ], [ 457, 618, 1 ], 
  [ 457, 622, 1 ], [ 457, 623, 1 ], [ 457, 625, 1 ], [ 457, 629, 1 ], 
  [ 457, 630, 1 ], [ 457, 631, 1 ], [ 457, 636, 1 ], [ 458, 637, 1 ], 
  [ 458, 638, 1 ], [ 458, 639, 1 ], [ 458, 640, 1 ], [ 459, 627, 1 ], 
  [ 459, 632, 1 ], [ 459, 637, 1 ], [ 459, 638, 1 ], [ 459, 639, 1 ], 
  [ 460, 642, 1 ], [ 461, 589, 1 ], [ 461, 604, 1 ], [ 461, 605, 1 ], 
  [ 461, 607, 1 ], [ 461, 642, 1 ], [ 462, 645, 1 ], [ 463, 585, 1 ], 
  [ 463, 586, 1 ], [ 463, 588, 1 ], [ 463, 589, 1 ], [ 464, 590, 1 ], 
  [ 464, 591, 1 ], [ 464, 595, 1 ], [ 464, 614, 1 ], [ 464, 621, 1 ], 
  [ 464, 624, 1 ], [ 464, 643, 1 ], [ 464, 645, 1 ], [ 464, 647, 1 ], 
  [ 465, 587, 1 ], [ 465, 590, 1 ], [ 465, 591, 1 ], [ 465, 595, 1 ], 
  [ 465, 606, 1 ], [ 465, 608, 1 ], [ 465, 609, 1 ], [ 465, 614, 1 ], 
  [ 465, 621, 1 ], [ 465, 624, 1 ], [ 465, 644, 1 ], [ 466, 610, 1 ], 
  [ 466, 646, 1 ], [ 466, 648, 1 ], [ 466, 649, 1 ], [ 468, 651, 1 ], 
  [ 469, 613, 1 ], [ 469, 614, 1 ], [ 469, 617, 1 ], [ 470, 590, 1 ], 
  [ 470, 591, 1 ], [ 470, 593, 1 ], [ 470, 594, 1 ], [ 470, 595, 1 ], 
  [ 470, 608, 1 ], [ 470, 613, 1 ], [ 470, 614, 1 ], [ 470, 616, 1 ], 
  [ 470, 617, 1 ], [ 470, 645, 1 ], [ 470, 651, 1 ], [ 471, 655, 1 ], 
  [ 472, 657, 1 ], [ 473, 590, 1 ], [ 473, 591, 1 ], [ 473, 593, 1 ], 
  [ 473, 594, 1 ], [ 473, 606, 1 ], [ 473, 612, 1 ], [ 473, 613, 1 ], 
  [ 473, 617, 1 ], [ 473, 621, 1 ], [ 473, 624, 1 ], [ 473, 643, 1 ], 
  [ 473, 645, 1 ], [ 473, 647, 1 ], [ 473, 657, 1 ], [ 474, 660, 1 ], 
  [ 475, 610, 1 ], [ 475, 653, 1 ], [ 475, 654, 1 ], [ 475, 655, 1 ], 
  [ 475, 659, 1 ], [ 475, 660, 1 ], [ 476, 590, 1 ], [ 476, 593, 1 ], 
  [ 476, 612, 1 ], [ 476, 616, 1 ], [ 476, 617, 1 ], [ 476, 624, 1 ], 
  [ 476, 628, 1 ], [ 476, 644, 1 ], [ 476, 650, 1 ], [ 476, 657, 1 ], 
  [ 477, 593, 1 ], [ 477, 594, 1 ], [ 477, 606, 1 ], [ 477, 612, 1 ], 
  [ 477, 613, 1 ], [ 477, 645, 1 ], [ 478, 664, 1 ], [ 479, 596, 1 ], 
  [ 479, 597, 1 ], [ 479, 615, 1 ], [ 479, 618, 1 ], [ 479, 623, 1 ], 
  [ 479, 630, 1 ], [ 479, 646, 1 ], [ 479, 648, 1 ], [ 479, 654, 1 ], 
  [ 479, 659, 1 ], [ 480, 591, 1 ], [ 480, 593, 1 ], [ 480, 594, 1 ], 
  [ 480, 595, 1 ], [ 480, 606, 1 ], [ 480, 608, 1 ], [ 480, 612, 1 ], 
  [ 480, 616, 1 ], [ 480, 617, 1 ], [ 480, 621, 1 ], [ 480, 651, 1 ], 
  [ 481, 668, 1 ], [ 482, 597, 1 ], [ 482, 618, 1 ], [ 482, 622, 1 ], 
  [ 482, 625, 1 ], [ 482, 648, 1 ], [ 482, 652, 1 ], [ 482, 654, 1 ], 
  [ 482, 663, 1 ], [ 482, 664, 1 ], [ 482, 667, 1 ], [ 482, 668, 1 ], 
  [ 483, 665, 1 ], [ 483, 666, 1 ], [ 483, 669, 1 ], [ 483, 670, 1 ], 
  [ 484, 587, 1 ], [ 484, 593, 1 ], [ 484, 595, 1 ], [ 484, 606, 1 ], 
  [ 484, 609, 1 ], [ 484, 616, 1 ], [ 484, 617, 1 ], [ 484, 621, 1 ], 
  [ 484, 624, 1 ], [ 484, 643, 1 ], [ 484, 645, 1 ], [ 484, 647, 1 ], 
  [ 485, 671, 1 ], [ 486, 596, 1 ], [ 486, 597, 1 ], [ 486, 610, 1 ], 
  [ 486, 615, 1 ], [ 486, 618, 1 ], [ 486, 623, 1 ], [ 486, 630, 1 ], 
  [ 486, 646, 1 ], [ 486, 648, 1 ], [ 486, 654, 1 ], [ 486, 659, 1 ], 
  [ 486, 668, 1 ], [ 487, 596, 1 ], [ 487, 610, 1 ], [ 487, 615, 1 ], 
  [ 487, 622, 1 ], [ 487, 623, 1 ], [ 487, 660, 1 ], [ 487, 671, 1 ], 
  [ 488, 675, 1 ], [ 489, 656, 1 ], [ 489, 665, 1 ], [ 489, 666, 1 ], 
  [ 489, 674, 1 ], [ 489, 675, 1 ], [ 490, 597, 1 ], [ 490, 602, 1 ], 
  [ 490, 610, 1 ], [ 490, 618, 1 ], [ 490, 623, 1 ], [ 490, 626, 1 ], 
  [ 490, 631, 1 ], [ 490, 646, 1 ], [ 490, 648, 1 ], [ 490, 654, 1 ], 
  [ 490, 655, 1 ], [ 490, 660, 1 ], [ 490, 667, 1 ], [ 490, 668, 1 ], 
  [ 490, 671, 1 ], [ 491, 601, 1 ], [ 491, 615, 1 ], [ 491, 618, 1 ], 
  [ 491, 619, 1 ], [ 491, 623, 1 ], [ 491, 625, 1 ], [ 491, 626, 1 ], 
  [ 491, 630, 1 ], [ 491, 631, 1 ], [ 491, 634, 1 ], [ 491, 635, 1 ], 
  [ 491, 646, 1 ], [ 491, 648, 1 ], [ 491, 653, 1 ], [ 491, 655, 1 ], 
  [ 491, 659, 1 ], [ 491, 667, 1 ], [ 491, 668, 1 ], [ 491, 671, 1 ], 
  [ 492, 596, 1 ], [ 492, 600, 1 ], [ 492, 601, 1 ], [ 492, 602, 1 ], 
  [ 492, 615, 1 ], [ 492, 619, 1 ], [ 492, 626, 1 ], [ 492, 646, 1 ], 
  [ 492, 649, 1 ], [ 492, 652, 1 ], [ 492, 653, 1 ], [ 492, 654, 1 ], 
  [ 492, 658, 1 ], [ 492, 659, 1 ], [ 492, 660, 1 ], [ 493, 627, 1 ], 
  [ 493, 637, 1 ], [ 493, 656, 1 ], [ 493, 665, 1 ], [ 493, 678, 1 ], 
  [ 493, 679, 1 ], [ 493, 680, 1 ], [ 494, 603, 1 ], [ 494, 638, 1 ], 
  [ 494, 640, 1 ], [ 494, 665, 1 ], [ 494, 669, 1 ], [ 494, 670, 1 ], 
  [ 494, 675, 1 ], [ 494, 678, 1 ], [ 494, 680, 1 ], [ 495, 627, 1 ], 
  [ 495, 656, 1 ], [ 495, 665, 1 ], [ 495, 666, 1 ], [ 496, 603, 1 ], 
  [ 496, 637, 1 ], [ 496, 638, 1 ], [ 496, 640, 1 ], [ 496, 665, 1 ], 
  [ 496, 666, 1 ], [ 496, 670, 1 ], [ 496, 673, 1 ], [ 496, 674, 1 ], 
  [ 496, 675, 1 ], [ 496, 678, 1 ], [ 496, 680, 1 ], [ 497, 641, 1 ], 
  [ 497, 676, 1 ], [ 497, 677, 1 ], [ 497, 681, 1 ], [ 497, 682, 1 ], 
  [ 497, 683, 1 ], [ 498, 589, 1 ], [ 498, 604, 1 ], [ 498, 605, 1 ], 
  [ 498, 607, 1 ], [ 499, 685, 1 ], [ 500, 590, 1 ], [ 500, 591, 1 ], 
  [ 500, 595, 1 ], [ 500, 606, 1 ], [ 500, 608, 1 ], [ 500, 609, 1 ], 
  [ 500, 614, 1 ], [ 500, 621, 1 ], [ 500, 624, 1 ], [ 500, 643, 1 ], 
  [ 500, 644, 1 ], [ 500, 647, 1 ], [ 501, 593, 1 ], [ 501, 594, 1 ], 
  [ 501, 606, 1 ], [ 501, 608, 1 ], [ 501, 609, 1 ], [ 501, 614, 1 ], 
  [ 501, 643, 1 ], [ 501, 644, 1 ], [ 501, 645, 1 ], [ 501, 685, 1 ], 
  [ 502, 622, 1 ], [ 502, 623, 1 ], [ 502, 625, 1 ], [ 502, 626, 1 ], 
  [ 502, 652, 1 ], [ 502, 653, 1 ], [ 502, 654, 1 ], [ 502, 655, 1 ], 
  [ 502, 686, 1 ], [ 502, 687, 1 ], [ 502, 688, 1 ], [ 503, 587, 1 ], 
  [ 503, 590, 1 ], [ 503, 598, 1 ], [ 503, 599, 1 ], [ 503, 612, 1 ], 
  [ 503, 616, 1 ], [ 503, 621, 1 ], [ 503, 628, 1 ], [ 503, 643, 1 ], 
  [ 503, 647, 1 ], [ 503, 650, 1 ], [ 503, 657, 1 ], [ 503, 685, 1 ], 
  [ 504, 596, 1 ], [ 504, 601, 1 ], [ 504, 602, 1 ], [ 504, 622, 1 ], 
  [ 504, 625, 1 ], [ 504, 626, 1 ], [ 504, 646, 1 ], [ 504, 649, 1 ], 
  [ 504, 652, 1 ], [ 504, 654, 1 ], [ 504, 655, 1 ], [ 504, 663, 1 ], 
  [ 504, 667, 1 ], [ 504, 668, 1 ], [ 504, 689, 1 ], [ 505, 596, 1 ], 
  [ 505, 597, 1 ], [ 505, 600, 1 ], [ 505, 615, 1 ], [ 505, 618, 1 ], 
  [ 505, 623, 1 ], [ 505, 630, 1 ], [ 505, 646, 1 ], [ 505, 649, 1 ], 
  [ 505, 654, 1 ], [ 505, 659, 1 ], [ 505, 668, 1 ], [ 505, 688, 1 ], 
  [ 506, 587, 1 ], [ 506, 591, 1 ], [ 506, 594, 1 ], [ 506, 595, 1 ], 
  [ 506, 598, 1 ], [ 506, 599, 1 ], [ 506, 606, 1 ], [ 506, 608, 1 ], 
  [ 506, 612, 1 ], [ 506, 620, 1 ], [ 506, 621, 1 ], [ 506, 624, 1 ], 
  [ 506, 628, 1 ], [ 506, 650, 1 ], [ 506, 651, 1 ], [ 507, 590, 1 ], 
  [ 507, 591, 1 ], [ 507, 595, 1 ], [ 507, 606, 1 ], [ 507, 608, 1 ], 
  [ 507, 612, 1 ], [ 507, 614, 1 ], [ 507, 616, 1 ], [ 507, 617, 1 ], 
  [ 508, 693, 1 ], [ 509, 600, 1 ], [ 509, 601, 1 ], [ 509, 602, 1 ], 
  [ 509, 610, 1 ], [ 509, 619, 1 ], [ 509, 623, 1 ], [ 509, 626, 1 ], 
  [ 509, 630, 1 ], [ 509, 631, 1 ], [ 509, 648, 1 ], [ 509, 649, 1 ], 
  [ 509, 655, 1 ], [ 509, 660, 1 ], [ 509, 663, 1 ], [ 509, 667, 1 ], 
  [ 509, 686, 1 ], [ 509, 687, 1 ], [ 509, 688, 1 ], [ 509, 689, 1 ], 
  [ 510, 601, 1 ], [ 510, 602, 1 ], [ 510, 610, 1 ], [ 510, 618, 1 ], 
  [ 510, 626, 1 ], [ 510, 630, 1 ], [ 510, 648, 1 ], [ 510, 649, 1 ], 
  [ 510, 659, 1 ], [ 510, 660, 1 ], [ 510, 663, 1 ], [ 510, 667, 1 ], 
  [ 510, 686, 1 ], [ 510, 687, 1 ], [ 510, 688, 1 ], [ 510, 689, 1 ], 
  [ 511, 597, 1 ], [ 511, 601, 1 ], [ 511, 602, 1 ], [ 511, 615, 1 ], 
  [ 511, 619, 1 ], [ 511, 629, 1 ], [ 511, 630, 1 ], [ 511, 631, 1 ], 
--> --------------------

--> maximum size reached

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