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