1 // Copyright 2015, VIXL authors
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are met:
6 //
7 //   * Redistributions of source code must retain the above copyright notice,
8 //     this list of conditions and the following disclaimer.
9 //   * Redistributions in binary form must reproduce the above copyright notice,
10 //     this list of conditions and the following disclaimer in the documentation
11 //     and/or other materials provided with the distribution.
12 //   * Neither the name of ARM Limited nor the names of its contributors may be
13 //     used to endorse or promote products derived from this software without
14 //     specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 
27 
28 // ---------------------------------------------------------------------
29 // This file is auto generated using tools/generate_simulator_traces.py.
30 //
31 // PLEASE DO NOT EDIT.
32 // ---------------------------------------------------------------------
33 
34 #ifndef VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_
35 #define VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_
36 
37 const int32_t kExpected_fcvtzs_wh[] = {
38   INT32_C(0),
39   INT32_C(0),
40   INT32_C(0),
41   INT32_C(0),
42   INT32_C(0),
43   INT32_C(0),
44   INT32_C(0),
45   INT32_C(0),
46   INT32_C(0),
47   INT32_C(0),
48   INT32_C(0),
49   INT32_C(0),
50   INT32_C(0),
51   INT32_C(0),
52   INT32_C(0),
53   INT32_C(0),
54   INT32_C(0),
55   INT32_C(0),
56   INT32_C(0),
57   INT32_C(0),
58   INT32_C(0),
59   INT32_C(0),
60   INT32_C(0),
61   INT32_C(0),
62   INT32_C(0),
63   INT32_C(0),
64   INT32_C(0),
65   INT32_C(0),
66   INT32_C(0),
67   INT32_C(0),
68   INT32_C(0),
69   INT32_C(0),
70   INT32_C(0),
71   INT32_C(0),
72   INT32_C(0),
73   INT32_C(0),
74   INT32_C(0),
75   INT32_C(0),
76   INT32_C(0),
77   INT32_C(0),
78   INT32_C(0),
79   INT32_C(0),
80   INT32_C(0),
81   INT32_C(0),
82   INT32_C(0),
83   INT32_C(0),
84   INT32_C(0),
85   INT32_C(1),
86   INT32_C(2),
87   INT32_C(4),
88   INT32_C(8),
89   INT32_C(16),
90   INT32_C(32),
91   INT32_C(64),
92   INT32_C(128),
93   INT32_C(256),
94   INT32_C(512),
95   INT32_C(1024),
96   INT32_C(2048),
97   INT32_C(4096),
98   INT32_C(8192),
99   INT32_C(16384),
100   INT32_C(32768),
101   INT32_C(65536),
102   INT32_C(131072),
103   INT32_C(262144),
104   INT32_C(0),
105   INT32_C(0),
106   INT32_C(1),
107   INT32_C(3),
108   INT32_C(7),
109   INT32_C(15),
110   INT32_C(31),
111   INT32_C(63),
112   INT32_C(127),
113   INT32_C(255),
114   INT32_C(511),
115   INT32_C(1023),
116   INT32_C(2047),
117   INT32_C(4094),
118   INT32_C(8188),
119   INT32_C(16376),
120   INT32_C(32752),
121   INT32_C(65504),
122   INT32_C(131008),
123   INT32_C(262016),
124   INT32_C(524032),
125   INT32_C(1048064),
126   INT32_C(2096128),
127   INT32_C(4192256),
128   INT32_C(8384512),
129   INT32_C(16769024),
130   INT32_C(33538048),
131   INT32_C(67076096),
132   INT32_C(134152192),
133   INT32_C(268304384),
134   INT32_C(536608768),
135   INT32_C(1073217536),
136   INT32_C(2146435072),
137   INT32_C(0),
138   INT32_C(1),
139   INT32_C(2),
140   INT32_C(4),
141   INT32_C(8),
142   INT32_C(16),
143   INT32_C(32),
144   INT32_C(64),
145   INT32_C(128),
146   INT32_C(256),
147   INT32_C(512),
148   INT32_C(1024),
149   INT32_C(2048),
150   INT32_C(4096),
151   INT32_C(8192),
152   INT32_C(16384),
153   INT32_C(32768),
154   INT32_C(65536),
155   INT32_C(131072),
156   INT32_C(262144),
157   INT32_C(524288),
158   INT32_C(1048576),
159   INT32_C(2097152),
160   INT32_C(4194304),
161   INT32_C(8388608),
162   INT32_C(16777216),
163   INT32_C(33554432),
164   INT32_C(67108864),
165   INT32_C(134217728),
166   INT32_C(268435456),
167   INT32_C(536870912),
168   INT32_C(1073741824),
169   INT32_C(2147483647),
170   INT32_C(0),
171   INT32_C(1),
172   INT32_C(2),
173   INT32_C(4),
174   INT32_C(8),
175   INT32_C(16),
176   INT32_C(32),
177   INT32_C(64),
178   INT32_C(128),
179   INT32_C(256),
180   INT32_C(512),
181   INT32_C(1025),
182   INT32_C(2050),
183   INT32_C(4100),
184   INT32_C(8200),
185   INT32_C(16400),
186   INT32_C(32800),
187   INT32_C(65600),
188   INT32_C(131200),
189   INT32_C(262400),
190   INT32_C(524800),
191   INT32_C(1049600),
192   INT32_C(2099200),
193   INT32_C(4198400),
194   INT32_C(8396800),
195   INT32_C(16793600),
196   INT32_C(33587200),
197   INT32_C(67174400),
198   INT32_C(134348800),
199   INT32_C(268697600),
200   INT32_C(537395200),
201   INT32_C(1074790400),
202   INT32_C(2147483647),
203   INT32_C(0),
204   INT32_C(1),
205   INT32_C(3),
206   INT32_C(7),
207   INT32_C(15),
208   INT32_C(31),
209   INT32_C(63),
210   INT32_C(127),
211   INT32_C(255),
212   INT32_C(511),
213   INT32_C(1023),
214   INT32_C(2047),
215   INT32_C(4094),
216   INT32_C(8188),
217   INT32_C(16376),
218   INT32_C(32752),
219   INT32_C(65504),
220   INT32_C(131008),
221   INT32_C(262016),
222   INT32_C(524032),
223   INT32_C(1048064),
224   INT32_C(2096128),
225   INT32_C(4192256),
226   INT32_C(8384512),
227   INT32_C(16769024),
228   INT32_C(33538048),
229   INT32_C(67076096),
230   INT32_C(134152192),
231   INT32_C(268304384),
232   INT32_C(536608768),
233   INT32_C(1073217536),
234   INT32_C(2146435072),
235   INT32_C(2147483647),
236   INT32_C(1),
237   INT32_C(2),
238   INT32_C(4),
239   INT32_C(8),
240   INT32_C(16),
241   INT32_C(32),
242   INT32_C(64),
243   INT32_C(128),
244   INT32_C(256),
245   INT32_C(512),
246   INT32_C(1024),
247   INT32_C(2048),
248   INT32_C(4096),
249   INT32_C(8192),
250   INT32_C(16384),
251   INT32_C(32768),
252   INT32_C(65536),
253   INT32_C(131072),
254   INT32_C(262144),
255   INT32_C(524288),
256   INT32_C(1048576),
257   INT32_C(2097152),
258   INT32_C(4194304),
259   INT32_C(8388608),
260   INT32_C(16777216),
261   INT32_C(33554432),
262   INT32_C(67108864),
263   INT32_C(134217728),
264   INT32_C(268435456),
265   INT32_C(536870912),
266   INT32_C(1073741824),
267   INT32_C(2147483647),
268   INT32_C(2147483647),
269   INT32_C(1),
270   INT32_C(2),
271   INT32_C(4),
272   INT32_C(8),
273   INT32_C(16),
274   INT32_C(32),
275   INT32_C(64),
276   INT32_C(128),
277   INT32_C(256),
278   INT32_C(512),
279   INT32_C(1025),
280   INT32_C(2050),
281   INT32_C(4100),
282   INT32_C(8200),
283   INT32_C(16400),
284   INT32_C(32800),
285   INT32_C(65600),
286   INT32_C(131200),
287   INT32_C(262400),
288   INT32_C(524800),
289   INT32_C(1049600),
290   INT32_C(2099200),
291   INT32_C(4198400),
292   INT32_C(8396800),
293   INT32_C(16793600),
294   INT32_C(33587200),
295   INT32_C(67174400),
296   INT32_C(134348800),
297   INT32_C(268697600),
298   INT32_C(537395200),
299   INT32_C(1074790400),
300   INT32_C(2147483647),
301   INT32_C(2147483647),
302   INT32_C(1),
303   INT32_C(3),
304   INT32_C(6),
305   INT32_C(12),
306   INT32_C(24),
307   INT32_C(48),
308   INT32_C(96),
309   INT32_C(192),
310   INT32_C(384),
311   INT32_C(768),
312   INT32_C(1536),
313   INT32_C(3072),
314   INT32_C(6144),
315   INT32_C(12288),
316   INT32_C(24576),
317   INT32_C(49152),
318   INT32_C(98304),
319   INT32_C(196608),
320   INT32_C(393216),
321   INT32_C(786432),
322   INT32_C(1572864),
323   INT32_C(3145728),
324   INT32_C(6291456),
325   INT32_C(12582912),
326   INT32_C(25165824),
327   INT32_C(50331648),
328   INT32_C(100663296),
329   INT32_C(201326592),
330   INT32_C(402653184),
331   INT32_C(805306368),
332   INT32_C(1610612736),
333   INT32_C(2147483647),
334   INT32_C(2147483647),
335   INT32_C(10),
336   INT32_C(20),
337   INT32_C(40),
338   INT32_C(80),
339   INT32_C(160),
340   INT32_C(320),
341   INT32_C(640),
342   INT32_C(1280),
343   INT32_C(2560),
344   INT32_C(5120),
345   INT32_C(10240),
346   INT32_C(20480),
347   INT32_C(40960),
348   INT32_C(81920),
349   INT32_C(163840),
350   INT32_C(327680),
351   INT32_C(655360),
352   INT32_C(1310720),
353   INT32_C(2621440),
354   INT32_C(5242880),
355   INT32_C(10485760),
356   INT32_C(20971520),
357   INT32_C(41943040),
358   INT32_C(83886080),
359   INT32_C(167772160),
360   INT32_C(335544320),
361   INT32_C(671088640),
362   INT32_C(1342177280),
363   INT32_C(2147483647),
364   INT32_C(2147483647),
365   INT32_C(2147483647),
366   INT32_C(2147483647),
367   INT32_C(2147483647),
368   INT32_C(65504),
369   INT32_C(131008),
370   INT32_C(262016),
371   INT32_C(524032),
372   INT32_C(1048064),
373   INT32_C(2096128),
374   INT32_C(4192256),
375   INT32_C(8384512),
376   INT32_C(16769024),
377   INT32_C(33538048),
378   INT32_C(67076096),
379   INT32_C(134152192),
380   INT32_C(268304384),
381   INT32_C(536608768),
382   INT32_C(1073217536),
383   INT32_C(2146435072),
384   INT32_C(2147483647),
385   INT32_C(2147483647),
386   INT32_C(2147483647),
387   INT32_C(2147483647),
388   INT32_C(2147483647),
389   INT32_C(2147483647),
390   INT32_C(2147483647),
391   INT32_C(2147483647),
392   INT32_C(2147483647),
393   INT32_C(2147483647),
394   INT32_C(2147483647),
395   INT32_C(2147483647),
396   INT32_C(2147483647),
397   INT32_C(2147483647),
398   INT32_C(2147483647),
399   INT32_C(2147483647),
400   INT32_C(2147483647),
401   INT32_C(2147483647),
402   INT32_C(2147483647),
403   INT32_C(2147483647),
404   INT32_C(2147483647),
405   INT32_C(2147483647),
406   INT32_C(2147483647),
407   INT32_C(2147483647),
408   INT32_C(2147483647),
409   INT32_C(2147483647),
410   INT32_C(2147483647),
411   INT32_C(2147483647),
412   INT32_C(2147483647),
413   INT32_C(2147483647),
414   INT32_C(2147483647),
415   INT32_C(2147483647),
416   INT32_C(2147483647),
417   INT32_C(2147483647),
418   INT32_C(2147483647),
419   INT32_C(2147483647),
420   INT32_C(2147483647),
421   INT32_C(2147483647),
422   INT32_C(2147483647),
423   INT32_C(2147483647),
424   INT32_C(2147483647),
425   INT32_C(2147483647),
426   INT32_C(2147483647),
427   INT32_C(2147483647),
428   INT32_C(2147483647),
429   INT32_C(2147483647),
430   INT32_C(2147483647),
431   INT32_C(2147483647),
432   INT32_C(2147483647),
433   INT32_C(2147483647),
434   INT32_C(0),
435   INT32_C(0),
436   INT32_C(0),
437   INT32_C(0),
438   INT32_C(0),
439   INT32_C(0),
440   INT32_C(0),
441   INT32_C(0),
442   INT32_C(0),
443   INT32_C(0),
444   INT32_C(0),
445   INT32_C(0),
446   INT32_C(0),
447   INT32_C(0),
448   INT32_C(0),
449   INT32_C(0),
450   INT32_C(0),
451   INT32_C(0),
452   INT32_C(0),
453   INT32_C(0),
454   INT32_C(0),
455   INT32_C(0),
456   INT32_C(0),
457   INT32_C(0),
458   INT32_C(0),
459   INT32_C(0),
460   INT32_C(0),
461   INT32_C(0),
462   INT32_C(0),
463   INT32_C(0),
464   INT32_C(0),
465   INT32_C(0),
466   INT32_C(0),
467   INT32_C(0),
468   INT32_C(0),
469   INT32_C(0),
470   INT32_C(0),
471   INT32_C(0),
472   INT32_C(0),
473   INT32_C(0),
474   INT32_C(0),
475   INT32_C(0),
476   INT32_C(0),
477   INT32_C(0),
478   INT32_C(0),
479   INT32_C(0),
480   INT32_C(0),
481   INT32_C(0),
482   INT32_C(0),
483   INT32_C(0),
484   INT32_C(0),
485   INT32_C(0),
486   INT32_C(0),
487   INT32_C(0),
488   INT32_C(0),
489   INT32_C(0),
490   INT32_C(0),
491   INT32_C(0),
492   INT32_C(0),
493   INT32_C(0),
494   INT32_C(0),
495   INT32_C(0),
496   INT32_C(0),
497   INT32_C(0),
498   INT32_C(0),
499   INT32_C(0),
500   INT32_C(0),
501   INT32_C(0),
502   INT32_C(0),
503   INT32_C(0),
504   INT32_C(0),
505   INT32_C(0),
506   INT32_C(0),
507   INT32_C(0),
508   INT32_C(0),
509   INT32_C(0),
510   INT32_C(0),
511   INT32_C(0),
512   INT32_C(0),
513   INT32_C(0),
514   INT32_C(0),
515   INT32_C(0),
516   INT32_C(0),
517   INT32_C(0),
518   INT32_C(0),
519   INT32_C(0),
520   INT32_C(0),
521   INT32_C(0),
522   INT32_C(0),
523   INT32_C(0),
524   INT32_C(0),
525   INT32_C(0),
526   INT32_C(0),
527   INT32_C(0),
528   INT32_C(0),
529   INT32_C(0),
530   INT32_C(0),
531   INT32_C(0),
532   INT32_C(0),
533   INT32_C(0),
534   INT32_C(0),
535   INT32_C(0),
536   INT32_C(0),
537   INT32_C(0),
538   INT32_C(0),
539   INT32_C(0),
540   INT32_C(0),
541   INT32_C(0),
542   INT32_C(0),
543   INT32_C(0),
544   INT32_C(0),
545   INT32_C(0),
546   INT32_C(0),
547   INT32_C(0),
548   INT32_C(0),
549   INT32_C(0),
550   INT32_C(0),
551   INT32_C(0),
552   INT32_C(0),
553   INT32_C(0),
554   INT32_C(0),
555   INT32_C(0),
556   INT32_C(0),
557   INT32_C(0),
558   INT32_C(0),
559   INT32_C(0),
560   INT32_C(0),
561   INT32_C(0),
562   INT32_C(0),
563   INT32_C(0),
564   INT32_C(0),
565   INT32_C(0),
566   INT32_C(0),
567   INT32_C(0),
568   INT32_C(0),
569   INT32_C(0),
570   INT32_C(0),
571   INT32_C(0),
572   INT32_C(0),
573   INT32_C(0),
574   INT32_C(0),
575   INT32_C(0),
576   INT32_C(0),
577   INT32_C(0),
578   INT32_C(0),
579   INT32_C(0),
580   INT32_C(0),
581   INT32_C(0),
582   INT32_C(0),
583   INT32_C(0),
584   INT32_C(0),
585   INT32_C(0),
586   INT32_C(1),
587   INT32_C(2),
588   INT32_C(4),
589   INT32_C(9),
590   INT32_C(18),
591   INT32_C(36),
592   INT32_C(72),
593   INT32_C(144),
594   INT32_C(288),
595   INT32_C(576),
596   INT32_C(1152),
597   INT32_C(2304),
598   INT32_C(4608),
599   INT32_C(0),
600   INT32_C(0),
601   INT32_C(0),
602   INT32_C(0),
603   INT32_C(0),
604   INT32_C(0),
605   INT32_C(0),
606   INT32_C(0),
607   INT32_C(0),
608   INT32_C(0),
609   INT32_C(0),
610   INT32_C(0),
611   INT32_C(0),
612   INT32_C(0),
613   INT32_C(0),
614   INT32_C(1),
615   INT32_C(3),
616   INT32_C(7),
617   INT32_C(15),
618   INT32_C(31),
619   INT32_C(63),
620   INT32_C(127),
621   INT32_C(255),
622   INT32_C(511),
623   INT32_C(1023),
624   INT32_C(2046),
625   INT32_C(4092),
626   INT32_C(8184),
627   INT32_C(16368),
628   INT32_C(32736),
629   INT32_C(65472),
630   INT32_C(130944),
631   INT32_C(261888),
632   INT32_C(0),
633   INT32_C(0),
634   INT32_C(0),
635   INT32_C(0),
636   INT32_C(0),
637   INT32_C(0),
638   INT32_C(0),
639   INT32_C(0),
640   INT32_C(0),
641   INT32_C(0),
642   INT32_C(0),
643   INT32_C(0),
644   INT32_C(0),
645   INT32_C(0),
646   INT32_C(0),
647   INT32_C(0),
648   INT32_C(0),
649   INT32_C(0),
650   INT32_C(0),
651   INT32_C(0),
652   INT32_C(0),
653   INT32_C(0),
654   INT32_C(0),
655   INT32_C(0),
656   INT32_C(1),
657   INT32_C(2),
658   INT32_C(4),
659   INT32_C(8),
660   INT32_C(16),
661   INT32_C(32),
662   INT32_C(64),
663   INT32_C(128),
664   INT32_C(256),
665   INT32_C(0),
666   INT32_C(0),
667   INT32_C(0),
668   INT32_C(0),
669   INT32_C(0),
670   INT32_C(0),
671   INT32_C(0),
672   INT32_C(0),
673   INT32_C(0),
674   INT32_C(0),
675   INT32_C(0),
676   INT32_C(0),
677   INT32_C(0),
678   INT32_C(0),
679   INT32_C(0),
680   INT32_C(0),
681   INT32_C(0),
682   INT32_C(0),
683   INT32_C(0),
684   INT32_C(0),
685   INT32_C(0),
686   INT32_C(0),
687   INT32_C(0),
688   INT32_C(0),
689   INT32_C(0),
690   INT32_C(0),
691   INT32_C(0),
692   INT32_C(0),
693   INT32_C(0),
694   INT32_C(0),
695   INT32_C(0),
696   INT32_C(0),
697   INT32_C(0),
698   INT32_C(0),
699   INT32_C(0),
700   INT32_C(0),
701   INT32_C(0),
702   INT32_C(0),
703   INT32_C(0),
704   INT32_C(0),
705   INT32_C(0),
706   INT32_C(0),
707   INT32_C(0),
708   INT32_C(0),
709   INT32_C(0),
710   INT32_C(0),
711   INT32_C(0),
712   -INT32_C(1),
713   -INT32_C(2),
714   -INT32_C(4),
715   -INT32_C(8),
716   -INT32_C(16),
717   -INT32_C(32),
718   -INT32_C(64),
719   -INT32_C(128),
720   -INT32_C(256),
721   -INT32_C(512),
722   -INT32_C(1024),
723   -INT32_C(2048),
724   -INT32_C(4096),
725   -INT32_C(8192),
726   -INT32_C(16384),
727   -INT32_C(32768),
728   -INT32_C(65536),
729   -INT32_C(131072),
730   -INT32_C(262144),
731   INT32_C(0),
732   INT32_C(0),
733   -INT32_C(1),
734   -INT32_C(3),
735   -INT32_C(7),
736   -INT32_C(15),
737   -INT32_C(31),
738   -INT32_C(63),
739   -INT32_C(127),
740   -INT32_C(255),
741   -INT32_C(511),
742   -INT32_C(1023),
743   -INT32_C(2047),
744   -INT32_C(4094),
745   -INT32_C(8188),
746   -INT32_C(16376),
747   -INT32_C(32752),
748   -INT32_C(65504),
749   -INT32_C(131008),
750   -INT32_C(262016),
751   -INT32_C(524032),
752   -INT32_C(1048064),
753   -INT32_C(2096128),
754   -INT32_C(4192256),
755   -INT32_C(8384512),
756   -INT32_C(16769024),
757   -INT32_C(33538048),
758   -INT32_C(67076096),
759   -INT32_C(134152192),
760   -INT32_C(268304384),
761   -INT32_C(536608768),
762   -INT32_C(1073217536),
763   -INT32_C(2146435072),
764   INT32_C(0),
765   -INT32_C(1),
766   -INT32_C(2),
767   -INT32_C(4),
768   -INT32_C(8),
769   -INT32_C(16),
770   -INT32_C(32),
771   -INT32_C(64),
772   -INT32_C(128),
773   -INT32_C(256),
774   -INT32_C(512),
775   -INT32_C(1024),
776   -INT32_C(2048),
777   -INT32_C(4096),
778   -INT32_C(8192),
779   -INT32_C(16384),
780   -INT32_C(32768),
781   -INT32_C(65536),
782   -INT32_C(131072),
783   -INT32_C(262144),
784   -INT32_C(524288),
785   -INT32_C(1048576),
786   -INT32_C(2097152),
787   -INT32_C(4194304),
788   -INT32_C(8388608),
789   -INT32_C(16777216),
790   -INT32_C(33554432),
791   -INT32_C(67108864),
792   -INT32_C(134217728),
793   -INT32_C(268435456),
794   -INT32_C(536870912),
795   -INT32_C(1073741824),
796   -INT32_C(2147483647) - 1,
797   INT32_C(0),
798   -INT32_C(1),
799   -INT32_C(2),
800   -INT32_C(4),
801   -INT32_C(8),
802   -INT32_C(16),
803   -INT32_C(32),
804   -INT32_C(64),
805   -INT32_C(128),
806   -INT32_C(256),
807   -INT32_C(512),
808   -INT32_C(1025),
809   -INT32_C(2050),
810   -INT32_C(4100),
811   -INT32_C(8200),
812   -INT32_C(16400),
813   -INT32_C(32800),
814   -INT32_C(65600),
815   -INT32_C(131200),
816   -INT32_C(262400),
817   -INT32_C(524800),
818   -INT32_C(1049600),
819   -INT32_C(2099200),
820   -INT32_C(4198400),
821   -INT32_C(8396800),
822   -INT32_C(16793600),
823   -INT32_C(33587200),
824   -INT32_C(67174400),
825   -INT32_C(134348800),
826   -INT32_C(268697600),
827   -INT32_C(537395200),
828   -INT32_C(1074790400),
829   -INT32_C(2147483647) - 1,
830   INT32_C(0),
831   -INT32_C(1),
832   -INT32_C(3),
833   -INT32_C(7),
834   -INT32_C(15),
835   -INT32_C(31),
836   -INT32_C(63),
837   -INT32_C(127),
838   -INT32_C(255),
839   -INT32_C(511),
840   -INT32_C(1023),
841   -INT32_C(2047),
842   -INT32_C(4094),
843   -INT32_C(8188),
844   -INT32_C(16376),
845   -INT32_C(32752),
846   -INT32_C(65504),
847   -INT32_C(131008),
848   -INT32_C(262016),
849   -INT32_C(524032),
850   -INT32_C(1048064),
851   -INT32_C(2096128),
852   -INT32_C(4192256),
853   -INT32_C(8384512),
854   -INT32_C(16769024),
855   -INT32_C(33538048),
856   -INT32_C(67076096),
857   -INT32_C(134152192),
858   -INT32_C(268304384),
859   -INT32_C(536608768),
860   -INT32_C(1073217536),
861   -INT32_C(2146435072),
862   -INT32_C(2147483647) - 1,
863   -INT32_C(1),
864   -INT32_C(2),
865   -INT32_C(4),
866   -INT32_C(8),
867   -INT32_C(16),
868   -INT32_C(32),
869   -INT32_C(64),
870   -INT32_C(128),
871   -INT32_C(256),
872   -INT32_C(512),
873   -INT32_C(1024),
874   -INT32_C(2048),
875   -INT32_C(4096),
876   -INT32_C(8192),
877   -INT32_C(16384),
878   -INT32_C(32768),
879   -INT32_C(65536),
880   -INT32_C(131072),
881   -INT32_C(262144),
882   -INT32_C(524288),
883   -INT32_C(1048576),
884   -INT32_C(2097152),
885   -INT32_C(4194304),
886   -INT32_C(8388608),
887   -INT32_C(16777216),
888   -INT32_C(33554432),
889   -INT32_C(67108864),
890   -INT32_C(134217728),
891   -INT32_C(268435456),
892   -INT32_C(536870912),
893   -INT32_C(1073741824),
894   -INT32_C(2147483647) - 1,
895   -INT32_C(2147483647) - 1,
896   -INT32_C(1),
897   -INT32_C(2),
898   -INT32_C(4),
899   -INT32_C(8),
900   -INT32_C(16),
901   -INT32_C(32),
902   -INT32_C(64),
903   -INT32_C(128),
904   -INT32_C(256),
905   -INT32_C(512),
906   -INT32_C(1025),
907   -INT32_C(2050),
908   -INT32_C(4100),
909   -INT32_C(8200),
910   -INT32_C(16400),
911   -INT32_C(32800),
912   -INT32_C(65600),
913   -INT32_C(131200),
914   -INT32_C(262400),
915   -INT32_C(524800),
916   -INT32_C(1049600),
917   -INT32_C(2099200),
918   -INT32_C(4198400),
919   -INT32_C(8396800),
920   -INT32_C(16793600),
921   -INT32_C(33587200),
922   -INT32_C(67174400),
923   -INT32_C(134348800),
924   -INT32_C(268697600),
925   -INT32_C(537395200),
926   -INT32_C(1074790400),
927   -INT32_C(2147483647) - 1,
928   -INT32_C(2147483647) - 1,
929   -INT32_C(1),
930   -INT32_C(3),
931   -INT32_C(6),
932   -INT32_C(12),
933   -INT32_C(24),
934   -INT32_C(48),
935   -INT32_C(96),
936   -INT32_C(192),
937   -INT32_C(384),
938   -INT32_C(768),
939   -INT32_C(1536),
940   -INT32_C(3072),
941   -INT32_C(6144),
942   -INT32_C(12288),
943   -INT32_C(24576),
944   -INT32_C(49152),
945   -INT32_C(98304),
946   -INT32_C(196608),
947   -INT32_C(393216),
948   -INT32_C(786432),
949   -INT32_C(1572864),
950   -INT32_C(3145728),
951   -INT32_C(6291456),
952   -INT32_C(12582912),
953   -INT32_C(25165824),
954   -INT32_C(50331648),
955   -INT32_C(100663296),
956   -INT32_C(201326592),
957   -INT32_C(402653184),
958   -INT32_C(805306368),
959   -INT32_C(1610612736),
960   -INT32_C(2147483647) - 1,
961   -INT32_C(2147483647) - 1,
962   -INT32_C(10),
963   -INT32_C(20),
964   -INT32_C(40),
965   -INT32_C(80),
966   -INT32_C(160),
967   -INT32_C(320),
968   -INT32_C(640),
969   -INT32_C(1280),
970   -INT32_C(2560),
971   -INT32_C(5120),
972   -INT32_C(10240),
973   -INT32_C(20480),
974   -INT32_C(40960),
975   -INT32_C(81920),
976   -INT32_C(163840),
977   -INT32_C(327680),
978   -INT32_C(655360),
979   -INT32_C(1310720),
980   -INT32_C(2621440),
981   -INT32_C(5242880),
982   -INT32_C(10485760),
983   -INT32_C(20971520),
984   -INT32_C(41943040),
985   -INT32_C(83886080),
986   -INT32_C(167772160),
987   -INT32_C(335544320),
988   -INT32_C(671088640),
989   -INT32_C(1342177280),
990   -INT32_C(2147483647) - 1,
991   -INT32_C(2147483647) - 1,
992   -INT32_C(2147483647) - 1,
993   -INT32_C(2147483647) - 1,
994   -INT32_C(2147483647) - 1,
995   -INT32_C(65504),
996   -INT32_C(131008),
997   -INT32_C(262016),
998   -INT32_C(524032),
999   -INT32_C(1048064),
1000   -INT32_C(2096128),
1001   -INT32_C(4192256),
1002   -INT32_C(8384512),
1003   -INT32_C(16769024),
1004   -INT32_C(33538048),
1005   -INT32_C(67076096),
1006   -INT32_C(134152192),
1007   -INT32_C(268304384),
1008   -INT32_C(536608768),
1009   -INT32_C(1073217536),
1010   -INT32_C(2146435072),
1011   -INT32_C(2147483647) - 1,
1012   -INT32_C(2147483647) - 1,
1013   -INT32_C(2147483647) - 1,
1014   -INT32_C(2147483647) - 1,
1015   -INT32_C(2147483647) - 1,
1016   -INT32_C(2147483647) - 1,
1017   -INT32_C(2147483647) - 1,
1018   -INT32_C(2147483647) - 1,
1019   -INT32_C(2147483647) - 1,
1020   -INT32_C(2147483647) - 1,
1021   -INT32_C(2147483647) - 1,
1022   -INT32_C(2147483647) - 1,
1023   -INT32_C(2147483647) - 1,
1024   -INT32_C(2147483647) - 1,
1025   -INT32_C(2147483647) - 1,
1026   -INT32_C(2147483647) - 1,
1027   -INT32_C(2147483647) - 1,
1028   -INT32_C(2147483647) - 1,
1029   -INT32_C(2147483647) - 1,
1030   -INT32_C(2147483647) - 1,
1031   -INT32_C(2147483647) - 1,
1032   -INT32_C(2147483647) - 1,
1033   -INT32_C(2147483647) - 1,
1034   -INT32_C(2147483647) - 1,
1035   -INT32_C(2147483647) - 1,
1036   -INT32_C(2147483647) - 1,
1037   -INT32_C(2147483647) - 1,
1038   -INT32_C(2147483647) - 1,
1039   -INT32_C(2147483647) - 1,
1040   -INT32_C(2147483647) - 1,
1041   -INT32_C(2147483647) - 1,
1042   -INT32_C(2147483647) - 1,
1043   -INT32_C(2147483647) - 1,
1044   -INT32_C(2147483647) - 1,
1045   -INT32_C(2147483647) - 1,
1046   -INT32_C(2147483647) - 1,
1047   -INT32_C(2147483647) - 1,
1048   -INT32_C(2147483647) - 1,
1049   -INT32_C(2147483647) - 1,
1050   -INT32_C(2147483647) - 1,
1051   -INT32_C(2147483647) - 1,
1052   -INT32_C(2147483647) - 1,
1053   -INT32_C(2147483647) - 1,
1054   -INT32_C(2147483647) - 1,
1055   -INT32_C(2147483647) - 1,
1056   -INT32_C(2147483647) - 1,
1057   -INT32_C(2147483647) - 1,
1058   -INT32_C(2147483647) - 1,
1059   -INT32_C(2147483647) - 1,
1060   -INT32_C(2147483647) - 1,
1061   INT32_C(0),
1062   INT32_C(0),
1063   INT32_C(0),
1064   INT32_C(0),
1065   INT32_C(0),
1066   INT32_C(0),
1067   INT32_C(0),
1068   INT32_C(0),
1069   INT32_C(0),
1070   INT32_C(0),
1071   INT32_C(0),
1072   INT32_C(0),
1073   INT32_C(0),
1074   INT32_C(0),
1075   INT32_C(0),
1076   INT32_C(0),
1077   INT32_C(0),
1078   INT32_C(0),
1079   INT32_C(0),
1080   INT32_C(0),
1081   INT32_C(0),
1082   INT32_C(0),
1083   INT32_C(0),
1084   INT32_C(0),
1085   INT32_C(0),
1086   INT32_C(0),
1087   INT32_C(0),
1088   INT32_C(0),
1089   INT32_C(0),
1090   INT32_C(0),
1091   INT32_C(0),
1092   INT32_C(0),
1093   INT32_C(0),
1094   INT32_C(0),
1095   INT32_C(0),
1096   INT32_C(0),
1097   INT32_C(0),
1098   INT32_C(0),
1099   INT32_C(0),
1100   INT32_C(0),
1101   INT32_C(0),
1102   INT32_C(0),
1103   INT32_C(0),
1104   INT32_C(0),
1105   INT32_C(0),
1106   INT32_C(0),
1107   INT32_C(0),
1108   INT32_C(0),
1109   INT32_C(0),
1110   INT32_C(0),
1111   INT32_C(0),
1112   INT32_C(0),
1113   INT32_C(0),
1114   INT32_C(0),
1115   INT32_C(0),
1116   INT32_C(0),
1117   INT32_C(0),
1118   INT32_C(0),
1119   INT32_C(0),
1120   INT32_C(0),
1121   INT32_C(0),
1122   INT32_C(0),
1123   INT32_C(0),
1124   INT32_C(0),
1125   INT32_C(0),
1126   INT32_C(0),
1127   INT32_C(0),
1128   INT32_C(0),
1129   INT32_C(0),
1130   INT32_C(0),
1131   INT32_C(0),
1132   INT32_C(0),
1133   INT32_C(0),
1134   INT32_C(0),
1135   INT32_C(0),
1136   INT32_C(0),
1137   INT32_C(0),
1138   INT32_C(0),
1139   INT32_C(0),
1140   INT32_C(0),
1141   INT32_C(0),
1142   INT32_C(0),
1143   INT32_C(0),
1144   INT32_C(0),
1145   INT32_C(0),
1146   INT32_C(0),
1147   INT32_C(0),
1148   INT32_C(0),
1149   INT32_C(0),
1150   INT32_C(0),
1151   INT32_C(0),
1152   INT32_C(0),
1153   INT32_C(0),
1154   INT32_C(0),
1155   INT32_C(0),
1156   INT32_C(0),
1157   INT32_C(0),
1158   INT32_C(0),
1159   INT32_C(0),
1160   INT32_C(0),
1161   INT32_C(0),
1162   INT32_C(0),
1163   INT32_C(0),
1164   INT32_C(0),
1165   INT32_C(0),
1166   INT32_C(0),
1167   INT32_C(0),
1168   INT32_C(0),
1169   INT32_C(0),
1170   INT32_C(0),
1171   INT32_C(0),
1172   INT32_C(0),
1173   INT32_C(0),
1174   INT32_C(0),
1175   INT32_C(0),
1176   INT32_C(0),
1177   INT32_C(0),
1178   INT32_C(0),
1179   INT32_C(0),
1180   INT32_C(0),
1181   INT32_C(0),
1182   INT32_C(0),
1183   INT32_C(0),
1184   INT32_C(0),
1185   INT32_C(0),
1186   INT32_C(0),
1187   INT32_C(0),
1188   INT32_C(0),
1189   INT32_C(0),
1190   INT32_C(0),
1191   INT32_C(0),
1192   INT32_C(0),
1193   INT32_C(0),
1194   INT32_C(0),
1195   INT32_C(0),
1196   INT32_C(0),
1197   INT32_C(0),
1198   INT32_C(0),
1199   INT32_C(0),
1200   INT32_C(0),
1201   INT32_C(0),
1202   INT32_C(0),
1203   INT32_C(0),
1204   INT32_C(0),
1205   INT32_C(0),
1206   INT32_C(0),
1207   INT32_C(0),
1208   INT32_C(0),
1209   INT32_C(0),
1210   INT32_C(0),
1211   INT32_C(0),
1212   INT32_C(0),
1213   -INT32_C(1),
1214   -INT32_C(2),
1215   -INT32_C(4),
1216   -INT32_C(9),
1217   -INT32_C(18),
1218   -INT32_C(36),
1219   -INT32_C(72),
1220   -INT32_C(144),
1221   -INT32_C(288),
1222   -INT32_C(576),
1223   -INT32_C(1152),
1224   -INT32_C(2304),
1225   -INT32_C(4608),
1226   INT32_C(0),
1227   INT32_C(0),
1228   INT32_C(0),
1229   INT32_C(0),
1230   INT32_C(0),
1231   INT32_C(0),
1232   INT32_C(0),
1233   INT32_C(0),
1234   INT32_C(0),
1235   INT32_C(0),
1236   INT32_C(0),
1237   INT32_C(0),
1238   INT32_C(0),
1239   INT32_C(0),
1240   INT32_C(0),
1241   -INT32_C(1),
1242   -INT32_C(3),
1243   -INT32_C(7),
1244   -INT32_C(15),
1245   -INT32_C(31),
1246   -INT32_C(63),
1247   -INT32_C(127),
1248   -INT32_C(255),
1249   -INT32_C(511),
1250   -INT32_C(1023),
1251   -INT32_C(2046),
1252   -INT32_C(4092),
1253   -INT32_C(8184),
1254   -INT32_C(16368),
1255   -INT32_C(32736),
1256   -INT32_C(65472),
1257   -INT32_C(130944),
1258   -INT32_C(261888),
1259   INT32_C(0),
1260   INT32_C(0),
1261   INT32_C(0),
1262   INT32_C(0),
1263   INT32_C(0),
1264   INT32_C(0),
1265   INT32_C(0),
1266   INT32_C(0),
1267   INT32_C(0),
1268   INT32_C(0),
1269   INT32_C(0),
1270   INT32_C(0),
1271   INT32_C(0),
1272   INT32_C(0),
1273   INT32_C(0),
1274   INT32_C(0),
1275   INT32_C(0),
1276   INT32_C(0),
1277   INT32_C(0),
1278   INT32_C(0),
1279   INT32_C(0),
1280   INT32_C(0),
1281   INT32_C(0),
1282   INT32_C(0),
1283   -INT32_C(1),
1284   -INT32_C(2),
1285   -INT32_C(4),
1286   -INT32_C(8),
1287   -INT32_C(16),
1288   -INT32_C(32),
1289   -INT32_C(64),
1290   -INT32_C(128),
1291   -INT32_C(256),
1292   INT32_C(1024),
1293   INT32_C(2048),
1294   INT32_C(4096),
1295   INT32_C(8192),
1296   INT32_C(16384),
1297   INT32_C(32768),
1298   INT32_C(65536),
1299   INT32_C(131072),
1300   INT32_C(262144),
1301   INT32_C(524288),
1302   INT32_C(1048576),
1303   INT32_C(2097152),
1304   INT32_C(4194304),
1305   INT32_C(8388608),
1306   INT32_C(16777216),
1307   INT32_C(33554432),
1308   INT32_C(67108864),
1309   INT32_C(134217728),
1310   INT32_C(268435456),
1311   INT32_C(536870912),
1312   INT32_C(1073741824),
1313   INT32_C(2147483647),
1314   INT32_C(2147483647),
1315   INT32_C(2147483647),
1316   INT32_C(2147483647),
1317   INT32_C(2147483647),
1318   INT32_C(2147483647),
1319   INT32_C(2147483647),
1320   INT32_C(2147483647),
1321   INT32_C(2147483647),
1322   INT32_C(2147483647),
1323   INT32_C(2147483647),
1324   INT32_C(2147483647),
1325   INT32_C(1025),
1326   INT32_C(2050),
1327   INT32_C(4100),
1328   INT32_C(8200),
1329   INT32_C(16400),
1330   INT32_C(32800),
1331   INT32_C(65600),
1332   INT32_C(131200),
1333   INT32_C(262400),
1334   INT32_C(524800),
1335   INT32_C(1049600),
1336   INT32_C(2099200),
1337   INT32_C(4198400),
1338   INT32_C(8396800),
1339   INT32_C(16793600),
1340   INT32_C(33587200),
1341   INT32_C(67174400),
1342   INT32_C(134348800),
1343   INT32_C(268697600),
1344   INT32_C(537395200),
1345   INT32_C(1074790400),
1346   INT32_C(2147483647),
1347   INT32_C(2147483647),
1348   INT32_C(2147483647),
1349   INT32_C(2147483647),
1350   INT32_C(2147483647),
1351   INT32_C(2147483647),
1352   INT32_C(2147483647),
1353   INT32_C(2147483647),
1354   INT32_C(2147483647),
1355   INT32_C(2147483647),
1356   INT32_C(2147483647),
1357   INT32_C(2147483647),
1358   INT32_C(1026),
1359   INT32_C(2052),
1360   INT32_C(4104),
1361   INT32_C(8208),
1362   INT32_C(16416),
1363   INT32_C(32832),
1364   INT32_C(65664),
1365   INT32_C(131328),
1366   INT32_C(262656),
1367   INT32_C(525312),
1368   INT32_C(1050624),
1369   INT32_C(2101248),
1370   INT32_C(4202496),
1371   INT32_C(8404992),
1372   INT32_C(16809984),
1373   INT32_C(33619968),
1374   INT32_C(67239936),
1375   INT32_C(134479872),
1376   INT32_C(268959744),
1377   INT32_C(537919488),
1378   INT32_C(1075838976),
1379   INT32_C(2147483647),
1380   INT32_C(2147483647),
1381   INT32_C(2147483647),
1382   INT32_C(2147483647),
1383   INT32_C(2147483647),
1384   INT32_C(2147483647),
1385   INT32_C(2147483647),
1386   INT32_C(2147483647),
1387   INT32_C(2147483647),
1388   INT32_C(2147483647),
1389   INT32_C(2147483647),
1390   INT32_C(2147483647),
1391   INT32_C(1027),
1392   INT32_C(2054),
1393   INT32_C(4108),
1394   INT32_C(8216),
1395   INT32_C(16432),
1396   INT32_C(32864),
1397   INT32_C(65728),
1398   INT32_C(131456),
1399   INT32_C(262912),
1400   INT32_C(525824),
1401   INT32_C(1051648),
1402   INT32_C(2103296),
1403   INT32_C(4206592),
1404   INT32_C(8413184),
1405   INT32_C(16826368),
1406   INT32_C(33652736),
1407   INT32_C(67305472),
1408   INT32_C(134610944),
1409   INT32_C(269221888),
1410   INT32_C(538443776),
1411   INT32_C(1076887552),
1412   INT32_C(2147483647),
1413   INT32_C(2147483647),
1414   INT32_C(2147483647),
1415   INT32_C(2147483647),
1416   INT32_C(2147483647),
1417   INT32_C(2147483647),
1418   INT32_C(2147483647),
1419   INT32_C(2147483647),
1420   INT32_C(2147483647),
1421   INT32_C(2147483647),
1422   INT32_C(2147483647),
1423   INT32_C(2147483647),
1424   INT32_C(1347),
1425   INT32_C(2694),
1426   INT32_C(5388),
1427   INT32_C(10776),
1428   INT32_C(21552),
1429   INT32_C(43104),
1430   INT32_C(86208),
1431   INT32_C(172416),
1432   INT32_C(344832),
1433   INT32_C(689664),
1434   INT32_C(1379328),
1435   INT32_C(2758656),
1436   INT32_C(5517312),
1437   INT32_C(11034624),
1438   INT32_C(22069248),
1439   INT32_C(44138496),
1440   INT32_C(88276992),
1441   INT32_C(176553984),
1442   INT32_C(353107968),
1443   INT32_C(706215936),
1444   INT32_C(1412431872),
1445   INT32_C(2147483647),
1446   INT32_C(2147483647),
1447   INT32_C(2147483647),
1448   INT32_C(2147483647),
1449   INT32_C(2147483647),
1450   INT32_C(2147483647),
1451   INT32_C(2147483647),
1452   INT32_C(2147483647),
1453   INT32_C(2147483647),
1454   INT32_C(2147483647),
1455   INT32_C(2147483647),
1456   INT32_C(2147483647),
1457   INT32_C(2044),
1458   INT32_C(4088),
1459   INT32_C(8176),
1460   INT32_C(16352),
1461   INT32_C(32704),
1462   INT32_C(65408),
1463   INT32_C(130816),
1464   INT32_C(261632),
1465   INT32_C(523264),
1466   INT32_C(1046528),
1467   INT32_C(2093056),
1468   INT32_C(4186112),
1469   INT32_C(8372224),
1470   INT32_C(16744448),
1471   INT32_C(33488896),
1472   INT32_C(66977792),
1473   INT32_C(133955584),
1474   INT32_C(267911168),
1475   INT32_C(535822336),
1476   INT32_C(1071644672),
1477   INT32_C(2143289344),
1478   INT32_C(2147483647),
1479   INT32_C(2147483647),
1480   INT32_C(2147483647),
1481   INT32_C(2147483647),
1482   INT32_C(2147483647),
1483   INT32_C(2147483647),
1484   INT32_C(2147483647),
1485   INT32_C(2147483647),
1486   INT32_C(2147483647),
1487   INT32_C(2147483647),
1488   INT32_C(2147483647),
1489   INT32_C(2147483647),
1490   INT32_C(2045),
1491   INT32_C(4090),
1492   INT32_C(8180),
1493   INT32_C(16360),
1494   INT32_C(32720),
1495   INT32_C(65440),
1496   INT32_C(130880),
1497   INT32_C(261760),
1498   INT32_C(523520),
1499   INT32_C(1047040),
1500   INT32_C(2094080),
1501   INT32_C(4188160),
1502   INT32_C(8376320),
1503   INT32_C(16752640),
1504   INT32_C(33505280),
1505   INT32_C(67010560),
1506   INT32_C(134021120),
1507   INT32_C(268042240),
1508   INT32_C(536084480),
1509   INT32_C(1072168960),
1510   INT32_C(2144337920),
1511   INT32_C(2147483647),
1512   INT32_C(2147483647),
1513   INT32_C(2147483647),
1514   INT32_C(2147483647),
1515   INT32_C(2147483647),
1516   INT32_C(2147483647),
1517   INT32_C(2147483647),
1518   INT32_C(2147483647),
1519   INT32_C(2147483647),
1520   INT32_C(2147483647),
1521   INT32_C(2147483647),
1522   INT32_C(2147483647),
1523   INT32_C(2046),
1524   INT32_C(4092),
1525   INT32_C(8184),
1526   INT32_C(16368),
1527   INT32_C(32736),
1528   INT32_C(65472),
1529   INT32_C(130944),
1530   INT32_C(261888),
1531   INT32_C(523776),
1532   INT32_C(1047552),
1533   INT32_C(2095104),
1534   INT32_C(4190208),
1535   INT32_C(8380416),
1536   INT32_C(16760832),
1537   INT32_C(33521664),
1538   INT32_C(67043328),
1539   INT32_C(134086656),
1540   INT32_C(268173312),
1541   INT32_C(536346624),
1542   INT32_C(1072693248),
1543   INT32_C(2145386496),
1544   INT32_C(2147483647),
1545   INT32_C(2147483647),
1546   INT32_C(2147483647),
1547   INT32_C(2147483647),
1548   INT32_C(2147483647),
1549   INT32_C(2147483647),
1550   INT32_C(2147483647),
1551   INT32_C(2147483647),
1552   INT32_C(2147483647),
1553   INT32_C(2147483647),
1554   INT32_C(2147483647),
1555   INT32_C(2147483647),
1556   INT32_C(2047),
1557   INT32_C(4094),
1558   INT32_C(8188),
1559   INT32_C(16376),
1560   INT32_C(32752),
1561   INT32_C(65504),
1562   INT32_C(131008),
1563   INT32_C(262016),
1564   INT32_C(524032),
1565   INT32_C(1048064),
1566   INT32_C(2096128),
1567   INT32_C(4192256),
1568   INT32_C(8384512),
1569   INT32_C(16769024),
1570   INT32_C(33538048),
1571   INT32_C(67076096),
1572   INT32_C(134152192),
1573   INT32_C(268304384),
1574   INT32_C(536608768),
1575   INT32_C(1073217536),
1576   INT32_C(2146435072),
1577   INT32_C(2147483647),
1578   INT32_C(2147483647),
1579   INT32_C(2147483647),
1580   INT32_C(2147483647),
1581   INT32_C(2147483647),
1582   INT32_C(2147483647),
1583   INT32_C(2147483647),
1584   INT32_C(2147483647),
1585   INT32_C(2147483647),
1586   INT32_C(2147483647),
1587   INT32_C(2147483647),
1588   INT32_C(2147483647),
1589   INT32_C(512),
1590   INT32_C(1024),
1591   INT32_C(2048),
1592   INT32_C(4096),
1593   INT32_C(8192),
1594   INT32_C(16384),
1595   INT32_C(32768),
1596   INT32_C(65536),
1597   INT32_C(131072),
1598   INT32_C(262144),
1599   INT32_C(524288),
1600   INT32_C(1048576),
1601   INT32_C(2097152),
1602   INT32_C(4194304),
1603   INT32_C(8388608),
1604   INT32_C(16777216),
1605   INT32_C(33554432),
1606   INT32_C(67108864),
1607   INT32_C(134217728),
1608   INT32_C(268435456),
1609   INT32_C(536870912),
1610   INT32_C(1073741824),
1611   INT32_C(2147483647),
1612   INT32_C(2147483647),
1613   INT32_C(2147483647),
1614   INT32_C(2147483647),
1615   INT32_C(2147483647),
1616   INT32_C(2147483647),
1617   INT32_C(2147483647),
1618   INT32_C(2147483647),
1619   INT32_C(2147483647),
1620   INT32_C(2147483647),
1621   INT32_C(2147483647),
1622   INT32_C(512),
1623   INT32_C(1025),
1624   INT32_C(2050),
1625   INT32_C(4100),
1626   INT32_C(8200),
1627   INT32_C(16400),
1628   INT32_C(32800),
1629   INT32_C(65600),
1630   INT32_C(131200),
1631   INT32_C(262400),
1632   INT32_C(524800),
1633   INT32_C(1049600),
1634   INT32_C(2099200),
1635   INT32_C(4198400),
1636   INT32_C(8396800),
1637   INT32_C(16793600),
1638   INT32_C(33587200),
1639   INT32_C(67174400),
1640   INT32_C(134348800),
1641   INT32_C(268697600),
1642   INT32_C(537395200),
1643   INT32_C(1074790400),
1644   INT32_C(2147483647),
1645   INT32_C(2147483647),
1646   INT32_C(2147483647),
1647   INT32_C(2147483647),
1648   INT32_C(2147483647),
1649   INT32_C(2147483647),
1650   INT32_C(2147483647),
1651   INT32_C(2147483647),
1652   INT32_C(2147483647),
1653   INT32_C(2147483647),
1654   INT32_C(2147483647),
1655   INT32_C(513),
1656   INT32_C(1026),
1657   INT32_C(2052),
1658   INT32_C(4104),
1659   INT32_C(8208),
1660   INT32_C(16416),
1661   INT32_C(32832),
1662   INT32_C(65664),
1663   INT32_C(131328),
1664   INT32_C(262656),
1665   INT32_C(525312),
1666   INT32_C(1050624),
1667   INT32_C(2101248),
1668   INT32_C(4202496),
1669   INT32_C(8404992),
1670   INT32_C(16809984),
1671   INT32_C(33619968),
1672   INT32_C(67239936),
1673   INT32_C(134479872),
1674   INT32_C(268959744),
1675   INT32_C(537919488),
1676   INT32_C(1075838976),
1677   INT32_C(2147483647),
1678   INT32_C(2147483647),
1679   INT32_C(2147483647),
1680   INT32_C(2147483647),
1681   INT32_C(2147483647),
1682   INT32_C(2147483647),
1683   INT32_C(2147483647),
1684   INT32_C(2147483647),
1685   INT32_C(2147483647),
1686   INT32_C(2147483647),
1687   INT32_C(2147483647),
1688   INT32_C(513),
1689   INT32_C(1027),
1690   INT32_C(2054),
1691   INT32_C(4108),
1692   INT32_C(8216),
1693   INT32_C(16432),
1694   INT32_C(32864),
1695   INT32_C(65728),
1696   INT32_C(131456),
1697   INT32_C(262912),
1698   INT32_C(525824),
1699   INT32_C(1051648),
1700   INT32_C(2103296),
1701   INT32_C(4206592),
1702   INT32_C(8413184),
1703   INT32_C(16826368),
1704   INT32_C(33652736),
1705   INT32_C(67305472),
1706   INT32_C(134610944),
1707   INT32_C(269221888),
1708   INT32_C(538443776),
1709   INT32_C(1076887552),
1710   INT32_C(2147483647),
1711   INT32_C(2147483647),
1712   INT32_C(2147483647),
1713   INT32_C(2147483647),
1714   INT32_C(2147483647),
1715   INT32_C(2147483647),
1716   INT32_C(2147483647),
1717   INT32_C(2147483647),
1718   INT32_C(2147483647),
1719   INT32_C(2147483647),
1720   INT32_C(2147483647),
1721   INT32_C(912),
1722   INT32_C(1825),
1723   INT32_C(3650),
1724   INT32_C(7300),
1725   INT32_C(14600),
1726   INT32_C(29200),
1727   INT32_C(58400),
1728   INT32_C(116800),
1729   INT32_C(233600),
1730   INT32_C(467200),
1731   INT32_C(934400),
1732   INT32_C(1868800),
1733   INT32_C(3737600),
1734   INT32_C(7475200),
1735   INT32_C(14950400),
1736   INT32_C(29900800),
1737   INT32_C(59801600),
1738   INT32_C(119603200),
1739   INT32_C(239206400),
1740   INT32_C(478412800),
1741   INT32_C(956825600),
1742   INT32_C(1913651200),
1743   INT32_C(2147483647),
1744   INT32_C(2147483647),
1745   INT32_C(2147483647),
1746   INT32_C(2147483647),
1747   INT32_C(2147483647),
1748   INT32_C(2147483647),
1749   INT32_C(2147483647),
1750   INT32_C(2147483647),
1751   INT32_C(2147483647),
1752   INT32_C(2147483647),
1753   INT32_C(2147483647),
1754   INT32_C(1022),
1755   INT32_C(2044),
1756   INT32_C(4088),
1757   INT32_C(8176),
1758   INT32_C(16352),
1759   INT32_C(32704),
1760   INT32_C(65408),
1761   INT32_C(130816),
1762   INT32_C(261632),
1763   INT32_C(523264),
1764   INT32_C(1046528),
1765   INT32_C(2093056),
1766   INT32_C(4186112),
1767   INT32_C(8372224),
1768   INT32_C(16744448),
1769   INT32_C(33488896),
1770   INT32_C(66977792),
1771   INT32_C(133955584),
1772   INT32_C(267911168),
1773   INT32_C(535822336),
1774   INT32_C(1071644672),
1775   INT32_C(2143289344),
1776   INT32_C(2147483647),
1777   INT32_C(2147483647),
1778   INT32_C(2147483647),
1779   INT32_C(2147483647),
1780   INT32_C(2147483647),
1781   INT32_C(2147483647),
1782   INT32_C(2147483647),
1783   INT32_C(2147483647),
1784   INT32_C(2147483647),
1785   INT32_C(2147483647),
1786   INT32_C(2147483647),
1787   INT32_C(1022),
1788   INT32_C(2045),
1789   INT32_C(4090),
1790   INT32_C(8180),
1791   INT32_C(16360),
1792   INT32_C(32720),
1793   INT32_C(65440),
1794   INT32_C(130880),
1795   INT32_C(261760),
1796   INT32_C(523520),
1797   INT32_C(1047040),
1798   INT32_C(2094080),
1799   INT32_C(4188160),
1800   INT32_C(8376320),
1801   INT32_C(16752640),
1802   INT32_C(33505280),
1803   INT32_C(67010560),
1804   INT32_C(134021120),
1805   INT32_C(268042240),
1806   INT32_C(536084480),
1807   INT32_C(1072168960),
1808   INT32_C(2144337920),
1809   INT32_C(2147483647),
1810   INT32_C(2147483647),
1811   INT32_C(2147483647),
1812   INT32_C(2147483647),
1813   INT32_C(2147483647),
1814   INT32_C(2147483647),
1815   INT32_C(2147483647),
1816   INT32_C(2147483647),
1817   INT32_C(2147483647),
1818   INT32_C(2147483647),
1819   INT32_C(2147483647),
1820   INT32_C(1023),
1821   INT32_C(2046),
1822   INT32_C(4092),
1823   INT32_C(8184),
1824   INT32_C(16368),
1825   INT32_C(32736),
1826   INT32_C(65472),
1827   INT32_C(130944),
1828   INT32_C(261888),
1829   INT32_C(523776),
1830   INT32_C(1047552),
1831   INT32_C(2095104),
1832   INT32_C(4190208),
1833   INT32_C(8380416),
1834   INT32_C(16760832),
1835   INT32_C(33521664),
1836   INT32_C(67043328),
1837   INT32_C(134086656),
1838   INT32_C(268173312),
1839   INT32_C(536346624),
1840   INT32_C(1072693248),
1841   INT32_C(2145386496),
1842   INT32_C(2147483647),
1843   INT32_C(2147483647),
1844   INT32_C(2147483647),
1845   INT32_C(2147483647),
1846   INT32_C(2147483647),
1847   INT32_C(2147483647),
1848   INT32_C(2147483647),
1849   INT32_C(2147483647),
1850   INT32_C(2147483647),
1851   INT32_C(2147483647),
1852   INT32_C(2147483647),
1853   INT32_C(1023),
1854   INT32_C(2047),
1855   INT32_C(4094),
1856   INT32_C(8188),
1857   INT32_C(16376),
1858   INT32_C(32752),
1859   INT32_C(65504),
1860   INT32_C(131008),
1861   INT32_C(262016),
1862   INT32_C(524032),
1863   INT32_C(1048064),
1864   INT32_C(2096128),
1865   INT32_C(4192256),
1866   INT32_C(8384512),
1867   INT32_C(16769024),
1868   INT32_C(33538048),
1869   INT32_C(67076096),
1870   INT32_C(134152192),
1871   INT32_C(268304384),
1872   INT32_C(536608768),
1873   INT32_C(1073217536),
1874   INT32_C(2146435072),
1875   INT32_C(2147483647),
1876   INT32_C(2147483647),
1877   INT32_C(2147483647),
1878   INT32_C(2147483647),
1879   INT32_C(2147483647),
1880   INT32_C(2147483647),
1881   INT32_C(2147483647),
1882   INT32_C(2147483647),
1883   INT32_C(2147483647),
1884   INT32_C(2147483647),
1885   INT32_C(2147483647),
1886   INT32_C(256),
1887   INT32_C(512),
1888   INT32_C(1024),
1889   INT32_C(2048),
1890   INT32_C(4096),
1891   INT32_C(8192),
1892   INT32_C(16384),
1893   INT32_C(32768),
1894   INT32_C(65536),
1895   INT32_C(131072),
1896   INT32_C(262144),
1897   INT32_C(524288),
1898   INT32_C(1048576),
1899   INT32_C(2097152),
1900   INT32_C(4194304),
1901   INT32_C(8388608),
1902   INT32_C(16777216),
1903   INT32_C(33554432),
1904   INT32_C(67108864),
1905   INT32_C(134217728),
1906   INT32_C(268435456),
1907   INT32_C(536870912),
1908   INT32_C(1073741824),
1909   INT32_C(2147483647),
1910   INT32_C(2147483647),
1911   INT32_C(2147483647),
1912   INT32_C(2147483647),
1913   INT32_C(2147483647),
1914   INT32_C(2147483647),
1915   INT32_C(2147483647),
1916   INT32_C(2147483647),
1917   INT32_C(2147483647),
1918   INT32_C(2147483647),
1919   INT32_C(256),
1920   INT32_C(512),
1921   INT32_C(1025),
1922   INT32_C(2050),
1923   INT32_C(4100),
1924   INT32_C(8200),
1925   INT32_C(16400),
1926   INT32_C(32800),
1927   INT32_C(65600),
1928   INT32_C(131200),
1929   INT32_C(262400),
1930   INT32_C(524800),
1931   INT32_C(1049600),
1932   INT32_C(2099200),
1933   INT32_C(4198400),
1934   INT32_C(8396800),
1935   INT32_C(16793600),
1936   INT32_C(33587200),
1937   INT32_C(67174400),
1938   INT32_C(134348800),
1939   INT32_C(268697600),
1940   INT32_C(537395200),
1941   INT32_C(1074790400),
1942   INT32_C(2147483647),
1943   INT32_C(2147483647),
1944   INT32_C(2147483647),
1945   INT32_C(2147483647),
1946   INT32_C(2147483647),
1947   INT32_C(2147483647),
1948   INT32_C(2147483647),
1949   INT32_C(2147483647),
1950   INT32_C(2147483647),
1951   INT32_C(2147483647),
1952   INT32_C(256),
1953   INT32_C(513),
1954   INT32_C(1026),
1955   INT32_C(2052),
1956   INT32_C(4104),
1957   INT32_C(8208),
1958   INT32_C(16416),
1959   INT32_C(32832),
1960   INT32_C(65664),
1961   INT32_C(131328),
1962   INT32_C(262656),
1963   INT32_C(525312),
1964   INT32_C(1050624),
1965   INT32_C(2101248),
1966   INT32_C(4202496),
1967   INT32_C(8404992),
1968   INT32_C(16809984),
1969   INT32_C(33619968),
1970   INT32_C(67239936),
1971   INT32_C(134479872),
1972   INT32_C(268959744),
1973   INT32_C(537919488),
1974   INT32_C(1075838976),
1975   INT32_C(2147483647),
1976   INT32_C(2147483647),
1977   INT32_C(2147483647),
1978   INT32_C(2147483647),
1979   INT32_C(2147483647),
1980   INT32_C(2147483647),
1981   INT32_C(2147483647),
1982   INT32_C(2147483647),
1983   INT32_C(2147483647),
1984   INT32_C(2147483647),
1985   INT32_C(256),
1986   INT32_C(513),
1987   INT32_C(1027),
1988   INT32_C(2054),
1989   INT32_C(4108),
1990   INT32_C(8216),
1991   INT32_C(16432),
1992   INT32_C(32864),
1993   INT32_C(65728),
1994   INT32_C(131456),
1995   INT32_C(262912),
1996   INT32_C(525824),
1997   INT32_C(1051648),
1998   INT32_C(2103296),
1999   INT32_C(4206592),
2000   INT32_C(8413184),
2001   INT32_C(16826368),
2002   INT32_C(33652736),
2003   INT32_C(67305472),
2004   INT32_C(134610944),
2005   INT32_C(269221888),
2006   INT32_C(538443776),
2007   INT32_C(1076887552),
2008   INT32_C(2147483647),
2009   INT32_C(2147483647),
2010   INT32_C(2147483647),
2011   INT32_C(2147483647),
2012   INT32_C(2147483647),
2013   INT32_C(2147483647),
2014   INT32_C(2147483647),
2015   INT32_C(2147483647),
2016   INT32_C(2147483647),
2017   INT32_C(2147483647),
2018   INT32_C(332),
2019   INT32_C(665),
2020   INT32_C(1330),
2021   INT32_C(2660),
2022   INT32_C(5320),
2023   INT32_C(10640),
2024   INT32_C(21280),
2025   INT32_C(42560),
2026   INT32_C(85120),
2027   INT32_C(170240),
2028   INT32_C(340480),
2029   INT32_C(680960),
2030   INT32_C(1361920),
2031   INT32_C(2723840),
2032   INT32_C(5447680),
2033   INT32_C(10895360),
2034   INT32_C(21790720),
2035   INT32_C(43581440),
2036   INT32_C(87162880),
2037   INT32_C(174325760),
2038   INT32_C(348651520),
2039   INT32_C(697303040),
2040   INT32_C(1394606080),
2041   INT32_C(2147483647),
2042   INT32_C(2147483647),
2043   INT32_C(2147483647),
2044   INT32_C(2147483647),
2045   INT32_C(2147483647),
2046   INT32_C(2147483647),
2047   INT32_C(2147483647),
2048   INT32_C(2147483647),
2049   INT32_C(2147483647),
2050   INT32_C(2147483647),
2051   INT32_C(511),
2052   INT32_C(1022),
2053   INT32_C(2044),
2054   INT32_C(4088),
2055   INT32_C(8176),
2056   INT32_C(16352),
2057   INT32_C(32704),
2058   INT32_C(65408),
2059   INT32_C(130816),
2060   INT32_C(261632),
2061   INT32_C(523264),
2062   INT32_C(1046528),
2063   INT32_C(2093056),
2064   INT32_C(4186112),
2065   INT32_C(8372224),
2066   INT32_C(16744448),
2067   INT32_C(33488896),
2068   INT32_C(66977792),
2069   INT32_C(133955584),
2070   INT32_C(267911168),
2071   INT32_C(535822336),
2072   INT32_C(1071644672),
2073   INT32_C(2143289344),
2074   INT32_C(2147483647),
2075   INT32_C(2147483647),
2076   INT32_C(2147483647),
2077   INT32_C(2147483647),
2078   INT32_C(2147483647),
2079   INT32_C(2147483647),
2080   INT32_C(2147483647),
2081   INT32_C(2147483647),
2082   INT32_C(2147483647),
2083   INT32_C(2147483647),
2084   INT32_C(511),
2085   INT32_C(1022),
2086   INT32_C(2045),
2087   INT32_C(4090),
2088   INT32_C(8180),
2089   INT32_C(16360),
2090   INT32_C(32720),
2091   INT32_C(65440),
2092   INT32_C(130880),
2093   INT32_C(261760),
2094   INT32_C(523520),
2095   INT32_C(1047040),
2096   INT32_C(2094080),
2097   INT32_C(4188160),
2098   INT32_C(8376320),
2099   INT32_C(16752640),
2100   INT32_C(33505280),
2101   INT32_C(67010560),
2102   INT32_C(134021120),
2103   INT32_C(268042240),
2104   INT32_C(536084480),
2105   INT32_C(1072168960),
2106   INT32_C(2144337920),
2107   INT32_C(2147483647),
2108   INT32_C(2147483647),
2109   INT32_C(2147483647),
2110   INT32_C(2147483647),
2111   INT32_C(2147483647),
2112   INT32_C(2147483647),
2113   INT32_C(2147483647),
2114   INT32_C(2147483647),
2115   INT32_C(2147483647),
2116   INT32_C(2147483647),
2117   INT32_C(511),
2118   INT32_C(1023),
2119   INT32_C(2046),
2120   INT32_C(4092),
2121   INT32_C(8184),
2122   INT32_C(16368),
2123   INT32_C(32736),
2124   INT32_C(65472),
2125   INT32_C(130944),
2126   INT32_C(261888),
2127   INT32_C(523776),
2128   INT32_C(1047552),
2129   INT32_C(2095104),
2130   INT32_C(4190208),
2131   INT32_C(8380416),
2132   INT32_C(16760832),
2133   INT32_C(33521664),
2134   INT32_C(67043328),
2135   INT32_C(134086656),
2136   INT32_C(268173312),
2137   INT32_C(536346624),
2138   INT32_C(1072693248),
2139   INT32_C(2145386496),
2140   INT32_C(2147483647),
2141   INT32_C(2147483647),
2142   INT32_C(2147483647),
2143   INT32_C(2147483647),
2144   INT32_C(2147483647),
2145   INT32_C(2147483647),
2146   INT32_C(2147483647),
2147   INT32_C(2147483647),
2148   INT32_C(2147483647),
2149   INT32_C(2147483647),
2150   INT32_C(511),
2151   INT32_C(1023),
2152   INT32_C(2047),
2153   INT32_C(4094),
2154   INT32_C(8188),
2155   INT32_C(16376),
2156   INT32_C(32752),
2157   INT32_C(65504),
2158   INT32_C(131008),
2159   INT32_C(262016),
2160   INT32_C(524032),
2161   INT32_C(1048064),
2162   INT32_C(2096128),
2163   INT32_C(4192256),
2164   INT32_C(8384512),
2165   INT32_C(16769024),
2166   INT32_C(33538048),
2167   INT32_C(67076096),
2168   INT32_C(134152192),
2169   INT32_C(268304384),
2170   INT32_C(536608768),
2171   INT32_C(1073217536),
2172   INT32_C(2146435072),
2173   INT32_C(2147483647),
2174   INT32_C(2147483647),
2175   INT32_C(2147483647),
2176   INT32_C(2147483647),
2177   INT32_C(2147483647),
2178   INT32_C(2147483647),
2179   INT32_C(2147483647),
2180   INT32_C(2147483647),
2181   INT32_C(2147483647),
2182   INT32_C(2147483647),
2183   -INT32_C(1024),
2184   -INT32_C(2048),
2185   -INT32_C(4096),
2186   -INT32_C(8192),
2187   -INT32_C(16384),
2188   -INT32_C(32768),
2189   -INT32_C(65536),
2190   -INT32_C(131072),
2191   -INT32_C(262144),
2192   -INT32_C(524288),
2193   -INT32_C(1048576),
2194   -INT32_C(2097152),
2195   -INT32_C(4194304),
2196   -INT32_C(8388608),
2197   -INT32_C(16777216),
2198   -INT32_C(33554432),
2199   -INT32_C(67108864),
2200   -INT32_C(134217728),
2201   -INT32_C(268435456),
2202   -INT32_C(536870912),
2203   -INT32_C(1073741824),
2204   -INT32_C(2147483647) - 1,
2205   -INT32_C(2147483647) - 1,
2206   -INT32_C(2147483647) - 1,
2207   -INT32_C(2147483647) - 1,
2208   -INT32_C(2147483647) - 1,
2209   -INT32_C(2147483647) - 1,
2210   -INT32_C(2147483647) - 1,
2211   -INT32_C(2147483647) - 1,
2212   -INT32_C(2147483647) - 1,
2213   -INT32_C(2147483647) - 1,
2214   -INT32_C(2147483647) - 1,
2215   -INT32_C(2147483647) - 1,
2216   -INT32_C(1025),
2217   -INT32_C(2050),
2218   -INT32_C(4100),
2219   -INT32_C(8200),
2220   -INT32_C(16400),
2221   -INT32_C(32800),
2222   -INT32_C(65600),
2223   -INT32_C(131200),
2224   -INT32_C(262400),
2225   -INT32_C(524800),
2226   -INT32_C(1049600),
2227   -INT32_C(2099200),
2228   -INT32_C(4198400),
2229   -INT32_C(8396800),
2230   -INT32_C(16793600),
2231   -INT32_C(33587200),
2232   -INT32_C(67174400),
2233   -INT32_C(134348800),
2234   -INT32_C(268697600),
2235   -INT32_C(537395200),
2236   -INT32_C(1074790400),
2237   -INT32_C(2147483647) - 1,
2238   -INT32_C(2147483647) - 1,
2239   -INT32_C(2147483647) - 1,
2240   -INT32_C(2147483647) - 1,
2241   -INT32_C(2147483647) - 1,
2242   -INT32_C(2147483647) - 1,
2243   -INT32_C(2147483647) - 1,
2244   -INT32_C(2147483647) - 1,
2245   -INT32_C(2147483647) - 1,
2246   -INT32_C(2147483647) - 1,
2247   -INT32_C(2147483647) - 1,
2248   -INT32_C(2147483647) - 1,
2249   -INT32_C(1026),
2250   -INT32_C(2052),
2251   -INT32_C(4104),
2252   -INT32_C(8208),
2253   -INT32_C(16416),
2254   -INT32_C(32832),
2255   -INT32_C(65664),
2256   -INT32_C(131328),
2257   -INT32_C(262656),
2258   -INT32_C(525312),
2259   -INT32_C(1050624),
2260   -INT32_C(2101248),
2261   -INT32_C(4202496),
2262   -INT32_C(8404992),
2263   -INT32_C(16809984),
2264   -INT32_C(33619968),
2265   -INT32_C(67239936),
2266   -INT32_C(134479872),
2267   -INT32_C(268959744),
2268   -INT32_C(537919488),
2269   -INT32_C(1075838976),
2270   -INT32_C(2147483647) - 1,
2271   -INT32_C(2147483647) - 1,
2272   -INT32_C(2147483647) - 1,
2273   -INT32_C(2147483647) - 1,
2274   -INT32_C(2147483647) - 1,
2275   -INT32_C(2147483647) - 1,
2276   -INT32_C(2147483647) - 1,
2277   -INT32_C(2147483647) - 1,
2278   -INT32_C(2147483647) - 1,
2279   -INT32_C(2147483647) - 1,
2280   -INT32_C(2147483647) - 1,
2281   -INT32_C(2147483647) - 1,
2282   -INT32_C(1027),
2283   -INT32_C(2054),
2284   -INT32_C(4108),
2285   -INT32_C(8216),
2286   -INT32_C(16432),
2287   -INT32_C(32864),
2288   -INT32_C(65728),
2289   -INT32_C(131456),
2290   -INT32_C(262912),
2291   -INT32_C(525824),
2292   -INT32_C(1051648),
2293   -INT32_C(2103296),
2294   -INT32_C(4206592),
2295   -INT32_C(8413184),
2296   -INT32_C(16826368),
2297   -INT32_C(33652736),
2298   -INT32_C(67305472),
2299   -INT32_C(134610944),
2300   -INT32_C(269221888),
2301   -INT32_C(538443776),
2302   -INT32_C(1076887552),
2303   -INT32_C(2147483647) - 1,
2304   -INT32_C(2147483647) - 1,
2305   -INT32_C(2147483647) - 1,
2306   -INT32_C(2147483647) - 1,
2307   -INT32_C(2147483647) - 1,
2308   -INT32_C(2147483647) - 1,
2309   -INT32_C(2147483647) - 1,
2310   -INT32_C(2147483647) - 1,
2311   -INT32_C(2147483647) - 1,
2312   -INT32_C(2147483647) - 1,
2313   -INT32_C(2147483647) - 1,
2314   -INT32_C(2147483647) - 1,
2315   -INT32_C(1347),
2316   -INT32_C(2694),
2317   -INT32_C(5388),
2318   -INT32_C(10776),
2319   -INT32_C(21552),
2320   -INT32_C(43104),
2321   -INT32_C(86208),
2322   -INT32_C(172416),
2323   -INT32_C(344832),
2324   -INT32_C(689664),
2325   -INT32_C(1379328),
2326   -INT32_C(2758656),
2327   -INT32_C(5517312),
2328   -INT32_C(11034624),
2329   -INT32_C(22069248),
2330   -INT32_C(44138496),
2331   -INT32_C(88276992),
2332   -INT32_C(176553984),
2333   -INT32_C(353107968),
2334   -INT32_C(706215936),
2335   -INT32_C(1412431872),
2336   -INT32_C(2147483647) - 1,
2337   -INT32_C(2147483647) - 1,
2338   -INT32_C(2147483647) - 1,
2339   -INT32_C(2147483647) - 1,
2340   -INT32_C(2147483647) - 1,
2341   -INT32_C(2147483647) - 1,
2342   -INT32_C(2147483647) - 1,
2343   -INT32_C(2147483647) - 1,
2344   -INT32_C(2147483647) - 1,
2345   -INT32_C(2147483647) - 1,
2346   -INT32_C(2147483647) - 1,
2347   -INT32_C(2147483647) - 1,
2348   -INT32_C(2044),
2349   -INT32_C(4088),
2350   -INT32_C(8176),
2351   -INT32_C(16352),
2352   -INT32_C(32704),
2353   -INT32_C(65408),
2354   -INT32_C(130816),
2355   -INT32_C(261632),
2356   -INT32_C(523264),
2357   -INT32_C(1046528),
2358   -INT32_C(2093056),
2359   -INT32_C(4186112),
2360   -INT32_C(8372224),
2361   -INT32_C(16744448),
2362   -INT32_C(33488896),
2363   -INT32_C(66977792),
2364   -INT32_C(133955584),
2365   -INT32_C(267911168),
2366   -INT32_C(535822336),
2367   -INT32_C(1071644672),
2368   -INT32_C(2143289344),
2369   -INT32_C(2147483647) - 1,
2370   -INT32_C(2147483647) - 1,
2371   -INT32_C(2147483647) - 1,
2372   -INT32_C(2147483647) - 1,
2373   -INT32_C(2147483647) - 1,
2374   -INT32_C(2147483647) - 1,
2375   -INT32_C(2147483647) - 1,
2376   -INT32_C(2147483647) - 1,
2377   -INT32_C(2147483647) - 1,
2378   -INT32_C(2147483647) - 1,
2379   -INT32_C(2147483647) - 1,
2380   -INT32_C(2147483647) - 1,
2381   -INT32_C(2045),
2382   -INT32_C(4090),
2383   -INT32_C(8180),
2384   -INT32_C(16360),
2385   -INT32_C(32720),
2386   -INT32_C(65440),
2387   -INT32_C(130880),
2388   -INT32_C(261760),
2389   -INT32_C(523520),
2390   -INT32_C(1047040),
2391   -INT32_C(2094080),
2392   -INT32_C(4188160),
2393   -INT32_C(8376320),
2394   -INT32_C(16752640),
2395   -INT32_C(33505280),
2396   -INT32_C(67010560),
2397   -INT32_C(134021120),
2398   -INT32_C(268042240),
2399   -INT32_C(536084480),
2400   -INT32_C(1072168960),
2401   -INT32_C(2144337920),
2402   -INT32_C(2147483647) - 1,
2403   -INT32_C(2147483647) - 1,
2404   -INT32_C(2147483647) - 1,
2405   -INT32_C(2147483647) - 1,
2406   -INT32_C(2147483647) - 1,
2407   -INT32_C(2147483647) - 1,
2408   -INT32_C(2147483647) - 1,
2409   -INT32_C(2147483647) - 1,
2410   -INT32_C(2147483647) - 1,
2411   -INT32_C(2147483647) - 1,
2412   -INT32_C(2147483647) - 1,
2413   -INT32_C(2147483647) - 1,
2414   -INT32_C(2046),
2415   -INT32_C(4092),
2416   -INT32_C(8184),
2417   -INT32_C(16368),
2418   -INT32_C(32736),
2419   -INT32_C(65472),
2420   -INT32_C(130944),
2421   -INT32_C(261888),
2422   -INT32_C(523776),
2423   -INT32_C(1047552),
2424   -INT32_C(2095104),
2425   -INT32_C(4190208),
2426   -INT32_C(8380416),
2427   -INT32_C(16760832),
2428   -INT32_C(33521664),
2429   -INT32_C(67043328),
2430   -INT32_C(134086656),
2431   -INT32_C(268173312),
2432   -INT32_C(536346624),
2433   -INT32_C(1072693248),
2434   -INT32_C(2145386496),
2435   -INT32_C(2147483647) - 1,
2436   -INT32_C(2147483647) - 1,
2437   -INT32_C(2147483647) - 1,
2438   -INT32_C(2147483647) - 1,
2439   -INT32_C(2147483647) - 1,
2440   -INT32_C(2147483647) - 1,
2441   -INT32_C(2147483647) - 1,
2442   -INT32_C(2147483647) - 1,
2443   -INT32_C(2147483647) - 1,
2444   -INT32_C(2147483647) - 1,
2445   -INT32_C(2147483647) - 1,
2446   -INT32_C(2147483647) - 1,
2447   -INT32_C(2047),
2448   -INT32_C(4094),
2449   -INT32_C(8188),
2450   -INT32_C(16376),
2451   -INT32_C(32752),
2452   -INT32_C(65504),
2453   -INT32_C(131008),
2454   -INT32_C(262016),
2455   -INT32_C(524032),
2456   -INT32_C(1048064),
2457   -INT32_C(2096128),
2458   -INT32_C(4192256),
2459   -INT32_C(8384512),
2460   -INT32_C(16769024),
2461   -INT32_C(33538048),
2462   -INT32_C(67076096),
2463   -INT32_C(134152192),
2464   -INT32_C(268304384),
2465   -INT32_C(536608768),
2466   -INT32_C(1073217536),
2467   -INT32_C(2146435072),
2468   -INT32_C(2147483647) - 1,
2469   -INT32_C(2147483647) - 1,
2470   -INT32_C(2147483647) - 1,
2471   -INT32_C(2147483647) - 1,
2472   -INT32_C(2147483647) - 1,
2473   -INT32_C(2147483647) - 1,
2474   -INT32_C(2147483647) - 1,
2475   -INT32_C(2147483647) - 1,
2476   -INT32_C(2147483647) - 1,
2477   -INT32_C(2147483647) - 1,
2478   -INT32_C(2147483647) - 1,
2479   -INT32_C(2147483647) - 1,
2480   -INT32_C(512),
2481   -INT32_C(1024),
2482   -INT32_C(2048),
2483   -INT32_C(4096),
2484   -INT32_C(8192),
2485   -INT32_C(16384),
2486   -INT32_C(32768),
2487   -INT32_C(65536),
2488   -INT32_C(131072),
2489   -INT32_C(262144),
2490   -INT32_C(524288),
2491   -INT32_C(1048576),
2492   -INT32_C(2097152),
2493   -INT32_C(4194304),
2494   -INT32_C(8388608),
2495   -INT32_C(16777216),
2496   -INT32_C(33554432),
2497   -INT32_C(67108864),
2498   -INT32_C(134217728),
2499   -INT32_C(268435456),
2500   -INT32_C(536870912),
2501   -INT32_C(1073741824),
2502   -INT32_C(2147483647) - 1,
2503   -INT32_C(2147483647) - 1,
2504   -INT32_C(2147483647) - 1,
2505   -INT32_C(2147483647) - 1,
2506   -INT32_C(2147483647) - 1,
2507   -INT32_C(2147483647) - 1,
2508   -INT32_C(2147483647) - 1,
2509   -INT32_C(2147483647) - 1,
2510   -INT32_C(2147483647) - 1,
2511   -INT32_C(2147483647) - 1,
2512   -INT32_C(2147483647) - 1,
2513   -INT32_C(512),
2514   -INT32_C(1025),
2515   -INT32_C(2050),
2516   -INT32_C(4100),
2517   -INT32_C(8200),
2518   -INT32_C(16400),
2519   -INT32_C(32800),
2520   -INT32_C(65600),
2521   -INT32_C(131200),
2522   -INT32_C(262400),
2523   -INT32_C(524800),
2524   -INT32_C(1049600),
2525   -INT32_C(2099200),
2526   -INT32_C(4198400),
2527   -INT32_C(8396800),
2528   -INT32_C(16793600),
2529   -INT32_C(33587200),
2530   -INT32_C(67174400),
2531   -INT32_C(134348800),
2532   -INT32_C(268697600),
2533   -INT32_C(537395200),
2534   -INT32_C(1074790400),
2535   -INT32_C(2147483647) - 1,
2536   -INT32_C(2147483647) - 1,
2537   -INT32_C(2147483647) - 1,
2538   -INT32_C(2147483647) - 1,
2539   -INT32_C(2147483647) - 1,
2540   -INT32_C(2147483647) - 1,
2541   -INT32_C(2147483647) - 1,
2542   -INT32_C(2147483647) - 1,
2543   -INT32_C(2147483647) - 1,
2544   -INT32_C(2147483647) - 1,
2545   -INT32_C(2147483647) - 1,
2546   -INT32_C(513),
2547   -INT32_C(1026),
2548   -INT32_C(2052),
2549   -INT32_C(4104),
2550   -INT32_C(8208),
2551   -INT32_C(16416),
2552   -INT32_C(32832),
2553   -INT32_C(65664),
2554   -INT32_C(131328),
2555   -INT32_C(262656),
2556   -INT32_C(525312),
2557   -INT32_C(1050624),
2558   -INT32_C(2101248),
2559   -INT32_C(4202496),
2560   -INT32_C(8404992),
2561   -INT32_C(16809984),
2562   -INT32_C(33619968),
2563   -INT32_C(67239936),
2564   -INT32_C(134479872),
2565   -INT32_C(268959744),
2566   -INT32_C(537919488),
2567   -INT32_C(1075838976),
2568   -INT32_C(2147483647) - 1,
2569   -INT32_C(2147483647) - 1,
2570   -INT32_C(2147483647) - 1,
2571   -INT32_C(2147483647) - 1,
2572   -INT32_C(2147483647) - 1,
2573   -INT32_C(2147483647) - 1,
2574   -INT32_C(2147483647) - 1,
2575   -INT32_C(2147483647) - 1,
2576   -INT32_C(2147483647) - 1,
2577   -INT32_C(2147483647) - 1,
2578   -INT32_C(2147483647) - 1,
2579   -INT32_C(513),
2580   -INT32_C(1027),
2581   -INT32_C(2054),
2582   -INT32_C(4108),
2583   -INT32_C(8216),
2584   -INT32_C(16432),
2585   -INT32_C(32864),
2586   -INT32_C(65728),
2587   -INT32_C(131456),
2588   -INT32_C(262912),
2589   -INT32_C(525824),
2590   -INT32_C(1051648),
2591   -INT32_C(2103296),
2592   -INT32_C(4206592),
2593   -INT32_C(8413184),
2594   -INT32_C(16826368),
2595   -INT32_C(33652736),
2596   -INT32_C(67305472),
2597   -INT32_C(134610944),
2598   -INT32_C(269221888),
2599   -INT32_C(538443776),
2600   -INT32_C(1076887552),
2601   -INT32_C(2147483647) - 1,
2602   -INT32_C(2147483647) - 1,
2603   -INT32_C(2147483647) - 1,
2604   -INT32_C(2147483647) - 1,
2605   -INT32_C(2147483647) - 1,
2606   -INT32_C(2147483647) - 1,
2607   -INT32_C(2147483647) - 1,
2608   -INT32_C(2147483647) - 1,
2609   -INT32_C(2147483647) - 1,
2610   -INT32_C(2147483647) - 1,
2611   -INT32_C(2147483647) - 1,
2612   -INT32_C(912),
2613   -INT32_C(1825),
2614   -INT32_C(3650),
2615   -INT32_C(7300),
2616   -INT32_C(14600),
2617   -INT32_C(29200),
2618   -INT32_C(58400),
2619   -INT32_C(116800),
2620   -INT32_C(233600),
2621   -INT32_C(467200),
2622   -INT32_C(934400),
2623   -INT32_C(1868800),
2624   -INT32_C(3737600),
2625   -INT32_C(7475200),
2626   -INT32_C(14950400),
2627   -INT32_C(29900800),
2628   -INT32_C(59801600),
2629   -INT32_C(119603200),
2630   -INT32_C(239206400),
2631   -INT32_C(478412800),
2632   -INT32_C(956825600),
2633   -INT32_C(1913651200),
2634   -INT32_C(2147483647) - 1,
2635   -INT32_C(2147483647) - 1,
2636   -INT32_C(2147483647) - 1,
2637   -INT32_C(2147483647) - 1,
2638   -INT32_C(2147483647) - 1,
2639   -INT32_C(2147483647) - 1,
2640   -INT32_C(2147483647) - 1,
2641   -INT32_C(2147483647) - 1,
2642   -INT32_C(2147483647) - 1,
2643   -INT32_C(2147483647) - 1,
2644   -INT32_C(2147483647) - 1,
2645   -INT32_C(1022),
2646   -INT32_C(2044),
2647   -INT32_C(4088),
2648   -INT32_C(8176),
2649   -INT32_C(16352),
2650   -INT32_C(32704),
2651   -INT32_C(65408),
2652   -INT32_C(130816),
2653   -INT32_C(261632),
2654   -INT32_C(523264),
2655   -INT32_C(1046528),
2656   -INT32_C(2093056),
2657   -INT32_C(4186112),
2658   -INT32_C(8372224),
2659   -INT32_C(16744448),
2660   -INT32_C(33488896),
2661   -INT32_C(66977792),
2662   -INT32_C(133955584),
2663   -INT32_C(267911168),
2664   -INT32_C(535822336),
2665   -INT32_C(1071644672),
2666   -INT32_C(2143289344),
2667   -INT32_C(2147483647) - 1,
2668   -INT32_C(2147483647) - 1,
2669   -INT32_C(2147483647) - 1,
2670   -INT32_C(2147483647) - 1,
2671   -INT32_C(2147483647) - 1,
2672   -INT32_C(2147483647) - 1,
2673   -INT32_C(2147483647) - 1,
2674   -INT32_C(2147483647) - 1,
2675   -INT32_C(2147483647) - 1,
2676   -INT32_C(2147483647) - 1,
2677   -INT32_C(2147483647) - 1,
2678   -INT32_C(1022),
2679   -INT32_C(2045),
2680   -INT32_C(4090),
2681   -INT32_C(8180),
2682   -INT32_C(16360),
2683   -INT32_C(32720),
2684   -INT32_C(65440),
2685   -INT32_C(130880),
2686   -INT32_C(261760),
2687   -INT32_C(523520),
2688   -INT32_C(1047040),
2689   -INT32_C(2094080),
2690   -INT32_C(4188160),
2691   -INT32_C(8376320),
2692   -INT32_C(16752640),
2693   -INT32_C(33505280),
2694   -INT32_C(67010560),
2695   -INT32_C(134021120),
2696   -INT32_C(268042240),
2697   -INT32_C(536084480),
2698   -INT32_C(1072168960),
2699   -INT32_C(2144337920),
2700   -INT32_C(2147483647) - 1,
2701   -INT32_C(2147483647) - 1,
2702   -INT32_C(2147483647) - 1,
2703   -INT32_C(2147483647) - 1,
2704   -INT32_C(2147483647) - 1,
2705   -INT32_C(2147483647) - 1,
2706   -INT32_C(2147483647) - 1,
2707   -INT32_C(2147483647) - 1,
2708   -INT32_C(2147483647) - 1,
2709   -INT32_C(2147483647) - 1,
2710   -INT32_C(2147483647) - 1,
2711   -INT32_C(1023),
2712   -INT32_C(2046),
2713   -INT32_C(4092),
2714   -INT32_C(8184),
2715   -INT32_C(16368),
2716   -INT32_C(32736),
2717   -INT32_C(65472),
2718   -INT32_C(130944),
2719   -INT32_C(261888),
2720   -INT32_C(523776),
2721   -INT32_C(1047552),
2722   -INT32_C(2095104),
2723   -INT32_C(4190208),
2724   -INT32_C(8380416),
2725   -INT32_C(16760832),
2726   -INT32_C(33521664),
2727   -INT32_C(67043328),
2728   -INT32_C(134086656),
2729   -INT32_C(268173312),
2730   -INT32_C(536346624),
2731   -INT32_C(1072693248),
2732   -INT32_C(2145386496),
2733   -INT32_C(2147483647) - 1,
2734   -INT32_C(2147483647) - 1,
2735   -INT32_C(2147483647) - 1,
2736   -INT32_C(2147483647) - 1,
2737   -INT32_C(2147483647) - 1,
2738   -INT32_C(2147483647) - 1,
2739   -INT32_C(2147483647) - 1,
2740   -INT32_C(2147483647) - 1,
2741   -INT32_C(2147483647) - 1,
2742   -INT32_C(2147483647) - 1,
2743   -INT32_C(2147483647) - 1,
2744   -INT32_C(1023),
2745   -INT32_C(2047),
2746   -INT32_C(4094),
2747   -INT32_C(8188),
2748   -INT32_C(16376),
2749   -INT32_C(32752),
2750   -INT32_C(65504),
2751   -INT32_C(131008),
2752   -INT32_C(262016),
2753   -INT32_C(524032),
2754   -INT32_C(1048064),
2755   -INT32_C(2096128),
2756   -INT32_C(4192256),
2757   -INT32_C(8384512),
2758   -INT32_C(16769024),
2759   -INT32_C(33538048),
2760   -INT32_C(67076096),
2761   -INT32_C(134152192),
2762   -INT32_C(268304384),
2763   -INT32_C(536608768),
2764   -INT32_C(1073217536),
2765   -INT32_C(2146435072),
2766   -INT32_C(2147483647) - 1,
2767   -INT32_C(2147483647) - 1,
2768   -INT32_C(2147483647) - 1,
2769   -INT32_C(2147483647) - 1,
2770   -INT32_C(2147483647) - 1,
2771   -INT32_C(2147483647) - 1,
2772   -INT32_C(2147483647) - 1,
2773   -INT32_C(2147483647) - 1,
2774   -INT32_C(2147483647) - 1,
2775   -INT32_C(2147483647) - 1,
2776   -INT32_C(2147483647) - 1,
2777   -INT32_C(256),
2778   -INT32_C(512),
2779   -INT32_C(1024),
2780   -INT32_C(2048),
2781   -INT32_C(4096),
2782   -INT32_C(8192),
2783   -INT32_C(16384),
2784   -INT32_C(32768),
2785   -INT32_C(65536),
2786   -INT32_C(131072),
2787   -INT32_C(262144),
2788   -INT32_C(524288),
2789   -INT32_C(1048576),
2790   -INT32_C(2097152),
2791   -INT32_C(4194304),
2792   -INT32_C(8388608),
2793   -INT32_C(16777216),
2794   -INT32_C(33554432),
2795   -INT32_C(67108864),
2796   -INT32_C(134217728),
2797   -INT32_C(268435456),
2798   -INT32_C(536870912),
2799   -INT32_C(1073741824),
2800   -INT32_C(2147483647) - 1,
2801   -INT32_C(2147483647) - 1,
2802   -INT32_C(2147483647) - 1,
2803   -INT32_C(2147483647) - 1,
2804   -INT32_C(2147483647) - 1,
2805   -INT32_C(2147483647) - 1,
2806   -INT32_C(2147483647) - 1,
2807   -INT32_C(2147483647) - 1,
2808   -INT32_C(2147483647) - 1,
2809   -INT32_C(2147483647) - 1,
2810   -INT32_C(256),
2811   -INT32_C(512),
2812   -INT32_C(1025),
2813   -INT32_C(2050),
2814   -INT32_C(4100),
2815   -INT32_C(8200),
2816   -INT32_C(16400),
2817   -INT32_C(32800),
2818   -INT32_C(65600),
2819   -INT32_C(131200),
2820   -INT32_C(262400),
2821   -INT32_C(524800),
2822   -INT32_C(1049600),
2823   -INT32_C(2099200),
2824   -INT32_C(4198400),
2825   -INT32_C(8396800),
2826   -INT32_C(16793600),
2827   -INT32_C(33587200),
2828   -INT32_C(67174400),
2829   -INT32_C(134348800),
2830   -INT32_C(268697600),
2831   -INT32_C(537395200),
2832   -INT32_C(1074790400),
2833   -INT32_C(2147483647) - 1,
2834   -INT32_C(2147483647) - 1,
2835   -INT32_C(2147483647) - 1,
2836   -INT32_C(2147483647) - 1,
2837   -INT32_C(2147483647) - 1,
2838   -INT32_C(2147483647) - 1,
2839   -INT32_C(2147483647) - 1,
2840   -INT32_C(2147483647) - 1,
2841   -INT32_C(2147483647) - 1,
2842   -INT32_C(2147483647) - 1,
2843   -INT32_C(256),
2844   -INT32_C(513),
2845   -INT32_C(1026),
2846   -INT32_C(2052),
2847   -INT32_C(4104),
2848   -INT32_C(8208),
2849   -INT32_C(16416),
2850   -INT32_C(32832),
2851   -INT32_C(65664),
2852   -INT32_C(131328),
2853   -INT32_C(262656),
2854   -INT32_C(525312),
2855   -INT32_C(1050624),
2856   -INT32_C(2101248),
2857   -INT32_C(4202496),
2858   -INT32_C(8404992),
2859   -INT32_C(16809984),
2860   -INT32_C(33619968),
2861   -INT32_C(67239936),
2862   -INT32_C(134479872),
2863   -INT32_C(268959744),
2864   -INT32_C(537919488),
2865   -INT32_C(1075838976),
2866   -INT32_C(2147483647) - 1,
2867   -INT32_C(2147483647) - 1,
2868   -INT32_C(2147483647) - 1,
2869   -INT32_C(2147483647) - 1,
2870   -INT32_C(2147483647) - 1,
2871   -INT32_C(2147483647) - 1,
2872   -INT32_C(2147483647) - 1,
2873   -INT32_C(2147483647) - 1,
2874   -INT32_C(2147483647) - 1,
2875   -INT32_C(2147483647) - 1,
2876   -INT32_C(256),
2877   -INT32_C(513),
2878   -INT32_C(1027),
2879   -INT32_C(2054),
2880   -INT32_C(4108),
2881   -INT32_C(8216),
2882   -INT32_C(16432),
2883   -INT32_C(32864),
2884   -INT32_C(65728),
2885   -INT32_C(131456),
2886   -INT32_C(262912),
2887   -INT32_C(525824),
2888   -INT32_C(1051648),
2889   -INT32_C(2103296),
2890   -INT32_C(4206592),
2891   -INT32_C(8413184),
2892   -INT32_C(16826368),
2893   -INT32_C(33652736),
2894   -INT32_C(67305472),
2895   -INT32_C(134610944),
2896   -INT32_C(269221888),
2897   -INT32_C(538443776),
2898   -INT32_C(1076887552),
2899   -INT32_C(2147483647) - 1,
2900   -INT32_C(2147483647) - 1,
2901   -INT32_C(2147483647) - 1,
2902   -INT32_C(2147483647) - 1,
2903   -INT32_C(2147483647) - 1,
2904   -INT32_C(2147483647) - 1,
2905   -INT32_C(2147483647) - 1,
2906   -INT32_C(2147483647) - 1,
2907   -INT32_C(2147483647) - 1,
2908   -INT32_C(2147483647) - 1,
2909   -INT32_C(332),
2910   -INT32_C(665),
2911   -INT32_C(1330),
2912   -INT32_C(2660),
2913   -INT32_C(5320),
2914   -INT32_C(10640),
2915   -INT32_C(21280),
2916   -INT32_C(42560),
2917   -INT32_C(85120),
2918   -INT32_C(170240),
2919   -INT32_C(340480),
2920   -INT32_C(680960),
2921   -INT32_C(1361920),
2922   -INT32_C(2723840),
2923   -INT32_C(5447680),
2924   -INT32_C(10895360),
2925   -INT32_C(21790720),
2926   -INT32_C(43581440),
2927   -INT32_C(87162880),
2928   -INT32_C(174325760),
2929   -INT32_C(348651520),
2930   -INT32_C(697303040),
2931   -INT32_C(1394606080),
2932   -INT32_C(2147483647) - 1,
2933   -INT32_C(2147483647) - 1,
2934   -INT32_C(2147483647) - 1,
2935   -INT32_C(2147483647) - 1,
2936   -INT32_C(2147483647) - 1,
2937   -INT32_C(2147483647) - 1,
2938   -INT32_C(2147483647) - 1,
2939   -INT32_C(2147483647) - 1,
2940   -INT32_C(2147483647) - 1,
2941   -INT32_C(2147483647) - 1,
2942   -INT32_C(511),
2943   -INT32_C(1022),
2944   -INT32_C(2044),
2945   -INT32_C(4088),
2946   -INT32_C(8176),
2947   -INT32_C(16352),
2948   -INT32_C(32704),
2949   -INT32_C(65408),
2950   -INT32_C(130816),
2951   -INT32_C(261632),
2952   -INT32_C(523264),
2953   -INT32_C(1046528),
2954   -INT32_C(2093056),
2955   -INT32_C(4186112),
2956   -INT32_C(8372224),
2957   -INT32_C(16744448),
2958   -INT32_C(33488896),
2959   -INT32_C(66977792),
2960   -INT32_C(133955584),
2961   -INT32_C(267911168),
2962   -INT32_C(535822336),
2963   -INT32_C(1071644672),
2964   -INT32_C(2143289344),
2965   -INT32_C(2147483647) - 1,
2966   -INT32_C(2147483647) - 1,
2967   -INT32_C(2147483647) - 1,
2968   -INT32_C(2147483647) - 1,
2969   -INT32_C(2147483647) - 1,
2970   -INT32_C(2147483647) - 1,
2971   -INT32_C(2147483647) - 1,
2972   -INT32_C(2147483647) - 1,
2973   -INT32_C(2147483647) - 1,
2974   -INT32_C(2147483647) - 1,
2975   -INT32_C(511),
2976   -INT32_C(1022),
2977   -INT32_C(2045),
2978   -INT32_C(4090),
2979   -INT32_C(8180),
2980   -INT32_C(16360),
2981   -INT32_C(32720),
2982   -INT32_C(65440),
2983   -INT32_C(130880),
2984   -INT32_C(261760),
2985   -INT32_C(523520),
2986   -INT32_C(1047040),
2987   -INT32_C(2094080),
2988   -INT32_C(4188160),
2989   -INT32_C(8376320),
2990   -INT32_C(16752640),
2991   -INT32_C(33505280),
2992   -INT32_C(67010560),
2993   -INT32_C(134021120),
2994   -INT32_C(268042240),
2995   -INT32_C(536084480),
2996   -INT32_C(1072168960),
2997   -INT32_C(2144337920),
2998   -INT32_C(2147483647) - 1,
2999   -INT32_C(2147483647) - 1,
3000   -INT32_C(2147483647) - 1,
3001   -INT32_C(2147483647) - 1,
3002   -INT32_C(2147483647) - 1,
3003   -INT32_C(2147483647) - 1,
3004   -INT32_C(2147483647) - 1,
3005   -INT32_C(2147483647) - 1,
3006   -INT32_C(2147483647) - 1,
3007   -INT32_C(2147483647) - 1,
3008   -INT32_C(511),
3009   -INT32_C(1023),
3010   -INT32_C(2046),
3011   -INT32_C(4092),
3012   -INT32_C(8184),
3013   -INT32_C(16368),
3014   -INT32_C(32736),
3015   -INT32_C(65472),
3016   -INT32_C(130944),
3017   -INT32_C(261888),
3018   -INT32_C(523776),
3019   -INT32_C(1047552),
3020   -INT32_C(2095104),
3021   -INT32_C(4190208),
3022   -INT32_C(8380416),
3023   -INT32_C(16760832),
3024   -INT32_C(33521664),
3025   -INT32_C(67043328),
3026   -INT32_C(134086656),
3027   -INT32_C(268173312),
3028   -INT32_C(536346624),
3029   -INT32_C(1072693248),
3030   -INT32_C(2145386496),
3031   -INT32_C(2147483647) - 1,
3032   -INT32_C(2147483647) - 1,
3033   -INT32_C(2147483647) - 1,
3034   -INT32_C(2147483647) - 1,
3035   -INT32_C(2147483647) - 1,
3036   -INT32_C(2147483647) - 1,
3037   -INT32_C(2147483647) - 1,
3038   -INT32_C(2147483647) - 1,
3039   -INT32_C(2147483647) - 1,
3040   -INT32_C(2147483647) - 1,
3041   -INT32_C(511),
3042   -INT32_C(1023),
3043   -INT32_C(2047),
3044   -INT32_C(4094),
3045   -INT32_C(8188),
3046   -INT32_C(16376),
3047   -INT32_C(32752),
3048   -INT32_C(65504),
3049   -INT32_C(131008),
3050   -INT32_C(262016),
3051   -INT32_C(524032),
3052   -INT32_C(1048064),
3053   -INT32_C(2096128),
3054   -INT32_C(4192256),
3055   -INT32_C(8384512),
3056   -INT32_C(16769024),
3057   -INT32_C(33538048),
3058   -INT32_C(67076096),
3059   -INT32_C(134152192),
3060   -INT32_C(268304384),
3061   -INT32_C(536608768),
3062   -INT32_C(1073217536),
3063   -INT32_C(2146435072),
3064   -INT32_C(2147483647) - 1,
3065   -INT32_C(2147483647) - 1,
3066   -INT32_C(2147483647) - 1,
3067   -INT32_C(2147483647) - 1,
3068   -INT32_C(2147483647) - 1,
3069   -INT32_C(2147483647) - 1,
3070   -INT32_C(2147483647) - 1,
3071   -INT32_C(2147483647) - 1,
3072   -INT32_C(2147483647) - 1,
3073   -INT32_C(2147483647) - 1,
3074   INT32_C(0),
3075   INT32_C(0),
3076   INT32_C(0),
3077   INT32_C(0),
3078   INT32_C(0),
3079   INT32_C(0),
3080   INT32_C(0),
3081   INT32_C(0),
3082   INT32_C(0),
3083   INT32_C(0),
3084   INT32_C(0),
3085   INT32_C(0),
3086   INT32_C(0),
3087   INT32_C(0),
3088   INT32_C(0),
3089   INT32_C(0),
3090   INT32_C(0),
3091   INT32_C(0),
3092   INT32_C(0),
3093   INT32_C(0),
3094   INT32_C(0),
3095   INT32_C(0),
3096   INT32_C(0),
3097   INT32_C(0),
3098   INT32_C(0),
3099   INT32_C(0),
3100   INT32_C(0),
3101   INT32_C(0),
3102   INT32_C(0),
3103   INT32_C(0),
3104   INT32_C(0),
3105   INT32_C(0),
3106   INT32_C(0),
3107   INT32_C(0),
3108   INT32_C(0),
3109   INT32_C(0),
3110   INT32_C(0),
3111   INT32_C(0),
3112   INT32_C(0),
3113   INT32_C(0),
3114   INT32_C(0),
3115   INT32_C(0),
3116   INT32_C(0),
3117   INT32_C(0),
3118   INT32_C(0),
3119   INT32_C(0),
3120   INT32_C(0),
3121   INT32_C(0),
3122   INT32_C(0),
3123   INT32_C(0),
3124   INT32_C(0),
3125   INT32_C(0),
3126   INT32_C(0),
3127   INT32_C(0),
3128   INT32_C(0),
3129   INT32_C(0),
3130   INT32_C(0),
3131   INT32_C(0),
3132   INT32_C(0),
3133   INT32_C(0),
3134   INT32_C(0),
3135   INT32_C(0),
3136   INT32_C(0),
3137   INT32_C(0),
3138   INT32_C(0),
3139   INT32_C(0),
3140   INT32_C(0),
3141   INT32_C(0),
3142   INT32_C(0),
3143   INT32_C(0),
3144   INT32_C(0),
3145   INT32_C(0),
3146   INT32_C(0),
3147   INT32_C(0),
3148   INT32_C(0),
3149   INT32_C(0),
3150   INT32_C(0),
3151   INT32_C(0),
3152   INT32_C(0),
3153   INT32_C(0),
3154   INT32_C(0),
3155   INT32_C(0),
3156   INT32_C(0),
3157   INT32_C(0),
3158   INT32_C(0),
3159   INT32_C(0),
3160   INT32_C(0),
3161   INT32_C(0),
3162   INT32_C(0),
3163   INT32_C(0),
3164   INT32_C(0),
3165   INT32_C(0),
3166   INT32_C(0),
3167   INT32_C(0),
3168   INT32_C(0),
3169   INT32_C(0),
3170   INT32_C(0),
3171   INT32_C(0),
3172   INT32_C(0),
3173   INT32_C(0),
3174   INT32_C(0),
3175   INT32_C(0),
3176   INT32_C(0),
3177   INT32_C(0),
3178   INT32_C(0),
3179   INT32_C(0),
3180   INT32_C(0),
3181   INT32_C(0),
3182   INT32_C(0),
3183   INT32_C(0),
3184   INT32_C(0),
3185   INT32_C(0),
3186   INT32_C(0),
3187   INT32_C(0),
3188   INT32_C(0),
3189   INT32_C(0),
3190   INT32_C(0),
3191   INT32_C(0),
3192   INT32_C(0),
3193   INT32_C(0),
3194   INT32_C(0),
3195   INT32_C(0),
3196   INT32_C(0),
3197   INT32_C(0),
3198   INT32_C(0),
3199   INT32_C(0),
3200   INT32_C(0),
3201   INT32_C(0),
3202   INT32_C(0),
3203   INT32_C(0),
3204   INT32_C(0),
3205   INT32_C(0),
3206   INT32_C(0),
3207   INT32_C(0),
3208   INT32_C(0),
3209   INT32_C(0),
3210   INT32_C(0),
3211   INT32_C(0),
3212   INT32_C(0),
3213   INT32_C(0),
3214   INT32_C(0),
3215   INT32_C(0),
3216   INT32_C(0),
3217   INT32_C(0),
3218   INT32_C(0),
3219   INT32_C(0),
3220   INT32_C(0),
3221   INT32_C(0),
3222   INT32_C(0),
3223   INT32_C(0),
3224   INT32_C(0),
3225   INT32_C(0),
3226   INT32_C(0),
3227   INT32_C(0),
3228   INT32_C(0),
3229   INT32_C(0),
3230   INT32_C(0),
3231   INT32_C(0),
3232   INT32_C(0),
3233   INT32_C(0),
3234   INT32_C(0),
3235   INT32_C(0),
3236   INT32_C(0),
3237   INT32_C(0),
3238   INT32_C(0),
3239   INT32_C(0),
3240   INT32_C(0),
3241   INT32_C(0),
3242   INT32_C(0),
3243   INT32_C(0),
3244   INT32_C(0),
3245   INT32_C(0),
3246   INT32_C(0),
3247   INT32_C(0),
3248   INT32_C(0),
3249   INT32_C(0),
3250   INT32_C(0),
3251   INT32_C(0),
3252   INT32_C(0),
3253   INT32_C(0),
3254   INT32_C(0),
3255   INT32_C(0),
3256   INT32_C(0),
3257   INT32_C(0),
3258   INT32_C(0),
3259   INT32_C(0),
3260   INT32_C(0),
3261   INT32_C(0),
3262   INT32_C(0),
3263   INT32_C(0),
3264   INT32_C(0),
3265   INT32_C(0),
3266   INT32_C(0),
3267   INT32_C(0),
3268   INT32_C(0),
3269   INT32_C(0),
3270   INT32_C(0),
3271   INT32_C(0),
3272   INT32_C(0),
3273   INT32_C(0),
3274   INT32_C(0),
3275   INT32_C(0),
3276   INT32_C(0),
3277   INT32_C(0),
3278   INT32_C(0),
3279   INT32_C(0),
3280   INT32_C(0),
3281   INT32_C(0),
3282   INT32_C(0),
3283   INT32_C(0),
3284   INT32_C(0),
3285   INT32_C(0),
3286   INT32_C(0),
3287   INT32_C(0),
3288   INT32_C(0),
3289   INT32_C(0),
3290   INT32_C(0),
3291   INT32_C(0),
3292   INT32_C(0),
3293   INT32_C(0),
3294   INT32_C(0),
3295   INT32_C(0),
3296   INT32_C(0),
3297   INT32_C(0),
3298   INT32_C(0),
3299   INT32_C(0),
3300   INT32_C(0),
3301   INT32_C(0),
3302   INT32_C(0),
3303   INT32_C(0),
3304   INT32_C(0),
3305   INT32_C(0),
3306   INT32_C(0),
3307   INT32_C(0),
3308   INT32_C(0),
3309   INT32_C(0),
3310   INT32_C(0),
3311   INT32_C(0),
3312   INT32_C(0),
3313   INT32_C(0),
3314   INT32_C(0),
3315   INT32_C(0),
3316   INT32_C(0),
3317   INT32_C(0),
3318   INT32_C(0),
3319   INT32_C(0),
3320   INT32_C(0),
3321   INT32_C(0),
3322   INT32_C(0),
3323   INT32_C(0),
3324   INT32_C(0),
3325   INT32_C(0),
3326   INT32_C(0),
3327   INT32_C(0),
3328   INT32_C(0),
3329   INT32_C(0),
3330   INT32_C(0),
3331   INT32_C(0),
3332   INT32_C(0),
3333   INT32_C(0),
3334   INT32_C(0),
3335   INT32_C(0),
3336   INT32_C(0),
3337   INT32_C(0),
3338   INT32_C(0),
3339   INT32_C(0),
3340   INT32_C(0),
3341   INT32_C(0),
3342   INT32_C(0),
3343   INT32_C(0),
3344   INT32_C(0),
3345   INT32_C(0),
3346   INT32_C(0),
3347   INT32_C(0),
3348   INT32_C(0),
3349   INT32_C(0),
3350   INT32_C(0),
3351   INT32_C(0),
3352   INT32_C(0),
3353   INT32_C(0),
3354   INT32_C(0),
3355   INT32_C(0),
3356   INT32_C(0),
3357   INT32_C(0),
3358   INT32_C(0),
3359   INT32_C(0),
3360   INT32_C(0),
3361   INT32_C(0),
3362   INT32_C(0),
3363   INT32_C(0),
3364   INT32_C(0),
3365   INT32_C(0),
3366   INT32_C(0),
3367   INT32_C(0),
3368   INT32_C(0),
3369   INT32_C(0),
3370   INT32_C(0),
3371 };
3372 const unsigned kExpectedCount_fcvtzs_wh = 3333;
3373 
3374 #endif  // VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_
3375