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