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
37const 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};
3471const unsigned kExpectedCount_fcvtzs_ws = 3432;
3472
3473#endif  // VIXL_SIM_FCVTZS_WS_TRACE_AARCH64_H_
3474