[2,0][3/2,0][1,0]   1
[1,?]   2 [2,0][1,1][1,0]   3 [2,0][1/2,1][1,1]   4
[1,?]*   5 (0,0,[])   6 [1,?]   7 [2,0][1,0]*   8 [2,0](-2,1,[2,1])   9 [1,?]   18 [1,2][1,0][2,0]   19 [1,?][1,?]*   20
[1,?]*   10 [1,?]   13 (0,0,[])   14 [1,?]   11 [1,2][1,0][2,0]   12 [1,?]   24 [1,2][1,0][2,0]   25 [1,2][1,0][2,0]   26 [1,?][1,?]*   27 (0,0,[])   28 [1,1][3,1][1,0]   47 [1,?][1,?]   48 [1,2][1,0](-1,1,[1])   49 [1,1][1,0]*   102
(0,0,[])   15 [1,?][1,?]*   16 (0,0,[])   17 [1,?][1,?]   29 [1,1][3,1][1,0]   30 [1,2][1,0](-1,1,[1])   31 [1,?]   38 [1,?]   39 (0,0,[])   40 [1,?][1,?]   41 [1,1][3,1][1,0]   42 [1,2][1,0](-1,1,[1])   43 [1,1][3,1][1,0]   44 [1,?][1,?]   45 [1,2][1,0](-1,1,[1])   46 [1,1][1,0]*   32 [1,?]*   61 [1,1][2,1][1,0]   62 [1,1][1,2][1,0]   63 [1,?][1,?]*   97 (0,0,[])   98 [1,1][1,2][1,1]   99 [1,?][1,?]   100 [1,?]   101 [1,?]*   103 (0,0,[])   104
[1,1][1,0]*   21 [1,?]*   35 [1,?][1,?]*   36 (0,0,[])   37 [1,?]*   64 [1,1][2,1][1,0]   65 [1,1][1,2][1,0]   66 [1,?][1,?]   67 [1,1][1,2][1,1]   68 [1,?]   69 [1,?][1,?]*   52 (0,0,[])   53 (0,0,[])   54 [1,?]*   55 [1,?][1,?]*   56 (0,0,[])   57 [1,?]*   81 [1,1][2,1][1,0]   82 [1,1][1,2][1,0]   83 [1,?][1,?]   84 [1,1][1,2][1,1]   85 [1,?]   86 [1,?]*   58 [1,1][2,1][1,0]   59 [1,1][1,2][1,0]   60 (0,0,[])   90 [1,1][1,2][1,1]   91 [1,?][1,?]   92 [1,?]   93 [1,?]*   33 (0,0,[])   34 (0,0,[])   76 [1,?]*   94 [1,1][2,0]*   95 [1,1](-1,3,[2])   96 [1,?]*   182 [1,1](-1,2,[2])   183 [1,1][1,1]*   184 [1,?][1,?]*   125 [1,?]*   127 [1,1][1,1]*   128 [1,?]   129 [1,?][1,?][1,?]   185 (0,0,[])   186 (0,0,[])   190
[1,?]*   22 (0,0,[])   23 (0,0,[])   77 [1,?][1,?]*   50 (0,0,[])   78 [1,?]*   105 [1,1][2,0]*   106 [1,1](-1,3,[2])   107 [1,?]*   191 [1,1](-1,2,[2])   192 [1,1][1,1]*   193 [1,?][1,?][1,?]   79 (0,0,[])   80 [1,?]*   133 [1,1][1,1]*   134 [1,?]   135 (0,0,[])   138 [1,1][1,0]*   70 (0,0,[])   112 [1,?][1,?]*   73 (0,0,[])   113 [1,?]*   139 [1,1][2,0]*   140 [1,1](-1,3,[2])   141 [1,?]*   238 [1,1](-1,2,[2])   239 [1,1][1,1]*   240 [1,?][1,?][1,?]   114 (0,0,[])   115 [1,?]*   167 [1,1][1,1]*   168 [1,?]   169 (0,0,[])   172 (0,0,[])   75 [1,?]*   87 [1,1][2,0]*   88 [1,1](-1,3,[2])   89 [1,?]*   173 [1,1](-1,2,[2])   174 [1,1][1,1]*   175 [1,?]*   119 [1,1][1,1]*   120 [1,?]   121 [1,?][1,?][1,?]   176 (0,0,[])   177 (0,0,[])   181 (0,0,[])   122 [1,?]*   123 [1,1](-1,3,[1])   124 [1,?]*   282 [1,1](-1,2,[2])   283 (0,0,[])   224 [1,?]*   292 [1,1](-1,2,[1])   293 [1,?]*   422 [1,1](-1,2,[1])   423 (0,0,[])   126 [1,?]*   153 (0,0,[])   154 [1,?]*   156 [1,?]   157 (0,0,[])   424 [1,1][1,1][1,0]   225
(0,0,[])   51 (0,0,[])   130 [1,?]*   131 [1,1](-1,3,[1])   132 [1,?]*   311 [1,1](-1,2,[2])   312 (0,0,[])   237 [1,?]*   321 [1,1](-1,2,[1])   322 [1,?]*   425 [1,1](-1,2,[1])   426 [1,1][1,1][1,0]   108 [1,?]*   159 (0,0,[])   160 [1,?]*   162 [1,?]   163 (0,0,[])   427 [1,?]*   71 (0,0,[])   72 (0,0,[])   74 (0,0,[])   164 [1,?]*   165 [1,1](-1,3,[1])   166 [1,?]*   401 [1,1](-1,2,[2])   402 (0,0,[])   337 [1,?]*   411 [1,1](-1,2,[1])   412 [1,?]*   455 [1,1](-1,2,[1])   456 [1,1][1,1][1,0]   142 [1,?]*   198 (0,0,[])   199 [1,?]*   201 [1,?]   202 (0,0,[])   457 (0,0,[])   116 [1,?]*   117 [1,1](-1,3,[1])   118 [1,?]*   253 [1,1](-1,2,[2])   254 (0,0,[])   211 [1,?]*   263 [1,1](-1,2,[1])   264 [1,?]*   419 [1,1](-1,2,[1])   420 [1,?]*   147 (0,0,[])   148 [1,?]*   150 [1,?]   151 (0,0,[])   421 [1,1][1,1][1,0]   212 (0,0,[])   152 [1,?]*   216 [1,1](-1,2,[2])   217 (0,0,[])   356 [1,?]*   284 [1,1](-1,2,[1])   285 (0,0,[])   366 [1,?]*   294 [1,1](-1,1,[2])   295 [1,?]*   449 (0,0,[])   450 [1,?]*   465 [1,1](-1,1,[2])   466 [1,?]*   155 [1,?]*   187 (0,0,[])   188 (0,0,[])   373 [1,?]*   226 [1,1][1,0]*   227 (0,0,[])   228
(0,0,[])   158 [1,?]*   229 [1,1](-1,2,[2])   230 (0,0,[])   374 [1,?]*   313 [1,1](-1,2,[1])   314 (0,0,[])   384 [1,?]*   323 [1,1](-1,1,[2])   324 [1,?]*   452 (0,0,[])   453 [1,?]*   469 [1,1](-1,1,[2])   470 [1,?]*   109 [1,1][1,0]*   110 (0,0,[])   111 [1,?]*   161 [1,?]*   194 (0,0,[])   195 (0,0,[])   391 (0,0,[])   197 [1,?]*   329 [1,1](-1,2,[2])   330 (0,0,[])   428 [1,?]*   403 [1,1](-1,2,[1])   404 (0,0,[])   438 [1,?]*   413 [1,1](-1,1,[2])   414 [1,?]*   458 (0,0,[])   459 [1,?]*   488 [1,1](-1,1,[2])   489 [1,?]*   143 [1,1][1,0]*   144 (0,0,[])   145 [1,?]*   200 [1,?]*   241 (0,0,[])   242 (0,0,[])   445 (0,0,[])   146 [1,?]*   203 [1,1](-1,2,[2])   204 (0,0,[])   338 [1,?]*   255 [1,1](-1,2,[1])   256 (0,0,[])   348 [1,?]*   265 [1,1](-1,1,[2])   266 [1,?]*   446 (0,0,[])   447 [1,?]*   461 [1,1](-1,1,[2])   462 [1,?]*   149 [1,?]*   178 (0,0,[])   179 (0,0,[])   355 [1,?]*   213 [1,1][1,0]*   214 (0,0,[])   215 (0,0,[])   273 [1,?]*   218 [1,1](-1,1,[2])   219 (0,0,[])   357 [1,?]*   286 [1,1](-1,1,[2])   287 (0,0,[])   367 [1,?]*   296 [1,1](-1,1,[1])   297 [1,?]*   451 (0,0,[])   478 [1,?]*   467 [1,?]   468 [1,?]*   189 [1,?]*   300 (0,0,[])   301
(0,0,[])   302 [1,?]*   231 [1,1](-1,1,[2])   232 (0,0,[])   375 [1,?]*   315 [1,1](-1,1,[2])   316 (0,0,[])   385 [1,?]*   325 [1,1](-1,1,[1])   326 [1,?]*   454 (0,0,[])   483 [1,?]*   471 [1,?]   472 [1,?]*   136 (0,0,[])   137 [1,?]*   196 (0,0,[])   392 [1,?]*   331 [1,1](-1,1,[2])   332 (0,0,[])   429 [1,?]*   405 [1,1](-1,1,[2])   406 (0,0,[])   439 [1,?]*   415 [1,1](-1,1,[1])   416 [1,?]*   460 (0,0,[])   492 [1,?]*   490 [1,?]   491 [1,?]*   170 (0,0,[])   171 [1,?]*   243 (0,0,[])   244 [1,?]*   205 [1,1](-1,1,[2])   206 (0,0,[])   339 [1,?]*   257 [1,1](-1,1,[2])   258 (0,0,[])   349 [1,?]*   267 [1,1](-1,1,[1])   268 [1,?]*   448 (0,0,[])   473 [1,?]*   463 [1,?]   464 [1,?]*   180 [1,?]*   271 (0,0,[])   272 (0,0,[])   274 [1,?]*   220 [1,1](-1,1,[1])   221 (0,0,[])   358 [1,?]*   288 [1,1](-1,1,[1])   289 (0,0,[])   368 [1,?]*   298 [1,?]   299 [1,?]*   479 (0,0,[])   480 (0,0,[])   482
(0,0,[])   303 [1,?]*   233 [1,1](-1,1,[1])   234 (0,0,[])   376 [1,?]*   317 [1,1](-1,1,[1])   318 (0,0,[])   386 [1,?]*   327 [1,?]   328 [1,?]*   484 (0,0,[])   485 (0,0,[])   487 (0,0,[])   393 [1,?]*   333 [1,1](-1,1,[1])   334 (0,0,[])   430 [1,?]*   407 [1,1](-1,1,[1])   408 (0,0,[])   440 [1,?]*   417 [1,?]   418 [1,?]*   493 (0,0,[])   494 (0,0,[])   496 (0,0,[])   245 [1,?]*   207 [1,1](-1,1,[1])   208 (0,0,[])   340 [1,?]*   259 [1,1](-1,1,[1])   260 (0,0,[])   350 [1,?]*   269 [1,?]   270 [1,?]*   474 (0,0,[])   475 (0,0,[])   477 [1,?]*   275 (0,0,[])   276 [1,?]*   222 [1,?]   223 [1,?]*   359 (0,0,[])   360 [1,?]*   290 [1,?]   291 [1,?]*   369 (0,0,[])   370 (0,0,[])   372 [1,?]*   481
[1,?]*   304 (0,0,[])   305 [1,?]*   235 [1,?]   236 [1,?]*   377 (0,0,[])   378 [1,?]*   319 [1,?]   320 [1,?]*   387 (0,0,[])   388 (0,0,[])   390 [1,?]*   486 [1,?]*   394 (0,0,[])   395 [1,?]*   335 [1,?]   336 [1,?]*   431 (0,0,[])   432 [1,?]*   409 [1,?]   410 [1,?]*   441 (0,0,[])   442 (0,0,[])   444 [1,?]*   495 [1,?]*   246 (0,0,[])   247 [1,?]*   209 [1,?]   210 [1,?]*   341 (0,0,[])   342 [1,?]*   261 [1,?]   262 [1,?]*   351 (0,0,[])   352 (0,0,[])   354 [1,?]*   476 [1,?]*   277 [1,?]*   278 (0,0,[])   279 (0,0,[])   281 [1,?]*   361 [1,?]*   362 (0,0,[])   363 (0,0,[])   365 [1,?]*   371
[1,?]*   306 [1,?]*   307 (0,0,[])   308 (0,0,[])   310 [1,?]*   379 [1,?]*   380 (0,0,[])   381 (0,0,[])   383 [1,?]*   389 [1,?]*   396 [1,?]*   397 (0,0,[])   398 (0,0,[])   400 [1,?]*   433 [1,?]*   434 (0,0,[])   435 (0,0,[])   437 [1,?]*   443 [1,?]*   248 [1,?]*   249 (0,0,[])   250 (0,0,[])   252 [1,?]*   343 [1,?]*   344 (0,0,[])   345 (0,0,[])   347 [1,?]*   353 [1,?]*   280 [1,?]*   364
[1,?]*   309 [1,?]*   382 [1,?]*   399 [1,?]*   436 [1,?]*   251 [1,?]*   346