1	// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
2	// See https://llvm.org/LICENSE.txt for license information.
3	// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4	//
5	// echo -en 'Im_so_cute&pretty_:)' > crash
6	//
7	#include <stddef.h>
8	#include <stdint.h>
9	#include <stdlib.h>
10	#include <stdio.h>
11
12	// Force noinline, as this test might be interesting for experimenting with
13	// data flow tracing approach started in https://reviews.llvm.org/D46666.
14	__attribute__((noinline))
15	int func1(uint8_t a1, uint8_t a2) {
16	char v = (a1 ^ a2);
17	if ( v <= 15 )
18	return 0;
19	return 1;
20	}
21
22	__attribute__((noinline))
23	int func2(uint8_t a1, uint8_t a2) {
24	char v = (a1 & a2);
25	if ( v > 80 )
26	return 0;
27	return 1;
28	}
29
30	__attribute__((noinline))
31	int func3(uint8_t a1, uint8_t a2) {
32	char v = (a1 & a2);
33	if ( v > 48 )
34	return 0;
35	return 1;
36	}
37
38	__attribute__((noinline))
39	int func4(uint8_t a1, uint8_t a2, uint8_t a3) {
40	char v = ((a1 & a2)) ^ a3;
41	if ( v > 44 )
42	return 0;
43	return 1;
44	}
45
46	__attribute__((noinline))
47	int func5(uint8_t a1, uint8_t a2) {
48	char v = (a1 & a2);
49	if ( v <= 72 )
50	return 0;
51	return 1;
52	}
53
54	__attribute__((noinline))
55	int func6(uint8_t a1, uint8_t a2) {
56	char v = (a1 & a2);
57	if ( v <= 72 )
58	return 0;
59	return 1;
60	}
61
62	__attribute__((noinline))
63	int func7(uint8_t a1, uint8_t a2) {
64	char v = (a1 ^ a2);
65	if ( v <= 43 )
66	return 0;
67	return 1;
68	}
69
70	__attribute__((noinline))
71	int func8(uint8_t a1, uint8_t a2) {
72	char v = (a1 ^ a2);
73	if ( v <= 66 )
74	return 0;
75	return 1;
76	}
77
78	__attribute__((noinline))
79	int func9(uint8_t a1, uint8_t a2) {
80	char v = (a1 ^ a2);
81	if ( v > 16 )
82	return 0;
83	return 1;
84	}
85
86	__attribute__((noinline))
87	int func10(uint8_t a1, uint8_t a2) {
88	char v = (a1 ^ a2);
89	if ( v > 83 )
90	return 0;
91	return 1;
92	}
93
94	__attribute__((noinline))
95	int func11(uint8_t a1, uint8_t a2) {
96	char v = (a1 ^ a2);
97	if ( v <= 117 )
98	return 0;
99	return 1;
100	}
101
102	__attribute__((noinline))
103	int func12(uint8_t a1, uint8_t a2) {
104	char v = a1 | a2;
105	if ( v <= 16 )
106	return 0;
107	return 1;
108	}
109
110	__attribute__((noinline))
111	int func13(uint8_t a1, uint8_t a2) {
112	char v = (a1 & a2);
113	if ( v <= 80 )
114	return 0;
115	return 1;
116	}
117
118	__attribute__((noinline))
119	int func14(uint8_t a1) {
120	char v = ~a1;
121	if ( v > 1 )
122	return 0;
123	return 1;
124	}
125
126	__attribute__((noinline))
127	int func15(uint8_t a1, uint8_t a2) {
128	char v = a1 | a2;
129	if ( v <= 116 )
130	return 0;
131	return 1;
132	}
133
134	__attribute__((noinline))
135	int func16(uint8_t a1) {
136	char v = a1 >> 5;
137	if ( v <= 0 )
138	return 0;
139	return 1;
140	}
141
142	__attribute__((noinline))
143	int func17(uint8_t a1) {
144	char v = ~a1;
145	if ( v > 1 )
146	return 0;
147	return 1;
148	}
149
150	__attribute__((noinline))
151	int func18(uint8_t a1, uint8_t a2) {
152	char v = (a1 ^ a2);
153	if ( v <= 28 )
154	return 0;
155	return 1;
156	}
157
158	__attribute__((noinline))
159	int func19(uint8_t a1, uint8_t a2) {
160	char v = (a1 ^ a2);
161	if ( v > 18 )
162	return 0;
163	return 1;
164	}
165
166	__attribute__((noinline))
167	int func20(uint8_t a1, uint8_t a2) {
168	char v = (a1 & a2);
169	if ( v <= 47 )
170	return 0;
171	return 1;
172	}
173
174	__attribute__((noinline))
175	int func21(uint8_t a1, uint8_t a2, uint8_t a3) {
176	char v = (((a1 ^ a2))) & a3;
177	if ( v > 108 )
178	return 0;
179	return 1;
180	}
181
182	__attribute__((noinline))
183	int func22(uint8_t a1) {
184	char v = ~a1;
185	if ( v > 1 )
186	return 0;
187	return 1;
188	}
189
190	__attribute__((noinline))
191	int func23(uint8_t a1, uint8_t a2) {
192	char v = (a1 ^ a2);
193	if ( v <= 7 )
194	return 0;
195	return 1;
196	}
197
198	__attribute__((noinline))
199	int func24(uint8_t a1) {
200	char v = (char)a1 >> 1;
201	if ( v <= 25 )
202	return 0;
203	return 1;
204	}
205
206	__attribute__((noinline))
207	int func25(uint8_t a1) {
208	char v = ~a1;
209	if ( v > 1 )
210	return 0;
211	return 1;
212	}
213
214	__attribute__((noinline))
215	int func26(uint8_t a1, uint8_t a2) {
216	char v = (a1 & a2);
217	if ( v <= 41 )
218	return 0;
219	return 1;
220	}
221
222	__attribute__((noinline))
223	int func27(uint8_t a1) {
224	char v = (char)a1 >> 1;
225	if ( v <= 14 )
226	return 0;
227	return 1;
228	}
229
230	__attribute__((noinline))
231	int func28(uint8_t a1) {
232	char v = ~a1;
233	if ( v > 1 )
234	return 0;
235	return 1;
236	}
237
238	__attribute__((noinline))
239	int func29(uint8_t a1) {
240	char v = a1 >> 5;
241	if ( v > 48 )
242	return 0;
243	return 1;
244	}
245
246	__attribute__((noinline))
247	int func30(uint8_t a1) {
248	char v = ~a1;
249	if ( v > 1 )
250	return 0;
251	return 1;
252	}
253
254	__attribute__((noinline))
255	int func31(uint8_t a1, uint8_t a2) {
256	char v = (a1 ^ a2);
257	if ( v > 45 )
258	return 0;
259	return 1;
260	}
261
262	__attribute__((noinline))
263	int func32(uint8_t a1, uint8_t a2) {
264	char v = (a1 & a2);
265	if ( v <= 0 )
266	return 0;
267	return 1;
268	}
269
270	__attribute__((noinline))
271	int func33(uint8_t a1) {
272	char v = ~a1;
273	if ( v > 1 )
274	return 0;
275	return 1;
276	}
277
278	__attribute__((noinline))
279	int func34(uint8_t a1, uint8_t a2) {
280	char v = (a1 ^ a2);
281	if ( v <= 95 )
282	return 0;
283	return 1;
284	}
285
286	__attribute__((noinline))
287	int func35(uint8_t a1) {
288	char v = a1 >> 5;
289	if ( v > 12 )
290	return 0;
291	return 1;
292	}
293
294	__attribute__((noinline))
295	int func36(uint8_t a1, uint8_t a2) {
296	char v = a1 | a2;
297	if ( v <= 121 )
298	return 0;
299	return 1;
300	}
301
302	__attribute__((noinline))
303	int func37(uint8_t a1) {
304	char v = ~a1;
305	if ( v > 1 )
306	return 0;
307	return 1;
308	}
309
310	__attribute__((noinline))
311	int func38(uint8_t a1, uint8_t a2) {
312	char v = (a1 & a2);
313	if ( v <= 61 )
314	return 0;
315	return 1;
316	}
317
318	__attribute__((noinline))
319	int func39(uint8_t a1, uint8_t a2) {
320	char v = (a1 ^ a2);
321	if ( v > 94 )
322	return 0;
323	return 1;
324	}
325
326	__attribute__((noinline))
327	int func40(uint8_t a1, uint8_t a2) {
328	char v = (a1 ^ a2);
329	if ( v > 125 )
330	return 0;
331	return 1;
332	}
333
334	__attribute__((noinline))
335	int func41(uint8_t a1, uint8_t a2) {
336	char v = (a1 & a2);
337	if ( v <= 0 )
338	return 0;
339	return 1;
340	}
341
342	__attribute__((noinline))
343	int func42(uint8_t a1, uint8_t a2, uint8_t a3) {
344	char v = (((a1 ^ a2))) & a3;
345	if ( v > 66 )
346	return 0;
347	return 1;
348	}
349
350	__attribute__((noinline))
351	int func43(uint8_t a1) {
352	char v = ~a1;
353	if ( v > 1 )
354	return 0;
355	return 1;
356	}
357
358	__attribute__((noinline))
359	int func44(uint8_t a1) {
360	char v = a1 >> 5;
361	if ( v <= 0 )
362	return 0;
363	return 1;
364	}
365
366	__attribute__((noinline))
367	int func45(uint8_t a1) {
368	char v = ~a1;
369	if ( v > 1 )
370	return 0;
371	return 1;
372	}
373
374	__attribute__((noinline))
375	int func46(uint8_t a1, uint8_t a2) {
376	char v = (a1 ^ a2);
377	if ( v > 106 )
378	return 0;
379	return 1;
380	}
381
382	__attribute__((noinline))
383	int func47(uint8_t a1, uint8_t a2) {
384	char v = (a1 & a2);
385	if ( v <= 33 )
386	return 0;
387	return 1;
388	}
389
390	__attribute__((noinline))
391	int func48(uint8_t a1, uint8_t a2) {
392	char v = a1 | a2;
393	if ( v <= 118 )
394	return 0;
395	return 1;
396	}
397
398	__attribute__((noinline))
399	int func49(uint8_t a1, uint8_t a2) {
400	char v = (a1 & a2);
401	if ( v > 58 )
402	return 0;
403	return 1;
404	}
405
406	__attribute__((noinline))
407	int func50(uint8_t a1, uint8_t a2) {
408	char v = (a1 ^ a2);
409	if ( v <= 42 )
410	return 0;
411	return 1;
412	}
413
414	__attribute__((noinline))
415	int func51(uint8_t a1, uint8_t a2) {
416	char v = (a1 ^ a2);
417	if ( v <= 46 )
418	return 0;
419	return 1;
420	}
421
422	__attribute__((noinline))
423	int func52(uint8_t a1, uint8_t a2) {
424	char v = (a1 & a2);
425	if ( v <= 94 )
426	return 0;
427	return 1;
428	}
429
430	__attribute__((noinline))
431	int func53(uint8_t a1, uint8_t a2) {
432	char v = (a1 ^ a2);
433	if ( v <= 66 )
434	return 0;
435	return 1;
436	}
437
438	__attribute__((noinline))
439	int func54(uint8_t a1, uint8_t a2) {
440	char v = (a1 ^ a2);
441	if ( v <= 23 )
442	return 0;
443	return 1;
444	}
445
446	__attribute__((noinline))
447	int func55(uint8_t a1, uint8_t a2) {
448	char v = (a1 & a2);
449	if ( v <= 17 )
450	return 0;
451	return 1;
452	}
453
454	__attribute__((noinline))
455	int func56(uint8_t a1, uint8_t a2) {
456	char v = (a1 & a2);
457	if ( v > 90 )
458	return 0;
459	return 1;
460	}
461
462	__attribute__((noinline))
463	int func57(uint8_t a1, uint8_t a2) {
464	char v = (a1 ^ a2);
465	if ( v > 63 )
466	return 0;
467	return 1;
468	}
469
470	__attribute__((noinline))
471	int func58(uint8_t a1, uint8_t a2) {
472	char v = (a1 & a2);
473	if ( v > 102 )
474	return 0;
475	return 1;
476	}
477
478	__attribute__((noinline))
479	int func59(uint8_t a1, uint8_t a2) {
480	char v = (a1 & a2);
481	if ( v <= 49 )
482	return 0;
483	return 1;
484	}
485
486	__attribute__((noinline))
487	int func60(uint8_t a1, uint8_t a2) {
488	char v = (a1 ^ a2);
489	if ( v > 26 )
490	return 0;
491	return 1;
492	}
493
494	__attribute__((noinline))
495	int func61(uint8_t a1, uint8_t a2) {
496	char v = (a1 ^ a2);
497	if ( v > 55 )
498	return 0;
499	return 1;
500	}
501
502	__attribute__((noinline))
503	int func62(uint8_t a1, uint8_t a2) {
504	char v = (a1 & a2);
505	if ( v > 103 )
506	return 0;
507	return 1;
508	}
509
510	__attribute__((noinline))
511	int func63(uint8_t a1, uint8_t a2) {
512	char v = (a1 & a2);
513	if ( v <= 0 )
514	return 0;
515	return 1;
516	}
517
518	__attribute__((noinline))
519	int func64(uint8_t a1, uint8_t a2) {
520	char v = (a1 ^ a2);
521	if ( v <= 34 )
522	return 0;
523	return 1;
524	}
525
526	__attribute__((noinline))
527	int func65(uint8_t a1, uint8_t a2) {
528	char v = (a1 & a2);
529	if ( v > 90 )
530	return 0;
531	return 1;
532	}
533
534	__attribute__((noinline))
535	int func66(uint8_t a1, uint8_t a2) {
536	char v = (a1 ^ a2);
537	if ( v > 4 )
538	return 0;
539	return 1;
540	}
541
542	__attribute__((noinline))
543	int func67(uint8_t a1, uint8_t a2) {
544	char v = (a1 ^ a2);
545	if ( v > 50 )
546	return 0;
547	return 1;
548	}
549
550	__attribute__((noinline))
551	int func68(uint8_t a1, uint8_t a2) {
552	char v = (a1 & a2);
553	if ( v <= 37 )
554	return 0;
555	return 1;
556	}
557
558	__attribute__((noinline))
559	int func69(uint8_t a1, uint8_t a2) {
560	char v = (a1 ^ a2);
561	if ( v > 48 )
562	return 0;
563	return 1;
564	}
565
566	__attribute__((noinline))
567	int func70(uint8_t a1) {
568	char v = a1 << 6;
569	if ( v > 1 )
570	return 0;
571	return 1;
572	}
573
574	__attribute__((noinline))
575	int func71(uint8_t a1, uint8_t a2) {
576	char v = a1 | a2;
577	if ( v <= 85 )
578	return 0;
579	return 1;
580	}
581
582	__attribute__((noinline))
583	int func72(uint8_t a1, uint8_t a2) {
584	char v = (a1 ^ a2);
585	if ( v <= 66 )
586	return 0;
587	return 1;
588	}
589
590	__attribute__((noinline))
591	int func73(uint8_t a1, uint8_t a2) {
592	char v = (a1 & a2);
593	if ( v <= 30 )
594	return 0;
595	return 1;
596	}
597
598	__attribute__((noinline))
599	int func74(uint8_t a1, uint8_t a2) {
600	char v = (a1 ^ a2);
601	if ( v > 118 )
602	return 0;
603	return 1;
604	}
605
606	__attribute__((noinline))
607	int func75(uint8_t a1, uint8_t a2, uint8_t a3) {
608	char v = ((a1 & a2)) | a3;
609	if ( v <= 59 )
610	return 0;
611	return 1;
612	}
613
614	__attribute__((noinline))
615	int func76(uint8_t a1, uint8_t a2) {
616	char v = (a1 ^ a2);
617	if ( v <= 94 )
618	return 0;
619	return 1;
620	}
621
622	__attribute__((noinline))
623	int func77(uint8_t a1, uint8_t a2) {
624	char v = (a1 & a2);
625	if ( v <= 30 )
626	return 0;
627	return 1;
628	}
629
630	__attribute__((noinline))
631	int func78(uint8_t a1, uint8_t a2) {
632	char v = (a1 ^ a2);
633	if ( v > 32 )
634	return 0;
635	return 1;
636	}
637
638	__attribute__((noinline))
639	int func79(uint8_t a1) {
640	char v = 16 * a1;
641	if ( v > 1 )
642	return 0;
643	return 1;
644	}
645
646	__attribute__((noinline))
647	int func80(uint8_t a1, uint8_t a2, uint8_t a3) {
648	char v = ((a1 ^ a2)) | a3;
649	if ( v <= 94 )
650	return 0;
651	return 1;
652	}
653
654	__attribute__((noinline))
655	int func81(uint8_t a1, uint8_t a2) {
656	char v = a1 | a2;
657	if ( v > 120 )
658	return 0;
659	return 1;
660	}
661
662	__attribute__((noinline))
663	int func82(uint8_t a1, uint8_t a2) {
664	char v = (a1 & a2);
665	if ( v > 81 )
666	return 0;
667	return 1;
668	}
669
670	__attribute__((noinline))
671	int func83(uint8_t a1, uint8_t a2) {
672	char v = a1 | a2;
673	if ( v > 119 )
674	return 0;
675	return 1;
676	}
677
678	__attribute__((noinline))
679	int func84(uint8_t a1, uint8_t a2) {
680	char v = (a1 ^ a2);
681	if ( v <= 16 )
682	return 0;
683	return 1;
684	}
685
686	__attribute__((noinline))
687	int func85(uint8_t a1) {
688	char v = 2 * a1;
689	if ( v > 1 )
690	return 0;
691	return 1;
692	}
693
694	__attribute__((noinline))
695	int func86(uint8_t a1, uint8_t a2) {
696	char v = a1 | a2;
697	if ( v <= 66 )
698	return 0;
699	return 1;
700	}
701
702	__attribute__((noinline))
703	int func87(uint8_t a1, uint8_t a2) {
704	char v = (a1 & a2);
705	if ( v <= 84 )
706	return 0;
707	return 1;
708	}
709
710	__attribute__((noinline))
711	int func88(uint8_t a1, uint8_t a2) {
712	char v = (a1 & a2);
713	if ( v > 118 )
714	return 0;
715	return 1;
716	}
717
718	__attribute__((noinline))
719	int func89(uint8_t a1, uint8_t a2) {
720	char v = (a1 ^ a2);
721	if ( v > 47 )
722	return 0;
723	return 1;
724	}
725
726	__attribute__((noinline))
727	int func90(uint8_t a1, uint8_t a2) {
728	char v = a1 | a2;
729	if ( v <= 60 )
730	return 0;
731	return 1;
732	}
733
734	__attribute__((noinline))
735	int func91(uint8_t a1, uint8_t a2) {
736	char v = (a1 & a2);
737	if ( v <= 13 )
738	return 0;
739	return 1;
740	}
741
742	__attribute__((noinline))
743	int func92(uint8_t a1, uint8_t a2) {
744	char v = (a1 ^ a2);
745	if ( v <= 38 )
746	return 0;
747	return 1;
748	}
749
750	__attribute__((noinline))
751	int func93(uint8_t a1, uint8_t a2) {
752	char v = (a1 ^ a2);
753	if ( v > 67 )
754	return 0;
755	return 1;
756	}
757
758	__attribute__((noinline))
759	int func94(uint8_t a1) {
760	char v = 16 * a1;
761	if ( v > 1 )
762	return 0;
763	return 1;
764	}
765
766	__attribute__((noinline))
767	int func95(uint8_t a1, uint8_t a2) {
768	char v = a1 | a2;
769	if ( v <= 94 )
770	return 0;
771	return 1;
772	}
773
774	__attribute__((noinline))
775	int func96(uint8_t a1, uint8_t a2) {
776	char v = (a1 & a2);
777	if ( v > 67 )
778	return 0;
779	return 1;
780	}
781
782	__attribute__((noinline))
783	int func97(uint8_t a1, uint8_t a2) {
784	char v = (a1 & a2);
785	if ( v > 48 )
786	return 0;
787	return 1;
788	}
789
790	__attribute__((noinline))
791	int func98(uint8_t a1, uint8_t a2) {
792	char v = (a1 ^ a2);
793	if ( v > 102 )
794	return 0;
795	return 1;
796	}
797
798	__attribute__((noinline))
799	int func99(uint8_t a1, uint8_t a2) {
800	char v = (a1 ^ a2);
801	if ( v > 96 )
802	return 0;
803	return 1;
804	}
805
806	__attribute__((noinline))
807	int func100(uint8_t a1, uint8_t a2, uint8_t a3) {
808	char v = ((a1 ^ a2)) | a3;
809	if ( v != 127 )
810	return 0;
811	return 1;
812	}
813
814	__attribute__((noinline))
815	int func101(uint8_t a1) {
816	char v = 4 * a1;
817	if ( v > 1 )
818	return 0;
819	return 1;
820	}
821
822	__attribute__((noinline))
823	int func102(uint8_t a1, uint8_t a2) {
824	char v = a1 | a2;
825	if ( v <= 43 )
826	return 0;
827	return 1;
828	}
829
830	__attribute__((noinline))
831	int func103(uint8_t a1, uint8_t a2) {
832	char v = (a1 & a2);
833	if ( v > 95 )
834	return 0;
835	return 1;
836	}
837
838	__attribute__((noinline))
839	int func104(uint8_t a1, uint8_t a2, uint8_t a3) {
840	char v = (((a1 ^ a2))) & a3;
841	if ( v <= 2 )
842	return 0;
843	return 1;
844	}
845
846	__attribute__((noinline))
847	int func105(uint8_t a1, uint8_t a2) {
848	char v = (a1 & a2);
849	if ( v > 65 )
850	return 0;
851	return 1;
852	}
853
854	__attribute__((noinline))
855	int func106(uint8_t a1, uint8_t a2) {
856	char v = (a1 ^ a2);
857	if ( v <= 24 )
858	return 0;
859	return 1;
860	}
861
862	__attribute__((noinline))
863	int func107(uint8_t a1) {
864	char v = ~a1;
865	if ( v > 1 )
866	return 0;
867	return 1;
868	}
869
870	__attribute__((noinline))
871	int func108(uint8_t a1, uint8_t a2) {
872	char v = (a1 ^ a2);
873	if ( v > 67 )
874	return 0;
875	return 1;
876	}
877
878	__attribute__((noinline))
879	int func109(uint8_t a1) {
880	char v = 2 * a1;
881	if ( v > 1 )
882	return 0;
883	return 1;
884	}
885
886	__attribute__((noinline))
887	int func110(uint8_t a1, uint8_t a2) {
888	char v = (a1 & a2);
889	if ( v > 101 )
890	return 0;
891	return 1;
892	}
893
894	__attribute__((noinline))
895	int func111(uint8_t a1, uint8_t a2, uint8_t a3) {
896	char v = ((a1 & a2)) | a3;
897	if ( v <= 121 )
898	return 0;
899	return 1;
900	}
901
902	__attribute__((noinline))
903	int func112(uint8_t a1, uint8_t a2) {
904	char v = (a1 ^ a2);
905	if ( v <= 40 )
906	return 0;
907	return 1;
908	}
909
910	__attribute__((noinline))
911	int func113(uint8_t a1, uint8_t a2) {
912	char v = (a1 & a2);
913	if ( v > 50 )
914	return 0;
915	return 1;
916	}
917
918	__attribute__((noinline))
919	int func114(uint8_t a1) {
920	char v = a1 << 6;
921	if ( v > 1 )
922	return 0;
923	return 1;
924	}
925
926	__attribute__((noinline))
927	int func115(uint8_t a1, uint8_t a2) {
928	char v = a1 | a2;
929	if ( v <= 12 )
930	return 0;
931	return 1;
932	}
933
934	__attribute__((noinline))
935	int func116(uint8_t a1) {
936	char v = ~a1;
937	if ( v > 1 )
938	return 0;
939	return 1;
940	}
941
942	__attribute__((noinline))
943	int func117(uint8_t a1) {
944	char v = a1 >> 5;
945	if ( v > 79 )
946	return 0;
947	return 1;
948	}
949
950	__attribute__((noinline))
951	int func118(uint8_t a1) {
952	char v = ~a1;
953	if ( v > 1 )
954	return 0;
955	return 1;
956	}
957
958	__attribute__((noinline))
959	int func119(uint8_t a1, uint8_t a2) {
960	char v = (a1 ^ a2);
961	if ( v > 44 )
962	return 0;
963	return 1;
964	}
965
966	__attribute__((noinline))
967	int func120(uint8_t a1, uint8_t a2, uint8_t a3) {
968	char v = ((a1 & a2)) | a3;
969	if ( v <= 28 )
970	return 0;
971	return 1;
972	}
973
974	__attribute__((noinline))
975	int func121(uint8_t a1, uint8_t a2) {
976	char v = a1 | a2;
977	if ( v <= 93 )
978	return 0;
979	return 1;
980	}
981
982	__attribute__((noinline))
983	int func122(uint8_t a1, uint8_t a2) {
984	char v = a1 | a2;
985	if ( v <= 40 )
986	return 0;
987	return 1;
988	}
989
990	__attribute__((noinline))
991	int func123(uint8_t a1) {
992	char v = ~a1;
993	if ( v > 1 )
994	return 0;
995	return 1;
996	}
997
998	__attribute__((noinline))
999	int func124(uint8_t a1) {
1000	char v = a1 >> 5;
1001	if ( v <= 0 )
1002	return 0;
1003	return 1;
1004	}
1005
1006	__attribute__((noinline))
1007	int func125(uint8_t a1) {
1008	char v = ~a1;
1009	if ( v > 1 )
1010	return 0;
1011	return 1;
1012	}
1013
1014	__attribute__((noinline))
1015	int func126(uint8_t a1) {
1016	char v = ~a1;
1017	if ( v > 1 )
1018	return 0;
1019	return 1;
1020	}
1021
1022	__attribute__((noinline))
1023	int func127(uint8_t a1, uint8_t a2) {
1024	char v = (a1 ^ a2);
1025	if ( v > 8 )
1026	return 0;
1027	return 1;
1028	}
1029
1030	__attribute__((noinline))
1031	int func128(uint8_t a1) {
1032	char v = ~a1;
1033	if ( v > 1 )
1034	return 0;
1035	return 1;
1036	}
1037
1038	__attribute__((noinline))
1039	int func129(uint8_t a1, uint8_t a2) {
1040	char v = (a1 ^ a2);
1041	if ( v <= 3 )
1042	return 0;
1043	return 1;
1044	}
1045
1046	__attribute__((noinline))
1047	int func130(uint8_t a1, uint8_t a2) {
1048	char v = a1 | a2;
1049	if ( v <= 102 )
1050	return 0;
1051	return 1;
1052	}
1053
1054	__attribute__((noinline))
1055	int func131(uint8_t a1, uint8_t a2) {
1056	char v = (a1 ^ a2);
1057	if ( v > 68 )
1058	return 0;
1059	return 1;
1060	}
1061
1062	__attribute__((noinline))
1063	int func132(uint8_t a1, uint8_t a2) {
1064	char v = (a1 & a2);
1065	if ( v > 73 )
1066	return 0;
1067	return 1;
1068	}
1069
1070	__attribute__((noinline))
1071	int func133(uint8_t a1, uint8_t a2) {
1072	char v = (a1 & a2);
1073	if ( v <= 68 )
1074	return 0;
1075	return 1;
1076	}
1077
1078	__attribute__((noinline))
1079	int func134(uint8_t a1) {
1080	char v = 16 * a1;
1081	if ( v > 125 )
1082	return 0;
1083	return 1;
1084	}
1085
1086	__attribute__((noinline))
1087	int func135(uint8_t a1, uint8_t a2) {
1088	char v = (a1 ^ a2);
1089	if ( v > 79 )
1090	return 0;
1091	return 1;
1092	}
1093
1094	__attribute__((noinline))
1095	int func136(uint8_t a1, uint8_t a2) {
1096	char v = (a1 ^ a2);
1097	if ( v > 6 )
1098	return 0;
1099	return 1;
1100	}
1101
1102	__attribute__((noinline))
1103	int func137(uint8_t a1, uint8_t a2) {
1104	char v = (a1 & a2);
1105	if ( v <= 16 )
1106	return 0;
1107	return 1;
1108	}
1109
1110	__attribute__((noinline))
1111	int func138(uint8_t a1) {
1112	char v = ~a1;
1113	if ( v > 1 )
1114	return 0;
1115	return 1;
1116	}
1117
1118	__attribute__((noinline))
1119	int func139(uint8_t a1) {
1120	char v = ~a1;
1121	if ( v > 1 )
1122	return 0;
1123	return 1;
1124	}
1125
1126	__attribute__((noinline))
1127	int func140(uint8_t a1) {
1128	char v = a1 >> 5;
1129	if ( v > 74 )
1130	return 0;
1131	return 1;
1132	}
1133
1134	__attribute__((noinline))
1135	int func141(uint8_t a1) {
1136	char v = ~a1;
1137	if ( v > 1 )
1138	return 0;
1139	return 1;
1140	}
1141
1142	__attribute__((noinline))
1143	int func142(uint8_t a1, uint8_t a2) {
1144	char v = a1 | a2;
1145	if ( v <= 89 )
1146	return 0;
1147	return 1;
1148	}
1149
1150	__attribute__((noinline))
1151	int func143(uint8_t a1, uint8_t a2) {
1152	char v = (a1 ^ a2);
1153	if ( v > 46 )
1154	return 0;
1155	return 1;
1156	}
1157
1158	__attribute__((noinline))
1159	int func144(uint8_t a1) {
1160	char v = 16 * a1;
1161	if ( v <= 29 )
1162	return 0;
1163	return 1;
1164	}
1165
1166	__attribute__((noinline))
1167	int func145(uint8_t a1, uint8_t a2) {
1168	char v = a1 | a2;
1169	if ( v <= 77 )
1170	return 0;
1171	return 1;
1172	}
1173
1174	__attribute__((noinline))
1175	int func146(uint8_t a1, uint8_t a2) {
1176	char v = (a1 ^ a2);
1177	if ( v > 12 )
1178	return 0;
1179	return 1;
1180	}
1181
1182	__attribute__((noinline))
1183	int func147(uint8_t a1) {
1184	char v = ~a1;
1185	if ( v > 1 )
1186	return 0;
1187	return 1;
1188	}
1189
1190	__attribute__((noinline))
1191	int func148(uint8_t a1) {
1192	char v = a1 >> 5;
1193	if ( v > 27 )
1194	return 0;
1195	return 1;
1196	}
1197
1198	__attribute__((noinline))
1199	int func149(uint8_t a1) {
1200	char v = ~a1;
1201	if ( v > 1 )
1202	return 0;
1203	return 1;
1204	}
1205
1206	__attribute__((noinline))
1207	int func150(uint8_t a1, uint8_t a2) {
1208	char v = a1 | a2;
1209	if ( v > 122 )
1210	return 0;
1211	return 1;
1212	}
1213
1214	__attribute__((noinline))
1215	int func151(uint8_t a1, uint8_t a2) {
1216	char v = (a1 ^ a2);
1217	if ( v <= 3 )
1218	return 0;
1219	return 1;
1220	}
1221
1222	__attribute__((noinline))
1223	int func152(uint8_t a1, uint8_t a2) {
1224	char v = (a1 & a2);
1225	if ( v <= 56 )
1226	return 0;
1227	return 1;
1228	}
1229
1230	__attribute__((noinline))
1231	int func153(uint8_t a1) {
1232	char v = 16 * a1;
1233	if ( v <= 3 )
1234	return 0;
1235	return 1;
1236	}
1237
1238	__attribute__((noinline))
1239	int func154(uint8_t a1, uint8_t a2) {
1240	char v = (a1 ^ a2);
1241	if ( v > 43 )
1242	return 0;
1243	return 1;
1244	}
1245
1246	__attribute__((noinline))
1247	int func155(uint8_t a1, uint8_t a2) {
1248	char v = (a1 ^ a2);
1249	if ( v <= 16 )
1250	return 0;
1251	return 1;
1252	}
1253
1254	__attribute__((noinline))
1255	int func156(uint8_t a1) {
1256	char v = ~a1;
1257	if ( v > 1 )
1258	return 0;
1259	return 1;
1260	}
1261
1262	__attribute__((noinline))
1263	int func157(uint8_t a1) {
1264	char v = ~a1;
1265	if ( v > 1 )
1266	return 0;
1267	return 1;
1268	}
1269
1270	__attribute__((noinline))
1271	int func158(uint8_t a1) {
1272	char v = ~a1;
1273	if ( v > 1 )
1274	return 0;
1275	return 1;
1276	}
1277
1278	__attribute__((noinline))
1279	int func159(uint8_t a1) {
1280	char v = a1 >> 5;
1281	if ( v > 88 )
1282	return 0;
1283	return 1;
1284	}
1285
1286	__attribute__((noinline))
1287	int func160(uint8_t a1) {
1288	char v = ~a1;
1289	if ( v > 33 )
1290	return 0;
1291	return 1;
1292	}
1293
1294	__attribute__((noinline))
1295	int func161(uint8_t a1, uint8_t a2) {
1296	char v = (a1 ^ a2);
1297	if ( v > 46 )
1298	return 0;
1299	return 1;
1300	}
1301
1302	__attribute__((noinline))
1303	int func162(uint8_t a1) {
1304	char v = ~a1;
1305	if ( v > 1 )
1306	return 0;
1307	return 1;
1308	}
1309
1310	__attribute__((noinline))
1311	int func163(uint8_t a1, uint8_t a2, uint8_t a3) {
1312	char v = ((a1 & a2)) | a3;
1313	if ( v <= 9 )
1314	return 0;
1315	return 1;
1316	}
1317
1318	__attribute__((noinline))
1319	int func164(uint8_t a1, uint8_t a2) {
1320	char v = (a1 ^ a2);
1321	if ( v > 96 )
1322	return 0;
1323	return 1;
1324	}
1325
1326	__attribute__((noinline))
1327	int func165(uint8_t a1) {
1328	char v = ~a1;
1329	if ( v > 1 )
1330	return 0;
1331	return 1;
1332	}
1333
1334	__attribute__((noinline))
1335	int func166(uint8_t a1) {
1336	char v = ~a1;
1337	if ( v > 1 )
1338	return 0;
1339	return 1;
1340	}
1341
1342	__attribute__((noinline))
1343	int func167(uint8_t a1) {
1344	char v = a1 >> 5;
1345	if ( v > 91 )
1346	return 0;
1347	return 1;
1348	}
1349
1350	__attribute__((noinline))
1351	int func168(uint8_t a1) {
1352	char v = ~a1;
1353	if ( v > 1 )
1354	return 0;
1355	return 1;
1356	}
1357
1358	__attribute__((noinline))
1359	int func169(uint8_t a1, uint8_t a2) {
1360	char v = a1 | a2;
1361	if ( v <= 32 )
1362	return 0;
1363	return 1;
1364	}
1365
1366	__attribute__((noinline))
1367	int func170(uint8_t a1, uint8_t a2) {
1368	char v = (a1 & a2);
1369	if ( v <= 32 )
1370	return 0;
1371	return 1;
1372	}
1373
1374	__attribute__((noinline))
1375	int func171(uint8_t a1) {
1376	char v = ~a1;
1377	if ( v > 1 )
1378	return 0;
1379	return 1;
1380	}
1381
1382	__attribute__((noinline))
1383	int func172(uint8_t a1) {
1384	char v = ~a1;
1385	if ( v > 1 )
1386	return 0;
1387	return 1;
1388	}
1389
1390	__attribute__((noinline))
1391	int func173(uint8_t a1) {
1392	char v = ~a1;
1393	if ( v > 1 )
1394	return 0;
1395	return 1;
1396	}
1397
1398	__attribute__((noinline))
1399	int func174(uint8_t a1, uint8_t a2) {
1400	char v = a1 | a2;
1401	if ( v <= 90 )
1402	return 0;
1403	return 1;
1404	}
1405
1406	__attribute__((noinline))
1407	int func175(uint8_t a1, uint8_t a2) {
1408	char v = (a1 ^ a2);
1409	if ( v > 32 )
1410	return 0;
1411	return 1;
1412	}
1413
1414	__attribute__((noinline))
1415	int func176(uint8_t a1) {
1416	char v = 16 * a1;
1417	if ( v <= 61 )
1418	return 0;
1419	return 1;
1420	}
1421
1422	__attribute__((noinline))
1423	int func177(uint8_t a1, uint8_t a2) {
1424	char v = (a1 ^ a2);
1425	if ( v <= 33 )
1426	return 0;
1427	return 1;
1428	}
1429
1430	__attribute__((noinline))
1431	int func178(uint8_t a1) {
1432	char v = a1 >> 5;
1433	if ( v > 16 )
1434	return 0;
1435	return 1;
1436	}
1437
1438	__attribute__((noinline))
1439	int func179(uint8_t a1) {
1440	char v = ~a1;
1441	if ( v > 64 )
1442	return 0;
1443	return 1;
1444	}
1445
1446	__attribute__((noinline))
1447	int func180(uint8_t a1, uint8_t a2) {
1448	char v = a1 | a2;
1449	if ( v <= 95 )
1450	return 0;
1451	return 1;
1452	}
1453
1454	__attribute__((noinline))
1455	int func181(uint8_t a1, uint8_t a2) {
1456	char v = (a1 ^ a2);
1457	if ( v > 48 )
1458	return 0;
1459	return 1;
1460	}
1461
1462	__attribute__((noinline))
1463	int func182(uint8_t a1, uint8_t a2) {
1464	char v = (a1 & a2);
1465	if ( v > 113 )
1466	return 0;
1467	return 1;
1468	}
1469
1470	__attribute__((noinline))
1471	int func183(uint8_t a1, uint8_t a2) {
1472	char v = (a1 ^ a2);
1473	if ( v <= 41 )
1474	return 0;
1475	return 1;
1476	}
1477
1478	__attribute__((noinline))
1479	int func184(uint8_t a1) {
1480	char v = 16 * a1;
1481	if ( v <= 63 )
1482	return 0;
1483	return 1;
1484	}
1485
1486	__attribute__((noinline))
1487	int func185(uint8_t a1) {
1488	char v = ~a1;
1489	if ( v > 1 )
1490	return 0;
1491	return 1;
1492	}
1493
1494	__attribute__((noinline))
1495	int func186(uint8_t a1, uint8_t a2) {
1496	char v = (a1 & a2);
1497	if ( v <= 94 )
1498	return 0;
1499	return 1;
1500	}
1501
1502	__attribute__((noinline))
1503	int func187(uint8_t a1, uint8_t a2) {
1504	char v = (a1 ^ a2);
1505	if ( v > 43 )
1506	return 0;
1507	return 1;
1508	}
1509
1510	__attribute__((noinline))
1511	int func188(uint8_t a1) {
1512	char v = (char)a1 >> 1;
1513	if ( v <= 57 )
1514	return 0;
1515	return 1;
1516	}
1517
1518	__attribute__((noinline))
1519	int func189(uint8_t a1) {
1520	char v = ~a1;
1521	if ( v > 1 )
1522	return 0;
1523	return 1;
1524	}
1525
1526	__attribute__((noinline))
1527	int func190(uint8_t a1, uint8_t a2) {
1528	char v = (a1 & a2);
1529	if ( v > 103 )
1530	return 0;
1531	return 1;
1532	}
1533
1534	__attribute__((noinline))
1535	int func191(uint8_t a1) {
1536	char v = (char)a1 >> 1;
1537	if ( v > 92 )
1538	return 0;
1539	return 1;
1540	}
1541
1542	__attribute__((noinline))
1543	int func192(uint8_t a1) {
1544	char v = ~a1;
1545	if ( v > 1 )
1546	return 0;
1547	return 1;
1548	}
1549
1550	__attribute__((noinline))
1551	int func193(uint8_t a1, uint8_t a2, uint8_t a3) {
1552	char v = ((a1 & a2)) | a3;
1553	if ( v <= 16 )
1554	return 0;
1555	return 1;
1556	}
1557
1558	__attribute__((noinline))
1559	int func194(uint8_t a1, uint8_t a2) {
1560	char v = a1 | a2;
1561	if ( v <= 20 )
1562	return 0;
1563	return 1;
1564	}
1565
1566	__attribute__((noinline))
1567	int func195(uint8_t a1, uint8_t a2) {
1568	char v = (a1 ^ a2);
1569	if ( v > 82 )
1570	return 0;
1571	return 1;
1572	}
1573
1574	__attribute__((noinline))
1575	int func196(uint8_t a1, uint8_t a2) {
1576	char v = a1 | a2;
1577	if ( v > 117 )
1578	return 0;
1579	return 1;
1580	}
1581
1582	__attribute__((noinline))
1583	int func197(uint8_t a1, uint8_t a2) {
1584	char v = (a1 & a2);
1585	if ( v <= 50 )
1586	return 0;
1587	return 1;
1588	}
1589
1590	__attribute__((noinline))
1591	int func198(uint8_t a1, uint8_t a2) {
1592	char v = (a1 ^ a2);
1593	if ( v > 118 )
1594	return 0;
1595	return 1;
1596	}
1597
1598	__attribute__((noinline))
1599	int func199(uint8_t a1, uint8_t a2) {
1600	char v = (a1 ^ a2);
1601	if ( v == 127 )
1602	return 0;
1603	return 1;
1604	}
1605
1606	__attribute__((noinline))
1607	int func200(uint8_t a1) {
1608	char v = ~a1;
1609	if ( v > 1 )
1610	return 0;
1611	return 1;
1612	}
1613
1614	__attribute__((noinline))
1615	int func201(uint8_t a1, uint8_t a2) {
1616	char v = (a1 & a2);
1617	if ( v <= 67 )
1618	return 0;
1619	return 1;
1620	}
1621
1622	__attribute__((noinline))
1623	int func202(uint8_t a1, uint8_t a2) {
1624	char v = (a1 & a2);
1625	if ( v <= 56 )
1626	return 0;
1627	return 1;
1628	}
1629
1630	__attribute__((noinline))
1631	int func203(uint8_t a1) {
1632	char v = (char)a1 >> 1;
1633	if ( v > 95 )
1634	return 0;
1635	return 1;
1636	}
1637
1638	__attribute__((noinline))
1639	int func204(uint8_t a1) {
1640	char v = ~a1;
1641	if ( v > 1 )
1642	return 0;
1643	return 1;
1644	}
1645
1646	__attribute__((noinline))
1647	int func205(uint8_t a1, uint8_t a2, uint8_t a3) {
1648	char v = ((a1 ^ a2)) | a3;
1649	if ( v > 95 )
1650	return 0;
1651	return 1;
1652	}
1653
1654	__attribute__((noinline))
1655	int func206(uint8_t a1, uint8_t a2) {
1656	char v = (a1 & a2);
1657	if ( v <= 78 )
1658	return 0;
1659	return 1;
1660	}
1661
1662	__attribute__((noinline))
1663	int func207(uint8_t a1) {
1664	char v = (char)a1 >> 1;
1665	if ( v <= 7 )
1666	return 0;
1667	return 1;
1668	}
1669
1670	__attribute__((noinline))
1671	int func208(uint8_t a1) {
1672	char v = a1 >> 5;
1673	if ( v > 123 )
1674	return 0;
1675	return 1;
1676	}
1677
1678	__attribute__((noinline))
1679	int func209(uint8_t a1) {
1680	char v = ~a1;
1681	if ( v > 1 )
1682	return 0;
1683	return 1;
1684	}
1685
1686	__attribute__((noinline))
1687	int func210(uint8_t a1, uint8_t a2) {
1688	char v = a1 | a2;
1689	if ( v <= 101 )
1690	return 0;
1691	return 1;
1692	}
1693
1694	__attribute__((noinline))
1695	int func211(uint8_t a1, uint8_t a2) {
1696	char v = (a1 & a2);
1697	if ( v <= 61 )
1698	return 0;
1699	return 1;
1700	}
1701
1702	__attribute__((noinline))
1703	int func212(uint8_t a1) {
1704	char v = 16 * a1;
1705	if ( v <= 73 )
1706	return 0;
1707	return 1;
1708	}
1709
1710	__attribute__((noinline))
1711	int func213(uint8_t a1, uint8_t a2) {
1712	char v = (a1 ^ a2);
1713	if ( v <= 34 )
1714	return 0;
1715	return 1;
1716	}
1717
1718	__attribute__((noinline))
1719	int func214(uint8_t a1) {
1720	char v = ~a1;
1721	if ( v > 1 )
1722	return 0;
1723	return 1;
1724	}
1725
1726	__attribute__((noinline))
1727	int func215(uint8_t a1, uint8_t a2) {
1728	char v = (a1 & a2);
1729	if ( v <= 5 )
1730	return 0;
1731	return 1;
1732	}
1733
1734	__attribute__((noinline))
1735	int func216(uint8_t a1) {
1736	char v = ~a1;
1737	if ( v > 85 )
1738	return 0;
1739	return 1;
1740	}
1741
1742	__attribute__((noinline))
1743	int func217(uint8_t a1, uint8_t a2) {
1744	char v = (a1 & a2);
1745	if ( v > 113 )
1746	return 0;
1747	return 1;
1748	}
1749
1750	__attribute__((noinline))
1751	int func218(uint8_t a1) {
1752	char v = (char)a1 >> 1;
1753	if ( v > 61 )
1754	return 0;
1755	return 1;
1756	}
1757
1758	__attribute__((noinline))
1759	int func219(uint8_t a1) {
1760	char v = (char)a1 >> 1;
1761	if ( v > 90 )
1762	return 0;
1763	return 1;
1764	}
1765
1766	__attribute__((noinline))
1767	int func220(uint8_t a1) {
1768	char v = a1 >> 5;
1769	if ( v > 106 )
1770	return 0;
1771	return 1;
1772	}
1773
1774	__attribute__((noinline))
1775	int func221(uint8_t a1) {
1776	char v = ~a1;
1777	if ( v > 1 )
1778	return 0;
1779	return 1;
1780	}
1781
1782	__attribute__((noinline))
1783	int func222(uint8_t a1, uint8_t a2) {
1784	char v = (a1 ^ a2);
1785	if ( v > 84 )
1786	return 0;
1787	return 1;
1788	}
1789
1790	__attribute__((noinline))
1791	int func223(uint8_t a1, uint8_t a2) {
1792	char v = (a1 & a2);
1793	if ( v > 81 )
1794	return 0;
1795	return 1;
1796	}
1797
1798	__attribute__((noinline))
1799	int func224(uint8_t a1) {
1800	char v = ~a1;
1801	if ( v > 1 )
1802	return 0;
1803	return 1;
1804	}
1805
1806	__attribute__((noinline))
1807	int func225(uint8_t a1) {
1808	char v = a1 >> 5;
1809	if ( v > 49 )
1810	return 0;
1811	return 1;
1812	}
1813
1814	__attribute__((noinline))
1815	int func226(uint8_t a1) {
1816	char v = ~a1;
1817	if ( v > 1 )
1818	return 0;
1819	return 1;
1820	}
1821
1822	__attribute__((noinline))
1823	int func227(uint8_t a1, uint8_t a2) {
1824	char v = (a1 ^ a2);
1825	if ( v > 66 )
1826	return 0;
1827	return 1;
1828	}
1829
1830	__attribute__((noinline))
1831	int func228(uint8_t a1, uint8_t a2) {
1832	char v = (a1 & a2);
1833	if ( v > 81 )
1834	return 0;
1835	return 1;
1836	}
1837
1838	__attribute__((noinline))
1839	int func229(uint8_t a1, uint8_t a2) {
1840	char v = (a1 & a2);
1841	if ( v > 41 )
1842	return 0;
1843	return 1;
1844	}
1845
1846	__attribute__((noinline))
1847	int func230(uint8_t a1, uint8_t a2) {
1848	char v = (a1 ^ a2);
1849	if ( v > 82 )
1850	return 0;
1851	return 1;
1852	}
1853
1854	__attribute__((noinline))
1855	int func231(uint8_t a1, uint8_t a2) {
1856	char v = (a1 & a2);
1857	if ( v > 84 )
1858	return 0;
1859	return 1;
1860	}
1861
1862	__attribute__((noinline))
1863	int func232(uint8_t a1, uint8_t a2) {
1864	char v = (a1 & a2);
1865	if ( v <= 34 )
1866	return 0;
1867	return 1;
1868	}
1869
1870	__attribute__((noinline))
1871	int func233(uint8_t a1, uint8_t a2) {
1872	char v = (a1 & a2);
1873	if ( v > 66 )
1874	return 0;
1875	return 1;
1876	}
1877
1878	__attribute__((noinline))
1879	int func234(uint8_t a1, uint8_t a2) {
1880	char v = (a1 & a2);
1881	if ( v > 90 )
1882	return 0;
1883	return 1;
1884	}
1885
1886	__attribute__((noinline))
1887	int func235(uint8_t a1, uint8_t a2) {
1888	char v = (a1 & a2);
1889	if ( v > 73 )
1890	return 0;
1891	return 1;
1892	}
1893
1894	__attribute__((noinline))
1895	int func236(uint8_t a1, uint8_t a2) {
1896	char v = (a1 & a2);
1897	if ( v <= 12 )
1898	return 0;
1899	return 1;
1900	}
1901
1902	__attribute__((noinline))
1903	int func237(uint8_t a1, uint8_t a2) {
1904	char v = (a1 ^ a2);
1905	if ( v <= 9 )
1906	return 0;
1907	return 1;
1908	}
1909
1910	__attribute__((noinline))
1911	int func238(uint8_t a1, uint8_t a2) {
1912	char v = (a1 ^ a2);
1913	if ( v <= 42 )
1914	return 0;
1915	return 1;
1916	}
1917
1918	__attribute__((noinline))
1919	int func239(uint8_t a1, uint8_t a2) {
1920	char v = (a1 ^ a2);
1921	if ( v > 44 )
1922	return 0;
1923	return 1;
1924	}
1925
1926	__attribute__((noinline))
1927	int func240(uint8_t a1, uint8_t a2) {
1928	char v = (a1 & a2);
1929	if ( v <= 14 )
1930	return 0;
1931	return 1;
1932	}
1933
1934	__attribute__((noinline))
1935	int func241(uint8_t a1, uint8_t a2) {
1936	char v = (a1 & a2);
1937	if ( v <= 16 )
1938	return 0;
1939	return 1;
1940	}
1941
1942	__attribute__((noinline))
1943	int func242(uint8_t a1, uint8_t a2) {
1944	char v = (a1 & a2);
1945	if ( v > 74 )
1946	return 0;
1947	return 1;
1948	}
1949
1950	__attribute__((noinline))
1951	int func243(uint8_t a1, uint8_t a2) {
1952	char v = (a1 ^ a2);
1953	if ( v > 102 )
1954	return 0;
1955	return 1;
1956	}
1957
1958	__attribute__((noinline))
1959	int func244(uint8_t a1) {
1960	char v = 4 * a1;
1961	if ( v <= 16 )
1962	return 0;
1963	return 1;
1964	}
1965
1966	__attribute__((noinline))
1967	int func245(uint8_t a1, uint8_t a2) {
1968	char v = a1 | a2;
1969	if ( v <= 87 )
1970	return 0;
1971	return 1;
1972	}
1973
1974	__attribute__((noinline))
1975	int func246(uint8_t a1, uint8_t a2) {
1976	char v = (a1 ^ a2);
1977	if ( v > 29 )
1978	return 0;
1979	return 1;
1980	}
1981
1982	__attribute__((noinline))
1983	int func247(uint8_t a1, uint8_t a2) {
1984	char v = (a1 & a2);
1985	if ( v > 51 )
1986	return 0;
1987	return 1;
1988	}
1989
1990	__attribute__((noinline))
1991	int func248(uint8_t a1, uint8_t a2) {
1992	char v = (a1 ^ a2);
1993	if ( v > 74 )
1994	return 0;
1995	return 1;
1996	}
1997
1998	__attribute__((noinline))
1999	int func249(uint8_t a1) {
2000	char v = 4 * a1;
2001	if ( v <= 103 )
2002	return 0;
2003	return 1;
2004	}
2005
2006	__attribute__((noinline))
2007	int func250(uint8_t a1, uint8_t a2) {
2008	char v = a1 | a2;
2009	if ( v <= 56 )
2010	return 0;
2011	return 1;
2012	}
2013
2014	__attribute__((noinline))
2015	int func251(uint8_t a1, uint8_t a2) {
2016	char v = (a1 ^ a2);
2017	if ( v <= 11 )
2018	return 0;
2019	return 1;
2020	}
2021
2022	__attribute__((noinline))
2023	int func252(uint8_t a1, uint8_t a2) {
2024	char v = (a1 & a2);
2025	if ( v <= 16 )
2026	return 0;
2027	return 1;
2028	}
2029
2030	__attribute__((noinline))
2031	int func253(uint8_t a1, uint8_t a2) {
2032	char v = (a1 & a2);
2033	if ( v <= 22 )
2034	return 0;
2035	return 1;
2036	}
2037
2038	__attribute__((noinline))
2039	int func254(uint8_t a1, uint8_t a2, uint8_t a3) {
2040	char v = ((a1 & a2)) | a3;
2041	if ( v > 122 )
2042	return 0;
2043	return 1;
2044	}
2045
2046	__attribute__((noinline))
2047	int func255(uint8_t a1, uint8_t a2) {
2048	char v = (a1 ^ a2);
2049	if ( v > 74 )
2050	return 0;
2051	return 1;
2052	}
2053
2054	__attribute__((noinline))
2055	int func256(uint8_t a1) {
2056	char v = 4 * a1;
2057	if ( v <= 16 )
2058	return 0;
2059	return 1;
2060	}
2061
2062	__attribute__((noinline))
2063	int func257(uint8_t a1, uint8_t a2) {
2064	char v = (a1 ^ a2);
2065	if ( v > 67 )
2066	return 0;
2067	return 1;
2068	}
2069
2070	__attribute__((noinline))
2071	int func258(uint8_t a1, uint8_t a2) {
2072	char v = (a1 & a2);
2073	if ( v > 102 )
2074	return 0;
2075	return 1;
2076	}
2077
2078	__attribute__((noinline))
2079	int func259(uint8_t a1, uint8_t a2) {
2080	char v = (a1 ^ a2);
2081	if ( v > 74 )
2082	return 0;
2083	return 1;
2084	}
2085
2086	__attribute__((noinline))
2087	int func260(uint8_t a1, uint8_t a2) {
2088	char v = a1 | a2;
2089	if ( v <= 27 )
2090	return 0;
2091	return 1;
2092	}
2093
2094	__attribute__((noinline))
2095	int func261(uint8_t a1) {
2096	char v = 4 * a1;
2097	if ( v <= 58 )
2098	return 0;
2099	return 1;
2100	}
2101
2102	__attribute__((noinline))
2103	int func262(uint8_t a1) {
2104	char v = 4 * a1;
2105	if ( v <= 77 )
2106	return 0;
2107	return 1;
2108	}
2109
2110	__attribute__((noinline))
2111	int func263(uint8_t a1, uint8_t a2) {
2112	char v = a1 | a2;
2113	if ( v <= 3 )
2114	return 0;
2115	return 1;
2116	}
2117
2118	__attribute__((noinline))
2119	int func264(uint8_t a1, uint8_t a2) {
2120	char v = (a1 & a2);
2121	if ( v <= 13 )
2122	return 0;
2123	return 1;
2124	}
2125
2126	__attribute__((noinline))
2127	int func265(uint8_t a1, uint8_t a2) {
2128	char v = (a1 ^ a2);
2129	if ( v > 47 )
2130	return 0;
2131	return 1;
2132	}
2133
2134	__attribute__((noinline))
2135	int func266(uint8_t a1, uint8_t a2) {
2136	char v = (a1 & a2);
2137	if ( v <= 39 )
2138	return 0;
2139	return 1;
2140	}
2141
2142	__attribute__((noinline))
2143	int func267(uint8_t a1, uint8_t a2) {
2144	char v = a1 | a2;
2145	if ( v == 127 )
2146	return 0;
2147	return 1;
2148	}
2149
2150	__attribute__((noinline))
2151	int func268(uint8_t a1, uint8_t a2) {
2152	char v = a1 | a2;
2153	if ( v <= 66 )
2154	return 0;
2155	return 1;
2156	}
2157
2158	__attribute__((noinline))
2159	int func269(uint8_t a1, uint8_t a2) {
2160	char v = (a1 & a2);
2161	if ( v <= 47 )
2162	return 0;
2163	return 1;
2164	}
2165
2166	__attribute__((noinline))
2167	int func270(uint8_t a1, uint8_t a2) {
2168	char v = (a1 & a2);
2169	if ( v > 63 )
2170	return 0;
2171	return 1;
2172	}
2173
2174	__attribute__((noinline))
2175	int func271(uint8_t a1, uint8_t a2) {
2176	char v = (a1 & a2);
2177	if ( v > 122 )
2178	return 0;
2179	return 1;
2180	}
2181
2182	__attribute__((noinline))
2183	int func272(uint8_t a1) {
2184	char v = 4 * a1;
2185	if ( v <= 65 )
2186	return 0;
2187	return 1;
2188	}
2189
2190	__attribute__((noinline))
2191	int func273(uint8_t a1, uint8_t a2) {
2192	char v = (a1 & a2);
2193	if ( v > 120 )
2194	return 0;
2195	return 1;
2196	}
2197
2198	__attribute__((noinline))
2199	int func274(uint8_t a1) {
2200	char v = 4 * a1;
2201	if ( v <= 83 )
2202	return 0;
2203	return 1;
2204	}
2205
2206	__attribute__((noinline))
2207	int func275(uint8_t a1, uint8_t a2) {
2208	char v = a1 | a2;
2209	if ( v <= 99 )
2210	return 0;
2211	return 1;
2212	}
2213
2214	__attribute__((noinline))
2215	int func276(uint8_t a1) {
2216	char v = ~a1;
2217	if ( v > 1 )
2218	return 0;
2219	return 1;
2220	}
2221
2222	__attribute__((noinline))
2223	int func277(uint8_t a1) {
2224	char v = a1 >> 5;
2225	if ( v > 42 )
2226	return 0;
2227	return 1;
2228	}
2229
2230	__attribute__((noinline))
2231	int func278(uint8_t a1) {
2232	char v = ~a1;
2233	if ( v > 1 )
2234	return 0;
2235	return 1;
2236	}
2237
2238	__attribute__((noinline))
2239	int func279(uint8_t a1, uint8_t a2) {
2240	char v = (a1 ^ a2);
2241	if ( v > 110 )
2242	return 0;
2243	return 1;
2244	}
2245
2246	__attribute__((noinline))
2247	int func280(uint8_t a1) {
2248	char v = 4 * a1;
2249	if ( v <= 92 )
2250	return 0;
2251	return 1;
2252	}
2253
2254	__attribute__((noinline))
2255	int func281(uint8_t a1, uint8_t a2) {
2256	char v = a1 | a2;
2257	if ( v <= 59 )
2258	return 0;
2259	return 1;
2260	}
2261
2262	__attribute__((noinline))
2263	int func282(uint8_t a1, uint8_t a2) {
2264	char v = a1 | a2;
2265	if ( v <= 1 )
2266	return 0;
2267	return 1;
2268	}
2269
2270	__attribute__((noinline))
2271	int func283(uint8_t a1) {
2272	char v = ~a1;
2273	if ( v > 1 )
2274	return 0;
2275	return 1;
2276	}
2277
2278	__attribute__((noinline))
2279	int func284(uint8_t a1) {
2280	char v = ~a1;
2281	if ( v > 1 )
2282	return 0;
2283	return 1;
2284	}
2285
2286	__attribute__((noinline))
2287	int func285(uint8_t a1) {
2288	char v = ~a1;
2289	if ( v > 17 )
2290	return 0;
2291	return 1;
2292	}
2293
2294	__attribute__((noinline))
2295	int func286(uint8_t a1) {
2296	char v = ~a1;
2297	if ( v > 1 )
2298	return 0;
2299	return 1;
2300	}
2301
2302	__attribute__((noinline))
2303	int func287(uint8_t a1, uint8_t a2) {
2304	char v = a1 | a2;
2305	if ( v <= 78 )
2306	return 0;
2307	return 1;
2308	}
2309
2310	__attribute__((noinline))
2311	int func288(uint8_t a1, uint8_t a2) {
2312	char v = (a1 ^ a2);
2313	if ( v > 47 )
2314	return 0;
2315	return 1;
2316	}
2317
2318	__attribute__((noinline))
2319	int func289(uint8_t a1, uint8_t a2) {
2320	char v = (a1 & a2);
2321	if ( v <= 90 )
2322	return 0;
2323	return 1;
2324	}
2325
2326	__attribute__((noinline))
2327	int func290(uint8_t a1) {
2328	char v = 16 * a1;
2329	if ( v <= 78 )
2330	return 0;
2331	return 1;
2332	}
2333
2334	__attribute__((noinline))
2335	int func291(uint8_t a1, uint8_t a2) {
2336	char v = (a1 ^ a2);
2337	if ( v <= 30 )
2338	return 0;
2339	return 1;
2340	}
2341
2342	__attribute__((noinline))
2343	int func292(uint8_t a1) {
2344	char v = ~a1;
2345	if ( v > 1 )
2346	return 0;
2347	return 1;
2348	}
2349
2350	__attribute__((noinline))
2351	int func293(uint8_t a1) {
2352	char v = ~a1;
2353	if ( v > 1 )
2354	return 0;
2355	return 1;
2356	}
2357
2358	__attribute__((noinline))
2359	int func294(uint8_t a1) {
2360	char v = ~a1;
2361	if ( v > 1 )
2362	return 0;
2363	return 1;
2364	}
2365
2366	__attribute__((noinline))
2367	int func295(uint8_t a1, uint8_t a2) {
2368	char v = a1 | a2;
2369	if ( v <= 17 )
2370	return 0;
2371	return 1;
2372	}
2373
2374	__attribute__((noinline))
2375	int func296(uint8_t a1, uint8_t a2) {
2376	char v = (a1 ^ a2);
2377	if ( v > 86 )
2378	return 0;
2379	return 1;
2380	}
2381
2382	__attribute__((noinline))
2383	int func297(uint8_t a1, uint8_t a2) {
2384	char v = (a1 & a2);
2385	if ( v > 120 )
2386	return 0;
2387	return 1;
2388	}
2389
2390	__attribute__((noinline))
2391	int func298(uint8_t a1) {
2392	char v = 16 * a1;
2393	if ( v <= 46 )
2394	return 0;
2395	return 1;
2396	}
2397
2398	__attribute__((noinline))
2399	int func299(uint8_t a1, uint8_t a2) {
2400	char v = (a1 ^ a2);
2401	if ( v > 63 )
2402	return 0;
2403	return 1;
2404	}
2405
2406	__attribute__((noinline))
2407	int func300(uint8_t a1, uint8_t a2) {
2408	char v = (a1 ^ a2);
2409	if ( v <= 5 )
2410	return 0;
2411	return 1;
2412	}
2413
2414	__attribute__((noinline))
2415	int func301(uint8_t a1) {
2416	char v = ~a1;
2417	if ( v > 17 )
2418	return 0;
2419	return 1;
2420	}
2421
2422	__attribute__((noinline))
2423	int func302(uint8_t a1) {
2424	char v = ~a1;
2425	if ( v > 113 )
2426	return 0;
2427	return 1;
2428	}
2429
2430	__attribute__((noinline))
2431	int func303(uint8_t a1) {
2432	char v = ~a1;
2433	if ( v > 1 )
2434	return 0;
2435	return 1;
2436	}
2437
2438	__attribute__((noinline))
2439	int func304(uint8_t a1, uint8_t a2) {
2440	char v = a1 | a2;
2441	if ( v <= 73 )
2442	return 0;
2443	return 1;
2444	}
2445
2446	__attribute__((noinline))
2447	int func305(uint8_t a1, uint8_t a2) {
2448	char v = (a1 ^ a2);
2449	if ( v > 60 )
2450	return 0;
2451	return 1;
2452	}
2453
2454	__attribute__((noinline))
2455	int func306(uint8_t a1, uint8_t a2) {
2456	char v = (a1 & a2);
2457	if ( v > 119 )
2458	return 0;
2459	return 1;
2460	}
2461
2462	__attribute__((noinline))
2463	int func307(uint8_t a1) {
2464	char v = ~a1;
2465	if ( v > 21 )
2466	return 0;
2467	return 1;
2468	}
2469
2470	__attribute__((noinline))
2471	int func308(uint8_t a1) {
2472	char v = ~a1;
2473	if ( v > 107 )
2474	return 0;
2475	return 1;
2476	}
2477
2478	__attribute__((noinline))
2479	int func309(uint8_t a1, uint8_t a2) {
2480	char v = (a1 ^ a2);
2481	if ( v > 44 )
2482	return 0;
2483	return 1;
2484	}
2485
2486	__attribute__((noinline))
2487	int func310(uint8_t a1, uint8_t a2) {
2488	char v = (a1 & a2);
2489	if ( v <= 57 )
2490	return 0;
2491	return 1;
2492	}
2493
2494	__attribute__((noinline))
2495	int func311(uint8_t a1, uint8_t a2) {
2496	char v = (a1 ^ a2);
2497	if ( v > 59 )
2498	return 0;
2499	return 1;
2500	}
2501
2502	__attribute__((noinline))
2503	int func312(uint8_t a1) {
2504	char v = ~a1;
2505	if ( v > 1 )
2506	return 0;
2507	return 1;
2508	}
2509
2510	__attribute__((noinline))
2511	int func313(uint8_t a1) {
2512	char v = ~a1;
2513	if ( v > 1 )
2514	return 0;
2515	return 1;
2516	}
2517
2518	__attribute__((noinline))
2519	int func314(uint8_t a1) {
2520	char v = a1 >> 5;
2521	if ( v > 58 )
2522	return 0;
2523	return 1;
2524	}
2525
2526	__attribute__((noinline))
2527	int func315(uint8_t a1) {
2528	char v = ~a1;
2529	if ( v > 1 )
2530	return 0;
2531	return 1;
2532	}
2533
2534	__attribute__((noinline))
2535	int func316(uint8_t a1, uint8_t a2) {
2536	char v = a1 | a2;
2537	if ( v <= 101 )
2538	return 0;
2539	return 1;
2540	}
2541
2542	__attribute__((noinline))
2543	int func317(uint8_t a1, uint8_t a2) {
2544	char v = (a1 & a2);
2545	if ( v <= 99 )
2546	return 0;
2547	return 1;
2548	}
2549
2550	__attribute__((noinline))
2551	int func318(uint8_t a1) {
2552	char v = 16 * a1;
2553	if ( v <= 78 )
2554	return 0;
2555	return 1;
2556	}
2557
2558	__attribute__((noinline))
2559	int func319(uint8_t a1, uint8_t a2) {
2560	char v = (a1 ^ a2);
2561	if ( v > 16 )
2562	return 0;
2563	return 1;
2564	}
2565
2566	__attribute__((noinline))
2567	int func320(uint8_t a1) {
2568	char v = ~a1;
2569	if ( v > 10 )
2570	return 0;
2571	return 1;
2572	}
2573
2574	__attribute__((noinline))
2575	int func321(uint8_t a1) {
2576	char v = ~a1;
2577	if ( v > 1 )
2578	return 0;
2579	return 1;
2580	}
2581
2582	__attribute__((noinline))
2583	int func322(uint8_t a1) {
2584	char v = a1 >> 5;
2585	if ( v > 3 )
2586	return 0;
2587	return 1;
2588	}
2589
2590	__attribute__((noinline))
2591	int func323(uint8_t a1) {
2592	char v = ~a1;
2593	if ( v > 1 )
2594	return 0;
2595	return 1;
2596	}
2597
2598	__attribute__((noinline))
2599	int func324(uint8_t a1, uint8_t a2) {
2600	char v = a1 | a2;
2601	if ( v > 118 )
2602	return 0;
2603	return 1;
2604	}
2605
2606	__attribute__((noinline))
2607	int func325(uint8_t a1, uint8_t a2) {
2608	char v = (a1 ^ a2);
2609	if ( v <= 1 )
2610	return 0;
2611	return 1;
2612	}
2613
2614	__attribute__((noinline))
2615	int func326(uint8_t a1) {
2616	char v = 16 * a1;
2617	if ( v <= 0 )
2618	return 0;
2619	return 1;
2620	}
2621
2622	__attribute__((noinline))
2623	int func327(uint8_t a1, uint8_t a2) {
2624	char v = (a1 ^ a2);
2625	if ( v > 101 )
2626	return 0;
2627	return 1;
2628	}
2629
2630	__attribute__((noinline))
2631	int func328(uint8_t a1) {
2632	char v = a1 >> 5;
2633	if ( v > 18 )
2634	return 0;
2635	return 1;
2636	}
2637
2638	__attribute__((noinline))
2639	int func329(uint8_t a1) {
2640	char v = ~a1;
2641	if ( v > 1 )
2642	return 0;
2643	return 1;
2644	}
2645
2646	__attribute__((noinline))
2647	int func330(uint8_t a1, uint8_t a2) {
2648	char v = a1 | a2;
2649	if ( v <= 0 )
2650	return 0;
2651	return 1;
2652	}
2653
2654	__attribute__((noinline))
2655	int func331(uint8_t a1, uint8_t a2) {
2656	char v = (a1 ^ a2);
2657	if ( v > 67 )
2658	return 0;
2659	return 1;
2660	}
2661
2662	__attribute__((noinline))
2663	int func332(uint8_t a1, uint8_t a2) {
2664	char v = (a1 & a2);
2665	if ( v > 103 )
2666	return 0;
2667	return 1;
2668	}
2669
2670	__attribute__((noinline))
2671	int func333(uint8_t a1) {
2672	char v = 16 * a1;
2673	if ( v > 1 )
2674	return 0;
2675	return 1;
2676	}
2677
2678	__attribute__((noinline))
2679	int func334(uint8_t a1, uint8_t a2) {
2680	char v = (a1 ^ a2);
2681	if ( v <= 38 )
2682	return 0;
2683	return 1;
2684	}
2685
2686	__attribute__((noinline))
2687	int func335(uint8_t a1) {
2688	char v = ~a1;
2689	if ( v > 1 )
2690	return 0;
2691	return 1;
2692	}
2693
2694	__attribute__((noinline))
2695	int func336(uint8_t a1, uint8_t a2) {
2696	char v = (a1 & a2);
2697	if ( v <= 94 )
2698	return 0;
2699	return 1;
2700	}
2701
2702	__attribute__((noinline))
2703	int func337(uint8_t a1) {
2704	char v = (char)a1 >> 1;
2705	if ( v > 63 )
2706	return 0;
2707	return 1;
2708	}
2709
2710	__attribute__((noinline))
2711	int func338(uint8_t a1) {
2712	char v = ~a1;
2713	if ( v > 1 )
2714	return 0;
2715	return 1;
2716	}
2717
2718	__attribute__((noinline))
2719	int func339(uint8_t a1) {
2720	char v = (char)a1 >> 1;
2721	if ( v <= 47 )
2722	return 0;
2723	return 1;
2724	}
2725
2726	__attribute__((noinline))
2727	int func340(uint8_t a1) {
2728	char v = a1 >> 5;
2729	if ( v <= 0 )
2730	return 0;
2731	return 1;
2732	}
2733
2734	__attribute__((noinline))
2735	int func341(uint8_t a1) {
2736	char v = ~a1;
2737	if ( v > 1 )
2738	return 0;
2739	return 1;
2740	}
2741
2742	__attribute__((noinline))
2743	int func342(uint8_t a1, uint8_t a2) {
2744	char v = a1 | a2;
2745	if ( v > 118 )
2746	return 0;
2747	return 1;
2748	}
2749
2750	__attribute__((noinline))
2751	int func343(uint8_t a1, uint8_t a2) {
2752	char v = (a1 ^ a2);
2753	if ( v > 58 )
2754	return 0;
2755	return 1;
2756	}
2757
2758	__attribute__((noinline))
2759	int func344(uint8_t a1, uint8_t a2) {
2760	char v = (a1 & a2);
2761	if ( v <= 91 )
2762	return 0;
2763	return 1;
2764	}
2765
2766	__attribute__((noinline))
2767	int func345(uint8_t a1) {
2768	char v = 16 * a1;
2769	if ( v <= 72 )
2770	return 0;
2771	return 1;
2772	}
2773
2774	__attribute__((noinline))
2775	int func346(uint8_t a1, uint8_t a2) {
2776	char v = (a1 ^ a2);
2777	if ( v > 63 )
2778	return 0;
2779	return 1;
2780	}
2781
2782	__attribute__((noinline))
2783	int func347(uint8_t a1) {
2784	char v = ~a1;
2785	if ( v > 1 )
2786	return 0;
2787	return 1;
2788	}
2789
2790	__attribute__((noinline))
2791	int func348(uint8_t a1, uint8_t a2) {
2792	char v = (a1 & a2);
2793	if ( v <= 94 )
2794	return 0;
2795	return 1;
2796	}
2797
2798	__attribute__((noinline))
2799	int func349(uint8_t a1) {
2800	char v = (char)a1 >> 1;
2801	if ( v <= 57 )
2802	return 0;
2803	return 1;
2804	}
2805
2806	__attribute__((noinline))
2807	int func350(uint8_t a1) {
2808	char v = ~a1;
2809	if ( v > 1 )
2810	return 0;
2811	return 1;
2812	}
2813
2814	__attribute__((noinline))
2815	int func351(uint8_t a1, uint8_t a2) {
2816	char v = (a1 & a2);
2817	if ( v > 99 )
2818	return 0;
2819	return 1;
2820	}
2821
2822	__attribute__((noinline))
2823	int func352(uint8_t a1) {
2824	char v = (char)a1 >> 1;
2825	if ( v > 63 )
2826	return 0;
2827	return 1;
2828	}
2829
2830	__attribute__((noinline))
2831	int func353(uint8_t a1) {
2832	char v = a1 >> 5;
2833	if ( v > 81 )
2834	return 0;
2835	return 1;
2836	}
2837
2838	__attribute__((noinline))
2839	int func354(uint8_t a1) {
2840	char v = ~a1;
2841	if ( v > 1 )
2842	return 0;
2843	return 1;
2844	}
2845
2846	__attribute__((noinline))
2847	int func355(uint8_t a1, uint8_t a2) {
2848	char v = a1 | a2;
2849	if ( v > 118 )
2850	return 0;
2851	return 1;
2852	}
2853
2854	__attribute__((noinline))
2855	int func356(uint8_t a1, uint8_t a2) {
2856	char v = (a1 ^ a2);
2857	if ( v > 1 )
2858	return 0;
2859	return 1;
2860	}
2861
2862	__attribute__((noinline))
2863	int func357(uint8_t a1, uint8_t a2) {
2864	char v = (a1 & a2);
2865	if ( v <= 72 )
2866	return 0;
2867	return 1;
2868	}
2869
2870	__attribute__((noinline))
2871	int func358(uint8_t a1) {
2872	char v = 16 * a1;
2873	if ( v > 1 )
2874	return 0;
2875	return 1;
2876	}
2877
2878	__attribute__((noinline))
2879	int func359(uint8_t a1, uint8_t a2) {
2880	char v = (a1 ^ a2);
2881	if ( v > 110 )
2882	return 0;
2883	return 1;
2884	}
2885
2886	__attribute__((noinline))
2887	int func360(uint8_t a1) {
2888	char v = ~a1;
2889	if ( v > 1 )
2890	return 0;
2891	return 1;
2892	}
2893
2894	__attribute__((noinline))
2895	int func361(uint8_t a1, uint8_t a2) {
2896	char v = (a1 & a2);
2897	if ( v <= 68 )
2898	return 0;
2899	return 1;
2900	}
2901
2902	__attribute__((noinline))
2903	int func362(uint8_t a1) {
2904	char v = (char)a1 >> 1;
2905	if ( v > 91 )
2906	return 0;
2907	return 1;
2908	}
2909
2910	__attribute__((noinline))
2911	int func363(uint8_t a1) {
2912	char v = ~a1;
2913	if ( v > 1 )
2914	return 0;
2915	return 1;
2916	}
2917
2918	__attribute__((noinline))
2919	int func364(uint8_t a1, uint8_t a2) {
2920	char v = (a1 & a2);
2921	if ( v > 99 )
2922	return 0;
2923	return 1;
2924	}
2925
2926	__attribute__((noinline))
2927	int func365(uint8_t a1) {
2928	char v = (char)a1 >> 1;
2929	if ( v <= 40 )
2930	return 0;
2931	return 1;
2932	}
2933
2934	__attribute__((noinline))
2935	int func366(uint8_t a1) {
2936	char v = (char)a1 >> 1;
2937	if ( v <= 31 )
2938	return 0;
2939	return 1;
2940	}
2941
2942	__attribute__((noinline))
2943	int func367(uint8_t a1) {
2944	char v = ~a1;
2945	if ( v > 1 )
2946	return 0;
2947	return 1;
2948	}
2949
2950	__attribute__((noinline))
2951	int func368(uint8_t a1) {
2952	char v = a1 >> 5;
2953	if ( v > 96 )
2954	return 0;
2955	return 1;
2956	}
2957
2958	__attribute__((noinline))
2959	int func369(uint8_t a1) {
2960	char v = ~a1;
2961	if ( v > 1 )
2962	return 0;
2963	return 1;
2964	}
2965
2966	__attribute__((noinline))
2967	int func370(uint8_t a1, uint8_t a2) {
2968	char v = (a1 ^ a2);
2969	if ( v > 42 )
2970	return 0;
2971	return 1;
2972	}
2973
2974	__attribute__((noinline))
2975	int func371(uint8_t a1, uint8_t a2) {
2976	char v = (a1 & a2);
2977	if ( v > 118 )
2978	return 0;
2979	return 1;
2980	}
2981
2982	__attribute__((noinline))
2983	int func372(uint8_t a1) {
2984	char v = (char)a1 >> 1;
2985	if ( v > 94 )
2986	return 0;
2987	return 1;
2988	}
2989
2990	__attribute__((noinline))
2991	int func373(uint8_t a1) {
2992	char v = ~a1;
2993	if ( v > 1 )
2994	return 0;
2995	return 1;
2996	}
2997
2998	__attribute__((noinline))
2999	int func374(uint8_t a1) {
3000	char v = ~a1;
3001	if ( v > 1 )
3002	return 0;
3003	return 1;
3004	}
3005
3006	__attribute__((noinline))
3007	int func375(uint8_t a1, uint8_t a2) {
3008	char v = (a1 ^ a2);
3009	if ( v > 64 )
3010	return 0;
3011	return 1;
3012	}
3013
3014	__attribute__((noinline))
3015	int func376(uint8_t a1, uint8_t a2) {
3016	char v = (a1 & a2);
3017	if ( v > 110 )
3018	return 0;
3019	return 1;
3020	}
3021
3022	__attribute__((noinline))
3023	int func377(uint8_t a1) {
3024	char v = 4 * a1;
3025	if ( v <= 104 )
3026	return 0;
3027	return 1;
3028	}
3029
3030	__attribute__((noinline))
3031	int func378(uint8_t a1, uint8_t a2) {
3032	char v = a1 | a2;
3033	if ( v > 112 )
3034	return 0;
3035	return 1;
3036	}
3037
3038	__attribute__((noinline))
3039	int func379(uint8_t a1, uint8_t a2) {
3040	char v = (a1 & a2);
3041	if ( v <= 62 )
3042	return 0;
3043	return 1;
3044	}
3045
3046	__attribute__((noinline))
3047	int func380(uint8_t a1, uint8_t a2) {
3048	char v = (a1 & a2);
3049	if ( v > 48 )
3050	return 0;
3051	return 1;
3052	}
3053
3054	__attribute__((noinline))
3055	int func381(uint8_t a1, uint8_t a2) {
3056	char v = (a1 ^ a2);
3057	if ( v > 58 )
3058	return 0;
3059	return 1;
3060	}
3061
3062	__attribute__((noinline))
3063	int func382(uint8_t a1) {
3064	char v = 4 * a1;
3065	if ( v <= 104 )
3066	return 0;
3067	return 1;
3068	}
3069
3070	__attribute__((noinline))
3071	int func383(uint8_t a1, uint8_t a2) {
3072	char v = a1 | a2;
3073	if ( v <= 50 )
3074	return 0;
3075	return 1;
3076	}
3077
3078	__attribute__((noinline))
3079	int func384(uint8_t a1, uint8_t a2) {
3080	char v = (a1 & a2);
3081	if ( v <= 38 )
3082	return 0;
3083	return 1;
3084	}
3085
3086	__attribute__((noinline))
3087	int func385(uint8_t a1, uint8_t a2) {
3088	char v = (a1 & a2);
3089	if ( v > 85 )
3090	return 0;
3091	return 1;
3092	}
3093
3094	__attribute__((noinline))
3095	int func386(uint8_t a1, uint8_t a2) {
3096	char v = (a1 ^ a2);
3097	if ( v <= 18 )
3098	return 0;
3099	return 1;
3100	}
3101
3102	__attribute__((noinline))
3103	int func387(uint8_t a1) {
3104	char v = 4 * a1;
3105	if ( v <= 97 )
3106	return 0;
3107	return 1;
3108	}
3109
3110	__attribute__((noinline))
3111	int func388(uint8_t a1, uint8_t a2) {
3112	char v = a1 | a2;
3113	if ( v <= 94 )
3114	return 0;
3115	return 1;
3116	}
3117
3118	__attribute__((noinline))
3119	int func389(uint8_t a1, uint8_t a2) {
3120	char v = (a1 & a2);
3121	if ( v <= 26 )
3122	return 0;
3123	return 1;
3124	}
3125
3126	__attribute__((noinline))
3127	int func390(uint8_t a1, uint8_t a2) {
3128	char v = (a1 ^ a2);
3129	if ( v > 67 )
3130	return 0;
3131	return 1;
3132	}
3133
3134	__attribute__((noinline))
3135	int func391(uint8_t a1) {
3136	char v = 4 * a1;
3137	if ( v <= 103 )
3138	return 0;
3139	return 1;
3140	}
3141
3142	__attribute__((noinline))
3143	int func392(uint8_t a1, uint8_t a2) {
3144	char v = (a1 & a2);
3145	if ( v > 50 )
3146	return 0;
3147	return 1;
3148	}
3149
3150	__attribute__((noinline))
3151	int func393(uint8_t a1, uint8_t a2) {
3152	char v = (a1 ^ a2);
3153	if ( v <= 22 )
3154	return 0;
3155	return 1;
3156	}
3157
3158	__attribute__((noinline))
3159	int func394(uint8_t a1) {
3160	char v = 4 * a1;
3161	if ( v <= 103 )
3162	return 0;
3163	return 1;
3164	}
3165
3166	__attribute__((noinline))
3167	int func395(uint8_t a1, uint8_t a2) {
3168	char v = a1 | a2;
3169	if ( v <= 38 )
3170	return 0;
3171	return 1;
3172	}
3173
3174	__attribute__((noinline))
3175	int func396(uint8_t a1, uint8_t a2) {
3176	char v = (a1 & a2);
3177	if ( v <= 52 )
3178	return 0;
3179	return 1;
3180	}
3181
3182	__attribute__((noinline))
3183	int func397(uint8_t a1, uint8_t a2) {
3184	char v = (a1 & a2);
3185	if ( v <= 17 )
3186	return 0;
3187	return 1;
3188	}
3189
3190	__attribute__((noinline))
3191	int func398(uint8_t a1) {
3192	char v = 4 * a1;
3193	if ( v > 1 )
3194	return 0;
3195	return 1;
3196	}
3197
3198	__attribute__((noinline))
3199	int func399(uint8_t a1, uint8_t a2) {
3200	char v = a1 | a2;
3201	if ( v <= 92 )
3202	return 0;
3203	return 1;
3204	}
3205
3206	__attribute__((noinline))
3207	int func400(uint8_t a1, uint8_t a2) {
3208	char v = (a1 & a2);
3209	if ( v <= 55 )
3210	return 0;
3211	return 1;
3212	}
3213
3214	__attribute__((noinline))
3215	int func401(uint8_t a1, uint8_t a2) {
3216	char v = (a1 ^ a2);
3217	if ( v > 81 )
3218	return 0;
3219	return 1;
3220	}
3221
3222	__attribute__((noinline))
3223	int func402(uint8_t a1) {
3224	char v = 4 * a1;
3225	if ( v > 1 )
3226	return 0;
3227	return 1;
3228	}
3229
3230	__attribute__((noinline))
3231	int func403(uint8_t a1, uint8_t a2) {
3232	char v = a1 | a2;
3233	if ( v <= 94 )
3234	return 0;
3235	return 1;
3236	}
3237
3238	__attribute__((noinline))
3239	int func404(uint8_t a1) {
3240	char v = ~a1;
3241	if ( v > 1 )
3242	return 0;
3243	return 1;
3244	}
3245
3246	__attribute__((noinline))
3247	int func405(uint8_t a1) {
3248	char v = ~a1;
3249	if ( v > 1 )
3250	return 0;
3251	return 1;
3252	}
3253
3254	__attribute__((noinline))
3255	int func406(uint8_t a1, uint8_t a2) {
3256	char v = (a1 ^ a2);
3257	if ( v > 101 )
3258	return 0;
3259	return 1;
3260	}
3261
3262	__attribute__((noinline))
3263	int func407(uint8_t a1) {
3264	char v = 4 * a1;
3265	if ( v > 1 )
3266	return 0;
3267	return 1;
3268	}
3269
3270	__attribute__((noinline))
3271	int func408(uint8_t a1, uint8_t a2) {
3272	char v = a1 | a2;
3273	if ( v <= 44 )
3274	return 0;
3275	return 1;
3276	}
3277
3278	__attribute__((noinline))
3279	int func409(uint8_t a1) {
3280	char v = ~a1;
3281	if ( v > 1 )
3282	return 0;
3283	return 1;
3284	}
3285
3286	__attribute__((noinline))
3287	int func410(uint8_t a1) {
3288	char v = ~a1;
3289	if ( v > 1 )
3290	return 0;
3291	return 1;
3292	}
3293
3294	int api(const uint8_t *data, size_t size) {
3295	if (size != 20) return 0;
3296
3297	if (func1(a1: data[0], a2: data[1]) == 0)
3298	return 0;
3299	if (func2(a1: data[0], a2: data[1]) == 0)
3300	return 0;
3301	if (func3(a1: data[18], a2: data[1]) == 0)
3302	return 0;
3303	if (func4(a1: data[7], a2: data[4], a3: data[0]) == 0)
3304	return 0;
3305	if (func5(a1: data[0], a2: data[2]) == 0)
3306	return 0;
3307	if (func6(a1: data[11], a2: data[17]) == 0)
3308	return 0;
3309	if (func7(a1: data[0], a2: data[13]) == 0)
3310	return 0;
3311	if (func8(a1: data[13], a2: data[10]) == 0)
3312	return 0;
3313	if (func9(a1: data[11], a2: data[16]) == 0)
3314	return 0;
3315	if (func10(a1: data[10], a2: data[8]) == 0)
3316	return 0;
3317	if (func11(a1: data[19], a2: data[5]) == 0)
3318	return 0;
3319	if (func12(a1: data[0], a2: data[1]) == 0)
3320	return 0;
3321	if (func13(a1: data[17], a2: data[3]) == 0)
3322	return 0;
3323	if (func14(a1: data[14]) == 0)
3324	return 0;
3325	if (func15(a1: data[13], a2: data[15]) == 0)
3326	return 0;
3327	if (func16(a1: data[0]) == 0)
3328	return 0;
3329	if (func17(a1: data[19]) == 0)
3330	return 0;
3331	if (func18(a1: data[1], a2: data[11]) == 0)
3332	return 0;
3333	if (func19(a1: data[12], a2: data[15]) == 0)
3334	return 0;
3335	if (func20(a1: data[13], a2: data[1]) == 0)
3336	return 0;
3337	if (func21(a1: data[10], a2: data[19], a3: data[12]) == 0)
3338	return 0;
3339	if (func22(a1: data[6]) == 0)
3340	return 0;
3341	if (func23(a1: data[1], a2: data[9]) == 0)
3342	return 0;
3343	if (func24(a1: data[16]) == 0)
3344	return 0;
3345	if (func25(a1: data[6]) == 0)
3346	return 0;
3347	if (func26(a1: data[4], a2: data[12]) == 0)
3348	return 0;
3349	if (func27(a1: data[16]) == 0)
3350	return 0;
3351	if (func28(a1: data[14]) == 0)
3352	return 0;
3353	if (func29(a1: data[0]) == 0)
3354	return 0;
3355	if (func30(a1: data[19]) == 0)
3356	return 0;
3357	if (func31(a1: data[0], a2: data[1]) == 0)
3358	return 0;
3359	if (func32(a1: data[0], a2: data[1]) == 0)
3360	return 0;
3361	if (func33(a1: data[14]) == 0)
3362	return 0;
3363	if (func34(a1: data[0], a2: data[19]) == 0)
3364	return 0;
3365	if (func35(a1: data[0]) == 0)
3366	return 0;
3367	if (func36(a1: data[16], a2: data[7]) == 0)
3368	return 0;
3369	if (func37(a1: data[19]) == 0)
3370	return 0;
3371	if (func38(a1: data[15], a2: data[3]) == 0)
3372	return 0;
3373	if (func39(a1: data[19], a2: data[15]) == 0)
3374	return 0;
3375	if (func40(a1: data[0], a2: data[1]) == 0)
3376	return 0;
3377	if (func41(a1: data[18], a2: data[1]) == 0)
3378	return 0;
3379	if (func42(a1: data[16], a2: data[5], a3: data[1]) == 0)
3380	return 0;
3381	if (func43(a1: data[14]) == 0)
3382	return 0;
3383	if (func44(a1: data[0]) == 0)
3384	return 0;
3385	if (func45(a1: data[19]) == 0)
3386	return 0;
3387	if (func46(a1: data[4], a2: data[19]) == 0)
3388	return 0;
3389	if (func47(a1: data[8], a2: data[7]) == 0)
3390	return 0;
3391	if (func48(a1: data[6], a2: data[7]) == 0)
3392	return 0;
3393	if (func49(a1: data[18], a2: data[1]) == 0)
3394	return 0;
3395	if (func50(a1: data[2], a2: data[8]) == 0)
3396	return 0;
3397	if (func51(a1: data[2], a2: data[13]) == 0)
3398	return 0;
3399	if (func52(a1: data[3], a2: data[8]) == 0)
3400	return 0;
3401	if (func53(a1: data[16], a2: data[18]) == 0)
3402	return 0;
3403	if (func54(a1: data[10], a2: data[9]) == 0)
3404	return 0;
3405	if (func55(a1: data[18], a2: data[1]) == 0)
3406	return 0;
3407	if (func56(a1: data[0], a2: data[1]) == 0)
3408	return 0;
3409	if (func57(a1: data[16], a2: data[1]) == 0)
3410	return 0;
3411	if (func58(a1: data[18], a2: data[1]) == 0)
3412	return 0;
3413	if (func59(a1: data[18], a2: data[3]) == 0)
3414	return 0;
3415	if (func60(a1: data[9], a2: data[1]) == 0)
3416	return 0;
3417	if (func61(a1: data[0], a2: data[1]) == 0)
3418	return 0;
3419	if (func62(a1: data[13], a2: data[1]) == 0)
3420	return 0;
3421	if (func63(a1: data[18], a2: data[1]) == 0)
3422	return 0;
3423	if (func64(a1: data[0], a2: data[1]) == 0)
3424	return 0;
3425	if (func65(a1: data[0], a2: data[1]) == 0)
3426	return 0;
3427	if (func66(a1: data[11], a2: data[14]) == 0)
3428	return 0;
3429	if (func67(a1: data[5], a2: data[11]) == 0)
3430	return 0;
3431	if (func68(a1: data[18], a2: data[1]) == 0)
3432	return 0;
3433	if (func69(a1: data[0], a2: data[6]) == 0)
3434	return 0;
3435	if (func70(a1: data[2]) == 0)
3436	return 0;
3437	if (func71(a1: data[0], a2: data[1]) == 0)
3438	return 0;
3439	if (func72(a1: data[9], a2: data[10]) == 0)
3440	return 0;
3441	if (func73(a1: data[10], a2: data[8]) == 0)
3442	return 0;
3443	if (func74(a1: data[19], a2: data[17]) == 0)
3444	return 0;
3445	if (func75(a1: data[0], a2: data[17], a3: data[8]) == 0)
3446	return 0;
3447	if (func76(a1: data[17], a2: data[18]) == 0)
3448	return 0;
3449	if (func77(a1: data[18], a2: data[9]) == 0)
3450	return 0;
3451	if (func78(a1: data[3], a2: data[6]) == 0)
3452	return 0;
3453	if (func79(a1: data[16]) == 0)
3454	return 0;
3455	if (func80(a1: data[7], a2: data[3], a3: data[17]) == 0)
3456	return 0;
3457	if (func81(a1: data[0], a2: data[1]) == 0)
3458	return 0;
3459	if (func82(a1: data[10], a2: data[18]) == 0)
3460	return 0;
3461	if (func83(a1: data[6], a2: data[7]) == 0)
3462	return 0;
3463	if (func84(a1: data[0], a2: data[6]) == 0)
3464	return 0;
3465	if (func85(a1: data[12]) == 0)
3466	return 0;
3467	if (func86(a1: data[0], a2: data[1]) == 0)
3468	return 0;
3469	if (func87(a1: data[6], a2: data[1]) == 0)
3470	return 0;
3471	if (func88(a1: data[18], a2: data[1]) == 0)
3472	return 0;
3473	if (func89(a1: data[0], a2: data[6]) == 0)
3474	return 0;
3475	if (func90(a1: data[0], a2: data[1]) == 0)
3476	return 0;
3477	if (func91(a1: data[18], a2: data[1]) == 0)
3478	return 0;
3479	if (func92(a1: data[0], a2: data[6]) == 0)
3480	return 0;
3481	if (func93(a1: data[13], a2: data[10]) == 0)
3482	return 0;
3483	if (func94(a1: data[2]) == 0)
3484	return 0;
3485	if (func95(a1: data[0], a2: data[1]) == 0)
3486	return 0;
3487	if (func96(a1: data[0], a2: data[11]) == 0)
3488	return 0;
3489	if (func97(a1: data[18], a2: data[1]) == 0)
3490	return 0;
3491	if (func98(a1: data[0], a2: data[6]) == 0)
3492	return 0;
3493	if (func99(a1: data[0], a2: data[19]) == 0)
3494	return 0;
3495	if (func100(a1: data[14], a2: data[18], a3: data[3]) == 0)
3496	return 0;
3497	if (func101(a1: data[14]) == 0)
3498	return 0;
3499	if (func102(a1: data[6], a2: data[1]) == 0)
3500	return 0;
3501	if (func103(a1: data[5], a2: data[1]) == 0)
3502	return 0;
3503	if (func104(a1: data[14], a2: data[3], a3: data[10]) == 0)
3504	return 0;
3505	if (func105(a1: data[18], a2: data[1]) == 0)
3506	return 0;
3507	if (func106(a1: data[0], a2: data[6]) == 0)
3508	return 0;
3509	if (func107(a1: data[6]) == 0)
3510	return 0;
3511	if (func108(a1: data[9], a2: data[10]) == 0)
3512	return 0;
3513	if (func109(a1: data[7]) == 0)
3514	return 0;
3515	if (func110(a1: data[9], a2: data[17]) == 0)
3516	return 0;
3517	if (func111(a1: data[16], a2: data[15], a3: data[18]) == 0)
3518	return 0;
3519	if (func112(a1: data[0], a2: data[16]) == 0)
3520	return 0;
3521	if (func113(a1: data[18], a2: data[3]) == 0)
3522	return 0;
3523	if (func114(a1: data[3]) == 0)
3524	return 0;
3525	if (func115(a1: data[0], a2: data[1]) == 0)
3526	return 0;
3527	if (func116(a1: data[14]) == 0)
3528	return 0;
3529	if (func117(a1: data[0]) == 0)
3530	return 0;
3531	if (func118(a1: data[19]) == 0)
3532	return 0;
3533	if (func119(a1: data[0], a2: data[6]) == 0)
3534	return 0;
3535	if (func120(a1: data[9], a2: data[5], a3: data[0]) == 0)
3536	return 0;
3537	if (func121(a1: data[0], a2: data[1]) == 0)
3538	return 0;
3539	if (func122(a1: data[12], a2: data[4]) == 0)
3540	return 0;
3541	if (func123(a1: data[14]) == 0)
3542	return 0;
3543	if (func124(a1: data[0]) == 0)
3544	return 0;
3545	if (func125(a1: data[19]) == 0)
3546	return 0;
3547	if (func126(a1: data[14]) == 0)
3548	return 0;
3549	if (func127(a1: data[1], a2: data[9]) == 0)
3550	return 0;
3551	if (func128(a1: data[19]) == 0)
3552	return 0;
3553	if (func129(a1: data[11], a2: data[14]) == 0)
3554	return 0;
3555	if (func130(a1: data[11], a2: data[9]) == 0)
3556	return 0;
3557	if (func131(a1: data[12], a2: data[15]) == 0)
3558	return 0;
3559	if (func132(a1: data[0], a2: data[2]) == 0)
3560	return 0;
3561	if (func133(a1: data[13], a2: data[1]) == 0)
3562	return 0;
3563	if (func134(a1: data[7]) == 0)
3564	return 0;
3565	if (func135(a1: data[13], a2: data[5]) == 0)
3566	return 0;
3567	if (func136(a1: data[12], a2: data[14]) == 0)
3568	return 0;
3569	if (func137(a1: data[9], a2: data[4]) == 0)
3570	return 0;
3571	if (func138(a1: data[6]) == 0)
3572	return 0;
3573	if (func139(a1: data[14]) == 0)
3574	return 0;
3575	if (func140(a1: data[0]) == 0)
3576	return 0;
3577	if (func141(a1: data[19]) == 0)
3578	return 0;
3579	if (func142(a1: data[11], a2: data[9]) == 0)
3580	return 0;
3581	if (func143(a1: data[12], a2: data[15]) == 0)
3582	return 0;
3583	if (func144(a1: data[7]) == 0)
3584	return 0;
3585	if (func145(a1: data[19], a2: data[7]) == 0)
3586	return 0;
3587	if (func146(a1: data[4], a2: data[6]) == 0)
3588	return 0;
3589	if (func147(a1: data[6]) == 0)
3590	return 0;
3591	if (func148(a1: data[0]) == 0)
3592	return 0;
3593	if (func149(a1: data[19]) == 0)
3594	return 0;
3595	if (func150(a1: data[11], a2: data[9]) == 0)
3596	return 0;
3597	if (func151(a1: data[12], a2: data[15]) == 0)
3598	return 0;
3599	if (func152(a1: data[13], a2: data[1]) == 0)
3600	return 0;
3601	if (func153(a1: data[7]) == 0)
3602	return 0;
3603	if (func154(a1: data[2], a2: data[8]) == 0)
3604	return 0;
3605	if (func155(a1: data[13], a2: data[5]) == 0)
3606	return 0;
3607	if (func156(a1: data[6]) == 0)
3608	return 0;
3609	if (func157(a1: data[6]) == 0)
3610	return 0;
3611	if (func158(a1: data[14]) == 0)
3612	return 0;
3613	if (func159(a1: data[0]) == 0)
3614	return 0;
3615	if (func160(a1: data[19]) == 0)
3616	return 0;
3617	if (func161(a1: data[12], a2: data[15]) == 0)
3618	return 0;
3619	if (func162(a1: data[5]) == 0)
3620	return 0;
3621	if (func163(a1: data[6], a2: data[7], a3: data[3]) == 0)
3622	return 0;
3623	if (func164(a1: data[13], a2: data[5]) == 0)
3624	return 0;
3625	if (func165(a1: data[6]) == 0)
3626	return 0;
3627	if (func166(a1: data[14]) == 0)
3628	return 0;
3629	if (func167(a1: data[0]) == 0)
3630	return 0;
3631	if (func168(a1: data[19]) == 0)
3632	return 0;
3633	if (func169(a1: data[11], a2: data[9]) == 0)
3634	return 0;
3635	if (func170(a1: data[9], a2: data[11]) == 0)
3636	return 0;
3637	if (func171(a1: data[6]) == 0)
3638	return 0;
3639	if (func172(a1: data[14]) == 0)
3640	return 0;
3641	if (func173(a1: data[19]) == 0)
3642	return 0;
3643	if (func174(a1: data[11], a2: data[9]) == 0)
3644	return 0;
3645	if (func175(a1: data[12], a2: data[15]) == 0)
3646	return 0;
3647	if (func176(a1: data[7]) == 0)
3648	return 0;
3649	if (func177(a1: data[13], a2: data[5]) == 0)
3650	return 0;
3651	if (func178(a1: data[0]) == 0)
3652	return 0;
3653	if (func179(a1: data[19]) == 0)
3654	return 0;
3655	if (func180(a1: data[11], a2: data[9]) == 0)
3656	return 0;
3657	if (func181(a1: data[12], a2: data[15]) == 0)
3658	return 0;
3659	if (func182(a1: data[13], a2: data[1]) == 0)
3660	return 0;
3661	if (func183(a1: data[7], a2: data[17]) == 0)
3662	return 0;
3663	if (func184(a1: data[7]) == 0)
3664	return 0;
3665	if (func185(a1: data[6]) == 0)
3666	return 0;
3667	if (func186(a1: data[4], a2: data[12]) == 0)
3668	return 0;
3669	if (func187(a1: data[2], a2: data[8]) == 0)
3670	return 0;
3671	if (func188(a1: data[16]) == 0)
3672	return 0;
3673	if (func189(a1: data[6]) == 0)
3674	return 0;
3675	if (func190(a1: data[4], a2: data[12]) == 0)
3676	return 0;
3677	if (func191(a1: data[16]) == 0)
3678	return 0;
3679	if (func192(a1: data[19]) == 0)
3680	return 0;
3681	if (func193(a1: data[19], a2: data[4], a3: data[2]) == 0)
3682	return 0;
3683	if (func194(a1: data[11], a2: data[9]) == 0)
3684	return 0;
3685	if (func195(a1: data[12], a2: data[15]) == 0)
3686	return 0;
3687	if (func196(a1: data[13], a2: data[15]) == 0)
3688	return 0;
3689	if (func197(a1: data[13], a2: data[1]) == 0)
3690	return 0;
3691	if (func198(a1: data[19], a2: data[5]) == 0)
3692	return 0;
3693	if (func199(a1: data[13], a2: data[5]) == 0)
3694	return 0;
3695	if (func200(a1: data[6]) == 0)
3696	return 0;
3697	if (func201(a1: data[4], a2: data[12]) == 0)
3698	return 0;
3699	if (func202(a1: data[5], a2: data[17]) == 0)
3700	return 0;
3701	if (func203(a1: data[16]) == 0)
3702	return 0;
3703	if (func204(a1: data[6]) == 0)
3704	return 0;
3705	if (func205(a1: data[7], a2: data[3], a3: data[17]) == 0)
3706	return 0;
3707	if (func206(a1: data[4], a2: data[12]) == 0)
3708	return 0;
3709	if (func207(a1: data[16]) == 0)
3710	return 0;
3711	if (func208(a1: data[0]) == 0)
3712	return 0;
3713	if (func209(a1: data[19]) == 0)
3714	return 0;
3715	if (func210(a1: data[11], a2: data[9]) == 0)
3716	return 0;
3717	if (func211(a1: data[13], a2: data[1]) == 0)
3718	return 0;
3719	if (func212(a1: data[7]) == 0)
3720	return 0;
3721	if (func213(a1: data[13], a2: data[5]) == 0)
3722	return 0;
3723	if (func214(a1: data[6]) == 0)
3724	return 0;
3725	if (func215(a1: data[4], a2: data[12]) == 0)
3726	return 0;
3727	if (func216(a1: data[6]) == 0)
3728	return 0;
3729	if (func217(a1: data[4], a2: data[12]) == 0)
3730	return 0;
3731	if (func218(a1: data[16]) == 0)
3732	return 0;
3733	if (func219(a1: data[16]) == 0)
3734	return 0;
3735	if (func220(a1: data[0]) == 0)
3736	return 0;
3737	if (func221(a1: data[19]) == 0)
3738	return 0;
3739	if (func222(a1: data[0], a2: data[1]) == 0)
3740	return 0;
3741	if (func223(a1: data[0], a2: data[1]) == 0)
3742	return 0;
3743	if (func224(a1: data[14]) == 0)
3744	return 0;
3745	if (func225(a1: data[0]) == 0)
3746	return 0;
3747	if (func226(a1: data[19]) == 0)
3748	return 0;
3749	if (func227(a1: data[0], a2: data[1]) == 0)
3750	return 0;
3751	if (func228(a1: data[0], a2: data[1]) == 0)
3752	return 0;
3753	if (func229(a1: data[18], a2: data[1]) == 0)
3754	return 0;
3755	if (func230(a1: data[0], a2: data[1]) == 0)
3756	return 0;
3757	if (func231(a1: data[17], a2: data[3]) == 0)
3758	return 0;
3759	if (func232(a1: data[0], a2: data[1]) == 0)
3760	return 0;
3761	if (func233(a1: data[18], a2: data[1]) == 0)
3762	return 0;
3763	if (func234(a1: data[0], a2: data[1]) == 0)
3764	return 0;
3765	if (func235(a1: data[18], a2: data[4]) == 0)
3766	return 0;
3767	if (func236(a1: data[18], a2: data[1]) == 0)
3768	return 0;
3769	if (func237(a1: data[0], a2: data[1]) == 0)
3770	return 0;
3771	if (func238(a1: data[2], a2: data[8]) == 0)
3772	return 0;
3773	if (func239(a1: data[13], a2: data[0]) == 0)
3774	return 0;
3775	if (func240(a1: data[0], a2: data[1]) == 0)
3776	return 0;
3777	if (func241(a1: data[0], a2: data[1]) == 0)
3778	return 0;
3779	if (func242(a1: data[18], a2: data[1]) == 0)
3780	return 0;
3781	if (func243(a1: data[0], a2: data[6]) == 0)
3782	return 0;
3783	if (func244(a1: data[2]) == 0)
3784	return 0;
3785	if (func245(a1: data[0], a2: data[1]) == 0)
3786	return 0;
3787	if (func246(a1: data[1], a2: data[11]) == 0)
3788	return 0;
3789	if (func247(a1: data[18], a2: data[1]) == 0)
3790	return 0;
3791	if (func248(a1: data[0], a2: data[6]) == 0)
3792	return 0;
3793	if (func249(a1: data[2]) == 0)
3794	return 0;
3795	if (func250(a1: data[0], a2: data[1]) == 0)
3796	return 0;
3797	if (func251(a1: data[4], a2: data[6]) == 0)
3798	return 0;
3799	if (func252(a1: data[0], a2: data[1]) == 0)
3800	return 0;
3801	if (func253(a1: data[18], a2: data[1]) == 0)
3802	return 0;
3803	if (func254(a1: data[16], a2: data[15], a3: data[18]) == 0)
3804	return 0;
3805	if (func255(a1: data[0], a2: data[6]) == 0)
3806	return 0;
3807	if (func256(a1: data[2]) == 0)
3808	return 0;
3809	if (func257(a1: data[16], a2: data[18]) == 0)
3810	return 0;
3811	if (func258(a1: data[0], a2: data[1]) == 0)
3812	return 0;
3813	if (func259(a1: data[0], a2: data[6]) == 0)
3814	return 0;
3815	if (func260(a1: data[9], a2: data[13]) == 0)
3816	return 0;
3817	if (func261(a1: data[2]) == 0)
3818	return 0;
3819	if (func262(a1: data[2]) == 0)
3820	return 0;
3821	if (func263(a1: data[0], a2: data[1]) == 0)
3822	return 0;
3823	if (func264(a1: data[0], a2: data[1]) == 0)
3824	return 0;
3825	if (func265(a1: data[0], a2: data[6]) == 0)
3826	return 0;
3827	if (func266(a1: data[7], a2: data[4]) == 0)
3828	return 0;
3829	if (func267(a1: data[16], a2: data[7]) == 0)
3830	return 0;
3831	if (func268(a1: data[0], a2: data[1]) == 0)
3832	return 0;
3833	if (func269(a1: data[0], a2: data[1]) == 0)
3834	return 0;
3835	if (func270(a1: data[18], a2: data[1]) == 0)
3836	return 0;
3837	if (func271(a1: data[13], a2: data[3]) == 0)
3838	return 0;
3839	if (func272(a1: data[2]) == 0)
3840	return 0;
3841	if (func273(a1: data[0], a2: data[1]) == 0)
3842	return 0;
3843	if (func274(a1: data[2]) == 0)
3844	return 0;
3845	if (func275(a1: data[0], a2: data[1]) == 0)
3846	return 0;
3847	if (func276(a1: data[14]) == 0)
3848	return 0;
3849	if (func277(a1: data[0]) == 0)
3850	return 0;
3851	if (func278(a1: data[19]) == 0)
3852	return 0;
3853	if (func279(a1: data[0], a2: data[6]) == 0)
3854	return 0;
3855	if (func280(a1: data[2]) == 0)
3856	return 0;
3857	if (func281(a1: data[0], a2: data[1]) == 0)
3858	return 0;
3859	if (func282(a1: data[8], a2: data[0]) == 0)
3860	return 0;
3861	if (func283(a1: data[14]) == 0)
3862	return 0;
3863	if (func284(a1: data[19]) == 0)
3864	return 0;
3865	if (func285(a1: data[14]) == 0)
3866	return 0;
3867	if (func286(a1: data[19]) == 0)
3868	return 0;
3869	if (func287(a1: data[11], a2: data[9]) == 0)
3870	return 0;
3871	if (func288(a1: data[12], a2: data[15]) == 0)
3872	return 0;
3873	if (func289(a1: data[13], a2: data[1]) == 0)
3874	return 0;
3875	if (func290(a1: data[7]) == 0)
3876	return 0;
3877	if (func291(a1: data[13], a2: data[5]) == 0)
3878	return 0;
3879	if (func292(a1: data[6]) == 0)
3880	return 0;
3881	if (func293(a1: data[14]) == 0)
3882	return 0;
3883	if (func294(a1: data[19]) == 0)
3884	return 0;
3885	if (func295(a1: data[11], a2: data[9]) == 0)
3886	return 0;
3887	if (func296(a1: data[12], a2: data[15]) == 0)
3888	return 0;
3889	if (func297(a1: data[12], a2: data[4]) == 0)
3890	return 0;
3891	if (func298(a1: data[7]) == 0)
3892	return 0;
3893	if (func299(a1: data[13], a2: data[5]) == 0)
3894	return 0;
3895	if (func300(a1: data[12], a2: data[14]) == 0)
3896	return 0;
3897	if (func301(a1: data[6]) == 0)
3898	return 0;
3899	if (func302(a1: data[14]) == 0)
3900	return 0;
3901	if (func303(a1: data[19]) == 0)
3902	return 0;
3903	if (func304(a1: data[11], a2: data[9]) == 0)
3904	return 0;
3905	if (func305(a1: data[12], a2: data[15]) == 0)
3906	return 0;
3907	if (func306(a1: data[13], a2: data[1]) == 0)
3908	return 0;
3909	if (func307(a1: data[6]) == 0)
3910	return 0;
3911	if (func308(a1: data[19]) == 0)
3912	return 0;
3913	if (func309(a1: data[12], a2: data[15]) == 0)
3914	return 0;
3915	if (func310(a1: data[13], a2: data[1]) == 0)
3916	return 0;
3917	if (func311(a1: data[13], a2: data[5]) == 0)
3918	return 0;
3919	if (func312(a1: data[6]) == 0)
3920	return 0;
3921	if (func313(a1: data[14]) == 0)
3922	return 0;
3923	if (func314(a1: data[0]) == 0)
3924	return 0;
3925	if (func315(a1: data[9]) == 0)
3926	return 0;
3927	if (func316(a1: data[11], a2: data[9]) == 0)
3928	return 0;
3929	if (func317(a1: data[13], a2: data[1]) == 0)
3930	return 0;
3931	if (func318(a1: data[7]) == 0)
3932	return 0;
3933	if (func319(a1: data[13], a2: data[4]) == 0)
3934	return 0;
3935	if (func320(a1: data[16]) == 0)
3936	return 0;
3937	if (func321(a1: data[4]) == 0)
3938	return 0;
3939	if (func322(a1: data[0]) == 0)
3940	return 0;
3941	if (func323(a1: data[19]) == 0)
3942	return 0;
3943	if (func324(a1: data[11], a2: data[9]) == 0)
3944	return 0;
3945	if (func325(a1: data[12], a2: data[15]) == 0)
3946	return 0;
3947	if (func326(a1: data[7]) == 0)
3948	return 0;
3949	if (func327(a1: data[13], a2: data[5]) == 0)
3950	return 0;
3951	if (func328(a1: data[0]) == 0)
3952	return 0;
3953	if (func329(a1: data[19]) == 0)
3954	return 0;
3955	if (func330(a1: data[11], a2: data[9]) == 0)
3956	return 0;
3957	if (func331(a1: data[12], a2: data[15]) == 0)
3958	return 0;
3959	if (func332(a1: data[13], a2: data[1]) == 0)
3960	return 0;
3961	if (func333(a1: data[4]) == 0)
3962	return 0;
3963	if (func334(a1: data[13], a2: data[5]) == 0)
3964	return 0;
3965	if (func335(a1: data[6]) == 0)
3966	return 0;
3967	if (func336(a1: data[4], a2: data[12]) == 0)
3968	return 0;
3969	if (func337(a1: data[16]) == 0)
3970	return 0;
3971	if (func338(a1: data[6]) == 0)
3972	return 0;
3973	if (func339(a1: data[16]) == 0)
3974	return 0;
3975	if (func340(a1: data[0]) == 0)
3976	return 0;
3977	if (func341(a1: data[19]) == 0)
3978	return 0;
3979	if (func342(a1: data[11], a2: data[9]) == 0)
3980	return 0;
3981	if (func343(a1: data[12], a2: data[15]) == 0)
3982	return 0;
3983	if (func344(a1: data[13], a2: data[1]) == 0)
3984	return 0;
3985	if (func345(a1: data[7]) == 0)
3986	return 0;
3987	if (func346(a1: data[13], a2: data[5]) == 0)
3988	return 0;
3989	if (func347(a1: data[6]) == 0)
3990	return 0;
3991	if (func348(a1: data[4], a2: data[12]) == 0)
3992	return 0;
3993	if (func349(a1: data[16]) == 0)
3994	return 0;
3995	if (func350(a1: data[6]) == 0)
3996	return 0;
3997	if (func351(a1: data[4], a2: data[12]) == 0)
3998	return 0;
3999	if (func352(a1: data[16]) == 0)
4000	return 0;
4001	if (func353(a1: data[0]) == 0)
4002	return 0;
4003	if (func354(a1: data[19]) == 0)
4004	return 0;
4005	if (func355(a1: data[11], a2: data[9]) == 0)
4006	return 0;
4007	if (func356(a1: data[8], a2: data[15]) == 0)
4008	return 0;
4009	if (func357(a1: data[7], a2: data[1]) == 0)
4010	return 0;
4011	if (func358(a1: data[17]) == 0)
4012	return 0;
4013	if (func359(a1: data[3], a2: data[5]) == 0)
4014	return 0;
4015	if (func360(a1: data[6]) == 0)
4016	return 0;
4017	if (func361(a1: data[4], a2: data[12]) == 0)
4018	return 0;
4019	if (func362(a1: data[16]) == 0)
4020	return 0;
4021	if (func363(a1: data[6]) == 0)
4022	return 0;
4023	if (func364(a1: data[4], a2: data[12]) == 0)
4024	return 0;
4025	if (func365(a1: data[16]) == 0)
4026	return 0;
4027	if (func366(a1: data[16]) == 0)
4028	return 0;
4029	if (func367(a1: data[14]) == 0)
4030	return 0;
4031	if (func368(a1: data[0]) == 0)
4032	return 0;
4033	if (func369(a1: data[19]) == 0)
4034	return 0;
4035	if (func370(a1: data[3], a2: data[1]) == 0)
4036	return 0;
4037	if (func371(a1: data[4], a2: data[1]) == 0)
4038	return 0;
4039	if (func372(a1: data[16]) == 0)
4040	return 0;
4041	if (func373(a1: data[14]) == 0)
4042	return 0;
4043	if (func374(a1: data[19]) == 0)
4044	return 0;
4045	if (func375(a1: data[0], a2: data[1]) == 0)
4046	return 0;
4047	if (func376(a1: data[0], a2: data[1]) == 0)
4048	return 0;
4049	if (func377(a1: data[2]) == 0)
4050	return 0;
4051	if (func378(a1: data[0], a2: data[1]) == 0)
4052	return 0;
4053	if (func379(a1: data[0], a2: data[1]) == 0)
4054	return 0;
4055	if (func380(a1: data[18], a2: data[1]) == 0)
4056	return 0;
4057	if (func381(a1: data[0], a2: data[6]) == 0)
4058	return 0;
4059	if (func382(a1: data[2]) == 0)
4060	return 0;
4061	if (func383(a1: data[8], a2: data[1]) == 0)
4062	return 0;
4063	if (func384(a1: data[5], a2: data[1]) == 0)
4064	return 0;
4065	if (func385(a1: data[18], a2: data[1]) == 0)
4066	return 0;
4067	if (func386(a1: data[0], a2: data[6]) == 0)
4068	return 0;
4069	if (func387(a1: data[2]) == 0)
4070	return 0;
4071	if (func388(a1: data[0], a2: data[1]) == 0)
4072	return 0;
4073	if (func389(a1: data[18], a2: data[1]) == 0)
4074	return 0;
4075	if (func390(a1: data[0], a2: data[6]) == 0)
4076	return 0;
4077	if (func391(a1: data[2]) == 0)
4078	return 0;
4079	if (func392(a1: data[18], a2: data[1]) == 0)
4080	return 0;
4081	if (func393(a1: data[0], a2: data[6]) == 0)
4082	return 0;
4083	if (func394(a1: data[2]) == 0)
4084	return 0;
4085	if (func395(a1: data[0], a2: data[1]) == 0)
4086	return 0;
4087	if (func396(a1: data[0], a2: data[1]) == 0)
4088	return 0;
4089	if (func397(a1: data[18], a2: data[1]) == 0)
4090	return 0;
4091	if (func398(a1: data[9]) == 0)
4092	return 0;
4093	if (func399(a1: data[0], a2: data[1]) == 0)
4094	return 0;
4095	if (func400(a1: data[0], a2: data[1]) == 0)
4096	return 0;
4097	if (func401(a1: data[8], a2: data[6]) == 0)
4098	return 0;
4099	if (func402(a1: data[12]) == 0)
4100	return 0;
4101	if (func403(a1: data[0], a2: data[1]) == 0)
4102	return 0;
4103	if (func404(a1: data[12]) == 0)
4104	return 0;
4105	if (func405(a1: data[1]) == 0)
4106	return 0;
4107	if (func406(a1: data[0], a2: data[6]) == 0)
4108	return 0;
4109	if (func407(a1: data[4]) == 0)
4110	return 0;
4111	if (func408(a1: data[0], a2: data[1]) == 0)
4112	return 0;
4113	if (func409(a1: data[14]) == 0)
4114	return 0;
4115	if (func410(a1: data[14]) == 0)
4116	return 0;
4117
4118	fprintf(stderr, format: "BINGO\n");
4119	abort();
4120	return 1;
4121	}
4122
4123	extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
4124	if (api(data: Data, size: Size)) {
4125	// Should've crashed before getting here.
4126	return 0;
4127	}
4128	return 0;
4129	}
4130
4131