1/* Test handling of spaces and empty macro expansions in 2 stringifying. PR 31869. */ 3/* { dg-do run } */ 4 5extern int strcmp (const char *, const char *); 6extern int puts (const char *); 7extern void abort (void); 8extern void exit (int); 9#define err(str) do { puts (str); abort (); } while (0) 10 11#define s(x) #x 12#define v(x, r) if (strcmp (s(x), r)) err (#x) 13 14#define EOA /* empty */ 15#define EFA() /* empty */ 16#define EOB EFA()EFA() 17#define EOC EFA()EOA 18#define EFB() EFA()EFA() 19#define EFC() EFA()EOA 20#define ARG(x) x 21#define SOA EOA EOA 22#define SOB ARG(EFB() EOA) 23#define SOC ARG(SOA) 24#define SFA() EOA EOA 25#define SFB() ARG(EFB() EOA) 26#define SFC() ARG(SOA) 27#define SAa(x) x EOA 28#define SAb(x) x EOB 29#define SAc(x) x EOC 30#define SAd(x) x EFA() 31#define SAe(x) x EFB() 32#define SAf(x) x EFC() 33#define SBa(x) EOA x 34#define SBb(x) EOB x 35#define SBc(x) EOC x 36#define SBd(x) SFA()x 37#define SBe(x) SFB()x 38#define SBf(x) SFC()x 39 40void 41check0 (void) 42{ 43 v(||, "||"); 44 v(|EOA|, "||"); 45 v(|EOB|, "||"); 46 v(|EOC|, "||"); 47 v(|EFA()|, "||"); 48 v(|EFB()|, "||"); 49 v(|EFC()|, "||"); 50} 51 52void 53check1 (void) 54{ 55 v(|SBa(|), "| |"); 56 v(|SBb(|), "| |"); 57 v(|SBc(|), "| |"); 58 v(|SBd(|), "| |"); 59 v(|SBe(|), "| |"); 60 v(|SBf(|), "| |"); 61 v(| |, "| |"); 62 v(| SBa(|), "| |"); 63 v(| SBb(|), "| |"); 64 v(| SBc(|), "| |"); 65 v(| SBd(|), "| |"); 66 v(| SBe(|), "| |"); 67 v(| SBf(|), "| |"); 68 v(|EFA()SBa(|), "| |"); 69 v(|EFA()SBb(|), "| |"); 70 v(|EFA()SBc(|), "| |"); 71 v(|EFA()SBd(|), "| |"); 72 v(|EFA()SBe(|), "| |"); 73 v(|EFA()SBf(|), "| |"); 74 v(|EFB()SBa(|), "| |"); 75 v(|EFB()SBb(|), "| |"); 76 v(|EFB()SBc(|), "| |"); 77 v(|EFB()SBd(|), "| |"); 78 v(|EFB()SBe(|), "| |"); 79 v(|EFB()SBf(|), "| |"); 80 v(|EFC()SBa(|), "| |"); 81 v(|EFC()SBb(|), "| |"); 82 v(|EFC()SBc(|), "| |"); 83 v(|EFC()SBd(|), "| |"); 84 v(|EFC()SBe(|), "| |"); 85 v(|EFC()SBf(|), "| |"); 86 v(| EOA|, "| |"); 87 v(| EOB|, "| |"); 88 v(| EOC|, "| |"); 89 v(| EFA()|, "| |"); 90 v(| EFA()SBa(|), "| |"); 91 v(| EFA()SBb(|), "| |"); 92 v(| EFA()SBc(|), "| |"); 93 v(| EFA()SBd(|), "| |"); 94 v(| EFA()SBe(|), "| |"); 95 v(| EFA()SBf(|), "| |"); 96 v(| EFB()|, "| |"); 97 v(| EFB()SBa(|), "| |"); 98 v(| EFB()SBb(|), "| |"); 99 v(| EFB()SBc(|), "| |"); 100 v(| EFB()SBd(|), "| |"); 101 v(| EFB()SBe(|), "| |"); 102 v(| EFB()SBf(|), "| |"); 103 v(| EFC()|, "| |"); 104 v(| EFC()SBa(|), "| |"); 105 v(| EFC()SBb(|), "| |"); 106 v(| EFC()SBc(|), "| |"); 107 v(| EFC()SBd(|), "| |"); 108 v(| EFC()SBe(|), "| |"); 109 v(| EFC()SBf(|), "| |"); 110 v(|EOA |, "| |"); 111 v(|EOA SBa(|), "| |"); 112 v(|EOA SBb(|), "| |"); 113 v(|EOA SBc(|), "| |"); 114 v(|EOA SBd(|), "| |"); 115 v(|EOA SBe(|), "| |"); 116 v(|EOA SBf(|), "| |"); 117 v(|EOB |, "| |"); 118 v(|EOB SBa(|), "| |"); 119 v(|EOB SBb(|), "| |"); 120 v(|EOB SBc(|), "| |"); 121 v(|EOB SBd(|), "| |"); 122 v(|EOB SBe(|), "| |"); 123 v(|EOB SBf(|), "| |"); 124 v(|EOC |, "| |"); 125 v(|EOC SBa(|), "| |"); 126 v(|EOC SBb(|), "| |"); 127 v(|EOC SBc(|), "| |"); 128 v(|EOC SBd(|), "| |"); 129 v(|EOC SBe(|), "| |"); 130 v(|EOC SBf(|), "| |"); 131 v(|EFA() |, "| |"); 132 v(|EFA() SBa(|), "| |"); 133 v(|EFA() SBb(|), "| |"); 134 v(|EFA() SBc(|), "| |"); 135 v(|EFA() SBd(|), "| |"); 136 v(|EFA() SBe(|), "| |"); 137 v(|EFA() SBf(|), "| |"); 138 v(|EFB() |, "| |"); 139 v(|EFB() SBa(|), "| |"); 140 v(|EFB() SBb(|), "| |"); 141 v(|EFB() SBc(|), "| |"); 142 v(|EFB() SBd(|), "| |"); 143 v(|EFB() SBe(|), "| |"); 144 v(|EFB() SBf(|), "| |"); 145 v(|EFC() |, "| |"); 146 v(|EFC() SBa(|), "| |"); 147 v(|EFC() SBb(|), "| |"); 148 v(|EFC() SBc(|), "| |"); 149 v(|EFC() SBd(|), "| |"); 150 v(|EFC() SBe(|), "| |"); 151 v(|EFC() SBf(|), "| |"); 152 v(| EOA |, "| |"); 153 v(| EOA SBa(|), "| |"); 154 v(| EOA SBb(|), "| |"); 155 v(| EOA SBc(|), "| |"); 156 v(| EOA SBd(|), "| |"); 157 v(| EOA SBe(|), "| |"); 158 v(| EOA SBf(|), "| |"); 159 v(| EOB |, "| |"); 160 v(| EOB SBa(|), "| |"); 161 v(| EOB SBb(|), "| |"); 162 v(| EOB SBc(|), "| |"); 163 v(| EOB SBd(|), "| |"); 164 v(| EOB SBe(|), "| |"); 165 v(| EOB SBf(|), "| |"); 166 v(| EOC |, "| |"); 167 v(| EOC SBa(|), "| |"); 168 v(| EOC SBb(|), "| |"); 169 v(| EOC SBc(|), "| |"); 170 v(| EOC SBd(|), "| |"); 171 v(| EOC SBe(|), "| |"); 172 v(| EOC SBf(|), "| |"); 173 v(| EFA() |, "| |"); 174 v(| EFA() SBa(|), "| |"); 175 v(| EFA() SBb(|), "| |"); 176 v(| EFA() SBc(|), "| |"); 177 v(| EFA() SBd(|), "| |"); 178 v(| EFA() SBe(|), "| |"); 179 v(| EFA() SBf(|), "| |"); 180 v(| EFB() |, "| |"); 181 v(| EFB() SBa(|), "| |"); 182 v(| EFB() SBb(|), "| |"); 183 v(| EFB() SBc(|), "| |"); 184 v(| EFB() SBd(|), "| |"); 185 v(| EFB() SBe(|), "| |"); 186 v(| EFB() SBf(|), "| |"); 187 v(| EFC() |, "| |"); 188 v(| EFC() SBa(|), "| |"); 189 v(| EFC() SBb(|), "| |"); 190 v(| EFC() SBc(|), "| |"); 191 v(| EFC() SBd(|), "| |"); 192 v(| EFC() SBe(|), "| |"); 193 v(| EFC() SBf(|), "| |"); 194} 195 196void 197check2 (void) 198{ 199 v(SAa(|)|, "| |"); 200 v(SAa(|)SBa(|), "| |"); 201 v(SAa(|)SBb(|), "| |"); 202 v(SAa(|)SBc(|), "| |"); 203 v(SAa(|)SBd(|), "| |"); 204 v(SAa(|)SBe(|), "| |"); 205 v(SAa(|)SBf(|), "| |"); 206 v(SAa(|) |, "| |"); 207 v(SAa(|) SBa(|), "| |"); 208 v(SAa(|) SBb(|), "| |"); 209 v(SAa(|) SBc(|), "| |"); 210 v(SAa(|) SBd(|), "| |"); 211 v(SAa(|) SBe(|), "| |"); 212 v(SAa(|) SBf(|), "| |"); 213 v(SAa(|)EOA|, "| |"); 214 v(SAa(|)EOB|, "| |"); 215 v(SAa(|)EOC|, "| |"); 216 v(SAa(|)EFA()|, "| |"); 217 v(SAa(|)EFA()SBa(|), "| |"); 218 v(SAa(|)EFA()SBb(|), "| |"); 219 v(SAa(|)EFA()SBc(|), "| |"); 220 v(SAa(|)EFA()SBd(|), "| |"); 221 v(SAa(|)EFA()SBe(|), "| |"); 222 v(SAa(|)EFA()SBf(|), "| |"); 223 v(SAa(|)EFB()|, "| |"); 224 v(SAa(|)EFB()SBa(|), "| |"); 225 v(SAa(|)EFB()SBb(|), "| |"); 226 v(SAa(|)EFB()SBc(|), "| |"); 227 v(SAa(|)EFB()SBd(|), "| |"); 228 v(SAa(|)EFB()SBe(|), "| |"); 229 v(SAa(|)EFB()SBf(|), "| |"); 230 v(SAa(|)EFC()|, "| |"); 231 v(SAa(|)EFC()SBa(|), "| |"); 232 v(SAa(|)EFC()SBb(|), "| |"); 233 v(SAa(|)EFC()SBc(|), "| |"); 234 v(SAa(|)EFC()SBd(|), "| |"); 235 v(SAa(|)EFC()SBe(|), "| |"); 236 v(SAa(|)EFC()SBf(|), "| |"); 237 v(SAa(|) EOA|, "| |"); 238 v(SAa(|) EOB|, "| |"); 239 v(SAa(|) EOC|, "| |"); 240 v(SAa(|) EFA()|, "| |"); 241 v(SAa(|) EFA()SBa(|), "| |"); 242 v(SAa(|) EFA()SBb(|), "| |"); 243 v(SAa(|) EFA()SBc(|), "| |"); 244 v(SAa(|) EFA()SBd(|), "| |"); 245 v(SAa(|) EFA()SBe(|), "| |"); 246 v(SAa(|) EFA()SBf(|), "| |"); 247 v(SAa(|) EFB()|, "| |"); 248 v(SAa(|) EFB()SBa(|), "| |"); 249 v(SAa(|) EFB()SBb(|), "| |"); 250 v(SAa(|) EFB()SBc(|), "| |"); 251 v(SAa(|) EFB()SBd(|), "| |"); 252 v(SAa(|) EFB()SBe(|), "| |"); 253 v(SAa(|) EFB()SBf(|), "| |"); 254 v(SAa(|) EFC()|, "| |"); 255 v(SAa(|) EFC()SBa(|), "| |"); 256 v(SAa(|) EFC()SBb(|), "| |"); 257 v(SAa(|) EFC()SBc(|), "| |"); 258 v(SAa(|) EFC()SBd(|), "| |"); 259 v(SAa(|) EFC()SBe(|), "| |"); 260 v(SAa(|) EFC()SBf(|), "| |"); 261 v(SAa(|)EOA |, "| |"); 262 v(SAa(|)EOA SBa(|), "| |"); 263 v(SAa(|)EOA SBb(|), "| |"); 264 v(SAa(|)EOA SBc(|), "| |"); 265 v(SAa(|)EOA SBd(|), "| |"); 266 v(SAa(|)EOA SBe(|), "| |"); 267 v(SAa(|)EOA SBf(|), "| |"); 268 v(SAa(|)EOB |, "| |"); 269 v(SAa(|)EOB SBa(|), "| |"); 270 v(SAa(|)EOB SBb(|), "| |"); 271 v(SAa(|)EOB SBc(|), "| |"); 272 v(SAa(|)EOB SBd(|), "| |"); 273 v(SAa(|)EOB SBe(|), "| |"); 274 v(SAa(|)EOB SBf(|), "| |"); 275 v(SAa(|)EOC |, "| |"); 276 v(SAa(|)EOC SBa(|), "| |"); 277 v(SAa(|)EOC SBb(|), "| |"); 278 v(SAa(|)EOC SBc(|), "| |"); 279 v(SAa(|)EOC SBd(|), "| |"); 280 v(SAa(|)EOC SBe(|), "| |"); 281 v(SAa(|)EOC SBf(|), "| |"); 282 v(SAa(|)EFA() |, "| |"); 283 v(SAa(|)EFA() SBa(|), "| |"); 284 v(SAa(|)EFA() SBb(|), "| |"); 285 v(SAa(|)EFA() SBc(|), "| |"); 286 v(SAa(|)EFA() SBd(|), "| |"); 287 v(SAa(|)EFA() SBe(|), "| |"); 288 v(SAa(|)EFA() SBf(|), "| |"); 289 v(SAa(|)EFB() |, "| |"); 290 v(SAa(|)EFB() SBa(|), "| |"); 291 v(SAa(|)EFB() SBb(|), "| |"); 292 v(SAa(|)EFB() SBc(|), "| |"); 293 v(SAa(|)EFB() SBd(|), "| |"); 294 v(SAa(|)EFB() SBe(|), "| |"); 295 v(SAa(|)EFB() SBf(|), "| |"); 296 v(SAa(|)EFC() |, "| |"); 297 v(SAa(|)EFC() SBa(|), "| |"); 298 v(SAa(|)EFC() SBb(|), "| |"); 299 v(SAa(|)EFC() SBc(|), "| |"); 300 v(SAa(|)EFC() SBd(|), "| |"); 301 v(SAa(|)EFC() SBe(|), "| |"); 302 v(SAa(|)EFC() SBf(|), "| |"); 303 v(SAa(|) EOA |, "| |"); 304 v(SAa(|) EOA SBa(|), "| |"); 305 v(SAa(|) EOA SBb(|), "| |"); 306 v(SAa(|) EOA SBc(|), "| |"); 307 v(SAa(|) EOA SBd(|), "| |"); 308 v(SAa(|) EOA SBe(|), "| |"); 309 v(SAa(|) EOA SBf(|), "| |"); 310 v(SAa(|) EOB |, "| |"); 311 v(SAa(|) EOB SBa(|), "| |"); 312 v(SAa(|) EOB SBb(|), "| |"); 313 v(SAa(|) EOB SBc(|), "| |"); 314 v(SAa(|) EOB SBd(|), "| |"); 315 v(SAa(|) EOB SBe(|), "| |"); 316 v(SAa(|) EOB SBf(|), "| |"); 317 v(SAa(|) EOC |, "| |"); 318 v(SAa(|) EOC SBa(|), "| |"); 319 v(SAa(|) EOC SBb(|), "| |"); 320 v(SAa(|) EOC SBc(|), "| |"); 321 v(SAa(|) EOC SBd(|), "| |"); 322 v(SAa(|) EOC SBe(|), "| |"); 323 v(SAa(|) EOC SBf(|), "| |"); 324 v(SAa(|) EFA() |, "| |"); 325 v(SAa(|) EFA() SBa(|), "| |"); 326 v(SAa(|) EFA() SBb(|), "| |"); 327 v(SAa(|) EFA() SBc(|), "| |"); 328 v(SAa(|) EFA() SBd(|), "| |"); 329 v(SAa(|) EFA() SBe(|), "| |"); 330 v(SAa(|) EFA() SBf(|), "| |"); 331 v(SAa(|) EFB() |, "| |"); 332 v(SAa(|) EFB() SBa(|), "| |"); 333 v(SAa(|) EFB() SBb(|), "| |"); 334 v(SAa(|) EFB() SBc(|), "| |"); 335 v(SAa(|) EFB() SBd(|), "| |"); 336 v(SAa(|) EFB() SBe(|), "| |"); 337 v(SAa(|) EFB() SBf(|), "| |"); 338 v(SAa(|) EFC() |, "| |"); 339 v(SAa(|) EFC() SBa(|), "| |"); 340 v(SAa(|) EFC() SBb(|), "| |"); 341 v(SAa(|) EFC() SBc(|), "| |"); 342 v(SAa(|) EFC() SBd(|), "| |"); 343 v(SAa(|) EFC() SBe(|), "| |"); 344 v(SAa(|) EFC() SBf(|), "| |"); 345} 346 347void 348check3 (void) 349{ 350 v(SAb(|)|, "| |"); 351 v(SAb(|)SBa(|), "| |"); 352 v(SAb(|)SBb(|), "| |"); 353 v(SAb(|)SBc(|), "| |"); 354 v(SAb(|)SBd(|), "| |"); 355 v(SAb(|)SBe(|), "| |"); 356 v(SAb(|)SBf(|), "| |"); 357 v(SAb(|) |, "| |"); 358 v(SAb(|) SBa(|), "| |"); 359 v(SAb(|) SBb(|), "| |"); 360 v(SAb(|) SBc(|), "| |"); 361 v(SAb(|) SBd(|), "| |"); 362 v(SAb(|) SBe(|), "| |"); 363 v(SAb(|) SBf(|), "| |"); 364 v(SAb(|)EOA|, "| |"); 365 v(SAb(|)EOB|, "| |"); 366 v(SAb(|)EOC|, "| |"); 367 v(SAb(|)EFA()|, "| |"); 368 v(SAb(|)EFA()SBa(|), "| |"); 369 v(SAb(|)EFA()SBb(|), "| |"); 370 v(SAb(|)EFA()SBc(|), "| |"); 371 v(SAb(|)EFA()SBd(|), "| |"); 372 v(SAb(|)EFA()SBe(|), "| |"); 373 v(SAb(|)EFA()SBf(|), "| |"); 374 v(SAb(|)EFB()|, "| |"); 375 v(SAb(|)EFB()SBa(|), "| |"); 376 v(SAb(|)EFB()SBb(|), "| |"); 377 v(SAb(|)EFB()SBc(|), "| |"); 378 v(SAb(|)EFB()SBd(|), "| |"); 379 v(SAb(|)EFB()SBe(|), "| |"); 380 v(SAb(|)EFB()SBf(|), "| |"); 381 v(SAb(|)EFC()|, "| |"); 382 v(SAb(|)EFC()SBa(|), "| |"); 383 v(SAb(|)EFC()SBb(|), "| |"); 384 v(SAb(|)EFC()SBc(|), "| |"); 385 v(SAb(|)EFC()SBd(|), "| |"); 386 v(SAb(|)EFC()SBe(|), "| |"); 387 v(SAb(|)EFC()SBf(|), "| |"); 388 v(SAb(|) EOA|, "| |"); 389 v(SAb(|) EOB|, "| |"); 390 v(SAb(|) EOC|, "| |"); 391 v(SAb(|) EFA()|, "| |"); 392 v(SAb(|) EFA()SBa(|), "| |"); 393 v(SAb(|) EFA()SBb(|), "| |"); 394 v(SAb(|) EFA()SBc(|), "| |"); 395 v(SAb(|) EFA()SBd(|), "| |"); 396 v(SAb(|) EFA()SBe(|), "| |"); 397 v(SAb(|) EFA()SBf(|), "| |"); 398 v(SAb(|) EFB()|, "| |"); 399 v(SAb(|) EFB()SBa(|), "| |"); 400 v(SAb(|) EFB()SBb(|), "| |"); 401 v(SAb(|) EFB()SBc(|), "| |"); 402 v(SAb(|) EFB()SBd(|), "| |"); 403 v(SAb(|) EFB()SBe(|), "| |"); 404 v(SAb(|) EFB()SBf(|), "| |"); 405 v(SAb(|) EFC()|, "| |"); 406 v(SAb(|) EFC()SBa(|), "| |"); 407 v(SAb(|) EFC()SBb(|), "| |"); 408 v(SAb(|) EFC()SBc(|), "| |"); 409 v(SAb(|) EFC()SBd(|), "| |"); 410 v(SAb(|) EFC()SBe(|), "| |"); 411 v(SAb(|) EFC()SBf(|), "| |"); 412 v(SAb(|)EOA |, "| |"); 413 v(SAb(|)EOA SBa(|), "| |"); 414 v(SAb(|)EOA SBb(|), "| |"); 415 v(SAb(|)EOA SBc(|), "| |"); 416 v(SAb(|)EOA SBd(|), "| |"); 417 v(SAb(|)EOA SBe(|), "| |"); 418 v(SAb(|)EOA SBf(|), "| |"); 419 v(SAb(|)EOB |, "| |"); 420 v(SAb(|)EOB SBa(|), "| |"); 421 v(SAb(|)EOB SBb(|), "| |"); 422 v(SAb(|)EOB SBc(|), "| |"); 423 v(SAb(|)EOB SBd(|), "| |"); 424 v(SAb(|)EOB SBe(|), "| |"); 425 v(SAb(|)EOB SBf(|), "| |"); 426 v(SAb(|)EOC |, "| |"); 427 v(SAb(|)EOC SBa(|), "| |"); 428 v(SAb(|)EOC SBb(|), "| |"); 429 v(SAb(|)EOC SBc(|), "| |"); 430 v(SAb(|)EOC SBd(|), "| |"); 431 v(SAb(|)EOC SBe(|), "| |"); 432 v(SAb(|)EOC SBf(|), "| |"); 433 v(SAb(|)EFA() |, "| |"); 434 v(SAb(|)EFA() SBa(|), "| |"); 435 v(SAb(|)EFA() SBb(|), "| |"); 436 v(SAb(|)EFA() SBc(|), "| |"); 437 v(SAb(|)EFA() SBd(|), "| |"); 438 v(SAb(|)EFA() SBe(|), "| |"); 439 v(SAb(|)EFA() SBf(|), "| |"); 440 v(SAb(|)EFB() |, "| |"); 441 v(SAb(|)EFB() SBa(|), "| |"); 442 v(SAb(|)EFB() SBb(|), "| |"); 443 v(SAb(|)EFB() SBc(|), "| |"); 444 v(SAb(|)EFB() SBd(|), "| |"); 445 v(SAb(|)EFB() SBe(|), "| |"); 446 v(SAb(|)EFB() SBf(|), "| |"); 447 v(SAb(|)EFC() |, "| |"); 448 v(SAb(|)EFC() SBa(|), "| |"); 449 v(SAb(|)EFC() SBb(|), "| |"); 450 v(SAb(|)EFC() SBc(|), "| |"); 451 v(SAb(|)EFC() SBd(|), "| |"); 452 v(SAb(|)EFC() SBe(|), "| |"); 453 v(SAb(|)EFC() SBf(|), "| |"); 454 v(SAb(|) EOA |, "| |"); 455 v(SAb(|) EOA SBa(|), "| |"); 456 v(SAb(|) EOA SBb(|), "| |"); 457 v(SAb(|) EOA SBc(|), "| |"); 458 v(SAb(|) EOA SBd(|), "| |"); 459 v(SAb(|) EOA SBe(|), "| |"); 460 v(SAb(|) EOA SBf(|), "| |"); 461 v(SAb(|) EOB |, "| |"); 462 v(SAb(|) EOB SBa(|), "| |"); 463 v(SAb(|) EOB SBb(|), "| |"); 464 v(SAb(|) EOB SBc(|), "| |"); 465 v(SAb(|) EOB SBd(|), "| |"); 466 v(SAb(|) EOB SBe(|), "| |"); 467 v(SAb(|) EOB SBf(|), "| |"); 468 v(SAb(|) EOC |, "| |"); 469 v(SAb(|) EOC SBa(|), "| |"); 470 v(SAb(|) EOC SBb(|), "| |"); 471 v(SAb(|) EOC SBc(|), "| |"); 472 v(SAb(|) EOC SBd(|), "| |"); 473 v(SAb(|) EOC SBe(|), "| |"); 474 v(SAb(|) EOC SBf(|), "| |"); 475 v(SAb(|) EFA() |, "| |"); 476 v(SAb(|) EFA() SBa(|), "| |"); 477 v(SAb(|) EFA() SBb(|), "| |"); 478 v(SAb(|) EFA() SBc(|), "| |"); 479 v(SAb(|) EFA() SBd(|), "| |"); 480 v(SAb(|) EFA() SBe(|), "| |"); 481 v(SAb(|) EFA() SBf(|), "| |"); 482 v(SAb(|) EFB() |, "| |"); 483 v(SAb(|) EFB() SBa(|), "| |"); 484 v(SAb(|) EFB() SBb(|), "| |"); 485 v(SAb(|) EFB() SBc(|), "| |"); 486 v(SAb(|) EFB() SBd(|), "| |"); 487 v(SAb(|) EFB() SBe(|), "| |"); 488 v(SAb(|) EFB() SBf(|), "| |"); 489 v(SAb(|) EFC() |, "| |"); 490 v(SAb(|) EFC() SBa(|), "| |"); 491 v(SAb(|) EFC() SBb(|), "| |"); 492 v(SAb(|) EFC() SBc(|), "| |"); 493 v(SAb(|) EFC() SBd(|), "| |"); 494 v(SAb(|) EFC() SBe(|), "| |"); 495 v(SAb(|) EFC() SBf(|), "| |"); 496} 497 498void 499check4 (void) 500{ 501 v(SAc(|)|, "| |"); 502 v(SAc(|)SBa(|), "| |"); 503 v(SAc(|)SBb(|), "| |"); 504 v(SAc(|)SBc(|), "| |"); 505 v(SAc(|)SBd(|), "| |"); 506 v(SAc(|)SBe(|), "| |"); 507 v(SAc(|)SBf(|), "| |"); 508 v(SAc(|) |, "| |"); 509 v(SAc(|) SBa(|), "| |"); 510 v(SAc(|) SBb(|), "| |"); 511 v(SAc(|) SBc(|), "| |"); 512 v(SAc(|) SBd(|), "| |"); 513 v(SAc(|) SBe(|), "| |"); 514 v(SAc(|) SBf(|), "| |"); 515 v(SAc(|)EOA|, "| |"); 516 v(SAc(|)EOB|, "| |"); 517 v(SAc(|)EOC|, "| |"); 518 v(SAc(|)EFA()|, "| |"); 519 v(SAc(|)EFA()SBa(|), "| |"); 520 v(SAc(|)EFA()SBb(|), "| |"); 521 v(SAc(|)EFA()SBc(|), "| |"); 522 v(SAc(|)EFA()SBd(|), "| |"); 523 v(SAc(|)EFA()SBe(|), "| |"); 524 v(SAc(|)EFA()SBf(|), "| |"); 525 v(SAc(|)EFB()|, "| |"); 526 v(SAc(|)EFB()SBa(|), "| |"); 527 v(SAc(|)EFB()SBb(|), "| |"); 528 v(SAc(|)EFB()SBc(|), "| |"); 529 v(SAc(|)EFB()SBd(|), "| |"); 530 v(SAc(|)EFB()SBe(|), "| |"); 531 v(SAc(|)EFB()SBf(|), "| |"); 532 v(SAc(|)EFC()|, "| |"); 533 v(SAc(|)EFC()SBa(|), "| |"); 534 v(SAc(|)EFC()SBb(|), "| |"); 535 v(SAc(|)EFC()SBc(|), "| |"); 536 v(SAc(|)EFC()SBd(|), "| |"); 537 v(SAc(|)EFC()SBe(|), "| |"); 538 v(SAc(|)EFC()SBf(|), "| |"); 539 v(SAc(|) EOA|, "| |"); 540 v(SAc(|) EOB|, "| |"); 541 v(SAc(|) EOC|, "| |"); 542 v(SAc(|) EFA()|, "| |"); 543 v(SAc(|) EFA()SBa(|), "| |"); 544 v(SAc(|) EFA()SBb(|), "| |"); 545 v(SAc(|) EFA()SBc(|), "| |"); 546 v(SAc(|) EFA()SBd(|), "| |"); 547 v(SAc(|) EFA()SBe(|), "| |"); 548 v(SAc(|) EFA()SBf(|), "| |"); 549 v(SAc(|) EFB()|, "| |"); 550 v(SAc(|) EFB()SBa(|), "| |"); 551 v(SAc(|) EFB()SBb(|), "| |"); 552 v(SAc(|) EFB()SBc(|), "| |"); 553 v(SAc(|) EFB()SBd(|), "| |"); 554 v(SAc(|) EFB()SBe(|), "| |"); 555 v(SAc(|) EFB()SBf(|), "| |"); 556 v(SAc(|) EFC()|, "| |"); 557 v(SAc(|) EFC()SBa(|), "| |"); 558 v(SAc(|) EFC()SBb(|), "| |"); 559 v(SAc(|) EFC()SBc(|), "| |"); 560 v(SAc(|) EFC()SBd(|), "| |"); 561 v(SAc(|) EFC()SBe(|), "| |"); 562 v(SAc(|) EFC()SBf(|), "| |"); 563 v(SAc(|)EOA |, "| |"); 564 v(SAc(|)EOA SBa(|), "| |"); 565 v(SAc(|)EOA SBb(|), "| |"); 566 v(SAc(|)EOA SBc(|), "| |"); 567 v(SAc(|)EOA SBd(|), "| |"); 568 v(SAc(|)EOA SBe(|), "| |"); 569 v(SAc(|)EOA SBf(|), "| |"); 570 v(SAc(|)EOB |, "| |"); 571 v(SAc(|)EOB SBa(|), "| |"); 572 v(SAc(|)EOB SBb(|), "| |"); 573 v(SAc(|)EOB SBc(|), "| |"); 574 v(SAc(|)EOB SBd(|), "| |"); 575 v(SAc(|)EOB SBe(|), "| |"); 576 v(SAc(|)EOB SBf(|), "| |"); 577 v(SAc(|)EOC |, "| |"); 578 v(SAc(|)EOC SBa(|), "| |"); 579 v(SAc(|)EOC SBb(|), "| |"); 580 v(SAc(|)EOC SBc(|), "| |"); 581 v(SAc(|)EOC SBd(|), "| |"); 582 v(SAc(|)EOC SBe(|), "| |"); 583 v(SAc(|)EOC SBf(|), "| |"); 584 v(SAc(|)EFA() |, "| |"); 585 v(SAc(|)EFA() SBa(|), "| |"); 586 v(SAc(|)EFA() SBb(|), "| |"); 587 v(SAc(|)EFA() SBc(|), "| |"); 588 v(SAc(|)EFA() SBd(|), "| |"); 589 v(SAc(|)EFA() SBe(|), "| |"); 590 v(SAc(|)EFA() SBf(|), "| |"); 591 v(SAc(|)EFB() |, "| |"); 592 v(SAc(|)EFB() SBa(|), "| |"); 593 v(SAc(|)EFB() SBb(|), "| |"); 594 v(SAc(|)EFB() SBc(|), "| |"); 595 v(SAc(|)EFB() SBd(|), "| |"); 596 v(SAc(|)EFB() SBe(|), "| |"); 597 v(SAc(|)EFB() SBf(|), "| |"); 598 v(SAc(|)EFC() |, "| |"); 599 v(SAc(|)EFC() SBa(|), "| |"); 600 v(SAc(|)EFC() SBb(|), "| |"); 601 v(SAc(|)EFC() SBc(|), "| |"); 602 v(SAc(|)EFC() SBd(|), "| |"); 603 v(SAc(|)EFC() SBe(|), "| |"); 604 v(SAc(|)EFC() SBf(|), "| |"); 605 v(SAc(|) EOA |, "| |"); 606 v(SAc(|) EOA SBa(|), "| |"); 607 v(SAc(|) EOA SBb(|), "| |"); 608 v(SAc(|) EOA SBc(|), "| |"); 609 v(SAc(|) EOA SBd(|), "| |"); 610 v(SAc(|) EOA SBe(|), "| |"); 611 v(SAc(|) EOA SBf(|), "| |"); 612 v(SAc(|) EOB |, "| |"); 613 v(SAc(|) EOB SBa(|), "| |"); 614 v(SAc(|) EOB SBb(|), "| |"); 615 v(SAc(|) EOB SBc(|), "| |"); 616 v(SAc(|) EOB SBd(|), "| |"); 617 v(SAc(|) EOB SBe(|), "| |"); 618 v(SAc(|) EOB SBf(|), "| |"); 619 v(SAc(|) EOC |, "| |"); 620 v(SAc(|) EOC SBa(|), "| |"); 621 v(SAc(|) EOC SBb(|), "| |"); 622 v(SAc(|) EOC SBc(|), "| |"); 623 v(SAc(|) EOC SBd(|), "| |"); 624 v(SAc(|) EOC SBe(|), "| |"); 625 v(SAc(|) EOC SBf(|), "| |"); 626 v(SAc(|) EFA() |, "| |"); 627 v(SAc(|) EFA() SBa(|), "| |"); 628 v(SAc(|) EFA() SBb(|), "| |"); 629 v(SAc(|) EFA() SBc(|), "| |"); 630 v(SAc(|) EFA() SBd(|), "| |"); 631 v(SAc(|) EFA() SBe(|), "| |"); 632 v(SAc(|) EFA() SBf(|), "| |"); 633 v(SAc(|) EFB() |, "| |"); 634 v(SAc(|) EFB() SBa(|), "| |"); 635 v(SAc(|) EFB() SBb(|), "| |"); 636 v(SAc(|) EFB() SBc(|), "| |"); 637 v(SAc(|) EFB() SBd(|), "| |"); 638 v(SAc(|) EFB() SBe(|), "| |"); 639 v(SAc(|) EFB() SBf(|), "| |"); 640 v(SAc(|) EFC() |, "| |"); 641 v(SAc(|) EFC() SBa(|), "| |"); 642 v(SAc(|) EFC() SBb(|), "| |"); 643 v(SAc(|) EFC() SBc(|), "| |"); 644 v(SAc(|) EFC() SBd(|), "| |"); 645 v(SAc(|) EFC() SBe(|), "| |"); 646 v(SAc(|) EFC() SBf(|), "| |"); 647 v(SAc(|)|, "| |"); 648 v(SAc(|)SBa(|), "| |"); 649 v(SAc(|)SBb(|), "| |"); 650 v(SAc(|)SBc(|), "| |"); 651 v(SAc(|)SBd(|), "| |"); 652 v(SAc(|)SBe(|), "| |"); 653 v(SAc(|)SBf(|), "| |"); 654 v(SAc(|) |, "| |"); 655 v(SAc(|) SBa(|), "| |"); 656 v(SAc(|) SBb(|), "| |"); 657 v(SAc(|) SBc(|), "| |"); 658 v(SAc(|) SBd(|), "| |"); 659 v(SAc(|) SBe(|), "| |"); 660 v(SAc(|) SBf(|), "| |"); 661 v(SAc(|)EOA|, "| |"); 662 v(SAc(|)EOB|, "| |"); 663 v(SAc(|)EOC|, "| |"); 664 v(SAc(|)EFA()|, "| |"); 665 v(SAc(|)EFA()SBa(|), "| |"); 666 v(SAc(|)EFA()SBb(|), "| |"); 667 v(SAc(|)EFA()SBc(|), "| |"); 668 v(SAc(|)EFA()SBd(|), "| |"); 669 v(SAc(|)EFA()SBe(|), "| |"); 670 v(SAc(|)EFA()SBf(|), "| |"); 671 v(SAc(|)EFB()|, "| |"); 672 v(SAc(|)EFB()SBa(|), "| |"); 673 v(SAc(|)EFB()SBb(|), "| |"); 674 v(SAc(|)EFB()SBc(|), "| |"); 675 v(SAc(|)EFB()SBd(|), "| |"); 676 v(SAc(|)EFB()SBe(|), "| |"); 677 v(SAc(|)EFB()SBf(|), "| |"); 678 v(SAc(|)EFC()|, "| |"); 679 v(SAc(|)EFC()SBa(|), "| |"); 680 v(SAc(|)EFC()SBb(|), "| |"); 681 v(SAc(|)EFC()SBc(|), "| |"); 682 v(SAc(|)EFC()SBd(|), "| |"); 683 v(SAc(|)EFC()SBe(|), "| |"); 684 v(SAc(|)EFC()SBf(|), "| |"); 685 v(SAc(|) EOA|, "| |"); 686 v(SAc(|) EOB|, "| |"); 687 v(SAc(|) EOC|, "| |"); 688 v(SAc(|) EFA()|, "| |"); 689 v(SAc(|) EFA()SBa(|), "| |"); 690 v(SAc(|) EFA()SBb(|), "| |"); 691 v(SAc(|) EFA()SBc(|), "| |"); 692 v(SAc(|) EFA()SBd(|), "| |"); 693 v(SAc(|) EFA()SBe(|), "| |"); 694 v(SAc(|) EFA()SBf(|), "| |"); 695 v(SAc(|) EFB()|, "| |"); 696 v(SAc(|) EFB()SBa(|), "| |"); 697 v(SAc(|) EFB()SBb(|), "| |"); 698 v(SAc(|) EFB()SBc(|), "| |"); 699 v(SAc(|) EFB()SBd(|), "| |"); 700 v(SAc(|) EFB()SBe(|), "| |"); 701 v(SAc(|) EFB()SBf(|), "| |"); 702 v(SAc(|) EFC()|, "| |"); 703 v(SAc(|) EFC()SBa(|), "| |"); 704 v(SAc(|) EFC()SBb(|), "| |"); 705 v(SAc(|) EFC()SBc(|), "| |"); 706 v(SAc(|) EFC()SBd(|), "| |"); 707 v(SAc(|) EFC()SBe(|), "| |"); 708 v(SAc(|) EFC()SBf(|), "| |"); 709 v(SAc(|)EOA |, "| |"); 710 v(SAc(|)EOA SBa(|), "| |"); 711 v(SAc(|)EOA SBb(|), "| |"); 712 v(SAc(|)EOA SBc(|), "| |"); 713 v(SAc(|)EOA SBd(|), "| |"); 714 v(SAc(|)EOA SBe(|), "| |"); 715 v(SAc(|)EOA SBf(|), "| |"); 716 v(SAc(|)EOB |, "| |"); 717 v(SAc(|)EOB SBa(|), "| |"); 718 v(SAc(|)EOB SBb(|), "| |"); 719 v(SAc(|)EOB SBc(|), "| |"); 720 v(SAc(|)EOB SBd(|), "| |"); 721 v(SAc(|)EOB SBe(|), "| |"); 722 v(SAc(|)EOB SBf(|), "| |"); 723 v(SAc(|)EOC |, "| |"); 724 v(SAc(|)EOC SBa(|), "| |"); 725 v(SAc(|)EOC SBb(|), "| |"); 726 v(SAc(|)EOC SBc(|), "| |"); 727 v(SAc(|)EOC SBd(|), "| |"); 728 v(SAc(|)EOC SBe(|), "| |"); 729 v(SAc(|)EOC SBf(|), "| |"); 730 v(SAc(|)EFA() |, "| |"); 731 v(SAc(|)EFA() SBa(|), "| |"); 732 v(SAc(|)EFA() SBb(|), "| |"); 733 v(SAc(|)EFA() SBc(|), "| |"); 734 v(SAc(|)EFA() SBd(|), "| |"); 735 v(SAc(|)EFA() SBe(|), "| |"); 736 v(SAc(|)EFA() SBf(|), "| |"); 737 v(SAc(|)EFB() |, "| |"); 738 v(SAc(|)EFB() SBa(|), "| |"); 739 v(SAc(|)EFB() SBb(|), "| |"); 740 v(SAc(|)EFB() SBc(|), "| |"); 741 v(SAc(|)EFB() SBd(|), "| |"); 742 v(SAc(|)EFB() SBe(|), "| |"); 743 v(SAc(|)EFB() SBf(|), "| |"); 744 v(SAc(|)EFC() |, "| |"); 745 v(SAc(|)EFC() SBa(|), "| |"); 746 v(SAc(|)EFC() SBb(|), "| |"); 747 v(SAc(|)EFC() SBc(|), "| |"); 748 v(SAc(|)EFC() SBd(|), "| |"); 749 v(SAc(|)EFC() SBe(|), "| |"); 750 v(SAc(|)EFC() SBf(|), "| |"); 751 v(SAc(|) EOA |, "| |"); 752 v(SAc(|) EOA SBa(|), "| |"); 753 v(SAc(|) EOA SBb(|), "| |"); 754 v(SAc(|) EOA SBc(|), "| |"); 755 v(SAc(|) EOA SBd(|), "| |"); 756 v(SAc(|) EOA SBe(|), "| |"); 757 v(SAc(|) EOA SBf(|), "| |"); 758 v(SAc(|) EOB |, "| |"); 759 v(SAc(|) EOB SBa(|), "| |"); 760 v(SAc(|) EOB SBb(|), "| |"); 761 v(SAc(|) EOB SBc(|), "| |"); 762 v(SAc(|) EOB SBd(|), "| |"); 763 v(SAc(|) EOB SBe(|), "| |"); 764 v(SAc(|) EOB SBf(|), "| |"); 765 v(SAc(|) EOC |, "| |"); 766 v(SAc(|) EOC SBa(|), "| |"); 767 v(SAc(|) EOC SBb(|), "| |"); 768 v(SAc(|) EOC SBc(|), "| |"); 769 v(SAc(|) EOC SBd(|), "| |"); 770 v(SAc(|) EOC SBe(|), "| |"); 771 v(SAc(|) EOC SBf(|), "| |"); 772 v(SAc(|) EFA() |, "| |"); 773 v(SAc(|) EFA() SBa(|), "| |"); 774 v(SAc(|) EFA() SBb(|), "| |"); 775 v(SAc(|) EFA() SBc(|), "| |"); 776 v(SAc(|) EFA() SBd(|), "| |"); 777 v(SAc(|) EFA() SBe(|), "| |"); 778 v(SAc(|) EFA() SBf(|), "| |"); 779 v(SAc(|) EFB() |, "| |"); 780 v(SAc(|) EFB() SBa(|), "| |"); 781 v(SAc(|) EFB() SBb(|), "| |"); 782 v(SAc(|) EFB() SBc(|), "| |"); 783 v(SAc(|) EFB() SBd(|), "| |"); 784 v(SAc(|) EFB() SBe(|), "| |"); 785 v(SAc(|) EFB() SBf(|), "| |"); 786 v(SAc(|) EFC() |, "| |"); 787 v(SAc(|) EFC() SBa(|), "| |"); 788 v(SAc(|) EFC() SBb(|), "| |"); 789 v(SAc(|) EFC() SBc(|), "| |"); 790 v(SAc(|) EFC() SBd(|), "| |"); 791 v(SAc(|) EFC() SBe(|), "| |"); 792 v(SAc(|) EFC() SBf(|), "| |"); 793} 794 795void 796check5 (void) 797{ 798 v(SAd(|)|, "| |"); 799 v(SAd(|)SBa(|), "| |"); 800 v(SAd(|)SBb(|), "| |"); 801 v(SAd(|)SBc(|), "| |"); 802 v(SAd(|)SBd(|), "| |"); 803 v(SAd(|)SBe(|), "| |"); 804 v(SAd(|)SBf(|), "| |"); 805 v(SAd(|) |, "| |"); 806 v(SAd(|) SBa(|), "| |"); 807 v(SAd(|) SBb(|), "| |"); 808 v(SAd(|) SBc(|), "| |"); 809 v(SAd(|) SBd(|), "| |"); 810 v(SAd(|) SBe(|), "| |"); 811 v(SAd(|) SBf(|), "| |"); 812 v(SAd(|)EOA|, "| |"); 813 v(SAd(|)EOB|, "| |"); 814 v(SAd(|)EOC|, "| |"); 815 v(SAd(|)EFA()|, "| |"); 816 v(SAd(|)EFA()SBa(|), "| |"); 817 v(SAd(|)EFA()SBb(|), "| |"); 818 v(SAd(|)EFA()SBc(|), "| |"); 819 v(SAd(|)EFA()SBd(|), "| |"); 820 v(SAd(|)EFA()SBe(|), "| |"); 821 v(SAd(|)EFA()SBf(|), "| |"); 822 v(SAd(|)EFB()|, "| |"); 823 v(SAd(|)EFB()SBa(|), "| |"); 824 v(SAd(|)EFB()SBb(|), "| |"); 825 v(SAd(|)EFB()SBc(|), "| |"); 826 v(SAd(|)EFB()SBd(|), "| |"); 827 v(SAd(|)EFB()SBe(|), "| |"); 828 v(SAd(|)EFB()SBf(|), "| |"); 829 v(SAd(|)EFC()|, "| |"); 830 v(SAd(|)EFC()SBa(|), "| |"); 831 v(SAd(|)EFC()SBb(|), "| |"); 832 v(SAd(|)EFC()SBc(|), "| |"); 833 v(SAd(|)EFC()SBd(|), "| |"); 834 v(SAd(|)EFC()SBe(|), "| |"); 835 v(SAd(|)EFC()SBf(|), "| |"); 836 v(SAd(|) EOA|, "| |"); 837 v(SAd(|) EOB|, "| |"); 838 v(SAd(|) EOC|, "| |"); 839 v(SAd(|) EFA()|, "| |"); 840 v(SAd(|) EFA()SBa(|), "| |"); 841 v(SAd(|) EFA()SBb(|), "| |"); 842 v(SAd(|) EFA()SBc(|), "| |"); 843 v(SAd(|) EFA()SBd(|), "| |"); 844 v(SAd(|) EFA()SBe(|), "| |"); 845 v(SAd(|) EFA()SBf(|), "| |"); 846 v(SAd(|) EFB()|, "| |"); 847 v(SAd(|) EFB()SBa(|), "| |"); 848 v(SAd(|) EFB()SBb(|), "| |"); 849 v(SAd(|) EFB()SBc(|), "| |"); 850 v(SAd(|) EFB()SBd(|), "| |"); 851 v(SAd(|) EFB()SBe(|), "| |"); 852 v(SAd(|) EFB()SBf(|), "| |"); 853 v(SAd(|) EFC()|, "| |"); 854 v(SAd(|) EFC()SBa(|), "| |"); 855 v(SAd(|) EFC()SBb(|), "| |"); 856 v(SAd(|) EFC()SBc(|), "| |"); 857 v(SAd(|) EFC()SBd(|), "| |"); 858 v(SAd(|) EFC()SBe(|), "| |"); 859 v(SAd(|) EFC()SBf(|), "| |"); 860 v(SAd(|)EOA |, "| |"); 861 v(SAd(|)EOA SBa(|), "| |"); 862 v(SAd(|)EOA SBb(|), "| |"); 863 v(SAd(|)EOA SBc(|), "| |"); 864 v(SAd(|)EOA SBd(|), "| |"); 865 v(SAd(|)EOA SBe(|), "| |"); 866 v(SAd(|)EOA SBf(|), "| |"); 867 v(SAd(|)EOB |, "| |"); 868 v(SAd(|)EOB SBa(|), "| |"); 869 v(SAd(|)EOB SBb(|), "| |"); 870 v(SAd(|)EOB SBc(|), "| |"); 871 v(SAd(|)EOB SBd(|), "| |"); 872 v(SAd(|)EOB SBe(|), "| |"); 873 v(SAd(|)EOB SBf(|), "| |"); 874 v(SAd(|)EOC |, "| |"); 875 v(SAd(|)EOC SBa(|), "| |"); 876 v(SAd(|)EOC SBb(|), "| |"); 877 v(SAd(|)EOC SBc(|), "| |"); 878 v(SAd(|)EOC SBd(|), "| |"); 879 v(SAd(|)EOC SBe(|), "| |"); 880 v(SAd(|)EOC SBf(|), "| |"); 881 v(SAd(|)EFA() |, "| |"); 882 v(SAd(|)EFA() SBa(|), "| |"); 883 v(SAd(|)EFA() SBb(|), "| |"); 884 v(SAd(|)EFA() SBc(|), "| |"); 885 v(SAd(|)EFA() SBd(|), "| |"); 886 v(SAd(|)EFA() SBe(|), "| |"); 887 v(SAd(|)EFA() SBf(|), "| |"); 888 v(SAd(|)EFB() |, "| |"); 889 v(SAd(|)EFB() SBa(|), "| |"); 890 v(SAd(|)EFB() SBb(|), "| |"); 891 v(SAd(|)EFB() SBc(|), "| |"); 892 v(SAd(|)EFB() SBd(|), "| |"); 893 v(SAd(|)EFB() SBe(|), "| |"); 894 v(SAd(|)EFB() SBf(|), "| |"); 895 v(SAd(|)EFC() |, "| |"); 896 v(SAd(|)EFC() SBa(|), "| |"); 897 v(SAd(|)EFC() SBb(|), "| |"); 898 v(SAd(|)EFC() SBc(|), "| |"); 899 v(SAd(|)EFC() SBd(|), "| |"); 900 v(SAd(|)EFC() SBe(|), "| |"); 901 v(SAd(|)EFC() SBf(|), "| |"); 902 v(SAd(|) EOA |, "| |"); 903 v(SAd(|) EOA SBa(|), "| |"); 904 v(SAd(|) EOA SBb(|), "| |"); 905 v(SAd(|) EOA SBc(|), "| |"); 906 v(SAd(|) EOA SBd(|), "| |"); 907 v(SAd(|) EOA SBe(|), "| |"); 908 v(SAd(|) EOA SBf(|), "| |"); 909 v(SAd(|) EOB |, "| |"); 910 v(SAd(|) EOB SBa(|), "| |"); 911 v(SAd(|) EOB SBb(|), "| |"); 912 v(SAd(|) EOB SBc(|), "| |"); 913 v(SAd(|) EOB SBd(|), "| |"); 914 v(SAd(|) EOB SBe(|), "| |"); 915 v(SAd(|) EOB SBf(|), "| |"); 916 v(SAd(|) EOC |, "| |"); 917 v(SAd(|) EOC SBa(|), "| |"); 918 v(SAd(|) EOC SBb(|), "| |"); 919 v(SAd(|) EOC SBc(|), "| |"); 920 v(SAd(|) EOC SBd(|), "| |"); 921 v(SAd(|) EOC SBe(|), "| |"); 922 v(SAd(|) EOC SBf(|), "| |"); 923 v(SAd(|) EFA() |, "| |"); 924 v(SAd(|) EFA() SBa(|), "| |"); 925 v(SAd(|) EFA() SBb(|), "| |"); 926 v(SAd(|) EFA() SBc(|), "| |"); 927 v(SAd(|) EFA() SBd(|), "| |"); 928 v(SAd(|) EFA() SBe(|), "| |"); 929 v(SAd(|) EFA() SBf(|), "| |"); 930 v(SAd(|) EFB() |, "| |"); 931 v(SAd(|) EFB() SBa(|), "| |"); 932 v(SAd(|) EFB() SBb(|), "| |"); 933 v(SAd(|) EFB() SBc(|), "| |"); 934 v(SAd(|) EFB() SBd(|), "| |"); 935 v(SAd(|) EFB() SBe(|), "| |"); 936 v(SAd(|) EFB() SBf(|), "| |"); 937 v(SAd(|) EFC() |, "| |"); 938 v(SAd(|) EFC() SBa(|), "| |"); 939 v(SAd(|) EFC() SBb(|), "| |"); 940 v(SAd(|) EFC() SBc(|), "| |"); 941 v(SAd(|) EFC() SBd(|), "| |"); 942 v(SAd(|) EFC() SBe(|), "| |"); 943 v(SAd(|) EFC() SBf(|), "| |"); 944} 945 946void 947check6 (void) 948{ 949 v(SAe(|)|, "| |"); 950 v(SAe(|)SBa(|), "| |"); 951 v(SAe(|)SBb(|), "| |"); 952 v(SAe(|)SBc(|), "| |"); 953 v(SAe(|)SBd(|), "| |"); 954 v(SAe(|)SBe(|), "| |"); 955 v(SAe(|)SBf(|), "| |"); 956 v(SAe(|) |, "| |"); 957 v(SAe(|) SBa(|), "| |"); 958 v(SAe(|) SBb(|), "| |"); 959 v(SAe(|) SBc(|), "| |"); 960 v(SAe(|) SBd(|), "| |"); 961 v(SAe(|) SBe(|), "| |"); 962 v(SAe(|) SBf(|), "| |"); 963 v(SAe(|)EOA|, "| |"); 964 v(SAe(|)EOB|, "| |"); 965 v(SAe(|)EOC|, "| |"); 966 v(SAe(|)EFA()|, "| |"); 967 v(SAe(|)EFA()SBa(|), "| |"); 968 v(SAe(|)EFA()SBb(|), "| |"); 969 v(SAe(|)EFA()SBc(|), "| |"); 970 v(SAe(|)EFA()SBd(|), "| |"); 971 v(SAe(|)EFA()SBe(|), "| |"); 972 v(SAe(|)EFA()SBf(|), "| |"); 973 v(SAe(|)EFB()|, "| |"); 974 v(SAe(|)EFB()SBa(|), "| |"); 975 v(SAe(|)EFB()SBb(|), "| |"); 976 v(SAe(|)EFB()SBc(|), "| |"); 977 v(SAe(|)EFB()SBd(|), "| |"); 978 v(SAe(|)EFB()SBe(|), "| |"); 979 v(SAe(|)EFB()SBf(|), "| |"); 980 v(SAe(|)EFC()|, "| |"); 981 v(SAe(|)EFC()SBa(|), "| |"); 982 v(SAe(|)EFC()SBb(|), "| |"); 983 v(SAe(|)EFC()SBc(|), "| |"); 984 v(SAe(|)EFC()SBd(|), "| |"); 985 v(SAe(|)EFC()SBe(|), "| |"); 986 v(SAe(|)EFC()SBf(|), "| |"); 987 v(SAe(|) EOA|, "| |"); 988 v(SAe(|) EOB|, "| |"); 989 v(SAe(|) EOC|, "| |"); 990 v(SAe(|) EFA()|, "| |"); 991 v(SAe(|) EFA()SBa(|), "| |"); 992 v(SAe(|) EFA()SBb(|), "| |"); 993 v(SAe(|) EFA()SBc(|), "| |"); 994 v(SAe(|) EFA()SBd(|), "| |"); 995 v(SAe(|) EFA()SBe(|), "| |"); 996 v(SAe(|) EFA()SBf(|), "| |"); 997 v(SAe(|) EFB()|, "| |"); 998 v(SAe(|) EFB()SBa(|), "| |"); 999 v(SAe(|) EFB()SBb(|), "| |"); 1000 v(SAe(|) EFB()SBc(|), "| |"); 1001 v(SAe(|) EFB()SBd(|), "| |"); 1002 v(SAe(|) EFB()SBe(|), "| |"); 1003 v(SAe(|) EFB()SBf(|), "| |"); 1004 v(SAe(|) EFC()|, "| |"); 1005 v(SAe(|) EFC()SBa(|), "| |"); 1006 v(SAe(|) EFC()SBb(|), "| |"); 1007 v(SAe(|) EFC()SBc(|), "| |"); 1008 v(SAe(|) EFC()SBd(|), "| |"); 1009 v(SAe(|) EFC()SBe(|), "| |"); 1010 v(SAe(|) EFC()SBf(|), "| |"); 1011 v(SAe(|)EOA |, "| |"); 1012 v(SAe(|)EOA SBa(|), "| |"); 1013 v(SAe(|)EOA SBb(|), "| |"); 1014 v(SAe(|)EOA SBc(|), "| |"); 1015 v(SAe(|)EOA SBd(|), "| |"); 1016 v(SAe(|)EOA SBe(|), "| |"); 1017 v(SAe(|)EOA SBf(|), "| |"); 1018 v(SAe(|)EOB |, "| |"); 1019 v(SAe(|)EOB SBa(|), "| |"); 1020 v(SAe(|)EOB SBb(|), "| |"); 1021 v(SAe(|)EOB SBc(|), "| |"); 1022 v(SAe(|)EOB SBd(|), "| |"); 1023 v(SAe(|)EOB SBe(|), "| |"); 1024 v(SAe(|)EOB SBf(|), "| |"); 1025 v(SAe(|)EOC |, "| |"); 1026 v(SAe(|)EOC SBa(|), "| |"); 1027 v(SAe(|)EOC SBb(|), "| |"); 1028 v(SAe(|)EOC SBc(|), "| |"); 1029 v(SAe(|)EOC SBd(|), "| |"); 1030 v(SAe(|)EOC SBe(|), "| |"); 1031 v(SAe(|)EOC SBf(|), "| |"); 1032 v(SAe(|)EFA() |, "| |"); 1033 v(SAe(|)EFA() SBa(|), "| |"); 1034 v(SAe(|)EFA() SBb(|), "| |"); 1035 v(SAe(|)EFA() SBc(|), "| |"); 1036 v(SAe(|)EFA() SBd(|), "| |"); 1037 v(SAe(|)EFA() SBe(|), "| |"); 1038 v(SAe(|)EFA() SBf(|), "| |"); 1039 v(SAe(|)EFB() |, "| |"); 1040 v(SAe(|)EFB() SBa(|), "| |"); 1041 v(SAe(|)EFB() SBb(|), "| |"); 1042 v(SAe(|)EFB() SBc(|), "| |"); 1043 v(SAe(|)EFB() SBd(|), "| |"); 1044 v(SAe(|)EFB() SBe(|), "| |"); 1045 v(SAe(|)EFB() SBf(|), "| |"); 1046 v(SAe(|)EFC() |, "| |"); 1047 v(SAe(|)EFC() SBa(|), "| |"); 1048 v(SAe(|)EFC() SBb(|), "| |"); 1049 v(SAe(|)EFC() SBc(|), "| |"); 1050 v(SAe(|)EFC() SBd(|), "| |"); 1051 v(SAe(|)EFC() SBe(|), "| |"); 1052 v(SAe(|)EFC() SBf(|), "| |"); 1053 v(SAe(|) EOA |, "| |"); 1054 v(SAe(|) EOA SBa(|), "| |"); 1055 v(SAe(|) EOA SBb(|), "| |"); 1056 v(SAe(|) EOA SBc(|), "| |"); 1057 v(SAe(|) EOA SBd(|), "| |"); 1058 v(SAe(|) EOA SBe(|), "| |"); 1059 v(SAe(|) EOA SBf(|), "| |"); 1060 v(SAe(|) EOB |, "| |"); 1061 v(SAe(|) EOB SBa(|), "| |"); 1062 v(SAe(|) EOB SBb(|), "| |"); 1063 v(SAe(|) EOB SBc(|), "| |"); 1064 v(SAe(|) EOB SBd(|), "| |"); 1065 v(SAe(|) EOB SBe(|), "| |"); 1066 v(SAe(|) EOB SBf(|), "| |"); 1067 v(SAe(|) EOC |, "| |"); 1068 v(SAe(|) EOC SBa(|), "| |"); 1069 v(SAe(|) EOC SBb(|), "| |"); 1070 v(SAe(|) EOC SBc(|), "| |"); 1071 v(SAe(|) EOC SBd(|), "| |"); 1072 v(SAe(|) EOC SBe(|), "| |"); 1073 v(SAe(|) EOC SBf(|), "| |"); 1074 v(SAe(|) EFA() |, "| |"); 1075 v(SAe(|) EFA() SBa(|), "| |"); 1076 v(SAe(|) EFA() SBb(|), "| |"); 1077 v(SAe(|) EFA() SBc(|), "| |"); 1078 v(SAe(|) EFA() SBd(|), "| |"); 1079 v(SAe(|) EFA() SBe(|), "| |"); 1080 v(SAe(|) EFA() SBf(|), "| |"); 1081 v(SAe(|) EFB() |, "| |"); 1082 v(SAe(|) EFB() SBa(|), "| |"); 1083 v(SAe(|) EFB() SBb(|), "| |"); 1084 v(SAe(|) EFB() SBc(|), "| |"); 1085 v(SAe(|) EFB() SBd(|), "| |"); 1086 v(SAe(|) EFB() SBe(|), "| |"); 1087 v(SAe(|) EFB() SBf(|), "| |"); 1088 v(SAe(|) EFC() |, "| |"); 1089 v(SAe(|) EFC() SBa(|), "| |"); 1090 v(SAe(|) EFC() SBb(|), "| |"); 1091 v(SAe(|) EFC() SBc(|), "| |"); 1092 v(SAe(|) EFC() SBd(|), "| |"); 1093 v(SAe(|) EFC() SBe(|), "| |"); 1094 v(SAe(|) EFC() SBf(|), "| |"); 1095} 1096 1097void 1098check7 (void) 1099{ 1100 v(SAf(|)|, "| |"); 1101 v(SAf(|)SBa(|), "| |"); 1102 v(SAf(|)SBb(|), "| |"); 1103 v(SAf(|)SBc(|), "| |"); 1104 v(SAf(|)SBd(|), "| |"); 1105 v(SAf(|)SBe(|), "| |"); 1106 v(SAf(|)SBf(|), "| |"); 1107 v(SAf(|) |, "| |"); 1108 v(SAf(|) SBa(|), "| |"); 1109 v(SAf(|) SBb(|), "| |"); 1110 v(SAf(|) SBc(|), "| |"); 1111 v(SAf(|) SBd(|), "| |"); 1112 v(SAf(|) SBe(|), "| |"); 1113 v(SAf(|) SBf(|), "| |"); 1114 v(SAf(|)EOA|, "| |"); 1115 v(SAf(|)EOB|, "| |"); 1116 v(SAf(|)EOC|, "| |"); 1117 v(SAf(|)EFA()|, "| |"); 1118 v(SAf(|)EFA()SBa(|), "| |"); 1119 v(SAf(|)EFA()SBb(|), "| |"); 1120 v(SAf(|)EFA()SBc(|), "| |"); 1121 v(SAf(|)EFA()SBd(|), "| |"); 1122 v(SAf(|)EFA()SBe(|), "| |"); 1123 v(SAf(|)EFA()SBf(|), "| |"); 1124 v(SAf(|)EFB()|, "| |"); 1125 v(SAf(|)EFB()SBa(|), "| |"); 1126 v(SAf(|)EFB()SBb(|), "| |"); 1127 v(SAf(|)EFB()SBc(|), "| |"); 1128 v(SAf(|)EFB()SBd(|), "| |"); 1129 v(SAf(|)EFB()SBe(|), "| |"); 1130 v(SAf(|)EFB()SBf(|), "| |"); 1131 v(SAf(|)EFC()|, "| |"); 1132 v(SAf(|)EFC()SBa(|), "| |"); 1133 v(SAf(|)EFC()SBb(|), "| |"); 1134 v(SAf(|)EFC()SBc(|), "| |"); 1135 v(SAf(|)EFC()SBd(|), "| |"); 1136 v(SAf(|)EFC()SBe(|), "| |"); 1137 v(SAf(|)EFC()SBf(|), "| |"); 1138 v(SAf(|) EOA|, "| |"); 1139 v(SAf(|) EOB|, "| |"); 1140 v(SAf(|) EOC|, "| |"); 1141 v(SAf(|) EFA()|, "| |"); 1142 v(SAf(|) EFA()SBa(|), "| |"); 1143 v(SAf(|) EFA()SBb(|), "| |"); 1144 v(SAf(|) EFA()SBc(|), "| |"); 1145 v(SAf(|) EFA()SBd(|), "| |"); 1146 v(SAf(|) EFA()SBe(|), "| |"); 1147 v(SAf(|) EFA()SBf(|), "| |"); 1148 v(SAf(|) EFB()|, "| |"); 1149 v(SAf(|) EFB()SBa(|), "| |"); 1150 v(SAf(|) EFB()SBb(|), "| |"); 1151 v(SAf(|) EFB()SBc(|), "| |"); 1152 v(SAf(|) EFB()SBd(|), "| |"); 1153 v(SAf(|) EFB()SBe(|), "| |"); 1154 v(SAf(|) EFB()SBf(|), "| |"); 1155 v(SAf(|) EFC()|, "| |"); 1156 v(SAf(|) EFC()SBa(|), "| |"); 1157 v(SAf(|) EFC()SBb(|), "| |"); 1158 v(SAf(|) EFC()SBc(|), "| |"); 1159 v(SAf(|) EFC()SBd(|), "| |"); 1160 v(SAf(|) EFC()SBe(|), "| |"); 1161 v(SAf(|) EFC()SBf(|), "| |"); 1162 v(SAf(|)EOA |, "| |"); 1163 v(SAf(|)EOA SBa(|), "| |"); 1164 v(SAf(|)EOA SBb(|), "| |"); 1165 v(SAf(|)EOA SBc(|), "| |"); 1166 v(SAf(|)EOA SBd(|), "| |"); 1167 v(SAf(|)EOA SBe(|), "| |"); 1168 v(SAf(|)EOA SBf(|), "| |"); 1169 v(SAf(|)EOB |, "| |"); 1170 v(SAf(|)EOB SBa(|), "| |"); 1171 v(SAf(|)EOB SBb(|), "| |"); 1172 v(SAf(|)EOB SBc(|), "| |"); 1173 v(SAf(|)EOB SBd(|), "| |"); 1174 v(SAf(|)EOB SBe(|), "| |"); 1175 v(SAf(|)EOB SBf(|), "| |"); 1176 v(SAf(|)EOC |, "| |"); 1177 v(SAf(|)EOC SBa(|), "| |"); 1178 v(SAf(|)EOC SBb(|), "| |"); 1179 v(SAf(|)EOC SBc(|), "| |"); 1180 v(SAf(|)EOC SBd(|), "| |"); 1181 v(SAf(|)EOC SBe(|), "| |"); 1182 v(SAf(|)EOC SBf(|), "| |"); 1183 v(SAf(|)EFA() |, "| |"); 1184 v(SAf(|)EFA() SBa(|), "| |"); 1185 v(SAf(|)EFA() SBb(|), "| |"); 1186 v(SAf(|)EFA() SBc(|), "| |"); 1187 v(SAf(|)EFA() SBd(|), "| |"); 1188 v(SAf(|)EFA() SBe(|), "| |"); 1189 v(SAf(|)EFA() SBf(|), "| |"); 1190 v(SAf(|)EFB() |, "| |"); 1191 v(SAf(|)EFB() SBa(|), "| |"); 1192 v(SAf(|)EFB() SBb(|), "| |"); 1193 v(SAf(|)EFB() SBc(|), "| |"); 1194 v(SAf(|)EFB() SBd(|), "| |"); 1195 v(SAf(|)EFB() SBe(|), "| |"); 1196 v(SAf(|)EFB() SBf(|), "| |"); 1197 v(SAf(|)EFC() |, "| |"); 1198 v(SAf(|)EFC() SBa(|), "| |"); 1199 v(SAf(|)EFC() SBb(|), "| |"); 1200 v(SAf(|)EFC() SBc(|), "| |"); 1201 v(SAf(|)EFC() SBd(|), "| |"); 1202 v(SAf(|)EFC() SBe(|), "| |"); 1203 v(SAf(|)EFC() SBf(|), "| |"); 1204 v(SAf(|) EOA |, "| |"); 1205 v(SAf(|) EOA SBa(|), "| |"); 1206 v(SAf(|) EOA SBb(|), "| |"); 1207 v(SAf(|) EOA SBc(|), "| |"); 1208 v(SAf(|) EOA SBd(|), "| |"); 1209 v(SAf(|) EOA SBe(|), "| |"); 1210 v(SAf(|) EOA SBf(|), "| |"); 1211 v(SAf(|) EOB |, "| |"); 1212 v(SAf(|) EOB SBa(|), "| |"); 1213 v(SAf(|) EOB SBb(|), "| |"); 1214 v(SAf(|) EOB SBc(|), "| |"); 1215 v(SAf(|) EOB SBd(|), "| |"); 1216 v(SAf(|) EOB SBe(|), "| |"); 1217 v(SAf(|) EOB SBf(|), "| |"); 1218 v(SAf(|) EOC |, "| |"); 1219 v(SAf(|) EOC SBa(|), "| |"); 1220 v(SAf(|) EOC SBb(|), "| |"); 1221 v(SAf(|) EOC SBc(|), "| |"); 1222 v(SAf(|) EOC SBd(|), "| |"); 1223 v(SAf(|) EOC SBe(|), "| |"); 1224 v(SAf(|) EOC SBf(|), "| |"); 1225 v(SAf(|) EFA() |, "| |"); 1226 v(SAf(|) EFA() SBa(|), "| |"); 1227 v(SAf(|) EFA() SBb(|), "| |"); 1228 v(SAf(|) EFA() SBc(|), "| |"); 1229 v(SAf(|) EFA() SBd(|), "| |"); 1230 v(SAf(|) EFA() SBe(|), "| |"); 1231 v(SAf(|) EFA() SBf(|), "| |"); 1232 v(SAf(|) EFB() |, "| |"); 1233 v(SAf(|) EFB() SBa(|), "| |"); 1234 v(SAf(|) EFB() SBb(|), "| |"); 1235 v(SAf(|) EFB() SBc(|), "| |"); 1236 v(SAf(|) EFB() SBd(|), "| |"); 1237 v(SAf(|) EFB() SBe(|), "| |"); 1238 v(SAf(|) EFB() SBf(|), "| |"); 1239 v(SAf(|) EFC() |, "| |"); 1240 v(SAf(|) EFC() SBa(|), "| |"); 1241 v(SAf(|) EFC() SBb(|), "| |"); 1242 v(SAf(|) EFC() SBc(|), "| |"); 1243 v(SAf(|) EFC() SBd(|), "| |"); 1244 v(SAf(|) EFC() SBe(|), "| |"); 1245 v(SAf(|) EFC() SBf(|), "| |"); 1246} 1247 1248int 1249main (void) 1250{ 1251 check0 (); 1252 check1 (); 1253 check2 (); 1254 check3 (); 1255 check4 (); 1256 check5 (); 1257 check6 (); 1258 check7 (); 1259 exit (0); 1260} 1261