1static const uint32_t in_com1[512] = {
2    0xbef7c448, 0x3f3efa5a, 0xbddcbbc1, 0xbee3a3f1,
3    0xbee91134, 0xbe92943b, 0x3f3faed1, 0xbec66a88,
4    0xbe8a8d46, 0x3eddb102, 0x3f09cf11, 0xbf2ba2ba,
5    0x3f5a5ba1, 0xbeadc1f1, 0xbe8f8432, 0x3e8fa5c3,
6    0x3f3842ce, 0xbdb4ac1f, 0x3d840d55, 0xbf2f80d6,
7    0xbe976295, 0x3f09dec3, 0xbf4388ce, 0xbe4a92e4,
8    0x3e54ad5e, 0xbead5b5c, 0xbe9579e0, 0x3f5ebbb6,
9    0xbf1437d3, 0xbeff43b5, 0x3f1eeb9b, 0xbe33daf0,
10    0xbe7a8c5f, 0xbf084e59, 0x3f40ba33, 0xbe997c36,
11    0xbf4d626e, 0xbe5916fa, 0x3ef82855, 0xbe8d97e7,
12    0xbf0c62d5, 0x3ebed540, 0xbecbaa9e, 0x3f225660,
13    0xbd1d1cc3, 0x3f767dab, 0x3e851022, 0x3d7fb044,
14    0x3effb2fe, 0xbde5a1d6, 0x3e444f60, 0xbf5660c9,
15    0xbef5218e, 0xbe9efbe2, 0xbf198182, 0x3f0fa23f,
16    0x3eef285c, 0xbe3ae562, 0xbf1c1e0d, 0xbf1d1a31,
17    0x3f2c0904, 0xbf29591b, 0x3e96a037, 0xbe1f73f8,
18    0xbf4ab05d, 0x3e7d969a, 0xbee5fe28, 0x3ea9d254,
19    0x3d8f3ac0, 0x3e9ebe31, 0xbf6dab48, 0xbe452422,
20    0xbe68e595, 0x3f71c512, 0xbe182297, 0x3e3d9957,
21    0xbd10ea0b, 0x3ee6d63c, 0xbf0e0b73, 0xbf32c312,
22    0x3ed8034c, 0xbd2680ab, 0x3f472e3f, 0x3eed65bf,
23    0x3e091b10, 0xbf3564de, 0x3cb38ff4, 0xbf3145fc,
24    0x3f12e614, 0x3ebe70d6, 0xbf364e41, 0xbe22b375,
25    0x3e9c4484, 0xbedf6f13, 0xbe653ed9, 0x3f50f6b6,
26    0x3f3b4d3f, 0xbf14ce7a, 0x3e3ed438, 0x3e9b5dd4,
27    0xbf0032e0, 0x3e27c362, 0xbf3814eb, 0xbee7fff4,
28    0xbe33f62c, 0x3ec88dcb, 0x3e968134, 0xbf5a9e01,
29    0xbe49a020, 0x3f1c6117, 0x3f29121a, 0x3ec78ec7,
30    0xbdd0afd8, 0x3f7249c4, 0xbd986e6e, 0x3e982b88,
31    0xbe743f50, 0xbe8cde49, 0xbf6af33d, 0x3e223ad7,
32    0xbf6a175b, 0x3e3b5ddd, 0xbe4aedde, 0x3e9a860c,
33    0xbefdf152, 0xbe9e9440, 0x3ef9b3d2, 0x3f25f35f,
34    0x3f02f3c8, 0xbf1886c9, 0x3f1db074, 0xbd80509f,
35    0xbef9b510, 0x3f445dd4, 0xbecb6548, 0xbe01534e,
36    0xbf6b56ed, 0x3e3b41d0, 0xbeafb2f4, 0x3d78fe8b,
37    0xbe76f68a, 0xbeafec92, 0x3ebf3519, 0x3f53c537,
38    0x3e593d05, 0x3f334ef4, 0x3f116d9f, 0xbec0b93d,
39    0x3f1bacc3, 0xbeef3b9e, 0x3e89fc6d, 0xbf151baa,
40    0x3f3ef4e6, 0xbe73ec14, 0x3f186716, 0xbe387321,
41    0xbe84bd21, 0x3f21d063, 0xbf33e01f, 0x3e4ba707,
42    0xbdc58e31, 0xbea7d39b, 0x3ea89681, 0x3f6157b3,
43    0xbedec96b, 0x3db7a6bc, 0x3e6b0859, 0x3f5db187,
44    0xbee55e9a, 0xbf3415e5, 0x3f0b0864, 0x3dc79936,
45    0xbe0d4f6a, 0xbf0017bb, 0xbf097493, 0x3f2a40e4,
46    0xbf485ef8, 0x3e88fc44, 0x3f003fb7, 0x3e825c3a,
47    0x3f5a21f4, 0x3ecab4b5, 0xbe8fa944, 0xbe48e1d7,
48    0x3f1706f4, 0xbf3becaf, 0x3ea52d3b, 0x3dc25f7d,
49    0x3f3e9541, 0x3e3194fd, 0xbf0ff0f2, 0x3ea18b2a,
50    0x3f053098, 0x3ef63a5b, 0x3f2ed070, 0x3e366708,
51    0xbe84385c, 0xbda38cf7, 0x3e973b85, 0xbf6a9586,
52    0xbeb9612b, 0xbe6abf0d, 0x3f2323f2, 0x3f23f7f5,
53    0xbf1b6b63, 0xbf15e09f, 0xbebbe6d2, 0x3ec8e7e4,
54    0xbf37cdea, 0xbf1e3313, 0xbea38418, 0x3ccbaaa3,
55    0xbddc0d80, 0x3f2a18c7, 0x3f3d2dae, 0x3cf3ae83,
56    0x3ecef089, 0x3e893230, 0x3f5c231e, 0x3e232a5d,
57    0x3e0cf417, 0xbf06d6b9, 0xbf2cb43c, 0xbeff3bdf,
58    0xbe1fed1d, 0x3f39749f, 0xbeae8898, 0x3f1414f2,
59    0x3f0461da, 0xbd8bd132, 0xbf471ba6, 0xbeb3925b,
60    0x3ecc23cf, 0x3c93c3d9, 0xbcde726a, 0x3f6a9f8f,
61    0xbf172fa3, 0x3ca7064c, 0x3f4c4400, 0x3df3957d,
62    0xbf52cf47, 0xbdd17a2c, 0x3f06f984, 0xbe3b40d3,
63    0x3f0b5689, 0x3e8c3013, 0xbd9e31ac, 0x3f4a0813,
64    0x3f13e81c, 0xbea431a2, 0x3f402432, 0x3b9752a9,
65    0x3ee967c2, 0x3f1ab68f, 0xbf154f9b, 0xbe96d19f,
66    0x3f084e85, 0xbf0e97df, 0xbe8659f7, 0x3f14b2aa,
67    0xbf5924a3, 0xbd462ec1, 0xbe076634, 0x3f02b647,
68    0xbe5061b0, 0x3e6f0727, 0x3f56c521, 0x3ee520f9,
69    0xbe82de25, 0x3ec8bdfd, 0x3d065f3a, 0xbf6212fc,
70    0x3f292242, 0xbf3fbf4b, 0xbd4bf28e, 0x3b051feb,
71    0x3da317c4, 0x3ebb7ec3, 0x3f21413a, 0xbf2e26ba,
72    0x3f59fac8, 0x3ea33737, 0x3eb3ec16, 0x3e64aad8,
73    0xbde3974d, 0x3ebb297a, 0xbee0b002, 0xbf5033c0,
74    0xbe18a1d9, 0x3f6737c0, 0xbe4b97b4, 0x3eb331d6,
75    0xbeb9f0e0, 0x3eeea031, 0xbf1fb3da, 0x3f02f73c,
76    0xbf1594dc, 0xbf30cf03, 0x3df24dee, 0x3ed198d3,
77    0x3e0650bb, 0x3f48d8d6, 0xbe1b0297, 0x3f163948,
78    0xbe5091d4, 0x3f13965c, 0x3f2c6c58, 0xbed4a74e,
79    0x3ef8ba13, 0x3ef30b9c, 0xbf38a5d1, 0xbe0afaaa,
80    0xbf0e0cb0, 0xbd6b0a4b, 0xbf0a4060, 0x3f215580,
81    0xbd22efbc, 0xbee42685, 0x3f62b7dc, 0xbdff3f97,
82    0xbdd18b7f, 0xbef1bafa, 0xbf5dc0f0, 0xbe02a660,
83    0x3e70e40e, 0xbf286a8f, 0x3e8f5d1a, 0xbf288b22,
84    0x3f33d7a1, 0x3f197f65, 0x3dc791e3, 0x3ebdd4a0,
85    0xbeab31d8, 0xbf2cf429, 0x3f270014, 0x3da1643e,
86    0x3f5150b8, 0xbef89d76, 0x3e8c12a8, 0x3e13d164,
87    0xbf186a95, 0x3ebbe7ba, 0xbd47a9e1, 0x3f368b5c,
88    0xbeb1fe8c, 0xbf586509, 0xbecdfd41, 0x3d573b9d,
89    0xbf11864e, 0x3ee50dd6, 0x3e34d092, 0xbf2ae061,
90    0xbda4e859, 0xbf56609a, 0xbecd03bb, 0xbeb9f6e6,
91    0xbed28ba5, 0x3f278cc1, 0x3d0afb8d, 0x3f22305f,
92    0xbd8200fa, 0x3d604744, 0xbe907378, 0x3f74a92a,
93    0x3f3d517d, 0x3e1da011, 0xbde58447, 0x3f254892,
94    0x3f6ee5ac, 0x3dd3f845, 0xbe4d2b12, 0x3e8f43dd,
95    0xbe52afbc, 0xbf0a36bf, 0x3f42929d, 0x3e985111,
96    0x3ed020da, 0x3f3e16eb, 0xbdcffdd6, 0x3f05c74a,
97    0x3f6ec105, 0xbeb7d23c, 0x3d0e0017, 0xbc1f81ae,
98    0xbc9ee25e, 0x3f05b255, 0xbd5547c8, 0x3f59d9bf,
99    0xbe5de988, 0xbee39be7, 0xbda4b903, 0xbf5d8bda,
100    0xbe635fd8, 0xbf37f3fc, 0x3e88c81d, 0x3f1a3c70,
101    0xbf39f61b, 0xbe5175bb, 0x3e735118, 0xbf1c903a,
102    0x3e6ade7a, 0x3da278e2, 0x3d211d29, 0xbf782457,
103    0xbdce390e, 0x3dd77839, 0x3f7767b8, 0x3e58c48c,
104    0x3ea33c0a, 0x3f02c1d3, 0xbf421e20, 0x3e7ffc2b,
105    0x3e4969ef, 0x3e76ca74, 0xbf5e7a9d, 0x3ec4f273,
106    0x3df14d7c, 0xbf185216, 0x3ea009b0, 0xbf3b23fd,
107    0x3ed29a35, 0xbe313327, 0xbf6468f1, 0xbd8dc765,
108    0xbea60f6b, 0x3e9d9f85, 0x3f64a125, 0xbd49f147,
109    0xbf1c4cef, 0xbe913f1f, 0xbeccf23b, 0xbf1f2872,
110    0xbecd590b, 0xbedb570a, 0x3f14d270, 0xbf104951,
111    0x3f0485e8, 0xbf04ad45, 0xbea9a57e, 0x3f183c2d,
112    0xbe954690, 0x3e0f6714, 0xbf51639e, 0x3ef39b73,
113    0xbe4c3f50, 0xbf16de85, 0x3f2dd344, 0xbec784d6,
114    0x3f0159dc, 0xbf553924, 0xbe40b847, 0x3dff5ba0,
115    0xbdf725d3, 0xbf574599, 0xbc3ba88d, 0x3f0705b5,
116    0x3e9ce775, 0xbef5dcba, 0xbea6380f, 0x3f414ae8,
117    0x3e58cded, 0x3ecfb64c, 0x3f5f92cc, 0x3e2afa4f,
118    0x3e526096, 0xbe80e065, 0x3f484d40, 0x3f0800b6,
119    0x3f261735, 0xbf0e947d, 0xbf04ba03, 0x3c0770ac,
120    0x3d7c5cc6, 0x3f3538be, 0xbf0a1dee, 0x3ee74123,
121    0x3f62f35b, 0xbe4ac72d, 0xbecbbc64, 0xbe039996,
122    0x3e7273fa, 0xbe1c659b, 0xbf33468b, 0xbf27e8cd,
123    0xbe4fc16f, 0xbf398c38, 0x3f1b82fc, 0x3e8205f5,
124    0x3e044800, 0xbecde7b6, 0xbf570089, 0x3eae8dae,
125    0xbe97a4df, 0xbcbcf7ff, 0xbe5408f5, 0x3f6ea02e,
126    0x3f5729eb, 0x3dcdc506, 0x3e7ef631, 0x3ef0f746,
127    0x3e9c6331, 0xbf1dd817, 0xbf2fb300, 0x3e7138ed,
128    0xbf42ac79, 0xbec6f51a, 0x3eeb5bfa, 0xbe799884,
129    0x3d3abe22, 0xbf39393a, 0xbf2df7cd, 0xbde61564
130    };
131
132static const uint32_t in_com2[512] = {
133    0x3e5e00a5, 0x3d5437b2, 0xbf76e473, 0xbe118adc,
134    0x3f55425f, 0x3e81e947, 0x3d942bcf, 0x3ef8f397,
135    0x3e9dc575, 0xbee0030b, 0xbe18b51f, 0xbf54dcaf,
136    0x3ec1bd88, 0x3e7e2057, 0xbf294c79, 0x3f192581,
137    0x3da2e4bd, 0xbebe0414, 0x3f618ee4, 0xbe907a1f,
138    0x3e8b37c1, 0xbe59e534, 0xbf6f5f57, 0x3da4bd24,
139    0xbe935cb1, 0xbea6b4d0, 0x3e93fd88, 0x3f5a5de8,
140    0xbd2ff045, 0x3f2e2134, 0xbe88c663, 0xbf2e67aa,
141    0xbf1a4367, 0x3f1783b7, 0xbf08da89, 0x3ce98d63,
142    0x3ec7db24, 0xbea8311b, 0xbf35c185, 0x3ef88a46,
143    0x3f720cea, 0x3e41c543, 0x3e3a0cf4, 0xbe457b96,
144    0xbf4cf78c, 0x3e0bfff3, 0x3eaef611, 0xbef20c08,
145    0xbe75e155, 0x3df7ee72, 0xbd8c4a97, 0xbf75f22d,
146    0x3f21ccfd, 0xbf24f711, 0x3e575516, 0xbec04d5f,
147    0x3e3c0ca5, 0x3f5718d6, 0x3ef531e5, 0x3e342d3b,
148    0x3ca93345, 0xbf64c525, 0xbeca25a1, 0xbe597e0d,
149    0x3f006222, 0xbd8bc6ea, 0xbf5c0623, 0xbd930e67,
150    0x3e53e097, 0x3f72fd98, 0x3d3a6f8f, 0xbe6e543c,
151    0x3ef24a32, 0x3ecfede5, 0xbf1e04f4, 0x3ef59c54,
152    0xbe7ebae6, 0x3de79930, 0x3f7630aa, 0x3cb780f1,
153    0xbf575ac3, 0xbe71643e, 0x3ef91965, 0x3bfe780e,
154    0x3ebd0b3f, 0x3ef7f7df, 0xbf3d91b1, 0xbe9181de,
155    0x3e32fa3e, 0x3f360331, 0x3d51b58b, 0x3f2de0cf,
156    0xbdab0058, 0xbf3b11ba, 0xbf2390d3, 0xbe66d72d,
157    0x3efd3ff1, 0x3adce576, 0xbeec08ff, 0x3f3c9c36,
158    0x3e18cc23, 0xbd4cd256, 0x3ed7fc0e, 0xbf64957a,
159    0xbf45f939, 0xbdc14c1d, 0xbef8db42, 0xbecabe7a,
160    0x3e8e8894, 0x3f628723, 0xbe53603b, 0x3e9f5eab,
161    0x3eb7d447, 0xbf6bfd1e, 0x3dc5c9f8, 0xbde04087,
162    0xbf7c063a, 0x3daee652, 0x3dd5360d, 0xbde6aee4,
163    0xbdb2c5fc, 0x3ef97a8b, 0x3d64bf98, 0xbf5df945,
164    0x3e14d648, 0xbf0daf08, 0x3f3fd56f, 0xbeaa9c62,
165    0x3e933f2d, 0x3f162506, 0xbf407553, 0xbdb884df,
166    0xbea9476e, 0xbf18f230, 0xbf2c4c22, 0xbe91827b,
167    0x3f6b435d, 0xbe44e4f4, 0x3b4c14bf, 0xbeb03927,
168    0x3ebbd495, 0xbf56e74b, 0xbea9f9d5, 0xbe661cb9,
169    0xbc9c7e12, 0xbf5eb4a6, 0x3d7e9c10, 0x3efa49c9,
170    0xbf0c583d, 0x3e38d98a, 0x3e5330e7, 0x3f4a4709,
171    0x3d3af836, 0xbf43e8ed, 0xbe580619, 0x3f1b3fa4,
172    0x3f6832f5, 0xbde339c4, 0x3ec8ff95, 0x3dd59500,
173    0xbf394555, 0xbf164840, 0x3eb9bdad, 0x3b833016,
174    0x3d6f881e, 0xbe3be86d, 0xbeced0b5, 0xbf64efbc,
175    0x3e9c0047, 0xbf2ebd7d, 0x3db269d3, 0xbf289565,
176    0xbe8efb83, 0x3f6639af, 0xbe41538e, 0xbe8e9f9b,
177    0xbe843545, 0x3f5b24af, 0xbe5bb4c8, 0xbec94064,
178    0xbf006fa9, 0x3e7bcf0a, 0xbe5999b1, 0xbf4d39ea,
179    0x3ccd5092, 0x3ebee80b, 0x3d542787, 0xbf6d14e6,
180    0xbeb15c65, 0xbeb379d0, 0xbf030cfa, 0x3f341fb5,
181    0xbef3995d, 0x3efc32c5, 0x3f236eb2, 0x3eb3e2c2,
182    0xbf6bc927, 0x3e2d025f, 0xbe915c7f, 0x3e53332b,
183    0x3f00f9ef, 0x3ef09c65, 0x3f207a15, 0x3eba4730,
184    0xbe1c4012, 0x3f7c2776, 0xbda42488, 0xbc2e5e2c,
185    0xbf018f9e, 0x3f1df091, 0xbf038b9a, 0xbea1415e,
186    0x3ed8c9a9, 0x3f2a7162, 0x3f041576, 0xbeaac2e0,
187    0xbe32ade9, 0xbf41dbd0, 0xbd754746, 0x3f20636b,
188    0xbe93b359, 0xbebd0a23, 0xbf4b5f21, 0xbec5debb,
189    0xbf122914, 0x3c605679, 0xbf4c7d00, 0x3e41b75e,
190    0x3f2f65c1, 0x3f20c0eb, 0xbe4e3992, 0xbe9e6436,
191    0xbf4d3b03, 0xbf171187, 0x3dbb895f, 0x3cd732a1,
192    0x3e9fbc96, 0x3bb29a7c, 0x3cd3fd58, 0x3f7320c3,
193    0x3e2b8649, 0x3c512791, 0x3f50d1b2, 0xbf0db533,
194    0x3f02e042, 0xbf585d57, 0x3d04fb35, 0xbe1c3135,
195    0x3e81e5c5, 0x3ec6faaf, 0xbe1b285b, 0x3f5f6a94,
196    0xbf603ab0, 0xbd535210, 0x3ee09804, 0xbe46e29e,
197    0x3ddc3691, 0x3f3d4e9e, 0x3de95fff, 0x3f2799dd,
198    0xbf1d26e6, 0xbef7f134, 0xbe5c0b10, 0x3f15d065,
199    0xbf19733a, 0x3ec750a4, 0x3d171705, 0xbf32cbf8,
200    0x3f16b69b, 0xbece99ea, 0xbddabbd7, 0x3f31356c,
201    0x3f153da6, 0xbe4abb88, 0x3f2e88ec, 0x3eca4e7c,
202    0xbed1f19f, 0x3f4c3daf, 0xbeb9e27a, 0xbe810fe3,
203    0xbf02ce4a, 0x3f238a3c, 0xbf132548, 0x3cab5f4c,
204    0xbf0c5a12, 0x3e80ff4b, 0x3d3672ff, 0x3f4bd4da,
205    0x3ef698b1, 0xbf38797e, 0xbe2dcacf, 0x3ef01fdf,
206    0xbed23785, 0xbd3dadd8, 0xbea7e6bc, 0xbf597c4d,
207    0x3f22059f, 0x3bfb0cd7, 0xbf3c2824, 0x3e7918a3,
208    0xbe339701, 0xbec2c324, 0xbeeaae04, 0x3f48ab8b,
209    0xbf44ad51, 0x3f04f16b, 0xbeb79cea, 0x3ddb5cab,
210    0xbe9b1cdc, 0x3d065eb5, 0xbdeb0012, 0x3f720c7a,
211    0x3f7ee196, 0x3da9dd25, 0x3c6e556e, 0x3d25680f,
212    0x3f3f968a, 0xbf1f57dd, 0xbd367f97, 0x3e661e5c,
213    0xbf597195, 0x3ef224d1, 0xbe38f86d, 0xbe18b4e5,
214    0x3e5cf6cc, 0x3efde4ae, 0x3f473c35, 0xbea364a0,
215    0xbf51052a, 0x3ef991fc, 0x3e70ec74, 0xbe4dd08b,
216    0x3f0c499a, 0xbe08f149, 0x3f09c763, 0x3f20502e,
217    0x3f0d56e5, 0x3ed22d8f, 0xbf39b00c, 0x3cbecff5,
218    0x3e2985f2, 0xbf7b1e84, 0xbc0dc8b9, 0x3dcfb535,
219    0x3db5863c, 0x3f2a350c, 0x3e3cc3e0, 0xbf37e97a,
220    0xbe3fdf8b, 0xbf0090fe, 0x3f55158f, 0x3e1044e7,
221    0x3e99a1b5, 0xbe385520, 0xbeb57451, 0xbf5dfdd7,
222    0xbe8119b4, 0x3f2c4a26, 0x3f074bab, 0x3ee7597f,
223    0x3f3b76b6, 0xbf2c0d5e, 0xbdb21a6c, 0x3d89946b,
224    0x3f24d97f, 0x3f3f8e32, 0x3e1e5245, 0x3d2069d6,
225    0xbf6f5eca, 0xbe99c3b7, 0xbe36e36e, 0x3d760be4,
226    0x3e56ba5d, 0x3e7d025c, 0xbeebba38, 0xbf5391b8,
227    0x3d86310b, 0xbecdf7d7, 0x3f2949b5, 0xbf21373c,
228    0x3d9f0f22, 0xbed2d015, 0x3f508624, 0x3ecd67fa,
229    0x3f238108, 0xbf372160, 0xbe3c7537, 0xbe5cc27a,
230    0xbf35c76a, 0xbf0cca71, 0x3ee047af, 0xbd1beeff,
231    0x3eda9505, 0xbdcc7779, 0x3ec688b4, 0x3f4f914d,
232    0x3e77d1d4, 0x3f01b62a, 0x3ecbcff1, 0x3f39b55e,
233    0x3edb0a86, 0x3f3804fa, 0xbcd3b45f, 0x3f0c1f5e,
234    0x3f5056bf, 0x3e939727, 0xbe1cb8c3, 0xbef62bdc,
235    0x3eea39da, 0xbe46d13d, 0x3dba0b1c, 0x3f5ced96,
236    0xbf5fef40, 0x3e93e4a2, 0xbc9e57d6, 0x3ec6f6f4,
237    0x3ea2dc20, 0x3f28decb, 0x3e58d1c4, 0xbf25ae0e,
238    0xbefbc66f, 0x3f01edb4, 0x3f2e466d, 0xbe4562e9,
239    0xbf033376, 0x3e25cdb6, 0x3e8e5338, 0xbf4bd04c,
240    0x3f4eb19e, 0xbe2f98c0, 0x3eec5e38, 0x3ea65ca1,
241    0x3d55de20, 0xbe96b638, 0xbf139267, 0xbf42aec6,
242    0x3e2ba5da, 0xbf129c95, 0xbe786ccc, 0x3f43cfe9,
243    0x3d239478, 0x3f07f989, 0xbf22cc2c, 0xbf0ef752,
244    0x3e07b499, 0x3f4e006a, 0xbd729969, 0x3f135f2c,
245    0xbf43a926, 0x3f197fc0, 0xbe0ded1c, 0x3e4542be,
246    0xbf2612db, 0x3ebf8900, 0x3f274909, 0x3de23cfe,
247    0xbea46fcd, 0x3ed237f4, 0x3f4d7892, 0xbe9474f5,
248    0xbd130232, 0xbd9eacf5, 0x3f79b95f, 0xbe4fb19b,
249    0xbe9e6fbb, 0xbe0a0dac, 0x3f6e9535, 0xbe07803c,
250    0x3ddf7970, 0xbf03922d, 0x3f2c457c, 0xbf054b46,
251    0xbe1b6a82, 0x3e91cc8e, 0x3f44168c, 0xbf0e57c7,
252    0xbf329bba, 0xbe134dc4, 0xbf115e39, 0x3ed328c1,
253    0xbf463fda, 0x3e61dcf2, 0xbf09a63f, 0xbe8005b7,
254    0x3f1f75dd, 0x3f1e853b, 0x3ea89cdc, 0xbeb1731a,
255    0xbe8a9536, 0xbe3aa3bb, 0x3f3edd94, 0xbf14c127,
256    0x3f3a5b02, 0x3f209ead, 0x3d937ec6, 0x3e88a8eb,
257    0x3d87f262, 0xbc94108f, 0xbdb4c8fe, 0x3f7e6447,
258    0x3f16b56b, 0xbe7ba7c4, 0xbf17911d, 0xbefc20fd,
259    0x3da23cf6, 0xbf501c8b, 0x3ea2468b, 0x3ef6d3ef,
260    0x3f1e1ee0, 0xbf11b46e, 0xbdd9dfa0, 0xbf083e54
261    };
262
263static const uint32_t in_rot[1152] = {
264    0x3f14d753, 0xbf1753a9, 0xbf0f1dff, 0x3e89fc1c,
265    0xbf022739, 0x3f515ef6, 0xbf448698, 0xbf204d00,
266    0xbe0b8eff, 0xbed7e246, 0xbf4812d6, 0xbeeb6a56,
267    0xbd9b7458, 0x3f0924d0, 0xbf574a5c, 0x3f6750d0,
268    0xbea3af31, 0xbe9206b8, 0xbef5084c, 0x3dd394d8,
269    0xbf5f37d3, 0x3f543b7a, 0xbe8c4645, 0xbef997e3,
270    0xbe9418f6, 0xbf74c7b3, 0x3d3a3e58, 0x3f2f7838,
271    0xbe93a416, 0xbf2b29dd, 0x3f2b3b1b, 0x3f1cbad9,
272    0x3ed7e2ec, 0x3e935409, 0xbf3c793c, 0x3f1ccdac,
273    0x3d53c462, 0x3f79bb3b, 0x3e5ae8a1, 0xbf7f8e5e,
274    0x3d361202, 0x3d1e0d28, 0x3ce68463, 0xbe5c926e,
275    0x3f79e2fe, 0xbe7af3a8, 0xbf708f61, 0x3e745233,
276    0xbf34aa0e, 0x3eaeec3c, 0x3f1ee48f, 0xbf2a2d6e,
277    0xbc854d4b, 0xbf3f33c3, 0xbf2f37bf, 0xbe27a32a,
278    0xbf35dfe1, 0x3f0f217f, 0xbf3e4681, 0xbebc180d,
279    0xbeef919b, 0xbf260e8e, 0x3f19aa26, 0x3e2b94ad,
280    0xbf52879d, 0xbf0b3011, 0xbed4cba4, 0x3ee1e111,
281    0xbf4b9e22, 0x3f64db64, 0x3eb7eef7, 0xbe8926a5,
282    0xbea06506, 0xbf72c9ac, 0xbd496cbb, 0xbf27adf1,
283    0x3e81acef, 0xbf36406c, 0x3f3008b8, 0xbe4364ac,
284    0xbf335657, 0x3ec12126, 0xbf263533, 0xbf291318,
285    0x3e73f3e0, 0x3f41d4aa, 0xbf1bb62b, 0x3f651c54,
286    0x3d93a59d, 0x3ee16bd7, 0xbdf73711, 0x3ecc455b,
287    0x3f68b346, 0xbf7df4f7, 0xbda81be7, 0xbdc4031f,
288    0x3d15366e, 0xbf69ccfc, 0x3ecfb6bb, 0x3f5b6c5d,
289    0x3f0158aa, 0x3dcd5bf9, 0x3efdc9f5, 0xbf5caa45,
290    0x3dd9ba1b, 0x3e0f82e8, 0xbd29a6d6, 0xbf7d4066,
291    0xbef3ba3e, 0x3f4b1edb, 0x3ec23036, 0xbf6121be,
292    0xbedaf784, 0xbe561ac4, 0xbb720e24, 0xbeddbbc3,
293    0x3f66bef4, 0xbeb28adf, 0x3f68de11, 0x3e672667,
294    0xbe28d087, 0x3e35d2f0, 0xbf785f35, 0xbf6c3086,
295    0xbec0469f, 0x3db44f89, 0xbefe7716, 0x3f4bc114,
296    0xbeb0ff89, 0xbeb38eb8, 0x3e387ddc, 0x3f6b4335,
297    0x3f4b3191, 0x3f13f666, 0x3e4221d7, 0x3f4745c5,
298    0xbe3841b7, 0x3f19f67a, 0xbf1937f6, 0x3d9c4271,
299    0x3f4c273b, 0xbe41edae, 0xbf7b101a, 0xbd45d9bc,
300    0x3ec0b7ef, 0x3e9b002b, 0x3f60272f, 0xbf3f69d3,
301    0x3f2845ef, 0x3dc0d728, 0xbf0c0acd, 0xbf30aca4,
302    0x3ef2928e, 0xbf4c4742, 0xbf0c7b83, 0xbe7f37fc,
303    0xbf1a4510, 0x3f3bce43, 0x3ea0d22f, 0x3c2ba754,
304    0x3ecd3a85, 0xbf6a84d6, 0x3f632564, 0xbe491cda,
305    0x3ed5a941, 0xbebacced, 0xbf5a36bf, 0x3ebfc840,
306    0x3e90755d, 0xbef81e95, 0xbf53f66a, 0xbf17491c,
307    0xbf0cbb4d, 0xbf1723d2, 0xbee6de06, 0xbec37510,
308    0x3f4e8b1e, 0xbf2b3de5, 0x3f3e35ad, 0xbcb68779,
309    0xbf2404a2, 0xbee8b3ee, 0x3f1e6b21, 0x3ea7ede2,
310    0x3f1114a3, 0x3f417ce5, 0xbf31b80a, 0x3f2fed0f,
311    0xbe5b29c6, 0x3d23d523, 0x3e1e1381, 0x3f7cb955,
312    0xbe5db145, 0xbf769347, 0x3e233668, 0x3f79b7fd,
313    0xbe616237, 0xbba7461e, 0xbd849d6c, 0xbeb1e04b,
314    0xbf6f7b2d, 0xbf364cb8, 0x3f2c3d35, 0xbe4d6365,
315    0x3f32f6ba, 0x3f27362b, 0xbe94f922, 0xbedd99b9,
316    0xbe9b11ef, 0xbf595d7d, 0x3f319392, 0xbf36a506,
317    0xbdcaf205, 0xbf1365aa, 0xbf21c1bd, 0x3f04d576,
318    0x3f3f12a9, 0xbf2922b8, 0xbda40209, 0x3e68d876,
319    0x3e0f6f5f, 0x3f76b38f, 0xbf201edb, 0xbf3ccb58,
320    0x3e827283, 0xbee3b838, 0xbf307f27, 0x3f125bd3,
321    0x3e5f740c, 0x3f0921fb, 0x3f50d470, 0xbf5e6057,
322    0x3ef9a2d1, 0xbdb3d1b6, 0xbf21a0cc, 0xbd8f19a0,
323    0xbf45b7cc, 0x3f07cb81, 0xbf43f1e5, 0xbeba8fd5,
324    0xbf10d143, 0xbf23c5ea, 0x3f05333d, 0xbe3465cd,
325    0x3f75d949, 0x3e5d48d4, 0x3f274352, 0xbd4d4968,
326    0x3f416063, 0x3f3c7b2c, 0x3e8c6cb0, 0xbf1e5ec0,
327    0x3f4ff009, 0xbda47cbc, 0x3f13e713, 0xbe4e4a43,
328    0xbf77d8f4, 0x3e18349d, 0x3f0c22ec, 0xbe72d01a,
329    0xbf4d7532, 0xbf3c1cf7, 0x3f14a20e, 0x3eb3876c,
330    0x3edbe003, 0x3f4c643f, 0xbed81748, 0xbf06663c,
331    0xbe236126, 0xbf560517, 0x3f3d41b2, 0x3ef577b6,
332    0x3ef21c3a, 0xbf1fdd65, 0x3f4038f1, 0x3e5c2c6e,
333    0xbe8103a7, 0xbee89391, 0x3f5ac030, 0xbea1ddcc,
334    0x3eae8e53, 0xbf62a55b, 0xbf71f4bf, 0xbd044ea3,
335    0x3ea66e92, 0x3da865ec, 0x3f708548, 0x3eaa355f,
336    0x3e6ee6a8, 0xbf2b7ece, 0x3f347064, 0xbf4c505f,
337    0x3e90799d, 0x3f0848ea, 0xbf0e36ae, 0xbf2fcddb,
338    0xbef008f8, 0x3f27087a, 0xbf3b8d77, 0x3e466460,
339    0xbef8f56f, 0xbe55a900, 0x3f593a34, 0xbf14cc46,
340    0xbf25da17, 0xbefc1903, 0x3f41d091, 0xbc611c88,
341    0x3f2735fe, 0xbe72f7fe, 0x3f6cfc7d, 0x3e96c87e,
342    0xbf1bd3df, 0xbec18181, 0x3f3295c6, 0xbf25c583,
343    0x3e11caed, 0xbf3fa4ce, 0xbf27d8b9, 0xbf1ad005,
344    0x3ee77cc0, 0xbec6d471, 0x3f4899c0, 0x3ef84a70,
345    0x3d91d09f, 0x3f749bbe, 0xbe929156, 0x3f22d644,
346    0xbe877469, 0xbf398fc8, 0xbf44b141, 0xbe059c75,
347    0xbf2069bf, 0x3e347601, 0x3ee9beb3, 0x3f5f4081,
348    0xbf75d225, 0xbdebd4e8, 0x3e82376d, 0x3e5dba63,
349    0xbf61d95f, 0x3ed60f7c, 0x3e67b886, 0xbc740fe2,
350    0x3f795488, 0xbf0d6626, 0x3f525609, 0x3e1047db,
351    0xbf4d64b0, 0xbf11e099, 0x3e35f65c, 0xbd883549,
352    0xbf48fe99, 0x3f1da15c, 0xbf7dcae3, 0x3df9814c,
353    0x3d45af41, 0xbde73c52, 0xbf1b7309, 0xbf4955eb,
354    0xbf44397d, 0xbd3c95a9, 0xbf23fda8, 0xbec5785b,
355    0xbf43b96e, 0x3f0435a7, 0xbf03774a, 0x3f24966a,
356    0x3f117a2e, 0xbf1af108, 0x3f4b7821, 0xbd35ff75,
357    0xbf36649f, 0xbf0415fc, 0x3ef37df7, 0x3eb5ca3a,
358    0x3ea3946c, 0x3f60e8f7, 0x3ec83d92, 0xbf2d40db,
359    0xbf1fac15, 0xbf59f64f, 0xbc0ea526, 0xbf064073,
360    0x3eb2ef5e, 0x3f3c73d1, 0xbf1461d3, 0xbeec20e7,
361    0x3f388b56, 0xbf047087, 0x3eb5218f, 0xbec547f0,
362    0xbf5a2eea, 0xbf505060, 0xbf137a1c, 0xbd9e5b7a,
363    0x3ebc9f18, 0x3f2aa8a3, 0xbf25e1fb, 0xbe05a0bc,
364    0x3f3a289a, 0x3f2c8675, 0x3f6ba36f, 0xbe27a55c,
365    0x3eb5b3e4, 0x3f43fc86, 0x3de5a7f5, 0xbf222d32,
366    0xbf0e75f7, 0x3f1c0af4, 0xbf108a06, 0x3ea54a62,
367    0x3f48e783, 0x3f076fe4, 0x3f4619ae, 0xbf15eba7,
368    0x3e771935, 0xbeb92bb5, 0xbdc41f64, 0x3f6d68a9,
369    0xbf051e08, 0xbf4e0e30, 0xbe9261e1, 0x3e2ca6cb,
370    0xbf2a3027, 0xbf3a4db0, 0x3e8cad93, 0x3f3da1e9,
371    0xbf1ceed6, 0x3f72554e, 0xbdc5d5c9, 0x3e9d77e4,
372    0x3b809416, 0x3ef16223, 0x3f61c317, 0x3f579738,
373    0x3ef2ae21, 0xbe83a792, 0xbf0a0acc, 0x3f3e6254,
374    0xbeca543a, 0xbf5a9704, 0xbf053c84, 0xbbcb3302,
375    0x3eda29f2, 0xbf312f48, 0xbf1523d3, 0x3e990b2c,
376    0xbf0005a6, 0x3f501077, 0xbf21f8fb, 0x3e2fc07e,
377    0xbf415068, 0xbf4188bb, 0x3d986301, 0x3f267c83,
378    0x3e2bd58d, 0x3f7b7b19, 0x3da95181, 0x3ed869d2,
379    0x3f67fae4, 0xbc62eb28, 0xbd3f676b, 0x3bd5f822,
380    0xbf7fb702, 0xbf67b2d3, 0x3ed880f3, 0x3d38c005,
381    0x3f4b763f, 0x3edc5fa5, 0x3edb1268, 0x3eb7d0f2,
382    0x3e70a346, 0xbf673c3a, 0xbefa8965, 0x3f5f1ace,
383    0x3d041185, 0xbdc06790, 0x3f7d0837, 0xbdf445bc,
384    0x3f79c25c, 0x3dec118a, 0x3e3f3b18, 0x3e4b179a,
385    0xbdca62dd, 0xbf79a2cc, 0xbf0798a0, 0x3eaa0134,
386    0x3f47cf83, 0x3f16f34d, 0x3f4e3cc0, 0x3d6b3bf7,
387    0xbf1c16ae, 0x3efb3615, 0xbf1f5c22, 0xbed08311,
388    0x3f59106c, 0x3eadc79b, 0x3f12cc5f, 0xbd547259,
389    0x3f514eeb, 0x3f35fb09, 0x3f0710ed, 0xbeee20b3,
390    0x3dc98491, 0xbea05e46, 0x3f71cf50, 0xbf2cb14d,
391    0xbf3803f8, 0xbe2c1e94, 0x3f3b4b10, 0xbf1ee2da,
392    0xbe906503, 0xbee965f9, 0x3ef01791, 0xbf41aa52,
393    0xbe8358d9, 0x3f3ea21a, 0x3f1dbd7d, 0x3f5a2f20,
394    0x3ef32dac, 0xbe606b8e, 0xbf2e70d0, 0xbf3b582a,
395    0x3c3aefe3, 0x3f3ad7c4, 0xbf2e3ad0, 0xbd8364cc,
396    0x3d601e42, 0xbd10f4dc, 0x3f7f74b5, 0xbe9a6e1a,
397    0x3e312bd9, 0xbf700664, 0xbddd1250, 0x3f788b5a,
398    0x3e5b04c6, 0x3f728216, 0x3e29b2e1, 0xbe8c5ec1,
399    0x3ec1196b, 0xbed16bda, 0xbf54b859, 0x3e45f377,
400    0x3f6985c2, 0xbeb8fa5b, 0x3f67df83, 0xbcc7a873,
401    0x3ed8a0d1, 0xbe83df0c, 0xbf66c175, 0x3eb2377d,
402    0x3f51193d, 0xbeca8794, 0xbed70712, 0x3f0428f7,
403    0x3e345dc7, 0x3f568fa6, 0xbe01bdaa, 0xbef9344e,
404    0x3f5d43e0, 0xbef3bd73, 0x3f4b5564, 0x3ec14759,
405    0xbf5ec819, 0xbeba2e23, 0xbeaa28df, 0x3e159d44,
406    0xbedf6f8b, 0xbf63479f, 0xbf7939af, 0x3dc49454,
407    0xbe545fd6, 0x3e33f144, 0x3f6505c4, 0xbed257a6,
408    0x3e4002da, 0xbea706e2, 0xbf6d2fa3, 0x3f692ea7,
409    0xbe972f9c, 0x3e939e1f, 0xbebc3b44, 0xbf65e29d,
410    0x3e7794b6, 0x3ee3223b, 0x3f6104fd, 0x3e331999,
411    0xbf5a77e1, 0x3ef2a3c7, 0xbe5e519d, 0xbe8c253a,
412    0xbd58de79, 0x3f75d989, 0xbf4ee658, 0x3f12e493,
413    0xbe07b410, 0x3e568ddb, 0x3efb2068, 0x3f588c21,
414    0x3f0ce51b, 0x3f27e7e0, 0xbf044223, 0xbf0fd81c,
415    0xbed9f7de, 0xbf3591ac, 0x3ef44f66, 0xbf5dffc1,
416    0x3e11e854, 0xbf2cfb8d, 0xbe84492e, 0x3f30be3c,
417    0x3f7eba80, 0x3d93431f, 0xbd8cf9cf, 0x3d9e419c,
418    0xbdf9f45f, 0x3f7d50a1, 0x3d808306, 0xbf7d6b24,
419    0xbe020bda, 0xbf38178e, 0x3f11d733, 0xbecbbb4b,
420    0x3eb4bb93, 0xbe466a3a, 0xbf6a53d9, 0xbf193b66,
421    0xbf4c7711, 0xbd7cf6f3, 0x3f273de7, 0xbe1ffd64,
422    0x3f3da5e6, 0x3f1ab57a, 0x3f327039, 0xbec59838,
423    0xbee981b3, 0x3f332747, 0x3f0cbe51, 0xbf354283,
424    0xbf0068b9, 0xbefe7eda, 0xbe0f7102, 0xbf171314,
425    0x3f4b88fa, 0xbf312fa5, 0x3f21efe1, 0x3eb1f5e3,
426    0x3f2d0b65, 0xbe8276c9, 0x3f310557, 0xbeed4daa,
427    0xbf6062af, 0x3e0533db, 0x3f12aca5, 0xbed11ca2,
428    0xbf35e890, 0xbe9a83ba, 0xbe56f4fd, 0x3f6e130a,
429    0xbf73fd08, 0x3d2c8d1b, 0xbe997bf7, 0x3cc29200,
430    0xbf7a1046, 0xbe59e3b9, 0x3f2307d3, 0x3ea142e5,
431    0xbf34279e, 0xbf244e34, 0xbe941010, 0xbf35d24f,
432    0xbedabafb, 0x3f676ae1, 0x3c9355d2, 0x3e87ec42,
433    0xbec86ead, 0x3f618d75, 0xbdab2fd9, 0xbf6b7568,
434    0xbec4570a, 0x3f75e285, 0x3ce6aa33, 0xbe8dc523,
435    0xbe812c97, 0x3f1b7eb3, 0xbf40d618, 0x3f721f3c,
436    0xbc1fb389, 0xbea63693, 0xbe516f60, 0xbf4b5986,
437    0xbf126f94, 0xbd9e5fa7, 0xbf0d8bce, 0xbf546367,
438    0xbf510fbb, 0x3f033215, 0xbe87e5b8, 0x3f126a49,
439    0x3f28310b, 0xbefb7a26, 0xbec15881, 0x3f42e8ad,
440    0x3f06e920, 0xbf232d03, 0x3e4bdc60, 0xbf3e8ebe,
441    0xbf2bf11e, 0xbf1df3e7, 0x3ed1faf0, 0xbf198646,
442    0xbf4c97b2, 0x3d265cc2, 0xbf478408, 0x3f1261b1,
443    0xbe832d7b, 0x3e39e3d9, 0xbe3dbff3, 0xbf773c99,
444    0xbf08830e, 0x3f4ab589, 0x3e9870b3, 0x3f5813aa,
445    0x3f05898a, 0x3dfed302, 0xbd689535, 0x3ea2a370,
446    0xbf724e2b, 0xbcc24c89, 0xbd7047b2, 0x3f7f7cac,
447    0xbf2d9d10, 0xbf3b85e1, 0xbd7260d5, 0x3f3c092c,
448    0xbf2d9ffb, 0xbcb79439, 0x3f34c18c, 0xbecee261,
449    0x3f14df52, 0x3f2345f1, 0x3bc5909e, 0xbf452b2d,
450    0x3e9d8b89, 0x3f6a2a4a, 0x3e8620a6, 0x3e0bbf43,
451    0xbf5428fd, 0xbf0aefe3, 0xbf6f2456, 0x3d99002d,
452    0xbeb2ad50, 0x3ea8d680, 0x3f0dfae1, 0xbf439436,
453    0x3f4f0287, 0xbf007265, 0x3e9d47ea, 0xbcf2bac7,
454    0x3ef93802, 0x3f5f7f43, 0xbf166ad7, 0xbf370e9f,
455    0x3ec1ea21, 0xbcb18af1, 0x3f5034a0, 0x3f14d908,
456    0xbf62865a, 0xbe929624, 0x3ebc27c6, 0x3eee4211,
457    0xbf01abc0, 0x3f39d25f, 0x3f2bb64c, 0x3f37795e,
458    0x3e437a38, 0x3f24c497, 0xbede7e72, 0xbf214800,
459    0xbebcb4bb, 0x3f0ba20b, 0xbf40b518, 0x3d3ebb70,
460    0xbf19d363, 0xbf4c4872, 0x3f6ab78f, 0xbe952cd6,
461    0x3e8bb908, 0xbecafee7, 0xbf3e8d7f, 0x3f099060,
462    0x3ed4ba40, 0x3f1cb51d, 0x3f2c3ca0, 0x3f3aa7da,
463    0xbf2a96af, 0x3e1fc263, 0x3f0b3882, 0x3ed9f9a7,
464    0xbf3922c9, 0x3e479a59, 0x3f10c2f7, 0x3f4d2892,
465    0xbef40aac, 0xbf28d464, 0x3f14ce8a, 0x3f5b7257,
466    0xbefd965c, 0x3e105cd5, 0xbf7c66de, 0x3db9370e,
467    0x3e0fd9a8, 0xbe1be226, 0xbf552ecb, 0xbf0845ee,
468    0x3d8cfcf1, 0xbf0bd516, 0x3f55b5f9, 0x3e10923e,
469    0xbf7d4b7a, 0x3d0737f3, 0x3f6ba146, 0x3df3883e,
470    0xbebea902, 0x3ebaa2b6, 0x3da9e6c1, 0x3f6d7019,
471    0x3f435bce, 0xbf104fb7, 0xbea1ce24, 0x3ef62710,
472    0x3f526d75, 0xbe9c5037, 0x3edd1e14, 0x3da5fb14,
473    0x3f65f626, 0xbeaa2a86, 0xbf32c286, 0xbf224d31,
474    0xbf71700e, 0x3e75c6b6, 0x3e6b9316, 0xbc0ad6ad,
475    0x3f2ca48f, 0xbf3d0338, 0x3eddcd80, 0xbf135f58,
476    0x3f3188a7, 0x3e8c4dac, 0xbf261d69, 0xbf35b736,
477    0x3f5bcee3, 0x3efebda2, 0xbdfc9f84, 0x3f7f560c,
478    0xbbdcaa22, 0x3d92c03c, 0xbd305818, 0x3f3df474,
479    0x3f2b43d0, 0xbd6c3c20, 0xbf2b9c4a, 0x3f3d6358,
480    0xbee85241, 0xbcaf2169, 0x3f641023, 0xbdb2fd61,
481    0xbf7e6b51, 0xbd8c021d, 0x3f630766, 0xbddefc66,
482    0x3ee5ee1b, 0xbf02c571, 0xbe9b6ebd, 0x3f4de68d,
483    0x3ee4a8ec, 0xbf64a472, 0xbd5afe10, 0x3f3c0d4e,
484    0x3ea9ed76, 0x3f178126, 0x3e066f63, 0xbdee55f3,
485    0xbf7c0790, 0xbf26c814, 0xbf4236ff, 0x3b37909f,
486    0xbf3f493c, 0x3f2419c8, 0xbe33a04b, 0x3e0e5dba,
487    0xbf7c581e, 0xbdc29712, 0x3f4a92d7, 0x3e2c4e87,
488    0xbf167af9, 0x3f186ca2, 0x3bd63c9c, 0x3f4dab70,
489    0xbf61d7a7, 0x3ee6dae2, 0xbe0b0216, 0xbee076d9,
490    0xbf6445c5, 0xbde6b2f7, 0xbe2ff641, 0xbd23468c,
491    0x3f7bfc4b, 0xbf752428, 0x3e7be3ea, 0xbe19afe2,
492    0x3e2494ae, 0x3f63639e, 0x3edc56a3, 0x3e74e951,
493    0x3ec6a44a, 0xbf63dd79, 0xbe8cc4c7, 0xbf6f1af1,
494    0xbe699b19, 0xbf1d7e25, 0x3eb4dc35, 0xbf346db0,
495    0x3f3d26a5, 0xbd5ad87d, 0xbf2bf634, 0xbf4e73d9,
496    0xbf11f9d9, 0xbe2037ef, 0xbe88ffd6, 0x3f1680b6,
497    0xbf436df7, 0x3f06fc59, 0xbf12e332, 0xbf206efc,
498    0xbe87427f, 0xbe4c7ebf, 0x3f718df1, 0xbf0b5273,
499    0xbf46de5a, 0xbea23175, 0x3f4bd78e, 0xbf18e26b,
500    0x3dc5b64b, 0xbf1a0a59, 0x3ebb42f0, 0xbf35c579,
501    0x3e80f174, 0x3f6e36dd, 0x3e882334, 0x3f4209df,
502    0xbc9a37fe, 0xbf26eb28, 0xbf199d7a, 0x3f049561,
503    0xbf1c13b0, 0x3f14f534, 0x3f4e3ae0, 0x3de4a1b8,
504    0x3f0c88d7, 0xbe93556f, 0xbf48e566, 0xbdbf8012,
505    0xbf083516, 0x3f576e5b, 0x3f7c7cd3, 0x3d87297b,
506    0x3e1af2db, 0xbe0b5033, 0x3f5818f2, 0x3f04c23e,
507    0xbe9f5a3d, 0xbf733f85, 0x3c87eff9, 0xbd3c5b9c,
508    0xbb1c2545, 0xbf7fba7c, 0x3f73000e, 0xbe9f92fc,
509    0xbd2ff020, 0x3d95d81d, 0xbe8b6253, 0xbf759e33,
510    0x3f758978, 0xbe7a553e, 0x3e11ed62, 0xbe8bf420,
511    0xbf6e3f9f, 0x3e790f08, 0xbf4a6fda, 0x3d460d55,
512    0x3f1c362d, 0xbf01abca, 0x3f020d39, 0xbf325912,
513    0xbeaff66e, 0xbf5c2855, 0xbec1244f, 0xbe67395a,
514    0xbf74ad90, 0x3e40f65a, 0xbf2515f6, 0x3ada2091,
515    0xbf43a8be, 0x3f3aecee, 0xbe969437, 0xbf1de17c,
516    0x3f65e7a5, 0x3e4001e0, 0xbecbb89f, 0x3ee107be,
517    0xbed64c06, 0x3f4b757f, 0xbc8f79c1, 0xbf637d10,
518    0xbeeaa5c7, 0x3ee30189, 0x3e161427, 0xbf625fd5,
519    0xbddd4185, 0xbf7879fe, 0xbe5c3338, 0xbf63ca2c,
520    0x3e4374b4, 0xbed43a4d, 0xbeb3b4dd, 0xbe1a9bb0,
521    0xbf6c9392, 0x3f4649e4, 0xbf19f42c, 0xbe48a201,
522    0xbf06b320, 0xbf48d94c, 0x3ea7f305, 0xbf14c853,
523    0x3f234d50, 0x3f015a63, 0x3f47807f, 0x3f1d75ab,
524    0x3df5768b, 0xbe6ff540, 0x3eed4688, 0xbf5ac64f,
525    0xbf49f318, 0xbf1cb825, 0x3d5d5e6c, 0xbe33d101,
526    0x3e9e1bd1, 0x3f6f4d5d, 0xbf16c50a, 0x3f3a5903,
527    0xbeb3c455, 0x3eecacaf, 0x3f111959, 0xbf2e94c4,
528    0x3f16974e, 0x3ec249d2, 0x3f36d0a8, 0x3f29ddd3,
529    0xbf3b3430, 0xbe21cb56, 0x3c210830, 0xbf51cb0c,
530    0x3f12af60, 0xbf354c0e, 0xbed20bc5, 0xbf1318d7,
531    0x3f34b941, 0xbeccdeeb, 0xbf159b23, 0x3f267906,
532    0x3ec55b45, 0xbf27964a, 0xbd8fe86e, 0x3f637751,
533    0x3ee8226a, 0x3f41a5af, 0xbe7ecd8f, 0x3f1ad9fa,
534    0xbf575a91, 0x3f064624, 0xbe066acb, 0xbdc5ffff,
535    0x3dbe5b0d, 0x3f7daff5, 0x3f082f34, 0x3f58a83b,
536    0xbce11e40, 0x3e082ce5, 0xbf470c68, 0xbf1d57bb,
537    0xbf7bcef0, 0xbe37f3cd, 0x3c6c75fd, 0xbdf91a84,
538    0x3f1a466c, 0xbf49e7ad, 0xbf24a640, 0x3f16617f,
539    0xbefb7e31, 0x3f437a92, 0x3ee35e2d, 0xbef00004,
540    0xbd6a65a0, 0xbf2d32b3, 0xbf3bf242, 0xbf52d04d,
541    0x3f0fcc3a, 0x3da32149, 0xbf0ae81a, 0xbf3d2230,
542    0xbecca3ff, 0xbe29a30a, 0xbebea600, 0x3f69c667,
543    0x3eddb40f, 0xbf3db82b, 0x3f035b30, 0x3f575617,
544    0x3f096c8d, 0x3d8615d6, 0xbea5dea5, 0x3ece779f,
545    0x3f5b1728, 0xbd595f62, 0x3f33d322, 0xbf35b2eb,
546    0x3f7d8136, 0x3e03c3cf, 0x3d5a58c2, 0x3e03dd91,
547    0xbf333421, 0xbf33d1f4, 0x3eeac77f, 0xbf3a5c1b,
548    0xbf027b89, 0x3c5c6850, 0x3f1444b7, 0xbf50a9f4,
549    0x3f637900, 0x3ebbdb3a, 0x3e8cfdf3, 0x3d517f6c,
550    0x3f7e5d47, 0x3dce0a88, 0x3f791e94, 0xbd93eec5,
551    0x3e5fe9be, 0x3e65ec84, 0x3db19931, 0xbf78793b
552    };
553
554static const uint32_t ref_norm[128] = {
555    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
556    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
557    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
558    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
559    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
560    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
561    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
562    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
563    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
564    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
565    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
566    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
567    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
568    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
569    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
570    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
571    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
572    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
573    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
574    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
575    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
576    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
577    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
578    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
579    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
580    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
581    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
582    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
583    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
584    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
585    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000,
586    0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
587    };
588
589static const uint32_t ref_inv[512] = {
590    0xbef7c448, 0xbf3efa5a, 0x3ddcbbc1, 0x3ee3a3f1,
591    0xbee91134, 0x3e92943b, 0xbf3faed1, 0x3ec66a88,
592    0xbe8a8d46, 0xbeddb102, 0xbf09cf11, 0x3f2ba2ba,
593    0x3f5a5ba1, 0x3eadc1f1, 0x3e8f8432, 0xbe8fa5c3,
594    0x3f3842ce, 0x3db4ac1f, 0xbd840d55, 0x3f2f80d6,
595    0xbe976295, 0xbf09dec3, 0x3f4388ce, 0x3e4a92e4,
596    0x3e54ad5e, 0x3ead5b5c, 0x3e9579e0, 0xbf5ebbb6,
597    0xbf1437d3, 0x3eff43b5, 0xbf1eeb9b, 0x3e33daf0,
598    0xbe7a8c5f, 0x3f084e59, 0xbf40ba33, 0x3e997c36,
599    0xbf4d626e, 0x3e5916fa, 0xbef82855, 0x3e8d97e7,
600    0xbf0c62d5, 0xbebed540, 0x3ecbaa9e, 0xbf225660,
601    0xbd1d1cc3, 0xbf767dab, 0xbe851022, 0xbd7fb044,
602    0x3effb2fe, 0x3de5a1d6, 0xbe444f60, 0x3f5660c9,
603    0xbef5218e, 0x3e9efbe2, 0x3f198182, 0xbf0fa23f,
604    0x3eef285c, 0x3e3ae562, 0x3f1c1e0d, 0x3f1d1a31,
605    0x3f2c0904, 0x3f29591b, 0xbe96a037, 0x3e1f73f8,
606    0xbf4ab05d, 0xbe7d969a, 0x3ee5fe28, 0xbea9d254,
607    0x3d8f3ac0, 0xbe9ebe31, 0x3f6dab48, 0x3e452422,
608    0xbe68e595, 0xbf71c512, 0x3e182297, 0xbe3d9957,
609    0xbd10ea0b, 0xbee6d63c, 0x3f0e0b73, 0x3f32c312,
610    0x3ed8034c, 0x3d2680ab, 0xbf472e3f, 0xbeed65bf,
611    0x3e091b10, 0x3f3564de, 0xbcb38ff4, 0x3f3145fc,
612    0x3f12e614, 0xbebe70d6, 0x3f364e41, 0x3e22b375,
613    0x3e9c4484, 0x3edf6f13, 0x3e653ed9, 0xbf50f6b6,
614    0x3f3b4d3f, 0x3f14ce7a, 0xbe3ed438, 0xbe9b5dd4,
615    0xbf0032e0, 0xbe27c362, 0x3f3814eb, 0x3ee7fff4,
616    0xbe33f62c, 0xbec88dcb, 0xbe968134, 0x3f5a9e01,
617    0xbe49a020, 0xbf1c6117, 0xbf29121a, 0xbec78ec7,
618    0xbdd0afd8, 0xbf7249c4, 0x3d986e6e, 0xbe982b88,
619    0xbe743f50, 0x3e8cde49, 0x3f6af33d, 0xbe223ad7,
620    0xbf6a175b, 0xbe3b5ddd, 0x3e4aedde, 0xbe9a860c,
621    0xbefdf152, 0x3e9e9440, 0xbef9b3d2, 0xbf25f35f,
622    0x3f02f3c8, 0x3f1886c9, 0xbf1db074, 0x3d80509f,
623    0xbef9b510, 0xbf445dd4, 0x3ecb6548, 0x3e01534e,
624    0xbf6b56ed, 0xbe3b41d0, 0x3eafb2f4, 0xbd78fe8b,
625    0xbe76f68a, 0x3eafec92, 0xbebf3519, 0xbf53c537,
626    0x3e593d05, 0xbf334ef4, 0xbf116d9f, 0x3ec0b93d,
627    0x3f1bacc3, 0x3eef3b9e, 0xbe89fc6d, 0x3f151baa,
628    0x3f3ef4e6, 0x3e73ec14, 0xbf186716, 0x3e387321,
629    0xbe84bd21, 0xbf21d063, 0x3f33e01f, 0xbe4ba707,
630    0xbdc58e31, 0x3ea7d39b, 0xbea89681, 0xbf6157b3,
631    0xbedec96b, 0xbdb7a6bc, 0xbe6b0859, 0xbf5db187,
632    0xbee55e9a, 0x3f3415e5, 0xbf0b0864, 0xbdc79936,
633    0xbe0d4f6a, 0x3f0017bb, 0x3f097493, 0xbf2a40e4,
634    0xbf485ef8, 0xbe88fc44, 0xbf003fb7, 0xbe825c3a,
635    0x3f5a21f4, 0xbecab4b5, 0x3e8fa944, 0x3e48e1d7,
636    0x3f1706f4, 0x3f3becaf, 0xbea52d3b, 0xbdc25f7d,
637    0x3f3e9541, 0xbe3194fd, 0x3f0ff0f2, 0xbea18b2a,
638    0x3f053098, 0xbef63a5b, 0xbf2ed070, 0xbe366708,
639    0xbe84385c, 0x3da38cf7, 0xbe973b85, 0x3f6a9586,
640    0xbeb9612b, 0x3e6abf0d, 0xbf2323f2, 0xbf23f7f5,
641    0xbf1b6b63, 0x3f15e09f, 0x3ebbe6d2, 0xbec8e7e4,
642    0xbf37cdea, 0x3f1e3313, 0x3ea38418, 0xbccbaaa3,
643    0xbddc0d80, 0xbf2a18c7, 0xbf3d2dae, 0xbcf3ae83,
644    0x3ecef089, 0xbe893230, 0xbf5c231e, 0xbe232a5d,
645    0x3e0cf417, 0x3f06d6b9, 0x3f2cb43c, 0x3eff3bdf,
646    0xbe1fed1d, 0xbf39749f, 0x3eae8898, 0xbf1414f2,
647    0x3f0461da, 0x3d8bd132, 0x3f471ba6, 0x3eb3925b,
648    0x3ecc23cf, 0xbc93c3d9, 0x3cde726a, 0xbf6a9f8f,
649    0xbf172fa3, 0xbca7064c, 0xbf4c4400, 0xbdf3957d,
650    0xbf52cf47, 0x3dd17a2c, 0xbf06f984, 0x3e3b40d3,
651    0x3f0b5689, 0xbe8c3013, 0x3d9e31ac, 0xbf4a0813,
652    0x3f13e81c, 0x3ea431a2, 0xbf402432, 0xbb9752a9,
653    0x3ee967c2, 0xbf1ab68f, 0x3f154f9b, 0x3e96d19f,
654    0x3f084e85, 0x3f0e97df, 0x3e8659f7, 0xbf14b2aa,
655    0xbf5924a3, 0x3d462ec1, 0x3e076634, 0xbf02b647,
656    0xbe5061b0, 0xbe6f0727, 0xbf56c521, 0xbee520f9,
657    0xbe82de25, 0xbec8bdfd, 0xbd065f3a, 0x3f6212fc,
658    0x3f292242, 0x3f3fbf4b, 0x3d4bf28e, 0xbb051feb,
659    0x3da317c4, 0xbebb7ec3, 0xbf21413a, 0x3f2e26ba,
660    0x3f59fac8, 0xbea33737, 0xbeb3ec16, 0xbe64aad8,
661    0xbde3974d, 0xbebb297a, 0x3ee0b002, 0x3f5033c0,
662    0xbe18a1d9, 0xbf6737c0, 0x3e4b97b4, 0xbeb331d6,
663    0xbeb9f0e0, 0xbeeea031, 0x3f1fb3da, 0xbf02f73c,
664    0xbf1594dc, 0x3f30cf03, 0xbdf24dee, 0xbed198d3,
665    0x3e0650bb, 0xbf48d8d6, 0x3e1b0297, 0xbf163948,
666    0xbe5091d4, 0xbf13965c, 0xbf2c6c58, 0x3ed4a74e,
667    0x3ef8ba13, 0xbef30b9c, 0x3f38a5d1, 0x3e0afaaa,
668    0xbf0e0cb0, 0x3d6b0a4b, 0x3f0a4060, 0xbf215580,
669    0xbd22efbc, 0x3ee42685, 0xbf62b7dc, 0x3dff3f97,
670    0xbdd18b7f, 0x3ef1bafa, 0x3f5dc0f0, 0x3e02a660,
671    0x3e70e40e, 0x3f286a8f, 0xbe8f5d1a, 0x3f288b22,
672    0x3f33d7a1, 0xbf197f65, 0xbdc791e3, 0xbebdd4a0,
673    0xbeab31d8, 0x3f2cf429, 0xbf270014, 0xbda1643e,
674    0x3f5150b8, 0x3ef89d76, 0xbe8c12a8, 0xbe13d164,
675    0xbf186a95, 0xbebbe7ba, 0x3d47a9e1, 0xbf368b5c,
676    0xbeb1fe8c, 0x3f586509, 0x3ecdfd41, 0xbd573b9d,
677    0xbf11864e, 0xbee50dd6, 0xbe34d092, 0x3f2ae061,
678    0xbda4e859, 0x3f56609a, 0x3ecd03bb, 0x3eb9f6e6,
679    0xbed28ba5, 0xbf278cc1, 0xbd0afb8d, 0xbf22305f,
680    0xbd8200fa, 0xbd604744, 0x3e907378, 0xbf74a92a,
681    0x3f3d517d, 0xbe1da011, 0x3de58447, 0xbf254892,
682    0x3f6ee5ac, 0xbdd3f845, 0x3e4d2b12, 0xbe8f43dd,
683    0xbe52afbc, 0x3f0a36bf, 0xbf42929d, 0xbe985111,
684    0x3ed020da, 0xbf3e16eb, 0x3dcffdd6, 0xbf05c74a,
685    0x3f6ec105, 0x3eb7d23c, 0xbd0e0017, 0x3c1f81ae,
686    0xbc9ee25e, 0xbf05b255, 0x3d5547c8, 0xbf59d9bf,
687    0xbe5de988, 0x3ee39be7, 0x3da4b903, 0x3f5d8bda,
688    0xbe635fd8, 0x3f37f3fc, 0xbe88c81d, 0xbf1a3c70,
689    0xbf39f61b, 0x3e5175bb, 0xbe735118, 0x3f1c903a,
690    0x3e6ade7a, 0xbda278e2, 0xbd211d29, 0x3f782457,
691    0xbdce390e, 0xbdd77839, 0xbf7767b8, 0xbe58c48c,
692    0x3ea33c0a, 0xbf02c1d3, 0x3f421e20, 0xbe7ffc2b,
693    0x3e4969ef, 0xbe76ca74, 0x3f5e7a9d, 0xbec4f273,
694    0x3df14d7c, 0x3f185216, 0xbea009b0, 0x3f3b23fd,
695    0x3ed29a35, 0x3e313327, 0x3f6468f1, 0x3d8dc765,
696    0xbea60f6b, 0xbe9d9f85, 0xbf64a125, 0x3d49f147,
697    0xbf1c4cef, 0x3e913f1f, 0x3eccf23b, 0x3f1f2872,
698    0xbecd590b, 0x3edb570a, 0xbf14d270, 0x3f104951,
699    0x3f0485e8, 0x3f04ad45, 0x3ea9a57e, 0xbf183c2d,
700    0xbe954690, 0xbe0f6714, 0x3f51639e, 0xbef39b73,
701    0xbe4c3f50, 0x3f16de85, 0xbf2dd344, 0x3ec784d6,
702    0x3f0159dc, 0x3f553924, 0x3e40b847, 0xbdff5ba0,
703    0xbdf725d3, 0x3f574599, 0x3c3ba88d, 0xbf0705b5,
704    0x3e9ce775, 0x3ef5dcba, 0x3ea6380f, 0xbf414ae8,
705    0x3e58cded, 0xbecfb64c, 0xbf5f92cc, 0xbe2afa4f,
706    0x3e526096, 0x3e80e065, 0xbf484d40, 0xbf0800b6,
707    0x3f261735, 0x3f0e947d, 0x3f04ba03, 0xbc0770ac,
708    0x3d7c5cc6, 0xbf3538be, 0x3f0a1dee, 0xbee74123,
709    0x3f62f35b, 0x3e4ac72d, 0x3ecbbc64, 0x3e039996,
710    0x3e7273fa, 0x3e1c659b, 0x3f33468b, 0x3f27e8cd,
711    0xbe4fc16f, 0x3f398c38, 0xbf1b82fc, 0xbe8205f5,
712    0x3e044800, 0x3ecde7b6, 0x3f570089, 0xbeae8dae,
713    0xbe97a4df, 0x3cbcf7ff, 0x3e5408f5, 0xbf6ea02e,
714    0x3f5729eb, 0xbdcdc506, 0xbe7ef631, 0xbef0f746,
715    0x3e9c6331, 0x3f1dd817, 0x3f2fb300, 0xbe7138ed,
716    0xbf42ac79, 0x3ec6f51a, 0xbeeb5bfa, 0x3e799884,
717    0x3d3abe22, 0x3f39393a, 0x3f2df7cd, 0x3de61564
718    };
719
720static const uint32_t ref_conj[512] = {
721    0xbef7c448, 0xbf3efa5a, 0x3ddcbbc1, 0x3ee3a3f1,
722    0xbee91134, 0x3e92943b, 0xbf3faed1, 0x3ec66a88,
723    0xbe8a8d46, 0xbeddb102, 0xbf09cf11, 0x3f2ba2ba,
724    0x3f5a5ba1, 0x3eadc1f1, 0x3e8f8432, 0xbe8fa5c3,
725    0x3f3842ce, 0x3db4ac1f, 0xbd840d55, 0x3f2f80d6,
726    0xbe976295, 0xbf09dec3, 0x3f4388ce, 0x3e4a92e4,
727    0x3e54ad5e, 0x3ead5b5c, 0x3e9579e0, 0xbf5ebbb6,
728    0xbf1437d3, 0x3eff43b5, 0xbf1eeb9b, 0x3e33daf0,
729    0xbe7a8c5f, 0x3f084e59, 0xbf40ba33, 0x3e997c36,
730    0xbf4d626e, 0x3e5916fa, 0xbef82855, 0x3e8d97e7,
731    0xbf0c62d5, 0xbebed540, 0x3ecbaa9e, 0xbf225660,
732    0xbd1d1cc3, 0xbf767dab, 0xbe851022, 0xbd7fb044,
733    0x3effb2fe, 0x3de5a1d6, 0xbe444f60, 0x3f5660c9,
734    0xbef5218e, 0x3e9efbe2, 0x3f198182, 0xbf0fa23f,
735    0x3eef285c, 0x3e3ae562, 0x3f1c1e0d, 0x3f1d1a31,
736    0x3f2c0904, 0x3f29591b, 0xbe96a037, 0x3e1f73f8,
737    0xbf4ab05d, 0xbe7d969a, 0x3ee5fe28, 0xbea9d254,
738    0x3d8f3ac0, 0xbe9ebe31, 0x3f6dab48, 0x3e452422,
739    0xbe68e595, 0xbf71c512, 0x3e182297, 0xbe3d9957,
740    0xbd10ea0b, 0xbee6d63c, 0x3f0e0b73, 0x3f32c312,
741    0x3ed8034c, 0x3d2680ab, 0xbf472e3f, 0xbeed65bf,
742    0x3e091b10, 0x3f3564de, 0xbcb38ff4, 0x3f3145fc,
743    0x3f12e614, 0xbebe70d6, 0x3f364e41, 0x3e22b375,
744    0x3e9c4484, 0x3edf6f13, 0x3e653ed9, 0xbf50f6b6,
745    0x3f3b4d3f, 0x3f14ce7a, 0xbe3ed438, 0xbe9b5dd4,
746    0xbf0032e0, 0xbe27c362, 0x3f3814eb, 0x3ee7fff4,
747    0xbe33f62c, 0xbec88dcb, 0xbe968134, 0x3f5a9e01,
748    0xbe49a020, 0xbf1c6117, 0xbf29121a, 0xbec78ec7,
749    0xbdd0afd8, 0xbf7249c4, 0x3d986e6e, 0xbe982b88,
750    0xbe743f50, 0x3e8cde49, 0x3f6af33d, 0xbe223ad7,
751    0xbf6a175b, 0xbe3b5ddd, 0x3e4aedde, 0xbe9a860c,
752    0xbefdf152, 0x3e9e9440, 0xbef9b3d2, 0xbf25f35f,
753    0x3f02f3c8, 0x3f1886c9, 0xbf1db074, 0x3d80509f,
754    0xbef9b510, 0xbf445dd4, 0x3ecb6548, 0x3e01534e,
755    0xbf6b56ed, 0xbe3b41d0, 0x3eafb2f4, 0xbd78fe8b,
756    0xbe76f68a, 0x3eafec92, 0xbebf3519, 0xbf53c537,
757    0x3e593d05, 0xbf334ef4, 0xbf116d9f, 0x3ec0b93d,
758    0x3f1bacc3, 0x3eef3b9e, 0xbe89fc6d, 0x3f151baa,
759    0x3f3ef4e6, 0x3e73ec14, 0xbf186716, 0x3e387321,
760    0xbe84bd21, 0xbf21d063, 0x3f33e01f, 0xbe4ba707,
761    0xbdc58e31, 0x3ea7d39b, 0xbea89681, 0xbf6157b3,
762    0xbedec96b, 0xbdb7a6bc, 0xbe6b0859, 0xbf5db187,
763    0xbee55e9a, 0x3f3415e5, 0xbf0b0864, 0xbdc79936,
764    0xbe0d4f6a, 0x3f0017bb, 0x3f097493, 0xbf2a40e4,
765    0xbf485ef8, 0xbe88fc44, 0xbf003fb7, 0xbe825c3a,
766    0x3f5a21f4, 0xbecab4b5, 0x3e8fa944, 0x3e48e1d7,
767    0x3f1706f4, 0x3f3becaf, 0xbea52d3b, 0xbdc25f7d,
768    0x3f3e9541, 0xbe3194fd, 0x3f0ff0f2, 0xbea18b2a,
769    0x3f053098, 0xbef63a5b, 0xbf2ed070, 0xbe366708,
770    0xbe84385c, 0x3da38cf7, 0xbe973b85, 0x3f6a9586,
771    0xbeb9612b, 0x3e6abf0d, 0xbf2323f2, 0xbf23f7f5,
772    0xbf1b6b63, 0x3f15e09f, 0x3ebbe6d2, 0xbec8e7e4,
773    0xbf37cdea, 0x3f1e3313, 0x3ea38418, 0xbccbaaa3,
774    0xbddc0d80, 0xbf2a18c7, 0xbf3d2dae, 0xbcf3ae83,
775    0x3ecef089, 0xbe893230, 0xbf5c231e, 0xbe232a5d,
776    0x3e0cf417, 0x3f06d6b9, 0x3f2cb43c, 0x3eff3bdf,
777    0xbe1fed1d, 0xbf39749f, 0x3eae8898, 0xbf1414f2,
778    0x3f0461da, 0x3d8bd132, 0x3f471ba6, 0x3eb3925b,
779    0x3ecc23cf, 0xbc93c3d9, 0x3cde726a, 0xbf6a9f8f,
780    0xbf172fa3, 0xbca7064c, 0xbf4c4400, 0xbdf3957d,
781    0xbf52cf47, 0x3dd17a2c, 0xbf06f984, 0x3e3b40d3,
782    0x3f0b5689, 0xbe8c3013, 0x3d9e31ac, 0xbf4a0813,
783    0x3f13e81c, 0x3ea431a2, 0xbf402432, 0xbb9752a9,
784    0x3ee967c2, 0xbf1ab68f, 0x3f154f9b, 0x3e96d19f,
785    0x3f084e85, 0x3f0e97df, 0x3e8659f7, 0xbf14b2aa,
786    0xbf5924a3, 0x3d462ec1, 0x3e076634, 0xbf02b647,
787    0xbe5061b0, 0xbe6f0727, 0xbf56c521, 0xbee520f9,
788    0xbe82de25, 0xbec8bdfd, 0xbd065f3a, 0x3f6212fc,
789    0x3f292242, 0x3f3fbf4b, 0x3d4bf28e, 0xbb051feb,
790    0x3da317c4, 0xbebb7ec3, 0xbf21413a, 0x3f2e26ba,
791    0x3f59fac8, 0xbea33737, 0xbeb3ec16, 0xbe64aad8,
792    0xbde3974d, 0xbebb297a, 0x3ee0b002, 0x3f5033c0,
793    0xbe18a1d9, 0xbf6737c0, 0x3e4b97b4, 0xbeb331d6,
794    0xbeb9f0e0, 0xbeeea031, 0x3f1fb3da, 0xbf02f73c,
795    0xbf1594dc, 0x3f30cf03, 0xbdf24dee, 0xbed198d3,
796    0x3e0650bb, 0xbf48d8d6, 0x3e1b0297, 0xbf163948,
797    0xbe5091d4, 0xbf13965c, 0xbf2c6c58, 0x3ed4a74e,
798    0x3ef8ba13, 0xbef30b9c, 0x3f38a5d1, 0x3e0afaaa,
799    0xbf0e0cb0, 0x3d6b0a4b, 0x3f0a4060, 0xbf215580,
800    0xbd22efbc, 0x3ee42685, 0xbf62b7dc, 0x3dff3f97,
801    0xbdd18b7f, 0x3ef1bafa, 0x3f5dc0f0, 0x3e02a660,
802    0x3e70e40e, 0x3f286a8f, 0xbe8f5d1a, 0x3f288b22,
803    0x3f33d7a1, 0xbf197f65, 0xbdc791e3, 0xbebdd4a0,
804    0xbeab31d8, 0x3f2cf429, 0xbf270014, 0xbda1643e,
805    0x3f5150b8, 0x3ef89d76, 0xbe8c12a8, 0xbe13d164,
806    0xbf186a95, 0xbebbe7ba, 0x3d47a9e1, 0xbf368b5c,
807    0xbeb1fe8c, 0x3f586509, 0x3ecdfd41, 0xbd573b9d,
808    0xbf11864e, 0xbee50dd6, 0xbe34d092, 0x3f2ae061,
809    0xbda4e859, 0x3f56609a, 0x3ecd03bb, 0x3eb9f6e6,
810    0xbed28ba5, 0xbf278cc1, 0xbd0afb8d, 0xbf22305f,
811    0xbd8200fa, 0xbd604744, 0x3e907378, 0xbf74a92a,
812    0x3f3d517d, 0xbe1da011, 0x3de58447, 0xbf254892,
813    0x3f6ee5ac, 0xbdd3f845, 0x3e4d2b12, 0xbe8f43dd,
814    0xbe52afbc, 0x3f0a36bf, 0xbf42929d, 0xbe985111,
815    0x3ed020da, 0xbf3e16eb, 0x3dcffdd6, 0xbf05c74a,
816    0x3f6ec105, 0x3eb7d23c, 0xbd0e0017, 0x3c1f81ae,
817    0xbc9ee25e, 0xbf05b255, 0x3d5547c8, 0xbf59d9bf,
818    0xbe5de988, 0x3ee39be7, 0x3da4b903, 0x3f5d8bda,
819    0xbe635fd8, 0x3f37f3fc, 0xbe88c81d, 0xbf1a3c70,
820    0xbf39f61b, 0x3e5175bb, 0xbe735118, 0x3f1c903a,
821    0x3e6ade7a, 0xbda278e2, 0xbd211d29, 0x3f782457,
822    0xbdce390e, 0xbdd77839, 0xbf7767b8, 0xbe58c48c,
823    0x3ea33c0a, 0xbf02c1d3, 0x3f421e20, 0xbe7ffc2b,
824    0x3e4969ef, 0xbe76ca74, 0x3f5e7a9d, 0xbec4f273,
825    0x3df14d7c, 0x3f185216, 0xbea009b0, 0x3f3b23fd,
826    0x3ed29a35, 0x3e313327, 0x3f6468f1, 0x3d8dc765,
827    0xbea60f6b, 0xbe9d9f85, 0xbf64a125, 0x3d49f147,
828    0xbf1c4cef, 0x3e913f1f, 0x3eccf23b, 0x3f1f2872,
829    0xbecd590b, 0x3edb570a, 0xbf14d270, 0x3f104951,
830    0x3f0485e8, 0x3f04ad45, 0x3ea9a57e, 0xbf183c2d,
831    0xbe954690, 0xbe0f6714, 0x3f51639e, 0xbef39b73,
832    0xbe4c3f50, 0x3f16de85, 0xbf2dd344, 0x3ec784d6,
833    0x3f0159dc, 0x3f553924, 0x3e40b847, 0xbdff5ba0,
834    0xbdf725d3, 0x3f574599, 0x3c3ba88d, 0xbf0705b5,
835    0x3e9ce775, 0x3ef5dcba, 0x3ea6380f, 0xbf414ae8,
836    0x3e58cded, 0xbecfb64c, 0xbf5f92cc, 0xbe2afa4f,
837    0x3e526096, 0x3e80e065, 0xbf484d40, 0xbf0800b6,
838    0x3f261735, 0x3f0e947d, 0x3f04ba03, 0xbc0770ac,
839    0x3d7c5cc6, 0xbf3538be, 0x3f0a1dee, 0xbee74123,
840    0x3f62f35b, 0x3e4ac72d, 0x3ecbbc64, 0x3e039996,
841    0x3e7273fa, 0x3e1c659b, 0x3f33468b, 0x3f27e8cd,
842    0xbe4fc16f, 0x3f398c38, 0xbf1b82fc, 0xbe8205f5,
843    0x3e044800, 0x3ecde7b6, 0x3f570089, 0xbeae8dae,
844    0xbe97a4df, 0x3cbcf7ff, 0x3e5408f5, 0xbf6ea02e,
845    0x3f5729eb, 0xbdcdc506, 0xbe7ef631, 0xbef0f746,
846    0x3e9c6331, 0x3f1dd817, 0x3f2fb300, 0xbe7138ed,
847    0xbf42ac79, 0x3ec6f51a, 0xbeeb5bfa, 0x3e799884,
848    0x3d3abe22, 0x3f39393a, 0x3f2df7cd, 0x3de61564
849    };
850
851static const uint32_t ref_normalize[512] = {
852    0xbef7c448, 0x3f3efa5a, 0xbddcbbc1, 0xbee3a3f1,
853    0xbee91134, 0xbe92943b, 0x3f3faed1, 0xbec66a88,
854    0xbe8a8d46, 0x3eddb102, 0x3f09cf11, 0xbf2ba2ba,
855    0x3f5a5ba1, 0xbeadc1f1, 0xbe8f8432, 0x3e8fa5c3,
856    0x3f3842ce, 0xbdb4ac1f, 0x3d840d55, 0xbf2f80d6,
857    0xbe976295, 0x3f09dec3, 0xbf4388ce, 0xbe4a92e4,
858    0x3e54ad5e, 0xbead5b5c, 0xbe9579e0, 0x3f5ebbb6,
859    0xbf1437d3, 0xbeff43b5, 0x3f1eeb9b, 0xbe33daf0,
860    0xbe7a8c5f, 0xbf084e59, 0x3f40ba33, 0xbe997c36,
861    0xbf4d626e, 0xbe5916fa, 0x3ef82855, 0xbe8d97e7,
862    0xbf0c62d5, 0x3ebed540, 0xbecbaa9e, 0x3f225660,
863    0xbd1d1cc3, 0x3f767dab, 0x3e851022, 0x3d7fb044,
864    0x3effb2fe, 0xbde5a1d6, 0x3e444f60, 0xbf5660c9,
865    0xbef5218e, 0xbe9efbe2, 0xbf198182, 0x3f0fa23f,
866    0x3eef285c, 0xbe3ae562, 0xbf1c1e0d, 0xbf1d1a31,
867    0x3f2c0904, 0xbf29591b, 0x3e96a037, 0xbe1f73f8,
868    0xbf4ab05d, 0x3e7d969a, 0xbee5fe28, 0x3ea9d254,
869    0x3d8f3ac0, 0x3e9ebe31, 0xbf6dab48, 0xbe452422,
870    0xbe68e595, 0x3f71c512, 0xbe182297, 0x3e3d9957,
871    0xbd10ea0b, 0x3ee6d63c, 0xbf0e0b73, 0xbf32c312,
872    0x3ed8034c, 0xbd2680ab, 0x3f472e3f, 0x3eed65bf,
873    0x3e091b10, 0xbf3564de, 0x3cb38ff4, 0xbf3145fc,
874    0x3f12e614, 0x3ebe70d6, 0xbf364e41, 0xbe22b375,
875    0x3e9c4484, 0xbedf6f13, 0xbe653ed9, 0x3f50f6b6,
876    0x3f3b4d3f, 0xbf14ce7a, 0x3e3ed438, 0x3e9b5dd4,
877    0xbf0032e0, 0x3e27c362, 0xbf3814eb, 0xbee7fff4,
878    0xbe33f62c, 0x3ec88dcb, 0x3e968134, 0xbf5a9e01,
879    0xbe49a020, 0x3f1c6117, 0x3f29121a, 0x3ec78ec7,
880    0xbdd0afd8, 0x3f7249c4, 0xbd986e6e, 0x3e982b88,
881    0xbe743f50, 0xbe8cde49, 0xbf6af33d, 0x3e223ad7,
882    0xbf6a175b, 0x3e3b5ddd, 0xbe4aedde, 0x3e9a860c,
883    0xbefdf152, 0xbe9e9440, 0x3ef9b3d2, 0x3f25f35f,
884    0x3f02f3c8, 0xbf1886c9, 0x3f1db074, 0xbd80509f,
885    0xbef9b510, 0x3f445dd4, 0xbecb6548, 0xbe01534e,
886    0xbf6b56ed, 0x3e3b41d0, 0xbeafb2f4, 0x3d78fe8b,
887    0xbe76f68a, 0xbeafec92, 0x3ebf3519, 0x3f53c537,
888    0x3e593d05, 0x3f334ef4, 0x3f116d9f, 0xbec0b93d,
889    0x3f1bacc3, 0xbeef3b9e, 0x3e89fc6d, 0xbf151baa,
890    0x3f3ef4e6, 0xbe73ec14, 0x3f186716, 0xbe387321,
891    0xbe84bd21, 0x3f21d063, 0xbf33e01f, 0x3e4ba707,
892    0xbdc58e31, 0xbea7d39b, 0x3ea89681, 0x3f6157b3,
893    0xbedec96b, 0x3db7a6bc, 0x3e6b0859, 0x3f5db187,
894    0xbee55e9a, 0xbf3415e5, 0x3f0b0864, 0x3dc79936,
895    0xbe0d4f6a, 0xbf0017bb, 0xbf097493, 0x3f2a40e4,
896    0xbf485ef8, 0x3e88fc44, 0x3f003fb7, 0x3e825c3a,
897    0x3f5a21f4, 0x3ecab4b5, 0xbe8fa944, 0xbe48e1d7,
898    0x3f1706f4, 0xbf3becaf, 0x3ea52d3b, 0x3dc25f7d,
899    0x3f3e9541, 0x3e3194fd, 0xbf0ff0f2, 0x3ea18b2a,
900    0x3f053098, 0x3ef63a5b, 0x3f2ed070, 0x3e366708,
901    0xbe84385c, 0xbda38cf7, 0x3e973b85, 0xbf6a9586,
902    0xbeb9612b, 0xbe6abf0d, 0x3f2323f2, 0x3f23f7f5,
903    0xbf1b6b63, 0xbf15e09f, 0xbebbe6d2, 0x3ec8e7e4,
904    0xbf37cdea, 0xbf1e3313, 0xbea38418, 0x3ccbaaa3,
905    0xbddc0d80, 0x3f2a18c7, 0x3f3d2dae, 0x3cf3ae83,
906    0x3ecef089, 0x3e893230, 0x3f5c231e, 0x3e232a5d,
907    0x3e0cf417, 0xbf06d6b9, 0xbf2cb43c, 0xbeff3bdf,
908    0xbe1fed1d, 0x3f39749f, 0xbeae8898, 0x3f1414f2,
909    0x3f0461da, 0xbd8bd132, 0xbf471ba6, 0xbeb3925b,
910    0x3ecc23cf, 0x3c93c3d9, 0xbcde726a, 0x3f6a9f8f,
911    0xbf172fa3, 0x3ca7064c, 0x3f4c4400, 0x3df3957d,
912    0xbf52cf47, 0xbdd17a2c, 0x3f06f984, 0xbe3b40d3,
913    0x3f0b5689, 0x3e8c3013, 0xbd9e31ac, 0x3f4a0813,
914    0x3f13e81c, 0xbea431a2, 0x3f402432, 0x3b9752a9,
915    0x3ee967c2, 0x3f1ab68f, 0xbf154f9b, 0xbe96d19f,
916    0x3f084e85, 0xbf0e97df, 0xbe8659f7, 0x3f14b2aa,
917    0xbf5924a3, 0xbd462ec1, 0xbe076634, 0x3f02b647,
918    0xbe5061b0, 0x3e6f0727, 0x3f56c521, 0x3ee520f9,
919    0xbe82de25, 0x3ec8bdfd, 0x3d065f3a, 0xbf6212fc,
920    0x3f292242, 0xbf3fbf4b, 0xbd4bf28e, 0x3b051feb,
921    0x3da317c4, 0x3ebb7ec3, 0x3f21413a, 0xbf2e26ba,
922    0x3f59fac8, 0x3ea33737, 0x3eb3ec16, 0x3e64aad8,
923    0xbde3974d, 0x3ebb297a, 0xbee0b002, 0xbf5033c0,
924    0xbe18a1d9, 0x3f6737c0, 0xbe4b97b4, 0x3eb331d6,
925    0xbeb9f0e0, 0x3eeea031, 0xbf1fb3da, 0x3f02f73c,
926    0xbf1594dc, 0xbf30cf03, 0x3df24dee, 0x3ed198d3,
927    0x3e0650bb, 0x3f48d8d6, 0xbe1b0297, 0x3f163948,
928    0xbe5091d4, 0x3f13965c, 0x3f2c6c58, 0xbed4a74e,
929    0x3ef8ba13, 0x3ef30b9c, 0xbf38a5d1, 0xbe0afaaa,
930    0xbf0e0cb0, 0xbd6b0a4b, 0xbf0a4060, 0x3f215580,
931    0xbd22efbc, 0xbee42685, 0x3f62b7dc, 0xbdff3f97,
932    0xbdd18b7f, 0xbef1bafa, 0xbf5dc0f0, 0xbe02a660,
933    0x3e70e40e, 0xbf286a8f, 0x3e8f5d1a, 0xbf288b22,
934    0x3f33d7a1, 0x3f197f65, 0x3dc791e3, 0x3ebdd4a0,
935    0xbeab31d8, 0xbf2cf429, 0x3f270014, 0x3da1643e,
936    0x3f5150b8, 0xbef89d76, 0x3e8c12a8, 0x3e13d164,
937    0xbf186a95, 0x3ebbe7ba, 0xbd47a9e1, 0x3f368b5c,
938    0xbeb1fe8c, 0xbf586509, 0xbecdfd41, 0x3d573b9d,
939    0xbf11864e, 0x3ee50dd6, 0x3e34d092, 0xbf2ae061,
940    0xbda4e859, 0xbf56609a, 0xbecd03bb, 0xbeb9f6e6,
941    0xbed28ba5, 0x3f278cc1, 0x3d0afb8d, 0x3f22305f,
942    0xbd8200fa, 0x3d604744, 0xbe907378, 0x3f74a92a,
943    0x3f3d517d, 0x3e1da011, 0xbde58447, 0x3f254892,
944    0x3f6ee5ac, 0x3dd3f845, 0xbe4d2b12, 0x3e8f43dd,
945    0xbe52afbc, 0xbf0a36bf, 0x3f42929d, 0x3e985111,
946    0x3ed020da, 0x3f3e16eb, 0xbdcffdd6, 0x3f05c74a,
947    0x3f6ec105, 0xbeb7d23c, 0x3d0e0017, 0xbc1f81ae,
948    0xbc9ee25e, 0x3f05b255, 0xbd5547c8, 0x3f59d9bf,
949    0xbe5de988, 0xbee39be7, 0xbda4b903, 0xbf5d8bda,
950    0xbe635fd8, 0xbf37f3fc, 0x3e88c81d, 0x3f1a3c70,
951    0xbf39f61b, 0xbe5175bb, 0x3e735118, 0xbf1c903a,
952    0x3e6ade7a, 0x3da278e2, 0x3d211d29, 0xbf782457,
953    0xbdce390e, 0x3dd77839, 0x3f7767b8, 0x3e58c48c,
954    0x3ea33c0a, 0x3f02c1d3, 0xbf421e20, 0x3e7ffc2b,
955    0x3e4969ef, 0x3e76ca74, 0xbf5e7a9d, 0x3ec4f273,
956    0x3df14d7c, 0xbf185216, 0x3ea009b0, 0xbf3b23fd,
957    0x3ed29a35, 0xbe313327, 0xbf6468f1, 0xbd8dc765,
958    0xbea60f6b, 0x3e9d9f85, 0x3f64a125, 0xbd49f147,
959    0xbf1c4cef, 0xbe913f1f, 0xbeccf23b, 0xbf1f2872,
960    0xbecd590b, 0xbedb570a, 0x3f14d270, 0xbf104951,
961    0x3f0485e8, 0xbf04ad45, 0xbea9a57e, 0x3f183c2d,
962    0xbe954690, 0x3e0f6714, 0xbf51639e, 0x3ef39b73,
963    0xbe4c3f50, 0xbf16de85, 0x3f2dd344, 0xbec784d6,
964    0x3f0159dc, 0xbf553924, 0xbe40b847, 0x3dff5ba0,
965    0xbdf725d3, 0xbf574599, 0xbc3ba88d, 0x3f0705b5,
966    0x3e9ce775, 0xbef5dcba, 0xbea6380f, 0x3f414ae8,
967    0x3e58cded, 0x3ecfb64c, 0x3f5f92cc, 0x3e2afa4f,
968    0x3e526096, 0xbe80e065, 0x3f484d40, 0x3f0800b6,
969    0x3f261735, 0xbf0e947d, 0xbf04ba03, 0x3c0770ac,
970    0x3d7c5cc6, 0x3f3538be, 0xbf0a1dee, 0x3ee74123,
971    0x3f62f35b, 0xbe4ac72d, 0xbecbbc64, 0xbe039996,
972    0x3e7273fa, 0xbe1c659b, 0xbf33468b, 0xbf27e8cd,
973    0xbe4fc16f, 0xbf398c38, 0x3f1b82fc, 0x3e8205f5,
974    0x3e044800, 0xbecde7b6, 0xbf570089, 0x3eae8dae,
975    0xbe97a4df, 0xbcbcf7ff, 0xbe5408f5, 0x3f6ea02e,
976    0x3f5729eb, 0x3dcdc506, 0x3e7ef631, 0x3ef0f746,
977    0x3e9c6331, 0xbf1dd817, 0xbf2fb300, 0x3e7138ed,
978    0xbf42ac79, 0xbec6f51a, 0x3eeb5bfa, 0xbe799884,
979    0x3d3abe22, 0xbf39393a, 0xbf2df7cd, 0xbde61564
980    };
981
982static const uint32_t ref_mult[512] = {
983    0xbe9f1480, 0xbe8dba49, 0x3f06bdaf, 0xbf3dd28e,
984    0xbe307225, 0x3d1c22a3, 0x3f21b66e, 0xbf413ef3,
985    0xbebe0633, 0xbe976eab, 0x3f5c0ef0, 0x3e41e92a,
986    0x3d5c3ca9, 0x3dcf1684, 0xbecb855f, 0x3f6911b7,
987    0xbe672c4b, 0x3e9f975d, 0x3f5e6c6f, 0xbe9f7418,
988    0xbf2a013b, 0xbd17ce7b, 0x3d8a5b91, 0xbf3e61bf,
989    0xbf53e9ca, 0xbef0fd87, 0x3e192ce7, 0xbe88487c,
990    0x3ed2014a, 0xbf579d28, 0xbea988f7, 0x3de740b8,
991    0x3f5fa27f, 0x3d188b57, 0xbef85eda, 0x3c50998c,
992    0x3dc3b1ad, 0x3e6100de, 0x3f73daf3, 0xbe402b71,
993    0xbec9f6fe, 0x3e572f15, 0xbe91575b, 0x3f592bf2,
994    0xbe2412c0, 0xbf6b9c09, 0x3e785aea, 0x3e85f6f7,
995    0xbf65d221, 0xbe1ddca8, 0xbe9424b0, 0xbe96a7c4,
996    0xbe29d965, 0x3e60c2c2, 0xbf75353f, 0x3da9739e,
997    0x3f23a003, 0x3f0ba89c, 0xbebe5df5, 0x3ec9f971,
998    0xbefd06f9, 0xbf3cf80f, 0xbe856ce2, 0x3ec19a29,
999    0xbf3e0f54, 0x3efdb9a0, 0x3ee6952f, 0xbca6648a,
1000    0xbe9092a7, 0x3eb5f3a6, 0xbe995691, 0x3f56d6db,
1001    0xbf2bf417, 0x3ecb8e80, 0xbe9d938a, 0xbf0b4a25,
1002    0x3f01ce8e, 0x3f0afe8a, 0x3c74bfdb, 0x3f2b531e,
1003    0xbf3f2387, 0xbe91d196, 0xbf0ee8d4, 0xbe647e49,
1004    0x3e592134, 0xbf373dc9, 0xbf20b785, 0x3e61a416,
1005    0xbca20d54, 0xbb27e049, 0xbeebdfda, 0x3f632870,
1006    0xbe9b578f, 0x3ec55490, 0xbf5f04dc, 0xbcb1fc34,
1007    0x3e669ecf, 0xbc14ef81, 0x3e3c0fe9, 0x3f74f0db,
1008    0xbe2bd20f, 0x3f61f871, 0xbe193150, 0x3ed34bab,
1009    0xbcb78ab8, 0xbf515bc0, 0x3dc01d2a, 0x3f113e2a,
1010    0xbf149110, 0x3e904e93, 0x3ec22cd8, 0xbf29cca4,
1011    0x3f602776, 0x3ed38d9b, 0xbe53df1b, 0x3e10091e,
1012    0x3ebe5056, 0x3eacbc40, 0x3f5c7975, 0xbda28a6f,
1013    0x3e86df1f, 0xbe9cf501, 0x3e8b3c4e, 0x3f5f918d,
1014    0xbec93173, 0xbed66beb, 0xbf434419, 0x3e983a70,
1015    0x3f7438da, 0x3cd5888f, 0xbe987eec, 0x3cb8b0cb,
1016    0x3ea1ed01, 0x3d867f3f, 0x3f40c72d, 0xbf12bf80,
1017    0xbf49a51e, 0x3eecec2c, 0xbe88b103, 0x3e9d1cce,
1018    0xbd894ec8, 0x3e88c2bc, 0xbf0df89d, 0x3f490591,
1019    0x3f41044d, 0x3dd347ab, 0xbc4e82ab, 0x3f260cd0,
1020    0x3e1f58a0, 0x3f32f1f3, 0x3e77862d, 0x3f27a039,
1021    0x3db1525b, 0xbe8471db, 0x3e1bc495, 0x3f733167,
1022    0x3db87999, 0x3ee6c655, 0xbf53bb26, 0x3ea5a666,
1023    0xbe7b7b91, 0xbcc5ee9a, 0xbf49e993, 0xbf1023e6,
1024    0x3f5bb08b, 0x3e6b260c, 0x3de23d32, 0x3ee42eab,
1025    0xbf198c30, 0xbe8ca398, 0xbece8073, 0x3f225679,
1026    0x3f12896c, 0x3e94de05, 0x3f227c71, 0x3edc308a,
1027    0x3e38faba, 0xbf61a29f, 0x3eb92fab, 0xbe7a3490,
1028    0xbf3de2ac, 0x3e46d03d, 0x3e6a5801, 0xbf198c1e,
1029    0x3eb82864, 0xbdd12073, 0xbf1b15cf, 0xbf33c903,
1030    0xbf34f98d, 0xbf0e1d94, 0xbed6807e, 0x3e03ba7f,
1031    0xbf7ba2c9, 0x3e1d5a4b, 0xbd977e46, 0x3d8cb1dd,
1032    0x3f0631ee, 0xbe2d60f5, 0xbeac965d, 0x3f437445,
1033    0xbf350a9c, 0xbee91d62, 0x3ef4fe03, 0xbe8122fd,
1034    0x3f24e150, 0xbef2540b, 0x3ef84838, 0x3eb5c17b,
1035    0x3f169e24, 0xbc8a0aa7, 0x3eb3da6c, 0x3f3a665b,
1036    0xbf5bf692, 0xbd550da3, 0x3eff6b03, 0xbdce5912,
1037    0x3dac247f, 0x3e4827f7, 0xbeecf384, 0x3f5c4d1a,
1038    0xbf76782d, 0xbd0c006b, 0x3d86ae7f, 0x3e851953,
1039    0xbe9addb4, 0xbc94f55f, 0x3e42d15d, 0xbf6f0d91,
1040    0x3e073474, 0x3ee555e9, 0xbf60ddaf, 0x3dd0a07c,
1041    0xbea9424d, 0xbeab3413, 0xbef74fb3, 0xbf3d1757,
1042    0xbea2cc6f, 0x3f4202e6, 0x3e5c1915, 0xbf07102e,
1043    0xbf2afd4a, 0xbe2e6cdb, 0xbf2470c8, 0x3eab8a06,
1044    0x3f21ef21, 0xbeaaf26c, 0xbf25a556, 0x3e8730a7,
1045    0x3ec30627, 0x3f4c8476, 0x3ec4e318, 0x3e864bf0,
1046    0xbe2d8c43, 0xbe9ee8c4, 0x3f57e9be, 0x3ecf1854,
1047    0x3df33d9b, 0x3dc4519e, 0x3f539f8c, 0x3f0aa76e,
1048    0x3e2e2139, 0x3ef212d6, 0x3d363ed3, 0xbf5d0bbf,
1049    0x3ea01ce9, 0xbf525371, 0xbe314b7d, 0xbee3612b,
1050    0x3f1f5e90, 0x3e865334, 0x3e06b71a, 0xbf39b89b,
1051    0x3e8a3eec, 0xbf16a8e1, 0x3f378aec, 0xbe843d23,
1052    0xbe8903c3, 0xbefc1a19, 0xbf3cd533, 0xbec0d50d,
1053    0xbee1ffd3, 0x3f044b3a, 0xbf087229, 0xbf0106de,
1054    0x3f22cc37, 0xbf0aa63a, 0xbe854882, 0x3ef7efd0,
1055    0x3ec32898, 0x3f0231d1, 0xbf3f0ab7, 0xbe4aa61b,
1056    0x3ecd2ce8, 0x3f05f107, 0x3f3f5b40, 0xbdaa7c43,
1057    0xbec1180f, 0xbde53c6e, 0x3f2cec3c, 0x3f1fa8f3,
1058    0xbe82030d, 0xbd184b44, 0xbf5f2d33, 0xbed5a70d,
1059    0x3e128e4f, 0xbf20209b, 0xbf38caf5, 0xbe84bb56,
1060    0xbdeffeb6, 0xbf534ed0, 0xbe94bd8c, 0x3ef0734d,
1061    0xbf10b6dc, 0xbe095981, 0xbefb7a71, 0x3f26254a,
1062    0xbe756a87, 0xbdec0d72, 0x3f579f5f, 0x3ef010fd,
1063    0x3e09edfb, 0x3eeae313, 0x3f1f9d70, 0x3f1e5b7a,
1064    0xbd510534, 0x3ecba272, 0xbe95f996, 0xbf5e34b5,
1065    0xbf5073af, 0xbe8205bc, 0x3ec61fa8, 0xbeb360bd,
1066    0xbf2c8cae, 0x3d2640a5, 0x3f170ea8, 0xbee2987c,
1067    0x3f588868, 0x3e36eb27, 0xbebe2f40, 0x3ead6324,
1068    0x3e413a8f, 0x3f2560dd, 0xbf3d56f1, 0x3bdaa25c,
1069    0x3f24a2fb, 0xbcdade19, 0xbf2c0cd6, 0x3ebb6ebc,
1070    0x3e8e7783, 0x3f48395c, 0xbe6fac37, 0x3f018b8d,
1071    0xbf21bc16, 0xbc95bcf2, 0xbf409d08, 0x3e3dfe02,
1072    0xbf241821, 0xbf42e36d, 0xbdc30bb6, 0xbcb85204,
1073    0xbdc9912d, 0x3e1671ca, 0xbf58d961, 0x3f004eee,
1074    0x3eb4c5fa, 0x3f0c5b75, 0x3f04edb0, 0x3f0d685a,
1075    0xbf64e287, 0xbead9ddf, 0xbd8e7e82, 0xbe9187c1,
1076    0x3f2fa0a6, 0xbf27bc7d, 0xbdf2dbe0, 0x3e961e80,
1077    0x3f38ba43, 0xbecb0014, 0x3f050113, 0x3e69e65e,
1078    0xbdcc3d43, 0xbec7b4d1, 0x3f691099, 0x3dc3090d,
1079    0x3f08fb36, 0x3f03e8cc, 0xbf069df0, 0x3ed42296,
1080    0xbdb4e04c, 0x3f5126f0, 0x3ed7a845, 0x3ec48057,
1081    0xbf423565, 0xbe9a6cda, 0x3f0ce87d, 0xbe32fb1b,
1082    0x3e8dc6ce, 0xbae4ae00, 0xbec94acd, 0xbf607508,
1083    0x3f129a64, 0x3e47fad2, 0xbf3ab254, 0xbea390cb,
1084    0x3e0cb656, 0xbec0576b, 0x3f69dc5b, 0xbd978b5d,
1085    0x3dc90add, 0xbf015dad, 0xbf4ea878, 0x3e93cd52,
1086    0xbed0deed, 0xbef7f47c, 0x3f461b84, 0xbc6005f9,
1087    0xbddfe20e, 0xbe22ddd0, 0xbf3e300b, 0xbf24158e,
1088    0x3ef58eb0, 0x3f035242, 0x3f2678a7, 0x3e945eb6,
1089    0xbe2f3dc5, 0xbf685978, 0xbe9f1ab4, 0x3e65d898,
1090    0xbe1e8372, 0x3d058cdc, 0xbed00204, 0xbf666397,
1091    0xbe765344, 0xbf2bda89, 0x3dd03830, 0x3f319306,
1092    0xbf3ecaac, 0xbefc2b0b, 0xbe00488f, 0x3edcfca5,
1093    0xbeae503a, 0x3f1c2e8b, 0x3ef7a383, 0x3f06f733,
1094    0x3f365c4e, 0x3e044c4c, 0x3e028af3, 0xbf2d8e49,
1095    0x3d81481b, 0x3f6bab39, 0x3e9e3848, 0x3e6bda63,
1096    0x3eaf2587, 0x3e1e28eb, 0x3e600620, 0xbf669451,
1097    0x3f140765, 0xbe6d66ca, 0x3f05609c, 0xbf155ec5,
1098    0xbf4b524f, 0xbebdf09a, 0x3e7a677d, 0x3ed4358b,
1099    0xbf41a3d8, 0xbf0c67b7, 0xbe1f50e0, 0xbea430a6,
1100    0x3e0d0d3f, 0xbe04f1f7, 0x3dafac56, 0xbf7a6937,
1101    0x3ee82bfa, 0xbe0b221e, 0x3f26bc01, 0x3f17d25b,
1102    0xbf51e8ea, 0xbe67e3fa, 0xbe00a41c, 0x3f02af8b,
1103    0xbf30b206, 0xbbe7821f, 0x3e6db7e6, 0x3f2f70ed,
1104    0x3e5771ba, 0xbf5f0b87, 0x3e5ed89f, 0xbec5cf2a,
1105    0x3f374c0c, 0x3ea3662b, 0x3ce3d9c0, 0xbf1ec8f5,
1106    0xbedeba9b, 0xbea66934, 0x3ed67e43, 0x3f3a4dae,
1107    0xbec6b42c, 0x3e8f967f, 0xbe29ff80, 0x3f5cb0f5,
1108    0xbe862bc9, 0x3d215cfa, 0xbf72478e, 0x3e3d1497,
1109    0xbecf03ef, 0x3f62e2a7, 0x3e393879, 0xbe0a9f87,
1110    0xbf0406c4, 0xbdfc2c0e, 0xbf3ee6bf, 0xbece92a8
1111    };
1112
1113static const uint32_t ref_quat2rot[1152] = {
1114    0x3f14d753, 0xbf1753a9, 0xbf0f1dff, 0x3e89fc1c,
1115    0xbf022739, 0x3f515ef6, 0xbf448698, 0xbf204d00,
1116    0xbe0b8eff, 0xbed7e246, 0xbf4812d6, 0xbeeb6a56,
1117    0xbd9b7458, 0x3f0924d0, 0xbf574a5c, 0x3f6750d0,
1118    0xbea3af31, 0xbe9206b8, 0xbef5084c, 0x3dd394d8,
1119    0xbf5f37d3, 0x3f543b7a, 0xbe8c4645, 0xbef997e3,
1120    0xbe9418f6, 0xbf74c7b3, 0x3d3a3e58, 0x3f2f7838,
1121    0xbe93a416, 0xbf2b29dd, 0x3f2b3b1b, 0x3f1cbad9,
1122    0x3ed7e2ec, 0x3e935409, 0xbf3c793c, 0x3f1ccdac,
1123    0x3d53c462, 0x3f79bb3b, 0x3e5ae8a1, 0xbf7f8e5e,
1124    0x3d361202, 0x3d1e0d28, 0x3ce68463, 0xbe5c926e,
1125    0x3f79e2fe, 0xbe7af3a8, 0xbf708f61, 0x3e745233,
1126    0xbf34aa0e, 0x3eaeec3c, 0x3f1ee48f, 0xbf2a2d6e,
1127    0xbc854d4b, 0xbf3f33c3, 0xbf2f37bf, 0xbe27a32a,
1128    0xbf35dfe1, 0x3f0f217f, 0xbf3e4681, 0xbebc180d,
1129    0xbeef919b, 0xbf260e8e, 0x3f19aa26, 0x3e2b94ad,
1130    0xbf52879d, 0xbf0b3011, 0xbed4cba4, 0x3ee1e111,
1131    0xbf4b9e22, 0x3f64db64, 0x3eb7eef7, 0xbe8926a5,
1132    0xbea06506, 0xbf72c9ac, 0xbd496cbb, 0xbf27adf1,
1133    0x3e81acef, 0xbf36406c, 0x3f3008b8, 0xbe4364ac,
1134    0xbf335657, 0x3ec12126, 0xbf263533, 0xbf291318,
1135    0x3e73f3e0, 0x3f41d4aa, 0xbf1bb62b, 0x3f651c54,
1136    0x3d93a59d, 0x3ee16bd7, 0xbdf73711, 0x3ecc455b,
1137    0x3f68b346, 0xbf7df4f7, 0xbda81be7, 0xbdc4031f,
1138    0x3d15366e, 0xbf69ccfc, 0x3ecfb6bb, 0x3f5b6c5d,
1139    0x3f0158aa, 0x3dcd5bf9, 0x3efdc9f5, 0xbf5caa45,
1140    0x3dd9ba1b, 0x3e0f82e8, 0xbd29a6d6, 0xbf7d4066,
1141    0xbef3ba3e, 0x3f4b1edb, 0x3ec23036, 0xbf6121be,
1142    0xbedaf784, 0xbe561ac4, 0xbb720e24, 0xbeddbbc3,
1143    0x3f66bef4, 0xbeb28adf, 0x3f68de11, 0x3e672667,
1144    0xbe28d087, 0x3e35d2f0, 0xbf785f35, 0xbf6c3086,
1145    0xbec0469f, 0x3db44f89, 0xbefe7716, 0x3f4bc114,
1146    0xbeb0ff89, 0xbeb38eb8, 0x3e387ddc, 0x3f6b4335,
1147    0x3f4b3191, 0x3f13f666, 0x3e4221d7, 0x3f4745c5,
1148    0xbe3841b7, 0x3f19f67a, 0xbf1937f6, 0x3d9c4271,
1149    0x3f4c273b, 0xbe41edae, 0xbf7b101a, 0xbd45d9bc,
1150    0x3ec0b7ef, 0x3e9b002b, 0x3f60272f, 0xbf3f69d3,
1151    0x3f2845ef, 0x3dc0d728, 0xbf0c0acd, 0xbf30aca4,
1152    0x3ef2928e, 0xbf4c4742, 0xbf0c7b83, 0xbe7f37fc,
1153    0xbf1a4510, 0x3f3bce43, 0x3ea0d22f, 0x3c2ba754,
1154    0x3ecd3a85, 0xbf6a84d6, 0x3f632564, 0xbe491cda,
1155    0x3ed5a941, 0xbebacced, 0xbf5a36bf, 0x3ebfc840,
1156    0x3e90755d, 0xbef81e95, 0xbf53f66a, 0xbf17491c,
1157    0xbf0cbb4d, 0xbf1723d2, 0xbee6de06, 0xbec37510,
1158    0x3f4e8b1e, 0xbf2b3de5, 0x3f3e35ad, 0xbcb68779,
1159    0xbf2404a2, 0xbee8b3ee, 0x3f1e6b21, 0x3ea7ede2,
1160    0x3f1114a3, 0x3f417ce5, 0xbf31b80a, 0x3f2fed0f,
1161    0xbe5b29c6, 0x3d23d523, 0x3e1e1381, 0x3f7cb955,
1162    0xbe5db145, 0xbf769347, 0x3e233668, 0x3f79b7fd,
1163    0xbe616237, 0xbba7461e, 0xbd849d6c, 0xbeb1e04b,
1164    0xbf6f7b2d, 0xbf364cb8, 0x3f2c3d35, 0xbe4d6365,
1165    0x3f32f6ba, 0x3f27362b, 0xbe94f922, 0xbedd99b9,
1166    0xbe9b11ef, 0xbf595d7d, 0x3f319392, 0xbf36a506,
1167    0xbdcaf205, 0xbf1365aa, 0xbf21c1bd, 0x3f04d576,
1168    0x3f3f12a9, 0xbf2922b8, 0xbda40209, 0x3e68d876,
1169    0x3e0f6f5f, 0x3f76b38f, 0xbf201edb, 0xbf3ccb58,
1170    0x3e827283, 0xbee3b838, 0xbf307f27, 0x3f125bd3,
1171    0x3e5f740c, 0x3f0921fb, 0x3f50d470, 0xbf5e6057,
1172    0x3ef9a2d1, 0xbdb3d1b6, 0xbf21a0cc, 0xbd8f19a0,
1173    0xbf45b7cc, 0x3f07cb81, 0xbf43f1e5, 0xbeba8fd5,
1174    0xbf10d143, 0xbf23c5ea, 0x3f05333d, 0xbe3465cd,
1175    0x3f75d949, 0x3e5d48d4, 0x3f274352, 0xbd4d4968,
1176    0x3f416063, 0x3f3c7b2c, 0x3e8c6cb0, 0xbf1e5ec0,
1177    0x3f4ff009, 0xbda47cbc, 0x3f13e713, 0xbe4e4a43,
1178    0xbf77d8f4, 0x3e18349d, 0x3f0c22ec, 0xbe72d01a,
1179    0xbf4d7532, 0xbf3c1cf7, 0x3f14a20e, 0x3eb3876c,
1180    0x3edbe003, 0x3f4c643f, 0xbed81748, 0xbf06663c,
1181    0xbe236126, 0xbf560517, 0x3f3d41b2, 0x3ef577b6,
1182    0x3ef21c3a, 0xbf1fdd65, 0x3f4038f1, 0x3e5c2c6e,
1183    0xbe8103a7, 0xbee89391, 0x3f5ac030, 0xbea1ddcc,
1184    0x3eae8e53, 0xbf62a55b, 0xbf71f4bf, 0xbd044ea3,
1185    0x3ea66e92, 0x3da865ec, 0x3f708548, 0x3eaa355f,
1186    0x3e6ee6a8, 0xbf2b7ece, 0x3f347064, 0xbf4c505f,
1187    0x3e90799d, 0x3f0848ea, 0xbf0e36ae, 0xbf2fcddb,
1188    0xbef008f8, 0x3f27087a, 0xbf3b8d77, 0x3e466460,
1189    0xbef8f56f, 0xbe55a900, 0x3f593a34, 0xbf14cc46,
1190    0xbf25da17, 0xbefc1903, 0x3f41d091, 0xbc611c88,
1191    0x3f2735fe, 0xbe72f7fe, 0x3f6cfc7d, 0x3e96c87e,
1192    0xbf1bd3df, 0xbec18181, 0x3f3295c6, 0xbf25c583,
1193    0x3e11caed, 0xbf3fa4ce, 0xbf27d8b9, 0xbf1ad005,
1194    0x3ee77cc0, 0xbec6d471, 0x3f4899c0, 0x3ef84a70,
1195    0x3d91d09f, 0x3f749bbe, 0xbe929156, 0x3f22d644,
1196    0xbe877469, 0xbf398fc8, 0xbf44b141, 0xbe059c75,
1197    0xbf2069bf, 0x3e347601, 0x3ee9beb3, 0x3f5f4081,
1198    0xbf75d225, 0xbdebd4e8, 0x3e82376d, 0x3e5dba63,
1199    0xbf61d95f, 0x3ed60f7c, 0x3e67b886, 0xbc740fe2,
1200    0x3f795488, 0xbf0d6626, 0x3f525609, 0x3e1047db,
1201    0xbf4d64b0, 0xbf11e099, 0x3e35f65c, 0xbd883549,
1202    0xbf48fe99, 0x3f1da15c, 0xbf7dcae3, 0x3df9814c,
1203    0x3d45af41, 0xbde73c52, 0xbf1b7309, 0xbf4955eb,
1204    0xbf44397d, 0xbd3c95a9, 0xbf23fda8, 0xbec5785b,
1205    0xbf43b96e, 0x3f0435a7, 0xbf03774a, 0x3f24966a,
1206    0x3f117a2e, 0xbf1af108, 0x3f4b7821, 0xbd35ff75,
1207    0xbf36649f, 0xbf0415fc, 0x3ef37df7, 0x3eb5ca3a,
1208    0x3ea3946c, 0x3f60e8f7, 0x3ec83d92, 0xbf2d40db,
1209    0xbf1fac15, 0xbf59f64f, 0xbc0ea526, 0xbf064073,
1210    0x3eb2ef5e, 0x3f3c73d1, 0xbf1461d3, 0xbeec20e7,
1211    0x3f388b56, 0xbf047087, 0x3eb5218f, 0xbec547f0,
1212    0xbf5a2eea, 0xbf505060, 0xbf137a1c, 0xbd9e5b7a,
1213    0x3ebc9f18, 0x3f2aa8a3, 0xbf25e1fb, 0xbe05a0bc,
1214    0x3f3a289a, 0x3f2c8675, 0x3f6ba36f, 0xbe27a55c,
1215    0x3eb5b3e4, 0x3f43fc86, 0x3de5a7f5, 0xbf222d32,
1216    0xbf0e75f7, 0x3f1c0af4, 0xbf108a06, 0x3ea54a62,
1217    0x3f48e783, 0x3f076fe4, 0x3f4619ae, 0xbf15eba7,
1218    0x3e771935, 0xbeb92bb5, 0xbdc41f64, 0x3f6d68a9,
1219    0xbf051e08, 0xbf4e0e30, 0xbe9261e1, 0x3e2ca6cb,
1220    0xbf2a3027, 0xbf3a4db0, 0x3e8cad93, 0x3f3da1e9,
1221    0xbf1ceed6, 0x3f72554e, 0xbdc5d5c9, 0x3e9d77e4,
1222    0x3b809416, 0x3ef16223, 0x3f61c317, 0x3f579738,
1223    0x3ef2ae21, 0xbe83a792, 0xbf0a0acc, 0x3f3e6254,
1224    0xbeca543a, 0xbf5a9704, 0xbf053c84, 0xbbcb3302,
1225    0x3eda29f2, 0xbf312f48, 0xbf1523d3, 0x3e990b2c,
1226    0xbf0005a6, 0x3f501077, 0xbf21f8fb, 0x3e2fc07e,
1227    0xbf415068, 0xbf4188bb, 0x3d986301, 0x3f267c83,
1228    0x3e2bd58d, 0x3f7b7b19, 0x3da95181, 0x3ed869d2,
1229    0x3f67fae4, 0xbc62eb28, 0xbd3f676b, 0x3bd5f822,
1230    0xbf7fb702, 0xbf67b2d3, 0x3ed880f3, 0x3d38c005,
1231    0x3f4b763f, 0x3edc5fa5, 0x3edb1268, 0x3eb7d0f2,
1232    0x3e70a346, 0xbf673c3a, 0xbefa8965, 0x3f5f1ace,
1233    0x3d041185, 0xbdc06790, 0x3f7d0837, 0xbdf445bc,
1234    0x3f79c25c, 0x3dec118a, 0x3e3f3b18, 0x3e4b179a,
1235    0xbdca62dd, 0xbf79a2cc, 0xbf0798a0, 0x3eaa0134,
1236    0x3f47cf83, 0x3f16f34d, 0x3f4e3cc0, 0x3d6b3bf7,
1237    0xbf1c16ae, 0x3efb3615, 0xbf1f5c22, 0xbed08311,
1238    0x3f59106c, 0x3eadc79b, 0x3f12cc5f, 0xbd547259,
1239    0x3f514eeb, 0x3f35fb09, 0x3f0710ed, 0xbeee20b3,
1240    0x3dc98491, 0xbea05e46, 0x3f71cf50, 0xbf2cb14d,
1241    0xbf3803f8, 0xbe2c1e94, 0x3f3b4b10, 0xbf1ee2da,
1242    0xbe906503, 0xbee965f9, 0x3ef01791, 0xbf41aa52,
1243    0xbe8358d9, 0x3f3ea21a, 0x3f1dbd7d, 0x3f5a2f20,
1244    0x3ef32dac, 0xbe606b8e, 0xbf2e70d0, 0xbf3b582a,
1245    0x3c3aefe3, 0x3f3ad7c4, 0xbf2e3ad0, 0xbd8364cc,
1246    0x3d601e42, 0xbd10f4dc, 0x3f7f74b5, 0xbe9a6e1a,
1247    0x3e312bd9, 0xbf700664, 0xbddd1250, 0x3f788b5a,
1248    0x3e5b04c6, 0x3f728216, 0x3e29b2e1, 0xbe8c5ec1,
1249    0x3ec1196b, 0xbed16bda, 0xbf54b859, 0x3e45f377,
1250    0x3f6985c2, 0xbeb8fa5b, 0x3f67df83, 0xbcc7a873,
1251    0x3ed8a0d1, 0xbe83df0c, 0xbf66c175, 0x3eb2377d,
1252    0x3f51193d, 0xbeca8794, 0xbed70712, 0x3f0428f7,
1253    0x3e345dc7, 0x3f568fa6, 0xbe01bdaa, 0xbef9344e,
1254    0x3f5d43e0, 0xbef3bd73, 0x3f4b5564, 0x3ec14759,
1255    0xbf5ec819, 0xbeba2e23, 0xbeaa28df, 0x3e159d44,
1256    0xbedf6f8b, 0xbf63479f, 0xbf7939af, 0x3dc49454,
1257    0xbe545fd6, 0x3e33f144, 0x3f6505c4, 0xbed257a6,
1258    0x3e4002da, 0xbea706e2, 0xbf6d2fa3, 0x3f692ea7,
1259    0xbe972f9c, 0x3e939e1f, 0xbebc3b44, 0xbf65e29d,
1260    0x3e7794b6, 0x3ee3223b, 0x3f6104fd, 0x3e331999,
1261    0xbf5a77e1, 0x3ef2a3c7, 0xbe5e519d, 0xbe8c253a,
1262    0xbd58de79, 0x3f75d989, 0xbf4ee658, 0x3f12e493,
1263    0xbe07b410, 0x3e568ddb, 0x3efb2068, 0x3f588c21,
1264    0x3f0ce51b, 0x3f27e7e0, 0xbf044223, 0xbf0fd81c,
1265    0xbed9f7de, 0xbf3591ac, 0x3ef44f66, 0xbf5dffc1,
1266    0x3e11e854, 0xbf2cfb8d, 0xbe84492e, 0x3f30be3c,
1267    0x3f7eba80, 0x3d93431f, 0xbd8cf9cf, 0x3d9e419c,
1268    0xbdf9f45f, 0x3f7d50a1, 0x3d808306, 0xbf7d6b24,
1269    0xbe020bda, 0xbf38178e, 0x3f11d733, 0xbecbbb4b,
1270    0x3eb4bb93, 0xbe466a3a, 0xbf6a53d9, 0xbf193b66,
1271    0xbf4c7711, 0xbd7cf6f3, 0x3f273de7, 0xbe1ffd64,
1272    0x3f3da5e6, 0x3f1ab57a, 0x3f327039, 0xbec59838,
1273    0xbee981b3, 0x3f332747, 0x3f0cbe51, 0xbf354283,
1274    0xbf0068b9, 0xbefe7eda, 0xbe0f7102, 0xbf171314,
1275    0x3f4b88fa, 0xbf312fa5, 0x3f21efe1, 0x3eb1f5e3,
1276    0x3f2d0b65, 0xbe8276c9, 0x3f310557, 0xbeed4daa,
1277    0xbf6062af, 0x3e0533db, 0x3f12aca5, 0xbed11ca2,
1278    0xbf35e890, 0xbe9a83ba, 0xbe56f4fd, 0x3f6e130a,
1279    0xbf73fd08, 0x3d2c8d1b, 0xbe997bf7, 0x3cc29200,
1280    0xbf7a1046, 0xbe59e3b9, 0x3f2307d3, 0x3ea142e5,
1281    0xbf34279e, 0xbf244e34, 0xbe941010, 0xbf35d24f,
1282    0xbedabafb, 0x3f676ae1, 0x3c9355d2, 0x3e87ec42,
1283    0xbec86ead, 0x3f618d75, 0xbdab2fd9, 0xbf6b7568,
1284    0xbec4570a, 0x3f75e285, 0x3ce6aa33, 0xbe8dc523,
1285    0xbe812c97, 0x3f1b7eb3, 0xbf40d618, 0x3f721f3c,
1286    0xbc1fb389, 0xbea63693, 0xbe516f60, 0xbf4b5986,
1287    0xbf126f94, 0xbd9e5fa7, 0xbf0d8bce, 0xbf546367,
1288    0xbf510fbb, 0x3f033215, 0xbe87e5b8, 0x3f126a49,
1289    0x3f28310b, 0xbefb7a26, 0xbec15881, 0x3f42e8ad,
1290    0x3f06e920, 0xbf232d03, 0x3e4bdc60, 0xbf3e8ebe,
1291    0xbf2bf11e, 0xbf1df3e7, 0x3ed1faf0, 0xbf198646,
1292    0xbf4c97b2, 0x3d265cc2, 0xbf478408, 0x3f1261b1,
1293    0xbe832d7b, 0x3e39e3d9, 0xbe3dbff3, 0xbf773c99,
1294    0xbf08830e, 0x3f4ab589, 0x3e9870b3, 0x3f5813aa,
1295    0x3f05898a, 0x3dfed302, 0xbd689535, 0x3ea2a370,
1296    0xbf724e2b, 0xbcc24c89, 0xbd7047b2, 0x3f7f7cac,
1297    0xbf2d9d10, 0xbf3b85e1, 0xbd7260d5, 0x3f3c092c,
1298    0xbf2d9ffb, 0xbcb79439, 0x3f34c18c, 0xbecee261,
1299    0x3f14df52, 0x3f2345f1, 0x3bc5909e, 0xbf452b2d,
1300    0x3e9d8b89, 0x3f6a2a4a, 0x3e8620a6, 0x3e0bbf43,
1301    0xbf5428fd, 0xbf0aefe3, 0xbf6f2456, 0x3d99002d,
1302    0xbeb2ad50, 0x3ea8d680, 0x3f0dfae1, 0xbf439436,
1303    0x3f4f0287, 0xbf007265, 0x3e9d47ea, 0xbcf2bac7,
1304    0x3ef93802, 0x3f5f7f43, 0xbf166ad7, 0xbf370e9f,
1305    0x3ec1ea21, 0xbcb18af1, 0x3f5034a0, 0x3f14d908,
1306    0xbf62865a, 0xbe929624, 0x3ebc27c6, 0x3eee4211,
1307    0xbf01abc0, 0x3f39d25f, 0x3f2bb64c, 0x3f37795e,
1308    0x3e437a38, 0x3f24c497, 0xbede7e72, 0xbf214800,
1309    0xbebcb4bb, 0x3f0ba20b, 0xbf40b518, 0x3d3ebb70,
1310    0xbf19d363, 0xbf4c4872, 0x3f6ab78f, 0xbe952cd6,
1311    0x3e8bb908, 0xbecafee7, 0xbf3e8d7f, 0x3f099060,
1312    0x3ed4ba40, 0x3f1cb51d, 0x3f2c3ca0, 0x3f3aa7da,
1313    0xbf2a96af, 0x3e1fc263, 0x3f0b3882, 0x3ed9f9a7,
1314    0xbf3922c9, 0x3e479a59, 0x3f10c2f7, 0x3f4d2892,
1315    0xbef40aac, 0xbf28d464, 0x3f14ce8a, 0x3f5b7257,
1316    0xbefd965c, 0x3e105cd5, 0xbf7c66de, 0x3db9370e,
1317    0x3e0fd9a8, 0xbe1be226, 0xbf552ecb, 0xbf0845ee,
1318    0x3d8cfcf1, 0xbf0bd516, 0x3f55b5f9, 0x3e10923e,
1319    0xbf7d4b7a, 0x3d0737f3, 0x3f6ba146, 0x3df3883e,
1320    0xbebea902, 0x3ebaa2b6, 0x3da9e6c1, 0x3f6d7019,
1321    0x3f435bce, 0xbf104fb7, 0xbea1ce24, 0x3ef62710,
1322    0x3f526d75, 0xbe9c5037, 0x3edd1e14, 0x3da5fb14,
1323    0x3f65f626, 0xbeaa2a86, 0xbf32c286, 0xbf224d31,
1324    0xbf71700e, 0x3e75c6b6, 0x3e6b9316, 0xbc0ad6ad,
1325    0x3f2ca48f, 0xbf3d0338, 0x3eddcd80, 0xbf135f58,
1326    0x3f3188a7, 0x3e8c4dac, 0xbf261d69, 0xbf35b736,
1327    0x3f5bcee3, 0x3efebda2, 0xbdfc9f84, 0x3f7f560c,
1328    0xbbdcaa22, 0x3d92c03c, 0xbd305818, 0x3f3df474,
1329    0x3f2b43d0, 0xbd6c3c20, 0xbf2b9c4a, 0x3f3d6358,
1330    0xbee85241, 0xbcaf2169, 0x3f641023, 0xbdb2fd61,
1331    0xbf7e6b51, 0xbd8c021d, 0x3f630766, 0xbddefc66,
1332    0x3ee5ee1b, 0xbf02c571, 0xbe9b6ebd, 0x3f4de68d,
1333    0x3ee4a8ec, 0xbf64a472, 0xbd5afe10, 0x3f3c0d4e,
1334    0x3ea9ed76, 0x3f178126, 0x3e066f63, 0xbdee55f3,
1335    0xbf7c0790, 0xbf26c814, 0xbf4236ff, 0x3b37909f,
1336    0xbf3f493c, 0x3f2419c8, 0xbe33a04b, 0x3e0e5dba,
1337    0xbf7c581e, 0xbdc29712, 0x3f4a92d7, 0x3e2c4e87,
1338    0xbf167af9, 0x3f186ca2, 0x3bd63c9c, 0x3f4dab70,
1339    0xbf61d7a7, 0x3ee6dae2, 0xbe0b0216, 0xbee076d9,
1340    0xbf6445c5, 0xbde6b2f7, 0xbe2ff641, 0xbd23468c,
1341    0x3f7bfc4b, 0xbf752428, 0x3e7be3ea, 0xbe19afe2,
1342    0x3e2494ae, 0x3f63639e, 0x3edc56a3, 0x3e74e951,
1343    0x3ec6a44a, 0xbf63dd79, 0xbe8cc4c7, 0xbf6f1af1,
1344    0xbe699b19, 0xbf1d7e25, 0x3eb4dc35, 0xbf346db0,
1345    0x3f3d26a5, 0xbd5ad87d, 0xbf2bf634, 0xbf4e73d9,
1346    0xbf11f9d9, 0xbe2037ef, 0xbe88ffd6, 0x3f1680b6,
1347    0xbf436df7, 0x3f06fc59, 0xbf12e332, 0xbf206efc,
1348    0xbe87427f, 0xbe4c7ebf, 0x3f718df1, 0xbf0b5273,
1349    0xbf46de5a, 0xbea23175, 0x3f4bd78e, 0xbf18e26b,
1350    0x3dc5b64b, 0xbf1a0a59, 0x3ebb42f0, 0xbf35c579,
1351    0x3e80f174, 0x3f6e36dd, 0x3e882334, 0x3f4209df,
1352    0xbc9a37fe, 0xbf26eb28, 0xbf199d7a, 0x3f049561,
1353    0xbf1c13b0, 0x3f14f534, 0x3f4e3ae0, 0x3de4a1b8,
1354    0x3f0c88d7, 0xbe93556f, 0xbf48e566, 0xbdbf8012,
1355    0xbf083516, 0x3f576e5b, 0x3f7c7cd3, 0x3d87297b,
1356    0x3e1af2db, 0xbe0b5033, 0x3f5818f2, 0x3f04c23e,
1357    0xbe9f5a3d, 0xbf733f85, 0x3c87eff9, 0xbd3c5b9c,
1358    0xbb1c2545, 0xbf7fba7c, 0x3f73000e, 0xbe9f92fc,
1359    0xbd2ff020, 0x3d95d81d, 0xbe8b6253, 0xbf759e33,
1360    0x3f758978, 0xbe7a553e, 0x3e11ed62, 0xbe8bf420,
1361    0xbf6e3f9f, 0x3e790f08, 0xbf4a6fda, 0x3d460d55,
1362    0x3f1c362d, 0xbf01abca, 0x3f020d39, 0xbf325912,
1363    0xbeaff66e, 0xbf5c2855, 0xbec1244f, 0xbe67395a,
1364    0xbf74ad90, 0x3e40f65a, 0xbf2515f6, 0x3ada2091,
1365    0xbf43a8be, 0x3f3aecee, 0xbe969437, 0xbf1de17c,
1366    0x3f65e7a5, 0x3e4001e0, 0xbecbb89f, 0x3ee107be,
1367    0xbed64c06, 0x3f4b757f, 0xbc8f79c1, 0xbf637d10,
1368    0xbeeaa5c7, 0x3ee30189, 0x3e161427, 0xbf625fd5,
1369    0xbddd4185, 0xbf7879fe, 0xbe5c3338, 0xbf63ca2c,
1370    0x3e4374b4, 0xbed43a4d, 0xbeb3b4dd, 0xbe1a9bb0,
1371    0xbf6c9392, 0x3f4649e4, 0xbf19f42c, 0xbe48a201,
1372    0xbf06b320, 0xbf48d94c, 0x3ea7f305, 0xbf14c853,
1373    0x3f234d50, 0x3f015a63, 0x3f47807f, 0x3f1d75ab,
1374    0x3df5768b, 0xbe6ff540, 0x3eed4688, 0xbf5ac64f,
1375    0xbf49f318, 0xbf1cb825, 0x3d5d5e6c, 0xbe33d101,
1376    0x3e9e1bd1, 0x3f6f4d5d, 0xbf16c50a, 0x3f3a5903,
1377    0xbeb3c455, 0x3eecacaf, 0x3f111959, 0xbf2e94c4,
1378    0x3f16974e, 0x3ec249d2, 0x3f36d0a8, 0x3f29ddd3,
1379    0xbf3b3430, 0xbe21cb56, 0x3c210830, 0xbf51cb0c,
1380    0x3f12af60, 0xbf354c0e, 0xbed20bc5, 0xbf1318d7,
1381    0x3f34b941, 0xbeccdeeb, 0xbf159b23, 0x3f267906,
1382    0x3ec55b45, 0xbf27964a, 0xbd8fe86e, 0x3f637751,
1383    0x3ee8226a, 0x3f41a5af, 0xbe7ecd8f, 0x3f1ad9fa,
1384    0xbf575a91, 0x3f064624, 0xbe066acb, 0xbdc5ffff,
1385    0x3dbe5b0d, 0x3f7daff5, 0x3f082f34, 0x3f58a83b,
1386    0xbce11e40, 0x3e082ce5, 0xbf470c68, 0xbf1d57bb,
1387    0xbf7bcef0, 0xbe37f3cd, 0x3c6c75fd, 0xbdf91a84,
1388    0x3f1a466c, 0xbf49e7ad, 0xbf24a640, 0x3f16617f,
1389    0xbefb7e31, 0x3f437a92, 0x3ee35e2d, 0xbef00004,
1390    0xbd6a65a0, 0xbf2d32b3, 0xbf3bf242, 0xbf52d04d,
1391    0x3f0fcc3a, 0x3da32149, 0xbf0ae81a, 0xbf3d2230,
1392    0xbecca3ff, 0xbe29a30a, 0xbebea600, 0x3f69c667,
1393    0x3eddb40f, 0xbf3db82b, 0x3f035b30, 0x3f575617,
1394    0x3f096c8d, 0x3d8615d6, 0xbea5dea5, 0x3ece779f,
1395    0x3f5b1728, 0xbd595f62, 0x3f33d322, 0xbf35b2eb,
1396    0x3f7d8136, 0x3e03c3cf, 0x3d5a58c2, 0x3e03dd91,
1397    0xbf333421, 0xbf33d1f4, 0x3eeac77f, 0xbf3a5c1b,
1398    0xbf027b89, 0x3c5c6850, 0x3f1444b7, 0xbf50a9f4,
1399    0x3f637900, 0x3ebbdb3a, 0x3e8cfdf3, 0x3d517f6c,
1400    0x3f7e5d47, 0x3dce0a88, 0x3f791e94, 0xbd93eec5,
1401    0x3e5fe9be, 0x3e65ec84, 0x3db19931, 0xbf78793b
1402    };
1403
1404static const uint32_t ref_rot2quat[512] = {
1405    0x3ef7c448, 0xbf3efa5a, 0x3ddcbbc1, 0x3ee3a3f1,
1406    0x3ee91134, 0x3e92943b, 0xbf3faed1, 0x3ec66a88,
1407    0x3e8a8d46, 0xbeddb102, 0xbf09cf11, 0x3f2ba2ba,
1408    0x3f5a5ba1, 0xbeadc1f1, 0xbe8f8432, 0x3e8fa5c3,
1409    0x3f3842ce, 0xbdb4ac1f, 0x3d840d55, 0xbf2f80d6,
1410    0x3e976295, 0xbf09dec3, 0x3f4388ce, 0x3e4a92e4,
1411    0x3e54ad5e, 0xbead5b5c, 0xbe9579e0, 0x3f5ebbb6,
1412    0x3f1437d3, 0x3eff43b5, 0xbf1eeb9b, 0x3e33daf0,
1413    0x3e7a8c5f, 0x3f084e59, 0xbf40ba33, 0x3e997c36,
1414    0x3f4d626e, 0x3e5916fa, 0xbef82855, 0x3e8d97e7,
1415    0x3f0c62d5, 0xbebed540, 0x3ecbaa9e, 0xbf225660,
1416    0x3d1d1cc3, 0xbf767dab, 0xbe851022, 0xbd7fb044,
1417    0x3effb2fe, 0xbde5a1d6, 0x3e444f60, 0xbf5660c9,
1418    0x3ef5218e, 0x3e9efbe2, 0x3f198182, 0xbf0fa23f,
1419    0x3eef285c, 0xbe3ae562, 0xbf1c1e0d, 0xbf1d1a31,
1420    0x3f2c0904, 0xbf29591b, 0x3e96a037, 0xbe1f73f8,
1421    0x3f4ab05d, 0xbe7d969a, 0x3ee5fe28, 0xbea9d254,
1422    0x3d8f3ac0, 0x3e9ebe31, 0xbf6dab48, 0xbe452422,
1423    0x3e68e595, 0xbf71c512, 0x3e182297, 0xbe3d9957,
1424    0x3d10ea0b, 0xbee6d63c, 0x3f0e0b73, 0x3f32c312,
1425    0x3ed8034c, 0xbd2680ab, 0x3f472e3f, 0x3eed65bf,
1426    0x3e091b10, 0xbf3564de, 0x3cb38ff4, 0xbf3145fc,
1427    0x3f12e614, 0x3ebe70d6, 0xbf364e41, 0xbe22b375,
1428    0x3e9c4484, 0xbedf6f13, 0xbe653ed9, 0x3f50f6b6,
1429    0x3f3b4d3f, 0xbf14ce7a, 0x3e3ed438, 0x3e9b5dd4,
1430    0x3f0032e0, 0xbe27c362, 0x3f3814eb, 0x3ee7fff4,
1431    0x3e33f62c, 0xbec88dcb, 0xbe968134, 0x3f5a9e01,
1432    0x3e49a020, 0xbf1c6117, 0xbf29121a, 0xbec78ec7,
1433    0x3dd0afd8, 0xbf7249c4, 0x3d986e6e, 0xbe982b88,
1434    0x3e743f50, 0x3e8cde49, 0x3f6af33d, 0xbe223ad7,
1435    0x3f6a175b, 0xbe3b5ddd, 0x3e4aedde, 0xbe9a860c,
1436    0x3efdf152, 0x3e9e9440, 0xbef9b3d2, 0xbf25f35f,
1437    0x3f02f3c8, 0xbf1886c9, 0x3f1db074, 0xbd80509f,
1438    0x3ef9b510, 0xbf445dd4, 0x3ecb6548, 0x3e01534e,
1439    0x3f6b56ed, 0xbe3b41d0, 0x3eafb2f4, 0xbd78fe8b,
1440    0x3e76f68a, 0x3eafec92, 0xbebf3519, 0xbf53c537,
1441    0x3e593d05, 0x3f334ef4, 0x3f116d9f, 0xbec0b93d,
1442    0x3f1bacc3, 0xbeef3b9e, 0x3e89fc6d, 0xbf151baa,
1443    0x3f3ef4e6, 0xbe73ec14, 0x3f186716, 0xbe387321,
1444    0x3e84bd21, 0xbf21d063, 0x3f33e01f, 0xbe4ba707,
1445    0x3dc58e31, 0x3ea7d39b, 0xbea89681, 0xbf6157b3,
1446    0x3edec96b, 0xbdb7a6bc, 0xbe6b0859, 0xbf5db187,
1447    0x3ee55e9a, 0x3f3415e5, 0xbf0b0864, 0xbdc79936,
1448    0x3e0d4f6a, 0x3f0017bb, 0x3f097493, 0xbf2a40e4,
1449    0x3f485ef8, 0xbe88fc44, 0xbf003fb7, 0xbe825c3a,
1450    0x3f5a21f4, 0x3ecab4b5, 0xbe8fa944, 0xbe48e1d7,
1451    0x3f1706f4, 0xbf3becaf, 0x3ea52d3b, 0x3dc25f7d,
1452    0x3f3e9541, 0x3e3194fd, 0xbf0ff0f2, 0x3ea18b2a,
1453    0x3f053098, 0x3ef63a5b, 0x3f2ed070, 0x3e366708,
1454    0x3e84385c, 0x3da38cf7, 0xbe973b85, 0x3f6a9586,
1455    0x3eb9612b, 0x3e6abf0d, 0xbf2323f2, 0xbf23f7f5,
1456    0x3f1b6b63, 0x3f15e09f, 0x3ebbe6d2, 0xbec8e7e4,
1457    0x3f37cdea, 0x3f1e3313, 0x3ea38418, 0xbccbaaa3,
1458    0x3ddc0d80, 0xbf2a18c7, 0xbf3d2dae, 0xbcf3ae83,
1459    0x3ecef089, 0x3e893230, 0x3f5c231e, 0x3e232a5d,
1460    0x3e0cf417, 0xbf06d6b9, 0xbf2cb43c, 0xbeff3bdf,
1461    0x3e1fed1d, 0xbf39749f, 0x3eae8898, 0xbf1414f2,
1462    0x3f0461da, 0xbd8bd132, 0xbf471ba6, 0xbeb3925b,
1463    0x3ecc23cf, 0x3c93c3d9, 0xbcde726a, 0x3f6a9f8f,
1464    0x3f172fa3, 0xbca7064c, 0xbf4c4400, 0xbdf3957d,
1465    0x3f52cf47, 0x3dd17a2c, 0xbf06f984, 0x3e3b40d3,
1466    0x3f0b5689, 0x3e8c3013, 0xbd9e31ac, 0x3f4a0813,
1467    0x3f13e81c, 0xbea431a2, 0x3f402432, 0x3b9752a9,
1468    0x3ee967c2, 0x3f1ab68f, 0xbf154f9b, 0xbe96d19f,
1469    0x3f084e85, 0xbf0e97df, 0xbe8659f7, 0x3f14b2aa,
1470    0x3f5924a3, 0x3d462ec1, 0x3e076634, 0xbf02b647,
1471    0x3e5061b0, 0xbe6f0727, 0xbf56c521, 0xbee520f9,
1472    0x3e82de25, 0xbec8bdfd, 0xbd065f3a, 0x3f6212fc,
1473    0x3f292242, 0xbf3fbf4b, 0xbd4bf28e, 0x3b051feb,
1474    0x3da317c4, 0x3ebb7ec3, 0x3f21413a, 0xbf2e26ba,
1475    0x3f59fac8, 0x3ea33737, 0x3eb3ec16, 0x3e64aad8,
1476    0x3de3974d, 0xbebb297a, 0x3ee0b002, 0x3f5033c0,
1477    0x3e18a1d9, 0xbf6737c0, 0x3e4b97b4, 0xbeb331d6,
1478    0x3eb9f0e0, 0xbeeea031, 0x3f1fb3da, 0xbf02f73c,
1479    0x3f1594dc, 0x3f30cf03, 0xbdf24dee, 0xbed198d3,
1480    0x3e0650bb, 0x3f48d8d6, 0xbe1b0297, 0x3f163948,
1481    0x3e5091d4, 0xbf13965c, 0xbf2c6c58, 0x3ed4a74e,
1482    0x3ef8ba13, 0x3ef30b9c, 0xbf38a5d1, 0xbe0afaaa,
1483    0x3f0e0cb0, 0x3d6b0a4b, 0x3f0a4060, 0xbf215580,
1484    0x3d22efbc, 0x3ee42685, 0xbf62b7dc, 0x3dff3f97,
1485    0x3dd18b7f, 0x3ef1bafa, 0x3f5dc0f0, 0x3e02a660,
1486    0x3e70e40e, 0xbf286a8f, 0x3e8f5d1a, 0xbf288b22,
1487    0x3f33d7a1, 0x3f197f65, 0x3dc791e3, 0x3ebdd4a0,
1488    0x3eab31d8, 0x3f2cf429, 0xbf270014, 0xbda1643e,
1489    0x3f5150b8, 0xbef89d76, 0x3e8c12a8, 0x3e13d164,
1490    0x3f186a95, 0xbebbe7ba, 0x3d47a9e1, 0xbf368b5c,
1491    0x3eb1fe8c, 0x3f586509, 0x3ecdfd41, 0xbd573b9d,
1492    0x3f11864e, 0xbee50dd6, 0xbe34d092, 0x3f2ae061,
1493    0x3da4e859, 0x3f56609a, 0x3ecd03bb, 0x3eb9f6e6,
1494    0x3ed28ba5, 0xbf278cc1, 0xbd0afb8d, 0xbf22305f,
1495    0x3d8200fa, 0xbd604744, 0x3e907378, 0xbf74a92a,
1496    0x3f3d517d, 0x3e1da011, 0xbde58447, 0x3f254892,
1497    0x3f6ee5ac, 0x3dd3f845, 0xbe4d2b12, 0x3e8f43dd,
1498    0x3e52afbc, 0x3f0a36bf, 0xbf42929d, 0xbe985111,
1499    0x3ed020da, 0x3f3e16eb, 0xbdcffdd6, 0x3f05c74a,
1500    0x3f6ec105, 0xbeb7d23c, 0x3d0e0017, 0xbc1f81ae,
1501    0x3c9ee25e, 0xbf05b255, 0x3d5547c8, 0xbf59d9bf,
1502    0x3e5de988, 0x3ee39be7, 0x3da4b903, 0x3f5d8bda,
1503    0x3e635fd8, 0x3f37f3fc, 0xbe88c81d, 0xbf1a3c70,
1504    0x3f39f61b, 0x3e5175bb, 0xbe735118, 0x3f1c903a,
1505    0x3e6ade7a, 0x3da278e2, 0x3d211d29, 0xbf782457,
1506    0x3dce390e, 0xbdd77839, 0xbf7767b8, 0xbe58c48c,
1507    0x3ea33c0a, 0x3f02c1d3, 0xbf421e20, 0x3e7ffc2b,
1508    0x3e4969ef, 0x3e76ca74, 0xbf5e7a9d, 0x3ec4f273,
1509    0x3df14d7c, 0xbf185216, 0x3ea009b0, 0xbf3b23fd,
1510    0x3ed29a35, 0xbe313327, 0xbf6468f1, 0xbd8dc765,
1511    0x3ea60f6b, 0xbe9d9f85, 0xbf64a125, 0x3d49f147,
1512    0x3f1c4cef, 0x3e913f1f, 0x3eccf23b, 0x3f1f2872,
1513    0x3ecd590b, 0x3edb570a, 0xbf14d270, 0x3f104951,
1514    0x3f0485e8, 0xbf04ad45, 0xbea9a57e, 0x3f183c2d,
1515    0x3e954690, 0xbe0f6714, 0x3f51639e, 0xbef39b73,
1516    0x3e4c3f50, 0x3f16de85, 0xbf2dd344, 0x3ec784d6,
1517    0x3f0159dc, 0xbf553924, 0xbe40b847, 0x3dff5ba0,
1518    0x3df725d3, 0x3f574599, 0x3c3ba88d, 0xbf0705b5,
1519    0x3e9ce775, 0xbef5dcba, 0xbea6380f, 0x3f414ae8,
1520    0x3e58cded, 0x3ecfb64c, 0x3f5f92cc, 0x3e2afa4f,
1521    0x3e526096, 0xbe80e065, 0x3f484d40, 0x3f0800b6,
1522    0x3f261735, 0xbf0e947d, 0xbf04ba03, 0x3c0770ac,
1523    0x3d7c5cc6, 0x3f3538be, 0xbf0a1dee, 0x3ee74123,
1524    0x3f62f35b, 0xbe4ac72d, 0xbecbbc64, 0xbe039996,
1525    0x3e7273fa, 0xbe1c659b, 0xbf33468b, 0xbf27e8cd,
1526    0x3e4fc16f, 0x3f398c38, 0xbf1b82fc, 0xbe8205f5,
1527    0x3e044800, 0xbecde7b6, 0xbf570089, 0x3eae8dae,
1528    0x3e97a4df, 0x3cbcf7ff, 0x3e5408f5, 0xbf6ea02e,
1529    0x3f5729eb, 0x3dcdc506, 0x3e7ef631, 0x3ef0f746,
1530    0x3e9c6331, 0xbf1dd817, 0xbf2fb300, 0x3e7138ed,
1531    0x3f42ac79, 0x3ec6f51a, 0xbeeb5bfa, 0x3e799884,
1532    0x3d3abe22, 0xbf39393a, 0xbf2df7cd, 0xbde61564
1533    };
1534
1535