new file mode 100644
@@ -0,0 +1,1641 @@
+/* Datatables for tanf_{avx512,avx2,sse4}
+ Copyright (C) 2022 Free Software Foundation, Inc.
+ This file is part of the GNU C Library.
+
+ The GNU C Library is free software; you can redistribute it and/or
+ modify it under the terms of the GNU Lesser General Public
+ License as published by the Free Software Foundation; either
+ version 2.1 of the License, or (at your option) any later version.
+
+ The GNU C Library is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ Lesser General Public License for more details.
+
+ You should have received a copy of the GNU Lesser General Public
+ License along with the GNU C Library; if not, see
+ https://www.gnu.org/licenses/. */
+
+#include "svml_common_data_macros.h.S"
+
+#if (defined AVX2_SHARED_OFFSETS) || (defined AVX2_SHARED_TABLE)
+
+/* Offsets are ordered by use in the function. On cold-starts this
+ might help the prefetcher. If the streaming prefetchers kick in it
+ will prefetch into the lookup table. */
+# define _sInvPi 0
+# define _sRShifter 32
+# define _sQ2 64
+# define _sP1 96
+# define _sQ1 128
+# define _sP0 160
+# define _sRangeReductionVal 192
+# define _Low16 224
+# define _SH_FLT_1 256
+# define _SH_FLT_2 288
+# define _Low18 320
+# define _Low9 352
+# define _SH_FLT_3 384
+# define _SH_FLT_4 416
+# define _Low7 448
+# define _Coeffs 480
+
+# define AVX2_SHARED_DATA(offset) ((offset) + (__svml_stan_common_data_avx2))
+
+# if (defined AVX2_SHARED_TABLE)
+ .section .rodata.avx2, "a"
+ .align 32
+ .globl __svml_stan_common_data_avx2
+__svml_stan_common_data_avx2:
+ float_vector32 (__svml_stan_common_data_avx2, _sInvPi, 0x3F22F983)
+ float_vector32 (__svml_stan_common_data_avx2, _sRShifter, 0x4B400000)
+ float_vector32 (__svml_stan_common_data_avx2, _sQ2, 0x3C1F336B)
+ float_vector32 (__svml_stan_common_data_avx2, _sP1, 0xBDC433B4)
+ float_vector32 (__svml_stan_common_data_avx2, _sQ1, 0xBEDBB7AB)
+ float_vector32 (__svml_stan_common_data_avx2, _sP0, 0x3F7FFFFC)
+ float_vector32 (__svml_stan_common_data_avx2, _sRangeReductionVal, 0x46010000)
+ float_vector32 (__svml_stan_common_data_avx2, _Low16, 0x0000ffff)
+ float_vector32 (__svml_stan_common_data_avx2, _SH_FLT_1, 0x47400000)
+ float_vector32 (__svml_stan_common_data_avx2, _SH_FLT_2, 0x28800000)
+ float_vector32 (__svml_stan_common_data_avx2, _Low18, 0x0003ffff)
+ float_vector32 (__svml_stan_common_data_avx2, _Low9, 0x000001ff)
+ float_vector32 (__svml_stan_common_data_avx2, _SH_FLT_3, 0x34000000)
+ float_vector32 (__svml_stan_common_data_avx2, _SH_FLT_4, 0x40c90fdb)
+ float_vector32 (__svml_stan_common_data_avx2, _Low7, 0x0000007f)
+
+ /* _Coeffs Breakpoint B = 0 * pi/128, function tan(B + x). */
+ float_block (__svml_stan_common_data_avx2, _Coeffs,
+ 0x3FC90FDB, /* B' = pi/2 - B (high single). */
+ 0xB33BBD2E, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x00000000, /* c0 (high single). */
+ 0x00000000, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x00000000, /* c1 (low single). */
+ 0x00000000, /* c2. */
+ 0x3EAAACDD, /* c3. */
+ 0x00000000, /* c4. */
+ 0x3FC5EB9B, /* B' = pi/2 - B (high single). */
+ 0x32DE638C, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3CC91A31, /* c0 (high single). */
+ 0x2F8E8D1A, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3A1DFA00, /* c1 (low single). */
+ 0x3CC9392D, /* c2. */
+ 0x3EAB1889, /* c3. */
+ 0x3C885D3B, /* c4. */
+ 0x3FC2C75C, /* B' = pi/2 - B (high single). */
+ 0xB2CBBE8A, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3D49393C, /* c0 (high single). */
+ 0x30A39F5B, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3B1E2B00, /* c1 (low single). */
+ 0x3D49B5D4, /* c2. */
+ 0x3EAC4F10, /* c3. */
+ 0x3CFD9425, /* c4. */
+ 0x3FBFA31C, /* B' = pi/2 - B (high single). */
+ 0x33450FB0, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3D9711CE, /* c0 (high single). */
+ 0x314FEB28, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3BB24C00, /* c1 (low single). */
+ 0x3D97E43A, /* c2. */
+ 0x3EAE6A89, /* c3. */
+ 0x3D4D07E0, /* c4. */
+ 0x3FBC7EDD, /* B' = pi/2 - B (high single). */
+ 0xB1800ADD, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3DC9B5DC, /* c0 (high single). */
+ 0x3145AD86, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3C1EEF20, /* c1 (low single). */
+ 0x3DCBAAEA, /* c2. */
+ 0x3EB14E5E, /* c3. */
+ 0x3D858BB2, /* c4. */
+ 0x3FB95A9E, /* B' = pi/2 - B (high single). */
+ 0xB3651267, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3DFC98C2, /* c0 (high single). */
+ 0xB0AE525C, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3C793D20, /* c1 (low single). */
+ 0x3E003845, /* c2. */
+ 0x3EB5271F, /* c3. */
+ 0x3DAC669E, /* c4. */
+ 0x3FB6365E, /* B' = pi/2 - B (high single). */
+ 0x328BB91C, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3E17E564, /* c0 (high single). */
+ 0xB1C5A2E4, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3CB440D0, /* c1 (low single). */
+ 0x3E1B3D00, /* c2. */
+ 0x3EB9F664, /* c3. */
+ 0x3DD647C0, /* c4. */
+ 0x3FB3121F, /* B' = pi/2 - B (high single). */
+ 0xB30F347D, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3E31AE4D, /* c0 (high single). */
+ 0xB1F32251, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3CF6A500, /* c1 (low single). */
+ 0x3E3707DA, /* c2. */
+ 0x3EBFA489, /* c3. */
+ 0x3DFBD9C7, /* c4. */
+ 0x3FAFEDDF, /* B' = pi/2 - B (high single). */
+ 0x331BBA77, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3E4BAFAF, /* c0 (high single). */
+ 0x2F2A29E0, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D221018, /* c1 (low single). */
+ 0x3E53BED0, /* c2. */
+ 0x3EC67E26, /* c3. */
+ 0x3E1568E2, /* c4. */
+ 0x3FACC9A0, /* B' = pi/2 - B (high single). */
+ 0xB2655A50, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3E65F267, /* c0 (high single). */
+ 0x31B4B1DF, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D4E8B90, /* c1 (low single). */
+ 0x3E718ACA, /* c2. */
+ 0x3ECE7164, /* c3. */
+ 0x3E2DC161, /* c4. */
+ 0x3FA9A560, /* B' = pi/2 - B (high single). */
+ 0x33719861, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3E803FD4, /* c0 (high single). */
+ 0xB2279E66, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D807FC8, /* c1 (low single). */
+ 0x3E884BD4, /* c2. */
+ 0x3ED7812D, /* c3. */
+ 0x3E4636EB, /* c4. */
+ 0x3FA68121, /* B' = pi/2 - B (high single). */
+ 0x31E43AAC, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3E8DB082, /* c0 (high single). */
+ 0xB132A234, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D9CD7D0, /* c1 (low single). */
+ 0x3E988A60, /* c2. */
+ 0x3EE203E3, /* c3. */
+ 0x3E63582C, /* c4. */
+ 0x3FA35CE2, /* B' = pi/2 - B (high single). */
+ 0xB33889B6, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3E9B5042, /* c0 (high single). */
+ 0xB22A3AEE, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3DBC7490, /* c1 (low single). */
+ 0x3EA99AF5, /* c2. */
+ 0x3EEDE107, /* c3. */
+ 0x3E80E9AA, /* c4. */
+ 0x3FA038A2, /* B' = pi/2 - B (high single). */
+ 0x32E4CA7E, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3EA92457, /* c0 (high single). */
+ 0x30B80830, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3DDF8200, /* c1 (low single). */
+ 0x3EBB99E9, /* c2. */
+ 0x3EFB4AA8, /* c3. */
+ 0x3E9182BE, /* c4. */
+ 0x3F9D1463, /* B' = pi/2 - B (high single). */
+ 0xB2C55799, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3EB73250, /* c0 (high single). */
+ 0xB2028823, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E0318F8, /* c1 (low single). */
+ 0x3ECEA678, /* c2. */
+ 0x3F053C67, /* c3. */
+ 0x3EA41E53, /* c4. */
+ 0x3F99F023, /* B' = pi/2 - B (high single). */
+ 0x33484328, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3EC5800D, /* c0 (high single). */
+ 0xB214C3C1, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E185E54, /* c1 (low single). */
+ 0x3EE2E342, /* c2. */
+ 0x3F0DCA73, /* c3. */
+ 0x3EB8CC21, /* c4. */
+ 0x3F96CBE4, /* B' = pi/2 - B (high single). */
+ 0xB14CDE2E, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3ED413CD, /* c0 (high single). */
+ 0xB1C06152, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E2FB0CC, /* c1 (low single). */
+ 0x3EF876CB, /* c2. */
+ 0x3F177807, /* c3. */
+ 0x3ED08437, /* c4. */
+ 0x3F93A7A5, /* B' = pi/2 - B (high single). */
+ 0xB361DEEE, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3EE2F439, /* c0 (high single). */
+ 0xB1F4399E, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E49341C, /* c1 (low single). */
+ 0x3F07C61A, /* c2. */
+ 0x3F22560F, /* c3. */
+ 0x3EEAA81E, /* c4. */
+ 0x3F908365, /* B' = pi/2 - B (high single). */
+ 0x3292200D, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3EF22870, /* c0 (high single). */
+ 0x325271F4, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E65107A, /* c1 (low single). */
+ 0x3F1429F0, /* c2. */
+ 0x3F2E8AFC, /* c3. */
+ 0x3F040498, /* c4. */
+ 0x3F8D5F26, /* B' = pi/2 - B (high single). */
+ 0xB30C0105, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F00DC0D, /* c0 (high single). */
+ 0xB214AF72, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E81B994, /* c1 (low single). */
+ 0x3F218233, /* c2. */
+ 0x3F3C4531, /* c3. */
+ 0x3F149688, /* c4. */
+ 0x3F8A3AE6, /* B' = pi/2 - B (high single). */
+ 0x331EEDF0, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F08D5B9, /* c0 (high single). */
+ 0xB25EF98E, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E92478D, /* c1 (low single). */
+ 0x3F2FEDC9, /* c2. */
+ 0x3F4BCD58, /* c3. */
+ 0x3F27AE9E, /* c4. */
+ 0x3F8716A7, /* B' = pi/2 - B (high single). */
+ 0xB2588C6D, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F1105AF, /* c0 (high single). */
+ 0x32F045B0, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EA44EE2, /* c1 (low single). */
+ 0x3F3F8FDB, /* c2. */
+ 0x3F5D3FD0, /* c3. */
+ 0x3F3D0A23, /* c4. */
+ 0x3F83F267, /* B' = pi/2 - B (high single). */
+ 0x3374CBD9, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F1970C4, /* c0 (high single). */
+ 0x32904848, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EB7EFF8, /* c1 (low single). */
+ 0x3F50907C, /* c2. */
+ 0x3F710FEA, /* c3. */
+ 0x3F561FED, /* c4. */
+ 0x3F80CE28, /* B' = pi/2 - B (high single). */
+ 0x31FDD672, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F221C37, /* c0 (high single). */
+ 0xB20C61DC, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3ECD4F71, /* c1 (low single). */
+ 0x3F631DAA, /* c2. */
+ 0x3F83B471, /* c3. */
+ 0x3F7281EA, /* c4. */
+ 0x3F7B53D1, /* B' = pi/2 - B (high single). */
+ 0x32955386, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F2B0DC1, /* c0 (high single). */
+ 0x32AB7EBA, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EE496C2, /* c1 (low single). */
+ 0x3F776C40, /* c2. */
+ 0x3F9065C1, /* c3. */
+ 0x3F89AFB6, /* c4. */
+ 0x3F750B52, /* B' = pi/2 - B (high single). */
+ 0x32EB316F, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F344BA9, /* c0 (high single). */
+ 0xB2B8B0EA, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EFDF4F7, /* c1 (low single). */
+ 0x3F86DCA8, /* c2. */
+ 0x3F9ED53B, /* c3. */
+ 0x3F9CBEDE, /* c4. */
+ 0x3F6EC2D4, /* B' = pi/2 - B (high single). */
+ 0xB2BEF0A7, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F3DDCCF, /* c0 (high single). */
+ 0x32D29606, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBEE6606F, /* c1 (low single). */
+ 0x3F9325D6, /* c2. */
+ 0x3FAF4E69, /* c3. */
+ 0x3FB3080C, /* c4. */
+ 0x3F687A55, /* B' = pi/2 - B (high single). */
+ 0xB252257B, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F47C8CC, /* c0 (high single). */
+ 0xB200F51A, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBEC82C6C, /* c1 (low single). */
+ 0x3FA0BAE9, /* c2. */
+ 0x3FC2252F, /* c3. */
+ 0x3FCD24C7, /* c4. */
+ 0x3F6231D6, /* B' = pi/2 - B (high single). */
+ 0xB119A6A2, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F521801, /* c0 (high single). */
+ 0x32AE4178, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBEA72938, /* c1 (low single). */
+ 0x3FAFCC22, /* c2. */
+ 0x3FD7BD4A, /* c3. */
+ 0x3FEBB01B, /* c4. */
+ 0x3F5BE957, /* B' = pi/2 - B (high single). */
+ 0x3205522A, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F5CD3BE, /* c0 (high single). */
+ 0x31460308, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBE8306C5, /* c1 (low single). */
+ 0x3FC09232, /* c2. */
+ 0x3FF09632, /* c3. */
+ 0x4007DB00, /* c4. */
+ 0x3F55A0D8, /* B' = pi/2 - B (high single). */
+ 0x329886FF, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F68065E, /* c0 (high single). */
+ 0x32670D1A, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBE36D1D6, /* c1 (low single). */
+ 0x3FD35007, /* c2. */
+ 0x4006A861, /* c3. */
+ 0x401D4BDA, /* c4. */
+ 0x3F4F5859, /* B' = pi/2 - B (high single). */
+ 0x32EE64E8, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0x3F73BB75, /* c0 (high single). */
+ 0x32FC908D, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBDBF94B0, /* c1 (low single). */
+ 0x3FE8550F, /* c2. */
+ 0x40174F67, /* c3. */
+ 0x4036C608, /* c4. */
+ 0x3F490FDB, /* B' = pi/2 - B (high single). */
+ 0xB2BBBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE8BE60E, /* c0 (high single). */
+ 0x320D8D84, /* c0 (low single). */
+ 0x3F000000, /* c1 (high 1 bit). */
+ 0xBDF817B1, /* c1 (low single). */
+ 0xBD8345EB, /* c2. */
+ 0x3D1DFDAC, /* c3. */
+ 0xBC52CF6F, /* c4. */
+ 0x3F42C75C, /* B' = pi/2 - B (high single). */
+ 0xB24BBE8A, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE87283F, /* c0 (high single). */
+ 0xB268B966, /* c0 (low single). */
+ 0x3F000000, /* c1 (high 1 bit). */
+ 0xBDFE6529, /* c1 (low single). */
+ 0xBD7B1953, /* c2. */
+ 0x3D18E109, /* c3. */
+ 0xBC4570B0, /* c4. */
+ 0x3F3C7EDD, /* B' = pi/2 - B (high single). */
+ 0xB1000ADD, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE827420, /* c0 (high single). */
+ 0x320B8B4D, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DFB9428, /* c1 (low single). */
+ 0xBD7002B4, /* c2. */
+ 0x3D142A6C, /* c3. */
+ 0xBC3A47FF, /* c4. */
+ 0x3F36365E, /* B' = pi/2 - B (high single). */
+ 0x320BB91C, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE7B9282, /* c0 (high single). */
+ 0xB13383D2, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DF5D211, /* c1 (low single). */
+ 0xBD6542B3, /* c2. */
+ 0x3D0FE5E5, /* c3. */
+ 0xBC31FB14, /* c4. */
+ 0x3F2FEDDF, /* B' = pi/2 - B (high single). */
+ 0x329BBA77, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE724E73, /* c0 (high single). */
+ 0x3120C3E2, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DF05283, /* c1 (low single). */
+ 0xBD5AD45E, /* c2. */
+ 0x3D0BAFBF, /* c3. */
+ 0xBC27B8BB, /* c4. */
+ 0x3F29A560, /* B' = pi/2 - B (high single). */
+ 0x32F19861, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE691B44, /* c0 (high single). */
+ 0x31F18936, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DEB138B, /* c1 (low single). */
+ 0xBD50B2F7, /* c2. */
+ 0x3D07BE3A, /* c3. */
+ 0xBC1E46A7, /* c4. */
+ 0x3F235CE2, /* B' = pi/2 - B (high single). */
+ 0xB2B889B6, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE5FF82C, /* c0 (high single). */
+ 0xB170723A, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DE61354, /* c1 (low single). */
+ 0xBD46DA06, /* c2. */
+ 0x3D0401F8, /* c3. */
+ 0xBC14E013, /* c4. */
+ 0x3F1D1463, /* B' = pi/2 - B (high single). */
+ 0xB2455799, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE56E46B, /* c0 (high single). */
+ 0x31E3F001, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DE15025, /* c1 (low single). */
+ 0xBD3D4550, /* c2. */
+ 0x3D00462D, /* c3. */
+ 0xBC092C98, /* c4. */
+ 0x3F16CBE4, /* B' = pi/2 - B (high single). */
+ 0xB0CCDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE4DDF41, /* c0 (high single). */
+ 0xB1AEA094, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DDCC85C, /* c1 (low single). */
+ 0xBD33F0BE, /* c2. */
+ 0x3CFA23B0, /* c3. */
+ 0xBC01FCF7, /* c4. */
+ 0x3F108365, /* B' = pi/2 - B (high single). */
+ 0x3212200D, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE44E7F8, /* c0 (high single). */
+ 0xB1CAA3CB, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DD87A74, /* c1 (low single). */
+ 0xBD2AD885, /* c2. */
+ 0x3CF3C785, /* c3. */
+ 0xBBF1E348, /* c4. */
+ 0x3F0A3AE6, /* B' = pi/2 - B (high single). */
+ 0x329EEDF0, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE3BFDDC, /* c0 (high single). */
+ 0xB132521A, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DD464FC, /* c1 (low single). */
+ 0xBD21F8F1, /* c2. */
+ 0x3CEE3076, /* c3. */
+ 0xBBE6D263, /* c4. */
+ 0x3F03F267, /* B' = pi/2 - B (high single). */
+ 0x32F4CBD9, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE33203E, /* c0 (high single). */
+ 0x31FEF5BE, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DD0869C, /* c1 (low single). */
+ 0xBD194E8C, /* c2. */
+ 0x3CE8DCA9, /* c3. */
+ 0xBBDADA55, /* c4. */
+ 0x3EFB53D1, /* B' = pi/2 - B (high single). */
+ 0x32155386, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE2A4E71, /* c0 (high single). */
+ 0xB19CFCEC, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DCCDE11, /* c1 (low single). */
+ 0xBD10D605, /* c2. */
+ 0x3CE382A7, /* c3. */
+ 0xBBC8BD97, /* c4. */
+ 0x3EEEC2D4, /* B' = pi/2 - B (high single). */
+ 0xB23EF0A7, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE2187D0, /* c0 (high single). */
+ 0xB1B7C7F7, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC96A2B, /* c1 (low single). */
+ 0xBD088C22, /* c2. */
+ 0x3CDE950E, /* c3. */
+ 0xBBB89AD1, /* c4. */
+ 0x3EE231D6, /* B' = pi/2 - B (high single). */
+ 0xB099A6A2, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE18CBB7, /* c0 (high single). */
+ 0xAFE28430, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC629CE, /* c1 (low single). */
+ 0xBD006DCD, /* c2. */
+ 0x3CDA5A2C, /* c3. */
+ 0xBBB0B3D2, /* c4. */
+ 0x3ED5A0D8, /* B' = pi/2 - B (high single). */
+ 0x321886FF, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE101985, /* c0 (high single). */
+ 0xB02FB2B8, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC31BF3, /* c1 (low single). */
+ 0xBCF0F04D, /* c2. */
+ 0x3CD60BC7, /* c3. */
+ 0xBBA138BA, /* c4. */
+ 0x3EC90FDB, /* B' = pi/2 - B (high single). */
+ 0xB23BBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBE07709D, /* c0 (high single). */
+ 0xB18A2A83, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC03FA2, /* c1 (low single). */
+ 0xBCE15096, /* c2. */
+ 0x3CD26472, /* c3. */
+ 0xBB9A1270, /* c4. */
+ 0x3EBC7EDD, /* B' = pi/2 - B (high single). */
+ 0xB0800ADD, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBDFDA0CB, /* c0 (high single). */
+ 0x2F14FCA0, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DBD93F7, /* c1 (low single). */
+ 0xBCD1F71B, /* c2. */
+ 0x3CCEDD2B, /* c3. */
+ 0xBB905946, /* c4. */
+ 0x3EAFEDDF, /* B' = pi/2 - B (high single). */
+ 0x321BBA77, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBDEC708C, /* c0 (high single). */
+ 0xB14895C4, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DBB181E, /* c1 (low single). */
+ 0xBCC2DEA6, /* c2. */
+ 0x3CCB5027, /* c3. */
+ 0xBB7F3969, /* c4. */
+ 0x3EA35CE2, /* B' = pi/2 - B (high single). */
+ 0xB23889B6, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBDDB4F55, /* c0 (high single). */
+ 0x30F6437E, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB8CB52, /* c1 (low single). */
+ 0xBCB40210, /* c2. */
+ 0x3CC82D45, /* c3. */
+ 0xBB643075, /* c4. */
+ 0x3E96CBE4, /* B' = pi/2 - B (high single). */
+ 0xB04CDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBDCA3BFF, /* c0 (high single). */
+ 0x311C95EA, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB6ACDE, /* c1 (low single). */
+ 0xBCA55C5B, /* c2. */
+ 0x3CC5BC04, /* c3. */
+ 0xBB63A969, /* c4. */
+ 0x3E8A3AE6, /* B' = pi/2 - B (high single). */
+ 0x321EEDF0, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBDB93569, /* c0 (high single). */
+ 0xAFB9ED00, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB4BC1F, /* c1 (low single). */
+ 0xBC96E905, /* c2. */
+ 0x3CC2E6F5, /* c3. */
+ 0xBB3E10A6, /* c4. */
+ 0x3E7B53D1, /* B' = pi/2 - B (high single). */
+ 0x31955386, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBDA83A77, /* c0 (high single). */
+ 0x316D967A, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB2F87C, /* c1 (low single). */
+ 0xBC88A31F, /* c2. */
+ 0x3CC0E763, /* c3. */
+ 0xBB3F1666, /* c4. */
+ 0x3E6231D6, /* B' = pi/2 - B (high single). */
+ 0xB019A6A2, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBD974A0D, /* c0 (high single). */
+ 0xB14F365B, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB1616F, /* c1 (low single). */
+ 0xBC750CD8, /* c2. */
+ 0x3CBEB595, /* c3. */
+ 0xBB22B883, /* c4. */
+ 0x3E490FDB, /* B' = pi/2 - B (high single). */
+ 0xB1BBBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBD866317, /* c0 (high single). */
+ 0xAFF02140, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAFF67D, /* c1 (low single). */
+ 0xBC591CD0, /* c2. */
+ 0x3CBCBEAD, /* c3. */
+ 0xBB04BBEC, /* c4. */
+ 0x3E2FEDDF, /* B' = pi/2 - B (high single). */
+ 0x319BBA77, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBD6B08FF, /* c0 (high single). */
+ 0xB0EED236, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAEB739, /* c1 (low single). */
+ 0xBC3D6D51, /* c2. */
+ 0x3CBB485D, /* c3. */
+ 0xBAFFF5BA, /* c4. */
+ 0x3E16CBE4, /* B' = pi/2 - B (high single). */
+ 0xAFCCDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBD495A6C, /* c0 (high single). */
+ 0xB0A427BD, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DADA345, /* c1 (low single). */
+ 0xBC21F648, /* c2. */
+ 0x3CB9D1B4, /* c3. */
+ 0xBACB5567, /* c4. */
+ 0x3DFB53D1, /* B' = pi/2 - B (high single). */
+ 0x31155386, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBD27B856, /* c0 (high single). */
+ 0xB0F7EE91, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DACBA4E, /* c1 (low single). */
+ 0xBC06AEE3, /* c2. */
+ 0x3CB8E5DC, /* c3. */
+ 0xBAEC00EE, /* c4. */
+ 0x3DC90FDB, /* B' = pi/2 - B (high single). */
+ 0xB13BBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBD0620A3, /* c0 (high single). */
+ 0xB0ECAB40, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DABFC11, /* c1 (low single). */
+ 0xBBD7200F, /* c2. */
+ 0x3CB79475, /* c3. */
+ 0xBA2B0ADC, /* c4. */
+ 0x3D96CBE4, /* B' = pi/2 - B (high single). */
+ 0xAF4CDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBCC92278, /* c0 (high single). */
+ 0x302F2E68, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAB6854, /* c1 (low single). */
+ 0xBBA1214F, /* c2. */
+ 0x3CB6C1E9, /* c3. */
+ 0x3843C2F3, /* c4. */
+ 0x3D490FDB, /* B' = pi/2 - B (high single). */
+ 0xB0BBBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBC861015, /* c0 (high single). */
+ 0xAFD68E2E, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAAFEEB, /* c1 (low single). */
+ 0xBB569F3F, /* c2. */
+ 0x3CB6A84E, /* c3. */
+ 0xBAC64194, /* c4. */
+ 0x3CC90FDB, /* B' = pi/2 - B (high single). */
+ 0xB03BBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0xBC060BF3, /* c0 (high single). */
+ 0x2FE251AE, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAABFB9, /* c1 (low single). */
+ 0xBAD67C60, /* c2. */
+ 0x3CB64CA5, /* c3. */
+ 0xBACDE881, /* c4. */
+ 0x00000000, /* B' = pi/2 - B (high single). */
+ 0x00000000, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x00000000, /* c0 (high single). */
+ 0x00000000, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAAAAAB, /* c1 (low single). */
+ 0x00000000, /* c2. */
+ 0x3CB5E28B, /* c3. */
+ 0x00000000, /* c4. */
+ 0xBCC90FDB, /* B' = pi/2 - B (high single). */
+ 0x303BBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3C060BF3, /* c0 (high single). */
+ 0xAFE251AE, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAABFB9, /* c1 (low single). */
+ 0x3AD67C60, /* c2. */
+ 0x3CB64CA5, /* c3. */
+ 0x3ACDE881, /* c4. */
+ 0xBD490FDB, /* B' = pi/2 - B (high single). */
+ 0x30BBBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3C861015, /* c0 (high single). */
+ 0x2FD68E2E, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAAFEEB, /* c1 (low single). */
+ 0x3B569F3F, /* c2. */
+ 0x3CB6A84E, /* c3. */
+ 0x3AC64194, /* c4. */
+ 0xBD96CBE4, /* B' = pi/2 - B (high single). */
+ 0x2F4CDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3CC92278, /* c0 (high single). */
+ 0xB02F2E68, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAB6854, /* c1 (low single). */
+ 0x3BA1214F, /* c2. */
+ 0x3CB6C1E9, /* c3. */
+ 0xB843C2F2, /* c4. */
+ 0xBDC90FDB, /* B' = pi/2 - B (high single). */
+ 0x313BBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3D0620A3, /* c0 (high single). */
+ 0x30ECAB40, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DABFC11, /* c1 (low single). */
+ 0x3BD7200F, /* c2. */
+ 0x3CB79475, /* c3. */
+ 0x3A2B0ADC, /* c4. */
+ 0xBDFB53D1, /* B' = pi/2 - B (high single). */
+ 0xB1155386, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3D27B856, /* c0 (high single). */
+ 0x30F7EE91, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DACBA4E, /* c1 (low single). */
+ 0x3C06AEE3, /* c2. */
+ 0x3CB8E5DC, /* c3. */
+ 0x3AEC00EE, /* c4. */
+ 0xBE16CBE4, /* B' = pi/2 - B (high single). */
+ 0x2FCCDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3D495A6C, /* c0 (high single). */
+ 0x30A427BD, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DADA345, /* c1 (low single). */
+ 0x3C21F648, /* c2. */
+ 0x3CB9D1B4, /* c3. */
+ 0x3ACB5567, /* c4. */
+ 0xBE2FEDDF, /* B' = pi/2 - B (high single). */
+ 0xB19BBA77, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3D6B08FF, /* c0 (high single). */
+ 0x30EED236, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAEB739, /* c1 (low single). */
+ 0x3C3D6D51, /* c2. */
+ 0x3CBB485D, /* c3. */
+ 0x3AFFF5BA, /* c4. */
+ 0xBE490FDB, /* B' = pi/2 - B (high single). */
+ 0x31BBBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3D866317, /* c0 (high single). */
+ 0x2FF02140, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DAFF67D, /* c1 (low single). */
+ 0x3C591CD0, /* c2. */
+ 0x3CBCBEAD, /* c3. */
+ 0x3B04BBEC, /* c4. */
+ 0xBE6231D6, /* B' = pi/2 - B (high single). */
+ 0x3019A6A2, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3D974A0D, /* c0 (high single). */
+ 0x314F365B, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB1616F, /* c1 (low single). */
+ 0x3C750CD8, /* c2. */
+ 0x3CBEB595, /* c3. */
+ 0x3B22B883, /* c4. */
+ 0xBE7B53D1, /* B' = pi/2 - B (high single). */
+ 0xB1955386, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3DA83A77, /* c0 (high single). */
+ 0xB16D967A, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB2F87C, /* c1 (low single). */
+ 0x3C88A31F, /* c2. */
+ 0x3CC0E763, /* c3. */
+ 0x3B3F1666, /* c4. */
+ 0xBE8A3AE6, /* B' = pi/2 - B (high single). */
+ 0xB21EEDF0, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3DB93569, /* c0 (high single). */
+ 0x2FB9ED00, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB4BC1F, /* c1 (low single). */
+ 0x3C96E905, /* c2. */
+ 0x3CC2E6F5, /* c3. */
+ 0x3B3E10A6, /* c4. */
+ 0xBE96CBE4, /* B' = pi/2 - B (high single). */
+ 0x304CDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3DCA3BFF, /* c0 (high single). */
+ 0xB11C95EA, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB6ACDE, /* c1 (low single). */
+ 0x3CA55C5B, /* c2. */
+ 0x3CC5BC04, /* c3. */
+ 0x3B63A969, /* c4. */
+ 0xBEA35CE2, /* B' = pi/2 - B (high single). */
+ 0x323889B6, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3DDB4F55, /* c0 (high single). */
+ 0xB0F6437E, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DB8CB52, /* c1 (low single). */
+ 0x3CB40210, /* c2. */
+ 0x3CC82D45, /* c3. */
+ 0x3B643075, /* c4. */
+ 0xBEAFEDDF, /* B' = pi/2 - B (high single). */
+ 0xB21BBA77, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3DEC708C, /* c0 (high single). */
+ 0x314895C4, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DBB181E, /* c1 (low single). */
+ 0x3CC2DEA6, /* c2. */
+ 0x3CCB5027, /* c3. */
+ 0x3B7F3969, /* c4. */
+ 0xBEBC7EDD, /* B' = pi/2 - B (high single). */
+ 0x30800ADD, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3DFDA0CB, /* c0 (high single). */
+ 0xAF14FCA0, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DBD93F7, /* c1 (low single). */
+ 0x3CD1F71B, /* c2. */
+ 0x3CCEDD2B, /* c3. */
+ 0x3B905946, /* c4. */
+ 0xBEC90FDB, /* B' = pi/2 - B (high single). */
+ 0x323BBD2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E07709D, /* c0 (high single). */
+ 0x318A2A83, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC03FA2, /* c1 (low single). */
+ 0x3CE15096, /* c2. */
+ 0x3CD26472, /* c3. */
+ 0x3B9A1270, /* c4. */
+ 0xBED5A0D8, /* B' = pi/2 - B (high single). */
+ 0xB21886FF, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E101985, /* c0 (high single). */
+ 0x302FB2B8, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC31BF3, /* c1 (low single). */
+ 0x3CF0F04D, /* c2. */
+ 0x3CD60BC7, /* c3. */
+ 0x3BA138BA, /* c4. */
+ 0xBEE231D6, /* B' = pi/2 - B (high single). */
+ 0x3099A6A2, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E18CBB7, /* c0 (high single). */
+ 0x2FE28430, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC629CE, /* c1 (low single). */
+ 0x3D006DCD, /* c2. */
+ 0x3CDA5A2C, /* c3. */
+ 0x3BB0B3D2, /* c4. */
+ 0xBEEEC2D4, /* B' = pi/2 - B (high single). */
+ 0x323EF0A7, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E2187D0, /* c0 (high single). */
+ 0x31B7C7F7, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DC96A2B, /* c1 (low single). */
+ 0x3D088C22, /* c2. */
+ 0x3CDE950E, /* c3. */
+ 0x3BB89AD1, /* c4. */
+ 0xBEFB53D1, /* B' = pi/2 - B (high single). */
+ 0xB2155386, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E2A4E71, /* c0 (high single). */
+ 0x319CFCEC, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DCCDE11, /* c1 (low single). */
+ 0x3D10D605, /* c2. */
+ 0x3CE382A7, /* c3. */
+ 0x3BC8BD97, /* c4. */
+ 0xBF03F267, /* B' = pi/2 - B (high single). */
+ 0xB2F4CBD9, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E33203E, /* c0 (high single). */
+ 0xB1FEF5BE, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DD0869C, /* c1 (low single). */
+ 0x3D194E8C, /* c2. */
+ 0x3CE8DCA9, /* c3. */
+ 0x3BDADA55, /* c4. */
+ 0xBF0A3AE6, /* B' = pi/2 - B (high single). */
+ 0xB29EEDF0, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E3BFDDC, /* c0 (high single). */
+ 0x3132521A, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DD464FC, /* c1 (low single). */
+ 0x3D21F8F1, /* c2. */
+ 0x3CEE3076, /* c3. */
+ 0x3BE6D263, /* c4. */
+ 0xBF108365, /* B' = pi/2 - B (high single). */
+ 0xB212200D, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E44E7F8, /* c0 (high single). */
+ 0x31CAA3CB, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DD87A74, /* c1 (low single). */
+ 0x3D2AD885, /* c2. */
+ 0x3CF3C785, /* c3. */
+ 0x3BF1E348, /* c4. */
+ 0xBF16CBE4, /* B' = pi/2 - B (high single). */
+ 0x30CCDE2E, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E4DDF41, /* c0 (high single). */
+ 0x31AEA094, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DDCC85C, /* c1 (low single). */
+ 0x3D33F0BE, /* c2. */
+ 0x3CFA23B0, /* c3. */
+ 0x3C01FCF7, /* c4. */
+ 0xBF1D1463, /* B' = pi/2 - B (high single). */
+ 0x32455799, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E56E46B, /* c0 (high single). */
+ 0xB1E3F001, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DE15025, /* c1 (low single). */
+ 0x3D3D4550, /* c2. */
+ 0x3D00462D, /* c3. */
+ 0x3C092C98, /* c4. */
+ 0xBF235CE2, /* B' = pi/2 - B (high single). */
+ 0x32B889B6, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E5FF82C, /* c0 (high single). */
+ 0x3170723A, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DE61354, /* c1 (low single). */
+ 0x3D46DA06, /* c2. */
+ 0x3D0401F8, /* c3. */
+ 0x3C14E013, /* c4. */
+ 0xBF29A560, /* B' = pi/2 - B (high single). */
+ 0xB2F19861, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E691B44, /* c0 (high single). */
+ 0xB1F18936, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DEB138B, /* c1 (low single). */
+ 0x3D50B2F7, /* c2. */
+ 0x3D07BE3A, /* c3. */
+ 0x3C1E46A7, /* c4. */
+ 0xBF2FEDDF, /* B' = pi/2 - B (high single). */
+ 0xB29BBA77, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E724E73, /* c0 (high single). */
+ 0xB120C3E2, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DF05283, /* c1 (low single). */
+ 0x3D5AD45E, /* c2. */
+ 0x3D0BAFBF, /* c3. */
+ 0x3C27B8BB, /* c4. */
+ 0xBF36365E, /* B' = pi/2 - B (high single). */
+ 0xB20BB91C, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E7B9282, /* c0 (high single). */
+ 0x313383D2, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DF5D211, /* c1 (low single). */
+ 0x3D6542B3, /* c2. */
+ 0x3D0FE5E5, /* c3. */
+ 0x3C31FB14, /* c4. */
+ 0xBF3C7EDD, /* B' = pi/2 - B (high single). */
+ 0x31000ADD, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E827420, /* c0 (high single). */
+ 0xB20B8B4D, /* c0 (low single). */
+ 0x3E800000, /* c1 (high 1 bit). */
+ 0x3DFB9428, /* c1 (low single). */
+ 0x3D7002B4, /* c2. */
+ 0x3D142A6C, /* c3. */
+ 0x3C3A47FF, /* c4. */
+ 0xBF42C75C, /* B' = pi/2 - B (high single). */
+ 0x324BBE8A, /* B' = pi/2 - B (low single). */
+ 0x3F800000, /* tau (1 for cot path). */
+ 0x3E87283F, /* c0 (high single). */
+ 0x3268B966, /* c0 (low single). */
+ 0x3F000000, /* c1 (high 1 bit). */
+ 0xBDFE6529, /* c1 (low single). */
+ 0x3D7B1953, /* c2. */
+ 0x3D18E109, /* c3. */
+ 0x3C4570B0, /* c4. */
+ 0xBF490FDB, /* B' = pi/2 - B (high single). */
+ 0x32BBBD2E, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF800000, /* c0 (high single). */
+ 0x2B410000, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xB3000000, /* c1 (low single). */
+ 0xC0000000, /* c2. */
+ 0x402AB7C8, /* c3. */
+ 0xC05561DB, /* c4. */
+ 0xBF4F5859, /* B' = pi/2 - B (high single). */
+ 0xB2EE64E8, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF73BB75, /* c0 (high single). */
+ 0xB2FC908D, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBDBF94B0, /* c1 (low single). */
+ 0xBFE8550F, /* c2. */
+ 0x40174F67, /* c3. */
+ 0xC036C608, /* c4. */
+ 0xBF55A0D8, /* B' = pi/2 - B (high single). */
+ 0xB29886FF, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF68065E, /* c0 (high single). */
+ 0xB2670D1A, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBE36D1D6, /* c1 (low single). */
+ 0xBFD35007, /* c2. */
+ 0x4006A861, /* c3. */
+ 0xC01D4BDA, /* c4. */
+ 0xBF5BE957, /* B' = pi/2 - B (high single). */
+ 0xB205522A, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF5CD3BE, /* c0 (high single). */
+ 0xB1460308, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBE8306C5, /* c1 (low single). */
+ 0xBFC09232, /* c2. */
+ 0x3FF09632, /* c3. */
+ 0xC007DB00, /* c4. */
+ 0xBF6231D6, /* B' = pi/2 - B (high single). */
+ 0x3119A6A2, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF521801, /* c0 (high single). */
+ 0xB2AE4178, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBEA72938, /* c1 (low single). */
+ 0xBFAFCC22, /* c2. */
+ 0x3FD7BD4A, /* c3. */
+ 0xBFEBB01B, /* c4. */
+ 0xBF687A55, /* B' = pi/2 - B (high single). */
+ 0x3252257B, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF47C8CC, /* c0 (high single). */
+ 0x3200F51A, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBEC82C6C, /* c1 (low single). */
+ 0xBFA0BAE9, /* c2. */
+ 0x3FC2252F, /* c3. */
+ 0xBFCD24C7, /* c4. */
+ 0xBF6EC2D4, /* B' = pi/2 - B (high single). */
+ 0x32BEF0A7, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF3DDCCF, /* c0 (high single). */
+ 0xB2D29606, /* c0 (low single). */
+ 0x40000000, /* c1 (high 1 bit). */
+ 0xBEE6606F, /* c1 (low single). */
+ 0xBF9325D6, /* c2. */
+ 0x3FAF4E69, /* c3. */
+ 0xBFB3080C, /* c4. */
+ 0xBF750B52, /* B' = pi/2 - B (high single). */
+ 0xB2EB316F, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF344BA9, /* c0 (high single). */
+ 0x32B8B0EA, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EFDF4F7, /* c1 (low single). */
+ 0xBF86DCA8, /* c2. */
+ 0x3F9ED53B, /* c3. */
+ 0xBF9CBEDE, /* c4. */
+ 0xBF7B53D1, /* B' = pi/2 - B (high single). */
+ 0xB2955386, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF2B0DC1, /* c0 (high single). */
+ 0xB2AB7EBA, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EE496C2, /* c1 (low single). */
+ 0xBF776C40, /* c2. */
+ 0x3F9065C1, /* c3. */
+ 0xBF89AFB6, /* c4. */
+ 0xBF80CE28, /* B' = pi/2 - B (high single). */
+ 0xB1FDD672, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF221C37, /* c0 (high single). */
+ 0x320C61DC, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3ECD4F71, /* c1 (low single). */
+ 0xBF631DAA, /* c2. */
+ 0x3F83B471, /* c3. */
+ 0xBF7281EA, /* c4. */
+ 0xBF83F267, /* B' = pi/2 - B (high single). */
+ 0xB374CBD9, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF1970C4, /* c0 (high single). */
+ 0xB2904848, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EB7EFF8, /* c1 (low single). */
+ 0xBF50907C, /* c2. */
+ 0x3F710FEA, /* c3. */
+ 0xBF561FED, /* c4. */
+ 0xBF8716A7, /* B' = pi/2 - B (high single). */
+ 0x32588C6D, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF1105AF, /* c0 (high single). */
+ 0xB2F045B0, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3EA44EE2, /* c1 (low single). */
+ 0xBF3F8FDB, /* c2. */
+ 0x3F5D3FD0, /* c3. */
+ 0xBF3D0A23, /* c4. */
+ 0xBF8A3AE6, /* B' = pi/2 - B (high single). */
+ 0xB31EEDF0, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF08D5B9, /* c0 (high single). */
+ 0x325EF98E, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E92478D, /* c1 (low single). */
+ 0xBF2FEDC9, /* c2. */
+ 0x3F4BCD58, /* c3. */
+ 0xBF27AE9E, /* c4. */
+ 0xBF8D5F26, /* B' = pi/2 - B (high single). */
+ 0x330C0105, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBF00DC0D, /* c0 (high single). */
+ 0x3214AF72, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E81B994, /* c1 (low single). */
+ 0xBF218233, /* c2. */
+ 0x3F3C4531, /* c3. */
+ 0xBF149688, /* c4. */
+ 0xBF908365, /* B' = pi/2 - B (high single). */
+ 0xB292200D, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBEF22870, /* c0 (high single). */
+ 0xB25271F4, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E65107A, /* c1 (low single). */
+ 0xBF1429F0, /* c2. */
+ 0x3F2E8AFC, /* c3. */
+ 0xBF040498, /* c4. */
+ 0xBF93A7A5, /* B' = pi/2 - B (high single). */
+ 0x3361DEEE, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBEE2F439, /* c0 (high single). */
+ 0x31F4399E, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E49341C, /* c1 (low single). */
+ 0xBF07C61A, /* c2. */
+ 0x3F22560F, /* c3. */
+ 0xBEEAA81E, /* c4. */
+ 0xBF96CBE4, /* B' = pi/2 - B (high single). */
+ 0x314CDE2E, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBED413CD, /* c0 (high single). */
+ 0x31C06152, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E2FB0CC, /* c1 (low single). */
+ 0xBEF876CB, /* c2. */
+ 0x3F177807, /* c3. */
+ 0xBED08437, /* c4. */
+ 0xBF99F023, /* B' = pi/2 - B (high single). */
+ 0xB3484328, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBEC5800D, /* c0 (high single). */
+ 0x3214C3C1, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E185E54, /* c1 (low single). */
+ 0xBEE2E342, /* c2. */
+ 0x3F0DCA73, /* c3. */
+ 0xBEB8CC21, /* c4. */
+ 0xBF9D1463, /* B' = pi/2 - B (high single). */
+ 0x32C55799, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBEB73250, /* c0 (high single). */
+ 0x32028823, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3E0318F8, /* c1 (low single). */
+ 0xBECEA678, /* c2. */
+ 0x3F053C67, /* c3. */
+ 0xBEA41E53, /* c4. */
+ 0xBFA038A2, /* B' = pi/2 - B (high single). */
+ 0xB2E4CA7E, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBEA92457, /* c0 (high single). */
+ 0xB0B80830, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3DDF8200, /* c1 (low single). */
+ 0xBEBB99E9, /* c2. */
+ 0x3EFB4AA8, /* c3. */
+ 0xBE9182BE, /* c4. */
+ 0xBFA35CE2, /* B' = pi/2 - B (high single). */
+ 0x333889B6, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBE9B5042, /* c0 (high single). */
+ 0x322A3AEE, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3DBC7490, /* c1 (low single). */
+ 0xBEA99AF5, /* c2. */
+ 0x3EEDE107, /* c3. */
+ 0xBE80E9AA, /* c4. */
+ 0xBFA68121, /* B' = pi/2 - B (high single). */
+ 0xB1E43AAC, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBE8DB082, /* c0 (high single). */
+ 0x3132A234, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D9CD7D0, /* c1 (low single). */
+ 0xBE988A60, /* c2. */
+ 0x3EE203E3, /* c3. */
+ 0xBE63582C, /* c4. */
+ 0xBFA9A560, /* B' = pi/2 - B (high single). */
+ 0xB3719861, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBE803FD4, /* c0 (high single). */
+ 0x32279E66, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D807FC8, /* c1 (low single). */
+ 0xBE884BD4, /* c2. */
+ 0x3ED7812D, /* c3. */
+ 0xBE4636EB, /* c4. */
+ 0xBFACC9A0, /* B' = pi/2 - B (high single). */
+ 0x32655A50, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBE65F267, /* c0 (high single). */
+ 0xB1B4B1DF, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D4E8B90, /* c1 (low single). */
+ 0xBE718ACA, /* c2. */
+ 0x3ECE7164, /* c3. */
+ 0xBE2DC161, /* c4. */
+ 0xBFAFEDDF, /* B' = pi/2 - B (high single). */
+ 0xB31BBA77, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBE4BAFAF, /* c0 (high single). */
+ 0xAF2A29E0, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3D221018, /* c1 (low single). */
+ 0xBE53BED0, /* c2. */
+ 0x3EC67E26, /* c3. */
+ 0xBE1568E2, /* c4. */
+ 0xBFB3121F, /* B' = pi/2 - B (high single). */
+ 0x330F347D, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBE31AE4D, /* c0 (high single). */
+ 0x31F32251, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3CF6A500, /* c1 (low single). */
+ 0xBE3707DA, /* c2. */
+ 0x3EBFA489, /* c3. */
+ 0xBDFBD9C7, /* c4. */
+ 0xBFB6365E, /* B' = pi/2 - B (high single). */
+ 0xB28BB91C, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBE17E564, /* c0 (high single). */
+ 0x31C5A2E4, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3CB440D0, /* c1 (low single). */
+ 0xBE1B3D00, /* c2. */
+ 0x3EB9F664, /* c3. */
+ 0xBDD647C0, /* c4. */
+ 0xBFB95A9E, /* B' = pi/2 - B (high single). */
+ 0x33651267, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBDFC98C2, /* c0 (high single). */
+ 0x30AE525C, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3C793D20, /* c1 (low single). */
+ 0xBE003845, /* c2. */
+ 0x3EB5271F, /* c3. */
+ 0xBDAC669E, /* c4. */
+ 0xBFBC7EDD, /* B' = pi/2 - B (high single). */
+ 0x31800ADD, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBDC9B5DC, /* c0 (high single). */
+ 0xB145AD86, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3C1EEF20, /* c1 (low single). */
+ 0xBDCBAAEA, /* c2. */
+ 0x3EB14E5E, /* c3. */
+ 0xBD858BB2, /* c4. */
+ 0xBFBFA31C, /* B' = pi/2 - B (high single). */
+ 0xB3450FB0, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBD9711CE, /* c0 (high single). */
+ 0xB14FEB28, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3BB24C00, /* c1 (low single). */
+ 0xBD97E43A, /* c2. */
+ 0x3EAE6A89, /* c3. */
+ 0xBD4D07E0, /* c4. */
+ 0xBFC2C75C, /* B' = pi/2 - B (high single). */
+ 0x32CBBE8A, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBD49393C, /* c0 (high single). */
+ 0xB0A39F5B, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3B1E2B00, /* c1 (low single). */
+ 0xBD49B5D4, /* c2. */
+ 0x3EAC4F10, /* c3. */
+ 0xBCFD9425, /* c4. */
+ 0xBFC5EB9B, /* B' = pi/2 - B (high single). */
+ 0xB2DE638C, /* B' = pi/2 - B (low single). */
+ 0x00000000, /* tau (1 for cot path). */
+ 0xBCC91A31, /* c0 (high single). */
+ 0xAF8E8D1A, /* c0 (low single). */
+ 0x3F800000, /* c1 (high 1 bit). */
+ 0x3A1DFA00, /* c1 (low single). */
+ 0xBCC9392D, /* c2. */
+ 0x3EAB1889, /* c3. */
+ 0xBC885D3B, /* c4. */
+ /* So its save to read 32 bytes past the end. */
+ 0x00000000,
+ 0x00000000,
+ 0x00000000,
+ 0x00000000,
+ 0x00000000,
+ 0x00000000,
+ 0x00000000,
+ 0x00000000)
+ .type __svml_stan_common_data_avx2, @object
+ .size __svml_stan_common_data_avx2, .-__svml_stan_common_data_avx2
+
+# endif
+#endif
+
+#if (defined AVX512_SHARED_OFFSETS) || (defined AVX512_SHARED_TABLE)
+
+# define _Reduction 0
+# define AVX512_SHARED_DATA(offset) \
+ ((offset) + (__svml_stan_common_data_avx512))
+
+# if (defined AVX512_SHARED_TABLE)
+
+ .section .rodata.evex512, "a"
+ .align 64
+ .globl __svml_stan_common_data_avx512
+__svml_stan_common_data_avx512:
+ float_block (__svml_stan_common_data_avx512, _Reduction,
+ /* P_hi P_med P_lo. */
+ 0x00000000, 0x00000000, 0x00000000, /* 0 */
+ 0x00000000, 0x00000000, 0x00000000, /* 1 */
+ 0x00000000, 0x00000000, 0x00000000, /* 2 */
+ 0x00000000, 0x00000000, 0x00000000, /* 3 */
+ 0x00000000, 0x00000000, 0x00000000, /* 4 */
+ 0x00000000, 0x00000000, 0x00000000, /* 5 */
+ 0x00000000, 0x00000000, 0x00000000, /* 6 */
+ 0x00000000, 0x00000000, 0x00000000, /* 7 */
+ 0x00000000, 0x00000000, 0x00000000, /* 8 */
+ 0x00000000, 0x00000000, 0x00000000, /* 9 */
+ 0x00000000, 0x00000000, 0x00000000, /* 10 */
+ 0x00000000, 0x00000000, 0x00000000, /* 11 */
+ 0x00000000, 0x00000000, 0x00000000, /* 12 */
+ 0x00000000, 0x00000000, 0x00000000, /* 13 */
+ 0x00000000, 0x00000000, 0x00000000, /* 14 */
+ 0x00000000, 0x00000000, 0x00000000, /* 15 */
+ 0x00000000, 0x00000000, 0x00000000, /* 16 */
+ 0x00000000, 0x00000000, 0x00000000, /* 17 */
+ 0x00000000, 0x00000000, 0x00000000, /* 18 */
+ 0x00000000, 0x00000000, 0x00000000, /* 19 */
+ 0x00000000, 0x00000000, 0x00000000, /* 20 */
+ 0x00000000, 0x00000000, 0x00000000, /* 21 */
+ 0x00000000, 0x00000000, 0x00000000, /* 22 */
+ 0x00000000, 0x00000000, 0x00000000, /* 23 */
+ 0x00000000, 0x00000000, 0x00000000, /* 24 */
+ 0x00000000, 0x00000000, 0x00000000, /* 25 */
+ 0x00000000, 0x00000000, 0x00000000, /* 26 */
+ 0x00000000, 0x00000000, 0x00000000, /* 27 */
+ 0x00000000, 0x00000000, 0x00000000, /* 28 */
+ 0x00000000, 0x00000000, 0x00000000, /* 29 */
+ 0x00000000, 0x00000000, 0x00000000, /* 30 */
+ 0x00000000, 0x00000000, 0x00000000, /* 31 */
+ 0x00000000, 0x00000000, 0x00000000, /* 32 */
+ 0x00000000, 0x00000000, 0x00000000, /* 33 */
+ 0x00000000, 0x00000000, 0x00000000, /* 34 */
+ 0x00000000, 0x00000000, 0x00000000, /* 35 */
+ 0x00000000, 0x00000000, 0x00000000, /* 36 */
+ 0x00000000, 0x00000000, 0x00000000, /* 37 */
+ 0x00000000, 0x00000000, 0x00000000, /* 38 */
+ 0x00000000, 0x00000000, 0x00000000, /* 39 */
+ 0x00000000, 0x00000000, 0x00000000, /* 40 */
+ 0x00000000, 0x00000000, 0x00000000, /* 41 */
+ 0x00000000, 0x00000000, 0x00000000, /* 42 */
+ 0x00000000, 0x00000000, 0x00000000, /* 43 */
+ 0x00000000, 0x00000000, 0x00000000, /* 44 */
+ 0x00000000, 0x00000000, 0x00000000, /* 45 */
+ 0x00000000, 0x00000000, 0x00000000, /* 46 */
+ 0x00000000, 0x00000000, 0x00000000, /* 47 */
+ 0x00000000, 0x00000000, 0x00000000, /* 48 */
+ 0x00000000, 0x00000000, 0x00000000, /* 49 */
+ 0x00000000, 0x00000000, 0x00000000, /* 50 */
+ 0x00000000, 0x00000000, 0x00000000, /* 51 */
+ 0x00000000, 0x00000000, 0x00000000, /* 52 */
+ 0x00000000, 0x00000000, 0x00000000, /* 53 */
+ 0x00000000, 0x00000000, 0x00000000, /* 54 */
+ 0x00000000, 0x00000000, 0x00000000, /* 55 */
+ 0x00000000, 0x00000000, 0x00000000, /* 56 */
+ 0x00000000, 0x00000000, 0x00000001, /* 57 */
+ 0x00000000, 0x00000000, 0x00000002, /* 58 */
+ 0x00000000, 0x00000000, 0x00000005, /* 59 */
+ 0x00000000, 0x00000000, 0x0000000A, /* 60 */
+ 0x00000000, 0x00000000, 0x00000014, /* 61 */
+ 0x00000000, 0x00000000, 0x00000028, /* 62 */
+ 0x00000000, 0x00000000, 0x00000051, /* 63 */
+ 0x00000000, 0x00000000, 0x000000A2, /* 64 */
+ 0x00000000, 0x00000000, 0x00000145, /* 65 */
+ 0x00000000, 0x00000000, 0x0000028B, /* 66 */
+ 0x00000000, 0x00000000, 0x00000517, /* 67 */
+ 0x00000000, 0x00000000, 0x00000A2F, /* 68 */
+ 0x00000000, 0x00000000, 0x0000145F, /* 69 */
+ 0x00000000, 0x00000000, 0x000028BE, /* 70 */
+ 0x00000000, 0x00000000, 0x0000517C, /* 71 */
+ 0x00000000, 0x00000000, 0x0000A2F9, /* 72 */
+ 0x00000000, 0x00000000, 0x000145F3, /* 73 */
+ 0x00000000, 0x00000000, 0x00028BE6, /* 74 */
+ 0x00000000, 0x00000000, 0x000517CC, /* 75 */
+ 0x00000000, 0x00000000, 0x000A2F98, /* 76 */
+ 0x00000000, 0x00000000, 0x00145F30, /* 77 */
+ 0x00000000, 0x00000000, 0x0028BE60, /* 78 */
+ 0x00000000, 0x00000000, 0x00517CC1, /* 79 */
+ 0x00000000, 0x00000000, 0x00A2F983, /* 80 */
+ 0x00000000, 0x00000000, 0x0145F306, /* 81 */
+ 0x00000000, 0x00000000, 0x028BE60D, /* 82 */
+ 0x00000000, 0x00000000, 0x0517CC1B, /* 83 */
+ 0x00000000, 0x00000000, 0x0A2F9836, /* 84 */
+ 0x00000000, 0x00000000, 0x145F306D, /* 85 */
+ 0x00000000, 0x00000000, 0x28BE60DB, /* 86 */
+ 0x00000000, 0x00000000, 0x517CC1B7, /* 87 */
+ 0x00000000, 0x00000000, 0xA2F9836E, /* 88 */
+ 0x00000000, 0x00000001, 0x45F306DC, /* 89 */
+ 0x00000000, 0x00000002, 0x8BE60DB9, /* 90 */
+ 0x00000000, 0x00000005, 0x17CC1B72, /* 91 */
+ 0x00000000, 0x0000000A, 0x2F9836E4, /* 92 */
+ 0x00000000, 0x00000014, 0x5F306DC9, /* 93 */
+ 0x00000000, 0x00000028, 0xBE60DB93, /* 94 */
+ 0x00000000, 0x00000051, 0x7CC1B727, /* 95 */
+ 0x00000000, 0x000000A2, 0xF9836E4E, /* 96 */
+ 0x00000000, 0x00000145, 0xF306DC9C, /* 97 */
+ 0x00000000, 0x0000028B, 0xE60DB939, /* 98 */
+ 0x00000000, 0x00000517, 0xCC1B7272, /* 99 */
+ 0x00000000, 0x00000A2F, 0x9836E4E4, /* 100 */
+ 0x00000000, 0x0000145F, 0x306DC9C8, /* 101 */
+ 0x00000000, 0x000028BE, 0x60DB9391, /* 102 */
+ 0x00000000, 0x0000517C, 0xC1B72722, /* 103 */
+ 0x00000000, 0x0000A2F9, 0x836E4E44, /* 104 */
+ 0x00000000, 0x000145F3, 0x06DC9C88, /* 105 */
+ 0x00000000, 0x00028BE6, 0x0DB93910, /* 106 */
+ 0x00000000, 0x000517CC, 0x1B727220, /* 107 */
+ 0x00000000, 0x000A2F98, 0x36E4E441, /* 108 */
+ 0x00000000, 0x00145F30, 0x6DC9C882, /* 109 */
+ 0x00000000, 0x0028BE60, 0xDB939105, /* 110 */
+ 0x00000000, 0x00517CC1, 0xB727220A, /* 111 */
+ 0x00000000, 0x00A2F983, 0x6E4E4415, /* 112 */
+ 0x00000000, 0x0145F306, 0xDC9C882A, /* 113 */
+ 0x00000000, 0x028BE60D, 0xB9391054, /* 114 */
+ 0x00000000, 0x0517CC1B, 0x727220A9, /* 115 */
+ 0x00000000, 0x0A2F9836, 0xE4E44152, /* 116 */
+ 0x00000000, 0x145F306D, 0xC9C882A5, /* 117 */
+ 0x00000000, 0x28BE60DB, 0x9391054A, /* 118 */
+ 0x00000000, 0x517CC1B7, 0x27220A94, /* 119 */
+ 0x00000000, 0xA2F9836E, 0x4E441529, /* 120 */
+ 0x00000001, 0x45F306DC, 0x9C882A53, /* 121 */
+ 0x00000002, 0x8BE60DB9, 0x391054A7, /* 122 */
+ 0x00000005, 0x17CC1B72, 0x7220A94F, /* 123 */
+ 0x0000000A, 0x2F9836E4, 0xE441529F, /* 124 */
+ 0x00000014, 0x5F306DC9, 0xC882A53F, /* 125 */
+ 0x00000028, 0xBE60DB93, 0x91054A7F, /* 126 */
+ 0x00000051, 0x7CC1B727, 0x220A94FE, /* 127 */
+ 0x000000A2, 0xF9836E4E, 0x441529FC, /* 128 */
+ 0x00000145, 0xF306DC9C, 0x882A53F8, /* 129 */
+ 0x0000028B, 0xE60DB939, 0x1054A7F0, /* 130 */
+ 0x00000517, 0xCC1B7272, 0x20A94FE1, /* 131 */
+ 0x00000A2F, 0x9836E4E4, 0x41529FC2, /* 132 */
+ 0x0000145F, 0x306DC9C8, 0x82A53F84, /* 133 */
+ 0x000028BE, 0x60DB9391, 0x054A7F09, /* 134 */
+ 0x0000517C, 0xC1B72722, 0x0A94FE13, /* 135 */
+ 0x0000A2F9, 0x836E4E44, 0x1529FC27, /* 136 */
+ 0x000145F3, 0x06DC9C88, 0x2A53F84E, /* 137 */
+ 0x00028BE6, 0x0DB93910, 0x54A7F09D, /* 138 */
+ 0x000517CC, 0x1B727220, 0xA94FE13A, /* 139 */
+ 0x000A2F98, 0x36E4E441, 0x529FC275, /* 140 */
+ 0x00145F30, 0x6DC9C882, 0xA53F84EA, /* 141 */
+ 0x0028BE60, 0xDB939105, 0x4A7F09D5, /* 142 */
+ 0x00517CC1, 0xB727220A, 0x94FE13AB, /* 143 */
+ 0x00A2F983, 0x6E4E4415, 0x29FC2757, /* 144 */
+ 0x0145F306, 0xDC9C882A, 0x53F84EAF, /* 145 */
+ 0x028BE60D, 0xB9391054, 0xA7F09D5F, /* 146 */
+ 0x0517CC1B, 0x727220A9, 0x4FE13ABE, /* 147 */
+ 0x0A2F9836, 0xE4E44152, 0x9FC2757D, /* 148 */
+ 0x145F306D, 0xC9C882A5, 0x3F84EAFA, /* 149 */
+ 0x28BE60DB, 0x9391054A, 0x7F09D5F4, /* 150 */
+ 0x517CC1B7, 0x27220A94, 0xFE13ABE8, /* 151 */
+ 0xA2F9836E, 0x4E441529, 0xFC2757D1, /* 152 */
+ 0x45F306DC, 0x9C882A53, 0xF84EAFA3, /* 153 */
+ 0x8BE60DB9, 0x391054A7, 0xF09D5F47, /* 154 */
+ 0x17CC1B72, 0x7220A94F, 0xE13ABE8F, /* 155 */
+ 0x2F9836E4, 0xE441529F, 0xC2757D1F, /* 156 */
+ 0x5F306DC9, 0xC882A53F, 0x84EAFA3E, /* 157 */
+ 0xBE60DB93, 0x91054A7F, 0x09D5F47D, /* 158 */
+ 0x7CC1B727, 0x220A94FE, 0x13ABE8FA, /* 159 */
+ 0xF9836E4E, 0x441529FC, 0x2757D1F5, /* 160 */
+ 0xF306DC9C, 0x882A53F8, 0x4EAFA3EA, /* 161 */
+ 0xE60DB939, 0x1054A7F0, 0x9D5F47D4, /* 162 */
+ 0xCC1B7272, 0x20A94FE1, 0x3ABE8FA9, /* 163 */
+ 0x9836E4E4, 0x41529FC2, 0x757D1F53, /* 164 */
+ 0x306DC9C8, 0x82A53F84, 0xEAFA3EA6, /* 165 */
+ 0x60DB9391, 0x054A7F09, 0xD5F47D4D, /* 166 */
+ 0xC1B72722, 0x0A94FE13, 0xABE8FA9A, /* 167 */
+ 0x836E4E44, 0x1529FC27, 0x57D1F534, /* 168 */
+ 0x06DC9C88, 0x2A53F84E, 0xAFA3EA69, /* 169 */
+ 0x0DB93910, 0x54A7F09D, 0x5F47D4D3, /* 170 */
+ 0x1B727220, 0xA94FE13A, 0xBE8FA9A6, /* 171 */
+ 0x36E4E441, 0x529FC275, 0x7D1F534D, /* 172 */
+ 0x6DC9C882, 0xA53F84EA, 0xFA3EA69B, /* 173 */
+ 0xDB939105, 0x4A7F09D5, 0xF47D4D37, /* 174 */
+ 0xB727220A, 0x94FE13AB, 0xE8FA9A6E, /* 175 */
+ 0x6E4E4415, 0x29FC2757, 0xD1F534DD, /* 176 */
+ 0xDC9C882A, 0x53F84EAF, 0xA3EA69BB, /* 177 */
+ 0xB9391054, 0xA7F09D5F, 0x47D4D377, /* 178 */
+ 0x727220A9, 0x4FE13ABE, 0x8FA9A6EE, /* 179 */
+ 0xE4E44152, 0x9FC2757D, 0x1F534DDC, /* 180 */
+ 0xC9C882A5, 0x3F84EAFA, 0x3EA69BB8, /* 181 */
+ 0x9391054A, 0x7F09D5F4, 0x7D4D3770, /* 182 */
+ 0x27220A94, 0xFE13ABE8, 0xFA9A6EE0, /* 183 */
+ 0x4E441529, 0xFC2757D1, 0xF534DDC0, /* 184 */
+ 0x9C882A53, 0xF84EAFA3, 0xEA69BB81, /* 185 */
+ 0x391054A7, 0xF09D5F47, 0xD4D37703, /* 186 */
+ 0x7220A94F, 0xE13ABE8F, 0xA9A6EE06, /* 187 */
+ 0xE441529F, 0xC2757D1F, 0x534DDC0D, /* 188 */
+ 0xC882A53F, 0x84EAFA3E, 0xA69BB81B, /* 189 */
+ 0x91054A7F, 0x09D5F47D, 0x4D377036, /* 190 */
+ 0x220A94FE, 0x13ABE8FA, 0x9A6EE06D, /* 191 */
+ 0x441529FC, 0x2757D1F5, 0x34DDC0DB, /* 192 */
+ 0x882A53F8, 0x4EAFA3EA, 0x69BB81B6, /* 193 */
+ 0x1054A7F0, 0x9D5F47D4, 0xD377036D, /* 194 */
+ 0x20A94FE1, 0x3ABE8FA9, 0xA6EE06DB, /* 195 */
+ 0x41529FC2, 0x757D1F53, 0x4DDC0DB6, /* 196 */
+ 0x82A53F84, 0xEAFA3EA6, 0x9BB81B6C, /* 197 */
+ 0x054A7F09, 0xD5F47D4D, 0x377036D8, /* 198 */
+ 0x0A94FE13, 0xABE8FA9A, 0x6EE06DB1, /* 199 */
+ 0x1529FC27, 0x57D1F534, 0xDDC0DB62, /* 200 */
+ 0x2A53F84E, 0xAFA3EA69, 0xBB81B6C5, /* 201 */
+ 0x54A7F09D, 0x5F47D4D3, 0x77036D8A, /* 202 */
+ 0xA94FE13A, 0xBE8FA9A6, 0xEE06DB14, /* 203 */
+ 0x529FC275, 0x7D1F534D, 0xDC0DB629, /* 204 */
+ 0xA53F84EA, 0xFA3EA69B, 0xB81B6C52, /* 205 */
+ 0x4A7F09D5, 0xF47D4D37, 0x7036D8A5, /* 206 */
+ 0x94FE13AB, 0xE8FA9A6E, 0xE06DB14A, /* 207 */
+ 0x29FC2757, 0xD1F534DD, 0xC0DB6295, /* 208 */
+ 0x53F84EAF, 0xA3EA69BB, 0x81B6C52B, /* 209 */
+ 0xA7F09D5F, 0x47D4D377, 0x036D8A56, /* 210 */
+ 0x4FE13ABE, 0x8FA9A6EE, 0x06DB14AC, /* 211 */
+ 0x9FC2757D, 0x1F534DDC, 0x0DB62959, /* 212 */
+ 0x3F84EAFA, 0x3EA69BB8, 0x1B6C52B3, /* 213 */
+ 0x7F09D5F4, 0x7D4D3770, 0x36D8A566, /* 214 */
+ 0xFE13ABE8, 0xFA9A6EE0, 0x6DB14ACC, /* 215 */
+ 0xFC2757D1, 0xF534DDC0, 0xDB629599, /* 216 */
+ 0xF84EAFA3, 0xEA69BB81, 0xB6C52B32, /* 217 */
+ 0xF09D5F47, 0xD4D37703, 0x6D8A5664, /* 218 */
+ 0xE13ABE8F, 0xA9A6EE06, 0xDB14ACC9, /* 219 */
+ 0xC2757D1F, 0x534DDC0D, 0xB6295993, /* 220 */
+ 0x84EAFA3E, 0xA69BB81B, 0x6C52B327, /* 221 */
+ 0x09D5F47D, 0x4D377036, 0xD8A5664F, /* 222 */
+ 0x13ABE8FA, 0x9A6EE06D, 0xB14ACC9E, /* 223 */
+ 0x2757D1F5, 0x34DDC0DB, 0x6295993C, /* 224 */
+ 0x4EAFA3EA, 0x69BB81B6, 0xC52B3278, /* 225 */
+ 0x9D5F47D4, 0xD377036D, 0x8A5664F1, /* 226 */
+ 0x3ABE8FA9, 0xA6EE06DB, 0x14ACC9E2, /* 227 */
+ 0x757D1F53, 0x4DDC0DB6, 0x295993C4, /* 228 */
+ 0xEAFA3EA6, 0x9BB81B6C, 0x52B32788, /* 229 */
+ 0xD5F47D4D, 0x377036D8, 0xA5664F10, /* 230 */
+ 0xABE8FA9A, 0x6EE06DB1, 0x4ACC9E21, /* 231 */
+ 0x57D1F534, 0xDDC0DB62, 0x95993C43, /* 232 */
+ 0xAFA3EA69, 0xBB81B6C5, 0x2B327887, /* 233 */
+ 0x5F47D4D3, 0x77036D8A, 0x5664F10E, /* 234 */
+ 0xBE8FA9A6, 0xEE06DB14, 0xACC9E21C, /* 235 */
+ 0x7D1F534D, 0xDC0DB629, 0x5993C439, /* 236 */
+ 0xFA3EA69B, 0xB81B6C52, 0xB3278872, /* 237 */
+ 0xF47D4D37, 0x7036D8A5, 0x664F10E4, /* 238 */
+ 0xE8FA9A6E, 0xE06DB14A, 0xCC9E21C8, /* 239 */
+ 0xD1F534DD, 0xC0DB6295, 0x993C4390, /* 240 */
+ 0xA3EA69BB, 0x81B6C52B, 0x32788720, /* 241 */
+ 0x47D4D377, 0x036D8A56, 0x64F10E41, /* 242 */
+ 0x8FA9A6EE, 0x06DB14AC, 0xC9E21C82, /* 243 */
+ 0x1F534DDC, 0x0DB62959, 0x93C43904, /* 244 */
+ 0x3EA69BB8, 0x1B6C52B3, 0x27887208, /* 245 */
+ 0x7D4D3770, 0x36D8A566, 0x4F10E410, /* 246 */
+ 0xFA9A6EE0, 0x6DB14ACC, 0x9E21C820, /* 247 */
+ 0xF534DDC0, 0xDB629599, 0x3C439041, /* 248 */
+ 0xEA69BB81, 0xB6C52B32, 0x78872083, /* 249 */
+ 0xD4D37703, 0x6D8A5664, 0xF10E4107, /* 250 */
+ 0xA9A6EE06, 0xDB14ACC9, 0xE21C820F, /* 251 */
+ 0x534DDC0D, 0xB6295993, 0xC439041F, /* 252 */
+ 0xA69BB81B, 0x6C52B327, 0x8872083F, /* 253 */
+ 0x4D377036, 0xD8A5664F, 0x10E4107F, /* 254 */
+ 0x9A6EE06D, 0xB14ACC9E, 0x21C820FF, /* 255 */
+ /* Exists so that its save to read 32-bytes past
+ the end. */
+ 0x00000000, 0x00000000, 0x00000000,
+ 0x00000000, 0x00000000, 0x00000000,
+ 0x00000000, 0x00000000)
+ .type __svml_stan_common_data_avx512, @object
+ .size __svml_stan_common_data_avx512, .-__svml_stan_common_data_avx512
+# endif
+#endif