OpenCores
URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.dg/] [cpp/] [strify5.c] - Blame information for rev 298

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 298 jeremybenn 
/* 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 
}

powered by: WebSVN 2.1.0

© copyright 1999-2026 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.