/***********************************************************************/ /* Open Visualization Data Explorer */ /* (C) Copyright IBM Corp. 1989,1999 */ /* ALL RIGHTS RESERVED */ /* This code licensed under the */ /* "IBM PUBLIC LICENSE - Open Visualization Data Explorer" */ /***********************************************************************/ #include /* * $Header: /home/gda/dxcvs/dx/src/exec/dxmods/cases.h,v 1.3 1999/05/10 15:45:22 gda Exp $: */ /* * This file contains the case tables used by _dxfMapToPlane when intersecting * elements with planes. */ typedef struct { int start, knt; } Case; static int tetras_case[] = { /* 0 */ 0, 0, 1, 2, 3, 4, 5, 6, /* 8 */ 7, 8, 9, 10, 11, 12, 13, 14, 15}; static int tetras_edges[] = { /* 0 0 */ 0, 2, 1, /* 1 3 */ 3, 4, 0, /* 2 6 */ 3, 4, 2, 1, /* 3 10 */ 1, 5, 3, /* 4 13 */ 0, 2, 5, 3, /* 5 17 */ 1, 5, 4, 0, /* 6 21 */ 5, 4, 2, /* 7 24 */ 4, 5, 2, /* 8 27 */ 0, 4, 5, 1, /* 9 31 */ 3, 5, 2, 0, /* 10 35 */ 3, 5, 1, /* 11 38 */ 1, 2, 4, 3, /* 12 42 */ 0, 4, 3, /* 13 45 */ 1, 2, 0 }; static Case tetras_loops[] = { /* 0 */ { 0, 3}, /* 1 */ { 3, 3}, /* 2 */ { 6, 4}, /* 3 */ { 10, 3}, /* 4 */ { 13, 4}, /* 5 */ { 17, 4}, /* 6 */ { 21, 3}, /* 7 */ { 24, 3}, /* 8 */ { 27, 4}, /* 9 */ { 31, 4}, /* 10 */ { 35, 3}, /* 11 */ { 38, 4}, /* 12 */ { 42, 3}, /* 13 */ { 45, 3}, /* 14 */ { -1, -1}, }; static int cubes_case[] = { /* 0 */ 0, 0, 1, 2, 3, 4, 5, 7, /* 8 */ 8, 9, 11, 12, 13, 14, 15, 16, /* 16 */ 17, 18, 19, 21, 22, 24, 25, 28, /* 24 */ 29, 31, 33, 35, 36, 38, 39, 41, /* 32 */ 42, 43, 45, 46, 47, 49, 51, 53, /* 40 */ 54, 56, 59, 60, 61, 63, 65, 66, /* 48 */ 67, 68, 69, 70, 71, 73, 74, 76, /* 56 */ 77, 79, 81, 82, 83, 85, 86, 87, /* 64 */ 88, 89, 91, 93, 95, 96, 97, 99, /* 72 */ 100, 102, 105, 107, 109, 110, 111, 112, /* 80 */ 113, 114, 115, 117, 118, 119, 120, 122, /* 88 */ 123, 125, 127, 129, 130, 131, 132, 133, /* 96 */ 134, 136, 139, 141, 143, 145, 147, 149, /* 104 */ 150, 153, 157, 159, 161, 163, 165, 166, /* 112 */ 167, 168, 169, 170, 171, 172, 173, 174, /* 120 */ 175, 177, 179, 180, 181, 182, 183, 184, /* 128 */ 185, 186, 188, 190, 192, 194, 196, 199, /* 136 */ 201, 202, 204, 205, 206, 207, 208, 209, /* 144 */ 210, 212, 214, 217, 219, 222, 224, 228, /* 152 */ 230, 232, 234, 236, 237, 239, 240, 242, /* 160 */ 243, 244, 246, 247, 248, 250, 252, 254, /* 168 */ 255, 256, 258, 259, 260, 261, 262, 263, /* 176 */ 264, 265, 266, 267, 268, 270, 271, 273, /* 184 */ 274, 275, 276, 277, 278, 279, 280, 281, /* 192 */ 282, 283, 285, 287, 289, 290, 291, 293, /* 200 */ 294, 295, 297, 298, 299, 300, 301, 302, /* 208 */ 303, 304, 305, 307, 308, 309, 310, 312, /* 216 */ 313, 314, 315, 316, 317, 318, 319, 320, /* 224 */ 321, 322, 324, 325, 326, 327, 328, 329, /* 232 */ 330, 331, 333, 334, 335, 336, 337, 338, /* 240 */ 339, 340, 341, 342, 343, 344, 345, 346, /* 248 */ 347, 348, 349, 350, 351, 352, 353, 354, 355}; static int cubes_edges[] = { /* 0 0 */ 0, 4, 8, /* 1 3 */ 0, 9, 5, /* 2 6 */ 9, 5, 4, 8, /* 3 10 */ 1, 10, 4, /* 4 13 */ 0, 1, 10, 8, /* 5 17 */ 0, 9, 5, /* 6 20 */ 1, 10, 4, /* 7 23 */ 9, 5, 1, 10, 8, /* 8 28 */ 5, 11, 1, /* 9 31 */ 0, 4, 8, /* 10 34 */ 5, 11, 1, /* 11 37 */ 0, 9, 11, 1, /* 12 41 */ 9, 11, 1, 4, 8, /* 13 46 */ 5, 11, 10, 4, /* 14 50 */ 0, 5, 11, 10, 8, /* 15 55 */ 0, 9, 11, 10, 4, /* 16 60 */ 9, 11, 10, 8, /* 17 64 */ 6, 2, 8, /* 18 67 */ 0, 4, 6, 2, /* 19 71 */ 0, 9, 5, /* 20 74 */ 6, 2, 8, /* 21 77 */ 9, 5, 4, 6, 2, /* 22 82 */ 1, 10, 4, /* 23 85 */ 6, 2, 8, /* 24 88 */ 0, 1, 10, 6, 2, /* 25 93 */ 0, 9, 5, /* 26 96 */ 1, 10, 4, /* 27 99 */ 6, 2, 8, /* 28 102 */ 9, 5, 1, 10, 6, 2, /* 29 108 */ 5, 11, 1, /* 30 111 */ 6, 2, 8, /* 31 114 */ 0, 4, 6, 2, /* 32 118 */ 5, 11, 1, /* 33 121 */ 0, 9, 11, 1, /* 34 125 */ 6, 2, 8, /* 35 128 */ 9, 11, 1, 4, 6, 2, /* 36 134 */ 5, 11, 10, 4, /* 37 138 */ 6, 2, 8, /* 38 141 */ 0, 5, 11, 10, 6, 2, /* 39 147 */ 0, 9, 11, 10, 4, /* 40 152 */ 6, 2, 8, /* 41 155 */ 9, 11, 10, 6, 2, /* 42 160 */ 2, 7, 9, /* 43 163 */ 0, 4, 8, /* 44 166 */ 2, 7, 9, /* 45 169 */ 0, 2, 7, 5, /* 46 173 */ 2, 7, 5, 4, 8, /* 47 178 */ 1, 10, 4, /* 48 181 */ 2, 7, 9, /* 49 184 */ 0, 1, 10, 8, /* 50 188 */ 2, 7, 9, /* 51 191 */ 0, 2, 7, 5, /* 52 195 */ 1, 10, 4, /* 53 198 */ 2, 7, 5, 1, 10, 8, /* 54 204 */ 5, 11, 1, /* 55 207 */ 2, 7, 9, /* 56 210 */ 0, 4, 8, /* 57 213 */ 5, 11, 1, /* 58 216 */ 2, 7, 9, /* 59 219 */ 0, 2, 7, 11, 1, /* 60 224 */ 2, 7, 11, 1, 4, 8, /* 61 230 */ 5, 11, 10, 4, /* 62 234 */ 2, 7, 9, /* 63 237 */ 0, 5, 11, 10, 8, /* 64 242 */ 2, 7, 9, /* 65 245 */ 0, 2, 7, 11, 10, 4, /* 66 251 */ 2, 7, 11, 10, 8, /* 67 256 */ 6, 7, 9, 8, /* 68 260 */ 0, 4, 6, 7, 9, /* 69 265 */ 0, 8, 6, 7, 5, /* 70 270 */ 6, 7, 5, 4, /* 71 274 */ 1, 10, 4, /* 72 277 */ 6, 7, 9, 8, /* 73 281 */ 0, 1, 10, 6, 7, 9, /* 74 287 */ 0, 8, 6, 7, 5, /* 75 292 */ 1, 10, 4, /* 76 295 */ 6, 7, 5, 1, 10, /* 77 300 */ 5, 11, 1, /* 78 303 */ 6, 7, 9, 8, /* 79 307 */ 0, 4, 6, 7, 9, /* 80 312 */ 5, 11, 1, /* 81 315 */ 0, 8, 6, 7, 11, 1, /* 82 321 */ 6, 7, 11, 1, 4, /* 83 326 */ 5, 11, 10, 4, /* 84 330 */ 6, 7, 9, 8, /* 85 334 */ 0, 5, 11, 10, 6, 7, 9, /* 86 341 */ 0, 8, 6, 7, 11, 10, 4, /* 87 348 */ 6, 7, 11, 10, /* 88 352 */ 3, 6, 10, /* 89 355 */ 0, 4, 8, /* 90 358 */ 3, 6, 10, /* 91 361 */ 0, 9, 5, /* 92 364 */ 3, 6, 10, /* 93 367 */ 9, 5, 4, 8, /* 94 371 */ 3, 6, 10, /* 95 374 */ 1, 3, 6, 4, /* 96 378 */ 0, 1, 3, 6, 8, /* 97 383 */ 0, 9, 5, /* 98 386 */ 1, 3, 6, 4, /* 99 390 */ 9, 5, 1, 3, 6, 8, /* 100 396 */ 5, 11, 1, /* 101 399 */ 3, 6, 10, /* 102 402 */ 0, 4, 8, /* 103 405 */ 5, 11, 1, /* 104 408 */ 3, 6, 10, /* 105 411 */ 0, 9, 11, 1, /* 106 415 */ 3, 6, 10, /* 107 418 */ 9, 11, 1, 4, 8, /* 108 423 */ 3, 6, 10, /* 109 426 */ 5, 11, 3, 6, 4, /* 110 431 */ 0, 5, 11, 3, 6, 8, /* 111 437 */ 0, 9, 11, 3, 6, 4, /* 112 443 */ 9, 11, 3, 6, 8, /* 113 448 */ 10, 3, 2, 8, /* 114 452 */ 0, 4, 10, 3, 2, /* 115 457 */ 0, 9, 5, /* 116 460 */ 10, 3, 2, 8, /* 117 464 */ 9, 5, 4, 10, 3, 2, /* 118 470 */ 1, 3, 2, 8, 4, /* 119 475 */ 0, 1, 3, 2, /* 120 479 */ 0, 9, 5, /* 121 482 */ 1, 3, 2, 8, 4, /* 122 487 */ 9, 5, 1, 3, 2, /* 123 492 */ 5, 11, 1, /* 124 495 */ 10, 3, 2, 8, /* 125 499 */ 0, 4, 10, 3, 2, /* 126 504 */ 5, 11, 1, /* 127 507 */ 0, 9, 11, 1, /* 128 511 */ 10, 3, 2, 8, /* 129 515 */ 9, 11, 1, 4, 10, 3, 2, /* 130 522 */ 5, 11, 3, 2, 8, 4, /* 131 528 */ 0, 5, 11, 3, 2, /* 132 533 */ 0, 9, 11, 3, 2, 8, 4, /* 133 540 */ 9, 11, 3, 2, /* 134 544 */ 2, 7, 9, /* 135 547 */ 3, 6, 10, /* 136 550 */ 0, 4, 8, /* 137 553 */ 2, 7, 9, /* 138 556 */ 3, 6, 10, /* 139 559 */ 0, 2, 7, 5, /* 140 563 */ 3, 6, 10, /* 141 566 */ 2, 7, 5, 4, 8, /* 142 571 */ 3, 6, 10, /* 143 574 */ 1, 3, 6, 4, /* 144 578 */ 2, 7, 9, /* 145 581 */ 0, 1, 3, 6, 8, /* 146 586 */ 2, 7, 9, /* 147 589 */ 0, 2, 7, 5, /* 148 593 */ 1, 3, 6, 4, /* 149 597 */ 2, 7, 5, 1, 3, 6, 8, /* 150 604 */ 5, 11, 1, /* 151 607 */ 2, 7, 9, /* 152 610 */ 3, 6, 10, /* 153 613 */ 0, 4, 8, /* 154 616 */ 5, 11, 1, /* 155 619 */ 2, 7, 9, /* 156 622 */ 3, 6, 10, /* 157 625 */ 0, 2, 7, 11, 1, /* 158 630 */ 3, 6, 10, /* 159 633 */ 2, 7, 11, 1, 4, 8, /* 160 639 */ 3, 6, 10, /* 161 642 */ 5, 11, 3, 6, 4, /* 162 647 */ 2, 7, 9, /* 163 650 */ 0, 5, 11, 3, 6, 8, /* 164 656 */ 2, 7, 9, /* 165 659 */ 0, 2, 7, 11, 3, 6, 4, /* 166 666 */ 2, 7, 11, 3, 6, 8, /* 167 672 */ 10, 3, 7, 9, 8, /* 168 677 */ 0, 4, 10, 3, 7, 9, /* 169 683 */ 0, 8, 10, 3, 7, 5, /* 170 689 */ 10, 3, 7, 5, 4, /* 171 694 */ 1, 3, 7, 9, 8, 4, /* 172 700 */ 0, 1, 3, 7, 9, /* 173 705 */ 0, 8, 4, 1, 3, 7, 5, /* 174 712 */ 1, 3, 7, 5, /* 175 716 */ 5, 11, 1, /* 176 719 */ 10, 3, 7, 9, 8, /* 177 724 */ 0, 4, 10, 3, 7, 9, /* 178 730 */ 5, 11, 1, /* 179 733 */ 0, 8, 10, 3, 7, 11, 1, /* 180 740 */ 10, 3, 7, 11, 1, 4, /* 181 746 */ 5, 11, 3, 7, 9, 8, 4, /* 182 753 */ 0, 5, 11, 3, 7, 9, /* 183 759 */ 0, 8, 4, 11, 3, 7, /* 184 765 */ 11, 3, 7, /* 185 768 */ 7, 3, 11, /* 186 771 */ 0, 4, 8, /* 187 774 */ 7, 3, 11, /* 188 777 */ 0, 9, 5, /* 189 780 */ 7, 3, 11, /* 190 783 */ 9, 5, 4, 8, /* 191 787 */ 7, 3, 11, /* 192 790 */ 1, 10, 4, /* 193 793 */ 7, 3, 11, /* 194 796 */ 0, 1, 10, 8, /* 195 800 */ 7, 3, 11, /* 196 803 */ 0, 9, 5, /* 197 806 */ 1, 10, 4, /* 198 809 */ 7, 3, 11, /* 199 812 */ 9, 5, 1, 10, 8, /* 200 817 */ 7, 3, 11, /* 201 820 */ 5, 7, 3, 1, /* 202 824 */ 0, 4, 8, /* 203 827 */ 5, 7, 3, 1, /* 204 831 */ 0, 9, 7, 3, 1, /* 205 836 */ 9, 7, 3, 1, 4, 8, /* 206 842 */ 5, 7, 3, 10, 4, /* 207 847 */ 0, 5, 7, 3, 10, 8, /* 208 853 */ 0, 9, 7, 3, 10, 4, /* 209 859 */ 9, 7, 3, 10, 8, /* 210 864 */ 6, 2, 8, /* 211 867 */ 7, 3, 11, /* 212 870 */ 0, 4, 6, 2, /* 213 874 */ 7, 3, 11, /* 214 877 */ 0, 9, 5, /* 215 880 */ 6, 2, 8, /* 216 883 */ 7, 3, 11, /* 217 886 */ 9, 5, 4, 6, 2, /* 218 891 */ 7, 3, 11, /* 219 894 */ 1, 10, 4, /* 220 897 */ 6, 2, 8, /* 221 900 */ 7, 3, 11, /* 222 903 */ 0, 1, 10, 6, 2, /* 223 908 */ 7, 3, 11, /* 224 911 */ 0, 9, 5, /* 225 914 */ 1, 10, 4, /* 226 917 */ 6, 2, 8, /* 227 920 */ 7, 3, 11, /* 228 923 */ 9, 5, 1, 10, 6, 2, /* 229 929 */ 7, 3, 11, /* 230 932 */ 5, 7, 3, 1, /* 231 936 */ 6, 2, 8, /* 232 939 */ 0, 4, 6, 2, /* 233 943 */ 5, 7, 3, 1, /* 234 947 */ 0, 9, 7, 3, 1, /* 235 952 */ 6, 2, 8, /* 236 955 */ 9, 7, 3, 1, 4, 6, 2, /* 237 962 */ 5, 7, 3, 10, 4, /* 238 967 */ 6, 2, 8, /* 239 970 */ 0, 5, 7, 3, 10, 6, 2, /* 240 977 */ 0, 9, 7, 3, 10, 4, /* 241 983 */ 6, 2, 8, /* 242 986 */ 9, 7, 3, 10, 6, 2, /* 243 992 */ 2, 3, 11, 9, /* 244 996 */ 0, 4, 8, /* 245 999 */ 2, 3, 11, 9, /* 246 1003 */ 0, 2, 3, 11, 5, /* 247 1008 */ 2, 3, 11, 5, 4, 8, /* 248 1014 */ 1, 10, 4, /* 249 1017 */ 2, 3, 11, 9, /* 250 1021 */ 0, 1, 10, 8, /* 251 1025 */ 2, 3, 11, 9, /* 252 1029 */ 0, 2, 3, 11, 5, /* 253 1034 */ 1, 10, 4, /* 254 1037 */ 2, 3, 11, 5, 1, 10, 8, /* 255 1044 */ 5, 9, 2, 3, 1, /* 256 1049 */ 0, 4, 8, /* 257 1052 */ 5, 9, 2, 3, 1, /* 258 1057 */ 0, 2, 3, 1, /* 259 1061 */ 2, 3, 1, 4, 8, /* 260 1066 */ 5, 9, 2, 3, 10, 4, /* 261 1072 */ 0, 5, 9, 2, 3, 10, 8, /* 262 1079 */ 0, 2, 3, 10, 4, /* 263 1084 */ 2, 3, 10, 8, /* 264 1088 */ 6, 3, 11, 9, 8, /* 265 1093 */ 0, 4, 6, 3, 11, 9, /* 266 1099 */ 0, 8, 6, 3, 11, 5, /* 267 1105 */ 6, 3, 11, 5, 4, /* 268 1110 */ 1, 10, 4, /* 269 1113 */ 6, 3, 11, 9, 8, /* 270 1118 */ 0, 1, 10, 6, 3, 11, 9, /* 271 1125 */ 0, 8, 6, 3, 11, 5, /* 272 1131 */ 1, 10, 4, /* 273 1134 */ 6, 3, 11, 5, 1, 10, /* 274 1140 */ 5, 9, 8, 6, 3, 1, /* 275 1146 */ 0, 4, 6, 3, 1, 5, 9, /* 276 1153 */ 0, 8, 6, 3, 1, /* 277 1158 */ 6, 3, 1, 4, /* 278 1162 */ 5, 9, 8, 6, 3, 10, 4, /* 279 1169 */ 0, 5, 9, 6, 3, 10, /* 280 1175 */ 0, 8, 6, 3, 10, 4, /* 281 1181 */ 6, 3, 10, /* 282 1184 */ 11, 7, 6, 10, /* 283 1188 */ 0, 4, 8, /* 284 1191 */ 11, 7, 6, 10, /* 285 1195 */ 0, 9, 5, /* 286 1198 */ 11, 7, 6, 10, /* 287 1202 */ 9, 5, 4, 8, /* 288 1206 */ 11, 7, 6, 10, /* 289 1210 */ 1, 11, 7, 6, 4, /* 290 1215 */ 0, 1, 11, 7, 6, 8, /* 291 1221 */ 0, 9, 5, /* 292 1224 */ 1, 11, 7, 6, 4, /* 293 1229 */ 9, 5, 1, 11, 7, 6, 8, /* 294 1236 */ 5, 7, 6, 10, 1, /* 295 1241 */ 0, 4, 8, /* 296 1244 */ 5, 7, 6, 10, 1, /* 297 1249 */ 0, 9, 7, 6, 10, 1, /* 298 1255 */ 9, 7, 6, 10, 1, 4, 8, /* 299 1262 */ 5, 7, 6, 4, /* 300 1266 */ 0, 5, 7, 6, 8, /* 301 1271 */ 0, 9, 7, 6, 4, /* 302 1276 */ 9, 7, 6, 8, /* 303 1280 */ 10, 11, 7, 2, 8, /* 304 1285 */ 0, 4, 10, 11, 7, 2, /* 305 1291 */ 0, 9, 5, /* 306 1294 */ 10, 11, 7, 2, 8, /* 307 1299 */ 9, 5, 4, 10, 11, 7, 2, /* 308 1306 */ 1, 11, 7, 2, 8, 4, /* 309 1312 */ 0, 1, 11, 7, 2, /* 310 1317 */ 0, 9, 5, /* 311 1320 */ 1, 11, 7, 2, 8, 4, /* 312 1326 */ 9, 5, 1, 11, 7, 2, /* 313 1332 */ 5, 7, 2, 8, 10, 1, /* 314 1338 */ 0, 4, 10, 1, 5, 7, 2, /* 315 1345 */ 0, 9, 7, 2, 8, 10, 1, /* 316 1352 */ 9, 7, 2, 10, 1, 4, /* 317 1358 */ 5, 7, 2, 8, 4, /* 318 1363 */ 0, 5, 7, 2, /* 319 1367 */ 0, 9, 7, 2, 8, 4, /* 320 1373 */ 9, 7, 2, /* 321 1376 */ 2, 6, 10, 11, 9, /* 322 1381 */ 0, 4, 8, /* 323 1384 */ 2, 6, 10, 11, 9, /* 324 1389 */ 0, 2, 6, 10, 11, 5, /* 325 1395 */ 2, 6, 10, 11, 5, 4, 8, /* 326 1402 */ 1, 11, 9, 2, 6, 4, /* 327 1408 */ 0, 1, 11, 9, 2, 6, 8, /* 328 1415 */ 0, 2, 6, 4, 1, 11, 5, /* 329 1422 */ 2, 6, 1, 11, 5, 8, /* 330 1428 */ 5, 9, 2, 6, 10, 1, /* 331 1434 */ 0, 4, 8, /* 332 1437 */ 5, 9, 2, 6, 10, 1, /* 333 1443 */ 0, 2, 6, 10, 1, /* 334 1448 */ 2, 6, 10, 1, 4, 8, /* 335 1454 */ 5, 9, 2, 6, 4, /* 336 1459 */ 0, 5, 9, 2, 6, 8, /* 337 1465 */ 0, 2, 6, 4, /* 338 1469 */ 2, 6, 8, /* 339 1472 */ 10, 11, 9, 8, /* 340 1476 */ 0, 4, 10, 11, 9, /* 341 1481 */ 0, 8, 10, 11, 5, /* 342 1486 */ 10, 11, 5, 4, /* 343 1490 */ 1, 11, 9, 8, 4, /* 344 1495 */ 0, 1, 11, 9, /* 345 1499 */ 0, 8, 4, 1, 11, 5, /* 346 1505 */ 1, 11, 5, /* 347 1508 */ 5, 9, 8, 10, 1, /* 348 1513 */ 0, 4, 10, 1, 5, 9, /* 349 1519 */ 0, 8, 10, 1, /* 350 1523 */ 10, 1, 4, /* 351 1526 */ 5, 9, 8, 4, /* 352 1530 */ 0, 5, 9, /* 353 1533 */ 0, 8, 4 }; static Case cubes_loops[] = { /* 0 */ { 0, 3}, /* 1 */ { 3, 3}, /* 2 */ { 6, 4}, /* 3 */ { 10, 3}, /* 4 */ { 13, 4}, /* 5 */ { 17, 3}, /* 6 */ { 20, 3}, /* 7 */ { 23, 5}, /* 8 */ { 28, 3}, /* 9 */ { 31, 3}, /* 10 */ { 34, 3}, /* 11 */ { 37, 4}, /* 12 */ { 41, 5}, /* 13 */ { 46, 4}, /* 14 */ { 50, 5}, /* 15 */ { 55, 5}, /* 16 */ { 60, 4}, /* 17 */ { 64, 3}, /* 18 */ { 67, 4}, /* 19 */ { 71, 3}, /* 20 */ { 74, 3}, /* 21 */ { 77, 5}, /* 22 */ { 82, 3}, /* 23 */ { 85, 3}, /* 24 */ { 88, 5}, /* 25 */ { 93, 3}, /* 26 */ { 96, 3}, /* 27 */ { 99, 3}, /* 28 */ { 102, 6}, /* 29 */ { 108, 3}, /* 30 */ { 111, 3}, /* 31 */ { 114, 4}, /* 32 */ { 118, 3}, /* 33 */ { 121, 4}, /* 34 */ { 125, 3}, /* 35 */ { 128, 6}, /* 36 */ { 134, 4}, /* 37 */ { 138, 3}, /* 38 */ { 141, 6}, /* 39 */ { 147, 5}, /* 40 */ { 152, 3}, /* 41 */ { 155, 5}, /* 42 */ { 160, 3}, /* 43 */ { 163, 3}, /* 44 */ { 166, 3}, /* 45 */ { 169, 4}, /* 46 */ { 173, 5}, /* 47 */ { 178, 3}, /* 48 */ { 181, 3}, /* 49 */ { 184, 4}, /* 50 */ { 188, 3}, /* 51 */ { 191, 4}, /* 52 */ { 195, 3}, /* 53 */ { 198, 6}, /* 54 */ { 204, 3}, /* 55 */ { 207, 3}, /* 56 */ { 210, 3}, /* 57 */ { 213, 3}, /* 58 */ { 216, 3}, /* 59 */ { 219, 5}, /* 60 */ { 224, 6}, /* 61 */ { 230, 4}, /* 62 */ { 234, 3}, /* 63 */ { 237, 5}, /* 64 */ { 242, 3}, /* 65 */ { 245, 6}, /* 66 */ { 251, 5}, /* 67 */ { 256, 4}, /* 68 */ { 260, 5}, /* 69 */ { 265, 5}, /* 70 */ { 270, 4}, /* 71 */ { 274, 3}, /* 72 */ { 277, 4}, /* 73 */ { 281, 6}, /* 74 */ { 287, 5}, /* 75 */ { 292, 3}, /* 76 */ { 295, 5}, /* 77 */ { 300, 3}, /* 78 */ { 303, 4}, /* 79 */ { 307, 5}, /* 80 */ { 312, 3}, /* 81 */ { 315, 6}, /* 82 */ { 321, 5}, /* 83 */ { 326, 4}, /* 84 */ { 330, 4}, /* 85 */ { 334, 7}, /* 86 */ { 341, 7}, /* 87 */ { 348, 4}, /* 88 */ { 352, 3}, /* 89 */ { 355, 3}, /* 90 */ { 358, 3}, /* 91 */ { 361, 3}, /* 92 */ { 364, 3}, /* 93 */ { 367, 4}, /* 94 */ { 371, 3}, /* 95 */ { 374, 4}, /* 96 */ { 378, 5}, /* 97 */ { 383, 3}, /* 98 */ { 386, 4}, /* 99 */ { 390, 6}, /* 100 */ { 396, 3}, /* 101 */ { 399, 3}, /* 102 */ { 402, 3}, /* 103 */ { 405, 3}, /* 104 */ { 408, 3}, /* 105 */ { 411, 4}, /* 106 */ { 415, 3}, /* 107 */ { 418, 5}, /* 108 */ { 423, 3}, /* 109 */ { 426, 5}, /* 110 */ { 431, 6}, /* 111 */ { 437, 6}, /* 112 */ { 443, 5}, /* 113 */ { 448, 4}, /* 114 */ { 452, 5}, /* 115 */ { 457, 3}, /* 116 */ { 460, 4}, /* 117 */ { 464, 6}, /* 118 */ { 470, 5}, /* 119 */ { 475, 4}, /* 120 */ { 479, 3}, /* 121 */ { 482, 5}, /* 122 */ { 487, 5}, /* 123 */ { 492, 3}, /* 124 */ { 495, 4}, /* 125 */ { 499, 5}, /* 126 */ { 504, 3}, /* 127 */ { 507, 4}, /* 128 */ { 511, 4}, /* 129 */ { 515, 7}, /* 130 */ { 522, 6}, /* 131 */ { 528, 5}, /* 132 */ { 533, 7}, /* 133 */ { 540, 4}, /* 134 */ { 544, 3}, /* 135 */ { 547, 3}, /* 136 */ { 550, 3}, /* 137 */ { 553, 3}, /* 138 */ { 556, 3}, /* 139 */ { 559, 4}, /* 140 */ { 563, 3}, /* 141 */ { 566, 5}, /* 142 */ { 571, 3}, /* 143 */ { 574, 4}, /* 144 */ { 578, 3}, /* 145 */ { 581, 5}, /* 146 */ { 586, 3}, /* 147 */ { 589, 4}, /* 148 */ { 593, 4}, /* 149 */ { 597, 7}, /* 150 */ { 604, 3}, /* 151 */ { 607, 3}, /* 152 */ { 610, 3}, /* 153 */ { 613, 3}, /* 154 */ { 616, 3}, /* 155 */ { 619, 3}, /* 156 */ { 622, 3}, /* 157 */ { 625, 5}, /* 158 */ { 630, 3}, /* 159 */ { 633, 6}, /* 160 */ { 639, 3}, /* 161 */ { 642, 5}, /* 162 */ { 647, 3}, /* 163 */ { 650, 6}, /* 164 */ { 656, 3}, /* 165 */ { 659, 7}, /* 166 */ { 666, 6}, /* 167 */ { 672, 5}, /* 168 */ { 677, 6}, /* 169 */ { 683, 6}, /* 170 */ { 689, 5}, /* 171 */ { 694, 6}, /* 172 */ { 700, 5}, /* 173 */ { 705, 7}, /* 174 */ { 712, 4}, /* 175 */ { 716, 3}, /* 176 */ { 719, 5}, /* 177 */ { 724, 6}, /* 178 */ { 730, 3}, /* 179 */ { 733, 7}, /* 180 */ { 740, 6}, /* 181 */ { 746, 7}, /* 182 */ { 753, 6}, /* 183 */ { 759, 6}, /* 184 */ { 765, 3}, /* 185 */ { 768, 3}, /* 186 */ { 771, 3}, /* 187 */ { 774, 3}, /* 188 */ { 777, 3}, /* 189 */ { 780, 3}, /* 190 */ { 783, 4}, /* 191 */ { 787, 3}, /* 192 */ { 790, 3}, /* 193 */ { 793, 3}, /* 194 */ { 796, 4}, /* 195 */ { 800, 3}, /* 196 */ { 803, 3}, /* 197 */ { 806, 3}, /* 198 */ { 809, 3}, /* 199 */ { 812, 5}, /* 200 */ { 817, 3}, /* 201 */ { 820, 4}, /* 202 */ { 824, 3}, /* 203 */ { 827, 4}, /* 204 */ { 831, 5}, /* 205 */ { 836, 6}, /* 206 */ { 842, 5}, /* 207 */ { 847, 6}, /* 208 */ { 853, 6}, /* 209 */ { 859, 5}, /* 210 */ { 864, 3}, /* 211 */ { 867, 3}, /* 212 */ { 870, 4}, /* 213 */ { 874, 3}, /* 214 */ { 877, 3}, /* 215 */ { 880, 3}, /* 216 */ { 883, 3}, /* 217 */ { 886, 5}, /* 218 */ { 891, 3}, /* 219 */ { 894, 3}, /* 220 */ { 897, 3}, /* 221 */ { 900, 3}, /* 222 */ { 903, 5}, /* 223 */ { 908, 3}, /* 224 */ { 911, 3}, /* 225 */ { 914, 3}, /* 226 */ { 917, 3}, /* 227 */ { 920, 3}, /* 228 */ { 923, 6}, /* 229 */ { 929, 3}, /* 230 */ { 932, 4}, /* 231 */ { 936, 3}, /* 232 */ { 939, 4}, /* 233 */ { 943, 4}, /* 234 */ { 947, 5}, /* 235 */ { 952, 3}, /* 236 */ { 955, 7}, /* 237 */ { 962, 5}, /* 238 */ { 967, 3}, /* 239 */ { 970, 7}, /* 240 */ { 977, 6}, /* 241 */ { 983, 3}, /* 242 */ { 986, 6}, /* 243 */ { 992, 4}, /* 244 */ { 996, 3}, /* 245 */ { 999, 4}, /* 246 */ {1003, 5}, /* 247 */ {1008, 6}, /* 248 */ {1014, 3}, /* 249 */ {1017, 4}, /* 250 */ {1021, 4}, /* 251 */ {1025, 4}, /* 252 */ {1029, 5}, /* 253 */ {1034, 3}, /* 254 */ {1037, 7}, /* 255 */ {1044, 5}, /* 256 */ {1049, 3}, /* 257 */ {1052, 5}, /* 258 */ {1057, 4}, /* 259 */ {1061, 5}, /* 260 */ {1066, 6}, /* 261 */ {1072, 7}, /* 262 */ {1079, 5}, /* 263 */ {1084, 4}, /* 264 */ {1088, 5}, /* 265 */ {1093, 6}, /* 266 */ {1099, 6}, /* 267 */ {1105, 5}, /* 268 */ {1110, 3}, /* 269 */ {1113, 5}, /* 270 */ {1118, 7}, /* 271 */ {1125, 6}, /* 272 */ {1131, 3}, /* 273 */ {1134, 6}, /* 274 */ {1140, 6}, /* 275 */ {1146, 7}, /* 276 */ {1153, 5}, /* 277 */ {1158, 4}, /* 278 */ {1162, 7}, /* 279 */ {1169, 6}, /* 280 */ {1175, 6}, /* 281 */ {1181, 3}, /* 282 */ {1184, 4}, /* 283 */ {1188, 3}, /* 284 */ {1191, 4}, /* 285 */ {1195, 3}, /* 286 */ {1198, 4}, /* 287 */ {1202, 4}, /* 288 */ {1206, 4}, /* 289 */ {1210, 5}, /* 290 */ {1215, 6}, /* 291 */ {1221, 3}, /* 292 */ {1224, 5}, /* 293 */ {1229, 7}, /* 294 */ {1236, 5}, /* 295 */ {1241, 3}, /* 296 */ {1244, 5}, /* 297 */ {1249, 6}, /* 298 */ {1255, 7}, /* 299 */ {1262, 4}, /* 300 */ {1266, 5}, /* 301 */ {1271, 5}, /* 302 */ {1276, 4}, /* 303 */ {1280, 5}, /* 304 */ {1285, 6}, /* 305 */ {1291, 3}, /* 306 */ {1294, 5}, /* 307 */ {1299, 7}, /* 308 */ {1306, 6}, /* 309 */ {1312, 5}, /* 310 */ {1317, 3}, /* 311 */ {1320, 6}, /* 312 */ {1326, 6}, /* 313 */ {1332, 6}, /* 314 */ {1338, 7}, /* 315 */ {1345, 7}, /* 316 */ {1352, 6}, /* 317 */ {1358, 5}, /* 318 */ {1363, 4}, /* 319 */ {1367, 6}, /* 320 */ {1373, 3}, /* 321 */ {1376, 5}, /* 322 */ {1381, 3}, /* 323 */ {1384, 5}, /* 324 */ {1389, 6}, /* 325 */ {1395, 7}, /* 326 */ {1402, 6}, /* 327 */ {1408, 7}, /* 328 */ {1415, 7}, /* 329 */ {1422, 6}, /* 330 */ {1428, 6}, /* 331 */ {1434, 3}, /* 332 */ {1437, 6}, /* 333 */ {1443, 5}, /* 334 */ {1448, 6}, /* 335 */ {1454, 5}, /* 336 */ {1459, 6}, /* 337 */ {1465, 4}, /* 338 */ {1469, 3}, /* 339 */ {1472, 4}, /* 340 */ {1476, 5}, /* 341 */ {1481, 5}, /* 342 */ {1486, 4}, /* 343 */ {1490, 5}, /* 344 */ {1495, 4}, /* 345 */ {1499, 6}, /* 346 */ {1505, 3}, /* 347 */ {1508, 5}, /* 348 */ {1513, 6}, /* 349 */ {1519, 4}, /* 350 */ {1523, 3}, /* 351 */ {1526, 4}, /* 352 */ {1530, 3}, /* 353 */ {1533, 3}, /* 354 */ { -1, -1}, };