/src/ghostpdl/base/simscale_foo.c

Line	Count	Source (jump to first uncovered line)
1		/* Copyright (C) 2020-2023 Artifex Software, Inc.
2		All Rights Reserved.
3
4		This software is provided AS-IS with no warranty, either express or
5		implied.
6
7		This software is distributed under license and may not be copied,
8		modified or distributed except as expressly authorized under the terms
9		of the license contained in the file LICENSE in this distribution.
10
11		Refer to licensing information at http://www.artifex.com or contact
12		Artifex Software, Inc., 39 Mesa Street, Suite 108A, San Francisco,
13		CA 94129, USA, for further information.
14		*/
15
16		/* Pixel stretching function for image mask interpolation filter */
17
18		#include "simscale_foo.h"
19
20		#define a 5 /* top row */
21		#define b 6
22		#define c 7
23		#define d 8
24		#define e 9
25
26		#define f 10 /* edge */
27		#define g 14
28
29		#define h 15 /* edge */
30		#define i 19
31
32		#define j 20 /* edge */
33		#define k 24
34
35		#define l 25 /* bottom row */
36		#define m 26
37		#define n 27
38		#define o 28
39		#define p 29
40
41	0	#define V0 0x0
42	0	#define V1 0x8
43	0	#define V2 0x1
44	0	#define V3 0x9
45	0	#define V4 0x80e
46	0	#define V5 0x107
47	0	#define V6 0x8080c
48	0	#define V7 0xc0e0e
49	0	#define V8 0x60600
50	0	#define V9 0x6060f
51	0	#define V10 0x60e0c
52	0	#define V11 0x60e0f
53	0	#define V12 0x60703
54	0	#define V13 0x6070f
55	0	#define V14 0x60f0f
56	0	#define V15 0x10103
57	0	#define V16 0x30707
58	0	#define V17 0x8000000
59	0	#define V18 0x8000008
60	0	#define V19 0x8000001
61	0	#define V20 0x80e0e08
62	0	#define V21 0x80e0e0c
63	0	#define V22 0x80e0e0f
64	0	#define V23 0x80e0f0f
65	0	#define V24 0xc080800
66	0	#define V25 0xc0e0600
67	0	#define V26 0xc0e0e08
68	0	#define V27 0xc0e0e0c
69	0	#define V28 0xc0e0e0f
70	0	#define V29 0xc0e0f0f
71	0	#define V30 0xe080000
72	0	#define V31 0xe0e0c00
73	0	#define V32 0x1000000
74	0	#define V33 0x1000008
75	0	#define V34 0x1000001
76	0	#define V35 0x1070701
77	0	#define V36 0x1070703
78	0	#define V37 0x107070f
79	0	#define V38 0x1070f0f
80	0	#define V39 0x9000000
81	0	#define V40 0x3010100
82	0	#define V41 0x3070600
83	0	#define V42 0x3070701
84	0	#define V43 0x3070703
85	0	#define V44 0x307070f
86	0	#define V45 0x3070f0f
87	0	#define V46 0x7010000
88	0	#define V47 0x7070300
89	0	#define V48 0xf060600
90	0	#define V49 0xf0e0600
91	0	#define V50 0xf0e0e08
92	0	#define V51 0xf0e0e0c
93	0	#define V52 0xf070600
94	0	#define V53 0xf070701
95	0	#define V54 0xf070703
96	0	#define V55 0xf0f0600
97	0	#define V56 0xf0f0e08
98	0	#define V57 0xf0f0e0c
99	0	#define V58 0xf0f0701
100	0	#define V59 0xf0f0703
101	0	#define V60 0xf0f0f0f
102
103	0	#define T(t0) ((x & (1ULL<<(t0+32))) == 0)
104	0	#define TT(t0,t1) ((x & (1ULL<<(t0+32) \| 1ULL<<(t1+32))) == 0)
105	0	#define F(f0) ((x & (1ULL<<f0)) == 0)
106	0	#define TF(t0, f0) ((x & (1ULL<<(t0+32) \| 1ULL<<f0)) == 0)
107	0	#define TTF(t0, t1, f0) ((x & (1ULL<<(t0+32) \| 1ULL<<(t1+32) \| 1ULL<<f0)) == 0)
108	0	#define TFF(t0, f0, f1) ((x & (1ULL<<(t0+32) \| 1ULL<<f0 \| 1ULL<<f1)) == 0)
109	0	#define TTFF(t0, t1, f0, f1) ((x & (1ULL<<(t0+32) \| 1ULL<<(t1+32) \| 1ULL<<f0 \| 1ULL<<f1)) == 0)
110	0	#define ANYTTFF(t0, t1, f0, f1) (x & ((1ULL<<t0) \| (1ULL<<t1) \| (1ULL<<(f0+32)) \| (1ULL<<(f1+32))))
111
112		/* Find the value of a 4x4 pixel cluster in a given 5x5 context.*/
113		/* Checked by electronics against the full 5x5 table. */
114	0	unsigned int imscale_foo(unsigned int v5x5) {
115	0	int v3x3 = ((v5x5 >> 11) & 07) \| ((v5x5 >> 13) & 070) \| ((v5x5 >> 15) & 0700);
116	0	unsigned long long x = ~(unsigned long long)v5x5 << 32 \| v5x5;
117
118		#if 0
119		/* Extracted lines of the 5x5 matrix for convenient viewing. */
120		unsigned int r0 = ( v5x5 >> 5 ) & 0x1f;
121		unsigned int r1 = ( v5x5 >> 10 ) & 0x1f;
122		unsigned int r2 = ( v5x5 >> 15 ) & 0x1f;
123		unsigned int r3 = ( v5x5 >> 20 ) & 0x1f;
124		unsigned int r4 = ( v5x5 >> 25 ) & 0x1f;
125		#endif
126
127	0	switch(v3x3) {
128	0	case 0:
129	0	case 1:
130	0	case 2:
131	0	case 3:
132	0	case 4:
133	0	case 5:
134	0	case 6:
135	0	case 7:
136	0	case 8:
137	0	case 9:
138	0	case 10:
139	0	return V0;
140	0	case 11:
141	0	return V2;
142	0	case 12:
143	0	case 13:
144	0	case 14:
145	0	return V0;
146	0	case 15:
147		/* abcdefghijklmnop */
148		/* ------1-1------- V2 */
149		/* --------0------- V5 */
150		/* ------0--------- V5 */
151	0	if (TT(g,i))
152	0	return V2;
153	0	else
154	0	return V5;
155	0	case 16:
156	0	return V60;
157	0	case 17:
158		/* abcdefghijklmnop */
159		/* 10---0---------- V25 */
160		/* 11---0---------- V27 */
161		/* 10---1---------- V55 */
162		/* 0--------------- V57 */
163		/* -1---1---------- V57 */
164	0	if (TF(a,f)) {
165	0	if (T(b))
166	0	return V27;
167	0	else
168	0	return V25;
169	0	} else {
170	0	if (TTF(a,f,b))
171	0	return V55;
172	0	else
173	0	return V57;
174	0	}
175	0	case 18:
176		/* abcdefghijklmnop */
177		/* 0111000--------- V9 */
178		/* 0110-0---------- V28 */
179		/* 011-10---------- V28 */
180		/* 011--01--------- V28 */
181		/* -0110-0--------- V44 */
182		/* 1-110-0--------- V44 */
183		/* --11010--------- V44 */
184		/* --0------------- V60 */
185		/* -0-0------------ V60 */
186		/* 1--0------------ V60 */
187		/* -0--1----------- V60 */
188		/* 1---1----------- V60 */
189		/* ---0-1---------- V60 */
190		/* ----11---------- V60 */
191		/* -0----1--------- V60 */
192		/* 1-----1--------- V60 */
193		/* -----11--------- V60 */
194	0	if (TTFF(b,c,a,f)) {
195	0	if (TFF(d,e,g))
196	0	return V9;
197	0	else
198	0	return V28;
199	0	} else {
200	0	if (TTFF(c,d,e,g))
201	0	return V44;
202	0	else
203	0	return V60;
204	0	}
205	0	case 19:
206		/* abcdefghijklmnop */
207		/* 1-11000--------- V13 */
208		/* 0-110-0--------- V44 */
209		/* --11010--------- V44 */
210		/* 1--0-0---------- V29 */
211		/* 1-0--0---------- V29 */
212		/* 1---10---------- V29 */
213		/* 1----01--------- V29 */
214		/* 0--0------------ V60 */
215		/* 0-0------------- V60 */
216		/* 0---1----------- V60 */
217		/* ---0-1---------- V60 */
218		/* --0--1---------- V60 */
219		/* ----11---------- V60 */
220		/* 0-----1--------- V60 */
221		/* -----11--------- V60 */
222	0	if (TTFF(c,d,e,g)) {
223	0	if (TF(a,f))
224	0	return V13;
225	0	else
226	0	return V44;
227	0	} else {
228	0	if (TF(a,f))
229	0	return V29;
230	0	else
231	0	return V60;
232	0	}
233	0	case 20:
234		/* abcdefghijklmnop */
235		/* ---01-0--------- V41 */
236		/* ---11-0--------- V43 */
237		/* ---01-1--------- V55 */
238		/* ----0----------- V59 */
239		/* ---1--1--------- V59 */
240	0	if (TF(e,g)) {
241	0	if (T(d))
242	0	return V43;
243	0	else
244	0	return V41;
245	0	} else {
246	0	if (TTF(e,g,d))
247	0	return V55;
248	0	else
249	0	return V59;
250	0	}
251	0	case 21:
252		/* abcdefghijklmnop */
253		/* 1---100--------- V8 */
254		/* 1---00---------- V25 */
255		/* 1----01--------- V25 */
256		/* 0---1-0--------- V41 */
257		/* ----110--------- V41 */
258		/* 0---0----------- V55 */
259		/* ----01---------- V55 */
260		/* 0-----1--------- V55 */
261		/* -----11--------- V55 */
262	0	if (TF(a,f)) {
263	0	if (TF(e,g))
264	0	return V8;
265	0	else
266	0	return V25;
267	0	} else {
268	0	if (TF(e,g))
269	0	return V41;
270	0	else
271	0	return V55;
272	0	}
273	0	case 22:
274		/* abcdefghijklmnop */
275		/* 011-100--------- V11 */
276		/* 011-00---------- V28 */
277		/* 011--01--------- V28 */
278		/* --0-1-0--------- V45 */
279		/* -0--1-0--------- V45 */
280		/* 1---1-0--------- V45 */
281		/* ----110--------- V45 */
282		/* --0-0----------- V60 */
283		/* -0--0----------- V60 */
284		/* 1---0----------- V60 */
285		/* ----01---------- V60 */
286		/* --0---1--------- V60 */
287		/* -0----1--------- V60 */
288		/* 1-----1--------- V60 */
289		/* -----11--------- V60 */
290	0	if (TTFF(b,c,a,f)) {
291	0	if (TF(e,g))
292	0	return V11;
293	0	else
294	0	return V28;
295	0	} else {
296	0	if (TF(e,g))
297	0	return V45;
298	0	else
299	0	return V60;
300	0	}
301	0	case 23:
302		/* abcdefghijklmnop */
303		/* 1---100--------- V14 */
304		/* 1---00---------- V29 */
305		/* 1----01--------- V29 */
306		/* 0---1-0--------- V45 */
307		/* ----110--------- V45 */
308		/* 0---0----------- V60 */
309		/* ----01---------- V60 */
310		/* 0-----1--------- V60 */
311		/* -----11--------- V60 */
312	0	if (TF(a,f)) {
313	0	if (TF(e,g))
314	0	return V14;
315	0	else
316	0	return V29;
317	0	} else {
318	0	if (TF(e,g))
319	0	return V45;
320	0	else
321	0	return V60;
322	0	}
323	0	case 24:
324		/* abcdefghijklmnop */
325		/* 00---1-1-1-00--- V35 */
326		/* -----0-1-1-00--- V38 */
327		/* 1------1-1-00--- V38 */
328		/* -1-----1-1-00--- V38 */
329		/* 00---1-1-0------ V58 */
330		/* 00---1-1---1---- V58 */
331		/* 00---1-1----1--- V58 */
332		/* -------0-------- V60 */
333		/* -----0---0------ V60 */
334		/* 1--------0------ V60 */
335		/* -1-------0------ V60 */
336		/* -----0-----1---- V60 */
337		/* 1----------1---- V60 */
338		/* -1---------1---- V60 */
339		/* -----0------1--- V60 */
340		/* 1-----------1--- V60 */
341		/* -1----------1--- V60 */
342	0	if (TTFF(h,j,l,m)) {
343	0	if (TFF(f,a,b))
344	0	return V35;
345	0	else
346	0	return V38;
347	0	} else {
348	0	if (TTFF(f,h,a,b))
349	0	return V58;
350	0	else
351	0	return V60;
352	0	}
353	0	case 25:
354		/* abcdefghijklmnop */
355		/* 10-----1-1-00--- V36 */
356		/* 0------1-1-00--- V38 */
357		/* -1-----1-1-00--- V38 */
358		/* 10-------0------ V59 */
359		/* 10-----0-------- V59 */
360		/* 10---------1---- V59 */
361		/* 10----------1--- V59 */
362		/* 0--------0------ V60 */
363		/* -1-----0-------- V60 */
364		/* -1-------0------ V60 */
365		/* 0------0-------- V60 */
366		/* 0----------1---- V60 */
367		/* -1---------1---- V60 */
368		/* 0-----------1--- V60 */
369		/* -1----------1--- V60 */
370	0	if (TTFF(h,j,l,m)) {
371	0	if (TF(a,b))
372	0	return V36;
373	0	else
374	0	return V38;
375	0	} else {
376	0	if (TF(a,b))
377	0	return V59;
378	0	else
379	0	return V60;
380	0	}
381	0	case 26:
382		/* abcdefghijklmnop */
383		/* --110-01-1-00--- V37 */
384		/* ---0---1-1-00--- V38 */
385		/* --0----1-1-00--- V38 */
386		/* ----1--1-1-00--- V38 */
387		/* ------11-1-00--- V38 */
388		/* --110-0--0------ V44 */
389		/* --110-00-------- V44 */
390		/* --110-0----1---- V44 */
391		/* --110-0-----1--- V44 */
392		/* ---0-----0------ V60 */
393		/* --0----0-------- V60 */
394		/* ----1----0------ V60 */
395		/* ------10-------- V60 */
396		/* --0------0------ V60 */
397		/* ------1--0------ V60 */
398		/* ---0---0-------- V60 */
399		/* ----1--0-------- V60 */
400		/* ---0-------1---- V60 */
401		/* --0--------1---- V60 */
402		/* ----1------1---- V60 */
403		/* ------1----1---- V60 */
404		/* ---0--------1--- V60 */
405		/* --0---------1--- V60 */
406		/* ----1-------1--- V60 */
407		/* ------1-----1--- V60 */
408	0	if (TTFF(h,j,l,m)) {
409	0	if (TTFF(c,d,e,g))
410	0	return V37;
411	0	else
412	0	return V38;
413	0	} else {
414	0	if (TTFF(c,d,e,g))
415	0	return V44;
416	0	else
417	0	return V60;
418	0	}
419	0	case 27:
420		/* abcdefghijklmnop */
421		/* --110-01-1-00--- V37 */
422		/* ---0---1-1-00--- V38 */
423		/* --0----1-1-00--- V38 */
424		/* ----1--1-1-00--- V38 */
425		/* ------11-1-00--- V38 */
426		/* --110-0--0------ V44 */
427		/* --110-00-------- V44 */
428		/* --110-0----1---- V44 */
429		/* --110-0-----1--- V44 */
430		/* ---0-----0------ V60 */
431		/* --0----0-------- V60 */
432		/* ----1----0------ V60 */
433		/* ------10-------- V60 */
434		/* --0------0------ V60 */
435		/* ------1--0------ V60 */
436		/* ---0---0-------- V60 */
437		/* ----1--0-------- V60 */
438		/* ---0-------1---- V60 */
439		/* --0--------1---- V60 */
440		/* ----1------1---- V60 */
441		/* ------1----1---- V60 */
442		/* ---0--------1--- V60 */
443		/* --0---------1--- V60 */
444		/* ----1-------1--- V60 */
445		/* ------1-----1--- V60 */
446	0	if (TTFF(h,j,l,m)) {
447	0	if (TTFF(c,d,e,g))
448	0	return V37;
449	0	else
450	0	return V38;
451	0	} else {
452	0	if (TTFF(c,d,e,g))
453	0	return V44;
454	0	else
455	0	return V60;
456	0	}
457	0	case 28:
458		/* abcdefghijklmnop */
459		/* -------1-1-00--- V36 */
460		/* ----1-0--0------ V43 */
461		/* ----1-00-------- V43 */
462		/* ----1-0----1---- V43 */
463		/* ----1-0-----1--- V43 */
464		/* ----0----0------ V59 */
465		/* ------10-------- V59 */
466		/* ------1--0------ V59 */
467		/* ----0--0-------- V59 */
468		/* ----0------1---- V59 */
469		/* ------1----1---- V59 */
470		/* ----0-------1--- V59 */
471		/* ------1-----1--- V59 */
472		/* pass through */
473	0	case 29:
474		/* abcdefghijklmnop */
475		/* -------1-1-00--- V36 */
476		/* ----1-0--0------ V43 */
477		/* ----1-00-------- V43 */
478		/* ----1-0----1---- V43 */
479		/* ----1-0-----1--- V43 */
480		/* ----0----0------ V59 */
481		/* ------10-------- V59 */
482		/* ------1--0------ V59 */
483		/* ----0--0-------- V59 */
484		/* ----0------1---- V59 */
485		/* ------1----1---- V59 */
486		/* ----0-------1--- V59 */
487		/* ------1-----1--- V59 */
488	0	if (TTFF(h,j,l,m))
489	0	return V36;
490	0	else if(TF(e,g))
491	0	return V43;
492	0	else
493	0	return V59;
494	0	case 30:
495		/* abcdefghijklmnop */
496		/* ------1-10------ V60 */
497		/* ------101------- V60 */
498		/* ------1-1--1---- V60 */
499		/* ------1-1---1--- V60 */
500		/* --------0------- V38 */
501		/* ------0--------- V38 */
502		/* -------1-1-00--- V38 */
503		/* pass through */
504	0	case 31:
505		/* abcdefghijklmnop */
506		/* ------1-10------ V60 */
507		/* ------101------- V60 */
508		/* ------1-1--1---- V60 */
509		/* ------1-1---1--- V60 */
510		/* --------0------- V38 */
511		/* ------0--------- V38 */
512		/* -------1-1-00--- V38 */
513	0	if (TT(g,i) && ANYTTFF(l,m,h,j))
514	0	return V60;
515	0	else
516	0	return V38;
517	0	case 32:
518	0	case 33:
519	0	case 34:
520	0	case 35:
521	0	case 36:
522	0	case 37:
523	0	return V0;
524	0	case 38:
525	0	return V1;
526	0	case 39:
527		/* abcdefghijklmnop */
528		/* -----1-1-------- V1 */
529		/* -------0-------- V4 */
530		/* -----0---------- V4 */
531	0	if (TT(f,h))
532	0	return V1;
533	0	else
534	0	return V4;
535	0	case 40:
536	0	case 41:
537	0	case 42:
538	0	return V0;
539	0	case 43:
540	0	return V2;
541	0	case 44:
542	0	case 45:
543	0	return V0;
544	0	case 46:
545	0	return V1;
546	0	case 47:
547		/* abcdefghijklmnop */
548		/* ---------00----- V0 */
549		/* ---------01----- V1 */
550		/* ---------10----- V2 */
551		/* ---------11----- V3 */
552	0	if (T(j)) {
553	0	if (T(k))
554	0	return V3;
555	0	else
556	0	return V2;
557	0	} else {
558	0	if (T(k))
559	0	return V1;
560	0	else
561	0	return V0;
562	0	}
563	0	case 48:
564		/* abcdefghijklmnop */
565		/* ---00-1-1-1---00 V20 */
566		/* ------0-1-1---00 V23 */
567		/* ---1----1-1---00 V23 */
568		/* ----1---1-1---00 V23 */
569		/* ---00-1-1-0----- V56 */
570		/* ---00-1-1-----1- V56 */
571		/* ---00-1-1------1 V56 */
572		/* --------0------- V60 */
573		/* ------0---0----- V60 */
574		/* ---1------0----- V60 */
575		/* ----1-----0----- V60 */
576		/* ------0-------1- V60 */
577		/* ---1----------1- V60 */
578		/* ----1---------1- V60 */
579		/* ------0--------1 V60 */
580		/* ---1-----------1 V60 */
581		/* ----1----------1 V60 */
582	0	if (TTFF(i,k,o,p)) {
583	0	if (TFF(g,d,e))
584	0	return V20;
585	0	else
586	0	return V23;
587	0	} else {
588	0	if (TTFF(g,i,d,e))
589	0	return V56;
590	0	else
591	0	return V60;
592	0	}
593	0	case 49:
594		/* abcdefghijklmnop */
595		/* --------1-1---00 V21 */
596		/* 1----0----0----- V27 */
597		/* 1----0--0------- V27 */
598		/* 1----0--------1- V27 */
599		/* 1----0---------1 V27 */
600		/* 0---------0----- V57 */
601		/* -----1--0------- V57 */
602		/* -----1----0----- V57 */
603		/* 0-------0------- V57 */
604		/* 0-------------1- V57 */
605		/* -----1--------1- V57 */
606		/* 0--------------1 V57 */
607		/* -----1---------1 V57 */
608	0	if (TTFF(i,k,o,p))
609	0	return V21;
610	0	else if(TF(a,f))
611	0	return V27;
612	0	else
613	0	return V57;
614	0	case 50:
615		/* abcdefghijklmnop */
616		/* 011--0--1-1---00 V22 */
617		/* --0-----1-1---00 V23 */
618		/* -0------1-1---00 V23 */
619		/* 1-------1-1---00 V23 */
620		/* -----1--1-1---00 V23 */
621		/* 011--0----0----- V28 */
622		/* 011--0--0------- V28 */
623		/* 011--0--------1- V28 */
624		/* 011--0---------1 V28 */
625		/* --0-------0----- V60 */
626		/* -0------0------- V60 */
627		/* 1---------0----- V60 */
628		/* -----1--0------- V60 */
629		/* -0--------0----- V60 */
630		/* -----1----0----- V60 */
631		/* --0-----0------- V60 */
632		/* 1-------0------- V60 */
633		/* --0-----------1- V60 */
634		/* -0------------1- V60 */
635		/* 1-------------1- V60 */
636		/* -----1--------1- V60 */
637		/* --0------------1 V60 */
638		/* -0-------------1 V60 */
639		/* 1--------------1 V60 */
640		/* -----1---------1 V60 */
641	0	if (TTFF(i,k,o,p)) {
642	0	if (TTFF(b,c,a,f))
643	0	return V22;
644	0	else
645	0	return V23;
646	0	} else {
647	0	if (TTFF(b,c,a,f))
648	0	return V28;
649	0	else
650	0	return V60;
651	0	}
652	0	case 51:
653		/* abcdefghijklmnop */
654		/* -----1-1--0----- V60 */
655		/* -----1-10------- V60 */
656		/* -----1-1------1- V60 */
657		/* -----1-1-------1 V60 */
658		/* -------0-------- V23 */
659		/* -----0---------- V23 */
660		/* --------1-1---00 V23 */
661	0	if (TT(f,h) && ANYTTFF(o,p,i,k))
662	0	return V60;
663	0	else
664	0	return V23;
665	0	case 52:
666		/* abcdefghijklmnop */
667		/* ---01---1-1---00 V21 */
668		/* ----0---1-1---00 V23 */
669		/* ---1----1-1---00 V23 */
670		/* ---01-----0----- V57 */
671		/* ---01---0------- V57 */
672		/* ---01---------1- V57 */
673		/* ---01----------1 V57 */
674		/* ----0-----0----- V60 */
675		/* ---1----0------- V60 */
676		/* ---1------0----- V60 */
677		/* ----0---0------- V60 */
678		/* ----0---------1- V60 */
679		/* ---1----------1- V60 */
680		/* ----0----------1 V60 */
681		/* ---1-----------1 V60 */
682	0	if (TTFF(i,k,o,p)) {
683	0	if (TF(e,d))
684	0	return V21;
685	0	else
686	0	return V23;
687	0	} else {
688	0	if (TF(e,d))
689	0	return V57;
690	0	else
691	0	return V60;
692	0	}
693	0	case 53:
694		/* abcdefghijklmnop */
695		/* --------1-1---00 V21 */
696		/* 1----0----0----- V27 */
697		/* 1----0--0------- V27 */
698		/* 1----0--------1- V27 */
699		/* 1----0---------1 V27 */
700		/* 0---------0----- V57 */
701		/* -----1--0------- V57 */
702		/* -----1----0----- V57 */
703		/* 0-------0------- V57 */
704		/* 0-------------1- V57 */
705		/* -----1--------1- V57 */
706		/* 0--------------1 V57 */
707		/* -----1---------1 V57 */
708	0	if (TTFF(i,k,o,p))
709	0	return V21;
710	0	else if(TF(a,f))
711	0	return V27;
712	0	else
713	0	return V57;
714	0	case 54:
715		/* abcdefghijklmnop */
716		/* 011--0--1-1---00 V22 */
717		/* --0-----1-1---00 V23 */
718		/* -0------1-1---00 V23 */
719		/* 1-------1-1---00 V23 */
720		/* -----1--1-1---00 V23 */
721		/* 011--0----0----- V28 */
722		/* 011--0--0------- V28 */
723		/* 011--0--------1- V28 */
724		/* 011--0---------1 V28 */
725		/* --0-------0----- V60 */
726		/* -0------0------- V60 */
727		/* 1---------0----- V60 */
728		/* -----1--0------- V60 */
729		/* -0--------0----- V60 */
730		/* -----1----0----- V60 */
731		/* --0-----0------- V60 */
732		/* 1-------0------- V60 */
733		/* --0-----------1- V60 */
734		/* -0------------1- V60 */
735		/* 1-------------1- V60 */
736		/* -----1--------1- V60 */
737		/* --0------------1 V60 */
738		/* -0-------------1 V60 */
739		/* 1--------------1 V60 */
740		/* -----1---------1 V60 */
741	0	if (TTFF(i,k,o,p)) {
742	0	if (TTFF(b,c,a,f))
743	0	return V22;
744	0	else
745	0	return V23;
746	0	} else {
747	0	if (TTFF(b,c,a,f))
748	0	return V28;
749	0	else
750	0	return V60;
751	0	}
752	0	case 55:
753		/* abcdefghijklmnop */
754		/* -----1-1--0----- V60 */
755		/* -----1-10------- V60 */
756		/* -----1-1------1- V60 */
757		/* -----1-1-------1 V60 */
758		/* -------0-------- V23 */
759		/* -----0---------- V23 */
760		/* --------1-1---00 V23 */
761	0	if (TT(f,h) && ANYTTFF(o,p,i,k))
762	0	return V60;
763	0	else
764	0	return V23;
765	0	case 56:
766	0	case 57:
767	0	case 58:
768	0	case 59:
769	0	case 60:
770	0	case 61:
771	0	case 62:
772	0	case 63:
773	0	return V60;
774	0	case 64:
775	0	case 65:
776	0	case 66:
777	0	case 67:
778	0	case 68:
779	0	case 69:
780	0	case 70:
781	0	case 71:
782	0	case 72:
783	0	case 73:
784	0	case 74:
785	0	return V0;
786	0	case 75:
787		/* abcdefghijklmnop */
788		/* ------------11-- V2 */
789		/* -------------0-- V15 */
790		/* ------------0--- V15 */
791	0	if (TT(m,n))
792	0	return V2;
793	0	else
794	0	return V15;
795	0	case 76:
796	0	case 77:
797	0	case 78:
798	0	case 79:
799	0	return V0;
800	0	case 80:
801		/* abcdefghijklmnop */
802		/* ---------0-10--- V10 */
803		/* ---------1-10--- V14 */
804		/* ---------0-11--- V27 */
805		/* -----------0---- V29 */
806		/* ---------1--1--- V29 */
807	0	if (TF(l,m)) {
808	0	if (T(j))
809	0	return V14;
810	0	else
811	0	return V10;
812	0	} else {
813	0	if (TTF(l,m,j))
814	0	return V27;
815	0	else
816	0	return V29;
817	0	}
818	0	case 81:
819		/* abcdefghijklmnop */
820		/* 10---------10--- V8 */
821		/* 0----------10--- V10 */
822		/* -1---------10--- V10 */
823		/* 10---------0---- V25 */
824		/* 10----------1--- V25 */
825		/* 0----------0---- V27 */
826		/* -1---------0---- V27 */
827		/* 0-----------1--- V27 */
828		/* -1----------1--- V27 */
829	0	if (TF(a,b)) {
830	0	if (TF(l,m))
831	0	return V8;
832	0	else
833	0	return V25;
834	0	} else {
835	0	if (TF(l,m))
836	0	return V10;
837	0	else
838	0	return V27;
839	0	}
840	0	case 82:
841		/* abcdefghijklmnop */
842		/* --110-0--------- V13 */
843		/* ---0-------10--- V14 */
844		/* --0--------10--- V14 */
845		/* ----1------10--- V14 */
846		/* ------1----10--- V14 */
847		/* ---0-------0---- V29 */
848		/* --0--------0---- V29 */
849		/* ----1------0---- V29 */
850		/* ------1----0---- V29 */
851		/* ---0--------1--- V29 */
852		/* --0---------1--- V29 */
853		/* ----1-------1--- V29 */
854		/* ------1-----1--- V29 */
855		/* pass through */
856	0	case 83:
857		/* abcdefghijklmnop */
858		/* --110-0--------- V13 */
859		/* ---0-------10--- V14 */
860		/* --0--------10--- V14 */
861		/* ----1------10--- V14 */
862		/* ------1----10--- V14 */
863		/* ---0-------0---- V29 */
864		/* --0--------0---- V29 */
865		/* ----1------0---- V29 */
866		/* ------1----0---- V29 */
867		/* ---0--------1--- V29 */
868		/* --0---------1--- V29 */
869		/* ----1-------1--- V29 */
870		/* ------1-----1--- V29 */
871	0	if (TTFF(c,d,e,g))
872	0	return V13;
873	0	else if (TF(l,m))
874	0	return V14;
875	0	else
876	0	return V29;
877	0	case 84:
878	0	return V8;
879	0	case 85:
880	0	return V8;
881	0	case 86:
882	0	return V14;
883	0	case 87:
884	0	return V14;
885	0	case 88:
886		/* abcdefghijklmnop */
887		/* 00---1-1---10--- V42 */
888		/* 00---1-1---0---- V58 */
889		/* 00---1-1----1--- V58 */
890		/* -------0---10--- V45 */
891		/* -----0-----10--- V45 */
892		/* 1----------10--- V45 */
893		/* -1---------10--- V45 */
894		/* -------0---0---- V60 */
895		/* -----0-----0---- V60 */
896		/* 1----------0---- V60 */
897		/* -1---------0---- V60 */
898		/* -------0----1--- V60 */
899		/* -----0------1--- V60 */
900		/* 1-----------1--- V60 */
901		/* -1----------1--- V60 */
902	0	if (TTFF(f,h,a,b)) {
903	0	if (TF(l,m))
904	0	return V42;
905	0	else
906	0	return V58;
907	0	} else {
908	0	if (TF(l,m))
909	0	return V45;
910	0	else
911	0	return V60;
912	0	}
913	0	case 89:
914		/* abcdefghijklmnop */
915		/* 10---------10--- V43 */
916		/* 0----------10--- V45 */
917		/* -1---------10--- V45 */
918		/* 10---------0---- V59 */
919		/* 10----------1--- V59 */
920		/* 0----------0---- V60 */
921		/* -1---------0---- V60 */
922		/* 0-----------1--- V60 */
923		/* -1----------1--- V60 */
924	0	if (TF(l,m)) {
925	0	if (TF(a,b))
926	0	return V43;
927	0	else
928	0	return V45;
929	0	} else {
930	0	if (TF(a,b))
931	0	return V59;
932	0	else
933	0	return V60;
934	0	}
935	0	case 90:
936		/* abcdefghijklmnop */
937		/* ---0--------11-- V60 */
938		/* --0---------11-- V60 */
939		/* ----1-------11-- V60 */
940		/* ------1-----11-- V60 */
941		/* -------------0-- V44 */
942		/* ------------0--- V44 */
943		/* --110-0--------- V44 */
944		/* pass through */
945	0	case 91:
946		/* abcdefghijklmnop */
947		/* ---0--------11-- V60 */
948		/* --0---------11-- V60 */
949		/* ----1-------11-- V60 */
950		/* ------1-----11-- V60 */
951		/* -------------0-- V44 */
952		/* ------------0--- V44 */
953		/* --110-0--------- V44 */
954	0	if (TT(m,n) && ANYTTFF(e,g,c,d))
955	0	return V60;
956	0	else
957	0	return V44;
958	0	case 92:
959	0	case 93:
960	0	return V43;
961	0	case 94:
962	0	case 95:
963	0	return V45;
964	0	case 96:
965	0	case 97:
966	0	case 98:
967	0	case 99:
968	0	case 100:
969	0	case 101:
970	0	return V0;
971	0	case 102:
972	0	return V1;
973	0	case 103:
974		/* abcdefghijklmnop */
975		/* -----1-1-------- V1 */
976		/* -------0-------- V4 */
977		/* -----0---------- V4 */
978	0	if (TT(f,h))
979	0	return V1;
980	0	else
981	0	return V4;
982	0	case 104:
983	0	case 105:
984	0	case 106:
985	0	return V0;
986	0	case 107:
987	0	return V15;
988	0	case 108:
989	0	case 109:
990	0	return V0;
991	0	case 110:
992	0	return V1;
993	0	case 111:
994		/* abcdefghijklmnop */
995		/* ----------0----- V0 */
996		/* ----------1----- V1 */
997	0	if (T(k))
998	0	return V1;
999	0	else
1000	0	return V0;
1001	0	case 112:
1002		/* abcdefghijklmnop */
1003		/* ---00-1-1------- V26 */
1004		/* --------00-1---- V27 */
1005		/* ------0--0-1---- V27 */
1006		/* ---1-----0-1---- V27 */
1007		/* ----1----0-1---- V27 */
1008		/* --------0--0---- V29 */
1009		/* ------0----0---- V29 */
1010		/* ---1-------0---- V29 */
1011		/* ----1------0---- V29 */
1012		/* --------01------ V29 */
1013		/* ------0--1------ V29 */
1014		/* ---1-----1------ V29 */
1015		/* ----1----1------ V29 */
1016	0	if (TTFF(g,i,d,e))
1017	0	return V26;
1018	0	else if(TF(l,j))
1019	0	return V27;
1020	0	else
1021	0	return V29;
1022	0	case 113:
1023	0	return V27;
1024	0	case 114:
1025		/* abcdefghijklmnop */
1026		/* -------0-1--10-- V60 */
1027		/* ------------0--- V29 */
1028		/* ---------0------ V29 */
1029		/* -------1-------- V29 */
1030		/* -------------1-- V29 */
1031	0	if (TTFF(j,m,h,n))
1032	0	return V60;
1033	0	else
1034	0	return V29;
1035	0	case 115:
1036	0	return V23;
1037	0	case 116:
1038	0	case 117:
1039	0	return V27;
1040	0	case 118:
1041		/* abcdefghijklmnop */
1042		/* ---------0---0-- V29 */
1043		/* ------------00-- V29 */
1044		/* -------0-1--10-- V60 */
1045		/* -------1-----1-- V7 */
1046		/* -------1-----0-- V29 */
1047		/* -------0-----1-- V29 */
1048	0	if (TTFF(j,m,h,n))
1049	0	return V60;
1050	0	else if (TT(h,n))
1051	0	return V7;
1052	0	else
1053	0	return V29;
1054	0	case 119:
1055	0	return V23;
1056	0	case 120:
1057	0	case 121:
1058	0	case 122:
1059	0	case 123:
1060	0	case 124:
1061	0	case 125:
1062	0	case 126:
1063	0	case 127:
1064	0	return V60;
1065	0	case 128:
1066	0	case 129:
1067	0	case 130:
1068	0	case 131:
1069	0	case 132:
1070	0	case 133:
1071	0	case 134:
1072	0	case 135:
1073	0	case 136:
1074	0	case 137:
1075	0	case 138:
1076	0	return V0;
1077	0	case 139:
1078	0	return V2;
1079	0	case 140:
1080	0	case 141:
1081	0	case 142:
1082	0	return V0;
1083	0	case 143:
1084	0	return V5;
1085	0	case 144:
1086		/* abcdefghijklmnop */
1087		/* ---------0001110 V48 */
1088		/* ---------0-0110- V51 */
1089		/* ---------01011-- V51 */
1090		/* ---------0-011-1 V51 */
1091		/* ----------0-0110 V54 */
1092		/* ---------10--110 V54 */
1093		/* ----------01-110 V54 */
1094		/* -------------0-- V60 */
1095		/* ------------0-0- V60 */
1096		/* ---------1----0- V60 */
1097		/* -----------1--0- V60 */
1098		/* ----------1-0--- V60 */
1099		/* ---------11----- V60 */
1100		/* ----------11---- V60 */
1101		/* ------------0--1 V60 */
1102		/* ---------1-----1 V60 */
1103		/* -----------1---1 V60 */
1104	0	if (TTFF(m,n,j,l)) {
1105	0	if (TFF(o,k,p))
1106	0	return V48;
1107	0	else
1108	0	return V51;
1109	0	} else {
1110	0	if (TTFF(n,o,k,p))
1111	0	return V54;
1112	0	else
1113	0	return V60;
1114	0	}
1115	0	case 145:
1116		/* abcdefghijklmnop */
1117		/* ----------0--110 V52 */
1118		/* 10------------0- V55 */
1119		/* 10-----------0-- V55 */
1120		/* 10--------1----- V55 */
1121		/* 10-------------1 V55 */
1122		/* 0-------------0- V57 */
1123		/* -1-----------0-- V57 */
1124		/* -1------------0- V57 */
1125		/* 0------------0-- V57 */
1126		/* 0---------1----- V57 */
1127		/* -1--------1----- V57 */
1128		/* 0--------------1 V57 */
1129		/* -1-------------1 V57 */
1130	0	if (TTFF(n,o,k,p))
1131	0	return V52;
1132	0	else if(TF(a,b))
1133	0	return V55;
1134	0	else
1135	0	return V57;
1136	0	case 146:
1137	0	case 147:
1138	0	return V60;
1139	0	case 148:
1140		/* abcdefghijklmnop */
1141		/* ---------0-011-- V49 */
1142		/* ---01--------0-- V55 */
1143		/* ---01-------0--- V55 */
1144		/* ---01----1------ V55 */
1145		/* ---01------1---- V55 */
1146		/* ----0--------0-- V59 */
1147		/* ---1--------0--- V59 */
1148		/* ---1---------0-- V59 */
1149		/* ----0-------0--- V59 */
1150		/* ----0----1------ V59 */
1151		/* ---1-----1------ V59 */
1152		/* ----0------1---- V59 */
1153		/* ---1-------1---- V59 */
1154	0	if (TTFF(m,n,j,l))
1155	0	return V49;
1156	0	else if(TF(e,d))
1157	0	return V55;
1158	0	else
1159	0	return V59;
1160	0	case 149:
1161	0	return V55;
1162	0	case 150:
1163	0	case 151:
1164	0	return V60;
1165	0	case 152:
1166		/* abcdefghijklmnop */
1167		/* 00---1-1--0--110 V53 */
1168		/* -------0--0--110 V54 */
1169		/* -----0----0--110 V54 */
1170		/* 1---------0--110 V54 */
1171		/* -1--------0--110 V54 */
1172		/* 00---1-1------0- V58 */
1173		/* 00---1-1-----0-- V58 */
1174		/* 00---1-1--1----- V58 */
1175		/* 00---1-1-------1 V58 */
1176		/* -------0------0- V60 */
1177		/* -----0-------0-- V60 */
1178		/* 1-------------0- V60 */
1179		/* -1-----------0-- V60 */
1180		/* -----0--------0- V60 */
1181		/* -1------------0- V60 */
1182		/* -------0-----0-- V60 */
1183		/* 1------------0-- V60 */
1184		/* -------0--1----- V60 */
1185		/* -----0----1----- V60 */
1186		/* 1---------1----- V60 */
1187		/* -1--------1----- V60 */
1188		/* -------0-------1 V60 */
1189		/* -----0---------1 V60 */
1190		/* 1--------------1 V60 */
1191		/* -1-------------1 V60 */
1192	0	if (TTFF(n,o,k,p)) {
1193	0	if (TTFF(f,h,a,b))
1194	0	return V53;
1195	0	else
1196	0	return V54;
1197	0	} else {
1198	0	if (TTFF(f,h,a,b))
1199	0	return V58;
1200	0	else
1201	0	return V60;
1202	0	}
1203	0	case 153:
1204		/* abcdefghijklmnop */
1205		/* -11-----------0- V60 */
1206		/* -11----------0-- V60 */
1207		/* -11-------1----- V60 */
1208		/* -11------------1 V60 */
1209		/* --0------------- V54 */
1210		/* -0-------------- V54 */
1211		/* ----------0--110 V54 */
1212	0	if (TT(b,c) && ANYTTFF(k,p,n,o))
1213	0	return V60;
1214	0	else
1215	0	return V54;
1216	0	case 154:
1217	0	case 155:
1218	0	return V60;
1219	0	case 156:
1220		/* abcdefghijklmnop */
1221		/* --01--1-0------- V60 */
1222		/* ------0--------- V59 */
1223		/* ---0------------ V59 */
1224		/* --1------------- V59 */
1225		/* --------1------- V59 */
1226	0	if (TTFF(d,g,c,i))
1227	0	return V60;
1228	0	else
1229	0	return V59;
1230	0	case 157:
1231	0	return V54;
1232	0	case 158:
1233	0	case 159:
1234	0	return V60;
1235	0	case 160:
1236	0	case 161:
1237	0	case 162:
1238	0	case 163:
1239	0	case 164:
1240	0	case 165:
1241	0	return V0;
1242	0	case 166:
1243	0	return V1;
1244	0	case 167:
1245	0	return V4;
1246	0	case 168:
1247	0	case 169:
1248	0	case 170:
1249	0	return V0;
1250	0	case 171:
1251	0	return V2;
1252	0	case 172:
1253	0	case 173:
1254	0	return V0;
1255	0	case 174:
1256	0	return V1;
1257	0	case 175:
1258	0	return V3;
1259	0	case 176:
1260		/* abcdefghijklmnop */
1261		/* ---00-1-10-011-- V50 */
1262		/* --------00-011-- V51 */
1263		/* ------0--0-011-- V51 */
1264		/* ---1-----0-011-- V51 */
1265		/* ----1----0-011-- V51 */
1266		/* ---00-1-1----0-- V56 */
1267		/* ---00-1-1---0--- V56 */
1268		/* ---00-1-11------ V56 */
1269		/* ---00-1-1--1---- V56 */
1270		/* --------0----0-- V60 */
1271		/* ------0-----0--- V60 */
1272		/* ---1---------0-- V60 */
1273		/* ----1-------0--- V60 */
1274		/* ------0------0-- V60 */
1275		/* ----1--------0-- V60 */
1276		/* --------0---0--- V60 */
1277		/* ---1--------0--- V60 */
1278		/* --------01------ V60 */
1279		/* ------0--1------ V60 */
1280		/* ---1-----1------ V60 */
1281		/* ----1----1------ V60 */
1282		/* --------0--1---- V60 */
1283		/* ------0----1---- V60 */
1284		/* ---1-------1---- V60 */
1285		/* ----1------1---- V60 */
1286	0	if (TTFF(m,n,j,l)) {
1287	0	if (TTFF(g,i,d,e))
1288	0	return V50;
1289	0	else
1290	0	return V51;
1291	0	} else {
1292	0	if (TTFF(g,i,d,e))
1293	0	return V56;
1294	0	else
1295	0	return V60;
1296	0	}
1297	0	case 177:
1298		/* abcdefghijklmnop */
1299		/* -10--1-0-------- V60 */
1300		/* -----0---------- V57 */
1301		/* -0-------------- V57 */
1302		/* --1------------- V57 */
1303		/* -------1-------- V57 */
1304	0	if (TTFF(b,f,c,h))
1305	0	return V60;
1306	0	else
1307	0	return V57;
1308	0	case 178:
1309	0	case 179:
1310	0	return V60;
1311	0	case 180:
1312		/* abcdefghijklmnop */
1313		/* --11---------0-- V60 */
1314		/* --11--------0--- V60 */
1315		/* --11-----1------ V60 */
1316		/* --11-------1---- V60 */
1317		/* ---0------------ V51 */
1318		/* --0------------- V51 */
1319		/* ---------0-011-- V51 */
1320	0	if (TT(c,d) && ANYTTFF(j,l,m,n))
1321	0	return V60;
1322	0	else
1323	0	return V51;
1324	0	case 181:
1325	0	return V51;
1326	0	case 182:
1327	0	case 183:
1328	0	case 184:
1329	0	case 185:
1330	0	case 186:
1331	0	case 187:
1332	0	case 188:
1333	0	case 189:
1334	0	case 190:
1335	0	case 191:
1336	0	return V60;
1337	0	case 192:
1338	0	case 193:
1339	0	case 194:
1340	0	case 195:
1341	0	case 196:
1342	0	case 197:
1343	0	case 198:
1344	0	case 199:
1345	0	return V0;
1346	0	case 200:
1347	0	return V32;
1348	0	case 201:
1349		/* abcdefghijklmnop */
1350		/* -11------------- V32 */
1351		/* --0------------- V40 */
1352		/* -0-------------- V40 */
1353	0	if (TT(b,c))
1354	0	return V32;
1355	0	else
1356	0	return V40;
1357	0	case 202:
1358	0	return V32;
1359	0	case 203:
1360		/* abcdefghijklmnop */
1361		/* ---0----------0- V0 */
1362		/* ---1----------0- V2 */
1363		/* ---0----------1- V32 */
1364		/* ---1----------1- V34 */
1365	0	if (T(o)) {
1366	0	if (T(d))
1367	0	return V34;
1368	0	else
1369	0	return V32;
1370	0	} else {
1371	0	if (T(d))
1372	0	return V2;
1373	0	else
1374	0	return V0;
1375	0	}
1376	0	case 204:
1377	0	return V32;
1378	0	case 205:
1379		/* abcdefghijklmnop */
1380		/* -11------------- V32 */
1381		/* --0------------- V40 */
1382		/* -0-------------- V40 */
1383	0	if (TT(b,c))
1384	0	return V32;
1385	0	else
1386	0	return V40;
1387	0	case 206:
1388	0	return V32;
1389	0	case 207:
1390		/* abcdefghijklmnop */
1391		/* --------------0- V0 */
1392		/* --------------1- V32 */
1393	0	if (F(o))
1394	0	return V0;
1395	0	else
1396	0	return V32;
1397	0	case 208:
1398		/* abcdefghijklmnop */
1399		/* ---------001-110 V52 */
1400		/* ----------00-110 V54 */
1401		/* ---------10--110 V54 */
1402		/* ---------0-1--0- V57 */
1403		/* ---------0-1-0-- V57 */
1404		/* ---------011---- V57 */
1405		/* ---------0-1---1 V57 */
1406		/* -----------0--0- V60 */
1407		/* ---------1---0-- V60 */
1408		/* ---------1----0- V60 */
1409		/* -----------0-0-- V60 */
1410		/* ----------10---- V60 */
1411		/* ---------11----- V60 */
1412		/* -----------0---1 V60 */
1413		/* ---------1-----1 V60 */
1414	0	if (TTFF(n,o,k,p)) {
1415	0	if (TF(l,j))
1416	0	return V52;
1417	0	else
1418	0	return V54;
1419	0	} else {
1420	0	if (TF(l,j))
1421	0	return V57;
1422	0	else
1423	0	return V60;
1424	0	}
1425	0	case 209:
1426		/* abcdefghijklmnop */
1427		/* ----------0--110 V52 */
1428		/* 10------------0- V55 */
1429		/* 10-----------0-- V55 */
1430		/* 10--------1----- V55 */
1431		/* 10-------------1 V55 */
1432		/* 0-------------0- V57 */
1433		/* -1-----------0-- V57 */
1434		/* -1------------0- V57 */
1435		/* 0------------0-- V57 */
1436		/* 0---------1----- V57 */
1437		/* -1--------1----- V57 */
1438		/* 0--------------1 V57 */
1439		/* -1-------------1 V57 */
1440	0	if (TTFF(n,o,k,p))
1441	0	return V52;
1442	0	else if (TF(a,b))
1443	0	return V55;
1444	0	else
1445	0	return V57;
1446	0	case 210:
1447	0	case 211:
1448	0	return V60;
1449	0	case 212:
1450	0	case 213:
1451	0	return V55;
1452	0	case 214:
1453	0	case 215:
1454	0	return V60;
1455	0	case 216:
1456		/* abcdefghijklmnop */
1457		/* 00---1-1--0--110 V53 */
1458		/* -------0--0--110 V54 */
1459		/* -----0----0--110 V54 */
1460		/* 1---------0--110 V54 */
1461		/* -1--------0--110 V54 */
1462		/* 00---1-1------0- V58 */
1463		/* 00---1-1-----0-- V58 */
1464		/* 00---1-1--1----- V58 */
1465		/* 00---1-1-------1 V58 */
1466		/* -------0------0- V60 */
1467		/* -----0-------0-- V60 */
1468		/* 1-------------0- V60 */
1469		/* -1-----------0-- V60 */
1470		/* -----0--------0- V60 */
1471		/* -1------------0- V60 */
1472		/* -------0-----0-- V60 */
1473		/* 1------------0-- V60 */
1474		/* -------0--1----- V60 */
1475		/* -----0----1----- V60 */
1476		/* 1---------1----- V60 */
1477		/* -1--------1----- V60 */
1478		/* -------0-------1 V60 */
1479		/* -----0---------1 V60 */
1480		/* 1--------------1 V60 */
1481		/* -1-------------1 V60 */
1482	0	if (TTFF(n,o,k,p)) {
1483	0	if (TTFF(f,h,a,b))
1484	0	return V53;
1485	0	else
1486	0	return V54;
1487	0	} else {
1488	0	if (TTFF(f,h,a,b))
1489	0	return V58;
1490	0	else
1491	0	return V60;
1492	0	}
1493	0	case 217:
1494		/* abcdefghijklmnop */
1495		/* -11-----------0- V60 */
1496		/* -11----------0-- V60 */
1497		/* -11-------1----- V60 */
1498		/* -11------------1 V60 */
1499		/* --0------------- V54 */
1500		/* -0-------------- V54 */
1501		/* ----------0--110 V54 */
1502	0	if (TT(b,c) && ANYTTFF(k,p,n,o))
1503	0	return V60;
1504	0	else
1505	0	return V54;
1506	0	case 218:
1507	0	return V60;
1508	0	case 219:
1509	0	return V60;
1510	0	case 220:
1511		/* abcdefghijklmnop */
1512		/* ---0----0------- V59 */
1513		/* ------0-0------- V59 */
1514		/* --01--1-0------- V60 */
1515		/* --1-----1------- V47 */
1516		/* --1-----0------- V59 */
1517		/* --0-----1------- V59 */
1518	0	if (TT(c,i))
1519	0	return V47;
1520	0	else if(TTFF(d,g,c,i))
1521	0	return V60;
1522	0	else
1523	0	return V59;
1524	0	case 221:
1525	0	return V54;
1526	0	case 222:
1527	0	case 223:
1528	0	return V60;
1529	0	case 224:
1530	0	case 225:
1531	0	case 226:
1532	0	case 227:
1533	0	case 228:
1534	0	case 229:
1535	0	return V0;
1536	0	case 230:
1537	0	return V1;
1538	0	case 231:
1539	0	return V4;
1540	0	case 232:
1541	0	return V32;
1542	0	case 233:
1543	0	return V40;
1544	0	case 234:
1545	0	return V32;
1546	0	case 235:
1547	0	return V34;
1548	0	case 236:
1549	0	return V32;
1550	0	case 237:
1551	0	return V40;
1552	0	case 238:
1553	0	case 239:
1554	0	return V33;
1555	0	case 240:
1556		/* abcdefghijklmnop */
1557		/* -------101------ V60 */
1558		/* ------01-1------ V60 */
1559		/* ---1---1-1------ V60 */
1560		/* ----1--1-1------ V60 */
1561		/* ---------0------ V56 */
1562		/* -------0-------- V56 */
1563		/* ---00-1-1------- V56 */
1564	0	if (TT(h,j) && ANYTTFF(d,e,g,i))
1565	0	return V60;
1566	0	else
1567	0	return V56;
1568	0	case 241:
1569	0	return V56;
1570	0	case 242:
1571	0	case 243:
1572	0	return V60;
1573	0	case 244:
1574	0	case 245:
1575	0	return V57;
1576	0	case 246:
1577	0	case 247:
1578	0	case 248:
1579	0	case 249:
1580	0	case 250:
1581	0	case 251:
1582	0	case 252:
1583	0	case 253:
1584	0	case 254:
1585	0	case 255:
1586	0	return V60;
1587	0	case 256:
1588	0	case 257:
1589	0	case 258:
1590	0	case 259:
1591	0	case 260:
1592	0	case 261:
1593	0	case 262:
1594	0	case 263:
1595	0	case 264:
1596	0	case 265:
1597	0	case 266:
1598	0	return V0;
1599	0	case 267:
1600	0	return V2;
1601	0	case 268:
1602	0	case 269:
1603	0	case 270:
1604	0	return V0;
1605	0	case 271:
1606		/* abcdefghijklmnop */
1607		/* ------1-1------- V2 */
1608		/* --------0------- V5 */
1609		/* ------0--------- V5 */
1610	0	if (TT(g,i))
1611	0	return V2;
1612	0	else
1613	0	return V5;
1614	0	case 272:
1615		/* abcdefghijklmnop */
1616		/* ----------0---01 V12 */
1617		/* ----------1---01 V14 */
1618		/* ----------0---11 V43 */
1619		/* ---------------0 V45 */
1620		/* ----------1---1- V45 */
1621	0	if (TF(p,o)) {
1622	0	if (T(k))
1623	0	return V14;
1624	0	else
1625	0	return V12;
1626	0	} else {
1627	0	if (TTF(o,p,k))
1628	0	return V43;
1629	0	else
1630	0	return V45;
1631	0	}
1632	0	case 273:
1633	0	return V8;
1634	0	case 274:
1635		/* abcdefghijklmnop */
1636		/* 011--0---------- V11 */
1637		/* --0-----------01 V14 */
1638		/* -0------------01 V14 */
1639		/* 1-------------01 V14 */
1640		/* -----1--------01 V14 */
1641		/* --0------------0 V45 */
1642		/* -0-------------0 V45 */
1643		/* 1--------------0 V45 */
1644		/* -----1---------0 V45 */
1645		/* --0-----------1- V45 */
1646		/* -0------------1- V45 */
1647		/* 1-------------1- V45 */
1648		/* -----1--------1- V45 */
1649	0	if (TTFF(b,c,a,f))
1650	0	return V11;
1651	0	else if (TF(p,o))
1652	0	return V14;
1653	0	else
1654	0	return V45;
1655	0	case 275:
1656	0	return V14;
1657	0	case 276:
1658		/* abcdefghijklmnop */
1659		/* ---01---------01 V8 */
1660		/* ----0---------01 V12 */
1661		/* ---1----------01 V12 */
1662		/* ---01----------0 V41 */
1663		/* ---01---------1- V41 */
1664		/* ----0----------0 V43 */
1665		/* ---1-----------0 V43 */
1666		/* ----0---------1- V43 */
1667		/* ---1----------1- V43 */
1668	0	if (TF(p,o)) {
1669	0	if (TF(e,d))
1670	0	return V8;
1671	0	else
1672	0	return V12;
1673	0	} else {
1674	0	if (TF(e,d))
1675	0	return V41;
1676	0	else
1677	0	return V43;
1678	0	}
1679	0	case 277:
1680	0	return V8;
1681	0	case 278:
1682		/* abcdefghijklmnop */
1683		/* 011--0---------- V11 */
1684		/* --0-----------01 V14 */
1685		/* -0------------01 V14 */
1686		/* 1-------------01 V14 */
1687		/* -----1--------01 V14 */
1688		/* --0------------0 V45 */
1689		/* -0-------------0 V45 */
1690		/* 1--------------0 V45 */
1691		/* -----1---------0 V45 */
1692		/* --0-----------1- V45 */
1693		/* -0------------1- V45 */
1694		/* 1-------------1- V45 */
1695		/* -----1--------1- V45 */
1696	0	if (TTFF(b,c,a,f))
1697	0	return V11;
1698	0	else if (TF(p,o))
1699	0	return V14;
1700	0	else
1701	0	return V45;
1702	0	case 279:
1703	0	return V14;
1704	0	case 280:
1705		/* abcdefghijklmnop */
1706		/* 00---1-1-------- V42 */
1707		/* -------0--0----1 V43 */
1708		/* -----0----0----1 V43 */
1709		/* 1---------0----1 V43 */
1710		/* -1--------0----1 V43 */
1711		/* -------0-------0 V45 */
1712		/* -----0---------0 V45 */
1713		/* 1--------------0 V45 */
1714		/* -1-------------0 V45 */
1715		/* -------0--1----- V45 */
1716		/* -----0----1----- V45 */
1717		/* 1---------1----- V45 */
1718		/* -1--------1----- V45 */
1719	0	if (TTFF(f,h,a,b))
1720	0	return V42;
1721	0	else if (TF(p,k))
1722	0	return V43;
1723	0	else
1724	0	return V45;
1725	0	case 281:
1726	0	return V43;
1727	0	case 282:
1728		/* abcdefghijklmnop */
1729		/* --------0-1--01- V60 */
1730		/* --------------0- V45 */
1731		/* ----------0----- V45 */
1732		/* --------1------- V45 */
1733		/* -------------1-- V45 */
1734	0	if (TTFF(k,o,i,n))
1735	0	return V60;
1736	0	else
1737	0	return V45;
1738	0	case 283:
1739		/* abcdefghijklmnop */
1740		/* ----------0--0-- V45 */
1741		/* -------------00- V45 */
1742		/* --------0-1--01- V60 */
1743		/* --------1----1-- V16 */
1744		/* --------0----1-- V45 */
1745		/* --------1----0-- V45 */
1746	0	if (TTFF(k,o,i,n))
1747	0	return V60;
1748	0	else if(TT(i,n))
1749	0	return V16;
1750	0	else
1751	0	return V45;
1752	0	case 284:
1753	0	case 285:
1754	0	return V43;
1755	0	case 286:
1756	0	case 287:
1757	0	return V38;
1758	0	case 288:
1759	0	case 289:
1760	0	case 290:
1761	0	case 291:
1762	0	case 292:
1763	0	case 293:
1764	0	return V0;
1765	0	case 294:
1766		/* abcdefghijklmnop */
1767		/* -------------11- V1 */
1768		/* --------------0- V6 */
1769		/* -------------0-- V6 */
1770	0	if (TT(n,o))
1771	0	return V1;
1772	0	else
1773	0	return V6;
1774	0	case 295:
1775	0	case 296:
1776	0	case 297:
1777	0	case 298:
1778	0	return V0;
1779	0	case 299:
1780	0	return V2;
1781	0	case 300:
1782	0	case 301:
1783	0	return V0;
1784	0	case 302:
1785	0	return V6;
1786	0	case 303:
1787		/* abcdefghijklmnop */
1788		/* ---------0------ V0 */
1789		/* ---------1------ V2 */
1790	0	if (T(j))
1791	0	return V2;
1792	0	else
1793	0	return V0;
1794	0	case 304:
1795		/* abcdefghijklmnop */
1796		/* ---00-1-1-----01 V26 */
1797		/* ---00-1-1------0 V56 */
1798		/* ---00-1-1-----1- V56 */
1799		/* --------0-----01 V29 */
1800		/* ------0-------01 V29 */
1801		/* ---1----------01 V29 */
1802		/* ----1---------01 V29 */
1803		/* --------0------0 V60 */
1804		/* ------0--------0 V60 */
1805		/* ---1-----------0 V60 */
1806		/* ----1----------0 V60 */
1807		/* --------0-----1- V60 */
1808		/* ------0-------1- V60 */
1809		/* ---1----------1- V60 */
1810		/* ----1---------1- V60 */
1811	0	if (TTFF(g,i,d,e)) {
1812	0	if (TF(p,o))
1813	0	return V26;
1814	0	else
1815	0	return V56;
1816	0	} else {
1817	0	if (TF(p,o))
1818	0	return V29;
1819	0	else
1820	0	return V60;
1821	0	}
1822	0	case 305:
1823	0	return V27;
1824	0	case 306:
1825		/* abcdefghijklmnop */
1826		/* --0----------11- V60 */
1827		/* -0-----------11- V60 */
1828		/* 1------------11- V60 */
1829		/* -----1-------11- V60 */
1830		/* --------------0- V28 */
1831		/* -------------0-- V28 */
1832		/* 011--0---------- V28 */
1833	0	if (TT(n,o) && ANYTTFF(a,f,b,c))
1834	0	return V60;
1835	0	else
1836	0	return V28;
1837	0	case 307:
1838	0	return V29;
1839	0	case 308:
1840		/* abcdefghijklmnop */
1841		/* ---01---------01 V27 */
1842		/* ----0---------01 V29 */
1843		/* ---1----------01 V29 */
1844		/* ---01----------0 V57 */
1845		/* ---01---------1- V57 */
1846		/* ----0----------0 V60 */
1847		/* ---1-----------0 V60 */
1848		/* ----0---------1- V60 */
1849		/* ---1----------1- V60 */
1850	0	if (TF(p,o)) {
1851	0	if (TF(e,d))
1852	0	return V27;
1853	0	else
1854	0	return V29;
1855	0	} else {
1856	0	if (TF(e,d))
1857	0	return V57;
1858	0	else
1859	0	return V60;
1860	0	}
1861	0	case 309:
1862	0	return V27;
1863	0	case 310:
1864		/* abcdefghijklmnop */
1865		/* --0----------11- V60 */
1866		/* -0-----------11- V60 */
1867		/* 1------------11- V60 */
1868		/* -----1-------11- V60 */
1869		/* --------------0- V28 */
1870		/* -------------0-- V28 */
1871		/* 011--0---------- V28 */
1872	0	if (TT(n,o) && ANYTTFF(a,f,b,c))
1873	0	return V60;
1874	0	else
1875	0	return V28;
1876	0	case 311:
1877	0	return V29;
1878	0	case 312:
1879	0	case 313:
1880	0	case 314:
1881	0	case 315:
1882	0	case 316:
1883	0	case 317:
1884	0	case 318:
1885	0	case 319:
1886	0	return V60;
1887	0	case 320:
1888	0	case 321:
1889	0	case 322:
1890	0	case 323:
1891	0	case 324:
1892	0	case 325:
1893	0	case 326:
1894	0	case 327:
1895	0	case 328:
1896	0	case 329:
1897	0	case 330:
1898	0	return V0;
1899	0	case 331:
1900		/* abcdefghijklmnop */
1901		/* ------------11-- V2 */
1902		/* -------------0-- V15 */
1903		/* ------------0--- V15 */
1904	0	if (TT(m,n))
1905	0	return V2;
1906	0	else
1907	0	return V15;
1908	0	case 332:
1909	0	case 333:
1910	0	case 334:
1911	0	case 335:
1912	0	return V0;
1913	0	case 336:
1914		/* abcdefghijklmnop */
1915		/* ---------001---1 V8 */
1916		/* ---------0-1---0 V10 */
1917		/* ---------011---- V10 */
1918		/* ----------00---1 V12 */
1919		/* ---------10----1 V12 */
1920		/* -----------0---0 V14 */
1921		/* ---------1-----0 V14 */
1922		/* ----------10---- V14 */
1923		/* ---------11----- V14 */
1924	0	if (TF(l,j)) {
1925	0	if (TF(p,k))
1926	0	return V8;
1927	0	else
1928	0	return V10;
1929	0	} else {
1930	0	if (TF(p,k))
1931	0	return V12;
1932	0	else
1933	0	return V14;
1934	0	}
1935	0	case 337:
1936	0	return V8;
1937	0	case 338:
1938	0	case 339:
1939	0	return V14;
1940	0	case 340:
1941	0	return V8;
1942	0	case 341:
1943	0	return V60;
1944	0	case 342:
1945	0	case 343:
1946	0	return V14;
1947	0	case 344:
1948		/* abcdefghijklmnop */
1949		/* 00---1-1-------- V42 */
1950		/* -------0--0----1 V43 */
1951		/* -----0----0----1 V43 */
1952		/* 1---------0----1 V43 */
1953		/* -1--------0----1 V43 */
1954		/* -------0-------0 V45 */
1955		/* -----0---------0 V45 */
1956		/* 1--------------0 V45 */
1957		/* -1-------------0 V45 */
1958		/* -------0--1----- V45 */
1959		/* -----0----1----- V45 */
1960		/* 1---------1----- V45 */
1961		/* -1--------1----- V45 */
1962	0	if (TTFF(f,h,a,b))
1963	0	return V42;
1964	0	else if (TF(p,k))
1965	0	return V43;
1966	0	else
1967	0	return V45;
1968	0	case 345:
1969	0	return V43;
1970	0	case 346:
1971	0	case 347:
1972	0	return V44;
1973	0	case 348:
1974	0	case 349:
1975	0	return V43;
1976	0	case 350:
1977	0	case 351:
1978	0	return V45;
1979	0	case 352:
1980	0	case 353:
1981	0	case 354:
1982	0	case 355:
1983	0	case 356:
1984	0	case 357:
1985	0	return V0;
1986	0	case 358:
1987		/* abcdefghijklmnop */
1988		/* -------------11- V1 */
1989		/* --------------0- V6 */
1990		/* -------------0-- V6 */
1991	0	if (TT(n,o))
1992	0	return V1;
1993	0	else
1994	0	return V6;
1995	0	case 359:
1996	0	case 360:
1997	0	case 361:
1998	0	case 362:
1999	0	return V0;
2000	0	case 363:
2001	0	return V15;
2002	0	case 364:
2003	0	case 365:
2004	0	return V0;
2005	0	case 366:
2006	0	return V6;
2007	0	case 367:
2008	0	return V0;
2009	0	case 368:
2010		/* abcdefghijklmnop */
2011		/* ---00-1-1------- V26 */
2012		/* --------00-1---- V27 */
2013		/* ------0--0-1---- V27 */
2014		/* ---1-----0-1---- V27 */
2015		/* ----1----0-1---- V27 */
2016		/* --------0--0---- V29 */
2017		/* ------0----0---- V29 */
2018		/* ---1-------0---- V29 */
2019		/* ----1------0---- V29 */
2020		/* --------01------ V29 */
2021		/* ------0--1------ V29 */
2022		/* ---1-----1------ V29 */
2023		/* ----1----1------ V29 */
2024	0	if (TTFF(g,i,d,e))
2025	0	return V26;
2026	0	else if (TF(l,j))
2027	0	return V27;
2028	0	else
2029	0	return V29;
2030	0	case 369:
2031	0	return V27;
2032	0	case 370:
2033	0	return V28;
2034	0	case 371:
2035	0	return V29;
2036	0	case 372:
2037	0	case 373:
2038	0	return V27;
2039	0	case 374:
2040	0	return V28;
2041	0	case 375:
2042	0	return V29;
2043	0	case 376:
2044	0	case 377:
2045	0	case 378:
2046	0	case 379:
2047	0	case 380:
2048	0	case 381:
2049	0	case 382:
2050	0	case 383:
2051	0	return V60;
2052	0	case 384:
2053	0	case 385:
2054	0	case 386:
2055	0	case 387:
2056	0	case 388:
2057	0	case 389:
2058	0	case 390:
2059	0	case 391:
2060	0	case 392:
2061	0	case 393:
2062	0	case 394:
2063	0	return V0;
2064	0	case 395:
2065	0	return V2;
2066	0	case 396:
2067	0	case 397:
2068	0	case 398:
2069	0	return V0;
2070	0	case 399:
2071	0	return V5;
2072	0	case 400:
2073		/* abcdefghijklmnop */
2074		/* ---------00011-1 V49 */
2075		/* ---------0-011-0 V51 */
2076		/* ---------01011-- V51 */
2077		/* ----------0--0-1 V59 */
2078		/* ----------0-0--1 V59 */
2079		/* ---------10----1 V59 */
2080		/* ----------01---1 V59 */
2081		/* -------------0-0 V60 */
2082		/* ------------0--0 V60 */
2083		/* ---------1-----0 V60 */
2084		/* -----------1---0 V60 */
2085		/* ----------1--0-- V60 */
2086		/* ----------1-0--- V60 */
2087		/* ---------11----- V60 */
2088		/* ----------11---- V60 */
2089	0	if (TTFF(m,n,j,l)) {
2090	0	if (TF(p,k))
2091	0	return V49;
2092	0	else
2093	0	return V51;
2094	0	} else {
2095	0	if (TF(p,k))
2096	0	return V59;
2097	0	else
2098	0	return V60;
2099	0	}
2100	0	case 401:
2101	0	return V55;
2102	0	case 402:
2103	0	case 403:
2104	0	return V60;
2105	0	case 404:
2106		/* abcdefghijklmnop */
2107		/* ---------0-011-- V49 */
2108		/* ---01--------0-- V55 */
2109		/* ---01-------0--- V55 */
2110		/* ---01----1------ V55 */
2111		/* ---01------1---- V55 */
2112		/* ----0--------0-- V59 */
2113		/* ---1--------0--- V59 */
2114		/* ---1---------0-- V59 */
2115		/* ----0-------0--- V59 */
2116		/* ----0----1------ V59 */
2117		/* ---1-----1------ V59 */
2118		/* ----0------1---- V59 */
2119		/* ---1-------1---- V59 */
2120	0	if (TTFF(m,n,j,l))
2121	0	return V49;
2122	0	else if (TF(e,d))
2123	0	return V55;
2124	0	else
2125	0	return V59;
2126	0	case 405:
2127	0	return V55;
2128	0	case 406:
2129	0	case 407:
2130	0	return V60;
2131	0	case 408:
2132		/* abcdefghijklmnop */
2133		/* -------01-1----- V60 */
2134		/* -----0--1-1----- V60 */
2135		/* 1-------1-1----- V60 */
2136		/* -1------1-1----- V60 */
2137		/* ----------0----- V58 */
2138		/* --------0------- V58 */
2139		/* 00---1-1-------- V58 */
2140	0	if (TT(i,k) && ANYTTFF(a,b,f,h))
2141	0	return V60;
2142	0	else
2143	0	return V58;
2144	0	case 409:
2145	0	return V59;
2146	0	case 410:
2147	0	case 411:
2148	0	return V60;
2149	0	case 412:
2150	0	return V58;
2151	0	case 413:
2152	0	return V59;
2153	0	case 414:
2154	0	case 415:
2155	0	return V60;
2156	0	case 416:
2157	0	case 417:
2158	0	case 418:
2159	0	case 419:
2160	0	return V17;
2161	0	case 420:
2162		/* abcdefghijklmnop */
2163		/* --11------------ V17 */
2164		/* ---0------------ V24 */
2165		/* --0------------- V24 */
2166		/* pass through */
2167	0	case 421:
2168		/* abcdefghijklmnop */
2169		/* --11------------ V17 */
2170		/* ---0------------ V24 */
2171		/* --0------------- V24 */
2172	0	if (TT(c,d))
2173	0	return V17;
2174	0	else
2175	0	return V24;
2176	0	case 422:
2177		/* abcdefghijklmnop */
2178		/* -0----------0--- V0 */
2179		/* -1----------0--- V1 */
2180		/* -0----------1--- V17 */
2181		/* -1----------1--- V18 */
2182	0	if (T(m)) {
2183	0	if (T(b))
2184	0	return V18;
2185	0	else
2186	0	return V17;
2187	0	} else {
2188	0	if (T(b))
2189	0	return V1;
2190	0	else
2191	0	return V0;
2192	0	}
2193	0	case 423:
2194		/* abcdefghijklmnop */
2195		/* ------------0--- V0 */
2196		/* ------------1--- V17 */
2197	0	if (T(m))
2198	0	return V17;
2199	0	else
2200	0	return V0;
2201	0	case 424:
2202	0	case 425:
2203	0	case 426:
2204	0	return V17;
2205	0	case 427:
2206	0	return V19;
2207	0	case 428:
2208	0	case 429:
2209	0	return V24;
2210	0	case 430:
2211	0	return V18;
2212	0	case 431:
2213	0	return V19;
2214	0	case 432:
2215		/* abcdefghijklmnop */
2216		/* ---00-1-10-011-- V50 */
2217		/* --------00-011-- V51 */
2218		/* ------0--0-011-- V51 */
2219		/* ---1-----0-011-- V51 */
2220		/* ----1----0-011-- V51 */
2221		/* ---00-1-1----0-- V56 */
2222		/* ---00-1-1---0--- V56 */
2223		/* ---00-1-11------ V56 */
2224		/* ---00-1-1--1---- V56 */
2225		/* --------0----0-- V60 */
2226		/* ------0-----0--- V60 */
2227		/* ---1---------0-- V60 */
2228		/* ----1-------0--- V60 */
2229		/* ------0------0-- V60 */
2230		/* ----1--------0-- V60 */
2231		/* --------0---0--- V60 */
2232		/* ---1--------0--- V60 */
2233		/* --------01------ V60 */
2234		/* ------0--1------ V60 */
2235		/* ---1-----1------ V60 */
2236		/* ----1----1------ V60 */
2237		/* --------0--1---- V60 */
2238		/* ------0----1---- V60 */
2239		/* ---1-------1---- V60 */
2240		/* ----1------1---- V60 */
2241	0	if (TTFF(m,n,j,l)) {
2242	0	if (TTFF(g,i,d,e))
2243	0	return V50;
2244	0	else
2245	0	return V51;
2246	0	} else {
2247	0	if (TTFF(g,i,d,e))
2248	0	return V56;
2249	0	else
2250	0	return V60;
2251	0	}
2252	0	case 433:
2253		/* abcdefghijklmnop */
2254		/* -0-----0-------- V57 */
2255		/* -----0-0-------- V57 */
2256		/* -10--1-0-------- V60 */
2257		/* --1----1-------- V31 */
2258		/* --1----0-------- V57 */
2259		/* --0----1-------- V57 */
2260	0	if (TTFF(b,f,c,h))
2261	0	return V60;
2262	0	else if (TT(c,h))
2263	0	return V31;
2264	0	else
2265	0	return V57;
2266	0	case 434:
2267	0	case 435:
2268	0	return V60;
2269	0	case 436:
2270		/* abcdefghijklmnop */
2271		/* --11---------0-- V60 */
2272		/* --11--------0--- V60 */
2273		/* --11-----1------ V60 */
2274		/* --11-------1---- V60 */
2275		/* ---0------------ V51 */
2276		/* --0------------- V51 */
2277		/* ---------0-011-- V51 */
2278	0	if (TT(c,d) && ANYTTFF(j,l,m,n))
2279	0	return V60;
2280	0	else
2281	0	return V51;
2282	0	case 437:
2283	0	return V51;
2284	0	case 438:
2285	0	case 439:
2286	0	case 440:
2287	0	case 441:
2288	0	case 442:
2289	0	case 443:
2290	0	case 444:
2291	0	case 445:
2292	0	case 446:
2293	0	case 447:
2294	0	return V60;
2295	0	case 448:
2296	0	case 449:
2297	0	case 450:
2298	0	case 451:
2299	0	case 452:
2300	0	case 453:
2301	0	case 454:
2302	0	case 455:
2303	0	return V0;
2304	0	case 456:
2305		/* abcdefghijklmnop */
2306		/* --------1-1----- V32 */
2307		/* ----------0----- V46 */
2308		/* --------0------- V46 */
2309	0	if (TT(i,k))
2310	0	return V32;
2311	0	else
2312	0	return V46;
2313	0	case 457:
2314	0	return V0;
2315	0	case 458:
2316	0	return V46;
2317	0	case 459:
2318		/* abcdefghijklmnop */
2319		/* ---0------------ V0 */
2320		/* ---1------------ V2 */
2321	0	if (T(d))
2322	0	return V2;
2323	0	else
2324	0	return V0;
2325	0	case 460:
2326		/* abcdefghijklmnop */
2327		/* --------1-1----- V32 */
2328		/* ----------0----- V46 */
2329		/* --------0------- V46 */
2330	0	if (TT(i,k))
2331	0	return V32;
2332	0	else
2333	0	return V46;
2334	0	case 461:
2335	0	return V0;
2336	0	case 462:
2337	0	return V46;
2338	0	case 463:
2339	0	return V0;
2340	0	case 464:
2341		/* abcdefghijklmnop */
2342		/* ---------001---1 V55 */
2343		/* ---------0-1---0 V57 */
2344		/* ---------011---- V57 */
2345		/* ----------00---1 V59 */
2346		/* ---------10----1 V59 */
2347		/* -----------0---0 V60 */
2348		/* ---------1-----0 V60 */
2349		/* ----------10---- V60 */
2350		/* ---------11----- V60 */
2351	0	if (TF(l,j)) {
2352	0	if (TF(p,k))
2353	0	return V55;
2354	0	else
2355	0	return V57;
2356	0	} else {
2357	0	if (TF(p,k))
2358	0	return V59;
2359	0	else
2360	0	return V60;
2361	0	}
2362	0	case 465:
2363	0	return V55;
2364	0	case 466:
2365	0	case 467:
2366	0	return V60;
2367	0	case 468:
2368	0	case 469:
2369	0	return V55;
2370	0	case 470:
2371	0	case 471:
2372	0	return V60;
2373	0	case 472:
2374		/* abcdefghijklmnop */
2375		/* -------01-1----- V60 */
2376		/* -----0--1-1----- V60 */
2377		/* 1-------1-1----- V60 */
2378		/* -1------1-1----- V60 */
2379		/* ----------0----- V58 */
2380		/* --------0------- V58 */
2381		/* 00---1-1-------- V58 */
2382	0	if (TT(i,k) && ANYTTFF(a,b,f,h))
2383	0	return V60;
2384	0	else
2385	0	return V58;
2386	0	case 473:
2387	0	return V59;
2388	0	case 474:
2389	0	case 475:
2390	0	return V60;
2391	0	case 476:
2392	0	return V58;
2393	0	case 477:
2394	0	return V59;
2395	0	case 478:
2396	0	case 479:
2397	0	return V60;
2398	0	case 480:
2399		/* abcdefghijklmnop */
2400		/* -------1-1------ V17 */
2401		/* ---------0------ V30 */
2402		/* -------0-------- V30 */
2403		/* pass through */
2404	0	case 481:
2405		/* abcdefghijklmnop */
2406		/* -------1-1------ V17 */
2407		/* ---------0------ V30 */
2408		/* -------0-------- V30 */
2409	0	if (TT(h,j))
2410	0	return V17;
2411	0	else
2412	0	return V30;
2413	0	case 482:
2414	0	case 483:
2415	0	return V30;
2416	0	case 484:
2417	0	case 485:
2418	0	return V0;
2419	0	case 486:
2420		/* abcdefghijklmnop */
2421		/* -0-------------- V0 */
2422		/* -1-------------- V1 */
2423	0	if (T(b))
2424	0	return V1;
2425	0	else
2426	0	return V0;
2427	0	case 487:
2428	0	return V0;
2429	0	case 488:
2430		/* abcdefghijklmnop */
2431		/* -----00--------- V0 */
2432		/* -----01--------- V17 */
2433		/* -----10--------- V32 */
2434		/* -----11--------- V39 */
2435	0	if (T(f)) {
2436	0	if (T(g))
2437	0	return V39;
2438	0	else
2439	0	return V32;
2440	0	} else {
2441	0	if (T(g))
2442	0	return V17;
2443	0	else
2444	0	return V0;
2445	0	}
2446	0	case 489:
2447		/* abcdefghijklmnop */
2448		/* ------0--------- V0 */
2449		/* ------1--------- V17 */
2450	0	if (T(g))
2451	0	return V17;
2452	0	else
2453	0	return V0;
2454	0	case 490:
2455	0	return V39;
2456	0	case 491:
2457	0	return V19;
2458	0	case 492:
2459		/* abcdefghijklmnop */
2460		/* -----0---------- V0 */
2461		/* -----1---------- V32 */
2462	0	if (T(f))
2463	0	return V32;
2464	0	else
2465	0	return V0;
2466	0	case 493:
2467	0	return V0;
2468	0	case 494:
2469	0	return V33;
2470	0	case 495:
2471	0	return V0;
2472	0	case 496:
2473		/* abcdefghijklmnop */
2474		/* -------101------ V60 */
2475		/* ------01-1------ V60 */
2476		/* ---1---1-1------ V60 */
2477		/* ----1--1-1------ V60 */
2478		/* ---------0------ V56 */
2479		/* -------0-------- V56 */
2480		/* ---00-1-1------- V56 */
2481	0	if (TT(h,j) && ANYTTFF(d,e,g,i))
2482	0	return V60;
2483	0	else
2484	0	return V56;
2485	0	case 497:
2486	0	return V56;
2487	0	case 498:
2488	0	case 499:
2489	0	return V60;
2490	0	case 500:
2491	0	case 501:
2492	0	return V57;
2493	0	case 502:
2494	0	case 503:
2495	0	case 504:
2496	0	case 505:
2497	0	case 506:
2498	0	case 507:
2499	0	case 508:
2500	0	case 509:
2501	0	case 510:
2502	0	case 511:
2503	0	return V60;
2504	0	}
2505		/* Unreachable, returning an impossible value to irk the unit test. */
2506	0	return 3;
2507	0	}

Coverage Report

Created: 2025-06-10 07:27