Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/cpp/strify5.c @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* Test handling of spaces and empty macro expansions in
2 stringifying. PR 31869. */
3 /* { dg-do run } */
4
5 extern int strcmp (const char *, const char *);
6 extern int puts (const char *);
7 extern void abort (void);
8 extern 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
40 void
41 check0 (void)
42 {
43 v(||, "||");
44 v(|EOA|, "||");
45 v(|EOB|, "||");
46 v(|EOC|, "||");
47 v(|EFA()|, "||");
48 v(|EFB()|, "||");
49 v(|EFC()|, "||");
50 }
51
52 void
53 check1 (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
196 void
197 check2 (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
347 void
348 check3 (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
498 void
499 check4 (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
795 void
796 check5 (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
946 void
947 check6 (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
1097 void
1098 check7 (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
1248 int
1249 main (void)
1250 {
1251 check0 ();
1252 check1 ();
1253 check2 ();
1254 check3 ();
1255 check4 ();
1256 check5 ();
1257 check6 ();
1258 check7 ();
1259 exit (0);
1260 }