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_RSUBHN_2S_TRACE_AARCH64_H_
35#define VIXL_SIM_RSUBHN_2S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_rsubhn_2S[] = {
38  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
39  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
40  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
41  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
42  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
43  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
44  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
45  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
46  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
47  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
48  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
49  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
50  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
51  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
52  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
53  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
54  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
55  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
56  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
57  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
58  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
59  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
60  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
61  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
62  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
63  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
64  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
65  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
66  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
67  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
68  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
69  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
70  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
71  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
72  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
73  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
74  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
75  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
76  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
77  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
78  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
79  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
80  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
81  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
82  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
83  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
84  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
85  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
86  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
87  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
88  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
89  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
90  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
91  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
92  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
93  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
94  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
95  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
96  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
97  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
98  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
99  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
100  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
101  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
102  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
103  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
104  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
105  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
106  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
107  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
108  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
109  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
110  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
111  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
112  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
113  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
114  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
115  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
116  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
117  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
118  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
119  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
120  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
121  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
122  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
123  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
124  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
125  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
126  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
127  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
128  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
129  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
130  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
131  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
132  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
133  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
134  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
135  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
136  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
137  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
138  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
139  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
140  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
141  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
142  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
143  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
144  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
145  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
146  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
147  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
148  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
149  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
150  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
151  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
152  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
153  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
154  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
155  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
156  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
157  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
158  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
159  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
160  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
161  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
162  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
163  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
164  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
165  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
166  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
167  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
168  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
169  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
170  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
171  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
172  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
173  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
174  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
175  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
176  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
177  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
178  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
179  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
180  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
181  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
182  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
183  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
184  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
185  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
186  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
187  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
188  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
189  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
190  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
191  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
192  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
193  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
194  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
195  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
196  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
197  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
198  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
199  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
200  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
201  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
202  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
203  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
204  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
205  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
206  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
207  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
208  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
209  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
210  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
211  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
212  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
213  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
214  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
215  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
216  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
217  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
218  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
219  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
220  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
221  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
222  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
223  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
224  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
225  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
226  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
227  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
228  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
229  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
230  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
231  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
232  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
233  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
234  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
235  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
236  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
237  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
238  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
239  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
240  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
241  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
242  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
243  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
244  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
245  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
246  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
247  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
248  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
249  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
250  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
251  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
252  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
253  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
254  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
255  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
256  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
257  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
258  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
259  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
260  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
261  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
262  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
263  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
264  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
265  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
266  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
267  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
268  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
269  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
270  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
271  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
272  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
273  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
274  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
275  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
276  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
277  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
278  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
279  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
280  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
281  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
282  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
283  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
284  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
285  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
286  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
287  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
288  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
289  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
290  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
291  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
292  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
293  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
294  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
295  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
296  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
297  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
298  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
299  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
300  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
301  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
302  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
303  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
304  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
305  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
306  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
307  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
308  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
309  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
310  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
311  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
312  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
313  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
314  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
315  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
316  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
317  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
318  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
319  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
320  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
321  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
322  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
323  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
324  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
325  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
326  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
327  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
328  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
329  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
330  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
331  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
332  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
333  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
334  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
335  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
336  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
337  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
338  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
339  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
340  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
341  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
342  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
343  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
344  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
345  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
346  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
347  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
348  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
349  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
350  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
351  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
352  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
353  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
354  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
355  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
356  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
357  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
358  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
359  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
360  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
361  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
362  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
363  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
364  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
365  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
366  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
367  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
368  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
369  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
370  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
371  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
372  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
373  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
374  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
375  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
376  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
377  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
378  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
379  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
380  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
381  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
382  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
383  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
384  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
385  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
386  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
387  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
388  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
389  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
390  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
391  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
392  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
393  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
394  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
395  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
396  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
397  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
398  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
399  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
400  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
401  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
402  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
403  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
404  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
405  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
406  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
407  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
408  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
409  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
410  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
411  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
412  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
413  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
414  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
415  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
416  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
417  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
418  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
419  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
420  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
421  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
422  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
423  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
424  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
425  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
426  0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
427  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
428  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
429  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
430  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
431  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
432  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
433  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
434  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
435  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
436  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
437  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
438  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
439  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
440  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
441  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
442  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
443  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
444  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
445  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
446  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
447  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
448  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
449  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
450  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
451  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
452  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
453  0x00000000aaaaaaab, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
454  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
455  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
456  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
457  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
458  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
459  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
460  0x0000000080000000, 0x0000000055555556, 0x0000000000000000, 0x0000000000000000,
461  0x0000000055555555, 0x0000000033333334, 0x0000000000000000, 0x0000000000000000,
462  0x0000000033333333, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
463  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
464  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
465  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
466  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
467  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
468  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
469  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
470  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
471  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
472  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
473  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
474  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
475  0x0000000000000000, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
476  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
477  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
478  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
479  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
480  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
481  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
482  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
483  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
484  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
485  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
486  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
487  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
488  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
489  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
490  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
491  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
492  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
493  0x00000000aaaaaaab, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
494  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
495  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
496  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
497  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
498  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
499  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
500  0x0000000080000000, 0x0000000055555556, 0x0000000000000000, 0x0000000000000000,
501  0x0000000055555556, 0x0000000033333334, 0x0000000000000000, 0x0000000000000000,
502  0x0000000033333334, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
503  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
504  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
505  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
506  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
507  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
508  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
509  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
510  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
511  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
512  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
513  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
514  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
515  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
516  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
517  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
518  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
519  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
520  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
521  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
522  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
523  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
524  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
525  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
526  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
527  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
528  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
529  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
530  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
531  0x0000000000000000, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
532  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
533  0x00000000aaaaaaab, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
534  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
535  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
536  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
537  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
538  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
539  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
540  0x0000000080000000, 0x0000000055555556, 0x0000000000000000, 0x0000000000000000,
541  0x0000000055555556, 0x0000000033333334, 0x0000000000000000, 0x0000000000000000,
542  0x0000000033333334, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
543  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
544  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
545  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
546  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
547  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
548  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
549  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
550  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
551  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
552  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
553  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
554  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
555  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
556  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
557  0x0000000000000001, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000,
558  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
559  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
560  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
561  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
562  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
563  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
564  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
565  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
566  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
567  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
568  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
569  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
570  0x0000000000000000, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
571  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
572  0x00000000cccccccd, 0x00000000ddddddde, 0x0000000000000000, 0x0000000000000000,
573  0x00000000aaaaaaab, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
574  0x0000000080000001, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
575  0x0000000080000001, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
576  0x0000000080000001, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
577  0x0000000080000000, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
578  0x0000000080000000, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
579  0x0000000080000000, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
580  0x0000000080000000, 0x0000000088888889, 0x0000000000000000, 0x0000000000000000,
581  0x0000000055555556, 0x0000000066666666, 0x0000000000000000, 0x0000000000000000,
582  0x0000000033333334, 0x0000000033333334, 0x0000000000000000, 0x0000000000000000,
583  0x0000000000000001, 0x0000000033333334, 0x0000000000000000, 0x0000000000000000,
584  0x0000000000000001, 0x0000000033333334, 0x0000000000000000, 0x0000000000000000,
585  0x0000000000000001, 0x0000000033333334, 0x0000000000000000, 0x0000000000000000,
586  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
587  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
588  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
589  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
590  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
591  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
592  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
593  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
594  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
595  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
596  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
597  0x0000000000000001, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
598  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
599  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
600  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
601  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
602  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
603  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
604  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
605  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
606  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
607  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
608  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
609  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
610  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
611  0x0000000033333333, 0x0000000022222222, 0x0000000000000000, 0x0000000000000000,
612  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
613  0x00000000ddddddde, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
614  0x00000000b3333333, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
615  0x00000000b3333333, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
616  0x00000000b3333333, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
617  0x00000000b3333333, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
618  0x00000000b3333333, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
619  0x00000000b3333333, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
620  0x00000000b3333333, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
621  0x0000000088888889, 0x0000000088888889, 0x0000000000000000, 0x0000000000000000,
622  0x0000000066666666, 0x0000000055555556, 0x0000000000000000, 0x0000000000000000,
623  0x0000000033333334, 0x0000000055555556, 0x0000000000000000, 0x0000000000000000,
624  0x0000000033333334, 0x0000000055555556, 0x0000000000000000, 0x0000000000000000,
625  0x0000000033333334, 0x0000000055555556, 0x0000000000000000, 0x0000000000000000,
626  0x0000000033333334, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
627  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
628  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
629  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
630  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
631  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
632  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
633  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
634  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
635  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
636  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
637  0x0000000033333333, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
638  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
639  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
640  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
641  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
642  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
643  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
644  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
645  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
646  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
647  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
648  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
649  0x0000000055555555, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
650  0x0000000055555555, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
651  0x0000000055555555, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
652  0x0000000022222222, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
653  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
654  0x00000000d5555555, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
655  0x00000000d5555555, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
656  0x00000000d5555555, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
657  0x00000000d5555555, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
658  0x00000000d5555555, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
659  0x00000000d5555555, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
660  0x00000000d5555555, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
661  0x00000000aaaaaaab, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
662  0x0000000088888889, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
663  0x0000000055555556, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
664  0x0000000055555556, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
665  0x0000000055555556, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
666  0x0000000055555556, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
667  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
668  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
669  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
670  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
671  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
672  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
673  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
674  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
675  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
676  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
677  0x0000000055555555, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
678  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
679  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
680  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
681  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
682  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
683  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
684  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
685  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
686  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
687  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
688  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
689  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
690  0x000000007fffffff, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
691  0x000000007fffffff, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
692  0x000000004ccccccd, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
693  0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
694  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
695  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
696  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
697  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
698  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
699  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
700  0x0000000000000000, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
701  0x00000000d5555555, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
702  0x00000000b3333333, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
703  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
704  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
705  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
706  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
707  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
708  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
709  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
710  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
711  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
712  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
713  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
714  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
715  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
716  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
717  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
718  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
719  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
720  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
721  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
722  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
723  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
724  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
725  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
726  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
727  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
728  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
729  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
730  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
731  0x000000007fffffff, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
732  0x000000004ccccccd, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
733  0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
734  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
735  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
736  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
737  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
738  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
739  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
740  0x0000000000000000, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
741  0x00000000d5555555, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
742  0x00000000b3333333, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
743  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
744  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
745  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
746  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
747  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
748  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
749  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
750  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
751  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
752  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
753  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
754  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
755  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
756  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
757  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
758  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
759  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
760  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
761  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
762  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
763  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
764  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
765  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
766  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
767  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
768  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
769  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
770  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
771  0x0000000080000000, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
772  0x000000004ccccccd, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
773  0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
774  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
775  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
776  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
777  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
778  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
779  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
780  0x0000000000000000, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
781  0x00000000d5555555, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
782  0x00000000b3333333, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
783  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
784  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
785  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
786  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
787  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
788  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
789  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
790  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
791  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
792  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
793  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
794  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
795  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
796  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
797  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
798  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
799  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
800  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
801  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
802  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
803  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
804  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
805  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
806  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
807  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
808  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
809  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
810  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
811  0x0000000080000000, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
812  0x000000004ccccccd, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
813  0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
814  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
815  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
816  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
817  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
818  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
819  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
820  0x0000000000000000, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
821  0x00000000d5555555, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
822  0x00000000b3333333, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
823  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
824  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
825  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
826  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
827  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
828  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
829  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
830  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
831  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
832  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
833  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
834  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
835  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
836  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
837  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
838  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
839  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
840  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
841  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
842  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
843  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
844  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
845  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
846  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
847  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
848  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
849  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
850  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
851  0x0000000080000000, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
852  0x000000004ccccccd, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
853  0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
854  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
855  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
856  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
857  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
858  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
859  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
860  0x0000000000000000, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
861  0x00000000d5555555, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
862  0x00000000b3333333, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
863  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
864  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
865  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
866  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
867  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
868  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
869  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
870  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
871  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
872  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
873  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
874  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
875  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
876  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
877  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
878  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
879  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
880  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
881  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
882  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
883  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
884  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
885  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
886  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
887  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
888  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
889  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
890  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
891  0x0000000080000000, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
892  0x000000004ccccccd, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
893  0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
894  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
895  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
896  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
897  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
898  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
899  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
900  0x0000000000000000, 0x00000000d5555555, 0x0000000000000000, 0x0000000000000000,
901  0x00000000d5555555, 0x00000000b3333333, 0x0000000000000000, 0x0000000000000000,
902  0x00000000b3333333, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
903  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
904  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
905  0x0000000080000001, 0x0000000080000001, 0x0000000000000000, 0x0000000000000000,
906  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
907  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
908  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
909  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
910  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
911  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
912  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
913  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
914  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
915  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
916  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
917  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
918  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
919  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
920  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
921  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
922  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
923  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
924  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
925  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
926  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
927  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
928  0x0000000080000000, 0x00000000aaaaaaaa, 0x0000000000000000, 0x0000000000000000,
929  0x0000000080000000, 0x00000000aaaaaaaa, 0x0000000000000000, 0x0000000000000000,
930  0x0000000080000000, 0x00000000aaaaaaaa, 0x0000000000000000, 0x0000000000000000,
931  0x0000000080000000, 0x0000000077777777, 0x0000000000000000, 0x0000000000000000,
932  0x000000004ccccccd, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
933  0x000000002aaaaaab, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
934  0x0000000000000000, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
935  0x0000000000000000, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
936  0x0000000000000000, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
937  0x0000000000000000, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
938  0x0000000000000000, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
939  0x0000000000000000, 0x000000002aaaaaab, 0x0000000000000000, 0x0000000000000000,
940  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
941  0x00000000d5555555, 0x00000000ddddddde, 0x0000000000000000, 0x0000000000000000,
942  0x00000000b3333333, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
943  0x0000000080000001, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
944  0x0000000080000001, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
945  0x0000000080000001, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
946  0x0000000080000001, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
947  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
948  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
949  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
950  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
951  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
952  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
953  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
954  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
955  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
956  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
957  0x0000000080000000, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
958  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
959  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
960  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
961  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
962  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
963  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
964  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
965  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
966  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
967  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
968  0x00000000aaaaaaab, 0x00000000cccccccc, 0x0000000000000000, 0x0000000000000000,
969  0x00000000aaaaaaaa, 0x00000000cccccccc, 0x0000000000000000, 0x0000000000000000,
970  0x00000000aaaaaaaa, 0x00000000cccccccc, 0x0000000000000000, 0x0000000000000000,
971  0x00000000aaaaaaaa, 0x000000009999999a, 0x0000000000000000, 0x0000000000000000,
972  0x0000000077777777, 0x0000000077777777, 0x0000000000000000, 0x0000000000000000,
973  0x0000000055555555, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
974  0x000000002aaaaaab, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
975  0x000000002aaaaaab, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
976  0x000000002aaaaaab, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
977  0x000000002aaaaaab, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
978  0x000000002aaaaaab, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
979  0x000000002aaaaaab, 0x000000004ccccccd, 0x0000000000000000, 0x0000000000000000,
980  0x000000002aaaaaab, 0x0000000022222222, 0x0000000000000000, 0x0000000000000000,
981  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
982  0x00000000ddddddde, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
983  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
984  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
985  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
986  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
987  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
988  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
989  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
990  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
991  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
992  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
993  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
994  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
995  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
996  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
997  0x00000000aaaaaaab, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
998  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
999  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1000  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1001  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1002  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1003  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1004  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1005  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1006  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1007  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1008  0x00000000cccccccd, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1009  0x00000000cccccccc, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1010  0x00000000cccccccc, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1011  0x00000000cccccccc, 0x00000000cccccccc, 0x0000000000000000, 0x0000000000000000,
1012  0x000000009999999a, 0x00000000aaaaaaaa, 0x0000000000000000, 0x0000000000000000,
1013  0x0000000077777777, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1014  0x000000004ccccccd, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1015  0x000000004ccccccd, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1016  0x000000004ccccccd, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1017  0x000000004ccccccd, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
1018  0x000000004ccccccd, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
1019  0x000000004ccccccd, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
1020  0x000000004ccccccd, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1021  0x0000000022222222, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1022  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1023  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1024  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1025  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1026  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1027  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1028  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1029  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1030  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1031  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1032  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1033  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1034  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1035  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1036  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1037  0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1038  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1039  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1040  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1041  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1042  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1043  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1044  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1045  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1046  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1047  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1048  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1049  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1050  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1051  0x00000000ffffffff, 0x00000000cccccccc, 0x0000000000000000, 0x0000000000000000,
1052  0x00000000cccccccc, 0x00000000aaaaaaaa, 0x0000000000000000, 0x0000000000000000,
1053  0x00000000aaaaaaaa, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1054  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1055  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1056  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1057  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1058  0x000000007fffffff, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
1059  0x000000007fffffff, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
1060  0x000000007fffffff, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1061  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1062  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1063  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1064  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1065  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1066  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1067  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1068  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1069  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1070  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1071  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1072  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1073  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1074  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1075  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1076  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1077  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1078  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1079  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1080  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1081  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1082  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1083  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1084  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1085  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1086  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1087  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1088  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1089  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1090  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1091  0x00000000ffffffff, 0x00000000cccccccc, 0x0000000000000000, 0x0000000000000000,
1092  0x00000000cccccccc, 0x00000000aaaaaaaa, 0x0000000000000000, 0x0000000000000000,
1093  0x00000000aaaaaaaa, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1094  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1095  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1096  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1097  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1098  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1099  0x000000007fffffff, 0x000000007fffffff, 0x0000000000000000, 0x0000000000000000,
1100  0x000000007fffffff, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1101  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1102  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1103  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1104  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1105  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1106  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1107  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1108  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1109  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1110  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1111  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1112  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1113  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1114  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1115  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1116  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1117  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1118  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1119  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1120  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1121  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1122  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1123  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1124  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1125  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1126  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1127  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1128  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1129  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1130  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1131  0x00000000ffffffff, 0x00000000cccccccc, 0x0000000000000000, 0x0000000000000000,
1132  0x00000000cccccccc, 0x00000000aaaaaaaa, 0x0000000000000000, 0x0000000000000000,
1133  0x00000000aaaaaaaa, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1134  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1135  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1136  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1137  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1138  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1139  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1140  0x000000007fffffff, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1141  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1142  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1143  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1144  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1145  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1146  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1147  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1148  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1149  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1150  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1151  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1152  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1153  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1154  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1155  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1156  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1157  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1158  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1159  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1160  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1161  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1162  0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1163  0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1164  0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1165  0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1166  0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1167  0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1168  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1169  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1170  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1171  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1172  0x00000000cccccccc, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1173  0x00000000aaaaaaaa, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1174  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1175  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1176  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1177  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1178  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1179  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1180  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1181  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1182  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1183  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1184  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1185  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1186  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1187  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1188  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1189  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1190  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1191  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1192  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1193  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1194  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1195  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1196  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1197  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1198  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1199  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1200  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1201  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1202  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1203  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1204  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1205  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1206  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1207  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1208  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1209  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1210  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1211  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1212  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1213  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1214  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1215  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1216  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1217  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1218  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1219  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1220  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1221  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1222  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1223  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1224  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1225  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1226  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1227  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1228  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1229  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1230  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1231  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1232  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1233  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1234  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1235  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1236  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1237  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1238  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1239  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1240  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1241  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1242  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1243  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1244  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1245  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1246  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1247  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1248  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1249  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1250  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1251  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1252  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1253  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1254  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1255  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1256  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1257  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1258  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1259  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1260  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1261  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1262  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1263  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1264  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1265  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1266  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1267  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1268  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1269  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1270  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1271  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1272  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1273  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1274  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1275  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1276  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1277  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1278  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1279  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1280  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1281  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1282  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1283  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1284  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1285  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1286  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1287  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1288  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1289  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1290  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1291  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1292  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1293  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1294  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1295  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1296  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1297  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1298  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1299  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1300  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1301  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1302  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1303  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1304  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1305  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1306  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1307  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1308  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1309  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1310  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1311  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1312  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1313  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1314  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1315  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1316  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1317  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1318  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1319  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1320  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1321  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1322  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1323  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1324  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1325  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1326  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1327  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1328  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1329  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1330  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1331  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1332  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1333  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1334  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1335  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1336  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1337  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1338  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1339  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1340  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1341  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1342  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1343  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1344  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1345  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1346  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1347  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1348  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1349  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1350  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1351  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1352  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1353  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1354  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1355  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1356  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1357  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1358  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1359  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1360  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1361  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1362  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1363  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1364  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1365  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1366  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1367  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1368  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1369  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1370  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1371  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1372  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1373  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1374  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1375  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1376  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1377  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1378  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1379  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1380  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1381  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1382  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1383  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1384  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1385  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1386  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1387  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1388  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1389  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1390  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1391  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1392  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1393  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1394  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1395  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1396  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1397  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1398  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1399  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1400  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1401  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1402  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1403  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1404  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1405  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1406  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1407  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1408  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1409  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1410  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1411  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1412  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1413  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1414  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1415  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1416  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1417  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1418  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1419  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1420  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1421  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1422  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1423  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1424  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1425  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1426  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1427  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1428  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1429  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1430  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1431  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1432  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1433  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1434  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1435  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1436  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1437  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1438  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1439  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1440  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1441  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1442  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1443  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1444  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1445  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1446  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1447  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1448  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1449  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1450  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1451  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1452  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1453  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1454  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1455  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1456  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1457  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1458  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1459  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1460  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1461  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1462  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1463  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1464  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1465  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1466  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1467  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1468  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1469  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1470  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1471  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1472  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1473  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1474  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1475  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1476  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1477  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1478  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1479  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1480  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1481  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1482  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1483  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1484  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1485  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1486  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1487  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1488  0x0000000000000000, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1489  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1490  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1491  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1492  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1493  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1494  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1495  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1496  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1497  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1498  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1499  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1500  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1501  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1502  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1503  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1504  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1505  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1506  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1507  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1508  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1509  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1510  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1511  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1512  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1513  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1514  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1515  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1516  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1517  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1518  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1519  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1520  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1521  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1522  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1523  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1524  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1525  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1526  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1527  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1528  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1529  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1530  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1531  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1532  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1533  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1534  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1535  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1536  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1537  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1538  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1539  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1540  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1541  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1542  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1543  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1544  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1545  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1546  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1547  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1548  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1549  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1550  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1551  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1552  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1553  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1554  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1555  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1556  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1557  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1558  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1559  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1560  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1561  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1562  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1563  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1564  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1565  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1566  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1567  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1568  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1569  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1570  0x00000000ffffffff, 0x00000000ffffffff, 0x0000000000000000, 0x0000000000000000,
1571  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1572  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1573  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1574  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1575  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1576  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1577  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1578  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1579  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1580  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1581  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1582  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1583  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1584  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1585  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1586  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1587  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1588  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1589  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1590  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1591  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1592  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1593  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1594  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1595  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1596  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1597  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1598  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1599  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1600  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1601  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1602  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1603  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1604  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1605  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1606  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1607  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1608  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1609  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1610  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1611  0x00000000ffffffff, 0x00000000cccccccd, 0x0000000000000000, 0x0000000000000000,
1612  0x00000000cccccccd, 0x00000000aaaaaaab, 0x0000000000000000, 0x0000000000000000,
1613  0x00000000aaaaaaab, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1614  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1615  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1616  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1617  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1618  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1619  0x0000000080000000, 0x0000000080000000, 0x0000000000000000, 0x0000000000000000,
1620  0x0000000080000000, 0x0000000055555555, 0x0000000000000000, 0x0000000000000000,
1621  0x0000000055555555, 0x0000000033333333, 0x0000000000000000, 0x0000000000000000,
1622  0x0000000033333333, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1623  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1624  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1625  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1626  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1627  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1628  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1629  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1630  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1631  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1632  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1633  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1634  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1635  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1636  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1637  0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
1638};
1639const unsigned kExpectedCount_NEON_rsubhn_2S = 1600;
1640
1641#endif  // VIXL_SIM_RSUBHN_2S_TRACE_AARCH64_H_
1642