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