• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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_WS_TRACE_AARCH64_H_
35 #define VIXL_SIM_FCVTZS_WS_TRACE_AARCH64_H_
36 
37 const int32_t kExpected_fcvtzs_ws[] = {
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(0),
86   INT32_C(0),
87   INT32_C(0),
88   INT32_C(0),
89   INT32_C(0),
90   INT32_C(0),
91   INT32_C(0),
92   INT32_C(0),
93   INT32_C(0),
94   INT32_C(0),
95   INT32_C(0),
96   INT32_C(0),
97   INT32_C(0),
98   INT32_C(0),
99   INT32_C(0),
100   INT32_C(0),
101   INT32_C(0),
102   INT32_C(0),
103   INT32_C(0),
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(4095),
118   INT32_C(8191),
119   INT32_C(16383),
120   INT32_C(32767),
121   INT32_C(65535),
122   INT32_C(131071),
123   INT32_C(262143),
124   INT32_C(524287),
125   INT32_C(1048575),
126   INT32_C(2097151),
127   INT32_C(4194303),
128   INT32_C(8388607),
129   INT32_C(16777215),
130   INT32_C(33554430),
131   INT32_C(67108860),
132   INT32_C(134217720),
133   INT32_C(268435440),
134   INT32_C(536870880),
135   INT32_C(1073741760),
136   INT32_C(2147483520),
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(1024),
182   INT32_C(2048),
183   INT32_C(4096),
184   INT32_C(8192),
185   INT32_C(16384),
186   INT32_C(32768),
187   INT32_C(65536),
188   INT32_C(131072),
189   INT32_C(262144),
190   INT32_C(524288),
191   INT32_C(1048576),
192   INT32_C(2097152),
193   INT32_C(4194304),
194   INT32_C(8388609),
195   INT32_C(16777218),
196   INT32_C(33554436),
197   INT32_C(67108872),
198   INT32_C(134217744),
199   INT32_C(268435488),
200   INT32_C(536870976),
201   INT32_C(1073741952),
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(4095),
216   INT32_C(8191),
217   INT32_C(16383),
218   INT32_C(32767),
219   INT32_C(65535),
220   INT32_C(131071),
221   INT32_C(262143),
222   INT32_C(524287),
223   INT32_C(1048575),
224   INT32_C(2097151),
225   INT32_C(4194303),
226   INT32_C(8388607),
227   INT32_C(16777215),
228   INT32_C(33554430),
229   INT32_C(67108860),
230   INT32_C(134217720),
231   INT32_C(268435440),
232   INT32_C(536870880),
233   INT32_C(1073741760),
234   INT32_C(2147483520),
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(1024),
280   INT32_C(2048),
281   INT32_C(4096),
282   INT32_C(8192),
283   INT32_C(16384),
284   INT32_C(32768),
285   INT32_C(65536),
286   INT32_C(131072),
287   INT32_C(262144),
288   INT32_C(524288),
289   INT32_C(1048576),
290   INT32_C(2097152),
291   INT32_C(4194304),
292   INT32_C(8388609),
293   INT32_C(16777218),
294   INT32_C(33554436),
295   INT32_C(67108872),
296   INT32_C(134217744),
297   INT32_C(268435488),
298   INT32_C(536870976),
299   INT32_C(1073741952),
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(0),
369   INT32_C(0),
370   INT32_C(0),
371   INT32_C(0),
372   INT32_C(0),
373   INT32_C(0),
374   INT32_C(0),
375   INT32_C(0),
376   INT32_C(0),
377   INT32_C(0),
378   INT32_C(0),
379   INT32_C(0),
380   INT32_C(0),
381   INT32_C(0),
382   INT32_C(0),
383   INT32_C(0),
384   INT32_C(0),
385   INT32_C(0),
386   INT32_C(0),
387   INT32_C(0),
388   INT32_C(0),
389   INT32_C(0),
390   INT32_C(0),
391   INT32_C(0),
392   INT32_C(0),
393   INT32_C(0),
394   INT32_C(0),
395   INT32_C(0),
396   INT32_C(0),
397   INT32_C(0),
398   INT32_C(0),
399   INT32_C(0),
400   INT32_C(0),
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(0),
587   INT32_C(0),
588   INT32_C(0),
589   INT32_C(0),
590   INT32_C(0),
591   INT32_C(0),
592   INT32_C(0),
593   INT32_C(0),
594   INT32_C(0),
595   INT32_C(0),
596   INT32_C(0),
597   INT32_C(0),
598   INT32_C(0),
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(0),
615   INT32_C(0),
616   INT32_C(0),
617   INT32_C(0),
618   INT32_C(0),
619   INT32_C(0),
620   INT32_C(0),
621   INT32_C(0),
622   INT32_C(0),
623   INT32_C(0),
624   INT32_C(0),
625   INT32_C(0),
626   INT32_C(0),
627   INT32_C(0),
628   INT32_C(0),
629   INT32_C(0),
630   INT32_C(0),
631   INT32_C(0),
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(0),
657   INT32_C(0),
658   INT32_C(0),
659   INT32_C(0),
660   INT32_C(0),
661   INT32_C(0),
662   INT32_C(0),
663   INT32_C(0),
664   INT32_C(0),
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(0),
713   INT32_C(0),
714   INT32_C(0),
715   INT32_C(0),
716   INT32_C(0),
717   INT32_C(0),
718   INT32_C(0),
719   INT32_C(0),
720   INT32_C(0),
721   INT32_C(0),
722   INT32_C(0),
723   INT32_C(0),
724   INT32_C(0),
725   INT32_C(0),
726   INT32_C(0),
727   INT32_C(0),
728   INT32_C(0),
729   INT32_C(0),
730   INT32_C(0),
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(4095),
745   -INT32_C(8191),
746   -INT32_C(16383),
747   -INT32_C(32767),
748   -INT32_C(65535),
749   -INT32_C(131071),
750   -INT32_C(262143),
751   -INT32_C(524287),
752   -INT32_C(1048575),
753   -INT32_C(2097151),
754   -INT32_C(4194303),
755   -INT32_C(8388607),
756   -INT32_C(16777215),
757   -INT32_C(33554430),
758   -INT32_C(67108860),
759   -INT32_C(134217720),
760   -INT32_C(268435440),
761   -INT32_C(536870880),
762   -INT32_C(1073741760),
763   -INT32_C(2147483520),
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(1024),
809   -INT32_C(2048),
810   -INT32_C(4096),
811   -INT32_C(8192),
812   -INT32_C(16384),
813   -INT32_C(32768),
814   -INT32_C(65536),
815   -INT32_C(131072),
816   -INT32_C(262144),
817   -INT32_C(524288),
818   -INT32_C(1048576),
819   -INT32_C(2097152),
820   -INT32_C(4194304),
821   -INT32_C(8388609),
822   -INT32_C(16777218),
823   -INT32_C(33554436),
824   -INT32_C(67108872),
825   -INT32_C(134217744),
826   -INT32_C(268435488),
827   -INT32_C(536870976),
828   -INT32_C(1073741952),
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(4095),
843   -INT32_C(8191),
844   -INT32_C(16383),
845   -INT32_C(32767),
846   -INT32_C(65535),
847   -INT32_C(131071),
848   -INT32_C(262143),
849   -INT32_C(524287),
850   -INT32_C(1048575),
851   -INT32_C(2097151),
852   -INT32_C(4194303),
853   -INT32_C(8388607),
854   -INT32_C(16777215),
855   -INT32_C(33554430),
856   -INT32_C(67108860),
857   -INT32_C(134217720),
858   -INT32_C(268435440),
859   -INT32_C(536870880),
860   -INT32_C(1073741760),
861   -INT32_C(2147483520),
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(1024),
907   -INT32_C(2048),
908   -INT32_C(4096),
909   -INT32_C(8192),
910   -INT32_C(16384),
911   -INT32_C(32768),
912   -INT32_C(65536),
913   -INT32_C(131072),
914   -INT32_C(262144),
915   -INT32_C(524288),
916   -INT32_C(1048576),
917   -INT32_C(2097152),
918   -INT32_C(4194304),
919   -INT32_C(8388609),
920   -INT32_C(16777218),
921   -INT32_C(33554436),
922   -INT32_C(67108872),
923   -INT32_C(134217744),
924   -INT32_C(268435488),
925   -INT32_C(536870976),
926   -INT32_C(1073741952),
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(0),
996   INT32_C(0),
997   INT32_C(0),
998   INT32_C(0),
999   INT32_C(0),
1000   INT32_C(0),
1001   INT32_C(0),
1002   INT32_C(0),
1003   INT32_C(0),
1004   INT32_C(0),
1005   INT32_C(0),
1006   INT32_C(0),
1007   INT32_C(0),
1008   INT32_C(0),
1009   INT32_C(0),
1010   INT32_C(0),
1011   INT32_C(0),
1012   INT32_C(0),
1013   INT32_C(0),
1014   INT32_C(0),
1015   INT32_C(0),
1016   INT32_C(0),
1017   INT32_C(0),
1018   INT32_C(0),
1019   INT32_C(0),
1020   INT32_C(0),
1021   INT32_C(0),
1022   INT32_C(0),
1023   INT32_C(0),
1024   INT32_C(0),
1025   INT32_C(0),
1026   INT32_C(0),
1027   INT32_C(0),
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(0),
1214   INT32_C(0),
1215   INT32_C(0),
1216   INT32_C(0),
1217   INT32_C(0),
1218   INT32_C(0),
1219   INT32_C(0),
1220   INT32_C(0),
1221   INT32_C(0),
1222   INT32_C(0),
1223   INT32_C(0),
1224   INT32_C(0),
1225   INT32_C(0),
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(0),
1242   INT32_C(0),
1243   INT32_C(0),
1244   INT32_C(0),
1245   INT32_C(0),
1246   INT32_C(0),
1247   INT32_C(0),
1248   INT32_C(0),
1249   INT32_C(0),
1250   INT32_C(0),
1251   INT32_C(0),
1252   INT32_C(0),
1253   INT32_C(0),
1254   INT32_C(0),
1255   INT32_C(0),
1256   INT32_C(0),
1257   INT32_C(0),
1258   INT32_C(0),
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(0),
1284   INT32_C(0),
1285   INT32_C(0),
1286   INT32_C(0),
1287   INT32_C(0),
1288   INT32_C(0),
1289   INT32_C(0),
1290   INT32_C(0),
1291   INT32_C(0),
1292   INT32_C(8388608),
1293   INT32_C(16777216),
1294   INT32_C(33554432),
1295   INT32_C(67108864),
1296   INT32_C(134217728),
1297   INT32_C(268435456),
1298   INT32_C(536870912),
1299   INT32_C(1073741824),
1300   INT32_C(2147483647),
1301   INT32_C(2147483647),
1302   INT32_C(2147483647),
1303   INT32_C(2147483647),
1304   INT32_C(2147483647),
1305   INT32_C(2147483647),
1306   INT32_C(2147483647),
1307   INT32_C(2147483647),
1308   INT32_C(2147483647),
1309   INT32_C(2147483647),
1310   INT32_C(2147483647),
1311   INT32_C(2147483647),
1312   INT32_C(2147483647),
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(8388609),
1326   INT32_C(16777218),
1327   INT32_C(33554436),
1328   INT32_C(67108872),
1329   INT32_C(134217744),
1330   INT32_C(268435488),
1331   INT32_C(536870976),
1332   INT32_C(1073741952),
1333   INT32_C(2147483647),
1334   INT32_C(2147483647),
1335   INT32_C(2147483647),
1336   INT32_C(2147483647),
1337   INT32_C(2147483647),
1338   INT32_C(2147483647),
1339   INT32_C(2147483647),
1340   INT32_C(2147483647),
1341   INT32_C(2147483647),
1342   INT32_C(2147483647),
1343   INT32_C(2147483647),
1344   INT32_C(2147483647),
1345   INT32_C(2147483647),
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(8388610),
1359   INT32_C(16777220),
1360   INT32_C(33554440),
1361   INT32_C(67108880),
1362   INT32_C(134217760),
1363   INT32_C(268435520),
1364   INT32_C(536871040),
1365   INT32_C(1073742080),
1366   INT32_C(2147483647),
1367   INT32_C(2147483647),
1368   INT32_C(2147483647),
1369   INT32_C(2147483647),
1370   INT32_C(2147483647),
1371   INT32_C(2147483647),
1372   INT32_C(2147483647),
1373   INT32_C(2147483647),
1374   INT32_C(2147483647),
1375   INT32_C(2147483647),
1376   INT32_C(2147483647),
1377   INT32_C(2147483647),
1378   INT32_C(2147483647),
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(8388611),
1392   INT32_C(16777222),
1393   INT32_C(33554444),
1394   INT32_C(67108888),
1395   INT32_C(134217776),
1396   INT32_C(268435552),
1397   INT32_C(536871104),
1398   INT32_C(1073742208),
1399   INT32_C(2147483647),
1400   INT32_C(2147483647),
1401   INT32_C(2147483647),
1402   INT32_C(2147483647),
1403   INT32_C(2147483647),
1404   INT32_C(2147483647),
1405   INT32_C(2147483647),
1406   INT32_C(2147483647),
1407   INT32_C(2147483647),
1408   INT32_C(2147483647),
1409   INT32_C(2147483647),
1410   INT32_C(2147483647),
1411   INT32_C(2147483647),
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(16143410),
1425   INT32_C(32286820),
1426   INT32_C(64573640),
1427   INT32_C(129147280),
1428   INT32_C(258294560),
1429   INT32_C(516589120),
1430   INT32_C(1033178240),
1431   INT32_C(2066356480),
1432   INT32_C(2147483647),
1433   INT32_C(2147483647),
1434   INT32_C(2147483647),
1435   INT32_C(2147483647),
1436   INT32_C(2147483647),
1437   INT32_C(2147483647),
1438   INT32_C(2147483647),
1439   INT32_C(2147483647),
1440   INT32_C(2147483647),
1441   INT32_C(2147483647),
1442   INT32_C(2147483647),
1443   INT32_C(2147483647),
1444   INT32_C(2147483647),
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(16777212),
1458   INT32_C(33554424),
1459   INT32_C(67108848),
1460   INT32_C(134217696),
1461   INT32_C(268435392),
1462   INT32_C(536870784),
1463   INT32_C(1073741568),
1464   INT32_C(2147483136),
1465   INT32_C(2147483647),
1466   INT32_C(2147483647),
1467   INT32_C(2147483647),
1468   INT32_C(2147483647),
1469   INT32_C(2147483647),
1470   INT32_C(2147483647),
1471   INT32_C(2147483647),
1472   INT32_C(2147483647),
1473   INT32_C(2147483647),
1474   INT32_C(2147483647),
1475   INT32_C(2147483647),
1476   INT32_C(2147483647),
1477   INT32_C(2147483647),
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(16777213),
1491   INT32_C(33554426),
1492   INT32_C(67108852),
1493   INT32_C(134217704),
1494   INT32_C(268435408),
1495   INT32_C(536870816),
1496   INT32_C(1073741632),
1497   INT32_C(2147483264),
1498   INT32_C(2147483647),
1499   INT32_C(2147483647),
1500   INT32_C(2147483647),
1501   INT32_C(2147483647),
1502   INT32_C(2147483647),
1503   INT32_C(2147483647),
1504   INT32_C(2147483647),
1505   INT32_C(2147483647),
1506   INT32_C(2147483647),
1507   INT32_C(2147483647),
1508   INT32_C(2147483647),
1509   INT32_C(2147483647),
1510   INT32_C(2147483647),
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(16777214),
1524   INT32_C(33554428),
1525   INT32_C(67108856),
1526   INT32_C(134217712),
1527   INT32_C(268435424),
1528   INT32_C(536870848),
1529   INT32_C(1073741696),
1530   INT32_C(2147483392),
1531   INT32_C(2147483647),
1532   INT32_C(2147483647),
1533   INT32_C(2147483647),
1534   INT32_C(2147483647),
1535   INT32_C(2147483647),
1536   INT32_C(2147483647),
1537   INT32_C(2147483647),
1538   INT32_C(2147483647),
1539   INT32_C(2147483647),
1540   INT32_C(2147483647),
1541   INT32_C(2147483647),
1542   INT32_C(2147483647),
1543   INT32_C(2147483647),
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(16777215),
1557   INT32_C(33554430),
1558   INT32_C(67108860),
1559   INT32_C(134217720),
1560   INT32_C(268435440),
1561   INT32_C(536870880),
1562   INT32_C(1073741760),
1563   INT32_C(2147483520),
1564   INT32_C(2147483647),
1565   INT32_C(2147483647),
1566   INT32_C(2147483647),
1567   INT32_C(2147483647),
1568   INT32_C(2147483647),
1569   INT32_C(2147483647),
1570   INT32_C(2147483647),
1571   INT32_C(2147483647),
1572   INT32_C(2147483647),
1573   INT32_C(2147483647),
1574   INT32_C(2147483647),
1575   INT32_C(2147483647),
1576   INT32_C(2147483647),
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(4194304),
1590   INT32_C(8388608),
1591   INT32_C(16777216),
1592   INT32_C(33554432),
1593   INT32_C(67108864),
1594   INT32_C(134217728),
1595   INT32_C(268435456),
1596   INT32_C(536870912),
1597   INT32_C(1073741824),
1598   INT32_C(2147483647),
1599   INT32_C(2147483647),
1600   INT32_C(2147483647),
1601   INT32_C(2147483647),
1602   INT32_C(2147483647),
1603   INT32_C(2147483647),
1604   INT32_C(2147483647),
1605   INT32_C(2147483647),
1606   INT32_C(2147483647),
1607   INT32_C(2147483647),
1608   INT32_C(2147483647),
1609   INT32_C(2147483647),
1610   INT32_C(2147483647),
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(4194304),
1623   INT32_C(8388609),
1624   INT32_C(16777218),
1625   INT32_C(33554436),
1626   INT32_C(67108872),
1627   INT32_C(134217744),
1628   INT32_C(268435488),
1629   INT32_C(536870976),
1630   INT32_C(1073741952),
1631   INT32_C(2147483647),
1632   INT32_C(2147483647),
1633   INT32_C(2147483647),
1634   INT32_C(2147483647),
1635   INT32_C(2147483647),
1636   INT32_C(2147483647),
1637   INT32_C(2147483647),
1638   INT32_C(2147483647),
1639   INT32_C(2147483647),
1640   INT32_C(2147483647),
1641   INT32_C(2147483647),
1642   INT32_C(2147483647),
1643   INT32_C(2147483647),
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(4194305),
1656   INT32_C(8388610),
1657   INT32_C(16777220),
1658   INT32_C(33554440),
1659   INT32_C(67108880),
1660   INT32_C(134217760),
1661   INT32_C(268435520),
1662   INT32_C(536871040),
1663   INT32_C(1073742080),
1664   INT32_C(2147483647),
1665   INT32_C(2147483647),
1666   INT32_C(2147483647),
1667   INT32_C(2147483647),
1668   INT32_C(2147483647),
1669   INT32_C(2147483647),
1670   INT32_C(2147483647),
1671   INT32_C(2147483647),
1672   INT32_C(2147483647),
1673   INT32_C(2147483647),
1674   INT32_C(2147483647),
1675   INT32_C(2147483647),
1676   INT32_C(2147483647),
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(4194305),
1689   INT32_C(8388611),
1690   INT32_C(16777222),
1691   INT32_C(33554444),
1692   INT32_C(67108888),
1693   INT32_C(134217776),
1694   INT32_C(268435552),
1695   INT32_C(536871104),
1696   INT32_C(1073742208),
1697   INT32_C(2147483647),
1698   INT32_C(2147483647),
1699   INT32_C(2147483647),
1700   INT32_C(2147483647),
1701   INT32_C(2147483647),
1702   INT32_C(2147483647),
1703   INT32_C(2147483647),
1704   INT32_C(2147483647),
1705   INT32_C(2147483647),
1706   INT32_C(2147483647),
1707   INT32_C(2147483647),
1708   INT32_C(2147483647),
1709   INT32_C(2147483647),
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(8071705),
1722   INT32_C(16143410),
1723   INT32_C(32286820),
1724   INT32_C(64573640),
1725   INT32_C(129147280),
1726   INT32_C(258294560),
1727   INT32_C(516589120),
1728   INT32_C(1033178240),
1729   INT32_C(2066356480),
1730   INT32_C(2147483647),
1731   INT32_C(2147483647),
1732   INT32_C(2147483647),
1733   INT32_C(2147483647),
1734   INT32_C(2147483647),
1735   INT32_C(2147483647),
1736   INT32_C(2147483647),
1737   INT32_C(2147483647),
1738   INT32_C(2147483647),
1739   INT32_C(2147483647),
1740   INT32_C(2147483647),
1741   INT32_C(2147483647),
1742   INT32_C(2147483647),
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(8388606),
1755   INT32_C(16777212),
1756   INT32_C(33554424),
1757   INT32_C(67108848),
1758   INT32_C(134217696),
1759   INT32_C(268435392),
1760   INT32_C(536870784),
1761   INT32_C(1073741568),
1762   INT32_C(2147483136),
1763   INT32_C(2147483647),
1764   INT32_C(2147483647),
1765   INT32_C(2147483647),
1766   INT32_C(2147483647),
1767   INT32_C(2147483647),
1768   INT32_C(2147483647),
1769   INT32_C(2147483647),
1770   INT32_C(2147483647),
1771   INT32_C(2147483647),
1772   INT32_C(2147483647),
1773   INT32_C(2147483647),
1774   INT32_C(2147483647),
1775   INT32_C(2147483647),
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(8388606),
1788   INT32_C(16777213),
1789   INT32_C(33554426),
1790   INT32_C(67108852),
1791   INT32_C(134217704),
1792   INT32_C(268435408),
1793   INT32_C(536870816),
1794   INT32_C(1073741632),
1795   INT32_C(2147483264),
1796   INT32_C(2147483647),
1797   INT32_C(2147483647),
1798   INT32_C(2147483647),
1799   INT32_C(2147483647),
1800   INT32_C(2147483647),
1801   INT32_C(2147483647),
1802   INT32_C(2147483647),
1803   INT32_C(2147483647),
1804   INT32_C(2147483647),
1805   INT32_C(2147483647),
1806   INT32_C(2147483647),
1807   INT32_C(2147483647),
1808   INT32_C(2147483647),
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(8388607),
1821   INT32_C(16777214),
1822   INT32_C(33554428),
1823   INT32_C(67108856),
1824   INT32_C(134217712),
1825   INT32_C(268435424),
1826   INT32_C(536870848),
1827   INT32_C(1073741696),
1828   INT32_C(2147483392),
1829   INT32_C(2147483647),
1830   INT32_C(2147483647),
1831   INT32_C(2147483647),
1832   INT32_C(2147483647),
1833   INT32_C(2147483647),
1834   INT32_C(2147483647),
1835   INT32_C(2147483647),
1836   INT32_C(2147483647),
1837   INT32_C(2147483647),
1838   INT32_C(2147483647),
1839   INT32_C(2147483647),
1840   INT32_C(2147483647),
1841   INT32_C(2147483647),
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(8388607),
1854   INT32_C(16777215),
1855   INT32_C(33554430),
1856   INT32_C(67108860),
1857   INT32_C(134217720),
1858   INT32_C(268435440),
1859   INT32_C(536870880),
1860   INT32_C(1073741760),
1861   INT32_C(2147483520),
1862   INT32_C(2147483647),
1863   INT32_C(2147483647),
1864   INT32_C(2147483647),
1865   INT32_C(2147483647),
1866   INT32_C(2147483647),
1867   INT32_C(2147483647),
1868   INT32_C(2147483647),
1869   INT32_C(2147483647),
1870   INT32_C(2147483647),
1871   INT32_C(2147483647),
1872   INT32_C(2147483647),
1873   INT32_C(2147483647),
1874   INT32_C(2147483647),
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(2097152),
1887   INT32_C(4194304),
1888   INT32_C(8388608),
1889   INT32_C(16777216),
1890   INT32_C(33554432),
1891   INT32_C(67108864),
1892   INT32_C(134217728),
1893   INT32_C(268435456),
1894   INT32_C(536870912),
1895   INT32_C(1073741824),
1896   INT32_C(2147483647),
1897   INT32_C(2147483647),
1898   INT32_C(2147483647),
1899   INT32_C(2147483647),
1900   INT32_C(2147483647),
1901   INT32_C(2147483647),
1902   INT32_C(2147483647),
1903   INT32_C(2147483647),
1904   INT32_C(2147483647),
1905   INT32_C(2147483647),
1906   INT32_C(2147483647),
1907   INT32_C(2147483647),
1908   INT32_C(2147483647),
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(2097152),
1920   INT32_C(4194304),
1921   INT32_C(8388609),
1922   INT32_C(16777218),
1923   INT32_C(33554436),
1924   INT32_C(67108872),
1925   INT32_C(134217744),
1926   INT32_C(268435488),
1927   INT32_C(536870976),
1928   INT32_C(1073741952),
1929   INT32_C(2147483647),
1930   INT32_C(2147483647),
1931   INT32_C(2147483647),
1932   INT32_C(2147483647),
1933   INT32_C(2147483647),
1934   INT32_C(2147483647),
1935   INT32_C(2147483647),
1936   INT32_C(2147483647),
1937   INT32_C(2147483647),
1938   INT32_C(2147483647),
1939   INT32_C(2147483647),
1940   INT32_C(2147483647),
1941   INT32_C(2147483647),
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(2097152),
1953   INT32_C(4194305),
1954   INT32_C(8388610),
1955   INT32_C(16777220),
1956   INT32_C(33554440),
1957   INT32_C(67108880),
1958   INT32_C(134217760),
1959   INT32_C(268435520),
1960   INT32_C(536871040),
1961   INT32_C(1073742080),
1962   INT32_C(2147483647),
1963   INT32_C(2147483647),
1964   INT32_C(2147483647),
1965   INT32_C(2147483647),
1966   INT32_C(2147483647),
1967   INT32_C(2147483647),
1968   INT32_C(2147483647),
1969   INT32_C(2147483647),
1970   INT32_C(2147483647),
1971   INT32_C(2147483647),
1972   INT32_C(2147483647),
1973   INT32_C(2147483647),
1974   INT32_C(2147483647),
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(2097152),
1986   INT32_C(4194305),
1987   INT32_C(8388611),
1988   INT32_C(16777222),
1989   INT32_C(33554444),
1990   INT32_C(67108888),
1991   INT32_C(134217776),
1992   INT32_C(268435552),
1993   INT32_C(536871104),
1994   INT32_C(1073742208),
1995   INT32_C(2147483647),
1996   INT32_C(2147483647),
1997   INT32_C(2147483647),
1998   INT32_C(2147483647),
1999   INT32_C(2147483647),
2000   INT32_C(2147483647),
2001   INT32_C(2147483647),
2002   INT32_C(2147483647),
2003   INT32_C(2147483647),
2004   INT32_C(2147483647),
2005   INT32_C(2147483647),
2006   INT32_C(2147483647),
2007   INT32_C(2147483647),
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(4035852),
2019   INT32_C(8071705),
2020   INT32_C(16143410),
2021   INT32_C(32286820),
2022   INT32_C(64573640),
2023   INT32_C(129147280),
2024   INT32_C(258294560),
2025   INT32_C(516589120),
2026   INT32_C(1033178240),
2027   INT32_C(2066356480),
2028   INT32_C(2147483647),
2029   INT32_C(2147483647),
2030   INT32_C(2147483647),
2031   INT32_C(2147483647),
2032   INT32_C(2147483647),
2033   INT32_C(2147483647),
2034   INT32_C(2147483647),
2035   INT32_C(2147483647),
2036   INT32_C(2147483647),
2037   INT32_C(2147483647),
2038   INT32_C(2147483647),
2039   INT32_C(2147483647),
2040   INT32_C(2147483647),
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(4194303),
2052   INT32_C(8388606),
2053   INT32_C(16777212),
2054   INT32_C(33554424),
2055   INT32_C(67108848),
2056   INT32_C(134217696),
2057   INT32_C(268435392),
2058   INT32_C(536870784),
2059   INT32_C(1073741568),
2060   INT32_C(2147483136),
2061   INT32_C(2147483647),
2062   INT32_C(2147483647),
2063   INT32_C(2147483647),
2064   INT32_C(2147483647),
2065   INT32_C(2147483647),
2066   INT32_C(2147483647),
2067   INT32_C(2147483647),
2068   INT32_C(2147483647),
2069   INT32_C(2147483647),
2070   INT32_C(2147483647),
2071   INT32_C(2147483647),
2072   INT32_C(2147483647),
2073   INT32_C(2147483647),
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(4194303),
2085   INT32_C(8388606),
2086   INT32_C(16777213),
2087   INT32_C(33554426),
2088   INT32_C(67108852),
2089   INT32_C(134217704),
2090   INT32_C(268435408),
2091   INT32_C(536870816),
2092   INT32_C(1073741632),
2093   INT32_C(2147483264),
2094   INT32_C(2147483647),
2095   INT32_C(2147483647),
2096   INT32_C(2147483647),
2097   INT32_C(2147483647),
2098   INT32_C(2147483647),
2099   INT32_C(2147483647),
2100   INT32_C(2147483647),
2101   INT32_C(2147483647),
2102   INT32_C(2147483647),
2103   INT32_C(2147483647),
2104   INT32_C(2147483647),
2105   INT32_C(2147483647),
2106   INT32_C(2147483647),
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(4194303),
2118   INT32_C(8388607),
2119   INT32_C(16777214),
2120   INT32_C(33554428),
2121   INT32_C(67108856),
2122   INT32_C(134217712),
2123   INT32_C(268435424),
2124   INT32_C(536870848),
2125   INT32_C(1073741696),
2126   INT32_C(2147483392),
2127   INT32_C(2147483647),
2128   INT32_C(2147483647),
2129   INT32_C(2147483647),
2130   INT32_C(2147483647),
2131   INT32_C(2147483647),
2132   INT32_C(2147483647),
2133   INT32_C(2147483647),
2134   INT32_C(2147483647),
2135   INT32_C(2147483647),
2136   INT32_C(2147483647),
2137   INT32_C(2147483647),
2138   INT32_C(2147483647),
2139   INT32_C(2147483647),
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(4194303),
2151   INT32_C(8388607),
2152   INT32_C(16777215),
2153   INT32_C(33554430),
2154   INT32_C(67108860),
2155   INT32_C(134217720),
2156   INT32_C(268435440),
2157   INT32_C(536870880),
2158   INT32_C(1073741760),
2159   INT32_C(2147483520),
2160   INT32_C(2147483647),
2161   INT32_C(2147483647),
2162   INT32_C(2147483647),
2163   INT32_C(2147483647),
2164   INT32_C(2147483647),
2165   INT32_C(2147483647),
2166   INT32_C(2147483647),
2167   INT32_C(2147483647),
2168   INT32_C(2147483647),
2169   INT32_C(2147483647),
2170   INT32_C(2147483647),
2171   INT32_C(2147483647),
2172   INT32_C(2147483647),
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(8388608),
2184   -INT32_C(16777216),
2185   -INT32_C(33554432),
2186   -INT32_C(67108864),
2187   -INT32_C(134217728),
2188   -INT32_C(268435456),
2189   -INT32_C(536870912),
2190   -INT32_C(1073741824),
2191   -INT32_C(2147483647) - 1,
2192   -INT32_C(2147483647) - 1,
2193   -INT32_C(2147483647) - 1,
2194   -INT32_C(2147483647) - 1,
2195   -INT32_C(2147483647) - 1,
2196   -INT32_C(2147483647) - 1,
2197   -INT32_C(2147483647) - 1,
2198   -INT32_C(2147483647) - 1,
2199   -INT32_C(2147483647) - 1,
2200   -INT32_C(2147483647) - 1,
2201   -INT32_C(2147483647) - 1,
2202   -INT32_C(2147483647) - 1,
2203   -INT32_C(2147483647) - 1,
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(8388609),
2217   -INT32_C(16777218),
2218   -INT32_C(33554436),
2219   -INT32_C(67108872),
2220   -INT32_C(134217744),
2221   -INT32_C(268435488),
2222   -INT32_C(536870976),
2223   -INT32_C(1073741952),
2224   -INT32_C(2147483647) - 1,
2225   -INT32_C(2147483647) - 1,
2226   -INT32_C(2147483647) - 1,
2227   -INT32_C(2147483647) - 1,
2228   -INT32_C(2147483647) - 1,
2229   -INT32_C(2147483647) - 1,
2230   -INT32_C(2147483647) - 1,
2231   -INT32_C(2147483647) - 1,
2232   -INT32_C(2147483647) - 1,
2233   -INT32_C(2147483647) - 1,
2234   -INT32_C(2147483647) - 1,
2235   -INT32_C(2147483647) - 1,
2236   -INT32_C(2147483647) - 1,
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(8388610),
2250   -INT32_C(16777220),
2251   -INT32_C(33554440),
2252   -INT32_C(67108880),
2253   -INT32_C(134217760),
2254   -INT32_C(268435520),
2255   -INT32_C(536871040),
2256   -INT32_C(1073742080),
2257   -INT32_C(2147483647) - 1,
2258   -INT32_C(2147483647) - 1,
2259   -INT32_C(2147483647) - 1,
2260   -INT32_C(2147483647) - 1,
2261   -INT32_C(2147483647) - 1,
2262   -INT32_C(2147483647) - 1,
2263   -INT32_C(2147483647) - 1,
2264   -INT32_C(2147483647) - 1,
2265   -INT32_C(2147483647) - 1,
2266   -INT32_C(2147483647) - 1,
2267   -INT32_C(2147483647) - 1,
2268   -INT32_C(2147483647) - 1,
2269   -INT32_C(2147483647) - 1,
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(8388611),
2283   -INT32_C(16777222),
2284   -INT32_C(33554444),
2285   -INT32_C(67108888),
2286   -INT32_C(134217776),
2287   -INT32_C(268435552),
2288   -INT32_C(536871104),
2289   -INT32_C(1073742208),
2290   -INT32_C(2147483647) - 1,
2291   -INT32_C(2147483647) - 1,
2292   -INT32_C(2147483647) - 1,
2293   -INT32_C(2147483647) - 1,
2294   -INT32_C(2147483647) - 1,
2295   -INT32_C(2147483647) - 1,
2296   -INT32_C(2147483647) - 1,
2297   -INT32_C(2147483647) - 1,
2298   -INT32_C(2147483647) - 1,
2299   -INT32_C(2147483647) - 1,
2300   -INT32_C(2147483647) - 1,
2301   -INT32_C(2147483647) - 1,
2302   -INT32_C(2147483647) - 1,
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(16143410),
2316   -INT32_C(32286820),
2317   -INT32_C(64573640),
2318   -INT32_C(129147280),
2319   -INT32_C(258294560),
2320   -INT32_C(516589120),
2321   -INT32_C(1033178240),
2322   -INT32_C(2066356480),
2323   -INT32_C(2147483647) - 1,
2324   -INT32_C(2147483647) - 1,
2325   -INT32_C(2147483647) - 1,
2326   -INT32_C(2147483647) - 1,
2327   -INT32_C(2147483647) - 1,
2328   -INT32_C(2147483647) - 1,
2329   -INT32_C(2147483647) - 1,
2330   -INT32_C(2147483647) - 1,
2331   -INT32_C(2147483647) - 1,
2332   -INT32_C(2147483647) - 1,
2333   -INT32_C(2147483647) - 1,
2334   -INT32_C(2147483647) - 1,
2335   -INT32_C(2147483647) - 1,
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(16777212),
2349   -INT32_C(33554424),
2350   -INT32_C(67108848),
2351   -INT32_C(134217696),
2352   -INT32_C(268435392),
2353   -INT32_C(536870784),
2354   -INT32_C(1073741568),
2355   -INT32_C(2147483136),
2356   -INT32_C(2147483647) - 1,
2357   -INT32_C(2147483647) - 1,
2358   -INT32_C(2147483647) - 1,
2359   -INT32_C(2147483647) - 1,
2360   -INT32_C(2147483647) - 1,
2361   -INT32_C(2147483647) - 1,
2362   -INT32_C(2147483647) - 1,
2363   -INT32_C(2147483647) - 1,
2364   -INT32_C(2147483647) - 1,
2365   -INT32_C(2147483647) - 1,
2366   -INT32_C(2147483647) - 1,
2367   -INT32_C(2147483647) - 1,
2368   -INT32_C(2147483647) - 1,
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(16777213),
2382   -INT32_C(33554426),
2383   -INT32_C(67108852),
2384   -INT32_C(134217704),
2385   -INT32_C(268435408),
2386   -INT32_C(536870816),
2387   -INT32_C(1073741632),
2388   -INT32_C(2147483264),
2389   -INT32_C(2147483647) - 1,
2390   -INT32_C(2147483647) - 1,
2391   -INT32_C(2147483647) - 1,
2392   -INT32_C(2147483647) - 1,
2393   -INT32_C(2147483647) - 1,
2394   -INT32_C(2147483647) - 1,
2395   -INT32_C(2147483647) - 1,
2396   -INT32_C(2147483647) - 1,
2397   -INT32_C(2147483647) - 1,
2398   -INT32_C(2147483647) - 1,
2399   -INT32_C(2147483647) - 1,
2400   -INT32_C(2147483647) - 1,
2401   -INT32_C(2147483647) - 1,
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(16777214),
2415   -INT32_C(33554428),
2416   -INT32_C(67108856),
2417   -INT32_C(134217712),
2418   -INT32_C(268435424),
2419   -INT32_C(536870848),
2420   -INT32_C(1073741696),
2421   -INT32_C(2147483392),
2422   -INT32_C(2147483647) - 1,
2423   -INT32_C(2147483647) - 1,
2424   -INT32_C(2147483647) - 1,
2425   -INT32_C(2147483647) - 1,
2426   -INT32_C(2147483647) - 1,
2427   -INT32_C(2147483647) - 1,
2428   -INT32_C(2147483647) - 1,
2429   -INT32_C(2147483647) - 1,
2430   -INT32_C(2147483647) - 1,
2431   -INT32_C(2147483647) - 1,
2432   -INT32_C(2147483647) - 1,
2433   -INT32_C(2147483647) - 1,
2434   -INT32_C(2147483647) - 1,
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(16777215),
2448   -INT32_C(33554430),
2449   -INT32_C(67108860),
2450   -INT32_C(134217720),
2451   -INT32_C(268435440),
2452   -INT32_C(536870880),
2453   -INT32_C(1073741760),
2454   -INT32_C(2147483520),
2455   -INT32_C(2147483647) - 1,
2456   -INT32_C(2147483647) - 1,
2457   -INT32_C(2147483647) - 1,
2458   -INT32_C(2147483647) - 1,
2459   -INT32_C(2147483647) - 1,
2460   -INT32_C(2147483647) - 1,
2461   -INT32_C(2147483647) - 1,
2462   -INT32_C(2147483647) - 1,
2463   -INT32_C(2147483647) - 1,
2464   -INT32_C(2147483647) - 1,
2465   -INT32_C(2147483647) - 1,
2466   -INT32_C(2147483647) - 1,
2467   -INT32_C(2147483647) - 1,
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(4194304),
2481   -INT32_C(8388608),
2482   -INT32_C(16777216),
2483   -INT32_C(33554432),
2484   -INT32_C(67108864),
2485   -INT32_C(134217728),
2486   -INT32_C(268435456),
2487   -INT32_C(536870912),
2488   -INT32_C(1073741824),
2489   -INT32_C(2147483647) - 1,
2490   -INT32_C(2147483647) - 1,
2491   -INT32_C(2147483647) - 1,
2492   -INT32_C(2147483647) - 1,
2493   -INT32_C(2147483647) - 1,
2494   -INT32_C(2147483647) - 1,
2495   -INT32_C(2147483647) - 1,
2496   -INT32_C(2147483647) - 1,
2497   -INT32_C(2147483647) - 1,
2498   -INT32_C(2147483647) - 1,
2499   -INT32_C(2147483647) - 1,
2500   -INT32_C(2147483647) - 1,
2501   -INT32_C(2147483647) - 1,
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(4194304),
2514   -INT32_C(8388609),
2515   -INT32_C(16777218),
2516   -INT32_C(33554436),
2517   -INT32_C(67108872),
2518   -INT32_C(134217744),
2519   -INT32_C(268435488),
2520   -INT32_C(536870976),
2521   -INT32_C(1073741952),
2522   -INT32_C(2147483647) - 1,
2523   -INT32_C(2147483647) - 1,
2524   -INT32_C(2147483647) - 1,
2525   -INT32_C(2147483647) - 1,
2526   -INT32_C(2147483647) - 1,
2527   -INT32_C(2147483647) - 1,
2528   -INT32_C(2147483647) - 1,
2529   -INT32_C(2147483647) - 1,
2530   -INT32_C(2147483647) - 1,
2531   -INT32_C(2147483647) - 1,
2532   -INT32_C(2147483647) - 1,
2533   -INT32_C(2147483647) - 1,
2534   -INT32_C(2147483647) - 1,
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(4194305),
2547   -INT32_C(8388610),
2548   -INT32_C(16777220),
2549   -INT32_C(33554440),
2550   -INT32_C(67108880),
2551   -INT32_C(134217760),
2552   -INT32_C(268435520),
2553   -INT32_C(536871040),
2554   -INT32_C(1073742080),
2555   -INT32_C(2147483647) - 1,
2556   -INT32_C(2147483647) - 1,
2557   -INT32_C(2147483647) - 1,
2558   -INT32_C(2147483647) - 1,
2559   -INT32_C(2147483647) - 1,
2560   -INT32_C(2147483647) - 1,
2561   -INT32_C(2147483647) - 1,
2562   -INT32_C(2147483647) - 1,
2563   -INT32_C(2147483647) - 1,
2564   -INT32_C(2147483647) - 1,
2565   -INT32_C(2147483647) - 1,
2566   -INT32_C(2147483647) - 1,
2567   -INT32_C(2147483647) - 1,
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(4194305),
2580   -INT32_C(8388611),
2581   -INT32_C(16777222),
2582   -INT32_C(33554444),
2583   -INT32_C(67108888),
2584   -INT32_C(134217776),
2585   -INT32_C(268435552),
2586   -INT32_C(536871104),
2587   -INT32_C(1073742208),
2588   -INT32_C(2147483647) - 1,
2589   -INT32_C(2147483647) - 1,
2590   -INT32_C(2147483647) - 1,
2591   -INT32_C(2147483647) - 1,
2592   -INT32_C(2147483647) - 1,
2593   -INT32_C(2147483647) - 1,
2594   -INT32_C(2147483647) - 1,
2595   -INT32_C(2147483647) - 1,
2596   -INT32_C(2147483647) - 1,
2597   -INT32_C(2147483647) - 1,
2598   -INT32_C(2147483647) - 1,
2599   -INT32_C(2147483647) - 1,
2600   -INT32_C(2147483647) - 1,
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(8071705),
2613   -INT32_C(16143410),
2614   -INT32_C(32286820),
2615   -INT32_C(64573640),
2616   -INT32_C(129147280),
2617   -INT32_C(258294560),
2618   -INT32_C(516589120),
2619   -INT32_C(1033178240),
2620   -INT32_C(2066356480),
2621   -INT32_C(2147483647) - 1,
2622   -INT32_C(2147483647) - 1,
2623   -INT32_C(2147483647) - 1,
2624   -INT32_C(2147483647) - 1,
2625   -INT32_C(2147483647) - 1,
2626   -INT32_C(2147483647) - 1,
2627   -INT32_C(2147483647) - 1,
2628   -INT32_C(2147483647) - 1,
2629   -INT32_C(2147483647) - 1,
2630   -INT32_C(2147483647) - 1,
2631   -INT32_C(2147483647) - 1,
2632   -INT32_C(2147483647) - 1,
2633   -INT32_C(2147483647) - 1,
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(8388606),
2646   -INT32_C(16777212),
2647   -INT32_C(33554424),
2648   -INT32_C(67108848),
2649   -INT32_C(134217696),
2650   -INT32_C(268435392),
2651   -INT32_C(536870784),
2652   -INT32_C(1073741568),
2653   -INT32_C(2147483136),
2654   -INT32_C(2147483647) - 1,
2655   -INT32_C(2147483647) - 1,
2656   -INT32_C(2147483647) - 1,
2657   -INT32_C(2147483647) - 1,
2658   -INT32_C(2147483647) - 1,
2659   -INT32_C(2147483647) - 1,
2660   -INT32_C(2147483647) - 1,
2661   -INT32_C(2147483647) - 1,
2662   -INT32_C(2147483647) - 1,
2663   -INT32_C(2147483647) - 1,
2664   -INT32_C(2147483647) - 1,
2665   -INT32_C(2147483647) - 1,
2666   -INT32_C(2147483647) - 1,
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(8388606),
2679   -INT32_C(16777213),
2680   -INT32_C(33554426),
2681   -INT32_C(67108852),
2682   -INT32_C(134217704),
2683   -INT32_C(268435408),
2684   -INT32_C(536870816),
2685   -INT32_C(1073741632),
2686   -INT32_C(2147483264),
2687   -INT32_C(2147483647) - 1,
2688   -INT32_C(2147483647) - 1,
2689   -INT32_C(2147483647) - 1,
2690   -INT32_C(2147483647) - 1,
2691   -INT32_C(2147483647) - 1,
2692   -INT32_C(2147483647) - 1,
2693   -INT32_C(2147483647) - 1,
2694   -INT32_C(2147483647) - 1,
2695   -INT32_C(2147483647) - 1,
2696   -INT32_C(2147483647) - 1,
2697   -INT32_C(2147483647) - 1,
2698   -INT32_C(2147483647) - 1,
2699   -INT32_C(2147483647) - 1,
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(8388607),
2712   -INT32_C(16777214),
2713   -INT32_C(33554428),
2714   -INT32_C(67108856),
2715   -INT32_C(134217712),
2716   -INT32_C(268435424),
2717   -INT32_C(536870848),
2718   -INT32_C(1073741696),
2719   -INT32_C(2147483392),
2720   -INT32_C(2147483647) - 1,
2721   -INT32_C(2147483647) - 1,
2722   -INT32_C(2147483647) - 1,
2723   -INT32_C(2147483647) - 1,
2724   -INT32_C(2147483647) - 1,
2725   -INT32_C(2147483647) - 1,
2726   -INT32_C(2147483647) - 1,
2727   -INT32_C(2147483647) - 1,
2728   -INT32_C(2147483647) - 1,
2729   -INT32_C(2147483647) - 1,
2730   -INT32_C(2147483647) - 1,
2731   -INT32_C(2147483647) - 1,
2732   -INT32_C(2147483647) - 1,
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(8388607),
2745   -INT32_C(16777215),
2746   -INT32_C(33554430),
2747   -INT32_C(67108860),
2748   -INT32_C(134217720),
2749   -INT32_C(268435440),
2750   -INT32_C(536870880),
2751   -INT32_C(1073741760),
2752   -INT32_C(2147483520),
2753   -INT32_C(2147483647) - 1,
2754   -INT32_C(2147483647) - 1,
2755   -INT32_C(2147483647) - 1,
2756   -INT32_C(2147483647) - 1,
2757   -INT32_C(2147483647) - 1,
2758   -INT32_C(2147483647) - 1,
2759   -INT32_C(2147483647) - 1,
2760   -INT32_C(2147483647) - 1,
2761   -INT32_C(2147483647) - 1,
2762   -INT32_C(2147483647) - 1,
2763   -INT32_C(2147483647) - 1,
2764   -INT32_C(2147483647) - 1,
2765   -INT32_C(2147483647) - 1,
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(2097152),
2778   -INT32_C(4194304),
2779   -INT32_C(8388608),
2780   -INT32_C(16777216),
2781   -INT32_C(33554432),
2782   -INT32_C(67108864),
2783   -INT32_C(134217728),
2784   -INT32_C(268435456),
2785   -INT32_C(536870912),
2786   -INT32_C(1073741824),
2787   -INT32_C(2147483647) - 1,
2788   -INT32_C(2147483647) - 1,
2789   -INT32_C(2147483647) - 1,
2790   -INT32_C(2147483647) - 1,
2791   -INT32_C(2147483647) - 1,
2792   -INT32_C(2147483647) - 1,
2793   -INT32_C(2147483647) - 1,
2794   -INT32_C(2147483647) - 1,
2795   -INT32_C(2147483647) - 1,
2796   -INT32_C(2147483647) - 1,
2797   -INT32_C(2147483647) - 1,
2798   -INT32_C(2147483647) - 1,
2799   -INT32_C(2147483647) - 1,
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(2097152),
2811   -INT32_C(4194304),
2812   -INT32_C(8388609),
2813   -INT32_C(16777218),
2814   -INT32_C(33554436),
2815   -INT32_C(67108872),
2816   -INT32_C(134217744),
2817   -INT32_C(268435488),
2818   -INT32_C(536870976),
2819   -INT32_C(1073741952),
2820   -INT32_C(2147483647) - 1,
2821   -INT32_C(2147483647) - 1,
2822   -INT32_C(2147483647) - 1,
2823   -INT32_C(2147483647) - 1,
2824   -INT32_C(2147483647) - 1,
2825   -INT32_C(2147483647) - 1,
2826   -INT32_C(2147483647) - 1,
2827   -INT32_C(2147483647) - 1,
2828   -INT32_C(2147483647) - 1,
2829   -INT32_C(2147483647) - 1,
2830   -INT32_C(2147483647) - 1,
2831   -INT32_C(2147483647) - 1,
2832   -INT32_C(2147483647) - 1,
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(2097152),
2844   -INT32_C(4194305),
2845   -INT32_C(8388610),
2846   -INT32_C(16777220),
2847   -INT32_C(33554440),
2848   -INT32_C(67108880),
2849   -INT32_C(134217760),
2850   -INT32_C(268435520),
2851   -INT32_C(536871040),
2852   -INT32_C(1073742080),
2853   -INT32_C(2147483647) - 1,
2854   -INT32_C(2147483647) - 1,
2855   -INT32_C(2147483647) - 1,
2856   -INT32_C(2147483647) - 1,
2857   -INT32_C(2147483647) - 1,
2858   -INT32_C(2147483647) - 1,
2859   -INT32_C(2147483647) - 1,
2860   -INT32_C(2147483647) - 1,
2861   -INT32_C(2147483647) - 1,
2862   -INT32_C(2147483647) - 1,
2863   -INT32_C(2147483647) - 1,
2864   -INT32_C(2147483647) - 1,
2865   -INT32_C(2147483647) - 1,
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(2097152),
2877   -INT32_C(4194305),
2878   -INT32_C(8388611),
2879   -INT32_C(16777222),
2880   -INT32_C(33554444),
2881   -INT32_C(67108888),
2882   -INT32_C(134217776),
2883   -INT32_C(268435552),
2884   -INT32_C(536871104),
2885   -INT32_C(1073742208),
2886   -INT32_C(2147483647) - 1,
2887   -INT32_C(2147483647) - 1,
2888   -INT32_C(2147483647) - 1,
2889   -INT32_C(2147483647) - 1,
2890   -INT32_C(2147483647) - 1,
2891   -INT32_C(2147483647) - 1,
2892   -INT32_C(2147483647) - 1,
2893   -INT32_C(2147483647) - 1,
2894   -INT32_C(2147483647) - 1,
2895   -INT32_C(2147483647) - 1,
2896   -INT32_C(2147483647) - 1,
2897   -INT32_C(2147483647) - 1,
2898   -INT32_C(2147483647) - 1,
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(4035852),
2910   -INT32_C(8071705),
2911   -INT32_C(16143410),
2912   -INT32_C(32286820),
2913   -INT32_C(64573640),
2914   -INT32_C(129147280),
2915   -INT32_C(258294560),
2916   -INT32_C(516589120),
2917   -INT32_C(1033178240),
2918   -INT32_C(2066356480),
2919   -INT32_C(2147483647) - 1,
2920   -INT32_C(2147483647) - 1,
2921   -INT32_C(2147483647) - 1,
2922   -INT32_C(2147483647) - 1,
2923   -INT32_C(2147483647) - 1,
2924   -INT32_C(2147483647) - 1,
2925   -INT32_C(2147483647) - 1,
2926   -INT32_C(2147483647) - 1,
2927   -INT32_C(2147483647) - 1,
2928   -INT32_C(2147483647) - 1,
2929   -INT32_C(2147483647) - 1,
2930   -INT32_C(2147483647) - 1,
2931   -INT32_C(2147483647) - 1,
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(4194303),
2943   -INT32_C(8388606),
2944   -INT32_C(16777212),
2945   -INT32_C(33554424),
2946   -INT32_C(67108848),
2947   -INT32_C(134217696),
2948   -INT32_C(268435392),
2949   -INT32_C(536870784),
2950   -INT32_C(1073741568),
2951   -INT32_C(2147483136),
2952   -INT32_C(2147483647) - 1,
2953   -INT32_C(2147483647) - 1,
2954   -INT32_C(2147483647) - 1,
2955   -INT32_C(2147483647) - 1,
2956   -INT32_C(2147483647) - 1,
2957   -INT32_C(2147483647) - 1,
2958   -INT32_C(2147483647) - 1,
2959   -INT32_C(2147483647) - 1,
2960   -INT32_C(2147483647) - 1,
2961   -INT32_C(2147483647) - 1,
2962   -INT32_C(2147483647) - 1,
2963   -INT32_C(2147483647) - 1,
2964   -INT32_C(2147483647) - 1,
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(4194303),
2976   -INT32_C(8388606),
2977   -INT32_C(16777213),
2978   -INT32_C(33554426),
2979   -INT32_C(67108852),
2980   -INT32_C(134217704),
2981   -INT32_C(268435408),
2982   -INT32_C(536870816),
2983   -INT32_C(1073741632),
2984   -INT32_C(2147483264),
2985   -INT32_C(2147483647) - 1,
2986   -INT32_C(2147483647) - 1,
2987   -INT32_C(2147483647) - 1,
2988   -INT32_C(2147483647) - 1,
2989   -INT32_C(2147483647) - 1,
2990   -INT32_C(2147483647) - 1,
2991   -INT32_C(2147483647) - 1,
2992   -INT32_C(2147483647) - 1,
2993   -INT32_C(2147483647) - 1,
2994   -INT32_C(2147483647) - 1,
2995   -INT32_C(2147483647) - 1,
2996   -INT32_C(2147483647) - 1,
2997   -INT32_C(2147483647) - 1,
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(4194303),
3009   -INT32_C(8388607),
3010   -INT32_C(16777214),
3011   -INT32_C(33554428),
3012   -INT32_C(67108856),
3013   -INT32_C(134217712),
3014   -INT32_C(268435424),
3015   -INT32_C(536870848),
3016   -INT32_C(1073741696),
3017   -INT32_C(2147483392),
3018   -INT32_C(2147483647) - 1,
3019   -INT32_C(2147483647) - 1,
3020   -INT32_C(2147483647) - 1,
3021   -INT32_C(2147483647) - 1,
3022   -INT32_C(2147483647) - 1,
3023   -INT32_C(2147483647) - 1,
3024   -INT32_C(2147483647) - 1,
3025   -INT32_C(2147483647) - 1,
3026   -INT32_C(2147483647) - 1,
3027   -INT32_C(2147483647) - 1,
3028   -INT32_C(2147483647) - 1,
3029   -INT32_C(2147483647) - 1,
3030   -INT32_C(2147483647) - 1,
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(4194303),
3042   -INT32_C(8388607),
3043   -INT32_C(16777215),
3044   -INT32_C(33554430),
3045   -INT32_C(67108860),
3046   -INT32_C(134217720),
3047   -INT32_C(268435440),
3048   -INT32_C(536870880),
3049   -INT32_C(1073741760),
3050   -INT32_C(2147483520),
3051   -INT32_C(2147483647) - 1,
3052   -INT32_C(2147483647) - 1,
3053   -INT32_C(2147483647) - 1,
3054   -INT32_C(2147483647) - 1,
3055   -INT32_C(2147483647) - 1,
3056   -INT32_C(2147483647) - 1,
3057   -INT32_C(2147483647) - 1,
3058   -INT32_C(2147483647) - 1,
3059   -INT32_C(2147483647) - 1,
3060   -INT32_C(2147483647) - 1,
3061   -INT32_C(2147483647) - 1,
3062   -INT32_C(2147483647) - 1,
3063   -INT32_C(2147483647) - 1,
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(2147483647) - 1,
3075   -INT32_C(2147483647) - 1,
3076   -INT32_C(2147483647) - 1,
3077   -INT32_C(2147483647) - 1,
3078   -INT32_C(2147483647) - 1,
3079   -INT32_C(2147483647) - 1,
3080   -INT32_C(2147483647) - 1,
3081   -INT32_C(2147483647) - 1,
3082   -INT32_C(2147483647) - 1,
3083   -INT32_C(2147483647) - 1,
3084   -INT32_C(2147483647) - 1,
3085   -INT32_C(2147483647) - 1,
3086   -INT32_C(2147483647) - 1,
3087   -INT32_C(2147483647) - 1,
3088   -INT32_C(2147483647) - 1,
3089   -INT32_C(2147483647) - 1,
3090   -INT32_C(2147483647) - 1,
3091   -INT32_C(2147483647) - 1,
3092   -INT32_C(2147483647) - 1,
3093   -INT32_C(2147483647) - 1,
3094   -INT32_C(2147483647) - 1,
3095   -INT32_C(2147483647) - 1,
3096   -INT32_C(2147483647) - 1,
3097   -INT32_C(2147483647) - 1,
3098   -INT32_C(2147483647) - 1,
3099   -INT32_C(2147483647) - 1,
3100   -INT32_C(2147483647) - 1,
3101   -INT32_C(2147483647) - 1,
3102   -INT32_C(2147483647) - 1,
3103   -INT32_C(2147483647) - 1,
3104   -INT32_C(2147483647) - 1,
3105   -INT32_C(2147483647) - 1,
3106   -INT32_C(2147483647) - 1,
3107   -INT32_C(2147483647) - 1,
3108   -INT32_C(2147483647) - 1,
3109   -INT32_C(2147483647) - 1,
3110   -INT32_C(2147483647) - 1,
3111   -INT32_C(2147483647) - 1,
3112   -INT32_C(2147483647) - 1,
3113   -INT32_C(2147483647) - 1,
3114   -INT32_C(2147483647) - 1,
3115   -INT32_C(2147483647) - 1,
3116   -INT32_C(2147483647) - 1,
3117   -INT32_C(2147483647) - 1,
3118   -INT32_C(2147483647) - 1,
3119   -INT32_C(2147483647) - 1,
3120   -INT32_C(2147483647) - 1,
3121   -INT32_C(2147483647) - 1,
3122   -INT32_C(2147483647) - 1,
3123   -INT32_C(2147483647) - 1,
3124   -INT32_C(2147483647) - 1,
3125   -INT32_C(2147483647) - 1,
3126   -INT32_C(2147483647) - 1,
3127   -INT32_C(2147483647) - 1,
3128   -INT32_C(2147483647) - 1,
3129   -INT32_C(2147483647) - 1,
3130   -INT32_C(2147483647) - 1,
3131   -INT32_C(2147483647) - 1,
3132   -INT32_C(2147483647) - 1,
3133   -INT32_C(2147483647) - 1,
3134   -INT32_C(2147483647) - 1,
3135   -INT32_C(2147483647) - 1,
3136   -INT32_C(2147483647) - 1,
3137   -INT32_C(2147483647) - 1,
3138   -INT32_C(2147483647) - 1,
3139   -INT32_C(2147483647) - 1,
3140   -INT32_C(2147483647) - 1,
3141   -INT32_C(2147483647) - 1,
3142   -INT32_C(2147483647) - 1,
3143   -INT32_C(2147483647) - 1,
3144   -INT32_C(2147483647) - 1,
3145   -INT32_C(2147483647) - 1,
3146   -INT32_C(2147483647) - 1,
3147   -INT32_C(2147483647) - 1,
3148   -INT32_C(2147483647) - 1,
3149   -INT32_C(2147483647) - 1,
3150   -INT32_C(2147483647) - 1,
3151   -INT32_C(2147483647) - 1,
3152   -INT32_C(2147483647) - 1,
3153   -INT32_C(2147483647) - 1,
3154   -INT32_C(2147483647) - 1,
3155   -INT32_C(2147483647) - 1,
3156   -INT32_C(2147483647) - 1,
3157   -INT32_C(2147483647) - 1,
3158   -INT32_C(2147483647) - 1,
3159   -INT32_C(2147483647) - 1,
3160   -INT32_C(2147483647) - 1,
3161   -INT32_C(2147483647) - 1,
3162   -INT32_C(2147483647) - 1,
3163   -INT32_C(2147483647) - 1,
3164   -INT32_C(2147483647) - 1,
3165   -INT32_C(2147483647) - 1,
3166   -INT32_C(2147483647) - 1,
3167   -INT32_C(2147483647) - 1,
3168   -INT32_C(2147483647) - 1,
3169   -INT32_C(2147483647) - 1,
3170   -INT32_C(2147483647) - 1,
3171   -INT32_C(2147483647) - 1,
3172   -INT32_C(2147483647) - 1,
3173   INT32_C(2147483647),
3174   INT32_C(2147483647),
3175   INT32_C(2147483647),
3176   INT32_C(2147483647),
3177   INT32_C(2147483647),
3178   INT32_C(2147483647),
3179   INT32_C(2147483647),
3180   INT32_C(2147483647),
3181   INT32_C(2147483647),
3182   INT32_C(2147483647),
3183   INT32_C(2147483647),
3184   INT32_C(2147483647),
3185   INT32_C(2147483647),
3186   INT32_C(2147483647),
3187   INT32_C(2147483647),
3188   INT32_C(2147483647),
3189   INT32_C(2147483647),
3190   INT32_C(2147483647),
3191   INT32_C(2147483647),
3192   INT32_C(2147483647),
3193   INT32_C(2147483647),
3194   INT32_C(2147483647),
3195   INT32_C(2147483647),
3196   INT32_C(2147483647),
3197   INT32_C(2147483647),
3198   INT32_C(2147483647),
3199   INT32_C(2147483647),
3200   INT32_C(2147483647),
3201   INT32_C(2147483647),
3202   INT32_C(2147483647),
3203   INT32_C(2147483647),
3204   INT32_C(2147483647),
3205   INT32_C(2147483647),
3206   INT32_C(2147483647),
3207   INT32_C(2147483647),
3208   INT32_C(2147483647),
3209   INT32_C(2147483647),
3210   INT32_C(2147483647),
3211   INT32_C(2147483647),
3212   INT32_C(2147483647),
3213   INT32_C(2147483647),
3214   INT32_C(2147483647),
3215   INT32_C(2147483647),
3216   INT32_C(2147483647),
3217   INT32_C(2147483647),
3218   INT32_C(2147483647),
3219   INT32_C(2147483647),
3220   INT32_C(2147483647),
3221   INT32_C(2147483647),
3222   INT32_C(2147483647),
3223   INT32_C(2147483647),
3224   INT32_C(2147483647),
3225   INT32_C(2147483647),
3226   INT32_C(2147483647),
3227   INT32_C(2147483647),
3228   INT32_C(2147483647),
3229   INT32_C(2147483647),
3230   INT32_C(2147483647),
3231   INT32_C(2147483647),
3232   INT32_C(2147483647),
3233   INT32_C(2147483647),
3234   INT32_C(2147483647),
3235   INT32_C(2147483647),
3236   INT32_C(2147483647),
3237   INT32_C(2147483647),
3238   INT32_C(2147483647),
3239   INT32_C(2147483647),
3240   INT32_C(2147483647),
3241   INT32_C(2147483647),
3242   INT32_C(2147483647),
3243   INT32_C(2147483647),
3244   INT32_C(2147483647),
3245   INT32_C(2147483647),
3246   INT32_C(2147483647),
3247   INT32_C(2147483647),
3248   INT32_C(2147483647),
3249   INT32_C(2147483647),
3250   INT32_C(2147483647),
3251   INT32_C(2147483647),
3252   INT32_C(2147483647),
3253   INT32_C(2147483647),
3254   INT32_C(2147483647),
3255   INT32_C(2147483647),
3256   INT32_C(2147483647),
3257   INT32_C(2147483647),
3258   INT32_C(2147483647),
3259   INT32_C(2147483647),
3260   INT32_C(2147483647),
3261   INT32_C(2147483647),
3262   INT32_C(2147483647),
3263   INT32_C(2147483647),
3264   INT32_C(2147483647),
3265   INT32_C(2147483647),
3266   INT32_C(2147483647),
3267   INT32_C(2147483647),
3268   INT32_C(2147483647),
3269   INT32_C(2147483647),
3270   INT32_C(2147483647),
3271   INT32_C(2147483647),
3272   INT32_C(2147483647),
3273   INT32_C(2147483647),
3274   INT32_C(2147483647),
3275   INT32_C(2147483647),
3276   INT32_C(2147483647),
3277   INT32_C(2147483647),
3278   INT32_C(2147483647),
3279   INT32_C(2147483647),
3280   INT32_C(2147483647),
3281   INT32_C(2147483647),
3282   INT32_C(2147483647),
3283   INT32_C(2147483647),
3284   INT32_C(2147483647),
3285   INT32_C(2147483647),
3286   INT32_C(2147483647),
3287   INT32_C(2147483647),
3288   INT32_C(2147483647),
3289   INT32_C(2147483647),
3290   INT32_C(2147483647),
3291   INT32_C(2147483647),
3292   INT32_C(2147483647),
3293   INT32_C(2147483647),
3294   INT32_C(2147483647),
3295   INT32_C(2147483647),
3296   INT32_C(2147483647),
3297   INT32_C(2147483647),
3298   INT32_C(2147483647),
3299   INT32_C(2147483647),
3300   INT32_C(2147483647),
3301   INT32_C(2147483647),
3302   INT32_C(2147483647),
3303   INT32_C(2147483647),
3304   INT32_C(2147483647),
3305   -INT32_C(2147483647) - 1,
3306   -INT32_C(2147483647) - 1,
3307   -INT32_C(2147483647) - 1,
3308   -INT32_C(2147483647) - 1,
3309   -INT32_C(2147483647) - 1,
3310   -INT32_C(2147483647) - 1,
3311   -INT32_C(2147483647) - 1,
3312   -INT32_C(2147483647) - 1,
3313   -INT32_C(2147483647) - 1,
3314   -INT32_C(2147483647) - 1,
3315   -INT32_C(2147483647) - 1,
3316   -INT32_C(2147483647) - 1,
3317   -INT32_C(2147483647) - 1,
3318   -INT32_C(2147483647) - 1,
3319   -INT32_C(2147483647) - 1,
3320   -INT32_C(2147483647) - 1,
3321   -INT32_C(2147483647) - 1,
3322   -INT32_C(2147483647) - 1,
3323   -INT32_C(2147483647) - 1,
3324   -INT32_C(2147483647) - 1,
3325   -INT32_C(2147483647) - 1,
3326   -INT32_C(2147483647) - 1,
3327   -INT32_C(2147483647) - 1,
3328   -INT32_C(2147483647) - 1,
3329   -INT32_C(2147483647) - 1,
3330   -INT32_C(2147483647) - 1,
3331   -INT32_C(2147483647) - 1,
3332   -INT32_C(2147483647) - 1,
3333   -INT32_C(2147483647) - 1,
3334   -INT32_C(2147483647) - 1,
3335   -INT32_C(2147483647) - 1,
3336   -INT32_C(2147483647) - 1,
3337   -INT32_C(2147483647) - 1,
3338   -INT32_C(2147483647) - 1,
3339   -INT32_C(2147483647) - 1,
3340   -INT32_C(2147483647) - 1,
3341   -INT32_C(2147483647) - 1,
3342   -INT32_C(2147483647) - 1,
3343   -INT32_C(2147483647) - 1,
3344   -INT32_C(2147483647) - 1,
3345   -INT32_C(2147483647) - 1,
3346   -INT32_C(2147483647) - 1,
3347   -INT32_C(2147483647) - 1,
3348   -INT32_C(2147483647) - 1,
3349   -INT32_C(2147483647) - 1,
3350   -INT32_C(2147483647) - 1,
3351   -INT32_C(2147483647) - 1,
3352   -INT32_C(2147483647) - 1,
3353   -INT32_C(2147483647) - 1,
3354   -INT32_C(2147483647) - 1,
3355   -INT32_C(2147483647) - 1,
3356   -INT32_C(2147483647) - 1,
3357   -INT32_C(2147483647) - 1,
3358   -INT32_C(2147483647) - 1,
3359   -INT32_C(2147483647) - 1,
3360   -INT32_C(2147483647) - 1,
3361   -INT32_C(2147483647) - 1,
3362   -INT32_C(2147483647) - 1,
3363   -INT32_C(2147483647) - 1,
3364   -INT32_C(2147483647) - 1,
3365   -INT32_C(2147483647) - 1,
3366   -INT32_C(2147483647) - 1,
3367   -INT32_C(2147483647) - 1,
3368   -INT32_C(2147483647) - 1,
3369   -INT32_C(2147483647) - 1,
3370   -INT32_C(2147483647) - 1,
3371   -INT32_C(2147483520),
3372   -INT32_C(2147483647) - 1,
3373   -INT32_C(2147483647) - 1,
3374   -INT32_C(2147483647) - 1,
3375   -INT32_C(2147483647) - 1,
3376   -INT32_C(2147483647) - 1,
3377   -INT32_C(2147483647) - 1,
3378   -INT32_C(2147483647) - 1,
3379   -INT32_C(2147483647) - 1,
3380   -INT32_C(2147483647) - 1,
3381   -INT32_C(2147483647) - 1,
3382   -INT32_C(2147483647) - 1,
3383   -INT32_C(2147483647) - 1,
3384   -INT32_C(2147483647) - 1,
3385   -INT32_C(2147483647) - 1,
3386   -INT32_C(2147483647) - 1,
3387   -INT32_C(2147483647) - 1,
3388   -INT32_C(2147483647) - 1,
3389   -INT32_C(2147483647) - 1,
3390   -INT32_C(2147483647) - 1,
3391   -INT32_C(2147483647) - 1,
3392   -INT32_C(2147483647) - 1,
3393   -INT32_C(2147483647) - 1,
3394   -INT32_C(2147483647) - 1,
3395   -INT32_C(2147483647) - 1,
3396   -INT32_C(2147483647) - 1,
3397   -INT32_C(2147483647) - 1,
3398   -INT32_C(2147483647) - 1,
3399   -INT32_C(2147483647) - 1,
3400   -INT32_C(2147483647) - 1,
3401   -INT32_C(2147483647) - 1,
3402   -INT32_C(2147483647) - 1,
3403   -INT32_C(2147483647) - 1,
3404   INT32_C(2147483520),
3405   INT32_C(2147483647),
3406   INT32_C(2147483647),
3407   INT32_C(2147483647),
3408   INT32_C(2147483647),
3409   INT32_C(2147483647),
3410   INT32_C(2147483647),
3411   INT32_C(2147483647),
3412   INT32_C(2147483647),
3413   INT32_C(2147483647),
3414   INT32_C(2147483647),
3415   INT32_C(2147483647),
3416   INT32_C(2147483647),
3417   INT32_C(2147483647),
3418   INT32_C(2147483647),
3419   INT32_C(2147483647),
3420   INT32_C(2147483647),
3421   INT32_C(2147483647),
3422   INT32_C(2147483647),
3423   INT32_C(2147483647),
3424   INT32_C(2147483647),
3425   INT32_C(2147483647),
3426   INT32_C(2147483647),
3427   INT32_C(2147483647),
3428   INT32_C(2147483647),
3429   INT32_C(2147483647),
3430   INT32_C(2147483647),
3431   INT32_C(2147483647),
3432   INT32_C(2147483647),
3433   INT32_C(2147483647),
3434   INT32_C(2147483647),
3435   INT32_C(2147483647),
3436   INT32_C(2147483647),
3437   INT32_C(2147483647),
3438   INT32_C(2147483647),
3439   INT32_C(2147483647),
3440   INT32_C(2147483647),
3441   INT32_C(2147483647),
3442   INT32_C(2147483647),
3443   INT32_C(2147483647),
3444   INT32_C(2147483647),
3445   INT32_C(2147483647),
3446   INT32_C(2147483647),
3447   INT32_C(2147483647),
3448   INT32_C(2147483647),
3449   INT32_C(2147483647),
3450   INT32_C(2147483647),
3451   INT32_C(2147483647),
3452   INT32_C(2147483647),
3453   INT32_C(2147483647),
3454   INT32_C(2147483647),
3455   INT32_C(2147483647),
3456   INT32_C(2147483647),
3457   INT32_C(2147483647),
3458   INT32_C(2147483647),
3459   INT32_C(2147483647),
3460   INT32_C(2147483647),
3461   INT32_C(2147483647),
3462   INT32_C(2147483647),
3463   INT32_C(2147483647),
3464   INT32_C(2147483647),
3465   INT32_C(2147483647),
3466   INT32_C(2147483647),
3467   INT32_C(2147483647),
3468   INT32_C(2147483647),
3469   INT32_C(2147483647),
3470 };
3471 const unsigned kExpectedCount_fcvtzs_ws = 3432;
3472 
3473 #endif  // VIXL_SIM_FCVTZS_WS_TRACE_AARCH64_H_
3474