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
check0(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
check1(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
check2(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
check3(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
check4(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
check5(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
check6(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
check7(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
main(void)1249 main (void)
1250 {
1251   check0 ();
1252   check1 ();
1253   check2 ();
1254   check3 ();
1255   check4 ();
1256   check5 ();
1257   check6 ();
1258   check7 ();
1259   exit (0);
1260 }
1261