00001
00010
00011
00012
00013
00014 #pragma once
00015
00016
00017
00039
00040 static const char cases[256][2] = {
00041 { 0, -1 },
00042 { 1, 0 },
00043 { 1, 1 },
00044 { 2, 0 },
00045 { 1, 2 },
00046 { 3, 0 },
00047 { 2, 3 },
00048 { 5, 0 },
00049 { 1, 3 },
00050 { 2, 1 },
00051 { 3, 3 },
00052 { 5, 1 },
00053 { 2, 5 },
00054 { 5, 4 },
00055 { 5, 9 },
00056 { 8, 0 },
00057 { 1, 4 },
00058 { 2, 2 },
00059 { 3, 4 },
00060 { 5, 2 },
00061 { 4, 2 },
00062 { 6, 2 },
00063 { 6, 9 },
00064 { 11, 0 },
00065 { 3, 8 },
00066 { 5, 5 },
00067 { 7, 3 },
00068 { 9, 1 },
00069 { 6, 16 },
00070 { 14, 3 },
00071 { 12, 12 },
00072 { 5, 24 },
00073 { 1, 5 },
00074 { 3, 1 },
00075 { 2, 4 },
00076 { 5, 3 },
00077 { 3, 6 },
00078 { 7, 0 },
00079 { 5, 10 },
00080 { 9, 0 },
00081 { 4, 3 },
00082 { 6, 4 },
00083 { 6, 11 },
00084 { 14, 1 },
00085 { 6, 17 },
00086 { 12, 4 },
00087 { 11, 6 },
00088 { 5, 25 },
00089 { 2, 8 },
00090 { 5, 7 },
00091 { 5, 12 },
00092 { 8, 1 },
00093 { 6, 18 },
00094 { 12, 5 },
00095 { 14, 7 },
00096 { 5, 28 },
00097 { 6, 21 },
00098 { 11, 4 },
00099 { 12, 15 },
00100 { 5, 30 },
00101 { 10, 5 },
00102 { 6, 32 },
00103 { 6, 39 },
00104 { 2, 12 },
00105 { 1, 6 },
00106 { 4, 0 },
00107 { 3, 5 },
00108 { 6, 0 },
00109 { 2, 6 },
00110 { 6, 3 },
00111 { 5, 11 },
00112 { 14, 0 },
00113 { 3, 9 },
00114 { 6, 5 },
00115 { 7, 4 },
00116 { 12, 1 },
00117 { 5, 14 },
00118 { 11, 3 },
00119 { 9, 4 },
00120 { 5, 26 },
00121 { 3, 10 },
00122 { 6, 6 },
00123 { 7, 5 },
00124 { 12, 2 },
00125 { 6, 19 },
00126 { 10, 1 },
00127 { 12, 13 },
00128 { 6, 24 },
00129 { 7, 7 },
00130 { 12, 9 },
00131 { 13, 1 },
00132 { 7, 9 },
00133 { 12, 20 },
00134 { 6, 33 },
00135 { 7, 13 },
00136 { 3, 12 },
00137 { 2, 10 },
00138 { 6, 7 },
00139 { 5, 13 },
00140 { 11, 2 },
00141 { 5, 16 },
00142 { 12, 7 },
00143 { 8, 3 },
00144 { 5, 29 },
00145 { 6, 22 },
00146 { 10, 2 },
00147 { 12, 17 },
00148 { 6, 27 },
00149 { 14, 9 },
00150 { 6, 34 },
00151 { 5, 39 },
00152 { 2, 14 },
00153 { 5, 20 },
00154 { 14, 5 },
00155 { 9, 5 },
00156 { 5, 32 },
00157 { 11, 10 },
00158 { 6, 35 },
00159 { 5, 41 },
00160 { 2, 16 },
00161 { 12, 23 },
00162 { 6, 37 },
00163 { 7, 14 },
00164 { 3, 16 },
00165 { 6, 46 },
00166 { 4, 6 },
00167 { 3, 21 },
00168 { 1, 8 },
00169 { 1, 7 },
00170 { 3, 2 },
00171 { 4, 1 },
00172 { 6, 1 },
00173 { 3, 7 },
00174 { 7, 1 },
00175 { 6, 10 },
00176 { 12, 0 },
00177 { 2, 7 },
00178 { 5, 6 },
00179 { 6, 12 },
00180 { 11, 1 },
00181 { 5, 15 },
00182 { 9, 2 },
00183 { 14, 6 },
00184 { 5, 27 },
00185 { 2, 9 },
00186 { 5, 8 },
00187 { 6, 13 },
00188 { 14, 2 },
00189 { 6, 20 },
00190 { 12, 6 },
00191 { 10, 3 },
00192 { 6, 25 },
00193 { 5, 18 },
00194 { 8, 2 },
00195 { 12, 16 },
00196 { 5, 31 },
00197 { 11, 9 },
00198 { 5, 34 },
00199 { 6, 40 },
00200 { 2, 13 },
00201 { 3, 11 },
00202 { 7, 2 },
00203 { 6, 14 },
00204 { 12, 3 },
00205 { 7, 6 },
00206 { 13, 0 },
00207 { 12, 14 },
00208 { 7, 8 },
00209 { 6, 23 },
00210 { 12, 10 },
00211 { 10, 4 },
00212 { 6, 28 },
00213 { 12, 21 },
00214 { 7, 10 },
00215 { 6, 41 },
00216 { 3, 13 },
00217 { 5, 21 },
00218 { 9, 3 },
00219 { 11, 8 },
00220 { 5, 33 },
00221 { 12, 22 },
00222 { 7, 11 },
00223 { 6, 42 },
00224 { 3, 14 },
00225 { 14, 11 },
00226 { 5, 36 },
00227 { 6, 44 },
00228 { 2, 17 },
00229 { 6, 47 },
00230 { 3, 18 },
00231 { 4, 7 },
00232 { 1, 9 },
00233 { 2, 11 },
00234 { 6, 8 },
00235 { 6, 15 },
00236 { 10, 0 },
00237 { 5, 17 },
00238 { 12, 8 },
00239 { 11, 7 },
00240 { 6, 26 },
00241 { 5, 19 },
00242 { 14, 4 },
00243 { 12, 18 },
00244 { 6, 29 },
00245 { 8, 4 },
00246 { 5, 35 },
00247 { 5, 40 },
00248 { 2, 15 },
00249 { 5, 22 },
00250 { 11, 5 },
00251 { 12, 19 },
00252 { 6, 30 },
00253 { 14, 10 },
00254 { 6, 36 },
00255 { 6, 43 },
00256 { 4, 4 },
00257 { 9, 7 },
00258 { 5, 37 },
00259 { 7, 15 },
00260 { 3, 17 },
00261 { 5, 44 },
00262 { 2, 19 },
00263 { 3, 22 },
00264 { 1, 10 },
00265 { 5, 23 },
00266 { 12, 11 },
00267 { 14, 8 },
00268 { 6, 31 },
00269 { 9, 6 },
00270 { 7, 12 },
00271 { 5, 42 },
00272 { 3, 15 },
00273 { 11, 11 },
00274 { 6, 38 },
00275 { 6, 45 },
00276 { 4, 5 },
00277 { 5, 45 },
00278 { 3, 19 },
00279 { 2, 21 },
00280 { 1, 11 },
00281 { 8, 5 },
00282 { 5, 38 },
00283 { 5, 43 },
00284 { 2, 18 },
00285 { 5, 46 },
00286 { 3, 20 },
00287 { 2, 22 },
00288 { 1, 12 },
00289 { 5, 47 },
00290 { 2, 20 },
00291 { 3, 23 },
00292 { 1, 13 },
00293 { 2, 23 },
00294 { 1, 14 },
00295 { 1, 15 },
00296 { 0, -1 }
00297 };
00298
00299
00300
00301
00311
00312 static const char tiling1[16][3] = {
00313 { 0, 8, 3 },
00314 { 0, 1, 9 },
00315 { 1, 2, 10 },
00316 { 3, 11, 2 },
00317 { 4, 7, 8 },
00318 { 9, 5, 4 },
00319 { 10, 6, 5 },
00320 { 7, 6, 11 },
00321 { 7, 11, 6 },
00322 { 10, 5, 6 },
00323 { 9, 4, 5 },
00324 { 4, 8, 7 },
00325 { 3, 2, 11 },
00326 { 1, 10, 2 },
00327 { 0, 9, 1 },
00328 { 0, 3, 8 }
00329 };
00330
00331
00332
00333
00343
00344 static const char tiling2[24][6] = {
00345 { 1, 8, 3, 9, 8, 1 },
00346 { 0, 11, 2, 8, 11, 0 },
00347 { 4, 3, 0, 7, 3, 4 },
00348 { 9, 2, 10, 0, 2, 9 },
00349 { 0, 5, 4, 1, 5, 0 },
00350 { 3, 10, 1, 11, 10, 3 },
00351 { 1, 6, 5, 2, 6, 1 },
00352 { 7, 2, 3, 6, 2, 7 },
00353 { 9, 7, 8, 5, 7, 9 },
00354 { 6, 8, 4, 11, 8, 6 },
00355 { 10, 4, 9, 6, 4, 10 },
00356 { 11, 5, 10, 7, 5, 11 },
00357 { 11, 10, 5, 7, 11, 5 },
00358 { 10, 9, 4, 6, 10, 4 },
00359 { 6, 4, 8, 11, 6, 8 },
00360 { 9, 8, 7, 5, 9, 7 },
00361 { 7, 3, 2, 6, 7, 2 },
00362 { 1, 5, 6, 2, 1, 6 },
00363 { 3, 1, 10, 11, 3, 10 },
00364 { 0, 4, 5, 1, 0, 5 },
00365 { 9, 10, 2, 0, 9, 2 },
00366 { 4, 0, 3, 7, 4, 3 },
00367 { 0, 2, 11, 8, 0, 11 },
00368 { 1, 3, 8, 9, 1, 8 }
00369 };
00370
00371
00372
00386
00387 static const char test3[24] = {
00388 5,
00389 1,
00390 4,
00391 5,
00392 1,
00393 2,
00394 2,
00395 3,
00396 4,
00397 3,
00398 6,
00399 6,
00400 -6,
00401 -6,
00402 -3,
00403 -4,
00404 -3,
00405 -2,
00406 -2,
00407 -1,
00408 -5,
00409 -4,
00410 -1,
00411 -5
00412 };
00413
00414
00424
00425 static const char tiling3_1[24][6] = {
00426 { 0, 8, 3, 1, 2, 10 },
00427 { 9, 5, 4, 0, 8, 3 },
00428 { 3, 0, 8, 11, 7, 6 },
00429 { 1, 9, 0, 2, 3, 11 },
00430 { 0, 1, 9, 8, 4, 7 },
00431 { 9, 0, 1, 5, 10, 6 },
00432 { 1, 2, 10, 9, 5, 4 },
00433 { 10, 1, 2, 6, 11, 7 },
00434 { 8, 4, 7, 3, 11, 2 },
00435 { 2, 3, 11, 10, 6, 5 },
00436 { 5, 10, 6, 4, 7, 8 },
00437 { 4, 9, 5, 7, 6, 11 },
00438 { 5, 9, 4, 11, 6, 7 },
00439 { 6, 10, 5, 8, 7, 4 },
00440 { 11, 3, 2, 5, 6, 10 },
00441 { 7, 4, 8, 2, 11, 3 },
00442 { 2, 1, 10, 7, 11, 6 },
00443 { 10, 2, 1, 4, 5, 9 },
00444 { 1, 0, 9, 6, 10, 5 },
00445 { 9, 1, 0, 7, 4, 8 },
00446 { 0, 9, 1, 11, 3, 2 },
00447 { 8, 0, 3, 6, 7, 11 },
00448 { 4, 5, 9, 3, 8, 0 },
00449 { 3, 8, 0, 10, 2, 1 }
00450 };
00451
00452
00462
00463 static const char tiling3_2[24][12] = {
00464 { 10, 3, 2, 10, 8, 3, 10, 1, 0, 8, 10, 0 },
00465 { 3, 4, 8, 3, 5, 4, 3, 0, 9, 5, 3, 9 },
00466 { 6, 8, 7, 6, 0, 8, 6, 11, 3, 0, 6, 3 },
00467 { 11, 0, 3, 11, 9, 0, 11, 2, 1, 9, 11, 1 },
00468 { 7, 9, 4, 7, 1, 9, 7, 8, 0, 1, 7, 0 },
00469 { 6, 1, 10, 6, 0, 1, 9, 0, 6, 9, 6, 5 },
00470 { 4, 10, 5, 4, 2, 10, 4, 9, 1, 2, 4, 1 },
00471 { 7, 2, 11, 7, 1, 2, 7, 6, 10, 1, 7, 10 },
00472 { 2, 7, 11, 2, 4, 7, 2, 3, 8, 4, 2, 8 },
00473 { 5, 11, 6, 5, 3, 11, 5, 10, 2, 3, 5, 2 },
00474 { 8, 6, 7, 8, 10, 6, 8, 4, 5, 10, 8, 5 },
00475 { 11, 5, 6, 11, 9, 5, 11, 7, 4, 9, 11, 4 },
00476 { 6, 5, 11, 5, 9, 11, 4, 7, 11, 4, 11, 9 },
00477 { 7, 6, 8, 6, 10, 8, 5, 4, 8, 5, 8, 10 },
00478 { 6, 11, 5, 11, 3, 5, 2, 10, 5, 2, 5, 3 },
00479 { 11, 7, 2, 7, 4, 2, 8, 3, 2, 8, 2, 4 },
00480 { 11, 2, 7, 2, 1, 7, 10, 6, 7, 10, 7, 1 },
00481 { 5, 10, 4, 10, 2, 4, 1, 9, 4, 1, 4, 2 },
00482 { 10, 1, 6, 1, 0, 6, 6, 0, 9, 5, 6, 9 },
00483 { 4, 9, 7, 9, 1, 7, 0, 8, 7, 0, 7, 1 },
00484 { 3, 0, 11, 0, 9, 11, 1, 2, 11, 1, 11, 9 },
00485 { 7, 8, 6, 8, 0, 6, 3, 11, 6, 3, 6, 0 },
00486 { 8, 4, 3, 4, 5, 3, 9, 0, 3, 9, 3, 5 },
00487 { 2, 3, 10, 3, 8, 10, 0, 1, 10, 0, 10, 8 }
00488 };
00489
00490
00491
00492
00493
00507
00508 static const char test4[8] = {
00509 7,
00510 7,
00511 7,
00512 7,
00513 -7,
00514 -7,
00515 -7,
00516 -7
00517 };
00518
00519
00529
00530 static const char tiling4_1[8][6] = {
00531 { 0, 8, 3, 5, 10, 6 },
00532 { 0, 1, 9, 11, 7, 6 },
00533 { 1, 2, 10, 8, 4, 7 },
00534 { 9, 5, 4, 2, 3, 11 },
00535 { 4, 5, 9, 11, 3, 2 },
00536 { 10, 2, 1, 7, 4, 8 },
00537 { 9, 1, 0, 6, 7, 11 },
00538 { 3, 8, 0, 6, 10, 5 }
00539 };
00540
00541
00551
00552 static const char tiling4_2[8][18] = {
00553 { 8, 5, 0, 5, 8, 6, 3, 6, 8, 6, 3, 10, 0, 10, 3, 10, 0, 5 },
00554 { 9, 6, 1, 6, 9, 7, 0, 7, 9, 7, 0, 11, 1, 11, 0, 11, 1, 6 },
00555 { 10, 7, 2, 7, 10, 4, 1, 4, 10, 4, 1, 8, 2, 8, 1, 8, 2, 7 },
00556 { 11, 4, 3, 4, 11, 5, 2, 5, 11, 5, 2, 9, 3, 9, 2, 9, 3, 4 },
00557 { 3, 4, 11, 5, 11, 4, 11, 5, 2, 9, 2, 5, 2, 9, 3, 4, 3, 9 },
00558 { 2, 7, 10, 4, 10, 7, 10, 4, 1, 8, 1, 4, 1, 8, 2, 7, 2, 8 },
00559 { 1, 6, 9, 7, 9, 6, 9, 7, 0, 11, 0, 7, 0, 11, 1, 6, 1, 11 },
00560 { 0, 5, 8, 6, 8, 5, 8, 6, 3, 10, 3, 6, 3, 10, 0, 5, 0, 10 }
00561 };
00562
00563
00564
00565
00575
00576 static const char tiling5[48][9] = {
00577 { 2, 8, 3, 2, 10, 8, 10, 9, 8 },
00578 { 1, 11, 2, 1, 9, 11, 9, 8, 11 },
00579 { 4, 1, 9, 4, 7, 1, 7, 3, 1 },
00580 { 8, 5, 4, 8, 3, 5, 3, 1, 5 },
00581 { 0, 10, 1, 0, 8, 10, 8, 11, 10 },
00582 { 11, 4, 7, 11, 2, 4, 2, 0, 4 },
00583 { 7, 0, 8, 7, 6, 0, 6, 2, 0 },
00584 { 9, 3, 0, 9, 5, 3, 5, 7, 3 },
00585 { 3, 6, 11, 3, 0, 6, 0, 4, 6 },
00586 { 3, 9, 0, 3, 11, 9, 11, 10, 9 },
00587 { 5, 2, 10, 5, 4, 2, 4, 0, 2 },
00588 { 9, 6, 5, 9, 0, 6, 0, 2, 6 },
00589 { 0, 7, 8, 0, 1, 7, 1, 5, 7 },
00590 { 10, 0, 1, 10, 6, 0, 6, 4, 0 },
00591 { 6, 3, 11, 6, 5, 3, 5, 1, 3 },
00592 { 10, 7, 6, 10, 1, 7, 1, 3, 7 },
00593 { 1, 4, 9, 1, 2, 4, 2, 6, 4 },
00594 { 11, 1, 2, 11, 7, 1, 7, 5, 1 },
00595 { 8, 2, 3, 8, 4, 2, 4, 6, 2 },
00596 { 2, 5, 10, 2, 3, 5, 3, 7, 5 },
00597 { 7, 10, 6, 7, 8, 10, 8, 9, 10 },
00598 { 6, 9, 5, 6, 11, 9, 11, 8, 9 },
00599 { 5, 8, 4, 5, 10, 8, 10, 11, 8 },
00600 { 4, 11, 7, 4, 9, 11, 9, 10, 11 },
00601 { 4, 7, 11, 4, 11, 9, 9, 11, 10 },
00602 { 5, 4, 8, 5, 8, 10, 10, 8, 11 },
00603 { 6, 5, 9, 6, 9, 11, 11, 9, 8 },
00604 { 7, 6, 10, 7, 10, 8, 8, 10, 9 },
00605 { 2, 10, 5, 2, 5, 3, 3, 5, 7 },
00606 { 8, 3, 2, 8, 2, 4, 4, 2, 6 },
00607 { 11, 2, 1, 11, 1, 7, 7, 1, 5 },
00608 { 1, 9, 4, 1, 4, 2, 2, 4, 6 },
00609 { 10, 6, 7, 10, 7, 1, 1, 7, 3 },
00610 { 6, 11, 3, 6, 3, 5, 5, 3, 1 },
00611 { 10, 1, 0, 10, 0, 6, 6, 0, 4 },
00612 { 0, 8, 7, 0, 7, 1, 1, 7, 5 },
00613 { 9, 5, 6, 9, 6, 0, 0, 6, 2 },
00614 { 5, 10, 2, 5, 2, 4, 4, 2, 0 },
00615 { 3, 0, 9, 3, 9, 11, 11, 9, 10 },
00616 { 3, 11, 6, 3, 6, 0, 0, 6, 4 },
00617 { 9, 0, 3, 9, 3, 5, 5, 3, 7 },
00618 { 7, 8, 0, 7, 0, 6, 6, 0, 2 },
00619 { 11, 7, 4, 11, 4, 2, 2, 4, 0 },
00620 { 0, 1, 10, 0, 10, 8, 8, 10, 11 },
00621 { 8, 4, 5, 8, 5, 3, 3, 5, 1 },
00622 { 4, 9, 1, 4, 1, 7, 7, 1, 3 },
00623 { 1, 2, 11, 1, 11, 9, 9, 11, 8 },
00624 { 2, 3, 8, 2, 8, 10, 10, 8, 9 }
00625 };
00626
00627
00628
00629
00646
00647 static const char test6[48][3] = {
00648 { 2, 7, 10 },
00649 { 4, 7, 11 },
00650 { 5, 7, 1 },
00651 { 5, 7, 3 },
00652 { 1, 7, 9 },
00653 { 3, 7, 10 },
00654 { 6, 7, 5 },
00655 { 1, 7, 8 },
00656 { 4, 7, 8 },
00657 { 1, 7, 8 },
00658 { 3, 7, 11 },
00659 { 5, 7, 2 },
00660 { 5, 7, 0 },
00661 { 1, 7, 9 },
00662 { 6, 7, 6 },
00663 { 2, 7, 9 },
00664 { 4, 7, 8 },
00665 { 2, 7, 9 },
00666 { 2, 7, 10 },
00667 { 6, 7, 7 },
00668 { 3, 7, 10 },
00669 { 4, 7, 11 },
00670 { 3, 7, 11 },
00671 { 6, 7, 4 },
00672 { -6, -7, 4 },
00673 { -3, -7, 11 },
00674 { -4, -7, 11 },
00675 { -3, -7, 10 },
00676 { -6, -7, 7 },
00677 { -2, -7, 10 },
00678 { -2, -7, 9 },
00679 { -4, -7, 8 },
00680 { -2, -7, 9 },
00681 { -6, -7, 6 },
00682 { -1, -7, 9 },
00683 { -5, -7, 0 },
00684 { -5, -7, 2 },
00685 { -3, -7, 11 },
00686 { -1, -7, 8 },
00687 { -4, -7, 8 },
00688 { -1, -7, 8 },
00689 { -6, -7, 5 },
00690 { -3, -7, 10 },
00691 { -1, -7, 9 },
00692 { -5, -7, 3 },
00693 { -5, -7, 1 },
00694 { -4, -7, 11 },
00695 { -2, -7, 10 }
00696 };
00697
00698
00708
00709 static const char tiling6_1_1[48][9] = {
00710 { 6, 5, 10, 3, 1, 8, 9, 8, 1 },
00711 { 11, 7, 6, 9, 3, 1, 3, 9, 8 },
00712 { 1, 2, 10, 7, 0, 4, 0, 7, 3 },
00713 { 3, 0, 8, 5, 2, 6, 2, 5, 1 },
00714 { 5, 4, 9, 2, 0, 11, 8, 11, 0 },
00715 { 10, 6, 5, 8, 2, 0, 2, 8, 11 },
00716 { 10, 6, 5, 0, 4, 3, 7, 3, 4 },
00717 { 3, 0, 8, 6, 4, 10, 9, 10, 4 },
00718 { 8, 3, 0, 10, 7, 5, 7, 10, 11 },
00719 { 8, 4, 7, 10, 0, 2, 0, 10, 9 },
00720 { 7, 6, 11, 0, 2, 9, 10, 9, 2 },
00721 { 2, 3, 11, 4, 1, 5, 1, 4, 0 },
00722 { 0, 1, 9, 6, 3, 7, 3, 6, 2 },
00723 { 9, 0, 1, 11, 4, 6, 4, 11, 8 },
00724 { 11, 7, 6, 1, 5, 0, 4, 0, 5 },
00725 { 0, 1, 9, 7, 5, 11, 10, 11, 5 },
00726 { 4, 7, 8, 1, 3, 10, 11, 10, 3 },
00727 { 9, 5, 4, 11, 1, 3, 1, 11, 10 },
00728 { 10, 1, 2, 8, 5, 7, 5, 8, 9 },
00729 { 8, 4, 7, 2, 6, 1, 5, 1, 6 },
00730 { 1, 2, 10, 4, 6, 8, 11, 8, 6 },
00731 { 2, 3, 11, 5, 7, 9, 8, 9, 7 },
00732 { 11, 2, 3, 9, 6, 4, 6, 9, 10 },
00733 { 9, 5, 4, 3, 7, 2, 6, 2, 7 },
00734 { 4, 5, 9, 2, 7, 3, 7, 2, 6 },
00735 { 3, 2, 11, 4, 6, 9, 10, 9, 6 },
00736 { 11, 3, 2, 9, 7, 5, 7, 9, 8 },
00737 { 10, 2, 1, 8, 6, 4, 6, 8, 11 },
00738 { 7, 4, 8, 1, 6, 2, 6, 1, 5 },
00739 { 2, 1, 10, 7, 5, 8, 9, 8, 5 },
00740 { 4, 5, 9, 3, 1, 11, 10, 11, 1 },
00741 { 8, 7, 4, 10, 3, 1, 3, 10, 11 },
00742 { 9, 1, 0, 11, 5, 7, 5, 11, 10 },
00743 { 6, 7, 11, 0, 5, 1, 5, 0, 4 },
00744 { 1, 0, 9, 6, 4, 11, 8, 11, 4 },
00745 { 9, 1, 0, 7, 3, 6, 2, 6, 3 },
00746 { 11, 3, 2, 5, 1, 4, 0, 4, 1 },
00747 { 11, 6, 7, 9, 2, 0, 2, 9, 10 },
00748 { 7, 4, 8, 2, 0, 10, 9, 10, 0 },
00749 { 0, 3, 8, 5, 7, 10, 11, 10, 7 },
00750 { 8, 0, 3, 10, 4, 6, 4, 10, 9 },
00751 { 5, 6, 10, 3, 4, 0, 4, 3, 7 },
00752 { 5, 6, 10, 0, 2, 8, 11, 8, 2 },
00753 { 9, 4, 5, 11, 0, 2, 0, 11, 8 },
00754 { 8, 0, 3, 6, 2, 5, 1, 5, 2 },
00755 { 10, 2, 1, 4, 0, 7, 3, 7, 0 },
00756 { 6, 7, 11, 1, 3, 9, 8, 9, 3 },
00757 { 10, 5, 6, 8, 1, 3, 1, 8, 9 }
00758 };
00759
00760
00770
00771 static const char tiling6_1_2[48][27] = {
00772 { 1, 12, 3, 12, 10, 3, 6, 3, 10, 3, 6, 8, 5, 8, 6, 8, 5, 12, 12, 9, 8, 1, 9, 12, 12, 5, 10 },
00773 { 1, 12, 3, 1, 11, 12, 11, 1, 6, 9, 6, 1, 6, 9, 7, 12, 7, 9, 9, 8, 12, 12, 8, 3, 11, 7, 12 },
00774 { 4, 12, 0, 4, 1, 12, 1, 4, 10, 7, 10, 4, 10, 7, 2, 12, 2, 7, 7, 3, 12, 12, 3, 0, 1, 2, 12 },
00775 { 6, 12, 2, 6, 3, 12, 3, 6, 8, 5, 8, 6, 8, 5, 0, 12, 0, 5, 5, 1, 12, 12, 1, 2, 3, 0, 12 },
00776 { 0, 12, 2, 12, 9, 2, 5, 2, 9, 2, 5, 11, 4, 11, 5, 11, 4, 12, 12, 8, 11, 0, 8, 12, 12, 4, 9 },
00777 { 0, 12, 2, 0, 10, 12, 10, 0, 5, 8, 5, 0, 5, 8, 6, 12, 6, 8, 8, 11, 12, 12, 11, 2, 10, 6, 12 },
00778 { 4, 12, 0, 12, 5, 0, 10, 0, 5, 0, 10, 3, 6, 3, 10, 3, 6, 12, 12, 7, 3, 4, 7, 12, 12, 6, 5 },
00779 { 4, 12, 6, 12, 8, 6, 3, 6, 8, 6, 3, 10, 0, 10, 3, 10, 0, 12, 12, 9, 10, 4, 9, 12, 12, 0, 8 },
00780 { 5, 12, 7, 5, 8, 12, 8, 5, 0, 10, 0, 5, 0, 10, 3, 12, 3, 10, 10, 11, 12, 12, 11, 7, 8, 3, 12 },
00781 { 2, 12, 0, 2, 8, 12, 8, 2, 7, 10, 7, 2, 7, 10, 4, 12, 4, 10, 10, 9, 12, 12, 9, 0, 8, 4, 12 },
00782 { 2, 12, 0, 12, 11, 0, 7, 0, 11, 0, 7, 9, 6, 9, 7, 9, 6, 12, 12, 10, 9, 2, 10, 12, 12, 6, 11 },
00783 { 5, 12, 1, 5, 2, 12, 2, 5, 11, 4, 11, 5, 11, 4, 3, 12, 3, 4, 4, 0, 12, 12, 0, 1, 2, 3, 12 },
00784 { 7, 12, 3, 7, 0, 12, 0, 7, 9, 6, 9, 7, 9, 6, 1, 12, 1, 6, 6, 2, 12, 12, 2, 3, 0, 1, 12 },
00785 { 6, 12, 4, 6, 9, 12, 9, 6, 1, 11, 1, 6, 1, 11, 0, 12, 0, 11, 11, 8, 12, 12, 8, 4, 9, 0, 12 },
00786 { 5, 12, 1, 12, 6, 1, 11, 1, 6, 1, 11, 0, 7, 0, 11, 0, 7, 12, 12, 4, 0, 5, 4, 12, 12, 7, 6 },
00787 { 5, 12, 7, 12, 9, 7, 0, 7, 9, 7, 0, 11, 1, 11, 0, 11, 1, 12, 12, 10, 11, 5, 10, 12, 12, 1, 9 },
00788 { 3, 12, 1, 12, 8, 1, 4, 1, 8, 1, 4, 10, 7, 10, 4, 10, 7, 12, 12, 11, 10, 3, 11, 12, 12, 7, 8 },
00789 { 3, 12, 1, 3, 9, 12, 9, 3, 4, 11, 4, 3, 4, 11, 5, 12, 5, 11, 11, 10, 12, 12, 10, 1, 9, 5, 12 },
00790 { 7, 12, 5, 7, 10, 12, 10, 7, 2, 8, 2, 7, 2, 8, 1, 12, 1, 8, 8, 9, 12, 12, 9, 5, 10, 1, 12 },
00791 { 6, 12, 2, 12, 7, 2, 8, 2, 7, 2, 8, 1, 4, 1, 8, 1, 4, 12, 12, 5, 1, 6, 5, 12, 12, 4, 7 },
00792 { 6, 12, 4, 12, 10, 4, 1, 4, 10, 4, 1, 8, 2, 8, 1, 8, 2, 12, 12, 11, 8, 6, 11, 12, 12, 2, 10 },
00793 { 7, 12, 5, 12, 11, 5, 2, 5, 11, 5, 2, 9, 3, 9, 2, 9, 3, 12, 12, 8, 9, 7, 8, 12, 12, 3, 11 },
00794 { 4, 12, 6, 4, 11, 12, 11, 4, 3, 9, 3, 4, 3, 9, 2, 12, 2, 9, 9, 10, 12, 12, 10, 6, 11, 2, 12 },
00795 { 7, 12, 3, 12, 4, 3, 9, 3, 4, 3, 9, 2, 5, 2, 9, 2, 5, 12, 12, 6, 2, 7, 6, 12, 12, 5, 4 },
00796 { 3, 12, 7, 3, 4, 12, 4, 3, 9, 2, 9, 3, 9, 2, 5, 12, 5, 2, 2, 6, 12, 12, 6, 7, 4, 5, 12 },
00797 { 6, 12, 4, 12, 11, 4, 3, 4, 11, 4, 3, 9, 2, 9, 3, 9, 2, 12, 12, 10, 9, 6, 10, 12, 12, 2, 11 },
00798 { 5, 12, 7, 5, 11, 12, 11, 5, 2, 9, 2, 5, 2, 9, 3, 12, 3, 9, 9, 8, 12, 12, 8, 7, 11, 3, 12 },
00799 { 4, 12, 6, 4, 10, 12, 10, 4, 1, 8, 1, 4, 1, 8, 2, 12, 2, 8, 8, 11, 12, 12, 11, 6, 10, 2, 12 },
00800 { 2, 12, 6, 2, 7, 12, 7, 2, 8, 1, 8, 2, 8, 1, 4, 12, 4, 1, 1, 5, 12, 12, 5, 6, 7, 4, 12 },
00801 { 5, 12, 7, 12, 10, 7, 2, 7, 10, 7, 2, 8, 1, 8, 2, 8, 1, 12, 12, 9, 8, 5, 9, 12, 12, 1, 10 },
00802 { 1, 12, 3, 12, 9, 3, 4, 3, 9, 3, 4, 11, 5, 11, 4, 11, 5, 12, 12, 10, 11, 1, 10, 12, 12, 5, 9 },
00803 { 1, 12, 3, 1, 8, 12, 8, 1, 4, 10, 4, 1, 4, 10, 7, 12, 7, 10, 10, 11, 12, 12, 11, 3, 8, 7, 12 },
00804 { 7, 12, 5, 7, 9, 12, 9, 7, 0, 11, 0, 7, 0, 11, 1, 12, 1, 11, 11, 10, 12, 12, 10, 5, 9, 1, 12 },
00805 { 1, 12, 5, 1, 6, 12, 6, 1, 11, 0, 11, 1, 11, 0, 7, 12, 7, 0, 0, 4, 12, 12, 4, 5, 6, 7, 12 },
00806 { 4, 12, 6, 12, 9, 6, 1, 6, 9, 6, 1, 11, 0, 11, 1, 11, 0, 12, 12, 8, 11, 4, 8, 12, 12, 0, 9 },
00807 { 3, 12, 7, 12, 0, 7, 9, 7, 0, 7, 9, 6, 1, 6, 9, 6, 1, 12, 12, 2, 6, 3, 2, 12, 12, 1, 0 },
00808 { 1, 12, 5, 12, 2, 5, 11, 5, 2, 5, 11, 4, 3, 4, 11, 4, 3, 12, 12, 0, 4, 1, 0, 12, 12, 3, 2 },
00809 { 0, 12, 2, 0, 11, 12, 11, 0, 7, 9, 7, 0, 7, 9, 6, 12, 6, 9, 9, 10, 12, 12, 10, 2, 11, 6, 12 },
00810 { 0, 12, 2, 12, 8, 2, 7, 2, 8, 2, 7, 10, 4, 10, 7, 10, 4, 12, 12, 9, 10, 0, 9, 12, 12, 4, 8 },
00811 { 7, 12, 5, 12, 8, 5, 0, 5, 8, 5, 0, 10, 3, 10, 0, 10, 3, 12, 12, 11, 10, 7, 11, 12, 12, 3, 8 },
00812 { 6, 12, 4, 6, 8, 12, 8, 6, 3, 10, 3, 6, 3, 10, 0, 12, 0, 10, 10, 9, 12, 12, 9, 4, 8, 0, 12 },
00813 { 0, 12, 4, 0, 5, 12, 5, 0, 10, 3, 10, 0, 10, 3, 6, 12, 6, 3, 3, 7, 12, 12, 7, 4, 5, 6, 12 },
00814 { 2, 12, 0, 12, 10, 0, 5, 0, 10, 0, 5, 8, 6, 8, 5, 8, 6, 12, 12, 11, 8, 2, 11, 12, 12, 6, 10 },
00815 { 2, 12, 0, 2, 9, 12, 9, 2, 5, 11, 5, 2, 5, 11, 4, 12, 4, 11, 11, 8, 12, 12, 8, 0, 9, 4, 12 },
00816 { 2, 12, 6, 12, 3, 6, 8, 6, 3, 6, 8, 5, 0, 5, 8, 5, 0, 12, 12, 1, 5, 2, 1, 12, 12, 0, 3 },
00817 { 0, 12, 4, 12, 1, 4, 10, 4, 1, 4, 10, 7, 2, 7, 10, 7, 2, 12, 12, 3, 7, 0, 3, 12, 12, 2, 1 },
00818 { 3, 12, 1, 12, 11, 1, 6, 1, 11, 1, 6, 9, 7, 9, 6, 9, 7, 12, 12, 8, 9, 3, 8, 12, 12, 7, 11 },
00819 { 3, 12, 1, 3, 10, 12, 10, 3, 6, 8, 6, 3, 6, 8, 5, 12, 5, 8, 8, 9, 12, 12, 9, 1, 10, 5, 12 },
00820 };
00821
00822
00832
00833 static const char tiling6_2[48][15] = {
00834 { 1, 10, 3, 6, 3, 10, 3, 6, 8, 5, 8, 6, 8, 5, 9 },
00835 { 1, 11, 3, 11, 1, 6, 9, 6, 1, 6, 9, 7, 8, 7, 9 },
00836 { 4, 1, 0, 1, 4, 10, 7, 10, 4, 10, 7, 2, 3, 2, 7 },
00837 { 6, 3, 2, 3, 6, 8, 5, 8, 6, 8, 5, 0, 1, 0, 5 },
00838 { 0, 9, 2, 5, 2, 9, 2, 5, 11, 4, 11, 5, 11, 4, 8 },
00839 { 0, 10, 2, 10, 0, 5, 8, 5, 0, 5, 8, 6, 11, 6, 8 },
00840 { 4, 5, 0, 10, 0, 5, 0, 10, 3, 6, 3, 10, 3, 6, 7 },
00841 { 4, 8, 6, 3, 6, 8, 6, 3, 10, 0, 10, 3, 10, 0, 9 },
00842 { 5, 8, 7, 8, 5, 0, 10, 0, 5, 0, 10, 3, 11, 3, 10 },
00843 { 2, 8, 0, 8, 2, 7, 10, 7, 2, 7, 10, 4, 9, 4, 10 },
00844 { 2, 11, 0, 7, 0, 11, 0, 7, 9, 6, 9, 7, 9, 6, 10 },
00845 { 5, 2, 1, 2, 5, 11, 4, 11, 5, 11, 4, 3, 0, 3, 4 },
00846 { 7, 0, 3, 0, 7, 9, 6, 9, 7, 9, 6, 1, 2, 1, 6 },
00847 { 6, 9, 4, 9, 6, 1, 11, 1, 6, 1, 11, 0, 8, 0, 11 },
00848 { 5, 6, 1, 11, 1, 6, 1, 11, 0, 7, 0, 11, 0, 7, 4 },
00849 { 5, 9, 7, 0, 7, 9, 7, 0, 11, 1, 11, 0, 11, 1, 10 },
00850 { 3, 8, 1, 4, 1, 8, 1, 4, 10, 7, 10, 4, 10, 7, 11 },
00851 { 3, 9, 1, 9, 3, 4, 11, 4, 3, 4, 11, 5, 10, 5, 11 },
00852 { 7, 10, 5, 10, 7, 2, 8, 2, 7, 2, 8, 1, 9, 1, 8 },
00853 { 6, 7, 2, 8, 2, 7, 2, 8, 1, 4, 1, 8, 1, 4, 5 },
00854 { 6, 10, 4, 1, 4, 10, 4, 1, 8, 2, 8, 1, 8, 2, 11 },
00855 { 7, 11, 5, 2, 5, 11, 5, 2, 9, 3, 9, 2, 9, 3, 8 },
00856 { 4, 11, 6, 11, 4, 3, 9, 3, 4, 3, 9, 2, 10, 2, 9 },
00857 { 7, 4, 3, 9, 3, 4, 3, 9, 2, 5, 2, 9, 2, 5, 6 },
00858 { 3, 4, 7, 4, 3, 9, 2, 9, 3, 9, 2, 5, 6, 5, 2 },
00859 { 6, 11, 4, 3, 4, 11, 4, 3, 9, 2, 9, 3, 9, 2, 10 },
00860 { 5, 11, 7, 11, 5, 2, 9, 2, 5, 2, 9, 3, 8, 3, 9 },
00861 { 4, 10, 6, 10, 4, 1, 8, 1, 4, 1, 8, 2, 11, 2, 8 },
00862 { 2, 7, 6, 7, 2, 8, 1, 8, 2, 8, 1, 4, 5, 4, 1 },
00863 { 5, 10, 7, 2, 7, 10, 7, 2, 8, 1, 8, 2, 8, 1, 9 },
00864 { 1, 9, 3, 4, 3, 9, 3, 4, 11, 5, 11, 4, 11, 5, 10 },
00865 { 1, 8, 3, 8, 1, 4, 10, 4, 1, 4, 10, 7, 11, 7, 10 },
00866 { 7, 9, 5, 9, 7, 0, 11, 0, 7, 0, 11, 1, 10, 1, 11 },
00867 { 1, 6, 5, 6, 1, 11, 0, 11, 1, 11, 0, 7, 4, 7, 0 },
00868 { 4, 9, 6, 1, 6, 9, 6, 1, 11, 0, 11, 1, 11, 0, 8 },
00869 { 3, 0, 7, 9, 7, 0, 7, 9, 6, 1, 6, 9, 6, 1, 2 },
00870 { 1, 2, 5, 11, 5, 2, 5, 11, 4, 3, 4, 11, 4, 3, 0 },
00871 { 0, 11, 2, 11, 0, 7, 9, 7, 0, 7, 9, 6, 10, 6, 9 },
00872 { 0, 8, 2, 7, 2, 8, 2, 7, 10, 4, 10, 7, 10, 4, 9 },
00873 { 7, 8, 5, 0, 5, 8, 5, 0, 10, 3, 10, 0, 10, 3, 11 },
00874 { 6, 8, 4, 8, 6, 3, 10, 3, 6, 3, 10, 0, 9, 0, 10 },
00875 { 0, 5, 4, 5, 0, 10, 3, 10, 0, 10, 3, 6, 7, 6, 3 },
00876 { 2, 10, 0, 5, 0, 10, 0, 5, 8, 6, 8, 5, 8, 6, 11 },
00877 { 2, 9, 0, 9, 2, 5, 11, 5, 2, 5, 11, 4, 8, 4, 11 },
00878 { 2, 3, 6, 8, 6, 3, 6, 8, 5, 0, 5, 8, 5, 0, 1 },
00879 { 0, 1, 4, 10, 4, 1, 4, 10, 7, 2, 7, 10, 7, 2, 3 },
00880 { 3, 11, 1, 6, 1, 11, 1, 6, 9, 7, 9, 6, 9, 7, 8 },
00881 { 3, 10, 1, 10, 3, 6, 8, 6, 3, 6, 8, 5, 9, 5, 8 }
00882 };
00883
00884
00885
00886
00887
00910
00911 static const char test7[16][5] = {
00912 { 1, 2, 5, 7, 1 },
00913 { 3, 4, 5, 7, 3 },
00914 { 4, 1, 6, 7, 4 },
00915 { 4, 1, 5, 7, 0 },
00916 { 2, 3, 5, 7, 2 },
00917 { 1, 2, 6, 7, 5 },
00918 { 2, 3, 6, 7, 6 },
00919 { 3, 4, 6, 7, 7 },
00920 { -3, -4, -6, -7, 7 },
00921 { -2, -3, -6, -7, 6 },
00922 { -1, -2, -6, -7, 5 },
00923 { -2, -3, -5, -7, 2 },
00924 { -4, -1, -5, -7, 0 },
00925 { -4, -1, -6, -7, 4 },
00926 { -3, -4, -5, -7, 3 },
00927 { -1, -2, -5, -7, 1 }
00928 };
00929
00930
00940
00941 static const char tiling7_1[16][9] = {
00942 { 9, 5, 4, 10, 1, 2, 8, 3, 0 },
00943 { 11, 7, 6, 8, 3, 0, 10, 1, 2 },
00944 { 3, 0, 8, 5, 4, 9, 7, 6, 11 },
00945 { 8, 4, 7, 9, 0, 1, 11, 2, 3 },
00946 { 10, 6, 5, 11, 2, 3, 9, 0, 1 },
00947 { 0, 1, 9, 6, 5, 10, 4, 7, 8 },
00948 { 1, 2, 10, 7, 6, 11, 5, 4, 9 },
00949 { 2, 3, 11, 4, 7, 8, 6, 5, 10 },
00950 { 11, 3, 2, 8, 7, 4, 10, 5, 6 },
00951 { 10, 2, 1, 11, 6, 7, 9, 4, 5 },
00952 { 9, 1, 0, 10, 5, 6, 8, 7, 4 },
00953 { 5, 6, 10, 3, 2, 11, 1, 0, 9 },
00954 { 7, 4, 8, 1, 0, 9, 3, 2, 11 },
00955 { 8, 0, 3, 9, 4, 5, 11, 6, 7 },
00956 { 6, 7, 11, 0, 3, 8, 2, 1, 10 },
00957 { 4, 5, 9, 2, 1, 10, 0, 3, 8 }
00958 };
00959
00960
00970
00971 static const char tiling7_2[16][3][15] = {
00972 {
00973 { 1, 2, 10, 3, 4, 8, 4, 3, 5, 0, 5, 3, 5, 0, 9 },
00974 { 3, 0, 8, 9, 1, 4, 2, 4, 1, 4, 2, 5, 10, 5, 2 },
00975 { 9, 5, 4, 0, 10, 1, 10, 0, 8, 10, 8, 2, 3, 2, 8 }
00976 },
00977 {
00978 { 3, 0, 8, 1, 6, 10, 6, 1, 7, 2, 7, 1, 7, 2, 11 },
00979 { 1, 2, 10, 11, 3, 6, 0, 6, 3, 6, 0, 7, 8, 7, 0 },
00980 { 11, 7, 6, 2, 8, 3, 8, 2, 10, 8, 10, 0, 1, 0, 10 }
00981 },
00982 {
00983 { 9, 5, 4, 11, 3, 6, 0, 6, 3, 6, 0, 7, 8, 7, 0 },
00984 { 11, 7, 6, 3, 4, 8, 4, 3, 5, 0, 5, 3, 5, 0, 9 },
00985 { 3, 0, 8, 4, 9, 7, 11, 7, 9, 5, 11, 9, 11, 5, 6 }
00986 },
00987 {
00988 { 0, 1, 9, 2, 7, 11, 7, 2, 4, 3, 4, 2, 4, 3, 8 },
00989 { 2, 3, 11, 8, 0, 7, 1, 7, 0, 7, 1, 4, 9, 4, 1 },
00990 { 8, 4, 7, 3, 9, 0, 9, 3, 11, 9, 11, 1, 2, 1, 11 }
00991 },
00992 {
00993 { 2, 3, 11, 0, 5, 9, 5, 0, 6, 1, 6, 0, 6, 1, 10 },
00994 { 0, 1, 9, 10, 2, 5, 3, 5, 2, 5, 3, 6, 11, 6, 3 },
00995 { 6, 5, 10, 1, 11, 2, 11, 1, 9, 11, 9, 3, 0, 3, 9 }
00996 },
00997 {
00998 { 6, 5, 10, 8, 0, 7, 1, 7, 0, 7, 1, 4, 9, 4, 1 },
00999 { 8, 4, 7, 0, 5, 9, 5, 0, 6, 1, 6, 0, 6, 1, 10 },
01000 { 0, 1, 9, 5, 10, 4, 8, 4, 10, 6, 8, 10, 8, 6, 7 }
01001 },
01002 {
01003 { 11, 7, 6, 9, 1, 4, 2, 4, 1, 4, 2, 5, 10, 5, 2 },
01004 { 9, 5, 4, 1, 6, 10, 6, 1, 7, 2, 7, 1, 7, 2, 11 },
01005 { 1, 2, 10, 6, 11, 5, 9, 5, 11, 7, 9, 11, 9, 7, 4 }
01006 },
01007 {
01008 { 8, 4, 7, 10, 2, 5, 3, 5, 2, 5, 3, 6, 11, 6, 3 },
01009 { 6, 5, 10, 2, 7, 11, 7, 2, 4, 3, 4, 2, 4, 3, 8 },
01010 { 2, 3, 11, 7, 8, 6, 10, 6, 8, 4, 10, 8, 10, 4, 5 }
01011 },
01012 {
01013 { 7, 4, 8, 5, 2, 10, 2, 5, 3, 6, 3, 5, 3, 6, 11 },
01014 { 10, 5, 6, 11, 7, 2, 4, 2, 7, 2, 4, 3, 8, 3, 4 },
01015 { 11, 3, 2, 6, 8, 7, 8, 6, 10, 8, 10, 4, 5, 4, 10 }
01016 },
01017 {
01018 { 6, 7, 11, 4, 1, 9, 1, 4, 2, 5, 2, 4, 2, 5, 10 },
01019 { 4, 5, 9, 10, 6, 1, 7, 1, 6, 1, 7, 2, 11, 2, 7 },
01020 { 10, 2, 1, 5, 11, 6, 11, 5, 9, 11, 9, 7, 4, 7, 9 }
01021 },
01022 {
01023 { 10, 5, 6, 7, 0, 8, 0, 7, 1, 4, 1, 7, 1, 4, 9 },
01024 { 7, 4, 8, 9, 5, 0, 6, 0, 5, 0, 6, 1, 10, 1, 6 },
01025 { 9, 1, 0, 4, 10, 5, 10, 4, 8, 10, 8, 6, 7, 6, 8 }
01026 },
01027 {
01028 { 11, 3, 2, 9, 5, 0, 6, 0, 5, 0, 6, 1, 10, 1, 6 },
01029 { 9, 1, 0, 5, 2, 10, 2, 5, 3, 6, 3, 5, 3, 6, 11 },
01030 { 10, 5, 6, 2, 11, 1, 9, 1, 11, 3, 9, 11, 9, 3, 0 }
01031 },
01032 {
01033 { 9, 1, 0, 11, 7, 2, 4, 2, 7, 2, 4, 3, 8, 3, 4 },
01034 { 11, 3, 2, 7, 0, 8, 0, 7, 1, 4, 1, 7, 1, 4, 9 },
01035 { 7, 4, 8, 0, 9, 3, 11, 3, 9, 1, 11, 9, 11, 1, 2 }
01036 },
01037 {
01038 { 4, 5, 9, 6, 3, 11, 3, 6, 0, 7, 0, 6, 0, 7, 8 },
01039 { 6, 7, 11, 8, 4, 3, 5, 3, 4, 3, 5, 0, 9, 0, 5 },
01040 { 8, 0, 3, 7, 9, 4, 9, 7, 11, 9, 11, 5, 6, 5, 11 }
01041 },
01042 {
01043 { 8, 0, 3, 10, 6, 1, 7, 1, 6, 1, 7, 2, 11, 2, 7 },
01044 { 10, 2, 1, 6, 3, 11, 3, 6, 0, 7, 0, 6, 0, 7, 8 },
01045 { 6, 7, 11, 3, 8, 2, 10, 2, 8, 0, 10, 8, 10, 0, 1 }
01046 },
01047 {
01048 { 10, 2, 1, 8, 4, 3, 5, 3, 4, 3, 5, 0, 9, 0, 5 },
01049 { 8, 0, 3, 4, 1, 9, 1, 4, 2, 5, 2, 4, 2, 5, 10 },
01050 { 4, 5, 9, 1, 10, 0, 8, 0, 10, 2, 8, 10, 8, 2, 3 } }
01051 };
01052
01053
01063
01064 static const char tiling7_3[16][3][27] = {
01065 {
01066 { 12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2 },
01067 { 12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 1, 12, 1, 0, 12, 0, 9, 12, 9, 5 },
01068 { 5, 4, 12, 10, 5, 12, 2, 10, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12, 9, 1, 12, 4, 9, 12 }
01069 },
01070 {
01071 { 12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0 },
01072 { 12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 0, 12, 0, 8, 12, 8, 3, 12, 3, 2, 12, 2, 11, 12, 11, 7 },
01073 { 7, 6, 12, 8, 7, 12, 0, 8, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12, 11, 3, 12, 6, 11, 12 }
01074 },
01075 {
01076 { 9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12 },
01077 { 3, 0, 12, 11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 4, 9, 12, 7, 4, 12, 8, 7, 12, 0, 8, 12 },
01078 { 12, 3, 0, 12, 0, 9, 12, 9, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3 }
01079 },
01080 {
01081 { 12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1 },
01082 { 12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3, 12, 3, 8, 12, 8, 4 },
01083 { 4, 7, 12, 9, 4, 12, 1, 9, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12, 8, 0, 12, 7, 8, 12 }
01084 },
01085 {
01086 { 12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3 },
01087 { 12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 2, 12, 2, 1, 12, 1, 10, 12, 10, 6 },
01088 { 6, 5, 12, 11, 6, 12, 3, 11, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12, 10, 2, 12, 5, 10, 12 }
01089 },
01090 {
01091 { 10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 7, 8, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12 },
01092 { 0, 1, 12, 8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 5, 10, 12, 4, 5, 12, 9, 4, 12, 1, 9, 12 },
01093 { 12, 0, 1, 12, 1, 10, 12, 10, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5, 12, 5, 9, 12, 9, 0 }
01094 },
01095 {
01096 { 11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12 },
01097 { 1, 2, 12, 9, 1, 12, 4, 9, 12, 7, 4, 12, 11, 7, 12, 6, 11, 12, 5, 6, 12, 10, 5, 12, 2, 10, 12 },
01098 { 12, 1, 2, 12, 2, 11, 12, 11, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6, 12, 6, 10, 12, 10, 1 }
01099 },
01100 {
01101 { 8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12 },
01102 { 2, 3, 12, 10, 2, 12, 5, 10, 12, 4, 5, 12, 8, 4, 12, 7, 8, 12, 6, 7, 12, 11, 6, 12, 3, 11, 12 },
01103 { 12, 2, 3, 12, 3, 8, 12, 8, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7, 12, 7, 11, 12, 11, 2 }
01104 },
01105 {
01106 { 12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4 },
01107 { 12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 7, 12, 7, 6, 12, 6, 11, 12, 11, 3 },
01108 { 3, 2, 12, 8, 3, 12, 4, 8, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12, 11, 7, 12, 2, 11, 12 }
01109 },
01110 {
01111 { 12, 7, 11, 12, 11, 2, 12, 2, 1, 12, 1, 9, 12, 9, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7 },
01112 { 12, 2, 1, 12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 6, 12, 6, 5, 12, 5, 10, 12, 10, 2 },
01113 { 2, 1, 12, 11, 2, 12, 7, 11, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12, 10, 6, 12, 1, 10, 12 }
01114 },
01115 {
01116 { 12, 6, 10, 12, 10, 1, 12, 1, 0, 12, 0, 8, 12, 8, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6 },
01117 { 12, 1, 0, 12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 5, 12, 5, 4, 12, 4, 9, 12, 9, 1 },
01118 { 1, 0, 12, 10, 1, 12, 6, 10, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12, 9, 5, 12, 0, 9, 12 }
01119 },
01120 {
01121 { 11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 0, 9, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12 },
01122 { 5, 6, 12, 9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 2, 11, 12, 1, 2, 12, 10, 1, 12, 6, 10, 12 },
01123 { 12, 5, 6, 12, 6, 11, 12, 11, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2, 12, 2, 10, 12, 10, 5 }
01124 },
01125 {
01126 { 9, 1, 12, 4, 9, 12, 7, 4, 12, 11, 7, 12, 2, 11, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12 },
01127 { 7, 4, 12, 11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 0, 9, 12, 3, 0, 12, 8, 3, 12, 4, 8, 12 },
01128 { 12, 7, 4, 12, 4, 9, 12, 9, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0, 12, 0, 8, 12, 8, 7 }
01129 },
01130 {
01131 { 12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5 },
01132 { 12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 4, 12, 4, 7, 12, 7, 8, 12, 8, 0 },
01133 { 0, 3, 12, 9, 0, 12, 5, 9, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12 }
01134 },
01135 {
01136 { 8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 1, 10, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12 },
01137 { 6, 7, 12, 10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 3, 8, 12, 2, 3, 12, 11, 2, 12, 7, 11, 12 },
01138 { 12, 6, 7, 12, 7, 8, 12, 8, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3, 12, 3, 11, 12, 11, 6 }
01139 },
01140 {
01141 { 10, 2, 12, 5, 10, 12, 4, 5, 12, 8, 4, 12, 3, 8, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12 },
01142 { 4, 5, 12, 8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 1, 10, 12, 0, 1, 12, 9, 0, 12, 5, 9, 12 },
01143 { 12, 4, 5, 12, 5, 10, 12, 10, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1, 12, 1, 9, 12, 9, 4 } }
01144 };
01145
01146
01156
01157 static const char tiling7_4_1[16][15] = {
01158 { 3, 4, 8, 4, 3, 10, 2, 10, 3, 4, 10, 5, 9, 1, 0 },
01159 { 1, 6, 10, 6, 1, 8, 0, 8, 1, 6, 8, 7, 11, 3, 2 },
01160 { 11, 3, 6, 9, 6, 3, 6, 9, 5, 0, 9, 3, 7, 4, 8 },
01161 { 2, 7, 11, 7, 2, 9, 1, 9, 2, 7, 9, 4, 8, 0, 3 },
01162 { 0, 5, 9, 5, 0, 11, 3, 11, 0, 5, 11, 6, 10, 2, 1 },
01163 { 8, 0, 7, 10, 7, 0, 7, 10, 6, 1, 10, 0, 4, 5, 9 },
01164 { 9, 1, 4, 11, 4, 1, 4, 11, 7, 2, 11, 1, 5, 6, 10 },
01165 { 10, 2, 5, 8, 5, 2, 5, 8, 4, 3, 8, 2, 6, 7, 11 },
01166 { 5, 2, 10, 2, 5, 8, 4, 8, 5, 2, 8, 3, 11, 7, 6 },
01167 { 4, 1, 9, 1, 4, 11, 7, 11, 4, 1, 11, 2, 10, 6, 5 },
01168 { 7, 0, 8, 0, 7, 10, 6, 10, 7, 0, 10, 1, 9, 5, 4 },
01169 { 9, 5, 0, 11, 0, 5, 0, 11, 3, 6, 11, 5, 1, 2, 10 },
01170 { 11, 7, 2, 9, 2, 7, 2, 9, 1, 4, 9, 7, 3, 0, 8 },
01171 { 6, 3, 11, 3, 6, 9, 5, 9, 6, 3, 9, 0, 8, 4, 7 },
01172 { 10, 6, 1, 8, 1, 6, 1, 8, 0, 7, 8, 6, 2, 3, 11 },
01173 { 8, 4, 3, 10, 3, 4, 3, 10, 2, 5, 10, 4, 0, 1, 9 }
01174 };
01175
01176
01186
01187 static const char tiling7_4_2[16][27] = {
01188 { 9, 4, 8, 4, 9, 5, 10, 5, 9, 1, 10, 9, 10, 1, 2, 0, 2, 1, 2, 0, 3, 8, 3, 0, 9, 8, 0 },
01189 { 11, 6, 10, 6, 11, 7, 8, 7, 11, 3, 8, 11, 8, 3, 0, 2, 0, 3, 0, 2, 1, 10, 1, 2, 11, 10, 2 },
01190 { 11, 3, 8, 0, 8, 3, 8, 0, 9, 8, 9, 4, 5, 4, 9, 4, 5, 7, 6, 7, 5, 7, 6, 11, 7, 11, 8 },
01191 { 8, 7, 11, 7, 8, 4, 9, 4, 8, 0, 9, 8, 9, 0, 1, 3, 1, 0, 1, 3, 2, 11, 2, 3, 8, 11, 3 },
01192 { 10, 5, 9, 5, 10, 6, 11, 6, 10, 2, 11, 10, 11, 2, 3, 1, 3, 2, 3, 1, 0, 9, 0, 1, 10, 9, 1 },
01193 { 8, 0, 9, 1, 9, 0, 9, 1, 10, 9, 10, 5, 6, 5, 10, 5, 6, 4, 7, 4, 6, 4, 7, 8, 4, 8, 9 },
01194 { 9, 1, 10, 2, 10, 1, 10, 2, 11, 10, 11, 6, 7, 6, 11, 6, 7, 5, 4, 5, 7, 5, 4, 9, 5, 9, 10 },
01195 { 10, 2, 11, 3, 11, 2, 11, 3, 8, 11, 8, 7, 4, 7, 8, 7, 4, 6, 5, 6, 4, 6, 5, 10, 6, 10, 11 },
01196 { 11, 2, 10, 2, 11, 3, 8, 3, 11, 7, 8, 11, 8, 7, 4, 6, 4, 7, 4, 6, 5, 10, 5, 6, 11, 10, 6 },
01197 { 10, 1, 9, 1, 10, 2, 11, 2, 10, 6, 11, 10, 11, 6, 7, 5, 7, 6, 7, 5, 4, 9, 4, 5, 10, 9, 5 },
01198 { 9, 0, 8, 0, 9, 1, 10, 1, 9, 5, 10, 9, 10, 5, 6, 4, 6, 5, 6, 4, 7, 8, 7, 4, 9, 8, 4 },
01199 { 9, 5, 10, 6, 10, 5, 10, 6, 11, 10, 11, 2, 3, 2, 11, 2, 3, 1, 0, 1, 3, 1, 0, 9, 1, 9, 10 },
01200 { 11, 7, 8, 4, 8, 7, 8, 4, 9, 8, 9, 0, 1, 0, 9, 0, 1, 3, 2, 3, 1, 3, 2, 11, 3, 11, 8 },
01201 { 8, 3, 11, 3, 8, 0, 9, 0, 8, 4, 9, 8, 9, 4, 5, 7, 5, 4, 5, 7, 6, 11, 6, 7, 8, 11, 7 },
01202 { 10, 6, 11, 7, 11, 6, 11, 7, 8, 11, 8, 3, 0, 3, 8, 3, 0, 2, 1, 2, 0, 2, 1, 10, 2, 10, 11 },
01203 { 8, 4, 9, 5, 9, 4, 9, 5, 10, 9, 10, 1, 2, 1, 10, 1, 2, 0, 3, 0, 2, 0, 3, 8, 0, 8, 9 }
01204 };
01205
01206
01207
01208
01218
01219 static const char tiling8[6][6] = {
01220 { 9, 8, 10, 10, 8, 11 },
01221 { 1, 5, 3, 3, 5, 7 },
01222 { 0, 4, 2, 4, 6, 2 },
01223 { 0, 2, 4, 4, 2, 6 },
01224 { 1, 3, 5, 3, 7, 5 },
01225 { 9, 10, 8, 10, 11, 8 }
01226 };
01227
01228
01229
01230
01240
01241 static const char tiling9[8][12] = {
01242 { 2, 10, 5, 3, 2, 5, 3, 5, 4, 3, 4, 8 },
01243 { 4, 7, 11, 9, 4, 11, 9, 11, 2, 9, 2, 1 },
01244 { 10, 7, 6, 1, 7, 10, 1, 8, 7, 1, 0, 8 },
01245 { 3, 6, 11, 0, 6, 3, 0, 5, 6, 0, 9, 5 },
01246 { 3, 11, 6, 0, 3, 6, 0, 6, 5, 0, 5, 9 },
01247 { 10, 6, 7, 1, 10, 7, 1, 7, 8, 1, 8, 0 },
01248 { 4, 11, 7, 9, 11, 4, 9, 2, 11, 9, 1, 2 },
01249 { 2, 5, 10, 3, 5, 2, 3, 4, 5, 3, 8, 4 }
01250 };
01251
01252
01253
01254
01255
01273
01274 static const char test10[6][3] = {
01275 { 2, 4, 7 },
01276 { 5, 6, 7 },
01277 { 1, 3, 7 },
01278 { 1, 3, 7 },
01279 { 5, 6, 7 },
01280 { 2, 4, 7 }
01281 };
01282
01283
01293
01294 static const char tiling10_1_1[6][12] = {
01295 { 5, 10, 7, 11, 7, 10, 8, 1, 9, 1, 8, 3 },
01296 { 1, 2, 5, 6, 5, 2, 4, 3, 0, 3, 4, 7 },
01297 { 11, 0, 8, 0, 11, 2, 4, 9, 6, 10, 6, 9 },
01298 { 9, 0, 10, 2, 10, 0, 6, 8, 4, 8, 6, 11 },
01299 { 7, 2, 3, 2, 7, 6, 0, 1, 4, 5, 4, 1 },
01300 { 7, 9, 5, 9, 7, 8, 10, 1, 11, 3, 11, 1 }
01301 };
01302
01303
01313
01314 static const char tiling10_1_1_[6][12] = {
01315 { 5, 9, 7, 8, 7, 9, 11, 1, 10, 1, 11, 3 },
01316 { 3, 2, 7, 6, 7, 2, 4, 1, 0, 1, 4, 5 },
01317 { 10, 0, 9, 0, 10, 2, 4, 8, 6, 11, 6, 8 },
01318 { 8, 0, 11, 2, 11, 0, 6, 9, 4, 9, 6, 10 },
01319 { 5, 2, 1, 2, 5, 6, 0, 3, 4, 7, 4, 3 },
01320 { 7, 10, 5, 10, 7, 11, 9, 1, 8, 3, 8, 1 }
01321 };
01322
01323
01333
01334 static const char tiling10_1_2[6][24] = {
01335 { 3, 11, 7, 3, 7, 8, 9, 8, 7, 5, 9, 7, 9, 5, 10, 9, 10, 1, 3, 1, 10, 11, 3, 10 },
01336 { 7, 6, 5, 7, 5, 4, 0, 4, 5, 1, 0, 5, 0, 1, 2, 0, 2, 3, 7, 3, 2, 6, 7, 2 },
01337 { 11, 2, 10, 6, 11, 10, 11, 6, 4, 11, 4, 8, 0, 8, 4, 9, 0, 4, 0, 9, 10, 0, 10, 2 },
01338 { 11, 2, 10, 11, 10, 6, 4, 6, 10, 9, 4, 10, 4, 9, 0, 4, 0, 8, 11, 8, 0, 2, 11, 0 },
01339 { 7, 6, 5, 4, 7, 5, 7, 4, 0, 7, 0, 3, 2, 3, 0, 1, 2, 0, 2, 1, 5, 2, 5, 6 },
01340 { 7, 8, 3, 11, 7, 3, 7, 11, 10, 7, 10, 5, 9, 5, 10, 1, 9, 10, 9, 1, 3, 9, 3, 8 }
01341 };
01342
01343
01353
01354 static const char tiling10_2[6][24] = {
01355 { 12, 5, 9, 12, 9, 8, 12, 8, 3, 12, 3, 1, 12, 1, 10, 12, 10, 11, 12, 11, 7, 12, 7, 5 },
01356 { 12, 1, 0, 12, 0, 4, 12, 4, 7, 12, 7, 3, 12, 3, 2, 12, 2, 6, 12, 6, 5, 12, 5, 1 },
01357 { 4, 8, 12, 6, 4, 12, 10, 6, 12, 9, 10, 12, 0, 9, 12, 2, 0, 12, 11, 2, 12, 8, 11, 12 },
01358 { 12, 9, 4, 12, 4, 6, 12, 6, 11, 12, 11, 8, 12, 8, 0, 12, 0, 2, 12, 2, 10, 12, 10, 9 },
01359 { 0, 3, 12, 4, 0, 12, 5, 4, 12, 1, 5, 12, 2, 1, 12, 6, 2, 12, 7, 6, 12, 3, 7, 12 },
01360 { 10, 5, 12, 11, 10, 12, 3, 11, 12, 1, 3, 12, 9, 1, 12, 8, 9, 12, 7, 8, 12, 5, 7, 12 }
01361 };
01362
01363
01373
01374 static const char tiling10_2_[6][24] = {
01375 { 8, 7, 12, 9, 8, 12, 1, 9, 12, 3, 1, 12, 11, 3, 12, 10, 11, 12, 5, 10, 12, 7, 5, 12 },
01376 { 4, 5, 12, 0, 4, 12, 3, 0, 12, 7, 3, 12, 6, 7, 12, 2, 6, 12, 1, 2, 12, 5, 1, 12 },
01377 { 12, 11, 6, 12, 6, 4, 12, 4, 9, 12, 9, 10, 12, 10, 2, 12, 2, 0, 12, 0, 8, 12, 8, 11 },
01378 { 6, 10, 12, 4, 6, 12, 8, 4, 12, 11, 8, 12, 2, 11, 12, 0, 2, 12, 9, 0, 12, 10, 9, 12 },
01379 { 12, 7, 4, 12, 4, 0, 12, 0, 1, 12, 1, 5, 12, 5, 6, 12, 6, 2, 12, 2, 3, 12, 3, 7 },
01380 { 12, 7, 11, 12, 11, 10, 12, 10, 1, 12, 1, 3, 12, 3, 8, 12, 8, 9, 12, 9, 5, 12, 5, 7 }
01381 };
01382
01383
01384
01385
01395
01396 static const char tiling11[12][12] = {
01397 { 2, 10, 9, 2, 9, 7, 2, 7, 3, 7, 9, 4 },
01398 { 1, 6, 2, 1, 8, 6, 1, 9, 8, 8, 7, 6 },
01399 { 8, 3, 1, 8, 1, 6, 8, 6, 4, 6, 1, 10 },
01400 { 0, 8, 11, 0, 11, 5, 0, 5, 1, 5, 11, 6 },
01401 { 9, 5, 7, 9, 7, 2, 9, 2, 0, 2, 7, 11 },
01402 { 5, 0, 4, 5, 11, 0, 5, 10, 11, 11, 3, 0 },
01403 { 5, 4, 0, 5, 0, 11, 5, 11, 10, 11, 0, 3 },
01404 { 9, 7, 5, 9, 2, 7, 9, 0, 2, 2, 11, 7 },
01405 { 0, 11, 8, 0, 5, 11, 0, 1, 5, 5, 6, 11 },
01406 { 8, 1, 3, 8, 6, 1, 8, 4, 6, 6, 10, 1 },
01407 { 1, 2, 6, 1, 6, 8, 1, 8, 9, 8, 6, 7 },
01408 { 2, 9, 10, 2, 7, 9, 2, 3, 7, 7, 4, 9 }
01409 };
01410
01411
01412
01413
01432
01433 static const char test12[24][4] = {
01434 { 4, 3, 7, 11 },
01435 { 3, 2, 7, 10 },
01436 { 2, 6, 7, 5 },
01437 { 6, 4, 7, 7 },
01438 { 2, 1, 7, 9 },
01439 { 5, 2, 7, 1 },
01440 { 5, 3, 7, 2 },
01441 { 5, 1, 7, 0 },
01442 { 5, 4, 7, 3 },
01443 { 6, 3, 7, 6 },
01444 { 1, 6, 7, 4 },
01445 { 1, 4, 7, 8 },
01446 { 4, 1, 7, 8 },
01447 { 6, 1, 7, 4 },
01448 { 3, 6, 7, 6 },
01449 { 4, 5, 7, 3 },
01450 { 1, 5, 7, 0 },
01451 { 3, 5, 7, 2 },
01452 { 2, 5, 7, 1 },
01453 { 1, 2, 7, 9 },
01454 { 4, 6, 7, 7 },
01455 { 6, 2, 7, 5 },
01456 { 2, 3, 7, 10 },
01457 { 3, 4, 7, 11 }
01458 };
01459
01460
01470
01471 static const char tiling12_1_1[24][12] = {
01472 { 7, 6, 11, 10, 3, 2, 3, 10, 8, 9, 8, 10 },
01473 { 6, 5, 10, 9, 2, 1, 2, 9, 11, 8, 11, 9 },
01474 { 10, 6, 5, 7, 9, 4, 9, 7, 1, 3, 1, 7 },
01475 { 7, 6, 11, 4, 8, 5, 3, 5, 8, 5, 3, 1 },
01476 { 5, 4, 9, 8, 1, 0, 1, 8, 10, 11, 10, 8 },
01477 { 1, 2, 10, 0, 9, 3, 5, 3, 9, 3, 5, 7 },
01478 { 10, 1, 2, 0, 11, 3, 11, 0, 6, 4, 6, 0 },
01479 { 8, 3, 0, 2, 9, 1, 9, 2, 4, 6, 4, 2 },
01480 { 3, 0, 8, 2, 11, 1, 7, 1, 11, 1, 7, 5 },
01481 { 6, 5, 10, 7, 11, 4, 2, 4, 11, 4, 2, 0 },
01482 { 9, 5, 4, 6, 8, 7, 8, 6, 0, 2, 0, 6 },
01483 { 8, 3, 0, 7, 4, 11, 9, 11, 4, 11, 9, 10 },
01484 { 4, 7, 8, 11, 0, 3, 0, 11, 9, 10, 9, 11 },
01485 { 4, 7, 8, 5, 9, 6, 0, 6, 9, 6, 0, 2 },
01486 { 11, 7, 6, 4, 10, 5, 10, 4, 2, 0, 2, 4 },
01487 { 11, 2, 3, 1, 8, 0, 8, 1, 7, 5, 7, 1 },
01488 { 0, 1, 9, 3, 8, 2, 4, 2, 8, 2, 4, 6 },
01489 { 2, 3, 11, 1, 10, 0, 6, 0, 10, 0, 6, 4 },
01490 { 9, 0, 1, 3, 10, 2, 10, 3, 5, 7, 5, 3 },
01491 { 9, 0, 1, 4, 5, 8, 10, 8, 5, 8, 10, 11 },
01492 { 8, 4, 7, 5, 11, 6, 11, 5, 3, 1, 3, 5 },
01493 { 5, 4, 9, 6, 10, 7, 1, 7, 10, 7, 1, 3 },
01494 { 10, 1, 2, 5, 6, 9, 11, 9, 6, 9, 11, 8 },
01495 { 11, 2, 3, 6, 7, 10, 8, 10, 7, 10, 8, 9 }
01496 };
01497
01498
01508
01509 static const char tiling12_1_1_[24][12] = {
01510 { 3, 2, 11, 10, 7, 6, 7, 10, 8, 9, 8, 10 },
01511 { 2, 1, 10, 9, 6, 5, 6, 9, 11, 8, 11, 9 },
01512 { 9, 4, 5, 7, 10, 6, 10, 7, 1, 3, 1, 7 },
01513 { 7, 4, 8, 6, 11, 5, 3, 5, 11, 5, 3, 1 },
01514 { 1, 0, 9, 8, 5, 4, 5, 8, 10, 11, 10, 8 },
01515 { 1, 0, 9, 2, 10, 3, 5, 3, 10, 3, 5, 7 },
01516 { 11, 3, 2, 0, 10, 1, 10, 0, 6, 4, 6, 0 },
01517 { 9, 1, 0, 2, 8, 3, 8, 2, 4, 6, 4, 2 },
01518 { 3, 2, 11, 0, 8, 1, 7, 1, 8, 1, 7, 5 },
01519 { 6, 7, 11, 5, 10, 4, 2, 4, 10, 4, 2, 0 },
01520 { 8, 7, 4, 6, 9, 5, 9, 6, 0, 2, 0, 6 },
01521 { 8, 7, 4, 3, 0, 11, 9, 11, 0, 11, 9, 10 },
01522 { 0, 3, 8, 11, 4, 7, 4, 11, 9, 10, 9, 11 },
01523 { 4, 5, 9, 7, 8, 6, 0, 6, 8, 6, 0, 2 },
01524 { 10, 5, 6, 4, 11, 7, 11, 4, 2, 0, 2, 4 },
01525 { 8, 0, 3, 1, 11, 2, 11, 1, 7, 5, 7, 1 },
01526 { 0, 3, 8, 1, 9, 2, 4, 2, 9, 2, 4, 6 },
01527 { 2, 1, 10, 3, 11, 0, 6, 0, 11, 0, 6, 4 },
01528 { 10, 2, 1, 3, 9, 0, 9, 3, 5, 7, 5, 3 },
01529 { 9, 4, 5, 0, 1, 8, 10, 8, 1, 8, 10, 11 },
01530 { 11, 6, 7, 5, 8, 4, 8, 5, 3, 1, 3, 5 },
01531 { 5, 6, 10, 4, 9, 7, 1, 7, 9, 7, 1, 3 },
01532 { 10, 5, 6, 1, 2, 9, 11, 9, 2, 9, 11, 8 },
01533 { 11, 6, 7, 2, 3, 10, 8, 10, 3, 10, 8, 9 }
01534 };
01535
01536
01546
01547 static const char tiling12_1_2[24][24] = {
01548 { 7, 3, 11, 3, 7, 8, 9, 8, 7, 6, 9, 7, 9, 6, 10, 2, 10, 6, 11, 2, 6, 2, 11, 3 },
01549 { 6, 2, 10, 2, 6, 11, 8, 11, 6, 5, 8, 6, 8, 5, 9, 1, 9, 5, 10, 1, 5, 1, 10, 2 },
01550 { 10, 9, 5, 9, 10, 1, 3, 1, 10, 6, 3, 10, 3, 6, 7, 4, 7, 6, 5, 4, 6, 4, 5, 9 },
01551 { 7, 8, 11, 3, 11, 8, 11, 3, 1, 11, 1, 6, 5, 6, 1, 6, 5, 4, 6, 4, 7, 8, 7, 4 },
01552 { 5, 1, 9, 1, 5, 10, 11, 10, 5, 4, 11, 5, 11, 4, 8, 0, 8, 4, 9, 0, 4, 0, 9, 1 },
01553 { 1, 9, 10, 5, 10, 9, 10, 5, 7, 10, 7, 2, 3, 2, 7, 2, 3, 0, 2, 0, 1, 9, 1, 0 },
01554 { 10, 11, 2, 11, 10, 6, 4, 6, 10, 1, 4, 10, 4, 1, 0, 3, 0, 1, 2, 3, 1, 3, 2, 11 },
01555 { 8, 9, 0, 9, 8, 4, 6, 4, 8, 3, 6, 8, 6, 3, 2, 1, 2, 3, 0, 1, 3, 1, 0, 9 },
01556 { 3, 11, 8, 7, 8, 11, 8, 7, 5, 8, 5, 0, 1, 0, 5, 0, 1, 2, 0, 2, 3, 11, 3, 2 },
01557 { 6, 11, 10, 2, 10, 11, 10, 2, 0, 10, 0, 5, 4, 5, 0, 5, 4, 7, 5, 7, 6, 11, 6, 7 },
01558 { 9, 8, 4, 8, 9, 0, 2, 0, 9, 5, 2, 9, 2, 5, 6, 7, 6, 5, 4, 7, 5, 7, 4, 8 },
01559 { 8, 4, 0, 9, 0, 4, 0, 9, 10, 0, 10, 3, 11, 3, 10, 3, 11, 7, 3, 7, 8, 4, 8, 7 },
01560 { 4, 0, 8, 0, 4, 9, 10, 9, 4, 7, 10, 4, 10, 7, 11, 3, 11, 7, 8, 3, 7, 3, 8, 0 },
01561 { 4, 9, 8, 0, 8, 9, 8, 0, 2, 8, 2, 7, 6, 7, 2, 7, 6, 5, 7, 5, 4, 9, 4, 5 },
01562 { 11, 10, 6, 10, 11, 2, 0, 2, 11, 7, 0, 11, 0, 7, 4, 5, 4, 7, 6, 5, 7, 5, 6, 10 },
01563 { 11, 8, 3, 8, 11, 7, 5, 7, 11, 2, 5, 11, 5, 2, 1, 0, 1, 2, 3, 0, 2, 0, 3, 8 },
01564 { 0, 8, 9, 4, 9, 8, 9, 4, 6, 9, 6, 1, 2, 1, 6, 1, 2, 3, 1, 3, 0, 8, 0, 3 },
01565 { 2, 10, 11, 6, 11, 10, 11, 6, 4, 11, 4, 3, 0, 3, 4, 3, 0, 1, 3, 1, 2, 10, 2, 1 },
01566 { 9, 10, 1, 10, 9, 5, 7, 5, 9, 0, 7, 9, 7, 0, 3, 2, 3, 0, 1, 2, 0, 2, 1, 10 },
01567 { 9, 5, 1, 10, 1, 5, 1, 10, 11, 1, 11, 0, 8, 0, 11, 0, 8, 4, 0, 4, 9, 5, 9, 4 },
01568 { 8, 11, 7, 11, 8, 3, 1, 3, 8, 4, 1, 8, 1, 4, 5, 6, 5, 4, 7, 6, 4, 6, 7, 11 },
01569 { 5, 10, 9, 1, 9, 10, 9, 1, 3, 9, 3, 4, 7, 4, 3, 4, 7, 6, 4, 6, 5, 10, 5, 6 },
01570 { 10, 6, 2, 11, 2, 6, 2, 11, 8, 2, 8, 1, 9, 1, 8, 1, 9, 5, 1, 5, 10, 6, 10, 5 },
01571 { 11, 7, 3, 8, 3, 7, 3, 8, 9, 3, 9, 2, 10, 2, 9, 2, 10, 6, 2, 6, 11, 7, 11, 6 }
01572 };
01573
01574
01584
01585 static const char tiling12_2[24][24] = {
01586 { 9, 8, 12, 10, 9, 12, 2, 10, 12, 3, 2, 12, 11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12 },
01587 { 8, 11, 12, 9, 8, 12, 1, 9, 12, 2, 1, 12, 10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12 },
01588 { 3, 1, 12, 7, 3, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12, 10, 6, 12, 1, 10, 12 },
01589 { 12, 3, 1, 12, 1, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3 },
01590 { 11, 10, 12, 8, 11, 12, 0, 8, 12, 1, 0, 12, 9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12 },
01591 { 12, 5, 7, 12, 7, 3, 12, 3, 2, 12, 2, 10, 12, 10, 1, 12, 1, 0, 12, 0, 9, 12, 9, 5 },
01592 { 4, 6, 12, 0, 4, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12, 11, 3, 12, 6, 11, 12 },
01593 { 6, 4, 12, 2, 6, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12, 9, 1, 12, 4, 9, 12 },
01594 { 12, 7, 5, 12, 5, 1, 12, 1, 0, 12, 0, 8, 12, 8, 3, 12, 3, 2, 12, 2, 11, 12, 11, 7 },
01595 { 12, 2, 0, 12, 0, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7, 12, 7, 11, 12, 11, 2 },
01596 { 2, 0, 12, 6, 2, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12, 9, 5, 12, 0, 9, 12 },
01597 { 12, 9, 10, 12, 10, 11, 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9 },
01598 { 10, 9, 12, 11, 10, 12, 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12, 0, 3, 12, 9, 0, 12 },
01599 { 12, 0, 2, 12, 2, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5, 12, 5, 9, 12, 9, 0 },
01600 { 0, 2, 12, 4, 0, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12, 11, 7, 12, 2, 11, 12 },
01601 { 5, 7, 12, 1, 5, 12, 0, 1, 12, 8, 0, 12, 3, 8, 12, 2, 3, 12, 11, 2, 12, 7, 11, 12 },
01602 { 12, 4, 6, 12, 6, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1, 12, 1, 9, 12, 9, 4 },
01603 { 12, 6, 4, 12, 4, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3, 12, 3, 11, 12, 11, 6 },
01604 { 7, 5, 12, 3, 7, 12, 2, 3, 12, 10, 2, 12, 1, 10, 12, 0, 1, 12, 9, 0, 12, 5, 9, 12 },
01605 { 12, 10, 11, 12, 11, 8, 12, 8, 0, 12, 0, 1, 12, 1, 9, 12, 9, 4, 12, 4, 5, 12, 5, 10 },
01606 { 1, 3, 12, 5, 1, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12 },
01607 { 12, 1, 3, 12, 3, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6, 12, 6, 10, 12, 10, 1 },
01608 { 12, 11, 8, 12, 8, 9, 12, 9, 1, 12, 1, 2, 12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11 },
01609 { 12, 8, 9, 12, 9, 10, 12, 10, 2, 12, 2, 3, 12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8 }
01610 };
01611
01612
01622
01623 static const char tiling12_2_[24][24] = {
01624 { 12, 2, 11, 12, 11, 7, 12, 7, 6, 12, 6, 10, 12, 10, 9, 12, 9, 8, 12, 8, 3, 12, 3, 2 },
01625 { 12, 1, 10, 12, 10, 6, 12, 6, 5, 12, 5, 9, 12, 9, 8, 12, 8, 11, 12, 11, 2, 12, 2, 1 },
01626 { 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7, 12, 7, 3, 12, 3, 1, 12, 1, 9, 12, 9, 4 },
01627 { 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12, 1, 5, 12, 3, 1, 12, 11, 3, 12, 6, 11, 12 },
01628 { 12, 0, 9, 12, 9, 5, 12, 5, 4, 12, 4, 8, 12, 8, 11, 12, 11, 10, 12, 10, 1, 12, 1, 0 },
01629 { 1, 2, 12, 9, 1, 12, 0, 9, 12, 3, 0, 12, 7, 3, 12, 5, 7, 12, 10, 5, 12, 2, 10, 12 },
01630 { 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0, 12, 0, 4, 12, 4, 6, 12, 6, 10, 12, 10, 1 },
01631 { 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2, 12, 2, 6, 12, 6, 4, 12, 4, 8, 12, 8, 3 },
01632 { 3, 0, 12, 11, 3, 12, 2, 11, 12, 1, 2, 12, 5, 1, 12, 7, 5, 12, 8, 7, 12, 0, 8, 12 },
01633 { 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12, 0, 4, 12, 2, 0, 12, 10, 2, 12, 5, 10, 12 },
01634 { 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6, 12, 6, 2, 12, 2, 0, 12, 0, 8, 12, 8, 7 },
01635 { 8, 7, 12, 0, 8, 12, 3, 0, 12, 11, 3, 12, 10, 11, 12, 9, 10, 12, 4, 9, 12, 7, 4, 12 },
01636 { 12, 7, 8, 12, 8, 0, 12, 0, 3, 12, 3, 11, 12, 11, 10, 12, 10, 9, 12, 9, 4, 12, 4, 7 },
01637 { 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12, 2, 6, 12, 0, 2, 12, 8, 0, 12, 7, 8, 12 },
01638 { 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4, 12, 4, 0, 12, 0, 2, 12, 2, 10, 12, 10, 5 },
01639 { 12, 0, 3, 12, 3, 11, 12, 11, 2, 12, 2, 1, 12, 1, 5, 12, 5, 7, 12, 7, 8, 12, 8, 0 },
01640 { 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12, 6, 2, 12, 4, 6, 12, 8, 4, 12, 3, 8, 12 },
01641 { 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12, 4, 0, 12, 6, 4, 12, 10, 6, 12, 1, 10, 12 },
01642 { 12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3, 12, 3, 7, 12, 7, 5, 12, 5, 10, 12, 10, 2 },
01643 { 9, 0, 12, 5, 9, 12, 4, 5, 12, 8, 4, 12, 11, 8, 12, 10, 11, 12, 1, 10, 12, 0, 1, 12 },
01644 { 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5, 12, 5, 1, 12, 1, 3, 12, 3, 11, 12, 11, 6 },
01645 { 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12, 3, 7, 12, 1, 3, 12, 9, 1, 12, 4, 9, 12 },
01646 { 10, 1, 12, 6, 10, 12, 5, 6, 12, 9, 5, 12, 8, 9, 12, 11, 8, 12, 2, 11, 12, 1, 2, 12 },
01647 { 11, 2, 12, 7, 11, 12, 6, 7, 12, 10, 6, 12, 9, 10, 12, 8, 9, 12, 3, 8, 12, 2, 3, 12 }
01648 };
01649
01650
01651
01652
01653
01665
01666
01667 static const char test13[2][7] = {
01668 { 1,2,3,4,5,6, 7 },
01669 { 2,3,4,1,5,6,-7 },
01670 };
01671
01672
01673
01674
01686
01687
01688 static const char subconfig13[64] = {
01689 0,
01690 1,
01691 2,
01692 7,
01693 3,
01694 -1,
01695 11,
01696 -1,
01697 4,
01698 8,
01699 -1,
01700 -1,
01701 14,
01702 -1,
01703 -1,
01704 -1,
01705 5,
01706 9,
01707 12,
01708 23,
01709 15,
01710 -1,
01711 21,
01712 38,
01713 17,
01714 20,
01715 -1,
01716 36,
01717 26,
01718 33,
01719 30,
01720 44,
01721 6,
01722 10,
01723 13,
01724 19,
01725 16,
01726 -1,
01727 25,
01728 37,
01729 18,
01730 24,
01731 -1,
01732 35,
01733 22,
01734 32,
01735 29,
01736 43,
01737 -1,
01738 -1,
01739 -1,
01740 34,
01741 -1,
01742 -1,
01743 28,
01744 42,
01745 -1,
01746 31,
01747 -1,
01748 41,
01749 27,
01750 40,
01751 39,
01752 45,
01753 };
01754
01755
01756
01766
01767
01768 static const char tiling13_1[2][12] = {
01769 { 11, 7, 6, 1, 2, 10, 8, 3, 0, 9, 5, 4 },
01770 { 8, 4, 7, 2, 3, 11, 9, 0, 1, 10, 6, 5 }
01771 };
01772
01773
01783
01784
01785 static const char tiling13_1_[2][12] = {
01786 { 7, 4, 8, 11, 3, 2, 1, 0, 9, 5, 6, 10 },
01787 { 6, 7, 11, 10, 2, 1, 0, 3, 8, 4, 5, 9 }
01788 };
01789
01790
01800
01801
01802 static const char tiling13_2[2][6][18] = {
01803 {
01804 { 1, 2, 10, 11, 7, 6, 3, 4, 8, 4, 3, 5, 0, 5, 3, 5, 0, 9 },
01805 { 8, 3, 0, 11, 7, 6, 9, 1, 4, 2, 4, 1, 4, 2, 5, 10, 5, 2 },
01806 { 9, 5, 4, 8, 3, 0, 1, 6, 10, 6, 1, 7, 2, 7, 1, 7, 2, 11 },
01807 { 9, 5, 4, 1, 2, 10, 11, 3, 6, 0, 6, 3, 6, 0, 7, 8, 7, 0 },
01808 { 9, 5, 4, 11, 7, 6, 0, 10, 1, 10, 0, 8, 10, 8, 2, 3, 2, 8 },
01809 { 1, 2, 10, 3, 0, 8, 4, 9, 7, 11, 7, 9, 5, 11, 9, 11, 5, 6 }
01810 },
01811 {
01812 { 2, 3, 11, 8, 4, 7, 0, 5, 9, 5, 0, 6, 1, 6, 0, 6, 1, 10 },
01813 { 9, 0, 1, 8, 4, 7, 10, 2, 5, 3, 5, 2, 5, 3, 6, 11, 6, 3 },
01814 { 6, 5, 10, 9, 0, 1, 2, 7, 11, 7, 2, 4, 3, 4, 2, 4, 3, 8 },
01815 { 6, 5, 10, 2, 3, 11, 8, 0, 7, 1, 7, 0, 7, 1, 4, 9, 4, 1 },
01816 { 6, 5, 10, 8, 4, 7, 1, 11, 2, 11, 1, 9, 11, 9, 3, 0, 3, 9 },
01817 { 2, 3, 11, 0, 1, 9, 5, 10, 4, 8, 4, 10, 6, 8, 10, 8, 6, 7 }
01818 } };
01819
01820
01830
01831
01832 static const char tiling13_2_[2][6][18] = {
01833 {
01834 { 10, 5, 6, 11, 3, 2, 7, 0, 8, 0, 7, 1, 4, 1, 7, 1, 4, 9 },
01835 { 11, 3, 2, 7, 4, 8, 9, 5, 0, 6, 0, 5, 0, 6, 1, 10, 1, 6 },
01836 { 1, 0, 9, 7, 4, 8, 5, 2, 10, 2, 5, 3, 6, 3, 5, 3, 6, 11 },
01837 { 10, 5, 6, 1, 0, 9, 11, 7, 2, 4, 2, 7, 2, 4, 3, 8, 3, 4 },
01838 { 10, 5, 6, 7, 4, 8, 2, 11, 1, 9, 1, 11, 3, 9, 11, 9, 3, 0 },
01839 { 11, 3, 2, 9, 1, 0, 4, 10, 5, 10, 4, 8, 10, 8, 6, 7, 6, 8 }
01840 },
01841 {
01842 { 6, 7, 11, 8, 0, 3, 4, 1, 9, 1, 4, 2, 5, 2, 4, 2, 5, 10 },
01843 { 8, 0, 3, 4, 5, 9, 10, 6, 1, 7, 1, 6, 1, 7, 2, 11, 2, 7 },
01844 { 2, 1, 10, 4, 5, 9, 6, 3, 11, 3, 6, 0, 7, 0, 6, 0, 7, 8 },
01845 { 6, 7, 11, 2, 1, 10, 8, 4, 3, 5, 3, 4, 3, 5, 0, 9, 0, 5 },
01846 { 6, 7, 11, 4, 5, 9, 3, 8, 2, 10, 2, 8, 0, 10, 8, 10, 0, 1 },
01847 { 8, 0, 3, 10, 2, 1, 5, 11, 6, 11, 5, 9, 11, 9, 7, 4, 7, 9 }
01848 } };
01849
01850
01860
01861
01862 static const char tiling13_3[2][12][30] = {
01863 {
01864 { 11, 7, 6, 12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2 },
01865 { 1, 2, 10, 9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12 },
01866 { 11, 7, 6, 12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 1, 12, 1, 0, 12, 0, 9, 12, 9, 5 },
01867 { 1, 2, 10, 12, 3, 0, 12, 0, 9, 12, 9, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3 },
01868 { 8, 3, 0, 11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12 },
01869 { 11, 7, 6, 5, 4, 12, 10, 5, 12, 2, 10, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12, 9, 1, 12, 4, 9, 12 },
01870 { 8, 3, 0, 1, 2, 12, 9, 1, 12, 4, 9, 12, 7, 4, 12, 11, 7, 12, 6, 11, 12, 5, 6, 12, 10, 5, 12, 2, 10, 12 },
01871 { 9, 5, 4, 12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0 },
01872 { 9, 5, 4, 12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 0, 12, 0, 8, 12, 8, 3, 12, 3, 2, 12, 2, 11, 12, 11, 7 },
01873 { 8, 3, 0, 12, 1, 2, 12, 2, 11, 12, 11, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6, 12, 6, 10, 12, 10, 1 },
01874 { 9, 5, 4, 7, 6, 12, 8, 7, 12, 0, 8, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12, 11, 3, 12, 6, 11, 12 },
01875 { 1, 2, 10, 3, 0, 12, 11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 4, 9, 12, 7, 4, 12, 8, 7, 12, 0, 8, 12 }
01876 },
01877 {
01878 { 8, 4, 7, 12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3 },
01879 { 2, 3, 11, 10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 7, 8, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12 },
01880 { 8, 4, 7, 12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 2, 12, 2, 1, 12, 1, 10, 12, 10, 6 },
01881 { 2, 3, 11, 12, 0, 1, 12, 1, 10, 12, 10, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5, 12, 5, 9, 12, 9, 0 },
01882 { 0, 1, 9, 8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12 },
01883 { 8, 4, 7, 6, 5, 12, 11, 6, 12, 3, 11, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12, 10, 2, 12, 5, 10, 12 },
01884 { 9, 0, 1, 2, 3, 12, 10, 2, 12, 5, 10, 12, 4, 5, 12, 8, 4, 12, 7, 8, 12, 6, 7, 12, 11, 6, 12, 3, 11, 12 },
01885 { 6, 5, 10, 12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1 },
01886 { 6, 5, 10, 12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3, 12, 3, 8, 12, 8, 4 },
01887 { 9, 0, 1, 12, 2, 3, 12, 3, 8, 12, 8, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7, 12, 7, 11, 12, 11, 2 },
01888 { 6, 5, 10, 4, 7, 12, 9, 4, 12, 1, 9, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12, 8, 0, 12, 7, 8, 12 },
01889 { 2, 3, 11, 0, 1, 12, 8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 5, 10, 12, 4, 5, 12, 9, 4, 12, 1, 9, 12 }
01890 } };
01891
01892
01902
01903
01904 static const char tiling13_3_[2][12][30] = {
01905 {
01906 { 3, 2, 11, 8, 7, 12, 0, 8, 12, 1, 0, 12, 10, 1, 12, 6, 10, 12, 5, 6, 12, 9, 5, 12, 4, 9, 12, 7, 4, 12 },
01907 { 5, 6, 10, 12, 2, 11, 12, 11, 7, 12, 7, 4, 12, 4, 9, 12, 9, 1, 12, 1, 0, 12, 0, 8, 12, 8, 3, 12, 3, 2 },
01908 { 10, 5, 6, 12, 7, 4, 12, 4, 9, 12, 9, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0, 12, 0, 8, 12, 8, 7 },
01909 { 11, 3, 2, 12, 1, 0, 12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 5, 12, 5, 4, 12, 4, 9, 12, 9, 1 },
01910 { 7, 4, 8, 11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 0, 9, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12 },
01911 { 7, 4, 8, 5, 6, 12, 9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 2, 11, 12, 1, 2, 12, 10, 1, 12, 6, 10, 12 },
01912 { 11, 3, 2, 1, 0, 12, 10, 1, 12, 6, 10, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12, 9, 5, 12, 0, 9, 12 },
01913 { 1, 0, 9, 12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4 },
01914 { 7, 4, 8, 12, 5, 6, 12, 6, 11, 12, 11, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2, 12, 2, 10, 12, 10, 5 },
01915 { 1, 0, 9, 12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 7, 12, 7, 6, 12, 6, 11, 12, 11, 3 },
01916 { 10, 5, 6, 7, 4, 12, 11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 0, 9, 12, 3, 0, 12, 8, 3, 12, 4, 8, 12 },
01917 { 9, 1, 0, 3, 2, 12, 8, 3, 12, 4, 8, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12, 11, 7, 12, 2, 11, 12 }
01918 },
01919 {
01920 { 0, 3, 8, 9, 4, 12, 1, 9, 12, 2, 1, 12, 11, 2, 12, 7, 11, 12, 6, 7, 12, 10, 6, 12, 5, 10, 12, 4, 5, 12 },
01921 { 11, 6, 7, 12, 3, 8, 12, 8, 4, 12, 4, 5, 12, 5, 10, 12, 10, 2, 12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3 },
01922 { 6, 7, 11, 12, 4, 5, 12, 5, 10, 12, 10, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1, 12, 1, 9, 12, 9, 4 },
01923 { 8, 0, 3, 12, 2, 1, 12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 6, 12, 6, 5, 12, 5, 10, 12, 10, 2 },
01924 { 4, 5, 9, 8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 1, 10, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12 },
01925 { 4, 5, 9, 6, 7, 12, 10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 3, 8, 12, 2, 3, 12, 11, 2, 12, 7, 11, 12 },
01926 { 8, 0, 3, 2, 1, 12, 11, 2, 12, 7, 11, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12, 10, 6, 12, 1, 10, 12 },
01927 { 2, 1, 10, 12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5 },
01928 { 4, 5, 9, 12, 6, 7, 12, 7, 8, 12, 8, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3, 12, 3, 11, 12, 11, 6 },
01929 { 2, 1, 10, 12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 4, 12, 4, 7, 12, 7, 8, 12, 8, 0 },
01930 { 6, 7, 11, 4, 5, 12, 8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 1, 10, 12, 0, 1, 12, 9, 0, 12, 5, 9, 12 },
01931 { 10, 2, 1, 0, 3, 12, 9, 0, 12, 5, 9, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12 }
01932 } };
01933
01934
01944
01945
01946 static const char tiling13_4[2][4][36] = {
01947 {
01948 { 12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2 },
01949 { 11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12, 9, 5, 12, 0, 9, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12 },
01950 { 9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12, 11, 7, 12, 2, 11, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12 },
01951 { 12, 0, 8, 12, 8, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6, 12, 6, 10, 12, 10, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0 }
01952 },
01953 {
01954 { 12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5, 12, 5, 9, 12, 9, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3 },
01955 { 8, 0, 12, 7, 8, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12, 10, 6, 12, 1, 10, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12 },
01956 { 10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12 },
01957 { 12, 1, 9, 12, 9, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7, 12, 7, 11, 12, 11, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1 }
01958 } };
01959
01960
01971
01972
01973 static const char tiling13_5_1[2][4][18] = {
01974 {
01975 { 7, 6, 11, 1, 0, 9, 10, 3, 2, 3, 10, 5, 3, 5, 8, 4, 8, 5 },
01976 { 1, 2, 10, 7, 4, 8, 3, 0, 11, 6, 11, 0, 9, 6, 0, 6, 9, 5 },
01977 { 3, 0, 8, 5, 6, 10, 1, 2, 9, 4, 9, 2, 11, 4, 2, 4, 11, 7 },
01978 { 5, 4, 9, 3, 2, 11, 8, 1, 0, 1, 8, 7, 1, 7, 10, 6, 10, 7 }
01979 },
01980 {
01981 { 4, 7, 8, 2, 1, 10, 11, 0, 3, 0, 11, 6, 0, 6, 9, 5, 9, 6 },
01982 { 2, 3, 11, 4, 5, 9, 0, 1, 8, 7, 8, 1, 10, 7, 1, 7, 10, 6 },
01983 { 0, 1, 9, 6, 7, 11, 2, 3, 10, 5, 10, 3, 8, 5, 3, 5, 8, 4 },
01984 { 6, 5, 10, 0, 3, 8, 9, 2, 1, 2, 9, 4, 2, 4, 11, 7, 11, 4 }
01985 } };
01986
01987
01997
01998
01999 static const char tiling13_5_2[2][4][30] = {
02000 {
02001 { 1, 0, 9, 7, 4, 8, 7, 8, 3, 7, 3, 11, 2, 11, 3, 11, 2, 10, 11, 10, 6, 5, 6, 10, 6, 5, 7, 4, 7, 5 },
02002 { 7, 4, 8, 11, 3, 2, 6, 11, 2, 10, 6, 2, 6, 10, 5, 9, 5, 10, 1, 9, 10, 9, 1, 0, 2, 0, 1, 0, 2, 3 },
02003 { 5, 6, 10, 9, 1, 0, 4, 9, 0, 8, 4, 0, 4, 8, 7, 11, 7, 8, 3, 11, 8, 11, 3, 2, 0, 2, 3, 2, 0, 1 },
02004 { 3, 2, 11, 5, 6, 10, 5, 10, 1, 5, 1, 9, 0, 9, 1, 9, 0, 8, 9, 8, 4, 4, 8, 7, 4, 7, 5, 6, 5, 7 }
02005 },
02006 {
02007 { 2, 1, 10, 4, 5, 9, 4, 9, 0, 4, 0, 8, 3, 8, 0, 8, 3, 11, 8, 11, 7, 6, 7, 11, 7, 6, 4, 5, 4, 6 },
02008 { 4, 5, 9, 8, 0, 3, 7, 8, 3, 11, 7, 3, 7, 11, 6, 10, 6, 11, 2, 10, 11, 10, 2, 1, 3, 1, 2, 1, 3, 0 },
02009 { 6, 7, 11, 10, 2, 1, 5, 10, 1, 9, 5, 1, 5, 9, 4, 8, 4, 9, 0, 8, 9, 8, 0, 3, 1, 3, 0, 3, 1, 2 },
02010 { 0, 3, 8, 6, 7, 11, 6, 11, 2, 6, 2, 10, 1, 10, 2, 10, 1, 9, 10, 9, 5, 5, 9, 4, 5, 4, 6, 7, 6, 4 }
02011 } };
02012
02013
02014
02015
02016
02026
02027 static const char tiling14[12][12] = {
02028 { 5, 9, 8, 5, 8, 2, 5, 2, 6, 3, 2, 8 },
02029 { 2, 1, 5, 2, 5, 8, 2, 8, 11, 4, 8, 5 },
02030 { 9, 4, 6, 9, 6, 3, 9, 3, 1, 11, 3, 6 },
02031 { 1, 11, 10, 1, 4, 11, 1, 0, 4, 7, 11, 4 },
02032 { 8, 2, 0, 8, 5, 2, 8, 7, 5, 10, 2, 5 },
02033 { 0, 7, 3, 0, 10, 7, 0, 9, 10, 6, 7, 10 },
02034 { 0, 3, 7, 0, 7, 10, 0, 10, 9, 6, 10, 7 },
02035 { 8, 0, 2, 8, 2, 5, 8, 5, 7, 10, 5, 2 },
02036 { 1, 10, 11, 1, 11, 4, 1, 4, 0, 7, 4, 11 },
02037 { 9, 6, 4, 9, 3, 6, 9, 1, 3, 11, 6, 3 },
02038 { 2, 5, 1, 2, 8, 5, 2, 11, 8, 4, 5, 8 },
02039 { 5, 8, 9, 5, 2, 8, 5, 6, 2, 3, 8, 2 }
02040 };
02041
02042
02043
02044
02045
02055
02056 static const char casesClassic[256][16] = {
02057 { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02058 { 0, 8, 3, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02059 { 0, 1, 9, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02060 { 1, 8, 3, 9, 8, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02061 { 1, 2, 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02062 { 0, 8, 3, 1, 2, 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02063 { 9, 2, 10, 0, 2, 9, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02064 { 2, 8, 3, 2, 10, 8, 10, 9, 8, -1, -1, -1, -1, -1, -1, -1 },
02065 { 3, 11, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02066 { 0, 11, 2, 8, 11, 0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02067 { 1, 9, 0, 2, 3, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02068 { 1, 11, 2, 1, 9, 11, 9, 8, 11, -1, -1, -1, -1, -1, -1, -1 },
02069 { 3, 10, 1, 11, 10, 3, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02070 { 0, 10, 1, 0, 8, 10, 8, 11, 10, -1, -1, -1, -1, -1, -1, -1 },
02071 { 3, 9, 0, 3, 11, 9, 11, 10, 9, -1, -1, -1, -1, -1, -1, -1 },
02072 { 9, 8, 10, 10, 8, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02073 { 4, 7, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02074 { 4, 3, 0, 7, 3, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02075 { 0, 1, 9, 8, 4, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02076 { 4, 1, 9, 4, 7, 1, 7, 3, 1, -1, -1, -1, -1, -1, -1, -1 },
02077 { 1, 2, 10, 8, 4, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02078 { 3, 4, 7, 3, 0, 4, 1, 2, 10, -1, -1, -1, -1, -1, -1, -1 },
02079 { 9, 2, 10, 9, 0, 2, 8, 4, 7, -1, -1, -1, -1, -1, -1, -1 },
02080 { 2, 10, 9, 2, 9, 7, 2, 7, 3, 7, 9, 4, -1, -1, -1, -1 },
02081 { 8, 4, 7, 3, 11, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02082 { 11, 4, 7, 11, 2, 4, 2, 0, 4, -1, -1, -1, -1, -1, -1, -1 },
02083 { 9, 0, 1, 8, 4, 7, 2, 3, 11, -1, -1, -1, -1, -1, -1, -1 },
02084 { 4, 7, 11, 9, 4, 11, 9, 11, 2, 9, 2, 1, -1, -1, -1, -1 },
02085 { 3, 10, 1, 3, 11, 10, 7, 8, 4, -1, -1, -1, -1, -1, -1, -1 },
02086 { 1, 11, 10, 1, 4, 11, 1, 0, 4, 7, 11, 4, -1, -1, -1, -1 },
02087 { 4, 7, 8, 9, 0, 11, 9, 11, 10, 11, 0, 3, -1, -1, -1, -1 },
02088 { 4, 7, 11, 4, 11, 9, 9, 11, 10, -1, -1, -1, -1, -1, -1, -1 },
02089 { 9, 5, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02090 { 9, 5, 4, 0, 8, 3, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02091 { 0, 5, 4, 1, 5, 0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02092 { 8, 5, 4, 8, 3, 5, 3, 1, 5, -1, -1, -1, -1, -1, -1, -1 },
02093 { 1, 2, 10, 9, 5, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02094 { 3, 0, 8, 1, 2, 10, 4, 9, 5, -1, -1, -1, -1, -1, -1, -1 },
02095 { 5, 2, 10, 5, 4, 2, 4, 0, 2, -1, -1, -1, -1, -1, -1, -1 },
02096 { 2, 10, 5, 3, 2, 5, 3, 5, 4, 3, 4, 8, -1, -1, -1, -1 },
02097 { 9, 5, 4, 2, 3, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02098 { 0, 11, 2, 0, 8, 11, 4, 9, 5, -1, -1, -1, -1, -1, -1, -1 },
02099 { 0, 5, 4, 0, 1, 5, 2, 3, 11, -1, -1, -1, -1, -1, -1, -1 },
02100 { 2, 1, 5, 2, 5, 8, 2, 8, 11, 4, 8, 5, -1, -1, -1, -1 },
02101 { 10, 3, 11, 10, 1, 3, 9, 5, 4, -1, -1, -1, -1, -1, -1, -1 },
02102 { 4, 9, 5, 0, 8, 1, 8, 10, 1, 8, 11, 10, -1, -1, -1, -1 },
02103 { 5, 4, 0, 5, 0, 11, 5, 11, 10, 11, 0, 3, -1, -1, -1, -1 },
02104 { 5, 4, 8, 5, 8, 10, 10, 8, 11, -1, -1, -1, -1, -1, -1, -1 },
02105 { 9, 7, 8, 5, 7, 9, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02106 { 9, 3, 0, 9, 5, 3, 5, 7, 3, -1, -1, -1, -1, -1, -1, -1 },
02107 { 0, 7, 8, 0, 1, 7, 1, 5, 7, -1, -1, -1, -1, -1, -1, -1 },
02108 { 1, 5, 3, 3, 5, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02109 { 9, 7, 8, 9, 5, 7, 10, 1, 2, -1, -1, -1, -1, -1, -1, -1 },
02110 { 10, 1, 2, 9, 5, 0, 5, 3, 0, 5, 7, 3, -1, -1, -1, -1 },
02111 { 8, 0, 2, 8, 2, 5, 8, 5, 7, 10, 5, 2, -1, -1, -1, -1 },
02112 { 2, 10, 5, 2, 5, 3, 3, 5, 7, -1, -1, -1, -1, -1, -1, -1 },
02113 { 7, 9, 5, 7, 8, 9, 3, 11, 2, -1, -1, -1, -1, -1, -1, -1 },
02114 { 9, 5, 7, 9, 7, 2, 9, 2, 0, 2, 7, 11, -1, -1, -1, -1 },
02115 { 2, 3, 11, 0, 1, 8, 1, 7, 8, 1, 5, 7, -1, -1, -1, -1 },
02116 { 11, 2, 1, 11, 1, 7, 7, 1, 5, -1, -1, -1, -1, -1, -1, -1 },
02117 { 9, 5, 8, 8, 5, 7, 10, 1, 3, 10, 3, 11, -1, -1, -1, -1 },
02118 { 5, 7, 0, 5, 0, 9, 7, 11, 0, 1, 0, 10, 11, 10, 0, -1 },
02119 { 11, 10, 0, 11, 0, 3, 10, 5, 0, 8, 0, 7, 5, 7, 0, -1 },
02120 { 11, 10, 5, 7, 11, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02121 { 10, 6, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02122 { 0, 8, 3, 5, 10, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02123 { 9, 0, 1, 5, 10, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02124 { 1, 8, 3, 1, 9, 8, 5, 10, 6, -1, -1, -1, -1, -1, -1, -1 },
02125 { 1, 6, 5, 2, 6, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02126 { 1, 6, 5, 1, 2, 6, 3, 0, 8, -1, -1, -1, -1, -1, -1, -1 },
02127 { 9, 6, 5, 9, 0, 6, 0, 2, 6, -1, -1, -1, -1, -1, -1, -1 },
02128 { 5, 9, 8, 5, 8, 2, 5, 2, 6, 3, 2, 8, -1, -1, -1, -1 },
02129 { 2, 3, 11, 10, 6, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02130 { 11, 0, 8, 11, 2, 0, 10, 6, 5, -1, -1, -1, -1, -1, -1, -1 },
02131 { 0, 1, 9, 2, 3, 11, 5, 10, 6, -1, -1, -1, -1, -1, -1, -1 },
02132 { 5, 10, 6, 1, 9, 2, 9, 11, 2, 9, 8, 11, -1, -1, -1, -1 },
02133 { 6, 3, 11, 6, 5, 3, 5, 1, 3, -1, -1, -1, -1, -1, -1, -1 },
02134 { 0, 8, 11, 0, 11, 5, 0, 5, 1, 5, 11, 6, -1, -1, -1, -1 },
02135 { 3, 11, 6, 0, 3, 6, 0, 6, 5, 0, 5, 9, -1, -1, -1, -1 },
02136 { 6, 5, 9, 6, 9, 11, 11, 9, 8, -1, -1, -1, -1, -1, -1, -1 },
02137 { 5, 10, 6, 4, 7, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02138 { 4, 3, 0, 4, 7, 3, 6, 5, 10, -1, -1, -1, -1, -1, -1, -1 },
02139 { 1, 9, 0, 5, 10, 6, 8, 4, 7, -1, -1, -1, -1, -1, -1, -1 },
02140 { 10, 6, 5, 1, 9, 7, 1, 7, 3, 7, 9, 4, -1, -1, -1, -1 },
02141 { 6, 1, 2, 6, 5, 1, 4, 7, 8, -1, -1, -1, -1, -1, -1, -1 },
02142 { 1, 2, 5, 5, 2, 6, 3, 0, 4, 3, 4, 7, -1, -1, -1, -1 },
02143 { 8, 4, 7, 9, 0, 5, 0, 6, 5, 0, 2, 6, -1, -1, -1, -1 },
02144 { 7, 3, 9, 7, 9, 4, 3, 2, 9, 5, 9, 6, 2, 6, 9, -1 },
02145 { 3, 11, 2, 7, 8, 4, 10, 6, 5, -1, -1, -1, -1, -1, -1, -1 },
02146 { 5, 10, 6, 4, 7, 2, 4, 2, 0, 2, 7, 11, -1, -1, -1, -1 },
02147 { 0, 1, 9, 4, 7, 8, 2, 3, 11, 5, 10, 6, -1, -1, -1, -1 },
02148 { 9, 2, 1, 9, 11, 2, 9, 4, 11, 7, 11, 4, 5, 10, 6, -1 },
02149 { 8, 4, 7, 3, 11, 5, 3, 5, 1, 5, 11, 6, -1, -1, -1, -1 },
02150 { 5, 1, 11, 5, 11, 6, 1, 0, 11, 7, 11, 4, 0, 4, 11, -1 },
02151 { 0, 5, 9, 0, 6, 5, 0, 3, 6, 11, 6, 3, 8, 4, 7, -1 },
02152 { 6, 5, 9, 6, 9, 11, 4, 7, 9, 7, 11, 9, -1, -1, -1, -1 },
02153 { 10, 4, 9, 6, 4, 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02154 { 4, 10, 6, 4, 9, 10, 0, 8, 3, -1, -1, -1, -1, -1, -1, -1 },
02155 { 10, 0, 1, 10, 6, 0, 6, 4, 0, -1, -1, -1, -1, -1, -1, -1 },
02156 { 8, 3, 1, 8, 1, 6, 8, 6, 4, 6, 1, 10, -1, -1, -1, -1 },
02157 { 1, 4, 9, 1, 2, 4, 2, 6, 4, -1, -1, -1, -1, -1, -1, -1 },
02158 { 3, 0, 8, 1, 2, 9, 2, 4, 9, 2, 6, 4, -1, -1, -1, -1 },
02159 { 0, 2, 4, 4, 2, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02160 { 8, 3, 2, 8, 2, 4, 4, 2, 6, -1, -1, -1, -1, -1, -1, -1 },
02161 { 10, 4, 9, 10, 6, 4, 11, 2, 3, -1, -1, -1, -1, -1, -1, -1 },
02162 { 0, 8, 2, 2, 8, 11, 4, 9, 10, 4, 10, 6, -1, -1, -1, -1 },
02163 { 3, 11, 2, 0, 1, 6, 0, 6, 4, 6, 1, 10, -1, -1, -1, -1 },
02164 { 6, 4, 1, 6, 1, 10, 4, 8, 1, 2, 1, 11, 8, 11, 1, -1 },
02165 { 9, 6, 4, 9, 3, 6, 9, 1, 3, 11, 6, 3, -1, -1, -1, -1 },
02166 { 8, 11, 1, 8, 1, 0, 11, 6, 1, 9, 1, 4, 6, 4, 1, -1 },
02167 { 3, 11, 6, 3, 6, 0, 0, 6, 4, -1, -1, -1, -1, -1, -1, -1 },
02168 { 6, 4, 8, 11, 6, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02169 { 7, 10, 6, 7, 8, 10, 8, 9, 10, -1, -1, -1, -1, -1, -1, -1 },
02170 { 0, 7, 3, 0, 10, 7, 0, 9, 10, 6, 7, 10, -1, -1, -1, -1 },
02171 { 10, 6, 7, 1, 10, 7, 1, 7, 8, 1, 8, 0, -1, -1, -1, -1 },
02172 { 10, 6, 7, 10, 7, 1, 1, 7, 3, -1, -1, -1, -1, -1, -1, -1 },
02173 { 1, 2, 6, 1, 6, 8, 1, 8, 9, 8, 6, 7, -1, -1, -1, -1 },
02174 { 2, 6, 9, 2, 9, 1, 6, 7, 9, 0, 9, 3, 7, 3, 9, -1 },
02175 { 7, 8, 0, 7, 0, 6, 6, 0, 2, -1, -1, -1, -1, -1, -1, -1 },
02176 { 7, 3, 2, 6, 7, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02177 { 2, 3, 11, 10, 6, 8, 10, 8, 9, 8, 6, 7, -1, -1, -1, -1 },
02178 { 2, 0, 7, 2, 7, 11, 0, 9, 7, 6, 7, 10, 9, 10, 7, -1 },
02179 { 1, 8, 0, 1, 7, 8, 1, 10, 7, 6, 7, 10, 2, 3, 11, -1 },
02180 { 11, 2, 1, 11, 1, 7, 10, 6, 1, 6, 7, 1, -1, -1, -1, -1 },
02181 { 8, 9, 6, 8, 6, 7, 9, 1, 6, 11, 6, 3, 1, 3, 6, -1 },
02182 { 0, 9, 1, 11, 6, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02183 { 7, 8, 0, 7, 0, 6, 3, 11, 0, 11, 6, 0, -1, -1, -1, -1 },
02184 { 7, 11, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02185 { 7, 6, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02186 { 3, 0, 8, 11, 7, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02187 { 0, 1, 9, 11, 7, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02188 { 8, 1, 9, 8, 3, 1, 11, 7, 6, -1, -1, -1, -1, -1, -1, -1 },
02189 { 10, 1, 2, 6, 11, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02190 { 1, 2, 10, 3, 0, 8, 6, 11, 7, -1, -1, -1, -1, -1, -1, -1 },
02191 { 2, 9, 0, 2, 10, 9, 6, 11, 7, -1, -1, -1, -1, -1, -1, -1 },
02192 { 6, 11, 7, 2, 10, 3, 10, 8, 3, 10, 9, 8, -1, -1, -1, -1 },
02193 { 7, 2, 3, 6, 2, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02194 { 7, 0, 8, 7, 6, 0, 6, 2, 0, -1, -1, -1, -1, -1, -1, -1 },
02195 { 2, 7, 6, 2, 3, 7, 0, 1, 9, -1, -1, -1, -1, -1, -1, -1 },
02196 { 1, 6, 2, 1, 8, 6, 1, 9, 8, 8, 7, 6, -1, -1, -1, -1 },
02197 { 10, 7, 6, 10, 1, 7, 1, 3, 7, -1, -1, -1, -1, -1, -1, -1 },
02198 { 10, 7, 6, 1, 7, 10, 1, 8, 7, 1, 0, 8, -1, -1, -1, -1 },
02199 { 0, 3, 7, 0, 7, 10, 0, 10, 9, 6, 10, 7, -1, -1, -1, -1 },
02200 { 7, 6, 10, 7, 10, 8, 8, 10, 9, -1, -1, -1, -1, -1, -1, -1 },
02201 { 6, 8, 4, 11, 8, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02202 { 3, 6, 11, 3, 0, 6, 0, 4, 6, -1, -1, -1, -1, -1, -1, -1 },
02203 { 8, 6, 11, 8, 4, 6, 9, 0, 1, -1, -1, -1, -1, -1, -1, -1 },
02204 { 9, 4, 6, 9, 6, 3, 9, 3, 1, 11, 3, 6, -1, -1, -1, -1 },
02205 { 6, 8, 4, 6, 11, 8, 2, 10, 1, -1, -1, -1, -1, -1, -1, -1 },
02206 { 1, 2, 10, 3, 0, 11, 0, 6, 11, 0, 4, 6, -1, -1, -1, -1 },
02207 { 4, 11, 8, 4, 6, 11, 0, 2, 9, 2, 10, 9, -1, -1, -1, -1 },
02208 { 10, 9, 3, 10, 3, 2, 9, 4, 3, 11, 3, 6, 4, 6, 3, -1 },
02209 { 8, 2, 3, 8, 4, 2, 4, 6, 2, -1, -1, -1, -1, -1, -1, -1 },
02210 { 0, 4, 2, 4, 6, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02211 { 1, 9, 0, 2, 3, 4, 2, 4, 6, 4, 3, 8, -1, -1, -1, -1 },
02212 { 1, 9, 4, 1, 4, 2, 2, 4, 6, -1, -1, -1, -1, -1, -1, -1 },
02213 { 8, 1, 3, 8, 6, 1, 8, 4, 6, 6, 10, 1, -1, -1, -1, -1 },
02214 { 10, 1, 0, 10, 0, 6, 6, 0, 4, -1, -1, -1, -1, -1, -1, -1 },
02215 { 4, 6, 3, 4, 3, 8, 6, 10, 3, 0, 3, 9, 10, 9, 3, -1 },
02216 { 10, 9, 4, 6, 10, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02217 { 4, 9, 5, 7, 6, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02218 { 0, 8, 3, 4, 9, 5, 11, 7, 6, -1, -1, -1, -1, -1, -1, -1 },
02219 { 5, 0, 1, 5, 4, 0, 7, 6, 11, -1, -1, -1, -1, -1, -1, -1 },
02220 { 11, 7, 6, 8, 3, 4, 3, 5, 4, 3, 1, 5, -1, -1, -1, -1 },
02221 { 9, 5, 4, 10, 1, 2, 7, 6, 11, -1, -1, -1, -1, -1, -1, -1 },
02222 { 6, 11, 7, 1, 2, 10, 0, 8, 3, 4, 9, 5, -1, -1, -1, -1 },
02223 { 7, 6, 11, 5, 4, 10, 4, 2, 10, 4, 0, 2, -1, -1, -1, -1 },
02224 { 3, 4, 8, 3, 5, 4, 3, 2, 5, 10, 5, 2, 11, 7, 6, -1 },
02225 { 7, 2, 3, 7, 6, 2, 5, 4, 9, -1, -1, -1, -1, -1, -1, -1 },
02226 { 9, 5, 4, 0, 8, 6, 0, 6, 2, 6, 8, 7, -1, -1, -1, -1 },
02227 { 3, 6, 2, 3, 7, 6, 1, 5, 0, 5, 4, 0, -1, -1, -1, -1 },
02228 { 6, 2, 8, 6, 8, 7, 2, 1, 8, 4, 8, 5, 1, 5, 8, -1 },
02229 { 9, 5, 4, 10, 1, 6, 1, 7, 6, 1, 3, 7, -1, -1, -1, -1 },
02230 { 1, 6, 10, 1, 7, 6, 1, 0, 7, 8, 7, 0, 9, 5, 4, -1 },
02231 { 4, 0, 10, 4, 10, 5, 0, 3, 10, 6, 10, 7, 3, 7, 10, -1 },
02232 { 7, 6, 10, 7, 10, 8, 5, 4, 10, 4, 8, 10, -1, -1, -1, -1 },
02233 { 6, 9, 5, 6, 11, 9, 11, 8, 9, -1, -1, -1, -1, -1, -1, -1 },
02234 { 3, 6, 11, 0, 6, 3, 0, 5, 6, 0, 9, 5, -1, -1, -1, -1 },
02235 { 0, 11, 8, 0, 5, 11, 0, 1, 5, 5, 6, 11, -1, -1, -1, -1 },
02236 { 6, 11, 3, 6, 3, 5, 5, 3, 1, -1, -1, -1, -1, -1, -1, -1 },
02237 { 1, 2, 10, 9, 5, 11, 9, 11, 8, 11, 5, 6, -1, -1, -1, -1 },
02238 { 0, 11, 3, 0, 6, 11, 0, 9, 6, 5, 6, 9, 1, 2, 10, -1 },
02239 { 11, 8, 5, 11, 5, 6, 8, 0, 5, 10, 5, 2, 0, 2, 5, -1 },
02240 { 6, 11, 3, 6, 3, 5, 2, 10, 3, 10, 5, 3, -1, -1, -1, -1 },
02241 { 5, 8, 9, 5, 2, 8, 5, 6, 2, 3, 8, 2, -1, -1, -1, -1 },
02242 { 9, 5, 6, 9, 6, 0, 0, 6, 2, -1, -1, -1, -1, -1, -1, -1 },
02243 { 1, 5, 8, 1, 8, 0, 5, 6, 8, 3, 8, 2, 6, 2, 8, -1 },
02244 { 1, 5, 6, 2, 1, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02245 { 1, 3, 6, 1, 6, 10, 3, 8, 6, 5, 6, 9, 8, 9, 6, -1 },
02246 { 10, 1, 0, 10, 0, 6, 9, 5, 0, 5, 6, 0, -1, -1, -1, -1 },
02247 { 0, 3, 8, 5, 6, 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02248 { 10, 5, 6, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02249 { 11, 5, 10, 7, 5, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02250 { 11, 5, 10, 11, 7, 5, 8, 3, 0, -1, -1, -1, -1, -1, -1, -1 },
02251 { 5, 11, 7, 5, 10, 11, 1, 9, 0, -1, -1, -1, -1, -1, -1, -1 },
02252 { 10, 7, 5, 10, 11, 7, 9, 8, 1, 8, 3, 1, -1, -1, -1, -1 },
02253 { 11, 1, 2, 11, 7, 1, 7, 5, 1, -1, -1, -1, -1, -1, -1, -1 },
02254 { 0, 8, 3, 1, 2, 7, 1, 7, 5, 7, 2, 11, -1, -1, -1, -1 },
02255 { 9, 7, 5, 9, 2, 7, 9, 0, 2, 2, 11, 7, -1, -1, -1, -1 },
02256 { 7, 5, 2, 7, 2, 11, 5, 9, 2, 3, 2, 8, 9, 8, 2, -1 },
02257 { 2, 5, 10, 2, 3, 5, 3, 7, 5, -1, -1, -1, -1, -1, -1, -1 },
02258 { 8, 2, 0, 8, 5, 2, 8, 7, 5, 10, 2, 5, -1, -1, -1, -1 },
02259 { 9, 0, 1, 5, 10, 3, 5, 3, 7, 3, 10, 2, -1, -1, -1, -1 },
02260 { 9, 8, 2, 9, 2, 1, 8, 7, 2, 10, 2, 5, 7, 5, 2, -1 },
02261 { 1, 3, 5, 3, 7, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02262 { 0, 8, 7, 0, 7, 1, 1, 7, 5, -1, -1, -1, -1, -1, -1, -1 },
02263 { 9, 0, 3, 9, 3, 5, 5, 3, 7, -1, -1, -1, -1, -1, -1, -1 },
02264 { 9, 8, 7, 5, 9, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02265 { 5, 8, 4, 5, 10, 8, 10, 11, 8, -1, -1, -1, -1, -1, -1, -1 },
02266 { 5, 0, 4, 5, 11, 0, 5, 10, 11, 11, 3, 0, -1, -1, -1, -1 },
02267 { 0, 1, 9, 8, 4, 10, 8, 10, 11, 10, 4, 5, -1, -1, -1, -1 },
02268 { 10, 11, 4, 10, 4, 5, 11, 3, 4, 9, 4, 1, 3, 1, 4, -1 },
02269 { 2, 5, 1, 2, 8, 5, 2, 11, 8, 4, 5, 8, -1, -1, -1, -1 },
02270 { 0, 4, 11, 0, 11, 3, 4, 5, 11, 2, 11, 1, 5, 1, 11, -1 },
02271 { 0, 2, 5, 0, 5, 9, 2, 11, 5, 4, 5, 8, 11, 8, 5, -1 },
02272 { 9, 4, 5, 2, 11, 3, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02273 { 2, 5, 10, 3, 5, 2, 3, 4, 5, 3, 8, 4, -1, -1, -1, -1 },
02274 { 5, 10, 2, 5, 2, 4, 4, 2, 0, -1, -1, -1, -1, -1, -1, -1 },
02275 { 3, 10, 2, 3, 5, 10, 3, 8, 5, 4, 5, 8, 0, 1, 9, -1 },
02276 { 5, 10, 2, 5, 2, 4, 1, 9, 2, 9, 4, 2, -1, -1, -1, -1 },
02277 { 8, 4, 5, 8, 5, 3, 3, 5, 1, -1, -1, -1, -1, -1, -1, -1 },
02278 { 0, 4, 5, 1, 0, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02279 { 8, 4, 5, 8, 5, 3, 9, 0, 5, 0, 3, 5, -1, -1, -1, -1 },
02280 { 9, 4, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02281 { 4, 11, 7, 4, 9, 11, 9, 10, 11, -1, -1, -1, -1, -1, -1, -1 },
02282 { 0, 8, 3, 4, 9, 7, 9, 11, 7, 9, 10, 11, -1, -1, -1, -1 },
02283 { 1, 10, 11, 1, 11, 4, 1, 4, 0, 7, 4, 11, -1, -1, -1, -1 },
02284 { 3, 1, 4, 3, 4, 8, 1, 10, 4, 7, 4, 11, 10, 11, 4, -1 },
02285 { 4, 11, 7, 9, 11, 4, 9, 2, 11, 9, 1, 2, -1, -1, -1, -1 },
02286 { 9, 7, 4, 9, 11, 7, 9, 1, 11, 2, 11, 1, 0, 8, 3, -1 },
02287 { 11, 7, 4, 11, 4, 2, 2, 4, 0, -1, -1, -1, -1, -1, -1, -1 },
02288 { 11, 7, 4, 11, 4, 2, 8, 3, 4, 3, 2, 4, -1, -1, -1, -1 },
02289 { 2, 9, 10, 2, 7, 9, 2, 3, 7, 7, 4, 9, -1, -1, -1, -1 },
02290 { 9, 10, 7, 9, 7, 4, 10, 2, 7, 8, 7, 0, 2, 0, 7, -1 },
02291 { 3, 7, 10, 3, 10, 2, 7, 4, 10, 1, 10, 0, 4, 0, 10, -1 },
02292 { 1, 10, 2, 8, 7, 4, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02293 { 4, 9, 1, 4, 1, 7, 7, 1, 3, -1, -1, -1, -1, -1, -1, -1 },
02294 { 4, 9, 1, 4, 1, 7, 0, 8, 1, 8, 7, 1, -1, -1, -1, -1 },
02295 { 4, 0, 3, 7, 4, 3, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02296 { 4, 8, 7, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02297 { 9, 10, 8, 10, 11, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02298 { 3, 0, 9, 3, 9, 11, 11, 9, 10, -1, -1, -1, -1, -1, -1, -1 },
02299 { 0, 1, 10, 0, 10, 8, 8, 10, 11, -1, -1, -1, -1, -1, -1, -1 },
02300 { 3, 1, 10, 11, 3, 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02301 { 1, 2, 11, 1, 11, 9, 9, 11, 8, -1, -1, -1, -1, -1, -1, -1 },
02302 { 3, 0, 9, 3, 9, 11, 1, 2, 9, 2, 11, 9, -1, -1, -1, -1 },
02303 { 0, 2, 11, 8, 0, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02304 { 3, 2, 11, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02305 { 2, 3, 8, 2, 8, 10, 10, 8, 9, -1, -1, -1, -1, -1, -1, -1 },
02306 { 9, 10, 2, 0, 9, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02307 { 2, 3, 8, 2, 8, 10, 0, 1, 8, 1, 10, 8, -1, -1, -1, -1 },
02308 { 1, 10, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02309 { 1, 3, 8, 9, 1, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02310 { 0, 9, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02311 { 0, 3, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 },
02312 { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 }
02313 };
02314
02315
02316
02317